PK]Hq#Gcnfformula/__init__.pyTn0 +8⠁rӀz Eh[,6d;qҴD=V?wۣ2[4ПBcMUvP`qpAY3#_fxJFgpe 9G'䷹t5ߓ O4xb3<&D.TSZ?,4Ci%:?;+M[["2KNdցQ0EIz~(xSI{ZCrS~H,mY~^m=&Y$S{j_bpXK0.&#nccR pP؛--[Q/i>pCK1+|4 spSSV*p f# 1ff\_AUA7g)wS=8+x|l#ϛA<@ IQ#c6]<+\2pΆ^E54 Y$b\Z8zQpB-v7m7pgKKm9>qnr@Oo{B`%KI2bMyT}df:qX"w"@8 e¡&%6\L*}ƞwR`svꞞȃ30i*~6̭>u6,*Xe-$jY6[g{Qy* :-{.%@?HÜg=\L&˥E`wsVd)t)ʕr]Sgfœ`$/>_y|!2z|([^~NL&_a&,?Q B#GФ=t1I-VNћN06_< #ˊB.hJH: }~N A * D''/@Qpk\6̀iW=n(b^YBcր'E&IA7r bTcc0y L,Pz\E%%N"KWl 2.:MSQDsɻC7@If}|~bHrrw|Bm8+t n5=6L4Ē'YsR9o li 1b:e=PsCo"0LҩذC<@{B^5^-@b.-X)<ɷIV +NB>]aQ)H\T_8:AuCCRBc uÙe>>סDyZ&0:xA IrSsCJ֫  o97>gZ2KD2fÈ7z> Βv)R&HgJ<4E җ?*ݐFJ5.s%pJ^llj5;:"6g( K727 ,9'6P7|A2*泣2.IR(.Ayz2ÓC0i*5$R\f)*ؑё,f 'G; 7ҖcjLJ4p鐭!GuA"/0}{,(o8،h ެƵ_TK vVa[8V,״Q[ ]l< *FVa`{`=KH'YMCyai?o3xn@Y_7ovr@ڦ7qU՞M%}s F!D.y4658TNL+^A:Q}H^ z jeEkNu,6u;j^%3S gZ§ο5}}qfC?|łᶃ 6;ʓkW6,ShᖹEa H6JdסN>銟dF BJrujPOW6L(鸬^UIuriGux AAxp\I*_J_wu^/'lLv&u-]6I* 3&+[Gt˥OS*Kh(tU9}#V.aA@D'jwKoPWa[%atb Ѫ~@S=?kReUc7': ؁;rݘ mxnJjTp8}rx" km6X_5ZfWڃ+pgц} 85&ɪcHhLW|ך%PdɫZF}=]BufPqXn% qEsvoqѮ%27=QOe 8H]%b%h4Xaw*5jfl[Y~(>0Vl_*K8"|c6Ü.eG삽l ^)6)}UFɹlE^RQ}X:mW*09V6r}=yqiQT]wlۨYeQs}b~\uGNfQSJpj:E>zv<,=m;5>H ^Rbэ++Nm45#FWY.zGCMԍY5̌i.Bffe iYӄ=eAUkkL0gRz$i0FF~F `M&{#(!(>MP #D[Xh=T3 M$! \^#O(jGM1*z$ ߄(Dө{~bKbG7"6sagޓ-+?yǭmo;vc9[xnb?ieҏZ,md}mZ8Wv4}>.ME=woBeQrsuYN?ݍb?QBw_ڢ}+yQ2n"ҢFx$rrgl>=7y6<7A#>qOs@?Nݓ~B3V!ڝB$I {(A]6bw=x[nY% x"х1ޑ)HqF#]XdkC3X=Bp ,H:뵃@Z͸ڇqj|m {D~Y`;4˻Wqٙ`́ߞV>i џ"gkȎ#'1>磗wUW>W^6׸{kN5*TUCr)'_Q-~9l rs4}Ətuu؀ 'RBgT_Yc2{]דocϘFK^e#k]zPXUW\qu!M$` Bc1E#硈كU ȯӘiӰz\ hwMHGv$˘&%YsRBIf:,eҸ '׶wƐ<&~H>FPK]Hhh* ~cnfformula/cnf.py=o7`,5lwZQ֫~fKrWNry%|sH|qR,OD|MJ⣗uotUo:tpş~~C?< LBξZ>%dhUi~yr U9g'{u YdɚM&(31ओԅqP*,DV$IWPA-ñ.I hIJXLѯ :gjh2 ^Fd'a=L Hǧĭdv:O&d=b!eM&+GNoK\@⟲$M'ͣ_% #5 v"8cq X` ,skVЂD,<YC# gw8cbI9>|Nl-@ b|v}Oi@Mry(AJ^0)BIWǧV$ஐŽ&!>j>"Nȑa6EõsZHO$ @yU,-3]yd>zFf<" W؝IY`p"I1dI*!Ex@YJP*N.\@{5 zI l@0MFTf$6]j5m!# 9g \D&8L5" 8ӗЗׯ_`8bà wٍFڲqnjBz͂[[T)ayJ삝ѷ;csv*?a"." A7|'NQn/rq h՜0| j@'*E3+dsVD)`( YmJtkvU tm0͸Q@P@ )YNIRTlHXHa_WzQ ]03R+^'d6Jy'g1x@9X WP$ÁT0єJQ驿?Hlk.FLk;%L3EkOE1KE-@Jx6˭ضPSE wV]pXR-jiO6"ራA4n1NqVؔNOrڳ$X7RˋaN{zRѬ 1 R5&ͳJ7谯k(]Wu3 *Ш+l^YDY]AUdN\3;z]=-`D@K^[98 (fpsi.#y`S6ʴV0x04ͩ1 hg?VRZ~Jdz'< @E?¦HLIemey_zqfu2?3\a f`<{!D:cb.W܉D\(. Bi>#*Y[#^Ǡ/aJ4(diU23H2DOĆDFKLJH(ZQabp'Sl}VԜyx|~hٮXa\\Ruk)!vڷr͞lu\cru tIdyl`+uU]|; Zn~JȲMɎ[;랏Ywv>d2SڭڛÏ睫|&tNu 3~.R|Q!߽8rd7>g4Esv@oKdW_ 2B9EGқ:'ԑt :ڕ \Yk߀Q4zծ)C-дXBNz>(RhҠ)Zs[6~H%=Vlh*h W$!Tym*>O_F7b (tMZ76UЫ=cSwʟdb{& &.J mI恘qX:1: PNHEr_i,KFiE,B#\sJwwHttPnpnᦅ ѴU&71 1aߊ (xL4})20V|p#R{5Å!HCa6L%6!=-L;{Hiqi?<[F٣þw҈i"[*lUp Z1uώsfTcWԜ)iPɀNТ4!|11كmyY$FC ؛ar!(EU&JGvwi' ɽ"UEDFGL܇r>-zTJjJx;k|( .=+@È~٩|@ٺJw1SgBQ?[LrYsI\9#"j0` Ng$0oX!_k(ze,9ų|wP 6bq/(@ QMu2ӣp*ջ_XVANIA}ׂaUĸv wD%1 2S/<֕EXiHSQ~I4vs.9~Ţ$aƸOHCDtZV nO4ˆfQh?ӿ㮡VHTWjRˑ)B* QsI!*>kvП">Q4Xwf@yDygOutLtYG=@>(:{G\.[pc6+bQJB>X!JVً2MEQȘ(:? loex#t X2 ׄe:$SWЦ.."?^:soWcQ) U,*rȖcy;:]ªl㺭XP rߡ0C ҂_ v\{G-۰G*`e${qvpr!KlW KQOpA>Oެ."/i[a#C +P=qjǬQ j0.E ZQWY6G>h,/V9Ē[W9~YpǤR_yAf?;&6h`ю:UVZT$>{Fk/6ds:+fF*nБ%ԭH5:k6f!7jB,-:fk?0;9{ױJh՝e4syNagGD"EBA[Pim]O=$%mYaƚQCN);F9֥lzC%ծUJ$4N ޫVY.}EKGaޕrǔVXi_roYM]03AF҉ k⥩u*?Lrׅxq!x@V$=a$Fr*5-N*hF\9S |3.iSqz))G i6)Sko_~~k/ru'?( _s^Dᬟd˓jͳHQys<+ݯv*~&mԎHBL:5˲jUR &R^>'3nk^ 5Wn]"A%MVuj8N]{ dS%gb8\0 fU>2$7^~jfX~M{q+v&nuF1*"ۭ^!N?C;>("@erl?>9wٺcTѣ{ E؅xB=Q`o1ߗL} M7κzv!kV$# Z;r}ڥji#xcVweM9Aq@Ǣ!QW6Pm>]f<#./P.,S@<^|Ynt)|/T1=*Sֿ1M< t .̒)1`zX'RKD;)>np,VIJ,6ᴷe`00x[7.%ib h|)mhL.0u#$eXIfe D=n`, BWVްIlыקlk2D@'GDy361#ܽh\kK ?膴i֤U'Be+|i#9nOʋNW:afӪ?HQ!<@"ovqǰr.Qc?/*jRp2k$俕yCؾS6LO:,* ;PMc)' =D&-7c'zDհ &IՐ㓗PO1Ye*\]Nם5j6l5#£p'ĔiAs %;$ kcX~.O=Є X2 JZO;(,s_F!y] Jtc#T){ I΋0_X#,XUyސS=){nH /eea<2IFITƫ3OtJuq⾳*E'Q]a]ml+A2"0gI݋$i'ްy=yJ C2 U@ y\OV5ReB`{1nIQ/NMF$U^qvHO~W4JY$ V&N˨ Qn"uw[ !UMNiRy/,8˷UBL_^JUf%pp6n A]NQxk3lt!ux'E=}E=Vt&= DY=(-g.٫ rl pkПј˰1mIɠ(}mP*wɭl+bfHH=%ñr$ J!'S,QJP͉ŚZXfC֋^#~pQp1PtSo#Ã_w 4Vov##x-Q0R `q/P_:&$+:l}qe %e΅ۀe|\MUj?cLb3.Ҡ*#p[Q~E'a^^dJt ELGkQ%HY=̽CHZ--3wHvXꪯcR}k'uX]oAYTrWgEFxgQCJ1; I?Am1;`yE6L@cq8B/f|: Qݮhm~{z==s>g1s\O`j*J]njW*4.4Yk{;G6wu3q4Kz˨F3.𯍼a]8ΝGg/%_XƷ-6sZT^覾kh ܎}TKZJǖ=`ɱk6|?nT]|~au(p""h|&cϗaL"c\PP{;D:G 3|50!\D@U+;4Ab&[S{ h1De9c ݜϫA^k@v񧐘K`MZ8$at0MU:MY;C/[ 6>:]g>#.> PK]HYߗ cnfformula/cnfgen.pykoF;ŔBCю*@:\.CAĘⲻKB.f,FRٙyk%yy[z)G \k=0 y+u^w0rULA^j.xBӪ*}I/9Ĭ.8\g|k@RT0gYnr4GrPL K)G2Dx|2߳ssLl -L@r6[ 9G4(QrgഄIgxFnVT%0(dr xgc_HUp"/9F$^P15ׯ_\$DEHMf5Stѹy?>wP"^p@h;^"\ v#J1D<]CK81^Q0: !c% 5Y$n&q/%Z>^Og ^<_qFi:u-yz2Zf:GܲPIG+9.+2wbvM j}4a&Pnаd-u67@(Qx,H) τēstUg=9zJ`+\Oxao/y^ -(.,^ߚڶ@'@O!w5~^ýZWj] Z ~T$xbQz"aD{ۍZ Md=P)UcoG^}Z{9J^:M#ŋy 7wT]qm& pA4 2XceLF,&Ь:,xe͊sBh\q )H<5l^(1c(01῕:,tR| K9r(ѩM53c[GCcYoK3,IT\UrNJ )8t %hUM'Gpm1]r(yOp!9X1p&3-FU`$qOnݟ^W|Ҙ;ts\wA|4}n5jKNŸ-nX =0B(6LJצ#bTL9Stp'BX, D1;4W#kF=Ζ"Ǥ=P*GxrWO}\;muu\2lc 9^DKݫZ 'Jm'JS ^G>S|F;# )O'P?(,|S2ѕkW@"Ռ;Q BU'ZJ|şIG+0SZ<]HQW}T($ B;^ƏCmkv`1ǵM>T# |7KxK1M'=s2m,^i{:kOQ%D檾FT.#:\FDlڸ H9dm¾E#>{̣" YRbIH&I &3N2ɾ}TMn+BSR=hk3 XUk@X펡 Thcw NEK̆ +&`S1:9 Wz`׹'UAz t;Jl4+e rx_Cک4;TTRUO]H7-Ldܤ?ʌUOn41KnF~S@dDR;6m Я`W-ac':Rg(cMn"g4t3$HI+i,Lgsxr Ũ?LhFφ3nB$P~mϷ5B /`:Oj)3)j:cp?%)ے?E(|Qb6~dlWg%W`sYZFw3h#;u^:hK3('rog~8;>/"kz^&4RqRp5(~ at.԰?ǖڹ 8~Go hMLTS;]_PvI{}̻۾ / F>1Za04eP>6$["?+*J;(B(䮙4ô9(3hݚrG m5?0J{RLX6i˴W`ǡ7zg &ޏ>g"TBA'2^'rC=u\ǫ@$>gl ?7'1=Z刻rݬ{0``& 0Z yɌY=1AkA,0js1tTakA*X4z 9R|lB2v&[YP Q~F< FX]H="I6F||՜?C XҠr i)'pȤBL'>_yp!V:Y#Wղ&ZsLftsĄ$[CQDCD`/oߜ|4W7LdjIh-o9G>jjz;'6ۤx7uSN:RTjp^^]t;Q,Cx^|y9T]~)׋3&h/0[#RBb ;3فxQD& Iq$cRz Mgh)m 5#4QĘƷECٍRgy])2f%KI.6,ڍ!;X=˳=}66س`|mw@zK. .H!MKS'fSePKfH^ycnfformula/graphs.py]{sǑb j KU2l$9b]c@%WuOW"?_Lo\g3qvz&YW]:=>8t:?q,DMWR\v-VY Bi ũHX`)wIURa2`+''<ۈl+wDfy)y4]1yr2Ib)v[$L NtrFR'q)(.fQx반-m1Od<,Fӥ6,Q6DY.y'h 0z2l 05a~?+s) |Mu''Ͼsm>4╄y!z8/J"p'hf[X|.;_&0-t6 eew(e3oea 1fw>'DFEd{k@L% E/r >%}*qq{ڹ~ \y$S̰Z}}^~Ǚ-=z6˯ *'n)ɟ<˹RΟ޽{n$~]]EWH W ĉCE K$+yaEL ,Jm. .V":TJ%2'Tm ;",#WhF]!|{O-n(nJfD [!I+7yp@{D 6\^k |'&]D`8T|ˡHh*5#sdnXsRFv|y/LGUcP˩V›0N 6F:w*rXKLdCU0s$A AJ4`L8:K/aS/-&, <n qfh Z ̋H& O*DyѲ ⤉,ykYPL i48b"T!)=q6 o0'Q\9P*cjX,鑏- cd`b ZR:k^o6AQl2^Ks=.vU;y-=+̺fd: V(9|QfrVx weR.p-#׬lr=( Andr6Ni~,a]o`u!1n`rYw+@ZfHǝrە4"4=%4U4Ojgʂ'kAgq5lt;=N饳t{{Eܛ „F[]y}2\KJ55A^nwt3PK p˜kA0 hJb!Ď<&Ha8c-+v%j*|ZIˁ |w""xᆷ E5N:.֧^rK"fc+ڮkJ\vU8F e #f`u*.[T$J;q4681FqU&t4>CW0RJ` FHʱ9 3R=è=QD ߃,PI lۦQOP6"gc 34X/>=Kbc< VCR fh ce VK`W}k"'$@m7o1$w HM+n~N&e)A3XTBdH#t=v?v BmG}GeRavjY9Dũ1j`uK" ☀Pr)905j_ЪQ|1nQ@YX8B2Ȳ$ X$yH I[0x"VRQTm&@4V]yCFZ[Hа՗Y+9ꍷj,sYnrJ* T|K+MđX3)-k "EayRXJ|s (/Ad=MG_n X_7m]!f+b٪6&p\7ˆjSLE-%]? ^kڜ E"8o?`=h<$yP Sщr̃ի|^2v*yKv(ׯ镏d5ZU<WOo/xrXݠplOn7X=XEC%OLI%#!$SyX#6˵epU⡕|YG"]jN.` ':_x3L=Kʤw[U['SDžڛh7`[0Ld!YʏgCblcZac|}$NIQ!6<|6UJ&`/ne+8pS;n g U*A' mI_+eUJb\8boM{;-燃 7W6!AKLD~WC=]# DkФc-޾>2ù'iƧ qLiT"@;ą)NQ `sN،JnCPۃlBf- Y *xA.d.][f)p\KR%8֪}x$W. QT[еi"{|p;dDW:1IY}ʰ0O8]zv8 XM ~٭0fjꬹwM*U꽱ΰlRBʘVnl,!(Crt_QS/T%_ϋ7:mc?2+ƿ(-"3'r"iD. c\I< )Q[:~6-r^uHMmtn!Ig7ٳc0Nv݉Ɔ!anjz汪hn^dJ(s@3y/ [&^¿QS٢z9,,3}=y^sX$D@i9rNQ:%|]\ }'^ .<1|J9;lri/hW̚x2z_S0]聢.9vDb$9zz1n !̯4EToԽ J*҃џF!1qzQo-)|c|D2_YYo+^})U t%VwM]xhXe<̜k`88=UMF(XpE8~}-6 :׋tǧmZOw*g9omu.^7x4-bSiF6 Lչ'6=&gp#@(^γt[E %Z]\ngUQԽuZ?6uk8ӻ voXu޽z_{65!n{ق 6ux65Dj7Z PKFgH5cnfformula/prjdata.pyN!} MԅD7" 4 2e,`wι MAY* s],~r#Cu~| -r6LeVpq)ot!(О'P_Qiғ!fPt ™AE"(ۍj'YDyTyJ3!ɖlqChČٴ̴RT]gP]'t۬6= Oi% r߿B$'1}>xbD9*~}*uÄG_PK]HSK&_ Acnfformula/transformation.py[oFb+0SJ:sm&SERbC-U> ̾TI+I3;;.G<"Obr<eJiU :϶l>_We%]l'bY&@MK|<)oLeC{-)y^fYZXf٪Z2ۂT1r,ϷU)zG <:˷tek4)J<[qUYQ7e{.x~}Yxcp%'+vł,wu"b3we'd 6^t0`.8ˉ`+ 4㭡0Z_JN+À\|<]GHVBl2Llktba_V?Xty:&i59P|SuG+):)7lq.;ok\$xKbr nZXq;e zIĮ*RYU_hSn+\VV;T T z%rM(G߆ hϾ'3PeʟgϟOAZq#Йyw0).A]lB%0C Ԥb 2!tcxlJ/HĎ &`: Xf Ti;ʕȇB9.pX O'кNѕ2+JI d/]CR6E2QS!K8g KSz8/M-yeuJ|v]0 _ɵtjIW.X=9;xw-$]E(ʤ`LLH8QJh:6{}m|3O"rhRxQi>FyQxR4pZ;WS+,;dJV#(ae0 z-{m< %+e[(ɴf+pb !dԿ%FYԄAܷXͽN&#m! MQ*Eu L-fY%ɷཾM|F3FKP@K:CobjaziqĤR6**>;::OK!y۪3- S|l3#Jx@*8Mo6^qáp[J1`T=AW鳍ElT<֣kuX+5 D'P@ػ۩9@oxo5<gX Z:$r\g&36<~@z =ʹ1m!ɬ,\E>Ҕ/K c߱q1N t~(8_^>E 'YN{46(sT$ ja!CsQE80M G6Dڳ*ۍN,V{td>Sr]fRLc>E^,pYIS|47H$-$  ͈8k%-Xb\ =k+,vv+-!ֲCrEm1d\1'p$Q\6>RBt+%vf3SKh#jCx1jCPaREQ9<-4;,N[HYm67!vD&uMdŸ9Y@cCЀ>HP_wjoVw"H@RAo7\A-ӑSSGŠO a9oЃ1+ad ĂP\^Wj0s] @ѡIr)\-##47Cm:=9'M|=@[И^QF{/ދPu`_@\g4crd-Ԩ)VFC?~ӧ<3j6աni6nllrFp wޖ4H4!%1oz}}]ȭ,'$6`tӣB ^KzG`~$yS LmH TNj s^臂qA҈Q~hP_oH!V[pzz}\>~K)<^OF~I 8靸^)6!WYwhĭ`ذk>q(Sr*9T5D~ J"(p?Rb| W/0]#&a%TK^ "P2Qejf։QΓI*y@)ll/2kccP*NXd*9G ?3la+̱[!;ijEX.8ZТ'5N4Ai bhA;t@Ǚ%JDrĵC]/3aK|>pd_j=ӊn⓻ ^HFQ}p nݙEvט\'7_1_~ܱJ} 5O4mlW]54r qg\ z){g#Dp%z.ϖ|U0_rb=\#A1]P"%hec'%3y2uƻ<VǚЊ(*ƴQY_ OۇbFtֱaϖ40Qݦt8i.sYϾݤ o-3+G&^-;fQ~]j_ǎPf>J@7=OX&/29^'`gjpHTp0ޗ)sY ޚl\-փo;bfPי2qΛ!@"1)Sǹ]*po>ItqeQIkfm+Bh eVO>c]=EAJZC=o8RZ@qI6($GLm Ow2OE~dp9B|d:|+)CSS |F*Qg1^aKGv!0R,d.ZXtrXz=j,EjoJW5 %iA^,@z5 l girl\n[I0ejL/`Hwl0,(#3اR @w'ztEV,DʹzX^v^0~X:|ٵ`}jygؔL-NM\2.!elkiUł-|MTbq`.& ȶkEECnPZo3<˃[Nj)҅a6vң[m/Ql6U I+`hE=/I<ɯRPK]HG}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/PK]HnT@cnfformula/families/coloring.pyX[8~vj¤aڇ(ZvYVu5:v ϗtf%HMs;_J>\q\.$yfRYY.wEF[ a r R"YF5K^櫌zkH"k>\5k})h"ɅҒrOwi+Y7csIW,3q(Y$p\fB$HOXt3TLRGrl<*jH氦WeKR"G*ZJ,X8< a&fUF wFW0H#že{J4.kc"r$[ ֭4Y.e3";FO&?ERCtnP|n.ˑc`bBï!R>+i%ݒ|mڪLkNh&f9xC7̙v7XBpV  "mlceD٬$HDQ# '|5? .AH(v+&U?LRڼ8c >]tMB͏} sKx+| !A9Vq* |^†OW&oɔH*6,\*rl5&16EY^Jˠ_ō|>M۽2gk_L%@UaN;Z귴GUP%*u`axhl]MGѿn5(gMmL;D2ysfZRV,@Se'Q>Ga.<%@fM3Y[̞,ݘ,{6wp בMv!m4ߗ&NY]γX CfUzOfh4p=Bu;a=ZED9Lt 㸘 ESN0dY&#,{"_LfY [ ,c𐕐d,>&՚ i7#èb`3JP'k]T*qQ֎cxIFވgrSg`jgaN)8u ʣQHڷ`B$M.gES*&(C!|8} 31[DplsvPW9Gkw=OzM˯ LdtdUD .4:a}1֘ffu|͚.~8FudPЍOD>]N^29oR'ߜF/<"œ]+靐oHiig?xΥV(IJiA<6]Y*5(yKre#y%׿mo,":ҴXγVE0dV\&\*ϩd[KLpK5]U\9K%V%j*رJeq`v>q\6h!SL=횓4g( Ek&v ٭ 9jц }"Vj+\DHb5Pygƈ`pcϭW%ទ=!Z!2P~1GS1^f@pR/_IXpgے43Őt NwD%g慙Ծ/6!jޭx)zvO/`*m5Ԓ&2!Y5qū0&>7MϸL9ɀ.ƭvmv{{tT*;'Pd1^JujE_w1- .K k01#MmD)wl|s jȌ܎fGdz;oOվ;4GqXZXRwU65#{vt_+bb'L0q4HcK).v)-n%-}=&b jaTjl$bxg;vfeT pjLņq# &heq**'#a###7*oa7&<-{]nwm rCO9oZ<&_w '4A8ۍ:o_i:fAe"iO0 pgk ЕsiWEq~JI(#_]a,sjFapD" ς?}* *!39`'Y"cXyruui'hw"L{s4F[/ 71 ضčZ% ^GÎ2k{Qawy ͇Sh~l 4U MۦoHc rp$4M7|}c?xWv{x#S4zPK]HTv'cnfformula/families/graphisomorphism.pyWKo6W:ȍ> l6^BKKV"Ur!%YqѢ47/UeR+.7P>ڵ\~s J\]W6h4ZhVAU(]Ea+V)]T93V$2ނ(J-|Hs!ys,D#Ju<+.cS-UL{+D.QkfUcR TrVBIЕ a"0V، "SW-sE JK=OOO>Oϣ@35X ׇ-p1b3hr8Ok0`S\j9KO .b +Zhți0# _Y9ԎNPThXzk$x~u Ao\ܣ`X(2箒# IJ8Oњk$$ mD79\|i}4 |KPᴴ/5dB4ٗ t66kh9a,lnDk(]"qaAc/{? { KeXx)oP&9 ?t'U>\Ή{{A#gARM qӼÇ=G '0 c@Ǔ~Yu>l֫sN!j$Sqt8]T+ʜrQM})4M͊%&!!/)Y.`0PVU(V())O8sKSkYɻ(s2e$eNDYJrzl~țgokcB oc zDB* [rkEtY`T@)U@1S*A,Pk߆M8ђ$r,qpp-pSМG1=<Ǐ}?})b T?wodJkX+ ޓ]|ivqM2늹-R?=c#Ӊ o+>s0A [+ aAO}kIth[Uj1uH!&Mzl 1(Dkp(8`>7+q%Q-Tm |i:df_],S+ _P jhn{5x a^Auq ȰIe0l'(:S޵ @Ͳ~5 2Y@AM6Tsgc\+RPdJ;nP.Xg< yŅaM*Ux0 ,,F^R\**,̘/# q5@sVdC lxNX s.1| C`)|Jۇ@ATE~,׸=j;pQ,N0҈iLJ@XDCmOۚMC#gc2Z{؍yp"5ݬj7L7tE͒MFd[kGxKْt<.|lRM0֤ӀYu ¸C 8oZ*4q 㲩;о@wuNh6H{o_lcF ]N!rq^?SJ %fݕxfL\9KE77d_ +LFlǾzB!?ӛhp&}9[Y]y~^7`.Dꪗ{s?-yb ?3y `&X|)šBߗht&/ۭaT4cۡkfۡha~TA?LE=jb~~/?+̕?=wm y#t95p:a7$e }cnfformula/families/pebbling.pyX[o8~ S FQӾbfۗ4iH )9qI]|{XA$<;sxdzL>ruT蘝%*bTW҇`(sQY*S9B(T9u& \ιcGGs 󺪵cҕ^Lޑߗȹ?{˝4;2| YBJ+,*+JdU ]N$Þ]hEgR4{'i>OI%E^ }ty.y)~R1gq-?:3SwZ %xCtnPp(5""2 $Hڀ]ƒ.="DZ,FBHҽ1AKw&H3kwq#:SYʬ HkYz{<Ѿ%pɦ غ”٬DHG$jbbТҜd()a+3>˅Fs)FMQ;7uٜIxʬ]xf{ZZ`G$/J? 5t=F FU <'= 8-ǻ|lDGO98YJ"7hO ,HDt#)ls$ZM;u(Q. Xj1ՐxЫhK) ZMItVZ^wK8+Y>;2=th*xfNz9 )XJĄw4c(yEm*6k:!pvFgQHQ˫**xa\x"z}zӵ֯CM1; UWq*Z@|ĎI  |K |[))7 we@nri#д~G4"%,YٺkAIWOcFɱͳ%s:ژ AwJGR#JnsS7*]]3-8F>[2}sFh:ZɲqGO"p;eYt9=A${mPBAyHP'MPŇbozkXSА/Axʫ)Q/pjM@;-g;~3eُyY|Z7S'ݒp٢)66,oN 'X@EBfP;B 3S/Aw6}x/cS >cl-VFL]L[Ԯsr6CHtsuKU VM5B`7ěuf DDJwMU+?MvV4Xppث6895bsR_"Zr)!{7YEZyHƟH1z  Չn]b)-'QJI UXO2l1?f{_1p )6` t\oGT,x3'ۀ&= ;Ogsdc6rL ii$d;}?6rm?;eMA$h Z~o=c!_M?;6Lg`XsC<}3k#O"AK7n1 А|t~~zr0[AY<a3 hSJ#^仨/xbT׳hlED|(4yÎ4t=79y4Sm0r¶/p)r8ahUM7vrqIuфj pcu=24^~JK=#^13qήk7hz6D LSh>o۬萪?+k|Pv xn`M=PR9y{uzQ1p}^5wgu]f6:*9 x}I{}RtAui*M^-;T31@px3;QD|<0+j2^lzaۧbIftlVz_c/'qu%Qnϭ!ѬAVn4Y.fm"Sқe }[(qy'=aqЭq8FvFs\CmK8k}Ⱦ=ĜP G7>tVRl!l<؞zquL"ͱzOr6yr̼Y@+|M0PK]H3T*!!cnfformula/families/pigeonhole.pyY[s۶~ׯ*N)%r$JǧomGHHB[ (HB%˗s)!Ň-K]7 S곧&L}2m=񜄎H..ɥ3w΁RY[0a]"0p+=mNHrK#-vǥu\Ia o5&,*fXĩ?!X,V?'g_6 vѪH]Dz`oԍ3WrOݜi fب{u u.GV~>[@ʇY.~N BO.'lTk=2}n(m;8lWjVvoW N*(^i 0%0+Q`, 6Pk sE%A\ﴐx_镻}smq|`9u,sdRG?(h@߸ߢPM?* >$O;fSC} ݃_L`~J.z_Ͼ䪼kc۾jc:|5jآMJup+3$I|[QԢUBQ=;+-DIqÚh1.V%+J9[b&'s鵌So2HэP5BT7k3]N|2ܾ~W@gءfB~/ܮohjԟ=L4}KUE V;v5 %Kauh<8` ЧEPk6y'#S~ ڼ`B5-"r/0(/xis28L?nUb tTe+bsN (cc e6;*}?{+ <=obR.).~ϟsU§7 2-_{lvn uwX|ͼr@qܤi~zQGU/)KY7 Mz-fd2*n?/@H_TB񜋪sXV]k`4X6#1/XŨ{=-Sz:|JtUWsi]gT4AU- #sg1v:vP_,8u3D_D۬3Aj#dP;g{CENn1APLsP\݂/tꏊI6fl} c/t>fF#j$oȔa>-QU$Uinr_^8ڳx^nr,n7PK]H%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]HJ  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]H[cnfformula/families/subgraph.pyMs6_"Tv3NqZ (ۛ=IiÃD8ۋJ+.^0'J18'oF$Ie֣oqapvvϢYKA䚬*jbԐt]6[hZɂbJxQJe7WEsjwΐO,/ N gM s{<9/7L)s]Oe* YO fTijM fݓ(e+J!ake=+]rSH5ؚr8H 0̩a: .c<V w:IS^826,An*ײ`sFAF-G+WfmavWy C9 hRӬՁFDUd,EUi9  7fDtph!F9߁[Ik9cTJtqư~lѱ_'ІVjpdn],_EDtrUV(reX|kR|qakN@,?|OMc[W9(*6,4"P0,[tHam}9³Ω gA~ŕfF;=_F=,z-ˎi2z>maL7SKݴ\׋M6C"8q/odj ./4[M=RgnFbv mCMܗؠ\,*9$V B~LjqW2<)%5m!3"U0K~o^7\P2yAK jb8 y|혳O:=l\8&6f>H:p﷬iĐP%|/lӂ: 08`!(,7h:,c:ѣ׼?<4Zg-K⧆' D\@֎.V8}6]Y33Qԕ:Z8' 1ɡg2hL#@!S1ׇV\2&Au'~p ^$aqդh7vT>\"EAX4<£@CS; jBLTZR08&zT3xϧU-|u~8]UӄךQCb1x1=ՇYwpPP}dOsá3 'Zg:@v. PϞqH Ԗ'Vfɼ{:--4{n<5^׭ i_w2U0> @+?u0(I.#mKHgjM~vu[ kN]ؖYv4p v ztxuvHy KZYr^QIL&C0~`]#,upn#rL{ 24#8ׄm»Cmzp7L@5 ݫabJ6J']4T 6L3 mvWbkYGW&e^dr3uWQg0*WX}|*X/+w2oy~([}]>1zJ.]3=̗aaxu49t05ʫGt.?)ۼ^._BJے?Nԯ4Dqg ޜ1!bP毥V<|}xki7i:oPK]Hl&,m(cnfformula/families/subsetcardinality.pyWo6~_qK,{h]+NSJtIIӉ 0!dw㓟<[kX]L'0y:X'XNKN~|0 'u:[.,:BIw6ye 5:H!W88a(ڐ(օuFYy^ة(*Rrabj gȻ 22 (}MdI@dӀ"Κ5R&P)Lpxly_yIcȤ͈G>8^r k|Ê/HQ8[;$=214ijneL#ٸ2.8;p4Q$p+MAStQ/лHdJJZl.'Vfk诘5_(lHiK Ċvd)let-7g**j=29(<[RҡYi @;j@oC H뻪6C eP\f m2"AN-1 Ԕ|`_o\? ;tNAw^;3HX:SO0$ERI((Q,pXWbyN5=sS)cYk#6d50"GtO<)eG 94U;9^xp!3rQ:lICxd-sxcRrW%#ə{aiW1PЮh23Z/WAКthI*d+%ׇn1Nw!@@eMMO¸AZ k^c욙) XAl^xI __>hwyNP֩"RSTW#**uPϊP"Jɸ&<ӫMIߤ_gM&$|wg֔+^V?n`oJ$]rP݌ OY. o5q,xuI=M},el=܋SV oP}⿨rOV7rI||4:)ccw .gpD9!M|45j;Vt٭.8#WbmƤ'2vTg+ѣB$9,rxuKunF 5:`ɀSI<><̓~T5FφյEeXUz'V >f%I+3dTG8>BlT_<,Kp2;='8uzBE5#n*;V=۩/|=i[n۷R'uN8z\%2jmxRC"PK]HF_ cnfformula/families/tseitin.pyWMo6W I=n\l{vK`8Dl)R )A{g!K.ę7oF7w./ܓL|FJUq]t/dikr%øJ7֪!n oZ-jn֥jʥ=TK=>s$ui$I’RM|:8Rӆ LT&2I|4d~x4}?==M 6;7*Γ B-75,ijvB%?xl M[fu\T>/>P*<,q0E<* 7Wi͵dπ7y @vNI'3(0mx ځh!֯zF1;&!LDE 3L]k~o>M*f2,>.y&xwwL0yNיh@erXLcT$wDV{ k+ЖXEЈQٓE.)cZZu4>6rʍGFNbnPЪZwF@&a)jO]mv*) nCYC쨨Q`6rpcȇ 94eɪwvN4<!Oa!uώ7጑'PK]H&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]HH:`$cnfformula/utils/adjlist2pebbling.pyXo۶] 9l?l ^uS(D\$Q#$ưݑ,Vn X羞|wjuٚ ֬f`27Fp F²eX׎ \jK"yc4Ⱥ܂p`,M[(6VXzfHXbnwa-y l֚&,=W?ưR lUdpQܝ&AE/pŵC$!USGa ]<+d٪5Yj2Hq΍@~Yj#I:JvDɖ%όb;~nC0(E\ #g9cVwL4ɪbuTo,Qge)78&vZol_XFu>$MWhQ e*ӻ$֞tp&=~s0`[!T 5n1ܳLD:5`ao{IO !.Q[D1PED @k#tz(zp>",!ΧY + jnچ0L4DN^8߂H`kX SvPBI9[v Ce"Dןb]Š"c[f5Mk80lP|!J~+Q J'vg2N*cmip Ʋ+7 k*5(3 A g%Q#FmL=ϰ\HQ|e06t0Y/_sm՘]m9NOR 0+al$ICm$+5Ivd ԐFzVGcpL.EhX14襁)Z3ld Ipw>H`a#@o_w| \Wݡ{ QMLlFqku@71Jcaַ,n,6a):b&% 2c9k4>0NH;?V]|V ] /mp,qA /`26=WWz#`Kc"4'0thG4)jiȴK=z?zbix6M{qA>uwQ&>vt'g=#$j|<ҤDVvu}G±#!(rP0I6ʕ;ѨZAđ&mZ=hJQ2&559"^TzItz˫[S% R4kAN}ʲaz{Hk@jJ!ivuDjJ85'duĺpH5+(O0\[ iyhk<'Gz`VLC^(Ќ]4$Aű!zT)QPns>JWۿP4\wOЏ߲m9P1z}y,{Ca`mMNA;+٘]r cnFXz31A;[XCqS[抪m0-4;ͬZYGԚ;&q?[\$^^3a=:.3-M0w歝OPH4 EvkTc:ZۃIsd h:hH2 #S1;&a/=BHj9~LbEMe#xpF-i֜HU0EB>p >bퟂXnJ!M (  ۷57LZ pWTla8oEPN?T,Hk zNțd]!Y5k`S yk9U4~C6MB#(XD4FfU1Қ`UE-aM 1Ʋ߲3)OX1 f~=n|Y.?N`vxGڠa)"+Bކò[`1:D+^.S[\ˡN V1JNrYGک $-?-A\J+,u UN m3bТȼT:Eԗ؎)^<M ws.BLt a!|iJ3r<Nz6>Š#ct7:j>3ƭi@]WHQ.p!:WϷ EYKZL`2ߔ> ΡOEix+ػNM5Pb ذ,~$I:T_Y.+h r~VIiUicB".C?Z3O"! ʶ#hrc =񂮸r޾N)F])TxI*B^h,F[NJk ľzf0@oWѱ`2Ep 3RX&ـ;e${rG*c}oyXg"gE@VYr x~ 쉛0^ Iݧ THBJnmX*uRS%.}VGX+*D=W~+om7`ER_rQZ' '\DGlI zJ5 <7k9`2 }H峊-+Qr$;| e#y.;k ș8|} \`0te7Hu}V3$ccTז?Poe)uq89|(_;Ç#dtlB0kfs`2! a9u/~</_}40%/W@yΧ/  u83`ue[%6tUg#5`ڝCR)?<}^/ (dNɐ?ϑ aGIk=k@|_:m&#Ē!{l@h?#mj[;X*K"j Lwޝw?z<&…7l:+R'fEw}F_~`Ț=W\LWa8r? ci?sVZp8FIB]qާ֘{ 6{f ")TNMJk,ED!-v"GF u4%A5, 7=PK]H9{Cx#cnfformula/utils/dimacstransform.pyX[6~ׯ`=($7&ö0] N;@S&iȤJRAsHʒ k"Q~ȋo.k.R] [k\wcVTIq! ^3gKm6IFL:&Ui2lB k^2`K$wki妮F(G Θi-y~EmJ Dh 2[s˜aW0 ?0m ¢ 4s6U 7;ckee 3fEѠ2ZJU%reL'OeWCȉd! Ek8#fCp$l%0ꗻ CN!Y59f3i6a b RDŢ[$F853z4mֲvz8aQl6<<ǛMSYrF54wwo^o9jt]6Ď: Ӿ Y^9j1|ڝo3LF=H0s8  !.rCC(*!B 7F3SCy;(z6׺\\ͮfqxNp\x HLV6-R4TCFw3Qb _-MQ-3hQ1̓l n=2^)BR/9QS[\yKYwGhsB` NMϞڇ_O-Q\ zcl cM|% ;>$ Bw/sWvw- ڳ'|lC=1&&MtJ0rMӇxDK5V% _A#4 d ڏQmDu >45 'ۛ_nލtm;NIhav7R/aEG6 Ī.D-+j4UE8vr v42`Xcq"mR(@tV&XHL>]P?ċН@5e5w@D>DN x8s͈VlvN#?<,Xoɇ #MNM 4a Ot}r_7ިcмߔ锥E)ԗji %/PK]HmXt 3cnfformula/utils/solver.py[ms_$5m_.oq;nbx&ݜ􃫱hS r4.^RK:mgrI`ؗg?Z?y冕jUy"񬮖ӯ`8\2]TI3,ze<[ZiDŲk&u5K$KҪNrJC]J ]|`^hXGWI2dՊu1,z)U͠|0d|ȹƳ|R e 4+,+\T[0%Θjskx@oWB${.ԓfKx|AI[XY]%)X9?DBhN֜]w xVR$YM.cf[SC.f3 nz< \'-DfbD&(킗?'mN}&e M)͜ (y@Rk TE5I`Uב(gj%;0ae"'R?C 3'i83ON>& AS g!K48H^kրBi0,QۨY\ jJTdLں*0 Cϒ-)n 31ҊT-kaDbر <8a~?z[EK@mHD+MPǏ1`a[6qBN\StÊq(߇SfA?$L3ʁưF 52A`Z%R&Q@JK%b P;%|k~:G v%,v~Nޮ*AĚCj*X ʡ| p] ^?\Kz lZJPVP$ $Ok9l=lIeaJն g6&}Tuted4U/l8 I[pMNq5Agd B1QXO92ć-mnXJt؅r4R5CңE9efxȷnb`UbɃlF1Pm&xL)д8?\#o}1nfWҏ4a@os}lžfvh Ӽƃ/'~1Ldئ.+4#vvNl)e1DHv(Af`Mbw+`QoxD'cWhMOhy6"2~}}ܹEƀc{Ȓ!6%']IP-AOȐ8'.:N=}rLhTXM@6iN[&xٳMg%,dohS(p?94ܳ\FA֎@ԳןJi$6 5ڂT@2> `A1dJVAP(j7?Z(jA܉ќO4y=9b7Z4%l 4hp6yo/?.D]idlAQ~x8aZ+vT%=_^@偆}PWI> %L L}{V~b}?;ݾi0 SY33PD2U' SI33gΠ 7W/nS}B!p]hj"GYq-% OS+ЛΉHT#o~կ !/,n)d5Pv[`] @J< `뎛@R݋=m8 E\np;y3?j3 @n[h1Ñ4"-{QfǔҴNn%&qsGh]#zkۖx94w69NDb:7]uX"_nNz?s[k}G{NWIijWUl5( B-6lO>NLm٤F, XJ ޤٱm(G]s~on@f?5FrGfn9f$kZnly}r*vg9 G/Zlؔ)[YTw`=U nIiocRAx쵂2Þ~pUAsE_eœ-ewQ"Mܥms{T75CmZw빋ӎCPH抵 ~m" lX#)v[׏BXZ1xͭY@Xu,9q'k()xo}AN\et@5uMej(Q)|lN6IT}IJ(Z C!;J4ZkF! &Wb@/ ":;{;qj߻5] O5`[v0S6?:e,2 ͊TOd)Z @ եOK^-C^Z5LaXQŝ_q:E9m|=01%t2+&9bO>0 #ҞXbR5-({D{}*]#Z'͍<PKahH^- (CNFgen-0.5.5.2.dist-info/DESCRIPTION.rst PKahHmc)CNFgen-0.5.5.2.dist-info/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKahH&CNFgen-0.5.5.2.dist-info/metadata.jsonR]0+@*'8omc^VU;pEݙٜ` jݨ7W_gf}F2tB6\]e.  8Pn;CdW/i&1 L3Y(o'uR>ʹjLfȥ5¡㐩qwu~%*yI^w *!z1 1ZHdA,V۰0~CdKLr)FCv*//o^~y23c4 ZH"qP]]e\O4g4a{ձ;)>Iщ%%Y&vL|R1i->sW~hB3-7T~fwLPKahH,ˏ &CNFgen-0.5.5.2.dist-info/top_level.txtKKK/-IPKahH4\\CNFgen-0.5.5.2.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0323 /, (-JLR()*M ILR(4KM̫PKahH#OH !CNFgen-0.5.5.2.dist-info/METADATA]N1 D@UQ/9@۴guQ76q{e|x@FF)XŽyoP:Kx)c\qɗE%)!IhkBXCeCt85cbͲ$nb6QvRU=kzQZ'{7Le2k?c:}ˈ`~PKahH d CNFgen-0.5.5.2.dist-info/RECORD}IH%?WӢ`c hf03=ue;S D}7Ĺ'/j>wqL:UH8I\Z~}ԫTc}ځS}ᲹLAA OgG0]/imw[a|~Ziڴ5S1>%6)_1_򀍖̝L9ɽ7C{!_Y|3唞3~a!T3RTh:5J8h:n_h..."03pv2 i} /peˏ!OUPAk5JSިnuygnn Jr: $̗Ώ;-foQ'**Ń DB/G {J)Lil=}#LuK |h;+aӬ7sRiJk0I 6"7 )\8^}odb͘ncg^M;uF V6d{}($ր+ә,hM怭w[C?ibhRF?[fȧ㯦-q⍾?RXDiО$E=R zˮJʮM8.UmC\n{\c!l T"<cnfformula/graphs.pyPKFgH5\cnfformula/prjdata.pyPK]HSK&_ A]cnfformula/transformation.pyPK]HG}kcnfformula/families/__init__.pyPK]HnT@kmcnfformula/families/coloring.pyPK]HFtcnfformula/families/counting.pyPK]HTv'ycnfformula/families/graphisomorphism.pyPK]Ho ~cnfformula/families/ordering.pyPK]H>e }Vcnfformula/families/pebbling.pyPK]H3T*!!8cnfformula/families/pigeonhole.pyPK]H4^^ ˘cnfformula/families/ramsey.pyPK]H%dcnfformula/families/randomformulas.pyPK]HJ  cnfformula/families/simple.pyPK]H[cnfformula/families/subgraph.pyPK]Hl&,m(0cnfformula/families/subsetcardinality.pyPK]HF_ cnfformula/families/tseitin.pyPK]H&fI cnfformula/utils/__init__.pyPK]HH:`$]cnfformula/utils/adjlist2pebbling.pyPKNeHH)8vYcnfformula/utils/cnfshuffle.pyPK]H9{Cx#cnfformula/utils/dimacstransform.pyPK]HmXt 3cnfformula/utils/solver.pyPKahH^- (CNFgen-0.5.5.2.dist-info/DESCRIPTION.rstPKahHmc)+CNFgen-0.5.5.2.dist-info/entry_points.txtPKahH&CNFgen-0.5.5.2.dist-info/metadata.jsonPKahH,ˏ &CNFgen-0.5.5.2.dist-info/top_level.txtPKahH4\\CNFgen-0.5.5.2.dist-info/WHEELPKahH#OH !CNFgen-0.5.5.2.dist-info/METADATAPKahH d CNFgen-0.5.5.2.dist-info/RECORDPK