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  ; ;BOpZT ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.764cpu=4.150gc=0.000(/`ˆ` P;BS-"ݮRaJ˻۔XxC`{k!) ޅGbO-D f)`=@4,BaWUEq;ѣ AcJ8:qaMsg(/ _pkszMW,\;k,}FqD$D5^s% $TK%ӯ69 ^KNXO.u  -ݗ(/` KPKާ66إsV""bIEAP{ "5M[@Ñiщ{xܓxlB|+tbppaB{ xzBi[Þ]nq2sMt3sis tj $INo5R> #vjVHәU= ~`Oǜ_ .ߑN߫d zs舺ą}Pl31nO S?#R`!*"MbGWd359720054c4cd31e22550485e19d60fb7fd6afaf0a12a2aec69f13fa5d0bad6bd85ace47d658fb7 79de5a894792a27db391599b9e95af83f31c70b4 ce6346b2d1a1bcbae741c9e7dd35a08e505208e0 b7ca8bfe854121dc23f2c6a6a8e98483bdb8160c ae00af5635aedcdbfe3853a64507423d8d64c83755053c19-77e7-47bb-b5f0-b619be338b1d $O HOL-Nonstandard_Analysis-Examples noOa1RHOL-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۟0cB<.R *BiICA oaaa sͬ9,pΣH VWLsä=1Dq4-`0 0ik>`aPhx}t-ϱ4ϴjEb DX]Nٓ]lիWr6(k}i'vU9LQZo[ju6Loϵv))ָgݼ%~5ji9RN$I XQ) a89 " BS2H ̖iG`I_qzs _'fU@pJ2I1Jk@+4=K*RE%^d3np޾0%ÿh)T/Z\F Rd /T/+ hs ʛc!5쁵]e:K{mP")XQشO_d􎘡QL)9hc]HA݋すجtV,A4Fr03MT  сf-gsPK+k/ j^oX#KltP؃Tio35Q 5c Ul2-ͳ"Az~G_fk;q(R 2g˗sŏQWPV2u95+Oa' "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`  $ PiD܀́۴"F#8!UU5SGA:(fc{j%KB9zq@e@%km=CE\&}|@H ưioa4ae{BslY``׵= 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,%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]\˰ؘ`aPhx}t-ϱ4ϴjEb DX]Nٓ]lիWr6(k}i'vU9LQZo[ju6Loϵv))ָgݼ%~5ji9RN$I XQ) a89 " BS2H ̖iG`I_qzs _'fU@pJ2I1Jk@+4=K*RE%^d3np޾0%ÿh)T/Z\F Rd /T/+ hs ʛc!5쁵]e:K{mP")XQشO_d􎘡QL)9hc]HA݋すجtV,A4Fr03MT  сf-gsPK+k/ j^oX#KltP؃Tio35Q 5c Ul2-ͳ"Az~G_fk;q(R 2g˗sŏQWPV2u95+Oa' "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`  $ PiD܀́۴"F#8!UU5SGA:(fc{j%KB9zq@e@%km=CE\&}|@H ưioa4ae{BslY``׵= 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,%1k?؍4F>x I7 j2@=|x PLYRI a$  Xi#N(T{[3-RC[,.'r44c1%Ffk'u4XRCʔсIta|ToK x&:D,2O#F4 ,c%%  j` ::@]},2,lI=6ZC.E2°Ŷ^AҁEi[}(o$tYD3PZ:L>FṪ/K5"Amc*lREܛ86@q.l^,dű^xֳo0Q* 2c;=p}T wrvev MZȭ?gR{n]J\&U-iZ-(! dt=AWJ atFYJJ_V>rץ^Da7IAZY,߫RĒ*vQ% ?qP`B⢹  <%jyJ1"yV~+R{5H YccPp(}49w,hB($.̨@.WSH HFgQRtSlF1%ewspHfF1`̐ٽa7;NDoP*H>rW5^znnqZݸ[{k0,yDPW炑$a$ 쁙b  I*>DI8QjQhe );cj-}bu ;Tsd.p ъD`Z;NT߉ͽyk yG-nC]@æ;Q}NhŪfRJ[Կ ΃q*Hp09;ͽn;M!#/3w-wPE-G7c9^O+vlh~{ gHsoM(,\1枳sNuyk[/֍tGy0^ w{7]H:ѣXzkȻīXyyTʽ-v=RK(f_Zڸ0KCf6.y9! 𩴙s.!*m `*gcg9wRLHz[zr 8, Rp4 W;<0@c̡/eRŽ)Q(Yۂ_!I䡵QL9{MtD+SVO1wT.ksnusǾVcقBlî=j`ِpĝLɐEEpPC'62!_Ȧ!9$L(S^:5 S]q(krnmc`⶞c-E II4ꌓu[ ǜb$9N \:Z4kl=Ab}Xba|tθ5S0egU`2{`?HrϝDNx wfZ-n ؜q7SgWqR "m20¬*qΙ{-B+p&% :M<WKTe֐7pbFS`J^"H嘺Cl_$#tR}Z:OòA\Q'ضokI+w9Jy#3cOBZi[Fg臄2IP-}ODy3(1d!kCէ3;5jDrtTa>3;:`T)$)+ De]Ljy|Әejݠ]F֋vd<YLac,0bf0n,a+$z)A6YD&; 7j~rSJH)\i.P FQc$/hZWzPjp@MNĦmS2AiRo8ٱ+h8TAʅC39`Mz M6 郑 p|te"/Sk)~t.@Pӥ2bשou6>Jg5>S1̯Fm.-_a.}&I6P2'HSy;ȓ*X%߂x2_^>:N̄ۯ^Ϟ\Cd 'tQ;tiQ. >VLg-  !磦`^R fgDnjZQ$HMM/7O7sg&dwEk=*QK9% QlX\z4y]EbgxȐ2>E^!Z*w{|)L@v;^ch4+!1NgMu  l|VVCk4FM-C0&. "ٝc&6nbݧC52X "4P;/f+ȨzASYXaQ*" )BR[Ŷ}.PˏVY Qw<)~kٌ{YK ".; V/^v'Lc-pRө#p^vbĄ~kHSHGok' eAj4@o V+4ŗhoS sAřl|Qo"u +;ФusMWUO5ySM2gsnZG 8`l%9֔ :ibgғhXv,Mzv*^S =b E?ꡫgap[$o(m'?JxluH!LZCJؑgEBE- (2&B",{3bB2 ;&F |@XZP0 NX渙h P5s)P{u^u9PԚ@^W壧;W:y)::u?GCT N-<>$4 cn,9b^>ie["rGQ)l.uNj9pHVb'[?%-Ű鮇 L-%#g 44LŠI,5sCf 8{úF." .ɴdf#,nA˗:.jkR,v7]ՄfދS!,+x`RZ^'ލxߚ]8MġmE,W؛mlȩkE,69Wg͵At S ٤]kr_ӓp<-Pdn])"bM(.r*lDWEʾTFI$:5qw<153g6Tc:4u6 ~שT%:07)q( NܧJ’t =uz}^?5űeSS,|,9PH{kʫ]@rBCC|qRk@' /RC7Vv c;f̊#Tn` CWblbܞ~౏{(l솪T#/}rÂ18̕,ketth1b2x$|פV: dEt>{z:6*bN| '+Ti1+͍_APO\(z_ڪ9Ha{7>y`M`v: d6%P! 3]@`/%~X ~tDT*pZ/0ÆyC>%!c9e86-0S<:aέW=JfS*.2>D6*Y3"i1&rBA&B_-gL@퐐!",|`ZYIcrìjW4k]@٨p7k̤h慐 &WI% 7= %/;``=M(kUZ|ǹ×2wߊx:3m"C^vP zO>܀)p";5Do4 XpBgFꔆWKSk~qy7s=o!o<]U ڭ!zNwaEWRE'|ģH!ug 8H.²Rϱ'58.SD1d)(N娪3ױ-{SV˩;H I'535W%[_yie `a5t|ΰƒ[}aG5{"!("F?\KUI*on"2##htmRlQ+^]4%GԒ)3: qttV7f1tMxG0w)uFt5j VlfB'Q3M>wd2S7\W;ƪ#  |>gX61)l%d8̪f{KPֵnm-J Q6B-*@ Șt +ʈ<)fŒ$ц@,Gݓ! g1>yB0grvr V8gGL@_ äb+!elIPu햙.d+hb1fVy>M?I,z:N> ް ';Qg$M EyvՒNߵI@t3Sw&gNHx  ;Y4_t\R>$N${"j~{ cGbQV`!B}IxxVi-G mg@Ʃ]Zy-vpuGf7f|'GMeD:X_V6,]ꕼeΚZq y*ѫ4`LY_LHNWEp5 zs\ZoJ a䖕l877~g bQ(aML3Ih\HxUruzŒ`fͿtcK I;΂Φ,иXThցm cfqe0cFp㝈LDoT:B2UX&; y?Qf&ma^U(0ĸHJ¹vzX,-u)UKjFLt8Fa|XȾb~̐Tbj`bid"H@g_ kԞ=9@ +}ҰSm<)Fo?~Q FEF1)m)K(n;qQle9 eʬu 5@!g h3([&&ojaB^)**BdW`Jt4gxgTZ/gKבT^*&3~^m 3~Msh"҃?$'>b5ز;+ǂB<ұB1##8밪WaPB4@tUiX#P_+0:¶1I6'@'LPv)U?BXZ!"<-<)K׍HAbng50ԗ sZFDsD i{]٥[m-)iZLV¹`) Q 51gw&p@qe5(RjJn !^:$Aixh`p5/I ,V%S_eɝɽ\Ji Fo|}&/;XlSgӞa|lЭzO+1=/V f7LIjhi-v҉p{ x+C2>]Hס,rZ^}sNj^7$I3@L <ȃ tMÎf+v RSޘ&4]ea:y|e?jx&>ਥZf )TG7`Ġ6U$"VCCh"@t-, P ( Ajxn±@g%ib  6=-\(:@z OI EӸh{"H.?ۉdI\kՊQN5$Ҙ6N:QGvM$e"NIlP"QkISU#F4=;gP#,ǁ\F *b#CvyX|`-م*2\~P!GB'ţ *ehB$iQ/i Rɨ\Cje)H 22 .YRwn LX0j T(; ;3=xR ٔWԼL(fpf.3D Sv+ :C * 3N}^Ƿ\^$ngJ@W OF,TB4t%`;Q$Q7Ѿ:72h9aF71B}fF (}kK/}^B*Tuqub p)Q{=/s'}-H$B(E PU~}iBm+t\=UFE9`#-!F],4'7  kM\j#EvC@̄)8pKM(&!=s{!$XpzzY7p*VD%nX)G=v^&( `?T?_A@y6o0[;0Pe)/p*& Mc^\Z4ݴ Z4 K#*(F.q741*&(fkȐ-x@a\1򰮺 T؁*wjV?L6J8@ZvbxaMmѩ@,~Ts7T\xG,_Ɛ~$͘7PàfHwdr=# %YC?@.^+, '_;t,|Fxm} hL3~ˆ"M{7CBXԳG (ph inOQB ?l+߀+33sUgfc_K@$dIz2C1&c1* UxN4)OAJzN iPXXcT 7#yAËbl)#hͪW^mL8a 'Qcl+eY,˲0mf^ "22LM5)HtRȈ0Ƚ'9RF`V4#Ty7'*d+I*)"2JcABr!gDBN" Ћ$q.=LA$hDE0".$90Ty%Ǜ22R4㋼0gݙ5 к5ukfvt0uյ꫽jnc~u7"vT M8(RbT֯f#F69W\mֆ'LFłVߡϨ_([7JW>{׫^ո̿v;EBa1PjM .Q%@<4+cWW|i[o Gk,_ھ~},n˞ 7c8d\2+H֮^ŭ#Hq]]ЌYQt^goA '2h{wwUk8njʫ?x&ro@6w 1s;Bt"IR4HP(q\â 9@ G0b( B bAab* )*9i;wJf]o$  M#цD'.HѢp,Z_nP枆(@Ǭ|kTCb^Ƽ?lAvauUv۝F/p)Be⹐%tV,V3:ȯ͟KT@ͦѦBQ21 mNpy]_8|ceuaLs7|SvJ_xg ^LGo |v<8EJf. Q"ɔz<`4m!YKWfXgzHXzM |5-a"NrRP65I)Zv}Q`xPܡ'L{"RE~fkmP5hK`UhNqIz@HN5nL/zz4.@ 󟸢Sº$1m  c"5zZYn$cS7q/c~6= +,apSd|JkoNĬfnO)p h"?~!)yZZ_gN[[ ! TJ/R\iWX(>Cp̯H͛X`B >["q:u#F F'zCY%Ϛ *"g̅,3ۢREo~pDl]Qq:-8O-m)2W/U,RX̷E$FnՒG*f(?V .k%%D|& %PnA4@/ZQC#!nVJMw2P>i3O*G#?LAC۲8"g+,'x"-F OPE#Tw!p/˒Z-BpJlU} FIs2WaSQ!O50O;M x4iSՍ+ӖnHѨy?!䳡}@d^sm B n{9Ubi=>7QavJh vL_VdC D v;1[0ɀ]A{֟<~Sg]Dؑ,ñ*MddRA6a?4`g;lƔv&"+SA3O/ڥdk{j3zqh$HBZ[+ KVk`#@(LDYVZ*^kXMS~cYBRX]3H j?HѨWUZ2}Lp)"%!з%U2-:0 "f<, "FfaGLQNb̲L:G3KQA?|Mx@'/37I*`z-P  +4' UBV_Wyv}(ř73vHi)\ j+4" fC b@/sd9^RǭHM?h+V5u^+{tcF0ân%Vz*j`1a';Ҫ;x>;ip5}繒^^\?"茮pЌb>~[Z*p/ߥ}PH؛$},6/cr>tx\P9}nQ+xmY$Av1ap ` !yȀJ*z6~Q-dwk#[u6."e6bx7 ^*qՠl(jCOirU:[4TDSfu^R7 s`fzEMG$R1D]?wI48ߊ4S e2൪h> P!~8z-E$BU^t+kw0IP[phc@3%18CaFԹ[@~(dvk(_2;΀R(rfޜ".&~,=O>0 \<&5XF|Jcw7~ITdbW~tWnVt˴(~BphDjKe-QP%`:^ j"֊L 4~SHBζxEMtX IڹTlM1 4t@BU`zI-Lo;r~E)xaL7czCCY?Q s<įoi"6B%J F5_47fKl|2BuEDn Np3BݴLMt޿D˲+:r3FàijSxy' nJho)>x|B5sq]U.@+>SJK7{Mu-^ag]]i6x F e =d5[/P ͟"̏a;XS5Qf5Ô'[rژiWoG]q#K{N%Q}"1X +OՁ/|J[xXd!!r(WgGӊؑ]>ƒAV_/ 6'3f Nȸ;V)zooF@UYūZ9,M]C)c xLD}X2kK0׋#kk%/<80 \0W7=}^ };ۊZCX KøxP廖@NU/q` G"|X!YKWb}A'@9}1{uYE.X`$* @ BpJV0{WDK˅i,_ ~6k$ԇi:9jw#8~&>j#& dBFG&\AQy j䛌tP *z՜P0A;NPR M] E$( 2r}~8, (nư:5`g9~9:)*KQ>9\WGH%RdYD'(\DaQ$emW 8z7<}@]vK͂.h9ΊvC= @I$?oQ[5J!f)f+/G([5-x@DUKhΆ_=&DJ=$oT >PuȠUU ?l:kOdJ\tmh\K鶞߼1EY|%E fEYlFU=]2D$zցEYX}ey65J&XrAX/q;zϼ# 0:aPxؖvG͌X`D-ݯ&@PLXE"0 z $V.7Rd{v<8@JQ/H֖‚ Qǔ(+t%a8nA҉nw;qS6%1̙_{D2 ov+&[3ЮP yyUlڅGLeF׫D.ѯu@YޣIHgFCX04 ZN3SSZuUuџeht|2*u 9Qs܁R_|DW G͒ a(PEqL@`(IRq `b!# BB"UjpQq/%etF̥TTIstwnsD2ZC ;m'TҪPJ!J܎5!,2A-8 }\vcTfp&  yJ?mpQCXMFE]xUsdIt)¾XOl ylx/ze[pB/'KK@24-5} DW D%6X:RxA<%_e$ kEQj2slQ[Aڰ<5a#oƨ8"TkUs0B[~BTBnu9f'sIҎ/5p^8$])xTLE]+ܞmviT7̵: +ΖܵTF;2:XNb4}W^6o{_V61Qr?xqHY iQO`FY$?c֌ƚm q`~vtHYV\4G9? +[)Ռt c_/+z{/<U:'|&y)nN!oDɛI u2=i Vh{DNgu[)EfT P3 KejSR^fe=-TZ*J5ƖoGLo0]܁)`cFTEc+ֵ݁ߨu9E-RkSS>,:K~>L: (*^1<"ݸGǗAS-vGRUPbɑ}̇~%6ErZJ#[BDU=8P,(DXLXEfSnڝ ңƪ e3@Wo<7X/2JU {-G)_24_}9;+#2 $(=\t .n16X܏%ECEp D5Clv!K38 D# ̆`ĝ@qV\|+tqa7IRDŽςSoDpz~u+$VDJifl'[cPS˩"ႍ̈́}[{9OKd\Ou*1:&#H?&vU$$U")XmU8W^{ &vE}EZt':AkmM.BUFRj[])yqL^@L_ !dE0o$wk4vyvg~Yw+V\PPBǼѣ SH! Ca?@#2|D{xGGK,:w#Ɉf#LM_B1d /ePQ( O*2AE#=KոUtjݝۊS,[[ ' )5w.+8mA[E\d)H c\T~6y)/bi)~P$7¡kw\W$A`C$q'RCNU`ʍvw}t mo?ʡMQhjFR_J~㟾 ~ +rKз[,(ġ##dLwAXAV4ss¯pK؊|d~i0x@SpOHЈ/($A7>2oRV1Vwm|r&^~LlSP