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  " "[Op`T. ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.616cpu=3.847gc=0.000(/`HPeT`$C`4ͪGU|9$>c]c I4FM-5xk8(F w^K+(BaiN#l3 ԒҟY;i9 AcJ8:@6"!*(/ _`msT DZUgNMYEQ}Q8 @֜(RW,̭RrPىJfh'KȲ$+ٗ(/` =fL @k OO[$"PEQ0`@KH@i ؖ4A "4x-&O-,6ƣxK9-Ds ">N\ C@L{6PU x<[\DՂ E"l s[(%D=y;5kؔas to&<%J*jf:rʟ^_ʻBKP0DDE Z 8~v;ZRH뫦kJH&ORw&߿?7YysnRr12PѤPƐ hdEC!"H 1L09`({8 Z ]v_Rh0+ aH݃.Њu>5 ŗrD>a)˩6~mg݅k`Jd/Z RX;pyUb7d= Iʧ  = 50b606f2cf165825459972dcf6638e0fbc448b7f47fe89a0b57a84789780bce1b7c17bef3c40f2cc 7f2d39404b813f8aab00b5b6b90da9cc0b8af993 e37b46de3b404cbdb3c5bc61b92145f4f14cc7e2 1ab2afd6c50137fdd5e574d465ca263c27673dba bd24f747ff9e6ac9733f6e3cb1d0eeedd805f9ce06df9586-5f2e-479f-8f8f-6f920e0ee8f0 $O HOL-Nonstandard_Analysis-Examples otOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodnOa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b5 &k"0mRr۟0# ZBq t2I@m`a [Sf?Yp("uZE aҋK" q4-`0 0ik>08(X8`<㖄>ᵌpYdyA= 7%D۽ i2Rx8іożVjO(uf VnUZʴ8 [ۃD|S)Ti)o0E\WvkU qP{-lW{]W}<<žW'U&Rߥԧ iӦ5(8@]Uu =Lq}N|d![ciVKńDpĩڨSm6|ڕv]K)eXrwٕ9LQZʥY;;%t&l7>!İ-UkL$I Xa)a89" BS̈"Ic(Q@ӿ1XC4$U՞P,F)Jcf|䄬IQ!7=vJ4t@ @ђ£Bv "5OjZF MpQ3fz.h DL ײ-s |ެ'HsbzNe>z0$)X4^dO&逅AL_4SrLX]D!p`=zwW^.Z$D6PmsHr(Jɶ7lb[c"`}JcW #u#DNmo]>>K\0iۆQB{i=X@d_4*2lP.F3fc$)ii,#01apz7#L0ٱHҮIJ5o\cIjSc5yy*Z[kY(vl-5lVTMѧY5P-NibEsi[[BUOIߎkJulr,%/S*kC]ᯊ]Q[ՂN,?Ԃ+Oa' "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`  $ `IE -|勰#` SGA k1,fC%c%\rK"9zB )p%.km=G& ' P"-cCUrY;J9JDce]YO P gR&^@Z:N@wYu j/8 Oa) HHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex(/, \wj"-hse]*ˆt/}KT;k32333e l̉lCr i1EEVkiр4f*doۭBD,Iw0 4"jwj'n>,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]\˰ؘ08(X8`<㖄>ᵌpYdyA= 7%D۽ i2Rx8іożVjO(uf VnUZʴ8 [ۃD|S)Ti)o0E\WvkU qP{-lW{]W}<<žW'U&Rߥԧ iӦ5(8@]Uu =Lq}N|d![ciVKńDpĩڨSm6|ڕv]K)eXrwٕ9LQZʥY;;%t&l7>!İ-UkL$I Xa)a89" BS̈"Ic(Q@ӿ1XC4$U՞P,F)Jcf|䄬IQ!7=vJ4t@ @ђ£Bv "5OjZF MpQ3fz.h DL ײ-s |ެ'HsbzNe>z0$)X4^dO&逅AL_4SrLX]D!p`=zwW^.Z$D6PmsHr(Jɶ7lb[c"`}JcW #u#DNmo]>>K\0iۆQB{i=X@d_4*2lP.F3fc$)ii,#01apz7#L0ٱHҮIJ5o\cIjSc5yy*Z[kY(vl-5lVTMѧY5P-NibEsi[[BUOIߎkJulr,%/S*kC]ᯊ]Q[ՂN,?Ԃ+Oa' "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`  $ `IE -|勰#` SGA k1,fC%c%\rK"9zB )p%.km=G& ' P"-cCUrY;J9JDce]YO P gR&^@Z:N@wYu j/8 Oa) HHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex(/, \wj"-hse]*ˆt/}KT;k32333e l̉lCr i1EEVkiр4f*doۭBD,Iw0 4"jwj'n>,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,%1kk赴ŵ%ƉF'DK,:66dZƏ.%ڋv$-7'{{,4ks9~U%(fkjp Ȫxbyk[#  $2'xj!b8ay0/܄M4)%5W\Cq^D#B`kk8N8qIGI9# 0(o)P%hFdd ps@IJ!ɐ$`(7SZ4PcM,O,L^>J>OMOɏÒ0L<1}a:@EҤ)aNk$ - 3Bfva:n꜅xO ~j)-6q0 1V ̩Ĵ@M2-'u=5E Oa# XHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=|#/h 7KdS?nM%-%-x()'B4 vC{c_b}qf\kT8VlAv\w. $m(SݼFrr彞i6Pb.)HPg+l yfL_!3ļ?ҌKz{/^}L16%?4sPDƒS`|x")'7z(*HxX} 3ՖS)V =2$a߁x+mĉB kv9yպE*}}K[D&vfL6xTjQ|:pW2:#I3ꍰiAoDX>eOP)bD1H,5.$QḧUFP; FܷMC#~JGia,^G4_+|FD0Sb`0SE10dRyɘ 3cCT&N-$/E"dJ+,~&fTMNES2RCSJ[BNR+B!k\*kNH ُ2,q*AJ)5@n# GH\@J #4$y$wЅd7 'UY/<\L9C=Lg+U/MK _l)]0K ˩˓݄jn72pgȹB Fry[B#![D kcA$ @fnL^\P$\Z׉=)ݞ6o_b&-(9F,3 []flVZL- ƫՂZH,÷Cְ-(\`B-v& $VJ 7ՠ[)\Vjo5H Y1ءPh.YZPH\Q\v5%``_amt塌|*H'>fS28QVzbЙլ17 F03@+dJy_Dd LsϝڷZ﵆gƵV7֯ðPaCq (rw^q F׆$_f5VB$e$ fFN l!aBҩ̨Q(CP!WV[qc`mz[x:0i'Rc8[Aך1'N \:Z5k7߃xPr*(O3?O4fy LA␽~DVo[l0E|dw7{$)/~;q wfZ-効1`h f65=\R "m20¬*qΙr͚jV݌;O[y5ĂE.INIg3}E!7q_.>Y'@[ )Er &{L4Pkr3fʛ'PLij֔s'ByG5d틽'J1AUS7vP`cؘnsZ 00 esx\}6@9ɨ`8 8b bc8lKٝʞ;/\mzc}-XfpTVj*zn`\Ol/Y| ىhŧDi@_-E>p_8'Pwa^#$cJwށ'ƬgO"HȳN `-{G]._p`Id LJgZL[ JQDH`0IP!ʹ}©WT#_HkcN4UnRK{ 4vZ8V bLKTlM 4y2o2h椝Ot|\.ގTRҾ(,;t}n^+Wl( `.Ξ| 5 ovS~oE9Jnխ~Os iw=-$!%"$P@c[27pE5:q I:uԩ){GjȦa /qFa Mjʐ6i om:3 ?B [#VS7F^P &AlӻN^^m|q5j|N|/[oQ\>ylc2'`1gz;Sf,F%oR_L\\D:yKȳmȞCdGd_&vjǽK$*pj>V~-!ƣ]/[蝯drZ[x^STJ1eИ Ǩz8 ?HXRm>y#g 2cZj !hF} ' (1kcѓ.zz?Az1 oƈj5Ί:_vY1ruֿG`n>N|%}X{eU] ʊ`nА2ebOչS!0lc,H a8D&=²#Y[X sD NB[G"}GƭR"=p!6/n\|xMp7ct_zV3/Nv.$aL4^=|*cl// :uODs$ DOq%kVh+RROq8-tKyDM{Yo4xMeP>t)@1. ~ "Lӂ<,8 8Oϐ;2WH󱿢"* 'i=[Ae .3Pi:A`]B+5 yӆz}ryk=^/(qIWvIDX/ǰ7Vcl%Ђ6dd2qJcc7cRL$+=~U/jD;S++Fvx83fH[9Z2ɂ>VJeTGaE U]J=ѯ7I܌ҕ PC(nZ@,ˋaWcMS-93&E!:zg軪׼r w}4y6qF/.GGVJAX¸tȼmVAGkz)aGR YDh8LDH#ńPrלa,!L.PkgS t:CU-cVNC,3q]Ugڎ%OLV*uh=pٷoIaL/Oltaj,UNM,? ͂ҙNmw{,Z/ y$]a{02R ;(NdGV 7M4YyJhdlXklQ6i7#8%c0'svF3Ȑl="vN.&Lm!cMv`$`Wng8$AkuYB;落`~r]IA׊] 59q߈\!.+paR ^fdLno"SM%6r"u}Ƚ> asf)O#]^G`cYAwedJW ^"*I4.6+.ߋi[$k:DuvU'Bb̮fbV@S1sAqCpdF`s AUqM ΢Ӂ-g֔l]2awUz/or,uڑyf>5K3~&$[(@8q*3_PmqRkto#ыQ^s S@]vi N/v#~h?>8P=4 "NwX0dtV>+B>*Qv.IhgPa d0dmhv([RBևj104W?Aa nߡm/J@T-rkv_BUCvpP:dibuLPm$B{Ʌ>*7cOj/+=H[1LYB7t!ϫ(%!Ís2}&IOAdpWLfh.2 I5ג-gWnkzrn@'S_m,і!e|v3prP:c]Yv>Gy e& X2&"Ѫ.(ʡO3j)ÒyZxk <|4Fn h(YCb$ZeS/j>Ʉ'(|yv}mG:#Y7F#0M& CHEjr|Q)so6j/f Ե8=n7"bv{xOav=ĩ}Qu8;>[`5=W"G\8oFv}.?9ܞpӂNʙdS>;ad>) 0O1{ML[ #୻]NNIFHzdYWX%K0r9&8sKQd|܊-Uk(yA(yj֦iXvii|X})=L:s,{{5N_r-%e .8ĔwFScAsԒ.*N7[(;%:o3ŨbA w=HU]f97W$ȇH3sCrH*@E~[U&b 7c}Lfq h.G,|2VbkjR\j:33$ jã2L6Ejz0\#– 6< ܾ̊#'k3֎2X ŏby(e*3s\ %,Ɉ0Q:h -_K3D٧o`袒=|aa8B:cN+SW6DΒ͐+k`sWC~P*9>ބ7pbVd|҈ŀ 䡏%0qhLig;)`;(HW}X!ϳ`+OϺ5dk:ƌI$8Su!`H ZwwitY7AG\@50%rEsC (M ۙQaԵ+ߚˈlZ!t?JM!9z$|arI =S}Ճs|\ NM1f8Hsm`cc| NzὃƓ#},ݐ‡z 4d-Zfb)k0U\ϵfzpW ^w|rHG$qJIVW/2SH,,Wf"ecN{Zi@3b3Ё$1 ^C c4몺4T@sӰDL L]daX)C(|$PPERCd.ddF+ᕰ Kr@LY:@>DR)]j%_U@C|4})/g"N/Fq[fMRm~кkMBKhB9zp&j^Z`<%/'^4U}iB#x>ָrOU2b^zuz !PG:7T2+]sQA<7>m*ZY6tuGKf#=3%9 PE7R ;n/̧MG&pD5xǶ)cS&dl,#v7D*:D* B!|̅YP5DNjWߝM.+mh#LvDzbr\^ȟ<! K載rjZpn>7u9Z *Zp5@68 O#::l<]̮5Fh?H*ѫL ˊxH^g!jsI} :L (;WѸ  )ᴉړ7&QQ4pN:tns7b:>'LTajvpG(w]\ }$D$:CS @,w^Wυ5|poyiv hN:hTs3UR*~>h&Beվ_N$kxqrxxmU ߔF)F6*t<| UI?F:G)k 4%,6]Ώv7@ f,ԌnaҦ8:\J0[ M_f*H/ƨ>dۂG ϵ(W9P_.YaqJf&r _$׽ÃYf'=-S ! K#bK*BߐkX蠌G獜ALG2ob$̄k1 Tb;;J`և3;;p@DB!aqaS8EUdhv<8!QݎS*  3?q9yO{p04:xfTW~V]+wO\ű#}o|{?v-Vнf/gQ/i/EۜO>n \=XrFOX;~cO3C~~@Fd )6 V̗&c6dM)M[~/Ⱥ zQHM 5JTN)( vmkƒG:&PJYK+"hL C38_EQ+߰5J32)% Bx@<f~;v8D8xf kf8 k,ϻQD_RG-@٬ao73F R6K_3_EY(n`S*T %ny`" ֱ1iٶec-H!LL %PRЃRQ5r T2*=gNTh48Ԋ3&ȁUb:BAP(Q0C1@V ,P 3k4䤐BFC(XU% zNPR0 ߽HD0Ĺ};MCavkYxuf˙3c7}F l#wh2aa$X9w^X,DFLX'Mþr:N{{;n0{WHIɼy8s拹3畼|ޓ 49v lT~ ˥s!M)P`Vo{?@vt{ΜƵw3$񪬘{׋FW> Uy[kZcQ'^.K1-e97G#=HsxꙐ:Ar/gΗs<0̙}ŧ1}wg_A7ht{ 2yc+d#IR4HP( qX0 1@p$@@   !(Uv)*Pjk HGO'#3 U[aM)GUY#470cAGt$&;}ghU+4m(hJV(J\p.2*5*D6tD@Q!ZQ!ن҇Pu1~ c ~#"iKIC`@ޥ/x2$<-Ÿm1_axxy9Y] D)gl̶\m3k]sLȑaw($رPaz;BB_R$jY)efǎQ~5I =/TkGʗ1'r%mL$Wø Av|YbݢI=u@\j#^ QiQ+罹M5ϳnс>hd4ْ6Q䙁D-HEj`D_ Kvu~.,qpȢ FJjo>#U24W&@wuHcޔZ~5Lݺ55 p~tzAy%Dw;ʄHJ󠟛,a7B:aG={O}t9y(1)ZuI"ʶ=cQ^]zne \׊O:pO Px<=m-,аbWƖH]mj; 837G3`&KdC| uPA]Hs&uAz 哪3uP0~ $2`X㉈hD)O-8$AwAҏ+ #DRheX>GIo;a2 zgxNjT}b xY!z!\sG&MIR!u-nAK,.d "Ag ڠ\*R"y7  S?gUaUEJor.1Z6٢De]%Eְ)MGfN eqiVZċ8CFyD'+ȣtU}gMˀCƷ)~h1҇ %Hp`e|YɲӋRlEBvp&+^o$x+\kHMN`Zٙ~g^nBx ͯ VAG v[0IU!*0Ƨy%ZҧBHqeE%oU2e"9hU;!6تۃ|/"Rgaئ(̎XtpN+gY&]vA33m"0^\+(̃RXoRy4JwXm=Tݜo]LB8wת $.4M yFhrzˑ,&Q[ZM-].J M]Jʾ85:7#Z /^vOmH8⥝\y)3^9h %#DIU jn-hIHI2h/HBr4=U а@g>* `Pixo`ki\D}WI-W #(APKDMϺKvtni1G/yFxO0l) PC|tEbkX lEx/'ӍT*X OAt$!w+i@:?/Ԩ\Q3D74d5m?YV g#L`BmhF^W21 N\Ͼ^%BIӓ"Q!79H vB`AxvL: z^M}eqMF uq ʾoXD?ī# oLJE׋_uOxz4ʀM&isnM' @y  0s5E'MFHd @L0I=`],'b3hF-Z.qR6`MOL\SI@;L hg+tD]@;7\\vcU%G7-? Y1CToPN'o\^,E I30 @ "SjQfbua{%O*]Vg׶ӯ._Q r]]sn}+w9ZQ!\@OhAAI\ QM3>+Ll<ů} G|6̚o;%-`@z=Qt01Q4`0 4b蜏?ȅ+@}^BPѸ`A *}#C/J#ȥ$O] VHIS~#7#˂Ek 6xڀD`Hs7:OyD鑓=KQw,ד#҈""EԊzk8EEg̡E d:ׅ_mF{pEDjh}*Bp?S\!kPVKQWKQ L]%Qc bzVm ͓*?FR-^ p+3ަ&b$2MK0?z2B0"BB` jyqg BYnc< b iB+1&SE} CeX#;aJV MđzaxTNhiR*I$J-93|٪K^.;>(ѹ՟zC7[ 1srnb'b-_Y `ui8v *]OY:f˅{Br y /?";*l>00aez6-[8H`q$AL&G!@k)Ɖx 5Dre{ c)k1o?<B(O5Ѕu[b`#P~UyO+B1yt"{N6٨uS4Gy w7QJgYn>;vv-a*JY7V@i<&Rx;Ϊi9'>`[/0"KtkyhDd1x0G_F?`0ȉ0V,QKJĽMoE3垞ϗ'=E7!0?iOoꨲY͂ a Qei@P(8 b1" B!RUjV8t #Ah:;'Į<4&~e,UɝVX}?g:{_m7*U/Y5I^X~5J|0OP!+\?m2 1.lٲEyUdvg$5FrO{=W 8 \vgiC}GU u\<]Hu ͉LDEnǵT 3=}gC0ZrhȢ֝â]Y°ѯ F)Ik@u=Ӣh/T'KM @!CE7Eqx-7FfY^)0sMn2k p*+3UC*F~Ka4{x^vy'o*5e{BRdcOV`R@RC=BtIxjC=qW^/<&P-ᎀ=m%m{*1IأeQS3koӡEVxS 0-s"J?BX2,^!}z(O\9{(X:Wa&ĎCb3XcGQ`!ZhlB(덜' m1L1+|k(hhtV@g|_qVvj1>n1F"f7{/Z"L5`!bA) ZpovUGz\Q&q=ҶƆ,`Hv +xpN>FmMhל$bV>={Q{&#]G@RM=#h^!5> #Wj؁1nmE.BDE9vVE#~ K!- ~t07cgMPMT\{"QkPimJڟe6xRr:4b.eD/C9;og[pMV: ~ŪS'd˘І5}HCCaGqڇFi|ą=GGHYw~JjTAC"L-˸!^@tc,!Q;=\%pҵƈR1Qx18/ᄴ!v-cU°%VŒhq2cPSʟJ|dS6ǿ`R: )Wj9[#Q4ā;#d x@$LwE*s2I ^u) *.ouO0/4yix:k=1