SQLite format 3@ 6 .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 p+vl | ]S]Girth_Chromatic:threads=4elapsed=76.905cpu=191.476gc=7.0367zXZִF! Fxo]ŗXiɟ{8ђM -Oz }I=j [Q }¢W:aѳ*;я>&iIՐO=7*,g_ R M>f %9b ɭ{z?7?Ɨ>{t)KP1Aߞv6?,HtkQ ꓹKt 9$].-~;mlt0[/cȭq%8cm^ysk4^PP/ Ӳ`dͫǜ|&PȫĿ.{Ԅܥ}~#!.2O Җ]x'=4wmnTeq^`M"YLVY'nIVw 8(dbd;ag{tZݷMFT#dl^yXZ"iåAF!kj'U <'f-zAlmC76u.jq/'6Bf漌3JfA#BYdX |Sκ &@|R򊈨WǤ"If`K^ 0pSx_ZQ 1+j=&z@KTe4cpzg ۧZU@f[٨H@{a?92޷L'u)V 3x<T$m~ 0$t33;G\Ԏ uRY?J@LSesl]ф>Ϟة*E@سܤ./ b>!dP[3|v\c͵GǁR;'NeL*;6k<5/L8}A]$k bk<[&+?ue{K)yz!x;#YG.,(mqeToCNp ^2GSTqYpEjzwnK-(?gYZ7zXZִF! }]ŗXiɟ1˦r+g'Dgr>{pNa5R]伨iHo)Ig︈7兄+}`MSvkKse[[Ag?qK ،m|FdQ"yN$L!Vf1jo&NmK)4hVㄨ*2&<pȱ }Zn-@FքG^xQ>F5'ƐvԄk;2 WNobaOHȕ24PHEaJ/: a=[\d0"`j]q]iq黎С`ߎ K =r(2%R[v X 2k sgYZ7zXZִF! ₒ u]ŗXi%B{&K[aS+lY%Tm.|~E3 0O-^ tC Z:h(zT)^ ":q%vo3ksOJGgq]{|y2f].wtuRabT/ q^iKx#X2y;~#Fq$GeJ;素1~"PZ'bqZP PtgT\djہȬD`*Z1=xCrB=)l7ܸ\-v{P@.vhԂ9rp\vC#, +W8#\@R d`AN$/#kC~5 + Girth_Chromatic 3D +M% Girth_ChromaticHOL-Decision_Procs.Approximationdocument.tex7zXZִF! I=]A-MՋhvG"uIBm5=͢){5sp]2Լh3rT-s@WjJj|C\"XÂB2kBPc|K%[r8yR& ZviߟR mm"TBnRi7,E$6c7w+,DB+zci=HKh+~3ɧ)j!Ў=$PO\pT1ޗ7<3S {S܀¯,GP)xG&# c7r)!8tNI^hQ^eYDlk!]V^|nmI+D¦vZ;8i=z!" o!0p{-QDcl?[ 2~cy-f1Ơaק<y mq7Y+M唃hkMi3e hڞ&|rn_e/1qdLEt'.Ŝ:: WC1iF%R0F|voҰC&>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/­*%뉹;Q%N x_h~s₉Sr 6yTn0ߞ`qvȷ&=2,(bu:hi>.@'z0~:Da6 D*. ~ E`m^i $BɆȒ /9L*%_0j J/~g ltg[h!sA LX+¯⦆KRf]h4>ORW@VDd|̢u䦣y(s?^l`mmʥ ӡi7gEKM Ϩ' 2C­}#\lΎďJz4@$i -8+^+Οӌ Ah@ۺ\%N%a??!Y%ǁ0;ev. !s;_7T$s*̂-1Okz ]/lI.^U6wJOꇏGs>.)^ ϕhnz̶H4F pOEZm\6uBJkVHSz~::-8%d3&~M#poX[Գ3q`|w\SyJ &2f'?tۭ uaj4ތa5?FyL{Yr}4jvVd$w7lU׬'wzC#mA!5 [T<q7zq/uR#XQ%m+[f.c= e[1rs{ĉC͛cy`ɫw艒o-"X#d2BLn][3br%Bo=SOT{!٠kccYKmJ @l>ZÅkV^AꑙF34ًpJ&)ɯr9U}Fc + MgPi]O Zdry=PQq\oľ2 1 0     ] ] x `  BRE+U%Girth_ChromaticGirth_Chromatic.Girth_Chromatic_Miscdocument.tex>+G%Girth_ChromaticHOL-Library.Code_Abstract_Natdocument.tex<+C%Girth_ChromaticHOL-Library.Code_Target_Natdocument.tex @+K%Girth_ChromaticHOL-Library.Code_Target_Numeraldocument.tex <+C%Girth_ChromaticHOL-Library.Code_Target_Intdocument.tex 2+/%Girth_ChromaticHOL-Library.Floatdocument.tex H+[%Girth_ChromaticHOL-Decision_Procs.Approximation_Boundsdocument.tex 8+;%Girth_ChromaticGirth_Chromatic.Ugraphsdocument.tex4+3%Girth_ChromaticHOL-Library.Log_Natdocument.tex=+E%Girth_ChromaticHOL-Library.Lattice_Algebrasdocument.tex;+A%Girth_ChromaticHOL-Library.Interval_Floatdocument.tex@+K%Girth_ChromaticGirth_Chromatic.Girth_Chromaticdocument.tex5+5%Girth_ChromaticHOL-Library.Intervaldocument.texF+W%Girth_ChromaticHOL-Decision_Procs.Dense_Linear_Orderdocument.tex@+M% Girth_ChromaticHOL-Decision_Procs.Approximationdocument.tex6 X3"Cjl{/" F9G/+Ĵl+&.&"$e1ZYy:k˳"V"j@7i:R{3ϲR)}ܰ#ggg~kc"ʩc%\~T"7%veZ^K eq9ӼR+({76?(ӿ|0CV cTrcDh Un)嬫;ëB&s"w uՑQ>a#FYF*N0|hN5!qX ןKr)4˷ߣ5_lsb${P)}I>\ʭ#}\skva& ʦ4kf曠DsHXw:9Q7QXC#d!|q'w&th ]!(*=ՙтrhvw껩<$KIP*˄i=,?e<7OBUj,6nhGL?pɻ;pj]9V~QC0MhvWbBjb?Zi9-JjNQym]f0بsMx̝jHx8235L\=xaG{ l<kǜ&65Q7xӮpx֋ 48g ȶ$ f6Y[>E U@j E_I]{}h(_۩qMjYp3K@qTHk^MɽcȆwdAHPU}oפ="e)'^l4a呅T ;c#='y'c)2e֪9oKbI:BeY2<{bg3m>X`*QC@~[kOȣ,.$K,BsR ꧥ<1M'6 ~90|J?6LeO0#S^C9c7TC IɌȹ'ސ1B\HT?nY&=C-;Vú{ #s7z% L3 lJRD{~*PDٟ ]Iu,Nj}%C­V" dSJ F(o}~9\9/5 -̌_gdB<D\ft=;o 6s3cѤX."cCp>yI œ"n@go\.>13 6g$lC%K^r3c:)[gnw+MR}VWx3j9ݛ/;q@b1¾S8NiT ߠ,4DmgͲ]E21?ޖ<gwn D*$*N6% 5žElO5tC5rIV6 UO`_D}ak^YGTޛY fcE(Xv<Յ8m 췀F{o\k ٺ!;sKZ{TW2hZ2QܤM!DY QR!YGqG ~_nn17ֺ-1ߎ_JOw"wQE5fC \!sݷ+ L`3c?x\ĎaU_z²kmԯ_'e VzhxOeZ3uf>4``٠WLHX`[6t7,t>kx1K*!MfW.Rp`Uґ9Jo][<&S3Q'm/%.; L 7 6sOۧuBҮ+åDG7#%ueE9-ЁKhdfP]2AJ[7Y(xTkYWׯ}xU{w1{:F0?ἂ$16ڳqZ~Fܿ]gr.5%>5L%(p3dFNRI+!n#Jjobϡ֎z,0+IA엇T6$QX3ړ8Ȑ=3rUn*9;*EawI)e|@"9~L\8gJ%WgAkl!crBJwV UX_'X&Pu$ҫ[udUP>jLz96uDB"gi6l?@9cc8o'M;5?TK&H>?l[c 0]`Bu Drt~\so|&'ok *ա`V P/w(HE~f~ϠT 9 brۤh)ӋdHH+.Hi۱xN؋nJ>33؜,LuDt:IYֈyͩpg.5oТZV*O5HFhyqU; !Aj/=,Foft95G.O E=·ݏem`^;`K:G8Xb.G ,2Y-Л;qVLGl!mK39%èhdͮ;=B$^܀G`}'Z|6 ڎfj6?ն͊&WsQ[[Cr녔L&l"d'J0d¾51fs_8;buiLAa<8j=‘[>ѶʹX&G6/QS$O׏(^-b*)gC@$@]~g,?N~&ÉI>pkU^䋵M z O)00hOBfV>dCTC&_ل٧Nz0 mi~xxLh6%$Q.2̗JrBБ:rGY;.x(wJ_qu 5et\]Fl+l*wDkJ&]z |s_BR:G/t8y9.3sGRQ ?`5Fx,7fEWI?H!'tߟz5A)nJ: l@ԧ ?h}xNJ;)|ÀSʛgºXOzzx'}wP.*сrPYP":^ Kc96eVo"/$3eGTzaI]XcG\0:1_?,D\_@R~kS'V(Y'p',z$dB@,A+jP&(\ܫ½ð6A3:B:UwL*;ꦝ{T$jOG`F|g^pȱKHE^NVJfM+۸oAwf{Ug!fԒ! CIO Lg,=Irc>e(o#Xrd jl-Z[^fyN@gf@9yu}rј<տTG`8SpQoNn(o$lfW$Q HE 5BeҠI̞a&eQ.7 ÔTC l{~rb6,J?B!:n_Rc5*|٫hW|j>&Z0r@e4(#M,[0fp^OMo8-4 d FDVgmP8;!Qs^_`3j^4e5.ռд.Hk-–h+:`cGYgOuEQxoo$#cPG m~&!3}PoOvX )pC O (; !a)ұ~LXtCn-8bE@lÊZ-y)Puյ*юγ_)n*+U !R G v퀷S*4PߏU%~ݠ0Ϛ)bT/9GDi`wcE+ k5)hѓT&D/H\dn=H5so%=C,+"A -v$$U}HWT*J$"fŪ*e ~Oꕃ* ..8 ]ʔ($|[ l.25i{|gc?Ӷ #Y+F+ W bQ U1_9qξM1rk:-vEg }דtd<£fHbمrG2Tg'ms>O5BU2T[dizֻ8@^뉲0p\#Q Ŋ36Z\^l)Y-urwŭw99&+\ @%P$F/J?k}C-䥬A, 9ه|ԣw[fOqee8 +" )eken a7 !(a›)]P7QFpZI͸?sRE~z==x0>p, SBRN:85=0\.{=BwƊ3UGkgn#i`|stq6Q.7#W?_Z& Ӯduf/CWv,m(pGSr6F4NHtth)Hmц]ñ2跞?%p|uSdJkiIyoy2B칼iw. ncn>llΊVY{HAt!MKv. bI8!P#q* Dx0瓊@(?Ty_A۲~6_%PaђI$ڐl%*,Gױ_%[+M+Κ +k/F슬׽GŔW\}ہ`͛R:j%UFj^uꚹePcU8&X1/[/8𱉌xFM a QAF4|e.JI|+:C:|a aA_mNʓ6 Au58hy$- f7r[2e(LM gف|!9hCuP&9 LTL3X[?BT%4[;+و!-mGdmtFUVvl:^qZ\P8 Qp%2}jx<XYe!_x10KTA@T `$^ za_ԿiD4/Kʅsh$ %fé79 3̊v2mdl9$2u?Q:;="wǭb&%wK8a@i!<w>C/qކ"+BNhJH9^OVb޷fbd#C]N%h]?x*ZA;GGyQ g'Fnz>m͚3rg%=-=aM a;UKa'TqPvoY>sk|GۈS:yd:^&ir\wV"g)Vt9lC_8",HM2M;'KC״b̈[U!iKF .(: ^`ZqB0Hl\~|֡=0騷@n`ʟ"LD6Ov e`SO֊R4W{qNQ~qܚs/ĩȮ #5$*G :tT;ů8[}?P&{y*?+37(MM8Cߡi"V`<:~dbvYu4xiDHy_Gjmyʐ_R ɋ'ͮT uZiG!W}֐%gi/;k>Rre&󁞋 OD>'#z[ 8nD˴uR/%|9ߍח {E/o@}\4 7d>G1ن)R7Z "N8~\&_hPOɑ\6#[GԪY|'5S֌eߚ.Z|%:b, eY({i LX5آGYf%a>m2b@Cz4/PSYbVY׃ߊ,_q0$41kݲzO_gq!wԠJ ,_u*Da7yn7 t"cczMw3 hA <۾Sa)u\A3$<\#bǩ* As,A)VDkàgToAȂ= khnP<`=v[Q'wmV} 5tS&+I+"!}H{CaWUd5W5.$aQG xOl`x;5vyu@X)^2t*giZT*P` ܅ 6OӶwi+>2.{XS(;g_ðFa) 9꼦FpMܶh[Oak0.XI2a="\d{jy􅘱/b!ռhA΍2]pmcy0\4 0-F89~ lM (w{^F\ʁm"68k~ʙC%P/~; 9$pEX\cɬL~KIk_goCrQV )6:!f_|ϳ2LR!t_;=ˤTK1\CP@9ߩf H8|_&ѯ]R^t[;Xz`33oqX"(w!x$v|f"Az(+ Rmj^%P2UpAdVd9:gg$ւYkrBF"&*p OVUItgzE63dkxȇ\}!Cfq`[2KD.d쳖BwKi5 )$~͠G٦2]"{0+N{E9 ipqWHX1 .ǹF9K@(?bm8 pIc?Bv:fC vfT HWq@Y2l T9,d@" {Zl5+ lEAhT}2g=ǯcWj*_@* 8`0]Y,eZO|)m)ڌ6M E$ &`-NS-M`6%'5g8|eaܰ쳆#B +8#"_&}n jG e; xP$5$:5ar|b߭W4c<]>6tcVYd}#nf6g|P$Ua7h{Ī]z+,N~4 |ά &Z7_vSe2%FUwW7fqh/5IׅԡpGWqA{ Qi@5{ne 9ڷv-ܳ;EBY"IMqa(=sڣBZvZ8%AWaߡ˞!~*6@$aP9I=3`Vpk@YA ? yM9cGש\r/JCƸw[2ő9H\wZp<"|. m' ۴虶;UMnU>Ύ!X8vC:q[b5Q΄N+@L9iHy-Ϣ{; Qr6n*Ty|^&5do0Ye{L[JCp9@U`ʍuT ȅ)z9#4YT3]ݐ/$($~`m L "u\zT % Lfsw :{ULFq)~)_: t-c|8'7J=Z aJnks_ӊ".i& Oǚ~B2ZfmdXN* AX!zc#ӰyM}["~Zy@ۼ> Ik?(T+%bchBBU;%.MIgI@%bF`Q@I5(jFH.c!<66c_VW#C_Nzҗt-z`uێAL1;k^Gwj'G^jʯ#]A‡IoBVv}3 I;|fP4gJZs`"ttBÍW)E*PTQD<%V< T#Nc);WCyZ~t.zax|Lfi\y5@(?IӍثLneDH.!7!~ZҲܗD(-5xO WVf9y }gB`*?m~L .dk&ŭ?@D0fnըR^Hk1"m>qGbY_DL"!vxόQ 8<ǯ&6HZ`3$˴6Y܂cW*u0+~hG%qrHR)BVA:ӥQ[X G@:g \<*;˅7P\"ôw(TkZ4{iro6Ks`ޤ񷴟tBoTQBgTKu{IrW%䈬2:8l4 E vB$j&p38فr80`+8:Fna0VV!ٚšW9iUQ1At,'=A[xUN'nTEJ>ӣX]aTc;|@5U"|[4rҷs6Hѳ<V#mB;X b\[NG̞A Vq}y?~-ƧٱPhKߌMvQFàQcmɆA6~,q-߄UZ.1Ces_mv Z'R \\VEҲ崾9{zAt矅N" ,`,v̲uE:\ 'H=# D[;eC2Pw- *RkJ\L2c;0} ZkO[f4`T@ИLE {wc)oKvVc|]x_8Gz!ӫ/$ߐ0㛐(7:3Zǎr!WXmvkMrל5]`XB{)׾vk j$1uDTθFo$ zƘX^H m fs͂<|BY`Yf+Qn;y%: gJ.ǯf(%DKGᰒƄe-jCqMcn?\KD/`L>L:js(=b6Ȁhzp$9Gӣ1 . %K8~4YmOd-}BS BaSO0iԎRL0W *]k\8a  ?JecޥR{lx$·oc W"RC(HG^IDkꝙJv#ƚ-^kB#+k XPGE-SrxLA(}N&#ϸ^rS*2^c-svre{fGfw_ |Oz  YKY(Xj"Л;2J)x Y}c}-Y[ Jb?vm.Qpn_YE8,S},&36ts3➈YA9ۺ bI(@AcnF, MtY,z8:j=1u c6[6,9IЅ>&/X4([G Lֵ|pLyػ,B vi#}51pA6Jc$ojckG gjra!Wjvf뜦]k,%Ġ7e*S4oEKh͇L0c!嘺VG*1Gw]KMkR&j\\&C7{:U*2m8LVpÃ?/1> >R>̞Ħy>;[!Q% $l8ӇoPerB2Y{7Jӵӫgf`_g}à1BV@1+l15Z«7jW4w97g`r=)t}~X[yeIdA(i .C EAh?Gaݨ?2њ|ue'BΖW,p)S?N0ol6HÆKVs8%h6U8Q+2t*Ϧ˕Ye#{aWAM)0f /JƉ7@aH{8RAFD6Z1)=xݩ"+Q!oy}NV7Ӈ:O%ЬٙUw[ncRe˯Hx5|N,6B՝kL\xE]N&}p'ŅHp= QMS`lE(vl0Zu^%n^EAwڛsw_LR*E n!oOIFH^QWg#>V'n&5 ?,|JXꈂqÍ{XQF_)n^`hmcL|z`0SkiL0\t &ɱSLf"F dV)=1wzퟪq-*vN]J$j MgEc,Cd3ӜS#Qe*]o'E19ȵs)ku+! Η/8Hrчp(&ӱMCh]YA1Gts56% Ltf~5t[GȢW;"8mJ4׆yL̰X '1mȣj|Q3[&`ZF#0h;(R~XgVs)9LUeԪy çNJ&ɐJ^ x vk4 L7^NGd/.i$Z \؃[A1;UmDRė.{g%K'UdvH;=rA~qa$=dN@34 fawx+Wv}jv|[;`otY{ύO2wtmeA>/c"qsiS-.nHޮĻd=K?#v́*G"ى*ۨ!j(@x-{YNK}(D `_Plas!v= b@LM> aHfRKdy+&ݣZJfVbbY;WpT<е-.0Ɏ%t ɟ-k{F0=u7`}jל aw1׋0 a%ڔF**ȁlQ< NY $R=֏Vn7xWx+FxIA`Ā<2ϻU6|A^`OK=g67Np3i^oMTnw g|H/ S"߀C #˳2=iQG15p7Y AUB32 B%DfBAQc>z H3ğ˘6$?T/ĈY ^!Ӡeo@.C&T^XsPL57 Sxμ\ J. ,l9.ƯndyhOZw /##2"| 4deinvi.Փ"J7 lڬ*R XdaTRْqOgYZ lCњ(XP|87=d1Żz\,3p)^>˯q7ڀZ ,w&ӈBfo љd܅uhB8t:bFe&]V6/(<{ecGP`QJ !ؑ@PddiCq;J8+㏯;FR&\p>ڻc w\Vb;.X5.qbM*̕e[Gk"LEXG 3N*0bv 3N 00O\"dG2Ošeq .Ga[_.7~2cғGqֲ~৿AblUB8c:fPYՠng /_׎Hj GElaN|!i: 9ԏeI"/ɥiρpB5ڗU`QԼ%ub^k&d1HLRǺ >V&$?*\lK'v;hw162c:od,mmg5IB120EZk9 gXR^tLg.ԫ+y6:ƙوZhrϘI&B#-#櫥tq}qҦ\m~ы¶j)oSX ze,C/#m4dխ aOxsKaʜ88 wdn#i2,N/$f6t%I Sr`'N=}@UUIlIh\MVJ0||HܖnIp#tc4):E vLT+ԙJUZ揨'})c?S6]xN ak/QBӼ })QKP&"qgqkN#!u͹],%%+%ڒ~zD1I-Qpj?͎jb:AG3MD^0zA|(@%-) Sq:K^K6a#}OfCxqķz.Y*4q)x5t i a3+!9<~oȅ5t ed%d ׺.`4Dz!3/ZOfbs40~ * ,+T?ӁL׿*LnPmS;-DD^S3E$OGWks`=¿y4TS T7KgpUpyhl 6xeM0WUbH7WPrp8qn,<cÊ6i.kKjh %}}<:DHA>_硬9i:r5Ouon<29:O=&4ʀU4es@Ba2.L݇4V&*_g|؀IϐKS6Ty|̡}*PdJ؄uUcI0+KH"=Z,O`=sdd4z~w6V=N-n)lw&;-}oޤO>q'<T:7f pEO5\W6G. >uLhzZB~/Imw+\4k9XlWڮwTVm4"l 4Bn2!¸}l^։h6^7:UQU pZc@͔= ;q8ʆQW45v{n3U3.7ZN^cF|`c&^,7V՟<]Jv%,;Җө-aY˒/ե$xyU:F(;Wx~bׇ>x/- ;y _5D %@ xOܞZ`^ޡaQ_ |v1n.)uQv(vj Ќ,(V̖!Nլ%+@u__(o #R\dFkI`(7v  t*-\ V*pg Mo4UG? )q=ZOali@&rqTy4y~h"^I]q /ʴE/M~|Xp>kh[CVl &1D>lcnUi3 3Qؙdu |kGĝ#hlG^`y'6i2uL(gw$:m!) e "?Ex5bE/忢UϤ!9P9BwhSQ"ȨK<r/DZA!!4j5bsXQ[_?ͫ*8^8+՚m Y;E41#$8G1&Ş֭h[[FYXSYQˋ?@$P*X.s PVİ7;rC8iY}?o˫\^+ye\1qq5]y@K^. KJr([w>"n|hn0|b+׉hC$'7-}_DDxHv5&0*4)xI\q>K[B+ CQ+v;wI?MUJasąDUD6H 'x cQ~j#.:Zp:e1 UNY-`N/7|:f!bqO>j*(*F˟0|6pB /#k-YBo)vӣc+ӈJ 24Z6& ŧ2U=^+ r1tf;!^'X1>E}?}n6Ɍ=(̫*xx c6ݢ;(ͯ.=]42jeXPsb&AZR23]YL'p ''ɔjm٦VbWCF@"*/F nOVg=T #K0v#: +h7؝V}l$Lo׃g`a/ad7u>m)Sm{PDo֦&xNC'`.Q2NկQ8C,kO> S*auć,OO n2bX w]x`V} |D{ŧ3@=Ogt7d3 @KַsqGe1cWE +ܪOm@&,n Nb/,?/Cw-0 5a/DOeEO[_)ru@'Rr}g覔 ~xj;_i %g3sTnf7Իŕ@ʖtPc׭* E#i m8~.mX$=*tN_v_OJhkN(jD9dykzP_e%?5q2#A23|ю>ueSL1P-53çy wZ]hĢ0ԑ,3ڐ!f劣ճUg.Թ;8jA@0g .o *X,~|T't!mJ}\ռw\YoC);D2x5WnQ5sAa` n$yA *9 cYi+vZͥu( G?lr`ﵡcThC$GFdj!5ѳ`'tf¤E HD>׉1&S-'dm [&Quq #imfרɟl 1 +2 \┾ɛvZw'+JtX1ޓ$ErY]l u7.ck%6&2VV˘P߫BE/N}rhlpQF+ޞ ptCyb2'v9qaᴱnZ QOB=- Ήj;/n_Q1N;YsU 4?`?_Px47Ēۢay(Nx ynD@F>8z+e|l xr k⎑'I]֠oEA_w1b#5ӥ۷g(EpWى iPoCwR a@rɞFlS-trPIfxS-JJul~Ȕr<J2Rw20i. :kC V$;jJZ&x^٠a;QuYenN3qHӏ #c?;8نUԏ;!KK JhPӖ+_Dވ=[HMYr N \ow[5"04Κi6]2yG~ub`v:T33~CVK鷫2ՕS:jG';s.Ov|AX9~ݷJ8l6E`qν e[ՒuJGlWh BcOO5wRxS[j،\Z^:OUzؒ}ASo\ȁGTKI\>vxVbXJ1^|SWP1jEνii[(.5nG>ښXNy%Ǎ&ac/NX:䇝m-rS>HvZEm9#_3_4ۋ ?UkQvf}&8y^8y`Ei5Ԑ~_ 8eoS"?`嘶<㐏Xbͬc0kE? -*O/8RJ?{S2؄~Δ?f+8`7^vfKj Ӽg[5+i{v(qDՔxcW7}5k{m˼ۣI._M1qdkq+ۉwPg&-qhStђ+0^k$M!2|1K.r;4(*a}kdȩ Ttalf_&pbzJ]Zu00 pRJiQU ˬ$yB|"w] eI@5{C7mj< ?e/lj%LlՇNJVPDBbK=*zt= dž2G]KUrQE*D2pMi0r\J}7BbٺN(glotTTPZEF$aOVKiAx8OA +rXԸ!PfB9>qwazp 8Ƭmeepmleڃsznsg;.wS&&˻Uoa] m )حb·dQ--gg? H2nM1S u/9$|EOw`p?#4&eڔa9(R/0vK7f X%jfhv$[X̘n')E,#; #™ Oɟn@׽n6kecVemw0pBj~QEePRgTMh#tCcPfz2cBfuTit?®xÄt>MS$WRH)b_PAuAh16KfXQ+eFP>jk9 |(ۮKJ{2|0nzhXq(dUS ~M}8$5|j7<|~WǺB{SlUCCR.a xorF7˸DZ:Uze̳QsY gmH:N9A<ϵ[kS,^ȸ@:[0aҹەk;' |}u _~@NO\^O}F^< -Q#6~ ڋZ =!yaSOʳSubN.ٔlrJ1X.&ⲊD TgU.Wfa6םNS g,pb՜A^w*ƅqHۀI%61%m2=fӲ I)"]'{rW}Q[2p;mskXҹtm7<"xC) %=a½oMRnf=|n-hx*VVVI&kaP.{ 6}=# ,HYCW4kF35).;@/8u/]Z o4y41&TJ17)mqjwyEщ*p 6,ZmS![2䫫%7TdЋ_єF?. o]~0 Q*QaWVesdZ 9;, fa EAryxwS1I+KI Qc# \ʵ7^ ![r~Ɩ5rlK2} M~!m}N i*4-.å?LVB둹8kdh1V i:iw8hDEW0E9>Hg}QluέȻ*dJiq@{Rʅ!F-v^:+T9yy٫@:(K%D~apCiY&!nc}N`l0vzh6)[+$t|"Il'|J2lU%/):SQ3ѷm c!@L(4ΌP  yZE[rjg/A$yd}<`k@e6`S + گڇ͚Ԋ(ee<ٹx]b̀5cE3Z^]mϜܦf4B(67Za5u9q_"=K? .\&N0~;%Ҡ=?;*z.vGΡG'|P['35#᷂o}CV?ܴ)dꨧ)t^Lnqr.n&6tov{wWdwQI^AJy)ȬG{_UrЕB~s"HOˊlBigYZ $$D +M% Girth_ChromaticHOL-Decision_Procs.Approximationdocument.tex7zXZִF! I=]A-MՋhvG"uIBm5=͢){5sp]2Լh3rT-s@WjJj|C\"XÂB2kBPc|K%[r8yR& ZviߟR mm"TBnRi7,E$6c7w+,DB+zci=HKh+~3ɧ)j!Ў=$PO\pT1ޗ7<3S {S܀¯,GP)xG&# c7r)!8tNI^hQ^eYDlk!]V^|nmI+D¦vZ;8i=z!" o!0p{-QDcl?[ 2~cy-f1Ơaק<y mq7Y+M唃hkMi3e hڞ&|rn_e/1qdLEt'.Ŝ:: WC1iF%R0F|voҰC&>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/­*%뉹;Q%N x_h~s₉Sr 6yTn0ߞ`qvȷ&=2,(bu:hi>.@'z0~:Da6 D*. ~ E`m^i $BɆȒ /9L*%_0j J/~g ltg[h!sA LX+¯⦆KRf]h4>ORW@VDd|̢u䦣y(s?^l`mmʥ ӡi7gEKM Ϩ' 2C­}#\lΎďJz4@$i -8+^+Οӌ Ah@ۺ\%N%a??!Y%ǁ0;ev. !s;_7T$s*̂-1Okz ]/lI.^U6wJOꇏGs>.)^ ϕhnz̶H4F pOEZm\6uBJkVHSz~::-8%d3&~M#poX[Գ3q`|w\SyJ &2f'?tۭ uaj4ތa5?FyL{Yr}4jvVd$w7lU׬'wzC#mA!5 [T<q7zq/uR#XQ%m+[f.c= e[1rs{ĉC͛cy`ɫw艒o-"X#d2BLn][3br%Bo=SOT{!٠kccYKmJ @l>ZÅkV^AꑙF34ًpJ&)ɯr9U}Fc + MgPi]O Zdry=PQq\oľٹXHN<[,T[\EĖcá u Du< +5% Girth_ChromaticHOL-Library.Intervaldocument.tex7zXZִF! 3C]A-MՋhvG"uIBm5IQWf∓gS_\i=ͪu^@ݵA ?Ogy#tlĊ(@s]q44Hp1o~jd<}2)kemb ij2SYjgWrr9q@NEa򂑬 m"B'򮄀d͒GA} Az*גLs/i]-_B"nhT:*}-.pZ/Px y%$TL9t6RTatI~i䴾@9H WbD؀{q%jd=mJWћkc!SLCL+)b}pNSV'LځQ;\=V)N5rlMH֮ﶛ;e8%?Vfwkee%l$#OGU6&mDjAXWr.|LvjI-- &ow;HBb9z/a{Vw$mιK@xgKrWDK0\qMdmY`kS:ݍ$j| .}`'la@  xlENdNý|Q7կDn֪2{G O/Լ% F+XR;ڳRnm#Kj(8C%_+˜EûU{Jz/J?_ H.$ "l~{UahFoDHO(G, ya;JU0+&BfΒ$I3]Q[m2ئG{-D3JP2~) +W% LGirth_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ᛌą&VT9흩}fŷob~ Ȳ" +@ N-|_nk5 .ߘ OY6y^+F>|k"tZt*b 1oЪ{5V |2E-*o t(%ƄHBVү1 UX?ӁVlT̲CVPin WZeҫT[.L*T'E.⇋/YY/jظznnQڡ}[ˢ jYr%#*@ܫk`N B?_jjCJa~JVy4e'NSd 9*YDJv6|3*6Y>/ٜsކ{?izieVȒ 1N]S}3̖<]'F>\p~`Q88ťGN)Md:e~d~>F]JXq7DQ LUxI^( *ٞv-".gU|;N|X+rQ\' &:dG1hqiXF&v[n۫wB*}邱7V˟{M+31p$w& W,wfs..ˉL{F U_7O0=}=wfZ su0Bz V…JfmJ'D $_^n=cSF2$<9RDqA #$WF`pZ,%$h)i4Dpm[p[nfN[m6cT?f̷;@HbL|A:JQ9w3NX͐e)R"S|]Rtu+- @` 4lTl*$ɷR`N5~:ISݐ编ҍ~QfYJzzq5SHYegF0KLnh]*aԎ=OB )˒AkP<*w+;aqM^ѝb{G~15PK@s\ VphCm8k%[}?4[fD .ZcutJXr }ɗ-kd[ O-h7C!!9 .An.S:dR@/4dYlJD{xυ }fcLq9ȺVG)=MY9CXٕUn8+EVpM F,:!H߬ [wYӁW? îY,U } /An2~֠ɯMD!,g "2*5as5wO$3=A4}]y4@7Z@[Eـ|}F3>447k*1爫Am=]y%.IF_,8}lqRbWƉ`p{.F9S1C XOBݷ郭gpc4lu`N{ !9RQZv:=ՔȘvnLLj61 Oe:aڀG[x"Ѡ[1X5~M@:c# ꗒn>>*KL0I|dk6{yX@qǐ3qڣܖWv3d@W]VSҫ27mP,vqIٵUaȝ_zυ0@ $ K)HԞ>'rޑ qъ3coj[,?*DW2,BQ}f SEhwJT\V.\Nh4O4ֽrOĶꋹwzL qyr`+шQ|9m/O"Jܶ}|YQ<᧌D{> hfZB~E;ϔxkJ*(Sm&Sn6oo7*?s_GBYӉ!$j3GΣ2UDme]?q^sm1mu7W>AsQ@Lh ̢ 6[C }l>ꔋыA1=e+ָy\ RQjtnݾ'[,IJu]畜?e(͍3=s0K-g̲?oL ma'v1ْMm|I+Xb# n Ȭ"RKO=PUWvlvU ~Ǯ{G__1=JC1Gi+/ٓpkiT-1S\>!-&ym@udSZbg~km] L,FAr `uGHfXHnOkJD kv@IU!s6k_O!D6ڛ.$U;pSKRJ=t ֘},+bĎR!)]H!fOl.>ۘ6gZbڏX <,@ʊ8Mi[Wf4p o=ǧ]>鬬у' 喛A;nv R ]̣'uK,}UkbJSPXG$[ԅXa뷡pCSɼKieuPz~.cΦ,l26>oZ.K(_dDI]umU;kbZ"h DRsFJ!_1 ﵄u{Ȣ]ܕk{9Mn&~?gYF*[_Khz2|PE/\p[~9(x:+?OmuaYzzn0C ,0y͛q56%2ͭK@615h$[| X<08twYFsy_ J%2YOl+pq xz+;a2OV8xK  m'[j!qS$Lֹ~ S~EY{'zbDžC`}ZJCXTh2{%@Ԟ`њ\ i=~SєGph7bqh clvCnyXm z<=d> onxF u&CixlaCȽwh$AM.M{kL @D{rZvg bUرfZɼ[-X`b\xR'/K~r+m#I;,CKSE3YY{t~bV?ʼoQq쬌3Q{,,wwD琡|xB W+皐`b>yQw5K;UPܛ+\»Ó}VB Kyeץm_lԢ [qՀ)f+JP,C᱿f=7~%cD+ [G gl_Pjob#~.y0鵤>TI-E*S~ˀ˔gjlp0TP6gqO$9Ґ,tL>ήH4bjݴႭofzNCFҟY$ĺWE7.S [XO=LzoF@k;np饆z^(H/RkfiYj;=t9bnZ/`dEA9XYCGUw)hZ=,esx,OHvC&ޖ~z1]'DFޕeT cYB.JOP9CĠAqVb>_?oFKyux#ߛ0d&c}Ы$c3鯃?YD3gT&OehM!;U/֮ptXS8}, }/!*qDU-4jҶ8D#.GgA $oѫ[1B:mmKtlOYb;rmѨXE4deF^EKF#.&svIcrsZ~ւе2(-P3^NmU2~s ه,XEO\aɰ̹֨R'@)C\/;yL.¾RkxịxiW˕гR[<:4 ~Ni 0HJ y-mOզs.و DusE]AQ]Vq&eR.debdh##%ޙU䴖ɸmS gխyjczzDjhQ\z[tg1;Je^Eq#U.\ţaU9}ٍ1SqEƝnf+b.#jZ=M#_O^zNU~NH;`|- p }#eq.8܆ϔ=!fklU?^vlmA3?6)zI;RxU,c%'ʑU[Үrfx8;HT5YMX2y{M@ iseq.Ul6Q!jcCYύ?rDl{YVjoj Koe;X?k9*WT G%q0dcKNXs䀆M-kH"b}S;N~<" 3nˮA/~-3D|,ˣ˱Mحޥ G=Ok~Dł\ jo}@p~D'$ N~Һ^ ( ߝ_Z65nI $@yW6|~ G&م޾/DqTEka?ildthD-KQwzvɖKf] O)``Ζh/6&F0 Qݵ4ižqڠD 3n[tPڴڈU :L"NW}ws`(Ђ3^RxU&h ph>~_(=\wiI?;Dtzԑ8I[ 13>zV@FV{ַe[?<"یp"GP82~3- wc"Uu֠FZn<7D͛3?5![,EXZ6U ?0SQ?Q/[9_\)b^ km$#yJV&SkO.}i<~Wh!< '2^c?sNZHkҸBۀ+s'ŷiL9Ųٶ(Fd:%GPETX'JMr(+6aɕDw\bMB/,X0s#5+OezH</{R$DWf@_`<[2#nR:5MPV3;ZbqkInf@H=ZW7HKVXl ^? P ~DYqXg[ q^N~n~N:3Q|Ct'7V΀^ ԝֶGQu{z}'8[H5e68ú!hr/B3?}||滣 4VC 3-X q,\DtnjЧp%39C<6iS)+Kג#h|QN[e^ 1e3`g35WrN|i?0Zg|Nk߬N,72J9s='ezJEJ _ z?5-8{Zi='PuI*Dם}wB .ˮ`bA[KHsDmq'1` $QY&PƲs57=LJ gCċ8 4nU z!ۉ0@k4M" >YQ@k+W_譾/? &,_ dpZaC:cőVs"wςÀn.b0|j=qO@ vX7zG'1=RBn8r/o}݈{7@K ^-F#5dq֎LY4pf؎P|dz?UA[؉ 6UqIov[Mπt#".ɦ"ǁD= fc5mu!s4{hpF~;G1E5c 36`JDZng7mo _d_Yuf/vW\bQAg@5kcA]mU+nWmF|#x߇+.R6aG%KW{.=ԴņmICp8dc5[Yip Ht%_C559t@2Ws8R)? ѣHͧIq>w-:=@,lf]$ OCWȕ6j,=L-Y=]xG09CP:tC0)ձY(OR 1Pv0G+=EK>(qp O$` !n6iV`A&ݎ֧0Sef ~Auk`jWp\a͂_n[^]mQFb' |dHMyFa<?rǗPnBhNRj4۠n)1GBp;Ǒifܓ4Hd=P8JG.mٷn`<1R|5 hӕ7 +W};X.C\Qپj .~ f>\c˄=X ;Kp3Jq!G)WI zl˱llH3_~V8刡YI> xn_+12j5^[ /[G& =ukҝۜ5 6'U# f,o ZS5n)csh|/it4x$nL9ȐHtcQkiFgD`JqƋcRq0vI;>G8My%yb. |wB]dj>]v=RBɈ2pDwlR WR6A#\ Ǚ G23BMl I"16a}s8y,[4^&E?O^UJN--?GT͠ӟe Bj2mYح~k_#nۖ9-4cDKݓiJƁ**|sK-" ^;PbH|<ݽ,A2ȚOaҶ <~%\21|+6=zhJYFWt/|#aRI1}7tJ 5-cYc~Oo\>aJY\|i_B颫ʪ CC}P%yHSZkSqq>D8pNGm/\4ھ mebL75k2#O+E{xI@Z]R|;;ڠ;'EO_{xY۾ pId[GǷ! .ï[:_ <' :Am`~75=IyOx&ً\+ev}!#zL4U(BVx.Raz85F]`+/!cuCV%V(\e)qls>?v/0CyE됂Q&` DnL!B$o70#.܆VcI#6H[xZ LB2~efm Ԗ?8eSeq7\@ ms_)7>'Y/1ڲ2ƞ'iC8 _)M ].*=5Nxkpփ,N;UfT)v$7)V ) *zbsH3uٌ"T]q( @R)4E9 !U40` E,lR]r~VBT@њӨl$37yjQ'E}(i/Uُ6TXQ)H,|̬&,~2#wMqa( 7s<"0j)&DUx>*;мXK(iɁL~}HoW8z{5G.< hU?y~&w{bGp3r>Mb=Y#H9|WՏ>O~ [z+yl{'4Ky_ږ3Ɖ|5݉CNm$w>QAzǵRe.e:psE|f^-sB: 0IP PE;WWN# zRN:|=Ix%ࠒ6@8~UYSUG':.x$8kFoaɏ$0Wo$NK /@f=O|br/ӽ?ՊR`&|cP=I>r=s]*xZ|$$'XHCn|)8MBŇAe+=!<0&@z~H?Vޣw1vw"]onږ.ԜhFqlP#ѧG tQR6g+ Oe1" 3z,kx,ĤQp-Wx3^LpL'3׮49}BUC.()7gNt鎱kR5z~$oSlh?_X᧟CdD?1fÿPƠxՕIADf,FbcǑ阠wsQp}bpHgob?]< 13ÈGQ'fIv8'@I[W_mb@SzT%&q'YLwȖѮ8Lhj5ٲڴF^#-yRVzLä\8 BV ߬hJ~S@ڙfYzxuN ;Ψc%B D˴.C<h"%B& [, vQ Aak[w7Msm%)9 F`CאF(3ov ;˸0JbБ:m´ru֬N?Y/JF1n2Q"1;8w|.9毺.ٖQ<)í`oÖal+"!ŇX5t&F –o86Kj̵lkȈβQoz踤f gYZyqb@:QSHe4@djQ^eiO$pҫ5}nv; &0r{3Kl'q(=5%7f_U>W{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!\YBXc7 ߖҸ*B7SH|PޠU 4j4e|IQѮqX1wvH06b``WxA"/*92wDUCnq3>o(QXX"6Ǻv7C3L};w~[ܼV6v |5O1r4:t:Of¸,D ~#w =+0X3ɫsvxGPVuP]9\ ! n[FD0Yxt?-LvF4EӑWEPY?@x emgɪ2h.&zyhT?!{;OAI0DwT W/ׁ`sv-$ y/k(tg0ѿI '}a/n&lh߾H'M5*\GĜxnG jk鄓.{KɣRf)?@:3)ӐhYHt\Mい8T3R;;=KV\xҹ埥=u{}f eg[ oD-܉ɉƖvJ-n>3cU(GlgVn\^p-/ٮ"1:Kuz]ϟdS*Yw `>>Ǎ]G9xhLr«8!^\xA*^uWU˿J~lRW5%Bu#q: ,]`Ԥch(e2/x?B-d_(@߅ <6Êͫє|:J&>א8XVܻyhUd& d?=2',RMEYY/&$ڪNq3C'o+({ TIIP168-F5SmEw@Ժ-F;6N},CxO]Go-! (Μ)W<3Jݧ$=9hmO |?-P<Q_7a⍜YS}f6Mڻ*13EXGdjexqdI91Qmr8 y@^7Ufvb>\%ۘ3=y!Vͦ[e:i\;ĄUJVTV[ QwmeuWdy F2`rU"]WPBʐ/o@`S,9xle/-࿨02C;.O;\1r~omэQ 4KsQfgqYZ"J_mTβwl[[Paڽ`B8.W5K#χ4dlӪk܎Nuf K *L6@r yh$ 9Pؙ##Jd8X , aYMF Q< #KCssKR[8ѭ|]ӴMo de޸0RfBqɑ]>H 49gsA私ww[LO 8#{r[Hۊ4v78j@|F0šJ|á8ߣ8D1gu8[H;|19~ǽX 5<@ g9$X}ZdC 4TBm0'wzY4D-39(C)3j;GGFb3 CbW;qU=T; RYAlުBi.E)lApڒ2-!L gA;gg?R]߱d a <ʘm{qe"_zTk&6!X HEh\yEk[m ?FDbաz/K~a6>T wdm*}n?6m~*@ ?duRy:'R ZW #>]I-o&JJr>4M/o$ @ktPۛkCˮ k;B 4,Lm4 $]FVPd\m RAuһ^+3N|F% G&IcjЏ|ޔMQIpZ@ۢ>_29Y $3OķOL P* t J1Isml~4$ ; O%(:1T0򤴛sPG^ՖsH}ȃ[B&U~l S3>wDp$b$ \)4 5- GKg?v^?;MbKIy?EzdA'y uuhۚΞI}i5Uy6bkpL?8Ĥq4{}@ofMg[Nd[Y_Kh(CkߙW|ݓ47dU Jѝ'4(m1sdvK[`ؓܫZlLO+CDjTnti۽(y)VHǙ jt]%Lֱr"PG%gX|T*rLLMI 8RRJęآ59ۭhQ#ǫ&f֝*oq^7a? Єe8Uf7]AY(C,5}i2@:sٙd2/Ę ͤbzoW7UoTMPgX1!4_O>w!\u0ɴw>H? m^o  ldT)q!osbOgkP^_qKpODA<}ܝLIjg(9+wyv5BʵKq4D5/ W--kj;)@'?G95T=| /3[cc)GnJIs-m| "73c{I[#d(b"Iʠϊ:0|,fGD7?~͞ U8tQV{ACvMS`߅zyMɎj Q^?͂{U ۢ21f:d}BUrb}ؖN/# dwwF&-ٍ)s_Z,JX="Sv1`Qُ,ӤEwMMbσ}]Q<В2f@Ì6C<,\%8D{lZeeGϷ=S}%AAM̂XϯgGTk iyљ%aTOHqCw kSQr_r@t) &-p.}Z|j(n,94b r3,Դ=V0#FIߍ`Jv[qfFwa0qۦH5'~n]-$&)~3i㖺ZoKs=`^EXE/;R!xe8K%{MCս ?v)]d]?dGx^qPG]O`uC)NH8J0P҇_0,>#3qy"8I p-c0#_K@7 eqH%ɥ&Z%;Z\ۡ }3* ?z*Wi&,OMO&Zqf!zJ ~gWDEKPc}#!)F^JND ]=:=^YiOjw>{W8j[ >Ȇ[ʱIM#4I*&ei:ͦ /HGo#B1;.=PF{&O׺[ ㇎vQnǓyreD xD?I;5 t|{.4F7 b,,RGddj/TbmXz㽊Bl8ҡt(G0wLDwM\OQEjTN75 ÎNgq>(SsKn΅쯧ߑt#}ٟeݝ5\[ѭm"cY;̬%J@see#mt]w^CGlmjEWz:OR0zkmzƼd4Ip0G>V[Yn: Polwq^ӻeIY Gbb>?nu܈Z̒-aoADy-feͪ|}gr>pt  ]pLlobTw)*t'NyP\?;spl]{7֎bM8L_D'T[Mӑ'o-wspch] Qzgʏ)i7}']A?!ŝkaY;h0b&7@9,xPŕyf5W,NH2],-OȪZ*z/a)- >1&Cgb:oA 22/L4QcTl|*Lދon A>ы%gkRRwxy/8,jdS6Ȯ~gdfb&\oS |2mA/ tEf4ݹ3YB^%n<*O^<\?1_&~5cS+2Ez|T=Y/TQ^@Hq!{4*:9r =mE߷wח MW~Veׁ4 &yrO`Q :fK: r~-e=$0m%>{}@8DP0>_6:[>Lɉ7]3ԶЗJ:CY((/$!d_,cS[7نRqZuR J`W?4|?گ_ApK=GwB#Ƴ YN֬0Y݅`ܗqY~4v+uz#j)rPqC̩yMbXnUgWoD!Hى;dl3Xxn7Vš Ig_^ж&qlUҧԲ ~9&DŽή?!A`3;t,/ +ioUeN2KYܹ  @.Eo$gIMRj}w+;YpO$vIM4+,Bf7GoM ;B)kE"$|gܹ µZ5 IFoIUxHzw tO% mX3o /s' K4?YA-ɱ?I|g~B`QR_tq&},b9-&}zRgjӰQ%1?2'%gJ#ҎOv4`忎6>OԢWHSLQWOf}N(8]7<{ Y4`$C# H.9O#6!_̔o PDUnZ y:}e"O; 3Х<0)e";F;çkO#p}8XcCYH,W8,Ti,8,HR'^Q[sjN!ȾVNfi.F8/ƾPtxߗ5vccQz)1v,@i5m=UzH$&Rڷ\Xch[R?u ?4_#TFjɽi#)!+ɡe\"";ժ ޠ+M/J@`#Eiߴ33p4+<:gXOlWZjcoSstmz[ X?pfmddBö1%d3펹I`iNB~j-߾{eN )- <"'NV'/cS[Ɉe_ njao'k_aU۵QeX_MRK"*͈XX+:uY[&3?Z½ʬan.9}Ӈy~$/}?ToO%hb%+{C($e= v? IaB=kKgr&Nz[zG|֫P)p E4#%U|wKN`:LDTGjG ā⫧*$Rn)CL1Cj?|yZ(@/Ӏ x51~v$to Km[ڜ3 ?%z v"^: AZ&3[JW|aPɭpٚIGCy un#jD5Y>+ (~2'v *i_Y+}A[sH:|x׃^EP?S۶O/ z%h (ͭS<5XGvh̀E/5=OʼnGs}dVk*lAt93t;H4᱅ Q[gJQ{;Xru\5 rg ژ KK8FC]USʁP /`he Zsu6f ِPb<ۖi'>q[wFdVv"XR9$.#C>[CL3C~Z#]r*E;U(Eר#[W6Il %X ]q^1g[xfB.'S܇¯I]@C"!a}Z=3gpʤ9yHK7xL\e:G1d*Zᥠ&jdq1^'m E QqX@OpdH=cy[5 Kx+=.|f7i@x5,rbqK FuNpx˪k3>_TZe]"!%I7vP%uI2_,V,BLh.)uWG'>VΎ3 *T7~j6h!ErCO+TJp-v>gK#'H)ohfؒuTXKfA\f|޼;w@Y|~@sWi/}d|\ԋn6~k6nrC2/;p̦[ ɇ]+ue8c GMBhPc K 0y5b:>a&t9 8$lg gq*]'ccUtȗ#Q$-Boə -iKd5?Fi1Ylqzc.wڤ}ID  e!fsi?x:)F&t!&2y^ |1Al@A1i̗)x ?gYZ ::3 +K% lGirth_ChromaticGirth_Chromatic.Girth_Chromaticdocument.tex7zXZִF! @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#^uoޫ>tRdvF g?¨0SFLأCW{"%/u( $B 䃛LJ]'XX.C=g[=b a]G_/ӾԠFtyGC'cx;ڟʸ uzBˬq#'sM[E/)])CvX OoP+b@xPL쀤DM}`;?r-{>?{6X!wˡj?w*J줈3 SYн,R]^U*`0|?Zᑎ I@k)¿u6X>VFjXbG=p4V.+wLO O؈ Z "V A|ՙ|ZxeQl~AGkS<{t{#X)'@Q,9$RqXz"8#% n)Lr*`]Jd +=,NJYc\sE3j(DFTi_׌v< *K(L Pj~z9?"K^c {GAhm=S]WI%5nq ̄aJd3o+"F"j5Q>h`PfszIFΔ.)؀fmnZ̋ `upla!r\d+NFP@"n`?0EL'd qgTb `3"ف0~، y)pq]RJ-*>}Wnoք{T𽙮iE"ћϙ Av+:DBƞ o#bRImhS\t.7f$@C%U@>qW΋pJ {Yv` ?@t .a 5tY b[ /0FtȌuD +%'Ҩ_ODT2\Ng&m*!](#X,fhu* JٰkF3&ְM+Y®Dl[FL;Ӟ#gè}vIL'-⭚NV0+k &ޞ'ғU:JbzKf-E|ƞ}ckQc);㈵PXmܴq mc&9.SYr|yE!Io@1a~-E'(F#Xw77r30b`u4'"hOjAz dU*[)z Ƴ"N~UN&􅉞߭Mr"6qx!pM-ő}{e?IMf PEP9 g#zvscũ mdz-`9Y&\`l{kCVT$ nUld>&3b>b$)8JFSTq=RtTx#/B_ =I,â~e`~lWϧO}#k^+JMmZlF ZHsWHǾ8ʔMpr>|8 mUB8L&p2vwx_}}>ъof_rƳoփSMT?W;:fJq.4bC}iY=&ԘGPjt0ehFL{*`\/ j fI[@l(E3DW.1nk2pn )g pv/EC>%!KDwܱ`&sжVf0S$4PQSΎCĞiL90"w^T]ہSYCgAVp} b. vѓHE&Ir> $CdvL~خҒrL^״:5p*#Ty7ƟwQCn3 ϠK}G{uGg#]W r5@z&ke` Łp~rR;_f+<=xM)ŮZT0/Vs֞1wonW0xƨY /D .b )=ݛ'rQ~B#VP֠>:%,%pVtb2>I^S.{ZJ+HietͰ:ݫX|>]&Ҟ"(acp1X(,։8y 1J=+'%\ j{#RCP+/hǯ:_(9N$2L7 rbBbbmEWјuvUΕGeMV f7>(mYNmh?_="E[NmΊ =^:g_quŽs-O |oKmz6thʲi` 9 3f!c׮ϕJRhB0Ke-\2nFL3CzgYZ +A% 0Cc{ġ VSI1aeLqLth3֩ Pg,֚嬸(nFc}L<=z-'ږe5NF x+W5XA'kU:d~ec"ī}ņ\Bh]d?]4,$nZ`.oJv.akB*OF}0(UZ:+ $(MF :3X2/l|hۖרAs Y,е+g]b~puʃ;n:޹Vwֹ?IS^:9!NëKa54q o~+S|ҷdk=BVUNJ2~шݟrX~DC e1XS*6BV0COa׵ y|vO4Yvlny4+<D!`N&U<2|1Ƌ&+@n6s2 6nrH{vTMH<4{q} Ҭ!M ~Ο6I o i%8Jtth˙!}͞Q(Qw_" yu |tm ^1{aw;X$Hݳ%LSƈB.!ę/hC-<^7D?428yS3YSHxzjϭm3-"WMv踚n uvRH/acB0䧚u-:zP;'!&wM"-[˪8+Zx7nQKIJz*TRuȉjMVa2ɠZ-<J*`PaP?Vڜb~ Hݔ]%¨7ڧ#z*zѳuDoCh>EK^Qd@Q~'}\_@e,BN}ȕiA-S%A<&(vpёҹĊb`bKT:\{ߎ#Va5o6}R0,,5`RrTAnv;3|i0D/*r(iϨ_?? ~m`&a(,mn DTT#62zJ:?&wA-߻N9BR+yZ8>ԇ۱+iyHs3ٯ(i^ɝҜՓg|6dIJ2,oHZE6@eDnՖ?hewh(i)D2m Rir9#Cnw6f(SS@b6a >O&*u@9];jad_g2_.%3s#Um!hRY^.[9jˮ\rF5Izy m26pϓ3:ThR坛KZ zA"Ks%S "W6>RMW !6*k.-[kUcNR)s5C2# ReqK=7FH /) գ1AёLqA  B(]΃P 5pA_/,W,*1MݮKw8LD =q)-Oo\h+ :)*,Q.:~5͙88|V[мt lcit(kR N3@R hĹN,6!en{DԆYצ#LrGm8M1_T2>DY`Peb;s`nFP3VK^<^ՐFI]jAƕIBqy*kۧؼ 2%nW8Lm&4İicgTNj U8e 346Kl8DڀXیZ j۷I@ >Ȍy j ˙1>&$m3ۑ=xUQHтt6n`,Ȓ$2huMt}F#;-Q s.[y"mMwc@2ZJ<'3 .!N|\#Fg5@So[r]N&[P7S,7afo,Z[Q4uyzK˒v06L<~#:sY"ۃD!Ud'~7_%e)DLjqƪVhY;K n#T5CqC<}gJIS{<(U wðwŇUtUQ!u8`d-aI"'YcЃ;-w`ntAґe{zvl0s6(A N*L]årqc#Pq>`ɃrX$֏ʂNK<NDϗ))A38.{ }֩@uN 2fS/»ayuaOjey qM+,H1x1(;/-Fk0I8)n`eT(8snbty&. Otˇ֚dh%4m}Ma?9!-Cc>XS5Hf Zt@;yZs6.M(N1`FSLFHmFM "~j7x˹;(z}]C7{YNȳ7J`+hDio{쀄lHcZľR_WkfUzt}Oƺ·DUɽmҞgRgF Re'( *g-GB%@[ H(LKү|:&Gj?,jt9>}ӧOS2p& # &a.d/R#iC[]p b/Qj]0MJL9@Ӷ2Ζmm@k kYN+īoC¤Q D `ihOrD8bD>(j6rꘑv ,ӗ* A>LIi܂'ŻWUSB!΁ s`u7;a2iC'辵wD  gCoYTOAVQ[W Tŏྨ6H~]sB#GO!pG [>s1Pn$<:oՓpz[_TQ"(.X^](?_6%zi5+3q3dũ.v ;Lp|e8;>sky[:[{mŔ5jDq UBBW~k5سwTOc 5_X֧:@(2GŕtGkl;FLWH ~1/R}&+_oЫ$=9zՐ7Ɂ4֐DRAm2a4^hqcрy̑:O 3{~0*18W-aù\2t{(3G4Jxx\U7J&eAHS.jǨ[69xs pmChWPd(?v]!Iy 6.4y#"G:Ԕ^w>iCkLT Vj7C[c!OoOp̕(xU`Xcn~CISlSKGq&HbtZa^~ܭGP69aqT?L" }9ιe,I SbYQ(KVb2ǸS <[zá*Ix\Bnb&JFxFR i3mJseYU0wM<,mb"9,ca|Ж-p6sw[R6cc)B4U aUVпD=:pWӘE5 aoV%)7}t:Y!7{X~ǮIջUxTn>^eI\xӥNT`.i[)BxN3 9"&FCL%*ЍIQ0x]]&+r&# 압甼HxAJ6\=a"Bh!´E[>|s}|ҼP~(]O[R?{2 ܾt+cV=+?HVs>Us te} V9 z2]{>Eem5 8(Yo X|q79`u ̌2Ý*mb`]`S4t+k,;Z3!\ʵo:GA`҂ xLċ,_ U\_ ! UY(QҋZŝm+=VNaWlvg? {&=e:EmH9:@KHɉ s f51Vd%he5zxo{F5$uQKϬRQ jJhx=Na;hbnѶ &;2R*Cm9vn)Jd`DrHtVZqר( x4\}~A)}yVPT,:.۠Խo_IJ6v(L]6WFW"y\mec_<|N`?Gb[JPp00x}%5WBJ i0LWcߚjbb@/ I<.{2{_ j-8㴩[zD xMlA_#YW5,F3QGLZٰb5VdaВ8ؒJ:XK9WjE 7Ni8#+Y|k YBfG;Ze]aQ?fgYZ 66?+E% Girth_ChromaticHOL-Library.Lattice_Algebrasdocument.tex7zXZִF! ͸@]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|avY3bg R{s[ Q̈ \̵M$UO4gᖲp.gs30 j= b&aч )|<_|?*a iɺP4䪞*̼rB4ln|`ɐYƺ" *|T hR(E⾧%fV@!߫5Sf5ͰGHd]Ԉ {/a*y2TJ 0ίҊp3jZNcqq ٱ1}vC=Th9`}_w|K-F`vVIш9TjYڽ>4>ӦrܳhY) =|\'=yf]\ hv@~9q:!Wvz%DhPm t##@M{Tؗg9Ɖר nTN+.5CqViD KH_U8?mbYA MQ.v%KYs/l-Z6MPk*_M'k;r"QDNIo3Ig{ƃ”j dĆX(q6Knje1A05: ۶:jkUhK7[&tJ7ъʾOkP7wȻϥKB.Ig/RI}zP!*iIDLcD22 dRD^f?B^0c>mP%nУG]#oL>i `?'`M 볊F[Jvfxy FIR&3$-f8sZGɴ{[d}O0HkЏV<%i{>$ W zW=l8dq.H8RKi%);fqRތx@p!0^hjW /*DASt%"@If{lc%Sz0g.Vn 5@">t–scF5e1@w̸P2_Q[,:sǩcN^tƉ5)!~;;z]WZi //ے% reA >cv)vmS2qElHZϑKt$:3ؾ[]D6JٰQ-E4FqvNWkQR7Tbd ye[)&}y#,e/P,R>RISp9(LIY&9_]_4y(>(6xZyX7^ -{Fp[@gGVNؽijYNfN9S4|Icw:P .c=Š1R$6BG=g{d@W\3&ܮsx0֕j=kو7JwyWKlP6k-)v@CӆኄE0I8(|~ O*uC? ռ7zt&Ae)PϠlݛUZ)@W8n ®qFCAo}aku2r4Ț˱ul0r{%"lDdíڀ/<ۍscIUztN- 3_A`b!4$应Hg^Q+˘A3 Ο 00Ua,E +A"TnS >UV߈K=8wՌI=GB5S2!&|\`ܤU0_N̈́b3qΫ ]k]oÕ/[-֧6YWÓC*B-^zAwvݳZХ+õ0~Nل_N{!Sq+q3ȑ^V>T38p/~yP 0VJi>#6Ґ-k[d';|?iu"5yzYϻHK<>6&xo}oA_`TFR\8ow&ע*\Cs+uKOB݅X֡#ACa@қ vt1[!StPɣ=(DkĀ)ڧtP#4gh᪟x\Pʐ+Ʃfe2äU۳({GA :%;=i|a:J?6Zp Y[ Z:~G*YSz ă[႓Gc1Q[)5@E]BO WL"9. {:,]Ӣ!fBf~C]>3DɻS( V̰!t RGJ\Яv;ĭ(f~oH*rb^d6˽ZD2c3=%ʾ͕FQlm=:+r.G( -=zo 'jk) *^(43iEy3IV+ l/J9Pwj?Y Gk?;q?Ah@DR:\x:ۺ\p|⭧M쯕{Ďk#O7a#&;jBZo8W E2Y qKYԿҗ#{S&)!UPkHN?)zt53/PѣFhn UF #cTA m(}xx ڒ5hNNfds34bP'ə.Nm2[i0n` EjILl.ײ:1Դw;s08*P_`w+x8ʫSk󙾻)68LNCNp1Lc Cy]oYfΡ.aFEů%e+-$`{b!|w$aF^.z`v"gR*}ih%?U9xO=iv[8#UPh^ C傐KN:}L%"~8BlΜ x0Ծ.ø2Q5H,k,iF]f2o8o!ŸKTޑ'=юV_ɇ^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|wv+3% Girth_ChromaticHOL-Library.Log_Natdocument.tex7zXZִ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毗OJn* 3uD1ƎsmQGA $d8KiN +n 5ns0Svm%EO! GoWcǭV5&"^#h`PoXgbR+a Z ܌CNss`R g=qj$*,΅l77AAbUTG緟u43|Fdʠ_-edk<ۑ6ӥ;@aӹ3ݮ tg0j]w16ZXqs#=?E Xتd/E'm- qQK‚Q(y՟-APx;M##U^ *eH~eG[Mjt@Nq 3f1"s*JZ3s%"`͉@k e^{| Ա^ž?#*hi:nm=qE IpdUi7WP *|ON>Av\W3޿ϐV[>lgi*R|SfKԎᙺ<[5W)=>'|V2z1rKbn2¨6.JLAN/uX_8: q;flfc׾>r;XgÂܚ%yeC"L\0tA.$v;4H;Ai4ɄjZ,5 QL׋{}c+WhA 'djef9Hiv)BkiM ʯuh!*Gkp~ZXJk͑R%zmzGէ$^rz6k—QeϽlum\iǀjtiL97`$kxB4 Gi2MvfEdv8q =>!g.ZqrLX`Qb./jsǾsu0ɟ'.]oL3+ !)tM/՝"1 ʏ.\3M3tmQUqI'N3ę7IiDHQ1%})wRPhB ,ù 튅$X 槀?Sv({1{5 ʁВ˥KŦ.5HkSꜿ>Ih=9S&vK dJ;,^`z,2-TʬOk,C?+rk˜I;bhgo"SGE˞Ǖ:A<1 O{OxffPB\ Mh-7H[YdbCjrΦT6PgR.RxEo;*C6QpTV1'b ]q9ev3< ŚzwOtiK?ZҫBfO[)xzS1E#k˚Kc!obPAWלba< _5@0r#M ?Adgl^]zB4֥fMb-DԝĐe,GG,CŸK ~1HFǕ(4Yؤ~O~`C}2,lwxKbf}N"hc0#q* ?hxdaY"b5ү:ME$3ANDlV<,${В/s"f8~,z 4q -DB]O <)#'+ݤzEۙCQ<) ȓ&*;[ eњy(8fKze.Jz2Ab{F@х1ɓU:l_8EiE:\Rxe1t06NJ882:`Y ~OH}Cym72q ΄D$!4f""Puل*jn+ϱ3T?!#&}a Wx: w< r04g"AZEdbFi?% & (kspڰݻ2/.W4ei8ASkE񕆅iRjZmhz$(V3b-8=mA!f>Ey׎so餪49I$bUpM .uݪ2g.?p݁BT|U88w] #qKno٨bɗ0/C uj5H8# _s=DB*fvGbc6]550z"B+ h2\SGB<$y 95Uf@ME5#yІ1z+p&5mYCh|Ťzٴ,ՁYyUUpCV=uLеB#T+8KUk5P"|)sgHA 4pXX8"1p\j w29g/|zڎ˶TUx> <`3H|sTlo:.nE 1(R8hY;QjFM.R g`548v?|PkD|;I!ףuaN EEK`a.;P+,vDU4924Fև_lg=%tMȾ_F)[;B/QB, [F'~zpU!(Lݥ8J=͓3쏠sM(.|;(gYZ'75y*A*bԂӍ;1ǥR:$ ]>+oqb"|ܮ<cʧԅ@jj)'g 2opFKi#e9d+W8tx}O4ԓJi7xwT?O_d͆!"H*GddS՗&؃7pzniCGQkX,pꊘD](IǕz,?/_uuĈ[:yar+7PJ@/z1@b }{uC";1T# c7H yVZ郢g eU5~ 'G3O9X2qf +mI+N=49sLp~_Vxp~RS9! ں u?sF>$\cyXLTkVp_1ߡJ~; )9t[K_Z߫G¶Y'5A2 /cr=n /yv CG,T־;b5w0 4OQ@xǹ 7h*_} qU¨5pa(}k}{=l͖gߥ  20Y 6xWsE]fmLz枡-4lq LkL2oVO롼U6Pw)^[~Ō䉴CtMFb䤊%̴5:*9EHs2h 9>6]aӱ<2YMƇ"zph}F0= cOîC*P%v27l,DfBm{%Ș_bW[P`e7ZSgm0M)]3oOhooצB||mr!P@qPP-7Y(;b:?mˬOv<Gjazp~*\ ZݧX?2O=Hrȗ8%83kK'edeҕ m˗O *(>p[#ی8QlCEjC9pl$r58@|edw4 z"_@xOC$J`mG-!P?k:uY~%[Hc.LΎy/׻;vEpֵVoC1AfrE 4<נտHI  ,K|,RU5mg8 oJ=" 48 t.P70|TE3c?CL׶B_4xl _'0<MPQ@^(I UQzKYd[F$A&YƟ.unN(7ljv@%zITn3a"9XJAUi6lP@"(KmGkf.Ezdd R1%WzvhL"UAϐ)mOx3¯e.8b-]],+@$T(A.4 GSD7T#O }[|/!R Ǝ.~[VS&ӥLNҼl+`X$dfdL?2.Hw&9fȔ  脚gie\%evܭhhi6?kŋt$eQq*튊}ɿ B?:LmF(e&{a1Q:F6ؠU>18 J$꠲D#w Jk_1NOXX}hԃ{;Ѽ!{:DB5JL&Uko!&oUH5mnyAH](ws+Je8yhk սg:;ʰ(d/Dɭ2 wT Q9%F{ℲM+ !Nȭͺwt*VJ%7y`$RwWG t̙-\\Wh~eǍ>y[ܥG= ;5lMhO.==orE^7 Fj'șn* q1#ns@6`u4F~^\|%JT-g'0o5 z7'.]R`*b4&E6Q@/ePACK2JXr@,PO#fg",= vi!X?;o#_i|kݍ挑^\-/¸P - uV"B!%r&{xDڞ.py`$MrbGţ./STBk#3Bj&PHmA*>)G 59R0 ڑxR1dBw ҷ=[xVf_aErKނ(H@\'-ش}6$*)~)5!ZhF”l['>q VTCҜXbIQb;;# >Vt jN]`n[%<SCh[MPxɦqm -uaԵ=SL:3-jǘs\ Msse' ,#F&4G߻ Vltj5sS3aZxe9w?_2FlĻ-Tbr h?D(ҪLGDUX:!p  y$LVfđ~{J={f$Uˬ*9LXQ)5I\WHhF-Cd4(*k}hI %p%R(ΔE(PPu]yn_`H0N"xRVVap29pojR05@b(ɸ 5LS  >9;M ALY 9 WVNY32OM@1nWO"ͯU=KLޮH0@2H JV%;2<9壪k6j!KSH꾸\ J4ڊec"[k`,\0\A 69oL3027ͫ+Kc|z^_jG6el?rH{lG00DQ"u4Qs!L?Hآ)grdpog($}Ov:YHQK"r'gۦ|("5yQ1v]H^<Qll84I&4˶?G 7tc8ƶRVهbWTC4X=yJLDIBylJp~[(J7jqa Hep9JYXM3FFD"0; ໫ss HTJTO*dse-Q9a{-2-gxiJ>!:(LZ F{L:!_mӾ9HLed8ټ2X3(QostC|94gHUkihz \С3fr1,( 8rS5 qpΦxN#^E}}`V N`fNWZsFbfR=4 kQv4"->v .JT2|e')#c䭌)2&*1^ /*u8qM}DDм+"tm:VM隍kթ-9c@+DTy:mJ'"ϧ"/D*+2b2O%g歾6r];\񦡈;'ǒE)Md551f=S{:_?ҋgplYu;ܳo\M9D>,߭3nCcNKi xXo;d2n`Q fi4Z-nUXɷ㮰~ou2D`a2m5FѾg4|yl=.d pLe1;"0gz*v_.q\{r /bDM8ԬpgµT-F6 R"[Y0X`KXȧ@  v @wCޥkâ+[4u:.o]#X; h&ޒ{T}"J(P^Ujz.-cڦ̅{1PҨD1F6uy)&3 )~w)MϪYhb*z<|L_cg82BYn x^Ez"[|# wW6X#f^֧X_clƬ(6Xw;5sסZzͿQ{ɀ簮ZMkibq$eu |c,*:Xj_ت!=F>r}27[5إ-6܍8:|Er_! 6(PKJ #G]+,J"CГH }SpkAE$F.>Y7B5yИs3F {wXg1uNNWu7+\ 9oS!f6wl fy,Mpģ5Llh$0r :uň/etg'7iZ\`"ڔ61k[0yյ;;dwId57cSď&2apimF}M=ʗEg:aW`qMU9pP1K*>%p/ZF&ԉ˱P W)Xق 㢡5vLԓ"fE|/!Ӟ rdƳk`^]rqxBs\#%T%!2] ޗRɣ;+"yS"xHi#h7W4&_wu%.˲xA= 8Cl ¬r˓f!<7컖a F__F[,#L(WdXB"2Q 3%0 AurH^Ӎ]yT?~D-!-9H̩L&>SFX͙/u V^l}SóTŔע_ڨs]@arkɢ,h+lTzǧcأ 099C=4mZF6O#DD(#; K_]_ Q#-& 44){2);j~{ _Eô冑R 1M?LU =U'=&!rOz#8gZ!hX k5xBez1+ϗJ#8Ӌv$C.(ZkFlr,i:Gg/ m](1ζƥx<`yh4qȲxL+aVsQxJL7%\S10|-AS"|R9<62-@nCV973ܣ,mu!s{f>ƖRj|BXP5 t,2}[4Vu)![Z_l-u_- |{#z/NT?!I IT:FXީh w ocSk*tm5`cҏ杌;gHLp AijLypg"neetb7+)aFz/8@%)o{XLHey DEG 6g$D ! H%:p LHvU@caAI d0b J}5{ߍ]U!nl')7'%/*TEّL?t]=`ҩeR'bǃpiשvvi#TtqwSN>7GZ)r.ȟQt=zJoQbbu/Gu8/i.{ؽ $x~ͤ@hahsYoO]׽]!lԿ* 3p5e-Ռu\GGPTWQxj@o@2'vFeq1*) ,*E7 NXxLAc+sv|ז$Qǵ`sNDzNꀔ(aN;NoM?Il_%iۂH5wMw>`<363./i&:?9:.}I2}%}@(p㋀Z ZqF]*0Vt[`ՊjlXHZ)MZh Um|?qd&r^gk($Y,b ι0z/ ' :)(mIL"v/9fVhǝ,_a ) D@.gV|iċnY?4?*ejS>Ӫd?@AN rR% zbt>Na  cD`aR&HgV0|g数6_ޏzʘ0UP& ī"D7c1_7=aw]ɘ(y( }`D]u`Xi" ^.*`6VQ8>2? b>1E0|EFHUOLhf`lmI <8oGuzn=7 hL vu0,ACΓ/1rDHgڷB8 i |Nܛ maI=ĿxKaVl^KJs3Ǝ!ybd;I1a30Hv`LKclm3ʊfU}5W_v%4I-MBJ:+Qg%\̾Kc[ ozkZW`S{/RRofZqh6QbpW*bȋ=b8C3=!k?í? c- aX7Y\#'4PLee]A[|9I6}NфFvv׿tOFJɵ6[CuGj߃GFJ&挗CfTu(}QjfqFEtSOi ؽ*Q0ݠBN፼|1̗Ю<@/ U[Oh @j,RyUlM }R10%QPkFI^)E8c2gZgFdpЋ_#`[<]^WZ#yz0Rl\uLHM@Z E;Z TAӎ3vbmn,F_4SV I)$siIDObJX3psnrV@ pFcȜϷs41Q5 @[7q 7:3B8ʴ=zP;3QI/{߹X"&^e% AܤMuy'~3=WYK;D,jvCEpDJ>;ix ebk\lJxڰ%O ṃƊL73-S-ҎnW欟H].s=$'j+l ~&Fnݙ4Cٌj.b9N Me IgA{AT:\l?=wlc.`J^ۑ  ɘMZlc9CYӘn|.!N{w0HL dA{;J>Sp JHu(8!HIySn9bEF V%ԊHU'a102+^;]C~ney܆1C6e1$1*ǖm{MIt&U㶼HVu/v6qה71 ջψCLG8hgH8f1f4yȐ9!yn[ s21GW\#B:2(Z6iЀkmVJ)BO"Zr)6d,9?Gc*NpAEٱ+ήia<Hȩmf=0T)Ǥ^+g0D9_\\q^Ԭj+OvG3]_YUWWً Ccxo֏A07T@o7~["{xI2MXEgNBȔ bB7 cxK *#uL73bğ3}#M!-cݯne@tc~ŏ}sKŷ@]5/xS oB 1ÜtHa!cU7GNsƥ,`׸[/_2*ogQA)pa8D)/8Nj$ \-Y=׻Srlú u'.0/ώw0-b¯<;Lm+?4$bkHDžc({]An>Do]p1' \r-,bt)SQ#xAi>jL<["́FpW/`u*[K䳊zT!휝Q #Ur92ݲsѓpԢ?@4h ڂdttiCͨ)~KKoUGSJ.?HF\SfRT=QıJ*tIÜ(>01C *}_-ߐ ɓx`r<@ ҥ=:H| ]9C2¢2cC1Q7[ CR!Rhk&4yKr٧S[BZc\gN v0:cyϜ_,|{%}k&wվTƑE]M f(" qWST=*zGR14e6(/h'mJPd"Uv%%׍`ȄIQ{hP=qbk a4mk&Pkh'8 ad @X B)%ʏ}U)axK5+~=J05{?V\x'm?arY.sHI\b߉>U~+Z1=MUtGʋAkO S!@ .6?+HeW?Kqb ֞|dzPkL=j?މ+ed 7{~~>G_$]Snf\UR8^n (ǫhK ]n=>1JH $e͋ɑeӨ(}M7\-nZ}I'vu(eb'O87rpӇvBt1M`RtVj(;v$@(}׈G`dRZo, e:B.R {w}83#ALf_u(κXVpq+_9 l"v\^ĂfwVh1MTgTVgA RՀyNB$HPA? -$/1bwNm*},J%^fƒjG+[ۮ)LD7*`g꧲NL'wDS=v}RBrD\%-Ȭ8]bE6˹C߇;}seXZ\ém5&%cUhb*IPħj hcY-84.(e' c0 b,*u˓;Z Ml>Ss=%ߩ(Cj N<+ tJ_I <`!YfS^[u԰1zhإڍ! yy9u8=Z|F_drRU2|ɼdA.`M'x6cQnjTŕ%*j6b/8r+,S3YxeaabU21aSP\YVZ1VOC݋?\ٙd$zp+x )XҠ_AqL^)-ӌ;{ rjSl!M˾첣x +L7yrEj92nBUN$šxWR(ljR\XT/7+82 SWiy} 큫KM1#d;l#B3D}/E5{^Mssp,:'Hf8i+YS}(~xNa/z]pŸ5 t@{K.\lN22T)IgmQ^|'Y( ]o>Gu=_X M/p܀129W}-~-%B2 (έ8vh ϖէ 4t 7/!azeDXw9+ Ri;duH|.)V1oׂyrN8g^Q"ޏLHa;Z|QR44#xe7v*XO&sdװpcB`eF׵&?SPgw:OէR°<}KH]碌%gq Rl>)waj#wDMJ`kwLz$Cy/JV (kyH8Wg@"pѥ͋[G",$m #j&ռPޝI4*rTSf?=_ S̓-jl-tIMWl{um 6,~|R~DrʙQG~Oy ,PbxAk #EJ?Q?◈4_Y'k[5`/큈j'fzB9LSS N&p*&5Z e1Fۑ]"PDBKOgX~0Z%?.Y^3@=oJ/(ی m-YIN⣤B @ Msq)zH6B{S9g^|. r1Z$_J^@vәxbM+<22O_O7SKEF:^3'UWݎǑ;8Ĕ/}Ba@<]I{wsJusir[hPpY9ίc w|?r@'Vӝ; 9^yK Cr3 qp NnBXS;Q<UYξ/~u]qbW8i!4)`8xQ!Pdu-aaSkaFߋ,1(gr[eĶC9g^6p_qTɴ}3fN?:ajuGg +a8L$_f.-=R_}L建TZA!ʫ U> (b<5Z)mll(z >o ~=s>oȩ4Qֿ=YHȀ ʱc'C~A <1@"Co$8HҁC! MnWDl/P @4 7b LSvq AZc zJS'y޼y1)e9c "]5`*Z։ݳ$µ5=] ~"`T(e֌,,i.J"=oj88z^9l@2Hɶ?)ҳ{}~ZGNS0zzJclo6Os/ӚmwWT;4hGѓω a1Ȉ P30+ z$VWMj} _ =coʤT;mOpNm->(=w>dSŗP MŦ5S94f?Ҽ56+Yeժ>Λ! ir dCf'{пBc-ɱ57Xo ܫh󖌂[`>)Ha1=y0ʓJ9;ʷBaM dO"{D A5GȚw5ĵ- }%0?5eEy8C".z{4xQlhŗAƗ.LLzx E-^Y:Įy {p`SЖ`1#\r"^꣠g>COЈSFu5}?ڃ9G^%p6y mo(HNp*ݚ__sF2X',hb[e9y ̱نE#ib:mib􍆪yiX=9Ψ]DX,Gu,,* ךsBWcnlb+wA?u$T5>U.P+NTq 4@?L[_ɵȁYȠ@>t~S=rvK9p*vBD_OZ yhzFV1ܫ-E'W~̒:kJһ^ʿOCcΈg~p8d,x;fp<ܩEJ7k!1+kҍ!vh"qeyJ+Jt _S7Qagkjs8++S@=;raa 1CE'<y=6Spwr`}z˗ | Ppvj9M|x߷ 8ĴÚ'{34o(`HCs'p,:L`,1KGe[,8&o "|l#"8!݊vUb~^V;zyq4Dg\QHQ.O-u5,U!4Vgge*JH;b Ƶ$j|9˘ 7v+ʪuX8%W]p mG&Hs;oJ)" nhfK:`{K]8M׬W~[%VԸ#ڠ PLР4B̵\|{”z}%BUcԝZI\X(N H p \O5y,I%Ͽ`T)q؟vzF0FġPɸrU Y/DOKu76`UM>6T?%=q@dM.N%#L&"*1fZ[}צ&u`(Bq5'0V=&=>/=p.p*_,Ox zmv 1br;j CNQϘ |/p>FE[UbL0~~<MɣDJ29mΆl%Vmoզ]P k}cSw`kS:WI8-[ zs٪Ƹ R%)= ZjCZ?ԤѠ0h8Z]2i;{pZDӡg旝E K(,tF'qn!H15|g8_cT€C>Ԛr_q$V[h"r_sCWqgLQWKCZ2mJ=ŗDgC;:ŭJ;A8ds0u!/IyNJh>o=E-Iv˂Ԟ<5 PjNś<5l{;12pƮgُlSf, }dYM\.D#QA7.\WuUeypt p)@HձaLي+<4l c}P3QB=&i20EnsQ'XNB{,5r!pء6;Zr+Bvew~aDm&-OA2PFeX9сXԮuD82>L0@6xorjV S,`*BcB}sV-MjbZSn6s '`Gy@v" YcӂTb ƸOx%$W2|ޚYikZhu ^操PEXD8e;oBSmlUJ,m&cXqY\L~4_V@]}У.T}@ ?V4M*eyُbq_I 1[4jTN M%)8§8Ja3y|-ϕ7DјfrX kt )&i%f2Ӆu$CX( gl0Ĵa )Oz.lSŸ.DjApCh ,ś - cazyp78Jԗ!gQ roA=)ݪꀑ ȶDޭBGZwm^ш_؏ f@5 x%qY7Wḥ 2{@݆{en0t7B'~ELHupaI}gm uE,%}22aH#*ת8-N~ѽ?G鵶o0H/)O֥mD V\?Ha-#f}-BZ^1ϴ%SSgyҽPH%ZhW0O.Oh`M6S~:]%vٖɾ0Z G,vRNܧʇiaY>aAlTQ*3}{駣x-vJ+*}GB-3T^w_n-&cW I-/Yj$,';n r^Wޠ=']k%s+I6A(&i@'yrhӆ(Yk6qT^Zslywu.*tx47TE&lє\NT=}\(#eB)DLV_" Z6=[0Myy8G7Qh_2_Î 5J yPyrAܰCs.#-JqԳ$LzGVU>FK*m5 AM0 ?Y꒨b+j3 <&3i.Yxû#_Ǒh\MZ1vk?sP/${r9 Jjk0)!5Vg⯈CR~ FEժ2d*sR`!X^ 4RU"tFdƁK8ԞWfۖ0T[F/8) X,[YKHn;W[~?L,"tݑˆ=VEYYl%{%}>4QMj mPG~S~yY0U*l /8Jn Ό_Cp=Ё8x~\/DUIw#˖%BW8sÀKq>ӛaTeG/>x~Q @ M(,ʇO~)LfC P\P0<vveV ,h:XN6ǭ#6ƀ|O#fɆm:MF4?Ⱦ%vj;] !H۝D4_2|Oz;#ubCS e }R]%hKLyԣ}s!MV.~=0'C@"͆mڗDA)I=*z~/=]10+ RnE=_ CSr؈3w;to@&.ű uWbWPlzvcқQ%/K[5&]R LE9ֽΣ;i"@䶲)]x%GK#Q͖}is+zgXؾ[gD $]L6dK~6allgRn(.oUݞE!_S!{~2ĥ>!>%a]Fwq&ӆm nNXofs.\hB//- zddg!~,-cB.zFZVDh<%yy&Yd1%'$$gI|JS@ Hc0Aɸ.8KtA=5ECqF+^Z?S a^#ysgwU(݋AhJGr4rgWp 4o]?e~ E 9v}*Ajel$P9Fe<_6\e5 oY Wۄ+TSQ my3OH>?CkbORjt1R|B<+j4@[z6zKU&*?# ?񥡞Nt[kW%LJp—nN#I1ڏҼnD9`ddyWy!JO9-}jUjkm@/ep,ٿ4@{UC4kd5ES(M" `l 9׿V3W{JM ($=5|XwL-hq2&)^7ϒq4I==@xD$sZXǘ$B! )g{.i'lIIocekR++8]yv͸ T)fvj#1p )ȇ5?{K?ZcK]a7}{0:c.lUE5z1 #n!n/J"2yjRV.EF*:"d34A IjBxқ dG,<@BZ,q񟋢iSQwh!PP67v T$Z$R8pzwcEăue#ǫZIP33 u/h9N$&GI! Ec\a׻b-N,U0{>0WK,y+5ObPU#vwLU˟zāMyc!?q1 ׃q6dC/MxaLVWx,96[W|~Oұe rƭA+Rۓ0.7ET{P ʥXAp^AzR#M2 \A9!K4wWa}MAuC=Bp~T.Q/fSAg L,EQX!n05D-h3:zquC^˒毿 P(k&!Z|k0AN`$[w#!?Q2 tQ6o^Āv&$H4"')BnNR]aվ/'(; )=QoXky-raBSDw,+ayۑڈ.zwЯxobW 2Ҷ֥4KrVdeՇዼo$.BMgmoᚧ]h*̂5N[g ZbX]s+/iW(^.U<b~!uM*d6QA1N&]zƊ#)Ɇڧ%( Xum|vI DcMSB-?~iTucS\* eQPzv| ;\.ݘk؏4lʤikر+"A*ٓKKR>|{XvAZ$3!$M,ΚK@5 iTq=m7wJP4`04 ɸOF :}i9',2苤" Vp _w<T/uK~tơꄘuBFWGy`wS!?~`zJnLr4n\_$0G-?{6$v50E@naeQQnʉ}"3H_0K [.8 O#I$xmGxJ]*naaSwǕO͘Sܓ3 b3qW9?r/ǹ7 dmtg>yQ2~jg)ZoY m >Lul&#W :0LφO>͡F6r~A -&g]`2(IFIqoabQQטtj?v2X0d;yi^Okn@a E{NGbxs=_Շ>9dz2U}jSp]|Q <l)'~q[?7洈Rx!$;=zp`v!9XĊ mCr'}51uxy|iSNm229nKb] 2mJIqVp  QCN|x-LiNz\}d7]˸9hR-h 5'8o>( 4$m KLbiZ|Ca0C@(m_U f7h6jHm]&|UBA$hӉȆ$Mro׌a3 *dw")n VByju|F SЏ!·>[K(bt Y8D)5QJʥ)m絩[6&}]V`SlY$*xļ7M~d!a^hA9N䳮O;a{*HUV0]{R%:iK<zDjO]$}BWql-iGtLQBVX`&T!CaGځ[hnBU)\6 .GddVAy.$gZA#SE DѲAlɋVVr)Ҳg/'/JAj=s.y+j'KO1  &Šy}D@8ÉNw'e^gP?Y0/Hj"y*1mfC,1H/pң&eZ+Kb"< F ~&ogEe'L!]}*a;':9ޒ5 6g+eA89<:jc-^E>dU+W+RN:KK^'hѵE% QLmSSdm# Qܮ_DhHKa 5x%sV31`ʇVHD1cu^y8Y8,mgn8e1%-0ajޒs&"G oGQ_L&ֹNҖ(\gPFs ޸xKB2,ֽy>ע6G뢉ϓ&"01,xg1a )5 jw'XA_:A Re2:]N[an AR@םrjNDYw߭ 32@3-R8{LEI?( ޥ&b0:ϓ@ve7zoHH{V X*qJGJ 8ڗQ2ᔪ#Kz݉#wǔ}Ǟ*Nom1m.G^O ƫ}0*̥SG]xZLùTbwגԜ׮1_xcu bK2QM')4 $)-Q PNA"-JKnϳ[uY hA`R;D*6(gw֏/w,[%:gKDiVHaP %}F$a { * 0,_u|ͣ gW'9cjy{/{ZVGWt-B19MEZǐpL@-!aBx{b OZZ+#30 HS{ŋv-B^FFz4~3+7^eňGyYढ़SHRMR-’e.`n;A9CGs~;c#645%v+*yiӃ3C6Mw۞1nc;:&35֨r/jFǘ:sy5 <(6;|^b%:IjVGE .[.\uW87>mORYNxuʋ4Vҋk+}wGz oCX,mD~ 3H|qnKSןZ4IKSg0w7JOa+7"cw=? zEFGMc*$N9(%MwP6X>StH 8U6 Ga5"$6=a8[0,Y VhO)W̅7&aN.)KV2F lbI-|3eF?%Gle$ fo{6)A7<lԓ 8UH$M{(M} KktsĕȻ~>wD-bzIWM| mý u|#OYo%WTTM7;O] k6f6D& %pT` mf.Xi4 +ā=<$c/ %(߱uE@B|x_̔db+Uz4y|רDBg;󭛷1ٯnqZ#+@g|vW 8![6$x#|'@vP7 OG['|)A:u7&ʧzGI**#!՞H<.'N觷7"Yf1xVrP܏֕G-pL],?_bNqB6i~+[R}․ }ځHXdA`0 K5ߟ?G%LBKڍTTԾ7v\'2 5ȉQP Jɵ K:Kqcp9e iG{+1"WYM~ٲS0u+ (mР + lݏnɐsCttX<Nv;4~K70/d/'Q-.Rc21=doUG/bo}Xy0 ,Q) 0S礭u ?Ī`Zl/뜟*ഋ=OTb7}Ab7N %~BUTTP¯L".dcZ;_!:./]QLⰑ+w~H ~ |HH{#.iTY3-; G~,mai8\jtr290&jHz.АJ  Ny'c#z|G *zy%Gؗu{79P6Uۅ݅d(o%C/زQzz;elhz:U^@ Ir"O]kЋDN4I㉝qÊOyFapQXop\ڏ 1+i ,|ipjkWCt+%p m w9RYSZլtJF"r}^֡߀5(%h ePtlmCkf%¿Er7^it?Q@dX+l+J)%bDV`Ef,#~x$rlēgX'`JMnՃ7de3xbPV_l9%vG+ uN,dȌ֝N3H X ''vWlrf骒7łlݘEL uŬ ˓?q8I0* !-|dUqqy6~؋N0R l,VQcL/˒ai>Ou R:)mx81ea6]4 9֠$:.Eb5f K//d^|l8QuP_ߡ>Dk M0pZL\j! '6rB "a1#ڋÂL>U`P2+Epe;w8RxڜBgX]:Ang_ңa6C$kD qp"RSA&8 qlP]0RiXR(hӄg7i^}65.IydPD}ۈ7wϫH쮈%&υ& Afu>Nu=RsDH.M}76b0ҩ9 y0Vvw$ŇS QlsWGjN! W1qo<ᢸ?/FURK.zA363nZ\gHaB0ooC Ѫi(~6̮IItn$u6`-ۓ2aZߢi6{fނ1~Nj_lI_%BXAI͸RjKf:j[qpFQU6mB{.*7"SsN18af~.WUIB1O 9Fk!#>  G_ &&7L+]%ВȐ^K~|_D@Lu,/qhRcH)"|\@&csoviR17<ҵ;0vhf V\.hE9d:U$ɆV5TCEho'*VQWB oyd-Tє{ǂ#<ɼ]vGz.cc^qKi&FJ;[úE^w@!NZ>0솷܀;T`+]1k{tQ{R .ɨ,h;X)hׁ 299 ~TC:k4w4ٙGtq "t Xm~Cb2S\WXQS˚[K#Y Uq`P NkʋIFZeY~\oΑI-5UL²Rap !]M̴2_)x[H[í96a>G`|LKÚ9eboI\@\$UԦ6`|~:Q0Ty(tzY? -;\c\*+6~/2ILO*wӀ`^<ىfʭٝ|+jQ:0u%l3!{sT]X[@2D&XLԕŮ[햢1ΐQ|ZMg)Ʒ,q={E5a=@]Nd &[1tQr#%<6E;T]7=[V|jnfstτ@Q*)7l u@9zz܋wWם B.lE- K!S1?`ιqAQg<>W7Vl|f?,Xc#gJ{C8>ˇ h?b{ɯ і>-`$\V$@ OTEyIͯ]Ќ܎ݧ7Ef7o.9|e߹Txg_4aSv6R^H\ȒPptj; n&n5fAj[ 2't՞od"&%˞ ufpT$ >'Nw`,YtGU?J? h̛=ޤm0`C! z %6vI kF~ᖛX*`&žRhm@42t܂!}?5ͫ=dj- Un \{܆ރŲ++5]!P'#b !OwNeCr'tcv{ M78,4Uu_hc+`;e8o.,DQA\r\_?Yd ,bp9~ #Bٴ'-mk0GN5Ј-v@%]u [#I 1k{Gw> *"ppyNMIW ݴ4j)* laJ׮H]:,*9t, kX}h1liTmВIyÞ2RJ%jOj#7*T!9׸ ]F3 ŭ YP1] R)VGk rmPiۧ1!wR 7_ ߥDIV4jilvW}3Αwhl)Ӷ(?_ĢYVaW#a4{v=Yj:WakHr>t.BQ/Gu;C΃gtݚP ;+.r๸350J!Y+fݿ\PJO%zpIR=킕5O?.>1gpF-ȰkGmD>nspn 3Mxjt\+DKdZ$mzpʼn$[Stzrx.Vq,lZ ౒i: 4;gIy{90A—1zLGx`J/sE4a\W (^E.'j ~"pL~k{6$ .Fe}V/OX އШ8!]n]9wH>#3msg{X&/Nwd9u3=/;⍗G,@M0( qwqtը'Ѩ9""*ӇnWe K9*C%Op24FÕ}l NJ7-֢ׯ-_4w&qHtW~|,8"XR6GzNHCubVm6|R 4Bp,{-{/-Jduv^n ^HdCLzIZunCPp* (]x}Gإx%d|-ch"ީ}j+^l:_V|a }N۴:ȼI!#Qʼnf|NS$">L= ~O\ڢ"T'4~S,gsOr7zeR[Va99i7YE"^_V[E'haZ  B)h`o 4Ѡ lc 0ak}Ƕ)SFd /Fjd*%S X6f' ̛>AOә̱ Oԇ2*c:7L7 fF*o9NcAaۇMI%j]g@lag Ȕ3Q]].,'˩,it,K?*g\2]~0LH(@=]xU)TJw]Patc/j.Nb4g{PɉvlaJ0 wyvMТ?zӹ$iskЦlA.ԓj݉+K䆺A72+@*rgβj gg,]K5B m9:A/ˠmC@s%QW/'q%K脛;pd1H#-4hୃ]pD,rAld'-a{~P#/(JZ%FԙL1Ppa/N!_H k\&|>i( 7] m,\A%$!a44e]^1GQ%' )U(vv9z synPd71@'Wyl'I)4i۔#8Ap7Tx( 1Sq{6 DM^igZ*rCO\p۰7%so`ڟ*TϞ^dှz5܆{tMt-tHfp z9tGUa ˚SMoE!6 ݒG6'1l.+I`z9:^&4U,rE&bޣ;+ObdoV!C<.+-;n˖,Qh`=gbS:Ly(G mEM ^*LJ S|[Irs k}nݥKG'C,P pi^]-z]| xEy#\SP#UWK:8xkaXqd$K)PIa4p$ImPE[hV.H9=| $<7ПhoY͘ , s1z(= .L JW7S}76?c;.]3 ƿScۭx!/E㾆-wY+爬=W)$0=8WC]L&‚;$&qX]C)sX,]?w k{nXꪂZ 'Uryz8\?~aJ,35UJ#|ShE~ #:Kd;E/>J׈`lt_=2/_~AD@ y s3P#'$;c s%HE[(ޕPDh"k:fb?2b^H<@\Z}[CtӅt2p9~Y&dZh0ۇ~RO?\bqSC,{ ->…^[vAq3ar lR؂O>nhqno95?2Amfo9H*YdFy LLoJo&U!W[g{##Fze/*023οE,[P0 i]ģDWQ0,U*)I|s.nqF}Ԙ#. NLv[Z7N;SzDս48TV$2 g8WEl@(ҋP&~%S3 .zERfPo]4p߳;/";4udk?=P_¹4'"U7RxVAxS=&S\^Fm瘠(.SZ΀' +w&R}08Ph'0h^\% (2U]i暵0ttۅ!pPP78/$j{ܬ*qKs ", /O2XYu]>`4;甎 }_;' 3@ V h] m@}Sp` HZiܫ}4/$ b_J1C<-FH^qQwj~q}S"y(D-|o1TJs>Sp=Q4upgي2e!*ˬ]WۥF 2F[2- ,[Ҿrm Ʉ`~-ФVdW(=Q63\ / *ٟQ>z^F7pTI4"ƙDGbCKyn:$fI d R}B.3yes/sN~ vY -vOx7\![j$<`tbc+!Ewھ>(A)vŞm.Rx{ƒ-6zI֔$ Ϙե=E v OtIMό4| cAu`ݯxěۿm{!&kAA)FŐ;S5cMES?QKkdrSӒDAksYG&d"-Xiˉw:v>` @QiYA` |qyUҺ\Pً$tϐ-QgAiAZ} m71t%Wn-MI7i7}Az?""/)? 5+%@*>R^xw)r©4% _].qT?boT}6ѽT˅#4BBU6u~ 6` 58~Kb (MI.ې)2؟CJUNZ9kcU zP9Sq$|6d+qH3Ŕ%DO =7 -0mvǁ(ǁg"ݫUFN?2M]gcp$ytrI}#)>jxsʆ5n1Xk a|j*V4N$ݷE*CٶɰDŽHaic';M ݏR"J}`&t]S-+$*pq/p@VH&Z,'юf{ruwRB*` gaZkw0% 4ϫ-4 /&:[iv>sQAECϢ2X׽؞qqmB6La.ҩţFz}\۠J WU.QURiq| il Yx5M4yOj>ƕҚߩA3$0Z"@,ER7W0~U* bs3fg#6;W&DbQH_5I#<͐"MB@fq'KAOy_ͮad N/T^'9mnv;WI˫'`W2 l=.c"y6.S?`h؂0f6tV_pm?ѐf-B4+)v _b/<ƿ.`5jj-CؒR o>s> 2*]jEaF=-qau $?r mkswBCz*.64lqo2TwصwP#[(],2[qL6ˑ">n[}Y[ޔ?16TV .l֌VtL}ۊstx".0b@K8dW#V %9OGۣdRuK~Wȍ ;.h 4+Y<"qzlo,R\5mW7̙l˾OC&&]T?rczrb&'\46,{nNܳFybdKPcjDLMß[7*~%e;Lu9jBlLDA!Nkb1cjt?:TOעBxnD "pyT7Q% f|mn"_@I7mZ~K4(T (LW՝2Ѷ yr|qkw1hߐxXvgG1Q(ZM9b7tҡH_;z`ɑ>{%؍UyP,M'Я4Y?/t/;iG6]߳W[ cјI:Eet)f# %LF-[;TLV!5Xre)7~N򶲔~AC0!<ޡ,~\#|hZR{(>~кѳ3vuy Ake3G->N o7{jۃ|RFza a Zqf =其5Ihj,ۦ"Sjwzpo6b|>޴@ "vD?SEϯ#.sy(J89LnA*ˋ,u!wAZE䪦ä—darY;N۰kG,tNoj zb.U":_g}7̗ (,,HægJc[]^(4s,f|E=YW}|K}LxIƃZhȳ47"xof>iJwKo= 2QD#zGRM/v<bdZ3ͥdlL9.Q bd0'L}df7q(ؔ8. #~Ï}"k֖6g)VRN6"wbUyPzk|}u3CJC\9/4^?ǿurnP!cz+W\{s%p#Ϭڄ >cT1+U\S6]^YY[wE=d#]HP o/Ș+ɴ_AuSӰ9'Wߺ-(hZ@X1&4D=tĖa!rQ5R4p}{ƫ(% =Ȃm_,ޙ? % OKuSF:;\,e".bsWq.4eɉ@x̵Ϻ຾xLi-bnF p)ZPIEm.+E.VR/_:NyC"C+xDT8؈=j=tbTٛՏz)%Q ID:b$+ G<~%w,pKID#vZîylF!˶̀t!33Dfפgaܩ SHn\aNrEi>VZ7¤Dd%j4B)XHذzZzNڃUe2r /|=rDv)x樺5*?&1WˀyAÈB-.q2趓 20w;LēJ+16M,tts=o?d5[Wy˩ 88 UWWM7N6o;.ƥ?`ȆÎk_UnPKYğ7ڻb5I^~͍bT YzﺮhN^K2w4 lҮvOZAhcsgMtfzfCS}K“?O@پD{|PC\SE -M`>#\.0ݜ=⊗+Aɨ;5Hſv_RA Z]LHbt%jRCf7֡OE-{JaZVކ.<>10Z|~H5'W&!ugf0 e&'1`HъiGN0^ fR 8b1gdP hXKX#쏆/,4|5ϣISF&!|36rKm>8? Te"c!7ͣrآ ʺ,:5FǞM:;T;4B3W@vK2rq^DŨ v j_7nHK.W|&U.ew Y65xivvpѰ 6|wacҼA.-ИۂE6f@@7sH]77=|Ad;^}kCõ--#.3<$&aUwAwp'W0~Cˌr[rkάd  "5ԯg@$ TAOCa*Xa Pa*7n_$3GkƸ*tD27#/{xs#O~;X4-2AW*Bfe(8U{>Tp613U58.$ thxqm֥gr<=4 ju+_am-ć(@*A5+E}b+(Q/h W4jMDŽ92&6}@@F=5s1܆4=}E.|4$4mx-UKZ.kj%AP9W<8F _cs#P~9+m1X0(|YZipb>yL`8Nj_6T28ᧇ%\|v P/P@Ǎl2odQmA %^c>>`Ji^"cq|ה_f=`j?uva Iro*4HoY;@hq0X{~*E@D5P ¿BKQ|H<7?\Sy&$90͌ qS7ݥAt( G7HX@;=6c,*hNgeA@S>yEyБ Bi15ĖE&ac:>򫙎p91Vc]@E*PW2:Co[;.#n:+sѢ>grn{;>n^x@fEVykG_+P-)֙!N E&q +q_Mzϙ/%0E1.~lTՌU]\U.2<ބ p:!)³w-k5=n؛ݮ*쬸7z3~=sέ&, aKo KnuL1.`NyW8d*/O[\OTj v]vV5Le,oV]+&NLzzao#5PBJƛJ~QK9|ֺ!l3C-1~_n@Q5rUEdڡ.;M/  1lwۮ/O0ZnRp/rkRڀfґYb- Ǔ/1\Ci&&2?^Mdq.g2D{dn;a riN1$?9:͘YJzf>."|L?7k2r͵ +tн-C`V;0Ss ONszk_seܩ:+$TOD)z)tA`k~C#3Ȑ/bF;`91fM,jO6[ S\0Ԋ1uzcaiQ_{ƭ Mkw$Uhj+B&c_ÜwjmkԲr'Ks~!J5T%cAy7J\;K<8;e.%X t%r_+cQMK=ZPӆ'E)b^*De\w F3֙ ǣejb}E_f7!G@)&{2~d>~BxpO6䏔%HKmNN.HKV2.'*ξI(o!]IXFIv p5@Ɗ/V [rrbleV}j0`l/w'1Hƫk h6H0U~.'pOdD%Ű$4ϳ.OsLJHfn9d¥ǬJjq<ӧ fx~)䶥8'@uw_Ab@]/˖YPڊ?<(cL7F~5կ<kϕ?y;ۼg%ԎmPur0 (E6wAmI:OBTaҴ LEٻ1ӓ(>=zYc-b=0j;K0сS3 '$7 lICc?«I#%iG`tW}IsD_ؒ#9WNWoG7%xdT[&QsZ)_R?㨐C9OYa .M:0";.0O`1񏄪)P'U }k3Q]̔*ʖQo+s}$5Dl@sC E Xr'ђ}c~i?/lmKNzSxa2$$v?SG?NX{Et9 JI̽Aavy0zָ)Wu|A w~cI g%ݑCd\x0]%k8(w$uVnp" ,_> [({5d{u cYd5Y.E!w :rٮՐn 2x D{} +|{NEGv9R|4&b`%^K|i. l*F /!79PV" n*Z5Ao#z~m9,_6[>k=:ZI䑈Qc 9WQD. ,;z3Y.!3gsI(0.`-;(2T{w9AƀMM~[ ^d=}^!^kHԒ-b21֩=/_Cn␼)`EA~G9IrVo bx0匿D$k{,~ AaRRx졝'd'ύz]jt<tV\Ax(!)ar1ndT՛ms9QOkEɦwogj5i\WoVr#@^4l /HUfRb<)dg!ҥh"31|9HKsT388r㚾;D_vL,. Uf'?}bM5,G)q_~}%r`1s"?\NaR+i6G=ß e|K38P,@ʵt-*갸;{zC͙O˛07~W3яԘ^F5IT?<cvDj@mT]~:(˅_p<.<:nxl%F`,託9pd-2LyЁ۟Cмπ,Uu[{/eղդF/H&~^$ Ci _; $giNDdL&k𠧂h38BыsAi@f ŏE=b8EdڟX~]z7_gfT25;A0 Q2?J!j2/K&Dy5 W]XI.mD]k*1@q$ $h%$vS}'cZ9ˀ\'xuQP{MgfUf-x+ʡfLB`C'9TA !YۺzFbhvBkpq<؈c7pho2=S!e`[W%LdAƖU"yj_EreFr?/,55ր]GXP8[2o^)w ymaS1cz@kHg)irjXryzN$`HRHYp`F*čx2 fET9a\zWQSn8c/B@gt c#(s ,(?<[/Ȕ0rq=Wͪ*ںe8t0[[` 39Y}20߳p5K>`م̃ifHVB*-*yQ>ۜ}az7-]9 ph2fC L\IWMNG+|!aRDAIZ#=E/̪3f;A: j[mtmo"BkúK"$De,pb`N[?V)/URU!# 1*nYF7FM"zsnui1 ]ٶd?] sO8MXNsfqo0iO1;)IZzqɽ"CĤCl =Xe6h$u*^cwmJLV) hd[ȟ}7{L,Wd8c^`"+~]AxcA|#0E#:cNQ6l9E`O7?G< ijW:J^"oXN4agyGǺ9 lgt{=/f35$() Aey#΃/1&[EUMwSV'b]v8uz\M^mۃ˦NnEhhW~џWlGs1Fo`N@L.dp^=lPciWG ZĖ:"K 1) r"!rFy{u9\k8mPJQPOy 3U?H$;ηW NUdTVivT5\!{emu(p)/+qQ ^(YPQ8V=\vVu> pk_LoqX^pB Qbbǘն8*դMDeBn-/LW)sdE"UlA^k+UF<<[Oy&2;v9@Xfx֝2N[4}04I4v ct|L6{alb>A[K:@Uꮶ=/ $kLz'F#Tc K\{\uuLk-u _Us$_i܌>0%BUDd.ZSc~ ,JNG>7 LT֓ wYEb|{ C4`4!?,Uw·6iXN hf祳uaΠ?6̂oQmŌ( W{Kꨥ v:f0U}g'IGG퐘daA*iyYb u!&/!|ZnDNsu.3CZzE=l3>_nxl0yeaχbJ2<$EyY*|IiӀ|=|(pu yOHYy킏Xl{&D¦8L npiq)֐,~r~Oo+2Ⱥ`_i-T,x1̧ fve=9< ${G.w4f1\Τ g])J'므S=<)St)-TU}%^<|$>+90}y>Z"EP>Q+>'hFgGZ3Eׄ[laf){xQHulX;3I܊ [Y~NkQZ6~6#a>ĂᭁN&fow#Z<+2if B߰<ڃwR(wM2YuiBXgѭǙPm0+‹ en 3# 1(=>2QLJ'ė;y۫MV\מ}s8Y|`+.1^/ɥ:pO.#. uZ1mmUꍂ*|eƘm-6s,E{kwayPe6ooS0Q)оk]ϑeڍӣ!zcHc%fm 81g{LZ:U $?oAцnh7M}#]yP&W4[AZT!´$eJnm,Iy6c4MM~$8g2٥3J1K 7~?u&B(U…NUПbث8l ă8cuL#G~RQB YEY^V*)Q0HuQib172, GX6E\K&7AL0 |MjlsC ܣS>Jv/}nչJ+*A "k?!|#+f J.-cE/Q/WߒeO}R=y>@Q7.eiG 6_?VbZI:b*1/q9ׯ&:>ZT'REzO@e-'#2&7\=k7Ĩ@tt=@>@>FH>z:Ukk1m[ï z2jxv&p@_16jh3 ]^98NÝX4X`r^H8[\uN+-l @z- J$g"/qBūHn~z'8*=,&xO4F7scdnKZD1`i&]o'2e] /;`zߊ2{a{&lF!9j5 _}`2m;UZٛO]dWzA $V8 ,]!Y3o3BYB? HLuht? Vr3\x[àiRX<0b(- SMovf (LuKfџI 5? &?IWLB!c<\ȍ.#;"ogRFb> (0ńt|8I*چXwW}rq kl5 q*GfAЉ ^RlТkJ#[Exmwu"1`&8TƷ^y#$Q,]TP4dzjxgS/`';ˑ8<:cdyee]  &cӚWaN!?l(X1.jnt>KTcIM£k* tUJ 3Z@D|-yd$w]OzTس! GCA/jeAPYMC/4$9> ;!c5~0ACRJux=3.FOLzRGv&NP޺ĕBgvEvQ ̍@6".i][*sQU {X dFh; cnT*רI3S<36K+:8[}Fn]FT|Ťf*TޘP?lt1 #fMIr]m+0{1L:1@~Agt^ f&Bst'7Oզh̓3*虏;Q>jYww:Kj5U̧yH͵ t78_+I](t | e*^;/`mKQv{l \9 CjV&X$O}.Iiے" Z H^\}@eB-ýcPw[W̩ ܀ݓM,]1m'/vZҺ tcv4;Oo0ŋiM8[rvui"%X^/ܨ62PVPh'l[}7:] +wT_S8 D(mezZ DojIwSyVJ5~#ׂniwxWZGwZܹ,Ue~.]PQCI{hv&4_x.Rϯi)T k n*@@ ]3d1m~.QvK$g}vVmСI$ε1RdjA֚+MNX1kAE _Kj۞ʅ4F%eGJV:y҃<ҩDLiUiD4z+jYz`9+M (!2A|$>-,W:G1EX Iߨ`S4  e%]:qTė؝*%.=;9Ŏ:!fV~&#W[fb(t_vX آ ڏ(V#v:JE O<$kK <-nLjI`dҳܫxRy mϺ=ha#TkS}WwB.Ud6.7s:EߢB^G@uk[g14/D*#5Jg,x1ꇳ(R`ҊNAc@u]Ԋ-tkh /vz#ѕ4D{l-:b#=feixS\>L14ḥv򵧪tp$N!9&iY(T>"W 4!F2#c^%F 0g|eyU3闽/el0Kn%lsƹe5&,_ \1t%:ϳYhEF)Is,> Yb7iY P-nd[СqKXؐ0C"OA**P+oP's}.@ɗ#v<"쬩Ki1s!⹶:u}ҩ*IԪ)Kˠk3xUv`|M(O*ń#`[[3Y(S,>e/

`5 2EӶ{+fEa㐎(XA>kBBRR綢xg4rP2Yh3&M"+ 솩e]OE aޟ8(zFAכD920 zQ;@Es>4kgz(5اcϔ_*Tbm|.y nwRPGXMX01%-zL/~ ΋?#Vzn_IᎫM𶭬úr1iMFQ͑~rGr[wQ\DE :EjYn _r_©:6CB|;M+\"Os lӪ$?OF$9 '1Z]Vɫ(a0!=SN[O0D$?xߪJ#)/B|ǛV4ѮF[gq}%M-nO`1hD :Ր#˷JPNSz"`B0J|T C`Q"JwFs!A*Zل *C\ )ryUkw sn $HW.ObuV';zGdJ~O)5?t ufNQCKtN+-m󮘾 O6"dFnD3^ N}yyK)'+;CfLr~ֺ2 Ao_;Vs@&{1AHA"Gגh5"J`){vM(AJlc3;"땠> uH"L-{$R2A]3u6˄pR?r Ї5}25oH>[P1F+0θ(awn rG8ܸ^XfQF"$|pCQQAͽ2m1 0d}koё #M~@*@f8aޗJt/=F3i˴?tR#dsǍ"BV_U1#^uەyS~:RTl}N`?W+0x?L5A//jD,w@-DJf!XJA#6_|oC\"4D⁂-cS_r(ysD0UcoEJV*)V0KJ s~>XLdrGI昰lWAD }B ҃{^RȵM(IgI1N6Cf% {+ WgNUp2@gi$b:k!bK/ތ+ua݅^6Ajs0s[x{X NQϥKKvyv jwH&*zBzXE/b-;;u]eYp|+[@5qls|qxI?Tx܄ˣW|䝕DG\bYPȅsCDf6pc;I0Fx 5 Of BĒgquB49KsI{6j wĺ h'k |\) ;uB"馵a; @o=>^CJ"-}Î;R$^Gs2ݥNL/'y(![ƅK=6L>KK5k (Drő"Ღ(d:$ӭR=R\{Oz_Nٓ꿀Ke^Ҽ]?"qjYYӗ- {;lh`3 U'z L~E#eKY6q Je%Q+&~b|rD sMg D=+o!чo)PV?CHRp^i۶dĘ=|b]՚8~J6duh@TQ (8&J/mx(Q~0;$L"8D--\WH v|&n4>XU9Ay!UM.%}uHCq)L9#B*{DI5FT@ΰW(|e&O5B$1^~()!x |N3i^ScP)PooRXDiCNT:sUʠЛ~%i5L bn):ւe7=^44_G#{>s&Fq4l$<` \Pn8`~4A 0"B Tgpm1ZIORoSnX8`mKnx20:h VǛ}EB7B'C!U4L1ڝhGNy@XS*_觎*ʵk5|i^2 H\*__7@h,cA'ʁЯ`;Xa#0[8ߜ]pcAX P_S[-_5z6ӟv匿`*}z=x`;&9u6xoFvԑ+ٸ~B2Wh<~fQ백, 2U=zrN! lrVMpuS#2 &~ᓻGb%\FHU~ZC: 7\ùGv!pNUf]8ܛ7.)`$.'AvvZK+&0 (Gi'HlInH(yYҼҟ{L,7Ag߫;h˴hUv }ht—H!KW\C-W3M߾/?T{` @^XH%Nh`3c{ :;G]/ƽd{(W'goHr\\c3}h~n/d'ړSPk{KǶ hgtܨs+a;t a{p+9V6p>Э==XҴ:"wqEe"ʖVMfGt 0׍zYzӣ W#f hUz DQUpe$fęYZhI Ax* Mc^L3h4w;y3S40_Z2+tR?~k]+9Ko8faY95&-hl@AFt!3~)q퇋g9jt} hT۔קDҢxTGTy3Kqk';QOJ<3fW qGKCpʠh6% f~MzpnդJ?)}I [;&MuW3yzCӋc,v>tO&ݲ>AVI#QJ_1u-Au+N¸0 "1m7)}M]}p11ni3?-[*z9h{{1V'kZ*x!M0$xgk, T^;i ~+t]=u+Օjpmwo?Td ⌮-ߝՙ\hYgx}LSQFIK+eO\I-Rzm,R9T@޶5.#ݮ߫y-:j;B^t`ȠJړYK\dYo7=|bm/vDg: dp,h (w jMױ0vȪzŽvjZ2b/^S.. NaA<#Ť.D',9L۲3`Ň㦢yp[jol@u~r4R팝79~%^gk Aw׉d KzgR.c0a.xpkrb| ޏ-۬-Mv@Պ'FY% aYxuɽS=Fs,&f8?E;\P'G;3qqvOZ37 :C=ۯ_A YG6JLvFx[RE3Hlz&* vy6 LvOM>Q#0vୠ?[8V! 7=" [^j6 *D/^e6VE7eO3ViSаa~!"Bۏf²B?#!w?#m}FQ{DS6䓠 2籋TwR=ea-$)|aGLs &ѝ^HqwȚM iWqTH#pdɎYۼ^~21"ߒKrRk[BmhxOIn^6ѫ㦪Ԩ44R6piw,\gl|B)H;n*8@~k@QI 8]ŒM1Ժir> do}Gw#hr.c]S7V7'%])vf6PƊIz!{^™E~hE6[D wA= 0$^H+3Gz}XpkM DP5)ߨjfD>=\.0ɕΛK/[Q[@9P!-)CGG|#-k?jYg_$^"ř%bߨc5qH" C>full2SyRm=3x5S|ʤXFyH/MG3G}կ8Ԏu@SQ1RQ S[2w|bq69dS=ƊR 댎JOxAX+I[cBcr-N.s%Y@NhT9,JT #=[6q((S;ҜBB'pCQQ k)mQI*pjHaEߒ+&e4^NaBAG%Pg ~w17?>Ng1@pgxx;f^=T C: s<*aO4#ɠz'[|[TAH߷ǂٸuUоF Fɵ t^}4ʁSeemEs,y&"5*c_5.9Jܸ3|%0$8O.&G"}I~ϵ)$dzVlA% z*f'$=_2 "=kXP/p:%7 ;^&ş `=>l[PMAl8mWDZF'Br8mz9@erl: <)PoXiRb̾6RY@Wh])jh/c`]>fyo.o}*Ti_ Dx8,hVt>>~A 2 i)Ǘ$CtuV.D?/泵lXg"4StA~b X0uk#Y?2%DP3(_ Z]=('[C94 Uʔ* KF|tS@7 EyK| ?9 #Dۀ׊y.YA:GA—mUkjυ]$~YrJ=Z#qB?ƬE2!Wqڗ7I62$TȤSȷ8xbin_d3):w^eJN8o"y6z]O\Oqq{!*g܌m~Xv &{frb U 뎦0HB]x1[Zq3,'ʬqXTȳ}O-Lr,NbM/;M=Dh_lQ!8#9c9P>J &c89 _j{>rd̯ wKs[s"+])0=&BB*ClUl;f%][\ԘoظVU H3^(q}C- 4@сNT2^I/WG=/DAt袼Ep~swױWa}BԞaRGJ* mųdf;RkE~遂Bm^ɤ^ ,l@-; O[UĂ~U^tTKH7IWefz hPD .jk~oiOXb`aeɴ8b-K[%e7"FO6%1BAlcCQVQjgSjو k4$[Ks=-kG`HD@2"l~ i vlyͺJ<_&ƶlNIq@Lн!L ! țѿ*U5!(lKx@ E0[ɒyg4Z;X YX_T<Qrpf50S<oG]cV9/HROO݈HnN$\שׁ(b/Hw{W*S9 f&7N>ΟDqm6޽8M0tŒ|&\/d=G ӂ Hf?#BdMj4J~/q6gZPʇ#z]7Sڐ+$W 8"|`{0w̏/guK' vPv̢A-G ^.&^T?уHw~O4$6H|:>9ު H}|\HK5ȃ8<fHdS L+jm&eؒޗ!+4}fڕ8̆%rCB߳J¸rߞU0$M0>Z lQ-]pzxZskj; ƩKrT[,*wiQ : Ԁg>[@㺴YjxF`'v.wI+C@ O>$֣q-5ÀLnu-p) N\FOԑDŽ$R 1/"I RLSвd3o>KRvѕ5GN{r,+0̲"[7[f`jLoR '72;Î!)5gYZ ;; +/% \Girth_ChromaticHOL-Library.Floatdocument.tex7zXZִF! 4']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А-v9zon -}Ish/ w[_«O`FqŐ;2aɀ :n؈q)|"Wi讀hhq|1]Z^#64vm5.wQ3=k/ukL+-Ç a?FݙH W xҸB8W2~fq- zڲ9q(|/?+uucᚚq*(!0#,Q熛̂,PU=}[zf4.EUcwjQ*ia]Whe ٸ~ ̭@VK&N=X+ w^$Tw ,Ê{1yGwF7dsn(!cUPqy.1ƜwHh {Dʁdr%yDA+Uڛ3U ǺkHxn(x2zHӴ.5v5X7 R%ӈ( z +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 Ε gYZ" +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 ~ +C% Girth_ChromaticHOL-Library.Code_Target_Natdocument.tex7zXZִF! }]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'&ľ?'U2X2Z"GSMt;s2$b'Vuд-8{ Zxh췩ZP/śx z, fx985 48h%[$AkZ`]HT+1vlwŖ}Eٖi`G1nkw>sd~aBdz *f,=eGJ6˽P#8q3YLzrXαV 2[] $f]&"@Җ V#yuHYمj=8A.+ {ɽN+Mʫg6\jG-)ue$wl?WyB&:_˳YxGz5XՂ8.fcV8^s؃\fq!ekB?/ /='Lu= ɪc`C%Ϭ 15o1ˋw$WR54r܉EhN^.~V C]?c(c_*OIdr8QٙxOkVVe{NwKZ`k5:deM3ȃ*y~ )4] O!%r5caSd3,2"0GISwGt:\9LQn~[Ȝ, 'oggN!riCKy/r?T0w be-sՒ츹6{w2.TјN`+ΤV&3,RcKJWu Ё0-MU/HI0JgfqsL%tIT2c}#TχZ.8ॴ/qӔ[;A89(=sõ|+L7ob2 fҳIr3jlj l#9iQR{ #zO dS@[VM;?62 K8_1 /Mb&R`6xInX]+Lꅿg7_prk1uY[Yd C%Ny g?K[h}-LJkϩwof'aA *HBJO VZUlܹJ{sBg1ZE2t#ܮFXJDJ9XcZֲ(2ٌ7a3YEq2P,wz(w]+á|dt*?FZw-~o >^4KvJ-“ΠLCY)Uc_`x(6D93R7Nb HM pѕ6vQ#SN±]dj:4(S4 ׵1!IT3Mq8|]}c1o/Yش  l,#ʘɜ0HJdk/r m:4Ԗ38TX){5 {-XsުP:Pn,I",)]^&, stf UU њ`;߭$W'r7Mл1 _ BvOٻbxP^0S3XΒ'.{ѽ(G(X  QVyu{E3#2$mJI }- Z#ˑ80;3L^14,[WR=_W zv 9 # 86=G>C4 i.쀅E,}õg/led9}D ?~B-%K-Y8k@zIAoktţwgoІ/@r8sXrw$zBFl^4m +|?Rv|EdձgYZ E5E?+U% |Girth_ChromaticGirth_Chromatic.Girth_Chromatic_Miscdocument.tex7zXZִF! 0]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ʯ84H+G% Girth_ChromaticHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 6 E]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 ylnbpRBOųxU;P>Mj(NdX̶RDصU E,Y~U8 RqgMAbCEm6[Z6S\!ݹnU&cҭ<#7eOA;CngPYhp6Re݇]tyK^4Yt޻ OFڪ켴l%+>QPy.`G<b[7?Dv J Dbʚ`物p ,*s{7|`yIqQ9R mQ^I4lZ`m0j3=?%ٯؼq: ߝBewHM݌v[}WSy5-"Z X>(CioKwmp&awq4EX&i"?Znz fMJ`&Q[ڎd(5(&lv>dQh$r*|Gӱq\H^rXJh|R%!IҲ_x].O6ƾ63Gt&,z[s@₹<@SA誄+0h^۬|F6 ig]o߄X`8 ٗϠ`1[υq?q|jl4ˀB#Tk>%6W:Op߰K"vQ= .ӡgoPԿ. ~i,UvNk"*%VHjm:58_iw!=7vp(7y&Xx*rEhKB,{~<_@"AcFDUKhT$rfLpOY/ţP4dX kq6mV1F–`/4g:p:"Y% XJ xkj dYhvV h*MkIAn MEA _OΩ±h u>ҋ@h kqP Ɨ>lr`nRLfmզM@q,k)KvnJGf g(`mʡ8_yJT$5;^3N?%̦:> ֨fF0>ZxmcgYZg >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=(wwՐ O 'bijɁfj_`IjS+xS5cKH5]}4eMPnը 3)֯MEag@L0SPuX:)w |3+[K`nVKΙLUX/,[0+8^ze©PJZ3N8L(HU-k\ H م<> 0FL(43 Moo~goTДrAKpVXr0>o/ާw΁Bm5Y-"cX6CLJEZ2DjLl,&ݞː(SohK^Y6岯&N%p_>naގ2q5}4 ~n,MRFC%Xbq+'C\:4':ǮXެ)% 4!.x#2/_\P!/$3ikd՟ Pe};!n܎ T^QFY8Vo:]'H2QO'F!뽍^g)h[l]Mr5?Xoタl43&~J^u A@1Iq'L"=;H2uŤ"Baٮ/^/Ldcޥ70]ptKk1$PUMXAE~BN]ws$ewrA{^1}G'qLvP4Ueq1!6iN2nԅ؎dcx9T0(yo^)=,3zЌ̓]LiDnܤ)5ȯS_F&_MԥD>2Gq=h O|"Y6MjHqA+stY/Lj THS)/]?S'_X"{;T\'fcZш ō4kx-c&U{Ŀz-lNXMiԡ4HW' $F"b!"J=a@6/`tNBpLO36k?oo/oavo5F"QJ_`<3(+[ȤHx|􈬰k3v?,;;{AʟȰHĵFrRD2X*,;Z !\qgΑ-]"4}7&yX疯܋IAJAhebȴbƌ3w]nz']ZME;Ef 2*LX:Y,bCћeI * +[;<=nLф%CtkID&0׻y@ݼo@F +J?J k[:b3`f^ɳģJ@G6?o\)U$m{tn}>iH}7]0n~wZ%<޽% S}Ht|fGgN魞f;"i •H /CLDҌB[_;K)E\խ?(DNqi2kypS=bTY>41 γ$>^RTUͰ@ fgE3mixqLBܩփoV]h<0NJ٢B9@R0+탪:;K:?pbnw\32&XkPDTCbs^3 '~:J,H@W r9tSo4l%DٝA ͊ʫ챗e~~z2t0nɸdg:#w+K;ixgH ,M뱑6εa)dqf3^}q(gIkQ?5*7iz;ՑS|.Kg, )^4^֯~[:*Ұ뮐 O[<ׇqп?s FU}|>YFdNҠt!bj2nHM>^XwRB5}GU4&/Xc+`;Լ끇<ă: ;]Y N#쐎cJ^b(w !f hA@Pc8(>v,(cx&'~7ISnwR#I_PMĆS~;R4;6s ב$߭iO_/!6{-Nu뉖i;%3W[;Aĝj$ZRgӢ9bVrmڷD߮$J/,.3 g;ft6$J]Vf(NDqwCr I1l_1̊Dӽ7: #꫙6? B.{+zI5.I $Ql ʓU*_2䳓8[ )܊ӯdUid+ΖVye\W/4e*h.OZAcS}$$q3W&՗rg Lp}!>-gYZ6#WQHny9@I`{[`]*fE^7G_\1Ű⍂}YZo.d'$Ʊ NCG@>ok]ҵ疻OكzEi 8M.cv1wy,*mH7sLmh pwf} U10-~¡`->H'чC|v˷ԌH,`f,K^k;iNvT9 s*2w!lv`Vƅ>­eA 3}>v;\gY# usD726kG~S"$W&x)Ѡwe{$fƞ{҇tAUDgp°n')eB^ƑPHPx҅>+r AABR^%eXkji)KmCH?bvx$с@@Ti/&M)i?hl*fUx4NgCEk\"T㳖V'N?20MFL+Eډ"#Ou$YQ[Έ[dm=?'g8¼98mL[t.s#ltD cN@IP,Nŕ&%Rj4#I >n I'8) [3AZaSatHXv>vsE]fz,x8'6JѸՒő)(d7ljr.f澌jlv#`_;֦G Lvj&A-O4PynJw(rvmW|y'2|L"%_E784xV5)S=g 4_jfZcw"?u5qm&-Wg-b0)"cA:VUIۚ.FٿW[zG03ImI7+?E0vi:Y)Apwd[$:ZΡt2 ̪*XЌeSCXx&B^7xc Hf'OdF|PqIY?.~+,AtG D^L:2}[/H,W:rBpgm9w(ЦTgY+LV݋/ oɨׯlP5Aa ^t nUu6IEEgfŬ,|V>3i "x9 xye<~x(5ܲХ/0{ =FД1 w D4ZQ9"~tQGU9c2/.vqչ̟4:P3O'!Lr{_N<X+9w-ɐt5 ġӘQA3Lzj_*ᅢY2٠,Kb5zYiڼ noH!8^ak7x҆4;~$8Fa+T:Q""yjHmb0<MEݤPvLQ%&~Ec<_kЅ H<\D.e H5C*!9dg sb< ʒM"'CG"d3*mM/mTDX"kʁa>ThsȶFŰG ˉ1^PjA"Y?:5/ A}9iޣ%WQp0wi8$Zڒ n(~J?Qp #`!Spx|: SQ4sxG8rn?h?=CKpb_K :::x'KA羚jT)A,:>G;F+⼮Ŗ.)H!Y8E,X ۞}?VwC"AE"+%ȼc9tD%Md['%iѼ5gi:ouq^)4/`g˛_yj%nwyAs" av7ߵ *UtSD,k ȴwXYtcѯ'*ؽKvs#r:E_ّs׎V5E\}/>6/\+uz`p^\9n)&-;!8m Ժ)xwXhL!bCXuM=^r-`M|cUSM53t1'l8 harɳZݱytˁN@lK_Zn[ZoP؀'XHsMTZPF,B QX,S<Шx Q}Э<&bi_jzCN>EmvBGߵ&EjR !_A߆yl  DVcoӥ"y |!-6_2aGBnKˎ 4ĥ*mv4-_# K$(h:Nf=cҎ!d$yGo8_$UB ڵλ[6wogpdQ_İ,4ioxE})$D*NB?^$-|fRx\j/_V e=W#0hFy2/pQ-_%. "qƪ2V~p#kŢ}51kHz[ɚ7 p@)ciq8iJT,Zأ/; n|y,K:o`@/a򥌱#ͭM7O> !h:} L |HUE:մY.g/ Z'74cgvd+S2V-UJe^ WS-Gд"ooEa_C"7 U-!4ˠޖtsѬmP4 NL /ryZETJC38njGџ}~OeF쒇$!f؊E$qJ'(lcʛ%ՙ\> dIJ -UJkF(>LtW'Q&9p=h>X=F.~J}jfqUrcC_a96+BP 2W Fd0#;A&)%t#U?+WR@&ƅrF/os@kcee'[CobB0> {H}xrwKpKE9_X1ԼGֲ̻j.ǂҫ*R8BJ?FBQz>la>w))peOâ㳢+Γ.'u.I6|~$[@*c? \ sWDK mtopL{cXZ;R)FB4 UR-J!6PT@ӎIg,Ъ9z[9>6Sf;H(9GG&@MحDcha8!oG9ʣ=6wK0Mq@;'zf3{i7RD;^K %˭y1A=N&HHn[Coa SN݅nTܟlI['۫\Y婬4=h+H,AU[dhW8qkr*IԢĎj|Ȯg4x ޙGj5 rwT, J{Q8\aφ&g Z1:ҷS_ͩ 8h+$^  WVuUo:J~^\ |Xp˨'XeN1tdE3?`/!bDǝ,a4I͒}Zp uF֋pΏe]6AT9~yfyu^P;|8Cd:U2#X+ʋ+0vJ27>6UכCJMkåGnFDZpߒOTnxKz{—a*%L f6"BI5[w$+zPWtED#.G0LIf$Paon5`jIQOt E4ٙu`"~\cʷ c!Pͽ0fTWJ'Y0EqtjqLt>}.ԍ Ѝ@*H-if6!=ϊeNBB#i#40dyF2u&'x7 I;7G;Hᡨ [7'آv+M^kwE 8&`|^Fua%\ :5UOھAT00:Ư4-I7p|Nlj7ͽ2ᴄ9h+kw^l;Sz qAȲs)y`em',i*n4C: 7TS* |wisEnהoH7ʼF@o1*4Jp! VE̫;1Qn_>`^0FxKm!0WX0P1 Gt6h$MfRUk"׻9qΈ},^j0uFo' kQ+ǜgy_{gi8|#N͈2)wIΰC}{3-B/\:*os۱?!ɜgMj*oubN >H^?޽Yt\r?ܵDR˸ܸT,M$h| 6gΫŜ>cc^@>;ߩ!GWFDtd}Wc lTja3[:q)("Ʊ]ӧ_Oov+B b@o 疅@/OHwG~kֳ]/jfwpzR:k|xde:KwёE@^trY'NHu,mus Q  na VB{d_Z-JhLZ%s[}إbfmާ8 O_LŰϛdPK.x>~Ka4Fie5ݫ-͒$LrA|0pz;ʶ\MJ >&0f&|?;qIxtpw<AZS6P(͌o%?`Ÿg:M<^7~s*Qҧ<o2Jo7ELP3G9^\j̇- 4&:|:#HaHB\2Z+q#y8Ocny${w +}2@5w'0TWÀ.\0w]qj-Dz4.=h5&EOd.=>24܋+}UE!j"Fz<9 ')3b*@ )z=~glO@Vs.yj3C88>S(P*\GTJ##pcPxkv|&qϜ>[6 -OK-$ NKb;,تɃ]j,6Yӂ_%nD"͂F SjjQ% ԣM}GHEVFf( ~ ^`6eQUf/cܢz|@_I=`_) T$A_#㌳( Hč\ZvXtX}^n~X& -j" +{+I2 䮑1gA-QI+5@e6yA6("G­=}oLt5V`0Pӷ1>`edtr>5 2qq)A i±gYZ26f99ccff4e0eb09b1c292d158d8d29f68a33d2196398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2abd28a29f7e1a08ce09ecc87dc8462d66e1909f 09207677660f2e5e303e5bdcb82eadbbb4d07d0b835c68a02c49bf46471bfb0840e3f68cfba3715f