SQLite format 3@ 6- 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 W#$ {/]HOL-Library:threads=2elapsed=243.718cpu=449.296gc=22.520factor=1.847zXZִF! u<]ŗXf1-q恈͐7ӺV7V?A.k%z mo\Ցs=eKƔD)Y L(&r=DM.{aZXfqNLd?Zނ;> C54` G~CQ' ݏ"j}W|7{ ee5w\JJ#SZ߶Ï*EO|{]&#ɂS /u;.J| :+][vq`xOH"ɇ}eXDx̡bu+F2[$@7飩D N 0M֛ - z!l|pj\j/j­\1*h#_|Vƻm^pػD{ܿGC3"=(鑫qMTJx6;̂b+Vqc4iY}L)$Y?\O2bBQp1UbT?i%4 *Jf2 :n641M꺜tU8ί IX3ECЏ`y myOw8\lݻŞ*dؤFxD줔]/ϴ8X}I qwRfH X^#'9jTCT\1>-X⯅t&/!*R}Kp~RrFUJѕ?,i::cw?o*M!6CbK?cNޝBW,ҪH˶ͪuns=p^S{Y5( &G"}M+OȰ :d;H#W5Ki+PIR1L3y'y^#C B PxgUz9%~Ȯ% YqbCP[ hf:b% ER\ǬF)K^_YIe@`yG lj8܉w'0/о5dl񨫐P\ uɤ2ũ3b>59\mn*E@sls6,.RtqʪUM:,qc"-/ u1-RU0<;*8P>e&9%\Z|eM[}&jh6h ۻ#er>@/H ;jdW@ 4ʥHdvZϓ0_eK?γ`]c7lPy[xsM 3g,9爥Ws 8[Y|o'Ζ_:d~RH$9YT]!K!v = u{6zb6N͜Ʉp@w0ATד'_31>)W4bWIPZOa&^Rrd<&SΩ2v=mzqbfլ8^^Syi} muB$b૜CQKP=+G9bǫ䆻LJcí`GS yC<\MGlL,FTG@dRsRȸT/S+70F{So6o V|ZʇUAVQo}Nw8Ĉc`xZ;҅Ytw 1 ^Қ\B]RԽvt,V7sJ/¹X>|5%7χQcġ^?s;Ea =~)[^]ozY-N0z"q%,8ۦ*[27+C6;+aZEG#7XW B/1* % AHJ,Da}R<f[aKmzvݨ61*N'U:'2OWYR[iQރBTqre#Dݫkq-MlmV*TmPҼF, 7=($NrB, x b 5<~E(#g)PoP\B x%|)uTX$=t#qĭNӐ U [,!Z3PZruq]_[HLfuiyPRɀ䵠_I+f.棠bz| 퇺h1Ǧ)LWϝ%7:fxat3<^$ēLrd@kZ/>΅WȲ7n$ 5@tbpOCanG8 PCP6aDq`l%KN#+|ZvoYŒVWQ@M65ꨓ6ds9Ӈ7 3+%غ+JCdH"ȥ]"!crn{ \Pc޻OZf[-4FԐteZ Ȱ_]kW_̰r.X<Σ6C]x0g?uR @ѩRCw#Sq&\R, oB[2?A#Ra&fIf[=qT-9y B+ؒؖ݋dҦ$ @;~ԕ:ֵx)Tyr,4JHAkK+l 5L60b=]65ŏ{ز*HJ}.tI/[KD4 (Oy@yI 1w0?#/B-=$DeyBRw \t{NHC *$M~;]$tcߧN3*ڼg slLmt\!j!Lpk^X"Yںੑt%n*@vw;s G%>*˄?W1.4$6RI2Fͩ)+l%=J!gVU\-j;dI/54y1V-&;nA'N[A7<92"LO2? TJhI4tpl1KZ+w<8\4枳oluPR2PVfZXŧR+b&5 8ը&0v)zm!o O gwsddF>gņCw'+k"B Sn)]yK"NSkqu}Z&4ՎJgbUiv&ÀXN> iNK&)Ԣ)/Y{,}}@;BLt3!2PeE2'G +6rxX7ZsK(Ν-*'쑨I̳6"3}]@Ÿ'7ͺSׇQO- ]VwgyNmI:ܥP?S>k`Fb^ ݏc:~-xxZ6 v~d(7oAʹ RPR@(e@ [ɠrt&y3w b_`wjHKQmOLTr~޼H &jh LI5IcF+ltdЙ&t_o 8s)9RO6Fӛ'$])?B9g;"ynmEEl2s`od߹mex~s*Vl6ǯE Es%L1\7}t*]'+Yny3sW`'yY5Ɇz8mLFq!gJYȆ`HNwi؟:kXѿEɇjđIً`TL.Ů<@-6|p~kޑn5̳'[U9Irc<_úe9k[asӊb-bl'tYF(b`qA’"+=S jpXט +B r :ZԚ lΐPlj\fr.h>r`mbr0b%=ldun?xUswNr KM~y)?%9+גqnFCaK% qZMC)xʘj`-,^hbkOw;ivk<4˜rFS򬿕 /jIՖ:3/2'*1%/*"}DhX.:y a"$z[\L%ĕe,4W{FOp|cobʠYvtw -Je&E=a9uzO r:j\rDL:׸ʍXie|C?mQޯGo{79hCDdT@WFTd<0 NןEmcN[x\A!l w$sx׮Rsq)K]^?Q]rNݟ x-jT$֘ݛbVUM:=BLFc J[V兕1QV<[Pn,W߬(-3펅!jݒy:%+H4 bC.gbaرcx-RZ~>v WәA>{ O;TOֲ̬Z`QXؘ 4rq;&4 En3ͳy8 o_7f%1Px9e-iExF!*u 'wOZ}ccE[,:ړ//DA1x+TKFr;#ner4]xÐ7̵Ɨ\zI(Z9lB)եW$IBN;t0Tx;>4d3KwyI?49_gӒAv3$u=4忕kzhhހR,Sp- 5tڸ,٧U8 _@lPBØYygp7rvLΕ K3;vAcS ߣzWf5>20R\+Mq}qt։҆` 9P1(9ɰS O!)U#p,/`*ŞPE PULJЀxkbL.ɘ!& w*S[rk 1?ᚱ/T蘫]tu@rмݪ]^nuD+yriZ[ݾpCaLy48RCܚj4q®2#jR/ȣDu*`&WJYrԭTD}ӥR%f2\t-zLA!Mˡ}\ߛc4,(qDA}hu̠;GRMYn# ?AZOc(f'c CQbDD(' 1 cbK^~"*n͉Vtee,[5Q;fZ0}tąn{bj5"INj%J j>sky1báQRTԞm)e;\?U̪wEQ܈JvL)y۶\56' ٥#΂{_f'$0b4zM/D$r컰q8<ԏOr}($Sa`y杽ժÛd_{ zy\ʶ'c*6P\:]yH 45>_qm=e(v0QhKB=K9C8: /}odVۘ3)r?WdAu(357(ܯA/\5ժ2uYBq]; JT z =JawQ{ ٛnV#3+NVfX7n`&]2+ 5g2+w𠗠ݻXWfr`ϖ2GV0~eg!"#ݪlsE)7$i^jtbjJ墵L- ָszѓ\2ZJg[nF4~;TsZfZ } 0>fDobػbeELa%;QXI |桘UE \E$jWtT=(%7A1Cf~;H+4,DFZBC2NjI1![1ST~O-' ЈUh6", ta MwLnM.~Dϐ-UN0{IlS@wCȖe'?fiP"9Dd˔ԆŁa2#:ux~Dg .iޥsh\eN=bnzrO̸~T6AZS ?+8~mFɜR9<"CG}7"T,J@ccr欇0HKW6`ּ-)c@K6׊ bL|'`W/O5cc|4 :} E;( W$7}V}yݠ {$ ht{0(hs[p?J};I,,C>4:M_ȁ J@₢B,tULO2%T/…[pXAOG%µf ])mk vsQodŬ^lH.8GӮ;x,d‘Ыea7Vr/<1(XQašp0Xls׼Kt۾ ScDE fwX빛}]G/t{{i C&Tbl ;Zӝa?sHh`a/,bkQzCcgΙvʳ@Ȼ'].NzVDr } > h:UZw.h́޷Lاwc 3qX?e3ri Ñ5Mkz9d:9JK٦3ypy}&H,֑?a3BV!5otV:/kcxtjrIAl3cNGnBW9͞7l$#$remmEy-%:WC;^d~%=lԪ;JHOvaմjPnPpʟ'Hٵ$.|wΒ'Z.[*QP1̻oRmq#jx҉p<6- kך}rP51x_b#+k(\8wi;udVcSiˁ< w[Lr}y_CX{ՠ7Z3/j79B"9Rj.X?̱BP/s+4*r$ Ko]QMc 0ŏuSdž.6ې“_/q b/tq[}'V*N>c`vD낼Ny=6\.!#uZN4?zasi=*LMt )s #+> ˓TN 9pCC~Y-yyw*R4ܣ]}sa&aσ8{F#1n&6W_5 wBHrtݓ *k__tɟh#Òzv>)pd&llzbgy!p6Q'J J f1oƛ02Mu#p5r 4k]>KOLO߯r8fG}\yL K9PtB|(pNw0:cg$hf֦T .N'L٥$& {(Kzr%zC{orohfL ۉ+j-PM.Fm]r>^Z?nqֶE|HoYa[}[V7b*R툟.hCj+C0).#%a;=!`zڈ9}. Yj=%p]S GCL}Q>1ƧLj6Q3SeC5PMpņԣ")׽ȵ5K}?'0R`< o7G̤#DfNb-* %A-ξ'nUM}jDsuC݋Pˎߪ($dwŌaH.ދz@t`φOx^*Pڪ&fYV?4K!m\dm8ҽ;d۟^ f蚙s0:x5QW ج*?b &/2Q%e{iYalW+κN(Б}og9|$HZkSe0.`%RdzS/CUm _+&y*AKX_y{t"IZpue.PA=^|ga&u;W%mlDvZC=So) >yi||#SkwxN4N !hJt=?'H1Cv_Ѿg'}ʄZ \> #P ߓ@5#e',Ep`ihf,rG+7s?家4\TKܻX+z=S4̆U!Y%:Yf$%@IRUs>̗Z s1Ҹx>ⷃ?M_ =%uyeJ)O&Zyj{,i;JsעPpO ,zo͔10yO[!3 (,¬I0Z25h$e"Xݧu\IF-D`WPXjBkD8ǝBq^c,+]LGXeu9r!HǤ[j"讵Ӗk nS xٕV&}^p +JS^V;Ǐ-k~) oջ/^u}A (\|Ѯ(z 52;E 8:0QLqjK }` Q;3 !׫ ĥ_X?.D"˝۾j =2swc l(՛ݽP5h;sϲ@e| plUb'C8}rt蒸qeylzx&ȱL"Oi1+!. ¼%IO[}R]Ѡc 2اቃm  SR?|Q(|Us~aL%PƂ$  Qr E5K'7V4Fڃxy>V5z$Ʈq*(a_jCԲ<nvX!b{f6<tcB6SdͰ"'2PgmFi?QcGPKYy8]i)o0Hٱ)Y٪!}}YcKY]Y<}6  ar 4?b6@$6%r vHt>c-hmj簢+=C&P{?7kޥM?dI-Hm@qfj~>-(S1Ȼ@ֻO*;yMY_#*Hi)1^3Fa8<Ӳ)µv3FsǚUJڙ 789߾?j}XCVۊXԑ-D4gYU&6σ$=h m% hkԋ VG^ONף.-Kݝ1B@I6^pcE/ũCp2gqsTF#~'.FqmspUlWVu,j%n)v3A:J{ؾ rs4 18oa4~k|V}+=8 4hA;<0i#&HQ>B Wz6|OշF:(lh*AC{0>.501& c'ÁjvX'ǭPrHsgU=!xfX`ǠDXT c+@]c, Qj2ly #yPaK1v*0͛{8:m)ig2F8j6!Reh\F,6b$t%i~n|*;{+9`5ۣ2ſ9^kK,OF #>A! BXkzJ%0zYĴ$}+! 'J}7[W<kx0/Cgƻ qOp݅t;7Bz+񩾸2mS@Ŝ/ 'C̻4V^7FQt$ߙfl;CT f׸>ɇM EJ]7|9ň;,য 4ws!P-! ԴlkPD#h;V#bY9)*Et1d aˈA~4YY"pN,:ՃABǗL%:\{_pG^&f=WQSQ4אx^{YPxH>A0<*H;?,!astK:9|'>#6]wKrǙ}R .Հ!=+;iirm#*L-(vr>z3z-dn&o4N9AdAm'*X"e&JFgpO$ Φ|k ~q`uwxH9CCjqCw cf =~:kQMў,m5%Jx/A dDIA0UdT?*ysp'2egb.X~)*Sذ*kC CQr@䍭D%U=k{y .*=9 $n֭0RXSzU!^Q TZRBT@&+# ?qC'_OI:Y ~85bph=ڧ6.v'~Uex1G_%N"cPʫ[Yuj/4R5G|0Ah s翦D^LxY^PpnBt=>Y`..P<gyw}G$vjMPv)m$!Gm`e޻+RLϓGu8κssU"Q`6tMAÔo8 ^xn-b2ynǕ!EK$a.>?#Bb"ߚSO&F=Udu/yH5v,ڳoj`Ԍo k(\6~3^wp00^ k2DMb\IlpU>V9VfiJ@Ζ$~\ݣ;i# :y nÕ4;}ʡa_ȻǠәi''V&z=čW`x哩߳2}pWsA\j9g)]_y<ժ 4v p% 1,w2BInJH'd]+H!bcj S acfōX̟v ٘TiM nӪ 60uG'Y*joceqPʲm;kmZ*o&_HI0tP/-7` R|K6kv,XTՆamMt= $yĩ&9;Cz5UzULZ ݥȌ)T@QR%Eua1):O*rS''0)+D4,${CRP6xfSݎEy{zoe߉$ SwU0&U-(A*sx3-,*,{ަ l(jMQî1AXnPyU=e*C`T)LXГql=!;7vi,|\(9O֭h_]7E(Yr6,#f!Ǘ(2H8lQo3fKeL)AрyyNk~8fxH[ġ38h^l :fgLgVk9/C>Vm0>g8 7$ d}>9%N@IyQ[ܒm/O,CIs0pI=ұ25EPO&g&lSڛjfPH?W$HTUhN(4rBRQ֛/>n/\-EsP<n:||:qT^b9L<Ȝ6AM ?aKnS1ʩqp o%5 ST6 (uVpU>wm7C5cPdIz2lqxI^WSW OP*cI2!fe=4&hJ83YMLmSN5*S~<z9bK6<x"ͱiq̮ \`Nm˞)K?,+*=S͡SNs2m֚ V5v eCJ?FQq`=]v1Y6`MGD&\e$%˫0|Fm+5;00NjBwt_=J]A Юy3EtDQq&+CE"wl};o#Z?KO9Up'#6kh=qu01s~ұ@z\X1꺟qNƦjmnpt 0SM>ښPJ aj#g ZӌҪ6sB󒷳e'\$%K>fnIA8ؔ乮q^ܝiZX3_︟g>ڸ sj5gfZ%p(u>R?-[@vO,q o(W`ydl^UXG-\׆^S-eGPnmΚ@H@CDsxwp|} iН&E-rI-J24FITg_F}VօfWн8X4Y eޡ̃8'sn]<MkLˆ;"nѢX"ˎ7! Y_߆$O0o|'JuvȳƯz3̎0deT>]d~{/0Ь_- }+j:yY]" ARwVܗzSϵ!A}VnJj^;Lb+ft@Y7ξ>@)R߆yx(96R=@CeF xiZ9KZnOŒE'~nwYtWWi_O mj b49ۭJT5@لKv :lj8?}Vj>E!hut «ͦFȷ@UPR{?֖}iN0 PN8ygb_rs!d P)z3 `-=Kk}`JJ_! Ob-eR Ǧ,ݱp璚繱!])Wy`NxA9AW GW&,0}$ĵ ݜ!`UI< Jkw,AjGkND/#Ϙyh&'fZE~h^ˎŴ|2/*p3sʈ%KpwEM\qst']7lre z? lkR1q>K>c ^lJBzzfToKMO$Ȉ9̚pCC{ӴBxⅨLL5L񃲪Fw:‹-6;:J׾!0_~ 7p֌Q j]ebnZ ?j%/XK A'lq}k5s#|I(hjƚD5;`.j?>.ʒIIw+a:l֍u\J diÏSQm1f"h8|U]\.]F?{y3,qi++'WgZ&%}'4L-n{ۡ{|$AD✧6P^+}>@ Vy/7fh:ീ$)s.Q`RJR+n Ey`UJqFrBWD: O~;U2i ll64AD`<Bxp&/);'GeP/VFgRD @qpB:+ctK6Ϫ!u /Scf65%+2 EzM}En1̶:녷לi(J^K-KeG]ByO1DSzӖNu+åQiލƆ8WLwEmvvBX[JKOo ,`!-e^ptsU9E@T# +C8 A^'#M >ogC]zxior^_% mkf@oulڝ~]zP `U.-kIq0K<$jo >Rv }_f#` # d)d`R %b)V>{JyIFVIb3uZ 9&IBQ urzi/I}p@ ;UٵNKq%]ݮ$-϶pJSר5k<%$9|Uwr/T>˅z1cAjjgwtX b/ZHI =.eڷ㎙z<>4?]HY_}t缏/ 5"tTb9Pԙ_/vE%ND5P} ʯ%kYh;vXxDPS^B]# 0YbcVŊlZbslxR C^`>R/XG.V$^}.15|Dn*磅=o;Ixp6ROl1T:I4")1K)eJ zb:Uaqx=)/=֪'j=#QPM̈c XƎgq{ C +-^0<ă.7h+!s^YUR! {@CͽbGqI/ W u49hďw^hTPiek sہkn(9rސQFd6q7ubbo5 cpG/m2lw/ƛ({6WP6'^ZR"*MF0EL}ce̎6N% nhH7L~ddjt\!5Z"NMƉE8&x]smCqWO:~d{0}Fs%jrvS?HIڴ_Fedדh_.BzNEu*?4K8(8zd|rAe;n؉+ #?Z 5=+!5M%k[TvTl bz&a@^B2X8UJ na? n1L_[tUm>sĀl@bnQej 2% &'q"#ԞT敲ml,Sdh%Hv8:(UPOOCV>8ߗ^<;#b/>0>>h1b).|D@_=S҄d|j=$@V8Vy7M՗9@,*7`}8pP TK|YU^~ tBo3x+/LUPv[!7H l; ɝGM?DZѩ)%a=D"ɜ=b3IBDZ,=b۹%CCThJI1Ky4HHF$ʰ7 N4Ugnq} ˤ"F,ِ\fn-DVlւt ΋efUA!6pnT׋ҙ)5uWRwZoIIIp2L~ K/e 4gpPGoyT<]-o1ff 6n\@cgKƷ1NCPP)EP}I&pd}Kj|C nhoAJߚIŔkckSI] 5}pw m+- Z/O R" c %Y";v炏K?|-&uƾυH..ʘs**aMMj?lAB#ӰKB72MkY߹sQ:fɛ3 E~Tտ_֊΂SpS)άPYbA[fĄh0>s*M\~@yPP#7cO ,[vJM*"O<|?iNJl"ڳ-`&-d^$x@7i ReG-` w=凶tX$,9']޺]v>Mi R@_3c2s*ݴ0u$s#:pjZ(885g8=@aWjZb5_"x5PZi&E-MDO .f* ,rD!7o'9+gE7:ݬ#!^s,3-Iz5-B%~чɤ1㴿0/2X6Rc?!QhCS z@Gإϔ) #Bf30It~{ئGCMzEg{uզ<8ι\ұt,*ֹ ,az+fl.\c!*hv-< 5lSrֈDB$ء:Oܷޛeq-dϣ;Cn_o귳|H=5W#A8r]`x#v %9-͹į @GQAl+@R, )[;k92"8@djCN2'RaO%;#[s^EH>oj` I\Jď ݘ~#F;lx *8HĞ/:ϺE 4IPI1 a||BR_>5N6m6r ƒQ?/M9PiOqίcaǎbP9)vgŪuYgvo | m c࿒Yb>X]eYk.I<6 pEߛtڡ*}F.;^WM0 TE|L?v|^D$ts^2-mT 7^i^ b'غyWt͛7OU2ufP/5dJd o’u]wLE=$Og!,;?'l}!*H؟عJjEGH?OI1dJ9b]}jϱ;چ:N,]''BkθkN5L cӎL 8;N#sܹ {k+A;-(p_PFB(S6Y>@fG/?*j ZLcSݣJ[zmC8i=3_^=W.GVz=uP>o6!X4at** BL~ ib&-vQ& gqbd:r3.(Pb!>#7ΛԛJ'ßzNDٚ-g==\A%|q7 f}V)%^ȍ0ji!o "]nl.M* GD 2|5ɯۏqų|5a{qZuzA1Z-vL>h~$T9niԘLbwTj LCǩƓuaKUR|).E>  \fBdv.2)Av3^svs!dVBЅq\(^k--@N6dz3]<=x@v$+6u7 J̶j:gmpN/#oYX:գEeԑ {߈4?܈5QءB'1rGOp8۔#~~ bPS6rBu1Ah3m9!/2&eRG~Ki:Jʅ7N\aEo)͈7,B>]-o Jq:K@Sy x﹞$MW!b%J`UFIPQh/Ԏ%u_?!a=H)0nՈ-1> ebNF ,bUbWûh|~R3F#ӥL03嵽xu{ _/T~Ijgz%KgdQ\Lp{K3ϊnēUڏ\A ț߃U6k>o\AU]ȹ?罋}:kι>pc"ۧj4Hy̽;~f8zp6ɵTނu\Г|gz*Sвto'dÉV}8pzbv]rJR ^EH3Q:+^\꣗Wu<9 G!k"L<8#[*3Ou1^R2?Mд6\4SNSsCf̣Z:ՌR@+=f Z%XțőI~I̖a:nmY٩jR@VurqX %༯>PFD_( 8/{踻OkW ۨ1m09 ]&qnX.=W\~u`Ff^6 #TS䃃 wq}% [$VzS'ՕF}?GJ ]__;óv__.eѼK2Ӣ!^sJĔ*89y֊ h,oU7wpʞ.,ӂQΥw(TGc%}'sjGؕ[6#'hyt1>ɭPBGYݕUɻʫ_i3cMVڗ(=d$S+{Ԥo~(6 |GKU-*@Ci7F>/Kν8l SƈH^XQV`_ݍX3A`V}6;)k/##@7Lae}^s?*@9mР4]b †ʝwW)d[[r2yü[E'Y[*rE3[a'C1=~?eK1\*$nVl?"Wl_qGOC  ݭ{N {! 2\X!9KKSK(wT8BE}?\Bo|Hi`6:+rH#O^\&,UOKX>m"&9Woޑ?&<+:= 1HGXv*dz< 1^2c)' ܾIۘnI3D~0ۼQY湫c@^<}_%0Qy]>bܤ1/P#h7\kܭe3C(~F1伾ϼBuКVueB`E4y^oSƏ'#$ 2v+vIf_tN.q"fԹUV~g2CSŠnN AnKGGf(8}:V,0,n?zi:*8&QDJfERKۯKs 8m&cx 6NfeOUPSdnҭ\ǐat#Zk;Dz"05,JU A|J -UT5+tq E6NwB`¼Jv(\ReKFhA4Z,Ӏ{Q/!/uG:`>>C;iF/fo$ d/rIg%ǏW_Jz@3f$%5cMC5 OVT*Me]?7e۱ˎ|G>v1őI/+5gaiV ܖܑZvBHYL:ƭ 14ɦdH&c$ZjQavfaO)MUB/Wd4`(qIbȳ } qdΌ@gf!(z|D/Qv3:^BQ끀F)n ,%,$rԵp$ykR q:x 0 p=ܨQ)lNu!-@,M>~n}Kכ斟! x xM;wZ\#>wޓMx5F9,h>5/ö>!7?ˍPR(v@E|/\0-닸pY){@o@ YZ00d~{JyVܧ%ҰT5 L0jCG TS6{g{ڜG]EZ;w# e 4Ŗ&:uq ROL"!TX{i'z,ug\-_,wͫE8kM|qR9z^7aHR}#4ˡG4suھ߅Mպ/IVqش|J +[ Me{Ћ7ţs$}>,w(OŗQ;#)gnFh7t̑MV-6` 섹ۮ >Z DCo/J\ ljxQ__1F>U'8+>[ ۯeMj!-zd;&jf2$.i&壆靂oPRƽhF_Yjk.*h=wunb$Լ44OWy%Z⽢]m:Cx{_b X|f(y (W њ;d[[\hӣ/Nj1?ʕ\:-TzN~(e&w" 4DV,&+\!_c)bnm&3W+_N,X)XT9lkL &s\ 4-fW+~c3By6.\ QxLqey 06"IK͸EFѣ'aX܃W]$|z䋩%뛉>UpN\0?"Pbge*b< 1VFvU}N&${R>Ѱ?q:~eM&2 …q\F)pih& +d~R?A/;xe`Y+LjI'6;,0 vjG`A'VipKD 7m$=D_C;[MsGM"k2n/tkxBp)mwJ_ZdoT>dїҔ̶U\edJcYT>L`yŁ& cXXو 㻂Mlcx; P{A?[2G iz94Ĉa]kB{pI'|"j&kE$}KdH1y]m{Ǿqdt؂ƚ2<^120C-ʓ򧞕oWH^Zݶ 8t?/Rh"2<&^sy3)QOÛW&B^J. ͛oi9)8Td|ؔeJH3 dk: 9"P;>ϵI.YOq`0m/pax[7S8oJF hvOi]u.R+f"b!/K߄k kԬ> U #e3M\AL1=[( yD2 fZ{6}-g9`Zy4 ky%l"U%Yum* ?,x _|j,] o)?AVnϢes1'GEmLs2rgYZ7zXZִF! 78J]ŗXi%BuASaپI } uT;`W-f{f|G(V^={>>[8@yI `&Jp/5~j}?R#Ǖ@1<^"f!lo/?c:յ׃ľ}">{ L>o o6bn>SIO(c&ʷ—ӊF+gxn-aΖ`]w}$4[?--91ivC>⎔>iwޝ4f08 ʁ'쟫zNI#KW&lWLښWِDi5&,fZg8tW?`IdL̪",q[O НdzŴSqLE;6ݶ{H ?EOLlR`.lƅk9|u9kG_nĕ*TfȋF |NCp#]YF )ήǾhq\_N#րrAhžV( SH)#|/A|`fgŀ`;~%PVS$";C-?|^Db@t˴b1">{oPm,lp m4aVrxZ`dOP+FHR}"K|ۣL!~wǽTV 8R]Hl)"Ϗ>µHvN۶ p;2/ ڜm>s Ex56J Rc%z>ueC5aLNjjXI7DH3#bG/ȶ /*OI .Yx _{Jv:H;!r8(A{cb] Yni}ķ{{#pu;WU̝YMKP6eY`gYg65+W<߄9WE4Pg,(^锡.^D>!C4|cJ7ܯK+ZH=caxElvp&LC@5ٱN8OކSA1$Q;& \,cFGyv/%uKƣ]a3癨&g]_n52lYh3e ʯt}~ϫ$6t"gM S8(X zݘo+*"mV6X=m2tFlq[ kas~cz~ƒ򤽽׍6N[Kf$GZ'YIa+e!E+/Ֆ"~_̛Ys$F]VR>; .-[ljF"hۋMF4" pR(u^HGSYg5SiPJGC͌#Qj@̯=B")6zOӵtX[qq}qSՋu]GWރfn+¯h?FGQZ7WTRWx䢋{~Q(Hp Ŀ;ltztRk@'j_#?| <'ϯIwr`^1DnbO`bgr*Ng .?W gg_fopRCv!rp~JN&x [=Nj CEOƆBJuq#\\W\=4WY!Mv$#YMi~&[SEL4#grs<1*)m-!T9?N|XM*MEfڇB#ᚿePLL{O%6A3? vu=z݊:a<~x)@Ғ$Y,o]tܦ)b{qF YSzϰr|7N),61fڐoϮ#U-As"҄zrzn3Ʋ{ᇬHVtrw2o] -E)C{`i\,]tN_&Ic Ⱥ]iPz[G{LP\׏ᛪ-.´qn:o ~c7Q`kM1.DQ-%׫:GmoH甯 XCvj{Va޴[+z ߽,i'P e3]KB"ި%̬ܲ})*5HpBxH-blAmLi<Ȫ$%IX]+:-9bnL43Yvhob}flWSu[yQa',#%zzPߗ% ꬑ3't+/Ƶ]Yֻ_dOQ%s^[?:|yuA {/Lw1FJ4 XwoH)BT8DŮ}ژaW*ںCYBLwy;fT ]En_vU3$e;| L͎X:$>'S9K٫b qOO#y5f2K#iP֥ae$E-Ax'_8ZL 3숙nv 'i$+K#KoowgvHv2&*E j7n%HܶE}) "__Vv]\j$GИj{v ,~KOAP/l nI2@(VdӃH_AʕZ s0(]p {۫&{{@ԧIǼpSRڀNo:i Vi0֦p:]1!?J8#p =M`CdKp A6詮OH(>Dblqn"+QA2$r"(bS[L3DRJܿ,Bi1U2uw9Rqrhzn{~%4R &>冚o6>:R-m?@(+wEn,Th653m(<ƿO>rmJco5p EN hYA J&M[Κ۳q> zظwRSEkQD)as;;!̟,7݄J'4:- ܧ@}.{a[N!W\?GztCӂOZSc%FE;qc 6A<#Di=1Q|gQW$OZ;}>EvG&흽%*ԝ/u DL#SUzxbL,oSE#R_PMMd[lRF Ҏ /nA [- T{y_90ly=u<^m{EFEƷl7b)[YKTh]H3{j:$h$ =G|7χe }>U"n7$Gm$EwC=T3}ExlEh-̝X gFK޲TZ,#W*fJו]ƉDzo80%YO?"%ϝ(Eabf8kNb\ѕ y*_G"9 n4PmW@* G8Xہybϛ_$FO7nqWfL&%<2FXRQзNxOLuY~EE'ٗ"bwn$/-'oeCEyhήlE͑E"֫?5yF qLH]#b*uv0>E z)(ADc!;-l(Rz0sM B] y:≑ugbE2@j]5Hvټvd#z4)KOܙ_a'ŎSYq,VTFϼIS4.< ڕFE0S%R9U{*4;0ym? O'=K\Xh.ұ=_O_ G!őVM솲z@z,(NejiѝuX'D~syX ybF2V)VPl-,nW]\>g:T.o&L*0{S&jDkŽp#?AG.V挈H 5`_UYT%j0@ K#^ͦa{;IGMu)u-Mu@J´Y)lrS'瓪.a(li'ڵ'Rrj6Rp5~s Ê;˄.1JY\s¡Dݤd#g-},ިz%Mµ͏},|!ed3zfM=\_"oAs\YgQ Yԫ[X\C{=Wj0a}ʌ\!=N $.ŗtCui8 rCoklL m&~Q|w$EqsLpB",9''1b`яf`fXYUPdXShàъ1;B>QrX8r~G3Zz 'o= hbCo G2I5R[jϹ% JQ4ua[Y(1-Pg鹌HX_Q^{KW΁ka esȃdz!|,xT ނ h&*g}n"^~)U(hQ>de Og NWiKk{S=k5]k^TcStL~ɹrٱ )2Wv+=6UժXQJU ԋ:$AVwC/mU8+# QeU$u\1R8y >8GqۛLR tq4R>8Z$5T[ߵЉPWȱ3B3Y Mk *!B֙1E#40I3.k\y:y= YT/p@$bI !ьc!L*kf>'ׯ hucd,[ :5-Px3X'MFcWV孹 d:$U3o9b2tBήDO+:}pLygגG4VWD'!@jN8 @-f}̊^BM' r(:aUCGhn@J^ÐBW~Zq D cVc?9ķP@3y Ȑt\~$Dy6׋i"u?OA$RȮi W|1&Y7`wۜ GsⰲSJEQr&JvU xƻ\hEةl ߁I#sC{JXZ/nт a[s]x9cI^wxyڣ紋R߯J/1l4o0@MI @;1cI^l G-;~Nc@79c>nݱ8LfTh4#5{*H&󕎤Z_Wl52}#^ꆙkӀ7$"ݕ,ݔsITw̌9#x݂@7qȆKl);SzGk5c{k &T83˧==z3QiTXI ݺ=]?EWy Pw5ƜJ L(r-풣E/dьIOL[ N2hk-ǟO$eD92EqطxY`;!#M$a!C성qMC;w˞KؕcjċAM]j(G/>!#q4X x%I`x r MUC&uxd<9m%lBM&#HWlj;T1gN2@ F;k,8Z"ag9riUIwȱFҚ=AX؀vW )ΰr[mɹ[~ʉ/4.]`yH#57ΕW 7'1 aꃕXGQ'nxi9 qc ( m<I{zGp<|eUl$< > 6iwjސ/bSK̙ KN5(X~҅m֊A YSiswcwAM/=3֔kj0'od{:!Tnvo e-e*^qK.'Mj[T<C;Иq1͝d.ںbc%h`da^;vXIZؠg2@j^M(0mʎ0ΊYD ]8!rd};+N\ˊ9sf+avR"9jNY'z^.x7G c-̜6_-uqCu )5rqqiď>q{Dԉ 1 r:cx\*=E<3MoGB/|Ƨ*$BX=a"?N+ONRP,s<"lmJC&gD8#֕SUA<U̦[=xq6q^3fXS0WU= RiϛZپM;x[b ݛXe#;a}/r/g@ F0/Ϲq)`n|s/LőA5888ZbYH 6f4eŹBAs ӵM.&@! kSZ#5 %2-qFH &xo[ih]3^Zxs7Gu7JSՂ#һQ,mߏY˕!;X\>us1֟rLM:X*!FI:؆RYϾ끄W#hδx`P%ԲvխK_AU d[onF畚$[Ĕ5ix\A5_`Rm ՟T5 3(˲R ->thh1+Fҭ'bo匫JO[;a&.EhSvd7uI 7_6jbXf'+\! nDZдk4TdrzFY+d g Bw$ȰJ]*/.(د66ȄBhg'^7I h>5|JVs)hLtQLV).NJk0AnC$TeGY2K LI~["śSIصJːuڄkXHshn,Ԙb}?919Xe$-68 BJ[8`450mbGmٯɽdeQ)&;.ʧx6:Fٗ}JC܍L*cHIZΛ00tS6"\0?o;$kK1Fqy/L,K3U7|xFw 3|KȻgVI)W`ofa ZK 7+A"PrTTZ)}_7Mk׏ivc6-|v>4nY999z.E.e<:6+hjEs&AU]_V60PD/BL :U|HiAmKQLW5|~R+ >+j1-N '#OPOi*.#BڰJVZާ|~~ %0utON+dxY4/Ϙ<' x|v֓T9:QNZ` /v C"Gڊv G2$ _q_M#%}XxzMOa3$=@01x 3@VflDO<;ROQ כU_tLY![/*CV9MPzl· F#6`wT.Tn'osNi6'F l:1䥠z78V.~SS{%7j5RR֧U QHv",M;qZE8 T"dfiFNv;%ȤXO4e^[[L</bDV#!Bw]ȇe]‰ 5"7ė9XB l0]n6;_eCqJ6[A r8` (]V?uԥ*.AX;2Ms}:%_Ծ́~S`86_^jQ 䣉89%4#`W7,ٿ:" 5P Y(͡lKǠơX~`%O~r_'9Y TNDt*V"9QP2,.dVub) $$߉%r}!|HZTrB94?l%]qCX\!K[WQEبz̜O32Tĝ:xOg P;㲐IW=i={萢%heel"-m4o)T-&f<,\Ip[>'( nx(?؛kd=*dof[;#@.>춵GAXQƹC>+~?ǾD>|Sxdb5TӛRR>R25*x~_$Mع=(kEHv谓t2ݻz\=V}4_`-v2lȳHC&):=cC_4L*dU{!GOF"to.ȺcR +ߦe dmАP2gŸ}m7ly D=Ȓ#cRb':0ƌ;x뽫> rkJ4b!~n"8wH 3!|^ɐ`2،ԥ0͜jMh1[8f2?g1a[nt~q3G]/OZsg18(vҾv Zf{"''وx;n֝b_?; :AR|\7m2l aKMMSݏk k5pM tɌզkl=LWK>]uB+N:HNdt-%vX7hA6ৈzI0vge0Bam=r&BpYh%,LZnVj"ye#;R6Ç\f!,ؔ ]n3|C\DnHJZ]$kaFC.7.zQ7fmJK޿/o09/"jOm{A\Ʃ6韑;U^1 ےpgn2Z4lu \Gy]ɂc8>OF vhJ#De\3x=Q!Ǧ<'_#:H(# ֧mo)b؀.J!& DZ:#͔?_lKY)6JNXi_<#se;]z* A6tH~緪4wAˣ@]Ԗډ{EAWVJVf|,lqmgzYb 2Q҅,+%M8SM7,z#VwlL|%KJS qɕ|kݭRAiG$L֒Uw>Od2J;9n-Ki\$#LMk`#WK]"l#[hu #oy>o|D*fDX 3ȦiGKė5O$ZkmU$f՚ﯯ)h~4Ygzƹ39W{'FSb+t^ 9R ™1*j>6o`[qd"wt- (HWT"ϊj"E(ÒItae98'q`ht}lRuN1.i{[Z c.XyE_o~[Is֋q?kaId4~I9%%NOJ&+I;^tSd w}{cSư'$_J"z{0Y|3@!o(` )K.>S{`G~iHL)mg2e? {|,Ŀjb2v] p#bBkT$_ &H v7;E|A7Yw]2S)I9A<YTOrY'qX?~@&֙2wm[ WR]5bN/3aeE!<"7Q"g-at:ɜXvAd'1qq@Xc\[,MuE' 6R:nUXCFk!.yK>27䡅”PU k"0 qmFpȆl*B$^p!4MmwjJd}$snw=C{sfk/S &@+f_η m%ђ!B5]G2xu,B"p}~ڜ#`lSn5(VBX ax~((71ck"Wb^$ HB`[)h 1h5fÝsP؎ Je/->낚k}V—f)Y|Xdy^J3zUa5)BGB<Fw@)^! \Ɩ^d}2 Ky8f^M(rLIG8gPn75 E画c鄄57aUt&x?=(K5͜ kb.<H zAdԖU u6>3s~%k3w|ك\^ z( CsE5sh  xGx>]l']iwe v*CPY?Y\-X>/ g~_Xl3Be9x^4XO*1'urT3~fN2d9\IJͦ:,(lgg7q`HPh{8 ضK_T..#]u[>YM m]c#Cno|ldy/h鞂oH"s%wg40G9TivPs"0[m Y!$b=c?60 ehM.dm뿚4辽 K0_ׅ%9܅+e AqIȴ&A^IQQ+d7/Yq7\SaHp˖r; jkzQ 1^ζ~z1jxG+a=g_Ȟ1_; ˩/ ~G;b{`o]XEL<3J N A6f׫AE瑹EV1wMm{5 6%]2W_E2b@ږ cO&WT;>傳(jВy(ײ[L3Bi>Cf%RK!@)!x\ڼ$.Pi$_1^.R r ~0~0IL&NG&uEs.u$ 5W(?: o :