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 88LD uS]Slicing:threads=2elapsed=599.850cpu=1006.988gc=15.704factor=1.687zXZִF! c6_]ŗXf1-/6vR[]\Q(U] ܨ)yZ>-ۮ p1ښ9T ULX9qLr HnG^+=]ѩJ2n`o}cXtV_T @njZ.WֳSUUD [^{\'Lr{B*'(b"c5 8Q", D!ēFN/.E+V2uqSKL`ڵ j?1 v6[zH,r"u&-eZ3pp߫q0!SCNcvN.$ nD* O<\Kb+}/*ZlM!RZ GP)ьeQŌ߭Խ?灅\_|׽[B,((F1~-C`J4Y'‹ ' ##B?u7yX5;NZ0> .~=^r.2 eE;(9\NPP}TO A4xeBdrf'CBB[t ˃~'8MDROeо lm)p3Z hqc]py-׿AH4Ş^Q'exK+t/( && qC~F&LS'ϱQ| 4݀u/IC_`k迟3ϋ Oޮ;2Ks޲Qc*n?P1RI"РMk he{FȢio^?3@)di&*nZCĒN^ h&%>`CPk37Ͱ=0[_8L$៙҆;RbCd[T ǶP`R'^Ͳ5{+\#LfMnp/ݶÔX(>L@Ŕh{+Xo {VW:b¹? J kfRt˂+Jv/G skB=#Y/NU0-cH[dz͗ӇqTy;j>1oE Y3d|Xr=E׊H]R#,U7‚)oF?[~|_.BWQ:Dg]d4~?y}' Wo1q Pm*f.–.RhG۴KvwpC.`Qet*$:A>֑[TUH1ǕOll%%vC:#ʩC>הl.j^2x"i$a+:}|uL=q`Y(w[ܣa1`uxg}K?9u0?o:{; b*eZ8u=_s|셹@7n.z|zhdD5abLzS6Q`{3Բa+y@!UVІ7ZMt<NJ.JR(+¿fOܥ/.ij2>3TJ|K1 EQ\R\CF=(w Ny1%q*&?U1u m%g])7 DdnT^zy+R   SlicingH|6ƎOo2%\bgxe!ۈADX~!i:Hh 0K~,;84q9,஽Gy7Q }*6) eQFX{S}*삳^q0܊eb\Omt\NiꕎZn0V3?>\`w)|iVxYҡv~ Oc"]Bv)8ӺWz__> f.F^tms VЯ<>& \*Gq}ÚVuOϤ  ATpg ӧ3# :+]̛F+ &c1,ùRzI$˽ɤ^ȸĘKT_Fq߱{.4Mo{՟w|r;PAW@b <q6q7xWaI֒klӀF{/͇CB%S ;r#@l{hAڈE`mdnk)콿׮8&bIU@>I]8hvzGd 8[S} Rh@*$wG <)49ƍȦE`䎟hEGPn} (q AP~n7ˇ@hgPލOrw gN_HLy>Rm@`M LȜzFyAΞM-Ji6S .H ј0/Ь*4Yf-P*ѾZږ#t4ެh\ci:*$lEqFňbB }zsjT-od$cu"ý6@ʟOf iU^q TSv6D@sw< pH:܂ 'YCʏd ˑ,{l$U\T*67CK:$R h5\8Am7yg??&Ef2=a<-6-KO칑ؘͽHj=ڕ(^ɝc(. j׉͗=kqtF]uXi dzvESݶyX;ɇroB0o.݇[H'e"u  ؖ|OrAxpA:Qs$2,5V6YZiUM\u6?Ouq _hnG.zտrs,C+G fgs`n%&,Ps;IJ KvIw HDRKPHS~2PoOp*UkR[}AMAY(ȗ\f t,x^l`JdE#(IcdyHp+j)[q!T/PU8pE;c޶i#6|6cNy5'0iku(H5e W-o|!aH:@&R@8eb&ؐ9Jg>k]:=-UVu9~/\B<$Ć3]d ml"ax*շFBZ2.x)48]ƒ=L)7QsXW,Z7in&贅iΦ񒂐Nmȇvi?[CF8SjUgyWD|ԣpnؑXMCߢ >S4V6yXao`_[.]sZ@0#]EԾF8h06XJm݌(UFԞ3>c:fB%LyQIUn>Bi^@Z {Ÿ_AݏȘתrf[M6RiA1hu~PZ(#̄c=14V sѵ9ewTymʙ,_TJS ߙ[-0vK`j*Z lZz0,48ysG/Y j wL͸"G݊>mJVQZĂkޣmH`eEېtK;tw)(q]T*"# tPXOmV\IV&&o *qf ưX[2_%t8t_[VVޭ^5rpBKD/X"\EQk]v^r (ot.c;km( F0i0弖i&kA xZ.gqJJMgZZ.)7Q,u*wnw/E-CF`: =E'Amy9aavjUKNꭐz96~Y-sv E֏zw4h*Oɨyoș.5\*4tU׽DXp\.A7@O pEc=}՟C=/,Zs Ϝ4bŋMYV4%Ø'2vZʇMK2W<~R1b \!D^x/zyPuPa+ Vhyr#(Y;mzHpn(yWe契Bd">ޫ% ac&Д\08Qpcv>] i?N5dd'0WQFi#q֖19٫3ڝJFHMC~[Dm[\L!Nlj 7qPn9p=hVՋ#/۵AJuU!X~x^JBWFT3r:گ][G-<TC%N&!Dwlחe?*b:BLWkG&J(Gܜ^|sЍ_RJuRhqgIw>u odf(p@ֵ8dc:R~+k픐'.@w< 90J9߅7w">m@?|vx2QL;%F' Pa܄2WC9[& 6ySlnusܝĺPe7π2D}7o|ٲiBޙƷ֯E`;j 3^m6jbVh{;=Q̱|yx\!cʰ8<&F^~%4-N `8W"? s ))p엩$ 0mršʓljxUUfU jnҌ#֬s!Mcw neƻW:?a;w]1}FyL'pkFFN Bo۰!i|lfW"e`wc-E{EeЫԖ1:S[j.4RclR'_ zLgLaՆ|̶dfo Ĩܦtqzȸ8FD*4#4sWaq)"O HAu5^ ^7䥲q!(7b.2VJBf|Cweb+ǜ;o BZbOnJfJ>9c33owla"}ʏ 1\o!WUӥ`>߮01l\A bEwՕbfRva؋FV+~-\Xݤ鷼j-jn=.L<Aa첉>z Q~s> z:pAXhyec6OӲ EhZ 3)٬7KGT+N6T;|L,w>,2WM!HJ%l> >])NnB!Vx?iR`dSz^uA}}8`@i3vrvUK)$FٜR))}8|j>Ka<MP+̇EoLI.-PnQVL88LtDއPuįCAa NU2('*PQt(Pl: ;#5)Ja c z׬+LݴiI0{z +ڡ=)C'fr:]bBpv5ظ܋e7%k_XSs7q>8 TSm靁jZSvy-CE˃l35Xtn*!w{˩"#X =ZC:pKc*ЉAWey^5EFZ[/x"FR)/D$u WnרKZ@_bcA镨եLTvGQ Rmą/kfQwΦտl `nqF"+:E&O~Fu R'X-iŚ.U-%T@ף_XVq+BGT`k|e>TOܐ[9YY^+UL}3$sOgRTt4$$AXN|Kt~NW7yg'~,N9Š&iJ32>!1u~y&xZ`cnXD&%㣆TLΣ9V 89;:@S@ 6p(q/6;Yfc, ̑M80hWBŢ+A E:rm*SiFT ȸ iX@aEiaFټ&Q"n A1{r /Q'%~<@V >Q͗ǘgJI@=/ltz:Bkѯ ,B0Pą^6nXR UgƼa]3HzY!Fk(.'zIBzYGʭRsh`2<}q8B(mv7(ڝ=@) weQ|v=(4m6ė t5f piekc<4x_Vd<^RܢjD#qB:c ꩕'u}cص0י,iYU\1TP8RX&-zVV rxM^;T{w! H́ dWMoyf@txР7 N Y]`˗sLrqB}<9I PSX3:9rmH[嬯J׺ـI 2'ꢌcHW.l$= ':43#Iv_}UҜbI]V@97м.ɒ\*S XWTw+ S2*R]LL.W?8#!owBAmM 3Iy_J5T=A BXy]ffe9+Sf[m0Ug&uc]ܙOWaFOz |$i5! :p~?x1?8܏0& L!eQvRp>a@(O%o-ΥЗWQt}3- "$Igk DfN?W4A e#PeW4k5ȃ/3/Xѳ;s^0@/=ۊҙ$QsxkH \yS׭390nmMKI 0Gak)Z\+N5|ߓ# ʥ¸XSL Ti)1. LV,#fԌ@ց[ d$^^ƒ;_Qn@}~| )-n'IuW< yNv &P#{T6;]0+>;lV 0QlKp;'5Tx^GAc{$a)dt[;~?,S_uJkmiGbpHw?gTZ4_% 0lxpFl`ZFQ,̣gWK[틞;p3眣yNWĐ:qG^h!:Ek}RZix _[RvX1; q[!lD)Q `2J$™=c黫-\y=1Dn+%Cч fZMV:k~m/6orx,X0gl e*;j)L?N^\GhXK[ Е9hRe)AS/) ~A5qgq/O;IX/_A&sY]I/C㒬uR.FRJ$=el)<޵RG6AS`XK eY6!Tc |Ҋ=1 'J yT ^M8-yxON].5wȬ좮7tRO;Fmh'PYhcEQWfYVhbJ-10x9&hԁ}{KT!@߯͛wfѮˬUS:)a`\'{Z E{SF.ȍlhЈŒQo].α}Ig.xX=Ytx*ȶ,I+ Lb:JZ2<\SqL-+aJ'SA^p'8紖c`-o>o/G|}aUjٛ+}:ml2\@8E]S _4Eg?Ǡi/%,Eࢭ@ EQh!Gȩ?4_ܖ 2ckkyY`@Sٔ.J<|L΄$ɹ,kmC7YO'g+ &HDƎ&m-Z)/W,ŶtCr>%.s\7]}@)VS:|hZXr:XF=2l=ێyۅeCKDPpJS ޿qTeAQ޵jX[@ BW!tDu;M谇gvl!~, ޴h.aM2ңZU%T>b}W Ij ֳ֥gX6v訾juwz-EpB 9Oswf$)wU:㟴" _ X͋;eWY_&CJ|xAP&![tQ̀7y"\e y6+O\Q"` }0rn)$Q5ښ~&hD)nm@o (65S"_PZPx ɯŘ<9=4kS8Ii|@2;@w$XԐ|iCɎ>&krOKę@a%C3f;yGIQr١G$}_\iVASnn'umx~sdW!p8:N5֋9@Y. 3ҿ{)$AwFǍ<]]Kuv^:i4i? d+79łQ=˓0mӲ1$12-,5ḇ*8<UYK<eM&d_G<f~$v2r)zZviRV cE]ڮj#9(BP3`P"aYV7!`e&;D ˪^(؟c4N_ƚl NjOE\!./gZ[P,.~1K%IVd`HouuI^:B@IM&`%7a?<,8B[bdmR,-C7ȄD_B UjR$W @~'@ZLLNjz <4"x##E#[Z{Gjɀ&l ["gYZ7zXZִF! &k\]ŗXi% ŷPQ^wi44@h& $ålY` *3]x[ JZ}S& } זřyBbD$\9^m kTJ?%#_^ߜ4,R`wYUǭbF >O)~,&^:s-)&;"[S 3vF)+RCѽ.>?oOJ\!? ." s/k rE>P\E.#Bp@8SSP19s\Ш_YBy?EXdcI1 %^=%.a~H_\]uV/UODR!w+ 'Gb^#3i=A6SIse^> +;@@0ٲ7el(Ye>4bp¯_{Qv(j%Ef7C|/`43#==r피}ebJOo0)ny1)k҄[YA7ni|[L7@>w7N/!eŁ>=*P; 'K`ߚ謎ZF(Xph>t,\4%Fb@2VB[Yxф] ~ ?w.`c4xnAe܌޽;LDwZ-Eaׇ8ܢ[yw"y4h:>_ܛ'V˧+6\&#GP\zVݹ /n /$?d|s"ϭ5<>7Vbݾ Oc` Fio8˅VLm AD\5K]d z5]>f\^>k4 [ԓ#< Sk59HV= G\O ɶ$żD4*p ԬƲAkD˫y"+i) SwfӶ$w]S^g%tƢ 3 =,'崋G)iiE<;AO2Fu^!`U2%)}B7tЕ2D&zqf߀4e:L%*X4]g!2~ѥU1컲۾7GG!٢ڵZi[賰_?f)M ̵EӦkYW\[f+C!R\Bx5?7yNHjψ(&DEӈB7 2Фܡ dr(kԐ\E cbeAW߀=mG7==aw) uɯ =oxCHA;*f4l/(#",Z WBUB.\Rպ. bڂZhUz#\q H6WW.rfgs:P4QG|κ_B|8D&$' QRV͒/t91Ok syoHbums*łLA-b6u[:7aG~)d$Aq*7gKqm3Wb*W㣫V"dF i^ &iArz/M cUb Ra"&Ĝ;gئn=v%%ч>BD"ø힋/xs\:}[hI "=w̘=jFs74=R_BX9e$J&jzK7TC?*h`| \r>tyMvƀvf䪘!YhMi˂ [z E.ob9jةm|bɭ'REɅՁ>tʓ_}O}ĸQk&r)d"w魳@ێP+ʒ N&:H}/>00⋒ >&kyދ%m/_tpSnHj8ɼXHl΅@)Uj~QI"6G͠L!O[c0b#\_Vh|執ߕ"i@>7ЮDPQ&o|a өBp*oӀ(]e2^WƑdLѓPe@Z7J;4m+~ɕF9GC"C`RI6'h+ J`߯B,?JP(q.b:Z z`P~`&@?B`rEC}9=[[U0 L#_a1J/8>pǵ@j`@M5/GoI/Oi^+rd 2<Լii9(;Yj")Ox'mds1q*jfcN$7Ӽ1xϩYd|%UI*{K1OFIQFA+ҼlabeX}:$53G#ڳgrh ZO!M|bv ܤќ0$}?"J99]|-frQE_'+ѝWejR:!R%gEre?;a83Zq5QojA L~;hPٶcPHW~t?b/A3|vDR7p%) >jyd\v=g!੖#:;ɡǛjAyLh#b%͹ˋRs,H\ aDSC 3Ӷz3TO t DOJUGhX6Gg>#|k3y 5⫏4&4)h*AzFBl g62/mcFnJ9>-ÈcF++z^s#e%#fhݩ,cJȼoU-歮TBh ["0_-rlpq-&L Lt֖SJ*WhNce4S$awJ/bهs܄$]mU/AC ')@!inA3j5~l1;e:Œ<\HeOpӣ4A>VhdQ3ç0.QjB )-3.^¨sYA2fX*=ig?+#;aP;:("Hp3Ũ2fV &r˪ ͊@l1 P6ĜE 7ʹb4|e'RU~k3= yL 1Rr9ź}:?;2bPyU}ߺtY蚷XX ]9Kux68W11d{U!=_1k^f0H7^#@S,P׿Up5څK;Ϭü}P&+6rIЦLXA9i%*2@ mD1V 3s|@œCؿ"2)a5&,շkhiK 9^0+Ä9"2 Q4!}8ic~>]94s!1@h)Jz9j@SjRF^8>=&*(ҁvV$ >pf2*23תnS(Bʛ? % RZӭ)Ƃ/.%爢|J>l &_&{ny[zt+)@v٦P*(P]f*c%! CT^!'Oyϡ$79S%-2 sJC\1?ywD _%RHV8_V˜H)nߦb=5{-ޟ=,Mzj_2oXQrnZmbfR :G`IJZ?5ϜͶy/!w|WE%GMtx?.)b,>pe1? ݘxtR( XQ*UNqf5ؾo%IW?m-CEYkfG8$mǛ_aiXUUK1r nDf Q?m]6v$a Q?Kkŝ;vc$,ќn k0^+.m ,N#v!l@l7jF1>Q)uEBim ){'0K}i+lM elSME0RE*D&Ԭ[:cGI=d$?E+/om/8lب& sAvq`RŘF0t-G[89=`SŅJ++ҿ,B }kmM-QYG^_Jj߫)pAP#zC8+gŚ5_fE+[n%EWY.w?|Bٰ*mC\Ǝ|L|<^Hޛ_&T*" nTIv$4 Hqeofl&HeBwìn0QPF3'y?po ¿|L3Φ&$,d;UJHC2tq&F5EYx(Eh(tk`[*I ~Pjkr6u; ;<<&=#~H(`B~w+z^ 3϶Tm2oW|??|e&6K4fi1{)H6O<#-yu[p[4{gOt=ML8@Ҽd&\_C:Fi7\-2W+Z`Χ025\ D tfU[M8:TY;U2@ǥ;ONq2D)nh*b\+4,}7`[W砜a07!  n?Aqh23/au15h5c /}7 xAق ֈ#j=tQKye,3<#ZvEu*P|"n3̭ -5@x+\ܔ!,PWp|n7M[Qk1}刪 3OrjLC.Z`:6%]8^k dY,bVBuy?&F]6T #k>@f8ةzy0x|dRfMxDt oߟSPTT!9s0ݔS~aC* M8YJ4MЇXc?N_2]/ *2y֝dT_I6D&-"βFUOVadtHm/ݥ|.KoQjr̛jX qEm0'gmbѕj 8+VRj28D ;ͬ p9X",isN90|;B w\[53hg"2bwQdLu1/V\Y8RӐx"C>cxԤC>Ġw[6= KUZ萟LC!? 3kCf]>RI^tyPob5[\_5TF쫙|ЁG&jֶ k ء@Wj9;tU;%ԍTVo~Kb`k{ ѓKU4K?eR#^ج\U@tUoZNFtx^^6UI#ǿ bA~8}_xSW5nwFT϶:xK}a=7#C1FU=;๓bS}A~J,Prl(zSW)$^ⴗZt]%%W3"Vo2Y pI:(60iRZoP96А*I l`k fRp$؇ ̳(M&oHVtZnfJ*LATf ~. ͚"5]MDW ԘMFF9q]cƲI7+r2hVދ'o/|Cr d%mQ9 hrX@D̽F)tGMVȰ3\WzlSmbMmv^AAxF^zkd.f KyD)7ۆt 4rLMԯ\]MB TG n+ۮKOשDXx m @H ^%jIz4duqţl}ki-$V8Fm֬w/K-N˅ڜEW{9,6)p_"b^a,:qU N ?FE/6&2 8V%1̧I LGxɚpy_&9V=nm5AڇO4aZ ?+ ̅|=hlP {_D8Γ"l&7qX mkQܻdG!q{=|5d $m dܣEnioZѾmV ^6AO693pSgR V $z1Iڦ;b޷-.,?:`0ףie-㘡 Ԍrkc7uT Srl/(mSQm;cu54ו$SU1 1nxk r(UL|#0fXf4#vOT*l;ДqDܤvgAfq7(7!cEغ"p9S4PQ&zYRӞO;u2 zCC}uc=70U~*jFVf4Cȴ9} 7qU9$A~wYRYʽ$K nF H-h;I? q '@g*7O>x/'Ņ&'2fV0=1z,,eU(t`V*d6Z}. 4o3h:ymy4\r>jXK޸7FB$E\%,VtMy 9"i¹w:Eה1;;G9J5ѧ"r&&Ҵ7. BMC'jtiŔ6u>pr)Յ@ Jp*J؈'KL,!Tª?Q̄(@2|^jVت g"2T*=+U5E6l;[9]ݤX; tPT*GXmj9;X Q /7ؽ`UuSZT@h Kdn^hxh%$}=lJ/ҧ: =^Ҟp>+"? ZmK&۲{Jh5Bl=~T`t-0}JX. i0pʭn)!<ת@[˧8.g(.g6i_;BW_ 6yalD4TȨ\ZoE$Wܪ;9|JaGN3*n&S1G F:.xqrH(0x!L^oJD*Rh,TS)6Ot*l4ͱOdzP\$G|)ih֌ݏ( &q3 .cW&T!Q fUmB?Vj 3ע}UxǤő/o݅` 4C9ƒXJQV}\ ԷTi %+"&třJ YveȱFznP >5YYTr0Iߐ4~.^ M΄9UvO o(G^g[4R͋2YFuDARN5.~ʂDaH'áز9a?H>^QR?ut` _fG*;6-o_E*dpXe;eR{17@0XM edkۢ¢Efc!:NI+ ?i`zQe 8  墋GK"VޣA~埥gSQ'vpaHַWKܹ Y=h1?&Ӌ'WI{GZH:@r*1*E;[]a&$J9צt7uaxѝ ]ZU-}xj$aD >a,)꘧ʽ=iG/ۣ| y t[ ĘOM4J^Ȏzz{MϋūXZ<[`!dʛp<ʢAn|D1J+DklLAT۱X O9zJ_ Rf~T./Bv :< re P5NOWtH CHh]?ϡ+iwمvP_;&wo_tFkPf-nkGǘɰ:Z@YM7yn[{'怇=z' b~keH[~ҳk889ViBChnd}!lkp[`^:y)']ܕPG<B6N >sf/7<L!_#Q1v 4TxͮP!^W͖_ma,D+ɽl=q1x }Dc`^STզX>0Y63[&䨡pR.k).$GxF@GTsݣz}<%Q3"JLXI5 O}x469bresoQ *ܢƱKwU7g0]ȋtTV"8ֱ N Q| úuĹ?re!ۑ~y-PS'eu`h|YaW|TraBFψfbTsѭ4(GBR6 f^mY-t8y Y_JtxJ!B=>00٪A>Ђ$3A姫7,79v@9tiIJW4j5Y@i ë'XD(LKը8SEprA2v3p1K4soJn{EUd6GPnΤOjpuvZf]@.9c9URi?\DP$Ke3y$ Mc| ݒ/9/ s[Sh,%p/&` D N2U-E( l>^ PzYU@cJ>:u+x/:yC d/;HfEY߶ZtbCt}x 4 IA &0v,_H?(-pCAj FpYBPKSZrL)Jt;\=8o[+CƭA͚~':.r*O65bzSǧ#]T~*ewm9/xV (d•Hi4.[*ϧ71 ν(?I,w͋!= K7XwLd>?X$ #LtVTG2-H*1kZ# 575" $x.2'5pLTBWc"TjZZÏj64KZݯ92&Yrv}^I5T(F䔪yI 񓲂,4zU]hvz_J'#->c(`E T91a|u}@n%5TV6LTU{5UaT9lkn >֜z0E"5,ÒJ>,N @ᦾLY0, k:"ΉrJ@UJ]= A('Mݴ<ŬT'(.IU þX^ @e%jʞ_|qȷūSxj~VW 2C1/wvr+U9]7]rP"n9uBAпkw}gLJU-rE*ՙ|è,~]\pd4aD9D8knPo@^o'\]{'O4 ^j!@MrÀVB-y-׃(C),D⺹t pʀCSȲߌtzIR8} 7EiR"]B1jos%L˸Ji~`{A[L5zμbwuv"=1nX r>iE@Y@b'l[GEʧڏKnC{ٌl1a[cĊia:^^Xl:QY#t^!9ֆ@*č38AyX-w?q鎰JkobMh'Uc!~N Z獥Dgyo_ЄV5{JWe2*mE;R9%\3U?V"q<ہcI{SU=4vJ'LX7Ay[m. ~א0utL)b#'ŕ)R]6m!M3 dFjslݪ/xazY]N=NnpKy0j\nKe4$\5jQB"XObj$?Exwp[϶CCxgXMjP =X_ҹyt-zH|ړSXw0e"d)7id-eM&n+WZДV/ ,$r?[rҙ(.SCPz怚ًcTne"N}:WS8ꗉIEMTȮw޸ED`}#/m ܦt B+{j'V ݃YgQd !K_/1ldWIR %Yשׂ4t ΦxP ,`sMUaOkpc߳UCi1rAQRdRe3D2a! vYl IOqXUz|F!Wo4O@s8V#u#zl~"4,5--^ atX>ϓ]JJ B;BZ^.ۯV, q;ԼzcrK)Aʡ5Uf5@ݥ4Tx# IlCh6{Wh4hٓtCyzB@]L ՙ.ټj4}s6 l=[QBjY]D*ÂIgriI#E8;Ms婲xT uۈr[o՘Qأ!F䍏z$žzu>é\yᢐg@7Jo샩]_ 0Z^4]42_c_׊+ Mؙ*)"; h?%tvƦIM o7>mz^HAEg!hn40ӹ Yp>fB։ƼaV!RAJ6)a**#.O)6k? %A|oa3^0L,P+ & JoUix<r%QeٮmB>؉X!-Vtc^t\cϣKܖN{G3j !r 9Cg+"\0~(PkD0~5wtY/$ܿTd=*쁿UZS(M;FaB;(Gu/_I r /BGK \cJ6 hE iN80Y'Xj<3N\2;<)v{#Mtr E1!87::W$zu@Oe HڢQ@.:R8o[/R #E0C{or!.;1hàH %$Hu³z$`ÃBVAlC1U5gNj<{6WsO?!1l@lk 1d(p  ^T7\ A&Me*wÆ9x7ԁ-j0~{#̔?$64! Lm~eg$/܄[N̤C9 a{`h;;2}6M-BW0͢o2r^eU`>ZG=wT}A g eH-9׏P2X6O) ^7[:(c0V*zלj6'^z}YN޺~hkުR 3J|\l82B2h#a 'Hb@r~j0 [g!V҂-qX/>q )Ǻ…>e7n}]PxkQj G1`]wce~jSWR&#m(Ęcc/B:~HbJpaJm¤hںX4gpaJ{ 2%Ԃm= Dɓ0zYmna) LitcV;Zcb}H ճ.g*3Q$lY2-i6V! kk)2N:JPc!4smAݤS"VxroyNTya-o`qʛ-`s"0mm\t !qlwZ< ܐ/TfUYƄhH14<'>AfW늶B üX?i,J!z8"Di O/WjsÚ\ pҒF$FNN sGYzfc `/ #&S@% 0([ZW#b}M 52xL0kmn`yHmv岑䦂YJL)w:[B&jvubG u K>R:/rᾓ$kCgϽgA^8o6A1 ! `t`< 8]}6_q2[0m^=ze+tOeJb`"yLGQ^flFTVvB(X\y:lT gJw[lp?GțĪ c{ѮV=.9QBkgwIg5]MyQv6@~!Bucqx.xhǹwܛc:`7 i26('Q arRrANnjһɎ^}; U 19j 2RʊOO~#[>ޤZ_Jnihn(@ASz/Jڔ @>I5cmeQ&[F;+]F2en xԌ@]+ ?Fn+Cl)sKOsڳ.RI^8f-}XRZA-~6Y%eJ0j_-/Too]bش|5_Ώ-Y lѹ]ZnA4H(X9Xո yOrP*̥NS%Ka?bsŴA'C~g N$mBH*2-٥#ጣt5xm3F L$Ϲ[hd ۴'shatbâ!vQ#ɤfEp]S=WmR͡ٹuOc^(^: . W}{ݿ_03M%iE,ъlcĐ*y Mx&eMțTǝpՏN[+{v>R hշ?&+_&A✯YFƨmbm!,\"/IXQ;oQ9`/vns ~ToQ$va|O5Y[(!H"Nkl(Zx>IYj)hT':\|癍+MG" @8,'eJRlnZ?CfiMEzΫ=[v0gBʧ T֜F^]WDB/( ;a 첉vĄ+K-z=ҀcvCwkCJQKF[NZؓ S3$xx8?CN\Ծ.RرSV#Ahh }*#$ ħ}d Bz 6PNI^G3Wb۳2Rlx1f3$ yEOD/&P3FgT}M^I"l~t[RNT/Kԯ&0„ ']fI806;/<8:Z4ߊ?Q4;GEa ykdѧ_ D{o>tQ& gqc@:9_AxJG4yI!,:p=>E7pY*n#!:6$9&UN_n?ܢPV+S(ʻbޣ SF9^K:ef**tn^Oڰw*P47|hp `IBoL̯"/!(Y>0mZO !,M$,lNdO'r3zIr!ޗx&b.Y8e4`ښ$wmv_eϽ0 R>hUr/fg4`Ρ woLtp]bShNy2O%0xe+$lR(|%z_9NeOe6R{8vK_n˳52 ㎺$\ -isx~2:H|JoM72 2T'k!(^/|2ɀ܇NZ0e;_bpK Cj~HOc\\f}Zo{Ӈ,zf}$@qjך8 c+r#_BoϠP=hk6:ZwR o?M,խhiլuPjϡTcfȶ׉\2RuchIT-lIRyO8|.5G9Z(lu`l4b:6Vg'֢;H>vf!"N$ñ(d lgy$'(`t-}ic@t7@e , lfӺ⑴,c,>S|)ǒMyjo4N,HKCq4QzԹyux3!es:c@ '"5rXy/Xиtϡi͝cIB.M?ahO=f9褭aTNe6Hc(CrLGm^;ue/JĹ@^4g2 J{澸k"R2ԈYgw;&lhz~W|ˬMWX)KŒDS`EK g}wjg0kA)60"nnxOj ݿ @ldOw  4eDd%(Rbebc&:vkR]/jHEw<.4sTWs.EZݺA}"&s 0-Qo / 'Kd':'ŧUMZSd:|k^d|P>%f9ޤBbvT.,C{T`r!9h/}Kf\ƟdP9M1j*y(pQUDO46IxR`džn\\9i"U 6~f?{{]J:2QPDbNAA:K>+94䋲0hUlt ȚA=T6 1q'5' S'|bs jgW;]UVLs&WEidQ^^Bg>d mI9[\au-5ی gBWN5B;,itq_5 ٠2]vRԋϝPEa $ l7Pe\N0%VAcKy/ys[?Oŭ|7=PEu؛w<B~ }r9E`rFI},w(~1{J^Cdf@AY{1Zv0UT:v(OD`~?CPO1jU͙eWN 1lF^ޒE$|̯isu>~ G&M1ւ`ჼʂ,>>ka5D޷~Ayw '9~T~vڬCCEY{$Pm<]VR]j̩jX̸x;ܪm{yK M":5Vxm*_ vx#~j~駞: ꜛU1 ѐmgpy(lcn2؟Vլf&lpH6o?'XXq̡Rt8LMlN-U=8’` q5x"3#ۮ['{{QT"9_j4%!V494g6PΒRªSan=;TVNqP;a=z+ƾPP PAľ¤s;Yox^L#8>s oŷ7}UuI-=ՐM%NSU!oBFݜxR trb !U_͌+n3`E#$6Bɺͤ)|*2@%!Kcؽm5~sW%0j̛⹢% ȅ%H+wHT^Ie`4+_J8!Δ~ ##(Y7]( =مJ|VUơ_R2y^J3^;uC1#HҍɅ!#X#8pE8!!,,BǦ@R,Xs)GkڤFp, U(kL*\@z6~dOpMmB4GpQruȬKXU1],aً NCsL2f2wq>3RK9|^zukjQ}UgX>ih\Gwyax7&#כf}9Z&C$_r*~qWfw>\U I9 O gki1s%ЉP(',a( O=C'icjþ#BG@R4 C;SC 笙NS6 ڐӫhU B@;-{XKvOndGMm/tGO:F$ :0֯zt-̨ȺO7xB){:PڮM>s!v6 5B>C`lv]Gd$l5 O64"4q*VbP""*eO4WuL#p ]^ N2ʐR y4ϏL8&=xQ\0yK.8v)IH*~9´=j:F˨ÐC*3i.2űHo]x3z8rm  \⫒lw2 };du)}ȿPE;4ZLDAVQ";U] K}  r+:v|"s_ݫv=z8R4lX\̶ڲxmq]&#Ӌc:yf UJ@3d @UU:qerO!6TY$JŎ8$hb\z<9#Bi36YF [1qc*cpOz XЯUV{ bKhE&0O\ -`r(Y!9BgN*g2?c{&Ф"veop .n&z՟Quu{pXo?fg:$=]4|LxUXm%&wF$X].ֽwޖۡL;WKׄbNK@h >kiܮ QKz0*8#x8|*EZ֝W32ؚl=ﭑo&*s/ ITړ9'K=²`*5sA.j(,z%aJw?#ge͇dU1n]ya=j0PG@$b[. ԑAWK& Qݒi_m@^:>0^(j ^i-@+~x]VsA%a%㐎a5촳 h&Io@ 0eV,2 2٩Oߡƀ =rLYȲ Qk*^6>NYKq4իkϐ#~c [0|%hUs$Pfѡl=vy!JLr0{Ljb*At@f?x\}P 8pxՠb|_;6 1K߶vR>4Áڻ167 +4HTtH|y&]=}]|/%[!HyE\'VIS9Ђ2m#U”}jy24H@8{>$&0I؋k0mSM(\ke+.p b|،9J 4SNî/P5&Yj0*+-^ b|Glaۦ);ʠ kحmA HRWhaYBH-65FE`H_7|Ac7шRW[Y!y>x=NQe< IP @BO~BW18Hen; rƈ,%|3 YwɎ;á\VaTelVT@Nׇj YW޿ө ebeb<h,H~m1u0j!CL=Ř\7vS{9h`eY8YLM,iN(nn< ۾];'bfgAP\SJBF*A ՛&YupV`b܌`P0; nvsdsHq/%|lEmjE3B(fp$#Rr9r_1OTzY/k욻;gsw~% BT*|;[t{a73vmM*bg0j 1 ~ ϩ>x%6lj#褯R:ߏc}?bL)٦e&TYZjs<{Q8M!p<"o= y+ S3 WE`niI8 LI#̐ p2"'n< rbs_,2~|gYZ019ba91e53f6e3aa5c41cbd26c7ed2aecad3951b 0271c312c521be4e7e246b14fb2f615afec2e650 0541b5559a089d3237d7b9f900f581530bbed23c 0d7b9687567081fa309a01ed277eff22bb9057a8 0dc3aa164c57aa09b9c88ffc0e8fcc2c690f20f3 194f201eff447c986a020e6d144b709875c3e755 1b82e829f446fba63a3fca6a2a7a703ffc348ff2 1e3e6c7f1d4da7b43f3349346e1c66a9f8421065 211bba7cb8c935236ec0e345fedf6d6819f44187 2728ffa8194fe9afab344d37ec9f610877a31680 29a2697588b95f2bd64dc34acfb8619173ebe02f 365c8caabc302fed3ff9ee8febcbe644f4374d8d 389a3710aad0802ffe000804ccef85c27e7fda58 3fb8967b43639d4ceecad41f67bb3acc82980ad7 440878ca6799b6d283fd8db3f2f099f7dc240405 479706d7608e6fd92a5457f0c8901cd1d5132bb1 4868c60cc9a38c6dd54c906b398ba6f506508e35 48a0c17be2460248567820d08bac964fe2ea0bdb 4923965c750e810722b90045bc20f7498fdc5d8d 4b913409a9844cf9411f8181b2557fc300895ee3 4c9503414b3f62a492bc79aa9dca9244191e6269 4e8ceaa35e3e959e7944bf93dc054bde4f6f20c1 59c83a30c81aa961bf42e9dfc060fcb09877a25c 6c9b22d450ab29d38ca0844bdb4a891d6134fcb2 6db22d254d56e7ab15ee44174df258d65e016882 7ebd8c939b6ef34a72bee209000472f8a3d014cf 83c65e1fbba8db83a87c088079dc69849ec9d821 8d50cda3d9b7107bd63092e12948f91afb5bc5f3 995f8eab5d3e36b2e4af870bad76f96f9cdc494e 9ea6cbdf40547a8e4c1aa74603bd4e67b5136570 a13771694d398fbbc62f42a515cfe83502dbcbc3 b33ef40bf715dd1395f9c3b765f97ff00f588f60 b699208cb07be2c6fe469afbfb915c70cb65f38c c2b256f209d18fb78818ee60ebfe1ff13294fc9b c51aa4b27da6d6dfeb47a20cbe58836cf3d25a8b c53506a7dcd93fb440f1e92f1b53e0a1fc342179 d27a6a07ed173eff356772517e5c0c762337d7c6 e527a6a656e3bed29db6ac70d49fcf9e0a5b61e2 e5dff27fc80c2f1d54eaa7fbd9570ef0a4f19421 e925e55e9b48813dd04f8edb4526c348c6397946 f2158a61fdf6d3f2dce77d56344a5100f417da0e f45ffcde12d884cf07cb6ac925da4d42775c3456 f6bb88521115dcb4dbb525490caf3fa89564a77d f90867503e261262de94495be98857e11b694c15 fddad9a6043469746c9df68c899c6d620c31003c9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 283d9133b6eb26968a017cea64baaf69af0125e9167dfb5bbc718c6482d66beefc38a93f07137603