PK-IPMcnfformula/__init__.pyUM0WL WS꩷q`٦JR!17뉻OQ=ПCk cԠto]/߿NƉݡߢxq*`:^43Z #y !N3#1ƹ:3bˊ-6/ѳ'KwVH^[Np N|̀,S-D;yД CɒߏVQZV"kYBr L!bfi\`  p'ԓU /* EW:l8]^?$z0UPր&{97%i4km$CWm?@LXǮ>VqibuC/E<@;86ʡ8g曝__s &E!@d =d> }0lT>&d-6qقjA7ad=:pT~dg.zK> KQ|{]ߣATB~_ؒ2 +("D.#*T"N*,9-d@!X8fy >A«-&,|`UÛ{0g0ƃ7 h`ہNj&̛0 `҅y݃~P6wFt'C!dG*WEi¤,<Γ(DdZA85a\H.JeB;V]diḄ3/T2,PP+a).&*&Dyd(3af8|ڱӹݠTXUFz8w'X]YKgR]>-(3iNR%ʃ=8ϢzuUf?9 Y>^TfK,-Lkvn[Oq[7ns_}݂Jmj'ǹZQsZxKbs -6Xu;w/ܜx L7kui6-Rڪ/L,0&Q[͟l` ?rD{c'QPK[9Id_ocnfformula/cmdline.py=koȑ+:"ghC`XFf .sIsL-1E*lҶ.n=ckzw~L$ -u^{lA:h<78Q*2N`fE> Jy|4zwq#wq0;ٱm 4fˢEđa0v$ gka~ ~iX7qzA$X&2 8_$XSfᑃ?@?~'/=!M~$IHt]OG4݊U r"Zg\~Ia2Kf,Ēm`L91F;^"Fӻ8O-F-q [5gT vW]CEܟo<3\o4NK.cy0d&Q|B/qjֿ`M[P&B%n&;H fx8i `Ռ+.FpWBnr#4f[ߺmZ79h U)iP6ߦm&&]qde!-Tq t+#_h]7\`x)fje}a$8 &(<D>Q8t:-Ps &bwN"ۢ.Cei f.X|{JJbQ7?1!ĢM n' 1GS[At/|q&7EdA 4k* B5$_ 4Vo2þj=¾axkr.c}.IE` &S[ճL$ϴ#xRRE+|a”Q`P ̼-;e1a#|y>K˲-! 53U8ACwZr +m5j0 gkݷ it.PTY ~ )`G`+H2|iRIjL;1kw%n*ޑ0ƴS,ЍQ!$*89 7ǷCU|-PXxiTv~{ob_!4$&iiV# eؒH}Kq>'ixB^MMُ| C[, G\GNh21z/0'l탇v`$C2`Rk0.. R[| ?N ~۾{_s|::w/ϻ K4ZQmHw?a+/xP`z`XP /,4a "t-3ij,f[oqoQr+zwSaaLF뒠4M 4c@ (X " *KpYbJ+6f㜫7,6sc{xQuʪfhhwlf0`b ޘތcH> h0g WbnbLGP𖹒dW9ݴ 7}CCVhl Q0[)MC=. XeH.Nc ipq-K%+ ǔ Џ^zŨrE_P6ArЇD+J\I`%z̴k Yokw'3Aw[N[{1&Tl .MLiT%YA;/D1D'aBj5AŎ_Tkiq]XW3H#\'m@/4;)f9'wL>,C K`. ugo 1JM=5j[۫x̦ϖ~:; `1roFĊī'Ra1Br]6!uh$ *y.Qy̤Z:j`{O 3 8³wѻ8\fRrP= `>-3٦;Ym#yD/t{ K1v2jMv~Z*֢! g z*ZެuCFCnq&H,X%:7ζV!&JK@UIMZ 6C%|"zT@"^x@Q%KB2Kw+^[DWTD$9^~ R|B Z;%$7Ya ba@(9!wY={F1~[IMNt#p ]5I&΁> Lw% y:nv:ٛBq ^9t1ET5@HzRύZ1S)-',U06ݼ[*:`vSxc4}ر2e\P1ЃɆ #sj-q 9Iai_^-w{Rejr5 a؇XiZ][y2N{nl %q#rs^x̭t*F4;'^3giilyܖ3CU{F9! kk:A5+6Xצ"FVqƶA+&ܽ=SVzɻX1cQ/+)hױ5kK`: 9X]$T%ⶃ5RH}$u;ͨed>xEiQI?뒑j9Pbz~"g*v-ub< #IJ<]1=E\$9r)c5NXr`ǯ뼷W`i<>E0PyJlLKp0]N#% BKL*G F׋W,RK_3Us ==tOۓ6@z`U06`䊵cd:.v}:"gku!ߤa^^hZ@}UxSfTh[XE|":?ҥy-D'W jnfawQ&9V+ΛBHjADZ"6e"6i N*9*Hˤ%RB{J: TɛI^5&!|OsCJ ^b~+Cv#.+I&^ER.Q! >F=l1%ŋ.*/Hc0 #- ,y~<<쬏mC/Jac ]7"@!uh|#<LX#V7_˦H(l` P3Ug÷ߤt-9RZP=y+*a?I|ҜzdQ)ckz}1nV]Yz6r!h k66ZUsq^3?-egcԣmfB `LI{ ChӀfB*B}B"0Eսl)j( ?2`BTvvTr#?i¦R07p}Ӹxܜ=/A:-ļs6fF"sb"?^3hMӫ.Ř~\=(16eԼa1jzuصЏ9L=|DjS_4~sCfk|Ƴ?l쓞7MoHG7ADgg/,ta\\ w=`'8t!AWin/eZ4b!*o"!tZSuRWq K6B_, DOzFnV0X "~l~  s b`a +Y6d1|(/D6 [HB6>zL0{F3gtV,6n'(o؝uX[ {6x$3 2)󷮪K{Uמ>Y&nmvԎG[VNM|L6d^mN޾KY묨IZzH}|9⥤}UC8;op#|7Mz}Mثt=2xY(/OR@CbwZ~=m7寻ڷ֤W%Cϟ /WЉ0yv6mu4o |z[U?ʥZ9KP{7Zj`5`WчCУhpU2VhXVډZpmxZǷr۟ڠP4kxD1" 9dVu`P]WƄZL8ak YA^v $Á! )5H`# a_񚇦د l\R3@ɛFy_VuVj ),ˋAِ)+7,, )K{՟ n|M#X'sC֓X]ih~@Sbu+фǶ+,i<]|{blEyPK9I:Ac jcnfformula/cmdline.pyc]klu3ǒ)CSKI\=lȲeIvX=# Cήvf&E]h#A"i$MGHhm&@ mSi#=.)Y0Ǚ8{8?( O Ci 1OWCfySՌuY}9}'p~Q6( ռ a܏1?"j{:Q1?*jcb~L2oy>~1_LB1@X~JOb\YXɋq/w5.7C wL{OE>RxFp'pc /)<> i<obaB#=,cby~W@8u_RƩǹ=*ՊSOˮ'_ Z7rVsתgA5_{֒Z.GV3nL#8U?8iQ|XyV}ъ7VPzU_\7E%[w[U/_ V-QMYK3gΞ룸>~9asN;*~Zw!EܩS?Zj-5T YT9X)R~> 4"CFF{6W09c.DeN ~Q)* j5f% ]>tKQ֚~᱐eo8͈KMzTRӫ>իMeKbT"-bjS)$T=57JQ!IS|WR9\Ti8Js+^(siZ%&z?(_ j+BAaKr KakA5=2eiV.7UqWmxMuLejO$3PF{ XV{%&dmS4G3I?f1|ZDCD&'FQzFp |rܢ`cX)Q^%Z_D*5Ad{ZWSIH>)eQdI??p=.E H`}i@趛VU9_߭5ZVTU藝juZWd- zGPGcz Q,Vr_jvs#./ykm#MPI [~,@{Y"QSbzbk0""EME@-\NX7o$oD=Ur\rop yęHյU0/x@FcPw%D[YH:U_X EҨ75 K"ք -h=[|D#1M 6,r3Fīչc<7Q߼xuP*PF77TiFN%[k-655q&Z([>!{TOSnޔm23>Q9jH+hmliX6)b^n/:ܕf3K-H(G 8h ӮXrڰ |Z񒃎M7 D٬K Ts+xK͖'u Cr5,0%n$}3gfY,UOy CS/661F51#VVFbeAY]GŲ -(dD]kg;Y  }FeQ=0 H G''%#.xO;t36> \&L/H*b =ڒԧw@a[pW$uM "=A`O$+APaT ϜԈW}tqw4RM=*=*)+,~\! W)wBEt۷b#F'Y|#ޡޑbcmQfl#/"v fŦ)+$3xMm@˄4 q/W3b+'V?2 ;&7$O}bO47=%No `Jls??uCYOls@Q7!yn~Ulfz4n}UozBaCaBreQC5S(="=VH6~\:.7`,NΗb|\Ÿ15_QumFX" #eΚS])AADRXS 73S:jC: vJ2պ?sחME7<ZE;BR~3ynm$F 0ݚx$@0q";lưDߘ9eacPBL b!K`B g(/DsopXVn4< IV2o7cV&*Yk+]t9gd!?T[4]y葞b,1‡A%bI%wkY{0GKEVL`5=#{n^o"I=%bdfVìݲzy=cw2oe,l:g/m9e21ʆ5\oulbECod n ԐTR⒄l?zبE$؅z*SFū&Wͩxx&/jLj H/y0! ȶe?HtMi4IH*f?,r 1Awwĕ۶ͬ+V.G'eA)HqӲJ40HݗlYXަ7/ UTz<;J-g1@=0)SE6#Ŵ F+-dK|,G%#akq_?gIqRp)ڎ©EDV9m[/˝bڨȪY(E?IoPFz>gyF1nsӻ :ߦ^@.kTdU=$P.nSTbWвNszDmu"2JNu\Z"ERhApcNJWW퓒pFb &ktIbۿO̕|whwxER<Ż{ފrfްQn&4L@R&-fXW"{vx%z%Ē *-!?& gQV9 іbѺP1r1.Ze$+xFBpFtX%ZQ%oVLX]=xx͖ q~PM b_UE~6Qv7쏙 b̠Ϝ4}FO7rƤ1BweS xd$pX3+Rw)VvodJ00E퍟4ovgHojٮ7ڻGiӌTv.q;änz;I1%a."˃ c!ja_y`+AhhƮ f6?GB웏%RH r4 ,4fCyO-d9Xc/ +m=?g{}XmELϫ$(zMczz ձȜ+իIY 4Kin5 l%}xEla޺a!ۭ k `sm.ٹfB9.[?D1<d8j6Օ~#c4FS^s83M+qR&Ͷe?Ǘ9gjCv ?G{PwdX ;[VhJ>3n {uٲJ\Y^1(S%cdUe b*OtlrenqqE'kGv(4[w Q?,/dBx\p';yb'v嬔PmIu=Bɗ١K~cSTS$}(9ɟRl'*< $+2b6eu)[[l/x=: ;֩nۧ"M>DTN5 '8JȰZ圂}sOPM$2H0lQc0 < Bvpѻ7RU3 !AH,m '/Hm~,$cT_'Cj._Zqh4$2@B*ѫyaT<*%JD0L\m%7Mpmطvv=;C**q t1%xiژH vjf3`6:w/bʭa̩g? Hb~mڶ^a'=-%UUm0W-ulr˺@G ]=0u?vz?D|W;H;m #q ͊>gj(2%fzyFLmLDTbL:H] L8Htt޼/ә5ຬX6;Ko<|bLp390o<Ɂy,Ebk82os[?5o8k|3ә5 ":7pBpgCp%MÛwGQ辴Gz3~tlu&:庲{̖s!O]fqDų݀'جf+smzn=ͬ 9 X-76xU- 6o @qR 9x{ aP+6r ^ܓ1Ap%͎ܲ }G{$8Ft/'M+QCo&HY7Wq7}\Z(c>f,kļmkO*k.wX31prk_ҿqȫ=G)1iށ;mmWߙmlL|xk ÊMDF{3ig }qF>ΐV2;4K5Sr&QtL>uLl Lro7ZU u|YT ZI. S9[C=(HfdQ(XH6cq'PdlG"=*~OrϨ{U?ڏ&_Xx\q@`b`Fb,~$11A,^?Or(ӨpIn9\&K5\aA_;B z;yڬ=Nk^$\OCƌOp DfV Q80 Rb%z7޲ipV(ܳߎ4fxn u@^c ź>fZ#*|C~fǻU7cG< k[Bܷ͋ʼċ7/n[/hK 6 Nʈf"N4dĠ3dϜfϾ׃=2pqAvFZY O߱:$Q,xe"9m0;B:O5)yz8zߥG|=+d߼m 3̼/u2vk?vcTrIw]'شz<[s'rt巯S ~ۓ {a$]bۆEHkKFt욎LşG\~EXVLH,~?ڴCuvRO~ V @Z WE?{)?e[?Bޫ!2*a^ЫbZO[GiHPo:\!z՛^#G7c4y1e7Q Ts޽+w5%r9r @5f0ߣϵ.*/G/+P vjmF#&(s瘞O}]ZSӝڋE3c4K}RTG9aO]ƾ{2ʤu5":>#ۥ| (pfH JbLt%#(iJʨ, r_$AGfϋΌ6% )J}1M)A]۔T5A@J\r]Li -QIJW$q3#Un#Vk8ޫCY]3!Zl~`XbPܦ ƍv(SE(Sw;UCvƭh6ְ eN2D(w#i e~4eh/e:3mRFĖ<:.6y_ q<x*8NTEE܍=zi@1c2j1ћd:3 "ۛ ʩ-R#*E!d]rT;,B:ҽ[P,&\hByPk1siAN6 .Unҽ5k/W`yc = j#Z|_ {4:#X%"ҰҢg(nBYac/[ +U.jg7>iEk?舌p1Zݜ)G% e0nj ױlӌ1sRnjl13#PK9IH 'ͧcnfformula/cnf.py=ksF+&tL -JՕ*tĻ:[q.W  <$ToDfL~OxQzmuO! eOj5p^qd<] ONxްUVlWypE6ٲN"6qZ$dUQ2LWe +Q,"qZEK̾}YVOԆW刽 ":("J+h J^2K9ś<6QZVpul! ]_;60 [g&0%v:˷EX{L_߯3g^&E7 ?ڈXC(6/.*/O?_Ekec9/@dUd6. .\M*)**,KJ*:B8ۗcv ͊(OxH,I"Nx0Ł ' >,yn/4EfeTAY8[F+^'x"*&?J[2D&5?OqnSwFr4j"g}@E2 B`ŧ/npB򬌑V<1 L"&*b))nccSF3VFQF,[1}eT*1IpyO@B9n "(4 s\ԃ9D^H$ CJD{~~ )ƍs FԢMal%R .łb[V0 wt]+%$AEgM8x%̓ P«z 2 k%"2ZW8)𵌑LFH'3! T"vVeW_1 *dnPf72 ۷9v1#)N 6Z"c_@)9jU8a.KAleC*ďT /@AЙ}ɒ'ɓPBg*ӥ֚}[9 йhSP|kE tdp<@X$$"}v6aRxqno×*ZXa:[W Ziƥ#ÆTHc=[a=ʰshbfՎ<ˢр,J-gC^! 2v¯/" /TUs6^g\G,'KP|Fvs Ϧ'3R 71 `8ps0[u&UOjOI4G\MM-]va]7 [Q{(!Hn*U}ŋnƶ.o+rafХEOժ1hj2 9c-mA8,mPr`Z0ޓ-kn;gP`Di+6ilR>Ld_Tboj@:eE\^~`&mGO~SXCLq8X [cB)'Aq25[hr׶`*&a Xl8GӁil1{zt0kt05g< /~(0%FO5QYz-"R\yߔ`p$# Yf&(@K3MkW 0v){6PG)?(Z+>b(vq "<:Rū w+KDt`#ma. hV8>u#'[9eE%p|H|(E1&u'YE!;В>/RK"4~l.xjxsg锤4XjUfTVWJ}Nz\2DYmzY tL fwzZ@% &ɹs;p2V2x@B~mOFm`S6TeJZ LldreF{RX~Jdz'< @E?¦HLIE%p$d ~8/#uφUd'"3 .WQq uBc4_F*Q[=MCPjiݹE<%,O7جF:v Tӓbi> Ay @+ j3`z%I.[ /8 ԌS ?rd})wszصDޗ2)6ސ-IDf,uWSAͯS"YzkG48c'60~Z{syc#äх#6~EH .T7H| pl߀_Kd͌ΆL!ӞAJ}MF|:ZR l5ۯA+=lEdP˗|ahZ,!'=VV*4a$m8-3~rR B *h $!T76*`}b#ȊJuQDQt̛BKwzG6clJ~NLlĄEa|kտ-<fJB_ ħ(U`B 1H4Wܤݼ$OP87pDhڌGEwLبG4hrz=&LbyǾ0 0 ǭf|p:ylE3=,LrB{s\6uJѤDю\*==D&Q?ױX/xlmJ+Jg J>\ )E]Z QeT>(zaxv.S2>f<PTO#vMJ'!5&#(";vS u&PNk4 aui&+EoW*Z,ߪ)tUE)1SC @+!8PQEMWXӣp*W _XA I6 `()*b\;P*C"_F̘a]G*,h$Pw)K(?$Y\Ii9*2V]-UMCMq,F89輑5 {0"T'pP)R+a} ~"H6'! ^KA!*>O! $?G}(,Lξ'8m2:Mpy#LQ8Dul>q]ہlW +ŢB@b(ZE+ʜf6}\JD1)(`[+ő o$c= */Lzq_]HQ6 sڴl);3[OfkF{-\ڻM^nm^ԏFb=^Jo2 -hTy^ڌK;d4BbQɫ$^b4|e{o, &P'4B̖&آlPRQEqWփP>@j9Na_F[F3.H f0K&.7ewDLXԫRTikyRSȤX563n!3m+ȩYhb~< NioF{!=C@Q6Qk7Ih66beQN*(W0 @ t{xnwz ݍ*l2a..lDp]6=\z =a8{z7i O%TLu qpo-`:Ifj_eBPg\κAR |H=$s@<]|mB[tpͫ}_˔j'o4st>5yY<0{.7%Ev=bpz5|~~Fk52^RB*@88 Z.GsVhجh<:AMQ#x"Z;08'q;\O d)[Ֆ& `ePHnJ@,(FSsRQ2%m1 e7h|yrwJHo'Ѫsߊn6;Yac{ hxίsx~x0wc GB Sey;fCpi9qe04VŠRt0"czKy$;89/d du/|Su^\&#aayvs~wN7\[ZOgysНAQ'W~+`樟OgӖHzA|ۍۢ-y]]d-F58h:uti^Z`7wߗvRVR0KՑ8230ؖP} +D/.HP!S³~nL:1{y:!2[Ӫ?K wnJ4i&Ƴ$R3:EpBB+h$Dg3|b"u.8I23o*iVF|HQء#TwCbJ$'3Xe"[ HE"h [s^RCN}2<0']p0Uۚ>< z*~NM9/27i;AD=Qlh5D@{e\T av VZ,YSdţW}&{2TL:&P70\M֚sr(v!# m۞9%c٢[wxORA+ZA@d8;atu#ژVU\n2Sel[~hn8(YDǯ؀0 ZJapϩP<{L2Q p9뿴GEN*as'&3v{oݓ:i:(ݲeC CK2 eV Xʂ7NRRuQBq]gSl6uYtPU=Rab\-ARUr<3CT󊊐 d4|aFZ+m"\S*ע>Kz@L Z+iT*#U/NZ2r=8xEDUqes4Iw1DճEgF% Bě8yҋrTRmXV$ XO)ӁA={ob^$ {f7lMR5j_RUv)ZW" ivaj籙lE j׍Dž-b QX(PT7\M%+}3Y>` PlfüvRo{ ?W%h8‹Qoj#Zs<] @qn6̭ڟ4שpDvV>Okp 5Ij[Nۖ|TX^ G/XSu&ʰ kӯ4<8r{yMQGH6{bNئIakE+am=sM*S3(IBZT)[5yXG;[75jʑeqPєaٮ>lj=(G39xDNly5FqI̥ROζZ.<O$aR2BUYN?Њu 9K=Ó^ӲLRֆ@Ýԓ)2Pv0ٌic|لď%'o4b[gJw~#aVc'|KZ™|a0vּL.x^T/57G%,Vfo5(v"L^r'铇l.=BK{" _oIGV\p^ @fbϓi'$l5IpJg8;28/Q4w&m9;7%=u3p2ß@cAiE˝;G-w>3|;l|bty."}F?MCMʃq+(< hu{mzwMډ%[=7t=ض;acpZ׷:;3Si 0&`&K3spLk6T%Xө>Fڅ.1VgX exUqɧ[С$~;cP\/zTiGiY_4.7.5.-umCWѭߥb]I8ٮ vuםRP?qh7 c]efswy*x[?[ykke<V9]]jg_Q!ʢ[O|l~hy^jU0٭ | בK[r5i>qhڣ—T/-X';vz fi+E$>dY6Cֶlҕ]+\'][OgP|Af u}7l 8w_¸aW1 ב18 CF.9Q@CP2"!sy`bsj rVˮҚΦ-~ʁ Qfzpt؃jF'$=*'EJ~Z襓QRC5O sZ{nd}H_VމFG7<#ex_?Zݍ5* ;>/r $G#%qGkaC]p;3+MQU@݉ӽ'u &Z~gPgN{oO{s S)Js0T#^ ޳^q*4e1rcXO;,A t[g)_,zk{hn 6my,=]P%v4\'ނ | R*#@AJZzǏ6IA3Yꇤch9Xh`0KTY׎ĵPK9IE;1cnfformula/cnf.pyc}mpuX.>oޝCy >#d$iqO$bݙ,سs_s /LB߷x5k{NӉ]wz**_sVP4]R Ȯ;UŞq`7\ dկE AXsC|eյۡn n7n~e;/8P'NuMC-SۖP"' TV\?V tbn5.ڛkQ zaËYKEVC'ܞ s=ho^c-gڋx\%:AO(ZtzfηgP{s]pkUwA=yx^(x?5?g|6LoLzoE27ʛPu9tMJK]:0`-kN0|lȪv؋rQ<|PQ \}NΏSbr[^`X[P ̢epY wTpe0k2Ó.<9 O&p$./OwN~"u UQD/S/|.˗V>}[?NQ3?+J383${a"gL,h O$6U)cۑ{U]@~"xكb/KjX@y@|AM6SՋr㵀<0aH$=o)|%rZo<`izuз1] }]vu =gtAe}wSozk6{. 6vk<|ND㠟qCl՝U8.B0?th2GN`=*W"_M *ZfHlw1s)l:TUso*EmLU=e6ЈYt F75.WmPN'ĉ B#`0K?t#ٺl_Ds.^jWܵμv٭Eu+E;sW?]4]7Y]1:XaydY_oq^{ў[/rŤt1nH7Uk٦7=.soȫ*!)S^G '9qys?/bK QΉ |7rͭ;@!)R=n-"#(5HOUCzKg2jY6 U[A%pQMZyR|5./,̡FӼ6O3o#i XU\m?fI o'Q,'7JGwpx4;A ɱ@`XUnKFl"=`+5h{`lVV$eb+߀y+.azqN|ėy _L812 >@Y$EŤLX 8J+}Z$Ś/5 ZH"5Y17ЅrL4BƌikzH)>995ˆe"i"#6ilJ/=@ \U4D3:ZfR}Ei&\Y^4]Y`_׳:_U3zD"4jX9'9%< C!K|'C9ijXQ˒ ,D_)& (-tY;I(]lю5gy [QtBEP΋o@K@i~ IKj7{8uYt}@J8+\ D ~MFƛtyƈH6z"[4L*eafJE2ᫎ.cØA@ hY5ƻƝie!i /VS}?@{˻gqﱔ?4Բ٤&:+kyʌCa% XG22Vj( ӓE"m:Ĵ"BM4oë?PDcDoQrN 2dLse[7VНs}OB#m4H05bM+ VyL-I\\&OFl)N@85i~ǧp܎UΛfd {>~_>;`&D/\I2SjtIIcK*Ɩk`xOM' 5.)y4n N@w.&A: %n=x'čEwA@aqDJܯ[DWDwDl]#pQQ}q; 7oXω=qo۱2rb_X&46kպ":PVIYlUTdΑSw L7%b9DC[nNMlf *ئiU_)C؀i㵢DH|\bm+M hE;^ ]VH2n E@R:"(h?KY-pOI+<+%d` Zm$N]u`DfZA* v0fLwF Qܗ`R ɞT:#ņ^W*tVdt vq$hD^q[tH#ec/=LNM[Cqk<8^ZcC֤u֚C;m;d$QԙceGF 6 "|GX?2%>J| )DhZ5#Y 6bHlElϑ? 6(Gr?B2^u3|uT> o =8,/$ԳRZvO<$!/7cdUq-݂*0g펓we?+臖$;)v'Dxڝsq|i".a軪w:NacZX^*ly'st2el 8?5ҭsҥM=^+MٔNDE N!;˕.Ԋ;0vgs6e|掹UIy!tנZUD)6lȹuC2%FМnNb[O7rNpdq-AE'dOjf)ɝ}N\L iF\."ęr:w1.I4 ڤ+E{E%E<}`lVPXf岭7N#B_6pnlGLVͻjaWY96*ǕF1V;|C$8 >Dm)p`#Q .hM6r;ء>v[Ӫ9;[%ZH&x3t{|A\ NY135Sj'lc({4Nhvo@+J)Aer|3Mh|$-&7 Ⱥl)hEX5LrW^3AЧRdGLQ1y*([wNp pU>$Y,b\zss x7~#U>9]0uOqQ4k P?)aɈϾo90܆c"2H߈^F;Gz0Q1J 5sѭiaq‚~ld!,-SnC~XLSߤmURVraPl"RC &~ͬHߘ3䒓tσFjSg"J电-mhat_Yqda6^*aG? uEF8A'8 WG)kEkZGs"WlgKzNl49IEoI; QURBRXʪBl7EV& ,.?R 83h%59tf3 C"HK1qg޳r"rb1 0!c墟RaqC-:Y<( /kѴ~B !B]sH/+2~VDaDlBk[;,)n:t(vA;A'N! P@2,W<{HB7 \f Ve(}\.15e孩ܴuV焥 Oػ\ֺdQuPkWQ؇ÞqP5AS Tʉp/uGZOx[81"B'ƒ0*KsCj|SV^<1 z=R_HI!jRĹv~}/-=Q!$2X} L\c> !%}jVd k(Ne<4S0b/_J2p `DC`6NlY.M S`6ˢ)SC-`$2f Y0Z :{vp4NdAv" r 5dӻ 9Ji 7]cKۉH-I“pMBf4P9T?FtK $Ge3Sz>K/e{vD/׸J7MhT[_v_y椨}52?kƠ.lnnGNV烰q-(r, |;J1BwyKIvU*bZ֑X0b%)ꐬ$9/45ymṊn)|ړ o!{_p?F 7Vfrdϑߺyq~m$c5-q_;(@d{H6]o@i[ym!prw(p` i%cq:L[`яpc(-{Mwmf(I2ZHx'P4 M? % \^a%}`UiڱՂȊx~rL}bYO;{8Oh6hG0jvKgv!r6 tͫid8dљ/aaFEOKhb m d/A&FG PW?e΁j:t~椔 ;OrY#']J7r5cZuMm&:Z#83KnZۥ[YceS+j;!ZcjOLޝ0/&͋̋)5NϫDc GM\M5%9Rw.ae.Ds#_vct;cD*}_5FPZnܧ C'{qYf2f͜Rv0؜oa,itF*v&{ۀjPr1HR,[jg0͎6tt*%]3vS9W r[lUE;<DJS*H ~kۖ[mR{U(fP7&BGuiJaf&'N%:N9n#`fZ}D'Cr=H/"9]}U{L-/t>Zg(]i־w`_]z@[ fd(1ݷFYs ?<* F2\Zbv\t.`5+;dmj=>m.F˕_ip;Ǝӊ@^KD !:st[Nr9;m,/^.2b/n;;;n;N'^ (V˔jA^p,zwIPtҬf˾tG8r5 ]HA9;fS+'{7[[98K̑qZB֡SrMBC C52h2悔wH/Nk)!>B\Pty<Ʋ1K(]:-JKqHXeJwP{Erzkr+'{"r T9KڊQ$?<.D:=^@WX !%!D&YvTwGqd Gϫ'hd6B am*aJ&9SX}q/ђ20)ME),D)|2(J$@4]Sy:Js:Jg6=FfuWRj m켌wdKw@"K?~S;pSakfs#mEWQW$Ϭt _q 72Ʉ2k$$祿qk!=GRE'2oGS6fȏ< 8لJa#X+v` Rb^D*T*PV\^sҤ؄K&0GFVjEAO͊UVm;;".MFFGr8ٜ])[wRCiӹit@<;/Yg#rPz:{t%gockCly-qg$w@=aKޏ^lmEU E\ 8Ȧy.dN4Hw潨l,XWKEvӝcXDY~M $v~}7{ ؼM14,{v&֩U,S;YJБ,%t%i7~D9 EP'{B-슜B&*/4@u~6QSBN({@Yv Ka?p ƥ8ߞ[snmNcg?6 r g:~Ӌ7|&9gSKE3mX, $h]#1g"l> T,I{)|)cNI`Mn:*,J$-7 ?^]BC"b&LlREIX0N\3+< =rcc'e}RESS$ޓIQnuk O &D=y-u8|/6KZkP ܠS"TNFV{rkU[|؄R8VJf%i>B'|e>L=2dbVb< Ol3Knq4D$-v.=T ({@qw8cscvh=/_=R\01=%b7yznN*>]Whh֘hж>v)i;-oXNK6'M~S0uA+QNPsr%3{j~%"iAr=Ͽ54cYEμ`MX/Q rۥ*4\nNo#ŖeV4pݰ"ԝ*#H9;&Z9LwH%1ӷÛ2'_o7d8\~Nn>yU{UBP *-H'ZR0Ĉ`Gi7XR\E2щϲ93JEyh•|6vpf k5ifsb ϘzeӸp+Fdakhdj 0g5*C55?;x~ra8\Tn9\dϓ>Of`R/tx.n˶8=%G1\eAyl΋C\! 1GCuU<]y.6,+\ ޓX0x(t1Ad)Au_PY%/aO@04@}('WW[hG^Ҭ}Jri^<j0ió'V{5n/1?Sٓ!{ 'fL<E+D'4-{eo:vE"ⓢaK=zn/if9tѣI%Gv_"Ob:a hxR KHv??@IA%H>噓Yy@t"U{/HkR2i Ѡ*h&_@>}hH/O߇zD vzi 9`yӟpgn85dRà܈%o _S1@6E'6,)0M2ktaRCS)"FDnp-;w}pGEn~oipEpw .YS?"=]n96#UFJeҾp$>20˕3^q}6I%ލg߃Er{nJ7o53h.d6]ILuH2WJ̯)  A5̱i_!@p]0"&h(˾NE{Z , cFk0) ?[BU1N(7J a)4[}˹j+jsS{T`ꓯzӗhkK}r8eoQ坝B`˻"#`~$h|~HY9,?#BƔIJbԚt,o0lԤdpf5ĥzZ5/ %Xt4vDq%޹X;&4rX=q~|%`(w\W1 $̑]lkƧ,VB ,r+L|]Eey&vK#<}U*Я7)vXc//`rW^d>kY*/ )֎"F{@ *ֱ VRq.:-9W,ϐ}Nzo C(1BLҵ< K;f5?siy ^B_Wj-Z[!zVe>%^p\fx:NFӄ̟r踚ƒ cȣUNRCMRu8wڪ3i??HrOQ ڮYbP7VH [ 0=dTCT V*j* S?W ue_ÏYV RclCcWU=њkMn^(9vFמU^r1f;%[i*GFg AOJ{h_$~,N)NZMBG}TR~>]c5FH>Q(_GfrҎZ'%U_{ 8z?s1cֿgF3TTO&u{4yկQMtXM-SXo< c]"XwEDob[P*޿O}O2F0'TmTI#rYI>(OY6OeGK1YvT-~hH*cxĉ+lDaRgZ<7!b$ȃahWMFh9LOT;qPbN&+Dai"^"af+~TuW a$ۥ{(`Mn8<%qIV W쪃2U}yaT}z%bE86hU H_x $?E~Guxb8ǔZ_5/eLPm?/[OaXf.=p9I+^H`Ɯ<⋵FC{L,1ϺQ>LgZȑH",e֑A xѰ$}%P,/N֤Y4B5P(C2ceešοֱH% ~pT&Z.\nMl(]ւj̈0-mzy0j`-ah6}4'?Ķ$}71R@D)-𥵠Ve|&Ph %A~z<|.owS )W%uD+#WLJƇFGG /vͼ&ԅg{lޚ:69}eꥩi|n5!!z'0tPCՎ4ň?-Xau>HX`'1);4҆MhFA_Bx:({'UPF䧭i8N/LPK-I $cnfformula/cnfgen.pyioF;Ŕ@dL9wB p q.dC5E3CB7}{3$KVw%`y9oN%Oyy*Vo*lhʒ*q]'΅bb&/R;Ur\B a#d 0Bz:Ju6`2[3RT,ɀ, ɵ2@Ʃd*$°2H8e|P?FV!$+3˥p醄"[5SUq#$ag%y{$cg?G֢YTz8+r@fTe@Laƻ"/kHa9˗/Y&5 J%5.$;oޅlD>qx_a5֞6=8vvRǒhH<^h|&{cSx~84eI,@:A %Z!c |6fr{<-/س^9@Y){?e犭s .},{3|dy!"|4MCos0d`^ahAj^,O+phz4pVE3O=H=b+i$Kz>m9 ,.jY>ÞUYE |^󀮪*M dUSYFȘcbAU#eIx''ƀPˆr9e 3fn0 |k_r$VZr۸cȰ+-n{ϓMS 6o]> -}/V)ihk ٙQ1ڌ6$K*0}k qnvpCL s lȫJ yhF~o3Dj;ߵ#am)2;^B0W}; ̉LZw!@}|Kū?\ :q{ wL=/]]ރ8 ?[ I"eR4n}X'ڃكB$QU{Yژ)d YS1t0YD?/ Żo$7l/Al[Xƽ{ I@fob>xWuvΛ24qd88ֻh;uPK9I~!cnfformula/cnfgen.pycYsu@%R"+2(iWބeV%J6]ZZF3bpA@*o)WKn)Cn9? Srv~ HZ[I {^~C ]H~JXB9p3"D3#gEyV$xKC8JyE=#/ԑm+m<(nGI?^)uZ8j5[wrfOJ֜j xŎz,B^L0r1t+B~ө*)qSgV>GlW)Nbq28*GK^=r=-'~{b))>ݪZv#'Kܙؒ8+th(COĒG$ئV UY,)QVĨB(nmoѽ K>8ɧ7vϋޛ}[>Y`Ƣ mG^%^ K3ypOޗOB>w ڲq]Y -&UOWhbxzD@~&Kj)G=ck(P(Wm%cC+'C3*|C|%R0r'GsxS0xĝc~sWv@?@o(dV.zHsB4-хcȐo˃aѱ\I&Œ;'tV4r|s\…b.sA;+9^ ]bˀ˦pW{1} |N)zʼn݌dxuJA;C4 '½{G QdY\$HfVbG- U(=m+<-WՊ4=P@lö7m+8eQFҿR a eUv&X_P ߂Q[`X]q4kt05=Xٳ/\8K Z?Ρ0;^f>-ӥyz?_ ]E >0ubW,eYL(Z3ɾ˗8eZսȇҔI;bp3Qq&ԊM)y6Wq&C/1tA/6޴ %.g7Q=@+wݙ8Ni}GQyQM^V e %8᱌q$>$cHc/j;W~z52ek }#3a8Y8qY 3./6OF-uS;SO7J~%7D&] k P7\G;RU=FƎ0$Eq|:M l95*:ddoۈ<ǶwT ?z[q"Q_e&k;C}g˻tҽ{J^|zeR#JąBVnYִaƬ|~83Idm̺j S%'2:e^je)QƋ*alR3x>3zf ]8dvCi`zKJCz1"² x_ ?\ j{ N+Df, Y 8:xa% vn͊nNtN8}Ut(w(AhLp[pG@CYwhP P5IuhƾMVEwx<}v ~ȶ 5.d @!Cz?< x:cݬ*-g\I3=!4UaPG(2pJUn݁  Hcl=󐟵R$gW.#s&N|Acem$ղs}#Ww1Ȉfˢsj<|Tłer %BEQ EyD4Y`!,eqƢp?.Y$bI%AwIH.[WPQ,KpW-$K$+/̈$`=gVw܌"hmW941p)FXS/ :ڇܳӊvçpa m|lM*SP&$5# n9}k-F\.h%D*hԪޗY򃨮Nu-{s:ypJъI (M)zR{g"{EV96 e7_V&KEqLS|UѾǠY:_Dl^eO*tʮ}7C[H*%ϴD 3Z姩ѧVgtG4Y=ܨu-7FU LԿ-\&Bv%k&fIkƺ.MY^l5Xz7ֵ VXMemgRn7lec۵nǞmWVOݓ!}Ptc\l#I?YbtRmr'[WI}LeHcz 4FKchn&;z~7cPKˁ7IJ| cnfformula/graphs.py]{sF_bBI EomծȖ':vqu$DD @=~'0|HvqbuOu"+ZEY<LJb^Yqun.zޏMgM&kєbɕWUZ˲Z&M-"Oe(TVXb\ X$H*M"e:V.r)ut*媬żɀσ4sxI^L^t W$=ÖzQxz&WPbӋlTMmMNk!.RV Ph.PW⢬- \NsyL+yU@ΣOrK( TwӦI],w~pS? &CC)KYbpUu#Z2Y34M%-}X7<~ԿZߴl*Qm(.͖ɼ6 qfZU*y`xDGnSz+B:,2SE\2".*.ZIX8 N ^"R}C!?T^`г1S ܔгQ_@Q=ʊɐyS2kh\5Sq#<)dB빑Fqcרn`TCz%ofp<D1F\yuCd-H47Qpx<jPg5{ŽF؝HE70 \hHD # *_Ƕ q@ )RU"yZq O/MqR!< ?/B|)''=@8馎DR"khi1o~⇶[Ha:_WS'k hLL(W CM7Aڳu <{y0N+5Ly(DO1*shCG}MCYGd|pU!(XyFk8۫5̱'܋S8/.wnِԝNŇFz<=,VvXUd݀y`e]֣U,F*<*Ny >k`M]!}Ur7(xgH|MF pjFGuٲZ5+68]@>|RVFﶫW3Fwc:"rd^:yw׹Tv5Pu&s*Qćh#CCQ9]2ЄHYZ7Sp|(*kMb64dբxr*lA=n"ي,KP%YK^+) ib@ɀVn̲f$8D"ISxE.a,KpPՋCC׵\ `)G+D %.m0GYcĀ\i}UUD)ref]b2.81Eq*D ]*)an]e6#Zg3uZi!Ӗ5O#k'Ӷ2B@{ b[qcD 2"è&>=3^< Vѓ?BG fh [M%Stk09$of|TW$6PӍk RݠQbXHYa$/Ypy@H;MRNť'5f  >M o,fƐ"IU:O11\frd( G; bm)P]4F^p[;AQj~̣NIb1%+yyc]poׯqީª7dItՕLe цbWE]U54.g5mNPQseJx 2WVf GlfWL?fJZQ(8-pҒ^Wq=XU)(%#M0@ITr/4F#_0Rn8]*:a6xڵlLt6Ʊt'@"NTI#!ie}ܯ@&T3ǘ6-Dt1f/`y(Iglڍc# J= ӷ9 jJN\$]$L: hNCgXAT rݵvx68E hD_`ӳ8}+Sҏ~k>I8\wyڲdO0QF s ^փ5 u&M#!v* uq.yeɮͧӸhGp-W 0#¼zWٔA˺0Rg@ӎXHNEOv1r]T}<+:#!S>ْZ\@yF( QO8d3ƣiݝNsv%.e 2̭d;#F$+h{G1%Q$PC?OROuЗu۷۫'0sV^%ȭSA=4 ,zsF pSSD*)`n;5:.Pg}Wa$6U0| "Ha8ڰU& ?I'Xr&ʭzvҦ7YfE!{|> J8oE{1}2z Ѧ,TgO!xS߾+3s9"H*1yp4ǶUt{rKr ];>IV20Q4_ R/.ӶfXIAW7nEr`O\dsH9XGhNڦ,G_4[v9!KւpQ@Os qY1R0d*);V3 9r6B'AnG8Rb^# OLƉ  m1Ou Ч z6SmXr[*b`'aFir\ft6Pq6XcPG1sȈx; ?@,]BsEfY*&t]9V0O u@+onIY*N}3ҝڬ1,GgP)?-d">Qs-.6LUBW_.^ $m?#NӁ/^>vyݘ9p7籝<԰(;tDM==?M1gv@;>8_;yf_r].T%fMl ~Q%4xG8Q½szTo7[|ox&#q_DvR_1WtRvҍV-NIJmՎwW&۰p(5ybu$v:잀d'>Ap''οɶbЖbnB u  uqR^ds8=WzP$VX;O6v3퀳: FoS$3b}y)QNA[Q[:(c`8YŢkRnaSpl5z(̤RyL((ƝM^ܓqs\|MU7¬~ZGF!R]^QH=Lt HSHyF~V0?ΟB oes/Ԋt5wSw0v7P  + p1RJCQb ݀2ֱ˞S}!l3`Ej'MDYKh g7G,K.|R@vHK@|sA=~D:so CLWǔ< l(w!KDf8( L X5RsHot&ƎJTD˽F'fӅ[-@gj˷{ Db͎S0܄hW2PwK. He;5:FJ'Jpm$~r9_jJ<nV0G>S\x҇s;f-o3Q47O>`;GrR|fn0ܼvqqvX8ꪒ>ldW8'yLfsgOPy)ʝ>PmS9e)ܮM3mi L(O #N`ާE7)fl?9ovU٨٪.&vR^.UOu=Vېk-2>qvD@cD7t lOQ cϠ쒣O|Az/ށeWM[2ygJ1POh4* GVm.EV>ܶ#u8 usX NkqUx4zy>Kq~y?ŭ$*WW,;o_~мJ)+ΠΓ⺡S㪣/+N}te_hWakgwfM*[3lhy$;o/{kyja~w8z36bO}.#H %Q~Q쳁^LfgQaǪ0lD`}Y_\<:=.|/ |?g9RFaz Ͽ=f/%\@]؊Y~4ӗ Nd|.M:} Un'ƆvUç7BH('C,WCWTK̕OWx488GNuI8iJwx ;!jE{~؀[AרFtzG&W4Y ɋ7LD&Wy>aSS`JTqI|)#P d<$QIR%ضL. 4dI+4s'F&vNh#C.v{Ȩ>XT$mtkb PHA*`!)j+ɉT37BŅYY;w(E\%"}T>TV<ٟ㉘ HtF0t|}n@J-ڥ>"C3ɝ3N?L1<|xn36Us=VKSg7V~8oe[7_2L["ky5\An<;^W\u!K<_OB]GOOUj"+ TrEU*? 'v$_vabopG'^ـ$2}uYDTg oV?z?ǜRSRfg "'!WG]|zsI19{0UI\Gy/Tk/\/?j~w 2;=_oNtۺ^aiH|I-|y*, `.xYr~Iap?6h'hۘXS6I>RΒ8 8hٱϬ$\|hw-q JNSU;f  bg9NG{AF (}.xAԉk 0ISZM~ B6"Iu0W+Y2BxQ x+Aa3 Ȧǝ[9f8S72\uΦ32y:9!C<,,nDNsiIuy0 Tv6^$Q^oWWOMEQ;u;I>[)A>34ߦӀZjFώjjR_ʥh*QI .S Z8kڰU6~Qb>VEm)kO%(u&WدҒ޲/4L.AZ-ADmϻ+YzMOK.6}LB++Ai(]^ '&(f'EGu+:b>r|DH_U'g~l|0+TDm oPL W,-tSq܎kvL&P@Qʤ{W; dz35`-k㒕[; goj7:qMcYB׃YX4۳2‰Z4"<2cXciU󺱋&º˺!*d%`:-QCZad]ºe/KL~./WL [4XA`_(qg , fc V "Tiya%,{:.Hh5R~D>-FI5Au\i5x$wctavjH8&v_.K։Ұj՘m 1эixICHKP>lHݻ@ _O2d.waf5Poj2VO#(qoZ,ӕq馭iL캔bhFBUB2Ֆv@Aگ55h-jYM;*Yp/ HdX/|ѧ owf?!~ڈ&&P$*c)Ocyd>Z,{E؁&4}CB 5>5Z@[<$3hC!s!ecZByZF x,VO_tE.CIɾ/ ^=~c8B@lA'mZxݯsL d wīED^\DL 5/f6roluҶOJ4d1YLE>VPhpYt:A6k<|G:ۍ i\mjmsȏ$qt{&LHL6}%XM_|ڨ E /2k^#5)vP%Le{]4\(Z"_s?`˝q{".{"7"Y&o1L]MmsT3HH6qcFY<{s Ъf)Fظ}"(k}9n~Vufɏ6%uXcl ڃ;!b+6Dva$V1$E2E?F-zCI4XLt,?&#UWڛ6$ Y&8T9%) SbƔ&"E^W}OYkY4DUȒʕQI|=ZR\mơ}LDof C<IG*<"HE%B~`".i tV:}al41E*tBH~I/%p눁'z7(kj%b%-'P@1#Z͌KT(!UeRֈpS!3PI_M%Z$(LOef(;M[e`%J 8.8dFBjv#t&-sǙl-6q2 mi3Bq[8RKkqݺ"iX mjBNj="s(bA^cA] ZsΊlvM UԲ\m[4.ȚMo.Y;+evv4d@:2MV~|$#S(:^7vAㇷ4C2 +X(XN3XslfFb98C颶p^K3zHeWR1I'v`KɟUcP|(gISM7 OdH75Q$ j&mwjym RluŎ;XM &2kf5C6[yqz_lw># !U4ZPJXu[#iޣEOx.ނ qnw:DfpROAOsvsbK$uپOKoiCQ58Z?V-TV7V&0fTt5e͒{IiGX_lr^Vr @ B 4(WLh:kk}fg1U]]6|B0hE$)nRYB.cJ=nRD @`v䍗^x%.W Dz(Z(U$5%S(<0TJ ˒eg='y@ 2F))9{ 8q[S'2:t=31)<:͜PSi̢f,&p9iLiX"_聵I%*A1ئdq*U1:UZY–bQ2 =gp,FEBUJbٚtV!h[6[0j|EOzLc 60J[>{3(̦)XkB`^  g 7Z!؀/:kEr? qrr'}D!=C!m9OVt~8)H_Ž0R%yi<#ș]DݩM2K =lzI)CDm-(,xky<C$5"voRΔwE.rQ֜/}[I)$l}>}c; YDA0^ oϦfO|E\>˩~[Z6E^n%Gf\ᙅ,i=21S @2ψ8 ԎOɰ_Sn\(`&2Emy0ķ/eC1:b<Ġ_{[ c Ґ6L%`vt]"{iIT+<!J37M$!J|A $RVКMf{FVO8N%IBcTls3#UKab$IgtJ֙;9TR3۷{45܈Bb𵏚r,a|,$Av$>S$ 2kͤ Hr"ރBVb+ayzYKm BaM䨁V[Ǭ֨U`kAWj4cpcpӮ_ 2{F H^ZQ33ў́Cp"\(U<-90 XX8- VfݜoCюzLL.0>c giQ((F8~j r D*mՉ<㍐CAIr .sn'g:ɋ=O/|JfPq>fgtElÃQ>h ZCVWD4Tֹ+Y&glr= 1p%`GR/`&ptF [* 6%tM4eLD0,n$ۅx^ٻYbBn<˸ a8.Ty,ڢgSjlZd3S~2'EOcdo6%2#|o?Yг۾FP9e *lPߵLp).)(eKp-at fJ+J1)=^ Ɠ3UkY6:"7&'nl\)%bMuhv`wubxD ZFlY}sĶ"thcٶf=6ae y*Kلm|D +k),iH4nl |&:H9< 1 ^i0;tvtQ?GLΦꭝSƐ|/g3ԲIRn j< k[-Tt\aF(U KX7ίS{!=(:\7l ;CQѲeg)[X{,>DcA8RlI|;CKQiO{vr) Y:Hܣ*j2 ۥH!eJ {7x )Xb8- UG/*0_E1%KK{IMW5U PV,Aaa7͒HK=`(RNnH$ϙ·3@gntKn[m X/-`8잸Cf ffDyA!R[#5יs鵯>"plxg𢺶&8*'=He]c` MXpŽ}Z6W[ G2V6o#qcc]đ|IACi"Ta*ֻF(L)o9>t,2f,վ[f,um^_͖Ã4_#Y9jA>nCދIlޔ8l{DIFQ [34GbpjQ6%tMRNF)m- .đܕR&m|wM$N 2Bb;g~OtpliH ;/l".Rde,Gn G]!c1p|O" VyljuU;FKKlĀol$X^m}=c e)|xGN =阀ȝǭu8總W8%52C:V/!As'awO ?ICE/s: m ^y.癔Yʳ6&wXE:!X}=M xfnrl*2qSoKv҂Z 7zܾW)3 ޹=D؈[vv̦,%&8xhTF+`Bcd^!{[ǯBN犘. g we6#r6 2q<ǀlJYYKj0S10}6/<+| 嬞%}TƒS 11*5go&5Vf#^X>GQ0Y 9V@~/|~Q' vˁnZsqO YF0$:63tWL NvK[CU~˪;@3 \jK)"m&?uL֎ooKiGۍwfgg{|'v&ǛegɰWG7' $'>jr9olLN8>dW b2- rY\*-¨UX%ʞma =>kb(4ZDQنvAlAFaR:ԟccW- ;wg`.P]El]~P ''^Phm-yMK;n>)gMMRIv~&9윬 ђ9$PRQSLKLA"Ԩ|%ǂ+X)-tM?cI8h1%) V:870I6SӳӸD?ίsLB\ʲ>|akqL$̞]jҟCd?2TkI2ãŇf'ժ;j:pqt"|(>U;~-`|݉$H= dz]1{b>, bD2N9sgI+n #G.)b' p!c6Mt1 ^T&ta+b.0{2Lg6cFxOn|+jA@fEkF…2^\z~ݨ;k\1lқ:e⏍ XC7!*";R֙s }*WآFLj+ '߇] z: i\6 ]H9&slh'&5b}u˔a  1lJx[ 7X=wĝoϾdtQ d3箜gs'E[|c~EP3Bl ;$|ÜuG$Pac:weT)}tl1 l ~tDre~ P@N?c_wC& |_JKBx sY^-tuOW7n`-ȫLDpk ep&2^GNΎȪ0"O˨A]q5Zh1k9BKkzJRt^ςH{E Jz訁O+W',[vxj&s)"Q_cϡ 1K>{dK w4ޙonAp#^ۡn>߫y[P5Mv^xNwkb;0k>܆$3ܶcq=Bx=Lp,4-iǻj9=EohY].}R1~r%(;zVBH"ky>GjFϡDȥhZH[ۏ0WwB5qE-fS0Ȋ9" P^ :ә0b[9R1GoD\ۯ ֡ۼ6?m֯ +]oЪa ɿB@,3S\ctw~=&>CqI[|vHK\loܽ8k[Ψ$fֈlHҠ& [l~M!&^QS[8W8{Ĺ?0u{fZ=CnO]eE1NNFMM>!H/fd;bD϶;$)m^A3p[EH@d Q%6QcsnδP}wue^Pe T]zuMOq0wܕI%38 {po;[wfVyzYR2X9BĊ%y>-6a GNO۞ sy67sk5?RmҼQޯ㥕23/xM!>'8P|k9n12 xfˡryg*{ kXpxOz{^E.b>k௎vf%S3dNf}sR8ѩM9_U^0<ٱqf>ҁ&sSj"FAk)s{hgOiM 콥}J0Ɇ{!~ZVF^O+;6^CF9Exla6BrX=Gr0 m%.,Gik+,i*JB}g[m a (T_Ʈz:^;Ty&BC1`r*n#өVW+cJevy{㕹xe \9V9PK9ICbcnfformula/prjdata.pyj!y K.B$JSvcf,q@޾.twιD %tf:߂j~ 9 A IdC]YLp\?R[g$7Th&ըuE+vmnu/,iU 3N$"ݼ\< nCWcl'1n5W2nt@A b,2sG۴x'old>Xd l ? xOF7y 5R7|ZV&wtPwH5MQZ*$׍!i# So?Vz1ʲT6Y=!?JDMӍMGE+KStEaq]*!;"Rax:vG$N6JtՖ}JJ5-mK]9tq)%l3Qv之e8_^ęEA_"lѰlÄ6xDϫ|Jt7*zȨibu+V;EGE/PK-IG}cnfformula/families/__init__.pyR;O0+mO+QPDNh0qƉWcG6"Wgf./vvG7OatV\zgM<8AP8iCmΩh:) !VZd18n'7~]i@0 uV^&#,$m<a2HIR]<\4Ȕ01sC۞R[xI{ZT&(%y;Ck&  ^s/pDm_8Q\6)Y*4`&@D6r>+GnGK$"C~rԞ>6;3=s u|Ⳛu!g8K9Tpu)`unZG\\Q}Z&u\⇐[:9pv?`W/PK9Ip cnfformula/families/__init__.pycTMo@]!ЈRN+P4W zq$Yލvj#qwn3;*Ҏ{of~{c!~A;

