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   aOp\T> ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.681cpu=4.012gc=0.000(/``zlgw^4x.5 ~֢(˻V#kw ۭ (JgPAQ2zb@3Xh\f?!E @_Mt0VX7'' AcJ8[ qaMsg(/ _pkszMW,\h!@_e}q xP-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` }ZM @k O[$BRe0 LHA=n "-K!*!&ya@-.612O4ނs(%<'C½AtFW[C q GB /6-$&iQ\DE"tKs[Jf/$JU{B[U쪌ifY\{ QJ%mOKr'gZUUqJomtRn2s .!y`nN%tSPku)^Q/{jĺj~='^Y^P9F1ʽ wO ,hs-SՔ?J 740cdf090ebbd1a7088ef72c23230b3079cebb29ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db 026635fcf622a0baee3b1ebb1be23d47218acb87 ea55cc6d20ed0b560f63ab5dace339389b200e4d 5075449c25266d48d60ebde163d397c2cfbc4538 3ac852908dbbb959e5fdd013182c5931e003b0aaffa82225-3f27-4563-ab82-260d04823367 $O HOL-Nonstandard_Analysis-Examples opOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodrOa# 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bU V'n"0mRr۟0cB<.R *"BiCA pdb:5laxnlo8P$ 2JLsäK"@AF4s0@(X4`<㖄>a_F|,ND OP~7%D,O&#gmyH|U.JôdWvw&iq8,Ok#G|;N$I Xa) a89" BTF$@b| +gHIaQk_l,$Ф\\ &@J~Wb &$E'EHdF,W!] 0yt^wiEY꾟cP&cpDrqNUĒ:pkF! "qZ.ciO(_V] `fL{׾*͞2"rBU0*~Kp,~wm!a*,E&j-U^E. \5]>O: @Y/aJڈv|aڡ)qvLϴl&ٝFތesC(̓n-PpE#m\7'ݚjm.c<X&}B;83B@XbݒBʙ-ށi#.c2RcZBC6LM7--ԈmX*C*iְU}Z6:693;x[X2_n~Z2fmja# )8oM u8/HğC  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,%1k7W hI*@Hv,dHݔ̩F9,BDBx<oRb 1Oxt@P2J nK~e\벘2*p8w'CP0ph JsVV%2/<ǖq]YM 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]\˰ؘa_F|,ND OP~7%D,O&#gmyH|U.JôdWvw&iq8,Ok#G|;N$I Xa) a89" BTF$@b| +gHIaQk_l,$Ф\\ &@J~Wb &$E'EHdF,W!] 0yt^wiEY꾟cP&cpDrqNUĒ:pkF! "qZ.ciO(_V] `fL{׾*͞2"rBU0*~Kp,~wm!a*,E&j-U^E. \5]>O: @Y/aJڈv|aڡ)qvLϴl&ٝFތesC(̓n-PpE#m\7'ݚjm.c<X&}B;83B@XbݒBʙ-ށi#.c2RcZBC6LM7--ԈmX*C*iְU}Z6:693;x[X2_n~Z2fmja# )8oM u8/HğC  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,%1k7W hI*@Hv,dHݔ̩F9,BDBx<oRb 1Oxt@P2J nK~e\벘2*p8w'CP0ph JsVV%2/<ǖq]YM CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  - : Oa' @HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`V`& )9XqBD&'d9zAa^ra7>FsgVSUZ5(7%)ÁQۚ\\Q`TY3=AW D+"jKR@R^iJQsߋڥ |Ld]#\k_R?:nWOB6F?ք\YݞdŎEmqn p _5rѶթ1NJ֒mͧ|Yd[{{G+ m]6 =5y8)eR_EdmQ YRSl8a/v)CE ^DuܦDT^w8y,OM1&!J"tV(λzsE\ȓL uQ䪗tԜB8|P!fFdd ps@"IK1ǐ$`(7SZ4PRlD(X5frL`|< V=:'K">}*EWF% ݄qBa$>ᶖEI`\-0;YxOw  |ͼ4AV85b BŅW3}tYӠROPF p Oa# .HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=l̨#/h 7KdS?nM%-%-x()'D4ܽ7zzoC,o6OO0׌[?q*EnPѮ[f"衋B'#Ijrfjv;+^4}f}V(D1e}FIy$AC3ѕS6S~qֿNL3DobFi%/>r 9k}(")bsȇXOBx?+Ͻ1D.<{m6PDO-ZW j!j j  @ 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_id596iOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`fk#0a{sbI&:¶$CAA6?ma_ [(-~ 7h b^E aҋK"@ F4H $L<<(qKLyZE|,NC O~BM{I$>A*wi2]ólj<$Z\:e3iw;-ք2-= rTޮڕ2Lc,(˚*WC}םB !knhܻi]s  yqԝ5.]973183mړVbciRqR9C=4gTǯi[ղ6d̫deh9L\6ȓeF]u޵\@CJ@3%Wz "SSo/^\oσ BÿDI7{Ԥ9H%2t#M$Nl2\h\\ QaBSH[Ux(r;oطR{+qϨERȢc҇C9ׯ% Zk ɀ 3j"jJ8ri>I,CU*N|*(d@q.1ƒ3v.7HfF1`̐ٽa7;NDoP*H|ힻ}^[lXwkgðPaCq (rw^q F׆$_fMۂh $HJoQF0mfh>c$@rBJXZKA_0Q5NfZGk\-8NT F-D:qܛ75HHz :_@]SB坨>h'j v1Xj@C707Xz+Ľy0UB ٙ{|wsS9lcvܵwP=G7c9kO+vFy-vNBA<1!a>gxνAvX 坥bM|]\^3N(Ckw{73f4RN(־(ƹzk95-.*V/rVm-v=RI(^<5z̃YP̌7~X-Ơr(V+2eEzޡlC^K4xAHc&x܋ӛ3|1Q7#mt[V ׊a C|=XXa? )!w)_=Ȯz 5RQ Bv6.LR{%bl^μ| 60rI^sO͔-b.!*mLT0r;֜WI@\o~]B¡8xvΟcFzh A%:SLp8s'^gIٽa(Ř-_!I'rf{hm#:X-=nKrlk{έfǾV{-(6 )!;!33C< !P!aBҩ̨Q(RP~Uc/|*t'a$IcN֍1 5|9$9jBK'\\5kVy@GEEE&]Qr; E+sE6 %_ZB~)Z[UTDffxgVVuwWTK3( z19,c"Sz%%5RK{͎.@3R.X.51߼LvbK0nI[a AC xQ袗de>Ƣ0, Ovz_rAފL1eL)Dsr0FJĶ!P!p["8]iS_bslNd.:ӨSؚ`, xch~NɅ?JsGq hv.>(M)oٰ-͑HP p|d~NL1m[p-i^w_cS"0k2hɷ8gRMzOۉ#OJѷ+iC s;x22FB`qHSAm/bO!#|ߖW ]/s#ΞsW&=1Mc~sFvhPIXBq n*ȁt[ge*~A9ug6,9*L:pӲ+Y|yR=AaZX %=VC-u_209J$Q :`cLT{:d`Gs+6!i: I[ Wx]xukD/|+sW+Ćn=u慹LXd#&Gr>לΏp͋oet@/'! gT{A5zL(vx8TEPV}GXKvgӞT1xODc<^l. w;"1Ђ`ß}LN,m5gHZIz5bxHTV8]bo;ӆ.d'khZYL9{Dq\q;+:\qdaPh歟kǑy{eeܣJS!ڍYPsA@fvauz}^'8eX,.egc2Z=j]vCV$?dN7j|O^@Kju<b= O?0?;bM=ԁU>FP]귚4UUdUr\L…f=j-МAV*+:*fQnaћB1q2 T d˒`:AP7;nXqnEڭw~l\e,\t:ySP"љx?ENBq T$YX:3v͒PI[%=J}\04|DIYBU) ,vbm,F R"O&=T$6?ڬ, -eNJ)YLGL^57`1ȿZCh GvhoGy\Bo )ZzXZ$wt]/ ]oUMT/lڬBy% H6f8mu{Cwr\{׊PXU Ӂ#7LIt}!fO]:Z{1(ΊLLVJF@/.DxɅ(meEg}?D]@4׀yR l ƬkfNau 41wb֟w!:0-:GS+"r_,Dc0K. :jjz6̴@ç>"…ЁB:CxQ;tmtŕ\1_f6z65cD|&Mk/M.ˆqNyzaL\A Qyo PDp 076VY̥ l9Džˌ,S%qoRȉuA&/h:5PocCv^(ѽgzڱPT1/xfupF{nzVS8@Ј#D*j&^&Hl W.ن;7Q+gyMk`e4ӥ=ܡM,L*j)`^@'_o8q;ԩnߏ||eFKX-"gCDk/;ΐH(d*]W;6t`J_: ⫼8Urxy5WHnz \4ه9^NG%s<'7}{nXҩ4 b5Exʉ^/"dd˸cWd`LlL~uz嵳zA0fM+ko4&4;>DfF^9͗Q0=16t"?In=o)yJ&HD[+mH^C,kR8D>Ec̈,^p<0t*d>W91ia݇zIkι;<qd$.Bɾ7=j9)N=$+' S2~yAJ>,/7! 6xiy̕k82)h@KWisGi)Ccuk38<&ױMK5D=%_̨)7=TFmKgJxH^縌#ԯoaxIѴ8SvqۯN!L.?ϑV]5ULxko_xDJFF9LgyW: Ɩ2hdk7GԅH%T~*zYn bkS8~4<|CHߊR8wDc5\؆+;P4#BQRh]7pxqsɯ;~/_}X3TX8QQx,k? }򿤮K0>o )AZxFp̲N)C^<S 8hbN{.KYZ#Rd3Y'$pg/AAss,'[:W ?)lpK}Hxy<~ŋp)c 3}~ |f ڮ,PHn6Q #Gu\6&M}13"4$<Ql1""Ca'9C,ĕdR{ `nZ-|n'<˜3, 6M,VG g`2-vcg5cÂml["OT"3cF+WDzT 8 1pWJ`f8-p Z,}x[YHeHx, (w6X4w~t pJ>h["8TNq!BIxV4@2-tU/m qWV{ׂstWduf f'~Yen@:@n/;(JLSѲgV\ԄASl :sk;!q `Y#/08Edq2ju3Xg, HQޜzJ;}Dz31IbMkvU1V^'>Cs#A"s_Ѣ7^#ޥ\%K)S-00[6Vb^B R@|\>o {`|q>id+ As`t f$z~ʇѶr 0rgw@j.U{[ZȤtģ5%Q".&:9naKHXq19;CJCI%iKM1>pJl% |k:Jnj[8ެ%0*7yP\nꤧl+(#MXΆ+ڦ^cTFI0sVr&`S  _l0 ڌwq Eଆ wIPzy9' -~T$0@HFxi4T{( ~}C7!WA%$7a^LG? JI ,R٣fzb`@ShNϗgUblkr}" @1&nN(:z_tIQԣը:&4S {WaƤf쏠p.:,.{:)Zᄎ2%2lߐpylO;Ri#Lqbx!%E~0t[,/.Q:q4s$6*DƚdϟK5¬{a=^'opr!w~} 8W/ ؊bU |oEa#yDhhz&u&<>|HGGjB}hg;cI@횋bl!x`"Gz0+u'rwL w-qla@2 㤜|tD@`䥗dld˘үFLٖ﬒  @C΀Pu/DG|bAQOgB,#q4-[.@Db&BAhjٚ+&;Ғ:2`Knr @gS_7W?g*v&=E,0lM"B`_xgN`gh[vi?-m'$VK.h AG=bhvb$1fLgR:L9iێ\-8{nxIon(0$T?gQp竤ג/|xp< (jN`dl`n@}\egU9H 5#:.F/]=PgO13XY~IM]V w2Y"J]%u23>-4+|}oyqCFT9WЄrT0CWg]Nq$a8y\J]kj2 vB Lᒣr5}7UP657haiӀ@&RCd0v-ڣ&5؛QC}-$*1/r} 0py#b`DLpX f ASB+*FxYJGAH@ <:wL j/[H]c<10b܎T2/ ͉D*RpHM֌{ckmX 8i8A r 1 0뵐]]~]"K%.#]v<\V[W M\S&UIbKSd\Vi2Z mB8P) i7w07B="Bڦ>HJC^j"He,_AA[`ȼH*yʘ+̜I[' xjܩaidzhQL&q?P]!p{v`񸴈[TZjNj? QȯxB -ݑ?5gH v!lf0J&|YqPiRk5jED \Jy{ԺֱgoW@F0rSP/Ӷ.)c԰B ܲMuPd.m=Щ1JJ$1_ͯ=:mL~^>+EWNIR&:{| ֩X_%*{J8z(+} x=8Hmݹ% R=2>ЯUXNYF#7{gѼ-Xi,SbE  B4[}5FZ#JC2`"Җfp,m efTLi "zDZcl?w%3a@퍆2K ]PkA\VO nݔ t:4-kQ .20v ;4(  E Xa9L͇>S G0G%IkD$?#)%1M1o"(g% s8b2oeTr8e`? MFV{l'N_:Sv϶%w(wZ{%Khho|6 F_Ȋl1 vz˻!Hswsߒʥ{\n PRe7N-+ξI`%ncLI(0!C"9/tT[ 20B+"뾎.,m^)`{<#HǺm:= TE=߆_\=ϠKook 7U%45ʽ%~< ;,g=E8@F9(Lpc^-ObX?0 lᦕ4nyw: Al,lDQYun!X !ESWZ*K) -sMG'hdS&8 ii~]Sc/, ) 3%1O#fY&ahє3@G@qvF 23+HFg)R1v-ҍGv/Bc*r4[> 4# +_(h"1޷cHJO!A͑ysQC`.FzrF[nS$X#S]VC~̽ p-xMA2zxFh< ZyxHJ–KRk ,Zf/p+% 1(R._Y\P]j]aF͌2R@Er1 z&q MMau7Kb-EZZHk34Z$q ~ܜ㴀E57q05+ 7X`NNxb91J94"mGF#flrlo%썊}4ck&He6Ŝ"AFiRvh(pj aW " +ao < y=AW?*6?EHcY$".J[D^ģ)uwy"R)0Ԅ&tM>`v'=uaD6.!+႗!ҪZu=R,̱׻Y= K IWf /J@xa&2t7њ]'C;6Q&  rȹ&Cnfusv=ʰsHђor#Ѵ%Mw<+ |m*! `S&y? Sv8Un6h3AT:89G$/hL1~kTɆG1~w%5q!nq[֢t&1&vx &bMuH#AO IEFM{##5=*VX!~LIlBW3 p 2d, )+nes[9T&ShnUUBȳiF8ʪй'ƫUC"WBTJvEVbor5S;?ʊbUg~@L[~(&e(Y=;oorA,*sWэg0JFГpKS#Lm `0$V@d@b$%'?*ʛ-"ilyN 19"Q%`ø*ލ7߅v>/.{8͂8ZWsΉrg[%|Wo~[4S>p1QL 4]d0n~uj{*U \mƷr8YKO.}{>(懂 A)Ae cM>gCƸ1913B}'Qr_rg)!G#W-D[pFl%DKX\`$^`鞧I cYGܴ |_ 8roSySa$8`ſƚN'h7%fYyϜl aR`2Z>oYV-Ѣbrz71fu{>]ƨwhQQ3]ؗ!*b UGL; e48'6#qY7ȁʞ bbvXC R;^zʟcX˖5:h.i"d}:SvXh5ߡ|,RQ32Err|oCqa ?{qUOHm>fe(6N\[a IUPK>!&0dCe`Pnmc,A^/pϕr"(9-/[%m RoBf@Z/2"ٱ\`ӔmhBFEz*E([4N6zijJ(-pȿzm)ٶRkKKj$WtdZ1)1eXTOG[ęVA][ٹㅦ- >JA'n\sf:z2BEc4ЈR>+gsXsى سNO#8be,56g5€mI]oCrC!='9 ^&WL*, Z|q5Y{,tVS%dS>c:jr fDb7XqU(NqΜR}{}5 oj^fΧ{笍a߲B+ 4jed)Bf~HR\ -Hs qax)P Ƃ,ͥK\ZN3º(2rz-zY(rT:_^@F\%Frk%|Q(߽諸W͒ a IeaL@p(R Ha`1bB!D@ 2T5;reZpƈc Ю.I<,BV| !VCd!mJիӼVP~0Uo4l~# zPX@,mϙxʞR7Pr,LpRfR$MP&Q2Cbd\\^#ohdɯ`/ ;Lvo56SBeN!}3΁"k M"pL%er]0$Qijx"֝\Уi5h A}@AFY, )XYVu*W(=  ^,1# d1I ̦ tteh9U( n`?z{|E`c^$GJ<@ꘊ}/l3F/ѡR1hOSE96+p)|S/>kpӵAT<#m *_#Ɂ$zJ$Wd^n#?V en+}FUO7'@K>!HnDatٚȁH v\DGG"ΥOgm;hEinl@#۬6NMk#Ur"1nNFP~LKJĪ7 js^t|ɔYCTs;?Vcۧ wݺE8Q#FSFOǂjO@#WH>nd~A(l༩=TWڈ荪v)4FꊒZQl3,7aKSR8qenS6S|bSJfk[eX&Bi埉#9+~!torCRҮ~kjה*rp,Z%m+ߴ7~ymT֢nQ'X׀Z[aZegٷRJ;4"R  Xc#6/J.GЍA"񀙻,Tuh=vz:SE!B4f1^G!Nмġ"Fqa鸞`Xv¾Mnys!{9`&㇃|Ed s4,hۈ J)aEb"J;,LC8uʁЖ,j2󻹆%gAJ\((m94wj2Dy_R)^G1dЅ[Ŝ+Lq |BI<)JP],*%X