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 4l$ ]w Lorenz_C0:threads=4elapsed=896.736cpu=3548.344gc=18.884factor=3.967zXZִF! rm]ŗXf[&}k%]ŗXiɟǕ,mI,1q~Ԉ@m4ifeL 1 "}>fD}ŗygZHW}YZ7zXZִF! oL]ŗXi%B cnrgީB4nջ`k6ozykT{@u0@/Cz }l 12#nFy&3Z}JKm7&W€qfhFpwW@Gȧ3@1kUͻ(>?ff<6}9Tʘf ^пVϬi=%&O Q? H-KM^b݇uE=ə@H^|dz[NPp* :dpݙmMlqz}SJ=Xˆ"Tkpxkk~CɫRIFۘt;C x\ǡ]Xz%'zrr9L^jAy#ݜ-z&cu"om7t;=ؾhBF٩ Nl癯e37%\ƥ6%ى:/zD٫[~emru:@Dó"əbtH*-xÆ\Uho6mS*LA@A\l%(3f\෪c%{*c\ &a_ކG&dUތI}.ʀ 8&%T"ǭ%|ĸyr4)tnGaQWii8h\2N >\w/ā{/9'!ㄤja:&epgܹ`_*Pms/q+]¤vG~ ߫fPc fBv$ .a^C]o}ie=od0e#<`QH68A.%;ԙ#)zm)!.e7 cykkQxQ a,~ &*Ddz2`=@ a ۀf>9`\yrɛnZY` c{m$Tu y(5~@^T˿k> oЄIϯ-1 [/s[A^[@ScA\t"(_!.ا3=!k3C R~%^7F%s23%Γ(dOUGB+$ q 7Ks:OHrRTL1{&A#P.FIf`'z?c-y={n6̯1V#]}hih 0S.#َu(R̊DDG(M|)³qksi{JA(Ɖ:/Ӈ X ڪuHdfe !JK8od˩B@ǹpk؊+ꌛ5҂mr1V]fqcQ&`R zְ0ĸ<JdOvʰ+ !w.I}.ÐY\pe4|'8;E8f|`1&"N\qfs#EzSgC5/H< JL@yRlvhB e=LXkXȶB)B]mCrieA] ŭens2''p@]-#jAerwpo4 IsNvCt(QT@$~  |Vh$p0o8s`<^ZVOYDc_֢"0#f^qKttC>ÄZ xXպ->߇;& {~ptlckkϋ1h.߯_pG5'b@lQ<=/V&ln/Nf8TJD-0+۵JB>afm!ɔ:&eYi5* 9( WYw感`4` ÁٜҘoj=2ry L.\`z`֤Jӻ|U(kr۱+9#8&rwFkΩnMKd ֊ &RO\79fp|:Eh.U膑 Khc 41;6?Os qW˦k80j- ewTVC=en* Y$?S>5{ J"ǟ&ӳXHOb1YmWfx Is77ACX(}prG[33s(9W ;JnvPL cWh˻ dssXj?ϰRjXݹmuo7l>ZJh1u _"*˵;b:(:O(O' 121>uX|)|FuF:; .na!1ɶ{4lM6KB֏u^%t9иۛs(EQ9H>ʴ$plqtXɑ-*M*X} -P30G:FËKMK{D4fkѡ רd]@2ݓL ňS #pc}k6 &id3d0C'@؝Ihz'WL_qyw'.)(]O:|M׈fA66|!ҧ1HX Qt,/;@<{]_6"PDL:`3W $DH2gu/gyњ{V_trIj5k&[>Eqf PLT\N>pBb9&%aWE!$ԉv>gLxn{:??4pgI _չ8Ճի}g3X<PH432Z}͡}0\i.WubmEoFO"PģI}oG\-!W0*zZ3e&9͢Zg ZȺGW$jsjB'OgM -)V0Ҩ~w%MTg{tanR/Sɤg\ ?hxxo3#_;Y̤ Af/;\_9 3{QI?"NWERskh&mۗ Nt.v&^Rb-Lic0y3Q=1/CZ݅^y~Jt(*~ՅV4 mWq6#i' NePd lsͅҔH q=bÖF$"\H? ]t`؎?Yiw&Sm-X=TEuE$š0>sߧ MSmb/п D'N'S9|]COz CTi5!#Y1~iѻH݊SmIguʸ=# R.Ӹ\dN*'p2)XF"hh{gj9.-J{ LSp%QMvMk黅^&qmfOaaԵܶg!e hWXQtOOO?a1whk# jG G0C"1qO$Cmܧl/Q# ή?r-\p_,(A1;XxrIX(~eJp ZIlߐފqohyJW>5zU١ZDEt#"Ac pw4tL$ld~ *~,#gj ݳ5ζTQd)sz[y\/W=k]I$[=SAĴ 7B[jNf'@`hܻQf`ɝ飽zM?GfFnjA03a.RÀEoYDP^-=S>MQT@Dڥl?./ƸC8_ hisv,]+0iA1%Ķi~bnd bJτfGI lNG,90STDpgx<Vɉl"|2<o"Ҳ33X{"w*v3 ?U`Bs؍mIz;A\xQIs!2 ɺ4 7?lTo;DmXϱ&&`:f|by`T8Nxu1t.[f:Mi~lؔep=&RHĦJhNԬRv`wff:=cv0Pg]H|"g" ң jnP ]03:=XNH?޽9&-7)9Sqжzw%s-f e:BϑQ`te;bI+JTp9(w| bE-;I zf1Q[cc{H[V%HnVQeKE--O^kav ox4Wϐ$7d:.>uz7+}`f0 a^8SP,|k@;zO8%H gj yBc A}ݞʞsnļFGWU\b4ut?]}@Rė~@MPH9ĸUa?42q&hb+Sxq6LsTCavۗxEi?YUf^#epWXKo=[ qGĞ6i6;gA s~/7AS?U-4X̟őX^ ]YzcېPK&{$2xz)$lIH%^,[a"U Hs^]a?7r7X*VvtGg}x iO ^Lh6mLJ۴zi4gVw8nLG(񛰁'6}#e8aǥ?*Gyma#WйzX+-&~d/_JKٟ&^ۏ_)[iP)(PB:M68wU0VYmLA'Zgŕz|`{)5Ы Z&)Zw^eU1up:%Ѡ%ԫ267gGX-tEfɍXm$s_|aG`ь%qh{}M.=)k80cbtĻujQ>ˣG(،}&s6م"2Ž4dЉcyh6E+,_wBǬxQB6# al$CL0cF8)w*(^ưDV`E4K x}qph5 (TVn{$Q`Rt+'.0s|+{a};ŤeA6],/qBoIx)8"n1yxH†Ppѱ_ ! AvBs(z8y Jךn|u`)_Lƙ<3ށk,n +?UB%#L+S$m$-50ɤ* Z=u/"ZTLز\Y7J9݁R,W+ݢT!TocӲLltiwӇջ{蔋jw{S1o"\(>ZvoTHn)Q@gQӅ`Ũi ;Yj&t?rw$翹m1Imt0M)Fi;;'oD>I(zP]kA!3N#L߳9Vm>2.?$Q& 24{u)*GeHd35QcHԤ4 |_G!ǁe6.|^h`V4Wge`[qVy^x >{ۦJCS)GP*2.YnpHɛyԅ>x!3xThA<ؙ- n*hf($ (08#Ѐ^|Ts\F.؝/U!W!+Q<*0,ȁE{%}ͮ'xIIO-h*&?b`tO%V'hQ8]b{!;) b-!M+<>!fީQ4ukvk[gxHII+xŦf0öGiGn1[:]1'?؈h{!{vW)c<~p.5993ğavɐz(@#S#[bځJ@/\1X/J0nw @ț0LCf;I!#<*x(&Tw4?8J+cIP_E>^ǭ^09ZОn){9Cb+è?By֌qY;k~GԉYA ю&NkVy;{k{Ff3a_9ڄƒX5n7aZUhg*r#㴔/I/l&\A&ųﲑ%z %R# ᆢP+g <8ioCxe,?+'N)ԵeUz+{K4345tb+m+x|qrpl-N(xWۗc1I9KZwLiTJ>/6*b 8t-"4EJk v]V'6:g#tZLep@D(Dg7(r(Lfqz,r4pYn.KR]DLa"`'3q=Bïx%26 ?^٬ѡ)>7DpO8E~eL򈂡-Oc0I N,͡/^_S%u]-%"S`ILHT" }GKⰏT\{ V!V@QHYQQDWOY|,;r:F"1凵hUXM>TΎoAگYl3/p=NQ=HaT3գ?yye(H 8*zCG_dWhIx4嘵7"5u tm{lvߛÿ5IWܝθuU6oY@ qw`m>ER@Acf!. BG QW _>-%xOWKgoķ;=~>oS?At^$Kpb* Ceyq+^LA%@l`frq|{1{; ϽSEYp,I37 )S1Z4BRC!zqdePS@;z4MN|yEbȋ! ]NO]Kg\L.[%;%qɁ͈s+()'w/:jG @:ekR}ʩՅ\<- a/z):$hzQ71c+/ `4fy~#GQdClzrsih׹74OR 6ŕ)t1vgYxc>[҅bO? BP (aSmIH|uiJ&/}@a:&9EQǷ \w"6߃q7~AyE= 9SVE*u2Rҫ>w0V02;@v:L]T '(kBQd-ꦉdwJ%EQm07[1F:%~2m.Z~~ggb/(tps5f7nE4 yxh $y߆1 {\!ʨvfw &.$|D{l A RǪliy, +xV|N35~D/&73+4B DѤu$$R\ͱ]ZffRv^P?x^g_Ju[~ 9)r*[Kf*Rɏy.tФݞF) IҠ~I.޷D7G߱ʤmyug]7PzV֓ԣw=ޏ/_IK¢7MڼH cCm}+%zsMqnjm un%";4NSc{hFՔ's!)v1lU5#UjA\)KMZK'ij+19 k")/gܑnjus旅4Eۏ 4 o[`o')nB vM7W2̩ؗXA#΁ÇC nԑS+Ds\ h)iAcڏ;9עN DyUG;wg͓ YYLȪi͞]D2 ZZd;Z ru+igʽ4x6zrƂ`Q*foQd_?iW5}`4D E}k/DjٴVk8F!Kzq)AG_3VSS=Cq$i.1vSJ%REY:t;`s>ȑU-;n~~:k+؁Utx4$r#et b1 v\uL1`F轗;ՍmzDu wk'khw|3'*14oVz5TX rȋ5P T剠Eʟg#ADV{_Fvū_J=SBL VRɫԴu\~=*fj$%cw!@-E=61B| A궚N#=^lԘ qv싮O D^HM ))|p|a73/6I ? 5|9:r}. ZKx+Mhֶm]$P#K6/Vu^ECP.yC 3FSyaZΝ+(lþ*=`DhUƱ\`mw om&Lh"&A(9|&R!NtKBu~e8Q;9,ybLw7lU{eݷ I{aIg|t{ |G=sM[i|OǕ8:Ms|vϤB5y;oIFˡ⿜?sn 5[&&FpUDZܕ{ Xgj|R$x o ͷ7 J$r|TjڃtKfesAա]@vǎwZ4Z%aȒޅ᩼-6H f1{LxT23@ZXnk^ܽtk9 eJo[78/^7oG^2j6,>CkdUC7Nd,2Mwl?H;6k*Ę~1U+nr<_$bKu"ZƅAU7Qf&x?PV xL҅I-[Ik.!m QPv뵖0 |Ј>8ȒAj"mV m; J?C)dP!Ȳ cYSbaV<^Hl/b@]=c82|FuX X)CA~ls 4-7 K[pKB4H]! @9+,.y-1W>Mk+iy]ƻbe!s۰f>TkEzzd[aO0Ƌ?;%N|yF !eE%DrƉ 4Vp8F-fW(ny/aԹ{^$\"";KnE^HL@ZwSO@,(|g9zM(G :l q" M}UGߣ#Md+Z_U@瀫"5c QVV:/Pyh{KNȜĴ mmFV(7g<M ?4[lFG T`rAk"BkH~HoH#FH2ضʏI7 F01*I䤇:C "%VWC{֏~_|8[!`T|> ۠K;IЃXݤ\!SRzxxHȳ"*N K{|A<[ ?JsNU_VӠNDu:E?|䜁4pMi 9M4kp2u`{l*((=3'(^Pç(G̈́fH謥wsJ ,YR"pX؛5$q'l_z/:5^?7mi r*KomC BmZPS'"}HX MnNbY*K.U*r8Rci.@+8u)Oa@W?݄~>J9a&"X_}aӘ&?mf%)(uka8>iTdd8HtpK xLհ==2zRd fdGt*L*@p >=6"qIr}[U Qm<+§*ht}LaD (L0Lu޿t|T25ZF[Gx4T @lus'_L`D9aaD^)4g{abpVuynX%{׉a89DD\޾wKKÖ_>E%gQQ5{ERP1/NtDŽTS 3\~Cg=(N2pS,P9Qw.[iyg CX̄lU"933NxoQDLZS| \/2@n\8Rl4Rꩩi&a8lX\DEխ_ y=^xp01^Ҙѕ9Rm :5A'OՕabS%xOg6y iG{E|>IӺa-)q8 Iv"Y~+ǙB$"]B;R{/^"}r_bSbDKS#a}%ܫA38"iL NɊeODiFg ة^46Қgܡ#P+gSВ=2aIf$Nm2 UH`r3󶓖 ,f-fC f/!M% IX^ic:LvmZ}87P]qlj\M3.j4fBHݸ, }&vd\XܩT]ێ8(7ʀR誎2*cRluoO@6oj2?S^u!Sզ.)UE7^TT-&Eg As+^!'kI+G ase4g?dO+XqpbWp:6_!bi\n/&dc"d;lNΠ:sY"k ڔS=xN+XԋTWؕv"w&uܿt6Mh݇]DK~jdKt3ߤӻ^ JU~1hҗeLntK sRNe(p|w5w\ ًpyipV^7DgJ0 2F -fu^9;XNһJ>sWYli<\(Zc-Sxf9D)Ͼ\&o:tpQR|,'j- EtX8cWbpۅYtfk#&M["eT{9k96fF9TGBH]bיVz8fFS[Irrv)%x@]HڥT^bӬSMS,E4D"HQv=]>ʆj\fSxp?܆U%OҤnfEamv&t/x O>{#ڥfB8)DaL׍]>b~Bթ/^9d`>Z[HWIOr(SapYAGtP kq9=k|#qCpiWӅߪ-0#>Tu Ը˲MUpj%!oǿ2;PB+<'EJEye/ ;A'A~0+7|*dي~sWT+nkn?;o=qkꦢYR.ڟ(5KZHwfӁӧU#efL%&PZ7M|߻S7j`bnk~/l hf;w874D؂ p )]¥%E]Vt };c^q΂7>J֛ ~uWRqA-eh/xd%B+ 0 GiG[U!!HHc+T.vh?xQ'-c㋫k&t\1O8/e4' D?>P:XL ! jeMv.i~=xXf`]}Evu=֨kC~:zoz)+p1KvUau!b8vfL٢'{' \}&y=\E)uF4sPq ?GrE][«E~?ixb NjղD41iBe"ImEwVjp.5 $NtQZMVlE"o,~*9V}J#'C-?F ku=B5ϝG%Un%G2 !"X%5o (2lЌClr Fs Ow#2a+jNNy kN r_RIsߙ1qDs1[UͪIdlE](m-ۉz"Q@KFnڳC7,ғyVNnQdIjpꗲA25@"L ZJJ/)}YLapʮ)$[, C _tf?ֶoq%?O RemW1FJ(5Jbhy B ౎Y6d@^g wF~N ߟY 5 q '̯Va~.$1fn X[!DLaZvdؘGv Pi ?XhL(,f~}3X3_1+: eN~mWDŽ2iJ4ISTbTPSF H6zm#> dΗ ͗ ,[g!8Mr)7n2o,sSkvio#XȊ~ZhH[n)Iv`mwhz!tVv!YRkK\H5a`he& + 1cq35 hl-av <UE$:lPR]f[ii_i=$kHp;&0PTÞ< 6E'Gr*DSOQte0rI00ArP@ *ļGeHQ1Jͺ */~3\[uyۜM+q =`a7Jy'6[D};oȔ24{־wV@ܗj!|OiV맂[_oh2򑀝ķY}q!$#ho"NW|G}̇Y02;0j%VD\l?[ 4C I)JGJ-RY&n耰J\q΋! B_7'b yu}a waeY[$XU Kݠ /X =-=K}FqCD !v'wЇS;c#&Ng$'<>M*l8KZfzJ$b?DErXBvw6 KDDK ѴU1RvOϐȀaʿ(@⥡y%hbhi MHn6h8yo 4CcT!A O4/ptgz[(ŊÃۃ+A&f:{ ѭHFqi6o\.@:GgKYЍǚJGY\ao׬6P̫MbA~GO7ZCBGzE<"~tWa9꒖-iG2Xj<8Eˡvg 5{§ od4Qm){$>`6{8a!ٝ*whn)S'=t?dzÙi(npW hb3E+ݚaiBjcTIh g"ji>iQuQr߻bҌ 00em Y 3L,^c8)0ad@Ɉ?$4{0 ]{8m񃖝|JFJAh$'=6݅;̕ *:D.dQ6-< 4a=s'uRzp㹆vQ{b цsMP CNnoŊ0S{q"_]S!L/~ ãݑa|.)izJ9?p #0[XIi[W8lGd+pʽRVQPҙ|Xg  ,0Pw/,4'C5e}fy+dZ靲TM7jDCtvԯaڏ-fS8җ/N EYͻӅiыڃG[- Xf fi2p8"^en`Hpnm x՟$$mlRQvI%gL]Bz.r,9'!ȋҘQsE+c,M\ſݭAW;{K-UΏ 2C )")j~i!Il*RP-m[8pK\ \[ΗFqȥkx'/mSN TmaH7emb1Iw`.޿:D|{Cs=;֬v_nIM@p1D_鶍_[ޭj,2nUK4؍)uGl4S2HaBV8r.C%DU%d57җ Qm遀ہgr BOS+fE{T_c+k `Aѓ4 "};Qm׆/n8\h-bADumĈ}Ѣݸ~/%s\edb`*niaB",\ ӱT ?BVaLϏΘmVϓ&_>,-qTѽ)>tkBFtfޢ>K{`" !>?s/=B |*jn,~P5>SU/IcgS]a;D+Ʋ 32wg$>7*;u>!G ) bێ9arll@ter5+37?[^vO5cGi;EU y5̎sϔd5wN?o7G /G{T>#k29iG&πpW+^0 wQ#\ˢWx#! g".3<>~4y.* :.4m F@˳ Ӌ9IS pjwI} p%]ec+Ŷw_#6uU6M5)ZTokd&EކKK&J0v/cT<DoN^C}22]iquϽ6 bxV*3Gzd g8mPzXqڡq D!Dرb3mk* Hhʬ7X%+f0NT|NNB)MAǤa)ΥӑԢGgW_ .-^E,(ODmۚUg߮ѵA*k26A>tjQ`x$^nϷ|Ԕ&獕K+yXn/bND|cj IzQ]G"Sgn6:dU?&:3YkӸ"a1|AWr8anz)Q844rĿ`8[@Sʰk߫=Cem|9J+YG"z?4}enWr;4?`z`J=hFw5ICA `8\x<- ܣ©Gw Ny :nP~9l/Xt?W GX;O@핺V yi*oJYFMWLR[A.sooj.|A٣.&:uBcⷯ#G+6#^kW`paW8K . uo+jw{]$*E&>%% b(Z-'kHa=~R؈9Yf.a #Uq Y5FyCU3ABM(`i{Ј!n:^ )bE&4u^6̴ Զh`ƽ1=)ֹԸF_ÙF81e 38M,4?=8ޣ1è`d4.enNBFC<"L'$;Ae cPZz3HVۃp[PE. |QCEp.y,߃C+s٪`'7xfDzl i1/AOtƣ G޿NԊIs{͆ʢ#0cazsϡIAkU{5D]oRJ6C2- I84}'YL}4yWZtte/8ff!=(yO FIWcee4SDe {T"sy0n%cZsݖo*i* ^ZGdhcf[I%tZA.j:즸ƶj.-O[#Gkձ{/A"Է9&Mn o曡E O™ xǚeӏg~T}-V~{}ٔ\)(*/%Kټ4]Y僦JY@0q+n؊9mtΨa)Y;cbPP￁Y{cSn#EɣFL0cuƤ ZL<>{6 8;aKjDw 57e,UZP%ל"ȮnCK4*0/%@>54L-jm/ʒ*ljcRޡL3Dj9m_"pdwWAƌbj&(vN; tɐy.4Zp"vЎCțxaJjN) X^tXQ^lr7f\U5fQ SI#Tdl"}RUxaɜ.>IjHaG8+Y>-f#NEL R'`l?=up%əjf88z`Cd:˥ӺiP+ NK[bsv!TʍSu^-c^Ѫ~,W~*t%3>|QI6 iM0hE>?͖v g eYdU$s}:>J,ry2'l1NxF>mmtF7ڼ#xNn:A',$D,:%n aaBY=JV` s$h2Ҁxx3*}|6fk8-?c-U dYNis_ ?Noi³ǭ -SĵIh4fY'pW<;In UCh}/zX0;$:R$gԴ 4+b#;YgWDz0ZX)܂*1SGą K9Cc\G7Tk RmxZGPk/A مΫ/IK3 v>a6wF"9eBO=q!Z W"OadBdg+BNv,. 0]1-?}? 5Xs߮{ϛH[ xQaFq6<Ž`$wf,+O5V,v2g2%R,*G?x+wL69s 8~fD"!L)K|v$ BDBn L"̢~m9b%@3sOʼn -34l'[;fSs['Lzq*-z0|-Z1uhc#ĝ^ͬC$46՘7<W,Ĩ΂8Tb}# uN5v(EcF$Xa.sTBYg/I>92얄d+sֲ&At%͈5 ,Uoe_ -=}EN3B6I ^3`Eilu bJs{l$c|D#BoGa{.!\΅q.TNSx^7܊Sܡ|75X߆O B!}k񳰸aГ<}:F@CћĘ%Bbs|i|4"$%jw p77 C@̭NcpeuVr'PM8QĻ. ;Fҋz/C~:|f{?^x_':uzw(]ahP9ۭ :%_ТfvPұ Mr! Jb٧csg,4-q~g pm ͲY;#3"eיnE9eӅWOeŠTa_ε;4-jBOȽƯw[:IPr e[[l~;/Ha\ܰ]mF&䋝>4w< Hxr.DļLːpI2VufT-$CieDZ B6D"EeC{>x2db=+iׂt]R@]:Wn!C`v"jkta1-|$B>V+0L1lP5O)|ilp}e_Zo_Kn 5{cǔmeEm$h57X#'㳮*aq[Y8' ̍Fo^ K|#@t:+%Rmy$HIdImﴢxKRyc u.|$ʎ=9; ͯMTψw X-$^PGwe^C05]x4TޑD}3b+P=Pâ\ e96'H&̽E&2k2iXTmmPkMVҭo I|gw Nx:T -FGB9L l! Gs, =l$J vUTR“L%T;MZ -h??kȕsB\qTg-(АJSxMށlĹDcTޥ'UJtf_ϣ6c]2PFrb"5H]`>Eg,D\)u~k+۰E4e;2-S>yV/xo ~NE5+hpC"gn߽Sk&&b5_pqR/*˹*VTI`؎f;榡ϔc:ޛ9 B(BKO"i*MVg8K_t6r㦚Y˱gI#.r\^K,WGяӷXw_x?MgI@ftL< %I{Frm-?XɒmOU^1< 'U~cgu9R\A5KiR3 1Ě> ;XF4~j3さHWo̵D)V&gbMfa;[8; BGKp1Cm2 7B`Vg_~͐IU\˹_p6Cnj'l30Ny3ଲ/;o h(X[^Qtj4#/2 àAuTQ fvEF`}w-:.6:9Jm-}Y2's|2#T!WukDAN)g;)nY)ZykԮV?ۧa/O@(Df}I% 1L-B:* m}J_l5>@s\JHEN2yRϏ]E>4iq}N&"sZ5s4yZyМv1@V×kLzAƄ`d hZ,@)s{EvFt*+ Uӄ46~zp۩خK+t"ֈf}hQ-O>H/|Om;3bUkS&O7e\zmhrП.t;Z+$\,ZTҲ"ߵhF>0ƾ#&}6xǡiI81&x`jT$O\[#l1* :<͊bx4\H4Xms$ʽ$OĔsR[!w;YE)e[ ArWm`yC&3+ғSlէ,8'_dn_0h= |"`MJw1}buUo%Dgga^3 Gw7O~^UQg)g7i=>pEyd >]r4Ρzި0qNr` 7%$e~GyVW'֖iB ݙ' 3vKNRǭ:(Wrg/N2> YXR?. nV4C[FbWwȇ  Ƨ؄rmH4>%Km1WT%˹ a,G?`V͘zQ}2`Ss*<#TEo)=d{[n"h,ZԪqORMȃ 5tG5+)( Y 4^:.HrɽjF\b*12G {S֑JZmxJ&T 5P-l#pWWr6Ie"E~%&,U"=yЏBecF=zO|wTyynINxz:#˛>"/B4(">j`Lj ˚eK9hb*ʱic *z(+bq/}|)JiĔ Bض@*~M -K!GwA0&s%Q>5ŕ-ӋN|*B]ûm+-klMz`IX|~pD=Q'95#ɥfJS|W&(;|7%e-inQ9'5<0ؖ.jأ"06[χ# 0ku)o?Hr | Q-1 JC#ANGF~ml/M&7|{UYT>`p4;GJ3Xw D̿/GeB E LlDfF{ͷRfIUT{v OߜEr:/Xa]/xw "ɟh]\D_!VMXǛ0"~4S,P-S_&R&ÑW`}HC @I"Py$!5.1~k*vrEQ]5Z¥0mrLy~?cԂ\iv[P;~UU|g\t[#a8 Ɔpɤ!-ep3PRXG%*aaId4[,Q +Ph+Mqma8 J|0X59w8bEÉɠm271WZl?do۰Pʩ/gC AD#5ɺߣmݏp`#Bg|NnCkEE_%U+;l~$VQREyr4ar}u}o]נ%!7YDZ趬鬳Iݺ,TFce!>c=H\?3f%~ Xнv}qt=R$0mv?a(V;6 6)6nǃ:~f2@I`ZW^ln)so%n pyJ6`>[܈m.Ȑsn[WfΞD(GLN@Of'e-lyAykC !a 5! WEi$BC*jl'\ Lo eArkhrB+%'HxVAJdfdZӶ*[O K?);~)գֲhpnP¸KU]ǣTOޣ) O~c*|}Y^W=g,W|E3(. jͪ%BM ݡ7h䆓X40osKaY=6*7{cQЌJ#<){~!3ȩ\2ii}`lr?@HL>7(f}FaB+*Mx擇"rl pOG,9z i7gV]y|{ɸ^ ~9IyE,C~MKKl!}RgU:qk 4ȒM*L*4ϟy?n+:$eOHr c6 l=zpV(8i±>H'uѳR${CGbK@q/S(*m7ߡ{pv B ̧xIzJIוR p>BO糾ݤ`BS''4?AFD:H<:o Ev=?}j2\'VEg"K@vV7 thӅwRLǭ"p@Iuۖ]~3 Y>5 ɀKr\ YOVOC. 'igSבֿddJBF2JkU~'H~w iԫO1i e& MԽFp-{ip"QEMą/矦6,$[ ^$ibc:s<);@xWl`~_~C%&@HP6[FE^d˭OE0eʲl=h\ia!FvG1>ǺHb?Y^'4(ZUY s8%aW/ eB/Hl!spʴF0|!`nSeտGpt}cQ@%{'#gpJQhJ\TߏmpDy]Q{O\'G "Sm{> [#IY԰kN0))*dȵ,ȹ2/Ons8qѤ*K,x:6viQu0/ }3 ;aLZm&'>Y ySV,MlH00.NANH Қo޴"Sf_I͏ GHI`<%Kb؍܇k[G^mn&Þf-"=u{ٿnРGj _}.lgd"&FhUOQjTe~z S-HUVr1XBgZ^dηiiU66ZFl&p#fQcl2FB &Nn(X -О[K-N9MĬB.v#qQѠFX8]IAM]3xAšZNu)%+/ИE>+/BDK]XiuϦ,T'd%L^ẁ*P{Լ'uMp]mazD*VqFg;Qd}}]yTRحpq՘}n^ڋVZW~͊3.p(J!V?7餋NnmbE@r΂?KՏdO`{rPrsA{_V_ Y2y& ;ӓرdyc&Uv_80?LSR[ 賿*hIT8~(+@pkZؤJO |Y=G t试~˝RrGw3G1F|1yj^[#~_?eUY#^b`ٵ%VfaM]\ݷ xCc@ ~%E'W3cygۿ ZTۓtqsCL"`"8BD9Zs8MHe@ŠU'F*/lP(eyɁIL*S28rʇeZ~LdZ6' 4ty$8l OT %&˫#0_ H:D/xeŷ7HykDl>XSb8.f/*K6Oer|mE)(:-2o\4CۢT?E``Rdǀ.t#2 .h( K՞y4r\:ʼ Akp޼H0 \Ne$tҥ &KodhDcZzY_; ZU-P&7kjg`!AsIӒwaJsWSSMc+Y*EvEH !r_l\,%B}=ZH w* 3nSy698z,En:m+ ldq6No_*z7`Xtj\+R]!+yRswcFETx)}%ʮ0ٳq0wjt^|bxAƪUwѲ)+Fc(3ꢒ3b#wNurOX3+:7C| %nWrK_&WXuH2ٕ#|7'],i!U Y)38/^dy" =?'K~mNCʜEl'AJP웍 18^<4,c]HfxoLg駋ێTWw[dZ3 %14_ ґ[I rSxlw]q&jS^O>%:yz \m_gAq+سf)B1Ғڊw*Ϗ5r;9b*|N)UnhPv_ (X 6/f?GãvL'@[1-+}c̙oȨ|pRoAIɑcR ZL$*&/SIHiJa?w#)s ]j;by ~4+ ⧇H(BZ[:.˛2zNP43mSо̞ʣ9b^S;3뭰N0pgcIõ3rfՎY5,T^V vRbf| 0M9Vi4'-Rn:D>*mCl-w~ZX{U\ڊW!d1n+ s c:E;5kZqrh X-NQYL5kڝ|' ygOpҁו}^)&P9rC3 SE*$ͻ5{IEAJUeü?F̃#LReA頞Ov(cB I63s˜dK xmcbGm1 qޢm (9zxWA3$^ȫg$1!;lA[gPw 61\XHBɯ5f@(z4ez2ɝ5uz .* > (A/xsM獛y#FPx{v`0и@ T0t9(;$LZw/׉b49];oq44qgLŚ-PֽpI_ CATW9%03  1W=]2w*=ɶÀz̭(ׇ4=W#$q鳕WPrXGk8ǵ HE;Әv-Uu]c6oH^5Bgoʎ2/Qmd[{d["R'3BaxUD WVm=۲c7UX3d"# pqKisO2)V'R:wX,8<,v͍٦k ى0 q󰖴ՏQ=I~h'7? Pg;-R2`z|U@gy)?Eivmd2̙h^+kliY̱ 4pԌ{w:Ui"Z.W@t;Ar@a>5:q~<(|~M`[[7)|,H9G0w ,q!3]bꌣ6H= r?vY+y ^q,LJQPEcW7 GPtGl5韯)PRݲȄLfzڶD%y9gXh DdNv}QbQrG3̧\EF*iM Ma".7m_c\PϜ82w'z/Vr(0!v$1 & b:M y6~Cjj>~>Y#iLKi"fF"0WBE ˯mOP_7+\ɸՎjhyUԅQyP3:;n|b~'ʴ&SrH#Y$~;_D(X[d%P3~KQf=H%);wÜ۰D6cbHm GcC풸8%ŋn~iPWOZ 󠫓Oio)CeH8P>,ÞhrAU_0ػ[Gt_ŮDt E-Q~l/U]C*M _Mlpx [ե%|(!'ܖTa"9ajU,5Ѝ']7PMz2gï^^^-s 3p.9wK[dz+*R$ uŪJFcNOom/T=%-tN ;jj _Rظ t קELu}@G~ޠ GS9ZK5yRNځum(I:sL{) PH*G>ye|[ IqW~=/cv 21]Sc*lSc{ [ ݁[ Ѐ ь) f ©!73w?Rȧ'lbb(zg8%OvʭEHcLG`iM1𸖩LdФN3V!.]RbqDJ4n;c2$FƇ}idO~U2xj2 8z 0 uսV5_\`);+f~d^fGac+/Aıa(qve*P䖍|ȱ_Mm8'Q{2,`5n54Lk-,-LXclI5EK]viHhn~xrN@ECK"۠? Q% 2#OT Y/Ւxd< bdWfw|`vp2$D-2yp!g s ,i*%llQSy}^lGjbq!"9>-TΦ"!;JĢgEy~ N3敁݊Rm=Z:]Ti@WX>V&$)LfU7)#,g.jawa(Ҩ"[:5gde ,?wǂZʄhYaþ((o!} 'ul~ptI&JxF k==r`k7 Vyy0鑁q92iNWeK%V(\ p{syz'-D&}Oq|Aue\>U^EEœHKq+)c6Z[qYO *JWD~w!G2IU-AUC/u(ơʼm-(֌4M%M"PETA~ ǔĹҋly+XIt[<.JPpC0"ZjH~)%g/iV@)Me d8ʱ@+ 7 L{_ fw b%,N(98G>~щ(3f68%표kvKtv*Q|sbù ]eޏI12}Ŝ.C) 90M, 3۵+0&\0Br z@8r:Ĩ,6!1Ij !dR:6/;]ﰎC& Q )x#{8bv &AMը?Sn؅tفA(N[;4"_3}4>$ Н/;4˄\ӮN5It%Q[>01G¸kg>n'r-_<4o#yi zaՎ!8o] #\ )BcW݁Έ*`3M9˧n\mz^c-')xuУGC~gTK72 ^n>+=Df=b}wvV~C˿i&ڤR/,&+PBGեiGYq+_8J1!eY+8ܥw&Zkra 'ްjKI4e+c5va[YoHbxzZY2hPr'Qqd;WDh֐s@Ys͠W B"ʫRo^-NtzVklp0 "azȤ?# W" C0FO2|. \anj!2-x?bH׷cXh-GwY7elLm-8tf4W?4i*?mj3"1{q>$6)69I'SpV_#O 3" `zmE]I zt׊*(1OA,xB[bWAaH?3dB~APf$n@P ^U$.4%3TG;>a=c0`qjC`:+~G `7]$4IQVMـJGmw|nFdo I^b:(un{`<,~yAzLj YSJy'CWԛ@LTbV 41\Ve|~t׬-`&5T+G.ζm/c5.mf.c=gk^*{̞ݺvl~Wɘs6)p8%" ?J D Zf/3t72q~dDxl9h @ɹ,A'^*$˳AAC_'RN(WXwgAQnF䀸iԑu[za'tGd,tu Q0G0P0BՃlqFHiFwċJjX\UB,9}fiR&JtqvNXbrlV Gvri'җ%)X׸HÅ«3Fgq82wr]}kwd~ !`sKX-(3`ݍ5 dԌ*/H*g=id.1jGWNu~[1m ).qVn/=Z,#žà+A4jS;:iÁˬgMU8-0y1z|'WʓnVd-;PJ ۟BĎ; E!˂J$T}`l"6$[N3˛WFWm%urz@er{QCz~#lg^$*SZjKXJ+XLsz$ ۷2I)li~S܈γ{HR yqb֊Epc2}7jo(x)h+{%ZL><.)Azxp8S{r ]v,.D69>%4EdunFwDBbHR^xuMARCN5ٍWx|Ź896S.7rAY~^Sj`w$:=1/u^xX[qQP_b =<⪦f?nHd[Ꭱ珴rkɢPVl #Su`Щk-9ִyV?Ήx'52T &Dիь;S}8\ŻlrC78o`WivC@BLd"]b߫5>+'$mG&d UțQű-wk efsfAV߰?t+^4p9S%zj8ZbI&%o&}MjeϘrKj›ǥ͝)5Gl'])qӳ/9hBO\~%R3˅UC|x6>Ll|q| q`k2EbΔhTW4 Mq~Jami8h;UqHz+w$`53Xe(ioa:a(j_[y]  '`<6 e+^FcI<wPF1}{$E~k~&{mдt_1I9ug$"Ǜcʫ9jAoVB>,گAi5.aNt[ W4'ٵ C0h]]w %9K_xi#z%`퇛V¥ ֞uwDގMٍ7"Y_]}pwz80Nb{wμԏ.ji2s׺N"[K(տ,N_#,5M}D9Y$s_HUXև9n:}?8hu9"Jbߒ,YBNw݆~i !"pp.|X_#?"1B2J BX$֩'m,|U'E y`KcV+)SrY},EBU$vgUBMcxMՂA$$uYy:U ʈL*SO~jw?itشſE7lrޛ.)ξt C898x93562-SSk_KAg &ol#$#F-?i !0ZWRTyn'cMֹxA2nҏhm9aHz= |!ȰNca;xuC _(%@<Ƙp?KӡXt_{EGƕ7R =-;9ϭPCxds(- QCƘwE;k.jcߙ TSm|c痣{maf߸D75jNȾqLY,Kj˩&?[p@'9˾N GtI3u=cw!$[.ó;j+ߗs 4൷: ieHxP9u)ib_^r1Lɝ@9Wb&RϚPV+oE>1Ufro N o*5A6 o dUj 3oZq s.ޏ,~޵$gнhBR( ylX--yMC'՞h݂?>1̶jXա[D/O =_uQ@l_V߸roSLPx ?u){$ ]g+tOB6 ]gp̓18 ;e8;ҿITvŠpTFlpmƜ媷XsC'0jUH,H*dO/2; <9CEġP }-Gү̚ٲx,'LVbx6O;LN#8jOwDMhnS pDé+ '5t 7* ,UoZMFWŦI[u_1Β׊!`({eNJYV>I\+ZIX*ZA#+ݎ0<2_qͦyʷm<$.& nY25K*7Q$7׾6AEЋh=4fQ5>/Ζ5N,_PhЎ u<ӄgO;dc=&3"]pYp&b^lSauPMk2!:7n4LwJQ3lX:eY ?dOd4+ t^5t*:N沎Xs9)ׄ%c 2-_(BTp>MrK yn\o=ͻRC&T#=yQJHsbRir~sKq@]n_2=[{/ň#fЌ6EcbFy̎ԔJ^;\Cgzs> u(b 6]Q|DKz\힞n}a(\*Cf:y2lA_Vf4uE.mu7(_Cf8aqRGDwy3&mqGwLa1e\QHOuQW`j9a!rH4&|lYqUAګw8/X6<COiwsLu.Ɩd}P\;=Qg Sg ?dpEK/PJ^LgT@ya(K/nE] -D>TGC5+sgÂwEתA.έ:E`3($ԬlPqm c1S] Ve,4$\D]LIR#%[Ho5B[ZCQg6:I*v8nZi(J%>KU:,x xصeZ,cfza3*Cw?+7HB[U )1uho9A給:hV@Xi56-eV"7,1\AsZL˜79lˌtUPU&%.`2N#oM'c;.? s: 5NrB6RrIb\(MJxz8SIJ̆bC,cP$FEiqXg"ңQE]۱ŴzU$ /-BwEC35)nT{Bkڃ4b`A+'RDŸSB58Tp*ߤ RS|4-(< ?,pB*l܁ـ]uFE&?u/m~=rJ}mj~~dsY,Vgyh #P\wgpώGy un:!jg/yNn'T-5󣚩z%0a<4jgm`Mۻ9;U4 DtYGv`FΒ%|.4bݎJӎ^3~>/-&({R:+m Rt6ϩ/VC):[z|3^bYu vEPSm}sр攝\#av`&DCXUZPnb;$Wl o#b;eg?iӡAܡs'3 66 /'*e®5SV+&*93ێ=.]tLG*F/1K`Yg1mB2ޗ1SW* .$g\N+Kդ,q_7ruÒNO~5u~yv,I{f\~N:f톁R:S\bݙUĐX2F0u#.hգ(J P+а(3/|3/MJ(;-AvHQ"2썄zH8oPQ-XEvA(tdE.ž\$淕MaJ9.\Xs(<`eEOț<:^s U:q96U_+!) >ݪV1p(Vejdҗ 3F^W:҉3-1|eo]YtQ||t} ùuxOCFLo⸸́p[kD鬞e}aS+8zfD@"49Z|]wD/iJwI *<袹g5@S_id{}b;T1%8l~D<=|t[9\ "U9GIq)'5Ɨ +Vu# X+dlGF6нjVii'MO[~<&r.Q^6@- kVAR {L[DtY|[}=!,|fȅ 3]t%)qVΔ["I}4UϚs;v3HdLA_枘ʂC&7{=k }"J PwitOhxl/MUcjV6i[·rmi-`]4H$ݤ(;]ŌG'XC[^_BϬ=V`:kimIRpӓ缉ɄĔ*$tƯKv !Ĥ>4SSulJ\TUIut^}śutjr(х`C<>ő[=*sLhg؆ yY?Uq0)^$ &uU80 kT>&U8}iHu6 rAb *s'O5N8~[Qr0󙼼Jw#_yOՠG04B7N3odyüV;)ktF1Fq%]2̬ ~;Άo+PϡTjBCGf QٻG"xe^- L-ÐGo <SsW9/GU1'?k1_ҳ A[*zՄ7S5 ԝ4?h9"9&3[q NS$IYyS1舿C~8HM<۵&$e }L~TCn,.l2T ClZd+b;K:Xayҭ(um2[dMM|"G]6vn -~aFݶkĽ>'/V!EIڧ0#WMsƚ{g妜?0Jm[PW 92"jH*QntĒ̈8:7DPH3nȯ^.T_J2mz=M3 < V^z+rѲq!{.qd:$c{,)AQioŠ%es%T*t 7MJKޑvSÝt#)Q&Rx)'D=xGӳ Cx7? Ћ:qTmDD>a("Ky?6eu&v ={:]U}"K +Ls?1)ÿW{sl ?iBd[(nrotuv}X$ǽԀ5m"Wy'<sGkoUl+%\ro#‚A!myP!EQP>pN]:aٹ\|!as?'*oౙjFYL@ U{4[^]AjwoaXKKpO%?5y+y ^|mIX]i"G/r+ٙ͸Uxs=RcRg9<'^RtV,!fI-A>WŸI7=I;(yst>a?` tpΧg)a0\ahwnK/gH%MMW]39Lp.Y-#9 J|X(i~luQt*ңݻB61w7_.9 -A [娛B[@13&/h XAp T)t 6%MaEd"=@1'W%tH_ {CRn ዡ9osQdUUpwV]N/KKV+;-&k(BA9N!{x!i@!*# BŨ3_b@ܓ`M$XaoKB1DP9M.䓈E`IA=Ge~?uXIb>Y#Egb?s&8;[$E:Q'n $7!XInR=__Άj7>?z-O)nྥ ]v*8Ҳ\cTxM2P:A;RU+hopV^'ڍ\4iG?`l&SeKH3Od8%';8QytQJX{ZW=,JG0hOt#N!xÖZVzp do0[f~S ^W~ӟ$m)NsSNS!M'DT$tH2W s6 PӇiSHi=;B: L fSu:vвFLh͑$%#&&&F+a%CkBP\́'qsnrN}{Mq{ OЙ>xiD:"К+V쑫-3Y@=%ޔTJxLuh`sJVl,ꘓj8JyvЅL'==#4n1Q2CƐo4*AADrA!0'{>/l N M_ua;~?XóJkv\c$|6%Le4`/N-M5mJKz{Xnj ՘kF LZ~x'LWFVr@7~Ue"9`C Iޏ#+Usz@$R/Cj?lz> t#A9벅E3%1(z0DVjG%h:T3@>B6!w+4G627[ztؠzZVˀg.yX} /:VHs rj"@2:Bs@M>>ʋ 魶u7+H>W}Q*0%nvG%|fSY LB`mGh,`L:A_<#zu Ҝ e2UkNށ4kGþ`؞_8jyՏ~ptF>}%๞;w%˼ ׃!ВB^/#w[ f{CIc6mQas%ѫSZ,Wg8o8@pB^W.|eFy*Α(sF OKNOT=u4vk .Boő9Cw@eVChBdWY/8nn#/ :ItH$Li" >)|88s.q->1K`MklfyW Ͽm< Qc76YNaң.MeGeȄ{ Sl癁O^ / 3X]s 1:0D#ǒs8+ͼfuWt]՗i@h._j'eȆ dJ3==3ٓ^@LSO,Iuȅ!![ͥR˩^=gS­NeyquHa^KNe?Wnk $~>]`Ҹf[qJq=.x^0@tmfFFV塄2vH@f< lTdxxsDzF(^Moǀ? \]=l6s|1Q>Љ\ڂs3~\F@T%b[׶-q{Y3]hC)D_W Yއȿ~YW>U-XBF?Kiܹ˫nmdq;H5*OG V[i2y\erG8EU}{`*2$1%vJ Qd716bopE\ a6uEQ.Rz"ܾ=sE!74B̔_a+!쫞gj-I'0n}U^OφxGs }]Ux٘ N̙lgYZ068c3c7c36cd2f885acc4419525fb0340600b3afc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d040bb6bb06b2ee524550897c62da689062d71c9 753646582c4a1ec9055d71f534b6ef868adcc0c5 0c29560e938bb0ba76854c7d10efaac7a2cf90d6 d8a83eae4e0aa9aa2cb64eb6acf4e41c6cba4f91