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 P!l ]]]HOL-Proofs:threads=6elapsed=634.751cpu=1506.552gc=259.140factor=2.377zXZִF! f]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZ] W4<B(=URDmCO}ÿ,`S8n4 Ik2wDZxoX4=LD Cp֛v8t8Er8E2x] y0m>ߘieeGѤ,?St_%QGCʼ0h\gSƆ$1`ZXEHjٚbBNJ^)"J @NbW3;ӻ>:qTn~9c&7íGq*oZ)l1>sFĸ.Mzu5spũɶD_}r2qQs|HW4 ?P# Vp5ZQjӝїu:\ |Fr%w܀mSV1- ! Crl^mv;T&\QxB^eh]DAzK6tGy8 Ҩͪd@LR)wCw/ssh>P_08J4Ņ]irڝ/aw@azbrŠh 39]˲hRRyD>o'ESoRB̤S//uDWk4f0 M7F3@8 25Jf՝ŀ8 @U` U)bix,tUv*nA|)ol4|HJ%,~ikK,c:7z |֥c_zFvò &LܹOby#C:PH`㛪w87^f:k\ rUouYKB jUTߌp$ 2?v0.Q _`=]w"zF)f>X@!3tѹ`865; .jDQKXMuKMH݉XUtfAa@cz i\0[|=27\7:|p=Al'G_v[*И p&c)K!&Y' 22xu9f?]AyBdI (L9hZ 7 aixV2O2!ϯ2.?5.Hnֱݷ 7.zU/C(gG(w .uWnsM)Ӟ5uG#( 4$ w.c}uD(*٫k dTˎ),H!rJ-*+Ù Ȝ1Vl0HCkk,__A#.olJ>^7}@Lܦ5t`:R{Uzj*”3'QZW-j.7АƖµmgﻺ6r!5{Aw5F=Z Mj5MlzX:4͑ʛj-`PuC cTLsLNiIYYeG:2?x;s6;j9ȣqm(g;.+]g ,[og>䎩-I$ƞVJ/on\oB~vUktVol1<\ơ0A^@iN>Qy6/Ӌz Ln9= tQX %\vYsܹzڕL_U!Q$*8L}6YgfLoPW'>rԎE*Xlɢ}2#WjiDOKA[С┣lБI^R>2`Vq󱌣W֥GA3aiС~N#r98=|s? P>iau뫼CERI;~WK5ףI-;W1mH>k+f!4+B:b1xZ՘]+~nt=tA"cݻtaӸE1D֍xr @Fo_Hc[@}ɓq"NKN4H1nUj 38wȠX6q=F̣.&>ZF/Edf.wf u,*[_7Wtf(g~'8W/_ :ĢCN!dZ5(';8=ڏc}Ru+l22J (`Gvk=fkL-T?xM45J*߃xWY쓊(|RW #Y,dwP&F|*!oWy_auܡDJAlQq"hIm Fm 3Pg)O+5$Liwz%Rm[@7l)q쉻KkP^DŽL>* G&H6gjgЩ q2N®XQn'Q4;6oZ&0e.էŰ72+MѝpG[;`٧#sB &H͹{fP02ȋk#Pl_C̜¨}n&&8`a;˓ӵ NsT:QXF~?o)3~ w˿DExv|@ G9<%u{SFW8!$Vp:X|V\N  ! HOL-Proofs  1r?"l?vw] =E͂o q yg6̇ElD>,v2^[}O#MO4yapV%t,h'X̷JrB.sy J 4b޷wq)jj2Y++1Z  XY p#~ǘ "(mNzЂb5KG•qGCTʅɖP2C|MA iNDn&d.Ylhu |%W'Sw-oa0uďGʛU kKgy0M¹j3Bx &6uYdrQXԂSHJ_VA!Sw7>Ibb. @vȲfm5~.ܜG)1׵,kTK\':(ulgcU, ɹڛN"=$P9o]3n"/uUe ČbM% &#ހ1gjkQ[ԲETUcSW2 \F, ypwE߁ Mvi+Ds F̹* ewPeNJpb:Zk[a>O&}̪yz,\Gs?jm~F ދ`$"KPEĿO;؀0$Wi}Q"| hYyv`S²Ḑ5bibxW;{m8'vd&@[S@?W?X @c_{&)(6WJy+G9*50pE?)r{QGcfh:=v mϰ {ȧAeL\D[5l9 ɗ:E Ч̣==ȺR` #b )Q==Q ٶ/K'JΝIzl"qӬ&,\ꌏ̽Bja22H#sՖK##`]fmFeQ?̥uZ峪Qn|&H'TwiS'xq6{62La4kmH*K  D)NU-s.c1lS!% )LODX!% BLA nX.-n`M4EpL싿m殅a.yIʩ8(DSg5J^B.QwV CV]q lPq*@5 mD!AhO@n!2EkyIiE3[,zNJfހ4nD> YÉ,*b]TD9hVX>2hY̯* 'dAji Y|f"fViu2:jxM̮h1C? +AaNZy0Sfg3►wJm\(Fm")঎eܶQ|m̸օ?'+ Вc~D*2l:/ .fzbfN4آ&Kü;l5%Ap5"IBFp[o =f6/h$c?7+FyLK0"4n͘Յ3 `(Z`׆"2TÆƣÌYFK<^ZrQ54y/АDJ-1"X4SqxnJou6O-M8:&PH6_#_t.;9θ3 w]`uƄx5kA<jUB9R. -hsFcb-17TL^q>ҸSB}9DR-vq`ޘQe{2ce_oC4~ѱgYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!BfqF~Qx)$:٭[9FRFxR\/<{/hnmM;V# -rK[xtĐvΏē!m%2DtWv*|,۰;{tKU>qb 4AZ6AQ"Nh ܋$YkՑk'ёD~>ӝ%h K Va1?SʞQn3O?ţ aj̰UEgz(qкmqfJ9-Dn942qu<C;H>(s% N%V?h~1afxP͒yό;n]2TyO/'wQ{98ujt5Y9hq G(ح#v:$BnkXFyx+8bt*\_i!#[6'kե+(+biVI-hB²wsO :Ć ] %n Q ffvjW_;OeVmeCP-hu' z+iKͣIr^( ȅt~y.s]ܸP0u*aAv\UiٛmuIdBƺ1E~fyb8NƃtB f[]i& '>S[FS%ҏO.Tev<29TB B>zK5ᕹH4)[`sPbPWVõ]a VY㮊]uRci4D+|m?du[bU SKsFYy^Z5bQ[_e%xl_Qxq򕠏ݣ<$b}}F:AnB&v~2|$^S,x@~BpY:b}VyN;Q&(]!gG_=ILr5ۂ*s"-î3sP.Оn:ĺzE'EghJSU Xi߀p|*(/-f*,rtWePcӹN{ڃU'F#CŮ5`2Ac:|!=;Q4)%#t!G؎7?ˣT}Sc+lٳ҈{3⧦djF7vHdޔ5kw bIcD5nƀˆu{ߘɜ^frDz/op-IF9[콮 tF`KP^3hԯ=r)jXc|zQk[+i4b 3q EE9?޸id2+ -lc;ɇTBɯ9ή/#VN{Ȼ%e-$-uʅ憈0{MaP`UJaDsl/^[!dA秢pGD]pkJT:MgqA$![x%L}ghDus;-]oz0²*(!Cf?Hr+X mF:8_o;  QybD'Y\9U.֜gIBIڮXķ4ITSG㡠Rt !LVۍ^{E>YETU5I6|?~Yߐ-ouM٧j_SC ɏբx*zW\a_2df5dIڟqaDգ.As3| Y{9Z]k?l#DF6No[4R =],08Kl/ɰ׸}F>%&5ע1%dNJ)o3LE[:´cuhxa5>|3O%@7k'[i>"VTF| nQOɶ lt&mfНIglb*pEsGf ?/r:ZL3 (TsSjQb)m6> z{AG65>[Hq|ֹz=5=7Uh󤛵1NL_DLA}"Q@<̄hO }ZXfǠ9awDEq9G5í{U̸+YPø)1O3ctQڷ_(&G/\鏀}R&uiEvr|n:lD=P}=ÃfRt /ښ 67oBkc]Vg8?_OJ dNqk,07]57+^@oxش+ F X}و@җ*/OmAEI`Wp"erg+diJ[q -в菐h]6(Q9@kuyMOtY vz.Q$MWU1ZS;64c?*pE0#>y4"8ks=a qf3h<):ꝥ:KJUAVҸxÌ > /Q%'| m bu.?ƪ6#1Pw_h\)7syUpZPzFcsN 37$1/xt i_>v-bBč]KYګ߁oj^+20Lσd:{ bbJY9A2@!@y8qȔW9|fĖ[$7oJBl_J@6G`tH{6lJ8m2|cx3a ~Vʦ|Yka?VߩA3݅J>a'NrH 'dXFpOchu,Yϐ(p/2#G C2l~~pjU`|PVո.J'BMbEIz&I*UõèBqiB: Bgjn~j~Aw(*/̢ٗ5Wt"o)ӻ P1G3ZF })%VFjQ5vre_)SʿH{#߻n͎!Pƕ +hWJKL[SA0"%})βj$l|,ln,bmC%{_J֖Z03>pE&J1̵0 ,m\c]5 J㯑KD.y65^ Xb5O?81`eڲBoE#mܣ"9}rǤU[}os˜;z'9荬nD _fX*ƒ/W$ܴ:vU_lB;ğ>STl{ܖ3o;MfBafW(B躳Z3ɠg …%Z77/)Dfz7# *r,JO0.i`(,{f@j? ]Q &_q;R"j8]EqUy)QL|3:!2mTO=N1m  ~>PXNAgӁ,gnk:Т1ҭ x珂jyqiV2I_Zt wEFhVylG/U/)Geo=ۣZIa9GLHVZC$4<7 `4ܻp91*\PZ߲s-)x?|̞؝0>^Uiϯ3\Qa[%HNՎ{- {񞷹`;v9SBՙSGd^Pk8nF:VΨBi2$j %O.b6 2pz4<.u8,B0jeoؕהKM0!D]?pB 0-tl,Ss:c#F CkԲH}~Cbqluô/a>O J869nϞQLS9j =V'S[K̺ ]iqUWܰwA6Ig$ ? IO,Q[0w(?G(m^gw_^%^<-rJ>El͇Ɠ ~՝=ˊo{ޫOInpܖ0Po5g)׫wmvn+׋Gm<K2}9 ;YxԔKyʛQDó4!}IxtCBQa7$G/ <>+;8˯KEH{PӅI= =cDMP >Ouv44NG>OչJ⥱u)heߦ<9c?X;Ѭ."Uq@5A0;yAkH-UlaԴ WK@.)0'P  *<\nՂ(ۤ[͌?"ſ4PZ/HD@Kn2 "u{. 45C36RCym /AGL(pVxvt--1nS<] P,cqlf qA/Q0ō /:ѝUٛ03t2dXn`ྼf'?,YRCh鉆ǭ16%ZaD7}rt2{Ĥ] džQ@m¿Y%W7"V+&jAnsƭ&`z3R;0Q%%8sƍ)B2YkhrP0blNp[!4ozʰ_ ^cf~n0)bV.}/ie[}ӵ+A}gpk7r#T4ʍ?}ʮArQ7hTx{2_xfNU#sKhFҧS{g1{(<(Cn\c@kjD:+ m1G{4;sd'K6lLBlh*C-fbC=f?8#>4 .?g\ ?bVdFLD;*'w@^Qj\4iS뇡P3+/֩f=OfS~0X&Nۿ8j]*r#E]0f|al4.K]?MåT+Om*}ѬCľzƄ( *w<7V@~A@<Πۮʎķ<4nF1 M*7;bltdEG32>9l88k.R 6dw6"=yd0im`yd~ ߪ([L>]A(}UP U27^ V27VRg] |^>l7D|)VT1!jR/EV .?=Ʉ$8"l4۱B HTN?Tu kz>k_D- Xqrm(ڔFsՏCZ7S)<^9Jn㐯A6!o)g6tlՍ+%0HCT|JTf3]HK*@EaҎ3;Ea 5Ϊ12C/"L!6&p0fp1V 8φy2V$Qwʏ)NXsz94T Kى]E7FJm*m7,c Xy<VL| `L>&hg & U׬qAf k)h0sekv8@ϗ\K#$$.@VePeb@܅4 bC8}rF(ܜ5S.vl+&&ve|ߟxmE+i)8Ө~*|O^/~C 6 iTZSCY)Q듹хxsXUi[W iφ>I-Oy"$0ُ6jzkZ'F$2p^xi;ߠ:ɰ(n]En7/,4/ĉt-!{]]*Ct%'*+Xq1RPڿ`˩26)<̌w&5KfXu'obt [MJ y?}M=2L v:_s_,3?Eٕ-k̀i>JIH;.0D'P OU2)/ÀET1Ksf%,Byoi=Q4LuqT3I3мL3C4eelYMH*~N@CZ(JRAET4w{m^`7Dw36Ί^|l9@+~~5>=cTNԲ4QB<t>0WlcKB줝eFn9[7o},FnhC kr%l~AG}qdJ1V&>@I8 9[.|C1ƔO2|]A,fŤ# 2F ^1,, 1[%w BM- k2WhO s$XIFjlEį6;BE= ]6H pT8 XKii)P4R;h?,]_0ٓB`TG^et!ÿdVrkb2p}?QC‚`ż|R1?#l,1ֵ{kQYQMnf[Aj*|Ɯ#gcer&)痙} Ԭ~E jYMs: F [o Tjmlکc6V1uT{:R>4ޯDG d58׳vxK])jJʧf|ʸprCӋe#vĿXI}cF}93u0& 1 /`hѣ{(:ظ=y~E~x2 hr)?j| )S[ &:›)^}-=n_5N x4pnƈ<|ǻ3ũժTZbGG%h,_KLE8) KexPwWI(3QK>͙Gگ!,Cmڳt51S+Ǎ x}L 4Yy|O/,e)ݓJlR v&<>ӬjGA5,I'Knhz]b DM |%RТ4Y E֧_Q[27ɒ?Q&VaPчlI5yNk]P퓮t{f{ ʥb:hN燉 bB+ 9aBAɖ%ýg/  jZݽ=^;)!5 &O3E2ge7WAV2_(ҨFfT#lL/P#tPJt6Gå  BKor+sHx 5)j?wPd71~ VR:@@Gmg3ݓEt,E^5,T~ytGxHֶc3Q/Gg@d[dFi w'ifqөY),hi$t .90)1E`@)O84Vz>v^uƟ6I_EԼjץ0c.*Fj(|@Ry|yI`enpc4pݧ2u -۝ztFϻ]lds:*KwA-p6iU4qg*\fM1U-׿[duj*vmF1nܤL,!MH!| z@;`خ0]s;5r[2P8T C`gfv""ɼpp/sg {:O_>ّKZ/B@5r93TКO>){j Q Vkݍ3@f-\'J5mz'UBo4O@v)Y[_HOf:e*WaV̕=Ddw%K&PUgB+j6ܑU Y59aS/Ծ | ns{~{4byOQJ,A t2rԩdn9%XdzaF:paK !BY*|Jh2Vvz+$ʨ%ʗ/ĭD_GE$En)e''2UbC`vv pPoRA@3=m Bk5-f61fk~<;G9< hz!QЦ /,JB^Ns?BM &uK WI@H?\Ygw∌ZA>"q "}I%*c072X1wﵛ:Ňqz!؋ЖYО=W5YKI0FnM E X㧒^2ё`' LmN݋ !FoÔ~$@~g$'#oQfh0*r5(&] ϳCIQU\ñW] B+i(J,5S0`h^n\HɊ[s)#OrH*1Ut+5GutR HE?[K8&~Oj<6<]LM2}C- 5H~9!9-_ULŞKC~@r~f\f! +x JyX\J,3\Izou_H_C5hpÓxBtȖK(n4?N!'8BCvt n R UBsxZjk G_%~U~)d .НYpr^}J ^oݓWh+T/ʔxi'|jL-#v(>Zhnv}y<^@G(c>L餒q*jfE!K08HQҽZ8moR,b2`uo{'x]Xe$*\z+k2=CE`oNSb?UP[EscZ.Ɛɜr Gb &n u, |}̪lO*{z7zEFS8^/?M| vgPn~fDBf)U+4DP\Gk"/zYCɞ{,.oNIV0e-VU ú̺WJ 6qY +*PF'釮o#'~R7+ώ\X8ǾBշ3M7Oh%Q(5;!YԀOmzaJ@g%]!V37^b UI$Jː{ɯ L 啍!Do\ꚼ<>;INHCDa~hWϑn䞭 2\)𜓢 6#dEUA}=qWنDm&)c3;mXLݐMǹ a]0탻ĎX؇*pӿZi$ 2‚nj=EHn 2S?Y2ìBR^o`qMw{7z3,z'/]֭_*P=Դ 94_H!sK q8^P^m܆.e-zU+J9&M{? R&JYI,ܮ!dg uďtC, #|E0G}FG۞Q{ݎ=#*dv˜ŷBMw r Qͳ)<^ޮ/"e&#&YE]. [|rC)?x-UA 8t&jd*7,4TW}A3v7bF|&{ +.w-9Xiў"l\IyckNlhIBk ?,8BiG1I@hAqeCect9CnLaM (X!Z"DU;Sc.ؗǜrȈ\\]"5l0enS(nzY6xst_XPi%JsY[%[Zj %WKEj0CQw^̼7|RLi›2U aS~}k4w^JWeY+3hWvZ({< ܘYFj)>x0MnTu)aYNNW]ux@ŕ<|C59-_ k k+nں"L}^o(2x{Z;XN)\ڰhN+_rrvu3nq:KT)~a- ">,o%)+l9fFVNʝ`=K[̇W]^,Pɒ >#FDf MHh h-R' &L%+FSM9A7<{B{ o9 VlXJxFoqa#yb}" u: vDYPq]J`@2xH1 QFyڥ-g}Z̜\, Z^IӺsERک[^>fwйCL T)?ܫ7WBXNv `C?*_$pzм}1DO" -7we,].'*z׃Jv | ~7M@@ݾk(:\Hu:(uCɇn¯$f^3l$Poi&<:0HLcv_L1j[LC): GI`I)-Zs~a|ҟfוB/%X۠Զi6rߓ'@Z>#j5k$z:|#=ͫ*yF+T$5pFw֑Zvͽi CO;q%=v!_=9Nw~̸Vٙ=ÆPE 蕷hzRF_M8;'%>*:5.oK%]ߧ5e02ؖw_Q?(3j1}aNĢ>ܲ\NkH̾A&AuEإSAi(*tw ^ _1}"m]>9cMdUzpƛCƛyYwg Lf{\v?T7f3 OF 3jܷ-#dW4'牾I,Nj#ab@*apYqZ\_FVWB~Qj#۾pA$װMй%L`akϬ<)h6<#K'̱`}Jw %ɕxyCgԷ h姺vA)O`>y#W{$*n񠖬! 'ޑ'o8Ľ6^<,aSwC! d9!|ax:Osqݝb%Brx$5I;Ў \%nsXp{"٬St$`l[j~[r7f ƫG$jY#'\or\+ǘ9&Q6,5lwF7i(:4 jyos`&@Dhu zCe:i4r;iS0q\ڛ,ap>@6[..URf<皹тM20"Zk䈓bpƿpԧY͟Sc*@yD".d 8Qj@FcM^cf|z Os^SUCH|b.s l*} iJ0A߄.ZYBCv<;ص[3dʲsT4%L1GmkB)r;ii~sYkrj*5NμȚVgUHbݶ'3ZM uZ i\{[= D ;^ քX}!}m`wUx5f"T#:gijze$ڡ M*[(s QHnL:MLU&Һ3h ӝaCGo45G{1Y94:u N)<}5rj 5C gZ48{)]9 l$wd n&9cV8<*#2ka"3[#[x9V05F2-} a IeL}ŸT`%վyG/xu6 N3@g氃kі5=,o=@-0ci_I>-fS,XޑLO὜/Y̜񱁓n@`Xtt-VlvC!U#qt[)&`(˫Pɨ, j!* Ж|B0,`2YbC+5(SH1OIjZ3bߗQצLmP&pZFꁳ?͂H|o~YA%La**dnu^"MY!\Z'5^A߰\sdBp1\IAزأWb(zI_)F~#Cއj _@A]zxh mGS=dUpdѢvdGn,H5ygY=':Q9TefF^fmMJ^/ղRu &Z[t{Z+`^4“VQn3niuUeMF.ODp b,)t(E ^շ34Y}n67ʗ漙2q*Ҷ$?]{;k2OxĢD *rgI^Ll(T˄3Q;JY*hC1[mڋ߶-*V U!0n!hBF(rrW'7f[ĽKLWVd˹3B:P'@`ô2 ȫMKo)w)lRtBvҽZz: f cfD}6KſAz@4TTϸk>ÕD|"Sm8ƣ7'%h#PVd?v<޸Mc:6=r]^͝BJvwK 'ofPbbb2h<g~Cm9i;s+FiF Ё=pİyz-Ȑ*_Kh>pU=i'r0u}5^ӽy%}mXUp.j?* -C+cwTKÞiqT6jY>#hTrJ=S,} #3vdq^],(~9A?LЙgVC-`*5OŌ05's >~YUPpGE5#y31tfR0C] !?_"Sl~DqN~/U}p>[PMF] ҈8|\VZ. Ӵ5 @®;מhK%6x+C=}-hc^SW eܓ_W|/&//܉pdCÉ(((̇=Nڻ'+OBr5_fféQ)ֿ[jP#k{^-H-`4K7>wZS7+֗k"kIYJų2.\_ChV [ n4>ןJ!t|]C>}5FĀ$ޢjɝPK{I!^?!(_^}e%:Lt촎q:pZK8^KY3T:Oz3Hg @ήi<]2Oypv!f Sܘ+4)N:b[A`UGr@}ɒ]zv.M6umFa:}*mJbzTӥM5G3V.5b(]Dt!}ZׯHX7rDg+=4r4I54ߎ*^#sBH뼛05ou0(u/ ^>A_r^;dS>a$񏛄 )yyg9!jF>tztq:q#K&t}< u>Bi,my߹Zˏ~h`\!jlxJ86giCڂsi>{ڹmuwtIOl>5XC5Gޕ<ہWi֐:AxOK@hw+ٽ\B mʺP+ S9OXxQ.$̡QO]fpU`rì9эpr;WƬz]ϸ] >M/.y%aįhg尚L&_ܯӻ\ 0'T{(8KN1lP[I>m[#.Vgn#GEa,Ou/8,4yy8A%Zr#Vvf.KCt(uh]qM[mwlzLݘZ\&Y0'mB"EZ.;K/Ӱp8XgQLp7Ҙ^EY"4u'Gy^YWE]H,r\M1fA.sK)xoIi\k5- qϐSgsJ0M$qKYHp : 6Zy‰(|g)SwL4{.5ָ>Nkxҙr?jz!G˩4LTyYo ڗWP+U_t̏GmkWn7g-"Nd-UmaN ]5nZL( 72>!CقϮޚk7Qs<Udv n#TƔǾf׾Ws)t3:*:ASṮgȔ9H8ae !\lHzwNߋHEwP`L2 <pNb.dR?!Bz|fWs[Ϣb+83kڰZCһ"6pA 7iAI"Kj~:L2Juv5gD*3_ƅ@ݪ2@uwœ`oV7?7cTEKeC%Z< Ɠ%i Tt;#R`mo놬-Av _acg[9Z+= DsT+ ){'?q CYDj/%ˊ/&Ԛ_ =>ߵNxBaݗSݽXIxpk`m-v[%i3 dSS!@Ww(0Iv.~3kϼR#C N atq}s7|51 )&( |K4I=^d N)Ld|=ذUжq L15^ȩ=v 2^!W-zqA΢8t]l5n#G|R~{!(ʿG*Q@l- n;ٻ /K`mIB bPZމJf=̏'6x ^n0qq,z(jjyk4>t˔8n7Nd6"z|4M]w$ ȮPq$M>f?eh@ ]y ߤD[z^xcKpy2r68W,<6%0~&\uH ,U"ĉqSeAsy_h}K1RàM. R.eMG*wU-N J{"3@>45p%F/E`*?s{SwFrY()/wagkpdjKBe^)7~d1_aލ ə/bJf*llRX>n=2݊@ γp&CC9mΈ=ЫXF[n+NA=@㲽P?&7Tˉg'Z`@#?3%5I"0q&^;::}w{>H*~t)O}՛Qtmf%+72^"y5]$5۹ppD+˸z!F GHd,=n~cz R\$Ȼ6]ݚ{˟N8^:Hath0(3r: JEQ]vDzgٔ8q i%7Kcl{Gab)]])ZPUdRYmz'ꥯf`e2*@ >r Rv1n^.37L > qX| BǼE =kI\Tc{(-|}7S;~s;I ĕ dV> #^i4Fh[/gd E-0bNtw9+fdȜse'>s>&5{}ngBZSږkEP>pUsjvIrJj)HI_Sb^$DyQJBʧ:`!l)l:r5'F*aiΠ|ˈA,ʓ],,k(&WfIv0a `c c8tfkSg^3~ߩ~dIn\#Op4mC ć7J "i.ʬ+VB.c4i o.YffpHXnk$6S'278D]u/g a $lql[dA"vjϱz"k9d-5Eis' wئų#_){p I46Fr‰z֖`n;EXj'{'T %u/_QYg NƬr v ֋ FG_N575ԉ tV WtÁ`q.XS3̭q"B0^ڼ^<znZHz{6K24Cz}ȫ'E.6:(Ad[FJf.UbhA:cy;OuQvCmhVA 98xW5LkH! h&!#x,$F0h[LgarE$":|1WuyǨs0T'q޳ڇl C/*歯4By @I9IVmK>q<8fpEڏ|^CgLRg Z,=ru#lְ^r+j,x)/ LE 9K Lpv v凲(x+[T)e6* K7Э-0 )Rx}!&ȳב/IOk 8f8{Z4AALzһvB[LnXè,e˙݂PM.(N@RT` |wԯ-a8x\ g "lC#uّA:Tx=7%D|YN`;8m8#4QC1ENmѺ]qEo zYZH.JnplB|"κeh@P?*Kx{]Tv)H$ѐY|lWJ4IfNb61;&ˆv\TT8o:~|.q%pn Ud爼iZ걐]Hx>qB1|gTda@;yvQRi)ds|$h >Ͻ0v-su7j79+冁zѷh}оZV1 ϯʣ .{Pz UkUuUi-*Тr5XcHNRM&dAo?!Ux7('y0=(7P*efU7Umoes,:\aC&vHЅ|).1u DC#%!a (K_A&Jʗ}f(j@>;P3B5/;& )WU ph߭Kbve8( @;짔ŀ&D iU+)WZ',ߣ⧪r MoS(z!yND_?-U1m+MUcl= Lhhs`wdPx=J=lDRMs+6_ZdwZ,Y3f_tt,UZ4/<{3__/*}EL6n%#8fIom5! e.pXl<2T@ ֟'FNM4{2ZB[l( +bMD(RF:w.3{sLRʮ bhl2`-/}RB=wBpcBPvTsXVEv"eX{@V!0 k5s\ޣ\;*"ޒiNQ/)L~ӳ S =b։R6cQb!$5 Uq҂4%(Lz;GޢYt6|9ϯaH:@ܦ*D$ \ǿPue,›Z>7Ջrw߭5ޛ h;f NB*kPIqY3l%#y|LXeޟS2&0I#> $hJ:I{MiBkX ?Z4 3+WQ$7-XЪL+=MEX~cuE1ga<ˆ&^dl%dK3VZ%DߝT=nBɂHܭjX:DC^殪%߁+zH"Rc1~{H޴<6X[nx3¿[a˙ͼ-PU$@uxnPuV ldX¹{ ; x's5X] aNfP: 恿6-8*{W->T%V?"H=Qy4A "97߈A4p)k0iO)vXBRRX@6`~7ꛨ;J7wJ&;|U7n5>#Er oӿWW|}^5%`Ko+_n'YQ#>F%QPɦͦNQ", )N AQNE6p]3iRnzCk+ C  ,waU|8OZ`B7h(Q"Gȑֿykb .I q<\3@K-1={ n2˛A\=/D\UG(,$Han Ysw4%2\ F^!5r@T-)5bf{p2.9 YK|~ΙW:E+GH`m17nj5 i:jTza=_HU>/CX>@ȶ: rcv)Ku 'N].XVrA5s' ſlmeW7/Փbv87h29,ڵJd