SQLite format 3@ (- 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 F%  ]Echelon_Form:threads=2elapsed=387.917cpu=688.640gc=46.072factor=1.787zXZִF! @~]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α;(pzÏ56W{xMφ%z0~#|,ˤ"~€2 cLJj2a~P;xsdW{FaD,T\b®䛑m8 憰]y{w.%Ji{=<35*ܡ#")DvP.7Xa~p`O%U6u!Zl5&6qC ɂԢ?`h;dUUwMJ~&H{xa^Pɻ^>J mCɉ.l;I5'k{Pf?:AWrg0InIw*V(RπC7y ah^j;[%t*4_!#w:|Oo=p&`e$I= G""=rZqGM pXn0-f].fm#&jLƂ.rך)νZ2#SB*55D.T^sDT@% % Echelon_Form Erطnos>~L9WpT^S[:3>B%bq!Mbh pɣɁt@- d`i":Ikj 4+G4 ȍW/YGX3)_JG`DVwsbSG͵,eu Y3"PQw`z^ǜ" OI>)@R,{N [.}]BR5 `&j9`gELCGBi7aW`Z#`YU }7bzE%W ¬%,D*R}??mVb؜YSH`p?uExa/=Tt!A*}Woo:WΜت? |9tD[rÔ0^VLj1F'#gOZZO/h*nf5x>hL&d#T*NW-:M^fvqn\89z;J^s[G>E1ѓ7KĬrE2emo 禙R2w2Dm&&pE2 qu t)+./wGh'> X( k@S%ۭV᦭e_\M~k}nՓW\wnÛ[3l&0;[6}QU\x_M"Ig(H Hq3Я:gЂ9 imctf2)L1wrF:,;ӷagR-S?m|vb'y< kɽ:q {OvvKFLY;՟E IAe,6nnߚ|[ 7rX4sڢ z"QT{+rT q"PW$;tu'E@,ʷ Z+Ն"^ KCWfeǝ[N:wrp.nqMS gaQ{/DszR¼*HE\̥yLӨoI$3_QƛS;VeNe4#~%gMerAG್6Xci-[`=8LWPmf`mH^xvWw=yڄFCoދx s{Y)UɽU ֛:n?G?if!RLrGO}+/S]e2VeѲX^kԜPܗTk݄tԐ4%sR^5xAÉF#1L{KJT)u?,:FN@Tuf(*1Xr7+7k.mgUke~LLh>B}M^RM{w|Oe0`Y~6HreaAD̦@UPE`ZGƏ1[6aj1['G-4yMPQ,̶^ ˾`:$uOBN_FthޕkoƮ;n, ]#Фic!@=~U* G9Jsdr88ǀLP.g݂Yg۾Fg\}NPtI<VT!@nDq9s59t+kګM/Eu@Iʜ2T` gj]dm6nuأpKztdzM;L)Ѐծrgb;_2tH jƜ- /KE9idjx ]eS'<^y:s} S=YǤ6j7q<>>KQr.\XEoE7Bc:D4Eyfdi <+~)To;[ΐq,NsnW"-`,C^̟bW6(FFUe'F\}F$^>%|@ܑBӾ!rQY=nd/3b)z\e\盘T9ά|R"|fOnɬ ‚8w6x,JaoT5E@լ`6Iw?^L< @xLT-xs.p^©[X>|L. }9iE.1>ݟoy*?bSΌ|g|da@ʃX zBJ晶_aTcCSqP}O9ɢ;ކ:7d}DV$l^?cO/~6[DaPVxۃLCzBZaزaf#qG3o|j&2 45lƪ-,vUÎ3W)?Zԇ`-JN铸18 rمzı}r_^ժGJ;?GA[K9}'@ukhwv0e`/[OA.:s)x2yfq@Tu(swC,m)V`DNpp`Jjv5%w R:{wr`X};C:zt gXm6z;=CsQW5/IPS-J%%/917j S֕1S D #?-'=WdDmg9Lͻpܯ>Yhʿ_&wXC'(#l蟪3E%XKjOݹ4L_r3)79(mfi.4JO`kܨӓ;T}\%.yu(>qMsrwB-[XIJCs8凄pD!kꈱj$H˸23$xFf5у&}TI 7GFfvqb|L vc ,G5LYTY_WeӶAy$&^&j&$wz[  Fٺ|MNqO;KmG5Zg $svBDW>prrQ4_50,Yw]d""{0AkrCOm{jP2StYHi^k xABum/q'U C&rKY?/\vwՇ.&Oag!B?׺}@_G Hu#:өI_H L7)C5@˰ _첿GENimsc!Mu3Vb UR-Q1^~bSK ^A%Ge3 KwVF/=U" v[ng:+FH;?WCJ SYmܺś=qzQE۝'Ikd={{^=#wC@hx3ݴRԽg/<@0x:lE9#E WaQdKr5xUg -N\&.v T~1@ &n n @yp }1"eJO &sm$3Qi t^ma! # uOOH%w2*`Z ?􌈔>qCkc%3VLeU]ˤ`xӞSYDLrA/-mS>qaġp$5~$R$f|,l odWyy"wFsݐOys#)+q𴽄:\RSubڲp_Ca;=9*Pbw@Hޣذ5+C;!R4I{ϮrN"?q"k m9K|`zUiΤU0Ϳz)7"^I4gqd:X>Vr67;p?]>WzH**ډlgbOzq"r,ŝ \)M*w'l8WTK})(D}yNo!$ytiӐDC):V/l6J3&!DhyxD췔lEB~ T*Ǵ }MdžL/eQS0"Zh{vIvlwpμ$8 Vc`Cm xZ3{$4kZ/oE: GշF8RIu]aОYG0QcNUC׏2O_ m!(qulb+=حY2u=X6[_68.W~|$v' R%RMX~ ؓ!>iҰ5d?k5rt";G ~CYH%[YoLF:^dI\ێG `,|g%^>wk6e-| 9ɯKй7pٲٽ癬G|9O,#*&I}J ~SW OjjG:u_!0`BVDžC L/y3D0?ι7elr\ i[V}:'tzT\)hr^Y LqV 7ƥ2rAxЩI畻@BW, (8AM2i7-ɚe*)el߭%J]dsK A:ܭdTOI/\4-l7l][w$Y#c(Kq=4,KTrA!괟18ӡz}gq&Q #H!: '0~Q |ݱ&q(ȉmB_f҂qJȲ[k9u h;W%c>r^͇A\\%KzN Uure?din̦5) ?(r@+\5I5Gbde}ÌΥY7`dqVN]M !ͬl 630^ВaAJlnXLM#k '/\ Ck6ӓ%[j L%Xsպ-<* d. $=PsQ5>`No+N~2:_jDi(!7co JsK ;Տ~GBoj\L<T8nvƓ"pCAҔ".1k3]Q/b1"HJ v *:wW79LPCi5`rL"!Z=z)x {EKz07hj-xÑ&:(,z3IP7+Q=pffuea&mӮej)C#գP9Eo L>d-@ӲCq8X i/,fqp!/Dǁӆ2$>qvMPVnqv `bQPjK*; l.bF}/ \`Á*=saq@B]^Š'Fvs-k}J#DڙHQ9T}8`VjKjId_fE?X_Aerp@A~V6H 'igWPXGmib>C79>&_IߋȞ/lkȅa uk9}]ut )EZܢs_uJaNQ?0|?Cޜ$Pp1s mYGLOlpI'`7-42<ѱTdI6)!y0B@xS !TVj2![յi\ǹ,F+s4xWd *nzwurQ,,O)eU|&v/!1{֫$s*-%̭.: e |Lcw2L^ٶM- &-2H.$QĽX=T#R)MOI/ ?_9AcZb mWj'-o9{Ԍn _(_?&2uจ8kq@7N"ʷΌ)ZF<=,D1EFuվcäc}0GLz':;bXl L!6iT@,YBZǥb}rq"x@`Bs N A.7}pC[hj(!WYJ0QhaX_&eQJl i"$h!`,R04;Befuu{R$v[|zg*cbNEP ǺT#[ZafB`04*M?nk7N%PmI-5CE.BjlWHA@wыS-OEL & h_zQbN UOк+$?8:YzHF; n?Lab(|ciѥd%fb(<14:sR`pf3WU.O߲z:|<7#NljF0T6yT[|.|c]Щ!/pJ?RhҌc"_?MJL# 0\<5 86v=elBEq`P7a!RcE#.(.R]ߏmİA+  S^CF5f2gPOHR . rR ޚmƿj gfڂĔ12El Jh/4|wf|hZk\"ר~nJO b_ BEX;3/iO#'*=c Ľ~7Y082P _^k xځ̏fыLwD=`5Kjh檠ĿmR4KD'y*=Q\萵hbG_e̖΂~)}Nd&0 fۜD(OM(*;'<ƒVUI|18Z ,PCxymJzLX@.ler_̅TQ 9FrC?aJ% &{fX2 *:4N5MYrsyqYLt $ɒʐ>uZZQ,#kuJkR6TyLs*s"¶y:OZx::g_T!aza+ )ꀡUJZG|Ƚf-S;L~,`E1rV1D؃zW 7dXKPhфknTYZFsiw>--f3VYܥXRY/- ñLIskf/XE.^o%o!x7g>0X3G㪡ӊTz ;+MwwF̛%K2; +v^3Y)}{;m-wv7y2Giʹ}y=Yԥ^7mcbwqGk8#-kC1-;;`„ԸGkhO\(Ϧ%N09C\%r:L̡Uˋ.[pI)˖!=0bݭ|MQ2_N4[`&N; cor>Ah>e3cU) uF߸mCF fRSvU@%RX[UgŚbX jgO.JE)jk)rD2wnMUc"`>1ٔ||~! URe'sxi!-AsztBe֨7!ˉO&A۝:Jl_RI ?./2rߙ с;HlS9ZS /c5 ,O%Gb 0bG _џ)"k:%J:GY?_Eh]8Dt 2lG;O=X3C&-zt9UeR 5H\ WW{3P,ޮ*k2H `+@an l3*bUXnݑw-qau{?BnműlkفG ; tMv40ErȮf6 aAhLnL6Ydv5Q4/tq;gl6jӨ!Rgs]fۨ|`{06誱_4"gP㜩( [I ,}:؛Zb2 ]2"7i=δ,`/BqX|XK֢v:>]3nL!Y!<iK~4nbT5z/rv^Εl>:5ҡm4jF>)D{;Nʶj23.̢%QW24Cݻ Gtjln$ΥR.+pj\49bL|,s0Ek9M<ٗV} C_sb}CB~LLQbhq`o{5R| D_AKt͒xh7Lo3iCD}$p͙FQer@}")j!:֘((+]tز<$U։7ihXeO( v7`IN |+8VZa={YOj8̦ g!K#/Ç N ; VhTXъ1tbS@~W"Ƒ21@-e-2y$,:>v`T$a"5`IwbrB'qr4hcel!ڌφZF.|4>6YEcG[b9$-Ś`3t(#R׍W|;3df<`cQ]V) OlؾȭNMaȟyRdf\!?=ۮq#ZAfh~ %3m4#;;.5T6/EE=g(j\ڜY_ k9`HqcL,ol#1uQ۔lJk}R_RΝjŽ6R=r.fKqEw16`P~5v}ܿO4̨jpְy8"A{W-L)=PFQENjJP Ac)= +J}V_" ~@+t냧;n11't=6+ =u>)QU܇f!k 1OԈu EsrД/7^ xv[ٰdd1a }}M\L3 CN@sJ~}˱mU ʶ$tE-UdҳЁx!k9uA1ajrPm_h-S/ЙXlZ{~R~v =wTNdyԒV)a828߻䃸gRGȱ5~ ׯHP0̳rQQ&5`I)R?Pȶ:kdz Y/`.В0# yiC\BUvӇ ?s ..%;X>XvֿƁLLi\w9m`"6utFϖxy"N[~*y]$E5G(%hަ!nQd P#h3tP.J:Ѹ|^jqIE(.pLG薑خ -PN %vhAvTaDpe" V[Iv(=ň(d*ӶF)b: m7J=S`Y ZGi(5|wv;K4JF-4]A JS,8twM)*rJD .NSLC7(5&\4iKsyfztUbƵRi V /wu؅*=z8ˮhJyڇ X\T6J씀{G q5SG_[IrbZ!|T͐泡6m>y3ژ%H4ʅ$V&IϜԈ5q>)\#4CLq#ǒJAvwF97bo-*>pmRbΐ90DǬl嶤Y-مhL>˃G7ff܃`枆Ѿ^Q|)U4 f{@)1|ɲ p<̄FY*bjnYsE9܆>7Ph{~8Wvω,Npu+Rп*8)ܭ}]}@ 9vCil Dy":4Li|F7y c tDi)YkXFTZ'p/ֶikhh8q{""2˂Wŋ|q V.6oGldVw|Rnr]FU:R>/x81[aEv(b"hJTL?5 L֜=%ɲo UCKՄԋ@ZUV X.E2@cUUjȗȒ)#sp /5+,8JIW$N+m깁j(!ɭYHJh)i:S(7*R%'Rssa0tj4I='whBjR&(dS[$Ǐ](kż1 n7< .oh[߭$0oh }[{l0%?Mu0k[y哎q , ebFjox Z^97';JgYZ7zXZִF! YK]ŗXi%BHLcv}czl"&f; Z$.\!iw#y oʻ%.D :E% 9 c'%Ba9\GG643|~š*xstSK_xZR3A}b'zUe>_gBBc  =K?a&T?*tSXwlC oT9{_f1BN%Z 'RR~6 brzsK hLz=y[t3>r{!܁c#Tc^.&MĸT0ʹ]?G? G߮ z)jcbV+(隐"Ⱥ{|7uxC1d2gdiYW6 )VmT;R0dY0~ qմ;`_kj91#`%xNA^р"D}nAp3!Q:VWׇgIbLBoca 9Z,;A7߱z YoKI7T -~ńajd$B0ġ+31Nǚz"!@P{يS22+pވ\eԀ<+:)HOq"ú'C^@[7pۂ(rdO]eI>40P}S9XPmMz7NP] GlXsD pIG]#K)ӧ+Aw֠vEIK k)#t:~Dv$JІtOM-HD8@q]{EG$n3<aIzu>}uiBqЭOAәE8>+K/+<%B6ԹBy֘fkD)>[sd;1p{jny,rn򒢲AV;.wX'j[jkO0m o(g=:s%$:]Imc ɬ@xsv/D]jf#phB7B,⦱~XGy>g]p?~|?^nDJyڷ8T13''c ͶDf"N 8~rw1O ȴ ScM$#XC\3 7E ?DW8MhM1K5Y>f{VRa}f'{NRTL&DڂűVrX 3##8( O/,tDLRy^@Xv@}p ѬYy!Bkǿ]Ѐ-3('*)))&/?J0L;`*xmzl  '} vm"f9PhXwGvc&+`፶ڱ@\ {2IJ [mD qݿmrBGF{S 'O+ֲX=$7<ob X8}u}0<C)*jf1ع7M盤7L=WjȳT?m̌(&qp_Nv4s'rDeih^c=V}lj!'#E*kXӎ,^d cןC˦IIt[Hˣߐ mQBr(=Suʫ;VksG5pfh\^F'=5f`8A<_5aFpLWo wa<~?*Cq#!Lëk<BAHcax$ ̃#L6ۤKO$;?UN3p|~o.ӷ6pLJ%JK<Eqf})kRuU=2/ġlw1m/ p?B;dY ˟G=gTrJŎQ8Z _hx5 D4?2M Yp`Q/~ C"J5؀0!tsSyL\h0v̜ωUYg۲mZpo[_Vr14b IZfؠ+x/k >L;` FsWMCH&m_An/KTN4}`:n1YUkO{Hr5i*>g&-lAWesQb/ߒ҆GBZ0U3{O^Fnٮk*>:80'JI>tG=Smw?y4ܷ̐pp_,LZɭ{iyQ6K0E~NW1|J8UJR`EL,Լ[7-f V*O\Kz'?\7?5̝]A&Ҿ`!mD~I4L҉F+8-yE)!.6;;ZpAz-PHJBp"qA7< |6C93(-6M{G6ϭ}w~,tL1^Ү%~{jG9IၡD=zLJ`ꢑ6 ~'>651R:1$UX1eBbrcu8OE'`1&[kobpg2>+n*R*:  ~F0,eS/鸜{X\@(FoӚW|֨יSQ,2N;,`g}JGu:|&`&r(}[>A42_1Ӱ%AnO+ߺ4 `ro #(U/VSTY)z|*Gn>n=di֑7 )+g&a+R77(:6ҋPpxp.xyڠ _Xx!PY_ S!qqnېռCҋjɩ74jBw b{5ncLNwM%Hx|N$ZW1hhe]]sIdpPѫoT_2t;1$xe)'65GOOR%{xo~m ӊ!Vw)Q zwOXصzTfIfН{Hͤۑn>LHuQ&y~˕s{W>>~p #j~8M&!Tk.ԼwZS}2wzA2hȯW4"nBUH.H B f@rrvF /oSur}\,w$&yж7<&؁CK|oX2#<Q K,utPfBb]^ ?JI78AR-*ZsF_/pJRu}cn{/XUnKvJJSI;셨@}ipCǐM,kj33$TQD>UbCofW`54z!r|>,=r|/Q~8/+!:_/=,P*5 vE|4/*ß> tf]hnA?mPFy/ 2O.a9?ǭJ=>`fyQ;Êܺ\Mkj0MyRlĖ_[ VS<@[Rrnojo7{U[6#02T2NVb=tF00(z2M>qi]3?=#6 im8enlhgEΖY9{*Edkڢન xRhUkGzH1u#QƘAi F-:$8xF (>4ӚGx]h>tH #5 b9]puQPfyM)6idḻ.00|+b6S OOv#_kMKkAӔܗaghHaMn6 aT](Òyض3-h'!ʶZWCf@0#`9V^3+\CޢލX1Zj\rfN)ت{%]{js t,`jgGYa{ĒYf%$x"3BF`aCl{߉il6~x :6`vdIS[*=fIюmDeG1XU&ۤ(RRa~ۻRadހpб8ڙ›^!JהN/-W=pށFu(wB>gT[ZϯjDduA@\ Nr̩"kJ&lKϾ4ЎDWfpNv922pxǷ32ܖPϓH.K匆GǡQohA* 4}sGq.h2P-U_NYu0#v*AX/b(wN?vPχtKeLA™I:̋;+UŖL>/d_ <"댄K'j!()Vp .P}(5ēyZL NlQx&Pz\gp ,vJO9T!b 2{;|DU43@uy~:k1~s|E89芘!ˉY23Yua΂!D\j>_\ 3V ^&,ѭAɌf~JAs. u&+|-}{J+8 .0a(Ofđ5u:0е-X(HzBVD-dA): 7O߰9֮;'%rw+N}OM/Jc3 Jh~ـ>]V\Ih+v<ږycp ƀ; !H|[E:f:Ѭ{S<.4)E'_7d ]Ry0nn gkz8'?P{YL,8jMj{<|X,9MYIӈfg*̡̥gUYǎ{[aL(=}_g͏ Mn_$^sܺGC)KQj#[uoY^:c4r4`;7&>x^C2(AA%Z&5/ץ׭u:gMU5DB6 rc? d+;~xx, 9~-N@c~ANn=J-I>dK_?B#,C$}l9Rg>z$U|ȵ Dv+ %7H\ʻmY6kr&s ]`&/)GZ{$&>흵q(\)Yg܃orkya5{@j6iy}M:04ZXR592;͇w,Uɱ`#9өthPd1[7&t^ܔӱ1~?HYh:WȮEh8nNH@S]NQPP=HrW»<'T s:#[?IjDYvE?a6( k^r>T%B*7I916P98AOi?@̏ʤVMIGIyLWme!`JZq_Cj3&2V9?;>Ȁ%pJ$V7%ތ8! \xQ#NL̃ң5I6R [tҡ+> 60Q, "?XAG,CW[inbмEe7gBV+ n1&Y"KJD3_]B HG!w-΢,K#1 [! AGl0!{8JZՠ"d_ v+ erOYϒ:鼙! jILkҿp{_4Ôo-t:4r _ !R\zj?{;_ȊVoZg/9B?|5@/Y 6qw k%穒x *ݒمWVbk`S|J|Di_~Lz߽839.n'Nx48n+Gs#<@`KUc(Kw{Ft{vp%ֶt'vWwVt[.sd0Y2"Lܯ=ergh P樤IYH&.7[A* sh< QӕoT_<ʎ$vllpgއJŗw6)p$\^mv6|&FwbGg>ǛTZ pF* ޗFpE32h:.'Ɗ9}x1nG\~ 6TiӚD6 JU꾏b>sl1ԇ=L[iH%cy1뚄}ox:S u*PP0-Z߅yF@Cx4E4ID\@I1jpI`ppu I,J86$mA/u%9g?!<ɶ/Y 9*VI7,tNv/6>9J E}8[Z]{~`MHL=nzu?Vn>p9Iձv*fqf"mC0cFy ብKDߔ}^:a#<@U< ߩzį~2<֡0[ЗІ M\ju&r fK#CO,,)tU?Vw߳3 x9{+ȬCq_hpIqrd:ε]-m%zR[0Ӈ!BRn@:ocy0#F hʍ837RU|3-!'jgT\bQ#GxrORpN([;̰b^Yӹ~yK6rGڲUlg*P/"ל s͒ͅeTw2U6TQGyk>A e*QX!x K >ijhWC;~sVO~E2hM86Ggm] Z>Y0C# Y5f@̴np /A&QfCwۯɌMI6ޢT+ wE TTXzB(E~ߠkh&ɲ64ɍ.c#}S4έOt ɢaé_*˛3o@ˌc'^ i,7EI ,n f`D*X^Ij"VETFhJ[!T֭*vMYXS.01):^%:hY -Ln\jߪUEMlWJԝpIb~r\ՙ;Mpo:鵥3emp爌L>'s)!CxĹhδ0r+A|Q&$in HDMZ}YBWKi9l19 \<J/g]~@RA~+Ƽ֓^F])jcd>!L&G#;j%08hj2F#g{H &E~Eȯ=9̯,$#4btc*4YwίxxUp?5\"/*b3¼aӿvZ MV҃yCDz4ݗbs8"F]$j(˹7y.AX1YO{0e9:@>?CoЙw5ӈ4@?/!*&t߷}B#3t'xvfܳF[R]Zrd~!rRIyJ1lDO3|f6֠'}Я#ѹdddN%}-?ޓdYLq3n=Bdݺ 3`IgG4ANS6wQɫS⮗<7b y%QdƯ .5 "Q?fSVKH*Pux[zgHGcgӐP`n=0 ?!9AFtD4,Tq-ybӫ,Uay@#-`;UI|L[b#XV>xKtOstҢ첍C}m-y]zaކbb [ =Yj9JZ➺DffYp֩ΡFYM&(F _/ka9.Ll^F_@4k͵AL uDY' Δf&oJ/At1[(o7+<#QdX.G+۶r^ЁU'rD\*h1Qwj!fl/&wt?33R` N3`p%lE^+>GѷxÌY 9gsk!n)fq6s|~֛@/ @a.6ިVO.ԔzrkaOŦr6>7|x`z) KTG<O?cuJ8nԋ{G)lkyyxOx\;`VI}hԛf>1Y , # #; 2-rݱs |,\?Rdnp7=;hM[uq :M۾ hh8f6 e>+TP*O27$f_NI&g^IW$x;&|Hz nvC]IαPQEV[;C9rgC>ȯ]Tꡒ#?@DPo?g`H# {R1;#{'3wܬۆ݆RՑBxG3+XFPyd+LÀy W) .LCM<"E{.P}5폇_jȕlfJ@?"AD R0P5G3-(qP얐$m* '$rlGeEB7Q0}HP :(e߮at\kdY/+HHD̅Sw?1ۗ>PǯpNfȞ_z^Wh.Wrpc*+[+, .{u Go*;,)eõB Kȧ}TT?`}A(&&\ \x)AUh_Aqfn)KOs;c+ ~'K,#|;>zV&4Ф TbBMd%נɉd*vEW 4ƭ妘4m!Z& q#ДY2SQyʩWA5W7dkm[>VlfsƫXlt.JR]&z7S`=p 9*]ojQ <('6!t9)g@3s!%O解._V鴁"RܳJĂ<.9֐ܳ!8S'5fh&SHʳ[`7<]*"\v;֖0p@dCog-%[Ѧ0VE\#?CnA{1%ѕU#eY! ۠/bM,\*_(ri4FK,ZgQx>TFX؟Ѹ`SkԵ*:Hn,q_ "f`6V7ȹbC=/Jm,0(y\-2Te8iTG29O[[& [Y4j$_Dqs$hQ/+񅍷$BϰWWxdEA_dy]C<~8[ O%]9#[N$%Ӿb~@"&IAjm"k'p-\r$ ,20k sGR_Ձ% F4bYZ-W"5 ⦿!%ݬR] x,g3ו29sC)\ u8/07% MB}7g:IYشo{`u@z:iEa$H>NVer!p)E񴴮jCaTPbeÈWs& Ŝq @|XwӘNi$"HMN4 RYAlq"UH]؟}gcݑHSZBmm#t'^snWgFP[_[eug)f>kmuԣvCyk Me_P~,ZJ;{x>;n @Օ5QWÖ1.n;髽P,B u,{zY<%g.p[v{X?c#wRk ].A8IjLQ?񐚌10*vgv+)(l1ǃhsr6n[Uq?/6Q=(@RːUpO-X!Q^W;<"ړIՓ;9M TE b^匨LTQT`=?Eh.Ex_f (dÇRT_w4ȓ| ){",{?&;7\[Er+ 1tYLRQϼ~h"$"syc S/I|MfCk*hd׬E@Q"=GǬ!i~޺uQBJLzYXA((A vK׌Q_Iu͎mTDWx>N5VO?ݤuJd H6rQSF O$Y}4Oy"g_52`Fd2,"G#}5fk|qR%O*p?掅igWB n ـI[Q <4 XӀ4@ҟ"sh^'y{;g"Q>2HB;ۍ6D.ou( ݐyV4h[4-A `ѫ3ne;>?!p.Y~ 'IӅRcm,2fQ"Q'mU4[HJV[r2'<<قB~=P$a8LG$irqd8=G@qzR.F6t.]{h(rY ;*Q!>eFjyiT`:QiQN#Whَip_q?6@u.D = 'y}.,wLs_AʤwbyI:WYSޏ]ƍ9G;2{}7_;)te|0hbr4l:s:o e^@'3O@wJ$i7nh Bwejv Tg?mp1>y\oOy( M0e_a7҄ օ 8kZNviwS :ǥ;Vc@Ih$u=F͡=e6NhmD>?;Na%trhے mP0uDXwvsKJʎж5IRhWW@#tb6JOlKOg$LoH3S3khES؉ QƹgYZ011919cbc39e9c108408c02358f225980d75ab8e 03db9191788ca871f87545107c977ae65775a377 053ce3a014ad6bd07bc0f71b11c11a0d9c6c5147 0791caee842d92fb3623ec7037e72594ed8c7594 08f0891cff2f74fd97fe4f8d9775b4b780015337 0d5125aa9bf59ed986fa2447e2d3aee33bde4acb 15531358592c0a474aeea342865321f657fd9571 163c6da(12913489b3caeffbe6bb659044e356dd1 19995d8ea92c07865e6088ade6f9fb5cf5aaa70c 1e7ab19d32592565d771a2534a2041f54f5896b8 218171e56330376c51dbfeef1a7a4a46a15b7af7 288d92b95fc5592e992976134734031bd29f3188 32a81fa25a5a0689ac405b4a2ed331305365fefe 358204b158ed33c88ae4c36c3a987ec80fc61c50 373f78a2aa5816afab1e3ee565c42470fec26c45 40809a8c999f88422b06fef7ece2cfb900f8b8b0 44baec093d30bec4af6ab8a6da185f226cfd552e 4a59048ec11d8e64cac2f4a320357d16378fc5f8 59d01a45f4e9d9c561d2d5daa8da103e8bd4ebf1 5af8cccf18e71274cfc6cdb4b0cae797ed19df02 644b5a9e6dd21b4e441c2e6097e5058dd40f8d54 6729128b9e947d81422cd5943086e33f8a29a7fb 78fdfa1d3510f6708f28649e4043efa157ccbec2 7968f6322732c3ba03250bfbaf9834d26331cb65 7c8676d952f39d885f79b6e02122320813d5dda2 838f958b45d76730a0be92b27d51a00c732b3a44 861e8af102547c97eaa0e759587f9f2471fb2e2c 8c986ebe53c90f052b917140819839a9fd6e7dfa 8ebd2a5a70614ce4e9229427fb522b89f8c795be 8fd5b31b098b2daf6ba09bfae1a3bba845c8a1d3 99a313f1db1e1572443b88b26b1db53bf14520a4 9cca4ba902943d5ee31ff8b22ccd0c5cf5a65d33 9f66bbde6856128a0ad0db51298a2d1b332c4c9a a2e4e2ebf2203564b4ba5ab5e3d931f9d4c1089b b6d9004a4f877876421d0c78b5e2d6f69a30e47f b8f70cf488f601fef79bc2af41296acc46bd82b1 b98e35939ec48053f876c38ec41cbe7c1e7082b6 b9ebb21b8692701a9655cf53505fee30286835a1 bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d bf481c6909f478273d1a3cc66509c660dad781e2 c6595eb84f7f5b6ff8cf51591a134ede1855866a c9961572a4d8e210e9af70efcb6e7ffa6969d04f cdbe8d750395cc30524b32744f4499aeb11c4fd3 cf423324593902c0b3d8f095ead8fd59c8a1d3f2 db1d490093e07a191496186dd38b0531eda178dc de5914860915128d818c097ac245a955c1587e4b f1c487823cb15d159b96f5d7dd3ae68e553d21b9 f63eb99316e613c22c4f9223492348f5b2d6a2e9 f999f751647445020771bef2d8c4340ad0579d6c fbd7e90b167b5838523c263af55b11e7284b28fa fe121be47f872aaa5c07fa25d7f90fd2ce53986e fe25fd80dfeb17557b0cdade9b6f5e961c49f210 fed27f8711ba755d19fbcf708a889bc36560d3f1d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f95bb6ecedfa4c9efa2a15faa30445e40a0c7f96c