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  ) )TOp^T" ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.636cpu=3.929gc=0.000(/``zlgwࡺ9O˻`bwPc= $x7qHb?tZG5.롧d̮?%f @UUt 9 _q$Ow AcJ8[ qaMsg(/ _pkszMW,\hE WY>}FDIy$TK%ӯ69 ^KNXO.u  -ݗ(/` 6ZL @k OO[KRY!( 0 KEAO[ħ9H.` @KcJ{i\LM)[X l{GsN.Ds ">Aݺ .6t-$^0- ."~A"d69-K4ʦ۫{6/R]YbSi=,й F)}UUN9WI^Z8!с'$WA19iOZ%ͻ*UJ)yz>&~m\]%)! /J^Q+\G:%U}upaBHhR1 hF`1F1D`@LJ1k#s\[&5H*F py/9_<̑H0 ܍%6Rρa|e>%S.уҩ':2PE|;/C2ӐG%7O?|)5FsEZ:G8 &!w)8`Wr Ar)ЏDpM[0*sf#'+!$L>4ͅA{.1 xؠTab22015c441e1ad672d9792a51c7d065c8ee4b48d110a6572af0be1c73c2824ffea82a089f944503 2dac7cdd11e16d13c849935f67cef8b8fd095f4d dbbf5715d35bbca7f0c5d9d5ebe805cdf29e79fc 77f92917320bd86fbf82d09474d645e611d34423 4f4da173a20d04641fe5e288f329cd7e15f8c20656695301-09b5-402d-8905-3cea2134cfc0 $O HOL-Nonstandard_Analysis-Examples oyOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodiOa# "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b fl"0mRr۟0# ZBq tS4ҥyna`a s%,8Bʫ4Qk8 <-B{oK""-&HHS!gmye^8%3iiYʴ8 [ۃD8QrSjve" LyP4=!!US\Bry&Rv{^yH9673A8i3múks =CJω<,>dss53|iDXTnٛ ׮ܥ+fgWխ[5TVaq.esrvݑwojָg7}̾H!l iԋL$I XQ)a89 " Bc2H,̖G_b3 _j4_'J2 I JbWÆTDRFyBc!;}&X˦LX\Clzk/,LYQHWwԗ[L`Qc"\xSDYɼ΄&édH7/jB,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/ ZrUU5SGYƌ80 ۰XJM '$(Rmɯkm=G& O  D>Z,džM~Frʺ6 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]\˰ؘQk8 <-B{oK""-&HHS!gmye^8%3iiYʴ8 [ۃD8QrSjve" LyP4=!!US\Bry&Rv{^yH9673A8i3múks =CJω<,>dss53|iDXTnٛ ׮ܥ+fgWխ[5TVaq.esrvݑwojָg7}̾H!l iԋL$I XQ)a89 " Bc2H,̖G_b3 _j4_'J2 I JbWÆTDRFyBc!;}&X˦LX\Clzk/,LYQHWwԗ[L`Qc"\xSDYɼ΄&édH7/jB,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/ ZrUU5SGYƌ80 ۰XJM '$(Rmɯkm=G& O  D>Z,džM~Frʺ6 CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  2 9 Oa' >HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`}f_$ o̎)nxZ ďwh4oj`!{USUX< ي3b\MXpxV\;22 f} $9;V8ٕ+֝ߕV*{rW2JF˕'ClmS*z+eiQf`0֊& %)+Kˉ2oU"*SGe㉇Ҹ6BEιOUDɚ258\G<)yڎ`G{1DCm-47Cqs Ľ)XML4q)%5SZci ZD%F`+k8JXiOmrF<޳qR֔P!hFdd ps@"IK1ǐ$`(7SZ4QZlD(85ĆrLJ Jo%GahQ'}a:6EWV%PgN[$͖i. +C/;h1 th2 7ynBV p6l6a/ bTSGP=-'u=95L Oa# fHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=l#/h 7KdS?nM%-%-x()'A1# ۷q:'Nȍ@Tc7:uk)ȅxzH܆n]Frrj{=Ӱm!ZŔi']R䑠 MDWNLY:1͘Bgy^bmJ4hįVXE0!S8'N*oP(TTA1f;Ƌ)!3Skzd)5HIþ=Vڈ $n9yպE*}}K[D&vfL6xTjQ|:pW2:#I3ꍰiAoDX>eOP)bD1H,5.$QḧUFP; FܷMC#~JGia,^G4_+|FD0Sb`0SE10dRyɘ 3cCT&N-$/E"dJ+,~&fTMNES2RCSJ[BNR+B!k\*kNH ُ2,q*AJ)5@n# GH\@J #4$y$wЅ6'V8έztV8Q<QJ97^yq`;V帡6* &]y7g^_ʵ0k3Ů\D44/D 5EWb17N9qS.+P1Zc6]Gi(d-DY2kk|UQx8:6\7嚽-|}d <0W̟{c  ,\yvgwl4hU 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(/`fl#0a{sbI&:؂MfsSPPrn`` a sٺSXG xWLsäWR(.iZ@:a `Ӕ"|"AP0h<0x-IĔIZiHWiocX(i/D'n&]ólj<$VŊe3i1{/Dcϰa=HѪus53V X) j(0URyށ%;40RwͩyUZxny=ِ:Ѐ LJF%"$FaЗ$_842qpOarQSsZpA"sp0M:+̘ch2'BpEUM~t/6\V)]Uὧ8I; bcD֋$Y?IlDac,A:QXjHj41 tK1+@P܃c l̑%)&1K|h}'UeaK1aA{OERN{w74]{́ȴMwhF<;I$Ǭ ӊ%K4/2dI&2y eT/^+ƞpb#Tѻ>byKk3>k93R,kt ?'E9궥j"(%VZ)] C4=nB6BB]Z8du"Y,mU+*VЉbZW j!j j  @\h\\8붚 QaBK #antR uaJ޷،_$,0p1v(}8>s] 80&Քp2҂!~}0Y2yT T:QLɀDY]b猝3kō1}@X 3dvgN*0 sw5^[jnqc5V+a#Ї<P><$ #I dkIR!Hơ͌'PxDH.SVHUk)ٵ'"q2y9lj S(X9Q}'N\7 z ᷞvn/ @w芙@y'5 X5׎ 9tsr!AP(TarvoN7fMŊ!$xeccEyGq* Ult݌1{)v^ۨy+Wj)`f>C|ܝ{hByg)Ʈ{si:MA׋uc$Q.s̘]H:ѣXz kX]UL8w_h &d"B`E$<6ʙ)g`b*X1wT.mjj^7[Pmuj))13;!xC„2SQP0e뻼P!WV[1c`mzc*t'a$X3N1{FЩ&y 3(+N\B^}+10x>]:g\Ҍ)2׏*mkY {D1寜2 ثNxAqVkؼ- q39=\ƽXfI6FIGa ZɸsycU?Ɠl 7NCһ&9QVz'nĉbJdX#(Io)q+3ҀCCU=wj'PLij֔cv'ByGkǾ_OPbO99Cas+ۨ3^  0 cx\}4@PdT4`P b bc:lKٝf,nsH ޔzAO/#x"? WkHa+A # ` U֐7a-V ݯ י BݬCqhr0SGhv΄,,ػ|?H!iE16ĿmzP"?;^9NLJ]"Mfjkp UU~H;ot>U|yNHC;xXOpҠ$(PyҼb9QֱȃO^ٽdDߴFh7R-۟G_{(0!qNABԂs$}\ XgH/v2$&`zFT')z[Sp4**Yh7N.QT iC)\k<{u wm9@:#vH{A~KS^"svnt*0m|`ڱfUiR~;BE(]#ag y)[c`X[^ql^+ۣKm&-[2g}*sXz)2}.UV*z"̶n ,$5yR@M3zJI}4 {.-y =CUU݇thN?=BOys}x&[ |QNA< oq:u`& = JؑgEBE\/ ")!~޼Q1yg! K2?eΎ1fDt`$}tC᪃4h $kus]e.9l:A ܉<|)8 wiWz~tJtoOD6K6/.'-xi^ Qh# r<(VTb'0"-qJq= %2Fy9E$f$y0y`sG3l<}a]u@鰋kB('XGF閗$|%43X-B zPڱvr12*T>Lj`mpvH{f*n "6d'6rtK9՜qo*09s 2LHЃA襣w/L dݪB).X/VԎod_|$.5@Ds~ |"͓C1Z3 lsLo͙đV"2h߅ ba%tg>,*)O,W~֥.)^ZT<\ytԲG0&Ĉ7H&N#7]mrc 5;I\Sb>Y8?Eb 䛉%PD\X4Dށ p 0y%]}걏){Xl UT4+@^jC7be 4C2s'MoNYV>VLb#dL~r WA9?:$Ap!PDm)(gHO{dUd 7=J ZZBCfRYwg€ZaR{v`onj7'%Haz<"ӛXȓW21 t m'i<?:y 䑯h)僺Hu20b7#YUX[9˩> u1D,,i×JJ'e ڝ@}.CnnId@_49OMZ]|%FmF:ZڳYdyih}.Xt&`J\?l!bMX#ƂKFX(󜑂d"ky8 `U*6):#+%[UWz%եWYv15[gR ꖌ,PM Bo6% Q{!acǚ"sdd~X T,o+qjKаuʎ}X8?^ܯi욭"m}q"R()?saTʐ ~u+(H3~!*"3~*XnkbiHqh>AQ'1~+5 [\:uDYl4j@:!MZ*p}$lZ:r Xne+xQ;QSB>]/~OL(*XZ ᡗ!2Z@ ]8kø *N$9}"6U J*Y^-v-mTd^2ք*b f ^ه ,Ov|v1#R(n.!*eC>`iA0v?=$x($爋46x.tnd _LÌP-J}X[_!#_xyZ/yy">^'S= ܄cװl) #b/)-3:(~@Q8i$'i+f*;Tscz}bZpB $ޕƕ'oy6YFo@+ǿFl'Oq1M\~(PFL5P`V%j_yH8hFY&W˂J[q kFMIt6Y 5֦J׈Tʀ} Gs S厫ռ$9F#mY 炴,'(3IZ^c,|Upvk#ghj>K.FmfD P'7phXWJelP{ÊG3JѠX`f >#;6zPp7}0T)Ɣ :M*T0'uJ^C/ ,zFIٖﻛtBU M"K< Pq8$dy9"m;n*: Uj y3\g&{W: 'kI:mW'l~4a) \Xr0AszhI%,ui>YWoW ?(Zn3q0ڃZ2#Pu- :uB+CBیl^z8 V}Q2%- m"q!g\-hhG[۬SrXNJ06N^Ytm>Ambכ P,E@ЃB2Irla{|*V ~2c2+U;| ݎu[6m?rSђ`5w.˴$AB}O|bc?ÁonGt;k<9}>h2yLX;hA,e%AގOhfgtUeEHl&,lyX|`x+#v;wO@=ШKPcfQN2{SȜd$#%$M/FQN$ 2MA$<>TFӎ&ѲmΎ2ك{(t FeB#2ֽt.GVH> 霥aQR=|y[&*sI@Ar'-EE}J~)b]EZJ5U\ F 0TA4[PWRJZ/ =D38 >6~W5_"a{ĩ\dot|4 uc -lT$czs*(%l~g8lH^Rjðm(""b iK8֜AĜ)VC%*G1b 8Ty JRi֮O+8qB~y1!.T>ΌK|B[UIrQg]вSr ֠^sZl% 0%A+U"ɋDL*2eY4]<\tk^P BECݮ`~t޳G ɳI=:{9Hq7&oµ `tF ͣbK=FЧM %X'dJVJvUA'\;QO;C }m3#-($֡:o6 A[IT;"\ֱUꔰ5ل  K% ܤ휚*j>/g>6K.w*st ,0xqQ͹BBhxYl<`oj٠Quۢ?ʩ$CUa9DgpTwT.~HOSYBXqB놟AU^<`g '&4%#ˈT8*IYjΒ 5M} .2YrP?m~8`J!Pa1 eε7oh^~[Lډ.Px= Pm!HQvl@~lXCe0kU91q1^dJf#x 1Wqm31ѕu:nvx(B$DyXVS#b\A)ё<W& WcMRJH!7aʹEj >U%xT,Ruj\'_>NAi@6 :=3bq^>0)xԁBY) K*@'# 3&~K7]FQv`!GP!VS)5ilK`+듍R @`:v EHx̓ǿϩ$t| V ]~-7]|._ÙQao<gОZ9>m o?:\9ҞڽMzANhw-0ެMՃ} gD= ދyoz^jI (ph inOQB ?l+߀+33sUgfc_$cL8I/5Pf2&Dz,"F@"T)[MkSҢB!ipZ(ZkwPMQ #)Peޓ`Ս/Ն1l.n8( !7,{^F/^R/܌QDqcxQL1_5j^l7L8yկ-d SQ)n,eYL[AxQ___WzmkոXo7EQ(S/"#̄P'~l24.9Jt RxhdWvu}7]{A_MG ø/{&܌8qm ZVq#=hchFŬfhk鷷"׮ _uW/;sL7L HȬ)g~쮙c+t" LcHP( Á\*8D G0b( B baaaQ6)ઠjH&TG|v$4ĂJl)kFN apK PqX4/1 |:HL(7ehU 4uHhz$6MAJ\,ϕZi7}GkgZ͟w@qBP4/ GZ35Xv3q/i2U( @WI7LQˉ߁# |k~c<嵣6lg'3@\to}IGdy0ѲawIbP V0%[ @Z5$&GX'c{MR7tXjDW廷]S.c<8NiHҀ7FDrm$g F)M-ԏ ⴦ =um)&>ſ]t@!0풴AӶilB}de ^d]$fKL FA{)aZC~-I̜7-)w;&v]WjN(rG_g֭C孭  3^GH 4pW]|QM^@0+ViTIiڇRM-F.D eOx`&vo9gfKoFP-֖ x,'Ɩp>nyRb 8n{@C;W /N7@-Af2a` C?fa8ai7xx 3,O*ŚUNG2&a96ҖɊRytQHh)RPdƣ8^#L%I5H -6 3*1u`.%pd(ʀQc)s(l,>[:k>F0zX ١Ֆh/E [MyCCD/bEzڀ. R"gcwV&s%ۡ|{2IZRLI~QraLI(L0 3cХ"C]es[<-p谄Q,y'ٴ6H;ds=@ P_ǐtɛӋr"咷zqxHf RSDgk]޲!f_rXz~?YQЦ&ԅ}V9},{+sR@>#*1Jؐg) <)[:r&h!^RiNVwASĥL)L×G(cbA҄$k;-ڻL,^x؋]?EHgY&a|)L*Oؾ4s-haBꀛѩu/LDŽƄ2ǣ`hޥBf݆0]W3"\nO)vܤFUR/o pd_y-C( \z2'3/`m6?4ڒ|a <㘄 Z4Џ@yirR"a>m\J-IgSd>"A C7UeCckߕ/a 6)uX1AH~}v kL/.qWR-Ґiwy~Foh".9 эc?q>H.:WshDZnlhr%#Qhȟ}7YnЪYk x ,֊kW N\ ^JLd̔H3{pyX&E&\2y蕊Hɇ< O M7CИCD!m4#{m Xd{m[:peaeCSqLsw%PD)Yes0*`]O$e1(#s 3^-kt"WnCp8P[-/p>}Y8.W㺸Ƞ/5qbaPT'ڞYwqIM/g~j5 p7k=d pP'(l;* DK:;Q<9h۞qMH>;, HB%I g\?|MÃ9\QfT74mڼtZa/(ŒSD숤_M̘flOd29:Fsɩ26Ɯ UJz;4`k.(DAq) ix_#f9d ŤBb <|P""rS芺=o趨eg'U)dD~B>OvbmǙBS3G_\G[uX&`7@%t,Бf?f/u(iU 6s{֘OIJ>]eVxV @LlN)^!38[2ꁦPҕM<q1M[tP~-*J O}1eJٺU.?UD,OBaOV!R $v'F8\ vr4/P N;G)&Vxc%ʉ",Wu/>!-o@;g=\?T-'k٥zdGGz[7U4S1n@V?*VU{A'>9CWp%㞺c 톣U\q78 SZAgEPZyb{ q>VKzU&]~~}]BxLZzv4,}_:_Ob7HFa$ HᴬJf= j'9Ofib:!OE\D]?pni겪]sX=PTx#7jG Wg,E{zŶ r]NBv@X{!aI@zb<ҶmxE= 6O kN @V&P\y ӛ*MԈ?~_@GkTAxfrlkdYH-0@a9U8`rwum$<iȀ?>, GRHSWnLy1`+J(.|m!D0;aY)s>v#䭥BZQ,J]d /E.1paBI `Ykq#C " WNyƻŌ #*J :"*Q <4gw~b DP]Ǝelѧ#G$O8_~.C:rq_ m6g)$0q{q*|.ʞF ?(Wp_M'8凧k/L%swӹE?n4$7yb`)7! "T`~y@@`YɋЙBdht< mzBR"–E",y6jal:HUх܏sq^ e)4_4BFRSXq@&>j~B~(>`1ۗ%#ľ+?Ҝ{9aRx2l4GQaWhCаg ,J. ̪/ "01hE lj84 Omc]kg!ĒXsLpxKEX;@?Z@$ &BԉJM٘+;aW]x%@)}ŊY  *6"MMο7- s7Zv3DVoy R1'jWX{ؾ{oNE$Gs Q8Z`V>bPtMLЌڻN3&MqO,5Ru'Ĭ=Y{\F,K6d;­V͢ a QE-@`(8(B1# B! ;Uj⢄qTFpG 5ST,{H.9gb1ld۟E*Ӫkh]ZiM, F>jn78<);aD`9%)h5sOn^XUY)* -l# J;Ѓ8Xf,>ͣ*Ӓ>.r:QYD&}"zkk("d|dz 5oa{#oΈW oU69w0{0 ʑjK)4oG覌쏂~40PV!w",y`#`#Ul9?3,acE/Y0GN#V0eʼn!ںwl0֋eh jR#uw;(DԪ߶l䖬1ȓ.Uby `l5c>֬(>-I9crtgAO.ǽ5ZpІLĹ/nyƆ{a<Rڶ5jgbFӬ]l6 -kNujs"M K*lWnRxA=q,᪼_d, WvArc紁b,z1i%=*2u2 !܈fbfR|"5ʒxmk 4L m< (>n8FzU}@2tG>EjoާY18O쪞c7zqyuWIXqHG9pk}C,nټR:QЮk·@^O1AT;~d^5y\GbX ^><)6";|!|  E bXO6ޯΞyf鵜IN׀Z۬T&CRN+C!齀} y!\09S'o% g\>!'Y{QXuBἄ _6,n'ah$g5|Dv& 棋Xʸ=JݺbTҍ)9D Uq* c>A")LIqd V-jՎNj斷ⁱ'| @j2aB("+==A#cp Z5⢪K1E-MfSU!@tG>ˍ Tr6bwKzNw"&,2{s*{E UX[lê+VEojq28P'zV ./rg$LziPkP۬mVŨ{#Yj2@V(b9rDWx'lՋjba 2D_5"H ?p: ~uBU*_l