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_exportsZFOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# ^HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` Fs"0mRr۟0cB<.R *BiICA wif <DH孹`{&퉡$ i `io)OS^9 Eか 3nI{nyE@yi$)S'ə.,0"߸'AM{I$>QgmyH{.Q6cs#^z&Z{-A"Ntu2RZi,%mUI1+y ֹk(4 j#Z8l ӓ+gfs yqx7uѲ+ғ3V"FC|;^{֓{\tcxUZ9Cϱ4Ϭ=-*vR.VtaD^UT ϙɮ^zr6)S/*f0Ei8}Zrjz#,sy1JbM`{)UN$I ٘a)ff a09" BTFD $ gctGد(֮ Ib&lU@ ԤLfb ɓ"ѱJ+|@cDWIB}ީɛ^~X!olB,-xFHC\F5 Ũ" ڜtZ前T5cɶ##cDEE) N԰uYM ~@ I s*-W,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,%1kH}Z F` 7)cecV?\ʣ4sHcJ@`! W8PŜ(/ _pkszMW,\;k,}FD $D5^$TK%ӯ69 ^KNXO.u  -ݗ(/` VR Pk R'φe*B33j UOC0lŵ0c{Aaoa Oa0 xmaq9iϢYMsrP,p!bBة@ *Esƴ,C@`S=lA8,1ۯ\Caϭ1qUS8snJW=;]5Xfrʴ3.tOMj7zJ4uUjjVt 譜w>y)9V"5>?ynbԄS?"LBDGDDΟو(A?y]SUS&fG5"ejRBa lH:q0P4 b(2L0fuMX*]i4uC{|%.3J(juz IzQ\W f4W#xqop_^R^q&+Tx:E ptY5H)R p5O46n! 4;(-r7:(`|ZTWCiʤ2gZfv>GҭH$boP>R- w{f,9{d ZbC~rp̠IgZf9DW`YaM 9f bc7969e680cec628998d634f9d54faf6fa6d9151 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]\˰ؘQgmyH{.Q6cs#^z&Z{-A"Ntu2RZi,%mUI1+y ֹk(4 j#Z8l ӓ+gfs yqx7uѲ+ғ3V"FC|;^{֓{\tcxUZ9Cϱ4Ϭ=-*vR.VtaD^UT ϙɮ^zr6)S/*f0Ei8}Zrjz#,sy1JbM`{)UN$I ٘a)ff a09" BTFD $ gctGد(֮ Ib&lU@ ԤLfb ɓ"ѱJ+|@cDWIB}ީɛ^~X!olB,-xFHC\F5 Ũ" ڜtZ前T5cɶ##cDEE) N԰uYM ~@ I s*-W,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#߃r~tsL48{YMڒ8_xs{9ɮhh%!xvem M*u71 >H!/3FFjjm<z̋Of}:TfdDdps)Gc M0Y~vg\ -fC' -:goisEJs8Dk5U(dkJASD՞$Ȥ g>ݑ#D* '0؎?M/5Ec _9`E׬[ (nxXG &(3 o5%Zv$g*5fԁC Oa# THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/  ̰#/h 3G,|+~{X$m WQSN7?2'F 5|+Ⱥ<4ɲBI#ˇkY>sZ5>4RO2 EJnveƌ߈Bto$q!{$S2iIǦo{Y7[77cxJ OG^@h'PY, "&D*V7udKPps!PRCQG7C6Jc*L-`Gd2%Ld CIJDN7 N';u?p2&y EZ_`(JFd DSF33!Q%J L)OTi$)BF $a %2]%$SUBrlW@riZ@:a `Ӕ"|"AP0h<0x-s\t-(5P0ИDbD*eqyZ0oK" "qb-<\s{BS2c.UXʴ8 [ۃDHQ"޴W+49`ʂ F/]j.yK!q@Zؽ5lAxN9JF|:[xa+i]i*]_s3c:ӦM!k9P=κx1`E1!zq<Y|9֚ԮI"#EB iȥq̈́O빮47Tvx7bJ:?)JKte99FkmZq 8e&O{B)Z˵yL$IRQ)Vv@a dC B!D"e$X윳+ՎG4S/ٴ:_&J0q4m csM%tuw>jz/cFqK^XhEC%16N$r`ݖKffE 0ʾ)%=QBԶp&V QP2.ͩX3KvXx7F}>}S^4_X`ӯ@,$k4պFm *3r$~a[Mı Uor*{0nS[W#Jlq#u~GDf.AId)GO'07h&Xpl]tDrވh@e sD@,&~_00^4\O$Vh A%*6& OzL/7_JHmebTzD:(`z[)0l]і$%>M Dii2dI. ~iǧ╄)q{6{m :.`}M JPuMÊ Y'pjͩ 9"PkY4:5j8ySh2u^h*oVC dޜ%_b@}]*Z !{ |c]@XkuKʣr8k R3t7Zz<#gI! DLi򕝧j/<֯ydY. K qoͽ\kv֔&R'ycLB9cS4OShbyT]TQ/u\;_sgy˴fYron#s3Lg颖,k5|k5):(u,6Y>!k)gxDБblp@£֮k;R* `oj 8fY )Q^G-V|G/:|;d5t%[%.Ș v[X v?P'~S'c6jT#[;0_LqK֥FbkT7VC{{\3 Xk|[UPŝ\sidZ&CQ,]g[(Vu_-k1XC*:`|Qk3#D嬘7W[+$e)ɩS柹4VSǓ %&qM)?0ʌ{p֚槑:v^%%FX/'A݈u#_ B._)WV[?oT.MEaS Y  0%cx}6優0TTqOCdG9)Sq$nt}\kffh(5m9 DI&jQYCgu@:_ݟOPs8VS үHbNbVhebLxj[.k.}`WoL_^t֩/BÈ|A bHMJG@@n8e&ެ2:0֎;-{ wU_ ZcN>ð b:X}>+I]lq#OWctGP2fDpQ=a>Wo` 9{V6#%Aܝ&+bzUyЗzHk~& h[;\ozJR)Q\𔗨#5CB4:ѿ;7p<@UJaѻ#t0C)Ac&$u!(tv sȐ:@sOMy\;#Y4o 0ynޓp" }!1 M$L.7`ٲyܵ>Cj~:*NÕHXنqJ/@ 㸞Rtw}-6`j;dPh=KzMn;1GpH3G7MקB-T_c%P)!]%\Z*6;% Rw nJGG4Ԃr;X)q7[GB%L -gʲC8)?*~p #v/Ndƹ@0@ue?>_1~NI^b0v&ALs9mR! %?:n. JB5$9j`x)`~mS?"WEdՁ/w:n*VZi#ڟ>pi[^هfy׎| I- d/s|ʹCnG7̀2wfX U_SDy4b|-sWkKrK~۸+fH=g8ݬp|yP>cR=KmOe==4~o S֑U\%K0aݘ$CN[f DSTN[hמ[# c \ZNqRwuq(d\k,h5F+~ M_FiJR$j(=HXfs>b!\Gyaȗy׿9 rbkǭ7x ZF&ʱ RhRh|,>]k*APi! Q 6.oQ"`{ +P$@į/F|O82 A,Jw, D&#SvEZh]%h֙hng>/~,b5la7NNÆT͉}v@9<Ky0hcnqQOn @ eJ[g;xl #Z=RBjW))CX_Vr󥤿{A“ o޷i*Q 6xS?Md=6hRl) r`SB c*ND:ǔG4-j*Lu\+{9y~$Z͝EIi42egbOG\{Th3G/ЗQ] 1t'⪐:ۈGjs^t4LV&t gTE`|x\) 2GR>A$Po[l{*߿^mMҶ){3PؓW+s4?^2FqEBu\Zc$b *1PmBt)0 ]|Dݳ-F6Y"^k rXP`F#Mq1Hp,)/zW@IBrObziv$g*ۅT`EjB (eycYP2R.抇َި)ef%Ajkf$+d4l_j(x]KYM::ӂ ]ڍ J0?0c$FNc:Y:jo.~cDK{z_6R=+E.5o.a┌h:sn-<:É{,FD5z`[4kr"W_b>fEDdT4Pu@.ͤKu7l$A8+zBԱoDJs'ƚ;+Ԛid}xyW Jj_ IK&n44ҡYrzY XD_0':7kpuCJjw󽹲{ܡDwD j$Î@@dFI>Aߡ:k EX5MH $op*QͼMpp4u_{9Yz9Owa;cZNoɎN.wO>TtCcܩG2~.ݵ"@-.Bٴ 0JrIsgeS$VAX;1cb ki>$W8=]I]`$YF0N K^ɺ3xjy†x)w'iԩѰʾWzwHӃՐ& W_|8~Ĩ#xN})pkA ȣ%Yv#`r zE`GIq ŬXYxzGs=KV-b;UCiɨ@0qm6OxJb)v.CA28j$>>D_v=qfQO):黇 [Py(*4A9J1i%Cl3i`:b]M B9(AG{SA82]^P+Ըo5$ gC ?O"Ջl4 ó<]g jbË32Pa^c2*j!r 66msz͔OcA =X*p$ ̃=N* S v?Ȕ a/aBb;Tp:qrI^%)4  (P4-ևb뎰XI.w[ x̌sdXl:&=^T<<)[Q$;-*6z?06Pƅ @P^UyTQ|"7RISPh{^s9"c\\@W<H9M>ySGUWm3P$`HӶ{ vv(b?q42 CS?NE;2dgwǤ }`PT/Т9/f L>ɩ2uԋR$F9-,_ žw_8bP֑~! HR)eGUFg:% Dh5pЈ6& ;>hQ|"7i~d;hlZtL;L·Q&0zR .Đ 5Ȯa gޅΪ8աioP8TҀYwT[ = g mg M^(4~ʂ`D%6Y֦~W)c@x1,]Al%M8sQ N˰s n%&8% ԈDҮ(7|A@a2GUb -JgQ$P`Ǚ(dB9w$4R#V>KgoH2sys\ 7n⸨߼<-](.!L ;\ Te\SV6e ԌAS6M("!h>eDǾ=T 3P)td;)ܤx% ~I' 2C/jWD9FU"z]`mB‘@|H%gm7nJWlC9YtꯔBaf)샙&B#dyMݢPWHFLf*Еq`4>J NGu;6|2xgۂΕ@ғwVXTK!aʥ(f:&jY# {y/ѾP% @W| ,`uΧ=$)._ JnSNr-iogT߯zjLR(H؅u7T905#;l0=ZE'q$@XXt  S $CluMۑPV )Q jQ^ޞ?=} Anf"W#+Vf|ht%8ݔQ:+)7ݸf"4r#̱"%h>kHZ ԄnHi ƔH *\ U2|_vNyAee)y'z'-c);rPżevtVoU@oo6s-d%fp$e4CMl1]izY2d_n5hC$(Ccsz9kQ(&?}DG-:LN>6ρ["ynq#=ՒcP⹢ݖ=<`D7,nv5HamCП,q+  V$xRP^eRWw`-Y<1xxv&+vbO\Xz}󺂼N(n --jtie8U#pGgY'؃}xwX)dLv`/CqFzҊFXK}z'~{>@ıF (6УV̗o$ioY7iq`b L/AX<N[x(SVR($2;& IR\$gI$9`Y,yqܙ"W(fQ`/gh>gY |YrQvk8vs^ qR!Z={UWQ (kmoR-C<" %c* :̝=$09ԽA7P&zBǁ8BFA&&1*P S}tR3Lh4jLU)I*Q1Y'NS$Oz#1V̉,HcȤMB >JK RIBHDR>D"`W&ʗ"i`r:%#=Ut`r^$B/ w{ٹoFUS]qbF$Ҏ>Z3~[Y[RκnHc mcpr4=;|[60@IT) F1ov+eafZ1.%N<#<)b/KRW1w+Ŋ׳[5CwGC; R)pby-^p1̊!xsU,;ʊ94M\ܙZOT7gW%f.΃yW*uU1y^3J1<x9rwx[=}֛v 9x8sOn(|/~|Hh٠<=\$꜋RAWa{PW*rMBJV-DTInN\'Ap7N'7m_V<%<*»N.QZbz%pB8])9T t&+.h N@u#t`Ug?@) .jk`4" Zs䤥OQ9Vzrߺ vtHB@7}V`$$rRMul.D^c.JU[G OT3)sbA"?ӏCCK z(^i߃?{ lOgCe/dm]& mOW' :!͗5Ih]gfSС`h d^+|])+j:g*=RmUjL}ZV{<~>eۭ .f.UM6Q49G(Ó>fj.6!$X=dQjbʘda:~tF:U*Yx /R (KF%t TAj?>K?b?ۣ&v7or=ΰ*q2̴bqavc& ?OUx@>s]dnSfyuf[KC6KCWt:Á[{#bxHݿ\[ӵ]$3Le3xDaCh6Ahci|?PX͆5oU5?=M ]4B!>UyHQ ݎ0>c6Vzw^*=2U]洖xnf*~H?gxiMPMَMziem"90^x BYGH'aq3ęGX 0& r1Zň|æX14)JJ$'TE)XBR\ѐEjnM9Juy>C1&ISSq p"?ESLU𑇅b)RuI"Bc엜76i]ϯ6؛._$>C\MiFF2gTLz\e{`h- dԄj=Asxh-9*XC9%ifbjM%`#|-|ntu̱88N㝜1s-VСs Edn`i`J hx}o~5&! wՑ| BYxe&\e6]ſ笂G,@C'y-fsGu`~w=}_'pb(/~%F\c`9Rgg$qTIqd:B# 8 *6C:9"i[K9ݠ,^i %A w|@\:I5Noy.9aǛ6#(lhd #e"ieJ׎ x;}(l\\_7t5Ò}/[|W;x"rQU6uS10)s\3>pb1Kw~Jnl/512`!M/pTeq\ZG(*[D4 5-G)b5'1tp}/g/9|ZlF]ZEpdɢ2}y p!gQ S%>[ǫz^;-6G5}*d%h4ьlt]dRT=,"Z{e!*ɫږ#]J}>hpj羅Q/ fdg T).s]^0Pރҥ(2< })3iN$"V +E3={b\\<8QXp}Ngh@jӚyȸL<URd;*$ Mwdb/܈nr8+iXR!5F]LhS>C-EsCVN-A2ԉ ܛyCR+'ÿKI3 $%qm/ :DQ$<Ȁ?~H+rz@ ڕg9^qEY54"")/$֫ƑoR/RЉK!Hb!|2X@'K/|5ܳj$Dk~lGў$]!sHD_ w#L<!g?ONnGŎJ#Ʈ1$SܫI&k&9>ۏ=pvO=Jt$ hܼ,M~j |$hj҄(蘝qhsF#>?*cltW\_J-~62?zP/& H&]A&I 0c` 0@(Il2!Pf/ȱX