q+0_=T`_\"ሿ ?(Na9 Y$i p(i-tL[ _Jk(%:4a*lt"%P_8OLr` BйYjyWQU㶵'rS5ʫ 5f#KOIZQLb|ͫSMlH|,4J_zOMp-FV :6Rbntޠ[tu?BxյVV)#_C4K<1ӈmCxE!)'yIՏ+Upd-|>i'bԤ$˴՘e Lۿ-f0d'8>mqᶩKIrz=.P51"vW:OYy0귊tEEESnu],6ʕtۺPKp7Iiǔ%cnfformula/families/cliquecoloring.pyWr6}W򃨚R꾴T$Mmbg$$$@..$%Ӳ!q9{v`8ImOܒjg7JN a*r}^W eUKKPNX!k>aPe]P;V%arFIDY)mśA(BH3(7UXRL#gRRqŽg=8S&k.VAWyuJdl|> ŁK[BGXAEi ZJ֚Vr^R9_Z/6قWbX*M!BBC1 F|Ap:0s(b9^5Ȍ0rJS 8`jV. : 4',.=Jª\/i:?4 #\}{PHot{ TʝmaMP c-SWXvB;#I\j^in@ 9fRo/ʻVYՐgo~K5-9khܟYK1VQmD6nn]jιbSQln={swJ3g6\q DN͖m4^ ŤDE &2H˫DTRY%хb_ aW.U!X^ÿӧ'֎ 3 7΁t"%۠aDHv4cCmR Ӓ~uVeh]"uAkylSP=xkă1$til5Us,5mEJ)%`g:ƠOZBMWY">2'E7&2&5%M'g<= t}z5ͲyDO^t~/"з$DD~ģ)x5bڏ8b!q41 FQ+jC@%Sf~<.1NuMUsj6|~>Ԇ'HM0;k XJ3ظ3.^L^4ԖqJځ89Ҩ?k\^׾-HC#+Һdϯ/KTRe-YR@xlZ}'Mr@m !3};{w@G <;$z ޗxo .O^x "J6n^C8ANG:؞FEWEq0 5čʚFo ><;GIE,\:>*q>  s)iZ Yxks?_(yKhNFrZl}]gpRl5x8>w󻈡1!(օb=P1vHޖ(2lf?YHPrEFSo6424% mA4Лp^ֈ2/?PK9Ier~&cnfformula/families/cliquecoloring.pycko$Ggv/w'%#@VvCpaH y ]8Ċ/Ǹww={$!OH ~1TLڛ;ŻzwUk^gŧQOa;b"6;jΊ%^gQMvdq%lf {fe+lʂ7Xv6 اqw[( ǣH"\2qdp _F2 ӗiE鄟çkF]a;6V`e "ha$`[NY O! ܴv:/KL>c{f8Q; 6dzd;Gld"IUlbH.ᢅ<5~ƜL>4Tپ6m~U׮R;P["تP(v %$w))~:^ Ǧ|.[6 [mp̦v-c &_C`t!)™n])htg6pRP9cm2[U $kwħI);_(ЯԜ@m\BkU`߰9ߴƞMg蛵 }sv0/,* 0\XJk2o?Lk@p_݂lw)@2%!?a ;qpgѱs}s849rNEC_(B y"d3ǗD9HsT[a9< \HFT.!G}Oy>P"5҇ ,QU?H%.Ԉ{dX'|8b1?#s^:iϴ6"PP9TgJxy˥Oaw=/AE0 7ib"c<$"1K|*$T#C4RKTR P'h=F%x1K|Q0Xi={}j@7`x.P ;&z??sz|{:v TqML&/M 9]lhP(қ1ll$D%-?'v0 _茈H924BViRWE3BiԺ&~/۫EbN9fNHש{PRܔ)P *V7r6l+`nrAh8U: !!2eF] }<:)Oo1:bEO jrD()p3{GJxNB U7cs.}%Hʏh`eX743>.sMW!hh*N{nv~hfj]R53*BqirZsD1 "=K=!0h42,vĂ8)Ħ# /  Ve´dMEBJkU̔Jtt68k >=6!G! ^ 4AHe\hCEƢ!&HˠٓimSdF[݆XI%THl& Ph7_Ѣdϕ*ָ7C›5pX rֈ/Vΰu#ә 0MV-N;LYQܱ?135[7C7}#7ԯolVhQL9pT*f5.ZVZ2jZjr_ci= C\ea'>}j"8~ޮ_!2=A F]%QގW?,=>#O4ٷq \hxf|Ǩv[ E;ћ}..1+F}_XCi5\ϏL5^lp5amgmς}Q:)fIwGDUϽ0`{݁*}U47Czud׬ 3S(EtEc𐓐b,=ۚ i+f`;_P/ k]T)I!|G0Q׷oԶtSE_u?kt08k1`QR. 8@!+8@/\m1Zl|[WQ70ڰjΈ_7er_ +5˄|c cfa3JDqLH4yL&2GwC  4CrC|?N9~jii29(Ύݢ*Džc}U2!ǫEx,pIs]h2v-A 4`:hc՗m6#'&@fuTh]DA;Mt7[˭v|QZ# 17Cgf RW F.Q;&0'7 OD?> ݁E4Ӟtr /-s|7Sw9gB1J47(䇝6I1Oj•<,KKjydvR[u5{]c򧬦Ŀ*$CrӶ gph :ݏXFl(1l`Ih杣12Qb==6= ,pHæ@O$眼.y@z{яY-nfV+G}xu=X Rnʵ׾fp"}Og\o<2>YQS}1ONN?PK9I:M j cnfformula/families/coloring.pycXKs] dR*[J >*e;XvRbrw,pg@A%*r!䐃R9 zv E $;===׳֪ky3AE/DZK-٢e K" ӟhM")/pZDѪ*ZU͈֌7%YDf"<'Z焜rN%^Zu#~U|!{AIyQtY3ܻjs.cD̓$s#c/%aqIej;4eSA]fӹ@FC0udؗ5J˴ŝj%Qƾ?&&!:IF_Fƃc/SxR#Xbt{IYjh vu;5$A^ā%-^"]5m$i  t{dX=!)SrE)>Ft{Z~)& 4S  %SvUėY;W`RE,EvolSX:mNM4fآkwHv)t ,= ^ bXY0J`5FĒ/-ڛtCĘl3b4+bT{m6Zzf;홅ngMXI;y]wԄ~$E IfY~;M֠E;k{k[[$+zq_('na@'JwNXKn$t(ĒRZ9Am7+/ c Ji_ih)IAD1)R]2kU-P5_x0(&]5i57|IaP/eAu/)pNźfWWJ֜#{Z1> >#ߜ?c=w :[|y->IgR~.sw"NFW@JE(U=ϹkKî)bpd49[rNNL#s4\Қɹܢ3F:ol<8sqwE]Z1l(n9&(PBJbȹ{kCojC:.M= r iBf#|p3b|G(xy ,R胁blm$ͅZv7xPk \-@MɰHPr\KR>!8o]T'K!ǩ,ޭ$ۚP͠.naZ2 0g\ ^}u9A6vv;JAwkabqTyi+*PG1K|Grv`igͰa׿VO79plc(G9%c'*±!wヽe8zx }6ȳ̫K0T/>gfFB!!xg^y_ GKU>=c6b9sS+OףO+MւІ؂Ć +W BUנSuHi~HiB҂NK6 d:s`3{tu{D y8m<)-ܜ2=sW!\p~zb 8XnbdDWQ:ّdTEiw+U(˓aV~6,ܦ*|,bs?}"7E7J^uEa%z5.|æyRVÄƄT* TMNEfԒAчQבKwpbsmo߂Ȃ6+0F6&UG`\_pSǠZ0n 5a4Jsxt7ZބHҨZsK7# Y[Y}?#< sc@[ZHGP3:\PpPQDv78Ɉ+ '|:*s>:#mωRG %1X>G9^#?ɻC MM+1RI0K(53$R˓?(0wzhTq;a4 EHZl{ܖ]Z2 0$ч"N{ m/i˧޳gfI#Ioo}cا҂_Z:〱 i㽎 W)ԴO7Ըbs8p0D?f*onw W@}O8r˄@{p* pw '|& xU(Є+xۨVDnФK}wX'iWu3" 2Џ=yr1jђ0466Lؾ{,ߛq3Y(@ֈ$ba9ϥˋTؗQ@;\d uZ,7uQ:..K(ӢDULq` @  *ڹa̒D8( ʰnIkDHԣZ1DL[f b 6JĄ LHɺ&&R^s0@]J<ac!ޏcd;?8:Yrt`Ĥ$`·~Tjj,?}$9L(ÑrERD<,gYKZbCvZg\l̑w4cA~.LA0>\/ J'HHx aPkm\$j?`fsD,2Uj \".= j:wݷ~wQߘx8tjAu{zF2h,۷ۧA@ H?>Jf_cfHh~ IE5(WX#+vdF驊ԂN8,N8D"۰-jKݲ]B"m12(5 <.ݤcN^et&utw@* &u_ob1re"}R"f3ധͷ~|Xbe_[XQ#<;TFwJߦƹK@NmjDmj~`,{!֙BRk 9ȑ\2O/Yo?7b3SM[QęO_ҥF{Puߡw(R.2L:hs?%472L_NQ<ގYnj*&WPGG20\+VJݾ4B˄J?H'e6>טsIHIK .xv]N^ &,?aS($̌|1 wuUK*rP厾Be ~W PKp7Ib&$cnfformula/families/dominatingset.pyWQs6 ~K.}]d^ۭ$9a$$: %Y4^C'+y7W;,6~t+]N`R-Un1'z~R̄ $Lp(am<ܲF[CZ,AyDCPZW˹TԈoh4jKe,r<kA+ b9V{ĸ;,G%!{9!Q& QE@5 %2ٸ Zd%e6Qnϡv!q\ޔ.ЦFTIy؅?b!"2Cө:;/G+̈́N.m?Z+#U+T\O n)yaY,2mZ ogOOO=??7oh#Zˠ\/%9Prq4^`#}#,Ճfg{)Yst&B.iHi|^}nC^V D=J}~;E7oq2^t3&@0Qb񾍡cIHhD4ޖ׵kק3FzBbTЋ,uWSV?)QXb0RGU EU2ZB^R;+[ \454\-aK*4_V1B♎KA+';cWwqꚸodn}j ^Ԑ%/< ju{  ӸX3'EGw*8ԷlnBZ/׳hZ}Xx=~KߙU4V>egfc2-$p͏ڞ4h  (? qkPODcis=޸p:d03 2sp®ޯ2dw2b׀*L׈]t5> #$(xS:LJ鹣+w~jl{sPK9I( d %cnfformula/families/dominatingset.pycn!Eiږ]%یP]hUHj T0FղVFC%5<68hm,Zf(MW9rStQ}S?\~Ɵ<~ů߂P@dAA9̛uK\2% Y4Y 2D+\1gE+UY4ATf ,<2|*K@^>+ç/~Mg^Bop?I~)[yږq;N$ ⮝ҷ{i eSPp{,.DP^}djnLvUV;"/͝,qL=uB/ ~D{}"Sҵmwq{ G$U51ZA †4Gn*{ז. du`o4WEk(ZPum]@pc\%=4ala f6E!72!KdQ 'E X% p ^2 0\Dɟa.2p3"A| C 1gLoǧ0l|D j9&L ;V\YԠ,OwyCrS> Wp2k# -8y ?ZʘAoDwn QS3|ɳ2˯b34l['׬0߈)NZl M9D *|4U!]/39rM?6?Z$B7 歰*11CInqp`<ᴽAh <6sko}} eL:dUln[ K[t'y>/-(%p ܡW8$~q@;*Dwޱrχc8`MZU⺽yhp>>&C0n @ّq WٽD щ ڏm<,A>8Ubya*I``'GiV-'KR2mq6DxIE{ˎ~xCqnwrLJ b=yȔ hk^F!E{an%I8xF]Y Ӝ6i Mx)HR4d"qtȡZfTys) g=:[s|6Y#% gǪUvwP.SX85y~6YeduBF҅CVxY:ƮCq2Yڸ[K%cЙ3Q]"V]b-^Ws9Q PK-I'cnfformula/families/graphisomorphism.pyWMo6W:ȍ> l6^EwKeHA{gHIe9S(Cbf :ywQ}15Rο9DB..KG `0iZ0Pz).Xi7S@tQ̐ldZȬZOJi ?ni.$E>;?|uJV|!:F)* &Ռ"ƨ54Z\Ix͵ 7^A%T" L2BIJ<"^3d1 S-9 Ny&m% ⧧o`D p6`6oI%`k 45c1YW`\*1`%##9ayWTѲaPuzRB{5_MNW-DKC{ Re"s*?nDſ)y m,{C1Lemg_Xg6 w f틤ڛGt;dv׻9j 6»&aiQ$+>AKC(]G4rt4tfqバyl|%31Gw1wSjfW*כ=; ^{Q UFκwFJTX CzKS*k2Hwg`[KK&ɷ=Ūa!# =q-V[;.yj9#{qDKLz}ܼxoF;Uj@T.R mcCk/ t2 4oR:=]PONDP4>"A6.UZg`0U\pŴud]ɓv97KWzQR#s~\Ũ1ORSkl=5F/Y(NYbuN0F<&؍Z-7QwHjlӷr㣇{-vMsd,xig:igdmƇM+!Cw蠒ZMuyњD[hm ۚ 57&?N}O^@vۆϣ#Q PH4hL*@X$ z4S[v-inۀeb ~O2\Inv"rYqx=N0f[wj%3]2CaǠ-0ƹp@I,4D%T!h"DRuXM4%d0T,UErf^D_Zr$@d9ml p V|DQ6rU<"GT<+ ynAjD)w:bǩqCw녭+Ƅ o!Zƫ _qdouO:<_ Gњ"U|T xLa I)ޏpx:2$g!z, 0!dZ^;D<F47< Ȯ>7'zy3Q"C, Bi"b'tC{9ht$гe0/t[E:X-9_.#u  \,tat],ؼMFfճ~.!oqP8 Ł.lwq;XB@Vk\ 7ݢn6E`oc؎DGĊLO< $g:Xб~0H^ apy_-Q]qEe޺ }v9i72)nV^`?QWnxHR9u@hn.bMrMpi|A~aҬ/ΙTyGr_H%-8ӌ ̃"B ]tp岮YC7=T^ۅc"#5e 7#ww (k.KucEmP7H}%RL~ʤf0>J:C+_E"]2-Z[!B_*BPYTKB/gX(V*W@L*p-Y ut}: 3W䅙8CiiGWZi4PZqo_< (& 9FA-Go`Bcf97+TkWsK<Eʯjr7" VCobsl__B2*jzo]ODqG{eJH҅pFjfyWZBNRe֢$&"2zVolk-PK-I7 cnfformula/families/ordering.pyYo6_9]!v- -piH RHJ%C D'*̸x-z)w@I,.'`0+S1R9'zɈ,VZ1%d.LB"ϛ2##t\jR /di s3=4gnN3r,1QfMoYyT$_,gPk2Ib7TeuuLfyO{Tlptʗ9yj,Rt򒦊E*v<߈R/''rf,Ni` 3DϊEVǐ|@9!8bȌrQ-1}%4IyzML؈ V䔬 g0 kh RWkHE,/XBf4 @--8 @pɮyTmH3#<+3IJLfta#o9#RPX7[UsOEc4zL* bETU)V!(. A `5 ;֠ـ$(Ȱ=` 4cQDnN<5oG>}GhոVe6 = mc K,d]XF{y̪Bn 2>2'Ahq@^0|sfhgc?,5BmEB]W=+ L2ML7Kօ57 %c{8T8C93+q%SMcT.Y|e\K {֊:Z$5X X;"bkCD2QSG52:n9 mZ  PSy2䪠b2, #GaiB4޽!T6íwXsVTon:IۢdQ $Daǒoq5zVKޫmM}f]aGSV˳q 0sJrKGD.x'Ȥ;5aD9X0r6!㍆8 p³|FZ/;Fqqnn2u@$:_jVL|/Vړ'a)nk^l@ 0֠i 7!u ¸C 8< Vm]L׷)0>z>+_`[AyYa1aX=3NUUVdGdܔb6/&Wz6qxdl^ecWDP,c/((ߐ֩F_9n8qԟIpfh_Xq@u->#Rzpĭv_~%!5Cܮ$%4kMԑ'7e\>vX֢ #2qtp;|9-+qopm4Uw{t@a*'?J T}ihS-uH (g~9p#d`[K9y1i0iUbLyXߒ:l#\K˴PFmM5wPnUS|8 D=\LWkl FtH?مlKEL="?2';*۳AO&< p_Nzg~=9zހ ={;K?8Hm]\o~.g%O,`WZ>sX*+}) Iorm#EdmmmuQ1t¾߾?+2W:N[ yt9p:s4f70BZ'hMX'}v^]pv&l/˝R:qoo#F&zY܈Xx ˺9 36! 6ѳ,!3]w&]& 0Argp@25& SK }as"e(?3 %v/-<GRBbQԀRD2H4i.93Lsciy| N!}ȉEĩC-QF;O D(Z f/1X,=VR^MyxaxϑR= Dq4dž󯦧bO z<…A0nm4a]3&[AЧ$Omܒ bG--!GF2.SGttVrY #тY#gxsTdNZu*Mgr8:l& R4G)ЎZ fg&@)pqGRW ;WHc>S|wq *jcXm/U[y?k+CnMH4C5Ӓ3ŤVO0ǍJf0;P'jc[6zOQJKF]CT%:5/DGPj[ف=? 1jS 5U< P} o {QxU_HTw,4^Bjj\Z "mnݨVj~T=&ٞle/rm^%͙9c2 r WT/+)%<-Oy@AV Th h(R҃R ㄓ991I""'4ZkւpH_p@UG/ `g/E/b-mmb961.kج`dP4!WRp?Q}в! Brw hmn~zI|f юO9JD&KJ? 8'*6FDzɫ7'C3Aҿ>,BWBkx䙚;V0ħTPKh7I>e }cnfformula/families/pebbling.pyX[o8~ S FQӾbfۗ4iH )9qI]|{XA$<;sxdzL>ruT蘝%*bTW҇`(sQY*S9B(T9u& \ιcGGs 󺪵cҕ^Lޑߗȹ?{˝4;2| YBJ+,*+JdU ]N$Þ]hEgR4{'i>OI%E^ }ty.y)~R1gq-?:3SwZ %xCtnPp(5""2 $Hڀ]ƒ.="DZ,FBHҽ1AKw&H3kwq#:SYʬ HkYz{<Ѿ%pɦ غ”٬DHG$jbbТҜd()a+3>˅Fs)FMQ;7uٜIxʬ]xf{ZZ`G$/J? 5t=F FU <'= 8-ǻ|lDGO98YJ"7hO ,HDt#)ls$ZM;u(Q. Xj1ՐxЫhK) ZMItVZ^wK8+Y>;2=th*xfNz9 )XJĄw4c(yEm*6k:!pvFgQHQ˫**xa\x"z}zӵ֯CM1; UWq*Z@|ĎI  |K |[))7 we@nri#д~G4"%,YٺkAIWOcFɱͳ%s:ژ AwJGR#JnsS7*]]3-8F>[2}sFh:ZɲqGO"p;eYt9=A${mPBAyHP'MPŇbozkXSА/Axʫ)Q/pjM@;-g;~3eُyY|Z7S'ݒp٢)66,oN 'X@EBfP;B 3S/Aw6}x/cS >cl-VFL]L[Ԯsr6CHtsuKU VM5B`7ěuf DDJwMU+?MvV4Xppث6895bsR_"Zr)!{7YEZyHƟH1z  Չn]b)-'QJI UXO2l1?f{_1p )6` t\oGT,x3'ۀ&= ;Ogsdc6rL ii$d;}?6rm?;eMA$h Z~o=c!_M?;6Lg`XsC<}3k#O"AK7n1 А|t~~zr0[AY<a3 hSJ#^仨/xbT׳hlED|(4yÎ4t=79y4Sm0r¶/p)r8ahUM7vrqIuфj pcu=24^~JK=#^13qήk7hz6D LSh>o۬萪?+k|Pv xn`M=PR9y{uzQ1p}^5wgu]f6:*9 x}I{}RtAui*M^-;T31@px3;QD|<0+j2^lzaۧbIftlVz_c/'qu%Qnϭ!ѬAVn4Y.fm"Sқe }[(qy'=aqЭq8FvFs\CmK8k}Ⱦ=ĜP G7>tVRl!l<؞zquL"ͱzOr6yr̼Y@+|M0PK9IAX# cnfformula/families/pebbling.pycZsGVJ$˲88#`k+$CIS1fXDY<;%[[T)NpHNnp* wݕeW %jMt~>~5Yz}k?C{E"6X)CLn  5$ևTHâUE#jtX5&T(hqhMI>%DXޘXrJl[+a!֏ gsf7$v^-%$_FȖ S'ЊVڔVo(lF=~4ɪGq8II"=B fz'tAB~뭲N?zN#ž2d줲zOƩDaZqS50NwcO[Ycһ;wdЖ-C'J-C[&D4 5lEuDKMNrt M*eQjqԺ+w+2L5xkFι s Fֵם29ߖZ@ݧ1"s!Cӎ/&0'7ۀĢ{M2RRȊ;/B NXĘ֎0 /N9VSanf 5w#ߌ(8A>÷dzMgج/؍GұhNPw:pK6$'y:7pȭR[N@O罸#yFIlRQX$>}Ulf! };h1eQ8mN&I*LB r)&/M8+D*<h, qyDO9<:Pp1VT"<( $u 0b[c{A4FQcc<1Ac&fl\CعȒ[@~ڻzMpPX3ŭWE`(+˻k`z4Q DžjmDg)SBǸafa:3Y;L ѥ=DAs;*(̯lFtzx7W6kK P^6{Ά zsLq*#9QMcǜĜYH7/Qu%ZUu:%mFFH2Kٯ l&aDsQd"kPJˑ[$wN Ȭ(Rqg{车&;姉 {dkEDR4f^yJuHTywh'2P̳Q@NjݦJS:gؾ\e~PXODRE+iF*j򉳕Z@ތ$@<ȫHjv9^ ?ʱR3>'9&)N3&T ./"7|u؛vFT8VyŋgKvu0>;!_p=e2( C jp-ÕEIQb'Nk>6'Rkq3zѫz}8>]|vmT2Trdg^хBwjYͦ*\4V\l(pL6[Ϫa$6nDT[P}#4PNؐ6nm\_B~PF( _~>7lԉe {pigE^c\Ue/d jB5P:j%7Cz'2&h`7Pfeye1[4&);g5Y0.Es8I5әzSh, zBD^@ͱ>$0c}_Pji06 b>u1/bo퓏!?Ijҗ},D*`rhwsȡ$|NdlAdٽ܃[̌W*U57Upn0AUVZmQY;]/rUcP( q)ymF[}yj{{BѠ̩1<t؇U#ͱj4ǪUdTfNva?Txʏ9bLƧGBo~1$˜ ck!pN`ln[&C^s[ؘ̹lG3Dkʰ_Eqdx ?8 i$ Dx8xxG(xX 2 бVV¼^+m|89* h| ?a=hBM~-g k׉̟25{.PCs; ceRAสT͟ ?"D搨Goy'ge'd>{JS |> 6TL_E0ͯ&s,g+eOːWʢhN1mNS=aN ̽4pPK7Iɦ#!cnfformula/families/pigeonhole.pyYs6~P8/OiIܛ:>O/ 3_].@H^oZNb?@Y3_DzboɔY(aYDa0HDZBf)"VJd:adH bQ2 :!I;=LEEV\NJD fsZWKZz0etD<z[Tϔ6t LYAeTUAaH^k*!c/Vw:̔XI 0\T(^djv?>6~^Tpr8`w6^\8 mG;b. 8$c%,)Ӳ`L4,` VXj(&#tfL KRX( *B `<2|`NGR3d W؄2C ^r%yZhR2<\!q@iycsӐaV%f̘p~8;&m1bi?#5+5(cV(s)[ĥP׌`NC6d@V?"XcI@S}OA[!hfw5> !K -oWCȵ!aXjp ^@0$ VbP< y5Oc9"#ʉbܕ, X\a/ׂBdZll=g{4>`/K;~^7v;!TqnT_R!S[!ĉ- \P\]/m:'+=Jdxl>ҙ)&ayitSڜn1Oe31<]( ;1G/j%A`u7^uG Clư8^OOW dGJ !5Nm hۿ vFc  ;tsь"POvU=?]ZBV9 i6b,@R MʿV@[rPXFI  Ȕֺ|gP4kPd|Cp1cR"01.ql=d2,Ve ]-d"H ;!}^sv؄qcamacb,`b| WN$mI 'G C (]~iSrN*U7\ƼȈMFA]3=Q\ DNYqh`C!hŔŬ+ξ UvV>B3Z`0yl }`zd uRl7.)DA-jbv浸v>64}z1Kfz;QN?գ[8[;H,t]y[#uY}WS]|v9 Nވ-5u(dV@^FTi 3 t_?E08rg f}ͅB_; =w ~nJ:@m3ShdVU^ o^ޭ6GK7GTs5 l FdW C̨1U݌xd,6]!Ժ3l=jVq 8 LsQB+A!ЂǕc=AG7սTUw)4?OQ(*_g.|m:s s_p.)ڌl8^߫PņP~wǘ?h Js 5`8aTLPK9In )"cnfformula/families/pigeonhole.pycZKw_,NI#yn%ْߪQ|D94 %( @#ҦJw访 vU뢽 JtIHܙs7\~\}t5g]S}I%-/`Bt+b' _\ ׫WACt'N)&i="֏XYuTcsSb8(jhK7)>e~xBlޔ7R!>FSGGgVpXULQ8x.u{0uR? c2 7>U:QNK&-HKtvOݼD[~ωS?c z2V#tiki+iulGq4h.nm!+IG^MU +GD.LMocvo45E|VD:eoB<GB2??mBF۫/ ;!v5~ISZf g!1]O'+b*H^{5V@?>'#H')=Z/ L|&_*[OHp,oƓ5a?a촼z >;HCE.VY[YrJԲZc53?݌FA'DXﯮ-f2Eb5{X>1&}w:nЀ"j%_zP';z:iO>-OdJBD]V] [NY0oeʄ wd&mCnR6%%{+Kf mMj5@ {ż%x;%)?nDj$+ -S'gRY61LcUmYc]InjMTx|ːЕ9e7 jkYMY?Z s_;NXU9macvM[]9=c'ܐS֬:N+r?gUAƯ8H:0 {F=Ef^ ͞ +wp|hr8NՅzbTY7qu1m6NӓYVoݘ6Nn)c@9 B,,YPYYPYfAZD~@@&D2{ ڳ q+`: "Ủi:nUT)q~K) *|XNYNY,M&؀4˙d}YNMŒ<I A:~(=0ʙ.Q*|0o=7o()36cYMĥA[ԎMTnkNJ;{] lp=pm,tš̓]V4#T&,ʈ)$yȻvs!;F15rV"c]0bSfqj&M'6lQcEdjH[*60! A"(mIԕYonhuC=XMq4^բ~SS+i,db!mزğHrԢm<\1P6lkcm6 (} ؖX%H] }“PiwTj;b\^Ϻh3 zZDs8Hnb3Ad a5?05(|Lh?M)%SR S܀'Aj"kClrT.P}S2CIAuP$u*9 141 }I'~9s+_T $-1 #iG=p`Wڵ$N|XU ehe~ۅ=E600Z1=@Z:0:&𼚃D _q_ "=vYm)?A |sONG1هm]հv3IE8b8f># bpa*;;v;[t ]abN6CWq\d,c"1]O0-4F)ĺ/#L8:zY `UدmYV r vb1y)4_Ck,(pafÄ|p/Lhh4_xHL\eq  t4 L-8R̰P2xNnq!F/}siy3`)AOw7`C>C.y# Ut'%I0@ df?LG < B2IXҸ؏,]{0iTXWW76:]Q8 ^ _>9[SFG c,}+[ox11g3˽1UkdyO8Pn>jŒqA(pq(c"yEDϱ!.dLʘ=[;**3 cv p1Dj0 533FS[02Fd2?L#Gh' g˪vOI?f\sȎ~_r d/B9l>W;Si_؆7g)yX$¥27a%!hTXrd\Kژ`83RfAHi^#@"9 ˏ2VƐdjrT3NeFQذ wtzEu)Xnud Fڐ:-q^bok_PmSVogn瞨L2ٚZ* ŶW1M^2Ɲ5)*0N%M[/9e83Ɣ?PK-Ij.cnfformula/families/ramsey.pyXmo6_qKPXNd5ΰn/XֽT- -6gItI)l:qv LbS<>;o7Z=1a' ӃL4^p(ULH*xJBL9ռU4FJU]WL'wߢ Q 3#VBpPk>/x9q_;'jj) NfY-dII;?:o+V|,4 pr0W*aX*Ϊ#%fa=hP[K)ѫB*L0 R0+\  &J PcX8Za09TM9䊠ei`dq@gEgTI(e% dλzVh]vWYb%li3-3Lx\"u*|}AErjgDŽ1+RxPng0J֔FQs|v;0=U7p?71k<1Eɪ*Vp11 s:n2:J4XT 2SOs y2Y}jZg V|UUAwFjUY a<,* /^6lH |qhVyљEvUctJ~<;萜r.M /Ѿz hH*wv1Onm͞&)KIpdzOԖF#`%n7Zkn4xhYлBulZ4;#kR>jAKt(Wk!P`7K<Y^:nfaea79qo'i&moo`X^LM<}]+ԪnکΫ2 dDh8+ze`blwjޓtk:öK4o=KCFc~Nyi"e7~@34WqSuiv7^ ni-,`c߃UW6 3vt'*Cyuz1 وPsYQܷO}[n=m쟌;/9a# 2Dl~z/i{2f*9+73sd\#0Svo>}/.qxw¿^˾~10_^P_by7aUPK9IXCcnfformula/families/ramsey.pycXo;~;qm%co㦥Q!8ak7jbx$On2eEZ@/K?$ڙ;MHI\fj_=>E 4>cZ̷Yhf6_`amY^ދ,,¶+9Uv,hm3Kn.0Sm?Ǧs9)~jn5в47[-DU+a'Үa.q{D_ƓQ']XQMh{s?M--ܼ][vwLlD` Af|Ď@B!`FMueN8>ٸ%瘮"]8*ע4.2rY,yD3KghQcz)"sκn9 $0Բ>_? f.snO&NA(!'Cq˘xC wp/tHqyQ@*tB䝀d0EˈĬ!FNk+ih %ŒG2^8T;mH9åG7kNFwč%LdkM5.KCӕ='N_l0K7MaFn/q7&B{M>-q#сH!!W$N;xð#}ٓP$wЋx6ݍ7Wh__]{I 8jPLËT-u^p圦V#x ADHb)$m5p?~<@!@M˨QL: W:~t3r=Fk͵ep wHT 3X9k)1P P-7TQ o@.攲ƎG9/5z忈\ +vxZ,ܰZ ]|TrҧӜTHs$n]¼T4_mHG1#H-e.W0 =2"IMCjR'1!o1)&H& 6i-'/!sJHH\V։I_g )@PIC-e7dÀ!Q;I0M3-tHqU Tp Q W M> 5PC>aFr4 Ӊi 5@ݶQ w&cM-9l0&sgE 6Naw5ޯC/m\R5/].çl]8}"'6(-*mm.xi]n1V@,S2 OK*^Z4;srL$eP2<t}4(| V:]t5?]tI ʿ[P 筓se&~z,20 ĚyJ7mNKP;jQLVW tDppMu& ukSߦFI-l馦:80ijj Id(\Y)foQK9RO)rdB%CfBDgB 8s^Qid5?4046v EyMnG҇z҃wઅ7_Aw9`/}:jf)[㼌Pr X͓wns\=/pl57q" :nȖa }۹`FS[kqa3A3#La D[Gуv f8?>L8?JF3l^lC~ !_m\јȧ2J!%xMYLFCHTcB)Ce.;+"˄A>=[$히EjcL@uзհ%[ Yl8Y&pe]y o_\[~X PK-I%cnfformula/families/randomformulas.pyWmo6_qs?Xne'6q-X0`@1žtMKgDi$+wINX&=.:/R]hF%/`rySH_vv7dN-6*ax9Id6ڂmT&.h$;Mjւ^!^,QTxfg'jYI4 = Dgpmf'HdW5*kf!??p_-Q =*'S :`kT@$$ՑKCь6X~$L ?t.uLGۋR3,m*=j5HzC'Q#gB7J VOe4N+͊\#u^zBh23h+,^AܚoB* r5\]?-ZEJflG^G"/r)ng.Olet6lJN!Iw=H}\ֳ}:.܅(RdP9-Ǻ@eG2.nP%-ӡp(CRqh,QDhQXnI3EaWlAlNH{A3Ī`OG[g W:Xy{Y Q7ijTc+MIBqyE&BD)R">,ι]R:3@d(l.ưM^ a,7VTVS;ʽ_ !Ip->Nx됞wO 4 ^UiM9x%j(ApOQtBť%ZL͍(/R?חc-u[:uGק-GͣOf1ɭL݄B1JqP7Ưߠre&ā"A7vQRRbV/_]ι{B(ߪ}TVUo-/BczWW%![&u<1o>gA?N*xuO*XM]bn[;*sy=sĝkqj*EafY]MXMfRc[걭3L=d!ZC4S9'{`#Ts=[k[XP߻O>PK9Ih S&cnfformula/families/randomformulas.pycX[o>ëHI,ql$&pFUMT#EXQ+DV#rɽP;CYŗ:hݗ>@ /?=̒rl%"\Μw.,짆O[Q+pP~*58su8huM$4Q;-iC< `Hzx|SxO-D-+p۴9hMڳי'oaYy@g#pZWɰ+1O9.q)GK<&6߾&BT{ڗ/ /$+SI,# {Y*3m; umˋ3Oi'1n!8XTY$ ~3WJcY5;"IzFy`fX x'qoA78@RΖ3"Eڭ; zsHd,!#" }WF8*A@V/)OUaP/נB(o) DDDtpg%lo6÷`M*!H!N '. 58 ( d7"|ˆGk8ɮ V~=KeBLvǚ P1暗 upY3K 1$ERY'1EZ!OXɨ _e̘{HIX7vk8jxI=9qr032cۖܙuvi_1>s~{b &^xK^;H/e2EDH7`uT)@e@z!FEMuG4%H`^"ra&(>_gs Ws;N~YB64͈iUa<=73ݚnOG0Ǵ {#g2GTUǐ]/ޘV9K+YmyC3Ƀ3#Qn0]}PT3>n 苑ܓY6qI^m+"0͢t[ݸym|'bq6<F c3k:U<2`dK50,Tn[V%VPK-IJ  cnfformula/families/simple.pyV]o0}ϯdICBR񀺪s7ؑ ik'MOM|<\qcotw! i+3Ḯ!/2Sfbf BeF r9|Zφ8RYvDdS9ٜ %MTq-|I,ĉ1_|1z$Ϊ00YA! R5;$'g%TŒđO)ylfj׉2esELX b\:~AZ'0agH\شR1,ɔӀʴ4Ҩ%n\=d$=liՆ$ɘо7:x>rKd:z^Јq15B(-m~~ iJ{R,1cZf ok6QVn_ʒv{74}Fςjɀq \58̓84?@ E`n?pFI{VqqwC+~B1: [ϲWk#m>U4Dy! o Z`>@[cpjlZ1r`r _ulo)X/pwN3Xͻnc`. = \J>lSX"to Zx$,䲕ͳ IX{Qj:0x㳏_/$.^w-I_ v*]l{_{EgkMԟ']p"OPK9I[cnfformula/families/simple.pycXnE];v8$h_F"NS@M+!Q[Dw;kFM~x)x{~xibX7qwνMυگ<*3ſq#k!|S@$+ U1Uѣ'BboQC<> aQZE8~\[QRЪ|4XE6dҐ:^h;{Wd74d}tvkgSpƗ1 cWUJjmO3>ҭ"q:v8 t V OMUUyk_k=w=Wk 0C}+!ݝ4G7Q}zS >T* 8ў)5wKr{p8)VM}8.Rǥ˘bt3Bb"xPc$n'8D&ҒЈXH:?SZh5PohਚjwSplPC 8baDhet,[g4ƢqX0t:NG׸C]'R[ 8*F.CS4y:+n.x_20cJbV8|jmOC?9WW霐  V#,Y.MWO^NR3y,~kY2l!oJlզ9I{mf>GtM􆭂s}8"7<WD7U\ re5ZA% !KUWZEUmsF}2 0o¼sf6-AATA;vQPJ `*#y3c.F1Tm3[IX䔝}H3ۑcQ_'7H92\:&I/i{kAN_n=hߙ _[َ˂+a##L˯VŪ"|UЉGiQŞO129ϭgߌj^1̺Y7ߣrPKݓ9I]w"!cnfformula/families/subgraph.pyYs6_Dh&Ӎi/sV;$n IH@;venFHvVՊWLܐNoK19&'ߜ̸؜z}|19::rV0 嚬KY9UDo&閥;|GTHZmM&kY$kGO‹}w\d9!Q }ĭtxִ9gjdɉsfpͤ.\5ӲJYC 讀r`j!<{-`Oc8 F"VTQX>[xn(2A&oGBK YrZVIK CAa֫`Z4b}ɔ&[LJ #xB E;7LxP[~H-$c_^E 4vP s71b [E ŠҼ&Dž bT[*jbp*7bc-.9d3\a]s xb"JBbmuXDzpbſg jԦ폋>??#JZ6[րyx0I^I4ra^|%V,KK0(46<X?<'G^?DPORX ۊ'J-]`yFbe@Hׇm ?n PL/H%b׾樑4?dI.hUNy~Fu-RMF\`=yNf cFt ㍵} X,AIUeR԰'N"n$DĿnp3kOg0ڹf.+ä ם '&>׋py\M0bҔ,DSٸbV-Zj7I;r7Anʻxpu# /+2:NI*uJ`"gd&*hoy܄/ݥ{hk ,|G8!g?-ml1?8 Os9B CS8#|*84m҃Ö% 9?]Du{lf|_=~ !Iby =V{D=v% xJNidE#34JaB:Ռ"O,ki͡|>Z;69F?3F>|~ٙsϛja6nKhft%N&w%h޿@& {Z(v3ׂ)Ձ@t`Cpa;c V/&}==Y=2p 1u=`.8񤉩*E~m;B%'fwkhx59v*{Mtg)UT*y=VHyj_2s\kr]-K#Xd? Ys'ך\Vif&yBsb9/iFnkmHNt0M#p´IܽFb +99BdXcYȎIwHjgV h9C4|*;Ѡ`kf*=N_$w/.??ZM W#R T3溲 pc0 sב3{;wFN 鰑 P9_]=c9jZ˺ojlXሣ|aP4g;ҩzӠWƂi;4"[,Bΰ;|^@%p T@M\0N[&-ۛc ;~d߱4( 8O=9聯EݳĺйD܏MDS-#?ey{i:QswTP"CHZq$0B d\Q>b-tڽ{y*~GDҐSw+/@V (h!.gr5 seI{w}m з2,`۵f $OSYJwb:qA8| (Nk61E_$+n©;4s%P5 u'{5Ѩ$$s:ôf,Y| -01V~|?"Ppwגm`#ߌ0MȤ#شŚM`1JKֶH)=D͊b<'vKxMU"wBuh45ȫSP 6 9e^v}p)kx%$-]r-Y'p'fyc8ypgc@n; 8 pjGgWs. b>m"fØۥMx&|w*Opu:[çUECQ!߀bލmVJ-tXެ lpt T}!o =GS}'iD(O'r)L"qlx|'Nd6&'hȃWABOG IG&`9"871tmVKPt"'9jz0GnQ,iv)l|gi*DJpyZDقuJR^^ !NݕPʹ~[G8sge~ќy0+f_5JF_4yY>TKyb+lYh,K\01/‹ˏ$$]Ot$QHq?$!Mu :^sDIƷێןx+Ʀ=>&;zBS$(=7 X,:. 6.Wp?gz^ M"sgӴ ;G[k>w%yȻ =}_" "3cuNucxLoڊT-dqfoVq\:q>x.ME_{/-YT.|٪|ђle 8^<*^ +A<'Sٙ/-fx8Qo^O^IHYs v<TƸ3CFH$+{(QGmAyCy !26[VvNm_)JMx_ J@ Vԝ~l*';g3}[<ї-SҔ_H@[r\E<4tˬ8s 9^kTߗ/e^okH,)~(el@e^eۍF{Tbq%{BO:~.t~{HSuFB~(m,r1f&I0{L7BmO2} m!aw`;qYoRݻ.~P]MO;`R}-Wpn6a0%*QyhXY.>{Xby^CPi-`C,na"mÚ5BX-w~ ?g>d ' XC3 Ye_E+l BxÔXۈʩDϱNT>ʔ\KSӇc#Ҿ:`qanfzDi6g^G[wKn@/$sE6ޛ2(q 幗/2t}m9@2hREn&瓁1w:j3Ncg~,;QFMF(E}j j͸Z4,Om/C9V`R"R$C%VMH3M+E&"%djMS(PEt42ni@M&P&=4'cLM{6޲#8l /H9[X/sd"#ijȲT, #qy,1&\pqp2pMFStQћeBrZgG}D;%WVTbE;Z)lmx'{Zx`D#Nd~tȭ[qe`FK JR:#g9CWCC H[+c(F)Tnu\~#Ttd0md4S/\AI &Fݷzp _;\G7[GJNX]]5pu39XC2I?Qądx饅Sc} CEF*BvS #O𔧳V{LvY)$H8?a@w7\ԐBCkqj9#ǹz9uZ.b*Bd$9 -|uk%EuD2sCV*Zf:MT@Y{˹zQ_˻CeM ʒ¸Ay k0r̄,#~vŇr>(AwZ61aiG5 hxXĔK-T8kiڒUmJF%Qd^mB&:/%.(漭u'PwqJR@ɳV71Y\o`~cƫ[ꆤ6e߀{qIÊB *5Ц@UԄVNOFypAr9/Q{kjD"BĒ/q.j@VKS] wPP*!pHSCZ}CR0D띙3gs7?3Ok&<vXP`s]dȂ֜I3LϲĚ%Ŷ9֜Kfg Kߋ.+\d~}㰗kCKe&oLc0ߡmTWGux< Z2ª(QaH=*Z3މ`§<[#xlI,OȸRxQ]22%41Ru{(6^p!7X2vVȬg;(p1;?eE=οȢteqc=aP#Йz\=yr@A<^SS'Vx6̵A,H *;abtj3wuΫ`-Xh#Wx!/؂ҳd,j fzZ/ՑQQ(_D@T8:U#eܥVmM&P@+/uh؃W~Sd3H@_477~ɫ\n'{4kzӕ8<0} g0l^ K?BG#e?(. gp7<05ps~JP|GГ|@ q 1!M|kIYaY䠞+=̟AvެPmRnb"8Iړ!PE:uW7nc脭"CzT⡇ZWEfTXolxI&5/줖eZRqL9>8s_.-.0XaY DpRg8ܘEg41ȸ}vr{ ː>s1sm%Kr R .*>1yN޾{z NV2nӪUp-@6im2NǺ 4ː5̏3x*.vay0_^t8?),:J\ܽҲ7PN'Uc^KnM4ji*}dVaa;Kb,FRp_'v)|VvO\?}9`B*o멢c Xw& KwV}5hNMZJP 't1+;̇T*S 2^twȣEt5Lc FH:BpsN;k A.u>:rOU}'ua۰GjIdtbZ-8%m,3ÕPkL9*> W^rtt1F\8ץpn$ Q Ŋ%o5[/ɏ%+g&ǀ\[*,? h#z&:JL7pɖݺ?ʯo.R%bϟj+mZEԏn8] hu웕cl勺\ЂGy<G xugmq"Z۹o@rVTRgަCdZX X5h`=S 6ɕ뫞.aʯF^8X2lBL)}}GJ86Lx؆QX١ 70#c6L|O~8* ۼDIDOTl_Eg!] yq|W +%U~6Ǫ *3dMGG&Mj?PK9Ia[cnfformula/families/tseitin.pycW[sE>={n6 2(Ȫ$,)KZ((Wq2t/٭Ro>>sNO'Xlӗ˔׸۽%|Տ؄]l .ARnٌW B I 53[xsPKЭ~Ux"Aa؄>Z kTn`x9ǽuڲ)Q R ln&X&2վ%#n?˓qF @b]fpOdC CL":Hf%j\r' HE'%K05{η7?`nSQ2aZwAWHaf80Ņ2 kNhOpo8VIQZ7j֖`jXhX#t壌y̱}8L, zL|.eI1qV!6_CBw{|%CaץvՕFVpQZ\i`+7c7}38RnD9v ~RQ XȺf<Ƀz%:}P,w#ZU4B?#.P>6(kmBiZJ&QeYܡ͝ T |+Ğ#?^,;5+h) 0e GQl b$ s'K?,ķ0.BT7?v[z^T5Ï 5uD78wR]GJJ+(酝}W\Awp|@g\pp%\LBfm2^PɒOC7R鮳(N S.,Tڎ6lFCP8"`2bY "艰~J[}MB=,<QQT/t2*<d^d:8CH[+e4>Dj E^(\hƉY9tWfD.x{Q pcli⨰m6Z}b܌ 75V*8Hʔq7X8]ksL/PlQQG4D:5EbG(ڒX{cxOrbhK#L-Oo7b~[&zk(@9sWv/m Kd=V)oJNcAQ5E/6La!]U& E KL%1IS\&~p-9:V- ~dy  * 6ϋ^d;ۄQ5ongrEuxKZk@J1z&y@wE&@ȋ(Eq4h$SX^,J0تL{lgKOuC[5v(N9QzYpZhC.8MMQyylap40엋"BsWA]+" pq= C;[_z ÈχRUih"$Fv` 6XIHplͬ1X\H4v郻XeMGjga’2>2CFəF'ʞ Hq9#) e8f .,\WdEa cI?]dSPK-I Th&cnfformula/transformations/__init__.pyRN0 +Lw+B+Bۺms{+mrib??uu ^-;}jج`s56LQXbG1NJcZ'0 @}Bcʲ\+CQZ"]1 Y$' m@/`UO7 ܆.:_|~M. hɅ8%@Fn(">&s3ǓFURrmlTJUڱ4M'K2NaDc?"B|b/0_!`$p$9;&CQ:+qr茡rR5*4v:N6CfGI\JY LCyR@꒾LGʪݣy˘?R 0lF|X~c-u+[45h!hX[s7dTZ"gי@h.~I2'ϣ8ߌU{K&m*_9`Q̸OՓj5/5BX~/-IZ7 jp1=n0N{0I۰i; =d~_$B@{lRc!7mcb7;NBsqUlU$ɒWE<Tw%&o*x>2oPK-Iƶ}O %cnfformula/transformations/shuffle.pyVMo6WAc)RE=X^HM"UR6(wHJ(IrH̼t*yLj^I%x* u#FR]IQ4-QNɑ*Md^*נ*!kj Qay5?緬JR?OmU1&@O%ό uQ\h z`SUjB }"H;J@283jɿ-0#\#-1M 'Y $bkq0JJ0BBDVMї.2tUG0/n?#2EWAO"QH fLG #c葧է5hM 䖲8NnLC~Jr KbH0\@F]N^|ݞ/)z1{Y3u_H2m\(C 6ykmxM6+n1~Vg<щ`a 򴗭R5 ƿխU8!*cЃ&(2h;=n!Vmj~EuTs,0Zr SX)#gz i-5 3ᾧX-H7w`@Ms]|xuB SYi۾ *e0;t3\u}V\>w۸oHZ~JZhuMlVLkΏ?2n=q0~ge ~w^aO D-a21̙* ?Q+4 W/O4 \zLL a( ^?`n`N2sL #&a F>h_`DB`rh0+HUd(Jt. QjX5r|{_k}C+**$ml/6NܓC2_4<,ige]5y:7+\;I$N`;#(L.8B &‘VQK Fg!,`q"V;OI?>F#ԑ!ѽCbizy\q>ĪO̜SˎxQy#cr7UM2ۗ?^lս !.42ko\Ż]܈3(/W{=?PK9Ie5)!&cnfformula/transformations/shuffle.pycWnE>qMh MSPXZ(ț)7a s:N س;3gsc/(>U?uC_1.X YkybFحy*j[!+t v@"]E 1Ht;rO7-pЯA̼ {:O4T"Ӛzk8^ĴB 4'@[62lqvW?Cް U V(8=yKG3e3,QK 8~p#Џe(y!Oidvl8d4 eN7]nY;8+sND}ټ9"qeu=4%:{LHȼGi~ND$z=T@0.j#k:JDmhswv؛[62/} UJd~& Pk3D>:M[H܌\7&uu6QOQ&UkP$P"?sn`(}הEJijDSk@oV^SEiM=q`Sm|Ni뚖cQ),r<Í3;Tu6(2ސڮ3NQ;~lk y4!xS.eo<nY<-f{5-m8Sv7M$H 0T>P 5|eiƔGy44 $Cda2GZyyYc2{Av65*5OcCJ9CoMvT'K.wrUԵOYJƐ=_vgrҏ\&A/XũZ2k{S4)!0Gb$@(:$vp,v~,/B]Nz|QPc_DLwPr|*'B, g 8/N$ ?`FHY%̄99#(l<^*{XO5"JaA( T.AE/L6,e+fؠ!( DSGV]ED6E@U\H=^#m t޵Yբi)M yQm %HzNJ0iZiN` M%<-anu(o#]B%kv oj ;6kBrmּ^ l+͙]O-8mSmbXbcʳE_PK9w7I@֍+ BG+cnfformula/transformations/substitutions.py[mo8_u>Xjdr @v{@-:f+S^DJbNٞ&4R>i&Og?32#'(`$NgD+2.,OtJ* hI6BS<I ZV:9!ƃB-u SR8'ӱ 9o]}Wey.!4eK aqWz |˸ t&d,/yGO+bhY?Ub;o< >lfw ^iQy&l" 3H# L8 ސ;GEl&߁ zR#FQhHr ?tZLlH;ڙ vJƗF.kM"7GrY ~Ÿ3x(Yb:p4)4U*ԓP0 Ҫxic0j JwUTVK3V- [58xc=6CS2"d(T?G,B8qz vlbnȅ]9f#xJf`nd[ ,Kob{<~x.#vW0¡?i篷BXQb[\;if!Nd3<ƥc2iSU2ib< r?|Ei!ǜo=M^*;ғ~,Af#fFS6Ͱ D)|o&6w\AAl B׈T@yto,S1VFTH`|%8ƁsEY#5x   6YA,T6[Yp, 7[gTKqM2NTǓ-(TCHbt%LZ2T%[`j$" y[.Ȋ\0Wf8lY{N<6%m"i 3M0mԆT=q5 >S垶~`|9l1SznmjQ\Mšs6M,C4 Ѭ*ӡJZŖ*XoͮT8Mg{5[cr|-֍7< O _j*C"v c(\E?T_c3iaQG|?F4qWs6LkM*tzL@Z %86)t:ht {0>[sp`бŊI"V;/C l%F 83PPkHC/2C(/'m=;^?U95jG,:n/4TƸ7DvPK9I ^,cnfformula/transformations/substitutions.pyc\]lVv$gFdX,[;ؒ-Ї hݗCQ@Ph-P4I"y.Ͻ|9o|u ,$oˌ_b6cE-IL2df( $E-):+&R_'b.|ݬfKiV̰ +u1Sa+32GKbF$3Ⱦd=B#YI/dq9@ldsqNH\vdBv2.&٘@[qq ^bFgQe 3Ը$ ^f8<3`+q)ʌ7q!.8Mxq8 .1WZ\ .3mf\ ΐ`ט1L`ygBJS,ױ"*p/.3W-?0|Y+W_^.Ţe>ew}_Ia%m9h!P۬!5`RA˂l59$ $a>}T;PUTO}%y=zr?K xó8Ƽ~$#hsrhL:6?De \fYU?=K_M?CPmo\4ݚT?6Y}[[Q 9azDFB;71Cஙh%`< P-rN@/hH,6+j<Y :&Y'z!bBrD}@c&[hy2_L'Жq-Aݦ >&۾I<Fx^|?_2s% &*C%Qos V_Qi 3 oaXfaI^HzxO (u FZz˶[x2O? h^pdT6; ̴ix]?]JSM 꾃9t6=.+ҨtJ:_KctW^zeE#*RJOH%)pϓovՠ6: kvV. ?rYYӢAs`4r]$a$MkT.n̘u6ЊѭlEFú97#[L}tvܒkCP+ 5Y)G GDѲ&9èIfm >n!'$֪z!QNbNbXt yԤofI[vhY{XglYwZ%j},^Bnjz, ԙ]RWL@ TE>rL6L7W2ȦHK3Q&l‡ޙ{p 5 !)ӧO'W 77aBčc _0gz>Tkx0]J%RRo__ww9uEW[ǩ/N:]s?Wrx bc>ıx z jo&1?hJ!R#ΨYgAndž:Jt Ղ˅π u=H S G+h>HeYoR~@eD ;ުUCLW56~ZP5i## {YpNá@K$Co=cu#4X2v!6m;k#L4;,~EjrL@h1((F_5eg,mR4y;ȷxp\x]L  'D U?f5[%k<@[\E9X ܋1c"`[I<_DR~EeR|۶6ʺ}X n۪/xv?/Xܯou KSmp=$< 0EM!=@!P˯yF Qeɘ4wKgꮙ#h]ZCCQ7Wt)6z/ԍC,=%iO+m'm?1۳/ێs7z܀X;l9Asdm™Z1 Ed&x7ndWc~(19jhw7:54_/"澾;5ԷTF8uZ̓h{878Z9IW[{PDZӁkR1b#' qԦNP4.v6nM;մvgKT|x`O$x-T $mW𡵂,p(CB˒mu尵[Ȃ ETK[0wx'7b5F0e ^_$! "𐜰] JԶO DrusKd;bx3>vg_u:ޔ} gDMYaˁ]pEA8J(_ݝXzd:FEG"k@a|:ELX'+d/y[D߷;%#JȑFvqhW  VLjv%Zi9\Do 33P C׋ ;!ifi1n(Vd4"Tq3{+퐒rǛvs؛]6h`y=#bTש-S-_ {wO7p>8`q8}D4Evz1e j 7vv*zGtoՓO^A#u]d(8gķͺ/X%!cbc%>>w?daHz.Ά]b CVs"#)>:,ʲFy_PaҢ0_QR'qWήQυ@W `Y^Iqg]xQháSy\ICR}5f]_mvzܳ(&·ȪVV:ڕX!ܚZRnQm̘fQjkWN&IxjEλf|x_*!S\Vu54ܰ=:_F=$9%gCOTze۴U8=&*++SSSW*K 6MP-j6F]kF:♔ırڬIY2_`-d7COzn= =cGOA[r B!q%3f8LS| aÊ(ˡ:.gvރJvms bm\)e籚c4J4Nrj4MDsZ_B )~׵}&iURhhd^)? [n7u3(#Ei}w3ޤEw0 ?i@O|F2|_ O |_|ձCc PK-I&fI cnfformula/utils/__init__.pyVKo6Wڇȍ{* h"hEC4إH츋;Czn><8}V{{4z 3ԻM㋻Y0矅qx0|P -F /S\nYaMiZ4 XړTgZqAcDg-:y)8tQ!йfAtl ՐXI)`:Bς"7+ʖp(b*A:q؅Cĵ(r`ٌhpODB>t ]M 'iHn ;"~N EPƒ1#@Mx"j*G m!1mN:ltֆ4ړC'JMQd=cLqEtF6Y jO$؍cAwJ |!9J\ \H@ PHJN!w8 ́회 #Oˬͧ5+Yag_7~qDPqt@Z}oJaE8tU]#78vU?W!>MU;b'Tg4%֚N9TRJnjuw[G8`iTQi@*Vpդx^f i& n{y7蛉)*x{?ޙT^SO+ԗe VH,TZkl4x_^\|a }rCG>D㙰\NU4nWbWV<"jNS]hzKJ7tqu{O Le+fCϗ}O=LX5%P^y3mBi}6ji*js.k@ԏZKF}I uzFKOnRviwU&?H<uKiYw֫!ztXc5Whzq>:È 2L .'APK9IoO cnfformula/utils/__init__.pycUnE]k;vl ?JKd#H  EĎdٌfgzcΌ{{G/ !^3_C8fS]U]]]շv=ixx?!E !ģLQߣCTSPS?}%M4),_GUZV.RE]~eE.-r]tE/f+ O[aQVinrc1O6x$ F>F 7i]W6|e8þq3e`ޔfNyN,t=UPMU9 @jx~֠r(SST[5YwsGf7Gss%co۠ÇZ{Bygo෬v? $dX :mkҰ~qQPob~ĕCT03(Ӎxy3ae.ĕ nƊm]XX |UH'i?PuZk\XkgQm 'ʸwtӞөE8fLꞸʼwLŎO Q'3va&Î"#h*B"),[(-7E6UUT;ھUF?a7\b0I-Mټiϭ"$9NK?,f;ol79UѦ_ 8v˵]ۛ|iJHjr]9ThShATrֵd|ΩD6r`! ܿ4y"FWؘ y9<˾p|Ͳ/fr qQ(NBa2!"y8.hD؏!:u%[` ;~ws{{2ٖ99'b[a fBxMC]k]ZKjYy/TS^`rUy-]/l̅l\raѴĭ|3]3:y&'\==^efN'?VL3Hۭ Wn//߽`*e PdRt, :"l)*\] Vsnsd d1.O Z l}];D?> p k|n[6+>=^Ղawx91C|.N辰*@TJvPN[Rn͖ *>:wQLL~l0%g$@(SRJeZde%mx{wH^۶FD>x* Z @4lxYs$8pg[chCmD(4]!]m4@St'}C/|(r&"EGHXHO8Gwh,9n7d'mwˢD Z{ >y醺cػʣ0}dۀ%I)HgvUrsƒfp-#hX\D>b9o=@幽- MNd%`('+#>ﰫ>B'oYdr >\c\Cv4*b)G]P o@qkR8QPX=l EgDpm|Ц9W?S拝,UsATx dY1Jm)~S 쀳3w1̛`!]4ˣțaI `HagwV=qy4"y)'M1=&/P.Ȣ+^[ cC9_:Z?D(8x{0؍a۬_pZ܎Ǵ7(AX*J eE};gȏE'@;`;~0?^F9>Pi[ Eؠy$mOx"3htHX v`l$lzo=;*fm%b-ɒcNta%Y TvSUTH)aP#uKe43ݲ*@pK/pU9g&IL?}?%9ŅS*A,`Rn [|]nX/Aw n ¤TAx e2+0CBW`*5Pux]'иS"Zgi2LqhM8Ji L`0M.JyO$H)ur<} <,\@5H6}D#!\bx_FQ.#YRmRm7HKdJ]5/z~FPKda_FS(P6AI)lu eP۠ "rPWq@y FDR[ 䂆 ,j.Y]Pˈ"bԽ" h3"bF|Hv` ܚuӀ`Y?$LEZMZm^nh2c~m0r:+D)R}Ā` 5p sYW / A a! ]:*cĄ<-ĕ'QyIx]onFOsُQRcfF9 X y4#Y9G4\().>H9ZQ252J XFNL:ie:qJ]#ɑsAͲVjo`ҭac꧓v6IƑҶo;?gfˢ$:㦅nj+bz8F}tiƌ0։.]`>€H& },F҈3[cOHDn&qfV6ϐ02ӨyƇ{ibp[, "4>,y!7˴t8Dz9ef:uhL9nh:.<?4vnYI_2LR+N%V bAHJdlqD[$|#]bmaR+(2t Εt {l`V> /9!/V)Vc2 Ubs5R_pҒOvDe(X\= G`b,0qNCmz)}OԺ37IMTj$wm+ p'C&K RFq"7>cTu^kgZ܆o"S78Bt]~b Rb*T*s23<æyE3±OW鼞WTluV"rqΙ%mCC&չ\6`Wbk;^5+;B8PIW$;f Fc{VCk;` T wLlovg #>OX{ im}ܿ9taBkO]["cx `aPuߒrYl5q]l mT-Ŧj&Vhзt[*[q6"&aAB(Tv=_XxA!c:wAE۹Otg~9L$l+wiJGZuLR5ccuQZ-U FibU|PK-ITh Y- #cnfformula/utils/dimacstransform.pyVo6~_q$i0A֮XPiJJRN"9`Xx?x`V3.ldOk(U%n3z bqfJw %S,5g Jrc@dQtϋoyǥuV Z!9 VP]DkѢ!O7@U ;E9 R=DJE]#&zIyhY%-E/k)X nQTkAQԃ4/ Ai Q*K2aA6y?(Lz Ǩek0}@.&|0R\Sp@r ߼o4Ž^ƪ`Z8"Ns=<.[$:nٞ|qqZbCkxB o&k2c=1IXa[/Llz 3c `ZSw"oocV 7dg!=}>p߉)fX6 ʟ;o'拰#4,l\.;=;;M',tb؇ Ţ2csJ|i~_ݳCoyrdf~eQ̫)O k.2Yb-gBr֒e|\gɶx#F],NޗlzK܉ӵ&MNS?}NvL4ZO.Sҙsqy`h+OwK:7DWPJ/yqQtuQľ>_PK9I $cnfformula/utils/dimacstransform.pycW[oU$q IKo@N (.jUZR@6AEvslwq.RB*~? !afvu(s9sϗ Vr 9r@иa Z%PePUUUU?? iPUxgjxrt 5ng* @M+y f8s"רSxw[ԏM7I#I@Vq'վFھ}?U6F&]K<ҬADPG:, Iȏ Xˑ f߾VW# D-A,|xOfvMd$3w,!  w "cd!N]|y:ZBoi(kNG-Ywɦ\&l- ? D<6C wZV L'(CsSΜ o=L@cџ 9@.Lę3 g'ϼj 2k"?z}&[9_ϐ24M|wx< g%`P2%8psG6&XJ9}iddǠ&~ڼ([4!br p/W R^옄,lMl.cJdʙ4PtI.ݔS(9/m|NNRI{`8}S͉T@ͅkM`<̀uόyf;o` bae ~i[ & \$\$='g0-fql!db?و97f(z[61*sqscs4YkO,=77I6m0urR3>ag𽲛/A?A t)"%I5>K^GT4 VdpY$V &:e@Wi!P) Ku91c1S>۠a.a znJp%A@f>r&)A KbYpVQ"B9` wn!|X/`#\K`T3>L:V3ԟ„XLa%jΫ\GcyFyvle#t?$"Bso {KUJ>J zrBs0Ei87.(պ"2z1ήCpmsj}DzHY =QC/kPy*xamGxy.v72f`p߽MJE8YvӦ/<j#q5W@Q79QUgQԝR]יYrea.PK-I __ $cnfformula/utils/kthlist2pebbling.pyW[o8~W!jTJiF;Ӫ0 6̿9ِFAJ0|:g.z.\\0#Rgdu",ֽ)WFX,pÙ&Fmϛ&L8z"Kұu)U7Teh"E'f ׆Tv%f tw7_n7kKι&1A %%h^S=ŤT U\ #z8OA)…ai5%|.ۮaO8+ɲ7bYFxIeî -aNbpDK*͂>I-HـM#߱5SV@$rG!MdMUu:$!LцSvCh$TU2a"k %o;]/ž]B"[V7]o8\0cKW%Wa0~2CwTߝyZI )ŲCYBk6<&;VrނІSy0;4 0j>VvBy62[2y{+DYlMVY"kRpkooıFV2:ŬS'^v6L<;p/cHȵ?z06*|I¸ΐZ?_vԦQk@G P*fP(5_^Q]kĚud{БNȟ#Mr/_:fQr(ε,tEV aS_arGyCڼ'ϘR>P@huq4rtk% ۧ m%ODЖOY:ҹm0omucs}w$kI~ q(\ E("jI!r@Fh;uֻ۝43< <sf7u*⢎<3gR}3Sg V 0灠q *PЫLЫe(wlB Ɠ0irxnd T~лzT<~C^= b ykm6ƷH*ʁuM~H^kة%ҡOݙm^Pz(Z >?Qj+FhK{#6X+>I̧.R'5ғE٣d9=z?#wj%{vN9R@ZBLd?.{b#9Y C&22Ra|cO6pa<-qQu25 Nn&4  v;_f*@'arp$GhCh#mnboX#]BfqyιI2{O9 C ȴ!kt!db9nDI ;{v۠mh\cZ4EJLr䴯$drmkJp|xvbUTIzi3* %^//&HДwoжEg9,r 砠4 -N6Y sUs7{}e&]_.(z%޲X:o%1 [-Θ;Y%AP^,f+fa. L j)*Foְ=,rjJ͹`Q'(w "H|eh8TlS$^Ag! (f/IUwU0Ftv@3 bMϒIMYA("F5kfPwD AK8 d\ĕ^X`łU!'3fkӢd}Ar᪘6Н |2 Ë㈫ ݈X s*`KJ.v ju_)],tcanv\%&jdM=݋".%e)/ѐӽY"D K󁊢|]],.>UT{{ndx.&̲_CV?1E2TM򖽗S)hSaނ@% `g.~L yrvw?YT5wý۴~A@*輠,5MTm"^'VPŅ[bV[^nPK-I暒 5cnfformula/utils/solver.py[s_zm_._uĚ4ݜH4 Y8SBr4߻ HQ.INsz-X, JBsfMe2bI pV-SyE\=r?pzo0*gdiyr%%%3P }U0YxOP*,erg8Y#6 z0eB,3UVy\Y!Sz9Ų*E"="rS5z),=svt B>dy=(zϙ{4 IC,RHc3`1î@̭ 2Qn@@33cMƍ,;]L)/̼CV%3.SК  QAUB$ T"xP\fE.UxPJok>u6NpF;1H^:I\2D\珜Fi9FkkG(|*xx,#PfiTتʈ(56TVEpc#8H9~V$R阪9y˪-qhհU, 6z/*fAӼL?e`G\w!QL g &ǵ< ^z5@ҚY6p!$ +fHbk<,CO:/&|!J&mU@`b%)hV tPV}Ƿd`AHd0։9%xSq"C $""ղ AbK^@]Y! !4:e/l􊍾`Q6hAQX4o|+r[?縐8d[K'Z:$@GH ih =kvbMzkG /9Gρu"8J5o k਻:6jCnX y}C=|#SmSE$*q!Dj: _!6$t>sa5$|rV'/|_@ |* *ٛˢȋZ*ؘ&5rUq`2xgYZ];r6lyyO# I < 4`{>/| 0MW0kk@Ta\:u\PP>)PjDͭѩFUZIOLdYbsvrsr-b `Xr _, LTndx~K*. uaáQπϋ&q;P`=D55Cl\πI5q4u_"[wJ3̈́;y& B"hBڒ1܂]:f8` .G@[ \`}'B]`X5q= t8@B)J (0?BD|g3? w k* &2#[8kVRlVeC`p-q,4Z,ᥲO[7 E*W.#7t \)Ej:&ς'6O,YXd>u&gCsV9>؉XF 6$GC5jBބySuu3n1k{>gWk =a'2*l8:sxܤwr&& m B?69]M2xtW**B1T ߋX X+X h;E[s BGFNrS1){@>!L 7xnzu}{n|%Jy!GB͞cqa:fT_Ɏa`3М>GO=,~0F sy^L;@ʛzq9 }"z5ya`8'kkp:'@dE%;~`o73vɖbq}(?+BBs'N u$ǽԤ@ !L, t͏5T!d)-767tTs#0Bݬtan,@Z@xX:T@mafN\wp;礞 %NbB>Iv0A ߚz}}T Q0Kmނr JDw5GVj|~Pu ŏ;o=82QkT(G Q܎"a\X" tDמ tvq.axjI>(wZ.Hdd,eqI(\4$ylƄ^-RJT%D?5L ~V<)O5-+ _rhZJ躴Z6hIpG;~(oT-z w( 5tNI~P|^ek!h]._~eý,'؋_Ix]ߋpqǹCشs2ތqӑ6 %4!Wq >jhz(P/s|c,J*LgJtќi Q\P:ꐣ\;>iDxǖ[uM;ҵ;`'y}W䫑#Xft;;+kOz=WthRCܣj[!ly(- z̊(-6Pŗ:ޘ-۷5꫞Ns{8ўatq>'ЄysZǝbmoMDP>zeH}Ur_tQ'yaBUXy4;,#PWt彃 ;㈽$Uľu'~R;-Q?L4謝 to}07} \1 p±dX!wC[L džgL5ju2 TacSRE?Mq CvWot tW5%qۺv5~[c{%ؐoFnEnK2w T}H ]X"5kcz[Mq=w%Lv.4bZ-}jz\æJ&0tgdV4("SN;R.\ġ^Rױ0E=ݟSw؂J*Y)Zf[V6λX$M5 PK9IPLw1cnfformula/utils/solver.pycZouP]inr/WY " @ CZ fwͰəQw(%=0c+rXGç\$bܒ yW==QVj&gzWUW}Do7=|!S ~ItJ.ŸKOs$r,YK(9f~jC$qq@MٌxwJ 1 8)LyYqw鍥0cmD:VANWA>^_Yl+/ĉVAH'*R]aP^:p*qSKmYmRN#5Ht$O.u*Ѫz;Aj-9=vU7HRU2FXVժR[^nGqou4&MS7٤V[Ք'=(=NA ivWs֎@Ӕ €r<;m?9dR#,vK, y4DNEN)ȚƋ.E4gHH2=*(CqDͫ(x% wJ_ іvb(7\˩3;D=l >9hthmo,S&&'AS9 = y ŽrFt&x_;An(KTDȶt^-5-KkkYSHLd5a1LܞVWnHЃ(LF(ّ\;(6?~ZۺD3$lS^ }x)A \>Qk](-vA? ]Z[YcW0jc]?L*niԇH2Qkdkĺ(L 6Ri}^I͎o$LhjF ǖlA0'LTBjyvZZ\E|@,y S((Ef5b9mf?HHi_osbE5TpiGҀ\̍}zdT#U3(eWÅvi ޸ ;ˣfKc6% 1P9ZBRJhQl{;Ħ疙 L_6 MPAx|g"\JõZV:"M<1nw(f5VwU=x_5sf &I Ɲ$.J}٦qtǵ81UnҒ8낇'%eX[ҶB;'$4(2[b n$mȶr{Ph~mەA|Ԩ%ԛʋid1ij!}9scoNS*L2{d"Fn(4<0Lgf)£~i< }{u륈j臞Da#I}]?ed ˒=`8Ď&>JA6$\2Br҄E<:+IlnvFnjU}C6Qw{}uqJ/ ^w3:"l`[c\x̠lx-r=;}ᨳ h.E||59ƔK ^5?Jsɿ8_8vX\&En Y H= YpPa| ~/Џ5쳾(a?-7ZW~/1-;Oԭwbgy r U~UK˹a=362ݺ8b[14c62soe6[>.'B'F~_Z&N)q> &ucq4X%#l,=?B|Q©ɰXr7 X i<5'3#1lJH>;QE;mэ7{y}ڕMnO$fǗ߳43S,m&[_"Nkr@|ǁB2С_+^B@Âz'v%67$-Zf4S ~R@d%g#)q!)&KkIE'*y~=M_2ʈnKN\]s9vQ5r׺M@y,Cbо;p9-簌 Ljocp_LNGDZ.BE}7-x#ࢁ]8쐜Qݢ8m:Nfh=밺uiכlءFcGwlo]53d=uC,?kZȎ 3 xE5E%94!z]vfW#nPm#G$ vQ~I̡/`o!?7WHzlT*&y,HLrC| GըΙa7`iZY.Z,n[ ,OyuHJ iLV^>F[I }ԃ+0$f4FV_>Gw Nۃq:ƄO:_Vݩx|v^=ʏ<؂KꭍOz*\xQGqO8mx1;AcWl879 ݔdoK29:?qEGȈnd`TV ȋbrRB`d@q``wq][fs%:3g#V3qd@z-QFYtesVOp)[XzzbDkBšC#[Y(.ɑ}jPhR)NANo673vAgl}([,@Ϩ䑆on&Z߬ 4đֱ9EKs{4z~ zh}2ꮡPq ^jıapx<ֺ'lf\I_ûnsr=aa/1=qܼ|yÙSoWgliN.(-gwY3=v<77i67m6csu|%9*GP/hJPrř/6vINW˳3PK9I2EGG-INFO/dependency_links.txtPK9ImcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PK9I2EGG-INFO/not-zip-safePK9I{gEGG-INFO/PKG-INFOEM0=E/@Ѹ0JQu=MJ Ht~rdxCrG\0@jYZk$lY9O9p聝'GP:M BZނ-7Kˮ̿&n$sxԣJG"%vaX;Y{ =Ool.#x|W>PK9I/:EGG-INFO/requires.txtK-)/ʮ*,H,*KPK9IZbeEGG-INFO/SOURCES.txtn0K7RREmH3r_l!)j '|fv&ˋ,?mV(=9C1{|g2ubҢ}Ăkudok) %S뷗.&8|7Y1|2 $Yu%Gy&mR+%Sp>J2h9Y%JteKU T%*}_6D76đ@eD G#8^ZWeu[8U%10Z%"SR _XF!Bss.Bl{]~S1q5w߹ѿ ٦elRzvx ^Ѹ| Sc=D.}3Yů`<PK9I,ˏ EGG-INFO/top_level.txtKKK/-IPK-IPMcnfformula/__init__.pyPK9I Kcnfformula/__init__.pycPK[9Id_o@cnfformula/cmdline.pyPK9I:Ac jcnfformula/cmdline.pycPK9IH 'ͧ;cnfformula/cnf.pyPK9IE;1bcnfformula/cnf.pycPK-I $Ucnfformula/cnfgen.pyPK9I~!7cnfformula/cnfgen.pycPKˁ7IJ| cnfformula/graphs.pyPK9IZ(_,k}3cnfformula/graphs.pycPK9ICb cnfformula/prjdata.pyPK9IgVcnfformula/prjdata.pycPK-IG}9cnfformula/families/__init__.pyPK9Ip cnfformula/families/__init__.pycPKp7Iiǔ%cnfformula/families/cliquecoloring.pyPK9Ier~& cnfformula/families/cliquecoloring.pycPKp7IҼܛmcnfformula/families/coloring.pyPK9I:M j 8cnfformula/families/coloring.pycPKq7I߃$cnfformula/families/counting.pyPK9I@y% *cnfformula/families/counting.pycPKp7Ib&$2cnfformula/families/dominatingset.pyPK9I( d %'9cnfformula/families/dominatingset.pycPK-I'Bcnfformula/families/graphisomorphism.pyPK9I+b&a#(Gcnfformula/families/graphisomorphism.pycPK-I7 Pcnfformula/families/ordering.pyPK9I*n  Wcnfformula/families/ordering.pycPKh7I>e }bcnfformula/families/pebbling.pyPK9IAX# lcnfformula/families/pebbling.pycPK7Iɦ#!n{cnfformula/families/pigeonhole.pyPK9In )"cnfformula/families/pigeonhole.pycPK-Ij.cnfformula/families/ramsey.pyPK9IXCcnfformula/families/ramsey.pycPK-I%ncnfformula/families/randomformulas.pyPK9Ih S&cnfformula/families/randomformulas.pycPK-IJ  ±cnfformula/families/simple.pyPK9I[cnfformula/families/simple.pycPKݓ9I]w"!cnfformula/families/subgraph.pyPK9Ij]7 2$ cnfformula/families/subgraph.pycPKp7IJw|gB(Ocnfformula/families/subsetcardinality.pyPK9I )cnfformula/families/subsetcardinality.pycPKn7ICXM 'cnfformula/families/tseitin.pyPK9Ia[cnfformula/families/tseitin.pycPK-I Th&Tcnfformula/transformations/__init__.pyPK9I1S'9R'cnfformula/transformations/__init__.pycPK-Iƶ}O %~cnfformula/transformations/shuffle.pyPK9Ie5)!&>cnfformula/transformations/shuffle.pycPK9w7I@֍+ BG+ncnfformula/transformations/substitutions.pyPK9I ^,cnfformula/transformations/substitutions.pycPK-I&fI cnfformula/utils/__init__.pyPK9IoO h cnfformula/utils/__init__.pycPK-I%-F^%cnfformula/utils/cnfshuffle.pyPK9Ito_1*cnfformula/utils/cnfshuffle.pycPK-ITh Y- #|2cnfformula/utils/dimacstransform.pyPK9I $7cnfformula/utils/dimacstransform.pycPK-I __ $>cnfformula/utils/kthlist2pebbling.pyPK9I9%Bcnfformula/utils/kthlist2pebbling.pycPK-I暒 5'Jcnfformula/utils/solver.pyPK9IPLw1WXcnfformula/utils/solver.pycPK9I2jEGG-INFO/dependency_links.txtPK9Imc\jEGG-INFO/entry_points.txtPK9I2jEGG-INFO/not-zip-safePK9I{g,kEGG-INFO/PKG-INFOPK9I/: lEGG-INFO/requires.txtPK9IZbeSlEGG-INFO/SOURCES.txtPK9I,ˏ mEGG-INFO/top_level.txtPKAAZ+n