PKEYMUREGG-INFO/PKG-INFOEMN0>,*Y@zHLEoF}{?p 98?y; R|$"l˓gJ=!C,^=.1 !ݺإ| 1γ+&[d7r /UƓ\Ck/uJa7۷o+_ysrA՗lKPKEYMZbeEGG-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ů`<PKEYM2EGG-INFO/dependency_links.txtPKEYMmcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKEYM2EGG-INFO/not-zip-safePKEYMk9EGG-INFO/requires.txtK-)/ʮ13б5Գ*L/))-PKEYM,ˏ EGG-INFO/top_level.txtKKK/-IPKLPMcnfformula/__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<FcR2>d5>uЯjj~ T=[p t~Tg6zK. KQ|cףARTВ2 QDE\ipb4W RdɁl]'Op SsA{q%smTf|k`0jmyfu0jìFhJ N(ջ #:psc>@纔( "QEMRًe9_Q4qZp;L.BMR8љH/T%Zt,/8f mz$2ù{=M+n擿:]I"2m2ac]ʁ^(ț׈V ݟ}>H^!g*0epQ$zO,TN(.&I/e2*'O= O9փ*a!"HlWJE=/A`oy*~ pلҧ[!4Al @ Y22upmW)oA ,˸TY\hВdՂč\9 tiN/mH:FqXxgG(ZX9 /> alvf!̒ZJR̶m,ep6%%i-]|bM9`+rvO _\Ž~Eh b9 A.P ejG$-#CGmc?}wө;9G8w@6:I /uG`v6ł#^"]CPKLH@qcnfformula/cmdline.py=koH+z,D&4c{26/drw2%$)RǦl߯v1]Nd/Q'li2zEFd/otM- l6A8J8g`GVqde1-T t+#_h]\W\X`9fjeCHa$8 w&(< %!Q8t:-P &b7^bE'M,)hgKX)y*AWD܄L%?V;9lѽXYst`oYSa)%Zz98kܞxSǢP2{yIrиrȢ-S5⮞f 3x?Bl#AJ [S:G6@ 23 ▥]/-"z\|'̰V Y67q.-֨}.E$xM//_)<~F0VrA+HS,`%`+H2BiRIjl;1gw./%n*sIHx1-5 tcT'e@ `)WCU1Zb-x.Of F2|.F sJp]?.͗,Go~ԉ^o yz](^yi'ڦhCj~8aטs]yǓC]ÂybA0L kIS#fQ2`zX+ {{S]5\iR3-3أh-h*4ƫ.③S_hb)i;1\58ÀoA3Oag(+7A|9"4K׳[g5xc6{1/!f`Dû% ŚՌ-s%ɾsX \?o@CVhl(S0[)MC<=- 8aH>Nc,iqK%+ ǔ Џ={ƨrE_P՗6Q]sЇ$+J\I`%z̴kסN.gw& zL|["nҨX%:G_rMc d )k5þj k'@rڗ .yf F̹HڀPri,w} .!2c t0* %?;^ kYw@T DCSjXlrNcwX8}]~j9 ؛W#3#ITz вbMhp2ڶ1J 'AT0%ARC)cN?h>A.3)9lEL$yaOOl[ଶ@ <:YADJ^5&e|/k3\,TuNb-oV`]PJ!B n8H[$[ 2tN1&JK@UIM: .C%|"zYVA"AxDQ%KB2Kw+][DW\Dd9O4e ѢdBy-x%;A-%ao[șݓȼo%5;5;`gMC}:ȦSZl>Ttr0ify1lZg*6Qw&2!`Ni*U̷l˪U3  hAx U"KSRj[=XsFL-ӌT8nJDp %b/̴-}3h -ޘ# a8vi;!*`Ms#8C$j%.t%eikDWkW^hŴԅ_&a|` B{-;<'m7 `.8w`D왈b *Ob$Hyd{{VfՑm93TgpT&e x\Cbumz+jd*nldqimlu~x-!bIXgJmJI`' m2=B!fjں2JH{lk?wȩ&"x+~xA󁕆]$<]/m;G%/ʑLY?<ڨ)P\ )` %GV2:j75ۡmE7uN!RatTycZCEJߟїZHT^Z\K<~]g佒K>)‖FWjh,fu:K-YFZ*gRzihZ>`j6RH6CՀmX(wP`YXMi#aX]-"uNΰ68BܽW]]߮B/k<~OvAǭ` 5Q HsEVwZQgIcǰZu!걚S˅%dGCwV {Bk0ϧIC롗TϋmfB-`LiO{ ChӀfB*B֣E`{RQ3e 9B 9j¦R07p}Ӹxw:f.?$I/54<}'67v""?^Mӫ^Κ~}p%!!M;d!(kʛaoD>I/PK~e0iE-ԖC( bp1#\)a k ViBf!o1{By|ܠ`XYjBL-Y7JM p=$mbtOWɜoc7iQOZxؗI3W-}5޼>x[`4ϒ)3}Ɠ-)pPDYu!nj/W8>a > "!dzCZ(]!??6|ۗ": oDz"HBkKkcO!Ck'rli̿%hbV1HyQO*dGҽߢ3uzE:_([(o؝uX[ HzZF0 VoZA[J:Fn($=bfCylg+!{+W׆̫} Z ㉇nI:+!kRžΖykAt4>ɰjr3a=wu#6 <ᆖAroGx!!}QFe)E⌝~Gr|Fm -_{&V}^c7}킽}rz |[+ ]i [xفtZ6z{_p=H10=(x|ߦWwiӉVޡ5].{_މ_HVzhտdJ'd6sS+Rg.v%޷#݈:v!vwb`֔iG 4qV߰Izx=oZRi+㔮|SӃP{Ξ܊PTp(j͔>.ٿ]n,k ǻGYի:e(ѰR4QӵGo X*P4k]$ "9}KP#KPߩl~džZLzqk 9Qk9C T/fjԺ+t/jG& 2.Kc5.vߎq)`N34,vȟ,V~9u쌎pL  IՆ)+7C,. ){%97Qr!v3Y]Cduk҆SM7@NDofPKEYM3K jkcnfformula/cmdline.pyc][ly>3;EJxdi|R"W;Ȳe"Ǣm9pgrwv3K1ڗhQ@6EҤi4mEhPE_CRhhwΙ]RDma&9sn_8;_tI{^"wCWy5EUS̛猨d|F1߃j~1OT(S ꠘϽxâK}H#:*GEu-1G>yL̏^1W"u'rby\,O }?)~1@\ΉwP sq/wU0,w7CwTGcLCp]Oܡ=,qX% ww 78C?.H|BwD,Rqm!>5皼*X5D5gb͠EyZճjVU-o^ =BSڪ2)X-TomVR-?f-6+hI-ՏV_oʟN8yjOi˺ꄡ_Y/9͆Xg*}~%Z*ف(/Rs@W%d`F@-~9z.QSnSsr'+]c57<^ЍIG/)q'_gYJ ۦhяf1~c ECD&'FQzFp-Aj@*KbsֻÂJa70`џ )Yj/L\^É+{TOSnܐm23>QijH+hm Ҧl)Rldܞ uܹF-fZ(Eݤ q<s"w hK{laxM4bQ:Z=@~L7KPuJpmSk<]|^̘Fxr u{J?dˆ#o9jĻUFVna[.R5%u札f60ؼiXfchapMb(z:9A(a l |`@2"g.M/7 l1tiKrG [B{ :-? g qJ8V&B&R}_јWC|qo4®t{$Ixb>Ӏa->lrmXű}آMh|pf؊a xPMBlfDYar A)P)!־+62b8b!.VFlfŋ,1AirX uOS}"DkOЫ '8)6E4to~ȊAh_Cqn àkrq^A՝ҊS)2=B=Hy"/%s1#k< 8eN:;_v S]p䄮a[k-RnF~7Ȝ[NeF!"=FKŢzݜZ.-ZBaS xԜ˸qJ9 \#=??PoxtvDY4'@J[`(4PDC/3~`"1E?#βWds21v5'12& %ͤ|*( fyZ+'xziR4m |Zx &'!"Kz-#U̲>ww,Φ4L <{LdG;\mf Uvw\(}/2fǷ8!3ʶOBBǍ5@qѸ@dB[ma1AG@ƠoUxhX]mO-68qLRNǂTb2.6Ӗ4fT .ƤJEzIڵL)ZOPUż-:Ut f'y6{uSUA5zQHJNQu ^YTC2䞣i6V6ZsPF˵q=G6,BKAۏ=JwRcJ.S%lTojŖ+9P.XP&ExTkVvJ9QH3h.iVc6bJӥ8̞E#!g} a 6$v&JKϠYICY+%-qUuM#*ő#Њ]xo9[ j 5 GR@ag<82hjTR bT BEPq9Q"tV=ٰ0ZI )BJ=`d¶<DĠn[81\"7ъmC_kFo_vC+ X_"] ʘS`K}^B)2wZ#B ֥LgmCZl f0CKP[ʈv1xݥYa {s'Jlӏ%DiXh8aΠ$!4b>q˧c$ŖΦ;G Q;jleE~ٶ^C+d$qkSW ?y,,'k;6,=46q^ac} V$ "*-6ӑmz+;ftuHCSa󠩮71#c7Fns(3ER&̖gė9KN%+uee&h9~Y({27:41pjZesMʬ%5,/??(S \'t2e ^\ٟGƩX 0Ya琝4#& n%?ܖDx2dGqidCz3xJ9ye,zsJ숓?T?T[a_y5J)[3J~ZNR-D*5'괽ww>msr ,/h_5M =?bO2G;Hy4!6p1 !$C_BǶfZq 8OBv(<:ъza=-%NbyECB@R 'W[Qeu08b€ 1)5eIBD;b(s{հƶk<\Φ)Axu~}0$V^lrmirjKrJTl4[fsx9vrPx/e]Qn.`>gu ^ve8xLuUO ȫ.F&\T6.-:۲i7MM95"omZٸ _Vs 9̺!v/H,fR(,rQ H$Q %}r&3sgC:Q b]bj7uɎ57a;065+Nwڱr6|FVbfLB8DS-yU7z7)x==[lR&T!0򹡄PzNe"zNU$loE"~oY}L[vhN/ď_.ls?oܼs!voeAraD"U;% Uk1vér07z<,=7fybb_m[/2ʗ`j/qPhBB^ʊES̵')2pn4adԧDf=̏ ^N*wGk+˵^C4 .}Ih+-Utr?CT:V'IY&[dYC^JXdwfa(#|syDHG;rE6+A7M YںTY4ͰE&,,{v7^ʴC `V,vϙ gp k'D4ą rOr 3nNgZ5*i9S"70Wpg0:M\3'AB&/?̴6ltu2[0q &]^`EjN`-]k 閵Bd]c Zm5aB? XG-7VU-3o ̌RBkeޗ:,c Ǽrb|#7sL#80\7k5NNVGGȧMj:q@͉|D 9G[l|nPڼoW/KM(ғqf4p\+Bнc!"O ®-h! ˀ PU5{g[>"*p]Q&pE9eEt<ߵpס8HO0FPaĜ4&?CwH GxH:#zocgߙ<$% 8M"D"~rQ&}@BÛzi c =YGnQg,cg*`,],d"2Z.3>S9dJX~ٟHf?֌,2~fL=q gtg۲8;{(d?!A?ҧ)"J?d8G؍a!1WŴ3"ŏ'f f>ųsy>sb #mVõmz'?ZCƇ߃"X+R$Һf g1G+C^b1N7)L#W ^yLƵ#GvL6Cy{US-kB2rYo*kKf~X̄y׼ *=i}@+<̍mǍ;7n\닯NœFKMYr jAG1ɘA1h6ɠ9͠= b$ !ߓ"QF&I#Z#mw-N[*=Z)`H~)(~QS)Ϝ{Tg'9"i:_c~ٚٗYvNo6o2,vJ.wޓ 6y5 ϻ+- 'YNH$=Z=jkkP~uii-q*0t[K~iުH/ql Qwyp*n:QuXO^v*|%I:9jewb>jvqLYqn;AXzJ&Y:4*5% t)@kI"T˂RpE&4s/ AlgGm|'\ZgZgҿՓ|9uFskW[U5g> 512jiZA2CBסIm`KGUт21){aWfӳ-*g[f%O'֭cRT/4Oq4/؝TC|6,ٻeqX8ivD7O%~ mD”IֈcjK|/lfbHwB||v7-ȩ? '6 2v4)=>blj`jMN f=ʔ<*IgF┡lL>&}>M ~Ч }⫘P17ULtLFKE’M M)Fg.[zYTz5!M)F)oHQuP ] F)<[-IiMi#+6zUn#"l(թ/ʙB8N {YDz Лf\oL ?5<#i#RwmΆB06oFR~jCO.Umtm7;08`j40Wi1H^i34K4 @Fm)#>"* pX3KY N+jDlb&ƈaV k͑l !ìKw'ì0#Ywf5E&/G[DuQuuY:_wcf#:,uU;|X$.OUV h j,CxIRCTRwjV4*׸EGJ#̈z‰#qHtX''e|//l6ib.ĔFW5ސfF6.#Pֱ hk|ݝeo<Sƈ9N~cԙܔ1E 1ʷ#1s1e?&ed`od<("bw4$yh5 `A72͎?' XY*ׅ7W{CLɰ>8&pRsZ]h:6c*z^(T|h !IĔR;]qs7|f85)u؛1F2=f>?:to|dPK`XME)<cnfformula/cnf.py}iFe*)}N?M-Kܪb]Nz>H勃˶gY{g2  2%vU1v[N]xZ$mCN6۲]ȚͪnqMT0*ӲVy%0MZ;.su]1(3 حf8#=Gs?rUq nP+{g _* ZKA>Ѩ^@4k|UV@kҟWi3m2 4PqC O@cv?NA@j3"][D~j@z&l6'LA 7}) *@Ex ?9`hQȗNf@<8kJ _.c|Zܱt>Ez#IJKyЛ6274 O8@ N&:oƳ2YY?v_ udTW`bueڲ Kߔ}[;zFeHtJK;"}$.$#5I\-#*5K7qYȁ#XR$2.nF""6F QycJq' 8FpT¹zbT|e٨Z!eɀӭi*A1^"+Яcv#Ϗ4Ͱ]S݃o2qn =go/V2ث@v4GV4?BL52z[OB"X0y5-Jxcv,rt&$#Ug5Bq(2O8 ,eNLU E ipZ/r_̔e\rN& ! `1`] s˟BY`d!$#3ִIPH/*PGflL5fnm 8 .Wt@cSy0Rn I3d#ߤˊYz _h`ADlԞ/(5pl6̦{:ra*+ͲBfiN1F(I jPcWw `/ր!j2v2MT獵s&^?1L "y_Fvc Gg3RM7S$.pwW`>U0PqrPHlk6 ЅNaBQX9LՎEh!2" RoZWq=-꘶PFmK<54న{iv6'a=CֲJe)̗y?y!ozf?@ԝ8nY\;<-ؼ[-@MmJ0m̮EP%Zlfc ]n VgWK6 ?ݷ>O~豟TUmiZ],Yv^p[<3 k)$TqdgQާ݁p- y8Ꟍz174笛8 Ny!@+ jc`=\ n.S /]4Bk/ExP1.JNyHi&fطr- nx'| D^$2<:]nv'UU>-,;N%N0ȲNɞvIt v:dq0S45KK5;+av22V]{ $N(m('O*stv0O8o'1zB25hZ=9vXX/W&(ME.|Xe †fl\FʏwA2N4mV-xWq&99Dv&{Rn<9߭ ujiA G` =EC>[:O?O \yޜ@{_o0ɚ2O󦬧3|2xԸ;mZKN_Vu@VɌx~NxU``Ԝo"+bƽje y ږ;ni \Qgoq 2V~:< 0uŬrM$';)|jCSWUalR":cXLSLAso n R#$+t܌@MmXW*לaϞa{8(݊gR#,\:\s1HelE99Ob T~)SڐgjBVOΆdY(f=ƘQm|33'C 7gzf]0pop[Ո$ BfzS҆ qR#64RP5^_}<%,f)=qV1h0kțio&Lxm!zuzeH"u1mS1d3v,,J?^"5w# T}5B=:箎=2ZHv1)-4[q( qS%nilc!v\sYsw]ұe.[e܌ΏGUECFp2+påȯ5؀Cx -6M@NIMT-6oS@wѶ z8F}6IQjE8I#湛e<7~cV=PQ92_ӏod9O}('Ξ=4qgAY/}/q}<|o&Qw(o":Fj[qBge>x-G:SBiK6P \ZbZ5A*9~]YlePȃ.lgќ(mNGD.Mbv$b<)*vJLc5dXm3ZGzbolicPP98Pָ2. E靟G*vyzm=䗐Qa3b똈F;ePN;l40 jAptu fK3"(B.62'iF!Z)"2|_g"=U՝p;gÁ"zT֎w"|t {s*rr(/\PcqbG?=8mc~jC UUS[tpS_Kg~-"M Q?N&q-uVv\,F ٭˛{ms#G S&EvY-%N!ʊ$_[S Ӽ@]\p#t@x@_!^~9טs b14A0EOnl@`IfJ\>.'I F:)P*Π$ؘ.#Ǯ=yIYȗ*w,Tσz:Om_\~p47|S&|?tS\\@ysִA~|`|rm|HЛ|0L[upWV cM l%xύ52g"|}p!5u~|TQ"yppp8`@/|}g f?X<=4rg+=3n| m㸶̚(=]ViaS2|B{|{ vQB׌66`s-'k'~4 ޕCQp6+2$?Ǖաlܳ0~n̿Yq∭>s(9my>uU™J4ϔ#,ԘҪ*dvLyJ 0#Ē?64Rq.?y)cw2Z;;4M*4!an0㉱Tdp~.Ă@.W04u{xG N;.PAз՟} :15鼈0t,Q o|BDx(0,m謰XWlۋ.qd'ds>FZS:&fG>+:p)_/[d!Y_\ X2Q~Pϫ 3 rX$/G:mt kf͸۬ :,YDSby%بi٤#g% WÀM3…b# \e#'IY҆@6LɄkXkf<5ϰKVg<'-qA14reڇtJXqfuYn(y5+ `nwHT)K dJFb~\7.y18ǐL&0|d‹!Z_18no[%@qs̡)EJJ:X89IZU_Z,sZۚxfQEJbZ9<;u\0'\&T.ʖ/D( 8.3/^dH2[fdCA~i:L˷=p{OolZ/=SgMڕ VBduy\W>4rܴځp!p IfAL r&*[S"$Tc>LGWĚС1oN Wŀʍ<[~Q:=\# ƶ@~p%J@KPYG?mF3h~׿۾>(34An^DyXr~Jw-8C0S6ڨmlt%| M֤Ը=](~d<鿑nWDiYZ^:2Tʴ Sa ýmgƁ=l@*3}rxGWaLu`ɵxއ4e/Y-@m8"Y|br1wַVsXCfQ´`7vN+-'Fm23@ 5Q0е(զ-U ei36'Cva=gW{ 1fwwѦG: @ݕ\Roe#7WpLоs ?eZcvGPAqYϚ?ρNAl֠77'7aUݭLVu" w*{AS6 k9'kmVC'%۩v\gæp߾m2Sl11Av FRB) Dd0GQCi1qڣ\J+\}WڄFGiэv꯯՞{zMkPAO<,/o # _"d)6s{g>W_}{6:AzO bS" N|uJf$Ɂz7ju^Σ5>y ~ʀvgcվ;_G1kQN(gǮ2YG8mIn PͪjVgGgvF.-^& m7v%ag?z1XA7'>kE{7\݀Pܚ*Fb>X~CpԳo醢@.%^)ijO(e'֥NEn:h׳nu|i_9ʃ8]F^SG,(#ٗPҳO~~ ?1y2}G أ~ 'l#]JHf[MNj:.ם\n0L nlC1O(;y4/Γ"xso7cq3].ft|O#۹B~| <2xI.&0'|n"5Qd=y{ PKEYMY5}cnfformula/cnf.pyc}mpǕXk QG$Rq$#Je2,/(Q -3˙Y(q>*Ww˥.咸˟K%?J%NTG*U~\9)3r%;`gׯ{u*1?2c p5X9ŪBf4eBպBOPj7[fSXBf,[R=jla |}zՆ0βaVa #v-~vl] V`I%wاF!hP ^l8ղiefNQB|i5x Yʍm.<770WSuB3+k䮨yq_}d6v럸Ҽ Mc9(L˷mD ++4z|N^kT Y25͍Uv„-XY(@ DKfY-kK^}w*{i̜:?94]/"]7OXAHrm P/@,R]Сjtv8:-Tl4hX)owS8&að7a6\hP>x178&fÛAxsC85p`=?L N~f<ʇ(+q̅ '^fI%Pʨl |Ra)V>FjyX)"S =>*S||OgX ?K, Œr|F>RXa>4 սA*1 iF]tLJLfof`in6, @8|Azق#g̻eA?]A%y=޲dEҒYU8H=a$jn 䀌lRyX 4Jж1I,{\02Msthސ($xpUkքNl}V@bF*8e@EH6 r)p8&#[jU {\;0B.ȗ!Cy꼤ֳYOL|2C蜚U^:CuJPٖ 3\mhXutr ϭn)\쮲] ZGBy>R SRD2MہD@0.~ʕ+f2tiy+wo3g~ 3cy3sKҲ]/1Uc94-L%:I)z4i<} GOD:P:L]a ET,#D̗pۂ{){7BcbF7i3,B^} {馏m>g4X˲{idƝM(pfb-f0VTxg8:ANQ_%R9[WgVUr|6pX3K1\`Sx"(!4m>ZcUad[4;CYx-gF/fXѪDS 4 '*fG2 x)Sc4% =Ӟ x B Jޔ,u@U"mFe./9ϵ!) 1$^b֢)Ǩ+)z=Ӈ\'%@fI Y`WW Y1 \K9*\D5se3K^9>y~brj|pήTENԷxӠ9NX,^âç}eG7KG?֤c$# lJwjHP*uT +79 Xؐẘ3%k Z6'O:9>q'3q\IA. HF&'WqP8&l^}JF~`^ S 5Ut, XT77!SN pI>FtHH I#(~KZ Ok]lLt}C6j W ME8lPJvPvߗ@aKecMXl'%E@Rѕ{+Hs7^.]}|}1uEѴ{5B wJeHW1uF8كb>ͱx.)ATݶ`g[i5>Z2)TZG I]~Bq/p*ܤ* ne>6iߠ)v{tqߵU!Bz nض+ ~'!ƀ@ -&(dږq^M2IYiĊBܲU\ ` m2@݋THynݻem v6OʦqdMip1nP`@j0Z]R>O<Qhi'@P '{z“8ONW71u<8Pͺ%Y"pVMX 1&{䫊y1/Ϊ(e5:3^/4ZWei/C[_4 )&a>ŸF 7^Ė|{&أ*F@-BoP7)&Lzz PJvi]!U)T}.o#NN /XT&JVЪMyULQ= (m\ *iI!60DA JEX&PL3ȉ7Qq&/W_NU(^Z3|M 1{hk(cNeլcKdž4/8/˩2ж*[x5iQxߚΊ)]EbkNNaT@mW\ v-S~ @bv]"eLBUkAy$pUab499@d}=SȮx8 D{1&yrCIRW& :l܄M"LS6Su((Xۄ"ͯ ^izBYx*?5>? O/.&ђ$mɺ̼tZN~*ͧ0eNjܸD:g=: fdpO wneATkssǀE6٣ǘ%iȪFى+B0+ #RПG̐,DxV!5d4z, M2X\A4tI!{08J=܀8%JtF;'k߁ %ĪPoNZ='p=q?fg;]XdFG9V(ǝvsT[/|{t ^7r5Z 4Lt)nK"1,Z}ouZpȈ;[ 80mX\ =Zhm M%WH$6lZlfLNRGy**vv[fz(h?IMpWIC<,2p H#YU-\ PB1&*Xԓq;oDa+% xJ同JXX„TVlnM~2OB^ Z*d %s{d\66;݉Ծa#3#pq c !uPQ'>2,10Bc5؛ʼO!+!ȗu@Lsb=oL!S`% ('^Ѝxmhz6^ӧ}T^O~ z*iNى,C@f# cbwnbtN?3A ,O_X] A*7˸ٶ6r0}7X&άY(v)nC_"mVUҫ0f&8\$n.5 6Z"rEu)hm˷H/KyV:d5B/r$/-QK@cf 17_Wb_mOXTxCfɉXf_I|DX~׾h+!ɂ[:^[bxDsp0@SM@s^3[6%o.7Bv$W|S敝X_]:YTJ>0&qGHLR4Мn :7ESQW*5|"Ap#46#@('6%Ү(J q׎,qt+ r8AR4 (h2G4D+Dթ1%vi$3\$'I)EIAU>T%k 8bXI1/!HP+**9|ZޛI'ƍ$Y R.I'-VD3Z/VՕ}bө$HޔL*0¿C.4VbtҷOK-X4i,4B:)s p+ӫ)wVMmzrbi"YU V#NxқhmC.<  vTH FRfCYGA.Ӡ G3pL?mLw)}2#ay!1&u5ۑ#J:!k# y db-꒕_|5FZ^М)U >NGњEr47}@^K1 H.&*F|@՟?idGt0,5-k-aϋ{egcqC_3ݵpѼK\t|BWk Oo0Nؔ2h$aHV<t'[L7Jl1hc̄- d!9T0fw%ھ)%tRQf54ﺽ2h .ž$[6>}JQqFBsz"#Pj/!hE FdEMNNoaFFDqެW-sc-{0ֆ2BV&jsآQ_%^( _G&!p!8lhHCa Z,SC6M3)wc#P݂ iLtӓdŹfygؘ!Yh3<zHTsCNCF[h38ϟTX!"$|uځ ;"Ky \3pу7Mٵ4o, |_d'N(%cQ[XA,m8B:[ Of};x^vjKv:A K/f kۼ5X<0?-s\2Qs\{(\CCd @⭖_4-;0ZqoCc&} "8`wbZɓ# D]|5oE;bl_?r3\h!jX7 r =SąI}&(aVѥ_:WϽ|E'ebXs666&+:_9"d_Yzp9xÇD=т ?=M .ɤ L%"ohܨ.]C1+6Bfh$RQií#s ah6#F ꕌyyRQ͓p& [l#Q=0ʴZsv \IC f'z7'h&0r/IPE\TT죀/wE#:).} :/5r ,b?Z`#9K,OI݄ƈebs=^umq1YT`N.~!zEuY+|kaGB3ˍwQé ec£v6V2iwIn#]`\ByJɶ(e*Wv"q:x0%&mvυf&^>$50YuJ&zr<bA=C#@x80OgFSnj0B^]._lOņd8w(IZC{$:[le+60{9w#mq%S awrHFapܣus-,BHҽΉaP8? i^pXjTOkY@)j.EFp{s[IaHA?~`ܡzbsd:P=dr{}sKR2x\ ѻ^?2"<}*J;#$p=!rZE($)rPgeɏ R8qpOrVa(j!59.k/hoA'ݨSWV%2Ǘc'Uڟ&"DS5KKVթKK:,,dz0Ȑ{U}wkW 'l8 BA9nFUKO'pm{U[w'pce۲w,x-ӓ;дQ!:pJ(8B1_2bEo1Cꎵ yX܃FZ%ZobxrD2ڒFz ']3D!ژ}DCv#|[Wœ}ݣPS܁t6(RNC*m3o֊]Ee ZCOޣ3`xK|pЫPkshĥQ py:{[Wbz.-jTwa[u om<鸋ožضj踫D4 R׎T4O.JgIB/"IC';;;MFY+$=>C 횵nSfЋ o#\^پc3tV5E[vn-Ì,f9؅Yq{٩N=zXy`7op3+*W(G4N̫Qa&>m-w CI<#Dd >a#A̔;Jv(RZvx >a%p $U(RoV I}_jVE ٱPjK)1!C:ی#nZEIk\vﰸOQGQp^%I]${2O8L'}ooOC4RR#HԷ4fPTѻXp;ْp^ۄ4ݴ 6!^?"]}߄) O?x/!OSb-&hgih7{9L~1 ^VN-2HԨq:=b X0J+,7; B0 o/ -Y1R6yޮÄC98DbY_C*A8s9d9u9[9ĕ[T=1C\dD4vy,a:.b݊Ԧ_<Nl5& xt‡X"# G%{bR=ݩa OgWǍps0pPvdݮ? Q }s$Hjr+ SFs,+x4Ei'KvԈv|<LAڞEP+tktۉk{u'Slh-oZ6䪜҅Fn4 nV^Z"b׋,A.;w䞆rŏ<|+2SEnX1kxXOg SZ8wЗA8 hF2rUrA2hXUo#_VkN #]GXD<%>jiI "c qsq\gJ^t5KKjed[!F ȣC@5")oc tJ<(& u B^ziz @XG u*п~-Λ(kǡ}$FntPsjN)+ڄ1pxnUq^"y8MK }JaFR8|VM;/Wf[1NSwiMR^Y[zi~pMPϧV]2[TzŜ-߷r쬈Ґ鳦i3lwHɀvQE %.JD"(܂o޶ͫ g?Q2uI"'3.j߫hNA83Cxb".oڧA?e_keD'NLS<jU!UbT+ ha-K: 9^^#R2 &w?NqJ TyVRCC7":iV-w%_Ġ37ctnio 82k³m[Mf9_NZ8{3#m=F ќߜ43ߜ˴yā\+mG,s51+^Лwھyމ1<怲`dͷ&p]w@5 Id"N+U)e&P; Zos{@ pbԚܭ峋I=PX3-gq,o޶ ۂ$#xQdl)b?qIu h'̞h"4s8 M'gZs@P'0∩rin2=6f^E"1(-=8n *'|J6}»NJfh_1'.6}l/)&t]iuĶC|)y)y)ߪF;F~rރ LŀoV!wUyAkvL&"zX6Ii6 B ']1'#~y?ebA:% _8 KK)|S)E;Kv!_?F;vS|a~Zу3˻3$OQX+EEZKEZōv7O$ $oydbl+k0C;vzQiZ5QCQBiFcg5ZՕ]hu&_Iq"`;ҳ$dy]Yk^bifOf _C C9oq-x3;n@ÛS oxQ:/Dמ-S4(:uUauqKo,v6Y>ߞữ~D@hEwc'x5c:GXs-)m5C&}#\S6 db DbLLk21%.-1+i~CNx )Kc+S2r(CfX7#戼Ge b#<&RX+A8z-Q/ǣхSFxiXti__/d/(JCO/էg_z:P\5q3ʜd^-a )s O{<\af ynKmT3eI+*̧n)nw?{Enp;qQ~!vJG1M4oܞq=t7pacF>O=ik K(h<ܓђ٣S?/mOȢx8;+Vl 0FeI =#̓3g)"xo*NڵnJu$ġ W]V}]@ZD=:nW.(lt/Ÿ8m*ȁqyJ9(5u0bNxV)Qi:V`j*C@.'s9b\i%[k*rMaDUD!}N({It|ocx8h;Oߴ3s{bmR 8%A#ނ>:ʊ'^@O)op)~۩LxB*t-x'*?z]&7O;aW P{凌1OdzϠ75::e =6z~ucQ:eu%R/w] '~JJz/>1˂6B0#ezZoahQt~k!AȽ@~/D~IK=m m(kt;ycI x1WMߗ(NYGkf҄zI97DKg'q3f.2QPTdG{øcw즆j? Gߖѣuꏱa8oG6)|Kkv5j+ :De]Q~\h8C2YS)TSPMF~UM5hSSv5u-j7WUS?{cު@M2dM=k[XBd?UT0ojViw=lGI{H~( ;%`@92Nr~UEZh(|M3U{4hPᷘtTg/G/0ֱ$_}0®,#ʈ|@VOe&H!P3^7M8 ^&51D}#bḦ֖́,H{(F&!e<6[WnK6^6{'\qByJ,0n%~_K&OdUd<(U PdtCYH2@˽boiawd,Kѭ!إ;zTi^i|&BDVY4yɱF}Me f} BpT ~*\=n?d^ MiWhd!. e눸-77GSGeu :S%):y)ߟuō+,|C;ACH  Jq#D"4ihm~c-ZTN˓Uar+jRg,`oc:s98`*&i(|H"c"Wtg/+)+s oQ$FIhZN(9o7;D /vŅ>J.C歘`:EUĆ!Lc瘴{b"ev#7Eŏ!n^E9QPpTׄ6:Ŕ/O%O@_`71B,STxC>x=?g"\D?b00 /)EIP$AH_0qM&)aEouMn_צ:f7,=`\6഑#Obz^~/)Čpŝ+V:c^?7E|W_f.lv.x ߫~%$^Ƌ4&_ĎFbOjbaaJBW$ .9|dՌz7u/4/Ǒ4E<&7W5` /PK`XMų $cnfformula/cnfgen.pyioF;+s p q.dC1E3CB /ɒb &9o}FE^ZUTi^.gʦ?U% M^*n &!/\*H/U!u]\mBǹXqXWiSpْ!JRBƒ\)eQ S G2D8\4_D sv)‡&YA,- J@V JPy{I5/tZ"_&62Z,@Ze먈5yɡѺ$D.PHBq?J(Zo9 }N)ݿag*Kkޭ=ljkEF>% EwO`S <3xLcg@J`i I,P:A! %.[!c|6f;xf[^g;0Fv8ǭ5|[&*pJwr nv0P_!Pe`n8zIY%63m$pmkgk!*aJNx(Aߚ>{?s \Jt"!_Y^^Hz!9LoZi^OΪ>S #X)UNOM&XVc`Ც1N#1YOLzOtaPUUX?f~TV1Ŕg j&@bTx'}!΅f>Lg`n( >T_H6A2ڸcȸ+4Z?%{_Ԃay{}LFˉ=`?q'iըQ^M+/65Z ߠ]Ǔ\&"{C繻-ɚBE#dLIDV0Yő+]G]L%mKaB2oytrwƧkgNVU5&{TynTMZչ'ͬm;h,S P7QxR)Z.ԨɪPQ5{ѴPoy@0،8zd%)OǸ[,=Tb?D$i(BtoʍmOc[((D͜᱌]c5xcP42RTM[:CxHXaVuu?NNo.RB\p W߶Ȩo#FIp|+FMvA}|ϗTꅶӯLԷ e+1C {2DS+;[ z 24|쇳>`7*N֩y*_PEj0*ú5ṁ;F*jq]3}ON{g:BU㑉(vgiu_$̑0?ÍtOw Q8I28-n֣$lͥh˄6ؑ 7/':'DE M0z6%tm٨!OzԶUqľ քgԘiIښb_MF@o!)%`f!XZ8NV9V#ium*djcp;#^MUҿGhG08 Ir_rHɖ&h݆1N6~3Btz~}ږ7Xe lX.a6;eH5cs#X6 }Q;]R)Yrvpz{tb@GVF!-` a;s+~C*LC?BvΝ m:qa>d܍`V4!} GQʞ{U/?PoZУۘu菇E`p!FqABJʜ"&JvP8 bi.68; -[ñ um>'=Ԭă?6᳥+sԇt6c,όav[g@Cn#qCKcxdP4Cȩ@ 8&0ELI|6R76liog[^jq$EmQ&^`&f:u'b妔 FRgߋodf*"$ǰ-UΪڈ'yHm*T@+f [5Uxr^fW. HI-)yiҞt\90 cF_x i(=-wh?F5cSdwz\Ѷם_Xpq^ ̜(u]׿Ư^\x+^PVHꝩ4O6`DAßZ~9Mk"3`#h墹{yYVa//R-߇9f_wwy{!ua:_ή9Łn ) ?! ߇ It!A,[KU":ҝHp.jRqZ RYQ?l'쪫-ӗ_s"}u2:S<_ǓCgW/afApvy,aHu.RfŭڴXШ5bR^^6bF>=]|E;f},Wx?Żo$˟~Wp~p(-+=S [{i 3V7mQI:LphqMS(ű]d[y0ڝ:PKEYMP9!cnfformula/cnfgen.pycYsGv@%R")ɖZ$ Jdo6c>viZ$f4 3t"kJU{JU.mkCn{SrN~ H-WDׯ_½/"+a SKWxZ͈͌xͳ"ȊYsy.Ch*xZaW ˲愗Q ngqo-4R፥3Dɱ%߹gįpq|\c8!q&1]vMN_YYM wReDM)oH!~׾N\`㱬Eq8JbOi?ӢlQTը C_ ]O6#xU5սD?TTNK/v;eb;]NUIӟ8[w9Zf+Oub{{ė!5P9Z(8bl9KOVM/Ԫ]߉HĖ(Y`DFzͼ$<$6Z(Z5eNbM/x%FEq+n{o_[\Nwh M>,O~^rPr{q3Z6<,zt y{Q.Z,Nᶼ#K[o e 㺲8m9[LA!JX-6>?$N'6-Z1+KjSzlaUQkQJ~ۇWN\f(U*ezׇJ6}`OH`'b;˧Gz7 礯0~-*jQDɬ~QyV%ukueu-U:WRjzz }\i5Z%6d9i6hZ !'Eâc9L&e/vFh= pg 3\p wVs 3eS½Ę>bE>'}З=XnFt2p%]z^g½)(2,.OPv+`ģi*6{U+zjU(I _CAz{ OAaֶ(}F_)Y pX{0ɲ*`|/*YԄoQΨ[mmEi1:Lv@,mYWsځf%޿-[s%:̎O4Gti/BWƂ<! 'tؕKYVeiTj$Nd5Vu74e)\T0$X =e*Nŀx>4.z FЛDLT4 Z:G(q@; 3 h9<5ʴ+_Q!l8 '<1ć$\z p4\m1ozC_Pv"F&@Rl>O~b&p' '3.aƅp%i0(%nj| F[`FӤa-*hBFĿh2ΞOcD-2gfQEgXmuA[]vwP .Q$Jd"y~Yʎ+]DtVO>?+'WY1) 9@N|M>X-)5iM[y+h34OƬK0>U }ri$@`)Q(6'5Sh&ϭЭGf?9 G٤43(-!, _ՀP wB$kȞO>̏?bp(9/V.U2#Y͉N#é7/> nnhH4b/+M! G:mϰoQOh]Bej&?uOpN7k;eG\b&q>MTL/zS:AyOW$1e|^` Oyڇҩ lN\ݵM YmCzIG $VQ36׹Z֫i dD3Ke|95y>DbH;ɖP."eD9\sI cEg(围>,#͂2A}M8c=^1) &WtGy<):@ƿX=/YBw8KNqU$D4Yܱv B㨂A\Hg/0gR-BtQt_XϐDWwLh\glq;@W<$8/: 6E=+$#ѝ1W4c=L$]_e0nZ&mY_K4fij3C N?f9Ǣs{}Y4da\N?!QqM44CcyF'^B\T+\K fxpL% QBs (R,ŔhpSzW9`cQϜhO4BȫbPdՇpB}4ćp$Ҁ IKB/ Ry"l/YBQD/f-cIV_fYIlzά4n5E9?ږT_(B~jrr~&a1ʓHGk7r"r{`G61kZ΍d\V_EiK~1|M~"5/c>Q][v#ux J=~Qw@{Ia(;(VY^(J(T(QH~.T=I 崸adL )w:C< 9aRτP5`aLTJWO zLD~p8_r{15 MVO>BtZy;G䲂#?xd} ޭG)b +ʗ WT[մf*(r𞩖J"C"FD䷖&s)-ttK  Ӯռ}BMv41ozF3g-b捩Pļ0Nx.̎W_ρu_Ğ6wbDK0FUQdG:aGw(|Nl}^Qٕ/yӹ:_6p-cFEW)0X6HgP*oY:WܧM7mt-J'U+&zRPٕ}RhT2fNN;qf4ffg'i?PKL;_ cnfformula/graphs.py]{s8ߟԕ$Vlmծ+dǗI2<Dń"$ǥݯxNfv4ID6u=_dcY\](GX4+N_Ad-R,"JV qYVˤERI]VJe.Y :OE҈5\$LGeU.tzn֕NE\U#VUV47yp0&yc1txE~zL3lnG4ERO/UR5O79erYJLI!EYۺ+r9e3 TՋW>U.f5M%%VVwU x.AfdUeVՍjd7/6 X|cSǤYY2?ӲG*@?e2M:qܟLQ0[e>OT `xJa%]Hg5Ef;XFREs=ŃE+ ހ~IYdU*w3䗘jZGk=+JYSglnm(ɯJXe} orըʊ!E3͛oNˬqU)IQXמ&Zύ5CFuK+y5%uT5ʃU%kY̥(/Ea0s@_T:+ͯ02luGb-n(jH@U0*_׳6GXT*myB^?5St; U"yZq O/MqR!< ?/B|-''=@8馎Eb=,9+bm|]UL./1 TLV%WeNeQv%מ-]njOdIgθ*]v!x<VXc7,N x:wtki4zGaTey-d@5zb{C2+ҩ.G[|_1d͖0!I亯o xS3M5#l73;/oW%;Y& *x8hm2.kS0+YLV 8:p5ip^Lz?r5>/CԫZmJ0@oc!JγlN".m?;fvZYa/{G29?8|'4:"C +z3Z[F^-d=^丸}ssiC:bR Swv:?VZXarV}uo#M ԃkqtYVIիVHr89OƧm05nHv[vLj.` xİ??9TeRލzjxؾ :'ۚ;Rmc_F+l#+4"Įx༿ǀu;oDnPwyN<*ו7FRtLtdjLB8"GYk`A2@^[ePbMP[DmY.F^Mn& b5[QA[PI =(uJp07^ _r+&Dj?9Ji:r z9RC= d {DeIAl2W81KqUt4>CWJN/*z~72lRٌh(:z lK{䚧dȓ Ӷe6kmhF?@Kۊۏ&SԵXIqqi<=R(0C/\^0fj\n5E\5}RYx=x T7|L_ 1pB6@㦌0 V/Ypy`H&;LRN8ťɎy5f  >M oVƐbIU:O1\frdjA<7wz_`hRrVcc$WM\nP@0t,}үHs"7֩'aw jvwX,~riav,A0 6A4l2U]YCrF&طͩ 4j.L@i`oXʬU61S#V$R1_5k[Vz fҸ\ 3VO ԑhi?Ft3$j\QFF\%W}[k^ ՜CrVq@-6t.#,;}Ͻ?a@Ժ g1֠vFpթeڦ_WL$jY_Y&?<{=sDwse[VSqQ5˟@/ݥ…^Ɗ}bS.P^v\| &,񔩙mk-ƢM1fEmhAɖ6}@:+E,3I'јqNjg}pqha]ɞ`}//L&k(u$M$ƺة4ƹ8&Z4_EWz Gj1`4"||d iwM z.Y;ÿVF^a$E+ύ󴭺z35wWS& ?sk"%>/ךMXc*wG>2ԝD;x*T4v0y3Yث%sJ؛R'öNU DGah(Zx,F\(JEz MzI@CJ\.QmW}j3>S7XI+T_`.O V;l10uAge/;ˑeb,`Y%>MM` *%nk\jYoO A!Q/;vƷoD5ox4*"դfXq - x([/շ6.':tՎWI׿R:v4?=+Q|<6΋#b8X@;yVuGo|%e+`@y֦) QO8id3ƣ^(;+%';*2ӾN7~vSd;[-qGR!IVVcB:I`҇~N 6)㳡/O늷ǷWO^ajJ[=)hYN@ UR\8R8wJt]NH\m`D6(qa& vgV+`z9(jgItsgfW|^ӧzt,(9aW|5DPq=? M}Z/f`Š `OT|DZ Vj-˭#.Vw|# 'lZɤb2DI|ه' dJhNۚOc%]ݸk=#tϡ `q;uk}XLtnڝ"[,MX Jvä<Y1Rp-URw0fAr l҅N`ݎp ļFRm0'3#@(!<5@68L_Wn:5"Vj= w(M,2jv7ΆK ;f8QؽoG(k^hn,Keۤw+ 橡yZ<>=> :K|ةoFS5lB3U?/kۂ遱಑8+iTe5tb:@Y;Bę8u(nzod /ߍ˟ýC?lw٥EOt$ӳp)hW*.y^22ٗF&*0j i#WqJ7(I3wȻ%k9ʭG7Kfywxj8ǭqnX;0;q='AzULnU <~5ZjNjr۪)Im1J!J}Vd&ow6VlnTݿz1vA&?'`)0 FPtg=cD',2h#OM$BD2;N[O6sckЦtnpBgaH ΓbDޒxf^//%jމ5>[|+JbKDŽw z^2vnjV4zt޳\#sЙE;ZJq:ٮ07ԃ9iס?A.= 0tu PIP ~*ƌi|c‹ ̽NdԹ{[(5A]AgDEkdmf6]~f[]\V|ߚlKwv?fGR*nB! z갹 퓸@7ќVߑ`]Qr[!pnH$W?ޝw51Y;~u ,PD*ϟWx ]F't,>ӌjn,!Lz6F 3.V0s$NvAWġ39\_0Kw.[SSL8ggnz;CP'j&7erU%S8R(5M lb# ؎;=е^zX'} ZSJM7l.rr6g̹OsC׍ZɻVpbW;>6Ξ?%R7=چ{kA_ٶ% tG?Ea{J.8^=ȣHm-c51ok?B7"ׁXHS:b7a0bwh±?^F+P*DT_GՇGA.yNaFWpF:AU M)>#nu`}/ˮR2yCScX˟fh4U:|mgG^Uq@\ G+x4zy>Kq~y?ŭ$ !fgB;|_~мJ)+΀vq)qQԗþ|:Ovֲ֯5»|iCU[hy$;o/{kyja~w8z6啻bO;}.#H 7Y~틁^LjQlǪ0lO!E`b }wE\<;:.|/ |?g9Faz9ݿ=f_)Li~!ͮQl,?LgK \'h2>Y>~ Ԫ6cC;*J|֤qPg/G,7CWTK̕27xf N ##g$u@P4y>@yKRH6ZU= 챂[ #:L=V#X+Q,[Ǥ^drbz6yD^vƈ)Q: ]T2`vZj(&@@)/[&wai $ו͏ƹ#;'4!t6.Vpݒ^6;R9?;;XHsJrn›1\Y˛[z{ZDk"}r~P\CsᏟZq[{DLǏ?9F0?ڊ[:^>DT6S@I:yτ8HKs]:M9z lq=(n̥dq<: ^d%Dkɼ?rB.B/ u!K<_O?&ԖJh8{3tnSEXo ՑHǏ M|ɫ'YeO<ڀ$2}uYDTg oVFz?;3L^!J(̯/r^x.)<{o~ ?(J-Ş`/n[f+Go[[:MU_)<`2^¿YSgxYr?o~Jap?6h'1l|ʯ){'sTpcYz!Vf$@yWj}X NogXFF;yڔ/p{?xbS><*72 "Muk@Gs#z*V  !'p(QØ8Eui'=M!-ꬹ#rjsnZqQFڟD BZUvjCy&nsyo.IꐀWGiu%v֗vj!ZgpCX]޽z _{ZnK< t*/.k?àZ$ڶ5r`PKEYM.Y4-Vcnfformula/graphs.pyc}{py݋ ^ H%% ]-0%[-ʗ S.wv dZQN:mfvS7v=v2SWǭOgG&M;N34MNg}._2X;uxh?}͆SRIVW ]-۪i嗔ߧK(?=VCꊣBQ^Sqz2{EJ꠼:d2ҫ13ޥFqfY])~uRWvRQG〺2`w~6R0 EUAY-QjYnYʊ,bD#RIhSAI-+^Sd]}*;?*T74U0]q<w-ufj#|C]<|'O񍫂,e2O𛇔('y_~DU~yRgfj0~RO0c(T9cz'$K~a3L qӶ"o1pcoe]h-/M\/͛Ipac?a6@v䥮$UJFi}5Ұ{ђJ;N+M+6<%Ӎ8Ly,c}o1%/χ+^\"*1A= }*: A¹ׁHQ..ͷ$}Ƣݪ78QLfJ30zA['^+~z.5$M_l5ߖg]ÖHIB4q]ɚL 5%̈"d,]^] Sa@6=:q6QIs6airfާUdթ[{=,.iD pqIue*0 EZRmڽ&I-' ю4MvonËvv.t VSzc~|nO"L#jM:<;iMKhZ.F{UJVD`@[YԦZedCh*jOY}jfYm0}ڠ~uW|`i[~40$Wk8H3c%VOrpߥҊIhi%7#c4s+{c (7r`p$sU~Q h3y_WSp * TlO fj Zjܑ5x:q0=׎ C x!RTujG~UsfL\sA\rkq̣zE]P:,~=ڝ%C +#FcP(]vkr]֐U =Xt*{^8vqDX8n[8Dg-ltu]2PwhuYV7 KXX.syovPQaFS48u<̠ %c7bmJT@5-/qg ּF s$Vȧ#y(If30mںH|.LNZ ^tdqFb:Q^s¼!&_7"2v{ aOF3dѬwg5P n15!WO/(g-6tVyly&]^\F-Kc*ak˻\W:CCPlu⿩6I$5'ߍ ς 3XbQ=6kck"ְ<jk#1e6zV~wP+M_iBv!r)? ,PӜmHgeCe(CМJ%' +b)顶Eq-Mݛx@2 YT*b'H- qF.Q'kx&+A#\^$Cc,ݥ ӛD*L4,` 5ux\7B)%>2N`(y|„)I淯RC.\z*qcx5;X_kgZz„9N3 χ{B6&QA@-抗.q#Rq깔6I5EDmc̹:peN׺2? A!fsSԺINDGM?֘Yek_{ԁtyHIkԮؐ/ڵG)/SeXPr+H(/u`FVxiA#2%Sk&,%h=.J'v'mfBQ -0MpS3kIE-jS H Y nкn@T ns}2YL!52IL\N痉 =;Lހh4@nwOԒPtBHVáE[b/JG ޠJxI¹(77DjI.-ye \dMܦ7@-ԝ27h2 ~&K0?>ˑߜt;Q ǚ! 2 +X(XN3X}lFb94'^eKTH|#bP+D;Ί\%-0]cP|(IӦM7 OfH75Yͬ$ j&mwze}\u<. !U4zPJXu_'lEOk{.u&Dq[1qjDfpJOAOvsr[$uپOKoiC{58Z?V-TV7d`&0ƸTx5e͒{IiGX_l^Vr @ B 4(WLh:kk}1]]6pF|B0hE$)nR9B.eJ=nRD -#@aav=W^te.W! Ȳ,Z(/5;(0TJ(˒eg)yH 2F)9w8q[S'3:t=;9%<:͜TSi̲f,Wfq9e.X"Fe)Š&V/A1d.U<:uZYgѐ2 =gq,F%BUJbٚ!h[Nq0l|e%ES&I_[{~3jS:~3;MjX4c2u28x5MlpVc,OH/$w8S!i$CJR]d8R(cDJk:m~pH MޢŒϨsf'y%wz w^|J[KMH%KZ8|@ݟ302\ B?5HO"DNvBr؆>עAwxp %P;o9qӸ_{ 'r:c-T=5nKhPWdXia, v0NqR £Tb1Pr|tNd8/n1pb'M|x|3WLFxwV9fW< V_7P;.?<$Y?HMJ3k:ST!}A $RVК:N+f{hG^ON%IQEcl:msDQ6#m g$J/tZ;tR3{45*ڈJb7|ԬoicC' r#"Y &Y\&)'GDqT4۴dZ ˩/DbSǸ_\0bDG J=jNZcVIH^XO3J"'Nd8|c7ꈚe pxǩɹhi|łnӼ2Bz+vt#dMEf2;Y(?xLEA>Sjn5DW ָ%o?HҬ,T.bH[J̓1Bb<6 BĿ\Wi\`]/7;(b\!i%`Vt!klƸ"y!JcJ-ezU8!lB~mՃlw]\)` (AW 5ݦ`3׮.ڛ~X%Cy޸ȝ7Ts78[U0S~h3@.m&Ꞝ'LkrWxa [ g4mƝSjlZdSSv~ 2gEω9cd6'67GNj"6iM?bo WpTFKw+!)Fv}Nsٷm?KGoSi#<i3%do +Ygc8{ EK=Eݤ'*4ZC7oBm@6 tzn#vǹo;R"z`],a(Li OЏ K Ra]x@q!!ڏ@3jRQ 5hx;N1i|yOqpeDu扶[ۙ/$GnI7$IU]dou_K s?ГѲj2e=?T2 [NŢг}A0m{Җ>K߲Oc!Rl)u`Ҟ[8k/8Z(u)!DDSTe~nT6NCoV ֞x""X9mѭ_`bX/h0\d'{nAO8ւ(ԯuJИDod a$SѻX(ʔ>[kk@Cʔff.23Dm_!7dPċpl0,K,߲tG-.y"gw^,KxkmbM\~ڂiJN $Rn2kBKo@HnZt$QU 8̈M$}1$|D1;{jkzHx2I7@d4]:Q'A` UlnU> <:Λ-y qzjvIBm!cI2e+=j3lZCo27'`,,P͇Lmrm=ǔ6iT ;/PͮcMvjq_[=g}GR>E6rtM*~2Ie4G $HV=q;&;ZD%tWu.`cJJbAYϳmPTRH@K3%rcF6 \JY>fh߳Xt"mn'v`tb7m6bO}ȆDzu.3i`G^VX`ޓa "kQfB By;mxcxH7Ӹ/pL>X ӡ4+^lFpLq{91Iu,2>g,վ;f-uE^_ͮ#4a|DsUC u{?NEyߪ}gCoEZÁy[8(rVD-ϟ΋7švdkO`5*~y~a,a2Ava(iqqmcA5*{ MNEIiɜX.䞳4EMEgo^a ~$8">95Zat/b2/[lm``Ptr#oHLj5VV{f779Zb -+1"*vg/j_4+'mp) ώ:cDPr h9W!9+ cՖCkX8fA`{ svB$8laz\{[X;Fimj/^ͤu#c(K[F\=0OhTͽL-ǰֱ bX&;D:)=`X{톉̐zQW4C$U]!\>עŽM;c:җ-.R\bg ^{Eƫgsen :?}DߊV!ᰟP3=&dg6Hu(Dr{y3v:khvjwI0Kl2I`M{72u@7dQsl/C@ Ԏۛ^g{Ul2a=:Y21ZZPKc-$ӡg?6R格 6k~G+l.+䄈'H3>H86VBx1nev{+8ū@n ~ Ҳp9zܾ(yDgOXCv"yw+[1,ӖcCc|O4IئñH/sנfElJ~#L[^fc#砈 I`E`9Q80 5+: X:N_`*^f!礜xXz>hD5&h̚]ojvp_M$f9HvEsH( >+]."Ο+F]nɐ +!LՉB )e14Jwlx쳉 p`N%ReԔA#a,Smj`(|߶j).y oV%8d㵄 ['s2o;[zZuc'j𯹹$͉lI͒X8'O4'I>jr9onNSu$d4ej"ɨ1E4b?֘=l!=F 1 ,9;ȃd.]p0Fx]yv PƧ'^TbZrlT- }ږgMMRiv~`L"귄ft]`v1-c/%Z{AJBޞfZ]brߟ5F<}\~'N~o#ܬGmx$O䩥p$Xd̑S$$,MNc+915)~J"%12{wțiٓP!bsקdVD]j{݊;XwhWx|QY v'6B"5Sūs}f\?B<7a)grA& O#؃}h΢[F'OsŌ۰N7-xQML^ԅB {0{ƌ՛U<]»%5o9kߖ 2"Q2qdg'm6|`^)3#4e ;G#7gRE~3Hi`u m0zE fӟ)C`@ )0`'/~lm|/RG<05.YjEbH9&D&ɠDC_6eب.0 lJxlM̛7nsحwK"=Eg=jsD-gm☐Z)ڗmB`*՗m?1WV?K|f .^DAܷĞ2'8F3|ׁ\?g@azNЛSWݥ4]>s:^dLa"nK-2{m:d<7~kF 6g7 pߝUpGCg9>/^q,`=/lv`Pw3WZ\-p~v9b1sڥHcQ:lv\6эztXC6Igb^<|kcYqul͂*e> d!&O4Ge = ?r8F:D-{$99&?4IEu꼩S(<2j?i|KtyIHU 'Taݽ饀ik‚rt6KXH îq+ET.榨ӵ͛77 D+ 2b\ٲf1v!y.*oKNj0lMQ7|:H XJ;h[cQZ[Ӳ\C|E/(o(U#1> \{TWrgl^ LfTsyOEϣDnl mE).aօboz۔w1昇AYYd*犎bOԬnE/C&H'c z]~M@PWdSSv]WY1tA5$EgFL:VvkMӽG>YBrW0ZZn˗zҜ9:#Y)#-K˛,$zoK={xEnm\nz lf~4cs_ɧ HǞݩOeE1NNFMSX@Qgj*h;yDVϵ;xnJxPKqWMÝcnfformula/prjdata.pyN!} L,.46&&7  \I^!Sq# Xs岼!9JC9#w 5/0B ]$r@ɂ `ή,&{-:+*4jRF6 zAҴj cn}g>7m\opE([IL[͕L9[wvaB'vN«@\/f ~a $f&D^V nr'U4A+jPILnh6rU6Ti!mI.K=A\_Sw<>Y 'Nfq?WoY6VkT*2+;;7qa1vp!;%ya6+GnGK$"C~rԞ>6;3=s u|Ⳛu!g8K9Tpu)`unZG\\Q}Z&u\⇐[:9pv?`W/PKEYMr cnfformula/families/__init__.pycTQkAhZ`+RDDQHڧpMwaw65/g6w'Vpa۽f_o?kQ\#8JDt<Ȼ`psP|YJNUi AVU! TjW. 83m 3!vWNj.w UDm < ]Iq 39i-g ׌u8729h_Jk%:,TX&D csԿp GKةZEMB0dnaPe]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/?PKEYMq#&cnfformula/families/cliquecoloring.pycoFu$w'hZ ؈KҔ#ZkqJ#r=Y{vs8@|/;O!>{7!ƳyoyMj\ϊO£0vEmvh3 5aK΢;l1Kٰ͆,2b Wp &n>l_"Mm [0?+asi-=Μ7k^`o`YFU,,`7WMD+le~ϿpRd2K4>A*2+~XAv cg'x#Iir䜊TPDE@@DLEg/!مrx0?9rx \B6s}}94Dj0<Y #~{K4] N$qĄc~F漤u'imErFDAϔhK9O2 <{:Q#_x`8E #oDyHD cTH ڣȇhЗBA9E,S"^5_̵s7g)Oy,H(?4M'HV&ڜ0ٍNfȿ 2FPW,MxtJdo(|m0"KnR6"r>͂Z柟'COfI(*2ȘEGB@F,e*#ST2'A-8XLm1xiإP 54F9"L 7L}#%\bjB'F t\䪛 Kk$GwxmLW /a:}k5 {Z3#|hxavX[\?\y*!r gѽƀ?+RqYu3m2wڞc (\{L(ec({*AE}wQl~lEA裟A/ݍ3:Cs@l'ΰCjVnU+PLPGEA+kC /j\pF`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?PKEYMh̵ t cnfformula/families/coloring.pycXKs] TV*[J >ʑZV,Q;Ubrw,pg@A%*9\C9%T%ߐ1?!? g)Ҿ 1ؙ-Vq|&}տ hRk%b[4ma_QI9aܟIӟQYS9eeM"WE*ќ1D4+hLZDgDSBΉ"+K4b$/w 9)!ϋ6=5B|{^wfḚ^"yfq?򔣻vd⧁t4J08<-[U5}=KԬ=yh:Y^$e^z23ޢ&PiݑIK4$02GdZ$$3OYȤcLdC_*=whXX"Nw+͔>K M&D= }_$KÒЖط+[dٙ5ac2Z"x@O=)xF}*nm!ݞ_ eڮKb?H.a=%w8)71,Y>% u1٦t/iܶE?3>AXOv A~ +"Ua1\j1%#^Y;o=}-٠1 fpV İl w4s +\`m!w +n yo+BHjաS0O=_AwVcOwW7m:]J)oHyfQR;|674GXzI!+*R9:eu;&KKhɘJ ]"Nf-֪>dğl{>)s s:,Oyq _x Q*.>}:$ΠüG1N8$3^:# c?=8)A=Ic:v!OC@%Qc+u?KY]>,fw{㣀6i7Z\3V\NAϬev6t* 9D"Ѕ=,ZU@.UA˗K/ahʰCg8]*L_2p7 tz2X>~j>|eiF'EuNsw̅B4K "QeRυQWuಆ?Ƌ`]^k;fb&s<+g kp7 `q+ 4bO`ay0uuE,Uаb:i^Xvn-&ySW췭yU+9}4[Yef}cUd-X5Zx\{1WT,"(mӲAIT m1X|86̰J'TYX 5 sڻX1"19F%~ &΀fG<ۍ,{LrDL d;L(;)70Ec3kgG(o ) (#hL2*)#qnߋ,L0(Ť׭Wuػa$@v2)G5Qr"I[*u7UrP6fh`?MThI-oE:}&|r8vH'_|9Cx!UcSG4Lz}}4?tkl.d1!h[Saݧ St=F1 qaR2Š6pTfν4p>&B@mQ_s8?pVVVVnkշ )v@ HUבKDv]P}2suhx&qhY):eZ5kM!>5-(ܢ4ۧUh\6\b굂\&@%K89 {k0 #JK-y E$$!T >tu4 ,aRe7R yXa_b%S޶++[ k=k]1>>AG'{l=踅uk86vEwJux_+աTwy*>F,`./;A79r`V|)XɒFh~05aQ]EǶ:t_#{zy1;fqXGUWGC &c.Q9K;\+RU!v:wpy_Lyqa՚S)IWV! a|d>1^nB?F -xf| ?!=BX([x݆H\z~w4 w%4 G5K6h1q.+&\i1-+#\!pR?}⊐ŸjiՊӠ; [-sa(U~y tSwӀ7}JE~ 0Lfزk_o+⛜P61#d43H]@.Bܑ!#ezt܅ 6;cj#;jY,b׽-rj<D+ ASQp]4 WjA_m: 8hХypx:9|ЄfQ 0 3~ S$jf`]Lx7LYl {/^b;nHQ館K`sSk,#<#)بqMkmhಡ UFiw Wgwn*L4w5d1_*zVPkC!^[lfeP 0j k kG2 ru5sx lvh~̘Qn^Us:?;C!Uԧ_{B_ĞLR+ccz!,z bNEsSY Ke TQ}~B0]Zh}wxnH}$MWnA8lhcR'/0Cm6ɱʬJ%a}zruei+`rpL3s2F;ἜW!fl׋\@bdZ9Ď ^N"k(| Qax -Shyj 5U M_K3c r*ԑ8 D賍T*1kM?PKEYMo*||4 cnfformula/families/counting.pycX[sYɒ%56@ M, JR&UؕSV[a29FEs7RE* W_owgvn`Q([>}ݣʿ4S}` ! mE HЮ~SО)kԡ]Ӑ4݀ C<,guw/,hu{Mpfx[Y37wvn@ى%`c.ϒ~,*_EYdGN RWA,O/a6U"6IzOE:6DR ңH=98 $PYE"Uo4OʊtИ\Eé:,Z,6(0J:248Eҝ-\#۳`0 + =dzhQ:|!{YMЯl81jpCP - : Y4 k0Jsx|0j,aE FM8ynUM G>tF3@ 38xA桶 'gtϣ4ѭn~+q%$W$#N$?uT}tGڞJḇ}rVG~wrӽWbaQjI#'?(0wzdTq9a, EHZ|{Ԓ]̀Z2u0$у"N{ m/i'bI#Ioo}#ا҂_Z:〱 i㽆 W)Դn6Ը(CDY+Llnnmyrw[BX:(21JB=I?߽A3i覽,J<+~~"1ѱ4Rߝ6v ?D w~nHCL4s/ e6DvCedpTUR\#*HAPj/3*f}.5ߨF+jS 鎣qgZ}<Ovos: ~ 1Ru̾FlBN=edaȯdJ0GfUs[s#4?D!|eD2m9/5©*<3I1E)հ[\.&]zt []]yLvWe]柳?j)/ E u$ g~j=e,fxuq?,d!,%E9찇&GτlU=]풎\9|ϣ蝹PwPK`XMb&$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{sPKEYMݗpg %cnfformula/families/dominatingset.pyc[sW;+Yd)viQ)"ʹĝx265z=ً(Q~CD=1 L|w% X_Z~'-}k|| B s C#oy^/@c ,@TFѬ .BTF 24-Acɜ!@TFs824A" /4΃\Yxk:[ j| ICOٺi[ƭėv+ 4;v*COKI3*OMC}8^Bz2]!@iݑVE^;ߛ%z:IkF_AD:hIg2tIkb5A+ in*{ג. dt`o4WAk(ZPu-]@pc\%=4ala f6E!7"! dQ 'EX% p^" 0\D`>2%p3҉Ez?,1bO;>DmNa>*sLX@lxbYSv8 9 0^#9GX;&PJ CpNR۳$\I͛;vҶUg岍aۤq0^K@uy[?9קdWM(;^tJ*S/H!K&}/k8 Rn -ȡ 8&|s>;E05**|M{0@Ӈ/d-4]ʚnjNF*ܞlInzɺ"ekY[s\ U&˹".uY#.᪊7qMܹ'U_] {o:ILx]٢Hn e^sܴflYgFV83M$fML]F+2'[㚃KOZG(~e<(k*Dsێv\>hy1TRΰrҍ*FޜЦc&ݙlEa(~ϔo'Izܛgq%GZ/OriO}O6Þ*m3d&oSߜ+ҩϰs6$A% jZ(A8a6qjr'}V셌K󳇬Zʼnaݓc̩݇32JGX3?g)0VֻDȂ[+}+X PK`XM'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+T*JDTjO2}HbԹM4ؤqPh##:if#prSs|ZlҞӚ #|~|>>#)sBqݡJj>0Y6Ekm 5mk,ԨmgiO9hj,? eK XIƤDB0$ؒ޶``Xn*u5JRwP6߰b](TxJCWo[QHD et>>o"R>@` YqNPVa5є-QSbVAF Sz~iɑp}8fõje^莤 ӑ8+qT{o[?vR3jNظn;NztoD_ύ]5fj+|׌9sπ/#x],yQό_֦̃zzkPbh ShQhhw]ly -'6r=ˮStm4!6xӨ7 C{vڶ `5*T윮 TcL)+q3/kԭ:;M ?][a XͿ OLb=xRLn }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'hM߶*NvQ—’JZҼ+hdj2wz7=5BFDqƴศqBDeݡ:G:iz Z5kҶI8Hvo..ZqzK^_;vC/'%>+_3 UA5?3b]T>}zwr>B8J{69)8taw;Qt'YNB,D^B׌_r,aDe|@ wY Dޙ.D<.USDqt_DŽ^%MTXoun1*ޟc8+2dg`d1p{cq`1ژ,;Yy~FY[b2 2zze1a2^2/ǻ%ф]`" 6*{jBB9Gn&4?$@NGpϙNHd}ILJF+pbQFN ,/&NMhryJOD%ZDq5{b!z}*jÇƻtɔtW8 m\ΦY65={"NX ߈Y. q['Qo;!뚑6 >=%m|jl\.5C=ji qG?E<6/pI,͟?ˮӚ_|Zc㊯"v`x9^61)*R|$¿-hsݨ׌Y>gy>nj2_Y Y>j]4*w.-(XaAɩ5021jBȧSLzg~\ k(4l E"vO$-_崍@$E6$oϸu#UrHJU3SQJ`j(c{b|={̝b%"E3),]DZ+ZWi-1Tҁ}PQ31>N,E螥;)q'DdruP?EUrn^GOHTJ@QE\}En  EUASDJ븙p$L\E;k+띕0;9^ƕ#ĕ-r-J &\!Fh4NV1SXx+Jc9Zn4C ަrkFDA-&z >W2QI,"׫Ƀb*:5-X#G햍bSԦDR?D&PE ՉP/9K=1'<|ÖjFvO1J`Mj (>7BM5)rC 9xžtU<&2<R>U=KK|͗ZDZ%'Vmx[7UG'bI'1Ahٍ\žn`:2DQs&oH3ZL̴%'øi7`(0Ȫ1 {<ͣAQzPJ1t2(#'<;V0ħRPK`XMDi6cnfformula/families/pebbling.pykss+.tgFdKNdF&nɳA(ETδ1 '_:?DkmJ㯏Yb.Fe1?+>8 /WY"V"-x!UԜK2*]2$lbsʄk;8jp^e.U4߁s Wo[ˋgKvH|ዴ\"\w-g2wjQhK ]Ӯ2*,n$"DžmVq"SNd">6Q"HO"D~䙣 s``sQl/YŜe*?&L.<-> G > Rk2Aښ]/%(~ACRB _d> Yy-SʖEu LZdZbLr[#1UxCz 0]ޠ=&SX01cfx2GA. .DƦr+10Ƌ%Z-5I8:R00)*cvO/\B%R2PE-HX$P*xJ\LؚVĠ ljٞj1mKKk oGdD.`?ʽ-)"C ~(ِփd=ٟ@e(S B$X o#68 ަoQ FD'' 0*g *ZoGJFJSޥwH;Cѥ&/jXV(Peb p<~:bO-ϭP ۫ cvZ׸SWI-m"n nWka "gjPDqaZc0.UQ!{G@&Ldx*m0X@LDd2jq s\G6d%Oe!fCo8Αf!^@J1|\}9Q4o̷ђ]$V(vL9nXpJKv[A8X|G&UZUDL B Zf耴ZKiPs'U3.sΐ+lZ]+UPhs.OXL8~+4>O\R(Gb%G-]0d̴ZYݤ6hPu ukRx`g.@˼pWåwMR/QKp2ٟV Pdi%uX؆Q:FxRma_1vUsT ;twE]eXy)&+b(3MbWhQS0Yd}M(ow }GCcұ]&]|-⧭S_w2a5@GgЬSН5s7SNSO.n b :]r.%*4ٌNMGzNh.]"Pl~vKp`li؁Cs˺VIi ڃ ۗJubꥄ˕%H4bj6X@0 &woP=RqbU}R]/!p#B7S`uJ*f$@ZPR[|ނQ~ (6}](ZJL,͒(*lsvŅm%@]z/B$TԢOCL!UwFWN &&zUU]aX{WA? ?B&xi!AMV<ᚰ _ N.t4QdZe6}_\ د/"([FՠJ7{Ζhȣu68)fr0b=om=?E=yAe3{<3r1F"8|G"`F5-{֘)q}eZfmFZa4m46bn+H >V,08UrJ6Q%=Ê&a' RSMBa8N2n*V_.Mי]=uUw*ڃ)j"5 snQ5mEfwsXvP uԲSHPߛ,9W,_Ι)*ʢxVebfzb&1_X4={Yn0tM[kڭHsvkC71 ;1:% $:%R{ՆRӪ; {}Lhas#8IS @B.B٘W~ ʈy Qk؁N 9ľ^ت0R8}tEz3׉_o%m&qZ~;;sujo_8bp=:lUbâ{A:Pcf+mj D[sɐ}5㋷69GMZ!([ 5oSf}'?t$x)Cl+!;1{ ՘>VYl "t|f kܙ٪P[%٪P@ u9q@/WYU>FD nQvn !9 yhA=Rj/,ĆHGv7,h2OM^++Ԝ31.Qܽ2&p /=G/ω7+ #B3 ?}>%3[~^QWon/]&nG#ߖQ؉C!~લS `Mp}N%dneMdm[ƉߔZ|,kJ&Qo&b.ߋ=Ko7/ˊf"f7ߋ^2ɘ˜-B&~.j zP[-H_؃,lX{ 5 On-m`$w]J6C=6T^q~ؽhU)aB$=|Ç=ȸ!ͨ{D[ե o܂0^z^JF/ v`˖.6NO WI6#s.f7.vr3lir~Ku':Z& tcbl¢("=fb:'@1Xp%BTГ=2LD}"1",Dҟڨg{ `:JԮ<jee_$ b^F難emx\O0X-3ˀ\y?–8M6(Qb.mK, eb -Xt=)){zf̊g+lvo݊.YeTggBO6lv=⅚&I7\*'a`$Դ+nQ+(Em6.s3nͩezd=/gz#Tnl!ԉ`!E ݮT IZ˶X.C ˩Ո __SU0.UZH -aǿȹޖ7n[ϞTcW6<Xjpf}?rFQ<8|Apvx0w EB:,|=p Ͻ +pu ZnЗq;iؑ̚., ŃLCe2~f ꡊ oUQ,- k^䤮 \XMcے(q_Q?yKY)e2M2^n"N.-$&Da:_-NY-8]`^X^(4Qy /8O/xz]gu_2E.*zb.b '\!ʤ߆,4Oe% e߼i +iVC F0Q0οX9\uoĬ/uc\Y@eB1`b2~q笕}ȟ0Yb(Ѳ@B@ < [@jct{b}18H q.U#k r}i=ЅT D!A\\Th)DѮN65,u{=tQch!b8`HKF+7߫ Qb~\Ŧ𢱋3A8Ea~I,فۮR\XVC ;n3Q:f^t+ulUn.Tkb.̂1@ .?x^+=BٱA]!X<<80 ti+0T'i#K0SlC7ޭ2R&C 37 AJZݥ]2h|c+*gdp?~|eA*0`0 8.$Hl P`9ָ,?08EN^GuC(~F#)fQg u;{UY&r] q(SD$Ǽ o7g >-aS$FY`;/+ 9oE//As //ìS2u 2lAs^6 !u0v;4i]Whxo7J]$@98vmxMը}"֨v.e8)lMw=$^*['w:Ewi낵d {Y@& |:ctNTv &Lӛx !xf%jƠ J"<) 4.? Sˌ%e#J~|גO“Uf"v1!C|:j257ٴ| ڿnk$# P n@z Q3Y`&2pC:aa<:_ZGA |1 \Ցncxu J]G(ƽU ΐ%`qD~^M)&v#y%:JWV.i$9}n?<{n1o/m׹2cI!9@;wQe܄~N0Dcv=lFZ]/LxX_jT5z[FZH5x+YL|'CC43+=UYƐ*MiWeLu YW Ny@`&Ɗ"l>Ksnд kyԥDɠ5V6&ivu#)Cx44p0稟#E/VۭV2i>zI*x'C`Ӳ]EAv&FNե4$ _yq(,^Fk XU0\Bk`y6K'.Ƨ}ô!ӊɖaqC ܸQȝ6֒A add߯cͪxI2&0;= L|U)% t8t0q`RcbnG|vo_Lu~mv0H޽QC>*^vfgwmhn)qk׮],gMK֫Dq(ιd `u҅{MXl+<2d$.zj@q*tL)yfsLZ(r NM*P7ι"si9áydĤ.r]j 7 RcfDqkykȤ7l!t5!ĵnd=|+;!?xus~{ &#T8ykXJ0[7eelyz2fhk7}*fʅܧ@lvDXxOPtDt{TbMqMMn(Z v0*UlG%Jz $HL,IIEa*X_pz>q:Y01>}yz~UJYvj q6ŸUnȆ[ܒRt#GqՓM<APʵC'Vhj ["U_^}owD8S3IvyTXd|V=Eo@"qΆAp>Sɯk>&IUfVM3,nyT4("gy~ 6%:2[l-~wbʸ*LQ΃vb4 zn@ %ҾDoQ m^4Ssr`%4@ސc.rU`eJ?(iQ)8O[Mv 7XWf+̹~?06 pݳM3;Y+2@yX}:xZTP{BⱌznVfq,p89Bg: "xۜ^8cUqN} "xwKlx̥* TSw  g|La֢1<LJ>S8t7R5&Y"˵!G S%z1cYFq]\CИԇȮұp~  T7, *m)\IgeBaC ъ4q}\A1Kwy_͜fMF5M vSY=ASW l 0և(R>e", 0y>lVލk`!6eQJʂzw㶂?l2b R[~ ]^4tm-j:DwfHb*wZC2!0rjP'QM|XE5̲BKk5ڥպqY<%ҽe9N8?p^kwqubPc3t|Sͧ; oNcz;4sƮiY/ue/GVpE *M!|ePL\ Av$ʈYddHMW+G Ve= Öwuq{ +bC;r~v~J97.Pf8?8 SU*#ȴ*L>>^~>8?|6ɠG;^>˧€Si/֍=SeT\U#294\t'i;1'zFu1j0`3&x2Vᨨ1]6C9heo4F;{Rgt TdT$T?`ƾuB|=Ƞ<8_a}9,p1g9+SV7 WBdYSUܚ!rr='JI8VxzEm!F(In?ʷІPF2?X޳]`J|Z bن!1"@J?|(8I|UI 5kЦN`3OO7 oE\*gi ;jtbjՉw/PK`XMR"!cnfformula/families/pigeonhole.pyYs۸ο}P8/OK&u<|$! -_HǪ{w Iji9$}}V/#5+Wղȃ#u5AsV"y+Y䬘j)X)ȗE C%X*SqYU8ۯc2Y\8䪒8U\(R5 nI̴t2:f<z[ueT(m@"m"˒tX"*4Vb!5l!rxU svXw`,Cy(<",0qlXmuwzS.3v^/jiY1&svNlZ⛄i*5 s|lLkRX(֘B,e EDK/\ b>5W6+u##d(EKq i-\vbJTY܅WDK NE- Q~\>ܷs#3FLO0CػU,PC6A+;?;=_po idlds/fB &0ܞ$ykS.nNɜ}U7ӆL/-U=: \#cTcC(5 i&_nWb35sb[6W@WW#40A<1=69`;6o11,N24 B_Bg@DHdW7b^A`g+4TpۄP1C߁X^ $2Kt̚kl{r lXA2$=ၶ-& C}Ȕֺh"oP\c|C1c#Uie@Uk-hzydvqE&4"k-FPZ/8uF6܅ȃW mԧ"#2"#NGY[[\{nKBW8o6RUJFMa1;sn,ċy :,Pwt,Rc* 6(E㙀ÔѰì[]<=6u؇?LX v "к)d&ӍK,;^N胸pmp<[Jni/Qv>^P{gh??,y<'=~Kp̂G@Npcdټc8{vŲ}.Xzjy\$Xmn֚ق/SQW$қǻe}7E^49Z_+yey^2ۀǏBS4lE!p+;\r9tTrަ,kQk}7&GCwI45_3 #">h׷\JR߇ f[kю!E@h u9Pr<{T} Kٷ*.<;v?NPKEYMj@? 2'"cnfformula/families/pigeonhole.pycYOsG]jג%Q'$Ye#\TPٙ^ifבt 3ō'Ɖ#|NpxulJ`7_-s~3ŏ"f>e~c1cz,Yc]mquJ[fe=.VfEp~L+DWc5MWe:bXwmN0OT$9>{ivxf :óyŧ8ڰ2CPL O)`ڥhEy-Cn#"UJgm%["Kt$ ,;'OT 5h%0WDgOCӲM)\5hRlm\6||4Mu[IJے zy#=k9Hpʃ2Y~X.*:yzaeE9w5}* _v1VcZ}lM*9v0Nl8f 5MW$b‰@-\솑f\s 8`N*q?QD 5PE U\x[Ɏi{-fN\5jʧ3NrK|ӿaI3Lt'n|nq8+ga/f a:0y}nH.'17?p0|@' 4ݡn (F>O:VH5.g~qinJseں:3z;&D07S K3 $nS1z2l \)G 6alAz!4O3j1sC+ZǵjWj~Ƕ׼$M aUeI 'Q*OZ}WGH/5.cDb(tQ(C([MR8SQH kmL^)?ٱ`ÐFkSWAApk@"O GJqj F@468{DZy> Z\3dSpBd.t`|4.YAX!QyC0R1_cjzDOE - .c$ S-yPKec JnchH/'dBї#qPhBsqchoQ}U'|boU[{E72܀c)L7x$oAEH(*Vh%!?ͲP]ځ=؃:xc(9 D]@=N2yվTyi6n;80΢f3Ha'th2%:E;Y ߯c7[ϫScѐ -:Ga?2^cnĭ8U㛢1| _?GP|$<X| c3?"X IY0.k]U;tx1Ѩ٨D=S~bgMRa6p*>:cH N `-l0?tMO%dffJV4Fu2$טOJP.*kvRk]K;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_by7aUPKEYMLĥMcnfformula/families/ramsey.pycXs?_"EN\[׸iF>R;&qc'mz n)Hen;}}SfI^;$M2#M!۽ _ծ'cS{QglZ6 -lf ,,"KK{eUfЕX8â*۬~5ͲYf"۩9W{n͗dp&,+Oק/{!h/moD@q;nO&N~(!'Cq˘xC wp/tHqyQ`_*tB䝀d EˈĬ ZWHѤJ%d,mR"l \Go1Y:+wa{bOkC?]n  wMAFn/p7&BM> q#ѾH!GW'N;xà#}ѓ@$>Ћ>x6ݵכמּWWn4C=G}{x6\960p(X I jhOF b)b 2j-h: :~t3r=+͕?_ޒwH[QB-%M8 :C=2vK=M༃N1/z&n׮$paU#9k)1 @ @7TQ,og_.攲!Ǝ'';7zxyjJj5_f]{]+eO&YfCJjڐ0/bNZ/_.arAzJ;e2>䤎cFCcZ1L?÷SM* l[N0{_Ag(]ß_=VhWcW7)SAISΓZؽy᭤7d!R[I@¼NS-|HUTʐ q@W MF 5`Cɴm$yӟ@o#)b/PN&2&1Np$vG OW{tFm:(*6 !pDv9wR @~4L ۠:AyTzE~#wqk tպugBnG"d\㦼nqP[TT`B.ӢLb֭0ghV+dA,6-+[ƁS{O8Cjlq1?zV4a(d t+Xtgrtgsu &5(o@7NϙV;L&J$lv(]߄F*9fp.gBuBZRuG}7y7[]6 |c!6vեқ#7ԭunb%(󥛚0&J^Sx.Lx&#UYu{N1e1<~Z*pz(L?@Ȧ'?-2շ8"&?c8ˆbN|+6eTicm½v;>ЭPחzH-** ́w]ofF9(-e,q~T@@X,Ճ- w,EN+jZ}~;4(n٪n9Oл9q&5| Al@6cq8 G­bS7!фW)#7n2MSe: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>PKEYMB~ _&cnfformula/families/randomformulas.pycX[o>ëHI,ql$&pnl7UMTAXQFV#rɽP;CYŗ:mݗ-_33Kʱї s9s.߹V~X!O ?ş6> $W`*$UHk_apܯHh:wZ5ӆɝy ,`v9/%Z5Z W)i Њg3OL(O/wxO"'jNGമba+VbSas.lŸq)G m<4ߞ&BT{֗/ /$+Sq,# {Y*3m; umˋ3Oi'1n!8{, LL*`c%?VkqR%֬$==< XOhc3eCS_as4h(B {vcc Xk\٨zS a&uKϣ%>3;z%+wKҘZc%(չJH̒ZZO`\"'5g5"oP:>ޘ>WǸmf<eGe dw EDBMYq{ؿ"I]m.wb.&DĤY@EO,D?"|A"= 8q; ytYIeF yJ7<%мg8K1UC Y(̪ -#Qo]D̔4lCv8PGR}7 2$ߝq^iJ^@9{a=y-v%sܨ"Z`gENo`R]X8 !;6^v yB$C#~NGIbfǀNdKtWo}X~39bD(leC&A1ӣ8g0"ơ3w!7HvhF68iբ|8ݧ [-$8fc&F8 oU^T~ͿṴESUT-5J^uJB4[.ѯ0Ŀ.\ĩ ۛ 8Kg4yq*I"ҴGpege;0-*L.8`7OA@ wP|cĘs 5p` %Q7\²ˑNR(*IϬ?8k$϶|^\fQ]ZdsǼ=pX`}DWz4IךK C):wQ@sT[\њBV9g!5АG̔ZxFm4KdLi-GRV9_av9t)izlc'6i_)""f9Jcf qGOH`̿Z>Ө6ܨ,w5wlA<]#V^O# a:o fV9o;|`uF CYeAesK.ƅy`&U# 12SST,c-θ\SBeZZkjU[bekAPKLJ  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"OPKEYMr4ҿ^cnfformula/families/simple.pycXkoD{7&!iEP~JdӄR}HHty[Au֓#?{$j"!?{L,$(8h=%r@(%@T=#|c8r&UlN1`ZƲ1c\1t0:mN:wݨKm^:ત{{FUNZpyCę*5f̙IZ(szi ZE s8Ha}6Z>z=&"b|dbH[H&-̫f yvc1 !/%]kgnvZIz~=2G$7qIL֟lQA_K0ʁ#yf3cF2Ԝ0iGKX䜝H#J~wSC;1SIP\'W X\FY($o #q/)WkO;FA icՕ(̹sB7,&v'/53aLԠ.H ǘ g!].S̜ ׄ8}k~\>1+@ 39¦bգ`Uo dhkWu5Yt G}~+^k9eNsOonPK`XM. )cnfformula/families/subgraph.py]s6]Lirfz$ 4O\(R`xbN q:^*2XU皉b;Lwe>Cǝ +x:d$)/,ٞo*WeQjSXny[,>Nū5#YOco'>s@K:nJd}v$2$ZCӜygyt5[CL0](@sW "رrOwN[i>Qi [hhҵb!)\'fY^&iZJLkF3&[:pz:'2 ORIQb Iw>xݶE\5VݱaH2 8ȧ˃}ZXx(OW go<lM `o&뜛7j[̜_d~]J>Fw')9< ]ЪB&-F&쏷aԜ4?}%}Hm4Qq K%q``Ndm6ۢqTkAwI!`z'?9𹩩.CzC7/jhѰʔ+r2JmtЛQ7)@T+ɖ&bjơ X,Eβ?݆<٨I$Me ȊɭZ(T˽?QEu2 {h+f_}xڅG$=u.j+K:Vݍn\w^VT@|<$װ{('h̢NFvӯޘ F6{4!Da\QЛPIi{?zť @=[~89Pa:۽F#`y[dk˱90sC #o@(fhxpFdN0+tjhՁMhnz:Sjʟ6{ӛi*77MW0"X} mskvhmsG۝f4лjӁd+Ix 1iGZ͟nse;Vzd9/ʔ=0 |=5b?r-RO~T` WJx. Hwc*4d74;Y=#gQ L,%U/-0hl-o̾ ,kļB[6;ٸ'o,,AWCc)ȵ.3D-ܱ=G>J!;Y~`岲7<{o6%yL.1-/iFq"D`G y=m𯈦V/ G=4|ۛeYM{o4*ݧE ]%U_^ڿEGˇԋr5)}Y&#okDx쐱 g(B|!4<@zV#M3ڝ`b vjr sݍ !{`^NTШcVӳ*^BA*(Oȑc.r‰wZ;qHׯ_~uKdX,)U)ٌ5T2Wa*S1Wc^5 ^`kY%cgkLH"KQqY,=¼ kTdIMYcZ;üY֘#TFU+̝cQ8^dyY`|ٓ+qQRq:iL@PFـ'c9I3S {G}qi68:S("^P_'iIXԵVb04I1_NaK*ҁXCJ]ϐ rh @MVhU*bʈͽA n)^uMq8xcI*nZoos f@_{*Ͳ*=3˖ <b9x_G6 Տ@;hb:B]RE[@[_Cn"w6yC _t+du|>GpzzϪiό6WWuӷU-;@cכgP빖Zpt@u5O!N6}Mǂ. .7aٴ$a ~ޮfIP:>0 Énə E6leu@ño4s9jBϣ iW$.ht!:"Zv-V[!݉] k%v݃͐gN];K`F'#' n֦.& wN!a++zJkQ>QxLi5m;8ns9%ʒ^-4 XRLX6>|G@uEA$uɴe=M/VazK @s-7S oӐ WztԛS9!FQg3"CmDD[biP?Z,N3P٩BQ!0j׾вSi|bWW^ RŅtWZyu#wj}`M|K\TBy|'ͭ0\&|d7aDŽ6 HK;aDMܴC}n3]hn.)ɹЂj_Hc oMlnV`8S YTKQl.*1, A-WP[l'2cҎ&ivCa<}4X ;L_Y\&# M4w\! !GjPU JU)IeV*KqhYUhZRi4X9SUVsڙBE]Rg+'sL;TuQ55ɱ4Ma Xڵ)M0R{c0x ?=.}mLdz=|F4؞16m-yi/96t}]8FG2iqlKaox!1̧kI6q\6G3ˊ*yb5w ؅JH(P`v0 2Z(UdL OSJe{QDYa2MqH|/1Mp=(]4ݿdEa$Ĥ3OQ5L |DM1bNO pC=lބ,(KxA˄i`q>| {pyj$40x֮ƈqDž5bb%+SHieŢD$F8S(t=OU~`.c:X޹$aHr㙰ɡOQ澱oѸ7:6,R%A͗%R6@R JgpZ~s;;ENt 8Q7th)xl8mN,A8]E.\ևgw90/7RjnR;]s" [_ҍx1 =[7)Hs qB)d 7F1w["U Iuk6zyhICAAPC R%_PSY|JG[^a䓝Xp`?Hxy%?xiXnrI'xnHqSN&,]3<\_7i;T ,%) LH+[W)7v ۤT [@#37ԩ8M`Y2NS۷0ь |H8*+g9oiaB -tB1F%6=*S)ygp. i$='6߹%R%3;_(2t*+ bIQF5"P5s#nr4elbabdhC@Hzl*igoVD"):<ʫvŐ)ddʷvy0 WslZ :!Q.)cLi'Tf{~%:,A's PK`XMJw|gB(cnfformula/families/subsetcardinality.pyWmo6_qK?l5Ia0fI֗tmW4A?,Z:t(%)'^;vlE A }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{kjDS 'N5 wKr;v)Q8E ((}K 3sH)v-owgg3;u/=~|_3ւ U`LY0ZsI{yXĂ2kYZ <ӋUa{e W_b8ZQ2\c~ S7bw(qU4'P@VXŰCWQʾN6rcK@ߓ"P^f+@.pKY. uжzgPA;~'l);+{ؤ5fQ^a6)AcY@s8-QTc|@ fevlBY@>dEZ$1WF ^1WWᕾ»z΋C.-ɿfcM i=JRىB|s= *ޯg}! }a9i)} ق WzCmĥ葄5<er\HW0 hWH.%Ǹ NtG'^x.b%BkRFf'TWy+$ 2/$(0ǎ|%}_n칫Ewov uG _uaDzDdՠ ,3)#2sJ^^,&=U>xUɪH0DH4^7 !F ܜ::Va{h6[C;I6,CŏQ U(9 lQ>ӷ逷ac{򐷻N"oE7?ЩYtYt; wOߗ#<Ew#J{!b Qj>L焣&?؞xWhE׶'~yێQݽlk/ȤJ"5k| vGNp }phv98Q~>Vꌬ̧],/LWǑ1uI0ߨ_˓cOC `בG"kj4`Nφ88ȂA3y;x?LMmfy՗]L m O4$9W[[@z6 P/R @:08:|7}8iD5K_5R]d.ݦ,`uRG&."Aj5q s%ǻǟA6h"'Í-pya9̽aίM@0Fǐ;*J5{Q \(){0nx,5e `&4*'y@q1!M|gIYaY䠞O*&OR` uCio]3m;'cۘHGud7tb*Cºd7I1GtV=X<$@x6/>YޚvSSײe-)9fQ\@.-8XaɹV HpTg8ܘGh43ȸ}v t{됱>q1sm%K R n*!bAyN޸{v /NV2nӪSUq-@:im2N 4ːenٛsx*FaXt~T|\(ۭMwv?j7v5nPM;TS0[E& Kyjf5;~nrY%S %;P{XQ[3N٬6ܢZ6֠95i+i(D!fJ@ż0SL .Lz.E!Rѭ֠S . !!}W9= (//?_x);?fTԳzB 'ՉihzԱqQAP|cg^aY0ϸESӋQ˹.p+ih6P/V2yOlTϙqI[v;9 Ra\ERLy`3YW"gǘK6M! e`m~ri>v2-ptT|+C±.Ly:IGl1L"S^rPK`XMeg60b cnfformula/families/tseitin.pyWMs6WtHcqNZOţ!Ђ"%v<7˷LH`J&dfFjpz$gggNIK-W5b\m/A$YkՒZh Җ\pbm,|Fn;G3ўɾeZ1myL!lWJ$ FFq3kr`;1Zj2ItҰ,K 3'%Y~xZ\4Va *-Fv%LMC< l0]sm,Bod@-H/3(0"P@Ljh!֯zOzF18L/Jc2R]oZoXW.4z6⇻śL0yNϹ@ƥrXLcTRR"sǿ򄹅CmiG"hĨ"`_yFǔ{B{c6+q-sl Y*h,955i GL%].dy{Ĉws @%gOD.ԺnRҦYt%Xv>EJ):d+rͻ66(jU׌P!H-ho1dC 1br>펣`2$f`r} P#x &/׶{ꢙDdaA&),MUB ZUnęZjkoN~oK,d:fVۤnaּÃeΩOnSMpZIv@{<2(azT7͜BcE4αG(BN *ߟi RUzG~IU4+-&; ų֩?%%]<ZA{:F.ϽB2ϯC y4Nd$.1! -J|_sX 7lc1㏌m/{(9G[lˉ%s%롗0O#ot0rKEkt~m]u?GN6k:ZpoU#OPKEYMDcnfformula/families/tseitin.pycWmo=ʊ*[&KH\#M'n(S>-wRk-*s?3{'ѦC}}aZo_~R}pUy(zHa\B*n\F:4mPfkQ~ͲB_7iN6f:=WtwhAQE5zNtL9$6A ;ͯDOujgOm,ΓU,l+|\A`KtɍNSVunPSSYnB[VWkg-|{Q.K4A'.}g(JcGE}Z=O?JO$ lS[V)FGs5X9coJ{ƣe A:-tkEk ^[[MQG ™籫׀m&ޣ˰cE Bq_-'X(A*-YuhєȾzxz \`'G? |F~!;ϟO|̋j!:sc}Eç~G<7yhcrQQ"rQbf:G1fȉYsܑX,y|]3ܸglbP#pOȃx gZ|vk\Z<^db/KlLBL ,:ٔACs)bd1ms7a0qj~z23gb,Ã8U `nJ|$*\Ϥ ( `ei.01]$n7ÈߙafosGwtTiwL$f:̞2,f7؉!uwRoT]WW{+5^?FNh+;i\ { ~ḓkHBTLVazeiF~ߗKeҜ,%A/4~)" SAEcf)U@5i̓-Ī⋚xϪI ܚ?ѵ$óg3f&i/ȶ"FrO RXmo;I8]\dpGLdKgSyw\[܋Rx/ SpSmggL3nxFei*4`a\z8hfqB1%z,- 0:(9>]ERw {ӃC`H-Yo(IZtJ*ךX5Ǐ\ݤĭ"kQ.",wykKǨy橣@Ky0QR.sSZCIfBW쟅(Kp%"o" i+'FQÃ?qaanjӒw2|aGq:_ K7,hm^D_'brw :l8I8HJ,uFX!{] ֡lhatޫH-(#ΛÐFxf>`6өcςd?,]keE߃i  6Ux*o{^ߎ uBR> j0`z'6de!E5aׅMrc-!/ghv˧F~T8]Tw]9yn~0Qg.FD)(Z+B=ӓeIav\Y0(q/3~(Nth%NŅ%1.s]^Sum5PKL Th&cnfformula/transformations/__init__.pyRN0 +Lw+B+Bۺms{+mrib??uu ^-;}jج`s56LQXbG1NJcZ'0 @}Bcʲ\+CQZ"]1 Y$' m@0U8oﭥN_}be<mkJYzTu&P!Z˼o`]Vʞ"S~lk 7RN?NsCQ#N9;Sf*sS&irmC$q-B3ejP;1ߐd1 sL-)Wm=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{=?PKEYMIdm'&cnfformula/transformations/shuffle.pycWrD>+'q:&fD3S+M`00h5ʒ].7<眕' +=Xm\Ͼ"S{S8 {W aTW!¨{5Bgo p,`o $!\p |NDn Ot# _ DJ 3?Q4:JOA:Ih/;!q(\qqZSo!c+USh6IϪ+0{zl x D<ֈN^opj'JLHv%-1L,JXq߂ß`fCj/ZN.[. *pe7l,<DMf|c9d``(6o/ 8" 5pMSisylPܝZj~LlTeT uX'`reo0&VA}A-6aֱ1MVawdu*,V)Xh~,= :γD9C.Ǿ(Q<̣#?vtʇdkasڱ8!r, ^vO"Xθ{4w"9N3׹7t""na:#DQO*$)Maoaȸ Vmk\*3dLc?@i4m!s3suVހW]wFQ?CFTyɚBPC W6{C, {^SWq(ݏ}tN>NYE{Nm)7wġMe`fMm:ipjZMFmHtsγ,m(CR5l_uu&on%-4^[gz#wH-#@&r2%|s.o<nݞ{t5M >FΚΖT)h&tlj +EY>̲4cIF.ͯ0+Y0rLz,9o^at^ϭP $,e\YPaz}J H~\(o1<~##eHfs4b|H{l]3% 7Ŗf?#i7EMYܶ6x[Zsbb^µ7nއ|\b#^`ϦvYv1xshZ)uɐjcSu$p1hO2#I&jʎ3]qjڢ.@EU-Pb)8 Pj* N'I;.)1Gq=J" ˋ@oׄ)gT=3X7=Qd;]g1 3#a..T'P%&O2s8> _`I~6hJ*c?wrNP{[8HVkeXE p? PK`XMA K6U+cnfformula/transformations/substitutions.py\ms6_DƔR_n<^L|SGR"d1@ WnҔX ,`/:iӧ=$l>I8ϦݿVks2M,OhDyIҐeMjbބMUgy.!h:,GR#'|; ?Œ#?iT4k (4㨬,$/I d43PH*5S+.Gfc4㔷|[O~ 5|ɉi*ǗH=n$'\+A-q)h,da69FSG7~YhDQ$B9Ԟ&eVYYz)xEK~~=&ٌ8 ASC)*M{I<)+_"@]A ǖu^7~@ӁhB޻Uȫ*>U ѲV4N A>RrMƢPk= W(q zUHWqXzD<{60x}RTcʸWvq]MWU']Ho}WehYGIbCHnGR INk[epH%H1JRƤU\!&`ymurr |Gd›M&C5= F9 yQ1 $1e/gbj@iPZt Oŝ^x\YC [%Y\qO> Y i[)F:pƪf$qShWj=J ÿ(=^EeALeTUAUHP4l[T)!@H~Xlɼ͌؁{8`kUG}MJ c][z3YP<d̈|f4/+iȌWILm'D٪iE~9".0B ;&F|HL˽}j3ʂ pH)ۯ7ApK?www>}zV+_^QX ˜%oї=|-3/[k} în] %g(2?B ZsV1ƽF,eCjR w"2Š3GGWq xa(5S4ӫD#vs e+Węc2: R )3}REct )^yg-bpwӧHe3^JBft\X]C X#[G2sV)pd]׈GKf3mN(ӇGHM,h*b@! M;R{ذb#L 3^Ybcr>ȦC+C iEp P+4AeDfhY@h|ܼ^yh@Ozb1JGH>w@I0EbJ#ZaJ| cކ\X̘b9;$ S A9 c΀hS+-lz+8HD}~kamygq{Mw>g1j@sKTu2;k1e EOи,ćIp#/,|3pnw3,elb\>@758"=+LqͽDMƐ굻CJ !+(mnF'Q^Hcn\w=gR1^/R1o M{wsR0 :\PL-K$,p vTmWaKǏmWsU@*ѸӠ[EnSblۭ5`QUenpR,+\oڗ r W`xqOhqO%3=k"W(bFQ=bI1)vxomiV.P wmM,Ckx)q/dBx{eCQ<[Ɨ tJYx[ZW7)X ?;rk8.h{>'PX&̌s)dv*#d7.^Ժad=Ra+TJGLvzZ,J?ƜՕ86n ?=k~ڧ*UFSJF\g8[&~/:/HTCS2A'9 9|J7#ގp >l9)@?TPA:* 9Te6?YAԗZ=HDTgdMJX^wq-o=X}e&T(Z<_-E5524?Ƣ"A֌}*ҽecwVm;fgl 5nݬɡDߋe\8n8d8n( Jl[qRq"~a&~ST?!`eVCC=)àp@>ID]d;R?j{8h%0'v:VKU4*p>9^sz1x~RWT)V¹{홻q/ulP ;(y~,NiCs%;EcrQ>Er5u5XkޖnUק { ΪP{N ߶ ^a4<GnΈhO+h4~4ոmguVNO/enn l:{ 0lG3S<=z1C[A2_ʓo_ \rtkA6YVctHrx{tV~Ȁ?wCߏz,kނ|  ginK6TRh0#qQ L.Mp? e9YQB>tX!\&'N4q!hА[NM?[^ݝrSrf$&QI;6i\\;N3%KEl=K-Rqb'eXΎȖ0#PLP3C.6mvvQ(-CQ@)[>@Eߊ)> -KH)39gᅵsF|,?q4Θ 5V`Yi+c1~g8+&ll6ɯ&XSl6PJҬf;YqŊ]luB7+fY)VeN3'r;w{ح>椘9}%B3PZLMKi=27dڞh~JSھhZ?G(m@Av06HidP4 }C fa6 C2{8 J8d40%M8B #~٣3%f?MxN0{.E(P2:Bu`P9jX# =P1M;J fWjU,܅ϥBSwLVMR]xu%!e%^2Eg+hJϪ]/-}fVW輦*5-j=8 J4vlwuVMjVXtAYO6fClK˪2c'Xf*"MI@NjL9Īd]Sclǚ蛥o(/MҿCya|U.8en* }ne+$p}'Y>K.*cK/Uuѐ^^cLe{ԝ!9z^3ψ_B̙+ Q/؀׹oE,?op?rq4f$9#\p  rIil'#MM dނCD1W|y,,N|ex5!ZӞЗP!5by"ʌ̙)U/0t+SU_vVxӲmU"pFsx(OjBf-z8[ő GF\w!t9Hw4.I1!E3/ NA݆R59BQHuyۋ`)<DAQTJ.Ja³YAJ D&MlB BzF~b[4$(:ӽH<HA ^6|0%N|n5gym]19rmy+zGolh\˻txM' \+ǯQ]3~F+1=[MS_]/4OcY yF,"놦d&Ɩ_SdܥsjPW(.xu?F+Dwt?B"kR[5& pPB:СhQcM8=1l|`{4(:n5cb|O9ΙJYPK# 8 vdb_VE}O9Avp>LE.0˴^XЁ`mrfhsV˕Rq*q!jXb`VTJ),y5نeqIW8^ԧRJn tb=OIMhi8m( &J6 vh+4vtTky2Ha1ipp2y67w6@ZIR:fL<ĥ*!?!B@\L1D ]7R]b3[rp[rhaēƄ1NI|E1,nԇ f3 йZdrP4zrAa|zPzR?ibmbl{u.[/m ZȗbMqTEr[b 4`{ZHER뺍!(ozFZ;SP~?nڸb;]}5PKJ#q/2qr S=s|<$ѨlV˯6axk8R@EIgqRCh9(ɹlENږW, C(Pv`!B 1"*v3 \!!lx fw/×$FJ}I}7ŷ~f4m$,Jk"p_uJ y3|7ҏ*?BkÆr #mǟKp=ne^PwerR50]g%F ɴ^\y vQ砒c}]ZGi- k}Y0CU?gL z-gp_H1RHeȿ2Iwud投DdLdQaDgO)"3_M_uP"줠t+pX j{`s͡mIUۊӦG53x WI_Qù"&b0_(^kClZV@.ucjFsX}[!c #u-wnE"[ݝL&O:J5EcjKrrRtmmA :Ӥ^A+z c%O~li3 4A58T`uK~L~]zW$44Z7_tQ{yfdNJNAAUT,k mŬntՍ^"'ʳ"x~ Ƭ5pһnV&NV&OLW%*;V069\@N Hq%R#_4r!$\ W-|fP jw3&syrz";_`Mb%h(h2#HDJ_Š8YCF 'C myxnP Vm5pȀןƍ[ּDŽ-cn2k5³;U* %-#Rpum@)m &ΟL?/h~=oTb3 A΄JPޙ6V ZHCzօ|θ_&vNlvxvDLՂN%5Dj" ;S6?d*&|gKdcϭW6+'*'Opޘ 6۴&s{x3I~oQSLm 8Zd"N;ԪQ xu. ^1|q_CČ]_2/I @ЉTn@on~3T=l7~5]l`YGt\ْi4\H@sKva/gl}I}#\pqTA[# (H7JVw>cV31ٗm?nI|V;Wk3-ly@lYхyk7fXl̷V1-oINPZ&LZP`'IzӦONs*i^7 OZvM%{Z\Wv:3= `9 E yAa|iV61.V%0GiZ6$}f-pEkwtmWuP7 uW q&nhxm<v_LETN/!Px!W˾ɠ'iN٢ yL%mhIxY6ѶlDUljz~4dUћ)tHh4wK593Jp Md&MP0Aٟd CQahKOf\]zW^}H׺'#y>O(|0|8|3=]o`}PK`XM&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 .'APKEYMY5Zcnfformula/utils/__init__.pycUmoD}ږʋ/JmBPP PIE`콜xEB@B|?g ?g~<3wcxwfvvv?[T?|>"E! >ģLQߣ}TSPS?}%M4),M*-jkfKݢҮgt?Ӳ".v-AU[1C`E̓E s(I|Dz|OGDpQCM|DDDۇj4CC gxQ̛2 ,O)N7/s8'H OTJ%tq V~&}N Ѭh"p]qNdMvtkh^[Ïh@Y=QÀ4l~j\Ta=73qU?)>L,J_Ĵ//XsS8,S…0ܻ\XkWkA4/$Gq43*R6q~YkM,PWWnwYTfl"u n3x{&JLu[rvce^;bǧ脨;{0IaG[4!g-Qg,w@*-m߁*KsLi.G1$ږ&l^fEt3nطًUҦ_38v˵]|iJHjr]9ThMhATrֵd|ƩD6r`! ܿ4y"FWؘ y9<˾p|Ͳ/fr qQ%Q`eav0}@ < 4{w@"#Nfz'Xրnq9:Z']ga õ`FҦ6oTMo^Z+jEzTS^55]eoUoB\`J%W]K>H AImrBCkLLJcE<1e~p6noA|QH6Epv^1bӞh b`AGFn=JpێA"=ʌFIU6Gaɛ0 p4w-@J_6NZpw8.'Euo{]]RI* "CYOip;-ٸx윙rhzn0PK`XM%-Fcnfformula/utils/cnfshuffle.pyWQo6~:($t6ӀhE[4^@%f!*I95;R,vb%wœyg|)\ [jre .Z-:Wd:TT4]-uWU5ae2n ϫuF9ȦAkr8 'v2>ۭ 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%bCRH,ٲ|n\QnHZJb'5b @L͊3$^nf H/UZ#}-пԗ<h9P3gsO_  Oq %/C\nubP] tkSU"tq/:]{ˠW@u _@OOH{hI_S3ġv8(!.#3Q$(MG?-"1h^/{Z /Y+I7J1$ p%1[uGţ 8`gIշII!-(uU`XE !`D>.Q} m7O|Rc@Zc]$ȳj%PAmĊy@]e5F;LuP7} nisni3ᇠgywA6#(P?f&͈]P{"Gxf*ܢb,ip=H N kmO]c'LE #B!է \w0uπ`ʀd@;ߥSQ>1MP?aNL#^B\Ixe0ߔܑO{bI8<tYa385d Ÿi6fsLP~9"6ġn3ױv!<1('s4wJJ=a%_q},lxM\\F:TT:JJThGnɗ9b.&6&)B)+ӉK?g@\<@s.V9 Vk)S_ bubwje<&БiQuX=m-L>W# -Y}ahT2=s+%9{c8AX5v{q>x<~|[=|>ɞy.Zȱ2Q5,_&i3۾m6 hnT]ES<ٙ b*1Ҝ^ӡ L0ss[n&n*z~68+;rrK?qP'hbݙrԦF*5DR?޶L}~^[)8{  1\(|SCnf7㩛Z ݐE8Bt]~b1 Rb2T*s23<æyE3±OW鼞WTluV"rqΙ%mCC&չ\6`bk;^5+;B8PqW$[f Fb{VCk;` T wLlovg #"PL mK^'`FŖ,C@X;T^w\kbE\ByS.T+U.ZUZ;-FyKl ~I."uq%AиP, }'^kttȘ]zPvӃBݡ馟oggW ʝ@ϊ<eU-;Ʃ1W2ZZ+-2FuV^}, PKLTh 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ľ>_PKEYM>'$cnfformula/utils/dimacstransform.pycWoE=?8΃/ jVP*QKK>K]޵}=uR"!R !>]Pbof'?j/CO /@ ; @( r퀠q Kʠ*!@rVv4AU% )&kЮY5ָT05 /A/]_AWOHv'Ҧ~lzI6H;22612I_V3 :ұeٮnE~dZm7)!j bxG2'l"c/Iվe H4 #U]# IwpAԊz}hLǡ_mtzdG6Om¿ւ@c3JZ7p+l`dC]gGĠOp`X0}c 4YdTrwYg&OY88y PKA]yԛ SWA]zuk4N6i8.E=oz5'{8*#h$8p\2YRN:RTW?GUf, n wNB Kv<}.G>?iL$5xؔG~jt:($Q(;8=K{ yd-GڒWӀ2mʣC>Jqhy{Ot82bgv1[r)g C* o 6N"͍EPDljnB*Y FK*}>6&ѩ06r midlOAM,wxan>@ľDO35EGӛ1 Yn؜+$ ɔ3i@\)qsT_*,cT{=?4yL=vLppl96DL&R5gr$60zg=3M/A4H]m6ocrsv.?vWr.mJ´%mb+Hg#jܘtA:*0Q[w5>hMk9rkt ,O l-=I87j0uR3>Nbi:Y˔XJus /R,*Ysh b8|PA/dc?s"b€LTydMS@,e[2WQ$aɀE ڎs9RKX`ve8MXPkc= :r)c$i R}"NW*jgn&wb0V)0-98(9,^d l6v8ibV2ܛ#ÁۧK&2MTpnz}A\ E>^<'uSIKp;ƛs{7 שY)(綊ͭ3yG@ͧP\5%juNdgYugTufb\YPKL __ $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$5Ӥ B.SBB3YnwfDr$DSvi<8 d,!ww|zTzo2NбK<'|Fs ]*]ow&`.xs6 _˝P"GOgw\3O)0ݥB HKأ<`l$#Ka$PFFY*ol#fMtcg%N1꯳\[&q-؄&z`~n XTD THmmu0}+W,.9w4If {@]<`-.L,ڍ9nscƆsf_a`~K:?87h.1/"}XNzb9tDrWr+e66ϵNY8>kD*`N?UwcGe  {D.ELrpGoB({̊ onvT14#hBiZNtCT2PNaq)%*Vd J1%ۨ%퇾^06!fi|Ji?uVQ:Caʼnt=pz^۸Av&o(A.%[(Eg*Cv2{{)O6FQ!;X AT%#t$9jX0͆yVi}3Dx(b8+$(C[Q! Pɋ,ܐ(IF0WBFΐJR;A_X @;`J +}0D^.hsAfzSTpQ QH@ N$-꽈:RcBߧ EJA\P0MP0T2y=uꫬl#B$LM cgP5EMs*mB[Wx={_) bjlFz).d _=ISHH଑ yxB7}Ά g"՝"w4k|+*#sl6rٖ%#90p4Gxn~cf_}1oL[|'$K\siSIw ,u]n1Y»*u$2+keɂR:|Htb3ـ %J&L)j2;$.Szj4ȎhzyMe :kr90PG^P`w0$hl}]oiv@:m⩪T`z ~ƌ`')zª'9Ka+%{s}^YQ Ᏽ:j 6efqh+sc58})V=6T9@`!w(\y{'p׺ ٸ= #} w12<]ׂc}T5[̪蝌&$+P=OrNASd6@j2EYz\vMq,0sA` Sa-vE  cSl{ϯ*@TNU*IwV FWqI E\e;@]4vd0e (E `@ Ûg3+HbVjh;i^(O:n,]bUjeRѨm%<*]ۉxDj4Bj9(T ul5*"`(x̱TqKp̸N0 =RD}z З"dY-X 7!1'hq\!OgTq5u͠}YžfcvpI>K'|tҐI)Y7x^ M0{)lt`}V2l< 3dw +hZ ғۡ6 KǃK96.0TГpg*mI0< //W7h8lfUi.?Q߱.K!ݏs5%ĺ8]&DZ5KKl7nO,j5ro-hȂ@dA!e{NFg$d =1V؛zFSG"d-+G{Ju\S* ש)ICU8T",w3_dDR[Vs.EM [i}Gq1P_[Xz@߼ȡZ?US=pՑ| @&@U"@H>'u";*jrb-ޞz`w-@x2m{x]ќJ܀?$~^t=G8[y(h[?kh=9O6+^90~1A/}nmn+bihռhџ k%R"2 E7_w˫wgߞ#Ӌhϟ?qMħgMSd YS$;5q6S]-t]mBQ߾CcIYz4}"|90Mv@o0&k1tiQnLMFY ώ j4 etμwz|yt93WLS6HVtDTGmi)#7YlTg AauxUanl@/ qkX){v7;l[!'̜1"Jp.:'R(gj VR$~;Ya '.,P U|m6 Z:L'ؽ?.yv;ӋF,~%6<Â#]ՑySBpI+bCVT* A-`Ҷ ]>7-G/Q-@I(q˜b!< yHǴ xf*]P"J蕆IΟhu8XvǶ /yYoV3b"&IG(~~xԡ+]Yܡ(Ln B*Q譭1 tv]ׯ\Ybqv'[?OqOCX 2 QC+mJ#EK Q `>tɱs MnjD㬀DHx 񚭪3!dޏ]B-UkJEbV%8u;n7wo?hwE-JJ;@w쬰ȼ6m߹RG.T0CH_ذxk~_: n{['3ɝ/i{Y2׿ Yh:+S 1iӠp ϊ 1} Z;BLl B2{A5CQWt|ixTA VEm(+fgo/CE`j1KXګQ-S7Q-R`:NU:Yy@|;ʴ-&\añB6wW: ruVQ”U%P.6U{MIܽDѺDzona{%ؐ9ovnnq2U}I_nB5Xo7܏^u4W˰c(aK@uSW6U%OIߩK]ZSzHu5n펓 ؎Ε.' f`gիBWx&u$Nq GH'Γ0YV6poHS],]aȺԅPKEYM%R6cnfformula/utils/solver.pyc[Kpy Ck].JZyMekWbJ ZKQCfaUqTReC琢rH.qTR.SN3@TVmeC~w33'wL7?Ѓ#=Jp,іc{xωvN gB8yD^yR8S)'TK:ͯu_'Wnu._sE}AN겲|OhE 9-HqosV"M)%[Wo(h?tC u#/Son4]Z*lz #Wyr7R~+m׏+춊P[UXšG@" "'v |﹪c<߭ FVm/UPQ BUB`UE[*)S v{kT&4 j7Ht|nHnzf| K2!W"xQów.gAx:dP2G3M$ϖ8ʋühⱐGr&aA⏄h(G$9dqd]('m?h GLPiVCjGTN pCs HfuU\$izKU.۪ZK\2n <r񚊁1E~fQ;$D CmD(Nj&:X0w87PG {bU;9q$ ?_ix `t {]H"^jЄdcݞvviUBpAtPxz;/_Zs͵@[cfcĻ`]t+qE+Ȝt[b\kDN^6im B d?1khzmy~'%Gnaȅ.1ov[޺q:/*wꄥ!$Ho?SĶQ#qux ցsHr7ՀmkI =7"3о66lODF̓d2.Y>6eI rA%Y Y_%˲H {B)kNOdJX k*Xk}'*V\ĎtHOg/ƙ3!GrHˢiv@9 z C0B=e>`4AcB5?/hx/%?(ѡ2~&p+'CfM%OP/K!h .~W3d5f @ksuk_ڇ@ ̮ygQd+BS%D3OJ4x]$P{ړp \!g@ZRݱH)Lx%9u4q U3$pIZodث@;vS08q;N@R,"ʊF 6NWuۄmZ~7 X{6H=a}OT%sGWޱLc`CJa z]\Cbz1: ~i.n'\_V=z{Pw"A~hy!t7emeIQ5M&>LrUm.%ad↥E4nR~ck>zpCE`򦪼.AW;TzA]Ȍ{88Sb{`,׀-k05`lg1ˌ!$1Pmف 5(k+!P)O\A7z~ +H_C5$/!YFY3Σ@VE:70dR5$~Bvy ׾w3ѝ0!̚UCDosc|z+L'J@'5.9y*9YQ|@R,>1f`B#9(k+F&,1ŢF@J#EULd JY;ͰVrUL..%iLGv 2yNgssX9gk\20|2Z5nw=toU[2>q$-.̐7h v9>p*`S(2`vKFK; ]8jٮ1ޒƽW,^M#?}Mx=;&1&OB#E2D2ŎL\#GcSx4cИa'ƚ?~^ʀ4K1L .sבվ)h@@b `k)XJQ ’פ{2#qq1E3HS$3/>ۢ}+t-tʲUrSg'ҋޏ>wx'oДܣ:tnk76o_m\}:}K}5&<.,n*YY(!L -26Wq(]GYqdqm+c!^C>S4rP;_e8!B0MȜJd6w@>[}L1[i ivV>lۘx+`'5jmp]3]Cz`G96ruȦ$W֘RKHXɔ̔y4k\"'R~eR/~Wn 1  ziŪEZDcƗi0˘ _%`*=e{Ȋ{j[|m}Jx@:~_M5}꣮p{h!3RMFW;)XY(uLL̗2zr֚9 7֔cO!!aE@my uVYP?B*$Ţ!t!W8lsуWgF(Ktk}ϭAZ&᮴x^^UԷ+Oܬ( ƙi6캋a){0WRB v}^[;+Y̏vZM; Ozڅrq^=ϫ 0Lꍭn:1^;Q/pc^ a kܯ}שEYRuvLK29:?v`Bƣ-T$WO XBrb iwq\1ܷqJG24w1ܘқlh Fu&² dڀhÑ mjݑÆG]y] nKl ]:_?L#̚à nI3J݌5;_ĺM|,4V gJ#MU}tM[spsGGkwFE${A1fk3<=v N`,ݏZiHF:iHdzj6~-&l6H߲iUz!U㵣],o,08Fp{Yw"mȶI[-.pV"HgtZJg::`OX]^FrmbmQWfm ELϯk?VV#Qk8اo"APP_: G\ԃۦ 2$u?)b}L>&b7_Z_g׬,L^fA.bnF9-| x{m{M$noctHTu^C.LKǃz3> ^۽+p9YfslgɑDq?PKEYMUREGG-INFO/PKG-INFOPKEYMZbeEGG-INFO/SOURCES.txtPKEYM2EGG-INFO/dependency_links.txtPKEYMmcEGG-INFO/entry_points.txtPKEYM2gEGG-INFO/not-zip-safePKEYMk9EGG-INFO/requires.txtPKEYM,ˏ EGG-INFO/top_level.txtPKLPM0cnfformula/__init__.pyPKEYMm {cnfformula/__init__.pycPKLH@qq cnfformula/cmdline.pyPKEYM3K jkcnfformula/cmdline.pycPK`XME)<x@cnfformula/cnf.pyPKEYMY5}Xjcnfformula/cnf.pycPK`XMų $ycnfformula/cnfgen.pyPKEYMP9!^cnfformula/cnfgen.pycPKL;_ &cnfformula/graphs.pyPKEYM.Y4-Vcnfformula/graphs.pycPKqWMÝ cnfformula/prjdata.pyPKEYM&Ȱh cnfformula/prjdata.pycPKLG}L cnfformula/families/__init__.pyPKEYMr (cnfformula/families/__init__.pycPK`XMiǔ%cnfformula/families/cliquecoloring.pyPKEYMq#&cnfformula/families/cliquecoloring.pycPK`XMҼܛmcnfformula/families/coloring.pyPKEYMh̵ t O'cnfformula/families/coloring.pycPK`XM߃2cnfformula/families/counting.pyPKEYMo*||4 "7cnfformula/families/counting.pycPK`XMb&$?cnfformula/families/dominatingset.pyPKEYMݗpg %DFcnfformula/families/dominatingset.pycPK`XM'Ocnfformula/families/graphisomorphism.pyPKEYMgr-(Tcnfformula/families/graphisomorphism.pycPK`XM7 ']cnfformula/families/ordering.pyPKEYMr*- ' ecnfformula/families/ordering.pycPK`XMDi6pcnfformula/families/pebbling.pyPKEYMU@xw< ~cnfformula/families/pebbling.pycPK`XMR"!cnfformula/families/pigeonhole.pyPKEYMj@? 2'"cnfformula/families/pigeonhole.pycPK`XMj.cnfformula/families/ramsey.pyPKEYMLĥMcnfformula/families/ramsey.pycPK`XM%cnfformula/families/randomformulas.pyPKEYMB~ _&?cnfformula/families/randomformulas.pycPKLJ  Lcnfformula/families/simple.pyPKEYMr4ҿ^cnfformula/families/simple.pycPK`XM. )+cnfformula/families/subgraph.pyPKEYM(- /cnfformula/families/subgraph.pycPK`XMJw|gB(cnfformula/families/subsetcardinality.pyPKEYM'V)cnfformula/families/subsetcardinality.pycPK`XMeg60b cnfformula/families/tseitin.pyPKEYMDcnfformula/families/tseitin.pycPKL Th&cnfformula/transformations/__init__.pyPKEYM'g<U' cnfformula/transformations/__init__.pycPK`XMƶ}O %' cnfformula/transformations/shuffle.pyPKEYMIdm'&cnfformula/transformations/shuffle.pycPK`XMA K6U+cnfformula/transformations/substitutions.pyPKEYMJ]5qq,'cnfformula/transformations/substitutions.pycPK`XM&fI @cnfformula/utils/__init__.pyPKEYMY5ZDcnfformula/utils/__init__.pycPK`XM%-FIcnfformula/utils/cnfshuffle.pyPKEYM2Va3.Ocnfformula/utils/cnfshuffle.pycPKLTh Y- #Vcnfformula/utils/dimacstransform.pyPKEYM>'$f[cnfformula/utils/dimacstransform.pycPKL __ $Tbcnfformula/utils/kthlist2pebbling.pyPKEYM%Hgcnfformula/utils/kthlist2pebbling.pycPKL{B,W%;yncnfformula/utils/solver.pyPKEYM%R6}cnfformula/utils/solver.pycPKAAZА