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  L L%dlL ]/]HOL-Analysis:threads=6elapsed=305.165cpu=1455.836gc=67.380factor=4.777zXZִF! eK]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VB(\-QG\cC_!4b֋tF>bH5{VʬڦW3$γŞ˫Vkv@M|{_W~\NtM C ,!j`CB^RzTr-DI[ i2ղ& Gι6xʚ.+‡lTGs{Ha]$wZH]1dmTk}">HZhVoZ.=9(riH6+eg82gBU$p0JngDNR8MtΚo95gh#XsK,yK$5 ڇP۱T_p#zWۼ"-"#6*d܅gdbЁ=؊#H\ބBqFْ9]7rF|E&EpyjcH/sRYIR"ݽ 镏aE7K VG!ǕwuG,;YFA9J4{ttQJy;B߇B>o"/os個Lay%E>1q"YN Eǻ'1zBfJ5] v ٍ+X%LBy@Φ;g;cHj|7]3)nBxIZϘS wɯr;n݈ВXk@Mo3\Uւp % HOL-Analysis   # I~B&M#iJۅrq J]6{4_( ЊJ|Dk2|J< \ದc OOϻGhaxRvS#m-{0rރ_T@3qakyUq=aV3>z!b5ɻɼm%/ت-U峡]4{7J0ik -Dv>:0= 1MB\9ӊO?7: b ̖u%V ҵD힇x,v*SDWEKX]V*R@Tȶ Uipbv˺GM9Dn"/_e:abH }0П1~ >nCv֬*Nj~f‰M[zP憐}kOJ{|^N^ 쓏$8eAe v3A>"q9y7VSōZ|;o(ٺŠeZF :4eD'de |0"*j*ax'OAd:B5*gˏX?!][GE\A4.g)@|Q\)ᦈ!K; ? 5S2EJ ,Fet5ް(U6ğX҉';VYC:S_k"1zc$um6--t{1NZ\!#Au8S3AnryF%tߨR#=#0XSDmڨkn n`AI=ZCMLTI&rmzc_/cjj!9iq3#t*#YɒQp;4;@&F1!? RUry G2gluPz쐮e6=R7n$.h%*3 Q\Q[A !獦X?cHQIȐCoINK5ph0>IprCDUHu>N AbLfxv!)|O $ýݎ+uM%ǛJ7XQ$Kɟڣ~Ϳ/ )=:?$Fb*߰ጩñh_Td}HPAowGXEڰ'/m[#MwAĦk.S jǮyDtl>킦ZgxovPv7m٤eBNuWeynUpA{3@]5xԂXrnQ^wFL`VHs98x}[3[]Q\PudyOqτ,t+Q .?oL| '-x W?q:7n|]Ǔn:"A+Z-'|i({)09Dkxf Poӥ۲ᑭm`sR-[ *>rqo8ȳBC%l B~֑3:bȮ_CHۡpfw٨ېH2es^ AձV>YeTM˟`$Ġ >G8=*Xd)`ذF'lP5M4XQ&㜬u_$Im N-4 {@ѥ E)hʑWzJhb\) .g-˵uMޟ;h!,4 }R(eEyr$R7Xt/.p?́L:mֺ7/reL{-)zݚx̃bSM=d tQhPj~pzA$2$O긃C\]_if́uh*nḂ7\ȿ~n\:H4"KW9OK| #ssBm犭_?aƿBA]nI=lwU⒅?,c']s2R"{)^l S=5}*-%CIh35e寺^>ۺY0Cfz`TsC`3;B Bw[x]Z'bz r!`KG`2#jK,}>y]L4B*qpkQu!DmBȟ nî ADLHty,QwUp? MI(x+O'a0vnG^K--gDKN^m jòAȵWoQy iSKJ<[{b @,k8OWt6OWC[ٯUF<M~T&u+Ν@Ӗxۓ d9 _2[=H UF.07Yk@f򁺊D1k) AV5@~ ^;/: Tw>|ZubmW[TNS?L)݂Ox=3I3+.2=>$R@[H:~EXNowq-[_dt 7,8Wm4c L)C [%/aƲJ=q;8R.޾ip$qA W iTQe M{8CēGRv;ٞ8kƿR MhJB}~K 6|_Ujw=W6! A>oU%[CQz=t'[!ЍY'.][H"|!zv6MiDIψkGْ^f[]V?^;Ay10Qa\K^mZ-}!xL0pDFZ`g47{CY1Oq>m5w$oM-y[FyH q:Έ~\RZ+QY#E旰InjY] лy''P6RҪsy#s}_8-͙xg~pη)!Y'&DΣ-j-Y3H`4l~g.~{*i{v̷)/=Qumu*-ICQOo r~$qG+MF8=OO<)n[:8͵>E5W4m$Iԯ)!"{|aH1<<+`n33<%DB !Er۪zUF6H"5àۿL?8!Pe׬3VYJL[ב[Z{&Ɇa۬n3ZȌWd쯠]/nÅ2v1XKsE$@&@h$?$~'5-9މ{U͞ '8O3(RB)7“ %~9 A>={=i19)k0娘WoHD*Sh*`JPհ">#sS!3tH`v YޤDf^s(lo!АE eyuLͱ7s=sF6N%83i"Eml6_3I4 K(}j|f+2 oW#{HȽ8;|Dj(r~xIN..S:"6*D2/6zτ=jk#QX'D7~s:֪Max&#`y]bIYsvX(eT {SjJ6}5s˄}!r3u/K|ӱ 3-1Q  :H yҥ%ԡ+σpw}%v=^M @f+d674_nNYE!}(gf&9SqĖBL"@ڙAaohń6k:{%IW|ڊQۆ .-.gL#>73db<%N]7PA;Wt{FU1VB`|` ⇔]MmA|/9`ӠUGYh;^+J=Yȵh U;2h61V}(B=l?yF$N\=-mvA ṕv Mh'f^u橕<T5JvU[=MeV]NVh{sfvUohH0ar~T !2NT5a/fҭ3NKM`u667#ɱ.5Pn2LwhRG~:Mɡ֚2&7njl@4o!d+|d&v ݘ qppלu"d(s2~ b!j3k4gr&pon#t|]7e@2B(oB2$43줇|<^X7(G\DO8xrAN򼅷ON<[v4G X yL OΧFD0U-cK!n#(ïtvs/~oC8[oLnZHfbX͊JzqG–BnħӦ $D{3,(Iyy͞YH q:~<H2x3DWN6-߯yˮf%Sh+v3Q*(6뱘4n.U.o;Ea:4O.U_Sk);`Ѵ5C1?,RDdFկZ pQv \eb՚lֳ)۟<5Z/VžS=pl^f@Xn@V.DF9"a<7lz5VBq*zr]K)sߖ'G[72 O_g] Z=OG49p'pi3I[1f/e&zbHf|Ž 8QddV:fqiuQ"Cv1D-?Waǩ\#](⯾g5}"-T?,<@sZoUn*_{TkOzA]0涙eU=r'9M,{"y$n?r%ROՒ9ۣv)#ucSbdrb ǔcv-_)ї,kZ6$3;<( L 0TlbS R;JX~ kh}u@C)Q4n+ڢ x(a%έ42՘Ƒ2cC,^& "Dӗwa;#=eeR1 YЛt /ѽٻuס6q]1ksNG0kv;!3 ANFrUp}aq(BS flHvN)w. @BɆ J{#i|i6l*7;ܬ*H*&Yn"E:sЀ\~M'hTqk؅Eׄh5zE[XrǰKX*ȼS>%C^]RS6x=^pȕ_*zJqUI$t&$` $q;-~W. Ft]t$0Σ~TJS>qw"Ӄؗ]vx<=2*Ӝ~A(%b0taxe-L&u[`H*A6%_װg)XNn <臀¿(YB9I==[1 \h;^too%7߳5¾98/~<봶\s;ooz3ue6 +q@|OM 6=656De1&.N(!,> ^cEʐ6-?LU$1 Zf5D8^  Imc h #okc n ̖d D u2Z?Kh> nVC;4D.W.p jƇ%'p/݂R5zB!/"[e 05+5N%& ̜<]FZ5PIOLTƘʇy3)=fxN\nr }kLR*~8P͆  {|~ASZson=밒o\?i>a2x<""xJ׽7[}-ⱥANO+ ).Y 4{^ؔ~k}gq 7Ђ3վɝ.P⮝dzcJ=(f?}.LaVCMr1ם:}jnCm> 6 r1ߧM[ p c֭^x`tR0m Ly(u迺QAܓxըlDuquʐ:jFn DdҤ#/x5|F %a* -y Lz K1# ğ]‹@( #.=/Jj8۬ bdYM"!s}\yuC[?Ec0hiy8&p+qm}ϼ!tqҤB|Lm4-j>tNsuYmZ&F68} ~_J;.n?扛Tk%! p',^Voֻ'tbP]e&) t0QdHN#7D{LJir=03-07R{N^ 7Pc?r- 6&C/}WDm [UBD]8TB/_XIЀP+:/@c]uVc>/a[`|7MQ{ekA.L*t+*?|-ptT`/ni'pw(Ul^8!쓢NgF+]8\_/`Z+ H[4]Oނ1C-(|9ۛGx_``U ]Pc]*JRHMy53ÿ eul>"O˚S!oUO]0töɩg 9JsZ=+9Ofd';-bN8U[ʊ=)OCo~wHpn)xqd& ͔8Z ȷLAvOU$턶8Vws]/7''O{scdV? 63Կ.*TG /jTMҖ ~=B&ݵXPjZ{. /!g;tk<rnܯ]a$<.n^=h @w-9Lo8^TىAl%]CtM$r"#Z'lLp[+2$J@h淎gk@z1l\D9ȽA6%#s@iwވʙ6'\k VPy 99d'0Y#`14 I&P+vB6]jQ7}T\RШ[M݅P?b$(ض7 !6]8$2Tx@C|O.;ϽS @5By?GWLޠ'c)jIzZa ;=]bnwPgqWv;HY407aeM_( e<r헞Y^0~tIkHgBg: ݱrW \vTqO*_sP`+BT3lˀ(㘾X .hQw<4Dfd' yABʋEަ?hTGU-TLH;|]Fڢ~I/rn_`Oκ)6:L/^3k6k1kF's>eUnD;3}Zة9БZ5k2N5JJF}!*f#ȳ{Z f8!Q<a" 0Z(`:2lLs%g6y;ߝ(>C06+O>30+ C)UJn@BqSSD]? sy5ӕ)Fe.Mho~tf?͠t,EA,V*\ pď<ۭ|F%8"oBV{>5.AdLv<*]dfJ? Da6fy]e[h'z D3UѴXq\g4e4cGT&_gL`i$z}f`u/ĻnàCpԽfa?6N)8UX0l #bCEtjzw<)02'ܣHQ@X~!"S5Fk1L)/pz`e76XƑa>-+ Ǻ@*R~X yf{@%nmU~a!d8rܶqP]})6):E<#N|)0;afHCL[XEú%i.Ji >2XA)q]b:YP(Wupzr_{:ZO]"M .wL/*>Y:g|Y]{Ӄn4ofG %'u %vB-F| rPaȟܛ> A4Hɽ{%{F _sj|GyU(/nt1:zHhaTLe$*H1f4 >x$ϋ$EK4dCj |e\pkU:ե=;*uND)5@_:hƵwcý =wȑw61Z;̰8m+}}G.WV\/U?Dǯ`ÈT%쇥YW:Sg9>}5=kJOGn@Ǚj&f]\j7n9'EnJ\ղ/쐽gUM֓wZ̵R~WVQq_c»dm 2Gd#ՌRVIvrtIɊ_c`m{<:,k 7'+z~;xz u!IB}Bf}ܼFq엕,'ըhzVKK.`~ VmsC*gyO1P͇H\7uWZ⭧AVbfxMQ&fW rajrDhia[OݙaEZ/O);_ߢ5c=@h]gnWEj-Gxٷef Ԣ- 5^+8g52Av) 9v7L%JN\1۾vɮ~=EuՂ}N詖h#sɅYT hqsJ\Dd}skn@1e>>;)( F;pOhi)V/?oġ1T4#~P寊LoJ-? )[p/Y/6I=b |BH>B.@'* mHP>p$ӷxXUejDP_Lx\ [8 ;J;&)pG[Na9UBlЋM1mD}/ Ծ u .t I&jHG`묻 a| my׻$PP]MNt 9MO6ڜ{y)V/<^T:F4'po- )C[򗃮'}Lċ `Œo o0MZt98D=Z\')F퍝)_SXf:r]`"I%OgI%hZ6S{K3ɟflgv `?-6*#02_cs ]<ab_ƛWJ:ՖP)0 I<+8ժ%ۤCr#Lp`4_Y mNJrNu& ziSnXfb~A~3*6{R^b m㖊oyD{Z><@q gk}UeS=9;&[|TtImhFh>QʤBay-'$x#{r2 ?< 8[ۨ;`UM= !l;ia vA!)͇' v kQ Lfഒ[({N,΂ xMOw\-%ņ1[o(Mv9=xB߷Ef#T8&īL B8mQ6=p'څe`RG/OD ݝ $`3 M}e8'C09^iT$7Hq F!81Q~;2ƳJ4.X(inf2N𴚊z>CFky>!`R{+tG8ey0x*^a7SO$ 6oKFg|xb_ܓ qXa/8^lR6eqؔ Y򱿢F|ZLrptL퍼rLcILo.8=B;p<_RٔF d]: M YE1kTu hEgdZPnRJO5";ݸnj5PCf'EC?%J,oD9^UCt)*i7i( 0LC .bθ%bD~!=FL]3W7C-|Q lӐ~ZAL{jM/mE `{Me,O7K+}L1+TnIrigB5F (#[H^2yk'1Ұ v쁽yiq=l`h(A^ R/hW~9*O )2idݜl^՝#nIE ⵳;\U}]^l N 0PcpiG޳kU\E`NI8 Y_&H\\{4? TXwo[^ ~S }(~}C#KgXqclۢmVtFn^T#Hiv 9 p+sfRsbL7[(o C (үDyātWF" ỨC^T?ӛ19oUPs d8AQL1ȝk=dl'`h;5k^ -R}G5s5:3+pQ\7R lY3'ؕ0T =g.|se9*꼶͹" CHX{&Z:"ø+ l14qߜ?)ҽ7Ӎsgᅮ` )f]*F}>Q`!q^BQr2k# "tb >ȕlZl%+NO o?Nf$sHOwh%>zߨrS9sʍ4`͆IHfcLaD*ʼU_H Kd'y $B> B6fVM-4v7QUy\!%u=t^/d)ʷ<(P \orMϏ@t|vߤiޜoƂyoBV>YQiZC>WVtm: GH`,!CmuVQ5.)!Pz'67KPrìȴĎD7d<*?p+!8m 9Iŏ87F)ܠ$N'F)l5π==-a3}G8Su4y &Nïc,^܁WyNxNFʲb (/8D)v js`ӬP+9b,3V3ά4|Gef}wOvnbˏy۸.o/n:sC `XArsN'TeZbxD 'qQ4V8=صC.:U%e"{Ш. da:ˈ& RwfWo6-I0#i7ҁcJi/31oA\;%ɱbs-?aKkujFyuvׯǣ/o 0t| l2ikK<6B_N4Q%눑[{̎.]'0֎R(oN-0+vܓmJ|gG,Y ?kn GU{b$ѕWo9p<-s;}iPWϋ9!)k/M K074~ؗ3 7EhxK^jFi|dYtsbPA.["ʃF}` vRfOxDK^QK$~1YLʴً>̖4ρ61ۘ~w,= `_W ܚRPzr3[z( }r-xr8V }%աmTycm\_Kຕc +u7=Ʌ 8 4G}O@sCQ(J(iD,QSB_}l4 'w;y Y!=[H05X]_!c9R?.!R7i #!: }>&McOgNRrMm|ia |R W.#{FW=Lr yHߴVf 8jFz.l_ DFio`By+2"*Yž] E37@j0t'G K_yrr*\QG%y$Il"HCSsR3fCJSzW"$ 鮋j$4baxoz!48$oRyX*N"<ʴݩt 3 6IQ7}wҭ3:o) ^qHVl2 ٬Qс`-D4̪> ";uk^~&1Gh0fy5jePN0JNMm0yG5?*7auirV̪ (fsCOtքx^MI18U6:f>|{qI$IZR7 tr8Z?]q0~:-|FY_\/!1o*B 0!&NK)Fv!zx'ZT>4~{\~ɂQ¨;QIv9^%r0p0l7$QV[e}dqZUP ,lu~/@K,TE I Ҋoorڵ_WMA>u9y8*/Ƈ"T_G5vq־bô׹JĮZG)2ar' ݸ^w"b6 ?Gv`mut-92,>AfF;9 tI5\NDmuJpQ<k`!}_Pk !sb/B{*!F3'sZsT8Y:6}ٟC=&' ?]'+З|&Ūm{ @ec(FooHY6ۇ @_6Mz+&,.f["4 }+ٱUY5y}sULׅY1Smb#I~|jti*ns3mYFV)|,CSZϔ>-m=LqQ7z[>\e~ڙSgd-iZːbq5%xx^:?OUTCbz8D}$^L .-*Z\l\#}͡." |²6gҾn,(zA e'XzEx|%[<lES+;>I}cӚOHL>]a/ ܣןP}C'Yk8wQi"[ SVFqrHƮ1ֶjhA:PtʱgYZ7zXZִF! "0]ŗXiɟ1˦r!cHkMeBd4C&#?F>پS4!EgCu3~nuCBu;xo(jYǠ AH32+En'H:!qsslh{:Hc6{,lf:9-hjQFyQpb+a=!!F,|>\Dakk$?,,tהP.WO4FyӑjQer%(R I8,٭rԉSNvW}'͚I)WK>8^k_yX3xtE,YHPCkT?'ܕ0ꄸ׳\kk#G _-0wr}dEw*ze3y*HB&,j X<"٢+=*r:c(y%x[k}9 ASO? n$hgrP+|kVx+1zءc'2p[рnnj~Ch߰Lcm{]Gl9T1+goA3Ƭ L(Aj/@v'1!ɚO32q"fKG_Cw*KO{DLgtM},Kk.0b>k>X+<{ի |Wf+i~: 6aLJZlth8朾&jB7@D;A [boRr2+<_D84 r۽ӖSw Q* qI6\fZ>Q3>?2-K^:ܠa[%]rKLX^Tz 2 T^Y9鹦 ]/'֨}/sh+˭ m7+z."` *l8RɆ,9ȊٶO&Cz=/ΞSK O0ٌXxK-Cb6rO!$t7XEI'KBĮi|LD@=؂  zI!ـ4X Y4\G:qEChȐ|n_k%WZ?(q$l0ElF McIִ]n'EAC[ZhvR9*wZ$'f_w*%qV "ةاHMY7%k+4ƽ*Tb<n|h|W!V/>ݮ8g/#@qOei|ˆ=ʶI_#K_a6ġםw-L'LP2 ͹f_ џ:>,Ssh8/["[\KCUt#6y;WnUoq_N qud@~K5kuvU> jyk 2/H>, sCփҙ(ݦot2e4\\dftفAf뛬C0GyPQA t?ƳŲ %)"{h;ǡ'c}Ѿ  ک;jX  m,tSS aD \!:-B"`8V̥nI WԘq:+#ffk,ᷧ񋮿#ka\VڔMm Q$@t~ҞwDs71r8Gv>>-}|m̛vQ,Jʔ?\|I:X}b4{osEQ;gYZ7zXZִF! D]]ŗXi%>ol~"< {E-_+.D̻C~8V"^$L}p1(2"N*XǣPlwPuTeZ獃FO7GťWw]%_%3Hei[oqƝtFv0mЅR͜#Ե^b2vLHCi:s9lz`KN&ᙃ^ QR>X]NbM|nn/r&ZJ]BV̓$i=doPh:1lɔv}aj:)gALB'I}ljW^*<%Ohd.)n7I}ˠ:>w,(ZnAkp1Q en.PI, cKK.L8yrXXU&rp #@%|=(X&>E$u[,M"MhIzâppӘ4"]3RrD쨢.fΌLqB"erM[g,ә<3E0ӥ@㮾5KbmB3+;Rn+7k3;RCdzJ`fL QL>ftc0LHuC4  f1$ zaAIC3bԜү)ā$̸3ŞFB\-BםF}LS0<BCp \V8J3>(=svOj ̻)xH~zn< Qn)I,8ZNV;7c҇(bhdfj=E6W|ƽAk>curd|CgSÝƔ{#esc>TQ)_lҮ  <ʢz~$E/p\KL┻42Jtv)\kz12{Ua'26Gup!H PN+c^m5^짽3jb^v? zV $KW,)=(\G^ - {#, J@].$䑌 '_!.4(۫6Jn4]PϿɩ7!1-ļOR>/!ZQE\^_E|y#2JACzq! oO\gHXnMef^.!OCb&.`Z3JLq$Kbhs~W/8¸TR•󡷙M%&Xl/W&BPe h]a~UЄ&>[9M#_`R 0w*`=%,ZdE|UNGpG2ZBolq:и;5rDwo:ǐ%x<犐Ϭs}oqo8c׋[^9 :kON^aQ5l4;EuX`w>Oݑs@/9/F<障μc1z@7f] q]P*GPY_rRVmX$ACB5,{GF9<2/j6yp,BL|G># 8=y76̀)QTE1q &A;N8qiݺZRLoMKWh! aamq+ L0b3+bʀqƜVE!#oAS|P{[E*oSVhAvw4}HTxBKj y65 -k^vr3UO/#&x[#j#EXUrR@oLEV h #&*AnW3JF'f[sW2mJc`d)Q5QCF6d)4w3ŭU(φt`M?Dr?Dm O>X'$OAI!* rDjA UΤ%YI3_heP\vp:yJDی%AQ1b mhݦuRĔ?(YT"_`5ҭXu#8Q TnR)6|e'%%Z&5.`rXX1ZL"%ϟ <8UBdפcٛE䏖 A܇gӤZtHvM^%+w:?hTZ!IGz{(u =݊u"~ʧD]SDN,8PE\+9Ad(,QijU [i_!P| jmOpiܨ'ԉ>cLz[Mͥz 0Ek"\V(bJ!ITw~[$]vlБk T&Ƈ{(Kp"S ekZI؉dtCNN#xX_9o#9)އEω ӿ;Ik>JYX>ݫ-$Jb?ysA5OZ1Hf:8[e$ktD{ X"="j5_'Џ:\Bs+>mE\3WHg]THcY"-=qEj/^5  %fVWl@Rlmđ >D M_SHɥ`3O%. ;yHm+Ch 5+e @UW@3H?T)dSn* ؔ*ͣx*&ᄙ±i8I.[I}9"VqFZw!|O@ĂZU^W-ou۩3NլGRr-uwL4+t +#=šE8?A@ +%=!:^Bz'oX|1Didupsf"J$g'Ph>fO,┉ZTlЈ߮y_(_]H5KJfO/V{ĪJSR1-h&lX_^g9Xp Z~tBOk8s uC" +v$aaK+>GNtl{_iLiߕZxk7tIU^VcX.aB6/lbwߟ+%H,& R13QM}?$^-x7>TAdU +pn1ɾ_# OPY`7hO9&{`d5 D f{([i.9± 8vb˚PyۏX :y7gI&U_4~sJ]Kq;$g)Z^UǾ|M?<1I矑Vu &8s  :ZL1E}FW6VRŊK#o[qlkĊIx ~-`O}è \' yrLMW B:-k_yn%˂o>\,;DDW6z4}2Ojڕ%" 1z! Ȟֹehʗ]!_em'!]^tyBa!7=_mt x%d4cP!U- gbݟ_3|je-o9YQ*;V# 30~ ;E* QRT9\R !bs$%F5B ;tݘL':u;EDa25]*"o`V g "8 b&XEli Hu^W}гdz?X`fgtWNƯJ4Kenir7>DWSRo^@VI.#RWs?@$mSJKٻ3$Ueoi dy&4 N ' c3+CIWZ ݌i=wt%aCd5hQyP&͒P`f᰺/1bDC:9y" C\5+,~ ~R~Vc@l58%_֚Dހ'Jkm4}E'v2T) Sjo0Ј ‚Laj 8$*¶ Xc>NOD0e1U:㴯E-ˎlV!rNr9j._]ZmʻZ۝2E{)l!L-٤~dnwePߦF1玟/\C[kV&~mQͳ eX)do]v'" e`S &egZŸh5yrJt"Sg@[L. :(ñB݇=5kvl3ه_•H0PWԸ3u ݊)_$Mv`SF; V_ _7MK;S04HjUEc}]FUَwx/y8_O bn^IB!ҥ[\9h< xEMyTT%)#r*;p} p 'PAu*DY`w\ ܴk47"q˗PANpO&sUx&pfك zoPL{BV.|z 9_P9dã!ts|a[K!k_f+={˶)!kUdVl"&82Hm2ίWCZyiF?%P{Ί ;iL<젻#!L-JSz=иX8Oeml5j=lc(SҢꞴvWvzi.pCV J ?L0OzMkֶᓗĘ& ɕ|߈_DSO^;D$W2 դu)O<2]? 60gy)0y/5tp&.f[OSgX^L5la}ej DEl( ݅%ONYU6I9t[{W!f" B!RZ$u+68xʮv@05 >:ğq h|.vO>C5i7{tqnQSDD#:]Ud]L@1*sKG:*9.dfXO͆* yh4w0wy:D&RY}^ 3r塓o=k>`rXQ@Qyq zc@GUǪE9yy0N\X-T]zZEܧ Q9Jz@Lk5: KBo@7Z#x!0xBm`9ArNt,\]SəRAk䁾 j"|VW_拥:Lf1ޒr8؟kn~Zf{[5@d|ۓp&:%"7NH(Ĉ5hYBjB/_#r6\f&TQ?#+Br9UܯSz T.;y9;]6(n7O*ǀ<BH z6DcYz>Z[1(igl]gM/Uo'bU?NFgIP+J ҴQ:0eH6|u: 䨎rŹn`9l/ǃ% q\II~sAm{fP$r86i"];X씚oxoWwkc"^&LY98Q+IiZ.3N߹pscB) ?6w8,pvHďTylVߘrt_5e&1(#mx kķd@9-Wv _ˢn ؏. PxYSŽp2dokޜ,vp٘*x|D梴a9`\ bP"=yGΑ{C_F*If'(j@"z1i_1 q|zO^C*Uʩwranp;C(f6YyGsAWH\|d151*V<wt !ݓ/31jM=UTpCQ[D8LUBJy<Ǡ_jy\xRv`'4KD.\QS..8kKB3%rJdG ײ\FZ|sS$$+b],"Ag`y`xt\3Կjц dTHͽ8jv&UopG&vf]XB-|9*zͅ }"ƀ0mxt?ٻp'ehYc3l85=tɸ^1C-A81؋65su WC;#A|yq+A 0wG0y7LqZ~iY{MБBoY@q#vgjV HVfhiI"mnR*,Q,H}YAr=B6pM<&mLmC-ܮiI||t\6P $CA5QaW4`-Q&dNHhL~ :BЕ $0xCR,ȿK<)ݟ7if8WO 'T!>5 Ky $7ODƞr 6^0|;i2w0IPF Z{W/j+B 0R߈Oxkm ~]-v$$txYHaeߢt48 ? p#RaΗhsQM?!D4Gܩy=8;Ζf'3)GCd1;ORRP_3U(ILuj ,e#T )+ŌO1% ri֠Z^-mzF]KA]蒱h7(Cpd§ h)/#X#M/eYACdVGN>ŞCUWƾew#㙶a*TNJ4swl3j_ g, -o&BDG exs:%%kwDx+0緲 LtJ@|<ﭺ4իs^+ى+~ ?-I}[5;nyV/]Lx4Q x;o2BO1!@V=|ݸuPtS/+Suob3.݌Ys\@0R`9t4rŘ&9yh)"?M4b죀zyuW@F -l"1U 3o$ H8ƫfЕwW!i6"pr yfX16SLg3b3֡9tW0-+ )"&ZE4I,= tlИ;ׂC0oq4 KBƵ]:9fPB1KZ86h&w MV?:yN$vys<~RVOM^Qv\qh\g`}c[,ކB\HY++`b4>Lֺْk7?R%&e0E :  moP A|\Y85esY*g -5\I/6j }p ENW|׌6pzU2 s9,"6*pAp+~"`vpEZ]8Y<֕wӅ CYA4rIm8A\mcT7F>wOK@q+[{|GۄO_R/szrqT gH &HxZ2}zFJ- ef #J hGt 7} ={ELOE3L9]}*)u_#aV`m)އw^{~] ,6Z5:V9 [ym35Si<Ae 8/Vueq.gL5 `MpHM@w<3x_͏OHIǮSR8}~i@7?)e ڗs7'R!+{PijeW  ,ϭ6Zofxj ۠Wl(F{:6Σ R!rG UWEs99G"[>K * ᳊j'vFhI&gy^^eԹPNm pۤROad,ssp)v[M#Mӓ-78 IJ&ִj/'P }JUf; HUU-ǞS9l ͞.9Y#OGH#xǓkm9z822&50R=ZEv)`KTe>l! mRMƻ @n"$О&2 DZ_hPZQTv›IXl5h:Z#RKr! x}YQ1;nWVUβQPuj U An*rI8*¯sMD 99qVaγ2^xߥ%2fϠf"Q1nkJ{:לEvb:fPoI5Tdb40@ؒYEOZY"$7 a>@|h۽/C*c -#R)HO->jw6ˆ{[Gh^H)-f?tTj2uw?cyA ,^!Ȳ ᨼP$S~dPb?w~.boj4.P Νl6rV=fPӕwX9.B7z8{kiU ќ B5R\$ʙTE:.|>meLD&D7|4@ 8FA~t8fiL/XaN3|)OycQW\bcSo`58 N٘o:4؍S l~)$f^y==@Ѡ2>AÐ\BB(xT^ڦdFI`ʡe9~ ޣr~QyH<P&CȐ3[ٔ;9mRm+ )KX"HL$Mw4.&؟ryjڕ6޺"\<-7*U1D_2Vs՜O[`5SCoSȄռl{ cJE[Ym)ZvyD߅zR.@wml.1dJMAXT;gI`v@u=BѠ6g͖BW />A3c=\GIs4ܘ6C5Jlc0pr  #k)1v&G&]@2mw=NM%ƬkҾ=]V[)܃ӉMܫ|SX}.)pcR/9A :/m&G&{qg좉YL.t (_|C\9f5-6> V!C/m_Nu!Zy$3h2"l5rlXz6zJf%gi072VGvRT% "R_)JO_v4_dJӿ IPP8vgl[U)UHoπW`44DiݸyүQ›ǧ? X7|"n#l.}=RSεg۶>(-1zEs0^b;wiV*KDD)_}zHc iM[FITq͐kfcIJH%Su$"ip[OG"HGCSAJ%GWbVlLfFw4b2\OWI&úU ˘NX I%0tx'܊= ݈q~٢[5k t(v>̅ձ|)VCSE^3^lyr[aAq>Gڟ95%;,7YFdTЏ3^7?w3jP(<]n[]o:.ڀN6]ߴMצk,)~C!ξBn"y` Hd:TN\ٍq Qsꨗ$6 ̊1FLuJ[c> pSn-_6כ1򢹶wXxb2 1$7l`&Rތ{'uS簆eibɽګqgX2`*7 aYsLt>=fs[@кzTC7qśt l8~TXgE*>8W>:{7._/pkt#! 'HfQp?ߩB)[`( ;U h+㱬,h{Ǖ @7h1ŘZA^V>UTYEko?ؤ})|ش sr ڵ@ Esuf&!] ҽ_rkW#WVt ,Uu3ɀP \#F!e﷭9;o!Py‰ڸHT!HEVэ<;~l2L?k[ӰXOtN)W4K  h%EOTۖmCŻ f0rPWV1 -(Ʋ&2;`d.rHL78(;|h}l*:߆7#{ yPbGPQ1 /x? rq#<땜Jb/S ɃVmi+0qգu!)yJX>~@24(W%HYQ*.XZNUYZ^w#vBf9P:Sgv\@3Yz1k1A4 iqYh \Lk,.K;"M<ȼrҿVb# $-p@7ܗAD$3(Kow-ήB%f'R$KW s $o^*m8`YqjQM?.VZ]P悺Gm'AY[)~T֩Y'Msd4\&eVl;`є7 ezFO{SwA~`[vx7d$ Ca -}zDM< n+K6EEna'L(U:t+@YYbg?u\@(UiI*ZGڼLC(l1 F31ےo9z+Dz;ٚT)L'TVoo/2Z܌Z`xq>$z{Gq2/}Π<&+ח9La|2' ĵ ݍ5(0 : :ŏN'3R&TH{pԱV BI-G]&Qqk\6k= ڰ,º3;FgtTmT Nںl/9rĈ8n뿼DrKT4jەfJug Ѽ#*t,M WiJrB|ҫ)[=r*D$ W?@lo:>ڝA'/t5^}0ئNy%-Q kC+|*_$ߋQ?NLDa2ActOSBxt"߸W @u+r-v2 .:.t ȫ<5F| 24dc~w3§B̩hҢzB^V% $^Ԑ >^.$o&b- ++}Y/~[G&vf,Ӫ$|#9=o}:am".}Ns׺߽OZ* , N%e.EcރRslw5adsTj@Q!80\J3/~+(iAZIۦ*)atSCL"1sL MDmlW#UbM@*Kv-$hersRnxn1< QEn2Bfw 8N,{M+$c+Aҝeo3%94T%?\XVb!e !!ET'@XUKzH#C7WDLuzz!4qğx:nS(W{.|ŧ205Mw@mKTwrl{hjԄJ[_TAZY^ʽ<5П(|:J:W ^1>c9'x4Sc;#7`?"ȓ޽*hO] n|DiW,9,BeZ9g\$sM* (_G4޸sS .vB2G#[xߏ3uotн*s ɭ,b8a}V k6?~PnTx9A/3?lH!HF1z#ocu|8,`n~6W3wQwV5jo߮oOHp`_)s o?s.[u59Xt<;76I^g.QiFDN(TsceR벃O. IuJ NLTa9)9ɐ3JFԀ^}kv_7dƨ:HJO<'d{: : tћ-1]s8rsϲ/ „UwZyږHm&2| |sRނV=p&uocO;cjbk:][Å,11>Ҵ~'yUŀ$.D{tIY > V>t/k҃ixX\LvEG̡1's9~ʀ)1Tj jU v?H @S@l۸Ͻ-{vnIDEG_a%$ȸw=fga6Q]1LS~rKYG*@f Mrp[Ax|c1! ciPn)E&Z.mJ 7^Ǟ$OkKI,T."?Cm+[&φT*keN>=SWxa]'`LC8^ 2gL1s`IrDCDO7cK|M'w _7fdn85c vxaĬ,cV.(gz'#ʹ\~&ێu*^  F;L *4GIaɂ.>rdS8 a>MzLvΤr;t99cyU=|d^ m&q,l(N<4,V+{뜲z r$D] l@L9.:õ` < ƳƅH%s:^;:?`dժ [zDz.|N;5jLW WBШn.Pީ՗3ts-7 GkM4''CV]D#,]^mTPՈ25 NmV(6gFiBz|ʍ#^tm IC} zSq˶ To0mf3#@s-1u1gsћFu2 ,?Όt"ЁۏZ*AoRz@R|$c5q # ƃ!]eƕ4mG풗U7w_;+Bfqތ =^)g(ZUVdwa~9/7m z @4\~^a5l,رBs}C^`(k!&SK=7p[*RX6Lq=L)@ Bʩ@.Ba4X*C8-1y4 -SZd CUUv Ƈ ӝs% ̴hNMN@GP;*$# :8"y0b|F5c R"%E?B.vOFhWb9x'kFJ|VE56ȌC,Z}^=e]j.ZN];cɠ+#"{˔LXa>[s0jƈ_ O&>aeP+@aQ& 7o(AO2,Eƣo$;ΰ&ܺfǝwvGcRgf?dESr\oLh<.\,;S,hOab~SyOoՎ)%: ~!کq6ta#~ќXDh$ܑǯjcjj/% 2$/%n$!@hX]H_nZi8sg̫)N>'Cyo4^ j("atiJnYJ]Uɡߨw^1z}?r^Ɔd kw.lc #f!){5Z'#ӐINݰ6qIzU)5];UB%fY%W';‡=YH49pyƗ)\u圬gz yjIk MJH5$G'a-):9nO[K!gYZf87c6220fece8aaeddea279da7f947bd67664234dfb2cff39355450cfd9a38d0868c45c739868d18 7c72e15715919641b0ffd3d741f84942d786d5cb2deb804d54e7d1633bbed2f8281cddd93cab06e5