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  + +ROp`T ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.698cpu=4.063gc=0.000(/`HPeT`$C`.4ϪGU"b8kx ;3VL43Xr&[?5Ng;/YΥR0P4I`3 ԒҟY;i9 AcJ8:@6"!*(/ _pkszMW,\hB/WY>}F$D5^$TK%ӯ69 ^KNXO.u  -ݗ(/` K @Kf!JXlXYVi91  GCB ˌ$"1̃0gǷ á _">oaA\ȟ.xyochpa z[6S;@bW+")ݔ8™v{Je^DpKٛn2?i{X{JAt)|ļ~R̵7%3֫j I|C ~`RDsOaa&HSbxbԛewYc u;++gGsRHo;#Uie_h6Bp524F#)I  h h!1C@"1LZM tFiyrܜ~ g)PwO:]':K$₽hM^&A֓/W pB]KC.!,cVpI\<\lew^E,@b甴vw*=?4ɀ%-sɳ1psui/9KN%&֝%@v$@x#6maŪX'7<(^-x69%w\EsxآT2788d2534fd500d70a01046bf83649f4a0ac59d1611cdb6c5329e67e3840a4eaaf7a9c12741c22c6 7d4ddc2c6925c8c40fb13abdefeeabe718661ab5 4422bdb2524a3a6e2e6aa5dfd6c0668e98f1d2ce d8a5d927e9389799a9b9dd513a7246282032ce84 8d64e3124d4c2b632d1636ea9e8b5a01b60faf4a660df9c2-7481-4e38-8632-7413c05f9664 $O HOL-Nonstandard_Analysis-Examples noOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodrOa# 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bU l"0mRr۟0# ZBq *7BiCA oa`a s簼9 EP,VU`{&슡$H"Ss か 3nIT*O/#>\'"Y^aE(qBBM{I$>Q 5m]ijljf+w^ފd0mWf.Mvք2-= Ri,e]s;Vmy T4 (v_i>{xa+D׻?B \E6mYdxQO(H`E1Ris3 GkMLlפi1DTU8{s]TLݪZ5Eb4)0Ei(+)/mϵ75Gk\3޵I[BH*}L$I XQ!  a89 " BSH$#,f iG\S/椼ކ"W!ɓ`9}sNݞݸ]Tvt<4kɀb@=ƵN҇ fl2pXF0'*wJ7'V`HBP7 mn&к9ƆDI-,bih a.̠Ǘt5˺XI;XDЋm0߈)M9cE *[`׍j.an2OeJȉ"lY7k6e?ҭk%r^pŴRT!by Km!'+\4F̤#D®9*0'^g(-H k]85=20MJ 1T`&NcT˞/4wR#3jݎj(:z7e`nkͼ&2I1+b#aɌEGwΪ`uaiG[t>0(i]~"#&PVLZ̢/몳"zfJSYl'^ߕmuTUJ.N$x 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 cV n RVX.nK~m s9:/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]\˰ؘ\'"Y^aE(qBBM{I$>Q 5m]ijljf+w^ފd0mWf.Mvք2-= Ri,e]s;Vmy T4 (v_i>{xa+D׻?B \E6mYdxQO(H`E1Ris3 GkMLlפi1DTU8{s]TLݪZ5Eb4)0Ei(+)/mϵ75Gk\3޵I[BH*}L$I XQ!  a89 " BSH$#,f iG\S/椼ކ"W!ɓ`9}sNݞݸ]Tvt<4kɀb@=ƵN҇ fl2pXF0'*wJ7'V`HBP7 mn&к9ƆDI-,bih a.̠Ǘt5˺XI;XDЋm0߈)M9cE *[`׍j.an2OeJȉ"lY7k6e?ҭk%r^pŴRT!by Km!'+\4F̤#D®9*0'^g(-H k]85=20MJ 1T`&NcT˞/4wR#3jݎj(:z7e`nkͼ&2I1+b#aɌEGwΪ`uaiG[t>0(i]~"#&PVLZ̢/몳"zfJSYl'^ߕmuTUJ.N$x 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 cV n RVX.nK~m s9:MR{ܱGjjdWXw"}WV*{s~I߫LrmJEo --z+*Ye ch`\b rDk?(c}3IVr q<qsdiy^YC9(q@1YS'e8̳6[(f/WM ={8oo18yWЏ1 @bI cp79Vf[kmDs:'Nȍ@7:Tc7:ukx(r! ށ(t2& bjVqB[[[3 {ߦYJ1QLYv%E jLt͔_!oӌ+d}&ћQGqIoߋ)ܦGsPDƒS^h4g|ʼno= $<,>dz1VΔjbzBL: #iw'^@ Jq|@ jhpnJrRgqp<#=䦆I/ )1523^;#=2Z0.\UH| z#_ewF['6֡'bw-yQ0!KDo #I$3blmPQg WF;$̔Tjy $Tm?q2fؠA`)iIE j)#ن %1h'$zӤBQǔ ֯ӁJP(!5H K\ AJ!7zRJ "۰ja‘ ;W6RH`$ wa$ɝ;9fr*ُǓ.P0ͻ9կ5[jjܨX1c\D4,h h Rl5v'ֽrBv(TjƎ;ذP0%[rDY2kk|UQx8:6\\n-|}dUӘ+毹XhB I!K;9Gsj 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_id596hOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`&l#0a{sbxGt[IIfsPPrp^a Y s%WOai <HU`{LBqI15$sw 6vX 坥+b4_Z޺bc$Q.9_ݮ]H:ѣXz5-.*V/Gv Ŭ؟kV3bkdA53_)zʡX)@ovAAQD{+C1Vn&Z9(i,DVn5^ޜA_Lo"H֯kby< p5_d5V$5V$۵ؔ̇/-w 5{Zqa2]"f˹A 60rI{O͔-+n\S0Lcθs*ŤtG^?՜*gV7a7q]c_1^qK92}b`WDH풇F93Ck ŔU>o-~1sNZ+^C,[ݾV{nn۰VV3S6$q3S2dcFf!DF/rl9C„2SQP0%]q(O{tk3vKB'}F<:dݞϩ&y 3(+Nc r*0\ba|tθ5S0e#}l`C0E|dwwAWNQ㝸V PZnh sBZLipS abRQF0Q5{V21/<9fyҟ-7N AVJDY!t&:WDHr')ub$Ry+PjhΔH UjV-1c7Ozߡ6լ) PQ |U)&JsʱS9Cacsi$^  0 esx\}64A ɨ`8"@! 0@CaKٝʞY:؛=|X/TM_ͧo/>kJ7 G[+oŤ ]3@O {|!+u%&>!I4I2TN}fbJ>ft`Vv4v|mdqwZ f:2 Us[x > AEk!<> t*DQp|]JA=#[L2l!@&nEώ?MF͑+BBjT܎BxqL˓mw4!D0١C7k ìF x3X:Q ƫ|vLy.`f?V=tVTэX@KGg?'!>H^7ҙ0['t4_z;\zM68™)렮M674fmxp4.HmQ OD(V`$iSaj5B8EUz:cfУUgtFs^9Hd\ z6(Ҡ"$Mm>=UxS uB7.μ!8Gj/^wA|=q+3/Q';]mr>a܍1Qx&Z*ۨP݈Y2k#5_$p>_(PZbgEgXXlZ "% }Ϣͼ~Σ[lj @[?v3NΨiא/"IӞ->/bxPܥG !N&)wHzbPOV@ Uea;0 KU0(\%sa݈ ł ;+ n~Uzdv+oZl;MLE}כDŽpN.c`G,/KՆc9}D%^~-p̭͟h09d>uscu~X9eMi͠& GÁ:M{i.ݡgH\UEd96}x"޸u]U6ϥ=UK׷jGi;y|6 _C<6V͌3A zSŽh dQn0̘cń0a`^ y\bdu]5҇r֣F; vbDp\6齣; HՍvY>*sZ 7iLӢwi GS=bd&D[F}8g,(fyqt%1AUI'02R i;H?V`'k7EE,f)\+3-x{2H5,hԸ5u2:Ei~ (!CKnφ6}闕)YtKvK$(?(%%_K}]u;yg`qgn{Rz 5.# ԕMkSK&1.6r^KBXWYD(U]VÏ­45=G EAh].U6-2 ,>>F@4x!ipyH b \\i4 [0]L ,/OT+QNZӸʄ3Q/=Ȣ܈ƚ#'$K|G}TP/b;rN: =7X C3OH [s5'uM;¡a~(5<6(яw/]+_l 0Nz%V }> @!Z7T=8Ryk (h~yo PDvaS*ĕ&̥KXǧ (˰V Mֽ1泎<Ȏdž^zS G)A*`Z ASRdBQo+aV9Bȣ'w&Xq_8Iz\C3]3a^@\ xHYʽ$eo->lwQS{Fƹti/#=y ^e&f_ɭM<zA d3I’ Ir@ibd1,Υ"Lw~dYxz8! y0SeJ>U=wQS>pf?KSt[pD˩;O N(15~Tٞ!L%x|l F 'Nך6 XJ}Du뵹6nL9^H 3!|-HD0r @^8ݷ!9 @P49f %WgQbUH/1QKV741Եfǀ;Rv?P7bO&t,hA@!?[xLftdYvtA5l ,4 2S~;$ $}x(x -{rt9"Eg`X"fo_j#XNҌ쫪|uzYgr~筶Ep;w3 )$K zfԍEnOHK0fHWtԹQ9 #ˑ? FgyH->mx.p')hJX&-uW)1Vsm#Ix?Ҥ=]֝6Ti"( nm`cĴB19F!xT*fpWKip^C6+7i^93C >'^}WZ!,ath&҃$% {VirQJ,N~ECoPP)ɅJoE^V9ml*FN )m3- :?=-Z>>Yxs.zS($X@[TUYmQ˵]Xi2c9`pggk;6^al=)q"W6&@g:#á`z N5 `h%iAzQO䜌HKC[9^פ^JB2]MUtT2_Ik-vv>g~خSQLf G &(XW|)72|BlF5% k~qE9aEփ7L*t 0'Y&Ǘ *_"BUGUr2D&eRe}v@A"Ԯ xɼ@$YC\5b|w}H@xa3bn~E D3I/cA$`bN?IZRq!U:QWҋ+]cR9asQɋ~׋yv[o]Z5f;!h7 nIe8reUqI)5wۓQp8qkHnv'o٠ Ι'l:0YN}-1}V'$ׄÙR#CH3S~~:qR4^ ,5'zuɘwFEh~03#_j7ThX%?8p!2/odg6`)-C͐4':0`^TE`T_gXW¨t+cp/bǝ~|͹\bHFh!=s@1\}߿+-g";-n5HI@uN5&וmREh 54n=ÉuT f%.W KIS85iJ<83d&/@ sj` |ڗug`$u{[XdB1EaPNL¾NQ&jzG@2OI ip`P_I)m)ng_N4Hf yaA3p쑎s\ XIK:/tQمFn~NBGCgP<6pBVfڔ0[T ҞQ_ }9+_OޥN@a0`^C8 HU&P `` dohKGvF ^\b P4( 7 ^9԰E|C a^4jۓ近W[u׭,LSwQܾMR)1w+VTIbU(J7 ugu߼@t >=qS& %; 9]xܷp%IiTmr w>N(a&@svlT+ +j|vAt j`I`2sKHؘB!:l(L"gڲoMWJ<֘ǣC( Rp9D/W2٣p됞͡Ds <%S;5;zua-0 t p=G z09;k(F>,AҘIu!y0.g5~d KQ~ &HφM xv;$o^.Eo(j]>rnYloIyƏy<  3thrK{*{9XwzAN~(`>/H ~I eDt_it#a$H (qa"hֲWN/.!)`t?Liq`b L/X<"Oe*TV'B@o$wMr)AyIxy]KO`vΚP`z]㵞۪vp}YH!e\TSng؝mw!5NTn' Y^PEiǃz[ox+wLZel*l[ۖcT[$HX AՓWqN꣐yI)FI T"CT)|* GZ1SqJR0NTLFV$ljT4s2 F擞H Bj$1kd&I!c H%)$!D")S_#"H« NRK409`*a:09/ KK3y 9whfv~eCf܌vGkQlm[n)#̬H>+#̌3bԿcWDJLXzWر, ('ô{n0[-DG"yRŋ3c9d/FA[b!`d>J-cT ےK'oAv)ծYfڿl1wŋ3񪬘˯]1w5K3Ag՚V ^]?Ƴe̜1<RfBjH;ofnqӬ1/o؝1f^y]wd>֨c;>e#IR4H`0 aX@8DF0b( B bAaB( )ຠ1i3GE߃tHx z` l~:AN5e'g X>H6ʓa\Gj☯MnP$֊wȨ!1Qa_#?Q;Nvp⸌.lpt Y\W>UZ!A~.˺©$=7m]H` TA*RG dxl0%;fw19& KRU] $1 Z\!fQ4?;sH&oJ1")י@qk|ks4E?EYy%+j(Wx#"LQ6zȴPkZ: ӂ7lqoXZxslv J:Tj|{XN_ OZ0hʚ 1x,I0DRpaS s ٴ"4 +mfg* \ -0HdAiw [}oKtAQ:]n COaCKg\iMd3rmH8 Xg;;N2%Kn\>\PT*7[ #JۭS&G<ȐhK Lw Vnu'V5a;9p(@"黫qܽ6/Ri(Ǚ Juʮ׆uC>H.^T_jgbfʣ9 ha^k\{lXCZ*[)L p/6غ/0 PX4lT1H.L BHyaA 2BSSsJC&KFPZB -Zа,@8؋6E29rNβL v3ər&AYUwtJB2ճIQõ0ίhfm v61W`O ]eCR(Sp) 79%L S8о+Cɗg6p 3՛mI~0-4FS]KȠ&b:7W;uj\K]]\#h 9eJ0hn-CgӾ[l*ʼnPXB>?7iم Ew{ȝ+h$ۛӡ^\p/HiF{|d"t7F] Lo#)"޷= ][F;PJo!ue@q7bNFtF[n( Gx(aqY܋?L905? ,C+0d(-ADlbH3Dr,S}xbl # ,uw=OPaBIΰykc4TK>o̼v'X<&_Q,#P[堒 8.^ D%p.ӿo׸ajKq i Om;eYn2©l@($(#JYY)JrD8[T68$m:bM[~3/nV vP?2A݁4͘KhFP> b.F5j'ٚY)qRp7[VW/%qǪɸYJݪp?7\ȗ9ƿ  JOMr$~GޙL(c+0N2y+6HгEPqy)Iq;xHrRI~2ZhGkbQi P(6_ЫκorMd ͈=;~m<}Eai |ut= >+ rٰFVf@0vD(@jhGXȚ6Ba:ӳ( kþbP7@dcbE=ۊډg!^~]\ #hdQHx7k"dK ?mgbkŪԡZЦߩtJV@`^y~P,l0AfBS'Hτ!pjS+ %(Q> #/QgtIq4q|bi1V+_Y~ڗ$ ÷!) >pv=J5m|duHΡ1눲%IӖf(0 fu_z!'%^F 38vٷQU  t{+%HW`/@rA?9qy" q3Q(';ޜU8)T`  oljBrX󃫛>UqDC'ttL;*%ZJQ#jK]{a| veE|?2GraqWs19y%*5(Ρ,MdE?7:Fr EG!8?q\hS ?+KQ녲٨>`ms{VH )g -׭>Jx{37_GDs3MJqt@EiqZGD%J@C) { OaOHn@Qͮ=QQ|N=pO.Ĝ5_zQ#!8ucJGRn?dJ8 z[NOM.'B[7fg("H!T…ʐx9 O'r:M39yz_Δ-GO5t(_W"jbF2%#8&*N+(~A٨>Y$L#,&J~;Vx b'`DjNF|!P:ma}6e[ eN3Nh7-g 9p -/[6 R7P@Z4/:oر fi hB_@/#Y+sP,^)b7*v-%T.JbF3$H=)+F ~wbNc:fM-=u XeW G!w!zͻU@bLNEѬ`u((j)Z][-xjEK!}昣 -O0"Fd؅ Z o6!9!%(Uo'"lw׮N8+;&K8߅<).DfGsWdh%û>(^>oۇV *i*A3$.HyEz8ʓ.By #UKKԜ_|Z&0c-nzLЩJIv*@J|Ы t @Om4ޘSW\sjs˺P=V1r R\9x&]@aWyO%3DO(8]Sƫ#x7;D-fpx&~D\y#`"+o-X `8"ƒA q^wzH ND#0 J!M&:bV}iZ >:J|NkȲZpEFch.Ia<,B&QG mJ`5-TV{UÐd:B QƱTY WZ lL]v}NF)+R,ԉL!R \ǵ|%^>H5 E?jkpoe`_rg.&rhWtQ RgI fȎBt;7[t0P5sF\0D5p3Ax+R/SͯP,竹uas5%41"?8F7^C|u-Ħ4S8%Mli0aG2iAKo]g)71j#F+Y U [)μNu2*$!<DnX7?ĕ`+,$!: NsLxpB4F ƎHtg"ޗ~n7㏢_4yHӂ4 E;1CwW òytM9o!+])ȳX)' %|lVUUe~s}*'ʃqxU,sH]n,&RN:;zttY j[Pr$ `.2huRh 'jDIx9F!0M+/5ip HqH2tJ:|ܨ~~A\6||!FF$PbXF&huL8,/I=6,OB[@q?c ) .}A!,񃯢tytq~d]6u?:Z#تSOͿs`Jn ~} _ a"v8m@'=v.*抰z[Nލ h.Sdw# ' hAC\RR*ш[tń&!v  g 73 0bωn;WC>8L9_1 iIn.wc Պt x*Ecۮ,F5Bq233L8z**o(}fׁ` )sѷۖ:FI#V7RLp9ؾ.  I!L~^şN ao(8U]putG#hp绿 >m#ٶRvHM