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 M%|Td ]/]HOL-Analysis:threads=6elapsed=325.721cpu=1437.628gc=116.080factor=4.417zXZִF! O1F5]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmybӊ;,Íyi2["7YdoH,r Y 5@ ry^a ؖ4u`CjKOO1?Nm@n*X[N1c`[lz^G0 ?q3Kꊭ|I#X&A%$Xt/1SPBdIߋkQFǠb"v52kwؓ%\ %&f:SzYY'v.~X^Il&@n0NH=$l`ň9{W-~ im7B xT_y/f3<7 g볷qdAX\,U%EidWƑc}QȖαXͿW :ѢpFZXd/;G,Hig<eA _|øة;$.%łl 4`SL-"Z/YGjYHa @nvO]9|䶴CnkwT b.9ۮ>R4JvK3BB;IڱC\y k%þt_/G:H+`*K_04̲X+Vm˓z1»{ZxZ2< ^8Y/o,VWv\(s )қkiaޓϽ + yM<4($lגS |n>fyUyO%U y#T_ںeM[<6r9vA2׀S*>{l׉\^>$M3Xk "p$QQ>##)HfG7<4&J K-&JȉKj-bP }Jmv}`毢I(]gYWAe Ϫ^"Vice:5*/Ju#fȹ>r&: ipeDg@ f:2ʄfhG &n7eQ]:{{%lld^\鼲,k=mX4=/Cסً2L(5g?ܘ,#NiP؊$dy" ^:yOaq3>3FjI8{F#,DtZGSȢir>j"11Px3OփayT<H:m!g%GoL Q_y||\ng1%1:C )ҢN" (rOb2UJ}Wե" a>KN*XyfA09qϢ\4G%MeWXu^e B'xK+P)vх5jqkoaJ=3J]:p0@}^q.~-Bzt=({@IU!)a D=rg&M/.VvyyyގZ71%$mVŒy ]ˠS]K)n.#O>BB%ۛ|0cډN g3wFZ~Qp!^!N2iҳtBeaGo`뼰N?̔Nz_bдG`t2? {hݗ(eg:\Ô+/0hN{e-h >I^mߴ3UʑfN\*"T %QFXuމP9U!JP nerb~GҘ%Ep((VEHToQ@K(0"s]զTm]c.o'9-yoƌg>Ե:HKO2Xk+}x+'ǧu`b;H *}),^'1Ď6p $ hXh4_"]PZU&asPh)Wge{Ѵk] RdJGR՛X|I@ F}~ZdM᥌.`kHsa4Ń5I]))V%_7DT&V\1c- ەf]eѫ?HME;|%qR/DMΎ_rꏲvZ40x5/ *WLr d B `3\Eg m ]hx-Yo&B%WYvgG\0uRqv6>yi p4>>Iuf‘hDdTn LRN % HOL-AnalysisG4 qc.CUdxt p%g, nxpWы8& 8QWHj6+4]i4 y ߑZUaSDCw>4}ʣ!6,Q<@@68˸JMՄϩW]N{ARW(91!˔ Zp,4 9fw;;6Q CQ1[л06:gx~ޙdzuZAkU̾?%2OVgmNUP ɃQ֩[fdJ 3";%. }#ȍq07hħQ /(m'ɤ`qa^{m?VO ~IlcV G`_{q7Mv¦:8<\Sb^\-mh/ ^F7W4=;.jc? קˣ'qsE \A)X߭gzZ6ExQ_* pДz@0p]a2" R#:ֳNGl77N/ۇnhF}jc+canX8H(«| V]<[e 1}E1Õ4*kCƛiƙ69BlNKH|ݧaͺG!uOܛ]  Uv(#P1m=Oq|[x$88خ<㷺{2(tWr*핐C[\_[lRNaY0U\qcSﬖp}1j F%緪"y6x"yi[ HD7ߨUzuw[VE_H!aʀd+Zkq a?a^hS*q6k{s?b ' )Brt,B%RjxY߱cϚ)aj6-bxsS<"1W-OvIhcu 7_vs[^!,$eq4-F,|h70sB;\œ`;Ia>9p<$d>&So5L'+T?Q 8z긜(g%C.3|!:p 䟚9[K~)%($ 3VaG>cH5U~ֺG]H A`CoZZ۞KͪϽ4F%{ v+>]>bV.Af"O7>Hñ[S~Rҽ-kPO@Ax"o|yl$ 1hT|-12,-c[ 59oA^ѶtR`|h=Ҍ4+DvY,:龆T9 ܚ[xlќiAas<%\o*q&&57'[|*] $msi>lXu(nJ}0nC>15< LK(ƈ1= 7h4G7wq߯?vu,C5'D[9VC$Lz? lүc2n{ͷ\|МjvyI]Mg.zm &gh*8ߗ[sX(>߾+zxJΊ ;(9!@rN2K~y5 !ED "])GoV%൛ :D-ř@GmR0wX?ǞYLB8TlbY rIKHZ7e8T1&; $-d% P y1DV rn7ay{ 4 qR{a# ЇL zJD  cd5fgas辚|3p>par6)Z]IVw^+qR6&%٩=!qђByVz#[:&!{-{@+%I| XFp0weLJʣ nP3v*ou wxn0'dWg=r| ԍ ;D*kOq5v^޶^ߣ:l:=&4՜Pg·ȏx+ͅ(,`p~U :dϮdD'܁d"S8{f{? O,C2HL3&7=*B:H㙼&=^;zQ$G#p"Y[0q Ě킀G2ӂ^aGhvx g&=0&,=7do0śV'2cPV}6*m/RZ|wbkؾw6;9gs4 T+}Zl m rv+`}b ZUVm9Oʲ,"-7/;j|3sYh[=d`(ӌ_63CX2\vNX>bvIkBj$!\i;DVMfë혤/U6pL__CƧJ/WX#CVVbSK–n ͎AUZߐnH"F_CJ-x]g^xk]QԈ[Ty=;Xr7*vmTEQS۝C^a olx}&=%9?L؁1Ο8 v 1u9;,6ki!lpߧF)9~C|D{C88@}]2Cmb`##k6SbIJEK8;:,RRԡdkeΧt:lx753TN˔1 HdӈU/cz6J ;GNXNw4hק^@"}`*ۥF'*eHNmPݲ8:P/%e ȭ[*2cV21&51Gl)DNA@Ѷ?dcDM/q4iיRD4qt|  ͍n?)YrhYR4KIݪ6TLfp@ܹ2Vi?2S95GW2U\xlzg2B **|g)!0ad1hqۂ5~BJbK&SWxjlҋ񈾇]ni_ˑm7;ѪYZ%~ !.z>j]˾襵22|AxN\_R2s!a˔ԅc0{DjJ̩͍Q_Jl"4/z-Ɏ܏ɎgRJ7i/>+Um:A_Unc_hיQ͏}3N>p$ʇkVĄx9k>{L& 0[F—zE`dfBaP2q/#%0+Z (9Vb@.&#TO֕\ Ly 2WW}~!Kʋ^WV;ѕk]FB]myɭ.Eм}FIpjۯy6oH,xе~RYPƭkca+=y;bOl"fW9`)OX_.-rH^8DS^*ϯ"lt٧J&w/rojVȆ^-Uبd\ue 6rد..irOv56] ɿzlJݜÛUj3TWe}PZ7^m\*eҞ^-2Syuv +~gOj&T&#FVHY |(=u͔άGjqnz3:0 DxPٜ? qw(BU8N4CV 4K*G_*F `>"F{mx`\'VhvO(̦8aZ|&/=!E, b킋ïm 1c05l/beWli%2 C#WBjejZ׀TMKCNԴ5?ڭ{&MP# /k7!JNPa]F1!R_tėL]$h1cըaT܃6KL@7t#%uI@XF;E|N)G=&;*A4P:pdvq' %NE}o3zpQ?b); 0aKFy MSH>JpY+H-K4NDJa)ۜGt݇1g7(~d!2R@Z$]&Ǹ19Ra2EL$j.0C)?B=Y <Bߟu9pX$u Vn;2I<|j3T?ۺN.<^.صORǟє8/?gt*%i 1JeS#&Hx^o23@_nkf~7 `gV-{[W#^m>t`}*9S-/",Oׅ`LbK"~TDǤzz Q(iU'oz &rS8^~.nE` =*kx9 cgΛb m8a웊1$4gMX|W\3SCxוK 2$erLlJg,4'lp :=trm”*k+/tiCـT\^g,iGO pp/1t``{ ?[Ev˒9)h#\ۙ#`Уh^ǼtŚd4 Hp_ ($31">٨՛_)klH?K?1w#v=_wtν2A} dr9;'a?2Ie=0^D`sX?掝ѬW bTEĽG馼a-W"Wjuө:W2"$yiIst G,=lX\?)z\g|l9-"=r2O2(;C)X.A*}ÙQ6zHl^,2f< S1x xY6QC)Rh4D-K S.ۨgdj p*QĪWQMo]:va_c.kxIY d. K]ף `HLrH2}4F>OmP t3BxSLbd;^ɶEabf>yCytvU;s ׌3Bqj"ca|ySƢ|!DWx,MKFһeP$-EfX3gж/t)Y@T qP`:8v7l6Y+eBi[+zH :Ai>p >Ep :h ]Hſ#5ȯ4\O;80ޭr0MYسȹ3`WcōF1z:^LVO@̹㷼nKkzm={$kB3^]mq^Jk9H'LX^熖(k@w!q_P|lobX \cVh t@N=> o)cL4qkܗ:Jhiϲm7J]OoS;jU)^}6ҥzx;S'ȁXޛVBr/XJ @Gs z\ 2bZ6e GN]"~'lo3])! a_Eut1fdZRD/um9C,qAfpm(39p"Sn^H x P':BN^15O*tR]Nowl_pbD!FC2AM%e>2E'%@ńc `',dޖ78@p> NГ"5 .:U] f.*\lȾlq.1x|veF\(F tSj4ę(a,W6Lp&9I$f;2a)*/Rp[8\}\ы^{yta!nKݽ]3/񿃍M^3*JJ-AAI%6?P}ҾFq9tiRaQ"kk-%5 "40;դzf|n5S =2΢ɶxgXl(by1^ -*n[Ow?OH_9ÖÒs|y0tot,( ;WW1 B}Mu?B_7uΧOAY_|LT"Q>xQ4~^&At\aD- Fg7V> "l?Oɛwg$UܘՉpj$*[xIrH_$dƢ ۭnO\Wt5$rBoF5 }QJO`xNRbB "Ed"YaL:) w3 K`]-ށP8h!"vx=Č֫c?h>BdEAebݬ z4}ЙFbǮH/T& U>Gq@aW Qj92D9dVXfDtYf3Jd q_{bѤl /sI&(N>]k2h 01'@Z5 CU$ 9zz3gُ {Ƒj7Xj,Mc>^ޙ&sMV @- %Ȯ6R#(],2.ߺ*>Nt!o[}H- ɼB8\Mp6sӞ<+2X,N &H.@>hjvr3 ?w GƜ[Շ%˝Nj0BÅ%^w¥ $+V6c&r8K2R^H_(Nכ'H]Af+Cvt' zr6`fb2wXVSJ[Gv> nѐXVk·é9X 교=*87#y=8j~q`/m "_ZdCx X+7h[lW-mUpJ)@)Xiz >GËeݘ^R[7m*[Kc%} cpa#C{#* fL.{0c!:%+FnQJxs=F9#UL01(%w3Τ}bY_ΥgDvzȔ20 Z@a̞n[*9{# 5W S4e9;LT*mL"Jcy5'ks{ /aN>,x#NTā9Za@4it6qwH@Qja*.ι%hm]e乊%"x0Zk4WǰKP6'?.2C"âv2Q{ӅMchKRZJd&=zDGlD /JBG$R< oJt#݊m);]LG7;&񁁺#*W>QGKl9fɾPNO z޵)|Ǔa; qAęȊԺAC6ҫҕeL_7 0HDu QIސd?Px٢` 2]W#VyH/SeM3FHojFYunaff6j/ZrGc)0]*6)c+14"t ~d#OPCۗ@dڨ![)F`UT)AS3D +pG;IB3g(vNN@n54D~ypQYξZwD*oоgFٶY J%\ȀNF}F#!)zX,Lo`*k]ƊU\WZx+>rBRɉH\ou8"֬0.2&r+D&*4/\)"W`X6A$Pu~9 ISжBO|gK Jɯx9)zHס2+w,''K`Bio9apEQ2g#ulO'0Yѿ67 ݵj,30oC)gZ h`j P_RT$tفrثR#sv r1 ïC%,i}psuUXibgj#Wt>o;UÉ6w{ 浀Wb)n /*D4.nVC!jo0[7#՝@f?t) Q'g;+H#_OQ0ptP匬g̵mG~~)tWL{Q`}gfGA{@Hju -3LB;Z&V晤DV%VP{ Rь 4gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4 C厔G ܈='ߊ:C҅y P=6$ׂD׌j%ed"xGR%à^fOv^2GH*f "/ i^jtH,ݪǡu$z`-'\bk/g"o7iI= tkMMl\WJAgr+WgRv%%5!;h3n ]`a>fjvte6%VDBy2DųqLNu 8z9ks_?dK*M>uF1<*Y)Y`Z9Uט֬>0\ZOJٲk=a9s$uAҨg\ ;rQS(G t PIn/z~\"#|3x6* %us zIK ,~Sq_Al eWbE*mdVe` Нohn3Tͷ*ծKRJH0RD2qQdH]U$(muSȄ<+dwu N xC%}(H,}"3DW\$*ZI0Zw5( H!dH0VAE &ts`I,`4$IK>S v<7`4(Y%e 1@¾T-mmol(0=v_/8!41\ﰎ^J~t@|)CWC~L>-gO(wqVe@1q(Bf5մs=nP&?Iw0KQo2icOopa͸Nšho8G Fs.5*^ n WطOFL,HdWP?%G3t>U%#ga8} P"wY#mʜ[kk-(+*[dAo QQ?`Z ع9 gP둬q|Z!{%$ʯ$ Re\.XË=#p*Uo 0fFGHxTPS-k>O!&I`~;6ߤEyeVp|#S{\//{s=+Ќo~cpBd4QuXw_GW: YbX݉sxj/^Ks.T5$L8pMoXX Ѿg%FlT>}V>*VSN2jm%yNF4X4B׉V.zOҪގ"g);!뫝gzWur3xoC?0^`>Jc"BKa` [AgYZ7zXZִF! ^]ŗXi%ϤJ98ܸf;g|$2` %y>cP.|>,w6

