SQLite format 3@  .S`  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  = =@OpZR ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.645cpu=3.949gc=0.000(/`` P;BS-"]EA˻ p=X@DLI{`Z:SO5#zS z)3hh7OY`)诪.!a8STFz» o AcJ@:@6"!*(/ _9Zby gS}qA-O(TK%ӯ6)^KFXf,చ\.1 tOn'w(/` vM @k OO[K23sc`@KHBm hADcB\CT>4 H.&O-,6'k<$srH40Ȁ-"ɧw<96P(\O[HFaiED+N CiÜK4zW˹{%6a{WydMNjDRI7j -Ayi:0@(Ncs K|~2~G*WOEҔULXYy3V(fQ9"II0 pL!("$@H@#P$rFPh|FmU`A^o$d+?^m$f4.=/-~"]vHK{J C EڛR.į;aԾ x:@ThK~M]{{ wFVaK\00 uW|%!N@㘉 foy7bУdd359720054c4cd31e22550485e19d60fb7fd6afa4348ecd95d08b83381d65d778dc99414fdfeb2c2 a77f4df9e49ab5de749eea6768f2c7722537ebe4 9309a27732761fe284cdbbd5c45863a9dfc6c5c6 c36259b2c296375ae504aa6116e85200baee05ff 25c0ca1a556c325e45569e2f8e36f99c37c5be10b164a63d-6066-4396-bbd1-a9f3238cfc45 $O HOL-Nonstandard_Analysis-Examples msOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodmOa# *HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b- fk"0mRr۟0# ZBq jr4ҥyn``a s%#WaysDXWiy+B\g M X@#L{LyZi,  .&&ϸ%Q>QpYdyA= 7%Dv݅4Rx8іWh;)1LKi9kBǞab{B'nSѪZͫa(0AaNw8$Zj.y ֪)@H㠀{sDͫx]-s yqv[i"MWkU AP6mYdxiwō\tcxNR9sŇ{nyyf=k[DPNM݅8fó纒[RZBK>?)J˕O99ergZkbhkx7}i{B)RU{ZΝL$I XQ)  a89" BSD#,8N0j(N?1B"P0S".'v̮G 12-¤,Ug#},S ._6Q^{{aJN{5yӦ<,bI9u5c90!nF%Œ dxYvuTa2^&*")541D5})䠹z"~QW qV nP_4F ={[ס&`E^Q ԕ1u9Lf@+by7x- 5XA3qY4L&Fl\Vk[bHطHb.H ]/5Q6󦰔<Nwl%̻E !͐hoCLx,1O-;\T`aG oRY1-.Sd(Z?IU ՝eͶ)fh4qsp ),*OD˭e&m!W *b#cj9qw* غJf\xx,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`J$ PiD܀mnӊ8H"> 0GQbʋެHh"#$CS̠ lK~em9$&zN2dAw/4@ hptԕփκMFV)/<+- umfOg= P gR&^@Zd: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,%1kslhu= CLB4 $  378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyper  D B _ &^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup [Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   fgzfvllLldLFD\N\uD^^^e&"^afSUDJVy*SeC̫2?;#z7{wcC3Kwwwvuu_s_(ݨ޹  4bm@jld\GQ,jF0- mAfd匌߫` fl22*PĊ4Ȋuq}q}) SENk"/..*r% c4,ENkDIB H"3bj|i!X i?1?'D "111sHDG|DdDdDdDdDdDdDdDFDFdD&!QѮ!bzzϲj'hK[Ujպw݊0Ŭ7WoWoeggWvvvvwWW_u]wuUg^tnFLUWvu<ƳN5Ukmw4 Nnmߍڝ謹S9ٙ}YUUYGÔyyw9RWinͥXUUU]U^U]U${ުzzzJ5S35SSycifjzj+wr*}wCwGCuD/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]\˰ؘQpYdyA= 7%Dv݅4Rx8іWh;)1LKi9kBǞab{B'nSѪZͫa(0AaNw8$Zj.y ֪)@H㠀{sDͫx]-s yqv[i"MWkU AP6mYdxiwō\tcxNR9sŇ{nyyf=k[DPNM݅8fó纒[RZBK>?)J˕O99ergZkbhkx7}i{B)RU{ZΝL$I XQ)  a89" BSD#,8N0j(N?1B"P0S".'v̮G 12-¤,Ug#},S ._6Q^{{aJN{5yӦ<,bI9u5c90!nF%Œ dxYvuTa2^&*")541D5})䠹z"~QW qV nP_4F ={[ס&`E^Q ԕ1u9Lf@+by7x- 5XA3qY4L&Fl\Vk[bHطHb.H ]/5Q6󦰔<Nwl%̻E !͐hoCLx,1O-;\T`aG oRY1-.Sd(Z?IU ՝eͶ)fh4qsp ),*OD˭e&m!W *b#cj9qw* غJf\xx,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`J$ PiD܀mnӊ8H"> 0GQbʋެHh"#$CS̠ lK~em9$&zN2dAw/4@ hptԕփκMFV)/<+- umfOg= P gR&^@Zd: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,%1kslhu= CLB4 $  378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  0 `7 Oa' :HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`m^$ o 2:$ 7lj`!{TQU5UgR-Ƃã_ԶG4ݑ񘊒64%Is;R8a򨍓]bݹ]YCeVz/甔T+S\m[24adyJ4 ɢc)-pee蒢ͰN"II49Ac+k9T%(&kKjp xZa"os my02nqj4<^*q@q ø4/ZdM4q)%5OZ*.E'J`+k8FmXio&I9# `g)Q!!fFdd ps"QK1ǐ$`(7SZQ#\"t&Kb#6J?B%6OJq%0V-;}#`# EWFFNH=m-KI++ HZhv<6 =4VAp6eAExQ0AtWbb .~ TzˎA]OF $ Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/<|#/h 7KdS?nM%-%-x()'B.Y|} q:'Nȍ@7:Tc7:uk<@]:IRhjk5ЖcǖcV[뙆oӬ (H;"5hhz&rfʯ7׉i>M(#͸CnSRA='~E$<8vSMjY#b}<@qAEB Kdcfc7!3Skzd)5HIþ=Vڈ $,_ W!-ul9CnjhTB1٘S#3㵓:CH,SE!_e@$aG:0>7Qygdubax"q?BŌ#IDָ0DA1#VA*q6 e)y {|eDILLHI]F'cF*̌ $ R:QH̯BAmљ֑<{hC"VRl0MN[ʴ8 [ۃDj[!E*ibWJSEr5wyށyAnT7˽ˋ}㹅?8ʊ5.ϴL6Ň@wZ{1`E1T:B>'>x}t-ϱ4h.M1hOʎ:}3;ڕުզ]˝Bͩνasi[SJ}w%묳#z)abhX֗"ĀX# DL&r4qpSʽ~+jJ 9XĜ s#r \vɨB7PZT=o Jg3)P(+K3kqcn@$afDcV v_Dd LkrW5^zq6n\wkaX08;8#IkH/d3D+!ATzc}2qh3F x' x˔R7vzZ uQQXdBw8Zclj Sʉ;Qu"7op !Z?8ns b;Q}Nhժb9P" ʥqotCPAsC6ts37CHHk:f]1(7Nyt3[{bwFfǞXD;o53$g ݹ7K4s؛;;4_nX/I'} x9d缛k\'zkQr\ocyx+?VޗYbg #%ay_# j93_)zT*Q-ۡAAQ|ޡRj-фZPXaL\Lo"H֯k53<z$ "ba7د-(Ħd>·ܥ|)w+jƨqaʗrm\S.3er B $Si3%#y-歜KHJka* f9;coݪ:ҁk^זKH8t3*~X=rXi8dF?39 a?Dc1k c'ւ(*^Bt|E,m;yhm+g`b*).ʥu{ xέV}^7[Pmu?G!;!30!diC„2SQP0e{wyǡ(?JZ[1dLmq[1c"^N$$ykuɺǜb9$9cBK'\{f\)r+10x>]:g\Ҍ)2CYm 6k)fo">qb_9ebx'nt7܁jػ1`qsvEUkܪj`ic$ }fP;wkŪY5OVq1/p+zwMrN:+"$Ŕr:FPRM)⼕W(54kgJ?*5^{1`7Ozߡ6լ)X((>ǾU)&Jsʱk΁l \&73Z 00st[}688`< @! 0A0qK٭ʞ@ޔJwt>a5&,w>J7 )^5KJQ!TI۹J~bd*k|n aXtWFD݋mgRw\^l II1JwjD&ƬOV7waA-HK'i$]~5n.^Pg p=\I2oOGZ(>( x_IudFApIy:3YmOǞ0CB2!p Ԏti!˝?7#Ǜ ؊prБ:.1 ve+b,|V"+*D`g- WҖMs&f% gLjC!Y>FMJs˿irXȯX@T+Mq;.O.@0ΩRI(En Le34+)x*VgvyZPWu]U2χ44 L(D5UuKQTɽ;Y#=4!/'  K{ɂ@8r4sbXx#^QɏvY Qw|x~5i9Y%ޔUVu'FL"zM{Qz^qr^`ꄤr?yѦ#iPDio ˾PZEf_pܯS6ꓚci+"5H3?~yX8v~өl@!k2أ-xS峏M5%tة9*@1~C*ڳn꯿D h𹞡҇y0(Km vPO4 bì>SB0. )"UkarV^1&WC"p=$0:AS0:\֊"+=|U:1ik.)Hfv,1[Sv3`%XVP9.ʄQkzDe[e~I2GWR yN6m$D7 V1//daѭiK]iy#> = K-sUurWF,34Jxo@DݜwMն(#Bݙ}+DV7AK[;"-]Y/~ӛvDHE4EDHp?7kMLhc #XdIcAtA tCvދIK{J?4 @ž!ydgFM*Su}UoA5LA_4@rSP4e7'.FB^3vfIF%bA:Kdy)pP8} SX*e;YȉnA8dIӃ& 2j(kvAi9% eId*9a~G3zlzza]o>/"ľR]hp 40cLY: =VKm Laղ{MWR.e&՝]svۤݶ ӄ|&={s 9\km0L#55LzU߾`6'T: l &S:RXЋkI"$䂭\ٟp5}Hiw k0['j4362MRc)H3ȘOT;9? &=x\=ܠ1-d# (c-YʿݑU^V/ݺ\G=(#5 bf#A響sLȮFrٲ-]$]%s1EJ >*\?8cP#+֑[8Ҟ7aJp8H}\L\ C7!%*Xa#${V(T#`<8|'vH )nB`]~4 *Am3ݙ^(p#d::pq/gCE>f9]k`(Hcd%-)_g088i )=&N; B1HЃ(K*H0?+GuX=nyNC) %#땒Up[Yjd<1;$rW?UM>^`Ֆy#+Jn ?ۄ_\]A5 %f'"* 8ddV|3z錦k`ث:ˈ&BD@[<);>M!N ڴSaR]*ZoPm;WE:@i3b"|F7dH3I Y2 ~a*(@ Rd&`4+qLں{&,hKˎ'GHn%ZM-ELnsKAn_'Cg}h>`{ ŚDC;P 8SPPf{\?B1͗jBܿgFlqQzxXfS0|c 3ZYDpJ1RWe4:<6gyB;0x9Pȝ-묆kB|M*"s ҇:p", o=\ŰĂ.3󬙆@FXu,D]iH\6Q,wgt(#%S0#eL$x3h9Lv?V,|՝{(B$ *{zUFcq~sLWɴf%g(c~ḻl܏ǘIP.X-%ӆŽ.+L-ї\Sny',(Y0¿ n埂cT= g"KP@ۢ! Jc*((x*I;5KzF%_ݱ\ғ*֨R q${'G"Bۧ?N#z_s\1簧G"k,K6C7%4\&AkNe8|^I> Xv >kW*'(Fi 5YkWQr, ( 0D-x2qޗԟ3--+bʹ9>X 2z&DD4d5MWź <1CaVFx{p<զbK2ruVekaL: Dp>m ~L> f7 ;cƒӡ{,@ՈJaI6A@F2/BGR$p^B'lL")UeՌq.ߵI)F-KdC0.%瞫&gh#!K0w@"} .Sh&z'-B `#c<& Y헸J\܄qN8ػncrivdi$v &N1 fb(g~QVT_j#A4Il5@5 3\X&h{3vTA5T/7%*})/ ]dW`%iq4'xfTe/RԑQ\*<їZ|v nX v).`3@BHc>IАl`@.JQ l_}u)ԡ3ԋ]ԥ_s腭Bm(([ՆI13aټkٺS.}p@ICѵ} Um6/"j@Ѓs:%PL]ʮVF̾Jc#_<65S2%$V,XaY,kIL.ts) ]Y?]9! Ƕr3q@m !>Q(K3~iV·A~,u .Z~>1A6Z՜+n_ElA2WmԳL(QDo6Bp'h{M{'{}>,da Aj="CՙypU)w0N~`J٤Q}C|I4SMaʧI=sa$qLJ#뙪(~Q-P_X4psVFOLQ(}R#PXe쇠vet8_)~@x 80I ur<)!˿VD,"J ̕l,oT֑, \g0h H9;ƃPetʇXw3PsT0$-"<1,ނ2qc:U u^ 8`.-) 'us U W픻M:ǽ<^1z*WqK^(jHcϳ:T>ޙVR Ƅ '$#G+MtKUGbIU5`d'Mogv{ #Iˤ*+ȟ:Ι'd`94Z>}>-S/ R$B l*c$ );_d3yZ[Ves,MT93"SG~dD/.EPmO/9J46DQ`T;8YA<HӞ[ϾgMYkoyhCB8Hkb=j4̣!vy6R6,Ҧ#4\[ 9ed/;tGhV*<'H^1BҾc&8**W(jĂuFgpJbTmNzc&EREh14$72ljBN <dr}rjfP`vfT.N[I,~7qi i7 `٫@\<0Mj5:eD>zzޤJ(l#eY(TKT)gjb1@ԋZb }R:TJOzܸ UD\ lMuKNp$qLk2Tޑ[!T9j"B6||cq3Uc9/iB5 }pCoUTNvM*xpd΀P`$W6FDjS$%DɵOѶ9*|*Tc" (R!v=|[cF8f8oS hl!7L'sy@(1UQz6 UjҨ._sz;ʴMW/Fr+um&8/JBסMXv [X%D0֒PBu8ktm:J@:&%}.[iB`ҷE5qR *\ꋻɱ$Pte: ӡ7mv` PaǓ B s)ioՑH{>NB :)),N4m~WYNe+kI -ﲊ(%uLͨ_׹be9ܥ|3TF}OO9nq!5Y;z=+jBtӀXk[3써Lrm`c4Z #H1/Gl®YcPJk`˂HPօ@OEG1&N ZpjIіd|ځJ @t8tǜH?&+GJuם1So úWK/ ֏Ou= Z:p3@ï}9{)@N~([@X_bҪ_*ngDZߋ/#痽0I ) n&BosK,?tgeap[RRr <ORɥG #PJ.ۉ&5%HiQi48-H 5YH;(ᄑHA2rAVWBfy|uu-КU ̖q[Ȅկ=C&D嶭>6Wo°,´is[/ Ą6fVjf[$e1;Hx))GD2h_,"tx7y,"|kR -a{OrE#iF(%4oR\&^灓]8R6Ed"H /.dEr!gDBN" Ћ$q.=LA&hDI0$*$90Ty%Ǜ22R4㋼E E 2$@0u맴no}zܘZ]KX "b~7"vT MH(!/ݥn Y8d\++H֮UܪcHq]u1aV#Z6\3|]9\r$dVWgw^})W<}L 6֦O!eY#껆"3K„#IR4H`( a\@q@H0a(AAA!F)*Pj7JN)$)3rT"Iz<:BLŹg#wֆ;{͌HF1, {{/unR燐Jèv]"k=\.7ޑb*T̟uCPB+ B/bvx8V,LŅ1= ѵ#"4ȧ?֡ kpq\<`f]>?RS2n̥/&}$S;woLLqUfz 52=`RT@ug0o_ uխ*> 2ԐL@~Ċ5I Xҡ/T# ˘%#BJK'T: <\ F\ɶ )K-{TM;6g] I $*mݞH3cUTO '[=AK{PC162EA!QKG'V+v1w+r'sM]+יu|B4撔E?ag&jliwE^J-%xjPDqvܑ7GV9ڿV|% >[fN2˂\+ DW<Ҳ8ZޱσEY[br|؟[#vg!MİU,)m~@CWQԛU07aI_#?3j84ao9\٨YaP>؟BHT_mmsz^'7T} Y'"1XO~Shhq9ұ,Iz^GRw蓘.3m;ˀq8BW27zAJQV`J lo ;RZ;qOw=]by4(|6/4D6'ksK=T˻!^ߛK?\h{\N\PBjj ,+NF2'Q2 P^yĥ7&n`l4c#;>p1{Zėo^;E>Z N)Е_ӋPQEu5 ٙ8=ڏ${ y)m\k(>y?*7~֛j UŔS\.DR&?,zcON]T9b?6Q2AFEZ9h #L4Kؔ +DZ.M@9hAA&<`oziXfݱ}t2 #gb٬Ƣs~ez4lמx9k+UGkyF^L237@(sol1n])ՍGQUa9 );K{e+qQn4t)A܄("C\ŞqH^ʃf7WFkO Vx* Bęn#"=(oh^~/pTH m\SB$'AG|d1a, ²+nyr["T\lR 4uGOU\ >dZuA&`OZ R{1I'hã39M5\쏒yYs;Po.}Q@J UozLooWKc|'A[$AgZ +)CZ@d6'p2D("5 TnJ?1RG̾% Ӏ!UGdO^X.S``AEA Z- eAFNgBh\/Zݏhx]^(뻐m RP@9(/_"cTЄDvNU[e@/D͌RZjsT<^%Zz"k[굔TTq\RC2f +^W$StbLY&ZDr##eʮH04mS`z91:&[U6l̿栌vK$Ķ.6E-E+Z\2(:kZFϊߗm4\H՟j,\@|A3$pڰ O8.;K8s:V\] i[kc@Q]Xq>J$ oQq|`.Q! 1ȐM_ȩ2r1Zs[ cQdJh5ԁ LM-B'"I"tB|K: pmz7խ7[^/7Yȗni}&Ĝ?a6?`>!LGz@ʴA^#P <ς48 ~ntĞ,M̈́ZNS󜪘ꢞϚI}s2*uEF+ҥVR a PEqL@ @ c"F@!" BvU5%aJ8B ᯘC Q.Q>)=&?t4rկnǶ@y*~Ҫthz Kn -8dFCcB.I8,lB|(V4"2ĺI(U2_*15K-7פl ʒ<=ᄚF$bhIM/ h W:&2矶kĵҍ]LcXeO+ٹ [6ݷ|b%!._aM#oXFpcNJCCΚDH2YWE؜q&&0 QH3gxQ=[{|/{ZݘrV>C2;`ưbY/<4L{]/] L鷣rJjY{PeJc'(hrIHmrՊ:& Ǵ].@)P0A*hmϗ>!N]N6$ϟKIBB-4އ} auCL >Yم*uxaGSjTP9OwUs @ݿRor J¬iZ$/9 GzF)L0.V@{:qÞ6rD;#'T̳^"SBQڐZB6TAQ]&vi=p|m` z H Md 9W[yV5ΠvPhU-8#9ʁKEz[~Y65x3QUiBNNf!H@1':EnAdkS mnHFpۢ7-'s1e57jTn$QL"i_B;r1Wի\]hݪՠ)GyqςtX ^٣,תDdVJA;diK:7&6*&9p:WZ6/G}SV{IrIFS`bjL"pFDɊ=|镁1pZi\E>aa$a>#E9c*[p \{`af­؃nwH/D挾"M]9lV)Q/fdԑͪwǗoTbI[S/|2IPŜ(L4[HCg3Դ9qJFYo)9DK$Cm%Af#C*y)l]EQwDb#V>-g_@p!եs"Tf/@ɶT.4:%wVD`KgH#~,3Th^v(Ls^pRI0ub] e9\_آ񐀠h (c˝0 k<Ѩ6s E_# d*Uu'~.*18UbF(OƄchݟ0:GAV5Eᑡ N.֩iF9kuR}ڰ*8[:+9uoeݱ]GjF1p7EdPl|`#VDMEUcj1_?Tq\F7A}-˛hYa|8j#@BG6Zw JD)op.$Wѩ i?np`A<>ZK+ B chR4aqDMh 2'.|Ȓ4.E>8^%)=y