PK'wIPMcnfformula/__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<>>?Bqymqp8E&.NOaq(7.9U3mɸX4f+2B ,/Xx,. 7z.sz;p# $^w}U0JDFW;hA|!,jxb{YsL.ISFPudn;4udQfkA'mL/ΰł?lyVE?y"x`Hsĩ8i~b"E n-܂~P$)(OJ ZDʑR޲9AEeXhgͅkX;\cQKvs@yUdVIp i)@\m}WV3E5di%GdR Uoʖb_Δ ?Q" nPAxK5­o0 ^"zD@kakh<{80lZK1 gݷh͍R( ,A&!ei.Rl%F ]*i)wԠPR'֒#xxF?.I/cLk=EXjy ̓(~îPps}}+:dBp%BQ}^PM0uц:J+e`XW+ǣ0meKa|Kn 2fS+R`it0ExCzX;Ţ)!:Cv'Bf ܑ<<'>ӿ8dGmB2gZ7#Kk8ǎM?>¸^3IHla/qPAM'X'"d*07d=2-hygL Oᅉ[:Hx[~\!R]5\kRBzfG.TXGWoeF ŧ(pb5YZ"?>{?3J玪zij-׃[p\˗Ɛj`D{%j5nŘ#J]t2@.C V \a +KC=n Xc H.Nc mpq-K / 4 /^xrE^0ӪF8Ca HM%ix -33m>DZ ʙc@`w[+N{{+W`7ئ[t*FΒ䝊xy1蔵{iVZ5A Uki/KQ$H8WiQ;H)-J~L֢DZ&œ: :-3@B%o/Vz2R)Ғm>Y^gc1ޤyHt/83ΠĮ(?Q&ۨ xGvC{)ո,J#zF ZR5&5Z+gu\[W@k3{xkfdA}hke$ju)TM%}anr??t+TZ@= ;[4Flu贁U3lG9;M xࡳyD,ioj:OP§S1ُWl;dKH]ځrA[6O=ɻv:9 Q|2׼."ՆR-enߪ۬H}A9'k68L.(/aK;J `zJ]hjR 6SuYnrt:kIuɝfQ胀z8z6Qde.Ϻ !!OlFARVCNI}Į3XwZ h 0ME܇XAz=Mz?h(FzY5%:l>MaN}= kX$/ݘIC^ۉI:~}57etCJ#4UBgy[:e e*GoJOΞXoP+X4KY/g! ,{sg}ES`Q|Z5=/lI~܍wN,v*g[ُNW[߬ȍ6_OsfWmgўElOIV-CBWzͷZ!jDj/N3jfX}Bv x+a渢woqK&/e"n23 _@0Db%h4XaXw *Z\4ck#˯yNNHA C0nUXpX >\eS4/H%Zd9o v5Q%R:)WUFɹlE~RlfOavkX{!)ށ ӌoD5Ruˮ~SUF(Ysb_Y' b?)wTߔW85ϢY~7OA5o[T DQϺ,Ҭ|ǐa+qٍ]dYmzk`8at梷5;TDݛ#E,ݩbv o_ѕS}2a߱k;,0/SPΔ'iNfz51'(7 (GPCP&`RZ#O͔FQ裦sj1:t:ɥQoBol'R9M.4jՄ`&dyؙ?yǭMo;vcvBe9>M"(*1y{:'Vi]K7'}K7 فSҚysebjKNp^/)ق۹ #ΔE?ja{ٺtnjcS8S6{_!A:Le »0 W-{v&L6|*'I?QXa;t 0mqyƉHZabHwvmGOBmʆO>%d+[ыiENܵLZ/sNnͶH43omGBt6lM4=w *^tFGЙC;EzUxJGS21;Tj#JGWv&T;oOS(퓚oIW}LHGfZ0|(q?<^w]~P9w. ; |㝟j੭Ƕf[`^NCˈʱʒC g?xMCإ2KItyԼu@lUJ}7юv/L00S̙fT^:YXq !y TzS!Oi~C8J :FGѡ R0HzJO*a =Μhk+_>@E/ϝe>ܹ/ɯ e3$lY_:=" ѳ$}7m"zDG>d&dXMcFs G^wz5ui1D H,ec#W7·ne͚"EM5#͡tapcH[תȮIYg#6uWDm5?&S]Ni<>u?PKƒI> ~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 hIJXH}My_:?:łQ1YBl,sv& 71&7q/I?tا~dEI(NˑےS:4,I)[ $G†D@gbzaa1b!,- ~tq-GP<liaba/+cqI}F}urdM8p-(S3 5B-x%"2K z(k"*HvgR1HR="f 5uJHk&P֤:* <^k]H^;"} .ۀɈ&,tcвKmp"0v-3du!@`K4FDaGrSk QGlz:]:.Tȼ?:^@[6QHcYЗtkKj=E:L6Oɲ]36`gwN%gB_1lBE7q ]7Y2ؐ0As-V _BDxr bzꓐ(<Ly8Sn֔~JyMC7 ?xP0!%4@ i8J/J_ fFjcd,}FI|8?\OC"o(+-!W#ȕdy2v<MDkVc6T GօBh k9x7U(М?C60^4{]=E  e),"Zgx(0W`c3{32k Ψn6ij6yy' i>@#<+S4 Ҁt `W?][0s0#c'L+܂.+*#xp)ZDrAIiV+ Ɨ3Ұ Gr3 d8S0JB3Rw<*=gip5ut҅tY pciѳh[#t(xTizUVjV_ܡKYEm9Fd:qusZNM( $ka(8e:&RCo5= '{%rlMI*W&3d4v88/!⫑ev=wG|<ⳍe(̵[k7;W i|PDФAS洷m(շJȁ;s;{. &{U66HBS84T|o +F+*QYd XȅF&% }nAЏM KiL mXřRKnmBJ{0[B :$}w"z\+:~yNٷ2*G};dꭷӔ7DUvcݟGͨpNZ9+R&ӠMQSE!+iB[')bb;Hˇ7BP4٭+&LUNړ{Eʏ6}C[6 2As30+-8w:Pr+\{rWue-d%S ʳu2 Jmc(M8?rc[R9$$rF Ewն`*irC7H`ҝ6qCjjQ?:0J4Y.Gsv7gFLTlLO ^P2+~*zd.BGTw#̱$0]). êq@> |1J1ce^x<+$Ӡ@!4oE h<(fq%9;QXv]rEISq, F8)贖,iqiXm͢:,~]Cr@67#YSȟT>}RBU|O! $?EM}h,̀~'96&2p{}LQ8Dul>q]ƷہlWX#+ŢB} YBreN>.Iߋ1QHu~ G@a=p7 *d  uH.PMs]6t]Dt߮0Ƣ83SXUYw-wt0y^U'TEu[H'Ca@3eW) [+aTqI*(2*7=EBnٮԟnr|6Y]D^Ҷ  Ty`Q,Z_X<*봡fvYNL巶Vrh?1/e~Fui+tG"WGA[ۅ(yg_% ;nӃJ}2*@~ջp6_,N~Q<9缈Y?ɖ'A՚g  OEyWֻ_UL< TAuje/Oմ((jMP} Omg0(j:2ݺD #0JECl:֡p}xG\^=]DYx,S02&^bzTTcNy.]%1RBcOd} vSnY7xNM,0' ^ԭ.꒍0Rrs Y=𪾕 Qe"xML,Q jq l6L MP$YG8v !B_15ӹ? Ѣc`z%/*2HqX!iQQ+pe:`ԖVU)A_|XKRF8-:gk>d V<3ayvr3}[n}myqmHRs]Q'On_H}7qgt:nhL?H#Vu3iF<>>>==YI,VI¾L,3Nm'H &sx|p$PB4*ݢǻ{[K{ TGq m1Iq$45E2b70Y.B5WVEIzҍыCקlk3P䴨Gy;ACh\kK"5톴(9u)d[il"ȗ1b)[O/CzZ)*q}E!Vi7J_?\Ctr#-r.Nc4!a.U? 6?UM*BR&"a>7o%Dx ӓ. =p?TXJ Smy"Aԕv^TktEn ؤjȀK?x0,혬XվdN;5M()/tQp-}fJ͐.u۾'(NJjD'aw %{/?[mm6Ix 3037!6&=) JN.^mW iE}ZdAXDž- X(Q\M%ukfTka|K(b8饙8>GWzq -A>8A?xJ% s+e{{ we#?r3ѹ0iq@riR&Zs9ڹ)!U,]}H<aMka/rSVhW=7H=Ϥnev۬~ܹߎyP} }#X@T?-dM[Cuਭ чJpګc}]}Mb/R  _t [*QSb5ջnztle:+uҶ5{T=HELE=#ъ]R\<"KYT TBa(2. <!ZtV@EKƸLtMU_?ݎj2s$kn^{Z[9&eoٷvj\5H%'YYTkwFm=1%0h$Wd3T U0j-b7_.33f85 % =rz蹩MLj=@C5iF@ ~dlsW7Σg`<@(()9\V[KlB>Uƌha\EA ?C̆`#g_TiGt+4 /ˌk(yB?o'Aīgj?Ө;0Ivхytf?R2^ȑqze|rn3UHE n+Qh :xG Nب+wlc*[`>Zf]Lsa*q=O6X'Q)-fam2|6ʔ-2O{ W￸JsD?QLjZ3XE TN$I.&kk5EYxB /^O$:^ZcptN9d!q ڱ{ v{ۤ=ALFTӔ3ԯx:12 nsCq9;O;PKI|4 #cnfformula/cnfgen.pykoF;ŖdLyw Ik A6XS$t,ofv,Ym;;ҏ8o<_չnYrٓK묨VV糿 uuQ-ۢ7?ay-7m+*-P6KȺӦ)]\Y[ 1>24/*r(\ JdZfB" [ 3 ,+6{:lN; LH=MK>f/Q~ `&z2k L iߣJN싘YU@G0!8gHh4?`RBߖM2;!ة]>XAL3>/א)ihk؅Q16&K=*4C qnvpCLs lȫJ ydF~o3Djؼq R|l=B춘?OqpԶq:cu}v qn[ި#*ct\`tl<|NaʾP)}SmN:<P9rITl>L3/A:S7`g'L'v(6ytb~@-:Up97`geQnv3-f);/ zɎ.#%WX^sЮ SuL,}  T]H=1ꙘgŸWlמs*'Fo2vU`. +.4TP-7_‣mNsG4 :J1fMOPXGA݈m\2n~UCCWLZ5J 6 JeA3[xJ7@mՎ>m0w*w6C1pH*$yh{!p, C+ ͚Z#'ZnP0 Bi.0;,k+ 6uI(5+ ֦=~4xEc<Pn؅7Uwj@wEݾu }ho0"v00}HGD6lRbєHO `q|Bـoo_^z,`$Go@&Qeh%f:M붺bGrcJ ٥k#7x>ķx67 RS**⤨[E Ad bIL0O l9'X<4>:ͮN}vBA-_'0׍NiObz!Kԯ =:2C^rOc(yZ# ?6yKD B}[;?qAy9QI#N}uA?W¬NI꽩H5kg0eBh`x$'sNTdfLBm{AY.^WWU  2mcp{bUTb R ~CGu/̖`70mD>HS Cf_B7SVn0;u3Tin1um Ԇc͎Ҝ˾٢?}9|@g~;4|^ Ggֿ=V?sSzfnW #'B'/rlBHG;ɸ`y[ ]s zcnfformula/graphs.py=isF+:tm!JTͰLD'N9αEsIh@ :J6ȌE__|u)yZe=''bIv9T'GN*I*rR"Z/E^Q;I pI&"6o4>BMA˨Q{G8Etz6NEZE%EUp7[T yt4Fi C15xpG^BF9 :7ERIJi]2*dUcmV*9pw!K歷/N& |fqZIYu*NPslU(M2<Ш-['jG4xsKH$D@THy`Bpd[1Xǥkjߡ^Ak%]?]~'̪LduWmQz/W呼]uf Iw޾EWw >YqՕlI)2 #yTaY T2,+R"Tb#j6t6g+ w-Ŧb#7KdLhS' N7lp-]=雼] a\Ee-6 %h_Un p0qQA yIga23xs)3F#"Ffj0}k<\+2+hfHˆ Ie; mKp}иԱ@pL 5 =^xa%>t>}OcbF?0uj~rlHAQ"Hz],yu;y%<+َ3jDgwy_%SS+*R|C6ѽ,(UBe 7x-Z|@'p/عmzl\ c:ZFgA<&Son֡nXVrQuw8W u `UANaAo5Kh%d<M׋ 6ɤ< 'JSo0\gX*1S84^.T$hlYhKhLʒ'kAga5T6]s kf鈮so[or7<;R5VH8l;o_[{!ҨlMMrdM5%,TB) df'HJx,Lz,6yv :Bғ|SGWҵLbR (ၛ*s!j/UR.M&e)&UHh JCV]*92pFj)'G"#%au*8ZT J;y&{{M*ca8"&*,3hq2l%Ԍwf3Q3hR=Q;ƣ>^k)h.SLlٱM/YmB#bmMNe 3,\/=Ipǘ VcC\ (XB0t+krɚ-TI}R[AM;+>$DIqDM`2ؽTLdH9X6*-s1ZߍمJ+{0S2f IfU֦֐rQQ/&1kLUȅLpwzsSLCF^^ǐ[ۻAQjfîK&y% `@041k&_q$";N2ե(G՟ ;uxW/jGk}# ZV W2箞xRc #* l6b1SIèx(MbX渣[[E(ĥ JxsȲ/e=MG_o X_7m]y̖%1 āƚqDFP*ewb-hZf.pBYl/aҚdaq x,"~^;`ݛhrhhs094:2XZY/;]aFdz7N#@3 b$E@Ū@/$~C5x6ՍΝ혛Wi:9Cw}j~+|+;V;[;͎Mk VL@1^ b,e CvhQr \|g@7N!E'{2!kc"%Ep8 ΪyQ ~^7Is1rt<xIjIF֖9%l[l-LsU#;ڳ3vlt\} BhT n˱# 5c8^mݛMO8]/s>_۷Js&ɾe:؍4FBo֑=7[v Mwy}3 %C.SEXI~BΔoD)!54Vr5GZp,RTUӶNoZ͆r|RDCpzMyu)+^-0t2vXk8e0c} ޫM~j$Ķ N*RpH4r8f"<~LrCW;T:7N+XQ-h_Hqj)r5Hqr0!33tdhkF=#"VQ'ek bAYy8 Ô)mqmre7${g3 7-u[2m+q';!j[ H7cNE*@`JVoEř7%bwQ⨊B쫏&S ʻrY}yCZݩ"Gl[~*e>vKoeX24,acMV(|f{'hW[6ݪKGu]֢JH`-9@ˡըIy{7:&3P9ڝB0A(Q8h$5HsKq}V"yUFD` 7[S;!AZIN9TE 7.8>U{rNmeXo{ĥ_>-;`հRDh!qzT(Q``RoBbKsМZeӈ;9;7xja-x >(d;q nq`j99䰯h?MMIv\$EJ?q-@^P]VdhUȻ nX %h{U͙"}t; *s%^{Q'sW)ȢbYДd,;v +l$eFl}jiZǩ=ojbw$b$O[Ïfgk.r$z5Fgjy-uY'Of ^xd @$$6*yAYU⪨O_Rޢ(5TŮL{@xPvN;kYU%A`^Ll2[S }zqiKh>*UB8bR:i6W%3 xJB=%8!saRƷ“tUSMl<k/h3M22v͇'XՏ+udိ$ nmi9ExLϐGCʡQɤ58C5-gCk)z)6"+>^Vsb.F).Dd$XTnY^S8AvaSvX+/#V. ( >0ޔ)z ".eoY<64Dd/b]m`eG6`”{fLMc*\Ln#\ 1a})^4l"%i=1Xy .y|Ku&nn&?XIm5F뵌 PT`/Picض/[è.ͥx*hv~No'' hI'gNEVz8 +c*k٨HA; :a}5r;(/BKfKYs0U~o7 );XV:j tkX% kS 7Ro@3=50!][)fY:Wn:ܓ]92i;bn&dd\<p-Lnyk}P0R߫zە|6 V3*(< h9!Uq%VJXa(6Tv? "èip KVPP, h󊴥@|Q̵3h{J=Y54[6"ƇQ:,Oamݯ}w'qύSY*nw*Y ; w[sʮR}M>uVz7 [Lw7+u6"H)og6kH}/ ɤć҉ pjt'.CUi]`h Vjk5:粽,+u*7;NO6DyqkE[K]nf5o..$*౵Aba5w-: ;a3 1M 7uv7b#o 176gOJf9 k6dŶ7PάX/(H9ߊy,!T)t@rf/M(Sl ,}=CWSaݳdŗ>Ԏ~.i:_ܭ(Snk,nb1^~x[Tq=z$0&ߢ_љ*AZ`RVSZs(RU^ +ZNݫtdO' (XWo[{]aph'-W2C8\;;XD4`ux|rŽ>LGt$#3ʤ;1*KYB{I:+Du]E7C'MD5|#nNT:7i!s]<4 gMo߸tay#NM SA,7s1Cq FսeMac&J.M-+ќo)x2E`? _qcjwKu:]t:ZJ1:4cZ oA\ %fӯ^]CˏNsUqP ox0nȟ1fU\B'`t^˖qYIv:oT=uLu# ҧj#WvV&’nmrݒht4hZQ:lMsnP{Gȶ_y4iT0Aa5r=$fIM Ay\T RŐ Ar+t4N S٭6)WJs6Lk겯ۢ;mZ֖AXx!V2t0ptÕ(XӃſ }G~Q@_WEK_qQS1*{K< f'D=?lā\˯oczQI//y!O]>kID8PKF[N~'o9?̜6ˋ&˱˒7p/$ .[ G} ^ ]HI+:r49o#{"tS+ӄ -c|?CV=vkUSu>F%lk= {GΏ s\y!֛;E$\JETUK9ޫƹST_0VjªU^~p,ƽ'Rʟ?ue#,C ;$;̜\|ye48W!ٯg#`e !%w~u}:ƿ $.Dk!y-\ey50n" 쿘|6DDpܽ:5e`<;=;>VC'(=XpƦ eC-ǧg Y%gl '#2U=`pT9>+t587G|_omQ_<`\QqWe@zBjUPj?A%Ni^xR .z+Ѯp__f2̦&ז81XoR|w$KX˽C^?.]UNd_WUdk ^{64XXF78s^SeQ@~G4V Yʋy>U:~Sni}ޕ3ǶbgX>toa^-wp50@5v3i!t2ׯbKplJѤlHw|M zSۯm:x ]574pAۣ9-OyU뻶!ҴndQy@r9Z"WUuUZ5c1|Pl}ҦNyUu|6qAڱy(R{pFh{_պdXk"mU;>PKIL3cnfformula/prjdata.pyN!} L,cM4111M5Hg0MBLǍ,`wιD 9,:߂j|v tAZAG :*+ 873略h"HLI4zP݆CP+js ÄNnvN=«@\/fsD{ч#!sw2HK9ٹOeQDi8 xPK'wIG}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'wI%cnfformula/families/cliquecoloring.pyWKs6WATM)u/mrK(98!'LymW_qa0_UK.-BIVn8aBi8BVJuA  VZUXW"JiK.޼<ͯkZ̭3%TH;2+=;+ZBp@˵U0S%|1)8g=z-s؜Z_ Dy q8I}HVPQ.Նn䋰O [J0 ,\զ؁+! !K3#| Tf9-Bl1_sdF9%g t<cj_K5+AO4', %A*$+EzqPjk# B;H9%g?T;{&:TEbsggk $vAJ7) c-]A2v$q sy&I=٦W(*ZeVC]o-մkϡIq?%9'.\c"ۈmܜ\r5{emíH6Z=swK3g6JH^SGf /o|XZfq Y(epTRY%хb_ aW.U!X^_W ֎ 3 t$%a#]}smzsv{{;ⵡ6)t*Ӓ~u_-D|^}MhjFt$Ԉ$wWN3gCcEޖĮRv&h u I8+y%y6nOȜКx4k7޶@ke=yINtC߂]1Y@i?܆w`D6c."WJ \lx\C3$SJa_"mG]2p[c5$rcc*(L^4ԕqJڅϸ90?k\j߁Ai݋~Oeϧ/K4 cpa? hEzwC$ tL*`03MwgwR.kÅЇ@xn)07/q^.O^q?oiOJ6NE<:͠F~3QÆiQa&f;}U|y{0i85 ^3FeM7jܝ#pm _GP@޷Q\k|qV,9_p/ͼWA 8VѠ:Q RhoQjwJ1;p|\c՘2b]UGU]Pv$oZ6f?YPr%FSm64"4% mA8Лp^Ԩe*S/xPKLI$cnfformula/families/coloring.pyX[7~WD3a塪Pnj$6=d(/s!T:ZsKxđ>Gd՘d2b;-f] ùT5 0R(VPrrPr]`db)^ 2ٻK#(ʅ9'by߂-=~dŁGŢؖk4[&\gr"?c=/8}K2E9rk(-L14K,[0ݭA!Fʢ 5j8<3׊e~i0r9矻hHdS 'dt@ /#-5as8 !a}tmU_[!īAU3b4GS(%l 2(ldZ,EŖE!oncGR Ҵ[?$IBL(ѯhQJI 븑7C›5p@欑_`aG3A`p[RgCv- ;ڣ*1 : cc4gjfn6 N,RvXgD3sYRUhW|[eժtkIBIj "mVK0n^?~|)xӧQj@MOIo;yr"##W'`DM5}"ʐѴ*'qGgfm'}%hU]c6ҢН>@˴1+F}_XCi5\AG&A^4ԋ WC6[zy@餴ZGG{aźUF'D{]䴪ZEs^ekք)4آhPvGp rrU9pۓ!`Ebլl eXa-*1 QL0e0;-T ^wY)H:ַIH8&B]"AnMZo_eFhGr⻗ ]ثoTݣg V*,=Fd7+!*dBɓ'_d2O&t9!+hx`y,mZZLXOgnS Bj.z_g>&ek(q]Lj. #\E-k\]KdF7=5Lm,RtA퉉6;Y'Ux4D!nÝO:L;MQZ# 17C 3Q}J?< Wt$w!/Xtr /GGHݥw|?3P{ ̍{G0 ua'-Nl#p{'p,ˠM4S-,JZjKwջfy#qLVՔUyh^nV~ .Z4FQv6zzl6C$4( l /h45%/r(]~o#4p-Mݩb56^q= W[(sڠܖM{kP R#-Oz{d|6 %se=yE&sρwrw7PKMIcnfformula/families/counting.pyXKo6WAr(MO c]lؽimq!*Ii ;C#6:85!K\3QR8'3˄4wฮ1/23aRR;ϩS!2gdNbiVC%<g6䲁Zqs !pZR6)#qFK h(ˢ5Z 3Hvhh:M(JʊpA43Hch F4tj["t[2%jb"sqGSN UZY|B~e:V|ͬ%JМ-ܶ+<# xLLjߏ 5ޭ0e4ajvOݿ{/ fUJR̔J=u7"]sV,xƄڧni~&bF2][Zu[ Y>Ro:F¼߯|ېM 1cLc<_vOc= -UY6|tYJwYnoQ>qV6.ftZ$QU>h 45SU}}/_vԐߵsֈYFYFRZhMkmhikFγKhR$\s;ܿk¤-qn_,45FCEo6962얗fGCT@ wCEiq6s\ H|ˆ?Ǻb}ډ5 -ӏ42&amh;jv}562OË/_}}3_`R+czrg!-z [NE^.I1,&A_35(bYa.{dx^nI}$MWnA8,f1{W^)R@x὿ C|u^&;;TuɳʅWqEɳa]ae8ފd?z E #Lɭt;Ckti(stƩ9d;rIj  !'$r:s̱p A"˹#4>qW.tM/i"a"{@?CN:2!(-)` c`)X‡ Ȟ7 U bƹpVzm *Qy?EQV? km"z3NZVsmVjp@u4`Md1 'Z X4IۚX,f83Cv20"GJ{qPSOdXO|( Ll$$) [y0ՊZrnjC[tÌ!ApbwDʐF0z#fȐVgUS/|1׏V 8.svqw |Yj\aK]rBV8L飊j$Jd ׇq޵Jm~'mCu7Xp{S@;7 O/.T ɖNp :|9Zh&ptotfGֲ^"5Ps}(|RWE:m!b.SѦ܀cK&|6: ZYGdWs%RFn*\PN.`zn0nu)R\ǍJxU##%Fg<=?WT~hmŚikJI|:|c[)N޷\jB`]z(ɑ$[>`6va9JK Ż Su b#LrkKo{hu ^7Yo~{ɼ[ˆFqG?؋mKE2D#Hyd,܋\&6;Gh42b֒j_MYz<b/H}Vj'U'KJk yIP_pp-%|%F\[İ g:ƒVNƮqn<,Ȫݦ<7j*9J_-+/=xhAuq+fOË #6TpgYi܂^݈X4-NѾ_X,<kʪoh+̲ނaa1IBGmOqP@t4ğc5N'bcYs=ޑp:d0)SyPEI8AapCmpX2|;:X5g$5 l?yͻ˻6 C8ޔ~hzM}v߲RmOqnzPKPI'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@+|M0PKzI*5]p!!cnfformula/families/pigeonhole.pyYms6_|tq<'Q:~$27f ̶xk]w'op~Sw767NMz=!.P)a5[(A#uŞ4o7}"W1|HU+6PְԳ.[CnmNuНt uW^`ϐ5Iً%_dO,) i*j?.T sG~m`б/a"ReqMҩ|" ;~iU =t"<ɱqB>u ا%B:+N`q'(39 i9wX>k1Ŷ߯c`I 6XeooցmS`{T jjvt2UUD  r`#jMb 45jP;-^`{}Ƚ֘WznHB[X~={xө=pLm%7_?.nBQ74=c+fԙ1+1ᄣixB# ?_PK'wIj.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'wI%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'wIJ  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"OPKIpcnfformula/families/subgraph.pyMs_-]T;Iwbɦ9"!  (uD&6I󿼪|R]!Fd Iқ_y M5/)6dSȼʨ"zG5Iv,7Vrm4"'8 Bjqf\Gs=J&G#wМg#GΉ5(2UO,`TR ,*ѿJ21Չr.5.U$lu<,`;V@C`奾wD;} 5DRjMbɶ\z+8\m@ 9Jن|p8y40@zNG~Lircz$4\(R[!nxxdpǘTkBE _oDb&q1uԼ\Kǭ/ w:zIQ[2&^n*WE^r\ޣ 1 6jY*]-#Y#O^>s@kC9 {vVVGV IqT̫92e2u +d|¯odU 3]IEǔ|IڗsSOܡ ]! kfNe+&gS/4B+e= bXH5[,.{ɸQlb8T<4.b˂.piMc5yj @%*'mx Aww4w/ gA~ŕb"(+VHi=C!Cnȍ',ɂW,02"-~ćpA$Fc4erfktx9bsmV6{+. =%E=~$eO7;>E;_F=,3KOi2z>ma,7M,wBlla<37m6madޅ`j}=\@ 'δvGvZ.[)nT|uz9flg)-[=G'k}6yEaF=0%HSGZ,l,4%UQ`KRV$4iAm+ CՎ!4^[^3u΅%yaB3 P s.cM4_dweZɓna`1>`ԊBLE9gGfBTU)ن1bt={htx\o%$fgϪ]Ÿ{}į+ +&n¹'Zk~~>Btpܙ Pg m~m֤qedwbEtsyn/h]/ySp^A:#y14~ XFrvжͦ~Z<;Gfwj:;@mq7ngHe!pXzT3~Կ_Qǜ:azVǚIICJ~|kzG/CeEqK`dKg7u|xuuGsMKR[<[GmT,7/u{+v3ׂ)ykNZӾQw2CA*wr nJ4t$uy#eȋZ2؉Dw DUJly75ւs30k:M8m6[2H^bŇE[C|;amЬUrbPfj? X}m׈\_fV8pF l>L4%8ׄ "G`Gq68%A@E . GhRmئDz퓻xd,xb x{l:3Cvm̋L5&S]5V F@S/i`ٺ'_*5\v7| /0, JqV^5XAtvu9WՖD~X~  n:xR,qkmV5Ԋ盯O{MڠNPKLIz(cnfformula/families/subsetcardinality.pyWmo6_qK?d7Ia0fI֗tmW4A?,Z:Yt)%)'Y;vlE A T1_֥:<t,٨pW; 3̝pRԢH-thJX^$FgIuH 6N>~lXim1\2F:cFDN݆PI l|PpXk#r!HߢZhƃ^3ׄĔ 0/24~bO3[A.TaMJ^Z V ߄w2U4jdu"[Ca=ފsR!(I=_CC H-VPµt)ԧ.:n@Y&zU'?Yx7 YL#j! :nNC7/Uܝj %fQg XC2I?QĥdK ǼM naɝR۟ZW5.9{<1(Z7C_XHqy8uI՜azZ.b*Bd$9`X:?M !uM5V[] #jM:7V茷yP' v+ ׇv3=Z zT)ݨ*YPB,wʽ#WLHrgW|(gHz$A~N|SMLXt{MB0Z'^{ڕS&VjR}X(UD3z ?G`@2@p<[֝XFDB>.J%Zݰ>d)̈́&bn=Tpfܝ߂{qIÊB *5Ц@UԄVΈOFEpAr 9ݯP{ka ?&֮w_\ јҭׯ Sy4㪝:]$paN:RA^j^ȟzE췚FhOt )(;T;Lmm7@wժ[`Wt#AQ=0 M_L}i486xh={6&:qdmՑb}{7^vkK*HYdTq#}צ'nTT.J/Ov]uH?/6q$!ݷ#MFwؘRs=8^E͚*%gPPK=|I; = cnfformula/families/tseitin.pyWMo6W I=iTl{vK`84R@RMd)v%8q89|9Vf54cqhAjD6f TmϩVI(ْJ4_ k; *fV(ʄ9֜ %uhxactѷaBlR$ FZa#+ mg54 BeBQ`z%Sxzz:[oj3hPu$l6VBl\pK[T[6ORD x4ׄ>?6jGjX8yD>Fá$S8bnX(~p@70#}sN'?Nm6:ڼŜv:;B-پ^C_<7Bz 8-=WJ,9l(].UFL5un7ᚑ'PK'wI Th&cnfformula/transformations/__init__.pyRN0 +Lw+B+Bۺms{+mrib??uu ^-;}jج`s56LQXbG1NJcZ'0 @}Bcʲ\+CQZ"]1 Y$' m@:!ӄ4m߅O2\ je>hE]_)F7Aѧv# B׬Q.ֈn`0Dg^m|p~!u뉃1"p-=6 aO DIld/ɟj҂뗧 \C.=&DFO7'g[gCxd cS#aiH'i0 t"?y!NJ9 $*[24u>dB>x"4<_k}C+**$ml/6OwlPӮIe֞\/.۱YE\hdܧlO&dޭ=+9Bu{|>[׹ok|!*PK'wI  { C+cnfformula/transformations/substitutions.py\oFb+}SI`@A Hl\8:"Wj[p>]>dIҸQ&ggۙ媽i|}%:[F#gE~Ol1tI""f$XQ8 Xw0Z [(g wc7 ̋X%.(0`(ʄ^iF-KQrqYϽhrFL<͢(,c0`I^4Y噸z=G~ixn_ݔG9>ipM\j$" . Jip"I_ 7hv5&_M&| qm K9+P E a1 %4k$"_\G:lp8l 0\6!b~{h 뤸NOBh˴P˲mԥTg 6H[WGyaH(MH 憥S$`诩5rqY* WH=Cla&LmKr.X:uv!_FaHg؄#f(d= L8d)'nɎ#LAl~&߁ zZ#FQfhHr 9?tZ%jLL; J<WZ.+̈́"F.]uoig3䐲ָOuj,Ә'h(ł1d.HIrD ~ ?~%\U) .PBi,!_)<ψDP!J.d1mX9`cdd=SNMy0TlP_kYpEuG&P.h%.Q-G H]WZ-YUCu۴ʏcQ[ mC]oYB凟bu%zB>!(`T3T/NN&U˵QG!o-JFʧM-yVM6k& Kr-l57`ѦdM >~[[R* ՒlH P 6i(7 I($e؀¼]d 5_=ˌ GrN#FǵA@Ip͢HH YEj^T6Fd1@ƚ%}}dݡ&fus)AU ՞8}fr硁K簩*#d%{wwwf.JE^#}uF|ĥM +#P8X4.v7 Eb_(fk`b@tPզz<\ tR:/NY`1]}D*%o 1AV'&Bz;m20VZ+b LC}+Z, [58xa=Cs2&'dUpF+wJYsp%icɅm1b2#xK`ndj[ ,Jo|t{ p/j]ph`ŏyq"Vd|V'An3)fAUdCjR1nU2mbȼW_r7<Eiؐ&@*;ғo~AN(4.p9sMye:8 @)t Og@};f95:զ\Kkn(1[ay5^EW@ ǹ4@mԆwݿ ?QԒy7|x͂[eet[48asoQq.%e m"O'5ZP~,0-6$$u9)y_-ȉ\.NK6wڣ~< qѴ.٨^iFhSVX{,mHüFg|c}S6SG&WgC7) z?[ځo(tnhۏզi6CIfdlG]Q*Tjwz EOm|͌CC񥿷X7^ݺ^/أ&P]hjC"fc('t/>O{¿ aۍXǜWn6.9o/W53n1ʹBZ ͖_@L :39 J:ce@'qT.vy+oά(% Sfȹm=`8y1@  fwd츞Nw0\&]:%ck?nx@\wCe˥]qy+Ԗg!n&ph\A_dYM|2:]OY[/l C/BtyY"PφXcW怀 ~_#< 玈dW VPK'wI&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'wIU]\cnfformula/utils/cnfshuffle.pyWmo6_quPH ,m0Eh}(D$~HIqM_,Sƻ9/;kKBmݺV H/S(t)jѹ*&ҦjnQɤ2<: V*Dۓ~Ynvx5\ l|_a /BUAڡ8y,' Ws)*`Ӡ Zmja@^d\{x~R J;Xkj4l3ۅw?u7+ckm <`ėNtii6, -4Zjbyv;d-f+1}[ ?n5H>Z 4z??Nεݶ1mV|Bh zU Ua億*]^%c}ai=TBzx#2mYݚ-U}tEo{11c1O)ladKpψA j; ^@K(#$=/m*d`;h- FԶ˚#֙;8sߢ׈F x?m+ BܤZ-nm@𒨿Dyۣ*9afp-#h\D>b9jo3s{08:j#S49*JN QROd}WF>ﰫ>'q O,1.!};PkҔ&(7 ^jx51(OQKN_3I"6IQqpӜKM?c#-U?@b sTy ן#e1Jm(P 3O1̛!]4ˣ7ٓ1|O {шpݏx$vf4i0 ::s<ʍWFwm_}3Y`r?Ɗv r#R#ABi81qk?cvؙm%ȂuVB q;^ZV̸sY}4=w칕U'%o!vxT?kzT Ż=kXsFHɉ| #x?&s%b:wA[<7Wľ5by(e^vMo{杅W.}y}?`=c$ ;퉰FD xMskeyå(Xy;^y'PK'wIz #cnfformula/utils/dimacstransform.pyVo6~_q$i0A֬XPiJ@RN,ى`Xx?xŠF .wM` o ])v=*bUZfD'c,gk05Rr.ImKc 8k[&Kh0Gef&w9D^?o?_^݃ ZPR0ZQt<֢1gИeQPCLp Ju-y5A<':eW:JeA/_z(F-'S۞)1,y=9Y}ZxO*+Dj;yڭL໳} Fpx>^饬,sEaX8LD[y6^#(BW痵ܰSiq^bCc0y%7}ܒ5[K)i huA˙W(ՎF8}ְvS2xZ?2}G݊8(.gT( z}4,l\.[[m'ƓՊi?5'np+̘a]vIOYQEu[ Wj /ØZI{MRI(i8G{E~t{s{ļr̰vz )9zEؖw6,g~jU gN{ft'bZgq"R[]f_thgSƝ8݇hRr78meOC:&973ֆ떾Y bxY&,*Qx2Ex}af{;gӲ+ ũÐYJj'<{VNjPҝ0Ky˰: 0 Pg;%@+.>:A֓Jc?r74# r>)`_K.?JؿqF5:(1i>ɓJ=Ƀ_?-g#7ACjJm6pNr ^Jf ݕ2"t -~C34@-f"* c $oTk'Q(oC5%wٝl ݐZIwee6[®qxJ o&?Ixܮogχ?SH֛t˼sc!w.b ~ddl[ssĽggʤ-up2_CSTW& ~r1^LJww G(cRV3vs$y4@q#Oֽ1@Y9;K-(8%Ġ%24;B0%w0H#0Fg<"GzPKI暒 5cnfformula/utils/solver.py[s_zm_._uĚ4ݜH4 Y8SBr4߻ HQ.INsz-X, JBsfMe2bI pV-SyE\=r?pzo0*gdiyr%%%3P }U0YxOP*,erg8Y#6 z0eB,3UVy\Y!Sz9Ų*E"="rS5z),=svt B>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 PKI^- &CNFgen-0.7.0.dist-info/DESCRIPTION.rst PKImc'CNFgen-0.7.0.dist-info/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKI=e>$CNFgen-0.7.0.dist-info/metadata.jsonS]o1+'?NT$T*Ro\&g8zME-zUo쌵>D@K զSd=[z\T.!X< CMh.c@O13줦# )0G`+|JDs f 6gh zwr}ZQS\d IA`qQh&v'uRc)k4[+JHFhf١ o_n_}јIW )!U[:PKIc`:0/CNFgen-0.7.0.dist-info/pbr.jsonV,/JIM,NURHK)NQPJ,/K-**YZ%Z+PKI,ˏ $CNFgen-0.7.0.dist-info/top_level.txtKKK/-IPKI''\\CNFgen-0.7.0.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0323 /, (-JLR()*M ILR(4KM̫PKIA<CNFgen-0.7.0.dist-info/METADATA]N0 D@rnX)ԢIJI뼙gKo()NѪtמ"9k챆pjr棌2ܦ@zF\l,CfFYj8uC/UƔT*g*XI>S~χ~PKIQ CNFgen-0.7.0.dist-info/RECORD}ɲJyEԛ͠J#48!6iԧSuN.a|֊T1(#7I/!떬_!IKiRcLU&xDI`XCK*UpT{] 6;+D|¡r݅Kl K RBC}t >gU+h0Io!I'"m[3_]=^>q3wkf_OVMqZRd>P WZ<6 =&7)!tr$I;Syyk\=vQuxf葞v88.GF@(C/^XGUO\{ *ބ\S~QrEyxeN?CNث$Owi^e"; ^UM䖳iyc?5'$>;ytv-;R\Vn&)¼hwx mZ^̭cj8|mKW%pPzvtBzh*JKv :Ձ(Ϋ<η)mP@4_Jov X}$3u:Qa)۪&}yɼk [G_/#L(< <`)E>ovXk]ݚGC\wglm(<5+li&rQ;$*11H(`J"pzGm77 I!zźRj66Ic4Ҿ^hi̪_ՖnijW4bN``ۼR~~>swsl Q#p20UaVS9Q}K5.?A .v.-SD." GT{zvL Wi6Y[=O-"a{hr%@{n%I#CRokߟ؍K/eSDPsGb}'0|&!۬UϣCf.3EBƅrtB 3QvǵgP{ #]otHQ&ϭ}} 0[Xq|L{Ro@y)#|ƍ|D`K7&-9)nEX,}ʩ)s]/3or̪/>K54f\itZ3ON}!蠭xx2yTE8(pYP LL}2h:LVnM BqPK'wIPMcnfformula/__init__.pyPKI1s[Kcnfformula/cmdline.pyPKƒI> ~Bcnfformula/cnf.pyPKI|4 #5cnfformula/cnfgen.pyPK II/M>xAcnfformula/graphs.pyPKIL3`cnfformula/prjdata.pyPK'wIG}2bcnfformula/families/__init__.pyPK'wI%dcnfformula/families/cliquecoloring.pyPKLI$icnfformula/families/coloring.pyPKMI?qcnfformula/families/counting.pyPKMI)$Pvcnfformula/families/dominatingset.pyPKPI'|cnfformula/families/graphisomorphism.pyPKzI7 cnfformula/families/ordering.pyPK'wI>e }cnfformula/families/pebbling.pyPKzI*5]p!!cnfformula/families/pigeonhole.pyPK'wIj.'cnfformula/families/ramsey.pyPK'wI%*cnfformula/families/randomformulas.pyPK'wIJ  qcnfformula/families/simple.pyPKIpcnfformula/families/subgraph.pyPKLIz(cnfformula/families/subsetcardinality.pyPK=|I; = źcnfformula/families/tseitin.pyPK'wI Th&cnfformula/transformations/__init__.pyPK'wI`{#|B %bcnfformula/transformations/shuffle.pyPK'wI  { C+!cnfformula/transformations/substitutions.pyPK'wI&fI cnfformula/utils/__init__.pyPK'wIU]\cnfformula/utils/cnfshuffle.pyPK'wIz #cnfformula/utils/dimacstransform.pyPK'wI3t $zcnfformula/utils/kthlist2pebbling.pyPKI暒 50cnfformula/utils/solver.pyPKI^- &`CNFgen-0.7.0.dist-info/DESCRIPTION.rstPKImc'CNFgen-0.7.0.dist-info/entry_points.txtPKI=e>$XCNFgen-0.7.0.dist-info/metadata.jsonPKIc`:0/3CNFgen-0.7.0.dist-info/pbr.jsonPKI,ˏ $CNFgen-0.7.0.dist-info/top_level.txtPKI''\\CNFgen-0.7.0.dist-info/WHEELPKIA<CNFgen-0.7.0.dist-info/METADATAPKIQ CNFgen-0.7.0.dist-info/RECORDPK%%,