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  5 5HOpRT ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.649cpu=3.940gc=0.000(/` P*OA[A ʉ`ǎCqSn|0eq{ЗzA`; Fv{~e8UU!lwi))3GwYe5 P 1%@P79T1w(/ _pkszMW,\XM}EoyJjd4Vke 咱n{r;(/` ֙K @k OO[$))QEQ0`@JEA-i "4qa@t1-61>xna9^Q%! ,JnJ)bhr.6 XQ0JE4H*yD~R]=lUkؔas ti\u''HW?WhFȷ)*D-qC(&P&:q),)Y)ޤLɯTJ>Y_U*7U=սs^ݪQ#Fmq1%S5))1 =<ɡ!@fG@! $dB1e$PEU ǽh/sBa*|4\+of'AЫkd-?R&ڼTw 8KM kc>Qkk'nhaa*uJ]MNBb|a|"Qk-VQ\@h=x􊢌>"fQ `s!!poU(C9$=? It(T|Уae650a38c89db35c34ae2cdee1751703e6a39de79f756a51bf34e1b2803926b818ad28454650efdb 6f8c06347605fafc9c3e2a708367e9d073c12b69 7a1d88efab84579e87bc510c25ca93ea0a0c6cf9 1de3ca7c1ecbb460e901ea69bf61a102886d65b9 eb38931dfc59f1306e3cfd97c6e7f52c2a97e2738b2f3331-4a3c-47ae-8deb-906a87c390f6 $O HOL-Nonstandard_Analysis-Examples mvOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodjOa# $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b &m"0mRr۟0# ZBq +"BiCA oc`a sP6Zw8gHtLsä3D>iZ:a`Ӕ"|NcapPpd7 G^ջQc 1#Is3 GkMLҤ)DдNl]h]zzV]yrPss4\ڭRYuvD+ZM5YM/[-böX+N$I Xa) a89 " BdFF $̖iG`I_種= I_Mj೸i.kgp IJk6dɭJ"<E򘢷_N/;`pi)b30*~wI3? su фNE6(ئ7[; _UXdd6iK¦mx"s}wbG?=֦䘍uQ#-4-z+_qF {w1B|&դ{Xb,}"gV/Ly4˳߃mi,L-q%diX& i}sE%%3v{ה)`@D˫Oxa&X˞'wRcؖQ J[0D7ύZ^\KBjhrni14ΖJbpiJ3} 9a_u,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;Yi`pk3{:  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`Ӕ"|NcapPpd7 G^ջQc 1#Is3 GkMLҤ)DдNl]h]zzV]yrPss4\ڭRYuvD+ZM5YM/[-böX+N$I Xa) a89 " BdFF $̖iG`I_種= I_Mj೸i.kgp IJk6dɭJ"<E򘢷_N/;`pi)b30*~wI3? su фNE6(ئ7[; _UXdd6iK¦mx"s}wbG?=֦䘍uQ#-4-z+_qF {w1B|&դ{Xb,}"gV/Ly4˳߃mi,L-q%diX& i}sE%%3v{ה)`@D˫Oxa&X˞'wRcؖQ J[0D7ύZ^\KBjhrni14ΖJbpiJ3} 9a_u,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;Yi`pk3{:  CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  2 : Oa' @HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`F`&'(:/b x7H8U aURU5Q/ 8!$UZ G΅-  iz*N<l'@>MRc< 1Pq+O֝ߕCev_Z**[C^IurzmˤRz/JYebh`\b r1Ek?(cfQ)$9Ai"nxN\$FLL֖>i0΋0v;R߃`}qM yp^G+qsiGĽ 䊁&Y$o͸ERޚoh ZIGi%ٕ1 }F}6I9! qqDZSNP!fFdd ps@"9K1ǐ$`(7SZ4QD ,7ĖrV#܏Ai`s$(G.HaStMaU%1fMX'tFGnkYt!8 5 ㇹ9@!g&eUE9F#0p!FU9NLVӠ'Gk Oa# $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=j̈#/h 7KdS?nM%-%-x()'B0uC{c_b}q1uOC'4v] 2+o\w. $m~V35^kd-ǎ-ʭUgM>D+b>#K<Ԡ))B8_'WL71o4ދS MI>?ގWx")'7z(*HxX} 32@1eJG&R4;/ `8q>PPArl5G4bZHo8`?ȑrSCӤοҌƔԑ@bJ- Q.*SFb$ W>yQ/2;#;;9fr5q.޼3կWf7/[hBiK4uuՔ+Z[d0[;qN%6~JۙJ[1cfnw`JBx?3ݍ1 0 rٝݝk є[(UZSW[XP p5o5l5^P:) 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_id596dOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`6fk#0a{sbI&:؂MIfsPPrm_`lAxnQ&z 7h BU"0K"@ F4H $L<<(qKR1}*eqyZ0oK" " OhBkx8іOb_J4ެ eZ{-A"F*9R=s2Lc,(̚Ԫwyށ!AUk97&JWbkw-<QH;Lr3cо6mÝdx^y1`E1B*>'>x}t-ϱ4l.MTTM8{3S׮ܥx6;խj^VaҜ92?圜JԽ;Z&/"R=zyN$IRQ) a09" BcH 2Ic,fWֶ#zS/|;HC}[,BX.C'J3L; .*Ŏ5oIWbC|7"F0z5 ^\z#k W1 kO*CoŒ9p;u߄Y6d< aA=h<^V?T,;D1?`Qa/F4}yk%)w9")# u07Gs.Xo"|3loP>V]NP5{oh5eqXK+!ǜM&DKq;\kp8#s oݛ7iHlYfCߥ FPˮO{~`&HbwD,q rcanVMOe 9puŵם|_&y|-TwR-5` B~G+Bo(yKJ[+hnV|VHbŋR Ζ`]޳ĿPWPU2u95^+/Ef& $0%jaJ1"y~}+R{5H YbcPp(}4)v,hB($.̨@{5%``_amt塌|*H'>fS28QVz9crp܀Ï> 2f'ֿ҉ B q}z-q6n\kun[9 u>繀"y`$mIl {`Xh $HJoQF0mfh>c$@rBJXZW8h!*wEzso` !Z?4n]@j;Q}NhժaGkXj@C707Xz+Ľy0UB Y1Lۼ͸\n*g !#/3w-Ƽ8*6:nsf{6r4<ϭVs{IH, 33$g ݹ7D;K1WsNu-o[/֍#餏=WF& +CF|]0ilzJd8B)>y]pO@{1#λd >!II2VANvbJ_}w3%ikŘ }~tض%׸$㻤%C=p)'-5\wQJ֢ZP5N>~ tҚ 0A8J>2SڟeqKh#%Rԯ=Y+͎IV ٠r"W//D4=#jL] eZ i2*>.#1+iA\T1QC_Ք0Ǣ 02X:Y#}?8)n}-YD^X @7b^J+) -Ra"I?fT <T@`ک%NāO&3XNh IU`p0hCԚCJ\ t>ܦdoٰ 6GPS#D(Mt8>"f^1ESk u.@cpmX]n+PM;ۡl7.<m:X*No"Jd.#l9Ʈ:b9gnAEbBY S@| E("-h:r'.aP&};d 9IxBpUlw0f uKn5wu'xO /,͋:oKڏw4) 콃$#)@N@iu8M Œ~R3˧Z{K}7-ю+&vMY~6P0Uw'0N>J3N'R^Iܞ=Z1~֋eteXz㹤mҒҕy퓉<$\]7 u c4 d=BԦ;iL{i:$N;Z?(F@Y;WM'9Mx0+H4(IM\I^`o%f~e_PO"F@42k7"y Bc\Bz {'BS0ȒOT@!$:0R՟X wZ6rcQib&7[A~֥pR/5uB"L>UQn3IrG>].y8!Łæ[5 0U[t>wP^k)J]kwI^ *ߘ/qCb%?>\P k@qE7 wx`yZt?KV`/1@gX2Ѯ8Gb2K|umW9_ލjy L f!d:F6D«9wAu_%&)lDy8;$ڰ/E(/U)*FN*G+3vU)t+wG`geNt";q5o4 گ䝠>Z)w F#͗n"`Za nCzoxނ ym #t:66u?ch[Nwӈ k>V ʯk"}nRSctrI^yeR>Q|;Q!{cOЭf-g)dJ5,&XL Gvz=,/>a  -͂Xɒ p hf:M5xKΟ~ u5ͳU'X 09OȭJIEU_2ErLN\疕ࣄ|)Qu!籹M|C (NHHZq]Leddk \:Ub7l;:WeՁ%Eq,Iʎ?|)A-`9Y{=ԚS+'[jˤ]D|͛ 0/~ Ž^*)>_C %[fc岪e9]"]fAHs&o%!{pI*H'cGӁ$#+@ @fP4 RA\Ё.! 1 Sx2/EGQ.$o#AmDj79x.EIl'3,=|4~-%+g 1YOo/teJQ!TuDqu51+tC63 2+2t քUd  |tq/FKmkXB Cʸ2ךTW .aA"-Dxm_LJQG}1;c#ـ(*fy"B-8g*]RCI)׺7ñ>>1rx@vuRȾY WJD<)kmsA=O7_cMVC*]TfLY p ,8$eך vR R/^K;=a>2EVΌ)Qt2B/PHDR*<-;x JNz'`U$XLxNmƁ ҭ;Y[,.%_*mI-ea'pL$,pTY3C^+ASt}V P:ֶqA*TGF_cȔ*d #gHVXVY jsyMc=R(&`^(9 3Ii^#Xႂٓ ͥkصE | N,+(m?B72:ec}B"S \F7O7XvR5%⽍үUku[m@a3y,P-r@Hj/ N}22:hs$gm=[iQj`P&NjpGTgoP.(`ֶD:Oekw *< $FꋥCЈd4=$rMjOA$.L:j8ŖXu6G\=vE"]l!x0oG@Haf%ԋhpaA[t8oi|S [xF‘J4 П0_>h$P`T旔eBudCbL)YT S ACО_3a2 ji<Sք |] {#d׍x AoĘd uԲ}'wKKZHp.*НΜNakj`8!f"4oE ]տ++9DWP$e)LWTV^+!IeS mR(g䥋¤ݫyrs̖<28, Y/ Piߕ *|DUw)X4\0/5V]3r,B]PEgh~'6K:<0 sWKkt==`A2˖y#J{+1 Z`N p +.` iLd EV Fh:8ٱ%# V{ {/ 0ńCr(ch9'_Pb&cpx!Vi(}4 _ H6"ʆb#4p81)ԩa@jZ y 719fUQ[beI&xɓC8nW@\(3ajR AF' ~/m8,vHr*%1WxTѥ R8,RBPt*'nAֆFS"iB醺 YpBkx a2ǰڑJؼB8 mP`0** yۉz%1]ۆ˾25A(&JȮ>%#GE~  RjP(f$nB5)LLD8475:G_0~ JwӵF( GcQ㷳߅AWA^)( 2gŌD4?[TxKU 2R(U ((KOTȐiuҖxB00gNWЍ;%ھBS ͱ/QL8]؏,DWl|Le%%pLb(NA<#n;55޿p')tD9f{{35n^ABo^qj@s윮+0pß(|@:&0{pXMfmӈlRU:MHo]e,nibn9R+M<'e.?QRCX+͸8D8׈pʰj10GL-|z(Fx)WG5%I08O_ K6RQh4thHP!JSG@ $lW!@\ uo|Zno'IB/9>64{yQ>:2r]zANf(MP쬿IG >[eD > !d/XzA^JG (p8k;9IOR҂)UJ832%C1"HD[1ZM RZLH \&$ivFhJ&m|0^"< 0B ލ.u8(} YxT7ZB '1@ɨS7k8`Aζv;HYJuۅHaH~\{߽(eYzv Cz[o7&2@mSn+rL aWUM R bb$:@%.dLzIΜ2Ah`84LU)I*1牔M9#J[ɬiqIrNȘBR|)A !5IH HjDR8L X\$JLϋʋ)FJ^q)aCav~/Ry!eV[1wgD"GkQlmcfRH{(b1e1c%pj=+(K}n '> PUfzc (gx{74c#H|իbgy%?bT}?F&dJc1=/[Vk4 LH;ǭ9vw8bVyG(jZj9v=Euނ2>^k$"@!s+d#IR4HP(  qT8@F`$P0  0 Dm)ઠj zHTgsG8fc q qJ ִ8n1q3"O('U(udia>$I uXaqD!S$-`m:18^#%IkH }z cWbffr!#ȡ%Mpdeꇹ;x>mbLP!M`8ᗯ*Dp J.x y! r6ͭߵA."Rqy7DB ~x,=>J"q=CɅMB2awSh$M' 60;@v1Pt7xiqNafZcG.FDQF62Y/RPЀ ?GH94{ AB jȮTB*1lL/ Q(Ԯfgh |k\ް:Wk`s>(LF pAi*iB$U@^YF؋M|0to4sO9-ϲLa 3!Me7Ղ(ܪLQ{Q ΄Ƅ4.e ߊaM#sBƍU2:sou:#Tiɝ)k pә"CDGWX|4M:wFTm y|:o\"ȐcF[n ҎSJ_,G@#,oP؃(W&^rx"\iqk%{gA7ǥJ1*L#jŰK-W#R\[N̽u"e# Z=zxFނZxea}s7n0CܬރǷd@C(L-M:pW u% -oeYcj]ŒY5^Q%ӓr! @1;ªfB.z|Eh&BFKvzh&4XIGQD *,M~U_C0Ҷ%q^mĀor V @qY@}tv  ݛiy! BQ/kfnsNof?BYx\9}ݎrg݀4Pl~4Ƈrwn+?r>,~C+_ƽ͠R0Lm Y7cajnkXąLhq,!sgۍP&:4C^fBfwߥXB ,zxe"hrj 蚡"9$`j#xx0D@I'Sع ͘иhfZu@]fo =C%"Db*K#p/r1ГOw"|yV<x]f:M%HY`t~"`IaKHE]#K!Cִŧ8ȲܡH1C;R' "|-aRLVa^>@8 A# `p_ &CH7ڭN O98XӦ|/Q0CAGIp2!XߜPTK7O>b}(9*4qB1VzAMc5KxqH4-v~(iW*"r]6}QqCI뎑83[s;Aғc<ၽFD1Av{*+Va|7|+/7{:`x#±F|#=ZM&km0? % In}4Ўr}G7Ny :z]3}w> ߴ mZm K2n\t-~!68E\/ GfX #K /v')8@nquY.K[,׻GlPH@D4z8 E*>ϡ.edLe Fbe,|AT-;>#j⢥BZQ,X@w/E sQ$÷ͅ5@xGGxvйɯz3} hջխEmq+HUϚ0c}>C{&F> hAcr+(0 0sJ]7]F=)99Qr0ыeH_* :0fAB)"9G!z;ap`#{lfvv#R -Ę[U5 nӅ3||1eL *ƅG?kS&f%T;e sm.RcZR9ɟmdԩBy Is7 &J\BVr0j*'lA<̎>yД@Au0ɶsXDi g.Gohq//{ml R@/EرsXnhB2[)~䅔 RMVA۱Rw Gm)y)I wR6dJG+&B`LUn-342"-*#L>M[j>eͻMQhasҀE-9]vR'ZN0FE=oJ}^4@md}t/\O[F MUyr :C&WZwj7J,8.'K8qn<-@.dh쭩rl#jrM+{]!Vgy<!3#niG+I5)U+ Ɉ W0UMYH"@ XT#pu&N핢t\E >=B 3,~KkiyQЁ(#S>xTӁt"V8zUzTWp*u]̝<_mME-mT(]e^è%zc24, 9q62eK$axDD<ƸAh5 fi.̈́x ZNS3sMpf >=[kψWWAE?h-?4y%߽hB a QiL@`(IR q P1B!B!B1dyUj zXDNxfFA(s_"_iC`Dm:_ر>ȶ(~ Ӫ/~$&`@jZhQJ]$:yXXKiHմ i.իT%OM.[&  SŧYW,et KsLZq7 xX:ӸT3#) Wk5>7;.!b!#,LoJCC8CKN!~pk&pIڕ>0ӋK" 0m }ϛv]Pu_OhpLid`<1: yyqOlk6)+޺gdtP9M NW0懕4+O2Noz)51p'J#!.wVIoQ'?|qlIHV c|\o?c8٧u1 \0(PXYAunQØHj騷2 BJ!Hk}u54R9xE;16[4 f>;̩,!^<k hϡ 6B7!+72BN$_F_IL; @( 4'I|qYSx}2 (9;[ %GfFEGCKk#s tnf*:qFiێOITvO-}lcԫhE*Ks"I [mJy%|uB{?i'jO3jiDnq p# (,B,~7.fop$EobBB6 ="NIRX # "Ⱥi,!i &-q57!ٸM"-^6+-XVe MfZhQ28z/#4ʇS]7?'g1oמq-_*vْXHR'}+':R=tsJ` ti5e\ĹF"bl3r "k9r-o~HG {ٵ*jsrc__J=z+%m\&+h_0㐢qX%uOWyVvf9ZNAN &d%c2B? o[CHlPYcȆ J`H7<.V{4ܥ#^^%ap)q7ε ./H1%( /xW"wNzr,WY&a PC;L<5uS5.kJ?E|g"2yNcpmqAD#ܫ S,𵉼H3)}HX l ߸ Gsn'NЅ.S}Ww }wwlwYu_ hlvDW# A3C W.(R(}2?#`A)Wҹk[mQbzjdAf+S"V0Z92>߂za _*jDKb=Ҟgu !~*oK|6O0mdx,ZݒѼ4S