PK'wIPMcnfformula/__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<az >AIԅW.uXl7``Í0sql /08q5ZfvURpj|@٨eyT:ӅyaS~eA^D2E\mO(W$ mini 8љH/T'Zt˱,8f؎]zBࢸp^Lyƕr7sxUL b9fbTQ31ѕRC5g6FU}` p@r7:Y;[!D&S-DY$z'V]*@' 8QǗ RfIɳWc=v,AlM Kz6)^=&ތ*GU OwBh:2I*!a5=A{oXe\QCjఱKőuUaVКt%@XϬΔpM-I[gd =Y"J&U9=G%gx;N23YRAi[ ٶ4ߝ nd$6WG+|Gs "0X]r_/$[!i32$,#?$A5:4@[ ^*o'3ws,9qmfu$si [>D/Kx劈vYǿO&PKI1s[cnfformula/cmdline.py>>?Bqymqp8E&.NOaq(7.9U3mɸX4f+2B ,/Xx,. 7z.sz;p# $^w}U0JDFW;hA|!,jxb{YsL.ISFPudn;4udQfkA'mL/ΰł?lyVE?y"x`Hsĩ8i~b"E n-܂~P$)(OJ ZDʑR޲9AEeXhgͅkX;\cQKvs@yUdVIp i)@\m}WV3E5di%GdR Uoʖb_Δ ?Q" nPAxK5­o0 ^"zD@kakh<{80lZK1 gݷh͍R( ,A&!ei.Rl%F ]*i)wԠPR'֒#xxF?.I/cLk=EXjy ̓(~îPps}}+:dBp%BQ}^PM0uц:J+e`XW+ǣ0meKa|Kn 2fS+R`it0ExCzX;Ţ)!:Cv'Bf ܑ<<'>ӿ8dGmB2gZ7#Kk8ǎM?>¸^3IHla/qPAM'X'"d*07d=2-hygL Oᅉ[:Hx[~\!R]5\kRBzfG.TXGWoeF ŧ(pb5YZ"?>{?3J玪zij-׃[p\˗Ɛj`D{%j5nŘ#J]t2@.C V \a +KC=n Xc H.Nc mpq-K / 4 /^xrE^0ӪF8Ca HM%ix -33m>DZ ʙc@`w[+N{{+W`7ئ[t*FΒ䝊xy1蔵{iVZ5A Uki/KQ$H8WiQ;H)-J~L֢DZ&œ: :-3@B%o/Vz2R)Ғm>Y^gc1ޤyHt/83ΠĮ(?Q&ۨ xGvC{)ո,J#zF ZR5&5Z+gu\[W@k3{xkfdA}hke$ju)TM%}anr??t+TZ@= ;[4Flu贁U3lG9;M xࡳyD,ioj:OP§S1ُWl;dKH]ځrA[6O=ɻv:9 Q|2׼."ՆR-enߪ۬H}A9'k68L.(/aK;J `zJ]hjR 6SuYnrt:kIuɝfQ胀z8z6Qde.Ϻ !!OlFARVCNI}Į3XwZ h 0ME܇XAz=Mz?h(FzY5%:l>MaN}= kX$/ݘIC^ۉI:~}57etCJ#4UBgy[:e e*GoJOΞXoP+X4KY/g! ,{sg}ES`Q|Z5=/lI~܍wN,v*g[ُNW[߬ȍ6_OsfWmgўElOIV-CBWzͷZ!jDj/N3jfX}Bv x+a渢woqK&/e"n23 _@0Db%h4XaXw *Z\4ck#˯yNNHA C0nUXpX >\eS4/H%Zd9o v5Q%R:)WUFɹlE~RlfOavkX{!)ށ ӌoD5Ruˮ~SUF(Ysb_Y' b?)wTߔW85ϢY~7OA5o[T DQϺ,Ҭ|ǐa+qٍ]dYmzk`8at梷5;TDݛ#E,ݩbv o_ѕS}2a߱k;,0/SPΔ'iNfz51'(7 (GPCP&`RZ#O͔FQ裦sj1:t:ɥQoBol'R9M.4jՄ`&dyؙ?yǭMo;vcvBe9>M"(*1y{:'Vi]K7'}K7 فSҚysebjKNp^/)ق۹ #ΔE?ja{ٺtnjcS8S6{_!A:Le »0 W-{v&L6|*'I?QXa;t 0mqyƉHZabHwvmGOBmʆO>%d+[ыiENܵLZ/sNnͶH43omGBt6lM4=w *^tFGЙC;EzUxJGS21;Tj#JGWv&T;oOS(퓚oIW}LHGfZ0|(q?<^w]~P9w. ; |㝟j੭Ƕf[`^NCˈʱʒC g?xMCإ2KItyԼu@lUJ}7юv/L00S̙fT^:YXq !y TzS!Oi~C8J :FGѡ R0HzJO*a =Μhk+_>@E/ϝe>ܹ/ɯ e3$lY_:=" ѳ$}7m"zDG>d&dXMcFs G^wz5ui1D H,ec#W7·ne͚"EM5#͡tapcH[תȮIYg#6uWDm5?&S]Ni<>u?PKIu&Xcnfformula/cmdline.pyc\_pGZ]dɒ?'^9O_s8N]99֣jݙά%]΁(8.wUq{?E]pUpp/{vfRDI(5;_w~ݳ Tߋ !\!juC4L1o 霨|N>1ߧ byQ1? b~PEc~Na/#1*Ge d11?&b~\܃b0Kˇ򄘟b~JONpUGJQ3_ 0@> z#0[pG{@c5R; xzL|p p8y\|st 1Rp="'"y9x{jNq$UI ڣr$4*U:NF#-l4 Z [V5l4~Y~{E׼Zr"gukj>ġY;~8u?^?cQb6<+\%ayk0poEg[})[|7tuX jGb- |~asזbtmƺp3>ק _/ZkNzi|Ǻ\Wr]).q3tl͏ e欢g"ILϋES"x?]-HEld]˂8ȍ~.IR 0@f3lŞ[i8q$9 ҥ9\ZmIY(]ӊ)"AJ[+-֮STak*xݣGIk|8)%jH+5Ohm;&Y +#bG^^u+VL K-HUH2 ¸&ǠLm ="agesOnl10pZ+\Vۓ60+ZJ=zv%M_n80Z=|ڳ+>j_ToV.:Pn#D}lஈ#2GZ崵NU(.Gc(3rR&f3gI@oصq9]0^t6I ;NNIkmGH'eCw1H.z z%mQw60m]] ;D7I{v!Xgvp%+V9&2},]?} 67LciI\ q 8>M ;яOtE7c=-޷Rq ;G"ڧE/"̉]bD  GXȉe#0_x''6fAl<ɍ08Ld݂t99㲶g`/םƂ\S2+ziXG!͕Z;I@Yu+%U(/U**kN p%z)و;z$iиqj*u/KZ(O ]Q y1yˋoQ}I, P-0'l &)S-?w,{2 1d05q2 ʹ|:уX<0D <}>-QJ*0\ozE$u #?K?u1Qb◬w7+ˍ 1%d )K#b^d#>JaAtH_%ȑpŔS!&_hK7xuǒs>a+>)x넝W,1{,ykL=rD]=`Gk:C)HNDܩ!z\f;maO}c6sJsy;Z{sF ģ{ƓaߖS0%"^zX7 GsOgk+3L٘*JeV~bK[Oy#b߂ ZU M5ҷu<,Qk$ %Dӣ>fF[~vAdM X{SmdvpuUe E3}z-Q:HmK ڦЄ,$[8Ѽm1Sy8nQٺ´Q\KLq.x U%M4:)~L+Z+VN7f8. ?om -'8pnѯ{٥(4\]%z3k:)ocPqS= VNTms,׬/=2 Iׅܐp)p-:p*P|7UꈫO-OSSVmEAY̕z:-W lT.Y3Ytes ɕe#xy&  M i9ڬͳ'tSD}O>j1ļe~Rȡ{?y rq鯅AA!BY&u~2$Ta#@ x6RP <0hl$IyaHc=E7D2QpJ+S"˳rZ=~p*~ݶ^NyL+PLbyP$@F$C+\:0WA z j5Ԗ.jLi$ϱ_VS -[c^$v;qPomboվ)T2_,a(dKJ~̡3M b_5\>&o`x:YUe03iH+^Cz14';c"f *Zڟd}ʵerڏ=;I;./9 ůpiEj?Qs/8G'2e?O&[=Q]3>]3>juU㽙U|zʕUȶ),"!ڋ%K"3gS&ǀwQwllW֛hSxxr+R"ͺw~f5L-^ pmP:NZꖳD GWɩjgxO- HkՓ~H {Ndbo7tu ЉC2dcdPƂ ř&Aaa=$LcQ2ߓwG1ݹz'(fvG?jAH-mC<`wGImHOu>n1ǎnDrEȁnU sq5vٕ2?=t9Wȩyr٥@D{EvOڈVQP.i7ЕP 8;Q)AqcJ"6Jk{5!Qm(`pӴ1دo`@QE +6ror~W LЄmܶ0uOm)-qkA'^M\VqYC^v/F)8Ӝ~n28} 𙤮0>?q#˸a]\]fF_0tgXYn`׊ZI|K!EP1ɳ֚^K\ԔV;♝%L..tDEO3>qyJ@g*P+K-xMCͺպ\~୏%L!{eHq:_Dh;1P{ !3LLO ͒{)[m}3ֿ%9|nǧmoiָ=[|Y0K,3FRɍlrS'#ׅ^YH#y d~Қ璞l.^Lͫ06xnМ3'%7Oouq"LI A8/ϥΐre"LN;&N| 24$i)Zov;G) ŰTM}̆jli6l ]lCt?Pl Fz`Mͦ9EcėDwT tYA ׏]Կԃ[ZK?Ew\?}Bx(y<c^ܹM<0YpK`#jPk&CˡW,ƒv#{ɋ1(&&xj\C?k&Ơ:P>.=S?̸' v*ol1)Oft6>`s'ͳWŽ۹NuS]\mycIY%nlH&NĬCRn8K=w;P"kJ-:mIl'޲`S}78`#ᔰLh@ɰ=E\~Fl h‡ N"ƷS/۫B һ`BT̻aoM{6b'ʾFV =Q)ˋ2,*$wI(e>I,@n/"虽,TIʓwdM[' ن kV' Rg~1`+϶H-+roS&}ueO_; i I](=s8ŤԠq(2>Mycƈ9e1&M&1/Tz`,N=>.t C*P{s3,O8R[6w7ܝ$ .4w)>fj@2]+Ý-ؼ)yߣzJGzR6 `W5|P& Bt %u5 w&Bpzj쓥)૘@ԤlN~53Jv!i jo<>҉5e>T/5(8"Mmbt9sgL;wd3ޙ@4gp݂g~ο?xde&#]y=633yIJUh$~g=om0=tq(?>FyR1=LuJ9Sx ə\rLm_;|S"1_k3{^Pa^QiMT2١* TTMuÐᆢ }dP`AMd*.* ƹL4V&)_1{;k LJ.$;n8q3G'#O><43|"XW3Nd00 b0-)]wLe*U˃M(r* } ?"Dʜu\iPr^~r4Q29-gP|8O0(/PiR˳Ȇ5(>.TӬgrI%31IO|B#4.]s%x|| ~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 hIJXH}My_:?:łQ1YBl,sv& 71&7q/I?tا~dEI(NˑےS:4,I)[ $G†D@gbzaa1b!,- ~tq-GP<liaba/+cqI}F}urdM8p-(S3 5B-x%"2K z(k"*HvgR1HR="f 5uJHk&P֤:* <^k]H^;"} .ۀɈ&,tcвKmp"0v-3du!@`K4FDaGrSk QGlz:]:.Tȼ?:^@[6QHcYЗtkKj=E:L6Oɲ]36`gwN%gB_1lBE7q ]7Y2ؐ0As-V _BDxr bzꓐ(<Ly8Sn֔~JyMC7 ?xP0!%4@ i8J/J_ fFjcd,}FI|8?\OC"o(+-!W#ȕdy2v<MDkVc6T GօBh k9x7U(М?C60^4{]=E  e),"Zgx(0W`c3{32k Ψn6ij6yy' i>@#<+S4 Ҁt `W?][0s0#c'L+܂.+*#xp)ZDrAIiV+ Ɨ3Ұ Gr3 d8S0JB3Rw<*=gip5ut҅tY pciѳh[#t(xTizUVjV_ܡKYEm9Fd:qusZNM( $ka(8e:&RCo5= '{%rlMI*W&3d4v88/!⫑ev=wG|<ⳍe(̵[k7;W i|PDФAS洷m(շJȁ;s;{. &{U66HBS84T|o +F+*QYd XȅF&% }nAЏM KiL mXřRKnmBJ{0[B :$}w"z\+:~yNٷ2*G};dꭷӔ7DUvcݟGͨpNZ9+R&ӠMQSE!+iB[')bb;Hˇ7BP4٭+&LUNړ{Eʏ6}C[6 2As30+-8w:Pr+\{rWue-d%S ʳu2 Jmc(M8?rc[R9$$rF Ewն`*irC7H`ҝ6qCjjQ?:0J4Y.Gsv7gFLTlLO ^P2+~*zd.BGTw#̱$0]). êq@> |1J1ce^x<+$Ӡ@!4oE h<(fq%9;QXv]rEISq, F8)贖,iqiXm͢:,~]Cr@67#YSȟT>}RBU|O! $?EM}h,̀~'96&2p{}LQ8Dul>q]ƷہlWX#+ŢB} YBreN>.Iߋ1QHu~ G@a=p7 *d  uH.PMs]6t]Dt߮0Ƣ83SXUYw-wt0y^U'TEu[H'Ca@3eW) [+aTqI*(2*7=EBnٮԟnr|6Y]D^Ҷ  Ty`Q,Z_X<*봡fvYNL巶Vrh?1/e~Fui+tG"WGA[ۅ(yg_% ;nӃJ}2*@~ջp6_,N~Q<9缈Y?ɖ'A՚g  OEyWֻ_UL< TAuje/Oմ((jMP} Omg0(j:2ݺD #0JECl:֡p}xG\^=]DYx,S02&^bzTTcNy.]%1RBcOd} vSnY7xNM,0' ^ԭ.꒍0Rrs Y=𪾕 Qe"xML,Q jq l6L MP$YG8v !B_15ӹ? Ѣc`z%/*2HqX!iQQ+pe:`ԖVU)A_|XKRF8-:gk>d V<3ayvr3}[n}myqmHRs]Q'On_H}7qgt:nhL?H#Vu3iF<>>>==YI,VI¾L,3Nm'H &sx|p$PB4*ݢǻ{[K{ TGq m1Iq$45E2b70Y.B5WVEIzҍыCקlk3P䴨Gy;ACh\kK"5톴(9u)d[il"ȗ1b)[O/CzZ)*q}E!Vi7J_?\Ctr#-r.Nc4!a.U? 6?UM*BR&"a>7o%Dx ӓ. =p?TXJ Smy"Aԕv^TktEn ؤjȀK?x0,혬XվdN;5M()/tQp-}fJ͐.u۾'(NJjD'aw %{/?[mm6Ix 3037!6&=) JN.^mW iE}ZdAXDž- X(Q\M%ukfTka|K(b8饙8>GWzq -A>8A?xJ% s+e{{ we#?r3ѹ0iq@riR&Zs9ڹ)!U,]}H<aMka/rSVhW=7H=Ϥnev۬~ܹߎyP} }#X@T?-dM[Cuਭ чJpګc}]}Mb/R  _t [*QSb5ջnztle:+uҶ5{T=HELE=#ъ]R\<"KYT TBa(2. <!ZtV@EKƸLtMU_?ݎj2s$kn^{Z[9&eoٷvj\5H%'YYTkwFm=1%0h$Wd3T U0j-b7_.33f85 % =rz蹩MLj=@C5iF@ ~dlsW7Σg`<@(()9\V[KlB>Uƌha\EA ?C̆`#g_TiGt+4 /ˌk(yB?o'Aīgj?Ө;0Ivхytf?R2^ȑqze|rn3UHE n+Qh :xG Nب+wlc*[`>Zf]Lsa*q=O6X'Q)-fam2|6ʔ-2O{ W￸JsD?QLjZ3XE TN$I.&kk5EYxB /^O$:^ZcptN9d!q ڱ{ v{ۤ=ALFTӔ3ԯx:12 nsCq9;O;PKIV].a(}cnfformula/cnf.pyc}]lGX fD$el ÑH{ %X;6+$LsgdOG$On^w;`%yC!^  ,<C }=CQi%J1SOo)[b/a\-on)0 /3&y̟`IvgRLGazӱ;~CΫw>B,# K5bn\ 9ĉ-y  r o&;\L!ay oHxs ofqw!=} Ɛi e *#Yh'q>9I|W$#:Aαj_1QC~J@tB4e] ً@~H6类w6- ؍=bAkPPI>bw.L$p@^40LvB$ Mqbɻn =x'^t]7^r@F쁄@V/U*~z-["Bj̝З K=C tQ("vߐ;z2&z8@c!HX!?!yp섭>&B2#hm!S؜o< LcISߕW!CmDO7 DHR!}:k%X9"~TA$0Fz[v@}qY:8]!!v)G L"DBή ڵkur߭|Uu_*of&_ [᭚ZE`!f*0E|_XKP~)kd9 H Փe_~$LPv/!Z(ǤuPoYt"K,X:nX# X2O,}[od","{h1k6tZ)}>#U$:]($+Nq|/N]lY*$ޖĢzwABgTl-+ B͐iEC]N }d 08u*kl7$6xC C:5^A]Ga{diN Ap)` 8Te9.i)u14wWMfmNi ww xD%zk<;n܊"7)Qw!?0)Óc KZkUܢK\є ݅KK V[/ԺZoO %Mj;|bilڂ?cI~g[ %9S(EqBeB5Fo}H@x[_VAll)̎3ȁYµ`Wvkқkz^Ēx,\]6\n%dIx0 I!HY_\eN*9@ (bE~|d ch4v rYkxROIgQI#:VI|,Q)*D}E@B[]&5«]MU꽑* ݀+thPvzB tHt\{ ʄCGy]`/IEUrkw+矬3?Ęvv k!z*JOR@WOliiC԰@eU`w KkiB U.2&^iNhB? B?-PS19  3YGJڦE O tfa&O=l^ْ 0FTS| &IP(癰$nK`EZPO{ 닺da|8(}v6\# >NNk@u7q@:O1ݱF[088MbiGUS6aU[7R6tAzUa]w~ AYNaOgHsx_)q#x` SIQ(l9kI W@Ţ1#XNP* RxQl67 2dI]xza"zǻڟ)1!h%ԥ6Fe4_BkE eclf?7ֺ8*^ R F^m$"{ģF-76|IijJB\kmmn0 ?Υ+ӢxU9 "ti (ҰJ}b[pFC zmoo@2bcNr,R+4bq 'D9?UIՓ^^3T&|/Hyhc^gc8~َD?Ȉsmd`lU)He{mIS‹R'9S$Ր5-~7$4scP*Qݱ`- ү^zE[xVT]4^^[ˣ%O6Fe=R36:]S"9),EqQWS.l#҅11@{ZlxYQF$(\G/_@OdmpKjyi9=fSҨJm'pK5Ui9YS̐-DxQPGa 8*SoDl$H9# NGS7`9 { R ] ctVxBYu8e\23 ڋl0]@qv\EZlߤMAݫl0v/ x$IOƊ[{߲XP`+gۉ wXu`7Li*MMo$V J E(TTϱvhҙt+& ]V߰NG nJg+؎-2*@-ka- пҊduL|ʓiƼV> hE;و\CWH:o2 KӖĐ )83#!<<[ 3R1ZhәyS #D 9C *_drb݋%";"̱3#D.ř@ r2WꑿGE#8&ܾ$NYcU*(S؜5c PΙuI.w D'W[e,JHAM`OAEQ6= ~_<Q.[a}~(A3d r T߂wXuR ? oG89LJNfŷSe3)[nka%Uc0E1)y FKlPfe`/Qw#Ag>`Ohڟb6+MG?Z C?U-~j f1Qj~a'QaV xsf֘YcHz4fiӕW!ފrz}GC x"A$=s^%Vm*A+{ufDd6!羹ld$+ -J), 397 _IMݶWU $S\;7/OF8urgPdIIq-SAyEo(Y4-cC&WLjE@5_E8CҬ0"R~ Q#UC~BA\F}߃Mt'˞N0! GB*jnM1ώ}rcj#"GCL$ 17R@+(et9qYNnQ}7EZȢmayZ9$m 4 ńD=Õ|%b!@UdBa"#AUT e'1dPFD5HQPbƣ*|Z&?\F*>Ǝg fPNrq c4sĖbFT.ZcR&XԊBɡ,JW$GЭ}In6Ӫ9B4aCҬfei]MUkGN},୊xL#E \Nb4_a g CǜU&c1pRF[0$bW3U8x(ȂeEu1&PnH_460I<]_z^m7oE. yq V妳:Em-;I+mqF#؉<#=l(9 ɉ\PƏ 3B?XCɠ,#qEzSS8Y/+q]J3NiQl%I6-õc(N˶ Eg7K.Ҧ"d'mh =H99aԢ _dC!$lihl=2ѬMkݚľ-ϐ2Ptvv'u(H3jOJFP2t*-fNlEaBi*A nl0#y6ety/p;^A!RJL ߗo J+RЌ XYx4@5#x^ G8:OAA: =.Cvj\nM Yc*}<;I}# %FGz#8յnm:[_Ϥ28=ME"gK_So}T{͑ʁk,]R:g߻gtGod;8([|H)fPrgI/,X `Sj9F2=% @Kj_٠jPw{}zvk t]Ѝ0^ tLv7x#[a6LG.(u2_1Zy_&ۼdKwPڊA<|dv˭fj1Q*si=hf!NŌx"dDj_SrGsG) ʯWx UV=ME[ȗ<;bg 9$O`N9s sz0 %/Xsh=W'h0rYQthaVi34agϦhdxq[mM{t1V+(ҙ!Emuf0=Ey"~F)'uu__cPG~&p+{ t TɇĨ0`J D*yeMQ60)Cq d2wk1iw-ل`MHc%.*9+v.~(LrHRGsRdA#m6;~@4V8G!8€/w~F)zo۸Q֌ T!|q"e0d7\J* %՗%-Tp.(BI^kv[l$dwD_>ky_n__}GѷX8k`|' ;׸>mmd"!})N~%T`!' OTm / L/fj0Q%f%jz=ifh<IH A{/>ERnCz~5.Ay_xΡA8[ذ[[OyO〮Sv x$m_qLw!# gX:m<;w,G<,{/8P􇲺F b '_c BvXM+܌f7[WGf7Jז1UޤkJE))a|;8d@Y䱛Uͺ.I'*奢i\9aݪ`O,R{-ogI9WNha}d~XzeH\ɩv:k}/s1>sʢ,î#4$ zW*9N)'u<ˎhy|ZJ»1gT<5q\"AAY!ćGq4ȋFCzϪ=0a{cH[xP"FiuL]uL~!ch=&Ku/ۙY \q W& JcD\)Xzk͢Ӽ4Uξp(eqсNb:O l(nYeW`~D|ۘi vYP*iLL\՛Hm"]r n2{l?+cJl&P"am6-.KxYW"nwOjP9VPϨgusfL(W=Lis9ҰI@M.U ]Ed._v_EM9|t\>V 'iV^/T/_X. ݕ+g^oa.'ٙc}诘 ƀᰯ_0:t̒? (IY:69wvt(F/@vdCEZf-AB#@,R|Q=%BD||B$R FH 3Q= EG5m='2=L.Wvi@컷R\6[po >^Kà_/.WE0jД8?ÛN< Äc'+(}QJF-'?)2Z>E3E˙% ~3J,P,$[u^#H;Y&|'F;x=iRN'<'gzs&=j[$>N~G}&eov9Ǧ#UbWJ|.S\ɥ wьČyu$c|漹{2sݤͻM+HċiB/?飢#$A?ZTk6g3 /k zgV 6Yaj')'D| z.^JEs{cLq:9:G >F sӿ35}jL}#7SóD24/*r(\ JdZfB" [ 3 ,+6{:lN; LH=MK>f/Q~ `&z2k L iߣJN싘YU@G0!8gHh4?`RBߖM2;!ة]>XAL3>/א)ihk؅Q16&K=*4C qnvpCLs lȫJ ydF~o3Djؼq R|l=B춘?OqpԶq:cu}v qn[ި#*ct\`tl<|NaʾP)}SmN:<P9rITl>L3/A:S7`g'L'v(6ytb~@-:Up97`geQnv3-f);/ zɎ.#%WX^sЮ SuL,}  T]H=1ꙘgŸWlמs*'Fo2vU`. +.4TP-7_‣mNsG4 :J1fMOPXGA݈m\2n~UCCWLZ5J 6 JeA3[xJ7@mՎ>m0w*w6C1pH*$yh{!p, C+ ͚Z#'ZnP0 Bi.0;,k+ 6uI(5+ ֦=~4xEc<Pn؅7Uwj@wEݾu }ho0"v00}HGD6lRbєHO `q|Bـoo_^z,`$Go@&Qeh%f:M붺bGrcJ ٥k#7x>ķx67 RS**⤨[E Ad bIL0O l9'X<4>:ͮN}vBA-_'0׍NiObz!Kԯ =:2C^rOc(yZ# ?6yKD B}[;?qAy9QI#N}uA?W¬NI꽩H5kg0eBh`x$'sNTdfLBm{AY.^WWU  2mcp{bUTb R ~CGu/̖`70mD>HS Cf_B7SVn0;u3Tin1um Ԇc͎Ҝ˾٢?}9|@g~;4|^ Ggֿ=V?sSzfnW #'B'/rlBHG;ɸ`y[ ]s z!RkĆ<>< 9ݦ-GB4soDt16we0 'x!8#8fX Ncy|wI' 3E2@18*|pNsYs_g¿)(1Z/-OPLzx6i.M<-=PP쀂u7j8eQNҿr  e]F &XԲdߢ>;iwö24mu0A,mo _սNhg侮T5pXȖByAj6)?a8%X*R*ˋ"Г/q"cH5(Z'IWAK}}Cَ}Sr ٰa,̸GJ-gbSbKqԅc͎6'm?+JD&])P4}xURU3FƎ0Őq}:M#l95ULL'Vty]uP ;:Wn#;mAG(G7Jg+~M[۷?j4VbS@ ^s|P|(]#^#Τ3 ;Ɯ$ӵ13ODBB(,xyʪi`F)/ʄI*Ml0DU'rP3e%"C:p@],nw UҠ"A83G' Q <>{`N닦K`@<|xD7M-?ˉЗEo~wRDd1Dp4$b7/.M! Gٶ.mطʨq.$Z2̉6?OCpN7k63)r=,7!tcPIh2q3Xe>"Dcl}z8sS(Z>$%VG܏IV3fm4S@ -, s'rh>χy>DH;FȖP."eD9\sI # .R7i}D|Oe Qy&zgDwD4D HMi0A7Iѵ25(_p)K,99JTudisG"+ q1{tv Ko}rnD \1ap1&S]Ewy\MFDoN0Yv8.ODoZtω,_pG ߝIHaܜ;M<$i@͈KQ@ NorNN>'Q yM44Cc{ۤS@oT+\K fxpD% рBs)(R,h`]zp9`cQϜhOt7hW,*"to94ćD?fY+34 xo^DEz __|JB`{׉uZ0xŽ}`W`,'_![Ȗ}[jA-/xkrf" E&QeIֻwq(YͮrkhD}dmK()h#vh5?@R2(6KK}$R/ek>: RB\ y8φ4>|HPUm8[NKK/gԓ"w!>t~i<}Eyn #lX[tۋH}RzLډ}㶽.qC ꔳYT74xYސO"_!&%plqA7bȫedzrDɪ >1tj\.Xrnٕ坭Ȭ4 [}Á9U ZoE9 >KPMϬIpeNVQ|䅻#lJ 'gB40&Nj}@"nuL0tjZ$vu@@MVC j=xýB~ ޯGkbI?Tկ3P]rp9KkYQszͅ=[)D2_r 7BA9g;[$0mUȴ) ݩU>ZǦa/4joG<95Mm[kpxWQ  M}Ex̶jsCۉv u/_Px nbr }?^[mO? ׯt -]z'!/ jrW0tAmfNM+VGn{ fA>_뿢:7+v!GP,"?ԳA[[Rڛ!CNt- p w}4m.aޛ[8%T9qSTpZ}(1$'?2eQ|Ҟ*$A9yۍoUohm|Vl>lB5O սrX.AbyT)l/`Z.f(ת>}BBgaTT~3(Jf=>֠SnmjiQnfQDZyGիȄ~P3>Yw6͏9c:Όs0\ě<~cu?%g27\I YxKf2F-\$uDvu^Ɇ::֮XϸWןɳ j7S(%X{TQw^ùb lKwhy-GMf?PK II/M>cnfformula/graphs.py=isF+:tm!JTͰLD'N9αEsIh@ :J6ȌE__|u)yZe=''bIv9T'GN*I*rR"Z/E^Q;I pI&"6o4>BMA˨Q{G8Etz6NEZE%EUp7[T yt4Fi C15xpG^BF9 :7ERIJi]2*dUcmV*9pw!K歷/N& |fqZIYu*NPslU(M2<Ш-['jG4xsKH$D@THy`Bpd[1Xǥkjߡ^Ak%]?]~'̪LduWmQz/W呼]uf Iw޾EWw >YqՕlI)2 #yTaY T2,+R"Tb#j6t6g+ w-Ŧb#7KdLhS' N7lp-]=雼] a\Ee-6 %h_Un p0qQA yIga23xs)3F#"Ffj0}k<\+2+hfHˆ Ie; mKp}иԱ@pL 5 =^xa%>t>}OcbF?0uj~rlHAQ"Hz],yu;y%<+َ3jDgwy_%SS+*R|C6ѽ,(UBe 7x-Z|@'p/عmzl\ c:ZFgA<&Son֡nXVrQuw8W u `UANaAo5Kh%d<M׋ 6ɤ< 'JSo0\gX*1S84^.T$hlYhKhLʒ'kAga5T6]s kf鈮so[or7<;R5VH8l;o_[{!ҨlMMrdM5%,TB) df'HJx,Lz,6yv :Bғ|SGWҵLbR (ၛ*s!j/UR.M&e)&UHh JCV]*92pFj)'G"#%au*8ZT J;y&{{M*ca8"&*,3hq2l%Ԍwf3Q3hR=Q;ƣ>^k)h.SLlٱM/YmB#bmMNe 3,\/=Ipǘ VcC\ (XB0t+krɚ-TI}R[AM;+>$DIqDM`2ؽTLdH9X6*-s1ZߍمJ+{0S2f IfU֦֐rQQ/&1kLUȅLpwzsSLCF^^ǐ[ۻAQjfîK&y% `@041k&_q$";N2ե(G՟ ;uxW/jGk}# ZV W2箞xRc #* l6b1SIèx(MbX渣[[E(ĥ JxsȲ/e=MG_o X_7m]y̖%1 āƚqDFP*ewb-hZf.pBYl/aҚdaq x,"~^;`ݛhrhhs094:2XZY/;]aFdz7N#@3 b$E@Ū@/$~C5x6ՍΝ혛Wi:9Cw}j~+|+;V;[;͎Mk VL@1^ b,e CvhQr \|g@7N!E'{2!kc"%Ep8 ΪyQ ~^7Is1rt<xIjIF֖9%l[l-LsU#;ڳ3vlt\} BhT n˱# 5c8^mݛMO8]/s>_۷Js&ɾe:؍4FBo֑=7[v Mwy}3 %C.SEXI~BΔoD)!54Vr5GZp,RTUӶNoZ͆r|RDCpzMyu)+^-0t2vXk8e0c} ޫM~j$Ķ N*RpH4r8f"<~LrCW;T:7N+XQ-h_Hqj)r5Hqr0!33tdhkF=#"VQ'ek bAYy8 Ô)mqmre7${g3 7-u[2m+q';!j[ H7cNE*@`JVoEř7%bwQ⨊B쫏&S ʻrY}yCZݩ"Gl[~*e>vKoeX24,acMV(|f{'hW[6ݪKGu]֢JH`-9@ˡըIy{7:&3P9ڝB0A(Q8h$5HsKq}V"yUFD` 7[S;!AZIN9TE 7.8>U{rNmeXo{ĥ_>-;`հRDh!qzT(Q``RoBbKsМZeӈ;9;7xja-x >(d;q nq`j99䰯h?MMIv\$EJ?q-@^P]VdhUȻ nX %h{U͙"}t; *s%^{Q'sW)ȢbYДd,;v +l$eFl}jiZǩ=ojbw$b$O[Ïfgk.r$z5Fgjy-uY'Of ^xd @$$6*yAYU⪨O_Rޢ(5TŮL{@xPvN;kYU%A`^Ll2[S }zqiKh>*UB8bR:i6W%3 xJB=%8!saRƷ“tUSMl<k/h3M22v͇'XՏ+udိ$ nmi9ExLϐGCʡQɤ58C5-gCk)z)6"+>^Vsb.F).Dd$XTnY^S8AvaSvX+/#V. ( >0ޔ)z ".eoY<64Dd/b]m`eG6`”{fLMc*\Ln#\ 1a})^4l"%i=1Xy .y|Ku&nn&?XIm5F뵌 PT`/Picض/[è.ͥx*hv~No'' hI'gNEVz8 +c*k٨HA; :a}5r;(/BKfKYs0U~o7 );XV:j tkX% kS 7Ro@3=50!][)fY:Wn:ܓ]92i;bn&dd\<p-Lnyk}P0R߫zە|6 V3*(< h9!Uq%VJXa(6Tv? "èip KVPP, h󊴥@|Q̵3h{J=Y54[6"ƇQ:,Oamݯ}w'qύSY*nw*Y ; w[sʮR}M>uVz7 [Lw7+u6"H)og6kH}/ ɤć҉ pjt'.CUi]`h Vjk5:粽,+u*7;NO6DyqkE[K]nf5o..$*౵Aba5w-: ;a3 1M 7uv7b#o 176gOJf9 k6dŶ7PάX/(H9ߊy,!T)t@rf/M(Sl ,}=CWSaݳdŗ>Ԏ~.i:_ܭ(Snk,nb1^~x[Tq=z$0&ߢ_љ*AZ`RVSZs(RU^ +ZNݫtdO' (XWo[{]aph'-W2C8\;;XD4`ux|rŽ>LGt$#3ʤ;1*KYB{I:+Du]E7C'MD5|#nNT:7i!s]<4 gMo߸tay#NM SA,7s1Cq FսeMac&J.M-+ќo)x2E`? _qcjwKu:]t:ZJ1:4cZ oA\ %fӯ^]CˏNsUqP ox0nȟ1fU\B'`t^˖qYIv:oT=uLu# ҧj#WvV&’nmrݒht4hZQ:lMsnP{Gȶ_y4iT0Aa5r=$fIM Ay\T RŐ Ar+t4N S٭6)WJs6Lk겯ۢ;mZ֖AXx!V2t0ptÕ(XӃſ }G~Q@_WEK_qQS1*{K< f'D=?lā\˯oczQI//y!O]>kID8PKF[N~'o9?̜6ˋ&˱˒7p/$ .[ G} ^ ]HI+:r49o#{"tS+ӄ -c|?CV=vkUSu>F%lk= {GΏ s\y!֛;E$\JETUK9ޫƹST_0VjªU^~p,ƽ'Rʟ?ue#,C ;$;̜\|ye48W!ٯg#`e !%w~u}:ƿ $.Dk!y-\ey50n" 쿘|6DDpܽ:5e`<;=;>VC'(=XpƦ eC-ǧg Y%gl '#2U=`pT9>+t587G|_omQ_<`\QqWe@zBjUPj?A%Ni^xR .z+Ѯp__f2̦&ז81XoR|w$KX˽C^?.]UNd_WUdk ^{64XXF78s^SeQ@~G4V Yʋy>U:~Sni}ޕ3ǶbgX>toa^-wp50@5v3i!t2ׯbKplJѤlHw|M zSۯm:x ]574pAۣ9-OyU뻶!ҴndQy@r9Z"WUuUZ5c1|Pl}ҦNyUu|6qAڱy(R{pFh{_պdXk"mU;>PKI/*Zwcnfformula/graphs.pyc}}l;3˥"Eꛔk$h;8Nd+vؔMG ɡvg3iic&]k}.=(]z4@ \p?-Z mywf\IF[Q;;3~?ߝo(o>UJ`++umմTVWleKP~Yߣ򇔿WQ><8*$Q)Z\ٳP-S򡝯˫#&#:B_ԢnфjՕTWue+q<+C~/磪*ڐY/S=*(}^"-KY^s+T0n),YOVՇԕjc Ճ2ί=fC\_|D1. 9|W?JC?GP c{?P)AW'JR'3\)~sr+!|@S|ʯ$?gʩUM>F^IfAmEr.^g]j-/M\/͛Ipac?a6!@v⥮$CѿI*KѥQZ_F4lG~4ҴBoCA=݈42=IQ]b4л 궂K7AׁH5Q.,$=zLo`)2u0NAMFiF^QO HFB?kJ3LԡVSa?Jhec4@:Om^b’ SN4WMWWpV^5F.&C ^/|2]B?6Aϵc0`20-Jzju^Lz$D z^nŅ365ݘ15Yr׃]^1D2ޅj0[;5l9k*َ}ƬQ[=2H"в{w2Z qLg$l\ib ^6^ث)zI$3DkL̡Z4Y N..|-e5З-rCD~藞6晗;eI(ӴJBZ^[8;ѭ0P^Fi y@*#̺"nڷ"ChO>jhu? {ċM܁ bN'aaAQ[6 Pr&]yoj85m$WpMEhAB^UvTT[]+MG qD{q}Y:0? -a47qӆ|VqlmTD|WǠ*R7Vt ROl6}yPѕ$Q]j\e 5/A#0:6gnY&h>%dY99O>p0]iDtr&$$O] \ /]vRJ{)mIM O{UQUH7:"N2-50jcph]&'JX 4zƽŊM>K^,Ӑ tmfy6T.Tgx.w$mbP5yE[t[ҸD$+ H5yRDO i4I3͸ Л$H&K6}9XO/]~DQ#A/]fWfW8tRp KEkFd΋f^ EoLǥe -B+egPTa.QꝸMJ~"i=l %?g*P$Ɲք}*[D0HX yk];Kyb*JNiπ~n.2S!]JB6~ᵈMՓ% " ,i[i oaJ GjcB e"[_{*uI(L*QY532IE\jK-B94pD-B YaH"1E HeG4QH: L4*m~JǠa< T߲H=0pb}2N?uR#HsbrrP)دB թzi5:]qMD2X´D*.}J(Z36?VϮ^&+gr3Kݦnuh]7X|1ʪtt[y*bL^#zͦh; `{qh x)RA"N)ZrJN]b@ ZA]/4E 4PWKD _X+‚e[笠;&.ȚMX R&MC/QDqIRLJ92Ձ3`vSn7 *1~xp3$.L4C~AX-anT,&ڙC[aI,;Me8n4Zh{%tlY 5r4cDw`TtS_SMBfvg:3frSr.hZ0;zfc*/NZ+nӇm cBH T>PP+e&gu'O 2F7|)y6p-Y5:힟Rd!j9՛,kVb{D565@kMDnƅs a1 t 1- hǔ'%OvҩyʊH CT4.Ob\!\(IaMF, }˫z0ǝ2)5JJ8}ko^Ϩs؞t|2JT^` zQF)h` Ҿ(\ɢI䐓8w09M?DҦ9m:N; Fa$ PhV䈸t[D:ZX(tA&NX%d7D(d/rCo&8d!FA<`< .9\X-ڙR0\6K~\^#_f\mp닆wqb-DA3)F]298'1ai[/π-%wf)[!6@^3j,VG*e~7m$:el~H( lAhXKZAk7mw2fs0:-Kn f"kd,"jF<-f P 5HW6]0&Yl 36KlV{QX $َ$>`dgL RN8'Oh.i٬MRYɐU jB {=jNZq$2#/tZ?h$x$|윅Oǧ̎1Ȕskcj~>:ya pXgəh\nrP2{Rʶ(vt#dMEf"qY(d?SrLKEA>6Satn5D= ֹo~H\6Dbܳ3ʍ"vŠb%a:hkf(bׅ/+m>,u)8,㉰ {8֎9yM\@ jiAKFagGXz ^ y*HJ2QA|%%py%Mo}2J*M ڦ 1;3ƨ9zlo^uղar`L^̥kirAX{c !aUT(YZ^ƅ(u>d,Lg j_u\ RjWpA eCyZSƼG̞}> Tèfry|'-d;9w̰ pv.xLU3Rkgs%Z2gEωyc`6'PF79^ SdTl?ZJEm q#*FTx,--^`$0пkQ69- Tn7.vy.5ts6Ԣ{TSrw)u>)J FMI,`}D H 'ЈH"doPgo?lOtMڰ2# w&Ut|',xO?\{v{AZ8Y jk0KNQ]/:^a`ޒ13&gj7~?vhh)az jl0QML|R ,0޶qCpMD*2ͦň8PN]%lË6܋cgfZHRώ-BSdGKg/q(=_@1,UK7YK;IÂ_aeP_*A{e.D O^kiO:\#ff"0B@!7dXql$0'<"g鎎rGK: \ j#]gWgo3?'fX[a/ߝFg*}!Ev4s83&p"aQs089y~&.7pYWF\vԕl2 iװ.>%0宽ydJVx۸/;xi=#y[ Yipƚ׻-t2$SƟSW~"_g`Z Z,B~c!AYpDB=ǔYv?T [~5e%[ :kP_> H`)R|yd[9-"ᲧAAs;#ռtP+fc<`c:^AγP4JQ@Q3pF6D*ew? Xt"mzn/N>`vtpo50W4'.!ws&QP* zhbtcgG'Occ>dN%!Ļ,`*[3e\B ZE '5zxFB?\@/띦>5rWhU*nsߗ93DI}z$Tճd4G|YqKʁ TKC6߃~xB=D~dkGAYE/DP[ D~<]d4\#\J"0M#p0_QF;Y>`e*/v\*kzkA;>2ixiB |$!R7l al8M,+Td:赂,J8Z>olm/soRoZq#Q ȉhESP՞nf"xSxoNe2sToK1wo|Vnmߴf{i*LJys:j)jAavP!E? 3:4hdjy9׷#.f>_-r8-a7'DJ%TR֦PG~@~_Zqſo4j19ؽyp#},Ut6L)$Zx>PlEX9$ʪZ&k?SvW`K*s{YR[-_LKŞmEc߻,DjLyon1(]QE UMXqd6d !oa}ݬd?l> +`C\!f~հ9WkӦ$vVhY~ڦƀL,u/ !`"qTE-hhqAG.хe3e=np0#:㜵9k0{쟨~_2'*UZٲPVl "Ń''Xz<ِ̭Lk@Md[{AZD| ﲈq#VXr'g>bcsuu^=_c,q1ߛ[ VaP1V^qUeL+QZeaz'PnӃ({OY8qIpKt(l28:R/1Av/eay8$F =̡W;adS>]fOakhM0eGd 01c"%D9lً[|͗G&^*~s<؃Z5 eMo쪻eiDT=`OZ#v!l/;zg3cX|O[4ʣI.#WxegZEJW3"eGwr@29CanâtFV6a'cj0S10}/`.H9D9yCI!w1jL8)So#ANwX؀~E`9ƚG {_(mwˡ F!4$RgtP˾HEV z[`hێ9:c{|BodR!=& - m.h_`VHm0:K}MKwF7j8}.5_)Bg^wF{~.[{E bPĪ@tea@W(sjegI'uڪma17Kd/A^zMx *k[Fs]8<J0Zj~m ~ޜY .v7& T؄ /^]45Ut e>7#> FH$I. dG- ҿb0}U=PNf \{.!%"*J l7ymomN+ 8|1ֻ+[,|\*Ex++56+6 Mb vadZqUZiG k9NkkzBVRz$lu=Kzh7gE>$ 7OgVm`%Ud0^:cl,fgSqض9;p` 7?O0n~Dfg5os\![ͯon}P\gpWxjL؜L^Ǩde0ufkb#ʂ!Pu0b9k.e70ݿG ATuXoX/3NֈB7*^cՐ|< ,3ӎ5^c\??JrI\xa %ۇ\ak+3 -'3zu#==R4hkB,Ą/7h匦xEn \m P/w@at;ҷ@g  cH4şb*c|lP>aH,X;]Ӏ~OKda9o{g i QU3U|kiŒ9!`Vxe%csX؅/ WuzRv˺Z6]ŁUܣW7'sjd7_ }vݜ.OOoF{+g_UZOiLr[>٤5v ͎٥szg[y7s|qu]nov}?+yxy妳4+hX5 E&bfFCvpϐ+㦯l~ǞV8 #^1'6Aan͆fz21

