PK)Gq#Gcnfformula/__init__.pyTn0 +8⠁rӀz Eh[,6d;qҴD=V?wۣ2[4ПBcMUvP`qpAY3#_fxJFgpe 9G'䷹t5ߓ O4xb3<&D.TSZ?,4Ci%:?;+M[["2KNdցQ0EIz~(xSI{ZCrS~H,mY~^m=&Y$S{j_bpXK0.&#nccR pP؛--[Q/i>pCK1+|4 spSSV*p f# 1ff\_AUA7g)wS=8+x|l#ϛA<@ IQ#c6]<+\2pΆ^E54 Y$b\Zއt\ @м!539K/#yUfU]ĵΕ)2:"=nw9#s!=/"iP>6r]=`'4>4⍃_|{I MHse!l)f=ЎHnFpׁv.4dt~{}n>.p*1yrD3l>3#MNS<,TRggᳳt:?ճZƱ)puki* fU?Q>L>X-gkgrr%vՎODw/~oU%K5nSiv2yMM͑f)!ጂ`(PK6GIc.mHcnfformula/cmdline.pyio~TF rCGZ0Vlv8 BȑĚW9m{of)ٻ8[f}G;.E~ cܱlWldr/O0ٜzG|0No8Kı, ¤d݆'l `wcY""e!+ċb0X;iYfŖnj?d 7ֳ縇޸6iPF|Iᅉ`2"J)>\6vyzc3~C?O?؏a2=2[WWmQdxrcCn85ą'(d1[.eQ|d!,A0Kd5Qo|ya /A@X A5EFBc@jɽl[eyM( IKm9 |瀕.\@Ke22rTmшzd+-s?zqLvwΎؕث;uOO 5atSwhA_f.kA$q 6M&Y^Eʂin #$^ 0aN{w.&ҋ"pMBJŗ3 E 3^ӷa}0ΏBLOum=Ng>Hu-c/R^b&0 (0qQ#(F[. |a1ϽkRE0Qȅ mVB)Sb` $ (ap\Hcp0( nMK. K03qvF"P`;(}H !!1}"r+v)r ro9 :*Ea 5S/Cd;TO )Nkvs@J}VeMVIZpa4yK~wI_j#Gd MkʖTΔQ 7({ț˲<*KVWe/hh-!P\ Э leВl-zK1 w׊h͍2(, ,@&!ehdyQd#!Ɣ;PjP( ɑKFHϫ̎d@ goLjYIe^(޾@2GU!(I(&G R! ά&kXֵ+ gR|(8۴<',&}G>zxE,NF`(c.VS,%Qv(=2a%D{K@(M6vaW,9yQ!d_3>{8A$9Z9 >!f 6a?3WV5=6L2Ē9yB7 LS 6+=UR6bPwËƫHpRJH)M&/,4 Wl=F}O26q_U֞u J }}n.Z+Sx||.D-[anTlrE X|N̂"9⋩9PP!%b Uh0>{Z2K)B2gÈ7y=]DWI ; ]3@DKI\nHv#E5Zq%_[/665`sbslXDEUQ` f9yw^$,FQG@X($IUQ\ 3d I4@Pii .ln::ű!љHt j!m9NƤT !OS/rpQS3X9΂͈*~5nEX{ cz b,DBbfpI`P1,% K.q"$wѯMCEchٿo3x@i@U_7r@f4ٔq TՑM%}sHFD.EU4578TN;4VjuhPjU _FAA\݋ְ&XvvQ͡%3S ijfZ§!55{fXC?|ņᶃ;ړW!,mBpZL0V Zem%2WS G=Qs\6 .Pa]~mUTwvD^zJ]hujuRs:|I?`Cdr2mHTKXmܝ3:j5>hK1@den`B;(.rQV !7-1}g}<Ί]C h 0yu"A;&3hzԮۤrD@彧'e5̓T뚳 :G&MaO==kX$Om̤#O:1IW)kb2x\&Ż(]vi݌|,KN,ҡPV /I _ mQG1Dzpv^'(Iߐ*#ҟ8EIAy*t8Nb?74/'g135YQ UgAb=fhë P_ta S{.E pjyQPrcV3Gu{^_łv;N2M T ɴ bQݜl^,UR=lShhϨAi~ZsAa= dPcH`?kmұ ؁b2/u1ɁҨ&}t`SF'Q;w0MvxO6'KL{Ic0f2Sf-:{MiT \r 7l)nâιKrzdT:`MjΧm4씚#84}7@>E.6U_(yc6َm=?mφG' { (ǩ{Oo&$Ue x=+xXn-@D^idw]pXk}2&ڡ8mm]cIIN>4}ѓI! z8ʲZ13u95ތ65U6So#l"1N;5 nD)flT'#~}ǎ8~|86vBw?5w?:}7ҿܜMU62SӍZٚS^}bW\q+=! v%` BcE؃U ^~ = )N hp X9&ipgpI 1$y(y$G+xIK`UB[hZ|z,Eu#t j;'px$^t^rcf u'~+OGі }HIBˇ^H0p~u"Jv<+lZɺױ0pooj{>WiAAlbksO8j۰ĪX._tkYo9qwBMu_Lkw$ʅ -?Yը C2\hMI+Jt#E]iYVLЅG:uaxn&$qD]"qoENw=O<~'w(zDj ;L굩0 U)euZuzmՓqUIJu:+|DFSk-S k5S,W :9(Ǵ R^2K~<| ]^ol5~]"ϖBګ3يTQNo~o}Q )?E<Ư?0Db0)  ;UYJ!smZICiWX6nn&aئ}/ ]""'@Ҥio^vl!Qy3`BZSNB~R@EgwhNQ@Vcb;[z\4:׳p-IM5b#{x-Cȝդk;js:h*x܍ui_H`1)qO52Z1QdGKN/NB&IŗՀ,*V]j9u]XdLVqɺס6!\%uK#II,Dzµ کla@ZNdL1e!&}K贞X6ixZU}"fZ:[}L[cB L7 ^]晣v]_]4.(̨TsKח\-Hta+aV3 ;rdN=P.~I(Y]}ڡm g|)GPDZuE{_62 r~'lǏ,^wQV 2 0fcpbC0;6v&#t[]|c\M2a;Nɭ< 8/ \K..]\Yj_Z-jul@ nĹ)6YLUw(3t.ee=2-knkfpb#ΰt,eӪ}BIMHACbhfLGxhmEG?y@NPVד @qji-<M%ɯX>dcvϓ+pd)C> {V ,g S'-n$ʘ鷽E6X#: pNm~ {1Jij]z ?h{b옥%%wtBn0*Ƣm#q] /17GCetȊfQ*9]:a yR2]UAԬVJX\)yR`޾vjSǙ#PT/ŭj1Uc\ɤV 1KPsYa(uO{Ş^º(7$;V2+X(s{ .E#̥92wvi7׭LL&UqWԽIbL`b=N)&~\{FS F&%%0^ZCRTa̜0CF(#ICN%$tHI{}3"6D\mE|}>VP͏E֏kEsT>?5qGErH0 Aqc\1lLmG7P3L1R 04ܤ xP7?g"N ;~.(8e7EN7elR ml r v@ ~CAWyl:W <.#ڒ+ev׫S.N,}B?2n +X%.EܦOxؽ ;*ہL- :\mĝ8^~e< Fu2Օ͉Q0&Ml6:`X@1K#FpxA#Fo:B\F>J w|?,`c$yTYzX۴ P \1%*^R%v^%I4.2U&\H5KL~Kטʒ?>@~*C2ɒ?+L~6K^͒Lx..?ń0r]bZNދ\L<1aqd'Y<-/PM /2~u5ߩ3KGWQZ]"\d!!~XDMa )kk6W, WN;'|><)# CY˗~ڢ?[IE m#s%t~#*o h 'ڞC|$AHuJ[vS~M ST\Z9Y!Ax\ρ{2)!` r|?^O^&e~ә)ZAr:NDa6.Cr1QfMFّ, ðͰ̇%,]{(zQ[cw*`&`+P#p܂Lضȉ iTWI]怈߿0!t7 =mr"@a!i8b2UO@NjcGtR!S<^ɱ N08 Ev7/@Pޚi)G / rW8pCebP\i[1tq.2Ň("Nxm(oK.ex-/^LH7xuhw~N^pRR]K,nݼh7'n|ϋB^Z/y]s`ɥ,!هY aL,r/ӥVYj%aԋwsN! Kgfx|- <$12B7; ktN4'=%}zVH8hBX57(Ɛt:!4ubYLlqN>搦IJ&ݏomՖ>c!󸅩Kʠ09y^c-!\V~!ujull .Wns>{:ǯG(Yb˾ӿ@w!kf0f.2%T1O#1b#!)&5/1)>BD'>&21@6;*>6C"q,:smL?Ϩॠ`#{5@K)+TK%SJZj11JLȠżŌ ȁ׈FJH|'4_Wqg pvTVTW]7.''o:|ɔ8B6&{B}nLIo~oD+^8cö́O"oqAYh,:Pگ9+:'vu'` RA3z)$`Q=D/ ,RO.bR|kΟ9餎+\HW+E#c@urݻG%aWpA渒"?ĹьoX˪ 1_A ZgSۿBU k!"iV E~m>sr, +JqY>є K 7q }[z)_}pJ^* =@!X{-8nΌ]9,Y~ϓmsS_3o(QǍ C=nȗLS ^VM{_؋W,ԁ2c`R8" kkb4t>}_Ȝ1((|^i|SfE L$}g 8>)NsLX% Lz*KDDM{2#E&UL5"2x* g6jo݋e$@x (3d}C1;,4bfQBg? ; *8o nMdp4P5 [h+RpR,l"|nSFhy8 @#~F4 }| >,ni-|i~[CIwpmrrrGDpy_6Eҷ#z o2o5dQ38s[ _y- G{E1|-nZ2 t5HA.@bv ,_/"LyrR]z{],WX{P%G8~_z{H̿_zPgC;56L3Ñ8{)no-Gz5ȌyPJ;:qlW! ΓdYk]{ rVߠN~9V%49?块bH^.<* ~Ad]Sj|odbk \)(O w,/x8o7{@9w_9;w0瀘iMi#J~rQ+dJxgJs4 *#Q\eo*T\s\;4ר!1WRQ, Ȕ5Mp$\! MG<ӊa㠆 BBv ͪX  V'~Q9љg 98 S#9 U-)>&k_?t&r~wGwf%-k3hoS{lcu_B}lc q|<s2'.nNf6DMN+!Daژv*"oT|^ҋza*m\"=4>s#6iG GobiZSYT.?Z͠oF|6D.`NP3A3r2ǺO*?m6i|gwڜ6_gcڜicX6 esPKgJHhh* ~cnfformula/cnf.py=o7`,5lwZQ֫~fKrWNry%|sH|qR,OD|MJ⣗uotUo:tpş~~C?< LBξZ>%dhUi~yr U9g'{u YdɚM&(31ओԅqP*,DV$IWPA-ñ.I hIJXLѯ :gjh2 ^Fd'a=L Hǧĭdv:O&d=b!eM&+GNoK\@⟲$M'ͣ_% #5 v"8cq X` ,skVЂD,<YC# gw8cbI9>|Nl-@ b|v}Oi@Mry(AJ^0)BIWǧV$ஐŽ&!>j>"Nȑa6EõsZHO$ @yU,-3]yd>zFf<" W؝IY`p"I1dI*!Ex@YJP*N.\@{5 zI l@0MFTf$6]j5m!# 9g \D&8L5" 8ӗЗׯ_`8bà wٍFڲqnjBz͂[[T)ayJ삝ѷ;csv*?a"." A7|'NQn/rq h՜0| j@'*E3+dsVD)`( YmJtkvU tm0͸Q@P@ )YNIRTlHXHa_WzQ ]03R+^'d6Jy'g1x@9X WP$ÁT0єJQ驿?Hlk.FLk;%L3EkOE1KE-@Jx6˭ضPSE wV]pXR-jiO6"ራA4n1NqVؔNOrڳ$X7RˋaN{zRѬ 1 R5&ͳJ7谯k(]Wu3 *Ш+l^YDY]AUdN\3;z]=-`D@K^[98 (fpsi.#y`S6ʴV0x04ͩ1 hg?VRZ~Jdz'< @E?¦HLIemey_zqfu2?3\a f`<{!D:cb.W܉D\(. Bi>#*Y[#^Ǡ/aJ4(diU23H2DOĆDFKLJH(ZQabp'Sl}VԜyx|~hٮXa\\Ruk)!vڷr͞lu\cru tIdyl`+uU]|; Zn~JȲMɎ[;랏Ywv>d2SڭڛÏ睫|&tNu 3~.R|Q!߽8rd7>g4Esv@oKdW_ 2B9EGқ:'ԑt :ڕ \Yk߀Q4zծ)C-дXBNz>(RhҠ)Zs[6~H%=Vlh*h W$!Tym*>O_F7b (tMZ76UЫ=cSwʟdb{& &.J mI恘qX:1: PNHEr_i,KFiE,B#\sJwwHttPnpnᦅ ѴU&71 1aߊ (xL4})20V|p#R{5Å!HCa6L%6!=-L;{Hiqi?<[F٣þw҈i"[*lUp Z1uώsfTcWԜ)iPɀNТ4!|11كmyY$FC ؛ar!(EU&JGvwi' ɽ"UEDFGL܇r>-zTJjJx;k|( .=+@È~٩|@ٺJw1SgBQ?[LrYsI\9#"j0` Ng$0oX!_k(ze,9ų|wP 6bq/(@ QMu2ӣp*ջ_XVANIA}ׂaUĸv wD%1 2S/<֕EXiHSQ~I4vs.9~Ţ$aƸOHCDtZV nO4ˆfQh?ӿ㮡VHTWjRˑ)B* QsI!*>kvП">Q4Xwf@yDygOutLtYG=@>(:{G\.[pc6+bQJB>X!JVً2MEQȘ(:? loex#t X2 ׄe:$SWЦ.."?^:soWcQ) U,*rȖcy;:]ªl㺭XP rߡ0C ҂_ v\{G-۰G*`e${qvpr!KlW KQOpA>Oެ."/i[a#C +P=qjǬQ j0.E ZQWY6G>h,/V9Ē[W9~YpǤR_yAf?;&6h`ю:UVZT$>{Fk/6ds:+fF*nБ%ԭH5:k6f!7jB,-:fk?0;9{ױJh՝e4syNagGD"EBA[Pim]O=$%mYaƚQCN);F9֥lzC%ծUJ$4N ޫVY.}EKGaޕrǔVXi_roYM]03AF҉ k⥩u*?Lrׅxq!x@V$=a$Fr*5-N*hF\9S |3.iSqz))G i6)Sko_~~k/ru'?( _s^Dᬟd˓jͳHQys<+ݯv*~&mԎHBL:5˲jUR &R^>'3nk^ 5Wn]"A%MVuj8N]{ dS%gb8\0 fU>2$7^~jfX~M{q+v&nuF1*"ۭ^!N?C;>("@erl?>9wٺcTѣ{ E؅xB=Q`o1ߗL} M7κzv!kV$# Z;r}ڥji#xcVweM9Aq@Ǣ!QW6Pm>]f<#./P.,S@<^|Ynt)|/T1=*Sֿ1M< t .̒)1`zX'RKD;)>np,VIJ,6ᴷe`00x[7.%ib h|)mhL.0u#$eXIfe D=n`, BWVްIlыקlk2D@'GDy361#ܽh\kK ?膴i֤U'Be+|i#9nOʋNW:afӪ?HQ!<@"ovqǰr.Qc?/*jRp2k$俕yCؾS6LO:,* ;PMc)' =D&-7c'zDհ &IՐ㓗PO1Ye*\]Nם5j6l5#£p'ĔiAs %;$ kcX~.O=Є X2 JZO;(,s_F!y] Jtc#T){ I΋0_X#,XUyސS=){nH /eea<2IFITƫ3OtJuq⾳*E'Q]a]ml+A2"0gI݋$i'ްy=yJ C2 U@ y\OV5ReB`{1nIQ/NMF$U^qvHO~W4JY$ V&N˨ Qn"uw[ !UMNiRy/,8˷UBL_^JUf%pp6n A]NQxk3lt!ux'E=}E=Vt&= DY=(-g.٫ rl pkПј˰1mIɠ(}mP*wɭl+bfHH=%ñr$ J!'S,QJP͉ŚZXfC֋^#~pQp1PtSo#Ã_w 4Vov##x-Q0R `q/P_:&$+:l}qe %e΅ۀe|\MUj?cLb3.Ҡ*#p[Q~E'a^^dJt ELGkQ%HY=̽CHZ--3wHvXꪯcR}k'uX]oAYTrWgEFxgQCJ1; I?Am1;`yE6L@cq8B/f|: Qݮhm~{z==s>g1s\O`j*J]njW*4.4Yk{;G6wu3q4Kz˨F3.𯍼a]8ΝGg/%_XƷ-6sZT^覾kh ܎}TKZJǖ=`ɱk6|?nT]|~au(p""h|&cϗaL"c\PP{;D:G 3|50!\D@U+;4Ab&[S{ h1De9c ݜϫA^k@v񧐘K`MZ8$at0MU:MY;C/[ 6>:]g>#.> PKJHb&-(cnfformula/cnf.pyc}[WvحyChH!i+{v{l+H&i{(Q&9]]S3UͪjΌ9-gwd0 1|$ #F8  $ 9GݪyQ# <n{s{g5{bџMpX3r("!I_}C^>CzEÛ13#'Ѱ7E܅7'f)d(9l<3%*&-e{) q[Mh*\dYd='a "1n{ =ӌ=uT/^sE ڜGΓ78o-EN8$A 8&~Js`"!mZt_|M"4^fMUylj@xa!G]7EW *݁q!dD.dkR)G׀E1("Fbfc͝V |z.]; Xخy<2P_nv1}vD߀0tB K '$8w͠CDH^c\DQ#C=x581},0`6wA A*/Bvu"Gįpʶ9HƠЈCOt5.Tx|B$N"@"RtC'RH>زf=ܼy7nGa)_ښ4SVx.ͬy~;o4[|eFn7*k%њ ջ<=y> Zx%!גBwe_&([ȧi4F 7;9yN㽟gvXM+EG1~'d;`;+gX?/֋l'v-f={.r(h=şOxNΦ(.S`ύb:F[ %h$'oë Щ.4c5[ RP3d psGpkit83&$ M:BhtzQUEkv&tR !+ /!wo-̠0Zī(!7ffo6Xo% az^x PzR4,\d=m(IܪHI[܊YAFAM"dN z/:F!jyS֤58F}$rrj$:2Dl(Z RyV},frw-5[*LmP ONM4hZKM15kp&qg20"-b+~cOAҽTn}?]`)1Q0|n=ϭ-Ds+u՟8$4.X32ӈ&amnK7v[2ΕgWfJy+[Wf\?m_U?ⶨ^aiB;: &ZgA?fbؕMSAhDzд%]`_)' 8|71ГP^3!Ƹ#n!|:v^}9 @2;N(z6r# )9Nc@U't_*:NۑF[4*ma2fZeS2aU[7RƱHuAjxea]u^@YLaOHsx({0>lp| de3 &;5/tJ=ΡbxD,׋g\cm((M5 қrD~Fq@Q)`)KĶ9 SYw@[6?X.meF>1šW4 hb4@M"r 0a^<WO v* :P=?c'M]5@z; #Λe Cj F @ (=mI^d݀2ɘ&enC:'xè4\a4iE`٩ped(fmm7i.^WM8?Dv$~bK@}}߼4&0)@412<)̴2CRn{⑚50e,S:HSTmZj]5*Rz|yahv<]EKl 퍪z^>0Z?"b #Dr6UQS*s㜈&\B c b&BưYFx~8QlM?c1hP*hYOɣ$mi]*\=9m!M"QPHiGcZOu݂bddTHY XZBBV<7]?#TH!~0.BGPUz~74e/[œ{P돱E3eG7.qH~cs,gE(C rXmaMi,*LIozU F 5(\TTΑrhs#v ܰNKlf*ئ-2)@)ia п҆gdvHPp%Q\QC /=F!'\*ubd:e]& PNI&}}X!|FUEee$Ơ¹]j[sdQMI?yKxa۟ECir 8¿ɞl1aYVς&u'¦󅂓F^D]JaXI蟠h/2tlZ; Z1H Rq b;,|b휢Oi#lVvN~ZObn$o-_L)~n&mbt 8": W*_UNtSRSD,ߋAUP +Y;Cv/u?z:EuW,2zOypv>+|$/&7TdgKXغ!ThEX5BrۈVCٙ`S+#&~(]vX.e^@>Omp[wU!"`z9.M+j\%^[S#oYdc )2k&'Br ;cn(=me:59m۰ .GeGq7W] 6@EP9* p xB՗38a<6 P ȷ<(o7icoU* C)LuPo'"( Ԡm7~$ыYĿ1?O)9IŤT#K*ZEޖlE4>(. b`LОyUq܋藱&yNYgz X9{ք5gɏYy?oeN_dJzmpIGn#*dIԅ/\1rBru(QLxLa- KψDbΐ 5Ep7+ +D` !F"./Q/fn٩Ԇmu B5sOma ]GX\.,[.ϸI.<(׌G>7Mh\ pܼzJdǞZ Z74W`J7JcleE)R},=Q6TQ#,B&Zk:][X'IBD7FLJ +SVd=!ŒDWGHXwF! &&-^h(;>NQ'MTQTiMa7'av/|ڢK7qcci\sD,/`?ፀgA~TC}m83b 97J禡q#vh;'?'{QfxI.nG';j<'OVVݮ۠_+xi)_0k}lO1yg\d][I[v"un e.d}| @5U1g1!.6>?cM-R"8Sy#2}<-W5]*hȱN  6r64q1aM/ [5qr[;vQZE0a>2Däb[`ESG 伪OaO(+kps;O`<?F` 4𿭾3Óԝ*еt gEf[?B9rg -Y$:'pͰ@ypO%Mj < SLW?Sy,>/`(:Oyosc1+NB7Nxfw"0u҅Kôqy('{2"Yc7gϞh ?{Z> j<+5iw z(f~yp~jݔ`H@X Zli(Z) pqڌEJ,~궣 [L;6t,hE,R dž1rr=e]tK&y`Eq, ^.Tf'*PFD;ħJr;E"YZb+І]_ǵ:vW/܁"Frքu1wwY4?c$w=i /r,CWXD.DCJq& lT*ua!|rm}f择{ߎp(Lߦ{!UcII/g*a rWM))OVN!p t $S"3#F(஫10E5diNO.Zo䧭)k̚ɍY܊n(;od /$xEP`H,GUDv4 +Tw4|L ŀwm+2?f*zD 2Д"-qP[1Q)D YU^q$ >avb/EBn1*A6^o{=`mhB=)R\i!lD$`Jt-| %ňT/!j0Q奦$z5rl#TL2~se/>GRz~5A6_xΡ`q}ηgƆӜG a輋gk@ a:HQ/Im_(Y3)E;IxM0@ف- f *5N4BBZegll1$/4ip}uPP&$J#7÷SUV8鍏do(ZL7ݚR(adNR3}PZx✔d-%@HYYiڅ*c3$0l[v~ ,bbgWz`E4pSӹ!,ZLE{XOvng7gaNiTIi"B8s '<<Ǣw nN%ݙhUQ{dPkVSQV^x m,E1V^0HQzinH'f}V?d4j/@_]KDNQroF #cXX8UxĻy L&xDa| 6N*^9L}\KHk"0ӫjILrCڒY(nnԠrJ_PCKE/t)7R)g,ЌPW۔Y<<)axG]+%-dȇp˜'=qU6!pZ}3SK-=b_)_YR({$8\UKvSgەC} ~ƀᠯ_0:t3 $p W6)\ lr°P6 ]~}ёZ먥mri^e2S*hMfMH$Y]F#%ݛ1? u^]1X+b %~\J,ϩۥ }JJqulYL!hp [޺!p9tb(7ġO;yua .2eaN%3WeC塮FJusbՎ_mR`ɍv|Ic\acEJ#?Yr. G$QBDHԅ$A%; [Dq׫9FZ+jg:nLnFso'~MWg:QNTb7x,ܩ;|!T\|8˾|1S)OQe7h"uHFb :wCS>`@ g`)_iVT<꩑y:v``L;9Y)(ZUi-R(d~kQ sFi:|/ϋ{MR|+ἩY=z nϞ7_υ~ㆨ5Y˧qpӡ,ɁT|(]$# waQcRZL\:{sXqSKbzq-TBh,zQR 6I*~RA"Њ;qE2|L~f;jÅ fJN&(ZBV+=XR7_r 9RǪi÷^83 MbK*4VtL UA@70bWL&ͥZ|yc(_l-欭y3nOFE(j.G_3}Vl812Z s·T>83FtSt{9d'j쐉Vf'$ёOQfz~f9&1fYzog&%;3ŀ/F'+73W VCpοi_z13U&-hM?dթZ=Sz=ӇAEE ߥx8-a*uM*DZ{} = ދS4(˃6VջJ+ʪ?Wx ^~7c_# 7)SM&ܹ__?.&.~ ~/^+L PK6HYߗ cnfformula/cnfgen.pykoF;ŔBCю*@:\.CAĘⲻKB.f,FRٙyk%yy[z)G \k=0 y+u^w0rULA^j.xBӪ*}I/9Ĭ.8\g|k@RT0gYnr4GrPL K)G2Dx|2߳ssLl -L@r6[ 9G4(QrgഄIgxFnVT%0(dr xgc_HUp"/9F$^P15ׯ_\$DEHMf5Stѹy?>wP"^p@h;^"\ v#J1D<]CK81^Q0: !c% 5Y$n&q/%Z>^Og ^<_qFi:u-yz2Zf:GܲPIG+9.+2wbvM j}4a&Pnаd-u67@(Qx,H) τēstUg=9zJ`+\Oxao/y^ -(.,^ߚڶ@'@O!w5~^ýZWj] Z ~T$xbQz"aD{ۍZ Md=P)UcoG^}Z{9J^:M#ŋy 7wT]qm& pA4 2XceLF,&Ь:,xe͊sBh\q )H<5l^(1c(01῕:,tR| K9r(ѩM53c[GCcYoK3,IT\UrNJ )8t %hUM'Gpm1]r(yOp!9X1p&3-FU`$qOnݟ^W|Ҙ;ts\wA|4}n5jKNŸ-nX =0B(6LJצ#bTL9Stp'BX, D1;4W#kF=Ζ"Ǥ=P*GxrWO}\;muu\2lc 9^DKݫZ 'Jm'JS ^G>S|F;# )O'P?(,|S2ѕkW@"Ռ;Q BU'ZJ|şIG+0SZ<]HQW}T($ B;^ƏCmkv`1ǵM>T# |7KxK1M'=s2m,^i{:kOQ%D檾FT.#:\FDlڸ H9dm¾E#>{̣" YRbIH&I &3N2ɾ}TMn+BSR=hk3 XUk@X펡 Thcw NEK̆ +&`S1:9 Wz`׹'UAz t;Jl4+e rx_Cک4;TTRUO]H7-Ldܤ?ʌUOn41KnF~S@dDR;6m Я`W-ac':Rg(cMn"g4t3$HI+i,Lgsxr Ũ?LhFφ3nB$P~mϷ5B /`:Oj)3)j:cp?%)ے?E(|Qb6~dlWg%W`sYZFw3h#;u^:hK3('rog~8;>/"kz^&4RqRp5(~ at.԰?ǖڹ 8~Go hMLTS;]_PvI{}̻۾ / F>1Za04eP>6$["?+*J;(B(䮙4ô9(3hݚrG m5?0J{RLX6i˴W`ǡ7zg &ޏ>g"TBA'2^'rC=u\ǫ@$>gl ?7'1=Z刻rݬ{0``& 0Z yɌY=1AkA,0js1tTakA*X4z 9R|lB2v&[YP Q~F< FX]H="I6F||՜?C XҠr i)'pȤBL'>_yp!V:Y#Wղ&ZsLftsĄ$[CQDCD`/oߜ|4W7LdjIh-o9G>jjz;'6ۤx7uSN:RTjp^^]t;Q,Cx^|y9T]~)׋3&h/0[#RBb ;3فxQD& Iq$cRz Mgh)m 5#4QĘƷECٍRgy])2f%KI.6,ڍ!;X=˳=}66س`|mw@zK. .H!MKS'fSePKJHiBF!cnfformula/cnfgen.pycYwGr@PDR,BZ$;pe* iKI`hAkM^r%\ /F^9{$@HvTWUWWWP)k3F_ G#D 6=D~Il~YDe]Y"+y{Llc"sbpfr =!)*HS8΋*TE&E0../7%do'[CChN)&DoZtH Bۤ4:۳"\؞,^j^yI )[Ĝ#Z-㨅l,^f"][IoM&TZDa{Ne*m¸A9H#I4\wkG~ #%_NW/%Qc-;~{DToĝB*q4P)hdK$AZJ<7!7y*7U~p!!bAMhO4G>OMئ9Xh(l~z i0K~8d>ZQ+9d[$H Z$X4&}ـ$5xU{&նҡZ]޿|}5oBitn/_*?ϊ7F|NTufvڰ!C6RW<x7>ܛߖ[u eۏCMR GV:_bAMKXQI+\ֿЧF!E `0n0xQ+ =R?֏< {~H5MZ)o&iz.?2U! OPZeU 3C-tvnpg*脑 $L%$_?dh$\0w'5N7z]yC3X_[ ƀy5\= vF7Ij Bê _hP.[ݰߟ!t@ EAG*!SB,oV&A/0=H8b8t_ dg޽<ÁJ=9z4afn#̪U1Uj쾦tZAM+5n~VGTF~E5Ȓ8žkN ` aM,P8O8GUU8"_Uc֫SpVktXߦWe>6R~8X#B ӺjnZ>r!n5[6}5kbIyzmżh4ljCҺ*2lv+6fMK:k#MMr^&8/1;RL Ls1{w4B'C!29E93Z@q@ޔ*N6`` 0,ѕs9@p C.`zG'f.2ӽ~WDS\5HpT>bCW3gPVDP Yщ\i1J3L$vtn`yDMe:NOn2 Xn]r]H`^-] `h8|+s0P-{)My;g_#w(("=] Y0Hd>2V_H@c+O0(4KC2e ^+ :Nn%m7X&nPW3Tjyܙv&ju4~66V[Ktrd(OR a2[:X/s,qTNboQGU/~'Q% bfRE; Q{Yh\p2)~GpR5aeu^A$E!mKz|$M0BXzYa$,vr3#?i7lIAJ&vpG ׿ff9eP7Z'$/Y/eF)3R4t: 7IM "E`jƖ$d) 6k2A&V_mL/6{5QtfR:K<am#[ɏ%&?6UB<:mly3Px7ٖS!ޅ<&t EUxF&˺CfT"L&, z`ЫऐE.qHF(LD0 HH%(@pTF, &y+g.FU^mQqlyq Ql 59hRJ4f ͊ ܟ< VODs!K`Zl^p4 簊/ *2-̖ +ȤAYH"νFHi"國HiJv(S:MbKUR]CRy5B("rU+a6.u\Xul 6XE}} >sn/n7 ZMu 3 6I5ِ(Q"t/)#Q6նI 9DOqRK1Mi*|1- v;^Fq!N̍6ZI?ʦFYfY?Ul.%$֋U8ӪYͪ~T;‚W&,t{e(r™Q~{G))bIGE= 䊍n?̂vy(;Ŋ՗kt`wᛈ'YzYmJX=DiObqBW-9jFV~k jniݠY+U.h ޏePRY̦zt iے(R~:tXm: h29[ tQ$6#p&z2~DKaOl`b@2|t'!}m2}o Q NC&3'~ s&Cͬ aϠ?\DVPɳCN o޿u"\ͫm#L3+<=Rim  len8z|Q&RogFmvANi0öDbЅ^L8nyΔsaЖǢ֪b̑t$ЮeU>u7#ʉҝl[& %uVqPlq0 ؊ thA'p~ӯ ٷ\lń7l4oȁ6ĥ{d qbeyd|ϜQ0} Ն!Qy5M@g#owW) hmt6P<3p~?28R锳ө( f0jxdB$LBmzNkI OG{ bsSD4Ƙ&11kWRI![3rء:/T/XٷPMl)Cy Qaa#Zxhд/d"蚔.f{Ț SDՌ[Ht.T9Fat%́/ n}>*] !N)lD6& Tf{( i?r?f/u[effL̲,K@6`_Rt(vØ)tն'R!e2c#PG}Ta޵7.kU' ZVT22 |5,7죑ΦS کTK+)Dq$ 3ğ /6h,`q(; R,R]݉@!)σz4]/^QA܀ P9kR{a/uͪkz%jIo|b/@H7.Lj vM+5aiDg4\k?c7;6= GWrpBc=,RPddڍMXZ ƩhS9)kp3}| :SL9f{9pUY3[u`kg9C\7 wKY+>998f؋q&v\5xR0WKpvD)HS[̎>l = AFvZө3FІ!Bo>lXiخe}]"]a(bFI\笇pB|LE3H/sGl*ϘTFH JuC6[oPXBU+ gFhDf"1J0a֧xZG& B3gqB}+4+ܴ󻬼1mJ; EݐX6vncXE*=aubkOJ_Znq-8z簃$G.rH,<A22Qd|!&=Ss,BAt`/az/^dt'紸%yG; N4PjxѝD ؙHl]͢ ]xHsۿY~wx:uT}[.ZaQ=Uwh$X7vIw֔4@˲ ¨`׶|)*\nrYaύl1oiqI4AխE0@?.ަe݂I'(`Xd!ZʗsbdxZa|$NP%6cMSkT*bS@_;̠z$Na~qgǣᮡJek0@g5؇WJjIn p$!AO3\1IaKαQQ!mWtp*ۮS\|T*f2DnSJau ,}喂K ^&?ۏ DPzcWhe[1Rm {m~D·/r=e*2UÓ, CJd>0ã QZTuʪ[ GFȇGéճ^CƛAי0aB0 =*@]*ܨ>(MuA'F\9 n7tKzU#Y##vLrm&P(qNMv@w`zәi:Ĥ x\59A=끰:v'zYFLmeu6&RE%f*N*qQu}<ӡ`aM|s ěu>SBCsP12=pxFnG|uZ7B0t v->$=zŧL`66[Tv39(;qE4 Ҡab4<ɳ[a 1و/9~nЫ:GoZk[zVam;UVQEçKBk0rh:aT,5r? >&(B)9Ψ"U$t ŝ:UFBJi4u|"IĐ&lP92uNr#U}iA3W}NYLnp}fR՘ t,,tͽ3y'H9oZk^G [SNuCi #sgmy}Dئ g:MS~ZT*Vr 1|eApC67ċQ}d%3ń9Rf@uy A__3:`W+&xO_ p@;7C3yԅO(XM=7)m5a8&7-YQL7|@8{E{5sb컝Cخw>j6Xa*Tnhj7IYS_z>jHAt`$0DeTqCcyn\oSJ^6thݏ6 ˾:vң֖I+XLhBX޺MXбɏ7Ocb=&O0›Q@Ͽ?'Zz?FKl F 48)m;ޱg!lj>H,r(qȿDV#@-B0ܸB6;:qpWv+I# p$)*||ǝbVߣ*ׅÁA׍Ô}5~T\pj/_ͪ ;ehп|Bnӡ{>tzv+jU1$n_!i@|6"qbӫuլSZ5)+zuGq={mƷ X!kųs$pMk+mwl6!imSxJh~ FQS'''jol+z.1UD q[Dn?«MwGoO_ f=/*UI_PKJH"_cnfformula/graphs.pyc|klWޭjCDQ$e*i3Gc,ؔ1pŮbZͪj9R### cY$ <d,G~ 2` d 99VWMcs#XQ,V=QVQw/+o~,/JyJݡ<[,U[Y^NyT^^yCV^Ay#Uޘ;9)oBU~R^{UO5ENfjMWSC dFNޜ;C|X6uΘKӈ9z1uwDEi(ʛS~^UG5*,e7eTw&;i!hQz\=Rjuu;:'BKW$FM;:Jygԇ43VZSY>9y _U޳|(9&;d^ygwOcz L>w \P"\٭{bד$;Ié[J6wFTwqC jDN#ZAeR;n⸑iaˍ}oi$oΒcthFA[a9 ar#i5(4)wh(ߏė<]qs+qi+hQp'~&~O~\p8و6G:0׀\Ewe:gZ2әvuN-؊1ӡtt=ğ8/mypK4F~K~rnkĭKͽ"z8Fl4eϛNAXq·~rm7#[q†6#[ἥ3'-7hoX<7hj,Z3r [d< 1|R!Y^YuqwHE{LiwohHwlu7T 8dzkM_0X~駱1ā"kERcTOɁAƧ@28ãg%{8qQ.-ӠwguV2Ɛ=6=LLwNPe&H_ӪumS7Њo\( N쇱7[wtA6܈"?n6\gzNzư;~"WUXG_{f+΃JrJЭ1*\sSiqǬWR2 l}ytdp5dBbHz ik{颣َSYqN)F0Nܰ'XA緓7ߠY0n7}ߌ"j U.rXw+(HV- VKs>b ^P ;1t#n]L> wHRNS]\q_ /cD%߫ 癜Iq(j05HłݥQ2^Ikʚ͝V,מ΍Y95nMړV w:nOQ]ULX/ga5K@]>d].4p&˛рNp۴=T=e߰UQ0c 7ԅN^iߩ9C6Cj vQREBZއC]$a[sSaxƥC\z"SK1 Ebk *9kV2q # )"w-R wntgB#Jp"-/,64k&ꊡ3&S[dZ̼NoS↳[6ٕ4K\选XW,:&^[K{dC< &&S2ij㷛b/=zJ­5%=]ZiSibv26ӛRi,h٪dp|ȈgѨ-X{q@ISkܧud̀.@UM_{OZQس4^U2@ խ79Nj{'a-:iݴ/}\b-G V?WҵBȁg%=;F.E7] pjs3è]~﹵s; 8 <-YKiMj͎[Z^%A:2EgnJ hMŪq|sc6)_DTpޒuH`. hN 5E?W!6ht>Ee$K fqF5N%+Y3o4x g]PS%e~EEЖyD{i>X4sF1iE#da85R(]_aCtYهA͍.Hhk5,ڭ@B"DR>RyӦ6rT ,IB/Vp?|20ao2/wb1g$."^EXv }/{e>Br+Ff&4#e`j鈤(f?RtJN\wHQsZvg!)oSLgG 5o}">E$bOīQzYCf!Pמ1Go-ŷ P=¦$}E|bg`MB.ի-lZm3^qW2Dڎ69IgAj\+M- 6WcMg bYZX7ų888vLGwcl4M^LTI. c -* Z5;Tː{Q2hmh R#OY=m[րhid&콢ڗ3Dϩ07F<pm:IP4p~E!hErxuu ᘮPM9mXoq6Wn˥ d2"R8˴gc_bv|,VFv܃fkB"=zːi3l})~=3^"axZ{/15#6`Bah<_((G`+`55kmf, T1V7ΰL&F[c Ӷڝ f!LjbDk<[S&mgo۲Ae'9&@0B,g洖 1-~ZY$sF,K QXUF k2y+%?Cz4Z[.N^ Ћj;I> ;6VEjQA7t A4D/T2v[~X6Aar(a0_[ (8J_7-:+Q ! ~Bu;16s|@Ne2 ZRj!`E{Z'8-fՍ[Zgq:Zdsڢ@> &#E+R[hW,Z(T9A׺ eZp<5bɱ5C'3УL<7P <:#L4b`JhQ5CO]N5\ q\S/ՍWUdTm+9>\6&Na4€ЅM4Z'\GʢJ'iNҲgIL)RY_e7xhdWeZz{ ɄY)$2QNhEe1yA] ip3n`GVsDȨ9Wsslfg&CʼnZaȞq/ČAl$k`v `<# z6uXWt3\A8IJk|d:8 p`! {b j4i 0v2nBY7#?&R™t6+14n}t_&1qj~yFq/kS n]z]DNb'+!fLyH Zr7G RcI-y$ 6"I+&2D1+Jp4QMrGn#BJPٳ6~uuF"&Vn˜:e`3( c+Qf4>ǀ5TF_jhhBIzG$vQ{M/Xy&r~r]gsf:yu’ysPyq;nƭysb1.1#ة`pz@x}wUJ&[]8 !cYoƀ$ 82m$Z$ZuD>T3c<*Rs4݁x c3Xa)ZţC(@tt`߃BFlZdx\vK=bOd(~Gv7pf_ܓEW9Ѡ79&67y~<#2stoLlʋ(ᰩOҙ8a!6`Si+8(m3ë06u2eS6-IN5ud-M+*Kq&q=,*ۏifԩ9D&ԞJ=F?bμ˄L r%۳9C9{ RҤQNY &D#psZʩkcmHY@A~e'X+"v( '~> ^tYrQDU/eY_cG%z YP^C%;Hԇ<='&mWN}|M1V6+ @؝*XܖC/kVK=5h4?}ulQY:B*ԄfBv'9 R&.?@*`H! ?p T}g#u[4ց߷u۫`u,M93E3%ɐvmgjI"IaiY>A"^a}O,bԕ^{Z|$ 0(;`e{QlBqsB-2n$!!YQ'x-}=LM~ih +=riIj<贡VvFσN'z`ɋp;UXY3S0js}[&2#qSvG}fSc g6iMN[3";l <ՆU{j")xՍU]̣7Qm nLBA$jXC(;EC8¹8UV  TX"j}|qfPm-Y5yA_P oVB52o-⬺OV)x( vJb\b-iV8F"X |MOE*m_Tƹf~VoiWK}ԎkTmo1:o3$<)xԥ1le-X.zyuͨC, 2;<;x?/Amp*dxwìTg-zZ͐ MA$i5\v>v˜>:KKg\2MqbBAudpoNc|YgTdddۉƺ' rަ*$B~f_jh802u^޳$5$m^]Yg\sG0:IO#qjҏCօPnL#viW0a;0JZd#z k`fmssDNOߡczY_PYO -EAk_\^?" F SbwR z5/e>eϲfXx <u~ j0m>7}D =؟Ed~֬=AV=Kkf?dI>j$zfJqqF`'<[COڒx/k=H|0ߴ:cS Ҏ) qx3hxcLA;Ff LWG0~2wFޜ-+.B{ݪEדc3tL*b\|h߶ 6_8ww_?i ڽi|dO,(Hva4bw^H_+dhIi S߽5 Ii/NTPV~$Qy(uQIzyRj|FO&4g)Og+縼٬]6#dV}M\pvrRO>I}+yx#PeX->xNm#qsiuᴃJ"l_!,ׯ sg> 8BgKݠ֊#x'ƳdWHް>{:?35Oک+)5`{;$HiޑHnp5ߡ2yd/^ItWePպtXFV_9n=Eq')Hty~ҳn3氋7j4]&?ڮ-,9v^ZZ^D>uY>ժ8 h6|TYD@.5q}uۻ<8s4jpD3HfFHtD{f<l./+匣0e SS֌uF6 QlO$ Hbt2t \oLi9Yvf*4vCK_]̣3dx جJLZ6bwp?MIz_2=t U2:%+}h1Yb$t.җ=A(ŽҽE;@؏hfzWҍQ n<` H.1Y]QB-?&U>tö]sE 1|YΟBEUO+eqM";HfTt]kpGk9ľz^! `Y=/TsJjk8y!y ٿcC9* #c1;N#ֱA\ Y)+gG&p᥉`l0W. _BapΎTTPKJHAXcnfformula/prjdata.pyN!} Ma cn E:/hҷ:dؕ,`wι M^Y*S],~r#Cum~| -r6#LeVpq)or!(Ў'P_Piҳ!fT ™QE"(O-j'||(!fB ȆlpChLZfle.~3:*o/cZ i_}!迓!F)O\WqH{PH}*u'_PKJHZhcnfformula/prjdata.pycURMo@ RBZ_ 8QHKUf7hgߖ?YLio<.Srddp2ƒO ̎MO!AY[x?xY|~_nE ͌2lTtz-'h2edAOtm0/K8ŀy9_|ӷw @2I2VT6*);W1Iݓqݠ~۞yգ(L޲F D.в3R M4'Ca%(j+Ѳ-oVBʙ}Vu~ f9ąꞴ,+wԲ!m +G"ɖK4 ֛4ޤkQ',{?|G '3Zx.݀{fPKJHSK&_ Acnfformula/transformation.py[oFb+0SJ:sm&SERbC-U> ̾TI+I3;;.G<"Obr<eJiU :϶l>_We%]l'bY&@MK|<)oLeC{-)y^fYZXf٪Z2ۂT1r,ϷU)zG <:˷tek4)J<[qUYQ7e{.x~}Yxcp%'+vł,wu"b3we'd 6^t0`.8ˉ`+ 4㭡0Z_JN+À\|<]GHVBl2Llktba_V?Xty:&i59P|SuG+):)7lq.;ok\$xKbr nZXq;e zIĮ*RYU_hSn+\VV;T T z%rM(G߆ hϾ'3PeʟgϟOAZq#Йyw0).A]lB%0C Ԥb 2!tcxlJ/HĎ &`: Xf Ti;ʕȇB9.pX O'кNѕ2+JI d/]CR6E2QS!K8g KSz8/M-yeuJ|v]0 _ɵtjIW.X=9;xw-$]E(ʤ`LLH8QJh:6{}m|3O"rhRxQi>FyQxR4pZ;WS+,;dJV#(ae0 z-{m< %+e[(ɴf+pb !dԿ%FYԄAܷXͽN&#m! MQ*Eu L-fY%ɷཾM|F3FKP@K:CobjaziqĤR6**>;::OK!y۪3- S|l3#Jx@*8Mo6^qáp[J1`T=AW鳍ElT<֣kuX+5 D'P@ػ۩9@oxo5<gX Z:$r\g&36<~@z =ʹ1m!ɬ,\E>Ҕ/K c߱q1N t~(8_^>E 'YN{46(sT$ ja!CsQE80M G6Dڳ*ۍN,V{td>Sr]fRLc>E^,pYIS|47H$-$  ͈8k%-Xb\ =k+,vv+-!ֲCrEm1d\1'p$Q\6>RBt+%vf3SKh#jCx1jCPaREQ9<-4;,N[HYm67!vD&uMdŸ9Y@cCЀ>HP_wjoVw"H@RAo7\A-ӑSSGŠO a9oЃ1+ad ĂP\^Wj0s] @ѡIr)\-##47Cm:=9'M|=@[И^QF{/ދPu`_@\g4crd-Ԩ)VFC?~ӧ<3j6աni6nllrFp wޖ4H4!%1oz}}]ȭ,'$6`tӣB ^KzG`~$yS LmH TNj s^臂qA҈Q~hP_oH!V[pzz}\>~K)<^OF~I 8靸^)6!WYwhĭ`ذk>q(Sr*9T5D~ J"(p?Rb| W/0]#&a%TK^ "P2Qejf։QΓI*y@)ll/2kccP*NXd*9G ?3la+̱[!;ijEX.8ZТ'5N4Ai bhA;t@Ǚ%JDrĵC]/3aK|>pd_j=ӊn⓻ ^HFQ}p nݙEvט\'7_1_~ܱJ} 5O4mlW]54r qg\ z){g#Dp%z.ϖ|U0_rb=\#A1]P"%hec'%3y2uƻ<VǚЊ(*ƴQY_ OۇbFtֱaϖ40Qݦt8i.sYϾݤ o-3+G&^-;fQ~]j_ǎPf>J@7=OX&/29^'`gjpHTp0ޗ)sY ޚl\-փo;bfPי2qΛ!@"1)Sǹ]*po>ItqeQIkfm+Bh eVO>c]=EAJZC=o8RZ@qI6($GLm Ow2OE~dp9B|d:|+)CSS |F*Qg1^aKGv!0R,d.ZXtrXz=j,EjoJW5 %iA^,@z5 l girl\n[I0ejL/`Hwl0,(#3اR @w'ztEV,DʹzX^v^0~X:|ٵ`}jygؔL-NM\2.!elkiUł-|MTbq`.& ȶkEECnPZo3<˃[Nj)҅a6vң[m/Ql6U I+`hE=/I<ɯRPKJH|]_Gcnfformula/transformation.pyc\]luwfwO(XrUCR(1EʕkQRdz3K5;VE""AKЇ>%  v s>@9I]J;s9wo=g{%&L}q93 g˜q`|ULlJ- jf [ΰJ[bn eifY3'>f.c/091}l>dkR]9>;~;ssɩA;Ȝ!;s3!չ9挫܃:w9*=ØXMex/䁧,G5X "-Oyb) $AK.j:R{)xbʨQȌ^XJ9߮n]|AJa )<%-H:֭5770²U]Xe/ⵙ ~L[%n=K E?宮*rS lz;A"1)Ghdy|LXLz(Q1EI', ѧd8q$_1dPO z9KH[.g U$쮉9\OaMdZk AQ9LSlaHJl3$ۨ"-qz?IeUi(` =1v{B<=>5{YwP'.q>iH F77xr!9cWYmv!2 F:=Ф"d7> ~e 73Fa[_b~V?/X:'Qր,@R;q] ;~%dHG%e[{nyɚr۲U V]M @Bhg F7bKnV#7F4\|s&6VB N@JXK0 u5/rlˇuEjUD3x '(ޠg.qWHu-?=;uz)+?}zjvvfex.q5ZUi#Pbw% .ynf b^C`(kZ\F$FEq4 c *jC*Ո\͘0!qr qZ1h,Roσ ,;dŮӿJO+(MKWN(4a_(U*Fe M} cFk+q%`v@אz3 34"jbI$9UTfQb!$#mvQq YwTӕ_Tˣ(軁0yXZ(" [甁⊛uosjm`|/ؖ^i_bq4Zլg ] NXIFQMCC{1m*qt 1Ce'D!5%2q2ssߛ5#=|x1JiW~Sl=W )u|I?ilyJXRIDBIUfmb;fG5Q!MAh*(H~&C58;u-? prGaG)Y{k*ܻd #*6%`5#,K ķ-%mR_ݶob_% bb\U_@/ЪC9*)G-=uOg'a vz!ݎ:XR[L3.S=%! mta2HK } lk 3p(NJq$4zP%'= {.r sF#G͜ kX]w {E\׆Yr9lrE wj*vUkMwřсP ܀ .5U } t 5aʨ.(8Zs#J&RX0lHQChP|8,  A`a)8 Gq$ ^deX{+lJnY1N\\֍lAʻ-h^&Cd ˑh(­'X)>O b*$yqRu`7 0-:pŴ"2N~X b-/MPciIAb^Q:W#GUOQmBvYT4`j`k UKO05H)׵#8ExcνV4]1P蔺O22ot65@ѓ0\vN Mj $DeHR8}68̊N;_51C[8Hפ"a羡-D'_"Jc wSPJ_m;g?PAzaVq O>s?ViW&ldvt^ 'ϲyn#hO<~BHqv-voѦ15DOcZƴmS_lI m>5+"CO+:FTKRVrL azc+maGڅw4]ʺvl] E tA7ɨr Ppdg4glH??p)wXG }u;|m{ӬioBX|_#M&ũ0Q 3F8nLf? h-/^*P2=ЭB'M 躰HwC:KH{!݇J,$9Hb0"Hd;D(7Q;Ս(x,[mH?y-5?i'IH VWiǺl"֟gNzjlƅ=a@Bڱv@ ~bSXtE\5"$ .q H'ѠOr蔮 Kdjl.BjlЏi{.Q@fuZ1c2=֗رﱱcGNfPK6GG}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/PKJHo cnfformula/families/__init__.pycTMo@]!ЈRN+P4i!>J+k{,]Fc8Q;?ƎjJ#zޛ'GߓOhVB5B))D&ot2(xtsS|U%gFCuYmr靛UKWCOd:des:_$ ;}F"U"®D|MS}q#.8^.,jg 57áuЁ2m3K(\|)u(nuږ@ˏ>! ʉ5* Ad=hVr]%ϨGT֞ɥ*WPk͊G*_B@y]W"*76BِLko; Yh2p=!> <Xĭu=l0CՏЅ<~@kRW'hxb>B^kSNWpr`|-|>i'bԤ$˴՘e Lۿ-f0d'8>mqᶩkIrz=.P51"v7:OY{8귊tEEESnuݨ,6ʕWtzPKJHnT@cnfformula/families/coloring.pyX[8~vj¤aڇ(ZvYVu5:v ϗtf%HMs;_J>\q\.$yfRYY.wEF[ a r R"YF5K^櫌zkH"k>\5k})h"ɅҒrOwi+Y7csIW,3q(Y$p\fB$HOXt3TLRGrl<*jH氦WeKR"G*ZJ,X8< a&fUF wFW0H#že{J4.kc"r$[ ֭4Y.e3";FO&?ERCtnP|n.ˑc`bBï!R>+i%ݒ|mڪLkNh&f9xC7̙v7XBpV  "mlceD٬$HDQ# '|5? .AH(v+&U?LRڼ8c >]tMB͏} sKx+| !A9Vq* |^†OW&oɔH*6,\*rl5&16EY^Jˠ_ō|>M۽2gk_L%@UaN;Z귴GUP%*u`axhl]MGѿn5(gMmL;D2ysfZRV,@Se'Q>Ga.<%@fM3Y[̞,ݘ,{6wp בMv!m4ߗ&NY]γX CfUzOfh4p=Bu;a=ZED9Lt 㸘 ESN0dY&#,{"_LfY [ ,c𐕐d,>&՚ i7#èb`3JP'k]T*qQ֎cxIFވgrSg`jgaN)8u ʣQHڷ`B$M.gES*&(C!|8} 31[DplsvPW9Gkw=OzM˯ LdtdUD .4:a}1֘ffu|͚.~8FudPЍOD>]N^Ə76@[  /@`E-Ad%Q2DSНƴOATnU۟h3ABP/И _wρ*C桅fy);w&]6ktel%iI횎4$PDIm7U4*p{iÿ{s ߗQ$M?Ie6au>UQOؤjҦ*nt2윅cs8I$YlpNK}R~IE:pa# ` 0t ]g^PCv" "i~ f]>png8,qhVY28>LgX ^a neh H[aMћspXiڹ@[Oq >GIC +4gXaکh7'D$Ww5pKk8Y`W(W>fY_VLqNswi+ <̇p5gۏ0U>G{4ꏫ#f-6MxxfB}DJǣVQO~ђryt@Z2tCgFo[!QA(rŽfFT=)e8D"2'#(HS>~b˨>I$E(Ƥ^9߻dCc(+~KiI ?&{2Ġ'B}^mɫ[5XhclcޮmX.0d)~ׁFfFfFNwJ}ue en/#dܒ]y{e:p#hߣ*;b( eg^\s.f s,hL\Rኘ㧟8(Ә31&-BYdkqRЁ )X$H\ :HDD_]G |4$=$4;I$)zw"mR?|Df-`*Zo1]!#D[ȏ']d4xO6_`d|rq 똡j1&(| ̱ R& =L]9Xa΄=}Y$D3k.Jx~.[(wJxhB,!PTqIߡn(-zN"M'j$XMZ$lBNX!~q;mˎR)}*|롳g$!C,&1[\ƽɸ>s!# O'!7Ey-ADVZ/_rBaLw1PL n/T ;{'I",>#.5ݵեpJRFU}BWZoRvc란*n>¸j$UG7 쑜@Mbg$Ĭ80R#lFȭGcxX=lLoyj+ Q(j¹]خ;5,RG0ZrcJ]@%2`ʭpqiEСȹw Ag Ad% ˆa82S٣`8"+43 4w #a`;nȿ1/ V+@`ɤRɡJORoD]ѷ'h0?12 ޻B[A0Y3̜=jTr1s_f n Mf/ f7 u$~i/ 3OC>9PÝ$`z9șqHiZR93'nk'*|d8V!q3B(\±L4!{ロeyX9lQԼrZ#u #u?f9\&dxS*j-j~9ߦNn7vd29oR'ߜF/<"œ]+靐oHiig?xΥV(IJiA<6]Y*5(yKre#y%׿mo,":ҴXγVE0dV\&\*ϩd[KLpK5]U\9K%V%j*رJeq`v>q\6h!SL=횓4g( Ek&v ٭ 9jц }"Vj+\DHb5Pygƈ`pcϭW%ទ=!Z!2P~1GS1^f@pR/_IXpgے43Őt NwD%g慙Ծ/6!jޭx)zvO/`*m5Ԓ&2!Y5qū0&>7MϸL9ɀ.ƭvmv{{tT*;'Pd1^JujE_w1- .K k01#MmD)wl|s jȌ܎fGdz;oOվ;4GqXZXRwU65#{vt_+bb'L0q4HcK).v)-n%-}=&b jaTjl$bxg;vfeT pjLņq# &heq**'#a###7*oa7&<-{]nwm rCO9oZ<&_w '4A8ۍ:o_i:fAe"iO0 pgk ЕsiWEq~JI(#_]a,sjFapD" ς?}* *!39`'Y"cXyruui'hw"L{s4F[/ 71 ضčZ% ^GÎ2k{Qawy ͇Sh~l 4U MۦoHc rp$4M7|}c?xWv{x#S4zPKJH^T cnfformula/families/counting.pycXKsI$ZY/Z# eC0kB Gىж[ݥ1J3ށ̬ڃD {r:둕/r?|*$@   -,+Щh|:UW!A\N]5߀NCuC!hoЙb; A l177=7s X`~zb8X_+n YX3HB h 2=6LtCDqW$i{I\E"TXF"N^D 'g0Ht2$g  xf؂E]_IE+嫎0Ч&58!d{:ބQU7`TQUÕ$ǧNM:7amp$*.:o0n黠pIO\ p>x_1-俐<ЖV=a7|zt ?DǶ[61,IF8OLء=3V=2rdabK$(kxGYwH(wݰ=#T }_'QZ>@q;§a Ҋ$q[Rh|F d›PA A*:cUz_ҖOsE$ LJIoo=\A8i#Ģ3i FO"3|1?Fr4 `(jǞӍf6EQ(fl-LxU0DjMXSFHӤCS/^ 2Eȼ+j1 " [W':s逯%d\*ET _83DNϋ+\T[jI|,Nx tA/6%clVn79cZ6o׍L3ɿOpҠDT 2} U"pǘ[Za,~$_#vJCU8`G<V#^JgxuJBRGģipoB.+ձ#K~z/=並ũNcJ&$ۯH0 EP) +.XFB%};- b4ve@vk*LjAs099iwhsՈFiYrsWc5 H'=2C 3$i t{AY(CIEDֈ}R_xppj`iyѠlfPBuQƭ! {aTn:5aK}U5f+['=>`ώBy!g x\('XFctxRJrĢge { jR1pCZu$3_dOvl@^`^q@ѿA Q᠀+:~ qn}?yEru8bf9%jrQȯdI7KVl /)U)D#Wo |oA);W7t-o$BD[*{r\~kr 9G6rxzy~Cͧ<ݘnz"Д_||-.7#-sޣoC5OU`g\63Ȑ'8Es(S~x.Tou\i #a{km{f͡)E! *舗9\!{vRi;Wb5?O`N~bxNIZ6>w q@U{J8lzn<iI)E@?VjM]{#1 :o׌+_PK!6GTv'cnfformula/families/graphisomorphism.pyWKo6W:ȍ> l6^BKKV"Ur!%YqѢ47/UeR+.7P>ڵ\~s J\]W6h4ZhVAU(]Ea+V)]T93V$2ނ(J-|Hs!ys,D#Ju<+.cS-UL{+D.QkfUcR TrVBIЕ a"0V، "SW-sE JK=OOO>Oϣ@35X ׇ-p1b3hr8Ok0`S\j9KO .b +Zhți0# _Y9ԎNPThXzk$x~u Ao\ܣ`X(2箒# IJ8Oњk$$ mD79\|i}4 |KPᴴ/5dB4ٗ t66kh9a,lnDk(]"qaAc/{? { KeXx)oP&9 ?t'U>\Ή{{A#gARM qӼÇ=G '0 c@Ǔ~Yu>l֫sN!j$Sqt8] D8" F$DRΝ;C# Z,4q9v{ w40 V6P ?U;˫[DhEv+`M(j>y[ŭއ҈ o*,{sM;`gQ@6Zlˢg.hEW;Æ6:aBWu,vf7X"VaeUwkR ܫl/}n\/D`rt| n509c82J#+s/q8 }\fzn,_y2\gù\n김q\ӵtdJ!M`ب9diԏ8$3kiNYWALhD gn+::&ч f#J/,H UfO$XV: }" .!1:Mٔ"IHDW$;H $oe -*"śBy2JQyQV\^0SAM610`mvdt'P(힆Yq"<_)~O޳,܇f^1 w/Q< BNdG NFL&0 >fg& Yyժ5BSuLA?iu4a )SVgGvJؙѿ:6t:U:k8̩G䩙-8NL؍gYGN:Y*rљ-lΣ3~嵆; fL=ODZyk!gG?ݧ0gb5cv-x57cw8 .q!Ժ:M#E7.SR5 \W Iz"/Йb-E6* PKJHo cnfformula/families/ordering.pyY[o6~I.A͆iCSDL$R ^sHJe Zwɓ_Z=r[RB: Lf6_y C 1 FJSL̨F^odN1O0$T+ʜrQM})4M͊%&!!/)Y.`0PVU(V())O8sKSkYɻ(s2e$eNDYJrzl~țgokcB oc zDB* [rkEtY`T@)U@1S*A,Pk߆M8ђ$r,qpp-pSМG1=<Ǐ}?})b T?wodJkX+ ޓ]|ivqM2늹-R?=c#Ӊ o+>s0A [+ aAO}kIth[Uj1uH!&Mzl 1(Dkp(8`>7+q%Q-Tm |i:df_],S+ _P jhn{5x a^Auq ȰIe0l'(:S޵ @Ͳ~5 2Y@AM6Tsgc\+RPdJ;nP.Xg< yŅaM*Ux0 ,,F^R\**,̘/# q5@sVdC lxNX s.1| C`)|Jۇ@ATE~,׸=j;pQ,N0҈iLJ@XDCmOۚMC#gc2Z{؍yp"5ݬj7L7tE͒MFd[kGxKْt<.|lRM0֤ӀYu ¸C 8oZ*4q 㲩;о@wuNh6H{o_lcF ]N!rq^?SJ %fݕxfL\9KE77d_ +LFlǾzB!?ӛhp&}9[Y]y~^7`.Dꪗ{s?-yb ?3y `&X|)šBߗht&/ۭaT4cۡkfۡha~TA?LE=jb~~/?+̕?=wm y#t95p:a7$g0،mș13_cx3Og~m} 7,$ie?6ǘcum晓fkS_vY<ŞqYf{:T%D06H)gSCń4LqZqa %00mC8FN cc;g/rX+un&`Xwjdw~xm'ZjC=܀~G.J= C:>5\ /Κ1B^p% [AcW,Bݳ:A#F=7 a3"$$2H,6ƕ{uC_UwY0Ʋ7rr.o V$quBcvBdXcDN;r(M\T.2=x[>_ƖcnߨÎgrho<pl?{ ͓,|D mj{rMx1D+*NGO¨Օe>8n"SxpPtE6+]Ne4q={qv\z(Knͻ`}oi4vmw7-GI~ϊu8\d4aX%O|U`a4T%q췔EVXc 6)6Qd#iMH,4nD\d0Ne |@ DvYD d1>j: 4H|dA:ګ?ƺwXohAʃ{N dX/zy| ymte<.\gE/,O ~)B%v "f@IlL5.0pxmt3=hOX<*L|G|/4I`)xpH`^cj ."gzF4R(S{G@bł 0$3&iC:ČJ#J#'2}M9>ԻڿP5SA~t(#~?Na$+V-a~y\WǔR~P78r9}#=YD0; 7Ne~cOrZcZB/P=p'ȩci@ss%Iq j~`9"PYrZ)"‰=D=19CӳXXuo%hoPq *# ,y [.>V`0v w,aI c*T9zRhԒ1ǓE (9&QՇQGQoZ`&튑*W9,$@#l+5q[WbEYI(}&*f>v\U9}#BN/2U6* g~ 3]$h״Y>gy6,kGR_Ug$Zj *Z7-!6UjS zRzNmfnSmT$cyn;$2ѨOyta4,<4ԄcT6v$P=:WUm!iL:"tH UjEpy2L1N& fO1"MTB43B4KDR2_ud_B|ú#;m܇=ž*iE‰3fK/l /0X@FwOYfymb[US>R--uWSb^#ٶ:())e&![)|"h@U9(BuHWu=^cĕ6R' Jis+Wu7֍{u2+01,e[ 5c,*˴ Z1n41rNV)@!+#;bt^GK;m̠ZʕWg7b8jVd"@yؙ7ѣqXuTm"jq+&s2@dbP6!27%?AトВ!B=~¤cҩ}ML3ܒPϩ:,0RzW䗢èp)a"8$nr=`LVO. pCg?L^8H(B] Co7G 4΀Չlԉk tRT`NK+$/Z +k;VөK`2ؚv !3qȋVr|aȧ\PK1w5H>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@+|M0PKJHX# cnfformula/families/pebbling.pycZMpGV߲,;gpy-%( v*ƌ (ٙȳ3Y[EU'DqƁK+7n*T=JQrDׯq_?;?{E"4X)C4Mn  9 T@YECjtPâ9"GT(hQhqXyyJO oD|L,M 9)0{GY^y=!iM>WH$רl)I(-+mHe6c?t}dmEq8II"3V;tAB~ͲN?zN=ž2l7e줲zOƩDbZvS50JwbO[Ycһ;ƷeВ-C駰JmC;&D4 5lF[DK NttuM*eajyW%)L W4e 75jjm?.0XiEH"W,G ܾ!OuPSp!Ҳ U_|717 E lS v <0v~&v&ϘC#!v6:Lp\ FŖ)>4οE:ԭtQ(Oe]d+ v>MY-C!IR+E?נr˱ZZ06*OU)W g5@ HC9_krKBO-? K#+5d*JFq,VzN-ɹj\o e6=\(Ox\ ͓[~Hk0(g Lfm-[ TJ2TbO(%n1'>0add_Cc0r[LIeޑt2Bd.e(w[@dfd~ XAFQj"T Yrךؙg%`csɞZQ3%ti<J 2c 4Qqv''`h! X:m19p^ns="$40XU  %ψiՓXr1R; ϞXflV]L'{M= Fō3Ta9nX¼qќ5^0]R.eS>gVw_W48@Ss)G@! ..jQg%2PFrtDz7(js#&(rĬkUY"b{ȏC{6R k;ZR ]+j^Q,΀\2A$~j0 ' ,: 2 SY΢H=Oalu zn1Af~eע38p1X[xvw}s6hЛeb%aj#,@r,Ism7q"cmu+šLuw7!s_#"QHa7Ϣ9H[ ^) I0t"ZQ%b'8yiZ=ˉ dh% T OhID bYMc&BI@UDoBmlΪU⹵L@X\ĘHmd+M}]~PgS) J#0J0 9n?>wNe'7BD@Hs˄|otNy&+3UÚ7Riɳ{ ۝Mu^uv&qN);ȖV`Y-v5iIIc^V ԢTf:O*>ȯ] oT1^ݰ~"+]W3ɔp2t#O #}sUWUEUcWfb)YU$Hun$LDzuJi9rE갽91RlxrdԳ4V^]E@;Ě!ds?F9O3SR Eu^VT` ry9 LpӜ:UmZɖ Ī"C$lEAT9P*gRNپ"v`!f&j:+ѦeJQ |leh27# 5*R^f$ȏrTOtIʺӌ-*BW*62q띊u5wat`ݬX7 w+m?E`_X;A&A7vl'ݯ(Q}0[E&vL*@{8٢d_;eWH }FÅfDo޺n5|!v{}{ӎ5?t҈**/]x\[îg=gT5[݁tYePչ()J\i͗Ǧ#|mB6n7ZyUϻUrؘÇKNF%C%Gvy};LV:dg6MVʞ:(`C꫆c`'\V %q#߂axR5vºqCh"@ de}3xFXͰ +y6~Au&jh30y+F X ?qr,V>&}IB!7MDƛ˖z@zDN+]x|-QUsS7 #G)D8!7`&Huobu-\*wK"-HL(r"׍x%Fh1hwȜzdy;q=!i|ZD[8@CWg}YƷ0qnsM>T BD%1~ 2*~'1A>c֮ZEtW}j!z[2s0GYKk#؂}8R ŗ߁+gN9@էC6 nU9VP`ƳǠj8sŃP)?"!2)o !N~G c6,¡j;_J.{-u y1ro2bc/{>+٧ơqq$|$<*MOa(xHO7<փ7CZZq zL!GH?+h2T/YF 4(;T&gG쇽 oE7%]'28԰fPV﹌C [ma-`w 2UNUl )UQ$*?($3D}?v~Ӄ= 8.;!WZǘ,󱬓dUUT`J(zO h~5i״s`>]/{*.^TEs0e0)sR1slpdh3PK6H3T*!!cnfformula/families/pigeonhole.pyY[s۶~ׯ*N)%r$JǧomGHHB[ (HB%˗s)!Ň-K]7 S곧&L}2m=񜄎H..ɥ3w΁RY[0a]"0p+=mNHrK#-vǥu\Ia o5&,*fXĩ?!X,V?'g_6 vѪH]Dz`oԍ3WrOݜi fب{u u.GV~>[@ʇY.~N BO.'lTk=2}n(m;8lWjVvoW N*(^i 0%0+Q`, 6Pk sE%A\ﴐx_镻}smq|`9u,sdRG?(h@߸ߢPM?* >$O;fS (GVÒIkU дc$"='(Ia&R>~ h^NXtEGij-E"a74"]TAi|؎NQE}IzՎ>`$cc,!P[)`k)-?o@@^{vˬ)ƀ,'E!+qG7oK!`{ _d;Vi> U%%l%}e @뙖AZ*7!gnb%wK?fK/⯯ pߡmtkd<cd({&8ݮaCM`"al«#8 6jvNHe֘#:zV/tq/NQD{Tu%9~g}9A& ,(I.4X8pt8\7 fԌt9KrrM& (bq#RK$&Hap% yW0=ʁKOJ* P#7y4EO'8<7"/ܗyh= Ջ FىZZbHfCz,k'|֦h.fee|" )s噺wWDʼn)O/v)ffsp7lEH/yz^W~_OQݹ>{~! CR',+kgX2\ |jzy9J7$\e@I#DU a H5|MFde[Oqe2hAwIF_Rtd99=!Du@48ws8,K*\v8P0e[7J9[< qE#ܻ V]*cǗ40 Q>4MIF 2!hJ?gUXmb+٫֧ x\6fr_)U޹ɬ6Io }T9<eEe6؇b\<2.`( q5?ߍ7+.$ $c;f ֵ HR@ lӚS БܞBp: ~[sҸNxN[] q1n*XDg2m 7EWtvbilfBV!ֹI 籹q#j yprb90X%ZEreͫ4A_ hBF18m[2Pt~3t0:>8RY6>GxgAkИ#ɛ5`1h/z FJ.y`60]7 bQL P B~a@ f5hEBj U+iM!ÐuE3a8bon ^myezkEwnәɐ$~lFUͳ<{@Mȑn ZC6&(˟'@ )/!}3/i92XC`ͅRP&D-3 1 W ﱗ:鉞n>4'Њ% yzkǴɀqhfe*ؙy?t] !_A皨8~h+ H%lxHpA?kElg!h[8`v`0SK0`VGԳyʪ54pl"5!FMS'QHkL@, c(TЗ* EarnTi^33"Q$O;,mЙn䷂I+FkNY1?ڄqPK&6G4^^ cnfformula/families/ramsey.pyUMo6WLc,,mdE h{K^Z٬%R%|4Hrd%`K"g̛!'_Ξ->C} ݃_L`~J.z_Ͼ䪼kc۾jc:|5jآMJup+3$I|[QԢUBQ=;+-DIqÚh1.V%+J9[b&'s鵌So2HэP5BT7k3]N|2ܾ~W@gءfB~/ܮohjԟ=L4}KUE V;v5 %Kauh<8` ЧEPk6y'#S~ ڼ`B5-"r/0(/xis28L?nUb tTe+bsN (cc e6;*}?{+ <=obR.).~ϟsU§7 2-_{lvn uwX|ͼr@qܤi~zQGU/)KY7 Mz-fd2*n?/@H_TB񜋪sXV]k`4X6#1/XŨ{=-Sz:|JtUWsi]gT4AU- #sg1v:vP_,8u3D_D۬3Aj#dP;g{CENn1APLsP\݂/tꏊI6fl} c/t>fF#j$oȔa>-QU$Uinr_^8ڳx^nr,n7PKJHU' cnfformula/families/ramsey.pycVoE=N**!(<A[%t]߭uù] CyE;)R8ƻ7u7MSc|OHBR؃*ЫB*Dukr5 nB BWa܂2uT@o*A}xfOIbﵛRc8ikir:։->m'\%?wuK(Wi7r&Ml@ |I!}r=U ă D7O*0`|MW S@[0|5I~lɡ0_ìCtIm-V\8xPxwxBH +B/*eV_ZkS/H R&6PrEye2:YWN%$Nx)gIB= XZN}9s;Μ oWtI5N4$zs7sqiiTrɈD q#:$ sxU$?>>ޙ9;͸L-\v y׏ uaf0̨~Ȋs4 ʦڵ !z.ר^*MHqgae*f: (!l#E&NjpbpݝM8mp;HW*6v;6ٚuw_/t &aZȈ$SWbߺ)X?[y\8LG'$ib )xNz4zB)\rۀ^2hߣ1U=2#60:y8 /c$0HTz }ChƧ" vK " U2==%ѥ ᕁ xNTfuҥ2JU#P5?]ΌSזvtG J}3<}"/]Ha޺T>lwu.ٵH MW8%U`1}DȣjdJ2~Q򈾒Qhżwe|Q|qfO N*Ҍ&֌:[QE4k] kΥ $.L6K%>}Ij=N`~b<|?NiDo45yGRn 3712Giݠn1\q4#F+uurz""`%_-Q㐪1}v7Kp>p/ -Ey5o4l~QMyzRu3Ҍ{[:,v/ډa:pX~^]*]{kފXĚPKFG%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>PKJH S&cnfformula/families/randomformulas.pycX[o>ëHI,ql$&pH#j( +jjwD.jg(KR_P33Kʱї s9s.߹V3߆-? ~j9߰U p \W!BZ;W[~ EB3չӂ6DM̂l`󴫇GxG." nA'HM^V,Ӟ,1}?Ȣ<}=΋t?Ӻ NXiL}p)`pK|?\-6I_-`5q@2O޳}Yx&XI/V tNby^$^TRinĮWQ7o]^yxJ;qv(X$'٧"  k:$ɏwx*N=֚]~Cy!d^37ʓ+,(̎66:15686#d|= \=\gZ&c XkBأ~O a&.tK6ϣ56cgeiLѩʂL%$^I ,'0*W5BUΟ /kdC4x ur |=yOp9Z# \J4igwc$u#{bC:܍Ib>ЉRq|7Fı)W|&s7q(}©td@~@,7 r@Dtd!ƣD2*/9ǹ RgKG]wmF2St ,BU(I2yn,Qwx%+rjuߣ$ hWZb]veI,j݂KkF7%w*DŢɋVs9*NeG#9F#<>"!wt9B3rr$]bCۄȄ]Faч3ps6χ%>fc- . a<3py4GǿC Ei2ęOkocfW6o7D6ahRfH.+r'yjץTpC:[Έ BiD -2,XB$FtEN`ů8pT ^5(R j^APުST'UNu"J!l}J=;U7$"M{8_|矹$$T$sW3E ,f)~.ԐaqL3{{__3kXQ~8y[Y[GQYgX )V=}/?ő3lxꍳ`qޓ8^Y*($n|!oz 2Z<C£8bqY֩L!H D¤rzՋ)GIB~nMP`6~z[HpfͱLv}a6NU\YjӹZcȏpS8MVm.t'9ݔn@e[gH!8 т1H+ 2u\:>N`\f&}Xfr|lrۂ;и|.k4.]Ïbz_,T\3.uꞨw{[y4Z&#Yo?(Y~I~~]ARA $_ noT\w*+OSi(r-N-ߡibUp:pEI;pg%dCsڌVv3Sӭ6ONMt4 sL۰=2qZ(xKPq iڥ9lCkіg:=<89>*,ѥG E56=ggٶKkr c,Jխkow+W`΃o$)/ϣE]I\+La)g/M"j5UڇIqYs0B2$*B_r7BxFk4KdnJg-GR{_av9t)^gzlc'.i_'""f1JcZ qGHaĿ: *Ө6ܨ,vM65+e gP]ǮKُ07SO|x6M#졨 w¼s{e'X7b6'[⭁eHmuj-='PK݅JHJ  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"OPKJH} g[cnfformula/families/simple.pycXnE];v8$h_F"NR@M+!Q[ Ancg0Ҩɯ/x ^$nZ*V|ܝs9gvSsǗ]^e}Bw2d 3o]S藄We`JTCԔQ!vN ;]dբLc:)z c1ڍ:I3)_nȰ'cCFг] |uֽ̝6gOde|n )hBnUXV}鹁Hb [׳qbM!Q*7>]쬋 7IHj,TdU.L4ݘZ?i+=HOx|Hâsl/q6eh`Gˤ!u(vVo7hq[WJۏT^@qiPcƮv<^`@S>ҭ"q:v8 t V GM2ݪt^ZݕNRͣ؛mpѩdLJnw[^dž ԃ8ў)3 r{ p8!M}8.Rǥ˘bt3BbRkf 5aހ3Y]|yF vme(%cf0H <{1F#*N$CfrG>l$?[͹Ѷ稊F Zί|ēau!sew}qo' Ν7N[aɭle0ȈB&W+I' tg_^xcxaf%-6Hˈh/ 9aүW/Wn&9O qhR3zfwUl 'gq:=EO_"}t^Z>ýbϧsvoFx5 fݬOon PK)6G[cnfformula/families/subgraph.pyMs6_"Tv3NqZ (ۛ=IiÃD8ۋJ+.^0'J18'oF$Ie֣oqapvvϢYKA䚬*jbԐt]6[hZɂbJxQJe7WEsjwΐO,/ N gM s{<9/7L)s]Oe* YO fTijM fݓ(e+J!ake=+]rSH5ؚr8H 0̩a: .c<V w:IS^826,An*ײ`sFAF-G+WfmavWy C9 hRӬՁFDUd,EUi9  7fDtph!F9߁[Ik9cTJtqư~lѱ_'ІVjpdn],_EDtrUV(reX|kR|qakN@,?|OMc[W9(*6,4"P0,[tHam}9³Ω gA~ŕfF;=_F=,z-ˎi2z>maL7SKݴ\׋M6C"8q/odj ./4[M=RgnFbv mCMܗؠ\,*9$V B~LjqW2<)%5m!3"U0K~o^7\P2yAK jb8 y|혳O:=l\8&6f>H:p﷬iĐP%|/lӂ: 08`!(,7h:,c:ѣ׼?<4Zg-K⧆' D\@֎.V8}6]Y33Qԕ:Z8' 1ɡg2hL#@!S1ׇV\2&Au'~p ^$aqդh7vT>\"EAX4<£@CS; jBLTZR08&zT3xϧU-|u~8]UӄךQCb1x1=ՇYwpPP}dOsá3 'Zg:@v. PϞqH Ԗ'Vfɼ{:--4{n<5^׭ i_w2U0> @+?u0(I.#mKHgjM~vu[ kN]ؖYv4p v ztxuvHy KZYr^QIL&C0~`]#,upn#rL{ 24#8ׄm»Cmzp7L@5 ݫabJ6J']4T 6L3 mvWbkYGW&e^dr3uWQg0*WX}|*X/+w2oy~([}]>1zJ.]3=̗aaxu49t05ʫGt.?)ۼ^._BJے?Nԯ4Dqg ޜ1!bP毥V<|}xki7i:oPKJHs I cnfformula/families/subgraph.pyc˒G1{vgwvVJ^F£Hk 62! b];3uaD\8p~̍8Z!۱ #uuUVVV*3b%ЅW|e4 h hlB`BXFIK@cg (C897yhqhTxШ<@%r^o~T@cj\. \9΀<H}g~@/`,+$*ulv(uR?xڍ8Jr!z;oPאܺWVy{ 2ظqG26$zn/O5tn̦F;pT6+ _Fh8'=\="ܙAT@_j7j0ۄ;# L>)%xNhQ: Jam%؀Zp"MX .A0_6Q1s&J*eU0%Ik0ߓ"=R&pȀAs):Qe~)lG,8"ÀʈjY26N~\zjޘbfUq $* 㳥m ӟb@:ؓL,@l1f?RVIJ28i'^X˨Xq#tҽ=C{2rl%$Zztu8x z}"vǬ: ?d8 .v"Wq'=EpA@:(P,MeL;V42dH$"|2s5|m G/ +(,dŒ9){5wPഒ垒)$=i]'P.۞tϭpA:AtUFns&r?ĝHևJү֣kkJkY47=޵P=tXnn]o]D-lnvR]+=ȏFw5:o&(U1OըbX5*Θe4/Uq٨5xQ|.^0.MfyըRjlb9 0k.WFƅ8[ (yŵ.UGZf'-۾'Qjҧųs>WD -޸'sDQ8&5䌵"޳"9yD5N:=3\o#nmHFѲD=xe=S@Eyٕؤ>S >8<Ʉ0_u1׵)hXr_SD RRv[H,!^ԛt|e'NäF }VdWB<,2j$"oaH{trʤގ߱Ʊ\:PTS5#ίې-d%+4J Mve~gd_ Q.Bvxm-ݤգK!umZNd膥;V[Ax]%儇; 'zEչ5Jzu X ]N+B?e,C,"~I5q zͷT|#Ghfh"7XZwZ#|Y,F۶L8іms$Kx,'f9URT<"Bs . о{Hr<8(0i"_]5OHm6# &f{ez}ZEX|խ,3˧ɽc7DŽ9QB2 z9+🱴ۧƶKK8fy,O0Q׋fX܁2˺IsU]vJߪuYG$$=D̕03yFL!-+x4Rl2I&)FL+U*mKUj('o"aMCݜ6ysq*O{?_"LE )۳ԟT9;󐉲뿿}:;h >vt"\h-+t _ oCV[)f!tUQԼCͻv6i;HoSLBΐUA]}i:=2[ksΜ#p/>iOFDH9y ?,%w,)vDP#2lH&9@CV'eL&V&j),.Zt] v:`aI&A]"tPUzcc8RUPK6H9jl(cnfformula/families/subsetcardinality.pyWo6~_qK,{h]+NSJtIIӉ 0!dw㓟<[kX]L'0y:X'XNKN~|0 'u:[.,:BIw6ye 5:H!W88a(ڐ(օuFYy^ة(*Rrabj gȻ 22 (}MdI@dӀ"Κ5R&P)Lpxly_yIcȤ͈G>8^r k|Ê/HQ8[;$=214ijneL#ٸ2.8;p4Q$p+MAStQ/лHdJJZl.'Vfk诘5_(lHiK Ċvd)let-7g**j=29(<[RҡYi @;j@oC H뻪6C eP\f m2"AN-1 Ԕ\7F7on3Ew;[Aw^;3HX:SO0$ERI((Q,pX9N\y5=s<6&!yJGaD឴ySpwWS\Ih+v^r<=MC5gtؚZI[8 n%"ER3>W.c\y Mgdf.^jLa5lz#ޥA+ T:;KN.bD/B  *(uqA853Sүٶ?0^ R@x/Z {+|&!,:&ZS/EdFT7SZ &A`qMy8WIhLHQ)TxY )6Y˅R@+v3AG/WFMy~Y$TPKJHdE)cnfformula/families/subsetcardinality.pycXKs %J-{]Y;UA%S윔G%?PHŮRF HPЦ"qܒ_KBn)帇13R.xnVsߞ,#b OE>} +]akϹ9gyWYz^`"k/v%X L_`e/\flXȾ+/S6XaWYDj^1[q UЂ<C-cXaUͨc"1Y<S@V౳c#x452 @&LΎS9A_n^9J౭"G?z(37<:hB;L2ng0!Y9{蠂NX0 lNgI?y촊S|& (1S]`E''/NO(cWHώ&cٿxY],Z`x .o1[{dBUqj3joBy蚇>4) x̷=w9g~"q= :>lHB9{K; AZl%2 S:}0S/wr  Py"UI~F%G"E]:-jgoFqp21}-~7i9|:939. %[ tj`];]cWhG|wl$h^L+ED:29>9 . 9}M~FsޝrM _O`$NJd"55l}f NKWKwp*ZC4kvӓLXg,<3׆9f4c=?8u<C(aُUhIMImH~_>hJ"П_mOrߙӍ5i3^ƤF.~1Soa(9l?yV(#6|(mnbʜC8.).Bi0];ٜL&. Tщ<=_ԱNm"Lx}sK۲׻&Er+3d4v,@pm\a0ٻ"8)*uv Ly}  rVDM$kRwS-nbSEo4֐HZя+c&l.2c!j\*|?|9 ͬW%Ciwݻ_~ջ~eN,mxڣGWJZVԬ*k*؝A=5mw( c2( jBݡPW~ų>օvd۴kЍiw .-vԳpN}2Tt.|uoy9 Yoя|n|Q`!ސ($QᾛR ͉?a#D~+7/"Q#Fˉx xv p H(KF;c_GԘ=*KD+̑___G LA@1#M4NF$M)Jr:?΄iD<6gx?kTpzrGiF/-S xuɅJ g:+g\J^=;T&m9v2ýLcs#ao:#.[#b3d/g~NpBu2[!^PK16GF_ cnfformula/families/tseitin.pyWMo6W I=n\l{vK`8Dl)R )A{g!K.ę7oF7w./ܓL|FJUq]t/dikr%øJ7֪!n oZ-jn֥jʥ=TK=>s$ui$I’RM|:8Rӆ LT&2I|4d~x4}?==M 6;7*Γ B-75,ijvB%?xl M[fu\T>/>P*<,q0E<* 7Wi͵dπ7y @vNI'3(0mx ځh!֯zF1;&!LDE 3L]k~o>M*f2,>.y&xwwL0yNיh@erXLcT$wDV{ k+ЖXEЈQٓE.)cZZu4>6rʍGFNbnPЪZwF@&a)jO]mv*) nCYC쨨Q`6rpcȇ 94eɪwvN4<!Oa!uώ7጑'PKJHcnfformula/families/tseitin.pycWnE>ױiZjA*RzS`Qݱzr=wx.sITANfvΜw~\PŝOQ?bt9:q@иtJf\ t*f\ą E q߅ : i*SOt0hB4rzFK|JGhfNP_pȡLu,w[Xǩ8 T=?-º͵fpQfyz6`LF2iVCl9~Ckh,22R#[tܨ+tquXafjgD+5﯅iv $jMcX=s54③Z"5|\k'2d ќ>[<͉C2r؉[i t&%܁05kw?=+ݕ,T# aaMҥ7HJMX{/2 VO*OpwgtZ!3.uu$+3"UY=*E:Nt7l>9>2ÄGlۿ]l] W/VI0V'kܹefw`u{w ytv:CNdڇ 4bIb~i)gI))qt^6L|w0\ 9:~tNd) 4,aڛ-2^RhɆ $N[1-,g[X 6jT^Bs f>C4oh![D Ok RGY^و2dSxf%st%Yy_z]](^q ʔ7#rUf:݋VXjb# }3sE'`moz猶3=*-Q }*cܯuo ܣhq4,(XaJ ~OS@AP&]IKbѭ J755C'kO?)ݿNވE;mʋ-/J]E5Lɾo.%~r𔵷iNcPljj_hnP;BaE]E K,HC嗈˂o8` @Yiep ͳ׮icbV jeln%rQ1EdE5$^XR&mA̺uK"Qwݦ/0"d&M5L0;A27<۔8p#9~^yط^ O5GIMgQԜs4IYpNN}Lt >ԑy35IfO(q2%d4ق/+u! Sêy!PK96G&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 .'APKJHcnfformula/utils/__init__.pycU_oE;۵4iK 叺JӠJRhZ5Rp:߭Kw۽Q>_<7c;cOݙg$$D2E#v=ROI@Ov4eФEޅxUiQ[]4K]jvCGQuu1Njw܅:5$gF+bmCIS%L}: L2n35!:$:%ڿ-4|ebk8GO20o|L_T-^Srk|:\?,`[(5JNV^@ kӴC.I]qNwdwgk/tIhLeY=V4i~jVT`ךrF|V$/b//XsS8Rƅ83;_XmkkAt4$Eq>Ѓ43*R6qQYkM,PWW=o74ԩE;eMꦸʼMŎO Q?3va&Î"#h*B"),;(-7ΣEcmiTY|`Js9$Ѷ4fsv_XEHr~Y͌3wig'rT6ҝ]y,RBz8TbH̡*ϧ=׆`ddSn8lӁ-:B1FeiD#13y-r%Fy#39}G'e_w EQz0d"C!E2-p\)@4K6  ;yy6e spdk70S]cBx-C-kuVԚZ^QMM-zU/F-+]/Uoeد\`%MK{>T ?OI]rh+IÊi3~珺U<CC`K:L1Yw5f@M,*\z$ᢵc %6]͘~7atg8E Zpdt$qXΉު"S&E._4hӄ6/~wQYn,})3%IYܠoPKA6GH:`$cnfformula/utils/adjlist2pebbling.pyXo۶] 9l?l ^uS(D\$Q#$ưݑ,Vn X羞|wjuٚ ֬f`27Fp F²eX׎ \jK"yc4Ⱥ܂p`,M[(6VXzfHXbnwa-y l֚&,=W?ưR lUdpQܝ&AE/pŵC$!USGa ]<+d٪5Yj2Hq΍@~Yj#I:JvDɖ%όb;~nC0(E\ #g9cVwL4ɪbuTo,Qge)78&vZol_XFu>$MWhQ e*ӻ$֞tp&=~s0`[!T 5n1ܳLD:5`ao{IO !.Q[D1PED @k#tz(zp>",!ΧY + jnچ0L4DN^8߂H`kX SvPBI9[v Ce"Dןb]Š"c[f5Mk80lP|!J~+Q J'vg2N*cmip Ʋ+7 k*5(3 A g%Q#FmL=ϰ\HQ|e06t0Y/_sm՘]m9NOR 0+al$ICm$+5Ivd ԐFzVGcpL.EhX14襁)Z3ld Ipw>H`a#@o_w| \Wݡ{ QMLlFqku@71Jcaַ,n,6a):b&% 2c9k4>0NH;?V]|V ] /mp,qA /`26=WWz#`Kc"4'0thG4)jiȴK=z?zbix6M{qA>uwQ&>vt'g=#$j|<ҤDVvu}G±#!(rP0I6ʕ;ѨZAđ&mZ=hJQ2&559"^TzItz˫[S% R4kAN}ʲaz{Hk@jJ!ivuDjJ85'duĺpH5+(O0\[ iyhk<'Gz`VLC^(Ќ]4$Aű!zT)QPns>JWۿP4\wOЏ߲m9P1z}y,{Ca`mMNA;+٘]r cnFXz31A;[XCqS[抪m0-4;ͬZYGԚ;&q?[\$^^3a=:.3-M0w歝OPH4 EvkTc:ZۃIsd h:* ) `e"cX|{F:òp^`ygslQByb.Z/%pp7ߥ~/ 2ԥi|>Ϋ+2&V:$5U[ţP"mI; 9z }z+r'AΚL]6p35xlj1,db2ˈ}/յG^ưDs7LZr2''y9+ہU6֊%ÎEݒ즮fJ_+W)BcLO(M4UF3ݠ5Ng}Zl`tDڞVy<x;T+V|=$2.u@ v/#c36u$SOhk$,ڱcesh*ǹ] \7x)>ͪ0N~r-ңvzc`8gT8<+֯L߁~J{7HmE ޤO0]~N.^/>JMqڻ~iSx|v{LWL[M^FosORl"؎c٩@*쟸r6c NRu8GtcKwzQ0 |(!pOwJG䠭1[p̫h}U%bT*BøHq<[J*bZH9>*_!K(`Bx<'^UE~ڂHoKa*4|vjQ"z ĝ8 3O *TyF&PdgY)_'<'yiڒ38 ,Y'| DJ"Xr[ya{ 4*E:d5/蹠1X9_L\ %&'x!O4N"-f%30P L'Ie蹱,A.&@gXALF${J2nݟ+ CsBR)%{Q1EѕQqa<%~PFZD  q2WŸ-?yD4?l0Cf$kj+ 0wģG)Jt@{uUuREVĠ.B e2tpXd Τֈ#e XI}>=H`2āsJ:"ʐ/=lؑ)GnE$~lֲA@^Le9$En.x=Eͪ8gnrK`H&Q Dw0_de~#iO$wPֱ#L\*QPY3bJfaP)\4ƹro)G`:" N˄ߓӖbV<(1xtn3{˯Q@ u0#L#x^q\gг.^.R(/Ps8*8iCÄAG.r˧}CWַUggĸѷp ]>ֻ yW ܵu 3?4?k*qCLZAjao'pT= ɏyXd|EYA p)&&yc>o> R ؃$) ϸߵ) +T]!BZm<1s])%9 gzK; Mbִ键c\Mֈ513&Ŷ(cθH)^1Bz8]߲3ε,'䷍]#62zh pV;.n8h*)$I. .Δ?qaquuVjA&7EdCLX޴R*. pн藥^ ӕ$^ۻwKoh_=+ <9@,L?8,k7wRGyM; V֠3AkEoY=?0xPGR=i]fkf#f.ΐ{n*u-Ā4j N۶欀MD.KN GDūr`*!K 6':,l0Ek}I^QEjC:!?x\, Hk zMțd]!Y5k`S yk 㜹U4 ~C6MB#(XD4FfU1Қ`UE皰cYwٙ'}iD kW>Uш,?KU'p;#tZsmɰFK!oa-~E0sejk=߬`us$ManCj=Nf_'l4 m 妇W,`m#l +Aawi#=L볐L]mΝdECձtބo^LA!-xnMxXrw֐/fkh (hLVJp"P<{t6|)6gʦv_#^M\p!T EYKZL`2ߔo> .OEn4} ݦkԃQ1l`ei?$]YXK ZU|RZ 9lXe1jH$+ \$!=Tٷ0pUn<0^CZCW(%ըk >IZ % ?y?ykKr_pA?7˒F*: L@N XJB 0wW!1=J S*^EAA<-;`;BC*.j.b(zBOX[ ]E%h1Q.{I]gEO%fz0s8{>6Q%c{F>|\vRq 3q E.\up.w? D]_TAL;l>&6sKZ*8SYwظzQ\ WTx֯CX]Gط0N@ɀԝi?0ԐpCtfKYdr=w;݅;1~X(i- ?ϝ6eg=6g`})_/яCNMP5? |&`jdyU> r ;y/z8bҼO[ =Nsyb"I=Sx|SHLOqb&y/!5#IT:pcdl gx]絃7Xd#B8A:3]el <; ֯(} ! ͇d4@=:؃?‰%SKGI͇KpgX}G}D|/,XxC&KN XP[quO<֎YmY}v` {k&0 vW;$@)lptuǢ[p2v~ſr[v Ms}Ov|+#Vĥ2]Uv~z.;ֹ *Iefu0NL6hlǩWdYA`uS&G,UBK ENC#r>HI_u6<8Ub zN8r'̧Yj3TE{HqGuNap)u8 (zb6z0RL>Y3j z7W-5~7 ndQ8Mo1 3%:6c\yw5xh%CRB[zvn[NxqhJ5CMj 7rk'*$* v=;A W SchmPկ^%.>t@m\ ]Xjé zXѰ?7&Se֑Op9X;MF)]4J=3I!U/>ͤnNJՑ.\*2 Cmϸ~0˿0ʶxgZl{sNоzųF~ {:sRF)eޫ=?,4)s:}v2R:A3P(8:ẛyt:XrQ{n^FTLq*4CHՋqPaRb.gP%fd^AJ=E)cJcv2_eeyY^':AyAR& S,S?@%<ڥΥ":(%]0d81Br[68+'xLJ!*0e T q,ERw߂Al>٘YR{4NYC%6X0ڔG6ïV4?͞