`;ǖgzER-~[C0tZ>!֊NN *J+&xtw\?"BgvԧlFX& Hq h<)pg)1j$y;IZ,l/et{0j4ne^(/h Q2'xQbAh腭 f,e'ģ!cw$y8;8[F7ptEIr8JMzE~mF,=Kz##f*H<:s7mI`Ɋ[C3KE|DAmʐoU{ݳȕP(;.XtNu*,#E!<£^\E[8/Zͤ0W&FwJd"fR( hFx ։{=a` npYWmG䟡慆ڭ^_`OFrmN^lmHNscdnӏC3hoeϿ)_Hy?$E3?=`D)1aΌ8~e%j'b6gezY^7;[e sVj7,+Qs/@%0w!_Ùd5;xʩJ\fēVKQBod&NI>Ρ(w,h# &#dʆvݫY{˖Z74?_t5u*#RÐ\*q?}d17 q ⌵qWuтE8D߃ڬJDĹEӊ+Y- 5Qoüq5^gFüR.Y(O? V8CKrc=a+ u( d̀>y֭zx>M`SX=ϦC=(- ݮC+݉+ʆcNݖ [NL4">/.0Q8eX!+#<( 5/$S|*9m8rF"  z L!:QRp|m1˫[E^S׭^O((9qMg9ՄzSUP}T~'2T:mAv7da~FXҙ{Pђ;I,S*2vNDx[fG<4v[qWZ;9W?߬抡.6%M A@8㵛:h(>8Ń R ܂1,큅F__r`J8U\|hd3SMQl.1/Wz'kk6i}G>4Z<2he\ Ly OU\Ld\FBۂ-zOحh)a,a/;35GjY@ڢ#+ ˕6Sg7^P6W3I)i YZ0l/V3D>f~ba<F'a'݈zWk"*ɐ3szPX!ݡyO{6z?88Tlg!OB?s&yq呵/ a )Zn 6ߛ=$t81n~uћƽK-Oa/-UZv7CjQR; d)Q4,{LQ1iTׁB:11HsaAX~čUz-܍a +ȉ}-`;rƑZT6QfhjdtjT6A6x{.6ƈk\Kk/ ?(@3 տd-+VVO QmOp;9PR:0_2Uڥ^l'gX#v$ɢL}fZ2*nW!*azF˾ Kj[CNXd@wX|)9jq-͈ciI]%a{2%Bķ %W Y|blk0u< EDy),Ά2nYk5(:1 Bv #bč3,ddSi Ð_$n*c]O^ /;0Z/k.l˶m`wk?.^%EZTAJb3h qxZ/)do#aw^[~k3%*@lO௢v=g_fב1o }qH=_g= ݾG:u`$'FbWA@/wSۣ|'ju~C&.'?GF.WCgwbk`-"U,|U[w)Xm"2CWT`DvaG Fbo)C ۢWqUgw1W̳3 J{\~D0( #{x;A%!tNG|^4):;@!һ+J >X^~H6wc`."jSiPYCQs˘dWDU$mBY4fj+8;S?%Hcws1 }LXE+n6ĭ8ZV ֻT;KD$wIL3xWtɀrtS@ QhRm`$\K+s [̣KWo\lN[Z 4?1t= ^;=J$: 49"$q:r9f,4kfslY@)ʖE37^r DYU-{#*OR"^B]'ݕ0hư{2'yYuWe4O?^ Co|앍N 0?#j%jۍX_vWwݤ?BATbʻ0|tZ8v [5܊YOXɄyy*C,Sɳwj| )S(8JS3HWz ^lԿ3r *AMv͜r]No@VA `]Ov~gQ[N.q,']XkMΧ[U^>95>}Bhշ<\U&f0U0kZeZb^pfN=*M0?i[ $m^Qݕq=Tξo hj ,KK6ݷTRdz^w;:M%?Y 5$:W֪ACR{mmm !GZRF4?*8s&B"2!@Qe^FOFjve{R!XW7tC@pUٽyjdDaeƠڬnzق+Gݰᔿu!_xnEѸ6c%KI7U_ j)h}h1C@O-, ӅOS~|.51.ʙFOhpfQڷÆ^PoxzrJUT7GXK#DXX +LC®}qX&+ٕl 9v`?J]OܠKGy::ѹ t*Ub1Kl^iEtI*5#y>R=R̨ Zp1ARS5;7)DSi_3xd}Yo'gJo0# Ru*įkc-p?V\ܿ[anJev1V 7g}be3Yz#sZaZ3պ/q:%{2V3=Gf,I.JZ1jBԼ^w2ݧ?f"smLn=P(eTX#HZP 1gbOt5 g`e!OBޏeFnԗtL*%5GN^Xl ޗhXV@a}#-L:xA t1Tï\{5F{βtbxE8p(5:m b*ЩE N>rwcNO*ל16&FtpZ-RL (h-Ⱥwuc2O)6:x %t][!pUl8=T=~KŪYa9ﺼgPޑ7է^6ԅk1z8ї8zYT4jRG^*}9}!.0mϻ)HFUXzzG>J-5Z5MFڇ/ uCǝslŘ 7_6֑sݜm&GiGɚ{($ӍU!@blLy'ZBi*"ܪ #yr s7M8痓̒3M8ͨU chE)Q2og#!o8yMf<0RFĄR%hckD:bT",/,Ϻ `MhB>!ֶ{#^hwY 0!^R[*ݾc=aR,}f2<džY64ݸz(;$:/iCTQ n.{ T3uh^~{+1o!oҕߧN͈w;]V"C촠{<VYED  Dly1CA MU=ƔT\ZQF<oKAVt]Q<`/=i=ΓK7^ZI!o-sEZ!l^QF+)$_D7Qp&If{4`o%$_xl"LمZo|{bόyJ}io"T+5jRW{pGk&=Nza|:&JƭqSnCqm-un,p&4pDS:.fBx!l ^&@ ~K/x-m N^jBH0'" P!Lc]}a*S sNw#VK뮆'Xԁ7{Y %kڨ%+o;|D2,X4r+5u}̨YGLg+}ޚO\bQVl "NW-m&LҴp“DzkPȩbPwzJXcNRE9RKTbWCh=.y[Ż̑0gI]*mP ))1,[]49yiM+&*WFUVįbK]&34w8[&$p/D=_D䠝28t%ЋqW͊qFFVNMh+ "Aa]) U ?cIWu);PH>i:׽,ۀYM4=sKdb1T,'/1}iEz;v]{PmUP/o69NH:8ax)cH U#Z^ Jig;~bVq|;:_Fэ&l W_g}|:R*?p0T 2 fz:k!޲`RECYY 4krm]PwFYEzWA؈e)"O#6.gbn_$`ʞiO|u6ylP֐Ci#aLo Veq|ȋV#0]ĬM1y8m#;+e:k56y%'WeaA}hv&IcJW`8XG bn^6+U 8Q#N 0{Yh!ceuO$AlKprtԶkz"u('γMƪ6TZ=^@EYJFzZ+0lXv/Gn߂u"É.F>T ms8*'ݻ"*o%f`!DQOnT;p{`m(1 Zn1q@B e^,ErsUB@AR~1Ѕ%r̈Pb:@2"/Y7 70 b zpݥл!zD߄x&:tq)}.?;M !q thcb쥿͗"t:RD`kE^hD* КĆ"Ep6xg9hu̶]0c(DDz' ~@pgj0S- ^#U{ --YdN]˫H*1h|l>. UO2ͼ#n$ H ~rWo0F/$N ]< CJ[_Ā6EBwac6Jz\Vٍ>|z2X$~/ K1̙d|X($Dz:\G- %`.?Q[%uK$ H(ih)M%~CBoղt`J;rrLKF衼1qb/e& TKhJǿHϷc#.$u'3w\D;4dpua'c{>'Ϳ^nb\rupŁ+#x~K5Q2[:*-yʬ_|뾇J㳁b0tֹi]3;F^1<5tTfH,[!_jd=&XY, Q/{Zy`҄UL;rqV_> %X(? -ἰI6;ZK8 VQёyl-* NrGUhqkpErpy\ rj8)(cK}l欱{4ͤ\`qD7xQNLrǫ*} ygI8wOG$ "h N?GuU CZZ% Ӓ> d|24oļ x'ڊL-Zג&=J5p#6k0]kMUz}mV&V˨ 38Ɛ@=[o}y:fOCٿ{9It|@[,5M¤szޥjԥ1쒞6\<?8bRX̟uPQ±|-kL-C&agSxI$cs6=N=%]O(xmW# ΍^z:ݧ \&/ڬ@d3]6L:.ð)K[ + Kg}ŗݚvY e؛~OPa6h%֡@ zgy8]p\bkP.ІM(d >8"4鍎䞫ҏ*zy̯C~"JjPz?^VY oE6 " qMjnލJ%JRD>5ˊrBJ< {cI;T쮌I Y{!Z@XK8FtOyc #gTƆ\؟Q 0sd@kztJfA (JEv}-*C =j1"Vvpnڜuգ{ _c&Se}x NԯfӝTνLGIejX]B?[8UG`Ӏ*,pm#&7 Yf"J -ğ ?;jPd8śGA ;$+ AKG3-PV`(t/0>}G۽Ɯy|>rxeOE@ ۡzqy> 8-<!PD4ilׄɟ/*NF% 0Et#Ll|wbҽɸ|.ߵ|'JiQtнo8,Qb¦dNJdB8࢑{=wsh8nԬv0͹*|УRd?Ji\ _lֽ%U#]"l'ILH W#cY\bp0̤5ϸ0ٕW>baq x?'S ɩ#ixŢ(}X<c]ڷfA=l-FVcRP.@ry) B!!FjV|pCgY6UVUƾعm ҅5S*@wFrn~e^e]~:s-mwHr /sV,q$ֱUW]zy>?Ϟ֘o i' nFyeIc~Rf.aK~ V,ϩ%;"b Non4}B Dx5gK(/XB`m$B OY{ Q1. }(V2=v;S%e0v[@|0ZWTDH>V v{!(8E,!3ZO ზ2Xrg(RzםqoZ)4'cfтww3I3VEEZ=+8BA޳XS!mUbՉhrta/2go%%˿}h1el $ʻU_T}ȣ#\ OC%چ"d?) sb~&.h%q_,lim ѯӿ+"3&f6L57$ RbZ zRkSr[2Kr2MW@A)'Y^ r\T]dB ,81pU$t9$mW˛bRʥj'LmFV>*EQ!UADϬ4\&x4)2yy -nXB/+2"Sx ܁|F9s3ҐG K"\dJt:((XVP:=,Vv֘<C+nE|jT!jNsw :}V+E UV({9-KÏ,2Z3[mWZ3!缍 r>_C벜͜WKI>qLg2I <-* OP %3QPN2 $Y61r0\ƪQ]K~GDniJ ?型3l1>[jg{Ȣ3ےO [.G:dR}  TQlC]J+fRxP&)Co0w/PӜf"y'w5JS4pmLJ%Z&!@DBj .mf3N`5V} "A$v}˹IT.}Wn[{SE ʺi'j&+!5"mwb|i2pm2D"P@ˏ$4}dn0DNZzR- ^LAj!` xjۡ=#򃒼.4æ%̶ciB}X"To!DqoNx{b,wcQ%^1SBt3i@όA@i\$tmX0 \Әǚ6{ߏK< ؖ1 ɭT@3l=KHhs ۥn[![:ox Eˁօկ+ Y?8Y`%~DQH0`D9 ѝdh֒NrfPDqa6N/W/mB %ޮc'5gG=෸ 9m6|Joc%fbT?NA ؿs 1%BzᅲQA]`.'hRP\+;Gk(L$9|z\l iˉUT1,_eTc5w(o-\7)7`vRbV7oU0:Ns|x~ '_KA$ &<1^:zHʖ&% l7F;B]d4c,&uV g-8̌:U g obj-{kbRKl>JS]-u:-so3Q>HAkWlȦ\=pGzm~׮9/4K$S?1!5KHN em)1^_kY-/o7-p=eA(Px((TIS~ڴ_fEvrV R|JR8dE /ݼIĩk56^2M^6n52 Q !h0aw'+Ptdwg .ZHk85GP%ϢT^0b2CO6Bnw0t$S26j97 -HH >DTdKGK&A8SdVNӚiGxD`yiFMJ|AN\+HܙNr:Ӳ].ZC0q;!"G ;/uq+H[ Š] ~[5%;B'\Ya~/XZޓᫎ[fx t=&YR:S*.DËGJRI;{aūj~[PDA/N8ao [-~i onzn%7RX`6!s|>zG?F$%&D:)1%ze-t1zRc'D1J )uU?暟Rek9A<*#p[kΜ6y)͋RgT6hhE9F9azR2j5x J,2'fPi<Wh`+-W.{Lf0jr BIJMJt)tc$T.E?Q"iO=pD%c@މzY2,BfOJÀ+3@4&b:.6J&%V_1`(ԧFRe ?`[#j5?* 8A xAaHFZXt|ͻ(HOqp sTDxn *Cj_x. 'k^c"|_F¼؊-: ص o7bfj6Lot|%AO}3A; $Qu ͢<^Y},;Y҇mHւ9JȷAKJb9Bd۰zhᶌ:'1-fHH.b)_Ĉ檼L06~a!}&vuZWSYV6~b:]_GnnR]C*/;sު)e׊bIzi^zU1Z~|Z.-"wC*Ю_D/R+SJ ,ȇC*+j9F0VhRI |isQt*lly#ښ0²Nlc([XQTC9q]FM~j~zXt+<\ ΢V&;eO);L{l;ѧ{$ƀ*Rr(3V}NVϲ^1׾q>b겪B7mŦk`?IJRN7%}HAA,8[m%^ &ŢF%Y{( x<;Jk98&8Eu2h[0^)jʜG67e!]#@1rCqBЍ ˢ™^4haM38ŏÏ|_0 ܮdEZ On v9 hm"9 itE)j{}~v`_x ^cAoSTgׂ,x!MtᦐZ>dXDbof/Vx0g[,D+nY8߾vMM3]}sEs~T`8R@wNbK`J!ιe%KVސQ [ Ͽ>D0p.et*L EݛNm۴6/Nza-o rGYW 0 2¸D{d[lhWɷ,UCx je %d6k]¸QY<)HgzGb1bo܃*KqbF@x>592]AȃSse~TN֛s |d#n p͋K #4ƃ#N/6L҉h# 粦l!?0dSbr:9yjF5|m{pu2HY]̐-Bb _At"֑)}ĔwՂ(oڠ~NR _heFzoO8;L/s`(_e&\_8j gOQ~I6m#գ^=;Y%럑vM!qok 0k. _RFsh;%BپB.#I Ѯ^ ̬XfL gm8b839mhxoGkz,G.4ɵ /P̕;OgOcW~ Fh{oN>;is6`O˫!d]sqm/:Z|Vh]'`Y'XcxsNaڌ|h6fp_>#89)Ex67H5T7BoW;5/>Adh>M&ԶJQ;QT O9@8cЯ@RD.דd:;<$҂ױT,U 9oW{9[ (eaبuR8􀏤ѠX_lNd-VyA;BcGxbM{fбGaWo($loX/Ax^C5<ާ$:(=r=ص`IR$lN0YB+M;LŸ#.~)5E" #cT)> ^!,•`r>" vPeGHO[QN aBr֍ )MX@XE6\YdQ< &Ư|+R?,hOL%{@g uxT`(Q—;>tw&19Q,Blq8rIߘހkϵqy>u#Q{>,0y_ۆ>3ŝ~xoɽ$|XmXKE(mT7ٴSGwHs D(Eam ,NDqg:mM)Mbme|zz>>;]Oא?W9OM!϶qmR=$ 'd[?.<3=_Ӫ|GT)ݧwΘ C*XES!v+Ae+1ʝjǩMG@0 n2nmRJhM= 2&VpLLPSWdyFcz]_ 5BxQZt}}ȫ]M[taDZ{8U>OP6])* &+/c/P$aCoѪ`|zx򇃤M`uU'Ē\mS']WHiXV K :]|2LXm嫅)Oʘrۍ(eJs@~*w:|ם̱ZX%U?T WcAGɳYwBEQ>x|қo/:;8I RԨ|c{T})ܙ0ṕԂv>FG//"Xmv[q@vVf :2CC/΢ڵ˼X<Ơ3 X_t;4 GҰnY$o#=ՀLG6!b}-6Ͳ ac"g+o @՛f> jNQ+Z* e6a戔["U}AA6ٮG\ :P8L/eIwsL!Y)/\~PK>e*a8`.J& l*WӀ+q@T"<H7Z-4Lo^]MHDzg.}Zbl*܏|9Z5`Q.nF/O|xwP5j:Ѿq_0W-qSg= +%c֤Ul MҔڭl ʷ.iz'f(_%mIxoͩhjJEu/-̺H*Z]i+Bx\k0v@BfHw2R dOH&7鈊qIK_ *Ld ;fHdg)R埾NgS O3O1z ٪-l"?#>y v"8ϻ~mm>dp !c]"~xBV=Ho`%C&N'eɔ+_%%w<ڟzgE WGkyGPh:e6I={ k)̮#'\N_"Kv;Ek)u'\2*.!#C$gHNoC0VKKGS%y ϾND ptIM%MoEV=~ݮ J9L6m'UA?Gzf-͇BNJVA S&NKS&pIn]};gţGC<]S,޺R`C]+$0..8#~VlGz !q3983cA =t QbgS"NFb`12 Me)+MxʺYFb\"\D= cz߱Lgd0s1. R*WTPǙgd<7ZqPJT i ;P^Css4`W<6GĹbѧx4zJ+mwsė(e$<.kw1^(vJt;+mIKK?M{ifyԀa2qÊD* ,QfzKk Kig!:!*<Zl=4)J%s轏"A⍲ ~Qh ~Y|M}򰿧gۆm)( 3Wy +6:|J}Ȗ~}RCJ1K2L0OT\5_s|7PxnM&zIs "O ˰Բr3g3N2QRRZBZش몰̫9ԡ x dn1KS>HgC4)KAB ]KyLbdž ?D u$ wƍP,E/H L'cv_ż${r3L/<Gc;gYZ16fa59d127cab7628302ee4625738beede110ecd13a4ee91aa67465b8841fa4bd2c33bc4d91f32eb e27bfecc3175c5bea938916291a381f36c7f2a5b0f89e47aea391af2d08725a2305ae537faf020c9