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 -OpZT 7 UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.719cpu=4.092gc=0.000(/`҈`$=宩*R۶ Db<؊fv 1\Ic E z%:kعyB"Ja_Mt0 &?@-Yț+fN AcJ8:6"!*(/ _pkszMW,\ؒ}E oy %jd4Vke 咱n{r;(/` YJ @Kf!IXlXYVe91  GD@͡M"ܲ<>L^pc3(71>*5 P ֗0  o> %2[;@"tR1oŚ\$?S(ݞ${Mڽv[dYwWȫ7VuWRW wbUu/YUYb֊/|B!3u`ōѦ e512a13d839ea34e1dc95b4853b580c309500b04 ~~/src/HOL/ATP.thy 6a2efd24ce6eeceb376b81d00bb4f2fb479edc0b ~~/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 32f8103f0ed3619c927b8d5f39be3539d2e75b38 ~~/src/HOL/BNF_Least_Fixpoint.thy a26b2ad5c75d1675f8146ddc7506e568969def92 ~~/src/HOL/BNF_Wellorder_Constructions.thy 24691da5b2f027b91cf7d9a29fd97b2055526eb6 ~~/src/HOL/BNF_Wellorder_Embedding.thy cab5b21b8 $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 methodpOa# 0HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bE Vk"0mRr۟0# liC{O5)Ha`yn`aY sیsX9 EPhZfV`{L$1E,{xld=MyUH}_*73A82m\MkjoU(HXE-S!91 ss5MckDpTTSm6Fs_ooղvNY{=g) Cڭ)NJmR=XUx_s"F1d I{L$I XQ)  a81" BS2H ϦiGJ_+j5Οf!I9O̩F]UyCpB[OJV~𨐭b 2nzD2Kx\Fk/L߁H16Y/\OujefSagp!ќq.e$CR9ïq]`],\V ]nԈq,m5x"E[;\I| KzQAs"FQ >+ m+L1+aƐ+TAG8e$l, )ԕ5uYLD1'i% $ -.(E3șt;MhA R#Yy E%&v>1IWʥ0%#(ou~i&B\Ëd!͚*KmZ eki;&/ea| x~1Cˊh05xvJZrK?mV T-7_b' P 7 }(|2n &`>X2v*ɱTE_9W6u*XΩm 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(, X4 Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodpOa# 0HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bE Vk"0mRr۟0# liC{O5)Ha`yn`aY sیsX9 EPhZfV`{L$1E,{xld=MyUH}_*73A82m\MkjoU(HXE-S!91 ss5MckDpTTSm6Fs_ooղvNY{=g) Cڭ)NJmR=XUx_s"F1d I{L$I XQ)  a81" BS2H ϦiGJ_+j5Οf!I9O̩F]UyCpB[OJV~𨐭b 2nzD2Kx\Fk/L߁H16Y/\OujefSagp!ќq.e$CR9ïq]`],\V ]nԈq,m5x"E[;\I| KzQAs"FQ >+ m+L1+aƐ+TAG8e$l, )ԕ5uYLD1'i% $ -.(E3șt;MhA R#Yy E%&v>1IWʥ0%#(ou~i&B\Ëd!͚*KmZ eki;&/ea| x~1Cˊh05xvJZrK?mV T-7_b' P 7 }(|2n &`>X2v*ɱTE_9W6u*XΩm 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}&NG0`D h .3o?0?Bp[˂ a.;z5:h ;7 8d6E|Q0 1RϩĴDM2-LJ=A5P Oa# nHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=8#/h 7KdS?nM%-%-x()'=-=d7F!ܷo''c8"7N(yh׽rx(r! ށ(t2&1xr5Жcǖcza4CB)&)3N#A +䍳ub1}$z6JH3.{1MI>sf4F>x I7 j2@=/f([)ȤSj0}z' *Hh،_ ׃JrRgqp<#=䦆I/ )1523^;#=2Z0.\UH| z#_ewF['6֡'bw-yQ0!KDo #I$3blmPQgWF;$̔Tjy $Tm?q2fؠA`)iIE j)#ن %1h'$zӤBQǔ ֯ӁJP(!5H K\ AJ!7zRJ "۰ja‘ ;W6RH`$ wa$ɝBګxi^c  ,\yvgwhʇ-ѪZbTkj]- 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_id594dOa/ HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`%j#0a{sbI&:؊$CAA6?k^_ se#称|9"A v)枇:+D14A 00ik>g (H4xxP<㖄>a_E|,NC O~BM{I$>A<{h/3U NٌaZN &iq8,eƢו =,܍ɋ ZK5w2;-Q s!w=b_v@|7M-lHo& ~J(VU]=WlRM"WR{ nJz@4͕>lڱ.Q"6 3 AkrbmR(Ռ{*K Gq~c`ˊ<,zm]~[< a)*U.gaYCs膲T)v/hX&Ee_$#ςBr >1Ik/Jɖk O4zUz>,:6\ÈתiRƹ?rYSYK5~R&- ~<8h^%itv>*a~D~+E!ٲ!&3/=[ u6TJ :DWb}$eilZRefS28QVzbTsb$ 3# @f쾞7;NDo(PA]x[o[sgFZݸ[raX08;8#IkH/d3D+!ATzc}2qh3F x' x˔R7vzZ jE[p\q0CrNTHo|5HHzq[|!NTjZjmc%H`\_@HF8T $09;\ymf͘17Z !#/3_EyGq* UFcǞbWB䪥\\}B \A|)w蘿]"f\`C!jO͔d1WKHJS0Lc9:ҁ%$vCgot[ {1k c;Q&U+Q(|E,mAI:yhm+g`b*1sN[PzlA!a͎f lH8gdƌ"(;wD剬_HeB6 !aBҩ̨Q(.8g1lr֖jmqcvKB'}F8`4*k GF5cN/.D^tBx1֬5NoW%ϧKKQ<S ׏*mkY ] (#=寜2[ ^wFzAqV˹ƀrc愎dp՚jfI6FIGa ZɴsftŪYNVk8Yb,zwMrN:+"$Ŕr:FPRM)⼕W(54kgJ?*5^{1ϛ'PLij֔s'ByG5Tk- RLP)c;z(ac&s^Ј s00Gect]}489 `< @ba !~#,ofC4DG;F7mk|TLRRS# ./Y}8'CޠѦԹ!3a)a1Ÿک;3X/?"$cJwr'Ƭ٧J6? %%QKn!l[Io:@]_/.P e@-YY(3(OC̟:B=Isn}E0F@hs YX-AL5R_{X7?Fm[tgU)Pxlm>D MKIf2n>X;4Ƌ"O{y5 3X CfO@jcL(")r"(R:0l m&}yE%O2FńdO=h}U*/UMvi'N?)נM3b<4Z*Y]!f4%%֎ mS2E)F0~’rQ̽SԺ+Xq>7Nj)%=:8\3OӢ׫_0|׮2۳:<}:yLֲpXQw;aC>0f,w@=-}Arx/"F.AqY f/eO!3|;81Jj <ʩRYUT<vpll P;t/me=zي~! of, '> % 0H*\|N>ISM@$dX$֘17 XPށSO!sxY.lyn]TYS=ΣQ 悰=~D`#6 ^y@aX9CI*˜ QQټ:#GZ XRQnb&N.q Vֳ[ZdW*]BDWa c:A Pﲒt0ر?v\0:C`YsS!6^Kj [B̶3Q4DŽ|L`F,/KE9үuQ؈%{~kD̽͟h9g>W]tb0$CXhM֬}K{bDh{m[Zzb73؃KwI#yi /8.{[BVAC4#ۮn'̤MP|VH *Eb"$?7BWe! @2<;:/Cq+&J@ :EWR,hz¥ :\e.6m7F1VfGh"=5E'@j, { ܟ7( ؍6KrG*`l)|n,{cQ*Lq&\$brG3H6Q0aaӰ{9}MWR.e & 7B&Lj۬."6U{l䊿"_1cν a sgp҃4/IǻYAAaVe2ޭ_QոShF/]*lS-Dx@ldnO"AǁhװBpM$bv ư̼)C 4z=3{|)\h OjQVw{ S}m.< #+A& c}>| @|7T=п (by a%=ۤqذQ q38X=&y+4 3z<O_NΏ T0^XEH?ͫxM+m>>dl$ 2D7+!(\gl44~G<gtw{&he>rXwtm/]P%h3,Wk`+=\G@-NoBba je6e'':yp摯œh#.]d]1 5s5a)<>\ p&|Y4V;9O/^(9MKt\{.wxJ 5WfR1Ph!dh:DR0RJb8o'Ry4=K.O\ Ax # <Ō8w 8QBeSj, cN($?iCOJ;Iy N~Ȗ>TXa?b 0Dsf|ixլ/spl#Mʊy ]A|_AD4\r".g$uTT|OG|*8128"b0b~.y3s'Gy.2MIYV]]Yo@s!'5ZJJFu~讼4>^0@ 0xiBXcGഥ`ъfX05Q08bJG+%UZzeծ,-jTQZH;T~|nΖ"l㈔ }z ֚p_N/"^)"!#S:Kg%~{c,G${IDJ*e>pJ F_;uLZ$Z ֿeq FLQ#&ьaYʘ `0f*%<wU*CX7n)bdH8u4J%71t~+ ck(M\:-:̧!H.Y~Z r_G(l A]TDcYdG}_\A[ػb㽃sCoxqႣ~J U j?B6̗i܏&btQFÏZ2RyFxx!nOn( .i#r\qƜ> ]W]m8B^ ` Nb ރ"郴\Q1s܍n΂%~;CDSUov23* BIOCXX,8 [|@?2׻Dayw-ԃKex `YUI,!ಂSЃp/+z%IܲaW\ ..F_M5,gA`~YiD$ǕBp9L1;BQ%AsseBCětD5#}!%YL3$k﯊(2xZgh|].FֿcyokKJ9  wiȷ,*VM1t@hYm6|Lل{YRlINUnscQuj{?qVKF60 V .|mizM)4F0 U:oˑFGd yHa>MKCD) z|HZ J TSjqSv!;ΧFXҪ[>r X*m ՉLZnb6Fh#j!^FVK8fqJ.eonKO4`zOQKsV] TМ!"PVq {J.^Qui@!"@( q"  hN2- iJ}|jN!w4Yf}A㋢^{WNjsF`΃~*Dm-F3 (WuE D-:Xg6Q{Fi"BЃ8Uc$>B{&uewoLX`g/]w6&xtʹR}ٍ\ ]zea=hk2OM?J_܃uiFR!aS?g'ny>_c-(j!OG2~ LI]edCZG1iJ-3GS '$to|;Lh lCK=pP>L}X 1cx1ؙѿvc{1!> MAO>^%ˤ Ia |;@KQSU P`\C{nkū GüB4*뢯p{WH@aZE;0SU' {zat0U%fߟ=I|J/CɖRFy(arYaF3Iý8vя12cP} y#Nݴ.@inXi,12^8y .&}o;x-f# ,ϿJ@9ɥHHM'kp#` Z1gNU| s&ck/U g,$,Wk*24$iDN]NT'};!x4a^ODD#!; 0N ܗ:0پJ?)xH^BMũɬ&Wx̝MY\'zS#Qt+85 [1@ϓm!6 \O910tŎJx VC@ FJ3ѝJIq`8PIT5Lm(ݰwNPbWIHʱ ʽG\*+A)"y]eɥil3Cu{&2Q];EӍ VPOzʶ]IDZ / `"3XYD2퐲:VþM\ [*uR c09R=ʖ@s^q:Wq3jӕʣv[KCI{6JzoB6*!H[tH}U**++IIq?Oxl.Y;!mij9տDL¤Ufqzђʙ.S@b8vK0A4Re9 YIِ!9:kmK\Fs#?$k҇n$EOB|CV*6AxKwbIq:U1@zu wr7Ǭ|i2XӜu2>TFNdxlyA0Ձ%0=O  ?5ʸG= vU~#WC( 7@:ӆ4ߚBN"AV PcR%RrW$kn .0a%Z\&gus%1.FF ;jx'b.tfj ]h{lؼFZ,G Zs`Җ֚yXfȀ߶f@"_-Z[ϡ?LojWZz37 !Z`Ɇ%r#>G;fc8aOmSh\xe`a@(KOfI!/?~)9,,NJ7 c%ODxilO\Ԥh5Lw\A!w\2#r]GR(lY3[9ؾo Q4H' m{K1aSئy5v; 8>v6C `0.SF|}rokKDtkw+=;{4B>D6}׆ǺTPnL+DeXU>VIu8ڛCS0{ꝀM2D5>`]E;p1%^EWjm7f/R4SA!9?稇2VK|]A$!dkjwK` '55J$&/X7Zc+|A|\~:c=p/G\<;P4B+E#a5>8Ђ}7F%A* k nX)Z9hyg[h"5┮C&n%V`b -]f95)<؋NMQ3YՑ3e$GY927)FTA?8SHDnB`? R zjnGٕqނn-Đ+1"q2De&_0="Ak%m3h`hMssۉCr@u)fQجu]hj]f0f)W*HFIbzl!*-!m%EEX⡙bΑJ HY7u0q jeG5e/V[Fb&𪪉Sζ;ۖt8we>Hxi%-!јrR՞֮;R`? 5l9h%# Sejy05uzCN4~"fKdo`(EDEُD=1<̈ʟw(sBf E({;4|x(7 D&# FȒnj$(D + #.`3 `0*GYAdu^AIU,ChCZ[]̓-=)ښB*O\aټ9~͗HtpwCLkb@d+qI-[t(?A_tjOΆU3/"佡!+"MdЦ1%dfMr^Քcl= [~ $RĊ۞9έE}z*>q)<4u/{2g6'H2txHKy> _L㿴2 l3AIHZ\:sG+sI [Pp0[$ ):dHJS0(@d#ue4VPfT)'d΁I9AIZТh7iȘVz:+wj 6Ɠ"T'˰ٳ6Q;rVu> I8s##=#oח ~~Hh(Z&o-mVBEVxpE)(DN ?ԍ"EU1GT L}Jܐ<%LݽY kՍyr=vq>GSHL&,$Ss\1/nD~Iȟ36 n%0`YbHӽ+㨗L2A_RXuA'&s W`WVNm r]'v,"ps1?PV('!8UΏt^O%8ڵ+Ā j3#62:U8*銗:iP,s79ƿ~[UƑ:#8MHO8t5'YQ*˂  t,S <̀*[=PyD ;#K3>:\GeJ3%CL<*Q}݂\=~ D9ెs5 PApfK{. T,%n#(s=Z0 v\* yQJOS`۳i$6 p"$d3@ i;.5(PQW-nj>'͉QV-EŨ\;\ M\eMT{O~)˘(DFo9q>h 9vb.ҕb[@$൥mn(.7S'Hem+i "1 Ԑ-G2΄#-M[* ?E#4QNP_Qx'PzhRՕzV NVZs/&昘:S<9-D*jVLG/'\ Q879Rد}sKG ālqwk,t橭x7 Vѭ!X0x.\q><t1b\f Q.*V )r #^n-K/R tW-9'1-H**#yMG7t$eN;ȥ\: -Al6k7QnA+)4[Ϳz~?qۧ˧`F>B9$eRÊw%]_ Y3@}2̜,^r)  ۆ=b/7C0#XlG%-6trQNo  ?8ݨ[ULfH `sYVm"= LiWDhB1??Bʶ/:mYI-p Dad^/=5 a:O$TSY?F훢I"(ay ,z7onYm}{=몫i6Zˊ,fW웮*eD8GҤəMNEٴ/KMI> 1b<ŰAP0g! `4V*W;ֳL*tRT0KRy;7w]UAQ|XA1&稢Y͢ A QFim@`( R$q `1b!B!B1dyUjҳP cq:;dW0DRk Ĺ➖up?StVc+l'XSV™೰hNsJ ̲Zp{ Ю]R<,Dåkݮ(69׫T%!|z* ?,森'Yl+ ls G }rAQDwX:z&2A]a\VL:GS2E1^t\X_+F?٪4gv0j&!Qo*Cp3! X+ҥ"K5廷< ֣U m)0y[D㰂a/Yu\w➶\/s؄ #4|KQʧJ@U+=ekM. ,Zѭ"`n6^[J6:۶Dި)> {?OZdS aCl~vIˬyӈh}#m$G5ODj+P_nౠVXHz:lHY%thz_#5adW!R9!o V"hL(Roj$g2ͶKrdu)gI4 JK^)9^1؈ܿv;4&w2PTkUѺDfRvNj_Pkӯ] dhZ>*ma~D8X.K@R,K,4ky&l8FhGT ܢ7EqL zrrfӂ41 ӖIoo^0X#%#y7h*L f-k&sJ>-! yXRƸOntXLB+u߳)xy9;?H2:cK"_GC LP4 |!DIEf1x>|7ЀHF+R 7=F C6s|JAUMU?eT1p*J5E!]qs_pŭjԖ?,{(vBlOF%STNˉ뎺DG֯A2BVt{? `ԁq)ؑ,狔0m5-%sߤpj}-JRE@VJ꾛SS\ZkەvlX6RO^ObLh/Cq6n_^c<~Kz+i ɊUo(bD @j qI u/ΊG}]!6%^>ژ.w % %ݸUb "P30\l} "ᣥ ebǝ4-VWv![ŞXNgMLS2MEd9 @ˆfQX)35&rt |y?HK9͠\O1wdwhA`]EPNDXecuDZeH G[ 0ƶdҭ` mU4j}CfjDuPf0`R )F3/oQXStfP V+.&n[t`A\/e"(RRqνV /pC