lbŚmUھVbSQ F}]G]zpҰ*.5. 2ӢK>y7rpTM-2IiVNFyʏt'zѯp @Dv4Θi-y~EmJ Dh 2[s˜aW0 ?0m ¢ 4s6U 7;ckee 3fEѠ2ZJU%reL'OeWCȉd! Ek8#fCp$l%0ꗻ CN!Y59f3i6a b RDŢ[$F853z4mֲvz8aQl6<<ǛMSYrF54wwo^o9jt]6Ď: Ӿ Y^9j1|ڝo3LF=H0s8  !.rCC(*!B 7F3SCy;(z6׺\\ͮfqxNp\x HLV6-R4TCFw3Qb _-MQ-3hQ1̓l n=2^)BR/9QS[\yKYwGhsB` NMϞڇ_O-Q\ zcl cM|% ;>$ Bw/sWvw- ڳ'|lC=1&&MtJ0rMӇxDK5V% _A#4 d ڏQmDu >45 'ۛ_nލtm;NIhav7R/aEG6 Ī.D-+j4UE8vr v42`Xcq"mR(@tV&XHL>]P?ċН@5e5w@D>DN x8s͈VlvN#?<,Xoɇ #MNM 4a Ot}r_7ިcмߔ锥E)ԗji %/PKJH"e"_b ?$cnfformula/utils/dimacstransform.pycX_s_")BH%N}NӊI-I'ө&TD3⁜IH ㎖5!P硯}Sއv-%:}nw.eǽojXX!,V=W!aj5 a؀ gpG̲Tm8?o`FÉ ٌ rns m8\:puhKds ؂/-a 2/,L^X8^v-x"/C@M8@6_y! }tz]`W̋U/Ɇc?J/ bHz8cۏ=X#'á" c)F:B}ž>_Φ{ax؁:<OYCH%K;"D]܎8.6te?L£ȳߗ&ٔk/mHF^&Z7}Zp?uF^7niX$mj!fh \?Fz=:I*acl{<#*6wP*? S2#-3sRdٖ|2 Q8~eJu3/;gщţ3=@H2^Q@d( Q2RG%Z[YvRI>?o7.I ;$GLKAM@7B`g p\ N1qB-B A֌K7Yڦ$& ]eYtEk(f q/QSJڹ,mW.-[k>E6m@е:w}8ncc]J˖I&ݞ)9~݇X[Fc!]*ap qzjSI=1VKi~FS}rt'L!`}(.cDSi1۔ܨ]l0 6Ats-Q6޾y>洖Ѧ7}$6MVhAq9?VeխE^mT_7SJZm4(]x bHnFErR*u0 ! 0I c XTq9<|I9rq9xLZNH+:XWL| ftiז5GPñ]_ qRJ dNϳp لei79s=13Zf]nlL& G/G)1vԆ9T!GEA1x#"cE b%ckØΗ*f-SZMK]4%F# ^  E"rO肢J{=G"GkN.4rƞ%R]I7sz!lKt$^\j {hq'89H1uQֈD%T$(Ol MRĵ0q韟r\035}JMFXHWu$fы;vqm IY>|c/b(g_H;@|d'!YΒl12±1"? ƣo `@ϢA~Iž#fD* HvrPePˏGEgS@Tnщ I{w !CpkR Vp5>NbE-C˜ezu‡ؐ/%ZgXl L(s\*gFxEUw0ω#f2yzaA3my>]> shÝ.5t'<`sf#ܙMBƩk3 V"JVYˈZ~p!RFm[FY u!/*gF~.Sv`ro&#@$I8 ^⁳[<}9 r]sW^"\ng\{˺QmoZ*[iaj֗kk-?PKL6GmXt 3cnfformula/utils/solver.py[ms_$5m_.oq;nbx&ݜ􃫱hS r4.^RK:mgrI`ؗg?Z?y冕jUy"񬮖ӯ`8\2]TI3,ze<[ZiDŲk&u5K$KҪNrJC]J ]|`^hXGWI2dՊu1,z)U͠|0d|ȹƳ|R e 4+,+\T[0%Θjskx@oWB${.ԓfKx|AI[XY]%)X9?DBhN֜]w xVR$YM.cf[SC.f3 nz< \'-DfbD&(킗?'mN}&e M)͜ (y@Rk TE5I`Uב(gj%;0ae"'R?C 3'i83ON>& AS g!K48H^kրBi0,QۨY\ jJTdLں*0 Cϒ-)n 31ҊT-kaDbر <8a~?z[EK@mHD+MPǏ1`a[6qBN\StÊq(߇SfA?$L3ʁưF 52A`Z%R&Q@JK%b P;%|k~:G v%,v~Nޮ*AĚCj*X ʡ| p] ^?\Kz lZJPVP$ $Ok9l=lIeaJն g6&}Tuted4U/l8 I[pMNq5Agd B1QXO92ć-mnXJt؅r4R5CңE9efxȷnb`UbɃlF1Pm&xL)д8?\#o}1nfWҏ4a@os}lžfvh Ӽƃ/'~1Ldئ.+4#vvNl)e1DHv(Af`Mbw+`QoxD'cWhMOhy6"2~}}ܹEƀc{Ȓ!6%']IP-AOȐ8'.:N=}rLhTXM@6iN[&xٳMg%,dohS(p?94ܳ\FA֎@ԳןJi$6 5ڂT@2> `A1dJVAP(j7?Z(jA܉ќO4y=9b7Z4%l 4hp6yo/?.D]idlAQ~x8aZ+vT%=_^@偆}PWI> %L L}{V~b}?;ݾi0 SY33PD2U' SI33gΠ 7W/nS}B!p]hj"GYq-% OS+ЛΉHT#o~կ !/,n)d5Pv[`] @J< `뎛@R݋=m8 E\np;y3?j3 @n[h1Ñ4"-{QfǔҴNn%&qsGh]#zkۖx94w69NDb:7]uX"_nNz?s[k}G{NWIijWUl5( B-6lO>NLm٤F, XJ ޤٱm(G]s~on@f?5FrGfn9f$kZnly}r*vg9 G/Zlؔ)[YTw`=U nIiocRAx쵂2Þ~pUAsE_eœ-ewQ"Mܥms{T75CmZw빋ӎCPH抵 ~m" lX#)v[׏BXZ1xͭY@Xu,9q'k()xo}AN\et@5uMej(Q)|lN6IT}IJ(Z C!;J4ZkF! &Wb@/ ":;{;qj߻5] O5`[v0S6?:e,2 ͊TOd)Z @ եOK^-C^Z5LaXQŝ_q:E9m|=01%t2+&9bO>0 #ҞXbR5-({D{}*]#Z'͍<PKJH(/cnfformula/utils/solver.pycZou9HJvA͌3CvWkW""{A Cy"&{G]ݢHH>> 6K 9HSr WU=JH%gzUի{# |_c݁+g V2=֘H/1NUԙ`%iS ?@~:?Ҥe].Y` {!1(/=|βGSp +2AaA:ln ek4n g"HK%8xʱRF rSC#vTIXdJ6tqT! G"I1vQɞ؈*da(@"M&q:BIhEAein˻lÄLFJS@aIJ*e,]qP9p f?s!cǎbv\eGUWAH! [`0W3Ejn-NؑP&8۫c5h0l`CN雇$Ji$!LFgNqqoG.Kq#> +<30MZ?x yq\gYv K6yzJ~!BVAgX4Vb_zV@د$s~{1QGWgWJWsg_r`>P<%$8L|,㆏ݒ &" C  Wi0F1z(BJA+10vaJHG-1v:čJ ڒX=5M)w,}P %3+0C5V鱛eX .Ҩ.>T8^<J+}˜=pt̎GOmPYjnw'l]x^t1v&#V*a,!PZ&5E"/}e OCC_=sNRa*gi9gegũ9֫M'#@E$^5G:)n`ZZiY0w$(PȂ*Dx5KZŽW 1Pb~}"Pf᳙W=SDqfOQj=|lZ|nȊW~@%^FK߃D-6{ 6B1К Hf0 m[M÷b7$Xxg9,[]zyɰLkF 4ڝ CfA.ЄR4q"R^ +Awֵ 'i'[pz!ˁ J6=l'k7Ji[;%CI1 7N؀p>74i ʂ/;]D YZjDM| `\.O"v=ŵFnz)&ONh "q8D3EZlذڎ%( j &r[RZ.kޓ6!k^8ik)UX׷6_ykyKmcfo-T#AEq4 3%镱$>b>kƂ40l-!o<|栲O?4ǯBU!y8@i //+y, <7F|59^^4R|o}6IGV_F1 ={~ uv|5xU9gŸr:j}ɗ4(vӷ~5>#YZ<űi 6[$ Fu6('o- 4ЭI'efS]L>[pՙ*0VCTg=1mtޛ".j=|ij)!Z< ;:e8ޟ1*VnK8[FO9Ff A% ݖ'9/rbytt䦀e:U:1$6 4H ʤ(!0=d;2>ᝌH_#;M4I),B'h'8E#:^ްs_={BR65iGGu7p-η9~Fk[/{;xy: /9iU?# e@S׋wI9Q 1oIQXI NEgd3Rd8KGK݅ˇt%iVFgnp@^ ~-]Kӌ('@tƇ]o_߼uqnۗJY~{G2=+lG[%+zi+ţ7Ƣɢ `eLdI}vl 19bi qRuR.C@hrYEC:qIsX'׈y=dlm[m\F,#7Iޛ΍%sjӍ1S#.CH&o8' Bɘؕ7{bl->J I%̒p$6 a~2%dM{5 H[{j<7 J ږFƳeZhWQ)(pcb#>a2.b@âE3hV vKx53ժ[k]= 0:ʛCN1W>0Dk޿1`"tlm\OVT);8kդ7̣ 7W1FmF3DW$&gh[R~ E),9C'2Q< qHBA ~DӶ(J+f%8HQPH9,ᅈw Io߼o`WL{,,ц3k)_$zPdWs@yIúYށ>nrv!(,ԡFP^xe,k>7~μqrÓR[&y޾tq i">MAn>{QE'ZV)NbʤIKT./N觀* 5ytHb[Á2G){{Ɇm9%]fuzMm;fŗ$߷,H$h'Z9#kO/JFK(/QY$C)6 tD8[Ax2g睬>,^_4I5̎΀S8n0MP6eÜ쫡vFkn{v[e!wgmi8l'b_W9\ #lmeWf8Zw\jUc<oi=:ďWxZVd~ ufVnC 0,20˱w3yWڧ-x/TE"O oOتYzhѹlڧHhV3;zv۰uSn_Ay4@#-2/W:/ Fz4_+YegN(8ކ-6%..=f~|*QD٦oc? 巉8`Y4V/7fPKJH2EGG-INFO/dependency_links.txtPKJHmcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKJH2EGG-INFO/not-zip-safePKJH0EGG-INFO/PKG-INFOEM0=E/@7]i4j"TG CI;]x{fvoS ;`]Be[OVe'@VSlA$z`&=CB!Xr-DoAՖT֥eW ȍZ_L7 Vq[.YyB,^,6Est8 TwD:*7Ch| 6 ȑ$lYUHjh\+GP%q uegܰaux` %xHMgV0W 86e8ar)qnr8Pxvgxkf9a֣>2~SdZWS/c+]#WQMiyۣPKJH,ˏ EGG-INFO/top_level.txtKKK/-IPK)Gq#Gcnfformula/__init__.pyPKJH6wWcnfformula/__init__.pycPK6GIc.mHcnfformula/cmdline.pyPKJHN'Fcnfformula/cmdline.pycPKgJHhh* ~-cnfformula/cnf.pyPKJHb&-(DNcnfformula/cnf.pycPK6HYߗ vcnfformula/cnfgen.pyPKJHiBF!فcnfformula/cnfgen.pycPKJH5+khRcnfformula/graphs.pyPKJH"_Ccnfformula/graphs.pycPKJHAXqcnfformula/prjdata.pyPKJHZhcnfformula/prjdata.pycPKJHSK&_ Acnfformula/transformation.pyPKJH|]_G@cnfformula/transformation.pycPK6GG}cnfformula/families/__init__.pyPKJHo cnfformula/families/__init__.pycPKJHnT@acnfformula/families/coloring.pyPKJH$[  cnfformula/families/coloring.pycPK6GF0 cnfformula/families/counting.pyPKJH^T "cnfformula/families/counting.pycPK!6GTv'cnfformula/families/graphisomorphism.pyPKJHGY%(cnfformula/families/graphisomorphism.pycPKJHo #cnfformula/families/ordering.pyPKJH=B  +cnfformula/families/ordering.pycPK1w5H>e }P6cnfformula/families/pebbling.pyPKJHX# 2@cnfformula/families/pebbling.pycPK6H3T*!!Ncnfformula/families/pigeonhole.pyPKJH\ $"[Wcnfformula/families/pigeonhole.pycPK&6G4^^ dcnfformula/families/ramsey.pyPKJHU' 6hcnfformula/families/ramsey.pycPKFG%mcnfformula/families/randomformulas.pyPKJH S&scnfformula/families/randomformulas.pycPK݅JHJ  }cnfformula/families/simple.pyPKJH} g[/cnfformula/families/simple.pycPK)6G[Ɔcnfformula/families/subgraph.pyPKJHs I cnfformula/families/subgraph.pycPK6H9jl(,cnfformula/families/subsetcardinality.pyPKJHdE)ޠcnfformula/families/subsetcardinality.pycPK16GF_ cnfformula/families/tseitin.pyPKJHcnfformula/families/tseitin.pycPK96G&fI  cnfformula/utils/__init__.pyPKJHcnfformula/utils/__init__.pycPKA6GH:`$cnfformula/utils/adjlist2pebbling.pyPKJHSꌼ "%cnfformula/utils/adjlist2pebbling.pycPKGǗ8dcnfformula/utils/cnfshuffle.pyPKJHGFr cnfformula/utils/cnfshuffle.pycPKJH9{Cx#cnfformula/utils/dimacstransform.pyPKJH"e"_b ?$]cnfformula/utils/dimacstransform.pycPKL6GmXt 3cnfformula/utils/solver.pyPKJH(/cnfformula/utils/solver.pycPKJH26EGG-INFO/dependency_links.txtPKJHmctEGG-INFO/entry_points.txtPKJH2EGG-INFO/not-zip-safePKJH0DEGG-INFO/PKG-INFOPKJH/:%EGG-INFO/requires.txtPKJHtHmEGG-INFO/SOURCES.txtPKJH,ˏ EGG-INFO/top_level.txtPK99(