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 69~,<$ ] HOL-Datatype_Benchmark:threads=6elapsed=491.853cpu=2006.068gc=718.9887zXZִF! 4]ŗXiɟH)0!h]~5"S>FQ)o* -<>$Rd/fPT1ekO9TsR|@hlŁ/r(3Y:T^5'#.)]|kV~nm 2=,c8Y+yvz"b/Js.y('aQIm8npvCU^Hפ:TaX.:a );!MU=Q$\>&w>oim `+&~AUm]^B}e'il_,m $jri 9 HOL-Datatype_Benchmark  ?6>ރzۍ0!\@y!p|/GTpkGb^,`(܌e+3~K)ZC.fǖ^a'qIgRZ 6c;]մj)%iG\Q498Yї y4*c9"4F4\s7C@B}`]7o G"X";Љ)UYn0r|PfU.nF -ɗ+N v'<ƄY.<0lbw9 7L;z8fvYh i='Z+ۜ+.,\]j>cv.V%s: ci|F̈Pj=_OM؇ÛlkM;3sC%gɳvOVaM[]{rYBCcE2}>3w Z/c:1 JG"oE*AX8|9b#Mr.6Rf:$ՇdXꍎmr~1-_Wf(i>%6Dd0[>&~`|2^Ϟ@ !P$q=$1UɧEq0{b-F-`JӍ8 ?p `cCZ\N?lgkxl   '+)&]-,M.l+꺯/~vur!,(j@^7?'?ʺ|  iwgYZ7zXZִF!  ]ŗXiɟ1)*u%9_Io=4f BdK%R@ drG됱gYZ7zXZִF! ]ŗXi%L(n mY2a0JFaԼuqRpzL\ 7KM:~=TSNfNn.KA8L8~X.spѧ&މ.3t$B%br6s11u.k4R$\u" "+A=k$+x6;Y;oyxrIIfibg!_-E ؂8 =T9:Gg #YHSŠAEViY"/^GDEQȠ2)&~Uw1OiiR!ӡLup (Fac UWoK;xm*8a؟mZ[ 8#M߁#W+d~L@9Jݑ82@{+E<`T=};#kͣ fs/Ak]E P*+*,ݵT?c^peJ(Ӽ e|@WUsYrD tJu.`^;EId]K N訑))l-|TS $n$lͽ#աPL;AAs|\Y9oSHqX(Y>t-$}wמ\ {I2y$ 3ao  ]ORQkH|`&eE>o`qM;ȪƘoj@ɸ>!B+vA ᖜ7jl4ɿC-2o)0n{յ`+7G nJb&Y3iL+*hW&-,.lAfӏ5m Y]_!`ې`1_Vйj5Hjp0lOD r;@+8W*PG3~mlC-'& g7{s?B}v'=e918G^UD.la|~2A]iT5 < "j&'t~Wͅxht!4B N Ӛfw1`ޥ8/yڥjXcrkd Ϩ5sYMKMo8 lGY,Ǡ" ^zyy f׬+C1Y?P 6yr0$3%qnonlyC5o,rcy_g_3Ep`<8?W?|&s79x#e?#< 겲}ۼ@|*iTfdTWe<:Mƒ!ʼ[J?/h0!J؉Ox h^N P/+双]i?nAwge8b/e%[r9#%5 [ykGPY!MG4LgmԚ'zD m }xh6ǂ6@M+/͖ U#2 8#uWLE9sŵ|H}!۶oh$M.]~$o ♠w|Kjd/ǓeHC?[L6$Q;M*4VvE"=q.P gۗ[JBNu2Zp w Pß=]ݚbm~djq6R ԽW"vIҀ]k)1`.%ևP*D:tR( B gޮwِ!#K_,ޣz$I&K+0F gwBpu<4ORJ} ̢ӟ|{Q߅7I> 6zoE7~{Ap^dn,*`NcaBvLu_a& k.sCrF>iGU3fac֗?oWַ:cXru7IrO< j[Qd$oӆB( X7fS3=+0Sld Wׯ=BAQ&.w|eTk׭jEiJxxo7sM);vsQાCŰT50Z@V]"s5۟%f_#~lygT(bU# Zv 0HQLJM]P5aX꞉=*&q0?AHh0>^90Zo`Q6vcZ% \He]LV{3|^bT"3_&)S h찠۸IZj7\J夠al9:F)T;CK ,BV(V6a,ng.Znc)AJl%G <#s P e(.]ic/D#Hz#xY9gܟ`-p7e,1p5FA*d kH>I,8mJA ~R^hɾ`IJ7M#aty5 4p6UA<8+c!dv4gϓoRݵyB`t!9`mtP14 ;-Glseѝ!]wxE. _gf5UʁEVn[c)AlOyF>g/l kO6I$O+Nc 2#9RTodhG B %O8rWsP>[Ma})xNn/r+z<dȉGٵukaY$Q!9̂IH{1դ:cKo7 pr9B?Y\kpy Pca6 FA1hҢ-2uI`<3?&x&`J- Fe݀&4 /Œ^̈8_@~ޟ+^Ēy R7qip ޗ|Y޺ʔw)Kj,0x[ʳMU[p~_> @`y Z6qUr.QkkWڵ(pn'9"E#> LOwJB]cB9+nARͭpثtIPO™ZCR 9(ңP}Rf햞 EknS΋MFJ^NuMu~*Ddu̻ QT;dF/落p}$N*ͬ*HtP6q6:&*Le~ wm<ƵUԺIJl*} Ej1l4~;]*9vr^ZR9q7r] `!g2 +$Y(ڲE 5DmZK[7<JR,vR`(OV3p@d$L$va{Oi{p[(Jh~FXL3g kfA==/`:5.1.BS,K# 9 w * !e Aq0ES#_L݉CPͧg!eZzXtHYNC:_ FTk49LB@!9 XcR.q/|qjl_X`rfo3aFW &?oRG͌Q'yQC!8< a}$d:uSByhuv<#u:h8[ZڵYx^N0;sr$Z~SIiR/Rs%땒t4ZuabxiPH o rڧ/ϰk d쎣t;/:@:7!aq0I|#$,K(|.3X!'`+֎6r;hT|s  ~}30 kPul֌0߮>gZ|/Bj.U9 ?u'{Uۯ*Tw 2 jWW9E=VFEQo\4)8:k 6!3V, J[~ DFK6euJLg퉂jXF^`UϤoc #|bnЇAQۜA+!Dj<<4Kq@φfyj߹DT$ 5u6H.\`1 B']8y ,y:T4k+jp@Յ\&rOg"noajbn[k<+_J1A,V _&C Nn?Ai" ({h{ҺIn7op =iu1g%|VAR8a#@V^nl-QYg*z%IIxhd*[\j7c鉳:%!(i h]:[o͔ { iП++JjOar>I= sCԛ B,|U G{P(s0 +LgZWoVk /fV7`ZRX&w;Y+FDC녲L_ti/m"_l_GMsRŃײ¿ˮxiҰ~ jVYg.C$t0Yj1Z.?S!%߲J直/$f7ʔ>9m^T]Kj]GX9n[7Rt]A姧g`j eb9Zck UB*ũ9vzt-Qyu5/KNyr wCeA"hM2;g. n՞eY O7B`wX_҃C:0iR&M܉o=4ҶrfS-E\wk_<B՚7u/9y+X@:Vr5x,BGs[LLZ17-f0 fdHߐ :HQ:CҲ-;N6|Z1k ^U0r.g.TYsA{hkadzW`kN>l[k- }vj96O19nKQ5ld:/1<,q\YnVBďXg֭e퀀\6'_[^ ] !9ȑz.U2ƃSfC ny^^[ t**rq+;y >$n%{,LWwKmH9؊wP_h W[N=+]ο Vm 2jtA._ ˋY y[bn4%j+& v+g-El ?A/${c{VAPqfH|3`o2ޚ~F솗 .q%(fJ#ٸLA 7?}vg MqS-xM^8<-hRҌ,SϊnōsP'S2o&)ԽpVXgY!^6K*lg{i3ƹ=x Ɋ#ݟVИ$Ǥ;*wfTo50 180o9Wkn%v`aSQkoU ھ6\7$ڞ| K ggYw=Ǘd%*89a^~YbR&=/I}Zc 'D2㸃J<ki T\e1L)U@+tSM3]uRY)΀Y7"eѐruۃ*LaǾHK6mAʯNj48VuEUg6+'&0oPZ =; +nʿ<9|=U@/xÊ&T]C<a2{#?@:F |$x|T7o-Xk{-% a6Xq=T2|wZ#W>Z>׽$qGSRߴ1-R, poXDoB͝ݮA53Jx!W0^P/Ʒk4 P"*QtmXLkE79}YL-8'QZyዲuta31p&u9(hPTΑՅdZnn% `J!dkN# BXk6qބEvl\2dcR*/U.v߉ҧͦSjySq*X_5,H1p}kүts cD[D{\7 Rˢ̜"9#͹l s4D-~ݚNj:w|tv^ޙ,P0ғƐ2KC?sFȦ9ݒcF^cR ,[{*0pl}3϶FMZ!>>LacsShTizeL܎R?4"S@ FΊ{;Oʨ)cȫ6K:z<$ rj]2O&}-c'ObˢtL*”{`^Y /wYUjkD3t1>[^g"nd㡋Fķvb&;g}[R&٘]X3uFcz̭Aҋ$ӡ% L>L>-UyHy1yTd% \oDeB񉳁iyM~\Ꜩ{ϴ5IR- R*,1$W&/g 9EP7;[ `#Mg|Wzjt ֮]*2wwpytXQߚe(<.ÄqM @\ޭx[!qSv1jw{~SQ9+Ƿv礠zbP 9D'CkoD;wr~sڪcg4/"|q8sPO3&ne{"mĹ= `W<ȡ[9 :R1&+ ]1n ;ȝ*$}DZp(pIʟԖ^AI0 qRsc76PSt:QN1}:bm!t:}_LweԃK{q MW2ٸ`3浄Bĭ ۖɨ~}>nk=ć,̡{ZNTgZu|; *)/=Jf!O_d$GU7)ѣ> $KW3_V_y8JaϥzzfQ8|Oajmt+_ʅ3 Ų"Ȉ"}2٨)`Ot0b\\LuB,ZNpnGk6ڡM¾̪ٲxzY*(tbS )v-D =fnlGeSr0 3`m۲m6hDֵ7?WϽճ7qok)"m{Ce\ ~RH<2{2vB!)5|!I:fi̹-/>ǧzMgADey.]HwNܰAhO]Xta rc3F"m+ Rs5mͬҒF&̥m-??eBWŤaIݥXK AqҩMRwfW"hYL ^?tls`f|HZpt?zoMU]#[tn#ōfN͚+y{Bւ?kDh%MMfXHXO ɨ9q9w`sghn#hILKa'DG TɔJ 3lF"C(l尲ei+L&,4_M6] ?kgICܥk{w5=VŘQA0Qԅ<lE t Q;wgö񟪐>Ur ϜCm8c$+V_x3V@/K$qKNjw\NR'x:Rՙ+Z{gU@ ksW@1m;=xqpT1]EĜ? p/ԓ!qmm yStIebfU_r8j,"amZ|`%r7r[J1O<!6hnH*V66w f<3 (<e^uAPt#]NlOFyԦҕ{o(0nƷ`PcϛV^dUp4 xs-LGf !N'#W- }G"y^t^ HolrT>R>heΌ`dL?lg q|{\"F~/2ҭyVD ՠ{Xt2oD fx;"|6: Ė2 {Y"hS%Z4Ы_*7J 7}!Lr#eD (^̍q9/MFҋfnQ-Mbh{,];I o00HqEljW\9l AڛZ&3c#cT_x͜ r/tTwsu[lVJC:յh=N9[| LV~^]9$m슛 g(dQI$N4i?.HS*^3"rV3&aM(14;ǁ_.OϢ2N~g?hؘȡn'&GLtzZv@[.a=kl0f~ @ɧ \3pBAɮ.n Q*.l1I P +oTso-"SSY0keTDLJcMBbDIxMHsҟw{" :k5 彭Ozs1i~w;YG4K* P`n: BZj]TJ XO,ܕit!SNѷDŀ3LoLʠ8}Zr:@Xѽ[G3Z&ӆ*6ڞ%6W/&|aqޘ^ER66?1xdL*k8% wXzpQFQ`N=}HW dd!撺 «n[x[yU3ul[?}%<[QM}N?o) X~vp3 UHIkiYwlΒ'%~+%s}yd9MY[w.|h>_: 9|Ͻc$&l:x W'OT2 ̞&-kP[v?bMh7Ǹ-`Zp)]ٛ5wo)l}_Ј6/z2Ӗ!ޯ4дRvO[,q`ㅮ c5K4nrez̶sӗeت۟X{|DX)Hp5൘\ О,AdC@E8حO:Fip|+1G"l .kPme"f#J+ޮ $~1Z#9DEnr1MBRWWH;wȷˤ8kgXޚFeX6yu0vgNYU!؄@_0o S_H"~oRX }ع"ϡwΛaUrOݽ3~GGYmau̫{.Qt~9 V+,7df,$PzKFVClѶLw"SHl%~M(b~̃]nj-ɿqR4[g<$yH>P}ȳv_ k|-g1_h9$ݍŬ[)HPNr 2fl# &՚-3- /'GkC]M=i`uVqGDsdy3fvO=~,[Q󲄽C~faG҆~⌻d1j#S-i9Ou^in/! FO'.OsVb/)w`9B m`N/iH_Xan ۏ[=k6o_!Nh\jpɩ12SC(}@(S0=db mTn; qD'1]#,%A_|£>!> wG_ HĜFqnֈn;e+=5(˘mUg}խQWȖتWx BCi:^@rn%D/vCA`.mUp~zq wǽ!Iq$ [<X*_%xik>c7Оd<5Ak!ئj׷se, :ݽTmn2+bXؒ4*q懯3ٗa}bڎF.CJ>g\~lBhXlm0f~ErAZt}NHbثb&g6ƩbupFкH~r #iIfr/ʈ_ʏQx~yQXVR KVH;B4agA3 GR2ʩiʮյ ~O 8o&'Zy21Q93e9ћDz`̷z [gA0WL|U{5guo oUn3.m6)WzK']pA7ڽɯFm >irr,sa{xH̿t&_yCE^# 6Sd3)3I{@v%,{vr28h7O5g@=fy{ؒKh~! +d8/Of7XךT)M<dzjY Z^8ͻC7Dk+% ᅨEr/+c@Ü`%V)nvXP5w̯Q >?2ܖwQkNxw0)S;=SO]1QyMAM S(n]i*by,{}x|iĕ9k7Og꒽O!^Ƃ.mt 3sJ`-%G|7Qofbs0D!햰!|^aIhMdwv6yH8&N*R2J" ~w wfl 727wн^3qrkҚ6oM6z6s9ν1HV$i~ͷ&=Zax:[ xWƇO[F.{e4C 7u2%i.jL -3O*,$v_\P0g^ga$\TFL=&Pk ZI78]v0n ܊"h UgztAWG\\nDopF2W0);g`b?|0HEM1oXlH&hflnqzE;=Phk3=z!`1N~7K"|P&"xol^ؒY ηIct`;~ \e ?#'/޿b9G2&{Z:VC*9=V=!PUI7TGĺ"G>OOG@BtR|]Pػ2Pz퉮Qz:InypҔǤӨa$,Q /)>*.UrtV+nl{gCzQ4>-A}nӋߵr& :I9BcXQ*ּ3Ȳ0%XF\B))ڷ )ȋD܌%򙘍㟦70 M9xiSvA2L\hߐ1s} u2TwKq~l['hT)4:iI}b>NUʂy[zoT{E4ۼ,]"05#=M3"msS^'+dn7 #IXUHɸ?4//GRì鑾Õ'}\hÒ[BpO@ݞq{¦68\|!p`7a'oq"OV{{0~-eYg*N m op2 1pU6δf*"K@E!we]gInpchpĔ9.qfڙ^]1Ȼ]gM'^mmVi t fM&&T%!E{g<7*!A—r$x"ZAZR k`."pz;E"@%c`bg*23'KP/|_ 5bV4.#pDm)(])T%swU J/ ?U\gqQĆY:1K˸:m^aYtdHƓXX| \x вbDu IJT~bܗ,rGr{.Ͻ"lpGLF*:30IymMS2LAD呷m!JaKq4te.">ǾbݱIx(ȑ [U倮Ŏk$Be3X:|ӛ xH /E?٩[^%ӤBٌ0s}OsϚ^ CDo=D×ȣx4MaP ! `Jޯd1JMQD̅hET{DbΚ`@Ck=@{Al/dumhy&TF* s]5%[I?VAPmAӅ*'Q>-(ka6Zs{G9eG8S~'č,+OVXhΫ?]b4+-Oдew}Ϧyt86`M;{l%X ,Xq+`S:2'j@).4nbOl%xO,8i]B ffaw.螛n\@PW @'J 3,\nt$dI3Sro #wcƂkf]j l:h +jlTz.$6?pGa+XC ͚a+XvN[%Um LjP5pDC>Js=N| 4$jIKd)>.걞 <@ ^L`9pµ.1_p*I8=21ɇ6k4o/  dߍLLyt39S'AF,8|Ÿ$$$ۧCr5wh862#Q8&6 Uy*­n+Ck˚؋H ԊȎ2I+<(Lrk#eA]e~D'ހ]1\ =uLh*GDٕʗkOm[?z>v-JŬ!^UX9V0}2<:ݟ Gq6Gwj5; ܔ;ވqM|J iSngY "шybۆ'VQ9e@bU  YC2 * o@muѽAsy*qZ6uuYEpaSGW]F;JD-gSi'!pޮ$'Ce W.dYj@?P>(doFCdl5nxy2sl vUXcQv1yĊ9 > J\e]` Au8_ocpӅ r9`F~s=iWnz񼮉nU1Cd1{ZNⴳ/>(N,=(=n>gH=P߀Gl n9R(?$2MU[CGոy;yOPlh[lX?wi]cw 2T?qk)IN̗қ/W d _[ SW!6 #P[04ӣpw4 iWd 1km /qc@HGJN">t;.r&@Kǰp 鵷>!l#xz|ZY6liҷՅJnB|%M}2xsEv;}qmZQZcGO 5P/W+P%%WߜZ;ZQC*@2,p:QPw;.1DrYh!J Pf!FdiI nYHk q2-ʄI$r}eB_%cJgDe͊+oH dӀ9wCu He]{ŦU7> YR{P<شVlμReDŽ*-ĥCn+pf^boIo K AB67Ღ'd.K+ E t6'4mB9O>\}9K)}aw28TҏסA#5&^1]!yHl er?Ѓ;Cp;|I1=7W<+K\OJ3 J|c30*?\yB%BJsuBޚV{;KULi&p)zgp1?eZC 4Q(=J~aMvtV%_:w׀BqT<ܦP[e|s[5v+#̠P⬃)|,+9-.cMD+CKu7 X_,R?|T4KÄU,647]"@\zWFmuDIxy9$MkQqG๭ġFս08oU[h/qHXi@^댋 _ќ6cT%ts#&m`` U H'sϤе1=lugDh8BHsu.285axQUtl;6!_LLITPrw@2Cv@lG,QONkjVVvskO&{ƽU7lO:;R+hJu)=u)UJ*A0g:h_K07_DN9XM(JԔrR%GgpKuTf?9q@&GyPN6$}Տke78 rt8v4ˆє ﮙjHmsSyŬ&mO] Ѐm}0" 3.wOFN=1AY}=l'Y?lTd!`o:bXcg@(Jɲ5޷;[ A&T|H.5BZ1 yMͣ㤴=o@eш?!uֳ]޳E7{-W>J_ AN|>wIp8 ~|Ig3՞4Hu9.]1 q\IK4j5+mH8ݸ`TPϾ}1"ex/6*R78NZZx^l[(0 2uߴp*t. W3b#Ypӑer77o f 54XZkz2@$muH{ InGwHЌ|&$9+ni yNJqF^îF ig?Wox6ԇbټC3|vC'f:8*r" :;3׉ ^DKكD9,79]CZ-qmQ )0jb^LٓDb py2^|u/s0b6hVKE Y?gyHJT@7@Y|Ŕ479P+U~~l;[ /Qvnlq:sWҋ7F%賅ӾbHGGAYxt2vAN#$e;;N%E&KT4bZdu '9'%w 2MTWg*;pbp\elT6/w}xnw`~ݝ e~Yˁԓ`SM[iIGK;׻v}&W?F (H|6 OZ;w#'G:Ԓ@wҍ3NH+1@}xMkweR ]Ntij)ʻknH5O3ޯ0ZD1%TcRI">#xWSF_CUj^28Y9N~⫾!w׃5..(ew'CӔ;Q<5WmmrTw;.n X{q\Bײ8G)$JHlD-vݓHT9=v.?Fs8m=0Œ2z4>vLk.?vc騯9ݺ Gk^ m:ഡ XpRZ!0?vSg~hGc;f1)DT\g[r=kY| ~-3\(+(-zEY9L4cJ CeX\wl^OvNy1В3*4gT/BP,YywrnK (mQdMl[Uةϝ+?(im2gQ)#._OCQ,7 kUͲkt5 ?.Nu~o]\HʵrԃHĹ%>@e8G«.,|Qp1 ~.{)ljRQr$MZqARټs,y}G/g/A;OGlR/hҕc9PsTWL 5ԟH2> q/LЁH r>m K)O<ݡ!8?gg>@Oz.88ؙW:+2 $l'3%"!+Xʓ s8^(~szq.~ZﲙItKL|h rvs:kt+m`dWF\\)E5ٞWDqa'IlΞڷ^r%@ĊDM߼f93f3Z0&8pV(W,ᏆֺB);}>)R4cvK7I|zm߄LO8`QO-?w˲t4fJMz VM73U^1m̠OY7wNAu9v+o<9$@"X ۵Z'To"S$؃f}peI8:ww$+Y& 3)#jD3euBCT);ǸLs>AX3[aQ$Ƚ]eĊ^aVK͙zv]B)@%rweŐ]Q&Ѝ:K '{[/~W0KUf{êQx(H?b7 Lt5}Dh*$iTVZ:IM. 5WxvxaeZ~y9C%: } }$q&$ahL!F7tv.\պG\H\=)2zٷ} + Ip+徻rEMOP7ƛD >*,9@02Eo4$k g` CFB0xXM6ʹܯK)%T^LAE&3O\ }Bf,Ez"ʐMuUW3cwFuA3Rd1{ʜ*G?<',*c$=~)}p@9j&\+ƗlzS/`Z[a07{y}T7g]R놁*a/HȽMwV![%ϛZĖ1C3ғmc<&i hf^}^Akjɞl`%) !d4am"Ac/ Kk= 9yy0y*HH, pM(ғH0mPÆ0LlNem}!mmKt!%4=Ӱ5mb Qij+SkrRŢ$,%yfk_pph vl"L6a0)c Z) !_pt|1mANwgWv=@h[LhIaoD$9Mu!BI-bQEH$O=P⼄.6z)؞2Blr 䤸%pؗ)Ο T!9VHlQ P*Og_ a!d)?R=/XE%9*!^]&')(TE9%\"-8}>#F1-Ԇ !COxd+G{+ܒh Dy;DQ8ם7%a_8$˥Zpu2xv0^elk Nw'wm n+^Zn+FٯO4Rm!b["Q*ݑOXV6 mG8Spre;oDF_갴AgEqғ?N ċ i;;t3GJeGژYlɿiOK՜6ϛaꧽÂUp:Nh:X k+U.d.QCzX0qVl fŮ*&g+kՃOhSK~2O(5:Ӭ>! opv jc!c9l!/НCdk/;UX*nvteța"p.p?}h,>Ҋ4Bj,@=G T7!a <@m[`]ϵUrh^v\#odLs$M肻3\Y39yfrƿDH22\Ev+^S7 Ek謇thWT[~5uUW$M#(:|;/JI$ʶHh+&JSo &X!5pLy<IkNGQ׫a6I–x"1u$ADAI,zNФ[TsDc#dq|%z6M|]QQU> GaMYJ?O|yK#C1Ky5UGUr8zx=Gr!^.ci38_c<08 >7KP0SdAL1o?f06UPe\ EI`*ȇN0XJ'3p{ VE07q }+qx2ai~ a囹COMrgl*y/]7~C aCZs_r`TdtV%9Zw&a,"3q,D9d){h U(+v^KVuBsrhzfu%#l[fI˹A-xG>Q}OAM[jWoe7G&.Q95i/ Tul@Ѷ?ld+An0Os8kdtWhU~px/"iZF:V,|B{A|R<:H|ELQT¼&^HMO([:<1_fL8vnbϲVN%t*Kqb-b*` ԙC\ "8cx?YYJus^39~Ec!SL6{I$qŏqDa 4!>|6.F2x  f> Y O91to+Ja1p{AdXCl,DM ibS\?vY`1lh{[]oY?D(3XK' t 5m9 cUJUcIiY:4-MOB7LA\miW{} 2&lhAq@akYCCWmDǸ׻k-E\x~>Y3}aaxtMGu]~:YЉeKf ̯YHY\vt 51Y;j/4CBb:BkɊ%Jt\Sq(- ZzKa^:g7-5P2H4vVjqw; Rq:xm%pUN\!LZo#]19PȚxILO;N}!ad۷.*f+I{Ǔ^be0ۮ1{9NمsdC!+eڏe|>zqfhg&9Q~ 6#F_=^k @"*,Ǒ8}Fb8B}}r/7 4W9)Z>0`Mkr__,1t;vՍ,o>yMo D 3;Âg`*P6f-XhneDvi<ꑺ2l 'n~v^O8G>l{.+-Ec&Va -: #aVxY0/TߐD`+#DOmO2Qݑ9_a)i𸀕=qjOa-ƷAt^r.AoWqO S3'bq[$62֦QI(Sa)[n)⃹NRLe?.ØlW< jʱ+|O#gr.kOWhg߫ өW0lf` ,`8C쩬qv+esg l&!"%`ϴ"K[?ȁpD&ǹZN$ },>l|.-Ǎ&HJ{蕞H:5"د]xVL&姤]!XEaRyS @~t;:6{aOۙ_D8`%9}(E<G) 1;{xC,Jŕ\1J.)@^˟x0E6w#^}Z5TRZn+IK{g7=W,jm ??%-MN ~9dې3<zW!zfmv\ L_]tP6֍ՉɼbC|cԇpN2".XꑒOh4cI昈BtB?̎㖽Zdj .N#K. t̓ 77Cۮxߝ;DcZI [ڧàG= "4hrp;1<} s^nfuo.Z&Mh"~,C!;Qӑz4,c}},Q9|S螓<XFzߨ$ \6l  w31{~s5,/+<,TXxS,Ϲ4vx)ϐoCE="T#Wa7YO?F6f +DIGɎƯV&'nD3֛^lwĂF(H.zIS#M/52{O`x3:&$RD%XP o-/,e9vĉY'79pz6G5'/M@̞[:~uM>N 98X\< -ߵز X-A?[G/ #` s 5LJ&F΍" f.1[>2m46Ի@ĶN_I/i oT=2Q[ߓxl!oٴLEQoo gM&r3s̷4J]5L}rթ%XA-dԡH"ylA#Kz]6CӮ~b*>2*;!NdJ3k/"(dTjE27W J/FX(>qK0ljO['5i cc!]uf]L!l|?rMC{ t-{$+{P~&#>9ijiI"i#j1\wY!kja>3ScJ&Ra׬&t |[0kVL'?jrRE:VE2RjOߧRz[uf P keB%'<ʝ8 aN$ѡJ1^ ZFyZpITխM^WBrQCRv%P r|i/,Xz)t_`?q(DшnfOFbf ?BԁYm'oկX]ON]`5Ͽ V/HGnQv Y Y+7JC}-WRP}{Oq"͹~#p?{+R!kXL_3FmΦ$v2ʏMzbEӮOIk_88\M;/c},;8؜.;p3*Cȋ.OŧtxJgJڟD#ozNc%"]1?m6/n&$vj-r 4Sty~Q :h^v/Rg ҟELOYj~$5ܼ  RCn5B2qUq'YPi…Qᥲ|3а&{vEiooF=FQUϞiSBL2SJNj`-Q`W*]_4F9%a}c#,ۏ-7D֯%A0DE7XjAD-t_n73mg@vkm(cq;EU"([ $DC0~J0yA8%!^f8MAss*lN,geiOeM+'P%FYRUJ1`#,]9G$䙂q{GfN}H z=oYUlM@|0=)?q-~vOrMu>]TvZsw w\sa׻`T~e9EOO!%兪CwXjИIgCqd{^Kl6uy:EyO f5wcKz6AikjdaI 3KE٬m0eg=;e Si4x [w(CHfBnd!qOݖ /ebAtP5R4T! ԇKjȓ@95YJ;{ ]Fϩ^{Cȕ E C I-e7ݗ> <4rxW7Q,W&%ʮ9 J{O,!7+B5ȇCt!0 P'4?]قsl1| cU! 0ρ62cql+YI9AZO'J85pD(}@ji/2yr4)"iecYt=`>>I`?,4iS7g3'-&%{RC0cVȇfIxi.j C;;}_rofH@L|I/@ >\|#P⻆b@fJV^g7!ŊȯW.KcX)f< jrh`{{x Š6\t;3.`|pLҘf*-TŇэ"ic*uQSQ=|U[@.Ƥ>Ơ$YˁzP[2)qrG/ nKVZ**Dcl##46" ߂NoO"xp#͐"+iec~߲p) Bgՙ3, =`Z:I5"+L ]- pr1VzҨp {<j &ȚU:& (kq$r1:sB4ӢO$:-lFuҷQƐA99DcW'G =T?Ln&8D-;RH8}HLiZK;feQ7{PkXR?| * B4+CFb > aās^>ؘ^ pUw22*5C2LK nBt;jƵ;$JKaa$}xxcH0B' 0 a04vLz/*$M@{`19:kv5& ;o.|Ƽ-dzrŹcd.:Q{;( C  eT(lʴ; i:Ҋ/f٬3>S;s.Di@_zuWsW,< !93oH wLg٘㝆B1Fo_hb%sW3q|Z Z Xq5noqaSZr24ld$_ݳ4:~6&Cw bV{\hiEWP7溡V!Xk* +fW_qH]E' kkLwXo}YV~D“j{( Gd@Rj8,@۵Z̏[їL'1CGVdG=lE}w|ExDĐˤ2=VrYCn$vw\{Wφ!2kX(BQj2Quؾ31њfz? t _{#Bޠ1(0f]C-|"˫58"y0;eՅͫ=!!NHg\ QE)IX+ONB &MƢND%s2:ɏo8{(C=CQpV_*,"@;m驔j _4HdEVdfw`V 4B𿌑yhĘ9rd OׁrccxrNC9`9$ni-Xx$EznLc:t{C7:lwȶ8$=ӴD"+@v iB?G2@~kiB&|Ll|uH#$*Ne^MOe8' 5y#&@r_bl$&T+\ `8n>ZFr Bos뷅X ߉TE&|6fӂc-6<]5seNf( {e[ZݝI\4LSzY9AU[8%+f&<5N+ h=C A3㨉c[**qMK GQe<"dLi'̱3r1Lo #N/lrv I0CM=(c:{Ds|U n+Nk=ŝH FW0H@<8t Z+ z~Q|A`w_55jzj Esdn8}JwfS W_3ΦJtmMlKK}/% ~;4m^b dv>Oifo~ޓQxPԅ71C [dQ_žRaa^L9Ya0 fK&n~*d'/sjv$LV>>\O`^ QnP>vY̦['*]Ro4BNgtQ({)?,/)p:8В-1.Tb?PMpoSs+(m k<,?c>K@*P Ob`ar, "/MOPwRƞe!.ukLv'4]ؠVIy 69O'-S+my49쵶k-R$^|ݤ5oXM۷=ruI^Va!J#RDTy_qmA/[bݥF"%5*.5+!%̓R+r_%ZPXM|*X٨̖c,W0&koU2;)o=Ϯ5fM7t 1q*n .T'A#کH0Q[RMm>ǿv=.fA0zl ~T~}E6#zRpxQ{'>VwxZ3q ui\'T9kh %߃S0;b?FwdtiRKHK =q"&.97ޡGݒSgS=,ݖO{ILXDv:}Sm/#TŊ6 b2 ,i|,DhK6L0/T82;03z@ {4Z2]df[ʁ#70u2  |-^帿ܧW1Y#a\U 5^Bt<ܑEpC[dO b2)>2yEn-%ǻEdBo֔4L)S;VdB~p#Y7ۏrRVÔ}=FR>}oz}s{BCAm[=J/|JxsiCu0لMqV'Gc]^#|>S4 CZ4`cZZ鳭 q+ _N}31җ)dB_a;"+$#c]LNĩy8F ڻӞkT?8zj:gv *|eTasf10gNנ =-t0F~=fz7@@;&|D$q2׊DކW=7qC^ql| fPC.lxN$Ô}IEŜeֳ;"A: ^1YҔM}"㇣,pfZ>6ĺmpjvL*r,4gYZ16be2adc0da420a9c58a259019eb6d12169c6e74d0156923f0ad172afd1e52e8c42b320ca81bf477 0a30aa7271dc7c235e210102f9965a6a7e549178 1c3e04fee9aa5353890446c3190c5ae4bb14faee