Rar!ϐs t)$V80 ConvexSATFTt 4w:ǖV83 ConvexSAT\Convex.cpp M T |OmG@۶ . '8mڍMpIӷXGD'ǂ<ٟ8W__էO.7_䗛 ]xUDzh (5C )4G~m y5ݑc\Q%+ck%q?VEs"Dr=G<)Zcd1⛫n'/ 4+IEi^uMܵNN!`/qkHN !1xm`#*L8,+[,m35{~8d)K@"E# P>'LmiEV@8O \f.5NP_a(ۣO0|Y8aOZ6Lr Ѭ*&HB\deE[$ˇRݗ"6حl-L],[XD@;O!QѸe/OBn64Q0U ?{K~7RTNpF╏ez2&k.seMǜʬ#mu-g=]E&cW @ ⷊYt9PdbWqކ\_שp1[:~/ xc+:{c|LK .֟铱*s>@cJzo"|.O5T%WIH1\ׯ'IKP  K]OʪDX4Z=[+ĻDI,-`a1O,,gTl+0xB$߭ke$E?}.?x17Πy&hws;7& l;%;SV5W~ 1j<,ԀݼI{5.eYFd$O1A)H0Agjy! #dsl:rۛ©ovM ":z a^y繆7E ge3%(m3#wMA7Qt 2 3OǖV83 ConvexSAT\Convex.hP={| r ZRvXmwBUFbn._vЖ9+iFN7Jo(osHSIbU[/LB/~ZjI:@,e5"-Y gӵaYo{~.*{xeYEjl_NS>ˇ36 վh32C[~/9 #јyu%צ3abҳCYվ:%dkq,I(eϭmk3+vt 5"$5JȚj53 ConvexSAT\convex0.bin  @w>bHB"#r##88p[B""-y9ÀDbD,mA0jv ^M7N%UWTQr0ם`7giuyRF>BLCA-ƀ4L9 »MzpaYL>OS'6l緟Y=/N1w[`zѫžUUvwv5q_!qy߮#FbG>ũdF䍫# K#gUƜR |9yKNRT?t 5l {+Ћb53 ConvexSAT\convex1.binUUNϦST5^qh![x-rۿ'yLUdOV"_ 0b̖s:N_8MEu?1G2Cz(_-'>К9`O'nt2Zny AfOTg-ه.=lZ 4¬iגPi im"3"?C1E,zwh`#LQyFAx )tA@bG\Q =@h2(68u~aS55)X(;P;;";(?` πR 5[P@|-(a]U0a҃A}-f(a@ǘho&WnP߱[4\*A_q3ŮV%Nn+TΎM*g$T~dv\t)=Z}C͡&zJ 6TE*/>>?O+J\{7M%D$.fj _롫:0`XEF0`; "GHF=a`JO pɣJ2Exie-Sٻxv|8\zisA3/\6kKz}Tc "zC=^s5=RkرT{M53 `aGyOP]EW\3"1z56[0{_UJlл}Z_@Dּn>VGoqU׵!,Ј+4w=c?˺ .na 7NUm*^ifei4E;i[Kq0>IFۃ{x0fTҦ Qk޼^Fjdֽ3& ;c:E8@H))~ 9]s~34n:I׾+:&i 9B9 8^ #}OcA)txz7SuHHq C5R }4lV}=sB_ h1Z& lϢVEnB힘Lq0H^r 8~3t z=T\`bv!Sxi,.hil9/q ʓ$,0XFJ"VăTYhXGN%csXot, \23i?;W}Q;__5kzwvO ¹5vQc#X'V{s,tnt( bEwTWB.آ&0U&Wڿ خZcD*Ztm,o%Eg |cA̹Z|t 6T/[ZǖV83 ConvexSAT\ConvexAlgo.hP={t(HnЁB CKN vI{&8I8%v`6xbXf,]x|)s(?w;9 6W4 `cؗޏ=eAVL? e!`Qö=?ݽ^usohT)S"_mW[$R/Ȼi|}žuXE8ӑ:i "&q5Q oys =BGɮc} WyJb%5lUrXi9)waԉ_#;)N+{,C,m#J6;:g\@m8hOI2пipTҠ\#|V2UaK+A;p40ylPoAl5uFĭiQM.lž; TjeK_$00X vf#H~oN@}/L:ySǚН0h Ooӊl36B'ѰL6q]p!15Dn%Ż8(9pӀoX@NfJ/TQCpFJw2GHot[' K|jiHzE˅e  &'%RsvBGp| pIItNr|S4Hh(@u@i=~q>}%$Lt rGciy.L5IHc*Yd)jH]0ZV

