SQLite format 3@ 5- 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 e#$\ S]Collections:threads=2elapsed=407.937cpu=693.672gc=51.244factor=1.707zXZ # CollectionsִF! v]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,oՠ Qϛ a[ʇFzT%fpXi#Yms =^ݙXZ2C ^?eb tԠƈC9J^1 p]T%qq@~u`ٷfiiw@7B7,޺`cl)5t%\2kz*9N_F8\z@uH@."v I$w f̿42m܀{Һ6CÅ؍]mxnA)4AUw0d*Kd‰4 Rźvm1tz/?d̢0CpP/5f(>L)7Fs4=H&E,}V Sw(RԵϮBq([V47ACubI(eN. +fLʊ+]-+"t+ 8^!Q'`1^mfc"H- cznGO۬Uٌ_DZFwUN T}&AzC}kGD?Cg5͝4C TLRkno_RYXț d)<zr3ŕ+H`XJ/vi>I,{4:I?H !,D޿oa4sNd 3IϧC-h[p#lvvq>˴$F \DcmfС>f =.ҁګ.{_mlٹXP{;d}&m 1cڅ 7O?OJ~r+f:ʴI-F5Wz6l Pqo '~-kDw6 :X(1PCc92ik7OܲGV`Hǘ]Vˎt'\HPO0ǡ *sB&Or~|]͒糆d\LK*}|Fkkqχڨ$mE1"$Y .$3game>$x'0q9BMA'q4›Jdu0'~?[%w-hn)$ηqwyoJEսFlY: ī5(\`-_ԜgAl=T?;`*#~PShǤ[]z3CkQ,?%^~ol%^S0HFu a9zs/#-r}o[;=\UM:uzڊT198EdݞXGAcyףy*t}FvM}G9^$}.>+Zt$GTě.fkmV=1TEkM9,$OA(4=E/f,Rq[<ap7o`~\P%r>!lj jyeCX 4 MoZU(NZd>L-\`82鰓r0:|Jei^rL!= 4jp<28WwHK Ӡ܄G0)IHeԁ"h$FzHcn4;y* H2wrÒ׏(TOt11ZA$,Wzt)K=}jMT>!JYŸAi!'VIL=+OxRL@y$zngm2w 2L&'Et^tJm>:3U3oͯ"IDS\z7 yu\t1hLzL'1g#t1>s+0|?i+2 hdJ~ l.@I*zP[{ !Ll.(թG3A)JIx-oVɡ2#UKB 5hWe;' ^f)v/f$O'Y :g\"\H<ױ; ]ef6w|Sƈ0=?g.:?-X5LUfiCXN'cZ c_8:8Gy7%pw 싽"ˠ,KQvq Ε@XG ~Z'ȟk80o40w/`ڠc'4X?QٕKIԪ+WABX݂'UkcvtR vӖ9XY/8('B~7r'q7W 7?հ/7?X} V` kBO[ {9:h-%ձkc2VZB[eq倾w_w)o4s꤃WkHO'^w1wdh8|w #OQ7S;n:A\"x,22?e%h3JBeh&02 h}ُN#,̦.ǗѴK .$}IMz@xwUy!`Fz}CD~#jtmbBL|HV:.綩>jсiPA* ;eԳa< 038'FnϝZl{ve&O66uq3i)֏d1[%c'iJ\m5>nʾ갨,{îQWCf.%9k9`8!?4o4 8@QNbaIw\]If*<K$6o&l .[FCRUBbS:/iM8.1ь^X:z%K)ZCM,y FO|e CaM$KTAF.6#^nJ`yJfJxPx70ZZuLY^[YkIXC ZF=Fʺw~d'릓x!5Ve< ss5c+.M4 z8$+ܹ 5Є3alAs^TRBC 伎c꼫3Oq*m7oC@ϭubKUnf ԗwI^E|meyw^aYhKW;:F|* {|%cѠGY#JU>^,H!ot6d펥Lj^ ehaBWNg"Sʣ뎔0vXs8SƦ$g: IyY""T'qr*1ń@B;2o͈QќZ qDGdUd3dgfCyɨfojڹ?jڀȯcGab+KORAsM"kt9N#$' *SvIU*T#ݗW'aU)g%!?6;%nh/|*5Aڒaw|J֥KQ, PDk"BDGJ]Il ^0*ׅܲX!i7 \ȟT|`tcWy|kfAiW$7Q&##0R(TA]܅tQv}o)kBH;(@ Zo*ܖUHԨ&yExD\l@pq#0Bw4z&AAN,t_30Ȼ_ Y~")bv H6m:Msf[61#X? `$O/-R{kKmC @(迅T;K3܄x>IyE2b'xL+qk>Ȫ+QYӧv0,HDAbB^SGnL=0/90 1,ݹ{s4s?2<25u0>q ;;~M+&õ)Smw%zfZ*ޣu/*v[ȋa V߰$omwHcrr~xIKҕx PsN,pf/V-*T_%VJvQ[ QސS"jy'UrX%;~e#et'tcS¼~l~ڨV964}G)'Z3[,ҟ bnP'I{y )ܚ_Oeju!E,5.+kl۠p0dl^0wTavJ Śb) znR])?ރʄԁLKfEUٞד=bm$@(n˔_QsJì9/)G|%k]D-q" 3Z!eZbf\pڣAzGd|<-#v,'y < UU$Q)M,5CRTeYI٩GwE`!Xs]_[JDu`V$;JL=m#9Hh^)*dgVP!{҄.{6>TIïP14rx( ɿ0d{9m4ƮTE]!"y:g|&$O_ ռ+RHjFz=v΍ *K AO\ іE8Ng Ӎ~3iv[IM-XB\}ܨTD;GD瓘5L(+<(墥G%w(".\Ey(hSz]^$*Э@&Y=r^KKFI[WT=.SЬAˣ1),P-{ ؋$ٝ/8S?l$~Bm,f(À\&>cC Vlb FyQ;rD( z DCXo_fDEJg٩j[﮻Uxkq4j;[j^ L?}?t _Hۼ]Dz PoYӦGỲaF [Άg "KP J:Z_iAjr2e}{5>)W<KL,GMSlBIXC 4^5"k D"E@ѽѯRv?ee2lnJ˖xDZ|2t}D 6:w |5>6Pa̖҃⣂n&xDAHxV ӦS T y&0t]II ҹ&'<٦iW`:ewO )vw*& _W%1FYwnh̞@:.H=NNH5x_YsDzhK \fyh<ƈ@xdfT >I\݃t']biz{H3v߁Gp[!Ѱj: H$j+lk,=ʺ9`21Flg'3AxA?bX{ڙJ8BƚYڳ"¶Wgms0KL:DjsV@&Ը{Ybbx$ƿ\A)J:?ZtqU詵زjǴ!E[R[ī[PN]aH)LD xr0P4 Wˢ]x5"5s䠡nW< p_qBߛ@&|Ͱv64nPqɳL_9W遈5K[+7?94q$qαxbBeiKq'|qHֹbfrs"}4QpP2*LXs x3.ЗtzBXCi &a3ǹF=`?!<`T/+e'mJF%8_>zjTۂ)O0#~ŻG׺P`>|Y?G>|pKT^ٯ9?rKTyfL7t _"k#yS dD"d#} E-Az~zGVP*=6B06+*^O^䝵h'~2h/%sa'֍ s F:JpA^P,Uuv Њ. O){t!gwNkSقIU3EϤ&lܡõ˞J"pB/;Xc Jfso'OfW1 pQfk2QTGTTqS].Z)o.񏎙x%xK x $9RRsXx{C[U͉үHcX$c*ҷP?!%PodXb,uUn1 n,HO 0hŹiؤi-G}o])O\,+!9`[BA2s|G(\;#:U@ٳożڌ+q@<q-DP/; MKb8>DGβW.՗'e/JV|,tSH-V'S[Rk J:Rs~$B}jd׿e_k*HaJiAZ1;{.w`Agk~p:|^uFyfאfDzC.l\?FI_7.|}Ϯf)D@@g4x }sO..%who|`ëΦMKRt] ɢtHh]ilqj Lؑ_pm OLۘAhg7ZeqUcZpnSmG)02 @O$q]V𦊟V;~[A`& 8T!rnMdS-5t*X)kMU]tZV{0C% 9CҧaN g:56A;a] 2$_!4ns1" қ;%)U/^3RUT>uf  ONuVanv7VyqMci_'sQe s]ŵȏˈ,~z@΀P?TPtTPWp ,`S)~i4=͘au|Hiq $7 $m>OT&:7^*)imIZeXP'tiүy2%d3~۸+PAd^#|VBb4Iqx Cezs,gꜻ1>=8P)L(֢/D᝜]$"z8|ˈW (dO PMkT=;MY$ӟn?ݭ8rKc2J-ݿ gH69ʻE(sD~ w,lhzY3>*v6&}de;dV,m:uI5Q|Ž| Df ,v$]fKos/ du=N%_iBaY`7WuUeWāafdzbnQ Rz [KZ ^1W }mr1o wyZny+ E{b:EAjhԝ)rf&T:h|oQjȰ^xtF3xfitxJ%RƒLq/C͙4:8ڎAiKYAֹUŠNڒߑNNүHf`Vr?>mn$JK>ɊXk|kr ?ۧ0]\2gr]oƲGc뒄b:.Q V=o齢 *嫅LYj`\ibt6Cn. +2^VGk:p` ڧ>D{ʮ\G6/[A&^ZbK]=ПȄi(|$0)HW/q ^B'MK,eur 4F+NE4I[: ^xvʩ-W_ỏ;H žc!('Nn]E$$-0s g-g'8O_ -ёE?= Hޅ得h0m(~(&wbWC9un6>AB0R}j$#UM V9Q *o@ 5O(N-8'C<}=f>}W@8n cKn/1jx [g۫U-}$;D=L:$av(? Kf~5Y[%>8,<ws-+KcnӥDwm| st~PDTz VߖN#T,Sr&VQ"/ %VkpcP']|8ʦ\1pͲkUK3>7 B!kw.N6WzOvsJ$^qyX9p3-pZB@*P^BX[3#0XX-pi"RTwLb. TO,cVntEXMSJQ" z,jJȨdi4,97/kXy]0H2+pXFV q|W`e>Do+hJF纠) uVG7\ew]{]6Hn\5 粭#M S_̋甌 &y} -f=Kn-\N r I4l=e5kN{:Y;DiH?Tk:е"CPq?GXM)" ٜ{РP싋ZYuV+y=ۭd Ej}咅)'&2<צhX3`hdm7t _0^63x,)9kVCݩ'ɜpuKQ %𝺢 ET2ỹ>uY]7CZz&2j*E[7/=2gZyfoeOdJeCg],łpn2i}pJ?Vi8ɘj:.HxYV/_`X,G^g;r۬B6CHq} ; 㜀iBx ҉?6 yNkoe/uc.P1^!h#7c昖۠2)*\cG?/XXx+baߵ7}l_LIe.n7hJ ?b*ꑭV]Wa2wes3 x^Tzf EEO,"XrICg,k'qu>!-y{0=ƫ Z`h- 8\6!4-ȧK8$%l]dSX&=7[_+bz4ײnQ ծ%aɕ)ѩlڞ}X`O:YᅬΦZ@֓;H_ͧ7|b =v hu%C-@.#整`PTl/ +mF:֑i+oEː`4 ^X3xi<ޠDʁyAЮZ87aoo>h5"҆ˍB"ChKKĢ :.WgχU\qڔu^^ްglt)u W,ȡu?~E}1xxg=>t*5ACu9Ycd哻z@BtY[S k eOGX a__\#5Uw/"HH4!}L|,ey&X0gFJud6f/D✤D;[b{Jy{=jΌOZFQ'sU.(rXc?zIШdtw9(GySٟ2Ph*73w uX_1|.N|dM.'}EPb=PJڕqlJ `tiA!c/[;.4R!IXu;Z;hIq+&]e ^/JP9[ِ gʃ%a)8s< ~2h7.A3O0Wby\PC} W.?GRʀ@wV?}z7[,{ [*7zs=`3f, 0AGtp7\|^L*âde4C}N`_{V4 \NdWFFufAXoѭpn4%u~X; `Ա+ Ω%!3_Xa]iX]xRNkFq\%<,]0'yW &J 3 hdNo*"Hkg7#*ýOmloNʛ1xzX㘠Iu_i za*=՞zͤ"iɋNW!I [2ez J𯸀,:ZufVdDp#z)K-q̦6 #\ǛY+/Y4穴и]M庫ߠY Bc634Jy-w$} 8@V:DUX?u0J>z/qP)u푂]JKEoUWS||9h {PZ vwB=l 5#ڶ3MMR(Km %UөUt c!+#"|kfI " k|C{$S8%Ҵ~}euS+3Lo ϏL3!vݐ&xO}vVGt$ɳdL3^xϴcGf;@e&.~s( P.A<ҡJJ>tEFCʹzPY`JĮK X^uC uCXTD:ĶS.O`_C0M˹O.KsHpw!3^34vq~w/dx[=Eg:@{ID&LulZ0g*+ q/&X|i\gCXM/+}/FcY9y{4=P/@-Q"b~MP6?vNpuS;@6Q à>3)[Tx)eY_yu8QKF. duPA8{:tݠΓ>45Od~+Urj&U% 'nUc4d{+t Oz~yYEhߝSRz$d YQb^jdB;aUk:HҖ%8=`W_T7ϊָ8fo#(G<|ZɌW\'aȰ,6U?mU=t4t"1 S]\09ڈ[xjBZ bR?֑B;UcWfvݏ'zOX|ٲjՠtFi1e@f_[@zː[+g)<4ÛP?:J+U#̧)p`$bZǮR)lUgd$fr`Zpo'4%./ׄB?wS0yq#]Dz\C; 'Cv5+TvEgKs1`)G,`TsMuHN/AHުfgۿ>Ny/d+>۝*LwA~˰A$c@8]6I "M{Bއ!8t{q:Gme>*)l0beOчRVviK8ƍ?VK s 2Zd|3yw1tvj{ IEXH AAtժJ qgٳINaU:<\|_n#>MC*Y#]=ws\"-8@f5g<U_[_5A?´*q\HV^SPaQCXX'ltBlA lm[*n#tS6}"glҏm H@cݿ'fygTs; )O┉;0|>eOc`esT*bS"{bV='KgiSAQid딘^~(z8ڴb[?Dt}gO9k m#F&gPN}|Y|KzPl$:sͥ0K;5 nTxL+;9LoecRsts| R]&|[{SDGbi(1s%F^B}X¨K IdS=!0@md)l/6@<+LFQU[!6E4 ry# 0`:Mw$99qc^>J)h c2Η@*>~-$ߡ?g8-1_ py#y:KqhrNA6E( 4#^p%HVO.\5ipUX4$ng #G3[DjH,?,3lr~J]+ Y_!Po6Cgg :*{GzR|u2wbYL@";εP!vf}%OA+MIX(RB}m%;KseE;uzd^rD[iŘ+]ΏzYzXyDO)#+U$l U^*Kh/䈻af|v=|UMAKriO"}:̾v-\2qhἏR ehT^_ a򛹿%M%%:Ѕ_'OmJ3@ztxN%4^_-pY8=Rvt "w7JcMs ~ѪR C#Mxz2${>WEOLAxUS?Vbi8SD:Z|K>@Mh4ՎN҄(^!7"X8n} M75LVy4dv5HU?)}<|A!$\so*bg1@ 21r6MtgMbVj%#u6_S$7d\O x͇?`G6%}D;Qh^T۽PT8Wn ׇyWkA:f2F-HhN78@ymnlߛyt]\tNή3 "Kۥ7x3Н#(Wp:lD);ݞaћǃss5I 꺸_aDǣSk㣚"$oF̆pX %ϬvV]hpejJVȊ ,'/t!)59 8{bW|܈ѸrԿÅ NPd7# s 1[3S He˻֗-/0)B'fհX-WsL-=\|^{(q]H3<;aĭ_GdD Mzas{=ʤyI]o(DGkZH%^1a>B~I ͆KRlqmH4sEg~wfX/#)Ǐթ/;0YvjgxH1[P >𵎕3E-x-sE@7b_sDNf3CĖ o U ܍aV`W{h ܳ g*MSaĿ=O|B5yw0pZx.=&Q,w#~J .GKDJw+fĸl DuH@rr;;OCjő mTKƴ1n0W q,;lBe c>quَ #Be J`S;5NOhA!|ؠJ%B்H{aU!nnS2vL#]I#uk]5rc{2 qqx9֔xǰbfb zְAl+ yIpx6|7.$3ی]"- FCV+UǠFTBqp#~C4z䢧~Z|F^a[/Hf%5 Y,ЛR\ ʆSf7#vA#`FO3FΊ6ooQmA%NڙxPWQb&>GӃ;0P['SE 6 toQOb<66ޟI]ܷއf>@;hȭ9Yc1 ][2JΏ@!kKG||$5(ȓ EGƊKGrF>q-a\Ѻݭ`|R }ݱN;n_urJ&`b{M;r`i7?wC95̐.ucAlϪ5]mVK\[^4//f-R >٫V,y+4X-mΛM_8P3Цۋ*#Bzp}^=,Z$]JzmGmeƦ@]xUEc&tb&l"ؚݫ } bGu#k,o\?.gF%I_ y9Pf13#W@W55f*N ln ÏVm-Jb+_[H\<,GKxG/zC_H7j_}2iz6wWjezxulKKX:bLs 1m6]#0+ #fxgtYYV@%?Cg2tF>*+$Jv((p#`~Bù ;Y&%W)Iy*D JW2Sl +I$X[.hetW|r}믐v* l *=!WnNBL=Br[(txuld]Lx>ڛN$eVw\ȚISxb'l3a-g{hN2{ 3+ ,Q#|i|nFD7+Y;%0~⸤1]x _d[zw.R#E=A ?s}_Nj㗁=l.|/ {>Uĵ9iL ~j8 L'UpY!ؗvnjQPAd*!S$ ݂_#BC8piLž/9Oq dbpj"߰?jHɃLn;"/2,wAh"P74zv3hjBW &ky#z"$0Y*$JD.hŲz);X!6c 1ڝvb=Ƚ+bhm1(q%r wMGҪm6ް3Q4u1( 8Qy}YmGFV{F8#Я怗~R ῱e9}^+\̛&KNS11Yڬ"&A amJ30+B/k|Z7BS5<#xy5Yn!e"TWBirݩ^X]VqmpO?NcyG{0f'?vhpA  Ȓndh2{%r~t!ɨjM}Aq7- .kҐ7:jmWBP3gI{& pPȠKoVxbTXCTK>YPA^<܂2J;PDjq(kGoVr/ji^(gM:{zZٟm s@⋿HGJ5ء jŎ { z:&;~zq_b<$_.75_=g PI EM)D瞧sGRt'Q&'< Su:fM{_*UK2]8䦅BcQRM\|m2?cH9u)Q054yq702%4\w螣aJvs_`,db##`y-~%o̡9; mߧm^oz7v GaF =~\t|j 7ñ\:uRݺCȒr']*80힤bPk–rFnt],؂562|7*3~rug"~6z:H3FN=y \Ttq wBpxT4lz%%ysbL̡߼ɓvf՝,jҍ>M vPɕ+,f9k+M-܃u=/ (C'`ֶuW :q\M2ӡ΁8 fsEe=F`^pV>]Jaٴ'~#c$^ ,䬠BD,m,+mӕp{O|NL[8H#lkgdF#k"kܓF$W\ynqzPHji= WH) _<ODv?`6+%vE x1\]$f4w4hz{ ?V6Bu*y"uZZVV4:$K뮴BY;dE]b #poN9w 6 [6z)?" }&ŸPՃU1EulcsI29;ȟ_nFd#&b@ v࿿,{k/5Ri)3D[jKORrh$^L9.Yf`SNO#s'CJ*sDK3_v}da@C>O֮ % (?Y:V#Z&GEe;Xhk9~++PXB0v8 :IrS7:˷}QEs8 VPyct~:8X\>}BN؏F ֿ% tpF!QnVD x/'J$|m)* ڂ9qnU!,z,;~l.,e,>wEPx͠>UՊ;;Yk05r4ǣ}{Eʹ=?,r>'.WŞ># `$uRdEMGkry2(bqYP$4V:Qb޴PZVD~_o 3; )s%)dh%W]sIO]z6cn";Eœ\7hK [SMr'Gz1yKsr}/vT n97· ZnCfq/Sq46-ZO`65vSnl!n[r{k )~Ax@eW~A@ʍuzh{zQW$e Rp |wζu%[O81DIN\>TW{)&fQON ƕ(g! dӼ^$~T,W`0D09R%SC=S9`~~YZ<̚?4P~g}Zi$JJuTD$X%?U2yb1f'p}_wIE $fZl:*i!> M`n`xV};Q9Zy-f"Dڙ9x?=T7F#"j!2wT79^@pcN2Y+mE2 WE㈿oԿùK6`;ǠHH Quo*p0=GS \v?ëߥщjmͫV6 .f~^-K:2ːgO[in:EIҹ+"0l -XP )Pxlק'QWKϙ=g+y^9ܚL/h/=,YM"0٣w| Jx 2Ll ̚K0~L:$Y6oZDo,6AFw0{_hC*)oB'YpQu-o`6,~ǵ.O:”Ad'"SoF[+q)Zfbe8 "0'h @q溱LZcVo:}reaB,H?xyf-orw6unl59V]u< m1eu_|/ Vt tc[Je\00z1مdR>™RCYbcۊt㴃Ϲ$+EҗoU3iMycgw=K!aY['D *շg&l2JSvAODnHOHtrOIC1RLN뚧gBP2g:Z5}x]Eڨ ":ņxu=HP%u#s@&)`4f?h;hT{ؾS&C?:bFH\S_sL Cx1H<{7 .@0yS?^X "8[4%C"n墂:9qրP;P!6Tߙ֥kt:|N]rڟD}|7EPh3qX&N5` %!.. >4XZmJJ(K|T=-G&>-PkS,JӨUQ'o/I25j*cغQ3em ~sM9A"Oqh.3뻺owjsNL?=>hZU*"vp6NewQTƧIZ})^/ Yw}=;C8=W=T3Q}QxV&ʹu6~IKǪvf`pWtyz*ϧMYi qtqp9MBf':bͰӽEĭ:#<_gNm.g ʇ.w?,)$+S8/tPQ_P LG#" yqRʻQ9 ڴY[?FyR$lc4_(֡$y2V謲0Kp^A5PVGD 7w?k,"Q@A~ss,wf-ɕX?)ŠMH|qUx94*iI~W3*,s&e }E/fݬgs;T8O~]C_#_&g`0!Ҹ5׈R\%QؤdC~=*̕d%(kʉ\4+Cd9T|Ὲ$[7)eR`"^zy $5*ѣ{cё>gq e6M "h-gر)|y(DŽ)]R8gШGu `H ?o\f~qލ0OWa*wk"૮꼽q(׈Y0R:s/[pUKh]@‹,iƵJ%^;=P +t?Ce`lrƘ<|unLj+/H1B ԯM#F/+8O;k,eDiBͲTPN5leWf@"9qEu$ENR|`8>)h2SRva{MSR-H&s?6Dm :xfz/w%!AASٺ(,dꎓ/ `#yۥ,Ib(|D5aAȳ0doΦs;CQ",]lAfąI5Xp^;d&4֕1&:p0>Я@~_]B:$X4s >^? f ]ur 4ΖʦJ>{@o\Zn$g30O/8x U`D&F2B9Vm̰۾L;]E +*,RXۙA`XQ8j6ũ5W,L2˥Ch"~B*,zL3:9Y5zɣд M܆x߇#mu NrAY $(\Xd`4f =(]~<3d+ gt"EAmV[Q>h[[( OYnxy\Oʼ9g8[i8JpYX { ֘T TjtO)k[+-A#]DYk̎ hl?n[N]ExRF`/PC}ӆJ*wu'؎aHghY M1M[OO2:)Mlj`Oϻ^Hw&H;0@%Mokc[ dy!QeL!MuҶUPXőB cvP,<$(X+~"۩ڢuC#љ!ҡ,jO1<ifO;VQ=zXhQ>WoSc+GВPC6N$bE{\1Tvl ,WҊ* lTpB>.W~cE%'~~OpbDFYi|oаp޵o|Z"d%%p5(74;u9@.YK 2> βК@O xMY^ܣ`_|?oAW#h)2V-!4y|AOI3ݹDTJ oOߢ'iKQqϪu*S+Kה+-|^Yp@+Ҝ@!Ht]ʲ"A͍uFKS驷?23/l'lq[ާa4uJ;Y}ykkBZ~(_ͣFIj&0gader=g0.82m"=@k'qԁC|`Dhѩ[ <LnZM3I}lki q) >t`}p`ahI-,`Y V#YȌr=V>HXGBd; ֗Uz^'&ALڭ($MTۜ[ )*b}2c1;WKX&,|gc='dkL6ƕ W-T|!Ck !P$8R J[:yL**+ Dy1 >~qyoC$J&$_K&QS#*@&-*$"ýʊ-oF$⠘vtP?\"Cn^́w3 7b0э7z©&J~9ǡ& K-iQ½jE=ShH~79sf/WSUV3FZ(Ke \r1sI୓*[2Ns<g}"+&z?xYQ" 3b5PQN8R3_[͵%qԊG(/>{)Ui.D @sl{n^"X/A=hL<M +'|z-)K8- #vk ch!ď ;=HWZ3X%8}f1:UxJ*Or+lQƒA~"陼ė/KĢI(]vwO+ _xXz%Xlc?w~e\3zٙ$g"o'Cg.֕ITi0c_]dɜۿ=?=>Q3BKQ,JHD I^3&r-3`g;t$N۳lgV WLY9X( ϲGcd6%wl^ڣbf 9]бKh T0X^H}*Ϛ>d4{z̕Q.WۥM)󻋡i9S!1--TDl2nHC$oH7J܍xQ?ðp>< !uQ̿n:kxT<0= Pu '!p#~5!ZmRph~vŽFC>/#(!{VcR]{v _77L U7@5Q277\R hrE5h!bĵ.ɵs?]ˈ,ńbZ%@ͮyyeE<02]{eM8͔:x%QA^vHnzp{sH}!j]hLH>V+î4ouy!rz1< fP$SR@]%-Cv&B~^ˁeesD+3–*b|csȏO(149Z];7`)7a4o! :Ǖ:or[@ %x3QWAA\,d*>f_,gZ#uS q?UYfVzy>;%ΔAt8Vߑ2bV5'N|zLWӞDY**:P8+) $8~㖫Pfc%o&П ZHGGҦS|lMB^X[joIf I\ ][gu'}&ux!M +GWw7bFZ3, *h,`&Q5a_θm6tد&ÜeUOձ0d7&}9|AÉ}sօ_ڛuVvMw5^Yqϴ{ ZgS@ &'& Yg'TJX>3ªonuy!l$6q"ֽCg̙Y0t,vGEU>(w>9w͓,N䏫;?xgS;sp..K)hb.=JdS5wqgKq!l[bVC:^>e<'9CEM@=7QŅ|]#c.AAVES&Ϸ[N= Evrlh!YU-qf~4ta F9٣")0U:_hc-5alR:6p K,85dP+~Ѣ`)_MJqSK.<~VĺF.Qq6.Z~N#[st-!NaCD֘P9P#*JYȠ7\#߭Ne:vh\th -02.w,q*G`vw? 7 6 t&6ζ^9y b?5G,E!pKmGDH8"Qmx77f/OO^v̍B\A r2Vc 1?ܘ]G@(q#ȁ/-<qUSh4@\GYb%5D7PUԡ{ [ImPB8ZGXeQŒTScKLǵ|<0b чn2@Χb4ԸM[ٝi)Md(1lԌ5Zcxa}6'%"ײF D (kֶ2#1o0Ү^y (z68ui} 4c"I[ϰ]"HOFDyq f8oV%50Mz@4I~}5n ),l-flOoל]XQ(\ll$4?u\qjcY+Q5+Ewd Wg/uz ~^ޗ4z I*/^ߨwTா 5b*7yP^DkWBVVm;@71^ @eEf6R? CsKTԘ$λ 5P@r=2[FOg %#u?"Z"Cкsw3zbt wPr"6l2zz{H8Qm0 /tZ!m SНhWS` O9>l# *Mj+3g2rCN| 49N vCyb{vUc}| ".p`FH,AŅik}:,LJ甁O(G!qZwdl4g'+QymFF+B~+ y˳lwʅ؛]$3TyKt+ 1+Lm/2̾Ex(xlʨ6n|=vC U*7m BoɎ+_ Q}%^%dZxMiuF8=ڊVspdž}҇pt>SZrnNUE Yb.3ju`xC<:wᆰx+M٧'Duv?^lm Ny6j kp.ڪ@_Ԫt0gq/ 4lf S:k~6gYn_U ;цvzK瑺kw]IzZEJq{F5s8] WvmdI2 Z^W٦g!j+Ʈkv4i"p*2V;m=UʏM<]d=vPr3%^4W߾vz^RslAN4Gqu7J$>qgprǖxuݷ=)Og51hS3,-Wr~F{sy=~H%2&(tziE9Rԅ_$e9pE7~/Sr] S5.2y2K^xL Xn^GC3u:ɡ.R:heҎLPr+WaG=#}Lm({@f:&KΘ0E˝^w*ͱ^- ب]IiR%wI==F Ms-ԓmu7aj+Kvq,q`ۚD&$EQ?#&Tr8E4o bsď%P aL^%8caaNBymzp%+}oˀ1-(r-;x#Ѣᅬeqw YjrGSobCG~Gg5XѤ_4zdPay\^zwF cyƾwW)bŸ6E ? Iկ#ڽovYi0Etύ9LFF3š'¥VnBgHܗR%Rd\5'gGA׃=[ k슱E zy{΋uȭ=Lzy㢮> qGj{3,W\>(*q؞ JPpXf:NW} zlEKmD+膳Nqmw}r}ua_?1#O45ҝ=ͨS ( B9vX{'|>N*)!EVRߚ~Ia)noD|+F>}AsFP4r5XPX Q{0R)F߹䤋=9piUJP`lh9bBk=?d!f $XfAnP$†cUV/)_јR˪/*]Ո/Ef G, ,Vh d9wh/;8{@2IU=49;3GJmU_a {<\Fsy$˲{QJƂV ydf{g~Qju>0@%ە0=z7>rJ3͟NI"F=g\qTQy:M uLS&ԬBX>˾m,-xܞW%`<#[~?!a@SrY#QH-JIMPË>pAyH$:-`roX0BhzԺɚNzn|Qoq-%f G<-Z+\jM~6ђ:5 AIQZ ϾXfn#gL}i;p Uda.НZQ>Tb{ friŇ-tn;f~EG UfP5 jn.1&Jd;-Q!H̅L-̙ʥ>֘$$*9Ȝ6*+ⶴ"݅0F7d5U,Y 3?_r8 ܝ?*!m|J{it}#a2N_oR@X^7Ԯs""GWqI. !ɯ =G-2rGOD3$+ϥl!rUtC2K#Batն\sSJ0U3 Gk+ 4V/Er |{j{zR}chu !?F{Y786>8A"6Z}Z kK_F&=.cN쉓fV\ٰ>J\\Yr3\ktwuw-;ûؑ_sH_DSk%W?'^vTՕSGDNډTbcq҇ï!e/"8-$blLP1:2:5 # n=g$qO'Ǎ+6 R =c%_pOQ噾ʡ?"OX5ŮF6g[֔0ċb R_r AHyQ#P:PjDE0Xt1lXRd|mLE.:12ڒQX[pGM1{>$(;Ě۫P- tm[ wF~^jf {2lym>[(jBVvjFIKH ("q0#/T ֝I< 3sRNzz!u\75mG4TRه n|faw\qԜQ]`WHiVQr"쌄 JZǯwۑiVre^"ₚ{lI2 تkg+C߼V5[P3ʆ h_!|-2iyůE;|||S;lu?Bg߹@{$A se)N_?}׮g9Ovd͇ 6Sɧ-Y+~c3o |gj*ܜ*Nj;[)e׈p!0nr4v`jYQ+UQkzOk:3Yϧx8{$ xػiKa,IBm** oZy$MuA˯F_vqޟ꒧ er'\0yQ"&Oq]zޤVXڻg0])l̼^ =]赮V3F!¦l@+ ![SR GւNdaN{DfSdh.:q`4d[:HXY|rg_JK$=emAuգ.$,u#X¶nWjM6@˜ejU!C;Q;lJu$TPfl 1Zx1{zܟ!0]Y#UU(  plNx437 e2\- n[㿦N2PNng >Fû 77%s)rXcEQ|Z feFx_W ?$9ؼhG޺j:ӣrgo"Gۘ*5-b&#06NC[< w2I5h*)=[Dўhw=Bx 1d-b1$RQ5n\d 6yCsc}r<$oA92}AUȍRisht $3!Zd|vP;;AʫHu1/pDF /p`4π=cp ƈ:xbz7AFI2U3<9X硒E n"n+K%k u$g:}\Os1=so.xž_SiG6b FCV'dU 2ճN# ոJUpfS8dF\}&\( )>ua"E}'990Bble;eܝ`4jWIŠl'C*nVh3+{U(:&Z֤]^[]@M;ۚXt_4T tglQi;ׄ)\y (}~Aص~G\fd.v )3%U i>Zv4Vd6I7Rq)6pv,fFpj~'կak