SQLite format 3@ .;  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 x%t<\ ]/]HOL-Analysis:threads=6elapsed=313.719cpu=1658.612gc=88.324factor=5.297zXZִF! P]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd%t)1BPf)xo}mS^/$D7-8VԀ#gSg).}p' ӧ!_B޼ \{f5n@%,; iSG?[?r'"_m g|9h=#[F5Wy9-e' "{xT4|od2I1ƭh `g2h^aHؘޜ\t[#዆hM5*K ;0tWA#=M y(Ud$ _B!Y%̠eq*xL2[-g՜,55WnAS+G[~{TL]) ;Ǧ}L'8]]q%0.*X׺2"QY" *ՅGL=!Tq(.~}O B}Gh5I-e87+yMBa͸JjzR** -;<\j>´j9{=:<:Ň ߧ1'hA٘pݫ, ]It'(m|vBbn/A:6~ "}-',Q-dNvnx@{Ĵ5mdf?^J2wi!y'{"=58TEQ1(A05},+k]8WT8|EQm5,B2Uozo)(wd+$AO4s RgmU=KSoh…ͭ_2꙼ ƚYxO p;WW qW0P ZtS <+ծSGϒ0< E& 0:*i!d޲M/T}wozLFrbd5^b,IۑJ:eHĕK(sVнϮfug+GF]):B#f"@!92r[C(E }#TB (?&d֑c,טIs𳒟/nΎ~)Ϭh$hݤZ'JMʵG4b'}5dL!*X\P M{M|К9 rmĩpqu;rD*hB09_Iڸj4=vB*1z@:H϶wa/(PpVP>Vǒu"Ż5~> ۬րT9s.e ( v-'c+&.P[-Y- )vpǼR*i'Y]%pjn]ǪG! _gQIbI DȤ$Α2Yc|4i3^X#څڔԲ1CZV]EBV_`S@KOfn|K%L_/]}qF m%EhEZ=p@FFA}wj7%g~W\Iݬl='I@5W xokV 3-u}bJpMmypd} 8un>/jnۜ%~w'El嚎a}l#+fEϮiJ6n ,bgT- +t-0٭@h'udłkg{ays2uƳμoR~ʭ{bDqiyj4\McavNrlĵa 7RTIqs=LȊhп{J3Kᔌ.'ɏ"Ng ?'p@ Lx:usfWgmmǴPWx L^;t.3>/WKm;'wj@f >0mD0lOՅ} C< ,磡\KϼدTGUTkon 4B. }rp* #iߗ{@v _^eC|gemBS"Ok['^ka7v|>۪j+an͝G)iЕdcr *`kkc\\sGמSD #\l{w/b(0 }rrhq9Ɲ$x )'-.>pf{G Ct4wp:WUIXfOr[45;L-&,&P(UZ"$nY 02~0X;lɿ3QXAReC̰\5")GDfs*#o?t! )ȹDA\)r Ӳ(%3TY~Ig?GAf[\铂L0ЄM;gPtHqfǻUh;5suBEK1}oNpYyL(K5/ B Ti CSDoej'}K*zjEYĢz}y%$~a1SuURݵA \JD >|ş8 Ar}2(n|7u-a7_dvUJ*_tt̶"7{q'!@!i^[>;Z Q؏r ?w?^_AMPaKr} =zJeC_U@FBԱoW]eXd>.saIG^w7WK<~let/,/N2=מ,7H 7*o/ щh䈆T,UTw}r2Q^`-?IǂK=lej432%`j) >xdeM#j3fEUkԇy lid3]0\ZM-,7OOާu"ڶ))25QrBRkqs=+znv 3s ]2S/ ²^gx&08(+"1j_JB贼Qֳ'3;m:kUGqB8 >z5R`8wm2b"v63oqs&/ ڵ{fJ6E7+ӄq0tmgJ*d3q_uVw{G7K?~JPzKbhTe/!yRW]MJͿ Їn\xV܈n'P1xzd4)@^r˩.X}&A%[e=r;Hs2e:{yl7[ Fڹ}l1o^?V,t KU&XhoRG>SU;5$NeeSРR^iҢ`[4uUE5pL69JOflK>oM}v@3"x-oh;-ć=抟4I'`˃>@^t\w/QxM?ڈ/C]+2 uՐΣAc4َ.r 3R;T7[^N 5+!]nf,2>rK?p B" 7Q9A~$tX 8Gxce2f (4@cgw br֞ 2LK bş0˧ Gs?b"f{aLždEU'x Ft ~2FvSHNfO3D0ɒ9,5fb&f܌m5VIt{U1-}^4ӕDÁLEJSŷIhM1Dzg2^8ʅKg=(Ybѱt-4ZwxM0@2q<+Ҳ MdaGy0k~CU&<=V 9. ЂB`PV/. 鐣|5Euz9UL7}m2 "QL@{ V{M6"Jegv>e8_}}cuLv\~7eGcc@dgw!a6f(/\`F6zWđC_WȨ0àCY0ڃ=*5pY&Ů^(ƛZ 4#Tb=b%bQ(3P7uNWCgТa!Vi8Oy#HuV}H&&wƑ^ QRffꉘMol&1<VUϤ жUYd/H27x/JrT0|!c=)t[б.oȎPGqwV[u?ր> y;~"qp??z|l*AKٿ×fCAO(G. B|ot``S'/|&a2u:cv)ɯPV:V4Hl2r %$@\g*q"´H"Äq~nVnyh6"JUrK,'ޯpF/3"oU+̕{A«;,@$8m=+S=6>Å\3(զ<يI{vD53 `.. '(i:GǑ";sR5Nفy< \S33Eٙ,miY[P3> L͛ AN1ym'Hַr w[o8{If5Jy_耝8)6Ƹ @H[H.=exޝKwEY!;$B+ryFoAcV;vp. Bd)U݌V棝bfXTX݊~IS׋P F! 1MFgmd88ԝep)5偁ygY oqQ;Y3Q[ˎ{NVC3C/_cJbr]O'Z|xðgl]GJiA5 nfrBv._,Q9ȆOwѧDtyjqNy󎟞pkT[S@jG _b8EScNsN(w:o:5X6-"𰫝/9Y=d%2с{llš ‚sϗI d|E/Gd$PG?xN;j Rn>Dx4Iʋm CF ڽ/4kW/lqQRZ"+&˭[;[ V[̲Vgb& %4E4\JTc GewZGZ0q[Y{ii⌓yӮE!LM~(&֮'?`G]WJ6J"!7; 4IA50^b3n\/ 4K1S r/:':`ī y=Ix譋 zҤu}0 6p;O}Yi*1_{{zV)+.V__ vb")77' ,;AWUƠc-vdnj|<6muGZaemI6*pGMZ/%%VyD8^;|.SîMJhb}uB0A k6ɠߞ2')qҫ1\!0?HCy!Wv'%**Z}Mc. |Boϋ38MqgqG{.TƄ/<" | nm"lc$!x?5MUzf.Yj!Ko,wZ8$nXY:i4Hgԅ\~DY}i@D7V!WQX Y7ў 2Ăzd[1;<M%{V+G( )N'Tn a2Ad|n'I)&1rOΦ)W !lXV{ w 66G &%+udžk1]υfŹ(Rk\|b`p5HSTjaT)ᘷTe}-2_)z&Xad^orBWX>q6}(Zr`)gEFpPI|z)ZZN, aTVE SHӟ1rw:ԕx%c ]B.@wzc0ǫ-5ѭIKldɷhx8s܍:jxI@S)xZt mv,|khL) OOgWJ[&%{" l͢pFXÚ@ $K͂]82yn+<{q'.L Z!Ϗa7w-D?A^8cZe\ KBwP C'ojb%ڨ._Y`SC-JReN>++x`$ 3Ը0`v toL80N^!d'*fBP F3ğLO@C{ʪnV@K'A&z&{:Ŭ"o Ү-a_gN,R w:0 0zb%%b.i#1a $,8tBDm&A\keB~tՂ6vIdKF%;?8L^C Od1z'$͛(ϯ3bRꁣx!.1kLgc*# ]RrN@В4zd>Th]$/w&TQ$|BN:???Iz̖3}2 +;&iz G 5JsX|S-Wu ;"a$8T]._WIdrzhr*lU> hSubQْ$[`L|+l lK8LIv)΄Z9hbpoV{C' kaUY/x,VqEnYAT'grORC[k- y#׶Jkp|PiXnQ2+_)\6x"Cn"Ud*ɜ7iOMRgP/ l8mqȀc2B̿-;0j,< MDO̬7``g0ݹH2s?go_[@+5>x^HPI|?=()pY iSsBU'@9:C>U^Ykȷ؄cELڤ iHRK]1KG&v,ҎlCTxny053U,İ=u,0ޞoX#9l,S \d#%Oez<lT;8ox|8?t{sND 7* UGfK-86K([ W/T <Lju:.= ydi1/`fE3+ضǕσw ->־`:-OQPx7AU`Eǵ;( u7ku: W[Y%0Ge`<%Ay I2(Z-̓^7e5L 'L;ŎաBx L'IkNU_7dozQX怛5fefWѲSո7: a˞NLN ޮT"o vԤ! z,#n=2 D-x;ZK [I߆=m.r*mE1AeU6)yy&g2n #5&ǸhP@9F#~>$)-qU,-op$Nّzx)Ȳ\NeiҢZ65Tͱ.4r8}^ ?g&n:^ˍ댵@JkoëW] 4`NvyT1#[pzS= {k-&NOӥF13@#u{m*x9H%n"d [e%DI{<2}\[6!VYh&OԴN\'9i~Aǎbn aqᦧ3߂?d }yDIf;i/ّ[fLw 8X#R60T/< zmZOLd7af/3&1.̻.ĉFro >J!3BoJ0b`C ~D3Cx{:И.u+=wA01wv=Z Ip'uqk>jCItfuf96zsPJQκ 7&rbK86漅rҏh&F$0I|AއHg 3wP[:;5Ot9my|ci-5 5L}}7J>FR4Āk|krv>2sc@F@#7ٔ4R7/ܻi=.VZ tF&ي ^)[ҁ6k.-=՚FISCL^`yA\mMblQ** l/3$(nfQULYx-/UCҊ>XU~˒?iOޘLSĀ+YMIh1V5@Pw7~A\bГZ@} lܲ>hDJԐqYRL=l]Z 6HDo1$o8#:OK׶zϤ(Rg57%n9 5(<$ -XCka25h1h:MUuH o,P*U/ûVIQgɦXA3$挊6| ۻhf5>ntK 44Gp?^ҙ@XL218"cܻG) $"JUHIpwcTxO)4O}5|fS21#j~Q寗l'ka; |Re@8V9V?!͌;iЁ2Dt@Ռn~ vҸyɻFjԬ9k:]$L@§)ܱ~: z v%ljYYWQypm ủsjq}A3gGyґW#oi=IDնΈF|U'*!ggǔpg83.hڤмF|ZkĉY26,@OKl V%%m&iKTء  S^a=޹G @ ҏ%wx0W=ĸz{n2u]; (%)i\Š<<6jE’ ItTׇZn1Pnl եV#Hݱ^l6Gp-]G̎r*301a<-Ѕ9q/t dbǼAX> =%Z :yGk[(݆5/dG-19GXX&vcXҺd0dC@-TܠXkѣ'ce!Uq(6%q\vp|{  P֑\ rfBUJƜ Hi- Ln_W+6rlګV~oDgXHџn13+LWPAx)0 M|QwjI4Cl\rUZ9kCO$hxP=ML"!Sxbn%xC_a{"vTk)ĒR -R>Vh dp%K\?!Z ɲ(3/`.ۥkvt%g(d}?~?(I:3z?c㨆byw%_*&`c16SM 0TTcR.;~fτ[gȑ埄o C2"㡬[ʘ{SAghu]WLNp1S,EXDI^hx-V$w%`r c:u#ԯDԺ-cJ>c9K8 Ȇ2)h&pNα饁sGe:zbNsϞ Xf :dkfEeX$6$&?C&FCS )k8j[>Sŭ;:_3-֫4oAGQwe wSSj[|2cfT\3`h:AA|/޵*63ȼP3i 0> .✺dmd `whb&Ŕ{d&4RndH; UtڙIģG^ɥ 2$51c| ei"9z*D"N͹~i*;Ľt)l,%9TU{m^E*|VŜt9RQhGLŬ%ԣ?&(Ğҭ#?j8^$i8;@ㅙ96Vg;D!%Cy3K3؉wnV`Cfڗa*Ug<%d. Uÿ c-Gǂ`60{W:`Ѷkw H(LS[ dKe.!O)48CTCmHO1\͛|>?, ")i#HoZ1Sbj傮\w9r+16 TsSߏ k)vH&$].Q7zpd+ܤ›R+WG*Wul>zZ|ֻħɥk،{>aa%S_QPگ+t5\hA .=YZax[.xFx%0hS_,% *=]+nAۃp }UaAZS@{uސLH5CAcrh0]4Q8vnEgyFzM?`-g# M1צS4`OsAʨgwR.oġa)|dtkl2F9 wK}*":u:Gł^Lϕғu_&3eu;fpWE x&z1ʤ4ެ.s'zPjp֩׿iX]ͪIcda[߯3]ospY 2DꀉvwsYp5 6⃎$"$8sV-DNm*vQiJ$iV f0P%'Ю+?k=T(}!:[.MN.%*y,D x }?dQxu ~E ʂr[&Y柏vDG]54 A'I`p-NQIvsU; Tz(:!Dx d"6/4F. H1{Us*G@}K\?rnFDZVnP<Ȗ&,`6@vB.hNT~J٦ք\FAjz>x{ Tdӄ< <?F2%jٻ&/.%Mnt5?Pe(YwQv hf!7};boMkT\f(#YkC.,yn%m,aDZ `oA Fսֳ.mS)Ϝh175ߚT.:U_v#,i<9̀`W0W{[FڐOiu+K)ԝ2ŸiKPek 3hV&lWkuOH]wD"<6䲻kC[-#RÔ@0np\&\[6mӅv 쩼ȯ%`^ַZ4tqcmKPa{ÉTK8?L2W CpBqet65O]L|װq$(Qd/r+hm6FE<k< +*yMDɻ҇br"lD!1sGFw ,2r1(&5=ԋ[&.2)d hhz$Ah/SL3Ƥwc(0XO~= #f#Z7.NE>a5|"!9k.a1LȲDDQ9b_e^dzDě(B=RF06Znq O6!?/<9:.S'p; GG:dwY ȠLkQ2{?y^(/ %6CIuaoXD}RaIOAfxp,X:KC߯+ͷn͐.ZN?MAhc=KyzLX*'p?4!G+E`٠LC7G=0TQ3(ժ~kwdJ;*oR-g3,6<۪66UU />6A.S`<t rq0Vdl ~Kw MFF2T>>r*g#nOi$Օ:9>]>B̜A5uuQv kp]Pmgsҥ#7r?R(G e)[Q+Pjơ|4}V5IN{- SÊM[Av#+/b+ $<&!MW>'Iֻ-Cr{鸑'eȤIQSp~3J~&^\) VoI x&eꗄR[n- uTq 25Qvzd)+##oά\嶃H':/5t9\½@I' $d,1cd.7F EuY8n+VKLS5]&|m5NehqRϼtS]Q3K~[1Q@}JnbD8eUY?j T֣)2FZ+8R+̑܆+ jkj)]Pˍf!qsHs1K:b(A_fo{R1y >;TP\ntKcc"[F}Oo*t(] m\k>xFnŸi0MiV%J4|lKTlt>~{0Hy;0Ms_`ԁF_HHUcL""G׬<󮏨 0H}wdǝttMq@4@%c1{'H +Q&O]ؠrd. Ѡ8'MW!RA;[ϟ` L a EfƘ3AI}+IA%ː}L_<}Tvd!C:'\-P  CŤQӻ[֢TM}g};We' =^S∺ӈα^WE1C*/Tp`ԛYA 3:&#>n/4LglX_d#c&Z/UvH9^Vh5TٚM16&Aw c߿:莛P/.a(~QƮmW3(D@ (%9ouWU_CN"LO$ ,]<ύdxBȲz!AºɢV9S57pfuv*nR,H©2(#K_ɫ}17u;equ?s,TH-BS"r HJ ĊlH-Oa[ѐӇWV:Zh-F1ngdqUWA;Yިj72'@ѲJ|n(4ݽAnf2~d%4AW)nooh햚NI]tO K+8La ܆^H@%?yH8>J d)'# bptƾӝx2T4RB/E?#r!S6)?!rIIY3eѵ՝,! E+U= FsbiH&T|{_0wBgdXbvm{Z@ua-]+5%+#Z;;\J"UF  Bg cҀ2n0)=;s/0E'zI 1m!Z9b@R>O,̮r+$p-oMҸYM4WWLTfOSʅѝyM?~}"2i+v4_F0\PPG&ѓ,?pR1@䅦}ztʔ)Ÿ%]%+{lkG3ܜu{lxN8X{K)p`؅'VZ&PiΧ#4Ad}*+cc#DԅH!dSρî34wΠb,~8O6+ZlPD]W`\Q'Y-=K3lj!A [բɰ帘:b[_ ܆ z߯_ ijtN=t4#R *UR eDB^Tm]ldhO'$eiy#CgR $QOzCڎbo^ŒOUؙpwƏv&uƦ*L Af|oTxMT&oʛmP&Sѣ+(9=cXq?!A犺lt'MgkFu+jh'ܠj>D~ 9bF_zvy@k<Od;r' Ɛ< 5&7\"@ kGWINzn1$~euѷG<jُ#N$K:S2LEC3E]NC wXE.eP[m݀8toeqjk0\nFywhSoeu3J\$rA Ps"=m4QRv wȸSis쵶G <;$9x%yg0(tPM%ǺulpVA;,G dEKhX.#~I<3ADP5v}^SFd ~JD*9{%Џx/X#w9~NG~(r;X}Fo$lh1xOA,|(T8/8vVXxU7\ob>5.)3_KfU=L<8\_5-wpxk U/3FGy@rASRXT~d08+ ;n"N~{(8* X|CZ'ݴDwLBPj]<&}_-/x@x:0gNt3cKh8 ;_#yb8Fy?67=f14jT >($NY}>Q"F.1qx4ǏO&_ +l-:*У8*rS)2 4=dCzْzLǂ% *zcmbN%Q$uL8\bI*X1y' #ȴ#sԖ-iGF z6>9lN.6ىvSZn&YPn &4__9P|꺯H ՘ }Mu6u~TU10IgRTO [FOs Wjʛ-{?29<,w$;ߛ>U[Wq<HE6Lh5%#¤̯٨mEa7^Dk2 Fã  H$htEWR \r|%Sg bk~l )ѾKA4Pg7"1Jjbjq3<;X A.kEt?A ṿ "d4C_+JT_Ѭ@xgF"7:kZy(i(dw v.%3+ZNaLcİN ˻@yB]v ʵj@Ѡb?'KYcD^V s fjvhWyV`o#D?zGQrkqQv5t(:+9r)`0d Ra:r=#/d}̳@dycI7wn-SrAOknwzdh{kc Oڒ͢>&%~AF"D5=ۇâQe-mY*C5i-!"}nbʬk]^@k5V.Eo(HFTPVR+$@_"$(Q0Yi j uhd7֤Toi!<4lkIW1ݓ\O-)ZK׻̘k9ET,!t:?#YH{ʵ;2IIh.^6@UmsnFt!Z~w qGyxg x0O[?R׏bںmKn L-.4o~8)Б*w ?hXA6%O{{nh<1G̡x.1e}c ױ^Ƙ:[2jS/|M!\\/p&ܞ״=\yOHƸsSgƜ10rLt.75@u8zW0s7l@{!RCStTv"_%<AdJ/ \qBj?~(p߄JU)6 'ِg]o[#fW#nrێQH*r9JlKkZvH94 V5881Wk׈w3IOA|S=2/|6IQᢿ4=Y/zhܫ۫+X `}iЙ'ˆSg8v{Zi`9Jp4~]`'u4@6.^lPRsSC d+auuwA~\RU}b +G~GiXtQAFNvflnbkӸ++AXnb 55ʭ_JDddx\Lאcta.Vۏ$!^`)庣RVp%( 1 $&Y2ːT N??;YJ3*Ż޹T ~byZ*cMb'Jsv"lOoQsZh;)zzaE ==w;~k D_8uQ {?S ;0#k\RR:|o{?ژ961_j 뇁b*Y.x*k1dſ1uYzbKrLIcXb5^na`A>v]gnnںί8uE%Pg]:hټD/জ|P{Nkͨ]WTNg:]UVjAݗ \JHn8w~zi>\Q1st´+]D}Z7}X}M3zsE÷sCՃj[(Od"DQ+idWM|4DHPȫ^1.uvaSzuz2F__l1W?ڙf49?vJ/k`W:/GLK!RoAk!!I h.0 \hp36%+Vl@+ޠ{.Ib%>ǣط|u(fDR]`h̰>|f3X \8Q&NȎ[L za<^9ԑQmܕFU 83{r>M#D(?N4UvQ3҃lJ1wVX3߯"-s,5-6U05, y>iq=-T6іׇ!o~lxObm! =IդU,a'd$i뙂aG^S))`9}TnS,9@|tGa2f% NG@!Rnν3u0`@] *QAh̵r7Ӂ ]3e>sܰ!-HzIƅ MQ7pUԒ|O "W&)ٶƞwaY<ح/ȼJNPNrk߀ΑRj}@km&}Wz="Q2NU<{/^DS=تN?b_]?vO!)Wߋh9rT iZz˛.]=kq˜<mKؿ!}C~7@cFvie|rq=b| @"=`Be m2:2 S5y4 0F;Z ÝJ[d)wiû覻׾ 9 n*E-o~_l.b u&_G Z#Z-Ev2,qb/8l;71=$ @h+YdzZFP ioJٝ7adOr1N'[!"!hrm hG˗E`Y2I6S6"XŚ__f!H $^JA94).INaAJUb"OZ՜Y{G wtQboGn0IO؞[3@ '[b|c+V/ cis[lΛ$P_P a-Cx9"u} q]ce6ƹ.}ߒe(7P^FH:=Nv\9P 9x)q>T 9p CX( iԾ": m1wk`)1j"Q'lMQ`虙̪Qd4 **LDo6f[Åݾ|plDAwkDdwi-'垸3+Henk%?[T!^62 Y*:.V!@QC}I&3 ?P=c'zw}Ⴓ ˮ`|G% 4z=}^Ztt!14iV-v&$Neä225"3J3itz0P,?Oi:8 ʪBs?HIc[RóX/0.ab%>~B"3OTg j KKIj7\}npUgmӬ6Tf`3Y|-fJ7Kb%WkĮE}Z4?\T/ w'y6^?eÝ/y wي?WP|3hӫ FqS];#]Pׅڼhvٙ>: 9Dp֦[`̏Ԯ $ꭡf~Kו{{JdG3&_͒z =ƇCqGvWq' 1T;f::sqQ5b~S%.![4Ew:CRշae? f^(J1JV -gIWgTżӮw<)[C?l~G$b&pB:+)l f4UJhMYcyj`e t { cx%n<#Ωv]N~og_=S[el*E.O 95]aDt{8&H&S ,mȪץWF?u+Ǚ1b0(x-%P@o`dæ8-kp)x/X9y,f>)/c<^Tn:E9e_1v\(PuVSU/zD =-%Mոc5k%8$:i-uU}ڙnjmjі] uݍgwUW> ;f3VX ;4{T~pWcS␐yxzT_Ėv71L\}WGvkq)#NWtz(kWX3(#>C }&S0#8ɮA3ɔ(' a޺ UL$tc ޱe(MXv@zge {.; *ٱW0gܓ^1\f/) 5icp%nui-.¸=Sk}y$p_B#v3/D``.‚LPܹwG!EoIH7MQN=(;^](.jeA 4y&=1֢u0t3Y4.I n*Y5kH-;q7m_lr# l ` Duw$Ӂg{ȧ1+ˆn\ʀ DvMȝa݆L>^@@ k:^튗P?_;/.?7rәOLN<GO6IRLSc+w$@T0xP%k|xwj4^:h"bj-kCh- tV`e\Ѫ􏄟gk҃թTz#]_;^e*ikQXlbsNѨ 4^Eц-"Lf gL9 f.~ 6P΢01E&-Mܔpg73 j>f)0r6nL}#Hs\pv_` vmS6lGi xU?\{](̌ U\}^7 O魩"$g%fZ:%iL6EBkoan\ ,} taemfn3u#!5wNF\1vd8$fs He!C'x'is*DM2^t\I-)Qh,3(t8碵ph_!Y^f uuXoFQ"r#5ex֖b`~$(ֹhbZF)dC$_.Jk0\ĸi˜(x5XSbm~c1/7)Wl-Fs{R'wpձ@M*+ ǻъXGaV0-oe^4VZ4a>)`y:Ø=AvRq$1^.N## 7T {ˡJY$C8Q`T6C'@ veSc$}ދ4Y-7+2~" ªEtdl ;u50ʧ>?"J29sԉLdqY;+ֵM,T&[j0I1evwTA`a^smG3ss’b!MscJ5P֤G؟NzJji&α*8\ cd}bݸߦ5q"l C:kw$ΪAPwp'dUxl~387c7+FyE#ͪw #qŏ?Ŷ5R@Zz.of r U hDpSA._w=IMAd2V8sI f {܀1|*eAI3TEX ToI8x{3Nyݾ&'})й"8-ЇFʠn \ЧNiA#osq?؟Jta3ɅBb%4S1@m<0JzXrK)\Y;1qVjWgJd],jl!S&% ݇_ wA3^/x}8Ip` y΅Kka/ŕ &~{EEA1"4vÛ0ͳYXГ*;dI"zA.zYVlȎA!3b AcE5.ɋe^b ]JTX3 HpoF.8 dz&A/ M ؄"$W&iEQM( IG\ D̿Oeݶqa&'8:i9CUYݺDQvLtB4?Hdog'Ī"s/3 a0Kmp\ԎRDA}B|wcgZt,CRa,~o9~Ȟ=z_ϴ+ :z8pQu'2ǡ[J`^1?2e?lb4۴<'17 oU&Lۚ,~rOߖS.J,^. Os I,DVi/m2L'u),V-T512aPso*%Es=VvԖu#ش\k9<!M+89 @"Q_hnGzLetG=TV zt&uv F8O]Rson4Od;ekUH+I?W.N1DŽK3X=/-\czt V #XjXޱbaP>|Gu (p9Z`D3i 0&CO0/+^FfIa) 1?L|?clQI|s[ɶ:M;f?Җ!vNgXnLM?haL?rzE_)/7IEf].p vvArѐj=y'>t=-/zd)SJ3^CbLtQDSp%7n.oJY`J47ÒeDC`mbR\R2vx=)Hz{^|uCI#헂e/2J4i::*.Z`޻oޜZGNKM=^ 07acrGg7v"ukHM҉ N6uK"2_%1q:UYZ׸vhtQ \jUWN ZM0(JbP \$U$ vɀeNL̀?Ìi'1W3ucr,@Zg]ջauӎ("BC zfE)W>/.5Q)D\_Tw~ ʅA1臨doNt,(K{u)ȗSe/kE5) g׊e=߼5|2v{^ĽfZw13 aCͻ앫|X9ϊ?)yf1܀:]F "Oq}ad)}3^[c5Ow֡kˎ^!ypS'ӄay fb(|JQҏt)Ng8#uKtUM^<eCLan2d8X>zK(ܹH[2]9S2Ʈ.>-jѦAe.LU+zbixܫG_)/P5XC: 3aB ogG26<{dFdvTꮼ\l(aBq᚛L'nM{R?ڌj(llYw̽^@L  8kv]Pu=;NsEq'Q~}~ow0UE0Ϥ7IvLWqV!utJdLKg@yu0ۜRYE>UʠK+\7oRܮ#?:DB3e1YV(J@+=\|{"n4)M_$ǖI"Ye\'B&hv7UhbZtoH:*u0|rԼ̵ #Fmr1h#:%m_ʹoeTj*:_g'<5q>o5`Z}f.MJ9F@@EW]ϭD/p C>9f:x%';PAw' .ElYOkaZr6tIv,8SDup:N> S%vU\XgZf>Kn[nB=eW=}r[! q9NÌWEHmYAϜ귏d,䙩4(gnpbY}h1R ?:ү@?)#ÝH<}2Z3O̾Wsc!#$pÛha^X3bROMM޵UUíop6wd fdظvBaje5b7@J]40beN/m^B8@\o?[8oߊ9T-OM`}a|DcG>LߐͱMM&V*DJGIqu"H<9TmfOݜD Ư5 nSju!g{GA"OH+dNzsu*Kޗy AW@ g/w|h7k~.Azԛ3PкY2_b 7fnyUbe&.ܳ W B|}Df\W_C~$i[FSJݞmcsHhs!Ym i7uSI%ϑr`M?VK4[׃n@X R"Y]QJ?ZX=LJVrob=!8t yYo͚⤟$m)*30,TYCaaR~"5C?dY'.F?c&I82bho_t; 3# z+WLa8-KJR `m&YxyY@k;8`Ȥ%ucfk=~APZs61C4JwRN$)ni]lZ~JVJڕ:M7)KN9z$#,, >=oo5Q-GHjDb~ CmUQmEV%l`Ug;2&&%7;Pt?jK|r]ZB KUy@ċ$Tu S'*vu3..̩y,tEt# 1 |@a+BUwJF;~Ԙ_w>%$BT&jomI-NlyiƮqPq[QoSj ƑY'؊2iD~dzl5Yg[ovB*-?3Mk?wA:BxiOn+PRJ@|Ԏ&IZ3_;ܕ]@g g={3*'6'lk+:.u;}dtj Mz;s4cV-KI CGd _}:eg:1gLP{rۍX oH/Mr|CE3?$[:qY:Nqd]U"/ݯc~5W1oUmff[>3G (G #Bz`>ѕlתC`ZZvw@ϱ}w ()["7^xjߕ r$F+faFNY!JS< ]Lbxf-j7-Қhg.̰_&%ZHM1f$WBd^7enaL Oˠ_pՇSʘΖWĊ&\;3Y%/ϙiZeR%o~hgL7}}BO4~ Tw!nKYW-IwjDːB:kS(xPPS\a,V,7k+\ͮo>isy EdM9c)y z(/M82IN(/ )#O]&: `t@bq+ eO̓[Bf1-HKr2ffÚbp*!ZiQC p%$xLRE|>{\?3Uf8ɔJ XZ)Tl?Em2".(uj2fVlBj.Bսi0Weþݟisz>'+[eqo=,[GCZ<|ݼ!5Iܹ,w5HdIlENw2AMN~; ato*Oin"=WvYVZ !~C]?.>^p]uQ H|J! IdZח*Ex~39lY<43ws}7Qݠ^"(jUIoJ.4Iwz,Sf$m' `48mb 0Z9D8lv)s]TENWtkqhX .ڠؽ$SW{AS/E 9ȸ,e6l^W^{ț`/@0M MŌl{ ػ.tr0kkӔ ƚ>uph OG>lT z)*~}gJ6Qm]P_SsuWuP^󦢼1ituG[L?qQh^sp;\}T_BA[ Nη|R]A[o0 Nb(2)W>,Cnd$,[4# L %=O>+KJ=3RkmӋ\W/[6& 'L9G3iCt['me8aA)sIs^- ]ibՖ48wyA5nZQk8Bu1cInM1j*ta{l}R$fb+4L6g&AiW]^/J4LI[ ׁaxKuY"V@v sQK" w[)HFI e(`JZgL| |]_1:螬13ܴ6{%x3KX0WGm'!ij/x߽d:Ўw #?Bނ̾z8&;^>7FTL׊SW%[=C'Ʒ,OH=5엓й9KbDU=څyKZ-q7QF0/FK+6(eC0OZl܆zsgB oj=l'gX/Z+K΄ƞZIKki>YL[,~pdI99L7ۖaTMA4=q-JwdHׇr!Թh1hpFfwrpVdRQosn'.,OjƄ?A bq_Xlp"[IWſ5֮aWr]-6_y^6AFSPqW7nٕ]7Q/'1W-zY~rL'%q;[+_v(ofMy9d\w4СC~`NlꇜDOĉΖᕈyA> xWIx^yBGg }C,˘ -H9*6bs4ȽkYpm9mD1זoxg yOXLo1I#%DP3f %c $[8 =p1ےx>X5V9s60Y69H{R.8i 6{7;p"n& a,d&cJ8ƲY ǹnx\< x.!ƥMKf9q#gVnn{71~2m'wXHoZYlJ`δgj>D@Ck0>z5ɺKs?c5S~dFYynQx_ 8 N5Z-;ImoX;58 7VnͩnhvS*u%¯hOD,<{Eaߏ l^ؙ g#o;?O/o<Wn8n!TX$R ~$U}8({Ĥw^X.I_̕* t_˞"q7K kJN\u HI+"*rDGD1|d4@ˀ"nMkrF؏N|7`A2=G %Z{(r&4 &z8 S킈ʟ<{Z7IFp ^ wuimx,342jm'4nxp~ q{:n.F\X%)oQjhXA]r.`-v_JgBM?W5tykFnjv@ۊaģ^D|'낇a>tMN߱лlx*!?DN2^ 4E-TRGcIHKnD/P_PI5O0 o 绲F}'A[6 {A /.7\ W)"_w dB%\1*q}q0H(Xο};[ď@gBnM-w[YSھmQ4C/A004yJmb.yy 4wpC Fגm^~I2fPUr \9ݯҍ '1ByY|e2/ѤWA9^-PˤmC+Ȁ%A]`tVą4l s-@/ B0(uK8K޾$KBv'  t9x`lB@=4*=fK.ӺoHNGQD)8(ūi'y .8ǩ2ٸYyik0@>0 3wR>]ecn5{+j?JCh( {d Ձ)w{ ZϗEn -:RDѥh3B蠏C^f?:`K,h ^>^ 3'A,>TJ#5,LWɃULR\ݎu}3f8|m/\fLi۹(wy))  ! 1 O9Ԣ`3P)c6 FINL$.3ȏu[312[Xl:hpN Pղ!ʀkOBZ+h=V5qC Ps;ciwo?i]ἲJ{& zǖl=vSr|30en,^T7qLôbfz/6W a`;[u sؙuv\NS8>#=Q+٭.ne(mc1; #2 qdUC 9fF[9\Gj>}~ρhoU@{4YҔζgu]߻gAQ4J%'yuc ty`V9̒wu eEw铒LKZ7"5=Y?őğXAVUOЉ1mZG'(J3ln/hޣ)iՍ9U7F*56"Ɲz쪑j6굾ugX?HSk$  &Fܝ(٩#ͮN^YLd[Ů~#@?H>6Z_FeJ3vx](BI/<`[sj BTX`rk8“ 1hmMȘw1 }S;L4:VڇaZZ%z].UgI6G⤬vf.IS0Kr vmK)P3:rr׊ sZ弡!m#,ܼ;܂1έyMݕȯ {cw;Yf^!SF][C΄A)#@g=:hmѱ$VIX(;%ܲ얀QAlػWA7yS,{ӕsM=FmOu;@Gm(bXԿ(+4qp9sm:yOBFU*S-?d@yd51ݭ$8?W"脘!=`KU[_I]8R^u'~@߼WBdݳ3k3k{!6Wc+f㽟K?`MY/|:oh^<5 _RWc_+{{D|d-5dQ㌑Zw[L#!?>/KF klz16cQ.v绀YS |,mw3o9Iou5DfԪjwxp ,:E뤫f㔽Xd_t, mVzI)V?4*&`D&|*ڀ wx3*8HU:ɩl)=/ZxsL$;dZudnDGzkR؂[ =U޳IrG÷ iJ/r#7L``Ni>arjsB}UϹ]כtʦw{M'h$`k &k6MK߃#m$&pM)]I|2*nRm")%@m1ݲ}WS_S3>9Q6<,z TO8Q?.,Ngr+y`By {W! aFcw uRY|SDƒ^ۡo{/%۩e)WK O4ܧ4xy#$)56[3VZ5J&Bƥv~iw72 [R8L^qֻ a{!/F2Ǟav>G S{SC!|x} ʺFq/|0"fUuǁ?oTŲ_2+~`sCEa65p)dʹxp[}eϠxֶ^r8|L|ec%$E`VjU֬~23Ys-ۅ]If-nx8r!^7e((cogFf+dHͻC5e%o<f)^2x.- "*:qx>РQ]ЋFo`B="+vD5.KD2OҖڧ{ذPYa3Er~" ]ഗ,ܺ.K{ߙU޴ĉ6ch.(6EַT4`2"VWNZ G 9#rEtQg:UWxnB2p.\+tJZ,C!$M8EAL±T%8F^G2"|&DPgNkiR8W޳T@;Õ/WWGhEh58|9w j)#5̶PBPbWeJ"E /5'opIy+3f"vQG&rө5ZKV߄28YCDJW7wuX;\ ,_{XeP{dFڞu,^6ȹNP nx<%DuGTɟ޾]BirH#ޮT5#m5 5 Z@~RۅF[I%u8#0/;VѯE͔ȼ)|$JCFq v~э TQÿ^[^=\<[$fP#$/=c?8 JfoΈ#4oGX"|A~Bi ²IAPX-pz 9]aR/Cgk 9DNAX؜0\K^7N-L|DUI㖵FdLS&@R4˨'jTOCcL>WrFĻG2ʪOw~k֒>>A]UXA}4xBL(l˶'25o@`mNڿE`PpU~p+O+dCfvf;_ț/k2 TޅiDϸjLKB2|1["-)D @i$^JϽ3"m-JbPь`9;(h=% iuF!sRscRMAxb\3<$߷KWphQi*38)EdB}'JrtظRZDgt-y@\MvGrCy9Jn-[!η};P-wx!SǙ%TJZ"ȗD;SL"}on^x2+?,[c_/9 ҇@`ܥy1UQ/Sкm'sw]WkYE43ڐ#+>Ic3.6^Mv,6Cҡ;s`|Z1ˌR`H2 ns9/8e(D}Jhc^r0%8&q|+2" 0$v)_$XJYAe<\yJcuGͤAPi*!FPd.X P#"Ӛf[\7VN߷u bǹ&oܠ"ᓿo*QbsDf[biQ&'-'?P;H )?i idLNX*7`OQJ\ 2πy'ЩVgVNSFkUW&ti6>)]]vG>QNGAH>b! ݈;:+_S _ČQ\JL+W-̚#/ũ`# IJW jY贂WZ6Ė O-6Oͱ+P\s:MK-7_&SVW_Dfx } 15o@zgPݪFލڧ.)6HD!E rt"_RT:(󹳇C`bM$y}~L9`"-nmq^cư@9;}pmXsZ} Z^5L,n#'x9ﻶqrnF=+}' >KC ܾg%Ϻ#a+z QZQ ZOP$H1;gz$恽"zM}h1u|K`!"Ӹ<!`P|aVkBiB{4sXߡ6g䖯#H2u8Vq1Ԏآ *zϦa :RΤBɞ|C&\(D-̚;0( i&6t-qB5[6]C AO0 -O?{S0c fBJBf䌣xua'PafܮPEn>?G^AYқ"SV+"w) \rOE/Y5-E\Cß5ԗ5~hNy QGDC=LUzjAVغY?_PXb4^_ d??x\E9D~G7ޣ>n#3&v Bw-څI%+O #2SEcWK#(kFKJ#@#SW#𻙮z}pa͢ợ/ 'r[[l.jAL%8n;jK':p#kMӖ{[l~=y乎aFr"?>E|`Ocw ۫XbXǽDf3iq ݁QA'2mE8WܾBَRbL[}Aí?ݷ lS?x^Sm~J#$7Abd*6rOr~s8Tu@ ?qLHf4yu&e8l@s9i+'JW'idHҕe AĐ 1?Hsn =Ǭ]!8^nJ ~)uvs CEG;82@W0"Hi1^ۉ%ptpjiXaq#搧ud+9l Y* w <^!Wl\&&yBK}V q#_<΅>-I=R=G/s#\>\86[/Q‹^7sp4N؛o*ŸV4S9K.2eGȃlW\J߂ݬ C!T|^__i$}ޫO|&8y'hrE˷AՂ}2)C55]Wq8N&?W&\VmyH(H6TGfޚ-{&0sNܺnXϴMfN)N.iInk?[Y-S=JgbnDekߘoƳ?f{i <Ɉ2_JH zrb !vg̪"i->]%+kAU:\#yh`ݣQA3vh?ZiryEG(UpN{QJ{R7ͅO* + {.~V?,#K&oYVOV YkjWR\  bz.K`"n+1; 3}rX\L' %k:K>!HR8ڶJI4n>w6{ߐ'`[M']Ѽ"NvxkY6H ;БSw˼lhhozyqL}ٳϿ*ȩQ, 6 !S& 'j`}sIPpl;}{ve0c228^A=*Q,u2TxQ┌@jq9/TV:9}o+LNneOO^ij/=?w5E>Mp4V ޑ>)~%z}"f^#H bR6`{r@,Wvsz~<^T/Od񋓂YXvX2dæNABխT&lӄ( f)?'B}#u\w悼%%qx<c0( ;S^θyy J h5>ޥrG[t+ݺq<-7;ѫ8 h4Uӆ< G+rX78K-J PMWT[lpᚖJJh&0CW39n&RFrꅤMġqH1N!Aa*xƲ z# 71& z3^D7ӛ? D<ތ:s}gQ)~ʶYܽsQw1P