PKiF1wcnfformula/__init__.pySV/-.OO+S(,J+UHKS-/*Qps%&dC`n@\XXusq'+*D+MWQB7(ER,PKjF ]EGcnfformula/cmdline.py\{o_bOƁCі # ._\w)\CȕĚa[;r/I>k߼ggW9̳Ebģ29/xuZ_h<I4i\dd0$'aS͖GG7oW4&k7'F I X{EnQD$KRiDcߓ܅x 7y`/C:p8'eNeȐ$1|86I7YZ|c鉍?c?~<Y!]vrj.4?=:Zź\8'yd#h̒˲(3: eI3\28nJ,ՃIvH8!g:T2ԟ"D `Cius|b?dAA΁0dhe1 n}*>|4n3rMAΐk4#gAF=`굷c*F@˭GS*ԺQvOs`iѡa~H>("큵b)nӭVuj~:ê?\o֜0a` !6Ԛbõy3)YaEpYՊ:fqCM:T(iZaIٖ̦mjzwE]b9ec Pk} s2|xUEQaz2D/6gju@ޱdlc4JCiٟ\rL 1Co6zNwW MfpΪ-s ;e;/;eX>e ]h4hzKt Olźy oh" XY5}TplSMܝB% 7ho646:?Gv;I V%VZ" oJ](-6ޙ@.$ {0fW(_Hݼ`pJ'!]G{*o]ym)G-wz$\JS@vC,om0~,iqoÄxHg|*3NiPe{L09w,2c=莼{?3iUOMW2dm@iLSt:'b p0qmFV>dy9F/OERx Vfo}bU6TpvjQB|35[bg_kMϪ; N7@KNJ;xk[nbvt"[bǫx[+cKHءu935\@Cbu'bQmgaQ5h89G:5A{a'@΅qA7]q+CYˑɟ"S'C\q~҅zgğGqȶVt-F7`x tsB)FǾܭ-) [^V]?'~U'*骰l^l.vr5vճmPspeM'u!{:IY_?ȗoK_Eӿj]G9SQ `P FxvoDʋ=yMpB͚Λ *(7~VjA}hADpAз=!kfbCW zONnt7 "|;n+b7i?ii7 N#o?rX9n c1F0FMJ RR]%CJ., ^fﳒl=]P[cZG= F9gR\Sޭ8T[g\=1KގstBb:'Eo(l̸kثiÞ3wE 0:=Wh=SO{PayKl#;QX;Ryu&uy/xg+zhgvG[s{t'ɣf4zN nDzo/L2NeSr}xSu]{;eLU,U(E)ؓ2˘aH%EME {m3nM.>)Էvo9e _Ak}pHǺ3.oȼk.yw AjZPe5wVlNy/F }svא!)^'_!Dw4덺`L?ZDF# kGY[#Sub@'X K 8±;Y-ɖyI `&5;;ۀW݉=9^pl g}1|tgÇV,nG\1 k8cOPhb@%om+Zڽw[NcJ+΅ȏq^f< K7*W=$0^^ŢW|pj~-(,B"a27ld29 Bd"/#>di$ N#!,6+ɼb))q8g 8#KB@xaF0GI6a3s/<\ g F1NjޕYdy&2 5˓NdЇ],Y'c8h+Y2mɢO2+{ Ea,XIDNM.WkY 5c?< ̪Bξ-V\:ZE_,bU0ԉ!;Hb="Kl2YEd$&<"fV!,k$Qn pl\,xUd FosvEǹ~9I9R~Aѹ Z~߀\Vge7~FڲqnjBj͂[[T+"ayJ䂝ѯ;csv*?Gضɹ׈roE<j4ydEjVMb[5 P"~~ryyORxR2@("ꍷ\=֨MI ^܂Y3Pԩ°(6F]@9 , &hy@@ X}$-J0ׯb.šƊ+&9$$/ἃ'g21xc@9X3 &)ea~uZ?;Woq1, =G\eKik=𤖲HB8`[/?sՈq?wm"FAw6ǝ.36ǝ%v[3$#>DY=BL;Drߒ`tB YgtmX!K#s2KJPī~:@ׇB;˘(IoOE(O` vҋYwֺ+xUŽՙPmksDHt`#ma- _F lM'';IeYD] vUryq XF [E&;Б6/RK 4v{l*ޠþysx,S][AպfhԕV~|S^:Qj[~ޯwUy!T!-`D@K^[yfI P< f!?s 'F]FmaS: ReZZ-L+>Եn]Bwp̮%ռyx|~hٮXa\\ҪNɵ!n޷r͞ju|cru tIdyLI*O&Sd488/!⫑ev=wG|<60m \~d>\0sz R@K R&G) {q*o3| Ϛi_?[7v? 2B9EGқ:'T#5c߫wu-Zg_"<SFdP|!p4-h4h֜6 eb3:ҪmWeM@aӿ$UjunCC)تױ dhXe1 ]Gf}ݦzg6clJW'؝ 8( fU|$@8H{('"`9}%Y"rhI%yI$::(êpnXM ѴYxU711aߊ (xL4}q)=20*8Fyr; C> goXśRKBJ{0[B :$}w"z\+:~yN72*G}3do뭷Ӕ7DUvcrv,) oQU}`m\RB4W)N[-gB G0@1:8C TB%@9@nP<րQ\j:"=7NxlHλbm,I4c;׭ӾY TN0%Z_X|pkTൡf&RLUc'9bWgLUI:kE2'G}JI`'W)F^{nPrF7qZ.wWu? ƓGkd B$A=T.1_%%3]\)@iz]{6d1#[8q'^!*q].Uoˎbv_'k@s2tsep~crwn3lˈ>! ͷ?\orBf wJPGs^Dᬟd˓ojͳDHy>"'}E!>I oV) 1Ԥ_es%KQPaۭ`k* 8a$zQx+(}{ opEyGCL7'e3r*Ga@ܬ#g%>iL,ީA%orMF<¢ݺ[eo0v+`PK" iTyuӏa՗֎lq`ꕊl8d>>lċdN,k~|_ 3U4xZYÊPk8Zߓ0nh+jqr$7ae2&~j: 1OR8E{I qe2E: j2eɗ6ZD7D冕.O*!=p|3um:QSFwaH UgT$uD$K-9Ĥn4ӛX,au+=BԞtܜ{V̭QW=st"F\K9:əX# [o`rtn ?A U&j&(}H±_p$]M yC7ڭN_yδ9I*bW~ްUs#ȷվH<<<|m_M|5MxYDtY-s~|н' &vxx$P,q4ߢzǻ{;=*g86Lx8N"CȂ/y:5D;>Hyjos-D\٢gS9N!'GD?`)m 뇪zѸ֖~{CژY@vkҪM!r [%AtKyzI?٨ҮJ 궏0iM>Vp< ivLV19t)yf!}V?.*dr7hujJ3\CZE8<Ǩ/{d s/Ad,bs-t?'O5R 諿ZU2 CG6jv(ɟڙF9&擜apjdX߈ NB/tf6)*i3'_鼮 2IF 2a)2&g)ӂI97X%Ĵz\_\4+-N`Ȋ( UfPː>uٍ7+bvUwªK߯>ܗlGfa4fnjLR24(ʪ6(J VzV8 l F]dA ' P@-.}m%Jifa߀UOvVylzqK3q}'W4 xO.~ߍ'|[qkgj'O>B(M;tqXDŽxuEX=8 `0ӟL>uDGRuWHI DR!ڰҲ30kIkU& gne*}1ٛԏkKWW*% gl[^=l@rQh )RՕ_H+ؚR{&Nvv }ojl67c/w:cLn q|pϸpݟ?sI~WW,}."#/Sf>kJwAXWj('2~፾t% K埦!hu{ЋFc'=a/ԕJ)φ,A rS;PF{ g{F>'d/nl s2|(P[Xip5UN05qejNAY#p_ R~E`(bȴ%P^G S]Ab?EՎJDZ}ja.tnGjODd=o٫kU&Ǥ-m:JɆTrs@fRLBOl[S0bH_m,g7v-b7ʟ.*O+O6c!Ƈi05R,[sS[g718 }֤+ގ#㚻8p=qDFIj֮zU:d2fD jb69rvN[[Q(f]E'ϻUx }~}>4Kz˨F#.𯌼aw]xνGg/%@/,ۖs9!1|%tS?}5Dsv`yl=YpZCL1K+0O?Eg@6r7>m+]|~au(p""h)a=^2劌qAgw ￸JD "50!\j؁Vvi$dO0 /ߋsh1D-9M A]k@v<񧐘]?Oa>u{PKwGn h cnfformula/cnfgen.pyYmoF_1eP$w H6@ mXS\-"F[qٙy_֪:gũ(,/ir2T.b5rO^|Ugy3HKY7?6u( -*4"K`ڔx6򼋵\ԹXDqC(tIڣMQ%ZXTBd\ ^6hmTɅsV}5u&*,2  <+F,7Vj)x3!}a4_(m$nUWYB_ukouLyR=pjaI\rʚ}ܪ~Pė \epQ"y>I?ʣw] v*iF/{N4yAgg_&%SFZB5J#0bRwW~#aQ<+fyFqu]8nmh`HuܲT͓ڶlHnVUXVlo]<nܑt0&Nf*vNcg-RT/齉t-ur':+8{N(53U,AV8I_)uA7ٛ{H )d0b]WHػ˳pb JC-ոO;x.8:sʴz ux2=_QM|"E#Yis"AJU.Op`o0y>fl3-e2OU~-vqFd֞b ʊLqD AO0`֐8jQҢ7LT!F2IEHwI@Bdj3̪B,]qJ&|9  !o(C@Ŀ z,JO>~#K9p(T.nX$<.ccYācwp.{äiERVɿn,SgsDNYGź3!q؂d"k]z&rm)f9]`%GV5t^a!l49 zƂl×3)I ?Bl,xbA ="dD84DКQO/\8] }v9xGO}\mue2l]c dq' g"Jh A\:D܅Sc8B[|;dg=cJTB,Xw3~~s} jC$&F x/]bjtA[Uɦi]UFF<=Vl7(r1VٝW~hz.. #/ijj}4b9{-xM#nq'(6|ǒkffD[o҃fz!oc1lOaN捵 84 )JBDYR,M0YKD8<&!QXp56;ku_j{󹀭-34J2rp .q .Ȇ+K%sF= Ggӟu/b)VV"hzvdk_?s f!D c{E4KYuooি(#_>~b)Ɋ&oFw*nfMU.(աh%#+4fﲅV#;M"MpM}3GdƔ]u #$&&1[d4"J?''NC''2%8R&BM^J%+ z [GZɼouI CSJ馳Iu.̖)B-`ǩ낢 2ܹ./ .TSޮKit'5z8P4Nr;tԘ{b."}oYt:hDCAӖhbЃGocСo3N/[!i݀a͘-N AGgw)h2@m2˓|ÔBVƒvd`ueYnZf=3*b}Fz?Qf94$]mу"5Ґuox vO5hdD.m^dMף͜ЏO@I~=H, j3TTgPaSKƭwg!լd@`lTiIFFi7gd*8V:]/A?1ՋXu{ݒ h}ڏ67XKFL;s{',vKsV9X,x{Ȥ;C:n XWfd{_"L_4[m~+QWS_w r7 ـ'?c7`:4fU!ZvWWpK!} wz1n2Sk{])cXDR#cBxRf(̰<c&ہDX%1Kr6ŎYa]8a{6="_4-^;=(́?p_csEeVNF qU{;9m^?PK\jF2zS3{\cnfformula/graphs.py\{6_H6͙nTal';5ue'u%B<cq_?|47:%Hd4<;[L&7b_ldp"=y&Viͤ,/ /Ud.T$HVl\Q1ЩDY$3l,U C` f2e}6B^L_ cj2S&~]l\~;>mT-*ݝl72'6t'uYυӬL%\MV yp?a^HFs=7k0 m ԈT> Pl|T0+ 3w<y,<e6:̽`p/ I$(r1Z,/E$a/ș¨U >)ta>Vyqnv1Giq:4@MjrTc魴 1Sw"Z2O>[X5$D,T2 {f4559ܾZ_[Eg|~A~[b|W̊e%M뻮k~oR0.Ȼz&gY17o~z3?*FFf5pu\w%3k֊ tKީbb +kKo=-ԚިД_##hp+žKj3LʝL]d4Aj%*N31xͷ2ReM~K{sF2v//޼z}ȷj/a2Z`9BM"0.7| ׵1~"gj浇}+ QȾ7E'4gJ9gymHyJQZabBeeNόֹ>'asZ\&lNī\]S-,'KV@%;3vnd\:6<-3w oi.Cū궦͒E^Z]QTNÄ}̀G+aݖR [.~c^G2 A|hM&C?"wL87s[ts0sG)B̺P d䮎jbEkY8̅&:{e(t,T߇O ~xb6P]::iV_[Y_ @Xȵ!o𑅕 J afh; 1#ޞ_kEmG[9b~<V( VyΔe99NG\%  x2sd%0@+y('( |F_xw)?i~p& W/ ""bTL<Jb ^BҦ"ڦ9O6:VLn~Hin yNN$\tۜi|q >8ƤyfBOu1q\Bn䍺fR5vCMG@HaQdKNñn -AaSBM4Oq2.:[sYXVكzEUk5M*cS?g섯|;adևA'̖ a*)Wir%gbiQ)pkQoQm37ae G/ꅔ(b?ߥQzZ[ ߝ&3n[F»!{-J %}j @,K}2wUۣC} `Cg>38j^h0 ,R%'\[}RXu6K >Nê|]2>#M!=u9Cv{ZWW3rp^foZ[M}3eC`Irs9VQ#&  wik݋>of*+72^|ǭcٹ6䷤pL DŒ^i08VrGi&G)+tѝҵ-?&&g&t,*M)bb[%#{Ͱ͌oױHڋL.U}(:Gx,sp}($ ZT2ϸ:T}&ss7u#^#%[Yә֩:. l7FAjNGЗ%|)xvapiƞP%4V J j\0 hT<=A:G] >jw*1pO%c]fO|ͨ5|h{:95qYCt 2fjt莕p"O'C*&m8 㹄/ $WnTQNU7GMk<!7`=!0]1 SbaQ1,A8c[&1o{zxiUr\].]6 Li@Amܸt#~$5pWv  ɪBUg̾}:-\W/nYC[GbQ$wB 1kͲj[m1Wj@..*j+*48f9o2=_\TŠn[ӣ T;Mڱ'V\@][pBOX2:]!]Ӈ(0MvGQu4B]V],A -\_fN1;rW6Fr8kݩB2d𤣻,L ]xӋ>lo ipwt 8nSb8^0hXOpmtfW @8'A[6͈(va0zhYG'B N g7Uvă  K$U^. -=߇_\3DUDDdu&Q'YEVGt];CsHXCکxjԷ>QP *U-k)we^Kt*Q^S[A3-pvxĦەbUڤ}}uJ;JqѺ[2L)7X #v8{L|49ޑT3j!|zb  0g u(lgr3/&Յ(Z 4S+Xq5ΥqZ˼ik>ݏݲ!HBc,L[u)cX`{wy v[} %  `;0ZiGn`HZkҋ-9vY2.U2͎ygmO׃ ԩMޚM}y ,ێ;igqɰ6q,|h#Iђ(,¶X%QI8~\ɼxbު3 0Y ͏z;Lάt>;œi@:#9,Ƞ  C1 Zt)Uu4:x+xS@=YI:?'ڏv/ǽEuQGk›zr>fhŨ6̓yW4Z#`bDAbORn7׻t4O[$Rm4N`3b|˧4$*HvnGMof]mcŅL<{>`83#5~:eur:P JFSe6m.qLd# :u;Oe`OcfWF*x'] 3M7{z3. \qTs2{9Cpƌ?}Hcn=|;WO=A?uK%Z;n̦i~S\jJkuҩ FJ5,$&lGAسn:fjv܆c7l:w궝w362Aٍv'Y(Hb?{S2/r>JZ8>ٜq]Wd=}u(ҔɈgxBr-إIGÐ^/BeLwÃǚ^sݽ|Z:qc.VjǹZ2`W;6b'JAzfLK]N$QŚ刊 ml;M}rX|nU3; L%2xOfd+ ^(W4 7a{>^[3@7&P " iCCCpc'90>4A_z>Q U'7䦣Ջe;#VTQvMxLGl[2S8'%gnGӸI͖~葧yjѓX]6g:ˣ|e/ufXK&-C5uUH;F[&RFX,'8T{2M/fsrvOtea_lT_@ ~I(x/G"ID^oS0tAnz6.J߉x!h,?EwZ*Gs͢yGI=IT dh?ߎ-"،T3T.g\݋yDŔxE_e2ᵽΏ"ѮkxMOA"N]xD&6iX:TqI>]sX՚;$Ctt" O}v˪ѧfG%kT/srj/YZFz =)_5' RB,,jI:f5Y h-'otC? liI6soV|uYn-~،=z֞x:yS3%GP4%g(}C1Ta5gg}1̮vysa8; & AfPKiFer! Acnfformula/transformation.py[obO`2iB s TA̾IJ%7lܝyfv;-e(j"&@7d FIĦ*RYUЧ\%E}Txb=66KAR63K~s('>At=#AW{n&ʡj y`x;-?O7-p(㩲ԐL A5$ect!3 <;E!zҐ41ԒW\Xgg%Pe˩\JdգS4 vլ( ;P&s11!G2H5yfMh+mv,!j?pǡsKcYa@QJKxhÉkM\OmGt)Q`TA}Z+xJVP"qV̡ABB+eR Yjtwb5: C4UzLϳJHo{}l-A)yPL=7 J٨"PkZ A35 LAc+`_t5TUQizU/xRag>X$,Nc=V'XB@yrt{ L̯cゕ?$ZqI>"v>tay/LڲL@)k_?Q2%RJ5q`0'yCDwxH tM*oN{8f"95A·-@dF4]HB6݅]/lg'ˡ&;WO4w FDg CT**E!jͿnf9zu:ltFQH&fGYq`@ѓfYc'[k:2Bstv).k3B)kUL&?E^n$)~>N伇j &'ncDob\]7TV7鞵^,vp+-!ֲBrEm;a_\1' -1(Q\*66RRt+>k9vf7S(Jhv"'Mnx<_T&!W2(kZ_Ö]FGrli͍r,Ѷɾ1IC1nkNe`o4o5Wu5`U+#U튋%Y +>)0 缱Z@+Xg)Y bAqo777 Uﻹ.*@_(:tIE ydcGfcGP[HI.j=]Ж=4zދۗnXBPG.;ř.G19jT+`Q~#NA!>}5Pw{tl٭5,d0#lZo$@suiě`_ep a||yAk#[,c$ock7EAJZC;~pޤQ(ml(/$'I`Ȃb')l72!>UZ2gG~׉\)_M)40JY~hTXzȆW6d!0R,+dZXlp9,$P{XR0G>j֔L-N]\ 2!!O)MҪ{zn;RŁ߻90 .:!hBqֿ8,o/ H: WIzlup~ow2d@Ni{ fc+?PKF cnfformula/families/__init__.pySێ@}(5̠뚘f7&>3i:@sI䡡)N'*ɨHx167=5M@Q]H-P`N%&e@J‘x_jRY738}4nWy֝n֔KVQ oYwT[MޣʘZ'IIMexFOHrQDl]Sk X>ªDkT(a[ӒHQIF1sȩ&p]|-S-T:唏Gk dsEo;# sQ 6yғzH=2-՞Y>_=hB][P&&Y 3ҩukxHo;l$\;5}pML·FJ}r~$"yb/h$^#0Z!~hv;nG(F0]1,Auk/kUC1K;tbMG[,k^ +nZ3ws(a}:}DPKsFG 3 cnfformula/families/coloring.pyX[9~_᥵jn؋F(D3ݙV(/Iʀ ][Q~Ǯ+ FTw՟nJoRudG+TpFߍXZdRm݌`0 /snq˄a^h2-rnEXbo8О{SOo[RMŊ'3WV^*ҰJ(I`E1[8b<H0,:"mQe&OwVlV[Sbӑ).~)9Э;^7XB{5`SD-;#qiJI-RmCw.e| <"ǐ Aș*kU-i鞩*qd ^}t~!G]UV*|!a%H$6W *|966U̘j+qȑBUa1eIph.t8h> kcY#\A+0 mU-N=QZJ0ٟτM?"ܒ:n 9 Ke\>8#еw3EU^TQ.5j .Ziֻe0]+_|uϹ >GczeK/'?Q<\䧲q^]P Zm+IV)2ty;\g$곜sp>g8?>˚+)߳q|.m)3^ s&?/||g&1걹z!i: G[^E0 d#4t=/r7'q1<6Q:-: U*36/ Koyނ<$dbHN%IJ!-$.hX Q9VmEw ޏ?.+#~ }LM742BY.1Iu(yRzjB"/8+ֿCngǒ$!oߊ93ǷS]d{̥žT@Z!o:OW1*$!Du}MX8;Fx4|ߟ@ ?; x9dGF<6g:#K \EbvwE\h-$!Ǹ1;^js9cxs[cP-.{OWfl|b toxjRɟJԌ i$=%h{;9E%Я>3X[u\}P#$EmiP>Ez&90081_N{~::pOUxyowbPKGF9STcnfformula/families/counting.pyWoD~_1q\ H(jNItR{ow:PgfmN$@8of7'_ J3!\.XTIξRK>=~GJP6Ζ}W%Dڧz7i~.c0ָUѬno#j&Hr|(2r,h6jE]u+"V\&.ŖJ'#ՌW#c#|Gl P6ɂOT#Y|ۊxxNJ˒dZuU6jՅIoN.k{uA3vߵj=Ӹe:#Ne,qwS[1v.e"4rk|mdD1~ìa{40[bk;feᖗ6jfqDXq׽f8)9 xa*mU7jTMp])x[,y]a'pôqTwfȯQ*ϙLեVk>]z; '۫y@.h6mH?c9Ya_gJo~?X}wBWΥ9{BXz8l+WVz׽SdXQ}/!<ÂaY)2,h잳7'Ë~˃f {g!R4S%ZoETٹRG^Ŋ+F^"ۦnUiljiPmâٽbǿ@?7&4&M]SŮw s8c8AD>H1R^𼜄|ٱ?,3{4YPKrF6O 'cnfformula/families/graphisomorphism.pyXQo6~ׯ:G eh-^u־KKU"Ur=,rx0Lt}wɋit5w:;! YFsI e ULI'U@*dQDyޕ($[e1D/hb~oX!WRIF}Ig?x֥M+jĢNatEy :K(5o~}]$9Yr%Zo&s:Ni*j"x 3Lp ^ Ma2m@UXWXgj"W,s 5 $Օ0]߿|܇"YYb7y8yqvOϮxFA#(w"2P6ֈ%`B@$$T8W1>}DprsOb>:(U-D҆ 0% nXj ߙ~@4| Ƌ?vOAFIB% 6}D>\k& (ᴲoQIT-*` U,jdZe`Tzgި֖Q:$ TN~) 4,0ښ웍Qᅮ d0usC8^slMh<->udVt$kp<ӪsGZCgI!jwxɸ#|v()gf-fD-(10lpO A:ڳ5ܳAu6 r`;Խdnm H׌&N5V%,M4la?X\~a#u/v~,Gkc`jo64brqFسe:֙״,lhiwgvVXm鏞 <4p209xU$n +Q&vucuHvmbuq2a=KV{c~2bLL$~ Y![d~Isa,wI\uvuZTXg88rAEE~>caXV,ǤOJmsѼk&q,=Kin!2cvKMwY u;6o><kqoֲ]jODUin/Fh" ?r^k>ZcQjM yhz_{o7kuPKcRF?{cnfformula/families/ordering.pyYo6_9i 8hٰ-) {hhD "+lYckn,J*?rqĔds=u@:wH$c.Ƨu~v[%,eBSͥ rD,Zoād Uօ9O4/r$ߞHȟT)J-rNYbykuN\Oa7 Gw42%х!i&sM.^N VeNɯ,X2/cf2Q%-6T!Х&Qe0kb6".B-5M/iXRk7*(,8m 0LjL"1ސÖaz L2:jG)A XHh">.iA/a,7]PD,˙XL ,cݔ01tMteI"Ȑ )#Y$1I3^/nMQ/RP ) υdKNrÐ3QE^LtP˦ g1p\C , xl0FB"b"h 3B@"90W3g&A#ԛ J*T v2#}~`q@~a*plQ ^ oM*ѠuRk2s;$mO#̘B:w&rzR ;a pboa~Αw/`hAZd#} v%l@lf#k>݂ gZ&TLMd*2&\ @AՋbe1:) IF9LQT<x2] 88g  =Sdl5rS1f~„}` 8v;ȊYaq!X X 4o.$oyW(:MM^0lg>|X&TFAyAjքux㺁BFNxRh. %ݪl  t[Z:7L5. Z7y66\ S8c%nIYk-V Wda)w i/WW~mHz 9\nS쬆 կmz)"tlmIEULy$ԱFaI,H5;hS櫛2k#.gq(!MXZ7UkTw߇'N>+hC>W,U+Vrعjs, jL}!P^Y75Z?Kdw7>n7}'>{O;1S ׯ.؞frxB)֛9ҲW`ϱ;nq<ݣY55$DՉlY{h\jBtb5#pn;%vDn|[5e0N]y!8Is/!F߶Gg4D_]I2YOG_it h/")l`lr@;:8Hx<p_<)F>W3~GOZdJ9{T%IUz|rLO $*KQ'Bɜ᢮j%y)UeVZDdnf/nf:E +UNnZ]Lwe\G+L?U,)lC,-D3w*heiMdP_[ n$Hb nTX,XX/bfx/D.oafI ( n30 JCU*]`>Zo|˗& fBs3:bY1ʌw\<ȌlX%1`3iQ1^U*וiIHëVI& )J"6Z"Х, G3GE\-k*4m0x>97m.%'WG{U xjlT˺ cTM&cv@FNߣ5]% _hz]2㺷_$4ܹfSTfa㫐QW\syv$leCܞ {FLq5>r~QrӷXBr&iv2) XEs6}ud<Ό@KsH(iRI37%Ҍ-XQ[o3aa Ufq5p-_l}qJxrɣ>'fFo:L#΍_حmi߆_nnD؀lY7[&,.`' PEB!f}3>(bC7^@=aQU}[,J$w.]i4~Q~ )-uX)bڅjZ+ i7Y>^n_MDuKc7 %YdƮ=4Auq'McVZd5]OZR+X.!R5uڊm1Qycmn Gc3:R'e b<6F5zHvu` ҳ\ fv%Feƹ!Vl2k-TN2ϼNnӵW"kĹxpM4״! U>2رF}*ƽ ):& E$v IFy&>%A|S~ / - ۴Dy~L#w-kؿ sQva#N.$'Qu.aG-W"?yo&(>kICj17,IAEjM74l+;{w^n}C禠`Qit>K ga mC&SmqvwͲxa7=>x !`xT~,O+-ʉRxg C<:H}C[_;/5 Y~& $__ﻳ=7zob#B?NlO *v"F}aQŻ+Zғ="gO Gzi|l $e-/-voJm+n+;j245sA]j;駞\_ $WL)[qr=^9a{yaN!"qۛ`sryS$ n&,s 0ۅZKͻiDEzoC|1 ;5#EK8H31+ G }wi0֎0vB7.#> d-C a}gêi¼0Pp >jU ǧMc)nҢ@r|9>eo8NE{vn>JUdcR\f{"fŭgal9?tiTdkg,_0 Vȥȳ8OY, yV Wq^ܖrkl?~\)W˄g8Zj:0O3`/K  te2h@ɴK͎O?=NDfFRiɋ;|jT33،1yZCH,Yųډ UL>D tn`X3!-LLrͲ}fVPgLI͘) `į¹%TL.ӁU=U(r@dX(X)~d c<r@N-Z^ b2CNdZH"atR %"v~f0ƅ}vغ hr%~"aaFvH+7<-cFPCkQ2z>Q>aB50 OW!&Rfgu[+#y5fYEk ̑p]}xa.V 0 2a,2hm٭㬘C.`hMhmYoA$S*OłG7khDC6bo>!{gѶl81?di}9p:܎ˈ *ˡqv|p_޲;iLts;>:/X(菛܅Z2In## F|j\hd;[v1u4 xÎ)q:/MŃ}cEbf}n9hWV@ 4 ]6up:od3Ht(I7%ϖVC}R$`e%^1ۿzkb'x Al uXiꮝ9l ~v1 4|vX{0636Mms 'F3j\[\S;1pN9g C8otad]hߍc֭b/5'/#5{c! <`^Uaaı%vF{ N~ #[\ŏ*rGT@0b:N[?31 M';WBo{yIDK$nIl8DG&b& 'ܲ47Bp~PQ2'0Cy 0A+ήKذ?zWXth<&ס:?^n#fMخahxo|=w"wIV qe/ۊi0|vQVJi4lQa) |mSRx6)[V,46&jU¿Q\!VǂNW8i֜<]V2pYDh&0Yt~:}?>BӇm$lJ^CO+fjko3:들M~x ^ݜM(YY]["+أֳ4wwN4ҩZ 4 45)PSB2RхSioPN/.WKo`s;R9pio>\f36c;{Xn6ޝMwZ|RC oPK͘F~]ycnfformula/families/ramsey.pyUmo6_qQXjd6`l:}-\Z:ٜ$R#,ߝHrðh>WޚZVh3(t)w;>NNN\iPi?5ua(ZALyϯ7[AF x m/sX,6m"XxE 9ə\E-i9l;myіTSv$+lK,Q/Ӻ;! 'PD%V!N-Webl:͓"1-EV` oDʰQGfQ(3h?^T%v%X wE#8rEhwF0N-Mo *_>+Cz5v 6-*ouKYyB̚m*Y#r18O9d {W& #E.y&w+V(jY% yE' N35=S\=<<=wϽ7ޚN%W]U/PJêwf*-6Ⱦe6Iuw4P;H3xu~*VH n\]X~uv\]Qj'e ' I "}Bv8t(e aԼPiR=/CMiA`9o*!YS/ fA-]a%W[܂GKqYmឡg8+k{ *W{%Q+A#0`.A82;;&8S$j;*D*Eu^k gƒB(L"xKke5?SQ"HtlaW#+Yf$v{+'$m[2LX^E2$w% Љ| z0M=VaPz BYkT \n֑TzN+J9 8iB=X-90Ail) #S@ρR !bp5bP!D=PsB0!c/9TqebH;r[O#ae#- ŔnY szh.ϧ10@S쭃%Z b4,oc?|P46ܦ#YAcegSP :N~m VUw`:d!4CV1.wu*r٥X\Ky2l Ph;u=қOQ﷦y<"7?#ɾѥiM@cOIi:jlCXt<"[Dl2@h^(<%#,."1lyezײO4i]k)?F$ M쇟i%)$sVq[Qw [`ä/j]T~]0{fhBޜxyMXqɨGsL⸀m0]AxjVI;.(p3tstay,PK'mF1 cnfformula/families/simple.pyV]O0}ϯ IhoSNc I[=L]LF[v4}<,/ssTCoXt_v!)~7f}S^d4\1Lˌ(yS)rHp 'qf:؝x2YA%<74Qc焧`!hCr3䆙j(i]pA d`KJ$+LmO)ybv*2 HrJ]&겈NlJ]|a@ϑX*K]+p4$S^r$gA-qpUuՇjZ@&H ?6f]%HA(`}Av.EA/b҆뀜C].Y8F!ޡV{mAmecX ` ,i=3gD, IZQxCS, 8Twؤ~?HJX{57- ^׫f\q,νGÏO.!kge`Vr0o߭þm~{x'O4bXzq$PZYKA(x-`-V骐 >D[ m$uo_WsPKxFcnfformula/families/subgraph.pyr۸]_"[hVzNi'xT Q({.vnL~|ZLlIdr)g$K.֣ڬ UJ& 5\ "Wd%UYTSCe\#^r=\IunHt˫hdLȏTk^JZ+N7f1Ec8LL%U/!e%!ׯoҬ\\ߙNΊpru!8 n2Rր:\֙q6 4 [Sbee<1T0Kڏ+HӴb`? $YAyplyR*,WO(ZJ_@:Eˈ@̫] T[ǎ)(1fэ#M6{8r):G;90nâfB,=:t͠BٽcOZr-,H鰶ttm&W L}NR~X#&V/ُ0v!:Qܪ' &"xo`\qSȌ%4+P~չbv{k?DA>%& Ϸ7p.gmSM>$YCv/B~>Q8J{p Z+Vǧәo:\[L/f,i_yxv?ȵvdBFA jonu[$[ NAk  aog݅p7 wr?˄2MShE e[sp^z#vSW#s;嗳\ڢ9o.< 0dU$M+ ?_#Ss"$/~ z5FY{Ksl{\y''6#;艏 ap Gwv/*&ɴuv!Zj7iqd/4];G~^k裷<%rP~"g. =o2ʎ2e8 Zp].u^ht GO{ mK4~ #A L *> |˥Zej99(GTQ3M"KR95Q96w#^pB+$]wiWl[t4 Pj=ľVO+ ) &̗Fa5m4-e)X x7JKg'-J_Oԯ!כQܡwO ML\o kI/{=B94vjnx_PKZFyT (cnfformula/families/subsetcardinality.pyWmo6_qK?X.l9I7`0mW,E?6J:Yt(R#)'#b'MRE>F?iT=\Cycs%'0|:D\.Ǖ͆Xr%Ae`ؠiZ7)]T Fen!xg=3 ޱJsυ߂ҌG%yG*FF0JdDA Ӫ^J[|+Y5,ɂ$9txɴ_iVkd* . RZ$JvH+ 38dOv\QDCbB&y-nX:0.g|`0`sf2c!g"(bD\&dWZ %y+]#Hĥs;or/j5 qoކsΑ[sVόGZ5&S6%&< d_u,ldIV)ǔphx&S>sVZUy1z)U%CZ|~iHhgqvc-)] V%MfZ>Xm/UԵF2sIHIOmk~딠t[M^ ! i#Pvn51pE{JJW(X(/+_f3 L ffK'oXnMt@ѭ-BpiVg0&JγF]]y" 턽.=*Cy\YԩD unܥadfϸGQgT޴:J}ms2/b/tutkԧWveF. }P`R`T1_e*J .Ro AV7}3n2FߞrORNoMFƒᐪOHݽ=Û5y鶵< 5 ^1}d)/"p6^^8~ 8K7'ƃ;܁{6' .?S+yF?h(>jV ¹~9=lP{kRNk߆׮E eO8T#{1 %soߢ)KI3;myuIo3y9!9l"/ܧD\LTQc0nZEǷk_У޵!v n9 ߣT}V^7[P=>ž: V}رp' xvذ4]ԃ1$; ]1a~}|. &-2'"ϲaTI><5eKWHhv*2CN wR w؎V|]\qA,dzO^?*—Y4,>rBj,XPKYF$ cnfformula/families/tseitin.pyWn6}WLR[(xm.nK`8DYl%R )w M/,9<ΜaξvJN׌O)B+3O yf F h&8PiơjZm* u ˱~g(N2W}KWoJVͧ UrLsPEQ)E8kZ!5\|4MQ3N S+?™-/|b&7/؃%U.Ғ0H DQAXwƀ Ut>;V@khx4B4X,8@4YoZ24l3鐮cxMFBSDZҜ WEvEOrәTQ-W @b`߷ aVEAU+!11O-X'5m:0|,OC5 Ţ:Fܭ2x5vXl+uz[t *&yA%ƠZa!+LK a#!E-0/ DJZG zz\JrTaWNT'b*Qh^M/^a-/Al0xpCErDEPm0#@E J;X#*JG޼]">NzlZ'Cn#~~*]EAM8!lH{՞^%Qp95*G$iٍmAB |!9z @tH@ b=Pp-or SPh(۾ؑp0̺xJ}fIzP/puM&;Ij'H]ev Y)'r^`Y3Df$䭯!.9 DvUUc;C`bGl*y5:oy:$.Tpx>sݟΐ+^ 73MHɪ NK炠$!^W YI\%wz:*VW3(g}ogiNQwiFH(3Fp^9V0:19yf }cMO>Ӟ0Q)jQM/_UljB7F5%u/O$SJ7Vu[> LyŮOf{켱hTyڦ>ㅟf<{λ/3m?@BvAQ;jv_N8w#ƒ Bt^R靦wd(έPô ;3P aYM8a?a?taz|v p". ,9HӋ${@Qaiq> PKiF9 $cnfformula/utils/adjlist2pebbling.pyYms6_UCʥh'7h$\&r>%"!5Iж~HQ$m4mX вUFiJx9IlXsx}g xJ~/̖eUbSN'1֢J0ߘ"0 Jݮd}WY:k\ouwԦaJ xwh𤋮*VI#e` @~esݹ;N➧A¤iyn#\c5Ӥg/3V={+f Zd l"b:X5`=4"Uuo;s};)qմ ym ?GD_1$q;G凳P`<:Zˢ}(g=!i DMPDh\!;v 9WBI[9kzCe[wWGB$.0UCFR`]_7| \G <_n= h(%p=f} m0v1a10 [Wb?0zoI:)fR2dp 3VWϱJ|kqMucgQj|r XӔ[e5!:9L`ӓq. _ !FV"A5-!;o0thGϴ/dZEf=A1XQɦ=Ÿ 3 (ftY|UU]׳>b#]gH8up$$T~i%p^4i@w[7hqM=flI} e#x~yIH ]kHNayg@AFr#)NY6LnjV VΒ ^А#P|+m`NHT3#!״yEp_$`HC[qrP R7<0EĎNh(E6 ˲V20#"1x3lpydfJnFف#d#O:zžMYjťj;wxgkkPBW'yJ>'Պiuxm8GmΖxs MnVE5c5;?NJRxhj/!=&غwuWYjXB&57~/LߥhsQ9y0IL2-sr c2`zMvTjt ' *% 1ƞ~Llwo<磩tpC uGÅhxȎA?%ֳS WIqkeOH= l[qӪCr7x7vEcbC7Dަ.*1&Xz=1A;[Xkʍ U` DTrcDmK䟖/.^_F/mi_#-Mnt3w歝8Ó'%*"UNW|apZ)m:ZoƁ_Oϔ!R*S_+qgv[ Mc=dTuτ-v'P 3u6@ʺϱnIaz>&p46F$nvHϧݙQ&st&)7i|(vVnKޛuU"Zb-NfSh诗ne8ݕo Z?_a"JlΈ-ɺg.9k`hn%hL'X@z\B騧NPKiF;`cnfformula/utils/cnfshuffle.pyXmo6_9($Rg X@5+n_\O%J&I91ݑ,9v D>{?ⳫNɫ-WHוY\.H&rUHB$IN$!iԤkL38dargNv4BFma,teq-  5T:@D$R^Q[<#8&ˆY >JTR#@ҶN3ݔGyDnLz}3ѾfA5FӊP &x(2x46`DFh\ڴc, .:CMA^QOTE%X}9e Liv404<1m0-!btD+V.SS\N Z6J"NiFҡcQ/cK&G3`O_{Y%XF5&@%VNpn9:TVi> U uP)J1ofGwV]7(ڨ׍8EgeVdeg%4x0"Sxf5|L:[ {?ta[γtqip,QѐLVA1NI2l.zl0_R4v,a)|[%MqfU^RKnɆM(G}B,$DUWl)])fޅn>~E]Ӻ58c#>чj~s #䳘+FKp:]\\ςQ[Nh`5!/u`q+IYAƆP{8^;64/E^Z.@a.U`6}+C(w#Qx x~]-,xJ;=?,d:\>b-F(/j3HH/7"#dS@@Sγ0 q9FpHóB9eYPZLhVFCbxv"z['1PC{AΪ:#DVjյT~(\B l NLUP myeD€c6yGQu[$X `;24hf70ޱiHt-ӁOf@x 1Cbǂ<) >_b#pJf' [%x,Y!B-!!0x9p=_hcn!~4?v B/<ʽ\i|6ä:a}( /\!hsѱ70V'`9bH g1Q=Aa_ D4*: `/ȴ|<{Yd1rq0ҧ;=Mn+:+϶>Q|2J?'RF]eg*Ik]HMz s t};ɜ˂N5md/+߱xFK/~m9P;o>$MS"zNbדW&:~G4Nz^烥MC"-ltyߪ.*D*&zooEJ;Sɛ-R#t$x\ znj?` 50uMc1QĠqr-wf~*nԴtôL %W&#=zﱫMKaxt9]%m4S!?퇆?>;MNFQ7>ZwQJ*,酿ע!׊ldX g $ P(/q͞;O@%)k!mǯg6h}EO6O_<*iw8mn4xyrG&ImAs$1I[nw)R8%_ `F[M;X}A_XH'ꭿyWpNJ|t(3O6/XW@Α,̲ϲQPKiFK V4cnfformula/utils/solver.py[o6u>ؾʣ}ޥ.6iCΈȔNE>DɲmwtYKp!V8|P572S6˘%LiU_^߿9e:Kע`RbQRؓ,B{7ҪЂɒ2J&Wy*VB+Ɠ)Ӽ"P,$.3Vi3/4̣K0MXlœT"fYAUTes< 1cl<+VU㪔͈ؓ܃@jM!˒ ߌk~ZU򪐜5,e(zluh) !J=Tgwkgg%G?b}sRO|-AIכ92Rџ*KVJ* cSc 队A܀3K1&XqoR3=eţfs0.*ɴe4b`86% Χ2Y5V`W\GfJ78YI΋EͲC?SX .Қ< j>D+Wj= z_{ܞ~1Bh6V8/`"*PfIeLX ҙ鈢85\"KƱ1q<3 6$r 5|eU:iXe\'sࢀr`)?ඨSC8r¸͓Ԑ48HVsʅ|$Lx9@ugV}M0~U+%)*s0d0в$5.cJVaR%GJCX+<%x nڏ &S9G3O<}M S≘;T*bBAYޗ,i% ͊xCnb,K5FiP A~^>JqɆ`#ה,XPl]B:otLIց,@~fHŐu5٭} 3RÍ/~4 ' /㙄⥇MBt =wFcv  S2+DchB1WYzL|bc߃FՐ }Y'9x8%U؈dM"O![l_ Fk9I$ܭ#}eg8rk4.~ID^w7EVrn]d@_+8tjus"1X! YA31}gcyBu!% E_I?X( 3UNbsX1<} `J= rMJc@tk^PД>) PitDݭ\@\tc쀾yU0w#seZF^ i+ABS,?Uj^ڰ;  ̝X}ǵw`zzgk^π`Ee|7 &@-;9ZvL.)5GFkUt64Dn6[A'j=!(>|ti*A t CM3M"%ZD*P?Tjɠ(eu jPG4ɦ~kځvZi0 S@ [H*)6y>%@V+^$Kã(KxdUՍSϝ.F1Hȍq:ӆ%ʋ@ K|[nu7Ly{`0ЃrNҍ# *BP,y& f7 !&T-+DTO5wo/HcZC `ke+5@x>s` &c&\Q^9s4]ي+ (,]UlAhͪ6èc} '=6A}z!n|Oѫue4*:&ډ͌Ƙt%@Al <<燣[ / MT!A04 kw>9m+ 4!TŐKX9;Vnl|"tmr-eh6 uԟxke)`bq>`\[AKT璚,BcRl٘JVAR*G?ZՂ{qp[;`v[J_Hݖ4IW%nZ4:a 2Lõ+ݜ["<A+i%C +:x/ېko]nV@и?=j/#9Yvzu |9`'rsnt&sX>h2PtzOo/>\@Yi`gtx#pqEL>Us,;5O^@{@>Ť]XϏ BBTAdoa/fXu9F(6ztNpFDvkObE:~  pL &`);JJ ᰾A4``N dt=vknydZI^u/j]-_RVz]2ItcZ wF7SiHMnpc:45 27[J&`6"眈j7,ϝ&ixgGXm(  Wư?$D M5_A*}3Ci10fxi>x 퀔܍CwaLO6#DѼ:nt.v ў%luG` ckvg7߰:1ʚ}*N K1(^U9 ϫ:VMJJ~g'ͲwO"y6̊)i$0 Kx/m&լqe@P>TK hNЎH~b^ V 'xvCΧmum=p![pc'b6 9/fyOubnc&4®fZ_BX+ %T:̊o%?u )2֜.pM19njvWxm"ǾbwB̖34eEWt?efymjsʤӄ[: Em%4v [WU6sٟN~ش}(kE .tfomtS iݵvvB4op; B: A ۺZ,&3|.6fKrF;i΂񾂢W1{ 2w=Du8M5]hWDu@Ef6A0Ь 'E^jX@ ůbRc~lbN6 ͻT:Œx֭/-N\jNf~c@LX۫z[z{l Ns?aD20 ,I!βD\hCw_;E ZBRap uh+ݓUȷY@zR ڪ:3N{ vl;{#p-ߦn¥L<[sb] J!?޿E !$UJ4ۦ`~C4W%5fk^ȳ$PKG^- (CNFgen-0.5.4.5.dist-info/DESCRIPTION.rst PKGmc)CNFgen-0.5.4.5.dist-info/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKGKq&CNFgen-0.5.4.5.dist-info/metadata.jsonR]o1+'?NTڗ{}vhMT3qX8Ѻ0@" zkOwچ$[`CmL0#WIo~|uӍs aBsDd*6wzҏ\\59ٮPeQ&1$OwN,):0/gUǵfC"OMߘcrv%@\LVmA|> ﲞ~PKGT l0/!CNFgen-0.5.4.5.dist-info/pbr.jsonV,/JIM,NURHK)NQPJ,/K-**%'%)PKG,ˏ &CNFgen-0.5.4.5.dist-info/top_level.txtKKK/-IPKG4\\CNFgen-0.5.4.5.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0323 /, (-JLR()*M ILR(4KM̫PKGW !CNFgen-0.5.4.5.dist-info/METADATA]N0D;ЋO T"58/aX^ $%p:ffgK(_Kɪ3v]Vfm.jcPM$1JfHzD?%"cMo&KJ٪Ț"żD]Y5]ІRv>݀2?eճwoBg}<8-M PKGH; CNFgen-0.5.4.5.dist-info/RECORD}ɎH}I&<,zh&c lf~-K\ B_iڍ\AS|# GK`]aa5NCYLB@(G.jh0 3JHn " Oup}T[gP@Dn<5#߽6}:4GwXSېanXz~\o+KuĎ0G#NdM5VTںHb0zӲ1s1kH Uʃ >xԞ$d|l }aNfSNc؂_TtS|*im.VXXN:gjzEiuOlk4u1"._j1{%3uu7mAaaŔ0emH劚 A"Q^K OBHuiەnm!¨^AW]ӍewUjܙ\{|`˾fՁ ?Cҟ8W$'/z+ҒFʎ/ iݨ0D:]Aoۭ~]s5p30Ő ɖ/IȒͻs@6k#Eb(&t4 Ȫbkϩv,6 ^6tv=1{sRo -.pRwlw^B%S( ߐ|%+%i ԊR!<(-+kncς@ëگEN3i\/aR@8~Sz`]}q-]?\gNMWQtZ={\$8,&q{ p65:3TI S; )@fyJd37َxBZahZL$x!{R[{$Tw%ӷzv{CR?4I .}h4[ /ە,ۄ7b ( ?_|Nӷ򠉳njLs,6GM:H qMt=_LۥAAvva5փ<-0e)jPg}"/x^3bh/Q: j9{̳Ius䘖18NW kiE2e;JJB-転״3ǕdTYal#|S(# ?^r8srtUfӬd=mփʽgOrLaNW 78{pU<M*-$Ƅc]Üe61tM0)A]'a&ƦihgrT'1%`'SurO5-Td\JZ,bCdG*EЯ$U]Sw49)涚V >"@)̏w+yPKiF1wcnfformula/__init__.pyPKjF ]EGcnfformula/cmdline.pyPKCFqr#cnfformula/cnf.pyPKwGn h -cnfformula/cnfgen.pyPK\jF2zS3{\8cnfformula/graphs.pyPKiFer! AQPcnfformula/transformation.pyPKF ]cnfformula/families/__init__.pyPKsFG 3 _cnfformula/families/coloring.pyPKGF9ST\gcnfformula/families/counting.pyPKrF6O 'lcnfformula/families/graphisomorphism.pyPKcRF?{qcnfformula/families/ordering.pyPKhBF` I}ycnfformula/families/pebbling.pyPKmFNg !cnfformula/families/pigeonhole.pyPK͘F~]y6cnfformula/families/ramsey.pyPK-F^ 4 %Ώcnfformula/families/randomformulas.pyPK'mF1 cnfformula/families/simple.pyPKxFcnfformula/families/subgraph.pyPKZFyT (scnfformula/families/subsetcardinality.pyPKYF$ Icnfformula/families/tseitin.pyPKOYFK :cnfformula/utils/__init__.pyPKiF9 $1cnfformula/utils/adjlist2pebbling.pyPKiF;`}cnfformula/utils/cnfshuffle.pyPKiF^#Ecnfformula/utils/dimacstransform.pyPKiFK V4icnfformula/utils/solver.pyPKG^- (CNFgen-0.5.4.5.dist-info/DESCRIPTION.rstPKGmc)CNFgen-0.5.4.5.dist-info/entry_points.txtPKGKq&}CNFgen-0.5.4.5.dist-info/metadata.jsonPKGT l0/![CNFgen-0.5.4.5.dist-info/pbr.jsonPKG,ˏ &CNFgen-0.5.4.5.dist-info/top_level.txtPKG4\\CNFgen-0.5.4.5.dist-info/WHEELPKGW !CNFgen-0.5.4.5.dist-info/METADATAPKGH; CNFgen-0.5.4.5.dist-info/RECORDPK