SQLite format 3@  .v   i G U--]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_sources u77 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_infoT11Stableisabelle_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_exportsYEOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# ^HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` vq"0mRr۟0cB<.R *BiICA uge7h("S*iy'#.3E,,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,%1kL*hSu7 g{}|*P=n?(: @ e512a13d839ea34e1dc95b4853b580c309500b04 ~~/src/HOL/ATP.thy 9b4c65b4a7aa578ce098f5fe2e073ba2ee9cbed5 ~~/src/HOL/Archimedean_Field.thy 8326d7d8e32c9476c21168590c9bbbe8539a6711 ~~/src/HOL/Argo.thy c41a53cf6e3ae7b4ec11d9f78790ffaa94c31727 ~~/src/HOL/BNF_Cardinal_Arithmetic.thy c3300080e7eddbff5705c1fe36379e9516a91c25 ~~/src/HOL/BNF_Cardinal_Order_Relation.thy 4de3f8733a8875cdf4a1a8d2744e0082283b4dfa ~~/src/HOL/BNF_Composition.thy 1fb03784cf0558ee33718a919d78fe08dd0c815b ~~/src/HOL/BNF_Def.thy 5eaeb3c91ccc7fc0fe5ba1852cd762d891f021f7 ~~/src/HOL/BNF_Fixpoint_Base.thy eee18890502206998b5480ccc37d52b9a0e78abb ~~/src/HOL/BNF_Greatest_Fixpoint.thy 36cebc8e7936eea394470069ee357332740d2faa ~~/src/HOL/BNF_Least_Fixpoint.thy a26b2ad5c75d1675f8146ddc7506e568969def92 ~~/src/HOL/BNF_Wellorder_Constructions.thy 24691da5b2f027b91cf7d9a29fd97b2055526eb6 ~~/src/HOL/BNF_Wellorder_Embedding.thy cab5b21b81e38a60a3abb4bde415904311b895f0 ~~/src/HOL/BNF_Wellorder_Relation.thy ff6f04cbe0ade7bec25affbb246f8cf0e65fe29a ~~/src/HOL/Basic_BNF_LFPs.thy ae0d756f830d0d81aa85e5549f026ef3c8a78dd4 ~~/src/HOL/Basic_BNFs.thy e064ba3b0f703aa968ebee1cccda9af1e3507d0b ~~/src/HOL/Binomial.thy 2ae9f0c4d1e68f3abd300f6423e4c6efa660aa32 ~~/src/HOL/Bit_Operations.thy 2ad24e04cd972bf1ed05b4466dae684b1f3eaf12 ~~/src/HOL/Boolean_Algebras.thy 1dc33bcfc76a695b63161f930ea401a7c5124c2a ~~/src/HOL/Code_Evaluation.thy dc1b0603d5a34de0fce9b4d20762adf13ef2285f ~~/src/HOL/Code_Numeral.thy c879898009d3143557f416a01a89ed84 $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.thy 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]\˰ؘ,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,%1kjVUVbqhI(=PhH`L2&&`I֚ZHU'H;)?$9rHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/ Z#/hΑ\W'8$--d))}OpD6'9Kc@~Ÿ=o ?*EPidp-K?wY+E2DRO.$In(xeߨBtgi8P R}fjy$Ac3Qu6u~̲T*WL91T狇M-"} R>Ԃ[@I0ACjg9{ .@L}Z/`f3OAH)ȋ * RDb:!P"N\N~la<#ScSR ˔+*3֑a ̵ԇlJB$a>gg,?(U2SH`jO3"#H$,W.$%&5$t6QEil/*3 D3g$I3ZD#I u2%2Lμg (H4xxP<9.Wךi(?hLR1}|8 <-B{  7%H#t '6Zs;{)1L[^k2kBǞab{cjS]ͫa0eAɥ F]l4(kvonh [SGSͫx3ۗ㹅?85ޓf&@L6Ň@wp.^ 0sy 9FHgAyFs5izZdĶ褽 iT]q̈́^_u7!nUkZ ū8S"oJ]:?)JteS*֦L5moR)*SU{Z]L$IRQ)ff aac 1D@! d$쟳jD_v IjSYDrHr]%mTC@&٭NBV~Ћb Pev۳w%bT.wƄ$u "֞[oS^|A~Ssa|:0 7b1K u}5!5{7guN]k1yH6Q D`>CG"TI A9DGѾX' nKMԱ#El@-+;YvQܓl+5@_ Y XQxl^T`1+sL gU4YiI <$/EH8|9ipۥ1RQ!墌yܓ7k^rLdM^48灘ea`SDxlH|aWoDq yu"pM5ڻl\ܳY[ϱT']X?i(m09V星 BiY63:>C{kSByTSm/sΚ؍GyfY{w\L%Q0~(%."cKvpyY3gVՖ>U<5hrƁl*(w,B,6*Q :r_:2W"'ŀՂKD8% 拯Vt͑93_aojCuTq2A  6dmϛQk(+YX5Sc S%ըYB:pE D>ӽݡ;IHϳN ^)t0T7C{{\7 Xk|+| \;غ!F&ebe`$ c]kdzSVe5RPV [9um^djk5}tRNN u2'L占['JM8R~0Xʌ{pvvWBľz.X(Oc^O Bu~{]7ԆQ\SZ  0 HeSx\}4@9)h8 @b ٰ&6PyM>40?-sx{H(R! ܽxArI˶2~03BWx9UN,]BR̐8>g7AJr!b{ƒ0M/wGUT<o3=ӱzi&+PΡa͌>ʈB ѧs>_'\U92U>eS=9?Sn<6$%qv|hD UE΀?VP vv誸*"}OBɻ@:7 !埚G"0udܽWc?ĬPPuYs]0vd-mV+/v6o+9@{#7p•xx*pwUC:U` vg \$EtOtXI]CKh~yGx.K7|2 Bpm聹 ?+^f5*U;AN&ZC-&uRVLjbaM|󭸦Uk$᯲eMPhj T'{(kV`f_;xJ- 5XfDrM蠍qL9wU+fml8d#̇=uS1nZ*7oP),y֗IqU"1 t Z2"̬iq=ܐ#iQ|Ebb'qPwl `ѲHKMV UNP,&Z 4"ZŬm?.XȝC !yY/ApcDrZ.xʒl@,m9 nG #ޱ$6cÆ{if)LL֦(h2QCaBFrL-mdi$y䅵g=c錗CK7 hրa6hr):{*r,gvAXy9ϿwLpYQI/^HDߞuw&전pZ fdV&7-3/>Hu6A c?$9ɩ?UV*au@^TM`"j@l^#˼ɔ&g;8K5KȞ^Uē}[pgv$?nYhd,CFX(rm=1vV@A; I, E|SLw+h| N1+svimxPF"uG?F(EVt.@9f^jBokZϓ78ZJ@79HVxOg,Sk &؏g- CvGH0íée7H*/ޝi4P>r9W͓Z͸EXHu%d\4@2FqEb{&4٣t$(mE3 c5b̫'q@ۣ|֧~$ՒtU5Ѹe NqBI`t~P-T5H<%vl \i >1U6"'G a-B]EE0 W=G G+itVYi\JdZ]qKj:IeiRVpimgy閐Q,`DB([DFp,>ӦŨuYF-%E #y^ #3kCo)qth1{Xv DZǖNJ{\)PK \ߑZS P;>{䂲sƟ߄ Y h*U| Bj2hczvE9y͋F|0 {_@  0NR#0OUMvd"TZE'O!x{zaL=ETZj*{[y!#R].y(ϐ$.;#Y̟0 ѼP$%GVco4@$%k8R+hѯ <h/_`!_T9̍5sܯ<>31;k4'܊',Rݗ6fac:,O4 1k(G]{v-ӱՌNfY =/:4#Xc;>򭎌S;4贑1!&,B(?~M(%bhUB y68^y. N)`Ҏф#!lkOw^䄖!,"Dh%s\}w74g `_Dv6]j') 5-fmtMZ3SG:Nzc3Af1[J-~)ƌ$5n1-BG 1)N9ק\*<"yT$ukBW(1#2. Ӟ`6=ED'D|x_dj1leJ1ԫ 3T+ZB O@>&yϦtBT0_l™-6%S .Z S~u`tYm*Bcxq"٭)r,S}e\A.1Ev .r\k(QT]U^Glnfv*VHi)Y؅wܺ)w\t}aEG1*Q(.!]1@&rxDWLT*Z,a8 0 ıjhp^ <񯒋_I$?@w^b = ՇWءtud "8H9/OjtAXSW6A"\paBq~<eRXSVshnf+PZEWВG.b &ݨA/"Dhqtd3.*H׫4]v? }hF(lM$A a[ᐫ, <'(.V l?,ZE.7yF/OR]HR KR. Jph)RX6fr71KW>tqdp4.0\!oQ* |n( S>}P1F&[oPV8Ne2p:v}W J5+j\쒹[vRd.ڛд`7=F$~DgPswmY yޮ4\EJ+teWCDLvzF$Vd0SAllGs蒲KPGe$*ge*0г7 =9ex:a+Û0 Eb+@~Y6wc6 p7-.dB#x: z{! *7F˺9 bތYc0 Pb?fUrz"޿wpűLb65ej) :ZZS.[q@SAD.KG-db]dGm2I;Ӑ/(l5i^]{vnEfLtϽ5,,7+ĺx'(Yv۪V's̃Tg8CCUm50gkt7Y#"9xQy} uX4Zs K6bodZ ەckQyE۽T*:%9#$Q;&RXu5Wy7våh>7"cNA뛕$KyHRi7Yy0[ѦTSfSeT~f8VT O&;aYR,n2=zCcB9 iDF<|޵s&u |$# :41&c_ajTTpGq>}u~;ek=ʽ Fo,sp\| C{t)tσD!h^ϊ!T`^8$/9 t! *, 'P(Ǫx#S 7n9}3?*[A~d8Ⱚ#$o o h0 5"6*yPh* v 9{A]PėWvNVSu 7+ASft/ ?9"3P"RDT>tH^rx|>S:mJk׶{H!7Za?@탹TF= 3֏<;bX5 "0prY$䞔4G"y^r) lFiiV?% =ajB}ҰH~}}jo1T5kQ1xԿ8Oth(}QׇZUDB}ia@ߑM'|TsM,+"En}4n&ѼD,4D#Y0Qzy90-)i26l/ }@J$ݼarVmIN6^LL'KC[yNeaX ފr60 /;rCJlG#njE0bCK\{yKHwa}USŨJwx5 꼿 3 <$a͞Q {Acn#x^Hgx( \f0h2ֈs!y,otW))M1 Z=[>($2c=8͔fg ܸ$ZknQk^/O5C7fbב0z>;!4T6*:FU:?(*WPگOP88S?Ma{IY+`Xјi=x/45ףMG 1wXV.s)ưZ$[Q"VRҀ+Bcd ssg @Clů(4҈,iTwfH uc RЛN`}2Q^y(G[B\WعlXq#Tڢ)/DIy[d:o 鮡N%3[!4$!"mè&pLKΡ+J5,C]q%`7}6a[U}<]_.1 +},P2;ՍW\g1&L"| >u6H"eQn@gmBVFyKv?ˈu#RL蚊nӘiF]iWgIW)9WƩ>UAq9P <8nyeI!I) *5K@y7}$όˉcElߍ˴D!p cY $U}Yj7fFuU7觌>X@Wy|շxuLݱHvYDoFVd@HK$hv7ћ4cFU,\!q%wD&8lZ\ǴgS =5'ú[A5,9 _u(0Be@g@+$ ۜo{It`gAk"^?104,Zd;n1 &K&`7kTDP@hTA]%Fl*@92 oA`x,DBIPH ܺ &$|e2*7m۸ϡyvO LaP4&yo[4}w!Pj*Z"A1^_N;?\edVb"2.JgdFx (6`"r"+~F)'$io5JLL%8 " zH%e|ƒG (RaL"7|o$wMr AzIxZ ",B˼0/n/ep0:Pk. ֲ;;}ZX!ݷ墜r\#^f8>;g^%5Jr-K@ .R xpj!/b$X%iNHPL{=i`J1(^(λ]S—խbt#8Aֵ}^-qm?QO&۶s3RU/NDur׶nqr2 ^׷XS=)9ȓrU̫RJq?gK)樹'(bM𙐁R8ć_mrh)V nޜ}Kgī22)b 4B-c. 4sqv*!*ū[c1v_ K1@x9rA7.fa[;Vq*"&̫x;X+fUdq?;&;{)c& S[U#IR4HP(  qTÂrxD C@(a0AAaA #ReyavMa_z|c}tK< y^ap%zT~o\1cZ[ ҵ POtFTЏ| fq\ Ȩzn =Ki6'^Ҕ>-#Z\ +y'4's^A TNrS+tl1RLP>$ V*o <ץZӏtbfF[Wqú{kH)6w L ;x@>[tSh" ,0egA+1ЂBOHdG )&A/Ϻ'JsA{! @ܿ{zS{EGrW*|R WFJ2$yG#j7yhaEiuVW`5,C\ вHyK$F`"R:V,tWmK" gS!zв2 c-jY[mV{ NI`"e2b368(sw M6|H=E5, #@]'S._qt*3pJ#y^A[FP9kSSΝ'U[:(guP5iiC7zv2jD?4U˞F:%7MFOv rTch h iji U{/dvzI+ ߌl`8k x'Q^b}lYQٍ8iKu@L|XvNlN8dcΖ<%~+RϢSg;y$O3n) F6E(xHJO< * P7ʄRIMTοLF'jDޔ$wh.fI:^gՓ/+"KSPw'DY:.x9kk8Kx/Rxt05711w!ik$]'Ɍ)*R(b1wK0ּVCHZ㥊,zW^Յ'VQ "x% M!hJ^hԛ*e !1QQ)঳L&GAO 86 gb3vvZ-%6=BBENQ {if9o &EX&fMk&t#m2aAuqyYHCNDt(feD'l^W:CRkH UT(HT'BKZuY7%k B54d:Qyl^Phτ'_:F؂ y!r}dO%+'a@_A@&:d$\"_ptHX-u D3x ZU䳮I2{jwgy=z܍*ĵUðH*MfQ1[3+> X^IyT[kRsސ[\1,_W@Jl Tf!$J/b96bzsA~TW5U씀]xObCWFPէ~=slhpb=3 "q+I$\erUiex(~[l+=.1y)=Ԏ7 `peG/8L ј:`+:Y֦˰̩(_Ls:E83STQV^V3yk^ZQ_oI= (>KhBE|PN?pS}70YSVN)6Ѩu 7?LXZ,D/n:h+p@OF⒯PcD_{s<2`~~|i28f}6f\ؘ]G2^? =h+꣝,BICT@ 4Lǚ+v#Nk1"Ӹ׺Z:(9VGC:{>~?גroq1$ sr e,joc|&1 +rLbeĂ0?ԏ#i>BfE{a%Rq+OTxfF> n o PM>R@YG]KMsM%Gƃ yI~풝.hv * BCrDg@a @TB] M :8ܦ@[rQR'!_5 ..}$s !7m,VuP~2 y?Sdʠ=, 2vnQ5}F$ okBQd/seJO)d/\+3Ib%hHY| E_Bp3 ʦN'(tw>i=6.RǽNќt4 F_tzb}R)x/"8N$p[v8b;șOk/kѾ1S5PZ&I͛襓UO ePW;i-޹pXV`[ib8 Bɼ*F}r!F+%>g\P]^;5J{ _Ҵ:W+U*C𾈽}ַATrMr:! q=,raRv4!`as.Q*cg +@&b,h*F^Wc8+8}b9؇8 `κMs$My;hĞPV%:+ϖ֗>6w'bESC 6%Ri]AI $;ձn(>٫[J&%6ИEtH^K;3!q2BCUMդ6gLpeQ{wV !Pù/PxiO-UYgZjx;uƸgeor"׏G  ޮھ n*'M# hJ:xn1RL.=ޗ-;OnHCJEMfc8/;T2 XlY/EWOPjtY\`J @ܪvuCߨ: y ܿx?=!?`KuW[.Xz0 J>-Y#hN0Hs\\A K2@!qD4-c#obTDvƥ5N%p@_#ğ9XH!%-mO7OLݪd B<%fu^XGk,PY(mQFs]— ^ՖQ%J񽩆r=^:i[5;) @}N*+|2W%‹V^/ojCD(':no4+)r LX ~Lsl,Aʐ!Jcx2Ue' o6hұOV MO"ܛ!Iv̥jIs $=CmTqH?X($AFY8xN]hM]}j[%L[j`"ɫ3V-e@H*Y*{F';)I*m3$srAs|jVǃCX _ n{"{1᱁PbSꋬ٥rkNjJi\>2PIFsm""qhԢQac؎fBo A NtEȀIBVCfX4o R%{: ]ɍhv+|V:9J1=K 6T<;=t;Ov+0 1ޜ #zSࢴl MVɃDh g AHN~Eo%=PS6ELܩ%gdͧ[50ې_&~YzjҏY)c5u{ʯ !p̪NMiEc?쳆pβq6.3|Pm%c:BηV]FE :.%2ǚOOj$5XJcI ~tgp3 C[1Hܗ=Nf+C߅<rkWE*ɅRc۶,8D}'A'=.@F4yohC{;Ya:(s+8-A*! .X|wJTLr 9L[T?4}t~t5@ x^-D6hkRS]0lአO i*L~=!9)') wSm -q2[ռM2r`6JsnA5y^MDa{?:Jۙ!Qd+HKEH3a=nDyUNj m=3tTuy]ЏA%c+Z,M̖Uh(A`ibUGͽn%ޮ_hxs+4OސbK <KL.'TvQ!PڛY^WVDD]U]JDJaF!p9M&&ɼ)R(j}OkHRԊcz;zGMxFaͲx* ,ȁwO ɹ(*OΡOΡV矙édQXbGhseg撼THind&.6`~ʨZJLW Uk,DaxfaRaMs  :~`R`φڿطUiH7feFfϥ io+sۼ*9Ve{&*jt= ӜߓZEx<\5W$ B Pq@P(@  b1# !D@!:ebӜux iA /=x)&Ů/U o? Z7MiDc~$ثEoxiƺ)9k+DHQGS.hpDr٤E)hPTs;s\9yF@ ل' PB<|>~&+ yȋ{ey0&9,=̏hN&gBڴ'Q$-Tn` bY:eMAJLOuU%T~xK9bY2p‡wàBmKȟ__ePv{%.d6\LmCOONH; د</L1SAڼwx8U &A(iy>P@ ^#FL k5"VF؇  0VxA"ߐ^lKTGBȞlP~}9ۚ'D̬,^3>v gm Vf7[%"۳d>׆ G9 hn <BL;Ks֔ &QjTQxߣ0TIV%WtŴB(Q5{QNَb~ MJL-Ř٭B*z +&_f.,'j8U2O]ey^J-:,"B!u` dT_G5t3 nt- "L݊1D`k,+(tF0; 2 RnMXBf \a9.?c>~ɕM0dѽ '%,hx11+8Z󻴶Em6ܝT>Kv.fVM u& B;Q&ZR\e<"R"4WՍގYorSmLw[z(8ۃT:éy+<<|闅]{@dɤ &4zJ2ąKr 7oV"4qm5^̔Em2$$> W%``LDqtz'0rlB@B$ tSqWڣ|WW\ ę:R[~O. Mp/2@CH)UHE_$wV" N8氄gF:!aG6HY㫄tbT#u2C=gSbHTSO1f"o$*t^W' !Xbx7TeG ‘yp382SǍ() el%CW968py UI61sݘd T[HEv?P/HhfF7 DsT&i_zT!Bs~Vp!Ws:z‰++& %$ʔb:vme\U,Io_;H,I7,0Z}.lӍxu"2Jԯ,AΌORtf *8]L`!|=exBU"&z SWhYJZ ]B7t134y쮇Sx ! ;"atohPMheW;EpS>D1 #_$y1BRD"Ep P/m b)+'/R;mdnoKd_F}FƲJ65X>B#_tR8%BZ5 eHU0J%i$oV7,lyeDhIJ]x-jw' V5;