PK)Gq#Gcnfformula/__init__.pyTn0 +8⠁rӀz Eh[,6d;qҴD=V?wۣ2[4ПBcMUvP`qpAY3#_fxJFgpe 9G'䷹t5ߓ O4xb3<&D.TSZ?,4Ci%:?;+M[["2KNdցQ0EIz~(xSI{ZCrS~H,mY~^m=&Y$S{j_bpXK0.&#nccR pP؛--[Q/i>pCK1+|4 spSSV*p f# 1ff\_AUA7g)wS=8+x|l#ϛA<@ IQ#c6]<+\2pΆ^E54 Y$b\Z\6vyzc3~C?O?؏a2=2[WWmQdxrcCn85ą'(d1[.eQ|d!,A0Kd5Qo|ya /A@X A5EFBc@jɽl[eyM( IKm9 |瀕.\@Ke22rTmшzd+-s?zqLvwΎؕث;uOO 5atSwhA_f.kA$q 6M&Y^Eʂin #$^ 0aN{w.&ҋ"pMBJŗ3 E 3^ӷa}0ΏBLOum=Ng>Hu-c/R^b&0 (0qQ#(F[. |a1ϽkRE0Qȅ mVB)Sb` $ (ap\Hcp0( nMK. K03qvF"P`;(}H !!1}"r+v)r ro9 :*Ea 5S/Cd;TO )Nkvs@J}VeMVIZpa4yK~wI_j#Gd MkʖTΔQ 7({ț˲<*KVWe/hh-!P\ Э leВl-zK1 w׊h͍2(, ,@&!ehdyQd#!Ɣ;PjP( ɑKFHϫ̎d@ goLjYIe^(޾@2GU!(I(&G R! ά&kXֵ+ gR|(8۴<',&}G>zxE,NF`(c.VS,%Qv(=2a%D{K@(M6vaW,9yQ!d_3>{8A$9Z9 >!f 6a?3WV5=6L2Ē9yB7 LS 6+=UR6bPwËƫHpRJH)M&/,4 Wl=F}O26q_U֞u J }}n.Z+Sx||.D-[anTlrE X|N̂"9⋩9PP!%b Uh0>{Z2K)B2gÈ7y=]DWI ; ]3@DKI\nHv#E5Zq%_[/665`sbslXDEUQ` f9yw^$,FQG@X($IUQ\ 3d I4@Pii .ln::ű!љHt j!m9NƤT !OS/rpQS3X9΂͈*~5nEX{ cz b,DBbfpI`P1,% K.q"$wѯMCEchٿo3x@i@U_7r@f4ٔq TՑM%}sHFD.EU4578TN;4VjuhPjU _FAA\݋ְ&XvvQ͡%3S ijfZ§!55{fXC?|ņᶃ;ړW!,mBpZL0V Zem%2WS G=Qs\6 .Pa]~mUTwvD^zJ]hujuRs:|I?`Cdr2mHTKXmܝ3:j5>hK1@den`B;(.rQV !7-1}g}<Ί]C h 0yu"A;&3hzԮۤrD@彧'e5̓T뚳 :G&MaO==kX$Om̤#O:1IW)kb2x\&Ż(]vi݌|,KN,ҡPV /I _ mQG1Dzpv^'(Iߐ*#ҟ8EIAy*t8Nb?74/'g135YQ UgAb=fhë P_ta S{.E pjyQPrcV3Gu{^_łv;N2M T ɴ bQݜl^,UR=lShhϨAi~ZsAa= dPcH`?kmұ ؁b2/u1ɁҨ&}t`SF'Q;w0MvxO6'KL{Ic0f2Sf-:{MiT \r 7l)nâιKrzdT:`MjΧm4씚#84}7@>E.6U_(yc6َm=?mφG' { (ǩ{Oo&$Ue x=+xXn-@D^idw]pXk}2&ڡ8mm]cIIN>4}ѓI! z8ʲZ13u95ތ65U6So#l"1N;5 nD)flT'#~}ǎ8~|86vBw?5w?:}7ҿܜMU62SӍZٚS^}bW\q+=! v%` BcE؃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>#.> PK6HYߗ cnfformula/cnfgen.pykoF;ŔBCю*@:\.CAĘⲻKB.f,FRٙyk%yy[z)G \k=0 y+u^w0rULA^j.xBӪ*}I/9Ĭ.8\g|k@RT0gYnr4GrPL K)G2Dx|2߳ssLl -L@r6[ 9G4(QrgഄIgxFnVT%0(dr xgc_HUp"/9F$^P15ׯ_\$DEHMf5Stѹy?>wP"^p@h;^"\ v#J1D<]CK81^Q0: !c% 5Y$n&q/%Z>^Og ^<_qFi:u-yz2Zf:GܲPIG+9.+2wbvM j}4a&Pnаd-u67@(Qx,H) τēstUg=9zJ`+\Oxao/y^ -(.,^ߚڶ@'@O!w5~^ýZWj] Z ~T$xbQz"aD{ۍZ Md=P)UcoG^}Z{9J^:M#ŋy 7wT]qm& pA4 2XceLF,&Ь:,xe͊sBh\q )H<5l^(1c(01῕:,tR| K9r(ѩM53c[GCcYoK3,IT\UrNJ )8t %hUM'Gpm1]r(yOp!9X1p&3-FU`$qOnݟ^W|Ҙ;ts\wA|4}n5jKNŸ-nX =0B(6LJצ#bTL9Stp'BX, D1;4W#kF=Ζ"Ǥ=P*GxrWO}\;muu\2lc 9^DKݫZ 'Jm'JS ^G>S|F;# )O'P?(,|S2ѕkW@"Ռ;Q BU'ZJ|şIG+0SZ<]HQW}T($ B;^ƏCmkv`1ǵM>T# |7KxK1M'=s2m,^i{:kOQ%D檾FT.#:\FDlڸ H9dm¾E#>{̣" YRbIH&I &3N2ɾ}TMn+BSR=hk3 XUk@X펡 Thcw NEK̆ +&`S1:9 Wz`׹'UAz t;Jl4+e rx_Cک4;TTRUO]H7-Ldܤ?ʌUOn41KnF~S@dDR;6m Я`W-ac':Rg(cMn"g4t3$HI+i,Lgsxr Ũ?LhFφ3nB$P~mϷ5B /`:Oj)3)j:cp?%)ے?E(|Qb6~dlWg%W`sYZFw3h#;u^:hK3('rog~8;>/"kz^&4RqRp5(~ at.԰?ǖڹ 8~Go hMLTS;]_PvI{}̻۾ / F>1Za04eP>6$["?+*J;(B(䮙4ô9(3hݚrG m5?0J{RLX6i˴W`ǡ7zg &ޏ>g"TBA'2^'rC=u\ǫ@$>gl ?7'1=Z刻rݬ{0``& 0Z yɌY=1AkA,0js1tTakA*X4z 9R|lB2v&[YP Q~F< FX]H="I6F||՜?C XҠr i)'pȤBL'>_yp!V:Y#Wղ&ZsLftsĄ$[CQDCD`/oߜ|4W7LdjIh-o9G>jjz;'6ۤx7uSN:RTjp^^]t;Q,Cx^|y9T]~)׋3&h/0[#RBb ;3فxQD& Iq$cRz Mgh)m 5#4QĘƷECٍRgy])2f%KI.6,ڍ!;X=˳=}66س`|mw@zK. .H!MKS'fSePKJH5+khcnfformula/graphs.py]{sF_bB %m՝j[vT)۹ 1$a1/HJ%WH"33ӏ_4oo,NFlUӓS1Ϣ8]^lⅣ^S'qBXibXd:, '@"#c6N#&!t K溇YXh-l-&Ŷr2zqZt^d& ĨWl7H$ 2.q߻R/D(Va1ś0/c tyXɍsY@I'\\.ayo!0*y$(ak~RRbxos8ꍏ|h=k /B q^".D$6)'v[K |fֿ?F0Eu?}ESsl:ABNoy|W Rq%M0 b=IaЖǢ֪b̑t$ЮeU>u7#ʉҝl[& %uVqPlq0 ؊ thA'p~ӯ ٷ\lń7l4oȁ6ĥ{d qbeyd|ϜQ0} Ն!Qy5M@g#owW) hmt6P<3p~?28R锳ө( f0jxdB$LBmzNkI OG{ bsSD4Ƙ&11kWRI![3rء:/T/XٷPMl)Cy Qaa#Zxhд/d"蚔.f{Ț SDՌ[Ht.T9Fat%́/ n}>*] !N)lD6& Tf{( i?r?f/u[effL̲,K@6`_Rt(vØ)tն'R!e2c#PG}Ta޵7.kU' ZVT22 |5,7죑ΦS کTK+)Dq$ 3ğ /6h,`q(; R,R]݉@!)σz4]/^QA܀ P9kR{a/uͪkz%jIo|b/@H7.Lj vM+5aiDg4\k?c7;6= GWrpBc=,RPddڍMXZ ƩhS9)kp3}| :SL9f{9pUY3[u`kg9C\7 wKY+>998f؋q&v\5xR0WKpvD)HS[̎>l = AFvZө3FІ!Bo>lXiخe}]"]a(bFI\笇pB|LE3H/sGl*ϘTFH JuC6[oPXBU+ gFhDf"1J0a֧xZG& B3gqB}+4+ܴ󻬼1mJ; EݐX6vncXE*=aubkOJ_Znq-8z簃$G.rH,<A22Qd|!&=Ss,BAt`/az/^dt'紸%yG; N4PjxѝD ؙHl]͢ ]xHsۿY~wx:uT}[.ZaQ=Uwh$X7vIw֔4@˲ ¨`׶|)*\nrYaύl1oiqI4AխE0@?.ަe݂I'(`Xd!ZʗsbdxZa|$NP%6cMSkT*bS@_;̠z$Na~qgǣᮡJek0@g5؇WJjIn p$!AO3\1IaKαQQ!mWtp*ۮS\|T*f2DnSJau ,}喂K ^&?ۏ DPzcWhe[1Rm {m~D·/r=e*2UÓ, CJd>0ã QZTuʪ[ GFȇGéճ^CƛAי0aB0 =*@]*ܨ>(MuA'F\9 n7tKzU#Y##vLrm&P(qNMv@w`zәi:Ĥ x\59A=끰:v'zYFLmeu6&RE%f*N*qQu}<ӡ`aM|s ěu>SBCsP12=pxFnG|uZ7B0t v->$=zŧL`66[Tv39(;qE4 Ҡab4<ɳ[a 1و/9~nЫ:GoZk[zVam;UVQEçKBk0rh:aT,5r? >&(B)9Ψ"U$t ŝ:UFBJi4u|"IĐ&lP92uNr#U}iA3W}NYLnp}fR՘ t,,tͽ3y'H9oZk^G [SNuCi #sgmy}Dئ g:MS~ZT*Vr 1|eApC67ċQ}d%3ń9Rf@uy A__3:`W+&xO_ p@;7C3yԅO(XM=7)m5a8&7-YQL7|@8{E{5sb컝Cخw>j6Xa*Tnhj7IYS_z>jHAt`$0DeTqCcyn\oSJ^6thݏ6 ˾:vң֖I+XLhBX޺MXбɏ7Ocb=&O0›Q@Ͽ?'Zz?FKl F 48)m;ޱg!lj>H,r(qȿDV#@-B0ܸB6;:qpWv+I# p$)*||ǝbVߣ*ׅÁA׍Ô}5~T\pj/_ͪ ;ehп|Bnӡ{>tzv+jU1$n_!i@|6"qbӫuլSZ5)+zuGq={mƷ X!kųs$pMk+mwl6!imSxJh~ FQS'''jol+z.1UD q[Dn?«MwGoO_ f=/*UI_PKJHAXcnfformula/prjdata.pyN!} Ma cn E:/hҷ:dؕ,`wι M^Y*S],~r#Cum~| -r6#LeVpq)or!(Ў'P_Piҳ!fT ™QE"(O-j'||(!fB ȆlpChLZfle.~3:*o/cZ i_}!迓!F)O\WqH{PH}*u'_PKJHSK&_ 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<ɯRPK6GG}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/PKJHnT@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!6GTv'cnfformula/families/graphisomorphism.pyWKo6W:ȍ> l6^BKKV"Ur!%YqѢ47/UeR+.7P>ڵ\~s J\]W6h4ZhVAU(]Ea+V)]T93V$2ނ(J-|Hs!ys,D#Ju<+.cS-UL{+D.QkfUcR TrVBIЕ a"0V، "SW-sE JK=OOO>Oϣ@35X ׇ-p1b3hr8Ok0`S\j9KO .b +Zhți0# _Y9ԎNPThXzk$x~u Ao\ܣ`X(2箒# IJ8Oњk$$ mD79\|i}4 |KPᴴ/5dB4ٗ t66kh9a,lnDk(]"qaAc/{? { KeXx)oP&9 ?t'U>\Ή{{A#gARM qӼÇ=G '0 c@Ǔ~Yu>l֫sN!j$Sqt8]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@+|M0PK6H3T*!!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,n7PKFG%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݅JHJ  cnfformula/families/simple.pyV]o0}ϯdICBR񀺪s7ؑ ik'MOM|<\qcotw! i+3Ḯ!/2Sfbf BeF r9|Zφ8RYvDdS9ٜ %MTq-|I,ĉ1_|1z$Ϊ00YA! R5;$'g%TŒđO)ylfj׉2esELX b\:~AZ'0agH\شR1,ɔӀʴ4Ҩ%n\=d$=liՆ$ɘо7:x>rKd:z^Јq15B(-m~~ iJ{R,1cZf ok6QVn_ʒv{74}Fςjɀq \58̓84?@ E`n?pFI{VqqwC+~B1: [ϲWk#m>U4Dy! o Z`>@[cpjlZ1r`r _ulo)X/pwN3Xͻnc`. = \J>lSX"to Zx$,䲕ͳ IX{Qj:0x㳏_/$.^w-I_ v*]l{_{EgkMԟ']p"OPK)6G[cnfformula/families/subgraph.pyMs6_"Tv3NqZ (ۛ=IiÃD8ۋJ+.^0'J18'oF$Ie֣oqapvvϢYKA䚬*jbԐt]6[hZɂbJxQJe7WEsjwΐO,/ N gM s{<9/7L)s]Oe* YO fTijM fݓ(e+J!ake=+]rSH5ؚr8H 0̩a: .c<V w:IS^826,An*ײ`sFAF-G+WfmavWy C9 hRӬՁFDUd,EUi9  7fDtph!F9߁[Ik9cTJtqư~lѱ_'ІVjpdn],_EDtrUV(reX|kR|qakN@,?|OMc[W9(*6,4"P0,[tHam}9³Ω gA~ŕfF;=_F=,z-ˎi2z>maL7SKݴ\׋M6C"8q/odj ./4[M=RgnFbv mCMܗؠ\,*9$V B~LjqW2<)%5m!3"U0K~o^7\P2yAK jb8 y|혳O:=l\8&6f>H:p﷬iĐP%|/lӂ: 08`!(,7h:,c:ѣ׼?<4Zg-K⧆' D\@֎.V8}6]Y33Qԕ:Z8' 1ɡg2hL#@!S1ׇV\2&Au'~p ^$aqդh7vT>\"EAX4<£@CS; jBLTZR08&zT3xϧU-|u~8]UӄךQCb1x1=ՇYwpPP}dOsá3 'Zg:@v. PϞqH Ԗ'Vfɼ{:--4{n<5^׭ i_w2U0> @+?u0(I.#mKHgjM~vu[ kN]ؖYv4p v ztxuvHy KZYr^QIL&C0~`]#,upn#rL{ 24#8ׄm»Cmzp7L@5 ݫabJ6J']4T 6L3 mvWbkYGW&e^dr3uWQg0*WX}|*X/+w2oy~([}]>1zJ.]3=̗aaxu49t05ʫGt.?)ۼ^._BJے?Nԯ4Dqg ޜ1!bP毥V<|}xki7i:oPK6H9jl(cnfformula/families/subsetcardinality.pyWo6~_qK,{h]+NSJtIIӉ 0!dw㓟<[kX]L'0y:X'XNKN~|0 'u:[.,:BIw6ye 5:H!W88a(ڐ(օuFYy^ة(*Rrabj gȻ 22 (}MdI@dӀ"Κ5R&P)Lpxly_yIcȤ͈G>8^r k|Ê/HQ8[;$=214ijneL#ٸ2.8;p4Q$p+MAStQ/лHdJJZl.'Vfk诘5_(lHiK Ċvd)let-7g**j=29(<[RҡYi @;j@oC H뻪6C eP\f m2"AN-1 Ԕ\7F7on3Ew;[Aw^;3HX:SO0$ERI((Q,pX9N\y5=s<6&!yJGaD឴ySpwWS\Ih+v^r<=MC5gtؚZI[8 n%"ER3>W.c\y Mgdf.^jLa5lz#ޥA+ T:;KN.bD/B  *(uqA853Sүٶ?0^ R@x/Z {+|&!,:&ZS/EdFT7SZ &A`qMy8WIhLHQ)TxY )6Y˅R@+v3AG/WFMy~Y$TPK16GF_ 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጑'PK96G&fI cnfformula/utils/__init__.pyVKo6Wڇȍ{* h"hEC4إH츋;Czn><8}V{{4z 3ԻM㋻Y0矅qx0|P -F /S\nYaMiZ4 XړTgZqAcDg-:y)8tQ!йfAtl ՐXI)`:Bς"7+ʖp(b*A:q؅Cĵ(r`ٌhpODB>t ]M 'iHn ;"~N EPƒ1#@Mx"j*G m!1mN:ltֆ4ړC'JMQd=cLqEtF6Y jO$؍cAwJ |!9J\ \H@ PHJN!w8 ́회 #Oˬͧ5+Yag_7~qDPqt@Z}oJaE8tU]#78vU?W!>MU;b'Tg4%֚N9TRJnjuw[G8`iTQi@*Vpդx^f i& n{y7蛉)*x{?ޙT^SO+ԗe VH,TZkl4x_^\|a }rCG>D㙰\NU4nWbWV<"jNS]hzKJ7tqu{O Le+fCϗ}O=LX5%P^y3mBi}6ji*js.k@ԏZKF}I uzFKOnRviwU&?H<uKiYw֫!ztXc5Whzq>:È 2L .'APKA6GH:`$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:V;.n8h*)$I. .Δ?qaquuVjA&7EdCLX޴R*. pн藥^ ӕ$^ۻwKoh_=+ <9@,L?8,k7wRGyM; V֠3AkEoY=?0xPGR=i]fkf#f.ΐ{n*u-Ā4j N۶欀MD.KN GDūr`*!K 6':,l0Ek}I^QEjC:!?x\, Hk zMțd]!Y5k`S yk 㜹U4 ~C6MB#(XD4FfU1Қ`UE皰cYwٙ'}iD kW>Uш,?KU'p;#tZsmɰFK!oa-~E0sejk=߬`us$ManCj=Nf_'l4 m 妇W,`m#l +Aawi#=L볐L]mΝdECձtބo^LA!-xnMxXrw֐/fkh (hLVJp"P<{t6|)6gʦv_#^M\p!T EYKZL`2ߔo> .OEn4} ݦkԃQ1l`ei?$]YXK ZU|RZ 9lXe1jH$+ \$!=Tٷ0pUn<0^CZCW(%ըk >IZ % ?y?ykKr_pA?7˒F*: L@N XJB 0wW!1=J S*^EAA<-;`;BC*.j.b(zBOX[ ]E%h1Q.{I]gEO%fz0s8{>6Q%c{F>|\vRq 3q E.\up.w? D]_TAL;l>&6sKZ*8SYwظzQ\ WTx֯CX]Gط0N@ɀԝi?0ԐpCtfKYdr=w;݅;1~X(i- ?ϝ6eg=6g`})_/яΘ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 %/PKL6GmXt 3cnfformula/utils/solver.py[ms_$5m_.oq;nbx&ݜ􃫱hS r4.^RK:mgrI`ؗg?Z?y冕jUy"񬮖ӯ`8\2]TI3,ze<[ZiDŲk&u5K$KҪNrJC]J ]|`^hXGWI2dՊu1,z)U͠|0d|ȹƳ|R e 4+,+\T[0%Θjskx@oWB${.ԓfKx|AI[XY]%)X9?DBhN֜]w xVR$YM.cf[SC.f3 nz< \'-DfbD&(킗?'mN}&e M)͜ (y@Rk TE5I`Uב(gj%;0ae"'R?C 3'i83ON>& AS g!K48H^kրBi0,QۨY\ jJTdLں*0 Cϒ-)n 31ҊT-kaDbر <8a~?z[EK@mHD+MPǏ1`a[6qBN\StÊq(߇SfA?$L3ʁưF 52A`Z%R&Q@JK%b P;%|k~:G v%,v~Nޮ*AĚCj*X ʡ| p] ^?\Kz lZJPVP$ $Ok9l=lIeaJն g6&}Tuted4U/l8 I[pMNq5Agd B1QXO92ć-mnXJt؅r4R5CңE9efxȷnb`UbɃlF1Pm&xL)д8?\#o}1nfWҏ4a@os}lžfvh Ӽƃ/'~1Ldئ.+4#vvNl)e1DHv(Af`Mbw+`QoxD'cWhMOhy6"2~}}ܹEƀc{Ȓ!6%']IP-AOȐ8'.:N=}rLhTXM@6iN[&xٳMg%,dohS(p?94ܳ\FA֎@ԳןJi$6 5ڂT@2> `A1dJVAP(j7?Z(jA܉ќO4y=9b7Z4%l 4hp6yo/?.D]idlAQ~x8aZ+vT%=_^@偆}PWI> %L L}{V~b}?;ݾi0 SY33PD2U' SI33gΠ 7W/nS}B!p]hj"GYq-% OS+ЛΉHT#o~կ !/,n)d5Pv[`] @J< `뎛@R݋=m8 E\np;y3?j3 @n[h1Ñ4"-{QfǔҴNn%&qsGh]#zkۖx94w69NDb:7]uX"_nNz?s[k}G{NWIijWUl5( B-6lO>NLm٤F, XJ ޤٱm(G]s~on@f?5FrGfn9f$kZnly}r*vg9 G/Zlؔ)[YTw`=U nIiocRAx쵂2Þ~pUAsE_eœ-ewQ"Mܥms{T75CmZw빋ӎCPH抵 ~m" lX#)v[׏BXZ1xͭY@Xu,9q'k()xo}AN\et@5uMej(Q)|lN6IT}IJ(Z C!;J4ZkF! &Wb@/ ":;{;qj߻5] O5`[v0S6?:e,2 ͊TOd)Z @ եOK^-C^Z5LaXQŝ_q:E9m|=01%t2+&9bO>0 #ҞXbR5-({D{}*]#Z'͍<PKJH^- (CNFgen-0.5.5.0.dist-info/DESCRIPTION.rst PKJHmc)CNFgen-0.5.5.0.dist-info/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKJHƙ&CNFgen-0.5.5.0.dist-info/metadata.jsonRn1OT*NTRR-pCjd k{Ih P?o̼fj}DjQ \޽ۢψCHzK@Fnw=<[ꋗzyI~O0 Q"a=s@riqp('!}gxA$mb`_7=K Gi>x݉k;TW4&PBǸZ,h] ܧmMq-]0ɡ6\t ّ7o?]~|NS`0k!9 t"2Cuuzqm;=m)673WMih+T+vc+cwT |ɓ]oKJLYq`=bHcfS|5Ԅwtc .& >3̿z PKJH,ˏ &CNFgen-0.5.5.0.dist-info/top_level.txtKKK/-IPKJH4\\CNFgen-0.5.5.0.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0323 /, (-JLR()*M ILR(4KM̫PKJH`e} !CNFgen-0.5.5.0.dist-info/METADATA]N0D;OE @jVEy [jl{ҿ)웙 1~ |] Z\ zFG9Qkwf\'7NBhI**:~e|xj1ڹ]ɚ[2Aw{X#JΫ=zYFY}] Oa";XA8F蟬4_pRNEp°@$RHbRLΊLDFK;/4YsY?|v遺ڥ\iQ^ O 2[% F?0K`?D?:t~|y;2b)87Q%|/'lNTXSa&7lWYs F&Au1>+`H<"6eeu܂@%D[}'u9t]. B<VD<;ŽYSw ^¥QQ=t9C+u"oy^tz"_<~9Zp#=]go'1Cn @R.-_璉NeR'L~mՈo:BFh8wf w w Ukz:ׁ(:,ޔ>XTuމ(U{:s6YLίx}N}71;m?a"ensJ0Yf &e,7#C_Eȗ1RF YMc?a1+k*` _t!(2^'Y*grH5_"0`"U-F_}' 0Y;ph刋lPHX҄QXyfoqʏTYcY'1]CX*8Gw iWtl3e}Q^f}h[mcm˗y0pu"XxѦY|o/$oq.t T v4ơP>Qivjw!(=^e }$cnfformula/families/pebbling.pyPK6H3T*!!cnfformula/families/pigeonhole.pyPK&6G4^^ cnfformula/families/ramsey.pyPKFG%2cnfformula/families/randomformulas.pyPK݅JHJ  ycnfformula/families/simple.pyPK)6G[cnfformula/families/subgraph.pyPK6H9jl(cnfformula/families/subsetcardinality.pyPK16GF_ cnfformula/families/tseitin.pyPK96G&fI cnfformula/utils/__init__.pyPKA6GH:`$*cnfformula/utils/adjlist2pebbling.pyPKGǗ8d&cnfformula/utils/cnfshuffle.pyPKJH9{Cx#cnfformula/utils/dimacstransform.pyPKL6GmXt 3Jcnfformula/utils/solver.pyPKJH^- (CNFgen-0.5.5.0.dist-info/DESCRIPTION.rstPKJHmc)pCNFgen-0.5.5.0.dist-info/entry_points.txtPKJHƙ&CNFgen-0.5.5.0.dist-info/metadata.jsonPKJH,ˏ &CNFgen-0.5.5.0.dist-info/top_level.txtPKJH4\\HCNFgen-0.5.5.0.dist-info/WHEELPKJH`e} !CNFgen-0.5.5.0.dist-info/METADATAPKJHh CNFgen-0.5.5.0.dist-info/RECORDPK (