SQLite format 3@  ._  5  T11Stableisabelle_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_exportsU--]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_sourcesu77 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_info  A A<Op`Tp ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.723cpu=4.009gc=0.000(/`H`zlgwࡺ&%3Ah˻ h4^c˹Zp Ib?j,5xj8(]FO;/ɞB{]B" a#VX75ӓMx AcJ8:@6"!*(/ _pkszMW,\`X_e}qED=^sA`P-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` EK @Kf!J,}-|%B0  GEAn9bAca81n6s—[XtB\b i]}goe <8B+nAM|I<}1HܔmJ4=E/)MֺRU^Dhڗ*2]0kaEHRIj#mx0 ͼ.M(1V~`hԜמ2ab oɑVkBw=RmҮz'GJJʎm/7~jg %*-U9fQ5#E膤PƐ ѐ#1!2$(!PHRHR{"^ |aJsn1̇gU3543996881462bab2a77c27299143609860d6c84cb1b65c467ef552552ff2e51a2d5ffb63afd4758 b8a02a834d8fbee8ac02bc0db66ecdd69ead8168 d121f1c3fa0be413c06903becad78f7c07ac4879 e5634cbc3e53dc0cb7ee1a6042ba43cf38515e53 c0c760eb3162dd30aeb9b7a523d11e4ccc2b21ec256c5d73-d907-4b4b-9d03-938ef5a4f113 $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.thyOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodlOa# (HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b% Fk"0mRr۟0# ZBq t2I@m`` [U(-~;P$ FɊLsd3D>iZ:a`Ӕ"|NcapPpslip`h׵= CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyper D B _ &^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup [Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   @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(, X5 Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodlOa# (HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b% Fk"0mRr۟0# ZBq t2I@m`` [U(-~;P$ FɊLsd3D>iZ:a`Ӕ"|NcapPpslip`h׵= CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal d 4  d9 Oa' >HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`}F_& )9XqBD&'d9zAa^r;^LJVRTAܬzڗFmkrqEQe,)R_}:0-ImBO#5]Z YDKu;µ%mVj1QwG՚+ۓ죾ر 11QQRVM!WK&\.ڶ:5&IZ/lk/zr%Ӵ r@׮׏yy (p〦osI)9F14dKM yإRa3|+-ND5{~yɐ8>K×A&6@+틌Y̪:[,ESq#OV21$zm Gʓ^RcQsRB NPfFdd ps@IJ1ǐ$`(7SZ4R\̵D^,7vr֎LB>b%3OuO aR=@ōKG0`d _iSEW.2ki(7_eU`0QdkfƓzq auq3?AUܜMr . 10A˅aJ/z>1-P T LTh Oa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=DP#/h 7KdS?nM%-%-x()'?.KA_͎z>mD`ݵ?q*EnPѮ{1\C E$5X1kc_# m9vl9V{=Ӱm!ZŔi']R䑠 MDWNLY:1͘Bgy^bGsPDƒSE0!S8'N*oP(TTA1f/xjU3Skzd)5HIþ=Vڈ $[XsD/Ho8`?ȑrSCӤοҌƔԑ@bJ- Q.*SFb$ W>yQ/2;#;g (H4xxPR3M* GZNU*sM7c=3_UA* f)E찣0Q S[a+\i+vCiKf!.-\BuF7Hyh PWKUU295)g^.4L ]so^#Ed5C֡Z55-_Y!o<0g50ȅgwvwhʇ-ѪSŸAxZP WcVcs J 1k;иhkD r-%jbEvR{+6I!Kk8;>J͹~Kx!fD ݫ)eC`$ k(eV@:t2)P(+Kj1jYcn@$afDcV ݕ{_Ddb $_ڷZonoqcnܭVBGy.}yy.I_F0!) Z! C$C5O;;\R3VxN5 Bq0ŹwEzsoz x5wCHՇVA^ 9tsr!AP(T&gڛoN7f<1s-ngQnJCfyt3Ƙ3{Sݽ^6r4;~[BB9| ;;,фRco;4__^dI'} xq缛ݻqk\'zkQZ5-.*V/ᬜ;S.0b<˙oJ[ЕbbՉzCe%`kK4E %x 3?7wo(E6:˃_A^/2|=XX@,k-(Ħd>·ܥ\+>_R t6.LR۸8SAD̔˙7 60rIzu?6S2bĪq0 ST0cΖs^)&u=ҭj~%$VqpAQwy kbV7a7qZ5vLp8'(*}1T 4 s|En E$<6ʙ)g`b*Krl ksn5ckflA!aM G̔ ٘Q3!DF/ۿMC8$L(S^:5 S>CPkrnm{lk9RīI$Ö3N֍1pq-U1q?U)O3޷hBxO;WE* 0kѩ#󆣰Nދ=ȟ*`l* I$c)T'Ƭ*.a%Hcrm`5L.ؿa?ƒ<\Pm&2(/*AMx֢,B8?r!~e YmpJL*QQ6´՗!|zG+f.֞d,`NOJ++x+Ȕ^v04pxLLwBhh4 4m‚j%v(~Z~W7481kt Ǹ|vSxn.Zh+xo冫E8~2f+-I2B(ْN=V/_JcZ=:RSaҩUDM%*)l)4|%PTBLDjt `{`M,6pi,#g(Hp|Ĝ8bV+-@V X-+ 6>-j|igF4̯ed#7B\֭bsbYe&(G턄'{9o7d86gPw=:hCDJc{_1n{:MqaI1Aʦv{Qڎ7#p;تk4p=Zpb;sD1oH/W&f|}Q$bdd4$xQ(b"`O.3ӂto?F*o ^vYv?;jpCqh4 S!PSo!~uAW«!&4@cҡEvD -'R葏ٲc:XJX/ >o/k`odA>wP0lbBA ޢ귭@/?`?4($S) Vˡ)X:n>Z}$Tq~+[t{ Bh#%J64ͱ9(a'%g^ibD?ybw-sj @ 8?g-_[F AQIr=C^Q&'`KQm`POf<_G2e 2'nDGvfK = 4y'{H(k*)ID2nH`H?0,ؙ{4jIvl\cZWSD`XV_qִۣ1ѥָl"]Y7>;9bg}.~MXxd5R&n#P>: jAK- tUuAsɑkG&S%FEKUuKG8^}+*~SAzTBo6&$MPӛO ;*,I$TDEAKEDH7%&0Jh%-eXȯه-ab$Й9 8N|,߂ ٙrGN" *kY> u^WJ!2,d4<дYd07~piսg.r-$4 7c7,9k^5Zx1 "R8 }BxG;(d[a'bhs6|JfMC/fcdo!/Trq2Tpa?ט9nou+a &*̋i]v4M` [nI1#A\Ba`s`0 Bv5&/sR!M-.`R$F tC䇣d!i0XZElV؛Ol劢E]c^ќ$L370Z$z5hX(tLΠ2R[,'^LDvmjd_E3 'T} k̐PFC Z>bN\h @ UQyށ@ Pp_ vg7 vR66 b2*' Ue|vN#Nu_!w@-J$fek(C}񥃮_c%'Yۛv{f˗=5ۧq;,&CY)eg{* ,;INɛ O1(x/"*|< @2ЌO =szA kp}Ļbm8I+Hc_8evXAstʉr6@S\w'ZS59d> xd}4x ݺ7rR"O*vL͞JF6y@|H4> =>jqA:K_!qkMQkHz>;Izו$AJtfwp5Cf;/t$IRrjQUW]]"K>gi$_h[ՏR7l.%+4iukw QUaӫ;;ۣ"s~y8%A ?"2/ͭMU,/܈a6a0vAQJ̟ٛ#plK:חS\09(9D-2Qk&Sc8u5cևcGf.}@Ra.#53?fe3,c5agSNS+1iy&xA}%??^_v85->CszG @P~.60x\rr4sx p-3ܺuIpzX}UFl4pym;x|l f=2ÄnH'ǡ7%xO֪7ګpC7l5FױijPTO ,mYuB$D?t}kѪ"KZ=ZHSSc$BR9Z _ڽE -3T2;3HyH}"9EDP޴)d%I"0I$'leq]DÍ/T1׼ض%elsWvUW.ir3֥i+ #ۻi㎈IDs@ H3 G&@G`{G!t}[ӆeSY&,ɮiK.!yaF"|ʚdRqWW׵;tt&H|NNQth(R[Dr>04m7ȻSb/:W!jCtJ~J1(ezyIPRJZ0Rmj=21W*tN(ޣ=3gCU߃cl9EzJDQLD=C1 Z!X;AThP:κc2^Jc4TIVu 7hӋE#gnKh󍕲za]8A- 察x˰ 9 'cxM:J輦vObx[88Z^ N[ȱ] 4s@Wsay/p |98<2RC~BOdhdFPI SԦ;iL`md@>}!>‘l%`RIDiMXtԋ'-Q}~,]܃](f@<(H) /dSAe셀'0 #s # ,va 0S *&#(IwE]Ŗɖ1FPYq cCCS|Rt'&CT /&}H-9Bpy/h|1)H5kYޒx";`/Q2X0y!-+uKGU:s:-}Gyk-]ϥʐ9Hp T#b<#ENfEcb-݄dȢм5_*F8.LHNϯoWV,ִC`&_y$^g>@~"L~^.8JZ~}B%3kB *L'S0"0#.茣/1y%J^* Ds[E?襄Tyv-("@}c܎ no/gK&"%d)*u yr.3}7n(Q~St :cvsV^HT-tzANCVv#5H,)Wʃ~o^U}.9Z< c+'=ΧỎye+~%Dw DNIq |HleTZD4 81¤'ţFj8z /n8 3ØL4cEB= I{"0a^#\k044m߂t`YlQĥfLʩCDaܢ+%~`ŧ#%SI<)*p hh@bDJm5|drjGhzPڜ+ >>HcE4:/_,x5NZp7u@N5OBY3n}Ϸ tCkJN v#*?^ ѭeDFѱ\plW9PqW¦/%KeZDOJLGQE4?zHG&w:4{M6Չm[GѪ~ې?U.b{?Q%6ES | e52[hhT3J6 'O*JB -l @,5TQR+"H5%0|3[@@s6vI"3^I/O7fȳFe Gp%:Xb"Jp¹HmeHIH!3܎o*.'@F~ \uW8VӺqhoPyCcY;>x홟ёd/*<= rz gg͗z&>Lu8#+Rؓ~0? ԲF` (8 Ane.Nu$ȔRڴBrIq^SDz, F@h5ocʣ i4:-H 7QL7&9cМL = `w!@ 0B4𼼼 ew4ppU̔3a֬5~~_ՎB )mJF5 wՎ#5R`rI$s/.bYw[o`KPؾ't|C_E[Žף)Z(dlxH(d|lN'5.p S|3Lh4jLU9I*Q1Y'RT$(P#1@V̉,HcVɤNB BNK RIHDZ >D"`W$'ʗq`r:%#AUB |`z$V$M"5RLM&sk9V0n2u=!,GDQF92ۦIܛD[̝R8/,Nv '> pUfJz]3fw3L4C7j%LYzJ^g oWv^ CdBJ֭j_)~E)HymϞqs3ߎ.7vwWeŜ`'2[+:a-]JBg2σyۭ*!:8vw Ac<[fk97^9Hݝ;n1s~n̝_(eo@/htZ 2x뻗__#!yO d#IR4H`0 qX08D G0b(B bAab* )ຠ!i[.HIVfrTޘ> ̂uBhaM3MG.tkzFkcq<6rH&L eyGbbcV$P]vjDZ\F+ $ӏ8zat,Ke_6JloA>xQvGP<^lq0V&q` e jf f>ЄG gO{[Rnwywա$ =φ rm0/`ny7鳂w0aC{~T<,R"284 ~cKS(+&-՛OMǯ-5\2n7d `Xi58v4MbKĶ1t$ِo =y@O5U !w]îW4wuH^:VjW~^\N<ڏdoז{_|+56{jXzT1˜=cu 7틠R5ŷ*n`V47RJC pD RؚfrHh2\ʖP9d~dj}еC(qa>M1%0MBx|6)p{zhlGβL৔3з?'mQܟ6gԤRݲ ,ő/@M(dO][s]( ֠4 !![er=wk:lm ufCp<)l:XXʠEs_9(.ʕH_zKvkbeaϪue/{*^*^P{;ybxN-¹IvdB]KDYC.OJx Va+LZ^@ݫ4푋1@ .[Z= .%86#݈cz"yۼq)5ui#@߁2,1аb{ZlۆT!ȷB۲ onmkhq nfk!x9,/=4 ~M3 CGa ܪüЈe`V'.>:.0#!L(CNR緹2aG `G~h`)zH3ř֙mb V)=%G$Œi@*& í%4ISmƀ$\1#lM(mvԝt;MvwBHSQL^ͩU0w6ʒ:Q|(J!.uN޿Is/+d݀ugePפrf\zFq.#V/N=*BqA[-fFVx^Wݜ&%ζ{&:D^qe_Ge4W'24ܐB+x4Cw"}Sud{S\Qf74(׏2-:`vbgMD EӡF̘dlO% Hq7M5>oĆ|g6ǜEç((uh8J eIjKAO<B#fEE$7fKl}2BuGDA<_ww+*T慐B< WW GHv Ǭyߟ(eS\$+G*iH렏3+d2Trni}KnmN 72%['E=!ZfǵZTѹy&BYgPFbBN7^ܺTZAT!!o.fYָB"|megS"SMltdqsh q6@Dqo.%Mh.-!q{CU)/`꿖JO9glbL,=hhO1j Y!{ڼI2X .hΧ[0NZqA9]ӳWΣb)E z^J=#4}H"vi*Z%(G "do9_Cv'& \8haJ'113]DiB-2_% %m|*q#X#-P߉XDǚմ_:$o.MUiݍЖ$< )+yDR^Opp[&C'-=~ɫ؋QSPbWPOCPwC.Â4u% V^1(:O˯|#$*<0Ԗ  .ࠌ >/L~B\2 ƠϽ)pPpcۊG*Z>A ekè1v=┫0uJ'5zV ]Nƫڟ B\ Tp!aJKb:Zufo!Py6ұmW0_}q2@㎌t "D:顨I4@!h]bJgL::8F@1͔Xb9|0?xfXRYP&P4X7@j /\SMsH*(A09YǑz)hó4h("wΣg" {"s(nգ"BD\lHW/ȊvỶ T]E8k[D \>J4 |E2!" QܛҏsD,Oʞ@ h3AoPBl"¥f. bne7y>5s*րLD~6u 8*C"&f$Gy߆0`>V97vh%OHr40Z4Ql& ]Z][a|^({Uw7KxW:>^öl =1m(ͳPMu*f~R!~4@xgxajS ~d A=bd&*Bk!U!AhB܎ԣ5^&BJ@ ©n.J1[8HkKɣT\>X*uxEAˤSe$GLdT]P3-uAۣ EMYh +r ī |&(PEsd䭮qZpS"(57 M@ i4bi*/mD`tT[ig 159e7V~C/@J;.²C]&ϙgB@m >x"wΪ'~?wS1LReΐ0r!~K"  w}ZRfyf`8r w:@=Ee[E#)Ma3h=BGqs?Gl:ac&XI:I-V=7Y X3TIM?:K p=w9g1@V DObq( 冕H,>b?q!wƚ/QXz;(P0X:Bz-_ ೻oe xCKH"0k̀\5?DɍR[djC A=>Ai3ISm*(ڢ8 cDI%''+G>i<6Q'NzM):C^p̊D:ws2 /f-nc))_~˫xV,x8ibg!ӟ[*VnP_#HkY@)OcXҥ4ZN*=3TԦTwE/ %ǔ%֞:SsqE,?aOܨXr a XfqL@(I 1CQb!D@!BAdXzUjVت4"ʮ|5F9tH@pX=m,=3smac+!ێH,SKP#8@ xreAB sn WwPB %OPQU9OG#~NT#6JP qB.}.94A S,L@E ײ7;g)YYW7cT`ThU9G<=S2ﱷfaB猩Dk fzqDRV vg{v B`eu\/^hc8C+2KQG\(Z|&TƍAhVzݗ#}w&a_zaWW6bVi F~̗.#*$!Tc8hqHtC!n@P7Ns2rc‹4]];g]#Vc_x,LU:Eg帑 j&y)gv wQx,owکs!3ZJI{撉fV޳ 'Ly~=,I1_zJۆv&@fq]cOQKyYv[z *=*Fh,sp]ATfTU?+0Zwsmݺ9$.a|fq&I =@\7 YW@D0. |]*^D9.T]*15)Y8А wE_o4c?L%=yAݯEE['ViceOyDtw}kͷ@iS:Œ?2bcS\U*=UΗ6J!οb 8\,UntuZ&+Mɝ ү ԛ_Wo/6jhN"pȍ,RP3Z*vIZQlo  !uBnAl6h_ &T"D~r9!A9#](($/$2+yeF_u#f h$kz&9ptP*NW@O!PIN_5=hq9u353hCw+\ncxTm48ڗac#ؿi^kJ +'1Yݱo}N9#K \wTG<$hQ܋*X:D?[r{* I7GJxQB i _aod:ZF79׾n1 (]^Rc'Dc 4 PZT0q#R#iQu '}Ł# W~ȽZ7usM8:qAlsKxZn*NQcgq+jԶav!À4 r="Q}Zt]w[l׭RZ $ȾؾSSU""*ʱ[,&Fɖ~07=ABVWn͒+MEvԣtv6y٤hT/6BPO4. 3nD?mύ\BQgщA6'>+ U(ʒby҆IP%cY kY #.澽G#KO eFG#^ƚ/F '7>MB'/EY{'QI D|q=eb K-V煉%~!~bw,Gs]Qy&c|EdW' _9MFl:E$-+EO~# :zPr*8x?XK/͠oeRG:WGlқ)H,How_GzX^8ʡ,MF@'jR/Q}o£%uw\F缠o9 6o(F o"޾i! 2jE CsΑdaX 4d_~0V+'Xwu@0\UI!8s|#LmB58 d