PK]Hq#Gcnfformula/__init__.pyTn0 +8⠁rӀz Eh[,6d;qҴD=V?wۣ2[4ПBcMUvP`qpAY3#_fxJFgpe 9G'䷹t5ߓ O4xb3<&D.TSZ?,4Ci%:?;+M[["2KNdցQ0EIz~(xSI{ZCrS~H,mY~^m=&Y$S{j_bpXK0.&#nccR pP؛--[Q/i>pCK1+|4 spSSV*p f# 1ff\_AUA7g)wS=8+x|l#ϛA<@ IQ#c6]<+\2pΆ^E54 Y$b\Z.r>t=`=azkO<A7nڐ?iq`t@;{[rkC vt's󁘶O_pբ}=xڍڇg=`ZS#^X5VZH3UFغ1;{+S5~iJ4WwoV͋E`j9[[] lĮ I%^K,]3e>֕L8a'Wi۩] Z^IaUBz'UtY;3! EIƴMy= !RNn[ 'C;FyڨKŞʴ5~1C 1cz(vo^L\<(Ⱥߪ}*膸nBPɏXQxPK]H2,ĩOcnfformula/cmdline.pyks;Ņ $t4g;M;# Il&{wIJ Qݾn{ԓ/K',48zQpB-v7m7pgKKm9>qnr@Oo{B`%KI2bMyT}df:qX"w"@8 e¡&%6\L*}ƞwR`svꞞȃ30i*~6̭>u6,*Xe-$jY6[g{Qy* :-{.%@?HÜg=\L&˥E`wsVd)t)ʕr]Sgfœ`$/>_y|!2z|([^~NL&_a&,?Q B#GФ=t1I-VNћN06_< #ˊB.hJH: }~N A * D''/@Qpk\6̀iW=n(b^YBcր'E&IA7r bTcc0y L,Pz\E%%N"KWl 2.:MSQDsɻC7@If}|~bHrrw|Bm8+t n5=6L4Ē'YsR9o li 1b:e=PsCo"0LҩذC<@{B^5^-@b.-X)<ɷIV +NB>]aQ)H\T_8:AuCCRBc uÙe>>סDyZ&0:xA IrSsCJ֫  o97>gZ2KD2fÈ7z> Βv)R&HgJ<4E җ?*ݐFJ5.s%pJ^llj5;:"6g( K727 ,9'6P7|A2*泣2.IR(.Ayz2ÓC0i*5$R\f)*ؑё,f 'G; 7ҖcjLJ4p鐭!GuA"/0}{,(o8،h ެƵ_TK vVa[8V,״Q[ ]l< *FVa`{`=KH'YMCyai?o3xn@Y_7ovr@ڦ7qU՞M%}s F!D.y4658TNL+^A:Q}H^ z jeEkNu,6u;j^%3S gZ§ο5}}qfC?|łᶃ 6;ʓkW6,ShᖹEa H6JdסN>銟dF BJrujPOW6L(鸬^UIuriGux AAxp\I*_J_wu^/'lLv&u-]6I* 3&+[Gt˥OS*Kh(tU9}#V.aA@D'jwKoPWa[%atb Ѫ~@S=?kReUc7': ؁;rݘ mxnJjTp8}rx" km6X_5ZfWڃ+pgц} 85&ɪcHhLW|ך%PdɫZF}=]BufPqXn% qEsvoqѮ%27=QOe 8H]%b%h4Xaw*5jfl[Y~(>0Vl_*K8"|c6Ü.eG삽l ^)6)}UFɹlE^RQ}X:mW*09V6r}=yqiQT]wlۨYeQs}b~\uGNfQSJpj:E>zv<,=m;5>H ^Rbэ++Nm45#FWY.zGCMԍY5̌i.Bffe iYӄ=eAUkkL0gRz$i0FF~F `M&{#(!(>MP #D[Xh=T3 M$! \^#O(jGM1*z$ ߄(Dө{~bKbG7"6sagޓ-+?yǭmo;vc9[xnb?ieҏZ,md}mZ8Wv4}>.ME=woBeQrsuYN?ݍb?QBw_ڢ}+yQ2n"ҢFx$rrgl>=7y6<7A#>qOs@?Nݓ~B3V!ڝB$I {(A]6bw=x[nY% x"х1ޑ)HqF#]XdkC3X=Bp ,H:뵃@Z͸ڇqj|m {D~Y`;4˻Wqٙ`́ߞV>i џ"gkȎ#'1>磗wUW>W^6׸{kN5*TUCr)'_Q-~9l rs4}Ətuu؀ 'RBgT_Yc2{]דocϘFK^e#k]zPXUW\qu!M$` Bc1E#硈كU ȯӘiӰz\ hwMHGv$˘&%YsRBIf:,eҸ '׶wƐ<&~H>FPKH8-tKcnfformula/cmdline.pyc\]lu3\+RH%Y˒E?eY$NJGrdNVÝ吻3YQI$ET}(ZEC^E E (%h{,c3Iis89{;*x|p^C!}]"CWe5ES,@$%\,~H,X}YEgD,ΨX%)DTc.sx|Goxߝp wJӢEJ9.\=,>&,<)9K=yJ4I6EtUbT,Qo6Db2)K XJ!mZmFCWZ @a'a�\""'@ҤEXh٬5B$vNaz%)끊:Ю㒍@f]1ScΦ^Fzֆn[N/ i ޴$Y5bQ%B &&x7vuT^cXH`1)qO2~1QGK}N/NȘ?&Iŗg3nFkSZ׋EJjnxjcA8XbNQ4r,+\YNv ArdacBM\K_mrfi=[l͵['nl6́\tgEX͂ߧ晣v]+~tAF@bnIђ˦iV.l9 jFaGީůO5˾QWi63pQ+ԃM5Vnbgިf&]FAA/$'1b颱Ղ\ LYA\od t&.f/{ ;ƏI&?kts+w'}` ^/ jK,}4⥋KaV FEkM{_D+܄FJY*agu;ݣKm/nG٦iLh煳ۚY!7}Br9I4$Xf^ϧZ|lmCl놈.BLT>ɻ; 7tl(}PKk dRzk+G,qU PQƣ2 D9&,'q;V' qrKcƘ8b˅Yiꊮ݀fӍG )ioqVwXdVR  ?Q:-6@\f Go2^h1]ZLsn]gzg^79;=M#dc}|tJɅ7m)O%i#7 (c1eT9l0d:hq^zYħwc%U/m~\,k.Je57X\?atP9'>.ރe!26AK<Ű6&#I_;HF2H $`L$p2!Ad+L/ C' 9|ENfW("9Qfؤ/C/;Βu35x`3A5']7`´^}0`h =-\66h3#߶tax)*7c^q#?blMІ8\myvou2 Ry2)S])x8Nq+M`%cd\> 4nübFC F4bDGD1bT-DeSRz' ?b6F‘^sUkآmU¾V)YƨSe!^b3}eѝ䝖L3OΊ2_cyIXQKQ#O&?Lnɟ#?#A~)Y&<eBT.2o- {^7rig#%s}3|n_|Ž/H䟗!NBq:1 We*Y˛X+槍SKه]BXף#FeD ж+q|Od(ƽftŒy )8 EEQDq5=oZ"|]! d$~xDKBE:^lyzӐ^g/A7j{as!)nMZ`p8t!6Oskd-xY Cq=d?@-RB*F:l&-؟NYp:i+r5`CT}5X)oAtiԜ2$U6OåcIˮq2Ka9 A7x/N;D)(ڎb D4C!,$SDGF* *)R %p?TKC,fb~GTX *Z{Zp H. 7ǣ>WGw8+} o |80Z[<#[hptlz4xwsבvP<98\gWpb_sI4,2Cnu}?$11gp]oɘ(QǍ*T7eLGƜ,=?AcL>чʳrtڱS{Q3R%cNu`}s:vAM>I>Ip8\(厅 e^:58Nb5>ǶXDc!e݀JFA% Lz2Ot]cSO=*D^jf!2C9_gst?jh#)ů>Gz5ȌxPJ;ޏqpW!}8γF\_ \֓r~'NNP;8,SBA">-J)//GgFK(I(vF'<χ<: nN'Ha09{3"$.pO䁱 RwlO;ԉ~vT }}@]}:P_,춋z9[ #`xw!|cSy1\:e !R0t _c#pzjH|SB Ndw9*i.y y51אC!WhYq*FvpjC2WRU, []h wq~O5kÐx6ikQA>ο~#;K!3@wX*!u^,fc9>dyԖA#EMUD& `2djZKUO0M5b@%l*gM<Q#Rg(U={U~yӼ:&~gIcu\B1iS1S9zytztdvbvi{PK]Hhh* ~cnfformula/cnf.py=o7`,5lwZQ֫~fKrWNry%|sH|qR,OD|MJ⣗uotUo:tpş~~C?< LBξZ>%dhUi~yr U9g'{u YdɚM&(31ओԅqP*,DV$IWPA-ñ.I hIJXLѯ :gjh2 ^Fd'a=L Hǧĭdv:O&d=b!eM&+GNoK\@⟲$M'ͣ_% #5 v"8cq X` ,skVЂD,<YC# gw8cbI9>|Nl-@ b|v}Oi@Mry(AJ^0)BIWǧV$ஐŽ&!>j>"Nȑa6EõsZHO$ @yU,-3]yd>zFf<" W؝IY`p"I1dI*!Ex@YJP*N.\@{5 zI l@0MFTf$6]j5m!# 9g \D&8L5" 8ӗЗׯ_`8bà wٍFڲqnjBz͂[[T)ayJ삝ѷ;csv*?a"." A7|'NQn/rq h՜0| j@'*E3+dsVD)`( YmJtkvU tm0͸Q@P@ )YNIRTlHXHa_WzQ ]03R+^'d6Jy'g1x@9X WP$ÁT0єJQ驿?Hlk.FLk;%L3EkOE1KE-@Jx6˭ضPSE wV]pXR-jiO6"ራA4n1NqVؔNOrڳ$X7RˋaN{zRѬ 1 R5&ͳJ7谯k(]Wu3 *Ш+l^YDY]AUdN\3;z]=-`D@K^[98 (fpsi.#y`S6ʴV0x04ͩ1 hg?VRZ~Jdz'< @E?¦HLIemey_zqfu2?3\a f`<{!D:cb.W܉D\(. Bi>#*Y[#^Ǡ/aJ4(diU23H2DOĆDFKLJH(ZQabp'Sl}VԜyx|~hٮXa\\Ruk)!vڷr͞lu\cru tIdyl`+uU]|; Zn~JȲMɎ[;랏Ywv>d2SڭڛÏ睫|&tNu 3~.R|Q!߽8rd7>g4Esv@oKdW_ 2B9EGқ:'ԑt :ڕ \Yk߀Q4zծ)C-дXBNz>(RhҠ)Zs[6~H%=Vlh*h W$!Tym*>O_F7b (tMZ76UЫ=cSwʟdb{& &.J mI恘qX:1: PNHEr_i,KFiE,B#\sJwwHttPnpnᦅ ѴU&71 1aߊ (xL4})20V|p#R{5Å!HCa6L%6!=-L;{Hiqi?<[F٣þw҈i"[*lUp Z1uώsfTcWԜ)iPɀNТ4!|11كmyY$FC ؛ar!(EU&JGvwi' ɽ"UEDFGL܇r>-zTJjJx;k|( .=+@È~٩|@ٺJw1SgBQ?[LrYsI\9#"j0` Ng$0oX!_k(ze,9ų|wP 6bq/(@ QMu2ӣp*ջ_XVANIA}ׂaUĸv wD%1 2S/<֕EXiHSQ~I4vs.9~Ţ$aƸOHCDtZV nO4ˆfQh?ӿ㮡VHTWjRˑ)B* QsI!*>kvП">Q4Xwf@yDygOutLtYG=@>(:{G\.[pc6+bQJB>X!JVً2MEQȘ(:? loex#t X2 ׄe:$SWЦ.."?^:soWcQ) U,*rȖcy;:]ªl㺭XP rߡ0C ҂_ v\{G-۰G*`e${qvpr!KlW KQOpA>Oެ."/i[a#C +P=qjǬQ j0.E ZQWY6G>h,/V9Ē[W9~YpǤR_yAf?;&6h`ю:UVZT$>{Fk/6ds:+fF*nБ%ԭH5:k6f!7jB,-:fk?0;9{ױJh՝e4syNagGD"EBA[Pim]O=$%mYaƚQCN);F9֥lzC%ծUJ$4N ޫVY.}EKGaޕrǔVXi_roYM]03AF҉ k⥩u*?Lrׅxq!x@V$=a$Fr*5-N*hF\9S |3.iSqz))G i6)Sko_~~k/ru'?( _s^Dᬟd˓jͳHQys<+ݯv*~&mԎHBL:5˲jUR &R^>'3nk^ 5Wn]"A%MVuj8N]{ dS%gb8\0 fU>2$7^~jfX~M{q+v&nuF1*"ۭ^!N?C;>("@erl?>9wٺcTѣ{ E؅xB=Q`o1ߗL} M7κzv!kV$# Z;r}ڥji#xcVweM9Aq@Ǣ!QW6Pm>]f<#./P.,S@<^|Ynt)|/T1=*Sֿ1M< t .̒)1`zX'RKD;)>np,VIJ,6ᴷe`00x[7.%ib h|)mhL.0u#$eXIfe D=n`, BWVްIlыקlk2D@'GDy361#ܽh\kK ?膴i֤U'Be+|i#9nOʋNW:afӪ?HQ!<@"ovqǰr.Qc?/*jRp2k$俕yCؾS6LO:,* ;PMc)' =D&-7c'zDհ &IՐ㓗PO1Ye*\]Nם5j6l5#£p'ĔiAs %;$ kcX~.O=Є X2 JZO;(,s_F!y] Jtc#T){ I΋0_X#,XUyސS=){nH /eea<2IFITƫ3OtJuq⾳*E'Q]a]ml+A2"0gI݋$i'ްy=yJ C2 U@ y\OV5ReB`{1nIQ/NMF$U^qvHO~W4JY$ V&N˨ Qn"uw[ !UMNiRy/,8˷UBL_^JUf%pp6n A]NQxk3lt!ux'E=}E=Vt&= DY=(-g.٫ rl pkПј˰1mIɠ(}mP*wɭl+bfHH=%ñr$ J!'S,QJP͉ŚZXfC֋^#~pQp1PtSo#Ã_w 4Vov##x-Q0R `q/P_:&$+:l}qe %e΅ۀe|\MUj?cLb3.Ҡ*#p[Q~E'a^^dJt ELGkQ%HY=̽CHZ--3wHvXꪯcR}k'uX]oAYTrWgEFxgQCJ1; I?Am1;`yE6L@cq8B/f|: Qݮhm~{z==s>g1s\O`j*J]njW*4.4Yk{;G6wu3q4Kz˨F3.𯍼a]8ΝGg/%_XƷ-6sZT^覾kh ܎}TKZJǖ=`ɱk6|?nT]|~au(p""h|&cϗaL"c\PP{;D:G 3|50!\D@U+;4Ab&[S{ h1De9c ݜϫA^k@v񧐘K`MZ8$at0MU:MY;C/[ 6>:]g>#.> PKH!V,(cnfformula/cnf.pyc}[WvحyChH!i+j)49W$DMH;PKlwMwuOTW593洜ݑ0G>aHG>#pH>8@0csιUFx)Vݺֹ=2?OsOO~cn=Ś9Ycs<3zeG(Xg=1g )Ex>O2'zBǧYIւEc)<_b4kN/, k³yn^fI9ǚSts5_ 9M7Y ݼšgU|n^cslt=kroݞgtOQxᝠ^o~l~[vu"N-~K,s/a ʪûN{߽u{!Ⱦ|Fm8^cM)ܖ=5Eṿ{Q%zNc J0:VםF\k.W6V&0:+?vb^=͗@EC_v ]ѿ(~ _*sիm7^bUX v+Xt?%5 |Q>N倍F, &X`6^oڱ,7< R/"#5WUn8x+$-Ey q oƘ3@FrpޜDÛ 74ߗx xx`؛2Eu3my61ipUKgcA7\ĸ% 4N3>Rx tjjs9Ozpx9"gB5L8*G΁Skxx~6xn75U^'^ هd v ]Dvƍ Kզ^^!Ơf6wZ-v l*b`oMP@=G|F]q̓~ $,Ճ7F%!w{!qR6rMFHal@8J+ 'o[a,۱ {J׉n* #B#*= ۧ>ָ,S9 ;A#THpH H"`F"z?pM޸SZz=|ikLY] |X4RGlj %ިFkbfnP3\TF\4&@k \K i@A ;|a_lϾ#(Gt6PoY8~acmF7y#,ESnjqzX﬜aCU$:]4;($Nq<7]lY*$ކĢ4\ w@BTl-KB͐i3ECN r8ȋA=W]xKP]tD CAnc?¶PέЪU"<zbiΤL#Nն -Dmz4;W_I(ɯl])s}TVLۢ{{5M: i 4[Nj_ W1Qb)aWR6M5cX' AAӊ^tM-x*lt9_HCOBÿ́<bJs`.NHyt/8;]o\swO+Lק ;xkEVxq|E8IOW0FoGmJP nx>ɘj MɄUmHF0#uKA7cwՉ{?e1?>]r }=%$PrּЁ+%8 Wb'K _/s!e40\Hobd5]ܲ"B-.ƌƘByH3702]&ïpq~zFH1Hd P~vi&M`|Shbe|/yRLi5d$#5k2`Xt@D vvHjxUĥ J|yxae%,UP|`DtAFL0lT09SMHǤLia ((p/ "x~c*ZUM/$GI8,z[T.Z={Ph% bDxbVm+Oz)$7 E{i=E%hbYzMHDH(!l&l3 )톳jÌ:Av< d&݄$I#!wN+ǐIי\pjI ێ"sl~" L|9Ktu٣d>_zBNMY#UO+YȔuʺdMAܡН2*Ly,̱ ˣC6,,ˊIAsƷg ɂ$L ~ ( 0¶϶>_&? 1$ =b>vYVς&u'¦󅂓F^D]JaXI蟠h/2tlZ; Z1H Rq b;,|b휢Oi#lVvN~ZObn$o,_L)~n&mbt 83": W*_UNt(. b`LОyUq܋&yNYgz X9{ք5gɏYy?oeN_ _ɔg 9HGT8 /S_Bc ) ӳQ`ߦEdbv_Z%#A@'ybwXߚ8 !-]JD6''zbʎ8Fh F;YpuO8Ü 33)p4x]珦iKaD_u6Ebe6vL^*b12Jt"gEz3shvU۫A/N!jodfF∗J:Nd%QPKUKx1Ѐ88?@Ű2dnzsҁtV8Z" Y;:p "l4@Aihos0\(+E>Vl'1B;*d8?C4\I8$Y oiM5f)Ǝ92- LHy' F,Cj`* _L@.*R̔`4"!WJʗX(l ͌7򸇛bb[՞ChnvdIZMI&vq}܉$L!FkAkt nlW(W0#$P0@C'D](>_գd_@ܲSK٩ ۴?Ft=$jV@=]8X\4qɓ \0yPzn-}ѽn4}iRAyիȎ=wCnDWiFn|ʊ2ShX{\mGX6lM uz;n;O0)nP >8 W5ezB%k_%)R\ͱ0b[R7)C,M~gMZ:Qv~}9 [O>dҚnNX^ڢK7qcci\sD,/`?ፀك ;0pv=gs7)2rnMCFd=2wN~N: \"DNv/^ x$O]A6Wԛ5 "qRS`g\cθ>qiѓ5 "D!J. .)2:{']j]{x/jbyac,Aÿ@]l|2ƚ֥EpGe(y[/s)>jUi;9ѐc< L2Am&l,i4MKAcHÊF%Opp Dj. w \=Ia|8e<>͇IŶ͋䧾\%yU9Jß4PV-v(x~h_}g'+;%UkY =8 ?Qϊ~rZZ+I\#QuNaƦ"L[ ڃ~P )D?{].hgM27n~da/'hnmm:Hnh@ 1 f/3VgS4QvLV2} Al&!E41 ox=f- Hp=лD}xA$p0:m>x+` Y|,^Qu ;2xA;\k<?V mcTJNfp@3_qYٱP(40~hb͹RT׎c<۫nH1Bqu3"DN_zN+.gq*Z϶>?DYtT wxC.]83(`2x9{~8Wv Y)s=DJrXIP1QhZ7.ۋ]T3 xNOnl.|rcWnD`ꮥ 1i}% QNeEn9Ϟ=2}~l |gAgy&VBk >P1Jֳ)~EhPR5XxmGn1vmX"4&?Xؑ"Ɋ}c&z,˺E%{MHTYܿ!Y\µߵ͠OT~WwOv~UE䳴"VzIѡ 'Tӿkg-u^?D妭 b4b7h> +p+7\ȱz]_a)ʻteOo_Wv*铛pO&\6QXH-#UKru~/BU|;10}Nc+T'=0'i/'_5I'<9/ T_yd}-Ғ`O8|@bfRƢB XՐ9>h1k&7fq+9Lx̳)P(?Jܛ*RECY>!WѤ.&PNߩ}<`jMP',sh"h?G]<[N|(Gڏ~OnB)2I1-IKmlh 7SPq*0ig",=KdSd+!}L뫃2A$|W$M`JIo|%{Cb*-֔RD #vB.Ȁ#'$o)NGJ.T&Y~`ݲ[`i-;K.oIԀ: ga~Pzeb\("}:ku;u<1> sJLNSFh$ d8YT=qT8hs*ΔDC$Z\ZMj=^ ֯^Pm`) 17AD:ЫOv'ڴZy.Yum![D>[<.˦ ${ZhJꕕ@#L&VZr: ߮+׆h3 }щlÕ % +`IJ`&ax򫋎tT^G-]hk$H+G:U/XTP PEk"5oB"!*"0z/ތo|yŚ^)یZTeyN.-\MVR;fb AKܶ y٦SFtH41 L}fɫ< hp, w*O **uU5$U">(vmMnTK" ^o/*U nhzpIX8"9"%&F.$ (Qz%h' ^0J\V=יwcrִ56;g}+9[o:1vbKcqNmL) A]P g҅L|.!E{C↨70rp׹OŜui+Ǯpj8tNJ0pQOՁ+cAtq>nNEѪLkϕBh'{\Jf3J1>ȗ3|y^,o[M͒ѓq{x?_,.7D єX>eO^jG q bD(?b?:H}LÊZBk`-REfы ^9L*P V܉H,qLcp_0Q.d4eUr2yu&GZ?r&=b^͑:VuO#q^Im3\:T!YcR :ҿ;IGb2n.8/ΧGCd;m1gm՜yN޿p{67s /aW Ey$h' Z`}@xSЮ^[)B_tdk wP"^p@h;^"\ v#J1D<]CK81^Q0: !c% 5Y$n&q/%Z>^Og ^<_qFi:u-yz2Zf:GܲPIG+9.+2wbvM j}4a&Pnаd-u67@(Qx,H) τēstUg=9zJ`+\Oxao/y^ -(.,^ߚڶ@'@O!w5~^ýZWj] Z ~T$xbQz"aD{ۍZ Md=P)UcoG^}Z{9J^:M#ŋy 7wT]qm& pA4 2XceLF,&Ь:,xe͊sBh\q )H<5l^(1c(01῕:,tR| K9r(ѩM53c[GCcYoK3,IT\UrNJ )8t %hUM'Gpm1]r(yOp!9X1p&3-FU`$qOnݟ^W|Ҙ;ts\wA|4}n5jKNŸ-nX =0B(6LJצ#bTL9Stp'BX, D1;4W#kF=Ζ"Ǥ=P*GxrWO}\;muu\2lc 9^DKݫZ 'Jm'JS ^G>S|F;# )O'P?(,|S2ѕkW@"Ռ;Q BU'ZJ|şIG+0SZ<]HQW}T($ B;^ƏCmkv`1ǵM>T# |7KxK1M'=s2m,^i{:kOQ%D檾FT.#:\FDlڸ H9dm¾E#>{̣" YRbIH&I &3N2ɾ}TMn+BSR=hk3 XUk@X펡 Thcw NEK̆ +&`S1:9 Wz`׹'UAz t;Jl4+e rx_Cک4;TTRUO]H7-Ldܤ?ʌUOn41KnF~S@dDR;6m Я`W-ac':Rg(cMn"g4t3$HI+i,Lgsxr Ũ?LhFφ3nB$P~mϷ5B /`:Oj)3)j:cp?%)ے?E(|Qb6~dlWg%W`sYZFw3h#;u^:hK3('rog~8;>/"kz^&4RqRp5(~ at.԰?ǖڹ 8~Go hMLTS;]_PvI{}̻۾ / F>1Za04eP>6$["?+*J;(B(䮙4ô9(3hݚrG m5?0J{RLX6i˴W`ǡ7zg &ޏ>g"TBA'2^'rC=u\ǫ@$>gl ?7'1=Z刻rݬ{0``& 0Z yɌY=1AkA,0js1tTakA*X4z 9R|lB2v&[YP Q~F< FX]H="I6F||՜?C XҠr i)'pȤBL'>_yp!V:Y#Wղ&ZsLftsĄ$[CQDCD`/oߜ|4W7LdjIh-o9G>jjz;'6ۤx7uSN:RTjp^^]t;Q,Cx^|y9T]~)׋3&h/0[#RBb ;3فxQD& Iq$cRz Mgh)m 5#4QĘƷECٍRgy])2f%KI.6,ڍ!;X=˳=}66س`|mw@zK. .H!MKS'fSePKH.F!cnfformula/cnfgen.pycYOwǑ@PHDR,iل${ed&z(zC:r(ALp0M7("&OJr{^r%/cح_L%B°WNU />i3FߟG#/6=D^Al~QE]i$KY{Ll c",޸3bp3ф؞Oߊ݊HG8 ,TIt'?...g7%^o'C7ξ94s#_SBMhvox-įIitg?ÍLy=/Y'C H&KZ"JeccC''/x9OV2P7fh?BέkWiȔOJ>ƼٌU٪[V>D7vF*g_*}ލO ySnɏ+RU<-/V 4cHkK3X9DKl:6,auD[87/ e`\0w;NWz]y]__[AϼqZzމNkа*C7S(09Pp\E%nVDr9)A[Ov{S n =E˜GDi46¬ZmS+ZBG~mɻb_qƍL:540Fti.]CpZPcthU}39-$8,3(Aq"^#m{^æG=+O}Uas(,e~SjÉu)9d/0mZLeCN#MߞfkZ-_\f*G^OR{ LQ+CÆ6$c.SPM[g4lwXw.9:Aд0+e>c^:% $b~.2%ЉfPj1AU^ 2tttj{ XK! 6RQJ6+UkL># &|/RTuYv"==Z׊l6/8Os7qF"w?`)<-Bw(m鲥u ƴt.fj Q]ly2{ElQoiGnc`l/Kd\vt݋ D RwD"$^ot[$a=U'XUZy3&qeQ #[ oH5N$]]3/Z*=D/ٜSOeʤ9vNFq*ϲX9[z=~J:;12# [|5g'*@>B[(_j8\=2mc[bіG7-O/|bCۖi(l`Ʈu*;H^q&|"A׷-'SHt(mW"~?"wQI'@nP{JWzMl<5EF{L[>³ @2/`lѵ.I̥t^o`aC&-$ ss#b>%m7X甀HnPW?3甝rqܙv&ry0~:6-V[K%t2d_"/OR a2[:X/r(z%qXNbQGe{-a) bfRE;( Qip\`2! ~E p!R5ɷ⠈:/ ƧR'9@Qa[_.n#^/Q!du89e|*;Ͳ ng On mA3Fv:{c컉@@/KmS(n^{3f{.m>.p?F[=~W^H-J7Fk6 ~{y(aBN'_>a9Ɖ[eX YNށ4f &HEBTˢmIŦF_QIgƙ) ά" XaiS%]*ˣ9(l<Ɩ7 ew9lqwm9YPZBo"AǠy!_4m\d";dP%i(`vp<3fMu`Un ',rFע@ap$Ql@B%(iFv""bhT`b `hEb~ ](- 6 49+ &GU YݝF̠aizYѝˢ`YBNlۂݢH~Q#;{tb.܍:&A#\ 2R6af UZ~&<52*bզ6:&;4I;Jj)0&q? P 78np(~>ׯ4D~Ҧ@+IG(k4J ԥd=wgX٢Z 'uZ6i s`_Xxla9[n@8S ;_2X|kyrBPpS*:A5騨߃ڙ\BZ.dmG>_r.0NVҔS.|8K>k^ rt#(J ,JE=C-Ȋ+ D߄`7(+8|L yU.Tikz[rlIoq/{ n-Vh0T?=+ @#A6H*LCErZ} @?dǶԋK0` I`poe>6Zv̶va(o%{߇9FZ̋0gBn |~z["osٿD>Nэsnܻu |z/nE MFYٝ*@LƛpQEy<#*< }99Q5Z:+,SDa HxEs B o`ܞv*q =w3jq__? 78ӿeг21SRYf]ӳA2XMq"r[|YՐu1. h\tu]=Cfz6pv\5$xk'r%,O]\.',8@NW dQҌosYt!Efա\V*9H)@a7As7R )f{hqFqK学/=U4dW'J%MZɻm&M_t@|\^@\; 7r 2]./U;?r(' }3Ȍ8Vfù)_al- Q+Qo^r¢8i=K"0؋z{U0E*\\|#|XxI+erƹt&LvXzKy_XC'7qMX:m]c(d#72-C&H]vyE6^kHne@)AKqRM0L?VX bG41,7Wf.wǷG܉5t}s<{5VP8b+VˡAtIiT&ًw*w B_c{AM)Y,xbؑڄɅ=d7 ^M+W)VҕX\4Pa 7TSdC?]XzMXyW.QLp KhU*qiWE1.LvC#%ÀL\Hbwb< hlpb ^Lh}V0RJ` FHqGg3QZaԞ(:A(X$4mSlV kF/3Խ͹șXa" .1nOϒOU6C)Z~Xy+5դ*UZm, P ; /ݢR@߸妊PiR1K%DV= 5O0B(ci TI~w8[K"PA->Sk*%A -N}>*M ! ü_]aX* ȁãxWz{S i=.F^ǐ[ۻEQjfpx` <˒6c E %t'nMO7AXE==5QTm&@4V]yCFZ[Hа՗Y+9ꍷj,sYnrJ*처T|K+MđX3-k "E!fRXJ|s (/Ad=MG_d X_7mX!f+bٲ6&p\7ˆjSLE-%]? ^kڜ E"8o?`=h<$yP Sቩjăի|^2t*yKv(ׯ镏d5ZU<CgTB7TW?ec9AnP8Woz,!kE0 _3oZmQzn+65ro`x|'^]0H鐤@J\F#FQ9$w7x| 6SLe;-9`U7YQh[gwio'".K;zqW[:wsf_cM(|%hR0WCp6l4)-fU!ۭcG"h?~nó?r} TYkXIZ–=taRwoÐ= #]8u_.kl_ )r0Bnhlh WR@jyp:P̫GbGpj$y.M3B( ) VE3`'J}CO-jq5&6r3GZf,Vϓ~Z2^DJGs)qFd])miRnٙΆ.ϾӪBA9R%2enj4SA`uL(Q)^+]qt4r!usDk$גRWd<2L8_T$cܴBQ ̘e9#Yz* VN:7+x,(OK.$q*)9n֝Po\r!w.\:k``hRH_@~;N'c VǬ-6@(]% ¦F,e)N &Da>$.x}Zr\ k_ 0"ՠ1 {'#%*kU wfP΃5" 3U~˛b.c NHM(7cǾ8(fkd}Z^VtXUd zZI*f]zMHI,?XCxz]/:sVYm+m@oe@f $z{+E`")kަFUoPP]++uދ/3I"j9-nIQO.M).%n$t'4E8g L$֮fEsd7詈ߙM*~6-;Ub3txj9rV$XI׶H@˲ 8¸AR]PrɇD8!tqZěaD\Q&ͨUߪb4h7?.޴&FNȂgZ% NR~4:4 FMiO8 6ǪWHb3QxjCj Yi:d|V2h ' ?8սpPQҫ2ЖŰP;\/VOu#&c9pBtp&v"?c]rȏ 1zh@xg8O'W!rE-EP C;>ed(4J8ܯЌp$z~gXLYFMT0VeJ7([*lb#0\bwڪaì]_w8AǃrbG XL~(p RWTu4ǂ_2a0ۭ2َ!rS)nmA juQtJ5iK՛F1W !zf2(]`/ezWGWeeoQX;;qǭfDUNjAB xkؑ9`hߩj*L2\ou.$㈷N,7HuP?aJbzS;h| \ O]#D{\V2JHV'j k"qC ҞDϕ:ԇCjQTz#U5[Ke{K. sv|\JTckPji5;Q[jˑ[^NC U>Ŀ)| بjdJiJqY{[f2yȚi,S#}@9~~`=z? HxZf؉PVQЁ~^u멺Ywܯ?O(*R] <0%L%Qim]1D\#)ji8/*j(7Hd|aΦcʝ=K7y1ΊZq`,V Tl2LuHajsUp`z0MF$R!.L)wҎJFƿvfTr*dͷ@j,7k9oZ>g?vP;DONp!4u=0OZ*UC%xK#냩^_mi0a\0 9*0@6yܨ:ȧX&*7;GP~Q'AnLuܔjH*zX1;Pŷ[e$1sS]Q fnp*3Etqa&{>܋; tDg{1S[dZ[ JX "Yɒ5''Z*pL˒7zX$9iwP_* ,@C84 j@<%3 gD&$o|pUz#I\k﷓v9:E(*>u$үt:W-c̓aa.qlp>ͳ[av"1YsY T*{cJ VK]t *cZV25 *;#n/ 8:`rU.݌me!Ÿ0sHra㽍Ҝ]l쨘2Hr+UhsN0eNtns0%`A6:ƗCG%sJ+ msLJm['BΓVatQhE+kjVS`Љ%;4xfd6 GnNE|c*ϡrŐ'KS>?[rru爵'["8}b|_TK@;6hv9 j"m@'vM a#%5X!Ԋwzz({\66~}Om]f\s/59 љjYT^AY}^<4$xBTCeyln֕\O3rRfMz uԔӝ_5Au{MZt'TaLj?`1KNVi_Nĺ,ɏWObN"Hi\^I@ ]Ljt:j26O$ B& ώo972lc0Nv݉Ɔ!anjz汪hn^dJ(s@3y/ [&^¿6US٢z9,,3}=y^sX$D@i9tNQ:%|]\ }'^ .<1|n%n{6AfM< i@Q^; 1PaAD=x7ӍM"p*7ކJ%NN~|81qGr>F;rP(@G:4_No)Z%TTßtUV6v0~Ÿ׽~LfSa:Oeb&u h7Ix/| @*_OWڒ) 轶^1\ 5Z+ɼJ|me/R|GnЕZ5uKaEѸ{3u*ij?1D|Ċ#}i*"WDJ7nIz}~_m ߎ:{q[<}6H"Cթ x` poBY!z85H1!dE  A;{3lj9T71C6hm-[}hP~w\Rm0HpfwxiTMZʳUR [ݴWT^JW!啕7A uVa卨5UϥFGWrn]H䤪͒W7!u/e}<Ҙ Uԭ Zǧ+oB%qXëTg)+)ŨG=%k<^YzJ<(Pqq)nD76,pǕwoN(Q9ǔO9ޥw-u2#ʛ|;6(IY}'wW<|.ͧNS ?|^yO3Sʻ7 6`O~aaR z3 A4kug5$v3o:ӌkSt}0JZQKuh\Pu[u,uKgYX "0!l?U\Oul(N!m_u= 5 $`447y[awk&+g;. 8zscrTzYwoN;697YW;>F97"0z;^fAhURg:'"ӀC˭"61㼱;єOM"Jv0Cj;"%hL @y$Pe+0i\nl DDug dhI; cŽuwKgMk$NX–4挘#9QEЫGQf_rS#E e9y.V?m^b.T9ro:L)obuEͨr+`sIwg *pI+H9\KchHuv>{bdC%7,ab-0^J}\iVШ7X;V7RJE$aAZb vZyyyy9)%C۔.0< z0bgv!1?KE/#jt@1L>fx+hR f' +~!"h-zq^8*8 \8lp!V }=G_Xkڡ+{ͫ®g&+w6J(gMEXA!XU͐vmTlu[*;jn1b? W: _1P~C&C,fCܱa޲UYg1܍QI4!cq3>%m2hJӇyѸ&0ՀˇG4hk_vXw g1\_jú=˔ִ*DS֢h ,MIKk?&v|6ɻIоh2fDYID@.:nNd))Di,+\e41,] k~+A9w;l޸YA_|S4mNayIwDZ7fgn(eۑŢ`Af! `TՎSbΙ:QĉKO +v%}*Ǎ@Mv:"?+*3aqzW1 aAS( wcfiruD"o].'4v%F$gTEY{mskFHy@[mEMtcAj,3hy?Fq/&V,>^Ju()[e]#8e+,4a2%^a=)$Z\23!b]$@5~5U1 ̲qJ`)T0VmO(aLp`W"^:$Ug\ j[}`؇y.c)&]9F{"d8|}1f N:׭dT~9KD<p߲#)ܷn8W24*._(i˜G"̒^Hd d l~lܦ#m}$U oMbyl]X'3/&2kWu=m)Xa1 UQNΔIftNtI֒[%:SO6W6MC̈́rF71kdRy&讱qZۍ\b>K%;nmFSj[^vb=3{z5inrUcLh+<;meyyO d@&}&&K)?>ɐ |vaP#ۧIs \+X( XN_=/XwY Ж4}'Hֵ:nVȌs;-SYI|'pQڄ@i~~zy_#Q&̘Nnk:;iOHU\k{r&ifGLL;>[O{`LN5dG>z]wšRE~n3i i3K0V]д>+Δ/6˛ӻRiLh6R-9g٬OYSoIl)0ͼlXx4ZQ}CQuMBj:{תnZ>\B6SҖ#z/RZ!΁.׌RBƖ3X]gv֛|{5qXJ4n~P2l,1vvMi"1W ;7@5{%h8*P1Q*-9 8+}q+ȇ6Ab꼰\}9ӗDLa'[^RY?k͖VؙEq:d.QYJFi&yu)# 1:Įb W*]E:B)JT>pY 넛T ?U6h^j^8NBt5Bz8 gpܞrޓT/k[{TcR>U xUzw]+ŢE)​7%res+eZqgatw ,K"-SzJ AݍK`k;du[kၰ  Jٴ>2 #]蓦 ̓rD,5{'y9mNNx~j Dx󸼈K!P7*͂yҏRuOq ʫFp0'W_1"z@rk0m!v.얛cgj?E#'2Z2>ٸ //ko'/C*~C<,k#CR*4ȸAKS?i, 6O*%0l&we`^@(I=/o9W^K~cԛ4[zsF]CqqCOls4Z'8d$[)ǚ.КE\~;;{ 7@sѰp6$ -a}$8Ff(>>$k$;+7RuؗX|H9A}ITވY1JU SB}ry_]㨁G=bZq(TxN7ϩJ"ñW|<9p6 rasT-.G dE:EeX2b%[pR:{,Թڄe-I&]S` O-:}pTC:5-ndk&!-҄C}JQ+wkA -wks}K PObb=b* Fl9gj5TƬ֐5lٌf}yfSt4y)$[ (؄hbYj1XYUySu6Ydp#h}]vW~_kͳGb+񷱶MXi=`ZB}U=`,҄EFnE &/RstlN9%2W)ѽhqZVt=rcsH1!HFn$U!Jff]Z+H#+_e7pAI˛1$ _[8 :'5*0kǡ<^Ūo_~V'ACS;L"D(SWtؖ':Om1Q/Y_Y8" m!glj|3F GHiF4e@zF;gp^έ>p-K7@.bTsMIJ<=CS/sr)Q`U:4sW-㡟7"К i%Gٗ"wUĿŭǤ `0 tai:YXq^fUU2WJ:@0bv\QN8nHo@lrH>e p77QM \AxKB~Ynk54yOn\|Z$ugEG13*l2R8HBϹFBXnI-3hrnJ־`: b_KTR&fwlކ{ `nW7ϫ$i0tb06HȗklIX8sڍ2v.V6ocؤ4g2IcL d_CPkLӆun8{b# 'lyn2&L$UN8Wl#aΩ!2Z#3 GϤ2ڈ. tb7JK$w5hX-t= En ΈBD*׍ 2]6~EC1Vzl^"DjƇ΃Jh͗5pHM4ul5R([P*г}RaSNXG-]uxw°5^@rwX,Ɓe%#u@b;E/ZHS:_)7d@qji>=22%[ lEA9>,M'¯#i}:Ʈaan ч`>C Ran0w0ĺ/pfK L}B-=hqD!#aǗ]2R=Dk_~yA]bdԺdGc*:Z=E,:qeSWؓ9IH< ?>)2sd`Ⳛ Ȥ*.kJc+l*ϰ d6!('"Tޭc`(@Љ A7%qu`#+hj(6qiң3k^m%;?}X<о`@ X/=`:=CIC^ UN{}pj  1V3q+pgbw ,B;6hk1tr.#>>>6PXtFT =̄A g5zD|~ExC"AIG9ۢn:[ua+5lo˒4Q0K,$IP;Ϫ 3% &e''.3 l'?j1 k~H>z^TOjIaPsH^&4W7_-v- IɊd4!s˥cafCFUWګH{nm-?;y%157n !έ Is&>EodoD:eg!o4ž\Ǧ ڰsJqH}N{3LM~h ]zI9TWԸقrr[9=:U} Ǻ}S=5jsicXЏX|P_WX; em<2Dߩ|zwNY'IOY6,1lygK@xTf̧himҰ2\-%au_U&"l=pV=F(|.,ʌk3~ׄ|ei "Qȿe'`81,N?bլ'( {# QX"$5#ډ mXk?(́*jd/LGzSS$2w= ,ĸ-Ոxs3ڻ}PG]0E81 S"ٱٵ`8ׂq*C^P#jfwγ\B9Z=ÚQ"V.G93F'%d8 q (=h2XVIL66`C?X[_!O M Ӆ!fCupOZ#*^7OU]QN7k%cg:a$lrOn )5<+2KLjCƆ2_}j7He'⽌O LؙU>O\1qڻ-An}ǩ>ev]&3qؽۉA ~^KE*:.N[fa*K{z'6]A;B~6V:MsaI.LnwZ$׭`"| H |쩆^ăڣA \4ϋ oG[.o^&")i>ɤ\2cab%VRJ8L_waU˲imίF;_ZQ߷MQ{K0cc1TvV8I Ć1aU}}&XQ<ơtpZb'b]0qkuQّv1S<]=~)>a5\v>vf97)Kg0M q@Ygd/gJ?r9lFda>jxZcϯd)kƃĀYBڲ݀DH^be ,v?."#F* -_g=WNRK\r:e!?;Ǻ$;CUҁl+ݾ}K/t;xiZ1n9,:q1!rf`ROwg8byN6JT홚k933!J+ dZ4beOJX9|˯,5V*5qh0c~Q [Y#ĭO3yijwgxOb}z飲=|g,'2$\#?7:~$"Nql:f׭ΐzei}C"L%8rxߒ#9hpɬ 6+ هXڛ  3 ߾pcsâaU[k8TThУƒFoqgT76|F 6["AlK-3.L֙L3ɼ5'-gv2kF|и f-{E"^K8|(Q/toQKyRjc|6'4f}D'oәe hz; ޲ʞKKz.^!g{ =xJ|0ڡϰ~ߚ=DxYG|W~pɪۑ@LH.~u[C~.Y1;u^ xmh{Ci$/@{m&Q>oQSQω[ջwYt:l<#&\uSO [~@M63WQfpkW0j -' kp8%$`c|&Br)q?Ζg#ubURBN1¿Œ@B 2+Puٻ {6Fp΅IzvY^5=ϩ]΂[$ p$%6 |lF?3䶟1{{ʚk\"+*cy?ԢIuqڏ7zآ79'NB6t&rg}1޳{ET~~|KhUvWVєvl$gXu#MxG3-}Kʒ1%K*q@!Š q8Ɯp<-)F3skFuCNGƭmѐ|t3F8SY&-`BrͽN_"X͆r(/i8+ݠ6p(dc~w} Xno:W `xڕ/7q.l(Խ ؇ǃ8vٛ,VuDeȟzŸ@m7LAY9+1bOlq<>Y0疝 3UK)U6$ c':[+^U'{^Dsev?-eg~hx"_Gḍst δdf5ЕKJ&xe ((LdjAmQ ovM`'.//OW?,6\Ê*&r>df\^=/U}6ޡb7S£oNgίN Q1ie.fgُA5WRYhHװ+fn 3UvHb,ɽ>kQt6W]DO̧ t /OCtUnzN86IyFO34_=W]k`kg]|,ҁ&ߦ5?Et~ZY5R(q^ xxc(NcŲ}ʊG1?M-jk֪UNUVW$j~ASCJٖ| +ͷN^IqvaC[AR9c 8'OޒIܙ|@&ە+=RurcUiWǙAQ+da¶'9/M]_d R%%  |=-xC0A X O`7D`h~/G\y|I8[>PKHz{cnfformula/prjdata.pyN!} M cn t_.Фo/tȔ+Ys/;нT;;1HF2"I r6LeVpq)ot!(Ў'P_Qiғ!fPv ™AE"(ۍ-jg|r$!fB ^ Ю ji$ Ϡ>N^֋="q}N>rTc i,(=~PKHzJcnfformula/prjdata.pycURMo@ ۴RBZ_ &UHKUf7hgߝ?YLio<KV #t s=<D |av܇l|  1dskf'v-ht,"Mhf7e;kI@f)&P }+'" S o5e4nޭ?Gb1~Mا귱TI>؁?Iꞌ ;Ea5"Mx r\0Xo*) ̾TI+I3;;.G<"Obr<eJiU :϶l>_We%]l'bY&@MK|<)oLeC{-)y^fYZXf٪Z2ۂT1r,ϷU)zG <:˷tek4)J<[qUYQ7e{.x~}Yxcp%'+vł,wu"b3we'd 6^t0`.8ˉ`+ 4㭡0Z_JN+À\|<]GHVBl2Llktba_V?Xty:&i59P|SuG+):)7lq.;ok\$xKbr nZXq;e zIĮ*RYU_hSn+\VV;T T z%rM(G߆ hϾ'3PeʟgϟOAZq#Йyw0).A]lB%0C Ԥb 2!tcxlJ/HĎ &`: Xf Ti;ʕȇB9.pX O'кNѕ2+JI d/]CR6E2QS!K8g KSz8/M-yeuJ|v]0 _ɵtjIW.X=9;xw-$]E(ʤ`LLH8QJh:6{}m|3O"rhRxQi>FyQxR4pZ;WS+,;dJV#(ae0 z-{m< %+e[(ɴf+pb !dԿ%FYԄAܷXͽN&#m! MQ*Eu L-fY%ɷཾM|F3FKP@K:CobjaziqĤR6**>;::OK!y۪3- S|l3#Jx@*8Mo6^qáp[J1`T=AW鳍ElT<֣kuX+5 D'P@ػ۩9@oxo5<gX Z:$r\g&36<~@z =ʹ1m!ɬ,\E>Ҕ/K c߱q1N t~(8_^>E 'YN{46(sT$ ja!CsQE80M G6Dڳ*ۍN,V{td>Sr]fRLc>E^,pYIS|47H$-$  ͈8k%-Xb\ =k+,vv+-!ֲCrEm1d\1'p$Q\6>RBt+%vf3SKh#jCx1jCPaREQ9<-4;,N[HYm67!vD&uMdŸ9Y@cCЀ>HP_wjoVw"H@RAo7\A-ӑSSGŠO a9oЃ1+ad ĂP\^Wj0s] @ѡIr)\-##47Cm:=9'M|=@[И^QF{/ދPu`_@\g4crd-Ԩ)VFC?~ӧ<3j6աni6nllrFp wޖ4H4!%1oz}}]ȭ,'$6`tӣB ^KzG`~$yS LmH TNj s^臂qA҈Q~hP_oH!V[pzz}\>~K)<^OF~I 8靸^)6!WYwhĭ`ذk>q(Sr*9T5D~ J"(p?Rb| W/0]#&a%TK^ "P2Qejf։QΓI*y@)ll/2kccP*NXd*9G ?3la+̱[!;ijEX.8ZТ'5N4Ai bhA;t@Ǚ%JDrĵC]/3aK|>pd_j=ӊn⓻ ^HFQ}p nݙEvט\'7_1_~ܱJ} 5O4mlW]54r qg\ z){g#Dp%z.ϖ|U0_rb=\#A1]P"%hec'%3y2uƻ<VǚЊ(*ƴQY_ OۇbFtֱaϖ40Qݦt8i.sYϾݤ o-3+G&^-;fQ~]j_ǎPf>J@7=OX&/29^'`gjpHTp0ޗ)sY ޚl\-փo;bfPי2qΛ!@"1)Sǹ]*po>ItqeQIkfm+Bh eVO>c]=EAJZC=o8RZ@qI6($GLm Ow2OE~dp9B|d:|+)CSS |F*Qg1^aKGv!0R,d.ZXtrXz=j,EjoJW5 %iA^,@z5 l girl\n[I0ejL/`Hwl0,(#3اR @w'ztEV,DʹzX^v^0~X:|ٵ`}jygؔL-NM\2.!elkiUł-|MTbq`.& ȶkEECnPZo3<˃[Nj)҅a6vң[m/Ql6U I+`hE=/I<ɯRPKHX[_Gcnfformula/transformation.pyc\]luwfwO(XrUCR(18EʕkQRdz3K5;VE""AKЇ<%KQ@`@>!H>S (s/)ѥܿs=s^clx o01r3Vl31oɖMVIBӬaVb]͖,,+sdnjet19t ǜ,sMԣ+3ۧsӯrtn99;s3rusF;D:w9T1;œq{P2gBҹsc4I1lߗO<%F^˵xaa~BV#/],AD64ciECVJ>x//PLU7 KIX=۵؍˷P2/r@5L&É#A0!_ |jYBZV6*ǿw9k&`wḾz kb%Ӳ] ʜaldbFW fi$?4FiAOC+TV OA гc8g{y)cSK?1Yur-瓆0kd|3}7z,bOcI?&[5zf"סo M)MC ol+ggǽap6 _G܂45kyq=ሏ4`I63W+ F* qԔ<*Y| %Pe- [uK֬ۖ]^ %jJB+P"O8DA=vF/fVgk٩SgNNYSS_÷3S/uj4$N[IhF57(M`DLpsK-5KC _r.B%7R,: afNUQsUYF\ejƄ 㴖SԊAk(dr||eFa&+vW|ZFh*'\rB%? E~R1*[X.n"kS6h\[/{zhxg.1pO!egU \.G5 HE'a2xh %i+SȺ󠚮UZE?@ ԒT@FYXVD> $Wd-t#xSTn0l{MS+P+ʬf=Su xO74l2+iSC,kT8 |->&&)a#8ȇg㟃fƠެo}f[?5QZG\L~b[\?X蹚h L!KAxN;eKS’J"O=5o[q5;r 5 u' Anگ @8PFAzm~ 6 _/9  4Čh-e0=0ՀC; S<8Hɢf>3DXPAE +UdhWɰ (soav`Yb l)}mؕ}}-O@MVIWoL= =]l){:= ]ӣ8(= vԹ*oJ/`zqɤ(  Ar\RL`^\dCO?V$?bl> .>sxǐ39}mFG _dX#Ǣo+rP62e(eWSZk#-L:\epAB`[k譹#PFu1GQњUB7"Bd@"D h /,1e)eXp Km]8T#"V&+\[aSڭ5tC͢1UN&Y3@*m)vu73l0^b@_f!apԂA~\38⇥ABI~|Gғ9>G4G|[Ɛ9N(8 %C᪊㟠^h40\)*2 4uCJB JI&(ZlYOW5)*nv?Eb޺ɀ:'"YJ}%PT +WmG@jvpT*]<W\:zSH<-Đ_hd)Z,fWЯ8{r!t3ѷB,_:0~[\I ^\&<4hC0˜:\/K csIƝPM2kY DlX7sZli Wa`ޚ0{64CHlY2kOn !P[ HnO|d8BF).˻("O|)BW h[qb;k B@ű|1rIb $LҦT3HD$ۤ!}ffZfc'AD x${O`cpy\❴Pyx|ΝFKi!u!G@i8Ǥ;qsyWZ79r)ﶠWx@H y13/G⢽~b<@Jqׂ¿$,z60vrBȬ;ac>4,_n $e&۹R& pA,Zm@އ6.!iG5UL(6-">"ɚ4(|7 0p=[[[ĢRyĺff0Km"F3Zsh"¼|Vd!FbE,|{VYFVCF "g0lq!R$K j/5F q8L+ַ׃vck^rPebW)V!+=ڄ%)=^Mh|H]}yr>J9r^ (}AŶe-4}(V }ַuҬy{=&/։Pd)ud]mpB;H{V g2ШuAGW5N>gVQQt@[Jפh%gU:^*ScTXt#D)ɲ}L?% V `j RkG"p${;li6"c_ 4E)udwe|QߒhmveSkHё6p4mȑqރN ՘ m"]dbc(|$Nwd*M%WCE(}ܞ@)ɶ[Y=0?od?-NZH!!:y)pğ?vݺ]J|Ўyʢ?5wGT 9n"}d۽yG ׃ִ-?>knSMŪ&- eGcԣ6~\6R=R-Q@JY1g'f طm¦;kШv)݊Uv%6_=,$ήe@mۛf~M{r@X4m 0h/NJ12qc70}G@mРFw#x~`UYn:iJg EׅEYrEz( >Tb%Az.L@zE'%FH|׾ کnD>`)݊+>!lBN$U#][]ݦٖVd벅`Z:Z9nچnPC bkI-WmqaXXSaySSE<~r:Xh1;ΛZ@|VLq99bw#!M݃@l웶#CNny}B; = `.MӺֆW,`wu yiڏbĚO}傸z0tJ8夐 PsݟH#O)w3ِ2?4 u;AcjNb-qH`N_h0c%"G=DS6,.֫ B?Rl!źD&i:njX_Jcƾ ;=6?PK]HG}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/PKHm cnfformula/families/__init__.pycTMo@]!ЈRN+@(WKJHk{,]ݱH(;?ƎjJ#zޛ'/O>Y W# 'q'ӱ'4>싣 }FUmJ Afʥwn& W- \h\ .}vW|4}o)-Le*:: x *HH0BʴE,pԱRK<I!bh[c,?Xժ+*' ( PYəw<EP5n[{*8Ss j^CmV\q\.$yfRYY.wEF[ a r R"YF5K^櫌zkH"k>\5k})h"ɅҒrOwi+Y7csIW,3q(Y$p\fB$HOXt3TLRGrl<*jH氦WeKR"G*ZJ,X8< a&fUF wFW0H#že{J4.kc"r$[ ֭4Y.e3";FO&?ERCtnP|n.ˑc`bBï!R>+i%ݒ|mڪLkNh&f9xC7̙v7XBpV  "mlceD٬$HDQ# '|5? .AH(v+&U?LRڼ8c >]tMB͏} sKx+| !A9Vq* |^†OW&oɔH*6,\*rl5&16EY^Jˠ_ō|>M۽2gk_L%@UaN;Z귴GUP%*u`axhl]MGѿn5(gMmL;D2ysfZRV,@Se'Q>Ga.<%@fM3Y[̞,ݘ,{6wp בMv!m4ߗ&NY]γX CfUzOfh4p=Bu;a=ZED9Lt 㸘 ESN0dY&#,{"_LfY [ ,c𐕐d,>&՚ i7#èb`3JP'k]T*qQ֎cxIFވgrSg`jgaN)8u ʣQHڷ`B$M.gES*&(C!|8} 31[DplsvPW9Gkw=OzM˯ LdtdUD .4:a}1֘ffu|͚.~8FudPЍOD>]N^HD˷Hp n¢.Tq%X1VFCr.3iX:OE/ysPC_܇3%Kɋ,Ýٙ3gΰZٻԇ쯈MV@@$@A ,~"J,~ehm 9mSUWf! iPT+/4k4T+9Pepq,|AZ F}̓$ "]ӕU(Iø*Fn?M#WYv.a2j'6 cc_^f##0'*ԾzTuBmTvG-=^OƁ3lN 'T$1 .ciBO4H'N4lQƁkv-3 |n^#1SS2_"ǣ=F4کzy;UjU!3VWpP{Q:84E nSttN p0M;<%h"izz&9>a~wJ&`5ɡD%^ !ӽW| t{M`F0|d_QfnGwL 73  EьQɁvڈa4@1_gfYmPk=ik[.f zq2?뭭jdYO1\N&re/죍vxBI|~WQC7iCm_?K\Hǃv=,*)ai.]sc"asLwq'gXqu좥 LȰ|(xVUSfGgD\ֻj(#G [V~HT.vqY-'հoO~F1Qk4-1 YjB.tŋ+(tʤICIGʙ*iC\qp)ct1F53QPO3UY2ipҘ+{w 0vHtL¢o)p> Aвd^@FuBhC}ȫ=yu{2M'ۘx" Y__o{,ٸwQ='zXYYD+hIu:K:F,e}R>ssNA.\3Z%'hw.Z̉kl&ʢ&ޥ1q+O?u|QX91Ƙe j9MH#<`#q؊c #!E!xKJvɟx24ovLf,'nv͋cI { c,Pklthm!?b2 Ozhlȸ4>1CcLPLqcAd&ᙥL@)|s a25-f*K{ Q}4&;e#z杧f>&ޅz_"{DA ã[cߠGB4L[h˲>{s^B/>-nETWۅK1ԝX1CWGn;nN t ;gM5JҽbޝoN%IjXvbְhY$/b|9v`ȹ};c$Q:E Q()Q'wZ3v8s9wzkEw 9Ftk͵Q" x.XK [4\qIn+P+APB1X{>'_f*{>TdVfY@;cy{?G1%y L`g8@2\Yߍ7jEz"C99\I!㍉{5`Oc@T&'Fq!޻N(1H8٣F%C?sAj% woaQSi'j">c[#9!.3#MX?gnz""Gc%N Q>#:ZވH?IöX+K1V0VCjnAƍg8EЫqNݦsj|aG;+AW?|L&PFm)Xz^@aMJebkqQO  O?x\s0`s5~3`ĸe16r.ϱBAݙ,PPK]HFcnfformula/families/counting.pyWKo6WAr(MO.Mtl/E(H $R%)m{gw 6>29oR'ߜF/<"œ]+靐oHiig?xΥV(IJiA<6]Y*5(yKre#y%׿mo,":ҴXγVE0dV\&\*ϩd[KLpK5]U\9K%V%j*رJeq`v>q\6h!SL=횓4g( Ek&v ٭ 9jц }"Vj+\DHb5Pygƈ`pcϭW%ទ=!Z!2P~1GS1^f@pR/_IXpgے43Őt NwD%g慙Ծ/6!jޭx)zvO/`*m5Ԓ&2!Y5qū0&>7MϸL9ɀ.ƭvmv{{tT*;'Pd1^JujE_w1- .K k01#MmD)wl|s jȌ܎fGdz;oOվ;4GqXZXRwU65#{vt_+bb'L0q4HcK).v)-n%-}=&b jaTjl$bxg;vfeT pjLņq# &heq**'#a###7*oa7&<-{]nwm rCO9oZ<&_w '4A8ۍ:o_i:fAe"iO0 pgk ЕsiWEq~JI(#_]a,sjFapD" ς?}* *!39`'Y"cXyruui'hw"L{s4F[/ 71 ضčZ% ^GÎ2k{Qawy ͇Sh~l 4U MۦoHc rp$4M7|}c?xWv{x#S4zPKHWS cnfformula/families/counting.pycX[sWٻ$ bȉ)K"0%kDŕRƣe5#E<`xk<7[M5!X`֗H~"Dy*L;=t0nƞ{`Y<< nSE$!Izy/D4zI&T"s+W4$k_X"y*e,#'C/rUi"U慉ғHPQ o VICh[`l3F<3al"L/$UGYWi3N~TeB=\qNo¨*0k*JKx|Ϧx&@˛{DF|76(\Ңa<t\='xd /$eUO~ %>5.]?ѱ햍L~+q$S$#v(m;UjLY{vR(1bd%ʱ-IR(mf7'{Ol{[$4FI#'H!PQ}~ol0iEJZZָ-)Z>Q#2M(yvm/i˧wY&w 4Ģ3i FO"Ҿg<]'b"hFQYՎ=?[[[9"&Zڛ^FEgbS.[$ΫXDa25.]ՠ+zxxPN]Ix^X'@dyIW8b D8jNu 6_5KNUd@$pf""AWԒ"yY2^mZKƊ٬4nsƚl2o gAh*1d08DPI1۷˵ Y XL-8 HZBG~+ U "E@JFZx5*)erH+"^f TlVW{RD$/=(bp>3;MP)l" $3<As0x_p`) m4q[\P b  09ϱ; 1{|>~~35%r|dbY/J5*) C(hJt ku9,~=ٶrzEzrG>a,GW u6@-:fpĖrnK_)ȒnnEx E O-CC`"4 DpM6eJ,;HZm'r7nÈ:A.bg!"G.\*Q<Ҵf g7I Ҍe9d(s!{u.,kQG~ݣaUkf9pIx+~!9i]06ꗔl*O w y]x=ɫpl^E-"/L{m zU5# |T<<ʂKZunLM7u=naHhʯ^fovwi=Ȼ ,;>?\ yS9w 2572L_V%R<޶inZM2xeb`W,V{%V#X p#ՋpOZ,R׀eQ,]23.?Pasɿu(|eMHO)%TG},v0Wcn kƠf.\ߝS3PK]HTv'cnfformula/families/graphisomorphism.pyWKo6W:ȍ> l6^BKKV"Ur!%YqѢ47/UeR+.7P>ڵ\~s J\]W6h4ZhVAU(]Ea+V)]T93V$2ނ(J-|Hs!ys,D#Ju<+.cS-UL{+D.QkfUcR TrVBIЕ a"0V، "SW-sE JK=OOO>Oϣ@35X ׇ-p1b3hr8Ok0`S\j9KO .b +Zhți0# _Y9ԎNPThXzk$x~u Ao\ܣ`X(2箒# IJ8Oњk$$ mD79\|i}4 |KPᴴ/5dB4ٗ t66kh9a,lnDk(]"qaAc/{? { KeXx)oP&9 ?t'U>\Ή{{A#gARM qӼÇ=G '0 c@Ǔ~Yu>l֫sN!j$Sqt8]Khk7847øIbz23CBnjmźmy6a} +l*c[6Wذt kl۫¼} l^e{|kvYUkXCE'Xp}yÑ9VJY}'x_^6sc9u6eF! =]lAo$eV l6'e6F=qϤ̟@ ~ v_̆M1D㍵mݲY?T\6whY}u,_601v՗!k6%=G `O0:iZ2@ h"#&Y_u^5Gdr~ˈzGd6lчHX|I$pnHkǏHA 4',][Ki+ K&43w aM#|?b3TSޗ^KL Bm,+]ElIL$ r "+n~$Jwt_-<t%I({}<(+\wQ[/VD)ʏ &;kj6lXx(va=a=kI}ϗyϟ> s(|/X>f֋1e>%2xayrJ38r䮍J]cky^ jѽ8]}GUԈfeQ 8wƍ-#bZ" #7e`ELBB]K<,SPyOAeZM{{Jg;3DG7`rǫ'*%gvhMNKjNa&Z1"s(yvG }18*S)vûEQӦN+(Getf Ḵgyaa=9S#n||k( lz/G0i`!̙XhFE͘] ^͍ā81ΦdprrBKuBxNHэԀT bBx2UBFRuޠb2ŋtGX||Gj5;PK]Ho cnfformula/families/ordering.pyY[o6~I.A͆iCSDL$R ^sHJe Zwɓ_Z=r[RB: Lf6_y C 1 FJSL̨F^odN1O0$T+ʜrQM})4M͊%&!!/)Y.`0PVU(V())O8sKSkYɻ(s2e$eNDYJrzl~țgokcB oc zDB* [rkEtY`T@)U@1S*A,Pk߆M8ђ$r,qpp-pSМG1=<Ǐ}?})b T?wodJkX+ ޓ]|ivqM2늹-R?=c#Ӊ o+>s0A [+ aAO}kIth[Uj1uH!&Mzl 1(Dkp(8`>7+q%Q-Tm |i:df_],S+ _P jhn{5x a^Auq ȰIe0l'(:S޵ @Ͳ~5 2Y@AM6Tsgc\+RPdJ;nP.Xg< yŅaM*Ux0 ,,F^R\**,̘/# q5@sVdC lxNX s.1| C`)|Jۇ@ATE~,׸=j;pQ,N0҈iLJ@XDCmOۚMC#gc2Z{؍yp"5ݬj7L7tE͒MFd[kGxKْt<.|lRM0֤ӀYu ¸C 8oZ*4q 㲩;о@wuNh6H{o_lcF ]N!rq^?SJ %fݕxfL\9KE77d_ +LFlǾzB!?ӛhp&}9[Y]y~^7`.Dꪗ{s?-yb ?3y `&X|)šBߗht&/ۭaT4cۡkfۡha~TA?LE=jb~~/?+̕?=wm y#t95p:a7$v6nQ=&w<] Õw]GN@v|@$#Q'aʲrwj \PE7)-epM},dbK?10~̧pwY/tP)oYL΂)8<)%epЁꏱc,&Z9.c"2rŇ &.%,)#s"!q,Pʚ a"'SO mpZr4xYAá%c$0:- ]1R~[%6`j3ҙhm&n$ĕadbgVJ߱I-ş/W6wμ1q"ȵӋM$/_~_op _ת|&335mOY?sk CTWs WWD˽}VҠAE wap9ԦjX\mXYAO Tϩ-m*2sdp?} 0 cDQ&>cN"lEǚ據ofNz g\òz9$b UG䁎!j@(.PT))f_$iJfFf"R_f+#,k1]`Xwdy6uW#}9H8ѣ{l酖mSwqpxrFܺ1RuonB^s&ޡrkflEeA+ {1FUSI݊=(d=y%~wdX՜n1vamTK @JFCC *5^sgM߃{^gRb Ri&/}~Ig:! ^EDkbHqZ<*dUT32ўGa,ٛ>',iڳUԅPVRVxx[;j *K$X!섶o~/c7G5舽2A3T=թi:`]x\-9 @s> @kQc8 ?a%qF@g:(~pYKՠOm< egADBoezCI?jqN4`NP_k"[u:_X!yRXY؁< N]AִeU8mkE^ԧE>"7PK]H>e }cnfformula/families/pebbling.pyX[o8~ S FQӾbfۗ4iH )9qI]|{XA$<;sxdzL>ruT蘝%*bTW҇`(sQY*S9B(T9u& \ιcGGs 󺪵cҕ^Lޑߗȹ?{˝4;2| YBJ+,*+JdU ]N$Þ]hEgR4{'i>OI%E^ }ty.y)~R1gq-?:3SwZ %xCtnPp(5""2 $Hڀ]ƒ.="DZ,FBHҽ1AKw&H3kwq#:SYʬ HkYz{<Ѿ%pɦ غ”٬DHG$jbbТҜd()a+3>˅Fs)FMQ;7uٜIxʬ]xf{ZZ`G$/J? 5t=F FU <'= 8-ǻ|lDGO98YJ"7hO ,HDt#)ls$ZM;u(Q. Xj1ՐxЫhK) ZMItVZ^wK8+Y>;2=th*xfNz9 )XJĄw4c(yEm*6k:!pvFgQHQ˫**xa\x"z}zӵ֯CM1; UWq*Z@|ĎI  |K |[))7 we@nri#д~G4"%,YٺkAIWOcFɱͳ%s:ژ AwJGR#JnsS7*]]3-8F>[2}sFh:ZɲqGO"p;eYt9=A${mPBAyHP'MPŇbozkXSА/Axʫ)Q/pjM@;-g;~3eُyY|Z7S'ݒp٢)66,oN 'X@EBfP;B 3S/Aw6}x/cS >cl-VFL]L[Ԯsr6CHtsuKU VM5B`7ěuf DDJwMU+?MvV4Xppث6895bsR_"Zr)!{7YEZyHƟH1z  Չn]b)-'QJI UXO2l1?f{_1p )6` t\oGT,x3'ۀ&= ;Ogsdc6rL ii$d;}?6rm?;eMA$h Z~o=c!_M?;6Lg`XsC<}3k#O"AK7n1 А|t~~zr0[AY<a3 hSJ#^仨/xbT׳hlED|(4yÎ4t=79y4Sm0r¶/p)r8ahUM7vrqIuфj pcu=24^~JK=#^13qήk7hz6D LSh>o۬萪?+k|Pv xn`M=PR9y{uzQ1p}^5wgu]f6:*9 x}I{}RtAui*M^-;T31@px3;QD|<0+j2^lzaۧbIftlVz_c/'qu%Qnϭ!ѬAVn4Y.fm"Sқe }[(qy'=aqЭq8FvFs\CmK8k}Ⱦ=ĜP G7>tVRl!l<؞zquL"ͱzOr6yr̼Y@+|M0PKHskV# cnfformula/families/pebbling.pycZsGV۲,;gpym%"( v*ƌ (ٙݑggV3dk8 NɉWPEU;^ʲ+EɅ{_~^ ,;?C{E"6ؠ)CLa  5$6THâUE#jtX5&6T(hqhMIؘyyFloL|B, 9-90dzyH$7j%I(62 Q@>MQNRC?eHZ.H5oU6)R'UiWTV8]5#L+:nƩ^Xz~65~,TzW=7ݷc 2b~u(V m}`WaۄH֘fRƖ螴N(suө[~P =JM=Zw^xE[ r\Br(=||h\pú_&ڲV J{/$2Nj@p[ s` o` 'Y =l^(Fs/"> ?aHZ&TI~ g#g$1yVt LaL6d%3Qq7ODa'PQ:-F)X TJ2TbO(n >4add_Cc0r[LI"{#dȼѐmǗ_a]AГmkbQ&DmP)d]kaw`h OYΉG{,{bLkGπ~oN9VSanf 5w#ߌ(8A>÷dzMgج/؍GұhNPw:pK6$'y:7pȭR[N@O罸#yFIlRQX$>}T*6cjb>oiy4b|˜6(n1g ƗI*LKB r)&/M9+D**<h, qyDXH9<:Pp1vT"<( $u 0b[c{A4FQcc1Ac&fn^CؽȲ@~ڻzMpPX ŭWO0]^uc}buUHv(BGATM"sI|l' ^1gA~c!O;3! Lc_t6)e{ Co:Y+`-B yAJ"pOihM")ͪ(;Ǚ˛ YNh L@+I(]~BNj%pVm3J g&zj#XgtVrϭ/'fG:n3_QG Ӧ::&HIP)Qj ܄]qIs*;Z$Bb~&4{[;wʫXR֜~eݗJ{NEe/oW[n3 tMiA jKIKdL*j8e:5QExRA~* UPxB1,_WMꈊVL\$SnЍ< %KcT]VUNIR/ĮR+.IܨErV'I!0m'2+asb\2zgi"^=E@'Z!ds?F9O3S҈ Eu^VT` re9 LpӜ:UZɶ Ī"C$lGAԠ9P*gRNپ"v`!f&j:ѦcJQ |leh 7# 5*R~f$ȏrTOtIʆӌ:+nźȻ0GZnVQ DK{붟"vVN i!֛T6RmTLA> Sx[;&~c {=zj{/v.Mˮ0]> 틭 ߼ujC6k~U U^tҹR]{+a+\p٩j Ȼ3H+\p%;sQRɹӚ/%sMIGTڨlnp_^1·/v.w] ٙitq]dZ&}i W 1fG)J@5; jF.5UTl+;6BW<rf(#/mT}62oWXɳx "1[L߶DŽkk5v(ՑWu{W(yw<ט+LI47S*,o?Msl_M}u :=H!6 `R(rձ/rw({ 4T GQ[1PTpo:X_dƷǐ$5K>"}u899Pdm>'2Z r^Q-f+h*Q7V9J$2I3)@{SPk"W[mAEb:@nnӈ.1BCAG&C;'ۉ I0Ӓeڢ:U/yU$U5ߋjlRe:2bL/F 8LPn3>|;d4O <6 y'[j*_U-*tGEnpJe!.%c /H-_z`X(9=ƟQWQTj9VXSjCվy8̞.*O1G IyT荐`u/d87 S곧&L}2m=񜄎H..ɥ3w΁RY[0a]"0p+=mNHrK#-vǥu\Ia o5&,*fXĩ?!X,V?'g_6 vѪH]Dz`oԍ3WrOݜi fب{u u.GV~>[@ʇY.~N BO.'lTk=2}n(m;8lWjVvoW N*(^i 0%0+Q`, 6Pk sE%A\ﴐx_镻}smq|`9u,sdRG?(h@߸ߢPM?* >$O;fS'ܭMF'G-l" 7c?t}[Q47VoΗiIDlG-zN`Q(D z@HǠy:q'b%vE\U hܨC:tQՇSS)1c&_fFu;w9|-<rp-qM[fb $|kBtrڮѣ ;wvvTT$4.]j7jobw2"@"8/4Ro9?BcB5_P~n 5JS7jZ2P3!E$QQ|UHޏ-,|kP 6iM1&4Ahhk\ =80!u,v[r y+2^eff'tpqI2CN;,݄cVISTpiD & I _͒މ{-maܱZSC7  ݜ)& U(sC"S/5\BP2JFŬؖ SG*Qc8m7&GXM4|֦ M [c~DthChM*h]Ds%/,[޼?G1Yqf}d;YY$z\ M.#Q` ߭~6A% rpݦ#KxD-?BQg%Q,V^ݙfojhN&! 7_օڀy=X "4kV} !Fv:at7b<-,Cj#xյ j;p¾:1:@V<$myveU@Wj" Vf'QER|ؕnHʀ"!FX-W38Ajy.9:"]-eP nAe0Ђu40m/ srzJ? mkVi,q-,qXT6 p! df/ua:g*r跰 $āp"7Û}Wt4c_b(ᖵbNLzSW(hLoC} ݃_L`~J.z_Ͼ䪼kc۾jc:|5jآMJup+3$I|[QԢUBQ=;+-DIqÚh1.V%+J9[b&'s鵌So2HэP5BT7k3]N|2ܾ~W@gءfB~/ܮohjԟ=L4}KUE V;v5 %Kauh<8` ЧEPk6y'#S~ ڼ`B5-"r/0(/xis28L?nUb tTe+bsN (cc e6;*}?{+ <=obR.).~ϟsU§7 2-_{lvn uwX|ͼr@qܤi~zQGU/)KY7 Mz-fd2*n?/@H_TB񜋪sXV]k`4X6#1/XŨ{=-Sz:|JtUWsi]gT4AU- #sg1v:vP_,8u3D_D۬3Aj#dP;g{CENn1APLsP\݂/tꏊI6fl} c/t>fF#j$oȔa>-QU$Uinr_^8ڳx^nr,n7PKHoj' cnfformula/families/ramsey.pycVoE=b'i T]$ |E%* !#9u}vֹsnAHH/|E;)*rҍwofuwޓg_=B"=+UWb]+U7j-@܄^¨Ee݀& s k7ɥ6qœHY9H3U'9:tg[o|OJ~Q(/! ҸoL؀C2{4ggXE7*0` |wȦRPڹGa }:L,_lpV_9+xrl:w0G$xV)~5.)x018ʠk`y7ŕVbgڔf2M2n_2}ɬm| weՒ| '\ngَ4I:K5? 2}s??י3.⡦IV:@tf#n3-J35'92n_&CqΨ$$ L5%mOOOMnOSm2v ]twZ:z8SP3TUfT?Cd9fZF=AkT/Y&8v002s}y"PKs?1Qu R{}os{{$NG[z8 MdʸM6'nb$,Zd*Y{WƷ.Vk+ݜ)y_hل= MPl8!IBBY!ŔZnkS4b8G&rM͵NEy+u9=ߏpѶ0 pMޑ[$6 BeL4ަ^q4[SF+uub5z""`_%_-Q㐪1_|v.Kp>pGDF6Hhvbfb:CL4N~AE};0K#8H,~?/.ۮPoI,y+b{ckIPK]H%cnfformula/families/randomformulas.pyWmo6_qs?Xne'6q-X0`@1žtMKgDi$+wINX&=.:/R]hF%/`rySH_vv7dN-6*ax9Id6ڂmT&.h$;Mjւ^!^,QTxfg'jYI4 = Dgpmf'HdW5*kf!??p_-Q =*'S :`kT@$$ՑKCь6X~$L ?t.uLGۋR3,m*=j5HzC'Q#gB7J VOe4N+͊\#u^zBh23h+,^AܚoB* r5\]?-ZEJflG^G"/r)ng.Olet6lJN!Iw=H}\ֳ}:.܅(RdP9-Ǻ@eG2.nP%-ӡp(CRqh,QDhQXnI3EaWlAlNH{A3Ī`OG[g W:Xy{Y Q7ijTc+MIBqyE&BD)R">,ι]R:3@d(l.ưM^ a,7VTVS;ʽ_ !Ip->Nx됞wO 4 ^UiM9x%j(ApOQtBť%ZL͍(/R?חc-u[:uGק-GͣOf1ɭL݄B1JqP7Ưߠre&ā"A7vQRRbV/_]ι{B(ߪ}TVUo-/BczWW%![&u<1o>gA?N*xuO*XM]bn[;*sy=sĝkqj*EafY]MXMfRc[걭3L=d!ZC4S9'{`#Ts=[k[XP߻O>PKHZw S&cnfformula/families/randomformulas.pycX[o>H*E6HM4Li8BFB2V@vG{vT/uк/Z9gfc/Agr\swۏ~%?{ 85pPa5_ocyT^¦b>Y`XdneYStjc[KQ"T Ҋ?*'spPxY' #Ǜ Ō?訋YaA`=in%~k4QAFpV~_>8@RMmmw[, xU$ C[^!i'h@ȉrp_S5Il9#X9'}@/t.%D@bDW[$_G? eX2 jT9?4Q*ѩ0¿.;\Y [ 8Ggm4yqJH"ҴGpKB NBuJB;wa2\s>m"8@Y1{ܽǡZ k;xegØuU\qՠΏ|8j͗ai>ˆGk8OȮ)V~?KeB\v/ƚ P 暟0urY3K 1$ERY1EZ)OXɸ _!e̘{HIX7v;k8jx H=9qr07*cۖݙuveߢ1>w~+{b[oqxSwDM-ފ/+dYdQ96w5Jyu|7^o9{&溣XE$0LKGk9Ww0hMC+Jͻ݁{?,!fLMnNyzafz%Lx\cچ=t푉BX**cHpNӮWeoqgZХ,|ӡȃ̙ި6Qa.>R* \IϬ?8$Ϸ]z^[fQ޸ym|'bq6<F*rKd:z^Јq15B(-m~~ iJ{R,1cZf ok6QVn_ʒv{74}Fςjɀq \58̓84?@ E`n?pFI{VqqwC+~B1: [ϲWk#m>U4Dy! o Z`>@[cpjlZ1r`r _ulo)X/pwN3Xͻnc`. = \J>lSX"to Zx$,䲕ͳ IX{Qj:0x㳏_/$.^w-I_ v*]l{_{EgkMԟ']p"OPKHϳNZcnfformula/families/simple.pycXnE];v8$hPHi Ui%$juHncgpwǥQ_^!&u"Po{9ҟ 5"~d!1g{0/ $B`F *¡vUhjF$ĉ'؛-xT2jc1y=jZ1_G@Fq_'?mk7 dؓ! #qADvnK3WX 22ap>Lc`3x4B wY*vc+|Go@ UpM}٣8&(~~FA;bx>bU4 pbtӳ9X2mGC(byiXԢ<{V5VF>* (Vѣ 4ڎ=*Y_i ݃>*n %j +Z}ʧ@5Pd;NNgNRs a0#s:0~~J*oMkݠVwgx-fsx/c%T(&\ot*Y#ӧWű!4uPG<3xT.gޛbĞL ?~\)h*VON0!$FA/>&pL\Yyyv̍C4n"- HώeC^5 FvWpUU}}tBl1 le댗qX4 FCN'}wyV]jc PG33bhj&Bǂu%Bf S)ŮQ1癏[i *6Ud`(jEtĚh)5b m!x0YU"fVm C*?9_q&+.i DdMo*?݇c-oJ{ckzJ.8OzSŵ ' ^`ހEZBy( pTay/^TY6Zn|fZj-ì6;0Wa"tHuDsoPd} 2bgz==hdC)6oLNI@ϢVvh;vsTEcW> 0R:IR4ƻyz{KZ8ZP7[w헰VGFd!Ϥޯ/ 0h^ٖ|u̎S0+׉+ 8uk4|\>3;*68ž"էXU/ :h?- @u5)\ {๕|l^+Y7[PK]H[cnfformula/families/subgraph.pyMs6_"Tv3NqZ (ۛ=IiÃD8ۋJ+.^0'J18'oF$Ie֣oqapvvϢYKA䚬*jbԐt]6[hZɂbJxQJe7WEsjwΐO,/ N gM s{<9/7L)s]Oe* YO fTijM fݓ(e+J!ake=+]rSH5ؚr8H 0̩a: .c<V w:IS^826,An*ײ`sFAF-G+WfmavWy C9 hRӬՁFDUd,EUi9  7fDtph!F9߁[Ik9cTJtqư~lѱ_'ІVjpdn],_EDtrUV(reX|kR|qakN@,?|OMc[W9(*6,4"P0,[tHam}9³Ω gA~ŕfF;=_F=,z-ˎi2z>maL7SKݴ\׋M6C"8q/odj ./4[M=RgnFbv mCMܗؠ\,*9$V B~LjqW2<)%5m!3"U0K~o^7\P2yAK jb8 y|혳O:=l\8&6f>H:p﷬iĐP%|/lӂ: 08`!(,7h:,c:ѣ׼?<4Zg-K⧆' D\@֎.V8}6]Y33Qԕ:Z8' 1ɡg2hL#@!S1ׇV\2&Au'~p ^$aqդh7vT>\"EAX4<£@CS; jBLTZR08&zT3xϧU-|u~8]UӄךQCb1x1=ՇYwpPP}dOsá3 'Zg:@v. PϞqH Ԗ'Vfɼ{:--4{n<5^׭ i_w2U0> @+?u0(I.#mKHgjM~vu[ kN]ؖYv4p v ztxuvHy KZYr^QIL&C0~`]#,upn#rL{ 24#8ׄm»Cmzp7L@5 ݫabJ6J']4T 6L3 mvWbkYGW&e^dr3uWQg0*WX}|*X/+w2oy~([}]>1zJ.]3=̗aaxu49t05ʫGt.?)ۼ^._BJے?Nԯ4Dqg ޜ1!bP毥V<|}xki7i:oPKH-D I cnfformula/families/subgraph.pycrI1{F#eٖƁq5.6~.a ̸SL?F]=z"/8Aq'dfud!]]./_t!yuI4j h   hloBPZA OAmҾ/B07Yq%x9P+,6%OArZZเ2 2π 38,l#!aX01HǕeR|;2a$^ZѶAw8HM0KuQ%!1,a# wdHϕq` y#El:q躉1Vz,;2FÝYg4|ta46 Ů3]R)D` Hi6 =Co@M;rg B@2W O mӂנg" hVzS!v D̘(@ )ڃW-C$MöDOB;jMޓ "g@ISuԙNZ)l,8"À ˈj ^̫z96,y &`S=GV~ HypDĨ3˄ \ve,@.%Ja^_{@ޓ{$WlNޓ7cJƐf̓(g)tڝX^1]F3)pH{&mZ³2{ Cl9#Zb&Y fhG٣mamGNg'In\#juxҋX9M}j"")8%&eA H/KX/\~I/)|KA_i/AkZ5Z|řS[|U*υݰU7F,HS,-PgL6wO6)JVJNCkG&;2FaPYQ()क`Djd'|ōIvn<}rBիӕVhuA}:$AY+Ku;^p턖 ;;!1tPށX(*i&f2?Y:KGb)R's%ٲ(dRI$R 6Yw}5}'v&{?BGqCKqFpdVK!#ΖI7G`; ({jg>*=7Q5#Df櫬K#] Y XN+ϮNɋ"6J6&w7(6#]Ck_\8ڐ~>UXAa16%+Is{ RU2ø+m6xJŬ`ۑNfz] 2є3ekf^naJ;Qaǭms~:~tTBnqZr;HGJЯjQ:k4͍C\t=qu8n7U76Q ҿ*ͫnzTWs#w1QJ[ڬ, bYS6ƼX2+ƚ3y0͋fY\2* sE1V9Xl\6/ƚ( 3/o xK27O7.Z@y.Ms2K=l]9W>/^+XT}"jx'/h8_ƥ?#2BƱש!g%/+?!-tʼ¤Pu}rOnR6 %U˼(5L(qB4ˎ&,lKƄBkMDêԐگ&NᦗRԕلw $"EK5Y}LJ@NgEz%4B6,BR+n䫾>[MN;T]Qm Nmk˥EO);_> BVBïF>cBỊ߮kcEhNV:|s47t)nuiljްtJ"ˏEWIAp^Q+7۷FI;ZCa+ҩz@觃]nxTaRYM\se-ȑ2"꤈ ؝־dDG(^lg#Ѷ%RuaqYb%G+AʠМG9H*hf^1$? fdfDS.RqeqDO"}ZEX|խ{,3˧ɝ&os.d@isZ?ca7O4m0sMH(ӟ$a*̰6&}euJ|QU񪲊HI*x0%Z*˓aG5 HT@;"VhQi~beTW4TkPNߡWENÚ==Gm*qgcD=~(5MFe.q>D@EX}z,μ^PK]Hl&,m(cnfformula/families/subsetcardinality.pyWo6~_qK,{h]+NSJtIIӉ 0!dw㓟<[kX]L'0y:X'XNKN~|0 'u:[.,:BIw6ye 5:H!W88a(ڐ(օuFYy^ة(*Rrabj gȻ 22 (}MdI@dӀ"Κ5R&P)Lpxly_yIcȤ͈G>8^r k|Ê/HQ8[;$=214ijneL#ٸ2.8;p4Q$p+MAStQ/лHdJJZl.'Vfk诘5_(lHiK Ċvd)let-7g**j=29(<[RҡYi @;j@oC H뻪6C eP\f m2"AN-1 Ԕ|`_o\? ;tNAw^;3HX:SO0$ERI((Q,pXWbyN5=sS)cYk#6d50"GtO<)eG 94U;9^xp!3rQ:lICxd-sxcRrW%#ə{aiW1PЮh23Z/WAКthI*d+%ׇn1Nw!@@eMMO¸AZ k^c욙) XAl^xI __>hwyNP֩"RSTW#**uPϊP"Jɸ&<ӫMIߤ_gM&$|wg֔+^V?n`oJ$]rP݌ OY. o5q,xuI=M},el=܋SV oP}⿨rOV7rI||4:)ccw .gpD9!M|45j;Vt٭.8#WbmƤ'2vTg+ѣB$9,rxuKunF 5:`ɀSI<><̓~T5FφյEeXUz'V >f%I+3dTG8>BlT_<,Kp2;='8uzBE5#n*;V=۩/|=i[n۷R'uN8z\%2jmxRC"PKH 8)cnfformula/families/subsetcardinality.pycXKs %Js]Y;UA%2sRXC"BK3 3C @={JrKCBn)UIwcfHiu\F> Y'5GX|=3WX9֞ss4;,v3E^t*K,v͍,_w+lYȾ+/e6¢%&.7bwHq EЃ<C-cXaUͨc"1Y<SV౳#x452 ̀'Lήpr,Bݠ |~:J;qO Ef21*Pfnxt1!*Bh9w 2ng0!X9{ꠂs,Í4'l vwؤ<;"d9Uv /;zʞ}ž=v q|dz,?aVKEK0,x?Al|ۉMdUYU&>rFZu~=;Uo'#?Vv4:8|v T$3.xcaI_r]jbm_XZ c9ɂ`PF=iJBXnS.E/V_H-z\,Ցx;Af*WZHcTSe4 S)X 58l2T]򮈕V΁eHL_ XEJF`[Iğ!QI:";DD Fڢ<&#J4auLg&7bhYRX TR :2sZ=\؃ A[H< !p N 4mόd`cJ !{=yONqRZ7xu:5k`:κn:jH^LB+ED22919( ]zѵ{/Cܽ IR#ݐǯThr8FõC{|vܾLq$2QΡt Tgde(ceҙF).\?rH9vH lKx] xISȳI)4`Ġ>̼c̖E3qɮL mmLiJLg 9_0 mAم>HK- /աg044_Yv)׍Pm8v3\ S(pUZjD ͟:>on/ [CtkVds@e&,a 9̽a쀤~,36Bc(U=7 15>,k) ~m~H~_$HY؅`]E+c"&Cf]@"D7_}\G\C ISWƄMl.Jcg `*ԦT@~{sݍ-YEKއŠwݻxu]nW3Ekg'\Vv=~BwQcB+- [yVa5]@N6D`Tw1}DM!4ЩCs +YCPJ٥lo:Oؖka!3܋4?F{n~F>\BgUk{|_oi.Aj_2ۋzPK]HF_ cnfformula/families/tseitin.pyWMo6W I=n\l{vK`8Dl)R )A{g!K.ę7oF7w./ܓL|FJUq]t/dikr%øJ7֪!n oZ-jn֥jʥ=TK=>s$ui$I’RM|:8Rӆ LT&2I|4d~x4}?==M 6;7*Γ B-75,ijvB%?xl M[fu\T>/>P*<,q0E<* 7Wi͵dπ7y @vNI'3(0mx ځh!֯zF1;&!LDE 3L]k~o>M*f2,>.y&xwwL0yNיh@erXLcT$wDV{ k+ЖXEЈQٓE.)cZZu4>6rʍGFNbnPЪZwF@&a)jO]mv*) nCYC쨨Q`6rpcȇ 94eɪwvN4<!Oa!uώ7጑'PKH X cnfformula/families/tseitin.pycWnE>ױiZjAB (UKM@nEl׻cg3. %DOxބ 3;qUPD3g38Rw6> #6@[K<.AdeH0@bH\PЩ]xk 0`*<L@? &Ds kk$qo 9t^(8zY>'%PX~ a3 Xoa*qgScR}7Fd$a581 p ʖlo;;;v.MS~]l\\Kl}pcI֍bWAKW/]ZA2YZ kz0Nbִ9Ѷ#Q_ !Zs>5!A'L=q FiNK'NMh%eHK6Ԭ] دtWP*iZ-J )5a L0Z=z?í-5RNj؇/oa<ïTVa"yT,ұ 9ްL8ʠ"n Q~Z ߠ D$ҋX{}bj( hŹS4^${8qH rVA2q(Ddba^J]<2^ܓOejh>^cDnGyVmGxiIi$^t,i$+^ESt젛ȶk:麕c-6\X&XIVqA>݁U&~m{ӵ+֑t'Dk%fxLjQHRiE!8Β8[eqt'^9L|n0\ 9:~tNd9 4,a[dZВ AyIJobZX"5ϷP5g}+m"6c!,By- "}|Yh!)B7س½ȳez8 2J=K ջ@Q^Y1J yy' Wgq(ؙS?n})oFtԶFI}Lt >ԑy35IfO(q2%d4ق+¯+u! Sêy!PK]H&fI cnfformula/utils/__init__.pyVKo6Wڇȍ{* h"hEC4إH츋;Czn><8}V{{4z 3ԻM㋻Y0矅qx0|P -F /S\nYaMiZ4 XړTgZqAcDg-:y)8tQ!йfAtl ՐXI)`:Bς"7+ʖp(b*A:q؅Cĵ(r`ٌhpODB>t ]M 'iHn ;"~N EPƒ1#@Mx"j*G m!1mN:ltֆ4ړC'JMQd=cLqEtF6Y jO$؍cAwJ |!9J\ \H@ PHJN!w8 ́회 #Oˬͧ5+Yag_7~qDPqt@Z}oJaE8tU]#78vU?W!>MU;b'Tg4%֚N9TRJnjuw[G8`iTQi@*Vpդx^f i& n{y7蛉)*x{?ޙT^SO+ԗe VH,TZkl4x_^\|a }rCG>D㙰\NU4nWbWV<"jNS]hzKJ7tqu{O Le+fCϗ}O=LX5%P^y3mBi}6ji*js.k@ԏZKF}I uzFKOnRviwU&?H<uKiYw֫!ztXc5Whzq>:È 2L .'APKHm¶cnfformula/utils/__init__.pycUnD=dr݄%,mK,쬔 A+  cdxlޝhg^G?3jfB`y\k\>us];ixx?%E ģLQߣ#TSPS?%M4),؇FUZV.RE]~eE.-r]tE/V+ O[a[(4wacvM9ɱч'xQ*Kw v}t7=c{2M PM 1<m 9 VNֺLV/8UF1#DcT&Oj>3AM5VԺj+jA5ի5|1 6 Ԝw_UU\`%MK>H ?HmrCh5fk$‹C:dE41c}p6nC|UG2IE ؒlv]1bӞh b`AF.=Jpڎ1"=ʄFnIU6Ggɛ0kp4w-8J_2LZ7`w9,Dmo{]R) "CY/ip3ظv䔙rhzn0PK]HH:`$cnfformula/utils/adjlist2pebbling.pyXo۶] 9l?l ^uS(D\$Q#$ưݑ,Vn X羞|wjuٚ ֬f`27Fp F²eX׎ \jK"yc4Ⱥ܂p`,M[(6VXzfHXbnwa-y l֚&,=W?ưR lUdpQܝ&AE/pŵC$!USGa ]<+d٪5Yj2Hq΍@~Yj#I:JvDɖ%όb;~nC0(E\ #g9cVwL4ɪbuTo,Qge)78&vZol_XFu>$MWhQ e*ӻ$֞tp&=~s0`[!T 5n1ܳLD:5`ao{IO !.Q[D1PED @k#tz(zp>",!ΧY + jnچ0L4DN^8߂H`kX SvPBI9[v Ce"Dןb]Š"c[f5Mk80lP|!J~+Q J'vg2N*cmip Ʋ+7 k*5(3 A g%Q#FmL=ϰ\HQ|e06t0Y/_sm՘]m9NOR 0+al$ICm$+5Ivd ԐFzVGcpL.EhX14襁)Z3ld Ipw>H`a#@o_w| \Wݡ{ QMLlFqku@71Jcaַ,n,6a):b&% 2c9k4>0NH;?V]|V ] /mp,qA /`26=WWz#`Kc"4'0thG4)jiȴK=z?zbix6M{qA>uwQ&>vt'g=#$j|<ҤDVvu}G±#!(rP0I6ʕ;ѨZAđ&mZ=hJQ2&559"^TzItz˫[S% R4kAN}ʲaz{Hk@jJ!ivuDjJ85'duĺpH5+(O0\[ iyhk<'Gz`VLC^(Ќ]4$Aű!zT)QPns>JWۿP4\wOЏ߲m9P1z}y,{Ca`mMNA;+٘]r cnFXz31A;[XCqS[抪m0-4;ͬZYGԚ;&q?[\$^^3a=:.3-M0w歝OPH4 EvkTc:ZۃIsd h:N]8Ub0+8#D_4SCegN8u~8'Լpf׆YD,E4ÒPbPKU51xA8sQQon :EDO[Ф$ٿѪoouH8UXQ@kSn) ) `e"cX|{F:òp^`yslQBEb.Z/ %pp7ߕ~/ *ԥi|>Ϋ+6&V:$5U[ţP"mI; 9z }z+r7AL]6p35x=62T1eă>L#/fcX}"`}W-WS'y9+ہS6֊%ÎCݒ즮gJ_+ס)B1Oh '&*nК\ykj']>VEiJ6{0t:"eumO+h<IGizHZT+M>ޔ:;Η ]:Mbz'5bرVKϲM. FI.ft~rEdKRl1]LV7QT 2iTo)yӋj!W~;~OMC$</] [HNz_i B## /!کG=3,w~x`D?3H6UfR$wLβR IyNӼ%}gYqftY|OA-"@3ys+ `um_G-dO]H.>'7# 炒4.b1|1%cs6P8|B♆>8kR@0$HdU6&b1^KkȤҺvN0/ I- YJp秈)@eGH#)1+22Ԃ b8bdO*mq)#8 GdU62%q\C8TXA''a<+}S"0 A]e᰺9KGԱ9'8͉;d΍|z=|AX((C_bt`Gȟd<XWY˚z1Al&NbGvU%qGL@>%$`FHoHxBnQQ|Z9|z!1S'(U FXf4 ƭ|RlT vR'tEW '--q!KuⰏ(Ml:)Z̹̫S|"R=zTV˜qĒl,MĿa Pm+2QM{#.MOl+跚*n~i晦rvsx }`F j'9DEg}]/]%|Q_rEqRNq0ӆ (77\"`^";ߔ}CWַUggĸѷp ]>{ yW ܵu 5}tuC8\[] ǡs&Y q}5S?ٷ8 GVüc,2MqƼ1 [?o R0؃$) ϸ߳) +T]!BZm<1s])%9 gzK; Mbִ錮c\Mֈ513&Ŷ(cθL+^3Bz8]߲3ε,'䷍]#62zQQ8i%z;{y[?Eq?'&{[贋8;Nސ[|7#AEB\RhT/-~\xa* PKNeHH)8vcnfformula/utils/cnfshuffle.pyXm۸_E iciFU .@^pIhxHIyh )ʒvk<ׇ~=;M%w1evٙ2 .nnnފR5]M5UW5$f6+lH2›V*CZŅUgԳYTTqx_"~ \`%'8ߎ*N75Z E0d^N_!t}>hH2 #S1;&a/=BHj9~LbEMe#xpF-i֜HU0EB>p >bퟂXnJ!M (  ۷57LZ pWTla8oEPN?T,Hk zNțd]!Y5k`S yk9U4~C6MB#(XD4FfU1Қ`UE-aM 1Ʋ߲3)OX1 f~=n|Y.?N`vxGڠa)"+Bކò[`1:D+^.S[\ˡN V1JNrYGک $-?-A\J+,u UN m3bТȼT:Eԗ؎)^<M ws.BLt a!|iJ3r<Nz6>Š#ct7:j>3ƭi@]WHQ.p!:WϷ EYKZL`2ߔ> ΡOEix+ػNM5Pb ذ,~$I:T_Y.+h r~VIiUicB".C?Z3O"! ʶ#hrc =񂮸r޾N)F])TxI*B^h,F[NJk ľzf0@oWѱ`2Ep 3RX&ـ;e${rG*c}oyXg"gE@VYr x~ 쉛0^ Iݧ THBJnmX*uRS%.}VGX+*D=W~+om7`ER_rQZ' '\DGlI zJ5 <7k9`2 }H峊-+Qr$;| e#y.;k ș8|} \`0te7Hu}V3$ccTז?Poe)uq89|(_;Ç#dtlB0kfs`2! a9u/~</_}40%/W@yΧ/  u83`ue[%6tUg#5`ڝCR)?<}^/ (dNɐ?ϑ aGIk=k@|_:m&#Ē!{l@h?#mj[;X*K"j Lwޝw?z<&…7l:+R'fEw}F_~`Ț=W\LWa8r? ci?sVZp8FIB]qާ֘{ 6{f ")TNMJk,ED!-v"GF u4%A5, 7=PKHZSi cnfformula/utils/cnfshuffle.pycXsG=%K>"l9VM0;)\"u21lVsw+fd]!)>)xxog|UIۙ?փO%ç؁T@߁=]H]sx^|)q8i5ث!Oao.9JE/ g #A6'DĶۼe|:^'WajONd]?/~ %| T3"N]uII?(Dd1.=d6]8J'O*0]\&OTd߫nkp"tGDpU8y> SJt i nWF>\iS/uh.B (fw.)c\`M p.[%Eܸ09W8(d~iEo:+񚠳|eTˀs2nLpI kZh/nă4vJ:H `6 wYǚm޺3`WAQK`-gwXTxb2o9*]U-mJMda`*^X$ tT#Qx&g$ 81=v45 3MRB{`&2F&/WT[u4Tyx8FhmyIu-ӳeF =TWHDp ¬jn[nG%@5=?f&y|Ժֽn?W#ƼA) LjNz7)YJSt~$]*;w$I\uCөM zMb&i'xs}ڼon0ktCv6l si?`/@ݺOri̵1;:5iҦ#J)ht@wwLyHݔmѤxS+ e~zyI>vAKn,aH2O[P8p|s<ݓѣ {,l^*,Ni20#!3YkmgIд)_wc~󈟉ZT(4-k7lpOg4]hi֙sEC4܆9g7qٹ"ČXSH!9*|wEpw(Py }<:߂17EE $$~<h~H1h utǭVOkQ&m~\[9ۍZSPB/нPa16Bc,`ӀH2t R젤/5>,_{ڄG6{4z2v I'[ ?WgYWu5[%hkgTĎ bB4CYxۀ|ԡ_(e1qk*XQ_.^+$i+ݞd%? O5-0o8dWi(\l[ QabcLiLCN֊l%'RSCm\`NY^s/> &۴EZ}cD`Y<eaSPWai r+S'Smm MEy~ !mƽJXL3xScn7Ce!@GP'G2|8h8 $R%1ƨ6~wM&nocih_M e&hNid ڙG)9]U:j45.KYq閴61&> m__Cǣ0p K5ا\W̉&K3άZY o/я@UZ@ eD3/l'$ ax&Σ `AJ&cגlMNݥ^i c#~dta*oqR:sBㇳ ?PK]H9{Cx#cnfformula/utils/dimacstransform.pyX[6~ׯ`=($7&ö0] N;@S&iȤJRAsHʒ k"Q~ȋo.k.R] [k\wcVTIq! ^3gKm6IFL:&Ui2lB k^2`K$wki妮F(G Θi-y~EmJ Dh 2[s˜aW0 ?0m ¢ 4s6U 7;ckee 3fEѠ2ZJU%reL'OeWCȉd! Ek8#fCp$l%0ꗻ CN!Y59f3i6a b RDŢ[$F853z4mֲvz8aQl6<<ǛMSYrF54wwo^o9jt]6Ď: Ӿ Y^9j1|ڝo3LF=H0s8  !.rCC(*!B 7F3SCy;(z6׺\\ͮfqxNp\x HLV6-R4TCFw3Qb _-MQ-3hQ1̓l n=2^)BR/9QS[\yKYwGhsB` NMϞڇ_O-Q\ zcl cM|% ;>$ Bw/sWvw- ڳ'|lC=1&&MtJ0rMӇxDK5V% _A#4 d ڏQmDu >45 'ۛ_nލtm;NIhav7R/aEG6 Ī.D-+j4UE8vr v42`Xcq"mR(@tV&XHL>]P?ċН@5e5w@D>DN x8s͈VlvN#?<,Xoɇ #MNM 4a Ot}r_7ިcмߔ锥E)ԗji %/PKH/ѝa ?$cnfformula/utils/dimacstransform.pycXQs^")BH%n}NӊI-I'ө&TD3⁜8$@HBw ه:}k>?vw()J_Rp;T9O|@`zjZ[0+W Ug`P*5k0ap8ugY8P<4 ֓0#ā|\9߀p _Z:xi2Vb rW[ o& K,p p @_W!\ik _&ؐ,W^HAkݯC?:M󁯣4'"-$ȥ/ED*%ҮNi;~Dd~Y,2ѬH`'DHϗshn*Q"z0vNE"O-3A,>(QjC#NQw ]=0g'dK6'6li@/`h&-8f~]G߉71E65吇rI^CtCfsdMacl{<#:6P 22cg-s Rٖ|:P8^Jur??gЉţ3GHs~S@ut R 8=Ee3Qx[ζ67,jg=~,-So^ P{iڋeM5M@ޠoqq8!ËLAZD&/nCIL0¢oVKQ,Q3&/)_97y N߂pujΫSs֦6=uoCKEf~DyN{ 0=܏/&gс9&j72?Ci'S<\\|C1r5񡟆COXs`%'c*&ˤ~hB!F^,Osy}8F6"6&(mPv1y.QU;ŸQ*CxVE[b-񶱑UN;&/mtԧܟrєsL^4;jI;WEjceeW}sgh8]Ҧ (VǴ@ݚ}-vlkTqR:ͥce294gb | h,dCU\ܞ4NtRW]-3O=!j }oQh~z~.Q2D)z, nsR&+'hAq{{?ViլEV?/ZKԛjua-U¶EWnc4%1G$`{T"9ARQ:WX`~u¸AqԀ#,8B>#F9 qzd꟨ S'`D6&ztyrO9)O>%&t,+:D 3:6d)w%^*C84WO.Kx×@5)&Vbw zg@8XEFB16'SgFM>c?KAt RByo jWoo DAS.]>.|h/j]9x8;InܲIUF%b w/${Gڔx([A &jWe6^}5Lqx6\g 9ۋ,;ntSNjL4%-q]oXJ^ ۦm/le{ɺm9VݺU "g2 ` ݓ %΢0.F,F0FMF'p^*+?h1yQVQ0e3%NEsՎBCas -x89Ǖ|i2|*%~Rξf%4B&%kbd c c~)E~@QW6G̑E6*cž#fD*H4v PaP-GEgS@TщTKi{w+ C5d)m\@ilQˀjХ0f޽pz"6g8-3=6PfQ8 .U3#tߦƚwL¼ 3ʬ>t K{wttqP4V-ϥI w{qZLσyM {gW7  ^/kZ(ZWFũ,#jKH=Eog=/Lcwx^wDzK}jOȻ\xLڡN=WȽAz rN'+D` }^U^ڼB&mt;む[֍J]}ӚVLg͏V\]\kZPK]HmXt 3cnfformula/utils/solver.py[ms_$5m_.oq;nbx&ݜ􃫱hS r4.^RK:mgrI`ؗg?Z?y冕jUy"񬮖ӯ`8\2]TI3,ze<[ZiDŲk&u5K$KҪNrJC]J ]|`^hXGWI2dՊu1,z)U͠|0d|ȹƳ|R e 4+,+\T[0%Θjskx@oWB${.ԓfKx|AI[XY]%)X9?DBhN֜]w xVR$YM.cf[SC.f3 nz< \'-DfbD&(킗?'mN}&e M)͜ (y@Rk TE5I`Uב(gj%;0ae"'R?C 3'i83ON>& AS g!K48H^kրBi0,QۨY\ jJTdLں*0 Cϒ-)n 31ҊT-kaDbر <8a~?z[EK@mHD+MPǏ1`a[6qBN\StÊq(߇SfA?$L3ʁưF 52A`Z%R&Q@JK%b P;%|k~:G v%,v~Nޮ*AĚCj*X ʡ| p] ^?\Kz lZJPVP$ $Ok9l=lIeaJն g6&}Tuted4U/l8 I[pMNq5Agd B1QXO92ć-mnXJt؅r4R5CңE9efxȷnb`UbɃlF1Pm&xL)д8?\#o}1nfWҏ4a@os}lžfvh Ӽƃ/'~1Ldئ.+4#vvNl)e1DHv(Af`Mbw+`QoxD'cWhMOhy6"2~}}ܹEƀc{Ȓ!6%']IP-AOȐ8'.:N=}rLhTXM@6iN[&xٳMg%,dohS(p?94ܳ\FA֎@ԳןJi$6 5ڂT@2> `A1dJVAP(j7?Z(jA܉ќO4y=9b7Z4%l 4hp6yo/?.D]idlAQ~x8aZ+vT%=_^@偆}PWI> %L L}{V~b}?;ݾi0 SY33PD2U' SI33gΠ 7W/nS}B!p]hj"GYq-% OS+ЛΉHT#o~կ !/,n)d5Pv[`] @J< `뎛@R݋=m8 E\np;y3?j3 @n[h1Ñ4"-{QfǔҴNn%&qsGh]#zkۖx94w69NDb:7]uX"_nNz?s[k}G{NWIijWUl5( B-6lO>NLm٤F, XJ ޤٱm(G]s~on@f?5FrGfn9f$kZnly}r*vg9 G/Zlؔ)[YTw`=U nIiocRAx쵂2Þ~pUAsE_eœ-ewQ"Mܥms{T75CmZw빋ӎCPH抵 ~m" lX#)v[׏BXZ1xͭY@Xu,9q'k()xo}AN\et@5uMej(Q)|lN6IT}IJ(Z C!;J4ZkF! &Wb@/ ":;{;qj߻5] O5`[v0S6?:e,2 ͊TOd)Z @ եOK^-C^Z5LaXQŝ_q:E9m|=01%t2+&9bO>0 #ҞXbR5-({D{}*]#Z'͍<PKH ڢ%/cnfformula/utils/solver.pycZou9HJvAz(Pb;֮DD,a=înQHH$}0gC%@$ɹޫp%{e83=W]sp_߂\|3a~ *W?sv k̟ _* LV 4)ӄ qZ?iϢ[`W1= 瘿L>gcݫp kw2AAA+>XȨh /%E ?JDq*(C륙 妆Z[dHZȔl  C&D+vHvzPA? C*q_l4%JFCm/dn7KPuune &dzm7RZ T KܝPRѮ@y(Q%;o_'2v{Ύ+aUvTe{1~+= cE1==BDgzFF]t3Jd32 3(RuGd (=m() \q#9HeFW=L$b1rD: T"yvZ&RRr$;I&.u(L :bs(07Ըܐv͌EDPR'0AD?5(XMb oUoh*)16KG-\;K&?7.6V݋=QRJeXKb{ DWm Q"yHDj y *Oef\mqsY!Dmvk6 IbM*C[kV/bID}.7ʒG6Ҋ_ U˖p^{:,Zipvf³'Y 4a$T;M7JН5B"Ix =^@(M3wfBW1midX>s4 >f( 8x6W賁xF2MRY0p'#kVX]H: KB˱: KNAķ ƅ$b1-嵄&bA>6 CZ&6 ;v,%Gq\P;X$֚ؔpU YaH[LBź~[j3pyCtoŕxj/KD^(N%eЗ-\#4<fl 9^ps=B0!H>~;osWV ^dϢsS{ k^XX5.ak#}ӈL:W5_e؋pl#]ݬxɿ@u9 %"AhV;M8ȦAGY_) 6F f!-EOqMl7 ـ tA 3c;#6HC&AMu!t34n Ug Hwv aNKթ=zb,6[=.j=|ij Z< ;:e9ޟ12V}n 8[EO8FԦA 'GEʡ/if]7u`Vl3"%*n + 4w2#L6 h'&8s{ea= {.tmkҎIE{oN[x)ow3.j=pm\K}{]HfAV-&oV(Ԝ ^t/>Fȉr_ycX}J:Lp":v&󝟑"#>Y>8-]>\> L>6?+I2:sK:O1n ܞ^b?fD9>ލ͍;7z>}9Vzg߳Zes8ڂeXpKP/`^>B`sD0&.}|W19 ~eFڱ+?䈥5I~ݾM6yeU Z#A&U`0!9x>ل߻}7Wqn\:eЇH$Y4c{oC87ϩN7L鶸 1"✘ ZGdC F_$cGbGR@f퉱($-0KM  *̒i6q5jr!=\Ow#{b<7 J.- gtiQ9 0x̱~kZ.6.ٕ=E(R:& S6__ʍzBRWGc\£_Aٰ妃Y}/:MH誳1UkO9r̄7:e5G{zSv5ڬMAх30 ̑qKC( .Ab3X{O LV=X`Qb,0 @v   ^`zx wq=RXrRD̚V&0>$s_\G{4=amOAFyПn `oIyD"LUD$x!! ۤQ|Mڢ*hy#GA! V A d+}^1쉰D~ك@]U~ 'q~-{ى0JPCz!O&DZ]8އv-ݺ0qgɧShM4Fn w݋s<ĚjOP&M[ryq@?TQͣlGlZ(~nRj a^O._A; h[esZ]Ķc|Y]O}˂D6xr1FqhD UER9D-isPKG AqE(Mu30-5j贝%蚛yAVEd]qG 0t1[}EXуzFNse3W4[I}]ZX G>y62V*P2?n&3i+J7͠Uzme U@ř+-x/TE"O NتYzhѹWlڧHhV3;zv[uSn_ۭ~y5@#.2/ N^XWxr/%,WBAJmmmm{ؒ^^~?g Ii?>(yNKlׇO,V[BsWPK H2EGG-INFO/dependency_links.txtPK HmcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKH2EGG-INFO/not-zip-safePK H ²EGG-INFO/PKG-INFOEM0=E/@7]i4j"TG CI;]x{fvo# ;`]R-B-wPc'~ZH=rb r ;/N0>4%k!z ħ.-jlFn2b2YNZ9jS*̖؅XdJ1q[.YyB,^,6Est8 TwD:*7Ch| 6 ȑ$lYUHjh\+GP%q uegܰaux` %xHMgV0W 86e8ar)qnr8Pxvgxkf9a֣>2~SdZWS/c+]#WQMiyۣPK H,ˏ EGG-INFO/top_level.txtKKK/-IPK]Hq#Gcnfformula/__init__.pyPKHC`qWcnfformula/__init__.pycPK]H2,ĩOcnfformula/cmdline.pyPKH8-tKcnfformula/cmdline.pycPK]Hhh* ~:1cnfformula/cnf.pyPKH!V,(Qcnfformula/cnf.pycPK]HYߗ ycnfformula/cnfgen.pyPKH.F!'cnfformula/cnfgen.pycPKvzH!E*xcnfformula/graphs.pyPKH1(qcnfformula/graphs.pycPKHz{cnfformula/prjdata.pyPKHzJ?cnfformula/prjdata.pycPK]HSK&_ A(cnfformula/transformation.pyPKHX[_Gcnfformula/transformation.pycPK]HG}Wcnfformula/families/__init__.pyPKHm 3cnfformula/families/__init__.pycPK]HnT@cnfformula/families/coloring.pyPKH*Y   cnfformula/families/coloring.pycPK]HFcnfformula/families/counting.pyPKHWS cnfformula/families/counting.pycPK]HTv'.#cnfformula/families/graphisomorphism.pyPKH:((cnfformula/families/graphisomorphism.pycPK]Ho "0cnfformula/families/ordering.pyPKHB  7cnfformula/families/ordering.pycPK]H>e }Bcnfformula/families/pebbling.pyPKHskV# Lcnfformula/families/pebbling.pycPK]H3T*!!:[cnfformula/families/pigeonhole.pyPKHcbt $"ccnfformula/families/pigeonhole.pycPK]H4^^ qcnfformula/families/ramsey.pyPKHoj' tcnfformula/families/ramsey.pycPK]H% zcnfformula/families/randomformulas.pyPKHZw S&Rcnfformula/families/randomformulas.pycPK]HJ  \cnfformula/families/simple.pyPKHϳNZcnfformula/families/simple.pycPK]H[7cnfformula/families/subgraph.pyPKH-D I wcnfformula/families/subgraph.pycPK]Hl&,m(cnfformula/families/subsetcardinality.pyPKH 8)Ocnfformula/families/subsetcardinality.pycPK]HF_ |cnfformula/families/tseitin.pyPKH X Vcnfformula/families/tseitin.pycPK]H&fI xcnfformula/utils/__init__.pyPKHm¶cnfformula/utils/__init__.pycPK]HH:`$ cnfformula/utils/adjlist2pebbling.pyPKHSq! "%cnfformula/utils/adjlist2pebbling.pycPKNeHH)8vPcnfformula/utils/cnfshuffle.pyPKHZSi xcnfformula/utils/cnfshuffle.pycPK]H9{Cx#cnfformula/utils/dimacstransform.pyPKH/ѝa ?$cnfformula/utils/dimacstransform.pycPK]HmXt 3cnfformula/utils/solver.pyPKH ڢ%/cnfformula/utils/solver.pycPK H2'EGG-INFO/dependency_links.txtPK Hmc0(EGG-INFO/entry_points.txtPKH2(EGG-INFO/not-zip-safePK H ²)EGG-INFO/PKG-INFOPK H/:)EGG-INFO/requires.txtPK HtH)*EGG-INFO/SOURCES.txtPK H,ˏ +EGG-INFO/top_level.txtPK99+