diff --git a/examples/6_constraint_solve/main.exe b/examples/6_constraint_solve/main.exe new file mode 100644 index 0000000000000000000000000000000000000000..6c6966ab381560d5e532f865b648918c94b53cd9 GIT binary patch literal 59413 zcmeIb31D1Dl`dQ@spXcpZZC3_#3mhMCvvc5$(C)|v6*g5EqBMQC0ZOMI9#<_ttD=$ zJH6O)7DkEe;HD7>Ch!7e7(ZZmVVh?lfRhJ|oXrk|pqR}p1Ij{Z$AJ+Lf+u*;|DCG3 z_x9~8$yh&c{>T4v?W?Lfb?Tf`r%s((ZuPx&w~VlS##jOF$w|hJBc#j4|IYkp5ZMc_ zdUPRsxad1qAGi3wb9GBkZ`>J;MY>~wK4&n{-ycahJ3`J_vftU;@2qKPcJ@U&LuCsV z%v~i(H+mTBywA=?KlhLCWHH8;Ss9yP*Rpwed2eAWfwU9%T*k(iB6Lt87yS|OJRvtF ztqcje$}Jq2{Go-{i!mn$i?S5uM6@6aBJf5SJ60s3{BJvBM>(BIDW6U$X$wztRu141e!qsoBdEvD^;^n${6YHblz34N(*6)V zEip~xar;%!QdgP%szV&ZJM?O)H*H-Fl~kNQNrEyYuR&5vtjSKiivFwRe3wYwQ&o3M zq78*kAS+e;$p~X4GJWJc5*4QpKW+ceV`qB+@eVI2nh%Pv%>!I;85&3ceK#^|(t{a}?>Rh5 z1-1ZY)=w2A{Q)HP4_lu_%Xo*2zsrLKV+hhLWqpVzt^b{ZRLv?U@I%0_N!v0zP>~VT ztqOG;1S{rlb+@$Mw5Qp7&#Mm*>(NIRAn*>ipjhfhzxRI5o8B?N3)?-Y#o@0*i6L*g zU^O+rH@)KX)hP69Z#ru8r&nKf57e~CyY(sip-SLAl7VM;Pk!H<%1n6eU)<-n+XC3~v{ZIu$)Z^cFQoukdG2c@$ z`Y52R;_1n;%)<~Hy8X|^7)FZUKS)@`41Bz)yv+GUJnsYlIXRiRYdMtvZYUqbjuNqy z_4)k(B>=B@T98gIKc}enc<6Lu?a=d<#I@WIyhEcF`&S)FYdKE7$A0*?_?xnx zTMK=xutEzp!$C`3@Fm}gm-79o=QBUK0-E?Kn&bH}iT&ieb`MuiR{YdIy!J^Ol^5;l zP0zn7^KPJehocs6>bIFsBJN9pZ_NtSdFfT&)Cup<WzgB7hJzV-A3$tLWFzY7F(uy^O5eG)Mcr)~-U zsplq(uX-0_XEzgg1T?my@X11A=uIzJPLzIeIr8sBe(FT#bBK@V?J50Jh{|y9l-XuQ ziLYFkoE)K!MNY$I_GgoWfW)p%2nr9CCS)N}r{$B}vrga)@kl6VO^ zDpfvn0x_zB^VY{D6&F!~e>nt1Z@SKrc^^=`DbIQD(B0=*@~tqDhwny*8-v#&f(j8_ zsS%74cG`2^eVm%)QQRneBC|$?xj=K?Pm1g7>^Sf^t+vXezS- z&T8mxM_ytXYVr+?zL_>qI8LO`HlPBaTY`>k<9*;n=99=wd0tI>UgcH)Diyev*biHe zBMvPcMfB?;`VgX{B6v0~P#A6Etp**O#?hNcJbB!v( z5z3B2gdxv_MUwP`Wa|V8?Mt1a7MdUxlE6X2-YK!q4s$8abBXSmTA~Y6NOT<$`RC#s ziSAc<)Km7)(d}lEs9(iiL)gb8_K@c_%aG^11xBB5f8Te}EJL0PNL@hc%hX823-Sox z3FcHis#_&Dg$3uU0JjPFIEN#C9F-zRNY;02P6w9$*J7QLT<|_{1;P zedKM3ZGGH(64MvbR^l@6AHU~Ktr#YZp(o14`0+UW_ppDJbF#Q~fNGnd=yiy?Q%_75 zuR$dBI`Y2inM_8Yf+y1VmY!i-V`d2 zSqsvbG`F6aEFR{Bt$zjA>12f^tM+UCBx*cVm6s?y$(JBQZ{#JG4837VxHKZ~ zcqecF6_;aV_YQAbOu^QlCw}2g=hOT!5B&xc9e|R*&MuR=Ih!Mhz{>UZ%C%3(-v;fp zlD%V%%cu;OM598 zSB% z3E!`$8z_G}(qtn)ebML-ys1-Y)ogv8G9YOFqR|`N^kO$$&+FdQx4o$!_){nC@9Tnj zqqV*ZILv=&v}DAac6hgbFSgVVzv;p4w>*Zl{oWLmJ9NSVoYJkoP5v0&FXM(?ppAX0 zC+vrs1flyt$U9v5Rqu(H^Szb{f2!RnCd!!_tT)_g|El?XspLLh4tie82{3P>GAVy~ z$z<`C1gB^}^fEPN&8nK=#tTC){3&4@%D9Hc|25e$WW5U5mZ3>oe2we%lLhv}G$tIL zOgQXc^)Nv4j^x`9|2LvN^hBd{da3h6|8DW7Tde0%4%U}{KKA_3ug+JD!okz@#9z#| zVg@vSN$fZ0PI>b;oq(5dA9oQE2<$}3RaLMIZ>k=p_c$htk6`BlUgvN>+GMi$jTjJz z7u<zL&s5bS}nNW=~ixi{G|0oco}kJnT52Fd%!zfFo^p}Eb5`B@rle9G!B-d zBaq;v^-&v z(7*L%`_MsD%s;%}<{Nrqjz7JwhsX@y{ZQSS*L){l&95KseA#wxu2{eLhMuye>kHh+ z3y5XvjdY@eCQYTI9x>;wFT6~>jVxQsr~SJs1UXJD76TXeg6uHu?I_4O+JKr$Gm3;LEV1e zalnV(aM}<3J&(BThsP1YM}NM_|4z^E{USFg@&rP>b;Ke>);Pb8<}EiW2^K$Nil4 zS5WZ4mK`7D3EG3(@ehb5BcMr5k{OmX6A>D<+Bi_7wc|s;P4w>gFcsO3B4n$XTQo6_ zAj!obE<95!Izk&rqls_tcrOLlXyYn|IUyfkiU}EtKrplX4ZaK)3*#DIX)fTaMY7U| z-vM1`mHHksDn`%F0hGoUk;4UiMCAM$HmQ#fBA@H=BO?Dh$mhN9?Bj@OmS@*eUZ5ul^1C_ajbZiM=!5npY7ySN7DLBJ>Az+{fqFq`C{z-ubEBujPB;ezB51 zY4fhhq^d8Zb|dj;XJP~G+9V6P49O?GhhI-i7{4JzSV-k1*A{q^TZ5hW*{#K830N6Je66 zCa+S>bQ{`DnCXpB6WPaMJ4Mpgfp(ETMEk`UNikMA-{GAcCwa2%wT;_rqE^`IQ>v{# zPwm3({}cblCFALiC zL$uKmJ~s9ake5Nza@7fj9NkLG3qj>pEa4WSs2JZ=erfAUTFgjySjpgBD zmD9TAN-ThqSEjA!6%snJD6y}gm$t?LhZM_B zT00RV&ROiSo?g%kF!V=-emau*7+l)f1e7nwyPzA-KTcGP-m{gSfFvxBSB!SubFgGy z9(F5f=6=ssJbo#{GD`3}_bh2i_t#!g-u^ZBQcS}vCHAlR3Q?ssLuawlnV<3x`%jhD zq+RoUTgUvV69;VMCAU6zfVR*}{aa5ZUnI&|>jN=ubYgLx`2aTX;74o+_F+@^iRfDh~!^$!e<$E+rQRWh(E5Shfn*4YgkF*Z9}g>6H7k`O^lUxjgT(mV&p24HMzyBrT;LC;9hLe#S z8@)T|`9E!Kl*BIg-gB0xhKiVX9gp$c1HbaFIpGDc?PkO3d}L&D^(|dAH=bO5gABLH z@H!b@A;Y;cd?O_AUyhqp>p#VEI&?`nITF>>~ z!k9LHp@HY!);$E`N=N?IYoPA*H0jCJS8zV6Jx;EEAt>ZMEyKrT_$3*BLWUod;k`19 z$*@C)O)}gm!woWADZ|Aw%#-2oFzuvvctM7zW%!s3za+y?$nb+QyqAZ%{5MGbU0SG? zS9b|&R<&V*%XhqJ0}ee3dslvJ%JtAA@6t>syp{X-m1q?{vBI#n;jJ`nK9Tt-ya8<$ zmx}GO>w$<335?-*N}Ab$%*+`6s6FCr`XxO9AWcK)I$G`mZT%8Z+Dm@(x)cq}%|RZ! zh+aw0*+mQqWaMRMBA$ysTIMofjLY<#|?rqKkJ-xvmXEYRwIektX4+P8dva(9X z6CAv{b1tjcu%)aV|0=d^DK9TKCM%4|4aVd~W3tki+{8lN3Qi^_BEd*Fj#F=87L4?F z^>!y?s7_f~85@YiltfP~6p|TEuE=O4mWY#v0{xvlh=rV8k(e{!j0WQI-u)qGum|TH zLt$qkA}R;m$bM8Z(AgPtu8z-T9laE8lcLqaO8k97U=H|sl^-ic$#Yc z4L7Y}je%IAHxPD)Bk{O1(&dczcK7#o_2TSlFyt(4^fxp&b4o3d#I#r~8Wv+MJ!I1H zWH{l(QPxBx;*9qN!n}3qAZsX!OjHMkUD{e-qe{`*zpp=XK-P}St@H&FJ*aHynr$!w zGWON+($(E-ovXXoIGv^FHTwhM9Y~!6nd>ke$L zq(iic-ac4gpf{Y1g|-RL?S_?wQ1#VOC;G1wJ+QYg&>dPANAK&6^fRY(Pj4)d41{k? zhGGYKVaQGv3_I;Om+2DH?Y2YM4d&L9r)I?D%E4=~`Vb&tkF z$<7E=6pjP~#G4KR^X}$E8^#H+y0c6jZ)Pgj(VIX!-Vw^iSLIUAtE%ZnmrITEustVz zEN47Bw#SH{n`TYMe8!CFs(&!1+jG)`Ice8@M*M-4F&)iGvz&hA$Vr#vq|0;DE+hT& z9R7`~jrnYaF+DE(Hh<`o@|FxX-L{55Fb@eu9=|I(HWpm}aXe8b{ur7XE z__lSi(EjqZ&Yj6#bi9s(PMH0!o7UX~vxgDg2K!s%tSYN0D_6yOGyH350BcPPZaUNL zKzQ{c98E^N9N|IS^AR6J`01sLEk*no!qd1*5vMcxdBs>fA?`r926qqQ#$9)`eb_HWU#Qk-`L3jqsk7p>3(2nz^KSSJsa0vHHh>sxr2iy~gA4T{)?$;2X zKzM;}#MugjxY_Nv@qjZQcM0MSgiCQRN8E{U6>cZuw<`EpSf|9AO6cdBi6W{t5R5#Myer=HaH_bT|-RiMs%C%<0%iaIXT+ zQH1}D+XncX*Z(&fp#5h{frS<9lwk)#yN%f`OPH;EPJ3b0+E_4}H&!HZj-!34%){vW z&)_Eer7$=DCBQDodv;Y|mh6PTAq(G{$E+JH)C`=eOrYg${DkDxMmub*6Am0h_ad*D|WwYz53>FP7n28E%(h zn+&5ee2)x|%J5+sJ}bi)WXN#1f-aj3m&@=v8P>|MO@;y+^_S^E8IH*CK^cBlhL6hd z85xet@D&-Jmth_q9>X;44;tUvobs*Lm@rpOEP^yhD%{9bd}4{E5p4qOvq4RVGb$V`%SwL z8hO($gdP@HYC_>qB2nFfF>JzMYa)nU3wF5~ z=IdlDvY;*4*9&w4$T|q>55yDL;*4P4d79GA3G5;zqrU#Gh?||`kc06=sILY4E$(92aeV!cwR1CZgo?S&Ckk1X}*CDk(o6MF1MlalXIOu-}hCp&A$)p!Yp`y=l~X= zAn?EG-tB3s_xLw%DC>lZaV-U({}b-M`2JulA*3pWOw--5P~<=)+@-|gY7M9sfBma` zk!wn#4u^n`Up`I#a+!bS)cNeq>rD;3se%7vHGpkB_w zfh4{e<4wrlk_NCPthPUG%Q3b6ACq=Ku&o5gZ5jL#cDD=IQp9bRUG=Tb>WVGmxr}pN zUn1Eb+7XPzLK~0>#DYCL`thv2Kj2)~t^RL7mU?&fN7nUrVixaQ*VTc?KAm{bxh~w> z(H#r|g3Nd#5Zt#8kAG-FiK+VhvaQ$pFlnLl{i%LUl0QBw=xvFkccWaEatf&pfc(3hnU5B*~-pI%y!XPXm_ z;6McblkBHC86L1=#)llMoqMdIA*{syVov3;erE1h|(P;?L;hZPP_+GOsA1h zft8Bq?{LlvLD z<_hEqU_YQN?+dF);JGScO#Xv-2xQ?jv!VN0-U`c-yHVO|8{&V7lZJ5s1%Yz4W!X`l z`Dy<5{wx%%Bzj|b5}tRhAfpyNpk=HTh1HB`cOM#w0`~=OgSqGJHfQwqQ%0l6D8zE6 zBfJj}%31!V%ZMRb36K48pe1oo31WHJ8)5}_FMT`ZM50*Yb~Ec+7n1fUNozxE#e8Z6 zN>ZCxH)}~im~|UZT5St~lm8m(Rj70Z4u*TXdtecFEaOF$&Um7uHxOrqcV2cc(NgG; z!W~#KvBJAJgj+^UfwT+@VcgLlz;e3q?#n9yo~zSbX5mEV>Lf0=a2j*fB3D>Ss7zj- zRrC|yt#I(62d62}jpkgpj1*DOlL&NRjT!G@bJiC>f&y0CzvAz_58=JSoHmp*> z^0Q%80#;xTN5D#!vhoxwv?u#xkucW&3gxmn_Wfch$Wu0Z7@Hwnx+0ce0l92%pr!vE z5eLhE3Bg=A3oP5EtZ`;*vs^*h624#0_!p6}NUas+U_YVzAe&$GZ;o&wV~fdg6#d+O zH+0JulS+zyv4WIQu(&^heU$EgRy1Bjnzyn1)hM9T0&<*H7X8Hb1)`G_2W}KPCc=t- zb|ukZi$&^r>oz-+{kqTD6rvwSMK1Op0f8eu6MjKr~yK4K|)+4l2!Bu-~1EBe&} zAzK)~z$wb`M8V>CPj43n3%LBEvm9iTAdGMDZbh$f;QYmXI5s49CyLH3_&sPk1PBLO zSkbRJ(yGOsz56llv7+B_jMBw@k^ONfWnvChdpjlXK=QXd=~|2=mwK$iJ4hYT$3>l=`Tn1z=*#6hB%#j;=pm>uCDSukI~MwSlr^~sV} zQSyPM2eUwzk@g>4dWQxov=kEP=+byRB*mIz;hOst2PLrs!iQX$StK%#^GwNnu7Ew0 zQ$Xg<7rEmkE-^_&pl(<#I(N|mA>(UQlIonDXBTBCLnt)#n{k;D+!Xpu%fjB+^&PW zP>;2iE2sfGbtv4gTHqSW>M>@CLR%;&jH-$KzoLzn%U7aPML7i9o(zzc1R1at!wYpP ziNL;4zhY>$N+Hmo#K6lqr^4DSunysUnUBFi+K4gvF77o8SpJKMb0B#T4$Ncu=T#u} zbPh!E1&CX1w}Z&sUYc?X+u3Hh=6aq%PF7@)pO(4TTUHZ%881Lf2&ksB7am#;mPP-~ zQh4VwjE`*~*wR|>QJSm0o|;y_CmYu2Zffzl{YsN(mr~ef7;4OZ8IC9%UM= zJR??fquN87Mx>>37HP^XYs=bOR zP^cr+wnC=rx<w`Q?obMF!#)Yil1>)D=0pDBBRo=sKt zd)z3qPzN@)HhYyit|n&J!9?GW)6V+^O^~(8 zQ|mz^lV)~$>OHl-YM3LtOh@%sH%bdA(Sc1K2vpZl_9O$q?QLU(%t<>>J9nEfUEqkjGR_$-8VXKU=oh@v&4iSRZy8WO4x4v`gk+c`cSzw#;oS7tm}+f zwY5ziPa}Jq4)wIPC{^VftF{m;_=x(JX0}$(-UVxF5}vJDX(mmeqxso79fN?a^{Phw z4KOK~g0BwtS2i71b4vrPRz+KHL~C?c??&6m7NojsnB_*ymYW+reor$5BYMrO!kA66 zlq)-LRvOzHn%D+ClT5h@Lc`CJ1vD!y4ay!^`^FhiYMUDBI8x=5NYqZAre<{MX0}Pk z5YF6Ssvtc|?fG1XNldwgyMw(HY#>Kn*gG`f9FZVX5420cfeBG4p64EDRT zGNp_+a^JxG<{Yn2OgifHELkB^AFJ2F!l?ZXau{xA4SF7#Q(Lun*G|@G1foXe>_#0% z^$_+>evCEgIl}g2U%((l+0A;koT)&eH9kIuLht0XT67dqN#5+NRR^o>bfc{49zDy0 zkyY744c*$n)Hm>=@=&gPrkjdD83 z0bFdH=_Ijtf~A~JiwQ6nO&5D@-ZGME?f|H3i#9BTSkd))%ZR{bN+-^KC^*@mBye~@ z!7qzKiooyd3gHk5E4n#v!6!h&Y8$}cWikBPEr^{RZ5n-@weT~SqoVZr(n~l7k1n-)_JBW?;OS!fPC>I7GdfJ=^_ zb#+qE5>*zh*yULQX}~L_R2tw)2|&jX+?J#IEjo)8S@~L_x7h34&ASyYCKvH40pM|` z9o@82r*JiwnP;uEV`55dlxi4VGlrM9viyf&1$@=^O|&|=;mB9@v)0 z4n$u7OVk~<#e_vUn=5nj-Y)av`(u@gx#-`C>}C3{8b697Haf9cSNLl@FtnrNS7Vxh zp_R9^ui60fZLHc1L)4Lcl>p>r0kEKJ@wL{$K6NC&dpA}N^)0Yg9Vih2fbp8ZmDmf_ zf%OfrDmP482UTMhvjNL19a8V{y8W0J7iGbkv0l4*XOpjHmj{a|9oOq_zR82R*}N>+ z&W3s%Kk;Lwq~kUF{Fth6*%xGich~!2`#Re0`Z}1uo^IZKGu0Vgzywp=d)hWtY+#GB zvZ~$n=#jj{;w-SQ+CwmyiVsS~;z%c^W;J`7ARksnSy`B{`LQU{A-g;@EG)}{?B0y^ zj*fsa3nLUO$pY=J!YU^VqpqgbT~|?#MUD>KSp(h`Sl8r$Heg+o1KNniOb)0L3z#fW z3#WBeE@%UDW`S;@iDLy8D0)HKrCyme!muJs(ee`fqDc4NtSB!V#JzSbhCO!v*iz}h z3Bk?)j^q^;6&3SMf4;%d+aHY314R?oT!CdHA05Tdjnp37j`&>kR_@D1Z(UHdf-vw9 zQa)?s&+rObZ}jo5H}6h9V&s36a2!@TO_#vL4)Hl^Tzk5RM}7GaC>jn8IK_j$JckBQ zp8+~Gh~Xijqd=*pXM>!!j-vx@pM?b5@xYkZWs>EuMI2ARqLFBj&QD@5s)NnDU|B{u zfCs~O2vA-g2Nlq6w zZA<3m+pe@ZFpT7_V)N#`9Z5U|yoULf;MvMDmT%iO@A`RL=TXvX2LeS3E3@E#clmZ0 z^PFOKEdrax;#-2B6tSYKL18`Z1WH^h(Ga-viY?b(F3{#%Iim&FK%9jImVDdW=Mf9R zljzt>!D>0^IIafDq9s6?H&4%AydX=GDxfXl7*-u)sl?#?38UBmfF70^_yUjkUUnG> zQ^iUu*)Ea?@Vt`0UHdrz(eqdX{#q=5TDSmzEtqdI+?MRa7Kl%I-U3_CI0Cx9mxgc_ zJlKt=+GWjD8ZDito+ZhDjbX34`{wfG?(XjL9sZRo^DJQWDWK)Cj}xn0*45kAtA{t% z)1(;ZFs41cAuu;rif}z#Y&ePMYuO}>qN^CPesqXr25jW6&#vY4bma+=zd&tJRV>jN z>WY{3kgnp1PLvgKaq?Hh<)lg^a7Y>t0d?uCwf^V|zd2J`zDI!4_KZI4OBH-o=P4g3Y(D%<_7*L?i{rt@`l zs?go++)%c${BKg9e``XQ(My~lbRF(L<7Hmm77R_Hfe=nm8m=2<%EFv1A7j>37yazt zft%xSguC$9g)syJ5lYbsW4$QGF@Aj#e;Y4?^E7bUFM{*$z$w274!t1Ri2-gVdCCaq zB6R$~q1phA(_-uYJcUmtKogfQ((F7B2#45VtPjACQV(q!bhE;t)=R}10*-SA9M#kA z1&;Kz2fJyNvko4&0~@ma!siZyPPwXiQqmOHCxGKpahR%AQHms7gfhmWs#eKA3$2>T zs#+~ameA@HIPyENq)VYy(uwg>wMx1aT2(!fj;Csa=m>34A2g0SIFg2AYZx8Wni{L5 z5qkvM_^^t@hz?~PKox}bs`?RhNIzdfiA`F0iu~2|Bfq;#G{FSCUN%XsTIK-qg$}2% zUin?#FmQwp38x6R@p=MGqFRr088eYm^?V3%p=T^;&8lYK1sw;-bB&oK29L6>8>=ce z^HGM|59jneN;RsbIOO+$khei#>M2wXKOx}lGioU1Kncz2GE5)oog}!*O1B zq66fdORbj^aM4ev=wH(NxqvfmKb7;k`++0mIe_2T1Ou_o*~vq#BjlMvhnFDFr!;wJ z+Zr3~x;V(e`?Nq_=*Ky=e&h(E>yYfis7O_ZF68{>GEY%2>FXW_9bp?&;K+VTIFy@j zp*aLuzkbm-tXH-9s!IW))|_etQSIkT$QSK}A1u>EE=xc3b9VwwsC~y+ZO%}&F@Zz8 zjIt1ts-H&0g?@NZ!ymQp5YDtVCiQb1I2Y5;C~&6LkF?cq0Z00%xDroB=^d$A)o0fc z0Sw^N`6%S#*Y%hqA)Ko3sG7JLIHMQAxeGYsDlgzN_I^Ox5pr!1fE@+Ig^KHtF9R}x zRv}LLnjaG~Q(K%t9-fM1U6;}p?IKqAXCA3NubL!6N)ZEf;po2u#CH!iQThlymoh$@I1&;p~ zvN2ueDRJCYGvUCbR^4*TEkuK~B7Arb9pI>tX>p{j+R!OP-wE>9on-I0sJ3yGTMO}0 zsp{dS*akTb;Wza1YE0;-`WCX9ne|icrZO|*_--k`IF6gFZ(2H1KUZq{>BCPGb9*w{ z0Olg}ZD>FK90`ke;39slLWb?UkV+tFS_EV*4gZdun zSHDzkv}xK9Z}P@3%qQcMA!rb<&`?ii&F2rL>MFA)g~@ zBzUAu_R6CWM#wX@ms*Zm3ayeny(kMn&h<8cR%xwF_H4ec2Tr5b%2U|9v=-W1CN}|^Vq4Xr}z!9EgATf}bdhR#6nA()+m{?uX8iaQBNh?$C1WI|5nmpJ| zQ(rHp8!y`p0z#hY$BPhf+RJRFK+zjt;pDW2nWtphulvP+&bjrh|;^R1s&Du zbZs1fa%aB^aH+g3M~%~R$f%Af)R#poI{`IbYAYvzBU+hyK+a50S}*N33+pwGCqz;8 z8!1imnEv1c8d)0*obgv6uM5YBNE=gG0wMi?lm`(gAbyO!i0C*RnhyCbqQ@j1QSpTk zDr3O88jy0hIK2hkfQ)GnwJn4^;AOcDq^{*0)jyZw0W=9MUbVOus%iGlNdhUajXIZyeuVXlv1hgsjY_1ozzVT95{VugFh*-|0%0o}8ga;sm zR_Iy3E=8Vp6r=W>$~MgMm`q-?!(*B}QA}fk+3Mkf^+H0SALo?32x*9{h3gPrf|vR* zAoPxT-J<>(5EssZ>X1jNlmYT1KpOGZc^&890U0qs@?g1ac{a{sKwJjMdO*fCh*_&Y zL}$tAxt)PT0EF9dUrejCbIbeJRIMz>i-(XWJjoOmE@v0?)KGYm0dU39%B)MZmM4HC ztfdP-RL(+>(Hlt{xUgM-)+xhZC@kl?RpRi`ZHk!{q3@G8n9_p|y{*SsIaP-vaKMz4 zZ&6RSAR#Zcr?eye|3-&I?tqkso;&4RsCSz!_&$ka=Qt1Iulf3b#KGhWbiDX$q@(Kj z`o+LT&SwCPV_7-o+{ZAx=w(WaY>jU~k*9g^mR4xNaZ z(Wu?2wMDy=)fz8VKVN~`gdK`Gzgz-xUphPenCql^tr`25+{f11LYomqAvm`>W}?H& zdZ~M_+LA!erT&3EMgiGW4lxXn$`TMUKsKL2QbHv6GpZ$A68ETyd#Q=L!^Hhr6Zi31 zaSxlgJ5AheChkv|xMya?y~o78#KfJNPwH8;&Sn}RBt&X{VpiNcP2B0pnSod3dDy-I zviVCU?&oL4z1_s!X5vo!#zyWBnYhysK^+vj{kDIvPZ{kkhjk)x?x0tw3n7E%Yaet4Ad&#W0lOHqGbW_H}eayuDUK4lv zPR^y*-EZPPZsJZe5QBu9?=W#MofUVliTfE7_fZq~n29@m7wFRKUSr}uX5xO_#QioC z_o`WOr&WMKtD8=lxYMlLfU~*X#N9P3?%Pe=M@`&moHufBGjaFMihGrb`*9QZqbBb4 zChm>1;$CUue$2$3){Mrw*P6Ju&5C=uiTgt)?jt7d+fCftXT^Q3iThC#_ai3ml_u^z zv*KQA;{Je%`=E*YS`+u^thlc-aUU^pA24xWY2rRGEACDc_ai3mQ4{xNChmi?;$C9n zK49YBZsMM2;(laS+?SfTM@`(@Ox(|7`3wPQCL`x{BeUY}FmdlOac?wnf5pW8fmw04 znYg!^xVuc;pD}SiIxFr4Chm>uB5ys?&T)#pEYqmHY@Ju zv1&DPuQG9Wnz)brmAJoV;$CjzUSi@tXySf+R&}2+aW6G-cbK^M=-lPb|KnI~i4}c- zw*J)*hG@H^9|xaNE}?VEC&g;d6*#oJg3mWHFwVM6>y(^xAcSgKts6;jYU-Zw1oFhL z8idQa)IDJr>V*XkOzB({&G+Ekp@-$2s(sAdtydn zs*Q~xhsxyA0Z6kkT8Z=aGLj$^?HLde5jI9vWV}=x>jcilZ0rxf5&etnhkqd_OFir$ zWN}`%jA3k$q=I+Yn>i2HJ7u-1#m#wTgbp9mPsrW_6Eo z2ARzgnr&6xtK2dl)?gg<+I4LR2`jyt#w7R6KeJ%nz*}W#r^vx?lu$m2^070Ox(S* z;yz~LPOjKc)5?sAJDp9DI8yVCv*P}YiTiogR#l%+Id0-^GjVU5757sn?h_{NXH48_ zcs16&eOBC`FmcbAxR05*zkspQ$h~J)+(%8^$4%T%nYce|;vSt9_ph6{pD}SCHF1B~ z#C>2^+>e{MkD0h1H*r5|;yySl?hl)|pE7Z$(cI7nH^0Zk{m87iA2V?uHF1B)#64=_ zJ~AurpEq%*U(y|PZf6&DJ0TcH@6L(sq7=7LGS#f{B#C^oXeZa(>&XgLt zkIstw{U+{5Ox&X;?msbcKQ$}vBPQ;HChk2Z?oXJwkIjnvdrjO2Ox)W|-05tgQS)bJ z#r=qhd(_0e&BXly6Zi31aX)0@-ecn4XyQJobC;`$XE7g}ZZ)BN2ZqkSv*H-Cvxc?&^x;zp!4FHgyd${VHjbQ=LCgkF$kNhjI(I z(5WQjWvbUDt!0+0YczHKylGICM}<`OsI^cbo99Cq+2f?<-vT=nR)_ccsP7`cJ0#To zoulA$)G7A9rrekKFSI(+-@}?bv`>P8BWDkda2^AW4SkSur#dlCIL`s+F5sa0z%lQy z63#eqjyna1Dfi-X>#pi~3+;AEJ%qz^J-t#C?7FV_L?Y{ zn_V!)Y^79x+jFGf{S#D3_ZkJ4}@CH&JdkQTCcB zdrg!}Oq3rmQSLEOZZuKeYohElQGU=wIclQZW}=+XDGU4AP|9XuW0mc>ls66Ja^FII zURW=F#~P&Hu{yvD0x%TD^=srG!|E6gM?&V~V5U0L6F4gYQ8gwYI|xVmC;{;SBD}g& z(oq0WeWt*<6A-#6B_Qts?w+pSkc>J;H$w!}ROmD!_CdRsctx zU5ld7;Cx#5Ou_t+UUe@YEVkoMm=zj07A6{4t_>L z?=hl$UC(jgjKfxSJ*NN>eoU2_eh*r1XwxqMQUWxc*S`XyK8X-o{XQT)hMN8o5MwR= z0LXv=Cl5n6;xke8Aq89Q?Ui^T({=0w*;Isn)O~&hww;@p}tp%e=e4`MT zI4`Q!bT4pRvge9g3{WY9JRb){^|S)#IF$lro!4`K96_euFJ1wpUE?m^Mhg9@&reAd zR)j<7>N*AOML#92Yhg6gBR+!H3gCDRZLtQBMgwFUAav>ScmXLj=r9O~Zu5kFA0SZ! zoqr@c27CSrAnNK*$a4yiF@t`72FMu$uU`?wpp60?$*(f-S^|i}pu?4bv_Syf#wr0h zZlKcuNT~tmR>I+0RW%j^q+HWHklA|ydB{NLp8#psY7ywb3o?M$V`!aG;LxfTRg-P; z3Lr)a-vC6NISBnMgZ@ZDVF`+Yw~ye(+H~o?`)$B6LR^3xHAwhQK+YI676+sq#fXpK zH3EpkV7(s$2y zT#W>wAA=5;E`nK|@V%14JG11)X;R!VEZR zKy;hOZ?5qQ_bygtknl6WIRyfuy_&{Pea7XfKEaQ_n^ zW56Nl@>o|q6xxTF)4<(^Uv^FyG+zwJF=zI;{8m8J^CY6CTL7U;_ck{IGN^e!jFr7K z-zW!;F5#`faT#iHHy}q1HGK~tPLvWdBf>rbh|%+Z36McUsiy#m8m#Umf@oSLI+K7j z8uYV#3Eq{5QlgdV9sGeXJU>5C@8lBT7lpuyYV{&IZwG`fy`l0WxafUI~cPK*tTpd4tULk`75HBAg4GlwFUnTkRDBkyypgTd)#k; zs`g3*Tq*il2>mjE(hkmo8uMu1DLCt9$AAlbZvG^3_Vx1U9Z+6%eYtZY}!> z$584BASfhp6n?e^tqg65-c1xf44e^z%>NybQRL_neiINPq+4AOK2vo&?0HS%UhusBr_Yp8;n;(@)m{ ze8xV6dT9_4V=n`z)X)cC0|cEnOY?TPeWI*$e+wW{DT|P~l7{P6p%)(brifyr#}KZoU%%12XM}7Z4pRBdWlB6#$A!G>T?0A zb8kf{o1rZ_02$MG5siL8MzprT7#AkTDt`Cpl(o1UIHMX4m3lAH0cE`fzX-^Q(gqHCAKVAX zxW;S0oV1BwcT!C;qJ>a^m1) z7BxOkFWy(OstlhD$0v8n)N;Lva3bCr!^cfE`eka<7_Eo3`_*#58+!2_HtWaVk+!-1OMzzI>oP^$My=@7q+m<6VK?Fg~Zrb~P*2 z`08Y6Akh>GMq-@=@TfYS0@N76Iu-BFqH0QWqiSa*r|ds+`v^TF47JJ7e0B%L(IYWN#@GRLH>y$D)=d>#D$PyV z)QYbb*5Rwa&7Rg8`s}8^p;~;Kj6P&*a$t%weE}d-JCr5+!@c`L;e+y!cUGFeibGGU zp1;}Sr7=Ge)B1p#!#zPr{Q&^gg+3~Zx|COJWTCz!teM^k1Nh=3Z)_qE=*O|X#OB)AFA&&{Jw^XO5w9q=mdOvp`iDO`Gsz5 zGiM7D=)p6Qm^ph|-qg(c?>Wr9lMi8mU|(mrUm%LbpJ^oGcp}f}^%XJF@_s1?YqeWy zNzp5{r1-?v=1rS6ZUWC4`#Vi`qGS%uVjkeb43GvTf?^!#hkHV&7F|0^TXZ5zYzgZK z9k5;eq=jY_z<_n2yW#J?P^>=`-nc;tK=Z#NDEpf+|x_auh}H z9#D@z5Kmw@fIB8#9mGd%`&!_p-EpuEQB2w?xjRf{_1Px|yo3^sb9XM8!$_u@{c6)% zu`5oqQ)o04gD>fYXCiIIF-9wqE~-Ot9}TO0m}XIi`fD_)0{QDAQwe(UW(=N;iu46; zL(9gK9dTY8Wj}^gn#Ax{pi?45BfHbRC!qMu!PCs7}$(Gb64}wBY#bn3Oxz02K=TZPIeEN_k zN~##9d9x@2!<2rzrHA%4eVtl8h4?1h)JrtRB0-EHDAE#+1B~G*8DcG%@1Wl%LNXf? z;Kx5&LkPBLQY9V@1$(=CgStbW$?J$|33|34)5c`97T;f`IgqD6!P{Fk@}5wDe2{MA z!cplxQPZbk;X_8jSHVKOY1l{`L&XwsakBGjt2)(qqB(W-hXVVj=m0{!QPM9|G=(}; zN%eM6*PdF_we$w}iSb%Rp0>Glgz4=_=vc2ub|=WOPO%VVn3n}QG3|^Th=jY8Sezcs z36q1Hh{O&4K^-%u@`Gr`P|V~cW?J?N9q=d6de!iVCII%m#-+G)+1gy51mPP=Xy)ob zG=XkXE!Gk!8y9nH1(UGuep-ES-zL|+s2%Ui=qd3ChGrTXFv0I+Mh(buYuX`asuuO( z!|_w=8?UeDb&AqLAQ&a@HhmLvzmEE$YMA1wy`+U^Xj;eCb_Jvf2BWGKl4kUV?hIj` z6(N3n{LPk5?tmISvuF}5LqmKY0bhf_{E{2U6k|K6l3Nf&)fUthW8B$+bJ0y*8+-Q$ zgJFy-Fh9{6(&+~!(HT{cJAU(>3{iopZ82wZ!{;vQ*u(7r^Ni2{YL&A^g3%DWA8MZp z=JW(v=$DYh@ZpGG`%Iepe-_zbnGVtxHfo=4wq5nSaHL)`{=J=M-` zoRwf&fqIc(e9&zS#jp*Bt*sz>6P6I#)JpEG3RHP$Lv>T?;Mm{X6FGqKQTo&)PbGPLsF~QCFu4@tMn$%z&Qyqq$_WBR)g4q+UrdOm@N}rIHb0=gZJZU! z^HD-4)A|X$84%OPbCO`D39Z`FqBCU;PgGFd;y2Er(N&BSW|f8zFl%Or30n?D@pxY% zW-V%_8TPmkH1RWRjA)ZoK7MDk2vU!p*!T92?2UJjR?Z0&D<$+rmI{lWH9J9ea2M*ZC8o?ZK2~X@tD@Q zaVxZ%HKA8GxrnCT$+Md^Yqy%4D(5U%pvUs({W;D%%g5+lQ(Yzr35=_7wR?#1ID4%S zjs&n#sdR+{-C~h~$2j}qiG4~RZAs*~Q0be6J*yt0$JdW81!u$8R@v)Ny=Ap2t#Lht z_K}W@hALEk+8qL#!cV*25qaji2~E(_M(Zg;bZQIZxF*ys&(O%`<);huhLRi8>avp` zLeX+(njp=z@S1AkGyR-GofcBX#PI_ms;+2ts;~DEb?%^vDvs;w2!`DOwUZmB82oUL IdB6Do0ga2OZ2$lO literal 0 HcmV?d00001