SQLite format 3@ G- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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  #4J6Dg=8O:!zyz=Z&G;{L$M[rʪ4{ WR0P'`AKUFؖB'9"4+6bKmr_iJ͵F|f`K jzi>' s^`/s qcpdwX!A{fRfuC_N>B =]V?E9XWv! "S,P]|Zt VtZQQꁒ} B)gVGjX>;8{$uSqh1QDzކݓYzȃtC<}kM?04;F΄%K`:] 6ml~9q_C|:aL+pҿ/&H}\/\kMREC_)|Oik+G':"Qr3θ 'ٜ+  Aj 9/{O^u9ԟd I.#3͘!F%^~I֖j.&?a eiQQU=o{ |ֆ>N-^^9)`]4i %36/x] 7`CEH9J'R 7?K)Dž2ȖJj?G.4ƚ=cۚ| s=cS{RMxo >jFLy 'bB ie x8_EGM}*ȷM"?o.K@M9c sv)71O)s~Trzr M0ʚ#4 ?6bT'@( ߆yK((Lxٲː*d k 6ɽ$G!p;%'@Pn½pK[l95ICv:Ef8aϖCԀ׿ߵ>[rC-nfYЇR"Id&_@DдQK=<˱?h.zh;Xbcd=845P/+l*mqzFߴ FC-= ׅZfw%$ ׄS^Kp!,=3QĸyDS %6cV F[K: @^Mڮp&~ J"NZe)ȵ|K+q@ 4`+/[Amar*w'[p&aI3 1tpx7`1jŭp*g͠w<׌h0xmXPAY}~>1Ng<&j8KW+ j3:jWPid>j&Y2(a\'@`>uggSDR&KW F Y '*ڴp;fEgS^A@w[j`0ObS4<됼V'~!&u#%UEMmyAAuYg"i]\*eNp܃oawIz2>^gXv6"BplX9yd0=j|-ZbRUJ-aR5Q=V\"f> `-gnBtǎ1/ I(#NHSu9+ICkhS Q dV1Ũ2p\gs֘h5y! W?f?!eī$yQNp}^u;tHa~+(*Uҿ~8 H!`Y8KNS,-*B cԦSR #3kJ3 :E)$\o?O_w#π&;|@+PA>/X!/knzPQn5_Xk:;2`;_(2Ŀ-jj8eblIYFٚnnPgV6f]Zl{xa^t0,C`^z䘓 Ju*9bD{%)}~%"P6T²{û'-[)%|X<;[cYXO(RWʷuL6υh z+ (<D"y^ u#yuJqq9sI *C@׃iߴcNPZ!'0S) Nӭ$A>QCp +Uڌֆ9?N&$³c> oOBqm~˷?h,j\u1ySo6)7<!M5_.d< R9]eĔق!"! "CM"a onHT_TZw9V[|^۸y={+5F|$.ꭷL74INEZ`>MaTgҝ{m˶]am*)ErOjMIA5|0<2/?PYLyHaxF76k^=G0Ue&֡%MW^%i׍ q@;AZͶv.RŇ}?ȶ7gxH_`p].LFx t0O 6I5:M&%-#Q^@FdaX _#c'aBy߲qL/} 4m1Qd4I̽xwPRju7<C7ROx!ԤEA /d=zG cDosB!awNՄ&`<w86.C7zT<] ^@-9q]^a@R+Ӯ/[nZGmNKXSON  nÙ>;Up,!9#kšx7=*\X 6v.iL6+Zr+BobN-hW:^Sϣ}<9/+Iv]+xx_hvJ3v{m2md(`?OX./㧟f7,GV͹.y=k\iҷQ> m nhyϡ~ZJOD\:%f1(RFܙvdbIHP2fFrgX2. x6_={ O+2?l3^ e-(LOX7=rwT i~jqS6":=,_}ZTz&ڟ1֧8^y"[M1+^9^*d?E(Ű(^nܤ6Q*Ka9j}7h)K̪ru&DXJH|^+%v-1$toq3fI`Bbr9 *poP׀1ez}Om@o/KO2l-f"[dB'NA2h5Um ratH1_bZ,gť&N YL){(L7cynfKFx$3 h(v㖁cҿD a& :F/Ic\9)J?/j7Rx˜ b:ZG)Ϫ rfq~%Em2/6]Cوw- t'վɫ~l%4z0;+U/5֚lC Kjкh܃HUz%ԴJ-YTW?TuVM.6S +y-Hއl~6"h< +Mu*dZ ͊CaglZ:DncfCiEq'>w!!\MSPF81 BVlpbk|nHEI{.Pa'u5q | W[qD{H0pƱQ*ַeh㒬)32r 0vD`㗏PWo֢HcA]q9h]P3^D)PR<89X *tFM#fa]=r<#6KXBT{Y8}akTFX [τLw>7T3wƙ/U D-wƠ9|,CBf&s*>pk}r KL~ ;8^t6Z??t6No{E"Bk>TeHw=q Tv) Z[tĜoG<;r>ύT|IW6$zT p9'6dv\2e#!m9[#NmQיz Iލ {(*`d7 b$2BÚ~5r|u*9%& p ~_Փ#=2^5<᫆ ٖ@w".ĝf.K^ ʼny[ hzoWy6lq C<@Dm4->N' iFUT6E̕a-2z ˳ jM@id1$CH&ڛqq"!w({s^v^Sr۾ǹ\o(SMP⁣nD`}"y%P˙Xf.H1䵹tQsYgU/$hAoaϐ|;9sq3Qt`FgB3e+ +.?#؝ֶW#RʓՎ0rB/5qEG5`ג[ Qd&7sL->@Ԡp~rvE|+FnĐT{K& 2+ޮrT_ul=uA+f\dAhVGpHI4p73! @@9g Ge LqgǤ%Q_Do3(`fS/[1 C8x X(2w_рo1.,A&8y}h ogPGE^?0p JFvb.Oi80w{r@-8NX4LwBAUI. 4Kqk aP*"+u Āu2#gPϏ*`lo8:^tm0i7amL3EqRW=|kަ\W3TUӘ_1bLCm *ttq= )Q^!]Z>OςmwvEEDGnM@$7lLIz' GX. ]׫!ܠN`n3;eW.2PNDfEm%]T=AJ)զMt/7761}A^vcf~HX*D^9V|um_χ~rm;]AddYN6$Ϥ0e4Bj8kFٛc5fd,_?sYpj]'bs|j*;l: 7͞?<`eӉ<:+㒲5pS.1J)os @"qQPns_vM`6OK zu7 ܝI3x?/eQE~e;c9MSkakqbp  `[RlxEtQ*8H,JSGԍ9aXBrP%Rgӧڞژ{9ab[竱XXoy^ᐠ\P)wCA%3\5%}6=m^^|oz'O{KZ)$kE4!]D=]pK ,+ i) O9+Xej&Y>̀GTR XCϜTQ6"__hi2^[ֲoGE{zw'/T[~uxW3;K0b-`XŨD '%-kZYB3(i/f!̻@քڛh^J Oo2/[QmL?A, <ퟢ[#`'و1clPs% @ e7lāXE4 ~rpB?tٴ!^H&HJEIJyGͭ L p o`C`_δ&`c_y]Dli M2C>jNq ;L߮N(响k闦܏J9 =2b?|rE4.>-W, _AP 5®ǥsKCpRi!{5ܜwWھd#q)o =s# {zv7|\ٱQ,BꊣՊ!yD|7w݊/X 4|Kw nV3u |])C`?A)Z5fkePÀ2 * [4ñoq(kV{0Sz<шM< Y. kK<]e#4oLkC̗ԃ\eeIu?⋍qе [Emfun05ݍ4pXEВԢieRAb@#`ضkLӊxfM $CH053ZTE .VJT/>  Gaxͮ\==zt5g?8Lֳ|VV1 >\{%_ؤ;! V|y+D\ϿDVrA o`XMsHDBkf2* (DZ݉f+D,xG,+ەń(y6\}9-[#&Ŧ 9 Xk^v~InkrctCϐ@6XaLeJVkxv.%xm^e 5_/@"e_I/MX=}EF9?Gݱ 40(δvi@5 ڇ'RRCBKAd۱ Qo.$y<4OwZ1xNyvsʸ?/G'ƛ6S  h,ȰzoEi_'pD*vد0z>Q?-u,]ÈFKB~smnYvR8-tsa^uרݎ9EnSoA¹BUAe|U;fюt.]񬆪Q~: ]e0$d {0WEu?,7W%8_hO@}9wJ|>[M&]\/z86ksͷat&9+ $ yV#$PBwZc& n 4L/kDe08ؿ{e<_AM19kF%Rs%/Ý7Q o}CLki!Y M[&+ͮeM*D@AgM&'m[Aԝ|x~fHuN]zxC˳O|,xy)?GΫ?ux4űDemBU$)x.Op7eQr+kQML`rA f@^x9iM8tfX6DnET6/PtQ/Ji;![ ~׹ 9[PVyy]sdJ!nRGjc8(L 9f(0~j,#dȬv$W+|I0F{K;̴@}7*3JY 7̑O=ގF ch>b4dyG=;h3圧Nl58̜W3LR/-$rr ʚÏ>X'T jtG-@&<=Ew1,6Ox0J/a.F>"u~./= 7we>׮hh,2/ɦ ( =0κ44ܕ[0LJ-.Mu%ꦬǷC<%̋6A)Fi`ax֕ _4iX5|GcԫS8(QRwu͹L.kZ\WTĢDXz', 3 :}5RݕI.uo=쩴% ;7|? wttpV7鲦cr# cwS?/%SX6!l 8=FfB6팑?qhoF(0|B rUY,9O SfnQח=?T@lx찺ac#\ X+ȯP+߶5b;z[Kvgn1Jno.@d~G * BR6.(J0)L]İߣ8─Y(o_-ZTV,7) kzI{;B]?Rh]9\LP@b*68$?8?zDvkO$AOY 1A}A ͇٩Pca}1MRk|p~iJ fDKZ^K>3b(NaBi&I& +e mcl;} qy =uU2.UOPߑNoݿP gIWYfhlcߌ+rF3JG5 b*WԬnY^Zӌ=,5LC *ltk G-)75+6I踽SG)=EC]wi#=wD{!-Y &kv`A7R9$$esFB%Z):ͣJ8XDU4շO2HM{}HEMfg?'(E4E'E1\͘E zp#+gv>b'yX`v"{WE(Nܐpp|,3PmX*A ȕ(߉+P*&h@<?ǃ{z[ժ!mt?;m2&OG-|0ْ`񡞅E !WN4Uup7hf?caQo2L߽֗I1JQIɠ/_LdӏMN'7 dm/<cb\3Pd6P?ϗ, H̰D}Ho:µwgW?{Ņe Iv/'glߐ;{A8&,wKVBBRu-L5O! ORbxX)v"wyֻQ)|(l ND)ղ o#XZ8Asz ҩZT}B9/aa+J^.n "Bk]sWYa20`br#bzзСSHG{ "踰 3(.T7g9F}qU /3w³%ŗ=se*nOx=݊H qا/##{C8w6gQK3ɽl|VBxBT:G=*su:"b?*!K4=F}.̄o*ܡtfmDg\~oxI̮.r%  SzC@7JŌsܞB$PD,Wa>%bRvlUƪvkac(y)b%q^Z[q,{_&ĵ&q8tʥ<սGHv^8„sR;=ҳ1BֱK}Q7G:}_'N<` 'CV:nֻ=%?22 +ѰKYUK`]2&0޶5T6ϭ'&od9]wKF] 2mGojfNyoZQaaOfy}ES#Q Mhj%QOm2Gc$* Qx2e qںL쀡#O Lؒ|φldX$G%d"ZIxp54}Qj _8g.fHPX[{q $}ڃ!đ#Ñy>K\Lbd|W =rPq =Y??z&*HjĕWV Ea QHfͭ>bJgy+0ǐsikPB2Я}'L즺DqK^?銰W;/m?Xssʱxi%0=1/`|'@fSFg<7,=8K8q͈<ͯ$`Q:Bb |n/%amnpS,VϽys9jli]Znsi@nߋS?<5T{ ݸSٗA3=a *'mJZI8luY'HaROӘ8!,z;ϛ.c~ۙ 1IX{[ F"< *!)iQV ~@9Ǡskݛ4*1jKUc{IdžwT-%f9NZJHV[OxMcy|`!7Oͯϫ`F֞XqF:Xx̸&U1uNb)t XZ:]0 kb:sBD,޼Be9a}? -w/ĞjsהO\̄:ipl:$n<"4^N$Vm~ <_pޥG_cD"#c{xO%n`*x,me FADU#ْIxcf*msʃ$8`Ϯ][j$) |o0).X:-%.N=֭GC5GiϘW!.`E {Fz,_)6ť0婢$I rCƷ6-olJ&9Ptq}^;DC#Fɬ ̡` NC 'YM/7\q 7:WE| Kͭ 0ߨMlA*y;ݍ/I˵E1Xl'QQ:;Hs"]MAGk!w30&5N?45 fYT@\F}lLMupa7*6o4 <=T<%pAĺ$?Ԕ¸ỶywǭWreNh^hOP@Es:, H|va@#~1WiE Z|^ -Ul/HLqgkZ9cB 3އh4I! #j9+9wfrz6hD|4EIw&6E"+'#xG) 7/dd)/ꛈ; _2a8@`o5[$Gk"zu ^ ~MoC(O]*b]>^Hh\$zk@#^u?\s8(@6l֋C@-p,ܶ/s™H9 W<'T:etRYT @}|4Xf+"/VE <֯N)́z79( K$O(œ&Mkv K6dtws#i;M`kWlӤtI긬(墙7HSse. FN50Z#Ѿn䲻iֆ0Os@t~$8K  6˔ϞT/H#)Cc$xll - u ۦ.LfXTSKg|sЮ8 ʋ Kl πB }0 B%UЄqt;A f5Hq.VKjW N+!aAY&m8 m8k`H[9G]؝%?mWhVڪVbcX4(S7B[`zD 25tAmsuc?..ʜHsaB=ѝC"dH1 g}XCQ#984ƗnZy:kk70;~~^1oQl0!w"=O <3LjI }jqZ h~H'W[49LƗD?Zl?唴nf?pԽrۡ3opVx<,hl,ԙ#z(X0F:_~L3r{N(4B;B!W6ʝ_WEK|aAEyhJ48Rì̥XebEeiu[2I(B##\f`k wΑTVE ydnhXv*Mo.v&b݋ͽƑmg3QW7eր?- RhF;N3%fod͚.*vfQ 2Bvs|<~q$~2hނ,X)ko Dy]P u U;8=Z%Nݩ#sGG 5WKvKSc[U˧-c Nc!qC/R1sT(#uҨ@tƔs象wD OsP״Qn9oH]^K ?{1$4!5NGj{R EBéPgo3U>ce=6h.SKI]rN$<7fF\7B _WZ>&-i-1]^6=,P#! pl=DTgc!YS BtMɬk!;9LfUkDzg֪W/6_Ajmgi}ܘIÄIݬdOV3Ȑ##6^Eʗ-'}ǒ~bp*P<FX{skWHRſ A!NasPA6MTךB u0}_. xy*zAB"Db4bn0ewpvB*N} .n< 2t}&2e)2GC +p^H$oHI%/gW#zD!Kq"QPO̩aax}y9όV/8 ZVu S~TxE1n'֖NDD"z.YLƋ~6%Z@WY\=+ޥ\4&ѩj}@K |&M=o~6P os7᭐ArP"Dtz \C!RFj嘙~)^߻YJt;wxh UmIIOE;F lK[|KɎ|C/K]L3A?W+.BbO Hlӭ -10R5̆4 kz* )MC4=$!^2ԭe$RZC2>I%~g:jOwKOL$N6-6kߘvSJ]fjo"P8A@5&wEˋ| o/lheٕU,p uy E^Nsթ]wC;pNQq)&2oz-WphϋoLRo vCh,pL5o%X;vB卧 SnMGjeK)r!~`1WǙ¢av*$~P85Ct"nGOY$G\jS!>=HPWK\XO⽎hw9:-3HG# )l-W8rW9:+=!3b1^FK3g.qI@tjt ==܅(-Dda2=w BbbS+ _-MkIc)B=[o ;E4[ L/`#-׫'iɎ9YoIX*C,.mL0nUK[ \'٪VZ7{ ]5X{Ԓ]V1غ-@hi.f( 1a#G E4>;dKH+?9b<KڞЇ䆔~ Hal{`k3Pp o}$j]sc(l}%d^Sl ^xK)w3 ;$wCȄ3xV?k|1pԴy̭C)0 #v2,HY$8ڴ8NwM~F9Y) cưN@~P"p_|lCb d^:g>f?I~H[pI>κ0'i_WITqnb?S [=qwo}:jwɬeSx0جhB 32/qh k7oY Z" Mb2Ȱ次cʄ_ybnG!ؐ}oϳgn2jRsidòsUhp˦(d8C,[Y%qq`ֿs~%vh!*c\ݨN{\W}e/DEf`]nI BVSm4fSMQ/C$ v*am2?W>k?$Jj3D׍\&={H# #gͥ,|Ess*3*3&]}se:ܑ]?P߿V{u_? Jב1ϼ!y:/3t2Ž4!88B9x(B5>;w5ӝ][DJTXخ6s5yܳD/<Y:BM `1 %pEܳ(OUIUn"7d^|a|[*.FT'KDhY,QE7g!%Yy3og~!֖{fk@a-T z6Bك~?g Py5 )Tӭ͎O[sRW?P@xMDpfq+{ZM!b +jFNl60G#J8J{' QJiD9R.0 .fVFhvG%QK$ HEEۧRy`;C[w~Apw\[v!w~WT:$)+v@rێP~~8zEJDC8;-ȫ&hgb)8* MXUS҃-J04EGM2M5 ` Ŧ~O3oY 5&HS%%11M6<'5dQceP%Mc />wv߲&hɩ,zA ,FTTmzJy$ Vg)ɽuڃZ{[9}!E!l{4SHB]'qJ&8Y| z +Ŕjy s1CXNNluQbNNzc~ڥzc I6K?m(*NO]*?7P 9ᘙCkūP_շR0> rlL%RM4o*jQ .j:2kYnNr3+37 -ͺP>熢{?"Ye*ɳ)K:R}ζzv&ҀR;pe \i{NZl`_,vH,^ke\D2^PS" XɈWRE!D8MVy,Ϗ7L,fuhb(B! "DOt#?V Kvd&>?dU1w*i͵kɻvB9OGR!zbΨXՕ߂N!5=nM0`QSr E )u1JsJOIppXOɰ/05~Q >F ɞč:撠mPc{ k@[`n{M 7 [ к |)g&6n@*q._@;ni,vDFSrb9+RSO>ű r9(ɬ+UY VTD׈=q<P# iM* 5eh&37@"7/Awj)vqm DK'Zds2Qg+ w]h’JSXEFx|3)W$Pe|ĠDptN1mhZaj<5WA޸W3Mb#c/ltgq M' yb D=#_xɅZ{?R6qiHqanrcyS\ _mfNL}0vƪF ^A³/Oһ$u k` E( ٗu݊A"o\ 礦 ;P? 5ŠCji>!)hٿaR49y]Dt#9K&sY{ "0r0E}}^{SO3O6'xCw54ЈUbC2fE-lb#9!@:/Axn_~y lJ`!ybF刭8뙔Yx]7j pq * hL"H Xq8~`tCM;0ę?|#tmBnqGk'QhŗN Ypl7RY, 3JiirhUꢬ鶗 ֘aZީg8pUŬjl_\fꑾ#^"ۧeaew%s4{M?O[_Q)P*rV'u=ƉX}41I4uȽ*Ox> :g=jpcu$l?4eNhV3>J3Fp*'l؝u4GeʢD[9Gǔ /fK4y?W)P ]q%3f?"OZؽSakϢRo8جF́Ei8MiDx'ZC/k./ҞetC%' j~o ?c0%;^⺔pn$L sPfC'HQ!TGNBUTΏ %[<) Xb&I7U!?eҀر[YR,d7*j>3 *0^KbdGB^w {e>L&{fD){FwYWA.Pݚ*Fv0yS(I(~;)}ʨ$|J|pd<.wV"2T hhwu%XV ܕ Z0j$q#^s%o'0r4_2ZaOi(Om`={)uSD"NO zCnհXbں/Ԩ! !@bx?O~+} ~QEHj~*V'I-}c+kWud($juW_AWǻI”|!B[Ku,66XK#h1XF#g$#o[ -J?n+/@O{﬙Q[\!]2<=0(ss zI 59h[.zh̤x[ H*%(|R vP 84EYnO봀ìжZ^kE..DvڐY9_0mn:R-JDΕT&]'ߤyW!~AA6Z<*:ڃH1($|}?KSؼJh&!ZhwI q  "rZ0 q.[t"M/<Y (ꔱfe`#wQ$ f9}" A| nF[;ɧ<6 bTp>9Sc\ } RV ~PI, ,١NV t^ƯͧB҈n Z/}EɆXAӀQUZp{T-QwM 5m7M h~Î2ܩ\b@\Kc=a> n\Ko4Ze 1$QQI PRt]b,s>^,g!EG%w;9/f]U 9l}81Ci5o璞jKHみZ3D0/Hyd1 Q Q咑St -SCack:ef@7:мh o"cVEEBzE#{ѯ"hEy&d-,$1r1MvhMRAEp׊ʌ>JPgK >opI2.)* xi!Gπ-@fbV s^YT"讆,OWdH[+`7Ag_- MUBݏ]Gޓq NSUqLY.Os9k SbEkV;Z=حOiz Q(AՓi#Gx(d*dhp>[JX#x`FK[я_ %y.{-3h!#jVn~6thtX]cSvЍ1W"HJ/ * 薔ê=EK:IZ|zsygA wW'5az`gE90WpzLcXNN<^ K@ڎhdn pLohB4TaUo97"JE B}1bKKBяE ˟mC`68>(plĜfQB|T6hйmq:ܝ @Pa7Y9lrl52ajq>d`<֖)RCt LC55}s0k Z%o}+wհK~t\^*~yXXUA* nr,1Pw\ #W%IÜ81v]~BʟPvGۼXbh\0< [j)2d{xpwSpdwY se*A:V oj;S5u?(/#K~7HR{aGw! kc0³W2I#ɍwcZԴ=AR`jty+1J9ID<9AcZ@ږ_u x..(͑mm}x 萆)LE% EJ\z^hws/׸h ;^ŠݚIe1OEKzP)wɳc_)p8*T?>&;/rBN佮Zkl[Ys:9xWK8>TȵҞx{ʅEw=PQԱo->: ƿ^8ì-3EPr98ڀ'i'3S7_?j`T3܈͐[_y8 44#[-T}D}UZMJk YIF/ 9F9A"4v b#Mh4]Hq6i9uMP8?=DNc'>Νܿj*@K% 9KgH]4.f8_{TIލB MGNqX.5^(˚1<IRr Qi{RULy" LXv^BѯvxmHU,T4ɖ 7U;Q"ڱQ)V~8x-d''t&De5(Rι H*kBؐ-VA ?{H`4B5(s6CJ4Ssl9k4}H!uaZxڞSі#,bTT<6OƈZ*4~u3EK7 a:?ֆU?:Kp0U x2tt2["e`"N+Zn:?5[|4?rdS-ыG=<|UEּ7|fVfRd*ӼaO1,3۰P׎ ~#P44sta?i˴…JtƠ&Ģ]a .(vtPA9߾5uqlk {rDǸg$r/{NeZCcJխٚ[6-rb;_j"Aǔ)ޭ"i]W]{]-saqeh1#]| 륞F7ԉ £ד&-c(P͏'0UEtDPXUUcZ ;S+1m @foX|cI7ޫ]gBة1*LЇ?zΩ>;OL?|m;(:iծ] @$_{eY}MXD#ѪwÉ}JB瘬٫,(2* p12 &ܾ"ћ@< ^_k.Eef @t^NGGtF ȈUuUhAǺg->]qU?2AFf ;?K L6 7.+OE@Ѯ}؉Gݾ ?BߑX PHUJ@gYZ7zXZִF! !]ŗXi% ;z;ʼ rx .MefYkSPM*z zb:χG(੔5k0&a9#5.@V_>z[wgbj\a=/u%(yUCK*CƦ\ TuDy^4x<Ѻg_QGؼl 熦T,GON_|dЂ}X 'vu,X`fw3wzkqIB+` ~CշOD%\BD`RKAtT٬Dm m6HSchO>V%#hAf_N|\wBr Ddh/-Iy*'$ʅ'O X(Sy6 [uas]6}5Hҟz^ȩ-E7mIj=dbz‡:Xzn}O[xҴٳb c|˩ İa~n}shP{(NY;6Q2}y$Ɵ=M^V6KnZQ.NݍwmÄHkd}גbqa(HzCZ*1$RRS X(ow(a?@XqWM1 L$_Ko6@=%HLn7N-Ó`tR2*u'p=V 63@O*,p3,0Fd Ey2i\lCs/*㚐jo#/ RïIR LdNr&TE{rg%#$ī٧ʉvΪg()S% !Z׏#|c~6Q6dsv|9Q3I]"d6P(i JU .bDs!4u4ťxXT x|tQZo Y3S\ .t[eX֥f;}Ru:9P GgxYxԜU,xlIv =Ѿ2h[h6ΦU\܅>/ gfu3x"cϪ.lC)$?T8/IJ.I_\XO wdІtߡ?&Gnv]۠Ďܴȩs2ح:p'u79*#5QiD26ot:}{2ȑJmy[K6ӵ/ϟヤז+Ҥ0PʱծғFpTx(n=,78 `Bcdvv,2g JAuI1[k7d1,KCޮi_٫$Q4K5u]+6&(;1DX ~ac)lJ7(.wNICH9'C'u0c wjuIM&Қ‰93+ꇋE8%'iL g,RwO_0b׷AQMcAxySعЪzȱ8&3v<虎`%uW<^ ٱ!%/֟dz"ˁEhbVgk)b3%](yg ޥ?i*g&hXl0TY)[Ե-F1Vǝtt<*,+44X%b3k3@Ւ%9Hw'$s&i` h Жαs=ˌQ]Iqkb>5Qy&nKp&8"_tW-G=wmg,raKYxQj(xr֨iLEBjN+B['9lHM1xj H]&?W+Aݴ_1` rX?Ʀ`E9)Qm-%HhD/,DF>g=j{P$9U/?s+2ԼxT?Df"t esa0+OZUOxB 2 L7rbj\ |FY468q3Ǩc*g4q-sŒ]df* )=}e~пGOY'=  79?k%%Z?=cAđo])YRSl #$X˖W |>W%ej'}ڭu  8Eznk8fAA O*Aݶ{.kPcKQ ;`vy&J&IX!ckvl-n7ܴ`zmWM 1RoC~j]_$$FLx*<DOPt#YEܣ)gp(TO w B#$}T b(jCdPTbyqc(v+QGU֕Z jܼφp6DaO  ߀+E6Y[a9 Vn(`tzV8E8~+;70O-dۀ^cO/Q7A~43p2`Dz+ W" {?[KL8s)\xy: ?RM,lx pie g! :݊q)Qvα"s LSfv힩]Smuji?ح> \ lRTRIgXbRvZNw4cobhs&mC눺ߋR|ڔ1yJVkˠ~mӆ 'VC~{i+Nj&9 $AFh@f9C{b/2o'Y0.j=\s\ZXtW7 ? z-׮l6yvFӔ["EPMKv8Ȯ<)pu=^8/E˫FBo7H0p۩0%`i~mL-(Y͠ @6YU6jG倭G,GS=k"ޑ|SPޤշ oע>bQ /b[.  - Nx .76'>mgo.h4WJ^B"/nZa8UIa+85<0X]Ӛ`ʺ T,Z{E(qxaHjT/wDNVx:TTRwPF]8%aeY$ &͏N6elG8Rg=s =f>,21F3''nnUQR⭝ȕ hkh8ꄼZ1_m/ Nn ʮJD4oo8UdgxIH}䌴yfuַ-']29*OP !w@:y.c 7 sуQ5zエ3IiUgeރMA]'e"s6NM0.?#R+_st8 ?c|ؔ)xOuS)gmCˬܧLk߇ַתÕL+Z0!DTs~+arbA d=OqT32Ԧ=o kD>2C@a#'O 0]<p* f |=CĦ=:szmh*5v~`Ք`Po0S S 5 5 `;C >i©֎ITO0CU/qǑ(Tp2 d Lw70gVΪ~;8UCћ'QP>\@KƇw' )I# p].$A D*NO&j^Xif",T XnVt5$J˜EV0E۴/t&;$G/FQ9i:G^@WJFs&w:bneI}hjNiXҺZY9u IgAI*s0ntP7hohe{P\#$s|)dj/a=c ֙mF&7x 1I[:5k?|{iG%5!\foTѱǞr$9/N\_mX]0ߧel cr,c-R2Gc?pR#B <=㊁(.w> +dqL)1Oq̴R32f2Q s,#ʴ^T< Y)q3#"4ASSC >Spcc*>Y$cI&vYZxz攑N#ϪGp 1M{&@pѿ i|9||1opɊcG FiQSt:^Vm*pH\5q־hN-4؇?i.x$ނbQٳ1#|I,#㺷"(9 hj9q@[ACހZ@ЅJt/(VLPZ&L|dG;Ir$V?9AK1VYk{^̥. )=>d(5Oh}B.X ݣ@7BbifɲGZ £$d:9!jBWevven' ,Q>:.B1yBL^^E^)]?߬q~D`^6M){\庍Xyrtv ;> <iZb/eM@MR}ø}uẩGN`hN0(dx6pַrWo 7w>/;ae:`}xFP}.Tp "<~; E;o|=*Qͦ_:dҭ׻ٺ"U~Z(a(Kd-a_wF5=S%r5ͷ,hgU1ΣJK@~h%-XŪ{N96׺w?Sq;33V0}DQi7ƁЩbw"GU 9U`!d2UJ:KZW$! ʱSg_hDot@n!jHY 犞6DXPŭËk I!v C0ƢY]Yt>cCm$GV4_쀕KX+x>Dyd`g^:H#?V/զrQ!)a!s!s!INe_xkS$0ذRuL`5Fhd1K5 nA"Yl'b#oNО lG,^k䊘baArٚC T2>G;~hFů[Q)IT6uTѺ,ꦐoKPY{% {h\F X>yMvE5:Jn;gF+GAxS8aԨfZwPFW/O䀒gy^k%%1x 8;J(I'HCepWL Q>WWk^M)Y":f X ;#6R}`VjS ,NSf 2$˅xj]&-ܼ*WQδi===0)9Lj"p|K=}=BRQŀ0KB91j$|ӌ =?ިHB}ߍdHth5ARݧfu[ VڄAh54)ǔo(%3.;fP^yJReKtj60q֛%yd+.(uT)K"ǧTS}ɜD'^= zֹ,BfQs@H=ɯ)0]E_MC6^Rρ|`8#y\ ;Zo`*V}jDXJptJ遼sV̝F%{xΞ| O"f~mM^&ټVw"QXtҼΎmnLZecNwx[AK Z]YhAJ; *XU+oN?ka@X^鹹."::ܣFT&&Z NА,-yu6Ōvy.+A}lamUSY'-E G?~gբL>`IauU`Z* }[hy2UKn+^"W7k㌨Jq\j>L=I!Ƈ/P<>J I'4o<.}wX)Yl^0KtcmR]W׳ܳ \(h4Rs†yy9]2|S#\eHW#Z!Ԛ'&5`^*AS7I\ "Mp-_{fY#̾bܮ: QPd<-/8^_uUÞ;W4F~DۡH ̚1A:NCբu T. 㵻~#<ٰ<~oc;,wt띻si&@ye2O;g4aIc6!ȝ,RiA yEOj:v֯_0ߕR"]0Lhb "_t^*ߎm]J] Qol

