PKUN,EGG-INFO/PKG-INFOEMN0>/`,% HM֣0M-e0/z{P r):}aaVϋ+ X=%B3P')!9PpQ>"N~.*$kl-fTzF%0fӝJEowRPKUNZbeEGG-INFO/SOURCES.txtn0K7RREmH3r_l!)j '|fv&ˋ,?mV(=9C1{|g2ubҢ}Ăkudok) %S뷗.&8|7Y1|2 $Yu%Gy&mR+%Sp>J2h9Y%JteKU T%*}_6D76đ@eD G#8^ZWeu[8U%10Z%"SR _XF!Bss.Bl{]~S1q5w߹ѿ ٦elRzvx ^Ѹ| Sc=D.}3Yů`<PKUN2EGG-INFO/dependency_links.txtPKUNmcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKVN2EGG-INFO/not-zip-safePKUNk9EGG-INFO/requires.txtK-)/ʮ13б5Գ*L/))-PKUN,ˏ EGG-INFO/top_level.txtKKK/-IPKLPMcnfformula/__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 {NPKNŏ $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_PKNalP 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;+ڡPKVN Ɵ.cnfformula/__pycache__/__init__.cpython-36.pycUn7&O(n8ii  @=((hzɕVS^!άdYRmG\rf}Ù?:oYyl_?DЌK)έ;]~37. gw!7닦)D6QIt$*>WkYan\9/BIԜ+ bTÅ)%S(Ԫq6%ƛX:gdFgtLȠadNAsLx1[C}g=#smhJ.Bd!7a<<$)U>x(I}AOTq)d(ìTR/C=:K1LvBjF 󟄥 3ɵuӁsΤ]Q__\u\d/F*lyImؤe zTK:V/|~KYZ!xOV;gtq"Q5]K{J't@&4~d.y P}֥E ?^Q=1"Pؒ;Aeu7__~+ ]¯MW\%rTZM[v`] PKVN^-cnfformula/__pycache__/cmdline.cpython-36.pyc|oGv`Ls8EmɒőчmвeʱhvyvFͩ&LϨG"g{7H.$\%A|_rェiY9ILuuuիWWFFw_?^琢”eL*]eNWcـ^5Fa*`Z.R>FiDYi.6ƖǨ̄qA~by1Dיٻ87UaLuu)_C|O*lq6&rG؁l~,?1c` -68;Ɏ'3<{Ca`G ;)?~9 6tep?IsL{O)oү6xo6Uk6Ǭ9_kNxuYol=hͷVE(ArX۫nӳn=oAݢl8Vs ֝ly˷p8LźBM֮;Z lזּ49 z`]-[Ν0 HK^[ﻍm-f^ hΞ]sJ9+[gk*`ϋϐZTz+g0Z[)фnPZ:*/嶜(Z˂fVlZam}AYUXѺr_nSkBM`.m-͡ wDM'('6`@V!7=h =yM[0;XzݲA[mkBD phvP7M %"xmƑ][wjur^DsB<-yq|,qɹl&пF#Y19 q!T$CA'z.mf b;5Qh/)6?>/ӿߓ4"J_.FBB~=)]#Ԙ@j[aowkn`!%R06y~a~Vx(uĴknCIpPP phGC5, a̩}r `4'P[onM-i W 0:ԁn#,EjMg<ZkG:kwޓ_Jva=؝S4 ЫZ )S+dQ[p`܌7P"z@>w&^٭-<^ 9{#v!Xv oš`aѧo 껨NnߩYΤgT. 6-V.QVj5kX&\RطloA78<$UK9*1XLgGeX. "+pxm`:zHAD T)=c  Ѡ"fO=0dd,>vb tÙ#T((YCfam N/mڕDII .Y?G&iτK,Co[,e m3FV%^bqvZ6”2@ \` r$'GF,1gՆʗ, ˽1s~}t=x0ZlBVݱa6A\:  (;I)Wc9c7(샵DZL*96bC$2-B`AL怾VO3=XYK*, &ͪ #ʰID`s:v" GN`[^W,\ufN -ʅ/,RՅΏoJ&$VL;-KNN/&sPFPPIB*(ml@q/,\@혋t^&D),8i3wH S.̇^gLfFgI‚o?p}_+"Tq//u=ĸ٦W]jSMRݷq w<žMUhZ:B۶3@ hY[U^ckAg:=I &^^2(zӭ9>nLM;~ v+:evF_[QOK=":0iшķ<6[D)oF[v#y^T5ULȉ_1.˙*C }MKӱNƮ^;h0Lis͛.yy'[l˨.?\*?}=0X~JiA~b`!s:2GB g  a*nhOs`Ћ%v1oRVWڹ~-,Jbdt]Qfff9:4뫶hb&kڀEo+cp:\p0Kn닻Zzf˕^p޴ZNvLQ?d" ~FBNÜ>̓ 5WuS/0 TC@9*Yu L3%TFnGaA(1A>D!̅U nA~M ^o%N6Z@6x8u<˦zs4h# Aٌ ߩL;ʓ׏F.JׯEj%z`Zha>+%Џ--T%[V@!#3nJߢ(t+l/&sj$6{dOc/f({<%cFYYN̬N9"t5:{cΛo1&٩[sn:<`"ϟ?G4j}:y2E٬?G<:a3 1yKdVpX wrN*2ssC!L%9 R\HՃvyQy;]!-ԧO@e9r}h`k|zB-)X?L1^NՌ,]Bm&m 0Sm jӥ`la͗l(ME6lRy)Se_H#l} 3]N5|FS55>}=bcE-(m r>44SK,Ģ,԰;ƎfZ>c9:O2eƦ_5C346&vzT2M&7@ԎPkhdp0¨kӰ0<!_U>xW>ϔP/n  fB#,!afw41FuZIsȔgnXg:70@4e|6,w뙑6_ݻ4ܲAX?ΤgX;0iD(GspA"3Q1@hnC8 Pc8_Qz ;I(|i~*]pĺ0#P( LIe0RC9#\11-yy8#HC7;]qb)(idK_Mђ"nM„1d99<ʋ^@4`ႼFƓX4* GGĕt퉾HAd"YQQQw;NH}#usP,T P kKmJ; i˺T+[uFQiPݸ Zzlt{^V~[M{YJ^V}^!%e Xqlˊ`AJ4RY3Ĕ%y(bE() 0Klb:a|R"MQȱIv;Ȧ!Eb5;ʞ!&0d;8<)d) `7s)Xe0LEmE_XE>݉q.U&;j}A>Y`/Ud5v}3!?٫)<\Z%>gvOv-{klX3}}S{"Oc8/En.LjxXE._d S]1+-0#,0Mrgho96CPr͔cslaaUO\kԨ]X ?!&[(8ƶܚIׅׯ~Y-˜9*}o>ɺ=Gs8bF95X~+_z IBUۃ~@Sv_X 9>7y0vMߎ]I`n:Ddt#:|?v^7sH-05 /S9c_x0caaY-}*Aa~$@}Qu (F;@Pb6k ,XXL\@tLEI#[K[{p )\ciV;r =Z:&Cw\2a(~O@\EMq=myD6)4" t@F'?CC!!#ƟğcA#{O*uWHe1!C ]<=%y?/X 2yShcr=cFcFuFN2Iu#*IđPbr`8YdhZI!XI5"z1)QG~D" &ANL򋃂I.fIt &%Xj^I|D*ժ.`{b,%'l" <̌ecanGHw4ԂȎ w$cpF(?J:LCh2O q2e*(r2]֝63,X2pcw4ɦ9< s2Prp$eʳ8ǰX0a'ZW iEfDy 4!^GE!&g!& ߞQ&fP/2!ɪ%q-ęq&L`b_.cGs`tĉp/& x&} h$@a)5FW/1Ur Ї$H<}>0E /xEp}QN\Kȍ kiR6Q2P1a_%u0Ԣnhs 17PKVN7ͩ)cnfformula/__pycache__/cnf.cpython-36.pyc}mpq| uw9y"D$%@ҋ`1rfp(%''RNlǩv,۱|(+JULeG*q$rRNwkwwe 17ׯ_##ۯ{$w؏(亲EUkEYеVs9:y 0ϙZ>8JC}űp]XFמoHY|G2mu񐙹)F%Jˮ0Ѱ[Յy}qp V-/Uo O_1*vm}GZ 7+In״\,lMn k?qMq7[[{Ve5Up-Vm8 _fͪ[ KА%Y^*jl=C+t(nM*XzZ_kk[z~:-׮Ւ>{ffvgx<@ZmjwnVk~Moi2{4ԝ7JJkފdmfW,U7N _7vٵ5B)AӂpUbٵ@9o_FkptnoVٳ|/jX@e/{Ա"T@<wB=(XPLyQ5Mޑ53cfߑ37k嬬ΛCf 1N^,#(6ch7yoCsQygg~y ϛ:y|<3_4_'O7_6OAM9gOa9iN#mˋG|6O#3puƜ'yΟs+t~ ϛU/йsG8`^p~.:_3/K0Wa\_^q}t}T`2Pa)i:\aԢQ#ZQ2I!C=~jT,Y pgyb xP~(݀BY? & < #$ aU9"`.Y:$AiֆCPĶX3n< @ F<Lb%kUmR nQ=t|jƖn pH7 ABԞ֯ VC,V3Ʒ@n3< hEn^Gghl:"l𶏝dwD¦5r_WAHcT4E1xcSNAmҭͦL)FE{]vukWl-  ȈSZA0Fm+$2uO-ȁ"KԵ<MbťKE҉;[n˚<9s4)g|^=^7'OgcRXͮzeQmQz"A(xs,]Y C}u"$" V{C*+q{WBEM-x~˺;JCTxU7k*pmKUtov|GݖekAa(O.GS Cy*55`W¸ٞ? K2 ZF5 1mNl,Y1UA|b1VMߢEL8L&[^2IU[eSo1xN8x7ϖPVl#3[IQq`376E50=: I:̨DB ԋK[`_ٴV |9q0YʹA.,U`\q@bAA!ꦒhU[ rhW#W~RrWQ?lfZqͩ33S/?wڪVOG0N7O@yjc8Y-/?-"_XECT4D 8Dq aG>fP2I-}뺇Oy`ZaTI9jRYE(P" ҚaU^.SVC͞j*\82읂KX1]3mA>i٠F=)&P! F\V\iDu]q2'CIVj^PyԢ\z''WejBIC*55%ᾀ$W.P-"֬0Ò$L!k@vBЪ/#AR/j LV=+(Q.>dUDCC8>/$x'ߑIl'/z7O|:hXq:aaڕ \vL^ESXqL xаx۔jC-WPЉ;S3SJ B'7O&j$HqQ(1yB4]2#Ҋ} YOXÕ3\K6v7 pE/-Y}=jN4FP̲r qi} wx=Yt(ri#N'l7>BCk0n"|2RA[Vm6!-TaHC÷a!ŅJ>WPjCL0}i5L3Y`фXa3 p U+˖aY 16jN#@ki Sis>H ]_mp2.$ĘA@eǩM2r=X"{"6RyRy#Mv13B,RW|Xa5A=ҕJGvM JrD: |0 c p@n􊖡 [l~I |Mj?XwJrŝr%KJ(diWWEө:R׀ $,(Y3{i w "Nfn?wjp.y5%B0̖* qÇ!u Sش_Aǡ Feժ`VsB$ezDlŰ4L| +צP=@ ۫Zh'@E2#19otw ;p2\S a' ,cUEл5||ݷbY"Uಆб!-OHsbv =X:+ iHnp fR 3]kj$2pEw|eED2cttFm⨇w0IC6DW0d\V$rOW9wN.KI7X'z)0d]SMv wQ%4 YẊM~3BHSCuP5jGYӶAj mK{ToJt4S9$m+פ{Q;#roboޖ6/,f7';xR7gj~ۖ5u.74:kӛm134j|&a%cc*̖JC6+1JXcfˊ_S (eZMZ|is11aR0L3<̑N| 2/A4Ԁ^=coTz1 dE{_u:У~ 2h(Ю ]*lrQ\J<ĄL6ШXD>NH@ Xdҋ<䙠@|6 ںhT-`["#ɵgdB d.9n-eXLG@3EYSrV-cpv@zN*[,o.$_LJ-TBlճ[鴑 |3V导!؂Y+-Zև6pxh! iQc 3H&%yax@ϕ6QM1|\m԰Uff/Ls*aj<Yy]=r,1xYݸ'jZ:oH#}aӴ Ѻqԧ~롏 6>N >d?z[_>;jVJS|=gמb@`ɅҾ(!0Ή(Э&gxQ_B4,@[s0Yb%qT~$YƧA^85X8 4UEU@DGO҇.TQy\+YTPʣ&ÿ1 +p2 wڣIĜUkm+jJǮtZpͩ$\sksKIܢg ~¦/E j_KL-15EweиR PR;0"u\}> /hHTB5 "¶-a^ ,-8A-Z^ìD1/h[ $M!c~M)(XϹ1nM83x-a ]/oq7 (>:[t-i`@2jl/[-%pW_\C[nYb.Wd[jR@' '%x/XU^W!ݤ#Q!mӭi/T "Q Fb"FYɶ km6k/u:iXvZ~ Q5l?j03֒]nׅ} Cq| Iϩo2dE.(E0Ϋj^n#0I,Qzb  ]Cb#_q?/ )T,NkXz=(5|'=CL[< ~#yhq)_dJ#bB}II RE@B*-!h* V+ Q!QMla08ڄ-2Ү>-L${=t2-F,l[(,U8o{=KĪ5DnN)ETPp-7k{4qTg]}'r9(SY ٓ!AuL?Qh&S^Sx;цr|R9WoNpn ƨr|Sl~.гL~.vKtc'@L W޼7/~)+lmh12=cKǭsOollL{_z Z7u4 y%-Pl} e2kRl՛.|iWHw&- 8a`l$%{P*7* (;ÊE' }-^(7gቶ1xSَ5Nht-˲t6a9Qٛ;Q7If-b; B<=g>;ͱfn`͡wN>$4Wn3Mk!CӮYS5{B׶M, ^RsRɫP'n< "dpk r ?Zܼᷛ6t})* mGذyx?~SN"TWT+1?+\9g2G'9%rZMҒm7i 4cÉP; xM0x -Ⱥ(͛.r7Ib=x{x8MZ >>-XruTΫ|T>16(j[8FBA Hϔt36\Sj7 Kv[ܑݻP_|8rJp𹿏Oa *7Dg$wky`o+<* 5eHx6  IU`9Qߓ]ߡAyeET/H>/(w!A+_ܖ;&aFtkm# k;KBgT:#}4 gA=1W'of3Jn\I6 C歘ʘTHtû'ӚO._nv3]6Pwe]OTލ[CŬ/=%|D0)ff=94-/Bk gXXi^.ϻ3sO3[fu waiu 8c7=ZH\w+QQ[MD}5n%.ay-/gw푻׬vB]:C*B,_ e֍u^V6("W'$<e֑c{@{(lWuYY)]db Ks=e*k{'x YP3JCF7%3 Q'f )lhd.pll}2h+@JJQBa2ʔg`PpEQ/eTA?>idJ,ۦ$-2np!h1{T.ѾƷ5,afI&]ڇ&o]*s@" hman U y"t[)hgPh80#hn,S=; hgQm;"GI+ Tv@!?wqL~0y!q! VEU4 # ujj%"V+q ؞EYuҾ}Gbn, &7dPz$vgBlI=ZHq]l+$5cfǂ;-aQBxN>f~pE;†zpo_2"Bg7 2$)aI0*b;ݏHjM|;vโ4)YT#.ȌACS@7R,,ȡ1|ʌ*2h E;&ŖL4Z鍲vj*Òtז03|[ ś4=piA?-hLFKQ!UKKpb1iU(:E!BAA=߮7wWVּLH4u4XlHIA@ ' vG1o0n02Cff+\: zaW0_h`O6.-AW` 72-$܈Wm$HYh)XC`} BIX&Gh]Yg((9`W =7+Vt> ɰ-HU}l? =9YE͜&q(`_9hKqLBuډ4?m{`1p$ڔoլ)$F^dI_D7z ̍94 {QuSS5 P[iIn_ xQҞ?{ >pjN sɀC h n Ísk;>h5 eNG?OCt$i ~?'b/a$MbjJ/)jRA ̶ y%Ҷmi}f GitYgSk\n|E)n5DlcGB@enDC+ʷc l.w; N^bl@yor&Q哸`L3)齽{fz{+az{ꌁ7 c$(Gl/w㴋 4g3߈wjT](.-@u5 y[ZGe=Գ}s%6E6`Dl0"16(s*YP9]9#n׃o[͚ȘBS-ΖJŋWL,xb'^ &;*˯Ǡƒ d_5Ã*uC)bٝۓ4&g)vW<"ѓ`zn=sORp՜A} .޽{m"˔G_ vt'Ɠ4ǭIzrb3;8>>ߟrI8{`Ai.F 8%JABԄ$>j3;T1.H|珖R.a+tՎJ)q-"EŝEJZR&Q?cϽQ{r9mB>~xg}H(ȏ!j1~0~9˃N[ۓy\nBS2LM%>W OVXdPs/_Vv`owo~@=V*I q"쯸f2= KwؑxVn9E?R#gקӔ4gXwU獵gdikaG%;aWodE;KpQ1=?i-mNeS_SIǕ!w-hY'D7Xr?b{ UvkY>,iQ6EUSY7YS]o~V }~̚wQbqn؇cfQs7)s| eg @f7r}axKWD ԷA `i#qAčLLy3ɇ3n], ;Wy?E߃=ڃ(R쓏#",HqQZ*c Δ3lQnQë ]eU*GW9~<$!2 tU#,靍_.qtG1:fa}?]u3Sm[#}Wu]u?`*' =_dk*ٜ&]#vse^:Y8.` ^h'xkq19 #o u!krrJ\ʍ!d(& 6cJb+@Zod̙0I|Oe *b w~-='J,Г <ʯKwba?Vb߃)%)[2u2Ƌlٸ[0ߗD>,nI@ DEF,*W]:(!?.jhc f:&iuTG2n"aHҖ& V}pI 9=U9}ը\fPU?T8,(n6{=DnI K) 0&(?~nU>aXɨ}@UsCwqX+Osa#q#&9z[{{£_৓aKL::|2fviɣ}B<1~(M#?ⱟ c|+(D5NB#F_Fi,-ڇ>!S7 /"|)Zud#DhݶoPkl烸-rA!dh6fC21*\4À[g0f0rx#TuxD0st?[UY3~_N3W6|]#TLlI O%M7t?ET+k1>i5&h5mZ2=%82#=y|g +޲We,;eE ,1k`_DhfJtͻPC/Uez~y hG;"i]X&ֽذ+WU׿xsQzmАCR^(;_ ʯsb>#FTC6P!pv8V㷥k}~71BqIJi݈I,Ow%L8P|Ӿ2&*)0^0ߚHɟP~v@pfALȣ=wL̓o@V*=dΖA\YbIxeFj/?6'c"~ܮ/RIsQ #hZLFH`xYQ˛y_ Ÿ׌v5[Cܿ\_}ܿ<m. Wo=̌RsvbN9w}Ć YlAA-iMMU؎RhWlKL͗%C{gf!_CF߰2ץc@Y W1a_4 8}o.1?~ͶJ1ޅZ,d 'ؼɐopD 3Eg.Hѧ}7>JlE֙4O͔{}[T֗_mJz,[ZctFg)Lzh_ ;Ġfm0U7ORݱ@= ·3>8{g`<PMsF"Z1C=Xw*wlD }# OԵ6Y2>uI_NPHOn=NmG2Y5ݎm1kRd0-~]V?r}(B@m^a\HzKC*9ʨ~1I[e(*dG$RZYи@nܯa"GXJ&R8~%8K{pؼ"NT(ըtՔ")n9KW<-欟E|$p_P PK`ޖ HR6QŶnvr 1sn.\M,ąwcz*b9$ MKP F蓘eg 56dnK`=(F9S+q"_??[ak_Hb>!l7b}$CRەܺ,f,ٔ lKyʭ[ p(2ѷMx<3MXV2NM]{voፐ2,&0P0L}xݿrT|?ȡA_o$e["hЏ&ο)y-h k KP?W|pB{}"_, /ؿ>LKj>hJy5 kSYnٵ HK $@f%c+WhG*4h@Zn\vGM] ̑r 3l#My9?PKVN'BQ,cnfformula/__pycache__/cnfgen.cpython-36.pycYKs}  DRGV 2#VE֔X=̀=q*Tnaզ*7_}H9|s~]߿J0[/s[{EQ }_xpeS*uSڦ&sutJ?TOXZ#yeV(#M'GfYzdCUU~ڷ 7eӐ7yO`NXC9>QUyynNZy>&i`rm])̘嗁؁m,vv8zvLn` lF%<*^XvpP2Śo;{Uq5}Ű LYլ aKK nueh OpKm ! /fg ַL3ە:;&!,Hf f|ٳΰ.k"+8# ɷuf28`#r 4rlbm)K]P& 4ƪkaD@/j+_m-_޿qߤirrak^ :v-Ÿ*X>.!#K|%OXhIm|n7MVŮś_7_ymV1]fr*G X~J !oxӗDۧKvZ1$'~ɺ'*3am2{e[]f6Y}Xz(^s .?AP\v#Ew`:X,fB2z&Gjg-zVWVZ-ԒJJΕ[+[i vE*ثw ߻B vxCav.7g1[Vl;*+NP#=8hYQi)tX-ՙVk'QQ}?J>i!SQBEc_s-HP S! kY =0K#ȃ[P2S, >H:8ƱPc`l"JWꞍ0(&`%"G*}0N6 GItjLď^ Su 9J[)2i}̤uD*yDf@l BV܋ If9@|>V8GJ>Y*$b`짋E\e7U)KWzm?qu^HGShp30Eve)heA3| (ylm_qھgkkTUbjq ?%67?a_X1i+q=ʽWGd?Lq#3}xz1G#v!XB6z$ 8^9u`RlU)I#N^ģ̹5RPm@Eڿk:e-OJ#u'RNq(|5! )*rɥI1I ێWWOh>i"0CM)iQ/"bIk*hbY:Pb|Lҁ $),[BObb,HGMoS6ȍ~ĸcqlHu(М0S|JP:[c1 "XLGC%F0T?{ TK?7]BU ΆYpPC'H¿jJ7y< *fvkJpxgS >8<C;UwooIcƴ ѧa+7\.V;tgTÂK g ˬqr ZoaHtЯX\#ݶIE|&X,-ִȢܱ!#voBGl5k $"ճ(}Lf+{qN\a3J鲨.ozxOJ }j6mǶ|'T~\N,~9.~{,^/3WQ}rˬ@T*uf/(5vE_VJMu3V=EeT02F [DD"u,dւQ $dCQjَW;{2sjGpu'P=f3PiPa>[I,mnεj}7T.{"رP%b ̝ϱBAum=@0mAU16g}pDža9ݚa"-pGG}  %jBxa.|_|C2{AɍQo}_Prv齊jKMPEy9ԞzkZC w XW R%H}%`4ݮVQ8@c~ EdWGG]J˩[<ǑNFm}!\^~]!3[v.ܶjkǗpma;9]a=zN%q~wpDm668W/&εw=g] «~lnb:82pBe:MTێSҥDs/~;G_~9MA!n+RWW5Z;z|M*ѣ\4χA=ʀ7NK$ .ȒqnaKw޽X+.vӧ{'~OhsCS80dM`Logу^ u&J38 ڥjڌ2X54nbzQ!\7R2岸Lnt&J01ow R{ĐbMŷEb(J?7 Pť0s;i_]Y g9x˿Lz.92Q PKVN}[B-'s,cnfformula/__pycache__/graphs.cpython-36.pyc}{p\u}݋@|(KCKRoM$-ʔ~.v߽K]1.L2md'u&dqsxN_鏴ﻏ],(Ru!j{?w|Z/^o~0T1,ò,Lga6O=Qy$8䗡ظ`4l^KZh^z^soΙO^9|!>_8rξUZǎH {b`ê2wO4PȴJS³z[*3.*>GF"@z53=] g˨J75-fXn[UxW2R.0mΗ/~@]Zb9m9e/7 421߼lυZXۄ Gf+H{=I hXF/᢬ iM#RNj5xUɞ,(?\0Wkbo>ys)~L6p,g0zRJɤBa%BRYjs >j+QTB|@Lyx(UV jUx᭠Zp5!, MӢ7'Ӵ(utr lj&*PO ζUe;RBE  D:9d:BjB< *k-\PVtjTWAVmdIS lHHf1 Vh1C먌M}4I7ӗ3Q9sTσ8 m/5]̒Q}'uX"m].)}%ē&) ) h?-T 21 @i4_!T]%y B7C>gZv w T RbU0;k]V}g1{nBب+B\1c9Cuh\DW߳} B/h^AEGM#_d7>e5%iW$Zkt3=;Rf!ݨh=]m VHiOc$;kKD>_nǴ.¹/K17U)/{9M{Fo+`XULb$JVDކA^{$9.kߋ+nueQ[rAbΛ/v}_.ž[M$k 4&W.#_s%dNmX_ʇѻEm-FM.%;3}]jlFx1RA x V'VP)jк;И0+.QU<̊Ja7VM~X8n5hsnBƚ8ab;2$ ZK 7h*8Hu'ib%R+.sJ{h4ZQ SĄv jQ7) a xw[SA Y[jA/b=r&fVɬ4~,к?3&EQWzā !Fz_p¿91z.XuXUSdg uӘ˽)+P^~0E*0/Pc ̆0 [05CH1(CX-+ƺ-sŞ[,01_QXogk )Aڄ,m:Ebh/, f xP8 RŴ>ƚ: k6N*a "%o5E-( r,.7VA;[j7d#lg F_mg3;CџM4+-Ҋ,l-ցgFM-Q-UdSK̀=cCKf=#[wNV 4hp PBf*(ŚkaA,lPxak,rVkbl gEД;.eaaV5~n" 1UDPmVQ㇡7j N4P^AB UWxc)7b9E1?Ύ @| k0($ӓ}"Ż? FD1}ͦ@T eϭm!t[H,e_a4[k,,Q fNӈk@V4dp8O_i 1= wn[KXԿ v c08V 9z Dņ[Ssb՘}⯘ ƔЕFzP?j,œ6e}ܠͽ#yrIu#Vt- h Q_b0_|*]^kI GR=1E{put)Jj# w Uej1ߑ "P԰Dn֤\:#ٓBK{I:Lch@9 Cea DShI)md L_FKww|h(!)చx$. Pĝl!ip:"= Xъ@qiIgEm 4+NVcp*N&"3 % ]Y^Pĺ7SBX7|~~;b0hm"P.8o@. Y |8k 0-6Z%Qd ,Z%>NJpwBfJa B U~HL7#'DY;ZҒȌL qFBD&|PҲ4JR //EX9br i*E! ea)/PJTJ`]$TK䏪 HpK96( ^U»+m-KږO1"fqNO:&R/usK]nuD̛Qp@;v&a ?Y#b{(B:gJIIA\Z2Fc?8";&*}"K-/N A"PtD(ȯ"Ax3\dgm/H0n9 '54|D 4^(rm'$V|1q  A4[@+M?܇VvE VX`;4_m"S ,NqHhLKCX]([iR{?s5 ,{QY/\V.+ޤڪş;r<UDdB -${H-dK-Tԭk0g5XPd,#tdR Ȯ"! 9VEGufTȊg;eXl2TQ *Iq_6BD9yfWs߁vXd:DhR)?MVi`@ B4tMcO硤qR͹ %Dɽ:1: lqE\u_ l<]b.Ad`42:eʳ')mJ5Q/l(әF ZoK*ZhvM! _˳qS\nnM%?t[7)g)nnׂ!lj2,O*=+{=zpoߌY⯱eAy,7I=l^ҌL+q_lbf$ !7?w1x(DwfriU0WcWPpVRY, }J2ˆѩ,E`o7*1:* c42VUMM䳫oeW[ `sfp`L~.H9vze Aq ½ʐ^(^v]Jx t LkQsd]E7ȱ\7)_CɼqH7rL3Z .`[t)M%whꒉ_ FPӳ?b7{8פ,vB%@pwRl;+j%Bt/^"xHsmr|%vmZ% OV}8#R!Qd&!9&7LA%K %Phc Cs_˻V꡺(04\~S=0yM:zY' 7CQ~Dě09KɟPfv]ǡAC az])I(-t%0pw,/jeW: Y)Ҁe|1`+ٍwU\ˉ5b"9tIlyx) cFL_/D"]>,nl+ E#BY> mS1D:R>1|Z%P>;-ϛ~sΕ&NtPQx ؜;R؆Ұ'ҵ\U6㺳UXfFϛ 6!k!w/JoS51 uժšWO obq^ɮNgHK>]lMV/\Z^jC7`16˟MYpU:PUG۾NX0AnlYx2|N IPK$󧈳i-SBުy˵ e ef55N/߸SvJ RF.L]uROun" Ekwt kF;J7"=xu D"~Wgr\\Fɘa(4]⒋|>wHg]z20Du> gNb=D2,XL\盷 g~1C* R?QO+'8Y2B![HaYïpT qž8^|Q0<[ׇ:\i=r)4CCg?VzU4D\f V?hL4^7\38ϖTA.03vK jc7KF+MQ[䛑*qPc=sp0-.tsX")hRO.+2U(PDz9ВHYopW=p@).s72|28 Bvx%jWCJlP(᮹ҍwgKy> <NT탞 'wK'lwE d=Z(R'S6\ՎÇpVBhC2rP[&a;>jq,x|*0¬ wxz<~mYV/6|Dsnfp.YP(tDNؓ4zo:+o %^A}Ej١R^K\lQΝ܇6{Kp7K)uRSsXxqmϛ SIeEfv%¯XiYftm^"1ݽIL!z~>G0Cq92e3 msPgI ^L/oSU"~jd:4G I FdQX-w%vfHs W§DQ~8{I8;#@9P4Wr$P.F N7Z$,ˣ r>l:P*'\[Q{H]h_Hl 070'|ZI&Ӿ~\>u]w@ Eߠ8k`5%-8OIM)1&`6uZW󳲤mC0m.FOFFkShW"B /SZMZ}Ѽ^o˝r=}FH䀶m^%V·ɆoxILl(pl_z(1)F=?N=Rޯ}X ZP=t>F((yb((q!vn.j~G `Dتwܫnz!\իSm&1W%X_Yn+ #ouHw TB0Bwm(LW3B1vJyZ> i7*^N{{ōfvi~6!Koo`,R]qZ]I" {X 2:k-<}Ӄ`ٱ}:-y9m:ΔƅCkTBigXZѿ ;N=WIP}.T9iܒSk;aee!~@y0M,%AҧI:4uCIVZ"夭vk۴Y῀Vf]OgGmҎ'>y .EnvI&Byt97 3<ݭd0l*ר<1cZœk=zm^7/wKWϊ슓xNxيK c92B7o!8v|E6ʑ%U9\Eu LǣAOX})tu"⡼G3Qq`ʹO(;VWFF0z\"n[CCK%j$ڽ4`ɯ plff?cb?rYϓT6~D>[JN:ޣcɪU[9څYP =֩b}J\G=ccAI<#_@ɗz 23%֜R1Iٙf}Cl[k0z~N/ kٷ;XWɾ/'Zư4lw1fw3$> g'vє_N'D(*::e.6"ȱ"tSwƧQ#g;;xt9H{Xˠ݀Qт6}H|J]J[}[{Xѧ1!c&gǶȃ#T F|:DM;lг[eu+Gv@YBFyE%(mԃQVRw3@[*?TyC#|ZҺ9l ZR>yÃ\}LǑ]ɼAX%q}Qx65MW[SHguv!hfb{@h:2isTXM2 c7'}P[(W Hfi}r{"&Wpnƈ"tFO}[imkyKG?jm߄!<徿+yxÿI &*}]FO΍ׂƈ'['_/`#*rFq9&+rD'BI]hN965jq?S1&"ƭ_^H{}OIÒ^snNQRѹtD>?i57(Q]!w??" bāKڼQI' pI WPS%`aNu+vp&T~Ĺo- +~2Z;-c~ۤ>7k% B MX֒4!Hh[ckQ=ޠ8`Q MWF'pE,e/gHpry8TZyݾuƵDfZ+EËڤV4"Ú+脘x @ i!ʠaRajNQ_qT#ǣٹrO,O‰?m>3a()ncUDaP] m^M1}H_RӇ  'C}FK<*/x}|ȍ6ɦOҍ;q-n`~.F5T;it }MnQ+mќX9m0jּϜ23J1s*{CӅS~PKVN"Pۣa-cnfformula/__pycache__/prjdata.cpython-36.pycMN0ǝl, [e{̭aZBHHJ*˛1Y$lbF}-8u HdkpM.= Jԇ 6:`Dw`1ϻL:UٻBE7֒7- .8UEGE_ħ Gs_̏heme%IT KD&^m~[ þUZ=Բ앀0DGJiOυ;G#jYf--q{A_ LKU2[֗T5d֮.cZT]!zot+gZ,AG*4?\xO'K"{w?I[WPPJ>7jwPKLG}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/?PKN%{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?PKNX6cnfformula/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@{PKNdf>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?NPKN!?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<_{PKNë\ %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"OPKN~- *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-G."!c _؃ u32SNjENQGqϤHHTu?̹å R пp ; _#UKe`@4|A'F |yH<;S. x /k^Bm^pS19L ~*r@M-#d\iT!w:K aZ01( T nz+u* Ҫۤ^hU ;g۬!Vps< UD3.e.Fc i{hx6~:tQ#1cl8_Twiڄ׼G׽kIȽȎ\h[ruKZ+W:/fWf K/..?^{:cBg e8Z }QhQ2m:&iܽ PKVNeA9A=cnfformula/families/__pycache__/cliquecoloring.cpython-36.pycWs RJjfRCR%9ihTM5d4:=]QA.\Cfs=EzµcN}oɵg W}~<;[ ӿKҿ/x%Tv+esQ_U%WkDbjܪ-ICRjkDKT; ЯQ屴\=ps{LUw|n{Mnz*LbegW-m؞6u RR<AFs& PLm/H( JK-җL5Cr]-GC~*ܗh4 =_B_@}B]j+CBݓ:_Imq.kWS|R+!?vBIx. Jb?9Wta?`߽*^2Й3mRƐrWžFt{Hgkyܘ!hv?,ˣsݞɃ⠌ %y971gBF dt~>+'v1i'bpI2&?B?3  p&N}]WS#| v@Bt2O>D(m"g*I;S5JHȌb9fzC}5{ ;_}жX 60MQ)o{nɎ=?MT3ej_Kt|p[}$('v˜A~P&l8lE@qvp#kbBf_t+ L}T$[ӟn<7-5d24Z9<˧Lf kZ(\f1Nm$:F%lӣ(GHЗ9 Drxs7K.K9~hre!I xM݋h,tM;u"j&dMʂM|}ˆ{s%~Ŭ0[y8X]hM9f0yLG DLU|'ĨLC, $0=?=ඳ8!+B}|6|Ƕ@r_m|o$M9= <ƶy%d(r(C!{7vM"?<q1Y`0XV"&Ɗk{0]$%vZAXsM뵍۫;~ƚ5;HqtmfZ<'1T^ {HJN`- k_N`V2sM8;8 G!4C@Kb͝웷1Z>Ҏ_P-V /hm{Ի ݁3,Y;@(ES0uxòQ½" "SѷjC>s ܁&6l-"6'@Tr 09dЊRA[br _ᮻ|ג\Eɕx|QLq)&LXUaD\s.sV^!4Me 7%@Y!x܆Mr,cB{ra`REP.#JTq(HKbQ /IMw\z9pmqPDQbl !)=@&MKp/4My$l8!MRKSBUPEeT ch\ۢ+$ǖXc|Λ^̂͜M'<8I)Qmv/uj%&p'mhw\h7^h˄lmf3qn >&mtm[:Fj-Ri,ޭDI  1Ctʖ2 /}v7Εe"60-z0C50\|$1KhU-U؀f] J_g|.$f$È+4rp^5 R闒aP߂xP9x >}oN+D#`pPC$i*D3<ϱTFGLEU/]&+#Z}q{vΈ6HCwQI;5u00c }.2)EF5Rd)Կ om%FVe+kDycPKVNf{ 7cnfformula/families/__pycache__/coloring.cpython-36.pycXs.@Ӫhqȵ(YMu=qd[h|A\:5PE~ hre^1V/ƲY"c.\?cDmW=8ߠ$3=K;AmzwE+R$󣃶.8.Ϯz,$Kcjf &!I0 B5AxՁ~4Ѯo~bqj͔HJO>"L-N^1N)thnZ`+5%8Yܾbaf:8zNkg(im^GƓnʸ2* GrJh {`~].K;D+Ĩbiv4MDyׄo,C<ۋ$vX1`ڎ8.a!/4qhe*n|LMEe-Bm ^ºy5U>bH!z]m `)Mxpn?>fn{CCH?,6Dz |P쇍̅$rJՂN}R ~ j" -.%d QܫZF1i5):.!064ˬX k(Z Mpn={lc|x Df' tuQ"%s$ELYfdQ[d5T er92c)c!rYJYCvvG0. K3qUXelg;s 3h8u0Fu>+o³=̈C |BAfq2XѼ6xwunJ)~`HkfK*rJ^N.#Pli:u+tѬCVcZd 5QkT|2SSD 0 ѣsK29ҽHG=dDP8<쥥|݆U&Ŀ qq\OO'߫A5k@]KxYgeh/Er.bR} "YxS\f MzӰY!BLnM8+, /u5H#$nNXHq-h$p "˴'b<ٌؓ/qi(uT'^=Zp_n/DU:W8Y@!NQTpΥAy]s~A܍AbH waUj6Zoc2a.ݹV&Dj~@k-d? ;Sdp߉!4!f rSV͛koii?0e&#Os9 \azD'j~Jw 5QsغJD^AgDa^C0ag R!u:)z@wB4erYu`1Ā^ t}lHA꟏Yi ahOp [;TЌ67u5?G3:~tsJx_^ gvsȽ*lr(Y#C|^7Rr 7a˟]V奱) FbXPD%\/rPUg4Lr5gtS|GVЎMin%s] iMB6{A4  h$RNZ&-K*Wj^Q׵jbmkxcK_kֵ>ZpQX0)2H깦|[.OWUBlJ_ޚCUc~dpvJzy{7#USMхbM ޞ=(#v9ϑLmNdhh9Q BU)tjeeh',3+}TSYhGb t_HPM/WCWKz;ZB96LNpM>D(;"}P}EpZ;_g~,U;.3P&pElS jkkRS:;%~AB*/cfUu?_O8)n!랇Ȑ=Ǿ7O_J`i!<:1W60|B kzM/d(2݆yxYj&fTeqQqK/-f~&n.]`Y' Tå n3RPN>NО-x[uEaI5bYaf_CR/0B/KJvW0kOoDMJj C[gVKۺ4VUTWD_Ѣ:j{4pJҋ*wtEqW`:,%{_uPKVN 7cnfformula/families/__pycache__/counting.cpython-36.pycXsH4;88oXTIj'AB0+aS Rdu{FF&(3p [{…UrȉF3Ij~^wnOOW?߳M p݇+'4B󸯵4}}eP߀~U~+VEWZڪ}ɛkg$ʢ4b3~Ĵ<,͈s0vn86Gcb4&k'K?e۱fm:a/ݠ۱Ӂ*Q-.S}}s3Lz]`pQɶRYNݖ@Ӆɧ<ʎCҺ z>IT(mwB53r۫pp@=6}{@B&tabo(+}pgp [㛟'栰/@>(~") {g_>fϾxv?-̣9ڀM<}wiŏ4 ؑ*-(;hKU1ەH峞Yqh9XViXݨaʻ дK2p$!JjK+RAmd/ʐR9 -GjEgQy/3ڂVuM]#QorZ Z*=Mz2Ra@=`&GDQ@g/bckokokTqϾfP%uQJ}TDNE}P(PZFC{{N|̼x4 3 NmZ4psle9^ \Q tp5R@}Lt+UUY}̽L)۵I'3ె[Bph#[10עI  O'kЗ> MPVWiLz'1@2耓G((ŧ8xjaM|>S(ԁZyB-cl^w-<@yqS7O&Ʒ+yrPN]27v4bM4pաKw'Tî8["rq|1O[3~Kl'}Dؚx-okn S4]qOPbNeT U5DBGXl5vvZ?PKVN. ^<cnfformula/families/__pycache__/dominatingset.cpython-36.pycXo]~wdGIݍAFcRP$k:]8Cjf6MR"kZ?E CEߛ$3ofǼƟ߳Ox1R!2çQ1(M SjtdT;g\%+`2h+`2Tf(6r,B{2S[M a>36ϊIi黱-\i1nW#?^X]əѾσ8(| ^p_p{©:_ .:0̅+#Q2y6qҫ88!r~Vҋ8xyGVyCd@֬ͪ7G`?~oIzkJڡ/w(GD\&3zmZPjגS0R:K]!0}0x:aN& ̞˰ 9#HxEkT({f; Y NiGqovI)F3:s>5ά|4u Ԋ?B'ŊjS>K3 8){f` wW-FuK]r]~9w,L_,X;fO(_ XQ[Q۲0ν/m `NV5EMwrB󕳧sk֧ =}\G8وֺ?Z8!@!?Sz3?C)X5Vw L8ǝvf"W漇NM=8eƄ dKt6ch"a6ul!\*ks{g6m{ k:\fVsR/1k+7V/l3ؠ?a/pnDqASldd7 Aj{l/Pw~UڳHss}jz!@P̆KgfݰʇQ䊹ϫF 8R-Ou5;y$ZeY+#Vno}8BP*$5 ?8s-P[CcuD[ Y}~NE{eweRuP&V_8N1,L^:8iv;r^|yBMiq%?}trVrF歕֝z}2s=prEB7~ }uc8F#7V!/ C654b]cM_Lca$SkNQ54< :l)a'AT5'#::ۅ{zLFJFbo$ywueJ4iۣh!=)لH{*ɔ[:t'lNhji tB]@~1. ,n/b{aBtq^` dr<]j=TO&-!]0gGѱ}Qv*>xn+VC[YmMMqu M>2d.- l$y/B|Sq&P0@uw\Ɯg Bs1pCo9uO^ǨGCu9_~.ux=G%tvr)_{!)/`=h.ܘ;B[Z~ѮjC }ը y &U zJkK**ԙSsB: +)r8血U#M oQ:n'k.8ƺHqXTuS&)@8AĔĽI#kނW iQofiAl@2=*T2?N *TMA'䕹XQA I΃ ҏUWA]%e$BAP^&V]jHb ֖YXӠ_PKVNʟیF0?cnfformula/families/__pycache__/graphisomorphism.cpython-36.pycXoߙ].%K+l]ׅRHaq - [l͊3Vjv)+4Y [i $H=ȟPמr逸K.% (y3;͛[6;[/i fZ_c[㽥 *asw}in {GΓ'OX= Ⱥ);P?|+z6he}rMgUnNZm{2^mOFztɡ^Yh;m9(Gc 7iZk.X_g5/FIAO>D@Am$ ?z8ok_yh' fs981`vj_OP_0D7{4֠2kX}b`I['ѝt YRJ*/L6Qn󑞿>>]; ; 5UX~[< ;cAǙ_ +r:J}xͱ}QfaTed#A<~GAGPV6ɼpl'2lF vԢ8x2LB8c0)u0cooخcVhֳ~*@ 8GM|%hVjǟPxJ6)hwԍh*yW&]NXD=rCǰ 9;>q[x-n| f#r,  ]؆aW"m)6YLx."Bzq91X ȉ U;5tUQevn;wxCd8Q2fN3Rͣ=LFc#+n:5SsOB*)*$´ LVn,U_[{nHі˕oóDjCZghQ99}ׁ f}LkA !Vb"ݖI4ahD\ kCmp9Qs蹾]n^]Z-PaKEu<]" i䚌/.!e&O֡=sYۙçNX hx &y`,4tygF+4aL0T_Þb7,e#e۩lȵ܂B™f*mT  ?ƛ8x 5 { C荒4)+l 2ܝ$[7Uҹm\~ ,}/u҉!xiٻ>`GɆy?dpFpbN@dv(ԛE{ePutS.1=Z? xv&Id+^/QM؁ B/1 r 2%YXck@eHn0*Л݆{s͗#oZBK3+1}=ezJy\~n 򶑷E 4{i0NYbBpqRKɃ."e9Lt]_rqͳ=q/C%6rݜ Z:8?@|FPkU}c.ƭ96z'WU,j]o ,^O|pw/ uBn,;v׸XxB!, 7]iŃ*"?ܙ욧 c!5O," 2qڞRNF]wJa`K6|KQaؿPKVNQj&; W7cnfformula/families/__pycache__/ordering.cpython-36.pycXo.y<C'Y'pY7ht%&+P8C]xisN4>}Т<} P}+_ E:")j{oft^7x/Կ<FO۔\T_kkryj$u[ʾ6J"WU֮vz c<"d&>RڳŗsP7`36@_Лl}iw|r'~>b'v wx[`\Aq ?|goL?w])bE9 |.Jv("`uB QVe !蔦,sCĤGS吤$j%8q>&c$As㘦=%_Wu,7axa̒/n|`9C7#k]֥f\}qd183Y}#P3k&A e,{N e;7 mnnZY) D^0wQ0pg EZ7e'8w܋ xr\vK˼U\Ɍbo5G>EV)Z5b?Whj{Ǫ PqavIh v錜.]u,_0VS+*-?cp!%G_Yrq>Vdkz{JXhDVg"GMr|\r|u*CX>K|u˧IOF'R BϖrOJ5`E2 _!I~A\;W$.ΠJeWLgOhg;̽uGƑO+i~D]5'O-wңX &V]P-vȉc!Ml+4&XA2kp2d%]2d؜׵YI"0: fp 贡p^2ez.*^]ݍcN`"&GڪjjT#5 j̓yHfY" D%276I =Ik EOAi]9M<˚GC#".߲ ƒ:z߅/X,Vm'ռ>TeG}ix+IyeERBW̌O(]$C(gř!;kp (Gb%ȉutBƭk/I|i3"zVcb w{5}pZ[k/Zw [G&nbjGPSb-o `A;ء,;1f`ם. / ,; "_FNj.\F=Jy-|Szr$tzA6 ({IM>x/tt81ѳ#ke"Vq8!h(*cˤ)'43lSmgm!x8>]l,v?qJ}Z2Te02R5vf%k4ಭ}&1ΪNG@ :b:bxDb/*S4S"z1|BkJL݄Dǵ1EF- | 74\{v( LIf"l20FT1-u#CݼD>l{MdB4?`L{5t" q2c-Orhd#5jȾI ZÀ4&PKVNjNyr77cnfformula/families/__pycache__/pebbling.cpython-36.pyc[[sGv nA n-kǶ&m b%ђoUZ `@ 3HdM,m)oޒJKRI^ߐT5OJU\~Hr8K\}xQQUId-RU,ҺjOj*]fzj3pzjBo:Cn7[|ԛyt>=P-ߒ{z*Z+wu[%kVXT/[1y`E>YX#Ȯw_ctDtw:w eeiw{.17}u emfM:m v642Z. WW g{5 31nqn2h^aM]y@N]ktbYk6].ٜ5}f]i4v7wX8<=|5JO_]zp]R #e vЇzfX>tCm3m&YE*Ţ?րk6oc`Kh~[={Ç>oJwͳ޲[6ޙs4p఩{'H}]HP\cZ_ mx_^k uaٞ_M>s\3o\]Yy鴤϶̞ݵw.ءx P_APӜ2|&SǕK]iv˕5nH? `.%P9mԣwGMwwՏU_UƪKu2 ~Gj'Z)Yϡ筜d FɮT6Fښroq3#*t#}rS[vZTǺ? ){*}O9kΚ2(:0[ڦz UCgdkWxO~u]0K`[#aj໊5L?hqGAlɬ261o*ƻ"ʀ|%1c]Q> 4o؞1@dBT!I 4MǢ^.뻎=0m6P*dR]G*]1MWcMQpxiZ/Nw# 2c#{dUcÅƎb12҅ic6R[(F[ԛ"u>ځ&36ö02PBDz͇68 G.ϰ ضqXyMn 'V(Q)5 faoH3@-_]}ma+UKA#^hҀ px'Q^y"aYQ+81(16(%CV`#xk3AƂ*B?(Aq0\L?y.8 J}H(^p6&$>l69c+ /?A!L'~FYw"gh -<[P ZN+ZI/GL/KIm^=3XauK@ Uho/=Q;.̞桞)m5xӳ,>Nfɿ:U E9Y)*o'7ʑ]3u[qfo]xU/\BmXY9_g?QfyQT\LoXnv5ó]MceE@ Zq?UcmQ/ToRBSt/lBJLݺ| X6bpw(!3ڄvՕbC gMll3}dnŐD4A'bn ׮ܨ߁7AJ Q!pSZoDlbز NЦy4BMߓcZ_clk`vBr-ԧ57Qg!ɡۙ.Y:T6Cۅ42^,[>M ̝^d`]j Ԧ0j7TJsS6OMY?S9jå=6J:~]gk=:7IMS=mP֎'A_j*,Չ)Osb"T]ҵ&uԚ6_Im{(b?9:L,hH7p+KǠ>yڙ>N{bT!hHLhœ37Q?4yǸ%Rŗ@k‚d@ov=~oDU0& rxq(Byϫ[R謤%e5YHY]P)I_䓘䦶gWz5b`dcEy؟᱖s'~ء=( 255D,? LX8c+Oշ? $4}9߽OU)=*mk9XOX+^D }8ڎOKX х{51Bf}{ 1L䌅("^ٶkrL L$ԜmBvP ёixk?(麦ݓ0餛\5@i(f{CD! 9D;"j<4wV1h'TBJ~PG J-I|ީ-@o=8x؋;&䤇 tR-邷Qer x!s\FhU >wC .wj+֖J^芽a'-9Cc8'mߘP~$ H=骘t@g & ͲlWX..)L\Sn#^^ < J00\1$Ufsv*Z\`o͛׌ :f{'7ذw!7|s(ӓ6Vl_a2Q.9BÅTWb8WC{ 7b̏|K NOaӠn ry/<9\;&6lʞM;ҦH$$ $%:A#8Gg-Ŋjz?p~=>{3؞k-đl`Ϯ[p=iIZ}uo,pJgQ&LQ= %A*=?ǿZar8X"%<2 "^#m&-([ֻJ%|aE:!f r]a,ˆw,RPJFϟخpk3jF/E00E8k%I W$t5䟔iIzȘ5DA;_xL+AĮsȋ]d״B/9tScHzb }?gA kF<FyOq(3** 4k%X47j-SjgWI+2JЮ%gug x\S%*i|8GXuY3*XL6]$((!2/yDN^+dx}}L#ڎ&WCV!Y(77SD@:ZvFG~ٞع"wOIf,)t,"ùHHL#2 h Ql}Gb5~ DfkF+X qKb*&FZX϶XbW!Bf7̂ja^;0Őz lzb8LBhR%.rӀ55@x?H8 v#7{D(afz=``_zpX5~(>v)-_82_U'68]JW%d XcB/]·:}}VG<{`Z-Vɼߏz:Ͼ z2v' k]Yo}!]:Q=VqH.ƭ!C'0T(L,Hi~\hijcjůWZ!r!f9n0 Tc&1CDE/K}3/ +3ҩW &q_@SR / {y=ĚBWr -heKBJzyR\,[Z5c,Fsڞn{>,rXxL0&򗿆n-O>CH#ZpK6x~Xݾ\wT&v~QVu23c:1CPԣz EB&m8TUI0cVKrh;7"_W*S~R;YD~4Rg+k>T2?hs iM83QaHsx4]-(Ao~IC- QB(K,ngIam+zA%dɔ5VhZD(ZP@}/JMHB> jAV֠Z 7'Zr(9ӄi۵(x-q' U=( /Uѫ:GI]`(gdRSy32:aJ1ROR CHزeinV dwB#)JmZ!ꗼ*Vh 2N͕ ,yU3&L2QEuR] ~%``}Wp'Y9y";3*,ZŪGbM?U¥*>cEc+@IT 7$ҿ0,YwpsjN+ 'oH3<˒i+ Dat3?wh̠ղoB,Eͱ&?#<ѯN3:v*k;E\A]KQ7 u:.s<x>qvcؾqs> ~Egg%_Y!"ONHLp'+'Inu>1\FX=)X`/D"v=ū3z3 u4>+Nƨ8=zOzO{R> iwmA~- MX+^ۍ*_njzbڸ?'o]W~,֥ݺ+]!; *j2I ;M?ԕ!yRگ׆-g)OqsXx!`hY8,ڞ6,Ҷ>( gimPt hڞAm=m,^WsvaOІ{O׵5+2ك2sXt;r#E2eV* > m5VBcGfUq'>^l+7A#blIJHL*b ߮g mL 7dOMH4HXd/=b@[ p1!69i4dI`( 6 ꙮ K䃣tl?=Ht% }<$mypo0#*xD+ 5@]J]$ܡ!xEj@Cr'IM;NIXn+,߃5'IŽP){sgHZVh=у Y[vjLLrzzEz2V }됃V<Wz5uI?"${V< HJG:BD$8tf/>aS͐ee#@ M?RݟIg; |:-<ϭdyjA8naF`1N,&d@qrQᶅG'Zy/r/grJ V*Ly$eBH <2sXə1Yga+$އ5KKX܇ !206lam@mJۀJssh*{-Bһ.=(E,>WىI*~Zl+WY0Ocx*/ۋ(1G (] |wߕS}P}r uBIJsr ਙRm &һx.eW#ҫS-!YQQ&EC(^7EptM=! BXfzE}}}]}0#Rձ5t5&77Q/лDm zӷb[a:jX2S'<@o6|Xޅ ]ɱNfiO#zn*O|p3E/[VFo?``̪B tvr lr~]3R `XnW$_A?Յ}B‰eP%so{({.=(p"P|JyI-)#1F|*p_bmĄpr:UAVkZiNm?&J:J5kq/ob1z^(ED/2;L\j4 k ǩ 7';2~pwc`n`RBz}LR Nʣk!}00JN*>Gx G(S499ȇ^CCzLo3=_-@q:ۇ,,X/>EERJp khPaOkIe9V`1'oyp]i/23_(?1K>_ g S \´JB=z/Awb d9'zT u7g0M/t/ cx#$߈r~P@(ʐ$:OɀUe@lL{ ;UTdyVi4A+$FQPs%ePvUkh rHcS*I{&쫲W 4fHkuͱy^h1æ9Uz1u胓iE;!M9DBpNȏh:(\*u} b %hű9M" 4M.tH3[q3p{=GDzˆQ0%k~u2?nt{5Kx' 8!Ǘ|Iꅉ|W90űg>IW+{b6G6w\bu.ku`a6zw>oއ ]>s iF?]读8aF}\‹ktZJF1O Wߌ"ӣ3#U:"h؃l6:L_wŴ}G;}ށJǛ[7667?`nonݨϭ_~l|?PlyC{*de /C$ ٔ$Z=9 A '0A?]gMI-p(omֶ{߰o|[ 7xCHuNR{߭Joo( Av_/Q:r^(64qEZNia>vV 54c$ppލyzuPVd֔R^傳f= yPҊj+dY{\!MUࠫ:"o l_ hm\Z%5I+CtJLoKE iAF;RK 9p,a,@r̐4f%[>g_%sf{E 90Vgq[$݋OR"a=b RNA?1yfd)},R9-tP]6m g^r=KF9P7h 9\{0X߫L,bi/0C'bH8%39X:\jd9,*qq',}h9n+dn,'=U(vڨۄ+ H(F Y%&3O/d. 'p߾Hag T&:쪘J9dua>ŝcބfe% ֘N2 8H@be6W?SeU#K#gq>I<;ABg SbbH0RnͶvD;x§A׍$-"~U@jVjU]DHnAg7fN6kgbUИBf۩eAĠ~ŶmE.tt.{jZOυ8x}6j?p<6LM.ʼLPy>7hA Ox}(G=]p.*`6?\~<.?,|0XV5 x2|wg3/{WPm5,GoʶtG3֋z/O5QEc>6kجcSfc{ߌDW3'II],Eap55.GuzjB<D:W\KqVF5xe[=n 'DdiyEUдn3FjdfmGjj7jSK/m,%_PKVN" n A=cnfformula/families/__pycache__/randomformulas.cpython-36.pycWr] Q,yu=pҺa+QvUU錦{S+$~Rhpz}_*(JVZrݳ;? !! >_\8N9 h;0*K߫p7y5Ըūp6_2g=rx/3iʧ7ׄ_grV&7p#]g78puE3=V(  4>\N'Ż%i#^R`kcSrlnvg"Q˾P}!wOU~r 9n8n(Jl[/sw/U9tAXhaZb\RٔNYʾ&C+үIʾG9qvн6W,3N\ .Ϸ(~9]/NN7o?/>~(֑/-)HI'N]~Ğ$;gXfﲥh=[TV&kpV.\3f jSӨ1 =p&.tZ9}hjhʆDAgdZQ,g294%369R+5fL6RsPM(dAjx@c)ߘȊVRV4Jq ?[R.@oЯЯLA )`s\qko;F#p,܁T`Tq Џ 0ɘ=2c4-K~;{ Gp--h5VtC bw@S+Z'qѢ`\j^v-l"T*ǥR#:lj)Ԙ!Dlʊ;lCB|EQա)c` 8LHDnrSH+;$t+n8uz;r7UQ 'gu ͘3fޜ`f]i RF0}O&QlhQ_ЩDKi|jaM&]vTG I}_|ճ<{dw#U_ ) 6qc Rb/~ÊHrՏJ R>s  KdtUaQ"@ֶw>n{I9N_Q4{Jjm8vh% FThcv`E\pxsu |!XF(si|v s7J ;8C" #]N.IÝ=.s҇2z"k@g-u]w%U?Q:St7/ kZpRs+b5gRX]EYY4jݠ ~h2aP?(cRPSUcrS9 @Uxg)x$zz<g" 9x!BQ8}=.#5W4%v[}Sp8 V8%P1=eQ<&0!J punχ6 @`0 uE(E 4pg(rW!^23Hd&:O>ȧG;+&w&ʇ{pt4t 3'DeF&n.f~GHus . gȭ(ŮUAsmd,P#Cg?5 x*ӠBՃM\}>pvY;m׺[ngύnxśjcLȖHeBA%Ocw7ޫSS_/pp~g0)mF]ҧmJZuնƵ+}0/Gڕ/2xU^KS7F=v>B;t|AEځ7rnX]kjuY 0pM H[e1RB,õA ,^ѵ5߷=fmMx] qa1L8bl>9Aou0Ik #'BFDg%@ ~p`۰x?%I/] era!*CjC-./Ʌ 7b+љ8 5Ը xab҂'Zǻ6c2U ˟,9t\ 9 }//6/_u.t [vq,$ivg0u3X R!ѹ{CYiYZ#PJ#{HJ!4A+$TG 3v)zΖʈZBo1Hy] q Eh]hFzXn z!Ԋ6cȚ$)B]`3|3*LHi.~*O~;^"mGhTA"39x %M+|0X*6v\6taR :q5OH oQ8QŲ<-+6,ﳡuz2Nٲ߁ x@\?;В>i m -*F5zM'jjFzyݼ4yTe}H,V [p"w DT+06QơI{XOQPx #  AO}Xwgevsvndpn g3zNof 7dYUt PU1VN_OZʤU㛚H8=@|B_Opp;˂Nw<:Jx,;D ?LH )ѣ?~2UWo^:Y6Xka[ks>Cˡre*&WL\d ;12@-^3B =?1g3nyql1oCL T`5F2쮿6Q8Ֆ, 4X_q~Pr^}ʸhֱߑ\|CoEN>5pm[ZKgZGuҖDVo[}Ӫe"y+?̫;T98т@dv^쐸]H;dPu^g\m︭*ڿMn`:`*&HP28 l<x0-`3`f1r+hW@b0Lu"`m2+HW%I1(M o0⛎C݇NŲ@zoɼϜt%7.]ӊf3Nxgh!LJbevE)ކkaFD` 8ovhQ~ޮ#eadaYObwbͻzb*HOnlTN$NmвLp7lG{.?ь9;ͭ0ɢK`{PGJ#`ezenk'qyv޶ pu)mY eCׇ]NhZon-a1aof?rT#16tke80^I?0<7ց%b*4r]e˰רx/XDcPo,,VYatPGP`ƁWE=D=nFJ(t? <4X sp,,7QA Vw|i`pGc)7bE {qB$,&k{a!Z\syA kՙ sa15a15|Z- PG]Q/ak@j rnn}+b7oE<p<<BҁwB'_cb 2$d0|ms;UO}9"q T] Rw 9IAG: r"?6:C0߉E(5HΤN9Ђ>k* IJ>B``&%kN v{dhXXtqblk:NJX4:џ{'p J|&qT"yĄ@ݩDdM9ǥjqI,^ԨyGa56MSocѳ={f9¡ ,%AaFOEߣCE>?#a+`KC*P+e؜ύsH u2d~<Wu4 ށAˉz8e]jYlWl{O0g}| ;b[zfuDiˆkz`R_CRcyҜ-@=O Q ijVF+mY&V6#h3  澌KN|px&B'hMnC20}_R6~{Lg7 ݮ!b{I*u[A Y$W.o.9b[?gb(s_w{ m@vyC$t\~1rǑa66FxN"0 IL0-_|3€AhQD^&yKOMjA.*_\{$`؏y5J]CS]K6iCW3AH Ͱl.YX/7~=f-"w=,{xoTpbP AST3TR3{^/:^?G _cma\GX816n`$ >r]'Gx~}-k[XG,h~ausEaq;X|`lBqTޫc7V3m<6r ߈FZ/b7sBQx'!Hynngz&g4o.<ɤ*O->&wQK-"M"Q\eYDu$W5˷"@3/Y+r^rXDnc]?)lTuFmhS8scj#*2`X4}}׵J\]CSoJpgP%W@lPKmz% /\],Zb=B|pnxiE!G7"q0ehQ9.G"{ U|d GR&y i:S}:WcDU7PKVNF @cnfformula/families/__pycache__/subsetcardinality.cpython-36.pycX[oY^e[Q 7)APb+ђvAd-a5KE>ra!E' ?ڧ=g\R0e.gr.9߾tW-̧WEV M ra7|PbXrl \1#|y_R= ->ǝWwĕ_Z@"LqD&UzLr?bh3a/`Z\%Ins{ ~]&CɺG" Y% I TrYDPHJ"ڍX-#Qo9D,m kQNkcx0̻yn+_7VS]Z /Y}j3w͊n< ӵ'dTM:aQ䕇E^ :i} s.w9ސh,gTD9cyK}Olt3kg=yOٲvL`7qJ8>q|.$e4maXFt{c~>m ^PQf¿@0iM# HDkGȍ41kOF`] zYa$7Зm?g5_Dĩ8oYXŪ+<{B?u,eĴ١=w>Rq6bKdS➱!7AU/hBAlS0yU/C (}EXJ&c3TLGvq`F` MSҡ Fg`N % Q?TGi1K_?q30d~u?PQ3agU=]LpDǐݖ8Mɼa6<7N!uXZי.x˺NjiA:>mղ'V̄X0) KRt!`+A4(Jd~¿A/z7jkݕ8Q46N21_3Bac^ ~93C33cod~EFLr_82Z" .MF3L=;qE]!uɗ:MQ&4&ɂG3y;x>L-(fF2MLAXD|#@ čdf,|^UW `_qnǒ-q8#J@T]MJ+8Ӵ$YL#{n{c@4U7?JUqzkm3jf=pn*Q-o%L¢-dA@!yf uVg$C&_0f՛oj Z. }O֦ރΆ"0U8}u8W @(x|-c1F?>`Y?ӵFڠsaYktǵ֣?D.Aj'eTl÷|]i39#`U\6:5+h"tNH/!~}k!b_]_ZsnV5Nܜ$7}Z().th+=EUaN{&K=2 ^[>BY8F䔜Xb@i0ͮ9ӔeLtpb88!-٣n#wʖ♕ʦRB'Δ<&I<'R^2\xrh\F4VHr!Wu!yh-W5V$13^s0Vu椞v=/ `}7I{egQ*"SJ,/ $ r9QFQT[>~ght+l3)PH*EH\{15qPw)!dF>a}w*ZX*LG4[6o~U+NUIfdj%%9~ Qw^ɣ_rw(t^|]6>AorK`{Iװ8W ;)6hN0N]꫕}#="?n"wIʃ較^Tԡl4VA>sćZo=Hdt8z.q,EIs4Ln1̍]1m~n$o/5'UBn9@<\Ň|k8Ĵˆgu>Q NbG>+y PeEV8|sPa?>a;߉;0IQѳoNpt( 38]hg7(-t1gOϟߘ^~s:\) L6, MV[Vphps! S(ĪݒhOm"HB.ກ "[H&Q/ښ$#gag1J2}ѸF۞n,hFk((v8-z]B\ vּH-Fx̣[l-ˡ6ۢ{źlmM&?D-bko HB>fv-κ6 T s̰8,ʊν|82I&Chp=EEtk:`urd3S3_;}{ՠD+MMПn_Ȅ~,Y>_ "ap5 »*:y,v`;Vc@MÛMY$!h@>n#XVbxe/(aa 4NJ6p; 0c f ?#ҺjB4{P| )eV=+3{[ܚ8DqKd} C ư (+nضw/y^PhoNPBA6۩r.Ji #+UTR;€)!k]<6ك"!0~B8o8JkMs:׳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 ?PKN~(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 jF94cnfformula/transformations/__pycache__/__init__.cpython-36.pycTn0,[nE`SvBpS9XN< Mld;T= /Ñ%r-81f8`of';;˯ɇQ Zvs28 E,p ?<)ρfJZ^BttUZͥqn %͠ 29eݛctn`NВoĆGOyȧX΀Nk9D 8rUz0؎g)I6 U.pa&[7ER 2~P0EA>yeQrм?4ax<2-H n㟔+zjr$tf@ 9,kr9.kZ%lt᭴WHKCIaZ0Q uOn0w:Kpߞn(VN䯤pM@3V j:95Na,~Nn&)&X )==n~69SR2um2Ħ=+b7q?>7m@ᖍM2#oy.oiw3 >~'OW 7EA}(&2ͽ4OKAI'&qL/^P$^\,^I,8,2Ʌ]{%^?ǹ{ww,"eS gBD]PMb0ɗQ;3@4 < Շ\k, l'bqpA ~ƁQeIgws~pm1lC~߾RUo=8EwW*{IK=:҆aU{ՍVWJV>mTÖ!]x(+z8%K!E_p % 2+48آݙVH e.yەHX?{4՞DsCbe 2/\@*zp,υD2&Ur*dUeUZ1j EmVތ-?{#]C f](N|b%I IT3 Y/& T*+Xc( xW߇0m0ki9 x*.F$ԍ+GSH̝w9UlWj.k0L/PKVN^gdCcnfformula/transformations/__pycache__/substitutions.cpython-36.pyc\[luf%ERDQ4.-e[vIbeSEomɥBѮӆJm\ZmZES (P-З>AEihj KsB-ŵ+v4ssws<ߟ? (\(X1bIJ%9+ӱT8k\3ul,Uj*Q]WJ%K5U7 ]][V\txMa8)xbL2N^͛vP234ӰSeXэ|زq 6e\Ȋe%zGXb\Twl'x7fQi{jhתV#֊늪!bV@S-i[xaxl٪`MVg 9єL]aC\-8g;23 jrC`2.:okTct+kȵy3exC|FxB#OKxN] +e, g[B]LUӛL#V;#{݂s'y7H4PJ=rg7[?c:>o+RxŇ־B[얩4bd>4W) =ﲦ{RxSSysDŽ{H60:M%Fއ>9X}C[߇'}WE,]L=i亟 CCv"Ɖ7k?O`) ę5ӹ\\0sJ^-秃;}&E}ӇaIt>^?]y&`D+q+1!TW bKł 裩№{Č.X^rR܊^kV z!oH2MՕX}D:"ڒBY]+j2N9v,t$NSM.P_,Wt81͎UTz Hz59ǯvwX0Vce9]QKc N9E;r_ 9/dh=E%jܻrE)M*--grA-ݲZrTԂ=x'3xnIG'ERR c``T+c3W`P0#xٮ6FX, [ Q1AfDJ0Kq1#^ 2y1}ekˀIf}tOUxES+>ދvQ#BgO̪^6#zʒwd2 haؼXHZ[ EruCzAPY]\dc~~?Q. (C+KrwJjdҼ]T>- .jA}hWr?نV<5CwI67Dz=sdErj=x%ˑWMDuV,ـS~گ[ HIQ$Hɐ=[GhLɒȥ,21̏)/gh+Ŧkˇτlaf"`X]Bi ڠ4.OixD|UrLVY i3J!$J$ʢ \\&Sj9R4" |hgRm_KS)i~"=7)и= @?@R1mDv",C˥-Dl{2ܽ.Iغ-)?E(cb֢AF@E2> y+Ga%ܹh48{fcdܱS`WmmG1 4h=&t7YNXe)O\#\cxi{l2.Bf=ޭs9 I8t7iyVlpsyLhuAӂaX:cCOB Px>Q-sIJpnfꅼX(=Ӂ_[L'3bU\BsL{ Fy9rw}swj 6Wlnn;Y)4*O A{73Q`Ojm6L׮ #s1`i]#+zNü DePxi\Q!)<#8>(9R)rCg":i8dhXG}8:|w'>pUPS[&n?t Q;8&~vs֯Q[YfĻB]B 6O;r«]qp4SPO*a\l?t$ҖnI wKr_Nɶg؏/`WWf*_"Z?@S)QW{Qң[an=Dޤ+"}a= Mc<]x6_yK>GV߅gݾŮ Y,(qiCqevMiD9icw\uSh中yM‘aHj=` ^zgGrjv,{|8%"o9xݠ!›[Zϡ:bkjAOSZQ2 YGv r˿ zWvU̶噭rT /  m/)M?afs~U[u 'EK`ֈR a^g ~%Gb|`=@QFu{$ {|d= h' ^B/ P xV ֜86Y}OS$gte CǪr$l<i%}O'MeqthlnS.>9Hb]j;<>Ȣyd<mDdgu<u=j@`VbDYw6c1>ʚ^ko{։qO7^LE^}֬OX 2ji>1!4w<禭y n3ݘP`JDᦳ\Yy$A[wÖFi~%9K}T"TXu3zEbqy$6$Cm'j\eo|6{}U͠nyUBć؃+Dc~<{/'|y¤G٘h=ڽ"9X/9XjOqGҪ.qgkp)8rQ<(|^ʼnڳ X} !@uZv›oy"2%A6 Fw4e"C?l8zcG'N&Hڛ_Wjj,_-G'~nkJLR bUmx5:K11Z1Ah~h !}hL?ӖQxW, M^Yl ~q$ELenI|4vO;_qx]l.:U!@\N~ѹ= -/>7 G8kr52A;GFu(j][U L?FK<}36WL 25i*&lUޠ\YVk)ťB.^;d&]o$ d=~VpC0Sfhd6Tx'W3u+d~~S{<8?WBrd5]ʚVEYU_,i1"o͐OiANW ܧչɴ34,nBVi)vvb}`U1ʀ[q~8tX&5.[╾YMeҙ& \s(bVb9l)3sKܖr)Ʉ՜VϹ/a!vޤo{Z hYd΋:6eU_6+PZˏ\;څKC}\3za9\ yHV*\jz*HbI;Fg3uŊn (*p֚WfN>^X=i|Lp>>~? 퐘_+~Ξ&fcY5kԣ\[RErjr2fӴ\v=gU7ܭh50(}AuyۖpLڨ~0 WZ]C"|Һf:.6@OZnХ[{u.Z/44ށH: z'XIn͗qˎ~"vɐ6ryn!Q$ T\b)`<ťlL;)ا;O:=Pt;%zx҆3u՛ `:(3 ~I`;H\[l`ᎀls׺{ᎀZ4a-նqK6oDE#v!AG%p: q‚ujoW(S;&xEJLÇ>쥭*z qYW dE8Ki&FSTl3s*Um>3J4}\jJ7+LhHLM] omW\!w3X«5\miA( >Q .+RWΟQp`Ph?pZqs4~- hX/M%cݰㆉߎeV9˓6k'{EE6&lo7ó<nOA{Y-{0vm|5āݜagn~SD1VU!h=*[ST~6҂JNq;AD<:u쑏hƸS䙕JѠ9e @v(<4 J×w>IY ^8%._(I}?P=R/UPc#RԦp@NGN%v8`o72 ˈ#`d| Kߣ; ~=ipPKNKT# cnfformula/utils/__init__.pyVKo6W:ȍ{* h"hEC4إH츋;Czn><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_ 6PKNK3cnfformula/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ʃ*;PKNVG #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"ExtPKNkm: $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`7PKVNc63c4cnfformula/utils/__pycache__/__init__.cpython-36.pycuTnEvPB\ i%qR (RW(JhwqwopwC )7<@n'%Zw̙;}|^;{PAwGCKBP1H{I0b3ߠ,fhGO=iBS xB[iϋ~z2# ïsoce۫,hu߃}cFrr=#C]4FLb [YDc[0? X٬#YEcV_cVXέ p 3HV4?5[if cc`mϪl x)u#dIğٵc<4x]+  Yp {G;,`YX `NmiF3ekC eAG- BNH`Do' g4b!LEC;G~p'[$&"E :c\ HicιЎ/'gӄ3XtW%ЖCe$!BbA=9,Mܧz1Q]&#]еQΪ=ʀ˟t%0:o\XҚPV <4r0_#zRYI_Y^#,B3UU5v G KwRrMSTU}i$aqB}_RGK,,?q|@Qw@#IGe6|zi\бD ҄5T(*c)鈦 in8NA翑uzZ$LE[ MoӴf7].Z2.HxN~3T ̙," pr)""5C`ӅB9igȻq|8%J%;c! Lш%.cWN.FfZ}'`q_%oᛐJh~<9Py@,{mdhO~<}`h@1I,)#\HQ{~(RA36]Krz/Ⱥ31m#W՛ 4_;/r""a(FXtE'B]Xshg E7ݺ & ٫7^;񆭋y~5"K _~ b*D*t!Q#'R]"RN%P #E.Q J'XO]+~D@4386P-YL&5L E@<JѼO#0Ċ?NGHEbW/OSqęc'>L Qy?N@K۸E ;`A4{թ0JѠ(9qz$݄нA3^y0HYm*_`7_|Nu H= M &C}b(1|>).]:p ~_K2WH*wH,}%k@+d5{=L[qau am;}SSeU1~}p scz<;"%gw߆cfvڢ?TBt"нXNIղxOVlf"ɟomLb^b)S&řxCip ݦฎRڱrplV,4t٬FeCqV6=郑0Thˤl D2V>pq`XXg[z9ɂ7OW  BC0׹BJA)+cs7a >|fΥ,QbvJLVJɭw;UpgZڣ%,rђ MTai%yޞmkj*8hn68XYL-D&x*<5S^9K ^Q Ʊ!*E=S&y1q"'c[̥W}1uX|T͚Ө|NQ8U=CF 6$$.q-)?p$ > %ڳ= >;O+ɔXziM8cx{" aT7'd)>x歇eDïY5 !DHKSI8b*@_i@xb?֐ԟx'cAx (5ߢiA^Cis19$:%M$C8"յ; /)GEx[밶t=DF!rDpA^nlЍ+]+hfBJ祩wC^Cz `5_;YTB <+߳ /|F姝u:ːWQ?Aiբ(XkGءYCmmmg2}tjܩZq" «nepVb@PKVNb <cnfformula/utils/__pycache__/kthlist2pebbling.cpython-36.pycVOoP$ES8itۆ l*XɻmPQwNs׀X@ł;$̌[.uzߡ_a=^-fͼ׃o~vwݲa|5h&ϡcVb)3=یs \3z=՘e׸?|&wǍau%&_gkP뗄X>_$MTe?MRdBc,Y |Ob2M 8慒aTDp(h12څ}''_˯Nv;p,|QHC㡐xqp I KiT)a8} / Lq$ q>)R~n?Ie:4hC7mFx+5np]_M0M1Rw-lCfbsymN6 ~zU{n};㵹;5`Ts1x}_X 7'\Mp3.h8LhJB%yv ;gJi'BrnX IZ˳ww:TS5;;I>oՈ/ g̜J)Cs4Q2@-* nx^ Ƿ;(rpOq%oyjEyǯivNMmG;>ኞQ1xZN'Y}Lip~݆ N rNC?;{_}JNw/c~wĩ\S~&K\[=jt2*Mi( %S@z7 x}؀NB0Kߤp^N}K"1No. kQ劲]^u_y(XyĖ&b:ly> Ml+IN&pخf3&3Co!7C@-#PWܣكcCUL qLп [C"-5y!'^W2N2h߃AJn4Q 85j"bgѹݥiu U,rH2Sc_l.lUs{jUmQS1ρ&T/텫ZPk7`_Am߇oWx/QC]"X .*] aS<6@,qmj>=1e 6URaB}vM֍*XyׁIKq+D`&eo{ځWćɋw9[^px}F}2l^ m2[Λ`x Aףqgx!*һեbO{ 'p>LgwˣWGFFIΦ)o[Uoc4BL6OZnk'PKVNnx\22cnfformula/utils/__pycache__/solver.cpython-36.pycZoGv!EWTM(ʎUVEG\!"ͮa{G=A6pC@s94|K.FE{{U3lHtOw}z>~u]6GGJτpܨPjiS ZƇFQI'4mS?>|\ۨcQqZT֔_N{0aVPԍv۫+o6 FNH "n9=ǏˎGB+Ԛd{: tLQ8ady $qHϲw\i $Y$t$dDDVe&${m!WII ۮ9Icz j]xKrf ß5eX76,n w:qHnCUUzoU8?UZZc^OU|beFkqm^n4PNjwmKxЌ̡֣c؆N2*AT:?+KU_{ʩ8_>WP79\ЀY7vVT|xPujw!V5OST=c0,=H;h?V*h!JK)ii84?0F~J $IfQm $r{B^ef?@JEZ},.P/Dve _6,D i!lt J#{T,sж),! ]L8рc/7Ir9>P`/x)1w\.l`p.GHS7p]cq"H# ,~9kP-B]b| GJe5WdUѨqfRХYwϚ;3)b*ݱ'jd֓vkX*&'m6JyWHPA|)'QΫ&q|;V`?~iuZMrv"he|,ZSѽ,I:l'z_3?оE\*%:aR#I~ ʠf $,׋kÖQu[p>+*ReHXK&,iֺOVap7GoS$-*A|B彷n^rtP<"e¼P,TFUQu `YVqdYN %7 BT\iꛮOK>dmKCNb=p`'|KN:Qt:14)9>LfWa6t^*eeV F.p;L*B"큝Jt>r$!JJ~a,)MwNkMt^3I2AvQj0%L=9 n$/Ͱo3X*}&rU09SLoMն0'TI;[tC8?۳¿>Ns%][ uV; Tm t6UaHԀ5ope*E[t"c "!/Jb9-4)ꆬYa/`NZ5ʝZ ;8 |,_&WȷռM-@.fjFU@7nfѻQ6ުx;nW za4GR lR{&1qȫq"lV#rdxv阀yE^xk,^y]Dr!g2ޮ,M1˫x{o|kx$[;z_u$? O0>$?<ObH٣RM9Ka$rgj/30mwR˂vTG1»jY8b/%@ g~} o [noeS[#曆AGbF4]4 DX(P4Y#bA5v~6~EnFHtس*?b+?@TU&jQ&ue~=$\P=\$o!̱C2 D};|v:aAr)Tr&%r~d8KDl!R"-%F%XPJ#\1šV">Pna٣kCm )D@OU0E}5?a}>Th jZJ\f,~1ٻVr>? \ z#~sHm(8۔r[)%/XzX#] K}dhx䲅e?4(DS5GQBtק4r~XX4³ch0J\B xxF+#}L|'֟*zG>@ @[ys,4%E 8{jXS >qH[ܶ&ת]?xZ`<5yc&5qʓu׋G45a!,mYq܄XxB=/7~|x$m`6Ѝ7葵s+K^#4ы\#o}# q"C#~3bs%JmLwX2{闸-'8`'<;ږ[[8ʗ&8lp3=z=.BiAn!Vȼ8Πx :ʶCXQnp qvY 4:y>l@N"`: +5Z-pXhRv1&X_llrn--J8E΅0pu!K"!Ccnfformula/families/pigeonhole.pyPKN!?Lcnfformula/families/ramsey.pyPKNë\ %Rcnfformula/families/randomformulas.pyPKLJ  Xcnfformula/families/simple.pyPKN~- *<\cnfformula/families/subgraph.pyPK`MJw|gB(Dfcnfformula/families/subsetcardinality.pyPKNNJa lcnfformula/families/tseitin.pyPKVN \g7qcnfformula/families/__pycache__/__init__.cpython-36.pycPKVNeA9A=tcnfformula/families/__pycache__/cliquecoloring.cpython-36.pycPKVNf{ 7A}cnfformula/families/__pycache__/coloring.cpython-36.pycPKVN 7cnfformula/families/__pycache__/counting.cpython-36.pycPKVN. ^<?cnfformula/families/__pycache__/dominatingset.cpython-36.pycPKVNʟیF0?Gcnfformula/families/__pycache__/graphisomorphism.cpython-36.pycPKVNQj&; W7cnfformula/families/__pycache__/ordering.cpython-36.pycPKVNjNyr77zcnfformula/families/__pycache__/pebbling.cpython-36.pycPKVNp R!9Acnfformula/families/__pycache__/pigeonhole.cpython-36.pycPKVN(F}N5Fcnfformula/families/__pycache__/ramsey.cpython-36.pycPKVN" n A=cnfformula/families/__pycache__/randomformulas.cpython-36.pycPKVNp5cnfformula/families/__pycache__/simple.cpython-36.pycPKVN2ԂP'7cnfformula/families/__pycache__/subgraph.cpython-36.pycPKVNF @cnfformula/families/__pycache__/subsetcardinality.cpython-36.pycPKVNJ@!6=cnfformula/families/__pycache__/tseitin.cpython-36.pycPKL Th& cnfformula/transformations/__init__.pyPKNC/Z %} cnfformula/transformations/shuffle.pyPKN~(U+@cnfformula/transformations/substitutions.pyPKVN!J1{> cnfformula/transformations/__pycache__/__init__.cpython-36.pycPKVN&x =>#cnfformula/transformations/__pycache__/shuffle.cpython-36.pycPKVN^gdC*cnfformula/transformations/__pycache__/substitutions.cpython-36.pycPKNKT# Dcnfformula/utils/__init__.pyPKNK3Icnfformula/utils/cnfshuffle.pyPKNVG #Ncnfformula/utils/dimacstransform.pyPKNkm: $Scnfformula/utils/kthlist2pebbling.pyPKNlb:<fXcnfformula/utils/solver.pyPKVNc63c4gcnfformula/utils/__pycache__/__init__.cpython-36.pycPKVN, 6lcnfformula/utils/__pycache__/cnfshuffle.cpython-36.pycPKVNX8 ;scnfformula/utils/__pycache__/dimacstransform.cpython-36.pycPKVNb <uzcnfformula/utils/__pycache__/kthlist2pebbling.cpython-36.pycPKVNnx\22Pcnfformula/utils/__pycache__/solver.cpython-36.pycPKAA`