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 E1dT< ]% HOL-Decision_Procs:threads=6elapsed=264.194cpu=1190.256gc=161.028factor=4.517zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bCN+HN1JRIjkg]`\$ۉdlv wZ@  >o=Vw8i jf8ʦ:tUD&}Vmf³]8UQ@l)!9@K]SLUE%8w <& ٣ aTP1.;23azDZg}K,dvbJ} [IO9Z Ÿ>Q,JҠ/y[Zdz޿Ugފr)>! WoX(YI UW6Ś#i 50xTu>۳xy]VKe V J]᷄wBC} *lۺb_$5l޴';$VLՓl a!u iuX%ܨV/DNFm< yH-a^x6vzS[NΧ1ƥOjkAO^Wd=T=6 \?>~ңhMRۧ)6`=ǐB 9rMpp2jKᗓddΞtkKXs-0qfQ,ɒ YJS 7&H`(A6n /76tUq%^eэMOfBq悃ӈNR+XmG@h(gkkAڏ)"#ѹntM\&3oz䀵k%Ne6+Gp}9N&b!`u6nGu]&|3*)k$Jje۵݁i!84Ӧ71JtO}B =v2JP;>;j6P2]rwxKqG61ll/@,09jhhY9'ߞb'S/K%-&KCEU٫1&0Ʈjƌ1ٱM膳ԆW!98_p!8N= ox~'`BWhMln.%U;y B{ާAȒ|a}Z4Ķ.~c-Z7 l _Alv rhP 3Oj4s}`jx"L/i:[3ZћDX+6#ƙVu_UmkizylO/@a} ~MR`nZm|ezk"}xqF]GkBcA`}sƑHBܼ+wcZ:eS^˾&RUC["1!OSt$ri}~C<4)׷KaYO#9wÉe3ǺUwAD ݼ^WONl+aPGkYk]v !#0Ek&FfSۇ(5v 1 HOL-Decision_Procs  3"B:vgGڨ78 puH[xgTNvGSݼҳn`ɻHhj$^O4BT wok ' N.Uu7&t1}#m[ց\*;"OENTǞYa4vgT?V>O,p4l>0cp"/cۡV9HVhoV%f=.؁#'lRrWS7"}[K^ɸNshً3H,5};UR9byvfڔ^ů' &d m=!bJmc5 gKޭ9o5c _#>/7)|ϽS`'3kٟ BYD" QTRc)7{-ZGd5;„LS[A5!tM@,3_ռH z.Ք-@w0]F9flJ't\"ǟSCa5jK@r1'ߟ7a"SRE Qɳ |˂zPI}\aVkd 7RI pNboHWl4-ލ+I:y>0F潍QBp:sJ~' L.ezu{ 4 h.~!N0A-a5N.ѵst!JUs sRTM쑀4\Ю(Mچ`t]ثbTUHVd%Gl'/AiWu@)^ƞ>Z^GosC0^2|s:wGa$3&K|UC:g[i.I(\S\{#p't@.I1%^qme>A8J$˄4{w2!e&aP;~ ~cw@My hOuQb:gAݒ!_.| _1'jD5RJB1pӽHA}oR (w=Idon=E=fY T<"$okbl8Es1#2mx|_3x) j3mc!¯swoo5H0 %+V zPw,g3P97Q>"*$AX⃏CC@iN01_[K9G6AN@d'W_>p츯jفg La"`H"lJ1{lb 9X'p=uH:u~T {g2Ga%!E\9&f1{Ug30E޵lPmg 3#ɪ; )ܴ̎/=4f2@'tCL80 @L62U-ՏXZGHM\4vJiݪH4&?Fb<%gʹd#) OV'_ێQ8 ĄAlu47Z >L,,]DEF5`L.sc$钎ѳSOwŐy"kyMAf F 4-?{h, ;.x%;ZShS%=%4;ANV(9E5o=f2xu kJ7qkyہ#сmr8aI+|k*t~Q)n)OmfWQuZq75#B ʯ I9__ 1ػxz{yF/e>QGk1͚1E9f+Ij{Xn(ZpkxTHr3[F Be]efof$ef.?9;88C?"d.EG=A0`V%p*8 95ඬןxХ2CU*U!/h2oè[=TqMZ!_4', Fa-ߞ~~oT}إ_ 8="w; s.׹rs hXsH+Wή掲ث' vQ[jX 暛jJFH;Sg֠GN@DqP6MݚRoKH~hAB6(+]ٳ~sܻ?svMO>)iH4/dtL|CqK͡33zZ F4!J~2 EwQh:+m_3 "-]9 "MM-!W?% A5ڡ-*Bi&˳;MNńG$D[xY1)N@ o$oxAx@N:-V*1πßGDp _GX6Qhd Mm qgCTr +mr@_C2 @?jl PA +9.'/oMN׽;T/1\:[nV`- Jymv$~ͩ&L(%zR@ꣅb;' %]B,8DFYY7RAuooƒnv}JA+YN۴_AQ\:oE~ wAզO,Ďi;EU&3{MP{t,(>oA˰bi->(j zՇN.Ux)c1<[zC'OT`R'JUE` -̧* WPFmˉd2ʸ{|K=&rY"7u>7^5m{C%Fjo-SuVZ )4olv+:5# #4 k3M,985%5D^k[5W>mNx_^>1b&/ uccqˌϞ=6.ӅB_ٝ e}P8i6*@kFb.+R4I yF89x`"yhlqG.6+늚PT)G>H\.M*1`Q{IAApeXS.:0+N*N8+oDm{Z823ۆCrbS"IlmY[_L9%n[ ")dͲ!(p?5qGdlߠD4ro^fωFi]QOј@Mas {W[>*qVukdnh `_Q)eOwRgE4 *}5L'5)z`co?*i@q*`xȳzRUiW'?Xe#/JQ-{)evq=´zqrӖJO-Oo*%^ ګ-Ʒx%p~s:.8Yb'eʼ;&]-Bjf'"K-JGurri?#ѭ:zf.p 6jnY^bklX:Ap`WQ(eơ*KKTuN#j]^?0Zuw2MH31e5VqDU?(U Z<=Z2++.coAJu.2[:D`vrR''Axx{zkؙiXcq?!;??/¹./Vtvh m%O,?bA&u|dO>") ~jᴄn``gnɢZ] o)ާnMwNB!hlx_6j+ Cؙ7:' 0&x17ȱgYZ7zXZִF! \#]ŗXiɟ17L? KxlWP8SաM~>fٺdP;J3FžY3Yi+YYM-<{9U-3D^H^rjE49fc{OIfRoݧYh$^o#pF,6w3FAȆ)wV'Ī<^z[PПG _|`Ƚ&l,wh-L6߬kI۾UsBM]u.A>(E+FT\3ބ@\ #-@Cua}I7pWM+vxn }!3wwsdo2Atca qcH]ֵ٪sw(8|˙q@ǾssX p*2 nG[ <8ZM_5o ou~[cZ3p߄֕+2?;;X ^1)UH#*s:8NtORoD.gYZ7zXZִF! \W]ŗXi%Bb ){nLTnEAZstT++RnXV.,߁Ӯslz ^6ҊX_NdJp]¹Cޕ‘1.ЈsE冄v7w@-iR#E+~JDz/7z{5KͯW128 >rHF  ~WY\a fk5@K. 8kBύ8ᄃ½`O*M sykVIN299w`⯢lqĤ=HP=k1'R[coUyAL5L(bY)YdC򨰟 _ Rh95\bQAŽu=|Փxyd1E1~SrKӎ1KBK Ũ {t2\וeiF{R)<"$epJQJ9wMu|I.^l*ZM-4\;W7T~^|m _ל3{H.,#kppz2 `3.@&s]Y) @! 3;BzK\ -!KeG=r]A^*#Mo/!QGnuEF멼k<4ʤ䜗p>b?tR_21N衜AB%I!">yul6dO5u5Hce~f.>Yд =.6/ۣ8zӳM^F&Vy1Q.E+t%ҸQP;RI=P\֎##aWG߀:;W6#ع1y|ʋW[h#-@ e0旪&[QN$+'eB >*FSN"KA)ΟB\I2R٣ymهo֤$a1qP|p*[93Xͱ'&>MrlH،x+Nn2Y=rFF=f)kMeaUdPu+d?y#01hK՚`qm2ˁ|(Bݧ0`]ao}mh'yIKL|)^JOKpg pBXp*S/(1s HGʳnr=[*'֕H/we>KQݹfi$LE-_l2rh4/! JojjWlvӧJ}a51Xxi V AG ,5Y6~r62 }=J}9MIj3) 8;mfy}U2R3ˋNWE;^zKl3ӭ,ydApµi!J6o>f\T t.+{FCM/5ZQT%t{9QrCM$! !SOOo4'=*NQ"K(m^WIB%s1"~QQ+ndW.̪r 𒟦 |XSm?L?g^j;Wd$y>{r;k";R_\JnIqSZ3.> s<<}Sd~ x4ո'<$l,ˁ**WT+p~P XI Pօu%"Nϯ:V*)Mq%%&(RlbehwoĂsU' Qϼ*,yaZ :ёf>|e+آ>nHm]z_ڗy糧<~cs"!+Y>leK5STAfA39Yw/tv7R=Ws#oxpʭ*ծ;7]B9ŸF OɖN&zz%4Ʌ CTR[%ǗIy:"JTJhjP%bf j<?" EYҾwSy#/Q2fj}֎T*nKe0IKhq!Q9'G-)waR[)OB+=Nrf\yc^2ꮏO&HE2i XL7e9,\[0&!tGGprfSR\ .m Z7֬Zfh?:20d8p&Ci*EdUZzw%L ؛3_ |q@y0'oJY߉jwC-- qbH&+}]?|O9XnYz`Ņ[^۝ YZKȃ^{`.qk;P׺Az$dbX d'nX]Y&&?ݒ 7 vIJ PEѱ1OO?m_655&a}Qt=3CQ|o|sjBMIЙྦ_ %򜞏h)CHBHЈ0|3>)$<ԨmL+|9(>PCiw ğBf ĭPKN]= aS~xƾk'@Kv}p!iU̪聢(&kX0ʸMF@&ǟw{+iY% BN pSAL !Au+9Y3vGEK'H>Cvcl(ߎJsqa[>Y.a8ot c+`c `&~'w3H-,m?c8=*B}N[zklQiU@ImM Hq?/_7.$Mr'tDẙ<@X6H-]8G3J eXg'hK81rH~h~Reόڤ ]˴poINbnh:?kM88B?,7ǭzM_X-K)q+Tn1DAk]B Id(K lO3Y]zzrg\7/83*hJ#{_\<,gb>馬dZ"_zr8X llg!Ad#t<Ml['B","0*k/s0Ӊ ,1JגD]:&oFb>g. 4 Qe1#Q|-X^()JYYT$1TVK`4ZՔQ_ 7:waC/ȇJNq'"r#Cu3kw2#NBb+ cиv(զ1Ri/^޿sR(PR&rbJw~k+(IGѰlԩ{:v,:@(r)h$t; \1qv K+WL&GUQԺL xD'p*7╎pP5 LlZ0Eصgy l,^*͆5_zʿ7ďwv@w h'u]m4ό\i'/^dB}J~A%Nq EU.˕pck=dK$Kャ]/\aGјwPHgENE]lL*VuOv͗pqI:>iӕ;47tf89f6#8R$o >&^7X%iuGm2t u~9wr<VqmtJgb@ҕGZxS/ +yxڏFW 3RsOwFuc\#ܣs6@ :Dq!ĜT\^y#&j?(DJjIi<2mZ0pwPͯubmZI*VBQZU®0mFAy2~B '+sh@!9yOgP\=a)瞇9 x 5p6<4 ^@ t2u_~5=Mq.V26sԍ Nv.xHl*+;՜$ 3^dRKקVkHAb|a~?;tg!}:!M?j1> eP19ƌKͩrnKXi cHۑFv9yXQڦ5=OeV `(\h~j)(zPF?`' ̄/0#mgs=+h_&M fWDtCRqL!ݠ~ @sE2NoRъB &\eeh\°yEXKڡm%6aӯ bI ;h\޴"6TvnN>ɉ4/qJwR[$KtiXt-@:ֈD _Ӯ.Z=${ 6HpF Bדw[#-ޔS?\B :GxuV/hmtXz 5(*ŏYfn^_;S%?vz'`.YȶsLABU]:ʺ< KqL:XϠFU oC.0_dIySp53KV| #K< 諦aZ5br = 95rM֔%8ķǩӈPv{F;㣩~Óya'#9tcܥYV les'g2V`=u]?cBrL 5-:ͯP<R^gfp|Yx^^s$"ڜzW;yeg1MYIsj1$#2 %Gi }[@A4\ʏ)嶯{!@bWԁ.vkv?Ĕ3rU#$|}Gێĺ'x3N2D " MhY .&0Q#n@fq&܋z/+O^|yۢ):O"҉@ "9P/r n޽'EC|8<@iͭw"``ų]tD~iUw+:@&|Edy5y~ɇ֔n5嵙zCUBfdIHNr9LE[Г@Dr9=82kk2>Z Jwi75f9SEf$wGXC`k_[K.o #AkVT=}JE4{L^ {kaz_DڼF(HqMZosգeL31$Gb(g55xKP]Ha vt$e]nǖO~|F q14kݲ:c%=v Xcr6.PC rT `Z=yx<6ʼn&󮍚hI=!xb0Wmی*m 1 N*7,秆ژP3@1LpZlv\yTB ('dH(0KUļh"38lr 986Fq/ن-Oer" )}b@}";ő͉9xfOa!Aê֜.j'2xVc3 q5Uע+O'uΕ`*AZ"TC^."0gSE7?P># mfztJ1O UtlnSJogiISs5Vk]ڧ W'|Or`;p%}xjuӣAÈi MfAB?iֵF_aXml kG7.L|:ǷUwLA{ڔ}7 LS4[J]Y֛5\@4 2hjͅFnuW*ӖMbY iw2B3>p2aѡ7^x)_z $P}>4 tӺIXGgDc ,Ż *uD3weoњ$6:K:>^/Rv4#9E1 o]I7e:E >F0')BqPD8'N ݃|,VZhDByG{n4Š5eO)bۘѺCJW|ፕ$GS*m1F;OY}X?*[+;c*9TCNy[SK$Ob6rʾ WIXvΙibYg69,K8Wrȍ ?9we1xˤ&*:=)FEjPT*L1rZ-؂п-]E()u`Q-|2bM> MϳOڲNkSK C;a ~w]CW,VNM*r, |/d?:Ҝ=3[I‘?=x8'D 7@~7aΧ n!9HOzu*֠t.UY,\ ifOYџsof 2P&Zqc=ѷx83103K@*}6zP>DT~h ع3 ^w/+B*P#mE%_v?8x2M]ʟ['d%g2" S,=}iKVeD8 ХwWngf36J:ቓӺL$5̌ oʽ҇mzu2H]v/bNq: sUN4#q (T+I0ȇkFe!Y4rG$uEM)!JBojѩ9Q)Ӆ4~X@Lu&?4uD}lR!<S6F!=yMCz}! *;WJiV;Dd)8""AI7k8//;PWfWga;D*y1/M]*Skw;9䌉S"i wgѪ m2 3Nuة y۸;52!NVX({v!a@/B<~tIYqa.Q&UAm:^ V̅A[M0h@7nH`BEx.7gy~.l!~=Fڇ ē0Bs|BH;ф[ds İe =L:l13|M#u{D瀆KB v܁ I(]2f{hyjX!8Pra芄u}~m 6svbr.l~HjFȯ*Fe&1˕5 P|;h5QDni:vpRZB!ţ"U?62.#W%"<x jɂAPJIܑ!j 4#; ~hygCuƳ1G.HFai`ښZl֡.'yZ6Y6dU"cl^ޜ-9LGCq-HO'V"ȸ = Ꜵ۽  ]Pfw70`?6rL0F6cڹ309ɣO };Ne*1%j!Z'$xNUژͲW?,Z:J0mxDt4ӋSr ;>~:X wq OnIvE噏SA9~EȺ:6&KqAC*tvg,tg6drKX]U5l:jmJY$Ttdr@ۨU74dd5% zP]PjҎ_T,CD:_ D>Nj/p$li"LW福š72y~CV8E(P!L?aqh׽NbRZ$f8wn;.t+/6GrFu9'FpO#dbPc_A]Odꀚ~۟x(Kw@ ^re4"4RT¿ aw#iz>ߢ0oNDɺJ=.Ff+Z{̀l7U40ہdgra-de-Ze#E,EQN8ϰD7dB&tf s _iG3i5JOx:ZokW2%_ȓIRct'ٟdoa釘(;rc,dpjKe{{A7xw0X TbǙ<_" X5+ @ eh^ˢ5.#g6!EXFHNy>WYBqWmB1ڞ'41ʦ*%#Ge;-29F3ua&`UA@H^~jПDLL_wA ~XP vZ q7֨ZcPT:,Fq${-"K=Aس_  [면3Fzrt=xDA"ة%9guliֻx 2mWNL.l<G8h CSOPcJd+Fd4:21K*? Dh-k5]MWG6j]0 ogxj\AGD8Rcn$Pj0] 8MsÆB,ƫ&zŷH6cE(]Ù4"=aLv;59SKK bO:M) $& !Qq  DHj> UH\79A_Dͱ6cH1zI7C{yEH"geC;׽R>@%Gɧ KWH5p$x0g h{ ^QXksqξIB3M᥅)/n)n=)T7?bT2;JEmxxa>yS8'7C^aBhjKwCH/X`!HEXq^jQIdDq]@8%F ,Ic\D!Qpy@PKS;(gk~<*K͛m:Vt yoTP92`vU8QRDC=͐<8LW!T>AfS) ln.is zmUtVwO; b5G]+q߂_eCtKVj`|f*'/~ !mF-u'47!aܫd96ʟ X- K}6ʅG -kI@13 XEPƈ37]7mؒ z} ՚"b(`(aiTvRnm44+?専gG7`i]EÈ{N'C:q{l5 X/hgäTe1eeY@47rW~۰}@ zHuKNtioR^uKf>y].'9#¶.v_35تkw/z r &;3hRȶLr!s!OEo`OЈ^U|*nMwcCI%DiPc`-Q#86A9{W7]M*TCd7l-mٌ4ۤ]ԻCD7FCCeI%yCj%H, IdgG{)%QXN:NR7ؑaL좞}&˥vc7Cʨt dJsJm!AQթo Ljj$FZkiY% LrliBgCh/|3{X_*|25e TeY'^q6Fsj^Ņl+@NmJگ?Lg #y;5bf*mDi&BlwBE]L =[CȂ+KQ25o'vr'B4.1EYn5HSs$˃J){("F}}w}@TlCfFn ƕHpaaPykϢVJk4s̿`}q94!{A!EӒcGC\CGy*#7g$isWJt7AW* Xs)&=yDD3r^2o=ě&Qm0і;@ս0{|Kr7ƉVnC٥|q;VEtT&OGX4Yw9&zBдwlK_{u"fajM,3lY)5"lΆ]/Mn&=3whsא"cd zY|<B֏𙪯]y˥f ERaT=t]*;ХGA[T<3 D'D ]`}@E7Ѫgo7"߬8*e3[f@#N.N@߹k.GzBû-Z-1g#H}B/P5jı LtXҿjz*GW!y2FFQ^XN? nHv23;#?QC/ԧ]4rVUҨVHRmY|u6;X/D! <ЂKʋu^?2`G]l T@-i3"Qeg-țQܨXܫxBYmY! F^hh~pOϜ|.3 *A,[BF6U y<۪ߩ-+zx&hᾮ,Z(K"aJxII8V_սIjWQ5 _b}@!k?At;/ MsmBߵ_A O5qǙW={yPaDXu`>=z\( d'(u+aZ[y}ϚukE>/?J7 QubxUPk̚82:R!ӰZa#6Ho3Nh}jcP<=􇎼Fo7/N)PWF1^GSG!_MeՏpoKF\D$ ? sV-a* B^ } ޶ȕۺrGG~ů׷WҬIf`eo.QmXbU(G^PQbAG8Mlc K@0}>Gmhϊ;>h`nW!IRX~*S[xSxί$ z0d²v~9~1Ls$XD$N)>Ynuqy0g=vL7ӏDӳ\<<3!b!ÍBf YQ \E"K  B P#k :2++tΎ4.n9U,iObWo)I۔r,&2dvS`60((͖ FI-kMkA y"Jٺ7*.dV#*n /oî?9 ¶f(2lzAct  (bзy@[w;fSJjj%;jZB' |,b(XTm88uenm\br 5UHD!+m7mK:LNUB2ԽPmڀshN1D-3{FrV˽(pDŧKj9UwlD{H05լ8$,Dmi7ǔR6#5 8R1vj1$Ա&Y8f)m%!مn HSW}{ !75Kdص ?EP ]+)<2hвSy f'5)e5ٷtHh)ϟ4_u?e1:=D|rbz?`_ Y܇MvP"~i뇓 ^2qL G 3msr;k\ pTp Y|Gk ZFV<Dc; ߏn~!q;sT-4Dj$J/}Wk2ˆE#(0'@l- U@to^=lb^j߀jP Э!FkE&cBmtPUĴDƘH_wJjo8/?棪MP / yKŽwAc]hu^/a6}'d_|NKI"xr!5 [Pϊ_L3-kfR-S)O<~kVHR/gEh˚}}d ͯ*qyJV5<-%B;+y:6mZF'u)N$=󛮖ջZ{nIzwE6=#"66^O|}ʲ֠&Aۀ=5̓'>f ft9B0v8?$ל% Nl3?|"u*KO[^6y t;lU=P-l$oSwx092+ 1=.{pu [: Uw+ZWtᨢI+\t8 "J_36S^H ylYI:%PS/c(qwT LjwK@R, 6.Ft!wJ}3 EIFw6YF[Jz]QQm&q^d;Y"@ nv}He8hߒC=cӃJ>%6 ~jT`ë%(E0QSernA`4/REz\d`*{ l|oi}HPG}Ic,. {6T- OCJ8՟:BaRtymls汧zc;1rvy5dM F$Tj-"{x9'/Ljix.{m4_WYgk8ɇ].anMgp-gǝrft/.y]hj#_BѺjJ~SU,UOlV%kLí5Uь?>Խǜ:qӘW~JN<“ȋ:"Fpe8υ:Ue.1B(EJW\E#Uu7@۔NMT'ŕVń4S8?eq=ib !R,ŞԷPn X>}3N'?s5LN<#&l]1*D̮6.HI8 d)V2pO»"v9!f9ޣmLJ)gpG/C_3 Xǎyicxtf ~Ĥ¨ ]}e ^Zw(<+*_Q^w4^wA0@GiIγ dʼnrfJ`%XpɮȭMWVz C;fϡKSc%I Itnriۀ3lx8ῗwUmt_@Hdԅ̰ڤ[5m-^pկqg*o$O`= Prs W@p_Ӝӫ%5lX[׮Q> ׵5> .Úȝ_ 7Ц =s%meUՎdu2tdв,ޟ* I`L$As/ULXljF 'quV$`3kI!E$iuǢ. "E@f*e'iGaBwcb p5 X|Dq9vvs_+o{@etv.;g/۴'MmφDyzrST(:SPex6ZY_U3d,57H7_Ɍ?wi>zUYu^rע3 OuqX+Q]PF! w7A-`н0aKA0JaBʚK|&:Eh|=X< *jx_}sa):zXw}BE8;cm˜'fO H9⤧x?lDW& IGoF<~'ge75"?6&}•(o26y?bt}题']6%Ooib:"^S l-h%<,'3[D]Frc͟`GnzH(B.|rb42@{&Y"lbSs0A1rljxoJL$AFnbsTs [/{զZ|VѬX"v@Y"b~54Yo.Eu ns #sO(Vl >綪uWζRsɣOEa>A/AV'/`O<>@@$H~NtHm}]4Es> D )]ZH><$U. >r6WDbcgTW) S߿DJ~:/JiRY65bU5~Ƶa׬X-"fל=MCV,U?o| s7L0b?;d'>[eaӵ D+Ds-fy D׏oߔqV16|.BSs @: =t$'#PvQі%%}#v)u*؆w ?ƦOYtJnҬ$[SI\y;k晿0qr}xGitXAT"Kz BĦ\RU ]s',Ⱥr:蘵OμqCzJpy`7d,nLc|{GlBizoz[>ªvvsdpMeiQ#Y+H*Ȳ>L‚-nGAR޺#auzue+J RKȧCt80iRkyKafha"avb)mLJEŵ(ޕwĜHEi5pyWYe`X__oTPɅ) dDf{%Sw ]clm3;?>`a׫A%GȂ8Fjy;Al:, 0L|,8kJnِuYWcHie!:1h Mga T&dRy,rjI2z,K5xT?ʼ9s, NuZ Aе e.ۆsH@T xju+:]ܲnL-1en([eSIp+^Hh`4KpKΏ1J(:Ƞ?ttZ}kQ4U}%kUC-#}Hb^Ikjx`k:'( ࡯眥TtZxr^ȷś@tSr:T!5 i'Y}ITmrs(6ٕKnBP!ڎE%Xk_-׃g[Ҁ*c*޾p ] pt%Mwro╅Z& e^-yЅ.omucYi/#hLJ=D@dpw^ %vi vϤ;wy|˝Bg%gz)~%Q)/i3 C;׺6]Dgv9!SIׁ@4!= *l%cf&_Dl4+uUz(98;Yݤ.b?A;Q9o*RWb\ŊWˍ"rgQ5UJnTxßR/>ڱ(i$gJ{Cjgex< 'n=(S)yY(غՇ>4cHӏD-biv2I|+}smCZC\z?-5Ǽhkd+cv+h־?gBcS< KM`*CJC%] kou ~ϥ7wTD7986@6 FxŶn'^ MN݋WX'fxZ(AGE2ΙI]xHKW(Mg%K#F 9xHbYƒFHs]he10P6`|JYhKAUϲe :?Af rMyf$rƠ*у/V.’_o[K&~^"\L!6G"Eۉ_Iw[h}'8cWO*r ]WI;xτ#juեn̚7'iCcRH{y+׭OVm\]QX ջaYW#ŴNMVqI#]on u(,B-'ǽb?y0L{Ubȩ^.1gYZ55b617cc0071af455a2367a419ebc80555b5b20c2de776be54086cd6f5d576144c34608108120821 ee9cea67cd24ab19209e832e4527fa2462c7f652 55e887fd0b0935631105aa03de079dd586c8ef95 5e288999badf74bf9f937d5ba3c5b13252033d69 961f9f8123d29e72cff00675371b912ccbc85b52