SQLite format 3@  .v   i G U--]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_sources u77 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_infoT11Stableisabelle_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_exportsmWOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# bHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` !6p"0mRr۟0# ZBq tܔ4ҥyted;P$ jZ a %@AF4X,\LL0qKs+kM8+4&I>I8 <-B{oK""':ޜ)վVQl0m[s#Δz&Z{-A" usݕe" LyP|s9rJY9K0U !O0a*-LF-xq%RyMT^."{$2b"ĥM _DIgrkcxJ]Y BPx@oo r[btc/~e (&;,>C}ƒ g78q2?_WZv-`Eg@Q&h,B51RJcxIso Oa) &HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex(/, v"-hse]*ˆt/}KT;k32333e l̉lCr  1--*XK}5S7 |{nP%bI[QIQS;qa㴺wX2A[~fw(&Ң-T@P0xX =ɗ'Y4h52??(8?*S~߷"- EbK wwuD,O&4':m10N*m0Ķ6^./]~o4xY̒U|PĠ"+EjN#E z*Nb $ZڢEqY$9QJIj$1O} gI(Ba(N#l+Ӑu|қYh9 AcJ8[ qaMsg(/ _pkszMW,\/HX>}Q8 Gk)(T< su6ұ$Jr(/`s}Z Pk R'Ӡy.jzC"$% JZ_\E)i0JY [Q L-QP*8&jNkj<հ04,f9.`(l,sLƄ H"$}H[MTRX<ˡ(=(vU]X̡,5=`(XLhfQXBC|}'laSSP+6Y g)YAP3XRZNlFzQ{"붷_w[|(ODO 133!H}esQSCOV^Lֽ[L)5ߟNݟ׸|ywܝP5VjR͋I15S4))Z lFxq(0 c1 Qf$@"YmBkpcѼ]HP3XaζqBs؈\.*jW;$2Y̥w\ЇW5mw|U0+ @_{>aQhao7 [lh 'L y%Jѳ 3[&^ۚ˭^=7tсT]沠 K4c/Ĉ])]8QkH+.m Ɔ𶾞?߿;vU[Wim=FB%̢_/H3\M]mh] J ̐,"-׏]k=lC{+_Y?h"%TGKҦ#۾3*bc7969e680cec628998d634f9d54faf6fa6d9151 e512a13d839ea34e1dc95b4853b580c309500b04 ~~/src/HOL/ATP.thy eb8b3cf9877d85dc69052ffe99b60c0b85aaabf7 ~~/src/HOL/Archimedean_Field.thy 8326d7d8e32c9476c21168590c9bbbe8539a6711 ~~/src/HOL/Argo.thy c41a53cf6e3ae7b4ec11d9f78790ffaa94c31727 ~~/src/HOL/BNF_Cardinal_Arithmetic.thy c3300080e7eddbff5705c1fe36379e9516a91c25 ~~/src/HOL/BNF_Cardinal_Order_Relation.thy 4de3f8733a8875cdf4a1a8d2744e0082283b4dfa ~~/src/HOL/BNF_Composition.thy 1fb03784cf0558ee33718a919d78fe08dd0c815b ~~/src/HOL/BNF_Def.thy 5eaeb3c91ccc7fc0fe5ba1852cd762d891f021f7 ~~/src/HOL/BNF_Fixpoint_Base.thy eee18890502206998b5480ccc37d52b9a0e78abb ~~/src/HOL/BNF_Greatest_Fixpoint.thy 36cebc8e7936eea394470069ee357332740d2faa ~~/src/HOL/BNF_Least_Fixpoint.thy a26b2ad5c75d1675f8146ddc7506e568969def92 ~~/src/HOL/BNF_Wellorder_Constructions.thy 24691da5b2f027b91cf7d9a29fd97b2055526eb6 ~~/src/HOL/BNF_Wellorder_Embedding.thy cab5b21b81e38a60a3abb4bde415904311b895f0 ~~/src/HOL/BNF_Wellorder_Relation.thy ff6f04cbe0ade7bec25affbb246f8cf0e65fe29a ~~/src/HOL/Basic_BNF_LFPs.thy ae0d756f830d0d81aa85e5549f026ef3c8a78dd4 ~~/src/HOL/Basic_BNFs.thy 48d57cac04e46baeea6a56ae031d3e014c4bc722 ~~/src/HOL/Binomial.thy 54998b1412382c87f0822f2ede4098b621620092 ~~/src/HOL/Binomial_Plus.thy 04e066928947542e0083e747857b0796d6426d4e ~~/src/HOL/Bit_Operations.thy 2ad24e04cd972bf1ed05b4466dae684b1f3eaf12 ~~/src/HOL/Boolean_Algebras.thy 1dc33bcfc76a695b63161f930ea401a7c5124c2a ~~/src/HOL/Code_Evaluation.thy 37b18bb1e92213fa73d8c235980705dc48c8d2c1 ~~/src/HOL/Code_Numeral.thy c879898009d3143557f416a01a89ed84dd21e5f2 ~~/src/HOL/Complete_Lattices.thy d1dadcd164afe3a15c6f56a307e8f63ee68be68d ~~/s $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.thy gffg'f0A[13===3[fccbfc6fg7&c22&2b.&nw"#Z&/////////3._5՝D_%wg-UýTy*d^yѻ x/Y⸻;;*Gw]mG^Fh36o-݈؈ Vc#jv?BbQTc7"D mQ&h 5#+gd^ec0c戔QFG"V4aDVMQ ,rZ|qqwqU;%,Ia)rZ[ JbEe@t~yWUCH b@H ?!ZϏ@C":#"#"#"#"#"#"#"#2"2"#"6 v ozzϲj'hK[Ujպw݊0Ŭ7WoWoeggWvvvvwWW_u]wuUg^tnFLUWvu<ƳN5Ukmw4 Nnmߍڝ謹S9ٙ}YUUYGÔyyw9RWin]UUU]U^U]U${ުzzzJ5S35SSycifjzj+wr*}wCwGCuD2LCP!WOFC91 BhGk䓍ND`t@lFٞ4w4by'z}TŽ }fѶ<˭B.us*:;eNyF]1~ݧnls)oה#![-]B)F:V9³ʵ}si~9xPg{"ҽS X (Q:E"iXV`k0l̒{pI毒QRhH6zPwt-6SGdt:U z\@3bهw^6d`7Q91,tۉLpb%O#qorvt |[=SC(h; GU%iHk=nYP+$źHLE2߻R5$֔C?.UŔ}%0z[˜N>F, SW&;u1-'o׋Dߋv\JZ)N,3.PNd, >#>˜ _,QnKshdZW*JAVn,VEDM/bQS-vSV*x-OHS9.lw q VmB8EL>"BZcoqq_Jd7jk"4T|QۮxaP9h tb09-A7% Iܟ 0p+͆Mʻ%ѫ%ڱ?>)'ٛd30%5U,9T|.4Td> D!iB)&[2VSRH|51}$F?9^y̓S ?ä"0IZp7A!f==,{6h &r=$zkim&xy:$ݪ~㹏;(ˇ* ǗRU?''*5|ۤY&5k@7ky!U4QȅE"*bZ*MRݕ` Ʞ17+*2ȣ T@ CC1yH( Z)F3p!#!X†v"1Kx(*TFyn5%t3/AŚp϶9|{iap{@"TTs] 5%hVO-E&d񸊿oO TXtkBKN *pդY Jgoc* ަ`tJUK4a[*D/E uJ{wغx\|ix O݇+x$c)a>?g.^ZLs(R&}?^?QQ|{_J֝B?Fc#"lN{ 9o@I#$yEd!U@T tSRoa^5;[B Wͧq:]#Wd,dlyNXG?8HsIV1`8u1-\ŷBc!p=„X]<>v9QꕼY΃IQ1 UN[͘{ZH0DAߧ#.*2&aǐY ~JA1 }ouO_+!aZ&)nf=,!"BP7dmE^"zf gG+s]B'EnL1~gY.{L-C_ o.fy>A)W]صՔo$. 1p~3tf(R/7.q Aj^b.rL~y0tG;<ۇUN9I~zAYRPn>::MOF@hc6E- lMa>$)0b)J`f6YwE"mrK(a vՠKj 61^,m?ѶE!GoYGV: d }z#ulrC%MAm."$% {'bsW^,|nPG7u˓DPS.YJ@ġyBC I1@XZ-;B"YAZy!t? _Bi)AP?WG~w_<_ +RZ+K-Cbica-|/.62%Y}f+l ')x 2ൾ GL ?Ѭ6ư-# nDk@5a0("dL@۔N 7ls)n.+GfqBN;G++@ q/!2™E@y"S|GLZHݦ&Wl@';NGx B ɢAٮ7@OC#z;:Ԁ>Z}rAl[g]Zr?>ipmg9r^%h)IH'ld0ȋAȄzu+" ]`PSjP 81I;)6/̶hW8PkH6<3aW&O\oXAТ%`$7cιԄ8׬ zqTí[M# c ZySRt$Eu@`[֠tB r빧3mޜ懊c3)^{=V ˋX/o9REǑ &oHY3ni~A`aZ@K"1CQM֌"!Af〳ɲO#ST(9/Epf!4yV=QiؼkR5d(zm[*G\.^?pVUܸ$XJhGd`y FLKLJw 4DrwB޺I῰!RDC}l$(vmeHc;;qVӳ[({);#w wdt|e+{'g{>3k: RU[him"dIGT9kXڌZKFuf99i6JF="@8;ˏxȥۛt5-ǨXI^dm` UgCl+I! ba{>1M[Ǒp+_|BX 讓a E||p4か"ք]p8'YpSuYs0 U~ z݊%%Wv\=a!/qT(kܟ$='DDo7  Ģ7= RDa ^ |΄yӗnbAɞwwS}&4( C" OXaWqqZqEy[8O$;7^@l[ ^>ҢGT..24`u3I#X* r!K#/ ?l6ZZ\<]7k]{Eafu iyOKPD0wl,+p=޼ Jf?Z_ Ϥ(=43f4wqTcnZ젮=\l WTIP癩/#':y;/ ˿ZJs @ޥeq'lq^/m!K7l3>Eoa63R ݄V@H:(Lʣ~QVj¾b?Rqr@_O"%}op3 FO[r\%J/t])w8w5yO+dZ- P"xAh_]8p >q;dvYenLhw/۪` 䲾A1H,AahW;N)92n2B:67\`oQQ> v$`%2,zX'%+پaem둃oF0t'b*c0Yl^1_㜆 6$`i`$BP &Z.xGΌ;84@S0@3b"yba OFȫS\^ *Sm0yV+|\mk!(ۍuN<^"t8W,εt+)&TpY,ac$P4 WNً` mUWՆHl_ŜB= w `=`JZb KDeE]#W,So@V]>\~Oqq>?K;L£/w]2O~j 1j&~̙~%!+!0BWt: l%o<Ē\UX$D6d)}`Ƹ ^PP^ tFH6uTa!VLA207pFP2+" `91%& h1 S&UP,:n[}8gͲ "M~i$AB> Urq S`0pd H`O.y $ $0N赲@uޡv'CP C/rB/VH YMg?﻽ݾ˽XQ8 ˼؍ ]]m]d^Uh,4t7wws;3{[q{{qYqwqqYq}yPvwWo'hr4< x}ח=9ZVVfVfeU^k MoYUYyUWuObUWYY=9yW19q󒓓/r{##;#32Dikax@;nǷ{̼{{NJYYYks*V̬1-{w}}}- Y5VͪYumխUknUݭI~dt^nvfdMc]fuF~vvvwwvvvneUVfMtwfeVffVfeVffdLdf~f޽cfIc `h[񹹝ۙٻ{{{{{w{YߵuuW[W[wy[U5!dgfgwCtWEUkƇxn< Fo~nnDf ҄Ran?a"bG$: @ PE"a} dD<8\ `P á@8 !P   WhC-~{_s1#C^'Jy-34A ިXMݷmT$:n1;[_iJ,*[ 1jЅΘW)Q!Q/&w(b睶 Y2G~:֟! LJ?0~oZLa9J)_yKI<ۑYJI1T-S*trqe !_:o!r Xaj#YG9e0T jRzM=, rN`(HY3{X@ ttƄDgj xp7?0{']WG;m\0ne v n hS:ZE*rHG +`mpkbP EcЈ:R|b!cZH+׉BKV߀p*j)%ǕP㇏"w{ݔdĮhi4PDyЍ52r&96<%3Etp<|cp Z&072$Z~臮^ҽv+4vA:dߘ?R.ct8X &%5# q8c *!׿`Fp҅Ѻ&?ZBIF VSC:}> v {|S4lg%$ {L_a* jDaF S#oO+ҕx lY'Х>7{m6^3t*uV9OcywFnˆY#͠7gh),Sp7<-```dYS)~Ԩw~ +XHLEz8f\P+%^jLqC1$cmksBrr7 #ԥ tHDiqX>1?vcTN!ޱ 0* 5l(oss?@s*k\k'r)kמ+pxtKПݹjAʼ,*O)) WEc0I,I- p酇Eµ#g,G2SYE4f:\(HŬXHVl!Tty! +1'vְΎ7Y(;4t l=0[h.J_lx#f']zO!IՖ,]f,a6P*Qئ61(a8!y(d;p4YUgX~RQ<*X1Li,G'etIGJwÐt4Fs8hhuϡ@n矻Xf+jpky/sM{ h&VnAd!+F!L$!$H3PEE9:'3 hezˆikŸxu7\?a[K vӰ;$-2(#3 Ocމ@`ypǗYe(ePd0>*L[G2CǘpL$X'yDӓ OPXR{n)jN 4FؠF̘xSm1\A_/Ѯ :0Eѵsg\D{`]ƿ 3{- SZQ59,؀tF nR=X٤\t ]v򥡾@Nw/ryCc`X:9(`sʩ^'80Yjj V<5dp=y J fTNC h|+,hAtSYi#2]3 jď! %<<cK IJF{=r(T-Ku #lqR{f>@]n=&S96ZlxA.>/l6k阂T$2U#Jґzynhy{miىUԐsXcĩn42z7@N-9F^z9c+قf]"G&|YVG{CX@&҂8)`PW"4ZCŒSTzA sB WEtEY‚dƭrN x>%dw@=Q h+:K'cv0]ƅ'\o6p]< (ǦrQl`BbPUm@T5FwȠCEAAd%0[qw AhN9P||bDW-?ೌ3a~*pjlk S4)M\v3ZAJF(N b&\ &;fZ1P|(E O@UB4,&:pB~ƈN WH?ɉ|VYR`t+HٲkA ԋ{k=(ͤk{B0gED@W#Tώ[Fl Ð@xΧH̦ i,Yo* 9ɟ&޽RZ?}D:hzs4rQ@uH2-1KLT<6I˷0@H eN% ÚY&FUbFcYMuV3fΥfk\IZP2pL4[BZa×Or8Ւ߶FzC,$tvZ47Pg+c`-vɉg;P5 0얫JU[)eIdz1[Bf;FY飭*8dQ\Jl9 {h_Xߦr \-|1aۤy\g2} Ck5> JaZؐ &I%h`Q!V<ڰ'QfTAK<=p"Xa$n u}Xe㩖Үt`%Hp # -CL7G 70Db 1P"@tH# T#S&}l4oG޲`G>4QOA΢}}%|5 2^m3;M e 9+'ƙz7zM8|RPƣͼkAZS6ƞ:1 ]LίұiQ]|CIߞ|F\؉, r.VnF; 8=Rm hl[ȕnl2"&?{a̸J' rUF) T~fIs `MkJzPqjdǃR<,[w4 sz /A]tm(fOf WX6 mWOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# bHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` !6p"0mRr۟0# ZBq tܔ4ҥyted;P$ jZ a %@AF4X,\LL0qKs+kM8+4&I>I8 <-B{oK""':ޜ)վVQl0m[s#Δz&Z{-A" usݕe" LyP|s9rJY9K0U !O0a*-LF-xq%RyMT^."{$2b"ĥM _DIgrkcxJ]Y BPx@oo r[btc/~e (&;,>C}ƒ g78q2?_WZv-`Eg@Q&h,B51RJcxIso Oa) &HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex(/, v"-hse]*ˆt/}KT;k32333e l̉lCr  1--*XK}5S7 |{nP%bI[QIQS;qa㴺wX2A[~fw(&Ң-T@P0xX =ɗ'Y4h52??(8?*S~߷"- EbK wwuD,O&4':m10N*m0Ķ6^./]~o4xY̒U|PĠ"+EjN#E z*Nb $ZڢEqY$9QJIj$1O}+WujQ:g96ExQ}G\= <ёCT(SA^!4[y&˲eDAcDcg;81Ouv^9uL{s|rKY3Κ1jj Oa# "HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/ L$/hΑ\W'8$--d))}OpK?,n,!F~ ֘[yC,+qY:kY:sz""vcVF$7<^7݋yF8ΏS % ug&vIG46=YgSW,Le2}ż$8JHU.qxR>g {DxxjyЀI0ACjg9{ .@L}ZRup3Z虉 a$ zŃxՁ`[yf̵:!P"N\N~la<#ScSR ˔+*3֑a ̵ԇlJB$a>gg,?(U2SH`jO3"#H$,W.$%&5$t6QEil/*3 D3g$I3ZD#I u2%2Lμ|pA,2;@8_)i '3ӂA}0ƒ.c u.P9͋]蚵PHF1ݯcZEMP$?O_#IoH/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_id600Oa/ NHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`  o#0a{sbI&:؂MfsSPPrscc <pMwU4Ogc 8D_`4VCK5,SMⴆrAl9|R$3FNp 'Y =3E#T%O`wƓJ)kpuL*ySgdpuERs!}N{GM`̘S*5l!x,xfj:'V'_$4V?ɫ~"HGЙ>8>2ps},+#2Ru%m A|E3U1buKy>.]Z% e.¢1"G'ṕ_bDo} 'v rLp a`MJ9x>zEbٗ2 Z2RkqZ7J\܍[[dƧ~uT(U29\)7On9Bؒd+&3:X^ O7qlQbĀC//1TJe HQ填DZG'j{覚,2 "HkYF065j4݄Sh.u^H*oVCP*qfFit\rk^DsTjxTR "itGv_K (5hܿx rP z^^0`^J-31?jJ5橒eU4ޚ{ks kvtyR'ޑ=|z^,NLxpXg`>gX-bDSՠjV7GWs!3m$Z#(+YkPVc%ϧlkKQ:SuE @3ۣ;w0|uBX+3ET7Ca0_V[Sk\ 02)(#I(횱w-[/Q1jjZXcX3՚EL5g\E6Y1o&[WH'e R'\|T8urJx.؄3)UX`T槐:1{SϝWBy]nzIP"A]Hϩ{];WyCQ>IUWi$Z 00 %Sx]}:<\dH4H`@ q1 @11@6&d{tվn|HÇ̀"bHyHUkGTwC`Z$Xݮ!.R嘗 Uu0c7zՒ@A=hm% ['|v i:I1{ƒȆ琯p;k"=OƒVgH̃򏂡"\@>JՕ1~=#Gؔf2"G6lzŭ˚/@Ww`0X4y/n5[!LE{C.1QD1Wi\qh峺NĄ;h iX֢8Ƈb \88  vk"9kƯ;PZޱ5;>Nm"0[Sn f$sPW\Ku ϵM& cۦ\r9yMqepL?GDȄT ;;K.etR_4|GXyE o8C00Jvo5mñϧ1\Giuܴy#Uћg,@L琴GpcY`Y|y\dMu+8x8mru|jJX&XUÁG}9?A@$DZֳ̋9M"W@-K*aD|X^ 1wR?c.<@'i.\A蹴F6k02r GW#vͨyŤ$f*z{qIbb8wlxp$!HΌ)b~Hq]}[GP.26]'x|*h$Sp$ɝSܦϿo<" "QAoGDO<č(SGW@:?[>Pg’==LKU;D2Ե~LiH-ys?{ЪxBm$,!&8=?tB4]Dj$ \(ՅT_u}5]a[\'Zoꨫ).: 'CE\͓-eM8FH~ve#7l." f3 wͅZVX %ޙ%Л,^r#&aIr)Qk+aBI+*)Tݎ DVw Y2tDj,Fi0W:Ol%\2{'>( fyzGzdM^=Wgf(^.4\a"Y>J$%hl(X-L\P=nV7ĚP,R]Ӭ&NG lmΡ|>hHDƖ†;-fcnZJaHsC |5?K!\R+8}1 Yw#T1*-\Ϧ"!kӽRF_ó澟_~(Kjɥp .SECB q2#-͞Hz%0RE0*HeN7:oD 0R['>sGYҐG`%Fh0Dò ЍtPQ/@ծ\J(O 5;٢!P/wR.r ([dڙ axA|J ZK&hGSIF\ lljb{tf4O@- bLnڱ*nRCUCÁƧ@h=t ž Qw1*Zͨ4a`z1OյH;+K' \|d-`6&FK16o7M$- FrČlaB l)LH ESh og!d ;D/'ķDW_:E4!RU:d m=叧L$/ h JáM&㖰~ҲD Z1nQ 薁flgb΋]y!!`9Ej ^R*ň P!:/Jja$:&yԊEeZ[P~JGb'N2$f&r+A95\fLʫmrK0IkhuUgQ,vJLO]E*=J'Dx{%%0^G?Mِ.'W[6)&uӅPj"ML-qm eqCUasҬsno1 #-j[n)s:Ε't#0 }2|7o]PZ't-03w |8vպHouw*B9[٭=-2r4ŹOseHLG 1b{;LU*-ଉ aʳ u^73og:MG| ^tŭ{_|wֳܜ3\E%|T{1ʁDu9DXJ!vDg\8 n..ʼn{N#:wްB,vFvɃ%'x68q08;j [Zgh+,i ;7_#.kࠊL=^F> ñ kۅqב/V*D|N*TrI^SMu38p<|*`ǬqYɁl.Qm6%@,E;4&n{Hџx!OB)VбOvgUlKM_ݺ$LXn~zH|m䣞iwɐdP% lecl[*Q:Rk)2U=(WdWE/ݝh<"ZSH|"dȊ??>ҡ.(]f7"@cpK\ 5)jXt9^A4 L^?3Kx:2bzo vtF T H{R[>oQX>zךdu͢®o= hA~3Fk8C|c Aؠ)UOÔXLM]O`}&0x"2Zwoj<(fxS8dZPhp`Y̢O,ZՔ 9-wҜbOXNH], J AR̺aw+s=XoIr;8l Pcðô!C5f' RDƾT5)`)624.8\XY<-~ ŧiH\vS6"T^4 ZneR5.;wvCgA@9pK`_4#Xr `JتxeM82gGq|}%V.jQv ӭJ a{G?&6eѓxd`'Jtnׂ+GߕnR"'!d";R"khYN(j$"t͈M: M!B~ڼ:|ѸtI(0ir-ܮjpT6 0PyeRW̳O^ҭPiosP'F@roN'phT5h{;|xb yJVAZal9uɚr"mXa6%@5gW-h8cJ 4"!31c4d?1ω 1ƘOJ=/=cd;4~'"HAXŔwm~oY$(@X_[ %0[X%aɎaY90xީƭ0 Q9pD߲y5+L朠RK_biE JA,6Szfߗ:Sl,eE/<"3B^(E+,q'JHam^^|[7Hы*ס"[T:$g/X+fa1u4L7$怜5haOi%I2߻|2q/R:W;}ŕɮhX`3?/+ƓnUHrXKx tv?g@`L_k¯nŮp]L}uQ}jN賏 REFЦi}O FH+; Q'{ՅOP_R5^"v8-V:RL~WRS8-7CM/9x$Hx1$$9}ҀcGU-n۟W|VupaQ {LdQ(oyDYS!Dh5Yxg \}&@A9_~ҩJ(z%2DT eЬ%,7*`ʬtÔEnthcXi>`,XIJ-VF|>vL.hS(b D; &TҲI/$d⳨/+)S0bI/;,6a))ШDQa%Rvb%CL Ӑ,¢yEp;ns0uR9%YV8q$Ӌ]ltVM3SIO:l&)AI+A%pBؓ 1JD:V,!vm8(7z,+JlKL] 9a^QB U.G=鸎V8|rU {eN G֨˲?IM}[yFI[N%4k=| Px1?%*wvC4֣%:2LCs~ ^>K)N)5?mbKGyJ9\4"eu#*{m캝cloL6r Q P!#.t-(U Ա.4#26gu3) 0A793&5:`)38M68/{4X} DغW_kJ G,=ϰm$λ)GYdo J&ĎϺQy &?-\ܔ. Z.ig7*A#)DRt˜%Cy蕋Įy2/[#mc$DAUԤCw$ګ= H9|Z(t|OW^ꢨ6xdp~y2KI̧+2Ͻ/R_Z~Po˴=޶X Tk1 Za v-shLցDȷ(q BV^'q:+/= -*Dڊ up05FDJ3DD3 Ar[! ;PMtt]+[hRo(Hhf<0f(R1 *&ʴF äaђ6ބ,2V0ƜJD8Gp%x""xX28'ֲs*~&8xXX=3ϊ1a;ԩ]`Z %οOoϜSz߽RWX>]޲!^3(:I'BPL@GnleU avpTP L&i1n @8﹌VU=4C$^\JOHzjQn<=8KJ&V7شo@?y =ͮrA\JY: B@B4+ O1bDR;7c ~G (8 &,N1hk+"l|&Ȥ6m`& p8+)-bDn[MyPڅBPT cRHvWX#4%2X9- !X]nX4(RZ(0@S `{_H^!D_RGLj-F\jq`nr 5Rܻw R#E*VݮdL;5^E+])vŤJ@ShpnuݎIN[V7XDGDX2BFHBf7nctpKdȸzYgN4 u28%= >O,4qlF&cdN`ǬIB BJۅBJإр{`<,^]HY'ʷ8pNXJEbEv3s7n8ߌJj1ֈDGkrFǸ1NID[ 3f^Gwݍ}N|$̔ c}zO:alXѸr؂j0\K"Q=ɓusnv{EsQTõ*iR(N.Vo+@{` 4{YV~$^98NdR kkVK:0dݬ*uU[i5=f\7膁[gBjޜ3笺-qۊtKNO$(j+x+G3Ѓx7htɓK'(]%忔{HpܵC5Ljc;U#IR4HP( bX2@Aq< @ 0a0BAaCa6yav-p=>±s?+"沞e]RתP^1v?P( u&`<hK!]tfp5l7=,l3?lUڟ0`R.oN )sZ( U&;P[ LrS_:Vy1O֐#&ieXр$'|O|Zd=a^?s\lF+oݍk)vwN/eaD2]) zM!V"Lp罡`x4&뮁0RYħ5;\Dt6^^mp[eػaBn,dUhZ.- v7V[p?}"B]yzf%skqe \x!!nv~|pJ*ޛ9Z\QF)N92~jʰZiNv$Fh&]H$faAS󷷲sjL(8, S΅JL ^:&5tۑOEi(NRe"w ޵\5М ^m{pBӝۡK_!"֍Ѣ |I`'[sR0P|wY[!8ApB&HA>udsfL8F8n]]Oo,ߊOЩ@  %Oc떏7gF `i3"\E9|p _޽gU3LTu0v43:*hU H#Z{ɀO^C&ݚsBTM޾!I -5AH[ZC*"IW~P7Z:\|i yjv^|5ڰ'RLQ>2>ѡg |]cCפ`v <\̄=H^:$y@xY9g]̐gTA6 [6/v*ƲHab膥 ŻӜ!`c-1 l\hVVc)$p,hL6+1Z ;<) dm2tEe3RkV@]:"##RT1M(,]Ju9=K{mJN Q9WVUi!.ؗShWk>< 1B_)%W]aSL4?teXA_Kg7*"M2R,C,8B14x {.ٺ>oO4ͯD3k1h{J uKViXg={5Vu6AƐԀ^'8vOTP B" ;I *6M=#+A M'9aP̱TCլ> <4IO o0~=dW$} EE>/RPX\FW _0B7nAGAYEJ' ~LaC#C""eN5O1N d肩ܛ !KHS $QCmȊ}OuE&FYZ4Ywr[kpgJ5v%;W.L1pCm(1&jy~淿zOQ{ؕqiA" zX!9ָzSc'pYT?Ei# :'#4H@&1YF+VGD9P aJOu.tko gA2U6TιG0z&]_r]=`!YOuC$%J)K'r>(6OOafa|PmvcޖxLJٶ9寮1 2p56= >*cI=md900 ː+mXdoA6 (u4LxR % BI *nRv Co D+ H17PbVa:3$*"CpT56{vyj@Jz_K^^-!6hbл%gjy)|`I/s䩯y'GDݖ]y9W!Bm}8K: -Q^Ä޺ꥸآ'CttQCɍc zMv&1 wXuK%Pef-)>NٍKeB#ڙ}2s-䭓)TR <(q z tcz(H}Jчg,$U 01<QK6`QqN&loi%fZwZӓ6>|:o/oO). U&P"0"ZV6#\/>!(3)3Qm5T\GEK d8,JmBmDlML9"$X.VG펼Z!q6Jc|sL"\ɘeP/osjw}[fVED&> DV*ڥ;UsY Ltc?sۭf%§Kk6?vD fNr6Q-׃|;,@w6n%4N6X5 rʎ?TyHDE)5 pPSiGaۈ+ړ`>{jk(/[zt& d+o^YJ7__;4WL ߵf}Ӆ (V"ːb,jiA&Ua=p_9ݑNo:zLX)Su;QC{DU?8˲ zk+bQđH9=+.9u[obgC[0b*3ZD:nc&4h-w!B"c1ш \_26rB(Sc)}ߙ|Z},F]>"ohdre8c=E2KxW ŽFư(eًSWc4)O`So`ېk+6Vk_yYL$"GԈ\4bTٚPĎYpoQ6V&wԙa_Р#*fϩXRŠ><Ԡ|oOa\XMiEX$urahjdHk>?"Vu2w<*d ̔۰m,I釃h-jI?!K SxHG2q#⌣3${0jh:)MUSG_]( tN2 Q @SqC[ZPsԖBsumIJq^(j(8{@"1A\q@XA:Tc˾UHg}tخl%Fl̄^{QJ!TXJ=%bFK`! ;?D5RJ|uPtZ. Cb]i7Eሢr p pJTamC`k@U(Fx?0NP`%'v|Xmȣ?Pw`>"aaJ%i+I^Oi` T> }\{s)b1rG,s~E{N+Eϣ1aƠ_RXE'Nl%A-6W:g=v`[cqc %S_]yq#tSW'b\v7ك+Ъ⤌3H$AǛ(4M lT$-,딒q9`_?ݞHZ% >MβTR53/,Bw_$,QTOwM<{I{<3b(>m@bfWfp"(| _Ph<+  #OF G*]!5C@(| DL>i$䈼( K!h_9Nl3.cY+[6Zs!}dR҃TϢ<39dJʆ x'-j/ #0$ {ߺOdPsq\122[%dLrJ\욎V#OS\;:X"^4uINh1@:"q;?v`>W+7丩w ö6n\ c J݌yTM J7lT O⸁n) FiP$Ƣ906YxLJDhaZYƆfl J'BSjsχ~- -I@PXLQ")bppx GKPT,va4J