SQLite format 3@ .0:  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   $%t\ ]/]HOL-Analysis:threads=6elapsed=359.788cpu=1828.168gc=97.020factor=5.087zXZִF! V]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm״N%#'h,#'/i>|JwU_S>(eMvDdLB `ZfM=I*q凿dZJPKD)޸ ts0.Urm9CyP Ȟr L pO+ cEuPÒ;#‚3X R jaҽǍ*E_{@]AEE^_Y屟k] C=mRRq-Lݔdq8%: [j!^ȗ2 [@jC3 &hI<:o53^FqJf'r-BVjk呂fQ+44~FFSǖ7 g n`*ONK33x0OzaH|;:Xx6yn 7&NAߖ5z)tP_4.J#ǰ"A3Q8KY|gݞ'£[Џ+SL!slC\Q @:ӎB/T8a=aK|;L'T0x E}?jb5}JlJ*xqkc]9evT$4N-{ˑz2>M5\n oPC[ S Enq&qI8$p"~)q?֥e|Hf.8?ۘp,+ѹ "~@k[Nt! `Fg6sWLnF/Kw:0=5sϠITXĸk)%FYj c;լ!-Mkb04yjDd<'%/" U޷ 8,$+Q ƙ*T ݿ!d9&vaCMF^OsG/D8R[nz-3ř6)5bvR$Og-(ÔVրC{=E(]5WS9WX^U+vB }q%>.O@EGtcedPYQ4oE(xޒӾ,%d+ХSN1ۯ+&wD@ נTFZ hL&A.^ ^CfV1=**e 1 atϻK|za)ň2Ɣ[<~wJ:T C&hˁ}{W7E;UПXP 'x_&|q"}49+sBc,Rfp@1:jݒklTs1ty~t5wke څڂ/D1-seѝ:B/?F΀rcBX(;"nwLu~Ej%̧PNX;* Dgş WI /;_iogN :RƨMǻ qB偃Y{n *|zϋ*8r-BxR=+LN?]G ғs"[$UQ(4)at|ǴCW`*[Qaj.׍Yj'@ ahW `CӚtJ#᭿U|}؄C"ؼ6NBqh]?ϵ~y=k 6 lJ*!N/'Qe51P㍗!6qeLw먤aCn /[;b7Υ|#vlmg75eҞiCV4_$tN#}\͢b3t^yŨ+©W+*Z Ab~Jx{M^*URI 6G$O8KdJ ="0~vSvRt&D߈ˣb'b~sW'b1 jhn SS{`u v\`?SHӗϚEUzˆ@Y$dNN-p.c%⦋~5P ?!]ӽISI 9|~w`qLSoۯY]!&H!3Pq7A/43jAc^=tց0Hiz~r[bP~"".7hVRHQ+9Zhy"RC@`4@4o躊{iFkg@ʻ7F v*VA}#0)X;!;}wON*rqJ4ʸ:ۯ"t O'Y,E}8s֩3c.A*g/e֬FÕs],KFo ‡!@9,(7lK͜=5K34ePikS^0VoPD5[xd(í08ى%Ce#(5&kTH p~ݪvJ`̗A穰N@ i7kCI=XLZ[JO.>|#Y3ePС%ΨȞ Sfzi^|P|g.fjuk3y$P-@s.:C;;҉ ƒ94*L^c !SȑC8[bBn&:8ci:<_}ZC-9j( HTԖ)r5+0m9˔o2{~y X;{#|b2RJ.h]r?ȨNϢ0|6V0Rhg;t{w5k؆l Ϫyoh=ߕ9O5}=4`Jn=[:Ux@ R-~_&:[lKsmFzԲn % HOL-Analysis  or@v;itg Ȣam>R}X&~7>ȶ&'ns['19tR~p'UvWHWRJZBlJa$=h*NŤU|)!|)&4 \sD%(CV'c,Ax IAIA)yD5X ֘q,,Ya6{H[︙*%IQ ۙ/Z|Z1U1%Ί v.JC@`c]SN~$tvƛǦ<UãC'Hb5!ܴN7#dIs'p$m^w*A?D"+`E=0`ym}@op<ߔ̒lSp+LS_k{5'z9f<n<[B&eu9rR tU- _qij-V. >aN;ۄ)hk7w=|vR Re{Q^AFwOӷ[AmHp2pԝѠJ >7D6L ߟ'D槿Ȕ!f4 (멎IsˌUXYYCuݟFXJ'>'B=t0GA _R*2N* >T?Wf^dJM g8lIE C\5+pwupgr4HⵡJ%'\u5 |?LdI]LqA |-IiS勘.Ρc\%v[hwǻ;hir8i֗Ŋ1)!pոS $rb,o•@Ԉ"` ܣ&3h|e%6a~-*Ȭղ1$+s/!z%~Ŝ<_IǨ҂KOӃTc1һ5y7R +c6f9ykQ&Lv $%jLKm@~PcȆ]?1 ]%P-|lGH |uΈ&xغ]cR`oS"7w8[sNs=Jq.hC/}mԮ0~MWG ##Kiq t\27"ٶ0GR8y7ps-F)Gǥ:{BeUf*fti3ݔmDžNEk?:zt J?bK̮`-ݾǽ$HXo%`%[].9TLV蚌SbMwmL$Ǵj=M5eZ(M?]2#fH &VGzYްFӐW'+ U 哆wDi ǝېwaD)gǂ#Ɣv{Kk5V} ϤLd7+sl./H a-&8ȃT!niZ#L9V9|Dgs3 >gsw2H\o˭kI0-!qIx'4vEБjq0$3Ǒ! L'չD z@faTVnzMdVj19Nmd4i"讟S', 2d iA__vgF(ב%%{XzfιspeMƙmGj4V5^ N/RI$F7\75Py~S]WߪW(|ĥۈ Syt"ar:K/M9 /.EtC59` -cXAe{s1M&)Ք?h Yt9*T*M~h1udɜBc 'Kת|l!G.Zs4@,ic/0g7BDFL*HP/_smɨd=8}A{]:z tSl SۉUїD Ij;)#QŅqd\CXk3(nG%mJ RBq [Y//5@^jF+ FYn4oAAo `΢xԑ 粭C3.*0]WՅ>G>Pz4p1h]Ms)&dȉZqP6~s{L<mX ؼgMYU o4\&!CoCu`5l&"fiZVEDi]~]ICѓ+!r` tML38@;UF^Y!jON*pa=U~-ov޸R ܷG6=8P ͢T8m(bj9Rj;6-]R"_b(,=10?/t }q1Y$<8)th+l ?\ְ'܁D|=OɲkTt.;Gh @L ̋) o絘yplI}V HG1r{6oBc*ք0]0Ikxf[ϔBɞ| F/p" Jt.# $Ƹ[QE*ӣoXc_D@r$dG I)]փP:peny_ID g2+yԠݟz(|}6@X7tKO8*^1%nh,1# 2?\֊iXN0ԊF -!C܍8R}bՑ쿕0@-Ow$j*om.c' N \Dh괠EĄD "1z,A19N|;(U@Hx~F'3ؔvN4}jPDd]:iq:LԴ!a@!V)R %ʦpc6}|iYDLE@3x[c\cuHFH@5SiN'ǿiC&|Qd< Bs䆤6e8meFHۗ#RU.\Wnu :a p@^QR{ȮI'q9)k `Pzv~VbcMC+/!2Yrʄ뽺ձn⻚kpu.u Z1X0"^ՃNB{ "FӆӁfA'C*x} ]\z%?ئ\(oUC1pӬa˪t߱ySnwE ~63&nɇdNj|ϬdQT`JLo&5@*ة\Y$\x<rw(]/Xs&Ob N=&7= Ŵ>FNգkJvSU|gpYFRyRJůgZz".c<q!U͎9<-]ÝZWKYwaF֗L0[OScR4YkmVLUL!> !b4P?6IDx#H^qpg RWU7q\&GZq޲yǯ@ bT4 7azl)'[\Օ6w3#ׁoTk3u|QoK_S,#96@8 b2)1r)>pB^ͿCl= y̬]y +\]Zp5CeS)p`, \o\f R@ 7JCjNɺ[єsH0\Qwly*Rh}ҭzDHb)/ >Wj:M8n7sN"Ƶ F:_Vn^P-5 ZXw]}4(4"GR %Ugo)pnү)]ہÛ`}5ed{gʻ;:k W0庍mYm|sM(Z8hkƺz<߇rjj_D Ǫ'_ [ Y U=aeoD7``ߞ7 F1na8#fT1| ꒕SI`dF#|]\)HɏQD_(:$7E]e ;{#hLJ;3?!eUCvJfÙҋA dFKC^PN38е~pN)|#ӈQ I0QC*Jf5-Pԯ'8 --3 P%~:Uy{*r7.7?b*3Fs*~p]OYl{2h"zsZ2.!3mtJy&u2~L=3ՁikFd\n%θ V딄|x2jK0(jN*#4b6?ߚrtq:7O].ssThM^߲%V Xkmxř9.iθQ}o,!E7P> {:N$;HT6u`<9SJb zlè* gup wLXt 4z}Jڞ@<9ֽ%jj!E`lWtFaV=sEFvg|SL4dSQkEdKAOkr&&2_lF>2c2cMFcΎj->`+0lw:Wf)OFCdbU)^Rؼ8~ڿS|:2rbb,p~Pȏ2nt7]n;셏!':p]R ;n 57i_r*%9R{sZ_)H:cnS!gU%(=򩯄 l [=\W'?KB~9W)@yV'7@|JN[Z_R_i ; tSTpe\GH;]Zvw~UCtfAȳd# |Y4  Po޲&|$( dU\#MN~C,3&fq>>L,~x l6U fpY͆,7n3x,3KY6喆}&nOPz58C>ھoRd( 2ӓmI#᳠BZ%KǘL|6j7p{:QY;ktHPLmi.4ȏ!j%dFkyxb$,l!2r yp|$h!B"I4`,($>բa `?Hxo$&S lXh)yF4'%g,:[ esUR }{q(3?Cݪ! f~BA“,!~ O =&ap2'aBWI6}b<wS* vuf#J8n5/V#G7UNc Y( I[2\]pUKr e{ ~y9 YQܹe~meũAF06SD@X0xBLڍ>_gi`Me.0Pĸ{#1,W:3Tm6_KWFA}c2Dn^sɮ8hU^po"y LG ²G)9ŪNBCPPd>#YH2@th {RKīa&:" >A HsuŠs;_%fM6RB;SDZmf``U~-\W9]b KW^u2y*|uڭ+ D>|9ZxZSM+,2WGmP#adv Tg0)h9wk_ #$l͕ecύh"Z8jKĩH @U Rr5zx~5;IAއ&_vn*adTҁӐpd9U-SnYg{RTc@$P|/mTPIbR6(E6ER[. v(uyZ)r2b% *GǕS~M;8^N#T5fC02(4_݈y5y}E\d&Ձ1 _xP'2 ^z9R+!ϴVotх,QT]VO"^{}Sy\fU0dfv4kՕXT]b׳mMZ-\wK9vvސ5KN~l-|-ER)8?M3ԨGn}mn1f{ Vv,LI;HiDR!jP;é"4ː P.O{|+`|iT+]11r s&;|>`"٭D3\ s9L<[\̏_cCs겜l}և $s"F\Vjޢú-)Ƀu)V>NL\]6|èH]-Ss0/ f '6[vleVc 1eDxF'8q.6"g*fYόQV[ ] g-mepMA ]Q@m~;,qFw$>ݢW8hna}hQ:c-! ߤ2X3YBvusdxeNJ7b$O]8^2V>N9f7r4駚S㼠wi(΄pI V? 8w ;}#KtNZeNOj NO`feO&;~|nKQܝX [/ u[Ɗ1}3P4"\1Ow> ܧہ:efɬ p7ag /VcTVoEQMlؤ)rwM2ҙ8A4,fzhAE?v0 )p&'ߵ"ru5#-~jTg[51niwM\%nGzV}ļ=h .We3K+DIB~ʵ1ynͫncdS8G.#0d4QMWʶ8Z x}@W0u`NFn_ft;CT0z3!B*"gϾ0kr]eOfHшVt:pǥv<6n <+֭e__{N\kPȉ(Wg!?ËNZ>b 47pZ蟵k y&:̿ SO&'_H8_7T^+:3f4zfzUnUmǙ`PiU~]lԒ7lM/F #Qs2Kk+J$wOasQ5 P3Xi3oDVZپGTS."*?rɗ? i4`n:Xy?dVWLN`nFP !k !0lu3@SKC)}dGM1?!urJ ~TGaaw^)ZG!sLL缳{oJ'a2MrśEu?B8Zk`9DBs"fĢIF uhb8AR+/]svϯ3N= eU7)a7GM⦮qN;Ωu:wС @u8܂Q䃗 !ssnk5h߿GO]|3W@4M=t4vi+=7طj 䤷A 6 ֍m|Rco ̟aaƨT,tH%M<UzI3(.,6D ,^,,?n[ e9fLS4,qms&ZG[" ~cwI koj4 7^p~-ošM1<5jb _5?^iKwAEKdL?ތ4M)<z #JE9% X:hHMF_\ɘj5]>fx[|ڦMnT_"[/;Gt*3vb'[*,W+-!poGfI9OVz՟##L9*W^r;(C'=I =j1~dxR;585R< h4^&,T58,("w,[|ZHqu_pGlW"z"@j-;R Awؾ. GAo*d:ZNO/O晃mk.r:b ȐɅ.=`lì88}"򎚗v{ j\ _}wPT:y u"W^ ݚꩰZ%%7P~FE+)8m=2#n S~M :$:Gں$$Ϙ0d Yʕ,N&CWT$3by ti Dq:w6Izv9u40fʖbRsm?\J/._QF=ҨYaEPgc ʆR]cÛcRB9GV=󌺻=~XWNңDŽm(RIl yh@7;ny-_0`Q,Ǡu I*DS5嗗d$<̗'ǻ, "dq|yV jDX͒ 8=?OD?3CFfte'eA7)t#]. O)9MN~ n,zF(=ϔV* "Y(u0f.-gRUgy pf W~@>xٹ&O`2Bs{8CUUpl @Rqf.t`f"]qHήvA1$(4RJj![2g|i =C[ kk&vhZo~T|ȆNa/&ʄ2E -V|k?irQA-p:#viZ̆8Y7r;ආ]=T ȭΉDyX7k,$$)>ԛoOf¥ρyo;rkOX"c,ͮ8D̞9UrOAVqmcc= n7C MMRv؆QZ7츥7XI'&s6CN*^/%湚)z_,,wW9cL9=10$&Yn)ɟ z#qr) k@rRLBd`F+LY %* i/b'sn-1N:( /¼?+ LOnB5vnv}Us|gS AGBe+>yG;!39ki G@'ް#*EZ){֍͛6$*hʞ:a'e0/6[_d&  `ݙ &X#Ͳmf,=~ /2<XZ@BB Q:CjF)|1htŬ{Vv/usgйEp JPqniRњOdI)EśR_ĘŧMf@flJG| {^2$7-%C=(^r7Υ^&O_ƦoD-f J`Q8o ZIư{Xj(0bL!z+ &Ey\r%# u}=ʛ ;痆#{X[(3˯pyNj#<̅Uo_Ң\x_kgEm-ߔD+hF*6y=7$/mwJtU9[k_*7OD`kZnd:8N hZݕ\*OVDGj-[]`*.P~-PZ ƞ?2! A+vU{w\TJ Jj1t-z^to~i0SYl'M57%%Wa=`u4:SPlϛGbQǐϥƫDH 72AN,Gg E2cJ *XPI rWE!wW29>aΐ,/?#VK)P7yLb<4X$V6gSB՜3de旵E)g^@jHEF@ƒS`OUdʥV#˃{]dM3r4+7J4!7ͮ‰b7`"3ˮ4XD(|bYF>A/7v;~| F傝myb޺o=ΒsQs9Fu1LF> {_AM?9`%Y0GZ5ƼY+5") o\A=jPqx~)5lǧl i@}t M#HNZ'Om[CmnRZx&5Td'_4dth,H8AI83!Hf" w N@)I! uHt&LtfND!vW ɛ*lxgnކy*-r[U;2Pf݂kBk j8ie[tL1ڟ $Gީ37~z~\wQ<}xnu|FwSWQcZT`<DEݠrݛ q-߶YjsuPKe]!럛{p[I *H~T_vo;eLҬVCB7S㇥zA зps@%;0M? *J *jU\։ֳFMz. f$yt6իO591rlVhsk*ݱ}޺VygԨ)LgQXc1?:OEusQ HkD4֌Aۺ% 19Hve7ݦvElapɎt כf+ vD_nRH0]dAVlu s-Y[ufYuD a; w^Dac%)jQeZE6O\YXPVܲͣ D^V;unF:Jƣ`ZwtXd*]!Tb3?cbs(c'RҀ g;n1Y E&ťeLw=UcycFUp|鍥*ﴼĺyGr*؅6wgSN .CC`B~*τŻ0ؙ)wp>o&ca:.e^FnjVfvӠ_0cʐ8?dL [ > K;)Z?9S_x@+9=&`9ԿtfXLtq=x..x܁Kd ?ڤ>J*'2 u?TjD?Qw,bXÄ|Y96nbrHVB\\@bSҙډQsXEm>[e5iSL}N2M-sQ^x/_>1"i9=9Y~^!Ӫ.VD4`&:?aNc-3гH^QYL2I'Gڂ dx$!4qOӰL?&@CȾ=WZE1 =/(gA$jx 8'ǰrI9t&(bp>6/> eSQ6ƨ 1@o]niE__[A(V  C‡i">ؕI E9vj} EW]s[G Zpa,6Ȟ*KmJXdJ0Lgx-*I~4njKaۧJ = duPA%v\a@򩖍$($Kwp zJH&Cf8@zш,s 3R`%x#ѥv$fURWhPC];d8X_gDXg!m$)== z *vI. Qꍖ\xƺL<~͸"ث S@ptخͭl pzQ *M ?B>RNcBo"fD5[}/, 1P1gYZ7zXZִF! (s (]ŗXiɟ1˦r!cHkMeBd4>̵1ƅX OP#ɇlwiv*$;Wf1R/焪sIbAn@:u,~K{xE$ÎAGEHJQ99ĮўxĖU*u} ^'=耣5Tril{cuژ~A,5A@Hә$ 51)L"{F r8i|lgCbsB"=`/:ONNzb8E4S”\'jA#-< i&(ٵIYwݧX;xGvT*¿"lq=+O,?F !Dʄ{2td\X?1ka2.(1ͪeķE[s_dNv>Pė ]! KƮ(17tJOJu{34mHeA]Cd : `~(=_xL!.$P7}fp8HZL:B/k$ttc' UEp\SoMKEjXQ XVC[Tj$]CJ)-L+vl0ms ٶ1HR+8Cfj8ׅvT=أKQ/S:Je);!pfy3e˵`kuyGn#[v]MEHɿ4ߟx@%!zy&{GZOR@uf;|< uT^$뫡$)T殻Qup(Q>BSWjL UAvYr{>csӻ0Ya bg[Vʴ}p|ê>gYbҮfRQY] ( Uf+a j>+I?eD Rj.${Cyd/Q/"阔Nf~͇tf)]J~:xiAIވ["x"jucSï{,%>J;l4`E6NOJ䖺Ѩgn?lNYo\$ZN-Ҳ;(P[/ŽwB`aL:;M0@_nyoT+P?ώSOM_>dD8wĄVZ|̬+]{h)A-M/cE  Y#'^fIB8aVzd+Ao2D~79nG;+lɣn~t#oz+`҆* DCNt:99yyO'오wl!YŬPľ] $I9=8Ң&aG;u.; >:6L{h򤮋À4}"=^ _lg!kc`eQ{Oooum&;  "l j7~A~B5ÙIl&#=Po O|5nq~Kn>y0Aoy-cϋW)I .73Y ‡ L s_qK1e˫dWS}Z/,ibN4/6k2nꯁ!{a7R1*Y_Qz"guhSIX9DWv/rx%VQ@lɿx'4];:`  L*r:&8*ݲcLDV,bS{)J7IPzlP)\ǟP{JCԩJД>;Qv `9g7:% 8k87bڀj-IVuC7M}:tLꂒ{TI_'IC"17bIj4ӄjτOUfʭ;Cx_ŃLk"̦tA$w}H/dF;罫:Xg*НDۤ2A炣ְ wCA͏F@V"yj _^ásr 2dx$@$xZVCo; _/wtV `(]ݕXHH1kS Bt.%HS$ ^F 8p^ȔmL-1Juxh[yB^n"# (){H}kps됃Uv6<4# "! / ˅J,$_θg-0_`iY7\Qp 1 &A\\t%.)RzEq G]G"7}4)v'3j/LSt.4 >K~\^+!Z,I0bO6δϻgg^H/q̾ЀH)O|ܩ#BcjlnM<$bXb2p_rjBO pUEe!iq]:9xd.} 5pY&,f \lW7\04D!wfՓĄGxǬ~Wew8n9>؀*LJ4iJSJF9sQ]+ڤ(k tYS#f/^93ta<[VPcOCºI!Eld)ypV*HuČ &5)Kx@>ihv|nZ@.L0 Z bH ,m3J$"iу˵yˎd?I3]G5$y=%ܶf.=u4KAJE{Xo<)6f;aѷ'+d&"""E(@"o}ptT7Ot׻D冺`y4t.K^F8A; n0~FW- ,D82]j&:ٿ͕f)ŗ>ώ8{:w)c#8R'l^ZpFd{ k=nEInΘ߂]2?\K/łD:tm\@߾ YO3AG{=},qVF'"zdH#%"4$yR Ċh0ni(+G5z,f@qoRfso @X*6ⷤ}6q%?Ƿv"e7k !ї, +P^y,eF]EJɨd }S/8~Bem_e;5 5 @>|垞/&nԔ?nY^s~D8r RS]\* 4MSsu{|j0'?T Z'c Y?2Q n]d\ωr0TCb8qyWε>8MbJ5)]X(b ׮SSyUO>yl|xz—3a4@mꁡl cA&" p2Z wv0R?dK>46Ψ38Չ ); x獐p%;@K̓[ʦtMR=ռ3CuN uEl?4bȵhj2_\.ݐ-j8j̋=ŃԌrSP DFY|*q1rD_6C1ԁ9ӿyfUi戮YDlfCB@AZ/-Ҳr|M w HT4rQ&FJ9 [BJ$q lx" IZt̢N#I$o bl2j<+v-M{ v Oʼ7]0"^XpDzC˫z!?]iWo+SN>jƐx$V bV'zLcFg?-}pJMQ"w0ꩼ{" k{)b!/kvC2վ)Fh]AJa$Yw$,02ۖ_qS$Нj( |]Wzī?"g^[2&o&:F@4<ޙCkUrgrfCc9 !;f#%a-j{IA8UAV51|?K'E5>=w╍䪅LbZ;:^%zM'3SiKb0K6f|_v{thhP b]_P$Ck}G]y)-^8xcI3ϛ y]y)-8pgM5 ξ1gn%GsV<lARʣOU@~pbMqp6 v8,+#Y~+)ن"3(0>DYyh10|"ـͩvu<9w@\H-82߮#pC;Tp]2!er'ԏO @/K PIM 48P]/4 {pcNXڐ'Iv5CuI1V QOmi( {>92s-^б]},`$<IWMk6AMݞO'yL:"/p QRfwө{ˁdS8Y5,Lk^m O$KTl< KfM6<]͂x Tc%qS%Z!uQ}2D'py*U\Oat&H ǣ+p} 1JB6:x Jù@^?`8 `ŠO .t/xi~w:ჩڧgД1*Z: ;ܗ 9cUaG2=ܞr`a#e Uc>>M ok>mb'~1K,w/ ӾAhSsvZ~e-t"_.YW7 DFߌ9SkM13MbǗR k,ޟ1R; T~#S7%˩,5ێV{U뎨_o$vaKD׺FXN%YiIM%IVA YjF ; v@0!-œo.9 Wxp7fEP}=jR%VH?g;TpţsN8x>0lG C>x J9L`}֏Re\o|Ny5oSwk'u]KbkO.}"Q,<ײEJȞck $Rl%Kg faen ΢ fnθMh3w<0XiQ[#433(%3{ck1t*%EE^9X퓓Wآ/+=U{`{-'R)3nؤ]m=>lYOZf1F ׄ|p v}KW"c@Ack{[ nK,|u9=`u39FL}_#%݇S#)8;]GOP.:6J.032 }:ʰ&ƯbFBfKb#P 8SMdB q^sp.ѼR˨"D轻4 n'ke,4 f]ߏW; L(?_ӑD;&C|44˸@o^+oIR}1N]X~KQ:CM&Un'\77m&' CkFE@PegNz9rK/8Þ~٦H(U0F ~8؂m!|iԟI(PJU[TK<Ч7|[; `K$l:w{xQɭSM~j䂘ZW)s 9:tp#5SecGU~B5bY@a>~/;3I>oK.Sj?f$Jh}[8L~-HGӢ`7ԁȜFY]Θ=WBi/lg^Grkh`ɒ~/]Hxfz2畷'5F,1_KM?)w,:]%K?F]Yh^V5Ë_VkSv- +m݊2)2L. Qfj䯪[B=8ād< я'LNxO $Mv _hFP@&%'̉8[ ?4ML&p'MjydF[փLi2&-X1)߃s1`!ٲ\Hah GPԈ #I BS 4+j,X\CV|T{BJ?;DTXQ"Ni_8X{路c7b8R[aFf \tMl'-/r&s]ƤNDYw ]3JEdϯK)ϗˏ[T^δET/ 1[$"Z38-K;MQzx-F9*n91:!oV[Oe8h A oUI7ts^ w9Kf Dn:/ .Pmy3T^lXk ,杛"Lq*~ԛV '0I+a/wr[M^oa: ,wB,hcA|c,Sx៌}럆Tz*:*e+3X,'yD$_SlU>hX }DJ؅֍Qr:%_M"Q/7ՓY4Eڑ TpM?X@E݀^s|j!|qشen| ]5Jr}qoN+GBgZ&a|38Ǣ* )+!!ȉc@iY|xd$[5"eBċ1RIa~<>YݠQX68W/Fwbt[geA ʼnnUc>yڴjgz(kz=+JL#=m}<_,v`tɖڃ9Ngup"9l\) $1&?j5GVrV JWdȬ}L-^P8uP;0_aՙ+U,3K C^a,]/N埁גn,`-lU'̡ͬWhIc8*$MEلRWzbg578чHeCPfx?i(!4v zuǐk"7\3oE!ݵWGܛ&^"Ly]z_ZJ37ye9cϱr:b qGk JCFP5 !2( @CY:[2LN/rC#otY)٬+:#%Lm*)Yw>*ܓJ@J¥4d5Ǿj֫J,b_}1(o3cV6;2 ]ǢH_PtYMv@dN1|M"6TcP}(\f<"'\µ%꬀uRuaD$JhQ`K8/b/rgڜE-tEvb-q xhYgoT:n6-lw9;f@䛍߇I`a 9~О{ї* nEP|bCUGA+]N{8g=RӬ΂M {tiv:=Ta1&MPpĔ4"=#ݫO%в2kj ɐ}Ɇ,bܢάN#:ӏ@4H_tpp݋:(>A{c[vר>ǨD'kJ-3p=;:5Kr%.40%4?`ײ9H%PTP63TB}39rP+nǠo>W!ձrbBeP l>\i7wӐ=^d0Eq?5$v}t`cD[M'cJg,eEo,0POkۄ*o2mЪ69beDC o[ȝaD׳1P%vvuBTJm8O\9waKzBs{=/mus6gbrSQeGeV}g8DaC㣮nHųk8Z @T>Dއ\`VKJ2Zt #HI2Z ,%ݟό"I7_Ba쾧+n2}v+Km*FKpھV]Jرi v5Q2GA VW3+48lY֋Q=4XCh', q5!0ُfy6$0ƨW"vJ{$NI~J٪x0=b|}[OMcW&(q`cHokIGg\HD~?sPCcz` =J^piScR>.9=8W<'"ج}\䏊U{XA_)<0 %p܆dZإ4n~il98BԘD+pF>_qw-TA]QyyB9ziܓdF@T>)逈U{i/#]Q:Y4JPs2wsw$kOz̼?Lu_h-xi],0X["CPy˽ d c<+2ڋ^cdpyE|CkI@];(:…_!ijWj(:X"|Vlk/朏&I1θ0/^GV {OWch"3QaxU#'cq[BkD[JX{B6`]8}"SÉgYI*)aaZ8 K{B#G$ix7=em3R#nu2CQe`5SjL2)[nA02$>J@oq\LiH{-Сqg6&@uo`C4|T "j_%vvߺ=pԓVzfrhc" wx@XXZ_4[[{ufSG<7󢏛bUTwH樌*0c'|]3 gB#7Rͣe> jz+Bl\A^Gz˿WX,i,SG ;:w 0*a ##Lipt~-z"msd;۩hT:~K{:]jo ?dhMA:݆R676U-s>I^;C~2TbND>ġHQ(ʤE0E ;K,J@Ǥ]iS0bIsmDBpBN#P^wCs]Z~pJLv XzG VzmbQAMşE}H_#)k @YIJhD#&yɪՐܶQHW$/1"x+JcEjW8EY:1tkLy|8R̗̟tY6+'^W;rV񮬻0Hlt*;bA%Od\H Y&lǒN+_+s nF#?$#s &cZz}aJ˅_y3e'#Ų3T\0342^#mݽz 9uA&& kBsIZΎp ,^G +ODLDa|pG^O*JbDð}P.'sFo-rlNaY,p\]D0*ux%|#hu8A=>4P>bɛ*T@'d0@Ӓ+ {]QEYP {Z iJ(^GߏIs?xI2 0`9dH.~dZ3v8݅E4$V0ԃGtdRObH38j%ulIdKΣfvb yaY̒* o 0niS;}cA$BvڦSKƟ`ɘ\+- 2!oeZt,\ur}ʌ]^fmtzYy‹n)*]2HNѨJm\-Q3ZE߃rg2A=[P3 `E\H|ږhp? Olg z[AώbbYLGcY~Ymn]f ]]M-UIeIw;O=*%z*?~,!zp{#p:!<XQ!𼊿a67|RgrR&g1q w֞^an7Gp@W{] 4(kV\npMcn`NX@Tqr QQ) Pi:(^z^)3N~=?*n@1g˲+w)ӭ 1P|br<~t-i:@;Է\YG[<*409 0ABc~M8B.%[QGs E0fCްI8ɓdlߞnWyl'KNn߾5$y$ZJ3^̦_?K37ٽ-'Ӷ9U/-!ôzXH'l9dnzkVӎBehdEFWm g)ۆ_f:#jFT}~_9!pWqƏ5bA?NT2Zӗ4*2vX4; B}wQzt=xϐ79d}en4)*$[3&fm!{B-E5<]9F&s'ō%F2X9y<O+/3k-}?M 6`I FefZkAd7+ƍsۮE:hE?Jm. ܱ:ޤY釳 x꺠ی''[U}bFk .ߣV6haxz'd%&z9N)@gzjh[=&HYÅhVenb*%> Ky?ߤʴV| O5_!(n|Хۆfk./g* >ą,Ek6^` Ɂ}"An}Df㪮}K@ 2xhƼ:УI3eЈ.Z<rKb!X7/[uGm`Ѻ[ͼǔQ1m9 Юy|T ZG$2S^+.cI0Abaf8V%oeMsk&~)[2tţ +هP`u7 ,O(8hȲ1q Z;7;\xeÕ`OH7XG̐϶]t[K:SHs'hJ F[x% dtSbgkH(w -he*ݒo xTIWӊ_W",}i^<;*qb(c#7nKxe*ӿbVSr%ޠ1阁?SҞC!q˙K /o=0gj 8-YE*zGӱ˞;V[2h(uA)i.ȲᙩYɍk-!IaA+_smrXj1~էprgu9ek9[4܏Pf;S~*jdFR" u3CWN e`5^J&Жq4C4,gyKeQ$ţY>Tl_U 秤v~ȡ60Ve7,Hq+N:Q_P:$M{wv蓧1KF'W|PҥY4ehQͫہ-dDJE <Կ+5jaZ ?doPWL1;m2`$zs.{GC|Sz۴3J$@Hĝ$# femN㧦ͳ? \,g@`.GK.mteay0ܫ30bĨ:rЦs?M= m\P';ޠכ f4)}$SPI^gff&t-F'Enj RAj|WCNT |щtTc$8<%` fT0Iɝ?kvAWb򚲀X:XW̉&Je^a(4[_꽏V0/ Iò-גMwQWwjm.q#e\YB@n?[q{+UsbRhĝU 4:GK țmQ"ߔǞK\83EKO_({3X_M{3pQxyUp@,l6eCb]d‘Ah7QY1zҪn*Ɉo@Sr#m} `< Q{ Q]U6H a т})v_=8 rM`{=l,a$ 7R9@8 }oe0MzF/gX^RO7 B`<!]_Db%8yJF yqWQO5˰\kS }@#h~%-_BRTU($DדG۫jJ@ 9c k}EWjMACFOg4)&$e2U/mXN 1|L*1nm5֑{~͸^u#~g"-u[ۡ u_X!5߻kBD1ӳzkbv@Ç8W;m* Й)ߦ8W`όl1ж} >N=&z-o?A1,{Ud_{g&'(/kN֧ \91;+Aga'M`6M,vw3 e8 NLӳ6Mѕ+e6nDSr@.XXK9b-CL:$9^^z(Z2DyGUS(>.*_\8s$0B7aD; a/AuI?g} \e|Q ['E͡a`:<HPrLmA'χÍ|iPmT:.ci'eug5ߢ=}tn३R&p0d'7]*Mr~D%EInR>R#…5a۴S_X Z&%EV2ޑts'i$9J!dND ETWۄ'r.[:9 mUX^\07p|}M;&Ͻ]H$35q银\V!LuD@PRH(#f4=BϚr 0NV<``.ggs&6U]Lk c!좰/X A:)i"H!/+ͽ} yF3 "J5#XV3=:V58f;ZгD*W*HX^ MuhM>#f,^;;l',0*>LgǓ.l AgFXJ) _`8?~q-@7"N\rY8p%uQkmdrml;B!+T@Bw$ny(̞ȽCʌ4lJ*ձmWxpnZ"yqS-k2vKTs->lt'Uv3Z_.4np)>LӲ%J;cs-*ox=R©Լ> E|yx[ A̎9), غ%>l֖ᶼ)_ 4up sDI)$,"81&sّ,5f_]e+b`a)ssⴔ}^\Zީ\H#. َr`m2rD~Yw B^R腆}ǴЯڼ8DOPW?X;w"$T*ڃVS +=BM ]gъ- DwʵS=Ǟ*`[ZdI rDd@iAaB6TUG$7_#yǫv딊FXx{2ÒZ"m)-aR?܅) hӆuW T?J (>юv,Q'9{"&Ke v#4_] W<J*ʿV$^N{~]VN,3@n.n{u\#OX/׭wH(&޼F39(kVO753=i-o#=d.d[>Չ;A5e%h,ɿ?sIf6p  ts' S#Ll+M Q|nOHdzB,e{).'&[/<tH{IJ`fSMqu%名 vJӠý>}FNF{D O 񠌬w^TrȞQ]>NŦB*r 6cGlXth&kh[Cwxg(XY£uh?zDN+C :xě@x#d\S}'oB5eY|֋?.p`On:7Ґ-R8.3޳ v,$Quyϗ_hJz6 STQzB,HĕR)et&s.,}} Lk1DŽNSL۟K%#:Rl!;#WR\̽4\lĄ_% ;-X֚/QyojmЛcMlYa&{ m#4r.GaVĝ'O߱%;y{} Ad* 7N(-]> ewl5LZ#<:WbXrϣ5΀jۍ٩]\~%}o]~IaAb+uh S_"Kt+?pfJs>sUMbWX42"Zr:gzE4gvb-\`\Io,|؁@|D b,ZnlÅի ۠& ?F0}Pɮz3i% Y;mM쵰LLՍZa?X5w7އ>sYT֘ݕAlLh6kR,8NsL3|l@XR&V|22Z1at rKJO4WP ZzBg'O"eYNym҉HZj@-;x;3F;?k/=QbA \mSIݮnAGY sԟ?-2ۊE'59 #MO0J^뾁WF@M0cόP݇ ᥬ [6ϳoZWȮ9m%h}!᥷Y7gN3G zLVI=wA!j (=6dH&XC,nҹohZm|u+|V1q˸v?~G+=cރ 9^bۙ;`2g,ouފqxH wH—+ :Y`ix${ymdˀ;!lj{(_*F:~a$~>3Flzq"nC> ޸ Rt]6UZ FRzT~QI^B=-y$%Ӟ (oRjגrdDh(!@,6(9fNLZn:vPajf*?-s.!϶y/|%m[;+wEH"mB*r2S0ooA rQ ME&? [0`xbƩ!ctB^.Ģ7E'!oKuqy?~XV/ڵΣ fl@0 2Z'.)QF$P!>|g|tc yؾȨxWm+t|&lWA M)&dyH'/Yl#[/]a)F`U8DqO*^"Pi'0. bW"S2CrMC ';eS5'KUt\[ 0.j!Y@ԊV1wG?$KaښqM !Wf EܢQ:\v Nsg?}`6Äaمv7 ?PY)yruh7vQ/ T3OM@ \D9JSnߐsH 3E{,ݦ!Zr8Ԉ$2f['B4՛aaw V>Yuᕡ rvYNMkqg&:Eh=4!4gj_1n\m2ңdls#ǤPUge/ 7 9Lqvb 2DF JSd{#pNe8gRJ}U~gKI4 3,;?߽I!Kh[b6 5aij"i;*tXsq_ ZD3x9!.J(Ӟڒ/+aY$<~,+qEK~!q6`Ç:c˩cnm^Ggk9TI(xզ+;͖5BU;%+WwF[Pg XNR5 biHguO (#ʜY KNwGԧבMrEP%t<|3j@넶=*r-(On; /:iL×3e]N8Ccވ E Yqxi76p3 z4d9vݕ$oqB}.Xa> ,k(FU@ZHf<[yFo5ҶP= bMjl|6~t^dv协&ٮZE8v&L=ѻCbv!̀bS.@ ڕVhmꍃKbWmϛdHOG}sU'$w.9]FygmL$Kqdܘhe^g66Cش&n>_f+Rm oiZ:,R'ϧŴ(s9i1H-5K [哩arcQ}O?gt~Gav7w=VQ$fOXm%ǤGcힺ,NKN?͍H3? ))wJk~c$1_M鍉Rs CFX).e{*y9ʥ J,d gr!$_vϝЇS\8{D¯1HczoaU}7™kAyjɄ=~0uft<}ƫZm.ޅzE鲋-nx7ճӁjh w\yOB!!5/܎__݂,u`CT`_:Y񍄯vir7_c"J;[yDoJ4zw'RADL9<RzFB6idɸ'.cpG^幼Y}-YY g*,T˪% 3#Jp8lJj";>+)P5 -_5m ;t*'W!ubqJ6DW,3[2o<-/"l4..Ϸ[s0b}VLNy+bgY!9o',@h3 YB4J uZkԎ[6Vz[hVgFn%o4: B4|BA[W(mMFBG ?Qǔ!қ[SC#* u-6W}Q u2l{\/(\H&$`Eէk蘤c n ]Ԍ:rOcvSƩ :9aXAp#q4 0MOs"cw0z\hM R?7>ـR%UyƤW+e];vx+(g囍0Nh;xR6EÎ.H4^>\Qv)o3}s#^WH yߖzZ E8?ZlvA!6\F\Xni{I Eno$'#CSٹAbK{{>dzi|"s<o8L㉢q\T-2&XlOb |tRL%e>)6vp:OẊJl{ĩs.ZרC8v}Nn\f>-?YZw(h|d#Lؕ$ւgH(XߢiJ kyPOc厘̅H 326stxd$A]zQWuECMEi@IO!JCN&g)_H[eFL"D[}&0'FF+ y|@/B֦=$r15?kLR]Woǂ 1|u6]'^\[:½CbpLCUf M6tn~?ok1N*4|S mxFu@,Z Oh"'3ݬ)[dCÇJ΂~*8UG[`7mx&NYEmKwH%CjYIYGvm.l-NB&\t1tȚJcHv& yo{ͤqhlӷmFr{{z%P* ƟBRV2R( I$1\8nФ#n0+y9 Yd"I%d+Bs4KOl!^q[T_`_&̀{ Zq#p3QGgsg r@|]*w 5hD~; ?[QȐ R?oP@y%D4* +{N.̮_K NT 98Rۊަ8Ъ%fgDswf-k~P5\\tU2[Fr$|z9R 3Kx$_>3tXL+ِ.ظɽzˢ*¶vtjd*N%5[_ϧBYr.r0biւUEy2@HlA-|єt dԆtv']AuQOiCR1|aZvm0bfj(6iXZ ؓ?ًdkeW5H< e^^gBOxG;Ru0wZ$/"1djlI]LgG鞄pGKK]K)m&s|D x RZx{ or: ;ޅ P h?߭muP'+\㋌X\p?N1=d(:NDBi{&>lvTr;׬|^jۍD0\-v矇~ﭟg}GnSDQB=\RZ2$YcX/T.JF{%Yͨ<^*S{CjU;c|qx_eCat*Ȑw9dc 1b(P/l5vA5jHAuo rV! ^DW_ a-Iꥉeݬ'jr7/__Dx=Y*ڇ:cnto!k::ү%6/F, A A0C$eY| A1UE!ClIɱbN"g}\ D֜io2J1SP5Z'"z[TTΑ:mpXݑ{N}(-vbˑ{cumJa48bJ[ ̧R=/rSuW?O $;|5kf fth v[39<_CPëy>N۴@$L@C3; :?8*n:BGoUT!ė̀^,n^˟!<*P)E]!C5;?3BЎ5tPݮ'n)W!%5Uuqvzj47L$HqLn6okN.?)ϓ2NaOXa~elHU$~D ~b|A\A*=-ĩ"޶7F>KrzO ]4E:[ "Q]w_r4IZmQڵؖDkTwU#2o(G\oeү>AByz˧"vmkޱ%5/,Glb2@~0x4e5?܏ a'`D x"+gO$=} /[ME[FDiDcCWrr̄i̧X͍h<# ymbeU-_C5}L %/d஽Y#F{HA2y9>1֫wڑ|Nhm