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  8 8EOp`T ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.667cpu=3.974gc=0.000(/`H`zlgwࡺ=_8O˻ !c%)` ƔRO-D f)z)3hh7OY`_U]Bg8STFz» o AcJ8:@6"!*(/ _pkszMW,\XM}E$[jd4Vke 咱n{r;(/` K @Kf!J,}-|))40̎FHG@-3:@L"<sq 3q"6 2fNy Q^lr! Yl^-Hg> 汈EBas jpm^v\d=nQ~,ɴ!@JR+ Ǭ+ }ltupx;6Er)@'GN͏ƃ|pi2788d2534fd500d70a01046bf83649f4a0ac59d146471e6616f7726ee6f7c4484f2c5ad2c2f77c52 61821a842a958a016e9d5f60f90d2a4ad88e0a58 7b5807c80798cb26b480179bd3770c527e2bcb2a 4886027a65183daad83b345861db0251302fbacb 9a8b286514c5f736576a8d8195ec5cd702ffea976abb8a26-0183-4714-81cd-146798152bc2 $O HOL-Nonstandard_Analysis-Examples ooOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodsOa# 6HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b] l"0mRr۟0# ZBq *7BiCA o`aa s쌒簼9 EP,+U`{&슡$H"Ss か 3nIT*O/#>\'"Y^aE(qBBM{I$>Qki*0Bq-Ϩ;/G %NɌaԻ&iq8,,Tٽ2Lc<(+ᐰUcU qP}qxj>{xa+t% APPMC|?^{Y dss53*k[cUDXTT7>z+ˋע\Vk]5b Պ9LQZNWfNjSnjϵVM,W]ԾM)mA-OL$I X1)  a89" BSH$#WgctGܢS4 _ hhǔ1vtk"a*ݐ ew.%Xz3x]Drzy3 #vFzrp q+>s1\QXJ^(),rD7[3^һ= [="Ow6 DIh6Yi=ziԅx Σ.ĬoU."M3ڡn\MT9N%9֒8S$Zp=^qV,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,%1kZ,~Ԝ58k3{:  P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"J"PiD 7mZ1>/ Z}EUU T'Q5V2Yq @RCROpHNsPЃA SZg)e7o=ipo|_`%b˥朚-L*/<+ lbG< 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]\˰ؘ\'"Y^aE(qBBM{I$>Qki*0Bq-Ϩ;/G %NɌaԻ&iq8,,Tٽ2Lc<(+ᐰUcU qP}qxj>{xa+t% APPMC|?^{Y dss53*k[cUDXTT7>z+ˋע\Vk]5b Պ9LQZNWfNjSnjϵVM,W]ԾM)mA-OL$I X1)  a89" BSH$#WgctGܢS4 _ hhǔ1vtk"a*ݐ ew.%Xz3x]Drzy3 #vFzrp q+>s1\QXJ^(),rD7[3^һ= [="Ow6 DIh6Yi=ziԅx Σ.ĬoU."M3ڡn\MT9N%9֒8S$Zp=^qV,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,%1kZ,~Ԝ58k3{:  P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"J"PiD 7mZ1>/ Z}EUU T'Q5V2Yq @RCROpHNsPЃA SZg)e7o=ipo|_`%b˥朚-L*/<+ lbG< CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  * s8 Oa' VcQRN9bP%fFdd ps@Q K!ɐ$ r? SZU-& ő o}OIaR%@ɝ( €u5򊮦)JN:'$¼:ݑh!,7J] @ ٙ'7b7s.qq(n*mC6a_"1P-O Lb=I5 Oa# dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=*ͤ#/h 7KdS?nM%-%-x()'E5j-}u3]oׇXp߾mܟ`]kT8v<@]:IR`bj)_# m9vl9Vn^4}f}V(D1e}FIy$AC3ѕS6S~qֿNL3DobFi%/>r 9k}(")?@C-ȇXORB(qy(LrRnW|wX;fr7q+ &]y7gcߟ?}3&sf\D4%vs]/_[8a$6sN\ Klh 琩 3vl.4L\9QַZ"UGi!Pڀrr^l 9@[<4c1D.<{m6PDO-jKu jƐ5l J @5SV^ nf HT 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_id596lOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`l#0a{sbI&:؂MIfsPProaa <(-o8@$ZLsÄR(.iZ@:a `Ӕ"|"AP0h<0x-JŔZiHWiocX(i/D'-2b[o#M4Bqb--[3b !^dsHJOo(LJyPuD0&D6fX50`(K͡TVmB!Q݅kc]~ AҤX\0aĠkDx0 ] s-&绔QFi<1-k$s4!Ȱbit߼VD02ckz J:9U xlWKQ+Θy*GW&[22MYG(RJGZ(Džђdɟqu۱B#M1"YCXZёwp`I͘O)+Us]+rN n)a$̭UR<۝JUf")dᆁcCáќ] 80&^M G@.#-#iXEy(#J҉OŔ (N%Fxp9cSݘ#IX 2CfW:AS =wjkzk=`7ٸq5^+a#Ї<P><$ #I dD+!ATzc}2qh3F x' x˔R7vz\GkVc )aۉ;Qu"7oЭ !Z?8K9_@3;;Q}NhժaGsRJ[Կ ΃q*HpΌarvnN7fn177<1s"hƩ4Tyt3ƘrbW3wD7CVϐ03۽[5uGE)7[˹k,.*V/3TΏ)@T3%C6faFC< 4;$L(S^:5 S:"`/2I5!wU>JwDngtQaj}Eٕxbh nFuK|B˜F7lސڋgTqSwX/ I2I&Ƭz%갰ywgVQb|_ɰ?`I(2,/}9XWECyq}z3C2IK)Tܓ`=,ZzƑbϒz95y\) X{3S@W 58]Xг ӄ% |zzvuec:,>q:ڡDk)˫av Q80X::Ӂ|PȢL }"BR1 Ru0\ $^Y n_ֹ8]d}v^8&P'-?jt0)&U ELpzhI4w.ƧM*&ށ@"p|42⚧֙yvmt7mIթӟc5>-|VOeZEos+ @@@1#O2cHߦ Nql!Z<@d1~#J蠸C)LuzUI&y+Nj.-GulvFف଺V X oA?J>.J`s1 L@Qiٔ%2c2g" 6%,E)w65lB c4j5r! 7\$يJIWO6g{58lw̩x "tȃ,'z!׬ȷmf(JU+{r텲19+JXꜵiVmt,*Ll+Z pYOnsUcP,`HG+u/C!_ptAy,XrX,~q/ :BiQGqޟϨq;Y \+ܦpsV+DM'J80^f1hT Z_O‹TlZ L =m>ctq@* oEfԻ!k*Jze7Hac_2!v}c^g^X]rNj]NƯDXF @d?C Z씒ʜ" nQQYLZãxD\Ϩ@hUpwL o[%L`TL|&zAfثS""0kn5 Ȳ~*[8 ~O$)0r#!">0XY3U5 -oY(4&2zLH" NٵI3> ~IJTgXL#mZG]k9D|tꪛ 0v<9>kNqR>vJC*|Ir,k2@JոYkd i]}+VJ2`BYQ>:m(6*u#LP՛(aGd]DBE[lPt;&B#,KzFbB SFa ^DF@ͳ#pGۗ l.wI>UcG> (`M]U|TMtөy/ohvr S2>!hZiYx,\ {m,nnеY"ּd$B%= ]Ja߼T9 `8XX*Â,XOJэ"qS2,)sT>jDbcJ c3REiFy$:RsJR 8 梌f"-uR.8`Tܞmq8[! Ѓ"(jM=Zx"㼃Z'}/qBJ]V,aRsJ /d1!aB$AX7ؐg֊XҹVcc^;qoyHc aY$P+ŘP>)鸋ԍAID(ފ_xH$/QLp"ȾHH|: k ڭ4O: l ie9v&ϱ= ͤe~COTE{hW \?J-}ðVG"4.ŌeׯT5C/g_(1SNrő0;WOفBrg [|CUwt$|E6Co#:6!eXZFöz+`TFaxjo9q}$%mnz@塳5)@!;\X0|x:Qv| ȚKب·y, iMHVC7ӧ =R `d#zi\ɏ2sWj1ޟ WRFڿx_:xE]LܖvK#O=k}ݍ5Xpr!do"`5ݚO2{/eŒIRԋbnb<`x  = |wx +\dqp c MNZbV3#^ëK50&auRd&ٛc5:IsW.,|cv՗ғ>G5|2%kmOv(BLEJ i:t½٫,;EC I.993*u>oyiS J5oƃ#Xך6(8VKG SOy_;P[כr l)p#%땒YrY5o -GIDRFxukm KpRɖ OL{6IZKC$ġ($4e{)"=ᯌUu6+x j{} aI 7);ε ) A] !ivO7[&{'oN`z̽bjbjEugHf8/H3'Q,aP]UlX< &ѱxIfq$hfKфp5AHH"b:muNyV+t4%Ba(f I\!V C<ݾN*ٚ372olvOopȟPـԎnB!/eB\kVH-*0%n9eWM ]De1CTȗsz%u^Zq.:LE6L>8;z%|JYx`!4@'ua%8x C_O@Wm9C0n`Y!kUtKªA9G91$YkeZ^UѨ ib5+bG;z=9XAv b+:+вXǍXwvQR \ء,(L\Ҏ΁zXzB6#Fx$ в:/nB 0Sal['3O( = ]SIP5 `c 4% H<Wb/¨o%?TFi?%"!\v<8W>3S޹'$(8pJ?mف$ ̓b6:P$۾G^ 3txfKT; {0~N019g4Q@W[&hWh47#U]Z2Q>?hTC$ oh^@} %,Vv=s?`!t匁Zn1\SWWt*θWSth&SŁGb4 {^!LrXžDPP>CLNIEoE%GH*0QTЊ6LGkdP9Y\؞#+gu/" -{IQVROBb{?R@&>iR{V Et`ݘgN>d&A6b8Kֲ Dg$D#ֵTH`RH?UZR!bu Ք~]ҋ3]Ťʷ9!a&"Aɋf Q# yBŗ.؜ em!I]YUR\"(*|l>]x$=)gR~B}גs]h`54T_ĀW]%d~@ WK:#%8S95h$>OiT=.V z gs,Fӎ׫@\6h4ҘF*@=ۨ%6 0[4Sĉr*K*`*z(8 s&H ^&T Oq%8 յDq"lMjc]pH$}q2à.<5xT"8h 7x:=DHAŇW\zC2IQ>(oģADLd`J?_ (V3ՃhSz$XvyCXi[CaT`" Fa%"<( GGI뷵-,dj"ZqCNAmjP|轪:243 qTKtSNݧTkw/0F* Lbt%#;q]37^̝;$B *1]უ&tH^LQGVMWGSNby0gab7Њ+~|5.+<"N;@i6 ;:c!^pif @a% @{b'M :?6+ ]"G!`ZѴ4RpOGljBERѦH0J ̥e Ŷ*H؈f;4Bw =&:7,P\DʺPƩk@֯zӇhxY|8F)*̅s"WXэ !)vƠb m17]`YG`=:4p@}p Ҳaz-xfhF<.1܎o*NE\ E3cJoì6ʻ5{4rա=oC^S˙ź{ GQs`>M/UFOZ9bOsC~~  zH (phnBW:}\:'$ﺔB500?e^Q=&(3DSOB5#`(]'M{S,VDdaPB7V5Q3N2"*ɽ(r7A>2qP \r~? غ|}Yf4oܜMD'1S /: c57/,Dxu9}L8i=&,Qy76̭ `a̴Aoxhf% z-YmC) wFs&H6vmn!u^҈k?+Bd#IR4HP( aXâ@8DE0b( B bAab* )Pl\3/utkMˀ@16!YA@8 Ƚ^C x;N  qO(iuEPsurHLd>Z燐hw] .#Ev6=\&f<ם.*j֪ X 4h*t0"Q^g NÄpL\E GD5JIӡaDuJø ~bߺj`y Ǚј9|t?ɔ"Ngvm3ka!&Ӛ遾wԉX`-yn9EڜWVިeؗI V9pRAkR(`)Ky'Hmh&2wzqZCGeE#?,kI-p`Ľ&Hq-nwR. .k@(f8 (Lcox]LuI睴),HEjj>dǶ/dg.+aaሂVC~N 7wE…7*jϟ+NIp?יrkizB4DE?3߇y%꫱2դ\t%ƹX]Ţ>݊""d=_pGހ^oVA{<@.ɗ72nq^9GhW#-~pD ڂit{!(WBp1tSr}"@q^WKtd¸̯JߙB@y1#\8,94c& Ci:c!n+~P>EDce1[@YXo(5_ xODon`?`"?h`q{a,I#)4|dv9B4;>ѧmx\0 T!n΀GS[J~W's2WgпX{+;|6/l uPz˻!jseW9C%̧d-PAqH2ɴv.I{H{janx4O#:v-bK˻Ϸo_ O 2:RZ A2tMW"dE%WlňBwGۄWzյƺwfz#,߮(50ȩr>7Oaw31` vvEЦyuKۺ`7 V2>BI CBHqԴA+# _N!7%B Z$0riBA&Nx\E8؋}lr1^9eD @δ8,Ֆf)V_p!oL2ɺ3q@O6gSFayK2)3A!ۈxĽOJM6h]9RanR)!nʈNjl<3S@v{44]UrzA|yCِ7Glvgn*QVd!R5KZ !/" T.v{仌+{b֖+Ǹ74$ܞ `*%-gg-4ۭTͦCbqM\:ˠ$EY«Mz*g ET.2`8łr蹜k@q]4$ˠY8uԺŒ!6^LM\0D(T5=?BèE5/=̈́nk}ll5sAU 2Z@Dpii^Tp> i'`WIP[Qb`eR8_] Z@^R:apSӺ̀Pi, hBOk(Mw6#۫X۪oJ?yM}>tZfnM˒DwvG"L ӈqθV{a], jGd-D9;UKDZ_*m.0_ZGzc @7^̅ζD+|;A| <˨wKB9,C"%)Ztg 5|ՊW/"%HeT5[#p7oq?bj+׿ (4^EʹH̊lNe&" 4}1cƱLxݨ9l?1Ee{*6 9!E›c-% {57w'oXZj0BAю,@أrh ɰ[淔9eZcr] T bJ_ q՟OLc&^Y.FoEb?ךJ7 ab<˸lb\87=`[T/\_i?~"k1ЊexY+ P&c7sC;!RdDXn݃ɜ^w@GW:bj5mq~mednXa)*l2vo-GspmQA rm1t-;t!h!',xۧ/W=yOG >Tfw+~CcLPxi?&9/8:*ߧ`B;.A$Eʊk.D~={bM SU{Ï]",D1X 5*cbhsb8zkVr:`qԔbUgҀz_R?#9W|-xSW=, lTnp:h @r7 `:5v嵖M{ /9o/T 3=0 Z2谯g$`hu$$XޜMR婋4V1UyY'}RpWsT1q#V_"QMŪ Vvx8!,`_N"E7F! Y&}JtxNm`c܃}#@&ZWl\'k:sh'y$q98X1VJA}xk} >,/oB+F{ڵJk7bB[>ߋd$ݡ4W*$OzG`7_fHp|mHt){VS2xgbpp >򲷳6adxmAH0 %.;8=l8ubTػViup o>Z1Ð((,VpѥaTF@ kZrGfA@>>K5Djkxn7N]*U= =RSUqrzr5{ I752p@.GN\Ih *Y]._VĔ;xm]1 _`4va⩯PmdM 42bFa{+-@+/u|CUzyP,M6D]) rRp1JNܦ::˲ꞀBğ@6t5 7&O/=Y,PcmyXZc@GQXs(Y0rr?f)%z~yzc4p("g4"^_Σ'" "fs( G_H!}\햚]PKǭy$.8T(W+E0(B~TYĘ͞ D {61I37>M#A i;Ek@E縸XG"J5PY!쑝Y>Ƞ-›ܨ+!7-!ihPmcv?r) Q`B!TGbLj!8 =TL[^lʞpDZ1 %F~0wVOUcNq\)N|$_3e!VҦiv(_J$ݑǷ6cv=w;᧕d 4D72B rm mQ|׎T|; !*Gdg@X34B߳? u LBohS"ɾ'rA3XAz}\$;saJ MHzBojLxOHk>M"8moWJA-y-%m*mf-w R]O@ŧA3 Ipd##M[:d> U怨'ʹPhe #ER% VS}bh7h6 -,ei^|P50:aؖO~w(Q MzJNFXF"PiZWFHӳHnxI\ٍ337<:?$Z 8ѽ sD՟2-s[ Mԉnw{b(vLv-z(̙fonl^t90|ϽuMJaǤ5f GñvmSϜi?2&Ltla@"< BtHS xөyaysF(vNX`!UT-:e,prh.&p$u cH~ՊTGa<2n"mtkmi <=g*HwFFgH"%MGM=VjӾLcg\wIh\[61O: ߷ EDY X˓o -/%ꔾ t> V!TaEMá D|CX ?]pE렓y6—J`yzQ|?m [JplHk(`3 6$QOOa`9م*bO(>nU:4Ui+efSZ Fv:,Ho/Z*6{Ӈ=Fab ԈU֗hfvXž"?o>Iy1d_|(p3f.B`NO#aÜJmr 1]{}d0H}gC9Z)Z$J}%wDb3ߦMWF1V}1]Խdb`E!N'7)54@<RW":dp _8q.qV3[aAqGҶЎ wgQ(7Rvfzl^4fAJ S[ŌXd6[;6!6,[2,W,Z}PG8Sa* `鈇ac?5^szލ:w(̰LwCp@0'>:sPijs{cCӹXĉ|=nAj^Ȝ/x- áj1ޭe{!Xlhw(q\Cz( oȢ+}h3Xj[bLՆ4[ KsƩ{,AuOBx':¦D_/b|HbkLrTvCS]5X{ yi"1hE9v "/;`K_{?  _[uzas7zkPom"Uײ)PPRrX2z1xCFG oH.a_ȳL]fAQ\A$*V.(t+!C,D W@P(" /F!ܖ%y{GΉLwÏQ9gn.ҍ]%DzD26g2q~qվě&V-jԳRJ[eX NN?Y.dQ;I2xi!l0r ⢡$]#b!%2y,F,y`Alָd |dO5tdjVsr*췻ލ- ml #ê`pdȍdP@pJ_.LjCa`hLU 8dMƁz7AjEa9Gq,H C9KM^E7: @ѱJBUU_` v˚#+o#