SQLite format 3@ 8- 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 |l ; HOL-ex:threads=2elapsed=648.223cpu=1047.232gc=83.120factor=1.627zXZִF   HOL-ex! NyDw]ŗXf1-q恉<E#Hv=rP9d-{x]kL/cUs a)F%\'fǒX~s %cuT}l23nCo6/6:M*[]hK8mq4|Qf'@pCVm;DQ2cs\'.a&4Y6PN ~'qm'|/4^(Zye1*t[߽(8X1 1Idİ 66 $'[,g4sJʵG']$o|OD؃7F.*{^Dy,m?[tڧF34. %'a5o變4<GB6,*ӏM{ͯk.D GD'eZTճ' $Cٸ'AS>_ };Ήl0p}~2n AM (8):|fLGy W F<.[y=4r[|[}ԍFs!ʃ+Ɛ fHFP5DZL:R4 +ݛLGY NeȀRjss KJQ<0 |*cdZyIuzj5x\_.Nq&;Z&"CDF4Z.,'D/Xϕ vH@&K;|U;6М{(>Fuջ5c}bL䋾t}&[A'ZޞHhbT2Ir) !(~zʏc'Q0˖F9 ,f )lCՇXvӛ޶0haO7SZU,`X=bRػwF~ _nyFlaSP"mc7vT9eEm5x>3%sT]ZdEeODa Wt> eMr&:F4; tc͜kn\JcBD G bB1{HBЌc iU Q4XvٖJXch&$Ol űdGo/8gVJCC5MBf_]t# $}#־PƻQ11 jmQ..c;8M"4.Ƅ8B J5%$ixg`d|۵={@+ߣMF442eB| i[Bh[yC[ٔLROșp36f|8P+Y]8+Gɽ ξI: v?P`lP."}?WsPv>y85xS#G60L #kyx?'%~-lʩ% )?81 Oh6-|AI]~EIc& i2'h0E ZM3cWoD?N 9&txDEI) 8uq`9 Q/[ ;gu(Jξ_*H'DI0r R3utՍ)Sf}~0zBK䋱ҝ<kpzIK2 96U 覑q̈́ew*oOSx Vwu"gHS2+_V5fU:h0?R2;MwN6JMƓt;%- ]|.n+'Ck1V 8 Ѕ-ދ0)=ou [6=%CJ@ư6ka?>.-LUN.GvJ|MH&e>սj.wFo3v6ms{3=Zu8RY8q ]%RT,zrj]m4p5krD͊ EeT-QUuяR;%ߛy_wś!ƨBc –a)ra?"PE q7ȚP Aԑdt~G0%X#>/\:Y'wlGWz}IٙBqe)jHݩmR; Ϲz?5A3U÷Ϻ'l ,fWyxlTЛ7MDLWw+wY0RTBѭ9pf9~qh Y]\?F[` $#r>Mr'Ƌ- GSi߷G8r3v/<7bA ,m D=}j`,6[`: *z,a5ϯ, PQGi21n834\:ҁN:8o9/uFͩ[)h ƻC^Y4eӳJ+hwhzvV'Y }Vzt W ﱻPhkowu!haZ.?>4ёBLEb+56umx70D WsOxUh "n6~ #Zlg~Za.'3 n18=ˑdʅ3\R&C#-wH?vB4Y.*GUr*3 殈s[kkJO9Y-I &ҩwo'rIV),cc, v|9$]6؎ ܨ_&ն*BQ8"~w[:G'aU%j;a.};vg~A;C,yN8a$h5 #ٹgѵ.Ou0$}gB&kNKLF s:E5η0WX3$<)zj*D)mA!|#a`nC,x$;+fz.dn%uh7M-Zg^&A;ߤq7_$'=T`SS3Q/ZgMSP(DucnɀVAsQ5]E ߥ^3hBmQ(.}~)9ZKdy)x N@SCs Fl Lx@UW@"QPrG KAM?f;{(H:.cI&ѡ@+'Q>c]dɷ3!pEĒuSX2+UѲ{*NcjQŴ\7 TFyM|~ԫBi*JkC``rBxfh׍ %nh=޶CڔN5;B>(ڞ. dby1>p/ˠuW/Q>}ihWyGkoNL)U"|ŅPcb_.Q[3+$4<M?fdRL!;{kH wIs"͡Ԙ]qЂ~[";V"̢?]XfE*2(.89jȢ,k#-š* -CKlQT| wԒ4\r#<. J&Q*>Iɏ1Gz4@񏀆Dy`3߀rcSEHu%oDX\R]="m'% Hrt F{_>';s/;=kZӝ5jP4{'0`MmF"Kr/H#3sTeXH:}I+:{UkKG$"]LG_?s,O ko8^v L^oc8IfD)|YGB5kԴ M~ găUln r1e%Q>v^ؕU a/. ,6?s!5.H""O7R>&[C$iFb$ꯄS% a| Q7Z0FA|#'EvviF>*jvw#}2OC,7lۗM֛ \lB.#׃Q~0zJsiM2 N)Aޤtg@`M)fn1<$JYo3Rtu/1/jsvT2#La`؂ԙo[) kԈaϢ 68ϸg6<J?7Bi΁~14!T!#"Bwe=EGU$@Jt=1,eC;e;?q[0 g'ǫ>B>G|4AeIfC ,Q:{õI 9D' pʹ:e1>$K'ܢA?(/xupJlr%)3s9:אl|/W%g{oWіJ"f464!੩\8 ;ƝAAtnCKТ8l[o{xqnkCx4+_-2 gMX-5O!YjY$XC;>F!`˞w"{|$˚YP60i$fAvP\j݈vLض}S‰o%77ʐrfSu2ǻI%gVkMu܆,&wDvՖ,Q{9L1.8U>(~D;:ȏVzOgV4@^ý+bD6]gRO:-,&f̓&#Gr >m~d ba?\.بyuշc4T /bhA}24F@\i5 Vu#Jg#mO%7'͛)4…exBm$uGɤoOb3|ٌӀYWFi&Qt/`VDtӎ?y%lb&Fǔ]~CV;OIGF~- ߫oiQ@P,Wrv+)Dhck?uB1LtZn}n,hmCFΟv-[3Ka,QIW{nܢKGn$B}jTjѤ-rzArdNzxQL}hUs|uE@"֮Sa`i0%ӋBJFτcOV Hk.vk%^񈥯}k\|%ߌ޷`Kk³4XRa)za8c@/FR}[ I M'vl&QVPr!7YDCdP_x*f_ ~m5)vz֙2_0`؁Aj</weRa MHsa=Ļ8͚͂u+"d4>-02fv0˱dpk|U$;aTe/Eד9ؔ;d]"aqAȥwnV)>BG V|lX\Zqޑ/w115:OBg7IkvRGXrrȠm.O1Y$o$rB3;@M=*q+h16]*0 ?y셵жXo󪰁?S=GuByu wD<#4Ѿ{=ï\83qXɰ#OO4\o.4|S&Pڠ!w*4robmi#{I9sL)l` :mIʳO6/KФ zriXY\ǟX\HD{U` C!mp1YD[BLx趏laiF*q U9 P}"πPrUr<宏-o0'}8l],c%gu><Ņ 3Bd#0>QzQy^&T*YnZ\ˍk̅XK{qh$ߖ1O' Rtق| A晊on3SοC+,uA[e3D~,PY:wi* lqKe]78}eu vF]ՠFI[^6+<9EXl,mZ8:;J 5plrTn22}i|յ@p9ɥRVʻH (M,` 4{;3h3=t^|+hw0j"9 `ijXS#SzP 0WFﺵR:vLRA9S=pXl#~NLr}v}6.^*㚹Ĩq&uUʴ7ncݏ](\k-K*xZAo"?«Deh nDEfVlm[`'}? *@{p4/ q7]#6m—?: iE7U 8/7L0f\.]@̵dp$'Cӕc-`==x G0e[/uրSKٺNFrҬ]2Wr8QSɂe'H6R'9 ,π@ ;\â~ZR@:5K5hjp6H9/2K@:}0h$Px@T.m'7qU~,zEe<9`}ZEaSQj. 3#w$j3.:/x`Y/b">wI^`&4X"ţ* M(عS4 P$SHeżځ :&dS*J\W\Q\Y!Ak6KUlv8%gznD-=aƨ۽ ߐ$s[[ॉ)Xh{j-g+et#ɭ(Ṟ2mq2T?yHe+Ó)@)Jȳ,$üG=Tq܁cqDI5x RKW͞@~lIǀZ+v䷫8vą9]Xu [R^cPڟF-Q|_M Y4;=۫yiNWg ؿ%40ImbS Dl",f}_ o#M'W6r#_j$uBBHWsqe_Q5Rv1Cdì=s#6N&PGC d-3H"'yGp|w OCĶ)!҃SO`Z)3g,)9߀^B @]azR _fK3ykmIbt9e3eݵl-I78_;ދ(%DVzfRtj=c>_{I=9|FVPN+Iu0V@{@)u(+w!Œ'n䍦L`jn3 :eV4YVA$)W讚O/m1@wcM˘]3R 7$`߃Hנ;ÔǁY7Ďzb ቊ>|uW& k%yV=mPg]'Z*&cDgWa 7;*#I.rBB.q$K?{5R K[ò9-f?od2kp#HåDh1O^!YUS-9C_1}tH=k~{_vk*X|nz0)>gh/J>(k)3->ZyF*`w[IaҗkIbH}GЎK,qSGū&(\'[Õ-;8SUμ?[C bY` rFk~CH'~nBbxax8BL{x~\"I\Fjr`547_אFw4A9XKXsTXt; PYuW&J~4׏An"A]E<눮u\h^l+B2wakr$%!fѮ2@3({ }A :;0j2S#ORD'8gcUA#Ynm٩DF6~G"|44 !M;Q6j@ PuE?s,c6\1!KO+qh}ǟ=*Jǖ w\,MDr?F!#j fT4pydZmx>(PCHZ-'j< ^*$-|6lxr]} ~MKŐ 閴u9X@P@w?Fv+W:` ىcegh_`"TMf. 20u8W˂C 6L;g : ߄I ZSիm 宀@kU8H/?[_wYȍHC^s>t=32MQG6AE8~8XH> f&U\;,^etq\?1@fUq*-U&xki-[]`l]@8Ё"yF~0l!Sqw[zLqI\yħe-=)$-VsþTh_|(1gZ2B ɱ ];W* ٳ0`U}{L:lbtb#6!, @a\~q\͊L^ءP"<ݜRzRg]z"8 [_\?I< x1Ly=0lނf8bFFIZ/G OD]|_ICDSvs4bpZP3䀀9WM Z͌ İY%vމN2JDz3wKQޮRvZ?0ylZם;h szXeyQ߇\t`1:0gQg {=s"[{1 /žY)]K9.یnNYkdBFNdKy7рݢ0I5|ǂJ4(3 ~o] n}t6禰.|LdO !hZ,*)I*Ho{Ԋ턞]드ri]%Aœ]LJlYG߮tO}C0+p%-5E,Tde~;lzTсmb1Yn<ӵ?H4xJ~vE935K=E-d,tq"i#{8X̏U HSɛ1+#~hRl"siȻ;4^{"5M(P 4Ƞ1eSO` B@5I41Ƽ7^B_,`|0䦻n u+$mC47hpH>{zH{n=E j.4˛Q@Uº9ʗnF-mc!Q_MwEOu1hhĬqu%!3 (Hù7Mfnz/ Ю@Jʳ%OS0օ@ۏ?8 JSz+ʞ&̺:+>O H[&QAӬ"br?wm`3 Bu 4Z=d.;9Sݩ]N1vH}>+(oK?m.">vmy 'JQ<[NE%`De'G:9}ǜnPUH:*B@2 Nn"ӼT}VxYK#vIq2x>Z  |ƴDGc:u(Ʈm,bDQaL'l4 n#^/?TIHwF!2fi.Oׯ:\{Du͊4 S`!`\O.p)_cӳrGD$)T(})upn@8#ɳaG Y<֭$=]AWzST o| 6P EjuB0_F qM7z~ڰZVI.T^}0 *[ha!s6*$Q/O&bĝ:S9Tn|~Gg?d}:wҏ2$*|_6Ŕ'G6QvZ jrܩQ& P9=ExwuݧR9f&+z$TpPrm4!3%W Ev1O,IC?H KNb7nZhBWs-,t$2 ziSuxpj v?2PT΍Pr:%vX ?381nY-ۊy.&ItB|{@f܎=S,|(c'(bU^@?P -c$tgPMG2w,\ˀ@ V7˦d3UG`JakhZwJ]дPIX2.[(?6a) FMdew{0YƸ:x [!>*$1 ZزTM<77](~ A9{G'? e+13ߘP\E}C/60i)0a&߶qgy a +u ABʒe{."#lVT*HrB *L_YS9=uPB*ʇlf8fUΦ}x#)MڹU.[9 >r;cH1 *H>ȪF|ΨVjQ90Os3wՍn/[3s? kf(tpz̜N.;oImOq&jV)jbNW;prYC4E^ @gݫ^\+WhZ0MRNш󰡒2DO[i־GFjHB dsB:piθR&2+ګ>+u+;勄Q\OA1#qtn+r#h| &.YzqtK D JFRq"puf%=g1_w.v<Ac]Zp11}}qᏎns=(>WoY.gkUlmkzPAM)ٌK_!HmIh4|kr )drvjI=: ]%/fQ另Y8W ɡM .bwpHU%!b?B186V4?qFpKRwrz5͋B IpveqŠg㪞n 1it:0"Zwn/E[e:*1?"c8x|u<#Yg(]pm=tә[G>}Kieő#Ry3'h kZyNFy"ͪ"biXg;RWPkw7gΗm˗EA%/p?cw>4S LN . q^`ʐf`yLd|;(+K+\c6!7)"ez2[渌P.!-%b;;ϭRN\߰BjUGY AQSZ֘m){{oHR,3Uqђqn bLp $Pa΄5ۆ 衵eh8;v3BO\N8SIȸvkDl+&GdQ"FzCcYf׮6}k. Xr b^n.Àߖgո ս9U1 -Q9c7^7 BykU[:#t"e)e[SρFC%åCW3 +fj2Mw~ 2NR43<$>Ic{|ؓ#E2 iWiCLoF.TRK\H2 ]34CoF!6@H7 qڭ/\B\L}-KlC#,no]ũrt2,%E(+m<lũ[Hy3Ae,pUUJOݬ c{GxOgu;(%gB@4to'/O952yG2Z?Z9ctּ;};?#ɳ (]pm8JhTN8;HJN䈁--C/<8C߱99Tq޴LV?MLkk5|Brz/vJYRs~2L)z*;Y@Ev(yA0jqUXZ?Mf-O F l))ec lX@O#'D^OtD5ru)K3c| <43L%ЪwUR=؆Mib$XLf09D+k }/I8XqlO^=B4u|Ԇ9ME . '.F7fxUŵ'+v3|XZowV66= iMjӯ ,C!oI>0$Wnظ+Q`y~HF b9Mq;[k3׀dT}k޹3Y-D ^˜_ꘃ_WG:SD/V 19\OE`M3=Fa=Uͷ+ط{٧* ޽URM)& M3bsh\B+ZB:Soq1B֏+rvb3j%kM%<yunѲ 3Ru>*ҷQk0e@kX vD+js}eDj*iQxd@J)Տ՝S\瀔L/mhޜ>s{7Z8")E 1-|YvxR`ueٖ>)[-)-v%2pݿ"v˪srT}cRsaY}vY[pAR: r7*hNiUj()ۍy;|)rwnP_MJ朗l?dC04͎/Ha w\ERAGn[LU 0f=!)c_}rӟy>tp^OljoK>E¨o:.̨#KθpZ=4JkĀű&CGc ULiI2%rj(88!\{4\9՝LjTTq1hgS}$w4pŵwJاz'Jfp-fFkJ_;_"IGL[I$am7Bo53bZXO*m~mmN7pu s("5 벑d"=>@LkIG.`B#4+:SGK)fg)A*MRd{93 NPLZz(jGI+܆%8Ě)WE U2@Q`^Fwh}q%YL>㩎aXID#dL@KTmtz$YA[ڜBU0PΌhWɄ=6Օ@BL:W0%TUbw9bae|j;=w^D V > f@`˅λEs>ka=kD($7p1K/Wڒ/Ry%vk[^M.S/&9|釃4y3H>iܿMi>8$b;5GIjD,`:ƫ>5Ʌ+d,#bz?ki<&ijNmLᆲ\Te= `54jPJ֫14@; Ei˻^oj%WQxoc ՄAɗ-2`Ls6$❦l{؈w} h"[o"U!mvR=!)YE6kL?eL@iAcy^!+f BH U;碋&|.e!q  5ۍF`JUY 5T͜.q7|'/RhՑrr{fMxK`)Hl#'Wh[l3dbwpǓ#NS &U.KWL ݭˎylA`^ed/p3t߂R.1 u'(Nn@#?C/Q'gV˖rU\̎!^kIfؒv3P*< 2S1c6j**Vj$(XBKToMWXH\ɜܽ'iuVs3)ktnZdG).FeaT<5sUicb^ضOߞPAuF+ng ̢WCb|w !V̒gr؏Ҡ}צɬ@2lDͫP~XeFCNV fOF#еe+d˂ðT-!۷vxɔ0 ëOP传6ૣA oYP^u4Zi\GVb{jjoow5Bt,9]V!6H;@vF󚌫_I0z2_ D`,w6<W';#~)(ls|Nt`P!@PO,3N1VPY>wŀ§Irо6h.o.cA93WeO7rB9R *ͧO/m(OvύTucwH?G #LMVC('-ɴ;+ARYK9X&hUy})KǶP`.v Pa@XG:Mv #Db8P9O %;YvK8D΍@+f)/89=E'FHl :@R*?0 [l皅~e-гOn.ygwh )x> S8"Ӫ!k`2]KżcY8|![) >[[;9o/^MS/7Fw]s!0jWPȿ8RSt7v<ڨ Lⓖ!j!Yla"%u/BJx^7Nӳ8 ،8؀C~T'B[l*/ x @nWKh6i-!Ř;/.]Ύr%]K767 -%ׁKsCjWnƄܰ!BUؼTQzng8ԡsvȐg= {<6YH_Y!q0x3mp6Bn ŝ3fO84#|n@yNs^Gk;fQ$Qh:otDf]0y=WhMm&[/Vַ@RdJ FVW.a&]%>n]і "qjsQFt.֬.ecVWa0P-45*@ -@g@M) b9ΤLx("€}LSy>|V{؜w#Gc;*T3 ~XWD/ &A P<.wq&פ0tJmCK"wxFUT&068N?X[Ε ;78A?sS=q=61.dF=V=m';^ h)ܐ}ߥUKRF>ԙ["x6!Vj6A ><8N.I%Ƶu"HQ@L}jV5.Woƀf#Ɋ4rDCc7f2ǵ/^}.|V -h~`V|!@By$M K;M+0#(%&n{%hk_h[Р8Ae,1P5_NlS(p%zWw1w!5.bZiPO<5X*f' 3eY-: >XXt?yJ$4}b*cTǤ,n uҁ D熐HX!L[ /\y&2DɎgH:}?42VO<_jA_/18JZSA[~%zqYh__"<ZM)b8f/8uQan_O ΖUZ] NG~:S(b+OwUN ^OY53Lw9.!}-*/NO!rW5K搈Vpnd9"WBz-rE \ w_ĵ&Isȼn@9(F [ h^[dY)W}KrpN ݼfp"wh v7@6r.`q_) *3+[_0`ړ? { &)˭`ϸN4DQAT'Ojc"h21y.kǿ ;h2"}S_)0 b=z9ݥsG5tc,yEUQM)pH|F86'16W\ż2t.ԕʉ:Xf׋ffZ0P>)21w-?<-*C/emu'^slaP>a)DKj3&k򿭃WRTvGq:J^͐js ؅ &/bJG4WgMߗ(]$ b֩dQK=,IXѥt#a߇ނt! C3z8-c ; GtϺF 6>b\^cnL_qclxaml`3F 13腪 d]sX w_k w˸@?:ock_tU.7+lY炬 `I/5H!KP`o88`B$4VsW+<|| k9m-W @ ub|]]||V}, IXR4.GQ1{A$S]:xnB'y͊Րï7lQzv-&(ZBGn!2\R ﳁ@M (Н?I;p٪c!o"06 4)"7og1S*ZVt$PAe[ڈ>2ٔƞ׷7+%]re[}>W[u!c1+1buB-& 1TB}MQ*w]ftԚ&|^o$ڂо@+ϳFcM%rft9aY%1n>X g݈>!_s(BLz 4 5KvzLsJ7#=FLa.hqNsuTz6wI}P+Dp'M6ض Y9:VΣF*@ ?;x˨}bq %RGmurg5@ݸnR= W`Z*PBVHI"F_'40DV})@Ų5kHI+Or;6]:7a߹ks`0 ْ2ʈU'FᏟ1,qLz!ήipzXab"cBi:餍Q<28%[|RVB8f.UXWKN 1lC/z;uvq*|DoLsS ikCS/%.'>Taߣk+0[i"h`yFw! ;o c^T>C]ˑ$ cL7Ŭyk=r̈́&'KAHrf0遆z_ДcGiji~4);1Od1^eBpJs=Q{^4Y]Mڒ5Fpĵ{<`Jϕ]ŭ[g#/R,ɷC" s 3]}:gWƿ?+| .ڝ8"2! 30(T9 Sσ;8!GaY[ZrOu66}# ^/lo#t/2bJߖ{K}EY'A}3.\[,ƟbtNbjCdz_Y'ZU XCE-Xq g&`_6IOiSv+@GC{u<4t,:->o1OX7"m˔X7>7ȗȦT$_#.%MrOn+niU=J5=KT"L :; gL$('ЇgUo*EMu]qYLDfb^&݇/8qx#;W˅53 S@IcEr[އmJrnVt4YAR>c|@tl|U2$޿{4k-|ms@%vtrdCOC8PwPEėy*0 wu;`*ll(۬֐?J7-Rx"MwZ,gKu]?^Yjj`9/ZB{]}kH-XΆvٔ2~ݸO<U3$gS|S&B?Wa$&tGu ZƬ[7tjNnQ8HY{ P&~cm#P=B>rղvj-wj ;he| zlŵTL.&AMn֕ U -yN3~8C7js봝Kw3FQ5@ش[{3zɥsGn0zղjĬAמ݀PIgc:šcpܔ *;csEj>Kɾn(] R Kʵ-. ǾGY͗#y1KX!}B8CYD;N] ӎkkS[v|Mnk)%bv\W\_hZJdEY Jx^:a @.tKж~r^|%j,"LpESĥ(}j{nWdԣh%Iؙ)'2;>PY?(@ Z% iwmN,~M-~4\3Mf-E,͂9.'Z$ VkW_!WPE&U;)ڙu!\D/b@bC^)|d' (eo3">9. ,\]awbG4#C%Qc)5hl b-]%zeok7ě@)rI$i 0si!,6l4@#q9c2?<{;@$rMu[Y)NA*VCͶVu9ufo=tb6-{XԝIb8@U4>Nd$_K4VMωK7SyZCd\䥽[-1"ӜY7Hl Y|1-~G:R?#Z UbEd1{HqܼG'IN@ ).L.Mfj}=4ܧ!?@R 8(9pWMrg,ˆÃ?X:P_Hx iekn*Ͽga{s_oMSDp@_Pb%[T`ra"cdt9L!9~b(/I!$nV0 i!Dqj-_݁RQeh>8<}]L"wI(GӠ:(lp u.׶a.m'+Zg=6&(:FǔО f F/j[s$d.=b*V?3O"*6IΡ(E gqm>MkF,|gn^/ |)#c_߇@ϥkjP#X } b1HM T/_!x#FA ꒛E}Nh8#fy,)A=\bj-qZs6;2#YvT1HSbo*tR^AJlݬUArkO#H l3 dL9a-glp g]%@SM7(7T#b93dƊ'Z> wՄ^%>BkQEXK,e =$ kp]f1ywe+iR$' [c͸2P^w(L* &TWL [=ہceZQ"knfLX7LxWC:e_q C|w>Fn1j낏 Pc;r,9ĺyYDx2|c!v $sD J_5X~[x }bgSoW+1O* )J5T8zgitc`VjJ?tX 0euhY04(Sṽv6=br\0EPHpL.:I'EY`7g?ThFN]H-`݄oV[]mKUȥIDXhH53(Kc~ܴ 502RF`T ʍ@V)x3 XisUH{l[Zdn;ҮmBK)Ŷ<ӧBϒG(ΏyNLMG_fLWP#JS>ewk`JXDcf\h^&?:1l:HY·rȻB5SHOMG޺~O`=XU\IA): 1xz7"Y{+&:I!yd[p |XѤ~3LOi3P>EʪrCeD6VdžaA#EEZǹB4| "oWlHW CqkJO zJ#jDf`+R&v89Otu~ iṾ[,b.p5LbA_pѻ DL99 K% DQ̡L=|/PxH0+xSDٜP}ib75rYڴȶF kնigs .FğyXbVL) ϝ. 3ъ^W xKFh`(kR!HhgpEAUYS2Ĺ~ˮpԼr}=F+Ͻ5 zU耬2|ojoVu(2vQ[,k =Q$w$؂ji0`7ʚQ#Mq.8kJ;4W[Ka_ȱƏJ$鐫yldW1!~L$[BPƁ5L*䉠{'$8 w*wd 9wj~H&7 ў ̆ `:7eV3YɅp0G~s!L觮[3(7|lZptHCƿn#.΃:ZT:/v4ѺQOtѥLjظ)`PGp?:1|OCCuhڜ_9F+:y\Zzrܯ,x5B' ۍ D֐y1alTij2 ۦFH7A"*zhdە :,i2P3N?~`0ZZEs"R-S @Ƃux5OYT HGY֠;m (AR"RVKo%)O$Ç ^EE~p# ' O(Yig{BϝG>LK\,m)xG@HȹXPYrGQʴJpL=jl~*dTR # %z*W[zlVI '@vهZ׃>Sl΁똽<4tU\3Ilo3kgX%!LO튢zyJY >TӗY1:g/~lVЄ4 a+^ҩlr2G\kw۳ *Iմ_8rb"}M&k| E#_Ʃ;- ‰}wwxpI!ij^-IebvuO8}@XjqM7lAɨ O=:u\t\][ZrχZV.7,@H46@g4TO$@Iqy1ʭmM.8;]pO:j~91+ߟ#Ms4a&(˭.YEЙvjk{.HCR! 2莱F ǫ\x fgz1WA8Xu&$׊rڢfAߚRf?0`5 a7gXko:A 16V韮&Xj=tQހ ,aL>:ގȈlm247!*gED/ 4ż2G6vQ)QkPAMzܰ$pJkm֕83L\")^uQo܉T (\E`m.$D6~T%EtC WpC ¦0_/M?͇XE -3;yXPR07X~Z,d}^Kipշ6 FV6b$SϥQ$, Q'NdG)67DL+dTR#<4,O~?qT'ו\Ppb6fmwvq(AT}WCZx./g:}'G +tb*./KIF}g5.d3=6=0k3k^ʛj}VelWeZ+9x›i^A4CZXv{bLDy، ԏ^Ȥ+`g-`Po,vN{#UBW1e$M:-uK1zpXj|C ^}Ճ5Z` =w'+72w~.)!GSl3h0D~Sڏ'XGg{r+hNE*C6V-Z+ ] GW&v7O_HT{+Pxl}=yGHmP8qZ  h<;۶]{EH;"SzY@Ӕ-XmT7Ll߽dX!GAА9\/pI!~DZ3''7;Q%2w}ct2^f() 2gy#NY+|Y䡆n=]*!۸U]SM뗵IQYK*6)7&win~BgdFDR൲dazY'E(ET:BIB1A۱$i] I >SbɋP~?ކv>4ס[/n8Ʒ%_=,RQj0-Zeփ}['0sjObEx=# AU/oa@ɬˇFHjzZp^ҕ 칞zc[Zoki vy$٦9s*~ĕ4oےyUmlSfk>}efwz7KU"OgwOޞsfC|d#`g꧇WL|~&025@e>|R3}_ YǯPe+X(W^+sz y1ZA{?/꽝$tnp~WƼ7P<_?+TL^wn\vݽ6RRUs]T&,2I*s2vt>5}]y>7`kZ14TKkA s=4TmV/b'$I|a2ëK%~\MDbÐ(4Za ).iVNrT!v~|(9ci$O'9Ք[q~@}]Oχs]ʭN)9ZC(κ P? iEվ#9fmS%f' @lKYkxZlޔ*"kpMfl[rN, rzs>w)٭/j~3i˳ & 6H,淔4NVĆOqތBnP4+ReUuc$&kk9БWα wAܱK} ol=k4IEPjҴ3iNȞ(#Pc2W{Lb Yx1ϵ5_eՈn8*Hŋ|`ȃ7NTHs!g2qL;1>:`ɤWK8YV--EPoUpY;D؛4F">l~@@x_4jy&}K[%r&sP_x8G|f``lV44È劂 GUBζ 43mQ^G@K?yxO:7о`HZq0>"Z|," ϊPLAas"2+R}(LKfRz- ZL)l= k M,peL'P]B-I>SCv_QD3ܟSլʹ,kZpY {y!¬ϝȍxUZe:Ͼwx^~CPk'L*Ω5qAq@gRs7hO+|塯oWm Yɚ ئ!YK٩22/yZkxhy;GL>nO ]SblH$~B7b19=2 qx&WkxJA6 jIŇ!Z/Ӝ$q ۴PZA&M }ߐKSxw G&H7$k:V׋F0O i$cWbfVw=E͖G6 "b~ě/B.UzU[F&9Teg>LuNj㜗zi~~]h-h:<ūSA ~SȻ;Aȯ# r=N|v U+{)v.'*3< wAI Y|/Hʌ^‚ocNúglF -pcs ҈U)( o,'oq>\h~BG^i3ҦDw "f+D ga\Ռ}]ɒN,KQ2f]=aloN9q,)ӣZ:t3䨙6Mr…R;HP0Gv&Yfrj4Zx24qᅃfNbR6a5\ 3Y!?7>G&Hxx 'elM4lѫ\=\g> d@ ހE4r  t3]T\B /_Xr2k31n sΈY&pev|=| yƵ2)/h/pY`9ocZ5 ۭ܁2wrM~ _aUpa7yVJ0$a-F3־XD x#Ms|Vm{/b5 wiD46'X{E(y7|dK4@ꦗKZgTۧAILuE+IpS*uǿ½t?:6ClZL#Ww_ T#x /d0{QylmF.lnm3U*XKD,lT͠"jo-tf{ܓ_.~pWltR1U7-c;JU|9iWSԥg "_e6Z088{8΋uW\Vm< o;~ǂnpXAɶ]^_lcM5oҌ>/r_7Ɩ4rW \!t.[i2+cJ/=M 5[ܱ AK*HnnN%͢p\`}+2rzFc. YjrSGq nŠu1F: M2F;)^0nSWh`_BJQK٭yO˩'*1Sj2K(D(tbAlѱqbSץ|c]d4a.+K|~7Zd11S/Bevx+9}gBGہb{9 v e!~A{ /Pbj0 x}fM9pL#@8ˑ9 |?\.tZ)b G.1G ^9,YNieB7dt!a綾,⍑֓s!x4 )AJ/mSo# NJLxqwA.W k֎؇UM \N 䫤|m diMl?s6B!wS  A԰ݮAßf$(q8j0,˵w)K~IoN&ZNg82ҺW6sq9նQ(z +''$ Ϙֆ`a0E{H9mUAXC> αc IJS\MtG`XJ9BZrc?B0Cw+(6jd\.~ʪc: Ipa7:> fEܒ9/ Rq3 0 Z`u|l3P^iFʤ;V3{mVnz`p7GHPՋ1~'s:V5"\⧓–MU5s>8TGd -ԐNg[BIѵ5HVW\ߦEV'[ 6kO!Ѣ]+uPGx!%و G~xƹ 'o&kT<'L8\{PKz꼇Rwr =ڳd}8KI@NRj.<3zvMw{q| Ɗ pՂ? (#8y={7'(u0'ˡGG.N|";c59QWڡ{ٚ9?1g0Y!e^4UItl;{6Cj%u( SH𦓴{T,Nq?;>|ӥr, <u*KVd>?Mpƺ.[Ê5? L-W7+.o~?S.'Ea)DP8b1S%4ا<bH!t~֑⦱B\J95rԉ(N7zv U"|ITKvVrbs:oqˏ#2sibv 4gth.ڳt*w/$ko7B gfB*?;TwM[kHz`ehò';Ľי5麴J}b!=TZ3c|CqhDO n@y 5qLkA>[kPq0UC'.VJ917sx`)\eZnR23M*̲sD@.g?1>WHH²C$.[CԿg`}|":fEz}Xn"Lrڎ3( R:"qbxaAkF*'Bv}gK$[8G}Am[N_]PfɨW6#Fchei##qtSԊL%BHJ-,jJk{s%w@t·C*>RbE}ffNyClF_1t| #} ת!fP(l<|xˏËU=`x=JaLn5ZR]%[5(>{G1|B/siw_x㡂!VHG!k(KxX[&uAm5k >5㧇lj.t[ij\S{=Ķ!z1$#jNwU';n'P_  Z>A0aIJP&i$嵒\Ba&FR74$o(_t5S͟utQʎp[=[1-u=5¡OAG(V@& ykϹ%{z1 vT1C)#@l(Z@aaP3tZN*vfGO LB1KtAb.JijjZ3f~G2?hT<ܟ[%!OE:8eרiL>'SszXk.~"SiIH\]!ً $Zy},$fV }4toZ^5!"ӸXڍr]./6}l1LeVОGa0E*]&j.^0v+sY\!ߤmL2> ٻ0[ISf$ }AL5Bm4 (U0⸝$<բ8b  >HCIUGWcUX#Dt;(}\/F +4)^ N, /mgy_ FL^:LH> `u<EP>q@?`>}Nrd*FQ[5l7sxùצK $ cr˰N p;[߆;0K 9+>pc*8&1ƒr_5^I*.LW=`$ r &#BKr78|ZثtDB "#gb$E!MK,ִQ$ƬyKb%f/ jH;KHsH9ԭKnou"Nvxh ԛa]%J vN8;1M79H/NoL,NKnEktTůt:&Nۧvt0Ng'QY"]]D0˦kn.A=1Xn\BI;Vcs@{ɧZa|KzyWҪꒈ|ЫDD\*a5$;/JW\#8S on5!ߛ>DǕ| ??*YzI~wҜ.l3SRtĬ Mɣj}b4:fs<[*tgl3c4!9z&)"DږQ GY$ 5vS! ZoXUH5] =+Wr ,DŽܼnIZLnҐ)WI,XhPRyVd1szI"ArkT'~CּzX0ޚ&@NψF'fW|_IM\MJGG1o0>DKZ,&)~^ =&{gԟ];j08i'R٦\7ݱjoP^{Uڡ.%m=@Iw]\lxuⱾItxEFV(q8uI-A5 B(v=FXTtreOfnfy6.jIz$9}Cw(TY`:!/tXy<{7| Vg Hܭm*& ȮF׺ҳmXVp{ fy-߸4K c`,:[9 ! S,}gXǘce12F2#jnOaZ(RJvNx-0WČ&U;!#n^TZsppUySmW7AKyS0bbmd[qOEnhO}ŠJܯf#JiO%9.D8fgm/YbF+!R/i$~DOO^?v#Ԅ럟HbWm޽k?EB;]>6 (#gA=.x:VqxP@I):|VmK rA}|ۜ4T̒Tl0i0<>si™m<_{S+ōPg bmڠO9g6n )>i2CeW`>  Ѻ$-4j7btپ8JzSY]m|C \-p}]Ω34(_)ųGrFyI.c샕_.6'kc3HnI+Iy*ѲV'dEZwSUh']b}a{jzب jj0>] #w`UQK1O ZmK ϟMHYAdPf:#R$?aOkqm]\}**^UG DxN Ž".e(V0Ko MtfHs . HSL2`.'3F%!AFì^8qmmȞ@mtoVАN&(W աM#}WPԚm+ilWKo (ORmdâZcS²_'3hu[v<ЮR2&tbǶ9!^WQ>W:s qyІqR!\\S{pU[_@8S_HpF,rkNվ x 2 E b&~'i2S38jz8˺yZ b5w^J=@\9LQ q\@_#pݭy5uMmbcc̒$מIO+?P:8Eٍ(HuyHwXNq9(ɧԉpH.,@cƯ[bD9!*u @\RK2l5LNt1 >8 NOm쭲\jÎlqGMF /onoNG^ )Rp|w!+x};tGM_A mE tIț"oм'$l]ٮEW*n7r!Y/ɪC`gr'/`|Ahq$ƈNFt4(K_ա^zk^|E)`'`D'bA=mMU\۬B"!d PQ,RcP3=õO\ʏ4AJ9SE+&9wބ97YT8Pn(,?`uN6.LPU~u8.DQ /Cd٤2ۅ$r`C&Zr>u5"v`%ŽS>ayM[KKq8Wռz{CU UH>t՗0ъ6J7^{1gm_c@.$F5qNa6&$Zq80BU%%vנgYƅ<>_Ns3-;vbi1]"Z*]*,eA- h]XHK5ݴ h=_E{@0Ԍi=O qXO-: <"!$نsRQ,׿Ss~HJԈ+ެ}:U_xw9X5yZ`bBD!e^QEt~rQib]7?6=!x4M5.'?XJh1s%*KOF MYAJV>A% 1DA^:hƅrj?6JӂK3~12us%r#-bu6*7&*x: xy0iC feD ZݚVI,A5{%| Nu>lMvdH\L<6Q\IMz)T5h8 '0g8~`?P$ޱAgoUa,mO8@vee=>QrW^ݲ\PYdj;:ct`) J*9O:4K49~%:@X+o8Z)Y!wrNMuxSV]%h $`Û @#Ёu \Sw9T?`.XbA!8 aNJ*DIC)t\z'ݮէ{N?'c*]\$i;0Kyzm #fv0$ ꉫ1H@v,` 2gJ0W=E KGu'ʢ"p$EcTr/碞QNw[^`;Th:q qiK4JV" Zw?^Mv1b^dg~d_GNG.AG:/e>$RJG8؍1hm naHV('ovᖅ3\р$}/vqH)&Q#3!:=`x4P!1ùsUΚlLh-o:{wL@6$=zv_w`㿃B $5ޢ.҄Z^lW3ߧn%tM`p+ɘ$ ewS<4ºXj LWr'Yx&wnh5{7W˭0_ 1oeKϾE r ?XiՐ o{V~&/sC Q9u%g);w҈M/2OF b8I.@>D KEݳ; DҏUrgr7vʶ囲u[tlMofGHr Y# aҟq*ΛG $3kʇdc!ve>wd_:,X>>^ F||qYDHEjD)&)NvPcdomr ;"TZ1F-s%I6z]==)al_M԰w&Z Expo4@]\WckNYOYEUd(R#Ic,@$#vB:6P]qDaHŇ0OOqs wC '(I-!gӑ'Vxn5BLdw1p Z٣r"jgauSuW>'p|?d2f_XG ){b/vYQf>~ p ;Y-H~@BԾ3״/[ĵBRܣ?d>ZQ/+"C`>zbj"0(N9O\q߱uo ;]%DŽ=߂%T iNHo=^9 lwϻ.7 2oz.Zy{4Ya % xgO+: --|bc۴);?klqNd揈z\*  p~sU`qz[ 4U9\ڄ?%双)9~롽!0nҹM @w-@.us6%\  |'+s0 >*|kl)X 0+-7l$teMwR^q­~8s-t>q4vf&,ڡqd#N^Lҿ?g6# D4G~R}S9f~8 v{#Zee=$v }>\\ 7ވNƒh; 1,,|G6o@`[*AqB';ΛePDlj(^vHg/"4&./úFP1&KS_fDοX|gغι~ 0C}ڤQ08ɞصSVҰ -;ZҢYA7 " -m/lPN`/EOE-ݔ{7G) (5j-G~L] Wj"AwQң!1P- T{?&Fv'3 BH`"ތ 3}}l 5AӅHh4yl0tv)ZvseXvd8gNvA.LlOWjƦړ* (W(OD3~sA_VK{>lQd^yQJ!&VtO4:a/LGtv0WKД>! RR])0{XZ1jv|[("hekiIY ~gŠaFб;$;ֶ ]U6(Hy"QZUTG {6Њ-K$J-a&_4+d(9QHHƀJ\a_vQ{L^(iW},EMOX!EhSC~}t>N/݅Dr cf]6la| /P+!RׅY3.c(MᎩoZx|bd{9$8Mdore'Ril,'b r^X[xW3)-غiڞ=gLNИeLވi!gAj) VtU:06 ' RlHuÜ>K7v3؍"C#v&Zz7~8Dc,hF]J6j t(ǀO@D|2tzQb9$nM-,ɐ8˒|ǡ0GuG#ie.7&yD.$OҾeƇdY$*efL٪kW 6s%_c8 ;DktQZ'NZh ضL_1F43N) r] ~Z=aA_,KgYZ02efdc86f4b5a56e4b60789040276e5e572c537d 04bfe01e345b1f2a43165a83a78daea05b2aa709 095a7af0d7ac48ecc9e89d4aca3bc5f779cd4bc2 0f69838927bfb6e5d6eeb6ad692c0a393c7b52f5 146aed76abe66dc6014566f11b53321d571719ab 15ef148210b86cdf647e94d83b17a757e522eb1c 16d3d94452a95f9dbf8c4608e7cb1db4e9975a8e 17906d0d1402d8f278b45a0b8539761d8e899579 17c126fd3a5c306861991a69d81d90bd168546b6 1ac3bc11318d1ad846340ee54cdd7e731f4f5b3c 1ad2dded63488fae63b514f1c29c7d7e9d180bb6 1b17f4cd1d550082d3e0a0f22bf400739fe97bf2 2415a3bb0da7cc3de07e9f58052a7ac0fb14b0bb 24c818eec161424d31e4a3b44ff97e2b7d2203d5 27e188b252537cddbf9ccf556cda5c3443c7dc5d 2af4ac96ce220c8d17f711ff7ab9093c16b0556d 2cb3e579f2a6da4ba34018f0c4ca39a43890d448 2d071e6f563037ae207fe5c2911eedeb19904d95 2d5a5aa809f4c05cd56f97101067d1d701233c1f 3273ec9035ede90c970a12e05dede605b2b5f1804 35ae63448b8ee3d0708fe5faf057a28b91d8a6a5 361daeee619b77b784eb85dfa869f084a4db727b 3bf02570a4f498113f93fe16f075ec0b96289998 3d26b0b85efbba086de01444737c1cd427a0cd20 3fc2755fcbdc9d129edf1042f890fb0c40c46a3c 400441ffda67de6e3e0e7e90f8a4232a6d822104 4b188caf1afb950dabb7d99433fe1ec7aebcb2cf 510fddaeabdc580ba371f194c294b66a3eba6ae1 51ebacc9af0563d66e684166a71352c472bb674c 5462efa1cb8f9fac571934c4407ddbd649e95407 57000beba1989737304697173fde311733b5bf0e 5cb877ca0f9f6770212a5698bcc443290e1887fd 6156cd19c7cd347b82d10e8dc563a56216c466fd 6239f8d570ba5a71de3423278c43741c5d7d184d 6c64431cd6c2b3d0eaa8ce0c9c1d33b37d949f5c 71c24cf9fb590f69fdc382ca81ac7e18a08d8c0e 75a87613993caec25b9117020fb3124f3598f7c7 7673364af7acad2192f212b1e4f4c8ad6ed18726 7752e19ac3e8a7cf8491d3c0cd02c7c22a03cb8c 791e6a69bb3e618a74b10efa11c9973037236241 79d70fde6dfb824dfc85ebf113e1555063fd1c1c 7b288ef088292c29d41b0d375816728f3423ff58 7e360770a311905bf48efa843c92a146a3046a8a 81830815e8da4e50a41cb253cb9e9f10e451045d 835c82063e618e382e5aadd84a766f579b67daabb 88975db8022024a8570f4dd7253385de46911034 88fe70303c93d17d0f09b72e7aa202830898dbce 8d1a9eae32fa7fa10ed1ae10cdc0d11dfda96560 8e23682cea12814070fe7573a103e160a77217e7 9bbca52d6ba4a2bbc29f169002682c9e149d350e 9bcf03e8b6f48577b6c0ea4d52c906fa355f18a1 9ceef509430d0a88cd0eb8d5f4c9b1186efacffb 9dca4cfc44f886f9e7a5fb7cd8161048f754c192 9e8840966cdb49799be2bbfb1bfdfca1010248ce a25b62316f05c29690fae58a362e5374973abdfc a29925c5175b7464352668268f8cf175ba8cf58c a39b78e1cbc171a66f5b5516c633490ec6fcd0ac a7cd8c03f5a3a9a1ea714408e9cbc2a4ed4e0b2a ad2b232c4df8f6daa33cef970bf6c68010391ae5 aed183aec3c6bb48d4c76e24d2d4613b857adf1c b67daa94d1f8dd89b304afa5c05588bdc415de93 b914f06b1d36f5d85b9737c84606f2926d96f50a ba3b3a5730257d7f4916bd70913829a914ccdf7a bb2e0e11e1a77d976af958a91a5e42c639706cf2 bd300ff3ad6f6866dcd9790299d87fe7297d9c37 be7fa0ca01662d29543dbbcd7ae6575124b1b54f be8a9fb3b1ce5c411d452f2403923fba33a7756d c08876df41c158fbfd352dac874bc41758cf36c0 c36a4d4ebcd6a286bc40ff759606723de3986fc4 c6d04547dd62885ef4e11cbd0a9517dc512c1328 cbf39ef4ded76c107db01f4c4ed39ff75ac31db8 d2f019d703f20410a16ee3bf10baa2d8af47d1f9 dd0cebd5d24a848fe40e4061846511ca738dbdf6 e34588ffc67a8aa8ffb5ae897b857325e860a5cd e517c37d93a0566edd9ead6bc8559f24b61e3c03 e684c8f9970170049c80f7096ec85ba4eeee58cd eb7262964684644c5fbe2a2f986217725472929c ed41ee6a1c949fe3ef9d6497e2d096890be4a671 f0a4534d4ebe0a78f286487df399e9f7c8629e7d f228520715bac0fc36e36595c13c0b7b0c533c17 f22fd9b98578a88595b252fe9e32bfd115100c19 f25eecbe4303ea9f411e949e20464341419376a9 f69581864fc1914b383832415d21474ae30c64d4 f8b71baaeaa4914605ff9f0a881111093c32f9ef f9de7b168e284e5b3a473be2c74c03da391f78c8 fb4ac87c1f226e57b51cd98aed45cad7a48f7853 fc39649d641b00d3ab922004d37844d9d59c6ee9 fd0ed4ca9022c0e63bb3da4afbf299eba1f4d87d76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 4113b3ffb31b40b1c0c2e73ef8640203db6d0ade