PK`N~sEGG-INFO/PKG-INFOEMN0>/`,% HM֣0M-e0/z{P r):[{0`T΅Vϋ+ X=%B3P')!9PpQ>"N~.*$kl-fTzF%0fӝJEowRPK`NZbeEGG-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ů`<PK`N2EGG-INFO/dependency_links.txtPK`NmcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PK`N2EGG-INFO/not-zip-safePK`NEGG-INFO/requires.txtK-)/ʮ53*L/533PK`N,ˏ 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_PK\N6 ncnfformula/graphs.py]{6>"וf䭭2eǛ9vqu%b$#)̹ݯxcl';e׶ݿn4G\lbd2ۊ}̳G\8W_IJҤJd)\,ZH(R*Je~@d"/bY`&IܤT*YTxg2t2uz'Np"S(J:AH*xDI9P,r2KQQAW orRF2۬d˭硌$b9ˋzq[wc&&\'|N%P„E**VI<HPA$EY6i l h! G{:ֽeU7.V)Uw(Je;yi fjE"yNN`xDCn{+zBv)b֏)"fBHYs=uE YmLxN2'E,טꄫ.˓"_$O0@ePMCOu?0i퉚F3y7JM_"/,s먄^;RprUoqF$З5`@$>BGy8FFx-/ިà|+{P/XE?~h7 Q|}r7Y9XGj䓨X@$9zO÷~hu>kT01*aU[ $44QV/.^M6GY RjI*J$+Xۃz>wEBՊ#EiE 5ZwuDZy bCkc"WgCZΓd!˼״!~WTXe~@2?v)sdZG`(ߗH~2c;Y8), ðm*ԕW=Z_!:r ^(dJGhx5k,٦jMq.P`#J~tVFnxÂ@JX TI?6#4ꟸr`ֶFv_6hŏx~Kfۆej. W y YdW< {p?`7"{1ӥAWm =E8](kl|^7Մ30(pJHp7P'xjhtqWӂ$+_5ȘrP9Y`^+7P)V4$J^y@-pC h!)^oJyI"Zr`SN Db&.7!W%D9H3#UgaquT R2S~Ó&K'j)^d԰Ut4>CMnw%%v0~]e#R)S sZiomyA*Ed oM-i-v9Nu@l .rn?VHPb%48`MR*)dR34_qc$V5K(U'"*Gl^C%-*TmawBT 4n]`R UW' tɴ[J tݨ(؀ZcV)iqԴVAmmUh ɭD7i icBUȹLK]OuZ(TЪQ|l$- R33j \P'fy~E2Е458"Y l8hj Yo(]piwA0@6zf>*Q&iMocA#*h\f7ނYl:+jA5:2 iE!Fi2ǰ̯}nYa`0,yPXJ:|s(OAX=G_lDԁiQh #zn~P5giW2sIEՒ,4^,@q(w Obp2y0^yHxE |p0teg֜ p0 2bשf5_WΕ V ,U8䷌~DŏP L͕鞎t{C7.+ȚYz ap;;y] ﬘7+65^+VT,aBKQfN\J0d(^z{[82Rx1&k3ib(dH c4r嬚]YX&wW5PS.LҨP\;]Yߔ[kA[@Iתτ׆$p X50gC|Р z<=!O޾tU.toC< 25@Jù/A_#9wvlBFVŒ5:5"GVԂ&6xK`3٫&,QY{=0]d Q쓸9K4͏(t,Y}iNH9[ ul4_^OII6ˀ *KX1Y,B,TL,:u96Nc NR*^ܫs1Uݜ^ pI=f9F`*L͝17 GӯQT{o.ee30?ӃU PXM41XBJ.i[;37mȄEB%Flcbg[DŽ,8TiޓqBt]AdG1~6Ǥ˨Dzok)sf88bQw0,FPek)#tNqYha|))Z\(NjAtfjc}pqxok\ɞ`9F~7%xYF[mGUb]}TXyeI+ҸJU[8a3s)@$YX*Gլ zv/YPO#ocWf^WNyUW]-zMk*EA{(y9lRSIwǠ%9CFslԁz\K72@ׅ= y|4cQ`~Bd\ΨT|g0~^\XM49. :98e,+9DAzto{] ,uX+f"7jD,fᠾNA̟E}^iYLe uNۥ* }/}}҈>>]N3ZM_|Oz5~GynGفٛv;PâT'hs8qfsnCg8INUdx<"vߛiƍK ^S1-1'F"M`ev~K5^م4[UPN-/OA%932JAat1ԉpq6הxkڤր ! VG f rZkpOa׋*{l^$E1'GM(AO6pcr>SKA;2`Li+*An+$n hǺ@#֙51Ӊ;yuZ0#cms"tcO}3xSD@GJWZHAYHn#vj {Tka[]hґ6G?Pq>}f׳5Q5卒[ K<ĉvFjCa k+Mq!w0YkݎgX%wDg>Oވ/eZ+j^";Q:KjX57wZWzX$ɔwmW]\@ttLuҫC`A0)~ܝSIkf-ARn9\QUyF}0O:Uz(k "&L+S z0dCUw kQv@[/u^ڧ@/E*7xWc!3\hox1?9r7" pǞrFtbpE!u`Y熦$g:$7YxӸ!,RVjށg3瀒ISuK#T^uEǀa))e5im#P5rFռ30^K<0__0?F;&K4N0c>ρ R7%2bv5^ar- +vSOxE|^:[l{b@S@;>TqHr2>qgz+PFղּml LߴٶCZ1ըs z({\o۬pl2z,20mjȓb$BAufÿmRuQj+մ}8#Tpf e:T_gk}/ˮRU@% m'CXc˟`0; ۽|m'g^Uq@1d G+p0x9_=H|W hBI >;|_>~٢VΓ⦢SdP7gľ|2M CwaAc={i 7$[ 24{!LP)eJqE4jo?ds:AX,j}uqFժ4?{C;=*B|_qPGE4!ճ)̩ %WyX?*9O]EUU='=p$FGʟ uE-/mO7ղN4ENxcXRg"6>bFWWn%k\)Tq|?ZVkɝym8"WV~G"ںˡe5pN? &Ծ-Jh8{wSEPiI,PߒqcEL捺:XUgnpRеGzǜѻ67Tƃ^CQ__`\QpyYl0D|*{h ~3'ͻ>tn7{}+L> J_9jnXoz< #gu,X˪ 7GmImњA[ҧvKVN;Um6PqA !5BqhF-ʻR+s\pķx`e,apLةM$O~a-h X:A:?٠B{]Oj*QB!7+9`L"65[haH2AresjqQ̜Fڟ֫h VŽL(] z~:?AZ5},ŷ^?/5ukWmC[iwD-=ŗQcf֣hj]32ڄ3h@86m|؅PKS]Nxycnfformula/prjdata.pyN0} #>TrD\ ,&FڮԷnԡ\9] KNYH)vf{t #d6~`i!HT>*g3#$-HfEtHH/~AG"JOg1-@#EXD!ڐ*yN(ywoSCY&Xes߬hEhWILW-L%O:BvqBgr^v\+ 6U<}. P'}xdlx-D&akJܪإ] ͎?PK`NHe.cnfformula/__pycache__/__init__.cpython-36.pycUo6&%YuvMeoS E0 A0vr؆< #RpIzu _u {vKrv >S{_'Yy\h_A?DЌK)ݮ{]ϾY-5{&ۭ~#@4D %VlHͷi8T %Va _Hۇq,K F&RsX}h5h/Z2hL+j:ԥsgB'N MLkڠ1' Aء7؞7Dt]ww%ЋzR(QeE*e(I} RHYL_Fztbk\ S!2-\V*&$\IqmCQ܏^o}ڮd/F*lÉ]ؤe vc%?Isi,-ؐg'a=bng. yٚ  M!^9c܏17󬢽?چeOGi&N0@O_{ۻdZj 5xƣo>gxlfe3}Y9$bY]A>nR3Ƴ -p<$f-4DKh}rz Ԕ зa46U}h*184eGC[8˱3y۾ w5\V dڽƀ&zSr7iqpxooƹlx2pO\ZnomSO0soQ޳^hG5i.U?[M.ݹڗk4]4|IhF KBX~#4F cI:n i?ÏW>Q( .]r&8K55i6 >PK`NX^-cnfformula/__pycache__/cmdline.cpython-36.pyc|mlGXLs8EmɒɑчZ[G˖%K+Ǣn7jN5&gzF=9,wN pX 吏-p MCC$@#@pW=!-K/Lb^Uzu42R?z(UI (LYQʴU[誯t5V \#oV "^nVJt_hcleL(_'V&+t_C+Te縣oNm^9L#tYxst?i7.K?r#]U*16&zn;rMяa6lz[fQd1vcu{o*[XaszW_9'8܏;g?&~y6 t?ϴ6 ZjzZ[fa{̪c^5זo;a<փ|j5]4-Z6=; -͆c5׬`iXv;|3CcT.dS5v=jZN#izxhou D˔~Ku}Ѵޱܵ:] 6*s-sn^@7d \[Ty9rYJPolZ^ >|+e5ۭVvC!&[Qwe=znm<*4պTޮ<8~2{ok<*rfWyu q|plj n N2AjÅ{U;>Ϥǰij4glc^c+8: 3p}@noJ\@.wjЫZݭ[&wq颩7ӥ`Tɫj%H%=yiINOrƮ/O@ @g]]r}y9E#'JV²`ٸVoŢrfv_la>ln9~Dp;pbd V:W[ԚPXK[as(B]j0*Q 1k {D{3#U-Cgx^@̎9#^vЄz}Z./#uM3E #4aq8y6ږhm7WQ"5xDn5ܖnXC\6 jA(yѺx>ìd[.sw[8&hc>cJֲ$W64F$cYM؇ĺ[tA>i-`-`dM_I_muonqjN1!` ༨W]\>ĉ ؚ߿SU9Bi<<'s +V%n4ƛ A5iHS#_3Х%Pv`_LVe\H+E`o{dypɽ (/D;; proqL­:y`PhrF_=[6.â 3սܿڰ+VHݟ[e+c{{qKK/sQ>Wk0P$4lQQfċ/jwaD$*vqX^)Ax[UB)k8tnad$8M '^NJ zB%:hZ fØO6 (ǔƒ]! ¾B4[HgQE>R`?Ns&]m; Mӛz]uL?#J7f~+5*]s0nv`(4  jb]{99UySpOB1yVI۾e׶uj&R:2wͭBp$HBGBkkH#UY|Qb tǏ G(n.7Fg.RCw<>Ș0t+ P gq #j5+}'{h.$j)Geb53b˱?@?7_@%6'$"#P#q%H5w%X݂la3mêd\lCX*m5k@rR ,A5(yP4ZN7f `6g`}Ic^oI2Fl=rDE@Ht,`_t$"TM UfBNqYTrgkZJ'u55vEq/eJ-ßnt9s+NΔ`[Fmt9%zm?SPJO f~W &3?T%J?cCi8zWxˆRVy[ez0ECԎ@7HŗxfPb%iHf̫Heʳ#2@AMx{.RHqAr0/`?]%No o{9QuP?~ԝr*˸&޺s;ֻT 8JҵZB\w %\ QLZΉM9 52m7Jw^6 VRGjH>B?NkSH4MAl)O5SR 5u\ŲƂƿorl~eLދ*S C+}GSYp ~GdT1r;\[!/mC$fnJ;Qlj{ l)i+`?L+h$-Ύ<''o'ROSON' {%ϧ˲pvn<Z l1պ*?j}>bC/oK) }jB ` e+lo"i&NF^c|c*%&ȇ/0Y=ó-H֯!띓f[k8dzΓgBZo5R@p|^w?(;5RI|GyшeUUHm`D=Wu8lGqv^p2}R}dwdT[4UcN|p3222UbNmfwkL> e_pd}+KX‰Ɂ=>GD..Qo{ 2#;ukޭUx'>"*lGݿWH lta겓dP?,RY{ [auƲLgz:D@Hvf2e&Kd|x?hXt^۷0(u%J/@hJl8 B)yvT*~j:98R-qz^zI|u@H )`mi|)PY\tWޟR| O%+m m~;6LP&>0j4p; ϧbWϴty$3/2e3K[8GK}lh] koCgQR=|p442Y2VNMLM^ 9zfd {6Eh/hxF_ŕh2=7I4L$+** nlj"#Qn r!J2Ja$JqrI:Mi7-Yj~ErC(J6 5WVK[Onˊi/ˊ:zIz+M;zY,[Yb@ Q*KrPR`&$%C%EY|&?b|J zS8OUBD 2*96ӛb4;BH5CfC]gs9''vN=9#a&{!kNΦZV~U۹xSun EXOVcw^Mp+lz}cVaWٛd`߶ƌ5y#ӷ7o<>ri_DUmHvI0؅ILs"ܙ3‚RK,zv|c3%L96>ǦױĵYH6IZNގ 2CLaMhcl{ϭ;Dq]x(KZRyҗӬz4S fS_*O74#T}w?e/0e`#sSJcWؕt8C4I6C9:a[xS<}X# FW:n*c8+傠'%]=xG"LDU1&ෟzJ?)_yɼ >t*t |%Ͷfs{hvo=/\)"ϒeѝrRLp7nF@R'#ן|I=HW*,N 5fA #-2gZoL\ 1׀ RfQf-sSj0'[Q3ʚJ+ =x:G44]؇M0 'EEL\[:hjXP 947ܩ6DaiDxYu#+ ya>>yY&v}ĽW2o񒡩̇SvC`=@/**cYH.zG_ʭ8J烧d*:F_(/+L}52Jۯ] +$\egIu^__˯tKs^V@"=C h!Š%bk&NjKrܐO XGnm¸U' WJ %_EL|AR)W ǃbCa/S;c_x0cqqY#}*Aa~$@}Qu (F;@Pb6k ,XXL\@tLEI#U[KW{xW(\cyvra(~@\EMq=myD6ҧ)4"txp@F'CC!!cƟğcA#O*uOHe1!C ]<=%y?/X 2ySh`r}cFcFuFN2Iu#*IđPbrh8YdhZI!XI5"z1)QG=rk' &A$2$:t@ŀs4$>"jUOVy=UZޟy蟦KdB@+aA7_KVFf`g*τ];-iCaQm ŀh M3f&jOA!$\ LbR/Y gB(.SI) < <M-ci883x2F'@//qx@Pq6 <)}TJO&Dx2$&ܮ h‘]ABFy0ԩ*P~=}:$e692Od(T&Pt;mfY8&d0jXMs xdɑ X˔gqa'9`f;?N+E[m-CҀXɉRGi BLfCL}L̠(s_eC4UK#ęq&L`b_.cGs`tǗĉpטCL&R'ELAn,I:L~H352P/rgϰc/H* 9J*\sŜԦ(.?養NhSqMѧj*%Fq7R"'Jg02Ow(`!MEMR4 ~PDЂEyqs ֻ0jhѓ$qLNQ)DM3Qc4z5|Z%}HIߍSGS G^GJE:>%+8zș&kc%VUR' C-f^4 }/0?V^?PK`N_{7Ʃ)cnfformula/__pycache__/cnf.cpython-36.pyc}mpq| uw9y"D$%@ҋ`1rfp(%''RNlǩv,۱|(+JULeG*q$rRNwkww 17ׯ_##_ό{$؏(亲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~RreTO/#5ڜ||Vz:Rt^_.Q\jyiYuTnq*  Y#'=Q6uvI#%=ֲavx. WCTGG*2GA濄BQ$^RvjﭶnT[VR `6_ŠA d|(o L]Iέ0s 'W7bbO#=A*9uNbR-ž B?y8y/S"MK3&)<%rhf,$d qZXzV}IX}QSVDXAr!'*yiEF;|MfS$>q}7.%aoFuqkW+*s٭2A5A`1 ?'1;>RSJދ S@&_a*BeC'LLN+E/AmLPK!) ߪ'Y*mހFR\k@%dz C3!dj0QlZdR)cmd+µWd.[e5[F7GlIMH-O΅ ir}ɸ¢F cz'6ɔRoX~m`YŊХOG}KI4AvD09J^yausJW*7b*(U:Dw/|OF6 $WA/7+Z.Su^%15}`")AwR@˕`, +y}_]=SM:LpJ]*;4ddz&˦)4c85uRn =0ɪEEՔ .#W0 ԍOL!bӺ~6XUAGDX _,z " ~BD0]k3_&C0CږbzoHChNK!6~P`n5|pMO0憝(-Auߊ'"g V^BdžcuY|jO5I-7_gs1w np*qQ5FY4 ?Tg'ޛ35;9@[>{^,iM8.6.ظ8%/DVme~nS9ZQ$*MQ4ȟ9_{VLFS#%J@'Cl1E~ {mͱ'Ztg"qk,ƭR1Z Fdy b4ЬW 2U-^K=IFKHXP0FqfQA=*<pq\c(i&YsVIkn"}Fc)iqG?͖Z\5jWK*sͭ9V-%q 4 ӟ5}-1<ڗJBK47PCQJ|P?ɿs80!CR ՀXl<掷y)X̊zjyR>Ǽ(Sn5Г7hN-^"ſb7dCb`=Ⱥ5Cնlʇ%&&.7Jv( r[7oӵGe}LԫMLlXȶb6~_}IrA Zl eڊ\ iNa WIE0\Db-V z^@ #vD"&NAN0RVB*ȊD7QBc&'{Z٬lkci6DՐ|\XK6wAx(_H)_J5<` 1C'=1~^v+jp׽0O6<^TwYtO@-ʬIeUoSU˧] ݙO8(D㄁ɲYC~fߨ.d+X 'DPjxSX_ܜ'ZTjO9^d;Z:CmK4/ IDGeoF '<̶B&b4D aoD77ޑ:9s8_4bA<OfMu ^6&:{I c[yH%C@7\-íM+hnrt@.,a᙮pKLM9P"_QQĮD*wE#R7ɯ͂9tT6֔[#hx/<g7?<'W;QG}Ov~r }^OwSwCk~q[x.ӽ#x0H@ŻJw[ w/ a8S錎3{S4^[ |q~J#ߧc(iq 'X6lbb*cR=͟jKET%VmȀDqsBTZu,Fqڻdjci $u%~yM\gcZ_@gܑxg[۰P &S?\#<\'vRkq-%`O^^o Lcqx(ӠZhYP?8uTJڼ~eK*HT7o,ûFbJV+ RL Y덆n&t !̔`m`CIu=lك"hoZ(6w" Ok֊??|qN-t>C@M= w)1QI{7n :8c{veP貛[)ОiC`aozpW V_<̙?ik0{Hn-܅iTa"#4ݸj9 qݭDFn5yQ\GT^ӂ~-G_>|v w_ 9.[7-z _h8Z\^y8sswaZGAB{]fgvm?/5#tIGX8zvg5PdA}SLT֎*++93]ߔ,(G06a/c#ñ[HXFBJ*(F d(SAn4GHQQڻ<*Ħ+nkk@hʸ뇠!{qSG2fװ%c`t[Sh27w z^K KыJ0G)T5mpAvd&Xz[LL쀠G; ĶЊ'0\Q%1ۇd 2c|ƅ<3ZU 2+$1ˊXP`{eMJ2far*cܐC5  9nD'ɟh!ƭv1^Ԍ p?bFQ )"qCrwRc}e;ʈx0J, d/ȐD%x`w?"%~6 gy[؁ @dS 3]:Fg%N J0:V ƔO1*3T jʴB!2\[2hy7fڽѪKҵ^[ cT~mo%L2ՒA)@1-r{OGTn.-QcI>9ļU\% 963E9|6k]qZ [z2 "әӜb";$XGG4XżQ4<ˈpl$78뭆]DQ==ڐgC_-*,T~r#2_~l#uof` Q]YjR֪8/Տ01R0Vgccve<]1plܨGbZ,$#{W- 8KtgM5s^ġ}fFe/2 nJj'cmœjSU)cxӓ%] [6ǯ1`370تxFDM= ׄ''@o%AYgK$WbK1* gW"<Ņ-,.;c(BmPc -;#fA"ք5@舙A_Ά[[-,ً+EgJ{^a'VT:9'E '%%G1'7έ*XȖ9R G<&fБ+|a؞84) 6+Rb\I}h,0ۂ2xd*KK>z %% Tj{d!Mq ,!QdT/ y iph(f9.aZN(\;{mO,e3SH%iJ b*bRгhu콛_Ug=N@yINߥ(Dۉ5g.5`ڠa[3$YRI TpI$r|fB"3(8bC!:x d~_SDGr{-$Б)OKl۬Z櫾Qˣ݌ͶVN^8J~{jD'E@#]#>KG%nn}kF,a;>pkk$:dzlZoӓ>a=xޡ'{T"NE Oby'nnLGꅊ X1K8Eܣ&O K./Gs89yrəxFES̊/OI2HLç^ꍃ8՞3ހsHIr+0fWb"[ 7wN2F$JPb7P2#ahN ͑/I+jO>o K.^ע/XTmC#ș~tc[Aճ3qU85ta}MеQ!&XTPG9v/Qj 䞯Q Qx( %4 ڛi1}Q/b"Od/sZ\fh $ ID /Տ..dQ?|#vܩQuq$C^!^֨60]oi!S=ΩؔiSt"ؠ̩odAMtE`U^rm7k"c_ yεͩR^F-*YYSdqgE0 ȩLPARPL7%~Dg7މ "ZTIyrϓ>OLލ I$0̓Zbax2NAmǟy>){챟ɓg΃N⪒zt<U׶N%H3 !3B _1&D gh , _r@B.0lw1lE$`yp=CipT/^Leb+= l06ɨPєHUĕ]~=U0Dm srTJݞ4$4=KKB>slٞl \;Wpݛnh\<rQS;81ܠ1@$=nDLғ[u@?S\]u/ ԗK̟O,0Jsy|xg5BhP)AP" & 9/Q١_wArG \vTrōf>Nk#1O.R.,RҒ"4C}5K1hp>{C蘌FqE~|U+Y<Ÿwb ;؞|d\.rlaj*A0ņϿ2,gp2 xu"~NC~{!R$NMa5!̍a^ÎdzucI-*hGT=>h@Q~?}ƺ\~7=>#KtHX ;j,Qe~ +2Yliohu3o9fOS-chG<[2hӔ [z"jX JM/O &nd`b[N>vbIP%pD /|(؁>1-ԧEPb|eFRV(tt5aqjp^e*ïtW9<])% ^YBGupGeIlv#t>:q?f7 C7q<ߖ*]h2黪P^?Q'#ſH_SW4in(H'w3MW0 /G;y(_];` X{SRTn !C5Q3[V[!zp'cdI{*D}UUsn=VJffauP~XJ|+s-X ҸL)UL1ޒ1^}g*8Y$apNh& 2,2Beo)%ӄ&./'BX4"Ndo }dG^p=Ԃm`VA =UvQ GM0108M{@𘬣? pP=q}g @|4a8%Oz`pԬB+Fb 7c)aDi8v%wd$ NbH&^׀ wLAGou1aEy{um){oŢMF:$J,_y[. $0cWo7>c$ p? #~W\bn;1KC'H8/c/|@Ѿh$n`hc[A!bur0R<I42Oci>i 1w@4:aUoNmK1֊c&!ڄ4m8F$>'^c[vODg<m鐋 C@4UN0!(܌QzDq-Eܧ6eUr>m6Që#1hЊum'_ A;Po@6)/NTspX@w5I>*?eTSG *eT[냸mo?ݹ\_.O,>L#Ҡ4Aqφ:Oz~t`ey8XMzkQo )18y Uo*4jEw.|0c:ϏHxHaf zLPjR27^Q$+iO"$Sx(JQ_G_2 W,0 0ScEQ_J3LH֯z]ţΊZ̫/fܵ _"/p(/1_˴osN8_b<̟afL۰8^~ȿw2>i[&6Lb#jIkZl:>%v2l`@b^bj4}$D-Ad>3 y7r_5-1.GxBwGo pGuWMx{skU9.g'h8N|#I/:sA_=,w-ýWr?g+Δd}j4ث67޲ȧ|jSc!:%;7:KaЋGr M$5kӮ8䡴+Q{ v莌x_Bv~ըbbh)>jN=H?@ri4/#l&V@5NkK `ݩܱ6)(fp>}RdO%};rxBG"u?I :Yd!Gw;y> cïIAL Z }5{χus]#łzn, b(r'oᗡ'3vHu3[kQgA~zqڇ=b+H|~pS ,AJaP:YR0W?~AVSh6/m^誛~Yq~IkCt6W@C,5y[ KtFAJ79A˩ \7Cs59s ͪ2&IHS,&$.KCiFU&fw6Ob/Plg-.zJ's|bpOuC~  ~o;ae$Fs$GUy~捺9iԎ&ךqɵu0cQS_ccmf1}f%,? *x͖cA06kzXUŭ, 70mgU2/-a&e1<-Asض6Ę3`n1pdnX2 [oWXXSXL~ 7&U@7{Ξ%=tY]Xp,MjZn^Pg&sma=Zz{\PDZZ-uI* )I"eaD\< 9Z h[˗o\.,7t|ܺ\Zfǟ77|Yl iK5.J)ᢵOu_V0Z_ voF& ^ULc}YX~&㉋CxO_/l_/٭wdE Vqτ۶)j0ow#gM%Fzv6v)Þue7K?"_s0; &8k _=}vAkueuвK-I䉚E\9XUy^ͱJ`V|b{_ |KoaJS"CyBuNi|3Gz7DC\=TBR>ŧk3Q7>9>$'S~(-SJW 5/Ke>WU~/EBnV/pZaU-WR*簘^`4W`rrG+>(ktZgoBARfHt2ŢZH{܎ު=HH]--`|\n b*%ȭvUV,JGzpвt =SD޲H[N3[1NU$~cC\CX$٩pjY ;FaF"nT˄Y%V b탑TJ}@(]{6`PLKD\%U,(mj=>+S=`[~􀴇r#fsꕶRevI%餈@8=@V܋ )f9^ot>2+y`p,1EE2$FFFF8G:G"NRK4"It=2<oP$@%:OӚ ?([{V&v MŨTkKh!SmnA (/?bŪVeZ! }4ĕ{V&h#\/'jF5TMRhƲ+>#zOzhQ _&| 63$8r* B ERԁVN1kD*HYR1񃑲rru,Q#وTQ8yp Plu‡!r]Ar/%Fzpo7mnyގ 3ە `}ș5OLUq]dM@'׾uEV,MM,ȩUea:PЕ>]A4ԝ1g+;CIM@ \F:y_0XUaHǡGI>TCsOկK n9uJ?y|31@[j;MvdWک.ҩ c 1"ś/ 9Y9iTjd7a2BO9J 0ݘ3| 3ʇc"XLGhC%F0r8{ெ K?W]B ΆYpPL$ s៴yCߞa5{fb8 ݩLcrφSaL;<C;UGooIc4 ֧a+7\.V;tgTÂK ι% ˬqz(󀌊N;`ƨ d HJXXZ0>!rd|(JY-jvg^fn;CUN$s"2Ezv67~OPH6޿ʉ =XȒsNHؠAsu;`0l mAU1*ߖ6fpj0n0`m )PDg47ӹܨeNqO*[O?M ne˸i*ɮ$DUC$wF50AgAJAKPBGQjN 4QwIvuTxTۥY֣~xt/&Iۗ^ 2ojsU8w_l ܑVg y[u/*(׽;0AFۦocc}o\{A}e/~ ꇑjl&F#+YD8e*CJI1g{Q<#=')7mz|EJxFCKA)z_=>73G"؉rt$4#h[~E2ܣwo,ʽ?!c.ïL/"X#-zI\:5HgӶb I T\FKߖٸsS3@7'XHobD Wމ4A; *T\^;%+[Hh'le£l0l ͯDjK\0|Ro;~41|)zea%gDܮ-4z\w,y 0jOY=!ԓS|bJDF N2Fl3A΢L"+f*9~34Kմ5e0jht\7R2%岸Lat&J)1 ns 9R{đbMŷEb(J?Q,){n/tW9Yx˿Lz.92QPK`N=*l,cnfformula/__pycache__/graphs.cpython-36.pyc}{l\י}̝ᐢimB~adv)Zcɖ"[^ι$g8sBwd[lYjme[=\?zUtuo[U+ _R"\Ͱlfm{tqale>a9?0QA7_a[cq ZVQVc0;+b$fϱŜ=ɞG4#6 e`?>͞e%|ZPkԂAn:+Y_[x, 5 ]ͳ[3,k favÁ"VvxT’㻬lz.B 僓4}Ǘ4ܨy'6}SݕUoYNq*/CgUViF}.м}V.^ \qg0Hԙ5Pjz zCo̸Jѕ# @糝.~@[zUn-[0֖ (:lz ]|fmrlwpBG쳜xI(P40rB 9'-] jլ!_!Umk?#ԛ!3LgJWԮr2jyu>ײ|o½3c7qBmqE+c,uk[DW߷ j^hszPYAI*ILOtT9H7*Z"BEϺFW[`t>Es^[iw зಧA l/*ڰ:|WP˅miڳz6ky8C9W6Ծ̣u12ïyUtΨ^h9?H@ >x؊vI2o5tS-Y VѶ4ݲJ\uZ[.s|FcYݯ|[=X_Ԇe!jz\_q7q["a?Ʃy xJVͯy~ZZq^~fŝ?i4.q0 ,6-ƀv# 6, q+ZSXwׁQBCB!,-q- pC$ GXdNN)bσu ZhYXE jQ7)42*ZQC(,-簞YQ˄j=ֶƏZz[=#ЁB76 W_]% {Sk!SszYc@w&(Όb@KL=(TB]g2X> <J{;_^UW,Aڐ˭}MJ"REj-S o͂ B暕Q2L-hJq0p]bV*(XǺkqQ6@0΃ ~J٧U熘FX 6f톳6 6Uw\5~n"bG3gZ>Ѩg@z*W9Pu_(x,擴.۝CrBQ4@Z"qvL xPY2C+Q1=NG[<.±%-,ޕ(AMnE+~.^tsRߋ]XT eϯoͣ3e_ޥ=-JKXKԂ9S4jƐhVnխ݀^F%\Hm,/n]vB`BL" j+fJ"9z[SR՘}WLsbcJJuhZrN5BakBLe}A{}#j%Rq(6:,H)KKB҂\5< QXc"%sLlQ +& 캌#q-PZd)x7Fj2Z@Q-߯̋ (7nQ.`a$f9[ =P u<>7^AJ]l_r_^dX=GR1E{:u)Jnqb\2;@DUZwH&9=,Qd 5ɗqqICʥ ( :Lch]0Nb!B]6qQOh*^0LEe "{0',#CDFX6<lj8G/XWaAܧ0D=fapʀhM]RdPN@Nʚj<?MYx_~^Ԧ@pMd=Ք̬^; 3"Yg/G3hƚx𺐖ery!{Gr/=q(0{7ÊA$QhI &t RK l|Wy{~k DBd0!Vʵ5ACD j`&]LI>xꂀ͏(_/t_`/5% "}0#{s\a?,q~/EhYڃyY)^" 7Ir ZmJnnkC-?ӓybHw'a"\DIVb)BhJwI@P|M[ kU 8q3QsEi $4BWBR5.I)/DyEËRprXC//Fڥu^ʸ(rm'c'̒*"ԁ1ׄaCi`U6 Jr+rbZܽA|$?ŚP Ҋ:Fƴs.[sP"m ZXQ\QIC 5?/0rN)3hQOILHvEk%džjnB0g5/(2f:2tdnҁ;VōBuBv7UgD&cQ"tH" p5([LŠ[`“z咑RA@d&nEaS)qU T+M-jhtVZ"2ъ8M|\ 5K{?م]_‚m@ 2dfV`kY7 t2iXL*VlXq̲*w:Jg|ϔA48M$*-yM縵^!$ /iaV9d96^r1^%Nb Y&3[Y~Kr874d[ڞQ+* mQIr;Yez!\X6ҲgB :'29/C岐Q[Ț>P;co\ڂTQ5K5[=\$SVџ -b>M]q0dH Z0lj}JQ@ % FMA  R4Rq{ Sw:cGw: $ t;0I]DSz=΀Ѕu+sz}T}r5ş)mJ9-D11 0.9O4w`0{2jDj{P'pAQkFŤ~' §se[@IU` rVRi!xx޵YMѳ18Ka|B@+?{:R|g-ܸb0u2zrc2KU=dHtZ?"h2IYÙa -1Ǖj-TaV04~8*B."F<[ol}ȃYՀ?K5 û6@qU,C?=qT!Tw ҌCؤzc@1qH=w݂R-(uBW J|:m. 1=i@ZJŪRQ;*=ޝ.Ә*Y6Zā^f,Kl/21]4Hid73@myf?Ih[~虽|3Ft tӞ]^FUu3L7#K֡Bo68MެAیmL<Hb+n0y>sI0>]௃[YȺ ءc0V ],Yǣ[C<% ,FI;A/YhdD{&OGDCN4$ٰD%O{bl{;P ^rY:}"ww$ZiHA ϣ=}NQ6+T( ~[f@NsV4)1;HgܰdPmvua #cR^lɬN %P:{lXW@4G="xIpGY֨P@$A(t -$b+̉&C鼸^0UǫH-1FFfԏąuԪEx* %P.ed{ra"a bEV.#CPF6h/gQBYn50 Xv} yǵ{dZ9RueQ-d?DzJt7FJ:(l) نҰҵ$JɟYjQ2CW:Ķ?Ć{QY!XY*y?K}Rxq#d0AYD=|@ @uk:٫]|gLg5~gN|4=x2,nǫ|\-Kw[B4%XP 9Crɒefu1q.O5 a0[7z|.Î@4CCoa +=->t(>5%hkkMx<3Fu0沞G{n rݣ7xaprtXqon HKiϪE:bv-<>|<>㵊h 1䠩6a>vx|Bs1® xyz/Fm9V.mz9 @7Cw>D8tV̮CH a4ftOd(ˣ~K@}=@cD`-2Zj|wi@:8ޏ Fe%a&/. /shy<+iD$PD#DU{r7~9~yrq\.GTJͅ3#]w}Wbj7an`[mO8ЕL}d|]={ub.GKjG9(ť]&yA@!,Z <%]l4yM\Rхs!@>!Ej瓑0ӻ2Wh 4moճwy{v.;{" 1 0/mڟ=%W·dC񒰙؂U plWHx\בLqbԣ}@2g*|@MP=tFP7Oϓ(.6 db;zV7hFB7k福G^#TEhIeFI/,7 ouHw wTB0Bm)LW3B1vZyZ1 i7:^Ng{ͧfhя~ 6!Hoo`,KR]qY]I%`-. {BRp 2:g-<}<`ٱ}dww9\ ~rO˽)/lJWc(VM)1ԇPeig)^ \b[ bWuN'۫A>8:}҉>r[>-L-ˁlCթQ|4.TR~>\]!~U5P:r5 qNCu斝ZA- + h{TMDKqqæiu@'CnwC5 }Kca'{9ik?WҾUumv4+:@jE80d@YbQamJ}S]]%@Oƍʭa4l!#!SGYY@iJp1ltqEŅ8G@#r-V#=_|7ICj 72x7 7ww C߁@ҿ~USmlC=LxxOЙqEchGփS|V٠k/'вѺ}s]ģd{PY=AKJPmփQVRw3:@;*?TyS3|Zֺ9 ZR>yÓߘ\}LǑ]ɼAXUq?}I6uAt،!Jc1-J 9ȤRXd$nvwNZPf? z$S3ڴ/9ܻRLj ~O=.l 8潖'>y6gr̀SrUIh(3]le?hK%="}Y6"[gRsLW؉N&BI]N4xCcS1&"ƭ__QH{}_IÒ^˃nݬya>:7`"H񟴃UY]o86P yڐ჎Qq(Kڂ1>ؿ,…%-^rB!G*A5NqO&X'sA>Np뼵D+~2"]hDd, oSJ5?I Wi VZr"HĠ/鐈k}14"ݨ8`Q MxYO&=[ӳ\}?geqq* ~ߺANjxf"3EmR+Ymu "Ӛwb_au0Ky4U*UTi4*- uO8jT41}1K>GH -0K>{~Y6qf>H_'3Kރ}z-r&C.:W ˫-3BfeJZj*3RrZ9j|da, ο??Uv|X3 uEMnsRt϶ݟY9FM|xoRHbMr1B?LŒ8|BhgBwllX"-QZ<+f+uJ2Gb@H,L׾,W.!V uKLKB4t|㣈%t0Q!_jE<PeǶ\cpiPKLG}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/PKNiǔ%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 oPKN߃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?PKNb&$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{sPKN'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ټPKNJw|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-̄u`VrB+,t.`.,F"Dr(t8$"͉d 6`C1&`'lM*GV(ZK \(\%9Bi(r+ ƫ0JWPۗ#TL`R2O̬*ApG",7b7$*: a4LXXւ/AQ/9Oq[i5lRYug6ZYp9Sߤ]ђQ\gsdzy%$KK;tfI+dV B Gxotxsnz8w4vE~Ͼu^ aeX{)Z \k6͙m0X(6^ jR_35hh⺇QuAi R5߀RJӬ@fI/PK`Nxs:=cnfformula/families/__pycache__/cliquecoloring.cpython-36.pycWo]KUI 569; RGPjl'6₱Zݕ%̅,^{hz_{̩~Crm+p4v{3^ 3t>7T~OrqȊ7}#::ݘځob2jPe;wn^0w8KY ?|0"32Pʴ3rARm/hDdJɹ2T3eHVp4{ʪ}ªP=ٽ=(ߊ~ )c vi}r %]tzFǹR]17Nba+jsiPگd 0%ɤK1m }ڍT|a7-tg8>0}9ۻҷ` $_BOHߤ 1tq'D`^3v\dNuj~S9IYZn`[nX5[; br:$t!_};~kӬ(#ĕI~7Fǽ-2HWS~tX:ʴWdt*Qw`hݹ='.t`keD$k.DfZ>xp,p()p~-|X9Rp*p"ŸHJ[<[Eލ-׌* m5Jjur#4\K/lTl:.uLMh;]VM^,427iE݁RT zCYK.7IoѥvcLA 6 4(LF*S6J4V ˬ":\tc vyPkq c?(NG!~27Yoz]ʄyfe/"Jg1 m'myA(^OhJ+ P*cURK)l@{OcuN6*vW[ՊVhx# 7 ҪױކNKfGFPzꦿ[عԢ T[‰txepíLjxٛS՛'? ƹiӵm!D똙eLLfG][['\.,A($o=lk!(-Cl`Z`*|k`a2HbL)4Ѫ`+ wO[*{ Tz8H44}hIL XnX/d  -rRbC|LBVD#`pQC$銦hTS3ɝV`uklKp3} /wphNP2. Jǣ6qeT^ݯQ6yy̍ IAJ¹O:vp姫xz(^x׿;#GtGm\T\pf۔G8.EslƦH Y?^,u4 ҧHxsagNCOc~].K;v6wD+Ĩb$H;&"uwv0svBnqMmdH^N{ˍJ+ó#=ZψwC|w{|m07ov{ 9͵= dp[4[RS:r-e6HIŴC^ftEB"K0' ]M8瓙bAPOm  KzGd_&_!8% #x&a/-6B^6}@ !UW {r `dxrEEi'NĄ1y '_*(D 돽\WE$^ ?tp, :Y5IKO"P#$ž=@rl>S=&uwj]bqDnNUX}}7CG)y\OU箻o_vc]_~u}v3kZ_24B%FD.qtPs5ᩂJi~F ~! Rßy;DS&w)YGNVN X@~؇KNjNz6(x~L' b72zfyM^VSK$_9wmAw>GTpzfL8Ԫ&ձ*=TS+%pyP^{`$% E$_A%Ya y&PD$WsF7godVY2U  ,d7C^A-CIeqU6xI0yY+V>TRltf lkгvQuWu\L>PrzDE\XSj,\l<@I/f{:SI9[Uwt@;\=xcs$|9db2{vĂPU >ZYH JDf3Me!hcXrݗ5TUPEl^VЮ%2xʅ;?\R>QWIbTD_\Vp.vtgeKՇ[ ԡIyq'HZx7N.p_kPӘYU)2|'BT<9׍y?y<6@),->G'ʃI٦}Q4Z\ha-Z)ٙ%ݸB0/q[#/;+YDӌ ,*nɉE ѥ<3н{j :|}F  c0pC.8+ 5 F 2+̌+>xæQqPwTeIQW|f鍨 SUZYbA~(qjqXz[fVtתꚪwU.B ZTZ-uNIzbYN;(N Y%u9~NPK`NCH7cnfformula/families/__pycache__/counting.cpython-36.pycXoᇾ,;:o%v`$riuYbcuA Kt)RRYzfb/CBx)9GQ?p<LNOWcN?,ce?pEF&\h>hMc_4o@l7B,R:fSiVOu*g(J4+b3\g*_11-/06Kc3]ج} Fjɭw vb/ pr^{Akn:v:=߉*oqu7?sngJJ(v 쨷冝x0ԆR9qZZAw~.U2JˁZPEjly\m \\:l 4wx6.C ]&LQxbYld50&jB.osvzv|-<]_m-eFvK{l/YM_&;;@)'[|"#+nK^}Av? 5 NWyA ~ fцAsN6rVZ]Mdy8, 3K:nQV%Z[ֳG,k% Eq =M!(% z]^X{ )"DLwW\>L>LML+=˂ܧKK0^H/_7G<}>{:;`Pmpb[q; nubiK@7|/ڻl/IZKC.-m;dG}񮼊몵OFKKs\XCsGفәH; gO4i)s'sG|GId-^i[/ڮƟk!*> ]))@o0&.P 8F@R߁1?R/)SSB[:BTNВDcN+ݞqh U:i\Qʻ дK2p%!JjOR@d?ʐR8 -GgQy/3ڂV5M]#ǙË8\B-ھnA6A>0wz0 QEXJձRl7 Qʣ.*Cy4Vo< ȿ)OWV# jѶtHh}mW-꧶L~ %F!>h$L/jɍ!Y齐{ s$_9C,|?𨅱&Ŷ9q6^Uɨ>fGxKP cDN³;9nh~EgŌu7aK խ 5 [!) &*'C,-I/@zm(ў΂"'6 \1kB'1t| :TcEϸ6'o6eEh.O=Moɕيu~k/nh^HFn%S*u=-HԈ_tej6+U,é٧Z+qrh"tmN #g(.8 u,1o@ 頤i2+-jsjDfׇ8RʫVxr;T- >X'ԁG뀺ZټZ27yr.NoGWꑐd'nhT xbZNp,uC%W}~Ś^=.bi6CWr3@ſMćG]q3 W<cnfformula/families/__pycache__/dominatingset.cpython-36.pycXo]~wdGIݍAF*E"!Պ3Vjvh4y)H* {Ez@Q=Cf)ɀE̛71bO2.!f$ƶD&|xA[m .,x݋%N5yjn`ti|ԁa.\`;/^̈Y{HİlЕ^{KO87|$BfUnV;9SxK#]SF(xC="4ѣlRLzxܱX9k13v2,MPd WXeO9QF")QeZ)X;#gŽ%[2/E\Hz̽8R+K:ƷToY:)VTwy8'[ȦH'ݣ5[j4mGͨ[j֯.snfr8}jZv͞dQQ3fܵANc}mGicn84Qnv|wQ;Y|+g,\+ Hm=}O9{Y5R.hFY[. Jf#[Vdh|srWp`K`?8s-PχưoZ3Fyʤ+&)6[˷MJ9 pY=$8upҌv~VۅTJh"}tJmOVy )VknWG_* N_UX0 iРu ן)b C'_s;Մ,છ4iۣh!;)لCH_Ŕ[:ھ:~6'DM 44uK Pa{F0!_[}:gh.e`3Tc*ѧ\FG.#{t`wھ,;LZEG@ogG#KIދPgĄw\!D$)L2?])(b/}]ƅ@$1+<\L!)%[Na>c'?n=$B)0%&(^nKhJy%Sc" K[MaR Ziw Iq HO4k<И5Wtޠf..̹Iq.ur~ ;23Y%chwq[+`׊hO3W@@dfβ,<,M0}j<7-HP=(J]G+W$$ DgVN OD <mu*սU}!~wTEK/4l i84;d\lfC ]LRQ~X &!ik"bo L~2 H6F*Cʽ\˔$Y?O,UUJbrŕ1l+nWL(gf#}d_ J:iܦ/mþ|}gku1k/dh:<$n.];|/#̡ۅrZhCo7ڵXf(/:޻$WpYOi} QQ:szXR %ENUE?=R zm8Yq`mX8\]S$p ';; qd /kZ~F%YZYreh`_' &Ph؈lj$ P*AV(+ɮkm eh<4h7PK`NEd>)?cnfformula/families/__pycache__/graphisomorphism.cpython-36.pycXoޙ].%K+l]ׅR@i]È#CJ{ح"fRjv)+4Y[i H=-עǽ{O=\r)QnЦ@)̛ٙ7o޼zkvEi4ZW]x?B!&> x3u_ArQ"AQ&Ҩ\Lc&5jжDXkʲc5@Y/Җ&ącM\G:-P߼XaߢX|-_-o)k{qDqva+V/qk,77Zx_ߑ :*D*2tN3 7vցRIe %)e`qZHtI݌f{Z_#[㽥G *asw|in { n=_ {tXuSvgM>zX`s;ov{0tJ <ߓJ1re;K:nYDi'\A9UkLHp ~vH6wx: j#1Nͤ=!?N0_Kc;# oqaұ7Va+]kXFch>10'^D,Em闎PK&(H_h]۴ ;;3hVm=ޕyN شe،E}q d@˅YdDŽ]RB[6Z]%tЬgKUnLۣ5a];Y}|X'nhwC)LV=hfS4tU8a g.meDhQi' x(@L3w`R^d2Ṉ E K7 c!`%^fHTURީY= sULw -YGM׏#ʼnW}0sjf2YIwwlޗXm.W֩ĜR)\HQ!5W'𴊭vcucG\|km)E`-]k:Y LOk ]G\2-f1_b*go;v%lqܩ!Z@:;EPʁ@n1{Z ra[dOt[&ьQviP.1;mqGwL#Wϼd7_> A^Nc4AxdJ2yli޷'\?k"GY,g*wa=HrH?љn"94 K-I\/RvP~ Ԡn2LZ/n TY)mCZU G8]);CLg#~܍=iE!iXתBov 1_i -πè'9+qucW-W:F%}8e)[} eV;L-%ꊔ0v}sA7zȽws{8 3k>Ojj= festBU)C n]t^V@tU-)װx+?a6=^Hs(A X z$-_bm?h,d_#t$rgʯk.|>$i{J{uGK(-/YFG7j̺VcPK`N[4 P7cnfformula/families/__pycache__/ordering.cpython-36.pycXKoyK"iP&q%6- Ȉp<=r4) Ā `h2ל *^լ{(TORa#>mQsS}ɹ-]WJ2r,WZڪVzo1Cj0U*9Ve5e(z U/L 6 قȴ;Js>Sqa`;vP0.ܠkabxNd=Ƴ7Iڀ;.N'sդ>Nrv("`vB QVe !S6ๅV^!VbңrHRTMCAl@#t8eÿ7Dwgn^&mߴq2 } ,q;=`q ^vW}ih`_ô9wD*8T2oWf23fuug^K˓gecgϊh{m{z6sxspe+Wn\NS(}u]ձZ͢RɪC _uUSR%%n%a/Ub?[h{#U܀]0eR*i4k|i*V:#疤yW˗+Ԋi+@ˏ\H hS49K.gLsM>ݿrW ~7| >h*Õ{}LdJ/Pv_HnXwHguiܗ_iщuﳥR~XQs$&1+2ɏ=+x%BY9 7y$3ֱd\|>VNҖ198if~Rl/1ZF ?ƄӬ *Ů9q,"܁mK'QBr=6L&.3Af6gj!cuFKU5Qá .Wa?ߒ"36bKEe 3B~, LdDS[PMbPjĤy64Sy2o] &Kd"D:/W'i uA2)(u' )fTjԙ.q \i()#-іƠӘ[sd&u9-qڭm*$>/G57z\F~2w:d)˂`D({z}&}(z/:*>*Q 6ECMhv-4i-ɵk8ɯxla_8zn*qq劣Oa.xdAFumk=%-L[IJ++odV۱dމ" M2яbq^ⰳx.H9Q΃Nȸ}yvpYB:@/S'ʊIJkY%WeH%:rcF/krom^kށ~o a1A1./7؃ zh `~8nQH^QS\w0$h͇o/}3=^LE~z"^)Orq*TWO.L/b`|sOϻ7~N1\&A^!)EC9WT:NڑRr~L-:TngVln_J6 ;v?*qJ}j2CTGe+0R5vVg%k4ಟ}&1ΪNG@ :b:bxDb/S4K"z 1|BkHL݄Dǵ1EF- ~ l{MdB4?vqnkD4eZQȆ GԔ}G պ E5i PK`N5k77cnfformula/families/__pycache__/pebbling.cpython-36.pyc[sGz^A ^-kǶ&m zFYZŒhɯժ(W 0 b `H$lR7R{IU*5r=T暓Rˇ$u ey[KΣ믿W~=1;w J'o?pbU{ZUS\L5Vt\5Wtz3:u,绥\u p>_j߅Uf+EVJceWp_Qyh%>YXÏw_ݣtxtw:w[]conۛunN4mhd\tM9qU 7jAj,2gcYd<=6Zp V|֠쏸8m\^9k̺ivunnqxzJ()qFSƿ+SF:Xx̰}6 g`۱MUE~V3|X7mY5ē[-}o̙Vg*Mwu7 {nٌ{i{&OoG#dæ2R#r?3O2RwՒ3#WV7ӲZlnu,bc`w3 Jvۧ߸P3lsLiI?i=k3L5px ^APŜ2|&FSǕ]ivK5*HU? `.%CW9Qԣt뿑[GF[wՏU_UƪKu2G ~Gj'Z)Yϡ筜 ǮT6Fںroi3#*t#}S([vZTǺ? )&z*}A9kΚ2(:0[ڦzUCgdkvA<ǧ[ zB.%0M0'E]Aџxjۣd:0]te@1H(n |v _q 7lx R J}|HR7ӱ9cnLn.M FebXoS?5^*f cnkjpqX .s"iԖvЖf)9zav>;IM>t)L2|9P ^aq ÑK3?m|4>b^},é*5'0cIU>/}zTcŮkX P WW"psPơΕƪE][U }4iIWHXnsT~ w9*J 0^̄l` fJPtka\9 r NRAF,`fׄ-݁_&gl5e:3(ďR(+r~ag jAiEuI+E}Y=ͫ4~+.1#)Ta 'jG݅i<32TtzvbgɌP4WjY('+@F9S|nk#|9l5cpO*cOT+ 55=' ׬U=/(T Xύ®Fuxzdz shAsܙ@ U:Nc͝2eo_L]yŚMBi[A0?C ]h6DDuXDl~~+@1$ ?DnXG[+w? oЇR *C{ȫ.h[0Q0۱lû$iz$PvCflpXi+].P\f+iMYir(v:kƚ(kͶva(')3Adsv0Y7ؾ!B;).LM1>-FոܔM|ST@p1oM6g)ܔ o_UkL5kDpVL:QvFY*WrR6%ˡcrppv-Рc4Gz OduA`&s[A&#A^V#Inh{Yp}pG,P#xJ;Yik9g*L~Ѓ SPCaB53T_}B2O3ۗݻTJғuW{ߖv{ [H Py8-'U gfYܗ}﬐ D$cZ|8-* S~xKv:x0_ 4u$/;`9#Y6QP@\ n]^bx&ۓ=@0\i]1:GĜ ]{HIG*(l093pze&.!*2 03Ps rByˎDGR/ G vOf;nrPm8ilbRW GhT6`6hpY]Ǡ&8|R )A%ȋ;+ur$!synY{Tg\c/ L6I FM'=&qq (a/W50 7xRߍZ["|*iz+`mU!|cB *\b!7YW$¦4VPZtl@VsE ݆ QԌNEPQ@b2>SLӆDM+TbSAeaHvS{=m:ǜSqq _?[6L1c s !Q I.'h2$;89go5=cF3SABb{cn޸jmЁ7;dž혾 4Vν曫E)wB`{X< uprɁZ.KĹ"% ]]+H'ұIб$ 9 z+CB O.ŵcbϦ)!m: AHBN[ZP4⁓pě=A}ѹ`[ S N >H9u RWq{qtePhξP$x{;xy&G%_ /5fт2Oeq_Gy9vZDb#ez"~G!d)Z \OjKF 9fZT#^y8_]VOopUJ1H\NIYk!J4`d gD::.HvM+Cg;E<֊Į>/W/sf$CQnn]TB?®›J_@UHc:y;~8wp9ztHB+ZrV6A(N1E_BMOGzeY5CDaER2*(LD4兩-@gMp@H4}iw 8.k:r|0Eï뗯'pTۛ l+rшdƒO*B=tJ="@|$Q'@{hf`(6phb1l%z]_0(dƽ}, S C1(P `'&!F!% _R!7 Xc[SЫa7qӹH4("I l6's {_? PXj{ʕgX&+KZ"L|#!k,]V7Q'5b3U/gqL xџ*Q_7AOWa ++U/+qY'*9w׸UĵZNT2?hs iM83QaHsx4-(Ao|IC- QB(K,gIamzA%dɔ5VhZD(ZP@}/J HB> jAV֠Z 7'Zr(9ӄi۵(x-q'[{P@^̫4C}ӹWuQRȤgetÔH`:ϥr9ee|ҭ̧, 2h XؗgJM"uU?elF;#4] JX F!NTPrTPDEwf?U~CY(U&K-U<|Ǫ9V)MWKnH] <`:Y.B [a2՜V*ғBJ,ӃY$gx")V$ cWS% T 5<"1hg[O(Aeo߀XcM~FFY*_fgu&T^'5vo@2uq]x&|u9}ᷝ',`}|G{|$GJT%DCEڟꫯϙɏOVO|c*)X`/D"v=jI^TEG{a6z[" C \&v(;=߉_nzbܼ?7#c/n~WHiev$h*[FRsN h()ue{n|˵-&Zhmh ϭa!wyZ/  mqRmZfl@ھAm=m,^W3Na_̰ }]?h*0VThw*)OpcE)Ԗ)ZeP9u"Fqb&Fuy1c^6IX<o{ږymfC-# mĨ?0)<:N[`^oP =${6tG R8`8`kcN]) )INO/Kjo=4DǑ^yA]Fcz*!.NCĸ=.Q;½>b{ﺢKY:^ITNўnHLͲ:‚ &SB|!Ϥ3;}9~6 g6L3< z^Hf#= 2J8O9p£x嬜^N^NCSIJ弑)Ol!ZI[A{r(=hE4ChlYf:bq%E%,Å_S_Tb666Tm@Mmnr94IQq %=!mBYsT\`<(E,86ىI^Zl-~? !T1^QbLA(Qb{#T6jHP%ڜ\8j}."+Lj#yFK1|VvTxlN"&-mO/u1V٢^իc__B_r̈Tu,EhMkMɍfA R"/Qࡕza՛a:"JC4=X K'm  DcBӞ/BO)SƷ|ꩩkp?8±OECo}UX8 1 (6\" uq㛇nB"b$⽮H,T5Ot|slkKKj1(JUPzPť%DٔZRF bT&,# ut>=%le Ҝ>_l>5oNQ:/бT _O-$}yx86uCĬ.%zabFRi.FX/PU8N!=Pa}U轃ʤ_8MٲMĶmwB]=W#%km\h +=}R5 ryws`S$,{Pތ <4q t"X!w]pB\\RJ -:b=Fl8 P9=>x0QGepVnܺES$93DT4g<P`GJܜnR񠬋Џ$Ƒ,ag9,HE0aC#5%EPII(9RJa @4~I"\ / @h{hYfPK`NIGkwG5cnfformula/families/__pycache__/ramsey.cpython-36.pycWs A-˪8MMl$JV'ոn#'6bW(|P P(rr$ԙz{=ړ$A3)8X.޾}x~‚“?]Q+O) $P*k ]AQc% soV0ߘ' ە+3rF9fؾ@a\atX.R._fڎRܿuM#t}'9AOV}8q0*I5PqЫQB'0g=>K(} r IBip H[ 1iϕ{+љ>P~]9S,%tU.54@9$bo`ȱ)C= x~FU+{Z3X 5ǺX׼{a眿 N:Ir"&"!8nG [4 iZ.\ ƌ1 4؉k&mz sv&h: ۨ8^}Qf%0AF̀wIE>Vod_彧@V%;?xon߾S3[?$3t?PlyC{*de /lJ @I͞}zz:rz>[k2/Njv{w_֚@Zwx&$:')_J7p(]?r?ު@?_#$uv(64qEZNia>v 54#pލyzuPԔR^JfK= yPҲjdI{ uUࠫX:bm Y xl_!hm[J5CtJLoKE2`iA[RKw 9p,S,Alr̐f%/[`_%lf"f؄NT܊Wt3X{swxG(QF0wJ\1(GFN<,2”>(Ϛp:663/9@Ğw%&ݛ myL 4\|,fbq$}CqUj,tlp.52,*qq/,h9ndn,&=U(tڨ[+ uHF Y%&3O/g.'p߸(RXYBI;{]Lҹ0"1~7(mY5L9rAb9X̓;pv*zudWpy5·sr2H謃LJ9,lmSࢵVucc3!T20j''긭ffpz@"֫jNq% vVٸUC!u,RvqT,Q, F ΐH{9@t 㺑D2E/("S͊XKM;8ɳ؆Cs^ӶC(l;l;TЯQmȅt؅c]M+ 㹐/^M'GeZo *'4P:s_=oeu󈷧+gE^k3U?/-ǥ%zaUð!çx{F1\Ⱦ7x іYc:lA'~0c-zPU!6b*65lFA4~椼iqiRrנ+KRQ0\kjMdQP$πe%ywR:~fu9sM|pk[@%#Me+2d{dȞJN'`'i9k$dsԓ2b+h|0g[g?ۢ^HNۣo{"g#"&Wx;Aa^"^|bN˗\lQY%_}S*DgkRFeq G8pQdF&S왢9yYzR292тAS[ٙ3&9e 5S8X`p,C! >g%"SȀrـeq80e>ݛXgݗ] ~? |ۈZLڱ*prwS/[ ZHʍPĹ0;D*%b y~.q*ZZsP4iB/1"rQN\>7 _,.rJmj[&s pdJ|#>./֐?>g&?ckߜȊ,ʬ/eF9Y,C4O#KS}@l j*0B \ێ~4GL@_y#PB$XlItkI dǾMLY1 Fݖ-[= bJx956 ek1~;)CǕ}^8MbhQ0z*5t-T"TR RĿCh!Dl;lCB|IQա)c` 8LHD7)lfdzdVR6tߌMۙ 1aE e'9oӌ iƜ032j6bCG~M ~Aj/`op)(E6q[PmDžm$at8{)r8>tQ(MWx~MW}-6DTꉼ ERRupaUVCgENѽ$k7JSw_b=:Ɔ*V T+L~X6J'AHE818X<@u^ȗQGL#!'(BH ; UUݹJ^!b2tcw {| ==bq[a538_UQY,8jpB3_X|h=twPx\WJt{@C>1w'2 q (sSDnbz;Y"!khwr|GMC;7 }bHɨ-]EA4q/~{% 5eؕ@ ?h-Tj`o&o_|4VHzPuW`4O]mVme[sn7NAs={ać%.R_ZѼ*H>O]iڗh0`oKt|/:+6,XkI`UX;wk~oyppkl ua 8bL>9Aou1.I2koғ!LU# Rbe@* ~p`۰x?%I/] era.qUCjCÁ%..Ʌ[ b+yj\zlX w<0u1imx5DIŘibB(k9" K/o-mBND=|+KܶVZ-;ly3ӜYL̒읻s򚡞fml3%J=r  ]#bÌ]ʴ}:9eD҈BeKѷ_at5AARȧ1д700] FzXn# {|UZ!.đHSX}Ņf*PY0*Zq.z5jnDڎ%A"9x >[KU*鮑+3ӥ7qIX5mr-^:/ ĵ<"F*9SpFb`AU>7X7;φ.^7Lr;d~.4:AW8Rq#@B/nLF"oMi+pՈFuWע7Oʍ[j/f*M>|'3vc}Fx,ù^0y+X9 (p!['ĭ壼-P`,.9J ozV'Dm0RL< 쌤v6vV~{ރ !m󳬧V7fHnw D$mM}?+B7%ˣzbPٓD?%8\?`;~[̏65 |Iռ(M; ^0c}ymئ@6`&'.= סTrՕu%vdiN<s_PK`NodCI'7cnfformula/families/__pycache__/subgraph.cpython-36.pyc:MsGv3=` RDثL^T]XA$CCtp>DBvMJUޫ$?!9s4T%=m+C*aic]zڿ)ʿ+S<߃'* W: W9sTuu\S]wJ25zkt +CکRZFuÙs:իμ4܅kN],R}Nug],( VE CB|iŗ}.m/3^M _ojs?k<ϧp3_o(o?:^hKwXZ=h/nP%][xE6pBnmۣehW^]0yWKx#WH+'BvO,=a;00pȜpA,szZ*Tṉ2LQBPh?JQ6}e{ 7WK\ Yw~<+1)E@J<}\S5uЧG:g ƶ&eh2pH39,ꠒshcUA_HTtӈ0 ^ϕI5b_2̘ ! ZV>xQԼw^2n!! 8Ws2G4C|>~p_7AGO #h}_Z׽ ^کWBQ3}ďz{ u<ͫ4"5jKd8j p8/YڮdC6iz0u|O&:~d9`)Z)P69!l>Z|LLhW@j-FV>[UrŒH+( P"ͧ"ҴL^`@݇N3r@vfo~"|u w?|dZh Kf3Nt.n !@pw0)2{e2ds-ϴpxxXGXpX*v񦑅e LJA{X*H;̦solTGNDK*6slp,iLrDԗ{m2Ed\m"Ls {@S\]p>]/F;QBP i3ͻ@KXb{ڮ=NQaޮ -B._  [$0 ̣Rf-ґ|nŹ[)x_$G"_%&‘fXIuJTHY_RI^OMuxZDcT h?gwc}d2Ae6YXAK0#W9h\^T*X"=})8 ?6ioZDH/ۡpḖq|9x}k1Kob'дK.:$73P|^Nڤ#(ĶwPޟ\~lLh}bcx 㷾F,zl4?k8c$r]a{*ZȳA׵C8Nl $k`R#LD޵.ոDŎE[ЗރR8F:* G <ॲ^Wu1 VW[jKL[cL;j` r= vQk[uVf-uemE;.5Uj%& ;H)K' !J@=%PF@}o}dr oTO,g$ ~9I;:`## s>+o+vYznRTM)tVYߟfn8e)i#68b]5-L,B wP/􉶿v2D GmQ_ =6F%Ws k \G06('(O*P)zdDC|Ikj Z{V|/!Gs]MPek#' DGC*y"Hb0pb" $,}=1^8pjr.)e rb4fGsp58m,Ҭ6þ6ڮާ&=W{.Zݾȡ,AxQ^J8j{L7 &ogw;ڴ9_1琋30lʨ4]q C3iR*'S HT !Mg!^|ʑ|#?~F%BϞs?@ܷCOA*U) 2Ca5J_G㬣sSe]V^$pMuQ a. vUƕ:nyJ0x{q)V/8m;aT@-c=<lQH-J5>,['6hYL d*eull_XGX! ^H@L?)׃\U8?wd``8u=JFSܳSE_hih f4]xk;:=MsݽFt(IޤB0 v:|&`1Ak㟽^LX)fE v`#;o|qJJ^fte j52LC]3~Xm 1~o6؅Ҕ]4 D3tzY_EX3ڦ N 44I^:Ob/":εKfyϙGﵪt7q9!-ջ[ >s )jK8u:7s py/]ҨH tjDȟdZP얥H؅VzPh)*,1jC?N׫~Np=:֭iN؆*]UuZ@#}̝d\+q } +cw&J4pKPldW@lb?| sNl[HѷɆ^JL.(!Yϸ$^s`RQMא)#Dظ$Cx#(ta5 Rge\sZS5.sMPK`N* @cnfformula/families/__pycache__/subsetcardinality.cpython-36.pycX[oY^d[Q 7)APb+ѲevAd-a5KE>2`!E' } UbXu7}6Y0΁6; X`}~s]oE>=gn#MP 4Z@Pq3[L޹t 356!b{71eb(kX{vF.cv"iJ@:H,̩!A ѴdA9B> ( 8>}6G;yf#lůj5j6̛L[ t)w<̆[I0$uY:oYIc$8V\ߧ̀0ZĪ0 &d҂q#C.dl%șEIAESwCMw |8jfCމ_23k&Y(45}}/c_3afbrhvs ?l;]VoȖ]藓?8KLaZ&8zDp$Dy$e%4ǮNj1lI=>̓I 1:d>Sgf QEm-(Q)$3;/-q#<=wr~0@B1Eܠ۱`KN/c %DUiZͬ&Pn71P a  A8~3jf=pn*Q-K*E[ȂB̜HjL8c1`՛oj Z. }O֧ރΆG"0U8}u8 @(x|-c1F?>`Y?FڠsaYktǵ֣D.Cj'eTl÷|]i39#`U,㛣h"tNH/!~}kk|~ jbFZ8X%e0ED/Ư2؃_]Tnm#3}#u-aoqDNɩ/ԛں3MYdLΣΝ0Xq "}O/ o*]Nso*MVdM%#ZI (D ܝ$ArE# W i%ܐupSLά4S6ݏOr?qI 94@ MGǓkEx?EhKLCkپL"_|o܁Q6'yQ97z^4/n+';!O3Os҄S;:Qwbis#25^[XXXV ~=y/8NP)G_RB_o'0`VX"@xB^ 0~PmY"zʶ|Bdjo ;wrPphGFDHvpG#|jZ%nh5,j @@yBkyɜ85n ~2kg6g]v !nnH뢮tD^F\(OI* wà s\=k7jr}Pە魒RRr]{[_Rp K!GT @+3=1(CffL(=qI9*E OHXo,~;)Փ]0$;)wJ(^PK`Nگ'u76cnfformula/families/__pycache__/tseitin.cpython-36.pycW[opdI1\Wmnr 0M$n@-ΈZzK]^E"}{CyBrRMP;;3s\s/VW9UBC><SH8N9KuŹZCk:C݆^3o4oʠ} * .%›b}fwI{eQ*"SJ,/ $ r9QDQT[w>~ghtkl3)PH*EH\{15qP7)!dF>b]w*ZX*L~B4[6wNHI?H]K*b32SVI(/'_)gtƞ|]6)Aj 9~{NkVwN<䙡; [:fijlMFS7Iʃ較^Tԡl4VA><#b zB.q\DT]Y*"a4,. "i#' b~%cSqIZkN* r1x,;k̙`"qi ( >2 }ԃ Ž}w:74eY͇=4N'I6>>A;߉;0IQѓoptg(3^;hg7(-nw1'OçOޘ^t:=WչbS *lK1 Y4>Ђὅ_ndvK!L"9؞kYE;DJ"ǑL^*5IF#XSO8πcdJ5Nq!=F~Mi *P<9(v8-z]B\ vּH-^Gx̣[l-˥6ۢ{źlmM*?G,'ako HB"fv-κ6pisL8,wJΝ|82Dph 瑻ȭkݨ4Ά)h:i nn p(QtJx$'j<21/K0gDoc\ .&ʃ4xDvNLo֎?ڕ O> @A'PN uښ'yhn`+LYp[N0nd*nQP\b9Gj5?e;u9.qav ڶn u.Ĺ6|mU!1#1f k=:r٫O0Qp' G'owy]?&XIPe@_0nc*gS  B:8^'D ʬBrLҸ \xP1_ii]5!f(>P2j#U~= @nMTo8%O>! cX@_NI^g^z+ڛԽPMv\qZHJ-w0`v8\ar4(Au󛝱D{o+)faU0ڭ8hUڍF#<ߋұT\Ad5+7%tS~x֢.ٖŻuxZc)/ 8y+ QZSa&iV(b4VbH97A*wOE>8,7Ql,eSֆYoӽr][tV880݊<*DWvϻ6ήH M. U]),ƽ{+EFne(iLuO\zg~ PKL Th&cnfformula/transformations/__init__.pyRN0 +Lw+B+Bۺms{+mrib??uu ^-;}jج`s56LQXbG1NJcZ'0 @}Bcʲ\+CQZ"]1 Y$' m@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 ?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.pycTn1wM)V`S@M *UUz ˻lnRD$y^b٤YJ73|vvz>y=&'Yk#$ITF2BƑLα~G'";9L+' UMU`eFB+۫xay&}ƱGK\9}G?S]K:)HL)u`T*LX&VqMǰM {c)!ieA2a) pmBI@SqKÅa 0ţU [^o-7C 4lOUFX+h,Daa ,X 53]8 W3PΓ54 i 6^ݱs7τ9:߈`aUQQ*1aYr?x><!HC/8G9·K6x5Uۧ}j%x)^#4Gʊ^8<7BW:Y G6KhI"T2,Qݙ b05@bPn${b]Υ8hpx=iY*Y!PK`Nc3  =cnfformula/transformations/__pycache__/shuffle.cpython-36.pycVoo;RMQ mE DttYyFlm7lB-#ICr~3[ 4CoOpoWțyN0:=<{5?k̓^ ?N#q##c=SגY;szF{u>'k焯1؜>&;CR 2~P0EA>yeQrм?4ax,2-H nKzjr$tf@ 9,kr*kZ%lt᭴WDKCIa9Z0QuOn0w:Kpѷ_n(VIR8|Mk& C`w Kc'0ONn6)6XΞIC?d})bEnbӞm{|1ܛ8u_HB6p6anWL^a'I% $yxG8LDZxExRxb?Ydt],\/$yB~h]{%^?ǹs?ޱL/3b8ꂢlCI1XBa@X g~{_εQv/+UAf~ݝ俢~ Y(6 8 #B7/V$FZ]IO93#(0Ug[W6bw5!,^nD+`{!x+ii$u={ kͧVXhy=mN+(K|> l C6q?qiNϔ /~p#ޚ qآӭH\PBA# Q' Ap4 j i$iH#!dN{e^j#ACs)no\y5ݓ{ܚ==,i{>ȼ +}֎z&`zF# ճ^t._w5,h'~rC7Es Q<"@0kjxUTp*Km(j %T+<NoӽyVujJ*+A˺uc`ԏps}<w"`X6oH=kpQ W 4V3u8#NrBɄeS/-;i?{vۦJJmړgg?/-zu2NɨS?˜â԰Ifh|X)ZԹRS"1C0$5Fp1.<V0V8◘m:l)/ qRTAqB ^sv b*p E/9)wJ^E5x]iukҭlSu%I@)Ce'd.h$aVK[n &;4xY7& bUN#a0sf "fN*:I +Np;{< 0ZvI- d5΃k8L-`(X<^{KM d?ޢ&ֲ߭he[D@-X؃w2xO88춣:)AղV(X CX<a4м !$3,vG.6 a6تl6 %V"&Ŭ8{I6(2{OG̗}-'{0VX^|?8>3|ʜnՌyѫVK|'X@35boQ&p 2 A]guq%FaDjKT*Z_ .*ܹV%JwQ D.ԻQ]ծWx A!jNۇ6QsณlvRAz=d2%jZ;yϓWMDs^*ِSq&[H(W>RcQ!S$r鮒&1%I}erԔrcو-L kz$AO+'tx< b*y?b c,b |VeN͙SuJ .dz(+4J R(x6/{(zDfvR6q\i<Rq,xٚlBjP]H>(ىLM:4 \\K` $!bxHժ z[sUQ&4tR1ܹshq*؛N\ɤk'q3Msa:,׎b6|7t~M,>,n>sxS1bqAe#YOdEm&-'+)]"0p%[H>[jV 5{I\ ,WRZe=R\f)Y|$F'~I:<>եRF ƑJRT~[9'qpbyVlؖpsyLhufEӂaW:c@iO@ P>QpĒtofłX=S_õ![Q@ZgՅj5$ع汙 PR1\0l@v"iTIoןA>7m]Gbg'!<ۻ/vDVy4*Nu2Qq2vZ!pto. YO|'LWzM?i_{z/ovqL44m\:oaq9wl4bg_WezW¸&wI-ݒPŠףmXk_.%tUĿEµATS  dF]!D{dI/JW0{B+TDyh-l>r|| -Yw;SϺ]::XP҆H>ΓPbcw\uh中yM±a`Hk=` ^gr氅v,{|8'boYxݰ!ƛ[Z_@u$V!ң,e@vk-$잭ZmC3[ -v^b^vRJÊf^ 2VE[`ֈR a^gY ~%)b|`}@QF}{ E=>Kxj[}/_o`Xx9V ֜86Y}O@S$gte Cǚz:$l<I%}OG'MeqthlnS.>9Hb]j;<>yT<mTl ̸Bq>IpV}5$0S/KIa,ۛWuըt^3=or[Btjj d/OEMu k& s7]4LsVV7nLX`I ᦳ\y$A[wÖFib%2K}T"TXu3zEbI$6$C.m'j\eoD|6{}UͰnWxUSBć8+Ds~}{"('|BEfţlL^E e\KkOqGҊ.qgkp)f4wP㷛wѤeݔ yDliO~',5Pjnl3+T WK|".2_an0ʌ8"}Rei!܎5I֓)W_>G?Qd7ku-B@+m`u7 ^얶b7ċeR+nu.7u71{A'?Uu.`=Nr;{#+N刮ؼς>cD,|7$ye4LWF1_+\6QG`OF+ڂB(m^B h䊚 .^ѣЂ~& w1Nr;}hͬAe{]HkUkS砫L %f8 Dn$ AMl@ [7(WqZJdqORUp譆M6RROn!-Jv3J.jX O4"}Oc/j9_-ƿKpSEު7צhy~M VKxv`O\Tu\]ր[Jqu1۸/JOk[Qi7ٷjknO[EH5A@!X#^2>gQcOzvV %uN=71@jxRUP\,Xp[aQ$mA1z2sb=P ˱H0@y^+ #m~IFOMWBV{ڿQ'JZ4el[ND}_74〓y[_J nhY0MVSqy?dW!wqS_br{> D&K  }c8D8ߞ&8۞ԯr[+y@c f0i.|=!;WXŲ}˭2TS@5>wߝl}`S1ʂ[dp~8tX'5.[ꗾY}U2LKb .1'  d. v~ʝ VMeGPڔdBjN gpMhҷ3 Y[m5}H4Ww~,ڇZj2zChD8f,͕XǮm¥>JI.$NUnxQ-U$f1\ $u㳙Ѻbհ:W玮M_;}|jjdꊯ1Rfls(Cjx {IVaSr}QɄ#[:Ns9)ԼpV]mG1mfjVT(Ztp/\IBdqEWk-Aq7oLx z ᦙDzM4K<OF7p6n~7qKQm'윊Xp+o{<+/ԾVldWlTz6WZN/Em%?3nDL8ۄna :<\b=̵`^bhO|SA{lWh/.U^u?ﶍ<y/Igu g{{9RΕٱ_+bmLIбǀ;A:ǭ(:`DBs_!Z[kSl}6l}#g9#KIw 14` ŧk޾;n\p!mSWI'_R.ק|?r#E=ܵn1^#MXKC>ۢ7QLj=}rAg)C`tڛ&+ n;<}#1m70޷"%w&EC|BVCU#҅VK8mk&2չbDܥ4F}B_w#n)[*9~^6XC\ut .&4$&~.+).㐻$V*~ |[*|@Too sgU>/td  /PKNKT# 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Ϣ> PK\Nlb:<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`7PK`Nf-\4cnfformula/utils/__pycache__/__init__.cpython-36.pycuTnEvPB\ i%q DQT+R5JZuֻl븻7\V;^W-RnxOJ̙3wtuZ=WAwG=܇bH` fB-Y̆dc(O>D Me2 Ă/ i h)lOJΥKoB=+{7l='F&3r F{GhљKg(363ω00`~YX|Vaskb_3̌sK,1sXO2k7RߘS3/o%wLqat`$cVeNU &ffߒvfOcMfף7'hudI{ G,Zq;a X`YYӜsG`}m9j#Ù1&ʡ}㉄S` !A$c0A"ՏC3^p`\"ڣރߠ/z\V InQ|,i]A{Fi7mA jk<ݽpO0ڱ.u=)tKJa S-G ; 'Hzcʅӗ9{9,MܧzQ]&c]uQΪ=ʀ˟DKmPMEQT'LY#0=p 24,Ur]+ 3ˈ7b1KC~H ^YoPK`N_x 6cnfformula/utils/__pycache__/cnfshuffle.cpython-36.pycW_o;O%[2?lȩ:ZCkD?]G.K$'*!/(P;k2Dy);3;3ݵʿJk_eZ9~M2նavBļmNaswTjJ̃`rRmXHWY- O 쵏t0^&F$Tƽ^ToH1xu~7|dXx̍(Cۀvx?Vb"ҡk)"=3w-K9C9gf 3¬4+{hoayO+{F+3޲ʙ9 5X[e댜 6Ӭ^c5vYʶ69+in;K\ecg؇@K=%G,`Mb?d5gmcg.{j&B|+8F mΒ6+?1+pu꺺vtJ7X1O[SR'g+o o[a?B x6Ά̂PD`Lr 1y@?TƱ>D?iwD$&ѓAXQ,%Fd ~t,9}:Q,44NƊD6Yi֣bfn537Bo7v3ƛ,'F|B/4+ Ԅ5"h.<1(ᩢ*[b>R6Eyg>nЧYXM(o.~ Q'NS=L"pzH7Q&xT`T: $3 upW]Ȣ=`ld>LkDw 2~angC2:m?P :MFv {.^a84 U]CuP4[d |.ϯ`ٜS`)v KnZ~jV26N hPeSPK`Na 0 ;cnfformula/utils/__pycache__/dimacstransform.cpython-36.pycV[s5^wכ㖖 aha Bf0l{q%9Bc ^z?^:q('tsYY~WABǝ wS%ƽj)׼gG1[:a$Q-K'.q7Zģ'+|+EOHwwVO%ՠIߦIޗ) :dB)Z (pEDѤ'8ȵPYrN$t4Gsu*$)hIrïXEu*4l@*g6x"&*wg rZ>7fU>q1Ӏ\.[n+ &¯5~?7ZKL,8v-=U~x{j32sK'c捖f(_PY2 F+3v 㟿s8y}z2{"]wߖܛ`f{vڦ?TBp"҃DiݶxOvba6$]Lr^b)S&%xCip ݡN=VٱvplV4٬F d CҷIv<飱0LhϤWl E:v1%pqzp\do_[zɂOO  BC0V=ץB*A)_]*cK7a >$|l.,UbJL*+gWˈ|ׂɆ5b}J(̐|Ot_ݸaSg 3 pq1I1\zrk|;X2Ob v~p{W~Ltwna|M4Hjۨ`܅u胦\PK`NVey <cnfformula/utils/__pycache__/kthlist2pebbling.cpython-36.pycVoP$ESNqmm]+hAaF:ȡ^΢wI)9 _k%'̵zKސtݖ̼7js[_,W[h:f-F>1ݷX8}Pn5X9~\|Z7mbqwVg{o8M\&b J%i.CY%SːgqΒlðA0YJe1/ , ՘gj&R#AH;='o^y|gDgDC𜃬COD\ HHy^|~|t#Td .U%iXiD]qL*3ԡ>GS51Pdb#6‹0.=Rr7X` mmM=d[8M+bԻ }W5sgO6{-j '-eW™l,I~;= &~_`g`pr5+ϸ)0+ 1PfS)g 7{aI $MKk޹3U~7/W%]4S7cz眙3s + qDFɤ/7{!a|cg%4=Ž15X=t`|Hg {7u˂+zNWǴ3i1wIV"h"}3=uuv旇P;a8A }77;c5,XK*Wp?h "Hog GTѐ`2%T>9AZ7, NM{4F"0mtTftGq6r"9T{ E`qddQA3:stֹ{~`A֮JTʅ 3RSg^ cxH.jG$݃0^E]> 3rZU^qN|O JL;Qp馷1[m92_v ]-;mݤEOd$( nPfB/2|_!6mQ&674ıHL[nZTԵW eIa@/=!nObƊr}$ӄi{\s6+g:ɦDH+P%!(b:{<t"rӲY8z:ևquPbBB#&/ CIFM;G0vɍƀ08 *oFD쮻8z51:MК<|/QH&pj+['žl@⾬]T0i,js` kUm(՗P'^Ǧ!>sTH׫HVJi_QY7lU>1n\T?PwgƵ_aXJ ̤֮ɔܺyRQ"OpuhD׼OfRx\ y Y nبC&?wy޲ OQ4 #z<"/DEעTY!9vOWgN_z}F"{7{+?, tmFɆK轶ɿPK`NHdU22cnfformula/utils/__pycache__/solver.cpython-36.pycZoGv!GEWTM(Ñ,ieG*+٢W\!"ͮa{G=A>-$M`` r?`!rhcl.^Unjx']^{]뙇koJτpܨPjiS ZFQI'4mS?>Q3QqZT֔_N{0aVPčv[+o6 FNH "n9=ǏˎGB+Ԛd{: tLQ8ady $qHϲw\i $Y$t$dDDVe&${m"WII ۮ9Icz j]xKr׎5Pkʰ$vo_mXSuX)TZ>TUUUK+CՀB;C wy,mEOKC36?Ԇư`:EtvfSl(D&/U?P|=(ZwOH|\ApFltpCf-Q-69G'CSXwV |:TW}?iH( Tc5Di5'?0(/ʾxߟpNjihYPjmԟyZVudzn2b)9a9R=Z(!0 O6v:[\_.lIZ[MbJ:R-~;o!W9cPV7Jr&,-#PBJpRx1= !CAg/  ?v^9xچ_EKR 0$=`QNIXy) 6['":G5’˭= [xu-3 ms\s+M`Ʒ%kɲ,\~EC|ٰ RB-( PA: TXprT&t3D揱 }e@ŇK qu>V\W@#!O6o\lwQʼn"4`;(Aum71)\)VD" gnęJQBfY>kĦc>PvǞZOyb}2g zW8(]#A'F9퀂Z!ԃA]i5A.djĘueIM*$e+]?[R%b -t\R)- rQO*lHT- > O5vc tV`9^\%?۪̍Mk uXy87T*%GJ /G:Xr5Q/gIKօD}c©=p=z~ i{{o^ټr1yAKy 1 gS(ͣ,Az뭼z*p@Jn.gA_57]:{}I4ЅzX _(՚PA؃tqEutbmiK-#rz}̮l: tq\@~\aRm T QR C.1cI^w|>Hl߻}VRG0]mzMw׸0%ʇ)yfdϑMpk- \0#)NY#^oJ >48u۔*QQm sBpbmC55WuUL(oh k9/k c8x/)S)]/"P_T=E5EutᩂDd\5g֨8 >Hi8 $ ul?a#|=o/Sh: T~Ƒ opNT:+Ki(6T㊾Ǡ q@57`v>~Ā>w Agb 9=AV9FV*`{S~Rhv>4ڞ-'E¾cKp$ pW@ IAhϧE ֏q Y3+A3j_ZġpWn3EwS4 f(@h3ڳ#h2DT)GcXȓ,#F![R)r.bȪh >a\.Ah/{ӎ0NopN$8!.69mo?X`KC^Z``D/ȚBRlnZ5, QoܾqέcM%r|\ɋ o߁ Ba ftZ4 tf|Y{exk୊v0Ls$p6~#ŸgrǺ'f81"ǃx fp-("[)pzd2 >h-;|)_B+ZIgfm-ޖ*^[og udq)rvK/27ǹkNeUG"BS>&rQUB3+& ab/M(Z7&Jv)0 .¿t'O.Yܭ4ge=P8PJ6ۑAk1D6'aێӚx&n5+ÚJ4Jw'%+0/Wއ9|\DϾ][~<_OU ,Mja~-5ǠU9 ;1sQ_#SR gqX&غdxMkLQXvg-# h]*# *Zp=B}6e [hQQ!j,OiU)(sQG>xI\g#S5G=(6`V,GX!0& VFJ#ԙď,խ?T6Zԙ} @4 ~kxfHlw!rJ ػG ^|(Ǥ1Ljf6'ٮhL!` 3Ϙk !BXf۲"56 M)N{ _oHlgׯѳjVȋBh`J^[{G><˗Ex˗8 _?2xyDzwqZ V.g,iEKg\ ˋ=( 2㓞A{"r8hm`,zop'kD\%vЉ7m74úbqRpLJ:[@(ƭQGe^.6 n# s@Im~ # ,Wx3T/PMsaNQ'G/}Fng`f'K8,ۘBqle/q["5O|GqNQyh-p/MpZ0gzz\Bykq;AHA(uw3m8R2Ahu|Q(}٢lEt@WGk^YФb|kM6kZs[p AafRkIe"3BK"!?cnfformula/families/pigeonhole.pyPKN!?Hcnfformula/families/ramsey.pyPKNë\ %Ncnfformula/families/randomformulas.pyPKLJ  Tcnfformula/families/simple.pyPKN~- *'Xcnfformula/families/subgraph.pyPKNJw|gB(/bcnfformula/families/subsetcardinality.pyPKNNJa hcnfformula/families/tseitin.pyPK`N#F~`7mcnfformula/families/__pycache__/__init__.cpython-36.pycPK`Nxs:=pcnfformula/families/__pycache__/cliquecoloring.cpython-36.pycPK`N9ru 7ycnfformula/families/__pycache__/coloring.cpython-36.pycPK`NCH7cnfformula/families/__pycache__/counting.cpython-36.pycPK`N>3 W<cnfformula/families/__pycache__/dominatingset.cpython-36.pycPK`NEd>)?cnfformula/families/__pycache__/graphisomorphism.cpython-36.pycPK`N[4 P7cnfformula/families/__pycache__/ordering.cpython-36.pycPK`N5k774cnfformula/families/__pycache__/pebbling.cpython-36.pycPK`N\y K!9cnfformula/families/__pycache__/pigeonhole.cpython-36.pycPK`NIGkwG5cnfformula/families/__pycache__/ramsey.cpython-36.pycPK`Nl :=cnfformula/families/__pycache__/randomformulas.cpython-36.pycPK`N(ae]5cnfformula/families/__pycache__/simple.cpython-36.pycPK`NodCI'7cnfformula/families/__pycache__/subgraph.cpython-36.pycPK`N* @`cnfformula/families/__pycache__/subsetcardinality.cpython-36.pycPK`Nگ'u76cnfformula/families/__pycache__/tseitin.cpython-36.pycPKL Th&_cnfformula/transformations/__init__.pyPKNC/Z % cnfformula/transformations/shuffle.pyPKN~(U+ cnfformula/transformations/substitutions.pyPK`N 31*t>?cnfformula/transformations/__pycache__/__init__.cpython-36.pycPK`Nc3  =cnfformula/transformations/__pycache__/shuffle.cpython-36.pycPK`N