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 ;; %|Td ]/]HOL-Analysis:threads=6elapsed=328.516cpu=1698.804gc=129.788factor=5.177zXZִF! T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟UڐEBNF]Ƥ;C>J8gE8KD:ʦs=P/Żq/Z `ĠST_N%^]#-dPp Ks $S^G](B+:q zᴈ8Zz HJdTSi8xPgB^bÅ=cr9x6Ջ;47|!dCP0|8dX9UN Gn,36{+&U)ܹ۟Lsk6sOsE{l܍3] %SeW0Ji @V`,I'1nވk/vJL0QpAa0nz.GHA0QT3 -)qt^G9]^k8v p]yNߡ0q9rW)eljs%9떩,d_gLjXR _ϻd0gEJZ? LA_|o_%QD84ɜGd%ζ8I}Ie$LYh`y5f {hxAm] :GDYzEy].ZhTK^,u!} Jk$Gzy;u3t"aQWLfٯ=#Xq(kX'}xF/G!gBөu&8DsR8Ĺ\@Os hUo}5s%'$UnbqRT03J`QT$vYe E쥖>.?fx`dW,1\P>;<.̈́UJU`ͶP5,39џyVb͹~b=Y-.s@CpHyJ|,ޤ簐0kv݇=H/X/zFlȧs-O6^A_Hj8:8y>\8w/u&? >SJ? C;I1$a_`1\Eڏѥx6}⿝Y%:*_o5=`5t)kJGXTo>ףYq ܖpWLf %z'o@W[ՆGPvfوGLF v 2|`5 W ;WHzDTK"Cg#)3kK@+(!ktZ4_ Wwַlf(2IUFeTaD+ ="bh]p )`NӞy ѦB6&fT*pyUc6@k,FW1Y[;l=V!Qb-ØP~gtXiAK-KJ/4cjtF 9pޮui]sjBJ_ ̗s*ZУI:M~Š 3m:Vԓ3|ph5.QRbZhvKݵhԗVY4yTã@)g̉q8=ȅy40uUueF](*s'Ă|u(Fc E\>d&V?Tns82YꇵcbMK-S^Ҡryr?x *G{C98sY^#_` įڼB!jѺ IzV`Օޘs}|7?\ 0exCx~bvBC5] H/ҳ"՘d ;_TU30pѡ:/B͌8+P-AAPsw1@AS\fdfJ21w}zs +2ǙNHN,GIqxǷk:WY!:w"?șō4ϣ OeG9¯[EЄZe--*~" E_i,5ǒ n/n0h:H$}q=%E 6{!Sq 3Q3odLݰht׏ SL%ߔcP$u &V A ֐.JVVR19L A _z^rez q U丣d:2Be.v&䛀JTz@=ϻJN7(E֣`:T 694wTa?y)R\hz9x'j ꫽B N\IhZ{FIq`vCkcj`TUFDYo[h_Q>tx4{аڳA򑸃eSu~:{* ot|0|{YOU$ǚyE #=6P]/ϗLh 'J7eG.KحNGmSǜa"OU5T%p Q۶:*b7m5ؖYC. `o:jP/J D/)nuEpÐo LbO4اȌUNUffgFjB涜$h06eܭj~R175B䛵6]euE]29JàfO4CF=pæpǨBR8g|Ob. /|F#ʈ~Dmb9&29[-@GצJDmDlE<1%ӑRW|?= ˨YDvTJu& ۥyQm/NePpsZŖUM`KJјCgU2l;'wʋ RrTFJg4L*4 h@l {fAMCJކC(Lq++v/|67,>'=12vjذ ܹEGuy\1m yQљb67$ H URL*>DQvnWkgLaucA:;%Auk_>ao 2sg2ǃ[WX㰛А~lVPLXaJak؏B0~{m9Pxtz,ķ ųRF(F02oEF!#=n*QO2{0'I=Rj1glCD1 xiAO[DkTq*abpC>QanUkH/+JEn9 R?LƐJ$ d:_֠c\o)몃==!e*myiB{@<}لPLs;l]d :@O5A c'bKj~ƈ[7 o]8 ±]mXoH}bxoyH#i#&$YiR `dqjO{+#9IxRY&`w{ uS5N 4 K!3,P1oJymw lZzC󚛼p %o<] ܞ{M`?'ڞȈ[j7V%z*#a0B,}s`PQ)`օ"\`'e?JsА,- n+w],"BM RǒSқ{u*ԓs/G skcLcVDlA1$3bldjJ.n<(3}oƂ]@H֧_8q !>|G>{HLm3Y\=V í5pK+˴Fq |3GG0gy/Y0"-?TEp2؏(X(dx7x/F]/) eoxMEt1 ]zAJPl[Ef );: r»GN> FQQ̡sa4ޕ X= ^A3;Az4'j&kR? /{|@Q({i \s"|]G"Wtی%TGTn#QiIP'sLsY^a߂J"ıfQ%td#[NW_];W38_t$HO}ꃂՑJܮс3Ƣ#9pv Mv/;"/M3zYCbJ)U](B[YN'TB:å wrxAbFp@{z:ϼo.^exwiƺK5뙳?;&z ȳCX M78gNN,cY9sO:d?OʞFW-le~#Ow&t' )c7w4 ۥ/ϮCnQLLZvH1xTtO(&XOkn^ijMs;I}"%/bVRv@J'绀)d2,C?U 蚯 dҶGiӊ t/6͘z?+ayU \k"-M40r=)Kg=,F*$:d0A◐eH}W$s>GH$Dͭ=Zϗ(8"bʯl- F[#`6wYeoT ЫLe 855ho;NOQ4k խfAed*@G4iF (AaxAO Fe׍L:4&ZVhWe2,ݒ1zRN 9P<Fx8bζmt=°Lj\A!7 jךJ}l3=o; dlTO98Q26Vf+mfrC0U0E ls j4`V/WCbm}~bV F{><+w]7D?n>~ x 4N^A2TsWErZJ7([- 8G좿2 `\'aGn9u;R/rOݳ6m*~jkX=HZAkQ+SO^8㉬6:E1 n5'0wf 3XZɜ>UL ͗1FaiӿQUr9R]M1MAt0 i JDSgt*{UȍiF^t mx{iU%hCL_`+EQhi11pM0ʡ)eFg!)V/οW2̩Uw6bYUf2 'WQ.A "Mwf%_u)/1sRߒ]#, hy{o@q:/<աsIeNe KtHʠ4(` G}2Uv(ژ}1$Dۣ}]k7L=b\ۖGTzɻ3X0hoTsʩnZs5#]V1:4Atv ^–JJ~dM'&;~BF;o]ZVS IM.B+Agݰ&i>f jPM\%ɯɕv"?Ƹ"G[I;~kw5{ =‹Lqo݉<sI_)( @k)M?^Xi!`z ;QQU>CJ^T o9$ϿwL>zx*QCikoup)9;Rs7fVjpTR; ҩ 2f'juKU-9u3D? 5r#l{+\rUTG߾8ܷo, [fꝭD㚬yVq'߀=A2a(;HlHdJï4rԓ<wAmX3Ow23>~]]5src?z\Ws}Y ޭ:A[6䓍L$S_!*n&0L,$({,L mB5u! 1*5E!uȅfb@.^R)F0Tm! 61:kSj& a@Ok"9jOs$\N7K^̄Pg+K= L \,mR BQ?P686ipʓM DRiYcf:9$5JU <Dv ySdŲn=N)p祹IlI,}` v:Z2W7[K<ZXqCS|BCUxo;e Sz!{ E5oC%VРW? ("o'Gܘܜg;TlZ=H*d2D`uf b&|1+ܠqT=E# lީNTD ED. :9l)fٜ7elo 1E%&oϾ~lB]Q.9gP^WF%ccV1{P3>#9z9ژYD?< A\?{ا,%nRW!ڿ\9V $͡!˃E.sn",. IDN'3HNv!!']%䪾 9t9/{BL^;HnA.Wh89PQ = eRAeʄizYӘpK[Z^=vdXyPgsVP9 _䄇$dD0aZ;#+"~Q jJGa =oqeb MLr7f#SZ [QRnGټaJϐ5xnҤ s o4ہM> ˜Sʏm#9jQs*'K 79,Ԏ o9@ۍvmºU-]g'\%8]1XMIIؔ눺6fv) l.Q![Eu ҳn+ƓMt)cl]~ƹB̭2uE~dгfȕ/4Fa6Zlg:RYÞ&ig4f5!;²v{c('z*ԭ\k><&,G{ZaQ|v6du&y uhp?N]qK= dtc_~2Ed=I&4rtD賎T߯=DOH'JXg'$-TRBN[ p KDVZ kȜ PMncNHas=Y2?rF q)*cqP[:}[xFdճvN A6ixwsA˯ȼoCcXNNNI٦.'/.P;~;`t4!<|e}1狒`ZMoa'd8)E 8$qz"I)&n. ³q&Ju;iBq62u"_н|h߶{ch3Ur^ ALNOĪxAݮ3H3Y,ݠ6t-_;ЋUEo,.Oi&4\Z/}`?>ä5MO q{+d {"$٢#7-Jя]Ǒ&ƝgRCS;PFMWw\~ִΡOYiX#Â`O1#JF▖tjuk,( .^y>9dʡbPmWkY2 G6g_@7O`@/~=$HEWr9oAܺA;<:g 3 w/ 7Au>y*`xkձaڰ .'ZEV%o% tUeZKh̭ 7L_|2O?6LN[דu_G{rˇVVԧb&QG} U!J\5K0t{$RK,ƲlxZ vZY*JЊz';=NzJ\O|-W#?N!B8ZR/@i,Q,o{x ,0juF. g0 ƫ\uʝSfWvM J5_IBUY#q}9}9 r\S=ӬJ8jL\q\Qda[tn)RZys?xP7hۥcơ3vθs mחdXL$`cp v~YWkf :&Z&X{GƵċE!:)YD6+uX4We3TcK\$9w 1X%.{j̮[*`FUDc sHγpǾm4sxo, UKJUZ}$2 'k8rMnqG4=/Y5#i)4 Blbc"I7׊9QNkHmAI>YPxs׬O?oŨ GAEu^|]|pڑЈQw ! ęr1Y ]AXPVqU zfA"e%K!} ca˯>owʕ?(] "뀋_lE죁r5h}]eB,-u֊P4A"Ľխ ]"~p6 "0q{@1?w~jV߭Inc_` RɼignEnX) {!˥߻$5T,-4]le6(^HC F5>bMso\n_f6r/6Qb|B%mfc7JEQ5?4+2 Du(~;l7EAo3sM͚_ ѩ8c6پ(;W!d/E T U0sY5*EvFm2=TH~d ̧dFQnlR&Ũ.]<锸bU^l{MJyIp_3~1GQ%U&xVu.<A""ix@Mgnt|~}QjU↢ƳVGMeLYc:@ #̤\RB*nn$=P]`1\-*]524pAXPPy3U3:dK2I1;ׄ!הboB)Z)Zr"TqE/uiheTx+UCﭶ kݴ.$rB{q\ʁ9z0Qq',icb{|ÇFw+`nEk&ԿHޞ1# ؋ +fǁ\k;̴D0$X'[݉ YGd\^5Wi295[!O PkRtsݘ0 > @ͦ҉o'y4_Vso] e0"b#i|TGNF@.Iv6Q68Cr$t;|5A$ً{Jʟ2Ήy"tT:Aa2T`\R;Lv/2pz|ae0̝_a˭OQ6޸`;l˼E+, |r ,) "I }ӔJHT@ʐ#<!+,×s=&I*$2T{żE 3+yU͓Ӻ+]kxb+-ie\7hS$lb.;o:ޑڻ#Dp D΋WW_phO<)M2ŀ:&s 3E8z>3s9y㼀D:8Q> kbڵJG/_0 }V;\ŷ~Qdٸӵ#Ә>O@W#?NȔT-J78}u2},B6Q7A #AUgܼD/Z8apSUbUy=O)c)s؋ M˭ D;ah7Is䩡{485GH׷o*'kkeXQӢ&GPoA4I#(vt2,.Ȝfl"nY#k:g ^$:lnɱqKi=磽zfVv3`}yU$<zH :`a+7ΰ=ܹR^sh@~:XhSivg䩐׎ /3 C 9u;t*8PO**Xbb]T#F_r Y]t)D;{QطCV{6jR jpU{GኼBGLЙXLy!9c3Iqe*k1WR)q|5Jx&AC`ln_Yd{Cx'sIo uLQ203ޙӭAnn>1o3Bh5 * g_8G ݤJIl\lctJ nn01]^ۙ#Yyv 'Kw6@OD&[E, 7rMY]4`'5nB 7ߖo{ GZ_Tb^ZϝIz{FA,V3W-ܕי8W[y6ϼ-#f1MÙ>'.x+iѐn6cSUSy˼n*NISy)Wuv+;5HkSW%TC~]JUϔ&br%,iaŎ7vA WGf M'r oTk]Уϱj܆_Y@Jg(p#^4(j~D$(b)j/wqr,[oW鍣ܧ5"#[? '[žH{1E{Blظ?8;=Gg5j(kTi3ܸ=#= kQs#1;E@O<˾S@T&Ky+uFdl  s4W[|&"X4'N\CreUI^fO.rGլ~_m5¾S+ 悅heԧ[ z=29=13j;εY{S9%yشڞ}{_Œ.!*j]R 5֋+^-;$Y&]^-UbE=C89΄ 4>ɀor_>[_yySul6y>'v[ߙ*mݻYϊ [L"q%&j.+$uχ<^m(Qk_u;V֛WqB;aDNO35uMǗ+vS.T2}?'#7E5@_)Mas*g; SB<>&Kxujsrtf=*6' >B̭qܶr3=Kɑ25dlRhqȉ]='5w=.1 b\0x)m ̻>^І3dF2QBlp{.s܇zfPp vo6q]͛1Z&gĢ{QDŗ3EbqmЅ;ۅTV"uݪ[œ_6ZNxD5bO9gd\v,FcB6+^)&^܋KC  "0 Ome6SEn{H m'k\igoxiTs}XL[Jw1\<p VL.4? 4X@ƺYPHcP`pRE'~{Wtn2*sRl3\FFa "RtE8KSc t: ݏш`5PE9?K委Kʞ;^}. e y$7%Jg Y\>3&ܦ=cnY)68QPp~-,k!̎q%l:T RV fXLM_|T{"!j.pwb 3k$^,Q|K6-IiM7Pᮢt6'lx($f!,B}z?<*?cZ`Oh/-qڤ |MhC_UH^GO5M&;{Ƈ֪%n$:s"bWgbCB:CU${=iW˚~L1-xxуQu<\7e+ "Bu^!O| gYaL>f50o[,Z9mǷqU5 Dy:.dL"I2~u?eUhMʁGSZ_-&J8fmo5)a˺Y: m>` c9OD^Ex wK<-*v8Yomv<g`Hq 5}P6m-vz4!Я:ĸ.fx Bd N!̗p>S&Nnuc\^(c #\+Ä/Ꭵ CwTA,wixŸ&[.r{:rxĝZq=$4ƽI]2BUz:pd0[i{Uj_홉zҭv%0A !`YjF~ϝ5RuLDq ژB<^txj_5 .Ѽed{$@͵9[ZHŧ; M:`$5Rʳn ~z^x\!%*j\K6m:wzzKW_a }5x|2-Aqy2"(U̓ !fld Wj`) (4q2v f&Wu}b舣x~q V\5^sb UppbLZ- 8'+i UP2e8v}6|uf[]*N0uϲ5C&Yۢ~|k^]A ݘ썁ʩXx'XS׃15؝Z_"G?-U &!屹&vP  .KV'טyciȬ_)|Az%~m]$d*I}"RM/].xlJ [u;?NMd)^"XzfuxHO=w˪Dwl*OrYwŰPn n7@nl~QԦ_V|d^<}:r~9X3O8U!So/7XBFAa'N_m1L) Rk)@70_7tO}$e+^Kra LReZ k[P.AzowuLjpX]|IX4ו<8V5R lt`k\6:M 磅6OzIn ȘK\P7ڏB&<;ͦa3z Y~…fu J)[pnw/6FfbB4H#=1ާC{{[ڙ7vi<`b#/-Ɔ4 gWfśZȚT)G6iߜᓡ;AB7w&MQ % 硫~|uok6#ڇ@̸Pk IW2Djʽ$Gͪ)AG̗>彾ݿ JDtӻ&>SS{{Nd4v0??[R-禡bfЉ_m&.mIVSá6w['-c7R~ֳWl>TB[zgyctA]o =- vPo-2wD9lD/J &6aIH̅DQT\f^LS2=eOX-yS”xF5,k'yML}oDT'`?F @bx߆ɻSAҾ\f5ܔvSm#{хvoLVϷiŶǁ,' y.+aqb=7|cA[ !8k'\ A  ްVK)7BV߇FТ''*ǽԗ/@(;P}"N 8qa%TH_{x#sΩVqG|F ȍ3gGC2=y[:bb[l)l&S;cn#1$JWQvVkBHwrTI-u`ny(֥=ㄧsZtkTmxeJrN"GblJ\h+S5Uvԑ68XraݫZw/l\F!<8au]GQ"&*k`\CѨ qW3ǡf[hoZXvSjKkk_e[y~KA<CP^D5,zMTi)ex<vpo~a5!0y#/εXB)M J 1zlyJ AF)#s_v!kC}FA4<$Ok>!_hqVřaqu0x!O +%Bᇖr=@ 4H=bvgoAc_s:X!zz{*jPPϡ]v Lj=xd!iK<enmb! up}V2¼o/cu,D\;/_嵖u3BxBu?W\(&fwbu)3X~֏hf{kag4j_0bզjx5npV5fY6zVFv"SZǧ ]+M.6'HѠj2ѩgYZ7zXZִF! ( #]ŗXiɟ1˦r!cHkMeBd4> 1ƈDƇ1I?̐IBw2 f4MND%3PPsC; Xvd5 eB&;&=u Īdu84<E|E_,и0DiqbYbAo  >9MMaF.$stt}ftA@pP'0q#BF]|K+&D}:Ȇu I{!GKJX|F[[+8eןgPq3U)T2jCj76&|-YirlKQfyx)Xf;9eIENg4oww `\տ Tڿ3}Ft-NK/9}x܁ڪh#EL}\'H@4{?+?yh)N"%'bg]pv`Hsx@\ ^ܔм ixߥ7c}&y,`9ثWgay'(T='Fb8Fy%* o(tRhQҼ TThڀQQXyd, cHUrSH&= eRU8]wFF+@@G!ߑGNPT_V{:9/[:qn=X2 [Li+̙Sᙨ4Ad,S-(H$yC|/m#εR$ө z8kniÜ,㾧Ef,iޗ |к5o$2+ߛԃ~Vn ?aJL%ݼ Pp@vȻ븯F_ў9W,[bs⮺Y&mpY#RowE6 !?I.(֓ <m 3_!'(MIKG{ oBK8+"xboU OD؋ 53P!/G$&?#6V^9[f͓6dN6ʞyCLL _nJsiq^tB Sw+p)^<2B ?[[õ 88Ukasl[=^XjB&. mc "].RTxh*.OvMt 6?_,Bg$4Hq/qSq7BEo{!ŀPӭ=*l5J;/yƒvtk+V(EC7O^!˶_N,Dal8<[c>?wv6z4q`al. wq o4QBT~sC$ {P+lȆO1>H#B`'9xJM/p?v~>u,X(,E+mJRo7m8 4]^,!@OY*:YKXJ/6pIy;O& x{w~bWa5uȢsGL,Lډ:gs `CㅌB i!b^!by*>)55L(fI!z!#ݨ׸D\Li i8uRZm5;[f}tC }$nlڲ_b@v/2m}ܦ *ۂ?B7q"8KV3M}۶oQ%d}O&]mZ;Is-@NRp$?5Noa3 C8o"6b 7Nǹ5-\?Bc=fdihia\ura?~7"cq}sϭć Jz*Ch!-Wx\\F)/ɄGp{ZtJ9 IG_&#@hTQ}!wzZVCi\c">P~gYZ7zXZִF! o]ŗXi%J3|%gdYǎgfT}Lr&!_*U P<<] rsfцaj0$|DQ_P$Q S$# SځUV/ >܉D}]k hEh%FqkZV&zw܃Ǣ"d giRMI#, p-y8{anW6L*kAY5"ۗw=2DdG:x^dJG7 l<1sV9qmx9Ղ<_[^g!d*p jttR/ā45׈4N\8uhiK6N/3z'xt0[ ^z4nq+BA 8ʆ>"R-a>`B߷Cs;vaԨog>~\7h=s 5p-aݚe/aIr%#:o-ԛYfcZXđϪώjGja|H.g4o g9A,,4$u)JKiI|Mԑ\uwGU0MH~i5U.BMLSR4e;n y{`>GQ>[z%tj]?7!?m W 3Q/ Y냽!mTN0E5vA6o~ :? w̜\'Y lE;D$װ?yL?kCL@˙l?FՕ P2|܌t٭јUEx|t&Ո xŵM^ad|J,t2'زCX59{9]#AY," hYbIWiO{a/ ãWh2-#7oc/j%yz~lcLnRQAj{x`Mc(*8v (gd[ZčաBAeAc+T&F )qsM)y͗w#Th+c!0Pv.e7bZ"E֌?cQ1m`ҴwhNu;,^5E>,">Ƒq=Q#ZFQDH˱۬"nz\d͛`Qј.:霨[#sud?QH ǴlHK4 n9H1Zsxz $)H*9BY7, fi*2aX&SGxF/$+Lp' z Hoir3R%8 *ش˞X| R+`UOh E8 .*(JXvv=~3}f LD0C"N[#:*E@TTTkx&IGzKkC̷>]7R) 5MXc}l*LB0p7(;·a$p73"#N S +}WPҤ6բ%'&B12jEN}  D e& |`έFwk\p3މZ Vu8^Wa l@jFbmlŤYG̩io[%O@}H(Jv, { V|1NvC{?YnG~숲ޔO:U\+7TcA؃rsg'9 lʉB%I30[? 9x  աG+7} vм DQ|-q?@얃'`]B TSp4h{xa1F0o&0.5׉=aհ_BL%9{0mYb_mNA[lӉ^3T Hr K^E0er -+"era.>w|!ІooIK T.#] M!!bzA#3ۘt'@!l~5 J@<™g^uKe%iU Y\a;;KgHx~ZD~zTUr`,#8ju˛{Σ6?+}f{RMy1Pd p@5h_ޯ{qG;5 p"OUU]L6p~◪QCh_J=,JсBL޻\pʢIGwWvRM~h=D1x KXKɝuiV+$((L.ƛO[vnnP>:L/Cə#8ZO;t$,UgoS9CJHW*KP7 yy޳bQ"NH;|+ҹ(3٪w1~8!^Tv4[>.UIEC@ b ?ui|Y7#Kwd l r/R%w)4VESw:6+s|ӸCOThdWqO=Cd8!gnZ5#+F85;D0ph])njTUi9EfckUݡXRA2;H)p -JsΜ_7}B6 UUQFAw`.GHA.8"XxĴRԌ9G \p<. YwemcA.v蒶#0 o Fe¦ݪRї˒Ol&oK5ja?fHKbF&FX9۠te<]6:`YNO[_25f.o@Z$< RL] y^&;Pd\^0NSImlU~Tƒ ? Ӳ{;K=5Q,F0my RŅ~lVLC$;J)sDJ >Q{MNu\.a}0|,'X2!Yo@Gv%qD ;a52}4"5zSGB$vi~Z'A񏕌T%#)n%!*Xr8k+_0IJE?r{IM#mi37D5-Inz1~7؋㲏<O/HpmJir0afxyuȭXk-`(LxwϙBϸtG@\Ij o%Ś6ryd7XdT ɿz/n<0ڃ^N#:e .2R&4iEQTC\Ir藓I-Ğ5^dML "doƉ {;`&x*1_f~p) qOEE5a%szmBVN|͍GkaF_Ffƪ4(G$;ꘃbBRi ^uپ O΅Oz.08]7 i; V%{"o!P$itꍝ`Q]YQP0ކ4` dfvS>MC. Pef*q MELݜJ6]zkbv~$@+ tr7jj1*jZ0KT+<1ysȊ .(A~a{P*ECB-N(wQvbޚA8!ɣp\O 1%E"cvA[ԲB%5CfZ{y4{dy|PkO5Ieά*VvW$bg,d/.7JŸoL5"H_w-rU9/jWG.z3 9k GDO9$4GW-M.۞֕b·j]1^%-/*mM< {vh#lj;%PRv٬OeDk=/iOhb[h'k,Q>%_Ut^wDzA73t5ql&\98䰹"Cއ;!,`L#Y/y3O%7r6f ']QC+z cNebqlOo?:6%p;eM*+g:NAa_$E)LLLfxѸȬ%E.uTM~GcmbX_ڜ"W~&ei: L(DNɋ^]-HH42W{hƏ҅(&tt"s)YI{]+7[Ƞ9CM 2M͊j!eq=n{olʼ}+aD4:@S;BVJn@emw~w"3Z+:RzDjr/㾡O3G4㥖H寕IxҊc5ʕW*Ph0ڍ<%:>g[6kr&[)nqw;f0:jH hVĩ=l\'4X*RJ.($x9;.kP~)מFbS>7LB.?ȓ%W}_!:c{sɐ,!c<N~,FH f?7跜!A2}\QnUQ~jF3Tj3Q=A+rٴԦ.iZs<;yC $[|jӉ{M%UQסa^݋Eܝ" 5AGV* Ëu4pj(>$y|Izw+#wrziyNPiC;D +>.b3IYNAC/O 2t v]#d4c%: h!*ym]TStߨ;C );N=\1Y+T&д!R|5$+T$"IWP:5Xbs zVc*tZWS.'d>;#)'tk޲P$ ?_UTi'#\DL ^-3B7#!eZi _3: 5G91]:M-$BQJm'p.aǀO%{^}AȨH  }Tv+}o;VQMU #g}d]aj3 #R:H>H)\^IU= <A!PI?+bPLr{M|Nk:5]-6]nP(Ь%l-;l +!}#HU]g8H*NfDU[!đOUG4~4=;#HNԶ9s:Բ`R<(V*fγfe^ k fXEؾ+I(qX~P=X3f{h! ;dUl رyW6nvi60Vc,m_kXLdI n\ilPkKF60<8OǠf>? Q݉S= "PK Bogn%.ou۝>rS<X Fe/ªrdDK3 #rI I2WP.7m*T~)+#B֐SC%3 cӛ5Ћ]@^D2*V]e$9fKpM蔚󼫉 ߇ddh$s7*=t#pވGәw@HLsu.yWc+bDZ+o(e1` :zyA]&&XrP ĶoyfZvl:5VR4"y%[Gp>B;'E׿DF `1%(v A&Iz?C5./v:i;qc'cEjyn6q7arnӹqݷڪu4=5m@L{Ny,#N$鋜(2*m X"b۞&opdsW &*C}l= |LQ!X ^7 1I*%yv_O)k +&=PNW8˃jF&svx?ګGq .]]rSԜ['Cvs8%2Q6%j6b_zް^o*核xʖ8&iju* 3@) aXkjxhBaupy&`%ر aRb]%^*I܌dmXHNjDFTkrFQ>K>j=0R@%{v$(*|zpK2%pҋ#Ƨ-w' qn (ē-" t_.w7z!l|?/X<-SAН@rTj:WV'YeWV =A/2ɇ4.X~4v=޻Su8p+4Hw3igUvFl™F8X"be۽3ށ*@NR;Y˓tjyn}['_>CZp"Nh06U [}L Bdk8!tXʤ${v8ѠeBlPcZ}R6U"KwX(ǧÇ;#;:4Ks%c+&*4H]3ؠ?*0 p0ͷj[D,ls:N</T6EQ$/ X1ӓl;j,10/b%#_b3G(|Rّ*5$oMŐ!Zj]ʞ" g"7BGE~̫Z !2#h )|~;t G毝SF%iYh)it&"^ P{'9Fu|hM"Ul8QiZ%oڟL`=žt5tmƫ-RERŭG9+CNJ hRӊ[of!-MZֹN@ Yc0z AIPΠ;E un*('`QͿ %eFgO)rۦa^y6}^f<ƥKbϣTRx}5f\!Fpe" ,re[./;S8=tMhH=3M6wׄo*'qw>+D iuDÃa+w*f[b4]w$zG(M^zk~~&|?ZꂍM(׵ƝM+@ҌaR&ܸcwM)GrJJ z]}F)]j¢qyU2*aibArôc=3fC5H)y Ž=%Ĺ8gbEBߵL狨j'QK+geہMN성bF֟*rp:ȃv)\)@zB܏U̗{EzfazH _XVE%5dUB\-NetD.kF$> Z< D-&f6WL*d1̸aւt4 ̩}:H)@r`n>pɱ%/jY,dAl+~>aI~#%c56RAc*Ƣ=OL~O?Tv >tњh$O/*u^`]jt8fU r&`Ǔ+VHRomX$%boc}s <G3Y+;`:>hvq io^Ia:iuǮUF sۋL4B,kk&ys.-"sE=E'o Ty-,S[硌)mֿ#Ryn9ԨG#6~F$zBaOČ/C/%7r{HЂe95iٽjȄ-# ~Zd'|_'ѦlU.َs4ka-Cxt>g>2E\l^m x"YRn̏/QR:-ɟs}B&PR(q. QöWز)NڬqCk=P'G/K=P3H.$$ ixDc<h/I:m {zK;-,}(]nDC/׫ۘܭX9Qi{6sSfޚJefL3ߙ|R׎try!,7Y~}0p~*ɉ52jZm>́;}T\o Xj2'YwXIނ1pAgqz~6\Gi^;A/0+D!f:e.#ؒ)m1*8N1*z@|j&ߓ7j ƍꓸao#xOdRT~9k;̜lX Sh(4ɿjhN}C]n@˜~Pw8hA@Mnձbfzhc0 s!4̀01k !2'yP^E[_6_>w)[Cи~,F׷s%BգuR$sK5GKgD_zM(Te n8rlA#ޟ"& `l {yV^CF~{0jeV?|3Hmkfc^j_=yrO!m ;@Xs/+4`o`.I JH!ʆ ^ğ<(Zʺ0S𸂑rCdgZ| Ma $(@6kY%4eH}у5+&%xqhĆh=r{ɻCo0Xz\2JAB3N#*# 7#ַF5x1jwH:҆x7?t CTQ2M'o"#IHݯһ\\լ 8 ;mtY7/WGh(DfVE>nɞe4+9k5QaaSghY}Q?5o>Zr8O =S,#ц>1P>y 墵bSGV-סpA1Bjƫ?(S[=h*kV1Գ]s'"̍h$DDOP6 H-FZa/$5 TɝdtأnU9]hl`ٔѭT>,s@ m8UP^,iRYh䁏z?D@^Rl휊" S} ,no)v9g 0o=,lq:$9\ؓ:Xt_ʈtodR*ԁ -_ ރuץ@97Pw 0&lٽך*T9Xa11w wE{x1yFLH3ۿ2wqBnX-DRoB/ Eԫ5L"X2oAFj}L/{>pۅw>+atح笺C"RY,T4z95ta* 3gj졿7{'@PՌyE눥ݿtڹ#zyАh0_E^G i #$8Y\}Í5uK"rGpCmL:6X$gSx:ҎmX8ٕ֮>qZ!~+ڹui,ְ.XCODeF=SR$]1LZ~mmUKaTl})f7]<|4}wirNsX2o5y"UsRA,IaTRu\^aLp$⼎u$Y7|~xu;kOyhv i]gpIÑ^AI.88G>h|5\.uQFȤ!Gj:R3;_cuǥG1m~(>*'07%ikym`Y# nCv +\ntL$pI7;K7\&DC%Nw6^Wmb {&ޝZWYMiǤb2l ЗޚaΧ'Jkߑ J,#'wm]r{,4>SxyKZ̋a$YZSw\My6@B,K; g!:7O7c͑W\q@:tH;Zc Bvy?!P]^Q~`k;AwS=rWP/ya ۻtK6؊lh&$P  &MBKsPqsSy&Vyr_h! O[ߟF=߬n*MIHw7n - avNDT`]%^n90EcmrVԡgI%ZbBࠓt*wjE1}}uMk\5蟣71L̟S7JpLl`}6;mۯa[&\-ZGT+XfPJ-ޮ9a!>|ǯy͓hǍye׏4a5+F7w6=D2M0-؛iretsbޛ7mbFZ#x$Q.OVU7woĒ‹*?-<tͨ] eͣ/.DI,C #Uad괌Cf a'ˡ$Aw<2Tt|vs:lsQ 7I&{vgTg n{]s}a2P´Ba ׎BqT,ZG*di;폚O9m qX8i!ANJy !E0")o{n5Sk3Xߌ턎վuo/ u9 ^uP2L6ؑ,G%iáqu\VDw,^*JN ,= ės%\*߄VbLV7g9JO*{[I2zpEGhw-,^Asj"6C$޵?BEX@cګK?$;;zQUOa29W[0Mkh}[yqjX \m9O\mM8kΓK[3g<; [ q63%&ʎ/-o"qc.{{m9zE >l~~u 8\ bm'`!4F1$\XI:TMyg^-HX93Y&S=vruP[wG9c1ޱ p&|_m6@\ A:u"m k~ ol1C w `aM cX\\v->l~9nإi!ޯLo UV 8Aen@y q`ν&qExez 礉xi3xΤvώDKa6PP %kb曡L>["3nw̸41GQz8i۸G3NM.ynLݯP,Z ;ȶ Rpѻ rם,pB#H^nqҐ, xKiW.{ DSŗ<9)zլd.AO`.C8dHxadRWt#8wᶓSM1eI* I\H@aɬ 2|ymӷ(^;𨷲6J6yBa؞,g{%BZ6JrB:x.lJF3?<"= #}&]a'd,QM7M|M 3^Iht4˹cO.*M)l޸7B*Ҿ.tEm@;^#7%F,u?z$ahKm.J"\q#V^X<($.H}AJd0lpጥWKTK AErO>Ah]wT Ze| w+;3 :[^vL[)QNYw=wbbU Dʍ dtj@A3TeHT@B` o8*JKHǂp f+'KؽZQɗxvxIwûg ev&&,Ɠn6o/Lb#_ߋ fAP_8?+D5~ޑ7<$Pspʭ+gNNNأ,b6BK0N!sqCrn#(>g*ϹS2]CCE_vx+Q0PE"Ld h.$ɻp^}.,|H~&_V6 .yX`|.ERfK#q]Oe! o37sF;G{^DrٝtƥDĐNH^KK`cc/j@Z$ٿ _?ڜ}/)z&ѵ }wJ1VCV_@ Ȏul;q PKm}y7O+ϭa ݁ 4h99 7|=ҪYU j LD9btÕy7>b<5(Q< 7T6Pe:Ne^1,#^QM$צU|"ƞ}!6ktGxaM4~v7aVmJn4FLFd'j 7P8_l0ܗNCR1wQixr*U[Qq*2L"E-b 9& ˋs Z<+9"ry"]g3H75f1ViB_Ӆ-N?:yD8߃)U x/'ly`&;gsQsXF8|1 )`BaZ|)Z*' 5B=N@L¬8(nEPg U2Ԅ朦C'i,:c:ui222 pIZ;7PYZHz.DB!*r0}y|7T "F7ylp_9N%AtOu1>]oڝ<(a*nEd=MLF!őYt\5ciTIzp3iVx P , 1m:vGg7ue}dA"9:ZQn*9AF3{:[j0͑ӋA22L]|?Wh/9pFZ+Ctױ|MA+VC)Wn37+7_TaϢ"rtf?y}Ny nSRURISF:bN~=xOWh~|Ri w\UUr%ڈ2iE$h!huri1~Iop+$dO#7"K!cĖJ 9Ѩ\z 59@P>[k+?q?2eG:ۘ bfG|y>lWscfw%%,y\ݕ(y6 w7N X+'皭.P ms5G{mR=@nO JA54 m 3XSB&~ ^CS}i8K0U^3 :Xy)lIyVF)X[^ȸpqFL wCq~\ޱshӍ4i?%x%W!o-Ц۝YPJPujT1xBp0ï4~aĞ'hRE82ınFm]E]?͆h4ya]<2 ׵EZ5oaOzyaI:Z· h[5' .vzv7w%S`nRg5[ymƎ=T+d`?㓷s`B"4290oLjd?wqO^(8IFY'Г#%ZiK$4![lCkOѱr'n.̱ FRP,+\țWLi[:j9f]Awm=c@G4ʉdRIc M7%1<*fڙCP/NWmza&D;&.Q6nHHK4 xl>J_8?A^xg`k_p4Ld_MJ +1`/qM. O{NCM5Ay$V+JDā7a3!11= &1q ,Mи6~].+EB5l -B?ޘ nwfX)fw} ̆#"E{ yVWeHjaօhK|_NsR y ca-8;#h֏x֯Owk&{3 Xӈp;QBg<;b D8V"% 0^q '8|&9g~$@2[$@a5 )ESCXW@qG0m Q2%5Lt8]c$pbǶmwOF kMȞUU6W 73et$ȰSjm0**_ 3tɢ*!K}=4Z I.:`v L޵Yp\.[w!mU5uaa s|uSx~pw5@J-m6v c939Fj dCv2}yw$F0QRU2>0{y,/ zt!}:Lvl䙍z@\{Oġџ *[raCg&9'4 ߀Io.ׂ&=ޏ@ftwP&&o$_?m4ЯA7.f!7oVkXRNaYegfMt,zɆ#òt`#ݞA S*LճOru5>)|+' g1v#ʖ^Y'S; =gV+% Q0ӽF:˔fK%[AO>bI"UF  w>i'`3˄?/E||r>bK\SX|Z.x;ykJu5น!EOS"ˆ7LN媼d+e͜cy8bXnvѠLl?â`rc^hE3U H^Dr,Svr*lUxIùKb&A3v$|x$ ⸕pJ{qURv! bMV !ZKV㍍;ժCiKS }GD! '.Q<Δa5\<ݬĤ˫*h2$ _Hכ-.0L!Iz럶r1c{ӕOd@G; <)+y^/x%MYxĀɝ߼84aUb9LA~6h7^C׍SQ˜ vo!Y ]*ViHavL:fK?S៉~:wiɏߕ;d_y%a¬#9-#;1"(/BQ w"nW^k5 ?s}BYcFCo4B\pf\:Īk+#\;V%% ˷j~KOl"cJ`)>IZkrqyJ C_ 6}o8dr"i 7P$YU4Ial+sq^P[|7-*,2Vmv+:c4 qh[r)FtnI2-(M.v'ڃH L֦ʅKCܭ8bB/E^畿˄ޝ) i^lIS^]0T^l5b^HtKs2 CB#b^7gb]S̸֡єxʏ7Mx3Y^E!g}5O9+2'Kxtm//v(h1p"c&$\0`ơ/fy[Fw͕ Z&N"!nm3.Hח+᷿кHP3[g&ߦYtRXDx5n|n|hSKӖjqP?pȮOƂc J~Bgà{5l oAҬA1߹ V%܁VeW Zh,ǒyK)FDND(엷g023/? Hw%,`*XYAǟZ1X"*jNٶa=A$!ƟvoВ3W^]8_KPTmɩFF< k[)SGP! ~n+k_^׶h'`7?I(b3|CnC:nIYK%4AYԯPA9 Hfy%cruC˽jh%:AMZ2Í0-TjjO8Ȑ>~tlj'煜Edܼ~F!_Y6dC(&*- (vIY!2eg;1q3oj9^L}mxՠ6ɽ-Z6,f[4hM>tw5?)xmAY=E#mń$JPgd@Y'T*U=z6h7 XR ?[ʤC]̥ZPй$,J*}ԏ6wZ7٬5 WJ8 ,MS8Y%_bpc-Y8&7Р%N_Ep!FFnx阢9}7 .us=$5R.Y)b&Q٩13:SR5.=}(nbnƶQµ7t݋Le< {H 97*_ d8д(V_=;~1S ~ MY/z2<2f0YVJg‚^5#WSoqA9'虪*B{E<'A},hhJ '+ϩoȡh}l['z Tޅ=B&@)MRRUl(چZe8f@9\/Eް]q/+ )ȥR7Ҥղt hvCv3F=Α :Z䳛+dq#݁Ǔe[4x .Eoyoٛ[Y,C3 ; \anRK2 QsM&BN/ihfXݎFmsNUV;|a἟-ߥ9GIVƇ1L?5yY}ɖy`:Z,uy$UF|A9V hrB/]0W!D$Y+st\m[󍁙Ĝ]5q{YUa˨gG8s>_)/>%hfClIaN(l{)FMҽv c`$~K xkS0^k[e _TG<"z]F$5e3*zA^YkWuQEX'ȵEy[eqT6^:3dXVsh^| %jU)eo mhpD`\%U?eOO2!ĻRR#xiQ?6'i#<;Eӥld5Y]MC.A]u脽$"Gi0-}RY~ASWɑ[|c:mnC\Y o3#$g}Ϥ-p1gW,2^kZ:/b#\ER)d39y 拧Znܳ_i?tդ{EE8=c>E+ :+0ۤ>ԧ$qVJ>v pg3P F5ڨb.\o*_`̛)C<# Ϊ>gS:cR\>Յ}Y=wX0iǼT?iN*},I5]Y<x@* ́L:/F_p>z xp\kewrU13//jaTH 7JDʮZG혓hK,CYhc_,Gd@=!>(#ev-|&u@Y-/oPR:4 !6L$؝~Oa&%:qt2Nx@2ovRmdૢ{=#c OQ8lRaZȖJf.nQ[3$,`x;Q) L*[@ޛbvRGSy}A QJFjv_ AUn}R|cUڥ($uM<}8y^a??0Ζ3t]Qq۸i;O\d EoO>v}ǁs %ClM7V'9z3O_~/%#^Nߚ}~A{w$'IeBQ)3xɩv 4\0a2(@b%GQdr56+XZ{dr)^@1E@BI:Lͬ"W"}&l/܈p4kdU%ߞ 4Oejݴ.`%ᐃQۡj^a <FH{w㹟O^V Të/e&PpēP5fy;IbfQhNmKT[T|"B݇%`%ÄUK 2x"~NJ]EiBCδ‘,t,0͇.*qҁ0/2dop܁cҟ?3j#ֳRf Kc.,5uLnTP< IrjOYl ]/6Or-|%[ 4>!eܖ6ƫm7(Otq'$r9׆p"Y5pmq7*QdqfZޓwS?^ޕ h$(|!9F%yѺT^TS^_]-tnd%Jn[ l3T,cCS2/['SP49d)D$^:Vxn|^4dAC px{ʙBP#9%Btઽ22&W]hX<%Y=j_H7Ѹ ZUzߤ, [XaX@v4IIKh,)p⣠SH}%QehNL?_{*++-LӴO]*@~؊>SgYZc6f965e33fe7e554ed8e46aab73151c66dfd68ef2a442dabf4b3c56f5ef63570355cf4d112862e5d c838443c8c2354d6d1cdbcfd20c3d57dfd9fd4f7aca12e503ad8ebbc679e331e6326961b43bab703