SQLite format 3@ . BBh77otableisabelle_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 *5<,$ ]S HOL-Nominal-Examples:threads=2elapsed=681.514cpu=1235.952gc=119.196factor=1.817zXZִF! y]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[Fka_^O'T|@_SJ]85 A KޑK"x?}wo"#7hv& [( r/f|O(Jh% zHlxse6ip Em6 4nt M &ne1x ,@WٿcJ`pzrN.s &K7}G]%d 5 HOL-Nominal-Examples `+h AD *dqUGAdH2f 0 a~kw0|]Q>OelSaN(:;_IJ) þ^V+;&A-\p.S g8TTToG§o)?^nGԔȃj|.'}R h&#$(&#n MrYa!r3򲪽I/{?㡼'H0;r0oSv٧ŰO{ҫ4zmP]DVemCmOK9=zʦMttq 2lnjPnUF!:Y !J-%/l+|0uUIBqI= @aC֌`yK]3v_!*c)ַH|z^[}$̄i<`"Jzjb-~X7L-s'~0AQr,VQ ehRɌ`M*ƞ(Ge "JoS0SeBs|WDXId6 tֺcG] U0<Ѱ*w2AҦRɟ|T <lFi(_34hYxC!pt9xWƂ2x-s&LϦU(&N6~ ?%)t'cMg?ꄆy에P#"π X @c<eeE4W풲C7_ud!E:Pcpu"nH!%#x (T.(ӰE?Q3>4B;ݻ`հOjwoo;0^\R2l'63Z/ES sEsV[Ag&"*w ̈́k8@,C$Իi=}͔l$B9"a+GU>9{y<΀'ύ qݡC,dŮ9/|O=;lw#S f()l0b KewH PrrkZL'1Zoԫ ~'Eۡ,aXNfYh+] lX/˓)[PѕN\Э#H _2"*=.5J6-B6,H>yp8/͐n.bz#& ^JUoԚXfѶY.C)6pm{k/ZEiz>JRѲGLT'@0-|HDi>oYM TeJgB^~~8?P()Piʰ,^y_R⬲QT4Ŵgq)(i@[q6-kޢY [&57)|iW{ʭF)!Т,-;4?}Ő=wxk-4-#CBUpDhkb6j O^jm=9ڹĖ _k(]R2, "ˇbѐTIz(4rzǠJHm:?)`q6Vf]N~^k, HBu-(rj\{XWTk+Ε/.!Nc_rnŗEa_x ZMfJ*'Լ.dlJ4_8y ~CPFr;/vmj{2 X;pmïgkNqڄThgb: @ykURLt>} PdVHw Ѕ3$|ٟChL!j)7kb$zRYpMICtT뿓 d) iEi)*z"N)|lWMN;No̸z6Yc~Xr2S&6(a{eBi#WWuWm]7y7FļOP?)f`UYtWG2Y=Ŏ%Àg y$:qdQ25bp阔;zOFX en9ͫ3Bv&e&S)ܡYsJ ^W:jwUY5A[a'^ U^a^["m9o,JH55vs1-sjM3Z8>%L^?C'T75o@YwS6ۍ˜U @ㄪ+SMs(U·ZD::VsAml'`1h~z4ѕ$TJ8d<(0.Gk /L}/0˅:Z튠IM\qn>7! Su^_fYLtY35?ƪr7|2/qCEdt}v;%e N,'ir r4g FFW|0Mk85SQDλ7nw__6VcyukSblOQ2t@cqaI|2ipUr{PhesǺ{n'gpDo,tw*La+7PuJQ.6jK ָ'A$رlNj]By}ZGHNx8M{]o7('cֽdS겞#K8dLU9Q}ے|^O4FYXwHCxCHlLج\}qU{ۈɥ!iBZ'/UF"#"c#*%%(`Ce\@/>[lXz2KI*ʼwGD{\xfCx^@xHD9:&cFv4>@Ec92qD-"V2_"ɥ}"EoAJ~")l=~DR$u01c𤒞LMCfc$G_S; S =Ǿ(|EՓr(*}LU#*';9DJ> \z3rt>;%M'dNUTW],R ^p'i*ꆷ~te[$0;]q?;E2.^I6DyfjUjЀ XǴy?$O 7TfRiwxMJnVe{%j83J-_;gaTy٠) l9BD0 HbD}q Gc<Lpƙ0Q?.,-(кIUO % K~ PbZT7لT۰%"<\i:,vg-ki!^2o8^\VEo`P"t5 y"\fY2CJ&u&Ir/!S1qzzaj-sծ lƭZNFXsj{eR)2-gzSK9t5 NԛU nX'uHxѬ~u"_#EƌH ז$_ocD-eLn͙5d4?i7P_wLvV,4{۹PݟO3q 0Oy+Z=(@ 5?Hfev{Y! %:¥CHb"PHm+Ħޖ>0o+dpҬ[}A@K臗?џA>'\J:Go&Dt`-&w=3TzpiIZA_m )|c~SY=:8)wI:#Ozo$_0msQE "lՃCK=8'r!+m0U" 'UVʺu 83 BD ;Ɓt}[;[KvHa ) GC>DSz1Q\O[@>Pn|.$D3F}ˏr+Wxekɒ6v)(00Ԟ- %OvM)F-:w$lz/\|EY*۔rڇ.tۗ=إYk"*OߵձC CBSXCˏo0vAU|wހ!V`7P~V$_6sz?8 !2L"_tdd O:=,"Fh! iAʾZ<&K EGl+PeZ>7n. N~ Tp[nJse+{='Vӗ6]a*ŋT ?D` G D^T$"FpٔӠr1IЌ;]nM;zb#AgA 5C ^F|G3]oJÁ6- lXn@Sq(2OZE$JʩOߢjĈ/zD+Ͳ%կ)|F˧45>c[?Ŋ{gYZ7zXZִF! d]ŗXiɟ1ʹ l93攀Lx3 a|]gFg" /a]cEۆ OA;ks*yL,L]W%~ =ifͷa<;#C2F$\n%N4+x Z7Jn^c7 Ĩ(TgFE7%,|W,a'<%hiҬ4[ 6QKBf GZ!7в|aHY.\O 櫖.>DŽE 2!<ץC YI$AyE|r |F7۰o<'zڥŌL51jF"u*ˣo_-h{d~}WP@yV6+>yϚ_LHDK倎A/Sv2b'bg|X_iԬ(@M"Kkؕit .!F|MTnRA @pmegYZ7zXZִF! ]ŗXi%9+n汨,Be7z-cw>K|"vE ה Eo"Ba:c +KW\E}-lDTP AO}m}\MuٽeSo-H#lCVsVX WѼ%v8aB<g!Wޜ!Atq?a>*B}k-סI`<Կc$ MzFhțU}e^K+Ȳ[i>24/i֤ #%uu\kKrg LZa/n%,jܣ*Ud6%GJ/ ^IX{^ ϙ8%Iz8'v܉6X*a3d` (>JN>r00So0{j?]hgaHƌi!ixC6Q)Uv x9ߔ-v<"y#O%+S6jpӨ",aiL?`g}'%mHN5Xr8.#M2!!%fE$cB|1Wjm<14bq?DUao idpuu㹊qIg"h jKշSDOe̿!(g>,Mbs3mrEb:QU%䆩FUwBHBq\{Y0bTFCbjlI Uʻ]d -wſX{\A,ce<1Fo'(2I ' +M އ 2dn2^ptI%p5ʚrIC?@2[R>'r-yanñ?cnǪ˃i Yj`<]9E?вҾ N%Y:uL٠DڦIޘG?ob@Q^y f>:EyNM{  6m@;@p.L0,axHj[w<_1\曟D}nBAM: XMq'{hi]W@][H}47D_Eg(_ gk-H#>!rൔ%u8 3 Tebӊ34mD6#V% )M޶u ȉHl=!I5Sg<%'R=A %v#QZc"cR HraIq=ѷ/ \S4xZV灤tNj`ݞ{V~p:;nZMY9[uڏ3BCK[ G0NmnlҺPIܵ}N^`0#v.[P̹Xˡ2r[ R4\`R,JfQ*yhUH\-Al8YW K;$zN g8\lx+`Q!A "ypu#KQ62 Zw'O.Du~5Ff l{/гk5z1wFŭ+U sOotYmI V~|lTK$LWwh44d)Ѐ "e^R &5 IJ09|l7uҝG~, f=qh2c!ǣؾxW4!DRD+DoFLJlߦnZ}b\>.l5$?*m¿ͳ Cƚf)H?f=ף׏Ը*ؠδ[,b f=MGS]#Ӳڰs"blaQQjZҹeYMLݼ,tUyzt=: U`,K}wO}4؝*#;qVu`\~}D<; \(*8 s1ߚO< $}ITԖY{oIugRyӎ+i-ì+qbBui7nm'Å/MZG3b%Ŭh# ~[p]D̛$XsYRhçǡoxIM #/u6yvZM5 #e-T{Mɜ50,җ>{3u@'~VC3{|g"'\@É7KuC&%Z'ϳ ? i' X p=rNu6"6Y-4V;NG _r< cdsDBQOb l+c\5S6Iyн7n!<bHؐJ 7ufIB8 1F|}:LF_. 3cA$ B9TS_@IhB:yfO= ɓ;'jqzFҞ9_#.bs}9n.^izr_)(U4U ֩漁fkVRaߊkQ7xo׽гSJحV1t"z{cPQJe87b(zL}\*;uUm-nMz!'6r9Ze"Ui{N#n̽滪wlϚ7(>Xİɽ{ka&-Li5RO 7[UzK1 9y%;+ʀu ]9!x2ߍQ=WEk__ "Vf3&+SB >юN)9-B|2Gݳ7+/e/hlofcP9=Շ,|fy <p`~j:}pV非xI/KˁDJZu;e`dlj7wĘ:2y߻ґv&,6ܦb8/iV' (b]Z)cAIrKO;߄i쑔g戌c rA^.[`Y C. 2 S##cv}{,ڧ(NPטt9k}^OŒknRٷáQp%o'+0B̬cn3q|Fb^jdFidE>x:Մkژa%2D<{[wm l1dC(WrrݑYt@`ICW*4_f>yFΘլj[zPBAs7jl,n_ԕ2|sҞU="u1kPAӺpABCJEx^iT*UB>У>ً'OL(/AwXzH r F:-|\WC"FAxW.:T2 /| %STij C^K3/LTh@-ɜWe/dd ֫ ㅩ#g}S)G#t{cW@r?*IcLNVqC9.;ĦyNk"hɱ#z3VJ=<;DzR+ldd)8!I%c^TH!# >N,3f-Nk.hQ mgLj m"`0A{@1` @eaí%2?Iim .q<$m&Gf_2ܚY=ZKbOGL%wS>:݃@F!#bz{)瘬<#"mCA"4`ALh>oi#vR(l"ݽV޾$A(6ÊkdŒQ[=|GsG*\"j31W-NoށZ(LKcfcX9g6i3R|4b;D ۽4(^Qm1;>w4ϯauMu<[y2YJ~C4-q)(h,-.|7uCK %$V6Hف݊oK/ݙ񺞶Y74c'7u&va/_I5l%SJUIU3h20yXxYY~HIBk"PM ]MGiFCnz:/f[^FHjmsti>ۿǻ!X26#Î6ky\ax1P0yGH5◑K8GAH#麫1{`BL[2-|f=S#D*P*쀂lLY8zI;S<1Qî~Ȩ ;]70Abϲ$0WJ>R|bjoJ 7 lI?<&.5kwcnH]wyjJmiF@%dd-O=L$ҷ+8ҳLZFuO:;-32eQ $hx_sҶeTm. KȓsEj-˫o`H4FUR'Z~U<|veda#n&-i\,Z$Ie#_V1)왕:R~^'~dAeM,@ U4j6S.*g5"^z<1PEeMS^҃!bW.sHB_{zԴQ)Ho8S~Q9=lbq:w uIx~QX=. = N<́K XUGf7X>2S seqTܚGhA!/oh]Lj54U˶{̖ z1 +E+샖p h78wPAb"`6 O_C,dL!@q_$EL>LJ~^(ǥH]c<*t{~ },i:;t+׶ ]Ux wW2 9+qtvz lpV S]uˤ^ %<7ToL R7uv6#Ue ޯ#?;NA/d\\][>:4CJgɞW&3jA!F1}ior 0lqĺjt#FAC%Pسً<BN&LM܃Hd;SkOيy[UAgp4H.=\Zj,O&- .Ui{DD#O*6&Xs0 @'x w$ټ]ͨHu]Bf $F u{o0CO~ejE&X2o ifYpeDë.Ndt%V3IZxi().i]p%=N#@7yEOOQ[!!uqiT_"I4 IQ`?toi wU$Ottn0;,*a>FRaf@񡠫=Jzwa v`يcݚD-I)nحR' lBXc_dt6~Қ^Oֹ sGT,{,,+5fZU.c1)ƶ;.TLYl $X)ń}%? = ///]YT]g"jJwyV8YSny&QݺN9tC7%0<n?pd, {HputM,096ːs!2b&N LڡoEmW:F ݥs۰(L_\s@% xB1$jMŽx ä">&*#Y( `n)H؛څ;~=[ #rt 1ꜿpW$3l=~{ҸPe"ăbcP]3(Hc ET"95ESO8U %|^ȧ S c)F NN$a[C_G0no5LN Q|ϣB#0k؄- k13xq%:į&@?Z~\܈E喵Az_8X/!:ɼ7d>}U—崳X*&G^@j5 5~DR(OɹU'W|0\JN/y' vSrT̄g 4ZB5(|Ë>@} FC!L_uI#yr6@چ#?&|3~iE@K|S2&lXUԙ7<ƻ=7Avkǵ+N_8~g^;MHY1QoԳ@H[B8l'\lcݎYҔg9lGjb t8-U95k`AXUyr-N\9Yo2㳶N9 pbۘE\xbRR VH>=n0aUESO;}tќF}' uHgBh)(շZϿF7Mv2?Y!?3ī8brGDc;nˈm_뮅UV<[z]Ę:^q4./^8e ]h˙tCs([*,ƹ $8Bjs޾{9\} /A1eU!fg5 k|\Ԙ?n 3zӍ&9?bk/' _M 8i=ҹ= n&YOU9GhkKƸ)$ C٬!VPwQ,α$N?):Hy dP?@=a}nYN%a7qkD.`.nu>J?`؇ht4I. L\" ֛5KHxge5_~cDG >Fʺff1dޯ l5 Gx3hA)?'* DfFߏ0lփYj ؋NMG5"։.c\dk^sh9xA*[ zWK9]^@3?kͲ+skb 5,*Ko݉"7R蔝"L IGt -c?GR`{Xq$WTNt/QQAe n6,]C!ǜփX>d [Kf?@5& 33tB.Kh`ʠ^C0 κ}oG[A߉(cI]$b=S? *SYSk[fy)H \$3[xnﴣH6 \rvh͇t|pܡ*4QFnɳml#}#7gfFsc3o%{Dm{ É+N]<*(яgu9 JzƇ g}XK接r{Gf=lL O$f DTCUyUBjDc)s+:R]pNú}76*7a{&LHL11/&'6>Ų]蜖@pj;iC$9vE  ("a`tlħ8HiqFPY7 ޑPNs j|-FȝAпHs\KC'@NeNTOo.'[ X,r`?`XZḁ(*i"/$z\3 LjT! wع@k,j%깩KCY~hXνzld@mZNNu`UGKn"gD K`%i2Dilyr#ݴ z.A( 'x-&vФ ̟3fE=CƏ`zYKF$a#hQwjDazY7T G]I^9OX~@dМ5 1keqp3Okc!)yD}Q0hv_BB<&1!ͯkx~a/HuǹBHn#Xuj)5 jc]nndJ$ƽx5~ HŹOS۴Q)%g ɶfIw^`8!]ZLvˊV)c[B=O>ۢH=S1<7:>+2WB7tk(R AKe %bGn*TV^8~0:3x(2j(}8j|[8=adua]䫽TF8%vqPc0^+mbsSǃMiHѵ!.BkNDxL:jP=G/]oy%r㠉IN)4? 0B-T5w)wKXEI"x^͏ `0\ۓN^C'@dı*pα ]{nZv@GN VYUw@IL.zOkV)kۮȬ=sWuĩ[09,ä0 {{nc@ r棓kU tr{Sv~2oKT4էm/mD3*@իCF{މnC'jŁVڭB22$|Dm7}JFH$ 1߀/q'f7`Hm}F=8] td(=[`Qx, .qƮAM [ 7ٰdM屹1y"z.O!eWr?zVLٶWR'T5pƨtWdǭn /*=^V`n㓗{q&[h́.n1lRu AaPGsgG_y,Y*O1nt1 1#Қ37YF{Ήrܼ$TOٞ.ٍy|aaݫM+:cLNy-}kDH!15=UmyixraH'#L#HTrQSE\wݝh, M6ާu*11 ڞ]A"8;絈$Q15khIylFYA)< Zұ}Y<]İ.fdϒ+.Q vt"U_2eCpNDi;_{{檥ݎ:`oI yR{m mf i,'Zp7gUؐ|bXڏZ@, ZߵW4/I[̜zgOP7 lQP9GʌLaK]E4K.sӏ9 f/銳!9dbe֎WW&>K9N7e@:)|/h&%&{'b3]JM!2LߟjG yg B}xfZ(ܖnrJEI'bFVo% lE 1_;0:-<gT/ew+G(vHPAw mgt 7GK;p  ?tw,^j NM1Y4@2yIWtݘ)>R=uRQ?.$/s9b'*[A7~iڴz$''I91UѮC#İ^~47X-E'o&8}:v^Ji"?2yN8ò aFוKP<*˃@,T~rݏNo7RB6 WO{ 6;e>^&)#m:j'T5c¬h.(  ˤ~$g)v?nDSQK>c(Def#eF,jM/ТXꓜlM)0*Z_-FшSŇ#\96w 4ʝHVMwY"յK3 n%|ecH+ jD߻{^Bs@V)yN =JA彡 䡞aUƬ8Q/r0Z*7MW3in"OW ԥOD!Ȁmmnӟ>|#<^:w0JEMʭHg{Ta x-7iV@ۧ "MqGgi%#QI8(#r^ @6j82IJpʜko[gaVꭚ.AoNP!8&_Ƅ4PO=~+FH5JlU;C>5z;“N&L$ S=p`Td([brdg9?51(//SuE'}oWcSq7DDFJ'~Xfovg, )FqE-0Vv{lYZJ /'-f?l?!6 ?Vfk$:^ߴM=XAT2Nv`Z~PAE݌T஥%3nԍсm!?uZeggl[}6\k`ZŨ:"Xv'd \lѪ4)Dm>Yl~B=HiH^9g/D l0yg5>U*7 _xsb ᅯG$ "3cf6M';ݩN͵OpsTվqZ4]Znw BC t5SbTMWc'O D>ٜʥ ղzUU>Be!\|墢wRiaryt2 >Mw9FWm KsrhtVb_&L3޶[PN&Yw=`IdȰCή_Hȓ z˝io>YmmOOPW6AȏD;S a)ڈ"TS@h!bU?_sh3LFWCԨPRN6-IY}HK'"3xDQ"xr;}0X.m*ԑDT٭=J$2rV;hz)Rϻߔ%{;OQlv)=`mC; h7< {rسCFJUA\#T`M).?)\M)%Xk~ MR\y RONߤ}pcۿS' @  N~ |lz7޺xY?DgZ)_5gW(a&E={klqsWN|ڠ&&tpF.3' ^X :hpJ-QJ2xCWGoZ5H..kbĨG0Xy>8&#K-Ⱦ ;#͝v1D "'9}e"03q#~O*3O9$y"!HUOxƞnuP{} N&&) e:j? !T~SThc=dH!jYUE o[BuiP `.]5ľ* ]FHQjL&70o-kK NPEJ3S K|&as%kO#]vF PAX(X#Ey̖/+j `9Et[`mec*Z@y[2HqHh ,{^A Xp So Vfv0fΓO 荲py3?LڝŇA7l!y]q8dR ʦmvk37r?]6I(6IխozI?v^ydUܶjLN)j7a(Qn2"&_XϚÇ7U1xˤ h{uNxoȺ[6QK-2]'yjTͶJ2\1 C[o?T3 [j!' В\HzVT1?$ u'ő%Afe^pB}^ bŁ[#gxIїg܁15+Jހ$ռWOIekq|c ӫG>[W5a{D#LFBcrr>;OZ&($A @վΕ|46M_PwBYIl.MoOw|DQ)&QnMģ18:1r{{HgYBDMkH2dY7 Z6"{OǮQ$zf _g%5B˩cJee9)`9pY_)Сb;ZE`'$x!D6An"#wYkO.&IҴ BIb׈AnauXV"d_NOp#x+'=*896řD/ͫu/ֺ%=G|*e|VbՎV|R*tnt[w!`^脗QeΧ2};=wʐ԰cklߏ h CMsNǏϙ9a wLwvCTn2Tѥ;42#퇅@/p bKWU}) pt6Lғxb/@ޕow>! fnXb1 oLeT6,?uƑ}y 39o\ 5KR2 ht J ꖐ44HB t`կ`}5P7SQXDIxDs@҈+F MGLj̽7:Uj%Ue纑>PH!$;8ik@cjç@瀽= 26MB}s'DA; mC{Sݧ_ܞ)02UV^b01 @ˇi9gxv^P݀f̫[; 7DLy޿a Zr{Ek_}CY'a%Si hVwJ|}}[A |) *q*Yx+~\1/G ID q" <(>aH!UZ#l"#R6ږu4pŪQ*Fv{YgMRe95ǃU)f^M )Qr!>㘩i}a#V$#=†ᘴjzs7yڻW=6@{3'pZ#a&}ҙQ l$fu N3p*UP2W#I8miAV5CqwrkE; ܋H=8aGT;iA)R\ϲ  )b;}X_+aQrnXnMey.k+uc!cW 9ɲ|cwyK}W8(u` _M'riӅumHt(.xT;pj)\}Ir4\}r\ l>E.rCT[H~yg.5.4zN7~.;oͲMs"># jHf ]p1F;[h^(趔j夡9utB x,0,+MB%bv~}AD[Akce`:ef3'_2jXg:LoAh LOȤl F[`AZn_AoK6J r7R,@ cH&_e/ׯw*D`# \X&(aM1CP]Җ$I(cWW"`ژU[bHqG#mmE7em*/̚boZ^"GytDli}.:aew>[@K:B1y%f8y?'^fCb1@٭.kEhuDdVBla܅2 ^m1GP,m dDeiH?KZzU#ngsNw k&ig!F)O(Yg^;9ot LERy|eeJDV< k}E&A"fӽpzϐ|wbjp>xɑ0X^:Hݤ.)OC/ сOFvT1,?8y+@\fm[oǗ{`; ;/:$@o`*]`~1ލ3[<1.T໡ƪ-l'Y$7Oq$ n͉`I7SSGaBD*xרDrN؋x +v?wf"]x֑pLKKr.v< Q dCT<yrmɩsg;x++6?2#RJ{'2@*jtUIFߨX*+k^o!3!eQc"<"/ KzھęTV=T"5{gDZ-블MgE&:Ylx;gY>z˄ZUۄ䌽2MҽE_XLZ =sJ&gUš]FNC \ T\AVAl6`& 1_vSVĆ2Swa Z.Si\zLu@*V#h5ƃ su&ݖ"_(mZx\)h!'#1%|]V{R?X;*8Teɲc P >ROn""3=>[VgmO5 el)i$@ZQN\OJb$юf3ԺuL{Z=iIgs4$%UV:RS|CXv B4;%@?d Y5FcacP; ݽjjx'dQQv&eUp@o}}6luvw!dII &RAbD92S%t]y 'nJ ߮m }LC1h5.tA%(_dz6Đ AFd1$k xQ@:вu}Yۿ}sIJ'!C-Yxojo{d!ʁÑoQ׆ɂUugvDĞew`݂A"7`^&bBEE!HAP{ c\*m NnOΑ!Z<)~ZW>"y56lΐHy, 0 Va!_ȄX__:P N}ƒGnUr/90b& :T/P<=XHx7v?nҜY/lwTܽ$6YQ fBa'9ld'J #z%LA%𩱀p:܇ B?hpj $~B*Yl\X>tz.uKq#?Ʈ{dAqe${.[ С}Ψ}e8a-M{OlG[7w/8BU€ͦv$!<=tS7مڝч^IW؂T]3Z%] KBXݪm2_=]W; TNs4!HoQ KM س mzOtU7cURK ;O}􅟦<Ul|rT_OB@aNDG(P̹;g]^ΟK> g:0ruJ/",5%:pn> BG*Nv٨ǀ9G#c=R^ѣ䴀חF-L(Bզ33_6ܖ((w t;ʧW]iwPq>Xp /p~VBtm6s=P] @|*PGD@&ƹa_pOCϹ X:`&n ݬ3/ubo#jF>tfJ@5,wKGr+T kL]"& w=IƆ3MFg#ۘHD*dH6?PIw֣C5u$%YY[,oXiO s{H ;G@^EYB"F6!;t)+[5俅zwIDRTi@wς_ i$l*dFr"bFRLMU˔SpIOX3A+J+8!ʵO_!zF4"}5EBhtA846&Fܮ L͇Q*@ bCeݾdb95selS=!Sb>2[j7,DyRsk. W@yb*S1a0:@ȑPnb:u<߿ui<-*ٴll610.0m~0BƼ2@* S謸nV\IDǧ{V &ˎimbzj,@XpzNR' y,Ua-uc#wK[lva 9Şu'Z"#Qg3'~xÎu-gD\x˕­?kat+d4=M2XΖgעCVLXwvIE!^fiP4&MKdtN~;FϺHa}~ZTNr2, ek ľ׏*G@%`f"x#tw=U{4փΚ.؋@kÔdK,ImfQ6`[!#@/:I!f(I]s y<V ǖ¬o?#tgmG O}5k^}ټ$- Q JFy#Cp&g: -DaS2ƴFPJPk\`hϚ'?5c>xK۔|SQHvB]¶KR3?bX*[u r{Z/öy!Ml u/Em[P4ӨZijwU +"w9Th+V*SFbIw/b_!>鑎hy=WPЕQ%\0r4Ͻg#c5"tLj}:9S,bQftzpNjtA^p$sѦF>&鞗@DD-Au@0M_c70&tIE Sr0a qؚuFbSNN 2/ O (1x6~1!=gV)5)p/Ro0vwN؊b_oMɮj (&wu lv=7oyjJ8\LI9(]k'fW nڥc\+B #m`I'ە{XJz-A6DIZf&WVj|Q1/,xM6f~ҽ#;-Iri~|wY_L;aZeKX̚UևTzB< kyYׯ|E.9$z Ecr V)>Y;ZTY 0 br!ad}>'4,!j~0g&8OTiZ̭Â3s54AH#ʲ.` }81*9zs뺾1N!m)U,lug`j]ڪ6AՒ۽MmJRd{֩F:#9~ yj4:` 2bF_ݽWb}s÷K_;hh\O}KNEJ@!j7lyU4~{4z )"̷Bh[>am%-_rO#W:&$-~b[tB ْ)ٴ+$wgxS' -L*Krg]0oULWk%~ 'A[[]iAk"{`Ȑ%-X|캽g=ː $خ kCW?viVZ&*dnNt.ھ+;on.6Lzj{ρ5i!#:˳f1m &FQd~#9 LGj Β|H|A)@:^Hh鋤 w H( $WmvSN'<]rB y&;A)(V-*W/?gl`|CXz7\V4LRs ۪% kS(SzSR]O?l-E{I&o~#ҹڧxW$Vǰf{ ,<aD`W[|0;ݢ\7u͛FۭԷ؋1H?s$XPDu#5̀-yyKcywOE6Imhr{\=[*er`C\eƏKzT40F_dQ2ڞY֞VU_@do9kP-1+RqKR_1cF#cc^Q<馒| ( @Td`"|?R٤FK6Wy)7s& r&wt#/a4+ 'b&Y|_5$zC/ 8] ooƒRYßlK&eZx #%3}xº9fLquZW{vإBeSU)S` SLOOa>lg>2s`zf+go܈C1=E%K;z{K"3s70ǖ&>0.d72cj!RG>t*w0*XõZH%.5W4|x!փcgM^|QIw+5o׌G^Fqj[*_ '6.栐,c54SLBeQ&NO7mW5 &ib"Ҏ\ʮ7Au&0 9 g< ;YݤH5^4`ΏU^m\P[5NMKaJԣ^.N!xe $,5z\.1F i1 f.Wif\*/ w*2+yO,%4j3sqr˶YFoݔh |iUֵ -H{+e{mp96 K֎#a]{TL6"HP]ա2܅H'дpр[n̦akTDs&}wcD,>P6!Ϊ}2' w$"ҹ{@̰{=*Z=/ȓSaQkְZVRQ+gEw[A=CpP^!KTC`EkObZ+'\ع}y籌͗ ɟ!-EM_Oˍy@IW|XGEG#fGqvF\1.љ!ÑĶ%z,P sY4tM*/ɹ2W8rn#_D%ҡۯ /, t ioYǫ-A'MkϪ`7ጘ6뾫v-;Cp, 4jm?;nRkMR+Fhߨ?N10odRV !JkREsC=[3ڏxpLt<Ѭ_nь O} "N2Ƃл[ET( ZZ%cEb\Or `GݥOgr9C>'c{ِȿ<\lbp;E-?@~9mRm E/"6M eJD64 7e2i( 0E>6isd Fq-gó e :R:ys_W!3iEq&-d{oXZ'I=37s: Φg?xY4Ifʰ8if,7_B%p- '?wӅ uP(e#+,DJ(欔ٟFE3MQ .*Ӏ*fG*j$@G"p)zdXAla%5f{y9v4gNP"ykCA^ CtڹX0Vo5qk*͙(ivuV>a^nwiz9 +.9cѰUN(2y3>KC -mNB7>WoS(/@]$3RZQp|aiҟ4dѶ}2rNNЕ~VT0"=ǝqEuQK{* })~u^2T WSc\ܬZ]7;^:WcG)b?ln튌4sO?yBl_KCQS_"]:_e󒠚1(n%~u(M a$g1@%>?b~Я΅r\3Kp J?g=XY_&Y؛ʋ3QuFvy7;;C4H Bυr^p)νmR_z 5}^uMqtOPruӍ>^HQ[%Nۭ_ ڪ/N&}- kDEhJ].L#r.ړ| 07^E-jR:—T4]GUYK@H$2fywAv|g7sw w tad_ #741اJdi$9l ~Įp䃚 Xݲ4_ACS)2-9y%F/%^=7$*8BZ|Vک@JGP@rmPVzM2@6a .KW&,[hrB⶷DzipH!fxz@sU C\#/!LpRՔ 9 _|Kbwd,QV(q࣋|:S&hH]5'-6h m'"~\Ɏ*xq.f: 6ՠ$ L2ă\2/R\v ahꥮK3Ɉo831ηK"G٣pw~Hcyܪ/mJLRpw !Kz[88v`[\V#z@nL"s;zsYQ2Lrx A$hfF$/ad$k )}ZI]``Fi<̶Cx:uFA|oPYYAm`W,?{gMј @(foi @nʢ~0'PCc|d)w6uVdl@_Ss>CG,5a\BG,!nKz06le+=Rs@VIJJvOYRIOJ?Ŕ-y~Ki)AJ 0Լj1޾ś‡ y6acj $PC*S\,VeRgl[_zz\HtQW4_؊Վj(ã0Ϸ혹SNޖL` Zvmlyl<+}OP:FLV80cnL`sAt6Bf񘥴,53b~JS?+'w bfHJ`BUZO5a8(Nq>F')h|6[8XaD"kK`Mzʻؼn.Vzs1mtjow,q̅0qƾ?̀%"iɍd˦kmzcJPmqͤ[B)yYiw=j~yr13 dYYK+B)LL!&b::0B0HWHiTRtC _'2/CEC8ۤ~ŘNSmaF%KL'(ӎ?A Aar L5`{ Ĉ"P DȘaW%=A !j4R$:/; \9>x#Pʮ!M_NA3( 0휘m!!H A[}O7[ׄӴ(gBJ.֧wukkkT~eG IzA5<?-f_(} :j\zOSH',^ d-rA1ܚFԖgU۔\,m{?W7Uw /|oN`SNb ԅL 8%{Ex굲&ެkmOPT1GG;=v ԗo5ӻNQ- C=h/#yVt T?bbp-1=S./1]4=\BB)ږ"5QE1$cW4P'dzNx qd)0"Kjx3"a5%/#yƕLʭ. rch҆0P;-F`>AY9MU .2kgYZ92ab9b5c7743aabb3d11240a82cc4b523f6742d541dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 b462911b7460cac74c861650885356046443e0c9 0098e6949998ac11061784a8d1451af3a06498a8