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  < <AOpPT ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.676cpu=4.110gc=0.000(/`H` P;BS-";aJ˻ r1Ĺ`;LnKjL=x j80]NQ/롧d̮?%f *VHLQɟ= . P 1%@P79T1w(/ _pkszMW,\Xշ%,}Q8*Gk(T< su6ұ$Jr(/` J @k OO[$))QEQ0`@HE@K|䂈0 4}i]LM)[X lxoI{Ḿ.;hN^K 0wC&cy[vL81D@؟f>)N^9#:I4% Zljd0Td97f6d9559127071c13808c7eec41f70a08a3c4a728364c96560a7a14ddc2e9263f9042c3dd467e5 f9339c00e61865f047b4085392acb528fb8b6ea7 abf90c6dc349ece67980805c7eded22c1798a41b 8401245c80a784448c8e78d796c7e8498633fdad 04330d7bbc370421db4e59558eee1e375f409f054a778f7b-a74e-44ab-aa43-5a8374f0da1d $O HOL-Nonstandard_Analysis-Examples pyOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodjOa# $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b fl"0mRr۟0# ZBq tS4ҥyoaaa s܌RaysDUWiyR %@AF4X,\LL0qKR1}2eq"yZ $4ߴDE 5zi*0Bq-ωZK-J4ԻV&iq8,, y*Rܮ XD)ʺr8$0v`4 4*D{㹇?8k"ջ_f&wUMC|?^{PZQc 9R9C=R$ tT6^2`bS8{*c?ChM4Ӱ.R`8=T^.}z}Pݠ?̧A5Bۚlk7V7c;k"r5yg<;Uږvfa:ipg~tb|&1-Ԗ/"-&/IQrc^k J- + MN<9`xM#Mj bL,ts3{A˘CeokVK-[g=;2ldJߡ.JU4VQ+9e lg4=ۂzp{LZu h Ǥ6%F'f)@]Bk X~ 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]\˰ؘR$ tT6^2`bS8{*c?ChM4Ӱ.R`8=T^.}z}Pݠ?̧A5Bۚlk7V7c;k"r5yg<;Uږvfa:ipg~tb|&1-Ԗ/"-&/IQrc^k J- + MN<9`xM#Mj bL,ts3{A˘CeokVK-[g=;2ldJߡ.JU4VQ+9e lg4=ۂzp{LZu h Ǥ6%F'f)@]Bk X~ 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  . 7 Oa' :HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`mV__$ o̎)nx^Swh4oj`!{USUX="<găùXW 僣1MwddD\EJH =M%չ;V,OAU'rź%ﻲV*{TrW2?JB˕'GlmS*z+ei"cE%a%QLOSV.(c-GeE ;d$TGe㉇^ IPsG*dMK<)ylmKD $6L'x! 8G/{9q΁|1&ʄ@1ל[BȈȷXZ%#;QɴξS|FI9#Z-{kMPhFdd ps@"IK1ǐ$`(7SZ& /:XHȔŏΒG͓Ҳ'$) `ˎNG0`Dhjl , 2k"C$Bq[˒ !ax.L'V 7:2EthGNjU";1Q'T A]OzF ` Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=,Z̐#/h 7KdS?nM%-%-x()'C29!1}۸??^uOC'4ntntz<@]:IRۀbjFrrza4CB)&)3N#A +䍳ub1}$z6JH3.{1Ő۔hhω_C NݍU/Y#b}<@qAEB Kdcfr+^ko#NAHF8(P am5G4bZHo8`?ȑrSCӤοҌƔԑ@bJ- Q.*SFb$ W>yQ/2;#;Z V;NT"`( }jُ[̌.P0ͻ9՟?wtXb5@DJ/ )Z[][F`VPG9x( LV`옱V3u`JwISωezU 8J3Xkg65izZd@Tz'(Q/_Gf_Kj_xNVuSȕY%;;^kbhKxۛԾ՛*3lr L$IRQ) a09" Bcʈ2Ic돳 jUG)yVVCKYI,B89IԈJ@7%/KwLKFRREC|#f4"=*o- {rT{Ԧ6G!hRE, {v0}N~}ހAeIsueEM"_RmQ>K)J"9/H<p?^H0g(堑X.NR{׸fPIVv)׋Q_Bdl[3h*&qKAC "(8h7V]t[*c|Th5DZ%CRξ)%(,s6}Yj^Zi(1d8f2z70+9x{f5ͷ]<%_B7k;|Ŀp ED\t6UdɤOWQN(IƦAb( Gf29>ַ>EB#j%/."oS &x'@]ٯdjG'sjC|-(\`B2o& $M0֪AR<۝[ۼff")d1ءPhswɂ/B2Œ{5%``_amt塌|*H'>fS28QVz9cjoqcn@$afDcV a7;NDoP*H>rW5^^Susڹr<" }(sE+sH0 @L Z! C$C5O;;\R3֫R0Z-qT0-VD:qܛ$$Xמxv8t6;Q}NhժܱԀ$n`nV./ ${` 3L{|w BGZ[_61;fZwPmt݌1콧bW U7/(!| ;a&wb{k|]nX/Ȍ>ЅZzλٽcvM#Db;Rn뭷3{]"bP9+o)@T.0V[<̌7~X-vP9:s<ռۡAAQcybK44huLF(BYl Z-^3tjHjH 5 k )!w)_ʝ=wjfԂm\rwm\SAD̔˙7l`((TLHbr.!*m `*?vư9wRLHzz[.!a/jv\Pւ9y썎h A%zk1k c'x(*{CBl|E,m=yhm3SCk ŔU>o-~S]:Kgb[juئ)!;!30Ε;Odml!X&)/ʌ).8g!WV[1dLmq[1c*t'a$Ic8Y70x٫5lM11Y;/.D^tµin2 Z5S[fy9f,Oi>H׏*mkY0E|dww Q)#5wU{?JW3,r=Ew  ~69` :V?%*:R7o8ًSwG^2 I$cm$cVa,Hn$G5L.^/A`I(^82I[q*4e2C3IYUwuxWT½ X(|(5y! PH@~y=F-Zs++xٽlkiia7~NVloKEy.; .ʟ˫0bC04X:)#&%@e0oЍVF,^\Kibc{{6) Ls*Qo>_+QɶџXJRM PV,p&*ʅ3`}`}0M1m~aZt#AO(81WQbL9'$v/@W2̮ӻwbWܬ%ݛӥM=ŵ/ٓ׈.#sxbn'q<)} U-s8{<@1d 2+v#@`o8Sށ}3au7KlqS14#p; l4pH(,@,+E̱)'[psI<"' ;`JAi^Qz497BD+T!>7𢛁R#(۝ >MzI?gx]RNB'Hp#th r$C,7%Zݨ 9>nҤ!tBG&ĞTUEMonj,`$4VjaNћP#|\ ]>l :M WHэsD/I[Y5(?`Z8Qwl܈0786;WNq)(Ȯ@\+IF:&c7 Fǝb䱲fҿ:PK#5P,m,23mivb\^e )5S4ǂ&`XFG_q8iִۣRq ]h/I꬛W *1 nɴfkRBMI @XR=uiK}ACϚZ!rTncDԞw[scG8ֺ\VYYAa cST 39TzRŽh=(7إ\aXyÊ -2L u]ɥ YP0A%~?CPܱKա;;w~Ea±GWGSwi7{QD` 4XYbj4†AcGhm(1/.OTY"V cÀbb'E&Rd DݲJN K 2a1Rr7"_<% 'p"fD\̹"uM[G/xB!x_#CB =;@c8&A b.!o7b;jI`-FQxove۫|/ſBʭ]V/aR^ py%ݨP2OA3WO 'rjqת XXqVH90$AW"x| wXj2T n$JKl<}!pbDBؚƁhQN$Np@\bh>KI/q,$_EEH"2Q_с\տW/DйLm$eQQ q=,n_EU֋PӠ .< d=!kڡ)n:[t۴8ĥG*zu / cng4z1);#J!JcwGi=,k U'TtEj:cCLJ^YJG1eq4sdqn$r/;b@RR>T6 cPu zb?=MEXavbQEL<0~Eg([A[^I/J ݈DW'. {jmXC>ϺgB"{:Wc`RseHaf$KWp*͐g}b] MqRP'82H>ؓ- eY+QK֍BN?:N9kk C_Xc}Ɂ]ړf?mwn4F^(BȈZ6("GVXE$_sy,'`^x' =O 8.p|Uaq5⸺o4 AN=ĎTWOK^0{ʹ%7m=oƀMԜq3.WǩK6 ߩWjhx}xnoԴzz)I $I255*)WSK[Oh|DK#5hx]kj+n\XRs$TH.%qnw$5(UGH/JɎD˯zuKsLn)i?Jtc z>^oa RěH3%%Q#& 9~%*[efH8f4)V;pLJvlM{J'ã"k PnKΞ{MWg&ާ ;%Sx&F>g:x|4uye*P;z?gB엤6 ק\b67QKQ[<2) 1w-{DsDTxsbP]'r(wUhXyl<`P\w⣘z I 5UN˝7Csr0˚}G!n/79W(|9BDg p@Q[g[VEϨ{ʪ E%FXyI8̜Iܪ z{_`68-U%Wk2EApZ80FYuH N;ڶ}QU"}$}:]H3(n>^C D`xNTQ #%ݍ2*a0>w,ctzCJSs!SL1> QR@}N $|/xnUy7n tEyk׿}ֳhD{D)2{21 :1/gR@S+Am0d@,.*45q;DQR.xa."+doU<2JT/:]*Ƚ_ WhW6c8S3@HS*ghZu2ʹ 2@_T):g] 53Nbo_D&yP:-䋺Ae%/ {m {Q.m7l@)թ>0hrp"(BETóoC-+R*:Zc>t 1+*<k@( ciژ%j NVѰ³`=rY +IYL ǂ6ga)AwZOpTA&$Z_YgIڶ[)۱#8@s=eD#[4F͵ dڲ]E`jϮ䝤lYwgo{%rD$uWCncR7)C|Lu]Qf`}(I˳zo G!NESLNtO=0/0mc;A>\0'mC#a}U$>C$$[8(KUIFj0 P_mq~7Py)ە5@kCL>e< }bBPCF.qVZD@dMwj#I8LIKJ$$Z` r鴊*M \2#Jn%0zD >/@^H[3nR_ z$qV)y JfzWI1NXWV\>)CL4; O$k>逼~ H0䭾)hN}(7yӜGv>-֘leu ]eD>z&u=P,.VzwsQdQQ`Gjk 0Rq*'mnC-QlSqtY=Y8?]x%K^a\_NJ,rva687/g 0@jМx|N`M 7\7X!g:rGCH;!:)%ϊ g?鿴aT?sε.j4A)BZTə(ў lAT;`" hBv\*TŮh GgqoKlg1xfZD^3e6D,)UaWҦr$GUbdx.?yQZZnwOE2w鹉y/x0Q3+9#up%n؀2IuPkHoE-_*TOJɒf[MHE]qb܂7cvSn3w 5N9PRʦr_Gufn(vW6'Pay~ uM+ALbbKi) K]Dat4,dATAw:Aϴe/͖Ihi[0H UJMO]èE?ӄw0<\Ke!ks:Px^ja44=J& aP&HE>Їj1yh<֜\#zPfH̉)!bxcN3*Jb^BltRhme,G$뗙xA4QAa#C0=9'{Tp~B 9%OU--B8kLjoT+^sjO5W&0645H8%E?.AA _`} V0os?&6wȷQ? "{^^1WzH )h nG/+(dT<.IdED2ODJ TӃ_]UxL89@]6 "Ho:圗0`³ֽwbDŽ0">Z{7 x嶭٭G3Yܜ#4G]}13˲Xeiʸ)cuڻ eMYSsHiƧ͛c,-Bo cpHB8">ЃRj(I:pÈӃr NF#jGJTjMPLTH(IM$U ,PCHJ">$8AIRP"Dј`@( VxSrTrpPӌ0TЋʋ4`sc H3Vޯj>s#Fo3Q䎊HHO:#bT?cchyXruWk?c<T&##{5[vw0 e0c=Dbd=_L˜BY+_PW@f!0Sfq%|l.4O9J| T<4r+WyyY;IJoUe7 3f 7c`azf^_w1{Ƒ ԻŜx3Bܿziz~wg^9<Ȭ@qcmn=}{YJS(fxg8Vǭh[fvc;:u#IR4HP(  bT8D"p$A0   Tm)*PnsS|=k$F4$[; -aMy#g " $ܑ9mc8Cfǐ$s@inN,W }CuUG;K%,eDwiMܠ@%. Bӧ  ֪ sޢsqPxQlC^y|_wpf.)Rf7/%[5Bxg>`b@" Fn ~UW5K("Dxema;d؟|N'pc&h*A[Ohy!3FbZ1ZQssҍ\91+ġ~q{RJ~Gl"?UT*208 CyΠ:VXD9v# }4&n5X!K/|˒o$ª-sha(#v(B/ 8 cS_! "Țq Kl9ôQ[nEƍ<}e?!GC^lB}q|rmP RQ V(0%~P HNJ=0K@<}4<~czvvJRcG.D(Jjg_Ѐ>)~i֟=6GŌun ]6Ӌ]]EU# K6_\N:`̵Frruw{XrΧ1 5ny5mg|mMnMl~ S̅Җ=·\nY[BH1kA { 1)2R2īm=&v%M@?ЂxY7£Pc,L)Y%;Y)kخV~$9,8ZeGȯn r^9Txyja֗D}Ak˽~Ǖy{`c7PW44TpbtaI }^/BFae_!E l#?`}oc uk3N?rҿC?9]w(=.׉c-:9{ *{ߍ՟׾#*q2L >m[nL.IS$(w~gK}Rh3BH.&'6a98`LJeKKXzbhspx߶B7wD6Z7B1R#j=yK-7#R<~kۛY~z2 7QH'#Խ鿸5(-x[ޭP\rˠe"+">yz= ӓ ~B)b& sCuKCf`V'.;eRa/3+s7@tRN7oc sWVIYEәmmb ꡃ}d趚4h U6cfU i`MV[2J ԁN& Àa} e`]$fL?R(rf9".ަ~~CYTw; K-U \ѷM&FJ"(Gr5eyrP%"O-c4qhu[7܍;b46Α+k$Iv++ <9J:A;am(϶9hFq5aZ> 5Z c"EHj+רS_Qfι7sPX?v˴|u9B/qD#cM1^>1bZ]6Ĝ PJDkZXt"qD` #w bxZWh"6EH_fUVۈV^J\ݼM! Ց1zerp(Ia@;Q*]*jquV+ ,3}/˩b@0{KnڶxOՇawBu hMy)O6'6[]VJgDZ&ڜZ gYJ=~;$ѕz_ɛ_u126oq–2_[-Z JȔkR6_5tYY!kbh+{N2@<ĭq8S$`A`Vɸ⺩pSAw>k澡UZ! [ ٓINX3 Β6[x- B|%V܆r`,69TR\i$ufHe1RK$J+mY8%G=f_݁JD:0 U }%pכ;;G^o n_8ְ4IIeל.By_Ie3KWFGr9>*Oِ˙5F騶ե3`YEbKP3a_iHw`ם$$_1Ӝ\]E#M{fޤA."+\ǪjDRɧ^B dځ[C0,@v~'1?؞ ?%Ƴ/ƽ<>3ၹF5AMck}K|Jy9>qo1V2+vEpH-m@;1BTFH( Js[WzR'Olz;00꣕jߘr'o{F1% o70RѻAX!!WPA x\D=Q,Ow_Gx~' AaJ@G#KOfWLH|qn}ڊg1, a-!qFZb tKː1|R}ɻDΏlLL;\!/"UUBt>DHe猀D>X@p %D)T\9)Uq axcS!.`8Mqr A) XnOP6BkbFڄg#Y/.LTƕŸV=!IMciZ%u3ɰBvֳOp^魼9'#Y-c Ql d |5&jhSoW|x˱ _72"sP1<aǒq) AQxe< )ϗf?L|GvMWn/չpm)yS;I K 5۠&4誟nSlXOh0*zaHhR)Rc\`cFNS'ޭkeLu@F[y=:uGk>р(J=&E-VW'|Y"ee s|؅/4,ۣ0~dx J?wnU4$2ĠTX5qH!~d,R Kiqď4O7A/ B\\ح[R_70#҆`0I ݯ *LXF!@k,Ɖx 5Dre{ c)k1o>9A=EY,,۲0,H9'R~ǼOO~*>1@Nԉ*;dM$C69Y5u"^8gY]f,ub]muUs/P4 x|JF%EIt32 aBdn (R@Ashh@@hy ÉV,Qɲzw,{z&~X4 =Qt{>i Xr a XeiL@P( Rq`1bB" CUj0 ck }Qٕ,b-GsoDd"?6c~8zb+$ET,fSњVG/: 5~Cz%)2D`OVO$ԐpVCfa|:߫9U%_)K& 5(]pDY\'R+,m܊*TeR{2 nQ1?t(DZZ [X@ep%n6fo9Vi!:(#^Np#U0,RHJn`BKoeE 2Q(["mw3q k {IQG/Z|'&T*$3MJH z{;߷{/Z+441'DXD$Y Q>~ǖ^NMؠ9E9?o"raAg a̝ ddj@La0yΨcGT{Tq˫JYY>Қ|$/z-=3<'=vGV:Y,=>6JE0/]AzVSd*m @ʎvui$cOWv_)|8a %`$}"m%Gp_  l[!赈+I {P5uPp;0x9LfUi qLO| @]rmA-]V6['srAxcꞎi-ំcwvSM}PAw\k``7T^5@,AE.{E9v|}-A;oped~i]Nr_+&fU4 S6\lvR궃P)qL\@L_d!Kqʱkط% oJJa!'bYtQE2YB< ?bڰ8X2D/r?(]Gd륟np]KGF =?%C5Ukdn~qWҍ/y,D۹c#8~E(1ķj7qt\P6V:xed֩_V';#~kb7Es-hqEr(*(`b.")~Ld5X Aqs+C@X۷yl#sVy1c7#ߗn+mhlNF@L0CͣV.DTRmQ0?}`A@ \sз-+F!鈴<7v$s傅X^c Q/m_~1{I$_9!쭬[-F>g4N4<({3