QPssҲ`f٩hzutf}϶|vP7AV5*ZyDk(]O ,|kٿ8~״!Q`ד<\3yorR ~ kW.v_.4f_)ˈ._ʸ;5>@#];,ETu2>TKV~p2:+!9 [iSfm+qu~1G`L5,}k}xqIz y6JbU+S>T+sr5FQVXfta#s 9/ .HMΉ555SO8䭽?Sv(1jJfLd 88 )2\bˡTNןW 1@KpdYL?eMAQn"n=1wn/ hFSSXVKP4>o>Kult5؏,\GꛥS1z;s% 7{B~}^?RA6d,\fޞ[Ի*m,,ǔ=BZXƖ V-.vʦ9WX]#6_fO u| {՜"8=SZzpoG*4Fe{JkFh7'K9U0~0m͑^"@:ޗ3s6>Xqt&OgȤo?,).V_qJttM~N 2]rq7ˇ$sz C!u+h;4>pJ Jo5>'7QQNeuY4PPc$@2x}GQdk5/))y-J,mUKjH.lp[Ӯ֒ Y~!?(i /h\֪4N#ԿI&sx- yfCʫ~BgM@!?I`6-%V;+QI(RAꔼ4,96tN.w  %85xk}@`.+Q&g{EjL:`j(i#߻Տ2P[FOKcP5{uOgtV/)wi 1&= iOZ6}J.;ss`gJR3 Z~|48Kl-D6Y|Ul܆]h-{0{:?q8%fJ MbP8 ?݊IVP#yIJ/BG3r$dJ|egA&٦G|ⱃYFιNE8k߂YބB$wIͽ`vN:.)J8ib2lCc323&N7O<{OXf⅛>q)6hE#zSiiHRWnT=Lǥq(XV!N)3Oي58uQGWx~2*㛁#,b,,ܺ tGhU @"(%tMĦzuMowll!M)H4n_&|SުKk#F❦B~Uȯ伈"Ixu,AS_P3J3n?9Rp["K (4T0NITM+))8H}W(K5A !^ mӈX͝Gkq%]@`ʧ,#\/k=I[dh8Id'k<mGז49"'lԗ;}X^)$)/ȟ536l*3z9ٕn=pTXNlCT"]qHaSF|Tqh3^gXA?%΋3v l6M<F-|YMGљ@O8n,n [wjim.Qb$#$tc;B~'sYgrRMSiu2Dć("  W=ugͪܠW.-j qGdKwozJu$zWuT=&_s3iz;&_ύ1r~ZpO]0gh,Lƈay'3=iS?tOH&PKVc7&amDɳfP1z19TWx )88Wy3ⴉ?jiEEtrF2H{GvL \6~ rZ5L_G о)Ʌ)82~p7KM?[ąк o,2$f˄PqVn);,#,۸E3{S@E[svSV|+:Y@/Ј\p2ģr;fU*t`Ɖrt[.KѸ5FxR\ybY_ -){GT!0{ (H q57!%cZ+s仩j#v} Gv!=uci@T˕껸VΖWOH٨JĎjHSkRjEcY aMv7Q]v_Ms5k9@eWf(5SK/''C2{7pzj9vHEQ.; JeՃwlbc D@HGe?(=bG y9ҙWtUD$ a|`(-[\EMOH, |0HD )AL#bqAlY6v -D! )-3ZFQؕn5'6 LiERgs-DXϽ2n(ŔU²bYGK7A#"km"?2-W$0P}1ocP%qGH#r:V.;&RL~HKbV:M)nII#[  ɉ~}ZenVD"l4u>;C&qYGHbr)?x r킖,4%yttsKIkG-&䧤+j917UD<6)(D.Ƚ #؅-WJ XBWnJ/HFNNY^vBHg̈́*^$*.MPQ_p1hjg,Ko6S_87UOldҒ^Oc Q \v5y4LR-S1ڦi\q Рqm3Zak=s>1f9ZE=R\pYM )%ωBi^8>*z瓘 #s,B߰y5y"?袿4Je߹[E 8W6|ҏ˽Ў@>%8 ?uؓB܁TcїYeK\[#gisy+n)$ttAH6%T{`fw҈`xtv ;2ɥU=I,Z* oo,A9.֤*M/#Oqk,j^Pjyv\Giu*n!ЙL/{d'= #]bK*xiD ?[DJ_ LWEOHVf):\^$<^5XThqI,5ى.̻ykbuxA/:[b.or~T60G1M^)]lWIvgMI.-֗hNk ,^(85MHb^M8@!t9LI3]…0[]oK$bQϖgwnNH?[ʗJ^Xv޵yT2#= &V>HI"˭= ce:ghGճ0~m%Yv,BqmQ;5^OC>+Z+}CGzї<>:ۢג"(g).`͸.ɒod5U͝7ō1s"4?d~_ 0c25T뫊z8@Uӫt=K}FCc$z!LQOu-^NzVVKw`me}:>U \@ )s:~w.0a sJbRGe+, ғ!b#+|ϒmEm-ٛ)ILy7wOɌ]fL<I 4&녘 (ʚL jǫj$PIWS}e[Tv!u B;",{4,zә&_gD{Trye0AĶ\PRE53WH%JwOZzЮC(NuUw`lĿ|z._׮X?/Ty/12?Sp1ύ#_&2S;MV쳗5SKP?x$=oٖ lW2W0S)q:tL8q$kQwp0 ,QN#|}?ɡG|0ƻi)]>\}{ӏQjt&"BP{V7n)?ha5TjVA #n3\ ߁mT~@-8 ((vY!q"QTֲ0u.j6TuBR qQS*kFT`Jj?R`;4 *NXXAr\jL(,D:[#M4}ZYs"V#!CBQ+B*}M(,*{#}xEk5:W %w?)2747@?2R.M?O"59T2l5DSXR^F j;kzL>tyG1Yr"3ާgVRfބ8wѬA=|xbS#X:@WM:8c_LX`yLG"kp +cԚ?9=@& u E<*gX* u6K] YbpT {;xw ZEi#Eȣ?8 aQv\K!VXPٰQAaf[)"xV17ӃXܵq@8pb;? w;e[G:oAukO- ?Sqp;)j }oǿ?*GGbrǙA^ r'lH)YI[,y"Se@r+nNYݓ hYIqVe1C0tJ?,p(Topvct8 $P@1c2hfdP϶+X:f@X|ÃO x 4pKVШHEL)$YF9oZ: v8V/a;X0MkrTz8~N#ιo&(<3tdZM:o۔gƵ W2ߐ5\.TTuIY,}~JG={=miqd##{_Z4do*j^ù"{##{t9qGVoz[VF‚Y҉*Gw1%Ԥâ; Ǩ =-`ir֟C]`x!gZ83|S2HTgJ'Fz}U({Lsn >(SZBu E@JGa~שl逸 b0!p9aǞ~GxZa=Pf_V B!hYr%a2 fqaD`BIi4f sINB90k ykiOZ9!axE=p(z?Qjm 1ִφX NXˁx'b7UV,^I\!Xs=j5 \ҡYH1N7N=-ڞ>/Fs&ernI>dO4÷Z=M4xK}K8E]T?DDu#;1 b]Q ,5lTx(yҬ|~F VV%Gu_]@'Pfslq.zK&:_i[_.!k4cw+m8ˬ ue%Lk>#q` mQvbuH8 G; 0+՚ Ĝ:v?éE?H KoY`!SOp^1mud㾜uG#Xehs0P*=Ii+-?1/?WfA("SappsX!gP8Ȅ5x3rWOAe k6K:[ ۶NA25>@r͓ J-5د0^+”D3=:e[Yb>t_Y4c`uSٿ"v3#rưr:ˏ@@zņ LIdչ~*ZmZ>Rޒ<֏tx73 -¶X:mots8Ou,10rѸ(-DJ':Zƹ_}^IMwdp䐆iɫm?"f<SKd!˼$6*`ƟE ͨ%JI>08®S0hyly (tTZ&7c6TOrL9iHS^=s.8zasTlkT6azI0My=^L>unDȁ29 gqẽXfO#^05IS@LYoqW1<W=w%`Y@y}MDN*T~ts))I/mvr *lQWlfڛ hkKͶOwnRCEP*CH4Z)oodv aW)gAQyx{SȘ2mB7ͲUx;0vS Xɮ >HZG$TgARA4SmJe Uּ&_% ;2BCB$ϥSRn gNioXyzt]FbYWh;K*_ۿ3U+vmp0t>ȝIu![Nyb?pUQN'yOHsg<$Q闹 R3լP )jYDSG*ulnb[;XusF臊 Q"T-1/YrX;j)rDو& nvߤB-Nj?h\&<3핏v=șZ=E R1>+Jƿls_x%rIEj|Ixһ?XQ@AҒ"p6e*JYͤf'lI+OkUadH_e5){jW(xUiCDaͻF9nspHgh9N윁mT*~u}Y(HݶYș zi`=kfDA->.=>a2*WTX;OK=Tg@'r:ed[7j\"K}2eEL+%}Ю!#{-MԖ>?[y[:|!tH∞b1Mr5k6w#L m#.~=Är4cޭڔ1O,dkLr'Z#6,cC.>07ֲXɇp]μwzn&gO4Yɂ":6wP  ̮f  Or\0meGs}VTkQ!#2%z< & SN$nb$eħa[.޾:M6_u4R8w8,pRt ,IHnP~1h:,~dy1STW0i;K63hM8^k|)zdAf9& U6o.LB!'j渲cj<_O{e>[~07bJNJjJ:Rt~,F+A;'~13 YYeĭ (S7\`!Kc]˻)UA#"rcOU2տKrN;qcL=I^(Er" Aoҥ6WXG5@*n(⼞ EA :洞'C `A=|cuۅWf@+}tϓwtEu{(<1BX9Õc4b7ݖvBcXޅjv 01$+ZP=A6{B13<(n ❲}ܿDɡl)Jntc.JM6$Hqz=sr Fsz"sŢ26JkD oI>/9PSfE{ME;SFHL3hF.$H#OnΠ&|'-HfoZ$ ކ'Aqq>_GZ>L@ɨ}Wh8tªQ=JCd"h}OnpH fL鹶"#'0jRZz|qIwWo,^fDz{|{_$ Ix]81brRbRU5`HAկLq8 $ _˿ܓg3+pZ2>aε/OHi7F.6'M/5!v\uרnWZ0OeZ=u2+"()ژgIXr|'Ӏx?B? y[ ŨXJ>%"`VHy&N$w ͓GLǽOqqѾѕ3l&-àI8bSt樨^]NJь5;RW׵?czx7]5D>@rECB\Qz.;Oڼ,#aue/\w26BDEjO=kK3G??KqhbjiL#iRꮝəA{\ζQ_5_ƬmxO5F JsCǖBkEZ>݁bqUa8ľ%ܢyYX3ٻ4az.k349,23ʆö19^#J|0]Vc[I2zc|pe+ȜX3ZiB4Us39IFC".?-ـe a@)}yZBX2=߾%oadVe ;ab *Y6Oqb&jz~Ohܝd)N脒29!J,dz[7A-opR^ߜ0iy0,!!?r$)j ̌Ndf +lV{zQe,~;R7s=V~tF\Ռ%͈f{ބS#DO#wl|(z Ge>& SPζ% 1Yog37Z"𭓣bbH;@/ Xo~?hXn\}vU1=eKUvD;/?=#O|*3)`Df7 %h?6YXhE &'m.~ m])=^>Ls·% {_=$i5jac~?"VGl 3-tơҫB2*(F(\2h.:IB|tK< XQ*XrGOox՞m8mg 9NV|SY8 màpKp̡nh0X!0Ve5:DŢ4R 3/V#`An l4mW,'uPQ9d/1a=ΰ'Zet嫊oЖPi60 VɁ'o {rC;Dx~~J8MU} {pdQC9h닌u``yDUHR]#SeA6쵿׀!T!kۡЖՂ7Q3o_h2hht=:x$jo{ltX xIxf$5}wY>W3 .ULi.l u#%GiL_|01%#N}TR0!2p6{/03pIQcY#p〹+uuW+x±&uHeŗP i^lŹę=54%5OqjWpB=B4aiDY Ix(}LA3#v!iwV{#lAFMKA-e;3=F,HXL%amņ[- FקPd%ZOʵ6 UEbUQu&C_4]aUlB2iwVpeK6̛RWWoV:ೊo('jŁ]]t;ؼN{@sT֠ \N"bs0#^qL00_X9`"f+ibQ2Џ9 NhUy`PM'4CS yn[XH=S.WI[v*վ`_`.b 13K5~v2w=VGn:O]R2KI5s \h9Zj᫉ %=R=֙RP#E2Xneu3p M^!j1\n5S6ED''3%!*0 *tz@Ў"Y(SRrL`K}ZtnalY[eb]s8dvMW0ڝ|;t"^'+,Ў,=fD"knWb|EgzȾBQq{0?Or' Hfg)IPVQ%`+^n4 ߒG CX^ؾZha~@&+{R*uhyHxmlpe$)AƷBCg>PZpHrlN%Sߞߡ2~_b넯 Kb{_{U2Xos)v f-xDpZ1 [b`! 5Nlc WA!qk炰~lE\Ec;W<2\3 n`jR9X9SŸ: 58:gzg fC?CoAD_$]j9fJwتUJGd7ڦx Oqj_#IwI~B cPf4t1Zя?³h& ։PotQ;w[r"I?S{?qJrD:bc2BSBġy8NghM舘B:Nbh%=-bo+keuBOy,_9 j`dhqzuAV }]$gj.p_V3Hf0*W2HѮÉ{c5 ؐB4bB QߗJ["d+ Q /yi5n£ ߷e,bh*}r$a$Tm! x#b,cqGr\>/h7M^Xqrr'cG`iD?9~ *?FvmP!@qx% -DiVž/jeKJb#%5 l .4" 2&eiY) EfEyG.j A0Ds[P=,3cw6})t:G~=`=eg*ȹ;'yU~3qqqM7La:,'|XsӀ-뿼b.A}u(&=l03fIEe,?~uײfvmηuc!Ȧq4WR9e^XS~?EDPnScD9u)rվ,Չ<' nn{jD~ |ϗmW4L]m {0F;·; XMEBVnCOɢ`are+t)wt0Ttl؂c>t7s{m-{;B+V"w=d-۾ٗ.x92#ɬ=#Rt.B񝾬Gb DͮI,p~C !XF/AtL$} 8[WtLcimz' E;y.=tLa UrUUM5մ:kL?DLK[+f! [ABBID#wS:tNN]J8a!W$BAeDj9Y @(u!e|kp_+@\skKM̘ؖ2v1neJ{N_\<kS?yƛv=3 f-S~m椄J@QGyoiೆĨ-q Tc"즄0ȢK@;W_PY2M`Qz^7k9Uʬ\JV2;b1t0"nl?Yt0x5V//ug 0%>ߺWhhV˽Ww@+N"Ti?;)F45{2g sr GrX3VK2b1 ~qڀ8F?hՃd ;EЉtzE0>HX^2Z5ߟ-W2?5j̇[mFDEE7 o#_P!*=:z='1?t|[`bqٯR*!rP6*>)B&Psޖ`njLS-e ;g\aHXFpyhFj<iͬxxpwh>u49f!(\6^LKqx*!u-=$E!N WjRoUd"QzH̞ޢ+؀Eͯ|9{kX}@+v6DjH(J @ Q[@EAK7jPI'4>Șb˙ 1⺣T'幽( ˷,_s͛L ڢhyS3K#x3*p 3pr:H/wzf!Zo蟢\L&zkNد9?lJeDM؅-g=,x :Gб/e&xQVnDXfQ#Ϸ =O_aU/LNZy8 d9R7}~$1o&|$;!}80~0'qy|6O8#ǼMH0kuќ:,1?w~Dqs%=}x+6fI"%lQVC + ^󴧚& >_]'t$(fKGN\h~fζb3+ )Z} >‘ SOFL7 dBw G.2ř}~zA{+Ř>L"2Ch.5lr3=kaDԧwʨA=oFEr:_\;,'N neP}2l}Τ"h CCSpHhڙ:]e7& {1Z(/y;AIKYZXr/ LU4ZBA\AeV!*Jl+nD).b´:MJMgW%@En]:kf$#́nq3~~PF Asr6!sy96G{rOFB Qu&ǰ.6P G(ɓ"t$$j]X^}픚 \+Ow=kdhg-!sG .Ӫzo!~bLh>Rsy8yB fR^q3b}s=ELg0"# jxE7%%Njv8pNCX"ͷ Vf#[JǗ* 9~u܀n1e=;V\؄P}\t%ށϧy=hKṀ(X %#K4b B AEIGH8ٞS-al!q⩁ӿ."z`(?IN4-3!xCHF{֝<  /qkka_M ɵ3J&u~ P2C PXZoZ[^2gn)8w\z a9FثWUMYeF139 S ӇH,آ\B^\NjؠXȚRT] m A`no4 ւ >Ia -R_roP Nx'Z:%H:mVxG8z+|MVm"~4SY!/ A7cp!fCS"nkHdCCrUL,Eʄ#i^r6hVW(T2plHV҂7{¬#U9Z#Fq*$7~I:i 2 Z: XmmY£ϴ8А. s1-;b)֎[rӓ驧+~)2{1dN/S9+`J T|3r*\YG(T;*HG?);Z˻oJ>g