k\`_3-}wN[-*\sYe sX+)ZJٛ&)0#3d,Xz,!f .ukd koQaC|OH-ݹw jP|(?ϝ9CB:}&I7FnYy"."J6 2mK 4H>VS=B<|މGS#}{>HNXdy^'~H a-LI|HaƐ1Ȍ/4xȖ"'W"KZC%dp'FdX IpX-wXt9kM2hGQ3ӟhQ""[ğ;$ A.c}oQ tsj\7wVN=p\#-qurC[~o_/-@`_Ѐ%N4V~uE Kc-[Vʖ4PR\-o@ =ѧ[?94">gWZ)c!pZgM(Ćo%F;hn9G>yK" )LSVf&JVzFCK-q ^GߗK+u C׭cG'oꐊPUCpyf~Ybd@:˜آǘj뗢鸎B rfu #54ks+}BF`CU:=L(lfF4N̜ n~嚄 KGi7l%"$C: L9w.jQԌlcʶ=}?9$vl+|m{`MUurkQ~tYX)*0Lg R%<Ţ?N HZ8WF󗿒//_UD<$jU}]56)JHd@@bh=CWlnn蝊#URWX"τǧ{Ѿ|>*Hh%\3{7ZmZSb!Ϝ`Xeʠamol3_G \?-C8KP1IƘL|=uh_{ ' q4KG!t5¶lǿK0- M1{Z!~t2t 7w-V83 ConvexSAT\ConvexSAT.exeP̌՘bRkxLH#A\2&plc (JP̐Fn׏i{Ӿy% k[IiA&)'I%dȜD 8K1<ֽ;ֳ3|77{a >s޴?3 5(:P˙ %)SQ5Y+`m@f4I6R>KtO~OoezR9W)= }0x[CVNR>ֿaI!Kn7yy`%> s!m]m5 )/ ]05p/8\@P}JI$I$I")'81ap뀲9tZ1R6[Y/, 倇$(_׮q 4ԽurE_nyYqv%4O }7ҦIjts_ .y̎Q;`|0~z!niK|9WĬ"~W0^\k6Un> :oz*RRu:$ؚۀT˘d4m`|46uQt7]kc 3X]Al8uKD:!а 33Qޯlgz(I$u R*s&^@!V<`^aLQA(p,bH}yX 5޶ !:0(j>([0&TNx$'*#C%T 4a6Z;&A`[n X2 1zqBCѾ QjM)u2^tm(@LSQCP<%y劥9yϭ?m|L̬UEޔ"`c@oDdtIJB* -ƀhZt!٨%6!.87]HSPS7}p`VܼP1vψ)Upjb%Th 'Hh,^ Y+E!j]G?'ɺJxZ]?Ln_Q9UJɵ.c: LP4()_B 2E2}((DD ZCYql85 YstYbZSgsNq^rP_Ӗ'DAJFd՗%`M'DVUnY5d̪>$PJ\) Xyů/auy9213R%g tKp%֨vA`7hu<3+P4<1։UQ3:p~|K09Oc2Jgj1FS%T%J%*?WS~[ûh1)[U6dͲVZ0GH*;||<2/c;Na yYx]oJ׎URm" }{~Q0x0:]<6Rͪ`om)͓j5>hDm(5 qQ Fnت\`)PT͒)kRj l-aq텗l"6=z|vx'ᒇzHwƊ!߭uv?0; R"4r1TL%ks6"m@M4⛭CR׉ #@}ulmh`S޷ԃj: )>lٴ /7K؁0@qTѩn]4P/~4fҸ_74k&%BjpZ._ h !H*@K^ e,IK"j"f>`YJkN 32%-mZdA)%K\|Z׈&c]|UC1[ژ"4Q9314=T,P1g%,EQyNbIE 'i&A5U4he*9}&,ϰ c*BIw`J':IiwsUTAX#XKl jO A$XC@5j0GrEN9|EMrlSܼ~+̀ax=}ڠaأB>x])_FT*.oebC0Z#u P^ H`u' ~`iwe>K\z0ut9(tL{З>v ;l,}|"kE:i/c]N^][lꨣI۴!ԮpJK_y|$07(I$< ]ވ =l+5X:!)ݚ( Js%z{JIگ!DH [MԘ֘'<)~.^/Fh z+&BIa]!`.KU2¼@UUGn%R;mvԋNS[JFCCFavH>f" )]f87M^+_HjsdJL2fMh1ݒ .)芰Tڛ(Q.s/^Bߤn59!eCBG NVs I./Kiʣ@Г3! ;; .0kΖZԮd ;G3 HS(SoLEPWBf9u|9R&É{OuGo|oqH`QS I;1|0w  +41֫$\)WasPIn jf˖^)]pgt6ISn$FHFMAG4fw- Im{Wzg@`}),<SBU _|RPs~B@'RJ B=#7ք*BND;0RiS;TI!-5^S1UY>Ru]# 1']|J%~pY$LT}glIMR> KE+iw̪)* ] TgoK8yr47 fä¡ 92XxV-02.X¯T76-W^dCV >]Pei ỗkb+"ADN廐LBj "НZb|p4.bJ`JIh %`VI+GF=DumTY@&(IG(RΠy #6MIE6&Υ:N"phnZtLܣ^L4%!A _TneX%<ݙψ'ʟdY1爕^ScU$: 5z:uoކHBxq<P@``r*g ;09o:5Bz^[s+d)LCjjt!u&Dܲ'Z?L6n΂|r=r'8dP f?*KM(L#\p7'9'T.e%z^͑t߹LE~c%* 69 5]$ Ps^UW#j&|xTN`3`-I zK|gaנȞ_zpv=SE9?~ms.Z.t @3xa,}督_Lve<~2iHܮkT^"ɛ*ZT3G/(8* "{SJSyxUp&dgɵ_:Txv%44#VHh>#zܵ+. `]ϩ#)!t5ZV$S f gn:Ah.4+PI+6771ب6Qs=?{_=A˃Tp)w :uOaVwl|Hmׅl dѓuߨrxy> i-wIix )mCH7!^С,y8IYt6-(YOMJ.[~RW2Ys8maxa@P_(Vr'3/R -^JP +n ͻ-!w#Xx0|d o*#> !;|}֒I0~o!r89[qHSeJ濸8 w dGjehd+U@EÞ Ndk@x1gv6[hކn5NꋞT gk %i΄'DUl\$Uv6^]4Q;LdW+M(K x.11a%՗a7Yݺ)3e{N?GVSɩxpaq.=xANz8w&&HQ̠p%`?"vbd.mmabVXM "T6=~-KFF@* ,r)g>< 䶧|TzMGK5XXWAgOqXנnӵJ-Hַ͢&콪6[L:iR`ggyVEvUx`ٹX9:m UYģ ?N* 62/\n/E$hKX s祆Xb61+qp5I@`@%nNz 8 6932\I _˧$½ igN[$ɒM1(nw4fw~D$Zme_%[grB)?7~AOWpæ~Ws'iqδ䲇f٦/ |k?B$P jG#'@3ޓ_ cX%7g]#Ιcx G~f~?jUf%¢MyѷOVLLpuc\ȡ,w =:U yN[r1E[xݠ|6wfu_Wn}Et38iѵG}Rc&lc}s {6P7"E'WkBp-pՇpjflAUYtoOG#tY>쯙3qË4be0} 3]x}mv*{!x¿g^q㌸ bƽ?tո~CvNC Bf\fKc"a|r̘=mҀv#+W~[^Ka?~Dct=Z8 [0dQ0QXuy}%by?c20aJ"t?MdѢ+H֔G3.%e"lyZ>Y4^ݵ7 lь&h :Cb@בw^B่< nrI_1߯y@9SKxGnaXǗ9G1Fz4#ދ TuP:/ +-jL³[ w4H 8ssxscYTm#닭.@3OJC[]+ʼn0*7ؗױk 0 $^ vC*heC5<%C`&/'f)OI2=B PI/@$LU֯`&OJw߸REݯVUX:Zx1Ie>3csF-H7$!%}L$-zr\z!4#-QX3ruyp^?ZR/ӯz"dpϭhEȋ b'^2zK5{T礋UQmk@j'9u!oRl|4V?AB.5qC>N@dX%g*0i;BζԻ%s JmcdE%_G ƽb:`TnV ] jUAS- ߇AR2uv>t?6 ɍ[kQ0Q-|39%qȶl8U7>(Ìs  D؂63fՇ~P98nF*vU&"#h񱌺u|n`K]iՆֵM d,F_#B#N{j+]k trYcqc x-y#Bo~~2}z9<(4z4 ܑ̓!͡&RNbsvd? 9ębI"L"My}j Gh=k;nܬ)K\BJ h(ZTD/pxfV5`"HI Cr2F\̢x*7HgaFtx`.GFKcẋ~kqz\EgWt#RP,@VH8ɠp{y/ݑaKs_XnG!,I[) xq\XG؆ U698ĩ:DvFL4~CMw]DpKDz+6?gW-Sr)pP[A20'YO'D0Su?]z]F0g$n b }@gYۦῑvÄ1>>]LlsU^|lC @ۯfhظ{ 0gp!*A=&2M4;j8m-XF#,_^:H"b왁$~בȗqHyS1Or>о2$ ffih1JVNs7$uC6>יs2y,.ѿhH-f"[ 8-IB a!kFעvnDekġ>.97h<+JA?C.ezۦ0[1h[Cz.;mګ7s;~*+qG"T Mxx?)]}?o/ K;X,>Ka kZ9FBL{Pj4}Vnl/ > ̅7 yurG$/}oY&}ֽ'X[B?]E;o^+fBk+@:-2ĀVd|'W}Q3Zɑ¸64yitƬ7Uׯ{R(j><8 f>U@ޮp HnBc^Ɇ ǦorI 9*t9 4(ll,4L[g-V߄M p^3QL Z8#wV;(УG) Z!AJ[GBF&; @&3ke/:sO-ZxQfp(zR@u%w;B8A*XSx,?ufuVf_g>_? . J`cN~,صQ=o ~a^uʹ(vNaH1jT0)0?8Ealy ;8ΏR0|>႖kNmkYXp~$:j\]PJJ(1[$*a ~օ=ЎBl rRszP~&ӎj֦})R[hi|dJF}ي3ѩ}<]q"k٭M~W\;b"9rN/(mFWHٜ#A/ƾ!t;No[[xBLb(4  ƯS(!rNZ2!{+sIv6S[nxḫW6)V W9;Ra)ncة ]s.Ah8zۜm/#׷L0ɡVNð|#F" 4hymZ]~-%6J-;{FڝJTk M8\H{9(Ef3.>д}GU+4~QNn +8RCeִAز̻T f a*ꎴ:OXMm ʮ}'fL͵pGI%ujD@{:wj@H_3V%{ UpSW$q^k9$c,iX#IbOR~V=cꓳj xkj zhqmCb jx+C| o烢X?Az]u0Cmd4#5-zZ b"r*ԫ#?%1hꅊ"u"tt\o>RKX|r~5E["V'j >{e*>@Rt0Fp+GD]IJ8i|אHUBg%Icu' (eq׮oJ, ^n(6fR <%^C[kG#k"sv_c^&!;zR^fQf">|?W$t"$)CG 5~wSl741k%⭙Уa%#GZ)Fiݟ uuk="X`װּkMT[O+٥ Z@O^`:VNarZ=]k.K{+MЄ:+KTۊ1]hS1~iƯTJAzFI-P ?8I< *(-+LuHkb5әl01 Qzza$B؆n.I $!ϒAI.$,-^v%0N 1%;VL^BE FTT "?g(uo<=a&C?c[Z||G@ 񼃗^kOkQz/8)e7;@@W[ug.?*jv gm=LVя?|&EI}|b%ʒrfZ+d|/#P# e%W"Fv 尮"YPp 4v*v\cdx>-u2JQ& D]˓:q@\Up,Bjx{b0ьUHg/e"*Aa =(Z!;*unS m r#|w@xO?bP F䓊GA,--ގ_f`^>aR֝@d7|uhnԀ ?(CLn5wb;>!Ar0!OJ@F@Hg!P+9u|emGsET^*e^77M_@;kĖac/vlHl tRT5EIy^p sk^^s&9p3U=6i- YېFWp(z[V} H?8ysPïXRw.ʢy-!oÒp7:4]2#hsW03^3[*vre,~QA$-e<`FFJTՌlghZ/!{6eO4r^ye ,+uIJC2g9@Ά'TvqXld>Oe/)w=hQYW}A0A|AיFm m[ߟCr4)`dz9E['@X ہ7kN ug}Qi Y sh+A%22zIj,`=^'UL߄}G%B.lb>г揲.3d T}DUz41ݞ$*n@𘠙GǤ y ϱ,zTt۩5BF VOgnj[!;rdZA?Ƿ*SҋV:"[aP²}[l¬$.y-4k?aB(Z@_yg^Vs&0t2$Agƀ:ws ow;&Ț㽊Zka C΅= _%^Q?V'LeLJm)% FZ o'\neW%hOm?B >&3KKKKԱG*1m14փmV(mWs66!g9Px9w @e|׶^e!OYgp-ge=; Cܟ1Z߷^dҦ6 x.%rhq!;a z\!U03 hY.w.T?[zj6 W9 V.O1ov ^Q2!2i_II]QC\{VƼ#/y^뇙/YeY}JsEg37EUf-EVvuu؀MʃE'l}Kz]T{qKkĕAWwRAzk^ZD/`f9N 5afyV⤋g%^G}:;^P_$+A`LswwCN}V>bMnHC/$ Yҍ (檧]j*Z{ȩ'=.NkArWO$$ 'I1ɪ|C — |e1wa9,>;ƨΨل 7Y&'SŲbj Kb@pOy%p%hZ&h2Kބ/Gc@; N)m1`z3SwJE]}&~%u zkKɑ##t8ʢzTSky_3J} OΓG>F<]*qUXz/O-#[}Xphj]ʹȓ=-#` |NgTKߍGSܝĵRmuc>\-gݩÒ=TrgsX ܹ3:= hZXĵp3T_Jwu?67iKLBF4' V=_^KܴMp[Eb*MtxZBIaJVx&—1W58 a3foTeM N=TбtABdww0+HJO"Rk4[?p+X=aH^-Zͳ@ZyH0]ՆqN2a$:l-2k:"2_)u]|mV|.^X-#$w|IԳT&SG&]y zцEզJ#Ų9r!e=.O^PLa×~A1&zsi|M(OHْjP7 -d;閛u@>#̨xڂQ 9LT >WBQG1ч,%՞8D\w|QRjYeEBߑ )nhy%9$<pн?+d 5{e^ۙ'J9k3*/S8D3ם6݊L- ּ^Qa!V$+0*>wL1,:ٞ<)sʥ"xH=`e} l2u3Z^mN`7QEva42']3, QI5{V?^.%FԺ#W{ ^mz~PC (GTDF/Q Z;ampp#ae>#EgfCߋ~bAI N_~` :G/v%$N5Ob6J7P8ؖ5]I b"6l^3o'R skd.zJP7V3~n(Ͷ5Ml+*7J,iBTYģy _VM!CQ9䳳uy?-ll)W&By<:)*$>j֑""=ˇ0΍Q]sNZkr.cף3A[%rXΙc&-=[ASMϘl/ EмVpshܾ9O4~_򹜯J~+(4$0-ens53!A)I`v/TYѱn/é]\}\kח4< :Wx8Vjϙ7sbsڇ}Qw2]1s |"#Idm̔M@5UUp<,Dr<٠ω]ג讴,U|\<(^ Ӭ+JٱBOb"w9I:A3{<[ >xH`$>$v0ps66Tyf;PL|v7P_00u@ܸT!zgKa\/֪^|n ]j<ݮ8!Kܚp,ﬠ \XwY`Y_V\Hȇ'R[ YWciIXNK&&ă~ܢJL唫8J,4 b0={reصv`-ܘ8p+`5i&T{kX3~J`2 b{^1QZF cs|vmǴ+jwظS7tDfBA &Ǚ!f#:S [Jf뮹keάl}W[\w@x.[Je T>Fo_e@m߿!l~G){Eɦy ~a)mHǿ V։_mE/g|'۱|x4mX:EPbEԎAq$y%ۥ%]xIIv֤jx5̝8V_7 ;Fξ8*݇NeU;*K>Co"}P#cb,u<ټU!4aPs:QR|.;$u}ZׅSC.N$JltAB 2#w+kA1>AEbv+">(ɟ,!.ӵB\SXq)/,!RȖfi(T:5B>EZNj )yE3f]$KK[`j>`ɸ1~zD|Bxmhl!iWO|I!Dk*1JnOD8n =IP1Q"="H?Y9! .'{29}a ;4~7k fxC}S(R 1> a-*ôpf>u`G .{-s`J\aW@РŬ O9F`D㈰_GZ맓$ |0Z+^p0A&X̔3m~ pU/:sΰq8 TD|BxH)2d%!uqe \G$=խr\L)&zSD,V <2#D)/  @a\bpx᫝\ɴIIdV&Y^cY2V >qn#\x#fEC-{' 7͎33U+jQq\*n⠙bqA5%*&٫3!BxknE("BShJ7$jmzt8Z(C@2(7-[%W`"]7/VjK3bI7'/\NǮ꒫-RzueauWl@(M~?LDg[2=Vl=8DMlaصY8+hJKVUzK! sI|[ ;:m镡0xŰr 6X!hؒH] !tž!f@$J*U|-V% `۩ ^ɧpr2 S[m07u+[=넘ӴB&:ٮKuK{Vp^ ~*wl`1o?Dp %26|pYɵ6[1~³=k_Ѓ[ґJwKGCxaXp]CEj2&~ZkXHq,*9]ue%].~- jn(5">[߃ˆ% эe%f9&z CꋼyDi7 @">Þ7bԺ+ϊ4Uj95d CU#/a":K9 (g`Њ;;O@o2aħQ/M39F瞤-$BN2?Fp97_mڻkv,nѲ֧Z*s[z5&Q.m?r)yF_ZKa5ÿ",@Sjׅ2AM8,ٮW ݹ݀eI +u?d<\5(lkb.trDh=mnn )5x"ɖ z+Qm'"ϥaܛH `:Xcj-A*{l*l8c_.`-òWv 8w^ MKw(}#@~~MH>SnK$Lx:qaN\v%E|KZ'j VVSud`D>4vyz9Oc<&{_rɰdrU^KG˻jRuUrזcaq7`D0Up2QB:/<~^PB#;R[gm*dK0!2>GM*HTl3 ^kyNjdinwMuHlaHZ`Bx#yUhمIuo_G[`8+fv*LaݖȄ̆Hꃿڣ4)6l ܭjf)2*(Yΰ;9߉ù2KČ+ž8( z4h`D|7C>b,&kRKOG)63͑B @Mn9,br`)$.WFL=%~3LA~V.XAsRc0/UΨ+Amm07_GdϻLT)MbV@ 뻘͒7Ǚ:l2GUؐ!["IXc6:'gX2Λ==CM# F9w~MsVRHt&رldR ™D>/:]6xLS ?XR7pjX^54RD6q}~S0'T}IHxʦ2 .EL;H갦݆%dG|y> .伄5I^V۬w`O+F~o%H/mlt.噷CYOjGG@aivgU&N\IG]=2`Ox8:c;ⶕfRٮs4}/MܧD7b%.pkEIJ(?jDYѾHn>DS`Sjk:QHqml(@BH۸‰@kH v*6r$Baݽ1_YH:vS| ˆR65oa co Cln #_X"1=wu\-B(YΕFxSTP(i NG-ov !Sֆj!8ok8o_aI=:[#zl %3|cH\8}Y̯+|0xXV)%lAd3Sِ|I6q?ރ%;LP8QDdylۉ|"튇@YϛL04 $/t6yuUt(ObfrCgS:l #+Fh* AdoUPj1HƊӌZucὠh5/WUo!}oh:կ0+Ư4L%%$O-ʆ*-.T-zq/>AV;TbRᾛXGnL }؏{sn$^e֐"g*7;}rR9ʜN0T Uό.k?iI@ 1` #urfφx_J }ikSDO*ln~5`-f/3qn0J2lG I#Z^cDסquH ˹_})]xGu\ ;:U<5mcZZX EMp$;(BJ@PX8d?0E,.7wR0L+:Ʀ7,qȹ0O:76:^Sz4"[c>mu@Pyt4ƿy6a<\*"*58%stދi_Dx .ôf6h)2*AF(t4K[\?sxOl<Ң1"U=P> q51sW>6\pqiLj0Jt RfwUG,k+_%R?WA#gMQ׎í&RЧu+3qXƐ57_8ppgYSn\;Q0i{ntʫ!HӜ 03:L/ۼYy9C -1tۨ _HA˚Kchakeh= X~4 kk҄: ܀ ٠ʳs&1s2Gڲ?M] vyx!7~ !݋.Jy0gHgi6+IF9U aZ<V0C]|/#l/$\GEjeo!<0wDSJVwDy+>JxkoUKqiw\EW_ [+gPU喍J:B1U~#SYd!#A50͈}SyA_X}p/~&Ry4/*=(mVm>|2P8Y\U\]\5k#:Ю jUVl \4~| `7U;'DJ>& A?dw#3]\G7xo6m6D;~ğ ~4ZR/Z03܇nH;4B*a?` DGˌXRk3qONn/@䝨;DvdqsJuByc5Amafu+5I .e x73B@)g&}$EMN jm \[K(z`y#H*(̠KW-@[Bnr}G( >J"xCQ4+õT P~KuvI?eOP]#y-'I>6QxInѣH3JVeG =>J]Yh:#U˖nk>y̻/NB%,̳_t$ ~aIfjtqp $J@4C-E ,?L7 jN>[b,HhP\ mIqf۫KwHw7,݋b.(-5XzBPlx7z-2Flj䌵& 2=Y;zfھu}' Zs?|Z|o=m~u?ξߣE1IpVIy%@_erȤN <آ#=>l^vi,lYi7&;ҹwאש/|ϨBs%І<>ⰹVB4\a*H\h?m%``컽PjfkG2WO{NR8 aO6yQ8NUtѣR5֓QA-\/̟ZN%;baK[D"rR9j(4A?b|Tzs0 WI55CfJ2KM(/\.~P碤dh3XK`"C;n\fUлI}됐{Run! g2sXּă[5_E:7\۝uWIxqV6ilKާlYlU[i"a\bi|#>6*'Ԟvp1ΏZkPg24Ûܷc!!fLĜҺA(rI=;3.SbG,\`ۈr .kI2cNeY d&h妀V9]v8_KP,(IlInWvp2F1?1dٓ#ndȪe^=y'՗0(rٴB! i-̫;Oc%y Qxk]/kKuU"dTx2^@nk#'t ˤ=`xŚu R{Mֻ}b&qc@ P}3_s2VYacA[4I/"d[P"IN q% orJb 툾Il" !-ӡI( .l9 29=%G;fşR߾k'D1;$ ]ErG>!b\樧gl<ωLZ'DbRBɮI&U(R%wi$GG8P ^ ^^ Жqϣ*N׋cG}3s+gB3}ʈU Hh2g&_ȭ4bsSj8ͿZwl\|mH3S2Z? (~t Dww5]4UWyYp"@Lx!jܤg8WєOh,#p3cpqe$<48wz M-kfVp8: /g_@p؍oHy~]BDIj)Rۈj] JCH Jp[[ߚHsֆZZБp7c? >~#tˮ[oSvw?߾O6/`}we/6oK}9I㠎;RC#;ta#G` GlgGh!햧cy@$}?];ؑJLIwwww8U#?U5Ҧw##vEYyC2ڷi[4'+JyjtDz؍ r_Qx920wkF6'Doֽ1:,by$YDGe\#;/7DotQ\v?G;E޽?bꝹD#:$ZŢ^hu쎦+ RQ~:q4Vma_ ?ח0}&Y;>JMwD*fN?z*Kdnr쪻\u>;v6^~fK~p>N0_̫`~AJOo?{4WO'/ٴ\.?{1ޚFs)U7)>] W:"—iv= NOwywv$z~SS?֋]_lxX˞yɻ}gmrBl+xF'P0-$a4 /p +C?u+-]+4KyA(L3R׎#E 4/8A @D| to󁝜02+tVl!5}Q2]"Q(|8q]@/R󏌢{##(M`ZĥĜqQ壌dqGt|\"H^vy9hmJ^zOc*0t}]Ŗ/ռߓ]~ 7ocËhT0nݽ7:d-:seKwu Tyi\Ykt\bO0v ;}e:vN% bo[#@A0]7nJQdNVIQ0fhqq里%{z6Xx[{(PbBeZgu8dwam\G0!F0B@B0`cRߞK]#w򹢐rxTߏt?YrTR2ԓdupbrXXLy;\&| j ʎRΫl]=<^p[ Vө{ӥY:CR嵤N~[scX '0 V0AHb~"2~N56H)vǬ|9È8 NGc\}{hLkmè!Qs!T3phH4rc4h%)%$%(- cߟN^JO9D/'j|`ѷ uSyE}Jje^VsW,<;`(!+Abj^P`QDP<1kmj06 ƒp-mR |Z͇:}O]g;xe/o‘xoófqݮ/ׯ]qϿ{~f3 <77ìܳı='zU/w%u;Yb踏?{5~sțcG9D:~5%|T97~Ce;;A9aA3N;/ys$+1y7bhx`V.+fW8&Ę^M>?(9 ޶L}A["e{DIy̷$̞푛x-3/HtK|GfO-cF\wǖo7, .Io3g*>Ov5)fiF놛/Ś JP!~IɅ@2hlJ΀Y2>BAcg#y=s5-fDᰶOC׻a}2Ҫ{c^^jD\,{ 흂݈<|*ҙG[DE{}@<\Z׋u]MW)x=;$F:GFWn$'<3x%$lTlokyeѦoMۗfu;(4T3Lb[=n3ᛇs 7Q7'EKm~*%BFɢG74b&x]~I2[fSM'c dMUw}8a|j9}>uwSt6(oFܤJkf 1ݏ?(_2iMZn0d'HzeE3zZ`%=db;t :f!|V83 ConvexSAT\ConvexSAT.vcproj T]t_hSq+vOHn6mLM%W\1Ɗ]%&O#‹sE'|Oü4tsYOx ]oDS$qdMEnkړ4C{/֣N T[q/qƓy׊-=8Ԅ_g@**l  W9GQ?.DÛlRhɝד>-i'{&WGVx벙y &>*w} E۫qvE3zD a,)}sNE>g=ar ɭ*Dq vldiAG46%8R#o:j%Tbuj XQWUpC dIOMJJUA_ôE'kE[tq<枤?wD~իUЍ5e[0qMޭ Y `>q,GBiDQ MeK̈[$M &dPLΦnǖAԖ&O a^{YLa/,-FǶ. mu6 _g*VGbT}mcW/ORfG+ ZB;#H=F¬0Wh{8dhyp0KH6 ,lVV#']Ѵ8dف;ȼLJ=q~ڳnU|xvzЖE`n#t:X۰.1bbbX/?/2sKA~qd h~|hu Tw2H̿t:2wOVp=Wk3g=3'7%^Œ>l |xngA!g-dP Չ\6jw&>3yIi%]vd:I@}+ꐚ×e?wa2>[ЫFu&&$38y<CCS8s3퇲M2YF8cվ 3g)<]3F?|7񌷬 :z$&L]|o b󐍧]=?"#G_{8ڀi-\_?6mjgP!sze=,HHt 5SY4WP83 ConvexSAT\License.txt M W|:۽Iu$㳯SMFuWth{Ë=@ sx$Wݾy5kȺ߇,PcLzQ sTF[iԽ$t0;Nsj6̢]ʅhTZL薷4U Jp~ 6M,M:E=.{r>Ī6xl{1>'y]zewU>铷 ai<]Ky{øG"ڳ)D&igJcfI^.:QIiyie;H4( hl2lԘ%c9WMWsJhd1^S} gWZY#MK|heɵ4U`Zwt1# =$8RO@?~ 5)HcUǖV83 ConvexSAT\OptimizedAlgo.cpp M <{YԜmWF%6rl ѐ@mS^ '$̛6σIBMRJI܀]0$m?'ѥ? ("goݛy'7&) t<٘ɽ7n[atܿ io)(:_sIw%D?r{DgstpA;9uc6;ht_T<#Kcm? ѪPSn8n7q'XX{Cʬl|fyTўIXc.ɶL>.⡅:9x}A`!p_rx=|?^yu0t!E7 K?P[8qO #}l=(mq[n@Ro+P(% 桶 -= @ qv zKyBnE3`kktYʛxv&[ 툄fڢ?QހV`ḰicaΣd5%sp;{3\Ț4g&fH)Uؘl쪓׉۔Z*bWp$#FSy_/& uS ƩTU*SIݗLŘEجT{ MLhl)Gb JFqUaT;ho\jiڜ28db躄4FQ르ii4iHU;co-!𑱆)+"7 x1^©Kڨm"QFO!~!Ul]2bh﷮~de9dpQِ8*0Ⱦ#YD]l*F$XqTSxB-ؚ*zrVchrL&Iz=1Ň<&ѿ|ۚI.UVV\0xDבdZhtV y{;=0&{@*zHdu쑆NPOJ#2L[Uj`[fg\-uEV^D ͌Bs~aq} j} v1faG➙)H A T鹑^u959}ޫSYVŠUrZ o-7mSAO!@5VL"ִ5ٍy;pD!`nyf =QNf;IU^!}R@)9ÍZ>IbN]HBȺ H/j-/oАKdUEHzJb${N]?T3z`NMw 7}l]ݽPJ7ὑe߽81 qȓ]XnCnl6--E@H%h_ FeʽXpն6 ӵ );fHihZF-#HV~=ENzCl;О@jα3=zq27δG%#n>U.dA -)i%7끙_Oh;K2dΖw[t 99x3ǖV83 ConvexSAT\OptimizedAlgo.h  v`<" d]9ꂢQYql.]]!!̽l+E}A]{PQUnW>h!}kJHu-FIAf>W` /Io.!8*DOI(0H o3ewN}D|ߔDRa KUt;\Z_&O!ir􆱜SC\;;J Y>Ghʟsi|9qcn6 489[ 1h>f15;yFM2ZdZ+y]Zl,-o#؁@).R58ʃoY(l*l,p@@ 5jӶODFOw2f"@ג1s`]?S" S8눴:sA™9ЬOjޡ)]B$u[Bt[7 *aoq+aa$WAع{˓ЮArSsiW|XLTɸ.eCcP4YX:t.\C:ѤX-%>z)c\( sI/⽧ix=(jo1~SRZ9n4SU/LcRG/r9m; &+w{KQu-&INZ܏g\/ KP`3P]R {Cw)ԚE0 N嗷șDMUAf ^Qx2& q$ b4{j' itt ; 7\ ǖV83 ConvexSAT\ReferenceAlgo.cpp ́ :P޶:9n^v(q-p?E w©t^9voF%x|^_>%ĔH( }'0%QC#k3)BG V y\n(.^ jEۅK15d<[X{es66,Buv9$#rN(历ؐˇucy-S {7ru-5<Й^a8u~8@ }FXx 2U0U0vFL4R"I(' m#4_4e&)+3g]t> 3A1CC}% %Ei>aB@/= ]%8${"?TiI&_/G y4A(%W1PJum,sP2h~Ks|0bص[7o_=qoQCO[Q%@%ɱ%~YXU$+v`g.k;wtQPV>pPJ<kzF[2 x/,Fc.beZ\-fNw#`sNF00Z!(|*jzjs9[&}}fGF^ߤ*rdsnL6ZYR烄Teac,Pu.rH}}opAВ XK#6 ?CZpE qzڻfV~<'}C1z(C"*DM+ O-.l>+ر)9iNG;؞pk$73pdPٔtUWr|7S zJ#mkE-L8/*o[t/t 9;hǖV83 ConvexSAT\ReferenceAlgo.h  Ձv`>Ѐ2.uB]W~$.忯ztH\-[c&G(+w*9T}x#Ys8@bP7aF'q c JO):$QT,\ޏmbhrq! }0B|31kޘ%}jo3v[(DOtb/z;X= ~iiZۧѲt >nǖV83 ConvexSAT\RenderingHelpers.cpp =IB 8pB2Geq);v q6_9\bM e/|P$!-Ϗo-Q, {9Vaq PaU~8VS "pC* ikuP gojZzm2 e}H/7|Zq NjK5M ZW=sey1 )'2P:eKkaɦfIx;tq5/~S7^F'3=bt\8(5RM.73݌:DzR!g5"xI=T%,+vdUfaau:%BڬC'Oy9$Cu1Շ>Bq5z{&faOmWʚ`S76/j?f}Pt <&V̖:ǖV83 ConvexSAT\RenderingHelpers.h  A(Uc/ B`B $/T&t# tzARkkyPL} 33po=$JϨHŦ .5}/!RO#v&L& CWGr28"yɖsh:Acj{XJ_f_-C627JRAF訜߭Iot 4 e(ǖV83 ConvexSAT\stdafx.cpp UT̾3¸-p-4 $Hh XF] rwIhNsGѧFRtIRfb-Hֽmu,p& gĨK{&R rrw~tb5팢1\OHt 2Q [ǖV83 ConvexSAT\stdafx.h  ri"@NQ IBhu*R$˔~&/鮉Ьvmin?L0߾UN7 Ș6$eHhg&ӡVȅo~ԺlHPT8ڪ<"1 5҇5C4VNp%0*KYO^gY\\jQ8v}v4M.iME;]HQEz"Y+={@