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  * *SOpLT2 ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.606cpu=3.887gc=0.000(/`"H`Eפx>q }nƔ(*`%OИヹHvdJ=~?j+5xH,]FO;/ɞEgןв  tE\VV7sUJY @z]( (qۈh;(/ _pkszMW,\XIM|}q% Hz `P-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` ML @k OO(^ٰ |Qrr"0 IFA%> "1L!.id&O-,^Q%!i?"*aoO_oe C@ņVB5Js hoipŊ}1P>3y\Qr.ʜ{w;JKf4 =,*ٞ/'D(Iq(_fmNކNΫ'(s"@B53$YAלS,*]jO:(ב*R^^KW]UʹH5JRĽ /E(i/ٽ&楚sq5BJlfSR( c h `)e1D`$ $p 8EG'+!ސψ"+ NG&{R:=`{Dkw|Zq G]B]\jڌa#k/vH(]F[BCyH (>k[ƅEF>_?ԉ| sw>M#(FveG uT|@0S'A"EHTd+=nYzZ @IuJ@]A2~Lt\z7f16502d826b32d559791f8d5784be449decf60e55d97443c4a73a7f2f2ba7aab617db94bb5554f9 36d19a458526829aa8e7a165ce3ae192c1c58aee 38fb11bc5871ccdebc35f672f43b799896d5f760 3a17d70a137ee943ff1f27f4736cae7708e70a49 6ed94d8b56a4d84fbcadbaa088d7eeff9433b071be5f4027-82ec-43de-89c5-262538523bfb $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.thyorOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodpOa# 0HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bE l"0mRr۟0# ZBq *BiICA oa`a sTsX"Q(r2枇I{b(.,|Ҵt0´7)E`xbb[)̈ʼnHWi o܃`|^.O 57n&]x8і{]Ql0m)FR"M8 [ۃDv{դV XD)\bV,./ Piv_95rf~<<žWgRJ=RODbUOĈQ|Țo kOZ <\&9sŇ{nyy&9-zZ Drsilɮ8Bzu"WjZI5NK;{j~Sƾҷ{RQZb?Z%([kRۂHJ$I XQ) a89 " BS"H iGK_Qn_ /gU,:ȋ94)=q4RjH =.>J&e#*dQ c= ވwkmT^037;+0A-!nIȅ9UJLh -^9Pv5o`+cR (YZ%z~r&+X4^dI#Q N䜗69X]tp1=UwMm#sW5^*=/ZH7dkl.ɵ7ǎ"Kt *VDvsT5\mF吹⢛cZL8w$b; K;%F}C?UOY~ba'qM϶ӜeS&b'<X^Ԓm7^ FՁ >OʗҚ/nRth̝Zp/bkg#6T"pV +2M cgNjQTWm M+*-bCmwwo7 ^_ oE)6J 3XJ#ݟQ[QtN,ԁ 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&e#*dQ c= ވwkmT^037;+0A-!nIȅ9UJLh -^9Pv5o`+cR (YZ%z~r&+X4^dI#Q N䜗69X]tp1=UwMm#sW5^*=/ZH7dkl.ɵ7ǎ"Kt *VDvsT5\mF吹⢛cZL8w$b; K;%F}C?UOY~ba'qM϶ӜeS&b'<X^Ԓm7^ FՁ >OʗҚ/nRth̝Zp/bkg#6T"pV +2M cgNjQTWm M+*-bCmwwo7 ^_ oE)6J 3XJ#ݟQ[QtN,ԁ 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,%1kpt TQU5UgR-Ƃã_ԶG4ݑ񘊒6q$չ)u{-8ٕ+֝+ߕCeVz/甔T+S\m[24adyJ4 ɢc)-pee蒢ͰN"II4R q<8q+k9T%(&kKjp xZ%8os my02nqj8yO>~3U Oĉ89W1 q|1"kB܍kN-Uy`oUUtp):V]Y7jJ{K6Ia< jQ!!fDdd ps"IJ1ǐ$`(3SZQV`*2Ņ#М;,  W=:/dk]ES{StJVb)Kr9+8, a( x/?uǂ?3cfNsHyH!"b:FrMLUe+iP'9^ Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=4#/h 3G,|+~W;1X$m WQSN7C8#fŘ92o/ ?~??њsЕd]dYĵ,USo-d)Xf(W "2cwF{{c}q!{$S2iIǦoæ::#apʿI7WhP ,s= .@M}Z+o"uތqz)1PJ?yxBeu4AA!pY#qrKcK >%996U;q| UL2j% (ւ}pySR(L 㣛!gQ\%1L0#"6QJP0W2 %EH4/#t^_']o5_$\(M\k1 Evf1?2Tɀ)ij1$t@ziIرBkjLWb TmDny&y6\)ϒȼS@Q0RHJr L$#9<HIa(0o?eJ- W}<U?|ϣRyCZ#_p9r@ijQkcNCrnj2ue$ w8a21!zc1y圻yi-ϵfL2|kfB|C @ 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_id596lOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`fk#0a{sbI&:؊&3CAA6?ma_a sܪ),pΣHEWLsä=)D14A 00ik>g (H4xxP<$eb$9+eqyZ0oK" "iBm:+LgmyF{+jqEhq8,an!֍]VBem KF2pAp)z} DS)4 \74bΠ&՝9oB<k+8U=zYvY{c.o6DllI3m򿔥ɑ~Ap[wQE3C Mkrj=EUUֺns%x\S\-ͫ.̠LhB:@b_jwm-mۓ-K ohRP5s]2%Tq ?1Mk.*[bdae/O ~Wp)H(#Q16&KZ5IH8 嚧Px [uM,OjK^.~K-9kb7V,c֌5k[}-wg.FςE-YV[_!33#gQVa虾Vh7doDA9[MY0YlzV**p[k ݰ,R:^"M0*BI&\*k]n-o-6GHBĒ2~{Y [\+[ ( EԗR _\XX2"[%DMlu墋 sS'CT[~xhY ^ ju#Ig>]1uXsqQAã{tȌtXwz5hn,R* `"ojXp uuR¢;ݿBJ^G-\|G/:|7d !T^uɶ:{̝1ma%qdP"odF @X?Ʋ/#RguXf),?s9_^Hc5lpDV( Eq*ksܳR1G)>P!%xWsi*:[TL7CO*T#y u@YADxɏ\b "? Fw|uB+*T2OdhbfPX +t.۱*V=␥kgϕidZ&CQ,ݼõx6뭷{wהw_-kZXS*:ZE͌tb\mM$N:FD[INiBO/p5_@c+3VuܗwiN7{ѫbyTE%A݈u#P^?щIa 00 esx[}85(op&k)/y#nGC^" C!ȁI$I2֦t:1f%}Ң%ǃ4i}| m~e8PR 9' fpI2'\πGc[ qJ(f臾褘['vxWTbcP Tz19=,/id1?,&+QB?kaQV+B 6р-,\ct)>s3N8a_VL\Y t =CG f^Dv02) ,xBnl`IaqT4ɏ aaK;z3=|%@Xͪszh|9IN^)6'>=x1P.򥾓SUO5 D #N!|'9 O5~E^Yu\~c:ᆹR7 г伒GI=Wץ%:'>nUCBE$Ln]V+Q1p5CL C)U%Zl!"s@=VGu֪,|.~c[!i[1dq_s1_L=v!T/__XyM'p:*ȹ%纓z-x4p YK{\bL,/Fk0u(rC& -A؇8@oI(ʗw;fަ>|r6[Y^2ueV-Ut}Z~6P!&;G c.x7Mkin ibT4M$(WDE'ݳ_/D r=cÐ$GK[fP0k[Ra(ˢ8P840"OoPQvU!cT\G@%YQ Fu+{6s"* aZth,ԢavbfvfX 9S5X',Us+'ۣK9L+]Y}qN_%iXɃàXڝ iM\BW4eL@꣉P4oqkWUot?iFʷe8*4'aQ'I) tG8<:'A;:j(m.W%R:|xrlѕuZ`&n= JؑgFBE|/ )*! ,{W1!tPhe(H&FJ3Oj7"떭Ee{6gPuv~Qt5HWGwMgx#c  CyN~-0_FB^%r+DKDz)0㼉?~)PNKkV{ؕcOth~4OiIMfɉʨ(`5EŎԌTb1ט=$ƞw'kEb!P_3ph|+4h%dV !,_6Z Hyk] ,l?y/3*s-Y^V!LY(-ligmWK+s!+.Xjg99Ͻ@t3s)%]FJGYAq pd*W z!$RK.sM"\mHTL"QQpzLTOo:`4 b h@Ӗϱ~4:q1q rB7& W>OmٔbQpy#k8XˬKd/'Mj "u#9[ 6h"A=5[ґ j&lڡ-e+%6C Pjo)RƈtB_z;z+Oq03^{DZ!+!1>ʉh|!n*ـ DA Jax)@\8Eھ_"Y8Q LD{KN0{,FͭӻyJ-q/ pMWBPkbT{%Hnt[;JfV(:Jھ@H"Q&l` Ў MixVqu_^@?_)٪aES"3ܭ50y;z.tz y$<ϖ!4A|CwGreF;VA"3&vu_30-Ldd9rҗ\7ꕜ|3 ]-͚=mSnk0RftI#"%8n޳sT;潃2nG1Z a': !4ټZxp 8HY|Sج^F[H Ь.B@P-aw#"b[M Gv0_rpQT|% ϝxd \( Sp>߸ܮ²bP$f]܃5:KKO]Z'jyA9*R, t(M˙H%B ʺ815T^YΛp/B-/O OԠIU"~Lk.:֜ tb8#lR^24lv۝Rdj% t$aRWN]]!(˒29&psJQژ\!K[6<|{C[ T)dGŰ?30EDsddJ3=D7&o%.kBBT%Ӄ[m?p Y ԅ_:ؕUAj1wWb ,td:Ϡ#Bywlh_ IB_tqHn07ӊJ>/.$W?go.52Aee3IȾbaKX ѰrJ="kXQf2#,C1+{4Zv6(3g1h Є4r ES"5G.8I_ƖVL6oȲ\/v]PR 8x.>3sDĔ^EsgDG/)QjADgi-Ψ*H!Ue+ 3@2-8 O` t3iIS@sV^z\1{5K~*Ē_ 逻ܨ|!Wz! 􋁠 ?j!F'O2qF!2G\P&UYHcYV!Ěys MRHH=Q01e$饵Ran#s24k>X.9X0#"N>N(9P[Ap<:۾eI.@uQ}".}fj; "Ro0TounU5a[pxy5,!Gl[ ,}K$\13,ޫ|)ăK4g׌N:70$DxرzG )OYybAR鵤Pڠ(=]uFhYAN\øIgvg 6qs3RRPFѿ7qSLLsJ<Pj0AqI{mugHNd(w2h(RC:|^M:U)щ+`+%~xH2_XT(zċ2fI5ls@mj'͟E0Z& -',&;(U:zGCB}9AE^::(f_}3cmmɸ\#(bpңuUGpBw&6kpU]*#=?9-̩wTrhPνH#d"E x 74.O[}"A1 Sv/֘^>b$̲aXz^uY~|Svyiu7Agp?lgvNx߶|qdn9T+SC>E bq%b4f 51ȬS ^v\Xs(z*;EN/3[!Á"*gu'y3RXq5/9G9#UIWʛI$9 h'Sq\9e[=]5]a)Lpph 6J^VP$R-N;[g2B"N'WpZBA^`:.c3; s)AA@5<+bj"Zi]BUQՌ1Ѩߛ!Hu*#M \?G*% k'U4C;l2,zQgSW{'u҂k1맥 أUм J_(]Lȑ IAпOo?E3yYOs"4\'L-#$ u *?'ܙzPy/ҟbe!,<)Cƌ~2G/RW,}o,?3f["B"c-?ydp؃c.3=5rr`[L ri3@e:=߼T) *89 ]V FPgC2Yu r{rhtȾ BPu'=N;pco+@j 7 -}Ҵ T="~1{bRi(+Gjj: {Ĺ&M$V[^aOfq{Lx!i p+@\8hi>#Ŝ5=X6mPi[r*KP/e8>V@eIk RBDJ'}>@C-Qk($1۪)a*V \b:Jf9;f #+#Z7s b=ؠ#2Ù輊Y9/`&x.m8~S!T^[ m3B,:(Ɍt%I]g% R%byS$u'ǧIʇh4~DpVaM6ƨ&Gk]aZ:+ը/\7 ؟rel5X qUpهYi?J%۳^sѝTykK9\3jP+;un]o}lLUоLsB50%\ wn㺇TenZX{+S=m<8+Wk8㌊y E\ nō($qS:@GWht76PNfa <?IAXaJum)(KZ"|gja x=BsǶRkSm:!L::cEtWiSAhj,Eob/E^(T AR=W14@Y9\F t@?ho f54.VB!~Zb BF״C$Di/HtwiBcDV6zEF[[&2X1^k !3k}S J7@ O32x>v,̀tNSj @e=H@3 Yyz{ۓе˧T3l|dt6S7u@/H8Q@,U& 6#^BH>cO~7? *I )h nGW|^3$}ŝg5O7fA%RSʩ' 0E"ۖYy| Zj4X-P ߪ(&jTUpBINd@E)!`lA3<ڔ-kXcڿN`aƌ2b|R4"H-ج7m0@!B2oce"RQ7q-f,eYMO xnM%vhF'"hӦXCGTRS$օ"zG"B=G)*r[)GʨTh48 fr&ySB:BA(QO"%%9bxRT!'Գ@-9%2zT^ICtJE/FCWM(ѩ zoPҌO ''Q2HGt_Α8hJ{u6c~~WVW- ҼXW77$"M(ŇQB]JI&~xh$k,]WkÛLq``L㬲24mtnn~n0YBwfۺ߫qV*ۭ0`*YȓH@3Qt.8CS&Ȯe=@suM3_vuwn2 7ch6﫽 [.fi@Ef,愛Jko3]Frupꑑ9AqA7Cyחޝww8xEg}vwaPnLS;>u#IR4HP(  aX.8@ F`$P0   Tm)Pjw)8zs5kIP׏**$ř#'І#5xWփcH8sa4D֨dǼ:GvuU v۝F@7_pͷ"z}nP,sEе+ohb1pP 8"Th&G!郭[Rn&˜BBcSZ z' @ HrA&m'0_#G3@ΑQ3f.0Q SgkM7H1ּdٽ%qq)ϗ5Ur_"zRBDfPMyOj?嚤lbQ+'jyŘ #*( @5vUl6R6q&IqnjR## .AʨAVJN,M~J0%BeuT#HEjx, G q z~'z@H%\Q )Q90x}bH!D)Mיzrkh8(E9ʫ5.aK^׹%`Žy T7_x\Qg^z<#fo4Go ٠:MSUw2 iW^VeIyR ȚAEՃi!cw3V(F N YX`lantoSKI )y+>M=QX"RLPRPYؐe9qW*0Cdج+~59 8m'(JkbW2һ֧HBY?A) Mwq^za[4#)THl0ᐍCI:`B*xO0jnLL!,v$sN-~Ccp̜D>A@Dgϻ=Jh+! _͓صȹT\n /E@=~\I![t?.(i&-#PFRxh镵iDŪ&`fWK:|+ " /&ǖ;VQZ}SWrnE N -XRw.A&H^T\d+ +߿U^Q<;xͺk̽ bN^_ZCh1& Ьp3k^-Tb-u[J՝C*0l; ŅRݴA+oBSn_J*D&@Ҫ6y{5ݗD0JB AW{+?yJNE'Mhؗ S|݇f}EHC5ِo o`Z ^.P:.?,A"~`Lw uG}@F%-Er@\)m ){ޖofEA$3nHCQw&;cI^wOcZvǎMc >;If"5FZހW1Z:LBnRdzKܜ6u3ErzSFbֳla@"kY% ~)n:^P~-jE]nk%O 2Y&bC²ζ#ФЉh𱺿mq иjl[P`zi;@E׳a*PG$} uNfVp5m? 6jE0J91cc{P8x "d ,4\ $k}(d13 Nq:qQ XF8ޏ";!3b9H_!7&Xl!ݷA H.,;["VRpⴗmh6ppS1XIQ6;Il dV矓k= %hsx"sb6QWOa {o9ڑGsJ(ȉ~#ʦT瑴c62}&Pz(Oy]1o`03\IO>9 DWD۵n@g0QeqaC$ٰ!:gUj%gBXB ^ k)M0DoG.0 _휐^3A6}hD=ӿͤ|HՈ{3!8.q%+Rd&GCH)B ٘7AHEƄ`^@r)6O%B1E!zDj#+^_`g@cY<6J[Ax K5 Dj ⺉58 (F C o$>>?OH F̝c : v0jsDҔ S,ɚ,כGnV)EDq0z8G܊(>[Pdz[p?HH/X 5 ׾ 8#=?BIjS eKQυr0 ms=+(UO I{ 8kobo$6sQ. Tԅ[uD"XYӨϹ,Gubd,pA-B=o 70HJvXoϧ2%Q],ŖrWC p^TGZ/C*3ycdP '\cw }4~f'QIPVN J1&lX_SWOgN;$APy ˻ii/C)6Čv^4sG;ᷡV/r~b I?L\M8pb$``X[axUUОO fKyrrš_@!u0mQEr܄06#g^ ב/0szΣ quBԣu vzyWIXDH4! DCcB΅I@W$IJї-^R\K)./i,x=n"ؠЊQ);}hыW{Uv9¸ԭ)xPeah<4 P[%$$^O  QQRZLԊhn+04dL sE FdqWh'mˆ>C +9:v%|-1RhD"VSqNB@m4 K.dȼmλ2&gHн+eվj͹WW10m+ J{HהdCTt ]3χ0 oO%mzTo+^oCWyzzz~ڰ@QGTYѳN.,H,eyLDOu0RbۦYf]{k b|cQut^1`a}ٖfc;dgFx7t ӈME PsVwiR""""0z;;@ݨrqoZ)▇Y`8ا~y*ϑUB -D@>dg~=Uo ++z laߴ;S)vv8zTj^jX E]r)D]֧ʭJJJ ]qW+_>I'$!! &Y=a1qD"x5 &mCi#ֳl7sӒȸ}x )U[]%lD̂os vҹ 4M¥G͂ b PeiP(@ (B1# !D@!#Uj" #9 oy:;}]Ә}**QRHz蜟`:Ǹ m.&*SqO}iMh?Ђcկnuxl);%)a:*AFVjj4@ybp׫T%~!|މB-=?Y,+B\N6$FΩJ&Ge OQi`tuRTc 7{oYhڄd2C&7`ǻ, [ƍ!E"DA2Ph&`sZ`bI.}Ȋ,TގNGnE= A6ӲKϓb9 {~_IMil#H&ʓ1Wɗi #Ͷ. ЄZh€]6?D(jh1d]O{5 V!nN^M0" ~Cr^j{"!y.BiN!?0+*32jΊwQ*xp ݗ~x,U:w #9\,![M¡L3 q/:}밼hizΕBf3bO|iW~[A0^,"p_JheCŐvUvkK2|8"P[;%Ѭ@ᶪ1+A܁_#P A^}Fj+IjjU~˵&$[Ti3 k *^ m0OKJO ' mȳ6]@4tT̍1wwٗIʒL7V[^jf4O â>5՗W G <ݐ QWoUAzY,+ی;|R\e_r! oej]?X(Gsb-MڝFf esZol^D6WU֗hʨdke Ʈ(%CDF><P f1 !TBWt9 ǜ'cAH#Ѻnt~JWM:}ٮ alƔ%cdeꮄ(E<곃rH:C<a7u]*bp00+N}޽icלhkz$Q W c y"1|Bˎd8٩_{O{^.N8V(*Z>_zڠy QP6v/P?[%6!A{1O2V'AYRM.ac7=nE]gk{a 9qDEjb) 2aqWv(L-${` 5o̾ƥG!qǃ,w|q[d@g u+JI@}Si"  㠾t\'2"1Z5y7蠼]y2ֻܹȫa5Z;*"[T$i.[2D\DADlaQYaq $Ӂ<b3 t JcvY~GlA{s:,HowتE/`ۭk@MYP?Nf 5Sҋ@DJ7 єk0i[+Q#S?y{H!%% ws mbЃ Q/5)ޛWuJↀAtV\u.DYRVqU񻿍<