SQLite format 3@  ._  5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  A A<Op`Tp ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.618cpu=3.923gc=0.000(/`HPeT`$C`L4ϪGU 4jk=][Ȍ$Xr&[?5Ng;/YΥR0P4I1yjB\Ϭ4s AcJ8:@6"!*(/ _pkszMW,\XL|}"HzP-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` EYK @Kf!J,}-|D91  HEA-3:P&a88ocf3'|EJ,OLEQ核\H7FzfeUiC0#o> ,6IS .M*M٦tLsSΞ$h?"BEvl钆a\{|/:EH'_UMׯU$X{w%R-$>!?0@Zފ(StSX&L,!Ց~!yyB]TUmH!ZĹwFu[bG!fQ9BդPƐ p8ɑ!! K\EM@@,bioCHeY9~VҙD=c~eh}^O(J!g`׍%]ТaCW ڢh>%,#KY(kgPT튮.{A&+#D$G W%Q{i- =>єJ& TH93꣚˪220bac581bc7dd2832929f5164de90e177d6c0440eefffb769267ab447a6b9950a69419f37e1cc3b 72c31a354f92ae40cfe77d1c9a9d10b742549e13 80665f2658fe53539a5683772d98204946a709bc 6c6becca9ca8e44969dad16eeb1ed567020f8e9d cc9226c5cb010355cc7917d07d01670eb3e1b7d7d803844a-8143-4dcf-9671-76d744591e9c $O HOL-Nonstandard_Analysis-Examples pwOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodlOa# (HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b% fl"0mRr۟0# ZBq jr4ҥyo`aa s簼9 EPZʫ4dss53 kDPթl\WNj*r`(ӕYe䔙=ZGk\3ޤ5RE !`[H=L$I Xa) a89" BS2H(@L ¨b5,rBrR$r}]%+CJ@BvK+ l T",Ѳ&/.!6Z^ 6`w?b@ qp wF$ sJA,ԄlZs I&ro!i"$t&{~YPt6Cc`Qa/BD$k(*s`I*i&rĺȂQp{Bҍ;qg 1P%U 4ܳAe58 BVgnq[Q<d^?Dƈ%3uP<.waj)y t<1--Fe I'^(H,Kq]5P2uwQ \@ʾ#RiƃyRY5Pk^2Xs[Jc5<% i7+UtڬVҙ*[Nj@Hlvfw CF Zgfmٵ􇡥XZl+e-S"U«*v]%> ,yVQ&hKw?7ό~ń@ZT% ( F 00g=҂=9>#<ˁ&Fo5ѸGvZŃAẐT`i݄qyD0FƩRE#Pa=+YjZ$zc@i#A|UI,DK[(<1YX$'J 1R[ ϙyb Aӈd= @`Ӏ4Vy4CI,.T@4ЗaIh\q͒Ώ3ai`M7-VbRР!iiFq#b'z@$,hY0@c4QRԜj,xHm%h>H#rp1,E H<+i+@4A<`̢4Ic b8 i9K`Ѓ- mIsD!j4kVkh%Ph1 Pfyq!`QsPIcXr-@w{{CUBw +T *|&=W7?*'j,%1k/J"Dz@šf5VRMz#tS  c-c ٗ'vy#dgU"еP%koRݤS|vO8`dV}yi@{Ut~^RBhکpHgrXw uL"fLZbT Ti&$Xw14Up4:ePKTPF'G+!p%cC!5 ""36\P/o&yB Nm۾y0C{(QJ|e͐0/:M2x6хk{vC#VnJB2;nൈ]$#_䓃*3C#}p 3=PK[H(cfJ1ũ_ؕz3m3˭9~4$$ڤEiz۠T sʙ ^&ϏE0y:’!V7#D",C$nQqE>ɴ &5@*N>騠^B lCt4S5L?(,Ub_F$9wE$= 5eAykbˣ<NڞB%:V@Z@jb&L2]u:eM#_EXV7T,d\c)`Jtط7~;)Rnb"A>yVvkF,CGL؁CRDUhݜca1Ƅ$7{ǙpQU4:zٲzg"|8d~OI>)0vTyii5>0m-1"V}/e?&s"fL2McfdD[Ԟԇ1E[BtM'%6YЋ0urrI+89'qR\l:7EO!*PҖjq6ݬmY?ZLh`G@삼f~Eb [(M}.4NRYfɗF"=(X Js,dZ|Bui -Mb-QS=zvSWDQ/OHrE(@7Aqpy~HE F>:Tɾ?uoԞ"Lh]"x!]Ygܣai9 t`8+-AR oJ 3s(@`l9׫/!͛c5"K%ѫKб?N}22RDZ7;I 0K+*]r 1% 1h@)|l5+P )C<.bSLXP",Du=k"c6AHd ׍y%r\#N.=`0heK&7z;,ǡz]h&5즻&z"59HsoyN ݪ폰8(W* ǗRUo'k|{e P [MkV4TkyC*4Q9"*bZ+OJMݕO`ȓ Ʞ17+*Wd,CC1yP$SkKsT^S#jWB&%xed*Լn:z꒛R=ˊ 4 08ϳ= *{DŽܚꉒTAo+Hxp"Sz\Es'H*zN%}Ukx !]8>2XS{R0b^󪭚0fSU,2ޝClm}QS^.l>tE`-Fz}+9ӶCdvf;s+T˹IC_?E#cd z7_tu'g!H?S.P NwHugBx":%&7 Ujj0R) )0S8nЧ-)q:F܎,dDdY=IV"1Ya8y90-TƷRa!p=ĆU]>9QܕY΃I*S걘{*H0D/db kQ[r5 acڬyWA1$]-3l֗BJ!bo163zG\)I"<#=q9 ,3<5C/cu<_Ak.9ShʟekJ2(&a]:(Id f(O)痓Hq /1)DzouyR0rCdX]Ht]RPUAwxl)Jo>&OF&DI176lMa sy$T5n(h%0jp€qrTۙl;EUy )02}j%561oh[ #oTNNCV͔ 6|j$FqՔ冄% AUNDa$yK{yvf\M"ڬP Y=/QBRB} @uNa*߂n$^)6{aqR&:mD ,X wpO%%ckfbzIX4j I(Q#ە^/sCYC-ta!#,|US1au/L}TSψJA)J9rčO"*~oG` }A Bv,<׾M~r!}XŹ…Xj1$Jd)=qq4YCnSU7COWjS8H'mPS ;b:0o[jaf7&kIM4EXTkEdpрC Xڦ`V%s8b*P*Y3\a>"{TI\w<GOj# olg`3GYl)$6S }B@Cj8V%j3С$GP |>hi?J6qMiÂ8t[MM[p: `?P1Y# уђ%hЦG Fᆖ+zooyCsVyLb&X|l1F*o+X,1"e e9}pfYP޶*oQRif,/>掓^AAxu;z` Pot8T§яN55 +K }>~!`|.D9oB d|}\Y^\/`3ZAfhh"J6 b32!52vtKgeד$MR;`HP;< W6ZKގ}Ѱp<[ -+ BNjv2߇$74-Q QJ62)1khna"h_oW  GsȫRHg32IuNT ٳ+f*c;S 9aPeON;T&F"oZ [BaG0&41/9j(PEi) 54wQaJBh/G$[` (KNH͕ 2l\@pPhwePJTP/4daA pES$ w+Ÿ?%6xD\/g9rMABCA-0M,H|| K\ Ba.4g0-Fɾb?bS`Qj#`i5Q?WQqt{%] kB:ዬ%,ldS)9TZL#?gciEIRs!u&@*QH?vQĀtg=72%.=Uyn{ oAc[ EÑvȼ2=Zَ* JFT3aٹ(t@&Gxa 4 K80o܍s\0]O \I F9C('H{>TXU Eq$z"ec>UE,'ϮF@yM~/P[{O *ߧZ6Q.eX]Nht^.TfK@ 3ZF3vڬ!Ni =g#(i" /Jm7mįؒY1JlE>$ mǮ77^GHpyf$#*z-Vk[z Z^y+_*Z&mؑc0NNû (r/VrPܢQ@wil܉- |.⽹4~*ͽ=']!,h(T)OSJhvմUKg 6ofnеPG=R5Bxڬ*!j PN+fua;Xè( o)\8?]ĈTΩ7u pa/3&y32)0Уb2_O0RoXD_(mтmk cMB @`5Wk}gHSyI!KˈCWtP;d etI[܀Wh5g2ICEAx'$GqwHul5bS L3M`@'@dMCE5K "렌ω-6q$ZBl QK$nӬ sy,bW Pqq\=ݺ;I і =ӨiPrĝ;喲/aacb- ?HS(! zz},!hU*WU{[ lB<r3Iq J\wB8QBW c8BE!9}L `7֘g aRXΞ}q7B񈼭: ;}.k~ Ax8"bV*9mB"q`MoJGx+̀'?؂* fQh<*Hnl6@HhM**}/K^p`vjTZB JKrNpS E 鸔 fMXl55Lt6yw`Rтx%o*ݥ*dXDT} :<;'̕VR7%b;G YiL\vJ8dX*  apRvMmrH74i.& Ƣg(? <(D`BlZyMG&yf# C C`x1b`"sh)/nehk7Pck98n:q# fn)&ϚyDWXx!T*pK@[6e< Z0DT:. $6S\m9|‰D.PkSR4IQظ]2m"6 N5[UU:R&p 礘B6lDڱV^T -nt=]" pZ<̼Q_5r/ ^ G'\72k|!c6("xdBSl,{\9 {zJomo=qk8 0lwF~לӰsaS)Ѻ|lk)3ϘӔQ8hRLd$<S, ߊIrT L>co3Jeg7*@@'%^c@s(xv3Tb8ɠ9;gF'loSH#AL_ϟ˼H$V?MwŘ%nMHF| ٲ#>Qe`@vTB9OڤYT7?TQi<' Q6P\~eX$ם2^ѠknZt|b:`=0moO/:n#}񜂠FS?|*o4I$ĢP9c;y3@$Q-M-zt8+xtJѳKnd~dM7;T(]+cG'E0+I[U!=2,~n1EOca."lŕb'd` p&0xjoG Ze9H2S~`GO._p3!>_]G 0齠\LOŢ`s!h=y(XRd@lq8eV=yT,ljyc"<6)#o8R |j'Gu1Zb ɇ4Mݯ$'􇆟{a0dR$/ Ur20gȻ bbw 0B|OqWG˅UAz~ #ROacpP!qj6J!($)0 1R& SBVn(]PRAwfIc `h[񹹝ۙٻ{{{{{w{YߵuuW[W[wy[U5!dgfgwCtWEUkƇxn< Fo~nnDf ҄Ran?a"b!H$: @ PE"a} dD<8\$`P á@8 !P s  WM-B{d`s>#MkNYL -1Qި#YɦݷmT$lO;[0_qJ9;T̗[rddXV)BZ_Vӝ';[(L3m4@2~:֟!UOp>oLa*J)Q3{M0BDx#F󽈨Ǒ=X#=O#3{p\f*qQA= :tN[3 .o Qs; 4D[7[V. ($,>gT˨+d,; qgj&7CAF0OP?dC`\ pjlg`X#a4yoWݐ!̧-c֝}:Bԕ5rH_ dFDAT-#-o;vј"UmQP/gWofWLUЦiԞ"CG"4L] QQ~ %ocrC-OODc&UlX E~ ֆ &,|lE;*88?ĞOYuLc|$@rv [jηg6[1h1rrX oP!UJٿ''0}"Ir[8uoZ&J7BaVw{A@6Jeg fGK^($oG3)8_A!-9\Ԗ=&(1j J`g1 ,8^ @^%l"M~q5TjJ5f۶a_5rF8YbQ~Md];@he\gj ǔduPT?5])`DF9 UKǍ07 ]]Ja҆ % ,>t4Q#3 7IoeQpSA`R:tq葻HS /յAdZoj_2VDS!2@jHٚG r.w:fڣS 'TRj&4-Ⱶv.*Tw&V_nu#$[įV60-:ȹZ 1zXS1V:gweU}oo{i>ɏc猉Yl/)K`ז)bM˶Seje ن-fGz'‹#xr'c7N3 TrzŘ*p7 @vQzm9&NJ?' QRZ^% KLu8I $~T"t aE{31D̹@V24ba=ig: TOm,Ad!3ǀBʔnԻ `{J*jkMgN%t8ӵOx< 'A$~xG$ҁr٣ 1B͸Jk\-գ7yFŐ)HE9Dcx{҂Sڌ2[ UM h}t5ˮI(VTEXY> <)]{}}4C<ӂdCVQ?좳Bd, b|ZІum鉡Oi]#!#$-mB)lm~"̾|-6hUs6L,ѭc1@wJH:9`.&4b,ur&W9u,n (42ag* z$*fv v/3%|(ѝe7cXpago0z{H:U& BOr30ּg?+sT[ \y*_KlCa9Y%M-5$QC7u^JնcQpnj: w(\(.R61/cR!5M"2'& ̤dhdҨ$lՄ.ӄ"ÒkTA z)g c/]u[+6"{s“Fq衒8DAo!5t\w~ݼ%N+k3`:eel 9qD#}r QJrUʾ|vz>}`і1u\/ LJ9hKs+;%h[k㷐,Iii.w0Z7׷ͺ 5 1aH=.gf @{kN1JZ 1vl $%hu,V'QMq]?mmp"Xa'w u(;}Ue㑕^i@K ;FR-E!KF |.d8PL9ڑ2^䡖=mߊH*`}IIW/w cFx:8hА;VQJau3;0gQ d⩫_0_ER*Mvp0,vcn4 f>˦bwA èx̐ijcIT IC8uF9J2`x5Ƌ0z> |wg3Ezr_8^9aEk6`8'E:R\JEIfn̐D  3*Cz"^/|@"yڄ+%4(C9'G*fyDkەŠ̷ɒG""ӛ-"w"6xs# uvѲ+̞Z_Q}[6lKW20-GFOxvpGՔ! ->ι i Q_Z09-Buz#m/U5GwиS.af]\˰ؘdss53 kDPթl\WNj*r`(ӕYe䔙=ZGk\3ޤ5RE !`[H=L$I Xa) a89" BS2H(@L ¨b5,rBrR$r}]%+CJ@BvK+ l T",Ѳ&/.!6Z^ 6`w?b@ qp wF$ sJA,ԄlZs I&ro!i"$t&{~YPt6Cc`Qa/BD$k(*s`I*i&rĺȂQp{Bҍ;qg 1P%U 4ܳAe58 BVgnq[Q<d^?Dƈ%3uP<.waj)y t<1--Fe I'^(H,Kq]5P2uwQ \@ʾ#RiƃyRY5Pk^2Xs[Jc5<% i7+UtڬVҙ*[Nj@Hlvfw CF Zgfmٵ􇡥XZl+e-S"U«*v]%> ,yVQ&hKw?7ό~ń@ZT% ( F 00g=҂=9>#<ˁ&Fo5ѸGvZŃAẐT`i݄qyD0FƩRE#Pa=+YjZ$zc@i#A|UI,DK[(<1YX$'J 1R[ ϙyb Aӈd= @`Ӏ4Vy4CI,.T@4ЗaIh\q͒Ώ3ai`M7-VbRР!iiFq#b'z@$,hY0@c4QRԜj,xHm%h>H#rp1,E H<+i+@4A<`̢4Ic b8 i9K`Ѓ- mIsD!j4kVkh%Ph1 Pfyq!`QsPIcXr-@w{{CUBw +T *|&=W7?*'j,%1kRdWA`(\2֮ TMٵ|ʗuVv-;\ 4'.wtʸ45"1M.R~i"# &rK@PI4TZi]R߃Q>:ks40jNic;"ڃ4&v@,hgTeJyKXt %ѻbԮ 1兽ehN y9=P%fFdd ps@QK!ɐ$`(7SZ4PRlD(5ĖrFed~tc,=2'%Ga7K9`>m_iCgL2k;?B_V˖ B`}ۛaQDf߳3?q>`UX9HLT*vSӠXOF d Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=Tͨ#/h 7KdS?nM%-%-x()'E4r# ۷1:'Nȍ@7:Tc7:uk7E.;CNF6u[xmc_# m9vl9Vn-L޷iևhRLSgtIG44=]9e3Wg4c YI&mf\{bmJ4hįnsȇXO侥x"GzM MJ;^@H3&SbjdfvRGzHe*(`>D\L$_HGFؿ4 Nl"CO2'Z(1a$CF(H4f*_#(@#ۦ?40d#ȕw>#I")10"I2ۈdYAġRZ'"RHG J?3cNHI'F))r_! 5Q.5z'Bj$G@HBn D a„#Awl Hs% Zk ɀ 3j"Քp2҂!~}0Y2yT T:QLɀDY]b猝3܀Ï> 27f'ֿ҉ B [jk[87Սu+a#Ї<P><$ #I dkIR!Hơ͌'PxDH.SVHUk) v(R7Nfs8Z֬A8qT0΁wEzsok`_{ū]@) $PމCvBV`Gc 9tsr!AP(Tarfumfܬ!$xecc˵rT,G7c9/{6r4<.!kAg>C|ܝjM(,\1|ukycՋ܎tGy0^dw{7F*׉w8[o-gXFE%^σ%rV;S$Ry{m5 6FT;3_)zAPo-~S]:Kg^C,sZn۰`ʆ#|fJl(Œ"8DF/R/dm9$L(S^:5 SP\[[-2&ض1vKB'}F<[uɺ)1{Fr$9at:ex bfY\ b)Zy9f,Oi>H׏*mkY {D1寜2sčx wfZ5w0`qsSKQ5nJ5C0LL1H> foJƝ;t~X5NVS8 z/zwMrN:+"$Ŕr:FPRM)⼕W(54kgJ?*5^{1`7Ozߡ6\;b@ڱ/lTx91vP`c ^ 00ct\}68P\T4pP b bc *Ԧ'E֢Z|8l>r P t: "9ap-EA)y"dM 78U#QƕR ۼ1l8mRf1^-c)39xMs]|SX2 F|\mGbs"4Ёo oj0gň0,;*ߨɵEúYn,"h\, 7f^Jtyo$-i_+b,sCU~RD4٥8q :E)F6@Dz_6E\lgLEg@nslxNniH as8>Z%8sʼn` .h̶TjJa?m|=j|GkgE42ZnN;ep,~˰ R"#OzIo,KHc(Ŋ`ȉ 4!Ԕw }qa&Ta쉪byI@aBAX:Ϝ*& 9u#v00b8{2}31 e+JW12@QYsPƼdn=q쌟E)lV8p$4o{ٗfd+C,+hn 4@8A uu7)aUNC4Hh3"xؓjRNDQ -h[8Jly/CM9$ /ĿਤAs#$[lo |A32Qς/f_xM`8$6sf[yL6\8|ƺ@*⺇+yyS'|m'BnྤA:H`P i@ijM;k+ {s^7dEt%EUn<[" ?η6PA/Z95>Ψ[N)H^*}+bxH}l 1 /P]@.!  ӆYyZo.i)IBsI8S)H}vg8>Aq%i~ aql3 U8ԒBwPv?m;H!fsQu!J}D5e+eø=jC]IV$EQ+ڧ=ϾY# ,3ܷW&SMURЋA/ )DٗK7'*RGE+Uq1wɟ|2[ϺdPOjjnz/ٖ [:OG͗D 0vomo8d-gD[&nCDw+SfNoA 4L ^<7j.,+y{KnR#T;7uO]rF'"g'ur6"e'in$NX]3D4UTURfg8o>c 8Ik <T`#A M_kjۄGAb]RF 8SYs3.2$pwrA&g1|^`Kۇcd%j):I w_1ރ%sG./PҘ=P̰hIQB% 88A_ΐTQqa0Rb`p0V⎤ZusONԚ_G-n4HσmIOǙpw=֟\(ߴY~Ф &zs4nȘN21=g;S`<"hU*j&#[]Z{%hP^`q K,?8_+!ʮ.1Ӝ<Rb^΁#vrU#=j+> gTK)S9&ҩrNEw~iJTLEnQ4{_'P g KO_GyTpBm+T%3pA+jwO?)pr06@.ѕ>S(]5BQ7{W Ad<$yPDJz*L*4vg>REvxðXAOqZ {?(V.%1AO$!20@zlX.rTfv>GL|NA~:,ɜuԌraS:߃?tpt2>ԲuNp/F2O?l&2/n9QJ1RjM2bw)_ UāF4i%P /S;60.›*2QIzbC|wMnfkvM*09E <>/rGUݲ ΖE EHU<rd?- _BҰ3|vS<.l{5L ur?)XGJ яl,jT?  0{h (9[Uڥ"V>Dgש`t_RBT2x3-"t{$P7){x}Ӵ><׭ &wަv &YWJ/һ Lh xD:?/M/BGiF- /bEB똢m݄dȣkL |ɗp0#9B\YJRRilG]iWs}9SPKfNVI]_KHh){r6@2nAqY0ak6UƓ X(V6 0B~`//IPNOsG:bVj w@Ы$On9uM^kވcÉf4W68CsH}ќԏ ԉ&t!ZB (E&5*P'=\40»Z} M0er+߱35AIzl|'DDhxD4Q hpbp'yah;@A)O2hIM85)$^}:- %'x 6GW TڇzU 8P=  \dm&R"?SNE\6&QA`@s0 b1MI &O900к5Ym#))֪*1#O&1I3(֏7og1";/tZ& f87R!Fu0G/^ClBP4YGRQ M߬,t(@| .wrlxvv̮&U.ɄRX"]M;ǾɠW~omuN\ Elh_{K),ԡ_F#aܱ:H (ph inOQB ?l+߀+33sUgfc_$cL8I/5Pf2&Dz,"F@"L2e;qФf>)-9-ɽ& IZ|q%0 5HQF= "U ڸm㠀|˞Q`ŋ]UŎ6_1̣jEF1Ŗ2ܬz5X@7Sf̗B&W NR,.WuY˲,L6|Ц* xfLwjf[H:^1BW?&K߫Wj< |yMqI F@FiF=ɑ2U4BӼ9Q!XNRTH٤Q#5 -9#rRf^ Ct)=Af"F#.w&Ɂѥ8/9ޔ_=/=.).5 кj֭si sSVj{ֆ9h F y._cĻYc-Mְf +Uܶ|2S3/^M :|$cWꗾոmBnʢ)YfBo"'&C\rDи+*n~]{,_ƹ/{&܌8qm ZW1믏#=wu)ЌYQtKzZ{w۲Z[YU0T*~?g"o@6vu F,cs Bu#IR4cH`( Q`. 8D`$P0   1(Uf)Po3DF]JʒiC2a@ ֔z8=XCaD]jHan =M"I r9#19Xa?[I]UݨvʻK\F*|2t V)f(eUKsVZ ?A@B' HB܀c 7WtaL5o{D$֔::GL?N<pi.{pߞˠ| g;7s d?ɔN\D XʬW01Zhry.m o{-ѸB-UeR IGIJp'B5R{|a]8HȘy<֋0N&Į2CHBK ,$mM+lBN#&*L/ ";v:#" Hv胣8`JXbvIۺWHe}TVLdxl炈%RvMM35O Ibf[پiCf\wB+`gONIRHX_g[GwECI ^$1ǐWZ9Pc{|R"(oR%`g$#V>W+ࢮhd@Ϣb9:s_@  6!˴Reh6mm^GZGՆf?5i!D-纇3Ubrn>//բxJmj+!asSp+q,]91hġ1\6K9B̙W΃arqOL*a?.c~FdaqRCߠ)VXx""yFz}$A\IwG˒D-B8Hl+}(2BỈC@- ͹`Jl ӵdigvȰS ڽ]D8Jlv !tP2G^0T( ]֥HA'Pޏ sJ"qp҇`&Z6aEv czB&`bȲOciv)*-k#_D!9D#O1,%;"6̋hVɑlj]Ɨ w2@2":hHGv+:$'mۛ)vZGsrȻ#3Xm=0ata 7E>zȿe, l$U~wafLR%cJ59 !e-ӛ*-J MUK)/2T)GZ*A6? p )|ZEm?81E4+â72A O\@h1S](`)_<43KY5.g}$eWhPmtRm&nMi)3 pӫCwBx/}3ab ͆3|n}6Ʌ)\ĊV5\),1b~e3a4x+=g%5E)׉Uƪk)M:2|}w #.R${ϕYt*^<]iuN~4%7,ZWfFb/dF,% uHy uq)iDpi##@cD}9۲Jf& !Tx~[߭D0w .6: x9eHN`OjP}C@Z LgLLuye6!jZ j>w!K6/x̘*xWa rGTtPYq0YwB9x -_W[ m hgUpٴ8Pmv~>;FI'w䕐B2ok&%(Mw6/!? \doR"︕<®ȊV?S 'A_ca9"kiKydMV!H:^^JժZݨ#j 4ijvP('t9a9in1c״ +ŠI].)~T8`SC`-Y=PP SwOqu`jP+ 򀇦yQU63ۻTƏP&`!&e "jE(+;4.p-tUG[-g<{z١! Zڔ"+) `Pȭ3GavyRP_ab0.4.:'ZGnԑ1 (FH>8{*`}k)(Q5CVmX "S)*IO^rmD6N?AOD|((iBnj)O~e&&IΊ잾q٭{J2(ζuz3{S~M[(FCzUOӦL#nm>bQED|qG,H@II7ojSywѓO3^X#ѝJp:_E2Dh2m#[3ybnds##>l檆2#( 2R<_2WkK?\i"2L[bt ߲C*RQ3Iyar|߆Pafg?{Έ~z'$58L(6[Baݮ0r-**O@`kJ=w!-@au0τ4 >[0bF9s ^^ ω+ PqX^hq@Z9/.DڱkhBRRZIH RӀZ1C-%#4pIqzDRu4]%VL @P?83-92B@][sDӖ~L AQnUвI3y2*nt$- Qꕣeau~jg֊in'ay9Cwh~2/*z5$P)H>AF>NbT7tkא!KN׾iZ@UYQY<)@DP~C_j Nql^o^av9kc}Y51],R~jy3 x8jղ OY:cYzz"et~ (B@gAcxyhsmt< FcYK3.u<]kTXU C?)TVzuuE O|>ҍhR b PeyK@p Eb$H a!bB" CUjPK¸ѶNnWK #c{DY"}LwWcz&Ӧ#[llbTN@ZBޏzR&@0 t$h  ]:0yXȁ,S`qM`5Ƭ  NxUs7rTtJ }N` '%-YTXb͖YyRJ]/jQat&2K-M? Z.tLO2yQ@ekog\#?yS1!Vb0?u )|B\rn""fWC,sy,`\3xҫ2 o!(=/í[r\?"DjcZ&j/aEL>4<= \/] #'骒&Ut-V~&>/X4],8°&h m?dob uy۞=U(D'!g >qͲDkyCi_c:qiƠI)] / +]\5`( R*VVI6K*KHk W&y(2rQx+/MZgsIAHP &<рKzP6z_nJH:M;Yzemؓ]ץDv?ls*-hR*& /5*@UE dk qTJՑTݺBwf^)8NJ C!vI>[#LA3%@yVfy+NCrDmhBtʔ@Wg?8$Ů74 ڑ'V_&1X*AN#2Ow84UyaEA*,yի6GAE^^ *|J ?sRR +%ٳ)Y{t bjlB=#tW#?hDd֗5<i!AkicS%Xfl\4 fw%~1xAkpkq DL((Ycz-WF_in/F2BlMe}W,?q._ZИX aҩCb}2>QH9[ -Ifi*ǣC4p8^SFnDKV@mVc&Cmmi"[t(1,IeN$`dYvaKX/n/2(lZ E0FWgGVy'2*X:, t_gQ;sH/V ^@nJϳ))EYB0ٰ@ՉWNFEhItkvm ~|MO2S_Y& 9|d DR?h%#+iŪoH1/ӆʼnI (ǤG+ .Ǽ|qȣVGx.:Wx-60q7TlqYDK.t&v qQħjǡt\W#LG1鈹_Hyk-3t]仒%YN97"&!{E5ŢaLůSGGNAs U7 7eۧhm sugsHH>ow y7>@I./`[Ur(iR# d&0QݽE鯜' JI'Cߖ6oe)FdɦX ճ@)Kp9_+-X yeCd>Q<)'>a=nJex Tst/z!伬"­xwF>RTs`>2b