`ܩsX{|\NO'dV<#挦coHWݕSy^03XIx2 ǚ4>J_J$dI*'q{woh;S$)-{:L߹@IηaeL)/V/oRD)NJ gZ# oDzP8,f5@eY8,nU  ђ['{9w;h֋ܣ2PJ|w^W̞WE j.LBRq{Uf!yPLm60sG>3nѨ`(1oG1` JЮ:[ݐY4`ViW#Ebyf ԮC]RCd&5-<Jhg}EhʗGPs@[PKNhG'xbYOBdG!Xul-~2 |lcpxORd` =`i$uUg]D$N`ͤkP_@%!W7ި .9G㣨.jRN @mۘA,R56%$b EQGBH J⩎JLڪS)րg4G{BX+2v #ԯʠS$O䗅$($hzOOT:QO5vy濝dI0LwO?fTTgxa"NdV=-4RzUF@H]S{e ]S$x8 , kH"li q?ֳ` *B mطpos-rUD_10+sY^* tgSIiߓRlWV].ҕW$ A Heql@`( @  b!# !D@!Reќt Hr&I{D$H)[^z̿ @n:.Mc*;I'[jVieeie+p _!BB{\ȷ Ŷ- ڌ|ҒJ?h9M(%LC h`;ZIOgV 64cj/nZ`:gȃ8!z`hRτ0i} (2iLϧ,pYkcĹ ު6sH짯DOU% hVAD$ jt (=:a s8Ʈ^_Å˼ɡ}ЌBRC sscT`O!j&Iq`R?f*O{>:{ZU60_{Yl%g(QFҷKo02(j{x+!BBoȊrCZdegVN6=@ r GF:U?,i ҈^k7[㘀jf&R# 536A(%!Lu2y>.z#)7\yLr bnTB*l m-bz'L++ԉUY%FgWٽZ}h!_Ce 8ɂa,V$Z,~c7K`Xn*W6IqlqZ$a.>1-X$=1ݍiK?I7S6AS6jEhc%T F ' c3ɊJX`@"9l>ɕMz2 _(O]^0 ChA[Vr^Z)69]CMxqPvIuIu8/ϘZw`%ʵBQq^$iqSW ht#&UNt\so-ȏYKUP-F,@#DgZ%.*lpZ4MJrIBS~;ȸ)lr1%ASr|QXӻ WF8[郻h Sf /duPPux3b8uȘޅucmp@j|/lK7O#}^dar"U] :@;M֜3E(cgmI50?؅?c0 yݣInRf7r ܨ&akZGDbatGAz& гQ#-T73rѰ$[NR^Q5MJ#sK}QJxq6To Egƣ -ۍJ2MCw,ŹUI+]DBSI ڶםt.Vo`(B @l#N5,1ZV8?oְ2փ미UPPbMpJy#h!3&""^HR?ajZ_o}mg4-r0\.V~'K$E }æXVZGgb@63GC,ąѰ~T[`R~.$o-ᡬ4,28?"tcOFv@`C̺dWsW?=CkSR@uEơ󠥣(b~pˠrp -%=+UIx; 0څR