SQLite format 3@ . BBh77otableisabelle_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  %$T4 ]/]HOL-Analysis:threads=6elapsed=328.087cpu=1461.700gc=115.904factor=4.467zXZִF! tH]ŗXf1-q恈͐7ӺV GyvpP%; fQFx IR'u 3UJEB `Ѳ]"(D#?)G0'۶-˒k*%\2)P,_n.uL聾=++atTT-}C(^č`=I0>놃&B/H?84luE.Tf[z. ᗹ5J:i{E'>P3ŒbEɳ-ܻN2x]ށ0 E;)O*{[Zu*k!:RjϧBa2t`z߬zϴI@af 5Gf!7~C02Mh|?9hAaе=nJ=1U߆شKeXV9T@?P&}XbJ?SSY,(1% r8Aql ҭ!Kgm Sc&ڜ{32*HU3fb׾Hù 70׎ѧ0&,_puzgWXc_A }k;w`} 3sGd`MsRy*hB-,H)Z FITKQ8?#嚸G!200 ya)SOH^c9sfyl~z>9SL(*XQ}wnrԅFp0 x9f-ށ oL87\|ՃSb®ЋӁ/:7$p D[bn)RҶG =A1vҡ[NyNܺgSbY7:srC')@?bGTI3\L۹|2!3*/ٴ%6_9/+O "I]wRg&- 6o 8^v&Z& %`9tXe)M 9N] '- 2[zSEC[j4?MRyj/ ̉oAmuc||B zZ}8@8(KNO²3:4Ȃ+XVu1LDO?zgPҶvn0Nhg6?=5m|fQJ$);4I֥ l\;T> L'B.<7f͹FD"QϺ2%: ]{&8PY9If!Q+;qESe xk;M¥Tw%ok_Ã*ژ{ S$Y`icrh.#5|n@" " SfW#LӃw]}󩖔|0j]w(qZ1c⬟ۛ76۝)Y]$(;O #8 ?6; ˯`uC˗n>1^@kh[;uڜ!ŶoXRkQB~ &:'xs`8o7-Q`f00׶7=⏵`Qj%N KDqpX˪e,LGCTXiCLPU$zi A>%GEQ&TFO  Ψ`ZLM&$&V&cfk^绥' jns' D<#vr9a%-C2˼01;cV1*6(V45 }'jS}CU$F(# -+#e1i?ō"8SfP>oMޝ>- hNV.x]1I]e&6g:%dsYWl8Ҵд 4b~mЗîz>H?FW6 DOϔ0+$7.AEobJ,`[p.nL3IjEF BHMlK 6^I'E `4I,;d%k Jߍ`yaMٿhDZw8b_{CkI}72!so.sFV¸-ȑ/,ϭ7V4|'oY)Da@P*N"{vOﳔ4| {c69e]-V|9ђ뷳kxHwZ'سH\r|ve-|?̽"ʝ5͞sO{_rx.uޓ'!kSqw-n gC%HqpxrǴ'G=RNcvXG`~dG hX5gS5*_99k&yaD]9ufyϒי1$}%!L_ 3f3m.WeHVuX@%++چN²_k[g8+Ѳ QK0rSXREPFhB2b+8(^B=IyawDT:rzVVj\ay}a1xwEk$D2p~$Zȫa;Jt4ޕ~x=vƬ;tXt6gW1?) Y z7!#7Lf.\K A\IeM+EMX otPUI,a! Q?BpMiڥKі k׌9:o /2IvVY8}4:OےP^┼AM˝b<7 }XXnSb8~צ(' #?3fK0+NA6;Np OЍ6-oΩ1XQdXN nxb ,,H-8%,;~0sZ 8EuEȗh_D 2܃8ٺ@-q6'x|L=h/DC"γG8fe1Lc?Յ7qێZxO1`[yV![JDhk쎢6Ia,|s݅z}m7 ڋ{7zCg"!,>6||ڜF(ua˿(lMβ|W1!d0ݰ̳P8 fb R,2LRي O? I<]TaO3\sdݣ6EҦ /g@2AdF&1!r;"!h]Bnބp%d )oZ@A'HU3?N_MNj/#u%Ǣ̍JqjEjY80x+.;{WW$%Y]lK W6v qe~)eIJW)+7@+%2D)Ϝ/Ԝ|2ZWT v\@}W>lX|_g!Xѵ51nqj(nQ7XyDh&rtCu4CrA6Xx Y"=ZGEQq_)*o ^fͭzE E :_dMxC``S_=$fh |0*9f?_%SkMq&lu΀S-{;@|)wk:"̫pNgcA*1fA<5{DjyxKK) N/ѣ>aY.Xr)S:s)`Htk'ϴc5ŬVvkgvgw\;2qLrt- XT^,0 K[f|er'=g#K UKԆD} r I^VC$Tp}ɷGb8JHVcI$T[ts?z`I^w?7nKGO,޷WAI3c~l<"_\=Nʼnd q ̠PK,ZhwMqgEfhDž Jk?nmk<}\^8h>-~hHg-ҚꅻZU[/GO$qLO3hK Y.e{k/a-lM#K&d -@1vӶf<`^$MoO 0)n7t}i@ږZO"hƄn$ gk}TA۹cJMUx+m%@u 'u hdhrX:܎K/DQ6lr7}QoǦ2p>vT[~%U+l?A@$=~jq\$7zyz6_K]̔>LP.>u_0 1ߑN%i3(- x U)+bBǤe-겠namW;IlriOf!ذ%ܫ F1r9mGUgOxBLhx#6Pq&U3Ƭժ!g@P.I P08]e&{t u@JK)H6TqV31t/^dgo]UcV!L0Ar R,ٶ"rf)_5&"P;p2f^ms.*Η1CrwI < jEka,鰴5A$VQLV,*f0@ x͙KKkT,04ۭMr+ tZ|ag̗В!1[]hɞ)OdSւ %Ό,!տxGBdu;B=\d^)lmewڅXht'U|R 'Lo~YUǦ8#i;x(+b)SGŗ, رs{#x jkzdȝjZqi&j䂹Q&8Ra1[djFsvGP*|-[Lnr/n\,Yd< v=XP\D9سq914 ؊NSoTBĪe)*}e +|\eh?eTyAF&>4ځɱɅBv:vyn8(K4%"D7nٵu*_ˋ2w6?w_ %7C:E]u\| (4uHt<%BÅX%G +'ZRۖ TݎMv&Z9rRJM,Pף.toD9[B9_-ra dƼpuaQնxPF!|̚^. lkE5Br6xtFJ/<1FAa @40fFg7?rpj9r"巳F%gvr$ Sz(OeqUW(ϱ?R!1oSի fJW5+YPRYRtWezEnou֗k)rtgAO-~hPkwmuy#G0y" e7RH X.|F̲cĂ BCIavx47k:! nQ! nɿVc?-[4"٣"]2Jy].(.osڕ1EפcfvMHsLu?gP|Ҧ|wkdM$Wg^w] :L6TD"7ĠX!#(1IE6Ƕm hK! Ը/lT!)A kfebt8DNcx40_η~up~cPSx:93SU*..wYZ\hn(|^3+i= ; 6&NEi:19Y-@Op ~ v/üPVJ_3]Σt(n@aMy-idd?ډ({Rr}7"ƅm`Mv:=[mE޿2,SCE+1:[+O"Y8<.ڪӦS`dM;D+ψmA]w^B4%4>4u;sk 7^}m}5/+ "69Ϸm*JR^2r)We-lgIu,c01-57/9oH?>H_Ѭ*hhm0ɧC^{o/c]9Eօ8l;?,(cinP7leZdrptD~JS)sOW#+ˁ\(;̈22AG"Z ZN-HSvG|9? fs(1.K6au`G9/㿤8d*d} njIA s&wQL?Œx]A 7X[ۣON$bTFg*b;~A:;+GJuOX0B9Iz£f{7fi4@rBhqϯd BYKwvwb 0Y0% *&N<×=7H [5CKy)XG?k꜐ [:~G_Jhtg`,Zӄ K;3r}Ek@Q^UUHpL[lqP>| ]\QM,TfgҺ\ݓguOM( #Sv 5?~#R9Z(p{A`{mk.ls-\9|IM }{әf–z;mT--s{ɖEZ`Lv.)DP5+My%;/NNd9uoyfrlE &3|zxsG,閥"ϼA1[Ɣ}c%HiӚNZ<" CNlB1PsԨXiۭrmҞ 3ϯMkGW`8c4.zs

