PKB1wcnfformula/__init__.pySV/-.OO+S(,J+UHKS-/*Qps%&dC`n@\XXusq'+*D+MWQB7(ER,PKzF`cnfformula/__init__.pycMOJ04ʂ7e[Y\}\S_Bڴ%Ie ?ЙaΜ 8tM10Ac`,>Pq)Td9zd𒝠Zcd @[׫,fw֮0G#]j#kӖtIWyut{pIpA.(ɴ@!1Bd$zF>V6oo|wͺŅ DNQ`5|0cPKFې6Ocnfformula/cnf.pye6 & R1h #4H/E$-:Ub+nj7qgZ]Sug JO}}' z hx\K8xu$'jSChd}N]ـ2~1 ؉ʄ`g0q5PP/!%/@0:`Ȯ#8, o c{Y,,%9VU'0Y-=GZ!*QD ]VtR+eF,"53hO⚸Y:c0<9FaHPV =}~JrcU(  R K@ג!DFV% JC{ b'u$ p]>N{jlE喭Rz"(GC3;!"i,A@gYRM(#F30]Z˙C~E !x=#!҃$4 9 Rˁy 3FWt+@r`):D{\j0:94S Li#tAQ_ ,yD "AqY9}F{AU~れ0 *$'V9rx}IցXsg-+E31p nq{!odXtd`+T%spG{gKedH[[Ծ%l%=LuKZXe䣤Y\O}+%>Y tQAt#=$-:Mpǭ_#@VspLxbh8Z@nI7i#x&Qi'6n4vd}aV5#H(΂ ".oĪMi?3xw߈?mWܩJSL_It6y(rHBjMxi_؅KxƳHثpKb>\A("%~3޴ʢZyE1OU" CP|rt5QeE$1:rbίRl rg,9 [06Z d0ƦZ~3mq~&N H_)q`-番J}սkN.0/3 e؋l$ʸ)coZa:EzT)Ġ[ύC4t-MΈhB/^)B? ­J:N.M8b8Hb|72N8氳F kq,SRƂqqs|Q͈"qUJ-=X N0-+%vI N*o(rArr}+ŮJ\O7ܗFA<5@C#? LH&s2?YnLZ:q(Ɗ女[ނ$kHZd9dd貧h>NxŢIx^2?f}t:8u"wSq]p5iΦǗL~Sa0F ?n=Ds1%4 L2 :t=h"sTנ%RzAƷ^yo΃ ;9tzhKQ8OGUsXpqb!NA:KdB &hkg6Tw6~m!@VN 9 :Y(_:AfLPi3l~PX@PT0kc5YFj%#]zB+o"+: X0hx=,O!1(5uf̯q6gwqГ-/gA'7jq`#٘ +X/>M.ųЃWWƠ^ns ElqUmmV!-rza"#_:HPzk'ʦ^;Quā+vDw<ůFUJVuwaYbՕF(#&s@z'U'!/J財þxa\k6,1t:4Z%wݢm n3vcB8!$O]K($x9lapvFӸ$H$4h bX3$hֈv2]O =Wfy ~&̳tv@e6ɾ'??C,~1O[ʥdyΛ(K]#g)oH6hnFR:UCV 1 lhh,B 윬A~C\dwG~@tSưPJ}~Z~'bZkͅ-@ "|B5R ͧDgb ɥW8ZTO[cB #{0k2,WM=ڂJavV1MLwouYCr4=(lwvt(Of(s,~h?11ʥ=ml$,7hf/fv1Vn7]/4-Ո`(:Y]u#&taL|X]Գsr]G+661>-S’!| ^Y'\X\H]/s*y׸@7W&`ۃtyzıëo_}hL{k4kW`'r]7hr* 76Uaq(Dmyc:gRq(oˡ7!ymI1 ܇ ! N;-m-&eՠ)Źa]n H,|0`QUo(, ,?"~>?a#9HG7EJv-f3qN*>T_Jv#S}JN3p=5צ)ޠ#Chl8{2&!nN1<|s(=ܵ-w}aEN殄^m؆hi4JRǢh f %ЩA\$ @~л;,h <P '-oaB%9K͢$c9c je/Hz}8>3>׊3pn:k.34 Eǒ0.EZF7]t5Ҟ!.r4hl"w!OY)n-:j֪py6ϲm1@6D#T>&4rtyudίSFU;/ և*azp|w(fm!H43G}\dwX1(x&0ws_rfFwK<捽nGG 1J8yk* g?>jo%[g3G丅X<w˳ZZ/hȴS!0|;>❿Ct6,NZo"$=??7Œ:) VOFn ͤ'KN˾CK_; =^enTQ DU )hV#xw@vzTIDl4?rXjrxP]V5z³1.Ä?/нWq4oDh%:䜎/q;nUHz7d%;4lfR 3v]pS:w_Eku`[ Wk]n+tn7(/ Cs-WW23f 矼`2Ght:ZN󹮄xgK' œF9Q< Qu*3}m.<w^oL!^9Ce8z/|.><蔁 V ̛l?-30U8/b(^f<碱9c领Vt#)=T[Rɛd$ +q_;hܯzgCbI'+a'q"i ?&*j<].G7Ce{I΍ 4j#ɢSNPKzFQcnfformula/cnf.pyc\]luK.+ʤ~Lvb_)Qt+GHe$J^ʖ#Ygf#άffEn-@e$ZS %ym},Z}{>4}C[Z3wvd1-P=sYף[9L;bɏƅ-0ֱ]Y\`Aunu1x ̅sǙ7ZsKsƞ0û̝eNMeV@j]\V/tR? |?A#;Qgm,$߀^ӈoVoVwzphҋ$6XL7v_Tnoy]pV 78S޲vA{A7(vM\<I8߳o{pgI- ֎Jn& M'Qȋubl>ΪiRٌ-nߌaH9(B!:x{DK$ɵۏVʫ҅ť^B׋NzoK~g;ݪ'ޕVvϟoVo]5Du^.a@~NMޮT\PUo=vfw|M/M;Hazg?% 6S;uH̥LG`r.?ÍNM{DD"ݔO<'P`qFbɸGL)907/1o9 c̝Ǚ{nN0%!M̛e ?Cc4W8}S9A^e0dfAuGIJb=x >!^%Uy=y<+ޫ-`#+@ j=ܸaC!y6d n|@iCM+QmnEL(F @oDԆ.@E Hw꣪SN\!4nKo>Z-I.hz;ZtPί?|'~w x չz;KW^1 }3ꊖFq*ԋJ8:B:㽥 mEx$*l"( X WP7{1rb'qZ#i".q5IReLB5<. lY|"K-f@[c8+x_Bo&ibl"{x//$qz-񶠋z:Iqoҹ[~ⶭA@T ZDۣwm?\14ݱxʦ̓rJ'X \p4`y0VWatmtIe'[6d0sޮ*r=XD~l=؃˭MEM4TVw3AKwDJ_H}*6Ҵ1\˫T7q2xmg cDpɳ0f l הX#`VA2KR "YZJt+ݯIQ-*"4f3 EHLRcCcd b$=Ԝ{MXL)?jh>I^H+ lĢrnڄ+ϲ28QIε GpBIE [zFc{#͆nQ(&}g?O@D4!cxkuÞϿ3Vz~jTZVѺX[XZ*(힛q?RIf"@iq *\3UU?a؏38Q LaajDTzЎpLco 5= ׭l 6ihM`۹SDl(sG64ZCKd I3.O/vᱟ(I*ꏧ~w9O SߥL%3# SR [⑪a s :#TmY\x^Rmyvoa8Z^_$ 5H,7 Dxop@U{|9c9<b/bg!]@7H)Z ByH4fO9_? %5ճǜ˞ZMMhJYBg]!yC?3CH8d S: xTkGӇѡ%GW/E?LaDt5a-EJ"F}@1d %zg  m 4.tAzRuW Q=vg]a'&N$v6Vf,{l}ba䗢_;*4S?)؁RbҚ^m @H ء߅ZvIW'v@0}Y"Qcǽ.dՀ1;([da>Plt4)Aj$z>59U d!3T{Mϳuӭ9c[=x<>EIs33GB.0`d;Qxl;ަ +RDa*h 法2#CCGH19 ^?qį+5̌PWb t]})$wT#_k3lP,^NɱuM5 $'ѕNU;i6$ۮ&,+%8ONhOE;* g%,$>} fP@6߰ ݯg5I;wpS1h0P3hΫL;^tBq's{ 7mw= &5_@cY/E2=so8 nO]ahHB 4-=%hl+za 3Zak\5%{zvl7jlϰs@4lOʡ0B<jѮ֢A#ʽɬfzi-6 ѻ&0D=9l fҝ8O9mR.ɼrPD|Lkmƛ кlNs3VyŝZL.lL! ᔨ$Blniڳ{@r˼ 5Izm`j3KH2˴mf#DSg-rw6?gܤ#{.+j:sjXN؟'i(LotPCG=Ui?j.+KK1@Xg0y"^DҤ vd7Tb0nݫ#To=)a(pS;⾈) tf a9heH-MAjĖժ ۀsQ;%ku8W+*+Vњ.Xt渟88v1ҏqiMc0e 쒬K%]fqb?#',fDھoy.4AV=;rl8wƎXe@>Vq! &.Ⲭe$eL([@J{XgoyH L=WvP^f@M ڰh dx˜Xo# 4άbx絥gZxʌQk%\^&qLjR}sT轄%00Wt1CaڪH'*~|M%Gir{u #e&]@2$r-#۠s{X^̞E"qS5ac d̢ $f~3W?F|}*d'fsy>{2kqYY#ϓ?k DWC"N7?mɞJgw_0p~[7d}~PEBӭEQ+4EMJm/z#|'j#GKNJz,ԌUf93)!<s<1qc{$lR E__?Md .gLBS>1Lǘ  7NhmCgJP[Ɩ"\ʾ;';Ǹ3, )N7I9bw1pk 0(?LZ/$`p8 tq|Sq*/VV88^ vhcϺt+\L!=@@-Ӹ:q/rZ CׄvZ x*rPTd})΁c7SJaB+/ 9:e:dH 8R1"BsdQsdQr ȟ(MjӤ~T`Id@!ˠשK9qd<8P/xJ8X>[pD5bPkIAѴ]S= vK鴳O=k*zO{Ϟ<.Gu<h~Q|KUW@qyz;8XєiKQ(Yaׄ1,2[㳴(9|5~ *qD@B=z& G _Fݦұ)k@ $G\H0-dHgJnV0}԰WeWYu<!%܃2N+Lid&"+$G쿟<ӽj`\"P"%rW+Hp R&So1E'{jX tPC(Vi]9T4Mp6˥sxT$0A?Yjq|eiLOE[x7S4:բpJI\S1Y_ T@w.&UOv qfMd| /a50Cy\0qP o7͜c52xhotdYv(N͆$SnDkY?ܰ%<j0c6hIYcl#XzqenF !(in7s[Z&^*,-^yjh:q3 gic< jDC,1 63-WǿezTȢP6g鬂`*-,+^TzlOY'x!^ 7܃_/⌵ZEKQr=&m78SFN٠IvcpJHy lcyxMo巙FM`|1^Ht' ZM˥r\.RR>Z~[S'˧˓WOM}Gb?J@yxU Wn! E Xzo~@9XEX]'<3f1zB<"1lPJA= w9fh`hHQ''KxY"&|(K*T#,@3zȷg-7[z=` F"rg >s%77؋3+bz2ȡͬsڹsE1{20s3rat/fCc8YO_'Чtɧn{e=Ko޵e_ #7$LP^G血&%NQs"S.Hy[tk"%jMWE xt&G l< (v)H RQD ܘ:4;;x6 ėag#OV.]ʿ}aHaN,;~0tGpR4Jd |~`LuJ 9DFk&1 JztBfĨQNAΝ,Y֛퓶II PCiYeІ".JaIf@ËYDtkKff_-?PKoFX*~cnfformula/cnfgen.py=ksF+fJt@X+ZŲWbY%+{U4HHDx0(y`E)YE3=ӏy"9 | Czzd:n0[$ed4\$Fay < & [q,MYdeogzأDP=Ųf_ꌰĎ +"hEv]GM&}Vs;JprBd)`EK"~i"9q4 fGO&ܣ&{|{Bc";==y9*Nu+޽ɬJŻW"H*C?37c<^c'g1ujŘ$UQ/N~YZN ?o p#A~$!/\A$p)HhDc x%hݺjf(4 .4DDnK{/id' i+&4 X)"xA׷'1!!tdF2d툶Ph@ kA6 LF'($.Re&3bGv$@3v@?>~!dU8_FtK`e,]?kϫdft5KyMfM=5x缳-x ~] mj~8l]S~7I>2@#]q nkXd@z/n7߻; Ppx}F~Mh`A/h((ȣ#G!@Dh4JD$/JHGDT%RssQ^j̀I0|h9acXA „k :!V-X H@N߽0/]*+Nc 5H0>#?QA 0&Ⱦ4k J:|9w->Za4eKZZ0z̼!h^2k܄խe{S̏W=st$dȐEf#1:i ~^VAH@fZ-P8&?So:H̹2$g-{ҡFFLK<{vucQ?Ѕ424PMuV "RO@S $xnOIm r1舂vD$u%!#Z T`A5nѵV~l(((h|1#[6Hni033&Z\P̠ae/CG ~fp$5'Ư (Ba<_J'̯\(g<pl`5hIȂ$rw[C~  >䤼i?B [.3f%IRg#mo$MftreÑ<Ot0gH T8D4wXZih`_G>qf #7`SzfayE2_$ ;fNd9Ԯ#~O͸cvBoGK~p%ٌ ϳDpQa`*BpO|I1>b^d3ی^a2ZiѾ'#00Z5G0#n*Zsjjm`+٢FŐ>k;d9܉ș@d'/YYV$Vm[c·>zˬ"k 6 ڤsg0ۮMc$% 4(X%X,ke(ڰF_ywHCDOY9%гv&bp^6rrs}D q^50JRz Ki\I%iVk^#] ,E#cO"z)#z8dzVTx =罅k̵UHW%`OU@auMsZIv$GrҚRx9bYXB<33˫L-j\j|u6ݾGa}zby O !JSZwI1fv rDyC9CF^-v:#Ђg.r%v|{/)ny?.*Sj3cYao<+19jܔU;bBiG+v{N i*>+u~.Kx򾉒{W#|v+Q8*bb-RlWkEqLqDJ,e,i4*8mpm{xN';:yC6(q H% JZ^f q,Q?X(DG G9̢,sfg<] - cf˪ ʡ--Â8ҀN'\QEF |ЯpJA`}kC= UZ6G7v]zNOulpn}2dl@A ` ygpUY,jO& 21|pZ0> aKXXmUBdn 38qy}#úig]vzbRN}'>2 JJ"LJN51NԑI zDTAVyl~8}rKcYY'`(kn\+pFfII Rqbi7O ?iT{shDUCbfa*rL~?~jRmxNrn%+b+vv&J? Pw+fϜw2~y)h<{!G5pE9퐢O3OR #h^"h4j^anV4K Y~u~aEQ>' M"w=|nԜ?>sik C `V71}uVe5S}Gto}/y>ozy~@/R3#ST~Ɂ&9 `,_00*fYK/Z2ITj&ZCigCL²&gwݒ0~)AȓҌV3Nf G#Qc2մ3-;*u(Y1 0Ng^(Fרj2 .Z,s˭/QmQO܎9iS9=<,jrXaB,@_4cw"EZ&]rfc^u./Ǵ TK2bU'mUt >@ ǹ츘Eiv\ڟUq.;.fb*=)P֥8gCW*m&} Sdi^kSqA3چv ^D<ϕ i)Lp~?܎lD(C[5MM e3r-,›*,ou\Q̲\Zˠl,_|A}ΐN€2xůQ& |z'&5OqAo<Ǚe턝eZ@2VìӬ98Id1s ]M"+٭01;T'Ӕ5o)ŔF97oO?^u7N[˲'a4rc#.%%r5ׄfv"~ivnvM]ju+fkKdZ/fZSAA=xxl@ DD=DN]h/7v]wQAQШjJ=Sy廨@ڃjvU=(6?n_>i*Olo Y]y^:1(^amye (VxċVmtIp&O M$iӝ|6pq n]~ͦZU^ k: W8 LvrX*nJjZڞ1-&[a{ÐcIxֹU[RZnOy\RKgASN6֎\^EJ6 i.Y9Qd5n9  ^uSpˠ7 O$l  Ѿ+0\(Jh0+lLho$fsc*X-=z[%0\jd7X&@J PְP7}ryl_c"V-lZh 0g: r$@Em[I%Zh0q/[ʄ1&Ǚ-Vl bҹ}DIv_A_t.<30Nd٭E*X$A_Xob:&{8rȳ &6ܗt?^^u{k^u?a ÓxXjߍی qiBS`ipO$mu5[TiE?)B-7`q^R0"+݌6\xb7 \MJpE򕷤%+Š 1bG1{+UpW eUƔ Щ j]ܷ89:Tq=`Ǐ3=}ae#o}$dH0دљ *[dKjSCTS􅛕VE47*,q(e[dM(ڃ~aƥ 5RȚQf[,{+ycd/NpD@㘊Cc"ʌ.#h OLUanIῆ[8Xse8kD"JN I~cDZ3MՂy<f,YL H]-e4C@xou[&3EUeOĎ88\sYwץ_BIĺ#ϋ,2H' Hb {%fE-'@J! x}A'1ٚ& i8,6at_v~Wt')^KE+ߞ/?߽xfcGv$O-qv~Y"yx\m"Mxb|G2%„044 j,ӢU={CLVC,DŏvϣSۓZYUQF6n v(+}O73+"k3iuǍ[4Cup=))C4wi{RUxY*w6BClߎ>IRt}扩I\p cTJT19bz?eFm0לn0!\.edGErrLLn Ck|"*^O otvΔN2[ +Шk: V ү45*x(OwM+jqzC9=&k趼jnkk K=wVQ(ڴpBj!j~JtGO8w=N~$d9܉6a8Ap>nb0_ćb(E4D< )ﲗ23ڌ{쿂v1MUK,hMA JR9E>^۶/]y)Ņ®g®bb/]+\ /WzF\;;;S:uch4@}͠ F&@3}D!$_J-0w&?sc_=>3 t3Z9o=DtU-j;ᚡ_8;Du[Uf;LdODmZ<<5Lv8{`; L@WֽABdːtOޙ|[VտuPz&#)'h7Kc1nK_`#bNf؎)L :U+~#ɌL'Atg[n \t+FxWP̀"88A^.7EG]UoO1G!8 %70Ad* bIK /WUDĵVc}g~6V`<Y ?ʇ!V>6+?Hxtg3m} >揳;,i`Y'af~kvOW_(47EdOò'Iy?7 Ukpq1k?0 f3=ޞfOAvY%!vY=EБ3<b 8f13:.=ޞe>+V2k$0c֓*"*yfMDN: T/0k*pFL3H*z&pVȬg#ϩ : x^ĬTEfMG>.1HpY/E.+̺ 2J$ xY/Gk`$A_a0U ٯWzٯ{:Ӱ>,mٯ1kI{PkF4 v Xu AufCp8seDLJpz+[-}2'_,Jv.<J|`Nxv޺T\K<_,2Y$190ʶ7X6FuE /ǂp2A/*%VEc1uzrj g]6y/]WK`y·APϝ:T )G8+{³%|8[5ܻ?NOO|ȜWǎMSx%_̱ѷƌ߇UT$S@e5JiS; H~V2Ɣ1~8쇠c-(75sBCcck@+ؾ*8HHgE i,_aJAl^RYЧ3uȜ1PVX(:yd;'|óoW0V[yo zoߒg̸\ZrYQ pY,l"\j5nˮcLM~)ȗJF10=l .J]aHx}^)NT( [Sxm%]**0Wyθ?v뭮 /=g80޸ ALX0@ ](tQv?ũIfΒ`*h">bm0+:gYԞ3\= v%+: " ȷKAnVB#XFgQ|!<``믍Oxn|grL+`Q2]įEe`,~h1p#:L4QW&Fm,X'DU`3fPRf9x{zUI˪!hRM25O&_Q`%A*Eweۯ 6}'_Aܹ,aPXU^D(8+&M3amHj3TKˑ|3g`\mO؁CZJxҫ p^{6:ĸI # )fi56G]>G&&#ܸ(!fg,S~٬Q w] :06e <0`?Aid_#i\. b|?hQ237T9Tuɛmk`/1Zɉdkj'|XȜT u/De vaUp^Na12ԕ-4րeHIP9ۓ*<,9<>1N5{$[rWIS+q ND:;b@[.[(%vx̸Gv7 H P`q [)nV,kbTVѢ{zRqv-D]B% R# 'O:E)?T9` ĘOSF|)O 8"'q,+t6s;9A~0%a % E$BwA&1C'4pűZ۔1nU,シT%+z5nR9ߠ]ɸ JJ#&7jP4]?zWq(Q<4XbZ HS|4|7TO"*iv@,0&1<>;. ͓I[B JXYtFD3G[fijH!%5T"Tq(Pڱ1L)bLl;S-Mes[Y.ET`_CLjDJVE}a=f@oy[rjٷmYzs_LS,::ݶeܖZ78`$mFaBH()O :弿.؅m2`܋&\z5Flo]P .awHW`pmWE!3؞$I2%:+s_Al`Kg8<`kŭi MhPR"vr~Fw9Pø5>~%i[}Pz'Ԑ"CMԑgS[37}k*)d_jD^Ĥ2^ԣWƿz? 9eһ^:$84̧%eN{LɴNm#M}d }eτjq U:MZHu:`79xEe0v%`[CSf Vϴ6se_g lޤoI ?SMCxrf jP[ 6e[VYV;eKD-+& TC!MVۊ, [Y*No$nÍ>0ߝhk^Cq#ӁH3L#,h4!*Ǒ&DCD%1m&ԁPKj:hbA/@/JłGG9M ߓQ4Iid!y"6 2 Z>B+A1-QMC1sxy"VND#-\[X6mY)5<@yzʘЀ DAa=EsbZ2[* 9ahHVlm)_Ms('p[R"6[=@O\Z4__y+MJ̞~ri "MyTLOT7[ṭ(0)Xp16Ŭ0϶M(3/a%8dyi1\fn`UA.ZT➇spPڨ>ǵ1U\ rPL=314YL=Ӊ70'1T&4TFeGۓ:6e!dIFʺi%\;Ddjc%&H ay}}Me#Ȧ lnϰ[;6@8L '!Ȟx]a7.'f`3֞!m?zo W7/Or&8z t*R{{ɐ0]s&Z{{ssRCukΝ|I0ï؅b\տhT{Ҥ9B&4.Py?S"B|tl+2$P'o&naৎkT@*1> Y#Ug4*^ Pm2[6BMg^xE4,"=ޥ ]@mmoF{H}N,9wk]3{>}vDNv֕LhIhڠ68 acz>N =ݥeL/eH Ô{$cn6`X:?PkEwHS#S되ݜ__!kL0Y jS|)Y - oDAqS2ɸ.A,(sx8@7!N4݂n0-%KQV4$n"e\Gާ`weF0m(D 0pJbL?}le?~4x(fkYp .h2aBSۿtTEy&8H%=rN X%@\zʭq?|%н7#~:R  |/iOT=GV24ăI#$ u8X$ +Gq(^~/xA.SRGA3L,y!xUhw?Yˏ0S~@cYK/gb,Uı)1QMv(U"Eeܯ]xC킻<<,H-®&\v8 Qp_'MVLH "=xhنdik"6SLq}=5Q3?}4_#1u@#jZJkN"6B`x2qpQ&aQ4m4qQ$NDZ)rnADDҘ7:f857 wX|C}>{:3SRGj#PX 6vD!Kd}^^Ag+6m&C"oyO݄)(L!%SDz J)b: SHߕ t2v7]u_f1pbeLbw舀% I7OK" ?o(x&]Pڻ&؃{e+$ Zc\B_/5e,p,T2c%ba^Ȯ_E X g H.WW#L?bKNy5N1%t/$UeAH  *Ráj~RC#U+L=+3\20Nnq!}6ګOt'vk= lrnq N)p 7 o_-&S(5!5w:Oq~3 Pk a!MH5bu3  KKi.z 88q 2 N4 GDQEH_$SQMH/dtJ*3DTԧi$2gQ!^# y)Z!lNlK 5 皐^V'}e@A;~AA'" 'R &/&4] Hڷ #OE=h,T[lNp._SeQuT]ɐ6Ю͊Á/ MxB"[o/lm/=)w c|t{Pd[Cj^Q$aʗ^{Y͛#$Gyp߃C% +6hBOI{%D?VLbWs = S/̧<W޷/L՚Kg|2LrM`ѫя3rF|\\Iir\ǣcf.m= oHLEllS&\ ^9BO:2S(0MSmD@eM]L 1Zs0Ԑюrfad t﹒=dqg1uӢYm,Hp) o6K:,Tpϡ(Û͒4n(J?ބ5O4"@YґfKQ4Z9 EK2 sQr,!e0,&B~{')x^w] =bXIȃEܮQN֘$ $/;[qʤ)OWIVBT4?.Jݟs(ؔWޔTSaS,jOy"| /G/⅜^~ T}~ /////0@݈a5wW'#wMbo(,Lww6l ^ e=DBfNEvZmUlc6<lx,j'Tlעݖ_1p;wqs7)DJ3x9O]l!1z:U۬NFNcB>֜T+o''{;ւ]ov %r.Kqos^4%⊒ r+ u/Y;0tĄ6i?!YID 4~j0(Ҧymr"lj}8.,8q|輪b6z{5cs6M53T&ڄ2i2= 1q.2d.g_ %Gʗ (7 EUk;[\O &dc6'/,| ;5 #`@Ouynacaϓˇ>* śi>A WC$A CZޜu` /~gz< 'm`GbebPUO0 :p7bd^>8akT#?8kBEs:w]ao9^ ]q ︎lblΦ2mԍq1(e9zY0but-eR'Ψ1=rco/##s=cn.`v,-vb`?`7͓**Ӌ`qSRaEۦ+R?Xς8Rludi:y3zю42 -i~ .xNعV<ۂpn01VYX?Ez@RqRZVUߔB'l% o& d!o{ ϛ<:-ACvc%5pꆺxX0p}v`ʌ8dMz]V7ϝ"U"eK+k٭:6!f~hw] {i*7wŗ"Ϗ7n4XUeADV>Hg[. 4J*KI|>T}OaT; 9OKaϯڱqnƉ%5C W]o&-<#=iYj`JN _zYaGIh'Tu#!庑k=h}sZ aI$o!q{7,O]+:0]q="|MU[F#S \XltOo(aI~ـG`yr\Np\buOQEU/jaFJ5<Ӛ5`.BwAw?=vPWj4UMP̀EeJVYC>p"cSg0ur%-rp?iz:Ǐ:Z`~2Y[r8 N1֚S`qF&FiA_("9nmsX@/]Gyk%My=`Fѝl(f8ւQ$'4 6㜢A0" bŁ/p?d~\P N-A1U~99hL#~ >ئQ+C}SĘ&=V7fb5#C-,dx“R$e6Ȭ#::\/ Xj*yڹTclDȁq;xg q ^믾ԉ;b ?dC҂?wU_U]YG7:!J+7@wsTcGu{`[ "l@7t~"{CԉG4 [+]G! Rϱ #ej?aje* q{ X7=hCPuNO)Uޫ=Df_ |ks;&Z9.EǨ x-uNr>CT"G-UHs2E{ۜ%8bxy/cbmkY ?f s'a ;~fn-ژ`0Zr1(HRKap)9(HQ|bS7 R^=5ƝO2l@ۛ>ɩ(?q M,) =cWIHb`I5w鿄xq:{X Guv6);HCpo&e)U3#ID{Ԣ=h$IIиcK5cΨNe[ xyY._-&Pk/rS:`tv :?#6_N@~l.c: BS]2Y``"GB7պ^hi}ޫֻ&z׉=b T ɫ |կ5EJx E"V%w֟'E\BKlJp#bܨ]]qKV/_DFc8|1CIuKqKo>4!?^.r;BR9k28tr8&:,hT k7fn,ytz  ooi1exkGnUķB[:~>J4( mJ~x&`&< 3^VBgVش゠X8s塮=w5Bu `t4*Ӥrq7y%`'` -^}3dWDN;G L;KB_z~7ǹ$QJ/ r%yO3%lo3$7evƛ2;_gufȜMg%q3yUJdiM O&YSmQ,^<;;l@ri=[BX0:_GrGM@$bd>Iki4ēT"^V#Bvi=ھD!VS2tĽd c =Q+kYڽ(( WGmsWDl,1BĔ/=)e4p^[E8I8o0^!8N%~XǹրKq~c8-McA]qur{菱iaRKyx>O hlq֌ܫXSu`PcfIk 5kD fkP=\c/&Tvbs\+~&o#w{6Iiܖaq@:ζ %uH'KIR"-1 7<$R_U+҆d -):~q;,BJmW(2]SLA&m>+IG8 ٧Pڠ Yf Y7}4Շ@%xʀ8g#7iDZq? J+8@/5g$pȔ 2zd71Ǩ$;cq+Dq2lh98FGuPxH*ύQOPSO~#tkݏ.8F[y2 EBO.0~ ?qMeu[~b+.ެLbXp˴+I ej#îK#ī. yٲ^3wlD Qu$cE: 09cL><>ja/o HP J6mwrAMF[8qv$IBn MT cUh{ Jqq*:G6iƋvLM/h]NGa sՀVzYOBD7X ,Dv%݉m_bob:{5<bW /s7!;[UPucfd$?NtM\5R!HPwI%O\.ܐD62&Ks8wC-rdr[\>!*zPZ"\kQʻ'Z*XÉ|iɅn\UGT[X 9!#jY ܦC=TF僧M>8? > a@n+/{[PK Fflcnfformula/families.py=isHv_KՖDԜ*k)c.QҰhl0q x8HGnX#~W/ѦOnYv_Ҥw;fA:\zEl:]lMΧSY,äIPЛZ d?<LhďX˼ Ֆ'~ɧ hm񢘖+?1z< '0 47~F!/ئMiYkE z2MxW߫ѯEy Mʏ ~gZX4 Y4bӜgq9^C|Tbxc3/EO{]%]<+ٯEhG鿸zuu.BPdUC,IY*kE?d#>,wڥs{iR+0 =G ߮8˪$40.T.lXOX ϥ=pP { @"7Y P["HJ?6aMbe8J l@ hW,B> 9'0p Px 'eE`ڝdN ]tцc[;ޡkܠ|}*Ee4%"۞QcG.92bDq1t+Ji RhR/2Xaޢ,Nf!?{Owh*|o|cĎ0l|Ƌ??N_?/~4_b454і%eP3Ry8HZWn$ʊ"]$,цJZlQ$b+eeE7hN,[26f- Ip\zps;k-O"5@É5̞IƍBle5 dӂ)t fKT-X ?YV嶼X֕Kn-mzW»ܞ.)[{™Ҙ ?6! F|-3+LrH g,_k]K|U!. @cn]/mUi ARQ7£sP pI=`&)+j55f44 UI=8>CEe(Q B d_ɣ hQխ%o.f[zPg)3ɲ1KqsTŝ1GX#@/ҡ͜#숙~B,:^\y|%`Dm E#l(0 hh k4z\;?Fhm:޻:>O#D KÕ`@Zy*c&.^2(nN$5NS+@vhBaZZ hx#7j'`ZnpPl}+3q!-RC|"ֳf^!H_aF=wŽTSkjBTT z* tQ@jȺj~CJzŮm槖 iDl=spf+R1d{N6jX -N\V98 *XY<cTL?Oc?{)6Pl彜`N8ֿcO}ק`!Q$+ 0 UG@`HӳM!ʢ(Pu(,w&aȦc-U{쭆H2F 9  %\׀LKǐKǀ+0ɏ m tB$+!%q!t•%Nj"g[4yUaX3@:CsF悜Qpt.K_1VEJ+6ˠv8fH'uڬ?j4χ(L{|D dn!zU @k.'@ Y=iB,7C-M*jg:_F֔;D5@btc:R!|;I&>82!ď˓z{\Pϧ`31 ]w1@#ʵ2oR B5uvF*xA99Ð(lEVBnfOvԜ{>C|֚(wLכ[;EGLݛEd7#j1/p=7E  B0uSG u_(JXnIhwid:XGu1@2ĝqܬv 3~ m$ClH(@1Jzj-9 b.gp bM|cW=_ƙAoceK.\GϜLc iU3Y[r[={63B1!dt5Dp<@,P@Nا64g1){DmM3YVc|j=J1g!ܚ,To 5aaDxoխkx6ޯl~;~h ګFq~IQ!qʺZmho)N;kqkW߯ J` ]BQW(vznߥQ虙-zo& A!$9(gmC/h1_m&\'n;g>L@Y ش_t'dYnM]դcaZvh>$ϜTkSjc>gMꗙԏpҴK04<#7pb*617uG,a-rAx7J)yjc^um[oDԘr86͓R:lIw6-tcN1E/kZQ $Њ}j L$*h2- [of=I.kI4v8لO(MgmW9rá( mP+hq0~q[l[Ӣrc/>wIsNv\m*2]xپ^/q&y/?"Ydt8ә]lX52WdX9SP'ń5U` j*ܡ.Q/xQާa j/{?}*"QX"ճ̈́R(/dFEa\ZTPj+\7dgx:XTI:?Tf1~/BW.G&;b69I :BŞoyw :.+!+Iahd񢇚cN.{.;=S`AԀ\chCR>0_c!iLiSٜ[Ё}PƌIDYBR0.W\z(2<Q^_,S oMꦫ/¹KlƚڸV+(, 5*Dޚ}޵ss9_#Ώj.k0.MH˴T9+?b| ޢ2TuOvĝR06j{7k0eSf0rgMTzP[\mkEl6UK"RʩIz%;NnOCmƴQ["b$iQjwmFOL}"(j,Zd]Ds 9*U2 3E⮪cͽкvEȀ!X{@fuZVUJRzG cVx-f_I43; jCM(>^ZͻjjSf 8[HhhgA [ڮ鐶Sb۸UECD4W290mgB[b& Z;Z;7`@3CCVItN,waO֩F+DW_c7 l PD}T?=y21zUiJWFZPZ5RE6MggppY_px[!ڂNhO:+[Rh):fk1؁X#z!`M/} -SO}qzĪ<G94Aɓ'ۯzMeUPѨlwZ>~:&y~d 5IqKQgTS1yzbݥ9[ Xnq)x0 "&ݩ{{%t_jz8a5iiZ.ki8%sppp9 gս7-?V5Z#gCTs@k٫U)>\(7[O-S(sb78E ypoO B&pUR<11abO%@e@ Pcb_|0&(; b^ܟ¡~ˮO+1 DX+LsZ$kn{Ȳ3c;YU۷"/ Z1gE0YqٺsnIU)-?vfT jQML讷 FհMS+,k D/Z\DCxc.qexC 7`ڰ8,1pARnjMw$Tc6zżD桖vKzqa+C8ky5@51 %6evm*#j\߄p Uw3 BxӢ'Hb("S ǎ+0 X,ԅ/y.uď\Oǁ*S] F4=Hȫ:t+#;Dql?©w}klA=ZU&C+Z׶֢7nOS=DK3KװєFRYqmѯm#wza]5g].Keuźj]S/X/b~h;LKل+ه9k=T^$M}d^_ܧMIMy@nMOAV@%):fw &@GEr? .\QEO ܮ "Ӕ$%|($,kX/AǠh؃+H %-:Hv'-$Z&?Aw 鶿0 TXiGKhOWOI_/kV_O_P?%l}Gwb*Gj~xYU.ߒyp&4CT?~|a{mAT^cvh5a˥w|v,xG;UL /J"1E'QDeMmiu%4/ZXte՝/K I Z6۾zrZ R[/j0\jnP8=}k0_29y帜'C:ֈ`:Dm%iع =,h<@ʪfL!^*[xy/x9A |^͕&4ս26r2$˂Q07  rQ5þ(@=C=S=ឩញ |JXSLx(`֠k95- Ԇ.!%7D.[1 1 M"CfBp.xBYW,Y-`=;dKLg# [|:l@ `2^IzeLyNIDŽـ"7:xϵ\j$%j^uPէup@ ``sz!r 5JQU҃VI,:8qGx@a֓Ij ށ{@`n9H@nM#\KCFRӠsC#Dhf;!` z]͈P泫jS$ 2ElY6Qy7\L3КO6O_Rfgڱ@ܛ۰õJKBΘx.pHRK0eɺU[hĔEv%u?a\mfbޤ*dp"Lj)(s"5KJQ$"В{P׬ }U|J ~4 %#@ !Dgx\2\NN1wSE:3t'N>T7Vyi/KtסŠ_ٮq?uTfvW֏J*kL!%WvУL#݀c%Z>!a28Rn|/gr/_XZ+LqD`V/ )/W|G 2ØɥD YNe B@IF ((_ek/b h/b~ ,':qY^6G1FbWdm?:I XP oIfy_AP0ðW?.Wmp̤\D8vS:u@xAe`EYN1E<h1,2(DmETC^U>!;18M(;S0hv4(@=Z%.Cd9< :Ila*gãȀNE#R4͔+ ݨ0!p`+աxvjݫ.v-搵zSʸģ^Ty+B(E+S(($[aĪd`R]̭-8=욇wa H<$|+[ ]&WcFDn=/i)g+Ic9w6mw¨b7~`|!OofM2%;NJ-Z{^aI?O`((EMRlN)"o|p=o>@ T(Z$%ǦKе?qsyGY 5\0 I{4*QB$\hߔDF;.Zar.I2=1!~y#cTOjiB]j S1Ә&}-b*SޠnfF'#9׿ p)//^`!Te-AѳA y5[_3֫!O|P¨0QM!m^ ‚@_{@,vKp8퇱_n;3 5o[,`TT$Xp)!OuD0LUSB)uh4Nw=[= $HMDq//s-S͞|lYx 4p/\6GI/dt/Mw*@ `oMƻ]C[&>hV=)\u ta#` !AVb;uwMd{[sUgsVwj>4k;eVE2C=zLѻshad V#D3BYTḫ.+x8`)J¤y`̄hPo͑x~ `qTʸ7x@Z{a8ne7UŁqָ i ՘|~_IyDלp7ϳk_KD~G .C \Gr׳h_2H>cL16Dy uhpP63Ձ lL(PeRvȳg|-+إc '0ϕ*TцFI.9 -_։M./,!)#6 H1R_2ȸ؟<KzѸ$E/PΠ j@@-u"P:aS1rwV;fe#/)Z1 8`.)tARG(b~ =@1AeKeWKz'M!ݽ-w3Htr,qڒXg1SgGLgewwiY6H[~O,$sbOGrX7 0|!)r >p9$>tZ!aO,fr5(Z^h Nk?>H3M^OCb=+袵"ζt>St~d"kK&]1חL8&7]`{9K&a5Ek L fa4Y+J&/(vJ봛-Yy~ =#,?i#%9GX1ΑNH ]yE"t~ubxi ='v5NG<5@˪ur/_f/3}"3 F*<^|4LMvbѫK\Ko\3c&z b]5Ž|NNe=%w,v !k-lA0exZy$mWÏ_];OK@ NQDl5H0rv_ iZ'r[Bqco^$!\AM웺T"`";_=AK ,C񙓩}Ɉܻk-,i"MEǫlfWRlC9Ix?ǡ݊g`=Yĸ8g*qo47]ll`c*5װZ?#)K|NاcH:Y;RA'_[ߧ>MO8vGN6&mc-M =ܪgcľiGk4_o⮁/Wfqrx/݂tv;E#k'Ag<8i%Rמm)C:A2Cr`zzɕDKJx7)Sh/N?"r7pgdRnQA ?fLgCrXҘ|"u,]G(9b FH'G6r/_s^.^%CfPUpVzUm:8]*(dF!u[zUQcKy?Ma )P2Aس$Y D8,JUݣT 'iH3Y2ϳ2N$sTY7،>%à{̥sݸLy[rwLgbkQ]E靧tv)A2inէdI[Y6@>%ld1XbpeNKZ0j)|r汾a`%e(iMVO~pP|$ г4nwt=̴:j7Ќ~O$nB np"4x[-{;I1(_uˏuG#˱^ ;4/rz+`#r$Qs8uyV dmAe(IlCE&HavC5<1+%a$>2r|}bMl>e$]ح] 6HH?CC *NE3k :< >pPQ պWZKId?WT3N'=CvOK4(~,ȡZ&$4CF)L c åY~_3]>gd E_J݄ 4>t< 'P,r~YFzƧF/< ܟPQHC'MH'ыwն,$"M0 ِ$q9`<"S jVjz; 0$t$϶ rx(ɖKE37>O%Q:V7+vX#mCd&8[xL0>E{;V= )F|=h@)wu3Z.d^]rJ8dw[<u>ҧ8'0P<(nXiupr ;(;tT G!1a͂yܼzMAͭf_ b`Fd \ӷ)ۙ&%}L^~ QbqAU\t:D? da@XI1N^u\wR{_jV{EKe[D#d jP@~H2 zY0n|Po]$qHn &~_.on>ԔIK>S t)aA{G5nٗ]>᷍.ȵz en>4U(l&%wgM 4=>1a`8(#Hcdw,wMtŵOav3)ϟP )3)b i|~=>1Lf^܍ E5)H% ui&(̣g/虓8j6=h_bmxzjm4e8G21 Z} ;Ii*C<~2P9̬n~4%A@=6QigU6 :(jФ&I;z57gSho%Fr׉4`y_ݦ#) 'h{`)s(AtR\O8Wpǰ/ k[fuOr[Uް}Ӯ+]nDy#.WiuO {j^Pe6/^QYCF5GYxkg4cJ0u Fws1!g\?cԘ6'sCQsDfN'srHayN^1g!FפG~Y6aXՐ@Il '2&m)В>Ql:yYSy.C1)ōpvLjD[_,OQ+j;6D( >ʼnA?q^vXHp\qQa]ݗ= yHD(e%҇OY%}_Ĉ-?= 0:S薛A.Gd}PGr.\DbZa vJ"lFY>G^Jt4oVӫ|8@EuȻbG+pws`xlO[עckvx8UULeۋlnMO˃ރQd#tԜl^錥3PG)w K?6",5Wض֚Lߍ82OcsrDŽm&jw)6Al[!~ɗgbƟa,P9W2%S'1eȤy_nqX|yu#:6 ?BxrγHNxab&v|x̂4b. <9YbA(p$O\CP]?PQ6SVgG8Q\,ԯm& o|;,`"j,g\dyDB>Qa?p)iWcz8 x8E{(-M"$EXEZ"z=NXmڽ#[BFGYV~VbHǰ f]dR)u16ͮo~Hq7_j?fYI1V˷CZ' 6",̇AYj ct}vݼgloDa`}X8p+`&pG$yC`rZånGd1O ! hUQDAq9V] PH켺2o.ތ cVI~]{:knhKW~]kn@ jl|P3+B40B9:p^'?ʹ[] `BpE n(Gtϳ9].َ޻ Kgoy/㞜 vɋ%agm@sܯdFx-DL!K¿!(T"ùf?.F!#aTe%O*|sÛE)B-fӣJ`{k\SuuśIH*f|Sh0$Ɓ/G=W}A @=B /G@V4&UZLT5ruYԌyiUr5U@2Bxan ?cLXȧ2;,Y]; |623E,4YآxrTƞcĂAǛ{o!m-]0,#]byY>!{K Ymb1P$ ^Plv=bt)Zsk_,ds<8~q493 B|z#]4羒#CKvq(Dh'#QvgEeEsUBq¶Pcp3ϵԾXm쿶 xMUzA4 b$Yx3vU4J4Ny9,yH,.pP i|2:c>3F(wyRcvuT' .5? LfD$%Y; pu%51-E7C]4[9/Jb ¼z(l "o By Qsl%l湘AI :ڍߨ}[`GƗi :l9 wL~Z2.eDi݂Ga;G.{" 1l& 5pw"`;={~[w9]v;Om(2E+CS"\|W5vdDUZh8:mF}QJGK.<An(tM]JHsGB8I_ћCgg"&z-;>VDI)~oɽq e$zƕDԊe4 Jb7,GSc[- "Pљ;V*7:;)Abɴ]D5j]pqsjn@E޲'WstG:fUK?vuMo ӦP٦̈@j7V_ußeӑXLɫv WTŗKARD9Փ婱d I 1lt-%di:h|:"di#/?NjwDk |Ńfwڮ6)WCvtW}AC. stv<\4*95;FttEeٽ zoRmP֮iff%}Hu*Q_(~ ]E`_6c$eLܨJYWV ]oQEYhHn߂OqWSQO’^Gʕ=l.vɐvb8e,R|{٭G7 s(LK+;%RP\>ߩ!rXS\>ѩ6^ѝce]jDFnX**xewnCa4iF)XVfQUTg,~^?ܗFyG6y~wR*o֣&Xp!%[_݋Kolfٛk|R:3yZwұ5:%CSg \ VJOB$E焒#q% 7Jp;T11U$GgҪ}82.76q`?H>$#'{X>WisSy;C ?>"<@#6 M|S( 5BLF,؃Ѓ%vl9@[2֚7@?ƒt1R9A?p"PG()S386AB}^e Xrj؁b\,$jgji^C:4- NPcir_ Y,6v)yӈ HϬɜ9=jZXߤ /2n~$GPMfDUxe*H#}o%׉@I907HwnV^H(a3le_]R͟SH.:~B*V[`/qFWl{HMuQUiڴD][0͒V>6CVebl^yZ|Z }?#MZ78XpPW44*]bQTV>A g7 Tb7#+zve#|vG`Gv]/=vOeR'7SG=t.DNtP?zYIObļuwjW=.;Y6˙#bKu ;ul ݹŒB+W~ljniܤX&! Zj@;a=cST3 ]ݠ +p4Uo%q\*V@ (0W&\ل? ON\׀܇cx[tXyBeIfd kqA?ϽW!}{]4i78aaQ;z$Du)5!_t"lp}HRz "%/'aX ),@Ezl#CYܟ8/|6xL8D%)Rґ OE,uyDZ$,9 N⡜KbviF,-V^0Eθ'hjQѨ疒9* =ǽӲÍ8cOU8Qu*IYWjUvz~)G g+)`g [qg,=M(YQ[4BI&GNB /GqzGK_.z++/-z V"ْE6z8 &c%I_7ldB|ŏyoNdu+YHHDZzߋ1fq2k[+76v#=#zr&A%SgiK,ANt(?"jSϋۦˈ Ԓ!E;PA{"h2Mi>4^o1 Z6˵&iA2HInq_b (/HZ;s G#6ɮXzerva'5ZXiּ 񒵎%&6euꩫ0PSd=-O Eֆg9r/$"Oy:8j突^ %'Z \4G(cH esH! 8>} i$gLY{{XbP bE$sb&3r=9#b/]r"6YCtL|H\ekZq@w}V@$AA@b2.%tvK12H(?C./&S?d.AmTelgA7(ZP!:| +EqkY{"( mO*Wb?ۤP/txZs< ^b򡶏3a4'Rm&凝Sre3 Ȼ77}֟<|WA*D']NЭ'y)GXNe|J ;a2teyn:ɣ)֬5io 5:I4[t`ԧHnTDIV$]^oƍ&O]85BP=lD_ğoʵbh_H_m _-D9 @zwao8!i]oyj5dst?DVvZTǎē=gjLf֝Zi,O@F`d7zNv?2Z`Sc#7WɫZד -֓_J̟> B,Jl v` b_)+gcǽD;t#dgˬ:Ar\{föb߸ dzGBq>Eku_U2AVY{$/Q Eޫ ɖv5A^z\oԫ_&vq,<E$R.G`Ouy$JKyqOFՃ )>D1%Ok̪wأk`blʽ09o9cgg8 ` D~8'9y^ʌqRf:g!,ZY@˘r#)ZB WSU:=Em$JT [MKoJ+1T (Y{P֭fDB;~1t ?F{ZV4=aaǻ2Ϧ/"6@"e0v~" AxEnw}(CEC_ eh[lCRɰ"F@!-RʲMAX9{&\r+>[~-[A8yBs`f|'B.b<$9"pDSߠY±!$NՒ\[%uDQLa:ijϥ"l]x w%! 9NS$֛`BAIx-yG[kQ,gE4 sp !Q#摕x&><FJ^ZY63,E8.HpF7u %859QɁUʂa4%,k]Vs‡ V6Nk-_iЉjP\ z؏f VHz _8@6`\喙$qzܥzt\N1.9)or?B4񅧓wdNH[z]+$_j&jT};w\o|׾#?p0oj6_]k'JLU4+T*[*Ȗ>Uy  #ϕ=S͎HIb],13GC̚l5}ȱrR1MgSsDΚ5NY җ )\ҳֳˎًgDŽLlZK`ΐI%)/~dT%*z8Q4x8Qb{J#RJ(a0<$Wh!:1y n;($46sLt'7Q:rS!>*o׮HT PQ/Gohc^jv::"=y^4`rt˖.拓wDjJX*-t>cL5u[/:٬*X5AyC#W f`3 g. .ϓ;'#EV)Z!x، 7Vg;SY/qQ]:5ƾ9j#Ζ\-$žApN07Lu]]żƄ@B`S(]XaLD+qzKO=F,M_bl.yۑak7%/i )+R?G#K*8Y-soA0&! iy8!ϘgI+o1I~S(zV ig$9jE!fb±*o$PLG{AK@$L Jne8AYLfDȐ<_~0 HHsn+?";U49MK_d5Ui]e/ٹcT,);CNg$co+`kHj ;I~ 7rJu{Q7ԕew=UV$M;,0_Zi>dDdP5<r i`!no Nnz=Lpc %]'tj^셑2m/T׭ûTa?Ngidjo*j\Mhi!=M ᄚ뙍e:{!9wl#qb1XAg,*+lID/Kt)*:|u!\p/ύ,~^bts[>[ )- T *{0m|8^To:T=!VpS&C![?lcZs1n|L5 "G.L9K w!8FABl[L2pgV?SHC!}P+I4Jp) OG?}|5;;`I9V1`Կ#ɷjbZ>ʰB(F4YeК14Nۣb1~!ږ9X#uI }U^MI尪ҫwwkd-VW=x`c7\|hoxݹmZ{\D/ww^0OT%Ue7p@ؽTEq/%Wɰ2rh:˝|g^ZVwpbIX\;\>".zZھfnZUD ࢻ&yA X,ΗS}UzF;-e(j"&@7d FIĦ*RYUЧ\%E}Txb=66KAR63K~s('>At=#AW{n&ʡj y`x;-?O7-p(㩲ԐL A5$ect!3 <;E!zҐ41ԒW\Xgg%Pe˩\JdգS4 vլ( ;P&s11!G2H5yfMh+mv,!j?pǡsKcYa@QJKxhÉkM\OmGt)Q`TA}Z+xJVP"qV̡ABB+eR Yjtwb5: C4UzLϳJHo{}l-A)yPL=7 J٨"PkZ A35 LAc+`_t5TUQizU/xRag>X$,Nc=V'XB@yrt{ L̯cゕ?$ZqI>"v>tay/LڲL@)k_?Q2%RJ5q`0'yCDwxH tM*oN{8f"95A·-@dF4]HB6݅]/lg'ˡ&;WO4w FDg CT**E!jͿnf9zu:ltFQH&fGYq`@ѓfYc'[k:2Bstv).k3B)kUL&?E^n$)~>N伇j &'ncDob\]7TV7鞵^,vp+-!ֲBrEm;a_\1' -1(Q\*66RRt+>k9vf7S(Jhv"'Mnx<_T&!W2(kZ_Ö]FGrli͍r,Ѷɾ1IC1nkNe`o4o5Wu5`U+#U튋%Y +>)0 缱Z@+Xg)Y bAqo777 Uﻹ.*@_(:tIE ydcGfcGP[HI.j=]Ж=4zދۗnXBPG.;ř.G19jT+`Q~#NA!>}5Pw{tl٭5,d0#lZo$@suiě`_ep a||yAk#[,c$ock7EAJZC;~pޤQ(ml(/$'I`Ȃb')l72!>UZ2gG~׉\)_M)40JY~hTXzȆW6d!0R,+dZXlp9,$P{XR0G>j֔L-N]\ 2!!O)MҪ{zn;RŁ߻90 .:!hBqֿ8,o/ H: WIzlup~ow2d@Ni{ fc+?PKzFv\_Gcnfformula/transformation.pyc\]lGr]r)J5k#)S))GE K,;P3˙Yiq6pA%AKrS`CA!@<&A!?U3KR\%}e&t}q]3*g˜q[cac/11}f癣S 3HIUP[`vA'QIǘ3BI(I'U$wS*@1MRySxRc7]/jX?x!JVwJЂE,{}`q<堺(z,3!c)j=9Q"h-$8 \P8K4(;5$h@"6n9a;T¨fJ=vsƟ[01kŃ33_8>v}#^s$AfXդhoEmǦe]4 "?FymP?1g<Ax?ql@D4"DUGÄn`q_ģw)rT|Bb=[wǨZcYg;y (GTr^#@4 `צ`Ŧ|iP@CغZIQS 80͌,J$ڇ I=2"CJMA ;x{  dhKIk?bW=$?%ZLMʖS7~ h6Ѳ@Zu ]1 07tlIm삼>aaHt7Vy;VzK&m] Ae kģ  t"@$9c!> H+;9YfAp`DE C kX^ ^#߇:D:T2M^MZ=uGZ$pW g@VR@óu2ED>z֜  0E$[d(1 j2_YRˀy˖m'ma*Ƒh &Vؔvk)T(;E4iq K#< "Il=βbsHeFQ l6 G-E ֞ Ņ/(h ER L| ?=u^|OFO}L̇#R֤ 9mԋ%icג0ALMm0nLN\\-%UcDB7pT?Dbݺɀ:'"$ȕKCIS!7L|\#z7kGEQCv_q۵zz\j [!?Ndh.Tؔ"N76BN! 1n.裡bʚ/_:0~[ֹIEI ^ 'PVeq`L%=˒1¹uz$a:5"69p- մ+1x00o)b l*;ړCqTqW !ΠgP #uyE䉏R"6RJ0_DZWF/2޼6 aǒQm^')7\M4H]G$ۤ!M}43+3WQHk qi<=7H<qzwNhKpG<{n\k⤐:FL#4m|gҝFD7 )ﶠ-E%C(d(­'X)>O b*$yqRu`7o =\ ncq[ u%BȌay ,^ $_eƴ۹Rj: pa,\m@6'.iGUL(6+""ɺ,(|70X zjD8t˱ql0KOn3VDH0ػYEȆkFQ?*2x"R|!Ofɩ+QΘbt|CHZGnR lKoQ^tdаձ=tQgfG'uIlrCqRJ<*! 1b?Al숻}B3k3R׏HK (J1OEru>wL*Q Y1&oNaWuJ%. 'Sf:\Å߆+Q{-x죃e\fW-4=(V =:oY⼽yҗDv`2:qR E.Ӷx8g!ߝ\.lj g2: ܣ{׭݊VV3r6VQQt@9SkեȺV3jaPvzcytWԘ(!8QJlӏ`k UG05 H)5 " bƗmpɞo‹ BftR:.,ҽΓ+G~H p-ttXG =Hdz (:,5E9-DNu#w+c h;"9qR5:յmmiEƱ![ũ.[qmϭmhX5P;(2vlOغ!@5Ձ\Q7u 2x5vXl+uz[t *&yA%ƠZa!+LK a#!E-0/ DJZG zz\JrTaWNT'b*Qh^M/^a-/Al0xpCErDEPm0#@E J;X#*JG޼]">NzlZ'Cn#~~*]EAM8!lH{՞^%Qp95*G$iٍmAB |!9z @tH@ b=Pp-or SPh(۾ؑp0̺xJ}fIzP/puM&;Ij'H]ev Y)'r^`Y3Df$䭯!.9 DvUUc;C`bGl*y5:oy:$.Tpx>sݟΐ+^ 73MHɪ NK炠$!^W YI\%wz:*VW3(g}ogiNQwiFH(3Fp^9V0:19yf }cMO>Ӟ0Q)jQM/_UljB7F5%u/O$SJ7Vu[> LyŮOf{켱hTyڦ>ㅟf<{λ/3m?@BvAQ;jv_N8w#ƒ Bt^R靦wd(έPô ;3P aYM8a?a?taz|v p". ,9HӋ${@Qaiq> %PKzFx[ cnfformula/utils/__init__.pycV_oD}4iJ 叺zһRBU*T*H*"E ޻sbﺽw/#|w# ^y3(x7;E+?`z9b="v v!u saŹ{ `qM`}$8QemЯtd\'WmtQ2+#+MvdꤨҐ˼:Zyq\&k$gyR~d|Ve;)aǨlv^'ʳtE@}?iPT?k"Xb0xTIM}*'[7dX<>D^ƚ:PsM`jG5.m;p@P>pP 'VFL&nE4yLw#Ondk[[d fX=8hm¸I~xXG T I]jM])>},rt_&ZЅ7vXx qjBlEƂl}}—x}FPIFF"Pd?IDNc슰*Jee4KR٪ԛ=\њ|6TMC c,6ЀFuj cU&7R*멒b7Tz4MYpZb*64YQjcmÑTeҼ4J>nhJ4I,M"Ii6 1:-,4XLJ7UVچy _a*Re=FD24g=c{>e/դ&f*'f2BQ5gJ+D@bRgcXJl}S v#\ac4R15ˌ͎y_M.LDy-ϳGa~U&e`b`D2KM ^q#X:܌m\|tmtVpfW DzvM7 2pGhi-k)KbY:,DS*^7uE˹䮈%g_qތ *,6-P+?q&LȖ;2 zr[~k"5q;EqtvI f,d<_D6nx#dpJwc>ں5"՞$@2Ňq0kmKHb-U9*:D+RmM~6!tSư,Ϛqdg`!,9 "W} T`ܶ="[<Wgĉdy\.=)oPKESFcnfformula/utils/cnfshuffle.pyXmo6_9($Rg X@5+n_\O%J&I91ݑ,9v Dw/>ꔼ2~E{] ]d"g\uX| WHѐ$):I$5q < v{P$ȔOl6)l:UDU]Q:%++M\X^Kb ߥd)yYHW^uVWW%U2\;솫%T{)EcE7o%r֤ dBx{d٥`[Ӥpr[ ׊t}kH22p4]QR0;HB@jQ,L.)D jhpB-2Ӷa2reDp U>argNv4BFma,teq-(  5T:@D$R^¢+ydQ]G''5r7;-q f n",*QGRII:k,wS1qaΜG"~CMB!(X5Dib52M 1Ʋ1OPžzn=f.Uш(V'>{j<9B5S KA6;z17XqLMq;)3Xl+\S8"iEO2hAqILu1hۄ=V n8'ZG{*tg!J2KSw;uqliWp?aũ)tK'$l -CQ"'H0kJїO'"w4}5ĺkԃQ1l7`ii?$Fea-U4-DC\F㏲.) uB4 x,^HCd@Q"|W{C`}Ir.B*T)[H82v<0N}F[MޚWJ)k f-`t__9XVi/ vϟ!ͼ`55Qz m| Jn8WK+ibdwj5G# W[Y YWLFpeB0xB#` ,O=i(yXMoSEq!з2%uXꉝ9-ypD[J|Ȑ]+^,*ZOh38aH tyw_,Hs!Txx8pGX ?PB_g/WP)p_<Oި#`K_>Tk~Vxw"ɾPؘ+"ڔO-Mc̷Pe=Mm\=xg-*W<Ldb[hӇ:H;Wk|=[ {X;>ID[γ]NW8 hHHUPmp~ '@Szҹ%3׾}!K|l!leru o Ägt_%HRt$7Z5M p!4,ްɦj|Y 7#Nj[հX(k.F}>_`i Ȥ]}t}|]0QVtqq I$bL$iRƓķZNI{PKzFݬ( cnfformula/utils/cnfshuffle.pycXS=,hD[HŲE(*dŪeJR8zY{[qIUߑs* ){g`%W"=oUxW$\D+   hAQ 6Ka\G`s"܎@R(l"gQޏ=kTUQW 8DU@T-{6Y/, \s8V? m/l#mV$0tVmZz;V.n\+7Wn?ߓO;^X3KKv[~urǰJ}|_Z,MJAhV'eFD̖>qX&l xP񾄯G#`p0 (r1u|ΝcjTp[*8 m  ٽpT=zBKCB ݿD=C1>8Ö6[!{q7Ǚoo<2?ʢ -*[mE4jˀWd (6i~@51}]g^ᚿ LăQvW;[g(P&`97f58; h _[95wBSqXy*$;Ea򈕱L( \+i;J=JL8_ؾN BI֎ IU?jJ3io L}޶$^`YIԐ*0{%If:Rz˾|%@bM/{I{E?/X>"{*僖n;θ"Dm[ĜHr[耰m߬2ieh:SZ!.9ڜ ,bH_ż-sEc$}cH+-j||՛bcI"qYz7-'Hu0&6wՏhi+ff|ӿSvTM;%dN  JY{z}~Զ1TdId'oDj^?R2%N)ƠK*iiהʼ ;Y*vEBK)ViYh[p̃ǶCI>pf}:aOt_-+: ]i8#!k]poԯ8)?jOiG5}, Nx)QRMTĤ7ȸ8]b{[̊I1/Ҝl''6(?L\үީ!,C& 8leî*~4CKO+نŸ}& ?gi1{Vj!;Ǥ8}'lq54D3]òyf!sLďCS_Bꑂ2D! W4c h#߃mQ %S bE1uG&)?+9:O*AF \oONms,%C Fa46:h'-)繓Kt3;|i=Xl8̱/R_\ҁܐ/:qء)эJ\.>h`;8EVq|7pleKg] +'O̪Y@9$ 7Tb(tKyKa)emJܽcF067DՋɘ!uf1FvSr]V:Y䁬wbuS3VI,<^lq* 5G/" pr'3+)1qIrą=쩈Mqqp׷y F ۗɿP@ iF?Uȋ`TQyb@TVeکDa0JE.d9Yf6*'|MFEMX*cP~(tE,.Ue'0l6SDjIr-tGb`n]-2v9{4Xu\?HOI}.燃옇b|ykJ3Ȳ7g8ڷ2,}^b"0IwtX$6.:߰ݩo!,.R*3O\蕥PqgAZ.^&REbkt h,rkVc]&3",D } c<ը(Xm/äob~A ]XtCrE|u،^&S}z}Q[Nh`5!/u`q+IYAƆP{8^;64/E^Z.@a.U`6}+C(w#Qx x~]-,xJ;=?,d:\>b-F(/j3HH/7"#dS@@Sγ0 q9FpHóB9eYPZLhVFCbxv"z['1PC{AΪ:#DVjյT~(\B l NLUP myeD€c6yGQu[$X `;24hf70ޱiHt-ӁOf@x 1Cbǂ<) >_b#pJf' [%x,Y!B-!!0x9p=_hcn!~4?v B/<ʽ\i|6ä:a}( /\!hsѱ70V'`9bH g1Q=Aa_ D4*: `/ȴ|<{Yd1rq0ҧ;=Mn+:+϶>Q|2J?'RF]eg*Ik]HMz s t};ɜ˂N5md/+߱xFK/~m9P;o>$MS"zNbדW&:~G4Nz^烥MC"-ltyߪ.*D*&zooEJ;Sɛ-R#t$x\ znj?` 50uMc1QĠqr-wf~*nԴtôL %W&#=zﱫMKaxt9]%m4S!?퇆?>;MNFQ7>ZwQJ*,酿ע!׊ldX g $ P(/q͞;O@%)k!mǯg6h}EO6O_<*iw8mn4xyrG&ImAs$1I[nw)R8%_ `F[M;X}A_XH'ꭿyWpNJ|t(3O6/XW@Α,̲ϲQPKzF^ $cnfformula/utils/dimacstransform.pycXw)JK$DQƍWJJ)u&!`IĚ5z}W4vf)L(q]oyoc߇3A_@p @P߂Ȃ eJ-Aa )Vi8  %YrRN&BTZ)؉)P9ŭ˸tv#Pfۨ[NDJ{QifIIbB-Q#1C֑s!PiՓ͂3橹~z+IZdD ]},t8lz`AS Y124j%| u~N../`& 5{lTS\RTfi`aj5fNjU2j > FqF<Ѿ;$kBɡOnxBP6l}6|ap B`0 KZ2Lx4{gD 0o@=E-_Gqe^pxyA:h}7&ٵ1ɾ?&ٛL&Qړ:eEƹ)*]nuw7Ɔo9RF9ƨ=Z;򨍍1q`HDt?LJhγ+5:eƋ5"Miv ^n`ɴH[T#>B8H/,r(){(DDz'S*RuZNLxqBl"cn'q&Ҩ r6Ol>8i23sL8}1Q:ɤ"ueV<'_^P9W4B {HxF%8Ø#TFC]gN D>zvb&xڻ^Ws(E;gQ; $ 16~Fygi/NId60toln1s`4h0U%glp(7Cf/^&Y%4t1oH2?ٓd;CK|'$յo=§pDŽu$F&pzD4ka1^/ZQLwQo23Eaa1&ȣ_)3m@g,+#N(>垫nO " NpP Dq{p򐔗vs rJЙn9UB5*OZȟO>G?A13U?#wH~K tbϠ 5<{ yFp{rz,әN@&}Td3E/?57OYKB7|vX隰K+V^za캵DQ&7aCOCv&MyoAHgqtDt$/lÏҹ:Mc/oj bLy8r /ރ=o&}IE8k)msxqhU,U+VTKb^KfoWWleejZPKESFv4E #cnfformula/utils/kthgraph2dimacs.pyYms6_Cʥh'7єy4q2) I8h:@RE'iobל|wjuٚ ֬fAR,[U<@TT%jo\RIQ;&J,yfJ#_0b-fŵE\ #'>,+d ʲFd2ygD)e+ Q\@eIQ[2vAyaX'w\_Zl.4^ @֜g2S t@VN:e(94 'Wz5Ƌ:(9)䟄lJ7'Sx|qL#+$d ~*?fhs15J.d}WgyZ:鶷uÔApwDV I#e*(Ky6Ap^vauIt4_Z,4/W1#mUtk f,}ʲgoP1Ԭa9᎕-^dC,3J| ˈLսyΦw~Si@ymx̋i"Wh @~`>IΑgtz(z?",!GS,̕C57mCAh2pxB+VB>dԪA.ԺPRVq{ÐDY:]%(2El&[Ӵ&Ù = f3Qk|0>AKt8-ISW%Q[uZ#摮0~- Ǻ$Yyf \05Bc\Y.o72ҞMdpIޏ2z&#+];HN/`qySo=E] E#K[\,7Vtt^z6h+ xWVj4{~sb]S6￈Xi=B.I-da^1a+?Ҿ/Yk[Yf:b;t?h <]%akGuc/JIB*S+qv[ MC=dv\= [!vPj 65y6tʺOnIۗz>&p 45F$n|HgݙQ. t')טi|(v(FC ޺]j]Eޕ3vtI&i>y=>%dl {~B;M4M YlaemB,9ͰM`)YVe/:ZcPKzF[ u$cnfformula/utils/kthgraph2dimacs.pycYo%)R$Kb;x81ZP\#BlXq"YvJ(^h;EQ(zh.M9QDÝٙ7oq_3ߞ'O K҃O[b%zIeWDXX;OpBb*5^QL|]]׋Xo&TClM%IB|>-::3o1f?%!> b}^WҀPHnkZ m偳}1~ rCa$;xdt6j?g%7!<]b pU_=:^[d~چ?3~\JˑfjH﫽_,HѬf^0n%}6Pj<لl4<+qSMVW:q=Ŵ@zphCu v*2Hsq.4+\YgWʢq1 c@aWH/l ڰkU/hq!baH7BBE )(>Pd_XXS&,XO듳)jP e+aA/0? 1hA/xqDFO %^pyy/ K}c';?vNvIv H T}73!Bf {zr#Ʋ;Af>X;x`aǰ3D0QlhW2E׳57: 4l GW_}UKT4D#~G6 7"Hڐ<{(-It`"_\&(J;ތ?@ѡ4C'"{tZfڈ'8&NqCX>]Q,P9W4#n\cp@$T6A'} Hq/3? krгKQ/3x8Ѯψ<<@}wbd4ÕVJn,.9O&=Dk,5PĮ>G7pwoђN5J<R7;H#]4KCas#[ҎrH7I![r?gT;_?\k<㇕fD~v8Du%D#wKuk4t{“!hLso$GY)<{q2f b“8$Xѵĩ,":S̢$-K{Vl- Q BaCXKތ:ʳY3#sEq+˄`h(aR佇5xV9Utl~rc&@^&lI^hHR&E~蔁eV#9{8Β+vyY)$P"2 ctP|$Y_F!"ep4TP{-l 3 9JQ- ZzYĨ=y}KQjrNhTzQ]F5!PO51lpon-&9'b~~S>e=-=lQ!l7D7a5"&Y[ W\h9՟XCc*&?Z_lsr'9ȫoNIJ )Wxεte1vފɓ3p ruZPST*khY;QدbH R2^u ݏԳa[FjiΚ.WĬ[ӥrZFiT-j 2ǷRt]Nz6r!1tޭ COoR׸zb?K )Q\mB~94NY6DІԞ)(˞!+h [X [ ʸ7= XZkOw;]OAI[Coվ=4DqsYsD*{B֤ت #ZxMGD qQ 3ȝE,s΋S#a?8Muǃ( ȧ~qjp b[|pvHV. l#y*CZQh:qOw=,qu z&Z8r`M_80׋}qg\&FΊn@4OllJ?HhfFV]g5h~ӥ|n/bQC`}ՍJS$a۲?af5:+_;9 }p-ekΚΐue[B)IA8SCyyD#4m4B9XKegx{)iB.9gsE^deu6МGyRݨ{I\ib93ӵwL1mի PK jFd 4cnfformula/utils/solver.py[o6u>ؾʣ}ޥ.6iCΈȔNE>DɲmwtYKp8 V8|P572S6˘%LiU_^߿9e:Kע`RbQRؓ,B{7U%eB3LT*W'eSyiE*YYH]fҢg^hXGz.C*ɒE=?z31g\B*U2bjv6XI%a`t ` 8 8P+ThqfguIUWܣٷKOuƞQ9Λ.*ɴn4b:6D%Ϊ2Y5V`WGfJ7(YN΋EƥͶC?S n< \jVD;c+j= z_۽]^~QB6V8/`YVN (0#b%RK'#Of' 6~ƯY}j @@`(|5~bU\` Bu 1$ :@ZNKE Cukkfn%<D*JqF7rs`,ax$/H.$zF&N*,HoeVPXek?g)hֈei˵Ka*HT4dSE ٻ AH1٧~\syG(w|aN5  &]sA;&}ˎjvo;y&bFjet64Dn5ԶA'j=)>|pi*A t BM3M %jD*?dj(ey jG4Φ~kځvj0j׬e댗ZD x, Z,vOTW7N=wgEW##7L!n\)b2/B$Æ67H,Y~,m !Q@"9ybxH7nb Ubʃ71'7hqBDehTc]\^415tO f_֏b_o; 8PIZaӉC63%6brE!= ͨ〝$AwEi5YUdދ֬X XkX h;xrСۃn%t)QAǕ6b|$^G_F㯢o";1d(M灇Qp{CP**88; cZ; 4!TEKHӤŞ rvvZs D:idJ)j$`m j?(fCtk@O)h}BZ`-46,%nƠ،1xU05UnLhY }m9ڶZ W?4IW%1oZ4]0i ZTp"]`k)BjTk[2_2JP\w)[a1{j/m߉r~־.ix>O0s^s؍|ۧC݃Lo޽Ň7+tNw4wL/ w  3tWRHv kځ}a7IxVc=?.p ݷ.ƏbChU%sFӄ7,OٸbE…-lx k,݉`4);TH}X_ϠIN8%it_'5A-C1<d 0欔"^l/j]y?V7V'3S[&n2nL.F>`, ixMdb m,@F@jJ c_/R~K^0NJ0zΈ(†NP  ID솏ڙ cA£O@oq¯ v,X/NyW`<^4Gv`'D $wDK#6xC۞$ѼvJf4nv ᚏ%2l7 c_,v gWϰ^ʚ&. K1_U1` P:cZIJmduffP;'K<ڋMNfҴV mJZ=6Fj[uGÅv '|W)j"0mttūV:%v(v0/y(fc.YoLm6᚟{&6l\#,K *I{%й[Bv6 bGgX)s+&6=X .)Po%sC ]t]ӭtPT ^z9hj&x >pYd-v-&\[F`!5Wb/ #؈ Z[ {kmŦz)-u b+~[z5/ "`Q,#{s68427GQTj \]:jUKomW{V6v?TúwV~Imd~ _5 x2;G@Bva n!,UJ2۪ﰂ`}A4w5Fk^_PKzFXi"]/cnfformula/utils/solver.pycZo\uK.HJvw.eYmq-K"D%9BUK޻3WK%~Z!C?Z)@@>(Ч9g~ji)qf3omy+G~{pw_bs̟g9e/s̯ *L ުvjp9HnKn]7e&Cc Q^gevϛ|78c׶e,P^j鋃@ ']EI#Di G9n(\O'@(W[jMhZH$JVMqv& K1t~ʶXb*&J+T2E1*%JʫWU!ۍa2pۉm>0#ۭqZqkѸ~A\;BT0m7W|0GVj_둺$m/ժ&\@aI;Twʼ^aP9| ` ;vgΎKÎ+9'Jhͳ+C {Ǣ|G-?Ga{(vGU{T^FP#Vګ%}6,3`|ܻ Kl`O JloL6Shs80}-`1hǾ ϡAs>ZZmr> ƊS7ƎaUT#_W{qOrT?~v4|#~5Ɗ8Z_Ļnx- Z(2 BaOJKK@Zkjp*QDt /RrQ>*ڎn8&*(d~QrRZC,AjɵPW鵕ם\UfS }q@nI}I,ѷ(BD]lr8N&(njuӶqJ)fFO`Yx<ґr}97tcoh!J;]Kq`P\'dIh96Bg fDэ]D;սnzГ#H4Hpޜ PW&AQlӎd( j $RFޓ6!kV8b([PnmߺYKcc>[DmqY#P{Q\, i$bB z)O`NlKi 9NpsB0g H>~3g UoC'aZv^DG"-x//:..SFVO#f2;ΛX>gP$*8NJ:R j9g_rsN/P{jE/H!0"@KB8Q>T5.aBk"+lTa=^Ѝrb1Ɍa5s'en]q/Oz䯧n\K|s[wiF; ^2y/D%6# b8G8+5^+Q);%p_|vLeFAt@DtFl;;EF\Y>8#]$Ƿ lPlغYvXg/sHpt=`EXQG|xvX)"#!0Y+ )/#NںD~6GLdnc}QMB2 *!љ7d,)C Awn6psn}2XU2PPIXk@<64T玸 A٬, ܊FdD6$؍ίHHR ]IہNjrYrJIqN`Vwz~Nv\nO)%lp06@&=W ;4LLFw2Ȝkh[ZRj1ă`uuceԀ 6&>y0B./9 ;)\_W9fc .ܚN1'B8,760`>O;`aM$0 @vU :}3fz q8 MY5Mj_}(@{4 ;a.Oa>yПvY@BCRXOdh}E@M0:'mQ `W zMÖlowZ;KXOTsZ%>F~2bZPegTۆ[%0:W5PKzF2EGG-INFO/dependency_links.txtPKzFAaewEGG-INFO/entry_points.txtuA 1 Es9,\ DL; ii҅22"]]1fNR1M(a2_rMag)IkFL_|׿U_)ꁌ#[O?u`{tܚ^PKzFNT80/EGG-INFO/pbr.jsonV,/JIM,NURHK)NQPJ,/K-**%*PKzFw{EGG-INFO/PKG-INFOEA0D=E/@!nhD$F]w$}o239< u/łiVk,J"eh-6$z YLzJPtV. ȲƉMygɿv Z0/jD@0l,ICMOѫ>]PKzFF} EGG-INFO/requires.txtK-)/ʮPKzF\T*6EGG-INFO/SOURCES.txtuN0E/MZ QXsSa #eZ۲X5.[{ϝwң C&xH,S-h4p n}<|q7c@zai(yz*p@P9HԆMӘ,tXܛ |ߞI03-IkިH#ϵ2my+^f)F(L.MBhz l ;UߐMOռ \ PKzF,ˏ EGG-INFO/top_level.txtKKK/-IPKzF2EGG-INFO/zip-safePKB1wcnfformula/__init__.pyPKzF`cnfformula/__init__.pycPKFې6Ocnfformula/cnf.pyPKzFQcnfformula/cnf.pycPKoFX*~4cnfformula/cnfgen.pyPKzFP V3Tcnfformula/cnfgen.pycPK Fflcnfformula/families.pyPKzFG-$_ʣcnfformula/families.pycPKcF1^?cnfformula/graphs.pyPKzFvO1<9cnfformula/graphs.pycPKYCer! Azcnfformula/transformation.pyPKzFv\_Gcnfformula/transformation.pycPKESFI2 lcnfformula/utils/__init__.pyPKzFx[ dcnfformula/utils/__init__.pycPKESFcnfformula/utils/cnfshuffle.pyPKzFݬ( o"cnfformula/utils/cnfshuffle.pycPKESF^#,cnfformula/utils/dimacstransform.pyPKzF^ $4cnfformula/utils/dimacstransform.pycPKESFv4E #@cnfformula/utils/kthgraph2dimacs.pyPKzF[ u$Icnfformula/utils/kthgraph2dimacs.pycPK jFd 4{Vcnfformula/utils/solver.pyPKzFXi"]/dcnfformula/utils/solver.pycPKzF2vEGG-INFO/dependency_links.txtPKzFAaew]vEGG-INFO/entry_points.txtPKzFNT80/ wEGG-INFO/pbr.jsonPKzFw{jwEGG-INFO/PKG-INFOPKzFF} HxEGG-INFO/requires.txtPKzF\T*6xEGG-INFO/SOURCES.txtPKzF,ˏ yEGG-INFO/top_level.txtPKzF2yEGG-INFO/zip-safePKMz