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 E%D\ ]/]HOL-Analysis:threads=6elapsed=366.103cpu=1616.364gc=128.264factor=4.427zXZִF! 2M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^E_-mk?4q9*^Gyo0!${[<˛Nz Eu5(), ,1Nԗ֠xf  1}c1_pUrX]dH^q/)'l[c/79۷~5vϳo~!}GK8V*(.ˬe[0ZVL5pG4Pl a}'#E)ʲ1WtmZ%ހU4GEAgr!zB2{fJRXzmwJy*r6Q)_Mufv8*?dK]qVeB_0WrNLP:1 ɺm1*W)Wj3rzI!a+Zʑ/D\G#^;A쨭p69нaSRmQM2 r$)A Ry|٨ 3Xad7[nkS?̨ƹ)7Ձ!_^c }ӝKUU fW[/ܢ?ie€ (C " zz/0n,qCX砢AsD Ob bX0n +" t Y$\0EH3@C&dlX#lGBƸ)Ktv'w1"⁅)pYv &B1rK!!Qز@ijG Ē bD[xh5W*bKa8HR oÂ[(z2GlB&ó%gxI]o 0iΰp[l{8}=ȁNo;떋ސ۔^*PtҮQP%Q[1t?L *I>x $Cؔ!W%Zr7 *wJ#te**;/ G/Q*U7ǚ, ~:n_D $5M2Kݤ=|a_f!vr\WMdRx.kKeY.Jq&Х;^Pd]Ewݼ[e[״AR;rnLM~f{쬛TkٯwT6|тu%,3nA#r gMg@eA.>N]I(a, -+پ(? TMX9BP!$ WDBj!p\xHyy+:7hI5ynӉ-X/XT6ȻA5^K\.L*+E%7x+UafRPeFBd YNtlŦ~чPU7n@ٰ!!۫q_ )M8z:؂U?6yh˃5-.2Հj}`Ԭm3qdE"`X4vL<0u)!+3A*,nJ-^ +}, ?-iBdF1nTMܘ"tn/I46`Z_~hh-w:g`]?̛Mhdtt'IТ )iA7H4"lmk,a$܏11dT*wj5u߆o6A{m'miE<}w-Wʜ-VWMr|TicY(G:TՐ4 amҵ~vUT0;/GwXyMun^79=OH_=k¨!ahΙTY24żˎR6<4ܝp8/XE˸>; T$߸S:uHa=[{0s1m'rTH__$h#j M2EX횵44>& ]Oij}\_.hxѦʤeducx1/j*k-ޒĥ|o7BV8t4٨m~K }DI0k?۱$~4MacZo)%y̿*yn&ύhUv~X\mo1k[ύ[i>-Q9զywYbz8ũv#X 8ZjRE2X3n+=~Lݟp#a+{ˡ&w2&@ET=ct%973J"O6΋^ !N8Pn?]!Z}j3ת_yoϟ$XX SYRYZuxِմUJ{%JMO;qTV,ZV KSU) S#| |֋ JQA.V)Z8 -&>㜮>M7zђ7RnO'<e:>Ft9%DNܨ]v!H<$2x %y Rⵦ{cŨ6= iGc ҫ??hؐ$1x H_$Ay[K\lRR?{}x Vfs L:PC|p[6%"ϝٱubuCR86>H sh.˴&mD,EJ߭AnP:)y|*njk7#m)FTCHR7㉓LBm #,.]ϵ,D,+jztp=hӾ~vt-А xadž~#E{(pVe]'^>UKWEK\|'=58M3%cٰs%AYm JP^0PG8zhO8̤v!"]H +k ?0+:?ކC"R|z]+28 C (!?jON4YO'ʒi%t:-*0E(Bmi#_G0kW }/[whDw77>?wzLV*HB?Lrdd:<*$$4y D"WjGp"R zΫ&vs{ ydߤ|_N94͕"į65z6V)U'I+! nhn5p˖#tI(DK٪FX{Q X3X|qIDbƽ*ck.Br]DNd18@ߪs-xl5pcy{&;;amAENgS8^#ȅ0t<4VCÌC:-RJQqq 㖊D+0)8X_"x2-M[p%RE(y6s̛pܾm  q476^'9 Ϟ_1pCn?xM8zt4Bd!^ KIˮYh5|T5 -hb*nȖR mō`YNV ='%/).$E#W͐,o_BR3)*ɼtj2,hh雐S&")*) %v);imiK'pq2KA-uZ efE=mtl&R؍cLGO@%=:Q24CF wN uKBr]GXV.eƂv z"{_ ;`ZG uQI . Z@U7 sp5}!|Ke^nD?mوqr { qx5~ X.O+:򱅍]ge9Qc=C NmOF~UYr#[ j6ůww}^XR* X7UzW /5 i"vىVJݍu[A3z /`:~- [1 @uf/ +x .5B.e/K"`ܷŴ#+% C+i~S  <1)ɂ«E&^k(cg~Zxڿ:I_jCq|LBp=< ڭ3yk|BH}spk.Y4 DM6GliHԁ's@BxsӂVo/^$ᘊg/"2aUWn_U3Nj5B;=vhEW ̠Կv6h^Vm)B6O&f\_i)2ѤW|9I|37xZrɄfa f ;*bo9Cqye)N:y.} "lPO鰕PN¯s6Y͖Ǧ(ޖ5] J[!73>K8!x!Zz9<6hr Vj_PZ>n뭖u"ܞya9cyXc1To{7Gj`[0PW#ϒDb)ȹ(GĶ`]f:wG(~1IxB:`ԁ6n: ̪}ll޶,s(NӼi O-H٣o0BYZ[֚WNy;:DE4DcV$5DD-6'jxE&X3+ۼk^E#&*J,ܯ3?H)2L Ii DЊ:`mg#U K^fS/>;ǔo*'9np3X  )M>`dZDk+q:ʼnm`}A*p54fВ`WD Nw/%RF[b+;hwVSTZ[tfp@qod&L\?5ܿЛIU%w,QzIh&T>D)eU(&S)?¯vWkc|'dXPWVasRh%ZxȫCʆLO'Ie~5u͛Gֽ8'BcY%٨tc-S[h)c#8+P/&٩@/Plڢv8q*h2pr+s uͅicݶ/D:!mo#[``_%šaazT(Ӵ/|7yl+߭2P>{'Gc;jWV~๬K}O 3K}VY;'Pѣ_D7Yn97I'xmCo?]14B 5(#qlH3d2^DVIJiJVzU|D*Cssה}N*8+W$^ h%k;S|biny kg_ODKM*zybT.);10Yom>o{&*}|^ڔARqqlGauEV=w@JC_E3htf:i=bx3=w.~$\|Ʋ#?}SS#K etV֔tOюph#&iyĚ-fVO psRpo`.K ^ +&!d?,zvaW*SP.rYlxk 89߹)l&J굌';2zx[5ؕFC*>c#q\K-Q眬jy*yPF{_` 8g%)ɮ >j]k-^7j6tJ=jeȔGRw&I늨0m80#ܮxjGXTI2ۈ4\.i)A b&* C4HMOUnlW":,W˱F8fͱw[L1F^ )>{ fBuEF፣X>0PKcI4shNJފǷKEyIR:nWw8s>1+`1tXUOՠc0~&`WWU{:ә'4dDۤtZiE"sU(3Ĺȝv7dA!G+ [taG4uѰ^}gf܁Eߙ&dkz-䉇-Z#\|y hKx6H4_Rh24k00&TOf%2XK54a^w Uxڄb`":CH XmM!isށ[zG/KN囀 E5縋.`rfD~n|ԛAV4$l|%>]6טQl[)a2ʏ\wydh0X;GҧVϗ LQۓqmc4BW70 /%hV*A |F3o24k:*ׇ!Ӓ[ GbndG~Y8] aiocwh, }EX _ ? G6;o,TcsؘL<;~'fIǥGиq^CɁ!DeO2̩^lKCX\=Ɩu+uz8`<򆝞5ɭdY`xÖ@VJ?P͕O"t5{]zU'po 38Z! $vmBJ=w$j%OPz9 >WjUi%t*hlA4Xd~p&+(Z \ -r J!]7mN5 3z\یt2PKo=ecUA#~lЋ8BfS(BrKIq3b.a=gIgjje-b~]D@%]NK)~τHȠ`ubbNwHޫ8rHX|cit6׽[=O;=eoMhNoZd|9/wCǗ;W&Fl"mG\CE{:"hΗ(7$tBtA%w &Ҥu~~,{P0i SXMe8I;_-i"5 sI 0( ȿ4n"ׄ+A篑bNPM4v^B.\?TJmEwO2% J`F5Vp`3ufbK*oRXo8~NfԘS<WZ'51ˊ~1skDU\Xc M!0^t L){7~Ӡ;gVYYw(FpX\/Kҡ+lOF}GI*;u.UA)05v^U!@rZc xqL}߇8fӆρt\}]0ﺌ-T[w=Gb;t Qڥ`R!vYHzB(sbV.@F"q/4^~*-3[y@Y@ L~}=(Hk_8  2M,YoDHuYQ^ld<lԵO/X&%(@iLbVS ýоgU9+1ko yRkg|B2@I犖mN~5yl$zg&o>OFXYpmКb0s}VzYo 1|Օ쬸_>$? q]JQc2Wr,#Ɉ/y:r6 *bUtw+Pap߷6$A H[w1ni7n,y"̍^Bb\U|@XZgvJ, 4cjAsQYGwtG5VhtDRXXnΡ0"|Xq|pE/u"O}䡷(tjgV,aS1#8M 2Yi1:*] +{Z\ d+vyˍ"+-܅O;8፟] !hڊ]ZeG{fjG4DwWCKU\$ȑ6ʩ=@hQD_EF^YQ%w?7LFհ@ӞLJlxVXoJK~K#1GŵŗP`7cFA=RI}q!Yr;nţFJ:Z38V"'1gwh|r(I/WxSP?Pӄ7av2iuRp3'u-bQs[;E~vX iWnGC"x_IWpī;gյMsG[h>͵g0{|AB3g !SrK(#HtE pxCx *hFi,B;SUV^PpES$'׷s0RMEl"1 Zeqӗ<9uaϷqC!/\el+]IH h*[դ'/]凗w"Mx/ZwHw1 =$Cd?ۍ+=Ѳ[+hݙ"3)ZQ'O{}}eD[fNJh9I'$CI<ƲӚ-b8;mg5$tVN\:C/'!8?V O-/_Ud3p[w[sz˂'htmFUU ܇W(~==z}UǞ`jҫiA4S"!/EWn0 ȘM3RnAO|k+gI|Hr19%LMGIbd[t-h5CF#'E*n+HTAy"G25h9Ԍ*oKki'oMm r@Y ~.r\ᶇp`3U\q:ΐK++d'7U+L lEK./z횹tP|\38\C aHzCyx>>G?)@n+n*G%ͷaحUӈUDL:x>Q!#@@9:ozreԁƜPMQV~m>wV V 6>'ˆh=_vbe[<Yk'F (uuà* /@ʘ"Bw1 ,Y+'NnmZQJ/z=l&*UDl :9ѤK‚7bN7hk#W_"JR.|GXvJFie`<VØհߠSD5kHE` n\E$ň:.q%MCم0(\K㗕`MiZ}έ3\^]g;#y{=֝AG2P~,׊o{a@9XUE_['<"kKpyYL [#d!& u* L 1X*PW :Ш c v6+w"4ZT) a=ډ[8؎rZpAfBh?|::C۵UCmXuCa A Ͱپ1,wDͺ#2D&jsnYZmP9Bp~Dڼ9G4-&noǸg`$EơK yG+~c:O׿a;nFR/cp`9e I40 cիj5+պ\Lp|x\f/3iw""̕Ds+o*/1z}CMWk%^zG1ǝ*GĚĔb¡hVF@dߒ<!s_ {H'^W[(r13C~P AK?j7kpz+rsll>QX-x.OYN.,Pk5m ĿhV/.%OR6ooU6dw=~AA\]Ӥt.?Li@W2̎Tz^;E &Tч6㑐g rʬ&J F>L׷Ya,bCv洃 9L>2.„3g@Unue~Ɔ[n6޻ޱ_YΔ pY! m Rd%w(nZ(}ĥ]Odd1da0ぺ+r'OpRc`AfW<_!kasOli} 㦥l5fGeʂ V.NV hdWXЩ:-;Y}| t76)P>Ԍ~l-x3L,'ޫl8/07<| bw7Xjs=",͘t!_Wxʐ\O:L.iz䧮狸W#! 9E.CXiу2g={| u,frImu41C OR4a5md$bhb/=5Y~!Eszm Z;b']؈Ϋjuݠ7eElӮv9d&/Y{_&(:XM!XKp3cm߁b;lo 7i&jZjd॓ zI`JST z:XaH5~j҇g­5t7CKW@3?uP0Tʣo6-d?PeT7.MM~u0@o,+f`j)6xN'deW]$TU#hHΤ6Wa摛Rah-* \8"枒}4ci{FMxƍp$>ĬY\xH"$,)FAe()%ͼy!s2$U͢#a WQ&5[o7zIσf 05T|77iչGiXx$`srg:ڷfYJv1*\YjoKL7`Pm(E|6{J/ؚ茔 a'԰gZYbi~SDD:&p lCAzh&f3TVw9}hӊCpE"8 . /yPh}J5PJLy:r3&9k&J]Ak^س`V+gSD,pд޼Ig7Y0zf0M"\ϩ}ۣjh%QrcߊH5yeG\_ZRu}<ēipXm<<;a0O"[g_M)}(ApAK= !ͪP%7 T}*Bd1R`c-{wԋ"J }گ"B!-ӥ[ߏxn%$ޑ_~LZ"/TU_N5G߿zG<ʌB<3FM_-O7rR_&B~L9EȜ=L®iFU;D[KdVeL|KGn@R0!O?;s{^K/kҼ,P<"?#Vs3cp; q3ZW7av)*7Qhe0$"hc/bN눁v]y}lS:$}_9f1Z ЗƜ0Rܿةxx<GFp' ߛ3"Y0RGqp?5\nt4 y _Յ~^QPɁ""CV"yͺySP=4#ִ"8y( zul:"eFo٠ ȬeOAC_ d*ƽHJV)6_\Ҍ[93J  5t(?>{D>g RuGo ~gsBB>hs>gePe"mpAmzbZvRy+iL/5&;g?ᘈ 3.2mҝ?I{4tMٻg9$k+0α?F]p7nj>ouKKaau*} )b$ jshmsv{IOQ|d'{rN C>]ƥ0#kz}fpu-~'[:_ż{[&h3{@03ݺL6F3Թx`2Sy ߌ/'CM߈g1t*3E7E eyZE* 8OT*܉h(>YPs6_K$ N= C*׉pQffʖ0 3ƈnRF*EfEšpM 2 TVxqraMa还zNH]Tbe"y@躰: ~x| tÞmN<_ߢ Mg4;Za h¾);.}v9lH561 v^g1 O?`/]%zx[xzlR*f6^rd7J6vfSiXKdǤ{N+;Źx6 (# V 3+U=;KxP}DydSͪ4(qi`Fޫ| %:FjXKq3yh߾2/1,XkH"QB,<3xl, DRl*IJqѐ=׿t,d wʚVgsBzط׋wcfϫYFni` 447Ӭ !y4ޫ4NSq<44<1)4|sN8`9qzb\a8.?xP8y9$DAC-fnG+!fe:zǑ0 EsP{(?'YJu5y-+H7YO LdY}+ mЃ35Ydt_/23QaxN'E=]+*t^9M:4kSF`['cyŅP[L[(˺}w/k*H 3GQ b_%=i!LQ28xӜ. 2CTz~bAV5@M`  fZ S#Sh/\X궇Nf8pkoc8pܶ_n_)n*>^@F!O-&LK'lr[6@8NdsE>̣a<=VX_Y4R?': /[|G'n^kRWz*Eӆ¤ +0oXlco^$g}Yydsg("lUe&1)+KuϯodR;1GwB{+$jewo{_zvXJ`XHD*1:yØJ cw*^HhPj^B `x< )ʂhD Q迄<{R"=]CSNn{y gA/GlVG@Ci VҴtDqBB=s)l?n6"%2fz4Sʱ`ѧ&] Y-2^g3^f\B~kgtuXb8`DH- \X'7kW~/ 54hŶ#fC8!0Q Hepa1"KТ<h;["MOO;w}&UWCӣX 9F. ;6C3HQ3i X&YCug,1{+ʴj̶+0-q]\wWA9$ɘ޸Q>17ў4|W=OL42|1"Ľ|r>1ZL?Tˌjm? \_/ݢz1G >ƮQa;2S'4#KKYi`ƒ$ - GYb1arbo\%o8$, T< , A A B/0AgDT\QXNsLr~u䳬cNOKV^$BJ1G>Z-ٜER=ΰ پc#EBfskR u:?z\K$5nʬ.:] .S+c#y7UnHM2(c'yi,$_CuIFe%1ک\__9d 6_?V`G%*vƯgo?˔?c)ɢ(%Խ~vVJP*&NBD⟐d_a #ɨ؇ vx/9dY&9^ї gx"a/ WlaþR鲜]5Fel:s f#1r"5euA&DZgYZ7zXZִF! j if]ŗXi%6YCO̍bKHHNM.(.}/B?Ҹ 3:)\tIEu ZuM[Xɯ9}2|~8ULv rљ3+FI)]x~4%  rSoƘTOװnee-f^(`;XOFT.ƆC79&A鄟OmЊy[ہ/ D2GbW B俐RP̒nju #F}sq*>YA QGN[ FP$Vvτit^/0nofsYM֙L:jV|N.5(nL*"2^.l>ӫUb !U1 t$=m i͕*ͶLUC|oV60q^96I iFScf}2VȚWٵ4ոMhxk%^Y Hp{7Yvo<S`-slؗCү&9 ԯ QRa0 z^{aN\? \K*`Ɩ4;س riTvQa'q0 ;J3YCY^X_JmÙŬ^/&aIa&a쁺p6-gsH[S@fw@o굂G6o3{T|p3%IS(-}vqSΞg,05#)b~jonm"5C>Ip.MƐ5G qs!ݓtUOS7&Rcc WזJCvĈbl'(qrTp}xR@1;Y /[Z8өNZ&8m}DTȆ>T4e}nqKG c,ޙM b# VG1#2@C썎?-ӧ.6j¯Lvfs{LA\7t[]o;A~'`]h<~i|E ,UT=>b/Pt%J,BN`6[ Uzyx!ཊu_*)$V<&/d2$!Tzq8LnN,0m>t*A<wG%ȭ/aFsTHAo*L;K2_"wYdb'"D.;B=2vZ iJ mi 6 T_[JB+Y1#:bsxJtq+\~ LMeCd n 'j!5'W,(^bX?gМ8?Ĝ5'u J70AOյESBH"Uo .BO5/\[Yc7pE'}[Iq Ndx4sW f>_77̨iw$,ᎫBX<-JR-[;*\V5q.OFЙ4TeDzU R4ޑ~"f7z V6;LKY!{W@tΎX3U.MM[qp<0*(*=l}cvRڢ "/vx8s3;AhN١7E$Z=#?•>ص>t^4cQr#҇!=KLd \ ʀd?F;)x; \EmZv hH_h>u N$^Ӗy D9ka`iCp0k&T2Y]RP|^,BuɷB(s%@BkjS f!CBb.%sU ==KMf9"aFUp-;Q%}xlܲA:{v9Ey[FtRTQӸ$nw{Guaۅ_2 o܎v$itl߱z{[D=U\koSg%% +",TZSVhǨbM.1(^jۦ -?Ywhkve)& ց/ 'lHd+4;2\h!Zs O"!ڵ&&{;&TE>zFfn5xrX26^ = DNVpY  })1yQz=\jT'U@:!NGb||f՞dI6 ~*oU?4T-0$}2ϋH4g% 寨y@V|)Q(eCZog5Ӓ*N3]~- .SVF@MW ״p&bM%أ:xhZ]?3>yoy568/skz"ڕΖl%"諷XGXMWo u; 5S|:4 w~;^Rn%Yc)f\frK/㷷ub$^WepAQ} '3* <1*SSvW[𸚘fpmdL.! d V@XǬX9k7Ii!N\/u~-2Ɵ]oL87pkhrc{cvSj@!pwbWE\x:]AANiJ-_z[QJa"p΋uIӵ[ |3-=D_|ݶh'ڤe\SbT7l:5b]Cy}:QonL?.`i 4ƩW+O1 i.ԁ>vF(# J oBK O/y>^`nيs72N}qꥂfʼn/+/P suCNiak^0ԠrkqKK%Vwm5;\rfP ~q(1xx?A"5] ٶ5Թ˘`4r_nt #3њ< ߞMh[^h+5 J@]yd X%cI:Fh$RUX#Fqlʱ^'6)J~&`R%LopQMV mbQdaTS!Lm347ZɺRԇAvπ\z_+Pw5j4tF͸wv`+QI8:LJOPxcevpڮlwL?6IOUU?ᄡs[R1ݢv3gj^lą 021W^WBs>$|Fx6"$c Rw#}m0L\,diX4{/ԀC/~x&]"O]I˫K|C z#H]u`viX=מ]Te/]ɓ+iZ 8Q{V]VI#>ʒ>\|u3(p!q.%CxyjV+5{ղaziC_JQCʣ ʢo_'GuլE跽܃=Y3Ru%Hb$iMDdBӮN0b7H u^Ni鄃f̹yQڠ|ZMl"ٕz8,3E[Ʉwz$*A3?08`@ b$B/@1]dX}w*8oZm'ߛHHU$7RGNw,g̦|V\QNJ%ԅW&pw'D1l7M.3RݘvLEFTxIy L r`{mVfȕ'I%h;c19iI2oY7hȏ$P@ hӈ( +4lw'vGd As 0F\q^9gԪ[-rG;\*qMhۀHzBEu1V+c/u$lg(RӴag](Ol4>kѣK9ݝm OZ*W%k4L^K}T@xZQ9 Qd7qEuOC3[2x `M^`VҏtQ(Dy3ûO$E1Fiۗ}`A!yFQcyfoǓK!A4o6n,u38Soò]JQ5!l,GF7ȧr+,@"a;IBI3<{ɹ3.dY\[F;q+Lt?ZRcv'qx?Jk'R#@u#4I2/FmX]lV"ŷ.A.#a=sJ.RLW.F#UBVЀ =N.s(n#dnZrmc;[c;|rD$RTȀժFZOfGDQ?}$i@ _7XKQP/_hۻ7"l[cXYb#m%&W&e|D$ H7U%\ j|L-# Hy}7m6VBsHhwS<Z,KL0f+͖QE1˖Cɕc,U_qRi9 9e4.Y^mH^aU0pA䢹+>)vxzŦOW 8/ۀɚKS% ;mQsRωAL\ Y9yA4;89$M/5Kw:QMՆ uf\_c- 93wS:vs}Nq\@ %jfOSgeV#-lx׽.lkZC2{RQ_ Г-,B |m4v~D܃Hx`D{ ,4Sú8ʱ <% #H+]lڔ*$hc݄{a f`ykߵ ~9ו),띦ytir5$#Ib\zU!¨iHaznx-O6";hc(V)= ]eaX|nxwFw(yEpnss]%䐖GTlr4 <BӲh]B%StY7:E@zaըԖfQBիi>?  bal؄9 'ToPuwlU~Ku732d-Nj΂`/[o@E Y[dY߀`8!Q[J&dG݆YeD[@_'.s$լk&IK ؕ#g#}X)H@4Ku}W w =PujdsG:*G9CN2Ee0^l[Y&,~:"Y1ı2oc(}S-b3Yp. M ٸucdH@&RmLf})"$m^_ZJ/ɒ|9rL/H/O¬\]. +)Osds1)p->?k)3QvzhEfP;~K3m:E+2vĐV[,fEatx9򁅣=ч8d~qI3,(*p/'16t}/f$R Ljkobph  |ʬj:w^` i?5}jˬ'Dzd@pyd#E%| l1f5-I1<șniC (֤%)T q%>^"F>Wx4s92c['{Ҵ CUM[z)[hRw[/ғ U9Pz䭲R? rDZP0Vr* c,#H zzb׌7P1Jq/@0sIvLYEQkȬ21JDӰXk~->=GǸ8G؅G폃l ( Z웙( K}Z%wM4,IfT]}m_J?ygrgM>Y7+@ h@ϛYϲϧəoKO c?{K*џ.7? vecf?>'!I.[OYw'ԩcAеs;);w˲1p$ Gdاu 2׶,*7u$kb~N"DžW RU@L"+,Rp|&0mtM1Y鈡"UJGo/ߐ8CS.˾~"}[w .lXa YJͭ $]f9 IX\p-X?<)m''h*V;cNa僿{,"2q뜡,nMKF& J^"?pzՐfg7;bDpR 2^y !X+?Zl/W/P?8-Sv0;E]ʿ8;,eLC֯y41ݸZ.KmRRfj3qioO BsϘ[]NFtH:@ol1XRG( dD oJE)Tx2=n3Šz❶ Hg9SinIߺ 9̏8,1jDMB˧>!i5weA7aRZި߱8.#VD||gI47"_u֫wGP)-(lYR'/Z'Uf|RWD_ FY#>ΒF*0>N(y1etZAERߌUsElG*``%H'薎XH*PF.G,pxD\Eio֧k$4pr{OeO µi e'=581k5]A(nB{LUb:X/30ؾHKvqQx:֌7yLK%g8ۀ/ΐAN٭LMNr+.$>'hCnCMm>KFStlouqsTI*W#v9 hYy.0m6]=d f*~"=<7@JOS֟w8k$Ace\|3ux%5N0_*<& RGKjqEuhG6cG}H{2 J/ ]T+ VM Jn8|{yՐy\Lj(;*Ђӗ 4.ֱ򰼚vboOB aI5(dæ:Xh噡e=* ;'jSBQ#[$!Ixe$gMGEVĦ Mb34"\ZɑU)ߋL9D )Ji<".kin5K'gz"-pKk&/RQ|v2hlR;*Ϗw]K},G92M~}*#¡==}4~R?,)+}nsmTZz}"jUU5jAt^;:q!(5 <7Pj6Ne8bB-,1XjBlvor2[z|~B[lmcWݲfHlIMfs@j ք Ձ*uoqOI)m v+㍎[.QEeRh2mWbd蛐r W\PqdUC#(/[6'&B;kC 9_b6{@;M!`ΧgיWQ7J%5L94V'(iiLFpmNqr:rdmQPJN@P{teDkG?%5 *N*$1 fvn9h,hwͲc̷=ϣr+>Q%)@T>:H%zNۍǞiQd?9H?F^uE,҇udm&břivpyrvsL>!cfzg@ /fdU] ?Y6i 1BQ4\Cܚ;Xcŋ@-*GUfI铘#_Y=^0B$k?~ÃUoZ[?fp #o-l _DeRNSvO$IfDJ, FY.%(L ߼S_.ѐp? H!i w%q^=* `l iص- ak{搤p/5k^aB";a4y֓Of_$%V9%q4n'mėR~ ut0ԕs0*晸jNZc"I3lA>]ܬVq Z}# ]h1@BYʺVnWh~}aX j3 S#q&A p%f}ȣ!RSl+sv#,6O/Rb}8tj(vV!M i5~4ywҺ+nB`%E u+(]l~_7gǔ-}x[P;HJSYʼD,=qTJcx 䡩M)"r/Ts8\s ('^i ^xPJHHQq:n]ii!':j; .@Zq/z!z&<dINj߶1dbt;zГ<xp&O1&tBiQ )SK-Grs[࠼5 NfAxI%A~xܠ8ta#1;jK89XoEXUCLt۹g‘ T'z^5o.QfMg}G%KL蹉D$/ jmJ8yK%~$o, ۬8Q.ieS fœO^KzqӪSvx,_rzTvoxs6sq{ц|`ʽxw`*=(4-2)2|ڠ MM%8˥ai_ =V2xYI+!/[F=m)n(aPRCѣ,3( Lg?SUjպaP5UJ1SϹ{+EP_JUEΌ xP=5<׫[ăMP7l<9"L Y)L&%F6թL1m&ĭ2fL} ̪a50Il\_K*pBΟ* 2s(M3|P_qsrNg%fW| gmƪ[zqvsT3JCv$.9SWn%"f#\d ؂c$\m5~VB[fd.d z?${NqLe{{82YWBQD.`Hq<(UbUTt^7؊\;1fx… ZBXgz25J.R GF0]%+$WϦǧ&H jNbLG)|$a>aGVDYnia8ZN.·qG(/v5z(aƂN @D>8`~\n3 NsE O[gdk&1{h1}d.<"߲Zgqț0.M$J݄eByF Ou!Dj`pWW \SVA WT"!Nf\Cx DϹQTn.ьO==w &%~)Wھg<·hmҗo%Il+wsB3~`ɞq ??]3%%jtZ'RkД?u 36;X:yzh[`?7Xx1*.OWA e \ӺB`ZqrAX[|8s)jQoKisXC 2ozP)ZPLY4)\: Z)'OC+V0@`b0t\PȻ&)VJ:\ܫ+ -2NJbQt҈]5k*/}`֭"J-en_rRRͭ{zi uX墦Tq)NoSpj˺15Ow`T&{?fm4HRYDZ@PM.&!O3HC+7Z߃0pA^q H I2@$_Xkbg߹3?Ko>I&dҲ~^Ϡ0oR~R?rdow#kqʎ, !'mQgq z#-{ȗv4W%NPax!SD򜉚_EnW{`)E#fSl}n8թewsU<+e5=vuk EE>ޙ`F֑I)݋80xwNTIRpޠ앶!Ξat>6FH5)k td>a|,kw[d*z{#MK'[}Lɉ>%cGU 2SH@Nv?Oڊ&˞u*mNױ~jҰȃŃiLyh8.l[s-GbW}{?h#4w"8\%cs YafLfr]Bp#;}mxl Г O# %nrz?&+V*ķ [ ؠóRNAxB{LZ zOv)_@Bd% 燜%;p0w-.|8P#5PHdb"l{bc>aMˑ) }`6cO:!nH[\Zpȉޱmy,3|ƹkYQ{g <1R7jvjUk%*m._J.ӓ ʮ3Hw0AX`~'G{5H.gp [cT>Nk+$k;t V0  ܞ3n+Fo11M%n iu L[+ U&TNz"1,V /vg00#zT s6}Hc9EejW q X>w+|'g:l^.I]WDtodUmi$_X6W66J^z9_Se̔kR-w9Yiܡ05ޕϏ6!ha1Q4>`# !dskW K3EM̋vLZ|O "pe`Y7!1_xy@5cAH'6IKFSCPǫ"W!:U|~/U6;9ycʋKB>HL8r7?y9H -1kZig).ЀE Wɔ9rv_mȉw}Ǹ)N;_&Lc5; *Ml߹(e Jt 2#ҽN 􈖴w4D`gBr m˕$yJ8./'0/!f(PFKç׿78dRe"cTg 2V?yOɃqA(7TRnZvd5܋"M4$0R a^5"|̹FFwebC cc͛ZFkG5JRj= 6Փ;x F[ƦL\{U~/c ϐ0w+!޽mqv̯ż,mϊ&4n94W7sޘ77e 0 e|1ܺBf2=߽q*2ֽ%d`BiY3=Y^P ę՝@.c EЏo?Z|_<˥XD3%Eo*7989!y=cÝpUP?msR) }t(Uz;!wZΊKfwλ~yش+kx\ߑZ`YDw5$zW,qcqjE.r"nH<›"nZ!t4,„uʂ);tL&v-u+,V((`<KW=r.5294p@_&`zؽM} |hPfw3Uuz5r*o*{]nh]8'w(if*(TA` E$ A~jyJqK "= _Vg=ϲ <1z1\'xƂ&}!Mn+ɋ~9^EW; DUP^tmM~x{N%!a$Xq-j1AXs7̑YnRW9܎Q¡DC2`Rh.X0H˂P)m ;6E)S('hGVGZp&n4KAU& ?/vs\a!x'"C ǜkxiYN}v"S*{t#⳹W8j&V@#njBXh(ߐk0fLzNe,R xHk=쒈$9$G='+J͈="kqvA4q9Bb ^bb4ې/?uMM(x>cr![ M٢?;*HI=ptM+Ckq(+uWs}dwG΅`M czu d"t#‹X*D667]R 55ƂDT wHJCw` ̽f k5sr"Ӥlbrd}방qkrBvU1`RRl,0@qo*im }<~@ s3BB'!w&~lEp /l>.gZvqTT{8/ O5e$8q#̢7O3{BgNATLd'hv]aWar;t{ƄQAZް\zzy."Sgbj#;'Za0?7^i/{-3yC< ңB:jhHv{\+n"'_E-zCv@24z^!]Q-mݓ)kDc,+~-l7ZU0UTxCt܋ p76.)1X"X`} N%k>']*2v5fbUT*$Fb@ھGl}x$ /NsQ)(bIԀK!"],ˬ lh.U<mo |bjݞkDyl_O BabBw'u.Ƒ,/M xk5{TfLGcx?{]I.#_Hxzx%br+Og|Zٹ\*<՝QvaJM61YFr mN복p= yҤMņNN/zs(gu _/ibz<^Ǒ33ƏTr s2TK/K34vO GF - 1O]!c Ӈq X?8SM]b`6!:4gB]͔ĥ\J$׎'@0# k>\FGܓa1?7٠.(u?T$otn9s`oxqxDˍ\`:ĮJ `VRI6Nهj`)R.:(XI :;Tdi |pJ?]s_TWah\tBg C)H݋AICcQ2+bġ~^'^g1H$)dqlp߾T @2O#::$T~nFmUCv;A - =EW9$SYe43LJ)0#/}W.8rbz"}hějR.<yqo?L}?{C/č: \]2[8*MFFxo yq +`oR  l[TkV~IYf+"|V{B%bSi`ᛢ\!o1L% RCNbʂ~=XQrѻ>DyH,qm ΒE'13se kܹ:<̖B HYs+)q97mv^hbʞ9Ϧ  0慮9sT/YubhMMhA>s|׻:mWq[4~z 5Q GʔU@vj;"2e6ߗP|{oSluoደ jm0bxq^&Qht.wiҗSCۙ޷[s619u;H ޮ#~rp/<7?B$Q[ekUn0=$d}eV-46WqFGPgZ=@́wu~zqb 1(R]0?64bC@<`U~,r {iH>QpZqjP[qˬ&룋^(_N,kB6z,֖jJP]yb_ѽ?QBeTj||9XM!$uB(2rwR#(In4Τ[q\!w-л+%>0,ڬacXYqh]..'F#ǝ:-Lo .[c⥁ddւҫ\}D$KBɌތIJpK9Qܑxa\E<&vW_K)^UeMrȧqrdu=e3'SCz|Z/u5䊌]e?&M]TU {1E:]x-LR]e 3JzՠW,n#xeE\D_ @bF4`|k՟VĜ5jGw^ue`J.ˣ~մZgr7NymfA-7Âz\u"4K9)s N+V {@>-> "_M|iaѓBɽ8%2׈N(uS,قI-)$w0nX K|Kg^ba(=ʉ5W#V@p=w2D(y%\p XGѽ9EsLtZ+0swI w䘦!&=:I1N=z!hX鮢f!D? (6:T#x.PKuSԽcOXBj-2AҞT'j )VMvѼKkB/Z6пDJ!У|p;uuN (B$E+/;C|=Doԃ$5OG-Rކhzźɉ$'gU3Uρ%A^ltRΘŏў:5y)(~J{~StĢRT(L}\ *)^I4]p,\.[5oݣy2亦u' 9ˠWrGk9O3\uDa`J&) o D9+S}ET=#@%yUkP]wQó@b+*Z}R8Ne ԏ"Z n:_${D Vݭ-wfZ#|go;ټF*/⠙1;:P(8SHkIt7(W" N?:Y4zR4Dž+Kk4 *inN5 mx.[L70IŊ3&hK]%2gAʏo $ЌrH_ O1PoRJ"®mo G,veٙgk&hک㛳]tQqDC~@M]7%b2HaV7eC^U]BG%5.vtvX).Z;e'`>zC(Q[BDJQF̟yPbB `U/un&_ iKkT3^,[W$ K%hYrhtyGDiͷb l{߭#ROrL4j?ʋZpnt6zl(Y>#bBKQWA} ɛK%(ா$(Eʯ[>w }#Ԝ>L2$ށQa4DWOStnlݯ A&CEi226/5PdGPw~BY)O 586+0Tעw/ Ƿv[Bޭ+1=U=3ST2wSޏ<1j58yiPӄ$%ɨ߂eh ?PE߀^U_ag#V]@UeM w72jdqLvC;BD؝ YƳ`Cͥ&'|_u)}8N>,oaᐝ]H{.HsBg]L7ƽ?]')腤LQnBro=EÁ {]7:74H^maf"C$!d;yqVNwjB8V BY8,ap&/gp2 .&"{f㰗_@:"gDâ&*% $FbY7:Y霷W_F% *^.b#u 9IDm#us$ i1R\l㥎 a#63G8Ea-${.3\ܻN Ũ(iissL]mkAJ_,uԯL"4Cou3@ CTm"qw.t*[SZ} 6iG:)&V"aĭMߗl}yZ^.jR!^G!FDZki9:2yzBI3P-~Ӄ"Y)UbBWgCBNArgޜSI`}<α!ǕRx~RqҼ#sô r$N䒚d~qV 6UNJ`<;s%~l_G*t-zZx,(;V3J+Ĕ.2N.[]ƶm>eNҦ 4^V.ֻ#^4?A . *t /1r5E> |mjjxja0iϧZe֤Qb/n"~q=I{Kj4kuL X \)Gn(µZh:ZA̋} 1Ės 8ޣps{j s { `iVI@Z H!΄܎=*ܱ867liQ(S.O(4Ch#GmlcIǮ*^W&_iIj fCXDq0޸W'EA>)c3(uyo^Odj2f2xw:;">=y~[8u#eQ!0G*YJݎYf,#jׯnE~ 휻z se9q"PR-xR&==i5cZU]lAodrxvKT_M;+DR=q _=}almQJ_u?*Dr8<i{I:dozTzk3J)ˑC1 ╃xx6,/'U'{=0PE& rBnkq8{,< & ORװ5L*E:޳ U0yK?dQm VŴs4GC&|[*( t-`D5ygJ\y=- 3xeK֋xdM;*:kBA+*N3iWffdH88+ j%NR] FIƴĦ?=eZtEКȎa 6`z IԏgYZb36dfd8bba37459f1d6d9c37a59df844dd054ebab3fb05f5e50942c4dcc807a50dcc11409ab39906 759571dd32091ee0444743824f9c8116972466afcecb8ce7508b27607966f7f3a1c5f807927b846a