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 f1r\d ]/ RefinementReactive:threads=4elapsed=7.986cpu=20.404gc=0.4647zXZִF! ]ŗXiɟ ^xe0iuߒW3 5Gj.W[Iߦs$ Lk #~^ F *h 6/C7%% ϦRINZlĞmQvWAfz'vۊ=ng=ptGK'ZħIgx)bfu D U82 qK4C~rŦ5z"ߕrq CB^Jl3]:1K0I'F:Գ?a䥡+_pB #^;TkpWrTBi|n#e<mv?~Pb"}V~^n`^Gu rDg M>S"T.We_{i-l~ñgYZ7zXZִF! j]ŗXiɟi%3wJ3Oуq;?GnhQgpˊ?5|+1R/5ϑ-ǀ^T[B=E |ܯG 7qgYZ7zXZִF! B]ŗXi%BzTP>*vԬ zdƤTܩgrt0A#۴Km۬:0N:i@ss|NW&;P-bт mV-~ NR;גХ6.nߩ}b8*i^zM &^O WefR/3tjTa-сm=wqgW2]nl@#G5_CYq2wP/g0(,57nH=/9Ŋ. ?6$,j8[p~Ed&{%=*O [Z}ܰ8tH>95cqHI>4?͆%r\U%qshu.J9D>wfg ¾~$U_FLJisj U BFSr,0gϞP# uo'oj'QymQ6<3NwN76+vK1>U8' q3L+e[L9l}% =ύ?nza$S H7+D9V_zYd|='$ ݅jgYZd51e427a96c60150a01c28911370f6723ef2bee996398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 1 RefinementReactive=1C% RefinementReactiveRefinementReactive.Temporaldocument.tex7zXZִF! Α:]A-MՋhvG"uIBm5kr-/5aT* ֎г5mZ#ś:1t%nO4u*۸Ptl.MS!~h 3xccVBvӾiuy Tw-'Qb4 &Z]φ7T+~![qw5a@x|hR^̇jN ^eC% ;74텫4fS aLb m*g1Bܔ͵2㛸Ũe,p[75|Oz1M˟4:(`܂nW%u)})Ǚ~Օ̽ v8l*Up 0g`@p0"_%n|9 P`,9M"wrh-u.BrQPȱOg)wF}\FX&1SО!`"CSS|ߏ.r<3xd)+l:ˇO3f?{N!d4sQY5lwFDxDQ3EVՠũl;ߴv3OE "&o,ACDf=zLe݅7Wvxz*Ea2Y'اO/ dơÐբ֭G~I;yFK1A7*]V0g`FΏ'KN[> ;? #26^=Z%2Y \F恖@gm{]32cUr! q<+uX[)|KF~p}hp$'!GZNM$5p#,lĘ)fUT͏'-̌xttGkJ:6ZkXI!wFz*%`r%*:z}r/ŲZFp+p`C3l&$>okiȉ6)m-dDR.[X`iU,SA…k"nN4ŚMl(/:;uKW`?eg&MSDŽ IpS8@J;Z|ҷ\f 3Q\L< .d_cS`ޖqѼ9|m] ~Łc?aJ< ;Yv흒+7Ofncgn&&?}am%?On߲پKB^o[}vwdK®S!_DLpjC 0HcQ?z= u:)]Z|吆4/"#>XQ%l2zcLoC0LN  ???1C%RefinementReactiveRefinementReactive.Reactivedocument.texA1G%RefinementReactiveRefinementReactive.Refinementdocument.tex>1C% RefinementReactiveRefinementReactive.Temporaldocument.texDr5r@ d 8WYoPZ>˳1x‡cEyjLa"ї%)2)V,g+qHݣ2=+6s C"ќ1%`Bu#3|IB*KكofS_ve3Gf۲ Qg= w8,&upse{ &ttHKTaG$=p 2Ξb,ڟ6ICuQ2/^:+(~#dwDN Pku`yrJeEd31i86O2_.'hi6QQ}Gp:GkDjU/c 194w7.zyPaz/O۩_ұghCv/X^j0ҎgzֆOA,Ut{15A[ba~9.|[ O4u =#㹈f>j8J}_Ʌ?lᛠ9v΍_CKy2vAdؖp#zʹv #ǠBkQ $twIisfÅ6!*ѝԵ9bEmG p-YV@XUjW%fvcg2HYi{m{%- =H1~F4ST[Lug]'KҊ!_vh8#Þx3Ě[g8gKoC3-1_\w7:RBv#1ce,vxE%|g~R,wCy\Tihn|ךJz(z# 2%zyY["~tD۵~2^4Kl>)f ^EciQ!z( .nv!mG,|!2<)D~GĽ^-C *,ɖ K9 FGM!tk\56˓߫։=@9 !%5Y[rOJ&}C^4yK)OF6QΩGa3ņq/k72n s4#l~lHY; j#IXw>8%獢jCGݷ+\mղiJ9pQ?PF 8wJ#Y ThP@3Gsmd<(sL%WJ cٍl&AkuZV N %fțgTE气I-YB7?%vuItK~"u?ep/S `:ͷb: U6t՜JDs{H]cjk*NM Ec=PJX96ѐ3I!Hܨ@ŷd=n,+$:b_ԵIs5A2G|fZR x?EQiw:9Ш.DHs9 ]C ^x~ ":k{ϯ|C (Bpk5"Qض5/3m B.pabTLN++h'Dj}u8BIYO-k0'+Y6 ɾxL$P}FKj]hđlڔq,mVK!]0gE}dh\=DC{^ci(dZΫ.t%}pĠlu-匷ja/`kzY0Vz{wn[#|XǙ|2S RoZT\R":*ҢͥoA@%A`?響rZ4 ] }f2swNq08+30vptEe0Z BzJ(Ov[>Y!l2ؼZCH2+!M>VC n.C#ˏf0(Bқ}e!BAIM-t .Ɣó?Hm:UaC3SK'ke4o| QWH}b\\0.S!v_J]HF w-e˄AiY唇}fS7oNQne"9SFQU"_N,TZȵs56m?|= ?x([[K#9/E)2=b*x΢$)]K9_ې=k|o-,(Y, 6,lDм(WK6{A`53adfM >$m1J]5 6!UI2H; yreZEAR8EG^. a)@?7OpA\ tXRMn&y;>bwzQ,ʱgYZ(o䜵A l {Ы=&m4)(#"W4! mKOEgnf^c6d'8L%C-%Ǿ *4rH*r!YRO篃JaJ2[+(`;C ĩQ P~deRw؜7^(UΈQF:ZlRpJtCtYĢ)%jGaQs^6flWqDy}8`V궨J#!t kdrA%lGwE+Ѥ* Ҵѷuxm&[i=%u7nS0+U>7W<0ʰh~~0Ffx˒9 oBN_u'4C[8$n4HzOl{03Yѳ8x"YMΪȨ vNs&zV GA2-qM/mR`Q J,`v%M^uajt)Zc^\z`lnkuoN.Ru?vqA{H5MJ;N*\6(շso4 N֛GUx)*|IKi8ܪ]@ҝl0M=!?F< W iZz~ty%}ć3бqc_Sw)Ky1pRb=_cK5R#`[Nn55 @fqn}DK\?N!âOW._ާk+Um;4ư+sЬυs|J (G;p *,Oo^^^2Wt| /E1xΰUH|H13.=;f#?bҩ|L0JD<95SXEQH-4W>v?LO^2 TƼa> T;5Й8 b!70j\޴_x;"1oy ԫ"6Z%kZ@zŲ ԛt<+ 2}⨞ 3:*䬭]z{8? ɠ8.TWY^3.A~)|#5 ÔnQ? HWFM. -`^U y阣~BTX+ݐ-{eh#Ad1\[y -H3z|lz=)gCZùMqMb<#Q5>1~&]/+LeðXPR\n`k0A8;cYe7eb2H*ӟ&:+[ܶ<;R"; %\U:b(od2X )-{VpxCJH淓֊M22o'ҖEn Yۛ?|ZexuSt1' >.b+| %{$,\ޭi%tz2el$Y 5z% ຮx[NbtlSaF V~z%F.7h qJzVBB4]RIPg”)Wepd)`|R >އ /78>ki^v:_q` 8]v̫ǸH$&3_ |: f Ujϴw6Ggt=dDrTȘ@8ڗ^ډ` Шd6hN CCd߬#wuq(y#yLa$"h'Ϣj:˄kRPtj'&v>K&֡?ys aw!s Si.HZbTy 00 :d&an2ꑗ=pD2YE MՂ0;ևO=;O%j[br)+0l?Mi^Qԇr1wj 񬢜SAP9Nm\5^)h%~D[]W;PM|۫'1o3T$1[ R O۬2yXIP9H^$S ~ԟ8}9z9OkK 38 /Q;%Q#LmR:vr4tgyChbd*[;h>TdpZP0J`nH1ر#7C793򾺷{!כ>߸(UJi`nSrU#e@<0DBjC41ȝ*h2urt]Q R[ߋ^xbS.9J6] uI :2yD 8 E5Ҋ&$ ڥ{ev_OO_}9s3={?ؒby eB髑M8~RcS{97X z툳 SQ_|8I--x($A<"bV\g$Jp+YBԴ]OYtӭ!M<͗n;@^*ޅ_d4s,eP N\%!!}pa-/ olXNEFrݘRpl..\Kd^9˘9d:n ʪI^c4E="`d0r8\[dͷ453>g[;of BlPbl̀j>W|ԲqD^iVmQU8XRrJR{BO{AG偌[GZKkq 78_;#m<`U}Km+z _+ǼgE?hoqZ@I'j6l=ƌ%a쨸x(-2}a_ (#jFbP9T 2Pboa}ۻؾwm_ATmҫ̟HdM~]` Rm 偌l;|j}2'bwj6g!N /&GF ɗ蔭۟Z?!¢h+2 WoTShn晘i\JADJFIFqV/jBȣY*V%M"x?Qe|!w_[^̒)'.]l[/A~YD] %XP9"d@KH+DOhlRujyAc.)+|R֍Yǣ@Ն_&+uR)&!ԗXfJ"nC_].w*JZq&DvW-B@>2% ǮiJgN#y2+`3Kt'N({b"g!{/u쩃t*g/[GU? ,`ckYF_PEQ PUCYZzWlf!+ vzqg(vym|r~b&p%r pHTvИf9G(oh-5><˖=rOGp X8/9 `Kxtg2qbJ߉CE?fNn^#L tpPjI74@͏.J@E//6@ Jma$53< 5gYZ  8 8=1C% RefinementReactiveRefinementReactive.Temporaldocument.tex7zXZִF! Α:]A-MՋhvG"uIBm5kr-/5aT* ֎г5mZ#ś:1t%nO4u*۸Ptl.MS!~h 3xccVBvӾiuy Tw-'Qb4 &Z]φ7T+~![qw5a@x|hR^̇jN ^eC% ;74텫4fS aLb m*g1Bܔ͵2㛸Ũe,p[75|Oz1M˟4:(`܂nW%u)})Ǚ~Օ̽ v8l*Up 0g`@p0"_%n|9 P`,9M"wrh-u.BrQPȱOg)wF}\FX&1SО!`"CSS|ߏ.r<3xd)+l:ˇO3f?{N!d4sQY5lwFDxDQ3EVՠũl;ߴv3OE "&o,ACDf=zLe݅7Wvxz*Ea2Y'اO/ dơÐբ֭G~I;yFK1A7*]V0g`FΏ'KN[> ;? #26^=Z%2Y \F恖@gm{]32cUr! q<+uX[)|KF~p}hp$'!GZNM$5p#,lĘ)fUT͏'-̌xttGkJ:6ZkXI!wFz*%`r%*:z}r/ŲZFp+p`C3l&$>okiȉ6)m-dDR.[X`iU,SA…k"nN4ŚMl(/:;uKW`?eg&MSDŽ IpS8@J;Z|ҷ\f 3Q\L< .d_cS`ޖqѼ9|m] ~Łc?aJ< ;Yv흒+7Ofncgn&&?}am%?On߲پKB^o[}vwdK®S!_DLpjC 0HcQ?z= u:)]Z|吆4/"#>XQ%l2zcLoC0LNrT& vv1G% RefinementReactiveRefinementReactive.Refinementdocument.tex7zXZִF! ]A-MՋhvG"uIBm5N\f# ߃N$XrBփx1-n (}pCYнwKsM`BzBRbwTߢwwX=kD\wce(g.ʦlզf2!hC';F,MH׊'T!0Vk1 |}( BJһv^b>uP8uv22d f}f$Ң2fQ$xqhzv AfU=DtM?mgB׾("lJq 95+@ lO6GbDkXmϔM{iD<]X(g^ I6jqY845 VCG$ 8ܖnaZeI-=`oKksdUS~DbCBAAO~U㌰>ቃs@Jp0,~87-ـk$Td~Q'f ~ߦMeYP"Qo[x_‘g3D++%ŰOT :'4`B㆏oրYDǕ=*AS(%jYC+y>#3dwm!tۍas a@ah>\ I3Iz!8H!W,UqLfHrEYNJ;cw&Ŋ(j5q A> PMuzX뜘Q4_x kHEx3(Du&G+7f$t"FG!r-*j\^w`ɾ%|N<|dFX8n e6땐m+X62 h{}Dw0ٽo1lQ aQMFZ«txriy }~m64KC#|o +pmm)h<1T Cūi,fqбߚvu<ȹhdm=/yϷ'x8f,jL k.T{Go8^xE 4% n;j7ۗc 0|U\mGW~&p_P(1&§6%q$t>E.yP]pU| WO% 'Xeqq`ojS, 8_aڃ7nG|iJ*z dXU`{|'\6&Vݪn+BEs0ۆUɹ8q xbl;!Uˈee^HlԶ5BVG>}*;T"-.;ݣ;urmu7ڷ1+OO.veba٦tR>I}+}MGy)$heMUi{TM{[IY9 ~Z{.[w,]׋D@Dl*Y﫵fG}Q9a.wOg V%](2~F\~Z/V)֡F&,mka"9`fp~n%cE `5)Gf\8XHz5$zQ Ŭb30/f?dcd݂BHO6@=iq:u4 'sv4:gKT"VEkXt9Av2pvd 7aXȦ@ .В%rF_.cC<"%;׭dƵKRvmܺ ׅ*tSy0-NگeԠi%>JuأUPP3#1w I2O}JPUx)ACy{:!_GZ;RE{@(Ycԧt<5q6;M4О}@X<)W %~,B\\oLK8s` E(ҚEv)mM7gcˇTV4!" &a$/+jy뎶~ 2$NY~JaME@_~9|p%>u8o)=cj,Dpb:Ў+bU>hjtrA\Ԍ1fA oj`)m) P (݋+!4acs0g9:H`Èw5l?(qHy'nF* fv;ŋYmIXpkm%K1.MD~|*Vj5ܕ6-CdUiͳHҽHŖl"\NZZl -v1RS 뤴==.er!,;4~ '[Hgd 5aLy>aS"9Pfv"_FWcT$C2ɾ=:9UU)- sk>OQ*o#2"RXp6E,x=*4RuNR%@O]`@&rB Vap<~XP D+m$*uNPϭ6yA!<ER Lyշw?ۢH1UKvo"SDNlrbxz<"!j_%˒! &_;t7GjعuF B޶ܜo#2pѡ=+In{<^|fyv T0mcppq Nt#ӎE_i_v0/I.cyxa~9 {Xyn}%Aj'.s{{g.&غхWa vPhףǍ x"HbBVL^J /X5sI"(<3Hs#8ށ:;:o  ~f blP-@TL@:Q1EHÿy._  4 bO. %sl#nŕo=bҚ~/bGs e7ó!vje, x$0s*#됒dyv-~ dduq5䫋.J5٭oSq]`2pS^SԆ:@ =:#F":rKoV)5Z-;qnE-=Wpuȍ{4Y+sz3['7%M,؅ܹ S!K(m+1Op{;4ei9+~縞an/sEyy'9ݨO0'2zq59(rO]f ]́YWq+I{jg Fݫ ?ѵmtI鲻ٙKi% 2K_!B;e^m=*[>kysAU!Vo+-RQ":T2α:dӰL(%Ӥմ OٲIho[*Ac跸>JAExtjYi2DNA[{E\~#OQ<ϡo}=IRBnKRVR ]yݒ[A@p3{z\'=EHܴmJexTA(ÌT^\tZeCOjsW{QOFO}UfȖlKpE033a gBL'4-q푳((4uʁhlkbDv`oE&7Eit`,;M΂T%7Lo# _ e[0eJ~_CGU S+[s%>7%.{HFsseB툗v}oB2ȓ:Bpr"l[K-)|U l"S_Vbe Im_Pm{eyuRSIC3^P <@e$nb bҐ3T2Oj2"l?=6~3XQnE \ӜxR%QTS BҴ'6bĹO8M:o&v8 >TV IcV^V# 6Pc-t\% m+Q.³1L'%J[Pq+ZSu uhaЂ,C&M׵k喯 (fZZ(!R5%ٮ{K<2&йzEjA"CFu{.Ȗ*q̶:=PتUsP gTĉ?bi7yw-`{۝rD,b/>|x I5Lkc_Ajl7>/Q&؊`Vyl3Ru*KcJ3 Gʅ7xzRlyM Kn9W6qTZ`C}HHQqkqI>nF`șEsY{.XDC@pAHko:Х&x ~C .xj?"3[ʶj-CM ?dX*8P갵J>K;6&VY@?% $+KV\fYq|`I%< OmXW'lGgS)|i FK_$3vµS)IJe&$:}~jN(*Vt)tbt&`] EDݺ6%Yc,(M:D%=BQ%X=jvuʇn-H "c)2Ƣg]iQ ڞ3~ P{"Qb<>*,Q;y$P$ܽ X;Kߎ.1I&|IzC2k!Lg~~YENP ۖjd@ ⋞V>$(rX3("IկT,0 uU'2ča8aH D7(D?lBF/Ớ]j!@EЫ|Y ?V<W}X%Ch|c)s9|4Mȏ8415Ry:hyG',VmUp ݈j&N{(?:"D@ka$!}bPM2]l1G40ދT׸w.߲8$Rh*hŢE.{D <44T%$ OXiz'Kũğ7iALeQ$oe>au=KeBJ:xgu~f59EUxlJ#̅]I3ٖJ뀷!ʏ;IA5&e4rxxQ7UQ_ׯT@ʒy3;m1as?{!s? ]`BNKFnw,'*d*b-cniH o;$!}iM9ٚ2`50-?=_~س~|4kן."Zi6<2uV*f w?oT.T.Heͽڼ'>ô&kz-% -$PnYff!RN0iH~Ziସ WZ |z=J7\Cƣg~01+G3-X9"4J|'y(mx4;Ϯg(#՘mQP'sa[#z[g&~$7ˁ,APR,P}kLaE"aimͲNTU7$̄5:` 9>Pg?Z)RǸV \0-}8;nl_vl޻Cgf@ElqTaٺH߃3Wf&Vm %?jL' mT~48u6+w<#{JoC}~}fD!!5.XKP]>T~~e;Is;r+xiHF9P@lʂSh~Wtm aR f|QnY<-եFTH {ǝY?*rJn4!th߆gpa" GLM19.{6ڋ^^L|`{"9!jidi3>d|A]r"O3DjNd :Տx/zU'i݃@3z|껪 7@o2Q;cM0-_0oNL]z_p=Mz#'b'K-x [ }Zfe.QYN ‰O'_5 ,γUGgr"3!ms=l22 jG[.]O*EiYul/Vt*`Z)MQپȉr!r촗W2dDaX[:jʟ (L(qy^WtdƊPGCx?(VZ-_._q)[C½Jܩ]t b 1a>s/' -MZm`)_smmS 05_Y"=ۧ8zot=31] CDz?b ً1YMi&>ĘL}b~!5Q\6&>Ik!/G^ČE&8d;+PN]_{9EAH8C8a`@P[(XK1Cgj|vG8H(^ux VA{$?ۢ|S/רW{M"lOq1]B3 4IQkOCv4mF6#g$8P/䮀}݀?pg>LNr}CϦX<BDWDz/ h;.gW.2`N,|P iCa9U-S9*dL`N>#.2qGlKz9.ihm}l* {m.:;:^ȕxz}hhYh=gGB& IW $*ZA_\>ײmOw4,ݜ]WNB9-陧ժL-9@D܎^Έ5. !W{fh񯃆2wi]\7 gr :gG>Jo;>G[2 {8cE5 ˜'j+  ׬d9)ݚ-ᭇ)'FX;|S(v0LG҂;{nO[P-]3f W 471[[#>~q6@̯UP.Ͳ@rqCKfO-Q2ө&{d&YW!+.I-_ 4gN\xƪpkp>WX[_5;!b(n:~|̀!mP.WN3zX;,igmsjsѣpnUxXpOa,3BYt+-'IZ2Q}k1 _[/'4k5|SL/0iY"d^—# "Rx&Uo7ya @˔0 vc4G??`=vI*wx0aiÈL_"E٨.ojT'5L`A?OȭWS.7B#-!y o .\n^$%f,l[=)x8[:>^~(Wbg2W Aq;^T)%QM}NKdYor%Σ_ ]ԳZm3Rehp|2!oQ>hs@V0-{՞{-/N IGKVjBdᔭ0'n7˾jMYf)Ew+)x o\fl%%S<%q͒ Ö;>/.3zO'(z?M1-zMAgː6 r!r%.eh =K>#A WgtciJW okW[ c?a <8&8?5E^{|Y働WxyU'cA5 ˹V'NcBm‡ç;, Ll86tN/L#)]ߝf+|?x`ɓ]STǭT >cntcM%V[G jv%kA}Y.Qٵ0 K6b^^ @c(kf驮䉶\6 M"d9װg7Mu90!T&Oo~+CO!f'j֜ p3|AX4%OR=EK3 '}x$ZHB38TޱbYǤsRƭ&Pj< kxlп>~Wp8UREFj_Vr؋P,?QGd.A7뗍3_|D`V#7 ~p+'ЮLc=lHHʔb{*"Ĕ,>J}HrfG_;Ͷnu;j-,(U*sfkZ]|KYH’QiT>x5f<ΰT^N{CF/Cp7%w[r@P*9އ CWM5U X]a׏MI1р8ٞʢdt#Aism .,S=*J:@.J,DkD>M(\'9^u$WG]Ef2}gq(!jNX$u@Ѱ`EDizJa&\{LI2yv*(BvqA87(z#5SC+սӎϠ f!Rd$pT4}} $r//IO]"e1ngoHT=_󂎁(ߩ-:SU灟C`\̃nlln ?n>*HPN9J00G3}k^]0!0*s:`4aaFX ՊNyL$.?նZoϺ&m𑩧uL\'@2qyDSŰdmٺk]qfS3yug4'nہrit2O}MzDC<&i|f~ Ypds֜<^)u~Y`V}iiOIB~ٝAo_O4~ہR|̕eo#?Ma\ajpO;Kq&n ;TfH0G'9fE6KV~Ð` c1U'ַ6\^ĬoY' ½ҠuEk\#k6KVe#)8 CtM <)sT|'@y3\caskƉzj194עףl/D)In³/ώLf&HtmVݒ}SA54L*Ϝebaஓl()csOmKx6%:/ 7xO )=*D}ۛvsʝs^rh8C<<$;'FꄄsXπmlNF5㲹H]aZ~+Brdwu2L~E]K0>qmvaPΘs۰3_:UWp| z- [^j$ IBq!!POEkr}:zhɊ9)uN;`bl% _rdJxhtΜӏH8pxMQ\EWwkMĵ쐇Jd)TԴCڶ8J{Fq~CzϪ=dl_#]2t !_#d]xy9=L'/w0,ASߢ & ]y$ qϵ.PTUg-DWK_y."Ro*+٘o!:URt}O ]Jr"E2g^պtVDmN~J^dתP@hC8X 7"Y-| 8k'^fq'IM*Lioe䇋,"z^*hӂeŚ-Ign|ScM RE?xMC ~,OLiUi,ҥŴ2vڸbysy=j ~f',pr~n9\/r\l*v^;'{I/QqKFFɌ2=P[T[F_Hُ9k;wqeľ"{p݈KQWoę!^gOG s*9CRrטD1ʃrfw72K{ł,ەUv9C`Br1e@1u29(denrT@dBO~S|NSlLΖSzU;8)@WabfE^\<3;?:q_vʊz<WB`0[H&(͌.ɲף`-!!wi|g0XJ ő(57tJMrbLeGňt6j\9k*YTq Pg}coDsAQsn?7c؊=Zswo(eDm.Zq^!a?)eya5DEEDۇ=9F9]leb|qp! 3eZYvb3F(BvI|`E\fs<鑽dεotT~:9A`5ʎJy#գM"Pd>vg@* (vq_,܏ I =-,-ߺ&"Hu!A;϶kj+G{T+nD ڱۥ&$Tʛx}N"4\-z(|я/2]܀/ C!W zR瓈٩uՌ$,m- Wm4LbuR:'c_39kYvP#H0`$>Ahg"^p}*4q+"es한?e|t&8[̸;MGR{zFj ,䶦N " ˉ)Egsl $4xւ7R۵Q¨׋iɼJPFJm}Rs&a#n7JX(IGx3tU*lέbn)j<+_-d-57[F֊ (1 NH]J:7OVj]\itXr-/ 9ŭ_EݔcWpQ`]nNC%wZ蕀,-\"JBqgxtr``n(2AHµ ? aŒz(xnVŹ4ӑ3e`_6nvB7{GcӼ[F@{mq 94DkpaPc]'1Aɨi?$L9@U#sH4.oDVUf "2ƛ?H*togo=X p: <>~Ξ{(wnN3O7[Xy2 2qx=F)hh ;vCNheH&nkVcjP"qXEТo%\C5MmkrMKjF{&؅sp˦s8~}.Cp'4?o[󦊔;aba*Z+2YCRċU I=< J2#TF҃b-)p[jy;/ FÉ%Rݞ\TDixXx+Y|&J QNiK['ݾ rWxGs2yzFPEqzTB7w+"eciKV<^ڶvkuSyW ZdLƢ W8za8W)U*j FH򻆥3q#!Y L>OO1vvt p]b_u(0i0ׂhf]& )sꃟIjj70׫Q)= o/( I( o6kDI<bBgm9o>Pqڐ>Jd=?(Q-D.o#C3EAǑDe&H'+vv~J255tzI[ g~*Dt^Yw EI e }~-+29 ok9uB&"Ź"JY>6MJJ;vr_(BFjݽIA05x>5CjI~[9 quR(FLfr&2FƁN"=!r!>]ރ d?LbG7` օN~RD],}]o2cM;po{[e+M_.m*W}FӷRR [P D8?T]exo ڱNʕK//ԈoOUuJ 2+3YÝ#-9lYV.#ߪ6p78J1~9"'#\=-63( "{⚾>XHCbg=({W[b_V]ԷHnTrԣ .Gp&$%FẊ_{= >^3u5W<ޫm,E-0%!JL%Ҙ:oj `8g~;L聚",+QdkLL;Ir%%$(.͵@BiXvZp &vJKG[Zs埋lwT'C{L.f" Уtls)w0RV>kYB% rcUQ|5ICFt,.xU ɤ<  Ԟk I]3l%m5tYgq7ې(2HJؤtKL蛖aJ"-$1|~0Dmj&o'zF);RQy_a ܥiKqPlxn$+SZȯQm%<KP=QE{#0?dxw*Cewc'JT0<|)z":C  9$|I~ + nR^qtl?\2z kxhmpPw=N1F<0.JAwW-XtXoӏ3U\- @UߥHjb!e* < oG+U?%H/c^ĸMZϰXéO ݸdLw?)piȻL')_ <<[h7½&KҬ{ycZkśi>z0\f PGsk<@f2nF>-uivor[)Jw*\I:d9Yhŭf}Z++S%ﺈxB@_|勒M=( 'jukE9Dο6f]~gmMocE,d\mNhbvݕj}DCJiZy,>BB?0Ք(: {aq~5;]#L/w[nPr5{ @GSxHR`2'tI#aHbbw bFp[K 7+!!?l#$sujo±NEBqoFCQ!N rSYjӍAij{NH:c̘# v&oo}TXqOO]دYd6Ht_66"ya0f6I1yN5Ѕc[$wJ8Mt")IZ>;tp*ɽTLd&ޱZCd⻎l`ssҢZNޚds0Z{Qf!LS-