PK-IPMcnfformula/__init__.pyUM0WL WS꩷q`٦JR!17뉻OQ=ПCk cԠto]/߿NƉݡߢxq*`:^43Z #y !N3#1ƹ:3bˊ-6/ѳ'KwVH^[Np N|̀,S-D;yД CɒߏVQZV"kYBr L!bfi\`  p'ԓU /* EW:l8]^?$z0UPր&{97%i4km$CWm?@LXǮ>VqibuC/E< Jy|4zwq#wq0;ٱm 4fˢEđa0v$ gka~ ~iX7qzA$X&2 8_$XSfᑃ?@?~'/=!M~$IHt]OG4݊U r"Zg\~Ia2Kf,Ēm`L91F;^"Fӻ8O-F-q [5gT vW]CEܟo<3\o4NK.cy0d&Q|B/qjֿ`M[P&B%n&;H fx8i `Ռ+.FpWBnr#4f[ߺmZ79h U)iP6ߦm&&]qde!-Tq t+#_h]7\`x)fje}a$8 &(<D>Q8t:-Ps &bwN"ۢ.Cei f.X|{JJbQ7?1!ĢM n' 1GS[At/|q&7EdA 4k* B5$_ 4Vo2þj=¾axkr.c}.IE` &S[ճL$ϴ#xRRE+|a”Q`P ̼-;e1a#|y>K˲-! 53U8ACwZr +m5j0 gkݷ it.PTY ~ )`G`+H2|iRIjL;1kw%n*ޑ0ƴS,ЍQ!$*89 7ǷCU|-PXxiTv~{ob_!4$&iiV# eؒH}Kq>'ixB^MMُ| C[, G\GNh21z/0'l탇v`$C2`Rk0.. R[| ?N ~۾{_s|::w/ϻ K4ZQmHw?a+/xP`z`XP /,4a "t-3ij,f[oqoQr+zwSaaLF뒠4M 4c@ (X " *KpYbJ+6f㜫7,6sc{xQuʪfhhwlf0`b ޘތcH> h0g WbnbLGP𖹒dW9ݴ 7}CCVhl Q0[)MC=. XeH.Nc ipq-K%+ ǔ Џ^zŨrE_P6ArЇD+J\I`%z̴k Yokw'3Aw[N[{1&Tl .MLiT%YA;/D1D'aBj5AŎ_Tkiq]XW3H#\'m@/4;)f9'wL>,C K`. ugo 1JM=5j[۫x̦ϖ~:; `1roFĊī'Ra1Br]6!uh$ *y.Qy̤Z:j`{O 3 8³wѻ8\fRrP= `>-3٦;Ym#yD/t{ K1v2jMv~Z*֢! g z*ZެuCFCnq&H,X%:7ζV!&JK@UIMZ 6C%|"zT@"^x@Q%KB2Kw+^[DWTD$9^~ R|B Z;%$7Ya ba@(9!wY={F1~[IMNt#p ]5I&΁> Lw% y:nv:ٛBq ^9t1ET5@HzRύZ1S)-',U06ݼ[*:`vSxc4}ر2e\P1ЃɆ #sj-q 9Iai_^-w{Rejr5 a؇XiZ][y2N{nl %q#rs^x̭t*F4;'^3giilyܖ3CU{F9! kk:A5+6Xצ"FVqƶA+&ܽ=SVzɻX1cQ/+)hױ5kK`: 9X]$T%ⶃ5RH}$u;ͨed>xEiQI?뒑j9Pbz~"g*v-ub< #IJ<]1=E\$9r)c5NXr`ǯ뼷W`i<>E0PyJlLKp0]N#% BKL*G F׋W,RK_3Us ==tOۓ6@z`U06`䊵cd:.v}:"gku!ߤa^^hZ@}UxSfTh[XE|":?ҥy-D'W jnfawQ&9V+ΛBHjADZ"6e"6i N*9*Hˤ%RB{J: TɛI^5&!|OsCJ ^b~+Cv#.+I&^ER.Q! >F=l1%ŋ.*/Hc0 #- ,y~<<쬏mC/Jac ]7"@!uh|#<LX#V7_˦H(l` P3Ug÷ߤt-9RZP=y+*a?I|ҜzdQ)ckz}1nV]Yz6r!h k66ZUsq^3?-egcԣmfB `LI{ ChӀfB*B}B"0Eսl)j( ?2`BTvvTr#?i¦R07p}Ӹxܜ=/A:-ļs6fF"sb"?^3hMӫ.Ř~\=(16eԼa1jzuصЏ9L=|DjS_4~sCfk|Ƴ?l쓞7MoHG7ADgg/,ta\\ w=`'8t!AWin/eZ4b!*o"!tZSuRWq K6B_, DOzFnV0X "~l~  s b`a +Y6d1|(/D6 [HB6>zL0{F3gtV,6n'(o؝uX[ {6x$3 2)󷮪K{Uמ>Y&nmvԎG[VNM|L6d^mN޾KY묨IZzH}|9⥤}UC8;op#|7Mz}Mثt=2xY(/OR@CbwZ~=m7寻ڷ֤W%Cϟ /WЉ0yv6mu4o |z[U?ʥZ9KP{7Zj`5`WчCУhpU2VhXVډZpmxZǷr۟ڠP4kxD1" 9dVu`P]WƄZL8ak YA^v $Á! )5H`# a_񚇦د l\R3@ɛFy_VuVj ),ˋAِ)+7,, )K{՟ n|M#X'sC֓X]ih~@Sbu+фǶ+,i<]|{blEyPK9IH 'ͧcnfformula/cnf.py=ksF+&tL -JՕ*tĻ:[q.W  <$ToDfL~OxQzmuO! eOj5p^qd<] ONxްUVlWypE6ٲN"6qZ$dUQ2LWe +Q,"qZEK̾}YVOԆW刽 ":("J+h J^2K9ś<6QZVpul! ]_;60 [g&0%v:˷EX{L_߯3g^&E7 ?ڈXC(6/.*/O?_Ekec9/@dUd6. .\M*)**,KJ*:B8ۗcv ͊(OxH,I"Nx0Ł ' >,yn/4EfeTAY8[F+^'x"*&?J[2D&5?OqnSwFr4j"g}@E2 B`ŧ/npB򬌑V<1 L"&*b))nccSF3VFQF,[1}eT*1IpyO@B9n "(4 s\ԃ9D^H$ CJD{~~ )ƍs FԢMal%R .łb[V0 wt]+%$AEgM8x%̓ P«z 2 k%"2ZW8)𵌑LFH'3! T"vVeW_1 *dnPf72 ۷9v1#)N 6Z"c_@)9jU8a.KAleC*ďT /@AЙ}ɒ'ɓPBg*ӥ֚}[9 йhSP|kE tdp<@X$$"}v6aRxqno×*ZXa:[W Ziƥ#ÆTHc=[a=ʰshbfՎ<ˢр,J-gC^! 2v¯/" /TUs6^g\G,'KP|Fvs Ϧ'3R 71 `8ps0[u&UOjOI4G\MM-]va]7 [Q{(!Hn*U}ŋnƶ.o+rafХEOժ1hj2 9c-mA8,mPr`Z0ޓ-kn;gP`Di+6ilR>Ld_Tboj@:eE\^~`&mGO~SXCLq8X [cB)'Aq25[hr׶`*&a Xl8GӁil1{zt0kt05g< /~(0%FO5QYz-"R\yߔ`p$# Yf&(@K3MkW 0v){6PG)?(Z+>b(vq "<:Rū w+KDt`#ma. hV8>u#'[9eE%p|H|(E1&u'YE!;В>/RK"4~l.xjxsg锤4XjUfTVWJ}Nz\2DYmzY tL fwzZ@% &ɹs;p2V2x@B~mOFm`S6TeJZ LldreF{RX~Jdz'< @E?¦HLIE%p$d ~8/#uφUd'"3 .WQq uBc4_F*Q[=MCPjiݹE<%,O7جF:v Tӓbi> Ay @+ j3`z%I.[ /8 ԌS ?rd})wszصDޗ2)6ސ-IDf,uWSAͯS"YzkG48c'60~Z{syc#äх#6~EH .T7H| pl߀_Kd͌ΆL!ӞAJ}MF|:ZR l5ۯA+=lEdP˗|ahZ,!'=VV*4a$m8-3~rR B *h $!T76*`}b#ȊJuQDQt̛BKwzG6clJ~NLlĄEa|kտ-<fJB_ ħ(U`B 1H4Wܤݼ$OP87pDhڌGEwLبG4hrz=&LbyǾ0 0 ǭf|p:ylE3=,LrB{s\6uJѤDю\*==D&Q?ױX/xlmJ+Jg J>\ )E]Z QeT>(zaxv.S2>f<PTO#vMJ'!5&#(";vS u&PNk4 aui&+EoW*Z,ߪ)tUE)1SC @+!8PQEMWXӣp*W _XA I6 `()*b\;P*C"_F̘a]G*,h$Pw)K(?$Y\Ii9*2V]-UMCMq,F89輑5 {0"T'pP)R+a} ~"H6'! ^KA!*>O! $?G}(,Lξ'8m2:Mpy#LQ8Dul>q]ہlW +ŢB@b(ZE+ʜf6}\JD1)(`[+ő o$c= */Lzq_]HQ6 sڴl);3[OfkF{-\ڻM^nm^ԏFb=^Jo2 -hTy^ڌK;d4BbQɫ$^b4|e{o, &P'4B̖&آlPRQEqWփP>@j9Na_F[F3.H f0K&.7ewDLXԫRTikyRSȤX563n!3m+ȩYhb~< NioF{!=C@Q6Qk7Ih66beQN*(W0 @ t{xnwz ݍ*l2a..lDp]6=\z =a8{z7i O%TLu qpo-`:Ifj_eBPg\κAR |H=$s@<]|mB[tpͫ}_˔j'o4st>5yY<0{.7%Ev=bpz5|~~Fk52^RB*@88 Z.GsVhجh<:AMQ#x"Z;08'q;\O d)[Ֆ& `ePHnJ@,(FSsRQ2%m1 e7h|yrwJHo'Ѫsߊn6;Yac{ hxίsx~x0wc GB Sey;fCpi9qe04VŠRt0"czKy$;89/d du/|Su^\&#aayvs~wN7\[ZOgysНAQ'W~+`樟OgӖHzA|ۍۢ-y]]d-F58h:uti^Z`7wߗvRVR0KՑ8230ؖP} +D/.HP!S³~nL:1{y:!2[Ӫ?K wnJ4i&Ƴ$R3:EpBB+h$Dg3|b"u.8I23o*iVF|HQء#TwCbJ$'3Xe"[ HE"h [s^RCN}2<0']p0Uۚ>< z*~NM9/27i;AD=Qlh5D@{e\T av VZ,YSdţW}&{2TL:&P70\M֚sr(v!# m۞9%c٢[wxORA+ZA@d8;atu#ژVU\n2Sel[~hn8(YDǯ؀0 ZJapϩP<{L2Q p9뿴GEN*as'&3v{oݓ:i:(ݲeC CK2 eV Xʂ7NRRuQBq]gSl6uYtPU=Rab\-ARUr<3CT󊊐 d4|aFZ+m"\S*ע>Kz@L Z+iT*#U/NZ2r=8xEDUqes4Iw1DճEgF% Bě8yҋrTRmXV$ XO)ӁA={ob^$ {f7lMR5j_RUv)ZW" ivaj籙lE j׍Dž-b QX(PT7\M%+}3Y>` PlfüvRo{ ?W%h8‹Qoj#Zs<] @qn6̭ڟ4שpDvV>Okp 5Ij[Nۖ|TX^ G/XSu&ʰ kӯ4<8r{yMQGH6{bNئIakE+am=sM*S3(IBZT)[5yXG;[75jʑeqPєaٮ>lj=(G39xDNly5FqI̥ROζZ.<O$aR2BUYN?Њu 9K=Ó^ӲLRֆ@Ýԓ)2Pv0ٌic|لď%'o4b[gJw~#aVc'|KZ™|a0vּL.x^T/57G%,Vfo5(v"L^r'铇l.=BK{" _oIGV\p^ @fbϓi'$l5IpJg8;28/Q4w&m9;7%=u3p2ß@cAiE˝;G-w>3|;l|bty."}F?MCMʃq+(< hu{mzwMډ%[=7t=ض;acpZ׷:;3Si 0&`&K3spLk6T%Xө>Fڅ.1VgX exUqɧ[С$~;cP\/zTiGiY_4.7.5.-umCWѭߥb]I8ٮ vuםRP?qh7 c]efswy*x[?[ykke<V9]]jg_Q!ʢ[O|l~hy^jU0٭ | בK[r5i>qhڣ—T/-X';vz fi+E$>dY6Cֶlҕ]+\'][OgP|Af u}7l 8w_¸aW1 ב18 CF.9Q@CP2"!sy`bsj rVˮҚΦ-~ʁ Qfzpt؃jF'$=*'EJ~Z襓QRC5O sZ{nd}H_VމFG7<#ex_?Zݍ5* ;>/r $G#%qGkaC]p;3+MQU@݉ӽ'u &Z~gPgN{oO{s S)Js0T#^ ޳^q*4e1rcXO;,A t[g)_,zk{hn 6my,=]P%v4\'ނ | R*#@AJZzǏ6IA3Yꇤch9Xh`0KTY׎ĵPK-I $cnfformula/cnfgen.pyioF;Ŕ@dL9wB p q.dC5E3CB7}{3$KVw%`y9oN%Oyy*Vo*lhʒ*q]'΅bb&/R;Ur\B a#d 0Bz:Ju6`2[3RT,ɀ, ɵ2@Ʃd*$°2H8e|P?FV!$+3˥p醄"[5SUq#$ag%y{$cg?G֢YTz8+r@fTe@Laƻ"/kHa9˗/Y&5 J%5.$;oޅlD>qx_a5֞6=8vvRǒhH<^h|&{cSx~84eI,@:A %Z!c |6fr{<-/س^9@Y){?e犭s .},{3|dy!"|4MCos0d`^ahAj^,O+phz4pVE3O=H=b+i$Kz>m9 ,.jY>ÞUYE |^󀮪*M dUSYFȘcbAU#eIx''ƀPˆr9e 3fn0 |k_r$VZr۸cȰ+-n{ϓMS 6o]> -}/V)ihk ٙQ1ڌ6$K*0}k qnvpCL s lȫJ yhF~o3Dj;ߵ#am)2;^B0W}; ̉LZw!@}|Kū?\ :q{ wL=/]]ރ8 ?[ I"eR4n}X'ڃكB$QU{Yژ)d YS1t0YD?/ Żo$7l/Al[Xƽ{ I@fob>xWuvΛ24qd88ֻh;uPKˁ7IJ| cnfformula/graphs.py]{sF_bBI EomծȖ':vqu$DD @=~'0|HvqbuOu"+ZEY<LJb^Yqun.zޏMgM&kєbɕWUZ˲Z&M-"Oe(TVXb\ X$H*M"e:V.r)ut*媬żɀσ4sxI^L^t W$=ÖzQxz&WPbӋlTMmMNk!.RV Ph.PW⢬- \NsyL+yU@ΣOrK( TwӦI],w~pS? &CC)KYbpUu#Z2Y34M%-}X7<~ԿZߴl*Qm(.͖ɼ6 qfZU*y`xDGnSz+B:,2SE\2".*.ZIX8 N ^"R}C!?T^`г1S ܔгQ_@Q=ʊɐyS2kh\5Sq#<)dB빑Fqcרn`TCz%ofp<D1F\yuCd-H47Qpx<jPg5{ŽF؝HE70 \hHD # *_Ƕ q@ )RU"yZq O/MqR!< ?/B|)''=@8馎DR"khi1o~⇶[Ha:_WS'k hLL(W CM7Aڳu <{y0N+5Ly(DO1*shCG}MCYGd|pU!(XyFk8۫5̱'܋S8/.wnِԝNŇFz<=,VvXUd݀y`e]֣U,F*<*Ny >k`M]!}Ur7(xgH|MF pjFGuٲZ5+68]@>|RVFﶫW3Fwc:"rd^:yw׹Tv5Pu&s*Qćh#CCQ9]2ЄHYZ7Sp|(*kMb64dբxr*lA=n"ي,KP%YK^+) ib@ɀVn̲f$8D"ISxE.a,KpPՋCC׵\ `)G+D %.m0GYcĀ\i}UUD)ref]b2.81Eq*D ]*)an]e6#Zg3uZi!Ӗ5O#k'Ӷ2B@{ b[qcD 2"è&>=3^< Vѓ?BG fh [M%Stk09$of|TW$6PӍk RݠQbXHYa$/Ypy@H;MRNť'5f  >M o,fƐ"IU:O11\frd( G; bm)P]4F^p[;AQj~̣NIb1%+yyc]poׯqީª7dItՕLe цbWE]U54.g5mNPQseJx 2WVf GlfWL?fJZQ(8-pҒ^Wq=XU)(%#M0@ITr/4F#_0Rn8]*:a6xڵlLt6Ʊt'@"NTI#!ie}ܯ@&T3ǘ6-Dt1f/`y(Iglڍc# J= ӷ9 jJN\$]$L: hNCgXAT rݵvx68E hD_`ӳ8}+Sҏ~k>I8\wyڲdO0QF s ^փ5 u&M#!v* uq.yeɮͧӸhGp-W 0#¼zWٔA˺0Rg@ӎXHNEOv1r]T}<+:#!S>ْZ\@yF( QO8d3ƣiݝNsv%.e 2̭d;#F$+h{G1%Q$PC?OROuЗu۷۫'0sV^%ȭSA=4 ,zsF pSSD*)`n;5:.Pg}Wa$6U0| "Ha8ڰU& ?I'Xr&ʭzvҦ7YfE!{|> J8oE{1}2z Ѧ,TgO!xS߾+3s9"H*1yp4ǶUt{rKr ];>IV20Q4_ R/.ӶfXIAW7nEr`O\dsH9XGhNڦ,G_4[v9!KւpQ@Os qY1R0d*);V3 9r6B'AnG8Rb^# OLƉ  m1Ou Ч z6SmXr[*b`'aFir\ft6Pq6XcPG1sȈx; ?@,]BsEfY*&t]9V0O u@+onIY*N}3ҝڬ1,GgP)?-d">Qs-.6LUBW_.^ $m?#NӁ/^>vyݘ9p7籝<԰(;tDM==?M1gv@;>8_;yf_r].T%fMl ~Q%4xG8Q½szTo7[|ox&#q_DvR_1WtRvҍV-NIJmՎwW&۰p(5ybu$v:잀d'>Ap''οɶbЖbnB u  uqR^ds8=WzP$VX;O6v3퀳: FoS$3b}y)QNA[Q[:(c`8YŢkRnaSpl5z(̤RyL((ƝM^ܓqs\|MU7¬~ZGF!R]^QH=Lt HSHyF~V0?ΟB oes/Ԋt5wSw0v7P  + p1RJCQb ݀2ֱ˞S}!l3`Ej'MDYKh g7G,K.|R@vHK@|sA=~D:so CLWǔ< l(w!KDf8( L X5RsHot&ƎJTD˽F'fӅ[-@gj˷{ Db͎S0܄hW2PwK. He;5:FJ'Jpm$~r9_jJ<nV0G>S\x҇s;f-o3Q47O>`;GrR|fn0ܼvqqvX8ꪒ>ldW8'yLfsgOPy)ʝ>PmS9e)ܮM3mi L(O #N`ާE7)fl?9ovU٨٪.&vR^.UOu=Vېk-2>qvD@cD7t lOQ cϠ쒣O|Az/ށeWM[2ygJ1POh4* GVm.EV>ܶ#u8 usX NkqUx4zy>Kq~y?ŭ$*WW,;o_~мJ)+ΠΓ⺡S㪣/+N}te_hWakgwfM*[3lhy$;o/{kyja~w8z36bO}.#H %Q~Q쳁^LfgQaǪ0lD`}Y_\<:=.|/ |?g9RFaz Ͽ=f/%\@]؊Y~4ӗ Nd|.M:} Un'ƆvUç7BH('C,WCWTK̕OWx488GNuI8iJwx ;!jE{~؀[AרFtzG&W4Y ɋ7LD&Wy>aSS`JTqI|)#P d<$QIR%ضL. 4dI+4s'F&vNh#C.v{Ȩ>XT$mtkb PHA*`!)j+ɉT37BŅYY;w(E\%"}T>TV<ٟ㉘ HtF0t|}n@J-ڥ>"C3ɝ3N?L1<|xn36Us=VKSg7V~8oe[7_2L["ky5\An<;^W\u!K<_OB]GOOUj"+ TrEU*? 'v$_vabopG'^ـ$2}uYDTg oV?z?ǜRSRfg "'!WG]|zsI19{0UI\Gy/Tk/\/?j~w 2;=_oNtۺ^aiH|I-|y*, `.xYr~Iap?6h'hۘXS6I>RΒ8 8hٱϬ$\|hw-q JNSU;f  bg+GnGK$"C~rԞ>6;3=s u|Ⳛu!g8K9Tpu)`unZG\\Q}Z&u\⇐[:9pv?`W/PKp7Iiǔ%cnfformula/families/cliquecoloring.pyWr6}W򃨚R꾴T$Mmbg$$$@..$%Ӳ!q9{v`8ImOܒjg7JN a*r}^W eUKKPNX!k>aPe]P;V%arFIDY)mśA(BH3(7UXRL#gRRqŽg=8S&k.VAWyuJdl|> ŁK[BGXAEi ZJ֚Vr^R9_Z/6قWbX*M!BBC1 F|Ap:0s(b9^5Ȍ0rJS 8`jV. : 4',.=Jª\/i:?4 #\}{PHot{ TʝmaMP c-SWXvB;#I\j^in@ 9fRo/ʻVYՐgo~K5-9khܟYK1VQmD6nn]jιbSQln={swJ3g6\q DN͖m4^ ŤDE &2H˫DTRY%хb_ aW.U!X^ÿӧ'֎ 3 7΁t"%۠aDHv4cCmR Ӓ~uVeh]"uAkylSP=xkă1$til5Us,5mEJ)%`g:ƠOZBMWY">2'E7&2&5%M'g<= t}z5ͲyDO^t~/"з$DD~ģ)x5bڏ8b!q41 FQ+jC@%Sf~<.1NuMUsj6|~>Ԇ'HM0;k XJ3ظ3.^L^4ԖqJځ89Ҩ?k\^׾-HC#+Һdϯ/KTRe-YR@xlZ}'Mr@m !3};{w@G <;$z ޗxo .O^x "J6n^C8ANG:؞FEWEq0 5čʚFo ><;GIE,\:>*q>  s)iZ Yxks?_(yKhNFrZl}]gpRl5x8>w󻈡1!(օb=P1vHޖ(2lf?YHPrEFSo6424% mA4Лp^ֈ2/?PKp7IҼܛmcnfformula/families/coloring.pyXێ6}W K]Y(8h;&KشDʤCRAl9.ZTX9337/Z=^s#9|0;)1dvZ0seA51;ja ,)Q`{m9F=fS?He}^p*-BGV8*Ŷ\2:=yc])jdϑ[ODlydYb߂n-81R hRAV,Kن8 J"qdS 'dt@,;5c>`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?PKq7I߃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?PKp7Ib&$cnfformula/families/dominatingset.pyWQs6 ~K.}]d^ۭ$9a$$: %Y4^C'+y7W;,6~t+]N`R-Un1'z~R̄ $Lp(am<ܲF[CZ,AyDCPZW˹TԈoh4jKe,r<kA+ b9V{ĸ;,G%!{9!Q& QE@5 %2ٸ Zd%e6Qnϡv!q\ޔ.ЦFTIy؅?b!"2Cө:;/G+̈́N.m?Z+#U+T\O n)yaY,2mZ ogOOO=??7oh#Zˠ\/%9Prq4^`#}#,Ճfg{)Yst&B.iHi|^}nC^V D=J}~;E7oq2^t3&@0Qb񾍡cIHhD4ޖ׵kק3FzBbTЋ,uWSV?)QXb0RGU EU2ZB^R;+[ \454\-aK*4_V1B♎KA+';cWwqꚸodn}j ^Ԑ%/< ju{  ӸX3'EGw*8ԷlnBZ/׳hZ}Xx=~KߙU4V>egfc2-$p͏ڞ4h  (? qkPODcis=޸p:d03 2sp®ޯ2dw2b׀*L׈]t5> #$(xS:LJ鹣+w~jl{sPK-I'cnfformula/families/graphisomorphism.pyWMo6W:ȍ> l6^EwKeHA{gHIe9S(Cbf :ywQ}15Rο9DB..KG `0iZ0Pz).Xi7S@tQ̐ldZȬZOJi ?ni.$E>;?|uJV|!:F)* &Ռ"ƨ54Z\Ix͵ 7^A%T" L2BIJ<"^3d1 S-9 Ny&m% ⧧o`D p6`6oI%`k 45c1YW`\*1`%##9ayWTѲaPuzRB{5_MNW-DKC{ Re"s*?nDſ)y m,{C1Lemg_Xg6 w f틤ڛGt;dv׻9j 6»&aiQ$+>AKC(]G4rt4tfqバyl|%31Gw1wSjfW*כ=; ^{Q UFκwFJTX CzKS*k2Hwg`[KK&ɷ=Ūa!# =q-V[;.yj9#{qDKLz}ܼxoF;Uj@T.R mcCk/ t2 4oR:=]PONDP4>"A6.UZg`0U\pŴud]ɓv97KWzQR#s~\Ũ1ORSkl=5F/Y(NYbuN0F<&؍Z-7QwHjlӷr㣇{-vMsd,xig:igdmƇM+}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:s4f70e }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@+|M0PK7Iɦ#!cnfformula/families/pigeonhole.pyYs6~P8/OiIܛ:>O/ 3_].@H^oZNb?@Y3_DzboɔY(aYDa0HDZBf)"VJd:adH bQ2 :!I;=LEEV\NJD fsZWKZz0etD<z[Tϔ6t LYAeTUAaH^k*!c/Vw:̔XI 0\T(^djv?>6~^Tpr8`w6^\8 mG;b. 8$c%,)Ӳ`L4,` VXj(&#tfL KRX( *B `<2|`NGR3d W؄2C ^r%yZhR2<\!q@iycsӐaV%f̘p~8;&m1bi?#5+5(cV(s)[ĥP׌`NC6d@V?"XcI@S}OA[!hfw5> !K -oWCȵ!aXjp ^@0$ VbP< y5Oc9"#ʉbܕ, X\a/ׂBdZll=g{4>`/K;~^7v;!TqnT_R!S[!ĉ- \P\]/m:'+=Jdxl>ҙ)&ayitSڜn1Oe31<]( ;1G/j%A`u7^uG Clư8^OOW dGJ !5Nm hۿ vFc  ;tsь"POvU=?]ZBV9 i6b,@R MʿV@[rPXFI  Ȕֺ|gP4kPd|Cp1cR"01.ql=d2,Ve ]-d"H ;!}^sv؄qcamacb,`b| WN$mI 'G C (]~iSrN*U7\ƼȈMFA]3=Q\ DNYqh`C!hŔŬ+ξ UvV>B3Z`0yl }`zd uRl7.)DA-jbv浸v>64}z1Kfz;QN?գ[8[;H,t]y[#uY}WS]|v9 Nވ-5u(dV@^FTi 3 t_?E08rg f}ͅB_; =w ~nJ:@m3ShdVU^ o^ޭ6GK7GTs5 l FdW C̨1U݌xd,6]!Ժ3l=jVq 8 LsQB+A!ЂǕc=AG7սTUw)4?OQ(*_g.|m:s s_p.)ڌl8^߫PņP~wǘ?h Js 5`8aTLPK-Ij.cnfformula/families/ramsey.pyXmo6_qKPXNd5ΰn/XֽT- -6gItI)l:qv LbS<>;o7Z=1a' ӃL4^p(ULH*xJBL9ռU4FJU]WL'wߢ Q 3#VBpPk>/x9q_;'jj) NfY-dII;?:o+V|,4 pr0W*aX*Ϊ#%fa=hP[K)ѫB*L0 R0+\  &J PcX8Za09TM9䊠ei`dq@gEgTI(e% dλzVh]vWYb%li3-3Lx\"u*|}AErjgDŽ1+RxPng0J֔FQs|v;0=U7p?71k<1Eɪ*Vp11 s:n2:J4XT 2SOs y2Y}jZg V|UUAwFjUY a<,* /^6lH |qhVyљEvUctJ~<;萜r.M /Ѿz hH*wv1Onm͞&)KIpdzOԖF#`%n7Zkn4xhYлBulZ4;#kR>jAKt(Wk!P`7K<Y^:nfaea79qo'i&moo`X^LM<}]+ԪnکΫ2 dDh8+ze`blwjޓtk:öK4o=KCFc~Nyi"e7~@34WqSuiv7^ ni-,`c߃UW6 3vt'*Cyuz1 وPsYQܷO}[n=m쟌;/9a# 2Dl~z/i{2f*9+73sd\#0Svo>}/.qxw¿^˾~10_^P_by7aUPK-I%cnfformula/families/randomformulas.pyWmo6_qs?Xne'6q-X0`@1žtMKgDi$+wINX&=.:/R]hF%/`rySH_vv7dN-6*ax9Id6ڂmT&.h$;Mjւ^!^,QTxfg'jYI4 = Dgpmf'HdW5*kf!??p_-Q =*'S :`kT@$$ՑKCь6X~$L ?t.uLGۋR3,m*=j5HzC'Q#gB7J VOe4N+͊\#u^zBh23h+,^AܚoB* r5\]?-ZEJflG^G"/r)ng.Olet6lJN!Iw=H}\ֳ}:.܅(RdP9-Ǻ@eG2.nP%-ӡp(CRqh,QDhQXnI3EaWlAlNH{A3Ī`OG[g W:Xy{Y Q7ijTc+MIBqyE&BD)R">,ι]R:3@d(l.ưM^ a,7VTVS;ʽ_ !Ip->Nx됞wO 4 ^UiM9x%j(ApOQtBť%ZL͍(/R?חc-u[:uGק-GͣOf1ɭL݄B1JqP7Ưߠre&ā"A7vQRRbV/_]ι{B(ߪ}TVUo-/BczWW%![&u<1o>gA?N*xuO*XM]bn[;*sy=sĝkqj*EafY]MXMfRc[걭3L=d!ZC4S9'{`#Ts=[k[XP߻O>PK-IJ  cnfformula/families/simple.pyV]o0}ϯdICBR񀺪s7ؑ ik'MOM|<\qcotw! i+3Ḯ!/2Sfbf BeF r9|Zφ8RYvDdS9ٜ %MTq-|I,ĉ1_|1z$Ϊ00YA! R5;$'g%TŒđO)ylfj׉2esELX b\:~AZ'0agH\شR1,ɔӀʴ4Ҩ%n\=d$=liՆ$ɘо7:x>rKd:z^Јq15B(-m~~ iJ{R,1cZf ok6QVn_ʒv{74}Fςjɀq \58̓84?@ E`n?pFI{VqqwC+~B1: [ϲWk#m>U4Dy! o Z`>@[cpjlZ1r`r _ulo)X/pwN3Xͻnc`. = \J>lSX"to Zx$,䲕ͳ IX{Qj:0x㳏_/$.^w-I_ v*]l{_{EgkMԟ']p"OPKݓ9I]w"!cnfformula/families/subgraph.pyYs6_Dh&Ӎi/sV;$n IH@;venFHvVՊWLܐNoK19&'ߜ̸؜z}|19::rV0 嚬KY9UDo&閥;|GTHZmM&kY$kGO‹}w\d9!Q }ĭtxִ9gjdɉsfpͤ.\5ӲJYC 讀r`j!<{-`Oc8 F"VTQX>[xn(2A&oGBK YrZVIK CAa֫`Z4b}ɔ&[LJ #xB E;7LxP[~H-$c_^E 4vP s71b [E ŠҼ&Dž bT[*jbp*7bc-.9d3\a]s xb"JBbmuXDzpbſg jԦ폋>??#JZ6[րyx0I^I4ra^|%V,KK0(46<X?<'G^?DPORX ۊ'J-]`yFbe@Hׇm ?n PL/H%b׾樑4?dI.hUNy~Fu-RMF\`=yNf cFt ㍵} X,AIUeR԰'N"n$DĿnp3kOg0ڹf.+ä ם '&>׋py\M0bҔ,DSٸbV-Zj7I;r7Anʻxpu# /+2:NI*uJ`"gd&*hoy܄/ݥ{hk ,|G8!g?-ml1?8 Os9B CS8#|*84m҃Ö% 9?]Du{lf|_=~ !Iby =V{D=v% xJNidE#34JaB:Ռ"O,ki͡|>Z;69F?3F>|~ٙsϛja6nKhft%N&w%h޿@& {Z(v3ׂ)Ձ@t`Cpa;c V/&}==Y=2p 1u=`.8񤉩*E~m;B%'fwkhx59v*{Mtg)UT*y=VHyj_2s\kr]-K#Xd? Ys'ך\Vif&yBsb9/iFnkmHNt0M#p´IܽFb +99BdXcYȎIwHjgV h9C4|*;Ѡ`kf*=N_$w/.??ZM W#R T3溲 pc0 sב3{;wFN 鰑 P9_]=c9jZ}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{k?ʯo.R%bϟj+mZEԏn8] hu웕cl勺\ЂGy<G xugmq"Z۹o@rVTRgަCdZX X5h`=S 6ɕ뫞.aʯF^8X2lBL)}}GJ86Lx؆QX١ 70#c6L|O~8* ۼDIDOTl_Eg!] yq|W +%U~6Ǫ *3dMGG&Mj?PK-I Th&cnfformula/transformations/__init__.pyRN0 +Lw+B+Bۺms{+mrib??uu ^-;}jج`s56LQXbG1NJcZ'0 @}Bcʲ\+CQZ"]1 Y$' m@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{=?PK9w7I@֍+ BG+cnfformula/transformations/substitutions.py[mo8_u>Xjdr @v{@-:f+S^DJbNٞ&4R>i&Og?32#'(`$NgD+2.,OtJ* hI6BS<I ZV:9!ƃB-u SR8'ӱ 9o]}Wey.!4eK aqWz |˸ t&d,/yGO+bhY?Ub;o< >lfw ^iQy&l" 3H# L8 ސ;GEl&߁ zR#FQhHr ?tZLlH;ڙ vJƗF.kM"7GrY ~Ÿ3x(Yb:p4)4U*ԓP0 Ҫxic0j JwUTVK3V- [58xc=6CS2"d(T?G,B8qz vlbnȅ]9f#xJf`nd[ ,Kob{<~x.#vW0¡?i篷BXQb[\;if!Nd3<ƥc2iSU2ib< r?|Ei!ǜo=M^*;ғ~,Af#fFS6Ͱ D)|o&6w\AAl B׈T@yto,S1VFTH`|%8ƁsEY#5x   6YA,T6[Yp, 7[gTKqM2NTǓ-(TCHbt%LZ2T%[`j$" y[.Ȋ\0Wf8lY{N<6%m"i 3M0mԆT=q5 >S垶~`|9l1SznmjQ\Mšs6M,C4 Ѭ*ӡJZŖ*XoͮT8Mg{5[cr|-֍7< O _j*C"v c(\E?T_c3iaQG|?F4qWs6LkM*tzL@Z %86)t:ht {0>[sp`бŊI"V;/C l%F 83PPkHC/2C(/'m=;^?U95jG,:n/4TƸ7DvPK-I&fI cnfformula/utils/__init__.pyVKo6Wڇȍ{* h"hEC4إH츋;Czn><8}V{{4z 3ԻM㋻Y0矅qx0|P -F /S\nYaMiZ4 XړTgZqAcDg-:y)8tQ!йfAtl ՐXI)`:Bς"7+ʖp(b*A:q؅Cĵ(r`ٌhpODB>t ]M 'iHn ;"~N EPƒ1#@Mx"j*G m!1mN:ltֆ4ړC'JMQd=cLqEtF6Y jO$؍cAwJ |!9J\ \H@ PHJN!w8 ́회 #Oˬͧ5+Yag_7~qDPqt@Z}oJaE8tU]#78vU?W!>MU;b'Tg4%֚N9TRJnjuw[G8`iTQi@*Vpդx^f i& n{y7蛉)*x{?ޙT^SO+ԗe VH,TZkl4x_^\|a }rCG>D㙰\NU4nWbWV<"jNS]hzKJ7tqu{O Le+fCϗ}O=LX5%P^y3mBi}6ji*js.k@ԏZKF}I uzFKOnRviwU&?H<uKiYw֫!ztXc5Whzq>:È 2L .'APK-I%-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%b1IXa[/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ľ>_PK-I __ $cnfformula/utils/kthlist2pebbling.pyW[o8~W!jTJiF;Ӫ0 6̿9ِFAJ0|:g.z.\\0#Rgdu",ֽ)WFX,pÙ&Fmϛ&L8z"Kұu)U7Teh"E'f ׆Tv%f tw7_n7kKι&1A %%h^S=ŤT U\ #z8OA)…ai5%|.ۮaO8+ɲ7bYFxIeî -aNbpDK*͂>I-HـM#߱5SV@$rG!MdMUu:$!LцSvCh$TU2a"k %o;]/ž]B"[V7]o8\0cKW%Wa0~2CwTߝyZI )ŲCYBk6<&;VrނІSy0;4 0j>VvBy62[2y{+DYlMVY"kRpkooıFV2:ŬS'^v6L<;p/cHȵ?z06*|I¸ΐZ?_vԦQk@G P*fP(5_^Q]kĚud{БNȟ#Mr/_:fQr(ε,tEV aS_arGyCڼ'ϘR>P@huq4rtk% ۧ m%ODЖOY:ҹm0omucs}w$dy=(zϙ{4 IC,RHc3`1î@̭ 2Qn@@33cMƍ,;]L)/̼CV%3.SК  QAUB$ T"xP\fE.UxPJok>u6NpF;1H^:I\2D\珜Fi9FkkG(|*xx,#PfiTتʈ(56TVEpc#8H9~V$R阪9y˪-qhհU, 6z/*fAӼL?e`G\w!QL g &ǵ< ^z5@ҚY6p!$ +fHbk<,CO:/&|!J&mU@`b%)hV tPV}Ƿd`AHd0։9%xSq"C $""ղ AbK^@]Y! !4:e/l􊍾`Q6hAQX4o|+r[?縐8d[K'Z:$@GH ih =kvbMzkG /9Gρu"8J5o k਻:6jCnX y}C=|#SmSE$*q!Dj: _!6$t>sa5$|rV'/|_@ |* *ٛˢȋZ*ؘ&5rUq`2xgYZ];r6lyyO# I < 4`{>/| 0MW0kk@Ta\:u\PP>)PjDͭѩFUZIOLdYbsvrsr-b `Xr _, LTndx~K*. uaáQπϋ&q;P`=D55Cl\πI5q4u_"[wJ3̈́;y& B"hBڒ1܂]:f8` .G@[ \`}'B]`X5q= t8@B)J (0?BD|g3? w k* &2#[8kVRlVeC`p-q,4Z,ᥲO[7 E*W.#7t \)Ej:&ς'6O,YXd>u&gCsV9>؉XF 6$GC5jBބySuu3n1k{>gWk =a'2*l8:sxܤwr&& m B?69]M2xtW**B1T ߋX X+X h;E[s BGFNrS1){@>!L 7xnzu}{n|%Jy!GB͞cqa:fT_Ɏa`3М>GO=,~0F sy^L;@ʛzq9 }"z5ya`8'kkp:'@dE%;~`o73vɖbq}(?+BBs'N u$ǽԤ@ !L, t͏5T!d)-767tTs#0Bݬtan,@Z@xX:T@mafN\wp;礞 %NbB>Iv0A ߚz}}T Q0Kmނr JDw5GVj|~Pu ŏ;o=82QkT(G Q܎"a\X" tDמ tvq.axjI>(wZ.Hdd,eqI(\4$ylƄ^-RJT%D?5L ~V<)O5-+ _rhZJ躴Z6hIpG;~(oT-z w( 5tNI~P|^ek!h]._~eý,'؋_Ix]ߋpqǹCشs2ތqӑ6 %4!Wq >jhz(P/s|c,J*LgJtќi Q\P:ꐣ\;>iDxǖ[uM;ҵ;`'y}W䫑#Xft;;+kOz=WthRCܣj[!ly(- z̊(-6Pŗ:ޘ-۷5꫞Ns{8ўatq>'ЄysZǝbmoMDP>zeH}Ur_tQ'yaBUXy4;,#PWt彃 ;㈽$Uľu'~R;-Q?L4謝 to}07} \1 p±dX!wC[L džgL5ju2 TacSRE?Mq CvWot tW5%qۺv5~[c{%ؐoFnEnK2w T}H ]X"5kcz[Mq=w%Lv.4bZ-}jz\æJ&0tgdV4("SN;R.\ġ^Rױ0E=ݟSw؂J*Y)Zf[V6λX$M5 PK9I^- &CNFgen-0.7.1.dist-info/DESCRIPTION.rst PK9Imc'CNFgen-0.7.1.dist-info/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PK9I1,d$CNFgen-0.7.1.dist-info/metadata.jsonR]o1+'?N(HHyBjTJUi gXI;볡ATZ5Y<8~E 0? >W2(cwzġygi&1 L#Y(ۣ:})DzZ 5&u PNC0H:R/2,ۏ}vohMTD3qX8Ѻ0@" zkOwچ$[`CmL0#WAozZS`0k!9 t"2Cuufqm;=RlfӜlW|WVVDzϑ'ɻ^F'tgzl3!Kاͦg} 9ҿ ptc .& > ﲞ~PK9I,ˏ $CNFgen-0.7.1.dist-info/top_level.txtKKK/-IPK9I4\\CNFgen-0.7.1.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0323 /, (-JLR()*M ILR(4KM̫PK9I@:CNFgen-0.7.1.dist-info/METADATA]N0D;H>@T ༤[j Zп')י7;ܡ~\' FyJ̥9#V{α&2 gxHzD?{ئXJ<`w~sj-aj /UW~VMQ*ӵm/`;OY}ԐPĪD_#N;M|PK9ILÐS CNFgen-0.7.1.dist-info/RECORD}ɲH}Eԛ)a DQQ <ϳO_]=UZ+2߯ʱppJjVO\ ÖLz4?e,QazH{~ip(vCL2@!]#7RuNY;܉MQ~Œ!hk3GF&CJ}7UwBωn0݊ꅃz[.$ zEX`gaKmE4(D)١哟+^HY{'C8ptYw){As,C?uVP Eniؿo0Eʨ휻mœL{B {Eڎ_uV FkG E$WyblU ND[h-G'xS&31 Ԕ&Ĥ̪$!@}_63fNp0`u}?c@cl[v؉=ܽL+݇ËN*ߟϔ"ms4AKsGq1Ҿ.o@<;:V= O[6VS:vO{A~gNFt=yF6(J{F0V(&;0o{DgGҵ"ʥa,?Odg[ЎBpuicӀUd Yj=d=*.CC?9M<;ߒN Ct}E-dBĕt1K[?$V[!Ly"k$1b{!xv\SAb3(Ӳjj sC>rZX0@ΓqƲ1{c|ED(FLUe7VԇU| )5bL*˘; }(/.AUj [[QC }n$D3-Uxx\;Hʣp|w-kt_2Fme+]/x e ߮_>[Bۧt<rpxpV'45IAxFBo-C:?^Q!cSҤ:]#Iq3I+o?gw㊷)V=V,vwkm719خle=,_q.&s3}f9\IqtW|^,K쑑;JdbzQ}aY=)ҙ`QtχH{s*5Ym3Jm$)"x6<Ջep) s'7z_SؽЋ?DM4 #UJ1OzFs & PPr"}_W8we/'8W-8*?"x@tQj'pKqia3L&vBpo^)[q{wԱg`Bc >2g0`rUͲ_*GPCg)Fyݦ]E#?e8?_x>`ޑ %ǵ$! Hv<"C4~/^C8E8kȸcnfformula/cnfgen.pyPKˁ7IJ| @Jcnfformula/graphs.pyPK9ICbxjcnfformula/prjdata.pyPK-IG}kcnfformula/families/__init__.pyPKp7Iiǔ%mcnfformula/families/cliquecoloring.pyPKp7IҼܛmuscnfformula/families/coloring.pyPKq7I߃zcnfformula/families/counting.pyPKp7Ib&$cnfformula/families/dominatingset.pyPK-I'=cnfformula/families/graphisomorphism.pyPK-I7 ?cnfformula/families/ordering.pyPKh7I>e }+cnfformula/families/pebbling.pyPK7Iɦ#! cnfformula/families/pigeonhole.pyPK-Ij.;cnfformula/families/ramsey.pyPK-I%>cnfformula/families/randomformulas.pyPK-IJ  cnfformula/families/simple.pyPKݓ9I]w"!ʵcnfformula/families/subgraph.pyPKp7IJw|gB(cnfformula/families/subsetcardinality.pyPKn7ICXM bcnfformula/families/tseitin.pyPK-I Th&Ocnfformula/transformations/__init__.pyPK-Iƶ}O %cnfformula/transformations/shuffle.pyPK9w7I@֍+ BG+cnfformula/transformations/substitutions.pyPK-I&fI  cnfformula/utils/__init__.pyPK-I%-Fcnfformula/utils/cnfshuffle.pyPK-ITh Y- #,cnfformula/utils/dimacstransform.pyPK-I __ $cnfformula/utils/kthlist2pebbling.pyPK-I暒 5cnfformula/utils/solver.pyPK9I^- &CNFgen-0.7.1.dist-info/DESCRIPTION.rstPK9Imc':CNFgen-0.7.1.dist-info/entry_points.txtPK9I1,d$CNFgen-0.7.1.dist-info/metadata.jsonPK9I,ˏ $CNFgen-0.7.1.dist-info/top_level.txtPK9I4\\ CNFgen-0.7.1.dist-info/WHEELPK9I@:CNFgen-0.7.1.dist-info/METADATAPK9ILÐS CNFgen-0.7.1.dist-info/RECORDPK$$