Ji%{A?M@Uv^z}K(cҽf^`YO cTq3)2:&?jR?%:5Xڃ&#d5 9+|`~ /)`qX,ozl1vp#9q{k/a#>P] h֓mO*ƙ5<ă24d_<*֐ϩRTFoOU+g*+ _PKIL3cnfformula/prjdata.pyN!} L,cM4111M5Hg0MBLǍ,`wιD 9,:߂j|v tAZAG :*+ 873略h"HLI4zP݆CP+js ÄNnvN=«@\/fsD{ч#!sw2HK9ٹOeQDi8 xPKIhcnfformula/prjdata.pycURn0 nؤJ+5ȩeM폢(RFz bFcI" 9߿~0=>5Ax| >Hy1AL@fCs`s--;,-63!§Mj&qET*_֢ RsvT&-e>ɥugy.uy>_!l'|vЯѫ,M+aa ݝ͓IĎ48ܔ{;nxP4EG[^&#ץC-rL-'OCnwDD*KjDW؟\i[Ifvt=0..eDU]F#Jڎ+GnGK$"C~rԞ>6;3=s u|Ⳛu!g8K9Tpu)`unZG\\Q}Z&u\⇐[:9pv?`W/PKIm?s cnfformula/families/__init__.pycTQkAhZ b(K 康7I9ڀO֟3Ј\vofhVBB!1D'ot"(ppsPx|UJNTeJA&u)sDjWK87m 3!vMWN.7 EDm " ]Iq SI-g 5Wu432h_Jk($:,T7&D c Կp KؙZʉ%B0y 04 9'ԣmkO\S5ᲀʫ %j#KIVe@i]ZETn7m!ޮ1gP&: {jl6j!sV?ޢ:,^*Dw\*O}ukf'fcl6e1 ~X)pow~tIFLFYf,xp `N+˓/:tm-d4$w\f*rK(98!'LymW_qa0_UK.-BIVn8aBi8BVJuA  VZUXW"JiK.޼<ͯkZ̭3%TH;2+=;+ZBp@˵U0S%|1)8g=z-s؜Z_ Dy q8I}HVPQ.Նn䋰O [J0 ,\զ؁+! !K3#| Tf9-Bl1_sdF9%g t<cj_K5+AO4', %A*$+EzqPjk# B;H9%g?T;{&:TEbsggk $vAJ7) c-]A2v$q sy&I=٦W(*ZeVC]o-մkϡIq?%9'.\c"ۈmܜ\r5{emíH6Z=swK3g6JH^SGf /o|XZfq Y(epTRY%хb_ aW.U!X^_W ֎ 3 t$%a#]}smzsv{{;ⵡ6)t*Ӓ~u_-D|^}MhjFt$Ԉ$wWN3gCcEޖĮRv&h u I8+y%y6nOȜКx4k7޶@ke=yINtC߂]1Y@i?܆w`D6c."WJ \lx\C3$SJa_"mG]2p[c5$rcc*(L^4ԕqJڅϸ90?k\j߁Ai݋~Oeϧ/K4 cpa? hEzwC$ tL*`03MwgwR.kÅЇ@xn)07/q^.O^q?oiOJ6NE<:͠F~3QÆiQa&f;}U|y{0i85 ^3FeM7jܝ#pm _GP@޷Q\k|qV,9_p/ͼWA 8VѠ:Q RhoQjwJ1;p|\c՘2b]UGU]Pv$oZ6f?YPr%FSm64"4% mA8Лp^Ԩe*S/xPKIt &cnfformula/families/cliquecoloring.pyc]sFq$v.G.Dl 9WbHK.gٵՌ|k8x'/#O;t4ZKʻ֬fV?Xv6 c wZ( wQ("+$8^&i~FYv?t ب,}O g3Nt®e51x%fNw=0zӕjYoꕕJo +|E>&> H2J~{I\0jWhUE|bf1l1K1Ӟs5:;3u0/if -we;,J{~9[g :EFZw!@埶 O!C/A$!iqes{ёqus(P4>ODOH" x,L6$-)Kڼ~ eG<\HFT. yw>m۳bobj)j OKȅ^(n d(D=I Xq(ńcF漤uS')GiJ%MC7w<%~R +ܳDMl{/S2&_LdD2fG&F 2THK3x2O: ˂T9ؾ}{c?#QBnP蔨:E,`i+V(:tFVv3*~s)reS0}9ŕ=SQF(\|+b2+n9Iyu07f 0tB@C>ed˴>xzR5]m1(U( f¡P YqxL` wHBh,4 ){!^c+VqEŌUn4^1^1o7+0^q~qX[8 uHp)oM 8t41tҖlViMO麶DFC@b="VTSѿ@I "_[;.O:ey'|ЋtENPkA[]Q2 p U \_CO+}&Vkk,:賈 /r\ڰG<"=ܱ}„I \ C$LҙQs.5 :ޕeQwn@o.WnxZy3S2+\ٹB$z-7"wxx(ccE/*C*C=׈*'Һ垗>|! k@E!TuP\%.rKn]"+mKSsqYC\8n %u)knYMăw/'Ŏ~Q;?@~Ȫ rrGH5η:F٪ y-#?qeGTKC6 oWIJ*jTȚ%::PUh{w br d^\@ue+`ޏWjYR<v>5c\1VPKLI$cnfformula/families/coloring.pyX[7~WD3a塪Pnj$6=d(/s!T:ZsKxđ>Gd՘d2b;-f] ùT5 0R(VPrrPr]`db)^ 2ٻK#(ʅ9'by߂-=~dŁGŢؖk4[&\gr"?c=/8}K2E9rk(-L14K,[0ݭA!Fʢ 5j8<3׊e~i0r9矻hHdS 'dt@ /#-5as8 !a}tmU_[!īAU3b4GS(%l 2(ldZ,EŖE!oncGR Ҵ[?$IBL(ѯhQJI 븑7C›5p@欑_`aG3A`p[RgCv- ;ڣ*1 : cc4gjfn6 N,RvXgD3sYRUhW|[eժtkIBIj "mVK0n^?~|)xӧQj@MOIo;yr"##W'`DM5}"ʐѴ*'qGgfm'}%hU]c6ҢН>@˴1+F}_XCi5\AG&A^4ԋ WC6[zy@餴ZGG{aźUF'D{]䴪ZEs^ekք)4آhPvGp rrU9pۓ!`Ebլl eXa-*1 QL0e0;-T ^wY)H:ַIH8&B]"AnMZo_eFhGr⻗ ]ثoTݣg V*,=Fd7+!*dBɓ'_d2O&t9!+hx`y,mZZLXOgnS Bj.z_g>&ek(q]Lj. #\E-k\]KdF7=5Lm,RtA퉉6;Y'Ux4D!nÝO:L;MQZ# 17C 3Q}J?< Wt$w!/Xtr /GGHݥw|?3P{ ̍{G0 ua'-Nl#p{'p,ˠM4S-,JZjKwջfy#qLVՔUyh^nV~ .Z4FQv6zzl6C$4( l /h45%/r(]~o#4p-Mݩb56^q= W[(sڠܖM{kP R#-Oz{d|6 %se=yE&sρwrw7PKI=  cnfformula/families/coloring.pycXKoY>Um2h n;V'& ]ভ)saB[5i(=+#6iaq{EtwKTÚO#^uXRk~rFG91ǟ >=>`ClVVʂ4\ȘrYkxbqpŵ`*0y:$7AC1biٚ W ~G`Q3-HǬ,?.T1Oy3ͩrC7!Z>J:A<20lkBqߏuಁ=DkEOE/?=p]`v E}kgI~vmmwI$uK NGq]dzobTTU@¦)PzMܜ6pr+Echױ)]{ڙT9{2Suά=93_ӏՒK 00G1nٟ JPfzfYi 51"WFreoɫ/-.tm~iVbS/{ѹSjK} I!'}p-/19e  &g9 ,}.GPE=k>;%Ql4uْ㚸} ?mʚHpZE] ~h/qJc5Aȵ߅#5^!.U jaT}k臭qrݕ°=oSZ$)lی.VKp}ÆVjUcuvs8_*yۑ[>d hzE:q֓L*!.u&e>W r Kےrw:oK"hl"K 'yM>aW9 a Q,c>6~r M ~$VhhVSG4qővG34xe N'ppe($f_ rȕ9oH_sH'0nn'Y؏Qj;L n dC ؋Y(|NYj3~sE{+_oKo75)l\#@&a!*Roq=)tSG\bƐGr!b.c.,7tPym[wcNem?4z| +~7^<7 ~ #IFwg(5h:ioH#:^NR+h%ȃlĒlL&rˢmlDG.T;sU߮:PKMIcnfformula/families/counting.pyXKo6WAr(MO c]lؽimq!*Ii ;C#6:85!K\3QR8'3˄4wฮ1/23aRR;ϩS!2gdNbiVC%<g6䲁Zqs !pZR6)#qFK h(ˢ5Z 3Hvhh:M(JʊpA43Hch F4tj["t[2%jb"sqGSN UZY|B~e:V|ͬ%JМ-ܶ+<# xLLjߏ 5ޭ0e4ajvOݿ{/ fUJR̔J=u7"]sV,xƄڧni~&bF2][Zu[ Y>Ro:F¼߯|ېM 1cLc<_vOc= -UY6|tYJwYnoQ>qV6.ftZ$QU>h 45SU}}/_vԐߵsֈYFYFRZhMkmhikFγKhR$\s;ܿk¤-qn_,45FCEo6962얗fGCT@ wCEiq6s\ H|ˆ?Ǻb}ډ5 -ӏ42&amh;jv}562OË/_}}3_`R+czrg!-z [NE^.I1,&A_35(bYa.{dx^nI}$MWnA8,f1{W^)R@x὿ C|u^&;;TuɳʅWqEɳa]ae8ފ;gHvn`Q([>_ݣÿ? 3l|&D&L0_QZe/sW BTVMZ3_QZ f5Fg hZ`u- Z׀ ]Q"9xn^][_X 6V,"qfA[ɉ%8 Vf^$+aඬ?Q%l8u{'R5elRd&RNjO"vdKȍ}f͒\)+Nnd%R7 &i2GA8g"OȬñڝ$J6xq]GiBw!F&k`h F%Cc>к2(Cvۣs0G&FUxj0va4* gFBc8Fd07=]&Ir0x2\ +0U+< 6K|F(~I/ b/@4~9,IF87#i%VE1 $c 4<ô']nZY֮Z&$BޅyEHʻg/|Ҋ$;$h5#u㶰kzDۤx֠;*68؜>ߒNa'y=[Do#TB9,M@9 JiU^e4f\73ќ*1J@1["g҇1u"$#l% ^KØ?OK08!h 3re׉e|hL5(nr^iGDwUmצfar;^vu'EH}BxkV=^[IrnM䡛"1JŃŇx8_.Ca~}}16el9 q!m(&Xk68jcBV4MN0NGy1}ȉ@R !"tȍ}{V˕ >ÃYdX4/1IF|qe)^ĦM> X{ 57rKcj^>@\01 j+怌. "_xE1MnOL4WQ-.~+*w˺[;/>1Gqyh"Gq @-d/8 ,=YeWjTUʸG&za $~OPYW@*&=(ߨWT/BA]K=P[YG,60y. {2G*p9PQ3'47WE4 )$;supUIjQ%'*5T~ 42i]ˡBqSE85ÅD[㮟x៱wҀ~>g;oߡ[m^ wN$T3CS o KOV93u/SkIKQ}0z^-09јߟDѥ4'w,Vj%/c<9ΐ.1|k:  ,3~ ělQCUJ;|[vsR5.TSoߊ/EIeP+.iOxzfbr1E)bژ*?߳ߣoB^0Oa{XcjCf.vx9 DVovi  \KRЖtU]ȷr9zU^.)B}Z8/cf`2V^ye5Q,_|J5\;\\\.]\,/D'|3͒$r%.>.fSM!RS2TGKzkbiὅ*~ PKMI)$cnfformula/families/dominatingset.pyWs6 ~_9]ջv4[{yIr m6ItIM>d?z E #Lɭt;Ckti(stƩ9d;rIj  !'$r:s̱p A"˹#4>qW.tM/i"a"{@?CN:2!(-)` c`)X‡ Ȟ7 U bƹpVzm *Qy?EQV? km"z3NZVsmVjp@u4`Md1 'Z X4IۚX,f83Cv20"GJ{qPSOdXO|( Ll$$) [y0ՊZrnjC[tÌ!ApbwDʐF0z#fȐVgUS/|1׏V 8.svqw |Yj\aK]rBV8L飊j$Jd ׇq޵Jm~'mCu7Xp{S@;7 O/.T ɖNp :|9Zh&ptotfGֲ^"5Ps}(|RWE:m!b.SѦ܀cK&|6: ZYGdWs%RFn*\PN.`zn0nu)R\ǍJxU##%Fg<=?WT~hmŚikJI|:|c[)N޷\jB`]z(ɑ$[>`6va9JK Ż Su b#LrkKo{hu ^7Yo~{ɼ[ˆFqG?؋mKE2D#Hyd,܋\&6;Gh42b֒j_MYz<b/H}Vj'U'KJk yIP_pp-%|%F\[İ g:ƒVNƮqn<,Ȫݦ<7j*9J_-+/=xhAuq+fOË #6TpgYi܂^݈X4-NѾ_X,<kʪoh+̲ނaa1IBGmOqP@t4ğc5N'bcYs=ޑp:d0)SyPEI8AapCmpX2|;:X5g$5 l?yͻ˻6 C8ޔ~hzM}v߲RmOqnzPKI {} %cnfformula/families/dominatingset.pyc[oW;Wwc'N6 djivm'@T4E8zM6x)Q?^*;;{SϹ}Q[0%>@GȂ9砙3|]h Z@_Uu&'M"*F@sm Ȃ^B?OֳKEXDYsK_'uZ HD/% BfS_2_Da! Yp5w%ߟmO#?"Z*}w+twx '@c*rʦiv JyrU{{? 37G& 0Rٟ588$_Z5`TgL ?ʄYfY>nm@%_q"` kn^tB&b0ٻe|FoHP63iNL Sr̐/n$F$b eR e#^Ea1t^c%2:^6PnGl:@0s.2%$0*ZwtBX$A^?IyWF<16Ŀw|#c'ZFpgR').7K,*`4Xߩ€3+hi ]G֍JR4tXagƼo0QJUsz:8Q;1UҙM6UNz0cu*§.T@˝:"/?®~&)՘;}kƺ"j9kN,Ys ~5(˹".uYpVZU\*+ŷqu+ŭoڽQ3MſfZpKmQDjrK̃,PGei :U5pk:E̎'dH(\9'C OFtPxa#UHn.l|bxhJbڛfN06-3!sd! 0@Au;Ld'pz2[+6ze?J]jNhavTtw6/mji3ˣ 727Ĕꡗqa;&Zz\3g)l%u1.R84>2(+rZY-taBZ6S¡&4pX`+Yb =vDP"ZZs:%2rL>T֜%}&Wqv|Tb[ ٗ+evfbYLXӷn# ޼Eq%s?PKPI'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+?&|_ghƺr,,6X`UXl&[*,X,nnCk,jź- /*54 gKm5&,h1z@e mj1wC;U}f[`7Q0s~bj*b=TTr[Fj UUR.SgFA5 t2'>S+T4ٸ5˧9>iMGf| |:GOSңϩz -b9t*²1/Zh M0qa[}F-N1@1 lyx,@3[A aҷI0DAσQjK/"B%m۱LLhV?2+Iɇ}<4/IfW"zWJkY2#!3yZ i {nDBCH\ll&B$AYDS"P6 DB_Ym-1LaE% D* kJA$fC W}/qDcO" ⨐޶~ߧjL8i;z uoD_/]5fi+|[uBeǀ/Z2!Sh$UIuZ"h _OBu \,taBt = -e[vz(Tdʙ$b(ִ.?7'w/l:sv(UF^D;(ƜiF` c~}a.:ɲvebT Hya/3dԜ^Lo# Pv], \pՋ[nK8!,$I?Lx|tk3-[^B"a٪XBۃTT\R\YTPZ7g%X*Ve?`{g&MZyH]{pD9k0C(y0#Vr} }>9JcJ }GhոVe6 = mc K,d]XF{y̪Bn 2>2'Ahq@^0|sfhgc?,5BmEB]W=+ L2ML7Kօ57 %c{8T8C93+q%SMcT.Y|e\K {֊:Z$5X X;"bkCD2QSG52:n9 mZ  PSy2䪠b2, #GaiB4޽!T6íwXsVTon:IۢdQ $Daǒoq5zVKޫmM}f]aGSV˳q 0sJrKGD.x'Ȥ;5aD9X0r6!㍆8 p³|FZ/;Fqqnn2u@$:_jVL|/Vړ'a)nk^l@ 0֠i 7!u ¸C 8< Vm]L׷)0>z>+_`[AyYa1aX=3NUUVdGdܔb6/&Wz6qxdl^ecWDP,c/((ߐ֩F_9n8qԟIpfh_Xq@u->#Rzpĭv_~%!5Cܮ$%4kMԑ'7e\>vX֢ #2qtp;|9-+qopm4Uw{t@a*'?J T}ihS-uH (g~9p#d`[K9y1i0iUbLyXߒ:l#\K˴PFmM5wPnUS|8 D=\LWkl FtH?مlKEL="?2';*۳AO&< p_Nzg~=9zހ ={;K?8Hm]\o~.g%O,`WZ>sX*+}) Iorm#EdmmmuQ1t¾߾?+2W:N[ yt9p:s4f70ǐ8(YM_` F mӛO{AtQڛy/aOydġNމ;ȒwBeq'f nca#2tp0 h=-}Cϲlg t!t,"p:&uhz#º#h o XȐMu [mv!"Nhcog{%e ou~;+0QRfq9-a T$&4p` ýf _Xt/m /2F||o?ӂtC kvf `3?f_<@,3'Fgŀʑd{LsKNLFx:RNiґ9 C¨<Ĩ<Ĩt*׌=/!,GƑ%6XF{%;a3 p@25]0D"Q~jjJ )?M)?xan"?0l!K {=*2M<]`y&S xle>6*}jBBGn:&4?$@NGpϘNHd}ILJF+pbQFN ,/&N]hryJOD%ZDq5{b!z}*Ç;tɔtG8 m\ΦY6-={"N ߈Y. q['Qo9!뚑6 >=%m|jl\.5C#ji qG?E<6/pI,͟?ˎӚ?qWsd;Z0K`/|Θʔ ~_)s|__9nTLnk,<\njck/,P],5s\. ;WUUuTXUM̪UstIoޠ8܋BaRDZd.Q牤4  70cJIj`j"@ X evRR\PsO0wS̽DDӰh&%"%˚H ~_Z*~; 4B[:7jQ={~u?&֧QӉݵt#9ăh,؟@N"Fέ[)邖j\(jS+M!$8)r H |7)kha=ruzg z ԸrREEڝ+ );8Pz{|vo9_i/U󀎡O\UW(2v[3 ALKΠr=E+$BԃAVm`_ߖcvF]1)jS"[iCшABO?D\(۞ՓTw>PaK^3;%QrS|ruæg!JpOVAm|Cacs :* )P%{K@\a"RjA}ӭk5ݣړG$듘!DbMp0}97g_$I3ZL̴%'øI7`(0Ȫ1 {<ͣAQzPJ1t2(#'<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@+|M0PKI_[# cnfformula/families/pebbling.pycZsGV۲,;X;ZJc c|ة3J,PfgzwGYڒ-_'8q$' 7Hq/UTQ*u~Ȳ+EɅ{_~^r/}k?{U"4X)C4Ln r1 T@yCjtPâ1"GT?/hQhqXyyJO oD|J,M 9)0G{GY<&7&<0ί^y=!iM>WGH$l4ِa~ZQJj5(]&Y(n')"R`FZB$x*R+VCN*eLԚ!y-7U|7d,?|?n*k۱Ӭ#o_|J?UBlbx2!Ue#/-$\b=tC_?h"0T* HSS=05<(^a$7;_$-57Jv--\PyYwê_&盲R Rs7':Vor@p{ s`o"`'' =b^,Fs1"<s s{ʃ"' MSΞǼOI g1qZsLaD7d[0č&6~FEf5=L@3',}ţ==15gH?TˁӨxΕ,F$dCiѣ@]'h78N ۣt7l,#bHoIǨx=y%JADxZLP<`8X)p-''~ܒ<#jeOb)K*>@{"ca5{1}Rq>1:fL#:NS1Esܰry9kl\3gW/bǚMtɋccSlr^(1ĮPftDC{7(pq#&(x¬;T Y<@bkC{6ү kZJ 12NW~X۹XNŢ}\4A$~f0O ' ,: 2 SYH;{m^N_ݾ0#!oD{q:w{#pecblҠ7H'32J4v9GYXȓo5X&gλW3ل̡_i ~GpF!EN&qJ3NRъD4SN)8e aq"v!36%۵@f'"Lh7AAwWl0Se99~kz N"S~taΫ$:?6er*x,."-I"1i2تP\`!J VGVI`TA!24^+^6",Z8x'5q;LY'C7 28/Qy%ZUU:%mFFH2K/l&aDsQd"ҫQVM$wθ Ȭ(RMqg{车בMv@=OTʤSbHIҨyil)Qgٙ) E:/ +J&i:U-Zɦ Ī"C$lFAT9PgN "of!j:wW姢Mˢԣ`B-e oF +U\5Csg;d彜c7_HuR3>9&)kN3&T"ikUnEu' .X;~V>[uL1ZoPHO_U1Q"`.LmLN0)cP7Fޓ _]\|LW7,DBwe3./6"7| [ۛvFT8VqҥKg 2v?>;!_-qAÕ2( C j,q1l߆EMQ`'"Nk<1'Rkq.|-|}9=Zl/ d}@j+j¨`6$b>u#1zb/O ?IzW=,D>`:IxsRp|EзU8*knF][a"x@e1'1f">1NCUKb^AwENOC }mÜ*s.p'%$4ؙ,N8Q ֙_1.Ĺ_aU@Ꭺ|QOLz`JHanqǘ ?UߏxNf XFΘ _1H|wW.B\ rAyw-9JiTĥ ylBcAsy3'GC3PڳQj?|\ qWzpס*NHϞ@<#ȨA|zL:ȃ:}*p162 j9f6ե2?ӿ]܋sh؟ȯT,| ;Mdƍ'C(,4  w? y!C"= z$<kš.a=բ/:G: D^`f)Fe4BCoy>Ȑ~;h]S_l"9cQ#A[g25~$27f ̶xk]w'op~Sw767NMz=!.P)a5[(A#uŞ4o7}"W1|HU+6PְԳ.[CnmNuНt uW^`ϐ5Iً%_dO,) i*j?.T sG~m`б/a"ReqMҩ|" ;~iU =t"<ɱqB>u ا%B:+N`q'(39 i9wX>k1Ŷ߯c`I 6XeooցmS`{T jjvt2UUD  r`#jMb 45jP;-^`{}Ƚ֘WznHB[X~={xө=pLm%7_?.nBQ74=c+fԙ1+1ᄣixB# ?_PKI M Y$"cnfformula/families/pigeonhole.pycZsG]jג%;8nWdYq#H[lŌ\lƳ3YfgVӳKUJ( nTQGr3YiM`5=z]tuWGV <3Y`&3_~5 _~5? -FIK,($kL~ KyWaN43Du ϫwLg1tD 9)&X Nwcq2qy0x&O>S;*Y^ "LďBx%xo(܊xY?%hmPiIDlG-N`Q(D1&R>4/='NDlNoUDGij-E"7M(V3z5u~H.ZKA ϲϢU4 x*ZvKh(w۝` )zJlv@ l:&;l ^CՁuS{&{5[f%M1$ (A^L=2c{D:lVˬySO**aR1 ,9TQW~^5w%#rFO%wK?&oVO/7@`ZoѲHL4_M1 }ww^۰&'[(47N,HZ"ľ&R/9'z"H$LA_ /. q'(L"x}RTn@50MB$7Y8tpKdM5"s.a\%z@ (@k[Nnp oA[B٣ht/ʐk{ݦQ`́syC[K88zQv#ؠΣi=Tٵ)k[tN>ԆSme҅wWĠʼn%O/p).\Pݰŗ22y_ !}^ZKK8FuJ3a%Ox>Y sWr0eڹ#\;jp9jB46(w&D7ؔ,?XU9Sz_/{n@P#cw2Er/-. ګ+E}, [N|!/\w?I_銗)^%AFfcӱ|x^cO$z{ R`9\{@q;Ԫ npUfn s0A@Md+H'̃]cl߁uR dпAkM.62W\#nԸGbfl @o)|s 7At$1AQ6JcId ·\ ?&Z<0&h0-P}U=I6$/[mn]~yg+1Ʀ͒g|O~:gjGу4{Y i9lMiL &  _Œ^8 c!dfҵQk$崌ӧIwU<5HR.L~g]JFɨRaX8nLg9c8ej^2xm#65.hx] xmjx]>8{& AkVA"o݄aTne*`% -ed&?//5y㈭'2bm [@ 2#6-rI[~(<ģJ#DlX9o_09/[rL_Vk!M$MDh17p HH" B,\! r҈ʊxCa1ZW#64@ P7IK޹@]@)+TcrT6.%dOLp4 ! t@N Ga$d*@Az"(waqdlnVq!BSEMґʀN_:ϋiˈszzD?T m뀁Vn,u,qTT; ls! $f?ua:o(s跰ERЋ`EvUK[+zT1ǎ/1h`xS| &q a@iJ?BhyVYmcK٫֧sgPP}&GWCBkKob>)M Y`9ЩWQgvS !=7LtKT'r:N@`ɐ[.yDgƒ1Fms 3m*;AޒC06PG=0t(0$܍q8 W ّY~ bBLG*"Z<N(-m崅B#xXOeNGpsXOkW[{l= s4(qp`+r8k]O]4g_P~XàL4FAlw6J-nYwjHkuhnW#̳̣j~lAs5@WK ַ`2'sJ\o)"LԄ9 YO1iSh~eQjv B'"$0 *H@tMjZ '{l#wTIsu93F/%BtƈPD -C6MoeMlD /q (%gS]_TcM+VPۡmQoGo Xq2|2-kTާt^蛸j8o׍b`hZ, %8S ɭ- |n4*z(ʮhI6eO+ְC6]26mw#`L]/rm:xa >mLI.VYu"ˣ >Bt·9s4Aov^<14eIi=20 >pϬx 5qK9B;fz5b@ Oo~_;z@x.=mft(1@sS]pXS][0+hWV̟s*ީ`k V [+|5m8 K=3g-a c,Dbem VA㙚^:<*Sjst=<#uFii8"hS!=oS/J(~"$itLTĢ 1aB}y"ڀVL #moF$jǔHkv&* $5_sʘžY1 )PK'wIj.cnfformula/families/ramsey.pyXmo6_qKPXNd5ΰn/XֽT- -6gItI)l:qv LbS<>;o7Z=1a' ӃL4^p(ULH*xJBL9ռU4FJU]WL'wߢ Q 3#VBpPk>/x9q_;'jj) NfY-dII;?:o+V|,4 pr0W*aX*Ϊ#%fa=hP[K)ѫB*L0 R0+\  &J PcX8Za09TM9䊠ei`dq@gEgTI(e% dλzVh]vWYb%li3-3Lx\"u*|}AErjgDŽ1+RxPng0J֔FQs|v;0=U7p?71k<1Eɪ*Vp11 s:n2:J4XT 2SOs y2Y}jZg V|UUAwFjUY a<,* /^6lH |qhVyљEvUctJ~<;萜r.M /Ѿz hH*wv1Onm͞&)KIpdzOԖF#`%n7Zkn4xhYлBulZ4;#kR>jAKt(Wk!P`7K<Y^:nfaea79qo'i&moo`X^LM<}]+ԪnکΫ2 dDh8+ze`blwjޓtk:öK4o=KCFc~Nyi"e7~@34WqSuiv7^ ni-,`c߃UW6 3vt'*Cyuz1 وPsYQܷO}[n=m쟌;/9a# 2Dl~z/i{2f*9+73sd\#0Svo>}/.qxw¿^˾~10_^P_by7aUPKIR˅Mcnfformula/families/ramsey.pycX_s?Dױq҉DI㸚Tlj \QS p 8 w)[?CS2ї~vHPdFBw{=u=>E|Oh|6ob6mfa,YXfQmV ]3,ͪYXc,ۜe(:ۙc~|Mg34x*.,c!ŹlFQSh̡e hnn2xW&q#%`Wp]-"kU O]0l-+L'N:2j/*~#YL[y;6;$6_>2ٰ"v>56*}B*=~4q}nQJL0]eE;wXy#hTfe޵X ߉ftצ9Т,)RD殝uKrI`eY)}>_13AFH}i3v[$ށv{2nuC=${\Ƽkj݄{DR %$QG$(ZF$f)"WomF&PR,y$cmj)gcpڄ?>Z}/wö_2WB]-^ ׬Vc{4#$+ҬtHY [`030QWEI6BK`%L.HOIbgf'qo[LK=gbIAMb t`c+ R~ WǪu&eҔt|J1!iJ4yP :o8T8[j Q}c5 ȳ]ijÀy)Jr!Jfl($oymģ9ATX$ h `nۨM;SŦa6hU:gB[ȏaT'0p;QH>O}qqZS.XܚXȭȿ+¾HU=nʇ(UEI&\=--f s6fjBF_ĂoR"e88h5NA3Nv@M ˿NWhz&7]Ohz67]ib]R:}ydya 4nDf^0kMhbc z&TG.%Z'}wpe!:i#aw]]z! >CZWw(QR8_L c5NϤg2Q\UXW3yQ㷨 lXy2!Ӓ!Y}ۉ!bq3&k ЉAO.(ķIiݟXVHUov;ʼ&k#CQ u};Tp@?x0-}*ffI㼎،Pr 0X̒Ns\=2pRtɞu7C#:n ۹ `RS˧ta3p$ʿOa&D{= l8?>R8?RƂ6ocsQR6ghLMx2I~: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>PKIi= _&cnfformula/families/randomformulas.pycX[o>ëHI,ql$&p&͈#j$( +#jjwD.jg(KR_P33Kʱї s9s.߹V=`?5D *_ T!~ ~íkr#iAN&wfA6`0y#g #xj7 j\cܦ]/~K+ingdQz_\>X?R?(x ~u8iW ſ=M1S/u_^I0VҋXFѹ$(TfZۼ->w&hgNb:El +)qX \ KOHx{XoIZkbTw(;D\kzFy>gfX h'QAk7V>{}`]zav|l,~qK^uZR{ܓ<[o}b! ٹ QRBcyԳ§bFYgY/dni[Sstlc E:S YRz@K+KepyYgËY7(^EoNS\632u;"DDMYq{ؿ"I]m.wb.&DĤY@EO-D?"|A"= 8q; ytYIeF yJ7<%мg8K1uC) Y(̪ -#αQo]D̔4lCv8PGRLΛNdx[N/נ0EGhDw9nVIJ1ؼA`dSz;.OT,{hȝPVtt/B<\q]!{{'˰Q1#U[t$tG&2 d@ Dk4U>, A4kY<ǐIP (0̨ȣq]1Ab8wrVA~I(ban{HmbzoeUbQhC 88JZd{GD7bkǭyOg=*<]ftL޹2h\fSC p5fY2 )dB/֦*% QzA#ټZ~qm"~XN72Յ8=BVqe-Of=.* Ɖ&Ϗ2: 042'P U*OrQDtVnk=+f&; EDJ"Mk> s<$ %=/g5M:G+^>"s$rd}:h1!A ǿF/$ԪǗz\dW `4m2񸩅6HE{dī1ш!(!/e/̢#\DL`c)UY(Z # S9"\* D~k&ils;I|ڌ@X>CRi'1EZ!OXɨ3 '߸&g̘{HIX;vm8jxI=9q03)2ܙƵevi_5p ~{b2'q/UwDU#bE۝_2ɢ| BK6wUy5|7^sȺWc|sQ+I. j(R7,ιc8 X\bf0>Fk{=k%sͻ(ASsm* SZhM!`R`LPhׁ\f^uQkSZQ?qCNf0].nw!MZWHYNҘYB3s.ֿo"4 27* ~)E2[?Oa䈥Wӈ,j U'q_>XnBPVYeqa=R tBk1Ka3.13WYֺZlZՖXښPK'wIJ  cnfformula/families/simple.pyV]o0}ϯdICBR񀺪s7ؑ ik'MOM|<\qcotw! i+3Ḯ!/2Sfbf BeF r9|Zφ8RYvDdS9ٜ %MTq-|I,ĉ1_|1z$Ϊ00YA! R5;$'g%TŒđO)ylfj׉2esELX b\:~AZ'0agH\شR1,ɔӀʴ4Ҩ%n\=d$=liՆ$ɘо7:x>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"OPKI$d_cnfformula/families/simple.pycXnD{7&!iEPZ$*"B $DV%u֓#_{$j+ $'x8eK"uQ=9_ӍqWdW~/+YC bWVU{5R.vhjL$ıdž/yrzc1{L=%F1YD@N櫠@^hG&NIt5 2wڤ7V t(ʄ0 Rkܭݺ:1p ]{Hb {[wIbC!Eq&)\/]쬋 7IPj,Tcbdu/MO4ӜZ(=KKx|¢?ipHVĉȴ!u$q叞Wo7hqCJ;OTƪ^A_qiM.Q%"^^eP>&ҭ"um' :EK sMMFf{6UG% K奅۷[7U w.8{*YLX \5bsG72=+-wUB3R*GwL)~-yWciU1dbӇQ?.[4XǮi"[NXFAO灮pώq %#ّ,uF`j=e@qQ5G[>ݧ,bW9.߇qO0ʑ3b{Xw2n3cHcۡ( ;ѭs׍ॡJǹgn$P.MFJW1 9D LR3kF͜dJG՟] tTȦR-gTwRKnk""G&LٟZ`̼zm7 hg1rŢy{|%|^;_wJuPw.yvM[%+o&%40@5X/eC1tmu(ƧPN9y`ކy*̈]Z44kl<>,a!G,gBe9a9;͑F,J6g#\pb*h!pOHFre1ׅL2ϥQH,30@*闃*0_=_@\;Ǫ+Qs#L oXs@kC9 {vVVGV IqT̫92e2u +d|¯odU 3]IEǔ|IڗsSOܡ ]! kfNe+&gS/4B+e= bXH5[,.{ɸQlb8T<4.b˂.piMc5yj @%*'mx Aww4w/ gA~ŕb"(+VHi=C!Cnȍ',ɂW,02"-~ćpA$Fc4erfktx9bsmV6{+. =%E=~$eO7;>E;_F=,3KOi2z>ma,7M,wBlla<37m6madޅ`j}=\@ 'δvGvZ.[)nT|uz9flg)-[=G'k}6yEaF=0%HSGZ,l,4%UQ`KRV$4iAm+ CՎ!4^[^3u΅%yaB3 P s.cM4_dweZɓna`1>`ԊBLE9gGfBTU)ن1bt={htx\o%$fgϪ]Ÿ{}į+ +&n¹'Zk~~>Btpܙ Pg m~m֤qedwbEtsyn/h]/ySp^A:#y14~ XFrvжͦ~Z<;Gfwj:;@mq7ngHe!pXzT3~Կ_Qǜ:azVǚIICJ~|kzG/CeEqK`dKg7u|xuuGsMKR[<[GmT,7/u{+v3ׂ)ykNZӾQw2CA*wr nJ4t$uy#eȋZ2؉Dw DUJly75ւs30k:M8m6[2H^bŇE[C|;amЬUrbPfj? X}m׈\_fV8pF l>L4%8ׄ "G`Gq68%A@E . GhRmئDz퓻xd,xb x{l:3Cvm̋L5&S]5V F@S/i`ٺ'_*5\v7| /0, JqV^5XAtvu9WՖD~X~  n:xR,qkmV5Ԋ盯O{MڠNPKI  cnfformula/families/subgraph.pycMGU׬:NX%ILb;vȠv3wA F @Ɲ.H@-wnH9pCBޫ5N"/TwUzޫ.~ƯzU4 h   ooBPzA @}w3{4,>E^9 (C/B%/q˺ P_!g]43`8 .ey 2 E+< }8;ATF!'UH}`͠@xQhEn=QV$'Yӊ*yOuͻug{!CI+z;^Ȅ-bӍfM `/kIJ;.*ȰIdc_ƉF\shMMFgi&"v |=_IywXs}AV@v C߀{QGA M=[gk [aP ol/Џ xءCD5v3! 1Q%A 3DWU`0Kga`$'ǑBd-" @#IHe^Zꇟv0ɂ#y8(ʨOXKph/!ɓH0!E97J@B-%BF/eY R]:/c}h1ܺ1޺"!BuL`IU}Qּ}8DBԉ,NcHRKǍol␮{e Bl9cZa&Y&f4iPT< 6ɭ+NgScܤݹAh X->1(Y!#OZ÷F$e!Z +8s? s ZNkؠ*RBS;pf ǚY>N~ZxpjߘWcj 8ނ9Xy |fĄaa6EjO0/UbdOƖcq *+ %% >vU+,e8޵wXNQ%dJ+MV:2vjH#D3Z-w@8턖 {#ba}頼C4qS߭jpYDd,@V KeQdRMH(R lNY;rkP&Q9q-S̡Bpc QT{d~-dt݈TgˤcheGxTL1[ϭwp~:~tUBU&>n,wCD>Gޖ~̏_f^b]sBQT($X8Bi'xDdҴqoPav1,W;եw.W5s&dÔl&O2#>k$L4pL,HT''4Wi7Uj(-دC#bC]6ylós~2O?y+W)6h9}v\H̢& ;{tH-`CZz&񴘫M<{. [X'|k$i8jy76oeNq1]󷩘T=qʱU_T&ƃ&@'28K$|w(#"8%$2'09@P;OR9q:Dzڒ1%FK\k{B*'9; 5PqU+wN/KNIEd3n(ʢLOx}}lY>WPKLIz(cnfformula/families/subsetcardinality.pyWmo6_qK?d7Ia0fI֗tmW4A?,Z:Yt)%)'Y;vlE A T1_֥:<t,٨pW; 3̝pRԢH-thJX^$FgIuH 6N>~lXim1\2F:cFDN݆PI l|PpXk#r!HߢZhƃ^3ׄĔ 0/24~bO3[A.TaMJ^Z V ߄w2U4jdu"[Ca=ފsR!(I=_CC H-VPµt)ԧ.:n@Y&zU'?Yx7 YL#j! :nNC7/Uܝj %fQg XC2I?QĥdK ǼM naɝR۟ZW5.9{<1(Z7C_XHqy8uI՜azZ.b*Bd$9`X:?M !uM5V[] #jM:7V茷yP' v+ ׇv3=Z zT)ݨ*YPB,wʽ#WLHrgW|(gHz$A~N|SMLXt{MB0Z'^{ڕS&VjR}X(UD3z ?G`@2@p<[֝XFDB>.J%Zݰ>d)̈́&bn=Tpfܝ߂{qIÊB *5Ц@UԄVΈOFEpAr 9ݯP{ka ?&֮w_\ јҭׯ Sy4㪝:]$paN:RA^j^ȟzE췚FhOt )(;T;Lmm7@wժ[`Wt#AQ=0 M_L}i486xh={6&:qdmՑb}{7^vkK*HYdTq#}צ'nTT.J/Ov]uH?/6q$!ݷ#MFwؘRs=8^E͚*%gPPKI3Y )cnfformula/families/subsetcardinality.pycXmo#%Re/FH>FDZ ~SG HFi)ݒ<^ۥMUb~kJ@@;3{w;FaO>;O~ߞz}9~t_Ё8.s 2D Y ܻE*ЩE-Agɶ+.CTN 9 tVX“9{)43/rsAN~KHE~ia4 Ub#M" =je'S?e}KhJ] LwKahFr8XT VY|Lds{8!5gw{*v0 z TZ'`>hJqR]+m/VAMR~+dy诸8v W; !$p{wwn´E=+ *Vpz4j'tsx:U'RЇc γߖ`/0]C1X"ww>2/h+qk&W./f`e :Zغ!`'޾ַӽ[yY)tZwf|q&sC0U*("E)f$`snS<(a.Pf PIm$ccPJzc#L" kx(,T=#hy,c]5wJ5r?력Ԅ"b$VM'2 dltTd=R^ <ѓQ9K|P9fG\Ǝ&]q}5͌E1*V=\jB Rp̜ԕ۷7 -{)9@ JbpԹ'A6WUjWFi`Gpٵcڐpkk1YKH&//f\a9Nо}ae`"gA2d=k46ş۶GPl"s=KwpX NOKHnVt]0n8.Eݫ]7+zӎtX`~/d0JQgaQ˜ DS`}׻ZlsSyw+ezKZ̝TFYfp7/Wo|l9`;R+j& cHM(cCEP F3MB-os:Hҗ: $ȳq,`!byļfgPsqDeUa׬--IwMX;\(BVyF"7y-[cgvpHnw9 o1(Rz,}*{ʎ)QahGA[F7V9 e+8Soq")RCµ,oe(-n.kt2평8j-58`<3wCfm?Tdg|ɩ:?ɇN٩hDTѤ-ښF']qZxY!qn-|Oe9W? ٫N)eBr]׍ ٢6lJ{i hVi|G tpZPVxhlQ'=K yF>š3Gljy{Pnrn..`#U}Ji["h}D/epcPEeGE{ؘ_(qBt2^h+H?PK=|I; = cnfformula/families/tseitin.pyWMo6W I=iTl{vK`84R@RMd)v%8q89|9Vf54cqhAjD6f TmϩVI(ْJ4_ k; *fV(ʄ9֜ %uhxactѷaBlR$ FZa#+ mg54 BeBQ`z%Sxzz:[oj3hPu$l6VBl\pK[T[6ORD x4ׄ>?6jGjX8yD>Fá$S8bnX(~p@70#}sN'?Nm6:ڼŜv:;B-پ^C_<7Bz 8-=WJ,9l(].UFL5un7ᚑ'PKI7R cnfformula/families/tseitin.pycW[sE>={nh *IetKfgz7e3݋Av->o/=t.奌e*i]Ǎ_+ Ht4݊W!BZn͌k!m@ tgl&tPm,pll R41.@yE[v>&a3K<ͻ(tBJKL(^!;(l5.9$K'NNda$L+R&ԁ+05{oJS2skoX3wzaB @{'4K૜BLuu4Nfm FE5г0aH4L|l4R*,6~ Xxou9%#7gvDԕV{Q䆛A1Ej)ڏ ]"v{wHqϻ,J9  VF2107O]{ܼ]2ԹKn•efi%>c{K18k9{)dD/6{ ߿!mQFzf #zeR.L3AXvZV/+mdې5y 뺷V5"aߥV3n(Stli3igI4iqr"qN{+LM"z#T␛c@7VAqyXx^PH4"73nQL`Nk.-Ts{}+}gm" lCXee%AqUJ7,B |ECp"j_RV_Rnz!4B!k)=agal #oUZ.P(auǼO Ci)S"塦ֆ7S\֬hE-EQS4U8oN}be<mkJYzTu&P!Z˼o`]Vʞ!S~bkPԈS9vp;I\rIc\?B'.0xE#ԎcfnL7r_œ&aKʕ0Cp9%nNmyRf&җE2w%5_T&Kx9h2oPK'wI`{#|B %cnfformula/transformations/shuffle.pyVMo6WAc)RE=X^HM"UR;$%Yl|̼7OwwϔޡMnPNP!Jʏ_ Z7Bj$1/E ϕ5JӢ.=9R ^U%d5:!ӄ4m߅O2\ je>hE]_)F7Aѧv# B׬Q.ֈn`0Dg^m|p~!u뉃1"p-=6 aO DIld/ɟj҂뗧 \C.=&DFO7'g[gCxd cS#aiH'i0 t"?y!NJ9 $*[24u>dB>x"4<_k}C+**$ml/6OwlPӮIe֞\/.۱YE\hdܧlO&dޭ=+9Bu{|>[׹ok|!*PKIN9"&cnfformula/transformations/shuffle.pycWrE>=[#LbjHQ݊qXR,e( "dj7LgZ8yQy xG3,đZ=s|}bG]8 ІXĂmT`P1*U`PùS'6 @Du )N I@}/׋,|8dr)-3/HD l(M<d'FNÀz UҚ*|d<)E<8pu^Oxnh *?٬a.-Q@$,͓y)5v{E$bw\4E/>[XP+?kax8ڀ:[rG}#Bܫ[ߠ&dq>19dcPib#^t 0phU4jv1ƭ 0vl@}a~7*]З`^gg[k-Z( lexU7a _ eV`ބ&4^؄z]Q~7"b"N_q>c錢8.y(w(%wt~?n8'ďe(y1OidOl4d4 eV\4H?vq4U3-͝,wcoY@ zlKtdQAma:3DOF*%|ZJM%zCʲqu!2̿QZuл}:Ui^$drzm)Ge _w;Ǭ麓 *ʤcM4UZ>r9bm`[]ơL?ژ1 V#>ր^];E4E&`Sqlp|viܛcèMt<˶0p0DFv'~Yw僚w;{wr4{!w:r:d"g';sqK {ܧi"5k[S1S^Hv"*ӉQnxO)t-AK2Ji~ iH>^(0eO0dK5|Χc6[Aُ:rd:'|cCJ9CCTg>NupXg$kd'.}))ܣiALcW9ZkxڢF"UM/HX.=EU&i˷ cwʅt|%e"ˋׄ޹|Tz,)X/=sT]wY64V#XREQt)ѧ 3$B*lL)ɴzE }Zq_E`Q&[9'^ 0qM1H}t)\/:bY` Ԁ^<6 e.@gTئz} [%BtD.P _5ʹ. /@'X]C4zf&XH;z]:41y\-7ILBJ>ҭU>_Tn.#y`MDĻmE_PK'wI  { C+cnfformula/transformations/substitutions.py\oFb+}SI`@A Hl\8:"Wj[p>]>dIҸQ&ggۙ媽i|}%:[F#gE~Ol1tI""f$XQ8 Xw0Z [(g wc7 ̋X%.(0`(ʄ^iF-KQrqYϽhrFL<͢(,c0`I^4Y噸z=G~ixn_ݔG9>ipM\j$" . Jip"I_ 7hv5&_M&| qm K9+P E a1 %4k$"_\G:lp8l 0\6!b~{h 뤸NOBh˴P˲mԥTg 6H[WGyaH(MH 憥S$`诩5rqY* WH=Cla&LmKr.X:uv!_FaHg؄#f(d= L8d)'nɎ#LAl~&߁ zZ#FQfhHr 9?tZ%jLL; J<WZ.+̈́"F.]uoig3䐲ָOuj,Ә'h(ł1d.HIrD ~ ?~%\U) .PBi,!_)<ψDP!J.d1mX9`cdd=SNMy0TlP_kYpEuG&P.h%.Q-G H]WZ-YUCu۴ʏcQ[ mC]oYB凟bu%zB>!(`T3T/NN&U˵QG!o-JFʧM-yVM6k& Kr-l57`ѦdM >~[[R* ՒlH P 6i(7 I($e؀¼]d 5_=ˌ GrN#FǵA@Ip͢HH YEj^T6Fd1@ƚ%}}dݡ&fus)AU ՞8}fr硁K簩*#d%{wwwf.JE^#}uF|ĥM +#P8X4.v7 Eb_(fk`b@tPզz<\ tR:/NY`1]}D*%o 1AV'&Bz;m20VZ+b LC}+Z, [58xa=Cs2&'dUpF+wJYsp%icɅm1b2#xK`ndj[ ,Jo|t{ p/j]ph`ŏyq"Vd|V'An3)fAUdCjR1nU2mbȼW_r7<Eiؐ&@*;ғo~AN(4.p9sMye:8 @)t Og@};f95:զ\Kkn(1[ay5^EW@ ǹ4@mԆwݿ ?QԒy7|x͂[eet[48asoQq.%e m"O'5ZP~,0-6$$u9)y_-ȉ\.NK6wڣ~< qѴ.٨^iFhSVX{,mHüFg|c}S6SG&WgC7) z?[ځo(tnhۏզi6CIfdlG]Q*Tjwz EOm|͌CC񥿷X7^ݺ^/أ&P]hjC"fc('t/>O{¿ aۍXǜWn6.9o/W53n1ʹBZ ͖_@L :39 J:ce@'qT.vy+oά(% Sfȹm=`8y1@  fwd츞Nw0\&]:%ck?nx@\wCe˥]qy+Ԗg!n&ph\A_dYM|2:]OY[/l C/BtyY"PφXcW怀 ~_#< 玈dW VPKI "X,cnfformula/transformations/substitutions.pyc\]lWv>3CR~˒e+Nb9$Kvԉ'"S*d3$*!53LZ\OEe }[Eч>t @h>@^R-(sK"y53νw9wνs/zZB(WL W`ETV!&c|8|V<v;aϱ.wJ7{`e`i<x V']`[ bsNGz>eR6 lY6$;fٰDeC,;+eQ`sQ0 `bTp:|>*e%0gc `΂bTp/y+Q ը9 +`NDk8~ *W?I9~fd\ɡjZ'psv&[p<5.!z ZyfZVpJB>o8~T߃ ޵swpS f)볰h[g-V=?j$-U<濢>: qŸGfhoE ^6lKO:mTݗxeGM,|~SJ qXgxSIrN>Ta;J[ic%褭ayߓb~*]\LC Qo@vz$<ƌ`Yn~ႺC VԭԠ!) =S+8|WRa9s5\W- $Mc}#iD qu1T^[/M!|t[7,~kڰ rrF R<%λnX^BI^}J23'Hl,.'| &Ik-22gZFPQsȃ,.j=y0Ͱ9|<ym0]{|_*VʧP& 6Dz߲817ų5~:3;Fo'`e9ODɱ΂ѽ?Ѝif!KڅxقW>5s}̭4>R@ӵǛyv,i H)IbrL9Ɣr1>hJүVFxFT;=: ( eH=Pn:ѽn؅z+4ed7B($]}-L3Zf\ǻ&+ k2_Et4=}QZ Ud2?©f̒uhA'rcUaM% &aH`1OsLmbX{XRQAŪUeI|Uh*>!)$9r(=,rh1^-IdQU.5Z6HABMdOk ˙"tTexywHAѣD2hUfM)u{UK`[4v\ˊxJRsnmMʙ}uM" Bʡ%P2۱pnr Iq;$lL_7Ucu֫NMɤ$Q$2B1ؿcܺSp=R]bNZ'IQ{WJ,9 &A ';-aQuI}t[ |ϧn3} 'v4y! hUOd""[pOфu2 6bC/UKl8Ggpf~/f>&J>~IRzd&z2+,JRBےiJ`G;dF$}*P2+ eKrpD,Y =bwn݈=0g\1oӡh5l0FS=o8ۑr>1` |D^4I 3B 5}FI p+#sX^QyC#@w?-JTp9dd]g@^sNLx`ւ'zhd,I+bw ]k D[7wxEe}A{EkD*!?TgCűw& LTM)c1~3i{- R4ޛ* 0@=y&~HZBIC(gf#鶦i& A}Cƥˍ,ǿ\CSsAPw)k<{ gXᰘ_ 8hT0} *^ *8_/N Ϊ_9Rn$33bf.~ZVהP6`[ְoVɰss[Jýц=9^prpgL#Ez 2%__"/2bBJv)oP+Gd~f節]iFHCh IE#z! ieHN)}6AgP%S qS3PS{"Y[ ާ17[dE'"뺦3aIRb8Ɍ< q?6Bj1Zd}zH|FS_#&j)ԘR}-vDvۣD' ^.(OKa?EmGIh9Fj;H~!"'FQd"QklQZd{s\-<̫lMf[ÙM^MrXtw;tJ<_Q`׬(X^Zro돪TYeb6h B2KnFz!)' .'K<tnj6:j#TRs;TP[IlSМ,Q1ռQc(4ukȐ覥`x=x1hs~"xO5?܆М^FC:rd7Qvx;N΋7bre$U7%I3 RZ\%)(ٽ̈?-XHc΄:\VCaiPNy;<׭T KjăV^v0vI;SLϗHCaijaRZq7CH&a弢+ݖ.#Z^(or͗oo?t١尃UNyonxs{Na:p]RDJ*uAᱣZ"煈#ݎťH[/y0cN}ߑ#Tbl)]Qr VbJLa9LZ8ӽ{pIx b҅wFK{P~ j"- >:h̲$qc1è7|ooK_w(iءk7H &1``ZcG,OA8% ƔP_Rǔ^ePi!kl0UUٳ + SM&M^@n'@V R6 SnH>z֥+Ѭ`;eFg|xoN])p/pzW9Π'/mxciZ^Cйl7 fW(r 4eI֨ %DkBR!8VHPS0=^V655unial[y -f6rRA*=/o` bflS 8Tp%6mXvdk#^(w=`rq+,G 48ӎVށNKiHz&pJ?dƧ 7du82"Yn6tҏ) %QyRBO4&%ŶX`am]X@R.J-oao@]e g)޹>" *7N*?= TThOl`m Q(yu3Pj|*X(`;9=_ M=06|TM~m Hmo,.(}rąe|.Fv7ŗ|G!rk8Hl^tYV408B3}M8TնMECl)I363 $  gx| o'6 Fs+bՆ@k\i!',i:AD~޷ht3O1wό=ӖP Al 8m &P-.@O@#I~p,WjGI8ke2*$x%6s&o˨4iumL5b/lOKL@܉ <|=PL`53~aJ'ZukWwy5_Ww,1QB ޚPK'wI&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 .'APKI^rcnfformula/utils/__init__.pycUnE]k %.٠؎" E`GXbF3ޱgg=Z}< /?3jw!F 7in |2a8GO20o|@C_T3tn0`h[Xyö_XEHr~Y͌3w^߲osU9Mtgp*kGkv?(Ӕ>亘sцЊ`dk dSn8lӁ-:B1FeiD#13yr%Ey#3ٗ}ge_&w& K(NBa2!"y8.hD:͒Nlׅoغ>w7i6IA7mfypiv7[h7}zּWT_Q ^UQpj[ _+Lʢk{|5FvBhsRAPz~*5?!FuzX0bLY\0"|ͻۛ_҄ .39t9Wcشg0{qPE[$cynmq'2䱑TզQ4{o& 20@] җ%'콮xC)$I ' 4aKޝl\L_v ERgcvV4=@7oPK'wIU]\cnfformula/utils/cnfshuffle.pyWmo6_quPH ,m0Eh}(D$~HIqM_,Sƻ9/;kKBmݺV H/S(t)jѹ*&ҦjnQɤ2<: V*Dۓ~Ynvx5\ l|_a /BUAڡ8y,' Ws)*`Ӡ Zmja@^d\{x~R J;Xkj4l3ۅw?u7+ckm <`ėNtii6, -4Zjbyv;d-f+1}[ ?n5H>Z 4z??Nεݶ1mV|Bh zU Ua億*]^%c}ai=TBzx#2mYݚ-U}tEo{11c1O)ladKpψA j; ^@K(#$=/m*d`;h- FԶ˚#֙;8sߢ׈F x?m+ BܤZ-nm@𒨿Dyۣ*9afp-#h\D>b9jo3s{08:j#S49*JN QROd}WF>ﰫ>'q O,1.!};PkҔ&(7 ^jx51(OQKN_3I"6IQqpӜKM?c#-U?@b sTy ן#e1Jm(P 3O1̛!]4ˣ7ٓ1|O {шpݏx$vf4i0 ::s<ʍWFwm_}3Y`r?Ɗv r#R#ABi81qk?cvؙm%ȂuVB q;^ZV̸sY}4=w칕U'%o!vxT?kzT Ż=kXsFHɉ| #x?&s%b:wA[<7Wľ5by(e^vMo{杅W.}y}?`=c$ ;퉰FD xMskeyå(Xy;^y'PKIԢ{]cnfformula/utils/cnfshuffle.pycWIs~I"EJE- ADٖlFQEQYeWd0l!*'$\3rJUry Z/1@ {޾tO?ˋw>}(> <0Áçq*Ѽ QPkW+s7s!n^i Bi4O{j͜,D̃Ҝ8դ IwHE8SꖭV[Pm74? ѵxCAGRm1) 1wpeK[;_bV`_IVmT8T )uzRJdnZ"*")$)L S,R?@)LA}&9 F)W#u$!xZ 2nRhȤ:L2]G*)Bq[s南ofbHYMuZqW`G̲` ӥ1se&xEzx}('j{9g:G ?ir'}!Vw)k6]RZ针Q0s(H?t*ڥpt|Wؾ$ӽ^2|I%Rx Dse ɱI;Ͱ֏5Mwin0a$;=fQvw?RmՐxS{>)@]$ZVe覆^|U7zuyu^ox+5[,!m^֑b4*k; L|I}}e >N6=(wA. ]Eb,aڅ.v񸌇S4PԱ?wn2#vrwZY.yKju7KPK'wIz #cnfformula/utils/dimacstransform.pyVo6~_q$i0A֬XPiJ@RN,ى`Xx?xŠF .wM` o ])v=*bUZfD'c,gk05Rr.ImKc 8k[&Kh0Gef&w9D^?o?_^݃ ZPR0ZQt<֢1gИeQPCLp Ju-y5A<':eW:JeA/_z(F-'S۞)1,y=9Y}ZxO*+Dj;yڭL໳} Fpx>^饬,sEaX8LD[y6^#(BW痵ܰSiq^bCc0y%7}ܒ5[K)i huA˙W(ՎF8}ְvS2xZ?2}G݊8(.gT( z}4,l\.[[m'ƓՊi?5'np+̘a]vIOYQEu[ Wj /ØZI{MRI(i8G{E~t{s{ļr̰vz )9zEؖw6,g~jU gN{ft'bZgq"R[]f_thgSƝ8݇hRr78meOC:&973ֆ떾Y bxY&,*Qx2Exq7J YȦBMM# 6izq'U9J s>#-`dر Ҡg wt,S"UQi:siԙE>#/\"NFU8B*xD6Y gE\ K`U{T`"`A<6*aR#rBof&Nrޤc᝼ԼMԤ`Rf:C)I if6ib #t3:9K{5yfjSe[Y@oh[OlT#O켡]5g$lAJJ6ߞ ֆN"}APι5A3A9 ԜIr:_p ;q|5lA,=d( b/Pm !PH<;N29ەe;Z3[mH#jZuWA({2f $o<~=zuumzQ'QO_p(Sx/ 〳 ^")WP?3skHRri;W*&ޞiܾ '_3~K(=hUhx^cZ9y{LxXӚq<ϥjػWY’̽[޼zvҦ%=Ot%r Ύdm-Xi Yզ˵PK'wI3t $cnfformula/utils/kthlist2pebbling.pyVo6~_:[ic*t`M:} hE $Hʒ(Ͷ HLQ}wǻxw}=iV2 %)TennD[ l;.JR0ڑm;NPEEZk@lȣ7Tvrͷ_6+'sC*g}af{;gӲ+ ũÐYJj'<{VNjPҝ0Ky˰: 0 Pg;%@+.>:A֓Jc?r74# r>)`_K.?JؿqF5:(1i>ɓJ=Ƀ_?-g#7ACjJm6pNr ^Jf ݕ2"t -~C34@-f"* c $oTk'Q(oC5%wٝl ݐZIwee6[®qxJ o&?Ixܮogχ?SH֛t˼sc!w.b ~ddl[ssĽggʤ-up2_CSTW& ~r1^LJww G(cRV3vs$y4@q#Oֽ1@Y9;K-(8%Ġ%24;B0%w0H#0Fg<"GzPKIÁ3%cnfformula/utils/kthlist2pebbling.pycWNG> JYpQmZ. (jkֻΘ`ܔE izh9KL`9k~7H s䠓N>`XN1Sנs dޡ܅l 2O.*ðm"}%Ex'sTd ,C^= B y5\+Mdw'~ m\O*"};cEh\<56ڎ`j ;Flv/-ޗ*f`6JWtV7Ulɗv/FeMb/Qе74(6R+mRMq^47F?57ױxMBQhE># Wqf0,C,@sZZh$G^g* \;S;g +ęQNV4^%pj%<.iq ',6u`t]͙% aq/,i*CGg OkCVf2*T#7%14'#úfZoCA!;K{5^&f<1ڢAddX䓆6R=Ftirf깓oT08~zհ*c1TJD!Bi\I~UD=o'ixH6ɜ]ϔ^uR #tR!o)_{3Eʨm/.ݤKl ?<7πƼu Ë>٣Ą4Ǒ;qvޑW@|(}{;Ǯ]+NQlԔ_mS$Yf yPT2F^ȍ~ ͮČtG'_?q|M|tJ !Yi}9pG]n?'ix+1 vy=8xBʅ7Z 8*g|N4ˡdZmtXp6uH.kN&]#M2S"-ČoEaI.VŊ(b$^TXgU&G7 ^:ʁ^!,(M33$ך  G)/I"ImUl+Q(8`1cl3Bɀ;#|BV T(RP00j \/&7"]9%͐诈U.K2!=e`FBނ r.Pybtƅ}RcVX>`:X_`UR˅k S:a}m@UTўe#o2X9yF|wzNRtZ ”}"҉| b]#ډNDA"5פڐQ2أ!}fR1YE[2/NJi&=H]LDaMwE_uQəDC(UkͪZ#8#ScJ<##qXgKj3xA xb|Mpo=2&V*sUaڴiQsx* "9 6S#UHXŅ͊X(ՊPKI暒 5cnfformula/utils/solver.py[s_zm_._uĚ4ݜH4 Y8SBr4߻ HQ.INsz-X, JBsfMe2bI pV-SyE\=r?pzo0*gdiyr%%%3P }U0YxOP*,erg8Y#6 z0eB,3UVy\Y!Sz9Ų*E"="rS5z),=svt B>dy=(zϙ{4 IC,RHc3`1î@̭ 2Qn@@33cMƍ,;]L)/̼CV%3.SК  QAUB$ T"xP\fE.UxPJok>u6NpF;1H^:I\2D\珜Fi9FkkG(|*xx,#PfiTتʈ(56TVEpc#8H9~V$R阪9y˪-qhհU, 6z/*fAӼL?e`G\w!QL g &ǵ< ^z5@ҚY6p!$ +fHbk<,CO:/&|!J&mU@`b%)hV tPV}Ƿd`AHd0։9%xSq"C $""ղ AbK^@]Y! !4:e/l􊍾`Q6hAQX4o|+r[?縐8d[K'Z:$@GH ih =kvbMzkG /9Gρu"8J5o k਻:6jCnX y}C=|#SmSE$*q!Dj: _!6$t>sa5$|rV'/|_@ |* *ٛˢȋZ*ؘ&5rUq`2xgYZ];r6lyyO# I < 4`{>/| 0MW0kk@Ta\:u\PP>)PjDͭѩFUZIOLdYbsvrsr-b `Xr _, LTndx~K*. uaáQπϋ&q;P`=D55Cl\πI5q4u_"[wJ3̈́;y& B"hBڒ1܂]:f8` .G@[ \`}'B]`X5q= t8@B)J (0?BD|g3? w k* &2#[8kVRlVeC`p-q,4Z,ᥲO[7 E*W.#7t \)Ej:&ς'6O,YXd>u&gCsV9>؉XF 6$GC5jBބySuu3n1k{>gWk =a'2*l8:sxܤwr&& m B?69]M2xtW**B1T ߋX X+X h;E[s BGFNrS1){@>!L 7xnzu}{n|%Jy!GB͞cqa:fT_Ɏa`3М>GO=,~0F sy^L;@ʛzq9 }"z5ya`8'kkp:'@dE%;~`o73vɖbq}(?+BBs'N u$ǽԤ@ !L, t͏5T!d)-767tTs#0Bݬtan,@Z@xX:T@mafN\wp;礞 %NbB>Iv0A ߚz}}T Q0Kmނr JDw5GVj|~Pu ŏ;o=82QkT(G Q܎"a\X" tDמ tvq.axjI>(wZ.Hdd,eqI(\4$ylƄ^-RJT%D?5L ~V<)O5-+ _rhZJ躴Z6hIpG;~(oT-z w( 5tNI~P|^ek!h]._~eý,'؋_Ix]ߋpqǹCشs2ތqӑ6 %4!Wq >jhz(P/s|c,J*LgJtќi Q\P:ꐣ\;>iDxǖ[uM;ҵ;`'y}W䫑#Xft;;+kOz=WthRCܣj[!ly(- z̊(-6Pŗ:ޘ-۷5꫞Ns{8ўatq>'ЄysZǝbmoMDP>zeH}Ur_tQ'yaBUXy4;,#PWt彃 ;㈽$Uľu'~R;-Q?L4謝 to}07} \1 p±dX!wC[L džgL5ju2 TacSRE?Mq CvWot tW5%qۺv5~[c{%ؐoFnEnK2w T}H ]X"5kcz[Mq=w%Lv.4bZ-}jz\æJ&0tgdV4("SN;R.\ġ^Rױ0E=ݟSw؂J*Y)Zf[V6λX$M5 PKI`qR1cnfformula/utils/solver.pycZoGv!h(R-vvZs-˶VD@kڕWlv ubL^"!qr  C=@9 ASrK^UFHKTǫ{|{%~O qRK])=!ITYKŸ 'D0#t S1?'O~Ĭy;I?hۜ)O ^<P)Os> # OظzW%Q瑎U~O:lT*[ʋqU*?҉ T^Gwu*7TݎJR[VTq@H]1 nCDJwNZbh; TE-{(QeUuԖZQwF? :IhM6i@V%I)JORA 'HZќ>҃jeu0ϡ NO.8ٮw8rG,툣 q8!vKtB<h򙜲8K!v˔#H!5yXRmhJޗ'; 8bwhQ]mG%D`1x"JUڊęOhe~=2C{/<%&9W )e(h%;o;Ar99Z͈tAN!Xwq$ӐWb&Cs(២9]$!A_ Ӫ*uo#j^Dc+Q#X0PLשrõS{ICúxaNwvmrH2;B$h*罠$/AVVO҃+uw'HI"{jv[NߋŲ]reim-+37<`*[iہ&,m z%;qE\zǯ[k[i&Vu}*@?^O3 @#E{:vx 3 ::'KkwjvF^k^]Pe MP3V&j-ۂlX^y:ASJ4o+э1MH:rQ=7Ւ&JH-/NX+t|p7k4 a ȌF,  )-\Ȼfb"ԡ . B^0ZzDvbf,`jqbmWagyli̦d#06GKBX>H&zK0ęHQ%)Z1D.$G#BL-m;Vΰpo -[Mc2Ж:dt{ZyA/,x17X뺱ch C)&zχzW3fu}L C7 Bcj3q3Xэ Q]>ռvR5cOxDN0!خ2lwePKbG&PZSF.e!giҢ}ٍb$67`XyڭyMcF>R"@]d>RSZ- :}iA'lg ޜ#@7f#%mTæy&"Hr, ̿Q\e`:oq.[A,? <7M`ofGϚomoۘF%Pywlzt7W@6a|D+=|,W UMTN; g(ZY^s*8.Cj($+%܍C_Yœ|#8i*͈g-HIיx"v & 2"ls6p"̚n+~Ÿbb]3w30r^;%y}8ZlڪU0ŦY\s3Ip89+ƄO]|]^GNS" #}Hc{Ł4@#i/0i0/4c!gوz~zDUw%la=n6Λ;2tx&k-'ffbД|vv&h$oFs͵ݞ>H̦cش&42,n:[_"OkuBB2֡_+a^FXͲ}kPdKlo5>i`*7ۏ8hi`%6dTO00KO>{`|%'-*{ ;u5Xg*#.O:pepE=V;)f4s5f XDj[sAv dL3 f2n< 0;:! 7=%;eMv 0.$id iAτuv⠽CFuNfTMj\8E&Fc0%zPkK`B1v!͐J`ilN 0\sokۣ#;^C30nZL+Kx }G9qB {™^ꂉL<rJlu8"CLrA { })B' F HcT|~.$k?tۂΠYt7 PΡ& xd|W >T^<1 D7"a|; !wAoal=g|C!qê+Շˆ?׮C!uJILŢv3HXr=a)2{0֗!|)CVc5!zUy#w+u\oI-]P/#zg㳛wK95}c3!l]o`;zXeùP/I$~=_Aօ#.:EFUw#{.Ȱ=[E^[+h%B~k#g/2;Ġ+)\7>ɍ'C<Akh6Tƨ2 )#Onw=z K*$ӳA攨PxjKrh_";TG6AhnU*bxp\L%eywp*C=0;2ĭѣ3szp~'anmZ3t.ØkmQ<1 ?jq6!ybe"w'm{݆g̘ʋ sn:_V=~٢K׺=ڰh FϥQVa\=6>-yjf5gRBHL.4 rdo pV`e "IwpM"¥?H= =4?Pk8fko䡵xA f\Aks]c63MŤT79qXC\O\ 7!_srfȕ墜)y9aSr9|Ǯ&Mnln6W1O𸒯ȗr(u\sh'w^Q\IwKrj213]]oPKI2EGG-INFO/dependency_links.txtPKImcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKI2EGG-INFO/not-zip-safePKIc`:0/EGG-INFO/pbr.jsonV,/JIM,NURHK)NQPJ,/K-**YZ%Z+PKICEGG-INFO/PKG-INFOEM0=E/@Ѹ0JQu=MJ Ht~rdxCrG\0@jY]#dy-ȁC89¤z7}iJ%BTmOe]Zvؿ8ed6q msզUU:- ڱȒc(y:|3gsyQӿPKI/:EGG-INFO/requires.txtK-)/ʮ*,H,*KPKIL7mEGG-INFO/SOURCES.txtn0 ERiPutҩl(n'MB5~vh {rύ|mmN,vtI)ڱ3!:$]KD.-j@FlbEt4 Z.__tlyX'g( rt6Mr%'oPOF?~e9\Z- m]KQTO_L'*}eZ3rxi\j&dgx%n!)OI]\E86 (ѡ0Ѕ)~ePpC3MdrshatsuMq3ۺ\6n׉ ~{6cnfformula/cnf.pyPKIV].a(}Vcnfformula/cnf.pycPKI|4 #ycnfformula/cnfgen.pyPKI2t!Bcnfformula/cnfgen.pycPK II/M>cnfformula/graphs.pyPKI/*ZwYcnfformula/graphs.pycPKIL3ecnfformula/prjdata.pyPKIhcnfformula/prjdata.pycPK'wIG}cnfformula/families/__init__.pyPKIm?s scnfformula/families/__init__.pycPK'wI%$cnfformula/families/cliquecoloring.pyPKIt &cnfformula/families/cliquecoloring.pycPKLI$Qcnfformula/families/coloring.pyPKI=  cnfformula/families/coloring.pycPKMI| cnfformula/families/counting.pyPKI[$=O cnfformula/families/counting.pycPKMI)$Qcnfformula/families/dominatingset.pyPKI {} %!cnfformula/families/dominatingset.pycPKPI'|+cnfformula/families/graphisomorphism.pyPKIՋ-(~0cnfformula/families/graphisomorphism.pycPKzI7 8cnfformula/families/ordering.pyPKIr ' @cnfformula/families/ordering.pycPK'wI>e }Kcnfformula/families/pebbling.pyPKI_[# Ucnfformula/families/pebbling.pycPKzI*5]p!!%dcnfformula/families/pigeonhole.pyPKI M Y$"lcnfformula/families/pigeonhole.pycPK'wIj.zcnfformula/families/ramsey.pyPKIR˅Mcnfformula/families/ramsey.pycPK'wI%cnfformula/families/randomformulas.pyPKIi= _&?cnfformula/families/randomformulas.pycPK'wIJ  Mcnfformula/families/simple.pyPKI$d_cnfformula/families/simple.pycPKIp-cnfformula/families/subgraph.pyPKI  |cnfformula/families/subgraph.pycPKLIz(ǵcnfformula/families/subsetcardinality.pyPKI3Y )cnfformula/families/subsetcardinality.pycPK=|I; = cnfformula/families/tseitin.pyPKI7R cnfformula/families/tseitin.pycPK'wI Th&,cnfformula/transformations/__init__.pyPKI<U'cnfformula/transformations/__init__.pycPK'wI`{#|B %Ycnfformula/transformations/shuffle.pyPKIN9"&cnfformula/transformations/shuffle.pycPK'wI  { C+Rcnfformula/transformations/substitutions.pyPKI "X,cnfformula/transformations/substitutions.pycPK'wI&fI :cnfformula/utils/__init__.pyPKI^rcnfformula/utils/__init__.pycPK'wIU]\ cnfformula/utils/cnfshuffle.pyPKIԢ{]kcnfformula/utils/cnfshuffle.pycPK'wIz ##cnfformula/utils/dimacstransform.pyPKIѻS $cnfformula/utils/dimacstransform.pycPK'wI3t $"cnfformula/utils/kthlist2pebbling.pyPKIÁ3%&cnfformula/utils/kthlist2pebbling.pycPKI暒 5-cnfformula/utils/solver.pyPKI`qR1;cnfformula/utils/solver.pycPKI2MEGG-INFO/dependency_links.txtPKImcMEGG-INFO/entry_points.txtPKI2vNEGG-INFO/not-zip-safePKIc`:0/NEGG-INFO/pbr.jsonPKIC OEGG-INFO/PKG-INFOPKI/:OEGG-INFO/requires.txtPKIL7m2PEGG-INFO/SOURCES.txtPKI,ˏ QEGG-INFO/top_level.txtPKBBR