SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  - LT ]/ No_FTL_observers:threads=2elapsed=184.970cpu=209.680gc=6.984factor=1.137zXZִF! ,]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i>8k%xdDZ帔P).-+.thWLДܙfH RH KR9Mjn?I\.~7sj(_0Tchy=,C?PH@92pA|5}J~vJa-!R J^SǏ6/*L4y9 kV˯%) VHUCJP;*ju:[K.D(VeohKۮRƕP5y /%"aNl}jǻG–F͒KƄVk*q)~d(Tv]zޛWjmQ )Edلߣл6s^/٦^ 8IY/XE0sA!uʇE{Mx:m\B38\;N zf)U۬O2qaR־x7nC 8_CjG}96t(!|[ q K@-G N=Gr߅%? ~;YQ|Жusv E^WU:{G`f@ԗ]ϴ5ņ=naRڢK&O/LQt]o'fF2S@vo Y]=/\=݈ڪ[mp0[|cm;6>*Yd'hach9Ho Y[gYZ7zXZִF! :]ŗXiɟģGXCX>J2FOC38[:U܅̢1ƐrFKé9J`Kgl>l8O'=zy'p - No_FTL_observers w-=% No_FTL_observersNo_FTL_observers.SpecReldocument.tex7zXZִF! T]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!uO]$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`h e[R)P;80/-tchYK(,2+1BoF/XS6 ¨Gy_؀(uMOud_Hbx/z;[u?Xz:iW/>iXGgԄcPQzuvU<QLQHdrebݎ^5#ЁHJ8`c֛ο' ৓W&]ANel녚 l)$L|j8H4C]ۂN8.wXFN9C_8!q7!i,2*A0Y Vnf/?7wMPA s7#ZRV?łe]hy8m8c#o? bZSn@ɔ}p_5|︻h2i3Ԧ3el} 8_Y$S~PE oC` ( “v۫:+w~n,հI醱gYZ  ~ ~w-=% No_FTL_observersNo_FTL_observers.SpecReldocument.tex7zXZִF! T]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!uO(?`ʢJ +~f ]gvIdY6@'y ]OLVi8 u)WDE8-Y02fC0{ȻnVMf!=t&eKrTu@=VD͜8 =$[j:"D@I%2 ݍOh(`{&jI@[{DPfB|ąfҟ*j1ba)I\gK:YJDЛX托c+L?B6to 0@ m|ͥ ׂ%Ktb[3lϱgYZ2-;% |No_FTL_observersNo_FTL_observers.Axiomsdocument.tex7zXZִF! k 6]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 ~^`5"sL{w#l:T%9됭 >(D0#uVU[+ =D^0=+&|=p#94w)dݤxLFڄbRUapׂh>x^. &Ԧ*6ٕ&]mNYJ"1c{|&6 HRh-ZC?U'%l*P]b C|TX6w, o! ˨:H!Vzm,u`|i6`Zu 7&poI Ԝ&CSI}^hs|+T4-Y4iɏءT.h}q 0[|H"AGxk/v:?놞`r8 qGso/=bn[>BxkzW\eYgW-`;=p:Q |A꘰r3=1Pwb TDM#,i(@Dl2[7y~b!uǖFMׇ/".>Dۅ#\6Euxziu4 e }+R͐haB,b=Z:gYZ S5~ҭ*+E_D 6OE#Au4_TfZfT}ț|}Wn#AUTAXi%W38|K.+|#6DZBQ1mԪ$T>QpV\!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<С7{?a2djCb5N5. .f}%;la/CemUOy> 8&ŎCJ,#[bUjs&mO6Wz:2D)[c/)VEאn4/C}BFz&ǏB͍/%=,vnxKp^6+oSsiZ:ᙥ&)ِI!r:`Vx [|cFrT-eA f-30xYՎ\c]Ajn=Ec Kc Z#n ]<*Fl]WqޏH8~ ^ N o;eݭtBR0GFG^#KgKG2o:p"+']$¼#NueZ a2T#n8Mjj ّCNxCQQ Cz-/Glts8}mTl%IdSM)m˞3BnQ@Ho1_Η9 擇&bGXr3f αvRv9P"IX]+҃lS}Jߎi&4.}-@4-In E7AmuLTD|MmwS1埕#.^ _Hs?&- ddZ#xYvĢjgIRVAO ,&+c +f L+Z<{ >a& q(ޏڈЗZ)t Y!i=㿰K~;+S. վ6wzxۛ%mx'w7ؾq ƊC aPt@_Ů۵0j'. .| x])ǀ9"`,;;J8-lnXP< @2ypw>3ЇR,#qɎ_b}%rJaPMu_i(,hSt?t&pbe=k&s610<CN=WRʛW\o1*T"nbm2V`/4}Ekh0QA _Wٍ3_b_vÈՎp=u ;)d\^Kl0Of 9Iqk)E LC N?&f\N,Z[bPS]R 0;YUd=7{bSE,ڧuW#׬Ͻ@E8SYg`Mo3!{3]gs[>Os6 0 b-|K[˰&B[.X +<N+b"6([ls%GTp87uDRStN|QZ}zato|0V;>~B(#f81+M$.V~hLOKfځ#i^Vtj)mNɩT҉PYY,& Rq0Dp EZ&V2#MiJ~a`^`oͥDKӇ&"a-5G($glCqD$r}#h\}n)k+m^/]5`r&vA~.$D:Z˻ݹN|OR98Y<&X<jpdawF!}4[X[ܠZ5r)ut=Ja:8,/ARnvQDm#&(2ZB1o% s a#+߁b^u?\cz'j@?^zy4#/5L͚7Q>Ê!f 4\*cjGM7( GVp# \l?$^B굨R]`zqyc0|rb"RI׎5uf]dWή-T嗁;EVPSK&LQZ?0/rjev8s+J{{p/&7mDp=`.)^U^jOQ11?x$A[Ψ[ڂrv3P2 88\ug3ytDd2=jb)Kv8fӈ~0<1}3gXfM`";Cg&,|(iKKiy  ME/G>&H{@b~G $E8 z[gH2;1ud!XYc}bvy& p^BߟB=%i|'[>=E`F!FCU~?/pi_)=e|A19='o[39%a^cM??LѿŰ3}^(fk2kq6N>2񰽆h$ g!F3)ϮLH? -&4_/G ?"3w'\%ΰ(_3'չA["/j>~Σk*PѬ̈?Viĸ&H&ǃ M"U%qu&wK h2sB<>\p) (˝<8B[B!S@BqX\LwcЩ#v*) е3!vUa QTp)Άduo}rHm|dw$hc|رΆ1ěY0h X=^菉wWY@lKj'd@OD9'02U 0ODw<)VI[a +RXD&["v"=:6Wu")c ٖ݉B[RGm,AHƓdle:7OU1+,ܷuו(Jޜ%,0J@@@g$RhQF^HsFv>d 1s^vo2&rᢈR3UPB4;?&vNx2=:+EI*Sp4٩ڠ iԈmB&{ "qf2W)Ş u9iDęgW!s&9@NC[&|u םEd UVx"R;[KfS? 4b!d][6ac/P@0U VȑΟ.䦦;z/M8 VU4עj U7Lb' E(qh!_?N9!&o0?>ݤ0^w->E4Mߦili֮֡/!g@H˟6콗d6S;xu4hwSkӉm=8)BOғU^UdooZa ͺOQS~<_ 4@  JlVp,*d4cx;™Gj XѥK?k;/R,L0WvJs0hRgh4"B;8m捋b9 " hKi3r,Cڦ§ƈ'Jn1Hlt:I~FjXnL˘) ~h9jz.6atHpa0zNm;^܂w扐וU+E255fqކVZYEW0A0?އm9RFɣsl*7WԞVѡ 7H\4_ǮnMG4*CDP,ě2F|`K%z~)F8d\+b[n!Z%]#&o@4inT׊pԨfʞFme?'(ȅzߗ8kD7޾<g1c0E*(C?8x _7F%c(4gw_1hV_p/sb,412No~ֿk%kP+d)z limvQ4\H zsIq[hir  t]Qa' acd<\Ndp"nXm. y,0CS.I+hK Xx挍 sVeҐl,\0WƽPU]ȋ4ה7TAYi~ 1t[6r*V]J ʅ3_6_VMv촼 3p ?|3tS#zKh[d(K;T ɹ'F>gEۨƍSnpR?;wĖhOʒ3jEt)\3qb~x2˄?* TV=;$_MUEL̓+hc"ؗql{`ZtZCvoiZ]e6r G)sn{ *=?ГlϹ҅$a` ߌF64(jAȶ&XE&JzIȑ=f쯝"51}6@PDڔ3_Ǝv䀧(B閃R3~Eb#"ZIBfa3谈g%0uuvB\d7}ř)<>yD j%HUfe!'5 T sq/qU̶#1-TV;9Վ}ywMH{ɟ޶Nf,>2Kbn뛁E^fΈ8#h;^_^\w8~hb=ҜuKɌӌӫd>%op΄,sf9[ql# ELQVS@+0;b=MfsHx59l7'OMVx1(>XwQܸ:GPa]?ݕo݄,'M ;gF(bT`N&-LϐjUK+AoUMv_󎙡UDL@v%ΚOx"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]T ݊^f}iQ)&E9g =$r=K1s|F-jb{U (CT .GgYZ7zXZִF! |U]ŗXi%;N \Y8V5mΘ~^"EV*xE{hWm{V+1')QʮnN-]^q_dL!ջ/%zx[YnN>j1U%cG2mdU"! 2#/3 b-Ru 0#\֛F0#f) Em1̑r$EVM!澔 dH)N9tKs"f;`! ܂@/2mo$`*.w5ŽW? CoWR۝_=Y[}ؽ࿇x7!OP1Z|}|8Ǥ(2*fxi[MZ Rmgq$]P>3`ev՞7ӛ82c},p74U1GatY^TQSF>P`oiY/oTG+^T`]Y5VدO.;*c}-r"e L\ZnM55r gjy ՐVEK >N[\,ކMJwX}wO6;@Bw6}&@Չ Bv~钣|Y8]JC,/.jɼ\$7SGlh!4aޅ5HDf <X 8ַlWT*$*WI8Zgd7'V $V"Ð󟦧@<z5R?%'>ԊۍVTeʍJf ujI-XOT vV"ts<1]Ӟ]g`\eq@Nm. R$DbMj-_xC0 q%Dk{#5B[l^QV;;KGе/~:W7)Ͷ—ur^M)uhj6H lw3Gȼ2WlT؟IԘKxT 5l'[4@QQ>cI- w-> 7GBM5.%Tgc_IJ, S lZG: QfVXώ%&{\)sF H!9oT(RG6lBTdJ0| Vxz֊ EpH?Jg WaWf(^KBTs]r57I2'툯PRt!~1mo-q(]xc6o@lUӂV!"[ Mgb13IxhNGS1ۡCRm}TֲCmvsMC4}7j/[@<*b8;oE]ggu5jF>S&B5u{/#{KcXッy\zpV'٩&3mW^zjr.:hRR2D]_~d<툢r"v}Z;HMNGߌ:bMpTBջa{ cnP曲o{*"ܧ2MGФ9;6'{0v:U۱)#,\*Zl:wO_ U݂6紴t APbz)ғS|Y%AjCvzΓk*z.-姙 ndrc3@Y6V$[rXG=@pIWClv;8Mz,"Y.=k+ъjD=|K$b4>"ˢp>L@^3];bTkV3z߉Pz^MyrvvГgC'd~VKOwӔ,z.+=,M̤q.ljBd{Y4ƢcIH*P=s>a1N=ߍ ㇓Ur~D8WRU4+'\tAg` |vԧM}n60ɯy@u,F!꽁A3iC#@‡,!C𕔑%#Qڶ~Ek;/ACâ>z$*l7D04Lk;ڃϦ|~< ZXƬ+~cOKQ`] =f#򱂞p5CNNl&MIXRnB)ЉK*?\kň&y ìpa!D5J-:~l'Q.&#Zݵ;5Qe޹2)[]QOW7!BҲs! #tlzR BQ辅0S_kvU DLL6}Wlmj9}rq7Msd'̂-ҡmӀf+Hp>ƍu^,hZUQ{n{i2^Xh,ݱOyvWe]8 BG+^0D2kD(jVNƐ{H3|)//v)8'xM_c@]l.!jfPM`.H.FJZ$Wu=J)#ưoތ3tG(8[JKt$ 5!V#4iįc۹8etqT4ІvXˡ`^mZi(4θpBɨ^E2Dq5k rbli6V[:}!aSح^SXeةy ̑TCIUYLl<3!??h-̯Hj(`m&WR Q-(]E3G?JM55 ;ʽ7nP&Ŵ Xt~!B84l~1&W g(/V24H t) ߖsZ 4 0b![XLZ@ɪx̅7>2I1ۯA'nlm+1۫o߭`$n==}M8R_* XuwfGAQ{ccWg;ظ6_`Pq(ßKCJ +y5LWZ ۶>MC\E1 X$$2ї5yë(Շv~v(}'PqT=nW(ߩBDy`e1aW2Ft] a?Ԩi_e;U!\.?8my21Ov(ΐZfAOTj>q^3>ɶ jm߶q[6I12W/Oo^5VF"rIzik0qyhH+&h4GÍ`lŔ-ƕ%r'#gz0 2ek3\ t Yb/eXѠ O{*g/;,XERTͫ\3`GD6k0G$WӯeD삻IԵxO:aye"#-tUV%JvFp+M5M#[ʍu'裗K>D{3G])duJ3p)D$l/qWbѡ kGt7֭e*`7c:aſ[p.6 Cx=DoLzGKYZ[^kÌETp jBo`id{-at^`q6cڌ+vij-{LDK\krn TɊ}>7K&} jυ\jXm?*MS:]f8oKnzs%?kfꭻs 2P+@A".:Ž礪cRMwNJTgΟvJwRОf^矦s&8P-R_md ?Ċx϶ѱцL=fww pij #ܨ&(< wn۵p'Pa!Xt[ L1EMLu~cKhr8 RtxoN7w_d(]4<[եq׊?gř6 )!H?o{CL`$5kύd$G9*z/i,bGE=.Vp-5o ͳN-QJǗW:JYmk/)3YGrWVpuQc1&7\hw{SXtu]7sӭ !s~'jl$4tE%7&Ymq~߆$r*6B "#&@'=d A 򯜐fEKIC|VOhXIpŬv]F1MQ6X s{$ӿht\Al:KR7@`52$TG382ޘ׵t!~|>s =85ũZ? y͘ޝh}R tqk.`%ؔ]Pp@+͗5b'Jn$Z= ޖLTu0I9[#kdk dnn|1#]nxަ*X_ceC1~mةܸp:Xos_@?PB_:۔JkIQ@Nܾ4DI  A{' KqQDz.xaدw ڙr@tl:&-+P_k4JDFeZG~Rr`m"PͱFU6U{QN0iĸՎwv@677up5rn|f=e.Q>dTTeFs5Ney-x =b5%EGMh[,*VsT+ÿ@PG$tbB; W;)A L#0Y9pKn2ӆ F9Dvt`!yd}m]9?ʣ]VQ&&ڤ8(8=JD$&ج8dst+vS[F֖Ɂ4 g8[U kad ۹0絬}gm.TaZ&;> hd^NKْ19f-I?T;C@Sf*eYޫ2igAB&N7bϓJ JDLJ(+eQ(f %Yx38#g7YM-Y7k.MCO1w͹j#iDGޜ4pfm xŮȦn;|Y`c:V=/I"'+g:u$gL('"C;/Oۛa ] 5s_7<wGU-ٯdL^SYSf-T#k} i9i7:Ro7j %Oe^)ҍo$ ɢk1_4S10߼jj?"@n1ɯy9*Z H=Ȱ괧Oe}A\nTg6ڋ;O5xBD pdOsևv6P0g~$I -zH1tyooz[D' rա fp@c]ts WIgEϗw}z,QXgS~{NyD3X(pIeeNeVdJ61I2,O@BNBņMLGەBY= `Om8ꄽ Ku+񞍿<B5r~A#3L k ښ{T\lZ~a38sȄ|m5Vl:q(+~׊f4.6BTGs!NxE<0÷xs8#ףDZ %3B:k]$x:̠ ֙E%:Yé3[+ Y#NxE)1P^TRѡ5 $-`sJ{2+;ߨO:X$ꖈfgwBZio@`)c̑DՍ3+F ga xwvݗ(@lj֯aJ2Ge|D3l>cWF#tLP^(^Co~l|b~l|ԅG @oڟ0-pC|!FS J)pyzlF{#Odsj|AXWl/~2wnDEDÌ7$=(AH`u:ZSS}ƿ'bk'>FuE!!ڵVA&=*3j/;bD)n?A8e RA9kԘt{*OslN:l(Aqx' Irk΋Btf:Y˶àl b ҿ2O7KxI= M>gYZ23b1496c8c747dfc2d53be708a688128548ab3351478cd8cbae6c2903ff8b7580a1b47a0f1487a38 aa8d72250be55f6a4c5e37b817be58eab22b8e4e