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_exportsfOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# jHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/X5!|"@aܗ;`7O$Mfs ,~qo :g%(Q#H$Zy0Kj3SL s!0`!, 0mJ,  (_͛>址acy(&+b|(̓ByǞy1۔gTLꬦr,6єO)վH-Kc5bn˧Ec S6L tG-VD׻꺔CpH~\%ŬLϮaؤ#Cc 𹢓֛Ss=j1cwi'ev^J֤FI"Fئd3lTHի dPvsrd%{Xc_Z(٘ E"}luZ+óMKy9Uj{)I=l8%՜/?6̹kkpH:ݕb?bg2 Or>lR lDRPPRZM 00PLc8d"B""L<>fHkf S!9QBg$ͩ'ETܮÛBL ,10!ٞƂ庍~\A̮NJWu_:ջpSO4.4΅O1:7L2j7ѱ'|M{dad+'j\u \QJ+l/,2umHDI`ŵ=Ҫ]~mAU];Qe 5#!VVY7a#Dk8 Js0?&=o#R<C5 ǂ4qԢ Rs{Biz7YZApjnC5ӤIw{5ۚrQqw֖F=sڦd+,1h(4њR)J5,_?U (Li0Z@ (֬gQ)0(JP{PZ -g9(|s=$mqǻ4Y@7a_.-%Y,%jiV bMyy0퀉X,(2L80 <@_.[%rd Ӵs""˂rRpkc:SŔ(4;{bE5&(gHbP4m9Xy@,4Qhp` h9h5a두BB-B08<%!Gq"b*H08= h.Z] aAxh4 a1eaP֔ S,0`JB= %FYVRz &( 2<a,G-ֲr LX  68MϼX}= @R0(CA9У:d-B΢#@i!Ȳj4<CrrPv֢X{љ 4}`}ݪݬ̹|ɷ{{H ꊬw4i뫺9T]O=Uϵ9<Ѓ6sX, Q"Yyyi8!E^jfQnƘ8jY7A0Ł429pν;!"&Ŕu!% XMwwan[,FCY G1;;;Nw}:l^h 9 ʙ:RꪤT*'4wMUbg:|g()'NPs6.+\E(մ]"+sfȗ={A92 )(h  up)`1H`(2LZaweG%Ϝ.V%% +x|kD%Xl suո&xLWZ3R`?0E D ,[?|9W^enL/ T€=3V%4_k9UG5; Eʱm׽'E&R\pmY-dٵq !b+ a93~j=ؚЮ/,ka>w|dtzge{zOn6l J}yCvƥ1%%PR}tBgSbc7969e680cec628998d634f9d54faf6fa6d9151 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 llOw] $HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyc02a7b95f9deb0461b58c3b1537c5f31aa324193(/X`:x1XV!bYJS1V/<*?}bejA'd:8 hjn&{`i)8\LLHH|-s ?]e?G"HpPᑦ%2)mMQ {[NpRS3Q$*xCsȂʍv/]3Mo}7.9 =VVo0`9^1o~Րc؍vl@Z_ܦo604-[] CX4*-%BXla#b{g-[VmbM 0 J[W/4rUۜvP0n !I ރs6Te3Zt!yqQIL\:OL~[2i˵KCXqC8*gmߜ,f8_mKP2$IrAE@ 0SF132"""" ƍe⪍qPEmh@USRVbM! tDaF\ aٞ& ƸPS <8˦CCjSs*\ڥ=~WL"zrǻCA2eNM|Җp,23%(*ۋ!MeR"6RD~"2_6Knzx CϦwŔ߯H&sCEV:,b} yQ3]3 ]J>WdѠǢU4 )LȘɥ垼O}SJ1`m@cbV$%ϠOO3|]?NɂiUS rD=u=='_8%  3N 2(ʛx)u'{iA} |Xu5DD9\g`VtkB7õ ;;Qݪa/i y0$r >!\SVyP$\*Ehf_4psB&[TTVcj!(i߷|>L c!-6F$RM߮)WVTE=Ӷ+T[ײV>ķYɣ1>ru4e|&ϳt P;)KjfX?g:3 ~Q@B}чN ЮfF07ĦL<#$u)9 i%\z 4Э1| !!a&aҡ:)4 ZOw HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thy r#LxwUɿ_sIbϼ}wlZ}) R0 k ZfbYTi=j5>1ˢ"CފaֲS;"F9 )&C }533 |@XsZM;݅{wsu9maD„MVTUTM@TM}ӨYL5ٌ>/,GĿ{gwofE%@t3cfzzzgflnLLdLFD\nF\ǣD .e&!]j%ĔSsJ):^ϔ S2oOz||}Df||t~vlw x_4wwGwvutOr*ӚFz7wGR4AzF̈pro󶱁ҍ@G562f7P"2"2"2"r""#"2""#2"!!`aM$,".^.P&z=u„ sBzz(SlZLֽ5de9?-~vVfgWvvvvu]uwuUg^tfo]uuOoWHGY4TSUAvҞF5wnO͜ڬ̬ȬFqy0Kwy>"ͷʫZzT35S35wy:HA&ؐ';}X+MvB]HE<+ۀ?%RBM㫛(\I4һ<:A${t8Ӥqz pmPV hs>[Bhz|81 $O'_#r%[n9 ˆ{RR Aڰ"qg$fTwN5xFEt0cBo.7|:ܳɷg3Lq|iC^w)pH7:b0//{dHk$ym+@RN 4LŖt^$ @Tni!(e.ƍeLD2]Mө֭v;EUlk$ˊʊx*IfyZp%3X %=;x"XE -孊ܩfdeNjIy1~!tRQJua⯛ce->G/2SC5NTGt&;YPTB TlBʶFo@]ls_Q1V/D)?p@BK"aRXƴm08x]L_lqI>& d)F1O'МIP3tS^uE )R0=ĉrȐ0߄|f $R*ը/vuFPu0ԣ#o9 +Lj BtyJ ۨ/ 7"{G&O#(Nt$wgY^YPq1T'S&TBOAVDq?Pa 7N9+/y9@ݫb2j,S}M x097jv/yNAMP'<"f ~ArXbJtjs?VZpEz~:"T^pA֝@bc#=F{ 94^UK{Fi-R.O֣jBd*S ^$Ci,ZX3Saa^OysIGS~M;cIV舍=uFI,b3-g?q8" b 3jVjwFtTM;OQ܋G[0.f?TP/ٺ< ~;1%cYcIF`TH؍Pl!mֈ){#%WPʱd!N 0. {e*u$Z{ QJ S~Q+a'Qes'TL-yP VA;ƛ+bD(IiO{*( ̨V#ƺyD-[^ȃyrz%iD^܀v78g*k2YoF2?`2H:  \#܋sp#ŢsE|8GyW &̿Ȩ\.\gu9('6xQxajGaF>%vM;8!Dp0b S!G '#-* M^?2v3g@&SJ2M{Q"\ C_0%=Co fu&M#TZ$vNjl@:?@ J|G#-Tˣ^k8縞w AֶD!)u4Iʀ]S 57@ˑcCl|W EF֟iwTz>!1ћnI[8芰"Iɔ B-)ِ(жHǴY%")15@]kd)b\v5=vD8BeHC@ŽCIi/Win)5`̆f#6NgcV v$`V'J0DrBN?$Y_olYd9dmdNHa+KNBJ8=$%FEKf0.# J)ɶ;λW#*t҃-vtS:|5B*'zP)N׉g{$<4njy$W-Y!pQ|d+Y91 kv4-"aӰ2j`,U4Y^9Y `VbjJ8iE#i8DL1P#<o=:KK9!¹vT7#LQE'fHG\#ŊR(7MU'Vn*Cb\Z:q'כӓ4p¥qۻ^ju. ߁$eނ&Nvr@pSDg] 8*U?6@yyWwսǽe7nrI/qK"@4rNX)up:\/^}PȉJ ˌJq(f70@nҵ;F3%p[xV9HJww'7膗'T>K@ U{"*-pӜɯW6^ j#8 /(xxp`x AޘEOzuP S6v =\@ r,͏g$98ϐJTKR {U~cF\!V*3\q]1OL@ΰ~h4lr* Lk|ԃ?5 _ѹA^ '--@5!|-Ey $>9EY>2[z4|%D,pyQ'0;#KfdX^iqU'DXi֕ 5g~9NmV&W'-eMaeV,V-qN(ʛg6Q vxV*~01{l/kO/״3 Js>rȇs=‰GL=st5刁RAғp+ 141+!My\:vFJ"jKt~gj:gm`(;#҉ɑ)gBZ1;,}s9TT)YqJԃxr( @."cdTV3dD˜,&]圄 IJCvr&_>kYaåZP\=B[AXU%8 e}IuX*=Qn fP0<0OŃDKRCOi* k_.@q& )5~I9c 4U|PXzJ%R`t4$7JzGp ~T#4>9iaafDŻ mkM^FQڰkKA"oēxł@C$b lDrc [p0K,2/|eg)ډEݽyi_P Jda EA[[{DIz= N)JޯRbe#wH]hlM@Cwz@K{D*b#,R X913SʼneHtߌ5)9 pub`ͻ!w _)!c!\?kV: d`?mPGEƩ8"ѧGrMUJ֋ p4>a;V3~O{d'ǰx_J|B3ʣ]Abq,u@WR2f(̕?H Z ! KyNilc`\9+c,%$#E 쩳0!ɕ:Ͻap1yOd!ţyTiQk2@ɋp-w`ei2.8"';h9JsstͶ3a3*F_ h<:W-b^ӦO7_$JDE7 عE/zAT{Aq3 De%m|!؆3z3*7Ep `>i UnVpuޜuR<R=|tKyƂ`eV01%ed֕Cv`TTNz^!(mIp<֑tM0ݷf3bF SߕZ(-zV!8XÕ..GT4;O,K '_[h5@*t=".͛«^gyKS9%zr`ѝf3@5;A , dGݜ Kzq'^XW^q4sbtGxBb8r*ڙK<@Q.A4PR%9 -M&.0~jzh0C^5^s_}䶣0IJ(M¢!%WXm<ex%,sauQjPS]SB5K1(/? [$VWb:i3pmHݚG4\ɝ7~H`&FZ<:M5`ڱܛAE<]389QJJFDn#qt &V Æ¢b-Z s#rDS$'o}FLR\ ֗Q`-+)f{=^.cȴ Z5{c fRl?g(VIρ|f!>@`xe8!g8yQW]Uj0.~z30~c1gkrky." jwYبE .'>x?գÝ\ЇFōl.'ǰcR2W#DiP FMVKG q&DZ4w@w _C@&[:#AT !^H'X9, =hAxIA 2EeW)1-K0!?͏u/XTP9V->O޴ sÂ\P 3{;} f;xY_*;$ @OK1[s掘q0Ł:Bh!/B8d9ԯmAd?@mBd߆! S%)UI~'A;e$(hmGz؂ȥ5VL/I"|lbԫ4,Ӗ0s N3<Cg5G  d g 2I  _@H'~^>EVPx j}5 (O$LR7Rbg:/^4 dVUB-/uVăF6cB./2b `{W?X9N"x Qge6X}qt3~z Qɸ ұM;Cxݞ &(;Guk3ai*ϻ 7(n>8=jFYd& 'lsgE!Q۴ 2ʤtAZPc`1[6j)_*m b#W B!}ϡP'HY희Y̽%ChpKY0ep:z ~1.$QxN>tgT[v@.gNa42f-Er1CCϋ .7j0E~1O`FX)L7fExthX9B%]8l7!78פN|WYTAN2[kuu-Ϝl-O %~>L&*G0mAye 40B嗛bԡ/Bw8S݄Dw zvP\XiL M(|pADg"尢Wjwr?AmR%zt<HxbS19jj_(fM:n)FEj\Z 臓AV0R" K{xOe[6c mPm~x=ЈZF&90:R ^H/L1$/YHduDN"RdWn~UcL^*>Ø8CfrdpF, K0 UҵfemG`5OweM` 2eFH_UJÙ6x /^=6)\0'֌`c6IZF#b֐T,"϶>'D| 6zaۂrB u/l*_?JTǨU*A#0t}7W?{$7"_s/sTn;#v3㕌vj弜sL4|QH$Q g I"lъeU, ,¡HN8 4$cGXpK,KjK$I&H0` I CA04n NukD1qNfʾfXgqճlf3Y7TQA'֦hϬ4m?f, 8(BO|a2뺾FnGp<_GꕡEEJK{]~08H;ґ"HY-tgHV{3p932D'lm33۶޶Vkm﬙}կMzcyo 'Q@n{z={ֶmYl˲dɒeW?+XZ-EVUVe:1-0pPS䔨tάzTR[K-Dj8XDhcba1EC!`AH$ JK43@LEe"]} ȐxhpB Aa0@B0`#1_ Oj}8 zLh-Bzd`#5k/{J64Nzoԑ탡MjY6*$G_ڃ/%9,s-) >jCgĨMi˝oe@l&gzi9/:sOTgslA&D) ?qDxTFh# w<@݄&M^+p_%FrYӑX@%'L4B[f6UrdPCF=l~wTeѧ/nN#3\. ^ ɿ[JKeLXgvHiFLuF/PCoHxQ# 7z;AJ3 PEo];LUF# v͆bB;uQJvOyZC-|bNMllu) OO.hbp#P ZzT6=eO6*B]I vl L,^"k]!51~{i@xצ*TeNB*{ J`T|K R`4 AVǨre[k }:􎷲@LSfAU`?pR*QԸ D#DqWU^Jwч(P2U%/ŋ̮EFo[pWl"'r5<:j"pJoQyz YY7xͼʹN.1+4[튑gѴM̓ Uxfd ez_=")0 & _pr'ۏ Ǹm٢>-J-"C~e[Cg{~:xXJ1cZ&NE)J.mdt4Es Tc!J ],څƞN/8ˍ$^ g/5#k8^} >/&he`dA!5R-,βuuHFY>Mf7D@KLCg@E`v1lDYC f|l<`:g1o´Yb= ?\\t0q@tm fV"Z=rfQ0=nSxyg`V1L(5K[SvQ g*x`:PmT`Bv[ky4I^۫@ DjѢ#{n9<6^{c[9To{gJjm` v9?\9Tul tM`_ia9s2HR{r2–*c*o.1&B8r1d4h7ƿ0g$R/5?os$1f;1YprJrJvLwG k%GAH(`U$tS̑-0Ƅ̹ݠ2Q4ga=E XE:a4yX; tӉI1_XbPP 0ȡ")]y^]&[E7p-鬰R :;~ś@6Y2x>P#U|$I*qe#v(a 8Džz"\EE73m]*\2$H!hQzŞ*nu~,?@*V#N&ʼn1_\KngfIX[ $ !CA4@'z0tBnb4{WpʉSYVއ`UhJ3%XXz# f"iҫ4{gB0EA=Se=;7T wH̰)Yy xSHm+:аE#@G "e4Ў9D[pWU>/-j<~2FT.2 %S 3#GEUe<Kuk¶Di{̞ឍAЂg;cα`z֪Tdb$g}Q8KQe"@+ѫ*'wU%1vF}f>c^osޅxv#Zܿ2l|*>0Y9Mӡ̸HpK>;%z%7,JHiQ>O2d7EQfJ̬E-B;1`J:. ghC$ W-04 mt9h5`ELkU`Aw8/ H,Za/3 uCw'A~$xl1F=X-ç% Pe Rg0+3~|YK(H;rNi@&0ڇ|ai.Lx;49S6=3x{ˠ;\#сOgQR_x \,3$/>I`q~nM&nfE WؾDf{6fSkvG.Rgn c]U&Qԋ}!S{=5sBW<9vlyw%Į밫n_)ӊh6(Ș>Jsqz*y*ʒHiDu(0]PE a)Hp7k BGLaYIҺd& IHa?2s& AF K ݑKdi$C[H~% `љ1| BG `㻩+|+X^D,ޤEd.y(V~8-( Yg<̽!6(i j1 > +)l5:QoG,*1PM}a`AI퓜x:|2]{ЛoOad$;UϣwS/?eCd#^lH*@lxm6o"U82nEiv!n%1Qxέnes16X X6 fOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# jHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/X5!|"@aܗ;`7O$Mfs ,~qo :g%(Q#H$Zy0Kj3SL s!0`!, 0mJ,  (_͛>址acy(&+b|(̓ByǞy1۔gTLꬦr,6єO)վH-Kc5bn˧Ec S6L tG-VD׻꺔CpH~\%ŬLϮaؤ#Cc 𹢓֛Ss=j1cwi'ev^J֤FI"Fئd3lTHի dPvsrd%{Xc_Z(٘ E"}luZ+óMKy9Uj{)I=l8%՜/?6̹kkpH:ݕb?bg2 Or>lR lDRPPRZM 00PLc8d"B""L<>fHkf S!9QBg$ͩ'ETܮÛBL ,10!ٞƂ庍~\A̮NJWu_:ջpSO4.4΅O1:7L2j7ѱ'|M{dad+'j\u \QJ+l/,2umHDI`ŵ=Ҫ]~mAU];Qe 5#!VVY7a#Dk8 Js0?&=o#R<C5 ǂ4qԢ Rs{Biz7YZApjnC5ӤIw{5ۚrQqw֖F=sڦd+,1h(4њR)J5,_?U (Li0Z@ (֬gQ)0(JP{PZ -g9(|s=$mqǻ4Y@7a_.-%Y,%jiV bMyy0퀉X,(2L80 <@_.[%rd Ӵs""˂rRpkc:SŔ(4;{bE5&(gHbP4m9Xy@,4Qhp` h9h5a두BB-B08<%!Gq"b*H08= h.Z] aAxh4 a1eaP֔ S,0`JB= %FYVRz &( 2<a,G-ֲr LX  68MϼX}= @R0(CA9У:d-B΢#@i!Ȳj4<CrrPv֢X{љ 4}`}ݪݬ̹|ɷ{{H ꊬw4i뫺9T]O=Uϵ9<Ѓ6sX, Q"Yyyi8!E^jfQnƘ8jY7A0Ł429pν;!"&Ŕu!% XMwwan[,FCY G1;;;Nw}:#&' =@hR۫(MƝTKTZ&0hi.;X3u""=-?Qe#q 8Ӡ'**BXQ+}ٌzqA':g{߉HxpI==owOF>|X1?

