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<1[8& Jmy&e0v 5gɂe+f~~aiN~n1^?`H50YDOaiU$\IL Yb<ž}7oNK.mYd0d*QF|MSF~V>~ V"-xvGF!K4K9wxlqt)\~WBn ;FZ+i*~61[O =ao`j!T ~7{ei8fC&ł{v"9@/N ܒfJkgԓg| tGt teCPLFNvY}9(nsцC  ͟4~+¬t7pZ`k&™Gb|LTȀ#H>5I)V`ѺMn& <3-͊B.A|H!MPx4>=52%qb6Y5 9 O1L lv00sc$SrB/: I:I6~ɹ.9Rq {v0%)bf |-^C"TSJ5Gimz+2ŷ=[pZEou [{q5e36b +2]=[f&~F$(b~ St0 |&@ 2.76maFxf6ԗei[B.@kfX{p,j t1W}.A$xM*<~F0 rA+PIq,")`+H2iRIjl;1ygw%n*=sIHx 15 tc%2 0NC8rU̬[ $n_1P EB GcaUh>RX217KcwBz:GS#_`{"zHvK;#zbh)m51f0D~,d m#ks~8]6H>υK(n vq=&_ˏ߶//a7;tOS'>-݇\yw{F磫a"K%~SWUV(. zw~t!4')V8_ƂKtf XC4@ݞv'r뎓ԱEBe-g2;TvdaPjRTD)8fCȶB/+Bjz7H܏)$zp@"2kY@~n%~´ 4?aT UYϣm; <^JKS~#zEic-(-rF{{Dbh/4INL8.#`< L맓 y:lv25Bq_G]0HX Vg#AV޶918gD욈b*Ob$HY;{Vfk#bfXmsO0=$aM3N+(rɦ=F2er TM&o)#HZ:kUjSlH38yT(hy BD |ZUP@:a[[DNy>֧y#?\^~d/p*b 3gplLx$mkU0JVKiA0.LʧUB'Px[.s7ncƉG0J7M~_iz>껓B[gg;Vb+63$Dvi<>(Ryt:RGh2]#%+BKT*G,5X㩈]U\"\ՍëXlsz 6'u)`sx+ru\ɫ 0tf͕z8, l`8>7fbH8ҵΫ 5OA zb!,= '8[*7%*I[XXF, Z h+=" M@h"%(Haxt "*mIFoFe:HQ7^A,(za-sGy]&V,*]D;@/,D[WB 12UjÐgB`7ֳF{&ڭ&iY5(\Kub1ꉽ>mWBz2D=V_Xuju064sa^"̳yFxz$ &!dr(]"?Oj*CbBj_?7р޻x|eE=(9P_̻us4Ƴh)t> ,m1?c 񲃕o R^DT3矊37t{t~NHbe5s ~Ka[Rc& 5_NDžƷԇ452I{'oQ#Ø^NǶ}HN rb~􄲒C.)(Ƃl]/:kY*xN:a޽a\eV|&l2˳:Y񌧼I-,),[A^ΓLV<9 [%ZH CJD{>E"U~QqZqRՉRgз )`yeO;,0\D:Kn P{^70 ۵9u1=)oFsV"C_@)gjJE8a.@leC*Tk\\!G3$$%OQBgcTh+5E%sЦ͡X,֊ ?=xPDHD'Ew$,Ia^(|\0SRqu):$$"|ӻ| (dWK ?ݷ>O~豟tUciZ]|8e4чy0g RI l5O]SV۬Qd3-f_wѦ!=gQxZuS@)5z}^52slۆ'GrFcS;@ 󌸪{ߗRX~ dz'8 @E?¦HLAE%ϱzU0?SaFݠ=zX%!K:I:vd]) HPF"puf3PjiݱE<%YFجFz&feO2MO"#%h$5\_5Mv0*p1b'Ql}fFbjNDk:]a.jʍﶼ{2} ){)bluI2ފTMDVRG4s488!^Œ/ K=Go$:Et4ⳍehkVhk,?"w*yrS1=zpŽ"gpDL S |Qz Oi@o%0"!CF4hyWx^p:A*DmlJ)q6WqYffdPW"дXBNz~VwR &kHCwVwP7*d@oUDP4F O 2_Uu!@VԗebHǑ͸i(d_̡W{n3MSo(힀tQ_GoKrHʻX\])3"_v|6[pQs> ZTrJ1 " a3ZN U<%OUXSt5Uwz4$1RDi !or^p|EDԃ@3_B"WƼBg+τ@~Rorv c#y hEabGw;]7ɄV `0{vsQ8dc6ד Ȋt* ļN ZmxԵpS`q'AuLL\5vڴV)~@EȖNJ++JS<{'`Yb#j?2㇯VJ1@17H A#%E>IB1/ޢ$Me:wx^Gax#$eCamzʇ|8׮:O[\# ~mf.2Qsy{TJ nP>5B.8a4o4?pꎐk5B "[7$ϿܴurM99VWy-/r߭E*"`a""T6LX8Qca 4iB(f)L'i-}.1U%\^<bw3aLMOn4[Y՞=4_Npsh`%cH O̳8dlW92n(!`+4'(5bC+ MgLURRI`BY`{pmz69T&^͆)cM?Jr׆!Wױ.fw`z:l1؟BE9qc9~ Kϒۺ1䚅^ډlMu每=2Z%~Ln1-5ӼifQB5/OQ֊;+v4ICn/n[c+*-ЅȸBGӚ{kh:L٘#p˥̰mX?E]M.M@>IK;.:gSk@'ѶLVxl\0:o">)f8v6=iף>V}ƍӊqoI#湟<~c^=hgrd5?|߾ QN/={vss3:A^.}/WqyU=|o9Xlծz'_LԵzl ׫B|ZƳ]˥-1u4M-*j {pݪf&_%p$dOsG.Dgٜ)mOCdMk9+V9bUj8rX>Qs=$ [Yep'z3MUSn"ǣ_Fv;3yzl=6Չ13ulĚE;eQNm9d0@UtM f+;(.62/F!Zɒ"*I|_&g"5ŝp;]/2zTf w"wu fs:Mj rS*_}n ]Y,@Tϖxi{~:4޼ZFP;YqL/5/ ;.7Dڕ ̀ðP# \ib~,YB;襁RJo5le-;)RQveyUud.G.iٽji79[|/ zjʣN;lA}|`|]5FËw~4j(Lng܉:f4Ãu =m˼)_lQQBV6׶`sė/Y_댏濻2bSC}B/ô qai}p)lӯGs۽8b[&`d> u?OG ^Js- s$((K"5S6 (9!$&v3 g!=uK$N[1GUB2ßCV.y fM9 yZFΆxbm ٸ0a\Tajg6 _G=p;eX cNnЄq_$)E߆M쨲{&VCUE ji{%;l ih£p%4ŤjA 9䄎фoſn4G䈯-ЄR_\ X2 Jv -폧A.4s_PYZAr~wYWtu#ژU뺄j\5VF2D9O:l4ᑷoba YqBN+2+g5 o#l"X= r xj.R)"qoAS QEv"|o݃mi:,c2/b:x $dn`&"єOGL'$,{j0nAL# Lt\b"$U">82&G̈ 0q-mI39L׳%cqe睞EH y ߈,]Qq9-j-b<'"V91|I[9.q.Jvi0e όbKT҅+>vx"|(֯4 Xi'=cO?_w-[@3 1}jcؔzkT'<ίkÇf[nUP Z4P<.n(D8j*qDjTgtF X:!>M#薺ɀ:YU̖YC^Gpu~Q&->Til עȳ<Ϡ]2ƣnHiT>M[ͫLO) Ñκ t7ీgTb߀xj@@S͌DVBݐ}UBN_0Ѕ}aZmnL&bwS* rqP [XmM2`DY%o(CG: vLUɦ5GX>$ { N3 JVٶ`Cfq1rZZ[P>Ιg |);^AҕhIaU%TbiS3ӐӘ9?C2e}&v"f&)Be@ W pOo|̞O)y9k={è$yͰ*=Fyì:fOY`Tw[hkd (cgԉ, L:6y~Ԫ9ջa,d0:cc-*Lquڜ;gmh6laWAQ)|ECyyW{ K*FQ֢: *Pip7I/} +ifb.pJ9YuȊJeaIN47*10ɘIk-K\6{}/*P6S+~åAKt|dz%hEx]::Fgv@vk2Q=Dak!QM9T_F2T؜| RX]yWW\1+Ku.w6u.?ZWum5*JJ $]e-1y}:{'/JӦ5ffdv ,y< :fVޜ69ixV߻䤼9඘TC `@әmfOToP3,l\t8sjs:k潝o[`+zo6B HǎxH`ihl`p^/-I4As1T1N{ VivE/v;iM(nt&mZq 6*7Y(KGB3"mH#9z #m?>k㞍N쓸zascuڦT>[F2j@hFyhr l voeO Dllw?NXK99;mS[Þrz$A>;I&pf U1ܬ*| gEMggn@]jޫ/}Mڄ5*Sz 5$?m4ϫd?Ms)vq>]bl =ށRaK꺁ǽgZzk7s싌/8tȵ .mٴ8#dzhp|Ld=r o2x&o硣4hlIU`׊;D,bVIxvdMs  _ 7ݾn;;]=LSk*ǙJ-Κd{#sobu='UofKVt^'3#{#ބgg@ڶѴqu~=D,ckyx^G}7W70~fQnou՜|b-c%U%lr 7GDY ` sy x¾G]q]ϹY{@ryĨ.78PTGhy/ɤ/hPYiP[yxe.8r$RH`}aATE\VQRRؔ:/˸l;~I'VaxLH$M)wQy|g}-al K>Snac.6!y @൴re+S -D㳠ص!Z-gOW62ƓE vsrʊŰmϛd-׌.Mi楫ؐYG.gx*qR}/D~K}رl6LNIF{G:97/x΋2ie|U8t\3{J֥밃mdEIk %Ë%6P8ƒ7"+z-^{{>dCǷ7-]7 VxDl&ޫ\]Üo&U$pd 194q4sl_&{ٸ?=_5l\>b/g Q#G뺯Ћ^hԧkz* p2,.+w.kovXh_GӀ% WH7MV im=~qF0Ocu r ܛ/XvhʞxTk@FYDWCGu-3i}[eu(.x@Ku+uAb$3#xq1F?>mAp2 _*lʞ0&͗U)_$ҽg8H(¡2"~qCcN )*峤kb6&Ee sNj46p~o-nE/_~'ϡuj&S_Ɨ6Dlʃ!T/ NLJXO+.y1!bLicɭY吳 y5!?-r O@1e {NPKpNŏ $cnfformula/cnfgen.pyioF;+s `p q.dC1E3CB /ɒb &9o}FE^ZUOTi^.gʦ?U% M^[*n &!/\*H/U!u]\mBǹ\qXWiSpْ!JRBƒ\)eQ S G2D8\4_D v)&YA,- J@V-KPy{I5/tZ"_&62Z,@Ze먈5yɡѺ$B.PHBq^| J(Zo9K{N9ݿe:+kޭ=lzkEF># EwO`_s< xLSg@J`i I,P:A! %.[!c|1fxf[^;0Fv𲺮d{'7ݭ@Uk㽎x +++vѡ*~(i[-^+8ׯQ gDr?Vwc QUKXRbȅWYv:GB*T iP@0T( W+Uth]VEr$O`T=;=7uVbO[yE鈇˪Z<8:İgґ?}6A?O/z5 qUUUhVgLeŋs^Lym $FUI_+KL$8qnjWt4X6:͙Sd0}J. TR#ask")86huj`MS ,!J׿wGEMФ}X{~ڎϊ2)yUy'bB EPϰM+ ey ًͨ7A Qr>Pn}@J%CAb Ə"Kz߶+{ً`aL$hu-jj-$ F (/hi0pr|OjzW|GF-1"Nچ#XH5JoДͰ %52_HU/=~e*W([Ѩ_Xmؓy͈#ZZs^ۧߝ ISHVqNuKTALҵ/Uu}VQ})m=&3PQ@ҏ{t;LD=L}-%jsIkO&@sոn[=>!] g1IGzN߃=mp?&;rWXD@ǣ"fS4&1dvWڦ+NyؙZ38&[C^dM(i¹QvmNoX1Rhmꎎhqx5uIB~R=`c v=5*zDö6C\aEun1٢{xmw[Y!eB7[nz,X<#o)]X ]u4T֪eaRv_ȵuPzl[HD;ƻ.~,7}1MrH*|:Q'}yT(6f.h;!p,n \{t|gP2 \m3NXM^.*7vPtQjVbLx଩l\5y!ݠ io(؀nKq93]'1#XcgÉlϐ,<Tv=rj2:΢2L?'Siԍ9(D1۱&EYV-sQwvB?跉~zɪ)oii{)ҵF>b?1l h6"I^5RJ:WЊcyĖs kGF"ieW.RD`8qJbkG^Z'3W˜W>2#&J='~wi06/(Wh _{8CNsk3)aw'{b9~}vyÇI7wQH4O6IIA%ƟZ~INk*43ch#{uUVхR-__Bf q/B(|!8'w/` 7Lcng$͇>lkAVD(dF]iu:JmX6WWr͊Ag+ :ieW]ѝ?Y"<:=~+:}_2\]=8 4r~& Ycq뛺6==(4jMWO@_5EZ\o^O& ~ ?{.߽Ŷfk߱ga˜t4ma-U8Z0)w~u ֔ 1c 8ֶc:ck{N3S_PKpNalP cnfformula/graphs.py]{s8ߟԕ$Vlmծ+dKmSJI[L(RKR~\*' =dfgNDdh_7ЃoyV<ŕX68x ļLd\z,ϚL֢)2)K).deLZ$Ed9e(TVX|RX$H*]yRtg:M|:jUVL^t W$=JzQxDY=MKX$<[%U]) xi-;bU/$%8ezIO ].˪]]ؔi./i%/a ^ 0z\r 0aIu;m*) |e|$|h(s Z .nDVT^$~`I?&"/9M,RT0-ym fZE*y`xDGnzBn!b֏)"oaHgd :/Uߢ:_c3.r)RG?`/Dm#o4mVզAT \ǛгQ_@Q][UWVAoo߾y{"^eu \gD\K1Olĺ:m-Z::X;Ր^ɛ,"@nW@dݐ*Yb.Ey! kO%-)*&O[^so~vg[sq@+%FV4O<ҠUyl˛gL͔0TiռHexj-ո8ey[|`rh q!l$؈tSGJRP+khi1o~懶[Xt*Y4S]?_b@NJ.2ʢ\_.LEJz=[6Ó՞8 f1`)9֝/qU$%hIB?yQj ApoX@$>"A304*~>*,,NաVlHk\dE:"茗eCAFn Ӓ4JH:u1oH4ՌH Vy*QA2X$W#‘@&o9xYƂ\"UenY{TjOy7@t5.vhudKA<&fe"c2c ז_-}؄BJ#PJd瀲=]U%e5iVNrY0.ܮM Ml;2(ךWYxF\L>E-RLG re5@zEɛśgYJk7 cm@~ϋ7@}=Z%zUBkM +xU;ae3q$B9ϖuV g,["ǽ{ûr҆4O@u">}6c;G*㸟9o[,9XzJŨ^07ZGEl2>9k ,+pGB+߱z VGwl3!!U9J.b vSC-&vϾmЊ>܉n!0z]ew%rgiE]09Jyވ\2oM8ۇ/X1&|>'-RR\;-+9mʗ4*duH=9]`pOLmDGBԛk_hv4I轼Al_T*mtiJOoFMN݇;p֝1ܗ@/0}7T4փBDgEP b2By xl^uWuh 1FO0Jy2_=~@DA2e[hC Dc(ʡF-6$R.Q6KPy~;p$u K1%3 Fð>GѰiJ>+{u$f__ v|Uh(n.e (i Qo[=:N:*HGD91))]`q'6ݧ;dPXM41BS VY!do0"A~ wӒJD'RcI.Jӱ0/+nj6Ti}qq=tp]bG|6Dw!a}SI9$zk)sHfI8wydO0QsF^ʋsH/䊆*JI&!v* uq&xe.͗W:qѕ!pfZFo5pH]eSg<-X}JhT<-c#|[VN[:M#a,ZM .lBw1!ϸiQ| р'~_}kxrYx!}jt)c@cIӳGcɛh =.fQkg:Dd)lIJ-.h:|r|y[J0',ShB[ÙBQHjݝAI_;m'?xKLm 2-̍K#F$+hH1Q$rC?RЗ'u۫'1W^&ȭSA]4 ,zsNG pSSD*).`^<w t]N{Ya6]0x!H!8tٰEt?s&NT=NZB3dho:sJ K>"STq=|2J0Rb> MoYϱϞ˟IO}Wg3r/a=Tb(h*>"m-r5 |uxc{w6cj5YdR1rYjCЍ 2^,]H'mX'fl :ώPs8N֝:޵ Yh,&:TWBuNs&%AaR@OY1Rp-VR0fAr ,ҹN`NJkD)q;:bS]iC{KSs[*b`ůCp"lfwlĠc<v~Y$6-˲T-zgr@Wި Tf;YcXNG!*?-`&>1s-*ӒKU&CW_.^} $m>NӅ/^=Gvx݈{;P;{vgjXʙ^:DM "~v\ #ɉ^~S[uD 尓6jqPj[v@kCGR߄S@ɛ E][ AX^Mc  dpY;;462K%Hm kɺDQ̎;\A}XA%*)Y2󤘪$,Y/ wbm߈ґ`ON],u02ƒΏ`_4h!x@Q&fBD1mʏ@ߞ֎cjr51TE@ "~Rj=Hwyi!Ӂ M #?Q][;8!PO,FaR+~әf2Oq۱B/H7%Lrec=wCg5! Ո**xv$tpC7/5x]8CbN'D͹`NeWsvKT i#]^r;zQ )T_g;s/%0m+gCδI\R=ɥ䪫vLjt &N8%qOFʬLZPjlBkpbEp)%v_RdKgX?U5Fu`R `D0&t AgHd8<kT'8 67ݨ8坄u}j݂$52>,:{Kr?P>OUhO橢Sg{)0kaR̴"1OGnM6Qp\޸ vcz>5Z})ڠ ]KY@T{71?9U @UF5:ӿ!bP+ [$ԁ٣B:|f 37ʛ"\ !LfL\IuZ۲{,J&aXԅPyם>Php⻥oƦԶq@y:U,x-|{kjgPZ(uㅓY>EWeN|*nJUWa/\ߍ )]l6$[ "--DP;j9 S8o9Tpi8zKPFղּm L\!VL5* Q -f:z@1ȪsRG# :3kT-1:Y^‹|W%34lﯺՑ :,JZʠJ<7Ma//EWt`8*Z|.oᶝ=Zǯd070l8fXNƣѫ^J)q%P-t~Dsg5W- pl M2$}!^sF'tng-k] @ j3$LW65TUp5hǘ0M3=!ƧzG͖1zE/GEXm?scP Co0[6W[TֺcwَTapziU9H%28xȐ7u>:+]NnXϞsC4l3/ :^(SJ;EC]؊Y~4 Nd|&M:yUl'vULŗ7BI(/@_i!ճ!x:SJy iĉ >?rO¡o-NS7tL)t.U _/+d0c?2_"`uJEfn1qE&}Ŏ~CGD bL:tϐ:;z;dUVH\_㉘ 7OH+v*at}fm*(w(tW 5'uʗV?)1&-vuv{X-zL_`L[ynu0kKKNc$Jy跙w." .ԅ{.j/5u*8z|8x|xPf+yIL+c7T"I=zhd6oG2T%YEMsFܤV3kFz ?!WG.g~}sI9{g1CaI\y/Tj/\/м?fNw}4;=lo>|ۺ^i2JçwUβ:GēkK;X AC;T 5eS~=-/O+mњ, -C%m+̀rʝ6k߸ vAث!5?e84#ʻR+s\p·x02 09p& &^'04V wx6Xn[%6Jh1#↰ Ρlc!,oMHTC .k+(u(rpffs}R@S=7ȭ09 /XZ!_$*wh$":Ug]#[P zFgҘA ",QnRmH$<7O),m\h5-?eI珨>no֫|k%om!= D<>Ȥݏ#xwP;+ڡPKLG}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`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/?PKpN%{zcnfformula/families/coloring.pyXێ6}W K]YCQuvwM$iٕI {/r\%rf83gn'ݖZݮeHN2bL2sf3. \}YPM̎h @J+a99(.^[`QrO2xRr|{\9~ PzE-׆%hL,u~OE~ƺ{^pXesSs1Q-%[2H@Ohf<& *Z" !K G"7NJ.IBhal7O}{p׏\) "cr]R\m$жG0-~{SуDf+'3-ݻM OMlpQ%zHpx>xnW**g~#5P(%l 2(鴶)X2sE-B@ű#D i-KΞ' Cs%{TѰF#^mıǃGFrirm H 5hܠ(29S3u3X8ybxHjZφ `fu̙GgI'rv^E\=k%W+ݮ)a +:՛z.@0nي>|x1pQjA&'7_<_z9 -Ct`DMUZeIh |ң۫3Ds p4I.KQ<3oT@-Ң[֝ǻ>ii_#>pM,׉mv\ gG&rvSV/Y0ҳJhA.V${E^@@ Ѿ]*rm ԛEs'`ekքIݎ)آhz펢1xIV1JBzmM!VZ2aԮOΤ#Y+`ҫ7`wj[٢/t\4:6Zr\w(~)҄Z tyޕy( rt6-wIS-̨mXHUNb\5gD/U2tYB|^eBǠaab%ҸzJ&$<}eL&dUwQ}nkƚ!!efyY?R4Q[ X_ώݢ*Džc}U2!ǫEx,pIs]h2v-A 4`:hcm6#w'&@fuThmDA;Mt7[˭v|QZ#k17Cgf RW F.Q;&H'7 ODޞĢ{:siS:CחVG>ϛt爫Z3a쇡[ewG`Ď]+G^oM cNurfXA%B[Lӟ[pIi-W.1YSVS_lx~zi[38hF ,v6Qb ђ;Gcf`zz6lXxڛM8Hz[O9y]"Aav;B [=ݬnWl{uy{n\k}¿F:J˘>ke|6&ϳ 3e=55g oPK`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+b#2XS^\27]PTD,/XBf , @--8"@peTmX30#<+3IJLfti#o%RP [S@ OctzL*0 rETW)V)(. A `5 o@AIhQbaa1z)hƂۣ;8}j>E>}(_F6R$`1<,مghzQxC v 8 / >۲ƼsfThgs,5wڪDz+!Xd4֛6nTQ k#nBFKF'pp;p Ⱦ]+jzv٪x+jʆͼg _ARYpnnu -"6Dd5}pQ.Vڦ ѫUF9. ti+Wek 5P 2Ia5)-3B;QY< *p8JSM$BߔOdnb4(eȂ R&40x~RRt)KPToQ7mQH 206cɷ8MǺ5HHۨ%5J Eɶ^[}^-FSW +Y Iqد(]XOPH o!vk~[c q!lB #p@^28%$Dlۛi+-Y\wPd )*rsIu8۟!^֭D_kއ|}ךؔF\`WAsAZ-q{ Opyڶosa}-||TnBX3°`IS'zf@9a՝~:TPVdcܒb6?Mn[mJ)8WY_Bkc@bsYS |O[*}US%}['}߰fF5ZtiSd9T^JA5Bw;#FA|فYکYѶYG5tt3޳/ziwj;&3\)zl/wlLҸv|M?PKpNX6cnfformula/families/pebbling.pykss+.tgFlKNeƎ&nɳA$= (YZ$vo/|ÅjcTI]-FыM+^I3dZB* R:,Ն%.DMʊ=ZR)_"7䕈/DYD[\ Yp،% ~R*JIeq, B(E:gM\3YH$$s$' چ9-%L(v,Ft%\mI]ZO|@_b.K(ikv z]!: qE혙WBl]U<|xyydQ6Lb(BzwW#)SczP.svvƮa=KDMqE7d.e+sB&h7|O|lL DV5%p} &yT5M|k$Ӫ#6¡k.*$-z ]㻔՚i~ċ12 cF4gK~9heg?U"Ain-y7׏>~c1(tr\ow0dٖNM31H^q U{RMKvj}r 𩶈N⾕ ::#v3vfantګb=~O6R,0AK%`gߜ&ѩ@ 8Bd[>.q+7860;phiY*͔:C{Pkd2W})PLqVlV+W &dRmBj}YN1R jo+%ߎM"7qb!IӌHwv] ]s/k0sïPtنOU4PK TIEV"Pm(Oid*7s:ix)1^J#c+Aj z8 gHu*P'I@uڸjK͔c@; jumb1Ȩ[bpl }G{i)bܗo frwIF{[%Ff"-IڶqZq~_ 8ƨ3PxC6gEY}+ "?{T}nGe{P(?cR33{ҚY f^"gRl'ra2oG4fbiH>,28Ur| @T@簡I[ tMkR"ׅLı'ӝKu!|cOgfEwp2GpYIJR#xu)|̞w.8`ذ^v!^ݐw|kׯ:#)"6#D2f_Mȁ{\@Cb\ w (ɟ;!niィ NΝ?2 @HUV۸Ո2Xk=ZgvNj/fvT(Sc]/ No |#&57@}cteԐ`nN@žC4^M MUjx.bKlDdenm.4¾$#]?/}_ƍsx r.cf~7$a7qx(jU6j`w]g JDQ$?$y@ v o8\LLVG/|.d?Pxtp0.@ǩJK;wGq.fBi(-a> A,2;aXm 1{ QgQ?{ 6CT,| ߍx u\ʫU]|2ȐXQ`xe@{PKpNdf>K"!cnfformula/families/pigeonhole.pyYs6ο~tq^M&qoq=n>vFIH_Nt]$$QdX._Z=d\׬\U"aX\$2_|?^YLdbΪ`\"_) c Dl^NeA0WE|nadVb?nOgI*sHɒJVTrHK,pN%[2ӢA`?o蘙LRmeB.Qa* ,Ka CX԰~ȅUDEc g܁uN?Tȫ |вa sT@3N4sy>1KYseŘ9iY/Fs7L٧3u/ "I-bcUXcJ :^%'(T0 tz.E2F p%M"s\IWڄԍ%yB,A5P@Zbs6:;az{G x0toc=c3Z!95Ss~UF3OLz)N9W2h 18&pk͸A;%s*uSYL@0վVZ0pm]Sy6ڏ E g$Ԧ\{c^]Ԭ5Al9L\]Ŏ`G ĺVzز׼E|ư80t|E?Eه"Y@c A&[ŸJ|u  ;N&8`xhR$Y"إcִ^cg+% `f# "1$ @%&md4L6Y 48B'CE8yנ w!J+Zcn+#K .2aYYn G(2z3.Dbmh>іyvz 8j& Rd\؋u[~9ȐR2m C^ٙSuc)][fh4f߱Շ( B0+.5 _`hOTffWwtrl,b0a.؅6`C ]RL7L?p95cBLµv>dl5+!ʧm޽pD.;;AmijxY ,zI7/-1 q:QeE^nq`i][kjJf JpOE]WT\CW`:{DosWl`e{ h>D~}:lV&ۧ]yl?BMiXGVnL2MgӑQѽ2*({P b:. lGs;("pB )%ѐ|]'W+fT-]߶q+I]v0m}6;x^I%̪?CXɅD2R1/H,ᵁ(ؕ 0)ӂ'Nק=kaBetU)!~;Lp?s e5}ǘb;]SC 򤿿U.5e:`{tsޣ01P’k bT4>z=jt?NPKpN!?cnfformula/families/ramsey.pyXmo6_qKPXNd5ɰn/XֽT- -6gItIɱl:qt LbS<>;o7Z=1f0]cYA&sQz^[[[#8l a(g^!&tj^dC%KȪ.+r*U oQ慨!+E!v5M[縯5Wn'3Yb֤d՟T7+>8+VK|0Sl$gձӂ0~<抃|C% U!&d) dD1,JŠPKpEв40dqH砥EgTI(e%1dλzVh]vWǃǃyb%li3-3Lx\XaQb9gcBs} Q)<(3`|%kJ<"CLO11~5o ~mdUr8FV|Ōf\FcTJi0X ̀py/էu|`ŧXU?.mxu`Vr9˹J,Bg M@7خ+ %Fuas:Ml< #=lWWWK"Q (/1V͊C/:N`bՈQmJn<rH>& P|Q }CJ4$ ;;X'B6bfOT%$ 8[2=d'JKyx jOyFe{i+ruuQNg|D|szC+Ӧۂ53MhrL& 7#AsѸ* -\,% L#Jt庣#ۊCKby>gpϻ:1|0qh5:v8uti%a`M?}3(N知Jrz|WkP`7SKջ<X^6n&a%a79uo  moo7`X^JM<}]S*nIΫ2 Ch7+ze`ll{wjΓtk:ÖK4o= CFݸc~Nyi,e7ӾOS4WqRuiv3^Z ni ,`c߃UK6 3vt'Byuz1 ؈Pg9QٷwO|C-N}6OF䝗wEN"^?4 ceҜm땾h ja9}\#0vo\̾wS8l`K_-e]?ʯI/L;1<_{PKpNë\ %cnfformula/families/randomformulas.pyWmo6_,|,0b_¦Z4r^b' ɻ⧫NW = x`yS_uflˢ{vߨ(u(ÄeaAY()Tn紖ʼc ;;^J)`w֚w8tʵ{Y4:YE hJ0%(ƽ"l{bH=i6O)Q%Pu"sЛɏVe\bvj*k+aN,F[QS?tf4RBL1 OH#dPi(0㎓+)Rf4 >n! NY@>OUt48k]۷RT*Knk nzӰW@OthU;n.Advj/K7Hh F"<;T'"c`uw 1yiLei:H ?qr/Rbrv2 b756!G#u7v4{Ot[]n&LQ 3WC9g9LNL>9 ':ۺP=?8_SFZO<B]*#5n Aq(k`k5UFœ>k'02 ;#h0AjSoVe&"%kvA ^IY'Uaj>|F:ض`=.IΔ G;\"?@1 +81A3aL!=2n+^)/~=@"'9lw:9]ESQ3 ~ؠ4](2#fa8hZPEFAR0FƠwќ}S$ug#*\t#.IJM" i0 V@Ӓռb\ȍU˕|41R~ﵯ$6 ίڇ睭 yq\P_7g.EC %і#*v@+tx.0\ hV1þ5!p{=B[Gų%EI/gIf=usI+X ~ @i1 _1}zkkpmacNP >ʴNثͻ/BcߤMҏJ;|=/L4=LLqX+(,F3КQV@Ï\T±\PRki4Zdha3XnwaZuWCՂ]U 2be~ E"9Iй]+@Jؾ˜;/hdϱ ʦToxu]{{dCuA򃧾'1_6/i &p E;+$,-Y1Bjxab^ߝ 0O9̫淇ԜZȰlj,yK9օA=z Y?)w9q[brKd: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"OPKpN~- *cnfformula/families/subgraph.py]s6]~81$xhGJ*V,ά~LqC O=, ͷTrYBՎG _wEin(4rѨx-Z4 [XZNsY3,zb/4-%Va&5-/=V c`ާE)V(1$ԻWIUB-_,@O+mk&7uMRЛB5cf2?IHNEF N{ W ēx@.hUTJ% ! è.GϲM&"".0 BOaAA"c,pB^r[$5`t]2k4[it}njK9")Z0xp4l݄ (4Lc> :xM;%Bմ J% Zr=H 0x5 gE`,tuOm6j hSYbr:-aD^@aٟqe b~z ?q]%8?ahC5N#Q6+{y(-iɠ;s&=Sqm48j]hq[VfcAQkFp0 Nzαjp'NfamelW_${>JvTwW 1~-Df`_i>M~hj jk=4UHfQ'SW ò\(Lw`_@P͡ɡ7xހ<}pKrq0s6ƞ3vL{3.WMvcobs$a `^9B1{FÃ3"׫v5}X%W >GklBs֑RU"<ٛݜL[VEhmƢ̰}Dk{i({ʹC;>%Pg^N@ON{*$tLv[.`_m-7pƒ yAWm''!N-kꤳH}:WchuvPs,w|&?`@ V1!i$aa>S]:k`uz~ n9o`[ȏ̾)2,|Ƃmm`Lz`bcJ^a#^Q8$ ׺\Ws**ad8=5CZ񿕫T֖1\go]o`ufhw28ҷK"Z(Hl#m՗e-6lt53tV}~{k37".R/2נRP6e-\d=NͳCƶ#!pDĎ BHYq4͔kw勁ةN): 6du72i{:53%nC~)̎/.XTr'֨_B~hb5{/?u~I0L=6c/aàQ=9y]4F [{sr>RroH_k.Yy\b{htY-Z˫íN[-?h/8DټPK`MJw|gB(cnfformula/families/subsetcardinality.pyWmo6_qK?l5Ia0fI֗tmW4A?,Z:t(%)'^;vlE A }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{kZ5}ԂC6#[*(w;<8* F1 CAڋm&a GgE=;' Р `xmg.^KH4o"aZ-Ms:׳4m_ȏ2\Ԕ .|Њ>Slo|XGֻmwXG$4-g%-t uW見 6m =Idp&յZrP8o}MlldO?Ɵj҂LW4O}K.4¥ؙLciipCur{=dmGv86i-05EpH'RC^A%CiZΊ1nRþPߋmr\,ZQIT!ic~q"ܜ_^ aS ],>+&=D\{ֹK"'pX!\Gap ]M4 @Zn6: ȽaM TU1ɤ K3߈!V}b朊w8]vz Ԕkjپb~.fqq^ }>Rpʊ=G[ :>o`]sh~{X ?PKpN~(U+cnfformula/transformations/substitutions.py\ms6_DƔR_n<^L|SGR"d1@ WnҔX ,`/:iӧ=$l>I8Ϧݿ\4^o¦$'qgy.!h:,˜x>$L4 3OfQBSEҬ7\p, ݔd$|yū_: =Ejϒ$ZpbxRp M@d4 YFC=э8|p3Z4Q>(P5ǮIYUVy^s2^Q__I6$Nkls `hh ʗxo4Pd`P9(ȱaWjͨt nՁ*OG9t,U8S*a\Ӭ(@hJ#}z=dCe<ҕ (^Ean2r\WuUUsh:u8ۭwky|QD5Q(BB2審VvYc*~ os1A hH?*vޤ9hrrp)Hzur QD'fӰ3PryQ)""$v( (;© ,$Um {uZO!)VaMuŇ #eFsaT])*WM[Ax4wMEJm*qw+ `I]wt e&Mak5l^~O^kԇrLd?/fLK-虘Zz7x:ЇsV.]Sqa ^A*q昌82TB u9m_`+DdCvަYq8\m@20n])9;j(V|"D $s +YqWe5gSn6 R? ,ABӎ6:Ìb{k)bJP2CBjvQ1G!Ԋ8MP6,{E/j:87/wr4ӤmſX dP?L#wsةR;_nƘ!73uΠ@-fzŮ=֧U' A 1ЏTP8yBUٺ!:(=Oh'9qB? .Vs-q\dTjO~ȟ(XjPnc@v 00.+O0afَTN 2A L0ɨhupp9`e ܠOΩ\^htu ^Y<8`:UJZkv]n802 % _xC'3bYZ(lA,Uڥ$$<9dE0bY@@VC"(.QQ6Y=JxDʔ sc˝MJ`P'>#r`Jִ8-``Ǿ}Ym(L,_TRL0Yk!Fg5G4:GG׵z jF94<8ջٻww|ett?Bn ׭/ofAX,> +MRI/Ai, Z6^ Oݢ(*!Ms]c=kIXB!kaɕh 7Ѕ:0!C/00ސXI)`:BFAaѷV!KWhSU 8oPx Ev4P-#UG>ɰ8 ܮ@3qCpY EPƒk0'@Mx"j*G]!a%$gO CmrjOfjm˒GK>nE`R.3 f7jT\/EB QD>DdKB*&R;Y`pjjJ?GbhJGPr Ŏg)ehtLTmdHt@}2^]>ȿפ`ί!t F_5Htm^MLBцDdU5HB 9\k6(ں!vijR%ќXk6?\g@;RuH) olJsr](뻽)DUiXp\դx]Ab hf n2{~)*kx{?޹T^ӻӄ7L 4y VH,TZklx_kXܜ}a }rCG1.ә\7&4nRkhs+[1[5u4S98̺_G&q1e'o*uQg /9Sm7|nU~_RԏX>L {7+4OEŨeoWׯ-]n`x8SP2xyC'xtbrxt6|^4~4<^w#֒ Bt/od)mRö-;]0 aYC88qta{|w,OxoV"Q>ݰB2#Kr r}GA_ 6PKpNK3cnfformula/utils/cnfshuffle.pyWQo6~:($t6ӀhE[4^@%f!*I95;,vbӋe#œyo|) t[Vrre \-z[d:5J} u_ deh;-({7[3j&+NjZ2/߽C0 Uey^z2X[t6̬Pd/V Lۘ&l2zI s܌y3Tšm8YǴЈfz. ={0t[; oܧWZ+ﴐ6^+QͿB#!mwkQAh1S w1Z'1^ zL/4i,k*AՀX֦Qw||kGAvv"ɔ^aN)dzRgXyQNXoU2&DdrićU+Z+u̮%3Pe!ya)N>9|*nJ-:zNڢ| =%.d;dZ`2Q+Qb=ie`F`՞$X5B_%A5Lze''e8Yˆ!3 gpy'0qʯҔ}ێCI5o:5FV52=Kܲ 7UQz"-{|runawUG#kU$%'ɛbD5arc.h;u`gK`:#K49j"ἢ_X]"î-X?ט!v4*`i hf]}ϬI᠖_xI}iXbwf){*kG6t(2ȝ0_d)Ñ|WqVxQ Ѥ_qgHvaSHݦ@g {$.bnRGʃ*;PKpNVG #cnfformula/utils/dimacstransform.pyVo6~_q$i0A֬XܧPiJJRN"9`Xx?xYoF3.ld4/K(U%n7DflnJ ,Yj 7`k5ӕƀ\EѺmK xR-4Brh=2oE^??_܂Vw@L}qu]spPK)ӁZu4$$r߰(:/KY^n)`!&zKEQY+mAat[Z H_ƨefdz1m0F*mK^"ߒ 5PƘH\zK-}_ /2VU ֒xt@iq{nvQ:N/N/ke{iUċ aԼr皬2`Me{e yZV}!XM"X]vH=qH%>L`RaQjc]P/&,"zI@Tmʥ37as£a{~% mN$Dgʔݐ\ƓF贚6i6LTz~c`?㔕Xyeq:0=ǁA\oͽzcu-G*cF59r,4)\1s EntŏԟS-,xeaMoغkUBȢc>?43O9|D6XѼ=;q 5%m'BN!VϯV;yM~uIp#pGiqu[jᎸqvTh0IKOsHse:uY/ya>m|X}JkM̝~ qH\3*F2 ' >=矬%b EA9E"ExtPKpNkm: $cnfformula/utils/kthlist2pebbling.pyW[o8~W!jTJiF;Ӫ< 6̿9ِFAJ0}6g.z.r..ؑnoj)3:_B\TlWFX,pÙ&FMIJB&=[ұɶt1R6`WGbw,fMǔ%Leɐ&:@$!LцSv3\ p4^o0\5q y˛ƅpKoGв̨Mכ0W22}7v1{-3tGUѾ1izAtr &}d 鎕 a, zfL8uPBBҪY&to1L(0yj9KZ\x_~+пqy>W'>wc|q Ά ȳL<ȣ^-+#y#h0ք4F*miYPF.iOj tEb-mQ {!u=YK_c/!_?G^uLP!kYꌋ3X94IXarGyCscm^HgLc}(kuq4rtJ_G;>mh<A[{">]::ѭ#]X#|@V7?wG3^vL_ "VJ@؃a[eVc7pM0d8|J'x)y|$LOTV1ƨDH8oע‰I+_Dhg 9v2仏 }!X83C]ғ5vasHTꤣNr M +v<>t F5.F'NjV HP஠vv}G!؀J9S-rc$\Nb䒸_{€\M-c_җ.PkhOڋg%Y.2$̲ BϢ> PKNlb:<cnfformula/utils/solver.py[mo_GXS˽ P 7gFN\C1Tޙ.)J/i{E8>3\|Rų!qfMe vT8 SyER傽82^aiU(Df9WL%UƗ\,,I*ɘJJC-b7UB2g=@>L %+-t!$Y^2 U|TZpe DLq16M|*K-CfOmxFz 11  "8,5'@t M"B?yU".gRHs#8c;3DXڡ*77"{B(d*gyqDiMo*$sPSCk1w"7D%"]C%KΟ+kPȥjP2I Y}c#8 (*0yK|L 6$:6_ÃR:ƒf\)DeUU옩E~m,1{nhaYR0; 5/5jXPUV}38(R8+(XU!h19 GZNCM @z{f3 BkO^d x& #Ak1DBa=3n7]rmcv[ y}C|6D,bSQgH4I6QsLA!1)1md׫Lf/#7DA'661Tȋ"ɭZ7t9H[5b3WY֍'{t|f{A IܮbKi(r溽YAEUb6v'W`EH$1Jnpx ܑ>p 0~ֈ(Á\Bq&@O~E86k40&p٪݁^hl7.]hA!"5몶ゆ=D/1D,! &z-ݫ3Kj/pƯMrS1|^6C,t]LCؗqV7yZ邧w>>/6m/bciwbzW:tbre +E;@/NnX~V|^e]kõ5m;y{}@5O1U$"ܼ9x9y@ƛ"Il褍BL$t4|*URB< 0f=vr}Co&v&vuIxb^si^@S@"zk/xXͩA2uu. /Qõc&GrN^u[? h&"6߶к|5t( ߵ:'n9nw^91M)mR70CH_xZ_x n_۪/;W4ڋ"S/ky63?zj/fN1tmBN2+\?7ޔ ,jV1[,t=. F]Q{Y?@vGGW79+WS;cK'ߛTګQ-gS7Q+R`>NU:Y}@|eu.~YS ]3Ooz|{ C {uWSU%.6U{MIolt^ 6dm۪\`z݆yU_o76P B5Yx-֦.5{0A+zܪ'omWV㪞6W2i]]+#cu lGᎷ v`gիBw7Ϳ^6Ku"2Nu OH0Y%+ElBUx )..0'jSB`7PKVNl/8CNFgen-0.8.0.dist-info/LICENSE}[sH{ _,Er{{D˴3d{v@(b \\Ds'2.IuǾhK~Çɇnz~~{5Lg3۴E]%HO_~͘q%gKz׿$kz&ʳHyH^E<$'kZhm6E}Àln%F%Y I kKM'.Vc5l; B?ԏMyW z 3Xڤoi%+a&=zOgQNPn7%nK6ڹqm}ji%=Cݺf}*^ *-=KGkk[%;Bf0I'+4mœ<mCg=ohRM2@}:\YgOB" E( x_r< XadWoAgX /K6{mL/g"2mm)a*0߀/w~ݼƚL3_vv k6*+86$Ppj;!dMypfwsg4`#O]\qxb7}Xe2Go)R(>/V #;:&1ֲ?Ͷu񄺵*~ swzMOZ[X1vYЂOmQʕx{f=m"lyuD.vM”BzMZqo_#;ނ4J"ho1LNQGg9 ɽuh` gp쳟 $" c讴$X붬U rX:*[Ǯ? WE w|L:dCؖDcE=lKL @\ "?taw_4VĪ^-,E~FI- Xg26 R;0 譬S `]꾥cA3$ wcFZ<"!-\I OT+sxs"g"&J\#Wd>4F%][N'dCg| 骫esi0~&"=qD2,K=\Z a˾!&Ȭ~ىiDpޓ:- Z'tŖV]F֝u.Q ;Xk"#J5v<e F[ЕV]XV[p`h8AV00*Zp[7Ԫz0vuV"nF]*|iba; dvkf䣔lxϐ{<0MUjf6g^nf> V}&U ׬at0k>E.$Ip Fv|#"td+ vYPKA,WG${'ۏPJʶථ%`jbHBX3 JKQi_av>^K.o7x RgCc&b:.I+\D T^߽, 2۩\6V=TE @&_nK#:63c [_}4N5$e>"aӕb =5l;+fBA #xWΪo"dZD`D9ϙOTye۬=C,Ctk\(L`] U +U'l KJTӹWP#%6Q Ul & 6bdLɲnLU=yuv#ܝ=9g2a/A#kTv,YLIpIځ~, 6NEmXBp,D#b??vw'$o0ċL,t٭@Iz9brK1X=eEɠnbᵰHV2\,'q?ev,MyX6 įn ,*@K!,|b"telʽf`K+Rۑz 3BU ,6{ӭ\5Lvb'b@(O]Lv QiMQYVװ!Z*N +ށ*KwLQL Vi#>P-.tlRkA0;"Fꨰ;< |WҴDdM", ql+ADD XƆL/K`#1 "G <Ƿ-cfRYe o[4{Y'szHGvX!MAГ)5Gy{\:#z:T.3Fw,I˾|m4d#!g#B+be .%D{voM6R9ʣ^}n5^S %rc*e}s.ɹQ $ʇŽLڀ7sPi%V5$*!L$~rH8|aYYIBID. !D3A1QմKIVcnj%>)ޑshdƥVӂxJm@b? 9AfC@z2("(Ƶg0Qwr )M"@D9Ik;Skka2ٓ0 mvᆶ,yeJPK\,CJ#r\+WA,k(Ts$2`c'L=@n5g!FB]6$ٷ>94G ZuVRo wFc%eFIh4 xoe/12I>D9.%-VTɴzg_Ͳ?bFh Q$gsnA=`X-lB9-" ,yqa=SV//dāꕲu=XKF^s!B#YkSv",e\Z\+ra$Qz7^g3+%Ln44P^@>2e lwNwK)| ť|G0І;i.[TKPj$MĆӠh`|@-82.#O0Ej.h54uCD ґR̕d hm i@k,uP q!T1XJU00_hyYX @FB^_^qdze;v}s' 1e&eKBC}[-ĴkSXQu..JadlI2?ކh% X64BO OR/~`:a[z}6y"g!>=qFS6۬*\\IP_C,FgnuYP4Iz#L 倄) 3j J4a/a2/۬mh(ɭhFJ3)% j9rd:-[-S\oL? _H8=AR!e]ju'w{—sjτ7PZ=xargB2LU.H#:.ӊQ+$4ju؆Jfl^ *I^.-3qGRGU\\9.a?P<ޏ g v _7,w JK$5rbZ C:g/\=*\dKٜ)WYDDQy;IA_IJz9̐vӓ$'p!*!3 <`yh`®@ w!TŅ!:7(S*0 I.nfe\i}=U.)FF_(QjënAɒmnd\cOrMqˮ~J/suyQI@JwG2 P ibפjW#F7kGb"WWB<.DFQ1~qأ %Y 1H|M9QàC' Jv7d#NC(ixfx+.AMWäK imDN~wWmЀ.sSެ\[H3EW\ ep=XE|LJ̼Ph఩~ѭڐu'*{l-uT!'ՊJdA][k#eDD2kۨ#%\޸ 93HfA/R@5V28H #oFErwY0AL ִ QdW4 劜`k4AM Y-`trgJ툃E.חR=Ս+Uơ.[6u i3 R=;krq(Hgc"b198dT3|`، wݝHB } Q͘& iN#@i1~H!/`]@u6$8ظ4Mvz騐&@744֩r0ǁ3@iɕMHN̥;،$i 5#ڍlfX=d j1|/$$w6tQ؍D]z\Ctٔ$:ܛhmIWTDAyDc?ɂ V+12 ($>7峳N[ 8pZ(\,j)8Y!pT}q b1'PjX"1 sRú;NQ=ZvӺȝ( q㼃 qEpc!Hop(tbX ɏwZޤ+@~ 9/n)cRjEm,L_: lL4O^}(,)7_"QA;w 6.xmE4rzI.kވR5tE@ ~=1 Gg C+4Vahm{m=a$Qsl<4$Qx0UHzg]7}tpȞd"bU5xRǨ6JkxBH\%iþҐTph2:5ə]Vޜ ʬ->\m'Gϩ攒fc2j`p1~8 RnT66awk _ ή`wuXs:=NRj/^OXYRS5o8̒# [\3&<|/D e!B jc/K ɣ|Of1q {=i)+f|^#c`"<_73\2B(РgHC:*9!d2ɎmAAV?RgPiɺ&CmTlgZFN#1hj#G#a洡a2lɘtXC` moD|" :=Lr ,J`BY ߶z-QQ~5;gFJ5 U cD_x#T9+Q;rUUf%=T4VF_ ZiR A0W Ci$gfMp?'O֌A_BH >Ia,ϒʍb'-Ɔy~^OR̚\`r7X 7R 󂳥Cq2$pQNleNnt$9i=$4Zv*qCZ Ky4>zGDh_T^fUɩ62pKLڈzkA"z+2l{IE5@t:ifQh{̂s!,Y VQ<8O!3?#2*%&`>FuJ-Ppmry_,NĨcvU[Urx:-s$Q'C.M|Vc!&(n,7\$/x"c]$'y$sq0W#q3Es.RULGz&3fw.FϫzZlV պ̛%*O҃xLYIVe ǩJĘ6GЫ sb饴AsE*I }xpyȂHHL*y{V W7i+ }Bv~}ܺn\%QǺ›] 8Ət4n0-6L66QhTN΀##PGq<,f)H ( 'wHcdD:,#iSnB+&sL,nph&Id+ H+)(Qɲ9oӈb.447Ex5.(IjFJuд&E.;r( dCr]4`gR%f31P尨^ȶh@ Zz?<&,m:@\) 8{JtuJ~юBBpн2B ?sڏ6Pu:F m5`R7{=6"Ot2NUIex'cEl6 2Ψ<[/iXz :]c H b 铀QA 4;r}C %'~uNuH(:WuH^ Uf,u#ͽW$.Nw.r[RL>cI°o |I\}s^Q($!nq*?gQ1=\vd"gg0&RA.3@X3t]4DSmih]ѲQwj09>uRvQ?:0`l&2JIv3:nu?cD}e8m4OB)KΜz #~ 'Zņ‡X|űͷ#DBb_:E0? N U|[xZ2;5 )S >zxMA\>(?Lj9r⮻N][+r|b (Ѝ tsXmv!FwBr],[O>s j!<@{"ndy=CXB ]=?~j0eX5L4%Qީ;A p>FB>j$Pk~oD\Bײ@G*\2) > a2 JvBJ_8\D,'7[Hnn>M? $_?ή,u~?Kxa~|?̯?7>>7WfwW;N{enÔL$:xon"ߒίߥl u{7'h'xF__^}~G[Z!豇`7}֭`hOˏjNgi T |53nog! y"ח35ɷPtwQaeI5ӫzvIN%/Kv:.o͵ѯR\WjY$5(h g:+$R ֟~1#0_nF"+@߈nO7q-J87_fMs  -2gx` niavQ44];#Ί_"ɔ+8gb#= {erus 4ӄ!5!ylzy O 3qZne߽3ɘnOWƄoX 0 y<5dז X[2gv}ȹN+(~oTb倐C!~b5HLfKIIhw1E1Pul>;1-Z:A򃿑Ĵm]'x*#1 ޠX0DDhw AY-&m?zD|'@Q4eI9׃+-wMƪF$UbWΠ [ܵ_v[jfd Qe+:3tCMF{/GҸF,EQu`)o9ǡlb=Lt[pQTf/ki_4li43j8J+yP7v&ަYְH٩lW-lS%ED) ':YYgɿ1ځ]~Օm w%5 }C3ZY;/ :7 (lnz~\G@8vפ޸Xt23נAb傟AXI"2`x[s~KaF!ӵlV֝^XE.$bGM^vǪW{hG`N˧y=|M]ajmQBg6Cʺ-rc+tFy?ʇn` xn ;bp.|iĈ?hRMŦ&oe*3s[ļԛL=叽^\Ƭq[bI8WF>&n"zE3ao+MY'BIrb紃t[ C,KF0XfH&d+I,_2 s),yWK,]Q̠1?ۜs9\[5Nxa r̻I?ާӇ<#u()~k|t)J!=R #ߏ ۆOR?QD$3Ԇ55RV>;-`OFHf.*HÖf:@rtq>ڹ2VݮdBXs*!G56(N,T +ޮvKBq[^MIPKVN<CNFgen-0.8.0.dist-info/METADATA]N0E^e@ @" XijGCiHl̝5E`DJ>(g%hH# N)D f[MrXOL2'JK6&e7u*Ւ ]S48G~|>x3d`~`\?F(Y;d~ظ~PKVN&\\CNFgen-0.8.0.dist-info/WHEEL HM K-*ϳR03rOK-J,/RHJ,./Q0363 /, (-JLR()*M ILR(4KM̫PKUNmc'CNFgen-0.8.0.dist-info/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKUN,ˏ $CNFgen-0.8.0.dist-info/top_level.txtKKK/-IPKVNN'Ri| CNFgen-0.8.0.dist-info/RECORD}ɶZy> o5@DAPP f(lΧ/2㩑 wD$r(|?y?鲀e2,qd(ΣU$|R):G?.*"EF=G~64r@Ydž>D{}CkmV8 wc  R04tfaȷߙe^txWӝlG=C.8%>p!s!#nT/z| z lMRn|x&#LWwC a*]k{*ǞqZ/~taK@3-Lojg1s8,\Q HfyWU|g1s`԰ 15Gun3w?fA9?6Xi9n`=m74pI*&u$+r±n °xw-:,(%(%e0Ep?\)`VoFLp }:/*%ی3`&m`aOVo̓?ɮ ?wx[Y{XW-ߦy̸PB[Jv#qn߻Y?βE)iFĶ<6_t:7Xrp(hcM[y. 2 @9;m.q,g\3>þډ R 3OxCM!F*K)RBOj(e~e_kwW<5X̨F ET=iYҢj^ \n]!W!IӔ |?MBK:\T]+'>̾`@?iTf6{`XWIcsz81_*FоzL*_O>zRn\[pd.{< 8M2[O'3^+EsTQ:7E=yLefۃyp"\ϝd"VM'!i|[߸d [2K"!cnfformula/families/pigeonhole.pyPKpN!?ϭcnfformula/families/ramsey.pyPKpNë\ %γcnfformula/families/randomformulas.pyPKLJ  cnfformula/families/simple.pyPKpN~- *Vcnfformula/families/subgraph.pyPK`MJw|gB(^cnfformula/families/subsetcardinality.pyPKpNNJa  cnfformula/families/tseitin.pyPKL Th&cnfformula/transformations/__init__.pyPKpNC/Z %cnfformula/transformations/shuffle.pyPKpN~(U+rcnfformula/transformations/substitutions.pyPKpNKT# cnfformula/utils/__init__.pyPKpNK3qcnfformula/utils/cnfshuffle.pyPKpNVG #cnfformula/utils/dimacstransform.pyPKpNkm: $hcnfformula/utils/kthlist2pebbling.pyPKNlb:<Jcnfformula/utils/solver.pyPKVNl/8 CNFgen-0.8.0.dist-info/LICENSEPKVN<?;CNFgen-0.8.0.dist-info/METADATAPKVN&\\Z<CNFgen-0.8.0.dist-info/WHEELPKUNmc'<CNFgen-0.8.0.dist-info/entry_points.txtPKUN,ˏ $=CNFgen-0.8.0.dist-info/top_level.txtPKVNN'Ri| =CNFgen-0.8.0.dist-info/RECORDPK## D