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  / /NOp^T ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.676cpu=3.985gc=0.000(/``zlgw^4x.5=oY'˻ۊ3 º=ǘ~Gch%%EҙzjAp`ֻ X=% OY`_U]Bv8STBw AcJ8[ qaMsg(/ _pkszMW,\X6R}Qx(@!J-~u9ܪj+d}dDz2d,[0H@@}(/` K @Kf!J,}-|%I91  HEA-3:P&a88ocf3'|EJ,OLEQ核\H7H~UjC0#o> ,6I&"qS)ji4.콈)_˻ 6tI0E"̫W7ba;ՉNH-"\Bͺ}`Q<8浧LXdC(yUy?i{kJkwWByQ]ԗr$-R4BvRT'JNma"eTAI0 =8 C9#X@N68w`-U oee^+_@+ G<m6yTn.# 3I` ΋vצY]bB%O~L`68+,^_ cSj>rοIĵBGZ&#`Seԣ>M̒%@Ev+΅M 3{[Q(VZq EpKmzH)١zzѣGb69af9d0f5db60082cccef54d61e34c9e0b46fb19b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390 5d260ccc8b85a4358fed6437849656cd81132922 be15db7cf5921b29cf780d4a08d94f2e26a813a2 16fb43e68e0af64cbb4f35478d28e31e1edb6d4b e9301b466107ff77fd814da2929531523ea21f5e6841a105-dff5-4101-afe0-f45a8299e237 $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- l"0mRr۟0# liC{O53Ha`yp`aY sˍѫ4sD04+B\@AF0X,\LL0DZkeʼnH,"qBBHtD5}i*0BD[Zvw(qJ^ öw9mjbM(Vc$Iۑ"OE۹]R|Cjջ{xld=MyD)f&A)ϴiSlp5Qp={2Q[ ϩ#sbc\-kxkDTTWgo6}y&nUy;bڊsD*_䜜R3է;/ԫ=XTԾv_B ~V_Y}L$I XQ) a 89" BDH$#cgGد2 _#' v@,K ?TTu*g]Y!=dވ36ɒ&/. 6[ Swr"nxP+1mz"f\SNYIxM7P 1>$iBqWR|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- l"0mRr۟0# liC{O53Ha`yp`aY sˍѫ4sD04+B\@AF0X,\LL0DZkeʼnH,"qBBHtD5}i*0BD[Zvw(qJ^ öw9mjbM(Vc$Iۑ"OE۹]R|Cjջ{xld=MyD)f&A)ϴiSlp5Qp={2Q[ ϩ#sbc\-kxkDTTWgo6}y&nUy;bڊsD*_䜜R3է;/ԫ=XTԾv_B ~V_Y}L$I XQ) a 89" BDH$#cgGد2 _#' v@,K ?TTu*g]Y!=dވ36ɒ&/. 6[ Swr"nxP+1mz"f\SNYIxM7P 1>$iBFsgVSUQUOPmM.(0Ş EOcQQ%m )z/4wEZ= Y,iڗ_:nWOB6F?ք\YݞdŎEmqn p _5rѶթ1NJ֒mͧ|Yd[{{G+ r k88)eR_EdmQ YRSl8a/v)CE  $'nc 8 ieY)܄=_i_deVyWbq.:_לy!ѻn[8jW\B4 @zEP%fFdd ps@QK1ǐ$`(NSZQ' -:% "S2>"%?OJÒ0n<'ViX5)JN: $¼UzZ%.  H g{{1(~$𯋛y¬lҤc6Ga(.4b/Ĵ@-P[z2j Oa# rHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup(/=DJD#/h 7KdS?nM%-%-x()'>-z>mD`ݵ?q*EnPѮ{qkk9E.;CNF6kp15^Yh˱c˱r뙆oӬ (H;"5hhz&rfʯ7׉i>M(#͸7%?4և"~[4F>x I7 j2@=f]5@1eJG&R4;/ `8q>PPABjhp=!-ul9CnjhTB1٘S#3㵓:CH,SE!_e@$aG:0>7Qygdubax"q?BŌ#IDָ0DA1#VA*q6 e)y{|eDILLHI]F'cF*̌ $ R:QH̯BOiGh/[ E:_ @<+,̓R6v6J9@}!)e!bY0̴WߍAY􄫼/L,,tWSm/j%. {FĒ ?sE,י #@b6x5!g lzz~RmӲ0"ҋLvIN==h`JG %Kvw"b Lg~x-3i v=^ /qӺn=TI5~qX_BdVdKuoW.jx= {!z+R9Gm^LD4 Z>Ԑ,osY$L|"QӼR$9F`Ebq=G8m,#+qd1YjOK4MA-rOH2 Y솑yJT'Q#Jt xܘ@qBCX 2Rr#g5--ȭ dHffR{tb .TE-&N ~cCáќ~Kx!fD z5%``_amt塌|*H'>NF1%ewZ-9\n5HfF1`̐ٝ7;NDo(PA|ڷZz9ƍqvaX08;8#IkH/d3Z  I*>DI8QjQhe );cj-}5jLpƍ1oD`vNTHo$$XSo=mzx~+nB坨>h'j vXj@C707Xz+Ľy0UB ٙajP7n͘17٭ !#/3_E;ʍSi6:nsfァ{lh~'!f>C|ܝ{hByg)抱i:׵nXf$Q.y7w3SͮirQ}GQz̭]cwW`} g`sg #%alrfȂZxWނ;ğvox%Jtk;U-D"M܋ӛ7_Lo"H֯kby< P9_d5V$5V$-(Ħd>·ܥ\9{jR>_jF-m\qqXԿKLټyy`C!vO͔-T0LS03Vp9:ҁk^?\͎ JsP<ǮF?h A%\̐]cLp8'9eRyh SݖE$<6ʙ)g`b*Krl ksn5/jb9S6$q3S2dcF^(vPMcB6 9$L(S^:5 S.P\[[qc`mm=ǐ[x:0aUM1{FsIs—/.D^tµx1֬hʟr*K3?O4fy LAU`a `?Hr5k7: lnPpnj. z=f6{{jj`ic$ }fP;w{fՎ'IbƉsE.INIg3}E!7q_.>Y'@[ )Er &{L4Pkr3ܛ'PLir |5AU R[>afG#ӢG,,|'Yf,$l q_~U\~O9u{i؉۔yث?ڶB`h{-=o8wVQ7^(bDu/fNg~S' ABtzc}PZyW_ q>a9W6?ҥj]% Q#<[m ʔbVX*05uʥ_M\@ G꣗P_E4j WU<@Baz@shѰG8uGVT Y(m BWe: 2W3q j{z(aG(QnPS 6kń!hGWWH vs2®؀ om4Yu9+Q6V,# ^翡y2?/MyGg@zv|S=?=6iӽ g؋fzf솫͒͋uBKr/kB+Tra s2@Jꬊı) |sSР H|8Hd(o}N1 cӛh==a]FkX\WЎN0.F-.!Hޠ%*Oڷe?@ ;Mp@RĮv 1RHQ*u7lFϮ[E3?MD-ZIؐElVW~WH!0W$kYE|tVp1(.LVK)@/Ib?䶠ap,}T 츞D¸hnSyrH <cpjf~Jy9;64d?'*D@XÉ'eb\}A 9,`QXӍt`u|`9.mߜ;j(<ʯ^+i)Q1&tSxFHWכ@*"jq$WOaORCM#l(+D}/,b qn9DTU#&jb=?>8,k@ PEa@ Gd' KM:FG?^u]^&{ZM;gC71[lhXd=v$c *2-{ sRpQlI1\p@PT&U&YuV5YqgAb,C v8(:dsqu7? 8J@epTό=k <vSvtzM:X {ePm?'^w:uȠp9"m|ndQpR) UrLF!R;9R/81*93N,gVj4!)or7kFf"1YU< UK 9JKB|pҺh&a[m;Jh"Q~xɼ2PLJʤI' YD+G`H&Mw!A p5EoBzP=zu>7 kPN6)1#+%gUꒊ,Kw hԹE(-x3^sx-5ċCVN;)sTAD tZe}cmc$)&Kp,45 >Fu\Z% ajJX7[ҸU+>Qžg,Z[p&׮Lwfh|\dYPCFPǗ,ɥKQֆK@,~gіu!Zu *p1 6!f(7t׽w7&T !C1bU,n [LH%mmL;˹ Eғx=6 ϣ=`xܪD2T|%qAGЍRn] u_.F30yH>;J'JkJX}I]] }\8wc{۶mXTA)@f7S1MZTt}!KhzO K4# =J!: Yz -a]1g2z]gPIIg^2Ȯ僅 Ҝїy|A%Cƞ-ׂMO* U Sth&' qS Q$<rX`T"u * `ML";EC{㶷(ԦLI FW|fAΉ/Ətyz檎,8jTtݺO']g61-~F(=(W DKa?}A:B*:Z(=ޯ4K1yJcfGa[< qn蓷3ƣ6b=C7J7= X.뤤 KB/eeaUfv)wXv$^i~+0>$8Gfܥ A(>8- ^v$If6u7$k%Q^Xf>2 +zDr4Q@*p>5LS6&sXLgR`~Qpfr7:Kޕ-U7g-Լ8j 额g+Q+TnY$,@6"cfsyҒ9iK@]WVK9D{ D|_q;$yS|8˩5^^_wВlYƀdDhpI JW` N"䋅's섲wT=#m\tkzi1=:]P!~ClGs7o@&a$*u yr<}/,|2 -N#6{! V_ְ`P-jZNHO?q<Ʒ`ؕ;^3ڙ`g(_W!2L\=K`87_tjI|1vIӯvTQoD4 -84ipbH,\UNT4՘=wuy/n³f:s3!M&Ҳb!b}@[7[Հ 5s[ۿBR#^z^BmoGX$(TKbi+gt0.ƛH &2TždM n DuIz"qF-qedmQ%q/d:F9q#\zy4SWG {q_q _|.B5 ?Y!KvG=YR8iB2I()-Ң$áDI壟9% bgaS,vIV'WԧXRZaP `WAaå]?^hFQs~jWhu *+. VgVK"4΀|U+ U u"qWKؘ8;ɴKPz^ymLt+ebvu[ny]ȠJns yԮkddHȁMy\jaOxC ɐþS[A xLFqX[yn]UP/4S଱tdꇑM P1ypЅ@ *ǿ4L)fDRRz#ۜ^5#)i`5ɣhӽ1]@ P'BU*K=.v^EԸt"C/V hor*]ZbF8?P)p@ ] A4!=tZ})jpߐkX+@-ySqI)c4U}1:EmqCQb@-hLlN`q`KIV#ZB(bd81of*$@=~|toV!֑3cԽa7.zGܩ=\Y~|Ͽ퍟O[wh/)b rz(@fgl8oF׷F8#'+M+?zZI (ph inOQB ?l+߀:iqUgfc_.dL ' QқHE@$nSxIy| RZtPH*-H ߛ($ivSpHJ$ E$`wE6 an.AW L1ح켪>_1̣j^diSWj8p+M=C&,mC&42[1*{ue,ҶUV_`&&J#yCB3 l[m>Ck $,_m=XSـ-:<ϛt>5)HtRȈ0Ƚ'9RF`V4#Ty7'*d+I*)"2JcABr!gDBN" Ћ$q.=LA$hDE0".$90Ty%Ǜ22R4㋼E %gE1Sze3C:RuVbeݽވDQ4lcwi֬Uw?#zeu[I*q``T*˙gWxQ6VT\F#UoȿVUq?[+rS~cW&C.9Jt RxlTW;[nŊ7s!VImw7Lp3V @_)$aٲ8y܃yy!["p2kV0pɑYy"ng~gi;J1kXc"i w Ft릚+Zt_s;t"IR4HP( r`8@ `$@0  0d1)PWFEpǚ<4-ڠF0cuAF"`s$4ڲZ-57@QIƼ/3Gv?UhǢvN#wy_p) o>ksHRVbZhlF;s!Pz#P5نhBީ Àc{taL7;"V֔::@Tg彙~z R1 "T[DAVE]/ } pdeؑLu/ (P8Z&T av6U!`g-Ui_ip(WV^:ܗ1/$94kRy^Fk(A *J7aTpɹp`u&째8nzR. n@% A8BpѱOnWI $F<8uf M1R:-F[ "j_l3o{/#pxS"%Pjob ",+=Qذށm]Qp:YyH&KoJXΌ[[! h֩V,jXM2NTy^)޾-atj{L\!ͩ:TmᎾ{Ct߈^%+f<>Yw:O8 MW#-7#>#R2k c$<ӑؙxp?pXz`\ρN7M p45x qsdMetp>w 0}qDh FxD$F6gn8逷l!?̑v侻eNZP\fI8a%fj/b,GP^(Kj2.BWi6[gLK7se略DbݾJλ+=Mb{4;|6/l{׆.v`"ȋ:b>gQa ?EӆXFrȜu]j1L ymxPt@[JBrz r,iMY")pf_!--Q8lX Hi]wp =HMu8*}Pǣmbpdtn .Ndkhh_(W|BcL Cua+ܠAk3>, lS~_V@TɃQ)wج*KS 2VLRV=hb҄&%;SZ?rd+^XؤY|G(βL3UHP㰊haEQG_q KC4~KEA}>{Bsus`G&x'MɸCҧwOLX@CŎf͆|eoan\(jW͍:n7ʘ(%ZK8~6r, J-2^2G7R7-2A.|k7.&FA GS"izǹ; 1Q/.k4'!1 \# [ZqfHwA}nYFR -9 x\:4|QM4rHp Z<{{_ Ld[Q8TD-V4R./+`Ů: g(wHf/.VX. ) _YuQu43]q#~VUu֏s* /\d)Nk8쩪Δ`?Vy|7^-NPHM A2+.\>t PRDyɝ] )$f9o"`os~,R37 b vq6T}x*MM݀'J\)D9#{?Gwn}pňKe!JuPV+_EK62A LaEvAyDt <>W8 0zAQƵ"EnS&*8`P.X` E: y IHjqs`j^+6q6Q~yN"|qxdZz0b("B@E J֟26J9!\"(.c'N Pk`o 11@43c&@f8Ϭ9}o,^P 6"rw Quw{^V)~eb?*bU(~1{K$~ |kE(˰kq|Z= m̑ʜ/F*XH>aKnm#Kvi4'9k LH|RehVxj]DiHmȎOq3ϥFc[Kch#ac;ṘJM[v BB`|m2eOզL#Q12B^F#P> ]"^e_m51/rؕu-#nT[%8Fx>,]_ !o0$L>٪c->Qx cPBhӜBD/ѱ3Ta &5c/U- B'qV,6g+r\T-κɷ1xO0mAw} ۢ@ê2, / ؐ(+댤Uџ"E+ЕV\opR3lw&VP鰈Ĥ<$^2_mQmS;X4D̂%[n*a^}%Cݔ{\GKf$T'b'ճ4DX}MVs[\#M*8-Y'a*"`+{#aD T9/ͭSA 4@-XC`,HzTJm'P2!S*5juX;}%DAD8ַIuXC-F %"3+c%sD]ɧ~V) 7ڱ3+@T2+F0PJ:"m9ɒ$.a֭""=ʼnJj&1@oȰշd;!zs/`oȒV{i9 v!*  z†m|+X!+}Fc"z <&|EA2a.:2h@Ќq@{ ˯_3!c2<N7AUwҾpF/Vi XREǂc1JѕQ)0>>%Ifu*EYod5k ߞɘrn1겊 wyX=~]1{Ⴌ} o1Bp4J},z$./POe\-],b"돢"ʒ|I Ya5vA&+ٸAx x~#Aki;rMuk:@EuXGt&J5Ap0Y!챞 gF R_gɍ5[+z\Fj>.#?٢OF>ʋk}r2^ E Q)R3yTԧcC$$JgӤ0e8'UnTU3d/dDB--&Z2jxMc`y{o}U*Hz0#{oB waΌsЭW2:vm hsnʸcQ ]WAP.9x h|zCG:Ď2s EhUڶw mv ~p#MZJ"P AsU o"V{MA@C0&vqukrq I`@0##!jD,! I:o'N֍ٔP R a3@t+v+&'[B]σxk)#"n˻,M p<iϧniq>z6_ZQZ+Ɂ"EB<0`2yS%M`44/VLs5K*yFUwchKҢxJn"u'ɂHB a Yfa@`(R$qPb!#$D@!BAdyUСB8ՆkNĮ\diRPJn:@ mwT4U^;‹5?fK.(`K ]n򰰁%QjhdDŎyUӐtK<2 >XN{'LwH(sݱ> *Yza':E?K+Ykjg:tkTk%g避flR2wu跧MXXN2.X)Z5C^=q#I|dYjHJ"imi:.=܊$Toぶ7[7I b8 &,/ 8 |?С$S;M"jMi@:F>vD13\\VzK/x,t,AFZ37\M6M)1ݥ)5iRCfL쉪ؕlE{. G8V1 . CA]U=ygQ.gnPw %/ɪz kLي#eϛz1 8<حT ~mtHǴ@ .z3iE.awMnД|#@)XyiΊ4Wj>-"!јa&;źbCZx¹ѱ$VʤΦtnnr$>'cZ|U(ld?TEP 1}?NdIΝ9".o}!qyWc]qga]$Y0‡,B9 ċ]6r T9`h.|T$Ϧ'ʕW:OdV!6#m_-%b'w"# dN哙6DZD)>@eak-qʸ&REKАmV?!mPM](l$x0`C@h{r5%QiȉJF0;l Hd#b:7RwA􀮞LuG\Ob6sRYruH~^OTamrnj35nq& K|&vb_}p~)sN!U1跻nnZ[ VbUV \|ɠ&s΢Ii( \ÈۼR ƍ`>EnD-s;Gs -՘`c