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  # #ZOp^T. ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.642cpu=3.947gc=0.000(/`` P;BSE;@ NO>a ˻t'H3^^s$x7q`?EL=x j80]NQ\CO8fSb0X K#1E%*(N^xw AcJ8:@6"!*(/ _pkszMW,\Ȱ3k,}FqE $D5^$TK%ӯ69 ^KNXO.u  -ݗ(/` =6N @k OO[$BRc`@MJB ti ؖ4aqi Qic< i9p y(ޒxha[Dm[C8# Ӟb .6t-$^0y~v CiÜK4ʫU˹qTkؔasԩP&'H3'FVU7Y87~"~O˫-qC$N`vFJ841m2{z ']]j{Y)U>mf&_$&h=SROR벢nq2ʌPƠ h `$2 !9cȄ3p|\hY(o/[޲0Ga0[ a~x9q|:s3a4x4m#COt׀i;D}@]CvpTN /;cm@R ?/ p 0{~PE*|P'1e>G g Mcqiw WBؑƈV˴ zXE?*x2UnA{|IBX*fd3e6a530b79f7fd02ef17c8e14832c7ac8bd733d67dd59f24d4648407eee957ef090d6e7353dc59 6da8ff0f6583832242a60e1b676145250cb53d21 7fb1bcbdc689c3704991b764b006bfc099d8bfbd 9d0f64d358f28b32135a64e68378ec8c0549f7e1 22ea5e9d8f05de2d4f4bf758fe577e9f190d6758384d9973-c896-4d15-853c-1f321b83c426 $O HOL-Nonstandard_Analysis-Examples otOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodnOa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b5 vk"0mRr۟0# ZBq +"BiCA n``a seaysDHFWiybB\g M X@#L{LyZi,  .&&ϸ%dOx-#>\'"Y^aE(qBBM{I$>Q4)E<{h˫LkZhQ/Zʴ8 [ۃD\!E*ev XD) k\Vv]w`BR:"{Qs yqbM|{snfpzgڴ)>d7 gSZލ\tSqR9C=,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ŢqlP9b6!\MX ?;,0@4Vֵ= P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"J"@iw-j5N(I[^]a;FQX`8(͒J)<1I1j B`*5-VsKbg_z: AAŢ1+YZm(;[ u]fOg5 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]\˰ؘ\'"Y^aE(qBBM{I$>Q4)E<{h˫LkZhQ/Zʴ8 [ۃD\!E*ev XD) k\Vv]w`BR:"{Qs yqbM|{snfpzgڴ)>d7 gSZލ\tSqR9C=,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ŢqlP9b6!\MX ?;,0@4Vֵ= P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"J"@iw-j5N(I[^]a;FQX`8(͒J)<1I1j B`*5-VsKbg_z: AAŢ1+YZm(;[ u]fOg5 CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  6 7 Oa' :HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`mF__$ o 2:$ G7pt URT1Q 8#&ZGm΅-  h##a*J8lV'<.IR{#nysCmĿCeVz_Z{SRR]Lj۪襔ƊNDA ,:62\Z Y#ERYwH(HRȍR6?Vp$Ε0ICgIr?]Ib+mrwg8j qy(L7cÞki- *^fF.Lxnܫ_sf/W֮\D4%P纪֯-VcqHlw'.iw _c*mcnjv">JsaJy9Qַ)",_qf>p`JPUS_{-_Y!uk?̙?c``ABϳ;;`)PDO-{xպZ WcVcȖ 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_id596`Oa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`j#0a{sbI&: MfsPPrl^`lAxn]Q2ro8@$2JLsÄ])D14A 00ik>g (H4xxP'>x}t-ϱ4&MORuSSL\WxqsRFuSOUٝڴ;ZMjr/R!#\6L$IRQ) Q eB b!1d$$1gG4J_9숆z/]N(d06x.VJdfnOh+*Y.@1gn9ɥ䍐\!eowǍ6dŅKk/LYtWNMϔ'df,(D,3^FTÚ0Uo.\S҈@z;Xc^W6 Do̒rꒇXڊYVɑ`~AќK f6xZa9jlk% خfqu#|Bk]~*0dm)=AB}ކRt}Th [ #.R.1^򙹆i˥N$C MyofBsa,a Dz]T]MV;h͂GKL|mgȯ%y8JAM!h],%:LCIԦC#VJubȬ[ԚvY~ŵD*hV]Ϻqc PZRopԕ]Uu̸-EN  DИXh\\ AaB)a$M5:Cy+[{F/B8;>J͹~% Zk ـ 3j"^M G@.#-#iXEy(#J҉OŔ (N%*sp=nsb$ 3# @fްXJ'"7&P|rW5^[1dusZݸ[;VBGy.}yy.I_F0!)*o  I*>DI8QjMhe );cj-=GkD8Qa*ʉ;Qu"7op !r[C5 b!&PމCVBV`Kt,5Dɡ,K  <.0B C6ts37r im}X옹k<Ʃ4TY<c-kO+vlh~k5{bNB11!a>gxνAvX 坥+ޠsNuyVz^#餏Fj7 Β:)+DKF|;`4badw0P9Pw<]aTMs0?=j4V6dņ+íO鶑F7T ^76N󣎶zp8AAt;H(ҪޚCU ԇ%9R<+;, :(qڍ0KԊU毷 @p r|w}GJ.ӴF}, (hgHC;2ʩGTH]=Kx5!bxF~ +>?s\N unPmu :\x'ՏOT+Tb7Jq$BIxưp-Pvjxd*°-vJ踪LV=t*CkiDQ\EaPoK%PLBH 9)c]`X/KU qQ؈ @&4x4ި;.})M3 [*6;y46;bv %+KgG}ыʯe!XD{:Rw:*#]h?Ч&ÁBzC-P;ItŔ\)1_A6er_R h]M}fp2ҫKbsm⸩^ 4 @Gǀ`=pvCՃN*׀&?>1a)J\9 ~lxx+G" Ue(Z&=π BbNY g(T`kjF#Y75 )]PrF40 @A76Fx`]1Cqࠩ9.[uT^'PEgDkh"JÄ<juZu)o}O!c4 N*>T[Br7#_]2Vuᅤ?ɺu 0ښl C. `C9Ҍŗ8uqWy1&,a^ծiߴ+㳻Q*2jB&˭YH8k^e{CxaII*4Xy K86JG&e _0I;Io+hu(ɏ!ND$?Y}09q0H)|'Pغ2M)]MX[V@sV) Pm!Eu8YvXSeRT|hYv?x\XhZUϵDαGf7^:i!ls8_)Q$W39= v^{,;NɜAZt\N<^8nyiI]@@ؙI:|@KdX;i֚l7!rwHA)$@uFe`3\57t_3M#P:2^)PQ+ %ϒL8&D:Yar?>^cK1 %tk - Qic_loўWFhfKF#$kIsm >T@@˿ux^n%REM)q R[0Λs0|DRLlY#J@$?~/4 !+V[}o,I]!6S[_;3  +} 2֤]()KE`+n0s5ϱȼ`-AA~Z#W`|*gE&7Aƫ:όu|1 3c< !˱0{cEoM塔:dΧ֕YߏItIVVQbm,V,g(ں3d3, aSUNӘFmh!x|4wԟgl{f[6[myۈːEV K,E] lxOOrY~roEsE&/Q&4TZmyQ,|"䤊jeHHs!6Q8N{N+i:лE|>]5K$}_R .]x"!W*J-dMe(.F_M3sN{嫗ʀ!82 7AnW!{Isz-e!MSgih磤31gjͲlXXcgp` ha")EظJ oCa2FHcElY*ZP/TS=eCϑmN\&_Т|c>Xo TM'^ Ӫjea0f? x/mL&Uu"'$Ѹ17cg8Y.=8w)BrF FSB6Jqꮿ e%;~2<~>! !P7 J&a?JXCI}'mhWJwWY^.a܄Es7mKC#Qn@l,\c e7C`KMAl+LGGg[L njٻJ,?KY ThyD8RB9^#dWcKHiNLK6$֋"f!AC $t"ؿfhMP{VNc2 ʎ37XoqiXLl#YsK{a?gY岶$E uI(, OM(OJM>d;`iő)O$0pg`QXhSb6& .km- x,S3 ָjw*gMSPVR*51|w4Zp[piX`\ |qq٧N)+;wpY"`{1%rHNxrT [I5t6LJ(E6(Uz[6B-6u0@pAaR uֺ¯vtq 7Xa "4K F.IMU|A,Փ!rȖf.KgW\eg0v>瘁|F,q)w%`uƐ@R<> }qJ X4#(q-[H&e:cѺPv56&æ%R\YPFNj*i`UN7"Vj&lE.B="1fn=oZ<慴e$Zm5( =)`IAm8U$jD2MFdOxQ8S!ڴUBp!/ oޡVX_˴d%[- F"ZHg$|S\4 |W9MHencC//;.P'p ԏvl wb-FK2+es K< aǮu߷ܒ?Ǎo H= ˉX m140'uFpCK !=D#.2 -a+P؜u7A )4[J/ڛa9y1ͲU#Ld‰[M(R}럦}h ٸc*hqbХGӅd#;&j(nrcNMV42MᑿB3L↡< {āxhbpJ C" =̟(|cY$hTK)*gec@  ;\G(}*OOnd]X 2ҍ`gc‘&&cd6F9#jq=rYQ9s#ltҒp( >~XaDKUHIj.^d!T#hM* J# DaItI'NXWRZ("ؿs0l6zo8|=A~.;ڵ͝j;'@\hN$&,րpFjMH8Uej@WFto()y]cw)7x-hHaTbۚ $FCfJ*qcƒgxkaO-&?\GJ@TGQqr\g6kq r~v܂S; L6 5:b6bQ^AoL٨l@a469on B>R*`]"""Q,B 646(5iӔ=R- 9EZ>Ei+GUR; j_2PjeBE!CsQ@ 4!ZFKvwl^)?:֟U@s]yMa4̿,l p(PD%7'ׂXrIy72*{݌4Ayb5b zy$P묟@RP; >`}fKgb 1f]!ZCu1!.OJW04n?=}fVӰ'2swwLtUIEĺS/q ŽL099oF77#'*ؓ~0?? P G (p8?v&_s'ۯ7I;S)_T#iI*J(BjLu53;NS jąroxlD-îTV)QI%Eh@@hjxyyy1ĆcA} [s wW3(EJM'&1,6z0fv9,ݷJ2Z(eYܲv xX方chT|"{]&Ad5wFk m21EIT81%T補ŔJ0Bt(EŁ P#T))DMD:3 HJy(uT|PIIpEh0P 5Ĕ(0R1ftDEQ !`UQ9牊΅ꌏES9 O{a4Mu|oe޼?sC-sj)QT.6c4o-1+g}u֏b#jCsgV7+⤎ӬYV!!鿜cg}=&flə&F|P@S(ɇ}ssnNT4M@MP}׷{{m_Ҽ92o4=?I:#B<}{Eָ^<`]Gu6Z,I9c;zNdcؽ4&_#Aǿ׹)c~NaLw:s+t#IR4HP( aX 8D0b( B bAab)*PosAkN‹QJ m˴]O@V@ȹ8Itj!800>5j$ʜ܀=Pq63)F$&79-U 5j4bKdm~yeҎRՠ@iO\ BWSپC Xg* ICgy]{c5M0}f="rUJ'3"Ia5o| (T39'-zDwm3kA1&SA~wS[DE(UY?PcyE v{ƭLᵎ.V :v sI{*Ŏ~㧯JQuY`ҳhS+yE.ZGd0btI`Bǥ-vIWt9}@WKKlju($z0JtUrY"gL0l'^D%53<q38h *KY%갃 I~ρHdaqECo5VXDDdF)A\lw*˒!rp/Hlu6_dG Fl3o#L1[j`m'ߘxcF:M`oK폢tc|8ɣ 0 \KUAH ^1h fseJ"KE%Hn2lmEuj GdՋv0k zxq`f{(ѱc #},S#m_8+c`7 k2@lzQ^hT$[mFv+x zXZz_[d/sܛ}`kh,Wk`&2ɟ1k+ܠ/׮$W!!75 ܖwP8BB!eI6I5`3RM/P9h1*4UV \ɠU+rh'"kG"1RF5iB"X. Hjpc/,<0 5EaLEsZ52Q6l_Dof?qe Գ0nYG)#aP%) '@{QfԔ6cV^%D/Sn[ E c)ž. ˸ط <0 vnh&^|b 8U~R嗎|DcfqeqqEQ{;\㠟z=?|$>O){azGqKV[͉zֹDuZ76zqʽIS (M #HIw~X!,oxbm`*HjtrF5lp C؍m^p>/szQkͫ4rH8"@c2s?+?3iۜTk|؜GIZ y _wkuɝA2h!& !)Jx&餒'j4{{9P"Y4d´;"2=#B}U{呤{A_$@72Ej> eg.+ D5GŃ>_RH u͜E0)]3GY@pyGlHW0/1l&%>$/ػy?EU#[/⇟_=<c}9` íYh/:Fqx0ۻw#X+^"" ʈ&e"#w$( VC>J:tm&AhĐqa[htj /"J*bQe4cSعf4\oh8dJKlg!l(b@V]&̈S󐱔JEHPW0)'TZ)8b5fbVuTSoEER5DoT8tBO9qU.d\>aJ %/ӳ4OV|N-ȾVx (_.kzBKn݃W%_2o@SGW݊77bb5m!7~eHjQkjSS /4ԦIjUvMC7[Y v2F[t)^"-YN$+UdqqS\=fW}І7%d/MrwrtM:^+|ǎ KjaR$fQXq39 ogBuxbh'ۏ)d BH751QlBT~ieegY0D+gh|G`:*7|vo tH6NVHA^W%(x-,+k$JC YYl_. 3=`YP 갯8K7yHAa먗,Ra9k[vċG{,bI)P8E}Q\oE#gEʬ>E*?Z(CIND 淹eZ{%G LCH r1E3 DMG.d8| T;L'PDMo+L;JD]IvRX+BJl+Fx}R|:R੐M%lcN)QڬrJj*1߰V_!U!<|&DOn> &nঌ{VѢ!?*\ "/ þ c8ˑphREh]qW\OiٌV:t݉F/tWa`ݫxOkeoDG#Vj%P.zJ}!5&\ qi {(8/z:N?]+l1hz\>v a˪0.f(a;I0"?q%+x̆h+'}~7B~@uaC@c z⤏-Ff#P_/fHyNv+tq.OfpuD%N/=J7Q PɍtPE'P$R~>¿Bµ ˛B R 8u' 7p>J(#r2d)"gz+Ҁ""EmPER=GQc돢" U"[PV B<],-]P9v磴=b"@,Z*ŒdaRx\?>,v\" =[g\ *0PgK,HPxNCݚnY73D (&a><=#ʦe !}ޒHQTŒ GIU!7pG8['c>Gj9EeE-c0I6c@D)X縡߁M^٩9t)$l>*vݭ̆<cMSΞ;M9|L)XA?ȷP PČ*#!&jxT/gꁎۙ~$ILӬ]%V|Xai+'G% `r[{i3O.BF~d*&"ʺ0 ^#Z`ϕZ-/{%m ROa`>x9(_".]hխ}&KMHH=f%Hh1ڜJFNJoJQ-ǥR[VQQ ܘ4fX*r2~ݶXxEAWɤ87DlrEИm#6 X/lď(K;j!to0H>pPlvcF,H081.pLWD"0 ۄz $VC)RPRPS;7@+T Aq֖R 0vkcoyCY+zsըFIV -:I^'O!p%iA-(pp@?7:8 Fc ZNSU]TEFF1za(xtJ/@Fe>s8G8ҕWr a Qeim@` JR q P1BB!!U5K8 #EL~ 0(>5z?ӎb+4mFĘSK.`2? 5BH@h T $e2yXX!'bAj4q׋\ثҫJr@"%585x6ŒzBB!_3##QyVPQ2DvEרAT3(g'-a- _ 6 mMKdX79?AҴ!'d1@x#+mh8T%p Vu 1 H>" /6}ϧv.h/ 'zBpLdşbVG-^DյM9TN+i8dS+W懕^i,*MS/y+{# —.8Gj(n"']E?)\ۤk|\oÀb>fS.`4Ǒ}|hVP8SX:O߹;+J!8g{z[ؗ@x,)T: 2GZ7\כMgȝ?D}פUεĞ 1Kf^Ȫ^LY~aUB .V]&v!ƞ3}]J񔆮[(aaz@9T᭍-WU\kWpApqx gsdh80W冪֝E]l̯ <ȡҴKYۍO%Q$`K DLxЅ(,Cw45뚹,ԅT8aޘP.\.+767 4,)*o}ͫ@40`x0<"x(J 7.%45MrNel)z{5BbSPUjU Œkn-orqntNJ/l& 1Azbj[PyQ~ X`$14^\'n}.1-8*~)$| 8 n،닉4 f9̩ /5ֵh4 )y!vsdI??L9SXZ0F*fش,<,+ nⅻXlNi5D))HJ'@Of8s_S]65"%5tCTBif횂ɬ&l=6/]VH^2$a;j0Xez%m"Y`eWYL`*m! s!1ƺW>Gl܏"s + {:cKjjsFmhc7] #$K1#Bp H#i IU5单+;U)E9: e%p>q?䆆ĢQM?6zkŭըmїv@`Æ>,)8NuOp'u݁NtW-- VH̨EUc簜/,ڳߤc}mB6&_S ^)YeRD2|D1roKxn u6(gEpJ'ŪH'd1a1hz$RBG¥P(Q!Wԗ8~txq:x:;bniјtc3 D/\CX1U(=*ߒ0&ZNz'v28H`͚q ]K;Iy3b[#.擄NjFLK(b@A2]"tVhA t\P2| P:,Rs&~UQ뷻y7xmo$Jl}`ƶT49{ 3ԤrD{+pOn9Or `:w}+cyK8eMFWnl)HՊf;9G WgBLXHB([K/cQq"bS\XVV1yj#@mtl9(s;