SQLite format 3@ /.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info H+T4 ]S]Girth_Chromatic:threads=2elapsed=67.211cpu=121.728gc=6.568factor=1.817zXZִF! ,_]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıa븙EQr"öMIQ^ďӱSv7@ $@VMx L{H@`1WٝE?.}5#Xʅ*vOYBWWZ;k/vݥMfҽ䑲Afn;rt K7%ibU.KS[GſȕP"lj fz9=Eix}zkT jh}1|]Ptᓍ̃~EDݜi1w$k^FL P)?1yyV5,pkW] [b, xu5M8pSRlx)&oN^2[0YԊ!07#epU oLMXQ]+8mjR\⤧ѐTf XP= ʾ5HBӋ(1dOAKl/4v~l8wt@.g++^ȴ4> @#ȟBAXI{G(5K&Mf0-]r:ns iOquprϳཱི77%-ci8,-ӹR@* &ĄG5RR5dF=TU]sALAOiM‰š.j<ó;+@H*;{pNa5RJ4w T3lqnZ!*gy|gܪUI8EpͭS` ڿwT"KxrJcNBX§r&xi"9PFfe5)QFt#|"zd4 L;Q DQ=͇J Iʗ2;kE_LNi b=}] QsѱkVB04Mc&FE/~X\B"qԛCQRhpލCk;PAw,]Lk2gYZ7zXZִF! F]ŗXi%;Ep/fN2\Atڃ "`cdJh؞ q;3,p~GSmoRRow(c8v9zwaNQT:jJ-j(-%0:%9~[q!zMS>.~պufc(:5t gT^wMkzy<P&WwIRg0|構Yᦐ / + Girth_Chromatic.:+[% lGirth_ChromaticHOL-Decision_Procs.Approximation_Boundsdocument.tex7zXZִF! /]A-MՋhvG"uIBm5=͢) D(Bfu.# Ҍj t * τFߚyuؾr\XȎ#h-fċwjXH ZAyXw{iUZWD^:2EZ h̜t2\:QR@NϧӝU#BKvso n~΂ja&\ZaR M0)rdz::QH<֤N/ly-#y^6 dѡ߅;^ (Lב+uQA7LˆoVngpU2nuCZ*JO!v;yوkw+Ynr`Di@%\R3q;`W ~ztlsb ÝSBs.䕣8:kN@(R'5M ޮ7Ve.>Ei'Vv73blF@:8i@@D4-(>籂O >5?'d=B(XV'l#Fk>i}"ܤg`T0w;kbl @+/% $Girth_ChromaticHOL-Library.Floatdocument.tex7zXZִF! |K]A-MՋhvG"uIBm5lk)1ƅ6l6NƛRn$W"鏿m> vFV&]$ ȰB&-Ė[|5:=:2a zV<\ a3!xy8s@=l|dҬv"W#'N5 Rh1 *2[T T妹"!0 ?\#?dGsu$7d6WO\9-dśۜfD5"lԑФ:8)'! wqWBuvh\=7/vb(աZy: %N:v`/# d=GUQq|+T rHsMD,i\M*C81s8~k4(g4\QK0FඏNFQWi,SG ft8 DNPm ΍/BE_&UH>P2 0_e{s_^6 |_4D/3m 64F>#3v+TέIӨ.:.0I9ݱ.ЭlB3@*xƝ a [irX8,aDsJ,VRvXS8J*-wА-v@ʒ6kLZv~}FWM)3UyP#QRK[Z 38m> Z܈:%AiN$z Ac9#xijDeA95"OlTZmeUw7*Q+bq~7SJzZxZt,r{=~RhmjNPh!?  |',C.ȓ hNyRGn{pd8{ܳxPŁl^AX b^9@C޶#ZyӬޑzq̕\ w)ݭs3VZ;S]r6 { Cre+йn'pA>ba<U%8 綀,6aU5t|Gz&5"4 v~)sl{JU̷f#w{zwUTL\S3w,|K7{w"-|VD(t8(T[hV ;ctI5qQ%XfT"b'Fljiwgtȓ-g3n]+l70'Ԅa) ^S+B)\,f{ƕW:aFxw1Ⱥh;Y* @{ @4K:I<8nnTto<%@ŰTf\ N>EbRTIVƏQ昞g6:WvN*SR5FSx°X5@B#%Y|j QҊ`tZ_3~*sjg]y-|R8!*Cꏫ3s6e6L_R!4}}PZӺ??uXpJ=',ڧE~;3xEmW;ϹJTMONQgQ_>`h5ztHwLBY%Ln[榖7HRsZrHXdHQr8ZYQCJ'/*XMu4#xI*D2ϟ u;u,u5ZDh/8tUQ/ L2O!/Ϭ cta]S-fU!$*J`b{Xh(OSÜGO$Xi 3<ضZ)N Ky]& ͐`8pwS-NyS Aʮhޞ{'8,aj1"Z `ֈ.ȄlHCVIqxEϷCqͅY&Qf5SZ5F$S s8#|>W-r_<-v"`"TA h)}izp);|ޠs-C]L[h& "syXSn YS*LV3hFMaoap^4.e$7lk9ue- meiM3j ʦePbRkHbnO.51 Ԕ]ow<- , ) '%!  DC O }>+G%Girth_ChromaticHOL-Library.Code_Abstract_Natdocument.tex @+K%Girth_ChromaticHOL-Library.Code_Target_Numeraldocument.tex <+C%Girth_ChromaticHOL-Library.Code_Target_Natdocument.tex <+C%Girth_ChromaticHOL-Library.Code_Target_Intdocument.tex E+U%Girth_ChromaticGirth_Chromatic.Girth_Chromatic_Miscdocument.tex 4+3%Girth_ChromaticHOL-Library.Log_Natdocument.tex8+;%Girth_ChromaticGirth_Chromatic.Ugraphsdocument.tex=+E%Girth_ChromaticHOL-Library.Lattice_Algebrasdocument.tex@+K%Girth_ChromaticGirth_Chromatic.Girth_Chromaticdocument.texF+W%Girth_ChromaticHOL-Decision_Procs.Dense_Linear_Orderdocument.texA+M%Girth_ChromaticHOL-Decision_Procs.Approximationdocument.texH+[%Girth_ChromaticHOL-Decision_Procs.Approximation_Boundsdocument.tex1+/% Girth_ChromaticHOL-Library.Floatdocument.texi!l\JzA wEHǢ-oqX}qjc**vz"@{Ɗ>ߠW|.< M5JCZs>5My ,\ ^NC_b98<8)F{۲:.j2 D)_/b%?2:@oU;`1(Ǝ}ߧ*3T &]H>^)ETE(0*+֔E-V{g/M:)5WK?4v>J B* Hw颗I應8SUUSex[tiOD 9X캞xŻփU: @F }6.CtXdP] .K%uӁ4Z@ xUP9 /HRE/.ߋʖ^к`Y!WAT+ }_`GcĜpc~EwAK׽ʽ7SrKp-1F񡂧N_IHi<>DAcj:3Ohcpf@43~xb ©̾;dBߑ8U6ϧg fO]MXu#7 ã CyBҼs .7ڣdɔFuՄ \e<(ɞhH{/upV]{B8cºAsr?7ƒ>iqi~A#٠suN<4O l/% BwNa:ShޟM)=jz\+✉K4o$w'_mCJշM?Xnڕ JͅR,@ r=7V#S>N8ߗn-='G]N( bCjMyT ms<ލ[$ "Qf77͑PeV]GWr"(Q6dJ7"XX4),Lh %ܨN &ĭ]\<3sYm߼GyU"/ iel\&1q$l cTc…xn~H|}$@?ħXK$G ߙR4DSPu~RnlB{EsHe8"5DM Xw7u/$#j[,JS.OUog„g4'T8elKsy9jn-{~cռWQybl ^Z!.w ei\m'ɓ++Е^vYa1&gS.ȶWQ&iveBJ}tK>G~,]c@=>XV5Pj"4 k#I4JsKҸ${]|eE>r`lJ7dIЀ7EްiDW2 [wʨ`DLutT{i5}ׯ2\w"IV\iH ׬P?<2Z X㢕N*^,ܔ_O&`ʃZ`!m#~HKuCu)iNZHKKxSZLWոݸAoib%[S<6s}$ےkø:S hπ~FoMF _la?qOlRud@ :AR#_(D6,2YyPwϿ97Lt@yi+>[+To\sYS6v\d~P.Rdڥ_dч~grY8tB*7e-4d}418jdԠiGˇzиgZ_xgƖwi \uKGx~L3jlrfD$蘲F=Y",[JrX97xtVH=[W̞osvAm%Z|LӃ d|Gh..2W*'6:%b 0FW8A4{]E 9Bˉ"c+Ѫ]WM t w=_ ߅4nL~*s1%9De3AV=^Jfg.J-_dvg0>ܕ i$VSBe5]? IuzygniRU3Pi'GzZ}]Eۣw 4G7uUm7|CV站/ uvO6,<#!0{]5NP@4<խ@<U6!fv2Н\fOHLYz(z?'c!.TDIsELpdM8PYA^!b[ZVX>CU fdDEUෂj6|O?#4CU 9('h ?g=y1${`!waCXGeڳI EkC_GvNjs|3`Ὧ){$3?%O'5]P -a{#|:saP߾Y_Ì?:\47aHp'dʑ\9= t;P,=B-iԯÚZ[ z"Z ~<8\pwgqI2U  7 t!GbkX=c2(a92^piލHӊI 7,U=sK\P!5>;!1 .&.28M70+0W:Cja^E垝$\*g*CڜT [Az|DY^&AP3` rTMbVj(q/=Puc,R鵰l_h~=<|"zZ!X'V; hw4ek-9v&Uv(.Mɤ+3*B2 ;X5gϻ 6 b*- !9˶<W4a!f^y5=hK{K,܁> y!\t{g@eOqƝc&U5afC|Vg -8ڳ@o9tt|$U\ G06"Ŧ&5?$  `F2>FszYVzs×6ѿڛwA9>5"rFԗ> s[c3 R!i`AJ£JkYp4zE1##_m8qoqg,-+{6f >Bxְ>qD{CTˬG,T(q3Rxq^g%mI&u5輷AFg|y_J_'{YԱȒ<d{M~^gX9j;o])/T׈?7I`2JKׁO^u=CiNzP0痂=g7e\V[p{i#b&*YKT -o7-q e"`TXa[Y|J&,p./qzkw1O;{bJV.n峤jp!%\N4\nTSW>&} neU#ģYe\Dž&p7faKW]dzMI!?|Ap!S5 txH ı}@+gWKTfFUCΖ??]y8(~Ƥn`IEu?.2bsEjx;ҧ{.-M5LOT6$J[HƈN< Zhp}]_OP`v~(|8J0kDm#N6 t1dEyOٰa|ݗqg_8*&E 2 ɁK<]mǿjn:i? xJ k!K`)˧_]bIl0A.5SIQ!#6o~"|[͊y. ps!ˁnS*[cҗ|@% 1TMPIRׄ|;-V^s Hը)Ӣ;{r՞tMOεQ%u 놑̳{ yTlQgJ1~gI%}dTsE81r0MS` [3i GBLAtwu[bѱ@n|CQ>ҽPaX)lCi$wrl4C¿=kiMW*X}FI8;D=}3.XW f<\0E޸ [4 ~R :CTQ~+[iNtUUګ"&4@k)AR#U-aeLjӚ}FY"1[Ȇ'W%P6XbN)_f$,C놞cJǀMz_ogC\~$hg̺_=:]B'qC5u5j˕Z1Xh^SA$KJ#.~ÕlzetR()=B@{Pevd/;Xyd&`)mqOIC柦2a92O#OUAD{t gp{yY-廛p!)w;nmd[yC`w;u3@f9lzTJ+(,2&| 0(2n}b%kE\_=W0VMW4 ?%ĺj%53 0 6̾t&ē6?_, bԠHOHW0s&;N$7T/xPAa`$G餄©ڴRx;kMz~l1kl700@|K⹨>BЃZ'aS89k.IUqGL'j/F]B6;\Ù3D!n!|ukYȼ]f&89Ta/Oys.^yR}ؚO@y )pl}8}&SN:33dv9Hy=˳MX'wu=5K4>/Yc/M<q毨9/Rv@w-,fdjuwI3S?X.RDSlBAՕȧtvgA?sr~: X8+vXR KXOפ&mè[8QC1hvl86Apr^]v]g#[`! ,DKssvzq *A"+b;BKsQpV*MW26p0$(U"*tVʷ?TXpeI&:h,n 1j xSxfZTڞ!b-j֭(d1N"xΛ*+t7D84gm|"΁[$LY 8 )MEגv[82wԬ՟WV17ƒ(brF5p rv\&%CD^K7{~cԷZ^-Mׅ3/ʱut%o?0SO"XXk}I}Q 6L#h(m1@~<{ 1poc>fQp2-?٢-o [dtfBKTmdkg\=r%src-B`OKX=]o€/?qrk9%%|8T#0}v(ҭu GtØGG|a٠Dݤt'o;6GwiNθaŶ% =v5zF(dkuƼkyD 1HT3c|]bi|fR0NQ<ُ %r@C%?>T_E¿I/ ( ?S6=Bl ^zJ+ ,"P`[q |%-2$xm7]$RۄFud.o&sv]j \BMɈZHg3=և$T5ySRB}*|ߖ?n8NHʱK6P!:1&KEN%sqn']臺~GWIEɟ;4QY#) }A^e.ׂ[Y)c{I@]^9 %7p:'Q&G9T&ZK*Ë9|Cz}SM"(_}o^ŭ-kw#t)T+<|_uagv=0w :衷fnʕ Q,0 Xcg"gB:(z:LcnbbkʱPMHxlq !YP` mR[Ť 8ikcF;I 9]Jn<Wn^}zR*4RUN0G6~[}_.RK)d}BSb۱-уg, i QD ޗ»$|$\NT2tldR8nwWê g~o-t,WiThuu1Ԙ0&uEݒ"X0ܖlz=Z8۵󊡆f8ŽinG<)(ʕǍdT/2K$2ɷPcޖHz7N6$^(k1̨5W\IgFyҋV̌0ᘐ;Yf`Η1Z8q~GIw9^ Ő-6{,~ m.Bd' +%5,&]3BG~6-Լ !'Uo}Hq|50=4on]P v@ vϘhđypo]<A-~fnt!RyʯLrt' )#{Ӈ7?y $ѻs %PBgdkaŹzIη!c{e,E2~'kVdK:C. ʹQ; zoܸɡc0a&֊Ӝ;rKn>tmͭ8x̛uQShގd#n34p"UEg5CuFfa췚' wC+ǦLoPbbcұ'"AɧYuW=O ^GwR {Cf{_T5Ǽw4K/TNvFULFn;|Wg |ŝMaY VLTV'vMi `+ܓRJRXxDIgDg`FVB-DlҢv `?q)zL eOWc7o J.ز??E I+?&9iqߐЅQ5)La,X밒ƒ꤫zFYbQ?.< J!$"z"̛LISPkYYęԮl|g8I۶[AԈwe _3%J/%݂>18S 6Ea˭E'8WjI1O}f\T.U~W%QoV8.z? e5`uR۫;\1('^(8E=tOpO\X]C]\nfwIM2FyR;I\ob K9Ƌ:~z# ??V41v$cX~bIݟS's 3JmUXƖ|'tz=~Nz@(\74S,+P*H² LX-{B{HwDp7#7Du/q*(_b΍9GB)}Uen6"‡۴S|+ znŝr:%E\A%2DUx 04^~[HMX I5:˥9 !D df {!mĬ!b6 :O7XT1OݹD>HqŢy6x Mo)HTx?5 %vV˳ Ik!P{qݤXvIV፥bwK% *Q}c 4>tW3QPaE&.Gv`ؙnҟ|H{YV]uPƸY9<*>];[ƍŸ|3GFe)SAO)/WSKB^JilbL_h\(Es:dFy\, XB^K1 R=V*H]fw6r"'Zd=YEqGA;~'M-L#x Z&F-8vF/6Oc/aoMZ0ǫbmʘEZ pB2 }7e(1>D:'JnL"Qm82=Ol7W'yqw%%j|Nׄ+MaTO2~1.ܳie?M,5AP&6ja Vo(ԍ/wPB |_`z**e:G0&([B3\y㨊p,{49W#D"&UwUzjizjar6.Cm8#T$ԑ;c듛t?FZ.x j6? ^GsQ,S;L3 n@甴}? 2Ͼn!K<ldr[!eEA;kܦ(r%8zУ jvl竴v<e;L32!'aϚ$Gʍ]~lkوkui'rul^ݕX!?AOiνk;4o" ]5)q5*YY4@Bn%y6"t~U/m}ɮSR˜(޽aAʔj$hmTa5y4^&pn?^g)\z.܃='\xo܃4x()r1 `?b^B.撚j T13/3Zb9fQx;/We?Yyv#; NQ 9C1TVʩƺo>3h{?Kpcr.!F([9Yrx|m? 8jt45?*5"KLˮJNFL)̢|be7\@d8V̉6ua&G{Z{# 31L% =:9R1|kdC#%rY[B|Zԫ95q3l)` 9 ;X{6MAas<)]d1y&ddwB}]xZ K?@qp֐zWbb\uKrαAsJGosgnF#)]j8kjg]ptL|lF.ݠuJ' a#=-34[?f ZA}kla>wuEݙzY}sQٱI }1HA7?KWB;ubjR7MDxuf5'a̞­( U¿};6~ Q+ؐXt3ʾѴS3z*J.SyH5W AeDO*dD1Ix- ^V#%S8}{'/Et%!6-S$b]e%l_!VOωR>/{qO8awER{I )䊣+s04쐀ǭƞ}fmHq@ެ𶎜t\ٿx\"xoU2ksFR.Ь5& Ņ \JX)KĄ|B_2YHsE̚U*'Ze}'sXO_JXyw.x .~5d#*xqY=-X_ ~n9ق&(-zD LdF_>O ]"U?hD t_19 ܇(t[s4޻85$?b$ɓt*qǁ4\|&a~*<߲KO 7;2y9}ط޵X(ʲ;a3M 5ȷwKtAxaO!<&wʰ3u34Z;I8g S\:|u7R2I?qUDV5p"0ehGNSZ?'>W?tyT l97@w)3篌(rRƟ08 i\طqVs^t"";XoEi)N:< cD [i=ғЕU[sUfspF| *#4vqNctyʾ#x/HM u$jrԛ\G 8:r"Mb U8Z$$W?psCN4$6n%l"xiiU1F<,"i\=S (C,gspө؜SEٺ5Ћ/U8ž'-.iVGpX/nP3zRDQ@|Dk//& <#* Grh["3< Ld{j]۱,/S<ހ+渰isN/?ʭ v:d8HWһ{TTu+vYtRYܕ@j".~jN0[[ ִRDj'JtPPuؘAn4/J Z6 oDuVa$+d2𭷚~}#Y^GmPUge#?L ƥ/눿ؚ<>#t*WުсQ`ċKzʉ_l&T˘*85kR #sV[,D.E<~N/HP!Y  ܮr1 :suhN K8sqN`ϫKFŌCn M~,#Ea'K7E QQg5;n^َ/fW[ZFeg9˶Ke˄K2Ô#w6 & +/H !ԇ赟R/h:b޲ R;/[8cTcRd&4>6x> H2ş 5:v(u> ag(Z Yj3V/'\-&2z(ObP1̚-A n??.@'||!`7rNsO`lSѩ&[gi§w<(J|]l+'qN=Xh00Ռk=ﰄ]]y)TXhG.L˴.~}m':/.`ЖT[ہ<ӿdd_kO7|OWuܕ}lz]pK=>|5I9/G] n@)ZL?Aǃ#摲ݠkP,R`"u\ 6|-~ZS}rY} ]='0|=O3iPG/Yp7L}:e]XKr1^y Tڗ׵ c͌"V5E9a r Cp7.6"Ńc#qTÔg8=Hέ cvT-dDBIUfTOM)M^IAWs46u Kwt~b}˴̘~Wͫ68Cl=aZL $ߘP5]]@%Eq5rzYXoZJm.uiBw52O6 ȶ[\_)67aw6EРd `ftb%I 2߶:/*Uބ^c`L|8XgZ8b(, 'V#'Ej;yd xr~5ҭJ7:|xN)184e/Fb>]l˅!)glSPeIT37mJ R2^vK '%@JӟU)tKN9hL)O@xa5"87lKj*,WI-{4ƽgrjQ/&Cɗ4o)o=ֶ%bGk'Jnj} *~ 6;nH3sT+OKͽ@' ɆP:x V?ynST8u5 ȑmUf"[TJ$IT*tPm"@,'[VzZ(셶Gpfb%U#+g?bE(ϥ)*]R4)\Ӌ(?a\uyHMF`'qfZΈ34M^P/Cy~0w#Y=wMBgQ=]_ػ?5Pu\G*wMc(`wR(š9ܐ}ywHN8CjDNtTݿQǁ[%EAq>CxPr `]|N^5ɉ%NiҽE)+<<)szQ: ivFy:~ɶ3;XL+\[Zx>uR,?u ez" Rvf> @ K0Rs֜= U &m )PNX(DڹmޅXB/h$^Q5xA7"L 7:2L.oh.U=t^9(oX8;A -뿭ѵŖ%'|<˸?i ld/xxד$YD +> IuM(PI(},wG >%/0l9Z)&:)ږ=60GwS<-lVAӽuHMN)g4-~%<|"ٕfn1!b'6aR|Yԅ`A&lޓ7}n^W9M>\A'ݎgK6v^64Ci/"l?1)207d9ݗoo(wz{܃;ɑDg~">&o<)NDy\fR\t&7 vA/?k8LQM$ k:IXQЧ#"ƅ毸:e&3\W[+5rkꢢ潓Q-&Z5 (". vAdupgȘc3| MYd0]6D ƔXkًD/PLWV-?\cƺm6Hps0z&JƤ0\4| 6OP`떘ZӦzb"S/J8?r~9&=<ÔLhE㛇tUEםvOg-2{ y)|lNɲBb|-> T~ω ]VcgԞk[w&/GE87\aV0ja|[Z+Pw`!zUf6ѸOB2W?*xͨZ(c<|.z&~wtȿ`5}P"az ۜDr4Qwt,yLjF|2@}Ճlƾȡ$Elo]OxhVϩ9zQf`M!Qo[VOҒ+þ>#K@rEYi:59B])yU(J^. vP]!,ׯsзϒ'8uœ-3T9վ(f}rr%U&y*=VhiM">'d`8T`k c9Cv-"-( ^PkqBT@Jx-֖wC# IhFJMtH%Z;\t0 x7"EfJCp0K&Ͷ@N̡PZ$?Grɓ|\tXqׄcV\0Y"?ߺ`'1ջGdq: & p%nr\O;N8ݠivlճ+8c) ga缈6"CEI!kW)i(5+W4 Z)}X;!/r=M.XÀj Ǭ鿫`3ǩT]#!L,z*8mmMQ/ rC.ӫ|iYIoHIF>gdj@ڲ0DB,% W-O/C͊$jv*e)KxVT5.ۄ6p8"幊RHXnٗ4w;ct3. +Q! = Q(v954ݙIa25M= ^9S5l=i %bWBR{t-Tg{ju7/|M+~3"9auZ 2e 0r,"2RY盯Kf_^xge|Rp_wlS$Ot u9dNқUVش4p>mgIKzD@ 1)"QqKaܚ| p, `|q6<,E eIxace3u >f⛖C@ w Bg aKƦN,oGL!u>ʏmWɀű> SNlg;A_~]IeO tW[xyk c$e@Mc .F1dž*1.׿fjֿ"Y+ؼӌwߐs$QND?K<& Q+ҫ/5\JDm&$48)GAtEG&86|~D<'a̚sonh8;Mv!'o #tyB; ;`#fvxČ /e1SmE/37^_6rf`'4,͡!^=C{a=>䝲w8?RW$a%斩V|p 5W_6nbJ p V ;YīϛK#|h^]Е.\nԵ7FLӫDXVCDųZ@t)^$md=y$ud lcϤ9˲?5j )U5Фe >Q HV#x5Zf;HWf[=6)]LҊ)Y}Vn w5Do'vJ=mcY/э$(X+94آ 2D:e߬,)س2hȺ& A&q6S8-Qzvfq[Yʏm5ݖ K]`pgAzL]3"O[w|RlྜྷF VnDD ୢN9K{ ʥtPKCpјDynemo÷Z 0,B&b TlcT*RޜCV,G,8s WXw5~BZAnJIX 52@If 9šHj{ON:ޖ鏸;0vZdVݑ,eMq|ػʃ\ȍM{ݎfSOL KxQug :9(CvmY?T6!§8V<`J`][?'\Z jSwfrI9=p@c jҦ@etL~lY Sv]u5t AyK^d+@Ov}=^tP -VÌ?R$u į,ԼWNM*ϳ!py {wǐt%}Uѫ 賮XS[\4mE(K*+ e|+\[,⺪2^ԻBE9acGhПH9]ժP@0\kX)K(iuE+ޠ Q砢u6`W@K2&w]abЍpkf-_,VaRŹ`䂼VȽwAY?#E&=?^1*TB|uEq3 @((;@WZh<4!9[>ɦIݦG&ʤ ΦFɹ%yJlq0\MDDRvL% i)VAAfHD֗]:Ƹa/m5&<]7E={cH5'yH%Gj$йc̷9R$yn6 7VEkVa\Y>KKA#]-!$]#d^AHa=/$Y׈V9IgsIEId&#UGиCVT2` wa4EoI7օSPObO9TJcPfx;a {i@3M}ߞR%?.E4W\񂡩,a+irᖂM '93LE5&g]6X..AGaTHѯ ~d4%_:R[l9cKSel򄕪j =]C5VfSqY=kt5"$/yXB\qzkKS\ .LЊ ~4NN*K|,ޙ\c+u@i޶c.P־_s߰I a[-$,@J d۰g :A9CLRѨ" EO3H]:Ism?uP[F)X(񓸇\jc޸aLCӦTc 1bn CY+@'4Wgm7{sYRNkFԽ%Pu'UT|IvkV^9fbo9˟<2~PZI Bqc~y^X@#=t^u,25+ډ2K5XUn.5Tk?wy0 M\޸Wa.׽ʆT}&CK-bjԍWrnutK/%n(<;eZyUҽ쾣ӆLzނDX+qǗ'o#_~'8"`FfN)}%F(> 3ҳ!GMTjNne~rr? . 0t1z_šμ693F4 1.{@M#kr V`̪".Z\xxh^.U 5bF,,Wgy2EN7uرebR[unq6Mg\+R=Lƽ*Q5n}%>ܖ/{M&BCh !1 K}W $u--VB.}'Y%%K dD(֬7>1T^1aho2HʟdRAx$7Z  w`_?٩9{8$|EbGLk *Jx!\wrsƤ0 42w}Z%}vj׼)o4`Ɯ7cGh1GWT. R/~V͢Ua\NgBOcMI@cwrSlI2C H[0|mvUAcՉLJ'PV]^v=>¡:5pfja yt9~~'hg<خ5bUk=uM"*wS "Ict%eNE2NSjZx?׷4eA! m)!Nuo6荺MAX2UsPrJ0\W=+1zNY`ܝHxFJSRc!OBo`_>SQ"~ŏ#žfZiioϣc>#?~:z)k61U&[e0g/! EꞤF㥄 vC (j NXTH17F}ŵcF҉mO5!뜀}q^M8I? V8=!DVU7^PfcI#[ew\3Ϝ|V{$ךYcK ވl6C|!BGгbarO]+Z8(C1-jӻbRia, MX53)`mf2]R4}ab c?@e&c'n%d3ele'ȼ?2u/ W-p&ZtT\Kw-lѪr^>t %RpH/"?_mӉhyҙCI^!DH3QGȶŅZ{Ow3uHKgE4{aˣQC(}q3_OUQ&3>&&_SOL9߂k5]bS|R#4[Nh7bYİI!iG8"6O2)~ tQJl$ͭߐUA+β59ΈYQ lZ \-dA[gUF55{jqcilۢFR}"cw.TƮ5zv8P?%F-v0kBq .+(Joc]L7dR]%- voE"`c 70\lO=*0am:iV"h-B|J;p&Ki8̕^c7o(YzNIpJKlfXeˏ7bǙ-n攓/Qts;y|uWPkl>"ɊAHB;wx8}"D5%:mϧj rJ>?l (PRp"C^)+yl1ߥ*Blt:x ϑSJB_=Dn2Sņ!ili4HkC'jh,j4B} U U,О-_}KxqJuE% >$a w@&GbQf6E89Qp؋*ҫrI<bWtԮBJ3#p 6S<<:ĐIѰLɗ'xn%VrFY v 1FBoU/> ѳ8.pS*=5@QK>A6_$h4?Q|gjsW2]J*9B_|AH~ oxzض( dwƳ=NK,Nɏa_&lb^I:V1c,s7oM!){gYZ.(&7\CTHEئW/7.4=,k?y{1z+{8Pz eDhgIg93e1EQxnŎO%o C8Ky4뒳*`p3NvxMޥUz ~ nS0Ng䕇'<٭ E ;Lm MW!]Cp(7{(D~Q ,sԺDU_6aQjH_GjKasI: 2>N(%+F5"TTkgaf?@ui,1QԈxA\M"'S鄚)B`wMyeJ7]~i!UJ8)FQ~,M֮ܯH a`-@$7j$%1YYFlb{b=|<|Ub2HV>rQ6(|lӲċ6fŤMX0 VX r+S>ŨE jRRU0 \S&_ Y%gXVC_s|_yuo"طjXK< 9ΨS; ^AwFN~ړ)KnI+𸇠Q)a{ #|=özN``-Ԯj, :LQfZH{eMF.!&;Y^WZkY|pVC8A{[YTeuǝ8ñk!gsSʒ;y^B"{,H/GqV`kR,cQMq-D uh>bIyH;:?h`̧3".R-7u{E> W|)3=ڐ|B>'>m 2@1ʱfmcl-|\e#TZ!,BRE rޒYZy+H]yCٝEћhgui[+]IbYficW8Wpw+Wx5 tw$nk #7 ܿak(''-뤁xՅ;O˵Lb@X4C'6F[Trnnh=H2<Hh8#Kb# 1R}d J= ܌4N=a"SO8~F] +k̕{۔6c x/]@]H#OpQGT\wZp0SfEȡ;YLeΒ+WAra-i黺AI[PbLg1on@l@3Iq m(eQ'=J|^R-#&`v)Ͻ/U])t9,Qm$Մestcon^R(x¨t@'tbAzR[vg2< );[Tg!nԊ7 Iπi͆ mh41}`S>DMN1L6!CS$a+fW?'r UH]960>с)Z۰: !Ri$ IB.!S.SczZl l Ճ&sy^i?Mِˍa V#+8SrJT-DIϥN[@ #eot0j:Pr%Pm5(./EoӃ\Rq_x#8N}@'h$R6IrOW.Qݯu J#lxrkXvcc2KS\Nqm.?k9NkqZE_ lQ”k͘مq3t2昔eſaCt?>IE{^&߆6ѪQGStfD qvf:&sq6d2̃, Zl^{bpHM)vp8*.Yd((90H=Ԋ?`dYȱ6rf7^ݭʥb'k<\ZaYx{"eSAy#iUꏚtt~;הl]-)@v1h,z\ g >C@K{GlƲҤ(UɅ1L8a/,F5M/Ө(C0r? K9_*,&m\i;3im5wkhZԮ^nJXnUp%Eho.T"=瘣;TNr_VS m mV\I&nG^ ɚى]ϏVb:AK@( ]bf\5߳+,t-Ң迼Zg n*ǐUPџ7FQ5{4K+Tʐ=H dD]S 1ڮ*UAv/.K@%y'["=EN0t5 +Unr&.=O<9[*_>4Ɠgp6GXC9 6L*φVU% t a Vj dh4Zٳ_sR"tOը3xS>6Cc%-iWd)B+\ϔqib,=1*^h;ʬy6QSP$ƶDԜ*ѴpQøe>{}8,ϵ+_此KMLLr>]V6}(1mw/qsaj /JO ]ݻKLV{/#V@=G╈;m/k9IL%' \ؾ_gH^Z(ե+8=Dub{n \rv^8~FU.}n6{F^M'Ϋr !-y&S$o 0_dE^rKvϹf\ >t+ Jď"@?M08ku)9R\̲hЀ8ۛWe eZK#v8Ârhs$WVP 5AotH4Q8ig%bC6ܿBK>,4r0>w.l4:)`3MLtjsw!8? ]E9^FJ&b=c<U#AAI xl{I=_ɕ+]K*i7'V G[Zit[}soA<#3&Qw^3Px˽YlPO^D!cjFncDGyec4lo!3J8\_id݄z_IF?5b&{50D|g|e̅&9 ~yJnsݯ `pNb5J1P~C4>tqyH1,[k.?GIfnOUSMo.*8bkl':wƶiIe\uv*o;7U @A+ہrΣJV[eAa-O hՀs~]:{$?dSH][fUvΕZk8 u(E>V;V~XTœˣkc+ : Z=Օ*sO fuW֧ϴ](7??:@vPDo1Rr֩fF 3NSn]^oFC.J|hZ)yY.=0FֽPv)k\1b h4ɸw O%Z ,hu1;\;<#O&" d>b];ᐶt°!];=ګ"]#/ʱUux94MEcXR^/Nm|ɻa2q y6PcG^^ x6E$#HbܘpZ[R;T"Znv2-*PƣȳxYwRF!J%)g|:bb2`/HAvXW dM]A/O^:TUL费]XzgV=m}"¤9w =`TK86E &nKUjLKal :]=7@8Ov2JBv+ j\TwwkcdY4yZz4ɧP8_Uѽď62 GO]2n9ȡ 쾼^eH)qs9f@ A*uoHPRSC'TzFr><425Jve tӶM,`k D&qE * A[Z_vt/RF>+@%(-ܶf%vM'4).Yf#1( u@XcCuO:JPU6hGq-`Xiv |\[}O XBt`;%eW}@Qoo2yp 6BIvU6yW&>MYL0 {>ZokOuN l)PX,BH"1rj'Qs1M{1lWg;c鋓VH茺^Őª+}mNT0Wu' U#RlP9`+NYt &#bQ;zU^7=֠5ދuhJQiƕ98!\Yضtvl6Ɏv]{{ ||ub=/aE 'ц2T7ca2iTf-4w)v,.Og!?*:PW]xlIƢ eY ܫ°"-9:+ 4Ӥ O*-&R.邭tR(.70Ρ_t 6σSDB)$[ DZy#.{٥i ʮ_ӚSp`<"(vFD(_ŲTtu7{1/=$Ћk7;W/-FB-Qblk?Em<=:] |'N]PU|3VC(vp-bR$QON}}<{G q72i_-(=CTfO0E#?.}#GQTҲVT!Q$!7ӐF*1Oddl.g @+/sg-.ջ1I1ĝ,AkeBג/P%ho`m^pv5mI'@kĔ I]Σ~BeJο[)9_Bu ~ Փ &}ah^ OiEr*1~*:"VH]ĥ\ VCRC.?nh;9@x*4CNp; oNӠrTN;9WI`3 oG]li4%&6CdĹKx! yF-k/4#@=0(dYuV;xESp YPf\RP5 ɟ7МiN*QG Gm ?o!x^b$ Trȯ\D{{;ͥf, j˵Ր/,eBr +;u'Zbu2DzYey ϓԘZ <JvPd5#Ub׎Ȇ"C36RMԘJ(0es-l.?cg);v*bɶ8WQ`j6D!,7o? _J;K7)Ct={ gyHxZgY4>CG?G|Ff ~= +vS5|8nܑ?68$>ce+$tC"xyJQFe:eTZ12* ~Xtv *ʮM3fB̿`7iJJGtV  Y* I*aSJy`&IeU:mM\cQ9lԣRcg} [^z/WtrZJu4s/[x(&zudXY>:hLԏľ#0=rl|- p|!JVze2nqd_`$u2fy$ 7+`F6TXj%[uzVyVCf^&I${2:4q0 sf[R m`)=&MTmٸnoPfa|onR Lm4 볊C8>a7ZBP5Zfw?ThˍO`rN6ǴK|[U87gQГ%U&{J D\NWv]$4[.{z Z@@?V=!L,,`}\G:Rȥt1)Jԟż0&LqpI7>՚$CUޮ-+ T\ 5|D^Mfpjt=slf9套kc ~T ɼoɟ/L-"/h#yYK*-S,*שl=TEEG:=4I4W¨*ok{ %Zptap=4g)}7NX  .`r3'0)'CiV7꜃SYlq8iI*:H3-> 7R$_VO=mؘ4V jEYXKZI@H) řn0\bCR^[S%ɞICd1ӹƵ[ oDaB Ā3wX3w"$8HJ猗^F0V_ F8 y=*;8;v T[x0u,4\RD\,}=-~#: \Ln6s8Uy"NʫE7C`DX8Jۨcஏ‘^=]p՘]Xޘ#Ɛ`1W@s5j q  lT5=Rc!3KG2{[&@nքhz ;ROJN30RЦ wf@˨uMOfBRO?aU2[#V}:0S곌d|%S%)I\y5ZY<8[*2 ?r?;r f".Gv3Z[1eCQ$`mOujtzvfGf+eR3GUZyh(wT٩a2[,+L(Bk3{dVM3f4ta{$1:cd4& EuwzWxD<6?%|V&WXܔpn%JlsB49ɱ z3)W͚,w<4q;Pˠ{jL>tg8=lmXͣt:c Ԁ1#xVz:)< S9QкOÕxUޢz0 CV7J,H~\gS+;ǚ8l6Z+]/lw朘vgo )9꟎"0Lc9uٴx1nG;B.b~zN UVX86+w@: @m4R_$]ɴ49+Έ \=}an)N>pu:|?ᓸ@[B[-B 5ا^))# =իGFb_=&owG~{P4БG=X[jX!s^zuwN5 6*ŬVts~+x"!E;i*Jt |8q3\]RNTsa=rF9ޭ*ױ]Vsz$X%($2MZޙ6z9 }K_ ` wάJj)+}Hԃ"O7YL32;w|/!Y(Nvf$bg;!9lO^zj5?oOIbdb.~Ec\=8" A#gϤB,KmPidg6+g;+!|ooOPDCjl#m=Vvhe=w Z1ɧm2'L*HW3mzJV[]dMM[iԥպ>]K!V!w7uC~=ayXLEf*YO0MDu1 EG̪`])Dnݸ5r^fV]R2b>[00O<+ of+T% ewl~0$7(OLJ`p^i \4yaW5&lڼ:(.W -NnĭVL]H3S,Scv\|r<V} p sAWȔ$5 `+՚jWJ) 5,(3r9ɢԘ9T'l5wq3u]k{T`͙Z[ZA%ȑXߗk[8m r55;ᕔxU6{<%BΧ|]9ϫ=֑ǁşڐwwV}^8XǪ2M-_V9|Ϯ\4-(p .dY %w̜ZvzMXKVl *E2L"+0.AY2WD>w$wqǟcmVW oVak*痝$(΂;~ fgή9߾9a1lܘ0ڤ3XI}tJ%KP  J0"6>_(Y!{>siJRxZ,QyUhLWI+\h/ن2;5}/#`m~y?Qa;- @2缻X7XL$ёOv9B 9Oqs')eJ9uM1PW49 -+y ?ݬ]p9 2a(US-Qa1_5!@^6H19qQF15\I T ;dq@xf*B)Z A96N3Tԃ[y @tY9m5'T|oat϶ Nr6o?N]?|ClTΰLofXאޱT3PwS0w& E9JIrD8aWTBj qZgޣu4^!M!t d/eͶ ?8AٟVUvr hNq Ͼ{G| fq0E"v\,I京K$Wr &dm﹬Djf7p2uӹGְAPGZl2Htχ[[g9:IDM@SLגƒ#=Y0P%@20ʹi뙮9ӿn2P`_tQ&m݈F 6mAL,i^F=F˙o\@*u,}Mp'dDtNl@sBagzx*~" .ʧQhez-)n>!uu}M$\IWnz\/oo3=kkw{Q-L0̲7"4+;H.PAqr)W-S9E`YJ9RBϖr',1f8pߎVOc] uib,Nyt3| תLʟ͸ȭS*{,?HO6/t7F,a7(rxb+5K-oHţt#,&c΍cSI\U,U"+-" s.:=QF#׎q}64F)paEVbcHXÜu:noE^w`QB)-xj-l۾8| }Yŵyl v gA.ڈ.ses2O]I셰,Zo֜lz4&^qE$|ul08!y$qJҳONEw硡Fa#ViVa6ɛ;5hFF6'ڶS 񉕰gzDk3ha306 Iԙ4¹v޸+\¿1bm `(vH,ߨ2;#0 o.7hN96l1Xg^hYcim=LaOİ_O;kB0fZDnpcld7!'@Udv1RjcSXUޤ)TܝK7Gh^9 P`*[LU|y1hvM˙ԋ$>Y2A%C~Sv[4F=)Eo ' YN{]FE:ᄉZVS?/wMmvIgfZ62!C DxAhG[O!c%EJ~. Sd*xOԄ ?q⭃K MAɔ藵ۚD>~Z#p6-!fFL*Tdhjӭ\X_ĪZ 8U Ո<$&vEVKڡY4x/%k!+!kYWAΐ4S KY53d? Vܔ3chߣNIhQww(0nC߬&lGV6E67l#ka4K{Zk`:`pg#ݏi;|nT{sK*`ⰲE/q?pcqfG!l:(x`3@%F- t\Zg?? 5Z#!P@~:D9 R]X:fyo(a/h{nn݉7˫u|oaoK F_5ETF%‹6I拞ӳ9⿨h8#Xsj-eURq?}vT6HUlV94qLY|5Gҭ(]qlzPӞ~` ec>1X(]Dgj5TŝWZ5([LՄ}$OCñn[PS 275)CO.gGP8GX04]ҟF3~XC}6KAiB[̱@oQQeHO%)'B7]F׸9q7'jxydeT`D=#oZ( 6҅<Ӂ0Ԭ| vnŹ$;$::<@vp0~<4đ ݱg+ C VXj3LP$ s7C p/wk0ѩƖد=SEҳ< ,e5?A+XDTݴ5:/`Mt,x0v~qIq>n:swE>-`TT^A0C/LcC уE԰9Z3.W[}Ʊ-maӚ*msA2w$'-3l"<7ѳ9Ȕ49]$Kdh,%6l*%x&-`eS_QxD=vu>%Өz),cH?ڢZgvD\dۑ19feNj5"7Y (]?7Clȫ?piAb7C3)153l1{J'A:n>g X[$6rÍ3J#W: 37O!%6E._#> p_lW^U`kMONY8QW؁@ HbʺM2y JsE 0ZC/ϳu3z'Yl/kѨg|"f2lPy-yOd&A"~ջQ}dU~O9NCixSCUrꍘcꞫ:f1@.zYmKt:P.S00\g bU"X8;s fnƺէ_n ]RWu(8TK.FY>Ho$WQER Ih.%*|w-h^;YeESX)=aEITnK4OcubWnXv7`*G\ϐPxp/zkWJPz!v!L00eʐΡ`e/Ffzv ͨ/quГ3Loomz0}tTce:YH*W0881\u*{M/ڷr"C}QڏMXW*Pg +f|R ^49UW_Hx3=C޸`GV/Kț.rB DcU^4 03PC#KjWEI<5`DKngE'ɝfna ε g^='ȎV;$+Q=e 9czE`a?X E ~ 07e0JNKT; [F2@PĿ<BBU1?ZR?ƎhSwc FXDشi'j(60t#9j,7ߡ B0dY2@v]#=.R`4#Xml%'i++3l5@[Υ3[a0u1\2s}Ӧ\3,OhE)~Oe?cQ5$t;^pn9Mg-] 7.믚ET8#J51"bgb) NXz:"_1=U7>t. z쁥C~#8j 8-GdSƠKxgL5T+3M=csIEEns[Qi2wҒH-MŖd(|]޲ lH4 S:Г|xr s蟥qg3F/wnwB2\DT$[K#B%G\OJUҢZUJ ku>fK,; V;@;]8Xa8^C<~^) һۥO'~>-`P6=%5]_rnUES!(e3D cL>}US1:.y(e? h08G.q.(dy,e{HZvfNbj5{R7p5Cֻ~mVo,Y ,|b)N%P.DmٔBq{h-F% |_CVӐFL$';I Ԡȇx1Z,Hh=wv LNT2 G9 !>Ymԝ2 ;N{Dr7 t~"1|1|8J, #Qkc˲m*eȤ5iQ2V&4qkRRNGx"+o OR4i)dEK!,ɮ[d S&\`6[TqaqW@~@?ɮBnUЈ1I&v/ [W\.IB-HF>!nz7R[CLP g! |$1t>3*4F73T\s_Ruݯo(~[ ȴ5HRo UG$ڷoI)foz^mkf{Ȋ(sięGŘ=,|HEDdK17+q 9cF2IYʵ{0" 4,ޟ2s>MMUj#hZhuBU/kH7@Fj5c%j)IqL̋F)zeE ,S?tGaFh"{$ Nh^Yr0?bKibעe!^*Edn ẁʝMrRlM; [aJQG$d2φ9l7=E0\GĒF3fP2)OTUHqTwłںMg:7NPkZWL,dWB g/$/NCF h9ZO2jEXۜcnMsUW57(m?q6ף@ÕbuBC8o90B g/׶ZiV{ h{~z̶uU?]! yX95)tȝAju(ŻC*_rةwQYkmgq[ ip]"2] l&bb5n Ѯ TF]{epBKRI@:dVrN,e+.O t{B~;Ǯ5G ? ͕%}lM r_= xUFݥlW1Miދ@W^ 1bnjwhƏkM8ySC9ׁ^yzUZMڞvvZx[c~׊5~~5o[zQX>͊>GQdC[xAldhВ R)n!#Lƛ]ۗ w5 wf½wr;U%Si]r%ώr>R21Fqt{mK߳;1'͹37sH>ʏ+q?(#\"ڥDsvK(x ;a҉q!rW9&UOOwvg[S!n]qb/MOv 5cvB>C[{L*hpdt38x <퉂*4:83m[9^۪aDTt0L7xœ%َ. YVg<<9sGY#c H(%A֟3 ~mw/2,M4K4)XXI݈.Nva쑋=%X.X}%%zwr_@k(2p>zb۔!a2 L;PڱY _ GF:yF@l7K|~;.ʛZFTAx,R16)GyH'xN"&aKa:'~B &,͊rdz; u?ʼ!/3!1Ttm_gi4ҩVZS`0Z/n+!7n7( L;k ,Ѹp)"8B?Sq] t7 'JmT*4ܷ& #uc o$Bj&k&DB5<ۈF~M2e/-8LR;:"Dp {n?4Me2~Cngr?s}:Iҷ3.BتKk湩{tvHƴ4=TyYJZN!`5@KsAUNouʃy;.XGl;Nh`P-\rt4w' cR\h&1G+@jP5¥<$.ML蝎*B=@ NPҁh;y1{uOEi4:}~ B!䦽wȭ;0vbwaU x $4'rBS^I6(J!=ڬ]Ú.ovgSЏ}ri8@^~ [jS`T ͈Bf /&9sΉ4qг$ɒiDMZӡc(tڟd~N{u4Q:ϝݲqwF]*qcjneq3q~ b5[J;>1gó݈ƌ9 ,AOw] k:݉*<# 3}\Jd`6X_7? 5SK[-A c}"R0 )݉{x̻1M/]3r`}u-bH<frmf"oiAOcpQV0G}AxazG'X2ïnl" 3o(V{͎I_QH+>E(!^jbYԺ{(؂+0Dh2*@ !ޙiN(0mYo7Č0ܒہg"{ȩ.vy=ƚxDF^`Ha҉= UZG& i. X 1U Z]:6^;r3^ OLT܆+AiK?Iz?~[HlX4Ymo&9sxPeDرB j"Ebdvb il)L̜\V Մ -o-M-8zCv 5kZ:yZE-"x4xv[iաʲYz[*V on"*t+k\2x͂,aN">mGv\q~Bd^.{:x]Cne,y '"J1.;Qys5ivΖw4()槵rGJ[+V"ٮJ̞1>N<,yӽGZe,b╪ > WEUtmOsAj;$jQ7j1ny Ѿ -4&Y:  Z1D=cGv.7N15򳄔11QdAΌ |BSؐUdx,_ƀ8ꝅt*B)|Tl1qÎߞ=2sХEm6 ګ ` jakL#w H6)3gƮY75n[̄e\"'P@wزcQYuc@bAFA.":)^$!g &bH7@cesF Hѕf[B{74̹L Z8ձc9 vPX2]6A8$b/ 3d®H5 4¬n;U\L ʃP˜W1a=6]7LF#Ux$nhd]D%p!1F7յ^)v8 y_!1b 8c`Εvy'83 nzT"UkNQԶnԉ)!+\_p(.a{+T]#*FɤF/='D&Yib"H2aXǽ4x 9(#[3k6y6hR f'=YÛu"تa hmk'A9^!3iĦJl!#1n- Z\TҠJqdȮQ ߬u!!Uba:s#g&0GHL2/Fv50#;KbC&ZXCJa:㨼M{BC&;hkzF#ZU0OC<*N»Gbh/ƯY\IBյk[PC-L.,ut4Λ?Φn*4 ?v>R].1:gzn@=dLD͜k;? Rn6é7 ۆ3iڕqG.+="v;ꗣUC4`q 7Vԯ) oapovT 2j郊ӕ6|Bѡr_%r4dOU;qy֛ ;``x<\r^Ե6KK:шGMKF Ҫwt"7IRN@+ƖTQ$SOU9y+bγJlan]f㼺<߫]i~' daH}s-3X´ Pʙh&CZ6IB*v[Ix8Y%QCH;̨ҽm z[edr 0e+3kqwNѣt$"vk&ʻ9@l-ZOwǗG#79CGCXo9Ff:3uxđl@94`4oҖ]Io(,єqRJAե^EPXնs4 M̺3.NyZmg,c8/GkMs bA6و@PcƱ'?|qFѣ@#>v;cuxǿrXIjm♢Hs&QcܸRo{O#O!Kח(}k_H37}~^ԬOntoZfd }O6weFgMw z:&6J~s$|Vk;mmRߠ'IfCe"f:re`>% [YH&*ksKzB)3qiu:^Wd9?"7 EF͞C{TÉHпrvXd_+ +W¤?o&(i7떽MoIGj:@Uڜ#Ns"$l.-I3Nd1`A>1Cf,`#y>nU˜HAPN7a0qYF**S+9V^¦tu;)X !?-d ADa}K"htYU5o#N h E!+m_9ӊc Q%UE^'8ۮrl| udz]$ fCiyt`}&\  7ϰ\I"o{9F t+32$Py[l:=HthQ8~iIIJZ\Ux8MvNHVxcw W̓)csl#f%[QVT,e.jޣ#O6dž~5_*շ(EhcJF7Pnx7[`V-c }c\#(.*e_U9iȷ 8H]7kLܼob8*%FHaN<ʐk|ܫ|Ԏ"Em6HU'iE lԙtI -! NÄ@'p$SxIP-Ǖkq ],@HrJQ`.xzb 'eȯJm.FYi`q#>nEBQ> x 9ʝ>sCCr\pa9ϓǘAa_`? Ncpt4~\UGr!UP O<Ӊiy;n \^\F E5& ߺexc=o+0ؤx`B$*~ܐtzQ5-S};e>'= T;2>^E)4IVp1 g%fm}OYtf, ..rg!O=m5#D`Z'4qwT7oI 3]V,Y$pBmk9Yn3";|)\LAoeȢwJwg&?t}66pш)EyeG&Uo\"M"bb|"?=+=2.f12`Hz@`DA"I**W.Q8Ie}, jneX->4~ӍB͘S!|Թm_=fy|gkCvԃ!A∴A@ 5)?IӨҮd y#0a b;=x[w$3*9W0ғpU*&jY+hP9X67Q y9Uk5SoƗЀ-jp"-y XRƯAg "D1] {#+U3-2zoĬمح֕o3O90ե-c*H=cekp]. Z٭K6I0((,<ׇC/XΟSR=VoD# QY3\hg8Q8"^o,?3X}|:+lX\zjGi,w>-m-:E;6B'agg, m[MP͸ŕD}МYuIk"ߘd;z"X;( XŹ82bW,8u%ϧvLys%+*Zjj&#ٚ7¾^<2|1ZFm%jb5kd3w+`Bt"OF,*.0=-,dWZ m*cL-(,M쌭۱l͙x`p19*T1CŸdcP*.l/A uZKnj{Md3@&{}ѥz%m0 \x'w?g@{=0eT1_F9ѽxv2mF<{]J2*|ʝzespUv"V!vD~$1gA׹0UƜ]Qgt7$޷!.Тˡ{:&|9όّ2;Y!(o7! qzXjuvR7_Ζ琿+Lp-*AX-{ ?4v+tM+9ᴪ]Bv1حK NiŃ+yDoKKB υj؊{a}f]6M0A@DaHӣxQҸkkx(,У9!iT/( 1Ec$!(z ^zK䕵QJ9Z5TDFf|2qCo:Ba" O[xIL"el؍c] ~1}싌QbZcEZ}xO֨ij_4R#ccu7~Ϥm9`YwxZ kl\Iة.R:c! ۆMc(8KS(aGˉ20&@c qV V@k /éW7_N"yK!=rVd՞_ JA}3t5VB9~igԤDUV٤C 1o^̴M@kB\h=Q] hsIZ=1o㓐7V/7B[emԧ2A7(ELT~f X}>,_yOu$0?AްA~JWZR첓 XQWSYU{1ZJw#)U |j.+k2@*> -.iVAŵ6nG"[L[0ƃjO.r@t; Яs:ua@l7;fftw!0~Ȅ#[/baWx^iL[XiVcw6q!Ļ_#.kfOG[hVg)KR|>s</ kFٙí7ᛇU/w`u_Tlj k:$?* (販bdF{=nٗdεNjCاH{aSܫUIo gV-왽G,G:~M. mB~2Q:AQS[xHQ'5Ч+E{ N+Ƙ4p˽.'7A ` [#6t%Bx!c*TXd͹;MA!MR"%b:oe0o 1QvҬIWлg\txI`MK<hVzf9cJL]­} H?s⬐<jʋ:GH]L)"kmeoK :3n.r&X^ M ^u6B)MP,N(K/:_^? s QxR3s1R?hbvs@Wb$̇ ʗIQi T`#~I_dt[ߧXwW+(~)Y1Sye7>,0<\-|H\Ewoɤ A.Mī ٸT ~2 ,,wf:X@E=qJ axS|p+$ 6QzX>5 TH9n}Mf]Jzq$nՆ:>;wjmLWݬ?c'N4^cȭ³(=prFȏE޽AR of1:;:paS!1 W^za{efә3Ex(^!T߯Q)M̺r.VTOw95lH,[t:p&'RAaH(GkQnUWsn_}7y?!Pa"6]VqߪF2͌en&5N\W*vΧ QO@ }î M#/e5ny m[FӣT"= ˳ۺN-gnGQ1` sh̰6C@iWlG|.ow6~mwC6L:w{C~Q; yQ7MkIeE_iOd8r#WmEMt11;xz{~cTH"VС_@`vBQhYh'VA h %'Q+ EDz[%|oB<2dߐP9t4..`Vf[ iwn(6GLP͍U5Ϥ"TŞ!_:7u ZcJqt it\hbTx򱚯5zbƧ' ʦ,J1^w઱~wq5SaQXcdkIa'Е嬕pIތ^M!)5'~pd[Ԙ/d[]2p$ӎyS4٪9$(%Rsz\D'SSDXsC9 ZT1J͂8:n=WQBj ʊ׎5^Q=z]ph3('i7Bm{E"\fb-\f=Ly ҆!C9W Z RU,u+ Id2~,= dWF3K-'L^T:?"rQr2c78⧨Bg.j-*Lz1d~d%wCD2\~);q902{-. 0nH+{hi/*QUPz/sȰST/uP;/H1ɍSwb F}V[W "i01hwvfՐG_Б }W̏n`w^ 0Չ=±߁H޳J%H_Kf9wrQ(Ų]CJd.7uātw",G_Z^hJo$gT*-|AZ8XIh6:HjߣdNL+&?E o;2]n.~\oz )sT- blPo:>0 (,΁h._ȍ;J sCSu(Qdj,>Jت!%~/;tUoq P4w}OXq(mVKX @Tϩ`31{/~#a* ?KSI@nd$Ai/;iWREosْrJOG4<w-^B8CST |OO}- !`UŬ/;mqW(||YH֎]UR6Cm{4 D}S2-׭0WLh zrRQJEm(f40@+^Rޥ!o$0^bN,t~*$DHq7zmPJ}e!!]Lm69]<#;"'σCjV33/14,Z JK= UBiĄ+f<⅀o@69r6l 2O W6^iX ,ʙ8%XXQ1d/-p:8^_,[C%fh 4wG_f+{B^+/*Udkх1J3wOժ7kYOw2NsrV;*sdknD*kq7h7 -k߬8| okxMYIvf:bސV&WQKMX8:yAw+ٗ/yf=dOeՎ&г #$61ErI>g=r`Sq94UOlG57Z*eq]M!}С]Gbᑤo8-L{!ŵwϷp8=x?ܚxP  >7zw#n_Gxd4]-uB==pѡvZlmh5iSHqm Px- ׄ엤_|'h@=xsPUbCZ$QDr.B8 hr FroV.țkEbu"%H9`8Hų0Cv]-u_%aFD9R)=Np=&lJq(ɟM7@e׬lb F<9P<]yNW Rjjp剖DgKqgP8_ך4w^Х5ej[4Tu/GLF=\``wa8.t%EMu)KJ?w}HS"4O`q[$BX)JU@T ( L#[(ո>" P΁©=Ixa# b؛Y"Lt'[rFו\Kafm[T+$r%S~{JÅN?>f*S=~N{!. 7#r n0L#tjNg{Ss>, =E5sV :RX+|jLȷry&X cC!c}ֱ$TG+0a p/A6='<Ѓe!1Vkw3ЬB8+#,o lQz\ÆrwOgx=, WS&]kB2[]XNGɝH!fv~ϥuijH3V;}FȴH1"4=6Ir =(igAS(T̈5cN6/,23a0MB43Q#d|U٠#n@]oq%S2u%jG㚻dk6.b;-1\ @n"iP/-[ñ%M8=af#PbQPDXnQPU6*~ё8YCx K,졏3* zu!L_-eԛ=Hnyxcmr{˽^ tYv 1PR#bTuKWq #)e17v. Y8)@ VcG\kqx3Qli\øPoc=#B 8vElRHwx?dC\v ni"C5!%". pow)Wᦶu=^TQ}Vә|EǩRH5u\tt(C-]A*d @h9jh#ՇZ zxfȤaY 8IH}Q2>5!褗G.kdX]29"NjWd_䮮e}J uGQ4G}yl pJez\ '2w FؓK? aZEIOyAw@gDFSW7uR^F W#W>Miӯ_t i@R v{is2J;5XnֻΗAJV5mX_*m unF}A\crp<$D1a09zڀ3jb/* Wv'u?5by+/pϪ5l9i-yDa=rKYB+Gu0$&,hP* %RˠІAPtp;b'QqE+Zsh?fDs3OĚ^ޒ톙;F$`FH-dpn=B%* \chi|hB'MGgFfQz"a [sf&/|Ș1vPn zj9 \~7Щ_/J.&x~EEczpXg}iR˵[/m᝶|+%!rhs?빏kVy}d J ;{hEnӽ~2AhF,ci'n1o9veLllPJu/Roh19Fڟgl,$$2gt4%$,kFrd7 .ٶe*s*Ap L$NN3OiGl'UOx4X7$YvDH5\\ZziҀ@VKJvا@Yṷ̑dF^,9>mB,|5(tUnl @wL"QTʛ$Kev]*ݗQ#4Mz}ߓgOaP)sXSePcvTTKU,drnjz+0`-Fs]{v^HF:uůL"Ta8 a}6-WȗY q7x*僗EZ,;PT ӨE+dzkEH8̦*zMrfOj`G;DR3$c o//ݜ uVW*J @$̶xKƈ-iF=[hJzxS<II+뀪PZO=]{9&0Zfmԇ]"k^AjrN@1S ]>(SRIxcE#LϮ^+='[?յX {-J┕| Ju :9nր = fER !+l%7xOVBʵ18~ ۑWۢtɮ&,j6]EY{vD (x%=Tm#\'+9~F[3wO-.qt[%# jUTL08RՉѱ7EȖH%06# =|1}I{9ؒ ʽ>1O4_[SvV[RS%Y|jʯǣ"q#J9TVwnPݔ.7HwM52;PnbEecs@F)riWpkkH0ߖ%[Cji}!",cl C&bђ>x&ףԥv=+FҜ0RM禷֥8Vq ɄP c2~:u,'kFhzw"-&xM3N[Co[LǠ|w_% ;~)U<ӎ%Tmz azƵ!K=1NI:>Y^+wރ6Ln@& M=`e`KrG.LrzU+@׷{jxf>Z)g~R&mZ'^f8yRʹݑm)Uyφx?Yi"k@h b]tER._1ket4p}fGo)qY0u@ i/4@ #mCQC=ɓǷAjV*̮9zH",agYZz|4O|,i81 Pw"W"ogXwC{ [ѽ-zukNӊ s*V(: qEx2QL8`".C#CBӇcܖC]RXu2O gWL]CyDH˱^ǍUInKWī>+±ő4&08-E D)dJ -vʰ  QII.[b߉S.s.a>~c3'6#̗GF%&GXbB6̓UTo()桟Ɲ~c86y13w#\JHh!sʄ8!x}+t3;o0$r"Iv&o9uv ˹SO|^p6pI"#8"_z(ba"7W;2 8\gG{y=ެ0g;@xQ L!W fLbǵB_i{C$ԖzN+Xc޿jcMKF2po\dC=›.u[["ɛz_#2Ÿ`/0JLSԮ6R((/qa?3'8QEDaR^Ry i4xi @/;O\ 9'1g,!犆˽G䣘֛-68黽l(l暟Dg>+Z;[=A_OaxJXDbr1,\_B{y8VdE^?AA^r-]f蠙 #j(K/CH4 0.r.nߝџBb3QEn>K7j}&g4P =)%'9JT-( #3[x*SʅV^`c(#Dڧ{>w֒-1"8;_e &u8#xΆm`Eif:HVWfR2Q#E|p(A(jx\ba43NLRym3Iy*x"I:_6*t`4;Zv%{FEFCۊ^V3Ajan@*/2w{n(@g}&(Ӧ5%R\seq㨘Svqe=g&4H.?l]4dцfjeeDW&fpvwFyddl4w麼Yo)U(J6 E@+UpϒoÍ^2YO gvD[HlQ-qv0!YiS4*X2G:/R!f ^J11ROOrTo, %lztWHV;Ћ#1|f?]bKsW[ix/?e0x^?Eϟ޶b,ϼuj-k;%hToTc5BߋVXCÚOe,z_F{Z">z;RO|5uNg`w TO rxfQh)(Ul†kDhq3rS|V(cFI@^-'69Rf>GTz!ejȈퟞ+lm+ +2O7KLMBa6r\!4C!bt [zJAUHR V;m$,'Yڰ?S}\4`_O4Os?ĎHC9~jىĿ5󭟛A'(^0E pe%\%:KӤH(W˃H-lЏ[WQצP@mtUXX2pk$Š,%c^6H19$ @ECv= PLZv0gEhg/BM ("IC ^WV^'?RJ%s=oJ|1kZ|WG i 4#e5Pkm[MU|p]WF'r$n1uz0wz)iP/??1zx%tJe:]e}f폑Xb#?E p^6Zws}3nԐVD1niJ[}-V1+,!`2zjw蝢2ݠnU|TINQ렕<:cag3{L,Xq3&Y][WV8_(9n#44DQM8ĘR8S%´@nֺEb Ɍv_r]ԙM:C3W CaqMw榻5c9GAVѦW3J3"nDL"f$:;*7A#fomUW 4ʂ]B6rO k\.,jBMm6?@k)l0b[~IWٜr Hv uvh16Y2y}ˈ-̻X ?#^{HY]l!эT / ғ4~b8Z#ɺ2>ⅵusRo#G4'eI V6".RTrl9]ͧ}>CɉzjN4mI GIoUYJ0L5DVY}euzov&)*o[hy >߃L*RHMfu9#l.ĂB O@qmG0MÛml ;I{9g=ۉ/!1ɡmuAβB[rd"K:My1Sx.'OA<zI˛2Rɹ}%l,,t'c ho^Ls@`%(\S3"ޖ ^ ᾡE53C~{U!z :/}m@ }׫YpShbR2Nʯp's/ OjpڦB?6BN{KQ6Lm*)sTdqZM~L2ǩeU1|i2KA."HExG7hJ~JwC +Sy @y8vk~8t$ĞuN|<~74`i4zOabIO)^ΜL:b;1tz.Qv듚eXW*YMV{uMuԴ3o5jwEOªW=GY~`!Z[]5f: KpplWVvH.";9^@p+'# Ft A 19=}5SRb*gեQG-$T,k41 iK~D/8ITLW҇|*rhl=B-i?  YfQzc miRL-rHѺ,Aз;HHG[gifݼ"x^Ï't[fZAgԋq%ʰwI1x5cOd#' úOdQhqAD0ԯb"8*@?Oͷ+y JCi=W$c|{ݍMRgFēPwigx&Nz23eGY# OXs84TZޅL+2*r"DU\b{&KZc\F,jbx6 zd=3@#pAcH9ze.r4`2EPu~)jy0 `| a:p#?)BUh{K{>Ce`LiܨcPRDB/碊9O=q2O(IFiKރw[tY0F׹>m:@=\i19վzDs0bĨL澌:q )co nl_Ddː ڋ|n(TwЕttlSXq}oWV30e& b{)*@ h=`g F7do uBbϴ|YNj؝sΏ={yQƊjN".WJ9X!9.@7KfL6]t52z~L:GM,qKNyõ~ G\)6 ~=IqwrnN/=j%Dt[M@a7So7t7e}O$8N:lapuzVO:PV9ť_@ ɿg^eJUdSo%rWI.V;=wćuDȿioH,YkLCIoh)̂ zngMYר\ӢL,l--qGo=Q12)gBz^ !4*bq*@MOqׄsQjUr֏62NFh\|0{GTm1xs2FT(nIF a9_1ء@[ q㩡82(+v_}v0"30iFR N Su@Ӈ[+1=F8ڮ?*VbgˏqCd sHYΤ30A33xR 5%w3x•y_./z-W6P*% D om9U^.L_z;P8J,e/c7ԹWEg#;d*hsCrHzLsAE@a1QBИ9t?epS.,0IM\bK B=H"\ϣ ^\*nbuM5@t6'EA5X&#DHrxn=b +ݤG[tbt0 H leTׅ \E,.J)swhlfWL Ek. P-RyXDr%:p`?.9 C)>C*n%2F d?JFlX27eBLr,LIc1 ˤ5.DQezB6LLTe vֶԼE6%S\OsIx􈕁FZVQjh R7lg\r4hsrXcJH> '`=Æʰ9+[-+j;h.š>S܏jZ&Q-pu|ӽRSMu -M6{#r{Mʴ"DWY]t0HՎ#Q72vrZg%F_->LZd[ kCJt_c_!P^Pz.փ6Z\oNb_6>oT/VhUdT^,wEƂH M/Pe-c @UXH{tMuC$#K~jیg!1U3&%J"Ik}P3]s*;PtZ qA vV+(VQ\KD[Z5ErilUVp/Ӿ>)[jH烆6ECg0$+wc6*|:Uxi|['£ۤu5 }"7*q4[%8VnڦYn_J5Y" Χ8):d0vs6Dw|h=b=|nƣH#нaYX m=Kyį?G;ib~@+yAu4٤`;Y4*g XQְb4QŇ 0dkڴbDnH%ϋArϛpWz9˴)^ZIcwU"]p5Zv'kHAG0cM¶v~V:q|N.WKzflxq w)-e=1>cP!>ĺ@seT8u47w󻹲/_ݼLMT wBe_D;>=jZCQUhciੈXLHEUGKRqׇRM =Ur!>+i2_`1%"j[߀}/P)#iF+-PC 0љ LYƝK+4JU,p&1KXL3CM_& e rA-@H%ĘW2,P 2-M<ܩUHG# k)1K>aJQlц0'`q']@Xȴ8W,{j@~=/4 vHK$',GEb6PqUn.X\&:Sk#qCIORwࠦ 9{s]Y/B0Lr ov_(0/[gl!Lv*)&V^hsc^n8-QBׁAȧ(p:tXE$iy4洉'Q~40IMqK9_8 @;}_"AnO <`>rqWQoRIbj!J菍 SX8 , 2YgdlԑP*+a MDLG[!8%4W EZvT_Vrq)SpƳީgfWZGҦ=*MRGLߌ/x_Zi>@ Xȩ!>ۍ/13W6%M<PĨdfPI:ێ߫-4XSW {CDpDx}pԠiV<' <KEm3B'bAJm`)&7Ȟ;(.a{@ @we`Go&SƐ' r<[{O` |Bo" (׎1V͏]fᨵWFn95[ϜA߅ydPr\`!P{?$B(ӑo(x]1'P$r&yC F/ڒeMR96\x4ַ㎷\oXSvU٬i3%T={"cvRIx[O-q!粲`i hWx"ut 6.sK1> fUQkJ8;r#+hiu %??2pL:y=6@4Sjo2Fj؜$tT@*+o)aԩ׹v/p ( cmͲM_א&Y:r3F f|uN_JZ shFv{xn,:r c!? :;^iiF'BYa]#$-<–tEDg f yPH>/O["t]~Ͻ(X& p!+GT* w.*{襺z}9zi hskU$.,Ks%WA0AIK3@ (p;nr OR/ ɮWߘk ?Aa~鯵 B"`<-Gתd]3;. I%NJ̒W'q7RͮOL0QG qFR vǸi7NeίU,+6nƆ_)yIrjLCSXUBr=zBheQPo~]@6% %Aye2!ܦ9RPK~d`- Q gcY!WhEF@׶l7_w,cGi.d[?D#%j7B|ƍ u{LQԻ,aV:U~ps!m7W.T5}d ^hPzz~H[VQ|q88/i-U܀b*udsoZ w0J|IRnj1&tCT]w(~k eˇSAQd*n za %1ոZ#.dB&em"nR*l{T5qb7vM7B MW݃vDMycGW8_2N♜g|w Qa2/`*fsDzDl C>UԓjYM_@BUr-쇵ל{Ej8` NL.՝gXxvjҩ]`4ym_-ٲQꈹ^:6. 'v׬פn@_vZ\l0mR2 k1#]Aml ZhM7 >]klTR Jꐑy(ЪkBkHJM2RDݭJե>S>PH{:݉K_:$r#oa.pN!Nr6Y*&{@rPظuivL l-A[\?ȼ/VqW;fd5騇~hڜ^q4b~LM~DGcOS\z yma2ϿoUgJZÙѝܟdPZa./gL!vAc)'·B*UA\!ሊAX{yH8I"xDd8If6LB;l5aRc_4-b\` а7j܇@YJsz@Ag%ِmȢ?m|7baZ뽍)j{.&'[N:&wa>j9 [2nc ZOC :DlUD}U#VϾm@MoNHL 7qX(1CNݟZFf}$`-q3Iz"J2-#QYAi?&ݬ=X>ՇD@S?lba,p[bjE w:Gyz('YD2B 0F:=69:)j7@΃2[7RU_6j>XyY.I(\Ӡ~ HQV ߟKˆމ'UqiFjԍX>SdW.5 S;Vv3a>tlFV ֞>+B*iQ:yF}nU,j͂ƃy f_I?g'_Dj1.GJ507%?E!R'ea4ӏ؈pC@&;@)L Qi +5ZI_Y& Y9?k*7h\7$$)/M-_;GL,>Ќ&D$!e*nɣS/ήٓt`2If[BH*p k.[9m\!d?E^#RUF~'=);l5lrIf -UQ|-PF?)vuXgQݲN;o9\v#*ڵgSU`O}ٙ4NyֿXJYanEl-ĕZT 0^smuՈbቤlTLC֩o-1F}jɥ!%~U4C*@^/#;?Srd<n./ qOQ?MXìyȞYR{QZUf}Cnʭujm5~"VP 2-#PR 91e\vW'7 4Y#hk۟i4йxJ2 (6NRNy" i?IK_jX]NGs@GלaX%'vľWR{OkbEj5>318k7.2W:5͛= vrq#Ij&C[xb䪠 _+dN2Q"We" sg),7 OAO[IVuϚmPC}X(᭶UF2mR~r8'hlUZԊ"mrd9ZLޓYԊM\fc؄ɰa̘ilR噘>H=(|@W{fV@7AZ@}bQ"ݽc2Ўa@hYY|_䄅Jhip֞]f)R )#g;uJBXbuF1vtofEEqV31XB2kLP3 QoyB&^u-:\(L02d) &7:-7^6%p}ճ}ܡa6x^8/m>bT% oۏ 0ujhd o/ۄm6T=a/v(z/~䧂 LUVEW?EW>۷?Tྦྷ+pʼnt_ 8;G+qq06/bfB>=3A2ЈH?HJ+%A^ToiaPWZ#W~-nͨAjVku}i(2 i"xzpνjBځCBXjPA y |Hq6&Gx]Kr'hRaϤԋBZ24Z0_N?$,mGDa :?cV 9.S3gBra'Lp5/;L|(쩐ңzO 5:x\@}g}uYPYIsɾZ*Gwna"9g,okdChk<&ϝ8q+قsRh< 郢FjBVtK!]us83+OO$ђ` CeB}QXZOofqO\*gl lboKt?}Ixi9nՈcsX`wrXŠHju_Y@ˇj"sYhDV,Y5%E|8ֶ㬠*Z&躽gp.)3o]Bϑ6:hsI¥i<= :^Udl8mP.f֪DE Muv t:{ 7\`۪%,>bї]uAkr2Ï=/jmu8ҼFd֡dB/$Iݞ{s%7JD> +(;l[264\zF~,#KG+?M"y[ve훚igP;wc{WġE`v~$m1 (%){7Ţ2bD4i yQZ&#>C0])3ƽ@)& 9Ztz2'XE蝄,nz8bNCqy]sx'?=V#tWn9wPJ\@&@!!:#1k/<rWVWVVc3 ^i[vWǀ.(p!]hbS;UnvC(Xl~nN,(ԭf*cTW"pQsF 6;~KTInEYac?w|ʉ[J\ !]]8zA㸂|,O/[ _D jw~Ԗp)(@!W>Ie:XΖz-%D ̓O |zaAPodwMrqVf[vh 0R#KXD} ؖs$J/^3Dd5AW\Px[5oWsPj?/V,Y zҧMT/#I`ozlP >aݛO۪3 %JEoqRgUMw2.,)%a0jSsEhe̙m0?uNk?9`Isl~Yg0(Ԃ:h}K$lT6 ZBٲ.JlN:rL *6fysA1"JR0R[WK0AK ;EF}΅5O}^ ܍͡/Ę.NiDYƅ .t '֨ppAШ B]#Zu=#b;2-ԠeNjѣDi8(h'F FJE.Ocl(j }|c-=hiJ ~빒_^4)$#I^)"E:۠tEe8}QٽT& MOP_Kǧw[JI-50-F 3aWTq}FJfNOkVA([J<9UG xz1%ÉMK ަ*]R::/WPc XnTp}FQ *ė{RlB|`7Fhq,}nRNG X@5#k5DaE{aህZ{.{K$~jj-R&ۘ82]ZςOSтՊ[ jF-0S]/rֶѻRl=Fr{K}_=ճ2"|6lCؽ8PhX/oaOF8[s好Bax:XqhEJtSM ;L`-=Gsչ4_<{lFa6Sx2d*M{ҁlF٧y&8(~$c`tVHg;j%fڻ)Am5EB}6=!Qc]ђ3~ţfFdOGo%!D$yt0lb0j3—ԋ^D Y 4`Rv<L <)n'ɥy[zutaf *#FkB%MU:}ڊxK+ rBSK1*BKeF2BH J.26B6IcSRӕCdkֈa3,&"凞dmVEXˏ,5=Fh[,u6MgSGGUZ阦N{жNkXQ}4xsZڠl%OM5od44Jlau=Dj(&Pgf 'Y#=)b·'Hlǎ 64{u D2u\< 8oU\ /\ K=Vaޚ#i\O22O}O{I80*bo$Rή\ ~\<lѹW|QȜ|XD|U*R4Uh3nATjPQ] YyV&Gk:Bg9dA-XX[H}YGH`=Ug}W=QGdػ_`" J(!AYڶ*dîSS L^۝ۥA"΋#-\)(k@:ן !_lNŐ/wɅOdo`r_y}IA0+(  ^ .cFt^@l ;xZ *3ch;̄ GKHcc~c.zDgP0 NBre@ &,"3^HxjBرBh^NTbSSHub=iW/Ujdpun.KڭTkec?Z5-P^}" n}XdxmUFIȤp>ȾaxvɭLNHR4)ҐquL\A펎#cN CEV2drd:Ö5=#Y>@AپƼu#LC sуڝyh>AMb85c;ڤdW$%.Ι\Zȥç;.F1vI8`$Vq}mLk6/`ϩ^ 2| ?VCRI* iӰ?2"?3UY 햼+գ 6YͨEKc:  S@e}pVβc7'cKOQ]FN58[ epM(dA1{' b*b)HFqclߕ˒v/)2a#NB*B`lY)D|_hgf/fAVW:A쀗WV;ls/UkXx*!|NFc?דš%Dr' ޱ4@EEg24# [{`r}ڔĤ>n,2 %YA2Ds8陛UQ!%G<{ W[(xyGr2`m^ۈ!X$3|%v&4DZiXyrCS' Vnau ;Tq o>@N+!BNP˃{6 nRaqkYlC/UWa_y*LivͰU 9zzLr9ڽg6,?DZÁW 7L )<CxбgYZ 22:+[% lGirth_ChromaticHOL-Decision_Procs.Approximation_Boundsdocument.tex7zXZִF! /]A-MՋhvG"uIBm5=͢) D(Bfu.# Ҍj t * τFߚyuؾr\XȎ#h-fċwjXH ZAyXw{iUZWD^:2EZ h̜t2\:QR@NϧӝU#BKvso n~΂ja&\ZaR M0)rdz::QH<֤N/ly-#y^6 dѡ߅;^ (Lב+uQA7LˆoVngpU2nuCZ*JO!v;yوkw+Ynr`Di@%\R3q;`W ~ztlsb ÝSBs.䕣8:kN@(R'5M ޮ7Ve.>Ei'Vv73blF@:8i@@D4-(>籂O >5?'d=B(XV'l#Fk>i}"ܤg`T0w;kbl @+/% $Girth_ChromaticHOL-Library.Floatdocument.tex7zXZִF! |K]A-MՋhvG"uIBm5lk)1ƅ6l6NƛRn$W"鏿m> vFV&]$ ȰB&-Ė[|5:=:2a zV<\ a3!xy8s@=l|dҬv"W#'N5 Rh1 *2[T T妹"!0 ?\#?dGsu$7d6WO\9-dśۜfD5"lԑФ:8)'! wqWBuvh\=7/vb(աZy: %N:v`/# d=GUQq|+T rHsMD,i\M*C81s8~k4(g4\QK0FඏNFQWi,SG ft8 DNPm ΍/BE_&UH>P2 0_e{s_^6 |_4D/3m 64F>#3v+TέIӨ.:.0I9ݱ.ЭlB3@*xƝ a [irX8,aDsJ,VRvXS8J*-wА-v@ʒ6kLZv~}FWM)3UyP#QRK[Z 38m> Z܈:%AiN$z Ac9#xijDeA95"OlTZmeUw7*Q+bq~7SJzZxZt,r{=~RhmjNPh!?  |',C.ȓ hNyRGn{pd8{ܳxPŁl^AX b^9@C޶#ZyӬޑzq̕\ w)ݭs3VZ;S]r6 { Cre+йn'pA>ba<U%8 綀,6aU5t|Gz&5"4 v~)sl{JU̷f#w{zwUTL\S3w,|K7{w"-|VD(t8(T[hV ;ctI5qQ%XfT"b'Fljiwgtȓ-g3n]+l70'Ԅa) ^S+B)\,f{ƕW:aFxw1Ⱥh;Y* @{ @4K:I<8nnTto<%@ŰTf\ N>EbRTIVƏQ昞g6:WvN*SR5FSx°X5@B#%Y|j QҊ`tZ_3~*sjg]y-|R8!*Cꏫ3s6e6L_R!4}}PZӺ??uXpJ=',ڧE~;3xEmW;ϹJTMONQgQ_>`h5ztHwLBY%Ln[榖7HRsZrHXdHQr8ZYQCJ'/*XMu4#xI*D2ϟ u;u,u5ZDh/8tUQ/ L2O!/Ϭ cta]S-fU!$*J`b{Xh(OSÜGO$Xi 3<ضZ)N Ky]& ͐`8pwS-NyS Aʮhޞ{'8,aj1"Z `ֈ.ȄlHCVIqxEϷCqͅY&Qf5SZ5F$S s8#|>W-r_<-v"`"TA h)}izp);|ޠs-C]L[h& "syXSn YS*LV3hFMaoap^4.e$7lk9ue- meiM3j ʦePbRkHbnO.51 Ԕ]owSy>Fκ(lV?Ssp8>~ II+M% IEKO-b%Z_-2*?'@$,4;NAe>Ҕώ,彽ɜ\kFR)sph Z*BGj-h7W!fd;K/HtPF /]N~qJNU[\TX4~rMr \7k`A A1&6qτykA_;=Nr?I lEGgn0/9l7*5vö<ޅk5=md/~ȳ1XJtㄝ Zk>zT'6[^\ # u|wN gje(Urd/­*%l;0+Ũ%b8TUr5nd w8p#n^ 0ڋ${j:nNE˂kTN;#̇&~*x5mts{)4Y PI;| By2횔7L)kq`5S@-qaj[:HLEzLɺT7н2Q^̇`SEӑQ;1QvunCruTj?@Լr y&ߤyv>zdx.4tE̠D3]#)Yٍx7`<ĵlŻݢyC> ]XπO1eg86cVA[8hRBj~('UwU1#A[oq[DAoX_&<^NT5z9+ Efm r N^} m5%~`[`o'c$_!@MttAqzz鍎Te>̍T0kr˩ yNzɔG0g/ƍcyP5Uc~}X߳"}pg6q#3 sr(x<6jl0cZP/T. f?@ĢyFZ#3ܱԭd|D6?4ZCp*|[?JPs_+(Av!:8 -`_h£. !A폢b8=YLIO~I2~o}A'ghưjWsCk"?OsC < <3-󅛔KRR>+FuosyN1Uѵ4-6)Š5B&˟tekNJ z] EBtD<‚JUbO:(ߋ;;#v堶cp&ҺNE -ٲ%/u~ucխN x< fYM H?s"] w?5ţFs,AyG(!3-o8) n>mI''T,%(8r0 2,/Fonv^ FXw[SGLhVgjLQtg.H8'ECWv#U=İdT9ă HD]e*gv x8y2/57>wIVŨ#1qL̆94ÎRfkF7,LK}Ie<~{+bA$_PFf9 ~6"5F4 +|uIC_Dt }5ϻzNfwޚ咶\ 1Ҟ '~zNQ0W/zD^90+6T[O {UZﷃ2/LyԎOJQE^*5Ra`wW)$vVY좊i0TK><݉lYкELȘ&TlSC Pbzl畱(3汾e˷M 73Ev&hǬ/s{VGf<}{KaMޗ[8Vl˷\O:h{&+El^18Z胸%21'ہ`fY#^"C&Qߝyx G)t~l. e&ʞ]EQ.%E'Ϯ&gEyM:_3LJ 7hE F6d1Mj<&#<}.M4ܳm1gәHb2_=5 \<"֝!C0>{ޖua_7q}Z#7bm,{kyLC"њ|n&NJ~ivf~݇ Y֎ T[~᫭GuM( xI^d hBǑvSd\rsO4JC+<}R+\JhxURvC&DlwvCH7DNLc|0#SS"h:"M=Gԍ{J*4)JjMƑ9LvM:͚,Lw gK3\Mk٪ʕwP/5}NH0yֺٸ(is`qu|8iQ_9dejIp}p)Q ˿ZA5,eYݥwRf%$TN]J~gCC16:u2g{Xl8Fl0i푛Mc"^.k6XYױ˲Hvuk:/ׁ8Y `.34SUo)~A;#u7;PD:30H"/,e'l휑j o,]ZBGҶw} /(J#dB(kq[}ޡ=Muȁc|Y'횁V w@Ҕo|xָ'b{`t BhՠtEm8i%7ݩ^O d :VLʇf)!Wyc_y>VTÝ[`lȼ+l{4ĵ/{pGٱj:qȞ U#S_B2\CQ~ V,ł˄r<4s sJ{O-R>͸R| F /7>2m]B&]t!S^l U>m,o(>8՘S\v ގ5L脾<0Gm_&U:dt݂DF?i`q }Pxh}dCcC*ZaBM}T̳4RZխ㓁 86))zlz o9 t}pڰQgNސ-#^wy^4/>o0n*?.j,#N; Ɓ a߼$,bvۆi\ QZ… ݽѱ\ܭ԰x$-u_kąRE i8BUa8ແĝu2Ց5h{OG?7;̱S O.6c2 SsX6HeO׈YZ!. Kn4*JZ0B'իyc '? roԏꨭ=D? &4ѷ s&)oJ5ww7*V>i`J2nXJPc:k!!P:Q&5Dif}\wOEM"lчdNbg׿7i. ;XXJץ r㖘kw>/,!PC㥋x{E]4W 8-N]v{# yQIdiH*mOmȹC-~k#ol"#Fa[.V)kz̝bա@\#NK#T}VH,j|!m u\JnO|gXS33s.f_$|>7s 2r3?'J?Nev(*'BV{Q\>cAB%46u^}2зa~*8Mԃ!?bHV!#`)ܛ_z_W!'lZ/ 0cErX!B#ĆlPq^jQ.#?;]$UNfrҰjG3Z M{ 'հßP- |ԁB{b9LOi #p]xwu7|ܤ5^g%Waji^"NIiab;x"v*j9nc\v 3l3B3)&v> _BɕTо0Ŋ8:x7A ΋Wi6Zo܄qf^ 2ceiTO9Q^Qzq@%%|)^ 4"64YĹxT@ N3&LHDxq֣r =qW2a@Aj<U[oЃ > bI.+v9 k])ԟ uA :t+9!elvQ8o"]ht7Qݴ}*e/k~5 qM}Gַz¾Rn9X%) /v;q5ߋXƌJTk5E&=(fCUER p4}Q@G #(9Glfo; _.E'T h2NZգ(6dF }wRAGА4/!tP/@qDKݕO08oh qF`Ƞ~V ^։Hhn$4[mK,ؙu_h51e>h9F,expja-# Pwj`"!}3nqNlj bb}ǷSpW_Mէz#Tұ砄`2]X7xIV}@j E2Q'ĵ0D`Zږ$5XYe%@ҠHΊMC4ŒuB_ JA4GH(^5qbqFm3 "n6u,}UM"G(nj nr +OجT*@O m{ B"ϬBV!CP`ʟ&חCar @tUp:onsR TڼJ!Yn<TidUGdܱę!Oc w?6HO`l& %uIC9ٹU]p@A)y=Aۉ(Sگ%cʳxD2Krgy&<|^5DݨWO8n`x|7֠ #O3(KKc_CwlzH7' I8h4cl]^>^'=En4`Ъʚ pUS\bJ}d e[\EL+L!"x#ɐY)DqnGگi3e&Oroz.}6Fg%mr RYO]K02.Nfp 5OSO\Ľ.n' uOW&Ժ?v%*w]J,A0N]WFt'.L,f>2Cy_NJhSqq #!zm:(3keIWZB%MSI$*)V3uC3L$zju)uR89yYiaPLYQ!凄 LRgdN1M > w6ql" ;/c\^ @1fU,Jc:dX*ID#R* -`VV͋g=vP8m0}LJ}c_6Hg䦄g '%6yU#334Nжnr.Q(V >Ui-a-vQ`>Mk2>DUMKxn̔o_A'Va$hH0T'Tndnʓ}S!XGyX 9WdK9ުnηKLQ:&)Y %&QV2}Я VUz$oQdu9*<SB1Vb!UmWQJxqij5K_~tB\Lj{b&eKBBA TLk{GvcAw m-eA6RoYV!CW~GJu-1GP T9X"/,S Bg`oAdgo7qˏGۏA4!7Vɥ6ƀQ<3#Mm•ZτSX*5gj+712""2e+%EHJ2wDXn="RŌN )0 Yp؄4/L>맅Ւꋒ Or\֖'/]|ok=6,Z5ďMZ9$6/ Ȉk$^z:0{@Dc/_^i۩;-fIyg&F"1s4ŶkR1ŴkR8Uoo Z2F_q)N/iТZyy5K hϰ.RcM$filh+76b }Jr/ϫ_ENgYG{26f b%"#IE.A|xX"^5Y0d,^h7$<^j點BEt7Q+Ǥ)*f Ј{;Z"`c4p('\wi"|]/!mxQj9kG>W>|_[(=)F:H 4_0GPzq.": rmF6DtMP:sQ\r2vtJx6wnWpm\\Sܯt I^ ;/Riܽp :Ks*cYkʸ1l nwTȵtp)S ˙_/2TsH};6{O33ba;]U/0d~W4AʦVtTLK;EN3W~ϗ3*N`XR,:u q!"sk]!UuRo$p@98'wTe Kb{ Z3l6ǡ\o -0ǾR皫L O抍s@BrM"KoP=|aySE|Hwl=<\5Bw<:vucsDn>1vcSdoŅ>w- WBI>auEnp@nQ#:L6hAJuIOp݉㓿E,)RV)>3WLk?jG]+C[]86ߑ9/.sT$"z'':T[PU[քȦ u]b$G ]>5}zy;*R|.X9_ ;!iAfTf:g|;R%8Ce̴<>]6y~1N瀄0l }n5Sn)bNC5$`_vjcNŚe&ڿ't[؝ {sqEͬ Cw/fjבM52rd|0m_pO2^^s$=ߞc<*Jw0m0rA24aL 0βd8eEjxY.wʃ%.ܑ*7Ȕ nNP ftā-]-To5Oy鞚-*{ARrBJ(Za/^ZL E eLϧPme^vaouU.0syn16IkAF,S~tנ:$-遟Hg"0*#ԃ2dDJ_UQ=|OOr!,'4$桜 mT'~nomV>X 9L8ҟ9ʗ9 p +)po x[RJ£PEi4H\L֪;CL,v޽Ö,QrWce 7GXLR Dct^ˤ#F;o5{uאwA_ Qxz%Hqr1+NDuBft9i\).)5WNE>טӺ]Ta};3Tv܎ \A^x vh.w6:Y8TyyauCbrwN挎' 6%HҎ{hPgߞ})0 {@lMY:XZ5}2g'/^J[U@*UZ >RO]SVXm0]6iK?-ESͮ.B+j>8R#M]1`h]k.<e(ki2(T|}DomY"~7ql'37| -_q"43p=0.ci_锾xjmϦx?,oxY8F*dT;xxԴ<)m115ħgmM&QS*+'_-oX?ԅ5~MrtD^KX|rhs|:X&gV8~cZF3(S xqTD{=+ 8P᰿]b+؋0%>"\yDQXMɡw`>:Te۽Gofu'mCsú b[DcAD m.0CY-(iS=tvz6KZ%ƴ Ī<THq  nTH^FBb-.Qs_K|~"N1`efzTt ٚP3U#!%Y\mByT34p",K B*MmBgEd@[<EnV8F<С_]4p5KeNL˝NB=_]I \ |$qK[]%}4/,!xH,kl@}+l{鮴-Ư907 S9s Oh>%~!omHVhu;j \UZ#(a㡸] h#Y~D&z :Y*| z7&7$ގ-xA*O0tiI,x(oXWʫF;B蔕dw}13#":;k =S?yMg"!YVزNWW8H1t{ 'v$K %T.D689a4=DdxqZ/#ƺ yekcH*Xzo.YX o\3vAx ԻX{_s!V5ٚTw|0dt~/xCdGTS%QHSJ v]ֿcwxKg#DbTNMX9 1bSB l s\t ZbN,(=Vyp+57 Pyq$P;Y&]c ܨwˣέ3v͏ pf`_Ũh&\>! 2IT|)Ÿ5PD+p0p83rצ/1aVogG$y*=J'\K)} fiaô!cB-'5n_vP=  xj'gy"<2P) ,RCLTIr|-@+| W `g#,(š1p:JD>\VPXٺf-i9O!<\tkf${J[ސ|'9( *{YaAZ~pcrs~C$2(e6)fYP|E>2~x-Q kI%dB))yHzN`#tor4M#5 9SSCY<+6bH!M \suýaܪڏ%NҧXl̲1a:C81;Aa% PEݘ6ZeR@6k,eq^W ~FuٳkU_ *֮Z3{ѩL2G}e['N ϩ p˿yzDI?Bޜ͙T{th_d[(727vs G0b^v{T$/ZV\w}?xҏḻgYZ  Y Y+W% $Girth_ChromaticHOL-Decision_Procs.Dense_Linear_Orderdocument.tex7zXZִF! 6 ]A-MՋhvG"uIBm5̛֑ 0I8M\:ggkòkH MaH^]wx5Lڲ6Іnuya"\V̿x9iu7 6d t8azv:AzLl if2[¯]d$t,M} uUA؜41Lc0Lچnv6g<{Sv.$඀7W̓$GƳHG>C7vMؑ IE bwIw)'[nᛌą&VT@FZ7~ sV"\g{ 4;5!SP%Z,K݀%DFϙ=o. э}W|$~T咋~Ԃ#@|@o} . `ٚnց}|iGBVٔ꘿tCNo^%۞"+8'%9ϬO@ǰNQd-ݍD-,&s@)¾ 6 <ryd,%DvVl%XGC~R ob6 A}0T6h80} 1}oԝ.yՎ9h "=Xg3‚;q,;M,9{HS*'k:&fqбc#_Bcp= J~*=RSM3]IMR՘4Xju|Z笓Dz3O2ά Xܖiʔ\؎$|>u:e4B4Mjɼ_);MҙiѲaR|,žBLE.ItP wdBMS<&/^s%J7W_F짃v* j%i,Q+9acR30SBW鄊AHjqW:$"SY%uɹLNE)$l<:!> A> + BD@>nx T N&966~Tn3cpƽai-* Nrr̢68ek)s8T+ukBc7Bڼuq# E^ Zi?M=WbqK\G`8u1 P\5:|ϖ(ek2B꼴ZǿM!hyF"M1镖%ᘗ(KӄH2u8ΘyY5yLšCxs;{quL PdkyjDF3Piכ`)Ԟ3ƅPw11벁)3S_fܳ΢a퍇 GW{TRQ%nR伕,MWwrj61BɦHa&]:߱A|TxRQ9:b'`Om0-{L^߮c1qA#WEu2^%[Ǧ#cQWZnyߢ*0 y-:c"mP`J/ٟȟ?߉VKkIB:=Kho;6Iz{=oLu1]THRrn&iٺP>Q-'E{Uʪkघ (4"aڛGޗc*,U3 DjuS0ZdGաl3S.">-I C_kM-KSG-Sp` :xe=WRRl}Su/9ZZK E[=ePqBvx&o֓B|usj<Y  z55|ML&';P̴W4)z!Kp zYכUJZբB{'!Cx-EAN..逸.aFCu7ypܲg+ (AyVe5i'ǯ Å:hsi1P+".3O^y].Xzs}R= uTZذY(_ 8pjqcXNՅ*T[6eI١Z)g +"7_&%RC54a[õL߲a93FeJf*>5PlGlHQBa;qF0|xշD3h]%[$@,V@ ~2wp>0U^믡7quYuYR[h'4Ud]Ե[D#|ڶ{\"u Kr_|>_{ 1|C6֞Al& 7ViC7VǩIZ`2My;wq9TwEp$Mj|ʴoJ QJY P)H !Nlb}ߵN2OD a=ǚ p%溽 wBsS, z3xJKn))%Y0}'5# R?:"[E*[g"O:jfn~bJ0h*i҇wgl &NZ}/=@.vNDS}i`b5-ZokP7qs :Q-qaXKI{$H[L?$z pAO#e:>Nt)A`L\c8J7v +=(e˻w6_&5m}+uX&> fnqn ډ-᧸VW?"HۘhۡDTS ?^{6h*(z4Y{ԣX }bc "}18*pq f$ߔ=6G5"+lN(*a+ P6:2R0٢U>nӠv> 66uȿ%5,&Ѝl~2^! !{M9is5h90)fUoߍVo5v 8[cTe v mBkYIӑ.Toqy&l!W-1C 2ֵVήY nfݏ yâlnR =pbLc ;j=@MCUp-!r :5i%8i*kIx/9@3Q.>þ-5T-;3Bgg#P y}~501.bGčl9Bݹ ;+M_y|2۟PlhP-]LFX$0L_X>OٷMz3.ulZcDٳ8Y Ю/FҚ%P`KѩX#lItzU7WQZ~ù8j/]T:_e&4V Br=a_;'UB苧VY.{{`0"4 X,t$Ԏw< oƉ$pa䒹;hJBwX.c2^Җ*7.ҢJ+!)|Pw +5ЌRyue3!vZLkoctQ@IL ~lRH+K>Y@7**+V󾱢..:=* mĉSYMo}hXA[P!8쒕>^Y޸$W\/p ɿ] M4|#iS,L)c[]"c >CqP_Ǒu&VRn|ηblb#8D|2hͫhҹɥuflhg;!*?!ԏ8W>\Ք/ڏKd`v -[ro{)KE1eqjPH ċG>(-QyCq3Z3<6G'6|3SکWNH1$cp)z0Ҍ?2EgĥŖu` ؗOD̿X#:ҽQ:fmM_517 YŖ:MoE+F6$_0.ѹ#ˀ`N@q&d9Us-0V1_ e3> ~&tAC%}ec[;)eH>~14ZҤb͸ J@|:{7vԖWzhTB.&h4 n!hng.ykJcklQynGu' _"0Le^(N},Т2+8LTk -+Zwzx1F= rIrx .vw(&:sͮ1M uOգKv0xg>smH7ő-?[ʬX'2~|-DH7x]f͠rywr%2IDio$Z"{8d .?H$CK[Dq,V 9/UeHI9[o$@p\k!bzZ s1ˤ `e>*Y]sG8ugM~hFW{ uul6u+ oӘy]U*8:%9~L!$ R[qܤfi+x,9b F)| @1S-7E5hr@P3s‰YйNׂk52H4 N JX e[k\ YD/q6Ζ!!u]6O]<-¡ JNᘔ^N`7m\4aGfoGbq FЊ&VjmTVht1Bퟨ=[{Wڐr~sKB1YɂNp}QBLֆ=68hݨN{l@)Ѣ anݮL:bB|  fl;osH9BԅV1~1qn Ycr{{0 ZO|с" 5(Q6/MTX7BߐSM~0Asp,)T>?vvNWJ4n-Y|+C 溠09¼MO]e|@lC[[EI͚Hu$f잛zV¿WKs:*0njƘӠƀJw=$TAnk>bw_Tqø{ 5U #Ri*І4MgU}}a[LNm^/D:fHMwt{$0 q%j c- u [qX+"(߻BVw|`syqԗIR&?@%PGa)ӎ @,8 ) 9%xg/S}V rNU"k-qVc8+&5>oi]x_8oٗ((B~~q4 ە簷~e} )mDj#+nԃWus9yx0 6͑OJI>blNU8Q[Hλ9Ty[Ro2Wq1uMׇ)#\g/j m| ݵKie뼡ctזDo K7l0sŦ8_ԐcRUWTs򊏿ӹFqyD fn_F+vhF"6fLf; L:v2aWQL1Gd+ZT"ݽ/]!wٳ) Pjkwt %3f^Ll7L{ *e.;lcvfy`KT~jּEaRy(r]TbaͯrTիA5AbpIhh}%Ty(|:m4A78_"T!3 iIy,<ۭ5ΦMbiji5P+81LDYq'!ce/HᥳaUL[Lb.Fpnah}:WVn&c1cyqb+aT I %̡ )d VC]fB@_2QY[D\`1uL`^mge3ζOg9B eWГP[Kΐ]CB%5t$n [[&ewO3C֬(8@RV8u8G2 ;C ؃xIO6XCdA)Ҷ Nβ"kUT4mW|Ԩ쬲d:ݔW\_ b{! &P^}g9oA C0}5{ =R@N"!uECc'l090YeS%k#!#A1U%,Vv2QjeBH<Ą4߾_h#cؿ=26(єlbӕh O?CQU.9~!l?tihZk8=)Y[F Ï4gq/tNxHNͰ[,QwrHЀB^{5Aѳ`:tߵ(\ x=D1&D*ef*fY9xD`KOۍ3W]\ﻹb gztsvDTf+ qh4\8?ܚOjLzEM ~C`r']eݼ&-}\d|3Xʿ3&e4^iyh*㥄| kݽ.S..Y h^.=ی( &%ybww|~W࡫G!V&GHWv#'t֟T:~ְN0t v2^)1TIJ=#!g6}+O.ȑC3[ g2Z_GuX-.re}V,vsI>%SBגh%U +îBA#ndvx?%n1'KWYp$X n.V$fv@0<?F_ lɏ"v6Vxs6+m1 j .PJh1mn0I MQ9O2>P悊DJY>]9YFƭD z )4Rҩt:l>Da*tvzP4.]ڐ(Q6!y!0i(K_n]0m>XBd L^20fG%j{\WwдSA%>y-Ov=i'wk&19ƃЈU4u(`ULV$ htEU$`h]/MErC#^vd.U1RbZkPj׼_`vu Oz%߹;'g)WφQ+*vS_"ludc2|OCzi@kŞ8CIgxa.# (74WAhAbka ^qFLljE*9ean4S@"[\)LQ 'H =Bܢsx"p.w#[{# GJ=*AgqH`1lBHjN3b'L@)DS hn H<Yk[1]+WZ}Eh{ ;mّZ1Kzy}x)3=oxqOۥ'LY&’RxE0 l_7%$<|Vִ!Z{I7uBjb#_W#(K gpM-bDz)7*z>%HbQ̀_[򺢗L;* ?cvonV^/ >FRF(Z{h5%+.CϙȔfxYŋۇWd'g s6{?Sߕۣ6wmp{\ =fEBYG~eA0`Fv]9+n5I 5\Ç pjf)jPY>R)Y ')C:Bсp ļ?kjPh/\ |-1A%x\0UV 4&hԬM kOXi}: DR4QaPle}7i|GEGoSj 3#kQh#m*FՍ njcJ! v4v8~eSB;Qd1ߟ3R] V! ٶ_קO1LRr n| k1Ai|dmȋ%?5G9l`4.&tֹ!|u$ffTVf=q{seզW.cH|x4pPUGLJo?F{Yy-Noh9L]uGH4*vJ ~}a Pڱ˘'sdmAgz.I@EH*ܠpo:O`rN]}}kB"E0_ɂ?j`Pq! 80W6OzS̀ Rc٨'X]i#[7Tÿ& F/(ԗ3P}$gR7_Eu;T!X_8`pY~'Ddcd:_0{ "oj)Ed2qymw](*S+qRgfXQjK 1 Xzݦ)+GPn}h Qjs~o'+'=R( e㶾Fy\π&-)x?V3f+ɠ_k'h(.hSB,,"GpչHj4ƆȦ^ % /Ok3.*Omۜ~-P [s5kYqR ; ?ƯH^ƃw|zW ݞYX`<Zit$I㓥FގWmݩ]s}Nkњ-5&;Ύ.+:x@k"nj.tz[DŽc 'Ϸڃ;dJvlײ vw;z|OʸONm+g߻-m]},i:!$Vi>nymI1EΔp'V?p*KkR:PrUgu?%[2bJ[,G&wM| ,$,8GV>B P'BX|TC$68둊f +}԰yq'eg,$|,l5yx~ 솥r@S*xϿRjM=,S!t!&?(j8mQ/]g <@[2i9k(Z7.|D̡{V))n;(r#fKߘr9T=@`}^8N۵' Yu7k|ﳣQ[ 7\J N혲i3#ĆSýJ+K% Girth_ChromaticGirth_Chromatic.Girth_Chromaticdocument.tex7zXZִF! e<<]A-MՋhvG"uIBm54F֚j ih9Z$ɆMC3^Ph? "CDPKJ(1dE] H8'bMEYOO5s3PZD/PQ<"g`/k.n.l$udAvZ3v?҈}K5+ۛlףKH:E];`d/L.ϵޑb AOfHĻ W$+F$Q\E_Q@4C z]HT+JAP~^L3\f+6Xhe.ܟ9SvEb!A=`s͗ӈF A}H !ۋGct>uuOܓ% =FD=Zf=/4%ϛcD9R}GJ.`[RR"kZ7Km m>Hvp|Dǝ;*@Enm'% {K_EuFgщ"1 'Cn`7WA,4Vt h L-9`w+GO ”py QB">A/3w]6[Βk#mK(!+;'v$`?eT$Y&`QS! .QNҟ.yţ~E=F9LG~4o x NwL\6Ŋh?ׯ.꬙S~kswf/ʯ>_2|-4Y'!,41_)֓%.Q%J\~/I3û<xJ'jKJT<\zhEK//}/X9_h`{h?Q AְSQ7Q!okVfolD'Er${jQtZPK$)nD~䞢gJIKWd~f{R%~tx嵕xɽ5oP oʳ@W駶O_礚D, aNn1/}o=>mf˖2Jg!K0m^l^daUnl-UN yX5\n̫{O{wJ ebƯ2>5 `2(}D>FF7XHZ4u§~Xr刦kjvUf[ކ;=sb\Imzޝxk3ťq~gTEK5滐aGS4(aJIˬz`ЋU+ȎHa"ޠ8N*0.R\ _dttgRQy@v P!󢀧01"9QDhwD~%iSW6eB+kryJo>.<@>3]OtBB+^] hLxSj{Q'I`!\ӎ4 #Va AgWʕ)F+Y?ByqCB mɩIV4٩l?<3jD|gH|^ 5e1r`rT+#F*iP࢚2=$gX:&Z/ga5_]¹>j( :WXL{ w^$`\:(* 5Ye/v]M.!.7*#B{ Oo'|b|M>!BHel7pU/ثrqڴ2q{nFb@.ba)?f 11\)TfS72bSB0}tf@B5Z@A,hH`t6σ{n<. kR9q+maO *{$st=y D$}鸊S ]ŐKrTr x2CzP# Wm_KaF ZbYME j1#N`%Q,PV"-}Ës4sPca~Y$?z*堐dJu=BFA{ 򋚽4;|v)N Ɓ꼭%F !fGcbmQ5žnI;j֐t(4YKqi`eU3 aAPC)B>kW"kWGD'3zS4O14=)By,|GL,vU)X&@=ZwVȶ=dV2;Pyظ+fAn 4k`=Mm}?[q'ͦD\@03!)QaC:fv狻tHBzА_+nOd,3)2!¶z>]0.h39w"/鯌GHkSpnH0lAmlY&F]l32Xo7+":TQ9c+bU/vqdS;kg,2F=d[m h1!˺]PltDm-+%O)o6ƖM]}r f<8bF#^uyqb"F;]7MoFgH\L3+y9?Ct>#4 x.%ic_]9.97:ZWα,WFw+ڴ 9c3 nF~TecWRp^"@^GSRP=;~W/+Ryy3 1SlnhU׆s8$݊ ȇ9aedI<8Ic=yn[7 xaGiI1d~ťڬKugo/7Z݇-B7͉/]͐eGIFډ4}H-Y g%WGFU8 p}*)s&6rKs}H7 Yx}:MvB$1l:)4G7q̦A.,!jA.xbu9Ň#V+4DC0ᖬ ; vztmS-OdQ@V74'ɴ [qʮz΃&.8%leo6"cPl~ ܇օ%Ǭ:>`z{TFpwTٖ-Jy{/H7dv ޻gf◠ADjM!' k2Ujl e'~EO}sƲvi{S u.K-_io6.,l/R "NqrSU.vOT/]u%=K*G%k7xxBB !kz+_m߄i1ǐ)Gfw!\4b@\]OQѸHCFtnWq]:D.3qM5DG!FXH%CnkH3B_!A#_0>]u f>h`woq$X WSVMJ+Potx_:тu<&Vn-``Y"h1/ZD\Wjj"n@w\>9O ͷ%HS97~:th<`Zߝ) Qۊ?ݰj^Plӹ,x?퍼 2o0톢ѭp"sDÂC7m%_DyI HTԹ9b9,l">=Mn4w2QJS$sw6kf;kED:9at[y~ipQبwH=ʵ1kI_ :ufe$hÙ%lt**DVa& ` k ]:R 3/F$π7o`>/a-_Gȹڮ[k> DXҫL^}MڅZj>Mtbr\Ǧ1 !QӮ[Uz{K2}?t}YIˉ)렎+^q~n_6foסws ۥeY i]~-ZVC0"d!0_mEнrӀ0ھ.WixG-d6\{nE t!A|GH Q5=n dgMݷ9K|F̦h )n^;LiAҪo] P*C<)>-y>M|P~6f L:i-t#Jx͵eY@-]CjmTX8qg.}nAI"YSJv Sc3-@̜x K1* *05G7wN^\ylz@O_oO e_cQT(($-扱rB37@UL5Yٜ9|f#." OdxC F;mނ\&|P~9]gNgU@<.D 橘ִ{,=xbD`yER&=jd8b+lZGP7CŠI܎QZܱpYy <%g<*ZbtUmD6[ޤZ2v?gYZ CC2+E% tGirth_ChromaticHOL-Library.Lattice_Algebrasdocument.tex7zXZִF! `4]A-MՋhvG"uIBm5gbP\8(iQ3$1r÷t& slb/$u_!=#2og.}]Enq]vY8+ g*FѥH*IG d]nOOxJ- &Ss__v0gi; gg66-܌2A9^=S0ζ^}cG3;n@gW1.e0f"D6Lb{[T?=QzӭTsJHG|&_,?! zlx6-MJry[&?}!H\vQ$f0M̄fJ& Bk\m<:[[ wri6CZ];MzN~/Y*%Kb˟]\䈃 4XP{$l sAD!9Zf25.cY65Q&+k%h+C:XKB-2#NAdAb5A'6S aĞE<:D``zY= fP;e΁ 4X4(&4I9 ?:9?~?C0#ѦxqǤIB@]u[AN{s`4#esߡJs%'J"ۃNm;hwK#A:6<-9[N^N3m 7p:'ugemzpE b"js_ŷb_\d,3ckDc@e-B:q?\F%pa涴郳6/"',@8gQN ykvS8x1ƞk{э5.lfq+0-x?3_qL?s ch+K?G F4&$zG_AE3S1RR5 R c bceqqG՝ He‰Qo"O8ǃ9i3U``׵xI_+GL+~?0ygNC^1+2p[-ipڛSV4!DD, ū}gOra@H h  V1ȷ>į~挃n.Tj~P?0|avY<uU} Y+> O\{X_%IhnH}Kwflz&7_ ܺcuYi?'])ϿtXd@Zi 3ŨG6YSJ9gpKAcbķL:T K!՜NsGTޫ.:j)rR&ijMVp`\MБH(_JG(ΏBSYʴ|mTMdcndBJqHpK㲔4aƔ>崅} x51dPؤ ?=gK _6C(nħ-ىF[;)m|O2Cx\1ţ˂Cuջun?"e8EGApPyJ۬BOOt G55Gn~a1{9:qBtS0pc9DPXB:\[Y^UbHh'Lp 175'ݝ`}SMc(<4vmRmZ.Ɩ NZp Q(]OӮ7IERR+,vAVIyԡLe-ܫp_jUu(^N `!u{h֌<~wvk-.S@KardJ$1].:*poKbR?:O^.n'\ ^ !r:lhESKuiY{bUi>zܖ(V!gMS Ovi:H s/7י,(BLj ׮q`^Vi:\>dB+Iw,8[07Mq#5H.%yk=Cc7(JGa *`:+-AS60}9Py:8ҭypbɁBfLCI" ~5.:,G\6I*aY jm͙/L=?rO=ns ÏQ:nNCw( y>bTUb"}l^n=xD_[ `XhUƠ\*E=BkfZc7IfܥF"D)$\r~UXx_?v$U&+Ch"*:F)tt=a H,i.q6~mI2uD;֫{U.mұsx፥zNJN3 ~ap)x vAk $hJPymA on0[JfmϕnR>*=,9px((5! mABkU8NPMWQ\N58R0NU+sCç1@{91*x9_o)|fy0,S84jR@tЀ >mz@ yRG1ct3)˷Z\l?ztW4H H%=(Q0xRCFW_8@R}FZl5r' JHO*a.ݢi ,Zq5֧t^2)gN+yj~h^Qe&@g_( џq0=6|txȸ ',(Tet)IƄ~# )!lT^ Uq[PE: ]4Nߦ Y+/=PYIv یc2Ҳ'&uyΏd9jK%U%(=+4+}f}+fr%9217g F 1iG$w- r]7q7Ienk\+/ HEWH0Tl'M/OWht  YvGAudnPJё)qr{z HxA( Z'N\NO]D @O E=wfZ8;a_%`HqW/se+BW{H7ť4ϒ5(+CW\i(IwL"i mgNѵ\ȏ {.69, ,ģ4+^X~I ]^lI7Dj:kJWdQZL\n 4ӸEcߩ]flwS<P^|ULƂXz))O*+v=43bem`w e.#75]2پfQ<L.r¼a:ɐɪ'm)7{jnfG !]@˿{RN;,"A֋')X;eWԬ2)? _/-ڽ`[ Di l?6s5P([//5+PNmI^jӚ:(v֑(iX)r"*m%#$HL8_ų?-dQR2#n؋EK 5z,4X (yA63 EJI0sEЭ" >UwB(g?}ud Nօ9BʩD{/Obr{4-!WR4*vn̵ոHʸ"HG`^ cԅU&D{Krp]Zkm A{p"x~y'%]yc{g`b(KBͨH Iǡ5 w>u$ cS^ ]:x l ɖPgWID ]_`I*pPlȤ&t)4\"y_Sa~wGW"<1 הӱp؅,&!X_Vxx-bpJ{.CLuۭ~hC_$gYB^7W>`_Gz4xd 7p 4$K㇯LI{GuҶ 9wg˂pMZbUҌFFzY84T4,KD & F!_l 1Q08Yן?RcIXG waCP3T^ȣ1VBp{- m%^8OBP#3Mޘm*v]@0H]Vced۟5ZDq@XK2/¸wgfn:LD)_QdfuP%:ﱧ E,m^Q::6/:bJdֶ9x|˖&e߼D?5^@dF_~1 o' ĕؑFsO4.̴Nafu<8M9V#A՛׊v'zosyɁƭ|ʋBH]dNZ&W ۥ{x{\ʥ~{20Ͼ@X{91-&GѿS"fE:]z He~ z: m*/}Hs3~h9rYc7u{ܭJwC#ō&:,_RTt{w5!/lgYZ   > +U% |Girth_ChromaticGirth_Chromatic.Girth_Chromatic_Miscdocument.tex7zXZִF! ]A-MՋhvG"uIBm54F֚j ih9Z$ɆMC3^P⌣Δt ,Kٗ[0Gf%HM+@\txdUH%X5;ַádzw,FEEF c٘h3K+F}01`ZR}d7zα5M7$VzṆJ;GkGE~`10V< KGAtb@6Tkyʯ8+u+3% Girth_ChromaticHOL-Library.Log_Natdocument.tex7zXZִF! f]A-MՋhvG"uIBm5&"w8HؽC3.UwTO]Uh0JvItQ]w}n{Y@BOAW~wݟI _\,WKFX(hL5˹L\N |M纴=krf? cךAJqevX>s2R6X'mC毗OJmE(8yٴ)'bkuexpG EWe{J)p!X] E[ݤ#^D&ċf`$uR埘ז2c= ֝)ŭLOY|$+&[2D[l|Ww+SG ;VKB!齦ԍ^0x)IK 4r 2w R$I~uD$qF?F=\6I5kE#*| %6waۥ-r;k)Ć:A z+H$tw%bt܍X;_|Cx#+`[*~BI1' XxzCloR.pd+neX7KI/=҉ ߹c+:=J-ƔJ.2Wyo!`b!ixn$.ɇU@ږ+\~pNnlI x@ =A-@@=Npx6 5ERsw[1N2lBrI1z[=*Zb23PK0+T daB@Qj0 pKVo1iBIqVA^kHvRȪ/O$ktXsMXA@_? &h@ktF}X?} ^Oᵁi[ަTI;;9b*A0[_.%ؤn9: /SGLt dq$[Kpڟ#ԦV3y(J\% *i+;% lGirth_ChromaticGirth_Chromatic.Ugraphsdocument.tex7zXZִF! o]A-MՋhvG"uIBm55F0[(hȜNy.Q{~{] rxGxa&r3l D-mp& GT‰ R)U݊r+Q-kB5f *՜Gg9m$F*vڣ &ȞѶѹC ֢?nJxw=v"Ϭƹ=ۗze^}8Wh0LYo㢋|"B_rOe*~H?~Kޒ 58 Pf*Q$"e^Ps~̾si^FC9rև7Hkn.ʸB7hgwahy1we9 i>JTվ׌Wlл Ii.L: @WdN(?1Uc_폻EJZ&eTMnpV<W3$*<UkH\Rjo82wVOh$DŞ}_S3.ū 0\Zc6߹LKV3&43#U(tDnWZ*M;1Z0 yC?-57%y7/NXv]ĘC\6ɜ )C^rKc%ҏy{q)6M$#Ah+:T 2ZUQ*GZr`B5\?`T-DNvU#GVw=zf'du%WĘʼnE OEVظhkC'C+}lZ~[TuFSnݴ) }k$c﹭s" UuZS70Wa?\>qWS-vT7Ta%1J )1A:PZM wϝh20ޅ1$[TЗEkMl5(K6gu{ݮp£t0ف3f D0d7JP1PaGןt5O,_mMejBPKiAӡר$6y#p%3z&ʼ %[\}+g|w=%0CFړˇ}'ۭx٣l6v2!#P S^&($ sѴVt_T~ws N#a _ -. ^Z>(jOy258W@tZEQ%о}>1s,?k'a]:8 /W?2|RnW?Ʃ>&={Rx 9(-*?"T{XsB*-LQit{A>",m9R{DڧQ$~eM~mhpe=]b9' xiRD~L#U 1`\CPdcpGb.x>BB#X_3dƒ9-Z÷]kNwk49Kg7OĘ\a##"M:)X< ( psO( X~ COyx/(K Yf]SsfqDHNB:$U R|#&Bz-KvbJaPfW\YtDԾE CҘ_RW[gԻm_4JW ղo'Gt{{4LLh|K:\ɑC`^رNEJ/Q[+sʵ(T2:^~W<*+]ڣ<3 19 17S/WF[7m2Ų$d;zWLW ryJ3 k9ծrA Cc{OQC`g'G}W)D V ǰ5tI-:ǵkyg,%/qLQz.[* `Z7W[Xl7ʑdpT)8"hEf*b]ۜ5Y#MԋoԾ^06A3LAdgm3Bء^O/iX]gA@bx0ua eoA}s!HA(}<եf`{vVjCyt.!?}2C`"6S;lף[-Y}tJY+aA7|SF<{[n2THp+J/u͕(?eU9~x r%{x]tw}A?*m b7N`:qVU+2aJ:H{nЧ,E,fF=|XY2ǿ\MY:Ә؎*oRY ;=0X~wr-zmO$1q٧n]vgt0ln9r""/(wg;u3rx Pfo<" - `69/hcC G)yJιS6֓ƌU%`.&kN_L!GZhS, c Y_(+[qc KlN9g)OpR9K3&^PuS QoxӝO$²pe#aCzrk]2嗱 Aa_!|m[jYtϵ:/$.5!h&@.V!n:`:uJݔxX1 3Lr:YHTC:rzgt x*"ރӎ .9`})aC61ٸY|J' @A!9[Uw''Y uճb1x%mә=^#+mD7!\Ƣrt lC4 14 sLK^><=q#`@z Rl&hS5h4U.N_H.5Rrm;ܦ:SZ8µHfU?D*pg&w]`Vbh" M,A\p5h-< k~D|o Bܣ83c H /H̗ BC"^$$EP}׵E*k̸8'cQLtgtٽ|i|;'%;b$lUF2N-;!Fi5jf) 2=^y(l7vrW#޲$CgNd;;LMOHGWΛ$}\8G~p/M.rB [R 7bF '3+v f*G%c̴a SaDqtoʶ,Сáw{׈Ծjω<9751-%lrކ4C|֘k܅s⹌-b{me ZZ8RoxS1*>cW?Y!"ΊfQ4?DIre]QJxK8Ga%2_' hq (B=JByllq9@,)r~<߉fRQ+_8r^ ܥ:ɤA;=e"6&Q\wCM惬HVshwN vJ@kR 7!k) |й 9`.-kug[l3Ⱦ+HXw-, 1n6&XZ2x|Veu4)=-bKm}N a #"snMbb&a긶*OiD0r#X=n*xot\q.$(O^30]Us-o|)Od ':<Tj:)x"Y np)'Λ'h숰ݕ_i57秼$)A}yuҲ¬ڱ"]\Gsyi S{J8W@]o^Mm}0}Ӟ?K>aq0+3trht46A60IBu`l䷸ЎPf/V̙-HOݖ.غ8fUS>ln- *̲,o`oC{;Co6ZĊp9zB-;]Di:pB` C$K?g'L3P g +BJT`>U{ V|3sAKPWOh§SrTf\sQ|=~_P.g(EyT:|J\Ye꓍\RRR{&5L[MLD\HVzۯt=k}bQf=i;ƻX y;5Lb zH2xZ,?biضc a%06"KG>Z'k ,u ܘtԢ#3רڬQ34(r}붰ju7b{)ۚBg7f_'چ/kr2H #A@OCX Ne*xM|]Š[=9DZ]:9xVFQ= Myzvyik:MU~)ܻgYZg >q ; 4K%Ƌ^NT/|[Ktsz_o $c'" v#.VvxJI3qTC>'49~y1ϾKfµ3Zr9c и;" WӘY=1 (1L jS@̪z4y3$h@KmW}#97qR׆Ps?.Q)[s+s=(w=r7̸Wy7Uҝ^Yl.b.tS;t)8 I٬dtc׫, %4uf9X5/rUZGA`4UG`:&[ qt@] r뛗C d%'s 5oC {Ha2DB,)’Nڨt8m!>-1Љj\ (=< ;xfCmʗY7+o.,ʼf| cetwyg]F֜cx7Ř Khu!%n-Y;G͝;}41u!b9@n"`9~;o[G?c0X5 q_T:JqB.bU<~H~jvSd蒀*qɏ'n*<X" ߁_\#P+Jiaek ]ؑRɯEk (3\K{ܬj{j WV~24(`#h!4xW>JG6rZ`]9L7hd.xDDK Ԋg1$7; 3^`ݠ WyhF[mdmG QwA|+񯮷4'*Q)D4W;}?k,¶*)}h_ .e.K=#ne,.܃2Cѻt"<}j#:*6hInJ9=oR^Qɼ'Hr8sDV~֗\,Ȃ2#e̸pпKDA0K@JB%l[|E꓍@7 I*^\'q@'1V3l0) vο֥*$ȒLTwwm tDD#NOJ֧+?;gSf]doejG 9׋SٴyT$"_V)1~ԁ=׼$==d7A6CzClF8VUa@V\kv,}Q|iPxTDy ?z\rGvI,w\?_6ٷeu*3~pp;Lkkw!+fx K p^5HoPjg@Q)iL-61 }rQ+&O@W)՝؁U[vnVa;T&UjWL|w;YiDIqR!DqZR> S~_*gSVo$74h"PM7MĺVH׃ci>2`&ev.YCԀo IՁBv-o=T庶{ \$ڪj +-;%q-uڡ¾sjr'⢫S|{̈́p-:]-|1ӏ,ӄWS\O@M$ܨOآK%8!Oh6w4Q \wؚH5_lPݭv(ȯ<_ݔAqRCsy{$5|@!ЗG R *2MrNj`?6|:2|(ɹս-eB%䈶%7Wț_N@Axcb[Օ!y7P /ޚ5XpNI,!݅}綄5>>N³5اaiY[1'?դjr9 XE٦I xxeFl)2UܸWD)cO9"J7Ty"n t8m#,í&,cNxU<:`cr\ttNP=b]l \ʢKD`̪%dU3RsE'I/U2(?[(e{%5*?[@z(T,8U΍tۄdW@? W^W\@c㚰UZz&ť%6>Ts(E4 LQ5J[mQlErYJ jjy LU%T㨘sVOX΀yn5{3hGf6"6]!z^D r:x!c3kki1깲<9_jZY@7]ְ|Ds\eBq ]3Sԯs՛QGh>on (twl]pb 0xؑ>F1b14ɨ"IK"kyT!zm:XgYZ ! +C% TGirth_ChromaticHOL-Library.Code_Target_Intdocument.tex7zXZִF! i8 ]A-MՋhvG"uIBm5T6Y)AEŘmUٛնW6U[2\Wt}7;qj\!rNĊ0[ezs7ymJK[dPp ;\ЁUIؘm4q-VӦl4.2j,E}C@E4 Aڀ}[€V0;)ug-/eIӗ 7 ^fs'N=.EJ3HT!uchܲO(1gӆ8pUx_A}X&%QnX\$3_&EK4RKXAtʶmVQg8N$eHΟ1Зmީv=1 ?`Jy!W$R'; B]HS%$Qt_&xj M#2r'c 'FeGtm,I/GG/1ćN;̞(竞pXĹEDZO`d$9>}8 8# 햘#oTFE_3 z! S%\.κF*&rCR ; 73Yw En.ntZ{v %P#9c`sP t8 -0koeJ, 5tt=PȗMqM`ֿs'O&Y[OЈy.zDOG|I[3 ?Eʎ!. R;![OK:|A`"+_ Z݌-1=ݰϪwyXģFSP~ectIЌ5Zg8 { ءbr`t!A?<ۡ䨁ԎfP.09l]RI[؞|U\nnH23*bi}3@UVAigW%:Vgawyn+S^v?H yk Ϙ̄fuæBw%sS)tq7`Km(W~b₤1\.8>)RƋ$~q5b$'qu`F_h4jo,#UݾY`rޗ.\LJ*ʾc%eAG U0{oy5[KBs5b{S g-:\!]C*ܿ3Bl4gYZ y +K% |Girth_ChromaticHOL-Library.Code_Target_Numeraldocument.tex7zXZִF! w]A-MՋhvG"uIBm5T6Y)AEŘmUٛךa9@b kYJ΅b>Jƀh$qBkU:H =)s#Lg`n1YǠ~gH[؁?X!dɟ+WQྏdiqjbq5GKTu&&&hcj>&v1δ׌;ϕw/mRr뛶(ARYY^=hF1u5f/R27x-!J!VtwA+pnJT|< m;^:NH&1L;2ZC35ɒ: k"b=^q&S z Ε gYZI +C% $Girth_ChromaticHOL-Library.Code_Target_Natdocument.tex7zXZִF! }0 ]A-MՋhvG"uIBm5T6Y)AEŘmUٛו@Fw3m()ȡ֗=fHpb{?#o\=`ߞ aNMH9J` y^-1;y:qw֒&2 l}\++6OaRq7r*aJM yaTV-v/Jc`vߘ]lgw`ܔH뮆%#^m6qctՃx q r0B&)`;vj?+FxsY;4䂽{J >i@ÖڐY FyƩ}H86m{0B\t1uz 1)ghL8VTEq!!M,!Stca/(X @7k}F%+Ycm~Ї>!Jnt`pkIS͇iQSk00Vv]NJ>4W ߥ1T0;kшqXDT>6*W:.d$AjIi=3za(k;%"ݼX+._nئUG(oqOd&MI5UY}eHRξ@6' A ERa^.Iù!Ncw0.I̯{1B|-<<+L XAEB{O2{0xadС)POqT%YnhK@0VZ&-q}Y\5%I %!it:OJ\1edfi^1潉 e`vXDRLUr2^9^U3J;dk`nȁIr:3:v)iS_ m㱆Pƴzz'&ľ?)@& Q8|墄Mp3\>v}IlU@x@#\Q$Eߚq K %?Gی'&ٟ?r b =FNl6ɭ T"N9HMR3\㷑 P"3q.4'8U٥F˓\l~&&tuň8aLY@tu_T]x&>O¦NDJnT}:g,Sà $TQ Qšʓ%$J)0.tŚ-H6Alp&k8GL[yvX}@ _MB|e#$EXeaZήvJʾqQPZ{Th٨cd=#;u^>?f2 K`{}"M?4%_{^ї@,ܲr&{\U!lA&#!iy!r-&[kio??]u NSL5yod^HS9uwHpbAK(?+AP >.HV3 \ K4d,dIO!@r4ɚ ߗk[D̑'Z{Ft.,10aX#=\~$4DVS cq`iG![zp)Un3Bu &@!j h[^{NQ+S7hؽe(#z:ZץID"ҫ9_#q$GwQ(AϯZ(SykT(ν#?%KsTK7؇g3Uy w̵iVc! eX`l|[ ;&UPH( x?fß"Dr2x&(t;/r'<{~b'[d!P^[x1_PGIcs.Dyi=ncjJ̰lo%a?bAj.V_;( &sNQ.ͥ*s%c$` EA%Si$75sHmEҰġ[3 >mj7@yx_Z`v+bsa<@}1F-)W8:Zajz/w(B_xѐgJ{[WW)i.#*0 JU8VGk*`fE2F4y[Qc*-LSf v!{?5WGӢ>JSWrwz=AK|Q[]xǤGiOD=>XP& Cijμ0j, b4OtDN9s6Eh0_|(#sK@ڔUuԎ7DGgMs(#4 ce{%n:Alm j3 ЅPZP8mpSr7P=0 :|w7Ņ`sO@)P& #5-bD WWaF6Ec@o=u!ѐ201lU;XɮyMnvN9Ck $0/vŔ4ck 2jT#w/*D56z>TTZRgYZ BB; +G% Girth_ChromaticHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 7 ;]A-MՋhvG"uIBm5T6Y)AEŘmU Ep䡀9?测UI7uNV"-_]ķbq=$ yf2xSh>|cNS( +Nz:Y9J]|^,sm-gsyC$6v>~L\mݺ78di/_.#"!%Վ)h-aJ4e ßg/>tt*6B*{6d1ANi"TQj2hy~c db'NتGHAGsI~p— * 3bn:.URu KX['4ꐈQí'7\$5ŋv&Գ0@># kf&=OщlQubd!Vi #]ъ3GzI i~?){Ƥ `%vȦ"(R֝bWu`LeB}1MrUތ3a\"Olj]/k*gŝ;ޕ!\lpTQ8M,r<÷u QUÀ:b:se5mI$rcǤу6xgl?-C 4r<OdcIk?^adO$\?ӄ%IUX==8k#_RJoN`Je76эܼ?|gUmz,4E=5odз1 ":OQTͅ c 4;[3I`C1CaĐ}2P,tx/Ň2zz3e3>ߩj鰼PW-,bu ak(Af^*RT17@<+-ρT =F [(n!sIɇ*^&D+;\0uҙSpxe%k`|9w'PX8#-FW ÃpYm`W.G_W%nћ9Cv>U>xJIaI(E3JdyԐ+r^dwMݠuץB'Cv nGjx42KQ$FuSg`k6_Ug5im۵?`͎Tj}HUҭUH;wczR/޵3/AǗaf›_i!{OJpд^UM/SP+4BkeѴ\zeMok'NM%xƧ8^!k ylnbpLq=ܿF觐 g2.ɓ~ΕX2OJJ!ȳŨIP%tb!]knl@&YVG6v; w(*lB |{|e0~l=SɢȻkK/,zV4GǗ / )({ayz E _- Ǡi_ͧAS5j)VnaiOesrqwd}}ڶVOssdk4'a\hM2}n $^[xF ߅PCea <]Ryk-(tfؔh&'>daJY?2ݟ8o?orY܊ѹD[g+=n&1 > 4jH`4 Mg)e# 8c%ob) W3ٟڜQmDM'fIeO1]m ^=py]NxN 6WWv|+:6W88,&Tx2FV*!۰,cA¨9_[̖}Õً*y2π8GMW^.\(yWFP2/:8Z% f0", NL3~aӸq놩5`=h7b\7Ruw3ҮcW5.;Rn=BʷMȢGQO۩Fvj{u1y n)3+Y =qjD2 nA^̛ف)NdɣFk`=]}Hm=T!DyUdxHOU"$SYG+U $TN" % rKwo %3bb y?N( a!pGXc^G$oDi=-{n>qgYZ?\ښnKE7rͱw'ê[6,.-QV(txҪ8 B\Uީo(\ +껋 kZӒ)LGo~R"O6@CLIw k}PCMBOV 0z/#Ҋ}>v[ =:oeFt8Ԭ|"\e ,Ʃ\` |dBeˏyC& keKsV|NX3:ɵͦ]MH0ܭQV8Pe-*u!mx3MLc!7F˒{[;9j0==e;a{A뾯B~Plʯ̼F݉]J>y!j8]>N24) w~"(ȱ'"_cDA~AW | 焄5{ pf&>lջBX h6Q/8+r-sxC o P'7v FϳkQqz`C $+,۱\WKs ө8AOapUg%AxP\\mS=jV?n=dzo 2+G+OYC |^8ոҒ6FFˤ#ycʝD9E,$<xXh%T8II>/FvI[<F<<`l'Gx0F8 pY8i"e>*:>5=UYLU=B!`N9J[+@5mjXV (T"NprPmY8fՀqJǭ#agBFҷd ǞcETb4bc孤 :h,dq]C^ q zץxzjmPeJ8NV(2|7.Jm:7ixS.B,Wg* & `f!'7a:2sL̾ \II?AneTA"3"b^5k7JkkH M{tc_|4A6y@MRK.5+dylEmN FvU謽ǘ%UqKmcJV-X.-44 qςϥt\NH.Mi.bB;Br[n^ٲs1f&YdaA-kߺv;TOQKdŷUp5oӞ|nbՄ2,T_s-;{fU^L[ww|yyR}n#Yjx ٭GwRUwFY{dU! f| a4s+DKS!0|mXDant+eP*aOziToL)]]"Gw{4ٌ}_?eQV(O Tiʍ _ơ/<Dի6i娘wm A="WCr) QE<}qF3x刻 ZE~&V CݜI1ԻޅWa3[O7%BĒ) :'*PX)ෑo\fsB)ĘF3l$uQD Z\wT<g*\/>hZCi`VF%snҸSW֑3+FRB{5\gcAm`u6\ 9+6F298A3 [B59گKƾ9SQ@̓36\H椪SWUJ~2ӵ]QOP֘/r 2_`P-ݠʶ2+T68.G> =4$" E-ϜW#y"b?\V -S=0_{KhےDK[M^>8`1=`!K8/nzJ7Bj!HUɛ BbC- >T8"nt@7pƸNAx{#ݮe#aC♿O>% yQ'<˰R4A\@$U3z%ao|lrJCJV 9dmHBAfǟҵX!@ n}Nw,P4t:<&b;K҆Sg=),HуV. ,;(.ED-,NBݲ-}+)ʵ'h K{!wZA{ 32;{745oc t(͵"b[j+ԋk5yeY}a&*ytrJi.X^LCURvri>}lkRkG#bǫY ڑXlO$Uiv]WfV:q`sA%q?"!Jx!RLJh AjQחLбV7QĊ,v=Nl;vجu{4-M)9LVD DKg'F*980/&{FB͕7J]`Ujuu/\>{ E$!%w'41Ԧ=[yc)' DoI]B%G$Uoݱt j['}O5(Ɓ  \>9zd\-)8m.2,)WÍq<Iʐ'Z  #Sp 2?bT8)< H4Ynisڠ n(Eͅ?[r 5T6f|rjOSV$} <fxls7JzQ՝$F9ؾ\6(_L7 yLnt Iў7UiKE1o /иe9R9Kq|Yv~`7 7~JEi2n"ńh?#\13u= <垬N)^