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  ' 'VOp`T$ ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.672cpu=3.860gc=0.000(/`HPeT`$C`4ͪGU^ks :[$FM-5xk8(F w^K+(BaiN#l3 ԒҟY;i9 AcJ8:@6"!*(/ _pkszMW,\X *WY>}Fq$D5^D $TK%ӯ69 ^KNXO.u  -ݗ(/` L PK޿.6إsV6%%檪JFA-rϑD4bp$c\tbl^{&J,,Jd{P nW8 0/F  r J$s5Kx(VE"l:=)Vb'tϙ=.ogYKq=,=)ٵ+5#j_{RaSJH[5U@i^MHbʃc^{ Kl l߫YY\=W\zW5wu;e"Rg&~_7W9f3ra9C3C%)I  h\E!d"B$$p! ""4)M15r}Xv(%ac!De+bՃ^&2+>H`jvŚ_&<l!6neI~nVAe#&Z]LU{l~\)n,D@=({ 6l!d7 g;FA{.:1<%T}N|d![ciiԮIbBDHTTdĹ6s]mUmxte99e6R+ZGk\óVIE !`[`e՞VL$I XQ) a89" BcH "H/g+댎@D_c4$̟fqPS y9S'EBCnvg )rWdc%+ )(vpÞ> b?wlɃKGM)8S'j`|oA"ɸ6&bpAMx 1nH o x,$XraO؏/7.uy1hP׼W{ML VKyUK5Z4ul h3-/؎Fjs.=5]/>cy쓂7k6\PE}6@ŘPOpzAx&eX޲WOa)$5i溝uSRNsӍ )A "rDhk!g͊)`fCꩳF0 0$n0/'vp -\l}\D'JίՔ!R7m\U^Uu-EN  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/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]\˰ؘd7 g;FA{.:1<%T}N|d![ciiԮIbBDHTTdĹ6s]mUmxte99e6R+ZGk\óVIE !`[`e՞VL$I XQ) a89" BcH "H/g+댎@D_c4$̟fqPS y9S'EBCnvg )rWdc%+ )(vpÞ> b?wlɃKGM)8S'j`|oA"ɸ6&bpAMx 1nH o x,$XraO؏/7.uy1hP׼W{ML VKyUK5Z4ul h3-/؎Fjs.=5]/>cy쓂7k6\PE}6@ŘPOpzAx&eX޲WOa)$5i溝uSRNsӍ )A "rDhk!g͊)`fCꩳF0 0$n0/'vp -\l}\D'JίՔ!R7m\U^Uu-EN  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,%1kNcQRΈ) )P%vjFdd ps@QK!ɐ$`(7SZ4PvP5ĖrF 2|t ,=2'%Gae +U:Tk@]MSsSd@H&ȑ##nlI  & 2@3}S,wbI5 w$n+!<¸^ b*Si-P[z2j< Oa# FHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=p#/h 7KdS?nM%-%-x()'A2j1FY|} sNSy(r"ntPB@=tQd$IMnCAg_# m9vl9Vn^4}f}V(D1e}FIy$AC3ѕS6S~qֿNL3DobFi%/>r ω_C N/Y#b}<@qAEB Kdcfc-T3Skzd)5HIþ=Vڈ $(VsD/uT: !754M*{!͘lLI! $Ԣup2et F0#ga(32:}<˸hSĈbF$Y"zk\I ј|wdoGg (H4xxP<㖄>ᵊpYdyA!=Ht}-2b[UHF=NlyNٌa/UvQkBǞab{#Ց"OEKy+Wi,r%]s5ފծrw`!nhMʫ˽:[xa+VRUuL AʴiS|Țo {kժz1`E1ZQBs3 GkML&_4=Tlԩ6>{]s{/&Ū{9j^̽am.{gtGҽ=YM5.Zx"F1lf_I L$IRQ)] a09" BSH$#>,f#z)/zDCW[,B|לT3X<'OJnWvco\P*I&%R@l^้ńm"\?0*06/)jϿo5C,CdsukB ۊ9eMFdoFih 4z1|`*cc\lCv/*%m(KD44ή^`ߔm3 U,@7D5p` yb5XPt_ED[gAiHXZqMhj?],=!ϗ sS2&wr KciI<\sKx!fD ݫ)eC`$ k(eV@:t6ʼnһj1Rݘ#IX 2Cfwىt"2|BPA|]x[o\nqZwaX08;8#IkH/d3Z?g Z! C$C5O;;\R3֫RW0٣HqkGk R'*LˁsNTHot5HHïGu7ū6@y'5 X5K (@@rKoRB7:ơ P 9;3!;݌[M 7lcvܵwPeΣ1Ɯc{] y %$ TO53|lD;K1W9;4_H:<]ŋ{W7wjvM#Db;Rn뭷3vE%^σ%rVAv=]B1+aѺjAl|,(gf+ZoAv*bź{;T](QybD E %0{szsF(BYl Z-^/2WHPcERcEn_[PM|ȝKbo+>_b[ۭf|)wm\w)3/ol`((s\B+mc*`33vRLHzzs.!a;t\PTԂT3sѰKTK֜]cp1 :N<`Q&U/:F`vc"BڂIu(g=hm#:X-=f.ʥu{ `Ϲլ}`7[Pmnv)!;!30≬_ȷ_Ȧ!&)/ʌCP|Cҭt̍= ?n)UOH kukax^8tIs tp!ʥXvY B+ {ba|tθ5S0e#}l`n0E|dww{$)xx5މlnPpnbn oNͭלZPfI6FIGa Zɸsܖ{nƪYucIRj7Xܖj+KlewҙL_!FM(dO։5"BnJ\B^;So! 84TZǎcʛ'PLij֔cX((n/ RLP)c;z(1l`s^ 00 dsx}68T`P4`P b bc8l~#/g{ 9$ú7uYSў Z1^| +N"]K1K,Ra|>Fuwd1 `T+>7=oFҩDyC"X }{Zېre6!i3I2vHN5ĘUН}`mD -z}zضك#㻘%ɂq?\'M8@U g|i~J1B1e"P! }ϛ9'TglPԳjsJ YP!ݬB__+ke1(ȸJ0^R(K47b40O})3ow %|y)i+l\"_;4m@,WӜa\a\,l՚)wn4A]0t{E-{+Sx#/P.ޥtl@Tp]]pJ6Iǫzւpkԯ/8&gNZ~2ghd oH4e6, :T. ͐/; #Jnsm3<6E  Z{^=xG9~bM .N dU_vN+6>!&5~hD1a26ԇ#oNq\7e0M4gd#O"gN pbzx\Λ3H3Df|7fo;/v0XFIqdK8q148U@IϦH!;qgXBgǡ fO/[QDr#\JSΓ \9I6>q )/a1K#(f5JnǘRL~@vWX UfIbJ4[9;Ϲ\dHaoN=z1PڗjV(Y|`3鎻,S!$bNCYiPdC /NL|HÝLYW\}-Ėpm-hD0Iְ̊v4#4 /= 0Ad(`-˧ro Vo IIԄ C{޴ʏ5=DӸ_tp>&P%0.1_)[cn|rc}o%N7t1dv`@q@i%.htAb+G<&{nPݍ"7-<Ȥ7,C+\"]~߅' y$88n @0LΐVXeN :QюOzJפk8w<3PN.ٕۚ RiCF>\)pj<{W=F|6=႐dv{{Zc~ ?.IE# "vn,!ē|jl{4%EB{V9oznL@+BdOI>VVVeT#XEo.AKݯeygj( BݴO@dL~\0W.uG_Ziiг>ݽȨGE磹ϻ=-mMԕ[QUdu(ř$ty[0V3 :z)aGz(7X+*%LDX]{3bB 3L%0+v͗0L.l\Fh')= a H}14)B=e^uHQ\@RN,Q[Mg/L64MXY=?g+4{OBPz3vf͝KD=V 9k8 RFRN:I:U!ZtcŨ)B`?p2!\Qf(yjF3K!p`k<Мޣ ztŵB$^H2@sv3whu >;D *;d 9V{Nr؞^=Z,A Z{`% lK{3 U͜kHMH.7Va ;$+ 1|¬Ԡ 5*"z7I% H%ݓHkDv 4Ox1{KDϱ^'gDMbR$QCt`:i:}r88C52>o]ʦ:jzȯȴ@R.rf%*B4 ?5R)SCE!ti8H H-\/+;&FNdbe$&-^ fA0Lh],!\wf4J9jT r1[k]C# DDhGN:D\ώz-six3^iS0HS20ݮ²Rs&5A(46{@<.9Lu}Ozgvr_i:ZCq#4ބ"Ĵ: ;&o%fAE%2à~"VK5ƥ܈xzXk{MO=MhR]usSDw:?_H|ZlKT}eWWdYN;d n1-=J2ªM>^b˛u%g7kzڴkuW"!%D_|=)"=SF:RK,&b۔r˒6INt;$CV]UrmxܫD 9ys3gnT5uf2 nSBYdIt TW,tޱR d64W y 21h~+35]7̤N!;O)LF( me:.yz|A!w>aE 8D񻊀*Rxq< X UH$s%X?^ѭ@ -I<#⡑!R|`-;88Ŝ^.إ&T`A [c3%'>5QǞ @SpMHWEaP`io6\; .q|1 => #:O)7;hZMN?/-x"'dynaWS"( <ǴGtyM כI зdeulb@qS K (_ڃ S ;L^3IBe)=݊(TjJ2юS׮dؙ}XR *O 1.{ #J M.h8MYya] tp倳޷fImfZ'OE"!. ^aH"Jfe#E\߆)U t`1>량2aj(S4U6ޜdKx);1RY!(qOL$9jZ˩N*q%\p  mx6QASnrfPƵڻ024^79߀=J ʋf!#, :МLB#:H r ƹ!W/_5b{x 4fmçq?ECyD*`GUSQ4H%E]_AʨCsHP&ML}]#{ Ӣ _G0 ?J['MѲ@s}uUDgDOtwD$ iQNЁE:=8T/ <02V?&LѪ .v{SxIUkv,Ҋ=2mq#&PXʾ,L&ۓ$tAZM705 `Ӈ`G+~8Drhg =]`Yf!o#c  }.uf2 '0O?QsU;z D-jQfzRSI %qg0^Ȥ!SBjtT+_۩`QߜlW,hp]OQ(|R YzIe8p*ȭ|ׇƞ&;P80'G$ yu꾏䥖fnd ʒQUɕToȬt)92쩽"\J, ,Cdy&=5| o ^D;Qw#q-[HLK8i`׺PIQ<&Ӓu˨ 5Vqw!ׁ ^i6pk"w@٘pFd CTxf)y-ɟ }L,īOKnӘif]mȎ(x3Fvnm|XcJEF |;U~]L妔hD'd\/n)?NA­8 ,wA3w]fպ'.uO0Dj@4Lvi.KW%Hk25ŧ@625}͚Ĵ_W,9<̺Ӯ?đ*4ab{E*#HmL(4֐ܹ{/1Җ7gKfb&*]>@oѼPNewRT҅if//%W#W2a7.Ƅ YY4(*Ÿc;gl-3g[5 ^r&FdΜ;;be|ikנ@6&~kOBWWi`Ak5 U@!S!Q aTy].TuP3n&nم1Ms(bR2o& [Z_BJ"S@>TDp٩{ [qgP3=x+PMaq{ %vb^TMR΍ZvGP~ԕ5I)[ooyh (?F^IHm`#nmd'NJSE9BOcXXg(v賣Yo%0ϴ< -i?dI6O^+V@~N#3A4)QQC~fHKػ F fmrw؟8t7<JU,z-Kbh"jI8ֶt8xS tósS ݵ1Dn{"u0ERdIh:"՝?!9ҡw,fg- #h][lQ3[9G4Ñ=\wܫ".L!*HgZo*žf_%_#|迉=dJ^h 8B>/ D6)-z zɻ!0K>g$ =3@H{5U4 y?-ngc:9!wĴUn7r`MVZۋ;8v$bXK$VC6[E @4`ȱףMG "[jHޘ^mt*(n?F' `]Nq\kD{ K;[r>-"Oar0 7Z\Ym7aA+L]a;ShhGDZQ)LW9h3$4U'.eIAdѴ# [&w/#,V8}]x2ivǢse+OMD.^(V۔B9~]H51Mݥ̬p}(/mIIS#(dbOp]i݁VNGaKKM.7U$MI3v?we_'btX/2ِPnSJqR"c)-֏Δɗ_j"BxW;y+k`yX":s^Z?Y,v&ӾC47Lt8x7g"yr93%+IFg V4$\CxX/oM2W"%㛥$WRؼŇ9zD$x\uMW\LY$@0aaaF 9 0]m H1YX& !쿬6(a](K8!!EAǡ뀱 uߤ胗U@w7 =\HU|އ-~1S&ۅp̠wo0%f/E/;~ժn4 j%cjL5PoC `:)ѡ>J:0NUCUiĞK1 @%qRv刾&0/hx4C#"HKH+LY#!q cj+W{x }y_'FɏG$8njb,Havjˏʿ́i1'hH8_KC"ݎ*Ck('SK41<>'x"{A3Vr _c_L0xlDģuw J#S)P(eR*05Nb-:CG:HDRH>O2~Oh"uyJh8 `urT?@I l0{Kn m UF%"{l: 4e OLEvKQo<"J/ IFbR]"pM[~,54J \۟ry/Mjٸک_Vi g -ZvFrGї!!Bo7vQFUHnɴ]$ւ()b)!6/L8=u$GQf [u֪ @|J&WaoRpH kp.;0w?8uDB3i5(S/Ҵ#d$Nb&ȢpϯG?C{^U.$fIg 0v0c12F`8X il0rrGeBSbxmvu{o>(ŚRFsG #B0v k^2?@%OD~Z&J3LÏ)oȽbXMshH6Y$^G R4'}>VB3FO}r{&c!Io_jIs\8c,.s0QZ5W}扴+$q$_\nqp9$]Ҹ'SmBRc2Wڦ w;@ = ;VDЊaIJ`^?@+hT@%{῏"P umۍӷfJ*1m|9`]orn;Sewry~ԋBzBpJȮp},-z$.縱_vAHz.vLG?l|WtA^nNGabc6Rna2:2+@$=/u&dq5B:8mq\Ih JQ H@ї7Q4t5h0?ydl ^_9bYV l/P7z21ZfB "`tX%(qrr8d)zS? ih("^$Σcڿ"-(C/B$:}"5 "_P: 8[KȟDo.@8T)(B~T9϶N &D : Fz] p"oyCi$1mv. TDuD\YӨ_ϕlNaHf[`.ZhE>&7 R{,ː[lz6|P;v~"E-%a.R^QB!}1CmLAmNEЉĊ %EMw9lɑGf=+ |6'^n'˸eC6I.0A#%~d>7c"&2RoB`\G]{l_z2P @ғ;?a͈o,V=})#nTņft!(s|IC+`]3tVK5?bBW֟\Ц [DicZ\.IEayA{ʮ4 FFgI%Ml4r}}!w2,M̕ { St:C1@^t 5>krB $Ž9g"qP!L ~+g:+.w;c(;( QVX5|F{=ꭻұ3+iM9pi/= Mj|22C!Ğʮ<7Aкk[J/ %`CeJ;v]cOXK2 8х7|!WLRml/@.z>x׮'r06T5P␊ѺvݺXts[0l-">pAỊgLSE}$)~@B0whJ I @Bgm~!;1$GQn͌⏢)9\]F"bY Lπ#E;R`/W,zC\T< w0*/+0lQ w'T!j_^kKs  ʌZiDxk/d/2Asc`1I|c'M9%3`hAj PyS~ ,IYb*]pcϱ7tdv. ͂Zs*(ċGr p9N`#h`5F+Og26uA(Q"Q4 ʅ rnC<4(xD<6ƛZDlՀHG r+DG6G^udSTKcF9=i6ՐI.N6EYzk?WJʉD 2>W츛_=ed5_?bWVVNX2~2ޔP=b qtE-Jv`cK7/[s?`C F1ʙ f#.F5O{Q~ 2S>n\@j4-o$:QX8Ҁ$}V+9ROq\/̯vVnz`(T8_P [nW6hhW4E ) ̌< |^O뺣c+~7&0N_'$BU 9¦?'11B In|+|{5cz &d}