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   `Op^T: ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.687cpu=4.003gc=0.000(/`` P;BSE;@ -]Ah˻ hݐv r8Fkט~`?EL=x j80]NQ\CO8fSb0X K~VǑ?z'/ AcJ8:@6"!*(/ _pkszMW,\X}Qx%њ+!J-~u9ܪj+d}dDz2d,[0H@@}(/` mN @k OO[RYA( 1.n0 Wm6+̇,|J2N,)>j>XWJ֧N_XUz^@!^ 6ys:RK@<:QWgfv?Ul2_l2WٲCyު{zwn+na2LդPƀ LѬ` a Bd 1"L0m E莬A*B5p-S}YAF A_]lxPE&6_0ÍaS5vcU/ev*]5GuqDZMsp@ Dr^x&)aF,]f@n~|O=Qn1HI;۳@񁾠i|Ln<-ƥ@DG!s& 98l⵨ /!YG s䡶wqSd5944ce8c4f1fa7881e7e1449e66b3bcde5df6c6a83808b3788421fa6650b3496db1ebdc1822b504 4443c0941841896475be8c25a7bae5d657ad435f d32428f0d0951a8172726af4fc09c4ef986a2b00 e717eb88d9201000411133c3ec3561a398651885 9b368658669257fe78f4f8747d48ad8a2baba15f28f15810-43f1-468b-a5f3-1aade6c17a04 $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 methodhOa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b &k"0mRr۟0# ZBq *BiICA m`` [[4[==Yp(*iy'B\g M X@#L{LyZi,  .&&ϸ%I>IΌpYdyA= 7%D+L0Bq-{yFٌarW̍Ehq8,,+W[VkS\L*)fDNLTs$>jHt}d$|-d#lAOd:^fb}aT~.PSmLgj[gq&&&.<י ^sIM>ެXcM|m:Q}%ެ ȒVl/2G%$`>gKHyh0G_cha~_mÜ!A%~r ǰlmIh`¦PA u#DGn.93hf3SmNs4 `]4[LKI:Dpv;IEe0PkJZzw)^kP'=& >-2 iƢWՠu`_ި CM_`JRj&9oQmA r?: RUoz k?aWu4Ne%mfh.a6zŸu6?arhm7S: aseQWbV! 5)Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`#`IE -aCG`-ܱj GQbY`-Gr@c2K%lm='eM\; @|H8N:*փκr?ƅф/2| Jce]YO P gR&^@Z:N@wYu j/8m 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}qWR|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(, X3Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodhOa# HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b &k"0mRr۟0# ZBq *BiICA m`` [[4[==Yp(*iy'B\g M X@#L{LyZi,  .&&ϸ%I>IΌpYdyA= 7%D+L0Bq-{yFٌarW̍Ehq8,,+W[VkS\L*)fDNLTs$>jHt}d$|-d#lAOd:^fb}aT~.PSmLgj[gq&&&.<י ^sIM>ެXcM|m:Q}%ެ ȒVl/2G%$`>gKHyh0G_cha~_mÜ!A%~r ǰlmIh`¦PA u#DGn.93hf3SmNs4 `]4[LKI:Dpv;IEe0PkJZzw)^kP'=& >-2 iƢWՠu`_ި CM_`JRj&9oQmA r?: RUoz k?aWu4Ne%mfh.a6zŸu6?arhm7S: aseQWbV! 5)Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms(/`#`IE -aCG`-ܱj GQbY`-Gr@c2K%lm='eM\; @|H8N:*փκr?ƅф/2| Jce]YO P gR&^@Z:N@wYu j/8m 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}~3U 0-~4Ɖ<-&ݸZENޚoh V.E'J`+k8FmXio&I9# yg (H4xxP<㖤>ŊpYdyA!=Ht}OI7[7Bqb-rTt0-71;bWH-= ǦRr3%I-49`ʂjSj(0S'<Bb_KyCkiT^Ξ+-fv<<žW=M]^+fnE1ÝdxDk&_ 0syL6R9C=)k˿£93)-M"K4}5 Z AVSnRG-א6)06.Okd-xx óL8a9`,Q>wKy6{)ْMXki?Xoԗj蟤U-iZ;(GCT*>N>>(E7u[]4>nC\V4D iI *I+[b*pW۝Jf=I!79Gs.YZPH\Q\jJ8ri>I,CU*N|*bJ'J#=xm׾zz5{skun r<" }(sE+sH0 @L AH$X$ą|5މ(H4ށ2eއ dE7Nkָ58NT X9Q}'N\7z m=p@UC wPЪU3;ժ!K (@@rKoRB7:ơ P 9;3L2ۼ͸3&CHHk:f[yGq* UΣ1Ɯ{)v޲yνvA| ;;,фRcojsNu-ozn 2N(Ckb~y7w3SF*׉w8[o-֮ȻīXyy򾄳rVΝ)@lP̊ykt̃YPƯkY)v(Vrw;d](QB=^D rwLݛ/7Fz`Wj5Zby< P9_d5V$5V$-w )!w)WJ=|1jAh”/{%bl^μAoOJ)[l1W깄īqT0LS,gcgV)&u=ҭj~%$k Js09F?h A%:tfw;<0@ctxb_?Lb ,F`6g"B`ۿ"BNZ̔DGtB1e[~{]:KgcX #I:d\cx^u<._: \:ZfiOoWuba|tθ5S0er߶57L@ٸ?ݬ=Ŕr/~;q wfZ-  w鼔p7l 01)(#I(̚R+w-<ݬU7'wҟ-;8VʣWz$' Y3љ"Bҍ8QL/kE -ܔ"[|RCvtCphRjyŔfM9{B,w_;|/^T*S;nưu⨤Ӊ] 00 Es|\}4<)ɰh8 @1 0D10 mKޞY:AIooʒrI^I2 ;rE`z`JdvzD!yZL{mh:ܼIl5DbEy^CRtdҝ!nbJ8w` v(` >W_㎌+t0u< U\[ȏÕ$&ZT9n3vG擡fB=Ys^Q;.Ϣ4P2B89- YxD@u3}h3w Ji8G<vTdҍRHP4زNvL3ӯ|)&e }\jGF[Ҋ|rHz{vt0Ƣ60,(]@>M^TAOiVȹq(w)}51T OIՋz2;*v0Fa/6t{zRעDNɤjEz7UU;@'iц/Lwʃ556)Ȇcm  ?\/G̉)5F{Y &lSh^܂8KwI399+#om2\9z!#%g:'R B(v^f,-׷ޒ WKN"3.7L8h_0Bn>{Pqy1sAVMYB5u>D G+&X )n!>!fAm/[f$gWAlL#w"zd87pO*Yq(?]umj=NCMp5܉,"TؖjE}K-IuS CìH(?_ 'IB#(Ozy Y5T ˳ż}Ոm;SɭG ;>9R{5itnwzzn2ޛ Nc OA J)lKIX*,JWEHTMQb)n;H' PXy@i 4>2zy[3*JXRCߘ%bl ZtAtYdycSig !)ʜ ޲UQѶTY2칞Ut{5pxLo/LԤ $ZӬثw+4"5J5Dpֹ% .@`WF?2.JC)B-ho[e嵀d!8m21ivܚcm ASF=r-X,Us 6+s ۣ#kLm2}ϕi-D16p?, v&W̦^>P[ie>HmpzTAs6tnG?wW.oߊD yH*'yqSY7f D ;"~v6*ELљc"$?7SXBE10 N2pNhVq6co!+x4_glI> Ctg_ ʇ>~M pF(e@/DJK[aɲEj'ؑ?5ѤIɺ ^@yla <9uܝ)9}/OTWR}q:'ԞSUet`@љZn?W8?iZ rr񑈜 cn*8PHН@ⱅ3mu8IWe+@w|qocCrJ -a7d 7E/B v3-1s@% b?>PC76W/;zX09t~Rv{(1*Q'9./8xo9|1 g : 9B j1#x7#w"A("!m, ESP QDW ~8D١ <g8h:>xKyė(w`=\%34OkeTڥtzD.)*T!s2MC :ǡN~Nd,p#y.3yhC. >6񷗬8F#U9 @"ScLNK`]Le%As4}.1M}X1[HOrws;uQqyoPJ y-'~C= e-гW:(ۓz-l,b,2MٳF,&aBCkfj|SNC~m^%ױI%[5m _EXkW7ۿ6E4s<7Xgy[x+qP,)8·/=NkjN?ףvVpM2x܍Db yssgy9H:m4 "UiH_$֭pSW, G<1-d"VT݃>-:=y*ƫkL4hf.&9Rs8H%I0<A\_>*q,u 0)(~<)mUe~NЅܳۗD;Jl %z$ n2$/(ՍY 6#xʃ!̕X4R +Z /19IMm~,p$eޅ?C3L;r|h: 0o= Y.FJҚſ>,l7xo>is~zarEsE`hAKry2Br.Rw˲ZITViĔ-bIV.\`sVR@ +a޵sV[gݨ,)$ I,sTpyՒ2[^P Isb,K+.>Ec`Ah*U&kqn"8aI8Z#JrscjIXhʛ. xcc`2™ʨ$xm~n&,fxn-ug^3N hzڣq4EgzlkP`*8w'%9c.xc~oH!>n HlRy7x#ΩFXMu}먏)- 'uEIl#0YEHa.̺'hTȕB(0M;l4t@MT^/E Y&sD$]YhRiO*8B|~v ]!  gpAkK/b 44(gɔG``ŀ2}eg9݆*iҭuxW(`7IoLz@E4Xy&m}p2-o{ &Xds>_@5/Cvo$MGS4Gh0ؒX8h)hټE>ؗ^\@ރ9I_c6Lhgpʭ)ɗNvM ]e6UD8"a -8X81FiMj]m08,đS8:auI&U۲GL0E0i +X .;4 tt =m7Zz-Z^Dr*%1)~xtPƁ Ӄ'4RBDvʷ' 7[ŁCߕj6M$+iP&VYj8X){.Nv!G #w/AlǴ7M]~Y 8Z|l `BO4 ?=Y!ဗ9GT8脈aR"4ҁ$r]I~OO Eޟ\MC?M!'@IuL頀a*b΃jÝ跩4oZhuׇe#G,ìR; >tCe mU Sh&qxv^Zz*)C0Hb$m􃼻NJxit%żfGѝ\`p魁t}t4L( W`S]JDV C6ہm{+pU\-<,+ Ԁ>(8~'" t4p C̆V+DP.:|?i6(+Lx`tiT9^yƏPΡiWنdFngZe/Ҁ*\irU:{ELU%u7 dR SKA=W9t>@=Z?:$cɷ4߂z( NViB?t*t!Դe WYMXQBY/&P4kb&oLm3Fj!z"¬M^A 8Ɨ\f` -ގ* '*?Ss'"/`~bͨ7˳I9w`Oծ Y>s ǷrGpTrf9QVcpos1E0R"s.{LScyfM _~[?Yy$#Smd4w׹na"N8oC+"Hy;;缓c=oOلu7kذ#BTQ 7 !M*P`voXf_,Fo41c XghG6޿^Q5n_OG1zu+ӱNkm?$oˍ-7gw o$pwꡏ:As{}=~gvf\?Ӵ?a0HڕH”SBwU\DԨsKBd"IR4H`( a\@@ G0b( B bAaaQ6)*!i;w {Hs9*-~PQV: DšRg9AԘv#LFcRr4FMmWF49ir nwK,0,\eBig%6W( Bҩj9'Uy>1* ې e+ ;T8V cJ~i?@o.' O{*@"1[.ۙ3wy`e9:z9kg%@l!Y+730ӃqnCG[o"Bׇ>T"8}:`F :IJ:M,2B5R׈v2?k4IH.-lR\|R7QD dL/X"'Sw*x#v,J` KSi[i[Ԕ6Yn 5P>$^E%'h"ΪȟeIp"B_*p@vl0"Ñ38i{*LI!p`Țl SeCCy>Fmn?m=r{6ѐQ:|6F_tlN å"wCs~o22,}%F<帼pᡤM>)؃GFr+Fr1%G)0yTo8cev<~1 j5+] .A,mv~2i&!$<]E:eӋ c"٪ڍŰ_d = 5b46XjzPM%tm{"I@wԕ: iri% emY1<i'- s9YC,҅rd'??BSwq)ksJC&%#V`UUk2c/9))J!N Yհ][r&hDN#$taBLu£QR?2LJ͙:in u #H?W)֪BӋKM b hH8Cx0+BXްcKkWwV2~}_t#w6vBA\ s59bNkM#j~!K-PPfJ<3Y.a2X3.!#ὑ y Z 0f.G-NeN7rzo AAW/pาzp54wEًr :MCgԉr3#7]aZ00Wf(T2{b&T>"%jz 7mL.颫xzDB[44Uu1DnB!srP.GS[ m E5GĀkP-PtvS=&I&)wg@?I]3֜poQtnH~aoRt42jJ<ꭻ3Aڧ?pETCr1n/ r7X#5Vu^qb엲 ;b^WuMkf]aζ\Q$:4 K}Prٗ@Oq Y$Q,nVER/P QT I򸩘ozCc~,дA"s_Brxd21c"<0q{Frݙ69AE\J A.'NϮoġƕf "w7#0c0rcRVH' ` kb$~;%Fu oieɕEyAg؍@t(UO3G"#E'"&isSwOj|,TmSBP8/8:ZZy}`҆- rcw@sks"gf^:Lq9`pJ\ >BSxMG&f _%BiӋ#2I9`rFGH501 2ɳþJ7@acgQ*5ƥhp[G73d4'qKџ_'gӎ{ĪT-AMYڄJaJ@r1"p ^9\"E ;#kwp@O o9Lb:q. ,@i\O j2A[+p7 @&"V JD]+pɿeNEPU ^,*; PHUR'_1!Abғw\G^^ A\¸;07f`ǻP[XYN{XD/8Oz_AG صK0,FqB8(r_h^~gNNI"墑{G ܍O[q 'PVat7 "ᝁr,qɹp əd̺ ,ٓ !٥4rAROrq '78ԓ"._nx|@YY !8;q%+UdfF)C>.dzq Y.a0hzhu1!D )mPVux6/ҁ0 ((I pKh^z(n%W6{n˕nI臷R"|*= E>OrAfiqTJ),&ـ3U6fE"x:cmP84oqF|C)X=ݤwCČ;/(sGoېYLT7+g 8 IM,W%X:k+ G ,!'Z"(XMx2 e˦*^Bh-zDHu v0sywv,44!"o2"(PJ tKBU4-%9paJq?ɘ~5b2AyzoLY/qf9eN-2"H#NӖ >Ayz9`f=ԉ2EO ;Xi`"J}ZR+3 H1q:>O#,!oY;-/9V{"=gΈ ZI1o!i!ؒ B7K.2%%d ]ϙB|h&YCX S@.d| +6V *edl4ErI9C.B ^qU˧Ԝ _LQ1ɒG-fh&Op$b/"T}^|nWE r "?'QQ 1J,]fW=Y z~9cTlqM-48y-.ĀtV,9(*(;XwIaS<%F M`5͙⌼FUAٚ4xWfX-_ls&/U\j{p+ ,l"sE˸vl7ӓД {2ԗ657h/fb!+B"J_?M yQWu, 7YPPMp iu Ē"&]z)T߽Oynk\ PmA]{8eG>4 {IQg$ڵvM 32: 2iiwҹWVzFrߊm51W}r>f u U}$G d[Bҧ:a*_dP0Dp \h7pٝ9c^uӜ"t\j.Дtjg*,>Ra_cWXVGZyF*篃Q=򽬰usQʟ}.+q6t$3hzQkd2C=]Y~vкFYzLᗶ%P,Hze wpd/u)Ѩ=Njd`5l'acBUc׎ ]ي#-B(!^@Ѻk|MiݺB9k[\€צbl!Dj3l=q$-Dq"LuN꒳AՒȽ#2Bj,Nz.lwB~.kD` hR:_K g Q"kު8;Ja}@`g#SXyPcq.La2gܗepDcH#_$WQ;9&",R7n_эAT6s|wrɃ)EH -)4Z#Q㶢d\] qH6;FfO qFmN`]εӲgk.<f^6NQѣ.๮;_[넾o%Ƞ>"N tؑؾp](ǎo9_Dв%l)N/i&͉ R*^ub48ݯ_Q5R+"(j)e|1ݵ$>2>+E]+_ᒜNHb12TT7ڰ> +fP=v9;H }羔G #)Ar{؋5 6jҍM?ӕq <$q](ސ. #'$21 !@v/ԵV${| ,)Ug+MK< ʚHș,hy^7%ġE`7}bL03t iZEDlGl[ 'jt䃃嬂U췻v~ImUDZr(ʢF@J03C ?+(jRJP)=$6 @\coa5oQO#7aMXH,U+vJ9r>ٜ9W;^Gj C({b |SGę#g.u! QCU*:`cͻcTAO