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  % %XOpDTD ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.659cpu=3.993gc=0.000(/`G`$=uB5[VP=Es 9_kL&X)"Yj8pP;^;/Ѯb{}B"KaMt01?@,Yț; + @z]cJ6"!*(/ _pkszMW,\Xu_|}qD=^s@`P-ݗLڜ'`*{-!FX:b=\:5t@t_n/w(/` vZM @k OO[Kٙ9a`@LGBi ؖ4aqi Qic< i9p y(ޒxha[DJyru14@96PU кx’0jd(-BacⳗK4+M{37#%6a]ʋҫ]0O*;R޿4r*U}IU/'9   q&:q),L{ʬ)SNLIj*_J'O]EϜ(ӫ*A铓^eWUhnv2Bra5BhhR1 LѬh0&2"H$J0 1=*9O_XɃC3H$ʉhT sXxm! nfؼd3pn ' KH9t˟xb/ǵpqq]`TӰrU1²2sߙmO1j3 ܣDi .7$6? $a?}XXq ҄H?g4zx293543996881462bab2a77c27299143609860d6c8477299dddcb29b78175e82c70524d32bf9d698d4a bd3bb075592b20659918170e65cd26a662a77f21 f73af0d5d0c2570b2a3edee067d504b616e059ee 239bd0d538a9cf9b1f92607249a02049d4e6b443 763df922684c81cb396c205f5748233b9aea8d8b16d695c4-8b1f-43fd-9b04-7107ba77b796 $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 methodmOa# *HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b- v&l"0mRr۟0# ZBq *BiICA na`a sKf簼9 EPBi4d7 gn$s+UZ9C=zAo"(GF|]RYab X!djx,0uPeI2F3u'8Y."chL̠[%>|N4|>\x˝*{%' 7W hI*@Hv$fmUUufFA BCBx<o )1'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(, X4 Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodmOa# *HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`b- v&l"0mRr۟0# ZBq *BiICA na`a sKf簼9 EPBi4d7 gn$s+UZ9C=zAo"(GF|]RYab X!djx,0uPeI2F3u'8Y."chL̠[%>|N4|>\x˝*{%' 7W hI*@Hv$fmUUufFA BCBx<o )1'÷긏^É|/8>h<[abS 4 {,Ҿ(!8ʬ޹Eù|]s".cJ&Dm]yrK{l:jN @! hPhFdd ps@QK1ǐ$`(7SZ4RvPp0Yk lb)|> V=:'8KW}Y~fEҤ)πFd9[$2 4N>4bG  9rV;mq6hG  *8U.<5JO0 *eԁ Oa# rHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=:̄#/h 7KdS?nM%-%-x()'C2j-}^oׇXp߾mܟ`]{P E hx)<@]:IRV_# m9vl9V{=Ӱm!ZŔi']R䑠 MDWNLY:1͘Bgy^bGzNZHxp,>y8qRy㍠"@ڇ 2P131^s ŔZ{+tJ FҰ@O@6@!B mu+JC%o5'7^[#Ed5 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_id594iOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`j#0a{sbI&: MIdl`_lAxMSXG *fR0=U(.iZ@:a `Ӕ"|"AP0h<0x-ɢed]8 <-B{  7%m+%ڔgmyH*)Vô\S%Ǟab{#NeRyu2Lc,(5CwR],uAH @+fr㹅?8&Jk="EH18*U!k9P=ʝsbcqJҪgA9֚MR=-2bЕP\RH]i^;VʵXw]V0Ei y2͈ZĎ}-U5.YkZ}VkڔmWuY7L$IRA) a09" BSH$#>LgU/=u!U,t}`l&,ɓ"Anun% )Y@eW)Y "dVD^"(§[bbRaͭ)zJ({ͼ(ON1i\HbgΠ&̅5s2&MՄ, AN(>~V?[]VwWd r<ƅMsEFݥn$np HA|)(=K/JԶa Z3eAT%wxh;nkeXgE]z/ y1Gݳs)PXնѣ/7iD0_A1Ow} 綤DfVmEOHzUL5UVpMljWpU w=s度 d-cg%Ʋ?EDwW0K ; Diʘ_['{ tQFl /+`eAuiAJך++Rƍ%To9Z*S%OxC֡Z5嚽bGV[X𽶀M"Zxj17TW j!j j bnA4SV^ Zf HTRHjWJ1"y[lͨER c҇Cu.YZPH\Q\jJ8ri>I,CU*N|*bJ'J#繀"y`$mIl {`Xh $HJoQF0mfh>Dc$@rBJXo vdQ5Nsp+qVD:qs5HH{ع-^ ]CHՇVҎ 9tsr!AP(T&g6t3nƌx) !#/3w-;ʍSibf1g{lh~on(!!Tr3$g ݹ7a&wb{k9W֋>ЅZ9gnfͮirQ}GQʍsr֮owW`} gܙv Ŭ؟rŚy_# j93_)z RP-ovȘAAQD;]K4D˻a&|1Q7#mt[V 0x@ݡrjHjH 5 [bS2rCRJ) 5ԃZB|)wm\S.3er z Si3%#y-J=x6 `* 3%C6faFC'62! 4Z ʔNeFB~w^{tkō= {RīI$Oc8Y0p foJƝ;gv=OjUxҟ-Z r1,zwMrN:+"$Ŕr:FPRM)⼕W(54kgJ?*5^{1n͓w(M5k9b@6͋}Tx9ة΁l [wZ 00 Esx\}:Yq[GtOt{0wTeFw *TzRQ=_s,N+kD 2T87Skԛ2 t: "Jw|&B0 Pf}ҋO:_稡+rnǴ@V)t~0,WYi&/uM]g.seO;EC>j3 c- S N'j=u 7wQ[E͕E[{\.P.]d!#T&( *R*( o8>T58%MvnNTyPԖo֝ )$MraҬ1:X:s>fuo06esش `$\ qj$S4 sZſ,N0 FίlU&m|^,32نT\宗,RVْeN03Gd$"Oƛ^_̨<9S<@/w2.dF^%tРqħ⵪}I3:7eO1Ԏgfh;0[1Ud8aiŁy%ʇUT2e222 > g#+$,Q6?͹(Oj394AN؋HL/ 4'bnc4.jؒw| )3!ɁHa) PGƙˊkVv&1PgpôiUdžxGY]cV6;ixV7h!؈3֊f(*XDPfYOh VϗƿQm",# i( __>ͮQ.,(w['<_~(z`"J?5^o]b`q5r+oW݁;=|>RGEwNxڎtEEP<'eiP$}(PSPZơb t;OwŹ^V d"}coYOpݒM@(7_4z@Wu:bY| C'{k*NM\u)z[AC޻{ r$c+ cE\ ]@Ϗ׽[%du_QN*;JS:x-al+Ĉ=.(aGgEBEVZR.&B7,6^bBE P0^ zL.P0Sz=nk̏/0IǪdz" DX&/9o:h y8)8M'04 :W 69 { ,7cj޼CZ~ARTFUx,d'YEɮ}t+bߖ2m){JquJP(iZS3^R .ag82ynsny :5!x/ 4+w|(0u?v'40o i>߲S:j1zMvu3l{/#ÿBJpyYäR(xQL+Ս&߸5?M؛ؐEl֞ƪ3p̽Bt\S! D/壐b7TnzQz.Ip8-(H(dA;B],Wـv70q}#ozI?Py&@]=,[aNG:()|uK'بY<I?9 L$zKN0i30xq}ס;FPiI~2 HU9e :? Vmm;"h0w:,B| ΊH0VA\C.ϊTwi{LXO|P ȶQN{K*4cϾZ-'=HBCb!(`I84z')[d"6B&K W+G(3*اnGL"׳.q.*Ǿ#u&k)8ovo.yb>sK#'5`otr,TJuyExHi/xݬ`r "Dt8Igޓa0᫤~d;oZ>GK3jC%.8}556E)K}c>~ a[cۉyxGDEHzTVܾQ38&)vn!px:Ji[bTtPM밖9 {Ș"[l`xm!#33PXcV:\UQm6x8 ?uxV^OZv9U! wFĭ @q]0n3e }N)3È[Vl#:dwG}zlI֊5嫢\patֱQU+aﰐ{r!)q'8bV3ŘUդ+@+T :KtFz%,-0n¦s'ضl9YRMV|Z4VvGAPԴk,m8$UKhR>jAI*К3p&h!3BػX_4d5֔R}&yL^vMRrFМ5Ȋr+_N98m{eX-` J 6ʔU60R,Z5EqzL30ëkSb, :F+řCB}ߌ}AodH 8U*&N @{N2S%Pp6fu \v^blf`9TRDڹ=R}D!8`G7')lqE %` qֹ\xg%ls?w\cώ"& \L{(az ޔX/I^&{Q{gǻcѻ@ =C /3p}7{'e;]d ]EbB)g 9&G:m&H&X>ئ W Mˆz{Q;{?kppREq66eEt0Y:#:_Q ړ͑.K6–cj!@\r !*?%C#[*KUInEoP_4d#Ma6UX)bgz`7!E(e D$E_RWbA/-)9 ,SUvt  4^-]I~DC^l^ tQͳS[7-m&$.HAGt!k6)F̳$ΕUDgJIL*i} JHB֗i@m?uę'\3o`t+| %_$$a>SߙyV$x3/\ sEmUNkEA~^KsKHSQ 3gpݠ,&;X&Q;g(v !76:P0(Yiy Y0Q*q ?MprhY"/*% @BdtVCyP& Z}}p{o;$U}Q; '$Wf "0GB/曉;8]]2%1 `'y7vMSE24n@KÕe^Nuho#K R*95\n#ϼD2Ưr1 =@h:`J;00 Fq!A!h4~4yM:Oom")_LIa?p_JpT4Z?;X&?t* <*]_sDB*6,GMpXroGN͵K,x\ڦ 3\~Z!&)/rx{p 33HHKbTϩ"ņ >Xi"") ui@TDRvL6(K&Gmu:WٰYA5DMAJO`Bj}؇WV*xr,Jj0fWpg$sFQo}mt}aFcYQuz(ytS#Lw)zn|M?uVW7_ĺcK/Hx h UdB0zn^}@_/T$SԐzܲjFh )8 A֖$f2n ]ΝH!)i_ < }' & rHED"xh)-juZ($N 2?M IXc4%2HrF>/]xTZ skwٯ;n8D8xVM93H`~5^yU;*@ h{%j8v0`vs{oǑ'KR#5N.]+˽,eYmCz[o;&2 t:V[G՜; k=k= B!c G!`RLDDF>əS&U4 b*㔤:Q1Y'NRT$(E`D+,HcVhR'I! #H% )$a$"-FT"H« NKq`r:%#EUB>0=)S3@8w4 Cavk/:S]˙dZ } lՒzor暹~ PR̔Je=Ee 0r6M{{; ~jP|$'eoߞzwz^o oߧ@!*T 'njWS2%GTOA4. }o]7EO,Z~VkktItZ+ tLa֓M/2+ۢ<0HjK 0ex$΃~ #U€D6/^2ц-,qnX %%֐ߤ%͟U]'rp]?n: H&7%B7_gbȭѐ IrrKؕjʌԧ1-Cn/0QgVlw鋩ϲx_6`ȹ7@3/0ijElでd_t9_QfRSS瑞|"m*UaҖÕHUW<8"ڕ۹- rSղcCa)Z qsVl|D.LZ'06FrÞ= qәWvG_8ln(׆]Ra)0ʻ!\ W2A|LIZt?. &q(%ex}8T9H{_)0WOqIK\${/"DPOA+- K'p9"?pDOz3r k^X2U@fz:*Q]-zT/Y8RXWYi/uj sΧg7[j ,+*^c?i)),UP1U: 7e="R3][9hcJhb".eJpddvvKz(x$ {I(fn,K9,ӌaașJhe6!g3S(ptd(oÕ!34XC![RޓJX2pr&ls_o3>^_Sd_%b5"ys̆ :o."^_yn$:r@?~,||i|1u _"XдYbԢN6{IhZ ,U~C%о34CpoG# RTwK+9s{Aoh"v ϱ/K21쿼uK+z\Q?=t}F$mѺ6Di <56/p> tx\u9׬U/I- ּPgA}#}4!IEJն@HkT'6# liGG-6i,/wAW@X6\&,2t#J$s>^_C]485fuKER* zefqcʻpVf Qq1gUIEn@3Wb4X*z80OD}VSbuErQ|]} u@;J.N;8 )-_Eq0 -`3 /N|4/| ~F hlS`LmE ;V AԆb0J ;JsYzᬏOW96'b[?#٥$MO@$e. & y](xENJ7DF(n0 T졫PhK,X0niM\egj<3 9euԶL%yD )rrg)OQX#"Eh("RGf@EEPFEw2}H!:X0]ОvGGyP.tjPS(Ba61ɋ6=+F IOrSpYh(wCo$0m/( T:(aJ~TI}IA51h8Od>oa!7s%kNU5AtsL% {vuC3o<޷}KFE!@k1{hȪV80 HBQUQc<;>$AZ`kMada<̓<)%Q_|.mcpy:Xn#F~" cPTRqU81̺ ëZaxk3jKή/&$fkh8EIV{b. .k1|Õ u%5M-r[2:̪\=LP[ 13_'W@ v@!1]UrQq2P~u1JBI(yruNE hޢPr@cv}aWkHU+ s,>] 1.XA(KC{bчXQqKs!v[E}LXD A3q*,5E