SQLite format 3@  .f  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 FOpPTJ 7 UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.598cpu=3.880gc=0.000(/`H` P;BS-"mˉaJ˻@D%1%G; 3T=w9E=v3E( r8XGbJQO^xw P 1%@P79T1w(/ _pkszMW,\H]k,}FD$D5^s$$TK%ӯ69 ^KNXO.u  -ݗ(/` M @k OO[RY!( 0 LHA=m "1L!.!*qa@r1-61>xna95[9= 2`zޕ+\C8#L{6PU кx’0wR 2!1in*{Dj/5KlJ0˩9aT "mmeiWU5q8>#MhVBKP0D@Lr%tSX))?qT'<;3NVEe Jj5eO*&g~UQUVt125SĠa  ьmhe!C" DD( %`:0}ausAgbV܋/أ;k*0tXz#0Z*b\:}>O5h-xaU8]υJ ]8H\q$ f+9+31wƳ3z v>uZ.Gᤙ>aE }G0mA\i86!}ҌT da39a3ee5e6b4b0d3255bfef95601890afd80709 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 cab5b21b81e38a60a3abb4bde415904311b895f0 ~~/src/HOL/BNF_Wellorder_Relation.th $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 methodqOa# 2HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bM fl"0mRr۟0# ZBq jr4ҥyoa`a s슒簼9 EP,"0YW %@AF4X,\LL0qKR1}|8 <-B{oK""5.]ijljVܮd0.eլ eZ{-A" NEx5Vi,%] K{xa+îZϺ LL6ŇF;FA{.:1<רR9sŇ{nyySkDTFsm6빮(ͽ^Xq#xte99JVڴ?Z&/^B F́L$I XQ) a89" BS2H g Q/3( I^ N${N=)Lc4v%j1 Mɮ%")ʓmo$#"Z!xoE S;BVa7 %u&4a 7a͝wHhBslip`h׵= CLB4   378 Ij.Zm 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(, X Oa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodqOa# 2HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/`bM fl"0mRr۟0# ZBq jr4ҥyoa`a s슒簼9 EP,"0YW %@AF4X,\LL0qKR1}|8 <-B{oK""5.]ijljVܮd0.eլ eZ{-A" NEx5Vi,%] K{xa+îZϺ LL6ŇF;FA{.:1<רR9sŇ{nyySkDTFsm6빮(ͽ^Xq#xte99JVڴ?Z&/^B F́L$I XQ) a89" BS2H g Q/3( I^ N${N=)Lc4v%j1 Mɮ%")ʓmo$#"Z!xoE S;BVa7 %u&4a 7a͝wHhBslip`h׵= CLB4   378 Ij.Zm 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}k赴45%ƉF'DK,:66dZƏ.%ڋv$-7'=1Syzma"ܯ*lQ YOL8|mKcD{Y"^D1ԥa ND7CxŐ8oQ~))Ѡև"V-f4F>x I7 j2@=|x-f([)ȤSj0}z' *HXc3#>侥x"GzM MJ;^@H3&SbjdfvRGzHe*(`>D\L$_HGFؿ4 Nl"CO2'Z(1a$CF(H4f*_#(@#ۦ?40Zc#ȕw>#I")10"I2ۈdYAġRZ'"RHG J?3cNHI'F))r_! 5Q.5z'Bj$G@HBn D a„#Awl HLRJ'_f(H+N Y 0 mƼ.K#>s*=G]%^A4Ξ6*$ZI1Yl3QD0C)$($‹p)yQs6Nz%y(l3L0H .ϱXb\gP^˝S~2ToՄ,k o9{P]ŹXcIZ+J6ҋLv\I=?R)HI#5'G;,]{Hl0PApp,V0'yT6IX#q_%DwGؘACiݹOCXhIDh6Y*s|4莆b{K/.KkKZz}b֦OeLBV}(NF1%ewZ-5HfF1`̐ٽ=ovb+ PLs=w5^[|=q6n\7aX08;8#IkH/d3D+!ATzc}2qh3F x' x˔R7vzZ*a3 U^x*5~A(ЬwEzsoޠ{5HHï=3@y'5 jaGzARJ[Կ ΃q*Hparvnkƍ؛<ٱk<Ʃ4Ty6:nsv^{]lh~sNBAC|ܝ{hByg)抱9Wzn>ЅZ9ovfƮ5T=(JYoyvE%^σ%rVtg #%bO?ƚy_# j93_)z *v(V_іCe%=P ME % ?7`F(BYl Z-^3<AwG2++e v܂BlJC|UKbO-W=gPC5Ǩlg”/qqhOD̔˙7B?rs\BU8\3 ST0cܭJ1#葽^~%$:B{T[ A%! 2k;<0@ctxbeRy@P0d"B`+"$NZ̔MtD+SV=]:KgkM[VbvLِpĝLɐEQwcwFYDF/[ٿMC,C„2SQP0%t;E@yYCR-{zW> #I0x*8׋V<-_:\2rp1̵ٞS[ ӥs%ͨY)|Gd5جp0E|dDsw{$_9eګNh`s;p3T\1`hÀqsKyp!&&Ee`$ CY7Tj%-rP4١Lzy5fXDIX@Xm#5D#fn/z{Aފv @>(m\Jc3P9XDZN֒*JSn(4}zũTj*l81!.qʪ'XϽZe#-Ƹ=jH__+a2ݜѕ&7Yc6eBݴ%A,@aV-8B4Dɓh_[=5hvO$Inz$ٍDλ7AOIsP#Vl#J)fj FJobXYG $%QO ;r<,*Ǣ8 a7 %:(uXYR+A&bC:bFx z ypvhND [R`jwn(|{*b° @9IgN, $܃ywsڝ&-4=|$4 knPf yvZۿÎ 8 89EYx)G"+F=iMW&ۣjcc)ǓqL4"L-j ~)YP_<םc ,0 b%vqM!=Th(9tw[[~$HA%DZHג Xq: 62j ں.pC0/H܊D &\Ē*i !Yεj0nMo2HNf0e*ezЕP>l!+bPpΡJpz7$vK.m sŽ|[$kDu d2J5O&xpbt{=|؍RɾB?Q+!:0ubPPC5TKzX0|tUNp*?q./Bq N%@N<9rBsM(딈i~6k >D?BÆPؿZ pv.<unV~Y84gkU@64GfC&{g쪻S \L$~_ TG)(g:S > CFzXctzGr%U&n 7j*_٦qZwEP'2 *-2ZNdMjO(|JCB/gCDFCNyKD_@8J1sDE~nw)mt7kpB2V[2B8R Y޳r?Q l$"wG ySSq.IAGq&6Kg}j;O.wQ_KIPbGxbHi_x#nTJ"dAWrwZJ V6`[^>>T :z"pv 0X&i҆ /pf}5ˠz$a܀fڌJ`(^))KWrY>E{'~̻iVu>^`q ĺta֍km<@Уb L22tY7ԷΒ"u%,i)A W, {szK O!ҎǽȌao X1U񽔡3f Hy<`PTZV, 7Tֱ@vS$gm9!"t+p&0{@T(GZ-Pncp*{:ۯ}^*PNDNL3I|ia*~pB(9B0~#=I/|G"WO7{(@omV:oY`.kѩ{?Z}䵚6c>3 m({ѥf{-c $Afn1)E0<rMa w!H^CR+q ?f h H{SJH~{PqF!\rumd\/;,0>sCzFIȹ 5b0$be"5+M~*<*MbnEO:^;ۤa86-Q46k"wY7I+ӋPbw-KEOUk~!Y29-{vpBs; 5TPV͋'\u9f@]y+aأ9a7Y8ZqXAQI|}-Qϝ+kVg|>c+(m;4(Rl03:m_'QPU(j:Ek BOM*t$o[yͫBm(CUpNl,3Ubq?%R 8c5ʥ R8,m-PUtO?$t*> WnP7!s5h1sH݇ cN/$:Z/)\s1Jc( xz}71?m ƭ㞥12bAuCăSHBX?w,Ó%H WIdfx!hYJ3G.t#gY%؎A"sq6vvL r5OSV4]o%S'^Hٽs@(%? 7Fd),ddpkh)3xL⣝!43L$$+sx7_S %+he>M5ض+`3"|G !;pxSyZ`]['^`Bmy6?psBAO:wGlUm% ED,Ш? 7/aB@}ih8H9%1GA& V [#҉s֏B#NmA-@&6UY;&/&KҒ \wQ SUr/'TzQukZ0ZAyz3"3җ0l v=CZ*Vii;!5Z)t4o0 Eb8<'&{(hRҙ2i۽.Q*F+I9.YĞ~*ΙQy*i]YZzHH &H0b!cv&`Xx@9nqjz!wlE99-~,y mB@8_*:|$`NNF`{H3ߠ𿍂+ q+rSNqI~y :[GVM}[5P#FJ`1$S02c%cMDʶ&nm'X{V9m Q9j+ɯy[4FY;1,:/:"xH*po jP/^NBg4Ɋ9J ͨ553\ C&L?B±K:tr¤a_JP@ D)iF>zR#܉\veyPꏉڠ3eYU+uJyQesѫjY1z&o?uveΞˁ"=өt%~EWSfWk-$bIPǬ 5+Mơv0FX}WbSt'%KTGi?OpCDl{A++*G׆r5$WT\dqJAI4i5.-KX >pJ]Ox?Q4LԑT^ Få\H x£QSlB6msI jZ1VaIj]#u6"(uz>t>4+?޸$,lUوJ{@ s{;гAhR,qBВp*"ɅidIL~WLT@XtuoQ4j-]#ӏwJe}[x'7L5p$ȸX0*EQoޥkQ(1 //ʦiT֠utY>L_K_7* ?[ӧbi.9Jt RyxlTU5kI|9n7V#f@ƷRdZƪԮG2{3RsZoEݷ-.~DZKpbnܬʮ;Ypg}&rVljr"iLR{d]Шc;u#IR4H`( T0@C#r@B@ 0 a0BAacQ6)ઠҡh HFo' L :S`BJȦzjY%~39lhC#a++7(96?"1aOD]UQNSv%".#_K;Bt? ,\>U_;UZY?WTƀZBP!4Åp**+-Ll 8VIw3q c~#"mꄨ?C8"`߃!W  [[0! O}4߼LR`Tud-zb2=@uUh;ktp;)tZYQ#Λ¤l A~sMR*ҡ.T䇮K[Ƃr^@!B+]'&$tb0R&4HqnϤ Z)czaxgS?!Eqb'.+2X:daG:) $=1 )Bgr˓ ޠݽd]q22A3)\C~Ino,+QQ"fɩC2~Sm\~:n f0/P3H1s xedcDf^&7ul ;r|$ĸ}'{&y{:pp4eO,+FfKc cy%Rz#wrLr?d؟^'pb*[If%P>=.a$nj#]2!GK P;TG&lAܜMp\|"KazY%7$ӡYX +,j<)mt}w Ei:TdweIq =Bpc\Il 4Jz K+lrF(D&oΉ# f>ƓYݖtCYC$fG?Agh:"pm0E.A^ #tt00_2%W'K9vSqHiwmӅ1Uo ytvM\Ft-ZE+=@Xxǎ5z.[0HNAͦpA"( Rr$dMaI DW~%wH4ȚPHjl3{qhI fk̽gC[a֟Z#WΧ_ +P신]ǖ-]/_B,|)g[:ZҳBHnWuП!p)bʰ!pJ&QZ' Z<01iBeI-r|(4qvȑ^;|)w̽7jskAS(rvF*.OIߠAs% D Y] C4+1>mT3B^t \h4$CxaX*Ip.SH F:5e$򤧍εyɘ9ߠ(jD .72iJ@Q?fߠ5-Xnۻ&0Oto]2hWIsꢞx9cNw4oT&LcPWI4{q,[hH`VQE֕lefcEu EOcժp7XkM?XB&4G@rw͜peI'1zmQ"|bOkS@|7;coBq?ت\jaْJ(/fd9Tv˶2H{~@,?xnfg ` gSZ!áCW$%BNpOp|sWZ~_RYW4:X_Osi`-~ ;X ej ڇS6S<Ug$چm j&a sešk 0#xxЩ6&Kײ0Ɲ$EYqُg/@:@Sw}j-_ 㕩#Q4 GO'|HH1k˖Yr5\JgY7`hgK{Z1Wj[ocvzQ+PvjFPC(0QّR XH;$rvTk. ju:VP鷈'dOMAIU@ [m8XiՂ$9+/<7&6UojBzV-jG@%">ӇCu$$ 08j0SGSG2NMJoK؟_sf8"Ӥ<\JadJ`k;Q`c48k "E(wp7-9l qb!Fةdu{JcMĩqeBS݃ X[F]yI~ VEH"a btAԕ*ŗ)}gX@;_\Nb|]/U)Җ#Wl^$f@XJrXS~C8~r ޾ѓc<=CC+8qOJxa_%wjVyyp#D7uf9.vVqy!OL_|_D&e\?,3{]_h^~`_tKo[HJ.W}b$WaiUCNYİ..>yaL;W }ᓌ>5|:N_]+= .&r:xz*!:0? S W~!8sJZdHw.wAAf,1lk׃t}X<݆UbKZǪfEڝ+lչROQ,-+T/E eqS]$4@`X.[7dYWAuxx DݚNXhh,nCmY_pD# Z?oam0t(~%pÕ!Oӌ&FO+-z>W!]q X-o=%Jdsߏ1` d/<C;KȍDSZ[I, &bMyb+wey<.l_,vs{3zLBl( kC+8sĝP{{k26 7fkJ[h`p3*IqԪe{UaQjv;r["n}E,Is /$mq{w"/HyDz]{+siK3rjsP=r\y/oqwƿdwgͲ a QE1@`(@ C!B!D@B!UsV,aPΕ+GY=UV$.x9憋l z]r*|iM{X>Ђm7pxlVw@ $留0 @|pǪ>6y$h{>\xtFRN(XAe`6[RRRCq0JItOdL-B?Ͽ Z#NPP {T÷͌-#R|~N$yY, !?2!g\f!B&s{I /`YkFO$V`L5X7 )Wօ <>6=i٨tX9ðDu=\lZ #3!IOIQt7R&~a~ʠ%Odכ]؅ F)QY \s˯uKT7CNP| WȼHz9o.!i__Buy<΄BL|ۨ%+*ҒIkXoT J҂YIb53D+jUBaÓݕ`UH5.:ޗDUڀ;VB ) o.mcOlq__v_ % BW1bHOS5z7v3ȋ;PI }<j=xAXmպ[+ŵqS5kp1U [nE>V CA2ElMcC҈ʝ[tمQ4 h&o!M aЩP^}:v݌8 E&)b kg}uKa(hͬU߷}X`: '}bF,>+e¿ٔȊ,Lv$ZhCn(nY' (ҿ(ɟbHK x8a0F't\{qw}EtYPha s֐WlJj B61RTZYLܕv6bBYS]5DŽRݟ"櫚OQ26)8j/4CIK'. R]919F^UZSpX)N,!8~ qjwyZMuݱ!H{hmC+~qvp"N=*f~S@m \܊rt"L)9nT:AڷtK`f6h Tf+FrR ԞJ 6Če19\Bkjd|Fe?y{oZ䆜PAEKŪ E?$deL,!c0Q!*<,UEF#8]~uK#^Џ]:4:8׶dS}a;v D ǔqv>B(!qCpV-KǵG-':sϫLY2cӻ;>҅SYEۛ3HcAC\RP\O** sC\T7N@ZɍGoW"v;TQ}N; $