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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 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 9DOpPT ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.654cpu=3.918gc=0.000(/`H` P;BS-"ˉaJ˻!ϱ%AALn;jL=x j80]NQ/롧d̮?%f *V@#1E%j'/ P 1%@P79T1w(/ _pkszMW,\hE|}$HzEP-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` L @Kf!J,}-|)I91  IFA s(0\LǷ ñqD|"s'&(sP܋M.G;U)~_0 E6($\TC_L.7e1qO͞$-{/"4U~] 6tI0E]Uj}F*~8_ĻYU!GyѯW4D{!E)O:y), -W{O˕zgĻZ} I:#HBɟ7-Kȟjv=kQ92P$) c <8ȒbJ*% B""c K1kӆKpEuי5 @#%QRW fq힘NFɡLv*ݻ GS-FO*p_pQg"͇)G~8mv"Pi$Ɨ:ŸyTK_V TD=F"%.&L?df<}.aä$v>-"MՋ |D317564a2c29c4f80fbf6120c57309a7dd77571e7ce295757e9128ce20e665c4f4ba08c3bdfeff815 3b15bfeb74cd601d1e7f504e7a4b04f02809051d 1262cc5026584a10c127e9b3af4f4ef395f988dc 153946ad86a6dd61f46ad7f68c4a28944e6a994c fe6e88dddba1956a12c7f871f36c5b2804622fb6a489421b-384c-4624-b4e7-8b4722d82a79 $O HOL-Nonstandard_Analysis-Examples vvOw] HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyc02a7b95f9deb0461b58c3b1537c5f31aa324193(/`i"_nX,Аs/H8#OvGmK//&+,2@P3)u"w{[yѥp R+X*;t/q]KҩVT{naXyVW2| 1ݎn3 ]ڊ}3MвTD5*YtlnlT+Xr]}į*:4ù4rht-:%)d{Z8Ѕ̣ ;N9fJa$+l"yZfЭK/GSxA^b g60'-834у#I<  \& R5n#ض'+ք ߝm-(r fkt `b!;)X P* [|Inu%Vs^7Ԡ1ɍ60jc \yq^TxZ\S>2φ)1"bc{rĂ߶YkYK}OfW1<ڴ:OP&_RE@y@"v.5JB, :%r+#8JgW=:ih4\8pL<]\r<3Qfd['2*`,q/,HF]>-fY.:c>ូleXoNwf <F~D\jrجZz{BiZ'P7'of#T G G8.SX^ʨ ),)ȥz)FY_r! ~0=Lkӂu9*8{flL0~+:\L Mq1iѭYmtCC7y=6M1؛Y_s_G "*ffD$)HR %l"5Ȣ$R eDFDDDDAE`L\"7~-AHP\bѦG@ ;"zmߓ ,dS,FGjvDF\9Fӥf15AȂ_1!W:hsyll[$lQwiW$ͱKRT14䱐w%)#ǔBkA`˭|MS.1ƥkXȠ?,vP&$5RBh0sV Yϒz n29/Ks32b2;ٳʵD;Sc%6FCQ.`a_^-REtV˫hv9E p{ﲮMz9Z1BH ,;~*}]cY* PER!]_pq08\l+*=œHHiCRm>rhW jb×A˖ =x:kD,ZmBG' ىdII:Nm;@@s6:^( P)y $Tml " ] ,Up |y&[sR(}K*Qs^*r z :]2P1ֿ_WQW`lbƨUjS$IDȃc#9E/-76e/AD\c%%{I{GJ?Cjd܇{׫1]shn:NµnT9Q`G6|=P`|qV zP˭ƿB%{p`f,ějuWkp ԟKsz%aCAnV2Ӈ5+؋uЈ{@B=ֽdRC, 2zrψ2-/_U+%O}q9^,v|RM~|'ݾ{z+p+g&Pnj6U,dXT53}(HVIe > 3 3C`'"A)AzRxQ?(8p1c s`ؔؗ Bk BȓaՕ$,qnx/FΌEyZF6"Q*ՀPj1nYF^Ɠ|s*F7ıѫX)lIE "[h⃊}B)sQ?30?kF@%r6;:sl:G Խ$2m1R\D|W[~5k3)zCDWDUA rH2ZYAc#c In*4XvŔe T/>} d0oE> jKq U!s;|cBTlp%3 R$C_nH]  s3S0MYCѼCMnnVc #GHN rB o9nX$'*(#ܝ+\\"{"u^32֦U,T[><d+._ H\X6%8?iNj~!V f^['lѿ[AҦYcVg,`L^(A_2bƑ+R32;VCNj %aBL6-%0.,A_OBIJW( ZOw HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyqqOa1RHOL-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 *BiICA oa`a s9,p΂C(K/^e0=P\Y i `io)OS^9A$)S'ə.,0"߸!$]|( Vn&]x8іgɽgFٌa/܈S"M8 [ۃD:Օk%Ze" LyPts;2Y%Ŭ%nAͫ\3㹇?8Ko&JJzr&pZ5#F!kQp=ޫQc 5R -~N|d![cit_i1!DHdT 2ٓ]QW/O&Tsj_ 0Eio%EQ.Jk-)ָgx1Jz&UM-)o՜L$I XQ) a89" Bc̈D# fQ/[v߆N2,jZ.4%Y䄙n&kJ+0@K\[ȂX&_4f֛@4r`& ."wMM+woZ;J0qẋ u7eݍ9H5o@<o3KĨ'ի.I\7'Xg.2$e&.M)%9X]8K?JwB<*7) Zc%1*XkC.I5'V%߭!2vީq}$:gu MEtPztjWŸasZϾh-e(}(X\؎PH~Ple\GHT;-HZf΋'PWb+*:щ 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*cAw'3@ p gp|tԅփκr?Dф/2| Hcd]YM P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"J"`I|12@0[ajGIbP8U]JRI/9JQ,v0ZD,#ȓ|b@( DZ2/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]\˰ؘgu MEtPztjWŸasZϾh-e(}(X\؎PH~Ple\GHT;-HZf΋'PWb+*:щ 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*cAw'3@ p gp|tԅփκr?Dф/2| Hcd]YM P gR&^@Z:N@wYu j/8 Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts(/`"J"`I|12@0[ajGIbP8U]JRI/9JQ,v0ZD,#ȓ|b@( DZ2pt TQTy F'p⌘xp8Sj1 8|p4@08鎌Ty جӼg$=H)x-8ٕ+֝+ߕP٩K"~59%%ʔWVE/ --oz+:Ye c+H`sTs,hB($.̨@.WSH HFgQRtSdS28QVzbЙ ܀Ï> 2?f'ֿ҉ B usjkzk=vgFZwaX08;8#IkH/dXh $HJoQF0mfh>c$@rBJXZKA_jȼq2RGk !hŊD`wEzso $$X{~x9|b!NTjZj;s,5Dɡ,K  <*@&g nx-b im}X옹k8Ʃ4Tyt3c߃bvFyZwh3||5vX 坥+svNiU^dH:<]ŋ[{W{jvM#Db;Rn5-.*V/r~GK(f<5Rp5 6FƯkr(VJۡ[2eEJ*hPX WLͽd(E6:˃_A0x0z$ ""X`~mA!6%!w>.劽vW +P 2jAl\qqxOD̔˙7 60rIkO͔-+n q` q?vι{bRG:#z\B¡8 퍎p4 7r&8h3^q|2778ɘYۂ_!ICk\9{DGtB1e[~{]:Kg^C,[^botG G̔ ٘QEXDF/$ۿMC80LyTf(L CPkrnm?n)UOHVgZc IsB/.D^tµkn2!Vy)g<.3.iFL{r߶5ذ0E|dwwAWNZ VwFrKAܠ U1`P>\fI6FIGa Zɸs=O7+ȪY5'wҟtw` F.INIg3}E!7q_.>Y'@[ )Er &{L4Pkr͓w(M5k9b@zb*U)rN9v=6ga ^ 00 esx\}88T`X0PX b bc:lKٝʞ5qH ޔk%;7Uo 0SF*H/߮Yq./Y@uOi$.c?06c =JOTRwta^4-IJw*QcV۽xV0]=Ab|d R0G$Zmp9JZPJ$ C?N Q= ]E<&5@k)|ȺڒG og^QCx!Z#wo ұRRfPtgn$FGeZH׋eT qXYKZ.+lsrW̺_^M 4X҉\ ,9EM/L (HA#Ѣ๱ {R`P~J&yDJ< h3 B9k}:hنN!Вb*t*-|SHTUZ`s6P\Všez66:ʆ6FBPjvL㣞y$b$L-N !lk\BWFڙH5[{+ ̊cZzNJ\Z6]2<vRWIjFTCF[s`T bNGfn:gl; /0n{hWU"z^qP;ޞS]X. [1m=t*$l+Z\H# .AKӓ-{83%a 2xG-P)K~ǸS}1|hvh$U$6舸11[ײJ )~dOo" AaE9 5#k^SRsLfG%2 ѝCd[mrZWJJXi0W7Qil`bOUO[*VEY&_1Ylh =Vj˿_ +Mc{PȂxgm-6-iPtYS}! n]ٶ 1Pwvl ̩⵽I=U-1 pbBE 0\p@@"136n7ĶSWU #EQȟ*#X>:v稻\7xSpA::+aIVCGNca(I{!Yیݢkyq⥂%O^sO`%$ ZZXKVɓw 2=7(DbIQ?xRg 7( iB m WZ+ 9\X~3<'`NRZi,L1/=þp ӕ0 ܵ&SR[z$!짢p[~ P6U&1yR:-gfU MBcĽ+)IdiD`PDCu\=&@=""΢ X:0&<:֥r!CȈ/!\G\sQGǘ<ހ쟚33[JдvNҕ .S6Ū፡RNbJ48z1VBϏ|o.T~I$V|(yCq*:Ȁ82ܡak#^*C˹\wxn#{siTLV3'% /[FТ: OB֨b`9;_xqlI1p@[|H߾4CleOtSJT>dq)<4xÕE*ґ^ghTb)įT ;n/҇Lf)Zk+HaA=' m\/PTy%?ˠ41!N*~"mCƌ[#_!2LFuC,fژRZ[qis),BvfdkGeNTn ^DJГRb/?mM}nX`܀k, rIɧR7 x,$'fo)uAI4/F>^%dH}!3̿!ɺOs:LEW^'_.^nZH,8D)^@yh0LhswByPG53͗"`:{0vǛiCX͠( VIBf"bv<qY:9U-_c o iм \8_vuVXVh?ܶG!wmzƎt^멮J+GExa4P!jm#6[<Ag3h}y)L-O%5xvy{:>,/W H*j$ָ8`R8i)&ĉ ]IC̞2SPx.fكp;!*D☊9=K]Q] qd-f͠*O=R_#NQUNoMq^Ed0H8W*!po2Ź.q T]B^Cĩ~|3/y8h"&]IQ}Y( q]F)f9̠kI0D K^lcM+B2\_-/i"H.a]otd351b=pj.f&3!}"tbUeO6!GN&In5<P=; gdGoX65\ˬE'c9ي\HɡCɗ, \?/qfWGtaL>ɦNHG|0OAY)eBQK rV{;CX*]e} \p ~xzc`,>X]uK 4gI<0)4Eܑ 36GkY>3AKi5H7#n 56û+(- :#CBvF..D/u5zYyLP:-6v0h䛙| unG"J8FA= \謓cfOѵ||5[`T$ C?tm)xq*8`&7`RjfNѨ>=y/ޙ&,D@A};"W\MoPT}j"0iZX0e۾(LrZE$GWTK-Ð)aLu(;/h)Էy qsoW(f@pJhC ?YpBVcCܟycsY;0 h#9v/J#TmKe2Dⴲڨ^~n'HX8 |C}eiw0" ?%C(f:*'} ^8$6[?~ u(LzCKK*RɃW`jQXN4U_8'r!5E3z*O'l | EW7lcGrf}p{xM2'Q `Q߶M ]wWxJrdkIJ#8x {!]B!WecU)O^`̼OUN.q$ӫ`g(B=B )vĩ' mP[M[#he65; <!$PՊb r %lD m܊9h MI Nf8zk@A8UhUc^E0hp ZQ(ܹZ91ҾUY0#NS9PL_RO`"=DކMP Pj|zkV}^F&XwD٣,Y_ȀC}XXگDzZ+q [6*vYyg8e|JԪ7hO!/s0D=2lfS~U+Ϝxv=0?:\9ҮjO '_y Pdl%wHzo"=?EX4:H (phnBW:}\:'$5&""qUgfc_QA&(3DSOB9R#`D4]x-E(,2!aZ*oUMH;(ᄒȨRrJaOZ]]f@|ϻ(0cmW7V"7yEfո7w3 n˼2!eq[LHal]ˢXeiܴ/ wꆌfͿB$mqkw WWRQVG3E6h]&"tGy%9%M7!䞣T G9-oՔ܃#eTO0s"ՌPJ9oJL' EIGJGIDVP8QQND!zҋ$)*>HZ i:"7գF&yj)BI3ȃ\V\DɎDA(|~{w4M]$=߻W͈DVc\4DtzYfNScͨk:Fr&쭹#ucƙGt}c;:u#IR4HP( q\@!q8H0 a(AAa!)Po|S)k$@ԏ qͤ)XPI!)8[o䨗Q;*wƱ8r{Byu󨳈d\O9'OQN#Evl旮hvpEt_ ]"2!t5}J+&8 _R*6vRLv\$Xѹ/~GD7MIpçD @'[_ݺ҇L[}3q(I2̩>]mki [ߋRqSFTEJ!\?jWH~ʚbwv,crT/hEn0BBh֕uKPC?Ae)XC~Il 7[d v+,N؛(uz \`I:{Q-fhN-O9'.mI{8WC& 4P0DK:S 6=krx$:n?891+ġz tYS'B+g&؟қUhn+e~F$C`{x"Hsf#3^tGL/۲$itIpaHl[}GPư'`j$+V]\0%lT3هϖ9ӏa=la_U kmw 8]-1x4D"B>"?kTФ sK",qpC dW^`1^n`Lt*L09!y,PEs JtQ#􆋱N:Tfߜm6瀛;)4~oiV#C !3`ku!]EAPEU Kok_ oKK/]:]k$4>&X Z,3)L^ V(_-bɋ! F/b}o+KC;Un0-pR^9h5#%4UT\ʰ(|>-hs "x$ܔ؋ @MQ3 9,nv˙(+smz4K!/\:jh]l;qK@-=9en\L(1:USod;jZjۜ=p޽bD@0uGӚ*3i`n$V[ (1 Wl+bDŽ1y{34>G$O`\.Uu J1(Ss겊ƻZhETLbpWB)9O+G$Vj<ͯ} !D>V@|'һ(']GN28딎ҮH8LUyJ<.| d\F'Q ou:H%tPtM4J5l$F@0A1t50?Q/|_, (41@$`<`(9@#J8ܜ,ES~|4rD )jÅr(i<,tQX(؂DW<Ƞh"~ D1rŎWYx]0IG"EK柢X8?^6\(#ង*@akӳtHJуb=ЎhU_Mf>MϾq΢}I5(P?[gM>W=l#D ĭMnqR'Рl<͞<Du0('bhq`/z6(4Hrf{i>fş:86Vs@o~L.H=ǭ倌9_<_D`B. )FT@@/R$ԶVnRKyoJ-R7 6H [W,t Z1cbZ-ZuyZeG# T s9Gh'4CjƗ>|AQMPԲgu~jK ha,ԙ= q4,/BY՟5nBb\Z g?ʒ qV4Y1]Ѓzq!4P]w@[W,eS@zs> m,4P!p!#^֊P+EIԻ=r :o>O=:Xo)1ihH͵y~+n'@ybU:2O`>EQ<ܑBQ+zyvb֬R@lCFqJ7؉J?Q?,ۆv41 op&~wg;G8*] =[1!<dW۪:?LE!0 "^ɻUDN^,~<:?,)%"@ Ƭՠ1FLt&U*Oa t&Plw1bI,ZJ:.0u;djHtwv \Y gd֍1֨(y@ТU|> g]::uLѭ" ((1DyX < ?=a$ͤyVl5W3t.)# ;TJ=Yt{Ap\2Wb aIFa,@`0KRIqQ1bBD@AdyU 5H¸$ΪvJLihz._twisd'l"<jIz?SKX$\Ph迷|]]4yXXO-`jPCVm qW5T![sN'U-DpbY8X/`iØ}9:D^77 Y:$E09R&u@Rk<J|q8zqTTұD)z&4$|@ 1O$.5bXؓ+e\Dx{w)(,&`?]RU&>RIfA{j]PTOS~gkB#)Fft׌?s ]n{xKi>G7جMl8:ZIv7%1I,3̃ت̬ %sd#h\R$ʐsF("X:n7ұǎ0[!$O$'-^8 (|CHcx>F1!kHϘ0Qs懮>n8F T6|9|mGlCh<9vZv