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  2 2KOpRT ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.700cpu=4.055gc=0.000(/`Pel>9x?F#33gj☕‰sI$E{׊f>Ipp;ނG{~F( |v]ϡoC<ϧ۬j P 1%@P79T1w(/ _KsZ47l@[a?X}oy W$ Ze%pKGX&KǺrҖ(/` vJ @k OO[$))QEQ0`@HE@-i "4x$bs^Q%! 'wW'] C@ ]i (uED]-PZ,0ER%%7=JӮ,) 4 k/Ċ>z*' 9OUFzW^m%(s"QLr%tSX lp1Փ䪙\f J] %vrE 򔚛gΔϺ_u_[]q*n1Tͤe p L6\81DH D &SZzo0}X/ {0 84^|(%_@Ar b/6PxE}*K4ϐkL뎤Nkz-%XH24HaU ~x"H:cCWft*٢+b<8%ɸA 2-(rGy!sC]ECs?@ s Ɓfa0bf429cf0b62495825ee557994420c18ca40670801d317611e826e9cf4db1743005797fad2ead3 98042735e6ccb24a3163b6450a8c77d21c48bd86 a9348578a6d3bdcc791bc60012afe9c9048c3b9d 1cb45336aa3f0257f6e6e8e30b63d034340ae5df befc4374c3cdbd686a4e19bfda7e15cf74173ef06d413924-1540-4736-879b-d7ef708641a9 $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.thyprOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodqOa# 2HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bM ffl"0mRr۟0# ZBq jr4ҥynb`a s%#WaysDTJiy+B\g M X@#L{LyZi,  .&&ϸ%Q>QpYdyA= 7%D 5.]ijlj|+VܮPv9:kBǞab{B&)Tj5Vi,W i%*!ݛ#yZ@tBKi͹ AdδiS|Țo kOκQc BJω<,>dss534=-Dĩ8fçz+RҕZZN9LQte99egw6-ָgz{ڷzB)x)՞L$I XQ)  a89" BCH$""1> ϦiGK_!܆6Ytj n"ӭL9~Rr"a'[UL#-d>.'Gĵ Bz}S+aXp!}NŲqGM`enw5֐ ؇],>l(.gj)d<-H"ꋤ[;jI EjOAaFQV+ V ><WTGy10IXX6X}.oV׿Wd9k93<=hzj8ˆdIҺ,0)d(e9,`,۾\0*T!6HkR4to1f$O!EfKjkt_bI͝Z/+uɲT[KNb5,6+ր)UM hsv5P #CocJx-%js"koM[UgE,jбTE9X6uWUly%#q <,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]\˰ؘQpYdyA= 7%D 5.]ijlj|+VܮPv9:kBǞab{B&)Tj5Vi,W i%*!ݛ#yZ@tBKi͹ AdδiS|Țo kOκQc BJω<,>dss534=-Dĩ8fçz+RҕZZN9LQte99egw6-ָgz{ڷzB)x)՞L$I XQ)  a89" BCH$""1> ϦiGK_!܆6Ytj n"ӭL9~Rr"a'[UL#-d>.'Gĵ Bz}S+aXp!}NŲqGM`enw5֐ ؇],>l(.gj)d<-H"ꋤ[;jI EjOAaFQV+ V ><WTGy10IXX6X}.oV׿Wd9k93<=hzj8ˆdIҺ,0)d(e9,`,۾\0*T!6HkR4to1f$O!EfKjkt_bI͝Z/+uɲT[KNb5,6+ր)UM hsv5P #CocJx-%js"koM[UgE,jбTE9X6uWUly%#q <,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,%1ky8qRy㍠"@ڇ 2P139ƫSK5@1eJG&R4;/ `8q>PPAB7_5G4bT: !754M*{!͘lLI! $Ԣup2et F0#ga(32:}<˸hSĈbF$Y"zk\I ј|wdoGiZ@:a `Ӕ"|"AP0h<0x-JŔUć4$+ 71`,ߴDD-V6TH#t '6̬yBS2czn*kBǞab{c%RRQj^KS͕P`hzmykAH f ۺxn]s  yqPk"g873183mڳY \tCJkq<Y|>XkgkT䈳7~;s]ŋwLVͫXBuSƪʬZSfZq xڤZB /L$IRA) a09" BS2IcOg+tGh=ՠs$Y 0(Jɚ፜{R4X .U0"#hOI`ebU 2+=.DfmRM\'\ꭑxao)mOՎ[e 2BΜ%uk‘]ƜRr o&4)R{||Ynum,E5xE&[;tr+)HI#5'Gépٝ]AiwQ湿ـrU=8qGGi4WdOR3* ɖJG#jX化!z)潥Gh#1G+ĒARlEܒ&jk4Xw̎_ TOd}&H;LʾBjUgKhoiaX%LD]K Qʍ9rpиJYS?PQ@`p!۷1 K6h3CaEqj8sUZ"Ț󔥱IEc$PWPuc5bGV[{?bka =^[@|B gxνAvX 坥+Z-vNi.֭1N(Ckzλٽ7uGE)뭷skȻīXyyTasgÝQ./k3%C6faF3cwe= nB6 !aBҩ̨Q(CPkrnmcc*t'a$Ug9{Pͭ&y 3(+NsӬTM5n}GM /ԉxhe . ~D'Oo"F!7%`d/Kլ`Pa^;z^)k}\k7% -!M%$6"as_&nzSDQ'VfYfhFR"_  }SN\vJ4>U}IIrxi+!G[7,h ?~W6P Bk|Aٳc7-}lZ9n3N˶i7Ҭ\舊hU1<V0/R$l࠻DF&iC|yZ/뎘Vdq(TDas^C#d8 1' (Ȯ" )$D ׋ݐ&V=}U*(\Rv>3K>fz )gS2c]X/KUq쯈9Q؈%ajjR+k&<"ۗsnZA,(`~kW!XX꠩aVLmB}y4OVг|WU5i9O!М%wpe~#}+YӗB" UɄ3[zSŽH A~Qn|Q֛! / HaF2}i:ufpk]iMyh5n= J?IiѪOR0"& Vg*k|u 7>L뗦5ѹ?U$6*'Ğ_虱,{2KalDҨnE7#(h r@IF8h1^)Y1&fp̓[8:яdSi%/^kWx,XGۣQfuȘX"-ĸXVKEm֢/ ;v 7=͂RYH>b0)>*DnU[gfjh"v*+F{l`ks^0]RDXԩgnZ#Ġ{j2'Gz!tJ{%! [”}̀< $5DtPiQ'sCSf~hswESbOg9CD`8DcW?蜖}Ӂa&k.3ƺD*5 Pφ;D`L (ܢlvQ &{`~,.&2^UhƾT#db |i> A&JyBu`SReB) ` #C<}3 聶U(7F![s7f9` }Gn1h;]/ĵa,nτ{ޣF d FԁAe* '|u.Z$=X-BWT!_DQ2CkS6mi=_:7푯ڔh-ƺuiPKįT7)nVVrjL㻐6KjxN[/{5%'ɁjjOi!*n@kp] !֠hLL"LjGbI$ɮ'y)'yxN<ta #tzA=ⲷɢ"{5w23R^-V/ D&<k^bQk-YTrw_hGA|!OW_mڥ^XVKj96HYӐuR>uwBQ"sOC)KX'؛hZNQjAӨJ#5S4漱A]?,/-  X\ kd;|+W&'Q @"R,,M_Q2i& 6C8lґJʊ*D4yuD]pLxun(}6/~|6oKHaJ ƁAmt4D!Gq{Dߚ"VsBdd٫tVS"7w˨7-)[A3іCS =!ï@h8iWsS'c[{bqon-t\$ pV)Ô/*\47\ gUŠN1W_X .EJZa6Y'n0~+ck3{N:NI oj4xEyFR Dޫ+X9kβlyc]O|@v*O@ũ?c;&Ԏ0-ήSUkRZ5प.7f= pfiGY?3TO.:[8T ˖ojp{U5nzHy֯ն}CV@R4UXS3xzni`@檃x;MH#\Jh%JrR HӶx^x ʹ4̅Dr *mC `Im(G֫ ܃ 4mEO#]Fnh&&s90U!꘠ l3`z&!bBG֎4j8zpە^O)Ŋ!ò.ἶ°%n]`@9udle_NEMI&g 6G롴q3zEH8DA% INm␈a7~xW K%%i@5+Bbd8(8;d*y]9icC,Gг,{̳v%} bP$&Y'; '/ikRZsA{;µ4ֵ,1>3Xd8Jv -/NN:ieCĝ4ù 3[WBYGY &| T %׭wxu z@#]4S`d1p0> Z?`ޯp WU_=G9"TC&W63l$ |n:GeT?: ض(nf9 D D֡\   Ӊa?t)ħz(jBPAv*lKa„W @9觩*Ke"„ewL^lά n@>Wy)s Q>ĸ1tw@ux2zgDe#3It1$&4dU2 }viI U}08 (3M Q,^C*!U`^^hnj)3(h^a=,Z7&͟Y73Q dѐI1 bX'z8 2dJ6MwP?wV)AH"v {G[Xt|Be"hif X@re~rk%[I`41A4,VbiE{}!*P4\ltk@^C[8%:Њ^~(lǓ <,r9Jrr3mB1ySiyCQXEw *4_ ﻃW# BÅ ?Ac:>/^|!z(94C+V9bLb&?EIw :t< ?k&pN($]Ū&G;\w"+O^6 l: E"}OY{z0KT^dP>fM(/]kڽ0w0Gx_m-3 IWRvZtf %ofxrkIa*NT˺ƏU:{]ZJWQܱZ\x:[3~yە+{BKǗM^[J%FNB/ /;"=X(; =wr]pF?\X;Ğ6RA/+H (ph inOQ~pVOP6)3sUgfc_$cL8I/5Pf2&Dz,"F@L2^e;qФf)-jqZ($ N 1{CkM)J8a$%r{jKxU߷FxP &]M2 خTcAnF (s挠57s々l2]2d)V N+*J1˲Xea̴ ix(x(fL- $e[C-_ڄ )O0@BɛLG^LI'5-oӌ{#eL/h4fL3B)IySB6"=‘I/"9FjxT!' -9#rRf^ Ct)=AfF#w&Ɂi(E*xSFFf|k$"PukJ֮0@37/#v)xpLnYQ4Yoiߍ1C#ow`Pܶ|2)[ylnnn `:+|$c7gzVBnTԫw<1"22LI<02  2Q%:<<4+rW_po) .omZH+8qm[A_ŭHqUЌ9f|h"a"a\r$dV`[m˸u}<~}z1g}g"o@6v]-DÚ3c„" LcsH`( qd08@ F0b( B bAabh )PhJN=@*crTzb BKXSԑlw$p?sg5DZH撹{bF7jIinQ' Ύy}Db;%ڊ92Oigm=|P s%&UZU5Z;-PklCj.TptNJQ7˜2o{D~:LOཟ KBN(\ٿm))ʼqζlgs\pQdJWzpKv-\)3SK3OB-rE*L++Sk}IG$%?Kw]KC>mtHѡ^@L&FERE0~ hK`5cIq#ں:@\j^-'8v5Hk O! B\΃ɭ,[A`aOv2K`R*,8QtjoDHbfn)pm`_ī!)}ְ,\FͷFCl^3c!J(%R-e&9J6Rzd3g^"Ǻa)e>nA}+uvz;T!ۢ^lݼbӍPk:kSK[9Zrьei8}=c8ք~c|<617J!d`K1Kġ&(ScX7ڔ BԺHڬŏ0m}z UA"ZHh4bS$(#tݙ8^#-KR5\8i]bfkbj!+ %-p? e\BFyM@{Xu/S?7 v8 h[:w{7Ѡ;B>v/l&׆Qq0zȻ!^p߫U;N=%d\LPRyv y6Yi0&nLm|eg OZKы%i\D"9#B}Q%bB.a;Zp"E0<{r}J$4CW\v:dk$EVlEEv_@1G1/H@orٿQ]N`cMhuA 7m݋adVh;c%iVK?PS)kMϪrbCh.eLqj`Ѫv6iN[LQb/2 +ņYE14,˔eخ?{9ӎ } &8ZaUeyn LRWR}':i.x׼/EW(dU‚K߽ו:I(^}&ĥ&MXs]g|y <ae_@s,`6Q s7|aHDR7k~<|[:3m.w1#c1dQ'%2ӺX>RP{{H5wN߾s%!(lۃԼy³z\k҇' R[ZQĕ$ZClPHͿaO0;'ڼ\6sz]hDp,7b4rM1[فBD>%3] ֊ rxjJPDvCer$ m|zUlAo>jpkQAQ.ܾYuݩu!33bcl{Y!n1[$FՀmf಻;=#l5UpXǔ$SZ M{UClNsz$V[L0s p[5rJ7YI\B /W]32FQ_SGU;.M:>J;2q݀#ϛXDre⸧+x2ƁQ, EdDzފ2r_K_r[- wj*!C&M ӻD uB$ѡ%Nborvqи6,Z- 5H.} ,2Li{XLU7#zC<`VҜe0 CleFɎs3,f&q*m\c+%J g' )Y3ixBɆ0}zibKl߆ s ""~A<ʩCxAVBd\XH h{e#nc&F>p=MJ[ qbf8+ز2(>6]rKzr~ve2׎Z',ê:wQnpfHK";ĝeV,=S0@d7! ""Y%B9EjDm/:s>jerYJc^_}%n ZF'&u0mَZ5 ipOJka~ϯf' GUHͿ+Kg`Qw|! 0Ԋ?)R` S<:Xcܣ0FG ]CǦLp[ 墓uh'yQ(~"`1X +}5:~syCf-m@; lѠ .Hh˃_Q֍$ .#3v;*N|}) obsI~kZzrqɩvHt9C[x{bC*9^ !<ˁrp,5Ѽ'i_!.jO`qVy$ (}.Rhp.o*\}wް[&}+v4}"gS#`<,Ɇtѥax*szRa&D.qYI`+$%K ob]vOI[\$yrnsKuYE]^.x6p *\y=RޅhJu뫞WEumLί}   I645J8 00nb@#2&0s"@[LV'I@VJsǔ0 ݷO+ېQosۘͽ_h5W':d?h-#W ]nkV, 9 |URI}!Dp蝓K*[ƥkat[>G/'~D0wIy3G``FBˢe-mw0  KLG `kڞh ṣw_MUUDDvEyoQ?:Cʶxv꣐ַr:cY`0 02"|ɗ̞̩ A^TVgMѣ&v|7n9܌s3}\%Ι7]Sw-hp4=x,LEL\dv_^R|$h4daDhH"ԲHyILXe<(q/ L"RtIű0ʻߘߘuǜ`X,YI󨢥h͒ a XF1@P  S aP1bB" BUjÆ!݄ʍSc션B{ZS93q_c *Z {?:|mƄ5cQB U?ڧBB^S[:n`5PK]S鑪duGhU 4̽,~T FXUiKCao`RrQ:_NdZ? Bq-{[lgzm{jU aMoޓ7'&#vXd[LK)!s/h`"9K|C20ӋNHjE RTgKF!y6n}˧s!VK8``e. +h{I^SZ|oǦj*H*JHE7`*J2i2Kr%Slb~˽[Lфюp}n[u XN" :nN`|wn; ?-g !y.Bi*Oa< D&(E`y=%m{_:ұ3+f=pa@6=ÇMP}//mfh56 uNe}{xқhYuT̒mد_tJՆځvA̺˔Ӯؓ!ץvs;iRʱ9M>gq .c>q*[Ȗ9EPnhv~uca#6>a_uG jaLڭ>BWq[-?U>?gM)S))@yqȐOQ"n4;ESpxP y2>𕕙Yb 'T췀S~Dт7y|oofrآY0 t[-9H5ċ"T`/+@|5XAYt}tf Qrstq2Ch`G<=#XL\H=! Rt)8T[@ 03`) :-Ho5K&MQ-uxCoT6m۬vv]ڔ`Ssh^uPvJ /?'.ǬA&v%%ͦ8:{GسUb=Y0`W|H-.܆ (!h6Q)͢Ip~YHC֞}Eb'Ǎͯkc(K:_QP4DqQ ptݟf:($82aEK&v @OHZJWR`Cj'gk${=-1q]wfQTS_Wr}AŢ8G]'rߥRG:#ۖ⺨GqV s\!r(h]"!i-30U;.gݔ .o9cG:.id#nxTo&m=UT0S, $qed4q ,z?yRFeܨ6ݵA`[oNU>81D9_Ãʸv!cʰ%VER4ȡ8KPrD{+LJ9Pr &-y55$YSwcZJ(ZQP+9A؂j9drdc> V<-'|(!] NlJ_ u5BF**V/RN0J0ixiRz X