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  -x L\ ]/ No_FTL_observers:threads=4elapsed=236.204cpu=272.752gc=4.5687zXZִF! 7~]ŗXiɟO}M:; At~ȼ|'쩀ŭ_df1 4F TsNLW6e=Ӌ⣠uY# NѦO 3/:`ax4wb,C[99ݔ-0U| )EleJʲ`[ܿ=`wT'v" = ^Zf-[[й0/îR_=˼)FHtuXà/@ Et:-$9t3ʌ$RB_˲f9(4j]r=`Ll띢pP.Q˳2Onfo?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 d)\mHy뚧*Fn@Yv0""yYlb)tQ@[x2,;u΂X\  n'bgYZ7zXZִF! >]ŗXiɟģGXCX>J2FOC38[:=aן8UM̸c)]:Ñj? 's}2NNݖfMhxVb Wޏg% ʩAB(jc7ݱ8CyȱgYZ7zXZִF! Gc=]ŗXi%BzMM2]Rbӡ}\(" Igm7\^E}ΤI;/d싄- /IkP[GO: w`sf(x &bU 6HZ˦*FY8/rA/6W(@T캑|<{ /ӴMb옎TڸFRLM7~јl=Zޭ&D$ 4E!kgf7\6S %ٖ>}nX)hco:tMi4#K&tjo]j(`gg< ,KUCƕ뛛yW~J$$~w~r]b1'oqG a;PXK]?:|/r hJ8JHY֩Pؑ{)ȼYL@ꙩ5pۗ?D}lw$lwmjYߏ?Xߟⴇ;z=/фԬ%%n~e ElzXo\Srlv^#gA<Ѿ_ ' ĕj HPI"H}1G)(S=:;A 5?]/dU>D3,){L@8$̇<0깙WOLx>÷%UM$CQzOvT8=D;:NnFym6_[FS0 D?^8bUI7y} acC^ >a)&gnkI*\{aތ m,- }rd`I,Fa`)щRh_Gvd3u}L _ި)JօؙD6 S^-7ڝek5kfߠ`dmQRsxK?R1Hm^[7ݮ3:~63:k\>27";Aּ ǻ֑d4TQJN-:ŜU:tm ք0dE"QWM<`|U-ݎփYad6_RW3 `-$7TP?*e^zuB0+F.A,,0C[W''0?p#$q6ミ{/>zUXqו\- I<;J dDSoDlgI M?=wZ@֭$f ٔt``ns2,zV"R"3 #r#KAt5p cL8I /lZ 8Y 4zI)1+K|%Hmv4+NV~b YI %YbEK7F:];]F)! \d r 3l^Q胶LD*Οzpm},035cK zvz32ηQIN- 4ݾX"2f?:W>T9OKZ/lQ@LLd|0c, <^SZJeiݚ+Wt s?f qQs>?PV>3U@O5G5yŎkѱ*=JPmJDD$EЉEէN&c>[q.Ln~?u _.[w~\v5,wnLwƚݰByC5 iVk\t0>~r +NR? E(WKvWfWM1탲E{ 08ϋIB6U}}C}0~A7)*״F]d/amsVj u˫'Œ<98=#= y7}9ҕ'mLw.XJ-'uÿɳ0~ <ޑp2D+ \o])?dLI ҡo6e_$eS?YHC@9ž/LʪNSD~2ף O:Q꯽i౿+$5R>~!׀G~2C͸9RC] 1"Gͧ\M ºBe;ZXic~4#M0zS0dye6-&SY+ɠFoS& ٿHy~$T $gq~ E+ɡKd`ہK(r*Z*}{Vq}YPqwAt% Fu?t[t [AMaw n})c $f܁q&(>\*@sǭOOcOHUjQd-83쌪7#6vs[DۿOC-\#6,;Cz;Rs'4oN8ݟХjuio܄3닧R0"Z^LurɎ6`k!b:[UD~6;C4ZFVԔulͻsv}fOE$Cلi w./FltL7(\4CIꭄkHTOQl^cHѶlKܜ9J͚UO:` S&C)uC⇶ȆCGnٹn0\#Iİa\ IJnv߻DTd*@K6yŧL2gpq"ql5eBZ)LDudmNCJ+;Zgs Fɿtٵuф-a_ifѹQqq-~tw)A0ňtlr%+^}ϿZiaeC8VIQňsb*HNNVwN8D.( X3/R6kdZ*;Z*u6>ic{kQ3 .p8o]¤MdJL\r<1MX.ۋiQLKDжOk -:/n+T,9\?)4.PO qe[UZ@ =I<튷=r*Hb_=D>R wu}D O#8-Y!H">:e^cQtRgoL@ٵ,mm|xQG*Zk/[nUO@r?WU~S]p}O'SA~ zV8׎һR[nFl-[Kmt.zGrގ`OĪ_7{fD'7՗Ƙv'j6>%QI&`G1I "-<339R暭Ji+`KIRVQ*m%RI/PփWryݝ_5 Pp` :`Z?8OGcfˬ `cۜ=ۧj&{9T0L\s>?vu&p#[Y@YU,/ uVw [/ 0|N#tB6D ,L{{/u pE ˳d/UYQ ȢeqYߔ38oySJ+7[ {QpjJ1Sl47C! [Կt;xxmd mK7ѥzۏ»} Y1&o.-Ɂuګ(PO8J=a6Hzι6vHňFwSed@Dx I1['Hqԫgi>u5ɱ**}-G7T50KmbKj?dv)dƁ%@".HZ k]k6=r^mҫ7k/ XNrf,9p(=>B2￙r{kάF~?#l+mzZwYπV$7<OыyUaʬqHRe nͻcsۏ+U=6Y-wE N+6҆p۩צZ ^ UUOd,:OgDX4+:Y+K,Rƛ8A'Ј2c`SEu1xm͑ ::y|}<ʐߩڽN1 l}]7vX"B{+[rq wYRF[eU: pF4.-̶ɖ6Uj`NXE<ўX!Z*xi%w^Ri6FQvSxiJ>\Wإ!_ DEb S]m U$3b[WF2R!nr iǰ;bH#Nl0#BGx򂈢b V.Iy.i뛄# 3^~Q7#xu24 -X <3 f")Sݲ0!ouz˃3V\3їx=Y* h&`O f9GD"|끃^*U u:eVJ2GnF5900N}3*хc SDȶ( 5މt 7IuP2Y`8Crd1D~G [INq@{`6A 60s88L(0e{x<=UO/dt/l;LCM(*mNf'T_dڰgw>˂MtNF!:4CW%Hí<XKtZ$P{?#sP9uf)w[ bD^=|.*sMa dۜ~^d]Bv0e]|3Co_?jzq|Y$LÐ>UDmɬ0hˇO"I:6b-J 7x-s .%}y6y+8DܜǏo@zZ\XꖙRҡ8r5NegҜT J WiT?_A&eOw_K7|Ba3&¶@{PWΪ䗞BPu=:PKQi3 q U˦(A%l6-ϥ_S 'jOr hWu3!(q#BDl_6'Ʒ-/tO^,\[ FHiù࣍ug3/Zfن|1L?fOyV.O~8O/* |9?}q){o&ݥ RqE3Tҧj5F6@ad <蝎R(`!ΘX5f"B L O x`kDYkbIf?0cY0s Xd-;@՜& hM:- [i1D<:yn`d!Q˵%8{Kpg:r),CN ^|.(*2= 0abIAWΗ5%Ee&+|l@C'{G -4IcFs xW(] pw62}s/ ٨mVf`{b wέ1 8Ѝ63ix46ި5 In\5J[xT4ěQ_PZgO=>"EN~R3uNJhu~놀;<:,E-O_ X;z )1rҸ~Il|׻E*#c?(ݥ l{0r}]`ho;996]NA ('/^f޻|ELp-mJĴ$">)>D׃( t:,7.>Q6@ߍ "Hitʄ\+HIat <@{ r}PUY*q>cDE֜-}~9wUa0{W|foҧџl K8]L:=R]g.4)7hn~E}]?Z`^|Eh7Ie +r7kwbo5yK&U6\dz-;SݘRdlѭlgFZ)f@Ug+v;=I)*e̎<)X 1Vllοk#$|1?2bK KEBl "{LdChUP+IJJʼnXaJ%6; bj'WdXCO;b^\PxQ|1T o1 A9^l<Ԉ6-Y0́}";(+91<]QWw<q[K7J"zZԅO3 vBޫ^O>W܂@qW鵈ju&._iE#*zm$#;s45U86nn[hټbDޠ T.ۏJBxXKFEn\%m5ؗpe#CwT*gvϩ~b-Bx.blKxSHtb[tsi #p^y,ROۋ2JyZ4zt:T- ) ]rԅr>DH+l}~w+Kq. 8wn@P֒7)~E&yv2¤߿1. {|WlKUCN"toe_ov fEwF;B&/xa[knK=pf)æ/QK@ C-f 02"w$sښ'/ T \%6C}y$tv/Ι(ֻG>UUԻbRl n2F ^ҭǙT밲n%3MQ 8u( IBw>JK֎~n8\S>Nc/;WeN =1!æl#-u|9Utb>Yc4C.3JϨ$rGUc+9 $XY d(ʼnOByϛ_![o]XqWig*."MNe-kjcHAM'F.1/taBe莵ttMJ>f%vW^)_xa-qyz7&lirho)Wl N5OqlpMJ #`Fe0m97n4m!ԜTL"6B,U#z޽J Mn9Q+y.YsDiw%tϧ(%VX=/tc6ؚVhfEw> wK9GN>bxEX';d'uHe&%T_͊ܰ8I&z4bT3aG$8p%(47 G磉1-Kje`n5j$iI0\)P0(Bb5W16Tx=BГ_?J3MfgM3,[ 1 EmFP7 N)LTtlr'ɍ|w4]'9s#3Vnz:Q+&:rk0iWL*߲[=Np2 okfX^H:CFcf=Pbo6 ŀ'3bUf$d(D@Mcq3T!,m}- ;LRBDZJ! ogBw[ Ly:HB9 8|8T0Ʌ=M8#@<#g3${_,3qKh*\oיFTC\kj*Kz0bdjG}ʆ"8.. tGmU29&MYxG7Stul+b>+ԒEMZx0'7(Rvz2ίѬr 411à2x02>xUwg%|*{rs@w4y6Į~pHZnY/ Mj9cT2h1BTN'yW{,E<k}~] %2Y[`Oؐi1z :s0?AW1^bjm,߄c@m`sD\ӲX\@3Bn5zzЄ{svt3W # V*oVFgrè|Ҁ@7$nQ,mz@,*ߠֿKƭ@J֙n+GcOHaLMZFKӉ{ݟ@ʪFQܘJ4(&7G^^sD"0c xuig $;1_OEFSE`ZLRF+rҟLO У z/k k}lN;f!*Vw\ UJMPzX!Y2HaBf^ C -A ;/>MOif\*K< Ql(Oۢ$LIs`6Ӎ26߃ W=?Xcs@$@an~۱cYh~m.=5#1rيUj-ϡ..``ٴiY4JM-]k Xr}ʐ Aܶ^lp;Vޖ#Ёo)B1|E;igoΚy./I u/7ED @Q۳1PO!&Л{ JŵaD QЋB326UJQOZ:r߭ Ԃ~gVuFirO|e;H*uh(d1L?jɵFB4}P3X Ÿ: [ cf`s_fnI]t1^YhXȧ+usr 8,bb v^t3˴ 8l\w H)l>ڎm${ݧ[a7_ve䉗"msĴmYf^%S8<>%Jli*:ݭ^g#!cgbJ1e ^reְXAxN0rϟNTP4!RyO6%J@Z uќ\.IݳG 4:z֔hM lV6zvw}A5!{6dKmCbRNMG\_HICb4t\+v (|^nu2-hy| ‹Mq##`>BZ%~(kc7v4z+ xNT+ A#) 븾9}[m&9N((}55 EݐoP\i'7}L9NsC_Hʸ8Vݱۅt8"8^Q0Kφ Vw]@O\$@rx!B<٦%}R*q "T. XKj ]>t=77ͽ b{GqّSXs^$n`b+@)P+3J H%Hڭ_h!_jsdGQsa9unH3AahKb2EN,a)DVEֻzǹ5t`Q=,61[}sZ=3/blXF,njU:!5{B-t98*PB^ ce.R2ϟ+}/:sLӥ]@ qt%f:1`@- ,26~n);F\H;+% M.*S?kRg*Br@D4Egw]88͓vbbK%-h>S"ڼ/B;<97fعf"NAo۝X|*k&p6l} ڈS/є/D5cQussqύnr;?=whl`h&Q S>C0^q"V!G}h&P.-*7_'s9U9 UjGb %⩼*Ixa 4hfܷ9e`]4=={ʰ`=c4ƆDK)\詰ӭp0ע [B9DK__ȥđkZw$mz䏤&MʶM3~!Y| Uy"'޼[fi^L!#sCF!qp gȐAp4u&R5੥jqNA*S$Jp8rLιwW;3:XJb) Ngi" %B``tewׇoxw]zZ;Y*%lhUE18{{NOHiL뛗Vl%(sb59gbonx*gic_a*Hzt\Q0 4gI8*3V- i_>yF9[݉lGw|:rش{s7G6g(+?e#tP`uhCش* 훛d{ըSу[ ;Iv{\HT0273L/!֊!]0YF}mHYH${L("AFPRMJpVp`O!(ʴ0\#g *! \]E\7i$5,SA57P3qVɔp$|b"_7Vh#߀jՙ8",2 l>.8^TL\wrH/fubyBa@3tYc]h$>(UU8 _ƔqP-߯H,Fm\e!Φc?Ǎ,B!o|>GaֺOA+V>d>*I ƣ0l@35qdJ X 1NƮ;ᗬHv Iɍ 8Tsdr^c^,D a!C;!;a٢%j*O'W Z]f"9T`6]-Eg遍7?VkO KlB1T} i]p,[ qDi2I<_Va0l*QhKQU1Z+Nm2=Ȝx'mLRLwJ: zZ8*?:gKzv^s[xTdG$ߞu͵5F͗FuDpl5ځ-Wj.8Ѐ7*Q3R1sISH([w9lUk$^:U%A{QM;y` oj/iN*RjVm7MĹfsqsH(%sWDΟ$A}חcN@[nvW1UZԞk" ~A;%aZ"57Fn$~eCG' {7~p|[As\j @P6vpD Fd^gN=r\ᑯl)8?$ c~zjozhL澐#.663wO:htFKI5C%R|HL(-MǠ-+\x56;sQe^xc7-C`BmO'xO_ ^ה)b*zm.[ +j]IB0_jg}~۫xD 0psAlNժ'[= ķ|Xŧ$ak%& NI=SasUkY4M%tr@;ގ="Żh(^6R{0Zw=DMV'Nbp RPz"&DJxmMol@fb'_Y%1[E`Ҹcl>OY#Z *_¥{j"?D0J*#1ץ"텉 EoA{>JCTW+G w@yn.l2]hXA\3xV(ʎԁ7xG5x0OѹZǬIy:*^>%)cu^iZ,6"3PBw;y뺍,6|)6|j8!d E#ǝo-PVZ1? s!.ȏ>i|cQ3D[5?C|1j )gYZ611bdb3787cd97ad65707f9139caa82cbe4beabf96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49