SQLite format 3@  .j   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_exportsoVOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# hHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`%!fhq"0mRr۟0# ZBq jr4ҥyufe;P$ bvLsd]1D>iZ:a`Ӕ"|NcapPp2lЅ,V '5g[xL+`*峛)P塋epŵyXE;!NM8 iF6|-9( / p]J_X'X U8rgs>A^IOe"a"MKKUPEIMayGk1l.3Ed5K~JV/iR (đNf(:CK+N ;H댐-rg'҆"V'`|!%¥ m.}>0 *U]JdxqOm 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}H}Z#0`*b'׹h|4HcJ8`! W8PŜ(/ _::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.968cpu=1.745gc=0.000(/` &T"@k uu+cֈ,xWtܛ0WSB-aJX\kKplys "@a[[0|8 _ {{Mk<ְ8MhF_ -8̈́"98 $H"EV@+&9Ӕư F,,KxHo/99(],:}{ (߫q*ɣBMT'NJ$3I>#_o揌$͙*)#dLXSX<-τFIzJ!Mxt]Nd#j&j[q&MP_5MM̌t*fqY]$92$B)H! jh@Kb D"BH#H(L0gMS+WH%VQ%^8+~f-$)jPyaЃ&XU =\5 cZ106m0 a@b/8ǡnً],>0O Դ{3,Ll bG/^/g^\Y8neԦ ##LӸuwzw"L d"|4q!K?awfa:Igp@a҈'}cJe"= bc7969e680cec628998d634f9d54faf6fa6d9151 e512a13d839ea34e1dc95b4853b580c309500b04 ~~/src/HOL/ATP.thy 9b4c65b4a7aa578ce098f5fe2e073ba2ee9cbed5 ~~/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 7fc0a706f880b7d472ce2310a6f6526292a969c4 ~~/src/HOL/Binomial.thy 19c38d03489e6455f443da74c0a739067b71cbc9 ~~/src/HOL/Bit_Operations.thy 2ad24e04cd972bf1ed05b4466dae684b1f3eaf12 ~~/src/HOL/Boolean_Algebras.thy 1dc33bcfc76a695b63161f930ea401a7c5124c2a ~~/src/HOL/Code_Evaluation.thy 4e36bd81f5e7548e62d73b554d4be404e3c7cac6 ~~/src/HOL/Code_Numeral.thy c879898009d314355 $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*}wCwGCuDqWR|7i6;>'кB(΂g'89P=֬E|+H(z"_\uπZ7cdxy/FE})dM9.>GF"Hv0,$/r5p \%@F6wH%@'@gS3N?XO[NO$Rc`ѯ{~E=]{C11ja!pZ )ΓҕƼ'Ӓ CL&CAw¾e<•ю]}?#Q CI(?$y4AEM 0 %`=J`P6IRMn@u\4-Rܗ c G;`F#ڐ#7Pf) lȊHBM7n)|v̓dT}y1|6UA;S)!hZ0Cgp( C:L~QMsLRTuGZ{j;*WG2%D5D(#ё81١쐚#" (}Xͷa~߼m'qm0LP!Or k䓭@7t@p:Fٞ 0w,6B{'zLy/LѶ `;-BufsbtvNH2N#c~^OؚlR)#!W-f]M)F:o:³ʵ}smO%#=`r <Uq%gRB?6M}%Phmuq1'@ATΉ3ge2oN<^:ުa +y:P+EV׭bF'";K$n@SSX$ 2H9iL.@+b:%QP^ D$kh,*liչ/X xH@wE// =j„Hz(4@eykƖO$N=`6 ՠK҉)F s&*LWt:IU_#^rK,!&TY @YX!8F }K`}K("RFpHo]-(u]ݳ -H=%c.)r<źSX:b +15Ea0ꨪӟJ]1\NIb*`r 1e[s,xhM9P)XF+(㷵lt 0 T̘j^m6iZ0o!:)>Q Ch:Φn*N $D+ l&RN$0eI:r}dĀ5l|-᤬@UƵYvf6Pu`Sc “/}g%];0L'dTd8/ |U AhNE LۘԿH;ڥt`'t]wD+s`Pu gO-` 劻Y)G,$-/)XX4+`ZU~ -x|l49X"\C:UJv8f&_FrL,@Mb!-r[DBV?R rEt+2Ʒ*"7DM=Ȳ2KG?IRDdH]eo^AWTxPa'K LdhЀ'Sd:+T "R9\ Eo2DJY^Iz DlЯMx43N? ,G ]$` ˎMn$wX:aC|tMjMw QJA-kwp:P7ߑUuOaePU/,TON TkNgJ! Lkkki@CiҦETĴV!*1+mH)=acnWU05l ɠR `jH( `)֒Pww&22GT;RGM*1̫y55;%t8N3/AK5p9ziap{@"TTs] 5%hVO-E&d鸊O TwnhBZKN*U& YJ&Lo8e*T`M HΫiBÚ[AOU2UKTu\{wzEMyp}oWYi2bLi-^ڙjG(R-&-nU1Ɨ3hRO֝B?FDDN{ s(o@8#% IyD&0T=Hn&ޤô<3 ?=ֱ4VB gt>1;_( cɘxJ#=h̘OS?qf<6%YGcxd=}DsbZ(0o#PPBz 37BE}42s+yó `#1Uc1T`A_N%A*Ƈ~PmOҏ!1YNlc|o~BC4[&)̰X:CNRVndmDnf̍ u*sY*t1xOL~.ӘZ-vt˜-f<|ZwOkԔ?57I .#r0-hQR/'"]#\XeڹsK`8J@kڇ CɈ;8RBU%٤*|teX'Nic¬-E-?JoH }չEIɴ)h?V@J`Dcf5-˷7(zK"m7A*8d4l~cl]xcm)y7Bh-H9=ioW3& C[a)41|ϚLs农% UDa$UK.yp,HXSDrڬA4ȍI,_HƖIxqdN*5_n$SqS&:`DS+%4X SpC nj%ckfbzX4jI(QCݕ/sáQVC-tc!% ,|US1au!L~TSg6J˥G(J|n->O )Gi]4aA#?*ܠןmF%'+%8\8;􁴥 ,  C@& k.\c> "NнZrn6=/cDDҦY6hS ~>H֢^B,5Ie i !)JyL!O))\H'ь}X:of075hIp&OX 5C,pрD hڦy[`VE8b*P b>"TiRv<|##<1TG Pv04@a)FYsM1 ie4h\O VOao9}8ǩjE)fWl% 6S }B@CXqX!3Ё>?NT |}hi$>7qEizt[M[p: ? T1Y# уђޒӹr색h#1%naCPiprw7{VTLîb d]h1.WeNO|DRMZr~e9/:gA!Fb5"&yykt>BRxq.&@ 7%7+P)RƓcg"7#؈ρ@ddە;} MeS\OERPE9AU;WpKn8!5™{E@yў*"S| G&-Ʀ&گWo`~BW;# k Ҡޮpp M$zPԀY>A|۽g]$rI0>4vgyr[МS'l 0 fdBx++=V ˋX/9REǑ&e蔳VhA`dZ`K6!3jQ"!A:f@ O#STN2/p"4yv>P|huء5e(Y,zm[UQ^ VT%qeZLh\ _O'JO&4ÜDvwB޺Iῢ!RDO|%"Kav2pV# [#>fwetpyd2/r,XPcaF^?_\˨̜"Ŕ=& ,_nTt9nkyԜ0W^K@YO#KLyv!&(\} k1LD6Q2tVO$^:/ksZȃLC EGp4- ].'I+n fCZ$^RNC}Вߺʯ36?}1Rd/QqdkBKRi=aM^ \C5e7v9^G%|Z6#5,]Fr.r %Ȕi>ƴ,MF%_NPHJѹp8;xȥۛt5^Vda %gC4+MI0b]a~X~1M[Ǒp._p^XRd>>"{8Kq'pa|T:g0 [~ ݊U%W\=a!/Ѻ=sT(kܟ$=wDDo Dр=RD ,l6¼IbQTw;q*p}& ޣs"Bz)RaݫE&qEk-{'O$7^[l@]D/jcG9*_a6t 0ϻ) R oN6XZ.=ΠFi4|zF(EP"ET.w;)O0HfϤ}Hڴ3l8 4rTcZ젮5dml |= WoJP眩/#DŽy;w_BZA%ŢҢٸ8yv\{siC6LvQ簈:HMͮ§@"4M/Qru3HVt *@G.:6\6?BkSRcv1c NKC|fP'(r<9n.3%"WQ ZlPhSZ{F <(e uةQPbC)"I1hy7\Ve*ǚz^IaUE@`ިzCX0~N {/c)Hb7ț$gB{_Y}+Q+􇑚XqJEQ8!,۶0(zVsո˚^,45K2q h8}EIwLF]Fe x]q&C1_~bVR~wf] \M\/24ʚ$HQOA-S4TT!h(bGU+bT0r]"_fophM63"}ӆJ laq1f9 K%QdQnBf&Va0?Rrm'"-}o$zFϭܥr\/tm)w(w5yO+dZ-tp<BK`?}((䤏i>ԓSuvpB|*`x:gm<)^Qphc $Dk rzo!ÓwNd̈?dc&-pa PQiT6ku2ت)Dޭ)#M0;B ؎&UF8ϯ55taIi|ѹ(J9~QES57#CUHNr y.cqtn ɬ X鬱cn{bSJ'<A4ÁB $AD]-_ܑ|N%ނbqGP;䦾!L,a7ҕj2vtb_SU]U#GbsB]4&"V\)zB6ixB` LjwN䔠t(3ޠְ;Qr>1ɋ[=py?}Zcभ5DpxLf8}Bh pCFp/@ _ <.' P+0!sF㤚`--U#+4MK{\X8"? w X`CUBy@1⧿ʬh,I<<4 Ǵ7:Oa4 sCY2vWݶC5˶*ЦV+ dY4`, L#*0NXqI'=H cke*COދ/{>;2g%_\H9_ஔrpO<[g?﻽ݾ˽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"bF$: @ PE"a~ dD<8\ ÀP á@8 !P s  WH\-Bz{1#AיNJZ^gIeQowMomTIt;_y;T,0dȨ[ eQ: t$FN30;NwFQ{.4dDuV?+5a}S.VVu'~\͗`M 䔒(ݯCW9 m ICt"Lt:C_$ $*ؓat ,BA/G.%`DD&L=[4qn٘mr|C*Q{ez|j`tg%&1[(umqzseS}@ ho)us|O@x" p]ѣo>U7LY%Mc7ഩCytZ#M9G_XHC&wBѴ-4*μc_#u9H/7 ;]p(~}GLF39@ 7e"5N֏M*N5|g`J\ ^̝SV` 1ȵI LI;ufA,50?x hЊڏǖڄ҄ܲ C ݫ:I0(Iq86ԗU&S.8hypk5`5btA7yo&2*7E)تt(WA7󍊌@O T v:JN~⼚x/hsF,OhkE EhCi""K4$*y:rܳy{rq%FCm}H{2Ij!\W` k3.5.TpM޾g,i32ؔ6C BAZ=Ͳ{5DE4ArN @kP:`ME7 a EErTŠ,0l;;Kof½Lv'6!i]mz`~Stf@mHqsz3FdpbKd._3/h .sU蜍E`R(7Kt[X xbNntN1Aˠ M)Oc*NCCt4j8qJ#?tq3W7 JD S gvڷ"tÿN 7p?y\xYc5g@ϊD*YL9$U&p"J瘎L'm$9.};AEƥ0> pB^% %* x -mw?`@)䙿+afKxƦ(\x6jihM.) !Pݵ_,F@Lq;02 kR!YO35 P>1$qu G.ϯ[ E3shd0{nM`iaSX`gz q^"84/y-_X_G Y0VjG K2>_oqƳOw4,K PhJɆsH}n$>? s3GW/~* -Bi t64ESM6]p3*RHb&BL/z&xL8H$)p$HFA)АLun݄tQ:90 ZeMD6=UfRK.,--\Dv}LiF7h`j zxzvR1[GsUs"1 wbzP& 9X4#6M`#Bu9Ͱe4ѕB+= Eʬ%Ɣe 9TU}X9PZ[P$F)L!-̿U$s[bCpg5tG-IYDq%%U#h_PI1lsl fvkFm^<(uTLR~ 1NhsH }\3_w@XV@6kCŜfPH]na9U'L/jL"k륁41nxPmSA`fV%jRC0Ϲ4mnū%aF6=!7l#I lTƼDƇZ]2KBa&D-EZ_$)c,>+ (B?L|TxgW @0s aQ˿cQ'H6HdHL5P>݆4iDbeX63dǷ.#=#C#AّS"vоW򴆰gHv>A^CP@NLឳb zcgx̻};Ѹzʦس|l_ +-7;(- /})볞O`u[ :d즮|o#x܊VDXUG$n7B޿̪@DQAvv. ˙Vzb ')Z!eh<[Un-zWj+fY^썩I(L_6 ^+B3=Ϟ$Bʄb)-%9(+\^TtU}?P}.΍¡Xc@ 23h#V'%91C3< pE#ryd;*,rpj߯ A3[/?4X,pa~P+2:Kڏ֋m7{Dbʜ[v8KC)YZ Q2mhE;r{nA2^\خ= I̟A5x'9{`PQ &0xk3aRM;'w:rP9X"[7en{%tM 9-uzY=h%oņ|nFR\`Юě7%=.GZZʶ'r+.'pZ[L bK;H*4(, VX6 oVOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# hHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`%!fhq"0mRr۟0# ZBq jr4ҥyufe;P$ bvLsd]1D>iZ:a`Ӕ"|NcapPp2lЅ,V '5g[xL+`*峛)P塋epŵyXE;!NM8 iF6|-9( / p]J_X'X U8rgs>A^IOe"a"MKKUPEIMayGk1l.3Ed5K~JV/iR (đNf(:CK+N ;H댐-rg'҆"V'`|!%¥ m.}>0 *U]JdxqOm 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}U2S@`j!3>"H(/a"dJR&D4/#t^_']os/cgPnDlK\@4u^`T;3YUBxid@i`4@FB: =SZ iIرBkjLWb TmDny&y6\)ϒȼS@Q0RHJr L$#9<HIa(0o?eJYpYdyA!=Ht} ]ólj|.m\He ӶԛJ8 [ۃDQB eB˝SE);H̋Uyށ%AMo a s"_/SUVή@h'ORB*=5S18ΝJ5(@מVM{.:!<לZ9sŇciٕI%ȈmT+TfJ6Y3z+iqBxuFzu:?)JiRɽ*J̪5.rmUK_.Z=v+TL$IRa)Vf@a 01C B!22H컳3GȢS/QY .ag!CGV'KH#')tP~ەuUA*`m;yz!RB!һa  @]ZZv "aL*AMvcxY"o.TSZQO*i9&GQ?Zu&vm!젒+ ]jf9uOl֘X(Z+:#"6.uhsGѫ]u0"h`ֺh+D lFvB؅YE5$8ĭ\WOLB=/aydb3:O(^Lai@(G%>4fjH^Bf4;X_gOַ. nۿ|$kkS_ ' p%6- *\Ԯn30\ҵ%V^T%&_![pzRg4b~A [.!XM -&B%򘩤øN9kY4:5j8Yµ drUެ[ݡ7Gys|mT.MEitFJf.c=2kc]35u6Ŗb Cc%E1ϵN XsPŹPDy䣗Hw>a lmu cZ춰<::Q#F[utbO/1w0 ԙm]j,d yJj/ t >_|g#r[0mYTg. Rkm(~ɶȺjt,/SMSJ&aB:p_sћt AD>ӽ( CY>:!,ϡY"GS0z3np{.^\Z ,M#2(gi׌Z<:Qsʕe1׬kǃumfjk5},%9u307&JrJx2؄3)\nawiN̞SJ,K قK Fu~OA(\G؜6cƖ5ēY  0GECx\}6DX\L0Hp@ a1AB11@=&@c;92 PWfCRƒXT$šVDFV,QZe9N0BW1U.)]ęYJmi$>d<KJRƐ n>Lh@M/GÛ<r~X-)F̮`1U;pXs@-h5ƶWEoSRa_7VRA9S֊y6Q/8=h1T(N y9jr6;F=kRhV^) w@WuM]tk$ ܵR!| a"s/82VcS9bVĊMetL~a4Hl0OwtAьqozW~˺` r#:'*f5V!KhrkǂНl s33PA=+Ꚉ0šN5wP[7!PpzW ٌy4bkμ*q~r=B"E6SB=.t̥҅3tV4_qҞk^OIj/\FsxrJTHe^R P} 87xBAt#:CT),Puۧ G?*mk١лtKLKft"PY ;o@f nw1\m`Ys<\<lQO~ ?9LfU=7r)}pb&0(|bxDZn*Ws$3ih ݋>D; '0o$g](Bأr#VuT "]%)6sJ.ARڏ>HAզ,q*)|i%k0KQQ^oWIJT6e}E%XgVsr@X|y:D># |L- hk,h~%!?L"1- $d.|r/P|6o6=ZnI4IJqkf?#x1EH{ܪ7Hh"疸_*nH|;> P\mTqg=^M`7d*eF;aROis?Σ^;qWOE`](pSqTMxμ5q ^|TFFQ۩팜:=&hd\athXØ `T&stwDy=[)%Ba~/YݺaՔr%\+E^Ќ}0XI:ju[̍~:RQZ^.؎mS(O \ow2YO? a )wo ݒ  qVU.h#$9Xr|xr`[2@U_T0)>8Υivڵo 9X%hRddPD#| !epo}ޮ,2rc:Ⱥai<P[S9d;DTSlcݞh6 "%8lFe!$aw@W&myaWLo #xSΦ_"7+^DMv7,w$&$Oto?q "':#ƝtiH1-6P%oT~Ib 'P)޷GA&-!)Tno:DY+-K.~= !Ϙ1D!F)bmO|ഁdREic-gnN<~S04̧ӒrG -\~A~)yB%aKIb${g>IkKss:/V F1?OM eCڎH0G2Elr$mQ-߮OWQloB ]NMZ#zvoCHKA7QƇaAUѣXu [#iknCN>c ΃nŠ,E͐VO B-A S +mz%o0$)2A:>Wg=yԀAAtdٴk݄ۅ*A`Tע4B ..$KҼQAoz+4TR5ovd>hE{и`6T`¢'-Mc L'%!Rsd֔jbT($=abwVEܱ-$~J;P)k=t |I4KfX͆il_" Ɉ<b`(x;II HlhV5VŽj&p$c=ÖҰq1v2~\ڦh)G(UC?.֙ m][:C>[O~_ys)ʊą8d3pl4nTnϤy݄4sb% AR-I>kN/GMET{֍Nsc`dΉP 9] e]K>\Fo>ZZ=юH(,’ 5XL{w%2Nn1Wv;Md#˦}DF NBʧE$ؔk \wxWl5Ӆ~-<&DˬV@1\$+=ix̺X ߈;ra*LNN&0^JH' X!xh-Gh7dy+1ůE[b++ ֑ki&~9̦.UY1N6B>aLH엥_Ax\3,3|Di&-/&zbv؃'piZb69] 8*>L?PulXT=м1\CAHlMF^P S✉6Gaq .P @f5dZ :r0ڬS;ojh)>(ZYr}kD+R4z ͺ<R4w/SYAe|`RK@3 55t>[oқ[ՆZ^Oeo=v[9c,ryMhx>Bbs!Z pܷv52Yvbq8 ʡM5*< MjbIۻ`@c}L_4UWr~GUZOYln LU,?&5# E"IrZwhL\p} 1Z Z'd}f%$W-.AB̡al:iW>l5V0thnӿ2lX"uJc8P%@moGh\RTE4X] @w @nMH;JTnR^_m7zfZ"!>1,+e-=dS|2;WhAm))D{ivE\ "#M'H@qUF3LnviX_/5M.\ voY{\[0T|o 9D}Ҳ_>4#ZUQVKf\VI`JHX7* #HÐvh,GwǴ<{U>-\C:.:FNh]ЋށnT.3OugTzBš9ؐPQu018he+3S0b-/+t#6BhDR<4ߊh@ J4L +y;%m,Fk ,{g/S'S*^Uʅ_ߵ$ޱf/{볚!04=5RfdNxPÔ9VAԸd6)Ht:pKdȘ*9ePEP+f2IֈȊ< g&AɄiBbJ$gAZJ&u2Vt _JHMFh@90) %9Q=) J$$)]7#@M~`՜USJUmUkrD#3~[זyU%߽v[JZom~{{PR?/,̽un '> pUfJF1_孼w9^Φzj0)_$q=ɓR5V)xjݳo>+ޏW*0J&d kj=Eڪ鄛oZøRW?ʊ)8Nd|}p m1^$q&]gǜRK_!y ͿfCac+Be#IR4HP( q`2@Âq@ 8 0a0AAa TmyavMp=>ұsJ{:+"ֲgmKlpw`(Uo`p XEHJ8N]uMn *HH1뚟OS|0d2nizZf|6b=rā%nP)pRInJ%EN0BNҗ`旦ʈC9H䲒 9#CO3AyQ*jxc('@Z憍EOxlsD6kRgj+e{3u+6`rlu'hkiI}SfS&YM7s-m.Ô0Gn_)ş*.G0opD6c-V`Xh\~,YpZ}[ТɠaDp,>4[UqqM9zM;U+Zвbm/?(q*NIO!W{Z-gOqP杲ߝ4MMCWي̆Zz'0(r#f@ZyY1#v)€l|jTpinc L0gQ`?EO: I&n*Ѐ,7Ux;v#Y%oG{j$[6`PU!hBsK_!Q2k3,>v\V Phl j 8a{f]_0g8V(T"Nr!'lYD'٥ZrmEt*Do/Z-^<#9 -A "\<']w=,QGe] I!HT٨ &;ɝNPZ@s'xq ^V KXڻd(}%VkZ6/R,+e*M]}pRVd ΞBAP@] `{h t=2L2ҚBQh_T+s8ZZ |e 7+q}Ƃ,n`VlL2* ZRÜdƴ-FML&f(|96 3(hU1!vbە-BFSx>3EUaQǟm p |C勠adm%;?$.Gj<؄Uz_ְ>u@RYl>^E*qi"wuJsV8~SE*Z"{S8n#`xF.mG僳_SwPS9J,Rlͻ;zc|Y_1&ʨhj}}24dU13&J% xNx/ s*u=(TKFle@@V}oj2yFKCAp<ΘmzRA~a k2 IGϒ AE:7Wvr:~"l_5Zbϓ44Y97_ [!R2X@""b*o0Aٮvn@O&,ܧq_-61T -9vx;_0k* EԺ~V}N00 #+̭:vCA!~"rnj^nONZ⋖UՎ}$W^TyeJ{9pT;E7#,hL{LNE[`v;ęb7"[HAPVf1"ػBԦ1=(s)%zdP\~|!'4*?t:}]lZI1W]⊢$1~\&b'.sMŊ%yKKb\$s1no1dD>z7LJL]f%ϯ GWWYsp`֯ktv\xg0Ef*)ݏ&}akaFhxe! #)өn`g dh#L.~X3A;riṯPq9}! f{i۽ש {ucd 7 >Cy ēHguşH{~wHDžH1M KoGY,y/xFȓe~HWu gB7*v=!?k|Z"exlU]VIbQ0EA@jۡ/֌'6ґ(s`i@\mlbpD,].S'9MKAKtdu d84fI.l.ۿI;Y'BfӧquEПiBe{P&΀|'Kq% Ln7m,O@$W㢃e&B<2`,mKbX/ҽ]l <';tAL&szPY?߁yHg\nB=`(ɹ0l$W.@'D -:ü=kk߯K1(tM 4'5K2@p%ZOB8xM@f[n Lm|[8O!u=BF(&# 8ɚװ֒A׽`P2F{EpVL'0k]<4DehOᄦ8 aC$D_pR>t@nKK[M65/X3@{mGY-!vH`ZZ!\*=yN+[pʗy $-3U񕼽8/"nwB|AjgrӜi)yɦP%sQ+̳#6-/2\ڰ5aP5ޖj~v"*< P,XnhRUR.""iXZK3:) VR@MuX` 誔`޿a{D^ OBuep)\&2tr[{`{s(¹MIS6`]j}k?>Rf`:SOƓG <Sb0 b8L.y/E9z;W?ٜJ+lżвDPՑ?b,H;^He]P=őxi4sO%=jOdO~W6HI9ɣrF&=bB֒s8,Tβ[4LJ} | (1Bx +*L\eQq鰎Ul |ZsDHBL=/vBogoEeh6A1XFx]VUț2 #[{J OLS[:ZĢ#Nǒ2 Nu"JX݊xH)`oUGL.ߦ7+G0搊ݖK *6J#} u7ӫw ;x6 j"]C̟=Px @Ec!Q ʕ>~_NIY(- _gQ|cR7'Tϑ |N3=leXQ=]xʆIVcnLINͳ!) ̥AA|m<}$E$Ρ,݇2 W!)F]uzn*Bp5Bd#V(+FZ0Y$\"r!I]jm~Jrqvm\":奯"IO]qwr4O_ #HhDC?KCF$5=}#V F((܎VTҝ/##M$l%AI)'*u`SN^ .,36b: pS}Ysx) {(Ƅ憓ɞ+A犳'Z'vଭPcWK(fB߆D-Z90 K.髇] 4%L5H7G`Ԙq\ԭU#¼BAdBB  !GƆJֺQ8Eܩ$ :70 /n @)5)?nED(5?K[li}`Yp#IYɈt~I+Q>PZ' ߿t#aZöU tT+A9gUpw1¨9RIOê>eJcIJԾD fR2tr_X$3u4LxP}U䳀,7ĆF8I$*˘Rvx4=5~AA)NPz ɴFT9\KC(HjqӉlr0Qr0V.XKY[&{9pw!{<-*Ox:?:rU^x^-JD6hk \ͦR8༻4%pʿ&OeI|-^(҅f2!|/`Eyl$ W'zK>x;,^ S7X:z2ē*:9:7 bX&gO{tNxq2c0NY)-0o\*M1EJa]l٬MT$PڪD]A9b<:aUc겊ZM~5Bς6[⌏1PKO$g e% =h.4x4C3[h-PHވ{!?9r 7;(>v#JTO#@-Abj KdsiiðoGCHq4AGaL%]T&LGiU#v'bN RgaRj!)7gVm7[H7/ k7svբ?akHCAiRWdeF M0(z J!tg:1 %rMѯ2(,,=܆[ɕMz0'Sex 5l-8Aϼ#8wC;񩬲MͅMK `^(|P_a5}zXQD˿gX]f_Puc4(།; ֠0?~Z/W*hP7US#8#]K^'d .Y$]^~ /QXh҈1S\8rAԒ*C5lWi~!v,-(G"[=B466  ёa.u85yMvLy@L5u[X}VR(a\B]zq*b4Xܶ1(`Bģ<\;1/*;uTU>qŽM ?fCNQpAl "{p|\JK6 %cFա+ G /N28/R P_˜ opZ")WN8THuڛz7:d A4)$M#!89D4x8oG"[-N*L}=M$#qeeaw*ZI<+eDTr՘Mђ d9T% ELNz&B#P<h0nټv}s>^XOAUH