SQLite format 3@  . YYQ77Atableisabelle_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, "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 [[}5$ ]S HOL-Nominal-Examples:threads=6elapsed=446.063cpu=1625.168gc=159.452factor=3.647zXZִF! $]ŗXf1-q恈ބԍW_8Fa/G`|X&9N+!3N_W~w /dpP ȩO?!8zHFD#3; 8!6‘rT*MVƇtNuOŒP$@yPm"^]y<="Oyqn[䑾PQM1T)C^>f4N%#rv ~Y-@:@ m,,]2ٴ$褕`LqBG&{e3vpnbo 0/:Ȳ7D^w 'i,SdD|-S9{0U9(=,9yPi{󮖥Cl]hx?.b-c}P0Xnu+:eeyB!;ʐ5=wbxlvk+8 >0je?sIIc|8aTuͿiV]66ڮkDyW~ϓɜ \mrSyJn8VZIFQ7~4`\D~o+9G[8^+SW 5$Mp3d8V K{ЂJSUG|tpOZ՝g/BwWep+B&wCg7"$BSXnV^ca X_ݠ? Fe;(>q%NfXTT4j Ka ꩇmBz;r ӑl[\6'6燠h#}stA9U"mH6'EC<`e/DwE<ך{j#"~vR﫲 Ku>"u#= 'O: $D/ ըW/tGY8y3n *xvQ, r=>iOXCrXOkM N\j\ C'i;ttn.6sH Ͼqō:P},ƜglKm{*D?[WVTIr ~l `9<9ZWe,GA$rfZ9)6Qsqa*2Qa(&8_'4m:hew 7>iGz91,$_x֮^,ݴGÔr}d)9F}iJ^`=gC (‹@+y9Pw;6,0P4b.:痘Sbap¢v5Q[d2&RVG$,y7)\RKK .*w. C6'z,xECL4¼m['fE){%+֛qW;Ƀ<Ю2xBXU .yJ/>Prؚ{!ZS7@m 7c 5]hi#dc[γ[1,/ F>4♊Zd59xG쁬'fǫD+"w}ۗ4Dy^FGTwS>;?ѥ 05[7Y@FYNj%'{ag/"tڋ:J{\A+N'<7;@~SqW F' r9߷_qyn_3iym&? 8"WEvSĶWЯ5T̊{ 1RW48J%H ~L;#{?iKp|v'{8#GV*13` >5(ԄĤ7&@f1Y>vT%r=*5O#mpoԮ|J* vJHrdP#jvDQs !JX#Mur^b-âЪ#UWX \URނR>/JrW0pP/[Ug4|NAD P-'rb]Qo$))? Y#XOêphSɥ %JtH{iz,kiDj!ua'uP\ը\zj ˁgs|*Mlt}79bxj~uWa"``VS3\%Woaf-do.3{"\Z\tHRu^7M^~pj!wpb?oWOXIC|m O볈>$ɪZbe'/ys9iMN;xX~i%q9Gd_!Y~-FnORhzfN̔JOq>;%sH77ٲ M4FE"М+"1}|+ k LG(#^5Oi4 I(S0pl]dy'uJ..zT$ <_;GD& 麼F75Al,m5AEQEQ]a[YX"C#)q?%_x3c0JXںCM!On8Dx孮kyU ׌cI_g:B:smA 6sh4 x2p>EB &=4Cd{Q 2"~'mpQQo [1tuoJ48r }M)ۏߗFSN" d6ᡯ4dvKA FhfA0/o/6tpin%/,8ֱ䦀ME$p6Ei(◢-ySGU* tDKT[/^b X&M`R卪n %Bpf`C43镽 WBG1;?aW9[9B&.Cf:G2?#}8ks6:ұj-ՅMYD]pM`Տ9םrrnm ~L-_=0]yt(-6?p9 ڦ\AI}5a"蜴нh`L=lq1hCק7/ p*(=Bc_i^7dxټ"b5* ל'VJ i™ ztd.ES2%l~,&jAƑy&.[YXsb%2uѸ.OvX-U]l@7>4N'i$ĀNDLoc\ _y=f\4AABB6a\FiyCP0"zox!yo  ҚK%@zӨW0^@KANNQK&, nQx;4"۹kA&vWyG @) L2 [+㏳z_h»5H?(nHep@UfWN}ь#2{n<:]'u<[HC<kyor_r1)XLǿZiB`_U+ _v~-ϐfnצ"> ԉQe]X,\p.Ch//m+$kPB@ylz q QR73eRKn̓LA$CqЀUPw_GT'F=y!A.fEz_37^nmpxOV+m=BWi~98*b7zB%:[4)\&-AmB5+QRC-mm%Z6(֔Y{K?Fa;2+r5OjC\I_GЍۗ0D֞#s:XqLb.|P"׿$H P i6g IQZG iS\\c? !˿nY"V(rok+>`B:fY9꿎Lc"Y).3q>ۉIb̽}ªYDVUNU eXѬ\).yv3b*FyS)vDj1oփ†NH@ea#m 1.\RՖk;,% wRb(8F`SFQ-5Ї/?#^r>s+)} 'AWX0<{CMHBd:SZK6T"U"R:7]EK7"4&H  l˳(j} KOc@2f]՚Q5~+EE* }tG0X=](D0e;$>kNK'c1U3`:K+ib-_C;7UK6Cm9y B(: s Ϫe苋:r2MOBXVA$\eFq na>05Oa]J*W6~0rpBuLVzO 7H (3,IWk;o 8bSƣ$uFK*mjlzg,4 \dC;er\  '<16f$g 7UG D chBB7/#)]9*f'HY}0V<$Jno<sԸ m?5D1 q4߄17dX9낞،EJQ4γ˘ sxA}{=5#wc" A=׏Cy!@B{E9O%RKƐU/VQj>@-uɚ5diqNj<\wkՈFd4sWڠԂ HZF^Aޥf}R9jL)F>u;hƜ` h;f+:sSx=qT/o;2U  4HNq&+ֶ΅"!loɠFpp6~fIr!COb8bbjCԮ˻2+>Wh8tNgeEgs ۣY4s3K+2-g|܉ ڿ.U5phRE ^Y+0PXAE&h@3Tdb)Mq~% <5Ma <\ S{QAh뜅LIga!M}/Bd IG/ԊEo@CN<ZCѹVa PXjiuKwlK.%%a. Q숼GT 2 uė *ivs 8$&E1{r;W,Ѷ|0eԁ;"l@'.Y~YC-zኒhxjRPlO2W̶0$]=MWBJP5T(L) (FO! P56r 4W5c~Wh=Yq~6jf.1V:Ҳ:|U-Cn0̺1M3qR]njn`~A 3d{}P?ĭֽřr/,.agjmSw !nwTSzSLOV"/^iw4c):T 64天'Z֠>u>BӠ8vȧV{_q?` ZXYggSMkO>DaFjAr?5\o7촥t t1%5%gM^tav=ikZk==[˦ŠڦxC֝{5Sߒe /@f3C=tӃf8+PR_ .2Pv70,e$ZyE?7Қ6+'2འ[\cmDF3c%Ǥ KN)CnDFm{ހHnl' Y#n e?_/c c)j̓r?¾_=M*e4#aޥ{:nX۲k~"|t2'ҎL:'E  Qj-Qo% ˴ ȴ`zE]L1y倫,2lµ!^ƿ]T`E6r6h0#$ډ?H|3Gߎ b&gڒXRx-RW)eXܜ鴐jHѕUk[.{vȉQ;M#H/CY<)c&rHN햨R De[I-TWF#t01Pd/J?{V\ˣ&CțR:Vх೦1 { bG{U!T,v7h80x[ V ar|{8:j .vDSZ">~P%Z(&\Abo܅ 3" 2K,VJ_x)^:3 d/Hˀ1Ô9%vEߞ<ƑnpAJiTbyKإGVDT%?,Pv;tCܜϯ9[Ѧ ySۢXL[Y"v]qh1*DjWqČa x\;Zh߁9Lo#9>ڦ(rADр:?Ð5Cԩn| {tS@uwh'qY:OetttK?fwG L~"J?p'7o"Sn:NsҽN]3ק%ڕ-=1 'wyq,Ѝ){ K!RE(xJ0= +P=zJe4)ݡɔp6x?rzG/& Èa|&*H"WzBlcTJy~C[dNt"TAPpS}ugquHH-m(n};\7Yhwe`K2Eh[dTL3@E# <8*S18sV-Ax*umUHaVH7;]`}fRq|$ɵF`] NiĠm8#wq1xOgmp'o4fog$4݃ê;d2` jUU_jz`E$xeٚX&/$jtَ\ #)5X]OsvYț3a.ⰺh{G BIk|;]IgYZ7zXZִF! b9]ŗXi%6ͫvq (BΌ歃\r"B@Lq۰\.f9TceZ*9'{FatO6}]/K$ %IPRLFGqi0Gif9/wq8䳲uB,e2ӝ@ w.:@ -PDZpHJΙ>"4gjs] B`gv\N0WýW!l CH}~CO>Wd/;$ʼW` +^g.zp -3&^!9s7< llRϙFh4B󪅐֔V ڍ@ AP&oA2),kCk%"xf!fL;Y};l,*oe. ~aeMX7舚cHϞ_4ٻlL2\ q{mW!+X*V.=2af&H5Yq&|V ŋޔ;zX,_/QMQJ;ɼT,$8hTuHRߊGKL#&Ww G?n9(i*s8SKϕY_z \SU5,JWx<'NF:&XM9sKOrɡ)j?of/F#*xBUBFz&gG}5v-@C^dfST.2 D (E$QyצCnX5ժYz^$-& }Z؊7%ŘLvĿOy? lNjG{Ts>| ٥TszڪK>S'/88#oyU_AZ%Fxɂ[H!@M~n @ *$.  ."75=cꏳ=;*0 _*Hy6 3D}ƍ'0OkbOۦd6uQ$z2RRz5|jf oAYI nTF O"S& XD E{;e8<^V7?fP)@kI5)aNBe]7p։iȬG<B g MED>Ă9Q?e#/7yT{uJs7LB'qV )-nqI(H,cpUQݯlk1 ]Sمzx8…NoJT/jB/ѧRN\5݂X,ӫv_݅w闪ôOi`zY 4fS%E~qi2\R,C"䙳iKwB5M8ąA=Zf<>hR!'B~vwB0}i^5j :7 c$֑ *=uҜ@&[|[R`@`aG mŦyiZc6TK\Xx7Aə Jϖ=@lU03W3'P 1: `̶_L]g#@.D0IF oЌ[2X3]VskQ5WO^e_)*\KtZ,]fk؆Sb xJ!T@h#}Y+^?;BrL%"cizB֔--|<ޞƠ(\(ƔFDYJY9<;a&BrO*"1V:@q5I}3 ڶGj[w)he'YoWwtO;LIߤ='y@dBymʶ{A&5in,_C_֠Bˤ q[^+ݽu]׏Fy\2wRYXAS;W&ι%山oq~/bIJK),zji@KNW feB JK>wuga`, >5:E^{kyK]i8$ÁAUdN8]g}3-Q_<~Φl?cG֊-yЬ}nd[bwi ú~Z2ru;goBM Mj_cyWF0V-iuTs_%c,]txG FBJ {AQ\BNCu -}Hl>f?lf]t\sJ rs`ˤp( D;>2mI*;*JGبޱ.-vOsꒈJGqIX.eb[DCfQJ &nЍ<{{E$詤7P!t9kİ8+xRO M`qR5ȗ3=-^<ţ#L!1Tah qSi7G 1hLtk$(gJ)1ᬋLuV M8+{޷i3K&-cgQ), 6j+sߗxfȕ:Xi@e$ӵgs̸iTQHdc72&W=Nܴ"0e9c+W 0-,e}- \BF1xqg~2$RJ>w˾bD`̀9Zш\<*x۝ٯ߼J^]yY?+?\*TB)1%J8;o|%[hU[N\\!YWQ"s[/Xb;EP͂-~[Co}}҆lr`~ʜԯvߪ 8g?>_bSZG"U2-h`r$Gň^^ʓ9l_'FL0PP0akQ澪E Зc(%m֞ 6 ي/NǯRtkJ8 *K<u9 ꀩ ;CU*#0gʔ͜G3P'f  (Wq/[5Z=85z>d^gPO\_X14%rt΁e^̱xZJbZ2R]]K-R5pBEFUDŌ46q8z-]ҷT%=3H`+R[o hwp4B4,o, 2Wr!OyԚ^д %8q4wWmXLUS,JI,]͵15uVGbk*4RimvH@zLtT8{T;sQlMefr6z3b* R:2z-ب_Ht5I wNA'zڞ(PL%`8X^96&X2E4дكF֒1OZ)i8c}}uּE Rڨpq"NI0 ~$( ?zY>ݽASo1qKQŵHB`9{7WY{,w)L})#mޱz ObxGV^~Td R2 ߔP:T dÃ|qAinn}rPGKGOwR1x*632b(h!YR&BJtMU D@ @0vKdqE*&&ַ wMDBd~$f6%-E2n=2^W%sKePqL#kX[ZzAV6.>iW(?3l´>,@ +/g`7s5^+TjC07,zX\ǷeH )ۏDq98T*w˛] Czk9qէj G no0jݍͬڕv9mGyf6֨KÀE׹ŏݰ ,4acxƦ{(# n=}҅z^{l rۏɆgzJh" g4r`[(/ء E~N~C焚4V 49_;$8MpKT'cm C5]}̖Ah'Ae٘pl >Sʸߣ o|OǞN ǀQjN(leeĒl;[22#/&&$iN?ŇdfW$ h䁨쭫 a̘\1B =(1w6.*Fnv@;W3*I6×/&؆rh.3Z2fuO2]OS(ˤӷϻdj+;ߞR4`gKfbp:I Y3KH})JVkyp5 &*]ӟG 挄HJCBi+wиK>z<C &|;+ F?* fn´EUbOCݣhO硙jX<\CX 5w%@IpCKZDo\U}A/y[OQ< ײ2:4EyAχeex% F!SZuL^I8ʜ\_Hj8tVsQʹh F"B3H[tdKkblkb 1d:TrySU $> mI.B]1FGr1dIC3o;{hN$L`<x)\6O*r g=o]T_~eHWg'x`& b]ԒK0hZ#[<|W{{hl9PjqeJuZz 7W1ܭH% &[UUN:~gL!w 5_uc75?k_.pX5ډ熢>K5{60bjo1nv`s>S4XJ!PDqq=eSg7psF5tpeajm2R)#߻?q㬶čpn vUrw!߮O=亩KwCN-aK{]#(,k('V/#ms`SƐ>z_<=hnʑ \'LԉT=58=Op#4+ }[_;bD$롟( YZ IJ=R g nj_'W| FDcY-ٯ! B_EylssPCh(s]<,UQ^ClH| Aޟem5ֻOx@NCgн/DLXϹ#`XT?E̖*;X|w^})CS'nJY},);eWEJmoE |9]51Y2M$/ڠ?kE&4-%y:Loz,Ս /BsmHʵ"V=,B}!<i,*8Xy/Hnx?+#ՃqnS?uXD@ K60B0oȧOmUFҡKR8M';DJ鳪.$ҵk@M Ը4ޖf1g'zEd#R[u Z A5 n<|TY$xOW1bO}`k4&E5 t =-Ɣ{,ifJ!ud?vdNF#_ƾv4s~KQ U|2 EQ4$R K7z86Ex$Ijdrbe5%b̂\ uv=N"215*ۗڢx[Љڽ'RI5TT :=51:) g qiȁ5; h~]$8=&mJ΄U ?#?Ep~ ksCfSv==nEc5qO[:;N)ZWsU+= E_}T*A 18T1rc-b3bKϳsW / WxuK[1ec}Cy9OIf6galt}mҐ8SEX0hsߡHp$D5筴)i/vg1 ?pŒ(iykEѷe?V&]ipW[X](JHύ ;,.kTWZW0yvJjbև])(4FcBD((!@ L9p"'[`퐺PCHLZ޺ۣ]ruJWj͟E-܆6N9x]:R;ͫSaNCV.ci(bwEefEQݞޞ @ :#WZ `G2A_~W{6 5bbcjg/1g̗/}1p}kVNT3ٽ-ro< nJڶ{mZn#y>wW9IkZ)1z@{" ehk?gfaNsTIh$i?ofo.Pw#S %KC A s&hPJ+2!~muN ܈^?Ln.yS'l6|.߇ G*6`*jǖ.ر,֛yQCqinߜolOKjz3":`2F'Q*_dӴ cB+ r ( |X,p@i5Yb}8qyp) K -ky91%@kgAK-F}n'.gIJW q,AY-EY`ja+UIiyQSQuǛCږ0 8+Up-<9ҡhl }Ef^CpXCС:{NB}|KQGjtBWy\1z9uA,2.tEqz8vlOy1"+T -N=YA5=@!3 2>PLRcdM #ߝn;F Ce=$lJLkhH@mJ՝ M*F ^-5Q=rTrI'S;%w.Aaĉ؏&pW9)3~AiVxҒfobT 0֗i& qx1J-znHZ!܈v$.!?F( 8>h/?R8+~ ržg줄("I p Oq9x7s!eV\wn&Oً:No;oUy_lmfpJNd38wp LTRxFT.l| x- H'Ho;789'.1 JGhО@0i37{ԣ5л;cY ͌'PwDx~AG`O$|(]Z,]uo $\9N7/!qvu[&C+U~.k6#n CXW=NS/\7RlxXبdqUTO,=2՘AH(xʅ#xYTCS럱094נ26zh0)tPGWZVjYÀ;ύ\V ?ԓ qwh+'J…ga .G,H 1*ͯqT6}ovvN[\##U'HAUkW<ΟOtU1>ִ9`,BfmÜUo9dj-̓BU[pѠ\6gUyrYʾkbjLԖtH Ў P<$: \GG*Q2!01|܄ R1Wxw(b׌֩ GE:_<#qӔcINCmD`b(1%+%ߜ搊u(hb2k4L-lTW݄e $]݇ẃuS{k$Q{ìh9Io hF.<|eo"z"L};~ /Ero-}~lZt57NXco`tkhw9U捗˽ VEeZҪC3M1Ls3:ْFcp?IDijsP/čipRQLZ}O)V&o;u9xLzd h_Fn~x@}o$"gŒ2'BC2%޺P  e tph?eEU|eR,ߍP`p͗O˝ŽmgϹ[[iNYBtu ߌ{ӝ7:Õ:Xip"4r0j q// o=&8YAEW {rݔ+۞tG 9㿄\ Z飯^@7XFgHҺ BēGSEhn7.k^o]ETԘ|w6Qrܔ>#Ogt3 u$IaB kR]!%KgP6 v<)Xz>F/GiDbluX!ۣ Uzʛ׺cn˯3&]idQ&fJ;gr\<μۏ 4>e˒ ּB:-~NZpHco N 0RE1; v$M@ TC pO JF 'c&39ڑG;*q>+h9WTyj\ *"Pcw=8|(,7m" "T6Ջ$ay,8N/׿a/ 6@:CR/RYâ,WbtJ%:Q$Q ` *I˧'3RU!:7.ozƀ5ЍMS7bs&a0ԮEXaADڰDOLB#Ql{3 e[f݈xH%?BI/%%2EeVS NGlUv^\lH^6OIL!E}[ޓ2kgOAF&'@MDa&Qo{`jίWŬ&ݏTSRB)*<>p0LKwѓmlm Dn y clkY1wf3V+0~0mT+l]-Gt[ { u`+E y:KM *+6/DCQeX&DOnK,nS@w unl)_MC .ec7| ƽmX"gCj_9w=t9nI:nx6}Ȣ+5Q$M6 1:|A&:jpicD^V2Y&s^,H>B;4x( u"{NPVgp ޹miOU?R'.̳zN+،E`6|۴-'r[Y 0G4 7^15v;ҒH@bWI4h ˄ im )omLx|o/\fҥZϝelk>X!d<Պ\xkoYEbaq^KD?,g2QVT=ZYA:;}ʣ CS#)Psᅾ/&H1im~$v-@#M,e!a᪾?lv@ -/PXhp|b]wZTWf[P8@_w[8~МuzB,P[!WVƉlYd.)Cdow.-[kzNPu02=-gt$w٥@Ya7#3;+ WOj -5U~́s5=ONMx`#u03 Z!-?c*< e1uz]F<`Η|w.e,ƞ>Q{ B\$:pSb Ts7|BɍS\l'! R#F.~[C[) s5?iG؀㎿·|Tn#˟Ԯ/[#wK#*FV ͕BNv׫ N$̂7{@N']^UR7cHI;U3/~_ $B5~}yΛ|}_i؝u~|wIU'i ݜ5G&+O'ĭhq!LzF55(:InV"0e7_/98yp%]"8Ƴ!2)FRH ?e %-g"FoaL##Z/vZ.dRzl+ޣի!oJtuAI㻪$mvko;QxPMds %|`3$@8H*@ʴ%oɮD8JAh80$OȘ12(LJw騬\$uXk]T-ڟ~3b{tzB("W@@/ ]T=~-&4ysb:!=KJ;ٜzh^JqT$Bl ~ӝY2mpJDpNdHOgrɺazMUHgpnbFhW.lnK ̵'Ӑx6|LL8̛{)@ 3ku͖"de HF{~\0.wU48_LC ;NiWA"LrzΣ<f^Bf$=S pΊ!3ՎAs VޟC !V" /UKY8'^ +hyvЊNhaN6&RuEؑ tj  8pD$Ciؕ݇iV4.el !_Q{VpUuЙd4 \_yaefpY#Suxqt\=!mt5u&EA3ĪE;xE;\4'Mt|hz!Wa =^J\@{&7W4Xe~7 !R1ZNȑIOGn2ކ`eg~Ψh_.?Jԟ#޲5G w#[XìFyX?(,Ο^뙥cuqp{DJ ΜAo<73,?TʼҥLӡ1Iau'Cܱya ڰ\jEx Ų_Q֗FyiJ gh?ՠZN-"pL 8~w=UK!pYz$P1+\ov("% ގ{-_!ϼ eo &:sb ؔ_BYCJ.n_p%`FI0#Eߑn3%il_ Ɋz&%FE;ȲSxkAJ01aԨr~&eAӆͰz9sc2Up%&&(Ƌ `[ILp16H]-9G/yS^``g 1q/?$^R u/l*(17m8OfNI ن\9Mg.hRߖR>!xɑkPO- ;q"g1"z@OCdppOop-濳o@YoƁϨ8L­zJO[հd7ٚ}K3Χ_#l mr)cQX'R9gKtCfE9 y,+* mq5!PVo:PxT Xغy*fwtLР8 1xk/\ޮK#$ծ!# >#)K+9Ai!M N=i1;o= gP2i)dY@_ф0oοK|pۮ]l99N85t^Iːj*2qFzgJd?Noo!CONxz&=h,zԷ]CND ֮ܧQJM-E=Im֐f \WB~/bR.7f`~H/P^TD>)aD[[}ɦMgh\:O]C}^Wo w-popEpby=TJ![Gr6_sGXM)lZGtU% CW[$7/R3E AVa1ˆ[A;^R 7ْ_34`}[uU7&lBe:˿7VY NA5eF@.dDv.'+fyOk{ y)GeeQQr> s-2:e`A zg'h-C)="DŠmvaflj=chDWqv|B{E_XnXM"3 PB13a\YJR+%##h1@^v//w V=>͵޿na9ߎRY&L(dx@!ήzP "g.te(t>bl_CXƠŷVR tbcWSٜ$ FìGț_(|ahX RA3Uҿ@dh> I` BF^(kdsn"78gNoV]lw8u<ÂbjR 3W&ߣ ]Y .돎sLߜ>i̠oj`ЅIknDF]m,C ՗.Z4=' O=ǼJ x!uqs+)j!5Dm‰H6_=+3P\,PЁ߻ȧt^ڵ_bZiWk\.sa HUK jePnSUt/ MCOD -y#^EY䫎5ztG\duRskRcf*7:6nrȬDŽ xt:KꖩKRZA=4Ip\@!KdS"!ѡr0[}k8t\|9e󴹜Ug:=M o)c<Lp2w;C!e@:ěT%׮lFڻż1Ѿba71xDĀ22Aa67z]-j:9 +VSH\CinVtӱSCXzFƥtdW,9{d<<8U\+Gc9:9쁉3ӍV>??^c\{Bwy("A,R)୻yx5  u:Qל?`ZK %L w纼 +R+`9ok>~r.a jO8D;Xp|,?8s)dUF.(lGlC(徭 I[%>B Nrn'I`axbLR1?z#/#Uj06Ajtl~=]ɯ !4rEJӑA TnV]':icXG(F#0o(#2N{ &2 !53xWTX~ެPu YZ5T'-e_$!4 DѢ_u<aMMO@E8- Ί8 sd5v1wv^+#~{\kQ uI@JԺpU_֣*d!Jc4f+L=.h!8Rt\+Y0=B/bVߪ# I xo$X|PAG|*G8,ps5kdhWݵ]+>%AA:6C#޽r|@N;2+sZM00#bǺcpo#I1/`r99"rߐ,t􎔧kY&i98ЌL>߀zn>3mR }fyQzxscqx eЙVIM Ʉz{6UElB{۸3 xѧife ,b0+gY]v+GAU®lM*U56`~568.VhH9WᬻApDs#>2>q VEP>9wΚe 1M5_DnZ__i/3D/.?Ϙf2䄍swz&u Ot I6%Lvݿ &P|RN)TMsR!!&3H\3MEbQrfL3N#=U`˘تj/U8np]ɔbZwn_5-ſ0[l,i0y cQl:OiQUt,O-3KKBcLD4oeA-p dn }6,Hwz$fܸ.͜/:"[wbD'IUUb\#i7cG;_4-Iuj;?ЌT¥".+`#r."-7悞-$ܸzވh򴓃6Thf;@`hi@%لq Lz ^!5 |XYI hH/Hh'JXΏ;bqu= >ķ FZ@\ 4ocۑ4pG7E2&bwFn*C\@3f#*Ƭd.m1& qy+n6N(1YZW죀NDD쿰Fjg #pU ^]p]|6`"Hft;жVV(Mb` NsvgaoƢ:N-(%GbNڶޅ?K62]Z+PqŜ@ Ɔ_t&Ab& +4 /NLeB>'PPՊ9hJ9rA. /09 ګ6ӗNBK\zz'iH&Ɖ(Ïҧ\bc!JrFr+]ZַK1XZGPĩod@| (GD:v%1hfV p.Ė1Lv/T)13-n&wO/G,֢3(L'`\bIP6>l<Ht )Fi}v^W>3qFЋ&o2&׎a )ն!N!f2qĄ`lFwI^9އwg*DODt)̛fOӋ:N[ #OM2mWHӄ؊UkDK;LȡPWek k"@Q^2`r`HWij/U/F40qsNh7hF,q.UMgYZb8e35a7e421e487b2639182ccb4a8c9a79a1f2c84c1c895207ab9e683ba172ce2764b942c7875d56 b18a5a4f54c33dfc5175f5d8feb995cc7463605b da5c9424883b2cc4d138889d75bfb1bb769fce3d 3fd811834e63f9ac5944b05f13916152d35a54a2