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_exportskXOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` 'p"0mRr۟0cB<.R jr4ҥysde <De_U`{&P\y|Ҵt0´7)EB$q="4NBc)ˈʼnHWi oܓp$]|(C"Vܞ(qJf Z۬ eZ{-A"M(U#EeռZSNo8(tRkw9KV@8({sDk\|xy=<RM|}o E6mY͂dxѥ syD9Cϱ4ϴjפiQ!]B #t'6ZDP婺sm64gSiGS旞^G ꯢɳ` | dQtr7@J[0 Z͘sH*#*|;1 \G,yk.,L o;ekW BM¶^mA0ib,cSқ,+q\V]wb63EdJ,HzkG-i=lj(MQKr3^ԥdw}}EL)7A ͫY!Gd#eJHlj%4ۢoy#e5 L`]I5 ~qf]7oSd"w=nI 8{L 'ŭa4IP}: G_abQ ]e8Ñ4Dʄk'Lv)"Y4ӝBZfQ,?cu*M,AD9/L)nWjRaVLyθh.5@Bq #l*[Go'"# 4"WvS ĺB㐑D<w:ĉ?AOa' NHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`NrL( `i)FL/۲~64l :`fI D뙔J$#{ !r$u@cAtJ.zhCFdEP `n{ 6i4VCҫvl 6MP&j #.8kpFh29I (A8 H2L\6efQZo 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}D)'Avxw،ғ1޽]2Zq^o.u_ۏ(据Q_b"VSOuG 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 559b9bd11d53c1629ffc589986e2c916ff005340 ~~/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 XX6kXOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` 'p"0mRr۟0cB<.R jr4ҥysde <De_U`{&P\y|Ҵt0´7)EB$q="4NBc)ˈʼnHWi oܓp$]|(C"Vܞ(qJf Z۬ eZ{-A"M(U#EeռZSNo8(tRkw9KV@8({sDk\|xy=<RM|}o E6mY͂dxѥ syD9Cϱ4ϴjפiQ!]B #t'6ZDP婺sm64gSiGS旞^G ꯢɳ` | dQtr7@J[0 Z͘sH*#*|;1 \G,yk.,L o;ekW BM¶^mA0ib,cSқ,+q\V]wb63EdJ,HzkG-i=lj(MQKr3^ԥdw}}EL)7A ͫY!Gd#eJHlj%4ۢoy#e5 L`]I5 ~qf]7oSd"w=nI 8{L 'ŭa4IP}: G_abQ ]e8Ñ4Dʄk'Lv)"Y4ӝBZfQ,?cu*M,AD9/L)nWjRaVLyθh.5@Bq #l*[Go'"# 4"WvS ĺB㐑D<w:ĉ?AOa' NHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`NrL( `i)FL/۲~64l :`fI D뙔J$#{ !r$u@cAtJ.zhCFdEP `n{ 6i4VCҫvl 6MP&j #.8kpFh29I (A8 H2L\6efQZo 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}>U e;т`0/dN=,&&5uA CrJuY&;SgQ('x Ɗg п@Y3Ś1jM Oa# hHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/ |*#/h 7G,&^*~W;1X$m WQSN7F9(7Gys}Fhͭ\GIH\Vu?4RO2 EJn8wWf߈Bto$q!{$S2iIǦofTy^ Dxa.CB < pZzs؃ 5<;wڂZ &zZ˭ȚSGu>1ٛ@>D֬kZX c[l.p 8yĄǤ0n\ÔdMr\|-bg0-xBCK^%EL$fZ0,ȿXRfyl3ںZ*絙]T1@ `bؽV7"=B0.ʌd :򖵑1wbΜR}.I 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(/`  p#0a{sbI&: MfsPPrsedpΣHU쫊Ls$K"@ F4H $L<<(qKs+kM44&Q>QpYdyA!=Ht}qb-/gӫGhe=WCGK7,T4t.rYVrmWI  bB+ g ) H=k)T9/.5NT$_iBk,LcgP{t׌5'F\C;d΅9 ׄ#xsʥ`6"7V=[]֬v{2`Q&@~i֎,)_]]]TIȑy>_R)h ;hg!AzA)jmWLf1rip[1G%R U%m&M/dZf;^f"Tlz~ݓњ0)z\)s+Gb'hD^4׭VGYp| "<Dqa T"X5cbron+28s4z.jɲljܹ33#gQV[c3]BuyZ[ QPMY0Yl0>T+ռr_:2W "%s՞^L4ѡDΰjZa[mEHIXR߯t:'׊]$Pʕ\K N/JRԗRAj(nTcKFE_),K߈!3QSgSl)Z24VQTjϵN XsՊ-΅$uk*hZ!bB j퐭TK(&ɠCpIH"d"8ˇC֬Aѡ#3ҟrؽlp@£֮kMyT}TXGghXY*|4ΚWHž/uS^G>䣗Hw>!s]uɶ:Vs|1o1Jϻ{WAi\15P#;caOlb.q#RguTyfR{?l:$`k1[0qZ]{т:crH1^lEtlk[tZctt/KTo j-Xp[k,Wv4L2P>KfZ<^(o Zr׺گ5֘jTFk3#D嬘7W[+$e)ɩS柹4VSǓ %&qM)?0ʌ{5wiN̞sUb<]bu3kIP7"AHo5G:BN)絣(sZ  0 HeCt[}8<1p< @ b B c{&WH: Т+S>H97\x6lΑ^*]HܾJ;,HHux(YkS Dĵj^D^˨D %ٸ)tEV4F2YiR[`:h|ء'ݻJ12q+@ G6@ U9yGTyp5ta ֡c3O>~ et8+s p0OHSU'$c4S[m#^$N _ A9gvSrTOOVNcv$#T9`bTF:{;dBI`Ia)*v:gc&Is/|d]_s&(H>7ݸ.k^o`(XјJse+fD a;qrĬ2ܱ6im=},Gǝ=s5O?-t.C|sk|5:;]X9\t5&Ēh& %Bna,0)b™df%l@{ǰ&x}.ݥ? F7Kř\}yZw2&8#RG*}S84^m/Y&-/$ M 9FnI qfmGP7-t=L:cv};o3mFX C՛rX@= =!Gee妔~$:"c?:QՈi/a1O蓆C(f[ hDZRy7ݍ"8X7Þ!Ľ" Q:!o~Gs]?WuAO&)S fK2hjsiklR:9Zޏqē'l+U)6iwf.iXlDOpiJhH߁Mڔ\c׳6! BE  ]NiфSa.|.A+y.WXOHE D*\P: 4@k;껥\9ҏ1L?RDx:zhC6aOV U[We [)d@q4ԠOˀ-Dϗ7M%هws2lN)h,!|+ <6(|SvV|oku|E|!Σʿ5%Sd+s:CKxKOxCl-ٰ|4)!pk~d7E]z27K-?S+)^/2#AjOR4mak$W 4ɞ ]Tfpz&QvXz#Ό?UْG e7ֈ¦~džV. nq\]W\֜HHqUou/7gN$&I+J/蜲$ySG:8dV2)?&Ь9A-5q,GK Y7ӱsGYYkUEnRXT'tG>D9Z"R H__Ci3vRYzHGrRG6p4*7S $:6$9W 7,!k'ktޒ["̻𾟱ܿJ5Ih~nITKCq2d{q8J"C?R0 }lO:oD"t TpPu[BxrE1AGǠ&rE+TDB~ e:@(|!F(Q/rܨ[[*RzjWV;M>ɕD(AL;DNAn!bX&ཀྵ.ӻErH:hZb$y\E雲7qih(C("c oġz$W(ۧ;cnr^ɲN=a#[j@+hQOqЈ5;/鸖'("2İi%cЮ 9ךMeXS DG%MK AF YzFbȋjK/ 0z3uל 1mH&Z#$3:=/|Gٹqz<} h/rj}3Z⁉ R =V'D@X.@r/ّeǬ3$9'${}8aGrXdρw-n""s*!qB\6ǚWD]b)+.z}9(#d`~zU})\ ]Â//StTd,ՠ % "bnVʩ:/"F 4,7iUMpO@nwүå/DRl @6RC98^?GbËi!O<̇>E3sf܊Lg_Ykٓ 6խH-gzK/QeSWí@")ˈb#]6 Q0~rI϶_L&FO$ >@~i_5]}%,yޏTEрבqo˧ad;IY6Gq`σeʨ+0(h!DHÁKm5"H鰿];~T= Y^Md|twarHTKYxk$rx|\>7S,8޶9J!2K.8" ܰjQ<~ (| -f_;I28]T$4x$/Rm"I:^SC2&e($4ģ>obT,Ͳ+ \J O/[,<]0)dhmaaRM*71E. < Ӽ)_g FL~is{R4)Liޗ`/ !md4opLt=t51%4df%gH e"(Tί=p?e(3z=жVq.oF#dstETŨ*vjH=zG=hQ&dPaJ*1ef1e"oi,{,sZ UnuO ,:w~p3'`q%fdPJ,(6evq Ko2YFÁl|Y+Vh=[8Mx(p,$R%9md}70E"i*/%}mQ!:t DIouk찈/#EkץcX75UN$>{&<n w7}c;>e#IR4HP(  q\6@@8<" 8 a bAAB* yavMp=>қsJ{D:+"W4)|nT2ءKu \zq&"k0n v BsD X[q1L~S8#mVRi1-濥롮c_SiԾs5I~!:ij`'o(붆`GR_+%Ŭt2!?T) ~2ݩ ^v$!cJ-{!8xt@>x`8N)m^ך"rf7X3,6X `;-&.0{㒱 0 ky(i op<|AQT2/p%>L3DgSA$_⬖5"h @ICǫqJ#9!gGrN%e2~wki3c-N3Dna)] b5&ج3짳3' ȉ(gڟ [{Jev eN/A vP柚eANAgBS1\19vFڴdBj] [!Qـ3k>v ZV B.2(-KJv`9KD3v \r6] 4"?ҭH˖? Ԩi3☨%CBnTfyHd9a k8q=c+P $~Ss֒1kT񕚉HkS,$ %IBo\?|ꞗ!ԇݧKc o,Z%8ކ)<̹9]lH {Kkh!.:u$)RVS@ ]SV?m@?0Kk UMڮ@ZYLꂴnWuL<*&hZ!hC mhOky)R6m2݂O>jQxmڱYLU-Bـ+v)a MOУ‘)3g1j2P*2`7[Yd`5s{wt({~ "adx\W*fL'2UTug,!oՋsZxV}<=#%Ht_BB`R(U5TMd 6;L :T/LGUғ<4 tG§#])_^u8(镌jM,cOA* zz3v;C%:9i H 0n͠Vi-d~zM ]h0Bh}.v&p.fE{$/'K~Ӛ w.@}sbҐ 8g ^J1 bZD75Q.OfWG֯ntpNPj.QtBdԞZ ~ gBn[GE,C%늠i4*M:rz2f*XX!=G$ẕRqf(35>q7yj:gNpEU`Q3gGvJrimwYx})}C k /(F}'7'F&m,#lDz:{ 8#bsإW޳r`pk`”2F__u"$vVYסQjTV>.y#fvG8"{M,rm)Ń)~O(&!ߗ xK{1Gݴ`xW.aRBN+%(k{1BYdoɉ q-s ܿM!3xIꭘ>lI#e0<{ ,/Kl.T!VAZL:e!&Qh b]w_t`שּׁFێkjAB_lQȁ&9meށ g*>JNj3ݣѾ??}(߫LRX 3(1AJOoB8M-' o| 8@IBMF$Fpqu?<ֺ`'5yYp i?S{vIJ0Vj++)E3zT7+®oZHEA0%OGN3HǵY{#kݗs'X?ҊkMwk@zx_`/}J18+xXBduv:9 MMyl!F4

]h] H5ba Xď2 |*$pS!Nu txݎ( ʂ2DTf᥷'Âc)drO5iG&Iia@|=U+E'* s#-/4mu[;$i~/u+ؘ_aǠSb2X8#OlbNugƺXG.@iE ? 0402vh$leTc)HeF_`s8 'AMzjML=/Z4O&]WI5)Dvb^:(^X9uS'"B9AN8n6 i>E^tTeœђ 06${>2DҘܤlcmCDohR A׈R0uP7ݐ O_)̥W!"I6X֊}L(͡,j<,*~kR$9\ŮUXFPW#pQVFߟ `ZZ"=!I/%yq&%osHnu"IGlr E.cH#e' HpG]+ړt.>ϐ"{([|aӤOl!ɰL%]$%)ܯH-?W=%,b^0"bCz%sׇe/v#e k;ЭёFL\G)PZ۩=v+mE!u?]J},l!xX D{hUPjBtsmM&{`W*<43+ήN \zNlK1F] ' fDMr-j=0w;'v%i*a4Hl<؄@܃Q]UAG+M ɆDhQfCQ2)8ˎDmE mξj)J?$2í? &ՅH&]Gݏh9J‘SOc[Xl'J,"@AiayΤHa|L,x"c$uEEM "@>  #PdT4̱FaG-,Ioɫ`nVTI ъB@< u4W& ࿋AY4C;=$*Sʾ@zAo=Ed$= z2eDy ;4:%f%Y>Lz`̄6Vi/gm :쮨Uxqށ^z^-t$t. 3g͆&'O k_ {ejRl 6g)6*%>0nhw&lړ |:Iԁ:cLdGESPz<<}hV֕~i87[b4I퐬K|R(l=- aJPM%Uh'ֶ烑҅0J+GQRGW,Ci3 7HFVN!PsZ[VqC4^?nJJJAnf EBG@( 0黫x鲳:$Z &B8q}cXS"jP҈*,AA;::"hD?y3k^SN:`zsͦ`0τhO1| ; G?:&qq>nhaAϟq=u wCp]&VaU,FH Z8e AM^ѡDABU$Ś Edy).uYHԈF\a1Zu;f{\W2R ` -j't7 C8-(gZjMN qA2wS#9py%7 BAy:_g"3  ]m̔mf<$釃jI.׏O-UeF3^-SmqtҞ3Jn@Df/msrNk[&i~O d*2xCy((2s$j`:fpqP18Pr)Rtcεߨ!a}#kcߗU!Dc80 tfUJ !RGzJ_` gJ(QJ)b櫃bj] 4F 2W8# !f( PIDZm b*i5 Ύp #Ro߱s؁X cjgDz@pXgJӔaGc3x=q:i؝ܽYge7;QEc9$cXy8Qh+ *,"N͕g _;Eu5X*cj/B_(X7bՉ U5 Xأ 7t Qc҂lDp˟bNzet}4xʔyq`b_"ܧ Y睊 V 7ob 'hr% I-Gr;%>Ě$ C8h: Wʍ 2.~C$iI)JhL1)~dL? Bq~-@qIa2#%M~)ڎ&kPg ^%A??V]/(b_XbPH=;q8FR)͸3ҔE_dW )Ն$ W"D0 {K6-f@*U+܄rCV 8CJLƤ7bQlQ]>Uj>D,+gB)i׷$TG)BSAٍ~ ă!Mz\ED^n@g[)z mp7#U.u"Pl6A5X:Zֻrتjq[ų;@Ǡ[,A*2s<6a"