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   `OpNTJ ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.655cpu=4.061gc=0.000(/`` vFS%V.`]kP񭺪0Y8ik8%V1_5iO4[c~bϏSgJ2 ?QkIʣ|ͪ6 P 1%@P79T1w(/ _pkszMW,\-WY>}FDQ9$TK%ӯ69 ^KNXO.u  -ݗ(/` FL @k OO[KH9a`@JFAO[ħ9H.` @KcJ{i\LM)[X l{GsN.Ds "⟰#n] C@ lp@zB5 s `oapU 2!1in%EzrA`5KlJ0: VŊ}S3*' 9囫Rj݆dV[h ?0@+Lr%tSXI%7\^bOvJh?JҢMx3'WN)Uu t1BjfRR( cp yp$C" F CX`(…EI` 4tC')`yC.\hO<8yG2rI'EX%,yՈw\r;vG`EP]ƻ.~ϥ"Y`#Q\ߥÞA̫t^k~.b7<#'j<>FAӄz:hbappe sǞhΟh`ǐWdbfa6314218bbf3d913ddaa4b206d3dfe46d2430a5086d29dbb3569e49157f03765007c8bb3737a4 079bb0e482226665fc24021353b53387cb6158a0 c06119fbb050747950d221a8f810d9bb34960724 6dfe89d808d68536452ed0cdb671d0893e3b008d 2492c75829a498e9b2acda8b71e4896e981291eedce8c288-0d8d-4944-ae7f-6f87f745390c $O HOL-Nonstandard_Analysis-Examples pwOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodlOa# (HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b% &fk"0mRr۟0# ZBq jr4ҥym``lax7%#WaysD`Wiy+B\g M X@#L{LyZi,  .&&ϸ%Q>QpYdyA= 7%DB #t':򪙔;FS2c.dք2-= ]u*]ͫa(0AaNw8$dZj.y ƪ qP{sDkͫxw>{xa+HZ iӦ5(8@κQc ϱR9C=FOAvD=?XVPli82`&"ITzaJV:VrHTKwL*XϢԕTc+$J[3 6`}C1͢걢>ADeK/ISi^M&dyqCfjuz`k&Gѝ>_k0'÷MHEBum~"5ORX4^'Q 8$BiF_5xu_R&mO1Z9 ?3,E<$J\,Uu&Ư.LV6}ƋaہC诓h_f.*AlA*ޥ˹08c آJ&]xxb 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,%1kJ$'UAgUp?ƅх/2|ʺ6 P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`2J"`IeomZ12@0GWG9RR0 ٘<ou )1U0OxrPؑJ nK~ej9L q \H\;"(@|H4t9++V-"/<ǖq]YO 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]\˰ؘQpYdyA= 7%DB #t':򪙔;FS2c.dք2-= ]u*]ͫa(0AaNw8$dZj.y ƪ qP{sDkͫxw>{xa+HZ iӦ5(8@κQc ϱR9C=FOAvD=?XVPli82`&"ITzaJV:VrHTKwL*XϢԕTc+$J[3 6`}C1͢걢>ADeK/ISi^M&dyqCfjuz`k&Gѝ>_k0'÷MHEBum~"5ORX4^'Q 8$BiF_5xu_R&mO1Z9 ?3,E<$J\,Uu&Ư.LV6}ƋaہC诓h_f.*AlA*ޥ˹08c آJ&]xxb 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,%1kJ$'UAgUp?ƅх/2|ʺ6 P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`2J"`IeomZ12@0GWG9RR0 ٘<ou )1U0OxrPؑJ nK~ej9L q \H\;"(@|H4t9++V-"/<ǖq]YO CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal s 3 .s8 Oa' U%(&k@pQLyfk;% `e\A41)pM<͐?Z18y4x0nqPŀC(n\sJo ")oԷx{-KJ#;QξR>VSdz08ZSNPfFdd ps@"IK1ǐ$`(7SZ& /:% ő)%' eOIaIR$u#q_cH[jj5WHd5AiDJٲ%Յ@_ehfK=f؇DfޛỦrt?`!FU9NLQӠ'=Y Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=T˄#/h 7KdS?nM%-%-x()'B1Y|} 1?q*EnPҸѡѮ[խ"衋B'#Ijrq[xcFrrbL޷iևhRLSgtIG44=]9e3Wg4c YI&mf\{c!))Ѡўև"a?^ @9`Cp(NTx#

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ЅNqݝXWWՎCa*( ƼW|wr`;V帡ُǓ.P0ͻ9կY/ŭa>ŭX1S\D4Z V~l)8a$n'.Yw _f*mcnj]3_Gi(Rq'q;QַZ"UGi!P \[l 9@[<0WXhʇ-ѪSX-xպZP WcVcxA4SV^ f HT<SH[L)P:owޯoVjo?8I!K8;>JdAkB!ppaFMrٽ\FZ00įFҰ6:PF>o  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_id596cOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`'m#0a{sbI&:؂MfsSPProaa <ٺSXG KWLsäWR(.iZ@:a `Ӕ"|"AP0h<0x-IĔIZiHWiocX(i/D'-2b[4+bI7Bqb-(QZ}%FٌaZR̍ص{&Z{-A"Mi]W=WV X) Jj(0R8୽j1ڬ3;[xa+̼RG1bڳU`sI5!gA9֚\֢EOؕک8>+y)KM*u%՜/NTjvSݹ{m&lVZ)ָgQǞY&h%_(N$IRQ)a09" BTFDDD" } +nGȦS_лf 쯢wY E&Kf 哢E{BەtU3A)B)8=]^  WEkd]u #:0&.̚b\gMʛc|!5lD?H^GKWƜ%ol WI/ڨK:`%jى!U u`\G;YT]um3aAyrer$6ЭmX+]/" .߃ΠDi4-?WijfWHoڼ!i%̡Vɘ1"IsI+ uĴM2 ^Z?V&J].Vxlݧ2z׺Z>K)rkGσ"W K&¶4@KME,,(ԋͿ.cɟUt]Aqj:`jij[׏)CMӚ@]1B[TɤkOlJg3)P(+K3˝sb$ 3# @fΰXJ'"7(T` $_]x[o_7ٸѱVn[9 u>繀"y`$mIl {`Xh $HJoQF0mfh>;\R3֫RW3nLpnAS'*Ls`ŘwEzso5HH{ū9]qk B坨>h'j v9P" ʥqotCPAsvVarvumf܌rSq֗u̎AcQnJCff1g{l#G<ñ%$f >sw M(,\1|ukycbVsFIyx-^pscvM#Db;Rn뭷scK+K@嬜R)@T.0hm5 6FT33b܂ʡXA؉zzC2eE;U."Ma&l/7Fz`Wj5*y< #`@I ~bS2rCkv+PZڸ0K6.y9cOҚ=6S2+f.!*mn1 ST0 3%C6faFrpOdmli0LyTf(LCP\[[-蘱0m=RīI$Ocɺ<^1{5\VE!I$tN51f5};b Œ}6ضԹG8-wqJyfzMBCqSi"|)n\ZT? # #SZ@'eZB=Ws1(:P1ݜeBGTG˨z5f\)_{q6iR}iI0TLS-2FHO[~2k<|\JlGc?rP\ t1$*/jd(bL3 NaOްp\TDЛ[47|rSJ$ 50\!Mj=w3,ThiR}_|4@z5:qrЬЩ렞c6Fy8&ڀIBҌ:6{eù6'Fp vbM.NXd~S h%טvFYdD9'ҹ.5,d;Pۉ ȓH[ ͌EP}rX#ƹ9կMs%2sF>q8.R3wgO.2YBrQܗ*T.zFpCJ;^nŤ#8H[,pV+p Ɗʔ)C!nNMwΌ$,F`AC&@w|?+STզxGiXMwxxtDE}^A|D3|;$2zR/'鸼R(bkp?"Н  [A eQDf%<>Av@bBE#rVB=[bSq[='fǸX@P*.37KϹ܇#,@lPAEHb}*c[L1k>/^yMpw7ɏ%<8ݯ &8B;}S zo W:+#U$r}( GId 1JGxy^w Q,j텴@\nq(@X7T=k (n`ym<,a<2*{w˥بÏ˼ gs L0VO7' 8iPp+a1PA))bT|ݞ !I HDa+~[0;IC0g.T dmR?dWd^~=ؓQLÐx!謡{4<ÀI"dY7/nӆA:ꨓnf|veF2m#E]^'kТjK`mm$7dͅƁW2CaNA. c5%G(A6w/J=m:n@KvZ! 1&% l*{OzQ1,I$gaE1~"wld(ۣ!7l$ӪfzVqOW^u /7!.SEՕ58o4#3Lh;1z] .e/sEӀIiu)ydd E1*h#~HbY+NJw A8V0|*,+k2}B?q9:#[ /H9@S>;EQ$gD)McS:^{{;_MHFD35~+)g}H[0P2 Iv9ٰ_7XxA,FU)3ґ_땒7u^*YBbt1IVxnxwHZKs[~~=RrWM*b!ʽ3ИL `ed3dY">otث'(Y?NlВϜgT Q`1C.tRe`!Q!Z~Kd+sŠnrW 22'ؙTo]S#䇃\r` DJ8"!'c] (,!xC^`Rj˷ 'Azˢ4* |( `73֞Sza)3`7Tq+O /DfjZ'SБ\Di]/؅a <u}drCTxVhA-ϜFeYy%4O{E^a$x@Yq՟ >xM'Ʊdpq >8[؅:on,-pB_*lOG0eZ./ L;P+Y4w(G!&ilӄ㩅k ?;T!B礇fVH5@RIQ2|A/] ppg+%kxl3%G~\vipҁ~ ZR6Y[6HqKQa<6MedKVNR+%86LWփ y)eB,7WNQ| P(N3Ij8^xULpQh0CsQ1 0|cˁM#I5 A6x>/a?Κ,iX.0VHЁKDTa`hxo;U«A8:0X\?0zFOz2qS$Ŧ]!e`,ܒJ>)'`DIPS܅N%n-?c:3xZPΔU&ʥC"8n2P$"Cj ܭ#A8%v/|( @kLZi3VR$ۅ^ƨf揠pb[2oӆ}XYKޜ^~AG$ugYP0z;켬Ioz!}?QZG?IDV >,:LsZsz h\Se?#( NݔoqIg͋X\kFBIy/Yv2dq 7CFF\SL]Sp@>e ?I/0wҼc0^/~Qr^D$7aM`JI;To$5m۲)ݟǂN{۵T9pAUtB *ގMVFۜP_sH=HSa (DP! ~\`Pt'71UI>X%i)C"[TjωHnJ"FGf6/E~:yPR0Iis >5f:DEbu/T<)3e/9ѱE?s+.EhNo׎` &@GVF }|h3DSOsBWTͿ>>Oe&YUJ+PAi]QBh4G?Y5ŊvŕfkjEX!Ojmۻ5c8q{HYʗ x+KeQ,˲n m Vۻ t:V[NZϊe.Az_[qwÿ)/2:<@J}2>6)Ht:pK\Ș*9eЄphSUb29I) 8s6 F&H Y!9 52䜐1RBjb$x)ɉqNHP0IS&H(8wΕsCav~/Ubxߵ3"nD%h36[fԒ,̽HZhLF85o Rؕ/ÉODr7x1PΦioЌ~ڏG"yR+v_+/{"j^ ?`dBJ֭p«~lsk7 ^r&FdΙqX=GQc_==z]ނ2>}jI5 BU#IR4HP( aT@@ P$P0  0 Tm)Pk铫Hf()rTU‘ddM2GXSbt_)]fs l4Ja$SnvO( ьQs: HL01-dQWUXvӨ.=%5K<\1k U"z.Ҫc**ə?Wu  76tP^`8p ˜67^)z:@dpt)\ Lg(ۿ=)_<@m!f@Qd szg0"M Bz#q8!.qLB`-EДUKU(WVdWN~ٗ}^rD֤$K_FӁCk26;"l0IWCÈƠͤ6/w yWL/JNŁJNDΊH}O\A.P2LYi[g1Sim2=C ZEԉߖ 4`fZ.{tXM-@Jέ/!K_| R;P'$lRqD7nxE/O0`Y~{~2]eaqrW:op#VX(x"Ry@#}{JtDrC sӲ$pIpaJlA>d:RI0 ρQ_[ ` xVG5ێ1ә-ig;E[nAY_]~w-?< Xφ6]kâv I=  s%A9w8L"Sa%#Onk@zH! l9 !+vXdk@rRt*OP.gGDߥ76 veصFps?0z+50U9,䯺 7&"h Z߶Ap Z#e&0 g*6e$rɚ}!X BqӾ+-J*VRFL [))īu &!@i8,2nTt ϱXת|DM uՉEVO^lCi!}NBuQ[-$j2`uP2t P[<(K1b. [E!u&!"gV̎]Qmze(KǞF1/'B f~^Y\m>JQ+5݀U"GUr`\zp%##=n;A2rJ[-dw#VGm#Ď&F F;fE!7%oN9G %gA ZeeEȁ>JUtY` Z$pmTY\Q&21,lڍ:5o(JD?GvAk"fvl/|+K!<6cNvP qe_X.vJ:C#0*&D(%>}Ȳߌq:1V_!J4Yl&!z YEDA::ehHԛXv GʏW8, uR]"U:YKx%Jd=p)/vtCI0M\mgxEOWH!{T?ɔê wg7IJWiq§im'$121, Uay7,V^n1Sn,G&mC{¹H ܡ'W<޷Sd7!z " o`2!1 ,;M3wطъp!baI4N`ݰ>py9x_ ^" ~#٥L=bv'@Β`׎ld*1uY.Z I$^8K3#_wcqWvmabo6*Սh2:6>iE:4N4f@|]Z %Wzp34|`KOMTap7)?2x9{dY@a'`9XvG>9yMar=>=V"R xTO(ѽB4ʲAf:3'=#e@zZ y:n@kpާ -b|=;r.줐p]ԖVCˈUG/C 3y\weÔ)B92C (+_ђ=фn %"lR -}dpdjta,$9,<LO*6Mb}MHJR3;x( aX9?'$iyQL(1oBbm08q2J*ȉO`K;Avr >p{oDr΂`"%HT2)'M3q@(]]muu(vTVT +i'@;^նH0̷2w9xտ=Z,>m9(64&MYYmg<LM/;I*:v,N x%yP!:M@"fUh8-M kttK!K%oc74 _3'#aE0x<E9ҥV͢ a QE-@`(@QB1!B225S \aDoc;"f5 B $@SNEz>QkYi3BZtFqpspC<.?RDd(g(!uMKa%<]Q{r )Y  ]c1Қ|õdA7x*CQx7yΌMSi|_%@ͭQ770qCf8bONEI$w~ ,Ui#xTB Aa]ncO(_26!p.I6B 8+%+ll@Wvy!@U&vy,%80iQ:tg?um~m& NQvvBjYWT4zphW(*I G䟼YGfVsaKI譾6^`B R޿{G4$ws1E ,1EvS)jvef^*`~;dO}K Յs$gT fS~X7YNGVZOS6CLM"pL׳G*v-IƱQz/pO8sL .Ţq$͂9u a>&/cT*sܴ <#@ *Kŵ\\cוOm_ɕZVc5dOĒ)x1\:u'6S"NI-@lT s/aK6aqgm9a#Dp#0kKM1ǶJOf%İWq9\HfSωMǍj:*P,l櫓0}x9%Izʻ,gm_t$b-J]S<}z1Jzjz爋">mO@  3sZfYD ЅK"~6fҩ }7=}b Y$]:mHzɴ2tDǍHҸjeC %^; ?ֺ8RRL8|(ԃruQ3,Dᯡɥr4(渘k{FmkN]Yqkm+G% |ԩHQyZp2>h|zoR Dmdt10E,7<7Ţ";|}-ra+skaNqɐmQt׀Z`He?ėRCIܝ^C}'%3R5(t>-DbՃE2hZ6$AB`p(L(zʩ2.q/[H12d]~u2ᱻ|FanbҍY> " 8ƞW?Ԋz_Jz0_:>LgS6'W:C(oEz828GmT4c0蟷`vc,EՀ2"#CTTDS,^O) P p j9ě;?@iTG\I]/M/;AP>8ZΞ:!D]ϻDZt mXum [L_jF%[)P7 􎒧A) AMoMewa X(*9Ɯs8^Ք 9dEx/'|!/(q) $"RV1xw#_JP;zΑ