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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 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`T0 ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.671cpu=3.942gc=0.000(/`H`zlgw^4x.54;oY'˻b H֍)=t5Va?EL=x j80]NQ q ͌,Ba诪.!];`w)*SGq» o AcJ8:@6"!*(/ _pkszMW,\X WY>}FQ9 $TK%ӯ69 ^KNXO.u  -ݗ(/` EZM Pk R'φe*B33j MHA=@PDb[SÀbsky9hdzhE=5{gީ@bq =Rl-(GYYc<דr =crH)2fՌi33U,)ðɏyΏ6AɏV?!WFwwo}lkH<ͱ{`H0Ah°){wҏz=/7bJ3ajZ}wgO;t#s+63RkoQ53hhRd h qdF B@f"p 8@-)1)_JpaQ3YZ4\ M$#.צo5DcG`eD2 i֯h~ "]5Ata99x\̜\cc. Co3j"`HK}ld[<MZ,w_q̥,qH´0q)0im @F< *A q^oZ*f2ed73095338fc7f6dddfb3da23faaaf54070f36f57eb8ed536f0e70cc3f24060ba296c4b68ba268 806371498c4294b06fd3427f88733a19f266392e 629b4334d6e19a2024f15c3501423225e1f0381c 7da0f2bbc0aad37c0df93200f76f2fb1acce1faf 28308489b7d81e61f2b7998c06d9ed87fcff992c7a96c7b6-0e9c-4157-9eac-b280290b7287 $O HOL-Nonstandard_Analysis-Examples vvOw] HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyc02a7b95f9deb0461b58c3b1537c5f31aa324193(/`i"_nX,Аs/H8#OvGmK//&+,2@P3)u"w{[yѥp R+X*;t/q]KҩVT{naXyVW2| 1ݎn3 ]ڊ}3MвTD5*YtlnlT+Xr]}į*:4ù4rht-:%)d{Z8Ѕ̣ ;N9fJa$+l"yZfЭK/GSxA^b g60'-834у#I<  \& R5n#ض'+ք ߝm-(r fkt `b!;)X P* [|Inu%Vs^7Ԡ1ɍ60jc \yq^TxZ\S>2φ)1"bc{rĂ߶YkYK}OfW1<ڴ:OP&_RE@y@"v.5JB, :%r+#8JgW=:ih4\8pL<]\r<3Qfd['2*`,q/,HF]>-fY.:c>ូleXoNwf <F~D\jrجZz{BiZ'P7'of#T G G8.SX^ʨ ),)ȥz)FY_r! ~0=Lkӂu9*8{flL0~+:\L Mq1iѭYmtCC7y=6M1؛Y_s_G "*ffD$)HR %l"5Ȣ$R eDFDDDDAE`L\"7~-AHP\bѦG@ ;"zmߓ ,dS,FGjvDF\9Fӥf15AȂ_1!W:hsyll[$lQwiW$ͱKRT14䱐w%)#ǔBkA`˭|MS.1ƥkXȠ?,vP&$5RBh0sV Yϒz n29/Ks32b2;ٳʵD;Sc%6FCQ.`a_^-REtV˫hv9E p{ﲮMz9Z1BH ,;~*}]cY* PER!]_pq08\l+*=œHHiCRm>rhW jb×A˖ =x:kD,ZmBG' ىdII:Nm;@@s6:^( P)y $Tml " ] ,Up |y&[sR(}K*Qs^*r z :]2P1ֿ_WQW`lbƨUjS$IDȃc#9E/-76e/AD\c%%{I{GJ?Cjd܇{׫1]shn:NµnT9Q`G6|=P`|qV zP˭ƿB%{p`f,ějuWkp ԟKsz%aCAnV2Ӈ5+؋uЈ{@B=ֽdRC, 2zrψ2-/_U+%O}q9^,v|RM~|'ݾ{z+p+g&Pnj6U,dXT53}(HVIe > 3 3C`'"A)AzRxQ?(8p1c s`ؔؗ Bk BȓaՕ$,qnx/FΌEyZF6"Q*ՀPj1nYF^Ɠ|s*F7ıѫX)lIE "[h⃊}B)sQ?30?kF@%r6;:sl:G Խ$2m1R\D|W[~5k3)zCDWDUA rH2ZYAc#c In*4XvŔe T/>} d0oE> jKq U!s;|cBTlp%3 R$C_nH]  s3S0MYCѼCMnnVc #GHN rB o9nX$'*(#ܝ+\\"{"u^32֦U,T[><d+._ H\X6%8?iNj~!V f^['lѿ[AҦYcVg,`L^(A_2bƑ+R32;VCNj %aBL6-%0.,A_OBIJW( ZOw HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyosOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodoOa# .HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b= l"0mRr۟0cB<.R tS4ҥyob`a sJFK=y4BJiyR %G\g M X@#L{LyZ9X ,\LL0qKR1}2eq"yZ$(0i/D'6THa.F[y(M(qJf Vw9"ĚPűg$HHLەa,0A\ Ԫwy^iRu!k9Ϋxi]s yq5]ω973A8 3mêk6(s9C=_)j+L$I Xa) a89" BcH$#gGد`_Hj (JrVBy{N=)P]4H.=K%@L\= ^o+s&.fb[aa^|F6ﷀmNGoƅ9p;ׄA69Pz7[Zq],cO~lVW]`W7*To})Fkc,ј)irLH!p{tMc g3vդ{nZ)( ѻ_ X]0SsgÊ0t־({%iޜkJַ2~eH G6$A{`M#MjP\F5o(;Э:jݜtgM=J59:gRYGfRͪy•iV]촱Vss\ؘTizֲmh UP+ Yth Ǥ6%F'f)@]Bk X~+Oa' "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`  $ PiD܀;iE Gp' 0GA k1,f rK"9zB mɯZDQ,}}AGEPUR9b6!\MX ?;,0@4Vֵ= 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]\˰ؘ_)j+L$I Xa) a89" BcH$#gGد`_Hj (JrVBy{N=)P]4H.=K%@L\= ^o+s&.fb[aa^|F6ﷀmNGoƅ9p;ׄA69Pz7[Zq],cO~lVW]`W7*To})Fkc,ј)irLH!p{tMc g3vդ{nZ)( ѻ_ X]0SsgÊ0t־({%iޜkJַ2~eH G6$A{`M#MjP\F5o(;Э:jݜtgM=J59:gRYGfRͪy•iV]촱Vss\ؘTizֲmh UP+ Yth Ǥ6%F'f)@]Bk X~+Oa' "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`  $ PiD܀;iE Gp' 0GA k1,f rK"9zB mɯZDQ,}}AGEPUR9b6!\MX ?;,0@4Vֵ= 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,%1k8 tGFUDY=4Iu⎕:cjdWXw"}WCev_R.*SC^ɈuzmJEo 110VT<# Zdѱ8eb22~t9QͰJ$YE4CO<`@I06[(~1DC}qKM<͐?Z1O41q=8@pheB܍kN-U$孙KkײUtp'*6]YWjJ{l3=R<֚r P%hFdd `9v@QK!ɐ$`(7SZTF,ɒDB΢IGW!Bsd(,.gNHG0j "ijnQЖ )ojNNt$ȾU-;2 Cf@5̲x'&h^̜g}lĹF`JHt:xi' Oa# vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=l#/h 7KdS?nM%-%-x()'A3z>mDcܮNSy(r"nt^j<@]:IRPΗbLvYh˱c˱rKAL޷iևhRLSgtIG44=]9e3Wg4c YI&mf\{cᛒ ω_C Nyǰ-Y#b}<@qAEB KdcfrWjbzBL: #iw'^@ Jq|@z)"8x (ת)ׯ-nl 9xk9^c  ,\yvgwl4hUbZW j!j j Y/tpSV^ b@0!RHJ)P: Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyeOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id596cOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`Ffk#0a{sbI&:؂MIfsPPrm__ [[V(-o8@$TLsÄR(.iZ@:a `Ӕ"|"AP0h<0x-JŔZiHWiocX(i/D'HS!5<{h˫Rk/Pe崪5Lcϰa=Hʑ"OEis2Lc,(\s5Zn;;0Am浜Z꼊i]s  yqv5feL L6Ň@wZ͋{.:!<9C=I,CU*N|*(d@q.1CŠ3c1}@X 3dvwf'ֿ҉ B sjk[2gƵV7־l0,yDPW炑$a$ 쁙b  I*>DI8QjQhe );cjQl5pqT0X9Q}'N\7z C|ܝjM(,\1Ƌ|u˽1wzA~>ЅZ=͌]H:ѣX[˹k[]U·ܥ\T3j(cԂƅ)_۸8S.3er v =6S2bX]ip` Y΀cgJ1#nVs _ctF?[ݰ]b;n5l;s&8hXgI+@P0-t(g&:)|[cfҩ\:[{ xέjقBlusS))13By"k#r=!0LyTf(Lwyǡ(?Jڂ{l[s1vKB'}F<[uɺ^l$9!N \:ZkB5U^Q-10x>]:g\Ҍ)2׏*mkYͼaHnD+|h~5މ67(n7CjՍÃ=6bMiWq^abRQF0Q5{CV29[yfm?)[l5^8b,zwMrN:+"$Ŕr:FPRM)⼕W(54kgJ?*5^{1~͓w(M5k1{B,w_|+*U)rN9v=6narēY  0dsx\}4891`8"@bbc8lKٝʞ5O׽R=F~,y/:ڥͧvB>Bknv #dRNdtPAГ`\?^$/YtGbO Lހ4@LN}}ߋN/H(`0+$cP))̃&Ƭ*^7}ay HBo?`J65._p/`I((0S2<5f(P Cꏜ C?$TB(=U |E]C#sʩ2mݼx6,R(D{ ["fnXZz'{oALI]Ie:t3 olqގF"-i١j|y51g=K'Z/'+A7.ZRD%Z:7_J k~- *$i ¯70TdUwAJ]5vx's)nM9Pz4ܒN.ڀC p,c W+&Z)^!꣞^/[3N;CEҔ!fnpB l&6d+Z ȑj3C7ax|?#_¤A$ ܗ9╤?%V~`aOz຀5# ?>^N \FAO#'5yu/uc-Y?wrms|>-lMNm`\t} - 32@U5n}8'>0E"VD(F71-=[a6Pwk| <汗ǥ:C 9%@3,>ҳC"ǍeVs=u` %d[09m듣SVq0530Ō͹ 2 "f&8BAv=e$0>_0:ZӁ8sȯJSE-h-eEn)2IcdfT4ӗ̟ûLS3 `A̽/K8爕 ַۣʥvF[?]h?_90rZFh %o7 n!$KKvD)j^ "DXIM,{v9lt5sBXVqWä,x[ ȏsU8MYؐ7ؐoXE, V"42̽Y a8)\,Ӄ/)IdzYAandOp$2\EW>\vo;DšѐxI/,yFcTXKdܥgSh,>QA:n'.WDJmAgݙO\K'.8IO/kUQL,t:jɣ˂0" 8PHk @.l!%CCsyk?&'xyt~6BvXpD i\ZT gOmr\(}w m #0dȵDr*h;鐙3]0d/QT˔k t{B82J=Є_>tzE _=2\Z_ۦ18Icp3wlݺ|ˌV2ZՠÇɨ&~zӒBjm=ONi;LTӁSNɬjGiK(eJ-B>m;wãd&Z[Hhg_!=oFE@\_</RZ^NOV-Z%B3(ќ+Sӭ8yCA>+/ͬ  8隁'U"Jk\)C֜G}+ fF *R_Y/>0ץҐt;5fjYQЦt$}R?WN]]ڒfy$[::M73uWYeF%S6IzGsm2 k6 Qֈ>)b=1GF:ΈKƛFrԒ41ee?tp  s埛:M^ϜZڮ Feq'rY~|9+#*V\؉*~9 `4 bSTWUeGi K4"Fs@Jy0~+ ck5\: v,'ٺ:f|E"#bmZMNK6nߓMN!H68k?\E`8&ڀ(hR2k %_r#K0 ]DKΎg3l`"Eþ"B$ӯj '1YD]u ziHr^D\+t/F=%@ \BӋCgLb5AB5`2 T$*c(=u! gSaFcc (g(9/vVl~p)y(ׅ}=zM"z1c,0B/z+a?ы3әs?iQƘF6T7Xo6<~|pɟ&9H+JkRZmdb.ϲ y+TN O Ҽ_ULRSwӕb@Qa@W٢# Kʠ$Q^<@o~ɥ?J|TH=QRgDZٴFH^gh|s+[p?9qMHwKC.xؚp'\ueYbsS}D\$hx( B>p )fqB/Pus6 =N45,נޙ?怶E3L.\II+f0Iwc<F*%#5aTTZ'llR~X+c\K1TS'Єb bЪDפ@W S:]-bZWݴjRrYm#l?`II6_P|Ij}AmZ}dEC&fs69bTKAm3L2kq4W6%x^J<ߓ.|m0C"dwMsL:E ?Wx ^m^Q8@3.B̡r&>HU\^24a 8?PbVuHJ2': (b%Ez{݃W:-[D{\g&V0[oGwU@mz>{+36Vn]*b=xK:9ߘTy^߽_\c2uZ#d옓ܞruUF eY$,Ԃ0 '@J[,C+ WkҸ M>cߛv<8GBXc_8`-?|B>.l2+Kp\Y:LVX`%OQ&^A!p_( 89L@4B]mg2o=CS`>/*(q$zC|XD2d5=(xTZodTSW4UQ_e[6Z@8w`̀~Q( )Ln!e#:.hbWs g`/H&[,zʓ}psNM=:T%J|R тliYبN?%9 %,G?+a~A}Ch j^b&6 {C$yzh>y > #v"$+Q‴ނ>ZWuS!wTؐɃ ӆ*VЦ n#5^_]:JUt [ZDU^4^tHb#lq)[S~Ղ 1٥- Ҽ)Z\L* ٵO\#rV jJMl! r c킭ހ ~ęͼOHz,&|2&_$ j ˙xPqfnODҾPrꎗ[ec`g U9r !#.!.@/]|\NA&SE^hR!~c݃%RN>g>xaC~'><8˩xgDR{F&i À \4yy^)Q*h4z[Q9.k @{K9*W!rfZ|8Gse;X%Yz揪;!X7l?KDDO6'll:52ol(/{nvpj]m}.>34 %$Af@'`\@`ځ?:D ̭F|ȷ}%H.36e@O <)JsI"BtL(+Wf'9~ id,R1'm n`4CTOvtX_8 w6,˙qP$/H7(Dv#@@GEkgpoy +ϼypliRHQ+K^JpH\!lx2]`n+iVZ`*U6׀Qhx;6nG;';uwX*(=Y6NtVuʽ@"Qe@rM (2~)t{?kSfRijߦ=~ ]C(׫#tNXZ^8g/J1<_ܐnY\RJO ;>pNԸ{q iXlcKq, C5HБ fJjCQ>"D?a"HĽG9ܔ˙H=lfJ:PM1 `T]UAphSvNE}6!u Q<舵!⹖K#Wqsfʁ<"}1t˻akBH6CJv-L%x z5׈|꼑10D .%dNLsiw2\ "$Y*a#?Y4|bePY-8^9uv *S&dH%X-ȹNOp=ǚe@1 3wRNӰ̇Z;/=&JRҮ^^+ֽ. _~04(~s_Ҥm!A*3nTE{2ׯwz^\:J (ph inOQB ?l+߀+1;3sUgfc_ ' QқHE@$R;qФf>)-jqZ($ N 1{CkM)J8a$%j{v|*wwrzPx~v-__W/܌QD"b͜foo̖L8Ybppuck\⶯\e,´iAxE4PgVDbTL+kX{WXm euU*-z,ċ37b+ sU[*C#+7Wƞpoo$y_ mZL+dq $USq$nC3B,f7#Dżm9w/mg0.92+Odݪ[q֯zJS×c3|j!֌3jxD#kt# LcH`( qT28@ `$@0  0d)POӶB (1 х nꛞc񮯢,ީ2<62%fwI{x KS)I A$1pLC1'–avBL oJ̕sh&aFV/X'W|PDj"rKgc0A]}7_=ԍq(Q76ht"+ѷFA2զ/;ui0w2։w*^Y(Vk(y- hzM[Zݓ52`)~YŜQ|6tAn"hw{ ߲ Vd,BS%,JEQBۦMUZ MUXKS2 嵪 0wYJdMR!?"fawNQXˆr#qNG̲LKS3QI@UE&V,YzrTw3FK=XRb#k`yAhח# '{+͜R*8Ԭ4Z)bD}YVXI 0?E^MH[p Oe00 yl V};g -ζD -8axBqq礤K ^>B jn34H(( S-<jLMsE7spiƳ VoWn+l(]謈٘^FX؞y /89 8ֳiB0eIhaݝ=ϫUU i,!A+ֺD#L|8=#x{/@}d i̡hV$X gZ0{KnmfUwe'D?JcU( oGaXf t!Rd@uox݃%EX<@#h,13Pr14mM~ {y9a;2_[,Z۴ Hmhq7^t2FPN"Gs1"̲kb5p&g+0[tfO$QCP&$OTwLa#lB,덞N9RHsLCR,H=)A-鰯tMe$`-zu%$0ٜ5T"zʁ|i..8zX^+Hx:v߇hD_~} ځbN~*~GE+j>-0w<E#1+P:S$]~0}֢BBC"5^i:EE}ۀ-|AiEX=5Ŗ;F5;a MH=,K^J@# 2WDoJ['BR@ƊK2 0JAjj^{^1)n5iŸǔۋh񉌰Q*; 8`дDA [pL>Է"qGws'SdIz)j Zpǵ"+G0p^AU$53瞨pE"}r soҐ*!JN׾1OEu\u8\9.XQLp pyJ[\J D; wS" (.D߶=`7;\5ؒҨ쐴W /? KWF  PofV-f9pՄDDWܬj*.z)_:CTl7\jg:˸F53D\L 5>țO{ĒWvݫ-!YKBH9eؚh:%p4ƘBҥg"j~x v=?!\o?e V-rm?%2񗞏:5oqOk6vdt搜D᤻I_z1h$w2r CPGÈ1$nyKxo?gȗHBqoNc_ Z" Y⇘?좵$-_QyPdYU$‹cy| u0"~}vJ_`t,.}aSZbp׮`J6^6hJ+~!B RQeLSBHVWf׷r䄷v0xP,GR#蠶WJyfS277NGVZG})`ǟ1} .14$hKT =F6lˌ| <+m)(¸3cyY0&p T./v5ps Z($iB'5;PegP'] 4 t!6q3`G "Ѩ`i(%ieQq#5*u/KMCt_^aw(W6NzʮjդFaz׻j{Ww]vh-A1BcЏ/VMj# 䵑@1ս Z?uGuza_DI1WoRm5 ;@Ҕ\ąrl"} 3 ^lpޞ k{,l:Vb}V6w =]W#Ux e_@;^㐂MKȳ<Ѡp"HW:AUw(K0b҆~ ( F}Cw^>boH {5'P%|