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<qde1-T t+#_h]\W\X`9fjeCHa$8 w&(< %!Q8t:-P &b7^bE'M,)hgKX)y*AWD܄L%?V;9lѽXYst`oYSa)%Zz98kܞxSǢP2{yIrиrȢ-S5⮞f 3x?Bl#AJ [S:G6@ 23 ▥]/-"z\|'̰V Y67q.-֨}.E$xM//_)<~F0VrA+HS,`%`+H2BiRIjl;1gw./%n*sIHx1-5 tcT'e@ `)WCU1Zb-x.Of F2|.F sJp]?.͗,Go~ԉ^o yz](^yi'ڦhCj~8aטs]yǓC]ÂybA0L kIS#fQ2`zX+ {{S]5\iR3-3أh-h*4ƫ.③S_hb)i;1\58ÀoA3Oag(+7A|9"4K׳[g5xc6{1/!f`Dû% ŚՌ-s%ɾsX \?o@CVhl(S0[)MC<=- 8aH>Nc,iqK%+ ǔ Џ={ƨrE_P՗6Q]sЇ$+J\I`%z̴kסN.gw& zL|["nҨX%:G_rMc d )k5þj k'@rڗ .yf F̹HڀPri,w} .!2c t0* %?;^ kYw@T DCSjXlrNcwX8}]~j9 ؛W#3#ITz вbMhp2ڶ1J 'AT0%ARC)cN?h>A.3)9lEL$yaOOl[ଶ@ <:YADJ^5&e|/k3\,TuNb-oV`]PJ!B n8H[$[ 2tN1&JK@UIM: .C%|"zYVA"AxDQ%KB2Kw+][DW\Dd9O4e ѢdBy-x%;A-%ao[șݓȼo%5;5;`gMC}:ȦSZl>Ttr0ify1lZg*6Qw&2!`Ni*U̷l˪U3  hAx U"KSRj[=XsFL-ӌT8nJDp %b/̴-}3h -ޘ# a8vi;!*`Ms#8C$j%.t%eikDWkW^hŴԅ_&a|` B{-;<'m7 `.8w`D왈b *Ob$Hyd{{VfՑm93TgpT&e x\Cbumz+jd*nldqimlu~x-!bIXgJmJI`' m2=B!fjں2JH{lk?wȩ&"x+~xA󁕆]$<]/m;G%/ʑLY?<ڨ)P\ )` %GV2:j75ۡmE7uN!RatTycZCEJߟїZHT^Z\K<~]g佒K>)‖FWjh,fu:K-YFZ*gRzihZ>`j6RH6CՀmX(wP`YXMi#aX]-"uNΰ68BܽW]]߮B/k<~OvAǭ` 5Q HsEVwZQgIcǰZu!걚S˅%dGCwV {Bk0ϧIC롗TϋmfB-`LiO{ ChӀfB*B֣E`{RQ3e 9B 9j¦R07p}Ӹxw:f.?$I/54<}'67v""?^Mӫ^Κ~}p%!!M;d!(kʛaoD>I/PK~e0iE-ԖC( bp1#\)a k ViBf!o1{By|ܠ`XYjBL-Y7JM p=$mbtOWɜoc7iQOZxؗI3W-}5޼>x[`4ϒ)3}Ɠ-)pPDYu!nj/W8>a > "!dzCZ(]!??6|ۗ": oDz"HBkKkcO!Ck'rli̿%hbV1HyQO*dGҽߢ3uzE:_([(o؝uX[ HzZF0 VoZA[J:Fn($=bfCylg+!{+W׆̫} Z ㉇nI:+!kRžΖykAt4>ɰjr3a=wu#6 <ᆖAroGx!!}QFe)E⌝~Gr|Fm -_{&V}^c7}킽}rz |[+ ]i [xفtZ6z{_p=H10=(x|ߦWwiӉVޡ5].{_މ_HVzhտdJ'd6sS+Rg.v%޷#݈:v!vwb`֔iG 4qV߰Izx=oZRi+㔮|SӃP{Ξ܊PTp(j͔>.ٿ]n,k ǻGYի:e(ѰR4QӵGo X*P4k]$ "9}KP#KPߩl~džZLzqk 9Qk9C T/fjԺ+t/jG& 2.Kc5.vߎq)`N34,vȟ,V~9u쌎pL  IՆ)+7C,. ){%97Qr!v3Y]Cduk҆SM7@NDofPK`ME)<cnfformula/cnf.py}iFe*)}N?M-Kܪb]Nz>H勃˶gY{g2  2%vU1v[N]xZ$mCN6۲]ȚͪnqMT0*ӲVy%0MZ;.su]1(3 حf8#=Gs?rUq nP+{g _* ZKA>Ѩ^@4k|UV@kҟWi3m2 4PqC O@cv?NA@j3"][D~j@z&l6'LA 7}) *@Ex ?9`hQȗNf@<8kJ _.c|Zܱt>Ez#IJKyЛ6274 O8@ N&:oƳ2YY?v_ udTW`bueڲ Kߔ}[;zFeHtJK;"}$.$#5I\-#*5K7qYȁ#XR$2.nF""6F QycJq' 8FpT¹zbT|e٨Z!eɀӭi*A1^"+Яcv#Ϗ4Ͱ]S݃o2qn =go/V2ث@v4GV4?BL52z[OB"X0y5-Jxcv,rt&$#Ug5Bq(2O8 ,eNLU E ipZ/r_̔e\rN& ! `1`] s˟BY`d!$#3ִIPH/*PGflL5fnm 8 .Wt@cSy0Rn I3d#ߤˊYz _h`ADlԞ/(5pl6̦{:ra*+ͲBfiN1F(I jPcWw `/ր!j2v2MT獵s&^?1L "y_Fvc Gg3RM7S$.pwW`>U0PqrPHlk6 ЅNaBQX9LՎEh!2" RoZWq=-꘶PFmK<54న{iv6'a=CֲJe)̗y?y!ozf?@ԝ8nY\;<-ؼ[-@MmJ0m̮EP%Zlfc ]n VgWK6 ?ݷ>O~豟TUmiZ],Yv^p[<3 k)$TqdgQާ݁p- y8Ꟍz174笛8 Ny!@+ jc`=\ n.S /]4Bk/ExP1.JNyHi&fطr- nx'| D^$2<:]nv'UU>-,;N%N0ȲNɞvIt v:dq0S45KK5;+av22V]{ $N(m('O*stv0O8o'1zB25hZ=9vXX/W&(ME.|Xe †fl\FʏwA2N4mV-xWq&99Dv&{Rn<9߭ ujiA G` =EC>[:O?O \yޜ@{_o0ɚ2O󦬧3|2xԸ;mZKN_Vu@VɌx~NxU``Ԝo"+bƽje y ږ;ni \Qgoq 2V~:< 0uŬrM$';)|jCSWUalR":cXLSLAso n R#$+t܌@MmXW*לaϞa{8(݊gR#,\:\s1HelE99Ob T~)SڐgjBVOΆdY(f=ƘQm|33'C 7gzf]0pop[Ո$ BfzS҆ qR#64RP5^_}<%,f)=qV1h0kțio&Lxm!zuzeH"u1mS1d3v,,J?^"5w# T}5B=:箎=2ZHv1)-4[q( qS%nilc!v\sYsw]ұe.[e܌ΏGUECFp2+påȯ5؀Cx -6M@NIMT-6oS@wѶ z8F}6IQjE8I#湛e<7~cV=PQ92_ӏod9O}('Ξ=4qgAY/}/q}<|o&Qw(o":Fj[qBge>x-G:SBiK6P \ZbZ5A*9~]YlePȃ.lgќ(mNGD.Mbv$b<)*vJLc5dXm3ZGzbolicPP98Pָ2. E靟G*vyzm=䗐Qa3b똈F;ePN;l40 jAptu fK3"(B.62'iF!Z)"2|_g"=U՝p;gÁ"zT֎w"|t {s*rr(/\PcqbG?=8mc~jC UUS[tpS_Kg~-"M Q?N&q-uVv\,F ٭˛{ms#G S&EvY-%N!ʊ$_[S Ӽ@]\p#t@x@_!^~9טs b14A0EOnl@`IfJ\>.'I F:)P*Π$ؘ.#Ǯ=yIYȗ*w,Tσz:Om_\~p47|S&|?tS\\@ysִA~|`|rm|HЛ|0L[upWV cM l%xύ52g"|}p!5u~|TQ"yppp8`@/|}g f?X<=4rg+=3n| m㸶̚(=]ViaS2|B{|{ vQB׌66`s-'k'~4 ޕCQp6+2$?Ǖաlܳ0~n̿Yq∭>s(9my>uU™J4ϔ#,ԘҪ*dvLyJ 0#Ē?64Rq.?y)cw2Z;;4M*4!an0㉱Tdp~.Ă@.W04u{xG N;.PAз՟} :15鼈0t,Q o|BDx(0,m謰XWlۋ.qd'ds>FZS:&fG>+:p)_/[d!Y_\ X2Q~Pϫ 3 rX$/G:mt kf͸۬ :,YDSby%بi٤#g% WÀM3…b# \e#'IY҆@6LɄkXkf<5ϰKVg<'-qA14reڇtJXqfuYn(y5+ `nwHT)K dJFb~\7.y18ǐL&0|d‹!Z_18no[%@qs̡)EJJ:X89IZU_Z,sZۚxfQEJbZ9<;u\0'\&T.ʖ/D( 8.3/^dH2[fdCA~i:L˷=p{OolZ/=SgMڕ VBduy\W>4rܴځp!p IfAL r&*[S"$Tc>LGWĚС1oN Wŀʍ<[~Q:=\# ƶ@~p%J@KPYG?mF3h~׿۾>(34An^DyXr~Jw-8C0S6ڨmlt%| M֤Ը=](~d<鿑nWDiYZ^:2Tʴ Sa ýmgƁ=l@*3}rxGWaLu`ɵxއ4e/Y-@m8"Y|br1wַVsXCfQ´`7vN+-'Fm23@ 5Q0е(զ-U ei36'Cva=gW{ 1fwwѦG: @ݕ\Roe#7WpLоs ?eZcvGPAqYϚ?ρNAl֠77'7aUݭLVu" w*{AS6 k9'kmVC'%۩v\gæp߾m2Sl11Av FRB) Dd0GQCi1qڣ\J+\}WڄFGiэv꯯՞{zMkPAO<,/o # _"d)6s{g>W_}{6:AzO bS" N|uJf$Ɂz7ju^Σ5>y ~ʀvgcվ;_G1kQN(gǮ2YG8mIn PͪjVgGgvF.-^& m7v%ag?z1XA7'>kE{7\݀Pܚ*Fb>X~CpԳo醢@.%^)ijO(e'֥NEn:h׳nu|i_9ʃ8]F^SG,(#ٗPҳO~~ ?1y2}G أ~ 'l#]JHf[MNj:.ם\n0L nlC1O(;y4/Γ"xso7cq3].ft|O#۹B~| <2xI.&0'|n"5Qd=y{ PK`Mų $cnfformula/cnfgen.pyioF;+s p q.dC1E3CB /ɒb &9o}FE^ZUTi^.gʦ?U% M^*n &!/\*H/U!u]\mBǹXqXWiSpْ!JRBƒ\)eQ S G2D8\4_D sv)‡&YA,- J@V JPy{I5/tZ"_&62Z,@Ze먈5yɡѺ$D.PHBq?J(Zo9 }N)ݿag*Kkޭ=ljkEF>% EwO`S <3xLcg@J`i I,P:A! %.[!c|6f;xf[^g;0Fv8ǭ5|[&*pJwr nv0P_!Pe`n8zIY%63m$pmkgk!*aJNx(Aߚ>{?s \Jt"!_Y^^Hz!9LoZi^OΪ>S #X)UNOM&XVc`Ც1N#1YOLzOtaPUUX?f~TV1Ŕg j&@bTx'}!΅f>Lg`n( >T_H6A2ڸcȸ+4Z?%{_Ԃay{}LFˉ=`?q'iըQ^M+/65Z ߠ]Ǔ\&"{C繻-ɚBE#dLIDV0Yő+]G]L%mKaB2oytrwƧkgNVU5&{TynTMZչ'ͬm;h,S P7QxR)Z.ԨɪPQ5{ѴPoy@0،8zd%)OǸ[,=Tb?D$i(BtoʍmOc[((D͜᱌]c5xcP42RTM[:CxHXaVuu?NNo.RB\p W߶Ȩo#FIp|+FMvA}|ϗTꅶӯLԷ e+1C {2DS+;[ z 24|쇳>`7*N֩y*_PEj0*ú5ṁ;F*jq]3}ON{g:BU㑉(vgiu_$̑0?ÍtOw Q8I28-n֣$lͥh˄6ؑ 7/':'DE M0z6%tm٨!OzԶUqľ քgԘiIښb_MF@o!)%`f!XZ8NV9V#ium*djcp;#^MUҿGhG08 Ir_rHɖ&h݆1N6~3Btz~}ږ7Xe lX.a6;eH5cs#X6 }Q;]R)Yrvpz{tb@GVF!-` a;s+~C*LC?BvΝ m:qa>d܍`V4!} GQʞ{U/?PoZУۘu菇E`p!FqABJʜ"&JvP8 bi.68; -[ñ um>'=Ԭă?6᳥+sԇt6c,όav[g@Cn#qCKcxdP4Cȩ@ 8&0ELI|6R76liog[^jq$EmQ&^`&f:u'b妔 FRgߋodf*"$ǰ-UΪڈ'yHm*T@+f [5Uxr^fW. HI-)yiҞt\90 cF_x i(=-wh?F5cSdwz\Ѷם_Xpq^ ̜(u]׿Ư^\x+^PVHꝩ4O6`DAßZ~9Mk"3`#h墹{yYVa//R-߇9f_wwy{!ua:_ή9Łn ) ?! ߇ It!A,[KU":ҝHp.jRqZ RYQ?l'쪫-ӗ_s"}u2:S<_ǓCgW/afApvy,aHu.RfŭڴXШ5bR^^6bF>=]|E;f},Wx?Żo$˟~Wp~p(-+=S [{i 3V7mQI:LphqMS(ű]d[y0ڝ:PKL;_ cnfformula/graphs.py]{s8ߟԕ$Vlmծ+dǗI2<Dń"$ǥݯxNfv4ID6u=_dcY\](GX4+N_Ad-R,"JV qYVˤERI]VJe.Y :OE҈5\$LGeU.tzn֕NE\U#VUV47yp0&yc1txE~zL3lnG4ERO/UR5O79erYJLI!EYۺ+r9e3 TՋW>U.f5M%%VVwU x.AfdUeVՍjd7/6 X|cSǤYY2?ӲG*@?e2M:qܟLQ0[e>OT `xJa%]Hg5Ef;XFREs=ŃE+ ހ~IYdU*w3䗘jZGk=+JYSglnm(ɯJXe} orըʊ!E3͛oNˬqU)IQXמ&Zύ5CFuK+y5%uT5ʃU%kY̥(/Ea0s@_T:+ͯ02luGb-n(jH@U0*_׳6GXT*myB^?5St; U"yZq O/MqR!< ?/B|-''=@8馎Eb=,9+bm|]UL./1 TLV%WeNeQv%מ-]njOdIgθ*]v!x<VXc7,N x:wtki4zGaTey-d@5zb{C2+ҩ.G[|_1d͖0!I亯o xS3M5#l73;/oW%;Y& *x8hm2.kS0+YLV 8:p5ip^Lz?r5>/CԫZmJ0@oc!JγlN".m?;fvZYa/{G29?8|'4:"C +z3Z[F^-d=^丸}ssiC:bR Swv:?VZXarV}uo#M ԃkqtYVIիVHr89OƧm05nHv[vLj.` xİ??9TeRލzjxؾ :'ۚ;Rmc_F+l#+4"Įx༿ǀu;oDnPwyN<*ו7FRtLtdjLB8"GYk`A2@^[ePbMP[DmY.F^Mn& b5[QA[PI =(uJp07^ _r+&Dj?9Ji:r z9RC= d {DeIAl2W81KqUt4>CWJN/*z~72lRٌh(:z lK{䚧dȓ Ӷe6kmhF?@Kۊۏ&SԵXIqqi<=R(0C/\^0fj\n5E\5}RYx=x T7|L_ 1pB6@㦌0 V/Ypy`H&;LRN8ťɎy5f  >M oVƐbIU:O1\frdjA<7wz_`hRrVcc$WM\nP@0t,}үHs"7֩'aw jvwX,~riav,A0 6A4l2U]YCrF&طͩ 4j.L@i`oXʬU61S#V$R1_5k[Vz fҸ\ 3VO ԑhi?Ft3$j\QFF\%W}[k^ ՜CrVq@-6t.#,;}Ͻ?a@Ժ g1֠vFpթeڦ_WL$jY_Y&?<{=sDwse[VSqQ5˟@/ݥ…^Ɗ}bS.P^v\| &,񔩙mk-ƢM1fEmhAɖ6}@:+E,3I'јqNjg}pqha]ɞ`}//L&k(u$M$ƺة4ƹ8&Z4_EWz Gj1`4"||d iwM z.Y;ÿVF^a$E+ύ󴭺z35wWS& ?sk"%>/ךMXc*wG>2ԝD;x*T4v0y3Yث%sJ؛R'öNU DGah(Zx,F\(JEz MzI@CJ\.QmW}j3>S7XI+T_`.O V;l10uAge/;ˑeb,`Y%>MM` *%nk\jYoO A!Q/;vƷoD5ox4*"դfXq - x([/շ6.':tՎWI׿R:v4?=+Q|<6΋#b8X@;yVuGo|%e+`@y֦) QO8id3ƣ^(;+%';*2ӾN7~vSd;[-qGR!IVVcB:I`҇~N 6)㳡/O늷ǷWO^ajJ[=)hYN@ UR\8R8wJt]NH\m`D6(qa& vgV+`z9(jgItsgfW|^ӧzt,(9aW|5DPq=? M}Z/f`Š `OT|DZ Vj-˭#.Vw|# 'lZɤb2DI|ه' dJhNۚOc%]ݸk=#tϡ `q;uk}XLtnڝ"[,MX Jvä<Y1Rp-URw0fAr l҅N`ݎp ļFRm0'3#@(!<5@68L_Wn:5"Vj= w(M,2jv7ΆK ;f8QؽoG(k^hn,Keۤw+ 橡yZ<>=> :K|ةoFS5lB3U?/kۂ遱಑8+iTe5tb:@Y;Bę8u(nzod /ߍ˟ýC?lw٥EOt$ӳp)hW*.y^22ٗF&*0j i#WqJ7(I3wȻ%k9ʭG7Kfywxj8ǭqnX;0;q='AzULnU <~5ZjNjr۪)Im1J!J}Vd&ow6VlnTݿz1vA&?'`)0 FPtg=cD',2h#OM$BD2;N[O6sckЦtnpBgaH ΓbDޒxf^//%jމ5>[|+JbKDŽw z^2vnjV4zt޳\#sЙE;ZJq:ٮ07ԃ9iס?A.= 0tu PIP ~*ƌi|c‹ ̽NdԹ{[(5A]AgDEkdmf6]~f[]\V|ߚlKwv?fGR*nB! z갹 퓸@7ќVߑ`]Qr[!pnH$W?ޝw51Y;~u ,PD*ϟWx ]F't,>ӌjn,!Lz6F 3.V0s$NvAWġ39\_0Kw.[SSL8ggnz;CP'j&7erU%S8R(5M lb# ؎;=е^zX'} ZSJM7l.rr6g̹OsC׍ZɻVpbW;>6Ξ?%R7=چ{kA_ٶ% tG?Ea{J.8^=ȣHm-c51ok?B7"ׁXHS:b7a0bwh±?^F+P*DT_GՇGA.yNaFWpF:AU M)>#nu`}/ˮR2yCScX˟fh4U:|mgG^Uq@\ G+x4zy>Kq~y?ŭ$ !fgB;|_~мJ)+΀vq)qQԗþ|:Ovֲ֯5»|iCU[hy$;o/{kyja~w8z6啻bO;}.#H 7Y~틁^LjQlǪ0lO!E`b }wE\<;:.|/ |?g9Faz9ݿ=f_)Li~!ͮQl,?LgK \'h2>Y>~ Ԫ6cC;*J|֤qPg/G,7CWTK̕27xf N ##g$u@P4y>@yKRH6ZU= 챂[ #:L=V#X+Q,[Ǥ^drbz6yD^vƈ)Q: ]T2`vZj(&@@)/[&wai $ו͏ƹ#;'4!t6.Vpݒ^6;R9?;;XHsJrn›1\Y˛[z{ZDk"}r~P\CsᏟZq[{DLǏ?9F0?ڊ[:^>DT6S@I:yτ8HKs]:M9z lq=(n̥dq<: ^d%Dkɼ?rB.B/ u!K<_O?&ԖJh8{3tnSEXo ՑHǏ M|ɫ'YeO<ڀ$2}uYDTg oVFz?;3L^!J(̯/r^x.)<{o~ ?(J-Ş`/n[f+Go[[:MU_)<`2^¿YSgxYr?o~Jap?6h'1l|ʯ){'sTpcYz!Vf$@yWj}X NogXFF;yڔ/p{?xbS><*72 "Muk@Gs#z*V  !'p(QØ8Eui'=M!-ꬹ#rjsnZqQFڟD BZUvjCy&nsyo.IꐀWGiu%v֗vj!ZgpCX]޽z _{ZnK< t*/.k?àZ$ڶ5r`PKqMÝcnfformula/prjdata.pyN!} L,.46&&7  \I^!Sq# Xs岼!9JC9#w 5/0B ]$r@ɂ `ή,&{-:+*4jRF6 zAҴj cn}g>7m\opE([IL[͕L9[wvaB'vN«@\/f ~a $+GnGK$"C~rԞ>6;3=s u|Ⳛu!g8K9Tpu)`unZG\\Q}Z&u\⇐[:9pv?`W/PK`Miǔ%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/?PK`MҼܛ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?PK`M߃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?PK`Mb&$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`M'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:s4f708 /WY"V"-x!UԜK2*]2$lbsʄk;8jp^e.U4߁s Wo[ˋgKvH|ዴ\"\w-g2wjQhK ]Ӯ2*,n$"DžmVq"SNd">6Q"HO"D~䙣 s``sQl/YŜe*?&L.<-> G > Rk2Aښ]/%(~ACRB _d> Yy-SʖEu LZdZbLr[#1UxCz 0]ޠ=&SX01cfx2GA. .DƦr+10Ƌ%Z-5I8:R00)*cvO/\B%R2PE-HX$P*xJ\LؚVĠ ljٞj1mKKk oGdD.`?ʽ-)"C ~(ِփd=ٟ@e(S B$X o#68 ަoQ FD'' 0*g *ZoGJFJSޥwH;Cѥ&/jXV(Peb p<~:bO-ϭP ۫ cvZ׸SWI-m"n nWka "gjPDqaZc0.UQ!{G@&Ldx*m0X@LDd2jq s\G6d%Oe!fCo8Αf!^@J1|\}9Q4o̷ђ]$V(vL9nXpJKv[A8X|G&UZUDL B Zf耴ZKiPs'U3.sΐ+lZ]+UPhs.OXL8~+4>O\R(Gb%G-]0d̴ZYݤ6hPu ukRx`g.@˼pWåwMR/QKp2ٟV Pdi%uX؆Q:FxRma_1vUsT ;twE]eXy)&+b(3MbWhQS0Yd}M(ow }GCcұ]&]|-⧭S_w2a5@GgЬSН5s7SNSO.n b :]r.%*4ٌNMGzNh.]"Pl~vKp`li؁Cs˺VIi ڃ ۗJubꥄ˕%H4bj6X@0 &woP=RqbU}R]/!p#B7S`uJ*f$@ZPR[|ނQ~ (6}](ZJL,͒(*lsvŅm%@]z/B$TԢOCL!UwFWN &&zUU]aX{WA? ?B&xi!AMV<ᚰ _ N.t4QdZe6}_\ د/"([FՠJ7{Ζhȣu68)fr0b=om=?E=yAe3{<3r1F"8|G"`F5-{֘)q}eZfmFZa4m46bn+H >V,08UrJ6Q%=Ê&a' RSMBa8N2n*V_.Mי]=uUw*ڃ)j"5 snQ5mEfwsXvP uԲSHPߛ,9W,_Ι)*ʢxVebfzb&1_X4={Yn0tM[kڭHsvkC71 ;1:% $:%R{ՆRӪ; {}Lhas#8IS @B.B٘W~ ʈy Qk؁N 9ľ^ت0R8}tEz3׉_o%m&qZ~;;sujo_8bp=:lUbâ{A:Pcf+mj D[sɐ}5㋷69GMZ!([ 5oSf}'?t$x)Cl+!;1{ ՘>VYl "t|f kܙ٪P[%٪P@ u9q@/WYU>FD nQvn !9 yhA=Rj/,ĆHGv7,h2OM^++Ԝ31.Qܽ2&p /=5W6+u##d(EKq i-\vbJTY܅WDK NE- Q~\>ܷs#3FLO0CػU,PC6A+;?;=_po idlds/fB &0ܞ$ykS.nNɜ}U7ӆL/-U=: \#cTcC(5 i&_nWb35sb[6W@WW#40A<1=69`;6o11,N24 B_Bg@DHdW7b^A`g+4TpۄP1C߁X^ $2Kt̚kl{r lXA2$=ၶ-& C}Ȕֺh"oP\c|C1c#Uie@Uk-hzydvqE&4"k-FPZ/8uF6܅ȃW mԧ"#2"#NGY[[\{nKBW8o6RUJFMa1;sn,ċy :,Pwt,Rc* 6(E㙀ÔѰì[]<=6u؇?LX v "к)d&ӍK,;^N胸pmp<[Jni/Qv>^P{gh??,y<'=~Kp̂G@Npcdټc8{vŲ}.Xzjy\$Xmn֚ق/SQW$қǻe}7E^49Z_+yey^2ۀǏBS4lE!p+;\r9tTrަ,kQk}7&GCwI45_3 #">h׷\JR߇ f[kю!E@h u9Pr<{T} Kٷ*.<;v?NPK`Mj.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`M%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>PKLJ  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`M. )cnfformula/families/subgraph.py]s6]Lirfz$ 4O\(R`xbN q:^*2XU皉b;Lwe>Cǝ +x:d$)/,ٞo*WeQjSXny[,>Nū5#YOco'>s@K:nJd}v$2$ZCӜygyt5[CL0](@sW "رrOwN[i>Qi [hhҵb!)\'fY^&iZJLkF3&[:pz:'2 ORIQb Iw>xݶE\5VݱaH2 8ȧ˃}ZXx(OW go<lM `o&뜛7j[̜_d~]J>Fw')9< ]ЪB&-F&쏷aԜ4?}%}Hm4Qq K%q``Ndm6ۢqTkAwI!`z'?9𹩩.CzC7/jhѰʔ+r2JmtЛQ7)@T+ɖ&bjơ X,Eβ?݆<٨I$Me ȊɭZ(T˽?QEu2 {h+f_}xڅG$=u.j+K:Vݍn\w^VT@|<$װ{('h̢NFvӯޘ F6{4!Da\QЛPIi{?zť @=[~89Pa:۽F#`y[dk˱90sC #o@(fhxpFdN0+tjhՁMhnz:Sjʟ6{ӛi*77MW0"X} mskvhmsG۝f4лjӁd+Ix 1iGZ͟nse;Vzd9/ʔ=0 |=5b?r-RO~T` WJx. Hwc*4d74;Y=#gQ L,%U/-0hl-o̾ ,kļB[6;ٸ'o,,AWCc)ȵ.3D-ܱ=G>J!;Y~`岲7<{o6%yL.1-/iFq"D`G y=m𯈦V/ G=4|ۛeYM{o4*ݧE ]%U_^ڿEGˇԋr5)}Y&#okDx쐱 g(B|!4<@zV#M3ڝ`b vjr sݍ !{`^NTШc}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{kEJ):d+rͻ66(jU׌P!H-ho1dC 1br>펣`2$f`r} P#x &/׶{ꢙDdaA&),MUB ZUnęZjkoN~oK,d:fVۤnaּÃeΩOnSMpZIv@{<2(azT7͜BcE4αG(BN *ߟi RUzG~IU4+-&; ų֩?%%]<ZA{:F.ϽB2ϯC y4Nd$.1! -J|_sX 7lc1㏌m/{(9G[lˉ%s%롗0O#ot0rKEkt~m]u?GN6k:ZpoU#OPKL 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{=?PK`MA K6U+cnfformula/transformations/substitutions.py\ms6_DƔR_n<^L|SGR"d1@ WnҔX ,`/:iӧ=$l>I8ϦݿVks2M,OhDyIҐeMjbބMUgy.!h:,GR#'|; ?Œ#?iT4k (4㨬,$/I d43PH*5S+.Gfc4㔷|[O~ 5|ɉi*ǗH=n$'\+A-q)h,da69FSG7~YhDQ$B9Ԟ&eVYYz)xEK~~=&ٌ8 ASC)*M{I<)+_"@]A ǖu^7~@ӁhB޻Uȫ*>U ѲV4N A>RrMƢPk= W(q zUHWqXzD<{60x}RTcʸWvq]MWU']Ho}WehYGIbCHnGR INk[epH%H1JRƤU\!&`ymurr |Gd›M&C5= F9 yQ1 $1e/gbj@iPZt Oŝ^x\YC [%Y\qO> Y i[)F:pƪf$qShWj=J ÿ(=^EeALeTUAUHP4l[T)!@H~Xlɼ͌؁{8`kUG}MJ c][z3YP<d̈|f4/+iȌWILm'D٪iE~9".0B ;&F|HL˽}j3ʂ pH)ۯ7ApK?www>}zV+_^QX ˜%oї=|-3/[k} în] %g(2?B ZsV1ƽF,eCjR w"2Š3GGWq xa(5S4ӫD#vs e+Węc2: R )3}REct )^yg-bpwӧHe3^JBft\X]C X#[G2sV)pd]׈GKf3mN(ӇGHM,h*b@! M;R{ذb#L 3^Ybcr>ȦC+C iEp P+4AeDfhY@h|ܼ^yh@Ozb1JGH>w@I0EbJ#ZaJ| cކ\X̘b9;$ S A9 c΀hS+-lz+8HD}~kamygq{Mw>g1j@sKTu2;k1e EOи,ćIp#/,|3pnw3,elb\>@758"=+LqͽDMƐ굻CJ !+(mnF'Q^Hcn\w=gR1^/R1o M{wsR0 :\PL-K$,p vTmWaKǏmWsU@*ѸӠ[EnSblۭ5`QUenpR,+\oڗ r W`xqOhqO%3=k"W(bFQ=bI1)vxomiV.P wmM,Ckx)q/dBx{eCQ<[Ɨ tJYx[ZW7)X ?;rk8.h{>'PX&̌s)dv*#d7.^Ժad=Ra+TJGLvzZ,J?ƜՕ86n ?=k~ڧ*UFSJF\g8[&~/:/HTCS2A'9 9|J7#ގp >l9)@?TPA:* 9Te6?YAԗZ=HDTgdMJX^wq-o=X}e&T(Z<_-E5524?Ƣ"A֌}*ҽecwVm;fgl 5nݬɡDߋe\8n8d8n( Jl[qRq"~a&~ST?!`eVCC=)àp@>ID]d;R?j{8h%0'v:VKU4*p>9^sz1x~RWT)V¹{홻q/ulP ;(y~,NiCs%;EcrQ>Er5u5XkޖnUק { ΪP{N ߶ ^a4<GnΈhO+h4~4ոmguVNO/enn l:{ 0lG3S<=z1C[A2_ʓo_ \rtkA6YVctHrx{tV~Ȁ?wCߏz,kނ|  ginK6TRh0#qQ L.Mp? e9YQB>tX!\&'N4q!hА[NM?[^ݝrSrf$&QI;6i\\;N<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`M%-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ľ>_PKL __ $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$D*`N?UwcGe  {D.ELrpGoB({̊ onvT14#hBiZNtCT2PNaq)%*Vd J1%ۨ%퇾^06!fi|Ji?uVQ:Caʼnt=pz^۸Av&o(A.%[(Eg*Cv2{{)O6FQ!;X AT%#t$9jX0͆yVi}3Dx(b8+$(C[Q! Pɋ,ܐ(IF0WBFΐJR;A_X @;`J +}0D^.hsAfzSTpQ QH@ N$-꽈:RcBߧ EJA\P0MP0T2y=uꫬl#B$LM cgP5EMs*mB[Wx={_) bjlFz).d _=ISHH଑ yxB7}Ά g"՝"w4k|+*#sl6rٖ%#90p4Gxn~cf_}1oL[|'$K\siSIw ,u]n1Y»*u$2+keɂR:|Htb3ـ %J&L)j2;$.Szj4ȎhzyMe :kr90PG^P`w0$hl}]oiv@:m⩪T`z ~ƌ`')zª'9Ka+%{s}^YQ Ᏽ:j 6efqh+sc58})V=6T9@`!w(\y{'p׺ ٸ= #} w12<]ׂc}T5[̪蝌&$+P=OrNASd6@j2EYz\vMq,0sA` Sa-vE  cSl{ϯ*@TNU*IwV FWqI E\e;@]4vd0e (E `@ Ûg3+HbVjh;i^(O:n,]bUjeRѨm%<*]ۉxDj4Bj9(T ul5*"`(x̱TqKp̸N0 =RD}z З"dY-X 7!1'hq\!OgTq5u͠}YžfcvpI>K'|tҐI)Y7x^ M0{)lt`}V2l< 3dw +hZ ғۡ6 KǃK96.0TГpg*mI0< //W7h8lfUi.?Q߱.K!ݏs5%ĺ8]&DZ5KKl7nO,j5ro-hȂ@dA!e{NFg$d =1V؛zFSG"d-+G{Ju\S* ש)ICU8T",w3_dDR[Vs.EM [i}Gq1P_[Xz@߼ȡZ?US=pՑ| @&@U"@H>'u";*jrb-ޞz`w-@x2m{x]ќJ܀?$~^t=G8[y(h[?kh=9O6+^90~1A/}nmn+bihռhџ k%R"2 E7_w˫wgߞ#Ӌhϟ?qMħgMSd YS$;5q6S]-t]mBQ߾CcIYz4}"|90Mv@o0&k1tiQnLMFY ώ j4 etμwz|yt93WLS6HVtDTGmi)#7YlTg AauxUanl@/ qkX){v7;l[!'̜1"Jp.:'R(gj VR$~;Ya '.,P U|m6 Z:L'ؽ?.yv;ӋF,~%6<Â#]ՑySBpI+bCVT* A-`Ҷ ]>7-G/Q-@I(q˜b!< yHǴ xf*]P"J蕆IΟhu8XvǶ /yYoV3b"&IG(~~xԡ+]Yܡ(Ln B*Q譭1 tv]ׯ\Ybqv'[?OqOCX 2 QC+mJ#EK Q `>tɱs MnjD㬀DHx 񚭪3!dޏ]B-UkJEbV%8u;n7wo?hwE-JJ;@w쬰ȼ6m߹RG.T0CH_ذxk~_: n{['3ɝ/i{Y2׿ Yh:+S 1iӠp ϊ 1} Z;BLl B2{A5CQWt|ixTA VEm(+fgo/CE`j1KXګQ-S7Q-R`:NU:Yy@|;ʴ-&\añB6wW: ruVQ”U%P.6U{MIܽDѺDzona{%ؐ9ovnnq2U}I_nB5Xo7܏^u4W˰c(aK@uSW6U%OIߩK]ZSzHu5n펓 ؎Ε.' f`gիBWx&u$Nq GH'Γ0YV6poHS],]aȺԅPKEMmc'CNFgen-0.7.3.dist-info/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKEM,ˏ $CNFgen-0.7.3.dist-info/top_level.txtKKK/-IPKEM{{\\CNFgen-0.7.3.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0363 /, (-JLR()*M ILR(4KM̫PKEMؓGCNFgen-0.7.3.dist-info/METADATA]AO@+IY(7mѨF=t Ywg{&^{3;b#cLk)%hH⺦~DdtLhQ9dz|{ƶFYkn«6N7ԭsx:'UV@+vSQe<SqWܿ@A;Q9M*Wu&?J{V#SS,<;r3PKEM6&TV CNFgen-0.7.3.dist-info/RECORD}ɲZoyi6ݠ"H#H3!8YLa|bc;føGt 4d8rOi#3}ܳm@J8V_wj2'覻rfwq;SRqv5)S! {|d8hX]-)bTYc;!3LxU!?͒Ӧ|7/ qݢ*ºjN,ou{&u 3DCW 26P 01L"WfZWu J`*06!F Fg"ΏY^9p;i5;*LjܚA>CVH;;龴s$0Y e/hlRNTwC/7^8܏2 /n^pW)vBzff >Ząe]I(=J}GAV0`Hm flW̔RWV{a&G՘ge!lc>ǭMv*閂#[mL#qWC*oZ> ![E*jݚcm[<̜4ޞl~^,4cוætK:DB-D @vZWMҧɳ2Yt=GPQ{; Pug&ǓJm4[%/a"ps f uHbp-T=Bv(mzyʩUf.Yw.ogŘ}3 QzYWɸiimQ6#FrZ% _K`vBYyjI7hrR##`PKLPMcnfformula/__init__.pyPKLH@qKcnfformula/cmdline.pyPK`ME)<Ycnfformula/cnf.pyPK`Mų $9Acnfformula/cnfgen.pyPKL;_ Mcnfformula/graphs.pyPKqMÝmcnfformula/prjdata.pyPKLG}ncnfformula/families/__init__.pyPK`Miǔ%pcnfformula/families/cliquecoloring.pyPK`MҼܛmvcnfformula/families/coloring.pyPK`M߃~cnfformula/families/counting.pyPK`Mb&$ cnfformula/families/dominatingset.pyPK`M'tcnfformula/families/graphisomorphism.pyPK`M7 vcnfformula/families/ordering.pyPK`MDi6bcnfformula/families/pebbling.pyPK`MR"!;cnfformula/families/pigeonhole.pyPK`Mj. cnfformula/families/ramsey.pyPK`M%cnfformula/families/randomformulas.pyPKLJ  Vcnfformula/families/simple.pyPK`M. )cnfformula/families/subgraph.pyPK`MJw|gB(cnfformula/families/subsetcardinality.pyPK`Meg60b Lcnfformula/families/tseitin.pyPKL Th&Fcnfformula/transformations/__init__.pyPK`Mƶ}O %cnfformula/transformations/shuffle.pyPK`MA K6U+cnfformula/transformations/substitutions.pyPK`M&fI 1cnfformula/utils/__init__.pyPK`M%-Fcnfformula/utils/cnfshuffle.pyPKLTh Y- #Scnfformula/utils/dimacstransform.pyPKL __ $cnfformula/utils/kthlist2pebbling.pyPKL{B,W%;cnfformula/utils/solver.pyPKEMmc' CNFgen-0.7.3.dist-info/entry_points.txtPKEM,ˏ $ CNFgen-0.7.3.dist-info/top_level.txtPKEM{{\\ CNFgen-0.7.3.dist-info/WHEELPKEMؓG CNFgen-0.7.3.dist-info/METADATAPKEM6&TV CNFgen-0.7.3.dist-info/RECORDPK""9 K