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_exportsjWOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` q"0mRr۟0# ZBq jr4ҥyuef;P$ E/"0dB\g M X@#L{LyZi,  .&&ϸ%y嵦q TLy(_F|,ND OP~Ht}Ntr^d0-].F eZ{-A" 2U#ER3j^ XD)f;ZRkw9KT qP`}9aְ9M %#W/@dj"Mk7LBL6ŇFdJ </B9Cϱ4ϴk[CuB )E<{DX婺q͆f_uE%nn_KUWnF5)0EiP2L)U9J6-ָgkmoR61BHо=-OͫxUWJ$I ٘a)Vg@a dC b!*dD}1f@L_pl IW'*,aTIi9ɣC"]5C 6nir{BKbF8O_h'/+b3}a}4SD~e2?Yt. 3k[vnDx"1b!?W7] nv9^2`[eS^Xk!6]FSG1V䘰 Ǽ|qj+ 1PU+>wT߃,̭i" >om1o,L|lHdyWvA3YEq ~@94X{1I' Qߐa sdJ~"\ں !ޜ'hzp3ue,RiZQmCM$l/5wݎi˯$Rn,xV-)O;_L/4GD~h~@t`ֱNת<#IZ$ˀ}(nA;QWIC܁N9ԁo 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}‚5h&&= /$)PF32~m9dE&XHsk4%p4,$ړI,Y.,>yu׸Tp>n M:Lpy#F .v-U`$NGm6+`PI`  Y1Y-e טiv  țR$obw4Ubc7969e680cec628998d634f9d54faf6fa6d9151 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 WX6 jWOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` q"0mRr۟0# ZBq jr4ҥyuef;P$ E/"0dB\g M X@#L{LyZi,  .&&ϸ%y嵦q TLy(_F|,ND OP~Ht}Ntr^d0-].F eZ{-A" 2U#ER3j^ XD)f;ZRkw9KT qP`}9aְ9M %#W/@dj"Mk7LBL6ŇFdJ </B9Cϱ4ϴk[CuB )E<{DX婺q͆f_uE%nn_KUWnF5)0EiP2L)U9J6-ָgkmoR61BHо=-OͫxUWJ$I ٘a)Vg@a dC b!*dD}1f@L_pl IW'*,aTIi9ɣC"]5C 6nir{BKbF8O_h'/+b3}a}4SD~e2?Yt. 3k[vnDx"1b!?W7] nv9^2`[eS^Xk!6]FSG1V䘰 Ǽ|qj+ 1PU+>wT߃,̭i" >om1o,L|lHdyWvA3YEq ~@94X{1I' Qߐa sdJ~"\ں !ޜ'hzp3ue,RiZQmCM$l/5wݎi˯$Rn,xV-)O;_L/4GD~h~@t`ֱNת<#IZ$ˀ}(nA;QWIC܁N9ԁo 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}:$}J/ {HjɍcyK||o?I[r_%xUpޢ8+,sdW 4Ȓ`E;㲶ކ&u{JkRƊ%QHˌQpƨM?' ZQQ0U oTfdDdpsGcCag2W9P*Xch&f&>==6'^%OLґJAu5Š)NTIC<"!j(b;2V僁̳Mp0f>1Oq#L9jA}g=Ik Ĩ Oa# xHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/ ,Z$/h 3G,|+~W;1X$m WQSN7F;+9̛K,ȏ7OOj#$ M$̵,ǺdCvcV\%7+3vw7{q9,ITCBIHe MDy3z?SL_173hH$S FXЀA4A^Gjg9{CĄ\`kjZ77cxJ OG^s|Ŝ \@<> ECQRΡjrD(fy Eiujp+Sh2u^h*oVUT 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/ BHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`  hp#0a{sbI&: MfsPPrsddpΣHU쫊Ls$K"@ F4H $L<<(qKs+kM44&Q>QpYdyA!=Ht}F[+wnES2cv9-7bM(3lqXlylgF:fռZSNC}XCH @n a s %#WOa xU㹅?8HuSz_iӦ5(@Nɝubc%#Jω8,>dkMvM-tB iHTTFk3}=wZ֪ū7y#V˚sn/SsrJVҳ[Uiw%<[k{׉{B)J噫L$IRA)gf@A eј!!2LgTGگ߆ɷT[Si Zy;yn#Uʝ4$vO|=_qLYI $HX{kaLoA=S7T|n.|SXJי ?ҤEbPP7 Ĕ #7aVo.uG8&)#^䇵JL9( A4縃h1vUKM C٠)NV*M)7Q:z,Rܔl*c|QcLD4]=>~)χdm.iaD`A[#AX ~M]]ј40߅rq er]9R&bA&4+'=μ[= .#[Jsj[@b9 ڡlMu1O0)Kz[/BQuGښR ϪoZ5K4LY^8Mx 3 DMa2{HTg@_–&z i}$"UTU]vWĉ7\/m-ʥh khoݧѥ˭{ @Ǡ?rG:\%DQszE-5ԠAjpFK'sAr,)6 z^/V/u^J-ߟ^mf e]4ޚ{k>jWlMo"uL=|%$ s( HRJ\Y\Y!EكdN)aKjKR5~B Սj,KFE_9փc4x?"d&jl-VAJ?rsS'Ca-\bs! ye[dR-ԙg/^t$gC|ѝEa(Y'2OdћAuc5ws};_Pkk_42-ˈ(}võx6on(o5rεe5nAj޴H'Q9+dk )IYJrg.>a*oM$鱕&dBɱ g\Sʏ% 48v2c^n F]m~|=rUb<]blدn F$5cpk3V,;X+5i^  0GECp\}88@hD 8b b cx:l&6 тm:+3`_N(M6Hx5]ׯ䃘ɖ8 *-L0s1BAzz`m~-Ax l['Nc;tm7zw@1=Aξ협/ᣪ_n@ƃoLaՆ a}lb#ߪTqB1c H|zu*>0TЩvFNl cE:40 :jOF`Ԗ+̢4vny-Ru$%F:H: 5> IՇ$} aK*0j9%#Byq߳}d8jFs{Y鯐-u첦U\L| h-"P8t<)@9idAMJ/ JAnD`'>Y1r;TXUJe = giCF/~0< vxU|>盺N_sƣNGt0p"x8`!3wJLQ)ϊJfJ~;&!{N5&bivT\51G0kFRq1}N^[*p3$QipG*>CB ˘0((4jTYBt-&&fލSe;YvnQҲÛf4D7O=izC &fa6f,eyt7i UWh`#}fQլ#aiIfG)f;A`Ǒ>NKGG˺ I(Bf1`ne_ 26A0</F;dC|e|iBG!nX D7H=(썕@7ah]9'f)6G.&(?Ӟ.CϣΊv3]|w:A@G<М gH-;Ջ2L|DT߶z ң-F4ctT`lQbC$v 5 #YSY +2a‚nwR04֡۩@}-&o4h^@מ֬ [Ӝ%)u*IWWBE>J.-_\1[e@MD%xL>Sm'4R3Xv%<B!']P)Ć͚d=ItNP:Kgs`tGW*Ȃ5#Й.h Mn0\qnHxj#' ^,B`E`-O7=rY0x:=W݊f(..Nn@m:)Jf[#jDF"s5XݾQ}_QfèklK9tz(upb|O|v=l}@ŖZ(fnB^ȅ11?EާKADw-gQ$S ;=R\Í֫ PF(t_} Y0gs dľR:#7dR3$ul3qL0?R!0KXN:d R"&n>~[Zl=2>7:nY*1X/=pnK[H%{A]_\ΡPة%\XLZg‡ ;G(Z[3aØ#UJ[_d5% aXrk/pZUX6#L1$[B0:Θ#lgZջЄ J`K ~`d13&zdzk0Q?Qȷw·ȉA_:p"FD .s{t(;m>V-=aPN@Ka8`Q?1ٜT-zHť[ Uu4auuǹNA'4%$1Z/)x#%Igtwfh?ۊZ1XxΪfWG5> ?^`ƭ ^JA.6y]5H zM= [vu=xk@Q QFWI=8/,o#cHfyĈYki۫]$T?S* f:=8`jΛn ߧeUhv&tߠn^h17r,˻-dSK-a:d3r3jlO 鄙mx͝Moi ܢ^XDG9po~6"ᇷv+{ECޢr#2PZg}qkAKBUXj&-i$Uح|6 2ũ6$f_#i(x~芾uSv_z %9y/D.[-F0>Jc(9S2am! V "E[m<#L}tьvwP1zg}<]b8`ՠ9;ۡuҠA$OJ΃JI6ng|Tk-3 b ՝ 7WPO+2o8&w0kfR,07(?qa{;S 9`R,9|,seyHr`DN 3vEA+]f8QAA7Z)lfH^L=$*)JXdaVx#֗Z ֛* l~ 7T]d~:ujJ|D9QBu>% yOd!w(jhm! /SPD?S`tcxR:yAV6#bspk+4}7*; )qs8b f (2d/ZM:-0/0T f^@eH3]者vP=&GeRw|;ӤC7}G3|͇G> zLcV5k|Xj$֠Ҕhc Hn>r$PɺK`ޥIn5mh%߀8$)r6A 9$ %6Ԩ<@94Gq@[C8c Wv!J#8Pb6o7 ;׺ӕ A{l툔8aEAZbwFhD2| >Υv dDV ո4gyTv/dE,cZ g "CgqgIզB؅b ABCjAyt4>@3"4']( _^[|+݆ȨΒ+&_47CEH_v("0]RM;d "[XC?68 PfӅJ3}:>x3r}>XZ@Zǝ;Mc.?^[ݸɎNSW8 ̼UB*]P.Xy5|U-]acxW2͞M&b.DG=NKK}҇zAl1e$E,9AY::kOۦXv=36T3}>e_fm0XT \KAmn)'3*,p[5,,ֿ \:C=,4PWS{7P+IZ"qY;obO`I WJƤ+e)|7(W>AXZ$sӻ"QrBp8+BsxYSB֌K}# (dP@04G:]y'^` \L x~wlIV8@0Gc`u]חEV")b 3;).,\ۚ/Ul 9k%J]vRq_ Ge"-aȖl&fKQ.1w >[pP}oaQXzoz.OԘk^1)NE&^i:EE憎@t+}BGҫfR >_ZX:1'MLxT%Ű"xd*OņGb%̌.,>4,2X88 hj`&XL_i9aŃBB4oCD`z?2D v0m\RZRS$w,V재pY'wh:^xJ>(f33 R$A EÞ QA" p[1D*EmDvC9]I9u¯0yռ &rU6aCGgW=1!`?V0cMu/)ZxN5IaЀ'91vV!m=F6. 7_9%`ҕ\`- Q~xN-=gJⳃ2[DaqnqHA\ME38URB6 ANƮ ie2U4<i >4|2&; 'M] P^7&4;Ģ9'/ u~&Bik_/:7f?F%׫_6@D21!HǑoIݔPw-BV])a(;,C>{W=, O0F5o?$X_&AG3*w/ k:Of 2Wb ITZ0r?ˌ8Hy6(Xzgm  +5;vnԢ&]kE$h#?٭+TMs`f u aC+Yņ*Ֆ+)HI(B> 4g l'}U%N qgY2@.(\XqG)(JWnN֘]&w38E*Fz]ǿeA}`b+uYHjh5Z7u*<ϒ7:5.jT,tt-St P{=TPȇ!hO=֒mFSv݊5a  $ T*ps{vkujЖ ;N}@tv:g,]?>]t?Aӎ5-H #tWs"A[~- &OU2T 'Vm֔ǃD#U7 оsB={v񍙥yŋWedR,Mg4Bckq. 4sq {v̖V P)^}޳oM9n$c=X#8737jf-nϫo8L@ﱘASRQF}{mI/?fy΀ ݹswo2sJ{8+%e=/f8:ii0 ۬UU~/HOtH* h#]Ct 7P:0VY"4eq\|4p!NR9:OL:k#+/8 Nu-t #P.,$ȱ!*G{(R AG52]]ub/RlOwi 6!8x a u6X}R! ZV\(L}ƒ@Ӫeu #tT=)@kEVM79eݱHRmø~{yt M^Q(hO;:z/w̍$j# ahmŹfk΅rdV,tZJ7u:$(nvCc`(j$KܤlL^l"2噰mQXZVh3mw%Uu\HE,ϗrfceڙ3EҜG<]a 0DbB'xĮ,_yuv^ R4>SXŃ4B !."a`$mO1H1j-T:HK:tc2]Ck+r ,ti+#.npobѺ!i\'L,)ZI!rMLYRm@IС 乭yjSJbuy29U €L. Yf .\B 6.Zɐf4~ Mj  y)q!P7mWnAHū8F3”yj7'Cbu 8pZ<#}7MOP@ٹlL@5cpc~t(J$'Ce6GO˄#"_3Jw@RGTjGRDlfh]WZ0KpŕɅdB-HT:&@V #0qtى 6%T)&e ,ށγyBT<}g<b&vgH{d뒥T>$ u%4х32>gej?t(]Ltp0 8joXLU q6 8#;O _1"2D=iO* AÓp NeTybsf:~(+G9+BGrD?I߾ $%c[0B,B31AE_\܇5SEsβq/Hcvg .ڨV|T+DxYVR 4?=54>Aoլ>DIUC{ '#J '(LmN9 Av;gK6m hfGU^ EE \ bb뛥>Cc2E$8$j& `yb4Օ|3l+3Jh27=񄋹( W4O?[Mfd8OH%`y >E4u$=Ey~񎟢Ⰹs.p4B5 1|Š1 |Dn7W4]fEfϯ_mmVYA_LYzȑZDԿ}`BgQmDPju'FXNn\Ѻx-k!<~)ro8 [du$EAIr x}WbȐ提^ bgR)6I,` 7:xaCG-1wXN)ͿK&2 QmI޼røYx7YH-nt@ɨ.գMHGJBʞJ冏Ҥ"C.W 2d,5lv o/ pTnan@K)k%)uBc>:>*\ɛśl )LX*|^Wvg\@F2Z}EߕRWo л8nO}p1-tlV+62?1;dJcR"e0Vn l-,N1#{4JeF:˄ҬGr1k=AOz^5R!_tX%m<[~JA2c[f{Up.802sar34{Z_Zt)[FAY06Ê2x௞j@1dQq6B8XRd[ No|d8 !aq5>F gM(_@kC^&(("㟫#2.oDLSa!K@34BhO-+p A8HR!_YnJ L^P%0#MDuLL ǹϳ 2&qc;\kJKҰ-`Iˊ+(?C4 in@G|%XmKYiN'޼n唞u%_oңEK6wDY E?kfmwHT$bjh~ZV!V(:AtjVSͥ,j`JX̄0B۱&lc>r;kNENh7D־czQWãV3%ukPbk74‰w;]#N~+AJSL~.@ |Y1ClZJ ʧ6mo,;>Yƨ}&])L &Utފ4X@ Co5 InhA@]kxOD!} 0]Y@pn!_\a'O U^ja|Uq\"XK@E*`k H#`|UO=Sԏ++ړgH= Jg>h/dX .[ .5_1DJpJC}_ڎ=>=5zUѶъ^0x9(Y/lҿN2pֈTM&1%Šܟ jvqR7!=-DP'L0U8DT.|*(=}fsY՛ڣ#89ƦƮI(A1 fjz2`.`~ OvORӠ`k ?L(`VAGio.DAZ> ? _`^l1SleS%'260H>sIn ! |a!=La߁z5k|kLDvuuicO閨@EM 9vIk` E&2O05(= +>cIڢ+8ƍvZe(C[1Ց]GA͡W& y`$ Kv=LJ[Lzf\eRq._$z\5|s-*\9:X/0K#X K<,ˠdسH4 tVT\Wl1"Zm;o ! Αې qS* /Szg|hCUUnm:[!S*)w_6HxU&5-,>Uz jؔT 6IP'uN0)&$_dm =롎RhgZ>x*{ƥ2+|Yl sbKpmvp_4Rv < @ˣ %kg]SItƨE:qv/x!P4[9_k. h F1lAR %XhӍ>4WD~a7߆{Q$>vt[TO!@"lm0-3VDDD|e@ FBIH j8bJ)u""GL'ySqzǰ2FEH)FaDoà qaVK#׹\s6 RN<)ە3[-ݬr.{ՀU^V -ƚLz{7iuE{2e^H(jQ&iЃ`pOwdE,fB}xpFRVط5iDطMLJ*)&Xh7sܓ.ew_wO4224/j"29y<ݙ?¥W$ AHEyK@p(R QP1!" !Qei94&n#d( HP[Xξ vTX @ 4r{U3$A+wHaɬap_Q]M9h#l0zxͨp%*}E0vhz1eN 9'ɛMd80Wϟ_tDfȃ9́}SUfppVBK}KPBBF)79;s#Dϋ ]i$ǹYKh-L ~u MelxP$Etc3@P~4 9ymS$Ӄaɟ6g`gVmMàRĆ-\(`H{[!}!]awm&Y+R+ ;ow:{*'7 GND7q8cSdzUadQU8?׆ `ڃ'qL `a @KѥHk+\(P8U@ l}`C.05!Zz'\=(¡~L-ӐYݍt/jcpߩY)s @[c\ 5VG32|礭¿6*R?W3H7$82H aEX'&u EYv<mt3 ¦,&:oRQne1~`-oS GFr, ϯlJ},ռ,?dB3eT>}&A3o|BOb.+]^c] Zqdaw1vYpثc/LVj6xCbG ٣F |#iO=CěD87H U2;f ƽ7y"F_( d{-j^:cma%<ƭuwvEK#m62@W^Sb'j\n]nRQ,t櫿cVc}X1lsyeY:#:P3a˹f9|b:fm+Tm@l!&,<*u1%'lラʠ!g7EB h~)1f7L>'BG24<8g/R:rRUV=ɕRzahwme )_+3qvgͯSdSkDo1Ha..HPyu"M^Y_7"^l˅g3N ;B*oz :%='>^^= Ss,s:Z|Yt24, &Qnpp$ӛ1NWD4uk #9; m8 h76L)j~xXD~n=/+CFI'4vVG^ӵgD+.)!O&m?ߥ/)BV\dMtʻX(9Dh[Ekt\Ege"s)K4O$3Ɣhd:牉!%D>02N8RDH n9٩f1nlwȊZdWJ0P"Qʊ''0ԭ53m#> g]%S6qkȷ\ 9T<~8Pr bl%3yAm~y!`] @+e}] "@fT@r&Q{ XR,R,T8 C1($<6Ԃ X*J" E ). 2kW7󯷓3GQ-10HS.Np}x\z0[G׎Ÿvm+tEtQo:7V'M_28:0n_nCG+EhW0!+!dsCSވ@ZPXpRQX(bJ%pz]Y69\/I 8.`TiB}vqaE[nDtyPp4(ǯ