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  h-xTT, ]/ No_FTL_observers:threads=4elapsed=234.525cpu=269.188gc=4.5207zXZִF! 2]ŗXiɟA5qbh,6´@k92&h~ VU&ElPHyU,ϣ;4֙"pdaI cPldˊD)M6vL(yGx/Pn/6v`';; %ijku^}~NicN4b,)Bק{D0.. ;H(y-UY\X,}x*bChz t҉(4G'?"?g(,!՗gɩY 7VG-@[x:d”cbv-tk?-I Fhݏ!>5}:´!|~}~O}>vp_򲙠֖mqt+lchpCҊ.M-$>t-{m=@2W#pV! T CM5l})u Z@(4ݭ3"\9K%2HTCO@Af 4Ju>I z;{l<WN2Ľ/i؋dB!޼so}RB?DA_?bYU˂byw[sg(cQk3Uļ"YBj^z.?oKu[Ɲ@zjrm_?Y6cK3F[2o7ȫ L'v)Ǜ㯜ʟ*Vh# SAdW\=+&kw2NhZ4x%MΫ F}z^繍!cfjIb/P Kbu^gy%Тt\>3{9XXa,]ʺfD:|}?ߺ̓+K |% ǛGq)['":'YM]DkI@Et5x~̀jEboALѼw XcijS_ ,E/'QT=騒*AoHy - 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 j1ҽ<܈x qlJ'%sgnlQ$K`fзlxD މr p<5t 7Wg3W}〨[wIV0!&TLvѶzdn>nGM-j eR}ڱgYZ7zXZִF! ?]ŗXiɟģGXCX>J2FOC38[:PLWkF6)cIN n$J(?%:=ws]ۖmǐυvǝv!dr*Af%] e?7.gqf``gYZ7zXZִF! A=]ŗXi%D60}ſ!\p,vC08|qUs^e&s0rD󐐙a,/(:+}Ei2 m,%ż|ps=hH/{, n˂ڼCtHG_qIصϾ@P0?fڡ*psͭ q2iG;!?IVs_:;H@TΑ Ⱥ_֔E.)\DǢ3R\l6EvaXi X(`$;R[=o3jo3;rOh5׻jkB!F o0v2cgpf_DY-4[2pC ^"7b,$={{֧תidGP~5!Pp DPϋ־^/}"6{Efm'/Ozl{՛|#/VxaJF'(aJ.6)1=$Z佔rz޼36)1G3Eɘ$Yg=͡V@Z^Ϻ,Zc㢼+Thj󚩚LjRQS2Q2?̙L_D@51kX ޱT<kH=vc&LnD,@.)bH _ij4>W~#p Fh88`!kRNZՠw"'?"$[{eutK\>Ň-Z.7z g ^m/5| !ZF/==ֻĠ&Nf$Q4@ƭ:~JawLV/j4tgG'PՠQҒ&.S<ҁj߫8gptӕ 'x2=ų&~ K7W )fiY~bq "}8f :;hogpպyO`ObWsB\:__%_-GEm4db6r5 !ZҊ,Rn #lGVLY>T>1>}Ԭb-Xbu2i>EnD,&*}53z?fxކ˴\Gܷ i_1Yc{.Ž^,ք'4N]5 tI%Z͆N5Xrfis /K.VE4 Ċcrlxyk =.,\c3ȋǤ4GT-Ӹ <67R6IxC |oB"@+iDf%T/:&B4[ -kVwEʿf)1mCOu6 # FHbD+4KV`?;#, =<1,\32vp!L{?1|*kLp8]4Z5~C!#el S~kU›ŀ=1dtrg /sM}Ck)גM_ +1i)SeMF.7aF a_ջe @5B7CCgYYxYkfS2x@%vSz 0`hy ˮShi\2Q`#&[qsҦ i{?o8nA5U 8M7+zޫ Duㄙ YūʅfkZ/:z7?rq%s=<'KoR8V= 鈬բü^ݰ;E%WD&&~'~R"2pW-mHEی!$su/{A%)ARmM.=7o^U5Upu~P0 ݋+՛7XMbZnt(UXЁ3Zy'hR̰_k`RȦּK1Pp?񧞌=P6oLj*$b(KpM:h)M1<8"׭}5y?OOA1|x]_S[XdIPT-vB.D} bc45(=ٽjc,iӚ'79IK27M-*2 ~uaZb+ QJ7s tf=7.ϓr+\)6پ/+t-|f=YOCS{XIBAmfCi c%a<jkWaL%D´}ƬGk"Kmũ:wFhYIJ$*M!fQ1QU?"[KwV$]gNDBG7GkeA" P).d?6#פtyR$ABvz ->4 Pz>~n~-ays#J3*ŀ\X+=[€0LAR\+]yN2c=EQք|EW4jo"3 w>B)2\u%7E&V0S9%!F[h4au:ʽv 4zwL>Y|% edr>-i3,-bJ1oNm* 0; f۝G$갍,*#s4BP? R$=m13)1gnp 3HEb8 E=: 35mIs-ps!/nm)f$E1 ¬bg֝Pv!^N{ *;E+zc[ANKZx1HLrC*#4jͮ<JҨhQ%YEq%rpW,-Z!Fx1/l5\wXw2&^ 8b{i?3-be+tŎƨzcT,b*~Wʌc^ҷ]i=+14VQՇ?ʀ6 #*9iVĠ;- ub)e'|*x0BD:893ԼK +?0UvY%5"5X/Ǻ ő!TOY񦷙>|@m!D/2[:S v*"9/@ZxCiʹRzWhf?Y8 J{ JK:iiMӃxb h{֔26;Ȝ>n+T`D5i"۶lO}nOPe$Efn)=s lwMGhV}3[;` GZ F^H5"I߂{;í[9쯬0JJ#T'(fТǐ:1gi{Gv pCEc#/Ύ=f'xtPR1[8ی2Tb#l)yMǭHV^f4(wF Aܭ6 &Hu_rBL6Od>mBZt8.n} ;-ʹ| ;W\W9)Jͬ8emEy?6SWH=9*,̑&91Z6;fdZj)5COroTb e:qwLO=XT4?bjERhۛ/$\qW&㾞{5^*_J,6jA}m~9PR_r眱$u{2/w Z)83*b_@s&3d#Fr@!!gWlt 74ƽN^k++!TPtCs1I@ҿN &J9rvy^ᕭeS֬c//xK);KREjrH#K _ _A|eak:6R߸FE#s!W+PvujX&U_}B5΀%qE\q7 /30=Ky`CĥA=Ԕ=jDc 'ټ7ɽoުx@G]MA"Fo2Js{5vWLH[f 8/::EULY%o/O{ӭt'$$x2!ǞEp&z<-R<N:xkzɊ߁ۓrVS8rbUOPe"Xb #dCt !r;.3XgMg |h>`>0Ӝ|ƼHtjt̶Bc& u-2ݏU YjA"kVU&QxַChJ-a`FHDia`@`Yk9,*^Ky"ƥZ1[hW]silwH^swSeF`,<skG-DA}k&^01+W_7Ldͷ^Y)3#IN%q= jĆ+y6YUo*  0+S=zA># 6/g[8PBU f:Z&`fC^VzQW4G* \WSj6:0b7G`?)kp{Si<3k!WMdY0gϥ(Z[yoiTYyThz}VkO:i d3K5;#wToKx#C<YNJ~${$@ϬiGǓKcPnFuzk#oLqˮh%?tx_ҧ:ukBjܜ?댼 >aS5jf:jT@!yū|Oٵi}BK_ 慗 OOI O7|KrThEĺ|{}%DQ2lX>`$d(z=+ġ+k{ZXrukVKN<ʷc_GFnxLYlꆶup%rP0GtbX,:!p8$VBo?njZO%n]I'ިyfM_K7&x̦V( mG߼G۞"җ/ƃI񺎛n[TQ/(+֎ uve4/J=u{Crv>@a twh׸]PI'4ds ӞH X5!0A+"Aen)v'թ{ʋr61Ҹ0M!BzA/8/(g5_a E/xwGtRq (7=xiM"ޖkjwҺLݸg""40_)]A79yzq\U?4q{*T/ݐ+y͡YNr5F/ Sy_s Bhe9,F78NJ9&o{C٘4F<X(w:QUS֤-l'EQO |r:4wX]K~_3y'bC(E8_0^/B+4P`JDmCc zdT; 88N&'BxPTg  xsZ-ɬ4cM/N_Y긫Xį@*rOېnT_ )C @l-Inv^*S[A}C *Wk&2Xϩ*$D'Ot|8T0:Uc,Jmٻ,w\Hex3e9i(%7o|c+rd P_[rXVJux2W+@!BaS_kN*zɸƛ) ~ x=&v/٢G!S# φ%<7|iֳoaXHUի%xiFK`$dpo %[P%tKF׌mV^/wݝtT V)KPFr^> CɾR3x/M$+몤KOrڞdzӼ&C`iFV6cbp,t~lcw2Lcɣh(]if*t׳r+f^n`@6Bmӊ7ҧYC+҆7p¾Yw!xI\na}mZ7J`N ļn}d7Mg8'=eh~~Yo]SE ٨+ vr;0I P}Y/p۴Z0-П|_zn[ Izt4;DF\< Cj.x JߙřzԮ7 , ~UJa'QsnýE蔹Ld)_ࣀ%c7bjIg~Τ\Xwb_ 9eyv G=Dl\ww]̡+f'WXfu:8)}p{U|wyWiQ3Jj[hl ~$ x=AzpROYo2z/tb@jES8n]ˁ9-V|Pl̨D*ZQej-W槎`g[b`lp#uAe BR.ZFO-'' ĆݽYsz{;M)x#~y||LkM]NXȲM:fXzr_CWƫC āt)@rp61ujGk9Ć"sXo\&J *{uLI,3mSqY#g+="y)#ԇP[B!GUlFGt>](0@+2!Bd\kꢤtL(K!YԡR'VeP98W:y xT]-Jό dgqf\k"Raiq%h[ KStoQ0&³@s2}#x*4|5;Ch[5ho)#jL TcJ*] 'Ƣ*^ÑChIf^@'3)d.a NioQ?~8 <½_OI fĿF- %6ʋN-^_" '8כD7lͦBH4ۦ6%oNh=;o [84yJ$M8bp }1JLd|.g2h'ʓ}wը'Az>̙#MӘw6-..Iq,t“C,2ݵcLu[ۡJU(QRN"b/jvSSj[9YJOnl n !~,T+uVBC&kcLD<w{wY|z ߾-poNm'ZH8~tV1 .1S<~H;(~!,f*detBETE9q5lH'=8Mk0~Zi㿶0|ƌ+@'V2QA5qxF'8;k*uL7"'>8Z.CSb⿪tl al1dlK|6(?R+{޹" !QnQ2e}o=UBu-}*7YwJE7fubs^K}!iv6'dXIIV4}+s^pP4Cn7&BCk@ 7Zf qazp=}FEƣo4A:N@5kX@i, AnCޑw9y2dg奓pi$PWϠvVdum,,5 &RHF2g%QnT yHs|eP4 lY{Qmz` +J[s @h\jGENmX(dwh' 1!!L}FrDx5 0L:bW,' JnJ[ -O+؈KҢmb ;C$`ln'LHiY"@Q1:Y\H E褃.Ĝw.Wo'{ |4Mp7|MV|PϾF&W\X'=qLee *wW@Ɯθd4{*>Bgw.?BN6X2(\ixZ5^y- T,Gt&5wC0?sTyC;Q1{6dAdF\j.}_&8B * m|t{j8JO$f#N8xǛ.rRn2_0$v7 jo'8c6-üb Kvɞ͘P_LPl 5@4>A+]S [|d"ʶt596ctjȚHp(RwЌlBP˦Tbl ("HoZ8j"К H MD)$BVtsf^3Jk|2:)2"LX!{fI֏IzfŒ|_.b154㢨DVS"VJ-Û>ЃN+ )VMg_楫 ؀FxҲ60P~&׈b3,$򳘚u;> _F=B."sܠ=?3hY(/ OiZ՘ն?A__. __4ms .``J*})s6=fVjz>hHEfT,^ 'O˪sɷ ;9湡T_b˅M ik'FĘƆ4%GK9I 7lJl֘|KHJ#0TqW-xW"<ʻ≫1Zv{[!Qq#qceN_w1.8s?8rH6Ax$3ZOmAҤv@Z׋#;s [ o&¬^OY^].h V̊fWpZ(H)wEL!1c)It6=s-4zdiܔ&6!Ebus"$_7뮺w"uc-2Pk+`9g 2X* 6_Awc(MzQFLIB]rޗC(':]wHz/M?kt@Fί#q0PYS g6c%XN|"[4A/ |fP'|G-\ieh܇ARoP{ZN.#Wd4G;"DAx/%MeQ9V;8}T|MH6wB0&@ziN?c'}^n09'2vqp }H2dY4Km qk F45gK<qS1m.aoSKhAů?볽3< '>ջ 햪|ì rx' ƅ~SG΋~ꁶ;Kq/GH wH:v)͐}y9 kř/&Us0##55 %'h@~͌.b_duMgtϥhJ{=n̈!s@ߗ3pmĠt@Q(nl?H) *%`f1 N.>`BaU4*r4M A3 ~&O)L9ȝK6'O6ߗ5U¶/Eke> RPEdsx#ڢ7dg\6Tˠ#Su#/K;tˆ~ս|hB HٿDlNwPxȎ?"R4:Uy:ӵ%Λˈ^]wq޳ih'\:h(ۀ6 $7lԢRCD 2l(ƹv{JQJF)h|N@mFTjP/߶'T[˫y+43QrI|SŸ51X[=,#~8K?Sx.u92V_{4]nOM&juq`h L0Zu[kP*wBך.#V8p6JKYDEz Lpu>O.}1s\BNYCPk'H_35tõ麱3m͙ASIaRD;HVb+zO$g?Fܥw n3x٪@v({6q؏ܤ>tqYrG)اWݸ5[晋٥(Ėz=I|D_?B<,hb.Y *{ '@Tk[ӯМ F윲Li]eU%[esT? K)-~wȧ5zY,M W{Hpq K{G^ӳг*Y֗r1!4+Q#FO<Õ1[#3z{KV֡K%^\PT;@GK^ Zz'@b=nhNV7\J@`)wKzL+X]9pc#{ ljwOt92/jX([E(6eYEuKy@!ilzML~p COR Z|V2%W\CG"F*9-]%`m|\VU6,WnFW0TEoV<16*4*A]+3/D<EXCO_;h.Qۊv lKh=JR OwLE7Ad0EET*=F3MV{u)"S`lB cR޴Ǫ .=;r;/w%֞Ahֿ Ӻc{.]&NĊ܋Com_K+v]NU_| IW<2PMCZ~n?HyV::_u0YaVSi*ƭRŒe'ޢiLJy=ϽsDE}KqutӐ͈ tQީI8>qZ5]ח1TVSt%EYC!2=K{ 3H6C3կ`u8TfvYTɐ@nCBӚP!a0LS?Mn-i܅[j53Vo*Pt>sBG4w#Ri{,KJ"p,E@d{KgYZa3c3e168e6990b2d2e25506ecba635cdf054b542c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a