PKiF1wcnfformula/__init__.pySV/-.OO+S(,J+UHKS-/*Qps%&dC`n@\XXusq'+*D+MWQB7(ER,PK<GV?kacnfformula/__init__.pycMNJ@Mz yi҂A}aMn"ݍE?@gV;9s&<9~xb;jwE 0V@)@P`('ƠP舝cz@nE yzY3];lz4)_62MyGmBB[mS@z=aE+={1)[]T6*v>n\d|wEt]Ni9G^!oFrKf<PKjF ]EGcnfformula/cmdline.py\{o_bOƁCі # ._\w)\CȕĚa[;r/I>k߼ggW9̳Ebģ29/xuZ_h<I4i\dd0$'aS͖GG7oW4&k7'F I X{EnQD$KRiDcߓ܅x 7y`/C:p8'eNeȐ$1|86I7YZ|c鉍?c?~<Y!]vrj.4?=:Zź\8'yd#h̒˲(3: eI3\28nJ,ՃIvH8!g:T2ԟ"D `Cius|b?dAA΁0dhe1 n}*>|4n3rMAΐk4#gAF=`굷c*F@˭GS*ԺQvOs`iѡa~H>("큵b)nӭVuj~:ê?\o֜0a` !6Ԛbõy3)YaEpYՊ:fqCM:T(iZaIٖ̦mjzwE]b9ec Pk} s2|xUEQaz2D/6gju@ޱdlc4JCiٟ\rL 1Co6zNwW MfpΪ-s ;e;/;eX>e ]h4hzKt Olźy oh" XY5}TplSMܝB% 7ho646:?Gv;I V%VZ" oJ](-6ޙ@.$ {0fW(_Hݼ`pJ'!]G{*o]ym)G-wz$\JS@vC,om0~,iqoÄxHg|*3NiPe{L09w,2c=莼{?3iUOMW2dm@iLSt:'b p0qmFV>dy9F/OERx Vfo}bU6TpvjQB|35[bg_kMϪ; N7@KNJ;xk[nbvt"[bǫx[+cKHءu935\@Cbu'bQmgaQ5h89G:5A{a'@΅qA7]q+CYˑɟ"S'C\q~҅zgğGqȶVt-F7`x tsB)FǾܭ-) [^V]?'~U'*骰l^l.vr5vճmPspeM'u!{:IY_?ȗoK_Eӿj]G9SQ `P FxvoDʋ=yMpB͚Λ *(7~VjA}hADpAз=!kfbCW zONnt7 "|;n+b7i?ii7 N#o?rX9n c1F0FMJ RR]%CJ., ^fﳒl=]P[cZG= F9gR\Sޭ8T[g\=1KގstBb:'Eo(l̸kثiÞ3wE 0:=Wh=SO{PayKl#;QX;Ryu&uy/xg+zhgvG[s{t'ɣf4zN nDzo/L2NeSr}xSu]{;eLU,U(E)ؓ2˘aH%EME {m3nM.>)Էvo9e _Ak}pHǺ3.oȼk.yw AjZPe5wVlNy/F }svא!)^'_!Dw4덺`L?ZDF# kGY[#Sub@'X K 8±;Y-ɖyI `&5;;ۀW݉=9^pl g}1|tgÇV,nG\1 k8cOPhb@%om+Zڽw[NcJ+΅ȏq^f< &C %&@@TU_yJ]uTթSu_' a?*] ᙢc)%:j u_W+£Uѩ:Lt<#莊tKkjMt2cF7*6qޘ_xŸ+D%Pt"+=@VzDoјη[Ž+1AP<] ^MU~r q'}w'Ys4fõլʚ)WwV5HWbЭըe% uIВ%rPaV"/)Ka>tr$Bª'0V;>m4Ɨ!m7!n՞2ZOZqIƩ](խU$kiTkB̠KlSٗdNSKh}g^ԣh6d 컴l׋#+ThG<ڽ~vvvƋ;D|- %+٘谎N.SֶECEd [4Ϋq|o(t0:U$ܓ #KJ+q<)d#+q6%H #K^3jW%7nȱPIwjj3ZFda$%&|H"lزyz>36sfs.|#d ?Η²$i붢dmƩk/|݆V@}7zf x,EӦ#X7a'wmp` 8[aMX:Ɲxy<@6b,-iQaN YyjHZCOӼi=GK~¶l!,\[b^FގH- (UnVk`U]EeYy޶jE1K<~U83G}~+9c}42fa~݃Q_֒F%Laa]n2'[73M!W,~,$:h+O!:v 07 a^uo"h8r2 7+*(CF{SM6͊U!&d)[FtxiI$G89"`* a̓hq0Q=Hl1 Ǚ " juȌA[EuOr+`LҸߒ V^#q6xO=?ƁО{rs\+n2JaqF, j+sznI7{;s~>}-B`H(]JK`(" ̄2.qd@gج>Ȭ>nP+av 1]N`rMzp.O1b-0bZ,4)uE^a6DS}A$ێxJYHVj(Cڻ4(kíѼ 78XJshz^SǬh~/=v:M6I@;vE:8w+91Ƽ"ZB2`($>Dm:acq2aQC~&tYubqc봭rJ?&=Э i7-{Y \(/LN MO7Ć ?񛦸(6-vBlXDجPO#vO,QMd:Yk?4ϼ" ?A`PCFd#h7+,ؖ_pTb 0+`hY3tS8*Y .G&C߻Ta obfcJx]6y+v֌* 4m9վ 1wᔎϾky޽͹{5v[YvEؽc j40 rw)v VRD9s ΂nZ \$hQQǾ׼b"'QmK/dC62ھs=sB\pJÒU>q;}SB`(& 4){AW6sZ93A!0 ǻ|]*_?~;A3/%6HJEQs5_$?1nLG`1jY5sܘ6f#Q3^5G)F?Ji9f1,cd94._SnY2gK/E8333mBFH;gL{̏rF[{&,x3+,x  1QUU2L'eEɶmp ?˄2c9>$2rdgD?BUM..?>@Du&H.o0"yHggi &Dj wn۶ܶQlIœ.,s02 lz i˨+Ls_%p:l~47 'P)}>n3K$Z~1nOőȱ)X/kWV3,lϩně 1) Sm˷aNv#IQY4u 7 WDcv?}ruvҤ,w|7I9*?5㽴DK]ްf8wKkx ieX$3 ]^\$UVRΈ !\-WƠPۀp>% eMMe.^z^V+ݦw}?Or䧭َA+!x;'Ux;jxcӃ c۽Xzq7hL4$dztu} nqV\=f% yua'^Wbm B@q 9wJ~f=(5 q6Ha82;ei4 [\5ܜ˷2ImԘNt(Ta hN(y-{7L[v_qu.yY092pJ0_P "v#H~&Wn=:OhZB|K_|8yRO8x1)ZUe7,챩wzk oz9pyV9OKx(ǶUbϱUSoMNZl9#aʰ1lՍa2sҐי ~ gz]qPt)KLQ3Ma-"^FTUHG(ܰIq[YحHu[eRԤxcb[9<,<74ጁ,KHO5RQIVr:i`zjY/4ǐpT VQX\?)ҚB ȵ"nجj#]4Nx292Nea_l2*A":/fEй W0Q7{a=GI# ߅GyGfNq̥0Sz Nn "P M]ބָ|XJ˳Z}+9C6qf!9 #M X $0lexKžrHϱvGh+(Aa#W/U>rW=;1;æbsLNdNa 3Me'y*1 I=+8D/2c/1E' ][L2=Ug ^aR4K 0lA' ҘS/XԀ)1 L|'K_\ egU(޿AN Cz'SC"g=ˤHSz)GDJ|Pr̨jCkywϘe{Cܪ'jЪA*V8〘bxF"ަ"cl9- h-A|_z8/\*i .kaTKfu{e׭wژPBKFa,/OqݕYFY5fY VfY{\;GULQiEi +*NAp[qoVNl!{Bc_R͝ [N쥖'MQoM,A >_qwa`dӇJ]`PFngǀ2qAtlî;2v# \9߁H|CYK.:sWo{s>$2HYxخ7slX6.e4y+g_N-ۆBҏ T/y~x,wb#%[t|/X*sn_k۔]ߩ, 2.̨3 nOQ0G}fzGa)c|J7:\<)Yɟ~Twk|tRB+52+!F/2?W;9TCUsjhKoP~sX_~Y7[n@q|[ߧ+{"+ 3Oyc !Ѓ|j|R"n( eg#3HկjH;GDwAռyløIB>,x|sG7B؞=Օ_Ç|KâMK=Pf !rX!, Nm~.R};*68U.W`fZ%n3FQY!)!e3t)t5q,׍W8rrIvjCVE滧*GC3ή'֘uB\1ч3\o64(ch#WV OoYc>"e}yV6(O9fic|eLTGӫPKCFqrcnfformula/cnf.py=koG+4"c%Xq 8A9l g&~UCׇ;,LwuuuIg'0>K7*W=$0^^ŢW|pj~-(,B"a27ld29 Bd"/#>di$ N#!,6+ɼb))q8g 8#KB@xaF0GI6a3s/<\ g F1NjޕYdy&2 5˓NdЇ],Y'c8h+Y2mɢO2+{ Ea,XIDNM.WkY 5c?< ̪Bξ-V\:ZE_,bU0ԉ!;Hb="Kl2YEd$&<"fV!,k$Qn pl\,xUd FosvEǹ~9I9R~Aѹ Z~߀\Vge7~FڲqnjBj͂[[T+"ayJ䂝ѯ;csv*?Gضɹ׈roE<j4ydEjVMb[5 P"~~ryyORxR2@("ꍷ\=֨MI ^܂Y3Pԩ°(6F]@9 , &hy@@ X}$-J0ׯb.šƊ+&9$$/ἃ'g21xc@9X3 &)ea~uZ?;Woq1, =G\eKik=𤖲HB8`[/?sՈq?wm"FAw6ǝ.36ǝ%v[3$#>DY=BL;Drߒ`tB YgtmX!K#s2KJPī~:@ׇB;˘(IoOE(O` vҋYwֺ+xUŽՙPmksDHt`#ma- _F lM'';IeYD] vUryq XF [E&;Б6/RK 4v{l*ޠþysx,S][AպfhԕV~|S^:Qj[~ޯwUy!T!-`D@K^[yfI P< f!?s 'F]FmaS: ReZZ-L+>Եn]Bwp̮%ռyx|~hٮXa\\ҪNɵ!n޷r͞ju|cru tIdyLI*O&Sd488/!⫑ev=wG|<60m \~d>\0sz R@K R&G) {q*o3| Ϛi_?[7v? 2B9EGқ:'T#5c߫wu-Zg_"<SFdP|!p4-h4h֜6 eb3:ҪmWeM@aӿ$UjunCC)تױ dhXe1 ]Gf}ݦzg6clJW'؝ 8( fU|$@8H{('"`9}%Y"rhI%yI$::(êpnXM ѴYxU711aߊ (xL4}q)=20*8Fyr; C> goXśRKBJ{0[B :$}w"z\+:~yN72*G}3do뭷Ӕ7DUvcrv,) oQU}`m\RB4W)N[-gB G0@1:8C TB%@9@nP<րQ\j:"=7NxlHλbm,I4c;׭ӾY TN0%Z_X|pkTൡf&RLUc'9bWgLUI:kE2'G}JI`'W)F^{nPrF7qZ.wWu? ƓGkd B$A=T.1_%%3]\)@iz]{6d1#[8q'^!*q].Uoˎbv_'k@s2tsep~crwn3lˈ>! ͷ?\orBf wJPGs^Dᬟd˓ojͳDHy>"'}E!>I oV) 1Ԥ_es%KQPaۭ`k* 8a$zQx+(}{ opEyGCL7'e3r*Ga@ܬ#g%>iL,ީA%orMF<¢ݺ[eo0v+`PK" iTyuӏa՗֎lq`ꕊl8d>>lċdN,k~|_ 3U4xZYÊPk8Zߓ0nh+jqr$7ae2&~j: 1OR8E{I qe2E: j2eɗ6ZD7D冕.O*!=p|3um:QSFwaH UgT$uD$K-9Ĥn4ӛX,au+=BԞtܜ{V̭QW=st"F\K9:əX# [o`rtn ?A U&j&(}H±_p$]M yC7ڭN_yδ9I*bW~ްUs#ȷվH<<<|m_M|5MxYDtY-s~|н' &vxx$P,q4ߢzǻ{;=*g86Lx8N"CȂ/y:5D;>Hyjos-D\٢gS9N!'GD?`)m 뇪zѸ֖~{CژY@vkҪM!r [%AtKyzI?٨ҮJ 궏0iM>Vp< ivLV19t)yf!}V?.*dr7hujJ3\CZE8<Ǩ/{d s/Ad,bs-t?'O5R 諿ZU2 CG6jv(ɟڙF9&擜apjdX߈ NB/tf6)*i3'_鼮 2IF 2a)2&g)ӂI97X%Ĵz\_\4+-N`Ȋ( UfPː>uٍ7+bvUwªK߯>ܗlGfa4fnjLR24(ʪ6(J VzV8 l F]dA ' P@-.}m%Jifa߀UOvVylzqK3q}'W4 xO.~ߍ'|[qkgj'O>B(M;tqXDŽxuEX=8 `0ӟL>uDGRuWHI DR!ڰҲ30kIkU& gne*}1ٛԏkKWW*% gl[^=l@rQh )RՕ_H+ؚR{&Nvv }ojl67c/w:cLn q|pϸpݟ?sI~WW,}."#/Sf>kJwAXWj('2~፾t% K埦!hu{ЋFc'=a/ԕJ)φ,A rS;PF{ g{F>'d/nl s2|(P[Xip5UN05qejNAY#p_ R~E`(bȴ%P^G S]Ab?EՎJDZ}ja.tnGjODd=o٫kU&Ǥ-m:JɆTrs@fRLBOl[S0bH_m,g7v-b7ʟ.*O+O6c!Ƈi05R,[sS[g718 }֤+ގ#㚻8p=qDFIj֮zU:d2fD jb69rvN[[Q(f]E'ϻUx }~}>4Kz˨F#.𯌼aw]xνGg/%@/,ۖs9!1|%tS?}5Dsv`yl=YpZCL1K+0O?Eg@6r7>m+]|~au(p""h)a=^2劌qAgw ￸JD "50!\j؁Vvi$dO0 /ߋsh1D-9M A]k@v<񧐘]?Oa>u{PK<Gy$|wcnfformula/cnf.pyc=[uw}ʻ^zN|DRڇTT˒q׎\Ir3$GKP3CW붑8m)~E?mA}|(ڦE]gsc ҮLFs={u?Ϯ; &y*Xp0vsrcn1 g1vsuqx g$kB cś37 -2b73@/S#9L7O0gnsnf<ɜie [-= @Fm1Nus#|u~eoa߱#Q-|{a4y#:oWŷ.Nzo\Ρ۞0znh.𛺗2tS B _w;^nDCoorgQmkn1tmg4 GAB~=; 9=U㨸mn61#Z$A}|Dt..%Wv1/]x]2]_vyF=ҡ_݈ەȽTlq/p\ˋ tuN dW{)J0,~.Z7b/K9|?Ia8{hom,Emx%97߄!bԬ3_CWqH-bs ̄$<\72.\(2& oi&RLSLN'Y.x~VQOǘ|=%q<~}g7ORSZ: c[a "|,tf}xȋ2=H#n.+o$E.0f6H DPI_nC!͹06g {zq}ET#y'ێSSuuv@6 2 ]hDvƍy GUP+Qccq'żm[ͦۈ%оP~E>oz (犞a4z]WLvh:jDzv@y$!N`LAO+CDK XP!y:J`^* #B#JJ= ۧ6qY28]q A#THpH-нe#|==\t7.”n[þ[>pz>,[+hT[|mNArhMEja=҈|"_|1kɀd) I2Ae_(]S#/E:yps?r|#Y,}j9bt-rhq?CtS`[ϳakGn?)ybo*)KZeHu|h/Bu.bd;Eğ- E$ (6^B.T챘w)rABmZ+5d^/ā$\Qa+FY'YԶPw)~WZ^BZCiWfqԎ@p)ཱུAx\ɲ evT DȔJ0OH+pSsܦ R]r YVَjwkx`|H_gǍ!j.Ex2XLA&A:{ ڄYt^  H ښ_8_Y8?k//s[-$.Cxq 63ؔ VM%?/ؚ\"ɑBCE.2_:"gwH@xlr \%(Q@le nxt`4^̜ {٪HH}Xcy_M81`C{%Ȥ`*bzD#iڼJf~%x&JwQ%V rgikpRIQI#:VI|dLQ+DTO|L@BV{[KZ?ԠPx0*B7t@95AקiXj ;PD=snZ$:a9eB D!<̱oIEet}׫+מּ>Ęft >k 7"w9l q! zA'b كg'\iiK԰ݶAåQ`ksIB٭seς2|{=M:u (zjZs/Pӂ(.f_@65WW,9W-c'l {~(D|-N{hACiOhE^[Э$ \AvO+,{ Gxm"n麾"uWưYW0FwGmJT nx<6ɦjMلEm]IFP#5KA) 3pΘCbM/vӘK9>V%%P^r֢Pk%v;JW`'GC `O!U6FFiQJ_bdy="BC nK?TRcB('iVXjLJx:uqMwRx~kr@k]v0`_ďv(ѫ+T͈G݌݁[aoзc6I= cPn#h Ft\2 ] IN KX&Ju0lLeLP? hm7m x} Mʈ8}cHAh)|ƁD|`C_~z$=WO {of(MϏzhcmx`8~"D;Ȉs6mcz-wU7N2Iak"Ihƀ*̈́n4X#j"0Te d(z }m;lhde V.O?))]V{ UCo?{7&1P'ŔvCfHW! ~]u =jM[h)zKA"_+`nLpEڻwƤT@ We+ ׅ i">-s.Q`w%-HYJ`K;Da+ksq9)*!T]q+(շ- 6a%. ?Ld[îSr ǒT(Hhu|n!hEFd%I !^OeւLajTB*i.z.#2L#^)Rlmx/+;@,$Vy5f Yl6=m܌<1㔥yV^d80.Y=oZRpb0sZYJZi"b!UXt'pc#K]%7`HLڂI7 DŽi8$e z3c>BD6-+뻣M.Ʒ,3IљFDڔ;3ڗuF#SEœr r"c7!&Enc&K$% (_|eUj\Z217a$bѓ$@C'B~ͬ^~[|jqe5%xlh5kSmȊQ;wa 9hY:o9Y0, 0նXm;Ԍd{o%)53} K ƟQ;]ay IrL;- cQYFUj}I#ke`@vx00+D!FG啯q}K&6E4S r7Ȏ;z%[^nDM^clA1-rӮ)B(Us2cWR9nOb\ʱI!D4f༑lNp^ ֌I@yfF3Js,+Th e}˯=O_PA8;qgE:9A%Tq \t^چD%TXw&1HlL`2@"Yk7'CN ZU$ChsoÕ3 ~ *vɄٝlE5qD%oJ^kP|(^Ķ6Zhpnܹs~,Rđ1D'̇iŴ)_C*`)fwC U?8G2QtޑhgmV⭣[&r+d3 D Z~r>Z23uh&#aY+IdCq gۮt#7g,RJLv=QE[oo)8N丙#s_;d|3-&nwToL#3_#1:D)7Df0w'j;S[hFdvfotƎWȌHO-"H.RNe8d-^vpTמ-;3 Gc9bghr km%s7 [[؅ ' EM]t.}hv ɡohy? (v'AˣN17c?Aoh%ڧ~ x!PCѷK-E5?T?rps-J.@P:Q,߽zsi(Z+ pqڌEJ޺ WL%E=VU: 3o;S&H'yyvbU:|J@N<`8ω`ȯ߉[K_lZt3L&"gq§Jr bo(Wܤ&XăzE[d+Ckdh5kjjlK99S'pàjG#& [8~^CE % HCf%@8k.|[f' P*XH-˞|1pVKu/BU|!14}B}`iLɥLʔ$8I$|y:SZNgJ1%B52Sq0ֆ@iKYUoQ0EF/B\\~֚&܄ŭ0 "Z=;F=_x)#Nv7&(u&EI¼%C9z>NeJG2+%\W2J* Ea<\/0IBmҮD"A5Dr"Nh5P5m&e^SRu&wgzb_KʧHW VoaMLNf ZMXG t?17Rx&7]< GrSY49{:wj"z0oNiC1Y8J 虫M";>ʞy=vJ.dF#)T+<$*ݯazoF4 $%>J =ÐL (F3 ' Ш&$' zb:vN02`#I ( ghNA{<_V)v}%AQەΤzσu8#8#K.*^?Qh"vqdHVv?]X {{B KXKBJާ}+ʾr,#1c &q ฅ6hv4Oh[zhӲB\ɽ}PaS MH~٪bfj [gg ex|X?mQ7v^lhGb`4""m@&CAţTt(lruP, 0@jc=h_$H%K/X"6ߜKB"*"P:'us G2}z5IG''GIBEϙX_}"l@ Y}yMAԮ$) '$;xJ0:Aj'1'D|sz.J #LO"Dnk 235ulL}*3SD=KtIO?:ui \KWYkZrk*S$qt" ዸ*Oii k^;}+b*6:[k"?c))BixttPKwGn h cnfformula/cnfgen.pyYmoF_1eP$w H6@ mXS\-"F[qٙy_֪:gũ(,/ir2T.b5rO^|Ugy3HKY7?6u( -*4"K`ڔx6򼋵\ԹXDqC(tIڣMQ%ZXTBd\ ^6hmTɅsV}5u&*,2  <+F,7Vj)x3!}a4_(m$nUWYB_ukouLyR=pjaI\rʚ}ܪ~Pė \epQ"y>I?ʣw] v*iF/{N4yAgg_&%SFZB5J#0bRwW~#aQ<+fyFqu]8nmh`HuܲT͓ڶlHnVUXVlo]<nܑt0&Nf*vNcg-RT/齉t-ur':+8{N(53U,AV8I_)uA7ٛ{H )d0b]WHػ˳pb JC-ոO;x.8:sʴz ux2=_QM|"E#Yis"AJU.Op`o0y>fl3-e2OU~-vqFd֞b ʊLqD AO0`֐8jQҢ7LT!F2IEHwI@Bdj3̪B,]qJ&|9  !o(C@Ŀ z,JO>~#K9p(T.nX$<.ccYācwp.{äiERVɿn,SgsDNYGź3!q؂d"k]z&rm)f9]`%GV5t^a!l49 zƂl×3)I ?Bl,xbA ="dD84DКQO/\8] }v9xGO}\mue2l]c dq' g"Jh A\:D܅Sc8B[|;dg=cJTB,Xw3~~s} jC$&F x/]bjtA[Uɦi]UFF<=Vl7(r1VٝW~hz.. #/ijj}4b9{-xM#nq'(6|ǒkffD[o҃fz!oc1lOaN捵 84 )JBDYR,M0YKD8<&!QXp56;ku_j{󹀭-34J2rp .q .Ȇ+K%sF= Ggӟu/b)VV"hzvdk_?s f!D c{E4KYuooি(#_>~b)Ɋ&oFw*nfMU.(աh%#+4fﲅV#;M"MpM}3GdƔ]u #$&&1[d4"J?''NC''2%8R&BM^J%+ z [GZɼouI CSJ馳Iu.̖)B-`ǩ낢 2ܹ./ .TSޮKit'5z8P4Nr;tԘ{b."}oYt:hDCAӖhbЃGocСo3N/[!i݀a͘-N AGgw)h2@m2˓|ÔBVƒvd`ueYnZf=3*b}Fz?Qf94$]mу"5Ґuox vO5hdD.m^dMף͜ЏO@I~=H, j3TTgPaSKƭwg!լd@`lTiIFFi7gd*8V:]/A?1ՋXu{ݒ h}ڏ67XKFL;s{',vKsV9X,x{Ȥ;C:n XWfd{_"L_4[m~+QWS_w r7 ـ'?c7`:4fU!ZvWWpK!} wz1n2Sk{])cXDR#cBxRf(̰<c&ہDX%1Kr6ŎYa]8a{6="_4-^;=(́?p_csEeVNF qU{;9m^?PK<G: cnfformula/cnfgen.pycYvב $EDe P#3%+I4(4 F7ԷAlY9>syY#r`ybWuAhuVխUso"%/ "D ¢~QEWY{BMI7)|t'EX)7%:ghIӢc=[X|ӌ؛jV"aYP}Vg4ŋl/ ͼ<4O"K?+Ԍh p7/ ![urϋ?ǃ:/{Q t(`e. IDұr&*N<ԯ6 i,k '^iDJNIqCN7TGAگnKNB%Q}Q >v&U ucljZ#k ĄWR_ywyʝ^%e', iKC`|ɮA{)cT۵8mIOA-񒾄̤8Yy(C0.I%n? Tɛo\-)itbHKO VU-] VVQa(yGBpd<"nmommFwd&xZqy7+ky&xέhؖX%1mWՙkrߖ7ܒMw`E}Y&4 &D ,t.TYXcIC=Ԃ٨3iy%FѾ-+wo)Y|E4&]g7"MXkA B*7ͧ =@eRaO؉)?2QzS{IF~ny+wZvXMԬ> T_chQ~O[q$oV?!W^ 5t8 "|JoUБ$+̵.ӪI9{ꉵWf7C-LU|/X(BȻh(<z% Kz{8!2:Q=%{NzH1bw[S X+pJ=QdRVa#DGOu:b}Tqzzӏݏoof|:ܽ}9QU'^K'#1\#FZ>!J ~(pR K b`R J .Cl-f'qړ4Mok/AfrdܬG+5pzSltkKn{4?<4S׬j>eRCyN#t׫+}=ΡwCW8 o~CוF_YbazzϲmVfXu DWrn9coʢH][D(Yők6[)90-@a0)`5XML8f08ae{f%\4,^wEB*D<98/eՓdC'縌4m^28 }4 ~! C[b`3a^зܴbF= ?Y1`V/̥E`czb=.3 0-18k`H~nM x*hG <#WSu.HL/Wjf\4XFn̠g,e,h$/ s %Xxj( 4!e *% B""?hKx F.WkbH ^cw5#^Eo+p^!?/?6aD>@k~2=o:oohVCD l$bG4g9@*1GJbdTm2@_u},\!kV2 Yƃ58@5& &WF?y teP^8 jT)F=]YfgvcO"ii1/=YyD*M*^{[ID~ nR4P |[E"foKub\/^\5L]ɁUs\M P1V">!)Μ$\ݜjH8kF=ϓ("<|ޘC['5 C d;"n{m.jqi?aX=DYAG0tqAm6s\'FȊ݃&)VWmx ^xv+hڔź^r].3cco'o*<&is;m˄`κyQS6$"l@G<Ϲo" ;1Uʠ!w9y`= _cͲZC0|daR,̗0&uvY߅7+`R-Sj$gύۡĹN2 4{]=D[^ʽPܟ#2E]A蝦'}"Z'm|]:ܘ,%/j*q:_7VX?ܜH? RLslT:o].^%kuRq+ E a*Y3w9ĥRa\»/~ӎJ O Xu~OK6CM8 C+WnMФaHyq6Χy/n:iѲxm֌lMoSPDZ߃g\^7kMO,M7kPK\jF2zS3{\cnfformula/graphs.py\{6_H6͙nTal';5ue'u%B<cq_?|47:%Hd4<;[L&7b_ldp"=y&Viͤ,/ /Ud.T$HVl\Q1ЩDY$3l,U C` f2e}6B^L_ cj2S&~]l\~;>mT-*ݝl72'6t'uYυӬL%\MV yp?a^HFs=7k0 m ԈT> Pl|T0+ 3w<y,<e6:̽`p/ I$(r1Z,/E$a/ș¨U >)ta>Vyqnv1Giq:4@MjrTc魴 1Sw"Z2O>[X5$D,T2 {f4559ܾZ_[Eg|~A~[b|W̊e%M뻮k~oR0.Ȼz&gY17o~z3?*FFf5pu\w%3k֊ tKީbb +kKo=-ԚިД_##hp+žKj3LʝL]d4Aj%*N31xͷ2ReM~K{sF2v//޼z}ȷj/a2Z`9BM"0.7| ׵1~"gj浇}+ QȾ7E'4gJ9gymHyJQZabBeeNόֹ>'asZ\&lNī\]S-,'KV@%;3vnd\:6<-3w oi.Cū궦͒E^Z]QTNÄ}̀G+aݖR [.~c^G2 A|hM&C?"wL87s[ts0sG)B̺P d䮎jbEkY8̅&:{e(t,T߇O ~xb6P]::iV_[Y_ @Xȵ!o𑅕 J afh; 1#ޞ_kEmG[9b~<V( VyΔe99NG\%  x2sd%0@+y('( |F_xw)?i~p& W/ ""bTL<Jb ^BҦ"ڦ9O6:VLn~Hin yNN$\tۜi|q >8ƤyfBOu1q\Bn䍺fR5vCMG@HaQdKNñn -AaSBM4Oq2.:[sYXVكzEUk5M*cS?g섯|;adևA'̖ a*)Wir%gbiQ)pkQoQm37ae G/ꅔ(b?ߥQzZ[ ߝ&3n[F»!{-J %}j @,K}2wUۣC} `Cg>38j^h0 ,R%'\[}RXu6K >Nê|]2>#M!=u9Cv{ZWW3rp^foZ[M}3eC`Irs9VQ#&  wik݋>of*+72^|ǭcٹ6䷤pL DŒ^i08VrGi&G)+tѝҵ-?&&g&t,*M)bb[%#{Ͱ͌oױHڋL.U}(:Gx,sp}($ ZT2ϸ:T}&ss7u#^#%[Yә֩:. l7FAjNGЗ%|)xvapiƞP%4V J j\0 hT<=A:G] >jw*1pO%c]fO|ͨ5|h{:95qYCt 2fjt莕p"O'C*&m8 㹄/ $WnTQNU7GMk<!7`=!0]1 SbaQ1,A8c[&1o{zxiUr\].]6 Li@Amܸt#~$5pWv  ɪBUg̾}:-\W/nYC[GbQ$wB 1kͲj[m1Wj@..*j+*48f9o2=_\TŠn[ӣ T;Mڱ'V\@][pBOX2:]!]Ӈ(0MvGQu4B]V],A -\_fN1;rW6Fr8kݩB2d𤣻,L ]xӋ>lo ipwt 8nSb8^0hXOpmtfW @8'A[6͈(va0zhYG'B N g7Uvă  K$U^. -=߇_\3DUDDdu&Q'YEVGt];CsHXCکxjԷ>QP *U-k)we^Kt*Q^S[A3-pvxĦەbUڤ}}uJ;JqѺ[2L)7X #v8{L|49ޑT3j!|zb  0g u(lgr3/&Յ(Z 4S+Xq5ΥqZ˼ik>ݏݲ!HBc,L[u)cX`{wy v[} %  `;0ZiGn`HZkҋ-9vY2.U2͎ygmO׃ ԩMޚM}y ,ێ;igqɰ6q,|h#Iђ(,¶X%QI8~\ɼxbު3 0Y ͏z;Lάt>;œi@:#9,Ƞ  C1 Zt)Uu4:x+xS@=YI:?'ڏv/ǽEuQGk›zr>fhŨ6̓yW4Z#`bDAbORn7׻t4O[$Rm4N`3b|˧4$*HvnGMof]mcŅL<{>`83#5~:eur:P JFSe6m.qLd# :u;Oe`OcfWF*x'] 3M7{z3. \qTs2{9Cpƌ?}Hcn=|;WO=A?uK%Z;n̦i~S\jJkuҩ FJ5,$&lGAسn:fjv܆c7l:w궝w362Aٍv'Y(Hb?{S2/r>JZ8>ٜq]Wd=}u(ҔɈgxBr-إIGÐ^/BeLwÃǚ^sݽ|Z:qc.VjǹZ2`W;6b'JAzfLK]N$QŚ刊 ml;M}rX|nU3; L%2xOfd+ ^(W4 7a{>^[3@7&P " iCCCpc'90>4A_z>Q U'7䦣Ջe;#VTQvMxLGl[2S8'%gnGӸI͖~葧yjѓX]6g:ˣ|e/ufXK&-C5uUH;F[&RFX,'8T{2M/fsrvOtea_lT_@ ~I(x/G"ID^oS0tAnz6.J߉x!h,?EwZ*Gs͢yGI=IT dh?ߎ-"،T3T.g\݋yDŔxE_e2ᵽΏ"ѮkxMOA"N]xD&6iX:TqI>]sX՚;$Ctt" O}v˪ѧfG%kT/srj/YZFz =)_5' RB,,jI:f5Y h-'otC? liI6soV|uYn-~،=z֞x:yS3%GP4%g(}C1Ta5gg}1̮vysa8; & AfPK<G$pVScnfformula/graphs.pyc\l]3^{؉8NrԷvz;_.w$9|]άgf%nu-HP$m *DDGE 7;k+gD3޼yP+zUyA"0pFGC8ak0pNN8N^ŵ~A8) 3ɵOԨxx?U8sn>nĵ>6Z^lחqqD-ssH8]F0|C9k#ⱜhkc< 7+B\!q/b} K/Y i ]I%g phpg΃|rLN0±rB8'$C|2)!<?™b)\}^݋=7jؾ]sZh7׬ lqdپxu|+7DWw lmbfǖj+v:BB ZlM_8i=>webGV:p#^+EZ7ٚVJՠ1j U%*/=_j˯^f3cשt7tm2VŮѥUUVs|kҐJ]+[ #(t!Dv^:5͢װ;^- B)=IYx\Bd10DstxmM'dlufI*\MUC492ÕA~\cT|x֭$evQYFb]KGޯYS )ݵythZ1<•)Mv{gwSzT[OfF7S-J_3ō,dDKzAle? KLA 9SCLEj]vxDŽbap aY3)q"[}NLm1.xAfhzSA[?U\5tXgjt|twVyJap}ND^4bD7\+rȍRVlEA+IˋhJ|Kͦk5Zk>}V ѩ2P<(5zuҕu?[ Ov+;fXij}rHFMP~[mdA^z/uB?ɔdGEϏbۯ1$ kn;rEPaɯ]o{) 7$F2.Y8oWV=.z e]3*k 6vmDMRa w]`?L/#T_7|uj4rLΤbbMsfac| *b/)} m ʵ}ll{r5\P5[T mFHA>ĻA"Uou^ 9|W3SM*Lez յtVy+bǫ'L>fxgRC44( `v' s%. y>!h-hm71[un)w Jg&^]O3F%Un `?oi9Mt^XBe+$*i&Ui}[Rb5ӹ־3VR7)I`7#C*5> M7׷\r%a2V"iw\ L'<;*@vSh]xWeWH|KJMt( ((A'2:I+$!MŃIf::l,FǸ QEmQ*d& 漢R0k*)knė4C8Ӗw4zV!V>6ƷKuR麪ҲAR)R\1" 36;iP~S8*c\cX×0'rFɂ:>g8s|؈KQߔ~wbAQ';FTw5/LSXOlbi:q^2i82ti.fo);w)架hZf!AU4픡ssٚ4l!ʽPL}衟!#SEbmW ʪ, OBŪ&gʦL( N-uni^(Ԭ&R,L4FgW5xssfQ]˻{G.=.~_zf|>#HOIBt/Ct1]X]47tQøWGR\~J#ypI9nr&3l[RlE}lqQ-8FGh'#v"ՔU/Itz fPjՑ?VX֧P(j5iKWmqLI]T r9! uc^xy>gAݍa m4d|P68 z_F#J44C^88E2tԧYrT峂ܘz- YYkDlFTo^"9\s8pGk(3y8aLG3m\3=SSEbKn;d9<;dqcD,-DkbaMAtfG%SNhhj찠pjG*jߤ9BDeuRϞhn RWU,X]vf&kN[iQ̑H)9(өy5$P|9;mv_2(TPhh<˗tE ΨWI6g0 71F1h }f= *L`Og4.ᑀ 9 }dKL\LHDYD&ޕV1i"@²IfKk@lWVSK[FllW1ne"MЦx1BzjV r숝з1,L</9Y!^+O=m2 \40MYŬ+fʥ,~8|1 j,šdr*9Q|ҏ>yS8 vV䬹x"W^Ѹ~6Y#qx)oDhQ~h^DRTsBo;Y.s9:E).icUkrԠl2У@M V8hqSlUaq :Y$:࢟W5~ /^Zlј _7h*U_a4 s?%z%;Θ1r~=jQPVufugt|aJҸɘU.HP`r1S)M2'AD5 |bIEFmӺx2qI֊-.pbQyt:hD3}N}ߊ8[]0r=Tԉyzrd16 Z:zrgT2nd+;ܱu>]3t(Op;h' tH)f] B+ߪgy֛Dޖ[ð2=zbމmχtXyKѐ?]r}F!ms2vI[RUvXEpbE?( uC.ju$ܠ5+(DDGaҰ%Z6glǩEVt}cZ'r8K&.I(!< cZ{yZR=>ֹS\YCAeaYo̮U}{  ÙA\͉ րs#tߜq8`9G20F!;de#cx`=PՉβ>g@ga}j7j{])I&/* JS9C9CvViVTwy((}*YOJ*J*%SR[)5bW7q7ױL4O!C&H;R[Cn78 aw m KmQB{ȋW^9aQ.OuW{4Rq'rNȡ?k $S:(v:n4&5`tdXfhXSGJԀU0Dۡȿܩ7pXʵ-^G0]~ %o0jCNP&oNRN_b&\FB# wCCS]H{T&Stev m+ b2bs xY|T]ׄ%ԎMZzpNްR 'Hj Bc?GGKB}o:нN %qGPz`G. eOಓq?E\%!uVg2?ݣ1Kw3Β?aU0[0IӰY?-B\Oy026 ѯl!m3,",8>j;dz&,^#qg9P:P*QOj=MsK}?M4w/=DuB'Ndvud?}+Д)@` {'\UcUz}>C=Xπn)j=l t ǧJҢ4/<mK-3 v˖XY1 'HiE wIs,ˑJ^G`wś]P65 B'$"Ct`zc%;@|U2y rZcZK^,#:>Z-B>)qSD/ކ'.WނvSSNP,v%Im 8֑FE>6&/~5VYiR3Wvڂv0H6?pqT} cIOF(('H猣fgfȜn#-4mQ)S]O\~iΖ=s\J:VV2ύdPЃQ' +dUCۏPY˕7K-ԺwC6ʫ8f+l]1`(.XRxЈ19j$5&M8ңɘxw# tv@HkI# ;; jKЄuΝZcI)r,=NEHݷAtDǷֱ󆠐 qD[? _c,va]9Ec305;U2+F,Ŝ#"5j䵫 X {d,7 xYdztҲ۳޿,+IT% :{"5"aE%,1 '5P5WUeIU8xZf#q!#fGX>9!ƭs\/Wz@ܘ?[1Cl$ySv-|CB?^mmzWp* k1)3El@q2s,cƬ_.{D*l KŜP=ѵ^el-#8:iL1n?Ͷ9uUs8xWOՒ}>BBD?rSի<+ d}35˾'n%iWInbRr{˚ A4>(VWqxWˋaSjSwݻgqrF8N*t*O5 UHyHOҊTܿ/Z 12B$;DHF ,%ԐBD9^nw9a~DIu__/żwZN['L:F_NJnCeD}H:ǹ'XD-=_nke*uO;йp] = ObJ)}8cNCf"{p/vF B[8 U,a'zImU:_WSѾo 8F%߱2 fS:lRO`Vro,h%K4yMW64E4%g=yY63Ucll,ѻ#Xvc w8fE>'vWC3rZ׼/uRt 9egJ M"4r?Wm- !(թdm*۬w>2/O%-'ܽH,Tl98@LWN}--d&ŝ<]ۖ%ԝ֙F._r#웛ǀ+;1 :bɤ {GzF_ }Ij$wՈA/CCѓ>?,1] gă~/sּ͕5OJ4!mQ z']bآox>')d.rY.հmF}?or4LG_Lbk)#7`c/R.C}0HmIvAw@Cy1 OAQ+>em~0_5/%]^+Q'YZ2uny5D3^Ma%SqS~w*;pPݳn)'FDƣm%ۗx<_x٤KwFD&Ux@p$5 7REbV] 5(YCJn;)0j2K!K5 @oa,nTݚ%5!TT.TK[J[[&%2T}w3V\JoLocWu1wH+r㮍4nzˌd fٱ[L;?ߑ]NPPeꆫVS㥹VWcj-U--P9<~JGdRU"7 2Ry~[>84ةL3WHi2h6V ߮Ro9q5G31?S8ARJeEV*X&vN7X~ mG2^> 1V0Oi_i M-dbǎbFd , _ސކn> T\g,(qp>`C1[,zI{8V= ;tșXDZW??D|\XE,!#o}}WWF؏q;4DqPKiFer! Acnfformula/transformation.py[obO`2iB s TA̾IJ%7lܝyfv;-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+?PK<GIaGcnfformula/transformation.pyc\]lGr]r)J5k#)S)%GE-K,;P3˙Yiq6p./ t򒻇)0py!@ Cp @ 򐟪!_DGU_Ut,1ckTZe٥l/UW`]ѭU7V{k-j/Rq&gqcEx1腦HYbC8. /_.`I#~ 5w-;^VRg^{qҩ⩓ܕc\AR} Ę Vo'HXF&RMв&{(鄥b6_!DԸ2 'as8,? , Ԡ'lr0Q7Lɵ )Jeۻ9 H5g46Ho*҂zc9M*JD駠YkdC^1cs>K!.cXɊۨoa84$FY#Yk`o{X,K1{6z F:=d"{d?u~e72a\_bAV?/X}k@! Ab8. ]5 ^bGMỴ`YZ~uֲeDZdZmժ+PҮ!!4ʳօ % 9#E.M۝C NJXK0 uU/rlˇEjU3x )(ޠg.qWH"ٕYZ~fnV~Ix.5ZUQz JnU/\|%FKDP״\cr?D$'FEq4  b *jC*Ոe\͘0!$<sXː9m4r8 (\~a>3}f+r{PRgR怲u2Ư؁W5wOCNr28 V 8-5V]Xg(GhՍ*!K\d@E"D h Lae*ixp Km]8T#2S\\bVl\A%nv 2|Ԑ 3rd..k! q k3\/ + w< V?$CA ?ːsVZDfi  Q'%&J\$)#/7}5.vo %0Qu5v&gтl9 b Ei1Iza0c(ڊ"M+%E/6݂l wͨUҽt UnQ| x1Bwp!FX#Fi' 0lXq!R8ң`B gqKvoud[!^r> [/L`5+Y=TRٻ_A]KR/ep+Rm:SomfҖYעzKR,pie v![c=<^}rHpo7[ܷw;~?{[$`ē><}3ʠẄ́sHDQ+bm^n)m+_>06 螓 ` `>ꢂڪEMn YT>B9cS@dsq a;-4DKr5O!ςuh|(n[Rх%gU:1d h1QBp*/odnil؄ uGO65N)1$PE1;lj!6"_h4Ea*udf|Q_mveC{GB1=橤A8waNj ;8snJ!9ڜ#0'9ލcO?ґbobÆrZIM2Y}}C1Z4N Mw:2'@++ء#Lwվ4eKث,d76 2|ZP>S&dv{^ qOmzn#h6PD~>&UJNIvvӦAuHx|mSoI jn5?W~)҇VO [` ,1z=c_MaK; ۃ4=m] EރnQZ ɢ/h0Y5/$VŽ;E|W2{ھ7M{߽(62큰q!aQWΊK52 9G>"D u_t)t&^Hgt?PezCd:a{,#œ%2=qLa]]&"ꧺ.ept/_aͿ 'e'iQR6>-mjE.[@ʼnA[}-mhX:5P(mze.C 5I]Q8u BUyg!Qs-v|yS j)<'C"ks6XtǾi{>2_fj/Z!δa - ap&O"jC^}[癐)&ϱI_X4!%4[%. 0n<--=q:KNgnt`fپ\ƻFU>}7 h Q.CW[Oeh()ޯuŅHw"ηfk qc!WMX,"xnmt~LwmChS0@tJ׊z=6]}=64䮬Lѫ8C a>aHO ~cቯ'OeGPKF cnfformula/families/__init__.pySێ@}(5̠뚘f7&>3i:@sI䡡)N'*ɨHx167=5M@Q]H-P`N%&e@J‘x_jRY738}4nWy֝n֔KVQ oYwT[MޣʘZ'IIMexFOHrQDl]Sk X>ªDkT(a[ӒHQIF1sȩ&p]|-S-T:唏Gk dsEo;# sQ 6yғzH=2-՞Y>_=hB][P&&Y 3ҩukxHo;l$\;5}pML·FJ}r~$"yb/h$^#0Z!~hv;nG(F0]1,Auk/kUC1K;tbMG[,k^ +nZ3ws(a}:}DPK<G8  cnfformula/families/__init__.pycTn6='q74Uj']W CPt3aXoP6Ai)z"%ϽÞk/0^̄Ïw>ʝ7{O߾}^G?j [md 22d%UU5.C A!7@6ۅ؄ق .nBA!!dyrzǐ' ' ]yr!A|t tttttzz zz z >9̬eXx Y4 tTj6-EhQ(52%ps೹Gѓ'9S_DTk.U*- FW¿_lC͞,Wьy9GՎaˇvmS1h[0|{WV~B$Ѐ[\фrm2͔y|y1x|7[$$97I2\zWRR.]cYx;PKsFG 3 cnfformula/families/coloring.pyX[9~_᥵jn؋F(D3ݙV(/Iʀ ][Q~Ǯ+ FTw՟nJoRudG+TpFߍXZdRm݌`0 /snq˄a^h2-rnEXbo8О{SOo[RMŊ'3WV^*ҰJ(I`E1[8b<H0,:"mQe&OwVlV[Sbӑ).~)9Э;^7XB{5`SD-;#qiJI-RmCw.e| <"ǐ Aș*kU-i鞩*qd ^}t~!G]UV*|!a%H$6W *|966U̘j+qȑBUa1eIph.t8h> kcY#\A+0 mU-N=QZJ0ٟτM?"ܒ:n 9 Ke\>8#еw3EU^TQ.5j .Ziֻe0]+_|uϹ >GczeK/'?Q<\䧲q^]P Zm+IV)2ty;\g$곜sp>g8?>˚+)߳q|.m)3^ s&?/||g&1걹z!i: G[^E0 d#4t=/r7'q1<6Q:-: U*36/ Koyނ<$dbHN%IJ!-$.hX Q9VmEw ޏ?.+#~ }LM742BY.1Iu(yRzjB"/8+ֿCngǒ$!oߊ93ǷS]d{̥žT@Z!o:OW1*$!Du}MX8;Fx4|ߟ@ ?; x9dGF<6g:#K \EbvwE\h-$!Ǹ1;^js9cxs[cP-.{OWfl|b toxjRɟJԌ i$=%h{;9E%Я>3X[u\}P#$EmiP>Ez&90081_N{~::pOUxyowbPK<GGΓ C cnfformula/families/coloring.pycXKo[>s)Q"%Y~NRd( Xԣ*k[~Ml#jjt}Pw2]@y٢lM]"./П_Оs^dܙ3gΰߙ/~J ? ְx =X@PQ 1Xs1ڸCTx&\ $XU&ी)&%n2 A pjF>Y;T1:== 0_= # NA4{2v:@K?,L2ӑ:,݈tlՕ< +k+ߑK KW.W1aʏT/ -۩}ڱkۡ6~+܂y?iuR TՒVw؄r78訫36a܍Lu;:iӦ&f*L{9 &ʆΧ=X78ϲ%vX<Ȗ]5NϨ-.G|=-c`aLk'`'(fA_c $E I-Q\ \[*5i98} ơ ϑnw^6A'@ۜ2N-sOH H^_B Y>a}?sV`t }\jǂϋ'_=oN>}̢`0 {Na0>S;>>/qmAZM[W=:;%&g0j#B\!WJ<ƙ@=nuKr9V`]v00X37"r}zJ, nY)m(ډL-UbV'0i<ݕߑ;:/K%OKpT`S(W>sШ;De8duf;7p\FV|i8ke/ L> ?Bc%Z mpG UljJ&xCgNц,9%?#u%PDH-.^wCbc3䴸D;)e8D4q2G# AAB9UCU 2ԫf/^, X !e !"J|vDpTΥ}Ȗva1PMBEKh\Iz^Ʒ6k(['#,q My +StֆQjgI^%4Ʃ@?.:ކKKkd6n qF/-TB}qaZyn0R1O"rLc+`N%s:WbTf%li4#bFCc-|>'](f]9c Y9U 7!nGT)9["rz;{9.#bKݒ_d i\ GNBYL1-"'ԻOOm&+O=3qW*clZ'Eb5RJ,,A'<َB=|qoG'ZD t+L071+8x"G4]Z8a]YsE,b0uN0E$u|bNzG!jKt;Ӻ~X&xhZ!!JHI &BSN Q{S0a@,Hax->m懸{Lc5d" ~-|BF}+ 4L=|BG忞d:Z1ZGB@e\xw-yӸ)a\-h'!L\aoJH\9 Tmc@'12)\st,IiƗ! k܋ :hNc`\p&&VIq^1,@h7*&þguCA/wo6aYG@ƍ'fn!j+c)WґAr(!q3H A+Bԡ4#c.$cc Smץڞ[LM{1hNAaⅯEeC&Lۅ)5(BBnQ!?# q?->0V【!qЄJ[bi'I]iIPݔ&\97n8I({'Kw*PKGF9STcnfformula/families/counting.pyWoD~_1q\ H(jNItR{ow:PgfmN$@8of7'_ J3!\.XTIξRK>=~GJP6Ζ}W%Dڧz7i~.c0ָUѬno#j&Hr|(2r,h6jE]u+"V\&.ŖJ'#ՌW#c#|Gl P6ɂOT#Y|ۊxxNJ˒dZuU6jՅIoN.k{uA3vߵj=Ӹe:#Ne,qwS[1v.e"4rk|mdD1~ìa{40[bk;feᖗ6jfqDXq׽f8)9 xa*mU7jTMp])x[,y]a'pôqTwfȯQ*ϙLեVk>]z; '۫y@.h6mH?c9Ya_gJo~?X}wBWΥ9{BXz8l+WVz׽SdXQ}/!<ÂaY)2,h잳7'Ë~˃f {g!R4S%ZoETٹRG^Ŋ+F^"ۦnUiljiPmâٽbǿ@?7&4&M]SŮw s8c8AD>H1R^𼜄|ٱ?,3{4YPK<GgӠLK cnfformula/families/counting.pycX[o]RHI5RNlRr թ*AX1"@YveB9tHC>y*؇>@AP(3sv|˃XT6̙Y5SAW=`ckoBh@d¾ K *~Yܟ ݟQ_pװ__:0~ 4:<d|t>ŃQ1O 5_SR=j6$je;Ezk",aH'"#žH,n/=H^G}7tTxI,Uғؠ:A֐48AgMC5 ̀'& KpV"Ȭ_IA Kr4 'hS?aU20UI8$v'h W_>=. kt-I:+g?@:O\p>x!5<H]%:%*`K )ͺW$#HHF*@Z{b깩 V[R(xe12X::|kݛ֣GW"IE?|yEHvs7ӵ_)IjiAæ$h=jS&l AN1]@B{tƊ-8`IfFY>zCiqkzIP 6?YEMsx JFA@fz\_kܹ~%m ,[GnމbK7!t`E Z'i7 Qī^xʨI:s]MԷ+:E]g^Oľͪ֩s5[Tb<)_ĞDn! -T[jIe@9JLJ ƒY+_30fҢlf2*'٣UeD S1["g{1"$#l%rJ/ ØSOK0IZLGl|Q, M!F|x(ϙl5UrNzU"UEңX3^EzmJ7&#c>)BG{0#:g;caJbAwi$߀A"`ƃ ؔ_%8m5r5Ssb"\v̀ N0J{Y}mGP 3"@hVud&+$1m̙DU<\*il&8d2س^^Ƴhwi|ԼNX.^8wqAt\VƷMyy@%v4P'#_W^EM.Cl%0}tºZLdprޭ ȍ}+ HǏ@9*`9f[=^"Q,z2g75@yFP%>D}F"X eU9W/QGsb3REhaXL4 Fa$Kvwg: ~ qꒈAYRs3uEŜ5 LdftȌmupU)w՜N:-N:+3'(&8i-^kqԭrO}DprsOb>:(U-D҆ 0% nXj ߙ~@4| Ƌ?vOAFIB% 6}D>\k& (ᴲoQIT-*` U,jdZe`Tzgި֖Q:$ TN~) 4,0ښ웍Qᅮ d0usC8^slMh<->udVt$kp<ӪsGZCgI!jwxɸ#|v()gf-fD-(10lpO A:ڳ5ܳAu6 r`;Խdnm H׌&N5V%,M4la?X\~a#u/v~,Gkc`jo64brqFسe:֙״,lhiwgvVXm鏞 <4p209xU$n +Q&vucuHvmbuq2a=KV{c~2bLL$~ Y![d~Isa,wI\uvuZTXg88rAEE~>caXV,ǤOJmsѼk&q,=Kin!2cvKMwY u;6o><kqoֲ]jODUin/Fh" ?r^k>ZcQjM yhz_{o7kuPK<GX(cnfformula/families/graphisomorphism.pycXoI㐄e&$gbvxA,kf鏙gx@`.GgH?^uV| bzUz_VWXmB3-gB"c lU~Mk,Я%7%z1dbuaƾ9\A]a9v™Sϱr7_a[ϡ?f/u}+I~ɨT֓Mh4w4ڽjmܺI-뮔AX﹣4p;!=~m)4J v Tt :^퉸 fw8(yh WE84t2/sЀă vU3`dYc?g' gK(T料u䂪b7rӧOoL?ݜL&ZZTUA!qDQ O5]hFAw@vzolho߾ܺ%u bdTeQ;$ &Ij̰@N8_ḵZ+K .34`LnR&S5sLQzFق0|L^Ye2lblN(2+O sq*`fd66Ic8D㵵*,}hVqF͹9l̲\`xxp1+s|E(1 :! xJ bC6g֑jN|f,uFf6a/`Gj̦^ ]Bs = ' \ĦGb|ngh} %~l ʛFw#_˸64TW  (|uVn[h|/"ܾ0+e? :zȠ;&gn ;`?;Pʯ /N?:x47\KR3; %xwZ©J/<#7ņe3*wi(k;CqmPO3P- $  Q)gm1LpeO{8NJu?س>FJ L` :Tu6WXVphf/?GurE~QÔU6*B_5YZUfʮ ~'ݔЦZ$˕AQo ۑs_I$](V$&jH?֍5ZYkn7_K/PKcRF?{cnfformula/families/ordering.pyYo6_9i 8hٰ-) {hhD "+lYckn,J*?rqĔds=u@:wH$c.Ƨu~v[%,eBSͥ rD,Zoād Uօ9O4/r$ߞHȟT)J-rNYbykuN\Oa7 Gw42%х!i&sM.^N VeNɯ,X2/cf2Q%-6T!Х&Qe0kb6".B-5M/iXRk7*(,8m 0LjL"1ސÖaz L2:jG)A XHh">.iA/a,7]PD,˙XL ,cݔ01tMteI"Ȑ )#Y$1I3^/nMQ/RP ) υdKNrÐ3QE^LtP˦ g1p\C , xl0FB"b"h 3B@"90W3g&A#ԛ J*T v2#}~`q@~a*plQ ^ oM*ѠuRk2s;$mO#̘B:w&rzR ;a pboa~Αw/`hAZd#} v%l@lf#k>݂ gZ&TLMd*2&\ @AՋbe1:) IF9LQT<x2] 88g  =Sdl5rS1f~„}` 8v;ȊYaq!X X 4o.$oyW(:MM^0lg>|X&TFAyAjքux㺁BFNxRh. %ݪl  t[Z:7L5. Z7y66\ S8c%nIYk-V Wda)w i/WW~mHz 9\nS쬆 կmz)"tlmIEULy$ԱFaI,H5;hS櫛2k#.gq(!MXZ7UkTw߇'N>+hC>W,U+Vrعjs, jL}!P^Y75Z?Kdw7>n7}'>{O;1S ׯ.؞frxB)֛9ҲW`ϱ;nq<ݣY55$DՉlY{h\jBtb5#pn;%vDn|[5e0N]y!8Is/!F߶Gg4D_]I2YOG_it h/")l`lr@;:8Hx<p_<)F>W3~_@A"}C?#i"B[\o2+>,uʿ2#g|}dZVg>r>< l6y揲Q&-0w=9D,3(cl-'=fk-Աu1gLasL/ TX>[A(4uS5Ůa`{bGqY,.Gk4YY1/\*h|4Hӎ=\MլJTl*Ւ7jkz%OzCU/z mUoꛣ0x;j~S-0xNԳΖak^HD٠ z\ y\-vgahudחE(!ɤu0kPiyEnō6I}H7͛&^F)uMԶt(fūyc.a]\˙+|:qB7e2XhBR5k 4 8\T,4dnY@bYHvq2ck\M cNmdΰ8qv=KXgu,Vʰ藘O&xw5qu~qgķYHr POOB>e; (K&6_7X sSv~u{[ڻNȷEv8YX)ށ5/ڕ"_Ep;[ c,yÀS@'ͰnuXwi9Uu13)!5Yad/k|u Yle:?ϱ_GG0 쒵{A?yZ,&3Z&b-5ko2cY$2ZAR/$jU ~ys%'Q{Yf^wў -]c ?Ow yVd.L@`ڡŢH9PN4S1.1i@)Xz{0rr'P[ ,Eux%[Z~c?zJna! *tTl!UaE FDNTЈ~.Q{q[#%›X1p"[,| N| k'YZnD-D Kki 7GY?W:B_D-[͔7|̘rc4r$щ4D?r\!Sw) B9$% jэGOIGwnI|jv3YE\}E I  U [AB CuL$xhR.uC%BK%=#$V}3s79ꋀNR@$>)A*Lecqsfv]ޜ m:% zr(mm$!Ӗiibҗ ^9ɼN);==Lm۶`3[o+4$!1&$lSpy? kiocn%QsgĚ(Aa!0Jac@.GS96p]vK(oXq6m@nTm %Iأ}I\Zk]]]Op|oL%M2Z.=-́iF9XW3?pàP@x9%(:APGLb:FL{ P5MkAF]JnC;prY3/ Mt.i,) ˚a0(FY 8\=|҇GOZdJ9{T%IUz|rLO $*KQ'Bɜ᢮j%y)UeVZDdnf/nf:E +UNnZ]Lwe\G+L?U,)lC,-D3w*heiMdP_[ n$Hb nTX,XX/bfx/D.oafI ( n30 JCU*]`>Zo|˗& fBs3:bY1ʌw\<ȌlX%1`3iQ1^U*וiIHëVI& )J"6Z"Х, G3GE\-k*4m0x>97m.%'WG{U xjlT˺ cTM&cv@FNߣ5]% _hz]2㺷_$4ܹfSTfa㫐QW\syv$leCܞ {FLq5>r~QrӷXBr&iv2) XEs6}ud<Ό@KsH(iRI37%Ҍ-XQ[o3aa Ufq5p-_l}qJxrɣ>'fFo:L#΍_حmi߆_nnD؀lY7[&,.`' PEB!f}3>(bC7^@=aQU}[,J$w.]i4~Q~ )-uX)bڅjZ+ i7Y>^n_MDuKc7 %YdƮ=4Auq'McVZd5]OZR+X.!R5uڊm1Qycmn Gc3:R'e b<6F5zHvu` ҳ\ fv%Feƹ!Vl2k-TN2ϼNnӵW"kĹxpM4״! U>2رF}*ƽ ):& E$v IFy&>%A|S~ / - ۴Dy~L#w-kؿ sQva#N.$'Qu.aG-W"?yo&(>kICj17,IAEjM74l+;{w^n}C禠`Qit>K ga mC&SmqvwͲxa7=>x !`xT~,O+-ʉRxg C<:H}C[_;/5 Y~& $__ﻳ=7zob#B?NlO *v"F}aQŻ+Zғ="gO Gzi|l $e-/-voJm+n+;j245sA]j;駞\_ $WL)[qr=^9a{yaN!"qۛ`sryS$ n&,s 0ۅZKͻiDEzoC|1 ;5#EK8H31+ G }wi0֎0vB7.#> d-C a}gêi¼0Pp >jU ǧMc)nҢ@r|9>eo8NE{vn>JU%((ٙݑc5=+l-T)> @C8q%\ rN({{fweٕBe{_~^s+߼0`2\ Ln29Xgy3^`0[VCaAU c?Q18[W"'sK#`e8sGsǘ q>dS̅b2:8S!,9>4h$Cn)8[A;Gu4oy ȇ &zmߖrڋF3Yl/Q2p-Dm{6I"ŵR3IZrqn%vD^9a! /y& OIdZBo^6SƓUn$'Q@v""NCt>lU&+X"vw-X^-6~AJo !hql=䡃Kl:e4j24s5דI%Hv.,W/t^\h4Pdsu;|Oȹ|`KƀNz;^}%Ľ9a 7"cd eo ^GQ ;Z3ÖJ~n[r$W8ouW-M{$c|3R9&$jD⒐{ $oK D?BlmO./ )9f]Z5cs]zQ,s ZE CHxIx6D,Lx)YRٞϰ.j; x>7 煤nX3k-8N~9\٘!-!1JHwޫa8Fz(pLJFIsG59s_@ߙ0v~kN"0)ltn/c7#o3`ND!^ڎ@K|Ch<&0l eq1>c@m߻ODjq;FiHIEB p)Z6eh1mO( P<9~L拀͕MZyfGN3 UQ l$wJu6ujM)QCBkv$@l6q @*r/2~&4M;w+7I8S39~kJ{v1/Tnu7yىR:dž [Z7e؁s " y ,ENJ9 VU@LJ1I-_W 7c(rpϓ3q/e4]B~tS5/ZUu:%lF;"K٫ ]uLTE,P$"m@ˇLP`;ֶV~`\e^dP)^=d ;F!:fd3n+Qg̐z4":/VT"q$ t(۰-\lE~ԀW,NS 2{ECR( u uWcѦcfԆb&;[Zț@ 5*Pl~豗$2C3>9")6"fLԡq;f킶ffԴPp[wci~ߋwMLQ(@*`0KE&VL*{x(h{Wg<_V~ݩwDx0>./}2ozC4k^h'Q F W\9_ի&bj*1UyBx/lxFҤ 0TljZ#JTi͗#iU$YxG%Ӯp٫p=x!r>x0ߝ}vI>zFg ԲnW Up";R9XOʗJ@Nik&U^}r i!g6WZcelPsSB>82ﵬK= 2>Q]BŬJ '^HV㪞[L(VIrQ뫙M};j]o!٫X䦅y ]c*7fg)$idƸf}cF}5rઋS*^ abeJc=VQ}^n>3kڣg6쒶"9xqޢbGo7c.(=Zҗ},Dp2X=pCHao6Ko.rif(61c rTTu1G(ذp({7bbu-\`yp0(.U{` >@sbJJL~!A܇i0&`e@)_z-\/cH*tEDz1/$ZkOjԀ1&%{k=CD 3GIF_2HtQWsJ{jEa꺑SSx89k3rɄk8Z} "@U0'q@ (d2 j\3z p5xɡJߡ, OHfJ}SC`T~Yz:tp)Ybd.`6Ff 2ʋ`O݋)5sOW*^~:f;njGCCTX4$ 2 4}xHjņz. 0B_hZQXyu +,b lP<$H Tȇ8b} Fx'Y7R|8t>K8g@Wtʰz4-!bo &BW՛ʻsi(J1'v"ERztL |و%)&$ ('7Ȯ!c,tҜ4N/̍GS_PKmFNg !cnfformula/families/pigeonhole.pyYmo6_~t؛Qm[ r-[UҤi )NdI^q',8|f83>dcR\f{"fŭgal9?tiTdkg,_0 Vȥȳ8OY, yV Wq^ܖrkl?~\)W˄g8Zj:0O3`/K  te2h@ɴK͎O?=NDfFRiɋ;|jT33،1yZCH,Yųډ UL>D tn`X3!-LLrͲ}fVPgLI͘) `į¹%TL.ӁU=U(r@dX(X)~d c<r@N-Z^ b2CNdZH"atR %"v~f0ƅ}vغ hr%~"aaFvH+7<-cFPCkQ2z>Q>aB50 OW!&Rfgu[+#y5fYEk ̑p]}xa.V 0 2a,2hm٭㬘C.`hMhmYoA$S*OłG7khDC6bo>!{gѶl81?di}9p:܎ˈ *ˡqv|p_޲;iLts;>:/X(菛܅Z2In## F|j\hd;[v1u4 xÎ)q:/MŃ}cEbf}n9hWV@ 4 ]6up:od3Ht(I7%ϖVC}R$`e%^1ۿzkb'x Al uXiꮝ9l ~v1 4|vX{0636Mms 'F3j\[\S;1pN9g C8otad]hߍc֭b/5'/#5{c! <`^Uaaı%vF{ N~ #[\ŏ*rGT@0b:N[?31 M';WBo{yIDK$nIl8DG&b& 'ܲ47Bp~PQ2'0Cy 0A+ήKذ?zWXth<&ס:?^n#fMخahxo|=w"wIV qe/ۊi0|vQVJi4lQa) |mSRx6)[V,46&jU¿Q\!VǂNW8i֜<]V2pYDh&0Yt~:}?>BӇm$lJ^CO+fjko3:들M~x ^ݜM(YY]["+أֳ4wwN4ҩZ 4 45)PSB2RхSioPN/.WKo`s;R9pio>\f36c;{Xn6ޝMwZ|RC oPK<Gq]^ !"cnfformula/families/pigeonhole.pycY_o;RXI6i(Kd[U'Ԉ>);vбuyK>cѠS?@OЧ~@_ۙۻL5ڿ333Y9U}_yŒ|G -(-,Xf[6]`AlEjO ݞ`Al,1+a}%25̃ k*C2H`{h1kY3E=%=vv[(~'B*? y+x(FTc?l07\Y^cUvm/[Xbf[`IT^GUC%ש4{~=%kb؏b n ̌_X䋋^_ajX ,.|n9WˤX\7\Rm}%7kI[YhH`l䑧`o ^IA |gd03be#gȑSt.|@f?N91 4!]<#$;!l1tHw6DU% 񈦼ޱ1@4QM)cuΎ1oG[OJU>YmYSo0$PĮbȓcLSP<87`aooϷgV€0vÎPhoA}%\ PHOBJ\ S8y0"HfTv-ҿnuk&סhozTu3U/^\i,͋NAQn|![QW'RHCK1"yied֌uzZX߃q$gHPxxANXE d5DV9O`˙28@ 焁yn䞨:=5BR A^U*vƲTXǭ)5e=i r,&Ɂ,Y99 r,r r,X@7Wl`kネ7 O<@=Xx;I\eؗXUU̪{>b# /$?p6pBh@dx/NT@j)' j@*sjDr۵Px\3I2@d4+Yg̬I.Φ_? ,Js\P(1402m7RH*p"9pO$tF%a w U73 l7$ buCҖw7vS( 9<ΉD8$LL;4jݐr8=F'#{JcL!p7 -;f2 ]2t ji 7R ޶S2*# D(f=?3 I,c W 頁iP/RhOYˀP{1AFƼ5Km><rŤԅt*-\Dr{ƈm` 9m!oVZϚ;3Uȏ}k3+J}P#_-eH"-^m4ҭbȭ">zħ_,Qhe$9ע^c Jqy3+H8B3yz*0w%i3 ix27\WA;Bnmi"?PKol_6/]n,E QW0Q81L'{B$$Z#U:EHWޚZVh3(t)w;>NNN\iPi?5ua(ZALyϯ7[AF x m/sX,6m"XxE 9ə\E-i9l;myіTSv$+lK,Q/Ӻ;! 'PD%V!N-Webl:͓"1-EV` oDʰQGfQ(3h?^T%v%X wE#8rEhwF0N-Mo *_>+Cz5v 6-*ouKYyB̚m*Y#r18O9d {W& #E.y&w+V(jY% yE' N35=S\=<w5I0@@B@xb j_IC܄d+7'4Ԃ #)wUZ&"?<҈Q _&Fmz_ cUJiwQ+:Wͭ׈`zB|%I&Y};ӞX;5۽Xl W(6t4Vim>c^hD`TI4QT兴AǨ"אNYjBėw.ә{`:NNypy\XǟÄ5**"]?e}~5k0F[u8A'5>yN`T=n#|;<&_MB5ouxSI R': ;HgP"kWŎ{xƨfvC<1ON#5U)FAU}>TVy!!4" +ad\ m\N'Q=z!E#>TXhL#(#<,lhšv!Q|>pŧ^ %#^2+17L\ZK*(f恌-5LWr>U-&ȋƪC111 g:zHMdÍ[=5S{}DZ^XN:g4*sGZ-DC\vs˵vsŠOVnS8.٨~uFōVMK\_ϒTb,~2+>U֬ǻiPOcR]FDacy^>u<7Y$n-,^]8:#egӢ ˦<ҫk/R˖7Q96a!l&LFE˔f >A,eSBXcvqhZ@ۼ_^9UJ-0t^_4 3yM@$TStuOPYD4AY—>y犳O;!aʗv3 g܋2 '# QmHUZu(JεIR2ƏUY PK v, He_$Y4m2e!~SxeWς s1D?Q8"j[% dm jC#ƙFPgk]DE pg⾡3o, _9\8F|6S8 9;Ev2kx .^PK-F^ 4 %cnfformula/families/randomformulas.pyVmo6_qs?Xjd96`0[0cöbH}نhH$(wGR><=wϽ7ޚN%W]U/PJêwf*-6Ⱦe6Iuw4P;H3xu~*VH n\]X~uv\]Qj'e ' I "}Bv8t(e aԼPiR=/CMiA`9o*!YS/ fA-]a%W[܂GKqYmឡg8+k{ *W{%Q+A#0`.A82;;&8S$j;*D*Eu^k gƒB(L"xKke5?SQ"HtlaW#+Yf$v{+'$m[2LX^E2$w% Љ| z0M=VaPz BYkT \n֑TzN+J9 8iB=X-90Ail) #S@ρR !bp5bP!D=PsB0!c/9TqebH;r[O#ae#- ŔnY szh.ϧ10@S쭃%Z b4,oc?|P46ܦ#YAcegSP :N~m VUw`:d!4CV1.wu*r٥X\Ky2l Ph;u=қOQ﷦y<"7?#ɾѥiM@cOIi:jlCXt<"[Dl2@h^(<%#,."1lyezײO4i]k)?F$ M쇟i%)$sVq[Qw [`ä/j]T~]0{fhBޜxyMXqɨGsL⸀m0]AxjVI;.(p3tstay,PK<GpSX]&cnfformula/families/randomformulas.pycW_s#dI q 7JPP+*+\uƻ#ZG3{``$yGcF>@>@ݳ%xTht7=6>~ N mHڐvഃZi5=D7)u {p29`,Syx|$"-e|qYijͽoPoss)\VE䃄ߛ3`Y0,Qyy:v t 7~ ^&6㩳la..W|!h OO, wX΁>TBmQ|q3-c0y҆{opՁ5Ɵ\ v +Fck,փ56_.y݃9tեuTLV쉫×.Q|> v$҄thQ u/ /x>~lpo|&p@P*Y8^w@DDThNd1.l"*$Y͎*d>ǡXI%62ɥT:ΓEZ:(f2623mzml<ۑV5|L%xsV:֠BRntsvdl0>LřpRMVe2q8=9 49u|XMT%$_f6N/"/&*TltX{UT[]8%͇sNLpMpVg+nBe9FjZXڔ%)g:ryb , XjB2OS-Ue[D+#0UxK#gdM54S.]qhԹ/#e":V«C"u"/\}m"{&Ď(+>WΪ w?QI l"lt/ A$x3=S6~w$J sXBg͡Pg'b ?Ehc*q^>u2b$LKcAVόoʗ׻T_^4Q;TS /P8i?)\ j3ʯ|"8~Vy< *8Ж~TڮaH%F۳=<ɡ=d?R,Rbwow=ҳiUGSI驦4r= ],_~+/4t{1g.'6mz;=5Rdv(S.{v4>&* 5|@m7AbԖH&mms]Nhliv<`3퐢X̹͸M~=}dC>VTe爛aQ #;$!v{OlŽ+v@@!-)[vveM] > }bdc ?mS՟^J=hة=O١z*OStH+-] gO|90 o(}Iu7.$4)-/WW|keyM/Q7t;0.\_u*_`+qĘ|~1+)fjWN0]L3*¡V5mb SBLa{p\8sWGgEˍPz`<#T1%r-.݃?ٻ.qǘftDCNMr:puzM oỠHш 5%c1waUR܂^k|Pe| Sxaа0OfVx{ dRrQFr˗t %.nk1so7 t9#c,+,KI}&My22mqqPK'mF1 cnfformula/families/simple.pyV]O0}ϯ IhoSNc I[=L]LF[v4}<,/ssTCoXt_v!)~7f}S^d4\1Lˌ(yS)rHp 'qf:؝x2YA%<74Qc焧`!hCr3䆙j(i]pA d`KJ$+LmO)ybv*2 HrJ]&겈NlJ]|a@ϑX*K]+p4$S^r$gA-qpUuՇjZ@&H ?6f]%HA(`}Av.EA/b҆뀜C].Y8F!ޡV{mAmecX ` ,i=3gD, IZQxCS, 8Twؤ~?HJX{57- ^׫f\q,νGÏO.!kge`Vr0o߭þm~{x'O4bXzq$PZYKA(x-`-V骐 >D[ m$uo_WsPK<GYR,bcnfformula/families/simple.pycW[oEY;%!S R UiRh jۍwl3.@<"? 眽xs!C"Ι3g97?gk_K?X$g<|u Ʊ]`^E-Bv}cO%Rm9ӖSIL[aN-Ng*`̎8S?1]crҔHKNS!o9M4'guAKA>e5y,S {~(wE.@[{й:&*\LD^5Mɀ/צ {$HhMل :~'et 'ܰы3 ce‰IL7faЋ`b-ӓ9,dz /{lM&r{1~6&|M_Mn53fpӊyMǬDK(F ďs|il#w}*>liQ,x(D:i{ c>0f{ͭ'5!H1`)O P?x<2cF}<8!(N՛hΠv{:=+Tvg91֦Y 1'S!ĪpAIGdzz`q|',>+`;yB|z٘/Pl%0HbB $v'G_hπ3CR @~2Za&u{r XҦ!9i+0zهm+{.t.4iA2Rp)lDQMdwr?VYCtd9~~^/sPKxFcnfformula/families/subgraph.pyr۸]_"[hVzNi'xT Q({.vnL~|ZLlIdr)g$K.֣ڬ UJ& 5\ "Wd%UYTSCe\#^r=\IunHt˫hdLȏTk^JZ+N7f1Ec8LL%U/!e%!ׯoҬ\\ߙNΊpru!8 n2Rր:\֙q6 4 [Sbee<1T0Kڏ+HӴb`? $YAyplyR*,WO(ZJ_@:Eˈ@̫] T[ǎ)(1fэ#M6{8r):G;90nâfB,=:t͠BٽcOZr-,H鰶ttm&W L}NR~X#&V/ُ0v!:Qܪ' &"xo`\qSȌ%4+P~չbv{k?DA>%& Ϸ7p.gmSM>$YCv/B~>Q8J{p Z+Vǧәo:\[L/f,i_yxv?ȵvdBFA jonu[$[ NAk  aog݅p7 wr?˄2MShE e[sp^z#vSW#s;嗳\ڢ9o.< 0dU$M+ ?_#Ss"$/~ z5FY{Ksl{\y''6#;艏 ap Gwv/*&ɴuv!Zj7iqd/4];G~^k裷<%rP~"g. =o2ʎ2e8 Zp].u^ht GO{ mK4~ #A L *> |˥Zej99(GTQ3M"KR95Q96w#^pB+$]wiWl[t4 Pj=ľVO+ ) &̗Fa5m4-e)X x7JKg'-J_Oԯ!כQܡwO ML\o kI/{=B94vjnx_PK<GZ^  cnfformula/families/subgraph.pycMoI{<۱3exd1$]"Y0ltgH č+!8 Np xUwό!Y$]UޫU*)W x# X Z:5謦3  X-9OڄO0?ςX0jj4" JVRXmJ'?͂V~}?}2w>;I 38c_{"FO1c>И}FNȟw=D?Җ^ѶA׷)[4w8fn۝(nFkYy\[Y]k^u-D={yͧlU('[FՉC!,;vU/y_E~%;sONමᱚE!x(]d-544b In! 0Љ#H|BAu\OAÃ<̣p x&j٘P_gRc= Y|t`0:k{CM} lQ<%w 7ugXO\|'T`2O09zl['" %T~~ :讗G (GS'Ga![&'qw#Wd/^dp)z':(b2KlM?WBb1Iu@@XVm4ٛBg[7%SfFóHTzJhD@.)? u 0O 0wM\.?XQ^?n?fi`@#bC"jQ@wT6{,eWJ=0‡c;;lh} 3ǟq2?1k=>5d~1RWhUebTozOxIͱE|d|؅WxR3`[*fވbb28va0P d*E ߆kqiFM'ŒBY&M qַ%RɄ]oz`-]QN0$c!vV}uҠj:4"aW$Bm/Pd(+CQŝpX @,EeDf53 d4%eXzW:ܴhis:猳ڋ43g:UҪL0e I%E[;D9)M0.7wmARǓSd~CFMgXjm@AFTe-aXB]SΠ'ÉK㺬/KwC`Iޓ$^a_$FB( zdQy:!aˢXUlc-xo,,;`ӓ!"ޟg޻ 1~IUٕ¼oEc5.t< <"rO`0O\-0A%((O}[]mO;DUafn *( R0u;H4sxwãVG{PA⻘{pu(n)7fsXφ̭ oÔGkbŐT?$<  rA%<*sy *pP,J4bVm н_ikX- e*>@DuT J Z:F$+\zeT uwP<[LtyAz JuG^ӂu)+bc ^{Ƶ#|E*Z_:67xc֭)5&:'WS(Ȩ[X \ԿA.tDP6WȧÒ=W(筰zP1qv`VQ|Lj"쉗P]Ɯ sF; /-R PKZFyT (cnfformula/families/subsetcardinality.pyWmo6_qK?X.l9I7`0mW,E?6J:Yt(R#)'#b'MRE>F?iT=\Cycs%'0|:D\.Ǖ͆Xr%Ae`ؠiZ7)]T Fen!xg=3 ޱJsυ߂ҌG%yG*FF0JdDA Ӫ^J[|+Y5,ɂ$9txɴ_iVkd* . RZ$JvH+ 38dOv\QDCbB&y-nX:0.g|`0`sf2c!g"(bD\&dWZ %y+]#Hĥs;or/j5 qoކsΑ[sVόGZ5&S6%&< d_u,ldIV)ǔphx&S>sVZUy1z)U%CZ|~iHhgqvc-)] V%MfZ>Xm/UԵF2sIHIOmk~딠t[M^ ! i#Pvn51pE{JJW(X(/+_f3 L ffK'oXnMt@ѭ-BpiVg0&JγF]]y" 턽.=*Cy\YԩD unܥadfϸGQgT޴:J}ms2/b/tutkԧWveF. }P`R`T1_e*J .Ro AV7}3n2FߞrORNoMFƒᐪOHݽ=Û5y鶵< 5 ^1}d)/"p6^^8~ 8K7'ƃ;܁{6' .?S+yF?h(>jV ¹~9=lP{kRNk߆׮E eO8T#{1 %soߢ)KI3;myuIo3y9!9l"/ܧD\LTQc0nZEǷk_У޵!v n9 ߣT}V^7[P=>ž: V}رp' xvذ4]ԃ1$; ]1a~}|. &-2'"ϲaTI><5eKWHhv*2CN wR w؎V|]\qA,dzO^?*—Y4,>rBj,XPK<G!)cnfformula/families/subsetcardinality.pycW[sIɒ${U\k˗Z[f$fW BfZgccG~O<̟#sfF]EyiM߾s?}惟>+ k~MXZ.2UX\ejޯRj,~ˬ 5Gkd a2f7LV^;dd뵚_yO" tH}*g|x lv,UVgoonma{{kDLS%~~dö5Ck'fgccl8}o; ~2ɤ M/xZpjQ/(y~2t1&"G_.ށ&H/ccS{qV%Wg}G-!3o`d،1)OYPZ uّˎWX*S갬¬*ƸB;hYyK `l.j%pwYVg%6?1˖O|{,k x8=?3{ܹ |)ov=^Xp/r7F2Jsڛ†;/^PrpGBņPXPDC׷P#iJ|M,K>,Xr$srOy dPE2ŷS# $%O.\+u"۹45ef3*E"%ie ʼn` {4P2Co>H.vN)q=!F94:R^{a$3Q' RJma0Os6^VeS-fpf`HH%yswKdkPsHW*E0EdK,7XaC_A㉄9iu0gcR/svY|i읏f1JA$0l>=η)nܩ܍/r7zw+))5򠟇' 94N~<6U_Ii+ەyt.ği79+*$z"B8$0}+X\9O"?D  vGzuxa,ΟhIRBH (:[$_%?,lש=bK80ǐF܈N7 րCs NYe9]U<|7%[T=ܾ脇aGXˑ.}^o wa >eO M۬(ґ.&jl#*vichxGvl.Ojɓ2x!"CҺ?$5dt́?Vu։@ P$\6\kѹX߻ RB# vNN[dOs|VކT[PKYF$ cnfformula/families/tseitin.pyWn6}WLR[(xm.nK`8DYl%R )w M/,9<ΜaξvJN׌O)B+3O yf F h&8PiơjZm* u ˱~g(N2W}KWoJVͧ UrLsPEQ)E8kZ!5\|4MQ3N S+?™-/|b&7/؃%U.Ғ0H DQAXwƀ Ut>;V@khx4B4X,8@4YoZ24l3鐮cxMFBSDZҜ WEvEOrәTQ-W @b`߷ aVEAU+!11O-X'5m:0|,OC5 Ţ:Fܭ3{,& PPP,H6 BDhƪEAa2ӻ;a.n%/osN&XR_wꏏٯ57l-m-l`Ѹa"tf\q :%3.AX!BJ,.S; E xj.5;lމd]$H%Ģ0tU~3?>0c*A _ӽʼn/ `1%{Ehb)I6bA#*r] %kv5~ t=v-6MyJ0PYu{١5>֨G#ӮnꅪIXQ7>anmZ%jmva0?vsܜ(4dQRiC ˸tLj!iݰ؇XfD`agԦ7b#rSl |#&gY1XKvgf2- /I/ D-F7PMns)ѲMj~}訾@*pmE (Mm3Lq<`U2E2&/>Ämm(*5,눤vϼp_ݙi 2~&'mtOfD\wQ_Y9GMt{NP#¦f 0\a[L9DYjqխqpGx27cUhl~—^C3-e ٓnk_4bms-ۅҶ65#?2b,=@XRZy0ʧraʞפlwOPKOYFK cnfformula/utils/__init__.pyVQo6 ~uVi PlwnPl:Ζ INi`'"DQxhYZBwV\w ΥڬZW\ AP]Ck )ȺAcr2'kq߃ H\g֑lOl6(ԭJ: mPi+ F86{ܔ9,o#~?NF _>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> PK<G|^ cnfformula/utils/__init__.pycV_oD}4iK 叺zһRHT"E ޻sbﺽw/#wG3(x7;E_F0|6AA /@.d.8`߃7 n /`/G"L l.GUX&yede42BUbYG:'e2Z޺)^J}wY~ g1IˇaU&HydCk ;z(Ϻn;h_ħAS\`r``Q& 7al9c<]s{ kz@=7y>˪9^C|׸p6S{ZY14?j@ XáC) X1]wRO<\w3mԣ<[}p&7O~_߲>& 0^L0balM[:~O mMZV{vnJ!<(13`Ħ2r4G.T3:+5dKx74J2N02"I$=GueWUQ*cT,#Q_2V^^ngCU40b jP0VMvFJ]e=US즰*S=s&ɐ# ^KV%>+ CM{m8,r]wP&Z MOQ8)T$1֦!&Y%I*C;Z3ok/,5Ve]'TT(#CfloӧReT5,VLf[(JRLTi>T6\Ljxl B阍O ctrK0 uF*fIP3Yمiq(EEV(L^¤,C (AF^`S:`a6Q$A\ftkvg{]5'N %6 HtbSk#-qͲ_mih:/-e"XMx 8VQ^-{Y,9 \Fu*踠bjŒlOA 5`,W])Sba)jBH4m9id;Dpq18곭۫Q#)R9A 8*C=P|a޶4/Rh#H?.+զ;7i> K)PHƉ'R\J Β,"qI7?H*vmݳ2-5Σ+сKxcΜa#*UIm5PKiF9 $cnfformula/utils/adjlist2pebbling.pyYms6_UCʥh'7h$\&r>%"!5Iж~HQ$m4mX вUFiJx9IlXsx}g xJ~/̖eUbSN'1֢J0ߘ"0 Jݮd}WY:k\ouwԦaJ xwh𤋮*VI#e` @~esݹ;N➧A¤iyn#\c5Ӥg/3V={+f Zd l"b:X5`=4"Uuo;s};)qմ ym ?GD_1$q;G凳P`<:Zˢ}(g=!i DMPDh\!;v 9WBI[9kzCe[wWGB$.0UCFR`]_7| \G <_n= h(%p=f} m0v1a10 [Wb?0zoI:)fR2dp 3VWϱJ|kqMucgQj|r XӔ[e5!:9L`ӓq. _ !FV"A5-!;o0thGϴ/dZEf=A1XQɦ=Ÿ 3 (ftY|UU]׳>b#]gH8up$$T~i%p^4i@w[7hqM=flI} e#x~yIH ]kHNayg@AFr#)NY6LnjV VΒ ^А#P|+m`NHT3#!״yEp_$`HC[qrP R7<0EĎNh(E6 ˲V20#"1x3lpydfJnFف#d#O:zžMYjťj;wxgkkPBW'yJ>'Պiuxm8GmΖxs MnVE5c5;?NJRxhj/!=&غwuWYjXB&57~/LߥhsQ9y0IL2-sr c2`zMvTjt ' *% 1ƞ~Llwo<磩tpC uGÅhxȎA?%ֳS WIqkeOH= l[qӪCr7x7vEcbC7Dަ.*1&Xz=1A;[Xkʍ U` DTrcDmK䟖/.^_F/mi_#-Mnt3w歝8Ó'%*"UNW|apZ)m:ZoƁ_Oϔ!R*S_+qgv[ Mc=dTuτ-v'P 3u6@ʺϱnIaz>&p46F$nvHϧݙQ&st&)7i|(vVnKޛuU"Zb-NfSh诗ne8ݕo Z?_a"JlΈ-ɺg.9k`hn%hL'X@z\B騧NPK<G|p` %cnfformula/utils/adjlist2pebbling.pycYo%)R$Kb;d81ZP\#'jlXq*YCrzghthC/EQ=@@QsѾ]R9;3o޼{_fjD)#a Oz}K[B X/(_%zG L~YE"+4JIj\5Uޔh[›/OקWEg}Fx5~8!Ԭ7\Nb^ o'j^]/KUESB U߅.ݧcLY#Oݢ's8CaQh,}@w3PIP_ sM>䴢~(w6S4iv-o|<} [e67< puvR2 4]%]hP6qf7?\[y\{_ˎTr7]PaTn+ĨDI+ӕW4q(I?[Wջ#$IOMưj7C̏awFo_ׯu*ڷ]~$﹃w區?2݆V7k]cb! "H,vG z_>UA++vhǀPOh YTvKx :aK`ԍ9nSG iWp3";%"F"%he4@A68铀 tϢKgͥ@3E>O?%dȱ)~w8Cng̿ #dn/wo^hNmd _q=qPř u8>q. c A|6?0RQ;`IN'q_l)`uh8FmǚWNvwNDw0zgV*+iejԣo)}*ӋJ!7 Dm!A==:ˑ8EPt2&Ժœ [| 7 ;QBJ!˟h;4Â+$⧾,'Vt,qs?>(MKz} yA 8W 3ϩ[uV6V\FmYmMXvdnye-?*:BJܒ͕O}+r4#' i]d\9#1滄!g?)i]^z 鴰?k#qZT~z؈i26x_eHM=IÒBq* FEV1QABV/VTZSqeTAa1Nv@ݧ6=7bU{ߓT&N**H x ̟ݷ,]qhih& kF2ɲ._YY]Ĥ 4w\n7b_R3Wpzyt|+oN[iPKiF;`cnfformula/utils/cnfshuffle.pyXmo6_9($Rg X@5+n_\O%J&I91ݑ,9v D>{?ⳫNɫ-WHוY\.H&rUHB$IN$!iԤkL38dargNv4BFma,teq-  5T:@D$R^Q[<#8&ˆY >JTR#@ҶN3ݔGyDnLz}3ѾfA5FӊP &x(2x46`DFh\ڴc, .:CMA^QOTE%X}9e Liv404<1m0-!btD+V.SS\N Z6J"NiFҡcQ/cK&G3`O_{Y%XF5&@%VNpn9:TVi> U uP)J1ofGwV]7(ڨ׍8EgeVdeg%4x0"Sxf5|L:[ {?ta[γtqip,QѐLVA1NI2l.zl0_R4v,a)|[%MqfU^RKnɆM(G}B,$DUWl)])fޅn>~E]Ӻ58c#>чj~s #䳘+FKp:]\\ς \Ln%#s癚73-6Z4NHvE8c1θ3{+\7x8 zy Y $a<ƛG`-A5+`+' wД`qw NS~O m}y,ێ3.z@H(d~V 1'&G6: iwVQAS n37Y|f {/ojUD/Xh%A^;Miso6&!o^n}M}2R4CF)- m1$կbtTf9"1kap>1M52ImM#C%D\uKljk5R66}2͏ݏhy;f栾r_^?xfUM;/eN fŬcW=ElԷ1TK3tm2AwTi@E7TkGIS1SZg)42/NDQP8tUbZŖ:1\5ho;*mYNCWKgqCW9lIHR*bq=\,)5,&???[Z+B&b`>9#Io4-jVsśbMLxo91;b4%_xrm1S<@fK(w Bˠ ![Ng{G/p4Bf37v na9L -极g'D2)I1%q`MC4,D,r9.0^b"0oIwth$6.:߰ݩo{ "!,.\*3O\PqgQZ.]"REbkuh,rkVb]&3",D }b<Ğը0Xm/夈¤ob~A ]XtrE|(rs6hD5!Df XdԷQGIt0Hsa ZÈ hJ'+t?J?L&~QM"BTSbB\391Mxbc2*&i=V^ yFQ[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@Α,̲ϲQPK<G&$^ $cnfformula/utils/dimacstransform.pycXw%AԇDWDQƭWr*)%ש% `k:{롯o4vf)L(q]oy?C~ ,-X`Q߆ȆeJ-Aa )Vi8 ME}jMuC8iI~Zv7o6?Ra7^znĿv]mu67[n(f,č[2{Q?&%Yo*'U#{Y+2%(<̼RJtC$.j҉pC ԧۨ;"P"(,$/E1ԖZG: PiՓ͂3Ʃ~z+IZdD ]},t8{lz`AS 6Y124j%[]]߂tlXpc#奚2kLSw P1sRQSWQ560 6P:ON6nݬߺqww)[-:6{hjӘvQY}"JkmCRF*<ɇ1/ނmN³P `Pz @\G=3E[jh]?80H}φ[B< RSX @Zf*֮\T_IkCkhQc+Ui?ġEkִϐsz[['U>Œ=m]c9.6GvMW-El|ZoQڱb͖F~4WX2uNΨN48hS&cdsslњY"ǣUΘ!)aΣ8d;P#zVIdS5^pqDG1]W {]!vqwT?~ ~c]{c$^-E={.3/^`6v{YES[?恲HcFӘ84l$l#JMCv5Mٕ2Ew͚m~Ȧ׋4;ocV7 O|Z/#=ȿ~0*N* (JJ e%0fx@EjZ^0N7։ /N(M$r1:M>@D\A[bI᳈6J+3s1G%3cLM/tWf+sU O sL# iT? 1y1Ae4=u&j!&#3cG9p(=ЌI`,o'/M8qWp3";3N{q]H @&ɇ'xAqDNtQht/r3޳aK"2V&>.$:-p:b$=C-_L~K!|K,i"bB*$N}/F d~4r''vJ O$յo=§qDŽaDM#Iqw8dj5ݘxA/wy|[-t ME(yk٨7"00griѯrC\Mض[cA 3z·(>垫nO (U'mDG -zQIbbpn%o$.Nx4_,jE~PkPePyM6r1aEy`ImS^<ߌBm[d_ctz AݨÝݓ6 9B̈́\tSsL79>|-p$8 Ic 5,s 2xۆr 2dToaKJ;<12M2e(i3ڃw*U%]gm/ط7{Sd,Dc<*m |GGGS6X:{狥˧YB UR̯Q88Jsu6,Z$,xYci3|*l^V$tN:'Vnz$?4EE\$A `rBXYZ%x6ݴ0Nvfv[ S*gCG@k)Rqc<~jJmVꡇTe&-r PV[p8 m럚Ω_!KnKtrJ+v^!za캵DQ&7aSOCDw&uyoBHgqtGw$/#jMc/ojdPwy0r 6/7~C"kyxהILbPj-U+vTyk -\0{zjVVU?PKiFK V4cnfformula/utils/solver.py[o6u>ؾʣ}ޥ.6iCΈȔNE>DɲmwtYKp!V8|P572S6˘%LiU_^߿9e:Kע`RbQRؓ,B{7ҪЂɒ2J&Wy*VB+Ɠ)Ӽ"P,$.3Vi3/4̣K0MXlœT"fYAUTes< 1cl<+VU㪔͈ؓ܃@jM!˒ ߌk~ZU򪐜5,e(zluh) !J=Tgwkgg%G?b}sRO|-AIכ92Rџ*KVJ* cSc 队A܀3K1&XqoR3=eţfs0.*ɴe4b`86% Χ2Y5V`W\GfJ78YI΋EͲC?SX .Қ< j>D+Wj= z_{ܞ~1Bh6V8/`"*PfIeLX ҙ鈢85\"KƱ1q<3 6$r 5|eU:iXe\'sࢀr`)?ඨSC8r¸͓Ԑ48HVsʅ|$Lx9@ugV}M0~U+%)*s0d0в$5.cJVaR%GJCX+<%x nڏ &S9G3O<}M S≘;T*bBAYޗ,i% ͊xCnb,K5FiP A~^>JqɆ`#ה,XPl]B:otLIց,@~fHŐu5٭} 3RÍ/~4 ' /㙄⥇MBt =wFcv  S2+DchB1WYzL|bc߃FՐ }Y'9x8%U؈dM"O![l_ Fk9I$ܭ#}eg8rk4.~ID^w7EVrn]d@_+8tjus"1X! YA31}gcyBu!% E_I?X( 3UNbsX1<} `J= rMJc@tk^PД>) PitDݭ\@\tc쀾yU0w#seZF^ i+ABS,?Uj^ڰ;  ̝X}ǵw`zzgk^π`Ee|7 &@-;9ZvL.)5GFkUt64Dn6[A'j=!(>|ti*A t CM3M"%ZD*P?Tjɠ(eu jPG4ɦ~kځvZi0 S@ [H*)6y>%@V+^$Kã(KxdUՍSϝ.F1Hȍq:ӆ%ʋ@ K|[nu7Ly{`0ЃrNҍ# *BP,y& f7 !&T-+DTO5wo/HcZC `ke+5@x>s` &c&\Q^9s4]ي+ (,]UlAhͪ6èc} '=6A}z!n|Oѫue4*:&ډ͌Ƙt%@Al <<燣[ / MT!A04 kw>9m+ 4!TŐKX9;Vnl|"tmr-eh6 uԟxke)`bq>`\[AKT璚,BcRl٘JVAR*G?ZՂ{qp[;`v[J_Hݖ4IW%nZ4:a 2Lõ+ݜ["<A+i%C +:x/ېko]nV@и?=j/#9Yvzu |9`'rsnt&sX>h2PtzOo/>\@Yi`gtx#pqEL>Us,;5O^@{@>Ť]XϏ BBTAdoa/fXu9F(6ztNpFDvkObE:~  pL &`);JJ ᰾A4``N dt=vknydZI^u/j]-_RVz]2ItcZ wF7SiHMnpc:45 27[J&`6"眈j7,ϝ&ixgGXm(  Wư?$D M5_A*}3Ci10fxi>x 퀔܍CwaLO6#DѼ:nt.v ў%luG` ckvg7߰:1ʚ}*N K1(^U9 ϫ:VMJJ~g'ͲwO"y6̊)i$0 Kx/m&լqe@P>TK hNЎH~b^ V 'xvCΧmum=p![pc'b6 9/fyOubnc&4®fZ_BX+ %T:̊o%?u )2֜.pM19njvWxm"ǾbwB̖34eEWt?efymjsʤӄ[: Em%4v [WU6sٟN~ش}(kE .tfomtS iݵvvB4op; B: A ۺZ,&3|.6fKrF;i΂񾂢W1{ 2w=Du8M5]hWDu@Ef6A0Ь 'E^jX@ ůbRc~lbN6 ͻT:Œx֭/-N\jNf~c@LX۫z[z{l Ns?aD20 ,I!βD\hCw_;E ZBRap uh+ݓUȷY@zR ڪ:3N{ vl;{#p-ߦn¥L<[sb] J!?޿E !$UJ4ۦ`~C4W%5fk^ȳ$PK<Gas/cnfformula/utils/solver.pycZoGv!H$koA3̐eVeIDU(a(B]3LZ$%߃ ? $i,K 9Sr W3YDFXvWǫ{o'?/>WO>cə0z%vs̟g9e/PEW(=ǂ %,y0Iu ^Ҥג)[d3=@gB) U0&glC ԲZ }qus'vz+(~$#-h 2 jK)v-t@mDɪ)PЏ`D})BQLd0@iuJF(QBIY nNt0PmS5نV;h4^_swmW`np@uGվ#uym 춽hf[k0\$(V5ꌾ)(IY}̫a9`L3Ojر9;.iϱ9WBsO<ۛg_0W3Y i-Ga{tGU[T֮^J'M+Ո>i+?abOp%_e0ywaG%l;Ar99^ĵ80}-`6ƾMϠAp>R(ZYq>h ƂaU#_O{qr?vv 7|+~Ɗ8Z_Hnx;dPd =q žp喖ぴFN?PHD]0n7HHE(f;NSᘨD q GQV$Jqc(! %;+q/A=.g+G;;a&8I+&P @3 %Fsf;~n2qhB߯۱VF{VvAmb7Y/HG[x@صJ㊔^"9!blf߁(Vl$DE)]]7lh@;7>ͤUSET1B!hK$Vۧr/Z4JSk/ ܓ2EYaLv r@ad,U24 -:hh @*rSt<'5N S.X+|c)~/:|eigYvΚ \\;x"iWBt7AxAdV)E[%D[w$820UʄZĆ1Q c~|BjW%CTD~OPКb}lj|Ю%^Gˤ%*):{.1!PfQ KpeDohx0[]z}̈EGTڝ Оff.1 8)B/`n y=itTՇah#.wť<=Jza7H|N&dvtИwRFK4x@tx-^Jswχ4_8e8.6l*b}I%¶妈 vt"l?>ez,xE-"3g#jmۢoCo2|yxKԺj]M +x|n~K\eC@xy_H_c;M4rU VH%=w1E<>.6hu=BJ}+3h}u&;5̝w& q">r[ K5Ry{x}-W،P_`cxDQ ~M0((7 2(0idWbճ(W*;Rq3Q옮J-9D/5 yS!)3Fdm uwol޹ٸrXM/`:HBʻl$[L㗬l8obxO ?GlsDHFV1#vUGXIkr2BPvLO)$,@BP"= K=ρ}}V֪^&%}& E36tC NiLe([ϣ)\hDjx`"A ,ؕ<Xd:UDX-cfw7As))hp06P(%&'q,Ȅw/2=GnԩX 8:sj׹zB+j`D6.=ƨەL-Tb&csr)Vhdj=s;5Ѧ+c+(Qq8l`l4͗-xȽs>x<$3sJsRD}Vg FO:`oB)1`#<P;ON91POIW"F6,^i0%8"A7~u?IeC!(œQ(Dh@$.vJח޾w1 h洦05 ɮI?a`'q|MVMS&[NԄ!yx)M- O]Vf<Ӛ873E̮;u]=eVʆChM&4FV[y7٧4bF4;I(\^+r1Kۡ;? Eaď-5m)2/ ۳FsLMzlMvݵ8TX4xrѳq Ш0[i$Iep3%4sImYdLCWp6UMsv:c`;;lpi? q~/* w3am괞N] pM 5Sk: K@H.b؊u2jJάS\#Ьo'eV9\UXyC߇ǖYbE֣nUV4y\sf*5&}…h+sl⊻ɼ+)zE>EBx ߚ&V0c?^(!Ol2 ͸fxaToS\v7 jFnƒmS(U^)|B?+~lG۰g6 {i?odk²9Qa'FXvJmW*PK<G2EGG-INFO/dependency_links.txtPK<GmcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PK=G2EGG-INFO/not-zip-safePK<GT l0/EGG-INFO/pbr.jsonV,/JIM,NURHK)NQPJ,/K-**%'%)PK<G]EGG-INFO/PKG-INFOEA0E=E/@(45+Q#Є.DoO>Xj9W3aPˍU؊e2TD"Q/)6 {=>fNS,*u|(Ҳ} ȵZGo FyZUU#зJ>؀ 'eAĵ*'Ce\[>HL_j[2`WIOm]MAb~]G?PK<G,ˏ EGG-INFO/top_level.txtKKK/-IPKiF1wcnfformula/__init__.pyPK<GV?kacnfformula/__init__.pycPKjF ]EGcnfformula/cmdline.pyPK<G6bDRcnfformula/cmdline.pycPKCFqr)cnfformula/cnf.pyPK<Gy$|w!Gcnfformula/cnf.pycPKwGn h 6lcnfformula/cnfgen.pyPK<G: _wcnfformula/cnfgen.pycPK\jF2zS3{\cnfformula/graphs.pyPK<G$pVS cnfformula/graphs.pycPKiFer! Acnfformula/transformation.pyPK<GIaGcnfformula/transformation.pycPKF cnfformula/families/__init__.pyPK<G8  cnfformula/families/__init__.pycPKsFG 3 @cnfformula/families/coloring.pyPK<GGΓ C cnfformula/families/coloring.pycPKGF9STcnfformula/families/counting.pyPK<GgӠLK cnfformula/families/counting.pycPKrF6O 'cnfformula/families/graphisomorphism.pyPK<GX( cnfformula/families/graphisomorphism.pycPKcRF?{-cnfformula/families/ordering.pyPK<G8](\  cnfformula/families/ordering.pycPKhBF` I$cnfformula/families/pebbling.pyPK<Gd# .cnfformula/families/pebbling.pycPKmFNg !d=cnfformula/families/pigeonhole.pyPK<Gq]^ !" Fcnfformula/families/pigeonhole.pycPK͘F~]yRcnfformula/families/ramsey.pyPK<GfIn! Vcnfformula/families/ramsey.pycPK-F^ 4 %[cnfformula/families/randomformulas.pyPK<GpSX]&`cnfformula/families/randomformulas.pycPK'mF1 hcnfformula/families/simple.pyPK<GYR,bkcnfformula/families/simple.pycPKxFiqcnfformula/families/subgraph.pyPK<GZ^  ycnfformula/families/subgraph.pycPKZFyT (cnfformula/families/subsetcardinality.pyPK<G!)Êcnfformula/families/subsetcardinality.pycPKYF$ cnfformula/families/tseitin.pyPK<Gcnfformula/families/tseitin.pycPKOYFK cnfformula/utils/__init__.pyPK<G|^ cnfformula/utils/__init__.pycPKiF9 $cnfformula/utils/adjlist2pebbling.pyPK<G|p` %Ccnfformula/utils/adjlist2pebbling.pycPKiF;`cnfformula/utils/cnfshuffle.pyPK<G;^. cnfformula/utils/cnfshuffle.pycPKiF^#cnfformula/utils/dimacstransform.pyPK<G&$^ $=cnfformula/utils/dimacstransform.pycPKiFK V4cnfformula/utils/solver.pyPK<Gas/cnfformula/utils/solver.pycPK<G2EGG-INFO/dependency_links.txtPK<GmcEGG-INFO/entry_points.txtPK=G2yEGG-INFO/not-zip-safePK<GT l0/EGG-INFO/pbr.jsonPK<G]EGG-INFO/PKG-INFOPK<G/:EGG-INFO/requires.txtPK<G]OI7EGG-INFO/SOURCES.txtPK<G,ˏ EGG-INFO/top_level.txtPK88X