SQLite format 3@  .S`  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  H H5OpNTt ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.642cpu=3.954gc=0.000(/`` P;BS-"ˉaJ˻؞ѠsJ^cJwD 3T=w9E=v3E( r89;ѣ P 1%@P 79T1w(/ _pkszMW,\KH|}`xP-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` U֙K @k OO[(Rc`@JG@-i "4qa@t1-61>xna9^Q%! $ vNu14@96P(@x~EBd(-BacU~rA`JWufMi1@瞶ɷ%QšRvj:UqdMh߫Z8!? Pjs&:q),gfoE)UyW9?_S &hyUWeRQiQ9#EFZR( c h@< !PF Bp©-NTrxA4D9=SV@'m᧰ӽ9 \ԮzwƟ\0bΠM5Է͊8᯹Cw@ۓ7]v&PU"XQi{ ^drkf4WJ.`0@A3a!NzPa<3f󯳬mmAȀ5VE(95ǻ|#?YcD b0hJ =tќϴL, /EЖCa,dH{_TrY \N55kffg(y &^\$ iפVTj߂:0/Fr0|͓ԐpsŸp`îg#HMTnpVGT5h5QݞVd撟-WE[Bu _fҷõNlmf,_yςiC]ᯊ]QwՂN,?Ԃ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`J$ `IE -|勰#`.y|DQSGIc1vX*&x#, \rK"9z! 9%.km=G& ' P"-cCUI笊!mC0A~N!w>XYft P gR&^@Zd: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,%1kAJDqlL!Y[bnC0;Yi`pk3{:  CLB4 $  378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyper  D B _ &^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup [Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   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]\˰ؘm᧰ӽ9 \ԮzwƟ\0bΠM5Է͊8᯹Cw@ۓ7]v&PU"XQi{ ^drkf4WJ.`0@A3a!NzPa<3f󯳬mmAȀ5VE(95ǻ|#?YcD b0hJ =tќϴL, /EЖCa,dH{_TrY \N55kffg(y &^\$ iפVTj߂:0/Fr0|͓ԐpsŸp`îg#HMTnpVGT5h5QݞVd撟-WE[Bu _fҷõNlmf,_yςiC]ᯊ]QwՂN,?Ԃ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`J$ `IE -|勰#`.y|DQSGIc1vX*&x#, \rK"9z! 9%.km=G& ' P"-cCUI笊!mC0A~N!w>XYft P gR&^@Zd: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,%1kAJDqlL!Y[bnC0;Yi`pk3{:  CLB4 $  378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  5 8 Oa' }*EWF% ݄qBa$>ᶖEI`\-0;YxOw  |ͼ4AV85b BŅW3}tYӠROPF | Oa# FHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=p#/h 7,|+~nM%-%-x()'@.zF >mDcܫNSy(r"ntֺٙx(r! ށ(t2&`L.Frrʭ3 {ߦYJ1QLYv%E jLt͔_!oӌ+d}&ћQGqIoߋ)))Ѡўև"[q^ @C-ȇXO7Qygdubax"q?BŌ#IDָ04A1#VA*q6 e)y {|eDILLHI]F'cF*̌ $ R:QH̯qBU'*T0!T־l9f *nX0ͻ9׏RJ7T+Vڕk&%X纶jEWbs7Nۉ u]bCWLR`옱yq_Gi.L 9Y݉ezU 8J3 8x(ת)ׯ9[>Bx?s "zM"Zxj1/oj]-hĂV1|1dׂҁ"xLZy,4..򶚁 AaB 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_id596aOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`&l#0a{sbI&:؂M&h~na` a seOas D@fU`{&X$ i  `i/)OS^9A@Ã$̔ Uć4$+ 71`,ߴDDiB]wdgmDhyPTkBǞab{S;R(+o0E\ FbXAm+Xu<<žWG[&MKgL A'gڴ)>d7 'jU`s !Nω8,>dss53v& TTFj3y]URVU/.GHqsT[坝R{VjbhKx7Eb=L$IRa) a09" BTH$HB3D_llT W&b%Y43J,fI1$]%QCFL8M-P2>bfǒBS*s<7yp)”]ԭbܛ0v+ ħ˜9;u&lµHlVsNFMko!iy Yݮv6|<ǂ5~E&[dI m~SL䘀_y&NjXk  \˖KT>$FDq٢Q 2/!un^@+RߡJO ֵ0݋ EKwȆh.l b$%i9yn5Pc9n( +@e$ZESYQ,kgJseS3kgS ?!"w%hkWG QNMU aTO Cb~YJyk!{bÉUЇ?G&POZgL*OS*v]%>c |F/Bc҇C9ϹdAkB!p`aFMrٽ\FZ00įFҰ6:PF>o Jg3)P(+KT9cz7HfF1`̐ٽa7;NDoL(D>rW5^ZzgFZݸ[;VBGy.}yy.I_F0!) Z! C$C5O;;\R3֫RWL5~lj S@V͉;Qu"7op !z~q/p~CW ;Q}Jhժ-[9P" ʥqotC@!svmfn*֗u̎&A;Ʃ4Tq6:n{O+vlhn̟9n | ;;,фRco9W1tz^I'} xAn9fnf̮irQ}GQʍsrfk[]U(;(JX`M@^PX y܋ӛ3"Qi<Vxͽf2}=XX@,kbS2rCR;{ܕjjƨqaʗrm\ "%bl^μA`C!u{*md$ożs Ui`*`7J1#b ZP<yqbtbV7a7qs x1q|2⋙^ra.|E,mIFrZV(yo{bҩ\:[jǾV{u؆]))1)bw'62!_Ȧ!sDPt*3j SPY{tk-2$ضzW> #IZqnaW7lnM`Zt:ex bӬ]y-w} ӥs%ͨY”i>H~DVo[l@E|dww Q)x [5މk wfZ׫- tx6ǭUkܐj`ic$ }fP;wν{bլ;O[ͻqy^]b(+dDgI7BnD1%\|NrS8oJ Mڙ}qJת;fL9͓w(M5kʵ=!; 9.AU R<رcư)`O/sS^ 00 ect\}48A h8 81 0A0 uKٝʞ@g ޔuUt>L/ O5$w5K_n9U.OBOl7++TB$Q7Ժu$r09),TʴU)!gרJoTc5#N! f$#|`[1_Z>z!G'f^BF^ _9fQTNvb9d!i!hX"2ᖉ-V=T[O0L:vdספ-չh"W7@00&,(,d0_bO844.>\̷U#s1*ꎯ_\hqN:w{Fݭ'^X;{P;|:g 6P7f@Ȗ+&,>AAt:H(P9T)yY1OHɘ+~xeў?{ !ݵ"t.Zy}w=!OVր֍eT'[LlZFĬ.ܫZ]teZE/I-N2W7|0`mNEA֤YN4"|Z>zꬪ- =kjms*TQEhNΨwo \10}+#DA|U&ooĖXY ,=iD ;yf&*Ģ`r0`_CoKH-f PO&^c tʖ!5;w8 ] _bF*rvМ;ZP5[0W^;7TxC!1\?'Ut[{,Hfɩyq~aQaP0aKU1Dl¼`mUz\:EYm)DNn c3VPu<.:t)))YJLb#q&|t0C S_[DV]v4g71]d%A%-{*)X-%@;>aWCIN:qVHem+LjWPz"  9ĠRS+]ĦI) 9\A]N06L_+L =*}/OJ:Nw:gPL5ڕr@/H/%Eɾ7pEzN"Sz XjLj$ h'1G43?]7Β?xhNؕWH}DRaq:/bgy \2k~X_qw5UˢzVNr݊#NGyw&lw.4 :dSxf=j% [v}U&`ƞd]JafC(:-EI!C7ep6-^<,?:yJ!ˍW}hC*EPhO9M2SpSJjmdܲN"ځ!y| \!ܽhn,Ҭi_o1w=Ym!d:o IJđK 2'޳?K$Wnl).^N"JH/ }[zzAU~&DP`Ѵ1Lh~w!mfz5j4_S(W#M昂t#UC> ! "h^d"g8._ / @r*Dg] se>G|N_[Jz)0Q$3⋔2 t#J{cE);ڨ!s9k0J+YP7?cE'l$ΨCy"I$Y 9\ 3+T8S峽Tv])Krjv1w.O$^|SJGWJ Pzeի<,c3sKjQF+wX6RK%Th Mle3BB7+0EdsȴRYg)f+q2B^,)E,86އNA!0N+BK-9U0;mxYDysgN5IPHu2dʛ$H3Cf &43nf KP0֣-3/m+`cf"3G0ĕ2^^H{/aa`,405Tb9ږvV-̣ΔWyCI/xɘ YW1S>OpZYViXijR %o8[#-pD]lc&dsb ֩$xCCYeo>Q_{hלZ+A:d1%bb CR=<7Dg3P @{Ţ!PKt=JGx8pN.tFelJzSE;C$do~$yokdjqhp`ߵB.29֣`hhf&?9gmO:~_>1 WꕠMSe}gZq 7(bhڃNtL8XM"2/0`Spej j/3؆j,+bonH M| F=QҜfZFnHᨂmfh|\9jpz/B) Eg>Km:kY2SS"Tk3gq``3Ѿ {?#.Nt`rUunPAtvK?F,"ضT@Zƒ\M=gm^{K\ 3Ҕ~&D}T KhEGZ0X(cz!)ӍsaW;TbLpYˤ b8O|,WBrY& 9Wo N%N?JcV;r3nZ>5E"j DopKMLGY٨A8[I Hb7ϱw#UG A/r~0ipAGm)vQ= ,.J 0ŇHBM2?Z?u~o!$|#KUAX:ueTt[4[\^1sq{-S!r~寍gęV˟:U`2V3^K Qʁ =q}K%X)36{9>.OSj Q"1']cEQCNӈThzM*OA$&x|_脎s h$jǢ{;E c$ D++IJ"SּݻKBy1HKz+P霗|BVI+Z_Ktϫ ؀r#݆`a`dd@E'EUN; [C~T|YQ7S9=n(̣(mJ͹k~9QhP[Xe쵼'@,pi}1y3(@m;!I>xHMc%4lb\0޹dS_mv'!l*|pq҄<王Mh}K63 $È Oc!i"Z~9Ud CCwhNII: (j~p^śڑfϒgq`hA\֛Ӯ `tС׌@\73h"gWAZ$z]zoQGZ[\DQ0TKʌiUꄣ887ʩvmH &TTn ]UXB" SJ76fU#J czp2-_9Y#j=Rr ? Js٠C:~|BDy HrPsGbTxPv=ŋS'ìHMbEZI_6 gu0&'>WUZrӞ^pP)L_C6(.kg5Q  *zdpW ̱eGp.1 ( 0f*_DBqNE40 إ"3}}+&h53t%W$M0CX,'Tu=Q9p= ʝ>3aU&nJTKR |Y^֦'>5'S}qc!r8\{(qS6XF,ֈ t&/Ėg?]i l<htL8qM0{)o6"6f:ZB5m.IDڠkA \C|.HUAATjfGQBCsJs=Z&bƥm,Y֧!3+1RE:f?9`*KutAFtSf捌)bVc,}82b6:lAzHiM*A#=ӀmkP64ZR xl t@BS'75Gsey;|rӨ^#?ߞ߱#{^U˙ź{ rR GNEfQ"=~7N?mp.i}.2yS~zG (ph inOQB ?l+߀+33sUgfc_ ' QқHE@$RvIy| RZsZ($ N 1{CkM)J8a$%j{U/rU ˵qA=/ +cl}}*v|f0":1(RFКU ̖97L8Q3dI㣮?eY,˲0mf |Цݫ" mʹ sH:ʔic l E&o2E{MJ05$Լ2"L3rI1pp2$U͉ Ċ

󻫾k&" +t"IR4HP( q\09< F0b( B bAabh )ຠ9mr=ʨ]JzRCX`@֔8Mt|J'y 0(lÙ8ԐdTWei.Q Kv /:x)UicRs "PiPTlC<򺳾P}^mc}aLC7<"ROSLJU@ޟ~@HKb_mHcΡ)5ﲝif8V$S$%90mEWM񼻄13dz{o];>E-⩌Z#SCY #6ڏܮIJX:,Ņj۟|d]0ɘ{|Ջ> &DGHrP cw$#.Dv$6F Tgz@άIϹp-؇nK@&BLI${m]H:c UTO u#-O2f$ KlYMRbY \=&.oq'X4=d̢5z vH"i? ALj\WQp1?@;U,SFFQ+fc5HKӣ8?~?9fi @D&hҪX*i/ @5]>!ltM-e> IfտgύDƋϑ`NzaSqe8 qsjdYnρ8at7+,x"½{#}At|C sʲ$rI8aJIl/栐> B Gʧ}^ ̸SLѲB3pA7)J%B}笟%({~P8ԣWs|6 F_l+׆.RzwCtxV{1Za^^%nrɇ!⬣4ݞ] c[9y AN[KWJ[CrG#ǎS"-p,afEZ@r*(ci#H"ho5`{X( uSh)K(Ux!c`DfOS]`CKDUZ"H%b)bR6dVdm&4Mh­y)+{F0=MQMYiչӕ3Q0]ҍR`S rTwT#~2&4&\?v .4@!ly5twoRqlnpa p>YE3>Ed/Ѱɲ0:bEX9 GBCy^f{J_(9ݛš΃΢IVB/ $~-@(1Z Àc0JR.So(@Z3ޝxg?fr6Jo Qv,*̍^BbKT|?>lJSڟK 85?q+Ze!V, (Fd-D9{dGدZm0uZ4$&0 lHCK:ޝ (g|X ͷZKǸv~y_ ԗ}+ +y?D`BR-AH\_J94L:iN̓"sWDS1#+ pRNȌd}n`!i>BZlkT9x.gh*ߩL7tઉqd#-c&{z6W>/y'mD 8XHfz\OjH.Y`-~|tc_rk}l'FܙϞN'H?Q#Rݭ5 _EvI]y=xےt0gZ@+%ipLG]|k|mJ*OyM#0Z=N#NQ>1) ܩ|,窩C:"4n;8+9nC ?r l¾**~h\܌+F$@b W` QMJȦh14YG`{.A8RlōTdRmm MᩪA\"=čX |:0HJsFw&焯o@ QU_:}%JnEuXh<4`lWslx%U+JKJ6ZUH:K\ J (xgNkʱNU"O<%"DŽ,*xRv=(P{ MD34eAr(7a_nRO&14@AZm[E]H3p9G I.gDiԸpb:a"SdY~evਂj˦fhEjjo)(cFEnD+)zʿC0O $NFĸ3P)si$DÂgrW8P#}b"z4y"}p&]BCU1;ed)h|^~ݐBW'ѽXƲ V hEaI1P .:}{ !eR@ ]^8^VUώKf*^b=UWkƁ]1pn>S;겊ƻX%ST) N VK\tC:FCPBˡ(2lFpq@t*جunn|VU;cSHtXV/h+2:/FIԱ :TO4FAXMOp:nN>΁"hJHX1t5.1?PS/ , h(PnZGpr8Ǽs`8Ɉ#J̏Yt*r=>=Y D 峈T(:PGY ʫHL\nxCiLa<.vH.(9NR;bp +Z*EcRr{tJVfnNs<{ԙ2WĪzM|yؽ&fF a>r~v;=!i0vizm<BHmA\VQCVAZaɇ  a5(M(hPN>*~UW{xaudrAend=Aqxr 0&$H^0@sT2bJ[=&<9p;tNzTnW bޠ+$ӊ)f.т8ӪDFT$+;a^дS$Rd_`;My㤙< MEOSH QjSrRjՊ\Qg42ѦeLm"IJY0Z?nAoHnqbSo#,OɎ%NBgzh1t24KYmЪXI?QETE)_r/PrCT-9_|uxQS L`%oni,<5l2HY@m!>5: ml7.$oA^nթ>כ";8GE)tAg,.jN3!"Fxe)<&끐m\b9~¡'#&yGm0O{r EP}cno0#"!<wvMvXG"@ XT+5HdN핢t\E =;BqYx/~5=LÁ,@QS. B.(AG5f\DIktw jsd9j: OȶcPTӪk(s]hZe1+ F&hJ]3yXd͢S9 jR{T AS Y+C! >S,ei}.GU.{}uQ KDfPj=q-_*]r%S5>#>\9ۇ2 :_51v"_YM6C.UJaNF `h*$p`HbKeE Z3E({>[r@|yK?k'Dicz9}@f42B.'Z|wMT602:KUN4}J·Z+71drY a@.nۊ'$^ER;nN (73bIM:lE\Rf(؉xSYNɄDj9 V|(52_{?>{Mm&HʭY> :נZT˦”^J@5*%mոL+s/3[9礷%0=@*">HJ+X NŪ%d%1!І$Cˡ0Q!R ^>@oѣY9 w~uPwVo|enVl ƗD.\`%%9]7n8Aú`KZBe> {5%S~v0GT ?Bj2vOwEd#8DsEuFS,,* `RU29j0j F{c\ 'IN#lα r.dݍwʱd鶾mXض F@' 5)\mQ}oU I\SӱѷCAQ`CFFdwhZQPsdQiJ؆ʎd_Z|M<ܓux: mJ_ u5BUԽUt;Y-ã2NUӤ