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  B B;OpLT ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.647cpu=4.112gc=0.000(/`` vFS%V.`׽tmA2ʋrk '! 1UMhZ4'I{ {-1xd?Ga€)z%hAZh>:nj P 1%@P79T1w(/ _pkszMW,\Xɚ WY>}FqDQ9 $TK%ӯ69 ^KNXO.u  -ݗ(/` M @k OO[K9a`@LIAO[ħ9H.` @KcJ1Ŵi{GsN.Ds "$]JU<9K|6P(@x{ 8r~A"d69->rFI iW]= m%6a U%o'VeGISvB#]mT vmͫ-qC V9\ 8hoW*IsLݓS55g}v*i ZOUӕW%gff15#PIIRƠ hHc!A SBB"BHDRHUPf>QLPXE ?bkwkQe E+\{w%ZWwm®%gER-4!^dB|i}F)mf= V!BEZDƞ^#W6;&P`J\ok?haL7JiSqDWZƈ^H>=*19e3874e75eb9b75e0ce8e0baf0306be2ac69911a94bec1f1afbee18cdd2d9a64da35bb88b4c4cda 5ef5c38f9ed83885f23f9268d0c06906c1a7541e 9f8e2366105bb95b5c017a8941af811174b038f7 c26abad3176748a589eb84a7556bf6d6ff815f58 abb9728e2cd84692e1675cec83b398bca6439c47de803dd8-8d09-4a35-9b5b-47fa2be57be7 $O HOL-Nonstandard_Analysis-Examples nuOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodlOa# (HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b% 6fk"0mRr۟0# ZBq tܔ4ҥym_` [[4[Wz;P$ EU0K" q4-`0 0ik>08(X8`<$eb$-fćD$+ 7AHh0i/D'ۉXf҅gmy֕j_JQl0m%܈{&Z{-A" Hy+_i,ws9T%Ŭ%Xꮧ(4 Z-bs yqxSR꽕3JDŇF4Z <*VM9sŇ{nyy&yZi1!FDL˹lk/6Ts)0EiT;%J+7RGk\óegIUl |Z̜;L$I XA)  a89 " B4  d$,V!GbnԄ !dXd Heۍ<]09+C$/&̊0b{<1GlNy/l-q70*}Wl w1L# CB9eu:k[òaHmc$Q"2ݺX = ,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]\˰ؘ08(X8`<$eb$-fćD$+ 7AHh0i/D'ۉXf҅gmy֕j_JQl0m%܈{&Z{-A" Hy+_i,ws9T%Ŭ%Xꮧ(4 Z-bs yqxSR꽕3JDŇF4Z <*VM9sŇ{nyy&yZi1!FDL˹lk/6Ts)0EiT;%J+7RGk\óegIUl |Z̜;L$I XA)  a89 " B4  d$,V!GbnԄ !dXd Heۍ<]09+C$/&̊0b{<1GlNy/l-q70*}Wl w1L# CB9eu:k[òaHmc$Q"2ݺX = ,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,%1kU%(&k@pQLY~vo qx!bO4q=8bI cp79Vf[kVSd<󼂷֔SP%fFdd ps@QK!ɐ$`(7SZ4PRlD(5ĖrFed~tc,=2'%Ga7K9`>m_iCgL2k;?B_V˖ B`}ۛaQDf߳3?q>`UX9HLT*vSӠXOF  Oa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/< |#/h 7KdS?nM%-%-x()'B21FY|} ƞkuOC'x(r! ށ(t2&ckd-ǎ-ʭ^뙆oӬ (H;"5hhz&rfʯ7׉i>M(#͸CnSRA9k}(")[ FsȇXO̭T_Gi(j'7^[#Ed5C֡kO-Ɩ޺c1D.<{hʇ-ѪSżjKu jƐ5l J 1k;и`jD IF 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(/`&fk#0a{sbI&:؂MfsSPPrm`_ [c^+=y4 xU4I,CU*N|*(d@q.1CŠ3g17 F03@+dJy_Dd LsϝڷZO987:Zݸ[VBGy.}yy.I_F0!) Z! C$C5O;;\R3֫RW855n )qwEzsoޠ[ABø-^9-!NTjZjnK5RJ[Կ ΃q*Hparvۼ͸T<1s"`;ʍSibf1bW6r43̻%$ Wb>C|ܝK4s؛b9W7֋ I'} xA~W{jvM#Db;Rn뭷skX]UL8@P0y1_!mn vE$ݒF93=6PLY3sNٺXY'@[ )Er &{L4Pkr3ƘI;Sڦ5 PQ |/v5AU R+}Jv .ѣBO+S+oz"ĬP|j WмA_s8XC~ cσpϏ'I2֡t(wbj}Lc;_  54^}@|md8c%w 7fMpş \Q[*cnE]28~d3C褦(Tܓpt|mJzY/iNC}KGcxZ ={GM0Ԟb!4+U xiB|&֘"(2ӂDK_HJڅ+P.}\s١2ò@J˫000,H b)>ӭgfz/ZSA{ (߈ ˻.gS`0Tfvk^_=[녚SoCdQOfq3\T;ZSJi>Μ9mrih[8X X_AnӁeٰFH J83LL1S! `H Ч̖4iӻYgZ7y_qF:WNYp0I rp3k%4]=1NCf7rQ;`/E [P$LQd13Aݧv\KKAH@ iZ1uH@l%?z%{WT>ehJ:m^?%aER8iZxL1[qP @㧟 {8C$ȋj;EbchȎkoꉿur{w e|)0Haзh)'z3kV%h.e(:KN&ѝDLbXߊP~lu ⦄;D>H$FC R `-5V*(oM-X"4-(/ʆȏG`) Ĺ|o6KNHz’/~a5V~xïzx##Η?}^WqZ)5lV'^tJ-S=.jS|1)PQ//%:Qhh<1&viP8>X(B3b_ڣa ^>^b"` 1O!G .5Y4At5a2fHC;2H xETt'Q{o5@r_gp=eI7T^qAwV.LO Uz۾WiDؗvpUӻA$]0lر$j,.+_nZj}jۢ5fl5gf YE9٧a yҊS}25d%ba^J qP+Gc#bK*k&}2m>ҳw񓦆*[Пp'#Y`3`{ %AUK{sR9ىD`CɃэRxS2ɢ8԰Ƒ}_2hKS*GIlDd2sG3lxja]͹x;<.5 `l> Cs{>W$Cܑ/j)ך`-$rA2,/uI!E.0p/(O¸ \h;mV84=6 a{׊^0]9b` EHAזBs Ћ+I\ɗ\U=\ćPz4q\i7͓/`V3s*`1s ҸFD՟BX"@z rс1WWO2O}XT).}9҂fs=Y% ߧ֪]L/}lV\'rQu cm" 3H([`Cu"OKZX۴qR ]ѓd5vF/ "/^tIz4}>(ñm7T=tp (y:<,|a9@1̥ &˨0OvPJOsi^š!2Y#c}aB CH|.iFq86p%&p7yނ<^JG>D.xda!J=']+p֌>sWD)ZB7oWaY\esPIp;8GpNFv+KJY]">]4;KOۦͥR<3i!URN?o|PGe's s"V )_kS؄0M 2)(SogzTqº0J/$4K}s0 #+%[UVz%Օdxx1pnƣTrWGxiΖҕ o~ѦeKhUmtMY 22v tfP"i ʈÔkٖ6-em>@ /uxm|^Z9vV1 Vt\q)<2T?s%)<u2&3q77/H1f&!8JY*zXn9Mc+HǗqh j0dˆVHB)w$:<‘\߀ߕh Ep[|S;`gKE Snw$ I}A'/E *q;_*l΁({qY%Isw\ȸ|I<'`v}gVNkCaKcڮ ]Pk;4DTxsb>]Uqr`r-O׃ݴgUJsi!|}ك *P ,HShR p ɩsrdg f2[k0(W\!/^0FA%Xdή̨d%fH E0 ,ǞMcpY쯨C.d: ]XW\=>zAF`Q؅ce`Y& qV&2TٿX"Ž'^WDHlaG MP;Yg%ǴқNk Úpu-%-F8<=ȂaKrE?%GkCNkIze*)UN4掌,YʅIƩ5^ŌJ*+ t"39IcdB~)7<$3~[a^r#j0V8oZ(KjK,ilKB~u?\-H`ى|s qꕼ_n!}\q (8Ih%zN>&Z _! {(SjUXpќa µzKA:BI$`()LL$yi(\#*pPn34k>-5]C˩u9^} `p)s,UQopQ'pI!)63|,'368ˠ-|@z/Dl:V5y 0WU#eCg=R8ۖ86A퉤WpG}V[RڱK$KEar tۦ Ɲ,SeD9V՟3eVB*Y' ޛ{)&M)ə,ϬPk j.A3I۪5`34o&g3>CF25TA,~RtORYkdW%{4'Sq IDOjn7^J@>1vM*? L͂g1\ `w`/ʼXE$BI\xdR]!Ð<|n $Wˆ[ҢwtDQ:6'|!LQ(j0b'0e,&NWEp Pԃw3fH b rR_>ױ+V#*K3Db$QBr$,o_`")y)#p|@Yʇ>h|9, }A0Ev*d#k89-@1zEh Ӓ `98HT|褵S qo*:T**˼`^P*grQbHyF'$F+|Ji1r]<)&s#Cue 1%ӥ۠]VpdU*)!Ad ?Tdҩ3\K@R-TdP8 k8  m}ɋ$}xrH@.#.^"z,2.;R?&I_v%I]Y/܅E͚/yh}׍2ۗ[M#-'44)4< ghG.37xA m:_\q 2}M<^}wL02L&!}ǹ89s*7__ ]Y A76ʶTQѰppbJOӶKy7őnNM,rMrg̛qc} п!D@\(pBe>jE"dzޖ%(1XlITKb)h5a:s!?p4M!p +?Df06 e I _9#k<A=brp:r"ܠ#np>Ӡ17$'X/ &+d^$E(O痐5J"mFƞ~!Qr r}4CS|$lڒ4vSf`" 802c-)MNڎ#*$om'T]T"len^LIk)+& 9$աT嘪rLJŭ%iS^]2MO)*Ntc&J0ݢЛ^_6T8n7 <65~<8:fU<Tt41):Ǡ>'|8kX2/8;q=!`;ʉ#7[EΔ@uztJri@KS̸esfi7oO& ö5LU^ؾ wS ҅4 G@H7oB  KAuhRޔ<^ 2ɯ` HoJϬ4v`=|Bl`#F ;sop;VSXt"AJRJ W)_TQ1ft*r(EXk]3;@JQRb"Ņoxj"WaWM*hB ԤNx?Rc˻v5/033 D`ךPh9fyW7\k,qbB58[jԤSfbÄJE(B#bxV'iҹPQNT|ET9Q.Iϟ;w,\دs>9/=/a PT.s{3M5mc9+(w֏H!Fй&j`3WIkhb{=҉Doؿ9dw]}'). ,|d`jDӄ <;}pon}?ȗG(Ҿ㙥1f9N 4\~ mW6KCFy5TCQ+:eqAŷƖk3K!j(NdcqӸ~nyx_"Yπ}ν)tܹf?2tPpSK>e#IR4HP( #RX0@8@ p P0!  d1)PjwKAzR(pяi殇 0 TkS.Nׅ?r} (}zwK  RH(h[]NF^$&#he[+v#۝Fѓ/qZn=5(T*Е4*lZM -͟+C B L\ib:f _gQ(uJ5x(dL pP"i_Am)Sf;kUDQ-$S-kT &wTxjBV-ҬLVVbe.a~ۚ !_F9Fǔ5Lt ?FI~m"L$VNjbN"tqiz!4*r['goWII?qAaIZJ]Ҷ $>I 1e ݠݽdXW@vPq!$1UeǸ'=niV _|$0oJ.3t֎hH$E*98,\H]"-[@%`Žg (tj?@RI+9Z'{''2U3>Y:R4p6#-#*Qr"ܴkb5bf)L\,DA'񪎤y6p`SS6$gDx91fC5. b$;=Cܔ3c S)WS=+/?L>8A58u),FX5pDˑ\"! L2j:8c9ܡw}PA#\ˌЅkq$f/sA Q}#cPF/ xaSj.rS";Z;bǘnhV["9nҁ倞w=;lhT|6t/l ,ȥ&"H|^RXzsJ" oJ޶ XJ G5/xt%DaLg@MK!XC 6.5JpaGoǎF1\ `ȼS|Ћ4]r@7$d&ְ|<IӋà"Z۠*yA҅k<K/X/O)a750Y9c ufc*/j.zgyF m%Cj VQJ O&Zt2{@Gv*j,J8},ӑaDə~ XB$Yq0"Lpd6I'笸dg#ub- 2,(dÞ.O}]hB.NH:lLIy{yh`RW/`pg6^`fr7g%ẏiR=kT~#˵ RŽ2Π\Yx!<!/ouҺW6Y`~MG޷Ѝش0*.t"F݄Kw稃WB6WFzrc6\:EfA!̜%xg?0I<dT.` 3H\fzزe"a;=Q}i4BjN\, \s?iJC봳0.ZW0Lf&BmrUB[<*϶1"IA3AgA #eZHpXGG_Dn;h>TV8G!s0V:P m +2U 2D&#"5*E'pUB =W}CWQtY([s8*b蒬k?&mH%FBpA¡-o?/~l.W㖮f7XTZY74cj p7(HynjV#]7Rmg-EaLtJIωh"CnFh>и(pWہdP9,mfOtB%!r[7aϻ?djL sEV?fhZL9QZAD LAXEV<-?“!GOiF]$/ DCj{}DbY rix%@̈E l/0N+TŖA"/`#D_ Q𺻬{^ZQ)XOev7WM'1 a-i:2Fcry]+)&7蛈ebg\S>lհI.dTB_0Kn moUz&??J#"R! SP"'[7s"o]7FuÏV=IŕWd.0)C&WbBhv%!Mr y Lc/, NRZ䭸Unm.V޳׹ ɧhڿZ}2un+h'B $J[X90QZbm%u~Q'_Z:n.K-Kh~9tazce簋}qsҸ'\'[s\$VH=D2 O=R~B"RNn(,%WAeaaAu˂vr}谯F!PW*SCgvV"ny8ɯTBr3Wc)5nTirin OJgܟ_=Ǘwij>VU.Ej^ @j7#(X'`Dn _So\ Ou0ƽ>3QiݞҚFdg,9omwX.Tj^28|8ĮTu[]E'^l[H+r|rbڵ*ErՒTw|!(:iT>q艿cPoHtD gűO#kĸ^G, bnhT0V5H,}ku2gL 4 rIoT9qVTW_|4z^~-Ηc^w}.?}ۊ`:,_@ ̒ps"l$̂DP٥@XuՓ:9#Mk)62X]Vy.G EBr]׾&}f&U*ә vg#~98YJg®y6Q U(YnT:dDZg=dA EuP4Rn@@?yjh0?x&/n~ȫ, "#(Oo %"̬ cX,ڰv4N<6Ɂ覂%ӣ Ҵ "EjPhERG菐E>>Pֻ!dLf6vj:@)Bpu?;s RT(,7 寺Р$ݚkNpSmhS~#D2,$Hyڎ}nM'/ TNYykea_̈́}?jL4*2Ndi^z Q2F14ȎUV0yE"-R= z@ؤQlz#z+Ebrr/:Sb:TUwvRIuKajyV`L)hA;jS+%a`Ѵ'aS&?hƼ[mnL+udVdGs˔aqw!/|/xDo5h@62`tV_h'O- -T592VQ9GRA?YG\ y~`x{,tiO7A'Ca&]x|xP>o:W A6Ң{I&C!=RCBy—:[UKS4_NTaQ[h&O8*k#I2Vy|(GD{B[WTئ uVr+1~E{:]-ݝW@ۗ}r #;M< k#2c^ ]>W?9 * B1VZBP\?E!@$4Ha'ҔG=KOݥḄ'H+oĈ׏-ʔ112Z{D[[]atk(?5QFMi O-'ddpzi$ ,,$c  ޺$E`X&i0,7մHCrWa[d!.{Y8+U eps&RjiHEALD%+jAEA,%Kڙ k lDIr{0Ӌ&H)_ŻýQX=[g[?"Diuc\H@6 %e:pp%8lHQљIBIYX6/_0ntamާ3&.vV):!:"00XrPW:QwxgQEet)jM8MuFTWIqi֝!i婠@a%<_/_XEpyz[k`UXDxViM` >=c:#[~{P28 I{=rVy#'XO /jP"82+$%t)+L'ЫB +%ۅ[7UkW?>9H# @U@hQ!rvX]ak-GW 5$<˗G7A/;Iš>HS9F:y1{Dь(37 S"Ad3 -GVrj1V ,ߝ r?UhPAX,-W[R4Y~}حhd &ɁŨXbεIԴR;/ENG+wVOB}$c})pb%8FDR"ͫì>yǵޝ62̓h,RpC,ٶh̗ێ7aL%҃wqqPMϞ ڌ|qom\N_ GS 2zF_y"h$!lg4AG|2-(v]HCz{>moSdiv6p$\PFnlsPHm&zCY{l6 =& ,acs5qASc TX6GiO({+H"G骳5AETޛ񬻤\# \fYya/ڢeGA0xu@!Og@Ѡ4Y=e 4c\}Rk#U٦,Y1=n@j7{~p$B}_ޕڞoGS~h񫻪oX Q~/ri$5z~v)?=aGԽ#?˺8+~h$P9tE L"tY5 m ."H8v Փh?z^w= עJEAƴĖkТ6U'HX*C4aia\(%SZyVeqϦ2v:%d^9ciggnD 0c[/ ƶm*$5} 3԰FFK/so&0rF] Ҽ+FqO(uMM"bϪ% ;9Gh>m)RޜXZ5,@ CSKM8BP:@&$x=k(D,|hwqYϏUeP