PKLPMcnfformula/__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<1[8& Jmy&e0v 5gɂe+f~~aiN~n1^?`H50YDOaiU$\IL Yb<ž}7oNK.mYd0d*QF|MSF~V>~ V"-xvGF!K4K9wxlqt)\~WBn ;FZ+i*~61[O =ao`j!T ~7{ei8fC&ł{v"9@/N ܒfJkgԓg| tGt teCPLFNvY}9(nsцC  ͟4~+¬t7pZ`k&™Gb|LTȀ#H>5I)V`ѺMn& <3-͊B.A|H!MPx4>=52%qb6Y5 9 O1L lv00sc$SrB/: I:I6~ɹ.9Rq {v0%)bf |-^C"TSJ5Gimz+2ŷ=[pZEou [{q5e36b +2]=[f&~F$(b~ St0 |&@ 2.76maFxf6ԗei[B.@kfX{p,j t1W}.A$xM*<~F0 rA+PIq,")`+H2iRIjl;1ygw%n*=sIHx 15 tc%2 0NC8rU̬[ $n_1P EB GcaUh>RX217KcwBz:GS#_`{"zHvK;#zbh)m51f0D~,d m#ks~8]6H>υK(n vq=&_ˏ߶//a7;tOS'>-݇\yw{F磫a"K%~SWUV(. zw~t!4')V8_ƂKtf XC4@ݞv'r뎓ԱEBe-g2;TvdaPjRTD)8fCȶB/+Bjz7H܏)$zp@"2kY@~n%~´ 4?aT UYϣm; <^JKS~#zEic-(-rF{{Dbh/4INL8.#`< L맓 y:lv25Bq_G]0HX Vg#AV޶918gD욈b*Ob$HY;{Vfk#bfXmsO0=$aM3N+(rɦ=F2er TM&o)#HZ:kUjSlH38yT(hy BD |ZUP@:a[[DNy>֧y#?\^~d/p*b 3gplLx$mkU0JVKiA0.LʧUB'Px[.s7ncƉG0J7M~_iz>껓B[gg;Vb+63$Dvi<>(Ryt:RGh2]#%+BKT*G,5X㩈]U\"\ՍëXlsz 6'u)`sx+ru\ɫ 0tf͕z8, l`8>7fbH8ҵΫ 5OA zb!,= '8[*7%*I[XXF, Z h+=" M@h"%(Haxt "*mIFoFe:HQ7^A,(za-sGy]&V,*]D;@/,D[WB 12UjÐgB`7ֳF{&ڭ&iY5(\Kub1ꉽ>mWBz2D=V_Xuju064sa^"̳yFxz$ &!dr(]"?Oj*CbBj_?7р޻x|eE=(9P_̻us4Ƴh)t> ,m1?c 񲃕o R^DT3矊37t{t~NHbe5s ~Ka[Rc& 5_NDžƷԇ452I{'oQ#Ø^NǶ}HN rb~􄲒C.)(ƂLٝ0kVuRV= ?,dd5`OБ1'iKx^0(Xޱ",U,2.z>˚_uQ8¿'/K\U|CW%ٷ)[Zio/_\uQ>jϞʢs h܃8jϼ̗IYyZa%J4YS5ϳ*2nQi<%: K,ǫ]W$f QB/2 Z=abj(G}@t4Lm+`)5c2/#aq`CO { 3V%?l|Jq8MS&E.Sc($"2XmbbAdAl!dzH2CB /LR$=&'(% @ТNj5UH1xkr _.c|ݱd>%YrH=Ji%eM _&bA(S لD xOW(dDdVJ]׊#j \΄,0PX]I|3Ti^HSܢ *1bǗTV)V˧?hO@O`YziQY&vYȈ˼D" v tST 1WяЏ/_񜝷?$j[H}?o@.I3؅c (ˆ 6ڂJO 2/1c=aGcx~Ԡkm rb#j?La'qg/X ~F#qP*I< ?S)oq r u蓐H<<LF oюSN*b^M@Z 4bX+Z ( CtB!Yy RTߑ&IzE!UeڸK$$$-zx{A}œY \Gz4dش FU5"bJ8TK +S|4֓J1qO[], ۠hCq Єwx6Kn)Z X(`: ZiJM`Col*lC8،Ov'TlT)f8t&T;،W@2Pn8oo 9+^}L/ꢱ:y,A$@@h]XŌԬv@Y `8 0w>U2TqrPHlk6 ЅLUYLݎEh!2"$RѯjWq9S-똶PFmM<54衚{iv6%a=CֲJ&Ģ؟|ڼ̐Vւ@V,؍AMdAlޭfcJ0m̶EP-Z63ȱȃ._ 7+yu>MGO߿woVb30$%G ak&0FTZAfxdvgާ݁mbn?;Mea'bagiHY;}yyL96HmC#9mQ3(TC% 'j5-0B$&aigPhg+سt"0xIBe^7# /b|Xw$2q<&I2ūHoOW8V҉@o-)FXn1A82u%'1 eIp;x'l^lCu53'А6/̥ * vl!nÞzy6$)-"5t3 *P+Fz6Ɖ2FD5|W1rʹTu#J0Z5MΝ݁)Yȏݸ鹂QH@  iD2% LB}jbUN3]Ha)E $  1uQKKUԽ6Z|1NAeCf9ӚcjNTf驘iI74= 棑Pp6 6èňpF2Y3BS"ųFv jY5~UJ@jɞmn:6 2)4N-IDd,uO3A}SΏԓŚt@,zW}QٺU[JCbv b,r$\s5J--Dh][+ΪH0!E&vJ( xNJ"ZӼ߂2I.kK,-sGSB<6%A`»ވ^SލbJq 2骔/Ïou hPQ)c6D>3$’)~4VX?V|EY Wz $Ґ@Hm\i}7WDD= ?J%$re+tfrT! V+A!*.mm:6#.Q+A9DygOzH&"г!2PٍEC\Z^eWHlO#+Š0;R:),*jQ37CRb)'O_):;؋CG=!΃m*J 4iR;-W+W,ay:s,DzaGd_.WL; 'K 4)jLrsH-:K1IT&u:b_e I');7pjgd^?] l>uk3/0sq) {sEP=Pbè&kl3x[orA'eI놧io,Z'vM;:JfV_wx9N ȟ%j Y=czrC˃4oP 6iL3>k;3lzM!^`srG%!r u>Y8a2M/$Xc3.!0[4r}!C*ب9 0EFWrL8"0 |iqwSZ22W5F!t],d, XLwD&<Ƌa:IeA򑨋ڥ~>2Qs=w Oj\STOEnKVEa1I[3 +ܪ%Z|ï2r9ցM;nX[)Tώa|8V(J$#2MXcʆ j,}!3I =% $w[Z R!W,ٝ I"Q#1: wcFik&G'Ewύjƞxja&ܜ4Yv¹{"(GoE%,()UjJH6J# J BmuMgLURRI`B`spMx&^̈́)cM7Jr@̮cmL\/utٌ+[?R:4r.%u۪ӼK[zj汅:j]{dW72! V<cVXj'iVQB4'MƂ;+64IC/>&AFU p Gݚ#CAz)p /=)O;Z!/#˳.6k\VY-ĒgSFTVNg"a_nL{4 `Ùɨl\1xZ[ sd1";0ڞ7FfˑrD-ݖ1U^wh:V+ljWM^?/ܴ*/ARʑзp?}K1"bd3<󛛛^)r;~˫9F(^Qũ/6ükxZaxFղй&kM5Y)| T*gR`3Br5AkI7Wl֟[i8[Ł2Z6'hr tSZYd5#YhH^0Amg RFa{ZK4Xjo(Z86]:kmG 2} mqOC >2UCi; ?{Ąd*Y*UEv"kuOK!i[Sz:E<{SZO6F5$a"z ñIh^ZɔAجi%7Q,bK3+#=60'mF!Z~˒2 =|_$g,}B!ŝ%ގ5Áb2~Tkƴ ޷"c5:_tO*MGjy(mB-` tm ڭ_Y#@xф/ƽbTmϝ&-0f8N"(]2ϰrSPY432wa. atPxJE,tA;'inJ6.c!9I'c0ȡ=ܐ\7s$'EYV{lfc&h?KaBo(%UANyfxۇQ䥉=;O9ց/F3P5bgklo *3\ۦ1΋0=9%̺0^8G}DD!#ul//Y:52RdGi|}p4v?*(~QcxOѴ4y8E<`@>φ$5_Y%e1u60\Sp`L 71xm v.Qv7 aBW̬yVyd,`ȟ7׼{}xvΏ'g2֨.FhPCz\3^՗yy`dzaysjhk,I{V`'7wnoKP;j)+zpsmc6:ha;N|Q]ž RdcWF G?)2.tLlӮ>#fzȗGlV5{_9O NS8$t%Z^Cl ]v6K3 &{Sz|` 5qqQ$N ,9TD\sߝEPi-\&Pm{6w9>~0ْD*9`2 F?+:'fdl@+FSƙ1t>M-ˬ0aYA0 tZ* R"JqxJ n謴 MA'dI}-a7&f15qJ2s};8'|%l{q`8pZGhvi=t$z VyHgT7}LM[̥UqͫYƦ˙ b^Ni5ɫdp,f䫼v|F TnbSi^꘳F^DeXAtuN`xsEPR[wi#)aG#9~ʞ}ۿ[,%{Ϩ6.+Nxv_ +N5Bm9X8 E>qB ҂[ A( G(xK5|Jgݙ5CЁ>o*ANj-WYʕlM;1TyJ^g,erG*m8ZyG/>mF3h~׽殦>(ti']޼C;<@"je)XrF{3X< JO4h)Ju$O7Jȩq zP/L:yQӮ[Ggix{.p^7 [m7cJj1siqM*l1U7MVxsQC3pu֫ \ɪ'۶YlsX2N>1+^8FV@~b 9u!/2:-wrgrd-iXU !1рz7/fԡ7{fMLe|GYF1OFV0H([MX$?f~nӉma|NQ<[.|3xC\)o3pv6k6ګ]M0|,_R&@j|ޖޚQ%brC(#A@EwnTCyYlk~3M#̚R]bՕ?slЈvJ{~I2@4K?dDt5U%n/Cl߉J2XԈpdВ 2٬y }sDi ;ˮrA+):Roݥ Mu-) U~m-:AmE B) e:5B"o}_e3Q)ڴAEk=kFJ8-ZO/oNoo>ê;45&!0W=͞ǷΠgX,l\t8sl5ty;ޮk~׮ 3 -S*hl`p^/-I4As1P1N: `W qzE /7ZP;M>5Tڳ~ *7Y: G#\!ә}r{6RS,f<~=>{W㞍NP3'qu  ǀ[ > :يaF S/Qިy9LO%[}վ;_G1kQNҠ7P$2YGuIn PͪzVgGgvF.5^SW& mʔvM@7>psyU2ZƟ N1y\3fq:5 CwTvlvYܐ@Co8`;}Ӟ5ötc6-1N)GH4&A%:<gߓy3x9` ,o'y2 [aRصE=2?qU_ 3Y.8zMiLW7l1ώrK/rtn72/~XSymfok@u2Ż?፞|'m;mM!?<4G`y{W{^F2guGO^݀CPRu>Ax he]mNu11ߐ*~:?uPD ,kqߊ| EغVh`#፸cR>1UL<*F^ӛI,(#̏Ȉ<՗dұɶ~T~j ?1yG3$RJIأ~ n# =BJ)pQ'EFIUhc# 5IS O&k:j%"D{=0bk]6G\Vw&Wb0Ԃ Oi@N`TV!p]4gzT^>yIDҪ4*u44zt1|_cŠc;]p^_;Ikm~:pq$Sih$[HNݝٗm ^xd9xVʼm(\3RE;XyrV/Ed7>w82^wZj ] ta{E^FA{ǘ9Tco~}}2k 4[2X,jz |uP# ml,496a?~]uiI@Cհe.+G9 ;G񝲯CE6 YOP?Eī(,B*%@iJˮS5Y!Zςbۄk?軪 z9Wӿ u(c< SDyT3҆_=p罍tgt6"x'tL-ԡ(~awF0|6\ <~=ngEz'Kv˭(QyĨ~5^t|>뱦G ,|΢첾~kqw^Poͥ~F:x<(WGb75 Whm=~qF0cu rz/Xvhʞ5̫1_iHmL[>)ç"ؑ ՞#Bڡܺhމ - H / 1錝؞pd  X~Tڶ|WB+{zL4_PV~Hb#"6ҿI jdD&CcNẌ́Vxinb6&FxKr\ c8Ɛ Vщv QYmrI1Eka|rC$D/B%$=zR9a<&|bC/JܻvկTȾçy1O$Y(* ,Msݾ2NCedPvb)>?OP#&](B_CQ+,7o0u0xlU:I׿DH,)-Խa,<A'Pil ŠBNOѠ|ŕhonwp?,ŵPSO$ZʴR@kSm&2| #n6Հ#cziZWB.1TlY'0eၱIe`iT0ohl#liIo7^m:VNhDA],QKUA*0GP#l׽G@/r#ާmȏwy&oIK]KF!I$ԋAui,)EX)~NV YkUUV"Mׁ J'2X*((ڲvTT b`F j˗*&li`UtUh}2W9nAYn3 ^p#X©T!d荦X{ۅJX m񯒋D~GB~d5ɘzK[+3M!0?}tٻMKe"IF H Fڝ+u&cva=pbAq34?6r`T"9>^ %Rج4p vh/pI4fVW#)aeQZ'M<FSa) xW#{(D䡕9u*>+aEg}ó"F?%,4_pk.9Pߡȿf{dK7:XVy ``KTv6So0^^ZC4$ckvmxLJlmkL=1O~;8nmE.o#v~[Gc_4y$f7~ 6jkI6t#C)T {m~+Z a܁kέFMkzi+`:Һ?}8Id;oMlbx̚l9P)l0 EuBiCc`z^okRљ7~|hwҤ <|fey[NA&cnq?vg0W,MO"mGqDPdA?@, $4U%9c|̫8R0k0ÛI"ɖ։L=8En3l-E^gf * e]QlۭS;>wf,oc= 7>-Zsd'bv$y=2KVÄ_zF˥ ]KoCJŠ+)TʿU.c;*a%Eb t>MnhD/܍Nͫz!gz%nep|3}y;xlSO9t]d`hȻq`&n3ןMvzbs'|=C?iob63Ɍ>2UCmW|+j{[&ݑo_{o޽ڨE_otcdKԷ|_p{M) 7=WGO l vcpXGBMeTfQ)r$JDb)7u^T2n:N!tmTR}rG XFd<䤔 2۬d @s C/I&rwWT^UB.E'h0<<@d֩HT߭hĝѓR (E*)J$UIfd@ Q(>ػ091^W4)n]RoWqj pdKӠLÛ)5bΧZ|::R: ŬDaH&zN "8{TKLu¨W"Ʌz#03[\ 7,/h$A6/QA,W\05IwdYׅ,e6"%s@O@=!ES=nbQG=2=QHz&r])[Q%n0jwQZJRίY|oQcɫm  q  &J7Ļoi񸆟A!WBwj@?#x17nh?dqJ" n.r%sj䓨X@$9zO÷~iu>1*ELp\V(7jr\K+d5IC%XIdeB =x'7߀^CZqDR:#m|F`Qx}G980u 9nLD ժ~9|N(r\%Yb'ii}:WTXi@2 ?v?RsQ W2e8ı5 JK svUJO@u.>~2cY8), =h#g݇a7T`+9;t1,9XhB0uT-|{x$zE+ ǣ_TfMc7(C _(C"[e B`C*aKZB\+vlmjdY>A+~[ 47,CV# a~nKR as k2;#{cK型O/RHYc#l&dvlrQਕ)k/N v"Hk1X9O ׬X~~@l"FZMOgRD4$JPDq /<ܖ (2_'5AWT!5(V;ȸHVDf;t+xLH0<K\gINQibʯxd X-EeF+XGDvWRi0T& >zj:$t* @>{ݰ-FJF3[oe:.4!G< Ķ&'cu- xq}k1R k=n*`Õ-Ml>&uObmET@ $-pB 4e[6bX;rik }w\l* Zur.FHjYydz.%8_ߟ}>gW*k6Fba֤Ub@k(5=SB| \4[Ffˆ 9 GcQ4 z(TFѪ]|l*ъb-JRK3Ny4O`NBP&7qd)Q^>*`[+&JX̗9Y&S˚'e̳:Vڡat"}b*IaL&HyV1~K@Gu8CNJ/_@f}~B[^Ӛ8[\׫iuY KބC!σUaZ3Pg8 =s>^L;xh[W߫̔Rťu]#۲b(H8 S42*1`EQ d.yͻF@ԐQv(;ou( E-Rٴ6zL6:C`Q!Ɓu5X<͑_"i:!E d':̇"J1gƸC-)# r-`s;FJ2:&shi1L^a⟘=iʚŴfaT5Jd9sニ6kP%UϾ,dE ^0Q(Ajy/$Kua72[ݜ*4kOUT :a{5-DL0.UjFA= ZOuF~&`PTUiQp Ha;~dNFRV8Ua>݋mRj׎: ĬmGvb< 4s)jí0ZRhdeU9ydQ`zgZ%썙QoFN}ci䢿e <#]!a@*n c,Ƽ2&eHT #6#?2C)w ,iwMiVjօ+vrXDy!+]+Is<٦55WS֢1J>|Z6 $mCs-ۙP;,;B0O:}̀&᠞sM+ZU:fV˙!=Q!2ߔ:7TCx wHGoP0ٍzzNBjWHz`)Q!CtwO-:Q\`RoM1oyG kkW8̥XQv/^`6IS" K$hqgd{qN .y4h!.k=+9`6񄴳K*z匕[!DQVd+TQ1@"5f{TMKZfŌyX!dVA z MY@)J&pMRiT)[ȶgZgg3p.蟶,GDn2*|BpIO$=v:&Xd+:J/1JGg0λxb0=s*y$ӣpi?C e:pgMnDЦ{եi=G5ݍhAwE~yKk>~"$=<9)H&=˫`1Aie,9{H^c\DHp Cŕ?mnB^e jOelWa?\aC6P”Z@5gsN*[\B:XP79bOH];yj*χʍ@>NnAf*sҧhS߾ SH*1Ӹ#[K:_ݑ9₯?XgRG뵌 \Xn9?r&h3^.]HuX硒fnu%'shH9XG֝:ǽ#Pt"K$,MR ZQ}̃)4'5xfgdc,]RƸh8`f΅u;|nQb^'ʙ63=5?(!<%8>ug+Bn:R)>Zσ&eΦiwf[ʀf:RҽmGG:7{m ,uX+'OE+kHrY*^}3Ѓڮ1,E6(?[BT/۵`:`,^@\]JKPGSKE=?d~%ՋoK.(?*> щ9~vPâTCj4 5o8sوP?/Fz$ZU("XIP蘭!WaJ7rQ^f禎]7JS UPoVͪf{܈7ubxkl nvV;^?NY꫐ KZ<0[ ͪ((P[zBiCGoީ]Dήmp^Ms dp4Ys;?sU@g,0h+ jkjY>{wP=WjP>\%:j$yF 9g햑.EGD刼%aݙj;!zuoDIlt/OA](o2nΏ`/+4<,*n'BD1lkalOVKkm14oY?iRjjfa UޤU=Az|]jX͋?d)}>6g!4[7}"&.}F"e0LACAW|cC%΄kۂw zI`Fx߆Pա^>6s {hD47 >@3aKɎ=C|v07zmnIp ʭrY2)T.:&3:.:ry{vwO t`L `ucERVZs|Te|(YgK-^hB! 7:fRGD lE9x~-ɇ[kC'Z7~ G8:s6jAƒY&j1D닖<DSS\/.E:yBX@_aHh#eu՚z9xIs0~mvsΣfXG~]!@[^fjDkt%^2x 휍Ԇރ kt3V0:V 0t_bz3?*q~#:yFԬo-(u5oox>XSKmK?,CՀިߢLi_a&S޵]xGs/udY?9NOE.kNushDrj&.y'!]v9\A(w@C]ؘ0N)äo))3ӊ9_ й!wcݏB:w:Zݡ:sT K U4nx7۷Xi" prFtb$BQ!> S^ʛ"넮d CX*dRgf3>;9L;#!:3BU^7@mp?D7xƶv@9UjY~-ڂτݩ4l/N4 s%ApB jN1ګQǦZO6V[Ruxl%݃㧀x؟R!ݍͩ@oi>-ԋ8\2uMnc'I|mktH[/:@ak( -:xA1"sѦ")D(ά>WZlTZfgy>}=m_=UǯYjJA+qS)Ch(++b_=skYZxVXU&}o} xg=`R=%c=!qƧvz? ^-mOcx^^tE/`$%O7'`6/>S_)e-fID\^ZU'xI2q*N3 q]Ίs a=4i;$[\di-2ߔ!qrb+q?̟ywT/٥&|{<89o4881'G85 qL I;~mBQOOe gq쑂JvL$|R;A%g[GLHFϣX7p/D!Q#Gߴ ]ͬ$)BE~X9zdWQn s'FFvN-!~pN֧BG%V^nk=ک'r~In5.e 8n3ZB%=4/[j_6gPZAQ ݩ?~j-8셸#1u&?V ~+2d A-PQPt/ׯw+A(_2^ZLuH$kpt5hX-YzH_dL]r\׼: ^o%X%DNk!y-\Aidnd&b+۶!`[$ڼQ]@YAt1g.M**ku1տbQ/p^x(4, ~"7jG Z׋=4vY]AN[Yv ߽Ӡ2L= J:baX/aEwGNo,7' n,*J'z_wf'-jlFknYoI-in3 lqA 7 @RЄD7 (Jϱs~m[cl2Tۂ0{N=K?_l]ȳGb# ZEi lRsڵJlcHG ʮtU34Oa~nS SҬLAœ-h\1G5N֘`zu1VmAτ{8TK .k+(u(rpffs}R@S=7ȭ09 /XZ!_$*wh$":Ug]#[P zFgҘA ",QnRmH$<7O),m\躹kZZU1U$smɓQu}٭]ߴ|k%om!= D<>Ȥݏ#xwP;+ڡPKLG}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/PKNiǔ%cnfformula/families/cliquecoloring.pyWr6}W򃨚R꾴T$Mmbg$$$@..$%Ӳ!q9{v`8ImOܒjg7JN a*r}^W eUKKPNX!k>aPe]P;V%arFIDY)mśA(BH3(7UXRL#gRRqŽg=8S&k.VAWyuJdl|> ŁK[BGXAEi ZJ֚Vr^R9_Z/6قWbX*M!BBC1 F|Ap:0s(b9^5Ȍ0rJS 8`jV. : 4',.=Jª\/i:?4 #\}{PHot{ TʝmaMP c-SWXvB;#I\j^in@ 9fRo/ʻVYՐgo~K5-9khܟYK1VQmD6nn]jιbSQln={swJ3g6\q DN͖m4^ ŤDE &2H˫DTRY%хb_ aW.U!X^ÿӧ'֎ 3 7΁t"%۠aDHv4cCmR Ӓ~uVeh]"uAkylSP=xkă1$til5Us,5mEJ)%`g:ƠOZBMWY">2'E7&2&5%M'g<= t}z5ͲyDO^t~/"з$DD~ģ)x5bڏ8b!q41 FQ+jC@%Sf~<.1NuMUsj6|~>Ԇ'HM0;k XJ3ظ3.^L^4ԖqJځ89Ҩ?k\^׾-HC#+Һdϯ/KTRe-YR@xlZ}'Mr@m !3};{w@G <;$z ޗxo .O^x "J6n^C8ANG:؞FEWEq0 5čʚFo ><;GIE,\:>*q>  s)iZ Yxks?_(yKhNFrZl}]gpRl5x8>w󻈡1!(օb=P1vHޖ(2lf?YHPrEFSo6424% mA4Лp^ֈ2/?PKN%{zcnfformula/families/coloring.pyXێ6}W K]YCQuvwM$iٕI {/r\%rf83gn'ݖZݮeHN2bL2sf3. \}YPM̎h @J+a99(.^[`QrO2xRr|{\9~ PzE-׆%hL,u~OE~ƺ{^pXesSs1Q-%[2H@Ohf<& *Z" !K G"7NJ.IBhal7O}{p׏\) "cr]R\m$жG0-~{SуDf+'3-ݻM OMlpQ%zHpx>xnW**g~#5P(%l 2(鴶)X2sE-B@ű#D i-KΞ' Cs%{TѰF#^mıǃGFrirm H 5hܠ(29S3u3X8ybxHjZφ `fu̙GgI'rv^E\=k%W+ݮ)a +:՛z.@0nي>|x1pQjA&'7_<_z9 -Ct`DMUZeIh |ң۫3Ds p4I.KQ<3oT@-Ң[֝ǻ>ii_#>pM,׉mv\ gG&rvSV/Y0ҳJhA.V${E^@@ Ѿ]*rm ԛEs'`ekքIݎ)آhz펢1xIV1JBzmM!VZ2aԮOΤ#Y+`ҫ7`wj[٢/t\4:6Zr\w(~)҄Z tyޕy( rt6-wIS-̨mXHUNb\5gD/U2tYB|^eBǠaab%ҸzJ&$<}eL&dUwQ}nkƚ!!efyY?R4Q[ X_ώݢ*Džc}U2!ǫEx,pIs]h2v-A 4`:hcm6#w'&@fuThmDA;Mt7[˭v|QZ#k17Cgf RW F.Q;&H'7 ODޞĢ{:siS:CחVG>ϛt爫Z3a쇡[ewG`Ď]+G^oM cNurfXA%B[Lӟ[pIi-W.1YSVS_lx~zi[38hF ,v6Qb ђ;Gcf`zz6lXxڛM8Hz[O9y]"Aav;B [=ݬnWl{uy{n\k}¿F:J˘>ke|6&ϳ 3e=55g oPKN߃cnfformula/families/counting.pyWKo6WAr#+MO c]lؽimq!*Ii ;CWy .J.V\\0QѤR8gd2b3+zu?Er& 5\ " U r95q 7d-U^fT㬕I,jT\]:O2.X+ÅE l4Z6\"0r<"Q]Ӝg}2ErtZL9Jb@0IWRZM#e֩@@Pr[C8·&WM}o1bˠxQ C&e$he5ḧ́ւ :9m(&|HRPH~I  (f4vq:vg),wJjIȜrѾ/FƣkJs?ȯLNJtɾ4gs!8#O?lI+06tC4Dw6LMs/u0س%|SdMR̔J=w7"]sVMl* m'LČdmWy6**6ɝx(2|1Jujy_w!- &b3CbcH,V="d0fE&sr;*0>: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?PKNb&$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{sPKN'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+b#2XS^\27]PTD,/XBf , @--8"@peTmX30#<+3IJLfti#o%RP [S@ OctzL*0 rETW)V)(. A `5 o@AIhQbaa1z)hƂۣ;8}j>E>}(_F6R$`1<,مghzQxC v 8 / >۲ƼsfThgs,5wڪDz+!Xd4֛6nTQ k#nBFKF'pp;p Ⱦ]+jzv٪x+jʆͼg _ARYpnnu -"6Dd5}pQ.Vڦ ѫUF9. ti+Wek 5P 2Ia5)-3B;QY< *p8JSM$BߔOdnb4(eȂ R&40x~RRt)KPToQ7mQH 206cɷ8MǺ5HHۨ%5J Eɶ^[}^-FSW +Y Iqد(]XOPH o!vk~[c q!lB #p@^28%$Dlۛi+-Y\wPd )*rsIu8۟!^֭D_kއ|}ךؔF\`WAsAZ-q{ Opyڶosa}-||TnBX3°`IS'zf@9a՝~:TPVdcܒb6?Mn[mJ)8WY_Bkc@bsYS |O[*}US%}['}߰fF5ZtiSd9T^JA5Bw;#FA|فYکYѶYG5tt3޳/ziwj;&3\)zl/wlLҸv|M?PKNX6cnfformula/families/pebbling.pykss+.tgFlKNeƎ&nɳA$= (YZ$vo/|ÅjcTI]-FыM+^I3dZB* R:,Ն%.DMʊ=ZR)_"7䕈/DYD[\ Yp،% ~R*JIeq, B(E:gM\3YH$$s$' چ9-%L(v,Ft%\mI]ZO|@_b.K(ikv z]!: qE혙WBl]U<|xyydQ6Lb(BzwW#)SczP.svvƮa=KDMqE7d.e+sB&h7|O|lL DV5%p} &yT5M|k$Ӫ#6¡k.*$-z ]㻔՚i~ċ12 cF4gK~9heg?U"Ain-y7׏>~c1(tr\ow0dٖNM31H^q U{RMKvj}r 𩶈N⾕ ::#v3vfantګb=~O6R,0AK%`gߜ&ѩ@ 8Bd[>.q+7860;phiY*͔:C{Pkd2W})PLqVlV+W &dRmBj}YN1R jo+%ߎM"7qb!IӌHwv] ]s/k0sïPtنOU4PK TIEV"Pm(Oid*7s:ix)1^J#c+Aj z8 gHu*P'I@uڸjK͔c@; jumb1Ȩ[bpl }G{i)bܗo frwIF{[%Ff"-IڶqZq~_ 8ƨ3PxC6gEY}+ "?{T}nGe{P(?cR33{ҚY f^"gRl'ra2oG4fbiH>,28Ur| @T@簡I[ tMkR"ׅLı'ӝKu!|cOgfEwp2GpYIJR#xu)|̞w.8`ذ^v!^ݐw|kׯ:#)"6#D2f_Mȁ{\@Cb\ w (ɟ;!niィ NΝ?2 @HUV۸Ո2Xk=ZgvNj/fvT(Sc]/ No |#&57@}cteԐ`nN@žC4^M MUjx.bKlDdenm.4¾$#]?/}_ƍsx r.cf~7$a7qx(jU6j`w]g JDQ$?$y@ v o8\LLVG/|.d?Pxtp0.@ǩJK;wGq.fBi(-a> A,2;aXm 1{ QgQ?{ 6CT,| ߍx u\ʫU]|2ȐXQ`xe@{PKNdf>K"!cnfformula/families/pigeonhole.pyYs6ο~tq^M&qoq=n>vFIH_Nt]$$QdX._Z=d\׬\U"aX\$2_|?^YLdbΪ`\"_) c Dl^NeA0WE|nadVb?nOgI*sHɒJVTrHK,pN%[2ӢA`?o蘙LRmeB.Qa* ,Ka CX԰~ȅUDEc g܁uN?Tȫ |вa sT@3N4sy>1KYseŘ9iY/Fs7L٧3u/ "I-bcUXcJ :^%'(T0 tz.E2F p%M"s\IWڄԍ%yB,A5P@Zbs6:;az{G x0toc=c3Z!95Ss~UF3OLz)N9W2h 18&pk͸A;%s*uSYL@0վVZ0pm]Sy6ڏ E g$Ԧ\{c^]Ԭ5Al9L\]Ŏ`G ĺVzز׼E|ư80t|E?Eه"Y@c A&[ŸJ|u  ;N&8`xhR$Y"إcִ^cg+% `f# "1$ @%&md4L6Y 48B'CE8yנ w!J+Zcn+#K .2aYYn G(2z3.Dbmh>іyvz 8j& Rd\؋u[~9ȐR2m C^ٙSuc)][fh4f߱Շ( B0+.5 _`hOTffWwtrl,b0a.؅6`C ]RL7L?p95cBLµv>dl5+!ʧm޽pD.;;AmijxY ,zI7/-1 q:QeE^nq`i][kjJf JpOE]WT\CW`:{DosWl`e{ h>D~}:lV&ۧ]yl?BMiXGVnL2MgӑQѽ2*({P b:. lGs;("pB )%ѐ|]'W+fT-]߶q+I]v0m}6;x^I%̪?CXɅD2R1/H,ᵁ(ؕ 0)ӂ'Nק=kaBetU)!~;Lp?s e5}ǘb;]SC 򤿿U.5e:`{tsޣ01P’k bT4>z=jt?NPKN!?cnfformula/families/ramsey.pyXmo6_qKPXNd5ɰn/XֽT- -6gItIɱl:qt LbS<>;o7Z=1f0]cYA&sQz^[[[#8l a(g^!&tj^dC%KȪ.+r*U oQ慨!+E!v5M[縯5Wn'3Yb֤d՟T7+>8+VK|0Sl$gձӂ0~<抃|C% U!&d) dD1,JŠPKpEв40dqH砥EgTI(e%1dλzVh]vWǃǃyb%li3-3Lx\XaQb9gcBs} Q)<(3`|%kJ<"CLO11~5o ~mdUr8FV|Ōf\FcTJi0X ̀py/էu|`ŧXU?.mxu`Vr9˹J,Bg M@7خ+ %Fuas:Ml< #=lWWWK"Q (/1V͊C/:N`bՈQmJn<rH>& P|Q }CJ4$ ;;X'B6bfOT%$ 8[2=d'JKyx jOyFe{i+ruuQNg|D|szC+Ӧۂ53MhrL& 7#AsѸ* -\,% L#Jt庣#ۊCKby>gpϻ:1|0qh5:v8uti%a`M?}3(N知Jrz|WkP`7SKջ<X^6n&a%a79uo  moo7`X^JM<}]S*nIΫ2 Ch7+ze`ll{wjΓtk:ÖK4o= CFݸc~Nyi,e7ӾOS4WqRuiv3^Z ni ,`c߃UK6 3vt'Byuz1 ؈Pg9QٷwO|C-N}6OF䝗wEN"^?4 ceҜm땾h ja9}\#0vo\̾wS8l`K_-e]?ʯI/L;1<_{PKNë\ %cnfformula/families/randomformulas.pyWmo6_,|,0b_¦Z4r^b' ɻ⧫NW = x`yS_uflˢ{vߨ(u(ÄeaAY()Tn紖ʼc ;;^J)`w֚w8tʵ{Y4:YE hJ0%(ƽ"l{bH=i6O)Q%Pu"sЛɏVe\bvj*k+aN,F[QS?tf4RBL1 OH#dPi(0㎓+)Rf4 >n! NY@>OUt48k]۷RT*Knk nzӰW@OthU;n.Advj/K7Hh F"<;T'"c`uw 1yiLei:H ?qr/Rbrv2 b756!G#u7v4{Ot[]n&LQ 3WC9g9LNL>9 ':ۺP=?8_SFZO<B]*#5n Aq(k`k5UFœ>k'02 ;#h0AjSoVe&"%kvA ^IY'Uaj>|F:ض`=.IΔ G;\"?@1 +81A3aL!=2n+^)/~=@"'9lw:9]ESQ3 ~ؠ4](2#fa8hZPEFAR0FƠwќ}S$ug#*\t#.IJM" i0 V@Ӓռb\ȍU˕|41R~ﵯ$6 ίڇ睭 yq\P_7g.EC %і#*v@+tx.0\ hV1þ5!p{=B[Gų%EI/gIf=usI+X ~ @i1 _1}zkkpmacNP >ʴNثͻ/BcߤMҏJ;|=/L4=LLqX+(,F3КQV@Ï\T±\PRki4Zdha3XnwaZuWCՂ]U 2be~ E"9Iй]+@Jؾ˜;/hdϱ ʦToxu]{{dCuA򃧾'1_6/i &p E;+$,-Y1Bjxab^ߝ 0O9̫淇ԜZȰlj,yK9օA=z Y?)w9q[brKd: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"OPKN~- *cnfformula/families/subgraph.py]s6]~81$xhGJ*V,ά~LqC O=, ͷTrYBՎG _wEin(4rѨx-Z4 [XZNsY3,zb/4-%Va&5-/=V c`ާE)V(1$ԻWIUB-_,@O+mk&7uMRЛB5cf2?IHNEF N{ W ēx@.hUTJ% ! è.GϲM&"".0 BOaAA"c,pB^r[$5`t]2k4[it}njK9")Z0xp4l݄ (4Lc> :xM;%Bմ J% Zr=H 0x5 gE`,tuOm6j hSYbr:-aD^@aٟqe b~z ?q]%8?ahC5N#Q6+{y(-iɠ;s&=Sqm48j]hq[VfcAQkFp0 Nzαjp'NfamelW_${>JvTwW 1~-Df`_i>M~hj jk=4UHfQ'SW ò\(Lw`_@P͡ɡ7xހ<}pKrq0s6ƞ3vL{3.WMvcobs$a `^9B1{FÃ3"׫v5}X%W >GklBs֑RU"<ٛݜL[VEhmƢ̰}Dk{i({ʹC;>%Pg^N@ON{*$tLv[.`_m-7pƒ yAWm''!N-kꤳH}:WchuvPs,w|&?`@ V1!i$aa>S]:k`uz~ n9o`[ȏ̾)2,|Ƃmm`Lz`bcJ^a#^Q8$ ׺\Ws**ad8=5CZ񿕫T֖1\go]o`ufhw28ҷK"Z(Hl#m՗e-6lt53tV}~{k37".R/2נRP6e-\d=NͳCƶ#!pDĎ BHYq4͔kw勁ةN): 6du72i{:53%nC~)̎/.XTr'֨_B~hb5{/?u~I0L=6c/aàQ=9y]4F [{sr>RroH_k.Yy\b{htY-Z˫íN[-?h/8DټPKNJw|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{kZ5}ԂC6#[*(w;<8* F1 CAڋm&a GgE=;' Р `xmg.^KH4o"aZ-Ms:׳4m_ȏ2\Ԕ .|Њ>Slo|XGֻmwXG$4-g%-t uW見 6m =Idp&յZrP8o}MlldO?Ɵj҂LW4O}K.4¥ؙLciipCur{=dmGv86i-05EpH'RC^A%CiZΊ1nRþPߋmr\,ZQIT!ic~q"ܜ_^ aS ],>+&=D\{ֹK"'pX!\Gap ]M4 @Zn6: ȽaM TU1ɤ K3߈!V}b朊w8]vz Ԕkjپb~.fqq^ }>Rpʊ=G[ :>o`]sh~{X ?PKN~(U+cnfformula/transformations/substitutions.py\ms6_DƔR_n<^L|SGR"d1@ WnҔX ,`/:iӧ=$l>I8Ϧݿ\4^o¦$'qgy.!h:,˜x>$L4 3OfQBSEҬ7\p, ݔd$|yū_: =Ejϒ$ZpbxRp M@d4 YFC=э8|p3Z4Q>(P5ǮIYUVy^s2^Q__I6$Nkls `hh ʗxo4Pd`P9(ȱaWjͨt nՁ*OG9t,U8S*a\Ӭ(@hJ#}z=dCe<ҕ (^Ean2r\WuUUsh:u8ۭwky|QD5Q(BB2審VvYc*~ os1A hH?*vޤ9hrrp)Hzur QD'fӰ3PryQ)""$v( (;© ,$Um {uZO!)VaMuŇ #eFsaT])*WM[Ax4wMEJm*qw+ `I]wt e&Mak5l^~O^kԇrLd?/fLK-虘Zz7x:ЇsV.]Sqa ^A*q昌82TB u9m_`+DdCvަYq8\m@20n])9;j(V|"D $s +YqWe5gSn6 R? ,ABӎ6:Ìb{k)bJP2CBjvQ1G!Ԋ8MP6,{E/j:87/wr4ӤmſX dP?L#wsةR;_nƘ!73uΠ@-fzŮ=֧U' A 1ЏTP8yBUٺ!:(=Oh'9qB? .Vs-q\dTjO~ȟ(XjPnc@v 00.+O0afَTN 2A L0ɨhupp9`e ܠOΩ\^htu ^Y<8`:UJZkv]n802 % _xC'3bYZ(lA,Uڥ$$<9dE0bY@@VC"(.QQ6Y=JxDʔ sc˝MJ`P'>#r`Jִ8-``Ǿ}Ym(L,_TRL0Yk!Fg5G4:GG׵z jF94<8ջٻww|ett?Bn ׭/ofAX,> +MRI/Ai, Z6^ Oݢ(*!Ms]c=kIXB!kaɕh 7Ѕ:0!C/00ސXI)`:BFAaѷV!KWhSU 8oPx Ev4P-#UG>ɰ8 ܮ@3qCpY EPƒk0'@Mx"j*G]!a%$gO CmrjOfjm˒GK>nE`R.3 f7jT\/EB QD>DdKB*&R;Y`pjjJ?GbhJGPr Ŏg)ehtLTmdHt@}2^]>ȿפ`ί!t F_5Htm^MLBцDdU5HB 9\k6(ں!vijR%ќXk6?\g@;RuH) olJsr](뻽)DUiXp\դx]Ab hf n2{~)*kx{?޹T^ӻӄ7L 4y VH,TZklx_kXܜ}a }rCG1.ә\7&4nRkhs+[1[5u4S98̺_G&q1e'o*uQg /9Sm7|nU~_RԏX>L {7+4OEŨeoWׯ-]n`x8SP2xyC'xtbrxt6|^4~4<^w#֒ Bt/od)mRö-;]0 aYC88qta{|w,OxoV"Q>ݰB2#Kr r}GA_ 6PKNK3cnfformula/utils/cnfshuffle.pyWQo6~:($t6ӀhE[4^@%f!*I95;,vbӋe#œyo|) t[Vrre \-z[d:5J} u_ deh;-({7[3j&+NjZ2/߽C0 Uey^z2X[t6̬Pd/V Lۘ&l2zI s܌y3Tšm8YǴЈfz. ={0t[; oܧWZ+ﴐ6^+QͿB#!mwkQAh1S w1Z'1^ zL/4i,k*AՀX֦Qw||kGAvv"ɔ^aN)dzRgXyQNXoU2&DdrićU+Z+u̮%3Pe!ya)N>9|*nJ-:zNڢ| =%.d;dZ`2Q+Qb=ie`F`՞$X5B_%A5Lze''e8Yˆ!3 gpy'0qʯҔ}ێCI5o:5FV52=Kܲ 7UQz"-{|runawUG#kU$%'ɛbD5arc.h;u`gK`:#K49j"ἢ_X]"î-X?ט!v4*`i hf]}ϬI᠖_xI}iXbwf){*kG6t(2ȝ0_d)Ñ|WqVxQ Ѥ_qgHvaSHݦ@g {$.bnRGʃ*;PKNVG #cnfformula/utils/dimacstransform.pyVo6~_q$i0A֬XܧPiJJRN"9`Xx?xYoF3.ld4/K(U%n7DflnJ ,Yj 7`k5ӕƀ\EѺmK xR-4Brh=2oE^??_܂Vw@L}qu]spPK)ӁZu4$$r߰(:/KY^n)`!&zKEQY+mAat[Z H_ƨefdz1m0F*mK^"ߒ 5PƘH\zK-}_ /2VU ֒xt@iq{nvQ:N/N/ke{iUċ aԼr皬2`Me{e yZV}!XM"X]vH=qH%>L`RaQjc]P/&,"zI@Tmʥ37as£a{~% mN$Dgʔݐ\ƓF贚6i6LTz~c`?㔕Xyeq:0=ǁA\oͽzcu-G*cF59r,4)\1s EntŏԟS-,xeaMoغkUBȢc>?43O9|D6XѼ=;q 5%m'BN!VϯV;yM~uIp#pGiqu[jᎸqvTh0IKOsHse:uY/ya>m|X}JkM̝~ qH\3*F2 ' >=矬%b EA9E"ExtPKNkm: $cnfformula/utils/kthlist2pebbling.pyW[o8~W!jTJiF;Ӫ< 6̿9ِFAJ0}6g.z.r..ؑnoj)3:_B\TlWFX,pÙ&FMIJB&=[ұɶt1R6`WGbw,fMǔ%Leɐ&:@$!LцSv3\ p4^o0\5q y˛ƅpKoGв̨Mכ0W22}7v1{-3tGUѾ1izAtr &}d 鎕 a, zfL8uPBBҪY&to1L(0yj9KZ\x_~+пqy>W'>wc|q Ά ȳL<ȣ^-+#y#h0ք4F*miYPF.iOj tEb-mQ {!u=YK_c/!_?G^uLP!kYꌋ3X94IXarGyCscm^HgLc}(kuq4rtJ_G;>mh<A[{">]::ѭ#]X#|@V7?wG3^vL_ "VJ@؃a[eVc7pM0d8|J'x)y|$LOTV1ƨDH8oע‰I+_Dhg 9v2仏 }!X83C]ғ5vasHTꤣNr M +v<>t F5.F'NjV HP஠vv}G!؀J9S-rc$\Nb䒸_{€\M-c_җ.PkhOڋg%Y.2$̲ BϢ> PKLNlb:<cnfformula/utils/solver.py[mo_GXS˽ P 7gFN\C1Tޙ.)J/i{E8>3\|Rų!qfMe vT8 SyER傽82^aiU(Df9WL%UƗ\,,I*ɘJJC-b7UB2g=@>L %+-t!$Y^2 U|TZpe DLq16M|*K-CfOmxFz 11  "8,5'@t M"B?yU".gRHs#8c;3DXڡ*77"{B(d*gyqDiMo*$sPSCk1w"7D%"]C%KΟ+kPȥjP2I Y}c#8 (*0yK|L 6$:6_ÃR:ƒf\)DeUU옩E~m,1{nhaYR0; 5/5jXPUV}38(R8+(XU!h19 GZNCM @z{f3 BkO^d x& #Ak1DBa=3n7]rmcv[ y}C|6D,bSQgH4I6QsLA!1)1md׫Lf/#7DA'661Tȋ"ɭZ7t9H[5b3WY֍'{t|f{A IܮbKi(r溽YAEUb6v'W`EH$1Jnpx ܑ>p 0~ֈ(Á\Bq&@O~E86k40&p٪݁^hl7.]hA!"5몶ゆ=D/1D,! &z-ݫ3Kj/pƯMrS1|^6C,t]LCؗqV7yZ邧w>>/6m/bciwbzW:tbre +E;@/NnX~V|^e]kõ5m;y{}@5O1U$"ܼ9x9y@ƛ"Il褍BL$t4|*URB< 0f=vr}Co&v&vuIxb^si^@S@"zk/xXͩA2uu. /Qõc&GrN^u[? h&"6߶к|5t( ߵ:'n9nw^91M)mR70CH_xZ_x n_۪/;W4ڋ"S/ky63?zj/fN1tmBN2+\?7ޔ ,jV1[,t=. F]Q{Y?@vGGW79+WS;cK'ߛTګQ-gS7Q+R`>NU:Y}@|eu.~YS ]3Ooz|{ C {uWSU%.6U{MIolt^ 6dm۪\`z݆yU_o76P B5Yx-֦.5{0A+zܪ'omWV㪞6W2i]]+#cu lGᎷ v`gիBw7Ϳ^6Ku"2Nu OH0Y%+ElBUx )..0'jSB`7PK]Nl/8CNFgen-0.8.2.dist-info/LICENSE}[sH{ _,Er{{D˴3d{v@(b \\Ds'2.IuǾhK~Çɇnz~~{5Lg3۴E]%HO_~͘q%gKz׿$kz&ʳHyH^E<$'kZhm6E}Àln%F%Y I kKM'.Vc5l; B?ԏMyW z 3Xڤoi%+a&=zOgQNPn7%nK6ڹqm}ji%=Cݺf}*^ *-=KGkk[%;Bf0I'+4mœ<mCg=ohRM2@}:\YgOB" E( x_r< XadWoAgX /K6{mL/g"2mm)a*0߀/w~ݼƚL3_vv k6*+86$Ppj;!dMypfwsg4`#O]\qxb7}Xe2Go)R(>/V #;:&1ֲ?Ͷu񄺵*~ swzMOZ[X1vYЂOmQʕx{f=m"lyuD.vM”BzMZqo_#;ނ4J"ho1LNQGg9 ɽuh` gp쳟 $" c讴$X붬U rX:*[Ǯ? WE w|L:dCؖDcE=lKL @\ "?taw_4VĪ^-,E~FI- Xg26 R;0 譬S `]꾥cA3$ wcFZ<"!-\I OT+sxs"g"&J\#Wd>4F%][N'dCg| 骫esi0~&"=qD2,K=\Z a˾!&Ȭ~ىiDpޓ:- Z'tŖV]F֝u.Q ;Xk"#J5v<e F[ЕV]XV[p`h8AV00*Zp[7Ԫz0vuV"nF]*|iba; dvkf䣔lxϐ{<0MUjf6g^nf> V}&U ׬at0k>E.$Ip Fv|#"td+ vYPKA,WG${'ۏPJʶථ%`jbHBX3 JKQi_av>^K.o7x RgCc&b:.I+\D T^߽, 2۩\6V=TE @&_nK#:63c [_}4N5$e>"aӕb =5l;+fBA #xWΪo"dZD`D9ϙOTye۬=C,Ctk\(L`] U +U'l KJTӹWP#%6Q Ul & 6bdLɲnLU=yuv#ܝ=9g2a/A#kTv,YLIpIځ~, 6NEmXBp,D#b??vw'$o0ċL,t٭@Iz9brK1X=eEɠnbᵰHV2\,'q?ev,MyX6 įn ,*@K!,|b"telʽf`K+Rۑz 3BU ,6{ӭ\5Lvb'b@(O]Lv QiMQYVװ!Z*N +ށ*KwLQL Vi#>P-.tlRkA0;"Fꨰ;< |WҴDdM", ql+ADD XƆL/K`#1 "G <Ƿ-cfRYe o[4{Y'szHGvX!MAГ)5Gy{\:#z:T.3Fw,I˾|m4d#!g#B+be .%D{voM6R9ʣ^}n5^S %rc*e}s.ɹQ $ʇŽLڀ7sPi%V5$*!L$~rH8|aYYIBID. !D3A1QմKIVcnj%>)ޑshdƥVӂxJm@b? 9AfC@z2("(Ƶg0Qwr )M"@D9Ik;Skka2ٓ0 mvᆶ,yeJPK\,CJ#r\+WA,k(Ts$2`c'L=@n5g!FB]6$ٷ>94G ZuVRo wFc%eFIh4 xoe/12I>D9.%-VTɴzg_Ͳ?bFh Q$gsnA=`X-lB9-" ,yqa=SV//dāꕲu=XKF^s!B#YkSv",e\Z\+ra$Qz7^g3+%Ln44P^@>2e lwNwK)| ť|G0І;i.[TKPj$MĆӠh`|@-82.#O0Ej.h54uCD ґR̕d hm i@k,uP q!T1XJU00_hyYX @FB^_^qdze;v}s' 1e&eKBC}[-ĴkSXQu..JadlI2?ކh% X64BO OR/~`:a[z}6y"g!>=qFS6۬*\\IP_C,FgnuYP4Iz#L 倄) 3j J4a/a2/۬mh(ɭhFJ3)% j9rd:-[-S\oL? _H8=AR!e]ju'w{—sjτ7PZ=xargB2LU.H#:.ӊQ+$4ju؆Jfl^ *I^.-3qGRGU\\9.a?P<ޏ g v _7,w JK$5rbZ C:g/\=*\dKٜ)WYDDQy;IA_IJz9̐vӓ$'p!*!3 <`yh`®@ w!TŅ!:7(S*0 I.nfe\i}=U.)FF_(QjënAɒmnd\cOrMqˮ~J/suyQI@JwG2 P ibפjW#F7kGb"WWB<.DFQ1~qأ %Y 1H|M9QàC' Jv7d#NC(ixfx+.AMWäK imDN~wWmЀ.sSެ\[H3EW\ ep=XE|LJ̼Ph఩~ѭڐu'*{l-uT!'ՊJdA][k#eDD2kۨ#%\޸ 93HfA/R@5V28H #oFErwY0AL ִ QdW4 劜`k4AM Y-`trgJ툃E.חR=Ս+Uơ.[6u i3 R=;krq(Hgc"b198dT3|`، wݝHB } Q͘& iN#@i1~H!/`]@u6$8ظ4Mvz騐&@744֩r0ǁ3@iɕMHN̥;،$i 5#ڍlfX=d j1|/$$w6tQ؍D]z\Ctٔ$:ܛhmIWTDAyDc?ɂ V+12 ($>7峳N[ 8pZ(\,j)8Y!pT}q b1'PjX"1 sRú;NQ=ZvӺȝ( q㼃 qEpc!Hop(tbX ɏwZޤ+@~ 9/n)cRjEm,L_: lL4O^}(,)7_"QA;w 6.xmE4rzI.kވR5tE@ ~=1 Gg C+4Vahm{m=a$Qsl<4$Qx0UHzg]7}tpȞd"bU5xRǨ6JkxBH\%iþҐTph2:5ə]Vޜ ʬ->\m'Gϩ攒fc2j`p1~8 RnT66awk _ ή`wuXs:=NRj/^OXYRS5o8̒# [\3&<|/D e!B jc/K ɣ|Of1q {=i)+f|^#c`"<_73\2B(РgHC:*9!d2ɎmAAV?RgPiɺ&CmTlgZFN#1hj#G#a洡a2lɘtXC` moD|" :=Lr ,J`BY ߶z-QQ~5;gFJ5 U cD_x#T9+Q;rUUf%=T4VF_ ZiR A0W Ci$gfMp?'O֌A_BH >Ia,ϒʍb'-Ɔy~^OR̚\`r7X 7R 󂳥Cq2$pQNleNnt$9i=$4Zv*qCZ Ky4>zGDh_T^fUɩ62pKLڈzkA"z+2l{IE5@t:ifQh{̂s!,Y VQ<8O!3?#2*%&`>FuJ-Ppmry_,NĨcvU[Urx:-s$Q'C.M|Vc!&(n,7\$/x"c]$'y$sq0W#q3Es.RULGz&3fw.FϫzZlV պ̛%*O҃xLYIVe ǩJĘ6GЫ sb饴AsE*I }xpyȂHHL*y{V W7i+ }Bv~}ܺn\%QǺ›] 8Ət4n0-6L66QhTN΀##PGq<,f)H ( 'wHcdD:,#iSnB+&sL,nph&Id+ H+)(Qɲ9oӈb.447Ex5.(IjFJuд&E.;r( dCr]4`gR%f31P尨^ȶh@ Zz?<&,m:@\) 8{JtuJ~юBBpн2B ?sڏ6Pu:F m5`R7{=6"Ot2NUIex'cEl6 2Ψ<[/iXz :]c H b 铀QA 4;r}C %'~uNuH(:WuH^ Uf,u#ͽW$.Nw.r[RL>cI°o |I\}s^Q($!nq*?gQ1=\vd"gg0&RA.3@X3t]4DSmih]ѲQwj09>uRvQ?:0`l&2JIv3:nu?cD}e8m4OB)KΜz #~ 'Zņ‡X|űͷ#DBb_:E0? N U|[xZ2;5 )S >zxMA\>(?Lj9r⮻N][+r|b (Ѝ tsXmv!FwBr],[O>s j!<@{"ndy=CXB ]=?~j0eX5L4%Qީ;A p>FB>j$Pk~oD\Bײ@G*\2) > a2 JvBJ_8\D,'7[Hnn>M? $_?ή,u~?Kxa~|?̯?7>>7WfwW;N{enÔL$:xon"ߒίߥl u{7'h'xF__^}~G[Z!豇`7}֭`hOˏjNgi T |53nog! y"ח35ɷPtwQaeI5ӫzvIN%/Kv:.o͵ѯR\WjY$5(h g:+$R ֟~1#0_nF"+@߈nO7q-J87_fMs  -2gx` niavQ44];#Ί_"ɔ+8gb#= {erus 4ӄ!5!ylzy O 3qZne߽3ɘnOWƄoX 0 y<5dז X[2gv}ȹN+(~oTb倐C!~b5HLfKIIhw1E1Pul>;1-Z:A򃿑Ĵm]'x*#1 ޠX0DDhw AY-&m?zD|'@Q4eI9׃+-wMƪF$UbWΠ [ܵ_v[jfd Qe+:3tCMF{/GҸF,EQu`)o9ǡlb=Lt[pQTf/ki_4li43j8J+yP7v&ަYְH٩lW-lS%ED) ':YYgɿ1ځ]~Օm w%5 }C3ZY;/ :7 (lnz~\G@8vפ޸Xt23נAb傟AXI"2`x[s~KaF!ӵlV֝^XE.$bGM^vǪW{hG`N˧y=|M]ajmQBg6Cʺ-rc+tFy?ʇn` xn ;bp.|iĈ?hRMŦ&oe*3s[ļԛL=叽^\Ƭq[bI8WF>&n"zE3ao+MY'BIrb紃t[ C,KF0XfH&d+I,_2 s),yWK,]Q̠1?ۜs9\[5Nxa r̻I?ާӇ<#u()~k|t)J!=R #ߏ ۆOR?QD$3Ԇ55RV>;-`OFHf.*HÖf:@rtq>ڹ2VݮdBXs*!G56(N,T +ޮvKBq[^MIPK]NZg=CNFgen-0.8.2.dist-info/METADATA]N0>҃6,DynSqJ|3[Lj|JV(4$ٵ/Y Qs2xI=#yw]c, !hzL^K6eNu/K.I3PlwW9ԃz|UDI{ sa~`|C,p퓝m֥X.aܻ8(EPK]N&\\CNFgen-0.8.2.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0363 /, (-JLR()*M ILR(4KM̫PK]Nmc'CNFgen-0.8.2.dist-info/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PK]N,ˏ $CNFgen-0.8.2.dist-info/top_level.txtKKK/-IPK]N~ CNFgen-0.8.2.dist-info/RECORD}ɶJy> o5@FPP &hǧ/2㩑 ?bJ+"*|gB}`$/__5neUuE5pxgMPbD2. hX1= YG vx8@ "$U `Gx"{ÐL!*25rhb؇;\\f"(FAzKOV=z\E@v{{ٓ $7.hjk;ҠW񔏅ӑC?5-?!Tֻc!B8Nt8D GH3H KnZyl UhSW, ʼAie}2TuA[( )egNP>Q#*}HHVhrfjj2U)D`$YX!>ΥkOŔ׻D8N`X^A$F|Su=VûWgjE33 8`|[i=lNEt̫܃N[ޞϜ5VGwu30eA$9?6hI)`<0$(FPA(涑qU!@n°xwbQ-RdYi"DǍ(%A=G(Yw!g7y * çPhGܳl{3"Z;bXs]P`}Qf*Յ|MXUq WO l#j }:/j9M `J&p`OӘG^֓]C~>/$US Oxt9PJpynɥ2Y v!~ <Β9V#<\tV' mn7#Q[&yW@R8d-XϦ mgC_D<` 5lUIHaEr>U f+;lzغ>Š.2YZՓKWK5!sC,>m1M@#%HVꢹu;32H[C>^%5$gnAWݣ,ZS| a(~8oZ1&6[o-_l"^=CF{Oq&UYzcۋ);w`G-wSXs|3F*_8/;QIUaW#{K9 ڮU:9|CV}}'˹Oі~.- =,ѰFX8C}@BΰNupc|6Y5Kc9h뫜BME$N?`'oyG^87=iJ%j?et<\Ͻxl#]/MIt;q5 5t'lEPz!H@sQm:{w;߱$˜MALo.Қ AGdk;utw$n: t%ڠ[r h=c+K$ A u`ū-<PMX"5K"!5cnfformula/families/pigeonhole.pyPKN!?cnfformula/families/ramsey.pyPKNë\ %cnfformula/families/randomformulas.pyPKLJ  Gcnfformula/families/simple.pyPKN~- *cnfformula/families/subgraph.pyPKNJw|gB(cnfformula/families/subsetcardinality.pyPKNNJa Acnfformula/families/tseitin.pyPKL Th&9cnfformula/transformations/__init__.pyPKNC/Z %cnfformula/transformations/shuffle.pyPKN~(U+cnfformula/transformations/substitutions.pyPKNKT# cnfformula/utils/__init__.pyPKNK3cnfformula/utils/cnfshuffle.pyPKNVG #cnfformula/utils/dimacstransform.pyPKNkm: $cnfformula/utils/kthlist2pebbling.pyPKLNlb:<cnfformula/utils/solver.pyPK]Nl/8 CNFgen-0.8.2.dist-info/LICENSEPK]NZg=u;CNFgen-0.8.2.dist-info/METADATAPK]N&\\<CNFgen-0.8.2.dist-info/WHEELPK]Nmc'&=CNFgen-0.8.2.dist-info/entry_points.txtPK]N,ˏ $=CNFgen-0.8.2.dist-info/top_level.txtPK]N~ >CNFgen-0.8.2.dist-info/RECORDPK## D