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  9 9DOpNT ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.747cpu=3.931gc=0.000(/`` P;BS-"IA˻0xDAcH{)=w0% 3T=w9E=v3E( r"-VǑ?5zԓ]x P 1%@P79T1w(/ _pkszMW,\heJX>}Qø"=Zs(T< su6ұ$Jr(/` J @Kf!JXlXYp91  GCA ˌ$"1̃0gǷ á _">oaA\ȟr./a z[6[;@bY/orngO\=I.nދ76,a޽E?SReʚn3n#0 uYb~:Rͨ'$9|"BHmʓ3=yXdÛO Qh9KiiBŘ3jhbZj)g47/Mi׻YYuolw^ma1LBa h \%)!d!1Bb@$`*@^Ȃ3$ͥFfI@^/2\i4wa6`h]}12 Sؽc]*\29zLj m3l+BSOcA3/)q50?!>w68p)@RP'8_L6PD![GPۗv.IT$Kp|Efs=$- *997b2bf1e018040cc6d070b0d0696c212313958d980033d053f0749333661519c4d298c6280be1b3 69ff0e8818b8f465f2585ea0f57a610ce777e1be f38759d1fce3ae187eeffcb386dd6fb5dc5783a4 4d2a82bf7f909bde7a1da7a64b00aff1834a9cdc 5e1c00f72847f7a6432624ca4c7bbd9c7602079e1c8db36b-ee8a-4131-996a-7a1087c134ab $O HOL-Nonstandard_Analysis-Examples opOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodrOa# 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bU 6fk"0mRr۟0# ZBq jr4ҥyma_ [cU(z;P$ zⵊLsÄ]1D>iZ:a`Ӕ"|NcapPp?)JCʬR399gwi5<^ۛԾUE !`[PL$I Xa)b a89 " BDȈ"ḦG_Y& IB&@Y6J@$I ]*(o6(C=,XH+%4\ HĖ,A3/ENXskaԽYS&)j?alsƉåsݜe:4 B0YКP guM=n/J(}geŦpEX[TE)꼙1uQ<(-W;o"Ն >艚L9H, sⱵ\]S[Xm4FsY멬1ngF(!Ή.Z. 4"(_ iԨdNhgRmru }kzs/bd*}7o0!I/Dx؞O5+i7`?`9rZb/K?LKՎjv8QAb Efi:*|iV.*~Mf>㦱 MfPeIZu~9_S6 Efrg䢮]^CO9ԁ 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,%1kAJDqlL!Y[bnC0;4808Vֵ= 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]\˰ؘiZ:a`Ӕ"|NcapPp?)JCʬR399gwi5<^ۛԾUE !`[PL$I Xa)b a89 " BDȈ"ḦG_Y& IB&@Y6J@$I ]*(o6(C=,XH+%4\ HĖ,A3/ENXskaԽYS&)j?alsƉåsݜe:4 B0YКP guM=n/J(}geŦpEX[TE)꼙1uQ<(-W;o"Ն >艚L9H, sⱵ\]S[Xm4FsY멬1ngF(!Ή.Z. 4"(_ iԨdNhgRmru }kzs/bd*}7o0!I/Dx؞O5+i7`?`9rZb/K?LKՎjv8QAb Efi:*|iV.*~Mf>㦱 MfPeIZu~9_S6 Efrg䢮]^CO9ԁ 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,%1kAJDqlL!Y[bnC0;4808Vֵ= CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  / S9 Oa' >HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`}f_$oMPpy⹊&ծZfUSUZ="53blIXpxV\;22"" $f&zv^-mM0o]b][W*T߫͏ܒ+seI_XE --Q0N4Y({dNK˜\Wta ր*0*9逐&M#tGC#jٖzALA2dfg>{XT#n!kMVLQT6&l¸.Z1 ϔ^|bZ&T A0 Oa# .HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/= ̠#/h 7KdS?nM%-%-x()'D6JyC{c_b}qfZ{P E ^V;E.;CNF67m5Жcǖcza4CB)&)3N#A +䍳ub1}$z6JH3.{1Ő۔hhω_C Nݫ}-Y#b}<@qAEB KdcfcZͪ)V =2$a߁x+mĉB VsD/uT: !754M*{!͘lLI! $Ԣup2et F0#ga(32:}<˸hSĈbF$Y"zk\I ј|wdoGJC%5'7^[#Ed5C֡Z5bGVo?s1 "z{- FS>lVZdW[XP p5o5a[P:1k;иX  VJ 7Z)\Vjo5H Y1 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{sbxGt[IIfsPPrp`` Y sJFy4 ܫH04+#&`c kH@# {KyXY$ &qKR-D*b4$KSaָǀP$]|-A4=,2"[l#M4B[#?%8%/aڻ5L[Y"{#S#Eзs2 [,( wmiK542;ӫ*^exni=4qr5~wcmL AL6WӚ'y1XE-8#sbc\-k8pTnٛ ?Uξj[Us'ռ+MW՞|e\399Tݛz5k\B[>MBHA`^L$IRQ) a09" BdH$HB윳cՎGtS/Lx܆"i%,H<7(?%\N]NsR!Q|4a:!f}6PfhQcZZА\WF>N͝WO@ 5ȝ!7$ۈ:4aGua: (Ag2na3Cc 6 DӋLv@ISele)[I?#f07ݣ9~< ]w"v0BK+ +P C:  ^!SZ![{OLd7qHLWq^Z2rQAT#KuJ1dFOgthM)Z"P-h] B֕S)y[enӷ쪊du\'pjءPh.YZPH\Q\v#  냑4΢<[ħٌbJ'J#DI8QjQhe );cj-}5E[dGk D`X9Q}'N\7 $$Xv/_@p; wPЪU3t;P" ʥqotCPAsvf C^Jymf-r֗u̎;Ʃ4Tyt3Ƙr皟bW6r4y1 %$A3||5vX 坥+Ʈ;4_uzAnFIyx-^vVͮirQ}GQʍsrnK+K@嬜!3Ya[<xWނ T*~s>(;(Jx`%p(i,фR0{szsgEz=Fgy+h{FjjHjH 5 k )!w)W-w+gPC)dƅ)_2ԿKLټyykOrO͔-+n\BU8\3 ST0xkι[bRG:#[_;prfnus8a?Dƾ c72⼹/h kWD`WDHCkr`b*t*jVk5VlA!aj`ʆ#|fJl((s뉬_H!0LyTf(L.8_{tksc`mzc*t'a$UgT8W Is tp!ʥXv \ nS[ ӥs%ͨY)|8dU`jo">qك Q)#<_j7: Pb- TqsSmp7ŪabRQF0Q5{CV29s[yzmjV'wҟ-k@-ΘE.INIg3}E!7q_.>Y'@[ )Er &{L4Pkr3؛'PLij֔s'ByG _Cכ*U)rN9v9Ca 񨤓^  0esx[}43@`d /|Ns `0Э/Tt.[Q5zry+ |CjOUH-H%b*n;rtVM]Fp|MvNd)NkE$R<@ٯ0 & IO3P^냐۔m kǢ& z“LJlmSuj]8!hyjzƼ9jx|vf~SW 1f?tkec 8Q9< wZϒc~v6**/#K `ACGQ,𵗭,+9,ZĊʝ)Rrel0NwՈ!eݿ z8G1q g 0&>۫Ohq28̋A۱RLB|*x"[#U<1*>)rFyeUxWP: pߤ"Yc( ueV! Do4"aXضn+n=5h(Dhĝ˻_r1ZH˗C⧈z4(IY}!^sn[`Qw|V~k5ڨ 6YmpnUeZ D~8a]R!b3򢋛yF"HvWe#tv}*(7AX՚k)NPk }zTmze!M^';x^Dcf}#@`.z}]<_c @iϐv-vZeN[HQ.Oz,zÎlDԢ\g bV%pT6&0^ sjIzPLcb޳XDػf*}k|:~5Px0}a`}`YY38UTAc yۙbQڹgKd5% %H_$Yp )0}OaX2v=5'B$, vQh3qh;&d8m ׺X-9ZR.@;zp>`W2ý.ֿ/+TS@Nqdh͏ bCoGS~18ܰ:}$]uJ.i1Ł͵j@2Bd@ z+a[#7Y8`.Pؕ0G9=P􆪇TtE#/pS #ܡÂq>̷+sxua2s='c'JP @o dDrpuXYzN-q( ^<QFX L12į XⰸQ芵N9M2nD`+ Vٽi߼҆fpPtȇ4ųFLd/PKޑp>U⛱'tZF )=\1PCWt!CQ\JNBF56M`<:yɭWwhE,4]d43|x!h/E\-G}S(ʉsLFr!;LdtNK]狊cAe$\t+4ݩw_ߍ ~!db7QDK9w{ջGqǒIҞL9G1Zk1? L(vdQ  ug Nɓ ^tPPNu)'}jmF}цaB CH]jj Scll "GTzG HhUM)1;DU$ OT|%+G|t @Rpӕ 48]5es2:]Z[*WIKMDIZ2|<_41O$!DA.8 x@f0IB[S`SIёw@|PߏKCb=ྨ9DM- keH$\|B`:@\v6ʷHjţ4ِAu()^)7I,IWpͷ%5[1"z%iTD+.Avth ucm%NYHO\P#0kpe qv֚(3 XVbuhn,>$QLL3IZ_yUp_kRfh>i>G\ <mRJu _68'"HZgM,mت;CǪK$ 8||0Yuv_{*>eQ5̨C,.79; [U׍a"),:It0Ϸ#@ęBࢁ>M3DFB &faT~齢FN?x,yI1%8!QǦp਄I~P'u.8p~J~岣&oT1wٶXұetHW' i=\KigoXtj ̄VOw~kk-M- "kPx@[̸M{w# kz͐b_}Ö^3gؕ].9ќqy:/g@=X^ 6^8:3СH.L^F$|LGȟ(P):A$վC\J5C41Jo_勰 =u*|79Ym=1ӦYnPGxItSal q$ `M?D4`=:(O>L~RO$8ZFq21yjmG x[6شNkb?Yj) _Rv V.2I$ٲ$V°6ZĹME?vdҼG9%.e🰸q-WMw@yrE \锾MPQdu}VΟ*LvŸ¤c<c"YC艀F3)(X0{"էNw;KUdY*{9&uFiI <>xT1^Gem pgGc!p{5"dlFGajBYHa!!o(:ĆP`tiXȁR [,ǐ-!8}(s OJNgtݪZJN~)N( K,6*τ\o KFMJd2P\ (.%d_H !<>`=S-^D iiF5Y-?[f "&@&Ӓr}'\7u;T¿) '^]NU!U1'e^Х^Z`geq~˩cnJK[ PD fyGQTL^E񜼢X:[ZIb3ȷ!P ܅)>@S\ 1RI^_K6d2FhdPߠ9 3`2Qbӣl)i#3tklg6zx:ϙ I͋A"V w|ܳHt<PE{BAp=Kĉ`MvixS97@N1XA*'HBBLtftPCm+K` @~oGS%*8*4}Q<"<jj$~.nM"0lʹ3DjtJIvIlA{Hie{rhOD4 %Q&hqb'ӅH_?ܛA/i7AqbNM{Ǘ ;gf6eqMWOP6Cw =({m gR 0QxO4|[(dFYEE9SN5$B~'6:QO`{hܒI?9A{DJIS 7'kImPIls?sΠ2:~OfxCkwgxw)z ?^/gc\u B<`Åi8~[!2Ta/ S 8HaP0ґ$3KKwbb|Cʤ&1>G"DF?3E݋>w@La@g&.a ߌh#cFԈNsP:d"o2/($ 6ԟ/!5P=kU.2Pf(.a籼h;r+r^ͩ8m3}hЕěwt<nZ{l䶼!r+簑 ?5n{cyQY5L:W7S 3d/Xzΰ^4J (ph inOQB ?l+߀QrsUgfc_/I2&ȄRe(crM"bT JwIy| RZ[i4VZ(5QHK;(ᄑHA2rIVj|*]֪uqP@ACn>(}]cۚ/܌QD-"ܗZ bny!NR!N>rۏJW^e,˕ ,ċ37}]TA" ʮ{cfޫ$uLX/T .AkFaF05 -:<ϛt>5)HtRȈ0Ƚ'9RF`V4#Ty7'*d+I*)"2JcABr!gDBN" Ћ$q.=LA$hDE0".$90Ty%Ǜ22R4c5 ̔gfvp0@oZӶV{`ʙr)o媾Ƭ@pQBݦn Yqȴ^ IkتTy`hgՔWFlS)D%a1~K0ZdJյTyeF-Î2#G&ueMR6tjt(]#P]FG"w>NDR4~hq?h{t0qkmjR\NqS:;ЩjBOc$S\R"O\W۰䴭[P"5Srv[ ?9@͑q "21KsM6B8 ko&lpnǣP#['pɴ7e%_g֪hH@봥ԋ9J|]"^i% DUƟ8gG^ ZŁpG>D^`DIYv4]7O4*H"ܷFm!t2i堕OTe=\, gbӪv02{y~62%KQ3_:lȓp s1cT4M:N#,E &b8 rD U3.W g!,T 6qٖ|7Vģ}e4PKk, ^g<򝝑!jW/+^Tf|@s/JiB `?F%E> ߶ÕC }[ ݈ft3 z0c99 (<ŜkPrsF[.-Bq(%>7s,-S,f !TZ~R[jg'=Ōe%V._ezR|y[6b54ً˹8@imPg 3.vZ2BK3s01ap5B2cI'o̿>w%v AHi&r. tVSͫzأ)O]D\h uG8}U#WCɱvjj CZGVu hbgEe̮E. Hb_̦΀v )&ulh"to3r?-CYt$p U2Sh=ߤ/ч/jUf[r7iB/Ϣ$Q?k+qdg#s0ewnɨQcRj1 p70z)'` &@7#l) qCK:wN)/IBDRUJ+m,r)4 {E*JFs)7k B<S\QUfƮ74HKv,:oi!sbH`GtӁ!fL2z ]vs K^cȅ@A: CV^T^1}zesPY K$NTg1I}c Ā5{$rF]HD(x[D Y\J4$S=((Tci0V2*=pQ=P7d$6&6+ax E#oO- aS4u^wQ=7IʎW@|4^~Y{BǤ3ziuwA;wV?Sb~x$E?F|bh{uӗ23cOEh\|Ey(´]`09݆kv겪1wy`h. =#R,+![Efg)=]>  t9 B@wa#&&Ig cM^o()$ 4tqu( "LKhPn W)"< 9d)|BFKH1t5> Qd ^ '&Y((50ZUxysUDQ%r2&RV]鑾Digh("R9E~~EZP2 Z_?t EG{ApƖ?rR!Q(,," `0$ͥ5)j*|?Qf/mJ}!٭ EDoqC(@/?kZUxNM2-{v_x) ՙ*&ug5E(-:gi~>Qp2$█Cv:N")7Qu߃U ewăDB *X~+^ؽ3!H6Q+j"Ϗ]Ùns(_951#e]6&9l, z;OzB`4{D,t8] $x:2Ü'_| ᵭYy9<>[Xv=3ș^,O 9u Ձ./t۪gW!ju@Z`_o_"aرӎhBzS.+'rNoaZJU*۩HCw RuGbbS2y c Z.E$2b[ZpY [/)x Mi@xf9@I3e< 2>7ºч hR;E-+V we{ By6#6R/$O ۢ jLN5f:XKĤAfEMM@5OH6{ Ny"Vju丝5䀥0R%AA=e@y7,eI)T$!z!(ߓPWKR,=5`XJ=$IH:#KTq?b0@ Xo,K6-gl4opYoĀ)6c$5yx!.܀+ V첿VPRC=  8 $z.tY1*mૉƖ뼨}!b)˕0 |ď4UhI 0q2l[#b;ۯ֖qZΗBj4MD!0 "^ɻUDN\^. <"<9> Ƭ`Hp& r&ѥD?P"$I+zN8%ۢ %8ưn#g],v8WnITeex|fHo"Ȕ)51j:R4M6~DD<U+_2^e&CH *mp ՔvݍuiWBcO_۬BF-9 H8堼F^ez| ^ChqZql ]s<[QO˛uN..Ekc0jk!A5K#v{?#@eF~P! ȳ6!λ5#jvnfG &Rn(J7P(HhX+z_ EoUM#ޠw jJ:2RlJA:]Y,2@.# i**3Zih (W,=F7IcUϦu;^=_ya~ xN`"-CI*.K 4cǵdQ<0N*zۯf],i$@@`N%ކxq1/מ ry/-+(POF_S'־v7$Æcp:FEK,=!q ԧ`CL `sS!"qhCi׳{L6nT5nI۶^@|9Ld~ZCwN[vTlN$dT4pK[~R馆?CJ=dE|u$g =%i),Ǹ:-'ըvuUMV} >((@u/1/':_{3':~ tIWKMEVc/;YL$kdO9j rkN!,l׀VRרlf=5ZR$PJ 5.S 7 sS%&yvp OM҉X\:MBa }S8ڰ8OgPJh젒P{rjis_GǛ"'Z 2#y qXsADk-htc,=Ѻ /: C6|`G 6)=KǵĚKXjϛX]/ocbo9ʷA43uq P-.`2p-huE 1[E]ba[w;) ,*t ]ߛnnq*6g>kyN vu5ty$rsi1G vml۪a+VEhjd0|+"*[)(}|@0I Atۓ۔Q7xⰞwݐpV? W9fX``? Q^_.>O 6C^y .v9-(y軿<4#Ts@TՄ4