!5U+q|ՈpD1j'CH0sEg8F0%?7G s36xZ`?q2!c #A F`D L0"?n*⫝̸J ×;h2"Y$iZc`$ɣJ&>DX&ZOce`AġJD Kk) ݈' Q򸏣Jj,dW?#Fa t-$?BA(&e%DFҐ| #Ir}JH5ؠm\ARJWDyJġ0̃Liʌ)?b=j\śj?ܽrϡ6\̟P(C/[%{[= #q;Wy_x̵VpzJ}EJCAIrnFy3,#Q7>,JS&xZrޒ"JZRyT;SZ1DCR)[@~^qb[j~-ZX [ J 1;иho3$*P@H50Z7bD<~ZyVi!c1u8oΟR! {o̐d@rdFZ00ĿF8ER^[{Tɀ26/1l`\rIu7F0@,v *H 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/ LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/X z"@aܗ;`7O$Mfs Ü|qm>+A8λG_&p/8fB`Z@B>Y `.6۔)H $Q&<%͛>aby$IsX1_*JӐ(3/>b@>@LId ?A V5Nf2Z:6[܂Ӵ;N/:~aA4l68uǗ{+ei,܂kvj;0v`V̋^˻1LIH-:i95Q-ė,9iR[*bh&E͗Mɘg|EOVꂁo6AS=I6|͗ca~YhQl3PutugVŪaӾx)/S/6TsSߡnjn sއnF.ugv)&lDRM 20PHc8d"B"#f(j#$M0i#h,MKBL$ȩ&E܄jnT*ͮpp=J_ H MB,odqiZ߻]q} w7e2dv+B:4r;РQfSaM{L09''j.@W, ?ؔPY˵qb]bWC$A5a xROW3ghPǧJ֒[O]3Ԟ XݸTq(r/ [ .gUhyBSXĆԴ`V 0%6)́]20MOTЫvF XcӘ¨woKfJPF87|@ΐIWՋW-6?ѡǹ<Zx=W/H Rep`ɍCrRe,!Y%b0AL:؂ z˽%AW0-Eq|G7(TR  O k*ZL-4בH5a* f)^׊ZJwNt\ϟ?$$T kAJa 8*Z A%7LUsx`„kZgjh *d"BzA_+"$YΩZIDmDhQ[>^˶*֘C,{nbݫa8wމ7U6$3U2d>A9CPqdB: 8D&$P(Uf[4 Uz^~NB*kеsT[L\;#fVKFP֭60pb:oGfll+FcB`ĔXy%ubyy}mqAiJTr*# ލ"ljR7C{{;k/ǀ ]k^S5j%ź!&"Ed`$ cҭWõX25J3o8ɕK.y P~* ݺj}LHѮ۵[I6jh _Rj^y?:˕jZ3 "Y  0G%ct[}6@0 ɘh<"8  DA@q&~:mUftX\B\!G_.+3uɿ偰wi(Hs}kܫIb"yY| jf]<Z |@Ag]-.}} Ёc$]#Ĕ C!_TF9^u g( ViMgV7PBA\!C}5ZNhC1Fݧ@sNoXUK76SGyuP;OH ~8Z ^ڑCo(6GfZ[[;7ӱ BNf{b!%ϳ. ]I^k jV%:xT!>LA_|O&#a5ڔ#CJL púbCU)߇>Ţ1e>ZÛ \씑 !޲7}+zt)sԔȀob8̜.HXu֒ Q.gvY9 k͢綨kIyBk69;z\޹d5Ο%9f>DB܈U S\:bʳܒ}ہ>2{#=QW%/ϵҠ&6 [l' UjW֓".ysx:HTwW>phKkeB$PsQhT 7rBmtr1Y}5jqSy\pse& rBckľhѼ % 'AB9d,a`TxG|}Z#x$ZܿARKC )f1(u$(| g<*%ZZrsP ѢVt{MlI~j]@8I繁5#=(ut ]!%y\9Ր+>J}#x9uOyJ34qL|BEJ w\2]2G TH4.?Bug ȌI)Tqҩ2R1?29wPfp4:T3.9s/Dv@)!S)@ t*ږa8Ъv*~-q?hHO:~|l50_9?淼Ig/:z%/3 Bve3MM0nwwЩJ4:yb99=d"k=¥3}y6@ Ӷ6:D8U#Au}Մ5y-{U⊗Z$MP>'Kzh+,ɊUޢyم E|aŠn$#aɑ#q(*QB{6,y8AWAl"Zk֫oI=%&m#[SS;l6"=R[]6W|5?ju+/YGR@)N~@ob}I ,b\}=YМ˄d3ZēTFG`{ vt6N6B ~IK1,2W vnφn0Kԫe ]3tZ$x\Jso4b7tFN M )$}9-`|I`6smc1꼩-D̏Na ;n5 Ly:,ez.I Mk}#O Hػ-w{==90eNtacax;<Qo ?-[אcըuЎIYYrzجt~Q anq Ldh7 ֮= 1M(o(:Mf,~h3i 1sxO-cޏ>d"MX^D*hZDz댬u>Z>OhM霳 Z@'1{3{>|0dR^+w΋PZ_;eh$ެojpkGbń#a\@D';)r"6>bНs Mp9t:N8YxvlNc gm94. b6T]!-) r Tݪ{l#E:=dvbx|F6$a$cNR0jkaȑ7bAĊz]  ,-~ )ҔXR(qϐcꋸ@!N鎆,FuiR )$_f$*Bx]p8LOʕ_cq|\W3iSkΒQu%watlڐ`V@{͛\BȭCVY~.N˶ASU.WYX"J(cBzΨJE'vJL4ysdGO  1z%2dxB8q;*+kg'}rh7%QZӸʑYh_# 魥ʼnXKcd'Iԓ:s<."n1~10Ȑ{`NJan*KLǏ-wY[<41ոPUL=@wWo= Gߌ *:!E|!^1')tJR,fο9b_҇pܲ{A {[ o~ב#Al$W_# ;rhTBRUNDŎ?DVk<)a 2y $Z: 3e+O>ҡ/TX?gDtm<hxf}u8ߐu[t~VIa6*d-ͩT}d`t$Q46?m ScP13em Xa;>"'O1tXY6Mzsnק3ߣ2(cmXx%BmUE:klf I)]U>D8Pԋla&o @;ohm0H+A `C<6RǤ:P'6qgA*Hü]0Z ZRY/F%1RD. !gJCoH72NW)( R1L"=anT,hHɐ(<,/5Úh;hS [}? 2B%_#2(9:L&ٽlYsx{G&L֎e{BMe=#0K"r{ZVqu>bk Q` %d?aL鐣fE.䅿#j쀓*b:7đo^<\s!"=o%K_pVsKd@Ѭ#DL_}b\ʫ][ Kg*8w< ~bV:'EpyQ ts׸&qVPwmpS(Os|qgG@>DŽ嗀#!5h.TUiM7P>x &Z!]~YH\n4!3I i/;讱 W^+9ݨi;&bX|f%69MFm<"P DT>xux.-viUZj'q }CߠI z7eyi3f栉f@P@x9 '(Sb+p7=\M9^!:n-Iø]~0lFOrZMcxjĮ"i(4B  eMJ=GeaYXޏ G 0 }Ӯ]uQSXf|3WP/<ćzr "P"OX RP1SGo*"Q|uvOP Mhb{ ZXq,( du~[Z\ʤB1숥aLt:q<L;bH ǟP"1 rhg&edJir:HXhoTYi CC}t 8bEʷ}5YLL="_w™./3ufLeuj=Ukb"_)PNw \ 8K. BbV gɺmNiV?&,&6ɑ4G0pbL0i˛0 [40Q`S4_F67]O"3U>E$O!!yXߑ=Ί8|w{ab*i4_fN ].(= JG%f}%RY=eꛫh QC\oۡeuMbӶ.9@=y1F+&@c8U$ F ,k|H o=:yX=8yjye@l%kUs>RcHZPwC30֓0ePsY9V+!S5)Չ$6&-xI{1}Nx)\=w,Q$P aHL fp7긳Yy|'ll1*۵SE P[hhҡŗq >48@ u^Sx:95$?zS;r 6 uwc\BHR8cy)~MoQ>)"}4sQpT7Յz,FLQq`pR 07ґnneį&M6ڂW'Aa)$?ȱVJ=P/v^BKgd7BPj{&:%ğDu~4JQJy#Ԅg1r-woFWz M/Kբ/afzT ]f\Bd~:10L$:Ze/&s$Ex.#AeeT$ f@o8Zq>QU (sv弪ȗ4P͊0kQ띁N<)!fWōw\A/Ϗ ^Tg+((6QڮN&}WuSV!,|Hi'粸,ʣ]bpÑ{َ ܤN1CT]9o̤(M\8-;mQ_n\nRPBzM!4q$-!ikSzk0_Rż*gN`$y:*>u㏊?𞅵Nb)!E:C t0 +KNr !Hז~T-!i8?xnL1vJtX|zsDBՉ-xCWҢsmF3A赾 T EPhvӊRNIhqLg( KˑQ>J@'X/q$SE^ }#'tPc"A^8B_fOb4-x"UNa?hy?d:Gx (6 V̗oYBvڴEGBq^S[( 7nQBJZjHC2gpKYo`^9cЌL`tfּKPk pnoz^L ^(0`S쿗 !*,B>KjgnG\9kq;cן\+תAj{א% )YqL/SRe@ ®bCsZBrǤUWt6mլc=s{Hh[ĝ?LKqJ꣐yٍX:e T2ntS.*GZ18#9 8QPE3'B sb2T %89V;ZsƾhOHg?k,M[#񪬘K#@ajy~;cZâN*cVCso-Vzg6R#G.hoΙsVݖZxұsOH?+&FofQb4LBcء wi>FrvWH|.?n :V\P2 ЩmqT=,hlA&i-6B%u%Iv"];M,tF_XHj'L[C'0SϕkƬ 3٬ T!Y̅NݒQ*_w{qiZAp43(~F#X.q!B"wޫ1؈ Hqj!YwmˆK=w>>sY͓,D@/b״_*%eOL E/{7t# (::jc$p"}eS% Om岭O׫Mw5@/m~;^'=b5%XyFǮ K'&n6=qU}s@ȉI;pw՘VA*>w[tZ:g$Jv[>C!\2s. A.H.!vQǃQlU˃׿)c+"%H:t5QV&ҤY KW&Red y |e)R/l/I{bHw@'w|67_u] 8uBӺ $SN,Z,D$Ac~gBk^+Z )cN2ǹ*#m Dp# n(`iD,UӡT1aXOABHanWeeџ!!}^4vJ Y}֪a&Љ3˿(aLK4MO [E裘 j &OF!dp#h킒r€8`<gѣ\PGyEʼnH8}*{^$sXIm+6TQTD .wͨ<!^|Hg"P(85c5X|rմԫyOFx~ö8Y4BuQY'YHhp9T: yEPЏ'T2'MyϺ8y HӪ\XD8K1͂8\` ^TXN^IAӘ*MQr +12Ai0xLqdb׬ 9n1JfZ>)2IsQ=K*h-?(gIF'^N#8wbBrE ISM)IOV__ga%h$c}Y.`(ChSVUȳ/ͣNRH ~u}lFwăJ?1h{%}Y8F)oRpPdNٸ[IZThVxi2k#'OPoaSk8-ucwAKgceG9pBН%YAO cH9'Чrk,|42DE?a;t@50QtHESap#/a%35F}CMoڤ}HwZllإBTޓDaPP\eAM, 4D?vRPy5yȡ^ZY-OUV.y#_p*%82Ղ^X!pShQ G?mЗ{&e9\3E=l!g6#>Ss~[}ObPDO)O9!M4R/5geRS) WHkcsx~o[UrF`̶WB}81 jY~}?$ 1g[t`:iv&Q&O~2!/R{WoY[d!!JyeEWT?Guw+x_@X5 \E׹ a SĺZHIs] ] w@I1_ؠhU-㈯}q2eq1D)"+PcVct󔵕{CJXz7'Z_>ĆKEwPgt&T*cjP~WC+`:H YkLK6 r2[ṡ3BH(~nt|WgRHt_}fťrAV!7;D'q:qU=V*'Pud-yfh)DBDVy_cSbqXLqNuI]cX- ;|eW)!<oL tT#)qHNeFnRO ꂛnY JsQ<]6}dxVCNBٹdP-FMpء/"x3MX*X݆98 ,ЦRk<h9! eؐqJc)AS2I 8'Bڮ:gCR 7KkIS $QCm$\ˊ(tFY\>܂ ~(R$E 9cΑ5`@"'hEY1Ղ" I8xbVHP7kΉKDxMZ$Um\K"a[oISĦh;##I3$=3  9_54-A-D.0D6 xz.`TƔgi{R{ k 5h;Eu+i)lN2< .DB|FԆ I-<&mon4@\VM?" ]"'t٪%KVniBOc12ZS>Ӣ&De-SQ d~2ѶvQӱ`|&" ϖ`s!Jp!ӰBz,IQ܇ݙZøY9 0-ui%{ L§+~ߝx`W$Nn0"TR 3rLρ )N"ʁ`hh|s8. :؏Y @V]28~!ԞF{V䠪Q5سkV!Wn݀꾈zZD$Qۺ7pEb&:$RٟDq.OٍoZvi8PELmK:1s@>n)HHyK>૔[e!}2$U:I]C:7 <{I#>Qs[+ήv|6+2݂}i J%wcs"ډm0-hʇ*;Kz] v 9ɒU&t]'=:Ƨ-s>T©J}?¯QLQ6$kpNlo9O 1wm"-%V=QirWB&Ns6phGv1 TVP"0 XP={Z$l2=${ HEJɑ< D( %mR#"G;DDB镞w'BQOaѥA8x6F$t`,[qB';!뿖*K1s*fmuUΤ H$QUY&*xn|>up'ݚaZ33EXI"e=L1X'r0O7M>1bZ,V3Ҙfy)V0qK0F? j 愫̼(/ i?I A%tT- =•X$ b H&=@P(H B1B!BB"ei4 m#[ /Da<~޽8K3*HV &;M`URU{$pX@+S@`0 ,t(gGE| 6iI=z ʨ-dn;sdlQ-Mov OrM@ E&/ttdc2J:&Bp|ҼFx35jH޷n˽+"MVk,Vk B9 M*4|ܲRraƠHhWCvm XA2EY8Ql>Pa x!M90׆n`P 7,xV 8EzU&[̃} ВA# 4{n;qq$< 5nTbo2'݌~+@Kzl 5ʴwa|tͤʭҩo4+bÌcZGD2 8ducpG#]ŽcnTJfn8۝ͼ>5}D ?"3jxx2+C 7/kkȳisDhBFnвH3,ЌVݒvZ{ mbe!5ٙ{K+։4w_ r=LMkH:D ML"ó`Pyǣ>0~8nrUq,AD!U eG'硢 N D!k~N "iGIrI2 Т 9b~gh`S8 RfWN w~NU*{q֓&w UMz 64n]K?JJ*, M{aMY4JRJ|x5I.28V\!npDg[ ${ r0vxa|ڣ87l3 yGxj hOl=w&JQ":)7 3'?COH`2Y?+EGn D;W/SK}M==ɕR xH%V∜a+56WKOϯkb,Xn0Xh.\( " i1Nn Tb 3~׈ҥ'VcJӂ!1E^qɲNIc3Kk}:n/ ZӊqwSB&sZrXQw ?*; }<"s3|4h t*|jeD?|ȃ{Jh\{2bT%x 4u 8#JR-"*vIIiä#}*.:! nN[Ysq1LwBAMK14=9SLMIYO&x0=XeC sB<0ZU#N&Y+XMǖn`/2&Mĭݜ9YjJ`Zğ ʼnSTKMЌGDLt؍`s>*c̬;}$7vAŹ[yS.݈mhy9/Ho۔^־o`II /Bl#^5[Yy-؊T)V%<~쳽(ϫ<ՃX=cƜn1CjM<~