PK^HPMcnfformula/__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<@ξfg~^AuxIP(2H2}d>}jЯ-f}H5_q TTՄ?-P-n-ӁQ\t-a($,E]RKC)CKj7\?FY&sIÉMB$HE%w?!$PsOd OPRu- :}`Qy0c0փnw^ Oua -3*)85:lT2K# B*Rڢ4<._Fye6Ie/ns~&G\OiQjPs3 5IqXGg"%R ^\Zji)F:g֊KLI4;t:z;xG6)rtTO|bZ(3Oh&ȴʄIet-zС3^#Z>0tT# {3ͧpWaa.3%;:R:a^$:Rɨ0秽ӯ³N`pJIxIQO嫧d4؛Z\7^MAi@&[CA~ `nu\[e[P2.D-W-0;+i qc=:Wµ1]K[>ҢΤi:Y"JVr4{K:vX;%-enҶ3my;mi;m$xIlZw p*nSi5؊Dl×6kqソ_lڂXHPwC-h3EgZGˈŇ$萳QGh.؏७rtNtѺ;9Сͬdn50m¿K MWh:u~,8jPK^H2NZcnfformula/cmdline.pyYl0$$`Qp&7fo/?lyv`|=) X0M(,3ƜVx} ߙ~cBeg4)0|SFDIŇ Ԧ>Yom"S'Cn+lW8;>ކŮ\X͐$s6i,. 7z.sz;p# $^7my%YP"P+r|a/'yql=l*}^K)aKvꞞȅ30i*>[VKVOݡ # 4sX 6o`z!tf~ͳ)<\in nh03ٟ2([*`$4SO+<}g̸œHެ(\G"j:/ u3|Æ֑ψb=Wjyun MGmzb 8 cus\"(Byi6FB@ Q8nϩ (apHc0`( nMK>&0{2à]E/Zس IIRP-q7។Q])Om# ;aw;s"ʰWyϚ Q)ݥq) з<%DOmǢ6ؗ:h{}M Ȉr56bSfj&Jb#1 >ߔ-ž)LWD K3@ܠ 3?Q,%j[_a Ej b%0V y2hq6` q;>"c<&:һoJ073 LC 0XMoEJ6@TS@AN,%G. H3+~T]2:>ʙz1 d' P']Fu*VSK $-'`*( u6iVG a–$|Kn 2fS+R`it0ExCzX;Ţ)!:Cv'Bf ܑ<<'>ӿ8d顶i!\B Cx-fǥIq@ga\|@ $gg${~] ֦xCn?O XDԐAYjp@h&0x/L_[tA&,Jvhs]In pMLSa2]QٖE ,z|7-dY쬒jE~ |vb7*;@gUwPWӘ;?Z$5> {9w/!4w/\yKk 1s5G̕,re]|raM0m%!i7 P,xR/ C\\f Rw 1 /^0\QL(",[PXRdkx}e^GL[?*Q(={]aEXeAB_˺  J}}m.ԲWm-;-$2Y6 AiYEXD|9<*1Dl{sa*փJ,M^l'Q2܄? &LC+~! uv%ve4E R0YGe8JeQ0Rג򭼬1\8p1,<޲?(Z|@[?__uuW/G#d],=Q\ ug+@)'K aNS& <2KQyƎl^d7pHtf8q|ZB@vcR)rT(RUrr*#BK9wqūjCb*cc<; Vsc룓 ;'A"Ҳ 0lbt.gu$q}]pŲ̷]|f6m]7vr@ڦ7qTUʳ/YU{s@.y466jU GYc;VNX&Ň(]5Fhtt<8(rU,4,& =ޠWi$N>C!ZՍ(Xv~Ꞡ'}ES`PtZ5=/lI~܍wN,v*g[NW[߬ȍ6_46Lh܁=6<)7{>'&Y _ݯ6jk-؇dɫ8 ^aG ]5dc N[A޽E{/Dh2|)d#uzJ`a6( WyxEfl-SdaDP"[={u١zUyqD$u-kr9o v9Q%R:%)WUFɹlE~Rfaf_kX{!)ގOD5Ru.ioz x,\ҹ~TSv/W]Ѭ=) oJNMdzq+^=Uvg]iAcȰF.}R50M1:u}ۚ*n]H_"dƁfe;oׯiϩ>koXP-OM- gJꁓkmjif=fDƛL (FPCP-M"(*1y[:'Vi]J77} 7 فSҚysebjKNp^/(ق۹}~wlgʬldl]87vg5 }c}ͽBeQrsYN?ݍŠ9~p#'Bw_EY{cyPz7[iQ{#ϭ=93'5Sc*$U_-sRJwD6!z1PIeS6 8,U\QxGL mZv2(̧f2(xGYV#tJa#kqOrjjh#ЉAvh2o⾃-껽3M`͆߁RdZjZ#fOñ|+)Ejve=@UUyLUr5Ӟ|]Sr);_Q-~l rs1'2a60c]mrMkpMln7#51P;1ʈʡʪC g?p,};d\*X٪ڀ_pxWam"s/+D/J9"ֿxU ֞Hzjl+qWNQz3zzvD/}"\F:3P:*R?}`z5T!C sp%"_1Ӧa519ӑвSH9Gf$βʘ:%-YSBIf9:,nߢji3\+Rn,Y+Y\]쨶"˖|Qt2#u CάffE2&4rۇo)ڴIE C>sѷy6EEڴ@ΙY.iY(m s/gNʝP?adžs4k!Z3tA4 b {Q%1Wh֐a17LTRI4ˢK̍ Gܨhse玉1s2ws=2]^1W}2wsVހX: &܄~sS}Zwke=k?yG9=hoxpwp1piG{@K|=* ~yL4KS<&i~9Ż;!CyRX> o͝BO)=Vй},=\+=nUǯʿaIl-U[-'px$^ԽrW^`-:Ekz:Zڡ*Ih NOZT- dkYj;=[CVxߋІ_E N+ q :iH<4ڰĪxںxųx>ϧ ~^ל8[Ӊ|Ǻ/,'ػZ^Lv|ܹ,v9B68W3U*/O*hGđlD=ʼ8ȍAIZh*u0JYD2.C|̤ /*'i+ 7iK[tm;r٢%r> & g ^$&DhS4}/V'ZvzjPhN!F%k1SC-8EKwjD;*PclYi\ZM$!84kuIRA5xvIӏEJ6r;jt0r:h)xEl,zD0bX'< ?Ϝ,23Xǹ,u'$cy:$i$;4 nŏ'wwr;*R.u]/G~c&4E]V&WV-%^ۘ@xr$-,&&1 褲hmfග6IXXGW;~Źܢ[ ZV,;`qifdV k~+iDzq@.$yfwRܢzML醂̪B1${p}hIeӊ,4Fnl9 Z–5YH3#3rޕcޡc W|&܏ikj!>ɢQnKx9R>KlǏl~0(L7d:$aO zS&{!L7m9"aeuOfhr1Tcm¨h{u< Т͸˞z]ՖSՙ Ϭ>svs^E\b=F/ qfq#VFSm#ڥŒw<,ԴJ]I|j̓6mi<k>y Dz z#ɱ9@ģ}nc-Mry\Y ʖVCZ }ƒըa60-M2m!n@lCn?Ɔ`>Ɣp[3&beMXy嬶)p0/ξx_aV2݆lOŵXSm8 m0lRx|$J.yzkm#Ec ֵؚ?`1),FA4Y&rɔ`]4E wzA,D!^1 6Jbc 0<&KbW2 Jb$uNC"Dh- *Z}Ia z7z{b(vq=A߹`BaPV~|/!KS_v줦RRzy?08nd€c+ 9rpcuvtZsoAN>",{kQ텴o'2gi.bWdX9%@-^Dfcw`dP>ր3Dek_`7fǓ,,ċ4Țc##>'ا@So ^alڳ 1g%);Z;rT>3G 'C-Nn sZyRAcHE3 ݭK-l6E֎؉{Z`T%TcLuF ̜ :2h ]z,і݁["igS %7a1a22.\պ;FEC~+QTOcK+آ҄$G8ٕh3`fs88ٺA\KL1x* ju#>B]=mwMSFqzUWtVJKnf7";z4y+Xu'kSǞ<5u,eAq=x҂ Ȧ@ZN.d'i+*ނg5FkJqUêuKS*j;%EgmKVPmf+SNJWek'sf/]لb&2eY ^Yp ~5"jABja&.kc`=z4-b'!gF6̳GwKjW٫H3Pv[tia궍3 G (m>$ ۷eNf&5xcCN,N=Czn792wvt`*qݚmHvrXe:Ipd[CZFzڱ"NB}x_?0C S(3lGM T+ #昱(%s"S"_4|D]9~ mn[Z8U%(61l<  A#.EA z k1Ė&ۀo_Iϱ )wȈ;V |@Zo ms;B$Ee{M$0ms0C`QS86gx ^ĢȀed-IEdxNEfLxZFJ@>_2#mɮXHB[IG*c! I1,2-quFe'-9 կriiEj;QS/:,FճOgV1K%YA6eѩ'i?GElyamTP A}.[עr懼7VʎDMaiӸ^$2sVp9d "mjzCa '"e-n*z73wNNwy:_o1f/Ipb5=0~J^UZ_l8:\5gQ5rXњFRsOZ}")YJnvWҒߋq$͟Wef d3?U$.Cv2A(!,x*)ki$C”7%\;Yw3}֝[삪w j&jI}  6N"l]ZZ &[:b 'miDr^ |q56ٔ:l_8v+fvc^sxib6fr!lۭ4%%b'j9X<d3 icR̛6lUR ѕ }0u XPtn# [xF_ 9)f{iy%9%rÖx#h akoTӈVů{ VO}l{vk|?­<ᖥPuKНQ1[vi }/J iDI E\ f-f*DcgU˽Hjj-Q'杝o=T5LIG3>qej @g*(fyJ-M& C$/_~૏$Tb![deHv:_ZjT%E}N~ ]:d擊ip:A]}Gk"kI ?1@[Zc|5n>_Rbi;8̉Lr=X,b,/üƆ62GMSM btfl_BG[ͫ o_a؜kNJX8h7 cĿ}d MJ LA}^!C^ 78ҦMD|2a4'i)7z#e VEvφ"8_@MLOEo"Sb2+i2oh2=dγ7(z_R#PO ߮[<auqpMŪ?z]3PţZ`,;^3)]3F6Y! jcliLB>j|dq|btlHG?0{ 68p(½F7e6>@Y=/ևUK_8K]$~w̸7 q.oz 6FĔHx&d0goIFb$DQqvTj}BM}VKN:"!S"ɇMͮǬ]rn8德Dv2شc%C`7mY~ؓ`#aL"4t(cd*y QcF.F_W8id58c.؞gS~˜b9k0T׿ﻞiVy?-!vPP4[Z;~|Λ[/n%|f' {1 t$u;BQG9RC$G|À[(6[ 7GЍ@9߶9t]_**Үd%"/S`??L$\> gvgq"Gj%_iNt;O/٪BO'eJl9Sr.@⿤!{} Cơnx_~{H-Gu`"UZ>y[噹d`z1\ o/oPDNc#Qcp4O0R3t @lP)^Tî[͑:O8>M >g'UjwՀnu[ V2mU[Zt(Y̵Ϲڰn5d$0WnUˀ];^G8sTѿal{U=. yiD+ BP_agpB&40⦀>N}є\zo3,)jB~jLSV9ѠIp3atM YRA\wi1 Y6}Al #)\H3`=֏3`͠9vE{5I%3@E2Hi΃ݯWu?4<[Wd&M3Zݵ1FX=az!9 s `/ȴb'U;Qq9'g00%U:w-<~. p\WJ]E}-$ 5bwRk|BИ8`{fF^F hQjjex6'lcawBI:W T;oUh[Dc> @5.h."OQnvdPa렜n^Wאzqg^3ݸZO7_⿶i)@T e<-1 3vtgΫ KH0Ǎ byƸ9Jb+c|jx|ķPK-H@>Dk! ~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&= 븫Y=('.٫rl hkјǰ1eIiɠ(}MP*uwɭj+bdHH=w%ꃱR$ JC!,QJP͇VÞP zqK3q}ď~Z #|pxpn?ފ=C}$P/Е87JxVs<5XG~f8sEX=``L>զSRS5SBXn$)y~ÚQKe9r$VKM3\xg dTo*7X Aۃ^4:[ٽJ]jbhx;FAnj*Ut,R`Q`ȥr"m-3<|9FbRip5UkԾP05efJK$n]GPxyђ1n(-:rө.1sjGf50u#ZkD #a=v{߲몫VI[-Fcu*RIߖqQ[O dF )4`($ɶ s0[Z M?..Gu{ }Lk㟸0Ρs a(uj3zn*\=|vӸZwgMzvā7&5JJFWժ֒$O1#ZWDP!XsBin2c(J:yޅ69 j,.%4s6N"Lkzt<:wُWrda߶iR{JԮ!;7s;{"тS-i%6[jʃ%?Eg@6r7>mJ\Sv AITdi=_2eqA}^sC/+=E1 rUIɚlMQa^0cLEWNXu,vs>3{eqHƟBb4ߞ.]6i{FO2@4U=4e +-Ln,8Pw|}NΓߎ8`/PKHHU )(*cnfformula/cnf.pyc}[lWحn>-J)Yc_+9l4`Yv{hOSy%q"ZU"d{3CgH` Hg>  ##/ $ " &[͇dZK[:^_G;L=fMpX39Cܖ'n# Yut꟏0ItE^B@sA4cO#Ջ@~nH6 -@K)rI*DP΄>|H`H?Vg]iH@>vYSuqⵀ8^}H`Ẁz~Jdw`xA ZTm%5`lb oXos.^ `@ΦB!+|t= sėa4GL<7 AR= ]q3hP2y}@'n#mԈPm| !N`LD" 9j͠+zɝnB й(z6\m91(4ݰ}#m2j:߮ H8"@d:Љ l/YC7o0GQ~sʗ.͔<K3+ey&_ [⍊ZI`&f0E.iE>OOs|.ky(^Iȵd$ـ2az/-wS4nx߆< ϳbr&ڢpţhq?tS`[o]uW3Eg{=K9_'vDfgSECd~])0F1r|k-KВX4UvCHT걚w)r@2mz#5Չ4sotrzZ!4:(*5;ZL)ĐvfPl-Uϐ3?e|Au@2W,u@!MCQ62EnT:R;$ԚN.9l!ulشMgktxExn:Q#8ܸ@ ¸O("kcp/BkQBs.;pYEKj Fm]]ηk^Wo+m14j)W g%?/ؚ&ɑXBAE%2,Q} 6S923|NΖXW7%  mRm f'fN _٪HHלּuxs1sr֓)gr/&L§h.1@O WE¬N*V$-T45x&J{q%VĮc&I='5D $SsX&(2FG)Q5QZsig.j1ӿgA͠uVarUzorj<ǧiZj_h7Q\6;+Y?L9h?p[9{2h -t#3SMmAPpnm"'\\[D!!{p tޜI6D m4\! hv<;24P*_ٺ2Si (Nm0-sjH6-O +/i 85G~^F/=I4< W,+:[CHܖrⰀqp]$q <icxI8>E I~Bs/r>֜ M>kyiv|q?ut'z1o:~'i ƈHM -g_&1ٴC ))وiNyi50g:q/,&0ΧS~9^6XB|R+[@Κjp`@jU}I2ų`21Lb]F M YFKW?:_XDV7HiVX_Ք"uE⚲1 _Rx~w|@kj6U c} $*&>ŸkF^9$B{fģF-lc76|Ii*ߋB\ciln0 ?Υ+Ӡxϕ9 "tI (аJ%}b[p z-A2b#Nr,R+4bq 'D9o}r 'QEgfMc1s2.q H~ MG۲]U5j|P [$M /2n@dLMT2@7D!tf_̍T y ݀DjG"0T@2}2CLIȾOm贌d8&\^Sq;R g?Y1%T!>_Ic @KSf !)_I=HDL2)n)P*Qݶ]-5ү^z)=B[xR~4;_4^XYɢ%K6Fe=T36:]S"9)9qNW.l!҅11@{Zl8xr,({#|A8γ"x~c*ZUZN/$GI80z[{U@Z={Lt)$"3d DT7ԑ~0ˣ }hŻɨ2'³ҩV)ys1N+>>M6(.,+&9Qb( lOB-xȣ\ 6XQ1g  c,k; ~&X۝`k~bO!fD3{03gVv'~{ ~nbOt3ilcHџIRӦ+Chy2&tEHh*sv!V+A+{stfDe6!瞹lKe$+ -J), S97 _ILݖWe $Sv;7/ϹD8urPdIIq-U~yEo(YI5-cE&WTjE@5_E8[Ҭ0"P~ Q%QC)^LALFԅM\bu[]S/aC&OeVb #+! nm|4"ƠEG qc%D9Q rҜܠN` FǧP} s!N,ZXH\Oi}M zRS=+J EB\ +Ʉª1 4E)5Eǂ,Te %1d@#Y((1QwAʒNP>-.D|WcೂGr3(r3KEvmkbKu1VċU#*hu; >Pr`'e'Rt듞 v'iU"B0fҴB&U*!~;>EV" w \QQ$#M.|l} //$/^FbPgeER>> X[]LcH,i3UV&9<~Vv17bFES0ւ+|»U9NG:4`>H +j۴1+=dTsDQV9=hYV׳F*)^ zqj gX{##53"GTw",|W[zUd*%<[Ƙchw,,o"bhMNZyk27eI9ahNX+cKO1`=Ƭ]H%MmP[34@(F;JKOx(ЎXJ"e(P1o*[8(!tz[+)Dd3ϳ 𣅅?LEDgjK;(A=RKy"Po/ <%7{;RT&U3%{: +7 ,sscbJ́JX/f}?[=0L-qaO>Lcڐ 5Eq7; ,3dRP@C'&Ea(>_գd@SK ă?Ft}$j֟@}2ais1~Z{K4i%r͇Iŷ͋䬾6\%yU'9ȟŒRO,vw(~hC}g'+%VkY =8J?Rϊɶ~ZZ+I\)YuNa=Jdo/8'yӴhɿEly^}s@x q>#Lۮ ڕ~ )DA{]~hg28td%a1'hrmm:nhBʍ f/3bgSLQvL3} A+l&!e42 <ox=fM tAF}Tx B$p0:mQz,>?`Py>O!osBG%l.õzWS>^p14%'3u\AF08-\,Y\.@/?k1 G+pkDZXK֟Uhk7^o8:E"KVo=c̊fV6ׇrZg@ PJǏ{h ~xGGh8D҅CO0&<8ЯeR7L4ZQ.$Eu㲽صAլPpsǠ}vct#Ѝ0svvƎ݉]Kb8 J N^]2($(N!%\0^= l!@j7\~=|4XInh'הcDNK P,¥TpRK5:6:Z;pDPXnښ.NvsQ&03aqrEg-GӡP'vq?!mej+UtbyX3geA}(Ybn+_ŷ#3Jӷx9^U1X8z{3Ϳ0~&Ҝ׿# O…jZ)SQϘZ!$_LQ[^UX8xB24֩r7֔5f,nE7IX¥9Ht 2tD6 -E3)fQ4.(izj:Me ) EA}=?ug;v΃I3B wV}HhJ8(yMO"J*HUT;5:R;x)R{yGH/# pdnl|,7edi 0{ Tn8=(O&59{%w ZNX4 <#Z Zi2̝A7Φ8x[QKNkeߵM$d9F#)vҹ+mt:eǍN25EffzPCWx꼾3bpih/}jkAwVzvN.`dtJ D)=Q>@'CxX 6ӻ;6B껒=[0W.$QQw 5{W?}KZYV Nhz0WeN z]yؑt=:攂-* U/1<9=PpCinlRYĻ2eEp]42 2C7VqEbm6=gVu v^-V[}}fk;x~ƀ|҆?(ш{YIГfKJr&ڲLEТJ+P!PM# UzjZRrʳWfm?s$(>;Wst.?\+$ +|{v 9yӀv ?r68_c۾!ǃ gRsG`J#ATj LyyYDjYيG~_/1xL:I+'ߕGnFjۥ2ثEq[mPIo5F”0 g 2<ȉ(v[Jx3RѴTfIVah8Ě^*iNB0YXֵ'~A3*wmZNn8򠩩8E|qZIuC)NI#U/xP#=ZJ=e- <V#Vgã8\E&T.0mb< `e*>*& O\L~ *^p1 5tP :So&.F& ㅱBpzὉwhM‰Dyߡqb&rVgF&HA`1W@yӜFUX sB.|סGĂ?ea?Bi C[MF4?eshR~ʱ:^(}N-u?ץܨKT63f,_hoS6fJȜȑզLmZIܹVKV"t][H;~9OzX+l*߲)!.fZztžRze<'PHqxǶɇ+ft÷+Gʵ_1;a_1`t"$m`@&CQ3lRdaȡp<ّPNuh16FdC2w)EU&R]3&$"R0ǒ/ΘgNW D}HaruN^J̅9o%]l,&4[m-oݐ'$m:'eV[ELC QJ'lݼ:?0ˀxȴ0૲GWRLR]%ҩ j/(0D;$"/3vz]eØj=1'龕p<~= G|2 qCT M١ܬ8PAgf>,]&$ `iQR_r3*}OY?G7 '&(ZL-͢%`sX,$⏬x$4gm,Ti?^f3YTM>lBn|:LGoaӡ*1ͫJ|!.Q\ɥ{T ܉#k8>3cʘ&i9k.g sԴ6ſ1x=Pp~/tt-$A^kI{ !ߜSe."ֱ׃LLM2S,-O%:OIϏҬ[:ƴ~vZ}2-S_>SldBpaHd& $jZq|,{g{^Lgg/J2j ǩp "Z E_p - 93Gl/ى ̛XsE,A:I! PQ_lzEl+bWdW5\0t%E֚7dG:EpxnPZ7-V" %vt--OJi#95'#Qjvf?HYH g'ُIJv>{Sce O[J!.|#X{{zтЛui|Ha2`VPh!V52j^ON,+(壚$Rrz|\4 ((|9KXd"@bسK9˟<y']7Ȝ@ưJT"+f,%@BJFYrd= aqNp.eV3o2Оf eV(9cw欣bmaLB?LJb8dץNa ûplJh~ly3 *ӳFH3RSoHJЦH!1 NJA c.cfwꒈ`l8>_+{ͤpYvN5">PTFA%[kl>,fp ?[ ۩CV&Y-e`짳O>Q1>T^t OլJeO1K$$il+9@S8v+R]D& zk7An3\[yx P4M&->Mg9jӚE!rSOIX)Rz T4uҖ)WݯcסMbyxN2:]iTn3BFS:4=j<0UCUA}LR0,byX+D3鎸fRrӇGp3A"~6;~E*(^s?u}7S6`A\}vް%z#4+?pLW[hHq/K];9 AFhˆQHr^N&ٿdy=%gTxakz:Ho>G9\ʆhArHQOǛ 7=cau(H*ֳ1g o+=嬫`UM u$S JsqX[%^<0ZO(;!msU@͋=ָ{:}E  躶~_$mzޖvc٤@4TvӤrjch8μJfLIiOiٌtTdqokA%ТG`F c3n*ebgm妔6L..8,epHak@|U'iQ)S FZn4l0rn`H;Ml괧j6٥Cn,a$f.9<Cs1?Qn98̢l7;$Ogo3%0 6Y%]S81Q #h?|7v-;׆1*_nvCv rU^ {_o[WU/Xqj.i[L~93z?1Wufp<TfC nܥb!["R6_ FT{: S(RX k8ՕZ,>FT4op?(:< lrg躻sReYLfoѠ@Cg ~v˲@"_9ZL_̃^Q(~>*Ѓz@ԧAeS:-jPKHHkī cnfformula/cnfgen.pycYo%)Z=-ٖߞ8N$"wl`Įa.ɥP=REO[^z}K8%p53~ROٍ_>g%/S<-DdVA<-EӢ%񴔯G;oGQ8(c-ҿ ˲/$ǎxGooM'-aŖxO_Aɜ)tJ|8-)ќk8%~e"8(i Ҋf0rA֗f?0 u( #_}@֒Չ<%XitP$jjGNw+d+;Q WZ=K@ c%k^u^ĵ>eR[a_ÖWURWFD=O\TrY/ 4]Dj@TI#Ʋ:N*c?$ZAdn^+!3%c?IA+h* @vXBj\S&kiҒ^iVK䳥,ݹ|rB^hsek7qIV+FKvQyָ&ؗY*/+__$YbF^GdK2$\j\`0{2]'nߟٜ[b}M 4٭ugIOL>.{iݗF lJ!*vHGQbq?&R ׻J3WH?Ho$WV8_U޸+(w8+@(YJs)D\Qk8fXXa٤uçZ D)/T_t^LiVEI^_by<6>dz|$6H^2wkGiX&eQCiF6@؋^ r}/LGOͨ ZE+B/E/^Gy?"z#‚1M9@TcP* -kQ荊.'*.';"-QEp`\;&{&aZL{㼞]3OsJ4N_cyG8c;Yߞ]p&8)fߛ)8ӛfaѝf03pPqo͉A<¢n#ԄJzu(-1Zm6vqp"O TC^|M YQQ$ͼX6h'^k4%My1kY6j?{īi=~.\hQ-} U`VbY3NMc4.zb4G9~1 UHr{Qoo7q ؁6Bq yRZ63!*5U y+oрx2нC'j$rm{PW)[w.R۴xVސ7ɛmҐZ?860J<0cu;'}d\bPUl '&iTF;exV.H"\ߗ R26ۊ!:}*I`tY"=֟jٺp15·#x֖JNN[dL]R_}/+>}M"0tR2 4BKT1hc Bʊv1NWwCZZxHq, y~p.,rjx_VYKz--ܹN,,SSV 2ulZ F״?>C_ittwш թղ1uʄZ#.6$ZSFA k4rH] S7^ m0>RLN{ Q6ϙd,TA ޵o?b`^zayS!.FT ߦxfOj(rA܌6 \DM ' [B/OZ>whvh*s>|bo6#&Yʙ  O+H3GGf37fjrNs]&8vo >Ay]ʃ<1^#K 9'g6s\=X:a`p.ȮMQ|E>3 Y9M2Ľwg}qt65zFD'r4Ml6?k;w lRfɇZUDKGsiOrnѽ5z  3sȼv873[mtg,/[F*gό 9߸\ ~XՌ>R%_nm?7D4Kqti0cw''XcEtttt>lM[vqSQkXX3cřƬ9Xp۸.E9Pha@ZfЙ8iGf~3iPK5HR[ycnfformula/graphs.py]{sȑ_b+2DKUZn^gux[7W4! #.<!Y%WM,uO7"?Lo\e3qvz&Y\Z_8X:Lå<ܬ"aY088Y ̶q 6 UX05BF=ldgk1,6כ,/&2>ON&0IPZvD2(^ZV. [j<.$ @ ,ބyc[D۵RNn$9yk$L YyQ\ۤ>As0e4Z\Ⳡηg2j_$.v^78PT1f:7^(bQ1|N \; VY f"bvK@$0=|,KTxsTH`q˧aVB1]~Ǚ-=z6˯d]y7ROy\ )NO޽}7?E| LΎVR=omDc%w镼Y{"dZqB%&LRd jvX*~`e*6t{4w#Ŷb'+TjS%LIŴw-]ۤ雼d8 a\eίAć_ eP~."[v~PQN$4YAzߧ)q25L3)Sf#< Z1\yHTP+M' dz;^8ƥ'2!ܨ s9 _M Fu!sazv&9ְVi~l{Sl&4JQ-E$J} V޼hمEq{Dͼ(ŭ6!'.wѻi 4vԯ$BEOhy~h5L泜"%:Dٛhɤ[deDv2U+i{?lxowW;ptb9VqU0Ef_B{ꉰbNc=vKT׸^<;ػ 4V&mD̵HՕ` ސ _i4(7YvM& \ k"mW Zdt^qzJm"iT$3&gC}C z.+#c}Mxi*Af ѓB+y6mg|Sv]*؜cy^hҟ=ÓF(MoYޛ$̗[gщ3DZQy/DFKYTpm8NjVo "+J^՗i!F6CG BĀ28 z]KS]Bq5%ӿ8xYX_>I ,vɠU!uVuV1aFE<'1bgQ޳ͬ;03@)_x* %z̲v;u?~uGroB* Glu|'C]P p4*[Sf[NH;CG! ɯ ,An1HloBv댣 :Bқl[&'+ĸ쉟wi*(nx` QTtίbuj5m!D1! ,mV:VĥlH_c0I88).`6Vqޢ"Q݉$721Zn(M !Vü_ma(*sȞx쉗zKS }AF^ǐ[۹EQjfpg ,˒6c E %t'nMøa׊XM;kH髥LuQhijE>0һzQe~7ґa1J5/V@s`oX,U6e1UA#,Vқ0#1_eS[[E($&uPd_z-@DEoBV$ ĆEmL@nԦJv_4ZKW0|I92,ce` CAO}hVM |],9#Q P ^A\ٞroxxD3\|~Wj}gzŦC5LX F)h3Bip(5*Pwuof 6:lkGcXMV#1Iۉu]/JykVwv}ج+b̶ĠbM ~qjH&\4l3*d=:]`LHmφwٟ>?5$Ղ{m -}aKʞAz0t۷aHO.t/F_9g{|!V7}t464FBXeLֈɎdǼJ}8vdu(##fQ5p] |&!Δbپ'rk^-MdKIr?)vEK/"Kl F#6ѶiَxW7LLUWg_ iU FL\A 275Ʃu F Ơ^:B&UEi(;@T{.diSo:OVѐCS5Qkcu)iTCֈrmr@&/*1nZVf",yrC+m'LODG@6C 7V^S,3 N<,0N:sBYK`1/=@kBØ2} 0$`|Dʈ ^(m>gI_7:|昙_7^zq`SgjK:-ni!'mRJz(5<N"eІ3+Hv =c7II"~g~4}xtRUuEǜU4jDjW2T)2L&OwjnGxhD7Ѥ_A ot=ғK>qÙb S'RlVU#Xq5G `uB=Ӻ `yzYߠy7%>`gX%nh!SҠv/0QD5%n%b@]z>LFN~q{ǭᬡJW5؅ )AsE5l{IL_2WCML]rNKaC PDsB.bXfv}Xqїo?'?a\ȭSpCI3 ݩsZR2KÄ ;0 ǃ.?B)P(%ꅪ;vMFCn+rܤz5A$XV^WI/AC~52 Ne>pLh.jE¨X`4z/vv9"FElR,}{&u3Af5QZn7+ ]۷.[Tjk'2zp]p֊݂B؆mv~卟/ϙ;l,w,{:0̤r `q*(v~E@_/l]G#-E,7zd!1$X =53B 76* "m)>R#:<`s$BrY7kA+2a Ճf::2q ncfM7N!UWI/Jh 9 .8㭥fmGkH UĠ [}UP+͛=t 8U˱ RLL4yS wC0 W^ǥ]/?Mt!svD;ȪDdu&=dB.RԈQ!.*+ǣ_/qUn֒n)R.3Kœz2. T1ư|r`Vaں'r(ӭG{0K4,<cnR9jRRkoZxY34w1.+7Pά5X/hmޏy-eUD((R|7e:Tݬ.^П'i).s[t?&t."ji8H*j(KdwtaκcʝL7y1Ίv*XEwW%PT>~eajs,HqlZv,. >5vws/S=?qVxҒwiOGeB՗S_RSCx '7ĝ80=Qu_TiG%HQ#GaSI*I@! q||Μ73?h/@n=u:>… _ls;C.kY`GW E@g2 ?D<"OoS7@q s)n`Nx_W٢LeFA\_HWE9RIS08S"v$wTSKR/W,GG*M.#Y@c`F7cuS) ZN}aun%ZOYvFLmieYcƝXHRtGUQ>I]yPAjv,yJˡE=!er I tlB zkS2CpxFDnLƧvj^o$ɕDT3t v[|Σ=Jz>2 -UK+>eXjh.=[[,F&yv+NZ$:kUampӀPUzկaE2*(KUx b)S\1лһ櫋O~r_ 0CHSTx|ǕU|VN*jHUCک.ev_䊟Мj6ê'oÑuwϟlq* nT[:[=wRlZUF}w8`K u+;D \nnW9E8X{ZO\ѫ||?Z+k5ccR*HpU++M;/?Ŀ* \ + G훉SQ} j;6D|Ċ#].1UD4 ]z [m ߎ~:ը3L'N.V7 ,.4ޜ}&;SO7I,8Cie[ #sy`gzn$ia2aIPwm[&}sρ/M$&-S&F`e^B~8{)jR[ vzɦtNUpD%ʆ\e(G SiO ݍ|!Hk@O{x>E8~}+ :׋t/xCUsX w׹t#6o iZ,A l>@=sO\mzuu{FP gaJʑ JN)8]w+i*Qث{;e p~^mLא7tslB߰N{ (l;6j=:CP45]9zɳpmNmj(&oDPKHH0B;)rcnfformula/graphs.pyc}}lWvߝyz)QFd^/lmh^y7Cr=̓ȕ&lS۠ݦh"M6 iZli?hGXtQRiѢ@z~;3|e)"8{9|on/Օ3@?(KOJyJ]<[5,մU[Y^AyE)~R^YyTސZPW * aVވZ#QDQkT|t1zu,Wz*>&DQRWK_]7C澬iH8 A/U Z'Tƕ78ܱZ c1QuGj=UGTmaUq7z~~B;7' 9OȜQoӌOsۖzJyg>M ;6(!Y}'wP<|.'1O ?|^y0Ua]iaGp85K^KF~$-En{YmEM77̛ApA"ϏPa4@v.5&V*П):KӥaR[$h`i[Q{5iRz/t3 _K5]KFvݍk+Aۍ[Q{SpUSEn.4Zі@}ZRs^8לslE׷朰e8ҫ$ '>g8%Mvh\P [X'-Eeq)<8œ"޲Eڧvl,B@)2D\vuO&3FSR_ݦ~udqm ZĽJ_}fd ي7s9 bZ& sN;msnڹ >F97"0F'^HX5^ v 8!̐Mn:z@$LC:>nPlevV|'")hż1F#{ !k*=Z#t{evee7,aR`2qH Ϻmu^KMX[X ]^j3 jҬf34u.|. Op z0_TvQ5y×?C%ExVI@ Å)nTJQLL{&Ag o MU*Y"Y=E]Aóv-s3qdbmu[E}VG8 2' >CR "1Q`a(fD꤬Ѹ 5!2 |J\_jú˔洈*8*̸Zd-{/_%1S}OWLڙ$")[ HpŚ_Md;MRc 䪣@RWǀYuW6H9vls;I#s2 @DX&sӴj31bcx5aJ֐=dh[gaUe bʆ<MxҪn7zS`J4X̅w)%7Bso0egg&.2LaڞP™6"^PYddZ%[3eFVK> }.pi?H5*qڋQ 3v3[>a%0~r\,iI`p9F&Z/K™זGF,̥^:ndif lwĮmuܦn1mV AV [4Np_HM}hdnv mZb T#&]4XN^ItNv֓h:SPV6O۟Vͅr'71ka2Xl]u gDrǭoi齼,~e'!SˮOs+w('ZpP5vȴd},/r6DdЯPeI;G?1@spN' $1xH# q.+~ E ׻ہc5n1K|3 M u@⺎ Rqq3 ׊J6*dT+Jp"-O 5erhDwPtJtL_ӹᅮDT̵:-g+{i$̒QZĝ KZ }$OFiU,qJ%Kٺ*,-D~**&+3։6sh2WZYlkT´}:N*B5B8 gpܞrT/k[{tc> xuhv].A.⿇O+{D!>DlD/Fe'~0(إIZ²NypC'gnjnt^ [G!Z GЄ~H}0eHWʆaHu(Eϔ2r@jA{Hc#[^nOQH3$$< pqH9AcEfj BH&pߨ:4%PşQYE{>nYVQAW l?.2Y*I9Gt,sB"fӍV+diAʒ$ NQ|Tpj(C鹅ZIƿ #̯:(r(ϭl1#j"Rӹ}^$Tj%^Otv=A 0g%l#idڷp )'4SP|ڦ7ctpiDK=n Y9?zcyPw8e fkqcTsMIJ<=CC/sr)eQ3@ ZTȁ[t17C?o3 ڡ94JCE.ϛK[K' `ƀ XK4%$L cV;il*zD̕R;uX2v\TNCjmuZ bеS;| ;? $&bNu̲E*mqCn(-XZy5vRTH"V}HEɟ.+>焛A# E_bwD En$:H%nK P2wA !ՑU#HlB@tJqGN:a 7Chc0Nysb2+{tTY?m!uODG(Ђ}$uN`l\V"RҖd o@:3I 4dPKVCx0ձEJvy+4"FdH ss!ք醓uXn`K}Xz#<⮁B`Ž/Yx{/_znQ]rτǟw *h˕[aC~ *<ϾU`ΙB*d4 ńTpF&&Ӑy 4H[fe^Gm\YmdMqӤ `^V;\ZN!Ld,`[&xw68H^ZzBfZɻT,JoQşO]|:5vۃ^Yqxkc‚)\_ulsz6tl.M w l2[=tz}$q8?l]ܙ,@2f1!eaʪPRMn,៙Xt<о`@ X/=`<^ ubN{ޤ 9V7,pb ,c0nY:hk1t³.]']u}=VnF:f$ @b/js-lL kiGKGJz;F?yp~wV_%O Ei` I̒P;Ϫ 3$.)NqH'Hͩ]PO!ozyITLꭘ0Sau/QB^Vr3W*H \n9[nYmꋼVlk]Cg>dC&mc&d>~N" `LO1QNiHR.%-g_s`/qA;M>ٽf{ѵ}xcu*Inقr[9UjVE/*[Q u=5*t%㝘ЏXeˬ vwPJO`>l!PCpp:iM|ʚaMa{^ ^b;c@FQ눢}alŋ&RbJ&=YqQ?`Xk2pZ3gkmO8>-k$4*3=CFQ8NRp+NxpbcXлYOQ|dƈ֨H:d~ j??D[K3d ^gRgiPfLũA֨gE=2>{85M'^J2+zwݽRIM,:-@li R<)9gd3 79S},c/uՎ;`oZ.cY d(hMKpqùB~EȀۯ $o #`P5]" BeĄcv# tP y A[3!ta;ސc/\EJ*D#K9މ JɎe ;,%A;rS^'Y6k}oZbllX.OMtU|T~ZM;ﳚch&*ne+aP8=-^FD_%zy+A/Tnʸ[4熕,5NVwBm22'ud=&JLZ$`(Г"|"x켆^̄,I˫hM'uKLJ 2lcPX²c3տԃnKul=(&^dEVU4aFN"n2m}*od ad~6j]N9KezO,䓥 mh `w,T71۔@<xl(A]I,(}k4UJr/0eSև2̿"Kg {^f錕!$(Gmln/e%7y~$2 5q<-/dimƩĀlB۲B݀Dobٌ̄N>P"F#3zR'a.n9ܲc e`~pb-  CIn߾u:A]4-c&lńIG]+}vd 8byr/JL6 P[ ҷ_/}XbFޟ2҃3 #g?.1Ha L J>h [ykgHm=cqhC!1޷dĈB03¦EF˼@{}JԅRozesâKa3xS8|T[Qrnؾd'#h͗lt{Tŏگl>j?J+Yg?61/ѬUȼ]8u5RD6=M]h8IHHH1u:dнee n>b. Ko2bK=B> VssN+X^p,7.xF7{~7g9IҞxR!gzI=yJ|2#v[  R]ŷx9q6uŁ1Qw(஢|T`gşΝ(+\N系 _B[eXo+?Y:ǭOC~.Y1;_P  ' H&^p z6 ^۸XO0yޫ>ܫJTi?M}<.[n3fo#2Iז!?9H^ۨՎ7i|jsshiuܱ[Σi=dΚsj%}́%wYE<IsJ͂xU\~{}pg!Sf\#IAmtASpvS1 yUXu:-;_O>Cgä UGv ;ҝ'Yz&jO ۜ`nV ,YЍmev~=-9H1,ioZ3SE%dm~S-mC-s:!sH$(2)&c=mT%T}|Bf6 o-m'R-sv_ "-}ȣOG( >nHh=5aĽUue$+.΄k+f3+l4"Xu= >↻GݮځSC8;\(X?aMXۧ'wEN?J򘳋6&JqC.UÊYn=,>ؘOs+@{]W@XTxy[P_gY T̖c㆚q=ns W 9I;{(<'+B> ǃܡ< =)QaiE?6I4J0ԍ˿ugm?f c(Q5m!e}1[&ջEӾW)4 R2gRDHJ:9)5,w-(|;9Fuޱ;z)BٷWl#|-|?q4Y;,XAQ&`|G6-[ʒ4%K*@!Œ qPpZ-5F4w|zEvN7nXhH>癀y̼cvZq19_s';U8%q @q~Wum&s/,cR~ms8]25hs\,&;IŅ}@ծDy!ĵ,klS`#Ql7Xue>n?$?kiF3OC;&$rzD+#ŦUVÚ.ynڹnVg8WِLIZ "-79Hlҏ;FUGto dxDfpڃPQe3=,>yDmwgr~|k3߱"$0[45D0W?-6`ӊ6&r1_j2|5َw/ܷ*?aWtJwaɠq?*6ÏWMMw^va>QJd03GG* `9%1sG2ceؒL* b Y֪a /O~`:wL{cV6j7c] JXu5ß3=#$~LG[=0Ժ(ϠBS~OGu+TVGHYC] 9B1`..Sy:Bo #\.ymyzhnq|PKaH'cnfformula/prjdata.pyj!y K.Bi Y &-}1X㪁}5# ]s| 9IC w 5=¯o0B ]$r@ق `ή,&{-:;*4jR!. zAtjh1H7/*/|nƧP6-e2fs-SuN]Av}o>ni"O*Ʌb߿LDP'1}?R181{ C  ))^̱o'[IUwPZZF7Sw(U=m檨\]oz8g<@~Ζ7u? +iy >0eLuHbdt;]GY*ys5Yf=q+!}v ã!vQ)v_1gvJ鞘y}T(Q#S犷r+,¦K6Lh+aJU|_^E _>i=d]/=[w|sܣZtPK5HG}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/PKHHu cnfformula/families/__init__.pycTjAYWA=xjdf7DDQdr^kH<?oO/U3KV鞚^U=&mQf%_(BPLI"Jǎ(+78)wWuDU4d`RX9Mvռ >ޥ22m',x~øO(LD/`*+.Sh߅05KڢqV IZ#qKZ3(Yv4BRy L pnB0J P ź*X(! Ac*yJ=jضTΕ>SS. j^BVt e\MCo8g`#qmr)17: oQh:M?Bx͵nR WǾhxb>kSꇕ.\vw.d#NGHJ5jg22c fp6p]v,\Y~iC@n5mn"pԕy%sr.5S59"ǽv;-_ X}8趒p:ˢ1_7$].u //zi7PK5H%cnfformula/families/cliquecoloring.pyWKs6WATM)u/mrK(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/xPKHH ±&cnfformula/families/cliquecoloring.pyc]sFq]{?lLrJT@8gBBΕCQ%{wȳZkIUq 6 >'_A3yZzLNy02 qQ0@3g|$ʵFɧ54Z4i4]Fm`bl4Nmƭe6dzES.ش&o#AUldH.ᢉ<5~ǜN>1Tپ]6m~UתR;Pk"جP( %$w.)~:x",[&IZ=8_eb V0txZO!|搴L74s쑍֛ukR}۬VvU \.-i@ +5a&P PZUgkWӼ{19WcR{cު =yr9"ա/QQ!<2SљIKCR/BZ'GOKHV.~yo;;GZʯFP3S% rꇼ;DمpL$OGL8mdKZ< pFQ *gJLio9w{)SFXgwN tD@o (d-ڿ;HAdK?A{x 2T(K3x2O;Ѡ([1lڹ9yn`Oő8B(ntF6E.P3VX/P<Yحδ ݦ뺔ٽO+Ĝs$ȡ.UE;0BJsS@s)^qI;9KeBz [f%ӓd AD]BA͔и4.nGJhΚ}KKB8F`)a "EHُh3~+ /f[:}kmak0n|?nko]?l[ *!r|nm.lu7-Ӵn tt]ۗqXg,eT/PHy&N3Nq> "]894ZPtWvԪYAfܪ^W 'wԾQQ+F#*,y. ˮ-6OHv{H 7IAVܛ&p=:3ltzՕ}u]'{j"*Q23EʍO+/|uSf\k;WBx7\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^d"~?^^D4.pm!*Bm]FٶMAwӶ=QUhTm{h̀5 AJ@cz*|< Κ~y~6?;7Y-avԮHOIavSI&;j?N4l &"i 9)1|$pX$W/bnˋحO eqϰ%<; Ʈ),nW7w Ӵrˁ3}klVhW qunOdBtV HTbA< l\>a12ؕ> m+=-Y׭U~!S„\}]wc"ӽAsyLwq'hFXqv좥 nLȰ[x(ݸQ*)O#Z="S.6M]B5\nhrm+?$*E#׬ȓjг;E(S_9Vdi ]҇ǬW5!@˕ፗ0tʤICHGʙ*iC\qp)ct1F53QPǏ3UY̧24I0ʥ1W(`2E?MRx$iϣ<㡌01NmkІ,g[{V?f eĻ'V)1o2,EjX_#E;(X B=XZ], nj޺e $[NTz9zL ndMZj#bPv5ra0'bN|UK,9㋌99cc"H/V9!𘂅k +W`!8bKRS~σq,l%`zD,eWCl]$"EJ;+&eLV[LGWH*$-~)M Mxǧ:hZa9.@s,5-$> vusׂ2o#V3AlOFpg1L˕V0I$MRD({G"*KT;U~\&x[!!J^HI &ZV P{R0~BzHd_n5MK}&r 9~J)_lK+evvR1qo2\HYMvvQ|\ 5F>Vuė\PX~$ݼt)wT"=UBnNeO2$oKfwͭvj ؘ*5aT'x/&e 0` HX=Y!8F}\{t }ȴI&a[ rh<01FѠD8u68w. H5.l{Ğ #pTP:]w*^KĴ<3,1SZV;N|E]\NͩE3tJ}6=6$6EZq"RFt-s7۬Qՠo'VX~wx)>8-ْ>.( {^!gec/9;resb7:_ "( VDYOпBeI+U#]u-2Z뮽`d@gG8x::XRPٻ˵yѳ2'u[]cA acV Qz\Rd*V 3 $ a`;E:omC!/׊tCBD99\Iʇ>!鍸܋5:h cH\&&';FqQ{Q zk#&+p3J.|5`|cn2J7|jh6IЏ9 M{ra~y($;{N!B $UX3?Ú}5v""!He%nN" Q>: #R%1Q[[0^<Xy'x.`M/nm[&sgd ;(*y b{e?PK5HFcnfformula/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#S4zPKHHyKeX cnfformula/families/counting.pycX[sW$ db$.ƥr CrUx4s;\Vs:R*o#ϩ/x{Bwٵ|˃Bsӧ{=AWb57!4 2mA%.~hWtak_uhua&`u33@FޝQ bNp |Dsxn6k/??9/7UE$b Au te3 ܦJ|p Y0 IS"SocN H/>ؑc/"78HJ2؈Ӂ:*q$*uXYlPq g VHC旴-02ə=C0*D]_IE{G0&FU8 xw݄a ;0ð :*4+Oi><t-oI]t0jٻpI'.h zF/I鈽3 2[ıCC~dIJ3'E ^ƪG!Q9֌7^R DxO%^z7 ٮTXTxn%1Ѡһ4I+YoL8 cx0A +d(/q ijk59D [VaV>cځ YrmF#Ԩ;y\ipV=f(ҤJWMc#q Ȯc򽼀gSwi|5kԼ=o}]:,i|P[6o3y릁: uV䒟{fXsjs% k`*6KyZn9 S\Ya8Q1(E' yKB8"Ss&5*).͑%i$#?*hBŤUkuQ̫>ٱsIbQ R ?$x$@GlLlQ1gDMC~ S:2 VjA'' MjޥnQtMzI M8\8% n~9b;"MCv~n!\-Q@RZϜo<1ՠeNd<3s6{u.eZү}T%|WK:m΋瘷7Ӝ%ai~[9dKX!#9:~;eSEI`1Y"┟}|-6(m^w!'T,2M7d1Npo/bEpn/fe1-'@yIڒW Mdxee`_,f33mLcًrZR׀dQ,]|5\<.? Wfsʿ{(|{MP*)\]&=L\|0S2u Kq}P5.ߛ]5PKrwHUo$cnfformula/families/dominatingset.pyWKs6WlɚR:ԎK<&!a%!! $EḚL >,')y3S,6~t+]N`Zb9*b;o6y n%`A2H6$ 3PYe^0:yX!-Akm_]:CkL{)\ LX}NXl@FbpC3%%S[:E!T"WB{HuJhӵKE/Y#MV)&JrHX {b]BYHee#!IQpʃ}$\L*@[҆z01BЃ(: Z4#`F̲G$J/No.?JSt|[9cY2!m߁erR嘬IT (4GXT׻Q޵Jh6qnϩ:Cě,DO) \En{X Oσ.T! ˖NpɎX3J_W($18s|YFEt2 ۂkYUT>>)@ū]-.1yN'UܢM+jyoMd)ޤ2hOgM^J:eq lNJϦ[ŏjic%< Rӄ0^uRNkOazFKRyzQ#xS%&5SI|:[g!_o[!5)\;6pTAE\&Ia6v+a9ॅ]t Cu ub"k&)*Z.Mnۏ_87 VuVIKudKE2D+Hyk[pncߊu~5 txP]7G!}mx! /K~ҍ_0Rv |u\i-!/iT!.vnV͘o{v+)]NGXzЪ] .w'ўZ۝sb=J@A w LdGh+UWOk86GiC#JzZ?P0MW3.V}, ׂb‚L ?[HuP`t(qhD{\:w*:0Jiˎqh )9JƢ850uc: L}z#{ Y2ɔ) EO~kad!roBgy?5=stNDv?]{~ŵPKHHAU- L%cnfformula/families/dominatingset.pyckoYܱWnhg+9'mYJKCVLsmO:guR[b߀_B| Bsղ3s=_7U+O[0y>@GȂ9砑3[(}L *5fB(V6-LkNWJӕNްs_I"\ff=/@|"\ !? 3k#䬾D6S2e̋ gUrdr {闬w0Ŕ&"6eтLGfb4ٻe73M{ߑZBG;.*5]cFd;X;ƒmY k{-mr;:zݝc)>?B #Z{RFٸ%JOOۏe汭 C6 dMt1{qKNp'1 &˥d([TpUm|^$\O;I>lqEe u~ =;mr9!ASҼjCÎLpMo{)XȰmMikOQOoTJ}ݤđsw,pj|X&)f$Xp<Ѿ\d@[ab{ gnӔ J4 FyjbDb;E%mIz18 UV }ٵhdG޸mq;84Ao7%"A[7ݛnNg8n(r[|Ѳ\2r>1OBu _yv=)3wfϴNZH_nłqFvbhF)=^u]X,l2de6T-۟Zn*t@?ɉeZ l$0n 2 !aKa yLl>A/dbv=Mmrd\n1"y4IѸ"i:,~ef֋qKW)dw& Sy*L( >JEI|f}_Sɤz0Jds.nx3M_MT_'#'!}l]ܚ&6K 2~U.6ŕ\A\WDú"n8wM%+kz79Rw#&7[[-$lo-JM !5 4g"852p\Lb 2). (3!<N2>%2?0w]3F`x1ˋ1Pc[ nsB[ "U 52@e{g)tt7|eRO;HZLqKLwlB2L<~n~krB뫇ŕD?q1,yԯU Wz}&8e=6 r5E!q˶zd] v ygdo ShxDw쒚(錊."{BX::w"Ǝ2( yz+=ߪM1EJ wn![s✁|LVkj4U)-|kj܅'.d8TBqI2ki3 y7z`6CKs=rbaAPK5HTv'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]F]ֱ=٨tjlxWayKq6pZ |5SuD0 r)(b`oÑ9VJYx_^a酉TX~냛drrQ&= yO*[[9eB&)FiQyOs3-5vN i%au7q 6xc}ej֏95-YVi= ׭}y ^ /0/5|ݑE4sdAtC}J -ch4RG Wl;/#29QeDMd6mHX|I$p[5G$ LZFninOKi+ K43 L aM!vR)K/Kml%R&CUS!6 B_+.¢|NSvdquR E A@7?%Ż@BoqP $jnn(׭+{"%HF z 5ؘc:Y.\]Y*;Ӱ^u?mo xOyEx{--E;E;>#Ra&39r讍J]D_-A5l юqߘQ?.$p 'I8{rt [a7U9a#3dҘؠ0.d&0JL tsQi.A rF;[&/#yVϜ]QR> { SϮ)9&{flbțc,,wPN6 6xêY[6q80%ƀg\v ={lmpI.j3 z TN&!Q:zȠ;,>v)y7IXށyO$he0KZsnd6Zu>LkyqtD)D V.P?TPIo/{/|:S P:@tiG3cN~p'D̟/LTY;7b1nk&>Dg1 wP$< BNdG8QNl&0>N&,iy5RSEu\qʬb`NswDŽR+7`ŧ*uǿyfh)PN8N0umܙđ9VT+ʜ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$2PN$kL1؞c; k2K(&AFe7-@Z #1cDnP7Z0\ 1vo{Ȼ Rf ٭EVk'rϊ0B H x췕\0㹇^⬡.C+t:QҰ.>q Ȓ-<->f;oD6]ܥps]/kءoAB"CiyIJmn\oX7QqEcc /WZ_oEW'4V`'D9F"GRml_$YkmEm.c}- yュ:aX`l;J-l{[Mvƃ>fЖ~X@3W: 4H|d| c[;ƺYL P'zyl c<>>fpc2 1,&9n skW"} f/G]ex9P:89 2^|Al_c2N||/4I`)xp@`^'h/]D0O9{d}iPZ'+cLq'`ZNfJ M2StOeswjd/a2;i =@OHhEWu1\s)D)I%2๾ӝ,>8r%M Sx|L8O+{lT pjABGn95,h(59&RTЯX.HDR})L*Fe8#p~`zK&D55*ODzDu{b>"}2rkŇ2 &.%,)#s2!u,P a"'SOJmpjr4DYAݡ%c$ jJM ]1R~[!6`j3ҙ-&n$ĕadbgJ߱I-ş/]W6č !BN/26*Sg9~ 3UhW9>x6׎ӯ=@u >xApu5I4[om1{T4Qap?ԩjX]mXZA[ UϨ3m*2sdp/}0 cDQ*vV"lQ Eǚ擢o FQz.*\ú9$bUG聦!j@((RLЃIfC{>OD3 4E없d]"Y7 cðvKeA-jjϰJ$$uZpw u -xBʋE,PSiASYY_-xTWKU _vv')L!@ ٩JHb(z/lөym>F9l̗0j (W"_s$!0&qyޔ?FM%F"ꋟFW%QsSbͰj5PAa&g! OVAM<$ z:VO(?eIߞ2*V#*qv,aZU]PT\'ye7M{F>!CT5#f$i6b\=-۪31$zr7?0 ]R`Ǹy"?HQCD9sD4FN:3$kdAFRߤnT.>x1\;Ncμ."Et3PI01#F!q@0.GSPʟ0~HhYA!pkJp.?p ү`L56e;S %}[tꆎ+: LT*4= SteN8e8pdQF;?> Te&HO:2xCä",0Zz~@)QȩNZW_5AMQEvtB⑥*۱ Qn7$ &شUO9mOhE^gs9|EoPK5H>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@+|M0PKHH]# cnfformula/families/pebbling.pycZor,ɲ,;NQu"$ul5u$.Xe%GڒE8ש ؜^z롗=@{{o͐+FPȨ9Ù7o7T_~ 3@W!ACO5j "0Dk0/ bm@D0(EV!6FE0,#bmD"(XU!XWakB?4bMljNn5 J8c9a|hS`L?6DHXj9LI Y=Cl ?ANHZ&tI Kg#g$0~Ft LaD7d[%ߩF]r_~MaAO&nEd6*¥5+w9`>8W?e!;(Q%>C(8͚\zbDBL1ٙ;=Jq|3CyL͖7Ca`9KGzN:F=#6-Qb"Ze܄!Jo9=aQ;zKY.f\jWa}G2VVGS)yK;cƄ9B9Y37 0^3.3Ƌ =@̥,Txj@~Ux,֘YX󀣉5E1rlyb"S-4S&u*U~hh!R=~ ac璊!SHl}h"F57qbu/^U_Ygu,o;W VuiX ZQ1׉ &S7x'sd@:$v.ҩ|C|[- wTP67_^t9Nno.1ܖ@,=lv_ Qf)pTFFIsƎ9 9Ӑ y\ AaryGJqq SM{ԠWJ<+iR3iV8E|JEkX\V@lrbeZIBQU8tR+-XiӘPmf89P:3jn-667x9175;qYz9Baw@6ԩ5AʃH9R+d&@[ďObU ʍ"2)ݹS^> L TsD*{yVgCWI(ulU&XV]:gMZD$ceXU9,C0(,ƓkWCdifWb7lhEྟJUL2fY ȓz(\4FhUm@)i32BEؕX~EV te3 #R5"^nl')FsAfE:lo@,<^F5\6,?MdٷWW&yЎ!fD$eHn9ٜ*Qg̔#HQ}+X\Zb4烄Nwx%C/j=k<[QթpTP$:I 31OGp*VVE1@r$ۂ t@"'*r툧!}ebY`N|̹WOA̧%E$@uŬn 8W+M?aVy8W/I_Q)M4nP3Azޞ"!ө?+x(Gק >UV¯ZmRm;]/rUFdR(q)mD}kBѠ̉P0tOWCj8WwCxZ gnJSVBZ:ORUu-Kժf俒]@I- )K}S2(I9iLyc#C3/̈́//PK5H3T*!!cnfformula/families/pigeonhole.pyY[s۶~ׯ*N)%r$JǧomGHHB[ (HB%˗s)!Ň-K]7 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ڽ# XZy& 1Yd /FA/FQX0:%(~egq/#QasU?L3DmOLL?3ف0Itm?La-`:c쀱o㈳̃''q?j(%h#I(Q'[w­(]Vwz#f۪hڱpQln$v0Q&R>|h^NXtE'ij-E"a74"]T Ai|؞g^PEsYzjn 3w}1TK(m5AضdQNz C{dˬ)ƀ 'E+qv@7v~K!` _b{4ۯ|TEJJ00v K* 72-6U?o C ;8 #OJ:!~¹ub3`3񓭨p7 _q_[] u#M"6Xy P-q]?lÆ"ΛD8WG1qbAl<Ղ!m'0}1=G,a9t %6^^`;701nЩJs|J*L6 X&!Q\ұipD -q;nfԌt9wxKrw9& _sw Z~tt`#D@9\Im+?ϯ<_X9;rahYE>w5|- K9XW9Szи_vݪ!:FreRE/-KE}t-aMƁ;t:eJAAWɋй+1bAXN?W(Y..*cBYx ˍ2҉| do; GTky^ U<֏GX{~?ԨGXbXf+ @ύF |FMAtAPNŘ(1G^d ·\ ՟`Fd -i``L4 Ƶ$*"g V3Z"4K6=5MJFgQ&$ װJ³uBcJH6af H\BmF5mh # ՚ҽQNi椌O:I⮊GğYɯB(bb[*LIyy֘4Ι.b6^^4.65.hx]@5Yaw 7n¿0kne@?{%tsDCzum&|'L~>^kY+d]eD!#A{5RO(j_iȪ+7ihYDljwg[3Iu)7pgu'64)M"|W𻀃$@8)zNX}/Ǎ()oo!3OpK3^u-+8@0య$@̠PI[޻@Y@!+#JsbTf'QE|ٕnHᓂ!FX0*@MYF RqiJ?h VYmc+٫֧衐|6f_)7T⹃٬"&6o ~TIA< %HFe8b\<¸2.a(M7q5?ߍ7+.d $c;f ܵKHVX1 ӚS Г>vm$q -!*VӸeܷU%pe,,-n.'spͤ=T-D󙟓.`sS G(ëUttx yƸP8Mx8fSWh6 k}1`7 ^E&GQnQw̺WCAҍͨxDKeۨ"2~dAs*&@yI{x[0Rr9r%O&`ja4 ?|!^WFt?/ٝ!oXzDGzz6*/*:"qIi JfvU*x×TIdsU954^J\kn.W39ԡPk ;.D×D0pIh ¼!ⳮt]a& dv,Zr$NUooq_|Ѹb>喵bNdS)i L=bM5H7F1r B- i%(S ɭ-bkTučF\EɆG$㊁5;Ʀ&N얩Em[p0TxBO&S yVO7@q94_#K? ۜ:t׎;F| @<0=fϬx 5qK9BNĀ^0|__'zHxfОB3:H 9l詮]Ӛ;. %-U+xg5w*؁ bp3t^z}of◇ UqI#?ojlRœH̺2px:7Fua gZ#:H0- GmC$͍ԛ\'"N(֘NXA"t3(UL/,U.D+k0ӖfjiH&~aLvlCPp#/Zל0&ib~>ƓPK\uHj.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_by7aUPKHH#vMcnfformula/families/ramsey.pycXs?_"EN\[׸iF>8&qc'mz n)HetCԧ/j3@$3ݽݻ\_<{)}@3 |li3 f2*lbJ,aQmVMf,D+=Kl28 leWxuAPf).(f3z{Fc-k@suߕI4]Ż2)q+jXZxpak^G@duh<uՁT{WI?wp3Ѥb۱Y G-yjp͆M m_cїH(٣WL)g6٨ UvTĹ G%7FevTF]%hIwm-jLϒ"EdY4-^[ק=cl46cE"xm'\'A?pܓLe[x;MA8H<(/ :ZN@2`ZxuDeDbVb-rVk+ih %ŒG26pxvhr6  OoLշխf8 JPwqP"ykУ.i"wC#z9)zcΎtJJtp >LdkM4.K`߬Cӕ='N_l  7MAFn/p7&BM> q#ѾH!GW'N;xà#}ѓ@$w>Ћ>x6ݵ4]}{.lzZ;9;x6\960p(X I jhh4B 7BlXF MgRnF'pqe8u}K[niK]7 @@ gRPf)RO;8Ș닄^}7 \qD1pr~ZJ 0P@A2D~ hT2[ױ9l|H+ %m^e^څZlnXWu iF*gYIV*Y鈲@j.af*`6$5̋l$K+\N1$!9ߐz m$T ~Ėbޗ`JW%$j}U/ZUUMʤ)/4bBҔ ivou2px; &Y3pȷ/":kg0p RdU2B\Е>eCHO}qq[S.YܚXȝH}zܔP-4zj{| LzZt[̺l4*b"<0ߦrEt8pj qH͛-y9Gjf2,r%>.>+LnlnN$ (t>92jcG=iDͼ`H6 %AL\HK =N&fB:qu"8FBz|Ql%qtSS3k ϥId*\Yc)f,oQKYS)rdB%CfBgL @\Q̩oe5?4046v yMnG҇҃wT྅_A9`r[ü6yšB`l%=?h)kgz0ev=EM븯CoF :[u-)#zs51507rO! 8?f 4gHMz.&t?m)p~x[1p~͏'ؼGHעڸ1Od4C$% TP'$8 4R\sgD1?"}"z`H=21p61oA'u JBڗ3q2= Lyno]\[_ PK5H%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>PKHH > _&cnfformula/families/randomformulas.pycX[o>ëHI,ql$&p͈#j4( +#jjwD.jg(KRҧ/Z*9gfc/Agr\s{`?5 D *_ T!~ ~íkr"iAN&wfA6`0y#g #xj7 j\cܦ]/~K+ingdQz_\>X?R?(x ~u8iW ſ=M1S/u_^I0VҋXFѹ$(TfZۼ->w&hgNb:El + qX7pYdM/_*`fuĦPw&6 $(b} > ̈́AL}8N_K0Wg7o}Xp8H$j`a6:W-'3y6*&TC s]'A&<-ƒg={OŌ~β^CҶ4|eA̋FuV g5"oP:>ޜ{qP#?v舳>Mʌ8>!oy2Jyp bcSPm9(">?AQ"UZFc])N%ȣH,ǻ6t#)i:نq.z7 2$ߝr^iJ^A9c=y-v%sܬ,eVcyi3"D7pY]X8 !;6^v yB$C#~Na$1c@'G2%?ILe,H1 h}X" h6ֲy!Qa 3QGPOxH~[P84#AzQq>I mm~Xsk1}shd# ~/*e>y#g=vUN%O޳"$l~N X/r^"EDLbXW$_|ŹCd`3ATUr jWР:K+F>qjaQ>x.I$i#?as8{2Q3Q2]-*L.f8`7KA@|{{ٻPCևm(>1Ab8wrVE~A(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񸩅:HE{dī1ш!(!/e/̢#\DL`c)UY(Z # S9"\* D~k&ils;I|ڌ@X>CRi'1EZ!OXɨ3 '߸&g̘{HIX;vm8jxI=9q03)2ܙƵevi_5>w ~{b2'q/UwDU#bE۝_/e2EDSl$NR(*IϬ?8$϶|^\fQn\YdsǼ=pX`}D%z4IךK C):w]Q@sT[\њBV9g!5АG̔e-ja6%2צ.f0at\4 =61CTa 18#$g0]_GDsiTxenTf;Rte P]îKY07SO||:M#졬 w2չ%¼{ye{)Xתc汁g\b)fHmuj-5' PK5HJ  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"OPKHHv^cnfformula/families/simple.pycXmOU3B j^iMdZkC"61+mS!sY:sB P yμ"I'}9ss3TnӮȮ*>_W-pM"0Ŗ) +¯PU7&j¥v]ԘAc!6 5^Dc<({4Jc1:)}AW (юL< ɝ(4j+dI"~Q a"[ã ָ[ͻuaucX6B%wW1‘( "ĆCMS^7Yo{y(8 HsYFȦ<=^iJq9~"QzЗz+7E-ʳi;~qŽJC Y߉?[iCH=*nㆮ v=ڽU ꃾҚ\F?J<=WE9'|M[EN8 uV瘛 dmnN7JZK wwn/^od]qT"?WmgkD} N-/dzWZv[82fU![S|7[򮖽ǀޫbĦM㉣ 0?~\)i.]GD 2#ܗგ:]Yٷ_q[HK#Fҋ#Y@PL& {BO⊣jCOY"Įr\D53?i řy*l!obl5F9EDK{|nX+IݧC-pD15nr\Z00o `͢xdX8Yǰ#Uա.SC9`aނy0#wiJhd=xxG @DQL3Ç m4rhN8Z?r&l8|7GQ(ُۜrmÉqxH*="^ʕ8_220?WF y%`U/U~Ia\{y0 ":v\UW60F ߰x&ڝ ϡ3RN#!#C`7ɾ{t_*L1s._GѢfsx"1Nl UU1Iz*vV>=gә^ʯHxI9e}@?I)oPK5H[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:oPKHHꗖ- S cnfformula/families/subgraph.pycMGUkg7Lƒw5& &1IA Q̸vgcճx) .8$qȁZ$]]իUョ5X]~%|G]@[Ѐ&&%h 4f!y2sИx<Ƽy\FE X xz\KX!g gO4Vabː:}+5?͗QpTl%jB"&1jɦ:"7s0 N:u<Z7_AwMG׍yLuL{I4ƌVqOOyߧdRUs6?~< Pi⻩vQD&bϏZ.*ui'Vec:<:Rj(ӋOWVқޡp߂Xrv-|qhC^XTa@ԒXr>'r澓 V2S2'm6J`ۓ^O3qB=.tmzۥ Da̼稦Zv&b -0L}'N4Vunۼ:]'JM}.\D _~[u_m=j_c^Sb]sBQTͭo|j]q,\aRX{huߦ]6UQbQ7Ŋj^66e1͋i^0Q/k]uri]`Q5VKR0ŲsyqNTa\ čۍ+q6P+q\ū8O$[h}i;AO"O''/V~A 0ȖLUzo\c9(Cjd{ZL_}:"y3D5:=3vo#~oHFD=xe=T@yٕؤ@S->9<{Ʉ0_w1ߵ)hX_qD R^[oI,yߠ -r&}(5J g"a)_#)V䬁N[eN'wL]Q k˥EO%?v~l!+)ߢᇂW/'Rp+(S#`Cn.n.$ hzu%7,ݱ bdz6)'<,y#Xx<,M.Sң.m(ǺPX0"t^!:.cfqbyjL*/ka|Qŗrf&)bxy^k@:"$/ 6x :mr` ,u uCeQDTh<@cucCaTW3aI's:MPKFE*Wfڸ cаC/vOo6uf]ں8{lC4I ;k g,-0gFYf$ v="Y$wC2oR\Vn?ݽԷj~] #0QCd6Q9si:F i*SH DŽ*.*?[tyA qEK`J 4ȩXP7𵾧CM^e-?쯟/EAO)"em?:'g_}gdzZ,!-=xZ.&UTl{JIo +N@Ig( jަj(ش};w!MSs9G/U:v<:y;s9Xʧq(H! fp*@_؁>BȄ2W%#8Xhs Y1X̷t9V ySgқu c5DUT=~'KUPK5Hl&,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"PKHHkT:)cnfformula/families/subsetcardinality.pycXr] QDɪXJU HJ1?e[LF@d0.3!)-~rˣ|5UIw%\*AjgF?gkp'dgcmxz,X쳶<Wh\a X{[ݭuCA,i Bw.0dP*_5UV>İC)Vl?2v]M¬`M ϱ`7М̳/ٱb*Ht츊>`T1. 9=v{ ?6Ydbh];(1[{3DLVUUjC/jUgެw%Z~3xZu*35_Ņ]X>Spƒݜ6.CJonS f߱n˱{j_C=Q*$DRD$#C:8J3C0`{J[_]bz5|͐Q+5 jJ&KXZ8k4\+?47a4{6n}ZZf;9pZyAVꌬ,!]7"O+1]q.!hnP)@cI-{Ӏ:i y6)A,T2Çwԙٲh&#6Ν)M5 斴3-(U1@zfxvVE`KO)$a]u#%`=}x. d2ʾ=j@.7EoKcAq~s}#^ޛ{sݚUbz2 DXzBk3so:;  ?KcQ1*Zo֛X[wk5`RSN6k_$ߓF/4O!.: &Dozn5I3YQ>;ԣI ^biQM3(~Ln1g|QIc֑\Ś9p]S 0ga2]=ژL&[Zy#z>c7EэNm"Lxmc6ݐލ0(]A1<@dZF h>GEV7qZ&]2ylC01EAɡv p;5&D"4fHG1a)ق& i.X#@^_ycfVQ{_Z8]g_.zWYun;(&: G] ʹ,Z0lfiX)Ut;{RrePоC9/g}l ]聑:Ӗ8Z[5Κ8XBpvBV3}}wek.,K9]Ħz#Lt5  b! 7n~wQ"X-x}0^cKJ؉cNB-ڹ Wpv8d. 9`c+,`3>)`B bK4 H0ST{ !/ӈlO W( dy2ـWR"48W,mapr5œKt-. =@BfAYn4\)ȍWN1}+w>9+_@..z?eHPK5HF_ 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጑'PKHH!cnfformula/families/tseitin.pycW_E$K.P(B@+/(єlv' $|7_o⃾grwE)zݝ?~}/S=|DlD$t4.!)ðW qB/Cjsw)* yT ́\ђ'!ZpU'as{8JP:qzYϻdep@a]M38(cYtĩM݉I<m| C4%&@6|+[_W?~tt﵋ 4wUk}-nUl8ֺQ03r깳+[ZZ sz0Nbִ9Ѷ#Q_!Z{>AȒ#G{L:_!kqNKGM'$"LK0)lބYw!@=WdUӴ [oZ.AԄU\L+0)à hBOl@H9ub>s`оQWK 2SA+bZaReH `2Q}qoWwZ|O*ݨT(yzCzq:kOZ{0p#8<-D{qHmym/`eo&R)/CULJ9+Q#ƽwEcyLRy=`$.e (u梗!,#Z=F1XF>ۆ :CjbM / "4 ׳Tыn%mJ7Dtv6_#]r~efՋad ;wllb0 1!kW,H:œa^<J3i(('Β8UXx%;0[wm (0>u 1#S;ebSiX*zJ%48o~a 0|9[0“p0Ӷ;L| 3F[.ܿR >_1պ;|護8h^ b|/'4%ktkڤ #7XtX)iSE lI{d{:Kw&nXKF%jw*T޾g3.~?xۛerG(65U/47_Lq!].V%yÊTY!t2LąׂX[j% ,Oh@SAAYkGpM1Vj)jNeln'f;ݳzUV>qB*,~#<|1_&>!NndS}ZC+Ehݒ+4($! )Y.hZ79k;LJ0Ї[DӳoQrGdN:3NbrSoj-&d8لK/%+2uGJ _[TCPK^H Th&cnfformula/transformations/__init__.pyRN0 +Lw+B+Bۺms{+mrib??uu ^-;}jج`s56LQXbG1NJcZ'0 @}Bcʲ\+CQZ"]1 Y$' m@۝N_s9%h(%$Mrv\;Kq!'2V[2IOn i~W_4B@;nc !7c̉or1lIfvcNeA[I-b1w-5_U&Kx=h2oPK^H  { 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 VPKHH&X,cnfformula/transformations/substitutions.pyc\MlGv~=3GE-%ۤL)YphKm]X3tB`(wn~: Wwՠ!=SKc+8|SrA9s5\W- $Mc}#iDl#qku0TQY͆& >MKϻ ľ06-ô\,A{ql# RӦbLlozX]7 T,q /">%t4SMZT ,l,.'| &Ik6,2gZFPQȃ-.j=y0Ͱ9|ym1]{|_,VʧIS& 6G217ųu~:3;Fo'`eYODɲ΂ѽ?Ѝif>KIGcxԚW19}c[S>R@SվǛzN,i H(IrrDF!r9>hJҫUxZT;=tڧ) e@=Pn:ѽn؅z+4ed6C($]}-L3Zf]ǛEu/":ڞ,iaST3g:ɎɱAg0$k'Yiv]FAn!os,=,ǨĠCbͪe>*PِԤTGtBXuKT89OrٖԴϤӌ(*SiiK- &|ӧڿަ_:2t7tQQ G4:3y&˔alD^ ײ"Ԝ]@r&,l@f"@xrh i -5Bvl[HA8=u iОTOI;<QwG4S*q2@-w9'Th‹ri!ت&U6 RQx8DHOS3r?y\.p#z2= %)mIX%(XM m%كIy%ӔHo\*(K(]=8x`lI[3bOuY8W6B Gt$Z u:DN#O C<QͦnQ ; Cn7(?˫82 {|OW<42 K|ۢ] A#;kxN׉5>ZCMqEqP N>+Us=Ԙh|FOٌܲ?:|dz:Y!'LwSj 861bz)8~ppx,9&m #*}KAbO܄ĭ%dϪ ؚ k-B?=Y4 MzqQ 'B:E2fBhVC-B[/_)P¾<!.GQoѯHW`^Q;V@Tb wĀAkMB83<u0z pjB}IQ^Һ~el߬n|W3ʞ.WX]о8j4!obR5;2JirƢH.h]ͺSmt*742 n4x x;f1Vel ?4 ,3o~4@SX柆aPjOMz-ԉ(ql5%Sc륙듓KBV0%` m >/A4cELFp6{؀VN*XLK;+X؟eEg/U:Gs]ڈǂfkN7#pL0Nx%E 6`Q;©y I-7NGRTÉVB\9+N1%PC2j65JFʤ6 p,,~ҚXr He^]-kٌ;;wxe'ւSώ{/Z*Xuv݆(ypX>(Ջ]K,v̝X~ޚ`A/[oi>.Rr?RvN~\̞.5qac؃a %YQBȕ캾"6N?[W~Yf?u4!L*au7O6U%m2Y6&km+xifI{wox;Dz 7_=C\k x.&Wc`ū@1yF Kj=Q_m,b%D]3L%B.;vA;@WhQD?q^ +5ŚH8k*$x%6s&g˨i5mL5bmOKL@܉ <|=PL`53~aJ'ukWwy5WUw$1aBq_%PK5H&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 .'APKHH7cnfformula/utils/__init__.pycUnE]k %.H(D!BPDKhv;x'Y+/#c]ctWUWWW:姳&)1H!%e{27;86(iʠI gޅ:ҢviX-*zF<-,ri+a7Z_x DY ukI>VF 4\LS5 AI&:@AYs3WPÈ$\DYLK25'>U2%+\ νAۺ>vDK*ёN~[]M3,h׸藕$:΢`O qu?z{2cSOa(ft3Qb[△+1;>C'DSIB ;pܢ?X3AFN|N kgEt'PK5HH)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=PKHHQM7 cnfformula/utils/cnfshuffle.pycXKs Ex%!KQ%U% TyK-vETȋJ9?!9&C~Cn9'$=HIT ؙ&j$S¿"i!kÖ r /Vx18 lU qDZ8| Ks ҂ UxnC{|VĶY?y|MZn+ͺ8P[8J^_-$ЧˢD~(M6"̪C26DpJGAI+$1s4Yvy aT:ر`汃ˤ{|,:49"ovx<8(z zSp ڨ "@{ϖpTsGmZ̆?¡PgD?sKٽg3p'Xܯk7L'ƕ6 Y_pXeQ[J\6c2k#2x*-hnOɁ]ƶ H2 T`6 Xۘo] SkEQ+`-'^הxbw4PڹJ] U)MJWwێdbyYܠl7NQG vuQkE;5~ljeM/5 iTcz6XA 1 b4b+Àqy,Y9E8@4b 9~ xwdwd#;\=v x`X,_ˣYˍ)Ҩ.#b=WQ6 1uS|h(PCӄM:aa4z1p൤xrsM&A/bm&8 ws9#5&x_iiY4 O tG̉ZlLQdٹ@b9Q>%6nY6XsWX`r?v+vd+Nvu#W#(q+|_cKU@w4^n"\AТ4H,zC=?kXe^v;ZVVz^DYeyiJx6LiDݕސY*Tei*0_R+va )BGC}1֯]B'ueԯ_!:H.ًP-u8|7H!t'etF#{6:e(6X@P{.ōF\ ^ls5J8#uC~l{46QqS&s)Z D*lQ=)X7}Pm0BdTlIYsLAGorH$7 7ɱ܂4 b4Ѓ Ѥ]o/^35 4?*6A;0F J{v):g@⎍u˪=HC(N1^}lԥODxO۴XSքd?9krLؓ4?rŚo)t.5_i:aǟUӖEn%oz ψ4}0MRy }K3]7yC8x[}L{ E7XDTlJ Mn֬PKGbHz #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&,*Qx2Ex#Biⳙ D>-(ȴ=u1jWETqG#e[YHoh[LOlT`C٢]5w$lAJJ76ߞ0цN"}APι5A3a2pW W.VȊ I1 2 bY CXiۺY4SPSC,_o?8:Wf*rT_s;!+,[ R9J (](c>9 ԜKr:_p ?q| la"}d025L7QEr|y~.ffOq+mvgmB!G6)ѯHweI[=|:|h] t*Ē]=SYq6y#譖9ګ^""J*f3Qj*[[HPFw&AHRz7Y:ȂjeQIy&?k;E;#2}, UH(4c?AD|Q\\?DD*{I3d KbYp֊ax"b(BBmGJ2 |XU`B2V_`}U@S@yTОyi3t#t_\`y8N2J s)l`xk@J6LFqq_0a{Wi8?(zqUL<ų{O4G+n__Q™J ~Qv!ET8q]0&%sN޾/Ӟ32>ִf)谷{쀻%ujn<[mzR2 KJq*ǑH&֢hXU_m\[kPK^H3t $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<"GzPKHHhܑ3%cnfformula/utils/kthlist2pebbling.pycWNG> JYpQmZ. (jkֻΘ`-Cizh9KL`9k\_'oA;iA `dAA9 硓S̆%蔲5\w(w!,C 0,s[gx*p d \UY# @WH^v 5bo|m݉H[#Ӷ HaߎzXu{Q<.w%3 U ebhL"MlHFonV-;i{~$d^MDףOh!qQ"zz$0[_6^5ÁD >Qȧu(WtQO[I n/@2g3z}p&T[wʗ)?@vѥ2j)@[vK7M31/3)\:MⴓIoS̔#nff#1?"[wQ}AU"X,W(YUE쯉%ngEB%rW6JS *ɵ&׋ kr3@*~I3 +bU˒ _IOtYA0"C. T_}61va%Ƭ8``t"5Xvb2QHl56h hxߺ8i̠jcEփ̋RIzOF67{yQlXsW2z|Tr&?C7{ bZ-:sLb8-:jP ޸_[i̪oղq{oy6mg8dZTBHNMebU0VDeqa"j"PKe`H! W5cnfformula/utils/solver.py[s6_.mIzƹ֌zN&v{>ESy)W~e+mcуmb]_VZ yri|.IU.oA_]3gk%WIQK˸{ҜsK&VEW\,,I*ɘNJK-bwUJ%`tJya]&Y䒕KVIl+zeB,_0]E+G b^Y*\,Rd:6#b?f^e5@H2Oɚ׃^7 .Dƅ_yU'KWJHc`1î@̯ 2Qn@@0;cMƭ,;^ ͒L1W-@fv>\ 'sҚE QAʩq)%*Gu[A"Arr+Լ6}Mf'ܤՎy NVi` `"BNk ףoO(!|\(>5 )V`BS0"V*588Jk%AsOWmE"lèPlH^T$lr!DKǐai:- g` Q׭_B_x4 nl:1Yp=o k&6Cn:|d ⡍_k"k=L2oAh 7ɝJ_wL&57OO#5E *[ dP}-IkCOp{?>|pi઀Aw t BM3M %jDH?dj @"<0&BD|g36Vf;5TL*2@ [HkV6E:cZAUҥQ냗%*~ƩgX9n>ȍ1:S%-`̋M#B逥DAEUM SY"yV:D=jAD1A wM *BPLy& fW!S&-Wmjt_?#Mi ]3l%{^_7x{ĎdUtMLFMoasH fqw~; "F1Td~Y@Ʊv CJ9i&4v@h*|C a}HӤ< x6idJj$ `m j?(fCtk@O)h teZil, SY/nƠ،1;xLRAP+7εP傸eOගwJm[JFcLeMB&mQK .C$="t@-Zwp ZI*ӀP %אk.B3e+@"4揃~K_m(g="g|9a0]iѱ\,}J Pp/@[ջKِS_XER54N.Sh=n~e5a{1Z$D%R?%4SG4gFC}47%=Bzh6׎OmpqՎti#G^yߩ{8EmA]۱6yEz6lnT]Y{\8& 3T!q? H_-\B_k_^ n_oVzڶiDw =3mY,'^^`^X]]3<C%dwYmB Z!@>C鎃֊>}X˪̤~9\džG#dIW}&eg/b=;ka\BFL 謝 `2htbcɰ C(p˯1ը@.0`4|oݫ3oanMwu\S2;h[,6uvm(}ƭzo;g9,2HH Gbsqzine4!/ .!ԅF]L]%}ːnFWE%S 2+N]u؎-ty`guiB`\tsu"2 Fs@(dO7;l! `4-+yoDs],]b`O;@/PKHHo%)`0cnfformula/utils/solver.pycZsu A")y?]nyP*JлE@Z"Ù8$0MψDBgR36Cr.C)93j+J*Kx>~utퟛvcoW>cə0%veϱǜ݃ )]b.d K/OM?uq&,vctqDy9;^ӛ/x kwe,0M/dW֗aV^J ~$D@e7@(71Zb'MDP;DdM(G%`DHvnʎXb襃*QOt4b%JZMm/xN5:Y-i]Kh33P( T/pwv݇2C0HcǦ9;.ٴÎJI=bx ;c{s#*q1k_QŦNlE,/fiLY0ZR0 VO4qHi옣_&+E AV@Gr݀&IVn/A/Q҅\6Q5iW᱓uD;_lsyUX`9#o]u*v 6WF%*͵k?:fCh).#wMZN+x _K&|&@WU|.#ݷLB!/-W?.]TEAS&g7{@Ș@]I NxhTĿR\p=G͎ .3BtațDgNQsqfw{:/JoZ8M"]6G-9+il+8ѢT 3$7k;v,P)3ԇ][jV Q5@B(dRV =ž؇>{f>ƪ^&%}& E36tC Niten+([͏)\hDjx`"A BHH Hߌ,¶=8J[(e,fIqN`V{wz|,972%3eM C|59 ֧zG:,>Dxo( hP9*T ӤAb)7` 4 S.4:dZv{WFdx0Z.gje{A$'b,R37I#3^Mm2f:YGAaucg_tNeg{% V:R!e dG]/ ,n"pp ӍXMx)\㐪4$2kXuxͼ QvLi=A:yxrʉ%g^ aMeȄ$. z[$atN* AhzB'Bd谤LZwmBVz7Z&cCjִM^KtUF $칞RX{0[PէMCd/hW#&@/y2j5`&ēNիW䍤*CcpE~Պ":9QLO*(XqK-SSruoPKHH2EGG-INFO/dependency_links.txtPKHHmcEGG-INFO/entry_points.txtuQ D='A'Y5\%A0̐Xy#q/(z֓BH9Vݍb !{S vɖY=a ?Q'PKHH2EGG-INFO/not-zip-safePKHH}^.0/EGG-INFO/pbr.jsonV,/JIM,NURHK)NQPJ,/K-**&%)PKHH>HEGG-INFO/PKG-INFOEM0=E/@JQu=MJ Ht~ dxCrG\L rk5vdjF" [yqtI0A)A\ [P&>uiU&r㼖rrUzTUH. kK,Cm9ÈK <>+PKHH/:EGG-INFO/requires.txtK-)/ʮ*,H,*KPKHHPښ EGG-INFO/SOURCES.txtn0yRiߠʒUtմז1cƧڦڼ@Rbpz"7svpa%bOOQ@R=WmaG w 79öUB>_yo/8NYT@ur۞x!5ږN__!>A )εBOHr&3ل!U_*1έZj:ƾ7DT@p< i-6ፖhtϙim9 K@]{[Ъ"݆R*3v\]Gp}={N1j7>w !G_Bϵʞzx(a\s({ J5;hrZ|ȃI 9S17 <$_a`ŅHn;1ZpM@:f^`[eu .DZ G[6"kr23U3|Rb“Y4!.ǁP֭+$8E;W-ᗑHPKHH`EGG-INFO/top_level.txtKKK/-I*I-.)PK^HGmtests/__init__.pyTMo0 Wp!6`Hzغai@tV2J Ӈ:M0`>HS|ē;Q(TŌÞqNnui[:%ˋG³$hEJha#w-UE-^v[Vi4rXT Oep'7$ohpDYeʰE^?4eUc4FcL݂#P"k=;g]9 i!篐=tH[1Lr!QNH3|b%DPH`efx# D$WHO w>T,z ȆɦQ?:E$!V+X odh{@@f/~La):{C -k9n<ysb']j'*k ȕxB͋Ө'܌hj_e 9MkyYGG5e$Du6{3\z`ةm9fO y9B0%]mP6N/,|!/^fdSzbj'϶^1bu?ƞm-ԏI0f`99cV,9d61?W88٥OZo1;JH'oPKHH & tests/__init__.pycVmsDd;v[h˻ ` qJgtA)eh.9+Kg%IomNw{>wzks$Kwzb)R!FsYd#BӖĴ-Fmߴ#BLVĘ1x$/.n;Q}}I:o 'j'<5M"-,O[Kv񇲑%RL1qY` B !=ߔՃ^ϧ֟4άM>վ&yRRV,IFYSַr3*HAdKy[C xb~O lBjzĴCYt!1cb!ӓ2}[ON5*8x||.P$JME(clח¤1z̑|wPiBܯ2Q ӌz1!Jy mĩuOUzN׽O_Q=rUs0xbh,K.&9ci)7,2rjo+:Q.ծo: !3|+9QUHn s4ЯAtY< NufYu9VI2|3(MZ.\R۾KZasV_2 `eh? 'sJC!p nGadZ\C`hnu%.woBne붺{%MFSI{ؠIjUPp47 H77~iΰ nS~\nPK^HF8tests/satisfiable.pyQ=k1 W`1CBq"ه?gn"[{ LF)떨%вZ|7"NR{"q,˳~t_$}鳯($ \ DH$-LO\@,Rc.yY`-|iz/V!S4| > LXg7z8L]yU7`\t!بl^p~i]$:u[K A53`O($YY7U\`x?X_|uvdlk o3ZoWVisi+zhˎI>]{=9wR#Xy9?ݿL,W #{Q/iYQFcrIm;>{vPK^HtL tests/shufflereference.pyVo6_:92e8jkUR/xwlg[{_?jCU5V~P t*k˕MF]-^nl[ h[.0Q@i\U~,~UrSl4?:(A{ >xzf|1wXj5;d C]5>e+,g/w XKUp &p(XӀj(-X_>Hnj-p ܸhN^\ʢOQH" U9ylP6H#ZI:0m̀Oh#'_21/Z+x=y̸4 43|Szfe8*2izCI%IBk8Xs$7gƎ)DCD;nk>~3ФŤO7Zh!p46G)(_́)~st4f$r ֹv糤hmb1Y j&Uj@=Xܦ8>yʥ_h_vBG49Z]89?KX).`4o1 q ~1{Qcr,KJ9±}29T'~Gμ ECƼ2gA'"E`U"u=*E&2ci2瘃&b qDjr YABڨI"#/l^| a~_Ӝ* s zqYF3Mgt8 q8w3L2 'f ҇@mR2 IۨvY+0$$}+[2~%P7%;Q,vLi _u(`qT&țXI,mAnQjBu Z"8b f(㋷hC [BiWdU :~):FB;ձ Y,<{ [ꠍM(64v~kI^>*lK2D: 1Kaڧ}jQS_@l4 hlǣ5s7q&6^Gƙ*MQ(#m;V:QM}L@E!`{fG L+;G~a(8g+'q\RxIc$!g5dvL}AvY21B'o80ӠRd44:X>8C-.b4d#GƴITSˏPK+i|뤾sa03P9;Mr\y 0N8JY %Ɗ+VJTɀ0pfBbh=b9Zl[9 |:P`?Frwp쇎{ =P#ԇAG x48sHEbbO4݄ @{/ބ6WhX.#Bƒ|ow=HP^2*u).B>ZsWT#R  |ty4}N $+ҸW?GӖ8C~9a`4%?u@2X#&Nsm"'Zc;aًsbߝϷPQso"[BNgdCԉlԗ %!6ͶeC~!z؆;+ &Kp8ۢp#Һ &hFh|dPK^H(?tests/test_cnfformula.pySO Sx%L&1nvNƃ{L}uF̷RlF{WkЏtGL6'c=)u]۴JdYmMCr+;ppv[+ 3zc˲R AeG煗e(_u+AţR<(pJH:p4rd3JmʸJ"uw#HJꔪ7+4}|kuT?Ct!p͟i]OLKu2 ǝJG!5}3xaO3"w[VȉnG=7|BqXcO{S~g[[?#ju͉P'ޕ;Qe 3@rHF!M}/xjfz"`EyQY4e?K~BQKq㈐i'jq *Jl/շY->=:9Nv+=#IwoB/b }/T w'f"~PKHHX-N tests/test_cnfformula.pycU_oEݳup RK_$RUU(i*?\B"\isv |> ';zvu\_׋ʏk"į` D@(u \ % M Aԧ]MF vIPic'GhzXNIG7(4#.-Edr$q>p9;6V@et; `"; mxswJHuȬނ ҊB`-iSm51<* UX9b53m ZfЪ}pº.EqwFdf{;ߝrOF{YRk|VȎXy ByFJ l&MwDA,' >rahl# w8C5e?@dhMc7^h58w8ҩOןIsxGi,,:d1fYl,XE)V''Zq?)>ܹ6kv5 SSdg"T RЖ+|sCB&!5u;x 3B |G%f'#Y)KpOc_p*4CpZ爂T`Y$Nd(Mng),saa!~|?U},Ŵ*,5FoDo){5 Wn7܍V-Y$/XA׎cLE z|ށQWAoN/1\N41Vw3k? DhxM$*l|T* N݌F yQ aA2dʰ#?@2CBIfYٯW>"ܮvvt˩؋١LPe4S37+5\?V50 Kp#Hc,} #Y|PKHHqߏ tests/test_cnfgen.pycoE^lgݤ "P$$JIZ U}@"KLAKj;݋Kc|g/nK +{4{w&;/=y|}×sHϡhԎ9إG#i֡Q.=(ߢ9OGcܡ߈n~j?7L\vÏؓ2ϣ"B{H&z:I:/D,-&䠩Λb#c 8{_:O c^N+gLV8tXbY12U2`dOud3silla}l< e%IjQťY>{zWz29H }旲<^z@UUoqvJY!x~Ƨ>]9( -*pd9DUQj83dAt S1|E9XF PU6- AJ6(70hNu6+vck':  l}:5+ۓ+qZ$aLL݃ n?[j߽ݚ" =N+{ϧ]y4NӋto^Mj>DjtL'(\+V+MvŬq)*a5gN{ G?.otiL4VŢtŠh|$Ga:Ƿ On='?" bjC* L üL*S P(zL{ :t?ޠ߂BX>j:^>⤻䜫6]"z&xVv]gwPK^Hq[̣#tests/test_cnfgen_transformation.pySN0&,Ҋbe Ys!9\h;Iĭ*7$Ͼj!;_+~vjItkcXbU78])Ha"2HLlB< F9.u^CӂeC^9#WB,HglF;z̢C(b22!´5Tg^c)WʦdZ(P|)W<)I(ʞw@?l"OKယ7uk?|lDI]VB/)Hiuf=]EWALI\!o|oEɵ~{E;ȏh)FWwj$TN|d DŽ̓|R~üS_dB{Fƍ{u/}y:<gR+5|PKHHIh3 $tests/test_cnfgen_transformation.pycŖmkVǏ$?&βe]GK׵0I (cY;nY E(ҵ-ג\kp }?>vGn܍imp`{l }sR/3fǡ9Ѩ;4rK3F^u۠YFM\<(iӨMIFr6yq]uyGk; %bolΖ<:8bc jp`=XFaŹ̓Ԍ< lsqBfda{f"v%}WKY= f;,?0Ara֚4 W6"'Ysذg9s*t y ze0]yT 0A! !VHz@s֩=f3*!pb5Za9b"/yl%3Ik] LL`0ֱ[w.D4 RQB|QIJ`i7-nڒNMC}UÇ(u_hȐo0D}K$sUx>AS`ypU.m[5F]Ɋ/f1'Bh:}!,$,ΨIhX~K+A&%P\Z1C% w؎.AѼhE$I:lX.5 UTUnf m\2 , T` Zwٙ{K*Fnx c6[ժkGЅ, rjپu餖s4Yx=정Մkd8o|4лjsN5?._%`'1~GV pΙUkΩN3N0=_2m.2^#MKKxp56C-i Kڏ NWᎺdže7V-zk5AK%Aw;r{5:+שIcۂ !Vk_o]XOnK"$!RѤcI;х-w=7<lAY?ffϏ+SN1=c&MG5e@ c5d۰pMFIBnj TE]r@Ţќh=jY פS([E RtG\IFrwJRAih%C1Gu~@0,U]'|O ĐTp9hXh<7V: ZSVmى^7]DاA\rP(OQߑV y82"_-IzU;S-YV(%ylJ]V6mXe|ģL*^IK,k>q>),#eʔq>?_W`͚Vz,?ƾ(=%%"PKHHx\tests/test_cnfshuffle.pycYr>(eqIӄӆnںn'v)19_YQLѾNm5(6Wv48.Y']7*-18:i&QٰҤmUkhڥ30g:4ti] W CҤ}s<c_?9gki&2BCG"V^r;%HB(N$t`BL#>7 '䥘# Hʁws^-ss!|Ao娟70Ŋ0U0 Ł4Hŵ1 *р9]lDgOh kj4N{gUx&@r.C\9oB\( wVJAaH$s$K;3 a c\oAΦ;[Yį:Fݛ2t۳o i6s/]"t HWJR/}tjfve7:=} Zr))>Z㪀U-<{:8̃زv;[q}Z/)Fu7DDz2ԟ m";)V^TUGD~8u?KVh3gAeǟDݞF2e=8N验l"%v?B mc]j\VX*VK|rڦAjqLeu,Կ SP'A,vfpA2QDʺR}d%]~/L"E ކ@0pv >(lAf$-V-fcfw#VQ.RݦBcPbI<@*4G"U-L-{8ֿ G3u!%e.s01OR@8>Yr=Q8I@((=F}Vu>)2Ǟ+o$?0yo0ԩYpIk WVsE(@>T6UDȯEG;ؒ0YAtfAh_"*|ܟi8 E1苇_o䚸)OVg)4C9VZ ^ر%|O,kmE CʾY$G&I/j2=B1QqMʥXn)\RΏ1O@@4)<x3HPn{llX=LuB+Ak|:fc'AF-'9CI\j S_)W$j`$9]|@69I#E[= /h#y(6uml d'd4ߛ8< a|k9?@(C>ҋ>FAv "" r%|:ي3BƜ1Æ0))swY#2;J c&_/f A%FqĥOy^5د$ߨ)SԳsZYc/R+/W+YZ)_ ;;& Z6;zY0QQ{,9 هi'=/arUE_U"Og!e| >͗|*q~IT ұ4{ްvնRs6d{k;$7U59Reo;Mňb7ĕ|ۓLncz5kz#yCPK^H tests/test_commandline_helper.pyVKo6WDBmyۢ H^E6"B*wHQ:"9fozmJ8aZ9;)1*>;#h4[$S4t^ CCڻ. 0MiUusssG{ dJ %C0z~qM:3BIjŀaTo|:V+cDi׫HQv@2i5¡%r"K,P>"㯖| }ЩlZ<H~n1A&wDfx'}&9tv`1AI^kܟ`QGOPsZ `ZK1;!.rl:P vuX И,/utA`#7lfguл , .kCVG#0 T7B1PV U^[ SogyD yk5l!aDGcZf+nSYGX^@Fp̉`1aI>!(>cf)TOG0f劋1Bg8Y&O=Qj8/L`uo6ż pӪW1NSǠp/}S-fPNysw9S0jiއ:/+j1/2[VnSy^jۓi:2o<8g<$|p8` A'YWÞAjyw#oQ߿PKHH i!tests/test_commandline_helper.pycW5>εvۂZ‚JMIZ.Z!l[2[ fgg۹M,x^7=x8ǞdK X>>|/p?S?A 0v k_I ǹM7-H0n5 ))nvl]v 0:v&u1,~F=MsMF,LT(7~ ͞Q2޺FZ43LERV|)s}& ,mg=d^Vs+6Qt9~޾~{'#MƋcy0P"J/fi(c 3R23f3XLL<B1H~x'n@gsߗin=ÑnCPgqT٣F_Gs8DRA^^\_|zͿPLCB[YDL?\u/1@:-]JSh_+(il@EkRo@RF{U ML @Lo]tQ*hP̪3m3n)5OKK@ԗu98j%&5x؆FZySe=H u-lQ-Y}ؠ%MaV2~,d*〣 U oc .sMDArkd&52ǚihXb!Rr&%072'i=CےXlRy)j'wh` j'"5zpPed(. U^VeQГGͤD /:|L_y`+;d8㘪L#0bjx:r'PA"PWjȅNd,REs:!iejxv(c]V:,㈒r"Cϐh08/QyQt̩i:*L"H?U|E hmfJ𚾞Q>L g4OI5<ҿ:J]cNd c4ahHq!ӝD+r Mq6<jĸOO+s5O\q@9{v|/,DJ|l*jqqs_?PKHH  tests/test_dimacsparser.pycŖMoFgeYm%[#@(*[R#"(hUU$BWrUJ/??$ZxZrͿv;?@g=^4~D/`l@ }D@߁eP@`/[sm5@Woy2}= {짙Jq(hF$(o9E@]D@1`;نNd,/Sz] `Z /@p!ϛ c f9Kf]Ai~Eװg(OK?ProGS(M')$é/`$R`ڢT4μ%Jlh^N(8~>In[7O{j4:䌭q̏=z u\aMZD]0%9I (钃yg07f 鱬nFZ(j.=MR$zw4>z5#&Nxꞹ_RIɷ F9rws9N.c|!AG5ʹb + Y埗8V&I'2u 0yGaX.Iu!?#CZ=ȝ#9\K ,+\NǟJ>DpGg_<'f1ubFn4;.@BV>ݧTiqG~%IAO3E@޿i鏌&3δ V.~Pye ޹U\ "Mȑ,єFdb*J"ɸ+03yVhr-+) ~ex*HrX9s;Xyg,kK›Ҽ8hfe:"@, LJ%t^G I~BDI0ݧ_\_<΂3s,y+c!OiMA I3I-u o9 C{aSB$)Q.:b^8y:,Ȏ,gaq\ ϗK\](&Q3PK^H tests/test_evencolouring.pyT0+\ĂBBjU $=NP'KQ%)7ybݴ /COQwtIRmDNei |.Ag55U RΡHJ}n0p_igg4Ir }S"*;6?J~lr;R1ua?#( ?V%紾:C*?;02SU2cb_`ňKQ|E:nC'te/cn^ -Hh T|>.#(V+ݛne>A,͂ j{` ?L0t&-!m +\R Z`hB)p4JRRS%қ:c?<ט?MIX;_hR^? ޫу #_PKHH$t tests/test_evencolouring.pycOGg?BCn*"CQ ERt:9ù]Fl>9vf'!~\|~G&? @OczH\H=y h UUqՃI :v^izM@ա'%o5ڜ5 )blnE "$ןi8-Ŵz ϔ6I],4 (3e>'L94FJ\=3M:ߤcsF ufT(jI健2fTp&9' fBNb 9ǁs"25FEDE^06v$dJñYȣȏԠPdSlY"D|4P?<\ƲbP}#t1 c5ނ1=fL5)"%&Y(I[W _hσ"Nmr/-cȒ#=W"M&Bh9CW,HO)l r$[oŷ %,EPjb>WZP{ѧӋ-ҊHZ/B\_H]cG <ز\LYeT%q]L_+b}ì?@\N'q]ƼeUsfjBuE_(0Fzoc.Y_.#n9)rR()'r l;װSqǵ$Hp{%nDE–_-WڷHl`7|B曲$G5/șg([c{^VxmyJ%%5U2V۱@wϝ8lGTIl>[Nk?PK^H݁hNtests/test_graph_cmdline.pyWKo0+"N A*j_ E`)NW~$!iMr=L,eA,ףBP!:lR1hBzl˝݁ p"xygd|9d"DŖ-|*a{2I"Ԏ;(EX%QFh,XqHGB_uHŲ*M,i1Ivgjqd]?3zi /+/% |%JӾmBAc4Zeӟw.?co_6O9܅2, 'J,"1t lFxA]DWubJ`8M~N^f^XlB nrc9q(G`c2Bg@#!$ 3!u'ZQ;ߔڙ eZEATYD1l=m 6]F­{~F"F TlN}C_(=c)"3!t]m;%h6[qGlTZ:Ά]Ӄ{P]D `"Mh! d[e]+,r, qr״۝v̯L i~0}jŸă YڛWys(=,ߩԈBK"LLh Uy]g@]+$@fX A7,+ C7+ (U6_м͡Qc8-a AãrJou,>(9Nr x}mZ>߬|yPL}fݲY^0l8r|R lc4tX{c^4yy]bmLPKHHw>Z /tests/test_graph_cmdline.pycZ]oW~gwgvlRMH6ԐjiRڤQ"QEIۀ֞f~yf6J.HpS$.J yϜ;zw8{<>3{=~;WY9{[[KoQh[am8GlڰrYж@&zB"6yEulܢ-2e=[1rg쬙!wN33;V&wO]atL~D~B/ Y9Fo 9z|"`lHr1}׾XqQXd_;zdǖ>m3jUPb׎L7z~ʉzVժZo{QEN"5og3 |T_o7]?V[NpꅵW.._:5# hȣImBG.cC=k-X3Zj5Vku^S)f$G+o"+֕V r8JpP i!8cp`8(B/jThɨT ERGjl{Z;@^O7[ _5D!dZ}]8ś]mxC;U$L M Ơ.z#+lq>N*2+fp]6ϳEe!DYYFZкu98 C3.Pas7v{&oQ2^yadyݛlJMo;q?:bA:B Àߟ:*ؚ֔RrTW1?ȉ9'0,1y\f'1W>- IxVxxWq!q[,2(=檒Mp^TTʇUTiċ Wg\x .F 0Dޒ5AzWVԕa+k0/5aP>eb3gX ^ʋdwF~Ld^<O]ev g262Ao,|Ь7qϼo- z-Nc; E1^dZ\ eAaHkr)Ye\G:~ׇgHzFQBd6윉(i'}g[Ozkiڧ}d6@i}Bxu2cӷz=DꈀigRx֓Ij0aYneI*gw8^5Y𢁭8[;~i{I)Re[P}ϩIi!ȍ7 oaxm7Wi*r' ۬#kS1nM>'t48$&Rx0RYd@N 吘0MR'9k!)d8/Bm("H"ޢ$GߓkX =a(;V}'=tEHCE"^=KNu7'It= )ifctؙl83wVK2u wdϮ s]*Tzb ĥ㗆 ~ L9@c(z!MH䏵;U\Z_:+KPK^H (btests/test_graph_helper.pyu 0y z-$nkhfS xsNsb 4o`MGdԽؖ6w)D$镫%\u'fɘ @ gV`=0^U], Y06d̘;;狐3yPKHHi4Rtests/test_graph_helper.pycQKO@m`G{@bBLL"L)T;UL ?@g7Ol:_=k~U[lAuM |zD|>ib2i71Q:a< X, Xj`@o5|S4NWnf,LX clpfM,t$،$eK|509Ai|PIF~{ R5ou;vӚ_e[AB r7:Se2wU%zq6܊-+²#V&CVi+Iήemi2)b($"ᤠDk9I4,Qݨ}$v<6 űD]oWoi>8Fd~E$b{!5PK^HiZtests/test_graph_io.pyWMo8W*I*έ@NrY/^@`M$8(/eIӢ ۢ g޼!fV^̰ @UpcPn`UTJ0/Wrw+7BHJzYJFNr^d)yJ3i zjOFb}lm{As^yqGŮMZ#ܱm)0͹mh!pQ |Kx'[с|j^̰?3?xk,Ƽ,&`xѲR+<0Fs$#森*x߲n+㗵+X|)gW_ `ZÝU2lU;1$I*S*+ H'Q7]Q[ 7#D? ;hΚ0!0K+BΖ~2ۍUbK\&a}(v"k6 XR4bs ^<.//*&*CF1\E0ۆJuadQ읪ˆ[1̣sr9Ȅ>tڥ4VZlqImnZ'XiO4"4yk݆vm>Fi-v5k %6?/:{X2-1Qv?7]\ y.4) 0]MU;GdjVj0pd?IIu[^/CE9VT݉X?Ol@63cׁqΚENTY rlP0sd8]FIm726ud6V"~40zv}NMe~Lag/${~(MW[l*CZDH 91ҟ 4 WFB.US\MF; {}NX{l/(GO/PKHHqM[tests/test_graph_io.pycWmsD>ɶMi@_jR0Pt‡ CGDJDLҡK7f~?ٓd;vKipiyv xG=##ӿ!"!:yۦL-NAtSݒ蔄]uX[-"ѩwVK·Dљ!}rF4~MB4w]$ı_wfacՠoի*${jv*Я簷A'*8zJL|7Cb7.>vXГhQxɣ* {{k!ztwDpuQQ󺁜=m߳E{b\:;(+o@\x <pXlJVS٢P[e|um]ҍ@;,۱^HWSǑ'l(ng=*_k ̦0u2_PK^H]H,tests/test_graphisomorphism.pyn0yYzq(hRݪDt'"bmbgm'_@Y\"&fݷa)pEِ J9sDb$\e ߦ>SxER{6*ȘtXǩc%J7#ꝋ?[)A8qP  1>]J lL6&jNrl$6'"yvQ%#$K&u?US]uidӡBTE#PKHHE  tests/test_graphisomorphism.pycV[oU=NDI[ EE*@@BiƻvzqH /^v\Ď'gu>cGYgPD7ȀnnRߤآŽ*W_MgU)QFYNFnRI~* tEtI"6,uZlN/:4=P>`?N_Lu'Pz=}VXJ./=Y,{ hl F^$#O[08G8H<'U32v/L. i˹]cD4JUt :7Ҥ n*[t^AVf}U| cqmb㾱\OX|Щ(0j^ O@w#LaS*՟S/`%PNH`<;l%Bi[G~t7mn?n?ۜ}}V0ms%2xL? ۦ Hl{0M~ 1\Y}Y= OC/]@F@yCY7k/"אM$>=<"&*ux$#:43ԍG8G/B2GD|@萔1lz;%|I` *i YxϋT4LO҇9J qO9tQnp^P 09?/"+6Ѩ~"T0ED Sx2ޅO?slP+/02dzx|xt8mNT[d,Û*\ 3]^ldfACrOټ_tPKHH7N+ tests/test_kthlist2pebbling.pycՖoDۉI`Ry.`Bڤ ĴˤXN^#]VxS.)x8{A5O;?{gG9WSZ},K&A1.lRlRb[##(Q\&f7(i,|%N7(ޢMn).|G]rϹQEM3NMy?opQfI⧁Gi-UG4Bkѥe(z -6yOsqS8p,O_4dJ0fPkB `C:$}Ȍպ_!5Zsgҙ^g|O Ug&F517To0 %:ȁ?W ?VG19bXAP5L4ݧI );B 0Qd6n8 +b g'tT L6'(''4Hi&Owû'_u燊zs,NBЍ4R#y2mc=vz{lG ?MLVE >(y^TqԽ꾦o*i'QdEѻL֤7]t]@sW7[ڬWp@޸y wxzMJY /1߽I XUroנ׷>,%@F7XKOiU['7oKy$Y#R@[1'0w*3l$jn5Zn_J4͊ÉpFƏJN; E }ܩGY>61Gч~T\F j^Wk!,qj=W^m/PK^HoÄ tests/test_ordering_principle.pyV;o0+M4N.ҡniK[| SJRGa%1:%}w<*yFJɉȊ\[2곞j$Tb'*q|c=7Pk,JfIe\ͥP0[,@o9lAPK%sm~+^ 7Dy2AHnKvRsOԀLk׊'ܑ0 QDdJP~5p1"㯒K1"r$ $dy)^s~Nt?< gw` =dpwjHT[V3e-愷0D(Zao;6-Έ>XYcj23ܽ2Iv/J5 m]Hw}xwX /:~3Uhy{:'Kh?_54 nPKHHBS!tests/test_ordering_principle.pycWoUر۴.-" @% !PRk KMv3u!AB+'$.\ qʍ8rCpff9i;}ޛof?+KnC3z'6 |M 7ioBD v Yhf,x9dzrYd\fI9v,tQ vQkK#m)p-`Wvz7USPK^HsL tests/test_pebbling.pyVMo0 WDT#+˺&a(b,0dr&)m}?Ruڡ`|$9yF"$6sm0BfiP k0bq",* נ[AYpCv0$7S Đ JuJ Ȥg~g1/az ! th{7@Q -KAz*a\SBpΰ۔>@1v6T-kC M.0Q/)`g7/%[Zv+Hod̚%X`П9ԔH{j,)JG- n@"PdZ ?b̿`;n>~[FIKvg"~|1tؑoD@c5þy{lw P<:Z5hIWCazi 6ƅ[:]Yth\7sxkjiG<:DM K(Sfm< PAd!rC,{s¶q gaGHu- zG\f$OH bZa˟[j7A2ņ76Y bjȆ!#Ó>y4Sa ]`cNPV} e_\QB^Q(~L1?PKHH!_+tests/test_pebbling.pycWKsT>'v_IgZ(Ot)ma2E43E#[׶RI.NI){V,Y+98߹z8iq웫sw*T[rCɧoAAZ&X5)(P@iPVI+QP2 Ik@"U#BjAV"6X5V?ɳ}7Cn5  ^0ċ<bټ}MzbF8'@o!8ӃU[XJޞp, Y4Pa%6 *b*TPׄ\{f8b[Zֆv$S<H1x3,0BNN"Ţx*lδ aS/ŕgSWF(9+ppTO$= ʩG<ʰbb&TGxP %fA`ҽ%M]JvIisf̰dIn/a1%svK>\i5RVHpݸi/$9 {r1 aO٫iݤ#<8Z <߅=7 TS ,-/˹h^1Nm33w~$4F^"H8EOiaH8S 񽅔3=#^`HJ#␎ j"?'<-4AzJ%pqFrqF4汼b ޙ00$./{JS̙));B,M0INs6a9%a "%˨~$UB6w:]uٮ̊M`(UKnrSMCq@9;`M^F1|a 6x 5"1SY6皀ؾNjȇFGͰ+>U"<_ŒWq U[_oC dKk ex t npp"DLV;KaQI-`g#n׈ѓCR`p=φ[䟥+EV<#WF楏wyضNJ,;,j3I)|.ɤ81hPeQ54+Ա-4`yOx_S>m<VyEﴪ BF-/#l`;^L&Qoianzy=||0~[ˋ;"ٕ1a.uogbCS+ Kg+ӓhWW>F߄YoŮ^{3w|tk#1=lXۈ?,1gއh6Wً#\/FDշe_A|co("gݷzhtv PK^H_o2"tests/test_pigeonhole_principle.pyݘo0+,D@jԗuMMTe"`lf;k  m;>%6Q̅B.=͆NsmCrEngɍ̣qHl8,Fe\L%RAXܢ`d(lRFV c"*J>iYs@";c(enf^L6dki]5Qb$ ܒZi=.i?qB Md?=DyrCDnŖ W}9S+DSE{bIIUcBb-,)-ZYgFNzØ8@9"dS[ ^k6uMΑ8'dJ4 P\@ #iK˵Y)6u1@S}:u0A3|f&4MA' ,c%Y )B/UNmC,G ЩSdt:B2H}qݚ݈ykw%ln=s;p;;5N4k0nڡ#?^z񉧱iiC;\:a xuhԻ8#\6q #~D:&qCB"A )uVۥkS D4{7DաÉN64'9xp`hpv<=wqwjDnxjV^V]+pUj nsh/cc!bzrxg^vv;BߍLZy=_ȏh_p#YatZvk{sV#$25LDcB% `ݫeFScc3 4.SB,QH HF E (d,Z5O cGvA"{N\^mS»;OH8<fܼ & *)ht~ "ƨ/]]ܷq}aB3 m=%\6UcjɈ,,KYKscPnW֫ -<z^oպ}O`^L7/HgC?R؊GD#Ղ\4Fƀpcp#<` v#8_]=/ĭed"g[iP, #Y 1r֫[UDΗg&J؝($M*Xy**7 FF}}lb "T$#RˢҢҺH5THZ?Lk˙>UZtt!݀Jrm4_Z`RQux=LQOZB~,dBU>$oPՍ2x[QE(P(9EʳMxOr-QnEk(c.y}sO˖5S W\G}* h sP*\, /IdO &~22z?ݞm3Muu\~D MfDSHAW*HR]* Sl"*sjQ?;Bw Kd|fI3a?˚ȷhV?ũ>9uV~t N?Δq'%l|Gw~1*?r |}@G 1SA€Y>+TlHX(X{όxtX/@fKSsQ]wR X&ng#12?ӜW2_ND ')Sp/qyEC &CLe` 7z]bʩ>ǭaA~As%MlinG$owJ,N< cN3 ]!z҄JZDk\_:Op9'`?yu/i%!UȊ]R?PK^HAtests/test_planted.py͑j0 y ߚmSJ06{i]dK_LɒcR}-B.wm]fŅ{a^״Шg+\*%UKPKHHnͮtests/test_planted.pycmkAg!ib[SjmA}!mڊmib5oknsCnJ뛈/tf.6Px$ݹ}o&crЅc~K4!~$As  R:6mHH]8wAV+}a<.'pdn1A++^\CAVx: 2±hZEW( (t, 6).= ]1Bt9ǎ ?©'ǂŠ<OitCL7ܧ, #Ghf;|GJ *ZGя$\? cmiFsscQo=\WQnf̚GLn _U:0Ċ`&y&I5"2L R`$Xah Y.ppJ8sF6 ;D>L\JALpcf(KUf4' l7HHB %׆tj$](e2yfyN2D,T|z1ZEIq0G2iIqɹ'[+馹67<ւX֊[9p?_&ý?AИ-2q q&ͻ:WR5!Xcm NxmƘ_AܹȖ6|? R,ld% Q]]MQskZUzC.Mx/4,s=)<˸ 7DjXPK^H% .~tests/test_randomcnf.pyO0+z1ċ]4bLS  P+cqK}y?Dg$ɴ%'B2mɐL=?^m&\ )zeSn'$  G`,*q6Ƭ КOn%vNJd{<3s;3sv?7k۟G+lb JRA]AuR.]=J~$وktmA&Q HµZ'I|c`]0N8U ,yy%`<\qh6ИȆ=xlxU|9@d(u(Og|-?ZN;P"оn.iZ oOEq2?:z'ThQbyv3OFXfh|hPz6Cd/܁U"M/REH=E;hC,4twE{.NJr?UE=A~~-k>Mn|V霕eם%kԁע4zٛnjdIwj*Z[FPKHH45h tests/test_subsetcardinality.pycWoE;8q%i $N7Bu>R R,U\z?5q/W'`fξkP-x4{;7Ÿ/ߜv! ~(lW(BGe]  lSD[^ 2tʱ]o t*]o謠NzI~x s 28]'*:㚂$GqL8mEX+zKOď{l '\KC߷sdxt3w`EEYss'3ѥ(W @UX)h))E@H)qR+#d' H.TUu^p * U9m'1jRE$ <  K ^-FKzzo1$lhE<}fBnV7zcgSVs%'XaN`\eڕf Wi%FT񏑡J)2{12 L8(#ok`7<"$?`\hc)0YZ#cX@ȝoQF /eTHx_P.mQbp֔ue.i5N RyF%!oƤ)08 |z7M4]}glĪ7^y cnpPW4C.^ЂG{$6>K tQyzT#ՈIF%F*bq5K$7-]GhϮH2qs`qrX_ŧXIb˹,lPK^H Ptests/test_substitution.pyWn0$m؞*VmC*E4TNU& `cJ ̛77$d` Du=@!Y)ۛ+BXaП2E'Y `|%I!Fx`r}͇sFО6o U{%ϒ1%;qfUΒ< PG"ws쐾$}=PIz{|#*i_5r;{ԮKԥf7[|o ;"%ћvaJxjngQS56]DaSPֻ d0 %[Ίe=lZ)%x/ YarzϧL7ן[L8A"9TI qY@ڼ*T!V+!AWr+;Yx7>Y%R/_ 8v%$3ofVzM48#:3`s5pL0ř[b3v3 Oe>>D9"yxy#˾nx }3`L G2%>!S}:0L 1&s b:it8p?]^p&ZK0IրiÏK.8l``F"uN (fJaW3c?|?m߈V8},1 C1:xp{ ?ar}Dn:r/1ԧ'Qց{K(z:zwHwG^"u%I2 !; ޑÈ~9>UT'x~7y? V6 !Mi7D\mEb D%Z>_Y]) lE |,,l(0/*5P Թ9)F,#ڌ'0JL+7ZFF F F͌3mj iQʹ΋]M;!* W[{-feVx7_;Ǎ^nhZ-9 Ts8BAU8`wQk(gAaH)$]/Pz  ?8gүQE*zvvj2iTWKjirpNO9I56Ѕ=Sg/xeG7hJ9xrpf~"E]-j-ז8eJFn&]Tm"UJUN(c3ތ~!*1ʌʤQdTt6⽢7d!'Mگ#ߡ=&/+7,ܩ'Q/5fŊLh|̢fa˛h u]덤Yl 8KZjf&x~+kntz4p2>YXIQ]Chۈؠv+u:mWlN-m uY 7x>H>˴şfM@`yNe*d=%S#%8m\tw[Inln-UQqA Ap,kJD9M4Z"ujG! ~)-W1ka))ϊ c!9c,/ͩ}] He>YNG A>Bj䖴}la> Z jЦttUe):1zc3r ێz;c;2\W c5դl@t+1}]X= ɝ US{Y6-ްI,68^`:X`tUݴ޿s!(B\A3dӑ\pӔ{DX5e{ 73"1`8ZMajJ=U!MKB&EUd\A>P`]9 xrИ Jh SzZ[E%g⿛X{ .L#w>#P)+}ތuOpgTOgɡY ^JʥPKHH,_]ښ tests/test_tseitin.pyc]sFW-hZ藇CR0@hvL=jvȲ]ӤCzC?g%YvBJgZVy9盝>._TD,]KX-BGĶ:5ݯ"Uѭ몈]uEVn-E!BWHG-t" YFѺ4-wxddk'q\M@IӸ7 (Elb6c>R`4{R TAP`λ.@3xUPjQid5+EeIx zGsd7 ؏,صm N%1muVzIZk-mHgr6ı?HLOX=AO'Q(9 ]*6B}CI77Htnu߾uS75AqkcC 8܆9\us=9l& rS1kNs>5y͜"JXFgĪSYp@1v>6J/ÁV5Tq'ZHd<ZC w]Zp(.E>5ü:ϼ>|uļ1|9{ՙa&@o|Y=0B~:M`mަss1I5zcO[˞&F-Xl#}Y L/nh,8ߣVQ1~z6l=[\f 7e>[;W:Iv_ =alϣF.#$֨ig5=AZB0B&iĝX&b'gAOc2,ӋR=)K*ʼnjs @lU0*ǑGߋxE䁅}%2 -3s6у?hCϘ:5d/{Po^FʬE23Ű͌RQʩO,t#D].g20|x bwpt4 ;Iidk°;Jo< m O}G$Kf$l͘ͅ)3F^<0 rFh4?Xn,5jJ')80zgCfT?$ f iS}<$H" &Pv2;z8=R|nBt_ɼe|πdQ`Qw:pK-y4H$-0lz;'9٨CsQ:vyV%5%ahܲLyWI.eg(pz.YZ-}PDqJwdDk! ~5cnfformula/cnf.pyPKHHU )(*Vcnfformula/cnf.pycPK}Hw G i~cnfformula/cnfgen.pyPKHHkī cnfformula/cnfgen.pycPK5HR[ycnfformula/graphs.pyPKHH0B;)rcnfformula/graphs.pycPKaH'Vcnfformula/prjdata.pyPKHHĨǺcnfformula/prjdata.pycPK5HG}cnfformula/families/__init__.pyPKHHu jcnfformula/families/__init__.pycPK5H%cnfformula/families/cliquecoloring.pyPKHH ±&cnfformula/families/cliquecoloring.pycPK5HnT@Lcnfformula/families/coloring.pyPKHHӘ_  cnfformula/families/coloring.pycPK5HFcnfformula/families/counting.pyPKHHyKeX  cnfformula/families/counting.pycPKrwHUo$cnfformula/families/dominatingset.pyPKHHAU- L%cnfformula/families/dominatingset.pycPK5HTv'W#cnfformula/families/graphisomorphism.pyPKHHi(C(cnfformula/families/graphisomorphism.pycPK5Ho W0cnfformula/families/ordering.pyPKHH1RF  .8cnfformula/families/ordering.pycPK5H>e }Bcnfformula/families/pebbling.pyPKHH]# Lcnfformula/families/pebbling.pycPK5H3T*!!z[cnfformula/families/pigeonhole.pyPKHHƾt ($" dcnfformula/families/pigeonhole.pycPK\uHj.Sqcnfformula/families/ramsey.pyPKHH#vMVwcnfformula/families/ramsey.pycPK5H%8cnfformula/families/randomformulas.pyPKHH > _&cnfformula/families/randomformulas.pycPK5HJ  cnfformula/families/simple.pyPKHHv^ғcnfformula/families/simple.pycPK5H[lcnfformula/families/subgraph.pyPKHHꗖ- S cnfformula/families/subgraph.pycPK5Hl&,m(ڬcnfformula/families/subsetcardinality.pyPKHHkT:)cnfformula/families/subsetcardinality.pycPK5HF_ cnfformula/families/tseitin.pyPKHH!cnfformula/families/tseitin.pycPK^H Th&cnfformula/transformations/__init__.pyPKHH#;U'ocnfformula/transformations/__init__.pycPK^H  { C+cnfformula/transformations/substitutions.pyPKHH&X,cnfformula/transformations/substitutions.pycPK5H&fI cnfformula/utils/__init__.pyPKHH7vcnfformula/utils/__init__.pycPK5HH)8vncnfformula/utils/cnfshuffle.pyPKHHQM7 cnfformula/utils/cnfshuffle.pycPKGbHz #cnfformula/utils/dimacstransform.pyPKHHVS $ cnfformula/utils/dimacstransform.pycPK^H3t $cnfformula/utils/kthlist2pebbling.pyPKHHhܑ3%dcnfformula/utils/kthlist2pebbling.pycPKe`H! W58cnfformula/utils/solver.pyPKHHo%)`0?,cnfformula/utils/solver.pycPKHH2=EGG-INFO/dependency_links.txtPKHHmc>EGG-INFO/entry_points.txtPKHH2>EGG-INFO/not-zip-safePKHH}^.0/>EGG-INFO/pbr.jsonPKHH>HE?EGG-INFO/PKG-INFOPKHH/:%@EGG-INFO/requires.txtPKHHPښ m@EGG-INFO/SOURCES.txtPKHH`BEGG-INFO/top_level.txtPK^HGmBtests/__init__.pyPKHH & Etests/__init__.pycPK^HF8Jtests/satisfiable.pyPKHHye*Ltests/satisfiable.pycPK^HtL Ntests/shufflereference.pyPKHH%MQtests/shufflereference.pycPK^H(?Vtests/test_cnfformula.pyPKHHX-N Ytests/test_cnfformula.pycPK^HNn$|v]tests/test_cnfgen.pyPKHHqߏ $_tests/test_cnfgen.pycPK^Hq[̣#btests/test_cnfgen_transformation.pyPKHHIh3 $dtests/test_cnfgen_transformation.pycPK^HShtests/test_cnfshuffle.pyPKHHx\mtests/test_cnfshuffle.pycPK^H &wtests/test_commandline_helper.pyPKHH i!ztests/test_commandline_helper.pycPK^H Ltests/test_dimacsparser.pyPKHH  tests/test_dimacsparser.pycPK^H tests/test_evencolouring.pyPKHH$t tests/test_evencolouring.pycPK^H݁hNtests/test_graph_cmdline.pyPKHHw>Z /tests/test_graph_cmdline.pycPK^H (b0tests/test_graph_helper.pyPKHHi4Rtests/test_graph_helper.pycPK^HiZtests/test_graph_io.pyPKHHqM[tests/test_graph_io.pycPK^H]H,tests/test_graphisomorphism.pyPKHHE  ltests/test_graphisomorphism.pycPK^Hpv;' Ytests/test_kthlist2pebbling.pyPKHH7N+ Rtests/test_kthlist2pebbling.pycPK^HoÄ `tests/test_ordering_principle.pyPKHHBS!"tests/test_ordering_principle.pycPK^HsL otests/test_pebbling.pyPKHH!_+ftests/test_pebbling.pycPK^H]tests/test_perfectmatching.pyPKHHzZVJ tests/test_perfectmatching.pycPK^H_o2"tests/test_pigeonhole_principle.pyPKHHd !Kn#tests/test_pigeonhole_principle.pycPK^HAtests/test_planted.pyPKHHnͮtests/test_planted.pycPK^H% .~6tests/test_randomcnf.pyPKHH!+E tests/test_randomcnf.pycPK^H:$ <tests/test_subsetcardinality.pyPKHH45h tests/test_subsetcardinality.pycPK^H Ptests/test_substitution.pyPKHH|9.Ltests/test_substitution.pycPK^HC!] <tests/test_tseitin.pyPKHH,_]ښ tests/test_tseitin.pycPKpp