From fa17cc24fc1422245e812f0d924617d4a01307b7 Mon Sep 17 00:00:00 2001 From: Jay Lee Date: Wed, 12 Jun 2024 17:23:29 +0900 Subject: [PATCH] :wrench: Fix stdcompat to the latest commit --- samples/normal_bernoulli.png | Bin 8345 -> 13849 bytes samples/simple_itpp.png | Bin 7464 -> 12825 bytes samples/student.png | Bin 7334 -> 12833 bytes stappl.opam | 1 + stappl.opam.template | 1 + 5 files changed, 2 insertions(+) diff --git a/samples/normal_bernoulli.png b/samples/normal_bernoulli.png index d4b5380f4a183b9cc8501e25026168ffe79596d2..c049aeb55527814a10fc08aeae6b449d50791322 100644 GIT binary patch literal 13849 zcmdUW2T+sywr>!{3Rr2HP$(3w+Et~S zC=}H&@_Qc*969XmEeU@~p_Ol;bzH2`-WKjwC`}8rtD_6r(e4hXmzBGRor|-GfRupH z1x{Nu+SNl^P|)eGHwd`6+X#y8zFG<=+3$MQ&;x~{w?KYVYD$-MeG+H; z{m`AuNjqec$;HgC_Hn$%$GhaOQXSxBP7e7OBR>2K&Yx_V3(7!n(D3I?I#BWJyAZFbWlVq#lK0QemP--Da{lgbKF!Zyv0# z?VewC82uV^{=$XM$45@12Lo0oUueruwqlf(m5oa5^{`er{7SqtVcj}ll+V0vjPFy)`UaiVE619qU4^NUv+!m-;kMCx2U)B>qZ(cAtgB`Vf1R z>NE*wpr-buK9Y@3&8YCs!vhBomIQ2gX(mb*5~Vj*W;^chIoR3RnNeI^tlwzvPgd^t z8IGvjn5*JZi;`VJBjmx{ZD{_f(Y ziCFTRE01)|&2eq%s(bs|+uKDQyM<;4@G>*f^B)!?k*iuYGGu0DgLfiAzoW+Pib-$ls!* zU0i)_cC=MBK14ZbGe!+Nh=!j$d6Gws?$PNCIbq=&yxPe#ON(M+VkPVT&Sf$m&nFn> zGh}A3hS~NP7iS3I#hW9Lld=sCFK6?pc~xn8Rq=N_ukPVi%e7NGvXc@S>%-RPb3_|C zagtVc#+YRTe-zJ`SuehGxr+~8y?VvuPY_Y2_}eUOP`g)1d$&Joveq*)iZ&@wS@+)- zz{?w1`dji1G_1bFt~U}$(=S#R^G9L_jblkf9;RIWfrirTX}jUR=Yjz$wdGc;Xid!s z8d{d)j=0?1wr8iVNN@RXZLAu&yT7-$x4+!$U~m62DXG8Y4v#PX`Bo;yfBP{>d4p-N z`zeXM96;D}VbAe>yPIzv-6tTiMHupQ99EW%z_qbWU3o;Or>_3gYwkO*mBp)q^~i2 zdbe)n967BrLD-n<;7##wx8A9&l$P84ReS#I+1Ag`PnWpk@>0a*TKC zD<7`2Nn-FVzj5iOHB%VuQo|M>teaSzzL(z!V-)Pl(o7gx-O$t3<&J7NRvP5yR(SsW z`C^M&8o7;`BFuP_x2};9iwVK9fvzb@#-Jlhv%@8D@npa6cv8HCOY#8x?Tk@Hq0o_S zLMuM9M%97%r(t1YUNg67*`#&(^xt0B(~Bu}863#l+1}bHaUco6ja)M@aeJr|#h$Mm z#$Y$ym7iBo5X+5U?lNY%c=vIZR#IM=K;>2M0pILUI<`Dy;#3W?qfl&jM8oOXq%$ZK zOa!}}ba!lQY?eiBsNL#Ze?Dctr%3hn>(^f!8xNL7uu9#8PT{vY7sE}^@kBNzi&ZwHJ)YwbM+PXB^VO7*KvbesK?-HQ#;*92$JKoE0oKV&6*!3*su|T~< z>5!ejlX&BJ)P?uAE{xBdOy*gWP1*`#f8xW^=X3n`j&H2>!CjK|)a;WdPo#Yp?sjk6 ztU683d%=){Yvp0F$P|2;l7d5~Y~9lnl@n=U=su@1WfLsX{ssn9{kTh0L*wb1XPZ27 zIScyCo_snqTJWKabi^ zbV`dS=-Jt+xmU1^F0P-(m=^y&kXQzF3dRIi%y8Of#^Yt-cr)`~zEe|2(~OKI$)cs? z9OzrBgdfbb!?C8#Fx^;0ZLhz>XJx5e2|Z*-RN&=RbpbeXH32{d)a=Wcn9SZ@BQ|;e zTeXkq=_f_*eA*|s`rSj?Z7Ag8#fw}8r0IwmLE`wL>IZ?|hP8Tq*>K$aBERvuR7FnL zX2Q=s_ggxW=Ed0S#gpqg)>!)A$fGB&XJ%yBjyEUOh{rW%KG;j2mztWYw{!pgE}H@~a!EVIDUvuUq6G zwcXiKFCkL26{JJ5(mleH zW92Xx{w-?oZ*}tjJG1y-`#9HuVd%?wFi3h!P^ea3<>U2>fH#h?Ci{F`W8JHQA$h zhjwiSR_hm-3-JvSkvRGD5r_VzOZQYFS#uvAWXvlp6wYY5 zN4*yf<70}?eEq3&`A?dBlZu;x)e1u_RH(<9k3X)hR`1|r1x)jxD@R8kJ;A_W|MTNR zY1bc$*(nbHk%D}gU&ZF+>`t{w3D8Hdyt;*ve$#Rd$0dh*_XJLRhV zKz!g_#dsw}pK3`sa(4m^{WT(w)VUf3>b;_SU0*cVluIw2IpV}z)?MNdSL)oKM=}pG zg-%wv((ADNO{B&4+bdxVR6>bu8yA}#Mpy8|ugl%b*t|S$HR`=|hwNIuemx){qvPr6 zi6ziIx`I#xE2~WTjTsRbZP%brVrB{(mgcJF&-3$ZzTnmF!mkeSB{X%#l<`&JJqAr3 z#T`CtD>44jg~W{;<6Ja8Gm>quq7%1-Cus@RHVVg#K6P~0r~9xDKK|$fvl6pRG(Z|1 z6rX*4ICK0(tEU3xKkna7NpK+;as;lu30x^kDOs20=QWdJjeNH9>622DtnWp~ouZA> zCGV>Kn*3i@jj@w(OI=}tgq%NV!Hp|d9uRi6=2aKGc+~W<%FrUYj3oH^&kg-aXC9H| z%z})f@0Ru5E%Tn$@b;S_1aqGggEzEVY`s9 zil0~B%lm9TC-Ne0%L2fvqJ?!_DxLG$az5K-?Y%Z4E^8u!_*!0vI4Q7oIjB3J><0;1;&9o(Xxo1?KacVNk4TZw0J57 zW}d{Lzeq;YFnQwBlVdOjZ(=Z&M~@v_9u*9d%4o5QGtCMOrGXo@|1Fq`EilDq5p#M& zV|jh^2rg^|xiR|T=?#Aey#r?t?@KIlA?>-3>mj;5c~lr-14HM??Dd_foizY_=(98L zp`4JNz=lZ%W`CZCM_I;u?oerki2$3d&-Fcf_T*C-j~~y;%Tqsb;zUiUX_c2+bOC{4 z-{UAgIzB$VwK_;|IA2Sz09ZDjvN}Kb2EhJ=7Tdr@vr@;`T8WaU)DG<4WmIGx(caNv zyu9(_0sYJP_}(|;Xi3(1ai@6bD>2WXzxn>%1OVDOKr6@2Tzl3suH)pCe^We(-deed5mU0 zmqe_;O)Ts;L7_ffepKu8>qkvZ;{({I+Z0lDX|JYJQ4ickp6}wAXL<0@&>dgASyPIF zxu&Kjg7*KUqo-9PZ8z7*MwRH?tZT2i!s^n9SOW)WrSb9s$hYCyp(*k3!vKgI#n6ZH zZxvp4AQk9YTW47}#b>6arO}agqZGa0@8**H?V|H{$*r{pg|5*!bM~-!40lQkuD6$> zm2X*Q9Fsht?diGf=JA~?S?KqoGQQ!deo$hj3mS%dY31>AmGQD>TSZeMa>D6~jN@oW z!5=+Cc8!?tzjA+U5mhTDu1Ie@9=0+%#;(Xgrp+Eqpwep}(njTX)=DiEms^RI==rhs! zhAmmW{Z8S;kD9JBR%#R~-%~Q2!{^7noI%<>z)iTqIsAXs-0A{0o~#m1X3uEpn@gbnLP@ikzGY zO<4$Y+Zfy-6jY4G+ji|kDdHH~GC2B5ojR!LWjU({ar1$zRnQBGWrSsZ=u0=DK3XH$ zWYSD|0Z{2H8P_A{BdnC*?A8}XPt77|k+7IFp94xqf`m(?`aKkC$qO3x&SJ_=XMWj0 zZ(cvFN~FwOt13r8=jcbMdOq0a8iIITSdmNJR#49f7LR)h4=*_R%XtcvJQ|Kcj}|!u ztsXskbZLHPdtQ2HbJ25QL~RRR;E*EDPR5)+QwQsR5*E54;w0lm2~W<$tvcFrnb1BT zE*;#x3s|JRMHZ()_>`G(XKfbSsS*H6|P z?kb0#@-1P_x72mAuCw>`I3%BqQpQXY4UdX~B^qm-+(;AHuaOT!VYz;8}4sSTy= zKsH6-76!2VIYB|~lt4;ua?rM~Y0%bkTfqrbu-UmZeoHJd4CYklm}+$ z32$d>Ybp?e>0SpM@q_Oo!s;f+6?Q5L%7>oXlJ-MEoM?+BOAyGka@%XeHT*vSNq~6g z@FkjO0fWbEk{i;ExZ$x4KarRRfqK_8JfNX%cfjGZ0KHk=y{nWdghElCKCYEKyl(<1 z263*xYSg_#^!9J42o^DQl9`{A=rlDdl@xY1+`+-Yb7yOHS}_Md(Je_z&?$B1q*Op&bQrIR(Eyq=FDp$iS^!)J~6|#==)jI^}kLiDw zsKsWNu}f}7hSG3D6us6xyAmVM#U=>{_)aNJE`i60T(DkETn8+nPf=0RgqW^m3I;rx z2Kjv=1SUA3F#t+&KvA#sZUt7G1+H6xHY|MpkA|?ey8wFO9u7ae+17eXP}drH7!ewh zg0|OzM`vt9kxg_LT2^kY^jY4#0Lyd(iVZm5scIV=8;$5~Xl;Q6&~r= zK~=z;Ln}i1k`){3ut6j{&V@LJ?tYo{+%c8qQ`KYMt!MEr2gvXx8D?uG-BeKt4W;KO zc=__BEs+K#7rDI1ch$^)`F8iHhK;EPXL<)0-7wPF9lGA$(9zL(*YwkMVtZqr1pE7N z%n&Ly+l{+h)aQ2I<~_x$RU5_TF%2g>N65^1hsYPwga$tN7A5$# z_#;5cxXhV2MZ|j6>|vaM)s67VN41`oJnCp+gzq=oi;04TgK9<|d->Bb?cIGe^z3hM zq^o?HL{Hf$Y%l{4Q{1bJPI3e2j12U5jR<)JX6>DO7OExs@kdD+8DrHbcG{{LkdP8T z0g>WWI$l3qAJI|NB9DdH8&X`ov%LZ4K@6}0MtBg^#6d1;>rEJxQ=s{$6V{tt&Pzxb zjHd(<3*G%x_i<+1650Xm)+5HN-WzaqciGct9Xcr~m-Jo`LC!O*z*t z)_j{CIv~PblS1;YKZ57Vhv@+4Tm^wj`GP$(MeRvfrYaMG{-B*L3N%$#$EvA3Y_b2k zJ0ce`l)#|kMMGV3Y)z;lGBrDNRfNYQZUr5O{M$VT89u$2ht`9qb79_T+1ZR@$4s2k zOp!N@7PbDyWMyN6g}nlhI$vvO7f4(kKlz6(8zM`jRb=fu&#wE+>*?#O;D6uLbdL&2 z(=oL__t}9)v&gLm_CTc`T>p`h=ww4r`OE#N;LplD;jdYa!9P5wq=(zvZ-VHtJIJMn zYrBR%Fg0+CvZwDg$dSR3)2>W_m#*65HKa{ss`6p?mD4>UHwsp>HcG={7p1v>0~<^U zQ0n z^^J|O(4XwcLvMWLHY=s#e*Ls7~1dg7g5u?0;yV^fl=id?ivTR~#@$g^ZbWIM~=K(b{jOY|9a zmAu@044~h_$d`9pEpvVCgR@>5(c(_M89|%F97Y6xUtNb1BYvj%(*o`UAEUZyQ)i!N>|#*m7F4(dVc?|r0BW!%L34aU4Nygx|WtR z5y!W=9c)q%3TU#(5EM1;IP4Ai6otIyU~)u>&p+sg39tDr6ZF1Tacau%FqS=APF$Is zAk*k^$YgSFFnZP@bT3()z}E9jgr%OpDiJ&;QQOwk+kRk0g&tyV&kNGhiX8A?Y-7B#5UW#D z6`}9s<>a*1F`8dc1Kll-dvXek>jJu$ZR}jZb2kap4j}e985!L5^E9wmnP@E^)xNRo z$jbfj!GxKa`D;@XP}tY*?(U)%A9q6!019<~du4imKnCm&?g>CQH$So+4caAjvbnFk+n=enx?q_I!B{#3K)}uDI zz*GN$5M#*F;_2ZJJ%3sI3KO+r_$~e> zi;dqU!yt+bX>wE4#yd8I{izU5Fw;Ly@bO}E)hLOaFSBC0%orAk4&3?t{Pw|)sp%Ez z)*`oEjQ{iY{=YAX{y*MnEdgfGlAfwUeq0OVzU{d`FwZ-#S3q?XC5jCBqcg_Kw)212 zq#5oH$A!i>WmE)wJ9uefQd0xpP*MZxz9PKV!hHB0N#*B?xUvE(e9u@Wa1VjIZk4-wIPKF}mQ+ z-F=w?&<$yC3|KwzOZbbF9!?)joyI6J;S7sZPD(g;A~Y&7krlcpq9Wo5lsr~CRqS?M zU7fw7V<*g^5%-Fvwc#i%?0?{|FSrrJf!xE#hXg+rkX!-<%7c zBX+sn&h@aEy7~_3?hZwX!Wz1L%>xllqgsj$%=CYopnyhTg2r$oLIEJGUP3?>*g{P0 zK_GG>%?w=cEFkP^?PVs~8C4`c@#~90I9!_>9rV>Iua0dAaPKNdH5|&(mAE%FX z1K*L`?#FNUPR$w`8rE3ZfXV1gB>i;Ffk%O8z)PY%?S3ycY0Oei;6~q|Juo!WJfidb zcW=goCYFU`ZFOtn*gU7}FE+v&!}6wC77`iCC2oZ^F;o^H zL-?!FbtA2;IiWvidCM=sI1(?8U%oWFg}pDf z8mm*FLL~AeT3P{33lK+-G{%sHoO?!1Ky?_Nj zBSxd$zYkBN`2wv_>=?t7IzJ zDYPfWuL0pPi7S0fr9^LIM*S1^-v7w>$C0prED*n2TWRmg>}`c2z&j_MQ(O8oWbIFi-C^L3y9eiJNHXNhf#5W{TDmQ`(S zQLSB`R#Po+3qjA}X^#5QVXC0TiYI6y1|%pmM*LO3J|0{K>nOAsxobXyfGUYS4QjJx+K`2itK6;dl64lV>c=Ydw4kd(Zaa(e@)EDn9TXWJw}n`*-q zeowO9bWxLf!i+3p0Ne$C+`N!#X`e~^0|J$ng?a`74%I)lo~ z_4o6wmQ>&ewTaUgvj#Bxb;^rs@?*zP)>GG(_8`ZLJ(+dPt3saSinPTYu2-b5v$}RI z=?US12B3SPw=O}mG>0q+cBrEkhnQ;pJ5WZ4>w`~ygFD&-2kM^~q1JXol(JdApxMpq zlgvjZ#qYK*Q`aJkPMbmOZ%D;h$3`8$Be~IIymRefZxviXVp3yKv*D%--FMgK5{Y2D zOMdhpnI>og+z56`dpqv0(85j8zH(tPttn2$b66ZgpBAv(b(qdW=Rf8L-F_W-d~xp6 z?$n}vmYh$^j~xrX3MW7A#(M_!oHP6$(~qNPP)Rk2^2}6k;Ej5$^Hb~42+dLQ6F@kU z9RvB?759`jPlewT_@Q-8=uN({nmhHAHLy*O48iMjo3GcuD{{djD25=Xwng4Jbny(z zv@TQguQ20AS1{d=F?!S;IA?E769?)Oi^ZYh2MG$O$71kEoXznxhxrnJ+XInD|E9gc zW@9ri4p#UowWu;t+gK3nK4Crj74IjgE;)t>yV8s$sK_4lrrz(&euQJ6<&Q((BqDrB zl)-ZnQIGeA2p^`g(W0KvO4OwNTYj>TgD!vpDTj0WESJ=fFNF70cpITRChvsfBVdksaHQ9$LyRC_r%}+RU9e(mf5dm~~_9FW?xPw9658?IE zKVDN!Ou|W-SvhE0b;w_KqXL-9jAxkP(D`d4ROmzS!Vq4tATL<|@dX{ckb<8`C+6(o z9QgI*VY!}OUn&IoJikIe75uHxf>ZsKbkW9<`o|jZVI>Y7oA@hC=?yX@=5|Kw%+Jmx zSMBBZKeVh>9C;<(!TOO&&dAT^DlhMu&(<-!Yyx~xj}O5oF2N@xNer&#A{kEl*rROX zzIcD*y@v_zlxB24-!! zI@!9=|3LD9z>2_uzUqPkEszZ}1_D-1fg=aZI+%BW>K60zwsBy?@WgyFdgdBfX!#syM-L7Y%Md*+&-fJN0hfOp}=_zY-1LOBYgDJQ}gK z;G>?}0y_x@k8Tefv*z~J)_f2S+B_mvd~I$<3{7ljr!J^N3I_@#Jg0O6)*H>c06TFN zKz;>VTIwMp+cT>V2~QnUQ~U?Bpielbo8|m{uFWSt{0Jr*+BcM00^mYNTaVVFE5{}de-q*__a!p z>CceVDdTc*jb7H>X&b=%A^wmZDA$;!Hq|R#C&lbvLRyQxPr~w+>Xjmq-oE#=<1;_3 zNFuFe#bRz(C1=^Z>EM7fUuqQl#x-Jt)|c^v#eHSGLM-(lw?t=v@fuoeV`a4`E-AON zvQiJ!)i=PhvG3pC{CiHe6>_o=Wl~Y8*2?d2A8qm-=gA!%9JRxl%Lk#WbJsVil3Yqk z2Mb>aboye*g^rMc^<3ggnd zThYWIBkH1#-q}8e1Y+K9za<5OJ_wE>Dcf9P;m^MeU)P4`Ad!rERYA69c`Wd_l%mIv+A%hR81OtG~grQ6gY4cP|)LAQ32nLkQ*tZptw-<{7=6o*um&0+x! zpKP-JtaF+1moHz`uU$JNKiJb)D`)Oq)R+I2xwRtS0gNnCK;I9G z;u-gX+}!iIlhNx;j1@jl20Wx0=$t;;of1qi*RcaBJOI=N^4PvhkoM0*U z(zEMcx^xM<4elo-7;eILc;`eaFpbW@;s{261Z8VV8Nes)6eF1&OGl!pB&L4NSyxF> zr(RKrr}CXXeFdg9guHY>GC6bY6(@i`$X!7$`YTAsfZcV$0=8~R&Ic+XCMs%MbAL}f zIAyMl-eASXi#fz1k{DPawu@s;6p(_8?|wP@!Uc>Iab|q;t!N0{B5F1SWUIj?)p4aM zK;lQLk*sYX+?SvyZ)(22s2q*nTyx_$DZh?raDUpBb|8e;4A(^$Lr6OxI1v<9KgpoDl7~>!_ zpAJXuK{4ztwtE2yo2O5oejLcyleF4;h29P*7iR3WO)==@rr>;5LJ|^D)jBelS+ccL z^dU$OMl)R50hCo#BR)(8dwIs_?K))#fBudL6ZxUzf^%~rH#Cs|m4D3Vux-|@w zZMP`P=ON<^eu)^Q;}E(B%Z$*y$%P>^a0(DNB?p3QBomJa!cwN-&cWq-Dm}4CI=_M4?;H9Y{wresgAa0Qq`-uKHOi~PB?|rQ10jAbkg2n8*x7aD z^AUc-_e$CdTg8;+;lTPf2)N{)bS^)YF$<=(J|NhF>TS#wy*h|=o>w#fK2WTzudnaQ z%oPV=QFz}a2-jxza(_A(B<9J%U(Qy;8rb9YlEn;h_7~)#Un5^>)&I$P9u41(j3h``sJ)vot0}KbD6fVIc?+ ziO0G07OMei#Qdt+TUD4hkd7zIf#!cdDu^6rZVT0dxI=KyeQcx4(*G&h`SNbwTeC?> z{OUq|fL5qyX69U(SY8Hu2@03jISTJV%3=bUArT__kZ0#aq7R@e=mI%K(uv?WG8eq_ z2Gz6!Y~qa9A~sXcRoS1{-4QmuX#(-AU;;V9Wdg81aQp}N!8i-70@*bUT7*a4GMB>6 zdP@nk0fZdD{58bN9hvxmgl9pAKgiq&c@Qa9I>d?;#4knHO!YRzx`pF67aGCctQo{& zv7nNAPk!M|8F^*>vUoT7bd+ows0s~eDL1Eo=zkV7?iJ`?KQ2KKv&q#Hf2GmN(!1X? zjy-78jUcI_=IdJ#A0L0Y7g|~>#3nT3MZa9vV^d{nxaI8Z{COTI$j!w$64;Ng&gL5Q zRCr{YVJ3O{;nJ0(vBv0`?!q7MM@H^yy_)9!7sRY%v<@GouzgDbs$|(^XT_xw9I|CF zCTQZMlC+?Qvb+@_B>5`Wy{0+D)H?P)IYdasWCJScbgnP`C&X%bKLd#~frhEm*G)_= z0DFT1#OCIzK|ePtb2j~T{UFyW6zViYjxoa#5=-?bT|zEYK}dRd&Ye|>zTx-(vV=IN f|BZCw#*Vyki4RS8>~;8WS|~MTEv16Xx9|TSvH`Sn literal 8345 zcmd6McT|(h);C8)0tzOmD9wb9B1L*p0wL5W3KDt|0qI4$ND&AM(z}Ebsp11j5v0R0 z7C?FvX>y{73R09R^?ROJ?m6$h=dAUr5SzW@!*O^|s5 zB;EW-L*p$@Lo;)khDPBo4b4&a%zE83;D`UE#QdWOY6KE{l|Tb2o!tX z8HvL*G{_t+tct$h=-kBh0R5qn-@gbl2*CI7IdgM#z@NZ>x4#EtIgn^l6pH0C4%pB7 zR4A7ftLEpFV=rV>kaAMtv0jw+=n0%|-)NQQigoERmrWDX&~xS|i|7PVZK?0C@3#2} z?DdaKQuHM+ti{Ruc7F`e=^h^EZdXZ;AQQ{?Vo`j1xDg@oFamZjh6m1~YpS|FuVZjm zC=)h$rz!J@03$E?DJ>lVOTqf7*2uwG!Vx(aWbAIn3kAT?=T7N?go9T2H+8pFG!Ls2 zI&5c~15eOx>Xg60QdH!$9LIiVKNL<+i4`$@?5x#2QJE$!z<3aY$ItcLz~mYzufLjW zDADO^#CW&PEj;SP=3tFd24?LCoW{&LoX|yPk`f|r*Xq8#{*Wb54t-sZKjYqC-7aB? z#}}6!K_pDw6HAGD-l}jYoSE_@KmX|y!}lG)hjkvtdCD?H(HWE($`0N)Q{!H ztl#AWfK=ajj>*UrJUd}gP0J8Jq`|NFQ7i2IaEX*|1pE!}Q+>R5HMXF=mUx*^Y+D2X zO1uwLE^OQ?xm*y5AuOt=0{|fX4$HDz`UHl2p!zYT$Bm#fj;_M%#{tYUJEx<$KF%-puVo?XVMD`1i{S8-zAXCk@LNq^}|v z6h3jS7?>GiS&Ic^IAPC5(5U>fe$}rxkAFr*IcX>*4C_cQ)$k1Hb-tyxB|jLY+6=&!BBH##yYz#|?7D{G3Bt==P*^0*C8#E9ZcgWf%f zApyY5Lp1*5^$GelKwiVP^b_&?NP;k55oAD;uIEza|FS9Gl=Uu&OSOp^^GB@ji z*tFKle9Na(=;v)!F+6BIen}bCz4IG)b>nDQkbVpA!_kI5T@&^ro*kp%AGB`)u}2ej zhNX2ZPq7FaN*$OD?oFf0@^JnhG7vX)en{-y`_ow`YKmu=6E5htMxC+NL1**!Zx19P zJXR0F9uy2Am-E7=nDL}%bj$Ar(RxF^dG9TOcl@$`J5mXmz*RVvEgWJ)$14G@b=vqA zvm0a2xIbu$kdgb&PYUsPSW3d=AqA1ynK!-(ne1%YHg2hV-?$Uu)m*|%Nt*uLG-0#l zEdOEd$EMWP6bz;}^T!y5C=wgPB**h+lCW0X+gADk+r^5cpPOo4S?RJ?6QO?|^#W-H;;#~Ih8@qK7zmgUF*Po3}Jv~?gp7fHicl7QJ?NTX<4{o5at5T}e{!W3z z{uidi)uuDJ0Rtv*b(dQO4lOf|4x_lf)WQ@WzgPWL$=<1jE5V)pRpUoe3ysHll3bbk zSg*TdO)-8wmAguW!|NAIFhl#vMOSyX$VWk#R;6Pt|>bznAC!sV-{FE{FSZWE+ z0URsh7XP1QfV#05xq&Ca_m{-nuFX4b2HXonSeVU^5Bp5Usl2Xw$NUB-Ey%g`Hg;*$ zL?15=i{v~G8W)Dy!~J(Ze#FOhsTogA_fuQh1`A;?CIhaM`fXa=!f}iqvnPiO)&V9w zIQeX%u^!Ys4uC9*@H?8~Wc16!Zw|4*T(ELCRzEkZz)11@C_eb;X0|)XujbK{SUldL zw1+!H{2Z+8!M1fe!5jR1i{2`B+0T9Rk}=Ds!FGype#PsSFC+Y|2166Ci<@|kQo?*2 z?*o?0NuL7v`I=d7(OH>4Po%@_v64ePOkPsfL>-_f+g;fhDguJeGpcB!s@SZqU#pne z28xvNJpjnS>aVOfuJW)*uL;2z2tM4-qdRFh zpS!{Dgu&sKo)`ps7*wQ$zzI~BfP5o%K1bIzPxl~5v+P;sL911)ftpYYlH6GZ=s#lFt%;F8~&Z28^G!C~S&3IQ3d@4lQnQzpXQcs+4= zcEulkl}g`{EE}FRcUP*(+lz74paL@<6q5=KzMlYL_z6|e*#AYAoB{aGLO{#pLU0Rl zn~B`^(HiVqqU%MtGc%_=>dYRZ%Ue{AA?Wtinu!`Zvj6`eGB;>j)Pb3L=bEuOpO)u4 z`>e3b&!xaYcaJj;)*|`*!_v2a&5=n|bOa!?8K5-TZ|17OKp2nx?*8Fi6c^vk7$3th z(EgI-ATD$DEQ6cWzSW_wzN(e~I{?1h@Eoa%LZ1L&qsRud4-_1R zB=qrkQo`T{Zg^G9{xj*b2VCJXAk6OT=sFppwyw#ADYF@}toOX?pely6OAG6*YwD}T zBRLTjFj=s`0YuYIgQkxk>vKm1oXwaRYJuzb?{4U+jP zfdh;%VP0B|SCg@Bc&fzQnF7_M$LDzfK+&A1-?|zCRn>lq)?841i8|z{w+>n*QN0=R zX~=n@C<28G(6y;<4h9oyU;$A~^>z?1)c6AOQk@>;g&_2wr;`orcMg+!K8#&_0s&ut zJG1A*k_gwURJcx$Ps4=k8uO|wj5jyz(u8Y`Vhj2|`YSy*r&PbS*GK~>*hsXvZOO3x z?@`o#d5_5S$HciG0z;|te;ES*8DeBf)%EA~s^Idlr;+Y)UYR=>eh@?Ca_+4Qp%KfC zD@>4zDgGDyYzC@ycqGc#RUv|vN)ezTYdLJp=T9z-A5YcM0RxlhunhI2cS1zdI#P(N z76icG*(Ea~9}N#h7Z^)TF05^Cr+jvUtE(e7wu5#zqMk;(Prgg5KID+b{dTlxP6$@V zRn0-Mi;ImyBt!*OUI<3(Lva9Ab(9jaWshh#+sFn0*W?jM+&Q&cjr>iK;D<;T_8nd- z5Q6y|=fA;s5sZ)*1o~}aoM1JEk@NkYN35Vc0+@j*rD?y%C<~eG>6znktxLhs zaj~~uSHUC{Nn6Xs5BE@H#K5zUTWt*Oj}Zt2`-xpJMIAG%!QulT`Z5p#N;a|kT4;YD z5IWajs7$mMN7jwgpzUSW+?#uZd|}k?(rj1XGpqj=G=51SE&iBATb{!3SSE9_xS z9c^vxndJV$W)@M#y?a8!oPFTxnz#3aDF0ChdNvDaMmlPW{I4a->@Jw_aP+wjQ!`hy zy6SSMEdpYYuaDj=-!MTSwB8K)ouJlNV9?n2uTVH>Il`OHPi?JGNEp4jh&iD*)Wq;L zU^|6cZGj4Z%>6SYmTcfIw6VamV_*Y8A0_LNU_tXUG(O(x=c%)6$Isg$Ll#e|zIII> z6Piaug-}%DLjZ`=_Sr6Qa@;i%u;POCh!W;xGx8pi!g>XM-4v{(dE~c-jgej^zOI=m z^J{L-t>}5Zgz|EhM!Swb$bNzdT})6QShNEz%YSe!JeWDUZR5Y4lG_;0w7nqs`8r(T zC?zn))Z5>OfEpKK1Auxn;!ez+=P{=s?bqa$-d>cB1TNxN+M)&GO2E1fJnds8vUTLw zWWZoGIk8^2=hSH~|5EOK*V3<$JH*5T_%~_pWC~kH z%SJ+;Xu4D*U2lioAae$dH5o9k{HXmJ1V zpX-qSR6&BL2POXZ0s;{tKA(L=T@6&gNR0T*i|`l`IeO56#}M-}`!vSDO!>b`A{e;( zF?k+-)Xm3+2LnTBuPZ?@)Mv-qA}<9@ z&w-M+ub(;I)3vats2cIo`GU2i;>~hfuI$+_erFE#IN@M!*;8OtdUKY>(Ri&}TIY_@ z>y?oKREf+!k}sWAhr$;ESO|-@QGAkT8rDsx)3qw%z}&10A03~%H!*Qd1WE^O%IhI~ zY~EVGal_iL5*qUMsF&G7#adIxB{TI8oo?Kir5xXVR7yH}kz>USQd{q|>w3Dpb{)sh zx*5_W1Q?aqsW-eTzg!|^zo~(AUR765Dk~NKW&$x-ndki`33>8kc|uqxiNv4}vVc{g zrCK^#YxDscihR7|oKt@kbbMAj=Crdne)lXiPloplYPyHKI)4D#`YPdw3PQh8kHTjUXID8uIFlau&l2tmf9CxuX%y|1XH`P-) z_62rO#}g!N?YJ;d8c!&ZdTLJe$}k;|YL{j|#zcZE>^F_4UXfu|m@Ga+>cPLFlkK$2Q+^gP~j2wvQ3cdv0>xT1=c{LMolc z^?b{^gz)hdCug?E9i_az0#|@jW_vQ+l)E>%s5;*qg)cE_HrRf*+vvt6XK}a!Eu~cU zZtJOCDa{MDQ&rbfv&~GMDz_22!`ct0GFea5RfupfsUJ zr<$<1f)n9hKFG{Zp4saJYv8INxc{M%gZ2B?0angPDN%dj5{I26g@rGVm?;VgZ_m0- zYmpA!Z)U*|)X+?QjNpCm-HKG#>Qg-9?$!K+vMFOst>rL2PY~!?-#7mTXCqoUK(2=?Kmx*6prdSjsDa$ zDcN%MxQi#uGI>-?AWnPrMA^r|&$H~riuHO$L-sBslg%FP-A5kpU#3{QW!p(PhRb^n zHeO$vW)dw5w0AA*h!MRbKU`$m`97VN<9NqM#~}VrE}Pi;`^3B{;V#|Q3=SnT@#d-t z?WKw$?-!RJ4F)bYHTL)S(_iU~ta*`<=U|Qln<3K!u9!I|B^ka}&H_t=dYL?{K^Neg z(WYXju9uxBpBP)1w{8rw<#3bKt4u%D-T?ur64l#wIGhHvIFduWGF@8Rc-SjO8;7$_ zlQGZRiIX+er`^|5=kPMBTeQbT&&`wS%dlG-ot?zG||h+!C}05x;ygD z1@Su@KDuD*s|#$6;gFs0zZWRge9z1K-GFOnB>Y#!biXn8!}Dh{uS6cJ8s^=Nt=^4Z z=&yDfe%LoL5PgNED_z$CY>{Ujk=hPvwu9(5Tgb_9^ZmDEc1Z3Q%kGhWn|F!z=gY{; z9+?(8QA2r3F{aBBl|jzlbvqzhx*HdF?Bd0X;`K@L*Zg|ZC^-}R85tQxeTHK9@3;HEvt-T#7!Qk0FPi6a_Y1o8XW&%N54JmGm^ag^lkwVz8wV;KR{ib8GzR z@1tME-X#m}Tm!7%Dcx*6@F_yiuJMRw+_|qbit0B%RT6i7!hb$3{^`~_qo_yo63{oGHm)X8^(C{P*l>quDzXAkkP_oZK4Nc2HS7rD(#uyxFA9n6|M=8kMz%f z>3P$rHPy;|!%7e-+MX-#SEIIve4p=4I!r9>3V!HG;)n91K3^$`r-)&`rh8H26A#{% zaYdFFW;8wo{L7X-UQc}dxoEeBkvyg`*prW(7sbkj$2X~{%g=^Od)D$rP5&`59YBbh z()Jc0*T2%}(6(#Jy~>Qxq~qwaUPu&oIEQuymjlzT%&#OF680Wn|z z{;Ej^U%I*)Uz8Cm=RC(5RGTk(^gLerTtim{%#sz6ur{9@jW0G3iGPhR=3E=q-^~*9 z=p%8}_;f3o_2)zt0_=qo(?*1p8*B3u4K-I|rKW0!3rVX9`Id6-bDV*-`Imky_i2H_ z()`iYE~4~gQmwR8=Gxmr&7QcdTKiaVp$Ac{FD6*o(26GWgA0c?GV3guL26wTYxBfD za_ZVc&2ug~n>shc4yJj{=Y}jUHwkJn2jDMAHHNf#jp97#DT&M$RpoOsL8S7S7nH<= zL(t_b_(TD|9>XF*6Qln8Zt-WL9I)}#Rb zRc3Ok3cAg0WCbfKzdTtuT|?jdR#h+w-1<+? z+<(U6ueb02Nu(Yrt7#i8_oUY?K{!?ie81=SQZw?hvGTH2u=cP8e`qAcC8R{eWkgPk z>z|fYkd#o6kQNpfR}dE$JbljbFB4qcY#gp$|N99B&daaB2{c-2I@pJp%c1`do_*CR diff --git a/samples/simple_itpp.png b/samples/simple_itpp.png index fb32169add0c565fb9092bab37a8f18c54139fa8..c2119775db4801ebbb70f51d3f26d4ca894ed32f 100644 GIT binary patch literal 12825 zcmdUW2T)Y`mi{$IU=)!cVH{BeBq%`vX%r<3NY0IjfaKWZV8+mZHUfe`BdN(q&OuO6 zklX}GEt0e3412C`-kZ0xGqd}zeXq9uRbx3tHTVAd-gCb5h2xX!N-|XYnf4(9BQp8H@bkwsjx}MehJohv&U(rr^dRg`!yXnvS_6aza`8+s?-{&e2 z`gu>_aDO@(OOM}m;`gMiOzNesk$1>(zfS2P=F1i0M2yyABZo&t z4+-P-t!zVB%#(ZXIUNuPM5y!dK_*61K|$LPUX1bK9* z3PBj88FnBy82%MMVhtGpbT zSCvHavc7MJ2lyAy>-P^)fVIlI%<$P!9#v=O+;iv737XU#2?`0x6LFdO_Ca1z(R$9T zEk);08Z&a|J3nicl$4ZiiF?ja12J95vhCya68HJ@T8fH_sYAWqYm@G4lX>^Oy=R^o zj-+JOH^<5a{$h9$L5yw);$Me_sq5>f6c=CgV-?pmH#g@xb4FcC>Y=>6yl&m}mn_oi z{3z|Ri0k*LNS{r&x=;a`#KgqiQ`-=P#Y_-iTT`R1rA10fNh#Nsl)Ts6(voA{m22DM z-COL&BCgs*bI$QMS?+#@l`4 zj)o-n`-EJGP`SJnZ9V^qb@dio2^7FCM^TpQ5N3x9%p97`hIj|*hbNCs@H16WQBe`t z^SW3BSy@<8J3BjDY}TqJHdWg79sNqTHl|(j{S!|6x-U(A>D$Pbm3>UrRa$s%^%jj+ zW&jq7FN`Hg?3A2CK{)((*FL0yz`iiS$kJwYfhER>nU?lM;!3A|Z6>>rurQbKBAF(5 zV{OTDye(C?)YDCS?E4yz+r;4D}PnpuVQYVcuqh-xu9opvP;OSgTFvudMg+~em;Yb5AB-NR8sOkdPY0y{rju% z+?99j+9j`~)Yg$iuC+^miv5PoTftVJm&W{J&0U#k@=VP^1lNg{$jjm2k*%p?TdUX;G1CJM{dXl4~f2j)>QG;XZ7CI%KQVLH{d@Vd0?pVJs z@mDZlY|gco`(J@U?!x^KgASum@PL#D!}rl2Jvug)oZe=*IZHn{H1tT_mty;=Kas|~ zD^MgtMPBxCP<6}C#0E;=f9m30ViV?=PXIaLFL7z>LrQBN`F?LD^{ z@-B)SXlTT3ZmjL8N={0885Y)Q;qBm%sn4s`sMdV;?AgMv_YP#+Qc9^?zb!nPzB@X% zQdwA*_Vgcvm1J7lZ&pq?S(~Ypa-no2;06(oy&$Wgpr)@Mo@>*?#4zW2k&A~%!_?F? zc_lP7bk@D3v%t~p#>7Zd4Af-%LwYR3i?D6T-t#eLRW^BgP?)-JZ`=iVYE3tkpgVHp zw1|iflxzeS6^Ji_UCwwHuq?K0HI= ztH*1phe^V_*q>P>dYI^gee&eV?r9j=ZydERE5CG6#t;o#TUp9vryZmcU8WTzOK<0j!nH`1_^=P zNL10Evzp&e>Hn`k`6m>E=&)JkcPt1BZp@5Q>UAiE2?l_DC~s6kf^4!@dYf^8c>KV? zEwloFWAK$OM?)_ruN1jVx4kv0oF52O-tEV6>XdZSEd;5k840ylQwx0h>=}?3Qd5i! zHxG~E!-o%(5)!V<$;rL$TBmGn5LMOGT1m>pC^k|HW8WCm98HXozNTh;VWFsriOH_2 z!-o&QjEqbJYLQb=2NOid?rXVh&|c&cNnlkF2W*8s5jx>=KV0!Hjw3lWRl~$2F4vZl z)|#x993L+of^|=X2_$r*{0_8>18#l#FiC)G#4y|Mw|2RqMCxBAT%q>ufB&@qnM!@a z+gtZpq$~5^ytz!!H8|$)@2_cXZJoU0u{iO9T_-qBhRsV|CV;iIIZi>y{@c}(O1ByN6_ab>8H_#h#FuN2;?j?C+)00 zC;TJ(YuE6xLzdM%wFGiUM?yzO8%;3UPd-~qKCSS0%MH&e1fOYw{>-uI5$&P`gq!Fl$qN`IA~fSVSA>ArB4?ny)X< zgo%6Pp1StxXHrWd9k*rzyfsm~uXm*VnG<0=$XR&nu6;2hYIu2-z=xvb0#9*bFjzQQ zadb=!6@?Z-B#qZ;^8v!3go21fiiLr^{8Q)YUKT-N*Y7vz=;>vWfJ}=<%m{!aDir&l zsH1-ej+}|*_Z|v0Q`ga9oYF;*kzmRF{gkcEB_;t=yn~}7(6duQLP8IVK!+6iJ+D}v z%%il$1Yo#oGX;&S4gv!h@AGAA^JfvOFknLvgGla|em8I4bgHB}Kl139&2{K9VXKZP zEv%cAWm`(q2YSO4`~IrYs$;h5@Ui^yT}V{z==THpgup-{x7k}gZo?6%0$7~*62lSc zDj6da(AHhxhy!f5Bkw~lh0ryJ+COulcxfFIwrWgHFHKrqb@yX9E2)fGiIw(aiaSs7 zRGS;BYk>)vXowsmv^4%SK$a%JgieZ9s@XlLShKX#i=3>}3WKkfR zYmi{ey}1n;c?u6fVsj>-aH?=z&}Y-rz-=%Hl!SGC(EvfgsX=_nDHa3IqxgA6{@_Dh zo4lgd!m281ul1Sg!u8o&To0}tmwyR9Q1~2Mj?!T$$&@;rnDa#Az^6bl^&<$<^JG$> zznaZQ-_U0xhy7FL8Q@nig?dwmCOdN!W@cuLxPL)H*XzoV%>uN8b1f+I_v$1OHEo7`MAH-|g6d%LiYga7UMsm5%1?T8c0| zf`ms-@?#4eOkUR_NR+YYy3`@`Z!01rDK0Kz)|jsh&XtgzEjSPj)uRL_F>vWI5d)!n z$1Ate6((|o4sgPrV7N+|cS&05s>Q-okKTBD`c~V@`5vdh)Q!~*Zyue@t6M9?t;9-S z8g2mrHOHaPO}pszzo&NDbmyzAtgLhvyJdm;v+7|*5HqGOqxJF~G$Rc@n^_>$QunaB ze$94dq4u5R=jGyR9&1fr=r9i81f~Hh1(Q+IF^tw1Sn~v zY%b=#C2vRWaOPI#88sA*8o{Wi(mLx#MQle&JV`Iw;Z96lJ zePJ#xR2<+-$jm%Pp4GE25Zw&6{DaA4Rx9>^`Q7wU(Ncy%{C)-Djzg*pww>8>OT8ZH zpt*5NJuc(Ga+}`W-?IQ*)B+U#Y9-rd)S(m7p5xw3Oib*Ft&F(8v*q;k^maU>0NV9l z(;k!qdJHmBBIF{MhPM+6gufbDykcha<&fD#NHq(2aZsh3Z?gd|S~E576)S zqu|;N3g_y@G_GHd%CT(s9`^=lU>7nJv(X8Tg}(YwmFxZX;_Sy0O#CR)~uIc%SF;gpsUr=%B!G)x5Wd8w)-UN9y=v*Xp>*G&yglX5xw6ab2joFYg zGM~>%turO$DAsnF^%aIFk+L?PG!iI2{|V!6LgQsIG?(L<_=0YImrOPN#-Rx{StHMx z5A-0Q446b5ZYASD1@GP8)*|;C!|tf+pMic-2j-kQ6!P-r&W%k#ST3l&+7Q0>sLS^y z^EnXYm6;fRX_~^OUAnQ@C1h65j7n;W^*$QhRKajkZm#CmoWxelhiCNT8P%*=Im&rm zso~+wJlbzB0Sz8&Pbco*zyD=;cuIzGb;3kkP(@Qi1Fslhb5zX?{5u{WNfWp>itxIVodM^yv^>xp|;o&^p z5CS2(r^toq(A8JzOLP`T5X!FH%2xtvFezm|vaPD<=p;hfyG#d=kLW|U`q_fT~z7n z7&m$)Ed!iJz9mdCh5e(SFK}_mn-RTo*+-!}$t0pTS6SJLnmjs}U_P;X(rrf?KRi5A zMQ`BrqSt3@quc>VZcR-MyO7VlwoiOxV40HWn_I|vz3$1Z?jy%r+uJR{NMkyC^8sLe z+)RJ9WowcK(?wUi{PCSIIN_Gd!Fo1L={_6d<&58p-R4jRNLe2`53+1^A>D_i?H3pi zHIm-M8D*cku1PIa466RpbIGlSS;5I15YXX)vH%_?fYTS9%&ZpN5?iWsMVfn zZ&HMq%NR-+fF5Mq^+|exfdgvr@~@}o#GkkAO<@!;9qF`8r}Erss;>Uhdp?HE9KN&r zXk18zE<4;@N7iVOVzvYEiqj@$1bOrYqgJQx~C`)>$RW(_JF{_!EH$6!WZiPc0->MfpHjuUHezA zNW>2DJzV~JpT=qVyV1#0r^W~hyej(o`uP?+kSM*qBKQzK!!$4$Sj620`G){NaAWE~ z4-AYrsbMhx9LtX_a!!r(oRvdOvh&?`_v^)%^wD#n{DyE+!3iL091KePUyFCtka4XJ1rMRNkr#_(=gcs zfx#8e)uZ&NOCP2R2K#;&a!KsLkt*XVd{c|EL@JAz^Ufbmn{KgdMisPt@Hd$2)RKj! z7p*%5t-oYSZ9%&vd2g(a!jo*(GW3e$D_d6u0Zs|P*A1;ddC6z)O`%{pad>X6;UbQrStu#I z*kx8_TRihbfu|6yj!tTc;BoDS%r0M5ZZ&p`VHTk|lqc3(~1TY{3k}cmuuZ1)W zw*WP*z(PjS^Kg=X(Y?f>sOPfr4>U>4$T(Z90oCXCVEzpo<-Hy_<9iLXD_#Xu?L>Zd znsg`507nLJqF*i<#4l5}HYly&x0YWZmVD%EjPY!}n8xg~;3WU*9nYo$$m z7KJyPTj5X#H+@j=%CH7JOgCHh%a<=TA3rv}T>b0&6^mKIQFet(#d`cl(I02~K-K`IrAt!7N%ENqi;1fD;ptVTQ2PJ^s z?qBcjIjByJTykZg>W_~<1t;g`<5LFOr3sGo{sRXzR8-y&2n5Z!vh`U7KV}hCl+oYW zw!>*w591mu9v#g* z)+3f}-9>o*)3IDHoXI~K^L>zqZ+*Nd1E#u{Gy%IEu!+eEt)60O>M@SXTL;=*fQPjuubJk%iR( zT;v6T#Z^y2>|dr0obXm#*OetU)D1mn9!dwWvM`7NT9T8s`2Je$ujpcUn)h!GeC&U= zxp(o?$iw@f7(RUXU=HEP-Lo)rnwy);tF0ofYJ+)dfJjvL@56fmQ36x0sr>Ga6RH9T z(q}4&@3F~qaB#@J@ou|yZ?O)zJYg8GLR33CPiU`rVo=}&ogTz)0M;@(q(FP;m^HAX z9Kp@at#H0s0aqu~{;HT8D*p4b!Wimtd#}6JMT+aeAb8#~N`6YmO^%VFVYy&;>4c0w zIbQKKyIhI;!hX+VWXLa^+6`Pdp~AQ|Q{clFd+HF-5$D|Nv31G0exG$va~E)ay7b-7ekU==wQ*hwm6J`;%FwAX3hV=bzd+#j5ln zU$0cE#xnaTQXU#WZ@2AV6p8-JB9A{zX`Q7XWWbn@mU{LwA|e%!KZphwKs89=W$=zs zXNw8rnGcb}OE3)~Ap09a4deIr1Ms9`OLXUk8`^;r3@oh$y?zZGC|=Xi(!xRze1{M3 z-`^gr30mEl_DLTbvj9gvDI=rl5{w!r{LEhmB3nQ#)W8Lbbp5uEib+s*YhHOP_TIhi z8~tosjce0owqHTAHlD5eQ=pRI=2n0p7RdKLyp)s>g({%BWn~wDn<*sB>c0;~z*vim zjos48`Im?h88*Z#_t`|O`4o%i_3$jBt;<}T{x85TIiX{PGNfzQqj_lRZs zfmcOlvR#oA*L%*&5o$+Y)(%=>7j+1+%MUu{<|4Z|e ze&>eBrbA*j$7uS4Nv|O{z8C3kV`ZgoHIc~1A8axT)T9l}(1m2f4S9*RFAb7u@22wx zX2`z9Ue5{(hv=WXd12g2>U?zFN-%QGM#}dsEZm)zg$uWn1mySa%b0a#8kk#A3~{W2 z5VeWhV?^z3W#mxc<@9!r^ttz;8SU+!-D$~|>WYd6zP8m$Q9q7Bf@p+X=Cf7qs-Y1C zE^=4*5agIp8Npch(UTCEDFmKU9J6D=+E%l@+6>;4*ScOU`ITM{L!=At8j<(JNQh_L z{dL8l&a;%ZdX%=>Du+3D5RFR={~#_A9~Al;DquDiq=iKpMdji5px|z;f9{xc=H}p# zIdJq0>^VfQE{v0)a87b?SWa|g%&vGQrKM?t&jV^W8?0MvknRFz^<=QioxXp4S6-?+ zgdpDyZmxgUCj8HEjIU&#z&`qfBN7c>?|c8#@BaaMEtdd=Bg6si7_EQ&!=n`Vzw#*m z9lqyZT(jS3VrebscGEB5ZgQVEaYZfunu?oSLFy!`bzNt^?NtXSa`^1;*C%#L<|ZbN zzU&ed5*h^+N!GJ1p?fC}beI`PN@AiMj5`=@Enq|ge~hoFkkn9DPXOLgXAN4=%kS8E zCD?J$l9ZHufTp9UZJxTq%}+CT43#Mg=#H~q=t1jeSlRVXPwKCLp(n4{6}k$r7T zi-v~A7^TeTMlmcqvtM)BYcr25OA#8(9u5i@9ws&@D_ceV3Mc}^ z>G$@laDEy;B795M9Nz*dgX)00y5@^)8UWDSs4PzVYQHGg{!L4K(o3H_%y;;)w_ zpf=?3WwE?Ke*3Ef+QB*zGOE}K7GSD&hNQUrd?QE#L5BfZ==@Jk=sFA&gsKFg zyW@S?ytQHX=THi8uv`Vx(KoJnNl#5rT@B@ zTi45AiO3zC)rIB$084;r&?U`a%%Iu>C^FN3w;ut~X%W~TG4SShSHZbYLBoP%;`>Di zZf?UHcpm$^ZKzLN+}wI~xS}4E?ou;f_{o7qMTPq0sl|hCYe)B)RgW#vU^&cQLPB|k za7!oH(_0~8(QXC#j7?to^yyRTkTAgOczT&8l>RUsm`)t$n5tj_4LtD{(3m@nSp#HXWd(SV zm5>DJUdUBCi(G7PO!T-=Ko{75po=i%N05l}krwj*ct4?*x9A$!3X)mH0Ns23YIia3 z{vWeqLp8OSwW%UySkqtm8 zY29sGqEaq6EfD5fKrKe-$GO4B!6gR&uA+P$JY>kHxbM-uZt2Cch&star4yy`3~#`$ zMXk!7siHoj+YsZ%gqeicWcXv|TAq$v*O{A^aHF;pzh>hUX&P%OHe0U|~3{%$JtYaf0QrU(yTci9tz?zXg9=k>JlROFX< zt$usPmqI41kNchP-5cfu^3`dyI?yDiOe-fRrw#Ie6v({yRAD_Pg?@Z-u*TWth2x{6 zE5bx^NkK1O7;SvrBXPl+L1s+5zJ)9t6chw8h?0(u&fSa$4|c|pNS5H2qz=ItL3O-)1vV@$f(`N+>&vjnxHFSiC~Fa;T08-v&ol9`-D6 zjUHNpNFf>2duP6V3~$jyW=p*vIiq`oUdl5BRY9UNIRQN23T+=(($vxUVvz=+e>%3r z2@LsqZt~m3Mb48ar8qe`FB?NnqIK=swbzvHRt ze1}g)9)e?m;c$Dpw}cBaOz_E);}k+_1|7`5y?-L=G;;l_g>YO+N#+@aBIn8G=f|(i zLl4M76djHRHE3=QPgVA+#U}4#az;3RZsMRh85C~R%#Q%ADpzFdwWHn;5!a>@p*Fx6 zRpMn~q!Wyqnc@(vt+u9nFQlg1tfyJp5?S2_4pA}iUjk&ZygDYP29J<8L_x-%S;ffc z4Z8lIz*nLUi3=gNY<-X~!tm|o$;sAQzOodJWX;5=s7qS<_7BmCYf>9L3O^Abcw=0@{y|S~5BXK45G^D<|P+Vy8 z;W1S}%BmGiEAjf_CtH1qh8DUFeq`7=lc(&Xz1mt7&5n?-xp~^KtQScUjuXs$hlK1ckf+()UV`;Z|tFED8y4Ttw zE?MC?RyvzN!Pq7S_)S03SkRdkrJWQ+KcUhJD{6*5IwSPbd_zqW*Ly|0WX zv{`e{%i(rl)7#y@J>f`!h*_JFk+BU-=IzsSXZZN?c2hCkN;N1F=HG&?j!dxKOd$u? z2A??(lCU?tTbGXpx0YfQBQJgdc)k8wf@3L@+hV$Z^cIAOl)?{dc%I}9FHz6sw+oF| zXmrru0}MH53GQ^s5Wqe7|=b-s;rRfW*KaNET+h=k5iLsPmy0IAY@lU}5VNEE3;=pdpI1f_^lLKO&I2pF1FMZ`iV zB8U;B34~sxDM<3Z#M#-|eQ)Q@dpo~9f8>7me)rsa&iPJH{5dmy`eU5OKp+skp@EJi z2t@j7Gb#Jwv zA9sBGxTITb+_C%-q|VR)q}ut_G3KW_-!wagA4}iY zMo#2QK$xEDD7O0ufaAFZBnDEYph5w0{>EQvsQK@!Ad7!d>p02}Yz(aPCiF4OhVZ&2 z#*aZ;orr8tx^;XZ)sD@Gg~1aG#vPZ)>vAycYNWZr7B%$8UZ3>j$b!1 zmByYvKR^8Jko%Spohgd~^7B>_9)tFP3m+i%+_3S?r}F0Y?bFK|dvQ`9nx18}79Ijl zXoC2r1f$aOit5@Ftl~*q>dJ%3>o9pqd02LNK@0}Z%tw+GH)T1AOcuxEyrWWm?H@b} zV?+8s9mL_58y9)D3eSe4(oP;@?sTo_K%si=oG#OgGw3P0M)l&B85UW#3hzGbF=D<= zJ4N5zjl;c-GkkMil4Hu96}&ktKCe5n7;Kv*VgkmLZ*8T>btP#v893u`-bqJ}w#|o| zUM!C9MEc)6nTf(*mK2gyJT|40FzOCZud3BN%~=@X;8`fmpHm%hx&=zjcc$P+qt8o!Y zg;BiAFCJ`l{E!IJjg-aw=%Rd&!8q2CA{g%NIBB~O1IYA6ON94J<}~+?wSp5Z-e^Z} zS-MYc)q4ESf)F;hLiBuhVBp# z@eiw$^wi;vW!WTO#3R;j`Mur4N@~L|ak0jWXPd*nAw)GZYBaHL6i_p;4G66Dt# zS-B1}@$Eu}YpAN!1YAPgZ2_kdlMECp(c;HMlGaZS=O*S~;c$9}>I&FfxrojgFJ(Ei zL7RLUeu)LlLkterzVhfnJDnb7bNCr+V=>}ZmRt{RdBrT%Y;Q?0KK%LhLPCXJU%JaW z$+G|vczZN~KIS7?Dr;9i&J*@o=^8Wfc9mYF{3jGytu3~{GpDC0lw!rEp1M3mbH0=( zaUBd%v?Qrg*>}rIn=CT{!1IFR0nht)A55bq0Ac!_W0rS9PRwqZuPR3#t~8qgyIl)0 zOr5J;23+enIyl*P|NS|6e0MXmlIF+rO7Mo_`)p5Eb<7|oo+YT2D}^EAd{4ikO)$;* z1SRwX!ky!5{R<-_fd>77YH{e?HTjF{@p*o!*DDAqR((6%gC1ogcM6antKlkcdQweQNZt%3`x0|lI*t)y1(b0=GUaMVYC^vB;Pdh6kB2nZm_-LoN%P#leHO$DJ`hyoS{$qCmY43gV z>e}I*(opn>*_9kn#xO=G-=>~Y8z<3UnpAJqd)VOp8q6-{TZFxaDp$6rLIb%8K{67L;J&V)f} z_`y7+b8FvU6v5s2P^|J+VZm32Oo}fA44KR(dKJONk{i4Xz-zgT@^t5IIpwWHPsit# zbH`_uf1D~qy*Yo2i>cGKPp;5@sVbTp(0fe-;KYAxxOW)&MK*v8#EeZNnRmPI1A*u2 zmEjb~c&MhYukY$uRgQB){0Y*@GXS)lZYxe|GByueu2*%*C>hC}}b(O#b)_H2@&V@ATt1S;W>lAoU+ZPOErTyG}g$>62f z!@>;i$j-^l%~gA(^yeu4BX0ieI}RW4T5EMpP0f1mL5@cPEpj&cw1k8N&i8W)#O1RZ z41i6ZKG~NvooehJa5#L&WIFiaoly%26YwQzwEnW8h;}NQ9j&ma7NicQMJ7R{Ql_(v z2BWf9F9iR0z_n@hz=x ze>mcmdQ-t3KR}yc{CbpdVmcZ*RuQ*~YG_e5lh>8$j2gCE#C_EL){N%G^7f~=R7TF1 z8v0aRCCL!73fbH|cNdN2MP=ZOQt5hG4u-DIT`MBjR2HeGj6Bm&_~XSf08La=!JcfVdSQRp3LxMVQs z(Q+K%WWof0u9k|%%Qp9qwF zH2i-XYNq&G$4L9MbV_8E+C|*im@v23-rb9~@>9Buy7)zWYMg^)+BTNN)L2A54iNYM zHjvGg9HIVpRkiIDi@cQmgXOX{L~-= zcN(ysP$yu0;HHkDC&Tc8pQllu1@RR?JuhEpuDR1k`>SKRiw%|4nB0ZW_y5J*xk?TxxT! zH@gBEwy9wNeLP{;`3}R|uRc6cRzaQcw#Z* z^$G>Dz3XtW{HhB7KNbC5B#OS_`-{Ul0BY`HO=Mzf5Z5#{HJ@kN($h}Ok2{co&!3_w zEehh|;+1|dU;X$dp2NSH9obm_ZiIj7O!^aKT&=vUtZe?p3&2OyBS{i~?KI0j<>zmG zVigX+-g%1eZs|8O2f*v?U!kk@i@3SZR7PPbSX1ade?soQgNB{@bNoq&Uemoz>f~DztGNg?Z7Md3SGw$a9WZf3X_1DxH!6rPajVu(O%HX^@ z;UD2I3Y=mFnXA}fR;7GbPZ*I;|RWs=jzb=p(zOTRxHN@B6tC8qvn?A`? zrpzn1j;&BgyOmP7D?YWeXuQ2T!=cv{bVqKo?Z(k29${a7!G!gt>Z_aH1A@SHdMr~0 z#lA3dc;J`ttE2+#cYvp}-cm5SjS@lDMQuJ%lj)dXjy*zAc_1Q?HUFQ6*MIy4euj;I ziql-Yo#Ub?0NAUj_<^uKZ7d7K_=uB$Q>NZyWh29_l#5hucvm_Au>V<~T;n>DLxvzI zI#Z*Glt+Fp=mj#!t<|RhFho(bDUL8ZH#bK_3;##cr2YI0r$MS4oZ7j^iA=^NWL2)<%PnAOH${P;GkW^;oua0kOr3l|cR7)PCAz({ z=^^ewhQ6=_Wa!3vI`p0Kz;$3vuogMPCqFLP7>+;9g_U41%$;hpd44Ugeijyja{s-q zQ1zdW%QAYQX&+oKRQ@8i87OSd^zZsi#TSVPa)UA7u!NMPh&H{)D|{!AUtGR&2Mmt5 z2sZ2jHIJw{P(ixq5^hf@af8>wJ_f#i79E->;xqh+@$9MI@pffx=VYL;sp$x9_lrc0 z+)1PEj9DMFQ;kDMF3C?9y$1>1!r51WiREp=x73S#m(H|e#g`q%G~XD9A0 zQRio0*PeX$2uqdh+bp;)vd>FF{Mzw@9ecCntHz|o^gVZTk9)vr-+k4d1HX~v^`4Cw zefAw%)#mMnXGMk~`;lk!*KqgG0=U`!u9Jb!y@tH^WJ)b-uZJ{ln0tFqTEVU}h9dB9 zV)R4CtY2{E26{|#+OV|hy=ml*5F-}tXC1A!m`ylry1d9tog8p-q()C$YKKhWOwKdH z&5^RtmoPS{_hqqO%MD4lH!G9-e7Uh;LL~-;I?&7&zLyS`c}xaw zRNX2W?Di7#5i4Qh`{uOyC|;O`PngE^CF$#271c;tfS9HiddA(Xc)HB={j+#7C-Iv7 z!V2YXiDD&|wR&l%PG3o!cI4fku`!XTjV-S`u55Hn`6{O>D~YpyJ=*L`iM*438sA7^ zx)rTU?M#>33YD3iB~BpnF_l|;IMCeI02-t}CZas0m&|6Uertz5R=H1yj7!~aMWvw^ zbwA|3KCG4fD5<4))ow`*c*p!(L$mt{^Ha?$OU;H?)$?sm1>7F+{<3!Wtph?J?$>S& z(4&b-xkGlV0s*(AFHOAQZ zwUB6f17rM=zMHBZwK39&i5COZwJgW^(w%YijD*5Si&&wQ0GAT7&^uS z9$bG?CEv(zHWQz&=g6_KHj2JLK};kgat3Q5z`Bx-^hez|Frq;MV&R9yu5nCZ@XdqHRFZSM?-S z;QC16mFwH%8w|ew>a1M9_LmSF?jS*G#@Nj#iE^C-Q4C%mY2OW7i-q&MoZYoTmE>np zBMYp;Tn&qaMfpd*TYI06E_ZItBEEAHJWlZ7@m*o8swF1Ht2;cL(rhcjP12N1TV}9FCTr zL5Q8H5F4?=OZmvaA`IVDmwrWCinkvR3Q3gC$?!ol#;!)pd!Op!JR6F(Y*bQgkvExL zX(hw{!^{jqxR^(8T^G*V2~Fx#M2OL`Hon7o`*xA|&(M%ByhC!2nrx3-y4xzWG}i`OD|7 zAUSl;OY3c0Q>tae)gsJ_!fl&xPKPNzw4_0&Q5=8wW2vz>;`4Asn?Yc zr0*Wm3b0sEG8*-QrF}F1K!uzs**0u;GrgHTF|7|3f?>ZWEIoFcm7oE?v6+2=o~e3F z4SwUyV5n_>7?Rp@){Ecs&=N>1zy=S^RkE#8z%oIF^m}c-Fx*w~0!PEBwF2H}>3sHR zFbU7B2k|S3I;)+?#M{dsjQuQGSoHGsn)u1^S=N!1fe!W|LjP`;LH((FG&9CWmUK6 zscs)9)y0_YS<=0;p;tqWB;0x7du<~`AoIX=-*aYHsmU%9TT+t;ZtA_etR0rA>UUS` z>N~al^b`y)!c`wRw5y+sfByBE&F05rmowr|T~Mz&x&QJ{{4X9pd{f+uxx44CU(b!R z^Y?4!?Wx%L<5s(hXWUQBa4uJW6S+{EyBk3Qp7QCz57c8aJcRffKIB7?$43YVLN7zV z3%Nu8XD`04b=ra3g~!CFr*~3elx_q_*VJ^Ys;Om2`BDps)2`j4_RbB~?~sn0-0vFa zv2+t}_iuW? zCysS&!?8X@ykP8*ROPJiS8CFjW@7I>bHtZOZ`ifJ>%C%CX^cVd{P8Rb#BOb1CpUr| zIuo!1;SJ#3gZ#|3X{f7XCn&UX zD%R3NLPMR0!ZaRd9gE8uprjVqmi@q5Yq52pDkTn!rww<$N`uEpDOtt;ez}*Ep-nV< z$HvC4-?-6IU`_Tj($CRgV`KaJ?c1dx2XU9l#&?F5gATJ2bcip1T$6xfY4_KfnkGMr zgRi2aGbO#(Qsd*LI5;>M_)P*fu=w=!^jEK5wS4Dwk(YmJQ#^F+0a{{`1fI0o+FD|f z{eXaF+l4?DjJ_gHg;PEAmX%fJ*V{&Qm>C=>L;AU z!s6m`Ha0fYgOgKIEE-}ZvIv-!z6Wxz_8?MM>3jM2An_UhSpNHr{-h`V=fB9$Ot>#4 z_52uDbL#Cx0ksC-4h!R(I`b{V;5chS*(bidJaZ(Q5%K-; zzw7RZurTwf&iu8-9G|S)i8AIt`|j`e^t|!X`9-=++oi08)kQ}UR{zSk zeN6I-xHA_fp6sd5S#Q~(u}=KG+|RDv69|}?m|&B)DTK@G>PA~wSZLQ_JQh-yrpUO2 zgwu7e`J~}@DnxL%KHN`}XHGmD<5(|xs`UuXz^!2B?kn0$_xvq`6+(0sak|{5L~A^o z{Pj83hsI1zp9kc5^*$ZH|NC&cnhQ81A}Oh_Oe`K4CWo{%HpV}E*ml#dSXT_b@4&%> z4?I6Tdi1DdZ9HQ!0>5z$jt0JGpC)uY`Zf9alp(Bfy*zO_=E3bF^9mtBZWC&HOyqv& ztGjUgGR#VTWj!9Nn>&a@(FLQS-V0xu*X}75t=}`1{boil%o3ZOnW>7$Zu$*`g@s*L zP_Pulu(4g^j>xDwHMX+iwm3!BSYMu*xy2=EP-xQg&zC(sN`9iD$pwUCwSP2?-^SL#5a=#-CBYN}Aa@=J6pr-bfU5qs z!shJm?#>`=6Kzr#nLImCT|4GvQT2@WSzw@=yL+)r5M$cSC?Sdw9{n=S%Ey#MiRG?D z`vJn(Xj7ucbnyt_memh6;824L6G}LI($Y`O>*31dllrB%Sy*A#*G3c zz18hisc(L3q2Q2b(w7ymE56&3C@ZX{L2~FB*J)&59}SaOsEM^(PBU$o=~+7Q{}mkl zg1X<_==bj2!KIximnak1-1qT;p!?iCD7YAhEkfXlu<-D<@!qY?^)s4+2+}`rQBUgj z?U(8~`dQV?o;P4@oIiK&mW@rezFR*H(Tr&!JCJ>x ziJt$CX;^d5`)n`!K#i-we9+l&6pJ~M4Fm;+u;k?A^sFp3b#-;SZv(UE&YY1Z7uwo7 zz5!lh28i|Y{1L=g(R6{=`5)QEJwZW1F}EM_E|cwVTQf8=N=mdNbRC|~&Cj>ueYUAu zzdJZ@%!JU7kQ(}5FjD#Zxw4AJ1ii~V!ytm6R+(4I3;Z1hUXO-0@n+}bL?o$?JRbP| zT~$SeXtC8(?#TxIHr6D|()!-0I?riL`Q~fh%RFU2{OX}#UyMI_YM&|_Y;%gsGq*Co znoXV?r^2m4G<1yU4Pj;b59r60iL-~GtG3ti+ZoIf9=n$>MO@HIn4GlA(kWDQ?Qu7i zbKbo(ysW3>MYx2Pwe_THW zmyW8ocDgw+g#)n9h!F6ycZT#<+TUriolm}5O+znP>SX+JeiO5qo^qIh5h;o>>4Ss! z0-40y1{HQ7C-40=;v%n1G@LSxb(e8=c4oj}%g!oBrzRz_!Z|uVd;Xk%<2r)u3!GKz za}bO9+R&hZ#bPt6l~q*oO&em589mrTscdg=pY(MX5>Gt-|0051IWT~W!)n9SJ><#- zQ(gYlquCkkvUnh~gf`5q&OGx_h7%_$_2@v$$;cUQwCUKQbsc7`6)EXmA`{4v?9YPL z6nC9I>DF7x0wa@#Vs65%N2V2ZQ`3iqTA z4i4Ip4kA)5V?QW#0WKm1%tNM2Cb-c#;ki8By0JPR788>t>Nq?K=-!`7gZQS>Hpkk3 zfWnqNA!OCanNyZfQX&>e&v!-X((J?RlJWE9vxF0o;;z|Lj3V(vwGsXq`UsMsC}*gv zshLWr?{;};XlT5` zL!|N!j_u6Wu_?X=IAtwa;5edqGg2T;`q~bpF|56ZAGwp^{S$0LK)94@jpW$TkM*hx7{Q=C6EsH4WXFfrLfhUMU6%nu zAT$RFTJ}|Bq=h9^O0*4JxZAbYT0DT9_?tvE3YJKLd#62m^qjD;2EgT&D3-#G$>%&3 zja|i#mHN~O^3p^+0H+wkuoNaNB$QrMq)EgnX}Gu)B&FCsWDvA?C1l%^Igx{}s2kdO z-xu&)(5&&~COnUWp5R7Y4VmKA$79R0E7mL)N1LQ4NIBc}tHRw*MAv$bKclki9F=Yz zxyEAHjUpfy%pkw*2p^aT)R%tvZY|(2X@F23efRfPIA>S(zoRA4($a<`0r(fv&%jjq z@!qzx*bxUHu?TfG0poM&S>eZ_@s)flzWSWF%D16ZW5SzGVoZiwKt8bDxZyan6Te#= zd`;|R!!qOAV~dj={BGim<3MZET8sOOibPslTJjF>2_&-=$?oSdyW2KYWV zW8>uJ=4S0WgHo5QE}O!~hmN0?pIeXen_ip9AvO4HIc`GbQ7;aC8JTda+*P;Tlo^V7 zlsSg`7mW9)GQDkQo;-eIh$rmj%eS7>#j+#OjzLsRVo4hM?$>D86#Pl>6XA!YG>9!suKHUg? zPJ7}+2FunDe=!(~YAPy;+pBTgP2a1YFSZ*6J6}gZ^$gkY5G&n;$CVyk;7Gh3bxq!D8V~W z^?(R2os`QD_Lz5VUD#E4ICt40a?Q(1S80j7MRSs^_;TiwCILGu9c zl8k+#0bI4sCv3~!PLT_1Cl<$}9qXHZ^j8Yr{rtqPZ7)n{DCUgxbOGb9N5K?O;Eqs0 zwVQ^4H?5ZfF@#OwC<_bAZ_glxKNjOt@%8K11#<6}da27)GmNI>7;#sN{!fqA;MwNg z`RHdy+7A~!z!6Yr)sX=BGXV|(C3d&TjT-^jg+vx}ARQjFRdkiwtO(L{A&J*Tgi#Ed zv(qcnXM3xxfgbU7*~bxJThza2b88u|AuTQad=|J~7^lWKfC06_uTzYt4;_&|3P8NB z&){<`bIR2_Iy!zY(86A<4j59+E3*UQ$(rzxUQY4$03Ut6J`&>^%W6K+mIYqq!suHR z4fsvI?UQzgBF2ynH{i!Qn=rwk)H>xe>ff@Ee0T=GT@l16ngHxl&ug{{+_pm+*6@b? zr~GH8JKr`f~zaH%KfqqJHnuhMu&iGoK50oMkl*XSL#4@uzx8t;6n5ZDi!c{%>m>*#*!mYCKKb_ zrp3kVD#GZo)L~kwd=g5BJBc?tHMQ}@DQUlDu3C%P72z4c5fw{U`kAg`75KheV4(<@ zHOAMc?gxCSa-sJu*T4DZ;x#x>tew@D7pJs~?B05SXL&pyj*G3m!gr#EJx&#@5mZc| zym`6T2QRrgNCWP7DgVSS z^r642UW%OswW1w!hFQ|92<%nxN-OnI!uDv2cWKqjp|qQeP%pV|C9ezx?v}9=i9fi1 zOd3=1wD95%imf1 zNPP@Y7~*R_BXq_kB_%1Ma z`OvdzN^z3fg*GwIo;_QD0vW%*mznpLDA)yt0s$vZoKVx%%`7XsWNd262_qK#vUE5v zbg0&Ce}B#+0M;?;6hWbqj3e|?ShiQHJ=UiRDOITvDK~n`f#zoA*0#3uz!5}-XWd@G z90vp|jP!w$7zdZ(MQy8-(5LO`!QmIQn)|hNvxBzvej3@h-3R|#S-q%Pe=-GUnT!;p9Mda zJWe^Vw&o#ku~?%IYA-!4ZMDsq?t*4Kya;4=bct+BdQ5pjyR1B2;_h9>@uo9*#!4Akps$M(Pil2RP2>k5-of=M^z zR+i4{0@8#ep~p9#k<*5HBoir7HV4vzq<#(|>CiRjvS(yjuW8=;?=%^=LzN_(M&f+3 zCnqQS+TBNDa3EJuX3Lab^*7qpYuUX({7=L`>x$uNc5;bx#@yW8;G)L^qd1?fV(1jX zJ3ssW<}*?n6_T^SGUC#FC#6$hb=%xLE#+nusuq4@ODL9uq+^vQ8Tga~kImlL@S5r_ z)qs@a79?2Q#e+ZTIo1iDHGoj|6hBs84_*Wl3#awL#C&6A7Sy};`@4_s8X2kS>u0|_ zBWpoSxfzlKx3?EF?*VTpS)VRNi6Skh`j;`MNU!6lTRAFfB>$(nAFWvMwVBf90Ck-R z%Mjs>j{hyB__iVn0C+=GQw?VnxOL1(5huMUsj#2Bnj`!G22@5P8&hUF@!OD(_|U-o zOv#lIkMByWZXyt%`f{ha2Nx}insRV2ebyoq26ixs=;DkhE1tAofn>ELuc)2As#GaR zdYfa!W&+H{?IDCAt*K%&K2HIYHXrtV7dAweH zrUm#4IFrc$CQQIf{bBOcKzLG8QtnCLi^Lm2(hB?x&@U_^0tc>IG7gvV?%gerd7WkMjv1?HCWlfq zpDiy+Mv+_F3rgEbettVQ2UxZnLByE$(IQAAA4ITud8+yO`M`<}1i4>gHokYyY<+1e zYuMD-I1Qxl?Ck8v_pe{4MD#Cuh~w`d$fs|{CBERC$SVVz*9ll2Z{=KRuK`mjEHbk5 zuGQ+?(6iuR4HFZSFV25498pnF9CQkeYAo^aKw)cVptWhE7ktH7ZwTGQ1c z1uerNZIn(wb(Zj!S)$}o-ee6Gi8+F`I9jn-w?2i8RS0?Yr+5{)yRajhhHN$V8GMn# zq9@jcf&TXM{lf$T;h2By2?mB&FYLw*=xcKqT2z$G$C{JZs(7$(<3LWIA|3uU9?`D= zuaZb{PZDn+X+Vrqmy9zAar&&2Gd|u;7Z4BwpFPlJnXwKLSOxkvJ@{hH9?!h_tR zT=sZN;=Sr=JPDFMM3>Tng3GO~`Aqu3F;c?Jgnw3(ow~!o|9~c@=zGmxgVbCFbl;>M z6Qm|Se7oxKUFt-ZgCE61Hn5x!IGx4%_{O&X76{|cVz>Wzq6ecjUz+ToDKpU3WvppNaSK-!%Ljbq`2V#v ziodcJ@}I6|{2yMEP$_bFpIKAFHPlT)-3Z7{VTs{en*+F^+GTF`yVG|g@$>Z51CS?X z>6dH6HUtsc#qSikz1{7rF_@*OgdB(UhJZWCz-Fl+&Tnr|{r>$fn2#Ld;yRGWpTBTH z6*37htGb3S0@IBp1TkeWiMxCmn7vvACGx4kj6NbfJiVX*UF`VC7hIhP3e>u{qP)&{ zYmJ1rXi2@T4MrAZtf$q^BS;Lv*kS0O+^0w(Yi(T1U(GVOL}SDgx+>j8@ZL(9a)GoXJ;PGGj9L7? zjX*#YwG!-6q#NL|A7{UQy$*)#wLEl*0{{B{uz`(2?gfRv*yS>R*5&8;`H6RoK^_J* zN&Fp8si~f0p2VRAQB=8v#zRWCxjJ^)$Effjp9~F>U4q&Spb2^W~7(mZvF)Q4>*%~Y1saQM-(zfkQGKhjB z|HL%@2M+uHkd*xE#R&tL@W9%XAX;J&vU<%7?s+STB>N6+uv)i&O$|gbV4uN&Ch|92 zO2ox_T=&_WFc37YkN$Fu5|N?@vQHq$(9+SNE*m%s*Oins3=Q9&KYu>YeSTPd9u|!7 z6EUtmO#{K0Y%rQQI5`y@N9tQa0XY5WySyt0L41Sw|5bV^=mR19c*h4Em`sNmA?A1u z20J)j-M9Je_3yW<+&^R z6>ml+cW+LAoEQv1x8&p?Y6!vH;W$;#7C~%+U4y;;<3UUj;yql27l>8Sgx`ABDR-OH z+ielW71M6BEcYz5_V^obb#yDKKa4zO!^ccVhl`Ai6dLhyw3**{{P^*U2|E!+hsUSR zMfv1!?wCmOyg7ctiwTQGq*n6t>%v)Kp`kweFagF{NMt>eaBq0hRNhopFCfj6H#rLL$LbPTi_m^Y}aK|w(Q4cY{9cW`+f=5R7(eQ2Q7tiaQXYEW=a z&FiB@L7fo6_H-uR6wWVZr$il5L#^;8g>ew_v2Ne@qX8_sEn#AkV$u+s1sUm7FW!Kp z@0rEyy>J^cNc9k>l^=!@8$T*N=Iex^ns6)|eS1+V^8New8x>%DTrs)yi);w+VLS^{ z_}?v3+Kcc0^PC>*?3@p>TN0jy1<(hNm45#R20=&aI?1?yMVzCWdL(14z*qrak_e8! zc=7dlcsp1xD1-U9Dk>`433axcQwUdHF6OoJ4!u6=P*(a=lVGK$q|3Duv$;TA8&mRG z%W^!O%T;)X3}#Xm_*6PM_^pzB&t)6b2zo~dIBo=fWu7Q3HdU7lh3jNeV>TK)K?ge5 z36eCybbDgg`jQkY3CExXHe9lx^SG)dYyq^vGD>FL#vpqeq;%2~U?}ZL4~|~ik`yH4 zeelk!LlHW=_EO~m-#)FHB|0@l1V776&%TPb4NOi$Z^+%+TGCXqzz}Gj^C&-(eQEAW zhfKE%*;*Z(okd7DwJ=+=!C4U9v3*jD`T&+IxD)7V+-jTq%l2>@f)M;{P3gyn-fyi` zWA;>oyOpWHUHsXj{}G*boevE3%=^3cYP0xk*xOA45y*q!A`={tCoNW2Jl7#O+N@!? zc<+gtfdLDnxLu#Gpk1GoC0J`m(mEb4Ev3Ebohc*)v)H29oZjgGG8xx^+3tel_y9|h zi^t}3iiaapx4d&RmzL90QV0wpcJcYfwc&m3895aeAVeC$-3_{0LjZ?EQzhlbdtfnE zn|*sRD{Z_%Ed|k)Ekdxm@h9A(bpt3!D&*GS=1JLELA}7LrN?r&>lx(_`=_Q<)YZe` zCbYdCfl*7$NhVE9ZTL}|+r~w5=@i_k4rU>};!rt#JH;LzIN27T1&yQU+^WVkjEC@% zEA|XSexU|Hz<66$R9lWgPNHn^IOMvW?+hQTEzj@-SJTuqpP5b!mQ;qlLDcM1;3;3w z8IiHju~~S2x}FuKH;P_UMj!OcJt$bjJ3s~M)H#=SkN1?9f^{aIbE^`{6dDay2@B|T zD!hun4-AkuhO^C}pyiwEW5iLj3CxR%+GvucZJgxhf(p7P6(wxj1}3dDKr;xlQ81{? z-tz^@OicmSwV{b*#|Kl((Z;v%EC6pJ)U&i{Hy(&+qxm@8LV=*LGI?%v+KpZ?F4GmY z>|hH7mcbf_H*D)S3s##F%DvZ8epgkHn1iYkPbLsAd#4O>v*HSi0|k~4GM5*`t1z)WO*5W{^TN_noge9OHcu{s!vF83`w zH`w?to?~-~m|v(Ad};0p97_%)5nQJiW4JrX?C>k#hSNa+pOFn}VT;gBfPG;3W`nJ{ zh!SNvxyH2%RdfcUt0Qs2a&@MDa@Mu`jiMr{RaDj0 z3+Qt)Gp*)JU#Tc7Yu8y@S+ziqJhEcn+OvQ2zy1xc1Ydvzr;uLDU3voyEF$cIqGbjpjGBXDL(F#t%xvS@ zvUG5;MQ08Gj1nWrJdb*14~sUXLamy-5HNV*_*>4nNB{D@yh0^(U7J=z_btRI2Eb(0 zz!1+jYdQ_FVz=8sV2Xhv&cZgwrey3anli#M<165z zCPyWeAaM<*b#a(p2EMxw1!2(@^>RKgyN8E`X`!eM;C>={dnm#{TLq_>k75@jZ(ZoV zLc-RA3l}oHz0pMxfXttTwqv?#&02bTaiM6$Kk?HHe*s|P7zCVc($o_7(9e}X*oE3W zT9BFws$s7}82~K57lbIw5&*94$&oXekp1EmHWXtfx7KHDXC;kP$PWI-TIwqa5c1^F kjr_y<{eMVL*SGad)7@(id%uSN8v>EPrg$~`${oM|0vv{V^Z)<= literal 7334 zcmcgxcU)6jw$25Ws2GB%2!arr0#^uxB1rF@OGoNOB$UvkC=iNBlp<9@2%spTg(`y5 zMFWaLLIf#>B8J{O(&3$O=iV9T&AgfUy?5XGBWs^^_TE`%oo}ypqJJ^aJaLTu7zhM9 zp{=E63hr_@%x1*M^J_r;f00P|xCT{_v z+mj%WKO6*_{uKn0O#^{gy)$c#Lvi#75wX!B1OXoni9GF=lRdoSgV6 z5a?W~wwkhOK;PUT%FlGHp=HUQz>h%*D1o6dkc&J8AJoN8LbM7kUv|G@PNKK+ghg5jzV9em?f^wKmWB6$SpXkNM zpD1@h(rW_ICLi5>mc5Z#8d&AU7&hM~#rlG%R<5>@IG+$SYdq+JM4F}Q zK9E%p#@E~O7bA>jq4P_duj7NSk348Ijabxn{r>7@;Pm;ui0H?zG7Oe3*=exMT>H@N zOF34UUC9oj0;*)9i6OR|>niQm>WqJdy|yq>Xlp9gizuLXAnJY@X|i9= zJW}yVtz2azyt1u$*?nxb9ILZ!G1*}R!zjNjkU(VMsnjycD6AFm7nRTI%8>A%0l;rVfB!;pARP7a(#-$k}PyA;tJx`F5Bm4U@2MM{KM+31yLyi zG0X&%-(4)$EFn?+l_eixsGHm7=~rgaT4U+*PBk%=0QHjm?OccNmoU0rBqDL##ijXv zY0oM1^ottc3vSt1>|twNtBp&TGGV7GEaiIK{eTYm;71*ncVH@`EfQ%iskYmKpUcz2 zFd$Zwv1Zq&rlMHKToeuz6P=MjRMfa_c?MdXD2i8dVM(z?-c0D5gM^X7Pc^(b*ko^9 z&G%lmSuSd zdDc*fnqI#nCRlXUIr}V6@n7ZX2A%2T-f9I~xBbo6A-_Hy)sa$&{ zq(;%OnTsQ@MC@NHtmfOcrG|0rF{1bR5Gp?QPK~ql2|D|XoO7taE-&WR+Jes_2*h@D zXAhRMc71rZ_?fRTWt#!x7c8H%?O|B!$;6qWRmSBpdcV^JQPHU7OM>*wew3?x&=97i z)nej;%M$KF_*p(ZugQfjsqAuh)*Lg#p2kn{UgtI8g zdC5P&UWdhoEWY=&UelWUQid-4EOIWlhbx1kp6-F{u?T#Bu;@csFR7SE_panE92dns zi|=t|A5mkP`c-ym@tbtI%j(G~CZzeGU6E>3MI23+6QY$J2^7&Wrop&zD_5O|S)xD7 zX%7K%pcYJ-F8n>d{K%F<8CmwT+Y7TV^EX?mO{1*cU^@ zFMz4LzCpZJS6mCf4)hv_Nupm?u_o_=?5}HEZ>BmQ?ES_~YD=u5rE4y~w%t9h zvX}U^XhfL0kkdkXlIkf{Vbt0eG%EOg?0@*~<*gM?++$ILI)W ziNLtCL3buH7%zAGeh_pHgiJ{dpqdvwpLmHER81tBFa$xS6uMB&fii$(<2o6Z|9DDf zw7LGQjlnKjLI4x7of70fZbOC%hOMxRHC9bz#B$BaTwnZ|4D)yt6leKuJ@}!$&9Dq# z<0oIO7Iiz`y{?Zd`kpdFz8}=310XU~COh6URV%>{*(QP@Y?2+mT4h7PGD_EqzCaa9 z54_U8!XZA)Pln;m?0C)5`xCRid1y$@h71{oeX_s5sz_c8emIPhkBklJ^wnxVQ^uT8 zi+=sl(E<&@*1z%98uGW}eLXq3DbOae#^Hl{~YLU)^`q{;hSa5{Xy^PsQ$<0BQtB> zqMGML%9R3Io$`OoFev3(3%2mdD9Q1_c!VSH#v(WjHD6(n%PgIM@VML0f zQuV^G!FkJGk#IXsdP0CdBY31+j62q%6rgV&?IQf@Xbsj=r%o}V zO!r}oRk-H4i{NNldO<@Z7{kp+%QBQ{=?3%;4Xc28fviIbd;nP}4W@L|TLaJM4?8^G z<(o)VIy=!mZ+)^SYREhEDCUO9Lj5A{XxQk^$$zm23>?iaN>IRV0>oN>SVbqMRkW2% zCUbrB(gQQB3tyrU1B_qYtStG_qelwxsD2|JPfca51AYEnrYC_>z4s^uAhYnq2RL~r zfXHK#0+@#M&0q!l$W$dQ?T-0&g)DM!-tj7&+CcoB!~+BUpRqJ8u>D@B`9p=z-@_A? zCc#t{!Q8uk29n^T7z3!MTiy+OQ~5y~@@?SWA?jLdiFieu`{ zlXTPxW6H`cgX)C{UM66lvxXQi!H`%!Nl`jj_@|=;R{pijHSZ^@Ds!s4=u@0i$Dzgq z^W9HL!u~!(IqKD>>`utj`7?L=BHL%}0;=m2=wbZsW{3ovLW}R(R+yq(NhA`H+%$Lb z#+7M0s+4O5mV#&n0XrWi6h5*-BBktVxcQ*9N-k9e>yQe=ew4_8`j7m7>8UQ~^lOy{ z?#e2=WUTN_J+M8ZLig+(2FWFAS958W2Ki8YDh-VXApDVK+S38(`OhHh5Id7HzrMY@ zm#R#AcMo?%8yj_d-($SBJmF^mh;q%uI4-p1I`@{`+p{bcR(TY z7FGb&GGLNVnKc*#!>u=0fAK z{rc)*8hJ$kI>_UWA3JvJ-kOUZm^^K54A3$^SWvLg#vB-mJA(e4Q}8R;qH3BEK!z#? zz2nAkFmOBsFkOrxo*zKd361LYk7e;IpB3CbPhW+e1fPrb&akrGRC#wJ*zz64YVrKR zqz!eH_SN3T?r%&PrCe9}2+y1}ffw#=&sk%f)#ke)PuRI5=@$X^Fqucx9fOn&;Bbv3yTtok(AYsF?o5_Hy23`d%hWzP_5EYcW4IJjM(*PR#2HO_a zx9j{o0FaVS0H^ua!(c&~J`Tns5%=5wGrd+h*BU)`9Q@r+sAONRDz$(Y_Xl(H#Yhug zQ#IFri0nv!g7g!Z#Ce@hi%x|4YFjKi3jrbzc^YXJnI z@GxhJxYIs$q+;t4$CNPCcsP_lc>Y6*>?@CxyaVET>^sOW^aJrHt8h2es~hTq4b|l6 zROlRRnB$Fm%;|x!!bX_>E+hs(Y7k~4DtWY<;XoNKGY@&19?S9$em`3L$E!?_e;qac z&e=a_=Hak1H#dL9ib>`JuhTLDlDjF`&~tocGx)VJfO_tM!H*Lwo1LGl|DS#HPX{M* ze*Y8@H^7Zp3sY0m)d(p7OpWt*X><-qQNq24IBDZ1>l;^eXldS2Af5t7__LXVT7C|2 zCig#<-A;T!N1Zp>0fKGFeIVr>82A;4w&s8sDD%dFas8!;|7}{Q$Bt=YIpSdEM95tF zEs<^x_XcBzv@c{P!@*qXDR7H^md_`VLj1k_MAJPf0SBmEZ?PC`=ZT^Nv>p2do@%}H z5=g>ZN)6KRKi5e(Kn(yJ{hr3t%8V~hg<{B4>9@Au2f+qx=Qdx}T{@x~|C2*tW}Xit zc-_3&S*YdqVv*_+wpEOKAZ)QNU1vnu(!Yie|CwP;`SS9@lZF01mX`iNpxmH@p&=i? zj!0hHePhYZu^&5;$Wn!l`_h9r11>`oeLrB&$%*ci((00kC#pXCRLSfY9ypDS90_!P zpPavk3`MA@GYE~pi9VV0;20=bjh9$3=tXpzt{QyBa*|vRA|IKZxl$UIG3!+(VmkPT-3Rmj-}jXX9DUeAbERgWtxs9b$Qc@ zD-md^X*?FYYZv0iHT{6?@&LVXqzyY5MTk}6hJsf!Pk|57h2N-X%GxF`MkwhRZFHn9 zM#wx%>J1Tv0=E#Qkg)mhC_=(L#$$@Ld*h3^kGFsYN>6W1jwxoG7E3`lC3GS=LWCUY z!5@XU@ZCMBj?F;8Z{hH#ankJsdX^ZxafH}~#fLj~BNvN*n?>K{8&YP9Xy-jamCski;WIaZ*RGV^Zw=FIJX!ZT&(^15TR$dI_tY-MsqRhdb7*G#>et| z$~Brq7=caSbP*OOczO$(Ov}u$pL60-v+rj+H#Oti-O?+;6El85_o8@~8Cp1k3e^q4ZF5S~hY8IxwY@&Px_Y;v@r-mHI7vhcA^GrQnOfeBt_ z`6W2ZQa=fmd}hhUszSD>04XGiGDR=*^jyp(br{-_nmeb{bTXoFt5LW!NhU{2jAlMf zNO%~v_?vFuC`q^>lqCEpNh(|Q%ao3x6{fLBxmu|qE{cQOCfoDb!fT0S{|i3hi~hN@ zQizP=8^u?Wj{nhibnSWk;jl_Z!K`=%y312~#$faiHIKt-N5TRxYEX)7BSrD-+xCHx*Kr&p%_4ARi{^`r{@9bs?CJ?eiLn!|p=DG_lhVz0itd1`BMey92iCWt9fI;uEV#OolR=ADoDgF zA@ZgvaaQo9-)(r1P_J-RD^aA^bi!l`r-JAoP`f{}7m{%*8h$U;qn=q~0d3i05LKFI z{Fi{)zXmMDNtHZ_QzXdd4KwZ1O{Oj^_$j1tkR&QNNvj(5y-uAu+7~dqv13l>ylATT zl(S?P;W^S2c5h=ThsJ83#9XCivUWSn8ir%O_}R@X7Y5eDxA9*tI+eUEu@LTmSN2ov zG0n4WZBk#sxOMqr#|vr}CU{pMD9`7M+bW7PfN}ZDk2+hlj8}LjOv+2>b0K)QC05@! z_@f_mzJ^2|Gzr`DUkFK}^N(XXOahIJ$yb>sv_&u5r#w#8dCE;?C&2Q9-c!%C;H|;6$l1mqrpI~?RS+qZZX4+2_gDC%y z#YYaE-=s%EgK+si_iITR(q8H5e zW7)#swIDLY0x|GfH7)I?+88=zR8okuY);irTDelpR-6hVQJC_2_mMbw(2%P06U49*MOC>hFH3+X=pwMpdj*T#hPyVC&ZO`|4DB-=FXzDL`D+)fI>ai1c zpT~WuDfd|$39!)6lU7`0Bh$=Os2P!{kW4=L?T|dAGmqf2}Ps>5`@xS*O|K_mL zs%o9iQ2r8l(PTd2wS$(?FS zc7_f!S~$&Y{QgYOPngkC;PXc@9r&Z|+nxt!UO>3{EX+#i%tQ-WZX*AUt51Q zYudH&uo4(7p5gTW6-_Vi~dXm<4(o#FNXZFK{+Qk7rt{1?~wbD#hK diff --git a/stappl.opam b/stappl.opam index c2b9536..07e7894 100644 --- a/stappl.opam +++ b/stappl.opam @@ -39,4 +39,5 @@ dev-repo: "git+https://github.com/shapespeare/stappl.git" pin-depends: [ [ "owl.1.1" "git+https://github.com/owlbarn/owl#06943b0267e7e80dd0eba94ebf63ca4d25c71910" ] [ "pyml.20231101" "git+https://github.com/Zeta611/pyml#d62a7b9c2e3a856121c9cc850d71a11b00243b0c" ] + [ "stdcompat.19" "git+https://github.com/thierry-martinez/stdcompat#d53390d788027fe0a2282c4745eb3d1626341f99" ] ] diff --git a/stappl.opam.template b/stappl.opam.template index 1d1f037..58c23a5 100644 --- a/stappl.opam.template +++ b/stappl.opam.template @@ -1,4 +1,5 @@ pin-depends: [ [ "owl.1.1" "git+https://github.com/owlbarn/owl#06943b0267e7e80dd0eba94ebf63ca4d25c71910" ] [ "pyml.20231101" "git+https://github.com/Zeta611/pyml#d62a7b9c2e3a856121c9cc850d71a11b00243b0c" ] + [ "stdcompat.19" "git+https://github.com/thierry-martinez/stdcompat#d53390d788027fe0a2282c4745eb3d1626341f99" ] ]