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  $ $YOp`T* ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.606cpu=3.898gc=0.000(/`HPel>x?MUUUʊb>p' /Gs3IIYO4KoG'r0`u9KnC<ΧYf5 AcJ8:@6"!*(/ _pkszMW,\_|}q@`xP-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` -M @k OO(^ٰ |%a`@LGBй aqyOÀ |lb|N4;5[99$= 2Gd9\  lp@`=xV4HorG"|9hK4J]ɜ{Z7dY+ |sK85Z讪nJS!MBWb愸TUv/|8!6m |*JK8-^+PaGsNcɺ$봸@d ]5HԨ )ΫɒHgGP}w ??k~4mY(-^yyg psӔ軄6yyǕK~1Am*@Ͼ)?Ƣ5֎$rK ]q{IṠTfd3e6a530b79f7fd02ef17c8e14832c7ac8bd733410762705afbcd782ce8dee8d2dd05d7dc4178b3 23f898d9e578305d6033b7e85db0c90d21f08baa 664498a91e20fd5c0b811316370a5baa6b5ad5b8 26944839c8d52769a23d013e1e0bab38151b6cec b7e337f861e9f62a87cb0d1084291af5b7d7a505a015c85a-7e4e-4ca7-8dd0-fd4089597e28 $O HOL-Nonstandard_Analysis-Examples nzOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodgOa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bfl"0mRr۟0# ZBq jr4ҥyoa`a s %#WaysDФWiy+B\g M X@#L{LyZi,  .&&ϸ%Q>QpYdyA= 7%D-&P i*0Bq-ϛVs{B(qJf 6wrZUgM(3lqXlYF:ռZStCZj.y *@H{syo*xy='>x}t-ϱ4uMDNMmuĹ6s]I͝kZJ-^ވUJK>?)JStejNNkmZq 4{{ǽH!l VN$I XQ)  a89" !P!"c/Nɿx5_ej4>y+uy&Ř?nSJ~룇7_,kfGl^3"Q-nRqi[{qaG dR߿;~Fv* sj)u|m9P I͸!~K|X/1.p͸ xMp1E\; ʼDe6}ٺw_7um%C U 3a%r*hrͶImZk֕5v=LH*i٪ZvaiВ<$ ytLb+^M~n9!)Rm-qX sHky]Jy,ZXeŒm(HAbn;@ĔK) n?ѲLnK}ZPfNt6k|ΊXMUI)Sg/&N#Cm->d"#6JPHZ3/i˸J(mWR6y'梮pTV25y'pj 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,%1k N9ŢqlP9bM~EV:)xFZ #̞j P gR&^@Z:N@wYu j/8"Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"" PiD 7es6-`DZ 7G9 2 ٘<Rb`X%=GR*5-!&13Te7p= qr|_`)bӕXm0;948@4̞z 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%D-&P i*0Bq-ϛVs{B(qJf 6wrZUgM(3lqXlYF:ռZStCZj.y *@H{syo*xy='>x}t-ϱ4uMDNMmuĹ6s]I͝kZJ-^ވUJK>?)JStejNNkmZq 4{{ǽH!l VN$I XQ)  a89" !P!"c/Nɿx5_ej4>y+uy&Ř?nSJ~룇7_,kfGl^3"Q-nRqi[{qaG dR߿;~Fv* sj)u|m9P I͸!~K|X/1.p͸ xMp1E\; ʼDe6}ٺw_7um%C U 3a%r*hrͶImZk֕5v=LH*i٪ZvaiВ<$ ytLb+^M~n9!)Rm-qX sHky]Jy,ZXeŒm(HAbn;@ĔK) n?ѲLnK}ZPfNt6k|ΊXMUI)Sg/&N#Cm->d"#6JPHZ3/i˸J(mWR6y'梮pTV25y'pj 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,%1k N9ŢqlP9bM~EV:)xFZ #̞j P gR&^@Z:N@wYu j/8"Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"" PiD 7es6-`DZ 7G9 2 ٘<Rb`X%=GR*5-!&13Te7p= qr|_`)bӕXm0;948@4̞z CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  / 8 Oa' $L0Bq˜(G6#a/b*SiPeZ'z2j` Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=|̨#/h 7KdS?nM%-%-x()'D4˽7zzoC,o6OO0׌U:'Nȍ@Tc7:ukΘx(r! ށ(t2&jk㯑;+^4}f}V(D1e}FIy$AC3ѕS6S~qֿNL3DobFi%/>r 9k}(")/hdzRB ŔZ{+tJ FҰ@O@6@!B 侥x"GzM MJ;^@H3&SbjdfvRGzHe*(`>D\L$_HGFؿ4 Nl"CO2'Z(1a$CF(H4f*_#(@#ۦ?40d#ȕw>#I")10"I2ۈdYAġRZ'"RHG J?3cNHI'F))r_! 5Q.5z'Bj$G@HBn D a„#Awl Hf{sWf}Qs^u/^go.{=&+8K3(P,zمeOXh&E3RrW5^[1suskunZ9 u>繀"y`$mIl {`Xh $HJoQF0mfh>c$@rBJXZKA_P`c=HcָcqT0j+U'.қ{z =r[t<;lBHՇV@r,5Dɡ,K  <*@ ͷy $xeccEwPšΣ1Ɯbァ{6r4C B1!a>gxνAvX 坥+ޔsvNi.ozA~>ЅZs̘]H:ѣXzkX]U]:g\Ҍ)2׏*mkY _3{`?HrϝDNhAqV wctzm)qwR "m20¬*qΙ{ŪYNV[]/1+gNÁi#eOV.׽?.]P|> 4`R[C8r 褳/Ts$>WTz Y&D7<Ĵkk@LoQΕڣm1awx dĕB71^q6]p{1%0M"ϓ&t%w1 }>.S#/iC|vP+Wuo80#X 2)A-'#.`?ˋ:V/P.Ji$7K$IJ߰so>KbgĩɉC.:PHn`V9-—ED\n4ҙNքWLmbȆ%tXe>zUp|H1EVmhJ/ra6j|h 6̏2˘.Cy\tcU:yTHJD`[](+znDixV7}jp@ńt3mnţzjt'>ƳԡD[>`b!1x|oB=ٔ qX sK' N$(m~!B[\3Q;>_T l)i_{-ŭO6bui=|r 7^ɰ ͼ)NPxx@kqe^^}oAC:@ qߋJ+$/-Rh걦iG̒G^#8vx9ʮeM7W |}2 G')4"\Y@i٧t_NJ԰P8hyQnQ#\ǺVNSAaUN o Ze0[A5IJ#":) ?޼YLhA$=*}q,(tzJMKn }|/ qΓH ִ: 5 5OFxb I {@sk}41J#0{O_-с;йsKj raj:0>xFKU^5kUPH[tڂԲ4yj;PHx,@nlCclqbt tqq@ZUܶk`Ռ̿$;R,oXV.W!8}>'@졤LJб (~y .0嚎C(] l (k rCG,&xֱ4z {-2NlǦ(T ɴRήװb@+AOy EWnϏ- 9F]n V \@q>`R<G=)M|% {փ>OTluƞm^AzxcXNoBߒe86 ^/h,J,Ϳ=PaO8!p鐺M(TE`?S@R5>fEwk5Ovb(8߆ґꕒ-s^Yꢩ,>%e(7+g.Xxݼ-oz4( $?iXKt4Dy^_̜l)b5=1$#hbZ% x#^᠌vI>g3eǯ?dp pFuxZ>vQB ƴeq'2|9: 0)e0}73J"̓qD)nRw"9\恫"~+ckh|:;: I\}#%рEnp{@g '3h-1sEFϋ~2O<ༀ2Je=s.TF|I'ǖl}R!F2࿵dJp2pv ]ҲEwZDTHiIsb8NVL{/rTг;45pMHkWE`p!22ƷtƼ:-'K!qh+75Ӵ& /AZ^%O`(yxEy`2]WegiSn/1`dUE+BՓzB=BL"-u]j־#gC7}5D U xDgeT ~љO縡ΖdqvLD)xZbhm'RJQ2{֯dtaKI?E~sx6&$\^U0jܛaHaK1\w$uS/s2XdT|Z#YP0UV4@JGh.|&Hh<\xB~\YۺZdpI,ѓ?Nax}^ɰXp~g +h /}Gtd}X\esa? SLZDI96Ʋ2!VvkL|`SUQ"4gxZۑ(p҂D '!Vo#Z>!L4e6\==Y4n-\JD{QUSಘ$m(fCC( Hv,ڻ,;U;`$a [U-a0(?c[Ҷ+\UmZX@$%ěX3Rj |" ޲3d#۶tO|0\| e@6s*MSU$TŌwWL ?1%g(NNEl׀' S3 ̘;k!k(R[ܓ$.%=C 4)|JMIuD LRXC &j+.g$}F (M>4Zi͖ bh71`^A ߌ˩(I(:$2jdf;HS_D_5OZ6@)ih{LcRC.(58* 0_8VjZ"]?x aH ] %ßiJ ' Ñ{ǀ? ;г<\XnY#0wVN\*LztC|\It4ʉ(qLu8:ꀯiq˶Է;;F?V&g](̀FM% ō(;^3pLWz]BI]X]@΍ؙ/{wU9&0iB琋$V_"JOVRfcdRi"s 뗰迿Y-)+/ YV Vj^. Ui@R<'Y}d >".D l9doI17 8Wuղ ~LJK$tpPQ|7_pH8*yrkN`nE$[B7")2j)Xok3iipB2hU`4<28*қ@_WV]'e)7n<';Fi{i}d?3yٌOX`*iEDGYZK 9N3F`"L\$`S_ :yQnMW9sr#.a.9C/.[aE3ܨF-IƩu6J ( C8{>qcI2-C# %9*hޙ)K B)m:).\l+Uc)U'hǓ- rtbH> ޼x:j_ Z#z&p qO(ɎG ie&U9"} E44818s8t[1 2ՈCAy (7 ˃"g,;Ay;ɸN 0CU%ql>Ԁd:`OF[z]zY(FY\TK¸Qاi4#oČHH &ϩ1" D%Y3"֗-k`EKL$1q28ߑyl9Rv96~xQ#jayQ֢[ ]G)NZ󔐠%"O劊2DQ,1X,ls4*0(]JHc|ΠUQ脁]; &Uuѕ)5|;q l5JZY| (=$E@fj"S5"C̀ 0s:$,?e˫cLˆHZIM#D6k\9o؂zt8x`rk\;wTtYKMXASJ  {yj> quǢEo>[ 5\͎:Qvvs ÷Q,@gL7l=ιũ `mCfTR@@cEf\4( f29U$$B5/A-׎r-W>2(UB[LFR-BԉX.dE6#CsYs f:ǭK'Y!3+7ڥOaL+~!L@-U+9(Zp!4M+X멍 DR?IRz`ׅLGSo{P04w@?lQF%ċkc2K%n)DJH-<8ʱs1j~78=;G+srO vr͚Bxz_ݚ\.-pF,X~౧Oz}~~ H (ph inOQB ?l+߀+Q&7%㎫00ǨRe(crM"bT T)e;qФf>)-9--M)J8a$%j{G9@>6Vm$4myPxVغbǚ/܌QD"bj}]U9L8Q3gȄG]/eY,˲0]tqk_/ڔWE<$".m'Ќ5W̙kc(?&f$xSj~DZhFD"7ӛ$F*xSFFf|H1A& {Phjnv4 =nZ*_լ-C___WkF$AN@0JȯM}g1Rbc#`ow`pڋ.|2ޮz^ݡ0eŭ mnVH$.FgΜVvEZڕJkP)YfBoNM]rDȭʭ7ck9jڃ$˪a/gX!+0 IuGƑԻb1+!ڿw"uufK,jTk8x(]o ŵn;97 X*W F,cS;>u#IR4HP( aX9@ F` Q0  01(Qf)*PjG{֖u9*#? {zYԁPYlӑK&8<7o4 XÜ&7H(vsNļ/iAv*SvNpvO/XXpUm91(І5,tJ%Zp*3uυ“!PB1qd:Bb? Jh7@Vߨ{DM}:LgU:kPuУx!Iv3sI ʼM%ĩ^chaFS zigzfw b'-\"5*_++,j(E39btR5I.ҡ]F̐]5Jl{3pLiHEÈ y, 4Ğ)nSmW-ЩE|`ﶪv>ɾ]FWe0嗒w?Eu2<T/X0cV661HSXJ RJԐ߀E MW=r% yXIA2ySSԿ[k! U [/pF PPN$W$NJnqlto8xڊt{?x{.4U). u,P:E 8G4[}6#-`#rxF9emaĔŰ?aq&hU,I2綨&@Q E_],Lrg`IO“.9;aԎ(>m3Go.Me+8 qs{p)cZӃf5oMaq1 , E?Ka-DbT)OMMؔ#^#2%5H : 13\䂒:i܅2m[E#IU]02P4;G"*hYҖt0yI"rH1EgsEbvmu.by7D \g?$p9o5DuB6ɉUƟk$v%)&2 X5mhnGMƬ%shŨΥRl^|#iVqCպM: ]omDNE=ę_Uyd=șkD{x5Xf}ד)ŰoF 0nqLgER!Bben4Zɘʤ*!*mH @HyWD*-6}䵋%Z\ʬ8e! %×xFĴ Zx" {ABJ,b8fYvYəH[ĊVUtz(l"O!Q {x*tJu!بpXth~YK ej]kyTnm3nj٘9$}7SO˳.`ؾ+$8|Z!# {_}gu+ZA/wA⚻ `Q7H+ic9%p2 X=tݜTI3,S=g!rMPCHBbrйbxӋ{>.s lhH8Y!?& `jÕ0ˏﲈ };ǜg0uh%<Ӄ\QM_mH8"t Zy 3-$ZNJ`<`%>'yx ֞9> Ã[=i`"^"WFJl._0X5;榷q@^5Fxֱ 4tF_ a5 3onEueOɿ2cCJVr?>wTiDFUs;rEd-+9Ilst>YAmxƀ0^|~ \Kl>0`]1nEI%4cvgURVuͤEwoS?7CYjd!A~J)K9Xd;Th\w.A?Xu(Uq=2ai, Dd-D|ֳōDF ɱ̶ZR rZjad 1ζEMtعCω{8m  kЊH\.iޥufU Z̢b_azTL犊Iq̴+`#<'F)b#>bΏA@lr_Cfm9Ao ŧ(:4fJSXQSM*Y%. @(l>}l6yH2BZlK ۺLcGDn XwWrseJeA[HPZ!1\#ʔk̄l3m8:+y%h o:Ȝb9q49'XqR v.œ;jd,2zd(eg+c &9eGhPOmXM ;g+V&O=ЈCRUl_X6 n~A9ak2_[Z8 5̔k/{؏_GgZfR:6\z^n !~#ӟ7s:E VihOGÊ1`\ߡH  Jȿ]зtt,I yEX:Ib9ŭ9K{?*5)liN\ #~2ps۾ YԄ %G"_6)Pm-Y ,Ygz4]< ݄u1 YR/4$L:")2ދk?O^8@E(pueZၕ(BEFDWg*-)#|)qwEv0'PcC3`dH8a_5m7{h'yTę-^"PobԖ+Oa5k<ؑZ[vqm[G 4 F11T(N]W }K[jQjq8T $V1hsyL6Z v% @UU0c) VG`E6jW[oEfL݇^a9#.#aA\ ll8d?4l||[9`L91]ow >0>sN.;R<07ь!"E\h(ER=bΣ(E:~Em-( Zu2Gă_I{] EG\PgsK?DhPSKmKQ݅^US`ms=+̨vN a* `Ux3&x2#Aci;Cr5(P"/nD gM4>u=#J_ "}ү:rYazem |HݝS ]F[iT@ȝF .b/C,PD8d5yu SòuyA+i!쉗p/ؖogTόȜnhήa;]mLG"P AsU շ͕K[ݻ̢S>;@0Ǩ+֭YQy8 (@SO/-!bDLrEPEjUMHƨRyH鞜 +d}W?@*w!hwC,:N$v\_muU @pE7nflNtѼ?OZ'^ "CtkEah@"@9bp( aFd/#MX0NV,QxLc-Y4o <%1(-b)'1رO][f{=+S+x0,mLNGUBHjo1}u@Q)D"(k7q-Bɟ2g~T% T@Lqț6u}R+А+akL@J2f@̪,k&*BJȀh?~SMlzŋڗ-hA85=ҟ[/Vf{أΉ̵MRA12:3)i8a+ǿҋmqkEpsޅW]BaǪ$AzXކNՕ3>&͟/k`S6aQYn3 ?J.=!!̌:\BӜR&h&>+(V~3jX9v*bpHk&} ciұ3+&pc.eMZ3ܤ:2s2Ğ\ p@"E&rB.=+Ջn)2eni0}@v=NE|]ʱƘ{s.U[( 8JFYU5u A[qmlT`^D՘EĕBF52we/~--_ m.~lF 6BQ *ʰф*b: AbpzMC @2gm!;1$#ύf.Lp\ ub*#O,B!AܻAQ܅IV_;`|*!#rw6hʱ5d4)HscˈwQ̉2C!{8-҆7'7:,& 9=ٔ,bAz^GBpa>TVf&+~K4R+N{bzyXa&*`0ltemu&/pƅ鹆]{b0ȋg"irpu#ɯrkp}/R}b#7MONe%/tSw(=9[B{^q#NXAMMĤc% 3SYM[0SjOڶX/$=`@MqԬ- 6M~~s~(1ٜHZ0Yǖ.lNUuvEO!v\]Yxh_U&f"c8+_5C(1}>$`cw( JP4t E 2ScMZ KSr_Jl>M4p a9Jl5GqcMP\T|4VpRpfnU]nDޏz1zu׾r юxQ۱] `-ֽը$z"2>DJuiO(V|yD+ [YS0*rt*ʱ-6l m5ɶsooN~$TrMtnXkLUl^JMxb219n;Frύ\BRQ.(,Ap* Xu Aa S mX'G5&,0$w侼GGFƱsfw I;1Z2qJ˱h /xPl([z.V&0z\72],ob;28͑=L5_"WRl|qcA[ϟ8 ^T)yjVE)Px?y.z5 tAb\,( ֝/{)ωѝW/ œ/AZ$~ c[ct;mc?bPFF@2'3C0VZToh[TF$ M"CUoM+_Qf(Fdw#WAV~(g9}t5y0܉_5+*$)zbbRL .uBUU_9'D c8ML$'