PKmN% EGG-INFO/PKG-INFOEMN0>/`( d *H&Aף0M-e0/z{Q 'r):}iBn {SB|^l}LLe]9d9 ?L5 A΁؈87?9%vz v!V A^ck0OcukFm1&Y~zA~Mw+kPKmNZbeEGG-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ů`<PKmN2EGG-INFO/dependency_links.txtPKmNmcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKmN2EGG-INFO/not-zip-safePKmNEGG-INFO/requires.txtK-)/ʮ53*L/533PKmN,ˏ 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ٝ0kVuRV= ?,dd5`OБ1'iKx^0(Xޱ",U,2.z>˚_uQ8¿'/K\U|CW%ٷ)[Zio/_\uQ>jϞʢs h܃8jϼ̗IYyZa%J4YS5ϳ*2nQi<%: K,ǫ]W$f QB/2 Z=abj(G}@t4Lm+`)5c2/#aq`CO { 3V%?l|Jq8MS&E.Sc($"2XmbbAdAl!dzH2CB /LR$=&'(% @ТNj5UH1xkr _.c|ݱd>%YrH=Ji%eM _&bA(S لD xOW(dDdVJ]׊#j \΄,0PX]I|3Ti^HSܢ *1bǗTV)V˧?hO@O`YziQY&vYȈ˼D" v tST 1WяЏ/_񜝷?$j[H}?o@.I3؅c (ˆ 6ڂJO 2/1c=aGcx~Ԡkm rb#j?La'qg/X ~F#qP*I< ?S)oq r u蓐H<<LF oюSN*b^M@Z 4bX+Z ( CtB!Yy RTߑ&IzE!UeڸK$$$-zx{A}œY \Gz4dش FU5"bJ8TK +S|4֓J1qO[], ۠hCq Єwx6Kn)Z X(`: ZiJM`Col*lC8،Ov'TlT)f8t&T;،W@2Pn8oo 9+^}L/ꢱ:y,A$@@h]XŌԬv@Y `8 0w>U2TqrPHlk6 ЅLUYLݎEh!2"$RѯjWq9S-똶PFmM<54衚{iv6%a=CֲJ&Ģ؟|ڼ̐Vւ@V,؍AMdAlޭfcJ0m̶EP-Z63ȱȃ._ 7+yu>MGO߿woVb30$%G ak&0FTZAfxdvgާ݁mbn?;Mea'bagiHY;}yyL96HmC#9mQ3(TC% 'j5-0B$&aigPhg+سt"0xIBe^7# /b|Xw$2q<&I2ūHoOW8V҉@o-)FXn1A82u%'1 eIp;x'l^lCu53'А6/̥ * vl!nÞzy6$)-"5t3 *P+Fz6Ɖ2FD5|W1rʹTu#J0Z5MΝ݁)Yȏݸ鹂QH@  iD2% LB}jbUN3]Ha)E $  1uQKKUԽ6Z|1NAeCf9ӚcjNTf驘iI74= 棑Pp6 6èňpF2Y3BS"ųFv jY5~UJ@jɞmn:6 2)4N-IDd,uO3A}SΏԓŚt@,zW}QٺU[JCbv b,r$\s5J--Dh][+ΪH0!E&vJ( xNJ"ZӼ߂2I.kK,-sGSB<6%A`»ވ^SލbJq 2骔/Ïou hPQ)c6D>3$’)~4VX?V|EY Wz $Ґ@Hm\i}7WDD= ?J%$re+tfrT! V+A!*.mm:6#.Q+A9DygOzH&"г!2PٍEC\Z^eWHlO#+Š0;R:),*jQ37CRb)'O_):;؋CG=!΃m*J 4iR;-W+W,ay:s,DzaGd_.WL; 'K 4)jLrsH-:K1IT&u:b_e I');7pjgd^?] l>uk3/0sq) {sEP=Pbè&kl3x[orA'eI놧io,Z'vM;:JfV_wx9N ȟ%j Y=czrC˃4oP 6iL3>k;3lzM!^`srG%!r u>Y8a2M/$Xc3.!0[4r}!C*ب9 0EFWrL8"0 |iqwSZ22W5F!t],d, XLwD&<Ƌa:IeA򑨋ڥ~>2Qs=w Oj\STOEnKVEa1I[3 +ܪ%Z|ï2r9ցM;nX[)Tώa|8V(J$#2MXcʆ j,}!3I =% $w[Z R!W,ٝ I"Q#1: wcFik&G'Ewύjƞxja&ܜ4Yv¹{"(GoE%,()UjJH6J# J BmuMgLURRI`B`spMx&^̈́)cM7Jr@̮cmL\/utٌ+[?R:4r.%u۪ӼK[zj汅:j]{dW72! V<cVXj'iVQB4'MƂ;+64IC/>&AFU p Gݚ#CAz)p /=)O;Z!/#˳.6k\VY-ĒgSFTVNg"a_nL{4 `Ùɨl\1xZ[ sd1";0ڞ7FfˑrD-ݖ1U^wh:V+ljWM^?/ܴ*/ARʑзp?}K1"bd3<󛛛^)r;~˫9F(^Qũ/6ükxZaxFղй&kM5Y)| T*gR`3Br5AkI7Wl֟[i8[Ł2Z6'hr tSZYd5#YhH^0Amg RFa{ZK4Xjo(Z86]:kmG 2} mqOC >2UCi; ?{Ąd*Y*UEv"kuOK!i[Sz:E<{SZO6F5$a"z ñIh^ZɔAجi%7Q,bK3+#=60'mF!Z~˒2 =|_$g,}B!ŝ%ގ5Áb2~Tkƴ ޷"c5:_tO*MGjy(mB-` tm ڭ_Y#@xф/ƽbTmϝ&-0f8N"(]2ϰrSPY432wa. atPxJE,tA;'inJ6.c!9I'c0ȡ=ܐ\7s$'EYV{lfc&h?KaBo(%UANyfxۇQ䥉=;O9ց/F3P5bgklo *3\ۦ1΋0=9%̺0^8G}DD!#ul//Y:52RdGi|}p4v?*(~QcxOѴ4y8E<`@>φ$5_Y%e1u60\Sp`L 71xm v.Qv7 aBW̬yVyd,`ȟ7׼{}xvΏ'g2֨.FhPCz\3^՗yy`dzaysjhk,I{V`'7wnoKP;j)+zpsmc6:ha;N|Q]ž RdcWF G?)2.tLlӮ>#fzȗGlV5{_9O NS8$t%Z^Cl ]v6K3 &{Sz|` 5qqQ$N ,9TD\sߝEPi-\&Pm{6w9>~0ْD*9`2 F?+:'fdl@+FSƙ1t>M-ˬ0aYA0 tZ* R"JqxJ n謴 MA'dI}-a7&f15qJ2s};8'|%l{q`8pZGhvi=t$z VyHgT7}LM[̥UqͫYƦ˙ b^Ni5ɫdp,f䫼v|F TnbSi^꘳F^DeXAtuN`xsEPR[wi#)aG#9~ʞ}ۿ[,%{Ϩ6.+Nxv_ +N5Bm9X8 E>qB ҂[ A( G(xK5|Jgݙ5CЁ>o*ANj-WYʕlM;1TyJ^g,erG*m8ZyG/>mF3h~׽殦>(ti']޼C;<@"je)XrF{3X< JO4h)Ju$O7Jȩq zP/L:yQӮ[Ggix{.p^7 [m7cJj1siqM*l1U7MVxsQC3pu֫ \ɪ'۶YlsX2N>1+^8FV@~b 9u!/2:-wrgrd-iXU !1рz7/fԡ7{fMLe|GYF1OFV0H([MX$?f~nӉma|NQ<[.|3xC\)o3pv6k6ګ]M0|,_R&@j|ޖޚQ%brC(#A@EwnTCyYlk~3M#̚R]bՕ?slЈvJ{~I2@4K?dDt5U%n/Cl߉J2XԈpdВ 2٬y }sDi ;ˮrA+):Roݥ Mu-) U~m-:AmE B) e:5B"o}_e3Q)ڴAEk=kFJ8-ZO/oNoo>ê;45&!0W=͞ǷΠgX,l\t8sl5ty;ޮk~׮ 3 -S*hl`p^/-I4As1P1N: `W qzE /7ZP;M>5Tڳ~ *7Y: G#\!ә}r{6RS,f<~=>{W㞍NP3'qu  ǀ[ > :يaF S/Qިy9LO%[}վ;_G1kQNҠ7P$2YGuIn PͪzVgGgvF.5^SW& mʔvM@7>psyU2ZƟ N1y\3fq:5 CwTvlvYܐ@Co8`;}Ӟ5ötc6-1N)GH4&A%:<gߓy3x9` ,o'y2 [aRصE=2?qU_ 3Y.8zMiLW7l1ώrK/rtn72/~XSymfok@u2Ż?፞|'m;mM!?<4G`y{W{^F2guGO^݀CPRu>Ax he]mNu11ߐ*~:?uPD ,kqߊ| EغVh`#፸cR>1UL<*F^ӛI,(#̏Ȉ<՗dұɶ~T~j ?1yG3$RJIأ~ n# =BJ)pQ'EFIUhc# 5IS O&k:j%"D{=0bk]6G\Vw&Wb0Ԃ Oi@N`TV!p]4gzT^>yIDҪ4*u44zt1|_cŠc;]p^_;Ikm~:pq$Sih$[HNݝٗm ^xd9xVʼm(\3RE;XyrV/Ed7>w82^wZj ] ta{E^FA{ǘ9Tco~}}2k 4[2X,jz |uP# ml,496a?~]uiI@Cհe.+G9 ;G񝲯CE6 YOP?Eī(,B*%@iJˮS5Y!Zςbۄk?軪 z9Wӿ u(c< SDyT3҆_=p罍tgt6"x'tL-ԡ(~awF0|6\ <~=ngEz'Kv˭(QyĨ~5^t|>뱦G ,|΢첾~kqw^Poͥ~F:x<(WGb75 Whm=~qF0cu rz/Xvhʞ5̫1_iHmL[>)ç"ؑ ՞#Bڡܺhމ - H / 1錝؞pd  X~Tڶ|WB+{zL4_PV~Hb#"6ҿI jdD&CcNẌ́Vxinb6&FxKr\ c8Ɛ Vщv QYmrI1Eka|rC$D/B%$=zR9a<&|bC/JܻvկTȾçy1O$Y(* ,Msݾ2NCedPvb)>?OP#&](B_CQ+,7o0u0xlU:I׿DH,)-Խa,<A'Pil ŠBNOѠ|ŕhonwp?,ŵPSO$ZʴR@kSm&2| #n6Հ#cziZWB.1TlY'0eၱIe`iT0ohl#liIo7^m:VNhDA],QKUA*0GP#l׽G@/r#ާmȏwy&oIK]KF!I$ԋAui,)EX)~NV YkUUV"Mׁ J'2X*((ڲvTT b`F j˗*&li`UtUh}2W9nAYn3 ^p#X©T!d荦X{ۅJX m񯒋D~GB~d5ɘzK[+3M!0?}tٻMKe"IF H Fڝ+u&cva=pbAq34?6r`T"9>^ %Rج4p vh/pI4fVW#)aeQZ'M<FSa) xW#{(D䡕9u*>+aEg}ó"F?%,4_pk.9Pߡȿf{dK7:XVy ``KTv6So0^^ZC4$ckvmxLJlmkL=1O~;8nmE.o#v~[Gc_4y$f7~ 6jkI6t#C)T {m~+Z a܁kέFMkzi+`:Һ?}8Id;oMlbx̚l9P)l0 EuBiCc`z^okRљ7~|hwҤ <|fey[NA&cnq?vg0W,MO"mGqDPdA?@, $4U%9c|̫8R0k0ÛI"ɖ։L=8En3l-E^gf * e]QlۭS;>wf,oc= 7>-Zsd'bv$y=2KVÄ_zF˥ ]KoCJŠ+)TʿU.c;*a%Eb t>MnhD/܍Nͫz!gz%nep|3}y;xlSO9t]d`hȻq`&n3ןMvzbs'|=C?iob63Ɍ>2UCmW|+j{[&ݑo_{o޽ڨE_otcdKԷ|_p{M) 7=WGO l vcpXGBMeTfQ)r$JDb)7u^T2n:N!tmTR}rG XFd<䤔 2۬d @s C/I&rwWT^UB.E'h0<<@d֩HT߭hĝѓR (E*)J$UIfd@ Q(>ػ091^W4)n]RoWqj pdKӠLÛ)5bΧZ|::R: ŬDaH&zN "8{TKLu¨W"Ʌz#03[\ 7,/h$A6/QA,W\05IwdYׅ,e6"%s@O@=!ES=nbQG=2=QHz&r])[Q%n0jwQZJRίY|oQcɫm  q  &J7Ļoi񸆟A!WBwj@?#x17nh?dqJ" n.r%sj䓨X@$9zO÷~iu>1*ELp\V(7jr\K+d5IC%XIdeB =x'7߀^CZqDR:#m|F`Qx}G980u 9nLD ժ~9|N(r\%Yb'ii}:WTXi@2 ?v?RsQ W2e8ı5 JK svUJO@u.>~2cY8), =h#g݇a7T`+9;t1,9XhB0uT-|{x$zE+ ǣ_TfMc7(C _(C"[e B`C*aKZB\+vlmjdY>A+~[ 47,CV# a~nKR as k2;#{cK型O/RHYc#l&dvlrQਕ)k/N v"Hk1X9O ׬X~~@l"FZMOgRD4$JPDq /<ܖ (2_'5AWT!5(V;ȸHVDf;t+xLH0<K\gINQibʯxd X-EeF+XGDvWRi0T& >zj:$t* @>{ݰ-FJF3[oe:.4!G< Ķ&'cu- xq}k1R k=n*`Õ-Ml>&uObmET@ $-pB 4e[6bX;rik }w\l* Zur.FHjYydz.%8_ߟ}>gW*k6Fba֤Ub@k(5=SB| \4[Ffˆ 9 GcQ4 z(TFѪ]|l*ъb-JRK3Ny4O`NBP&7qd)Q^>*`[+&JX̗9Y&S˚'e̳:Vڡat"}b*IaL&HyV1~K@Gu8CNJ/_@f}~B[^Ӛ8[\׫iuY KބC!σUaZ3Pg8 =s>^L;xh[W߫̔Rťu]#۲b(H8 S42*1`EQ d.yͻF@ԐQv(;ou( E-Rٴ6zL6:C`Q!Ɓu5X<͑_"i:!E d':̇"J1gƸC-)# r-`s;FJ2:&shi1L^a⟘=iʚŴfaT5Jd9sニ6kP%UϾ,dE ^0Q(Ajy/$Kua72[ݜ*4kOUT :a{5-DL0.UjFA= ZOuF~&`PTUiQp Ha;~dNFRV8Ua>݋mRj׎: ĬmGvb< 4s)jí0ZRhdeU9ydQ`zgZ%썙QoFN}ci䢿e <#]!a@*n c,Ƽ2&eHT #6#?2C)w ,iwMiVjօ+vrXDy!+]+Is<٦55WS֢1J>|Z6 $mCs-ۙP;,;B0O:}̀&᠞sM+ZU:fV˙!=Q!2ߔ:7TCx wHGoP0ٍzzNBjWHz`)Q!CtwO-:Q\`RoM1oyG kkW8̥XQv/^`6IS" K$hqgd{qN .y4h!.k=+9`6񄴳K*z匕[!DQVd+TQ1@"5f{TMKZfŌyX!dVA z MY@)J&pMRiT)[ȶgZgg3p.蟶,GDn2*|BpIO$=v:&Xd+:J/1JGg0λxb0=s*y$ӣpi?C e:pgMnDЦ{եi=G5ݍhAwE~yKk>~"$=<9)H&=˫`1Aie,9{H^c\DHp Cŕ?mnB^e jOelWa?\aC6P”Z@5gsN*[\B:XP79bOH];yj*χʍ@>NnAf*sҧhS߾ SH*1Ӹ#[K:_ݑ9₯?XgRG뵌 \Xn9?r&h3^.]HuX硒fnu%'shH9XG֝:ǽ#Pt"K$,MR ZQ}̃)4'5xfgdc,]RƸh8`f΅u;|nQb^'ʙ63=5?(!<%8>ug+Bn:R)>Zσ&eΦiwf[ʀf:RҽmGG:7{m ,uX+'OE+kHrY*^}3Ѓڮ1,E6(?[BT/۵`:`,^@\]JKPGSKE=?d~%ՋoK.(?*> щ9~vPâTCj4 5o8sوP?/Fz$ZU("XIP蘭!WaJ7rQ^f禎]7JS UPoVͪf{܈7ubxkl nvV;^?NY꫐ KZ<0[ ͪ((P[zBiCGoީ]Dήmp^Ms dp4Ys;?sU@g,0h+ jkjY>{wP=WjP>\%:j$yF 9g햑.EGD刼%aݙj;!zuoDIlt/OA](o2nΏ`/+4<,*n'BD1lkalOVKkm14oY?iRjjfa UޤU=Az|]jX͋?d)}>6g!4[7}"&.}F"e0LACAW|cC%΄kۂw zI`Fx߆Pա^>6s {hD47 >@3aKɎ=C|v07zmnIp ʭrY2)T.:&3:.:ry{vwO t`L `ucERVZs|Te|(YgK-^hB! 7:fRGD lE9x~-ɇ[kC'Z7~ G8:s6jAƒY&j1D닖<DSS\/.E:yBX@_aHh#eu՚z9xIs0~mvsΣfXG~]!@[^fjDkt%^2x 휍Ԇރ kt3V0:V 0t_bz3?*q~#:yFԬo-(u5oox>XSKmK?,CՀިߢLi_a&S޵]xGs/udY?9NOE.kNushDrj&.y'!]v9\A(w@C]ؘ0N)äo))3ӊ9_ й!wcݏB:w:Zݡ:sT K U4nx7۷Xi" prFtb$BQ!> S^ʛ"넮d CX*dRgf3>;9L;#!:3BU^7@mp?D7xƶv@9UjY~-ڂτݩ4l/N4 s%ApB jN1ګQǦZO6V[Ruxl%݃㧀x؟R!ݍͩ@oi>-ԋ8\2uMnc'I|mktH[/:@ak( -:xA1"sѦ")D(ά>WZlTZfgy>}=m_=UǯYjJA+qS)Ch(++b_=skYZxVXU&}o} xg=`R=%c=!qƧvz? ^-mOcx^^tE/`$%O7'`6/>S_)e-fID\^ZU'xI2q*N3 q]Ίs a=4i;$[\di-2ߔ!qrb+q?̟ywT/٥&|{<89o4881'G85 qL I;~mBQOOe gq쑂JvL$|R;A%g[GLHFϣX7p/D!Q#Gߴ ]ͬ$)BE~X9zdWQn s'FFvN-!~pN֧BG%V^nk=ک'r~In5.e 8n3ZB%=4/[j_6gPZAQ ݩ?~j-8셸#1u&?V ~+2d A-PQPt/ׯw+A(_2^ZLuH$kpt5hX-YzH_dL]r\׼: ^o%X%DNk!y-\Aidnd&b+۶!`[$ڼQ]@YAt1g.M**ku1տbQ/p^x(4, ~"7jG Z׋=4vY]AN[Yv ߽Ӡ2L= J:baX/aEwGNo,7' n,*J'z_wf'-jlFknYoI-in3 lqA 7 @RЄD7 (Jϱs~m[cl2Tۂ0{N=K?_l]ȳGb# ZEi lRsڵJlcHG ʮtU34Oa~nS SҬLAœ-h\1G5N֘`zu1VmAτ{8TK .k+(u(rpffs}R@S=7ȭ09 /XZ!_$*wh$":Ug]#[P zFgҘA ",QnRmH$<7O),m\躹kZZU1U$smɓQu}٭]ߴ|k%om!= D<>Ȥݏ#xwP;+ڡPKmNHe.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 >PKmNX^-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^?PKmNQ7V)cnfformula/__pycache__/cnf.cpython-36.pyc}[puX?\}C p5LbEi\I ӍA3άla]DU8Ic']V;vlURq'QpĕJ)?sιs +Yq~>s9sϽ=72ROcwߑ/E~2$C6Pxuf).e:S5Ky: K5K0z14JCp]\7GC;ңHưQzK2Ju鈑}M*?/KU74ih iu3+ ڪ4-oZ6uS[MOWYyV3oV,ڎa:XdZLnkW}ҕ4^oo;NkkMw̢c6 oÙ{k;jflz],kʺY&5 `[QZAAg[kـV+^VVٞ֊snm;Vm&33xY:@stMVÆ&Kt~8ԧvbqZ5[kei h< ϋů"O?rUYnݪpoXMݳ?lczHT =,«i}n׾*#|;\i%Vl< {CrtWj_iXzLiIP yI5 ȼ%/e{KZ"ߜ7sf8` E3yhw8`ߒq##!;jb6Ƈcq833gkƓpgx# {,; SÐ\q.glrQ\? J2(Zܬf t5mnpMYU!f2aVˮy$_|LCUtBY56!!tmZ@ݚ+:GvgLJjk37"Ywk[ԄJPH7h eF5_b:hi.~^8]b5 sk#?cX` Wb t?TڠVvS9g\F<tN#uޚz\fv:4t ^W,Ws 29uTpŪ MlQ6Q<)KGegIxwmQN:B?|V9 2%r.ArP}T{ZVZ `ŊA e|.n L]ȼ0r W7drNqETG/xqlV(NbZw-ž+ b?y8yݢ'S"k$K3a&)i<%JdR^9Cx KzC2Ɔ8, bT5,)+M"`Dv$DC8ޖVeUW6Lo|}ҫ믽\^z3T PKN)p iy9!߀r^^ z6 3i55395{ vrdyR Ob s#p'V/(w3 A}ŅWr=_/ѾsRu=v8F(X9vW8f_AI&^Or- \`ڋЃf7MhOV8 iFbVhhzf 9+`8Pi tV9Ukj &S3`ȷ̦jfs$\}f#9zS\3#bzNo..GZ$H[$ AQՅE%aFMv}?H_7LaY Ŋ0܏9G}CIJ;"*fbZ\P&hVzrOθ!5CAUI$78CP|? ٨^^nr3Zchu\%!s^e?K}U3)G?@<9ԯEé:Rׁ $,Y@v0DcL!N"l?7q4Y3Is8营^MhL2"{ P7>I1Mk5 |m0kfu#rU#x+@0@P#d3 aVPA6M`\mmUn\ ]T3B*ڗl)jjyڥ_e :QD[g9(a5ODD#AY5u i"DPF&wU@ VGj(]LDo5kx\ 14~XMT/v)Гq< F2ED0t.tz,^pEuqC4d!=N"yk<0.O;Tp UNGw}ΉrM4&9Ieѡ=$؄v]k,tJV$m4=T[Y*48-4g'Lޚ?`-ݹ$Km"C,}=uBvshmCOIj@[ 74±a*9 9fdh baPJ4\̂!3vbb-313a$>>ԫ=2Ѱ]ϫh(P+=bF 7"5(Х<̆YGoL`YX/ )g/[.y-'uXL[@c%9ZR<&29}\.nTs\< nyGabtnJM-#y3/KˀˇA}F$8oj_fKh*^3ߠLW/L/A}zUݯx9^dcw~ F fp{G$c+".0ۇ}a8"-[lߕORoH:v30=nzs\bvƻgoJ`R2JF7D#DP?*yaLx~0~ba nَ@cs$%ંP3~6Сq#3ŧ1Pj7&g$'vaea6~yZ ~x=Ƹ@TY3BfiXKG)*O(5{MwVm "SnFJc0[j Ob~e`o7) xnaLj+m|L~ς򠫑L ۰V-ܗî58&1ވGqI͚6ŘI1I sܴD&:Ĺvv<ێЇ"k)'jQIRGsd=3$ki>m4$1`R tiy AƼGY·hH"薋&VgtRL*R%kubTI)/#DXb"W*A34#B'"Ci oLaI.ř [M0[ DHUQUՠ30Y- PQ$Hyj(aNnۺѠta3YGu,CCSB</#ȿzֱZ}UV/o+JS캑yR,+t~.4f5Lp8?tc9/*_ ϱ31՚3۬d)}KH8c|DP/S?c6ܚ5jZI CB҅S4*g򨚑ߘ|89yL;8~buiMhU5acWmg Kn׬*EIJe=ъ8nг]?e_Fes1:VYY\b*jbJm[cqK8ͺ Ƴ|mx̰g0hK0+-s$r0JY:y4.[DXdKj`#̺LԁūِJLMaFyQ08F1ԍ!ŀo k9Y(+ 3QΖ2rl"یmge1؍>bz8n:yI՛qL` +%`$F9dDJZl^sUBӑN bm(d穨-VoP>S,bKx8 FS_/+ ȩ T.PZYnbՠRC@ku]ee?$]|h/a0<ژL8`2r>,՘̼$=t2bz$m+([,M(. 5[3w*2=bk5DC`P)ݭZ)1T}2M9EEuU;|uYl>VclfA4&.iQ_tȬ,g1Qa=X> F -^>Ҩ,:X{t>fc(*rqTgzZ ޅ ŻJ"&*"Q?§]=*7Dg!$D2_0?*tHp6  WP_x[YikgUx8V7^޹L[d:Q+Pv{5oAz-VzýRw9,; g*ё>~`uK`L+zKawޕ6oOPit$3Jǘbt4f#k"rގ<5t:=vKkߌ$(;6*QmljÈ^jeP,n0X؛"{ x1Mՠ} :7ۑgыլzlj^Dޕ[7uJa `&  NV5Ocu>)A{ęBTX/xZ7W m\,^eA D~nܥ]h5ݹ=A^>Sxvoٍ$uM!+ ޚ9&-ƭ;):U7{0 `\wL4+q_o࡮oIsCq`8t>E"dtp" +iA|ݮtFn{W7߿f;jwX(3|oд1{Fz!ᅧxuZqɽS"+VݰZd<-RHWqKAU88 œte|Gbw.^y'#!97\7( N &3qP^CgC?Bk$2R6_ʒ/cQ(Qx& 3@Jn=9ѩq~Q^JI.ȇKJ)AC,fl+Xy 3*ց2Nɐq)7[pw' y:+KXȑt_WhUxz.=y%#7K-,HG;JN< 8auT{ e'Ǵ]j= ף^"0w1p=l:xM-`t7_`XjU&/Z%GϮ_yTt#aS(sJn@גco蔢;q/"6'\8kx AÕ@aLHb#=,5VᧂHDCX,Rv,)ng/G[l/;"m5҇r,.yJSñH=&#>IŚ_jhV7n 7A$Ӊ}&ʋ/ XN-io%,*Ju `˵zjӾ~l/3 !n}YrShU`Ѿ`^qs4΀XĴY=Xk`WﯙxeyQ.Κ(j0}dFf/E2a5jbM´V"62p$ڔm)$,ndYӞAkx#>YduhܴP굓Չռgo0%+,fBZc'8. {j"?-,C>Ӵ#PqM_ Vlֳ[A"ք5@˙pЦѭqimF´3}O!6մ4O!sh5Q~4ߞZw4#蟇}\ti*~?p0`A&qZJR_%_&@6b!sȴ'`#i/(B4>mZౠQ,҅~6F-H;9*&z-h,5T^ʡ~zY9eP5='OiŽ"2{!L G{4K` Vᖛm0%i^wa,b;!5Fk6|b4vI;lɏB+8^* Dr?G&%OoOp<|:peCw-8|Y9w*ɝq\ J^b,ډ}'f&2[/zrWa{Eޡ'4`<8NM1NNIn4sL/߂BCnm ^OeӒ'%YWL:Sܟ_9p:=y>zRotV7Ug{wb́aP)PO6@fW`U vTn,BlGc`RKjS쮋DmsJ|L:*S-(.OPq!;zOH\K-m8`vHE2FςAkǟ8 ~*=_qUM<]I=06D/e֩8i&f>p@)|w`j)bGɑP*?%4W^8 G$['dnT:`yp!x~+ NXJj I:j7wu%U>t%_@:mg7X9_H A~oŞ<vp>D.#R=1 }6u{.u{6uOSqA}*.޽m¸e"/wQUKa jn2Ijxpylv9]>;@̷̗[P`f_{,7QB*N(v 3a@3]*xj$SZp:.=R(n&{&yvJ|L7r**%)3^_רϽxo牖P@äxZGm5WL#{>ώ0bq(˝#Ȳ}JOx{_CL۸3E;imo}ufClH*@gALZ&CK{;Vm׬4u;1 P̈9ڑCr Gq:O) 4ihr~Hߟre5?vXeߓI_m,mAu7@"r:UNiO&ReVtyؼgofJ=\WǺadəT_Qz ; ҒlHK-, u)"%#cd߂N]1rF-iiHKp;f{5qc81ƍG!>9x1 tv,kXMڊם^\迁'N( g;#oT߿7y끹%d-}˼SOb=`|e RPL*v3•lx,U_*ϯ tU,x=DCF]y6*~8BQ:7ƐuowJ/zt3;2 QBp/˟(BkC{[ޣdgrzn;/usp6͟M+ /_G(>_s P/(w/($Br_ol3$"VL&NƜ>)/ ^L㪊ţ&r|r XmPVWَ:˱O%rEq)c/c'0 E,\vR# ĠPb"2#D[Rr|Eq`X?W1DvXf]{ m鎋VP vEd⼍~jn+~q! _|-Bk!gЖ( "geoؼ:x<"3;-){XڱZΖW}cګ{ݗ JeR8>ݻ$?*?eTSGL*EeT [ølo?۹RWjWc$X|"'A9|OxuЃU+s#5IDRE}IoC(8cp&=-cR펀 >bL+cRl? ӗ۩]&(w2R|xHᯜq&A9K$O'3gľc03#B0L}{"υDuAa~9BֹtvyM]o'v-8KS4Dy[}ƣ!9zS[)/?d/6 Pv"`S)7how4JGBJ/V* p?x^Tpޑ?WpJрK#OM٠h_f2᜿/q{vS4-iCKj$'~A΀xY)S0 *ÿ[ ֌k6rǗy|#<<x|yǗ2\b/[߄'G%6b6 /?5VLV~B0lynlh8}Y1!?)t,"9K,{ +8[}0,xqTƭi rΚW2r8}o-z1 ~WF1>x9&Nq4}Kt^gΞ8=G'rW1{% b LyzzO6f˃>-s- c*pg#",цctzw97ѺO +Aܲ6E(* ~Zf#17i)]gn6k2{ >b+ct\|O:d Kωfq9;>тWѬqa}W64o6~*f03`醍 n9)\DÀ0~Jʊ/Jt(gq㷣'RD|H9*RÖOt| >%]tH|j&ȉ0u+`ly7 q~/=:Lj:7b 荛w\OW"=j]so~Ҧ.j+ɀc>S2g{aEA_YK=, ':Wί#oɠ5PF:dɷ}<Ӡ_u+GxHb~%.KB0K>eq"(ۅrfa*^bY]Í8~ &)B*+'O |qxibiBKJϔgJOؿOK$DA-T,%pu5ٮMu'G~ J%HZ#e3WG쏀)`i@NRqFĿM],rwئGm[[Ӗ  PKmN*A4,cnfformula/__pycache__/cnfgen.cpython-36.pycYoy/I,ɒY$zEij:ލw3rsZE!oy P+ 4(O!FRl[3Vۿ74g빁Hlz{U}h{dn3p#YI_e=7/Yږ>o{Ҭ֜7 ;6%ڕ Xt8Ь, 6!ĜaqaW$c^s^0ud=kW!p,|_1$UPae`,8$%N3֦l1y>$|_Wchsk+YH 0IqL޶UV~/ZP;-d/DY>w|a7Aㇶ'2;{_1pvĸ*XK.oAFNXj)mb7+d׬ |_mVU<-G 8bx7 <3ۣ3v=Z1Ŋߑ=NǻG2rEOGB\-jx2oL=^F=E.G|ŧk3t2?)>4_xU:g~^ "/EDs|Z3'hMo`OZE7E3Ev`Ɖ9|m{UӬ8ɼZ uɔjXt#+jm:ɤ#9"`z[5H](~)l2X`^dKB2v Ř0#N4:x;gnI zJ$6{SX\M.Ŏ(U=KO\F*Ơ+m!܆2bS$Z}Rdӵ΅R'䑥B*v~XiN4ëRUΧ0-&m 9ߦ`L2AA/d1Jv@Q*D-kd)hom/;{-]\~ENǏHVguU\ Jޏ~X᭫Nv!!j\ZќXNf&'KsO9} F*QF729ܘz9d@x OD$t~ݴkNX"Kcm2cSPrH&Z |xB: ሄ&Eqal?CI< (#PD&ru>G*9J,0/1X"kjP${jծ@ ~hzWտиs!toQ|t(Gr& $1ԧ1+`՘>>*>ψWS )~c*zi;dz NQFZoGVW! ef—-*[J+cVb(J+_/O= =ZgH+2CSm+ak'2\?<61C|JVW,ȡ!Cþ@PhT…{ō>a C B둉*4 ɑ#C#6?]O1UZyʠ9sPTS5.E06^avSj858q:0sHݪGaT<uI0S+S|e~C#4|oRpn.\=gOaFEp~"7 OIu`&i %{_S?O;sZw,8`<'j 34n߽ 5YӺ'Ά;۝ O@l8up=0wd}~iL9ZN\៨~ YHC;4 L Ÿ@ߟk%PꟄhfoAAN L8}`tg;CZUS .n[o ]Ե\9u g' iЀmM~9K:BΒ\__c8?ˊEZ3;w?X 'kzxb@\8W/ur芲B 8IpZADk_\ҠWDvP9q Cm7iPb Q7P>ꑄK!RQI`c7NIh{bz:xY\MϸzRUz#1P˸5qe9(˲<'U]`o9ܲ+ېL1YT|^0U"UES_"$6Ll¡>0ͪϨOe$ {Y,RBVXCBnDz~PMo-ՙ< n tt0ɣLrC0.*%&܊g76Iբu. {*>pY`/qG#gź351" ?X?H@w˗%Sˠ6{&}YlD6])?81YD4\Tt>h*;aҿ>%mO.mc3]U!5|7B%ڎu-LQܱ 7 H`4ٮVs}-# ]STә1zg&?~Id >sӧ_>bbOdC~ÅU]òTܪ[m >AV;ݹA sUG `{~9j mTdpm[mtF.Ħ3 rp"A{ [kEiK=+ٰ=os=xe #Z]QGNLj 4 _}r=~b_^4qVJI!>]zbwU|=bg[Q9(OW+C ,?Eܑ(MGa\eS'aգ*vHd#K!TMB#BcGM'ΨKf=xQw.Rw4Jʶ^9\d}m{mx\Ɣc"ŊEj).3ťcz/e霑N!bMt3;ig̜x,e6xLcǣa)c gMuϨhbLtN72ưb,EF;/ed-*6zq2%l%lVcEg~ɚKr,@>AVH\)udtg3Ʋk|*7k\N_PKmNDz+n,cnfformula/__pycache__/graphs.cpython-36.pyc}{\y}̝j\Պ8rHeyMzФ+YE5{wݙ{rw8#'^ZB#@RF`iѤEaA۴E`$FS8!u_?~w},ENj5qޯ=w>3:j&mEJQ?;0T1,ò,Lga62zUeE6WtqgV 5oW56U=ĦU72l3w5*yդ{jܧ?l+|-Z}t[V(׏\-nbVU岲 _ % a@9<;Ĵ 9(i?q1Cle>g9?3 7_aZؓ)\VVOӐ;1yq vϳ1+ {= Ϗ96Ol=> p}> 1OJN+AQ jo-xΊkpg}^n(րt5nqr̰Ԯ5) XuQ Kﲲ-" u9LZ7y-psW:~ebV|O^ro^up, s =~$?T 8S "j÷*wpcַӬ06j~+FVfYT0 ͒е5,5uWӔd%P`ΉKnj.)^ڂIpFmCC%5P*|ʣG'i/1hxQڛ6_xݕUoYNq*/CgUViFC.м}Vο^ \kqg0Hԙg5Pjz zC̸Jѕ#+ @糝G/~@[zUn-[0֖ (:lz ]tfmrlwp|G시xI(h40rB 9'-] jլ!_!Umk?/ԛ!3LgJԮrjyv>ײ|o37q߀6*W XPe3״*7}R߿ j^@ i9f\W=$ XQknyZ*-g]-k0:9-Ӵ;| pS_^q[smX+k4[YV`W[Vz p!zJ+Zwfj_uZq]L!LW[]sY:gyV/vbC$ۯ8b]R[MToւUh9MlpWmݭ֖˜m*wVU>ޭh/j2F {cu5;WMVHǏqj>#c)^B*&]T(o m "DqZJybZc bċZFR" "wՄNuˍ%Ķ.Uuˢ 1iZ9J\ԠՀpI>B]Z7W kH@TZT,Hl ƒfe{TL+av@ \ U >Z\ "`-RQߪsCL#vYr;.eqq@bNe7qX_*Ds˱F X}JU'`MabA-a9.t1yҲymǏcT_B6ΈIt>qꯠڶttPTSʴPT*{ RțmhLB 3_,BV>±O$?zo(|ѪM. ;m8]xUuT :][hyǨ04JGIx1#q0bC@bY+ bRy@WZ,HsjXȔd7k%?CS}K("Cz4QG MC`F0QL<E*}TD>Z)q44JXd?38&ZOe[$tU +`)qWuNrRICS-C&43 EY&W)U+"'dꪱ"("  RCXF*":t7g@6T/ e{ I}ܟk\ +$u$(H.% h<$E )FοϟK^!|5O]Dʟ@䱙uz`+np82jHE&Pg"9j,_&O}8h%^^ٿ@)s\t\3&m~t&הd7m͟B u 8'Akhn+:p5?A-x'6ŨzM`ǒF|iVX bS9Yl=DXRL2k%$ŠjVOP4 Y4Tޣo yO 3BaR5mNIy/EyA5t{)l89`Jb>2.t @, 0CE:F Œ-҂upѮAt2^vu |YŚP Ί:4X6C:ݚ|օQpgxe/*eś4@[b c(,$< U[) s h"wPs ޫ-YYo]jRc?IMGf9z:U9TȪ[upQ"tHrN?Fݠt'2'D<{d$a5(`"Lhr{%JAS!PVWV&ZuPBGs~]EߏTa$M~م]_Ăm; "J{ ,0}-AB 4t,~^L=lPN!?U*Y3{҄䗐2'pxM{=#_f^kR`隅 Xf)wU?̚9Nyts2巺ùTRM ;* tf}6j.l?욂A ˳yS\nn M%?twѵŦ`'Z.c'CeZYQ? w-z3j}3fa c2eHw$)iSk{yH32P\^6~㲲9C)&zy> YX,Cld_ ?=)ĥ9!$a]R;c.nAͨN.ydvIrƁN8m{mJYa~E QMO6"b2R) U$)^A>J87;ǰ#P}L՝hh2})g@BJǃpܭ{v}6LYS. ҦT1Bð Ds#ŃqLT둨VuQȏ4uvi m$󯊠/vT9l ( An*YM0ܻR>"[+T? ?Ɨ'aB'g~/=\^8c>)Jad`@aBv 0C Ѝ2[48BS011/*R*)Ñ}9fbPs\zABfMh0K뇣+.%WH8y$RM=?] iidOi!lR=18ƻnA:@?NK6@Z U+R)ԶXU** T%zӺZ%AC_ ,l/21]4Iige|AUϣc$]q-g= $<Y!%yK#(tjB0pKWt.h=0ߌ,Y QW2 X6mnB6m3ⶡ2: E!^z`h}_%y^ȱCu}7>1a8kX3d?OE1yJX2y@lg{Yp V7^x:^ 翉3x!r#_ B}҄Ë1J? M!B ! }Ja~t`& /YoTb|-x 䌎FF`U =@n+hJ%l}']o+sfp`L~fj=2eѧcKH2$uF|ݼG {@G_NIAd}5 r,W7yBi䐡y2ozDFt-R-ۺpXVLj0@r@AoPۍ{8פ,6Go*w7NRR wmwBD}W|.RE{+)\'$;A%:qdI{$K'3Y= &lw!Ɇ%ڕ,{${ ƶK`/H.K䱀{{zv}c4'AH$#Q6+T( ~Gf@NV4)13EpDArxi$![A plw ͮ.,x{RX*ov,QPB3r.i.$;{r a.TweM:QPDItP}O[HpD t^ӻ0QU~8st~bPYF}V1㬦P6HG/p>@F% O1q|߷}1|Y%'U>IMwaЁ%~tzU ;RB EkITӁgNGF vFjEF 'V>'l>~db0k\ gTp]^Co\.s57`*oslٴN?aGU:Tm1!G۾NX ~9ZRɁ4DtC *IǦGRaa4k1c:Z 05+4ꭚǯ` ㅬqꛤ>hܣNܓpQT&)cFC5jf3A O̠rcVVIY9k݌n+/ lkˑR 9eyNZs00@\b jrmLtdR.Û|Q$DFNK]u@sb Z! z$Bc{ j:uaVYV3oZE>;| /(; H{:ɡ^p#d0AZz]".=(uFM3VdQUd| P3L'| ZezXLΕ\ZB$9XP }=rĒefu;b x &j9 o\#ؑfhʔ GL.6hzS]Pf ݴ?h2^7`.qh[f*  =zX^.SZXW3,.^\,C+ o ˃d*qOS=sp0-.tsX"Y)hP.+2ȩM!a-&2 F&/&n&Їv-]}ypڌlPᮻsww#K9^ <0D'N8W:ax0%gբITNI@r1W.>~_`k :ESb&AAo{qpNknsp&Ns{MbB{~HcϱuoӋ}'ʝVo/I^H0+ %9Q6iEC bw'' [B;>r xgTCP}~ Q<ܥPE+M'dƁMNߔ:i˹HXB ©fv߼I c- $0(z%! $&(gHC^7'#/f(.GqP6 w? qÀ:eVeB}ywoTa/3從F]PH"" Mhjm-44 [^_\XNGtB2Eqp)vG@9 P4Wir(BͽQ9 <~yfq\.GTJͅlGڧjק_e ݄yl=B1r \T7P5KDu@ CYbl$yJh$OY4 # sdIlC}b"%\t'(ޗP0 uz>>hޮծۅr籁yOd!;b9{[;m$CPdC/𒰙tUa4:@sz?6.>#ߙ?:&G4>|H> 6 B}By>Q^098B|]^gP@Qyc*- 5![),~1b,?"b?WLr'N͐ʆRydu ?1NHGgQpDb vaV(Et;Kt;ӉNh,Sw*z梠I<8#DW{Ikĥ%hNCǧ=&i2llJvOWm}|amJ}۽S]]%@Oƍʭa4l!' \B$ =+n4%^mۄr> =o2GX[FzȽ_~O.ǟ 1X ݀w C߁@U5uma㇧^{v9+@; HOwU}ye?֭"uDn#Zw ^TtnbW՞U`[ֲGMВxs8+79h8I__~M{ݩq\~=4sGun1iL(b{@h:2isT &AV>-&Ɂ̿2 T$ӃځT >|sEkIA6?}}J h^߆č[ M}v)x%'ڻY OG\)L*c%mDmPαjC:~nGť#.i Cj:H_ͤ+BN($s_t[?bŞh:o-EٌHx;Oԇ⦒vMA)[i-ˉ Ɠ>C"E1cռ҈ߌ  ZӨ gЄ(dѾ!\7=Kxfi N[f_x 6g&2ZQ/^&&@_@/҉I<$Yͳ(#aRajNQП28Ąc|-0KACu-rU4UEn.>=8ªG} chGd Bоyb{#U Oi-qݴL:@FD7Dz4i4V| s̛coWLsU62Y-PKmNH:Z-cnfformula/__pycache__/prjdata.cpython-36.pycMN0ǝ4 lY-cnC TV!@H,!͘(#Amވ7Yz-8a7mf3}4K7c=0쀋]hs!!h:e?= >{tLX^9x2+S$BV[7T)j/]aV$< cUnpWpN*rw26rTQ̵.Կ(jrr8=F$\˙=6j[B'kӌ}`*\BK=Ҭ_kf;7diҒIT6[>Q*AoBVBbQ,%O4,Y&Ly]#ƜZ=UPKLG}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/PKmNxs:=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~NPKmNCH7cnfformula/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<4h7PKmNEd>)?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̺VcPKmN[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 PKmN5k77cnfformula/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fPKmNIGkwG5cnfformula/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_PKmNodCI'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.sMPKmN* @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(^PKmNگ'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!PKmNc3  =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`7PKmNf-\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 ^YoPKmN_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 hPeSPKmNa 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胦\PKmNVey <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轶ɿPKmNHdU22cnfformula/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"!"Ccnfformula/families/pigeonhole.pyPKN!?Kcnfformula/families/ramsey.pyPKNë\ %Qcnfformula/families/randomformulas.pyPKLJ  4Xcnfformula/families/simple.pyPKN~- *y[cnfformula/families/subgraph.pyPKNJw|gB(ecnfformula/families/subsetcardinality.pyPKNNJa .lcnfformula/families/tseitin.pyPKmN#F~`7&qcnfformula/families/__pycache__/__init__.cpython-36.pycPKmNxs:=scnfformula/families/__pycache__/cliquecoloring.cpython-36.pycPKmN9ru 7p|cnfformula/families/__pycache__/coloring.cpython-36.pycPKmNCH7:cnfformula/families/__pycache__/counting.cpython-36.pycPKmN>3 W<bcnfformula/families/__pycache__/dominatingset.cpython-36.pycPKmNEd>)?bcnfformula/families/__pycache__/graphisomorphism.cpython-36.pycPKmN[4 P7cnfformula/families/__pycache__/ordering.cpython-36.pycPKmN5k77cnfformula/families/__pycache__/pebbling.cpython-36.pycPKmN\y K!9Fcnfformula/families/__pycache__/pigeonhole.cpython-36.pycPKmNIGkwG5Gcnfformula/families/__pycache__/ramsey.cpython-36.pycPKmNl :=cnfformula/families/__pycache__/randomformulas.cpython-36.pycPKmN(ae]5cnfformula/families/__pycache__/simple.cpython-36.pycPKmNodCI'7cnfformula/families/__pycache__/subgraph.cpython-36.pycPKmN* @cnfformula/families/__pycache__/subsetcardinality.cpython-36.pycPKmNگ'u76&cnfformula/families/__pycache__/tseitin.cpython-36.pycPKL Th& cnfformula/transformations/__init__.pyPKNC/Z %] cnfformula/transformations/shuffle.pyPKN~(U+ cnfformula/transformations/substitutions.pyPKmN 31*t>cnfformula/transformations/__pycache__/__init__.cpython-36.pycPKmNc3  ="cnfformula/transformations/__pycache__/shuffle.cpython-36.pycPKmN