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   _OpPTF ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.669cpu=3.974gc=0.000(/`H`zlgwࡺ@_8O˻=1ȞSZcJw(XlSu`=@4,Ba诪.!h8STFz» o P 1%P79T1w(/ _pkszMW,\X6F|}qHz`P-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` M PK޿.6إsV#$檪KGAN!AD@c!.!&.Ao9 G2E'%-,i͢4I核5.W;aF lx1R(d[P'i+Z4zEO̞$Tf S3Y,%ø}Vl2ʵ[53)‡aR\_ΨWm~ZI1= {` ILyqkOaM"ISFZkծgߜw޹Qi/ªܛ3{fZK%M\uB$CDRR( c P=$B"D`H H "S' 9xoj{༂ ߓ8'l bpRzt 썴0㍟V06еv Zlײ.¤s@]c8=jZ04qwΫn@cLeS|@|Ւl^E٬hdkb#hX zS,\b0Qdl_n8أhq/ش&P(dss53kiDTTT kWR\no_UK)e۬zy9j0EiR.)sQtVjbhkx7>EbWRײN$I XQ) a89" BTH$"6iGJ_ _5j2f!4<Ɠb91)qL$Y,{݈ ZKZKgċXr\5q/(5@QCld98"uX4A|MC{7b^cTXR=i>^Vc]6y=nCX}g@Dz%iT~c%Oګ`.GHl[ݵum`:CJ#TP:  kԕ!2Mu9LfJU<<^Ma>9PJDqlP9bM~FV:!xVZ +̞z P gR&^@Z:N@wYu j/8 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]\˰ؘdss53kiDTTT kWR\no_UK)e۬zy9j0EiR.)sQtVjbhkx7>EbWRײN$I XQ) a89" BTH$"6iGJ_ _5j2f!4<Ɠb91)qL$Y,{݈ ZKZKgċXr\5q/(5@QCld98"uX4A|MC{7b^cTXR=i>^Vc]6y=nCX}g@Dz%iT~c%Oګ`.GHl[ݵum`:CJ#TP:  kԕ!2Mu9LfJU<<^Ma>9PJDqlP9bM~FV:!xVZ +̞z P gR&^@Z:N@wYu j/8 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,%1k6x-0'܄AOѾ(ʬ޹Eù|]s$.cdN&Dm]yrˊ{l:jN@!q, P!jFdd ps@"IK1ǐ$`(7SZ4QfPpE la|< V=:'K"nU^:$j]FSX<\@&58m"!\7[v7@ vRY#@=sJIf\ķExQ0\~'?tjo4Ѩ Oa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=<:̀#/h 7KdS?nM%-%-x()'C1Y|} 暱b^'ĩ<qBHFjFGnzJyPB@=tQd$IMníf}mB[[[ ^4}f}V(D1e}FIy$AC3ѕS6S~qֿNL3DobFi%/>r ω_C Nm)_ @9`Cp(NTx#

;l9fr ~03:@7Vkj)Vl e&.p+d)Z[mA8a$fą:Ć֯@i(TjƎ;|`Jv{ΉezU 8J3lVZL-΍W[XP p5o5lA4SV^ ǚf HTRH[S 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_id596gOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`&l#0a{sbI&:¶$CAA6?na` a s鍲⧰|9"A TbU`{&X$ i  `i/)OS^9A@Ã$̔ Uć4$+ 71`,ߴDD-2b[uH#t '6kZNٌarNI[ʴ8 [ۃDBT*])49`ʂҪr5wyށR8{-YU/Jkw-<IrML oMC|s;^{TZދ{.:!<'ω8,>dss53kiPTT7~]RޭZuj^0EiR.ڪSERlML{Z!۬VN$IRA) a09" BTH8IcOgcQiGhWІB_,D+<ĒInvgrsQ^Ȟ.ң=X^h`r& WrXz8)So*j*> Ɛ 8s!v$ v s'|TMihͱ`qzv~du.(.ccl5Dn8mA$@~#X Q&f>0H+!Vusb]u3&IKS*1N.^4,~m$KRʱ0(F5qh3fQF8u9/b e.ưs#MI"wNemڏ\I $ sOۗjRa,笵̻DxNc=SԲ4t ע IpÖ!Λm W K̎Ll' DPvʔlȔ fpB庴!j%6w&R&+U]{nAB]-BkO\<۝[ېͨER9҇] 80&Քp2҂!~}0Y2yT T:QLɀDY]bg1\K5HfF92f'ֿ҉ B ڷZZlXkunaX08;8#IkH/d3D+!ATzc}2qh3F x';\R3֫RW;\vƍr8Zlj S,VNT߉ͽy^kïnW;`_@!$PމCvBV ;_K (@@rKoRB7:ơ P 3L_s|w7sM !#/3w-fQnJCmf1fSO+vl襞9-!33|tvX 坥+9Wb ?g$Q.s̘]H:ѣXzk9vE%^σ%3GvP̊ary_# 33bx-X)^ov](QB%XPX 3?f(E6:˃_Ak` #`@I IJveA!6%!w>.Kؕb| 6.LRm\S.3eƼA $ٟJ)[l1WS0LלV)&u=r=.!arP7:Th A81f;<0@c̡3|2+`"BNZ{hm#:X-=V]:Kgko!ϹMZ͟f n`ʆ#|fJl(Œ"!Yi&)/ʌ)CPVJZ[qcLmq[ϱ3vKB'}F<[uɺq:/ך1'N \:Zkn b)J^y9f,Oi>H~DVo[l7L@ٸ?`?HS)#PٛfO!o4j#w 0sypD^:ȥK^2 $3t31f>%8$?ԇA۞}Dضh׸KJ#HN$2Ŵ2O 9b:{o-JC(3,G7C?@' kBsN^QQ(!hٜpBPyCh*p؅RL;zXTS) ƫ\Gٲ؈MST|3ilRe| nGGpA\"󼼚&Aw䳂D0г.`~MEVHH؍\j?GpK7㿀ZxnjT1^T@NMgG2ϺHu0(CS%i6[`dv6Lo,%W56yʆmk2D 0Bpp;mqS$:1Oq8n0x*\fk{u#Ѷ! P;{ZsGߢ* Ws'א}.{rx&o']y* Mo}[2|g-=9C4O2s ԴOoTuC(~bFU (\C Gq`nd_x%f☥fST9eaՓ=̌YQߐQ"2xWh>(Q8N0 ceˤCQG# O[$*(*%>=byZ̞.^9 };j$Q1Wھӻ9nJ#ʲΚxA՝xd [dϬ!Fƺ 3Hę:,[߳ Qd;lUB}|9ńy( 4( D!X>A؀Ӡ].$aۅxCֺ/?,h=D/G[E˟? NgFءK)/t+I3*A,vk{z>LO'݉慊MyI t 7GگSo;' #~MPjJn?8< *3^LX7K }71Ca$ h~ɏiߕFPL-x:Gǧ5>C:n9 ;ϝdYA믅(񦹞QA(aU, K[0"m(O>-Smp׸W5ûF6Xt5`w]Vа7&S;bI^8nf,:`ey}xS5 ['Θ}E ]`U~e=&+NdHlY*hy*VvշGM#DB:keM SWXteDݗTGTkub -A?,v255[AJK8*քť)~{UC]U5L9ާ)S(4"P!ϻCSp)R79G6VlY4S [3 PŽE YܠEQ1`f*`&(Pm7 sd`b:G7; 7 I* Ka`vIhEQeu5\e͗b߹l:y $; ʾY;Cx !kJ1Fv{ ͓!^X1F3sb/Fcaj{M?YHOTD2~сIWoodR?OU 8Ӂiaֺ.:5V/E.ԇ$׵p:Q1&h$jS@!H'}9g:;IJ\,1ߡŁwXPjm[&8c]pN#[ؑMGU+%= cZ' PLJRyׁ FgNތ&r6:a xUT ^evL΢ i dL ڀ.دc3!d6 U-F[RyLaBC?n$@B͓n^:Q`vOG9.x:Vx֫Bl/ ߏMJ@6Gʌ=k ̼tA#=G_: jQ/A{4!N,Zs@8Gq~IF"?P‡6E2 ^a&Eun9vP";c"XNħҁ/\r%'@vݤYO]/窻^}/ +:qt*G|{,$NÌzޢUcX9‹Oٶ _(!C^ tPN>s!2}f@dd kF31Ä&^ëȥ]LZmra nb=o<mzx`CDC=+ϻE׬pn|wai.K[z& s>츶N_D4;uS>-Đ7}<1RPYG<ɀn7ɵ3 *'ej;H͇cbdG K{#ѳø΃DTIQZk؄dҡ")g}u~3}պAewdH*HHz~DP9&)yrG: uD0dun(RBz|AeSD{nu6,-q{2zp);чN!Oxd#Pϑ>ӥˮ2ynv< D"Z܏sgyŎ:LJXL͛ zHsq7T*,pZpű@Hfq4+)8ȥw>H~?MuD0P| }Itp `X {8H(3Mk3g*Qws r)T\C2\$$Jp>3F/F_ jIYa,C$=e Qf.hj"*.S'CRW4ئ4W9!'d`JA>zS,lUqVcB&߃vT]2HX(lWKNawL,/F` ӵ3ݸ{#4Hk_~Zw,%A0 vɆ5 8 e `$* /haƧɘ64gwVٯC.d&Hw йYWcg<##!=VO4ʍ&dr]Njk֓bgNȠ\,bj !x_ ẃ &l~#]nPXȂaFKQ [P2в*{ %e.,Pb)hǂu5B5 ]!@Z\^Fe NzRϴLco ]?&rX9y:}u͒$d3۔X2_f˸oD:g:gppR+.;B5^d}5!/V0.O+Gp L;T% 0VnB,7DҭyLԣ|3$Vx'`YrS u6-٩A ͟4\.`f1wĊ{s[" RwX:l{+e1,NV}ZU@@r˥qLz|ܺA`gF]{v=RsAX,4L@'HuybIrJ\RE&&]3͛3oeIB)a.hDT sK^%G'[''ːG !=N\AyHp*i.iYP”'u׿O+eD Ҳs@&6Wm+OD1jkgpr"MZ+n2ny1 thDZ[3dqݥZK;hZ&ՋToͼ*%J,4u08UA i+™F*ծ#E}[ V KǡYH*P[?`hAژf ;Һ(uJLk:uBfbJY(.:Rx٦P4:-!A+{pe&cU: Ýr黨8S"WIp.ЄBp7Q[ =K$̣;B|~$|zSYvpnԏ;"4ܽicZ,8m-yw-î,ga eLdAIHLZF0(D6=vy,?y쨠,G Y`;=aN!V,[~-0NOlZ,(Nm/ar3 ץ MŽS/_ɿ`zsY r( 7 է҃;mXڸ@/b=9#cRÐ#iI (v͜o3v>] ;ܮ(:f` S( A cn#x}Ø2B NGp^a-,0|1#K#>\((ve%7w=CT.-5Pb47INFΪ`㡾"$QԈPqR.(Q]3gD_0K@f%}(5 в Drkf |\NRk!0)rZR[ ! uISM/"^]OPyu^h}9"4;p)@Rp-G &$CVC#G1KbS?h|\YeRRioX)~F!J4.4IKSI#kIhik BhrstfY מ|q5^@+g٬rڛ0/((6؀^ʼb̡D݊FSbMt:$l̹,W ^rR@JM /[^F)Jѵ<$gĜ8N<:kPK@HAqjmEC0!tN/ew&FhUZ<=j0z;rcdkfsk5II: zCZ$ieR."/|]S҃NXT, A%Vpjk$3 yd_"Jp^$0&Cս₊Yh4.l<8Q,QdbE_S/ 1fGa?9CWrTrP)m{}H c*iOn ǁA*D)/FJv`%gs?dۑp =X9CXസA#a=rLeQ1{ pOWw)QQ-MHų*J0t+uiX*!LjES$t+Ӥ&8 R0 (œܿV(VRo4L Qra*%N ":+_^0NO:f`Wqǀ 0Fd5ݎ}]i@1@՚ C6]IC}JskxȻ<ܾ́-.Lv!02ڸ&N9tu^)Y' sV>'X8&Y)h¥N / eg}07?xq&:C{ɦ =r$X̊0˓`vi)+Ъ\vqmTbJL`%UW-zi+^ЊYR/tE. Z2QBC>{Vh´c*emYN#\0-/AO VCB'kOСħb.MG33rkpy#c`B:\ K8C/-~I o uOdA 4 : 60{4'(g0$vC3^ T@hWNxqr|ۏs̨y;uS;#ooёѕD/*< r2G΂"g(~7 _s8pޒi*2SO_kzd:G (qa"# Tܠ=g`B"SJi~.!@Uea5NLL%(gA"ڪm͍'V2.HIQB!itR H 7QH;&9cϔL <$`WD‡b 3sc3 D@x*T`zk=?;Ѭ‡, 2Z[f;nT;8YJuۅ8i(&YʦK^jU(J[ PP2I{fj)Pׂ0aC9t 'pR΃LJ15Mb T2,ī1_e˜9<\ #xsǭ5MT{<{^ͳ}5ƠxyFukZQF5ݫ?F" Ѩ;>t"IR4H`( \8@ P A0  01(Qv)PkJN)n,3rT*jwbzBڃRXSpq*#'hÉ;ܹF?{;Fa<`QsuHL>_6dQW.~%J;<\,;v{.0Ii\Zq|g\ (]3T*DC u){ +:n&.1vHM)~u@l"򖔙J॔\T BZvҁ/.h):Tf;S5s_ H@Xᷝwo~(\MۜzF3=!% dr{0=uT qnճ,54GpOj?z&)66tQrSoF'c_/b(5&")0~n5I(' FvYmKQ4P6@9 D>)׉"[;v7dpyNۺlHc@*RW c'3<6~AA{ζ<lS%H& SV ' Y ՁZa4:zHcoJ8!BTŭ)UА $ViR/s^+I 8P|8zHAxw/4Zϴݕh:Cmg{~mz+?%lx)y00oӜ3 $?GQ5hFZ{zJIbϴ!#a9[MU([1&D᭵բ3?6鰁M-. lЌ)`ҕNY"!3A%0[Uq4 &d=,U;>?L|faq2ZA)ok<y#ݸ>EjHitXrG sɲ$II8a HlQ >=BQҍGYn. Ztt+m?/9M)DkIg->ҁyOCuP2&_7Ag8Jd0.RBgBw\0 %иϡ?ر$,8\}nSc-1V0diV%<~)"nn`|4ED:v4p1%BB Y7YH8B.r~&D$$z۱N!dIE ׁPlB~v&P 2B|Zc,޵:PKͳW50ڥs>YS?]HXƢ^-}°7@+쑼# 61#tDZtnrƽiqք?ASƥ,)C! k#gɔU=aتiBNǜM[1!I)*$Hs:22J9d|aG+Tw FyB0WÙ1A3ä@DA 'BqtYoqF4 7A"5H1t%ZFS8>Y Bk8GK~og?mBY$x7 uX2c@M*Pd5Uqt7:}qK?VJS:"ВAba<"k $Mg,/oE{"%w2nR&bd@mgELtΑ=6񬉇ߎM(\7udf{A34`-R4үZ7l S !QK+q15^+*j qXN*Mxwy='F)"V7 b$c{# xQ[;Y?A^T6Ŝ"AC~1ZJ2\>]\D&ƄY2Ȏ J +tơ[?2GH+_F+`@Emr!J/4#$=;#h|mVy9A~V(*̱uɳHXڙUN%p. \rQOYAY|h'D ,l+m ffG()=ÎG~uTN%92\V8$E q1gх%ejJL`HkLKw5\a4xb 4 $ O|qYp-o nCJfO#.xgLx>M*U!*n웣$6PIs̹2R+7EHS0{@de⻪6U"VO!"!K~̙s #M`L[Z0Sc鰯B!P/1/5=C#jώ:+Z #$ԐQHStsO3hbR /~5=%;U٧Zd)X5㔀(JA#@D wCԚvAWwp+&?%t&>Xwi̸47 GDշjGUvXN:baq3T#q4º+iNԕ z+AQ-vPTO;vUp8Җ,I^hf*K-NDRTc!V_t}áieO.r`/$o@3^h}7g+7R `S=}  A;Q2} ^jy 8.%6\*͘&V. н:=& w9]h+bw@%&\9| rX0T`!H`rӫfv~wGƁ\rnij]޹VTh4L @] YW[Ef؝ZC i?.q o/6ktȕ'jU:r+l M۵Gj8jj|7N x sJDj{CKިd h*|b8c~(M|IarHeYر@agO>{[cEUΩ(!9Vf)T:D~*HT9?x(>4kAY\=ȸ ~i" 9R,vt[j|C"MK?Ei?^.5*hh޳BkB :/:`_9p"07m', TuDG~֔>Os A<1" A BOH;bJܮk0UꠎeLOA-Zn-aw 9)KC^;'s'DK /t8=Xt1Fn'I JXS)zaG[yimc"֚'kGG 54O7F=:Üba‚qS~ϵzJeVLH*-OHHR-O?IA(2m^2J#mܗ(TA|^XaVɷmkUPE(wfy.)9MYe.@=Uxxfܳ\zQ 2vA1a#80&H=1ɒd@/$о-8+.JG- >L:dSԅjAb_^oU$u*O1eY@8ZgZm'nF0>RL?hż[m`̼u9[ OBn)'JNZ8]RXŴ"6B|P^[-^E}tBKdrChVnmHn+bԱj ~V X43N` Sd dЙ'uŅhe L`"o|(dL֮0`c_dzWƾg=Qhr?՗ q$1o}MZf7HMB)tg ,IoU-u 1:sS.n6>wr7{!΋ny V 4ďui^ar^0?>plG߽n. :[ީ %(LVXF"@h%tJK+N2 =:@TQ 6aaݖaD)DRW+Oa :Q+ĉMٴ QCJV/u3'ԵG$ջqxy;,|j~˼ :y@6BdTWJR;?߼ѭuE0IZ<4 < hy4UfM3ߨhB aPiM@ H AQc!DH!!2,=Ujņ%%_=T"|'N<ak>nJ:%)D`\pVU`Uj*PYjC&er,ئr8ei%RqB5c]v}LU:;u&[ҡĕZ?JZA0Wg0*Ur]媚e{7WBjTq7l=QpYɤP_o.Lf#BUSI*`_]3`to+RS?{;Jin}b6K1dwhC2ͤ?^b\p-|_Jj#I$GEUJ]Ʒ-UƻjCCptV'b`Y)6% $d- D²>Y6*aـOsAbmL:OoÅ⎊NzKĢ!c]cyR8?Қ$/ԔB?#}UɻIˀ: iabO(\Bf?l7-eWLK"m|: eiu$ץdfI?8*-u W'Dva"xa![q[`D*ԫ8Xb EQurpKwmT #M6Zh =v'?Q `?gr[Ći85DHH-?W%dm lY4 fSTAs* ċ'ԙ 'BhrI.*"X(F_Ir[Q 7Tvėΐ7+%!}tPLROdgkߌ$Q?x%^\tę~>ڐp8La@8-eߗGJ۶)@=)(l$Oر)1\zHnG3:d68|u֬Ub ~w)̩T@(X:H-Ϊtha9}Hc+%fQ6<&(,P42ԧx臘Kj6Wy_wX0, KmE q`iwCR6LLQPhZo$:_nk@t kSQv -coD zlREykgPkEvmIըz* |$%9=̓ ?uC9QW^bGqZ'V;wS*rr-^(^9~J\57o˚ UVAr=~!D5xv-?U-s`,Ե!P+%7. Yᗡ8dn1?Dr AF~znmD˄ /&-mXObaQxH(47#F~`5ER ,H7 waq|tAБdдt\k*DSkx^:kykX9!(