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   aOp`T: ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.648cpu=3.935gc=0.000(/`H`zlgwࡺK 8O˻kp!$)1xLI.|Hb?tZG5.롧d̮?%f @UUt 9 HLQɟ= . AcJ8[ qaMsg(/ _pkszMW,\hTX_e}񁢤D=^s@@P-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` mN PK޿.6إsV6$䪪LIAr Ha"8reNK@[X tOD͢4Q核5.w&/}W4a=%66)2-(, *Z/EX)N:S=fU8Kt0xiROԛrZ^ɫ0 ʫ+տS2s .! xr"ɔ+-VŏtwWT+V*yļUԾԬ*y]qk sq13536))1 hX` KB1HBCH@"$PQ% ^6Hϑ~_>§ p~#ǜ”-!w&Af6Z0+ ,-Kvk3~`؉R.ͅ=t}E4`ho+#bՍR8\HLHoM>̂n2U#ihc @S=%mff˳ "ϐ-|$9fׇW_O@3TAcIG+\L0854fe58d8f994c334ba9c707976319b73b94ba082ad92dc0dba9d95491b69387d189df653d2761e 1530d97ea51c361acf764a2ef5e711409abf7a87 d43081aa673ccdf53d10d7c27ed9961c48a58124 6a619aaa1be2acf7fe2db5452f4e18cbeb279303 640ee2e53545fac07b0a80634de576852e8ff66a5b629570-d590-4878-ad49-a6222fb8ec4e $O HOL-Nonstandard_Analysis-Examples opOa1RHOL-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 +BiICA n`aa sTu簼9 EP(NU`{&CqId!.3E,dss53jyעEO 5DPssv:gç+y)̩UQԙv)ĚRsL{)eJڝ5H*j*̡Ȑī}18o)a݉tMC./eXxkÃM<\+spI mՀ:{dLH5X Wٶq >Ke|X!Jo {8XyQ}Be3mfh/lr#[8*H+2(<ߊRmfȱAFٜ~vueWUJ>N$qb*Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`#PIDc(c gW#@3*33] 3FY˰;,eQ@Jh%\I0jP:T{Kb@V8߿u> N9Ţql )U1M~EV:)xFZ #̞j P gR&^@Z: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,%1k0FAP``!xRJ)--Oxt@s`  Fjp[b%13TU/p=pr|O` bS 6KUȝ[ u]fOg5 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]\˰ؘdss53jyעEO 5DPssv:gç+y)̩UQԙv)ĚRsL{)eJڝ5H*j*̡Ȑī}18o)a݉tMC./eXxkÃM<\+spI mՀ:{dLH5X Wٶq >Ke|X!Jo {8XyQ}Be3mfh/lr#[8*H+2(<ߊRmfȱAFٜ~vueWUJ>N$qb*Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`#PIDc(c gW#@3*33] 3FY˰;,eQ@Jh%\I0jP:T{Kb@V8߿u> N9Ţql )U1M~EV:)xFZ #̞j P gR&^@Z: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,%1k0FAP``!xRJ)--Oxt@s`  Fjp[b%13TU/p=pr|O` bS 6KUȝ[ u]fOg5 CLB4 $  378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal $ 2 $8 Oa' Ź$u8@^/;JO4ǽŮhh%!xvE UT1E窚);82FAQ^V[IsR{yRP%fFdd ps@QK!ɐ$`(7SZ4PRlD(5ĖrFed~tc,=2'%Ga7K9`>m_iCgL2k;?B_V˖ B`}ۛaQDf߳3?q>`UX9HLT*vSӠXOF ' Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=̄#/h 7KdS?nM%-%-x()'D0b# ۷:'Nȍ@7:Tc7:uk<@]:IRۀPx5ЖcǖcV/L޷iևhRLSgtIG44=]9e3Wg4c YI&mf\{c!))Ѡўև"{Z4E0!S8'N*oP(TTA1f;ƫr^ko#NAHF8(P )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$ɝ"8x (ת)ׯ5_-_Y!u[ 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_id596dOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`ƥj#0a{sbI&:؂M&h~k^` sF <NH4 2+f'ֿ҉ B 5|;w5^[onq6ntqaX08;8#IkH/d3Śh $HJoQF0mfh>c$@rBJXZKApBV'*LځwEzsoޠ[AB5螇{ :rAHՇVvK (@@rKoRB7:ơ P 9;3vw7cʹ7lcvܵrT0gf1g{=Ů{mhn\kMB73$g jD;K1Wi:׵nX/ȏI'} x+|uw7uGE)7[˙["bP9+GK(fP \ E %WL͝A_Lo"H֯kby< p5_d5V$5V$ؔ̇+ܕj>_bԂٸ0KCow)3/oB?cs͜KT8\c*`x;UI@\o~\B¡÷T<-xl퍎̭nGq蜝/gvؗ;<0@ctxz2ؽ!F`.g"B`WDHCkr`b*t*59-_5bvQ0eCw>3%C6faF;Yl:$L(S^:5 S"<,~Cҭ0-E II-C?NZB{s~E^.F@Q)-dkB@daYJVK*_Q+鎵yk1(k zP1^`geQMfRfvZTehc8q؎zX~"",iC/(W3|.(`>릟|Lk1P%e0?DBwc^Kp pI@2qL7V*ї&['r~2[:PS%ee6h4|` >4M6^Xt^FPWȚ1E@ְ:'&v-@2[Qo7m|:5>j'Rc>̏neܐŇ̍osҐy^`2h'3t;ȓjTf,{׷9%-կؚEYSXNyfBޝ=Cd1?AP;2Jx>Ba[+&~[9Y]!Gо^BN/c6[QYrc4ƓmLM̯&?eԢpD+?>FQퟚuFx "1YʸqȱIꋘ^[pv ?^ˆQwVN7em/Ҭ jhC1, 7݋ʱíK?ukE gGX|H`ԥyA:*V-؃R84CkhϺ.di>/oQy d>F|,`l':úćdmr!VWڗ/X^Pw<-H"DfQ'uP\o/V3/|ȨH(=qPNxap^xcDZ~ЦC\liP0)hVQE8!7Y}5̘^q+tv] KCS%rOѥo@tAƧ5/x΃K53|4}S&9U'@U#=ֳ"Ows=*/8qwߦ'06'VS'7cLѺ:8kޠC#.lR(z*%iCu{f?0=V{TUixԒFq ~m}Rf`uz=&Tf D24TȡX\ڻe7D3BM粩nA,a fMARXZRGۄZ'Ҕեg=н%&$\_wHX4yw6ݰG VTYuS0tx[*TG=)aG](7@_͘ 9 taX/?\pg#, ǭҌ9 pL's7ԩ:;Z8)(R0&nLMx鿡l2QM&G'i =e`a'ndRD{ ܟ'G حzm( PޖJK lƅǙ@/KVv&QDIЗ/nY.X d' yd ]4PAہ dQVR ݇ID`2sG3Kl{a]E£.!BЈ`-kH  %br%Xk) t+{9H@Y4eՃ&Ũ'ݶWe ڦ=T;y{r⭈90 sRH.a [$T+)|cVnP+5+ŦP=KI%w?}A}9CO"aM@4AnM< Cc43P 4|UhvM`F:'@}}P}#6eZC-rO <6%Y:`RlR2-,ա\w?tGQY:PH:@nb!jwGuP"/nq`tJ [lw>!F0 d_Vbiv۩qua^ =孄}\N\=)@AZ7T=P\y7=,|!*;ؼLcKs6. /YCs`LZ7g ٨B/)Q!% RQ)<"G`8\ETuHu#s _E@{Awh y+ѥnfbcB-|K@vAG}{F`&=LC^D*UD$YGL4Xy8Qqv@77|`dB?k2vNk^^>ҡQA/kqo4 Č[ Fw09?i|қa5@㬒B "v`;Րg.Rv'ЭBkQvWAqyeTKD^gaS:LYHO u%L$5z xկU- K&Z,ЫIˌ恂<:LtRaNzypgDZp.`n؀ RLq3 '[Q@yQΌnΛET)>'kK~ۅ/I=JpD_G2B-<#xhLsIЅf-{L}G,DDɱ@r>s+u #2#PQ1׆L@nV.ho uNpZ<.k0}sO8I0. -U-&+ _}gm)I;ǩI|<j(Y4w=: i 2vez<ս;YKcF)# *#0RE60N칐LrZ¹cRlT8pʋZ ҃8;Vk`N6s>% .ɀOex1R0. pKpSݡ]Zɰɚ ƔGpBY>W!VkI9C7GҲJBBʛqiu C!>R(QOYfxhZSIU$rףP00? ㈭G g&6?7lYz&ޛ$Yg,:V6}Y&TQ{4Dޚ6Dǂ_h;?;d‚ZU]aTnyy/pw *DjC =hN$l֤}j/L?T[x}Y+Ñ_ =ćG$W$IƫgMI$Xx|_إ*ҲJL w`ʣx :LP48R^cݚUkqBTdoKf4rzIXBo?ɬjɂaZ@ wRp1w@qCD2 .Id4IE|7"زyf \Tkbr/"-)v !IuA4o%\ ͌ C&I4>'Ks++')˛v#_ߗ~!)&U4n™y'3W4Zr}.-G$녚3m hǤ/E?[4/;5F\3vy8RF>E4~3ۭgu,3ʎY))͟3I$JC><{ eZh{ V'4CtѼsF`uR{<(BӦ2Z9Ī  uK\DV^/aЋr⒵ra,Tw_q׶938ꔶV%J{TNchҪlOuGDahIV'FhCSNKސ%|9/(Q{Zمn~zBOR 掲xqٜSB4ҹHQQEK$wG5ٖ>]^{a@.jLB(Ym C& / Y1ID* YMHΨȈ =)4ZR埱z>4-\bbDbI^fJuձq^PSr\8̡0+ka}e)QIq%n|[fNkLXpJ1( F;>o*j >wTg&kXF }gST^VJ~5~' %2|$HA6F\0U44lD57虞aA,kfigE2 VMM,A@jf2mi[gU+m"&jE id'*[Xp (SJא"͈",;QiH&ߔxF__gv߭[А ,3^$ώ:^'؟ U0=%D ~CA`XaDcF) O CAC^#%kH =\<3[>s0pCQ(i-#PF/Pqz*bLBM"{m \ ODsDJ &CPGـ%]CꁓwClFI>. q$$FRkP8h$}-#Y `̘kg6OPC,+M" ǎ .4CYJ'ȷ/R[e,</A욓]oY1,6lG*OQ (&j~zHma5ͽ1,g듫pD|Qt! 7Eвa5PxbݔJUC UfWmڈ\).R9hA#Bh".e Ւתva=!nէcӊI=STfFǜ,װ]>~xrIDMSMs鑩85-/H~8؜qmle˳\f$Q#M9672.g ]q]iqmd7}I<:]}Eڈf2$BfC~mlBƨKT4 KYFQj37rW3 -xZ:HZ!N܎cX/v}?hb./r00%ʛۯs%%C Ag`.V( G!<|D #/oHli+{he!xmxVQ7YJb  A1g5FdIE-"Tfʀ<_I{J;%(4H {ħ>֮Kp B|fʠ՞4MYUOm uZ+2xqW#^0\5o!J8@ {:uԺ9<6ZYzWfxb g(Ǣ*f&yV;OZՃ̵Zh"2*X9(swf-`8оbe$0,]mgx 8 %P5s6sE0]g42(!׊/II5z@~>$/OCEYg=0JѸ[2G, Dd-Dm)喱_m:Mp7舵&xY $Pa?0ᳳLQ%:XipBZdIFK€Jj@y@8C"{//Ԡ,5C"%-!!Vmsp:"SعfДҏ2t"36RL nqxd '51cc{VppP,*'m<sEE=Ruh4e55v{Bb8KiL-FH޹6&$s iPciMO"1eԈģnYyWb- XD3A\8#`VH2x0{Kn7mcU7MsӐC6mvLVxTJw&F"q_Ev=NPE =ޞ0 tY3Fj:&,hs-Fmr R;5R1wYts/@U T}e7qv)ޒ5綯7bX{ ؠ$\"M:E΋,bWdS5LP/#;0IJB%GdOC4心\U0jG`8Ӑq ~DttW& lPP5[gQ;T"y8¯^Br3W}`h45UDyɫأ3Nz'ȱpKϯT'5B۽{=*%NR;Ȑ*QxF~򟝠bDu0 AOcrxO>( <߮MiZ#qSΓ@ 7  %d4seTqJ$qBhbtK*ŗI~z$[xɸ\v6T%A[j$1zT̗4‹c}:ӓ!>𛄞Le5]l\ ~3\Q%wC̻[p#:g9G1GD_b&ejUHK4*iKaE-g&eIcڱk0lRw#u숣EQ \KhZh\ .mbWx{V(O8t5<yV{/?, jM(!7ݯ#0P\OO&JӅCCQI.qE?v( >@Y՟=t3?|"59NX,Ri^j|3A%DKhX?D^/3|aBu6ʳ+jT9=HfƻR  #M9OElq/J萟5VGPN6ȣqȞPȍ>t\JPe4wVuuȜ"|d^_>b4,0pC5`mhᢴB,CßKuljP!chWEy |&d}A)1s!k-0yA-R ~o=H!4T|%nEokX^KJkAqװfub`vyG+faLy $G {du9Z&-E|Z/E怛L!.\VsǘAG3eJݤՂE+\fr|R-w!M/K۶XȾضҟx7$3,S&"6(9*HQ( .KNw3w h6[Og@wvU+qh~FP3.y\dJ$@t yUKҜ]-zZbe>H̝2hI,)e3iͿc04=ݷAml֢mA^Wi[ ;ڇ}7k"?yX-.C=Vl 9_\}8GO:eXJ<.땐mbS,k05#yG}6{A/mr #+9>uo|vKC `Kۛ֏OB3&/|E;8>Ž ڿXh5={ΤFԸ*i {>Mĉ٤N m˜9^fx9BL?)%,}0 6ZƋF=;; R-S3{g %lQ8&9Xsx `V(K;7Ms5Sq"*Ȩ|,l(!6+Uݩ\w 5)5 u,ߨXr a XFiM@( 1CQ!BB!B!Uj2 c4ʮ<3kLOuDy9moM[/lc. V8QG\ ĵ*MЩ KNÕ4idsK +tFoK^71OH*"Rp8f].ҧyO:*DG.fF8~/g DBx:l"}[VPhVXYtZϨ0#!eRo=K\Hkxq&ZG.=cG]N{qCf'+sr= r^(d1N=]a2c4..mcO_rv۔pj˫r[(A|{ŗjc#o dKT (sKuo)"w8,ڨA~N3RuuG/xmD #s6yq:;HJv'o1<~ O @zgm!;5d.ܚE B请%L7>"qd~v$a^1X ȥM޿6h~?kU '%@즕)J\^+]B+KI<7:,&)9N4ߨٔMh4AzjPyE~ P,com}魁%-{/pƵ~߆ DBF> pa,&pR T./.Zs4ZsFC˷: Ij?@Eb3>qƑ`G(iՉ<`Z{Bycc*' w`ugk<!)?L(4|A~ʛ01hCQgc;Q-1Ġ%H]l*L&m۹Sfaq#UM)̬ 6 VN!jD2 #2K-6u[Ȓɦ|+hju;S=X_$EFV,gS5v|d̨͋y=܏b:7Ꭻl5zUxmcAc{۪s#Kɴ/'8 jFiATcÄ27 Fz|՝D 8?au@CZ~wձRտm;jʡQ'j]4QIJ4D7I( ,L֍A :lޒTO&O߂E`$YՊR}#Oa;`!f*j!y{0ZpO,؃@|o uA~z  VZwSO#G@h("}u?