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  _'tdl| ]/ TESL_Language:threads=4elapsed=23.264cpu=71.836gc=2.3407zXZִF! -Nw]ŗXiɟH!n?珫KukMT9dBuViJ8jO& ˿ 6 웲 E|(QD7O~H26O0jT:佷 '%V5o%dnFPWH)ixü{fz%n%\MѵhbͩIDKdyZ5Hp4or€ew@ՍEzq=1̎W#zMó/S-K9341 LRdN=5'y6C8$R(̙?jϐmHTQf%`7^2Ge n4TLwZ/")߭Ih#Q1$߫ms9" IWsky|m"uoI-tG^<&VbH,T$+Mk_;kXjCoVoyPsGuxBG`uhhʄ?좛0eɼM Ieƙ _bp{G :!FC3lXZ/r(<5??Oc"7˸fc}9/g18/LIIkK!ƮzCvi]RңX1/qUU9X}Ok@4f;*gaD*wT %Dg6(^K!+gxM+zaN 3o1t GUa"Ƃ0K6nX ξq+ȃ%NJ0K746{!Nu5FvdEVb[|T4 .0]^Xa*CmZZw/̜ e~NĐ$xa ' TESL_Language  ^޼>9<0a޵` 7QO9In?:u ᫻.x, L߻PjUU JH㷊BKo߸D,Dxq%?cҶ08Hiajq ]S8QÙx55Y|= F㮋1d5ÈѤ+c०:˲N;tDbOb !wqF n-ۈA emh=syw[<&e}cać^Tٹ>+j37"3p3-GofRb稑 _Sʂ9(Q|L 89΍hA 2{dF_է>RJVu@OirFMakYylYa>r0*Pn[{R(Q<蕣~Q.&GM0&stBj׌C yaGڦUCshmQ>EX%Eaq&f,;%1COVg[$!04Ah֤ HצtQnsR8F#T3&K"aUgNdQ':CSwsQfb:"[k`)ڿ?ԱJS e 0~:}XS p@-..n׋7ކzio<.KJ:T˫a1-+ppDv8c2 >TyO:T*`_t󟂤%{"UgNQzchUM?\qt,`"@㡡/Pԅ^jm襤X|)8B ;"ƽetIR~{@FX ng!hkʾc =<U2]_Z19Ep3?l }tw϶zob0['DwϻD70T~z7yX+Y`\s#G e_X 2BSٱ|{.&BDH9 Qb;IoIpU&$m (\Q'7тW,m)Ȃrj[8̦]ijzr!ܷWLvٷ&_sK݌D:,:K)wx; k7Q~{+(UM/"9\t g=Tw*das#Iy8݋J,&(UKXD5=PFswD,z}WX"R[?*8RΡT+XA1و5_ϕ)ȳX`=.N]KY~m /Lao7\uD nOA%ffW.+|+4h3Яv}eL=:eq+[kZqCvBn ^yQozƎ>ɯSbvt؊uǙެB=!pU,hكµ u'blʗ-G@x~s6J;nhUH:`W睠wDR8{BcSZNP,k ;NǽZF ?oII\4jAQrxzSQՅe1Yx"yz P@+I}$]݆ 2~^Y0Ts|ctt;Kբ4%%Ԁn,[IQj!Q%mLKˑ7> eĭϿ "e78ecj BL 7#n8,ivx;駠<}v w?Jc&tUVFrZ+bI隻 }ɔ%Nmh”# 2r}׸Kye:;~A|jl}$d@îg Y,{ KUç苣@+ ,^9cO|o J۔DǵAA=Ӂ:R;%ypnB2 i&dĒ`P@vi6s2u1J<証OVѕ0O,1ѢfRc .tIeK03<}qaF]FM) ] l:+b$j8DBO3:@c`cTѫGNP֐/%$Z4K 0 4hL678'\&/q/I]XpZK(ל.'Nad};z~o<8=|.Iҗ8Ob{#T m(:oKW1S3S:Ħb_,:wkLG iSgjW2ڣGw o 0+Fq Cld[%ᴢU腤r?qYl -.e\\c@}~``7|' "b橬XW0m6P6Pkm}@j@E.'˥>BV_T];B'gc<,$A=)O &wU$@݉?ȄLbFN⼫xʷAϱqL4Deբ1@7|EU 诮/y d0Cv㾱8x9$>\ֲ>IݔB#x]K PtVdǘ 1zgS]SbPT$-&DR4DTg4E?k=h;Fq!&HދEaa #]*HF%^c ͇F5]~xY>i0aq /I^/zv%B^fߣ6ua_̠jzvz1Cz[S67&} h +F*D(@(N/7 *<yb?S$1;TF,$@5hE^ q#+\RKc.˾.b}D'{ZJSiƄG@}.Ѻ۹fk7zEBX zqXSlTA~3@P 1a`$ӛMZ _6te]R|qȣPޗ6{ PGdxQbmy*lO,Hry{9‚_2am Bxу?Y`WWBEn9TZdgSOf0cL=Ne1>"G$[`P B\UF!Rˇ;5"`PF~DNf'n&}Bwս4Kp zxlP|De?C/3h0v=F??mn,yvMSxN۪+`X{] 7D;PT"2a,FWōvJ@# y =&2觍+k~>! !OM p7d*29$7Ā_KkOFX2?]O/VZυ~.6=vY=pVtGۥ [‹X+[d-mVEB8V^ =MIpe8xռ)DެyJan^ ry-5W-KyUy|;J?0Xf~JQl,%tI⦝E-.?AG_Zߤi!Y* _ 'RAr!^i˶5YPr@}OV}3q1' Rf@p' .B?y+khncj_Lra< 9Opxl퉛`QuFGU@G]7g 0WC~9,89]|O-æ3ԥH l3w^ # s T8`6gxb g4y9&wanQ4|іaPq9q ȕ3Gnq7HWCv΢|wv'eD^E\wO=koEd 5R^On+O捑pk?tQ1F! w>Z.Ȅ;>6­^OZpʦ5rӣpd1r5De=!BUKƷҿrN. * sK؇ #gX͵+䟥[_`P}):}"r'aYDeqnJIӇWgRA+y!wTVd" T\/oJ.5|2 6rǛђwY O덊R;pB w!BxǿWg?@#xumɽޱ>Ҋ1`?2WZQ7ŰTi.mM~flĜ "UOIdk8x .θ&: 9kGCEܛ&t֜^mm(|rr呄V YBsΣkw&`}I 2Щ 6$JN}NbkHd es iۅqrR`i`!099|NW3ȥr5cYҔ4'8L:Ms>pQ ,4\JC&yx|a|ϼ˄jM\UC_2%❚{ꥄUR0Ǩ J}t:>q;<O(W׈A¦D`)}4Lp|seW+ܐID^.%ɪBրЪ oby rnYpOc )=/Qf%W{&ICg]/CzƳv–Z2tRh0U_'M;CI@%7vʆ' a٭bD'=HaUh>Mi jh{$[fE9$5<ްO7ޭ6xc5""{7IE :Ge9TxvihحNAk-\Qu{Fź<!b&.$큆Du̙:ءl{RyG3+k'T@ .Vu:b*O?ãJy4vo>ţؔ( kj G3.KUO`UE&QַVc_,bߩZD)MD`b#{ ^hq>bG,e0(>\;Ih9z1,-"iP_CE4qȆX_=fޠ,5MD՟MI1͵bAliLZ&f"Uý4n1*G8:|)%' Xηiy˙-n;d4,= 1UI5 -HJZ&MJ-k @LE[B!TR `_1 REUSD\so!ap2lشy+y+ɔkm~F>j׍b# NN]PJ 0a5 Wvm'b׍A8 "Y0`S;me~x=/2#E:>V*\ig!{W+\Ǯ>F6a{GHm&g;ewf hiH5J6BƀdApqU""2ω?exX807p!>(? oL4 VomըMt y,:+j?FB6ɩCؿE fp,|G|Ű,D6mvxk)yά2hd%%+Ug,+b>:O;3ևxM= d(<t-Nܰ=?xdn^aR({w'KMs4e~~)3t&g$[!**MWANi{N6lA}p 4nwq-Qp̽{ge1S3KۮݏiBvۭzth;F+L{!Caؒ]qFfXUެ AuJB['*rCO] hߴ:`RX\'>C:&t26vlb f >$cosj8 !)ħz yy|A@4N%(Uў0 [Sfҩ/+3}Hz-u2aj`dEjxuC)f&;x3Q +6ZZbR%X.roҰ_aqjɨ[;>*ìEha!NY,e; ޱa7qqs;+j鰎>kq!,VzVT 1xQ6  hWFsT%nKNs05YGE\Dw +3bޜWmǫ2Ɵ}]m"Z3%('$SFfL't?NN.Mc'F[omhLNkk!҇@FSZr۳zSӊ7$OPPab%"EV:3mͶp$QOVQ)?O$=_=-hOȒ/2 ZpK!"o!5c_$2nvd2@pw2#,;/2Qc e‡^9 p)@R 8))'Z2c90j8!*4^q 3?e2n֯^IX}& =fD<>`p yVE17 ab\ !ПkaoF)$U4߂ ʆz#NyHT*z;#7/ur@gXs2S}AZl2ZY!* 6s ?q)35Lz۱٫vDY+a^!ijo2xM,=2 ``΀+~%aw",d`ԳI?KX_SoߝG5G'c]6N"r̚qG-fOG?/e%A NSM!^\iOYy'JxϷMk.bpo)eA]>K-8n@wWtjU2Gk`H O3k5g/on] %̙zͨ~^HȨ{0C"踭}pi> Ek8xu"jpY02`"j&w6mf멪yAghU6 ]ߍdGs耾!fY#Ce{_: M !oZCWt *ۻq "[5^7ւS!< - %,?aP$h9GKhhdk̏wMe߲c̻6Rk.(di=r6;bfߴPOrcwߝEwb?8qpT凫ʱJr5i "W8[iWb `^V̦ EOh3̞WtTp3rZL޿ݣOV])HF ?ĺ ؿ?YVE֎[gύаߗ@`=䘑XΗ~Eutn!L.CGwHvod$\ A-l@EnV/ssyJRQ4X,O/ā!]"xWo9~;B;W[u Z1;pzi=} [pm1>tmokwӯ"tpZL\W9DJi>|>f[J DL+1oaF*Z7dZO$|RӅ"}f(I CgU|) FZWk3s/88_@+?\rrH{#ZwOd#kv揗7ץ]OhODbGcrD)|K_F3?k\\4%"u֢׭ِ؉owG%2Lb3qO½Bh!FE2m@&24曶RuЯIoWKY(Ǐ" x62|Èjwm "8Ԏ dɧ\qOy ?jTíxvZYh]~P^mdb^O{Cˡ\mٱlF\.W'b"JJr/L Mran78Fq6oY/6|"tUM2@pqvFq)x`NB' (vTۮ9{>vKWz5hDFb7d>o!)bH͡H3V"tʢg`='rl89 ?I$ƿV-uSѴ{&qT+#rBq+uχ[_H%SojQ`wMJ0,KT Q b%Z_ .NGਸ਼Zb?OOt6)$ŸvI`7cɓH-lD^M_-mn&[9{:ѫ'10ih?,i[gy|~ASk`Jhv2(xv/c4,OGY1-\=u+M&z3  *H+p Uh99nOKJZm|/Ԩuʈ35c{& 4d9H1DǤ](;HDvGJhѧ( >L y~H~*‹͙N uq%(mT8\Y?õA{V gʗ'L(>D@h]We4RBE]+eЧZе}h POp v+T KNyש6mi&]'tq*d=˝n  _ %펀01mFNuvrt=ZiA\wm9x_1qñ[FQoyX0g<ί+"f~Kpem;k"߆6X ^* fuq_ݠLv;WQZ%&h):CZ2T$fë=9+n!ᐌwr>4wn.F oDPx9Yݵ{]s5-[o r7a''<\HNxЩ6-'jE6w{Bv Ƕ͘~): 2K%57޴>q9I*eN`R&fA,icXq3FTL0LzrCl'7[Q#T_+ZVk.9,3p)2M^X+E;O0,3YYo/iӿ2ˏEBt.wO O1fT8f;W<AĥqN=9$5[հsa{%7)J|g'9b&.3 ߔYdI_cqZT>ZHDg&5 V Ƈ?ôYش;;s)lTw5 C?+=:.X<$mNq%68V3>Lۈp1u./2 uI Ӿ<$ ~ZY'N$w<*2=^MxzjYU[pӰMD=`i Pf\,}թWh벙=kUϟ mfJ)&=Ot+cMB'5I-v:vZ7]5Vt\ %Xr3p=z%%XXҫhw3`|-F#@Y@-a@˕;O2FVpx( d-kf&* уc]A>#.,MY-'H0mj[6N*[)Ih =W_F}<)uNoKKבS: mLY`\ 6;MYF4tقk+}(1H!z;0XW pУO58!v~|Ϸqh6`gT>CSB=yݏUGVn"x{7%!>[:$(54>HΥ9Dcm pjr\&s-؅c4T{0?f#dU/Q4l1 ݰ~C 9?w5dsĻ#RRФǫ$uI&Iba=Lx)% 2=chK"" Sɬa.B؜oZ=!U2q`tyN$ twL · o Sl9h>{;BddX13L29_kq~ y]uǚ9u]|\f"RH~,1@;c:]mfE9{]}:/J07u: ~jl2.qf6+;E  Ɲ55瞓w6ւE/h(}cY$3G/>/SIqc>zL`Ӏ6 Y&<}3ɻ;,Xh(i:25wyOw]72jANW=sG6쎄3x>BW $RwÜA"2m`&5 O WބsFשCRX Dÿi廽\|Y/o0%qe'ʣhke"/zDZ= /K_@tی4C- yyFOeP*ehMOF t0oQ0ZZ(fxD !Kpl.HHiׁ0^[l0`K_rmSUIF*m9;) YN+R;Tk. |=,BHka v*\>yٹdlAt^($Uwy[/~p]p;b {[hVq/僜]?:wh5"EH-E͒=IEOK4o(fa]S_d z\,q':i\ѳ"_OvzF#8X^CAS :L(,F@O<nic-ԧq q2z 8[rn젲‡#kC ʛL'kVA@f`++2@3"I5&aāe!0<Br]^Ptx[7pUVYm%lꚿ%X(~o':s ^x~㑔=1 ޜE7E'lOY :`q=sBnoUu'c539 bg։c΀M"fs=?ߘ/HYy+9:KxDB\L#$$;q@t'c\IjSy}bsYuk-ƕyoeULmɡCԄ((*)sͰM"?QS@iH(FDb{4BDho=90t_Q .V%Έ¿1r7mSp2*G Pt PٛE$̀"Xl^|lzCR`XyTtRߕz3b\KB(g0%xaKٲSʹ;3ӈhKt-BOg"ia=ŕ !Y޵P 2L3?u̠ys\YQ0蹣hƂn/ }L)y{!nBɍ34U5? D-y0UabIB9ՄBnПAwըx>铭#OtYQMWxe$fVw\̅ /U(^ۗy2Iu7/XIn]z#~X@I.e, T` -K}M'Cx2yja0oIa>0M?̨cjY [AW (HУ5g]ar~hòz,jV EE6C|e9ڹB%Ft^hg<Zz[O& '-x_Ѱ&"[(8dQK3yVj>)wB;HZc&]},*Zv4EJ) t$=2FG-ڄdp+XӫUM#xǴ<ԫAO<8Ÿ(JSeJy"/<$7!ǷG73+^gR;ocFs^U.43#^>83Q! E)% A9Ԑ.ӭꦵX cm`<?a+*,f=:|*/L ؼehkK_&ʝ^5FPDM{xF8z"6ۯH|{d Ce f` H:r@ (JM%M{h,iU/qq#)!E>MJ'251-jwMӯl-fL{xjh?LnlP3o0^^/? Q;D֚<-C1u}_=xY)ks W|C%:^ 8%d`̇#.XZCt2#G&^X»=5ſęnc_ :IӤzY=!]vpNx|oXIeJ.uMBEG!bS! ? POe]rr1CD Cq~ Ⱥe_c,ڨYRlH;V^!#NߞH0I%DhMCE^cN Ty1zR-Bbbզ9t VܜaK<@U[GMTy(fNɊX02#qrX…6gTBrIA~*|_v&:{q~{[,K[)mF(ds9h!u7 )(=&Bk󭐑n,UNbƧ MG_zaQD+L-yzK&Y{%Ú$|7-sPVnСHƯ#d;!RC{wEnx1?7$uwE,68.0vR[JbS's^gYJe|Ƙ˻~C2: A @f{BsohKsO6l7EzR̓@j34f9OsP8l9@ЏubwHJOoCo{~[ݯƆ_ܫI%0g|̓_mMCW ==E;ud'ҡH}azΥeC#ݨ9, &bgO[e,5 cw4hd0O2_ *j_Z3G*ʕVJ:FbMwB߽^# kuQ,1R_r/$6ibl:X=U$2'&o\NPan,dH$1iO 6 BWP^VNg2ȑcG.5MCɭYCh*!aPCI: ɐݎE 2EE^VԳ$:D>/0uc@zn 3Q8[(!" &gB8N bPȋ?xv.tΏZGE>RSR{!/mq[t&1 H7$Fp? і%M:f:Ŝ+z%eJq;eV MCߓjpx}g$"eKW&wӺSxƩp.}BJ@uvj7Ef h!$tZZ8\\|*CV<=>+'vJ|0B"vȒjn hgL&zL>b;_Rr ʏ^05a3Q-aBngϓ<(I 5j?3{!!=-;йhGPQ'8hYQfխ-<~$=z[q3{M`@Q3?\15!'B#N0+0_9 XPCӸ8^, ~o#|1IEDx!We&BkG'.z4pw*`"O&w(m.lqњV~ydyVYT}qzg jj&G~v޴pۈACDAC~eh.Wx*VV#TS ;ˮEg_Ms(ɯ Đm=Tw"} vx%;ky߬S&(!PfDܢۻA#|z/c 5Xv25˴ f'q9(|âBk-?_1x`ϐrvƴ~O^a3X0,;vS.>0 \j*B|l'q%crs2W}( ٔvs z;e" iGB%; ~SD5d&3p[*COeOUDjcI בTG 5Xp+Dϸ)7qKX>Wpsǩ܂Y̨} so_Kn|'D+S$y0|^3 ] ۱z&NϡN*9\;J9qe&t'w Z7A*jKK~p?($2:Nwr-}.[>lB0o yʳd"޻j}=^%1ۜxT"RHL:Wה|p+KpF&@(7|tKѯX`U峀k/ WQ1W*J)(AWŶo pj7YT>Mf zj׬C;W+){6h.MP_4A2 ]p$aP 04SN]ɪ?q{̂/vTHc&x8Ʈ뽌:%<|QL*SffBI5 ʂ_Շzo ǶZH"&'[B6ls[RF aN49Y;D3?4 &%xBbݏ˾~0*;ǹYڈ@Ѵ!Ġ@^V #aXu 8E 6=\hKNB;[JfͨvxZ2AxhߺyJ_)A1[I}FT?܋vtls_VO$Rl1!wvi۽RiwKPTiTjU[, JFG`kJW`7Dm:"-*fc/A;l)흹?˴!]ݱQod'b$[wp1LfSF$cq6'L|Y=] Ʈ4LrH}ZaqͲ>wy Ncӟ$%}NuՋoHO"u[#&Z"f0]./CCR_y5 9Ј崐aG1.1b%a H&}f +ػX Dܰ!6[uMwgE풋`Hm\d Yz}g!Ł(8jx lB'*>}[HhYlrHnp@H0+eR8vveU}#>mC9B@T0:2 &,)t#i4U%ז:_߲Jȗ%M%L({L 2ӱN+(q@hǘ2n ?MO }Y A/M,+ <Iȳ9k@.d_#mqom$<[aa$Ϻ>C&+D3k ~|gZ uM\0rzϕ`DCzyI([OF6,1 Je+٫ g g`Ŭ&)fTy`+PI}oHy=+/nd#cidR>x nf-h5Qɶ@cM%w|}/c.GYС?юˇǼQ=&S"T򗵀QFmVVB]|eU hMY?S✀ ‰kJW2>b!kkHߑ3b(5^k>+ell48!U>!u~yK3EC uwZV^Hd3T!qO'Tp<9mNXW)'ĘD': ^)+#q^::zVD ,G?'%~Dz9ӆfrKM?`ĘGZe:1Dw[`a./"[*?"r8['慞n-{7^kǨ#O>ra/oF]#L@EQ\H. MQ.; PG֜@ovmzVbj aj_2>*r+۲1_D$l|'`XCU}P@Xx[4wzKq8Ƞhl;ob>(x.Ɍ(^`uQ^T0gg ѭhYy%PDgUz䮯xl~~ 0SL>hMyX+ai`ig#`4#o庛9:u*MjPHtky%Yzpo@ldm݃]ʂF8-ھ+Qo҈4]T ijF/IK`)OGh26!XCG҂t#UY2dMH%RH eI)1/x`8{徙_Auwv0FsZo afEQ`zn|ŸjP nJQx흨n&֕1 H5i9+ޞvJ mI:. AKzu*w!®[ r]RlԸ9lՋp8lŷa4 o%EE){m ?iߜ!;J5<6Ş2q{08tvBςw)e #pΚ% }I׻QW~4rjfeW(kk@s3ᓣ˼ě,d˥2m%qwD|hd\[ ףzԱn^4C]`UF-p7#s{Wod#Jߙ{h>y '__t5pᤜԙ7̳;䃈Fư=1c.5vTe@asΩ(tO~\rG aq`ˏLW_D?3B=gU"~?F:xec8a:CrFF^ێ71LE8L 4ԬPF.轮V%[ exW@w_WK䵯7lC˟_1==^n`T HAEsoß.Jq'fX8 _M NGЮep{ nk;FdOFO^W$]3<_Fùh)K?s 8Fϻc5=)E/tNHW;`M(.T)><(vu;Tq:/Vz}&*&g:HWlbȩ2O,|<0mn7ڢC0\"Z҂ +&w|1cc! _4 DO2`:cj_Xd2nȌa&$IbxTzdRc~ b'cߝwզҢ.G_nJ,gYc KJ#2y11aЧ6! eoՠ^b'hq+ ra;Zt0l: oh>xiF$ҼHꢘ5PJ#*re %,OB/-8mNo˾z^ 4#waq߄2pk%=Ѧ\`gQUp>+>ZwǙSŹoRb|y ڍN#6zJ9ן4fRt'fM}-xzȄ"'<'{''Ng`CR]M@րfdy:]M*[ʂK;EJh7\Ƒ`չ-ʂ/s)LͭD(6Ӿ_Ԡdr1_E4ѬB[lGFD9!QP)&T wCI N(^n;`KYAm &&Z2 PyZVtæ]`t8Jd. ˟fAЖ˜:[g ?]DD Q%50#xf4Ozôd3Lѹ[5^$ Oucϫ3^x6k7v{ kiꢘVU avAIʝ@Xq#{~*Î(06@4boZ%ȡB9R-!FKm-aUaɡvFJM Aw @OXH=eQ]L%yDд}HJ TE SAne꿊8*SAܭrv7Ej͝#mL2лy/C*$:-D#R4ϭ W.̓va9WdɕD`sYn>:e<2~ kE9JK{+@x,DLp-s)(?8G%.B>;BY Q?K1~zz˘<.(ӵ}낟feLT?پ]\,*ݴxV@*U0r_?= gjhvzUTe2_A%ܦZy;gVz&[힧!mu`HQ\o/aHH0vavZbȸHە 'T=#\OϦ9{YNJ7#m&(DjJ}xNLK+HxoΒi 9?{l|^NW$Aलմj=>TEɃnv]Soi7)ϫ ., jsӣ|!94_X^{}|/)bJ/Ÿ9J=OSj)!߲Q`T-5 0BYSH&AI3zFU-2xv .+E桳jSy%=6<9X@07=%e]@bO^IfWs~J?wX#*-.s%iN033uTiOO|PtI09Aʼn^cXMl۩ם!â+ijV1+h7 O|NgW\J,>y>k" `RU ĘZ ZS*N \rf= -ȹ;נȯ3~<,1^7^gi*[NgR@ۿ{{%>~DODq Yr 귾\ sS!S [+Eyv%1ͯeEṼ@ahVOWԁ܌ yǰ7S_5p@IrG?[u?,oZ`LjΊQ^7N6\KL% MG8̼9{2>:^`Ըӥv" wƐzɹNa/ԛOWcI:vk\XbFܡֻb"m8/z}Y2J+Я&}jc5 F2F9yڷy 3hSdoBWv~dW+zD:&d}yMv y›B=MKTqk=s1ssJ%>x$eݛEL-Yo `m@ZCLE_A)#6V;'Z039";@)_aBP2|# .&Xax6`֘NY#Ð&K1VL!y\nwAQ$b݀%WCywC45vUA~vMmŁH|⊯0x=l|uoa@&Uq fg&J#uvzoJ0+cM ^{D?8+H[X\{7Ð4S#%TNC~\|Q6}GU6o*R!N&sεl!mm{[Wj[ 8[m'gjRj2#WjbӲTVuJe N (1,UwlEo&'  Gi+^ؽePӤ76"}JWi3HA;P~ڱ%=|nEp۴i I ٴ v#hhd(S 9B%<'Aوʟ5f"Ce eYkhlGFS6D߭,bw 2AvUԁiDhfTLLi~<2,v+'dkhk/vX,[)XT]K9 2ڜ&Zl0v3h9R_POf'yҚxCN"C=Eބ=ZUqQIiMu|Enbi,M\k7>w2Z`uXz pOgc&'Q(ϵA?^>S_@yhEd\jRGيrӝWD?1+> Z郹N~iW GK3Rh D,|HGA^h4<]A}nB8o eq~"iTBL1. zr'ȥd=MSg@A}GGE8ŷB>ydup,D캒|N]U')pߙԫgMMՔDzV$u\jhS ՍeȅݰE`gt|e%AUGhfyPb9An+U jCaF~- p<\]u+Ik}(?Q79_Xi1ʙe¥J?X+Lf_NU}eoC卾s葨.rפ,BaD`"fϐxR3Qq|թgt%Ȑg/uAjmГ(ݣ+D4v4p[=@Ġ_aF`i+rzT;%;rSJJCxI/}q[&ϝ??Wgxǹkr^+5X~EJ.Lّ(Hd]dV0oQ=ҝNS{Pbi4֞'MFǏWp 5Z&3h Et81KMXlzRE&uQ[xXh=3>BR6OZީ&6\+Ir \ZF{@X_g;u7CbB>+?_ ޱgYZ7zXZִF! /]ŗXiɟ-BS){?=l1Gh| ~XO-r=O?+I {OqيG:l+;rw`,EVpU_Jw&񳛶dfH/iYEqzfedwaO9SM׼ϯ^ʢ2L^:y)H@ ,PC[xb L`b+R׽fF*׽=UwrةHF)9?!+QxBc'Rc(}Fnnpќ0c%G(O)S1UgYZ7zXZִF! v]ŗXi%L&`Y?r/5fON%:ZaJkw]0JyqR"KE?#rPPyǫ+T_eDղ~7;$;pz s~  :v:*twv%*#쫐ij} j fD!&[m=Q 0uvڥPlO95r*0QXi_5F#I.QlH;xzBWց}Feb034؀dQ#" keߌ*Qr7qm?f?G(YxE)d 'zu'WD@Zi"['Xxq. W3)]YSK t'%Q^:W ʖG)1aě׀RRJP(LR5֣aJ7 ɓ\oW(jn&C.O%1;OM@"M3#K'Lˤk eh-^+bz_YX?CBŅ*[I{G[ꚺFQ`r0&-|."YkS{qgH%HfJ mg0 }]?[d}Bo>l9Һ?_2 y"9!%p Hjf. =a4gdٌl(@lҚL{^V|߲8j1ԌC %h7O GEwT`O ۢ~6ØVsH|U<7W8(ԛfrbA]& ;ErIcE!ojSJ4YBɐ>ˤb+Dx8KtDd YhE8DCUI 1RVe [X>?Y*"!%,OPglRN 6'Rp$ &.idɣ5%x)DǙ05MsRNuM0o+ ?i5GZn杕"_6cRZ;gSh"9/2vں.AP>=a]d`PEpf]A/"$Q_[D^l`cP&Rݿl::RW\XN8po+ . Ku/C[CkXg(6MGu,t4+t$:CQ򐑂)"q{ _ >W">C'pJY1| 1xifbZR,cFx+gkᅇi?^;mmst4]6 E~нPr{~x˃-M99ŘggMTA@Tq%a%!,T{E