SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   hpt L ]] LCF:threads=4elapsed=4.380cpu=4.820gc=0.1167zXZִF! ]ŗXiɟ{U VCƼF4pC9C=pI͜ıgYZ7zXZִF! u]]ŗXi%D1Deya:^%_P&Yu %i=^E~:C(qzr-t6IU/#ɡ 5"S"c=_2r*S4v n{S^ҕ^ϏЬZM2+xxI:dP8~ I"ܪCޯ/ KcXa}zM=n!V. H1!Lxm!k*~H(hDHH BF0TQ>WϥRO xvr[z\pu$5+eb_Z+a/-epJf߿ 5N+d{jS(3+~Ib F:"*)Q\}M-⌲j0ධ۠>E>y E"AqBfBY)293̛y*}˾Z.#QGF3=BzZ{-MfqtG}1 ̥zp ֞j%W;w)Mu$~Idruv@˖)Y) sњWb*±W[ }#h,4׮%j(Zat`J}7~OE,N) d0^*f6/EYe -f)C_~\et\PPL䷄'I(* )o,.7-[HQǯ# چA}X8GYt+9`6#iPģ}ò* `-j#D\{7(|^r.h+߁#]_ IqET`{^pDsf<b265/Ejq\86cgYZ31268e78d19ffccc56eb9cf195b4e2cdf480622dc3d726d89c950dda47a94cd6c59e05975f526e9c  LCF B% TLCFLCF.Ex3document.tex7zXZִF! O]A-MՋhvG"uIBm5Ęۃc2Mѽ@>oIFJ A篸(1+*N{=]KYbT =VՖ̏V3pyPj|+EK xӧ)'}Vg C'r,Yߤڱ"c!d|$bߊ2$FSb_\&Z7l_z )n`2zتT!A dyYFntm*xYѥ-ULWs+9:/StVʃnZ'✯%;r̎cW[8_ x=5=$yu~+-Gcr|[7,ٸ#mO.?cfFp&b#e$EhTp?^(oI}u\a~G2@zUs@/݅;Iv7)oZ !vtH4+Y4+z$(_3J[=0BG)M=v4K0Ru,ó`Hb.JK3>v/ wab_$[vYh\p=f I[SPwiJ!\(W V5^WjS#=F>kd|vS+WJZ xi@dl{],v;ؖgYZ^% LCFLCF.Ex4document.tex7zXZִF! a]A-MՋhvG"uIBm5Ęۃia&Mѽ@>oIFJ A篸(1뺣ix3ȸhI7Ia;C$jG<)U^hNcdA^Ղ2a0/["M-ȭa<1mu>HFNKQǤ ݨr:u~an5tWqmŜ|ZK%T :a0$p<}[r,RPK׾`T#q/Yax8Zg jمƛX԰Hڨ΂g\@ `|3s_-4GDTkjQxa{0! 1q=EvbxMqҟ*J-t\&?,qHse3!`k_ԫ:C.-OAp-`cSkB1'&C}%6-3VD҃6fjoܽMD,Lt4& <0_IKEu"csz,+dGPC'&fB_;=trzOmDR)wf/#_OI AZ]EhFrUs)A0*nע"'$>E|5m+ȇ' *cGl}=Ĉ>dhsVgYZj% $LCFLCF.Ex2document.tex7zXZִF! l]A-MՋhvG"uIBm5Ęۃ]BMѽ@>oIFJ A篸(y8_Vrh36M6m(wzf(AZO{"3bG,;aK=D#zC|BEjh='[k{n-64|]=Jm8@px8a@[/x[h" ˸9F,f#e~8Sy0i .=ӊ͐ Pj1ԏY yU0'_ XaȥVj{#ȇM̍&&±mֹpoq٤{vyOd2F2RHVdf!77oc:AfkX%E >^}|e!ÒBW`59^mн20!J<:pG˓EweeG6?iھNQ@r]: c̆lA_+K"2vadBN@4%)n:7mvRF!](c͂尒( A3  zԝCLdضUT,HOSU7h@&Ff3Byƛom6?5| j)Rt)/=(j!Ag'FˆB&8gYZ^% LCFLCF.Ex1document.tex7zXZִF! ]A-MՋhvG"uIBm5ĘۃX!NMѽ@>oIFJ A篸(1핿ݥֈC.xi&'*7 `VZ ]k$iʧhKd0V3Խ?8K񫲈n\Q4o+݌"ge2BOazSڐ[ءpṷ>]eÁ46;W>j T]X Un[odꁗ($ W;o t|<(0vm1B,'\PLuFPrx+Iw~ByPy6k5>7MsP2 i @U5举Xak%^_`i]nA6߼JOk*N @ .⣛BPo ~ʅ6vF`:On?!ȿ `+`XsG_ްOF۷4O$\V#Qs/ǐ\_h}[rŠ1]'9>G?-e63r26fС[I[ʤ,[uj'S|E]n{Qwn({13 -2+`kuCb&cR3dFzɟFs1 ]]rOJWJL$ݚiAz@<٨諰/ $ do]Y?ufJSm鬥gX }Uƈc8]i1[88Qpp0o.j\3rF+I!LޫD"Dé/Xh}ChS4lVpǠe:N uӞl@eiGuk 49Pb6o^K:v&A%zWۑ'/ nJx6V@Xq,?ccqb6J@rm xPהܤ pFks볞H!1^Gw'yoCzibCDK@L,ﻛ5  =W=p%LCFIFOLdocument.tex%LCFFOLdocument.tex%LCFLCF.LCFdocument.tex%LCFLCF.Ex3document.tex%LCFLCF.Ex4document.tex%LCFLCF.Ex2document.tex% LCFLCF.Ex1document.tex}PZ Bq!#Bw))8Gcù] {H"x(<;6w,1Wrn24se)/ 1ff~}I:%uuqw@ ̬{PJjpvݠi8ls{:4۬2g& mE{68&M_g+(!z2dV - ޵Qn 0Ґ+[nxWd_Ȉ7`,y<*#y5UXܳv1bK%&2 Dc6I兔$d'!Z5cWNcIUv̮je?fI^ g+-+MG# j IzKP߅9olRp[6G)ܞavDpGxXAؕwmwW.ڡ~i`LuK`u%CVup.`eX 46'T=6a\Ϲ=a}| (azlfҗUoGb\OCq{#BL,|uilus֥KF!߄Ⱥl`B? {-Xm\.lYO/H" rG/i9^ Sd>mw3+D#=eyu%]vӇ}rGΒ|`|:Ii t H7R A2kSҘi쏟JlŹl жZ2H&li<[Z"<瑚L\Q6Fǥm 8]OTSAl[#|,Ŗ4܂<ڹW՗[˃⃆maLܡT ŷDIռ8ԗjDs %<r~lo>o2 VWQsEI6]X>>9mYf.^wK3qKAKLB[#p < tǧmԆZg~?\ovQ^6M+-{׎ʌwܙ Z K3^@>U ƒ7@~'J a݇xZU Y Ufhe~o>w2RsaL.s<:t|*9CWq샲D'zv?yenZ8leS1br}ﱳLÓ hPJtBO2xw/DqP3롰CkDZ ޹dpft] "8B[\;ywott<噔)K0 2'3aZ.;o-r)·_y>)1<*MtTm'B^˰_nԋ3mN+0,fc; $"#==r=}$⤒̚n4^_+7CE K<'_`Q#v%7W7V,=K`c`R{;#ɛ!9n*>.Ӥ CvRP(T}r9ӮISD=iu2vqB%f+i6"l*/X~<|#z8P204ݓ]"<14@2QFV¥Xiaӻ/<~r#9)N0r6Uf P(UC `ԚLSy&3W=W(9( 1!oǖUr٠tvLyqUEsA%ESm:һ9b׳KѤKyZ E'}(z^kYjۦ.p?:!kpSmJ[rq@Z5ȴ롫rBD`c hU$n#F7TUd`&+㿸!)S +NxHًMszyI0\Gԉ0KZEuyZ`-E_/R#N}[݀B25YҰX2(ҷW 0r Iq!6 "hнRLr(zU=x?LҲ9wt2wmc$2!Oڅ 8D8WsיbrS(=r ۋz^*z0\t2e(iRͺ<]1gx:N%(q ^K];z|M}S4P "tE }CcN_#"]wKkڐ+1"\%k!=\w]&1bbD]X϶1@x:|z1`\]rq|Qe؊t dktsE4rWW@V68 4YEoТN ڹ#e%9m^%!"ԍˇbs&f+QN>9Sm:Teq( $|xvhBcZbb_V2he,>Nq}x.s/M&vaNH : ]O&Ū%ĪYrj9|"\q gM#phc!!CQ1P@CH.FCzZ(/?+㼱[K gwX}4W"l(V|1% H{cRpSg̉šM DIK5rKKPC{h b& 0nBP?BA3%i?}vEV 2}>@U 0y:2!hp/YJ ԏGc~zԟ$}(vn%Y* V^?e`>WGb耿k^7%z";y$| Z!.ݨQhϢ3g*iA߯Mj N~5LZɠbo6YΦ'9luV]dm joIFJ A篸(1+*N{=]KYbT =VՖ̏V3pyPj|+EK xӧ)'}Vg C'r,Yߤڱ"c!d|$bߊ2$FSb_\&Z7l_z )n`2zتT!A dyYFntm*xYѥ-ULWs+9:/StVʃnZ'✯%;r̎cW[8_ x=5=$yu~+-Gcr|[7,ٸ#mO.?cfFp&b#e$EhTp?^(oI}u\a~G2@zUs@/݅;Iv7)oZ !vtH4+Y4+z$(_3J[=0BG)M=v4K0Ru,ó`Hb.JK3>v/ wab_$[vYh\p=f I[SPwiJ!\(W V5^WjS#=F>kd|vS+WJZ xi@dl{],v;ؖgYZ^% LCFLCF.Ex4document.tex7zXZִF! a]A-MՋhvG"uIBm5Ęۃia&Mѽ@>oIFJ A篸(1뺣ix3ȸhI7Ia;C$jG<)U^hNcdA^Ղ2a0/["M-ȭa<1mu>HFNKQǤ ݨr:u~an5tWqmŜ|ZK%T :a0$p<}[r,RPK׾`T#q/Yax8Zg jمƛX԰Hڨ΂g\@ `|3s_-4GDTkjQxa{0! 1q=EvbxMqҟ*J-t\&?,qHse3!`k_ԫ:C.-OAp-`cSkB1'&C}%6-3VD҃6fjoܽMD,Lt4& <0_IKEu"csz,+dGPC'&fB_;=trzOmDR)wf/#_OI AZ]EhFrUs)A0*nע"'$>E|5m+ȇ' *cGl}=Ĉ>dhsVgYZj% $LCFLCF.Ex2document.tex7zXZִF! l]A-MՋhvG"uIBm5Ęۃ]BMѽ@>oIFJ A篸(y8_Vrh36M6m(wzf(AZO{"3bG,;aK=D#zC|BEjh='[k{n-64|]=Jm8@px8a@[/x[h" ˸9F,f#e~8Sy0i .=ӊ͐ Pj1ԏY yU0'_ XaȥVj{#ȇM̍&&±mֹpoq٤{vyOd2F2RHVdf!77oc:AfkX%E >^}|e!ÒBW`59^mн20!J<:pG˓EweeG6?iھNQ@r]: c̆lA_+K"2vadBN@4%)n:7mvRF!](c͂尒( A3  zԝCLdضUT,HOSU7h@&Ff3Byƛom6?5| j)Rt)/=(j!Ag'FˆB&8gYZ^% LCFLCF.Ex1document.tex7zXZִF! ]A-MՋhvG"uIBm5ĘۃX!NMѽ@>oIFJ A篸(1핿ݥֈC.xi&'*7 `VZ ]k$iʧhKd0V3Խ?8K񫲈n\Q4o+݌"ge2BOazSڐ[ءpṷ>]eÁ46;W>j T]X Un[odꁗ($ W;o t|<(0vm1B,'\PLuFPrx+Iw~ByPy6k5>7MsP2 i @U5举Xak%^_`i]nA6߼JOk*N @ .⣛BPo ~ʅ6vF`:On?!ȿ `+`XsG_ްOF۷4O$\V#Qs/ǐ\_h}[rŠ1]'9>G?-e63r26fС[I[ʤ,[uj'S|E]n{Qwn({13 -2+`kuCb&cR3dFzɟFs1 ]]rOJWJL$ݚiAz@<٨諰/ $ do]Y?ufJSm鬥gX }Uƈc8]i1[88Qpp0o.j\3rF+I!LޫD"Dé/Xh}ChS4lVpǠe:N uӞl@eiGuk 49Pb6o^K:v&A%zWۑ'/ nJx6V@Xq,?ccqb6J@rm xPהܤ pFks볞H!1^Gw'yoCzibCDK@L,ﻛ5oigYZ ss% TLCFLCF.LCFdocument.tex7zXZִF! #!]A-MՋhvG"uIBm5wYv柛:6ӍJnd|79G5IRH_1pW#F+]^jy2v);FovVXCX+V {H.Iɱveq",(Ak;q2fx偙THwyki])tƯ8XD w찋nK?\q[N!_!. ](+W \k,|Zy x5vmV-ZORɛ_8Ct1qpK};H7kTH:gCu Zl# 0ͻJ=lKpjt*!bW+x!BM';';B` K`hbD ݏ6Éͨ邸UּkIT?_+T\)E5Y^7e6sjw^H1pLp*{\pxh(瓇8>@0kBn?4%7 yV8$T|&6^A / Z[0a%1٦`4%9{2OvTw΄XXEd1ZV&BZ_^fZH@/̢>ؙn"ʙH WCXQI,qyLOԭ;ɲRu~1@CXHJP)W[UQ87.琣\K%n1bq*w@=G[1DID `7V7NXQԩ&<.~65D 5<o'~]E,;hHUa GSk*3|VQ 1N~u?MZݹ^0.ce2t r:g<8Omn3b.l^0wzÑ9^HMEVw7*7f6!sZSl#JtJtSr:Q..}Dw 3*vϺU),x)ÁakX»껈j2ږU=EQ eGLA|lbl떳1A 9hx%͛ *օE~}y/$ph#- }M;uYK.vފ٣>]U\ 1E<[KeQKHZ9dvrDğ8*HWňAJRQðUt/e>iA|: +Vbuxj}w$& >f_*-qnkb 瘶N$V #lRul]ZzmΖjfrNgBF@P3>2gE# 1O ^9zJZq.#qժP>N9 m9`$eeC&m1_=$n/<`Yd E/q_zbZ]ЉGi̖o|v{ ߑ<1>{\T7VpG*=VZN{>6h)`#v/g4lI+GNr\UFUglRp#-pH63UБ1L"/@|b D{(05'2}*yn߼2@.1NNu 2qԐ[\ 76,LNUnlv7z!pw~HqxWgME>ƹ~۴Z5lpa t*R44ƸEҨ5zq%FجnL^vZBk2PG/)j.qc k= `]IwR kR7bzC$7rK]٭ðN|H )%鏩r`cQp܉RXUqs,،OED6w-]_0T6]o 27ks %e## V%)ͧ&OiаڸvgZOG*=t?6]ߢsњC(#(Idɏ ?t&e/J?x w({o6˗PS`C<>|m.lQ#*i~(`KF?=O&:=H#]"mhztyG4ݡ;@Yקs4f&)A PN?u% ,⍈:I4D*~}{ >S]f |lFj[kx܎&:h@ҕ. XkL6Eh)%CXrO~` 4:8_af_ה쳭,w>?a+iK4s%$ ؄J R}/lKN \O5eK%O[;3$Ҥlă5 >öښcux6Qt+4*2micӊ?m&A;ޡ|%{jb,vVUP^!.:vcXt~nM.IdF߅2Yݱ㏼Rg5N.if~0>XҭejyXJjg<0tĸW¾l?QQb+fߟ~#Df7%D|VURDc9W.1]}HU2$5$pA@ V,Fa~,PLGo.H%Gr:^]sTzOε-u|dC5*\|e:i_$ =Hڗ-zsn,Tv2Ǩ#|(1&>Xg vip{&lԧ s8Hȕ<,vsٔ ԭJrˇͭSNmve\I!e_  y&(4\&\$-fR\=˂dzc;Wdy0 p;*Mw bb%΄h#@f$$5XY촬>&Ku69o:WahCDĪi5vO/D<_}GnD/H #-M\dMJZ~ 3leWk @GL;=JC[6sPXs*`p<ɧ7l7YdO9'T TWicNX6Nb!1("͟@#;끷v(5` 1Z=Cz%!Rf̌4⡑v'$v-06t* 3>^Ǥ*%x?7N;iT4P$eYU`0.7X:Xpe6 5*:;ۉoD'>d=$7:eCqX/R"Xvc@֝ܜŧ< ;B Պw @d}o%wp]-!OW*&˘bw.H!PWʦ,_3VeWhG*UwһTriQ93,I=Ʉ֌ҽۉּh"*dk3u DXÉ$L#{E)Τ赳GY\Peإ2|T ̻j2ٯICzbIƼ[^`hiI;<#.Q"#'cB~.ʼ9Ѣ9Sgb gooYtю>)D[`ͮ(e4pbٱ-zIM)vbj 07$^̾jhE悻45!sZӿ}ƝVfĕ65Ck=kAh6 c28mNñi6euJTXo=$#>+`踫vPؔ+սU5=xhCPCжv$ib!k6r* pZYm/y'8Lr7RӅX-Z8i.$9 B;4{|הrrMV埄LTmG|%؂ |ۮ!vXG[B 5OŕD@RVsh+BXWJuܦu(Hv_! OYƢZ,G\n&PԈ=ix@.fWyNՈL}aEFzyN1Yp*u-$"/k)|zR`p*meƒ.$hP1-hMK/x0` E? D0gr BEfu1cwR_h׳,rL01NQ [%}e͌ج5r5X%JFLF]`nJl;Ti'3D9ަXrӨq߂-ߜ{|%z?*+kNnl7I%EЯ]|Ya9Ü<0$CPڻ6j4+ )_۰AF,e Au%~ΗfTTFoд-68 )7 WH a{-&uFu/|-trJ$ .)#:2Z6}dŤ1۔x nK7WYfᄅOP[Q֜uK)Dfm6re`n[i7wSYЬ:=QϟN8I[(T]M\ME@aS%A7{xcPQ+JA][ɺغFldp|k1{Yu7N^t 篶0%+cS{BG7#x0 @exm+c&r [%hmUkl2cAO41K1Q 7#s8R:oH<;]%\TS!zX=BT{ۇ'IBU}!ކ%,)sw=A8򈼬> VSUpbXֳ]ܘx((qůHRqD lކr={%phP08 LzgC=U)(dEFjuq/ HW8^EXI]1Ksuz[3Gp1QDH6Mb)ٶ|rZ'{f!1Ԉ.w{tCA3 ;+jG1J@94"v(QqXbQTL h 3GQI"[-,=Q.$bNdŲV 2? #e.;:!c]\3d$?F𿻄Y9+/!qy.;0=R`UU/|sY}LJ-2űI}#<rċ";- j; E/;7ϣ1omS1 ZEc ψE<(hψ6+ Xѵ?^Up$e)jNY#XX魥 I ϙ @ hjX\f&^ 7WU ۛ'`>q` /ܫaMr+ޕKWgnPrB> ͏Gpbw A1rXhDX4[)"~bjPOa{.gj <.iGUFm/Rwhy%"" (R*#K݋]^-=L7>F*>xRK푩 ,\sNL\96l|*4LꟂT*B}@ط`g&W< J:Nu4:beeT,CT|.>e -79>ErcХ[r0XE2!᯶y+!X(GlmDE}gl!*a @&H̫$JWCnbaC)E}*Ln3 #MT8]fPγs(Q<~H C`DR9-% -,bcyf<>#d7&~Eo/N|_[Xp>6<_$0m> @~<7j9 :X>0vયOEkәeɛbiil_ʞv$a9H&Z9p,Hsעhŝj(*M XlJ3oP=])̿!Yڐ bgz10R,Zp~5DޡMz&.֑~X+ :MKG2+qE>ɮAVі; ,&N+8)f0sd9Z6f5Ӟύ b #w ` !j+ :} $6Iwt3Qp>)t]hV >|eC"Iϲ%72F(vig 2ٴWlݾ}s gz@ IєSM\05e`Fb>y%Iu>E6k+(96A SyTP5Q)H D]( [,XaUbCAdx>5SQՈ1'akÜl.dC`2Uғ5$f#3}@gv4<(K" b3<2@?\/0' Aۢ>+MrbET"}|R_]en߮kimMk oy뽕9d`_A-"/8Idoo*F92ںqBu퓿O>Bii#Z;Xgw"+qW8\5"WùPJN@ l|Wv%N)oYD-VN$LDHm_U1[i^D|7Y{wY%$\5&%*Q2vaM;5x)xG[kt|-1h ]>'n`d |5x](p&OHS"XxcS٭̟jCkf癢:=ۿe6'wVWhuMq `3A4#i= Tղ('ƺyL_^ ({1hb'kAC7CpUC{MCH!!c~xyмa H͂mK.G>8! ;]9d'(FJϭ?2z=b/՞H ;H6Z+y_1$|^G㠭LLnKi啦Y\[H&B::0͕q"i[)=u&]4fR"{޽̸vY%0#)V>Ϟp*41ulA_(_pCC =ܛOGr xi?zRK' !{H c"Mz#(u*8ש: ;/] mrQvMl['@Ȯb ĻnaF 9q˦4DVU7;ps*)@֤A:+B&Bu&$1k],'H)"{i`DܶSb)p#9 >S)e 'v m}jt2T_xRHUTT/, Ow bv t 0gEwnìgns ojj T*9uEsƱgȼXl(ʔ ܔF?<#K14a$!̺4S026'@ɽx y aW$2YC^I1 Pi-ݤԳ}hh0,?dx>Ϯt/::fMHr *Ԋ-koF.T*iփ%GL>lO[+IFOI;[a餩]1XEc*X4O)$r'=6FAd't{iB $ށdٹ"3FW4zÈR|:qeW+Ll x@R m8~^RmY)ZYUX=p v3]y瓧Qa'ZС%ss:i4Nby2 Pv9vjH}V7wLw0Z/'X#If JjkC ^;ℷWR1$*e$[t͓ɷe{ f3+Oc\?j*8W8;Vp0ĝP虣>ds3בks|hP D.uKiBWw(pqSG#C{~v#&"+V O 59N0cD60y\k`R7 ≞wDݺC{0Jbt|dy0:GT`Ыn1x_1v|Pm=,/ [p UkT삏\Lu H<ɛ Iu*Ic IHɥ,;$lM!An! N9 ޷bEkd@s෢lJnW.-IV 8ʒ^2G8Kӌݼ)'CFYXݽ6+:@>XBNA^Neh٧N~7 Xo$>E1PVHr<.nG$:ݾ@yK5 scIb|k/37Ĭ.uMUt֚Aʂ4UoCp8Ȅg٤jdIfA4 lj,3HWy{db87Pw۴ݒ&hvLN+:ئso^:RvlzxzxQs2o@/f._6l)7#1!L8JہN)̘kwbM߈8?ZqƟQ+i9A \O,*Q ^. 퓊pb>u bFlX!׉KvgW m_=G [w[[OIQBݞkG\Xj_5VfM+x1a￸FUɀ~Q,+s\"m[*l&>ːo3Xa=+}&z_M0f yDy ;ŧ\o4 im1p20@$#n VAڛST<'=#`0S81k)V4d5[U4A O p sX؏Kާ-VaL )- uE%+rMMR0JdyoC.+A o%%Z:k!p=LH;˰7ȅuꝳ<+?`QL{1ZS5=AZgYSO!NVKBe: .qh*^oExp:|)T)qW#~T 3q2cbfo?=+.+NDwu= fDK+aXA%gӭCFL+;ouK'3-帥CBAv\cvݏ]mv{m-NsV'pڋUf GS=CFMit#q*X@m˻m!({sY֑C:L42voOS{b x|Q9}3pS[wxW+9lW01YK i Uׯdgwc13bǀN<20MԈ,*a gL_Pw.dstKD!' fw99!>m.E]Ƃn>RQ3> v,Z^4^pi:ћVIoTw9Pc|TH:V25pN{(QwbՅ(_a<bH"={S)WAJA` 5,X_Р CeW/ !Z@eDg8ڠ{4sBVy&Uz_4u<;YR?>hoO3|Mxu=UFLk3l6ћʭXo ! \x&Q/ran=-u}r4kTl?=&?{>m4 M0)N]IkdA~ok "v(Xޚok?#VgM\ 48cKzqO:RY)3* "Y{6HF=AB-s\h3*CթDh@ }ŏ &VvMt~F13ޡH 0{r EԮX6`e!^K7x|"8?cY8`.>z|kTI>!{TXLϘ{ zΆ>/Ɉ)'^b؃ŷ'ˣ ([θ蒡.! ]3?@s4}\M1A4'cSAFjGEb P{W8:m UBAK|QX !`40)]{w_h&M8O<R)BW'BEl2#<:`:E_ځ*""lIC$Z';\l|vۃUI*Fx&su/n~)ZQp1vh:8[L9x;zGJ`uH!K*=Z>F7I,bG.#㢶l>ylCժvR8ԓWpc}n8&rR\|͉j ۨ߰DSߜeEai0y.7px۪op}4Z%HCxĆҤ 79t<Ű^ߩ:=U UZajz6 [\2'u ck2|^L,BVb4Yx'Х/dE@=N0CkP_"|vq}N{a﨔^lj\> g]&WWˠG1b?վԖӋ2zΜV="_ď\dH8oc &BWmK*pQ&ԊQai 푬D9;HYU<ξէ51Ex ߆#,Qӷk܍ʱj9U&s>Bгc88&7 8[n晆ka+4ci\I:F;DqGk $e~f_oI7۹tέOx="9W(#fp4'&bPPMICeuL3>c6 nF+e֪3B[DbE+4Y0Z$@Օ߆sy1"6'+[V`!zn"R{ch:EXu ϼSY[דwvWђM4gw)F' ZgKMe`XaYgbCq1C|t̢E8b@R1Зa=t&@ ,F4x2VOr<I7u?/Dr+GU*L W\еxm~)g<>'=جsT5_AǢ>A ׂ B2[/٨{:a>K૏z䩥sS6IJ+qZAVe4 օM:OUh۪327/;dX_ulVyr' r߮#]=<Q)+ Hj?sC:5ތ{WJ$]#jds y(.*E,2~c05\TdAE6LBuׄܬb%% r?T1,hcD$1Dqֻ g$2"4Ѭ/Xx 'Z2/ DIYR]ϡ擒 "OLַ,WP*p"h νfv6LW-5(k=ExUt-J==`͖ JpĮ$`p.LƲ݇(O0;t 8oi5$jX'#P)İoX`wIfGV4T137x\Υ^6,B/Xr8&EDϲqaٴORd`^#mzr I񱑛+ 1Jn4PڷrOǕᱤ[xp| #\Zݩ$84dګ4'f އ5q:Pk9^ DձgYZ ==4 % R;4dBUe>Z1諘C1ٶf$d8e3R!k,UÕAT5':H'e(\YhwTU_M _^nxn'-P>#5q|hH9L|I&k5/e*b݂Sis}@6QIXxP7^CJՙvyۿv^HL!ykOubV 2j Ny ʼDP$k~ID|l`c\B͠Zzn~f}Tu ş2ϣG2KlOPJ2TGpQ. V3=E&.zƒ^3G蹆<'c5v]eE6;?W6Uat&f8 NA7EUAF>Omn}(!y֙(#f]h@#vL$fav€"vO0aW+x&Z-L1XfQH)aULg.lnwc 6^0z<(r; c 4hiɶťVE]>= `VtIk"r>|5jG#W˜GaAL?lg-$/Ųp]1IK VSs]a`V #0P>$<'`1FQDF7w+u~kke٠ˋͷ.f ~ۻ1ãF]b\!pa2'bG=v` ǨH[G,SE7ncJP|쌒:PLz$*#((ʐ e3+C~3`hښKm:e*6%И'cГ6fWl]v 0ϕ"44&EOu 9`T|5k/Bi޵rZsU??aHDy96M̧S"NthႺC}Sd뵚d5DrH&~;Ʋj:8SMDzJ <$ HnDn{O#mNb4L8l,'C*!1Gl̲w4{xx I_J9|L@ +3OۆyYqSLO;j5Jܪ}rc $8ع aHV0iKxibsA5fwμ9_ S|U^ lQA=HuP%"NH1{(dMvU9Ta=/9"ۣ39b)T(DYi(I'%-,o{! ERZ_70.ҵ/1+ ҆-M2.MEo,Y7 V4I߳F.J_Ƹ&*Gw{J(h~ KDXpMk.$`k\Db;2"RSSdtL|)|{+^GF֚^Q~YoÞ{H_E}e^y.ouf/?]Pj, 2)GWm?=HLnWC\\nq-%%4 {D!#ۣ"bssORq_2ne85U!|P)y0\G}"ޱ/*K3NO\1W^{h;(i@;ǯye#Edh1{,=^B/rҚ }On< *җ+C#p8ٛ7~PrEgvkWN&4~*h^U9%Z8m{? 8ԣ%I0HkDwAUCG!x@ַY_ _Y$y9znX#q!aQx.