From 434b400984b79c59c22b457277494d09efe3a4eb Mon Sep 17 00:00:00 2001 From: Chris Mungall Date: Mon, 30 Sep 2024 19:21:59 -0700 Subject: [PATCH] add-missing --- tests/input/graph_projection.db | Bin 0 -> 561152 bytes tests/input/graph_projection.omn | 47 +++++++++++++++++++++++++++++++ 2 files changed, 47 insertions(+) create mode 100644 tests/input/graph_projection.db create mode 100644 tests/input/graph_projection.omn diff --git a/tests/input/graph_projection.db b/tests/input/graph_projection.db new file mode 100644 index 0000000000000000000000000000000000000000..131adf10e43f334601e998646b341f8fd1c5a982 GIT binary patch literal 561152 zcmeFa3w&GGedh@f@3&+LqGeeYWJ-b{2m~RTdeD|-5ClosBtetZ%P$xNE=kxRKm#Bp z`W1r!ACt-ErfJ${ z+H7Y3=i+(s;JugfxT5)Ea%J3ee&^i(`JTr;uY2#*qoau&=a@}r7NR*vuVRlvsZ>1V za3~Z?i$bCJ7j&rUxI*W~@^AVN|EH|{X#Zb|qx|faa$@Z7FKezpz z?N3S$?Zd(c1V8`;KmY_l00ck)1V8`;KmY_lKnj6uew1Wa@|Wn}>3kRcdoXXMf7yWk za{e^^d*=&mkWYht{DA-nfB*=900@8p2!H?xfB*=900_K;39vRH?x15I z9dA0JYd+9hr$31i$rNco7+l+9Wj$?E<={P}$i;k0Yxal}W z2iu_Fp`)9Qvvhdr=%K?$M=u>`=;)*4K040PF-S*%jv+dNbd1n3Ovl4?gy>+KA;##K zpyN?GCh5q~u|daGI4?!WO9w~CJRNg% zJVQrA#uY zF#UpQ!PIXu8NX_L&G?*gz^FI;k>QsOONL3qVg0xDzpT&c{d%kJKk9x>x1_tOJEhZW z|4{osX`j{xwTCs|(|k&^p^0dYs{dB~S@j3$!uSIL5ZE0A+z;sO_QP!N4tKNvVRmHV zv;Dc1MJ|0K**_j#;NqcFJh7aJFGZ8b?q_1QNvKgw=YeT1o13P9zJ9&kb(n1#VyZ}g zCXt@&;s4IuS0DK#=`)E~E|E^1zCb}-Y}ZnA5N1a@HIYd#a+%x;`Ap42{1TXiXuhJMzWHbti=&ap(WolWdo?5G$eG}U*uZ8G{QA((CT$>?jFjK1b%^xjA6 z<7}%HGeU52UOgYp@~I%-5M#@qoamKgec!<|q_eaAUzJqSe{YcUHh zQ=hPBaDyr;@C)@y4;=O+hXkZ%kA0 zW;B*duJ|g!D(B5XkF^Qf(-5?$DQIsOD}CjB;*ASFx0G0}hGQp9fsWqGvc4Q>fV2Zm zlAfa^=`B}AUcxFY$D)fSxm1qNZNXK1j=J_?puYO{v~3@b)U^){L7Ll#^Y@V2S8i=v zsI!!j&CMLkUe94ljJsS#E9uSlXP0L9WQ1ph*81*lo07Bjpz2$?Lv2%XwmBu|?jp6f zWlDH;G?{Ep2rG1+gK`pb)^}&ygq&-akj}OVIoF(!-UFnrG}*!|;ngjhY>!<|BF_2t zw@t+Pc8S>6HWBBW6ES)RsRIhz1=iFF6Tzz&5~)Y&W}lc%aPdGi6Hlb*B)8(bnT_|S z(y4K7E}Ekn7fR*0IWE(;mtyNG-;7(tmQD$)PN|LP@$8WU<-E_<7RrToP^@jCTxf<8 zvXJ^>ODMehxfVov+7L0fB~rd{Ya%8&L@xM@?TGjUt!90tHMAq*>uEtm-;PL0-HJ%N zGNNloq;la_M0_5t3?jasqZ*P|T6sT}ZGU~q;IGi7W-*rg02N7n!^mpHDHV%{ZE2@7 z)@7Qgk0(6y3>V8)x})74Onae?b~+PHWfQEjRP^^M_51c!de9WLAm&sqolMWIu;>3D z(Ec9^+aKC~$@aW$#CFvBch=vve%P9`4qEqH{>t)OmjBW6jOC(bulY~SpECas=BT;f ztTO#4)32CTO;=18OoxsC&G@GAb>pkXdE-OII}JZHe8KR)7+x?;8N3FQ{y*z~Q~y!@ zs(zm41iEzpRre*`Yr0o;Y2CQat21c-j4q5n5C8!X009t?N8qG}ZidRnTW0fZu;UmB zeN95)y;XIbM7>N@ouOg9l!obu2ks%&ae<0LRL9i!JILE5@U9>HoayTo5!`ofpN1w< z_!wBi=m?!Tb6i7{1h9({O zh+9lHoI0VQS(cJ-C438T-h(7ND3tMu3v^e(Z#AFdIY4CXeE7;$D7gQ$Q$sTy%(K=mQxicgf_LEmpI;1C+JS|b{#uLIaRZrpMhvH zzRRhhF*r*gn{BA?WY!lzUyoLjuIGYDn(q7_X}WWEX}YrqrRn+(AENTWLusB}x%ZTY zCRcbCEOWP-Rylf@u<^x;b>Hi;F_P-)MVdSJn!7dBwKkBfJ}<)MUbUNQtXo-+{!F`R znzJV~G#TBXWp)dvq5C`^$jjPnZ$-wp29&1KL}Ynt!`#B&b~88oTbR&d%4S~+6UwrdChR4B zK$vYkTg~m<(Zb|*GiG;W$H8v>|qW)uwe7W!3YZ7IwE-7COR@{|#Y3m{y+c(KmY_l00cl_XA`)ChNTKN^sFx9sG6NRs!r9prU#mx?r(NF*X-15r3oYc zifnh$#F@KkuAYBJ(N`W`EaVF+)Tc3k%ee7+0_O$gewe`_f!B=NZ?xh)!-jca3CQFW1 zqiUQVQCFj?&W&jH(3FUxeoCZN7+X(+oV}OkJ%ppiGYtcjJ_pTtw31ZjJnn08f$B6z zKaGHV4WV1iYn*RkN5eeEh33oD<}i#j^t@;jjQrY9TKM$MS8JTLFdU&73!&W=2|xVS zHCt1gp|CYu(|$^#$I@&~WwN0%hhlBErXu03F}JX$I{&c0Mf?pD4*OcfUq9Kfw}&Pd zgm|}{T=3n|!l3Hx!ksM)YM4&wY%X-dse}V9E>N94xVyy#8m0>l(R997n7=Ki3hrug zmFo0>qq%7Jw3rXLr-d;MRjf4rH=kD6{=xRAwlCUVxBaqh!*;_qXS-?}wE1lJ*i6=+ zSpS@61Af!`5$l>YWxZ;B#QLDsXFX=^v>Gk{pXG;^?^wQO`J(01mVa;gh~-~dHZ3n$ zQkJM?nw}fzw|FcL%RYrZH_a!q!w{^V@^NpJm$ul}T`{={2<(p`VzsXsYgf8wq`IaPn+sy{hdf8wk^IZ=Od zy#C}^{Yh8-$-VU_j{1|k>rd{iKiOY@Vyizf)}LtVPgM0M9VXRbLnTWNsC>%iJtXH_ zJKuA+>LRahwaeeKm8bp=m5UEq+eC4p*{QGD=}5EFp=PJfW~Y74PS$28gH6>{wu_%7 z+1qe#ZaCK+Q3ZH?o5x}9*rPhm`&Vba8XXRFs(N`v!*-{mc9oZR7d-ZKmtMv1dYU-H z*8i=R-%{BA-1fV+U$MQ{wrG3EX0*O({Uz&78tL0De@mYD0|5{K0T2KI5C8!X009sH z0TB4-CqNs|OAr1CH~iF3($L1BI#1J4%|UnhQ7pDKs8M+)pzhOn+#bQxQsr$m4O+oo z9m8qOaX0@&Ox3wL_NteMiK~~`B6{Yf6{^b{d0H96y!1lz>-P4v3Q_Uav<$_z{A>}b zN9WZz-Tbpgf}KDugRosf#_9t{jk|*=lLk8OqRm`974{w#_VgbgD??zd25j7k!vd%7ADBYFeCXKlYu&j8%8P1-y*v-K~nzelqG|B^iM2Ld1f0w4ea zAOHd&00JNY0w4ea5((U^cDdPbziuL;VQ6i-OMS2;;U6-pA402-sXe?`b^4&ign{9R z`na1teNq)QT);v8Tg^CV1%ein40?eXm5GCft7uw@8mAF-N7c@nEtOZg)F;_^r`pad z8s`Z*ENVNycF#`{SSzx|Spjo94^<^RKNnzO@Bhd5|0EV-$Up!DKmY_l00ck)1V8`; zKmY_lV22XG_85C8!X009sH0T2KI5C8!X009t?K>*`_8L%J) z0T2KI5C8!X009sH0T2KI5CDN4N&w^k9hz}48w5ZA1V8`;KmY_l00ck)1V8`;WDvmk zUj{5lK>!3m00ck)1V8`;KmY_l00cl_hY~O{yZ7u+<6$-kfB*=900@8p2!H?xfB*=9 z00@A9Bm!9fmxKu-5C8!X009sH0T2KI5C8!X009u#(FCymzoWAc#)AL|fB*=900@8p z2!H?xfB*=9fFuGIrB<C?o_{9{fOcfwL)OY`4CIpB0+*^4s91U_m5VG# zlS`ZJKA&=RZwVKRlC0pZ;e+$m2wWa(HbUSp8xG6Ol3A6qACD4@ zmBm`oPexO7OVPQKgV7awSlfBFj4wsL28V&X>7uUF?N;W;cv~908&3TK z>l!?nnN&^}GwDSxlUu3Q`q@M>$z`giiFozr#AIm9KY88pNbtJjWFqb|x}JPM+xgrh z?Gh7BrBf>l>7{Ih5|>y`#FwJU2*=1}v#g5vL0{Svbz5*zYilq5CDO9IDy;^U8mDoxy@1^ zE}BSk@dy{6;{+!!2^uMZ7i*nljwlG~XLc^w{G)1J=cP-^RUd!vnvZ59=|nn`UEw=D zwf<~d4~+n3TbXRI!rrZ8JUs0fzdSn1oW;7impZhaQ=WGBz#NxZh|t|V9ZQskIKD;~ zRsOP4*Xi*nSD)meH2OE5cL)$P`ZnC~WR)(KT8?_0Tq?#z1U>u3rI{of=28c=+Of^1 zmol+h=fAn1YcZ=7Hq{x0?fteh)=!$Q8h^#`Plk~G=X5LDuWH?zSJc0+`fb&j>i?cn z(f<^W^ZzTA@GmOXy;}aK@f!*~`=QE}d=v`XFIIlxzaa1qA&|G_tvY*OpFSU4PH;C^ z^A?}ENh4=r%h>2vZV;}7f>#}_!Z`d>j;Y{iFfi>nzR5cla9tEt5eZTCVfM)oS#vmdwGK~d3WBdvj+nDe6+%%jgnc|#;cJ{ z8(A}>t@14UY&y#_ZIVr-aq%&hL(aT2Z_?TQetrJQin*;hFl$@;G#cAlwLM$M`8+9` z+Lbrz?3XU-^Vch;w#?wRIp1h#%h21ibAXk!s+oocGh3EgW@bx|Ml)NAwr6ILRiBcX zs|WIWo&DT7eIZ<-*|LY#T$X4oh()3sZzJtneWbPb@pITpO00nZij>!-OjJk=61Sm znLN(d=BmY~@|sdh8L3!Ys*z1O!VGTX)o5=U*|yB(D|MZ<>IQ2|6|<$aZM+(-Z6n*3 zwS3*KT6;3DDwW}>3fmlaGZ%@|1bZsMPk>j87^BT2S^kfrAh=f9RsJ>RUu4r(9eE3XjSROKO=Kd}b)ccW;6$-1xSqhT z)m7tMHkL^&R;LJzE!3m00ck)1V8`; zKmY_l00edi0gV55M?NE!AOHd&00JNY0w4eaAOHd&00O(4fRQDC&+cY`)Pn#BfB*=9 z00@8p2!H?xfB*=9z&o7)*8kt>IgIpy00@8p2!H?xfB*=900@8p2!Mb>f%Sis0uTTJ z5C8!X009sH0T2KI5C8!Xc;^#f>;DHj4k>Ii)_-mJqQz+LH9c&6#_)^!Z|LvT&1io` z^S7G2)sLzTs&A>rRMw79biAwMkn&r~_b4A%DivQ=%o{&$+^5{PB`3q1iq}b?{EaPD z@Vwm!%sj2@bUKxJRW3S{VKhukhQ|Dp*By@puRBgA;x41BH=^wvKB`nCQgQBP_PJyt$3>z`xio(snMp=d z&+-?H_-eo7*PhaL9zCjjiMOlfUi%djSX6TtHRs}!+RjJa?aW~*k0jz;Dwmi|aG8j& z!C@x9=Lub>+pWxB4TLyu`Y?RMpJRm*vcnrv(^toefZk?Xq7OP7?ZM});@fm@g%X4zac$1M=TYB_22 zcuH{1wlZc&c4_7rE|#k%pD@J}F}gt2B`p*zN0Uo6&v=xKSy`+(P;r}Eiq4fBjIR9j zHC^ZMuyWN|O-hEN8j#CGQ`tl=vCIjR)7JCJrX;nMz8%Txy{hZ<`IM`Bg~<|R4R2u8 z<%!k_sQSMhR-e71>+J1SuI{T^J)6i-Zd8q6MWw;%@g}<)1aF7oy_Xwt^X;g>ZlTL# zO=b)I-wvw>rgfcteRX9&8=+!9CoJ+!Zr2+vZ&Jv%-7y}Xc8p&h9c6bAnH4xVrRzL* zPPyu;l$mTKo?eJ1Qi4*`?0Bs?8I9rI)^rR^Hf2UKI>RL!lF{IHwK)|H3fYMe=7At< zL|fA*A1$?}7iyV74ftXvy~t&9E0OeULu%T2UTIENJE`pS2~s4pu+2{BI>*M8tCs}n zizTDkEK6J}y1>Poli1FGx@9Wcso&OwPKR}!e!p_Hw{=468@6nOvZiWu)n{t!#8q`~ zYqA~~FSXNMm1IR&=RlBS4K9<7$!PF@Tg`uDOxJn;{mNAjZ$969%cUcH8Lp+Fjq{^| zgtQUKPR*?}79*p&&I=cmt8PJRc+0A#qhhDfb)scjgc{jNxs`U|&?7oFTv=7}NvT?& zt^EoMOs=`hHd9EPor$%|*#CdK4ZC3v2!H?xfB*=900@8p2!H?xfB*=*^#s`X|E`Wf zh3eC)dDXd&Z*+XLW6<{7wvhE_);Y_6v5cC(Vm@p7W78Sqyx{}-*L2^~9nnTLf2kQ# z=T!foOe;0aBGdob@!r;!seYlg`)%i{ymZ@{v~vuanXTU_P@T|cQ*MHjX9d$-0xvex zwe>~;ZmW#~r5R>^j?Y*7{miv^-9~|$d+k?3U{TFo)EsY2+Zj0AZdpB%NtAajRDR7* z&S*OiA6BmLbAT1s%75nsW>j27jkplic8)pQ8Btw1FJTd!&c5(G+o;fyFHNu3EogJ` zIj-SU@ruB_24C58l(eoMUeR?v`lxc%z|)}30MSH})<)R1BUxG|iBuQzBe9iOk`q_F zOJJh7UbfY2E;Y-=(y4efvr@B<-)KN7y7wl(IGumCMT%M^fp>a&3!8btTWntpkYWW32X-t~p8?dLUbLjwG{(z4LO)(KdQ zW+?NUQc!Y!e(NNZL~lbHp3CYwAAelAT3R`7GM4g=w&k!q%|zl{HpWpUZIPzdvX!mV z*gDYLkmj+Bt}_r&t{!cjZ(F3Z=5=%HwAF-fLwbgvD{Tuq+&VoK&TTXI#@1=6gnt`S za$-@}>2fJob;6W9x5Q;us^;@&%dKtZ{r>wKdOfXUJNojahL_!3*|8+BiMhzOgc@~w zO4oVuqB4JxXOQ8N(Oe>(ij-P$x=UtrnWb2+oqJATLp#+r?0RvbbQ>=1J&dK7QaOHK zNqG+fwGGWq8G$h^1k4UD$!}V$?kg_-sow)f-+7P0eYswH-BqRBX|kb{8jNd_T3dS6X1s7DCBpg%aA%C(pI(L6>&y&{pKcaw5J&J8nxo z>6Xr^=jZuuPJSPsz}6am2T((N3xY(o49AkQ<>2VT+*Sht!9XkG6PzZo{=aj^*{~D@ zKmY_l00ck)1V8`;KmY_l00g#60Pp|XE;)n)0T2KI5C8!X009sH0T2KI5CDOlLjddl zJ14JTDF}c72!H?xfB*=900@8p2!H?xY?lDm|F=sH;XnWcKmY_l00ck)1V8`;KmY_l zVCN9P`v1fQYu@(PxM00@8p2!H?xfB*=9 z00@8p2!OzL31IzyyW|iK1V8`;KmY_l00ck)1V8`;KmY`G4gswH@0`4Xr62$TAOHd& z00JNY0w4eaAOHd&uw4RJ|KBb-gaZK(009sH0T2KI5C8!X009sHft^DD>;F3^uV5(% zfB*=900@8p2!H?xfB*=900?ZC0LK5@C5Lbz00JNY0w4eaAOHd&00JNY0wAz+2w?ob zbMgw7f&d7B00@8p2!H?xfB*=900@AD(T;zQ^>}rvJM}~iAxM_IYa6@_&PW_7d5%oQ)@2GxP zwV{fr9#9?Z_`{Bmblm8;*5T^tQ2yV__b4OE`xHMRb6fqnud4Q54+iFQxy633cX26` z>`u?5lZly3G_%s3&dhn~)XT+U={OhZzoK$Q=I2te?l~^S&1KR{iy{HziCAuBCYt3U zuFI-@Q&Yo(A_1~<@rZj`WxvcWBcf%J$fYTjDVjZ{L{8o|v6~cBU*MW4dG6 z?u95p<+7C4?r5xg=~-`XDVNS9qRFh6iMt*gRdp@IxMVV&jV@)DvgOe2ibbHN>RZjZbC0%%kh*!>WCOg=B>^Q$){X;@v4O*FBT*l26x( zkm^t{os4(SCTt?R)N)!{6+ob67<5)~TsGd9BJey?z!}`_vS*< z%R&UNOnIj%@qEJg+_`I5)#*!TVu?7r3dFo#86J*+nkaok+!( zvN^`A3_HPPOZB9jsa|)Gif=d;6PAtUO2s6R-a(a}OE0APio{Ha=H|Inv^zZ?&nEbI zvs^S2oA*$jEo8l=e_a99;SjrgCXr5+2~|$JW9bEND!RaB7o#z*>+FDP-$J-rPScB2 zaZ_AoZpE{hjOJ$3nFXQoX)3-XkGT9)T>~SN0{+cuAVtLYkm}%*;jz%z#8ib8%hmKk zq7?TcB`BR+Sxm&HxD3(qPE6f%NoBvE1*rt6in&xSv*L9>NC=1hlVYs}lSF(MRfn%9 zVsT&3jd{LUF^qKHO{bJyIqys+eIv{Hdc0?Pd>6c2s>^%s0afR-1A$PulD_#Rsv0xg zd~`XHULxGl)Ep-S!>c2G_fx%MKg(RCg^S$PPbDpxPL!H7W*>jTU%_=jb?A|q1hu)T zXDc{v^d{oGXW8AmoQ_3jyy5d|d;ZWuI-aZuSk|vyT->R``u?LGsdQ>X>QjVFiGTi zpK9MDLu3AOd?hW_Te_^5tnkh*MA>1vPj%3~nBk~~v%AC5Ue)0X*;IOgi^nQ8xpYby zIGgq+;@)#-REOq5fk9tSfG;(~kdK@QRZ=I+u(H;Bw@-DjH%ral0^g=G_@y&meyT@x z_>milXA|*guF~f6tybBI7g3>1*R>=I>LtW@W+Ugp=;-L2a9 zWQ|squ1mpV*;s;0#Y#Dq;j*lhab8BO%R_lE8>MtKF3h=T>Sl-9_5SA*X8JxoC+6%c^QkAUCh?gzCuE zDBYcMbQ9&9aaY&9Dtqv`rFg}1_LEO+sW5xldDqdS zs?JN<8(g&n@V~3|gJpleL*;%l!$o5`s%_m=>K3Dwn=C8$RUd|;rrGovO}Aczim<8_BL&O?p*Raq;rHh__SK`S@%!8Lw1)f;JzGJxjfWbgGQJ z+?MdFuG0rp`>sz+)^lD;C79j3I+~(eaWqHW1}}*s_u5r^hc63y|MhCt`SBj#ui86y zd7_?cy{7!zdupG`J{6uEtiN(Pvp65+8y)814YN}!gORQ~RQra5L-kT_CQLBvAp4KMi&;7r3U*>i)wE#SE(oUJ}1o7S8d;AueS7V6Wv6!&!#I~YW^Nm z>KUKu>ABC_bH>Yjy$pF*zfpB)fiG)w)nQh%9?FL@V}OLGb8ShMbJ zS>AQjKzEASbab|yT}4*x*o*1FV}FB|T9OrNY!29Mh=wg~;mi)rBz5 zcze#VBy~B}s(s;`S-y8p86s5qyw}D?r}*1?*J+i?ewD^imDC88J>DLlmwY{?ma@y& zq1qRt^X7~DE?l_4a^lPx53gTIQO)+GvRxLXpu2+o|E;DH;06L900JNY0w4eaAOHd& z00JNY0`DvW82`Vs@)M~60T2KI5C8!X009sH0T2KI5CDNz1Tg+@MFnmk00JNY0w4ea zAOHd&00JNY0wD0tBEZJ~mldB>*uHA}CEN41aofGtzqfvgp8ii+AF|$I`L5+tmUmko zvz#*jqxmc5kC-#&0rMWyH%%Wmt(vZwP8ok@{HpOI#*A^$c);*o!zT@!hQ|y&2Ce=p z`uFQ+^=I`)-8Xf=u3OhVp*y4N(0*0>ns!3OHo7Ehog4S6_C6Y{JVM$o+TfLlbK|H)rF+A{9y*;6f9RAX5%k^j|iTsX?|*&*F-!U^bDE|y=&txW{dEF$`%hY zk%H_#C|T>?xRdCO2SkA|39;^!r9Qx`L(?Ki#si^girX$jePLt2sw+0)AD9e}`=_Tb z^G~1Cb3*M3V4X5@VPoI6!}e|5p*j*74-AB+*>iuQ2`lR&eH(kX70$J>hw^e*G$9qZ*T)u?vV)cP7`27X ziz422PG$(tdYtlSFf=YooYzo(#$@ST>obhym{@+2g1AQ|Ydz~vGdlv2z^Dj#UPE?A zWa^(H{a8r6GsyJ?h8ygY_P7*4Q*JY`%k=idl zU||x9`>G7JYyAqP(LZ=qBsWPxJlHGTq-v*08xp;Tl7ix$lA)a>?a1`Fh`pqscpsIl zb+1nlwLow}Z0N=$5jOs}D}F~|yJr1kYs&Jb<*51Hrav$pFkUl!K>w!x4&8+I7qxpe z8TId~_o!a#_#I?)N{-&!Q&ZrL%jz`i+ar3GN2HaUqi760`Iwl1TJs zg5F8i=n$9;`lo}AE1}?3N0X<+KjoMTjs^qMj_A#7cXny!87`J%u8H{Rk`ukU;`u0Z zVK1?GK3Z~3S9Rqe%z2SsLRbk-Z;7I}2u5=p^GMfulq4nB(Vvn*G7xdn@i5^}o9X|dTU?YKG;oDA}*teWe%=x`FH z{_-nVxcC(R&L^kCKR(DOvAuGl{Dz>4HcjsgDnn?Bbvl}v<8l>c4g5v^8r5vzuPO9R zS28JoDu1ue9t`U9k5>vpJdu5dURRcj#FF%mo=6o7%l3ADjm4v#j*%^wlv9pI>LrlX z^M~6Py)xd0ub5yBVGa8Si=sigd zr}cI;c-2`j7@C?6jZ+I>ZB|(8F0l?*uU~4b_=ftTGnZN7ocRayhxpuG-N#I=y`(Ba zZ#ClImB!oL&b{9Fb{dJPpx6FH*gd0G^vg|q>1I=Ej{Mb^XjL0(O2J+ADafuYEO7Le z&{#tX+PDi+&_?r?rl5L_S_&S@AJo||UDB8GAd#V$GbXv4^m0jI654vyr=hLrtxUvZ z#lTt`9?0LRv)_MzISp-6(8jsm{x*`g()v&haLxYyd}qmi8>>Q@ zztj#0-RdoG<^NV%9p-JSS-da5UuSnZ_4x#Eap~QaD|~ZVc?BDPBCxSu^_Ch}j@X&^ z=J)XhIlsa;=xjIiM$y|Yul%GW*qP0;*5_2%#nwTl}a^e4C%p5~pZqmg8EhD(wY z>*ex3bbrZ4c-Oi+4EbE;#}AdLl8I+I8a%K!Q}-WtK9k?8vmZL7&wClm7`>sBUi@7C zPrY$vrV3Ek`RYXJMpft}Ci_vq|hUHbeb{$f;yGKm@XlJHpVr{JPB=WSlN7J)N= zEN?4yqn>3~r_7147uP0Ib2VBm9qTP>DQLE>B+JF-Yf(EckB7qJ4Pz6gE0^5rD9B>| z*9wE;KPW8U)_+QONb`#7r`Fkyh~ht3E}H*0#Zkq53i5y7Kg*bYi;EUc^)vNk7 zz8tX%QyUOOa_I;S_gIHI#@-GZS>P6CIC^ik1W`SFNdf9Iqx3>cnhW4-2dhr>M~Xp@c<=`hI>eACNZe^F`91n*>P!JF)UPL;IGG5@A8!s&4c-R@-&(#9L%56*~iB8Yc5s| z7*hgLN)a3F(2IK`d=rz6%w|gSG+X&M=Fe8zx~w4?KTHhI@-H0~T6L($ng~8Wm@(CpM(kCOI>zZ#!e zA-Zgu?;;hk%6#GYV8z_oT8yP}7ZJR|=J}k3&b(7+@9ovERVOa!_1cYfqQR*#KN`G| zD~&}_Vy+NJK3B3s)D}4lhw>-*F7(=y)wZjldbX;vjhWNf#vymMnL7+*UG{8T&mZTr z=e@O>!*|YWy=Im@jXmkc>}m9`We=;oG=INbzGpBGYDCy`r< zTIlMnj$OGZ3N+Q(hDUQ&u%xG2I( zZY85jw<5M0RdM1MRRjtu?A3J?N{6tdR3lifGiW?K?FdnCv*qH@>4r6cRB0DNCn|I{&}4#Q@+o@yZ{~pVoCAJ*r%_Mo;eWgGiu^I1{m2o0 zeyVaCd*MOEP#bNuq?C=0}vNSg-hg#&q)&VKy3el1(Ef%PG? zTymC0Tlw8+NyWX+m|91yT9Qi_Wi_DsSEs7AOm!W3zFJq+@91vk6fv&0CoIXc-FzV` zuUD}3|9u_T6dm91xMsU){e7#|^0@i;%;!wMY&vB8IsF~lH?^lVGa7~ZS+z;^vNEoC z-tcb}oc#J{;DfC8=P&Rx^FK_O|4CN3bNEzhNc|sHpQB!yfyF9*)Lqs=LI(LSEx4FmFo#zTUjJjNHD0} z6xCZ~$Y0Xgj~>1%B?AhT6Z}5t{tX z@6BH1g*4_B1|3F`IJV`g- zp3@Hcj!x;fv)}1*F&XtJ=<{@?yIxHy(7AoQGD#mHN=9l1(Y07d+QE#WIqiO(-EP;f z^3$%&i5-nL*9>)3a_MBbf5Ts*#WK5Kwz?XqRA1VKxyr9IRC_^nwW|IuLz!AFLZyk| zTIx*qg>q+BFd>6Mgw7?rLCFX2J5_)601qFv1*7H7$mpRMKV?`$GN z5m(zMCYg1xIo|RG%dN^qy0KR%^H<}U^1sUcxU%o*a)7Ee4HqcBls~Vt4-e}%Ut;BT zOMAEUY^1nls;`EoM;w#Ez~#xQ(3K#c@V5FA?@IUWr0}%lTuE!wWGwS`2}Ag&gy$z4 zc(sg!qNxJp4XtL7FfvEEm+T)MZSW{vrNNQ6p2b(m%hToZP@ZdOlD9FUQjnVTY~5gM zx|N`jTvK2ND|ftg)k0Uwq>8n|5cQmeV~H)xO zmLlQxt6tgi&8j-&y2uYgS*o0Qef}&zHCyT~u&Xvyl@?BomNbNrZweoQGjGoK@snMp z#Z0)v2i zgRg9JN;7SE|KH9SPs2(O009sH0T2KI5C8!X009sH0T8$q0vP|_3O$4c0T2KI5C8!X z009sH0T2KI5CDOlK>*|bosmzl5(Gd11V8`;KmY_l00ck)1V8`;ZiN8G|F=R9VL<={ zKmY_l00ck)1V8`;KmY_lU}q4(_!3m00ck)1V8`;KmY_l00cnb zRtRAHe=GD576d>51V8`;KmY_l00ck)1V8`;b_M~A|93_{!AcMS0T2KI5C8!X009sH z0T2KI5V#crMizL_t;B$^AOHd&00JNY0w4eaAOHd&00JNY0=GK>tpDHcIRyJa00ck) z1V8`;KmY_l00ck)1VG@{31I#I))^uO5C8!X009sH0T2KI5C8!X009uV-3eg*|8~zI z*are200JNY0w4eaAOHd&00JNY0=G^8>;JdT5HWxN2!H?xfB*=900@8p2!H?xfWYle z0PFv^dk(=q5C8!X009sH0T2KI5C8!X009uVbplxbzjcO)0R%t*1V8`;KmY_l00ck) z1V8`;Zg&D$|G(XH2=;*h2!H?xfB*=900@8p2!H?xfWWO2!218KGeis^00JNY0w4ea zAOHd&00JNY0w8d^6Ttfa?Vdxh4+KB}1V8`;KmY_l00ck)1V8`;Zk+(u|8JckVgLaU z009sH0T2KI5C8!X009sHf!mz`*8gw!9D;oy00JNY0w4eaAOHd&00JNY0w8ef1hD>p z>kJVC2!H?xfB*=900@8p2!H?xfB*>G?gX&@f4k=p>;nN1009sH0T2KI5C8!X009sH zfmGIsuITZ=E4x009sH0T2KI5C8!X009sH0T2Lz+noT$|F?S%!9EZG0T2KI z5C8!X009sH0T2KI5V&;$82{foL&N|AAOHd&00JNY0w4eaAOHd&00Or=0gLe|g+)24 zu+3Tjz2&>+pBff)-_-u0<}2#&sQ#+sA3N?-jv5z@bBeP~=`ipv#;2703__FlZgj}U z^P@U@Z?AqeyPV)|aH(80k>uhLEPu=neN357f-~ZIga^dxmY?Ck7iaPRcGVSWOz&%7gKVlje_`jw=>48Bf-fa z#hspchKuDK7uglEOQjS4_#itid0pfx?)icIBRc!JbNW>$ODC!4GSS8PQaWc=B3Uju z+tRTHNbw`-Kbo z)t6ePA~v5$#+$6TLl4S zXeD!9`Aj~fv)_Nee)U}~le`$sP!VZLbIEzjM3*FQMXJl?u$I5uPIQ@oD?gVX(b*q= zT)*mSnQF=aE}Ns0ME{R-*%(LlsRf1BvMs5!4pO7!I8`c+O~fk!9hb*Ll%wSapq;vA z^r|jDtg{CK`oh7MNv$cHE?M*1GD$UAEg7}?S*ff49g28;V=ASruPXCHI{T$d`hvYB ziVET;5EYLtF;qlv1qA6OUNVD9(Jz?tL7m-h*RSzy9BUZZQJ*w+UQ30e9P+fI+SHzQ z2y0;aMlwRGSTdT;M$)s9YHgONiTAl+zM~*cBABP928?Dx3b99EOT7tZ=mH&q{jGUInjxD z$%qoDR65SN@(cMvzJpNEure7-FQsz4O=XxJApucHXqR0hllm6VL^3Fq^R9VQ*JX==LR>Hc< zT5I(iYU-)B^|G<$sn*1D434(-Fdxhhltw0ff|OPp`C7wMb84BYns;4Vs*cP}T5_r_ zd$!h~)S_vhko)rf($K@i5>mQLBvSFjaw5JIO-5KV+tRTR%l3w7L zP9|nD^#17XbY{*=r(RM-T$>TeTF>TFs?Mtuli`3^%)BPz*?dx#-o5#R%6>Tz8WfA3 zNh0pe$7QIUn~$mXJ~}Zef@ESc;@rG0QR&{i#w-{a6SbElWbaiOYS-o!%9n`=v8YKw zd3af}*0VWHc@h{2O^U_LYbXz=Wa-_Tla$JduxRv5LQEc&p>}RgP|gHKMe;B(N_iNT zsB~|Rvt03u+RG$l@0cw0C`(;XytfrT>_|n4QvIvioD8k17Q;I)Q z*xsP=|Dx?7+kWf!tgl-)t=Ft4E&piwvgN~;oMpsvxA_O=&zj$7o;UZK&8DxLe$8~# zG-%pm{JQbu#-j0>@wDM5hR+*bH9TSHHYoI8)xV~{sUOwfqx+%mbGrBGp3oiB{=N1K z+7D`z+K06JHQ&>GTJx$Vt~swUtG}uKxVosmrarA!sNPV0Sd~!?s`hvMS;r?kHao6$ zoK*fq`32>_RpyirDa~Z2j6d&YNG1#4=7{RhD`+Tu{tz3E=Gk( zs8(E(q4sP(ShmG4!FE5{eo>a*z4-udjbGe$KePRQ8EVgFKeJ^dBwk#YhHSqeOYhn| zPj`udAu-cQL3fmMGPGye-ABBUqc+a9*(X`+-n@_KT^R`vi)1B}5bItUYS-o&mOfFN zNkKOIWN3T%^oiY~Cg>jJ+VslMc9V8mwAhh?;`PYTo+hpM&5zytT$^smTKDED%8d#C zv{+$d63RQ5EcHoJPy0tkM9Kw|P~1)#>b}hrsv{BqM0j*G9GSWza)GKY(zkhhTjAWB z$H=5`?sx0G_RxQP>s`=|`HYtunxVL&u{NkQf2h-9sM^B%HdU`n(J zWD>IZuq^f6q@EZQ?ddTI#eGPI+P8TZ^$o(~)8X-;SdlNQs6TOV8)5FGFf_WFm=wKE zSw+|BlpV&kd4Te4VpJ?Gq@et@%h2v8E!7*5;!X;Rcb{afZ}Seua&p{16?{}A?y`!w z?A=C~JrrgtJTc;*922=tSw+{e$qwV$w9>uZKQ=LPP2?)PhWY{)S$g-TnM!wfVoa3VxBIh*`&&IoC>R%@P zWN<1pC=x%fq4-~trFU(-$ns}g?6yaWh->2o$y(3G^JK@wU}Q>+3$G!&S7hpMl0G~( zIVEa2(@^|3Wa-)Xe^T*fh3%`h*KE(*CTtGt53QfKe!!ZvK4jf*`JUy|mRBuLTY4-C zTK|8|eA7H+-f#M@>2=e4O>xs%lb)XeST;Ujv>Lu;_=I7TW&nB&YW*MRe^vjYenNjt z_Y>Whb(^|D-2v_Qv>(wvq3zZxG;eA?s#(?yYWAqVuKt+%74^gF{i;7xeL}UVdO~%q z;wNOJ$e(LtneuHyv|f>d@_0#xHpj}tm{{9I z3W_%?S?k-#uzSr|$UhL85-Ig%Rm8XPoa`{JjYZxjv1TDm^O3HNv6}$OWWRc#D*fv7BH)iNAM5SA- z`DBuadm}1C?b~>o)s=y8WHKn0jIxUAS44Ig@5WO!(-=-hbE31ZB~iq?@ubWUu8k+C ze2kBYEme?$%F^SKweF3_7}1dl(Mn7b;(uL+IBzU{_k8EXH=w95S~Gkoy+)X?Sez%+fdQ9?57)Di#2)Gf#1 z+L&Z*$gtSd7%8ZXJSsywLE16VIYLrUykW^&_Xb;K2@iw@L|`!qS%P7ic@fMB%r9fa&BCdsB~|zHHYx_D6gTuQJ+lxeWVZjC&eoi(@^}q zvh=PEwgy4wi&#$z;=iTgRYBv7AtoT%E{h#gsH(TGde$@J+b;5eg^7oc6SUzM~v^-?lWB#W3*UT@P zN6ik?k4;}NeaMtDJ!IN%{GRdC##fEAH2yal{=o37h8GRv28aHK`p@d$uTSdF>(#oi z={~AkE|32|rG1a~DQyqU0KB33h$g3bSmRLtSp5a{2h~aSLo^5QUDfNV_o$v$-KWxb ze68cPj+-5$9rq}IsQkS01Ii@r0NAhi9+_JHbFYUfoq^zl*oqI6L|p6RR7OTbM@*z3 z?U)QL>u2~y=iNy`@v?q~R4wagghZFaNkQ?leugxydwqncQQI!oJTghdy*?~M?OGpV zc8Jz2wol8o9+a&0t`E}Pg+h(_#fEVuQN+6*kQu_Y&iWN0(Y0SvknOBrAyxYjX@~uf ziBw%uP`sBUYu)P)QqF_|q6LphC?7A%P`lP2AUlS}#O}?cAe--(taY#Vv(n_hCR+AL zLN;HJp?0ma{sb*9i*P0d+06PA(zMR?v#gaCiw_AqVyMBsVo8ZWx-+xA=_?1M|KDlIuaIdrd4Z}gv8v>J%{cL}ORJCvY1kHJo zIyfP^JGiWh_|}ih4&z)uMm1zatQRvfL3OE1qSCW|FO}cnVBit4Lc?pQydRaNcdt7b z$tlr}1CtQg&p}5(;2B~WA`rTB*E)N7JMW>=lA}W)IWQK6A-$l7J zEDD~+wd)5ZDqZV$vinI$Y=xT?)Q)$`(6YS?!{XJ4?@zJ43(~ai_5GA9QvuOV50g+H z?vtT*t>3}y5WU5df>`X8q1{8;DbZ$@6cn#bvevWC_9r|N5?|ToHB=Yb{sifI@4A^v z=twrYC_2wx5>c5p$qeCHHQ47F>W?N=BPoeUxc+06DUNY!?bb}}ed*GWO~DkW?C))ll~H{u@;1gEA& z2Rc<W5$0pzG3{ZanU$ryxZ_YdII46hIvE3!L0w5{uBCl>z~$l>wZe>{~yvVmS+Gy zqkW%tUi*O7togd;*EO4($26xk3iX@nkEj=E24Iis+vQyV-6}=LSIaX1cPqb7y8v>^ z5#`;AA1Xdy8UNS*>souB%EmR(u^TBOuC)~z+M7%(TJA|f@!pWEy|A{d>WW<*n3(5M z>D!GQ${YVEp0ojXDvr%V<Zld+iyP!tfQb z#VsZwn-enBp0#<(^YQRlP;>>8X{e0M$BWaiLlShNK4 z8p=!dWTtezYmMzmcx*^)Du5Kkne9oCrgg5dr!p^#b-*suxMGbxl_^E(USm&XPK#GC zCZW7zPi0C~yVkBy+NMSKy_14CT$Zf$tg)vurzicQJBWA<^2CVv ztU^gdb@5S|A)IUM>C7u)d3lB9C3`wkiqf^l=JKzIc6CWXyxCm7G_8A$J(+oRAej}t zAt$p`M%a^?($x?1>Y1Eq+%q|fJ0wHxT4Q?$u85XDQVP>f^sKSx6zQQQQEPb(m1*{zqIA7;ZGbEhjhsk0*ZdNdzO{#Fu4~$VjcVc}BH33~ zMSN?QWQTFDu{r&z>!KS?nS{y+o70!7cCE2F{i&;B6_FHFM%bLbRBbG9t7^Rs_pjU+|B+0Iwt4{Omo@XRC8|BA=$U zP-bkK5EXB?UVYrnQpv{?P9;~`1Ylmhy80^wZ$@Le&g0*6%Xvt{5=N7-|r`7#4;WxeqXTC<2J$Gl4G|8LZu|G(Gz zV|xDoeb#yF16Hf$Tb55+-eY;H?)iWA1i+6>pErHbv`B9NywmstVK;LivGj;WqJpoL-%9d=jk1Q^STFgchEZkUe|8YTL5~rYRw;LepU0L zW<;}J{ay9z>UXQ3P@e;%wns4-5S>h75}K!CdlaRrU2As}(?QYYJ5mt;Lz1keQWG}OM`<_7S75lV$a^UBrlA2?EsaE!9n)mw8$)BNkrwyE;EFC zjqP8gcUy@q_cICQFWbK;U3~|srO$Bhm8IUpED4LgE`~|SZkr6XZ_Uc`Dl|1X84`Q` ztgNE^wa5MG_RpLtC6L5uBmCYPjnYI?csK=sU#|0Yi$2wKy-&8DToEz zzbH-XS!3^7qBmiQ?#Aae5l@l5Ye~A^ReYJ*BKjUTQbb(Emn3VQ#TSX(#8r{DYT|0d zS$sjF(p`L>mHJW9`wx>u+{G0cYFCl%@0$=U6r>;yY=56Lt-H8PR!mHZ)@vpqo0nv$ zJw>*MFA$ahglVX3uswXz_3mPZteLzfx>24<$oA)Cs9i<&9-=^4>~#;MAl~dfMAEd* zVv0)Bq}Vp3NqXkCxFAvKDzd$M0nshJq##?_-aTnrXYmZWN6tQJ&9i}v$YCnYM~MgHpvQolw}24WFU+|IZliGwAhS*MCg^ihh#b{`Y;|Cv@w& zYr0d~pK9OGzNWpY9o0HCKh}If^C3-2^AL^wzo-7R`c?JQ>K=86>P^*as+?*_b!W%- zI$r1B|KHuAR=%P9kn$Pjd8Luel=bH>POzL4-w4bk)Gmf)sJ+E;8fnS-(t@`*CNqSu zI7(v*ncpKQJ|a7ev-mJ;O~md=wA0F23`taaiX(iTl>9w{;;>Bp5b0%nkDwTorFRzx zSuK+KJ%VCDhT2oCd`m%W*Bnb9eUG46`Idq-y}MZYmV$Vnd64fjm%gPSP3gl=wY@BHO1ZRm=7%O8g!{k?m8Irgaz3Q_f5N9zpS(47ICxmZeYh zxhDR51jRlX+WYwQiM>pN{~kfHSB93oyGY{q2#W08MN+lw-9-|=M^I$%E|R8o7unuK z$=@R=vb~AY)$Dx(lD|h#WbYf0s_rYEqURK=-x(0;=T>!*zM^Ye;oL>GS5fl!2#Rd4 zqI5NTw-Ni;fJib*-yg>x0yN`}O*5ER%-hBU3G@C>VW(!WAbNXXLn7Us9{J%QfB+%`hF3$t|Zk^B{c z0w+W5E5un{q4g0NUm+;OWQXwjA$QJEoJ1@;YTiC-Zouy069)4B^!F``nx zLQr^8hB{Dq;w|`oK%nsWTM&!8Q2N?}#IFz(N?%)$ruG-E-SQU%{DrHx9EYpG-i9FY zD+C4hHUz2KY0^sk3PE8?vesQ-t1D8!E8s4$)fK5~S7CzLA-a8w{|Z4NEJMrQfFS-N z680VvSAo3&L8_L$&6vJ1AaYmYzd}%8Z!?yrbr;y%55n|`0g;HAB;qcxw;xDVpDT=P z^IHPv3d7qB=_;@{9ZUQQL4m#LSen*dV5<&NzboJ_uvG`CYG;AH89{VI1N#a=fxQ_) ziqc(RD-BY=E8s4$l?JJ5Z{b0@JIVSALE)mz5Uv7SZIJe50at;oHb~QY3hb-RGQL7k zU|(&Pqd!l28DAkNoRg(@71+vy#4igJ*vf-cEn9hz_+^0tTX~SGWh)O7zbsH-D-Tk& zY~?}Pmjzq}w(=lN>nU_oe#rO=LBS(S?<|~VHCU{*rLPc__Wys9z5nl{wioI9e{BE% z@07p)w}v_?{?qzb^>KRtzghQf-Rt!IzuFFf=d}~s6Ep|#hUPWRP0c9(1%OYhi|P@z zS@liT$5pGUY1PS&pLTq?<3k;b9fKVQl;2Z+M)^MFyz&91Rq-vwC)p%`v*4DPK6in= z!$I=56AJ7d4pP;w!b!^UG11Ljq@cU7Q?k}sI6Y<&uy0C_iEk-o z61oGkZ%Rv5y9)PG+UQNgA~$zZ5Qn3ZwVr~5m3j$}QSh3Gr*K4;-c`7V*&@2}ffQu- zVaZx|fqheYTzs=HlMrk6O=;=syLh$e_wvRA?0b2IgEG_?3U|`GB}e=NwAJ4~J$+fM z`KVJyE)+Vq9k#DzwC;kQY6p8akO){Np}M4#q4pHm^9=m!{>36^-wmL)i#^XE zUGFTg=NZPtzE(CiM4Z|43{sS?0(+ieOmx2qDTp(BonTS9dD}8;}OluiM_QOC8c<=Xj7s>QkST0W+{@97*ix8QnZw|DbB=LWP!y# z7)4POi((NN#y%8zSS6LB}vWLL93lfXSl6ngy@=a!vY;K zI;3YRJI9>{G8yQ6HsvPHdKe%Cd2d;uBgR%YFG3|G+lx&=CFyiV`so7*kcZhsfjqej(Y zh=@UUixX)$cV-G;GN@0oTP)A32AzYL;}=EfJcvQ(AmrGHQKo#vb#}|R$spe)i#(l& zm`n4MQIkRZbRI&UR}K0i5N97RAfO9<5s+gwgT4sNrFg-CpgqzT0ePCvM8xND_|>ND_|>ND_|>ND_|>ND_|?|NmZbG{vY=Lelhmlv9+;_ zV}a5C9{rcmo1;skXG4Du-3@&&R0~}W1%e+2-wPVSrQq3-k4Nr~ygSkvxjOQ6;7>UJ z{~g%>`$8b#|1bZ0{eb@c2yX{W7Pq^;6e&qVLtL!@O@;Ej$oPT&u20*O2p9&fCtm^9zoT;Q{crW5{}ZMT@~b4S(g1ev22S6 zfq1_r&0Z33!e-m@%)&;c-e~VOE6g}KKUdnlqAWBAR9!fOqOkd zCWE>p8$|NFD#!-WYKmI~00EuJ29X>a7UYk4k$Yq>;*CO(KV}(H6J&d+z;`f0PW*Jfyw2HsPPI5s&Z(7BdV>Lm3i1^FkIAtQqP6T<;1n_H7XnnwGnz#(rmiWa9LZI;_ zOEj(Mr)En0JhepgR9exOr!Sf`JAR~Q%<1=Y#<}ST1zx%)K zzwUq0{{+7Oe}EGJui*rM$NQo8J?~BLs`sqtzUQvzT~Ehz)pK(A-thawe>=Q_@Bbg; z1i(MJx7=THkGei|-EnnXDc1?-J?9Udx16s!&pJMG{MhkbN8K^wcyj2sL+|g^gC=MX zB9@t|%u*;JSQVi?h_bXQ&SE7m#eQ)IfmJ`%0!tnPlRMn%CkVt#9s}jrsCX9NLz37; zT;NVCbRm2}nXnjQN_-A0$@o?o&*qYhfc~GAW+UQhtmq{qb~Km_Rsc^~;-|z(=$J^zd?M>n(Ec-)!$idiw2DL`2LFFd z6?Y-Dqo*u}&;;#KOz=BF2|@kR9z}WjNzn3Z+2fYzzo49C)10#_LXhuITcD@Jr>L&d z`9vdg#3%^KBYt*U;Szu|8Vt#>>9R%W~ zJ&JN{L(`YrKc;lp=5cBeM>X@`YZl2irlQRIC&kzY|&&>lrOHX__8 z8(g8LxhIp!Kns^8UKQk7FrMLJ2Z4N(XF)kOEQX-m0_SXLVObA z+BYn~D(&K1U>gJoU8PNYa;Wwuvapb6do&@swrc^7&@R1rRzeD5^ayRzlgG6VvXWb2 zx4;vkYugrJwN33OJHw2lAau1QjfS_-fO6ahm|R{Dzaa^#v@0*pZqo&!tF$Rk4h`2S zd9I^jd0l`U->gvsIuO2lIeH2k>Mqqc%cTbZx)_}FOG!$z*)b=vzU+C`&(^*65Z_*^o-*8(7Cy|#I-Ufnpi-snU(E3J*_w2o4j8k@~pWvAKL zY8OrUpnh|Et9Guj)~Hq2wu)Q51lAhS1FU}WRoAIfd24%ptysU#l$)?prQY5u*7WDT z>N@pR3*jhw{ja~`I$dntsJ2?QYO`8qlIw%|g)h6F`SNzX+T3cisZ31B9;s`qG4}wNz|Z)Q(v89*-iqXC9hd<3OZ=BhzchBsi%w%si+C zvE(^EaoX{QnQp6%%xogDmfr0D?LUxS|GM5(vhzy+|1Ijbo&4K z9u+gFLvinkwx7mir&!yrs2iftP3hBzOVDaI`YCxIol=8Msi&2AO60xc6B9nM+o@J= z6l*mdQ;@Y&5Ux$DO0oY8E?}yTQXZ*TuYdT+@7i z=kL{Ry;VgD74yM~iW>ZPu;7PoQE`{kg;^z+j4$T$>7}G{i0CzNbMT>GXAWQJ-r1}3 z{9oF)qmjOH`sc_teEqTzx=XKe3P2mff +Prefix: : +Ontology: + +## +Individual: I + Types: A + +Class: A + SubClassOf: B + +Class: B + SubClassOf: P some CTestSome + SubClassOf: P only CTestOnly + SubClassOf: P exactly 1 CTestExactly1 + SubClassOf: P exactly 0 CTestExactly0 + SubClassOf: P min 1 CTestExactly0 + SubClassOf: P value ITestValue + EquivalentTo: CTestEquiv + +Individual: J + Facts: P I2 + Types: CTestType, P some CTestTypeSome, P value ITestValue + +Individual: I2 + Types: I2C + +Class: I2C + +Class: CTestSome +Class: CTestOnly +Class: CTestExactly1 +Class: CTestExactly0 +Class: CTestEquiv +Class: CTestType +Class: CTestTypeSome + +Individual: ITestValue + Types: ITestValueC + +Class: ITestValueC + +ObjectProperty: P + Characteristics: Transitive + + +