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  " "[Op`T. ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.664cpu=3.934gc=0.000(/`H`zlgw^4x.5B)O˻:1Ľ1Dy)}< f0%_`?EL=x j80]NQ q ͌,Ba诪.!i;У8y݅7 AcJ8:@6"!*(/ _pkszMW,\*WY>}F$Q9@ $TK%ӯ69 ^KNXO.u  -ݗ(/` =N Pk R'φe*B33j OJAka ǖ0%<žxÞ^ϣ-,1G973A83mުQc ϭ]u>'>x}t-ϱ4&MO DU u͆OvRz+^Ps*}Sڭ\N٩sJmRq MZ!m!YyyRL$I Xa) a89" BdfD@b| Ё@O%”-݆j,9 5sBH֘]ݕ|hCJ !B&$<E-w]6yqZ8 S=f~ԜF!2;~ԃXʯ3^c{́0$6az5!Ρ5B7ؓ7 A+#|ori#޽k_1hG4Ӱ.`e9t&lÐ!dIl]Q\lMAȀ(Ǧ"tݙo]>Zh榮9*NNWMhYw.IڃD֥2a^3n=?a8FR~|Ӑq.W. Ex:+HğC  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/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]\˰ؘ973A83mުQc ϭ]u>'>x}t-ϱ4&MO DU u͆OvRz+^Ps*}Sڭ\N٩sJmRq MZ!m!YyyRL$I Xa) a89" BdfD@b| Ё@O%”-݆j,9 5sBH֘]ݕ|hCJ !B&$<E-w]6yqZ8 S=f~ԜF!2;~ԃXʯ3^c{́0$6az5!Ρ5B7ؓ7 A+#|ori#޽k_1hG4Ӱ.`e9t&lÐ!dIl]Q\lMAȀ(Ǧ"tݙo]>Zh榮9*NNWMhYw.IڃD֥2a^3n=?a8FR~|Ӑq.W. Ex:+HğC  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,%1kVSd<0N֔SP!fFdd ps@"9L1ǐ$`(7SZ4F/ &k iGBi svX #\ H(MM1U$YMX'tFGnkِp! A2 ㇹ9@k:&eUE9@c0UX9NLeNӠ'9w Oa# Yh˱c˱r=L޷iևhRLSgtIG44=]9e3Wg4c YI&mf\{c!))Ѡўև"{5kZ,>y8qRy㍠"@ڇ 2P139A^ko#NAHF8(P #g|1\[ܷ҇Y\OHiRi idcJĽNHi L̇ )1+<F䝑։MuXƝD e"F3:$y[HƌXkE#`}4=tƂuDg$I3%3ZD#I&wyO!036h84XJu`RDBB 2ZD )HBgbfL5 4P1%!54E+t R}!F FDH(HRȍR6?Zp$Ε 0ICgIr?]Isў9NqݝhV!\;NT"``cPuc+>;l9fr ~\3 Lxn̫_??l5\9+Vr фhb ګ5W~l)/ #qujw _c*ZcvcE|)'ϗe}"UGi!P \[l 9xk]\11 0 rٝݝk є"Zxj1/xպZP WcVc\/(\f  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(/`fk#0a{sbI&:؊$CAA6?ma_a s e#称|9"A BWiyBqIH^Ss Dぉ3nI8)Uć4$+ 71`,ߴDD-֮B4Bqb-{9Z:e3iv;R eZ{-A"Ek!E+yj)49`ʂJs7Ɋծrw`BnnފZW/rxny=<k"mJ}&tBiӦ5(@מdVՋ{.:!<׼9sŇ{nyyf9k hVʬPL\WK])eՍXrBͩ9LQڶk\S.RV/+Iw%<[6>"F1lmIL$IRA)] a09" BTFDDD" } LgcUGh늆b7$h(Lcٸ4ȝ䙔+UsEW;[I$I0ˬ&bET֟z6\D,M.h!\~-}*w۸N!{xx e| 3|1ؔ&stOF}#glfAmŁJZ+ x1EzY[|{6%Vr_x&y4)~5w"6 9 6h*V *I7D|?fU2H"['Sa+'g`PZD´XvieZS./KY1"mw3GN<%cR|W0jLZ[(['Rkme.wD2.UcwwOb$$O#:y k4 Z;ʳЊ,6EPZ;X)efqoXa #U(iDP(MCU*!u@ Ÿd&fg(Xh?n '\tW>Ϲ28 RsQ>|a U(T?*s]+X ʋwpqqm5AypS vx(r;oطR{+WϨERҍcCá_Kx!fD ݫ)eC`$ k(eV@:t6ʼnһ;g bƍ1}@X 2CfW:AS >kwW5^[q^7ٸѱVnlr<" }(sE+sH0 @L AH$X$ą|5މ(H4ށ2e^Vٚr8Zc 8Qa*Vω;Qu"7ok`m=@nt4 bBHՇV@-Xj@C707Xz+Ľy0UB ٙ&gyq3fn*f<1s"x;ʍSibf1vO6r4?Ϲα7/'! c>C|ϠsohByg)Ʈ{ci:׵szn#餏(;(JPybj-S @K4Z0{szsw/7Fz`Wj5Z1<AwG2++e v,(Ħd>·\KǮWcԂp9|)w=1S6/ocOҞ{*md$ożCS0L5UI@tZrp]s\P*~TS̭nG7qd1kLp83fq~FTq{CBlYۂ_!I䡵QL9{MtD+SVNJKrlksnc_nt3`ʆ#|fJl(Œ",'62!\/dsHPt*3j T9"<,ornmc/n)UOH Zu{ǜqs1'l._:\2rk1\ysӹVy ӥs%ͨY)|8{r߶5ؐ&lܟASFxA ~f6 +A.ɡz' ܀"zJyɢQ9bk|n]ǯM M-A#^2y}H2H*ݩ21f%igr$#ųa~f2cهndl_r . ኟ gr ZZ~"B>{kQ PZ5gV~4:is wdAxJʹ >@DSÐE&oLSgϨJEa A%hH~U 5m%1, c6j%ʯDM`6R̶usܔ  g3sQw]U׸.t~rxfNƎ< _3o6˱̢Ftn_,l7CTfvm?=ECd;Ԏ&ADUβE>J/]+f'-#q ,pVV땰JrESo3"ڋ|L(w6A=Ŝ+G 81j;64KY.-PȮ09~l2+]>ցBr5Nb^YyrۆY70_we8ʭs;H]2+aWv3|+WR09ovKoSE mc< L(uCd4+‚ON7l4( I  ^wĦB} ޣE/b0UMc+K)?0˫߭Bx͍)Neq#&zx1wg^ )?\?9f$ M ,@>Jʗo*/SldyG^ ޮQGoq-Qլ t:^O up|4!.xNNKJk"Md*sjS!JDE׳_KD ш6s=#AOSwXSm!?x.Zŭ*!!.NXt22!ط.!)"ṗ#A;ڕsk#'(7Z%)adcO{gp>]>0Yف{CvSVJV:{Y4[њv{LHCm|Rqzd=j(>",gR+M<'Qi:أlX@?,kMԁM#H}Ao.[z8-G΃O"]ͅ~m->gBap^[/(mJ":nVAluB#L =hGBE:(7Q'6XQWń <#ȘJW8AL=*#&Y HrJ?{\u_P`@!%;gAbщ?'KONQ0aZ 7c,A6/Μ}D#l׋OAx([{`' ̢<~xJ+F}h12VѢ Q tI.wJ\cY9:! ): z4D6.}z{=4nN$!IKK5_"~@0#<gW]{y &nRFe5&LΔN.A~"LiB%ڢ^|ؐ+Ep^̼R!aYsЃ GKǹYA!jDD o^}/0SoxGwc$jD|v;'q@@bf☊M>is ~qW&]'*Dh4?1yH}~ GT 9={9UBQZMJL:RG 6hM`yOM$D?H-vvhv<'|!/G8Ԁ| _2(O`҂5H8U^ &?nHĎ?>r6 PEQ`a sWtVٚr3%T={._FAEzQ^BBQJB0/nӚA8멓@F/7| eF(-]ER&~uxfں-' ;4 Q,s:ʗfq_+9'Ģx9.ҬFEW^2B&AD(qD,Q=; (7?N>'y8H$q9lh&!FHF!aEƮ!Az5J9yr7؎TOdg8aB.3#U]L#asؗ6-fp[GQViBa`ъv=#vWϖyW<d|Rj oڮܿLOj&r.N=L)k^" z]9*~i#" hĮ$άSbgSMKSIA9oy&'s|(|3F ^knB͌8ь`^g<8 zڰ+'hVeZ|唎J(eU;>^?oKJkR;d AP!!$Xqdz}@SDzn/Xu#9)1덧{2 ϒbymhؕXx8e 0s? ux^Zr TQxeFxx?>R(MM2n !3bԚAA?|áDfH@J7^-bT4x<2}1ÌrAaX؇Ml(;~xF u4' YƸc ȓH(lcôl&huMz#g28@,,\IcX@l<#_. ފNPwXgϤ;Nܱp<^9wȒ`DKe[؊GP:[[C'{,\ @آѡEKwP6ѯxj/b @"tDzALkeaJ$~doaf0B~2^]tY+bZw-:˪tܷ,/$qrQpMIZ؍fIwW6]{pԊKN,j]R516zjo=*jJpĕ|L:BZJ atUHX7oG?tfȮVHk6R734j>\\FZ/{{ D{SI ;],=a%]es`:{ܲbVED\")od`mF0# f8aX{?_9%OVUG7 @qȳx0z96rۚPTO6@djW}ƒ[Rk! &%U$!/=(咣)hb+2a !"'7AWI>@G&B ?uqBx=QXs Ĥ @ꏽOg _+Z2{_1 lb'gpQ<|kBiYi\FٻQ+SPŞ/J8^{`]/ hNޕ⡙y%R4t/^ 9sgNUf_3>O!e@zY+Cnfdx@ޯ-_ա9Tj5g3 )mh6ڠi:WLfD?bv(eh8<).Zk@Bt>f6zO7ˊAZ%i@HRZ BM~mdT ;;VOh"}aicpZ3 sHo 09֒˂=iE{AO$ò0zl.GJ}vT~iv#^$)7As u?:$廖}Ճ@?/ﭷo#85 }+Mt&7SUfRiB VxMqx2Ԃ=c"VwK!3 0_}LyQ?x,j%u/NI**&u;IrmTLG5| n֙h}[sۮ(b`3 &NJ׳N32etB95inBXyrȻ(lU0 $W =/Nq6J#*%v2D1̲ب~Hr%,6cVa*04 s'55H/e#!R>c J(-i:U_h!/݈Rz 6$ W늙#-!L5Ϧ~+p _]-J9a ׋)yT:#o-6oB2 #hD.p&fipx(~&gB/o'@R8ٻOis7/^J{}-c}BcCt&v1d r$HK^ !W9Mo$*7G;.F/^=POҫw[:I-F\F bX.vN3.@D}u0]f}kTDʪUkN ɀd `Śc16s@ ѰYmeɿU1w@sUEOjj?/8gAg"#$Vl@ AK)vTWD4" rhqbSVbɜ՛4 %d h̋?l2M=qPBV8 t @O{"0^q\D4ҶƥL( Xb"S.㫰эsT؀^4L"GYEJ3LF908c$̚6=nV 1:Hfˡ;r3a1EӏwɛF,! :/@M!"v -p7jH&^]&8;FV/he&>CS> S}1%e0VHx;%nvGES yw+W0P7^ l746DJD(bdAUއ5E,,=/.2 m2.tٝNS&WM"43ɍp{ ڥ 3"ۉO&Wгl-q^Ӥ@C&52 >o$ $拖>1tҨT<)s<92k ͒yJXǸ,°nS aC?lQ@\Έ!Jyď뉺\UlEgHV.IOӳG۾I^|M=zi^^/݃^Ӷ_8((<_wy|wEx?L"I=m^!Wt:H (ph inOQB ?l+߀+33sUgfc_Re(crM"bT T)[MkSҢB!ipZ(ZkwPMQ #)Peޓ`r|*n3[\mxCn>m(0;Z 7#yAEF1KAk8`!۽y?L8yկA&4"GߏuY˲,L6ǃ6f;ACB3Bo ({e1B?&KNv }}yMqI Fb1-oӌ{#eL/h4fL3B)IysB6"=‘I/"9FjxT!+$AZrF$()"ARzЃD"-F4]#"HMKq^r)##E3{^z\R\$ɘ D=(֧nX @37Vתj/ŋDZkWw7"wT M8(cH~uSPlr7 Żr]ܶ64] >>|*m] $b=@*RW r m3<6%;}w;&e^ KGR(ڦDA A$1 9*8o\J4@ 翪m7ꤱL )RBͭ a \_jw/9;!1W~DgD]qU*8vVVQz+c؞%fc@FB86SYhmԊ8J4[|4\BGqiDp<8d؟临=Y,*#-)CW {- Pf鰠M-Q rxR&RHtk 9?O PVҎ9AԸ)Q)ChчiYxA)?LCneaqRP#2j<mP>EJz044?19ʲ$]KI@a$fTBT(m#P"%yc'c >?Y;֦@(D-Wg;X[>E'Cw5HgJeEg苙xȵQ_*XR>y7'.:1֟ _abxC J2ɒDj 7'FcLU\W0d1:rO , Mq`o_D`=cG.DHZ(7fOyb6 l9p4(3 Wk!]'Aǐd( 38,=n$ N߁tdKʧKt;=*t! |XLH\ Ē۲pFC`]H"Pb) C6/p>x?ŜF:\I_q(1>Kw! 1 7#:.H0iv~xF6}*lΉ5b]K*z]h[ZF4T^{:u] ylfjR#Z"^1D/Tu+7>wMK4: WfG[g6 =LyG擁sYv"!Bӌ*N[HBJrDP'px?? Ĵg&26\ ~W[ȧ*Lwg@[B !ߟGnsoPbžHUGklTķ(@HBr9bq ӰU9 ,Q`^f]r#OVMRa,?~D7&#y`vFbp^/ӧ0U}S ܮC'T\遳Ke:| X= >zf|er(:R9  x;5'NĕVpXDqC .X EA5g6jH7t!\M4[^ֶnIjh#v j+S-A/uzS6Ѹ$*6#tDP!m7,ȳXM0iSaZ "֟=`K<ɗ[)#9Q"E,<<}FYO5x-ũX!Dsvؽb=,悂9 Vj|F%HDKbX/?py)J^(UI-&Ѷm.ƳkNө;@_8LoK :MFD !cS+?k"3Q#119xR4dUm ,L7vtbMd{>1ua}mхS]QreHG-TR0H@AZWC'%NA(*Oi~#=2xicV [S ~YǔyWjh1<ӚDFd++0ӴSdS"?oޭ7:i_Fsh=&ۇ6\(:巺RGj-׊hn@[9y9(-OZ-TJid^ElۓuO5$Pb-S+:OсKauAU .t3;oE ϝL&XE"@kAsTTdT-BQ7Ƽ;9? g]Y{1f",edi8kAib7Ӻ-!*O Yr(};]te71+F9(],U\ryx,Ze+@ { @\n$' 8N $B5 0sa$ͤyI! r7T/Ks591wbt`SR>?qآO00|wJ¥W͒ a HEiL@P(8 (C 1# !D@!RU 5HP¨q N$xCDI;} *}9gr3Mlt팈E?0i*=PԚYPB ;ݘʠ`KR蓇t#h[q .UUReN` T ,,$WRBV-2lPg 2DKX:8"AX\ǵ@%TgzSJpQui$Z!Dilțڝ|XE{Ya_  9 +r m+T pX"i^8Ē8"])R޽}±y7\_ 'pL=V6˦ok1T>2:KHN)*i" f!ݯVz_/4$XCns[ ].b1pu@VI*B5t.bIBMm7M aIㇸx~vdu 9Y{{QZAEa0yrץ3vD9SKPŝYYHkʩkD:gT}Vh,d{$(@xgFNXx z&EUiCK7b]&{J]ʔm~Q‘A_SW6UJ׮`}TrXAj/8˹BЭ %(|m `6\ ,ZXJR;~ -6)̱)NqȐ!E7 U?}@L'1qfiV B{/YO<`RCGnyASuS Z?Z1xW2ՈB:zn|R, Ì@HFw$ ǽ'>8v:z&H_Z*m·E=ee&icho})푊t~\kD(x͗[bIl2{ʵ،ʂ9s*6\Þ=Gs13 ,ZOAH[{ j+㣎[@# CxAf'$V(|88[9lHDG l ʼnMMU-crݣءo~[8Um[!H.Nu6E8KHJ SO:'X,[xqoʰ0Jϒf|uY9#bIEZ .'[t$!4.`-|H@bCiQ$䁠h m$diS1cёiO) s Ap_PS,BFv\2(5#!ǍaU*7qE:lB71CSVMvGh(cq\o.JD$TnX98։:[ճnV6\EM[ @ |쩉c6i[uG8QW A)E'2j0S)\rt",`[dx*سoo;?AzT"Nm׀Z۔T1&I䤗R oeb2DX\Qk|x^tSᄐuLX!6b)Ȇ!i !.B7(! WQIN^@N]g?tsgJ> tLT #jU%ﷻ[VHPP4IE3F@'fpQDV ҇9&Qn;]׼_1j88I-)Vy7veY3+<t5c 2D_1)$BKl|G5!Z**mN0Y'&W*`1