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 8-x|T$ ]/ No_FTL_observers:threads=4elapsed=224.115cpu=257.524gc=4.5247zXZִF! 0x]ŗXiɟA5qbh,6´@k92&h~ VU&ElPHyU,ϣ;4֙"pd`<2zUURE| 8VK}Js gɳᖅO3W>&cԠh"|]^ r]ۉԇhUyT@~@築iuBX)ZdEU-mRum4yd2xJJ [r 6 \>Tn4+\gsfg.4HNbQaAa1kV.9SNaP-A%îDžIF>&$R6ȓq50)ONI[4AI~ - No_FTL_observers +-;% lNo_FTL_observersNo_FTL_observers.Axiomsdocument.tex7zXZִF! k 0]A-MՋhvG"uIBm5>nfo?IR>UóͦO˦XOWd)h%@f|Ֆt9 ? Ո^[,#Wzu_$S涁SQ .=jfI gL'>jJfCnv[-jqX&Iw՚V4x%9 >ovxO}+|>@K^W* kG6<"RAMSYg9i5?˰_a![Ǥ:&VI$c?nF`)H|6Kali9I(▂ Q=P @m,z];X,[L"ՓldD+EVD\w24Ǣ_\ hĜmC{R(Q<tYzM4)jՈa݇@OUig;omHxj@}@WȊtc>MכQُH޵=O_'=DL,XA ohB9aG$\^ƫ&sY=b>yd[$)VSmm\f^ X俶dVz`7%813-{#s{` L ctCXv0J{̈fޠظKx .HфJ?\ɬ؝E迨S9s`+xҖ $dĥ6mb~'6[(B^2=C[ 5WM۝ vhu~ /VGZhRkˋ"ȿ%EbI 0 Oph^ՏUUmc~qz-!ـiVj*I:Ȃtͨ:2mPbkᆪ`n7V?i?8kUƆe-(`!3sznӹ'asNjUG'=(YY2Mգ1,T P tbÊ]yWh{6sCu+"7IB. iU6!?I cwnMۙkw*w ]',>-{X$Ĉdef~c塶KFC<\1=w=dd֙u_M*`HaQ[U:F%껺f,3QلQϿXƍIə}%LaY`A2Q91HQp_w;n/<)'i/+vΧ_>2uJe& B5TS{-AS<[RYZ98i̲[:5_'d`T*{\ ܻ^ǹiJ R0~yMOx'eHN'b5m2gd`Slc8cFEwC_Ǜu_~ZWRWi籽^i.NBe3UKG!%#Bn/Yq!DU@Sa:.Zl9~XT%x $p9\MNm(oǤ?ay>ZĻVXOBJ m tR,\ܝT"7KjI\*.q~0p0TN{z -O ڙ4 $ҭjCOƘ#8ӝ,IM6)bsXnaq' 3ɾ yu5JjL/dF4+8qh"Z zt?+ ]'J/MeU'Xп!P3isw5N`I„ ( BAR:)r`fNMM;Rr@՛s$]voٸ*R> qX$_1 N$UzVu2mX)%.IGݯws↸ 1*P9=\!z8A+jYt8Ь a198m v$^Ve2b1՟<g5z1]\Jj񗹕O꣖oi$&m")uЕmޠ7(u ~I*!H\iI> 30硇st蠃1 Fè#Aŧ1%P(ru]I2p,\!~Y4enY|ۥw֍҇Z!lieR,~V,iϴ!N`Huwdx%vBQk[< &RRfCr} M}_jTKS[}J8"]dv<7b0YgpI]J9,܍54$ʅq /p"rXꥆaJyDO|#ao^lm1"KVDj޾Kqbwi`\t%'!" uxd "Gs=rP$@{=V%Bz%S06pM6?lVƆpPOǡ?_ɬ)cԤ~zNX=5gR7a=f8?)1;^>! 53Mg[Vv%mܵ/1FtYek٤,Ml0ތk3V9Pʓ]}DCtfq4w*k [8%:-^j!2 S(/<&IQ%}k,nZd+=xQ"lj ~y0T;S~gYZI-?% $No_FTL_observersNo_FTL_observers.SomeFuncdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȧX/C(T,EOۻh3`" Kk8:$$ Uv$& Ƨ^)٥{]4utQ),`I }1c헤kyXEW(Z4uπ9xr:gkl{ <n/?A`Ȩw@_-Jl,DKZZ e2+- _F6%,@e{T#0J1_hlA]RW+K#¤ %˫uk lS2)㝗4Ɏ;0p5Pì^fӖ"e"m}8}n"'Tt>(?`ʢJ +~f ]gvIdY6@'y ]OLVi8 u)WDE8-Y02fC0{ȻnVMf!=t&eKrTu@=VD͜8 =$[j:"D@I%2 ݍO#Iph*ދ-k^\Sqot P6M׳F, zȄL~WCYxmL&/ѫ=nC`+y߀7&MķS ( \ȧ݅b3 P<-A%No_FTL_observersNo_FTL_observers.SpaceTimedocument.tex:-=%No_FTL_observersNo_FTL_observers.SpecReldocument.tex9-;%No_FTL_observersNo_FTL_observers.Axiomsdocument.tex:-?% No_FTL_observersNo_FTL_observers.SomeFuncdocument.texdj(-A5leV 1h;]$W~+.R wLa"f1您d^8T r)}*J0u7hҠge OUhꐙM:נg]0KܱJ8L e ebWCAپ Jx_w9eJTٞ:)9;cu.5M@tv΢*iAATQ94@~ pWku o<jA(uFJ,QJ$''I&'˜_q7嘎%2(d4'֠}eΦNhqj+h>{YC}|[ED|4Bl,Y ~b=J?8E͇1 {ohKƥ ȷ]~w~qjhmzf1Қk&47blS*o'>%05JGt-_T[s x,d|2*[w,:% sip/qڴ?quV(2(''չ Y{#X]zo>y[џ}+j~2tm Bu"q2Q*ֺu~TJ]NG "~QAwȪD<1 RzHͲg4Pb;zeU~j nc(M#sǚcfEP7ycBW4h_cn"ҁa芊O]C%5:%Ix_ŲYQ^M(/@e;rM= \#⮽Ad^)m S%3_# j@U܉qg9`I.]z.&t#; c#zJ"#b>ז{_9D^> [Uwe8h[e1& %?H۝_YE熺~P%ٚ QXe֥?ѣ 02v?(B 1A0TWqF35C&l-\T ;,>XX77BOZ;ZIA, )e= zWU\WEC̷wW9ns7Hٶ F.t"]Zc;z@b:}P48Uf>`F vKџD9Kg2x2\qmȯ%djC횔i2`y }63҄tΛNT-C[jJ=5Y.e?&%K:9m=DP_^qgO|4mauoz.bma˯SYwLBT]\I]/6 f瓡o*Yhy8'{}&>Tп^3㌻aOuJc3liEL~(+k,8ܻ*Q@P|B=Hپ:(\xCiUMh5,iӷ?Cȃ2)ŝjxJӹ'ZBڞfPcnfo?IR>UóͦO˦XOWd)h%@f|Ֆt9 ? Ո^[,#Wzu_$S涁SQ .=jfI gL'>jJfCnv[-jqX&Iw՚V4x%9 >ovxO}+|>@K^W* kG6<"RAMSYg9i5?˰_a![Ǥ:&VI$c?nF`)H|6Kali9I(▂ Q=P @m,z];X,[L"ՓldD+EVD\w24Ǣ_\ hĜmC{R(Q<tYzM4)jՈa݇@OUig;omHxj@}@WȊtc>MכQُH޵=O_'=DL,XA ohB9aG$\^ƫ&sY=b>yd[$)VSmm\f^ X俶dVz`7%813-{#s{` L ctCXv0J{̈fޠظKx .HфJ?\ɬ؝E迨S9s`+xҖ $dĥ6mb~'6[(B^2=C[ 5WM۝ vhu~ /VGZhRkˋ"ȿ%EbI 0 Oph^ՏUUmc~qz-!ـiVj*I:Ȃtͨ:2mPbkᆪ`n7V?i?8kUƆe-(`!3sznӹ'asNjUG'=(YY2Mգ1,T P tbÊ]yWh{6sCu+"7IB. iU6!?I cwnMۙkw*w ]',>-{X$Ĉdef~c塶KFC<\1=w=dd֙u_M*`HaQ[U:F%껺f,3QلQϿXƍIə}%LaY`A2Q91HQp_w;n/<)'i/+vΧ_>2uJe& B5TS{-AS<[RYZ98i̲[:5_'d`T*{\ ܻ^ǹiJ R0~yMOx'eHN'b5m2gd`Slc8cFEwC_Ǜu_~ZWRWi籽^i.NBe3UKG!%#Bn/Yq!DU@Sa:.Zl9~XT%x $p9\MNm(oǤ?ay>ZĻVXOBJ m tR,\ܝT"7KjI\*.q~0p0TN{z -O ڙ4 $ҭjCOƘ#8ӝ,IM6)bsXnaq' 3ɾ yu5JjL/dF4+8qh"Z zt?+ ]'J/MeU'Xп!P3isw5N`I„ ( BAR:)r`fNMM;Rr@՛s$]voٸ*R> qX$_1 N$UzVu2mX)%.IGݯws↸ 1*P9=\!z8A+jYt8Ь a198m v$^Ve2b1՟<g5z1]\Jj񗹕O꣖oi$&m")uЕmޠ7(u ~I*!H\iI> 30硇st蠃1 Fè#Aŧ1%P(ru]I2p,\!~Y4enY|ۥw֍҇Z!lieR,~V,iϴ!N`Huwdx%vBQk[< &RRfCr} M}_jTKS[}J8"]dv<7b0YgpI]J9,܍54$ʅq /p"rXꥆaJyDO|#ao^lm1"KVDj޾Kqbwi`\t%'!" uxd "Gs=rP$@{=V%Bz%S06pM6?lVƆpPOǡ?_ɬ)cԤ~zNX=5gR7a=f8?)1;^>! 53Mg[Vv%mܵ/1FtYek٤,Ml0ތk3V9Pʓ]}DCtfq4w*k [8%:-^j!2 S(/<&IQ%}k,nZd+=xQ"lj ~y0T;S~gYZI-?% $No_FTL_observersNo_FTL_observers.SomeFuncdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȧX/C(T,EOۻh3`" Kk8:$$ Uv$& Ƨ^)٥{]4utQ),`I }1c헤kyXEW(Z4uπ9xr:gkl{ <n/?A`Ȩw@_-Jl,DKZZ e2+- _F6%,@e{T#0J1_hlA]RW+K#¤ %˫uk lS2)㝗4Ɏ;0p5Pì^fӖ"e"m}8}n"'Tt>(?`ʢJ +~f ]gvIdY6@'y ]OLVi8 u)WDE8-Y02fC0{ȻnVMf!=t&eKrTu@=VD͜8 =$[j:"D@I%2 ݍO#Iph*ދ-k^\Sqot P6M׳F, zȄL~WCYxmL&/ѫ=nC`+y߀7&MķS ( \ȧ݅b3gYZ  } }x-=% No_FTL_observersNo_FTL_observers.SpecReldocument.tex7zXZִF! M]A-MՋhvG"uIBm5ȧX ŏPN33},FѢ lx7UJ%}]aCZu2cP *.=K!NB7J)d N5D-^*dAņǚppJv#_;4Xj=o (8@6 kPgzSMy-ɥFsYr+VL=ooI!#e5Z ]+u@7{7#y^Ppby >r]b4CroONvM_`WzI3Ҋ7Ca#i‰l*~vmawꅠ0pߑA%K]z~y^g+/!}^5}ǔZAN{цs۵zVNusU =J@qyCgO!<_X8:E^ O#(X\hHQaFPoYYPydvgTjj7LNTDdl c7D#ZA}6n ^Eȩp`p8ˊ]RT9Tdv' yǭ9J)dgi>ﺥ,Mdꡪ2txm.Mls>5!h<CcZr0( TcoґNU?{;Dj"najB!Qn(X#-;ڋb{RB_Cyڏ\ԕZCpr`V# Dc&fQ>zF V8­VQJX^0J:s|VzGGWqM)c'Zق-*Zlѩvפb۾{ vKe܎>!?̊*QOFt# "V81ulD$la#u դa& /29_3Y 4zR᧺͊Rh׹@g, DԂ_oQ"C{89$o{RՖ==x[|d$,o #oqF23x-M]E{4ee綾,O00aa=MՅԝgq6k݉|!S\y\mbp1'fqϢENQ@fA~C{$m{oVxҘn.~-XZwaԼh3  Vl)rtDu/[Uac BОh"mȊ!gOhe+΄y<|I/VOXRz_5u;A24 zKDhI!uOQpV\!CGhMBv'u\-3^ŭ>&܃=)~aR!ebħjňk 87DiHΝ唈!zE2ՋyˆXf`ݓ+$%o TmG /!IĦ/:ߛ0g0%@+W!6‘dToAhݟKM; :'Gk<'6ـ%}Tyq:D3-nЗγL q>knHy;P/RߩOC>qj؈":^V<{01_'P̣(I jpl['?x"|i5r\}A@]joR,T~"Ir &#=FSљNf uZ͘g3y[|(pr /V6li?9uEM^Ǖ'ذ]s}:neWT4TW"{|# "7)9+uؔ] uci]|N yO<):vj':&մIJb0X'Y"ڊ (O`noVg0x)2B'9UFrlNYWX1)vзډC"EI\v6ĉh΃$#oTDRS(WLR 4u;to<2gʟcx.z/ҪՅ3޴9M< Oג!aq+P]o u|}p-ut-jg`=+;{>FdJ'a#"}NvC6K<НFAv+Ďl-9ҘʛddhЮ#$톀[6C?8vYd͕^<<9;j3_2;/ð9ڢS罶p{ISUU[z㽫 H'$!gbt&:h>Fo8eԸ5[+$g)*mmͳ&f>"C Jw}x1h5lpqd^˽AyGfCF$G 0@V8>`h=ʰ#PQsoQBQ~\Mo0K7PB򖣄yġ#4^ 1&=&~yOYo ?}K)zQ6œ7!,{榘& -l3FSPN-@ugN1\F(XǪ ";Ҹ3z"JAŔ PtD,>y+Uh'!aOȴy) >"ҾX3C[0-͆d9:؜-2MO)nLVQz89 (վrǺ”78f$cFALmov tkd/.lfTIL0uEiLƭ%a2'*M>C_Zw]:17ۘvDu鸽00GP=Q?G\u/' ݥy++U XӧKnp5K>VQI#. LHgZjPo܌,.vsZ1JvY!m!9|lACo䜝>]<vR`ҿh}d NG\G-Xuk).J>j>daNi~m''^l[ |y-clU/ǖ*DevCvi(j\;zr tO99}t3e޵?uA*- A~BO ٚDaB96$=˩؋=TzҪ"< T3*S*d1Ǿ 4t*]. ~.n/KHllW/ה %Ǔ ]c&px]STL's?D⧖iWyw&<8z..lO0u?!eG;tʫ ?#)`\i@YG)P3i9 G3-:<59_# :ތPft#>nh`%3#I9w}_Gݤtg$9V)Yɂ{$Fwtm[УdBo~n.9@^cOqy 0aM F!֩-;i8`lDmpQ==q'n{bi \ZmGHBc&v>( IbHey+@$N ;SFl+w#@DݏlшBMQtG^ؾ .Xr~G1$S]\#TC>jqWj,1<[_\) =,-Jj#:C =qfC<ƙ܋^_4JYb~!';}_}j:&x`pl|kԣX KT$k]]F!%,&VX}d+2r'aA3,rݥ̇5l ] +CuJh3*C=}::k|4>;D -8bρM|x+Ov N!_΢FO ~'tN+o US .-un]KX`3o^h$B H4R“=EK`oAr,!7ԹĔenyЈ¬E`T9nV4pOզg{7D=kFkI/};l=g$i)|#g U O_XW\GHL2n\(їh$xn0u?ıC%VOaZL{xٳ81F9 ~"Tf. q lb*]pHw4q#3be<ЃXB "a  p,_ix%Tj(róc;{!W4 iaI_Z#X сu33MWKJv:L0C[Vy@ameM IvjE糳]Q!nfBi3.R18ȕW1_N8zMU IΨi 8%-[V&1 U>? @E.OqܬDٿ`-dCN4s>R>]eTI xtr n~6Eu~+$(W0$kr.oҊHܶxHTդBciq șGI?#m p#KL(D-E/];0S/8(2鱃WNJʫaM~ϷSѶw_&*Ή;si!<(شYʱ3ut.B=W2j'K/@C)r3vqiN!t<6i4q93Ocm)50?q6H%d٦3LCoc{@WImY05w<,Mmf 끫b3q4q8>CEAFɨ nA#{ߎG]tDN|M՝V]Z.H"88 :.slXgL r)=6bg$J׻ϜK搎[K(- |оo~}_nG!XP:گ |AӋJe\%[F=4޳Y6'6`sOxv*#3Q9=kp'T v$B|hsye-b~b'8I9uZ ]$ًwt@2Ĉ@J{vZa| k͕f6/+@Hu:xKJz:9|5qkxʪo)8<%@ DV Q6lbn8?=~HxYy12E[^dW^7뉞|1ll])Ѭ-*vF4UfEkXMc- #"+"zE@Χ?l~8?|IHRVIF@t~jՋ)dCjU`*O`ʄnhVH5\\dQw 4J~ΞDb^g $:X澖mq|xPoYC $⿇^`wHk<9J-dvTZ+as'Y֨0ϭtSك"L^e.8J<%aQ&+ x*z g&C`t9W*(%o-S o˔]6t}4T?2jJ=gi~,9[\tCnp֡G*0UdT͠%aWS?utO_/g"h3lHmc Ғ:0xwtmPuo]eăo  "lHD ޑ?ڕd5bHЎI[@>7eͅTZF8g H_mիՋM)/5ev)(zR`$\3$÷V&kaRv ]l9:@ B9n幺5Naf_^at)V%Ȍ[ 8/lzAY~rj-Oax"`i@4!(|9)ޔ;-hAhL4'U`x }0CErJ27)D8)R]&^f`;*C|e}Z1.QW2Y!P+5eai:7r8*hiTs58#]㦧&%ktܭI1_ ^ۣ,hFz4W?y;1\ DpDg|K =ƺNZ:о?PԾ\'xth]O,C j T@ûC=|4 al"0w!97eߙqO si'',L/uo@kuX^m{KPc(gLOχQ7%'TQ'=YvZu-0\⳶omӗqFKT8!B-v6{fHdOuk 0 9q&8VI55p-lgGR[B7 ^ 3Q N?o$`ƹVC'3nCECÓILE 4k eN_ytI[ǚO{`|k۷3Dh3hv'OLz ACZ>8J MrBT ڴ -QDC+nv|3K*S\2*Jn0AjaX$|缧!J+2#L)VFG@g%,<>tOvOeSL.(/E]c8&,PqڈC*20ݚ7FdWȵ5 !*$Bx-o(pbm "Wd!/⑕{7+$--Z^Wp+W\(40%Xye<'YW5fKן:oXA$e$Kmv҅v?Ʌ$Ʉ-Y#O廪aurenWAjݺj>~5|Y$1qZb~4%!J\{hL!+$mc~_#'lW*ԥ"-&g'CO\$1̸:uTbSMoE#,yI iPi.cyfz 2#D"XL;c+6?x`;F\HKz./a9aA/B[ľtZD0@Wlj4toPԪ7?M10 &)zOtµ6^!/?2jEz/Zʉ:Z`RZ3u9;2UL4j82a@?KD9#7:r;1IY!h@ŀ?j21W8Z*lL7 x-XςYmn2:⠔ۖ[g_A1 |HuutjDŽjdKqf%| 0.%`_xle|KIȯͦ>|\bA: r!\y6.!{^4N(eG5+[z{:V$D;8#U ԊRgYZ o -A% lNo_FTL_observersNo_FTL_observers.SpaceTimedocument.tex7zXZִF! H*n]A-MՋhvG"uIBm5ȧ),D$3XKb0,وA,o4jQ]W$1l,y (<$=Qd59fEI3yc%SLxIA|N4{'WuwM$ ݰ3HZIִb*' 5^g<)BPAyPzPVER/ *ACՊB*hk[1aD4, 9-~XFC:d`mk_F. S}}AIxI1&xDJfET[1`\q'a:B.\ݝPe;NΞ6)}6cC{vOx"m,gbZ@K)W*Z`I9ybuoo q2a,yvIW ^yk+z?p6_4C/dICՍVMEsfVz4|mC0+41jָPԺ.Weܹk tz?9p=ݵA(cۗz֥@;N#ҢkQFmߞg+Zq$lQB]4'TFmjbWyG\s3)P߶ގ V @*c;ܭR?]7JK=Gi%/vqm}jI|îh*^#XЙP y;aH[#ԭa#B_~fU*P$1*jǮ3#)!1 k]!QDm@㛽l1zNLG!PߒL3&Nn3ں_]V>8L^e!87fRSK[1Rx yֆ&;K9X& %D2 hElK_vޖmrǚKRiumwr Tu " ]L8ss/#Kv%wSFMF6l򈲟*߹lD@YLM5 kAT kJQv^݋qĶDr&D,(5"~!_2G+0ؘ-3$ɔuUKH\m Rt)ӷc" >>[-f*j3[[ Ҽ3Ct֗4o#ZYܕ8~?c_sRzP v|KpL=I 1Xf*ཾ,'9}CTx]TS5~ҭ*+E_D xBڛ*$%k&~S}M7$e5*Y5rIޝ ,Gg,GaRY-\K暸sSnO-ͧDxxo(,

]ŗXiɟģGXCX>J2FOC38[:V _`ksfBg/jL;C\1Jm;SMƚՊ1t@*tяTIg.\,"Dc/pcWx&i|9 ceP;]dwgYZ7zXZִF! :]ŗXi%D3}@9} yPc8;%tVUZ{N5oAVG r rx[;A}](xݠ!p#ea9,QVqU/G?.\x#ք@)"AU(`,_Tq7x2M֔ GdvEO2hM ÷7~_4<>Wg N gcCE=]fL P efaA`v Lb2דyWՋ71e@[l%m z"G0N 5,F΂&<;ۭ[ۏza]#~6XC귽c7xw4~ƏJyK ALa AzdL x`ՓZL6ߐIόWnrReT@3̒e_4^xP(h4PX+ju]0zcsv9r qogI؆|.Yy)X<\ iw@K1ݓXMI\FlN{gaX-ZbA &"y , c|^[vMYRLiYob/ۑ˘^:b:#$pDڳc$b 62z!G_ш?-wQDWܯ JAǿ<礛 Y8`؋RitZ0< 0q_hMYAaqc& Y}I,*q:tQ0"/-eE2Nh)|o.WAOBF4ǒ̯FB)*}bz))zM t%'\Suvwck!@,C?Z5n/(s\^c0mIl|yD8U5|q/Xd#}3` utX1ExwN W2wO{7%J VTmzY[kҊ$WZh9egC{qSFRb WQ%'JUݭ Y#VEE|]Ԅd5M@Qz/ڹ6AM> ehmbw'; P[C:=Z fʓ@0!OV"1)}M3=;9|F'פf9  Bk`hm}(lU᛫jҶV" jHU}2GS6at /ۦ0ǿ;[]Yo((~ֹ{* @wţ gQX[I9l\ܤM5CLƲ0 g`T={8K,f宴{S&F~%,Gv\jA dc^u0;@v-'܇0 >ΘhP+~Ĭ0 y iCd K w]Fq,ml_%.09!E0Ψ䧳o2_^7={ sev0]"D(u,TRwˠ|7IyWfU66;uσ8Y02|w?Y2a5itaR)[4InM4E5$aLXL|?ޥNȜD7_nF|LO#M {XXLW}/l^6Pm k==}A=Gb2,uq]KEx#!jCwvTsiR{$&X)y@r&-*Y#8]Uyd+lYwFN1m 3}9bcGDʛU؍[hRVhJ>*_)[ MGTGu֚zW ?Y<zc1z⃵V:o|SH#SpGX  Y1d"ItHG`Lm8O/^ }Q ?z6樻.RFsqI@[^٦iN8ۉETˢe<$n055_OS%ӆ8 ,оJn>}tfT18ˈD\0+jMVתBԏa[pBmvf4>8on2㼅[7XAYScƐ52t~q,t~w2y$8] kuK:R¦֏vmi5Yjrߥh>L啝S˙|my߂A_7,<`V$ doN=+cVWb`2DIGcW/I%||w[T .CKd G [϶13pkPdxw7%$ An7㰯4PUC'/tBotn"/0(pYv# {}^#k) N"BwKE޼4TT6m,?sTnF\)Hl>|eĊ#)q>dqՎ0C`,~1mckUB%t|kQRt/e7AVuyc 37jw$2!1{Ѿ Bݶ1| +(^`+¹X z Y1<Ewsh`&9`9n NQ%( MO~;AD3!$ɾ׊twDW (#i=BAF!i_D~+U4Jxz5J>,w!(A2`%\4E{%~AKNu8wpYíx5G%\.?UҤ#T,V hjȤhlĸ7콺 v)[<%$|W4ۉo,?o&@}l1Bw-rː\7/J &𔹔:&pB &B]aY#r:Si'aR|?j=aDz{.Lphynt& a #wQN6߾K)~PF7iQEATsCԒ Bigڼ;- 'h wZ˶Ѵe!p 9*J:33%_ XsLi bMU~ Ʈ+@")WW}Uwi7Z]ULٱ> ت2AzL%.ǗBvMGo)Ucα'=ŇĪmZ <|OF$@eeY C4y[ !,U똔ŠK%6; "wQݣS?!Nvڎ58ظUJ%wj3z#YɜI@Gň2U"W)j69]ؑ^}"4jIL$v3C?ԣؽ#c>75()jNlKZ,Ւ  J)9=#-o||2_ b \ 8)آ(~cVB'|r ]@u{} rz\3꾤Fʤ*?cF|p$hX՜3Cg4Љqwdc7 `ч>Z{XOFZ(1Lg*]LVJ/ !sWLoOǶx{,NPm9̏;4@#8B^Zڳ3Z. 4j[RۂC_Wʶ'z2>u֢c! MG^#B1U[B*oͶ{_0?G=+YcQhyBpXO1[BnMm+Uǂtl]ݿ%7TN&`|wCp9T漋궜Sh+szzB b 3a[M_}YpnD;Ĵt1(c^J"Ao^2bD۩VRvJ^!ShFb2XDIjNB^f7H>mbԨS>W7JX*+/Ah4v)uB}tz&ڰAŎó _鎔ڴo l|ʶ`zlje*ևUs`.!M.Os(KmMDCG!Oe!y:, Oyё7C-$faKLWmbq'@h}͎kA.hYh~8,nC5 %aIFtgTjs6`S7$=(O uد| Px*{[2OrmFn -ó:hZY{TC!&e'%<(alC/\lW?~ZF^֞U糸$xsxElI|[ri@O7`g/>,j, NZiޜ*e+ɶ9z7H&Wdzk]'_-jLJ"jssHdS GO}頿b>,I$.Ŏ4}g{O +_W#} VЌ mvqEomxgݟg={XJ( 2a u/4S#.n`.D2%Y>"#  0](jߡ 3B핷fi0Rb`T.l.f߁u|@8И<ᙯ9#榷`v2Iy҉%"M?˄bhƥO 5/xs eU?NY \c,1f&@TdR@PG6%}[Z4 ceLIvxn !knH$ {?P<+m.q;}}w#iX%d:gL)/fv˨.?(W5/wKx'O>W_ TE0A@_6.jDct%5@W/X:tNz_e0er\oKSxt!}sG D^)zBvk9wnCqn'>v(8 pj1J_%YƤ O j&zlrt&b 13J9ڵe;W!=/5VHcxuJWLUcָ&0apM?t T^n,-/W%nZ*⫍[kIiS h J}E^\iQI=+|UD$pL-OnahN48V́!],2Ž"<|G/t6~E\HYW%~&qˊ%zT۪!8dWKb:t,+%oB!?F09?vjcA!$wY0FX!p6&ȚrQ-p 8fH{6HI . )w췍We|rIuaF'/I0oOM]ˊzްKWC#'`ސRs 6'r:{%L ]g՗tږ0P8He+!f_P6F E!}"v>5o-X89OQ_a2kxiBZC> .Y4 18>)P8ݗYJ{*4]oF6e5r }<3O oA)PcyU4n&m4-$gZfY%!@=v61@ݪUaLɐ0KlwwԐ7b!VM&&+y@;y1_6 3KHJRP @A+^x69Ϛ.ޚUCteͻ|7 e/u]qGG"wǝr{ݦ:fv <%w;ζ-Uө]֝Z+Ovp r/yyh1E ogI*c&8EIa5;B*㡞g񳕴Z6_/,+\Cxmvg`;d^Wδռ;QnвCi^Ϩ7?H }?5+ y(77-m8VQ'B&?Fnxuۉ,Ŗ)Fw*)u0?>ӧy9߭5 2&lϥ^ X @ݞ${0 58p Q1J D ut}]=^oED-_P(?L_$\^MT.r\> ! o術H=~Jc|sO&o<Z~{!k/w]qʼn^:[{aCl@.<M=2(׽bN3Yw5w[ɴ9[zɣ̾5^O4?Jg4hDo뼀]7v Fq*" z1qn& rj۸M4PgϷ ,Mkz,I͐^xU>Cz>Ld0h<7۷Mg6eK/l`NuS0ۃ0GU+QopuzGX"27,Z=/pV8Z%Wwц4ig_7wu"&-AFD. O@gn#V=Yw V?Z RfT2CWOԶj\mG;i9$_=d9dR)vjE}ENco{`Z+lfCWtDWa@*gr xtWנV M"!<o#ݺjæqOg :2Wf7F{'t0í@]yMr&ȣ_|Yʋ6b.,Ț/@1Kod(Ys~Y!!艁<>ɻpMaC҅8EKHmS<ķфO` ɥRԈFr+ \cW![l?=?5+1Ӟt9S[!3\f?zDD<{ouV(su6 [Զi'¡P8կ>_5` ~ 9Z84#xӱ'ZcFV' ?vYzSwxځT=+N0 b@>A(S]T=zd#<\E}ϥIFgeA槈a{!`k2sPvKrdڳ]W@Pb\GCl>â Ts]p hNڔږqV{4Ď|֪t::qU l\lpݓ.;?C7VMpAU~zQr4V5} ;]gׄٶV=[7  \HC"aDž/9j P>7wH3{)˔ؐRLZS-tлѤ˃g-{ }|W(0:ybEăx%U.ܧB9.zμ ם> $ W\ulG\ȲG՜]w]C S%P*xDlv\ E[n J8ջכgߙlЄrҢBu2~8m+C!h\*U[(\82Q`UhVE *wΈz))A|~EIf`7eB^ϡ<=YDѥ{w^5.'CΧ~Kaװ(YSդ~Ho6B2hTzk*n%{{  a&(ppCzWn'zW\5֯q*-𕤾?Pa%J#feî+7 uėpmLdFVq{X^ssda-(u嚄WX-ЕMS"4l@9wYp5[2)%aI +)[EB(w1YI]Þ`A*jIJڴ{wZ?Qvn*/VE/utpU$s+8j ڂ`7NGRo4!J³vwOi8.OIxR u`(IZnHvdT˳l͵Dfm[%>2;1OZz?h_aH^z:wfmi\L5܆Rv@Ya@uNsv% I閛r| +5"d>i:XßnLDq'~@XІJu6}"!2[I b]94*8뇑:CUl?VK x{*~h яW֡2ྋUZ`I+ )VJe*2sr;&ދV7!0M9?Ca A:S7&g֌"xո=bJ)RgXsD՞wp6rW釞w)ַKVI틜)HUȝ¹2'׫H >t6-Nb[M 13`kH8lBT=L}?HV34^Njf.OOX\FaBT$ÂT5M!~(͛%X,.}A=`M6suh $'0eʹ$Q ^=n1C'bOxK-6sJ}Љ|i??"$*A~(F{I 5NC$o=w^ͿvQz^H,/CZT @@ѸWFm[<c(w%%Kyid778OY HFn%˚lsñ**.ls\ODEg(4E~i2rK1pML:^ a1u5YC?<\BΩg4 fMYmt#{He7U(Y۹giMti/ENI1N =`I>ØC,bqD HUaD/hF-eUpp^׳śMGV2,r~xy;+(l:I=b ]lTJܫrr0 k:sŴ~eCXa=.5\>)ӨkQ#<$i> ZkIN %[KdzD_2D sqY狹xH}V@M4|Xf^ӏ:1Y>_ޓAUʜhQRa⒍$tn~Edk&y1zMTvҘ-bТq7xy.+X"F1[6:5ӄիxؑ(U;B#ARV%96A@h.hQc΂ZE?@Nb]KS@ ;BE߄t/_6Pv2a+%c0i8'uU=$4j{l){:ݐ@hd~\[^Fj4~ ]MT=/ht%PMκ;1Px_!L@]֜]YhTwωFp 7l==mža~-⧣ce^̧ dS簓<83_] zȡ) 6RK}gT!cgPb~1ukzV_ ^˧y6>VdB!>`%x,~s!Ceļ4 ̉ZuSo u^ 4Ix Nmvoji s^[Nh~$ xK&r p