FF)p"$6o۸ĉqjҹ[_N;i1i潢2PPq{<tK"]}c?I6R]>]s68d4oB2[O6J-* z< Μڴr=@JQڛbΞDw-ȒbѱH$E g@0nO}:X-]  hEBŐ OϸҲ F{a93EB@@iZC&rm SfAf֣)>VeQۉCT>+;;h 㼩:%a H_@_+7ߐSe+ 4=2V/1A1q:y_5 P^ˆt\ ld"F`^xz2}0ėoV6hP4:SwN\X~񑯣QK݂"Xnrj;~9GͨzHu哷2~u/]Z>v( -5N0gKO=_'W<a!o r"#J7ےK?ܷP͸:P>B9=I&#Oh]v%D2>n)"zc&%RG{? 8).O[{2dX~Ej_Tk[&_1x$g/!IfQ&i^u*>GؐM gw![iOhz R2J[l;XTū wś"rja;2Rٙz{.( B&㍤D֗v .L>J)EZX1]Gyf<,rF]?5 iSD2i>aHI_VV|{łoq]}ݾ^5"SGv-qD 4Oq^1#i9,=ɞ,̉V BMRBwuͦ8c)onkK; ?-3S64YۋA 45vW"[&q%C;pZ+5^#H&/]ԣhI c~myaC7v>. Z@EqghkNmj*p}s~YM "F}^>>US~qIZ}S]ޟnJȗlZ04#̂fLq:;Wi9ŷ&"kU}{x 8E`q`.'n8bYiY9AY- YM9U{<}2>9O3D{xHv&}< w&93e(w Qѩ,E4,9˼ړ"qgprUgR'Yk9ygvNqz/'O)pv ngٳSz7dsI@On盎k/o_Q2Q`\鲍o1O8WS\ g-FazXxATq;v1jܩ$iyLH.jl"|~H^6|xr^ 寲'p8XΦgsdi)8YzϨPB$)C^ɴK+[GLA麯1&-kfdb`#r6[5ڷԪ`*+U @M*UGO0J2K.l`b6Q>9D:>]Y8.R3:rV4!HbX 1ntN'lA?& <ʬP+ rtP/v+рtڗbuh YvGH=[Z3VAJƳ+YIKtW˸*nsZQ'yRb2S*]V(|';Ak6rF8 gg?}`'-yJ/{P1n)+Gσ0該12xV]9'P<[D sP4 x~KsC*9!_t%4SBo3=.$R߇[Ouٜp !0 I0McxwSMKXPyb#܍﹏YsamZgmQ2"FOM̽ezn٫-v}+s5 e[̔w}pn|@#SM2&N5Vӑx|{KL9O Nc}Y>  gAFGU8EtJkrwب=(7\IVO֪x`Iy,"%A?Zti@&E3!?Rl{b`S{-ND.{3~9|ո@>i69"ڗ:Ot3 ]2ꄅh M{149CxK@ѱ)ŴE nɊ*|e񍧟* *:"yVN@(CxIU;XF.):gG:﫶{W\IJ%e9c[WgW2nnoe`Xgd82|P'Tsk᷉ͮhҀ^^z'ɰ!򬕏$1"6-(gX{T/@⪮TTFe*I49!@o܏d|GtP㪌wz3H8kJ |Ltt*4C0Y-%$- ~0%EGzpOĚ`d5Q9 o؊yS pg2c Jdbp C~|VvsaO h:ln!sLډSޫy"(1_e GLh-AZ{x=WFw V1M -.5TTؐ03^kƁϲCrku-]>BaATºLևB+ksBJ3V۽,bJ@/c6$\4Ȁ"e~rv_;0՝3:&%38 Gi^5hCBĒ, Mi^X08i-p9Rၜd0~pR,R-܋:alzWvp"$A~hYQgrN@=iS ztw寱`XhBMȉ.N1?8YRq&\SV[bxv*2*+YyK aS&R<+rYJOC'xHݑƄ1p4`G,hP[ #!Re LUpC^lݘ61EzI͞փzޭTjeSGi8EL?5ÜQ0iX(ieiD;ƙfgZuTؖ}R*j"~ h~ =HP ^a1L_X&hl嚨wB9G!r _9<BޞOXWyGtDb֢7 ùL_@b9 ՝'2P]ޟ(y2XyAGyl agGY6Vp5Wo7"M^T NNõq4!J5o1u ,R~-J:@҃6]Gj5qB,fs]`a%S ':^`X`q\t9,1pʕ"/ۧ"Ppj|rE>AFUu3JS?1l30S\̕LYDgdF|wbb>*؄6c5Ygޅ -R)䬈V6-Z_9 FP6D48U4:0= ‡Hj.DJwVUsu2qX].w(gZ ⧲\¯ ;EǑypb@݃qoPDՏ{{mBt2% L!4õ0t=M(SS`X:.O;QRr_xajyT3s(Haǁ[[3V E&hU L8FW%"\<|z*53? UR +(g@/cj1Ǔfgb]ϴhQ&nզjw,*).~ cxysN{.vr?UM9Zs0\̫;$TB7y} ͼL |Y\vBq*7E<':W _tG& 5GLѮu 9tk9$, <ڗ߾)4L38 CР6;mr?ҷH86נpc u U‘%Ncx)ݬ!az<I{8F=L~ $*/],PS'uJOPRW+hX\kL.l40e-#Jgt *Z1*C!S cϝo"ǦGnj)ziId)a*b 26Aٵ1oe Q&W8i&gҖlǓ^3QOoaVj=wkެвs{d࿰CߑFiL?!IJRPSģjo>ޯjSq}bǑU)jT^;6ͦorX`Z}ju@p+Q &`%nA(/"};xM'lURUK4}?b?f(_-(O4?H3u~:{ܰtJ[:>ְXWf5h|q?Hge\81]",BA^!L?B 8lacέ'Xh,1TaVl!olx>j $NW(ܬm?%{;:̛Թ"a^Azd%蔄uY:%>1Lٞ;{ÅL@hZ+\cy م޽u Sc]/s 4;$VQS$eѻ'5UTV*Ӄ- ]q+[C372~rny)sSidy2Y<5gq#mumu9W: 'p7fMo7'> !\+ 8l "k4e;KMbR˘pn(.{iAX9P|\bP-xh,rCqkE(QF]ueNjop(9%؀TwS%~}dbSU`Z"q704ű\#Q%z"TD wvv Z%o;;PL6T((n|kE?Vdj~{7#b~zM)ʧFnF㢣qf1˄uF?2>ҤqqlpG6,aoQ ooI?>* ǦO2P*+bFN/t;KYfi[D'wIo3 wa" [n !7JۼxG#xEc=c01ؐ?81~Qq7>X+)v8 ixk ?a=wTTa}y83LUBK=بO\ =MpA@mv9B+o1,R'"3yuqj qxAڒ#iQk߶!aj{'՗N[ ۶by)Eu=QU~;n1( Ww(dW|m/M'H/FrfNt4PU+wO?5=gH>K iV3_Bn> )F&A+,R -=m65"&b?[5nk 8@HBCٱ>Ϥ.|}yqƈiiwYR:q`4t߹RC(HhIqAxJD:Z K`͖AGo DזЂUĕJuBz?O}v @K|%$R֙WsifRշ[  ('JT%R}%!4ծ33їNT@Kj. UG8|YAYn e>zpg %8 cl,Y*PpNI-mT)/[>0]>,5|[koQtctw-S:S75s+sQK1E3=mJ1hC޸BO61gI@ ?6zysf̋23K,{A-sxWmxw'ྺU(i1nCOB^RF3=1r~ڈj+(0lt<p$ Gu!;CrE)mm/{1=X  r/l;,rI>qʅ|~5k6.ԡlltPAR_`0MYnnr1Ꜻza N= uRS]{Q+MtO=24|d-yҢ2]IJؒvjNΫ4%n:ŹO6^AlU9a2vt)0IjousdJ&N xPCqQ*.E.e3?Hw@XnR[¾*a&ґ&F$t뿃)0~U )zMHw69H=Jd.<_r{Q!uYJ<y<.w>Q>^b0)$JM\T\f3t(B"L!/7/9bR~#!,,%׎SEs 㡜d(NX ޠq{RFE}e蠫`=AIo?I+_#xvSFJe ڼʡrRfs)oC2\"(.R!hEx3G4IbS@YkEf)L?amqYMy7U1n ?RuOTjH?]PO3%%1 u /5-eN'(Tbn)P^wtT\we>~QЯxS'} "S֣q+OZziwGe8G?Gc[HQk#=|hFmsL [ x0GƆ48F/Bp/O6|Ě AD?kVν j&&f)3X P<4$xafУ6„g79L5Cd(Si&MTg&>K&w'BvCfvDElX8w}ȼĔ&@ 5uWoV\ -Hјv+ԃs4V Im~ok">p ы5=0Ks)i:RI A,R_RcUU@+d: P 9i\彷O&_#(7LJ`zVBFycߖJi͎=pOo|Fyqcѣ=: 7f)^<&V 㷸'n){!<6QI敿>Y7LnՉvg0SxH l@DHοͰ'sJaY }j"DjFRQ6QֆtmrCǗZxol.Wr6) 7Ԍ1ng6"U&C9?= IX~$Dqyq) 驶nv堛W] Yi*ϐPOYrNڢj_?BtVnݳ.?nxMqTl^ &-RmF\ou -%-v LCFV Qx4='T;L5K*͊P)*-jg<ԕIэJWsp$/.1jyC1],3h 5I]@~.lJVM[}1kpys[`tJd6Pk 0X}ۢߑS|E]ʾ" I ^6Zw3{qf8ؙA BgYZ7zXZִF! Ō`]ŗXi%90([9EԪPa}{UeοԦeq6LLyIx]RAZiWrPԮPlf)vڷneTRU'3=,aOKᲝю 0L;8_8w4 9,,cMy#/]H[O#ȡ{%l&0===Ҝ=bxS [9 b#7A6 vQ^}v&40 tH9gdhF:TAXn6>h"!Y5iπU"/(9xL!F$)X h湏=V5N 3њy#-!Bx,"7rCc>絊q bSG҅\ݐb:)$ׁ6k~y 1t!//R_@jV1XE qBQiNFhs$mLA,|hery6!,Y|3ъ$oƽD2z\[?.F쀯|!slՈu"DKЌτ+ ւo~Zaj|]5Rd&\E2h1.f_wUh^# 1>/o2g& ̓_;7T= P*;Q(Q܈7a/!T9Qp>1kUyiX[8ɷֶxܼn]etb2[)ֶ4_UUtsIGN'YozrkD"awTMva#,!<Ybo7RWJoCԃ#!?Tl;L%P:w֠0ֿMS9gYe, 娘ء7%=nR"⵰&]OOr3& d&Yo+"~JCEᛓxCd80nCI41`|uŀPWZf '\9/`'䜞M5Pni/s~>AUiypydMkQy/>FqƒjتPl=.H_ŵ>M )O ]*v cAzqةlh 5W˝@x#GN hB4@@]IA/uB\ k4@󖩁/ÏXgp.V(ßkM쎎o?F@S`s b1YH$ />+JU:֟?䐴6p yR ,(BfFPKkCh$Ffߥb%U ݭznk=s$@#PWD*ne!iJc6(F Oل1(Wi0F)$#o]&b0OsmWB>B5sO`4t3Udv!l^6ʭ3rxW}^:GbuP 6+851K*SŃ;K A^X_ {]?CjfeH:#@,hwM9ң&/%I66Q*@x87oLE"L^Gx?U˳> օ,x íò ybvԢgܱU|@<# ya^/}<' ]ir }%gOfC+a&޽!rRI JSHEwG”@MOb?:k{379l}U,1tum~L44W HI]s(53<ƽ0!?cr9&W*]6EmO6vv>'gV*Jt_,QPEzoӰU{}+2.Y( jAǧ/[|(GkQqj3 qR]B![k^( ؔ5ZL:v@ Vv/#eoN&~=d6)x\?ໂr?, nrgWw>=Fxf,w곬7H6PMK&N^+DS30 ?+<2W¡A%{5E#d(1#ھUmT`lUtE+4!#sC S?Q ڇR$+"?7~@`+ُb= w߰qxꔷm,׻jɐr ;-X ?f #:U1)DΡC븩C]'8c¸֦=cD'X$w*U[XzYF^(y+7eWu(L"-J_k+%cTeq4{mн璋o-@d(-ŜNk1y2wkG!^YWղ^ıp(Eb ::.SJP335fp[ZFWYpfF#+עO˓%G`jL8wZ`+OrqxQ9q&ˇ3'IG^?p#\S;KیrV`qmFs9WЈ5ct'7n;nNVkoZ݊eꐺ9el !ŕO>2<`+t#7%2( )RXYۊɰGQ9[ɹ<7f4dR2BqT:0A.PSN.ecABQIRC]p.oYIz^pz~CS6}q]$Je1ekң@Ͽӑil*F~bB$̳5_ċM-8`V}$qn\j\z!>P隼s{so4q楐7[M̑AjYPɐۅ@')KDLA:'9點ΚR+xr[8giuJz[bw K3_P]~o ABqɷ:i y\2åzs-bs4VzU6ay+"* &1B[iJNȷlзHй&n1s5,;ܒh.j#Ɔf g!r"#}0rD-w@PjH7{Zʄ ż9uqzNjQ FQLU7SB_ҳW?WWXa|"(ad(S)A82Y7/zZb9RQ6tjqBsQ^؈ זd`;qJdEvloyq[ 8#lBc=h&?PC!VZzѕÅf:-IZ]NS8NqL0'FVB40PزV/8WtnXZ pYF:jI DznFvQx߽&&e\k6 g yR$qrNvF,m )$D6F:ܭa\vt:#Y@}ֹj:aU<\1|)ޟ UL*˖UYQQԋBL6n1-h[uj(0tx--SaC͡Z Ϭgց' e:8eK˓ u)$ *.Ϛ:^=րbgʩB"?z&]K$LUFFudتO_yyd0PBw <`j)W Kc'lr(ͅq{T+X_^ڀ_E[L UEe(mu:2 aNQ?IPסt t23d5f5QZ( B\ Kl_~P(rhp:ڗI&sŰC!vv`lS> |=2amȠ:uJ|9O-9Fߩ>f Gq0ac kz/7]) c5l ²̻ [ | /[bQ=k},8 ZW3`2 ,uŀ|.9/spQF.n۰oC6 ,)cWǶJUz|a]=u7)qX}ٽ'J,aZ81cbT`^@ jWX篊nsEeU)QDΜ6<;zIj$!Kۜ 6nTm]e)FO oNBGmy[0JZoEiQRn>Y z07g͙}= P}u<?2 G e<:J܅ *8`5Lҩ*`^|&; )Qn⺻,7-%ёY[Mbx,bſc~SՓ=-AUe?AN$Q.Sǡ-k+t"\H=?p_ t|)N׌cL ,{U_jSTdL p M$ROg"Ub/ćS3v$M0P<6L6e"R+xD^Qsi=Zwz,WR ~'hE7 $ZZ&EsuC]>S!Rl&eh<ϻxI1;\gZ j/^]49Ul˖LΘkxeT6Wy3sc QLaE,k3S ;$8΢_, 0u?OrP Ǭ?+EvKI/[TEhfn%gqIyC`cEt]g7T%H!p =WT,*snӰv#@WuA}G"OD9%7 )TA-%,()cxXEiڲݽĥ*|P3e|޽ݦ.r5R溤Qhldž[0Շ19u`Vd𔁖f-مM!i^蹲 g*L)gw`=. =kT QbԮr.+&PYRynho]5fawPA;tAivcKM-pD]UFi|~h!%C89' )P)1(C"v^Mw駾_ǚD)<ѣ.߆ _w)fPIDepEİ6%yClX.hk:p'"u[C*@yBE*P-ikڂf{)m~hDQicv 9xMJ\i+IMU߮ '_/ ]1?EG5-4w~'yvW"Xm9T\'?L_Fbn$f>/kz-g=MVag[%Kߤ-p+i"dola^TӖ6TNa]).5) P[8@ XJZtŹxU0):uHkPگ٣m+\ Ch3x8}fIM٣FKNQY<*RU?#?p+%! q?u,~0KB6Eaڪ03#ڃ~I(JP?5Y 7s+dUw\;& [IN7vR΍1TI:_*U{`o @ż,#"h7ʉqbvi0+;YCC`goԓ0(=9n"m]5?h*r+x# YExvTzPlmӆ4e·u*PxI졅hǻ^_$@Hܺ""f~UPz$'vګ އPaڴUSk(,^{zN3Frke={r sY"j P};ZsOR020'fjG_gIX jEbؐJLHAŜ^RjWcxq ^fMsq|o5h;\掊3LGOn~$Ї:eϼM4~N1ǽYC*砩 3+tt4ݹXjQ)\sdXrQ䓂J.&b%SiBaL\ Y=p0-=^~= ~Y0$iv5rOlKЂ`Ki$U]'~xwߎ@ riIde%*.޿ #H\˃rO Bȱ[$#gFEgohFgjJ n?տ-fvn0M#ˆ'8-xi)Oc~?TܪV!&3E#c6 ϓ([+M[3 0ڷwTôͽwYЧX_?3d (Z]*Ot O^ZwMWn0c*qM&]o]uIBf`|^Lt-RY-3(Fc`64?.S䕛;Q~[b!ԹxFӈ`^~"BjPga ?fSRãݵ~ϟՄ4U1+673#{9y_hƋ?Tp=A50?Jj\KR (j?"8pp]1Dk=!sj1S u}! |KKˠ.̒V;+V?dcE'< 0^zSv>!G܈njw%\~OjQqsjxqs)x={"b AI_M>c!טNQq/^">Hi؂oĊ(M) o 13I{%ok a&LAds.CˤurCJ#BDrm4=d[,N0z a V^ WIFήDىW"Xl Kagv ;j*-Z% }1Yg>dT̼ ~@AiF2"#\XwCGsXXb4m&gs!(+3=1$oC1-4W\;wQʳ@ٛ5#מOsHO&r,?;Y9U& ڼɀIA v\x8r|a!jÅXfk-P+n%E_4%0 ;+|^kR݄r!lt8%`cԙ^&W~ĩ i[2_DpyK|r㮜L-NH&S6 T#;S%`ĒGQ@+w a|Df^ԟ~'O G4"3Z'J *!0ۣ:K0Z<@̎ѥ[rZf+HRj!J rKf2(`H{Vņ|As3MB 6bq̪,5+6N]6.USGȚf&2 aՀfbs(lDrzpfztC2z:T45,F?P= T idM}NO\f=Hu'JvM䋄 VmԡD;1Uw5XR/zN( WfH%ʒSB)A/?2'uN6i HQ:T+=kC:ڀi*ېҮՍ! zA~@. kGC['OZ1 sJx\ Ik92F[GͬN] ')7 tNՈ )FeM X8$f/-X- PP  txv~"wRo麥|t ZQ{]b62kQT2pfYnfQ+)m!HBȐ즡 fr\ \q-'Ӛ=j¿:G%؝掤yc}GXo|$ 8}z)˘u RxI"C'r^-@;U{A?:iW0=&b&jpAB/Ptߛrsh8m?s}?2^`?7yc$閲kq(ތ9w{v2=W9BMފeAtR|{+h$e&+KK'y䡣Ggc˴ he؁ Ʊ?`#a8e];'ۘrDqHFay"ExLEG:v4ʹxȱ O%/4a] f>OZX'Y*y4`S6[3ѰP e1zQ69AA6/c|g.̹@rc&pD1u6őWpPQeP9|IƛCoKvIdqfEuj.7rX3>*v J/]gԙ=(B$go2.|THq`"#d2 M.1?b +ᕅvGoƖ@,&[BMKQTt"mHዊ2HAm=9Rre-!ě"Q{ՙ ~nϢ[+M pЩ5ٗt}WMEO-Q [Kl[m fF`2Fn軲](jty+ߘu%n/2󤣇ر|}3!A|8 薶ne$ {wiE ݾ).RFHuaa2%Jx"Km#lVZGȌ=$uT ԢCcx h+\ hȇ)BȨJ5>8LL_y AvbwprP i^ ]M #-fȻQ-ML Bjz-N06V9L_ג'{)Yy9ϫ~r< ;^&q1OyqruӪ 8Mf.ɟ񘧃峣[tϰ^1.Zc$R57-6 BX'6\P+^jxᬰ<qreWftb.8(}mB!J ~]{{xDQ*.lg}o:%*prӸѲ7 d[6 I·E*VH2>yq#Â)%}ե /u-կ`a/ bN֣;Q44)7Ô^.vI~a=\^ՉwVhReͦdt.9/j?Ni%mR[C=ζm#c)&/7V4EA1|R[J5X\-@ EHwL¡=nB0$.x!LTCGd,6`MtcGn  fF.͓>Y7 u-:G"9'Yx _{#9BħPn!!* h1( ϸEZ n(10Nr˵ӊ`Xs~ڭ`Z0s/JkV D>aSYE iw*R̓x(0ށ9JWì> [VҼ?G*ԧeЮx఺q}E <'}D+ @E|u#'+Pߢtch>#Wl* *J |PF%ma-?#'1N@Aqǒʣw4δr1?y ,W nd.n:AۓFz~i+˛v7*H'5OS ,eAA߻IGlKRv?fq֕|)<,.%C)f}÷%4ѯ%j8˕pu 3i<%^hv]Ɇ+?ޓBT}GkBI18G,*^ۉef so]vIr]ǒ t::ZȲ@g ~26Nd>W3l_4_$3aCwQl=0ئ85&HƼF*JU9ˋ](>hhYD!Lvpl&0Ls9e|񻃺ˈS]qu\8}gjk)qIQύ-BnRmR[C!YRxY&2t}h`3SJ"w =D=PX)1 M.6Yxdn.\]q?R=ſFME Z~;|c椓&Cd'mC/tS|289kZ-2+_UGc 0,h#p?>D$4{>ǭ RrMNLB~91#O(l%Å?Nfs% x^yLdch7p|ɾ&I,=X'"@[}N?μ@{ (? Fu4QZ׳e9ib}%) Rz'Z57{:BW/~/^h$3aNVg>3li䇹w/ݠM}^*M|n`*ydQs䈇1`!}6?.(M](qn*_(4E g5+ 0lV(_K^Q~w iR>ŷ|zˊ֚M.x -.uڶ4M7q7rj͒xӒ9YK#louԗVGҬ(L }_ ^b -IT|mھ˼\[qzkțRY|Caz %{/<Y@5hKn-x+X dmSȊULL>jU[|vNA]T{U6 o+D43ȭHܱƒ@n?YV d*#n~KO Wd82Ū%'݀'~Slhɮ- 1j (,}/mT2Ǥ $ S›fz!I?dۂ}:^Zna…,4"ZrVbiZd ug~eQӚfl嬑^Rs7p?kDq3[mk9IQ BKI2;UE]:Kml(U(N># E 3+CůoVY˛[坌 tM21jeN&Lcgh| BM|딗0fW{j[Ii{}ˈ<;Z,er MA֭ؖwP4 ==Lkl|c4\7{cPz$Mτ0"|5J'4DJh ( >cS%/\΄7E/&%jjє mp+oN΋JYCoϤVHMxBޱ1&R zcAq(rlڭM, vÜ;u9#z"wÏOX/ڲ9Q;.|j+hNn)DU@٭7Z !NSkx77S4 ^[݂xFXC1% sĄ*H9vMO:roga\# ⱯpVW -u _&j]qL@Aj'~HvYg5l}7}hD#ƞkEjx_Ǥkcjiix\ >RѻKePgl40 I|!-g,}B7hɡz71Ceuqi.KuʒHEsI^ FtvIL'~#Տ؈8%e)v p((f0b׬Np1B/A>,np̽w{^DFEAE`?=O1?'HS[5 o,( Ox*,t6 =QJ{4~;ȗ1?ijߕXtܼ&1rd.6S&oL[}5Hȷq~᧝pe<X_ YIBd@Jah7!=\|YrXm1u{Jˋ!)ܨl簽4 )ftw`(ds wl +7K V up;у)n}D?;?iye O$.ѭRYPhB-xٸRTc^-0PhlI(WTXyv`FY('j4EE͎](]rA≨ ›oEmn{.yYxls< AFr0W /F~XiWYD*4xwb@cl7Ku;aS"T{̉{$짳CC LBXx*`"3EG+|-Y-{Iy9.HOFCU#e{_ʫTúNf If6v7+|',9ǯ!ҥ-`,з錍V|sz&R?t]*-b}B8~QB|.*}L\( SD}ňnfSPAk-VB'巷!ZdGoҲe;b= ƆΥ)"VCjK^wr2Ci!C#D&n@!zeɮ ;Ssxq)06* .ZWGg:ƯFheLW ;t+'Ѿ%ю z65HF]\L|nbYwZ.r{H?%,6-X}J2t> M2"m!sGigPQ8^w4*#Qi䲒Z Kz/1m*Ոd$Luy"Yfg QؔcX+tP`#'~DΤn"@\^ \eΒ{-eߢ[Խ8uu?2#[ >,21I9eZMa :/0 \4U B>yj&뽀h AijC8:Kˌğ\08[2l.UF@8 NUPSxAkYhj'ϜBr4MkG␀xSb{b^hn0gLX²SI_?WM\?!6%G""EIrnK ~gc{B_OHy^|ܙFp4S%D+~Y8#{ .S+ }pPn;º=LssFP ~+^1<ɟџu殌ט+^z Mcg'+̬"Wq J_֋mJ1vrh\ՔAEaI2-gYZ75f0e39766ca437805acd4f4c27e59a78687788d62858bf7fdf2d16c6c85785e129356049e07047a 91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8ca35fa5f12b65f3cf9910d6ba61f9c49bcfd56df4