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  . .OOp\R ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.674cpu=3.930gc=0.000(/``zlgw^4x.5O b|I˻vC^k gF{hGQ:KM-zꝗdB2c )P(jK XbBTOn AcJ8:6"!*(/ _pkszMW,\h4-bM}EHQZ/~1UZ:g}tjrd[(` (mN(/` fL @k OO(^ٰ |Ihr"0 JFA%> "1L!.id&O-,^Q%!i?"Ԩ2!q G lp@=xZ[\Dٹ #l>Ӝw\Q|oJU܃TŪ5K|aoa.ԭswD#ܭ6x^~9 h (d g\s O|-VH=Rwuy\:Io‹\9RMRrk'r"U=ma2hHR1 h `q\!#$D$e"p : 8G=#_ïB\@/Qĵ0i {Iza]Ks/ fږ,g;q.i(8$ cU4ج Q:w^*Aeэ΀02TM|$Mi2hO;tBd>|@`*Px\ S "-0MWF3IB|Aဈ8.%*c795324382d0bad9e42da51de032b8414c5bd681f120b186b8c94c8dfd968762788edb0b6c1f4705 45a65a42f2948aee1b7614aa26f30387ccd4133d e19c39bfb3a28ff6190560da43c0c7291dd743e7 47aea242462874fd30cb951636892592f3b54551 14d1ab5c40698dff631b8bc7f9862d8feea46cc17893f195-cc4f-445f-94f4-a41e1e9cdaa1 $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.thyn{Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodfOa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b&m"0mRr۟0# ZBq t2I@oaaa seaysDhMV`{&$H"Ss か 3nI8)^ˈʼnHWi o܃`|^.O5ܕW!MF #t':yj)1Lj:R eZ{-A" HN+4Q`ʃ ծr`) i^;ܫ>{xa+Zi.>vnfpvMC|?^{zժQc ϭRq}N|d![ci^^4=-&DpPl]v.EݓRjYrw9U{)\ڭwvVj{+I5J VԭI1Ԅ偺J+@$(V~Тb0 ߛM5^ , S;cEڰD,3@p)09CR\.mO WV?%_L.KAFŦ1EZ[Ēʭ`u(,)UI?'GՅƣ;9J]?FD6g~PLtpRlc}KIm- āfkv/7 k^B`{eԙHV3\s{fM!SWӲe9"h'ܝC  Yˢ <%E*2ݺ?)N/a:xӋ8IEaEԨ_ Z0J&xoZJa;1VJӟ+b jYOdjXKtGq*W sqeZV"<[ncGtˋef.0k4%b)Ms J湮xub9+Oa' "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`  $`IE -aCG`-_R#(`DGY0Z; fJj"#$V(lK~5s9L e7ɺr|_ !Q"8,& +_dr<+- umfOg= 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,%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]\˰ؘ{xa+Zi.>vnfpvMC|?^{zժQc ϭRq}N|d![ci^^4=-&DpPl]v.EݓRjYrw9U{)\ڭwvVj{+I5J VԭI1Ԅ偺J+@$(V~Тb0 ߛM5^ , S;cEڰD,3@p)09CR\.mO WV?%_L.KAFŦ1EZ[Ēʭ`u(,)UI?'GՅƣ;9J]?FD6g~PLtpRlc}KIm- āfkv/7 k^B`{eԙHV3\s{fM!SWӲe9"h'ܝC  Yˢ <%E*2ݺ?)N/a:xӋ8IEaEԨ_ Z0J&xoZJa;1VJӟ+b jYOdjXKtGq*W sqeZV"<[ncGtˋef.0k4%b)Ms J湮xub9+Oa' "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`  $`IE -aCG`-_R#(`DGY0Z; fJj"#$V(lK~5s9L e7ɺr|_ !Q"8,& +_dr<+- umfOg= 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,%1kk赴45%ƉF'DK,:66dZƏ.%ڋv$- y<89Q^C9(q@1[cTAV((׶;F%wy{Py'xj!b8oi[)+p _ 8 h<w#SKpYk޹9{]r*:BL ͮa;=&%`@PS5Q!!fDdd ps"IJ1ǐ$`(7SZQlD(%rL`-y1>%(-=4'KȺU}o"/EWF&}Xʒ\N m! B~JBef'OݱCx&*Fg{\9RqR㸈Q\@w"@UoJ`TIΨ Oa# bHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=\jˀ#/h 7KdS?nM%-%-x()'B2 ]{C{c_b}q1fNSy(r"ƍ؍vݍfC E$5 ]1k_5ЖcǖcbL޷iևhRLSgtIG44=]9e3Wg4c YI&mf\{cᛒ  '~E$<8Rmx")'7z(*HxX} 3Z^ko#NAHF8(P 5G4bT: !754M*{!͘lLI! $Ԣup2et F0#ga(32:}<˸hSĈbF$Y"zk\I ј|wdoGU֎Ca*( zy-־l5[_g?\`śwsf_?՟?{v9Ŋs - ڸ_[ͼqH\vBf.+PJ-Ү;f`3Q NDY2kF*WjCi*HPrTp#+n]Ük "zٽzhʇ-ѪSx5^mBbA-ڂ h{xO-Ś QaBZ)a$T) 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_id596jOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`Vk#0a{sbxGt[IIfsPPro_`Y s%WOai <Jai0W %GL@ F0H $L<<(DZkUiH,"qch {I$Zb3mFz`KCJ?J0N޻ֵYʴ՘8+<ّ"OEڹ]RUMo(02U4 q[߹!Ϋxw`{ i4k"V-}973183m\MkjǞc=FH%8+6Zt--4UI`TT7ڢWVՌV5bX+^jY+)?{S`Kh&o}B)L$IRA)• aaFs1D@!  $LDQ1GJ_[U4t_z8I,CU*N|*(d@q.1ƒZ :sb1}@@+dW:AS >ckkVڛlXq~:C\@\06$aB6=0SAB$I7և(#I63j4@w1 w LY!~cgAC8Qa*X9Q}'N\7n {-^w+圃@y'5 Z5{ 9tsr!AP(Tarvko;݌T<1s"p;ʍSilt݌1Ǝ~)v!ы=suKHV| ;;,фRco9W7nX/I'} xAvy7{jvM#Db;Rn嬸k,.*V/rV5w=]B1/W(X3bkdArfRr(Vp%M9`-wD ybp& 4hvLͽd(E6:˃_A0x0z$ ""X`~mA!6%!w>.=wVWƅ)_.ԿKLټyy 60rIfJF[;x6 `* o-~)fҩ\:[^C,sck`{ئ))13≬_Hi0LyTf(L]q(rCҭt̍= -n9~RīI$Vqn8׋V<-_:\2rk3֬ݜ=5S[Xba|tθ5S0ew#}l`C~̼aHfD+\bč`s;p3Tw30`htzve)jW/ 01)(#I(̚R+wyff'I[q 3f+KlewҙL_!FM(dO։5"BnJ\B^;So! 84TZsnj9<}bJ5s'ByG5cb7AU R8v;z(1l vdE ] 00 esx{6<0!`4"@b bc:lK٭ʞ5OS# B-,!;mJw,J0K@ ^IBJ׽d1t2(oCbSk#ө^y1ZY%bU@*"Y|-CҚ$XE;5͌19?(G($k/]9,iSp8öގQe+0> E Z0d ,){kQUPz4Ns>~_:i) { <}E%_EBbsJgt@l<9ʉ 6SZxlvOwV#e۔; (E1pf@>>F߫֗ J'F^ǘ?O~:^,ZǝhV|ox@0J>BN?/{Ӭ&\P:,} V@{MA9ëk%ys]ħazB ϷiQ(Td ̮:`jO\b;Dg#)SS ^>_?ٱM\э${x1򓂁j_~@h=X_GŮ˟= Gqt=@Nܛ-ɻ[OZSi=HB /pTj:ĶKB QS@Ys@ipEۃk|dk:ćdl<7%E6}`tA=u/\\(<!{a~XHH5RAM\>Z~Kփ1EߓpGK44܋xs=lPBVvRA&:ހaluU!Lbz#"B, )*&B{tbB]K*vs@V-@w<-x$# %Й뇊 /VXv$}aJ!avEQ~\e=ڹl:B`<)HHvt> ҳ g>gۜNsFF0{&YތjduBЂLKD2zKAW[r-Kr/@d;J[nlMhDO)V>YEQZhV*5y',5'&a.`FMEȂZz/ve>`n9¿'@@1&f;DDж;aq!*UT$ RC&W>r_>J)8\ҁ1}ɺ$>=v2(^Of2-u0Gꞎ}ALk9PHHWu3'jm$]@7%1c5xJ#Կ9S˨XZ=E2]AWD T؇Џ:|A؀4 hEGpa 1WDe?@j\ZF?S\ HέA=j00[&ӟn Rr:e:V#Pa4Z HdTƨä) ~@P4Dm& dIXlDѷ?t܇4ufl] W ȞuP^(J}S#=BAq!ohm!p2m6{nuߑqbYVF;2tCKu8ZrBL87LHNdh \K!}r ۲uvi@t+"ON#'XR!I*a!<<"8W;^ (ȣLE&|$,$,VM=&@KXc@BKMkM^x7!Q<$F .^38T_g]Q0K7Ps>^&AF5!Ј#Kꕒꚡ,>$sGxA )akͬM`-Q!"W/!dٕ"sddVI3ټİ7*:CPƽ(~m,){a&e|(DF= 9Z{=j{*'[$dϛ0ƫXq!^|)#2!MפHUW,t\ @R$0dd4,\0Vbk#4gHEE:hz!rE4H82B'ܦ>TdT8HIdl(ðTڄ)ʽEsWD*hX4n":O%ܷNLa^T,DX$q[]?W^(\08W80@ߵ`~7Ym${3bTp-I˷CI- l\~lҿՓ4t}bщZvƙ$g RWU+"90sȲ2!Vs4AvDdHa!쏒1Ġڷ '4@fxvo[ÇWa܁?]$EJt{ <[<֮=+Q]@'؝C|1yj%g—DzCձx,( 6ubڳY b"{gS!)QU UtZ#HI?oKC0 BEYEڍ:0Xc+9qKLb0pV2~EO;_P\3\f%X[9m4pϱmɬ?R`iec7"(klbn؜֌ZQ#%U:k7!2A&K{m4SC.{ o^Fz횡Sv]FXx9!#H E^r5&*xx \H(⌚8K9eC"+'24EC3ިgfxLآSV6ҡ{9T,3g9Z+_U%q Bm贐?MKW'"f`_YFh HȡПAʥ8=&+P+Nܧ^MHᚅt7 S7A#$C`'Th]P{$_ c2|!ԥ2w]~ 8mlŪ'%|Lu<\$bAb=IB_ef /&]2~|+vd̒#z$)?86 :pHl?VP ?62#L \$&PVϟ*̜0҇NS/CO&=D*g F{iT4c ,ɋS>Ci{oХ{כC|ԐJhJI#[o$[N6mQT9[6amXp.{D61P.M0Ⱥ3lP`9n4,pʁL{7qޫ1 SNPZ\CA',O9W9x%ci[H6G0,7ɓ܏F!jcwP_}fs }Rrp*4(gB)`EEqވfA\er-g ʁI]0:Z7jd~~p,!AwJWSãJ/6̻K`/"LM/GļF:Y7* 9kQ1 6لdUhޔ]h%.R9ZbS;'r%VV^KJRSf7 t[ ωJD_ʙ'|:0Y4r}-S}V$ r.6T# P/\avesX4/M5V]3z},r@E'~`MiAٍ[,zE̖Y)'ܽH)Cbcrߩ/34²`q"_UymgHpy!Ehr"a6vǖA (֔$Y;Dqc Ej"c;/ /௦\TYƙt[QYn;!08WæDD :BNz2:ԡ_09q]}U/uT9,K7 W% ҉waW* U8갌S6C@c8Z7Su yU .2K{wS ;Br:&8m3Ahܣ+aw`}nz6pqnz8 0>5x5t`Ws/PKkU"Ԩ2qi*R3?_ITU$}'8hqٲuq.ZqQi%5Jg:h㇁ W[twy ?$堗0w:vw Hmv_wtVkZWmf5cLw5`(үVC[ ZRW!jALjd:X`LAc0;6nt*9 H@~@BKt oAo?nd$Θ7`˳;j/8Wn.)Uqѣ= }>:2Y9Ү_ az bPdx%w"=˸^3WԳJH (p8?QULO_'!>AdN W)_Tt*H#iI*J("ZLkc@JQRjL)SʽR\q]52 5PF0: ]ƨ1ącAj^@=}yk#hYĄ7 q.-9C5~ SecH-A0{|mU(fnbقpd$ ׼x,n"{|yݯ_΋9G[_݌Y PT_e}N~|ۿp|X53P4|yh#S]\4v5ܲSI5kZc,:[t"8g/^;9fܒmRL5^ ?C#K#r\LM.Ppd׽=]17wAn7׸w$`Zai>^Pyuk>.7TCQ+:qv_/[A 3pk7 w;߸{i]jp_"cka)vXscK:u"IR4HP(aX2@Âaq<Ba$P0   1 Uf)*jJ&=()3rT:q=]XXa@v֔vqbjRQnjp̷%7pOcQk@Gp$&^:}KERβumwQ%*|ed Ӈ mxPҶE)r4J5v^@-BP ن~@YZE&ds3q]&2U\<%aU#'jJx?,YuD*J ѿ5YQdS5mf;a*JeG9‚VFS _+P=b-Z_Qib*VV)=!!885I)4͉CP:˒ikCAV 芤j@BXў8`e&Mqnޤn @INunS X9̷uAv=IJ'.(Ǘ$NKbNNۺU0|HN2<6`Sa KbD$1uGg{Nv3;k3ˊ#O'MapP$3Oֵzv݋$89?JlE)!Hݫr0AtoXnMpG~zd`x`C $yM_=4ǜaE0Rkm ncrcm=Er!?aiKw=\9XU,(s}@í!_-[fesBrL'M!]ՙJ"U%rX|A˜ 'Pa3?zLq$s y;Jq(@('fGTi9PT'7 r. ;=6l`:>HMݕq0G%KqGq9"kE$9#12u%}t82VnBIyǟ&oZV` R쳌[WBjYՖ(QϢt >]v/z4轏φ2ȵa^*PRL~o\ F9K"LėqyH0C U / mxPkw[20}hL!dHq&`WkC~_"9[i z;ւqչr^3eËm 4.fWz7NO|W@rmSl@v9ע0]3E7 #`pNgY=vS˙&^. è\Hfv.5Y16+L08ߏE}I\Pe! uu L8Ii pӭd>!n<<_ d_ZX|1_l~ kx߷;3)awbXRn[֏ྊMG\H׃rW2WT1"ZQ{( Bac5XPq|lbRKV~]yiO< TԋK\_rӴ:nC%ȑEnamb zA/dEu#ӥW%L粃<=\QkIm\$Nڭ)d30bV g\DGz4DI۳z ໵I#ge"B5r.7;=-}-`ʡ ED^5BˬFhhVfu2BE0 m!c ~U ){  =,eǭj6V_.Tl?!aEӘEe-V4{C!mZ9?-J gyK|zp=}lP=m7I;Z$YiVE0ͺxQ@O*TD7 0##oޚnC%ҽܐxQ!:T,~Z+q3`, 8Z䬳 Tcm8 TM, ;@O0l) DZt@(ԏ|h\HR 5UfhhI#x+ z\M05A՛ߌzC3!,x[<6T߆Q2gČYm'CYG%m֘h)%$P ga;@9bDӀ="d1 *+DHG/``sD.ģ>n_XP%`c$VT+ʿO/+`lJb(se嗧G\۔/J Ԁj7LOL-6W)J$t6ٳ ><@KHvO "4*8SQZ'_RDY8EzW,ݳ޳F]ǽX T=a&U((؇DaeG,iDGH GI*3!l}JM`gb3cR_)E8" !q`)y{hD E%=1 [y5:Yf $H,g3qa[fٗ(rSp54 ]~{V ^tBp4}(>}z}ۊ<'h96,醰+>`Be #O/qU%.C+$Cv^5T%V$xpuZw$f.`˓ꣀ/P++%Wzwϊ08*=CȖ)MӘ_ '|]in6q{{׋[pqXCzJ!?f{:"Z:=o}5/آ¶D@5t5RKx ^OqYd(n4b|;'`7Q$re) UӣQH5\<i" ,Z H"Բ m|$1 FcN<:/+QdJDս=X_8/y|c[|cAaN00 Qg͂ a PFiK@P 8(B 1" ! 2K=UjRB c\;հ+4 h%E$}LwwU6ǚLT9VN=oJ&S. ԚIY6j!UT4' Dx?mPC2v3їB_*9C'Vh8 g"+gv&K=Xڸ R=^e  *-aМDZ ,sy@GJ!09 ;UobMM>h|E"jvX_2p`HwNAw-faPBMLEIs\$ XF+Ύq@E Wveee<Jhch*xr9~dܗRy,5Hcac_y^Kw GҐ+nSO^$_!}0NzB6Iq=llH4d55jk