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  H H5OpR\h ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.647cpu=3.887gc=0.000(/``zlgwࡺ@?_8O˻ l{p QsJr<1% jL=x j80]NQCOɞDC]J" r8AXGbJQO^xw P 1%@P79T1w(/ _::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.846cpu=1.523gc=0.000(/` %ZL @k Һ}.V6jE%(#KGA ǘ1Aia oa5F0 mqA8H0 AE1{H~ީ@9kh@SEl!<0-I9ž[ϱfA-:!xl"yǖijk-blrU\UUsEUS*-%jB3 UT ִ(όݟ<}uVDeLSjΔn{B%󳽕]q\eySrc1AΐդPƀ pHD@ƈ Ab)+`4&:Tz,(hGD#٢A:s./3 /k,XŪ]tt6[ծ}y`>:N)p{w ,'j U%f{&X+"a@ !\b(8=Ծg/] =!81d9c7e8bc7382d306a58a566d1e2ae868d8c43b895ed4e8ef4a50e6e2c06f89efaf18987551db93c 5ee65b4d98425bd750ed22b8b867605c93d371ef b5248a18d66475fc1bc6569462467f96de11ceea 5d875b48d134361f0d5b20c4df4fb771b821d802 37eca4e8cc95496eccc245b98064bf0c95a8f79630501e8f-fc1c-4112-9337-838e552e2b76 $O HOL-Nonstandard_Analysis-Examples puOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodnOa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b5 gm"0mRr۟0# ZBq jr4ҥypaa0<(z;P$ Ex1枇 b(.,|Ҵt0´7)E`xbb[)ˈʼnHWi o܃`|^.O54yTHa.DG[~}Ys+Jôdv9mo2kBǞab{Ȃ7RԩWje" LyP5;k%X.Ue@8(ؽ7}<<žW'5[^_ULL6ŇFB <\\9C=?)Jte);=ZGk\óeޤ^B NN$I Xq) a89" BTH$#6iGJ_򆸆믚feY)M}:Ƥ;`rREW py3 .ĠXNsK⸜鯕qaN4S]S^>Ԝd2n dɅ9vׄD̖is"x5!k\.˪lu ۤOjk l_l{/W$=:F73IHIC8GL2Qw?v3|eNdWl)U]g{5!D-ϋqSW=BjeuٔFxy,m~F{8 E4R> n6 /H\s\O5UAr)!퉧a 瀲-B9K&55G T@ev2':]S)pLe7smZACd)OG_ذIŹ VvQUҼRd,3+h쎖ddn5Ļ2[- ߊU\jcXRJ!*t"T*sS-rY  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,%1ksl`u= P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"J"`IeomZ12@0aD'(`DGIlt1y Fa(Ŋ|A9z@ X(Tے_km=CD\}'ŀ  "%a?]*qjQϱ%Bq\ft 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.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms^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]\˰ؘ?)Jte);=ZGk\óeޤ^B NN$I Xq) a89" BTH$#6iGJ_򆸆믚feY)M}:Ƥ;`rREW py3 .ĠXNsK⸜鯕qaN4S]S^>Ԝd2n dɅ9vׄD̖is"x5!k\.˪lu ۤOjk l_l{/W$=:F73IHIC8GL2Qw?v3|eNdWl)U]g{5!D-ϋqSW=BjeuٔFxy,m~F{8 E4R> n6 /H\s\O5UAr)!퉧a 瀲-B9K&55G T@ev2':]S)pLe7smZACd)OG_ذIŹ VvQUҼRd,3+h쎖ddn5Ļ2[- ߊU\jcXRJ!*t"T*sS-rY  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,%1ksl`u= P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"J"`IeomZ12@0aD'(`DGIlt1y Fa(Ŋ|A9z@ X(Tے_km=CD\}'ŀ  "%a?]*qjQϱ%Bq\ft CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  / t7 Oa' :HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`mF__$ o̎)nxZ ď?lj`!{URT1Q/ 8#&ZGm΅-  i##*N<lag&Aܱ҇c s TmVĿCev_R.*SC^ɈuzmJEo --0VT<# Zdѱ8eb22~t9QͰJ$YE4Q;;x88,q^YC9(q@1YS'e4Y~vo qx!bO41ǽ4bI cp79Vf[kVSddzz Yf([)ȤSj0}z' *Hxܬ_ W!-ul9CnjhTB1٘S#3㵓:CH,SE!_e@$aG:0>7Qygdubax"q?BŌ#IDָ0DA1#VA*q6 e)y {|eDILLHI]F'cF*̌ $ R:QH̯BAOBkx8іDܹ}3)1Lcv9mdք2-= Ƕ7Rԩhj^ X) +No(02-v[ q {sCiygjm^ۋz:[xa+ӚH{}]+7318+ӦM!k9P=ȝubcϵBHgA9֚ŮIS`TFk3Ss]aWͭ|-Ukժū8bMx)teқS6^kbhKx7})N$IRa)] a09" BDȈD3S#z9Lma*$T@Na)>&,OdMU4j$T 1|IbscC .s!\Zw@)g?oyj+S7(r@El / Gzb!N5(75˂{&c 6FI6;UIYt07ݣr'(F]-aŠ$L<=H-2@R ػ#M.{kiYłERm0}=ao1MDdsೣN wuq$yf!c.;#kǴb@nϥ^k,R9^e%oYF̩w}H5%h'Ud(Eco[  UmTR(rZiZiK9AWJ5 2Lӳn?,4|0#n-)%uu?UJ|$qϡ(r;oR{+wQ󋤐9҇.YZPH\Q\jJ8ri>I,CU*N|*(d@q.1ƒ3v7HfF1`̐}nvb+ ߠP)T_[jkzk=vnqcՍsk0,yDPW炑$a$ 쁙bMAB$I7և(#I63j4@w1 w LY!~cgW`ָ{5+YX5/'DՉ޼^ky=/_@+(7 wPЪU3(ȍK (@@rKoRB7:ơ P 9;; 66tfn*v<1k1(7Nj6:ns^bW6jvvK0A3$g ݹ7a&wb{S9W7VzntGy0^C~W{cvM#Db;Rn뭷sFE%^σ%rV;S%bZyjm5 6FT;3_)zAPs{;T](Q`ۗh¡DVLF(BYl Z-׺a |=XX@,klbS2rCR{JfPCAF-ڸ0KCooP .3er B $fJF[̕sJkLT0r?vι{bRG:#[j%$:|9.(kA\܏~P1sѰK|:fw;<0@c̡xgI 6@P0I:yhm3SΞ?6PLY?ܥStnsn5d_1ntL G̔ ٘QEpBYOdmdB2iv ʔNeFB|w\[[-2&m=c*t'a$X3N1{FЩ&y 3(+N;3֬ϕS[ ӥs%ͨY)|8dU`aHAWN?j7:lnPpnf- t|Z^J5C0LL1H> foJƝ;g^=OZU/']lq-c+KlewҙL_!FM(dO։5"BnJ\B^;So! 84TZsnjA͓w(M5k eB, |ͪ}U)&JsʱcưarGR8 I$^  0 eSx\}8`-*k70 FS*JS _0"qoyHGUS$41fU>xgOŔ >t am|/8(w%O3yOBlːP"ӺZT+-GG C?.B= R?9LgĜ@BhPus̬]ѳߟQsJ#da'@EW u`0,l4ʊiRΩI>%hG(iEhG"o;^Ρ|y5]0kձK'0<' ,UuSA)sA @q {)}|08AzTIoTG*^_NDء= *ĉeꦩzvTOƩrW+ʌǮ BqHQՉYxv/[+fDȓ+*2bb`HE*%,MRme(B PcB}õL~*^z-8 an^03/cD֎l5OUhgm'J+7inGոJc?v󜼲ܴEtڧM8Fk7ShY>. wh|?] B<5wvաPvu~/wn.7q <g΋BOw9NӤ-L?%aO!$4 ՛{mf^\Z=HX)SBic)UYq<%QV\ d2ö* ֡ 6yJ'Qo 2nj(i$Nhj\&!#&6at0.M]$|WB^@ƶof0w<=1W `OXpwV]e {oyT ^ ݆PgimMK { \VҸfOxuƹ7$L`;0%ezе|wVp1( JLYҭj^]%8% *  =<뚬FR!^@@y`?h9 Er=#giDE O!&ΈXcRO e]X0w4X\bZN %+W(!v:Q{AlV}e{j45RՖL 'ڡừu 擅ChKPj(o`~b#l2ULN1GR;~`F.#  =LG |{l톪T+/_tbÂ8̕Bc eKɁt4zqp1xJ&Jo| ( (AuC%DaG`I$yl-6XOޡEq.v0І&˺C } 羐gl31uP򺛝|qrpy5po4o zfΌT/ B۫jbD-= #Z\'BR}"vC<䷨CIJzV1'+E8E} en&88߰.²Rs]q&5Cu\:F<,w]bO7 )Q`󋔆SOSS '*d7?,QId9oc}POƦ2,> wL"MU8"#pHRp ZsMq7hE#'g.& 7B;cp]%Btd|R2*W⸺ EqLVE_=S*9[j[U2D0MV /loqўH,#c%y) 9c0,1iY(e_j>4p 䂀b#<_ΩMʫm~q&dXޜ0Ra3`W)fJS@*QJ 7mQbJq hvs䩙40~+ bk$S:l A;(_.9pU8 g1ߖXiZ,}pƿ)lO110z.}Ly1PhceG@dsTa":O%ܼǎ "Q% jAzURZYH$ido~5.bSh?VQyB\s,qʺ7YRI,KVpO7'B3UE/WR .]65_M~(`t4>A'K'kJbuH h02v\3a-bo7E2R|SOHQ=1CgZ6*~ᄂJ-34j>t;0F%_PzD㾯G@w99mo`Y9]g[jY@Xq{̫.ρf1`؍f05];}ToVT-MoU_ݸ 3u3C/QzmU(:g>!DH xs_ 01%3J³C!-(K j$'M’rf6 D2 ]@+u})BKE!3 DP>DE1~'"Qѿlla1 m;"P_z˗HID |QräviI !1>X׃+.idS >)K_wJU+sMKDM/GP#8׽|5VcbHK ɈF+ zye\(ؘ:UR*rX]Y()NmA7t[#k>ꀊ3̭OYUҰl*lZJ'   NJ0nm9$HKs,_tfreeUNb(ѭE?Jˣˆ?&c+15w˻bR̀B@+;s_&Ƌsp; >{ߗ \/[^س)a'4s3Ku?4&PfM06XqnӐ|ne``Ƞ_-Qp{;hU} c+3 U>GMw98fJBiZM)4_?;!p4]l*REDt4- 'Fhu:5&v@6^&nqP-KxY{fXZ@`I$|{(i'(:tW . V5HF]ME'6pHw) {I!: t%G,z~4`k"J6<3kX& xPn#.t4F;.͟kwpG+KIҩ,[QHMrOu:eRۨP3b6ZD#,eY1'"2 &ly$jրZonfVSk遞i^|:l(](XҲƤ[`L*ԗ:%Ղ>ԆɉºG ϝp?.-f%d@Ӧlz}|&zviB5*2p АbFtRƆ獜=lc2VvyoBFy[!1{ ' +RAcl\݀h0O% nGk*H'@&Pة6iƁQpFz\%T?E{d~v|0tpG(Kr~pMAYE/׺#(dD4T<aD*H (ph inOQB ?l+'qdWHsUgfc_Ip^jeL.XD DUN4)OAJb IByK$-jNI(#mF*s ֪q `|Э0BXo*vAnF (~+ŬVk])Sf_o p!N+*ϮeY,˲.v]/LVE<HD<Hr]rHhF 0g z )kڣD6P-:<ϛt>5)HtRȈ0Ƚ'9RF`V4#Ty7'*d+I*)"2JcABr!gDBN" Ћ$q.=LA$hDE0".$90Ty%Ǜ22R4㋼E E S~bv4Z նګ)F?77"@pQ¦۔Yccd]X,XSZwp$`MYruxQ6 /^ 6jH$.F/K+wWKո߼ojʮEe=͡)YQfB/Mf%GTnA<ʭԫze;w? I֬!6ol3fǁLofIZۦU8y܃UvfX nFoMYotvc"\r$dV`_|{vRF0mǣٯv&rZ-D,vGèc;>e#IR4H`( qX0 @D 0b B bAab 1@um)*Pk{Hf<̔ArT:<ej#Gt]ߍ=gMpɇQ=@i1 uԩ 190[]Q;NĦC\F>, 0^Xs-AV% ZY`0yTThlC*D]^ߢqEn&օ1bx9c?QS7I {T] H"L^L Yw (\8\So&Zx֒٫@LSk]"U T3iݞ㸿S*++e!jbRC9BsRqk^`=_FT5%5"mEe$ c*Q|(ٶ).X] kЩZEG+ⶶ>/]uu0em9L(ɒ΃s"CB}dU i{,1qh?+BA!1$f›+rX =NNN!w!)}[Ϸ!+TIm/\e[PFG"%`^Qj!SBaťugJ*G@1?xn ˔hi^ $G xFr3"ĸ%S,ʼOSH6ASWHra(x—@Ck _-Y[DIaM-@511sSVhGICY>Y"sc&XDIdBkݙ1q5 ObY;Ps +YX`PdOD^hNHS`"8v5D sdjY^C\5 Dbfkg#E^s8 e)b[t4X)R#a\uLnYg-Q"nҁFyC G$Z) 0"FdtmpD.7y7go7)3h{\~PQ,j "CFGѥ+AP#ZS0&`orbv!nVZ8'Iጞ%"9r^(pgVEC~^-ңNc'H$]a1ׁUl5BGEmғ4Kom{w<Nh!pZQ.,M{SFgHM+8([8ъI(8ƒ, q9BHtA6BSs) U[:'1P7cu -bb‡^@,)ʥTG 9}eT OOT  KqhLmhtp ̧# X11#aB_O"2ڞХ^JFepւM`?U7Uu;$}O3-}r`Ho6B#M%3*aLq~c)K :\)_ q}I/wcqE!XCg"[ :Wk5K$Ӌ{&jr3д:ƒ~[ZW ЫT.H?|!Ӎ8)H^Beqo3SnӋ~-7hEW(j d~cܻv  QI`쇹|_6Fuz,V؈o{S-zXk6f/˹="  dVGt]..03+p=GBOxM+1B xk  @3=iJg+v[MVLs_L#"dž[uT3fRSPH,g%,fo%1ӝp1,v,Xh7@iBP\ܝ$Hs*`;xea(-6EY~ -/j zt7!<+c;IzŶ"}jX 5`ІiL%xAkH2 |=WTl3 f_5CG%-0J|Odb<]ADYNK9b 1uEt/D$%5#He ,aW*GH;U""7[29*JApT +lyI\X[ưTl@К F"|@`Q|yTf?}%Z`)1t7i䒛s[rdyʂ+83j? ?a,@VxPԝQ|d#(Km"̃ԲC >Gzō[ݰs:s1xmхE XktVVO2!PMZL!%FQ>a1hg51ӣSƁy哭8qlt,ܸY;c+iP$^pqTd>p M1 %d=MrFrt6!r?+ExXzuɁ.eK&R;$JWmQc/ _0A(:6& ٞW:.gXi2X,`>,@u_"3:Yb"z_I11DpH?N}%HYD YcSvPR%P67,أ3n`ZlAL]]<2tS:Pe5=3#c%g :Hi Q75i\G3o&Oϯݓ7B+ &+j:£ ;P0 ]YUG ?%S0XWi菰)9Q,:\?%NDvOdq6%8U^+Q&JEE/ᕾA=p!*9"ѴH/!dGƜ~NTڧzS`3'\Kp06㞢.1}kJwÜpڰl&Usw޽*Ő'qoy?yB%S.jhm1U\鰻֜;swhnъ>M"RjN=#91dh*d؅s}\F=Tx=X*j>Uv)'bI0D98$صDNm3MP]Vx_!o"#0@Y^K5 .O\͊}"ĄO].nP~#!/u~fؠq93CzŠl ?ư>DHͰL(]?Jux P!dmhh  : "wx #==՛Es,tr%XQ]0F@Q:bubj,c~(xs/ǚ|Y\&!P3mZ~VZ@o.`Lܯs4UQR~dRx!"EDP ERxGQ" a"_P&2Ã_ #XI_Pv?" @Z*rŔe(BaT0 1ms=+\Vx  _!@;PnO p"3R 7OA[-fQ(!\~>I"! $9@ S[\ѡ{z#3v mr EPкQ걦̝/%.C`8dȈ Vs~x+îBID0fv %(GaRHi )tiǞ56Xs sD>'Ψ3Wf|I1FM5 @w~A<n=֞4aDWLBX8m4QUA|H_a^?5m #pJp DQBlC|^!h"𢆾6 udz"qˢ0 ߄&HAhq^^@i[I_znJx-`:-%sl/R]q?l,ŝT "%ؠkS>[E. #AӖr >dA1x9I3weDL۶UG,c u Q ̐ҹ@/DI(q+ U\⫁yx %V_i`W4HBfz|_: ml_n؀誇V?"cD}4Kj\ pˊUwP@Mj]jgj>e|sȾׯi\en SX/.Vy x9NzT& nKkj#}y2.2 LD!@"lIZs0dmri +a0\d;;?{˲ "aݘH (0rOd01 g3F)@H'oj!ۢJ] K]\u v+YE;t\,(uS]=Hf Mx(UʊTS}3 &Tdn$ H!&YAa5 r0QhtJI/V,1ljn Ċ;%G-by8eǂ•Y͂ aHqL@`(IR Gq`c1# BB!Up((aAHk]4 G9aƞĠI풐ovۣC$, BKChLC壹-)}:wr>+Y@$Ĉ999!f"rk0~Yg[DBuxͧ9dU Vf-cGhe2u= M_Xt,[yGZ7\ Q5$\zǿ@ pާ`aYGIr Yr?GU~(!4 gA.n@Ǟ.$hAPi)WJǾW|Q ogY*AvAסJ8H7SXTmWp$b$fحkUg?rmF@6FϽ$AFqFT@X)ziAUiqeHF` e_pn hMjt:_h@ua"fDzg,E#Zts8z싒V#ERh[]\4ʇi` V֧ԨdKY.`\vǑ{uAt-@}oύDރ faʹ@$f vA넥[`bŨa