%PDF-1.3 % 2 0 obj << /Length 14039 >> stream BT /F1 1 Tf 9.9626 0 0 9.9626 144 637.98 Tm 0 g /GS1 gs -0.1014 Tc 0 Tw [(TA)-99.7(R)-106.6(S)-101.8(K)-103.8(I)-99(,)-493.1(G)]TJ 6.167 0.2409 TD 0 Tc ()Tj -0.1445 -0.2409 TD 0.0024 Tc [(ODEL)6.8(,)-377.2(A)4.1(ND)-381.3(CHU)7.1(R)33.3(CH)]TJ /F2 1 Tf -6.0225 -1.7947 TD 0.0045 Tc [(T)3.8(h)5.4(om)6.4(as)-324.2(W)7.7(i)4.5(et)7.1(i)4.5(n)5.4(g)]TJ 0 -1.2045 TD 0.004 Tc [(R)5.2(eed)-332.3(C)3.3(o)-1.9(l)4(l)4(e)2.3(ge,)-309.2(2012)]TJ /F1 1 Tf 0 -2.9992 TD -0.0009 Tc [(In)34.8(tro)-40.2(ducti)-7.1(on)]TJ /F2 1 Tf 0 -2.397 TD 0.0059 Tc (01)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 557.9401 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 554.34 Tm 0.0015 Tc [(Let)-381.4()]TJ /F4 1 Tf 6.9738 0 0 6.9738 191.28 552.9 Tm 0 Tc (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 201.72 554.34 Tm 0.0042 Tc [(b)-19(e)-382.9(t)6.8(h)5.1(e)-382.9(p)5.1(ream)30.2(b)5.1(l)4.2(e)-370.9(f)8.1(or)-387.7(A)7.4(r)-2.3(i)4.2(t)6.8(h)5.1(m)6.1(et)6.8(i)4.2(c)-382.9(an)5.1(d)-380.3(l)4.2(et)-378.7()]TJ /F4 1 Tf 6.9738 0 0 6.9738 385.56 552.9 Tm 0 Tc (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 395.64 554.34 Tm 0.3673 Tc (=\()Tj /F5 1 Tf 1.5297 0 TD 0 Tc (L)Tj /F4 1 Tf 6.9738 0 0 6.9738 417.72 552.9 Tm (A)Tj /F6 1 Tf 9.9626 0 0 9.9626 424.2 554.34 Tm (,)Tj /F5 1 Tf 0.4457 0 TD (A)Tj /F4 1 Tf 6.9738 0 0 6.9738 436.56 552.9 Tm (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 443.16 554.34 Tm 0.385 Tc [(\)b)361.8(et)387.6(h)385.9(e)]TJ -30.0282 -1.2045 TD 0.0007 Tc [(co)-5.2(r)-5.8(r)-5.8(e)-1(sp)-22.5(o)-5.2(nding)-258.1(pr)-5.8(edica)-5.2(t)3.3(e)-266(l)0.7(o)-5.2(g)-5.2(i)0.7(c.)-408.9(Let)]TJ /F5 1 Tf 15.0805 0 TD 0 Tc (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 302.64 540.9 Tm (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 311.88 542.34 Tm 0.0014 Tc [(b)-21.8(e)-277.3(a)-281.5(s)-2.1(et)-261(of)-271.8(h)26.4(y)-1.6(p)-21.8(o)-4.5(theses)-267.1(adequate)-265.3(f)5.3(o)-4.5(r)-270.1(t)3.9(he)]TJ -16.851 -1.2045 TD -0.0002 Tc [(s)-3.7(y)-3.2(n)24.8(t)2.4(a)-6.1(c)-1.9(tic)-339.1(t)2.4(heo)-6.1(r)-6.7(y)-340.4(o)-6.1(f)-345.6(A)3(r)-6.7(i)-0.2(thmetic.)-482(In)-348.6(tur)-6.7(n)0.7(,)-349.5(l)-0.2(et)]TJ /F1 1 Tf 19.2963 0 TD 0 Tc (N)Tj /F2 1 Tf 1.2527 0 TD -0.0007 Tc [(b)-23.9(e)-351.7(the)-351.7(s)-4.2(et)-347.4(o)-6.6(f)-334.1(na)-6.6(tur)-7.2(a)-6.6(l)-338(n)24.3(um)25.3(b)-23.9(e)-2.4(r)-7.2(s)]TJ -20.549 -1.1925 TD 0.0038 Tc [(an)4.7(d)-272.3(l)3.8(et)]TJ /F1 1 Tf 3.2763 0 TD 0 Tc (I)Tj /F2 1 Tf 0.7107 0 TD -0.0011 Tc [(b)-24.3(e)-279.8(the)-279.8(s)-4.6(ta)-7(nda)-7(r)-7.6(d)-253.1(in)23.9(ter)-7.6(p)-0.2(r)-7.6(e)-2.8(ta)-7(tio)-7(n)-265.2(o)-7(f)-274.3(Ar)-7.6(ithmetic.)-434.8(B)-3.8(y)-269.1(d)-0.2(enitio)-7(n)-0.2(,)]TJ /F1 1 Tf 26.1018 0 TD 0 Tc (N)Tj /F2 1 Tf 1.1804 0 TD -0.0009 Tc [(is)-269.4(the)]TJ -31.2692 -1.2045 TD -0.0001 Tc [(univ)21(e)-1.8(r)-6.6(s)-3.6(e)-387.2(under)-6.6(l)-0.1(ying)]TJ /F1 1 Tf 9.0098 0 TD 0 Tc (I)Tj /F2 1 Tf 0.4336 0 TD 0.0023 Tc [(.)-636.1(W)89.8(e)-396.9(p)3.2(lan)-394.3(t)4.9(o)-401.1(d)3.2(escrib)-20.9(e)-396.9(t)4.9(he)-396.9(Theorems)-386.6(of)-391.3(T)85.9(a)-3.6(rski,)-407.3(G)3.4()]TJ 22.1028 0 TD 0.0038 Tc [(od)4.7(el)3.8(,)]TJ -31.5462 -1.2045 TD -0.0002 Tc [(a)-6.1(n)0.7(d)-324.5(C)-0.9(h)24.8(u)0.7(r)-6.7(c)22.2(h,)-325.5(b)-23.4(e)-1.9(a)-6.1(r)-6.7(ing)-331.3(u)0.7(p)-23.4(o)-6.1(n)-336.5(t)2.4(he)-339.1(Inco)-6.1(mpleteness)-328.9(o)-6.1(f)-333.6(Ar)-6.7(ithmetic.)]TJ /F1 1 Tf 0 -2.397 TD -0.0006 Tc (G)Tj 0.9034 0 TD 0.0024 Tc [(odel)-377.2(Num)32.9(b)-34.1(er)5.6(s)]TJ /F2 1 Tf -0.9034 -2.397 TD 0.0059 Tc (02)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 450.3 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 446.7 Tm 0.0016 Tc [(Let)-333.1()-336.4(b)-21.6(e)-337.3(the)-337.3(s)-1.9(ym)27.6(b)-21.6(o)-4.3(l)-323.7(s)-1.9(et)-321.1(f)5.5(o)-4.3(r)-330.1(t)4.2(he)-337.3(v)58.8(a)-4.3(rious)-327.1(p)2.5(redicate)-325.3(logics:)]TJ 5.8298 -1.9513 TD 0 Tc (\()Tj /F6 1 Tf 0.3854 0 TD (,)Tj /F2 1 Tf 0.9997 0 TD (\))Tj /F6 1 Tf 0.3854 0 TD (,)Tj /F5 1 Tf 0.9997 0 TD ()Tj /F6 1 Tf 0.6625 0 TD (,)Tj /F5 1 Tf 1.0118 0 TD -0.1747 Tc ()Tj /F6 1 Tf 1.602 0 TD 0 Tc (,)Tj /F5 1 Tf 0.9997 0 TD ()Tj /F6 1 Tf 0.5541 0 TD 0.7227 Tc [(,)-12.1(c)721.1(,x)727.6(,f)669.7(,r)752.1(,)]TJ /F5 1 Tf 6.9741 0 TD 0 Tc (|)Tj /F6 1 Tf 0.277 0 TD (,)Tj /F5 1 Tf 0.9997 0 TD ()Tj /F6 1 Tf 0.3854 0 TD (,)Tj /F5 1 Tf 1.0118 0 TD ()Tj /F2 1 Tf -25.2344 -1.9633 TD 0.0038 Tc [(an)4.7(d)-356.6(l)3.8(et)-367()]TJ /F3 1 Tf 6.9738 0 0 6.9738 185.64 411.3 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 193.8 407.7 Tm -0.0001 Tc [(b)-23.3(e)-375.2(the)-363.1(s)-3.6(et)-358.9(o)-6(f)-369.6(nite)-363.1(str)-6.6(i)-0.1(ng)-6(s)-364.9(o)-6(f)-357.6(s)-3.6(ym)25.9(b)-23.3(o)-6(ls)-352.9(dr)-6.6(a)18.1(w)-0.8(n)-348.5(f)3.8(r)-6.6(o)-6(m)-359.6()-0.8(.)-542.2(R)1.1(ela)-6(t)2.5(iv)21(e)-363.1(t)2.5(o)]TJ -4.9987 -1.1925 TD 0.0002 Tc [(the)-338.7(d)1.1(ispla)18.4(y)21.3(ed)-312(linea)-5.7(r)-331.5(o)-5.7(r)-6.3(d)1.1(er)-6.3(ing)-318.9(o)-5.7(f)-321.1(t)2.8(he)-338.7(t)26.8(w)23.6(elv)21.3(e)-326.7(sym)26.2(b)-23(o)-5.7(l)0.2(s)-328.5(i)0.2(n)-324.1()-0.5(,)-337.1(l)0.2(et)-334.5(us)-328.5(in)25.2(tr)-6.3(o)-29.8(duce)-326.7(t)2.8(he)]TJ 0 -1.2045 TD 0.0008 Tc [(co)-5.1(r)-5.7(r)-5.7(e)-0.9(sp)-22.4(o)-5.1(nding)-318.3(deg)-5.1(r)-5.7(ee-)-3.5(lexico)-5.1(g)-5.1(r)-5.7(a)-5.1(phic)-290(o)-5.1(r)-5.7(d)1.7(er)-5.7(ing)]TJ /F5 1 Tf 19.5252 0 TD 0 Tc ()Tj /F2 1 Tf 1.1082 0 TD 0.0059 Tc [(on)-318.4()]TJ /F3 1 Tf 6.9738 0 0 6.9738 370.56 387.42 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 375.12 383.82 Tm 0.004 Tc [(.)-441.7(F)89.9(or)-327.7(i)4(n)4.9(st)6.6(an)4.9(ce:)]TJ /F5 1 Tf -15.1285 -1.9513 TD -0.0026 Tc ()Tj /F6 1 Tf 0.7709 0 TD 0.1133 Tc (fr)Tj /F5 1 Tf 1.5297 0 TD 0 Tc ()Tj /F2 1 Tf 1.2166 0 TD (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F6 1 Tf 0.5541 0 TD 0.0016 Tc (ccc)Tj /F2 1 Tf 2.3006 0 TD 0.0059 Tc [(an)6.8(d)]TJ /F5 1 Tf 2.6138 0 TD -0.0035 Tc ()Tj /F6 1 Tf 1.325 0 TD 0.1133 Tc [(fx)118.2(c)]TJ /F5 1 Tf 1.602 0 TD 0.4552 Tc [()15.6()458.7()]TJ /F6 1 Tf 3.3847 0 TD 0 Tc (f)Tj /F5 1 Tf 0.6023 0 TD ()Tj /F2 1 Tf 0.3854 0 TD -0.0026 Tc (\(\()Tj -24.7406 -1.9633 TD 0.0047 Tc [(L)3.4(e)3(t)-293.9()-309.8(b)-18.5(e)-310.1(t)7.3(h)5.6(e)-298.1(o)-1.2(rd)5.6(er)-290.9(i)4.7(s)1.2(om)6.6(orp)5.6(h)5.6(i)4.7(sm)-282.5(carryi)4.7(n)5.6(g)-290.3()]TJ /F3 1 Tf 6.9738 0 0 6.9738 330.84 348.42 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 338.4 344.82 Tm -0.0026 Tc (to)Tj /F1 1 Tf 1.2045 0 TD 0 Tc (N)Tj /F2 1 Tf 0.9034 0 TD 0.0006 Tc [(,)-300.6(d)1.5(ened)-311.6(b)25.6(y)-303.5(t)3.2(he)-314.2(ba)-5.3(se)-302.2(t)27.2(w)24(elv)21.7(e)]TJ -21.6208 -1.1925 TD -0.0006 Tc [(pr)-7.1(es)-4.1(en)24.4(ta)-6.5(tio)-6.5(n)-276.7(o)-6.5(f)-273.8(na)-6.5(tur)-7.1(a)-6.5(l)-277.7(n)24.4(um)25.4(b)-23.8(e)-2.3(r)-7.1(s)-281.1(in)]TJ /F1 1 Tf 15.3094 0 TD 0 Tc (N)Tj /F2 1 Tf 0.9034 0 TD -0.001 Tc [(,)-302.2(s)-4.5(ub)-60.3(ject)-287.5(to)-283.9(the)-291.7(c)-2.7(o)-6.9(nditio)-6.9(n)-289.2(tha)-6.9(t)-287.5(the)-291.8(d)-0.1(ig)-6.9(its)]TJ -16.2128 -1.2045 TD -0.0007 Tc [(sha)-6.6(l)-0.7(l)-326(r)-7.2(un)-337(no)-6.6(t)-323.4(f)3.2(r)-7.2(o)-6.6(m)-324(0)-343.9(to)-331.8(1)-6.6(1)-331.8(but)-335.4(fr)-7.2(o)-6.6(m)-324(1)-331.8(t)1.9(o)-343.9(1)-6.6(2)-6.6(.)-434.4(F)85.2(o)-6.6(r)-332.4(i)-0.7(nsta)-6.6(nce:)]TJ 2.5294 -1.9513 TD 0.0013 Tc [(\()-164.8(\()]TJ /F6 1 Tf 1.5659 0 TD 0 Tc (x)Tj /F5 1 Tf 0.5661 0 TD -0.0013 Tc (||)Tj /F2 1 Tf 1.1082 0 TD 0.2848 Tc (\)=1)Tj /F5 1 Tf 2.4572 0 TD 0 Tc ()Tj /F2 1 Tf 0.4938 0 TD 0.0059 Tc (12)Tj /F7 1 Tf 6.9738 0 0 6.9738 240.96 305.58 Tm 0 Tc (4)Tj /F2 1 Tf 9.9626 0 0 9.9626 247.56 301.5 Tm 0.2227 Tc (+7)Tj /F5 1 Tf 1.7225 0 TD 0 Tc ()Tj /F2 1 Tf 0.4938 0 TD 0.0059 Tc (12)Tj /F7 1 Tf 6.9738 0 0 6.9738 279.72 305.58 Tm 0 Tc (3)Tj /F2 1 Tf 9.9626 0 0 9.9626 286.32 301.5 Tm 0.2227 Tc [(+1)216.8(0)]TJ /F5 1 Tf 2.2163 0 TD 0 Tc ()Tj /F2 1 Tf 0.5059 0 TD 0.0059 Tc (12)Tj /F7 1 Tf 6.9738 0 0 6.9738 323.52 305.58 Tm 0 Tc (2)Tj /F2 1 Tf 9.9626 0 0 9.9626 330.12 301.5 Tm 0.2227 Tc [(+1)216.8(2)]TJ /F5 1 Tf 2.2163 0 TD 0 Tc ()Tj /F2 1 Tf 0.5059 0 TD 0.0059 Tc (12)Tj /F7 1 Tf 6.9738 0 0 6.9738 367.32 305.58 Tm 0 Tc (1)Tj /F2 1 Tf 9.9626 0 0 9.9626 373.8 301.5 Tm 0.2227 Tc [(+1)216.8(0)]TJ /F5 1 Tf 2.2284 0 TD 0 Tc ()Tj /F2 1 Tf 0.4938 0 TD 0.0059 Tc (12)Tj /F7 1 Tf 6.9738 0 0 6.9738 411 305.58 Tm 0 Tc (0)Tj /F2 1 Tf 9.9626 0 0 9.9626 418.2 301.5 Tm 0.0059 Tc [(=)-265(34426)]TJ -27.5228 -1.9633 TD -0.0015 Tc [(F)84.4(o)-7.4(r)-333.2(e)-3.2(a)-7.4(c)20.9(h)-325.8(s)-5(tr)-8(ing)]TJ /F6 1 Tf 6.8898 0 TD 0 Tc ()Tj /F2 1 Tf 0.9757 0 TD [(in)-336.3()]TJ /F3 1 Tf 6.9738 0 0 6.9738 241.2 285.54 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 245.76 281.94 Tm 0.0005 Tc [(,)-336.8(w)23.9(e)-326.4(r)-6(ef)4.4(er)-331.2(to)-330.6(\()]TJ /F6 1 Tf 6.6248 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD 0.3468 Tc [(\)a)340.9(s)18.1(t)349.4(h)347.7(e)]TJ /F8 1 Tf 3.6858 0 TD -0.0021 Tc (G)Tj 0.7709 0 TD -0.0042 Tc [(odel)-375.5(n)-8.3(u)-10.2(m)-6.3(b)46.3(e)-1.9(r)]TJ /F2 1 Tf 5.7455 0 TD 0.0059 Tc (of)Tj /F6 1 Tf 1.1322 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (.)Tj /F1 1 Tf -29.4502 -2.397 TD 0.0005 Tc [(Notati)-5.7(on)]TJ /F2 1 Tf T* 0.0059 Tc (03)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 237.78 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 234.18 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.8429 0 TD 0 Tc (k)Tj /F2 1 Tf 0.9275 0 TD 0.0022 Tc [(b)-21(e)-384.9(a)-377.1(p)-21(ositiv)23.3(e)-384.9(i)2.2(n)27.2(t)4.8(eger.)-564(L)0.9(et)]TJ /F6 1 Tf 11.7199 0 TD 0 Tc ()Tj /F2 1 Tf 1.0238 0 TD 0.0232 Tc [(be)-363.9(a)-356.1(s)19.7(e)21.5(n)48.2(t)25.8(e)21.5(n)24.1(c)21.5(e)-351.9(i)23.2(n)]TJ /F5 1 Tf 7.5282 0 TD 0 Tc (L)Tj /F4 1 Tf 6.9738 0 0 6.9738 401.88 237.78 Tm (k)Tj 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 408.36 234.18 Tm 0.5902 Tc [(.L)588.9(e)588.5(t)]TJ /F5 1 Tf 2.7101 0 TD 0 Tc (V)Tj /F4 1 Tf 6.9738 0 0 6.9738 441.48 232.74 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 450.84 234.18 Tm 0.0232 Tc [(be)-363.9(t)25.8(h)24.1(e)]TJ -30.7991 -1.2045 TD 0.0022 Tc [(set)-392.7(c)0.5(onsist)4.8(ing)-377.1(o)-3.7(f)-391.4(t)4.8(he)-397(v)59.4(a)-3.7(riable)-372.9(sym)28.2(b)-21(ol)]TJ 16.1887 0 TD 0.0018 Tc [(s)-387.1(w)1.1(hic)24.2(h)-394.8(o)-28.2(ccur)-378.1(a)-4.1(t)-393.1(l)1.8(east)-381.1(once)-385.3(f)5.7(r)-4.7(eely)-386.6(i)1.8(n)]TJ /F6 1 Tf 16.4898 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (.)Tj -33.3168 -1.2045 TD 0.0002 Tc [(By)-388.2(denitio)-5.7(n)1.1(,)]TJ /F5 1 Tf 6.4201 0 TD 0 Tc (V)Tj /F4 1 Tf 6.9738 0 0 6.9738 214.08 208.74 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 223.68 210.18 Tm 0.002 Tc [(con)27(t)4.6(ains)]TJ /F6 1 Tf 3.9749 0 TD 0 Tc (k)Tj /F2 1 Tf 0.9395 0 TD 0.0009 Tc [(mem)26.9(b)-22.3(ers.)-613.4(When)-395.7(usef)4.8(ul,)-408.7(w)24.3(e)-386.2(w)0.2(ill)-384.6(emphasize)-386.2(the)]TJ -12.9123 -1.1925 TD 0.0026 Tc [(relation)-309.6(b)-20.6(e)0.9(t)29.2(w)26(een)]TJ /F6 1 Tf 7.5041 0 TD 0 Tc ()Tj /F2 1 Tf 0.9636 0 TD 0.0055 Tc [(an)6.4(d)-318.8(t)8.1(h)6.4(e)-321.4(v)62.7(a)-0.4(ri)5.5(ab)6.4(l)5.5(e)-309.3(sym)31.5(b)-17.7(ol)5.5(s)-299.1(i)5.5(n)]TJ /F5 1 Tf 12.3463 0 TD 0 Tc (V)Tj /F4 1 Tf 6.9738 0 0 6.9738 357.48 196.86 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 366.36 198.3 Tm -0.0004 Tc [(b)24.6(y)-328.6(wr)-6.9(iting)]TJ /F6 1 Tf 4.8181 0 TD 0 Tc ()Tj /F2 1 Tf 0.9636 0 TD (in)Tj /F8 1 Tf 1.1563 0 TD -0.005 Tc [(fu)-11(n)-9.1(c)-2.7(t)-10.3(i)-0.1(on)-9.1(al)]TJ -29.2574 -1.2045 TD [(for)-5.6(m)]TJ /F2 1 Tf 2.1199 0 TD 0 Tc (:)Tj /F6 1 Tf 9.0819 -1.1925 TD ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F7 1 Tf 6.9738 0 0 6.9738 270.12 172.98 Tm (1)Tj /F6 1 Tf 9.9626 0 0 9.9626 274.8 174.42 Tm 0.1687 Tc (,)Tj /F7 1 Tf 6.9738 0 0 6.9738 283.56 172.98 Tm 0 Tc (2)Tj /F6 1 Tf 9.9626 0 0 9.9626 288 174.42 Tm 0.1687 Tc [(,)-277(...)-277(,)]TJ /F4 1 Tf 6.9738 0 0 6.9738 320.04 172.98 Tm 0 Tc (k)Tj /F2 1 Tf 9.9626 0 0 9.9626 324.96 174.42 Tm 0.9972 Tc [(\)f)1001.1(o)991.3(r)]TJ /F6 1 Tf 3.5894 0 TD 0 Tc ()Tj /F2 1 Tf -21.7533 -1.7104 TD 0.0051 Tc [(T)4.4(h)6(e)-333.8(v)62.3(ari)5.1(a)-0.8(b)6(l)5.1(e)-333.8(s)1.6(ym)31.1(b)-18.1(o)-0.8(l)5.1(s)-323.6(sh)6(al)5.1(l)-332.2(a)-0.8(p)6(p)-18.1(ear)-326.6(i)5.1(n)-343.3(n)6(at)7.7(u)6(r)-1.4(al)-320.2(ord)6(e)3.4(r.)-452.7(M)5.7(o)-0.8(reo)23.3(v)26.2(er,)-308.1(f)9(or)-326.6(an)30.1(y)-335.1(t)7.7(erm)7(s)]TJ /F6 1 Tf 0 -1.1925 TD 0 Tc ()Tj /F7 1 Tf 6.9738 0 0 6.9738 148.32 144.06 Tm (1)Tj /F2 1 Tf 9.9626 0 0 9.9626 152.88 145.5 Tm (,)Tj /F6 1 Tf 0.6023 0 TD ()Tj /F7 1 Tf 6.9738 0 0 6.9738 163.2 144.06 Tm (2)Tj /F2 1 Tf 9.9626 0 0 9.9626 167.76 145.5 Tm (,)Tj /F6 1 Tf 0.6143 0 TD 0.1687 Tc (...)Tj /F2 1 Tf 1.1563 0 TD 0.3373 Tc [(,a)331.4(n)338.2(d)]TJ /F6 1 Tf 2.5656 0 TD 0 Tc ()Tj /F4 1 Tf 6.9738 0 0 6.9738 215.28 144.06 Tm (k)Tj /F2 1 Tf 9.9626 0 0 9.9626 220.2 145.5 Tm 0.0002 Tc [(,)-325.1(w)23.6(e)-338.7(w)-0.5(ill)-325.1(wr)-6.3(ite:)]TJ /F6 1 Tf -1.7586 -1.9633 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F7 1 Tf 6.9738 0 0 6.9738 217.2 124.5 Tm (1)Tj /F6 1 Tf 9.9626 0 0 9.9626 221.88 125.94 Tm 0.1687 Tc (,)Tj /F7 1 Tf 6.9738 0 0 6.9738 230.64 124.5 Tm 0 Tc (2)Tj /F6 1 Tf 9.9626 0 0 9.9626 235.08 125.94 Tm 0.1687 Tc [(,)-277(...)-277(,)]TJ /F4 1 Tf 6.9738 0 0 6.9738 267.12 124.5 Tm 0 Tc (k)Tj /F2 1 Tf 9.9626 0 0 9.9626 272.04 125.94 Tm 0.9972 Tc [(\)f)1001.1(o)991.3(r)]TJ /F6 1 Tf 3.5894 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F7 1 Tf 6.9738 0 0 6.9738 322.32 124.5 Tm (1)Tj /F5 1 Tf 9.9626 0 0 9.9626 326.88 125.94 Tm (|)Tj /F6 1 Tf 0.277 0 TD ()Tj /F7 1 Tf 6.9738 0 0 6.9738 333.96 124.5 Tm (1)Tj /F2 1 Tf 9.9626 0 0 9.9626 338.4 125.94 Tm -0.0026 Tc (\)\()Tj /F6 1 Tf 0.7709 0 TD 0 Tc ()Tj /F7 1 Tf 6.9738 0 0 6.9738 350.4 124.5 Tm (2)Tj /F5 1 Tf 9.9626 0 0 9.9626 355.08 125.94 Tm (|)Tj /F6 1 Tf 0.277 0 TD ()Tj /F7 1 Tf 6.9738 0 0 6.9738 362.16 124.5 Tm (2)Tj /F2 1 Tf 9.9626 0 0 9.9626 366.6 125.94 Tm (\))Tj /F5 1 Tf 0.8311 0 TD 0.1687 Tc ()Tj /F2 1 Tf 1.614 0 TD 0 Tc (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F4 1 Tf 6.9738 0 0 6.9738 399.12 124.5 Tm (k)Tj /F5 1 Tf 9.9626 0 0 9.9626 404.16 125.94 Tm (|)Tj /F6 1 Tf 0.277 0 TD ()Tj /F4 1 Tf 6.9738 0 0 6.9738 411.24 124.5 Tm (k)Tj /F2 1 Tf 9.9626 0 0 9.9626 416.16 125.94 Tm (\))Tj /F9 1 Tf -10.7682 -3.4087 TD (1)Tj ET endstream endobj 3 0 obj << /ProcSet [/PDF /Text ] /Font << /F1 4 0 R /F2 5 0 R /F3 6 0 R /F4 7 0 R /F5 8 0 R /F6 9 0 R /F7 10 0 R /F8 11 0 R /F9 12 0 R >> /ExtGState << /GS1 13 0 R >> >> endobj 16 0 obj << /Length 10174 >> stream BT /F1 1 Tf 9.9626 0 0 9.9626 144 637.98 Tm 0 g /GS1 gs -0.1014 Tc 0 Tw [(Tr)-98.2(u)-101.8(t)-100.1(h)]TJ /F2 1 Tf 0 -2.397 TD 0.0059 Tc (04)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 617.7001 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 614.1 Tm 0.0015 Tc (Let)Tj /F5 1 Tf 1.7947 0 TD 0 Tc (L)Tj /F4 1 Tf 6.9738 0 0 6.9738 190.2 617.7001 Tm (t)Tj 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 200.04 614.1 Tm 0.0002 Tc [(b)-23(e)-338.7(the)-338.7(s)-3.3(ubset)-334.5(o)-5.7(f)]TJ /F5 1 Tf 7.2873 0 TD 0 Tc (L)Tj /F4 1 Tf 6.9738 0 0 6.9738 279.48 612.66 Tm (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 289.32 614.1 Tm 0.0015 Tc [(consisting)-329.6(of)-331.9(all)-323.8(s)-2(en)26.5(tences)]TJ /F6 1 Tf 11.5272 0 TD 0 Tc ()Tj /F2 1 Tf 0.9516 0 TD -0.0022 Tc [(fo)-8.1(r)-333.9(w)-2.9(hic)20.2(h)-1.3(:)]TJ /F1 1 Tf -12.3704 -2.409 TD 0 Tc (I)Tj /F2 1 Tf 0.4336 0 TD (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.6143 0 TD 0.2865 Tc [(\)=)15.6(1)]TJ -16.6824 -2.397 TD 0.0049 Tc [(I)4.5(t)-329.8(i)4.9(s)-323.8(t)7.5(h)5.8(e)-334(s)1.4(am)6.8(e)-322(t)7.5(o)-338.3(s)1.4(a)23.1(y)-311.3(t)7.5(h)5.8(at)7.5(,)-332.4(r)-1.6(el)4.9(at)7.5(i)4.9(v)26(e)-322(t)7.5(o)]TJ /F1 1 Tf 16.4898 0 TD 0 Tc (I)Tj /F2 1 Tf 0.4336 0 TD (,)Tj /F5 1 Tf 0.6143 0 TD ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.9516 0 TD (is)Tj /F8 1 Tf 1.0118 0 TD 0.0045 Tc (true)Tj /F2 1 Tf 1.8309 0 TD 0.4337 Tc [(.L)432.4(e)432(t)436.3(:)]TJ /F1 1 Tf -7.5284 -2.397 TD 0 Tc (T)Tj /F2 1 Tf 1.0841 0 TD 0.2709 Tc [(=)269.6(\()]TJ /F5 1 Tf 2.0597 0 TD 0 Tc (L)Tj /F4 1 Tf 6.9738 0 0 6.9738 325.2 546.42 Tm (t)Tj 0 -0.9464 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 331.8 542.34 Tm (\))Tj -18.8504 -2.397 TD -0.0875 Tc [(We)-378.3(r)-94(e)-89.2(f)-83.6(e)-89.2(r)-383.1(t)-84.9(o)]TJ /F1 1 Tf 5.1312 0 TD 0 Tc (T)Tj /F2 1 Tf 1.0841 0 TD 0.0059 Tc [(as)-286.7(t)8.5(h)6.8(e)]TJ /F8 1 Tf 2.8667 0 TD 0.0043 Tc [(truth)-303.8(s)2.8(e)6.6(t)]TJ /F2 1 Tf 4.0351 0 TD 0.0054 Tc [(f)9.3(o)-0.5(r)-290.2(t)8(h)6.3(e)-285.4(st)8(an)6.3(d)6.3(a)-0.5(rd)-270.7(i)5.4(n)30.4(t)8(e)3.7(rp)6.3(ret)8(a)-0.5(t)8(i)5.4(on)]TJ /F1 1 Tf 13.6351 0 TD 0 Tc (I)Tj /F2 1 Tf 0.7227 0 TD -0.0011 Tc [(o)-7(f)-286.3(Ar)-7.6(ithmetic.)]TJ /F1 1 Tf -27.475 -2.409 TD -0.0032 Tc [(Pro)-42.5(o)-6.4(f)]TJ /F2 1 Tf 0 -2.397 TD 0.0059 Tc (05)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 474.18 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 470.58 Tm 0.0015 Tc (Let)Tj /F5 1 Tf 1.7947 0 TD 0 Tc (L)Tj /F4 1 Tf 6.9738 0 0 6.9738 190.2 475.38 Tm (p)Tj 0 -1.1013 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 200.04 470.58 Tm 0.0002 Tc [(b)-23(e)-338.7(the)-338.7(s)-3.3(ubset)-334.5(o)-5.7(f)]TJ /F5 1 Tf 7.2873 0 TD 0 Tc (L)Tj /F4 1 Tf 6.9738 0 0 6.9738 279.48 469.14 Tm (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 289.32 470.58 Tm 0.0015 Tc [(consisting)-329.6(of)-331.9(all)-323.8(s)-2(en)26.5(tences)]TJ /F6 1 Tf 11.5272 0 TD 0 Tc ()Tj /F2 1 Tf 0.9516 0 TD -0.0022 Tc [(fo)-8.1(r)-333.9(w)-2.9(hic)20.2(h)-1.3(:)]TJ /F5 1 Tf -12.4065 -2.397 TD 0 Tc (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 298.44 445.26 Tm (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 307.8 446.7 Tm -0.223 Tc [()-493.9()]TJ /F6 1 Tf 1.879 0 TD 0 Tc ()Tj /F2 1 Tf -18.3205 -2.397 TD -0.0006 Tc (Let:)Tj /F1 1 Tf 14.3697 -1.2045 TD 0 Tc (P)Tj /F2 1 Tf 1.06 0 TD 0.283 Tc [(=)281.7(\()]TJ /F5 1 Tf 2.0718 0 TD 0 Tc (L)Tj /F4 1 Tf 6.9738 0 0 6.9738 325.2 415.62 Tm (p)Tj 0 -1.1013 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 331.68 410.82 Tm (\))Tj -18.8384 -1.9031 TD -0.0875 Tc [(We)-426.4(r)-94(e)-89.2(f)-83.6(e)-89.2(r)-419.2(t)-84.9(o)]TJ /F1 1 Tf 5.2517 0 TD 0 Tc (P)Tj /F2 1 Tf 1.1202 0 TD 0.0059 Tc [(as)-322.8(t)8.5(h)6.8(e)]TJ /F8 1 Tf 2.9511 0 TD -0.0037 Tc [(pr)43.9(o)49.6(o)1.4(f)-372.2(s)-5.2(et)]TJ /F2 1 Tf 4.1435 0 TD -0.0012 Tc [(fo)-7.1(r)-344.9(t)1.4(he)-328.1(theo)-7.1(r)-7.7(y)-329.4(o)-7.1(f)-334.6(Ar)-7.7(ithmetic.)]TJ /F1 1 Tf -13.4664 -2.397 TD 0.0008 Tc [(Sem)-4.8(a)5.7(n)36.5(t)2.1(i)-5.4(c)5.9(a)5.7(l)-5.4(l)-5.4(y)-380.9(Dena)5.7(bl)-5.4(e)-387.6(S)0.4(ets)]TJ /F2 1 Tf T* 0.0059 Tc (06)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 347.7 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 344.1 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.867 0 TD 0 Tc (T)Tj /F2 1 Tf 1.1202 0 TD 0.0045 Tc [(b)-18.7(e)-394.7(an)29.5(y)-396(s)1(u)5.4(b)5.4(s)1(et)-390.4(of)]TJ /F1 1 Tf 7.7209 0 TD 0 Tc (N)Tj /F2 1 Tf 0.9034 0 TD 0.6384 Tc [(.W)725.9(e)227.2(s)634.9(a)656.6(y)250(t)641(h)639.3(a)632.5(t)]TJ /F6 1 Tf 6.7332 0 TD 0 Tc (T)Tj /F2 1 Tf 1.1202 0 TD (is)Tj /F8 1 Tf 1.072 0 TD 0.0032 Tc [(se)5.5(ma)8.3(nti)8.1(c)53.7(a)8.3(l)-42.9(l)5.3(y)-439.3(d)8.3(e)5.5(na)8.3(b)5.5(l)5.3(e)]TJ /F2 1 Tf 10.0456 0 TD 0 Tc (i)Tj -32.7386 -1.2045 TD 0.0014 Tc [(there)-325.5(i)1.4(s)-339.4(a)-329.7(sen)26.4(t)4(ence)]TJ /F6 1 Tf 8.3714 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.5059 0 TD 0.3468 Tc [(\)i)346.8(n)]TJ /F5 1 Tf 1.9031 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 268.44 335.7 Tm (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 278.28 332.1 Tm 0.0051 Tc [(su)6(c)27.5(h)-331.2(t)7.7(h)6(at)7.7(,)-332.2(f)9(or)-326.6(eac)27.5(h)-307.1(n)6(a)-0.8(t)7.7(u)6(ral)-320.2(n)30.1(u)6(m)31.1(b)-18.1(e)3.4(r)]TJ /F6 1 Tf 15.6346 0 TD 0 Tc (j)Tj /F2 1 Tf 0.4698 0 TD (:)Tj /F6 1 Tf -18.164 -2.397 TD (j)Tj /F5 1 Tf 0.7468 0 TD ()Tj /F6 1 Tf 0.9395 0 TD (T)Tj /F5 1 Tf 1.5538 0 TD -0.1689 Tc ( )Tj /F1 1 Tf 2.674 0 TD 0 Tc (I)Tj /F2 1 Tf 0.4336 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.6384 0 TD 0.0215 Tc (\()Tj /F6 1 Tf 0.3855 0 TD 0 Tc ()Tj /F2 1 Tf 0.3975 0 TD -0.0026 Tc [(\)\))-289.1(=)-273.5(1)]TJ -19.5732 -2.397 TD 0.0008 Tc [(wher)-5.7(e)-350.2()]TJ /F6 1 Tf 2.8908 0 TD 0 Tc ()Tj /F2 1 Tf 0.7227 0 TD 0.0048 Tc [(i)4.8(s)-323.9(t)7.4(h)5.7(e)-334.1(c)3.1(on)5.7(st)7.4(an)29.8(t)-317.9(t)7.4(erm)-330.6(c)3.1(orresp)-18.4(on)5.7(d)5.7(i)4.8(n)5.7(g)-302.2(t)7.4(o)]TJ /F6 1 Tf 16.803 0 TD 0 Tc (j)Tj /F2 1 Tf 0.4698 0 TD (.)Tj -20.8863 -2.409 TD 0.0059 Tc (07)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 264.06 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 260.34 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.7586 0 TD 0 Tc (W)Tj /F2 1 Tf 1.3852 0 TD 0.0045 Tc [(b)-18.7(e)-310.3(an)29.5(y)-287.6(s)1(u)5.4(b)5.4(s)1(et)-294.1(of)]TJ /F1 1 Tf 7.3355 0 TD 0 Tc (N)Tj /F5 1 Tf 1.06 0 TD ()Tj /F1 1 Tf 0.9395 0 TD (N)Tj /F2 1 Tf 0.9034 0 TD 0.4216 Tc [(.W)509.1(e)106.8(s)418.1(a)439.8(y)129.5(t)424.2(h)422.5(a)415.7(t)]TJ /F6 1 Tf 6.2273 0 TD 0 Tc (W)Tj /F2 1 Tf 1.3852 0 TD (is)Tj /F8 1 Tf 0.9757 0 TD 0.0032 Tc [(se)5.5(ma)8.3(nti)8.1(c)53.7(a)8.3(l)-42.9(l)5.3(y)-342.9(d)8.3(e)5.5(na)8.3(b)5.5(l)5.2(e)]TJ /F2 1 Tf -24.1264 -1.1925 TD 0.0012 Tc [(i)-403.5(there)-410(i)1.2(s)-399.8(a)-402.2(sen)26.2(t)3.8(ence)]TJ /F6 1 Tf 9.9372 0 TD 0 Tc ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.407 Tc [(\)i)407(n)]TJ /F5 1 Tf 2.0356 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 293.4 252.06 Tm (2)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 303.96 248.46 Tm 0.0048 Tc [(su)5.7(c)27.2(h)-391.8(t)7.4(h)5.7(at)7.4(,)-428.9(f)8.7(or)-399.2(al)4.8(l)-392.7(o)-1.1(rd)5.7(ered)-379.7(p)5.7(a)-1.1(i)4.8(r)-1.7(s)-396.2(\()]TJ /F6 1 Tf 14.5264 0 TD 0.0341 Tc [(k,)-134.6( )]TJ /F2 1 Tf 1.4213 0 TD 0.407 Tc [(\)o)401.1(f)]TJ -32.0037 -1.2045 TD -0.0012 Tc [(na)-7.1(tur)-7.7(a)-7.1(l)-326.5(n)23.8(um)24.8(b)-24.4(e)-2.9(r)-7.7(s)-4.7(:)]TJ 9.9371 -1.1925 TD 0 Tc (\()Tj /F6 1 Tf 0.3854 0 TD 0.0341 Tc [(k,)-134.6( )]TJ /F2 1 Tf 1.4213 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6625 0 TD ()Tj /F6 1 Tf 0.9516 0 TD (W)Tj /F5 1 Tf 1.9152 0 TD -0.1689 Tc ( )Tj /F1 1 Tf 2.662 0 TD 0 Tc (I)Tj /F2 1 Tf 0.4336 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj 0.4094 0.2529 TD ()Tj /F6 1 Tf -0.0241 -0.2529 TD 0.0461 Tc (k,)Tj /F2 1 Tf 1.084 0.2529 TD 0 Tc ()Tj /F6 1 Tf -0.0723 -0.2529 TD ( )Tj /F2 1 Tf 0.4095 0 TD -0.0026 Tc [(\)\))-289.1(=)-285.6(1)]TJ /F1 1 Tf -21.0426 -3.1076 TD -0.0001 Tc [(Syn)35.6(t)1.2(a)4.8(c)5(ti)-6.3(c)5(a)4.8(l)-6.3(l)-6.3(y)-405.9(Dena)4.8(bl)-6.3(e)-376.5(S)-0.5(ets)]TJ /F2 1 Tf 0 -2.397 TD 0.0059 Tc (08)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 173.34 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 169.74 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.867 0 TD 0 Tc (T)Tj /F2 1 Tf 1.1202 0 TD 0.0045 Tc [(b)-18.7(e)-394.7(an)29.5(y)-396(s)1(u)5.4(b)5.4(s)1(et)-390.4(of)]TJ /F1 1 Tf 7.7209 0 TD 0 Tc (N)Tj /F2 1 Tf 0.9034 0 TD 0.6384 Tc [(.W)725.9(e)227.2(s)634.9(a)656.6(y)250(t)641(h)639.3(a)632.5(t)]TJ /F6 1 Tf 6.7332 0 TD 0 Tc (T)Tj /F2 1 Tf 1.1202 0 TD (is)Tj /F8 1 Tf 1.072 0 TD 0.0039 Tc [(sy)7.1(nta)9(c)6.2(ti)8.8(c)54.4(a)9(l)-42.2(l)6(y)-438.6(d)9(e)6.2(na)9(b)6.2(l)6(e)]TJ /F2 1 Tf 10.0456 0 TD 0 Tc (i)Tj -32.7386 -1.2045 TD 0.0014 Tc [(there)-325.5(i)1.4(s)-339.4(a)-329.7(sen)26.4(t)4(ence)]TJ /F6 1 Tf 8.3714 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.5059 0 TD 0.3468 Tc [(\)i)346.8(n)]TJ /F5 1 Tf 1.9031 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 268.44 161.34 Tm (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 278.28 157.74 Tm 0.0051 Tc [(su)6(c)27.5(h)-331.2(t)7.7(h)6(at)7.7(,)-332.2(f)9(or)-326.6(eac)27.5(h)-307.1(n)6(a)-0.8(t)7.7(u)6(ral)-320.2(n)30.1(u)6(m)31.1(b)-18.1(e)3.4(r)]TJ /F6 1 Tf 15.6346 0 TD 0 Tc (j)Tj /F2 1 Tf 0.4698 0 TD (:)Tj -27.3785 -2.397 TD -0.0026 Tc [(\(1)-8.5(\))]TJ /F6 1 Tf 2.2765 0 TD 0 Tc (j)Tj /F5 1 Tf 0.7468 0 TD ()Tj /F6 1 Tf 0.9395 0 TD (T)Tj /F2 1 Tf 1.5538 0 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.8309 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 253.68 132.42 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 263.04 133.86 Tm -0.223 Tc ()Tj /F6 1 Tf 1.9874 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD 0.0215 Tc (\()Tj /F6 1 Tf 0.3855 0 TD 0 Tc ()Tj /F2 1 Tf 0.3975 0 TD (\))Tj -13.1532 -1.7947 TD -0.0026 Tc [(\(2)-8.5(\))]TJ /F6 1 Tf 2.2765 0 TD 0.4442 Tc (j/)Tj /F5 1 Tf 0.7468 0 TD 0 Tc ()Tj /F6 1 Tf 0.9395 0 TD (T)Tj /F2 1 Tf 1.5538 0 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.8309 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 253.68 114.54 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 263.04 115.98 Tm -0.223 Tc [()-493.9()]TJ /F6 1 Tf 1.9874 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD 0.0215 Tc (\()Tj /F6 1 Tf 0.3855 0 TD 0 Tc ()Tj /F2 1 Tf 0.3975 0 TD (\))Tj /F9 1 Tf 1.1924 -2.409 TD (2)Tj ET endstream endobj 17 0 obj << /ProcSet [/PDF /Text ] /Font << /F1 4 0 R /F2 5 0 R /F3 6 0 R /F4 7 0 R /F5 8 0 R /F6 9 0 R /F7 10 0 R /F8 11 0 R /F9 12 0 R >> /ExtGState << /GS1 13 0 R >> >> endobj 19 0 obj << /Length 14352 >> stream BT /F2 1 Tf 9.9626 0 0 9.9626 144 637.98 Tm 0 g /GS1 gs 0.0059 Tc 0 Tw (09)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 641.58 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 637.98 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.7586 0 TD 0 Tc (W)Tj /F2 1 Tf 1.3852 0 TD 0.0045 Tc [(b)-18.7(e)-310.3(an)29.5(y)-287.6(s)1(u)5.4(b)5.4(s)1(et)-294.1(of)]TJ /F1 1 Tf 7.3355 0 TD 0 Tc (N)Tj /F5 1 Tf 1.06 0 TD ()Tj /F1 1 Tf 0.9395 0 TD (N)Tj /F2 1 Tf 0.9034 0 TD 0.4216 Tc [(.W)509.1(e)106.8(s)418.1(a)439.8(y)129.5(t)424.2(h)422.5(a)415.7(t)]TJ /F6 1 Tf 6.2273 0 TD 0 Tc (W)Tj /F2 1 Tf 1.3852 0 TD (is)Tj /F8 1 Tf 0.9757 0 TD 0.0039 Tc [(sy)7.1(nta)9(c)6.2(ti)8.8(c)54.4(a)9(l)-42.2(l)6(y)-342.2(d)9(e)6.2(na)9(b)6.2(l)5.9(e)]TJ /F2 1 Tf -24.1264 -1.2045 TD 0.0012 Tc [(i)-403.5(there)-385.9(i)1.2(s)-399.8(a)-402.2(sen)26.2(t)3.8(ence)]TJ /F6 1 Tf 9.9011 0 TD 0 Tc ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.407 Tc [(\)i)407(n)]TJ /F5 1 Tf 2.0236 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 292.92 629.58 Tm (2)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 303.36 625.98 Tm 0.0048 Tc [(su)5.7(c)27.2(h)-391.8(t)7.4(h)5.7(at)7.4(,)-416.8(f)8.7(or)-387.1(an)29.8(y)-395.7(o)-1.1(rd)5.7(ered)-367.7(p)5.7(a)-1.1(i)4.8(r)-399.2(\()]TJ /F6 1 Tf 14.5987 0 TD 0.0341 Tc [(k,)-134.6( )]TJ /F2 1 Tf 1.4213 0 TD 0.3949 Tc [(\)o)389(f)]TJ -32.0158 -1.1925 TD -0.0012 Tc [(na)-7.1(tur)-7.7(a)-7.1(l)-326.5(n)23.8(um)24.8(b)-24.4(e)-2.9(r)-7.7(s)-4.7(:)]TJ 2.2042 -2.3247 TD -0.0026 Tc [(\(1)-8.5(\))-999.8(\()]TJ /F6 1 Tf 2.662 0 TD 0.0341 Tc [(k,)-134.6( )]TJ /F2 1 Tf 1.4213 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6625 0 TD ()Tj /F6 1 Tf 0.9395 0 TD (W)Tj /F2 1 Tf 1.9152 0 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.8309 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 274.44 589.5 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 283.68 590.9401 Tm -0.223 Tc ()Tj /F6 1 Tf 1.9995 0 TD 0 Tc ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj 0.4095 0.2529 TD ()Tj /F6 1 Tf -0.0241 -0.2529 TD 0.0341 Tc (k,)Tj /F2 1 Tf 1.072 0.2529 TD 0 Tc ()Tj /F6 1 Tf -0.0723 -0.2529 TD ( )Tj /F2 1 Tf 0.4216 0 TD (\))Tj -16.1042 -1.7706 TD -0.0026 Tc [(\(2)-8.5(\))-999.8(\()]TJ /F6 1 Tf 2.662 0 TD 0.0341 Tc [(k,)-134.6( )]TJ /F2 1 Tf 1.4213 0 TD 0 Tc (\))Tj /F6 1 Tf 0.7709 0 TD (/)Tj /F5 1 Tf -0.1084 0 TD ()Tj /F6 1 Tf 0.9395 0 TD (W)Tj /F2 1 Tf 1.9152 0 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.8309 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 274.44 571.86 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 283.68 573.3 Tm -0.223 Tc [()-506()]TJ /F6 1 Tf 1.9995 0 TD 0 Tc ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj 0.4095 0.265 TD ()Tj /F6 1 Tf -0.0241 -0.265 TD 0.0341 Tc (k,)Tj /F2 1 Tf 1.072 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0723 -0.265 TD ( )Tj /F2 1 Tf 0.4216 0 TD (\))Tj -18.3084 -2.3247 TD -0.0008 Tc [(It)-419.8(ma)17.4(y)-413.3(h)0.1(a)-6.7(p)0.1(p)-24(e)-2.5(n)-409.4(t)1.8(ha)-6.7(t)]TJ /F6 1 Tf 9.2747 0 TD 0 Tc (W)Tj /F2 1 Tf 1.4936 0 TD -0.0008 Tc [(is)-425.9(the)-424(g)-6.7(r)-7.3(a)-6.7(ph)-397.4(o)-6.7(f)-406.5(a)-416.2(m)1.1(a)-6.7(pping)]TJ /F6 1 Tf 12.1535 0 TD 0 Tc (D)Tj /F2 1 Tf 1.2647 0 TD 0.0047 Tc [(carryi)4.7(n)5.6(g)]TJ /F1 1 Tf 4.011 0 TD 0 Tc (N)Tj /F2 1 Tf 1.3129 0 TD -0.0026 Tc (to)Tj /F1 1 Tf 1.3009 0 TD 0 Tc (N)Tj /F2 1 Tf 0.9034 0 TD 0.6866 Tc [(.I)686.2(n)]TJ -31.7148 -1.2045 TD 0.0023 Tc [(suc)24.7(h)-334(a)-340.9(c)0.6(ase,)-323(w)25.7(e)-336.6(claim)-345.1(t)4.9(hat)]TJ /F6 1 Tf 11.8404 0 TD 0 Tc (W)Tj /F2 1 Tf 1.4213 0 TD 0.0003 Tc [(is)-352.5(syn)25.3(t)2.9(a)-5.6(c)-1.4(tica)-5.6(lly)-327.9(dena)-5.6(ble)-338.6(i)0.3()-344.2(t)2.9(her)-6.2(e)-338.6(is)-340.4(a)-342.9(s)-3.2(en)25.3(tence)]TJ -13.2135 -0.9275 TD 0 Tc ()Tj /F6 1 Tf -0.0482 -0.265 TD ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.3467 Tc [(\)i)346.7(n)]TJ /F5 1 Tf 1.9031 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 193.08 529.86 Tm (2)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 202.92 526.26 Tm 0.005 Tc [(su)5.9(c)27.4(h)-319.3(t)7.6(h)5.9(at)7.6(,)-332.3(f)8.9(or)-326.7(an)30(y)-323.2(n)5.9(at)7.6(u)5.9(r)-1.5(al)-308.2(n)30(u)5.9(m)31(b)-18.2(er)]TJ /F6 1 Tf 15.2612 0 TD 0 Tc (k)Tj /F2 1 Tf 0.5541 0 TD (:)Tj -19.5251 -2.4572 TD -0.0026 Tc [(\(3)-8.5(\))]TJ /F5 1 Tf 2.2765 0 TD 0 Tc (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 197.04 500.34 Tm (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 206.28 501.78 Tm -0.223 Tc ()Tj /F2 1 Tf 1.325 0 TD 0 Tc (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\()Tj 0.819 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0482 -0.265 TD ()Tj /F2 1 Tf 0.5059 0 TD (\()Tj 0.4095 0.265 TD ()Tj /F6 1 Tf -0.0241 -0.265 TD 0.0341 Tc [(k,)-134.6()]TJ /F2 1 Tf 1.4936 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6625 0 TD -0.1689 Tc (\012)Tj /F2 1 Tf 2.1079 0 TD 0 Tc (\()Tj ET q 21.84 0 0 -0.48 296.628 510.888 cm /Im1 Do Q BT /F6 1 Tf 9.9626 0 0 9.9626 296.6405 501.78 Tm (D)Tj /F2 1 Tf 0.8552 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD (k)Tj /F2 1 Tf 0.5541 0 TD (\))Tj /F5 1 Tf 0.6745 0 TD ( )Tj /F6 1 Tf 1.06 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\))Tj -19.3444 -2.3247 TD 0 Tc [(F)85.9(o)-5.9(r)-331.7(t)2.6(he)-338.9(pr)-6.5(o)-30(o)-5.9(f)-321.3(o)-5.9(f)-333.4(t)2.6(he)-338.9(cla)-5.9(i)0(m,)-325.3(see)-326.9(a)-5.9(r)-6.5(t)2.6(icle)-326.9(3)-5.9(0)]TJ /F3 1 Tf 6.9738 0 0 6.9738 319.56 482.22 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 324 478.62 Tm (.)Tj /F1 1 Tf -18.0675 -2.397 TD 0.0058 Tc [(A)-377.9(B)4.7(a)10.7(s)1.1(ic)-374.5(I)8.2(m)0.2(p)5.4(lic)10.9(a)10.7(t)7.1(ion)]TJ /F2 1 Tf T* 0.0059 Tc (10)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 434.46 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 430.86 Tm [(By)-340.2(the)-351(S)0.9(o)-5.9(undness)-340.8(Theo)-5.9(r)-6.5(e)-1.7(m,)-337.3(it)-346.8(is)-340.7(pla)-5.9(i)0(n)-348.4(t)2.6(ha)-5.9(t)-346.7(S)0.9(yn)25(ta)-5.9(ctica)-5.9(lly)-328.2(Dena)-5.9(ble)-351(s)-3.5(ets)]TJ -2.1561 -1.2045 TD 0.0018 Tc [(are)-325.1(S)2.7(eman)26.8(tically)-326.4(D)6(e)0.1(nable.)]TJ /F1 1 Tf 0 -2.397 TD 0.0045 Tc [(T)9.5(h)4.1(e)-383.9(D)6.2(ia)9.4(gon)4.1(a)9.4(liz)9.6(a)9.4(t)5.8(ion)-369.3(T)9.5(h)4.1(e)1.5(or)7.7(em)]TJ /F2 1 Tf 0 -2.409 TD 0.0059 Tc (11)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 374.7 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 370.98 Tm -0.0859 Tc [(Fo)-91.8(r)-417.6(e)-87.6(a)-91.8(c)-63.5(h)-410.2(s)-89.4(e)-87.6(n)-60.9(t)-83.3(e)-87.6(n)-85(c)-87.6(e)]TJ /F6 1 Tf 8.0221 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.5059 0 TD 0.3467 Tc [(\)i)346.7(n)]TJ /F5 1 Tf 1.9031 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 286.44 374.7 Tm (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 293.04 370.98 Tm 0.3253 Tc [(,l)325.3(e)323.6(t)]TJ /F6 1 Tf 2.0477 0 TD 0 Tc (a)Tj /F2 1 Tf 0.807 0 TD 0.283 Tc [(=)281.7(\()]TJ /F6 1 Tf 2.0718 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD 0.3347 Tc [(\)a)328.8(n)335.6(d)-1.6(l)334.7(e)333(t)-96.4()]TJ /F6 1 Tf 4.1194 0 TD 0 Tc ()Tj /F2 1 Tf 0.9154 0 TD (=)Tj /F6 1 Tf 1.06 0 TD ()Tj /F2 1 Tf 0.6384 0 TD 0.0095 Tc (\()Tj /F6 1 Tf 0.3855 0 TD 0 Tc (a)Tj /F2 1 Tf 0.542 0 TD -0.0005 Tc [(\).)-446.2(Let)-335.2()]TJ /F3 1 Tf 6.9738 0 0 6.9738 460.68 374.7 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 468.48 370.98 Tm 0.0232 Tc (be)Tj -32.5697 -1.1925 TD -0.0004 Tc [(the)-339.3(m)1.5(a)-6.3(pping)-331.5(ca)-6.3(r)-6.9(r)-6.9(y)-3.4(ing)-319.5()]TJ /F3 1 Tf 6.9738 0 0 6.9738 248.4 362.7 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 256.32 359.1 Tm [(to)-331.1(itself,)-337.3(d)0.9(ened)-336.3(a)-5.9(s)-328.7(f)3.9(o)-5.9(llo)18.2(ws:)]TJ 0.1686 -2.7824 TD ()Tj /F3 1 Tf 6.9738 0 0 6.9738 264.96 335.46 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 269.52 331.38 Tm (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.6384 0 TD 0.2865 Tc (\)=)Tj /F10 1 Tf 1.7345 1.4093 TD 0 Tc ()Tj /F6 1 Tf 0.9154 -0.8311 TD (\012)Tj /F2 1 Tf 1.6381 0 TD (if)Tj /F6 1 Tf 0.9154 0 TD 0.3969 Tc (/)Tj /F5 1 Tf 0.9275 0 TD 0.2735 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 357 340.74 Tm 0 Tc (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 307.08 325.26 Tm ()Tj /F6 1 Tf -0.0964 0 TD ()Tj /F2 1 Tf 1.6381 0 TD (if)Tj /F6 1 Tf 0.9154 0 TD ()Tj /F5 1 Tf 0.9275 0 TD 0.2735 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 357 328.86 Tm 0 Tc (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 144 303.66 Tm -0.0875 Tc [(We)-390.3(r)-94(e)-89.2(f)-83.6(e)-89.2(r)-371(t)-84.9(o)-382.5()]TJ /F3 1 Tf 6.9738 0 0 6.9738 202.08 307.38 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 209.64 303.66 Tm 0.0052 Tc [(as)-275.3(t)7.8(h)6.1(e)-297.6(D)9.4(i)5.2(agon)6.1(al)5.2(i)5.2(z)3.5(at)7.8(i)5.2(o)-0.7(n)-270.9(M)5.8(ap)6.1(p)6.1(i)5.2(n)6.1(g)-0.7(.)-416.4(L)3.9(et)]TJ /F6 1 Tf 16.3091 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 380.64 307.38 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 388.08 303.66 Tm [(b)-23.2(e)-302.8(the)-302.8(c)-1.7(o)-5.9(r)-6.5(r)-6.5(e)-1.7(sp)-23.2(o)-5.9(nding)]TJ -24.4995 -1.1925 TD -0.0004 Tc [(ma)-6.3(pping)-331.5(ca)-6.3(r)-6.9(r)-6.9(y)-3.4(ing)]TJ /F1 1 Tf 8.0341 0 TD 0 Tc (N)Tj /F2 1 Tf 1.2286 0 TD -0.0026 Tc (to)Tj /F1 1 Tf 1.2286 0 TD 0 Tc (N)Tj /F2 1 Tf 0.9034 0 TD 0.0052 Tc [(,)-320.1(d)6.1(e)6.1(n)6.1(e)3.5(d)-331.1(b)30.2(y)-335(c)3.5(on)6.1(j)9.1(u)6.1(gat)7.8(i)5.2(o)-0.7(n)-307(o)-0.7(f)-328.2()]TJ /F3 1 Tf 6.9738 0 0 6.9738 384 295.38 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 391.8 291.78 Tm 0.0008 Tc [(b)25.8(y)-339.4()-325.8(a)-5.1(s)-327.9(f)4.7(o)-5.1(llo)19(ws:)]TJ /F6 1 Tf -11.8643 -2.2404 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 282.12 273.66 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 289.56 269.46 Tm 0.2709 Tc (=)Tj /F5 1 Tf 1.9031 0 TD 0 Tc ()Tj /F2 1 Tf 0.4938 0 TD ()Tj /F3 1 Tf 6.9738 0 0 6.9738 320.4 273.66 Tm ()Tj /F5 1 Tf 9.9626 0 0 9.9626 327.24 269.46 Tm ()Tj /F2 1 Tf 0.4939 0 TD ()Tj /F3 1 Tf 6.9738 0 0 6.9738 338.4 273.66 Tm ()Tj /F7 1 Tf 0.8949 0 TD (1)Tj /F2 1 Tf 9.9626 0 0 9.9626 144 247.26 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.9152 0 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 173.88 250.86 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 182.88 247.26 Tm 0.0232 Tc [(be)-436.2(t)25.8(h)24.1(e)-436.2(g)17.3(r)16.7(a)17.3(p)24.1(h)-409.5(o)17.3(f)]TJ /F6 1 Tf 7.5402 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 266.52 250.86 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 271.08 247.26 Tm 0.0014 Tc [(,)-480.4(a)-450.2(subset)-441.7(o)-4.5(f)]TJ /F1 1 Tf 6.1551 0 TD 0 Tc (N)Tj /F5 1 Tf 1.1925 0 TD ()Tj /F1 1 Tf 1.0841 0 TD (N)Tj /F2 1 Tf 0.9034 0 TD -0.001 Tc [(.)-796(W)86.5(e)-460.4(c)-2.7(o)-6.9(n)24(tend)-445.7(tha)-6.9(t)]TJ /F6 1 Tf 9.07 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 462.96 250.86 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 472.08 247.26 Tm (is)Tj -32.931 -1.2045 TD 0.0043 Tc [(recu)5.2(rsi)4.3(v)25.4(e.)-790.7(W)91.8(e)-467.1(ref)8.2(e)2.6(r)-447.9(t)6.9(o)-459.3(t)6.9(h)5.2(i)4.3(s)-456.9(b)5.2(asi)4.3(c)-455.1(f)8.2(a)-1.6(ct)-450.9(as)-444.9(t)6.9(h)5.2(e)-467.1(D)8.5(i)4.3(agon)5.2(al)4.3(i)4.3(z)2.6(at)6.9(i)4.3(o)-1.6(n)-428.4(T)3.6(h)5.2(e)2.6(orem)6.2(.)-802.7(I)3.9(t)]TJ 0 -1.1925 TD -0.0008 Tc [(fo)-6.7(llo)17.4(ws,)-326.1(i)-0.8(n)-337.1(t)1.8(ur)-7.3(n,)-326.1(tha)-6.7(t)]TJ /F6 1 Tf 9.3952 0 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 248.4 226.98 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 256.32 223.38 Tm 0.0003 Tc [(is)-328.4(decida)-5.6(ble.)]TJ -11.2741 -2.409 TD 0.0059 Tc (12)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 202.98 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 199.38 Tm -0.0001 Tc [(T)83.5(o)-283(pr)-6.6(o)18.1(v)21(e)-266.8(o)-6(ur)-271.6(co)-6(n)24.9(t)2.5(en)24.9(tio)-6(n)0.8(,)-289.2(w)23.3(e)-278.8(i)-0.1(n)24.9(t)2.5(r)-6.6(o)-30.1(duce)-278.8(t)2.5(he)-278.8(r)-6.6(ecur)-6.6(s)-3.6(iv)21(e)-266.8(m)1.8(a)-6(pping)-6(s)]TJ /F6 1 Tf 26.9932 0 TD 0 Tc ( )Tj /F2 1 Tf 0.8672 0 TD 0.0047 Tc [(carryi)4.7(n)5.6(g)]TJ /F1 1 Tf -30.0165 -1.1925 TD 0 Tc (N)Tj /F2 1 Tf 1.3009 0 TD -0.0026 Tc (to)Tj /F1 1 Tf 1.2768 0 TD 0 Tc (N)Tj /F2 1 Tf 1.3009 0 TD 0.0059 Tc [(an)6.8(d)]TJ /F6 1 Tf 1.9995 0 TD 0 Tc ( )Tj /F2 1 Tf 0.9154 0 TD 0.0047 Tc [(carryi)4.7(n)5.6(g)]TJ /F1 1 Tf 3.9869 0 TD 0 Tc (N)Tj /F5 1 Tf 1.1684 0 TD ()Tj /F1 1 Tf 1.0359 0 TD (N)Tj /F2 1 Tf 1.3009 0 TD -0.0026 Tc (to)Tj /F1 1 Tf 1.2768 0 TD 0 Tc (N)Tj /F2 1 Tf 1.3009 0 TD 0.0048 Tc [(su)5.7(c)27.2(h)-379.7(t)7.4(h)5.7(at)7.4(,)-416.8(f)8.7(or)-387.1(eac)27.2(h)]TJ /F6 1 Tf 8.7448 0 TD 0 Tc (m)Tj /F2 1 Tf 1.2768 0 TD (in)Tj /F1 1 Tf 1.2286 0 TD (N)Tj /F2 1 Tf 0.9034 0 TD 0.4096 Tc [(,i)409.6(f)]TJ /F6 1 Tf 1.6622 0 TD 0 Tc (m)Tj /F5 1 Tf 1.2647 0 TD ( )Tj /F2 1 Tf T* 0.3793 Tc (=0)Tj -31.9437 -1.2045 TD -0.0007 Tc (then:)Tj /F6 1 Tf 5.1914 -1.9392 TD 0 Tc (m)Tj /F2 1 Tf 1.1563 0 TD (=)Tj /F4 1 Tf 6.9738 0 0 6.9738 223.32 168.66 Tm ()Tj /F10 1 Tf 9.9626 0 0 9.9626 217.8 165.66 Tm ()Tj /F4 1 Tf 6.9738 0 0 6.9738 217.8 144.18 Tm (k)Tj /F7 1 Tf 0.6195 0 TD 0.0006 Tc (=0)Tj /F6 1 Tf 9.9626 0 0 9.9626 234 156.18 Tm 0 Tc ( )Tj /F2 1 Tf 0.5179 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.0013 Tc [(m,)-167.4(k)]TJ /F2 1 Tf 1.879 0 TD -0.0026 Tc [(\)1)-8.5(2)]TJ /F4 1 Tf 6.9738 0 0 6.9738 275.64 160.38 Tm 0 Tc (k)Tj /F2 1 Tf 9.9626 0 0 9.9626 300.36 156.18 Tm (\()Tj /F6 1 Tf 0.3854 0 TD ( )Tj /F2 1 Tf 0.6986 0 TD (=)Tj /F6 1 Tf 1.0479 0 TD ( )Tj /F2 1 Tf 0.5782 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD (m)Tj /F2 1 Tf 0.8793 0 TD (\))Tj /F6 1 Tf 0.3854 0 TD (,)Tj /F2 1 Tf 0.6263 0 TD (1)Tj /F5 1 Tf 0.7709 0 TD (\015)Tj /F6 1 Tf 1.06 0 TD ( )Tj /F2 1 Tf 0.5179 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.0013 Tc [(m,)-167.4(k)]TJ /F2 1 Tf 1.879 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6625 0 TD (\015)Tj /F2 1 Tf 1.06 0 TD 0.0059 Tc (12\))Tj -27.0171 -2.8426 TD -0.0003 Tc [(In)-336.6(this)-341.1(w)23.1(a)17.9(y)81(,)-313.5(w)23.1(e)-327.2(set)-335(t)2.3(he)-339.2(ba)-6.2(se)-327.2(fo)-6.2(r)-332(c)-2(o)-6.2(m)1.6(puting)-331.4()]TJ /F3 1 Tf 6.9738 0 0 6.9738 338.28 131.46 Tm 0 Tc ()Tj /F7 1 Tf 0.8949 0 TD (1)Tj /F2 1 Tf 9.9626 0 0 9.9626 348.96 127.86 Tm 0.0014 Tc [(.)-444.3(T)0.7(hen,)-335.9(b)26.4(y)-326.8(r)-5.1(e)-0.3(len)26.4(t)4(less)-327.3(a)-4.5(n)2.3(a)-4.5(l)1.4(ysis,)]TJ -20.5729 -1.1925 TD 0.0016 Tc [(one)-325.3(m)3.5(a)19.8(y)-326.6(pro)-28.4(ceed)-322.7(to)-341.6(pro)19.8(v)22.7(e)-301.2(t)4.2(hat)]TJ /F6 1 Tf 13.7796 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 289.8 119.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 297.72 115.98 Tm 0.0006 Tc [(is)-340.1(r)-5.9(ecur)-5.9(s)-2.9(iv)21.7(e.)-421(See)-326.3(a)-5.3(r)-5.9(t)3.2(icle)-326.3(3)-5.3(1)]TJ /F3 1 Tf 6.9738 0 0 6.9738 411.48 119.58 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 416.04 115.98 Tm (.)Tj /F9 1 Tf -10.7562 -2.409 TD (3)Tj ET endstream endobj 20 0 obj << /ProcSet [/PDF /Text /ImageB ] /Font << /F1 4 0 R /F2 5 0 R /F3 6 0 R /F4 7 0 R /F5 8 0 R /F6 9 0 R /F7 10 0 R /F8 11 0 R /F9 12 0 R /F10 21 0 R >> /XObject << /Im1 22 0 R >> /ExtGState << /GS1 13 0 R >> >> endobj 24 0 obj << /Length 15369 >> stream BT /F2 1 Tf 9.9626 0 0 9.9626 144 637.98 Tm 0 g /GS1 gs 0.0059 Tc 0 Tw (13)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 641.58 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 637.98 Tm -0.0836 Tc [(To)-390.6(s)-87.1(h)-82.7(o)-65.4(w)-385.4(t)-81(h)-82.7(a)-89.5(t)]TJ /F6 1 Tf 6.0467 0 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 236.52 641.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 244.2 637.98 Tm -0.0003 Tc [(is)-304.9(decida)-6.2(ble,)-313.5(w)23.1(e)-303.1(displa)17.9(y)-304.4(t)2.3(he)-303.1(c)22.1(h)0.6(a)-6.2(r)-6.8(a)-6.2(c)-2(ter)-6.8(i)-0.3(stic)-291.1(ma)-6.2(pping)-307.3(fo)-6.2(r)]TJ /F6 1 Tf -10.0576 -1.2045 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.8 629.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 159.36 625.98 Tm (:)Tj 9.2987 -1.1925 TD (1)Tj /F4 1 Tf 6.9738 0 0 6.9738 257.04 612.66 Tm (W)Tj /F11 1 Tf 4.9813 0 0 4.9813 265.56 614.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 270.24 614.1 Tm (\()Tj /F6 1 Tf 0.3854 0 TD 0.0341 Tc [(k,)-134.6( )]TJ /F2 1 Tf 1.4213 0 TD 0.2745 Tc [(\)=)-8.5(1)]TJ /F5 1 Tf 2.4452 0 TD 0.2227 Tc (|)Tj /F6 1 Tf 1.2768 0 TD 0 Tc ( )Tj /F5 1 Tf 0.6384 0 TD ()Tj /F6 1 Tf 0.9997 0 TD (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 350.16 618.1801 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 354.72 614.1 Tm (\()Tj /F6 1 Tf 0.3854 0 TD (k)Tj /F2 1 Tf 0.5541 0 TD (\))Tj /F5 1 Tf 0.3854 0 TD (|)Tj /F2 1 Tf -22.476 -1.8188 TD 0.0008 Tc [(wher)-5.7(e)]TJ /F6 1 Tf 2.8908 0 TD 0 Tc (k)Tj /F2 1 Tf 0.8913 0 TD 0.0059 Tc [(an)6.8(d)]TJ /F6 1 Tf 1.9393 0 TD 0 Tc ( )Tj /F2 1 Tf 0.7468 0 TD -0.0005 Tc [(a)-6.4(r)-7(e)-327.4(a)-6.4(n)24.5(y)-328.7(na)-6.4(tur)-7(a)-6.4(l)-325.8(n)24.5(um)25.5(b)-23.7(e)-2.2(r)-7(s)-4(.)-434.2(C)-1.2(lea)-6.4(r)-7(ly)80.8(,)-325.8(1)]TJ /F4 1 Tf 6.9738 0 0 6.9738 364.56 594.54 Tm 0 Tc (W)Tj /F11 1 Tf 4.9813 0 0 4.9813 373.08 596.46 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 381 595.98 Tm 0.0019 Tc [(is)-326.8(recursiv)23(e.)]TJ /F1 1 Tf -23.7889 -2.397 TD 0.003 Tc [(T)8(h)2.6(e)-385.4(R)-2.3(epr)6.2(e)0(sen)38.7(t)4.3(a)7.9(t)4.3(ion)-370.8(T)8(heor)6.2(em)]TJ /F2 1 Tf T* 0.0059 Tc (14)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 551.8201 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 548.22 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.8188 0 TD 0 Tc (T)Tj /F2 1 Tf 1.0841 0 TD 0.0045 Tc [(b)-18.7(e)-370.6(an)29.5(y)-347.8(s)1(u)5.4(b)5.4(s)1(et)-354.3(of)]TJ /F1 1 Tf 7.5764 0 TD 0 Tc (N)Tj /F2 1 Tf 0.9034 0 TD -0.0008 Tc [(.)-518.8(W)86.7(e)-375.9(c)-2.5(o)-6.7(n)24.2(tend)-349.2(tha)-6.7(t)-359.6(if)]TJ /F6 1 Tf 9.4675 0 TD 0 Tc (T)Tj /F2 1 Tf 1.0841 0 TD 0.0001 Tc [(is)-364.7(decida)-5.8(ble)-350.9(t)2.7(hen)]TJ /F6 1 Tf 7.7571 0 TD 0 Tc (T)Tj /F2 1 Tf 1.0841 0 TD (is)Tj -32.9313 -1.2045 TD 0.0004 Tc [(syn)25.4(t)3(a)-5.5(c)-1.3(tica)-5.5(lly)-339.8(dena)-5.5(ble.)-481.4(In)-335.9(tur)-6.1(n)1.3(,)-348.9(l)0.4(et)]TJ /F6 1 Tf 15.7069 0 TD 0 Tc (W)Tj /F2 1 Tf 1.4334 0 TD 0.0045 Tc [(b)-18.7(e)-346.5(an)29.5(y)-335.7(s)1(u)5.4(b)5.4(s)1(et)-342.3(of)]TJ /F1 1 Tf 7.5041 0 TD 0 Tc (N)Tj /F5 1 Tf 1.1322 0 TD ()Tj /F1 1 Tf 1.0118 0 TD (N)Tj /F2 1 Tf 0.9034 0 TD 0.4818 Tc [(.W)569.3(e)130.8(c)480.1(o)475.9(n)506.8(t)484.4(e)480.1(n)482.7(d)]TJ -27.6918 -1.2045 TD -0.0009 Tc [(tha)-6.8(t)-407.9(if)]TJ /F6 1 Tf 3.2281 0 TD 0 Tc (W)Tj /F2 1 Tf 1.4936 0 TD 0.0001 Tc [(is)-400.9(decida)-5.8(ble)-411.1(t)2.7(hen)]TJ /F6 1 Tf 7.8896 0 TD 0 Tc (W)Tj /F2 1 Tf 1.4936 0 TD 0.0005 Tc [(is)-400.5(syn)25.5(t)3.1(a)-5.4(c)-1.2(tica)-5.4(lly)-400(dena)-5.4(ble.)-662(W)88(e)-410.7(r)-6(e)-1.2(fer)-403.5(t)3.1(o)-414.9(t)3.1(hese)]TJ -14.1048 -1.1925 TD -0.0007 Tc [(funda)-6.6(men)24.3(t)1.9(a)-6.6(l)-422.3(fa)-6.6(cts)-437.8(a)-6.6(s)-413.7(t)1.9(he)-436(Repr)-7.2(esen)24.3(ta)-6.6(tio)-6.6(n)-409.3(Theo)-6.6(r)-7.2(e)-2.4(m.)-711.4(F)85.2(o)-6.6(r)-428.8(t)1.9(he)-436(pr)-7.2(o)-30.7(o)-6.6(fs)-413.7(o)-6.6(f)-430.5(these)]TJ 0 -1.2045 TD 0.0022 Tc [(con)27.2(t)4.8(en)27.2(tions,)-323.1(see)-324.7(a)-3.7(rticle)-324.7(32)]TJ /F3 1 Tf 6.9738 0 0 6.9738 256.08 503.94 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 260.52 500.34 Tm (.)Tj /F1 1 Tf -11.6957 -2.397 TD 0.0043 Tc [(T)9.3(h)3.9(e)-384.1(F)4.6(ix)8(ed)-381.5(P)43.5(o)1.1(in)40(t)-379.8(T)9.3(h)3.9(e)1.3(or)7.5(em)]TJ /F2 1 Tf T* 0.0059 Tc (15)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 456.18 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 452.58 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.8188 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.5059 0 TD -0.025 Tc [(\))-383.8(b)-48.2(e)-388(a)-30.9(ny)-365.2(s)-28.5(e)-26.7(nt)-22.4(e)-26.7(n)-24.1(c)-26.7(e)-376(i)-25(n)]TJ /F5 1 Tf 9.2145 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 297.48 456.18 Tm (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 304.08 452.58 Tm -0.0002 Tc [(.)-494.1(W)87.3(e)-363.2(c)-1.9(o)-6.1(n)24.8(tend)-336.5(tha)-6.1(t)-359(ther)-6.7(e)-351.2(i)-0.2(s)-353(a)-343.4(s)-3.7(e)-1.9(n)24.8(t)2.4(ence)]TJ /F6 1 Tf 16.9114 0 TD 0 Tc ()Tj /F2 1 Tf -32.9794 -1.2045 TD (in)Tj /F5 1 Tf 1.1684 0 TD (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 162.48 444.18 Tm (0)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 172.32 440.58 Tm 0.0036 Tc [(suc)26(h)-320.7(t)6.2(h)4.5(at)6.2(:)]TJ /F5 1 Tf 9.359 -1.2045 TD 0 Tc (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 273.96 427.14 Tm (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 283.2 428.58 Tm -0.223 Tc ()Tj /F10 1 Tf 1.3249 0.807 TD 0 Tc ()Tj /F6 1 Tf 0.6263 -0.807 TD ()Tj /F5 1 Tf 0.8913 0 TD -0.1689 Tc (\012)Tj /F6 1 Tf 2.1199 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.3493 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4336 0 TD (\))Tj /F10 1 Tf 0.5541 0.807 TD ()Tj /F2 1 Tf -20.9463 -2.6138 TD 0.0008 Tc [(wher)-5.7(e)]TJ /F6 1 Tf 2.9149 0 TD 0 Tc (b)Tj /F2 1 Tf 0.7348 0 TD 0.3071 Tc [(=)305.8(\()]TJ /F6 1 Tf 2.0959 0 TD 0 Tc ()Tj /F2 1 Tf 0.6143 0 TD 0.0043 Tc [(\))6.9(.)-501.6(W)91.8(e)-358.7(ref)8.2(e)2.6(r)-339.5(t)6.9(o)-350.9(t)6.9(h)5.2(i)4.3(s)-348.5(b)5.2(asi)4.3(c)-346.7(f)8.2(a)-1.6(ct)-342.4(as)-336.5(t)6.9(h)5.2(e)-358.7(s)0.8(t)6.9(r)-2.2(on)5.2(g)-338.9(\()6.9(syn)29.3(t)6.9(act)6.9(i)4.3(c\))-342.5(f)8.2(o)-1.6(rm)-343.1(of)]TJ -6.3598 -1.2045 TD 0.0003 Tc [(the)-338.6(F)1.9(ixed)-336(P)17.8(o)-5.6(in)25.3(t)-310.3(T)-0.4(heo)-5.6(r)-6.2(em.)]TJ 0 -2.397 TD 0.0059 Tc (16)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 378.3 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 374.7 Tm 0.0048 Tc [(Let)-269.7(u)5.7(s)-275.7(p)5.7(ro)23(v)25.9(e)-249.8(t)7.4(h)5.7(e)-285.9(c)3.1(on)29.8(t)7.4(e)3.1(n)29.8(t)7.4(i)4.8(o)-1.1(n)5.7(.)-404.8(By)-275.2(con)5.7(j)8.7(oi)4.8(n)5.7(i)4.8(n)5.7(g)-266.1(t)7.4(h)5.7(e)-273.9(D)9(i)4.8(agon)5.7(al)4.8(i)4.8(z)3.1(at)7.4(i)4.8(o)-1.1(n)-247.2(T)4.1(h)5.7(e)3.1(orem)]TJ -2.1561 -1.2045 TD 0.0016 Tc [(and)-286.6(t)4.2(he)-301.2(Represen)26.6(tation)-286.6(Theorem,)-287.5(w)25(e)-301.2(ma)19.8(y)-290.5(i)1.6(n)26.6(t)4.2(ro)-28.4(duce)-289.1(a)-293.4(sen)26.6(t)4.2(ence)]TJ /F6 1 Tf 27.6316 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 424.08 366.3 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 428.76 362.7 Tm (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.2986 Tc [(\)i)298.6(n)]TJ /F5 1 Tf 1.8188 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 472.2 366.3 Tm (2)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 144 350.7 Tm 0.0036 Tc [(suc)26(h)-380.9(t)6.2(h)4.5(at)]TJ /F6 1 Tf 4.529 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 193.92 354.42 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 198.6 350.7 Tm (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.0001 Tc [(\))-394.8(s)-3.4(yn)25.1(ta)-5.8(ctica)-5.8(lly)-376.3(denes)]TJ /F6 1 Tf 9.9854 0 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 327.36 354.42 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 331.92 350.7 Tm 0.0021 Tc [(.)-612.2(W)89.6(e)-397.1(m)4(ean)-382.4(t)4.7(o)-389.2(s)-1.4(a)20.3(y)-374.3(that)-392.8(condition)]TJ -18.8625 -1.1925 TD -0.0006 Tc [(\(3)-6.5(\))-323.3(i)-0.6(n)-336.9(a)-6.5(r)-7.1(t)2(icle)-327.5(0)-6.5(9)]TJ /F3 1 Tf 6.9738 0 0 6.9738 212.16 342.42 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 219.84 338.82 Tm -0.0011 Tc [(is)-329.8(v)56.1(a)-7(lid)-325.4(fo)-7(r)-332.8(t)1.5(he)-340(ma)-7(pping)]TJ /F6 1 Tf 10.7683 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 335.64 342.42 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 343.44 338.82 Tm 0.0047 Tc [(carryi)4.7(n)5.6(g)]TJ /F1 1 Tf 3.9267 0 TD 0 Tc (N)Tj /F2 1 Tf 1.2286 0 TD -0.0026 Tc (to)Tj /F1 1 Tf 1.2166 0 TD 0 Tc (N)Tj /F2 1 Tf 0.9034 0 TD 0.0001 Tc [(.)-433.6(W)3.3(itho)-5.8(ut)-334.6(lo)-5.8(ss)]TJ -27.2941 -1.2045 TD 0.0049 Tc [(of)-316.4(gen)5.8(e)3.2(ral)4.9(i)4.9(t)31.5(y)86.2(,)-308.3(w)28.3(e)-322(m)6.8(a)23.1(y)-311.3(a)-1(ssu)5.8(m)6.8(e)-322(t)7.5(h)5.8(at)]TJ /F6 1 Tf 15.1769 0 TD 0 Tc ()Tj /F5 1 Tf 0.795 0 TD ( )Tj /F2 1 Tf T* (=)Tj /F6 1 Tf 1.0479 0 TD ()Tj /F2 1 Tf 0.8672 0 TD 0.0059 Tc [(an)6.8(d)]TJ /F6 1 Tf 1.9393 0 TD 0 Tc ()Tj /F5 1 Tf 0.7829 0 TD ( )Tj /F2 1 Tf T* (=)Tj /F6 1 Tf 1.06 0 TD ()Tj /F2 1 Tf 0.4938 0 TD 0.4457 Tc [(.L)444.4(e)444(t)]TJ /F6 1 Tf 2.5054 0 TD 0 Tc (\015)Tj /F2 1 Tf 0.5782 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.53 0 TD 0.001 Tc [(\))-333.7(b)-22.2(e)-325.9(t)3.6(he)-337.9(sen)26(t)3.6(ence)]TJ -26.162 -1.1925 TD 0 Tc (in)Tj /F5 1 Tf 1.1684 0 TD (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 162.48 318.54 Tm (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 172.32 314.94 Tm 0.0005 Tc [(dened)-335.8(a)-5.4(s)-328.2(f)4.4(o)-5.4(llo)18.7(ws:)]TJ /F6 1 Tf 7.4077 -2.2163 TD 0 Tc (\015)Tj /F2 1 Tf 0.5782 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.53 0 TD 0.2745 Tc [(\)=)-8.5(\()]TJ /F5 1 Tf 2.1079 0 TD 0 Tc ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\()Tj /F6 1 Tf 0.7709 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 304.92 296.94 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 309.6 292.86 Tm (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6745 0 TD -0.1627 Tc ()Tj /F6 1 Tf 1.8911 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\))Tj -22.5604 -2.2042 TD 0.0015 Tc (Let)Tj /F6 1 Tf 1.7947 0 TD 0 Tc (c)Tj /F2 1 Tf 0.7107 0 TD 0.2709 Tc [(=)269.6(\()]TJ /F6 1 Tf 2.0597 0 TD 0 Tc (\015)Tj /F2 1 Tf 0.5782 0 TD -0.0006 Tc [(\).)-446.3(Let)]TJ /F6 1 Tf 2.9029 0 TD 0 Tc ()Tj /F2 1 Tf 0.9516 0 TD [(b)-23.2(e)-338.9(the)-338.9(s)-3.5(en)25(tence)-326.9(i)0(n)]TJ /F5 1 Tf 8.2268 0 TD (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 322.44 274.5 Tm (0)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 332.28 270.9 Tm 0.0005 Tc [(dened)-335.8(a)-5.4(s)-328.2(f)4.4(o)-5.4(llo)18.7(ws:)]TJ /F6 1 Tf -12.4666 -2.2163 TD 0 Tc ()Tj /F2 1 Tf 0.8913 0 TD 0.283 Tc (=)Tj /F3 1 Tf 6.9738 0 0 6.9738 235.8 253.02 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 240.36 248.82 Tm (\()Tj /F6 1 Tf 0.3854 0 TD (\015)Tj /F2 1 Tf 0.5782 0 TD 0.2745 Tc [(\)=)-44.6()]TJ /F6 1 Tf 1.7225 0 TD 0 Tc (\015)Tj /F2 1 Tf 0.8552 0 TD (=)Tj /F6 1 Tf 1.0479 0 TD (\015)Tj /F2 1 Tf 0.5782 0 TD 0.0215 Tc (\()Tj /F6 1 Tf 0.3855 0 TD 0 Tc (c)Tj /F2 1 Tf 0.4336 0 TD 0.2865 Tc [(\)=)15.6(\()]TJ /F5 1 Tf 2.1079 0 TD 0 Tc ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\()Tj /F6 1 Tf 0.7709 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 343.92 253.02 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 348.72 248.82 Tm 0.0215 Tc (\()Tj /F6 1 Tf 0.3854 0 TD 0.0016 Tc [(c,)-167.1()]TJ /F2 1 Tf 1.3731 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6625 0 TD -0.1627 Tc ()Tj /F6 1 Tf 1.8911 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.4938 0 TD -0.0026 Tc (\)\))Tj -26.3786 -2.2042 TD 0.0015 Tc (Let)Tj /F6 1 Tf 1.7947 0 TD 0 Tc (b)Tj /F2 1 Tf 0.6986 0 TD 0.283 Tc [(=)281.7(\()]TJ /F6 1 Tf 2.0718 0 TD 0 Tc ()Tj /F2 1 Tf 0.6143 0 TD -0.0003 Tc [(\).)-458(By)-328.5(denitio)-6.2(n)0.6(,)]TJ /F6 1 Tf 7.4078 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 277.92 230.46 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 282.48 226.86 Tm (\()Tj /F6 1 Tf 0.3854 0 TD (c)Tj /F2 1 Tf 0.4336 0 TD 0.2865 Tc (\)=)Tj /F6 1 Tf 1.7345 0 TD 0 Tc (b)Tj /F2 1 Tf 0.4336 0 TD -0.0016 Tc [(.)-435.3(B)-4.3(y)-329.8(c)-3.3(o)-7.5(nditio)-7.5(n)-337.9(\(3)-7.5(\):)]TJ /F5 1 Tf -7.2029 -2.2163 TD 0 Tc (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 248.88 203.34 Tm (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 258.12 204.78 Tm -0.223 Tc ()Tj /F2 1 Tf 1.337 0 TD 0 Tc (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.4938 0 TD -0.0026 Tc (\)\()Tj /F6 1 Tf 0.7709 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 298.2 208.98 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 302.88 204.78 Tm 0.0215 Tc (\()Tj /F6 1 Tf 0.3855 0 TD 0.0016 Tc [(c,)-167.1()]TJ /F2 1 Tf 1.3731 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6745 0 TD -0.1689 Tc (\012)Tj /F2 1 Tf 2.1079 0 TD 0 Tc (\()Tj 0.3492 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F5 1 Tf 0.7107 0 TD ( )Tj /F6 1 Tf 1.06 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\))Tj -23.1385 -2.2042 TD 0.0018 Tc [(By)-326.4(elemen)26.8(tary)-326.4(steps,)-323.5(w)25.2(e)-337.1(complete)-325.1(the)-337.1(p)2.7(ro)-28.2(of)5.7(:)]TJ /F5 1 Tf 3.6737 -2.1561 TD 0 Tc (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 189 159.9 Tm (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 198.24 161.34 Tm -0.223 Tc ()Tj /F10 1 Tf 1.325 0.807 TD 0 Tc ()Tj /F2 1 Tf 0.6263 -0.807 TD (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.4938 0 TD -0.0026 Tc (\)\(\()Tj 1.1202 0.265 TD 0 Tc ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F5 1 Tf 0.7227 0 TD ( )Tj /F6 1 Tf 1.06 0 TD ()Tj /F2 1 Tf 0.4939 0 TD (\))Tj /F5 1 Tf 0.6745 0 TD -0.1747 Tc ()Tj /F6 1 Tf 1.879 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.4938 0 TD -0.0026 Tc (\)\))Tj /F5 1 Tf 1.072 0 TD -0.1689 Tc (\012)Tj /F2 1 Tf 2.1079 0 TD 0 Tc (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\()Tj /F6 1 Tf 0.7709 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 365.16 165.42 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 369.96 161.34 Tm 0.0215 Tc (\()Tj /F6 1 Tf 0.3855 0 TD 0.0016 Tc [(c,)-167.1()]TJ /F2 1 Tf 1.3731 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6745 0 TD -0.1747 Tc ()Tj /F6 1 Tf 1.879 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\))Tj /F10 1 Tf 0.9394 0.807 TD 0 Tc ()Tj /F5 1 Tf -25.7763 -2.409 TD (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 189 143.94 Tm (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 198.24 145.38 Tm -0.223 Tc ()Tj /F10 1 Tf 1.325 0.8191 TD 0 Tc ()Tj /F2 1 Tf 0.6263 -0.8191 TD (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.4938 0 TD -0.0026 Tc (\)\(\()Tj 1.1202 0.265 TD 0 Tc ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F5 1 Tf 0.7227 0 TD ( )Tj /F6 1 Tf 1.06 0 TD ()Tj /F2 1 Tf 0.4939 0 TD (\))Tj /F5 1 Tf 0.6745 0 TD -0.1747 Tc ()Tj /F6 1 Tf 1.879 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.4938 0 TD -0.0026 Tc (\)\))Tj /F5 1 Tf 1.072 0 TD -0.1689 Tc (\012)Tj /F6 1 Tf 2.1079 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.3492 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4457 0 TD (\))Tj /F10 1 Tf 0.5541 0.8191 TD ()Tj /F5 1 Tf -17.8627 -2.421 TD (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 189 127.98 Tm (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 198.24 129.42 Tm -0.223 Tc ()Tj /F10 1 Tf 1.325 0.8191 TD 0 Tc ()Tj /F6 1 Tf 0.6263 -0.8191 TD ()Tj /F5 1 Tf 0.9034 0 TD -0.1689 Tc (\012)Tj /F6 1 Tf 2.1079 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.3493 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4336 0 TD (\))Tj /F10 1 Tf 0.5541 0.8191 TD ()Tj /F9 1 Tf 4.1314 -4.5771 TD (4)Tj ET endstream endobj 25 0 obj << /ProcSet [/PDF /Text ] /Font << /F1 4 0 R /F2 5 0 R /F3 6 0 R /F4 7 0 R /F5 8 0 R /F6 9 0 R /F7 10 0 R /F9 12 0 R /F10 21 0 R /F11 26 0 R >> /ExtGState << /GS1 13 0 R >> >> endobj 28 0 obj << /Length 14027 >> stream BT /F2 1 Tf 9.9626 0 0 9.9626 144 637.98 Tm 0 g /GS1 gs 0.0059 Tc 0 Tw (17)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 641.58 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 637.98 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.8188 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.5059 0 TD -0.025 Tc [(\))-383.8(b)-48.2(e)-388(a)-30.9(ny)-365.2(s)-28.5(e)-26.7(nt)-22.4(e)-26.7(n)-24.1(c)-26.7(e)-376(i)-25(n)]TJ /F5 1 Tf 9.2145 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 297.48 641.58 Tm (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 304.08 637.98 Tm -0.0002 Tc [(.)-494.1(W)87.3(e)-363.2(c)-1.9(o)-6.1(n)24.8(tend)-336.5(tha)-6.1(t)-359(ther)-6.7(e)-351.2(i)-0.2(s)-353(a)-343.4(s)-3.7(e)-1.9(n)24.8(t)2.4(ence)]TJ /F6 1 Tf 16.9114 0 TD 0 Tc ()Tj /F2 1 Tf -32.9794 -1.2045 TD (in)Tj /F5 1 Tf 1.1684 0 TD (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 162.48 629.58 Tm (0)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 172.32 625.98 Tm 0.0036 Tc [(suc)26(h)-320.7(t)6.2(h)4.5(at)6.2(:)]TJ /F1 1 Tf 7.9256 -1.1925 TD 0 Tc (I)Tj /F2 1 Tf 0.4336 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.6143 0 TD 0.2848 Tc (\)=1)Tj /F5 1 Tf 3.0715 0 TD -0.1689 Tc ( )Tj /F1 1 Tf 2.662 0 TD 0 Tc (I)Tj /F2 1 Tf 0.4336 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.3492 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4457 0 TD -0.0026 Tc [(\)\))-277.1(=)-285.6(1)]TJ -20.2236 -1.9031 TD 0.0008 Tc [(wher)-5.7(e)]TJ /F6 1 Tf 2.939 0 TD 0 Tc (b)Tj /F2 1 Tf 0.807 0 TD 0.3673 Tc [(=)366(\()]TJ /F6 1 Tf 2.1561 0 TD 0 Tc ()Tj /F2 1 Tf 0.6143 0 TD 0.0041 Tc [(\))6.7(.)-610.2(W)91.6(e)-383(ref)8(e)2.4(r)-375.8(t)6.7(o)-387.2(t)6.7(h)5(i)4.1(s)-396.9(b)5(asi)4.1(c)-371(f)8(a)-1.8(ct)-378.8(as)-384.8(t)6.7(h)5(e)-383(w)27.5(eak)-372.3(\()6.7(sem)6(a)-1.8(n)29.1(t)6.7(i)4.1(c)2.4(\))-378.8(f)8(orm)-379.5(o)-1.8(f)]TJ -6.5164 -1.2045 TD 0.0003 Tc [(the)-338.6(F)1.9(ixed)-336(P)17.8(o)-5.6(in)25.3(t)-310.3(T)-0.4(heo)-5.6(r)-6.2(em.)]TJ 0 -2.397 TD 0.0059 Tc (18)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 562.86 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 559.26 Tm 0.0042 Tc [(T)87.8(o)-411.2(p)5.1(r)-2.3(o)22.4(v)25.3(e)-382.9(t)6.8(h)5.1(e)-419(con)29.2(t)6.8(en)29.2(t)6.8(i)4.2(on)5.1(,)-417.4(w)27.6(e)-395(n)5.1(eed)-404.4(on)5.1(l)4.2(y)-408.3(revi)4.2(ew)-394(t)6.8(h)5.1(e)-419(f)8.1(oregoi)4.2(n)5.1(g)-387.1(argu)5.1(m)6.1(e)2.5(n)29.2(t)6.8(.)]TJ -2.1561 -1.2045 TD [(Of)-401.6(cou)5(r)-2.4(se,)]TJ /F6 1 Tf 4.9144 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 197.76 550.98 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 202.44 547.26 Tm (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.0001 Tc [(\))-406.9(s)-3.4(ema)-5.8(n)25.1(tica)-5.8(lly)-388.3(denes)]TJ /F6 1 Tf 9.9493 0 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 330.84 550.98 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 335.4 547.26 Tm 0.0047 Tc [(.)-657.8(B)2(y)-395.8(s)1.2(t)7.3(r)-1.8(ai)4.7(gh)29.7(t)7.3(f)8.6(orw)28.1(a)-1.2(rd)-355.7(i)4.7(n)5.6(sp)-18.5(ect)7.3(i)4.7(o)-1.2(n)5.6(,)]TJ -19.2118 -1.1925 TD 0.0045 Tc [(w)27.9(e)-322.4()5.4(n)5.4(d)-331.8(t)7.1(h)5.4(at)7.1(,)-332.8(r)-2(el)4.5(at)7.1(i)4.5(v)25.6(e)-322.4(t)7.1(o)]TJ /F1 1 Tf 10.6961 0 TD 0 Tc (I)Tj /F2 1 Tf 0.4336 0 TD (,)Tj /F6 1 Tf 0.6143 0 TD ()Tj /F2 1 Tf 0.9516 0 TD -0.0009 Tc [(is)-341.6(tr)-7.4(ue)-327.8(i)]TJ /F6 1 Tf 4.3122 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.3491 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4457 0 TD 0.3347 Tc [(\)i)334.7(s)6(t)337.3(r)328.2(u)335.6(e)333(.)]TJ /F1 1 Tf -18.477 -2.397 TD -0.1014 Tc [(Ta)-96.5(r)-98.2(s)-106.1(k)-97.7(i)]TJ /F2 1 Tf 0 -2.409 TD 0.0059 Tc (19)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 491.1 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 487.5 Tm -0.0003 Tc [(W)87.2(e)-267(co)-6.2(n)24.7(t)2.3(end)-264.4(t)2.3(ha)-6.2(t)-262.7(t)2.3(he)-267(tr)-6.8(uth)-264.4(s)-3.8(et)]TJ /F1 1 Tf 13.1051 0 TD 0 Tc (T)Tj /F2 1 Tf 1.072 0 TD -0.0013 Tc [(fo)-7.2(r)-260.7(t)1.3(he)-268(sta)-7.2(nda)-7.2(r)-7.8(d)-241.3(in)23.7(ter)-7.8(p)-0.4(r)-7.8(e)-3(ta)-7.2(tio)-7.2(n)-253.3(o)-7.2(f)-262.4(Ar)-7.8(ith-)]TJ -16.3332 -1.1925 TD 0.0002 Tc [(metic)-447.1(i)0.2(s)-449(n)1.1(o)-5.7(t)-442.9(sema)-5.7(n)25.2(t)2.8(ica)-5.7(lly)-436.4(dena)-5.7(ble.)-782.8(This)-449(a)-5.7(sser)-6.3(t)2.8(io)-5.7(n)-432.5(i)0.2(s)-436.9(t)2.8(he)-459.2(substa)-5.7(nce)-435.1(o)-5.7(f)-441.6(t)2.8(he)]TJ 0 -1.2045 TD 0.0025 Tc [(Theorem)-332.9(o)-3.4(f)-342.9(T)86.1(arski.)-467.3(T)86.1(o)-340.7(pro)20.7(v)23.6(e)-324.4(t)5.1(he)-348.5(con)27.5(t)5.1(en)]TJ 17.6582 0 TD -0.0001 Tc [(tio)-6(n)0.8(,)-337.4(w)23.3(e)-351.1(a)-6(r)-6.6(g)-6(ue)-327(b)24.9(y)-352.4(co)-6(n)24.9(t)2.5(r)-6.6(a)-6(dictio)-6(n.)-457.8(Let)]TJ -17.6582 -1.2045 TD 0.0001 Tc [(us)-328.6(supp)-23.1(o)-5.8(s)-3.4(e)-326.8(t)2.7(ha)-5.8(t)-334.6(t)2.7(her)-6.4(e)-326.8(is)-328.6(a)-331(s)-3.4(en)25.1(tence)]TJ /F6 1 Tf 15.5623 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.5059 0 TD 0.3468 Tc [(\)i)346.8(n)]TJ /F5 1 Tf 1.8911 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 339.96 455.34 Tm (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 349.8 451.62 Tm 0.0001 Tc [(whic)22.5(h)-324.2(s)-3.4(ema)-5.8(n)25.1(tica)-5.8(lly)-328.1(denes)]TJ /F1 1 Tf 11.8645 0 TD 0 Tc (T)Tj /F2 1 Tf 0.795 0 TD (.)Tj -33.3166 -1.1925 TD [(By)-328.2(the)-326.9(w)23.4(ea)-5.9(k)-316.2(\()2.6(s)-3.5(e)-1.7(ma)-5.9(n)25(t)2.6(ic\))-334.7(f)3.9(o)-5.9(r)-6.5(m)-311.3(o)-5.9(f)-321.3(t)2.6(he)-338.9(Fixed)-324.3(P)17.5(o)-5.9(i)0(n)25(t)-310.6(Theo)-5.9(r)-6.5(e)-1.7(m,)-325.3(w)23.4(e)-326.9(ma)18.2(y)-316.2(i)0(n)25(t)2.6(r)-6.5(o)-30(duce)]TJ 0 -1.2045 TD 0.2829 Tc [(as)279.4(e)281.2(n)307.9(t)285.5(e)281.2(n)283.8(c)281.2(e)]TJ /F6 1 Tf 4.7096 0 TD 0 Tc ()Tj /F2 1 Tf 0.9034 0 TD (in)Tj /F5 1 Tf 1.1082 0 TD (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 217.8 431.34 Tm (0)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 227.16 427.74 Tm 0.0036 Tc [(suc)26(h)-272.5(t)6.2(h)4.5(at)]TJ /F6 1 Tf 4.3242 0 TD 0 Tc ()Tj /F2 1 Tf 0.8913 0 TD -0.0009 Tc [(is)-293.5(tr)-7.4(ue)-279.6(i)-285.1(\()]TJ /F5 1 Tf 4.5531 0 TD 0 Tc ()Tj /F6 1 Tf 0.6625 0 TD ()Tj /F2 1 Tf 0.6384 0 TD -0.0026 Tc (\)\()Tj 0.7346 0.265 TD 0 Tc ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4457 0 TD 0.2865 Tc [(\)i)286.5(s)6(t)289.1(r)280(u)287.4(e)7.8(i)286.5()]TJ /F6 1 Tf 4.8301 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.3492 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4336 0 TD 0.2878 Tc [(\)i)287.8(s)7.3(f)291.7(a)281.9(l)287.8(s)284.3(e)286.1(,w)287.1(h)288.7(e)286.1(r)281.3(e)]TJ /F6 1 Tf -26.9206 -1.1925 TD 0 Tc (b)Tj /F2 1 Tf 0.7107 0 TD 0.2709 Tc [(=)269.6(\()]TJ /F6 1 Tf 2.0597 0 TD 0 Tc ()Tj /F2 1 Tf 0.6143 0 TD -0.0003 Tc [(\).)-458.1(Hence:)]TJ /F6 1 Tf 9.2144 -1.2045 TD 0 Tc (b)Tj /F5 1 Tf 0.7107 0 TD ()Tj /F1 1 Tf 0.9395 0 TD (T)Tj /F5 1 Tf 1.6381 0 TD -0.1689 Tc ( )Tj /F6 1 Tf 2.662 0 TD 0.3901 Tc (b/)Tj /F5 1 Tf 0.7107 0 TD 0 Tc ()Tj /F1 1 Tf 0.9395 0 TD (T)Tj /F2 1 Tf -20.1995 -1.9031 TD -0.0001 Tc [(By)-328.3(this)-340.8(co)-6(n)24.9(t)2.5(r)-6.6(a)-6(dictio)-6(n,)-325.4(w)23.3(e)-327(infer)-331.8(t)2.5(ha)-6(t)]TJ /F1 1 Tf 15.8273 0 TD 0 Tc (T)Tj /F2 1 Tf 1.1322 0 TD [(is)-340.7(no)-5.9(t)-322.7(s)-3.5(ema)-5.9(n)25(tica)-5.9(lly)-328.2(dena)-5.9(ble.)]TJ /F1 1 Tf -16.9595 -2.397 TD -0.0036 Tc [(Th)-4(e)-392(D)-1.9(e)-6.6(d)-4(u)-4(c)1.5(ti)-9.8(o)-6.8(n)-389.4(Th)-4(e)-6.6(o)-6.8(re)-6.6(m)]TJ /F2 1 Tf T* 0.0059 Tc (20)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 340.74 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 337.14 Tm 0.0015 Tc (Let)Tj /F5 1 Tf 1.6863 0 TD 0 Tc (D)Tj /F4 1 Tf 6.9738 0 0 6.9738 189.96 335.7 Tm (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 198.6 337.14 Tm 0.0002 Tc [(b)-23(e)-230.3(the)-230.3(s)-3.3(ubset)-214.1(o)-5.7(f)-224.8()]TJ /F3 1 Tf 6.9738 0 0 6.9738 274.08 340.74 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 280.8 337.14 Tm 0.0054 Tc [(con)6.3(s)1.9(i)5.4(s)1.9(t)8(i)5.4(n)6.3(g)-217.3(of)-207.5(al)5.4(l)-211.4(s)1.9(t)8(r)-1.1(i)5.4(n)6.3(gs)]TJ /F6 1 Tf 9.9493 0 TD 0 Tc ( )Tj /F2 1 Tf 0.807 0 TD -0.0002 Tc [(whic)22.2(h)-216.1(a)-6.1(r)-6.7(e)-218.7(iden)24.8(tia)-6.1(ble)]TJ -24.4876 -1.2045 TD -0.0003 Tc [(with)-348.7(pr)-6.8(o)-6.2(p)-23.5(er)-332(deductio)-6.2(n)0.6(s)-353.1(f)3.6(r)-6.8(o)-6.2(m)]TJ /F5 1 Tf 12.8883 0 TD 0 Tc (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 280.8 323.7 Tm (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 287.28 325.14 Tm 0.0002 Tc [(.)-469.6(F)86.1(o)-5.7(r)-343.6(ea)-5.7(c)22.6(h)-336.1(pr)-6.3(o)-5.7(p)-23(er)-331.5(deductio)-5.7(n)]TJ /F6 1 Tf 12.6474 0 TD 0 Tc ( )Tj /F2 1 Tf 0.9275 0 TD (in)Tj /F5 1 Tf 1.1804 0 TD (D)Tj /F4 1 Tf 6.9738 0 0 6.9738 441.96 323.7 Tm (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 448.44 325.14 Tm 0.3373 Tc [(,l)337.3(e)335.6(t)]TJ /F6 1 Tf 2.0718 0 TD 0 Tc ()Tj /F4 1 Tf 6.9738 0 0 6.9738 473.52 323.7 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 144 313.14 Tm 0.0018 Tc [(b)-21.4(e)-361.2(the)-361.2(c)0.1(onsequence)-349.2(of)]TJ /F6 1 Tf 9.9734 0 TD 0 Tc ( )Tj /F2 1 Tf 0.5782 0 TD 0.0012 Tc [(,)-372.2(a)-354(sen)26.2(t)3.8(ence)-361.8(in)]TJ /F5 1 Tf 6.7091 0 TD 0 Tc (L)Tj /F4 1 Tf 6.9738 0 0 6.9738 322.8 311.7 Tm (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 329.28 313.14 Tm 0.53 Tc [(.L)528.7(e)528.3(t)171.2()]TJ /F3 1 Tf 6.9738 0 0 6.9738 362.4 316.86 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 370.56 313.14 Tm -0.0004 Tc [(b)-23.6(e)-363.4(the)-363.4(m)1.5(a)-6.3(pping)-367.6(ca)-6.3(r)-6.9(r)-6.9(y)-3.4(ing)]TJ -22.741 -1.1925 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 151.2 304.86 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 159.12 301.26 Tm [(to)-331.1(itself,)-337.3(d)0.9(ened)-336.3(a)-5.9(s)-328.7(f)3.9(o)-5.9(llo)18.2(ws:)]TJ 9.7805 -2.951 TD ()Tj /F3 1 Tf 6.9738 0 0 6.9738 263.52 276.06 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 268.08 271.86 Tm (\()Tj /F6 1 Tf 0.3854 0 TD ( )Tj /F2 1 Tf 0.5782 0 TD 0.2865 Tc (\)=)Tj /F10 1 Tf 1.7345 1.4093 TD 0 Tc ()Tj /F6 1 Tf 0.9154 -0.8552 TD (\012)Tj /F2 1 Tf 1.9633 0 TD (if)Tj /F6 1 Tf 0.9154 0 TD 0.3927 Tc ( /)Tj /F5 1 Tf 0.8673 0 TD 0.2735 Tc (D)Tj /F4 1 Tf 6.9738 0 0 6.9738 358.44 275.94 Tm 0 Tc (A)Tj /F6 1 Tf 9.9626 0 0 9.9626 304.08 265.38 Tm ()Tj /F4 1 Tf 6.9738 0 0 6.9738 308.52 263.94 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 323.64 265.38 Tm (if)Tj /F6 1 Tf 0.9154 0 TD ( )Tj /F5 1 Tf 0.8672 0 TD 0.2735 Tc (D)Tj /F4 1 Tf 6.9738 0 0 6.9738 358.44 263.94 Tm 0 Tc (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 144 242.58 Tm -0.0875 Tc [(We)-571(r)-94(e)-89.2(f)-83.6(e)-89.2(r)-551.7(t)-84.9(o)-575.2()]TJ /F3 1 Tf 6.9738 0 0 6.9738 207.6 246.18 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 216.84 242.58 Tm 0.0059 Tc [(as)-467.3(t)8.5(h)6.8(e)]TJ /F8 1 Tf 3.2401 0 TD -0.0045 Tc [(D)-8.3(e)46(du)-10.5(ct)-9.8(ion)-490.4(M)0.2(appin)-8.6(g)]TJ /F2 1 Tf 8.6845 0 TD 0.9034 Tc [(.L)902.1(e)901.7(t)]TJ /F6 1 Tf 3.1076 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 375.12 246.18 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 384.48 242.58 Tm [(b)-23.2(e)-483.5(the)-483.5(c)-1.7(o)-5.9(r)-6.5(r)-6.5(e)-1.7(sp)-23.2(o)-5.9(nding)]TJ -24.1382 -1.2045 TD -0.0004 Tc [(ma)-6.3(pping)-331.5(ca)-6.3(r)-6.9(r)-6.9(y)-3.4(ing)]TJ /F1 1 Tf 8.0341 0 TD 0 Tc (N)Tj /F2 1 Tf 1.2286 0 TD -0.0006 Tc [(to)-343.8(itself,)-337.9(d)0.3(ened)-336.9(b)24.4(y)-328.8(c)-2.3(o)-6.5(n)0.3(jug)-6.5(a)-6.5(t)2(io)-6.5(n)-324.9(o)-6.5(f)-334()]TJ /F3 1 Tf 6.9738 0 0 6.9738 395.88 234.18 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 403.68 230.58 Tm 0.0008 Tc [(b)25.8(y)-327.4()-337.8(a)-5.1(s)-327.9(f)4.7(o)-5.1(llo)19(ws:)]TJ /F6 1 Tf -13.0568 -2.397 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 282.12 210.78 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 289.56 206.7 Tm 0.2709 Tc (=)Tj /F5 1 Tf 1.9031 0 TD 0 Tc ()Tj /F2 1 Tf 0.4938 0 TD ()Tj /F3 1 Tf 6.9738 0 0 6.9738 320.4 210.78 Tm ()Tj /F5 1 Tf 9.9626 0 0 9.9626 327.24 206.7 Tm ()Tj /F2 1 Tf 0.4939 0 TD ()Tj /F3 1 Tf 6.9738 0 0 6.9738 338.4 210.78 Tm ()Tj /F7 1 Tf 0.8949 0 TD (1)Tj /F2 1 Tf 9.9626 0 0 9.9626 144 182.82 Tm 0.0015 Tc (Let)Tj /F6 1 Tf 1.9152 0 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 173.88 186.42 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 182.88 182.82 Tm 0.0232 Tc [(be)-436.2(t)25.8(h)24.1(e)-436.2(g)17.3(r)16.7(a)17.3(p)24.1(h)-409.5(o)17.3(f)]TJ /F6 1 Tf 7.5402 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 266.52 186.42 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 271.08 182.82 Tm 0.0014 Tc [(,)-480.4(a)-450.2(subset)-441.7(o)-4.5(f)]TJ /F1 1 Tf 6.1551 0 TD 0 Tc (N)Tj /F5 1 Tf 1.1925 0 TD ()Tj /F1 1 Tf 1.0841 0 TD (N)Tj /F2 1 Tf 0.9034 0 TD -0.001 Tc [(.)-796(W)86.5(e)-460.4(c)-2.7(o)-6.9(n)24(tend)-445.7(tha)-6.9(t)]TJ /F6 1 Tf 9.07 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 462.96 186.42 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 472.08 182.82 Tm (is)Tj -32.931 -1.2045 TD 0.0017 Tc [(recursiv)22.8(e.)-540.4(W)89.2(e)-385.4(ref)5.6(e)0(r)-366.1(t)4.3(o)-377.6(t)4.3(his)-375.2(b)2.6(asic)-373.4(f)5.6(a)-4.2(ct)-369.1(as)-363.1(the)-373.4(D)5.9(eduction)-382.8(Theorem.)-552.4(It)-381.2(f)5.6(o)-4.2(llo)19.9(ws,)]TJ 0 -1.1925 TD -0.0009 Tc [(in)-337.2(tur)-7.4(n)0(,)-338.2(t)1.7(ha)-6.8(t)]TJ /F6 1 Tf 5.8419 0 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 213 162.54 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 220.8 158.94 Tm 0.0003 Tc [(is)-340.5(decida)-5.6(ble.)]TJ -7.7088 -2.409 TD 0.0059 Tc (21)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 138.54 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 134.94 Tm [(F)85.9(o)-5.9(r)-440.1(t)2.6(he)-435.3(pr)-6.5(o)-30(o)-5.9(f)-417.7(o)-5.9(f)-429.7(t)2.6(his)-437.1(c)-1.7(o)-5.9(n)25(ten)25(t)2.6(io)-5.9(n,)-457.7(see)-423.2(a)-5.9(r)-6.5(t)2.6(icle)-435.3(3)-5.9(3)]TJ /F3 1 Tf 6.9738 0 0 6.9738 373.8 138.54 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 378.24 134.94 Tm -0.0009 Tc [(.)-747.7(T)82.7(o)-428.4(s)-4.4(ho)17.3(w)-423.2(t)1.7(ha)-6.8(t)]TJ /F6 1 Tf 7.4439 0 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 463.2 138.54 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 472.08 134.94 Tm (is)Tj -32.931 -1.1925 TD 0.0017 Tc [(decidable,)-323.6(one)-337.2(n)2.6(eed)-322.6(only)-338.5(review)-312.2(article)-325.2(1)-4.2(3)]TJ /F3 1 Tf 6.9738 0 0 6.9738 325.68 126.66 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 330.12 123.06 Tm (.)Tj /F9 1 Tf -2.132 -3.1197 TD (5)Tj ET endstream endobj 29 0 obj << /ProcSet [/PDF /Text ] /Font << /F1 4 0 R /F2 5 0 R /F3 6 0 R /F4 7 0 R /F5 8 0 R /F6 9 0 R /F7 10 0 R /F8 11 0 R /F9 12 0 R /F10 21 0 R >> /ExtGState << /GS1 13 0 R >> >> endobj 31 0 obj << /Length 14604 >> stream BT /F1 1 Tf 9.9626 0 0 9.9626 144 637.98 Tm 0 g /GS1 gs -0.0006 Tc 0 Tw (G)Tj 0.9034 0 TD 0.0024 Tc (odel)Tj /F2 1 Tf -0.9034 -2.397 TD 0.0059 Tc (22)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 617.7001 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 614.1 Tm 0.0015 Tc (Let)Tj /F1 1 Tf 1.8911 0 TD 0 Tc (P)Tj /F2 1 Tf 1.2045 0 TD -0.0008 Tc [(b)-24(e)-436.1(the)-436.1(p)0.1(r)-7.3(o)-30.8(o)-6.7(f)-406.5(s)-4.3(e)-2.5(t)-419.8(f)3.1(o)-6.7(r)-428.9(the)-436.1(t)1.8(heo)-6.7(r)-7.3(y)-413.3(o)-6.7(f)-418.5(A)2.4(r)-7.3(i)-0.8(thmetic)-436.1(a)-6.7(nd)-421.5(let)]TJ /F1 1 Tf 24.283 0 TD 0 Tc (T)Tj /F2 1 Tf 1.2286 0 TD 0.0232 Tc [(be)-400(t)25.8(h)24.1(e)]TJ -30.7632 -1.2045 TD -0.0008 Tc [(tr)-7.3(uth)-361.2(s)-4.3(et)-359.6(fo)-6.7(r)-368.6(t)1.8(he)-363.8(s)-4.3(t)1.8(a)-6.7(nda)-6.7(r)-7.3(d)-349.2(in)24.2(ter)-7.3(p)0.1(r)-7.3(e)-2.5(ta)-6.7(tio)-6.7(n)-349.2(o)-6.7(f)-358.3(Ar)-7.3(ithmetic.)-542.9(S)0.1(ee)-363.8(a)-6.7(r)-7.3(ticles)-353.6(0)-6.7(4)]TJ /F3 1 Tf 6.9738 0 0 6.9738 454.56 605.7001 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 462.72 602.1 Tm 0.0059 Tc [(an)6.8(d)]TJ -31.9915 -1.2045 TD (05)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 593.8201 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 158.52 590.1 Tm -0.001 Tc [(.)-446.7(W)86.5(e)-339.9(c)-2.7(o)-6.9(n)24(tend)-325.3(tha)-6.9(t)1.6(:)]TJ /F1 1 Tf 13.2736 -1.1925 TD 0 Tc (T)Tj /F5 1 Tf 0.9034 0 TD (\\)Tj /F1 1 Tf 0.6143 0 TD (P)Tj /F5 1 Tf 1.072 0 TD ( )Tj /F2 1 Tf T* (=)Tj /F5 1 Tf 1.0479 0 TD ()Tj /F2 1 Tf -18.3687 -1.7947 TD 0.0014 Tc [(W)88.9(e)-277.3(ma)19.6(y)-266.6(s)-2.1(a)19.6(y)-266.6(that)-273.1(there)-265.3(e)-0.3(xist)-273.1(sen)26.4(t)4(ences)-267.1(wh)]TJ 17.9473 0 TD -0.0004 Tc [(ic)22(h)-276.5(a)-6.3(r)-6.9(e)-267.1(tr)-6.9(ue,)-277.5(r)-6.9(ela)-6.3(t)2.2(iv)20.7(e)-267.1(t)2.2(o)-271.3(t)2.2(he)-291.1(sta)-6.3(nda)-6.3(r)-6.9(d)]TJ -17.9473 -1.1925 TD -0.0008 Tc [(in)24.2(ter)-7.3(p)0.1(r)-7.3(e)-2.5(ta)-6.7(tio)-6.7(n)-349.2(o)-6.7(f)-346.2(Ar)-7.3(ithmetic,)-374.2(but)-359.6(no)-6.7(t)-359.6(p)0.1(r)-7.3(o)17.4(v)56.4(a)-6.7(ble.)-506.7(This)-353.6(funda)-6.7(men)24.2(t)1.8(a)-6.7(l)-362.2(fa)-6.7(ct)-359.6(is)-353.6(the)]TJ 0 -1.2045 TD 0.0004 Tc [(substa)-5.5(nce)-326.5(o)-5.5(f)-333(t)3(he)-338.5(Inco)-5.5(mpleteness)-328.3(Theo)-5.5(r)-6.1(e)-1.3(m)-322.9(o)-5.5(f)-320.9(G)1.5()]TJ 20.5008 0 TD 0.0038 Tc [(od)4.7(el)3.8(.)]TJ -20.5008 -2.397 TD 0.0059 Tc (23)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 516.1801 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 512.58 Tm [(By)-280(co)-5.9(njo)-5.9(i)0(ning)-282.9(the)-278.7(R)1.2(epr)-6.5(e)-1.7(sen)25(t)2.6(a)-5.9(t)2.6(io)-5.9(n)-276.1(T)-0.7(heo)-5.9(r)-6.5(em)-263.1(a)-5.9(n)0.9(d)-276.1(t)2.6(he)-290.8(Deductio)-5.9(n)-276.1(Theo)-5.9(r)-6.5(e)-1.7(m,)]TJ -2.1561 -1.2045 TD -0.0245 Tc [(we)-447.7(m)-22.6(a)-6.3(y)-449.1(i)-24.5(nt)-21.9(r)-31(o)-54.5(d)-23.6(u)-23.6(c)-26.2(e)-459.8(a)-452(s)-28(e)-26.2(nt)-21.9(e)-26.2(n)-23.6(c)-26.2(e)]TJ /F6 1 Tf 13.3821 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 282.12 504.18 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 286.68 500.58 Tm (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.4431 Tc [(\)i)443.1(n)]TJ /F5 1 Tf 2.0958 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 332.88 504.18 Tm (2)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 343.68 500.58 Tm [(whic)22.4(h)-432.7(s)-3.5(ema)-5.9(n)25(tica)-5.9(lly)-424.6(denes)-425.1(t)2.6(he)]TJ -20.0429 -1.2045 TD 0.0061 Tc [(grap)7(h)]TJ /F6 1 Tf 2.8306 0 TD 0 Tc (W)Tj /F3 1 Tf 6.9738 0 0 6.9738 183 492.3 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 190.92 488.58 Tm 0.0059 Tc (of)Tj /F6 1 Tf 1.1443 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 210.84 492.3 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 215.4 488.58 Tm 0.4457 Tc [(.L)444.4(e)444(t)]TJ /F6 1 Tf 2.5174 0 TD 0 Tc (\015)Tj /F2 1 Tf 0.9034 0 TD [(b)-23.2(e)-338.9(the)-338.9(s)-3.5(en)25(tence)-326.9(i)0(n)]TJ /F5 1 Tf 8.2268 0 TD (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 338.28 492.3 Tm (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 348.12 488.58 Tm 0.0005 Tc [(dened)-335.8(a)-5.4(s)-328.2(f)4.4(o)-5.4(llo)18.7(ws:)]TJ /F6 1 Tf -7.8052 -2.144 TD 0 Tc (\015)Tj /F2 1 Tf 0.5782 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.4938 0 TD 0.2745 Tc [(\)=)-8.5(\()]TJ /F5 1 Tf 2.1079 0 TD 0 Tc ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.53 0 TD (\))Tj /F6 1 Tf 0.3854 0 TD ()Tj /F3 1 Tf 6.9738 0 0 6.9738 325.32 471.3 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 330 467.22 Tm (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0 Tc (\))Tj -20.5247 -2.1561 TD -0.0875 Tc [(We)-426.4(c)-89.2(l)-87.5(a)-93.4(i)-87.5(m)-410.8(t)-84.9(h)-86.6(a)-93.4(t)]TJ /F6 1 Tf 6.5526 0 TD 0 Tc (\015)Tj /F2 1 Tf 0.9154 0 TD 0.0003 Tc [(sema)-5.6(n)25.3(t)2.9(ica)-5.6(lly)-315.9(denes)]TJ /F1 1 Tf 9.0098 0 TD 0 Tc (P)Tj /F5 1 Tf 0.9997 0 TD 0.2253 Tc ({)Tj /F2 1 Tf 1.3972 0 TD 0 Tc (0)Tj /F5 1 Tf 0.5059 0 TD (})Tj /F2 1 Tf 0.5059 0 TD (.)Tj -19.8865 -2.397 TD 0.0059 Tc (24)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 425.46 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 421.86 Tm 0.0046 Tc [(Ob)29.6(vi)4.6(ou)5.5(sl)4.6(y)85.9(,)]TJ /F1 1 Tf 4.8903 0 TD 0 Tc (P)Tj /F5 1 Tf 0.9877 0 TD 0.2133 Tc ({)Tj /F2 1 Tf 1.3852 0 TD 0 Tc (0)Tj /F5 1 Tf 0.5059 0 TD (})Tj /F2 1 Tf 0.7709 0 TD (=)Tj /F6 1 Tf 1.0479 0 TD 0.0188 Tc [(ra)16.8(n)]TJ /F2 1 Tf 1.602 0 TD 0 Tc (\()Tj /F6 1 Tf 0.3854 0 TD (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 289.32 425.46 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 294 421.86 Tm 0.005 Tc [(\))7.6(.)-440.7(T)88.6(o)-326.1(p)5.9(r)-1.5(o)23.2(v)26.1(e)-297.8(t)7.6(h)5.9(e)-321.9(cl)5(ai)5(m)6.9(,)-320.3(w)28.4(e)-321.9(argu)5.9(e)-297.8(a)-0.9(s)-323.7(f)8.9(ol)5(l)5(o)23.2(w)4.3(s)1.5(.)]TJ -15.0563 -1.2045 TD 0.0015 Tc (Let)Tj /F6 1 Tf 1.8429 0 TD 0 Tc ( )Tj /F2 1 Tf 0.807 0 TD 0.0049 Tc [(b)-18.3(e)-382.2(an)29.9(y)-371.5(n)5.8(at)7.5(u)5.8(r)-1.6(al)-368.5(n)29.9(u)5.8(m)30.9(b)-18.3(er)-387(i)4.9(n)]TJ /F1 1 Tf 11.8163 0 TD 0 Tc (N)Tj /F2 1 Tf 0.9034 0 TD 0.6023 Tc [(.O)596.4(f)220.7(c)600.6(o)596.4(u)603.2(r)595.8(s)598.8(e)600.6(,)]TJ /F6 1 Tf 5.7576 0 TD 0 Tc (\015)Tj /F2 1 Tf 0.5782 0 TD (\()Tj 0.4575 0.265 TD ()Tj /F6 1 Tf -0.0723 -0.265 TD ( )Tj /F2 1 Tf 0.4216 0 TD 0.3588 Tc [(\)=)-8.5(\()]TJ /F5 1 Tf 2.2765 0 TD 0 Tc ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.53 0 TD (\))Tj /F6 1 Tf 0.3854 0 TD ()Tj /F3 1 Tf 6.9738 0 0 6.9738 410.4 413.46 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 415.08 409.86 Tm (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc (,)Tj /F2 1 Tf 1.0479 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0723 -0.265 TD ( )Tj /F2 1 Tf 0.4216 0 TD -0.0002 Tc [(\).)-614.5(Clea)-6.1(r)-6.7(l)-0.2(y)81.1(,)]TJ /F6 1 Tf -28.9923 -1.1925 TD 0 Tc (\015)Tj /F2 1 Tf 0.5782 0 TD (\()Tj 0.4577 0.2529 TD ()Tj /F6 1 Tf -0.0723 -0.2529 TD ( )Tj /F2 1 Tf 0.4095 0 TD 0.006 Tc [(\))-316.7(i)6(s)-310.7(t)8.6(ru)6.9(e)-308.8(i)6()-314.4(t)8.6(h)6.9(e)4.3(re)-308.8(i)6(s)-310.7(som)7.9(e)-308.8(n)6.9(a)0.1(t)8.6(u)6.9(ral)-295.2(n)31(u)6.9(m)32(b)-17.2(e)4.3(r)]TJ /F6 1 Tf 18.1038 0 TD 0 Tc (k)Tj /F2 1 Tf 0.8672 0 TD (in)Tj /F1 1 Tf 1.1563 0 TD (N)Tj /F2 1 Tf 1.2166 0 TD 0.0036 Tc [(suc)26(h)-308.6(t)6.2(h)4.5(at)]TJ /F6 1 Tf 4.3844 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 418.8 401.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 423.36 397.98 Tm (\()Tj 0.4095 0.2529 TD ()Tj /F6 1 Tf -0.0241 -0.2529 TD 0.0341 Tc (k,)Tj /F2 1 Tf 1.072 0.2529 TD 0 Tc ()Tj /F6 1 Tf -0.0723 -0.2529 TD ( )Tj /F2 1 Tf 0.4216 0 TD 0.3227 Tc [(\)i)322.7(s)6(t)325.3(r)316.2(u)323.6(e)321(.)]TJ -29.8475 -1.2045 TD 0.0006 Tc [(Mo)-5.3(r)-5.9(e)-1.1(o)18.8(v)21.7(er)-5.9(,)]TJ /F6 1 Tf 4.6735 0 TD 0 Tc ()Tj /F3 1 Tf 6.9738 0 0 6.9738 195.36 389.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 199.92 385.98 Tm (\()Tj 0.4095 0.265 TD ()Tj /F6 1 Tf -0.0241 -0.265 TD 0.0341 Tc (k,)Tj /F2 1 Tf 1.072 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0723 -0.265 TD ( )Tj /F2 1 Tf 0.4216 0 TD 0.3368 Tc [(\)i)336.8(s)8.1(t)339.4(r)330.3(u)337.7(ei)336.8()]TJ /F6 1 Tf 5.0349 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 276.6 389.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 281.16 385.98 Tm (\()Tj /F6 1 Tf 0.3854 0 TD (k)Tj /F2 1 Tf 0.5541 0 TD 0.2865 Tc (\)=)Tj /F6 1 Tf 1.7225 0 TD 0 Tc ( )Tj /F2 1 Tf 0.4216 0 TD 0.0012 Tc [(.)-444.5(H)4.4(ence,)]TJ /F6 1 Tf 3.9749 0 TD 0 Tc (\015)Tj /F2 1 Tf 0.5782 0 TD (\()Tj 0.4576 0.265 TD ()Tj /F6 1 Tf -0.0723 -0.265 TD ( )Tj /F2 1 Tf 0.4095 0 TD 0.3368 Tc [(\)i)336.8(s)8.1(t)339.4(r)330.3(u)337.7(ei)336.8()]TJ /F6 1 Tf 5.0349 0 TD 0 Tc ( )Tj /F5 1 Tf 0.6986 0 TD ()Tj /F6 1 Tf 0.9395 0 TD 0.0188 Tc [(ra)16.8(n)]TJ /F2 1 Tf 1.602 0 TD 0 Tc (\()Tj /F6 1 Tf 0.3854 0 TD (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 459.96 389.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 464.64 385.98 Tm -0.0026 Tc (\).)Tj -32.1842 -2.397 TD 0.0059 Tc (25)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 365.7 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 362.1 Tm 0.0015 Tc [(No)19.7(w)-408.7(l)1.5(et)-405.5(us)-411.5(pro)19.7(v)22.6(e)-385.6(o)-4.4(ur)-402.5(con)26.5(t)4.1(en)26.5(tion.)-673.1(B)-1.2(y)-399(t)4.1(he)-421.7(w)24.9(e)-0.2(ak)-399(\(seman)26.5(tic\))-405.5(f)5.4(o)-4.4(rm)-394.1(of)-404.2(the)]TJ -2.1561 -1.2045 TD -0.0246 Tc [(F)-23(i)-24.6(x)-27.6(e)-26.3(d)-421.2(P)-7.1(o)-30.5(i)-24.6(nt)-407.5(T)-25.3(h)-23.7(e)-26.3(o)-30.5(r)-31.1(e)-26.3(m)-22.7(,)-422.1(we)-411.7(m)-22.7(a)-6.4(y)-413(i)-24.6(nt)-22(r)-31.1(o)-54.6(d)-23.7(u)-23.7(c)-26.3(e)-423.8(a)-415.9(s)-28.1(e)-26.3(nt)-22(e)-26.3(n)-23.7(c)-26.3(e)]TJ /F6 1 Tf 23.3917 0 TD 0 Tc ()Tj /F2 1 Tf 1.0118 0 TD (in)Tj /F5 1 Tf 1.2286 0 TD (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 406.2 353.7 Tm (0)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 416.64 350.1 Tm 0.0036 Tc [(suc)26(h)-380.9(t)6.2(h)4.5(at)]TJ /F6 1 Tf 4.5531 0 TD 0 Tc ()Tj /F2 1 Tf 1.0118 0 TD (is)Tj -32.9311 -1.2045 TD -0.0012 Tc [(tr)-7.7(ue)-328.1(i)-345.7(\()]TJ /F5 1 Tf 3.6979 0 TD 0 Tc ()Tj /F6 1 Tf 0.6625 0 TD (\015)Tj /F2 1 Tf 0.5782 0 TD -0.0026 Tc (\)\()Tj 0.7347 0.265 TD 0 Tc ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4336 0 TD 0.3347 Tc [(\)i)334.7(s)-6(t)337.3(r)328.2(u)335.6(e)7.8(i)334.7()]TJ /F6 1 Tf 5.0349 0 TD 0 Tc (\015)Tj /F2 1 Tf 0.5782 0 TD (\()Tj 0.3492 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4336 0 TD 0.3347 Tc [(\)i)334.7(s)6(f)338.6(a)328.8(l)334.7(s)331.2(e)333(,)9.4(w)334(h)335.6(e)333(r)328.2(e)]TJ /F6 1 Tf 7.1548 0 TD 0 Tc (b)Tj /F2 1 Tf 0.6986 0 TD 0.283 Tc [(=)281.7(\()]TJ /F6 1 Tf 2.0718 0 TD 0 Tc ()Tj /F2 1 Tf 0.6143 0 TD -0.0003 Tc [(\).)-458(Hence:)]TJ /F6 1 Tf -11.8163 -2.144 TD 0 Tc (b)Tj /F5 1 Tf 0.7107 0 TD ()Tj /F1 1 Tf 0.9395 0 TD (T)Tj /F5 1 Tf 1.6381 0 TD -0.1689 Tc ( )Tj /F6 1 Tf 2.662 0 TD 0.3901 Tc (b/)Tj /F5 1 Tf 0.7107 0 TD 0 Tc ()Tj /F1 1 Tf 0.9395 0 TD (P)Tj /F5 1 Tf 1.0118 0 TD 0.2253 Tc ({)Tj /F2 1 Tf 1.3972 0 TD 0 Tc (0)Tj /F5 1 Tf 0.5059 0 TD (})Tj /F2 1 Tf -21.8136 -2.1561 TD 0.0041 Tc [(Of)-473.8(cou)5(r)-2.4(se,)]TJ /F6 1 Tf 5.083 0 TD 0 Tc (b)Tj /F5 1 Tf 0.9516 0 TD ( )Tj /F2 1 Tf T* 0.5239 Tc [(=0)518(.)-355.4(I)523.5(f)]TJ /F6 1 Tf 4.1074 0 TD 0 Tc (b)Tj /F2 1 Tf 0.9034 0 TD -0.0247 Tc [(we)-26.4(r)-31.2(e)-496.1(n)-23.8(o)-30.6(t)-503.9(a)-500.4(m)-22.8(e)-26.4(mb)-47.9(e)-26.4(r)-500.9(o)-30.6(f)]TJ /F1 1 Tf 10.6238 0 TD 0 Tc (T)Tj /F2 1 Tf 1.2768 0 TD -0.0001 Tc [(then,)-530.1(b)24.9(y)-472.8(t)2.5(he)-483.6(So)-6(undness)]TJ -22.9459 -1.2045 TD [(Theo)-6(r)-6.6(e)-1.8(m,)]TJ /F6 1 Tf 4.5531 0 TD 0 Tc (b)Tj /F2 1 Tf 0.807 0 TD 0.0232 Tc [(w)46.6(o)17.3(u)24.1(l)23.2(d)-349.3(n)24.1(o)17.3(t)-347.6(be)-363.9(a)-344(m)25.1(e)21.5(m)49.2(be)21.5(r)-356.7(o)17.3(f)]TJ /F1 1 Tf 12.1294 0 TD 0 Tc (P)Tj /F2 1 Tf 0.7829 0 TD -0.0001 Tc [(.)-578.3(B)-2.8(y)-364.4(t)2.5(he)-387.2(fo)-6(r)-6.6(e)-1.8(g)-6(o)-6(i)-0.1(ng)-355.3(equiv)57.1(a)-6(lence,)-385.6(w)23.3(e)]TJ -18.2725 -1.1925 TD -0.0008 Tc [(infer)-344.5(t)1.8(ha)-6.7(t)]TJ /F6 1 Tf 4.4808 0 TD 0 Tc (b)Tj /F5 1 Tf 0.6986 0 TD ()Tj /F1 1 Tf 0.9516 0 TD (T)Tj /F5 1 Tf 0.9034 0 TD (\\)Tj /F1 1 Tf 0.6143 0 TD (P)Tj /F2 1 Tf 0.7829 0 TD (.)Tj /F1 1 Tf -8.4316 -2.397 TD 0.0003 Tc [(Syn)36(t)1.6(a)5.2(x)-405.5(v)40.2(e)-2.7(rsus)-389.9(Sem)-5.3(a)5.2(n)36(t)1.6(i)-5.9(c)5.4(s)]TJ /F2 1 Tf 0 -2.409 TD 0.0059 Tc (26)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 227.1 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 223.5 Tm 0.0021 Tc [(It)-296.5(seems)-278.4(i)2.1(n)27.1(t)4.7(eresting)-292.9(that)-284.4(the)-300.7(p)3(ro)-27.9(of)6(s)-278.4(o)-3.8(f)-283.1(t)4.7(he)-300.7(Theorems)-278.4(of)-283.1(T)85.7(a)-3.8(rski)-275(and)-286.1(G)3.2()]TJ 29.6672 0 TD 0.0038 Tc [(od)4.7(el)]TJ -31.8232 -1.1925 TD 0 Tc [(dep)-23.2(e)-1.7(nd)-312.2(no)-5.9(t)-286.5(u)0.9(p)-23.2(o)-5.9(n)-312.2(t)2.6(he)-302.8(str)-6.5(o)-5.9(ng)-295(\(syn)25(ta)-5.9(ctic\))-286.5(f)3.9(o)-5.9(r)-6.5(m)-299.2(o)-5.9(f)-297.3(t)2.6(he)-302.8(Fixed)-300.2(P)17.5(o)-5.9(i)0(n)25(t)-286.5(Theo)-5.9(r)-6.5(e)-1.7(m)-287.2(but)]TJ 0 -1.2045 TD 0.0049 Tc [(u)5.8(p)-18.3(on)-391.7(t)7.5(h)5.8(e)-394.3(w)28.3(eak)-371.5(\()7.5(sem)6.8(a)-1(n)29.9(t)7.5(i)4.9(c)3.2(\))-390(f)8.8(orm)6.8(.)-609.4(H)8.1(o)23.1(w)28.3(e)3.2(v)26(e)3.2(r,)-380.6(t)7.5(h)5.8(e)-394.3(T)4.2(h)5.8(e)3.2(orem)-366.6(of)-388.7(C)4.2(h)29.9(u)5.8(r)-1.6(c)27.3(h)5.8(,)-392.6(s)1.4(o)-25.1(o)-1(n)-379.6(t)7.5(o)]TJ T* -0.0006 Tc [(fo)-6.5(llo)17.6(w,)-325.9(r)-7.1(e)-2.3(q)-3.6(u)0.3(ir)-7.1(es)-317.3(the)-339.5(f)3.3(ull)-337.9(s)-4.1(tr)-7.1(eng)-6.5(t)2(h)-336.9(o)-6.5(f)-321.9(t)2(he)-339.5(theo)-6.5(r)-7.1(e)-2.3(m.)]TJ /F1 1 Tf 0 -2.397 TD -0.0002 Tc [(Ch)35.5(urc)41(h)]TJ /F2 1 Tf T* 0.0059 Tc (27)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 143.46 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 139.86 Tm 0.0015 Tc (Let)Tj /F1 1 Tf 1.7827 0 TD 0 Tc (P)Tj /F2 1 Tf 1.1082 0 TD -0.0003 Tc [(b)-23.5(e)-327.2(the)-327.2(p)0.6(r)-6.8(o)-30.3(o)-6.2(f)-309.6(s)-3.8(e)-2(t)-323(f)3.6(o)-6.2(r)-320(the)-327.2(t)2.3(heo)-6.2(r)-6.8(y)-316.5(o)-6.2(f)-321.6(A)2.9(r)-6.8(i)-0.3(thmetic.)-446(See)-315.1(a)-6.2(r)-6.8(t)2.3(icle)-315.1(0)-6.2(5)]TJ /F3 1 Tf 6.9738 0 0 6.9738 453.24 143.46 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 457.8 139.86 Tm 0.4337 Tc [(.W)521.2(e)]TJ -31.4977 -1.2045 TD 0.0022 Tc [(con)27.2(t)4.8(end)-273.9(t)4.8(hat)]TJ /F1 1 Tf 5.8178 0 TD 0 Tc (P)Tj /F2 1 Tf 1.06 0 TD -0.0001 Tc [(is)-280.6(en)24.9(umer)-6.6(a)-6(b)0.8(le)-278.8(but)-286.6(tha)-6(t)]TJ /F1 1 Tf 10.1059 0 TD 0 Tc (P)Tj /F2 1 Tf 1.072 0 TD 0.0018 Tc [(is)-278.7(not)-272.7(d)2.7(ecidable.)-419.8(One)-276.9(r)-4.7(ef)5.7(ers)-266.7(t)4.4(o)-293.2(t)4.4(hese)]TJ -18.0557 -1.1925 TD -0.0009 Tc [(funda)-6.8(men)24.1(t)1.7(a)-6.8(l)-338.2(fa)-6.8(cts)-329.6(a)-6.8(s)-329.6(t)1.7(he)-339.8(Theo)-6.8(r)-7.4(e)-2.6(m)-324.2(o)-6.8(f)-322.2(C)-1.6(h)24.1(u)0(r)-7.4(c)21.5(h.)]TJ /F9 1 Tf 16.5498 -2.409 TD 0 Tc (6)Tj ET endstream endobj 32 0 obj << /ProcSet [/PDF /Text ] /Font << /F1 4 0 R /F2 5 0 R /F3 6 0 R /F4 7 0 R /F5 8 0 R /F6 9 0 R /F7 10 0 R /F9 12 0 R >> /ExtGState << /GS1 13 0 R >> >> endobj 34 0 obj << /Length 11031 >> stream BT /F2 1 Tf 9.9626 0 0 9.9626 144 637.98 Tm 0 g /GS1 gs 0.0059 Tc 0 Tw (28)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 641.58 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 637.98 Tm -0.0002 Tc [(F)85.7(o)-6.1(r)-271.7(t)2.4(he)-266.9(r)-6.7(st)-262.6(co)-6.1(n)24.8(t)2.4(en)24.8(tio)-6.1(n)0.7(,)-265.2(w)23.2(e)-266.9(a)-6.1(r)-6.7(g)-6.1(ue)-242.8(a)-6.1(s)-268.7(fo)-6.1(llo)18(ws.)-409.8(B)-2.9(y)-268.2(t)2.4(he)-266.9(Deductio)-6.1(n)-264.3(Theo)-6.1(r)-6.7(e)-1.9(m,)]TJ -2.1561 -1.2045 TD -0.001 Tc [(the)-376.1(m)0.9(a)-6.9(pping)]TJ /F6 1 Tf 5.9021 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 211.32 629.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 219.6 625.98 Tm 0.0045 Tc [(i)4.5(s)-360.3(recu)5.4(rsi)4.5(v)25.6(e.)-525.5(I)4.1(t)-366.3(f)8.4(o)-1.4(l)4.5(l)4.5(o)22.7(w)3.8(s)-348.3(t)7.1(h)5.4(at)-366.3(t)7.1(h)5.4(e)-370.6(r)-2(an)5.4(ge)-346.5(of)]TJ /F6 1 Tf 18.0316 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 407.76 629.58 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 416.04 625.98 Tm 0.0006 Tc [(is)-364.2(en)25.6(umer)-5.9(a)-5.3(b)1.5(le.)]TJ -27.306 -1.1925 TD 0.0003 Tc [(O)-5.6(f)-333.1(co)-5.6(ur)-6.2(se,)-312.9(t)2.9(he)-338.6(r)-6.2(a)-5.6(ng)-5.6(e)-314.5(o)-5.6(f)]TJ /F6 1 Tf 10.3468 0 TD 0 Tc (D)Tj /F3 1 Tf 6.9738 0 0 6.9738 255.6 617.7001 Tm ()Tj /F2 1 Tf 9.9626 0 0 9.9626 263.52 614.1 Tm (is)Tj /F1 1 Tf 0.9997 0 TD (P)Tj /F5 1 Tf 1.0118 0 TD 0.2253 Tc ({)Tj /F2 1 Tf 1.3972 0 TD 0 Tc (0)Tj /F5 1 Tf 0.5059 0 TD (})Tj /F2 1 Tf 0.5059 0 TD 0.0022 Tc [(.)-419.4(C)1.5(onsequen)27.2(t)4.8(l)2.2(y:)]TJ /F1 1 Tf -3.7701 -2.3608 TD 0 Tc (P)Tj /F2 1 Tf 1.072 0 TD 0.2709 Tc (=\()Tj /F1 1 Tf 1.4334 0 TD 0 Tc (P)Tj /F5 1 Tf 1.0118 0 TD 0.2253 Tc ({)Tj /F2 1 Tf 1.3972 0 TD 0 Tc (0)Tj /F5 1 Tf 0.5059 0 TD (})Tj /F2 1 Tf 0.5059 0 TD (\))Tj /F5 1 Tf 0.3854 0 TD 0.0059 Tc (\\{)Tj /F2 1 Tf 1.0118 0 TD 0 Tc (0)Tj /F5 1 Tf 0.5059 0 TD (})Tj /F2 1 Tf -20.4766 -2.3488 TD 0.0006 Tc [(is)-328.1(en)25.6(umer)-5.9(a)-5.3(b)1.5(le.)]TJ 0 -2.409 TD 0.0059 Tc (29)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 546.78 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 543.1801 Tm 0.0002 Tc [(F)86.1(o)-5.7(r)-415.8(t)2.8(he)-411(seco)-5.7(nd)-408.4(co)-5.7(n)25.2(t)2.8(en)25.2(tio)-5.7(n)1.1(,)-421.4(w)23.6(e)-411(a)-5.7(r)-6.3(g)-5.7(ue)-399(b)25.2(y)-400.3(co)-5.7(n)25.2(t)2.8(r)-6.3(a)-5.7(dictio)-5.7(n.)-674.4(Let)-406.8(u)1.1(s)-412.8(s)-3.3(upp)-23(o)-5.7(s)-3.3(e)]TJ -2.1561 -1.1925 TD -0.0018 Tc [(tha)-7.7(t)]TJ /F1 1 Tf 2.132 0 TD 0 Tc (P)Tj /F2 1 Tf 1.0961 0 TD 0.0004 Tc [(is)-304.2(decida)-5.5(ble.)-421.2(Let)]TJ /F1 1 Tf 7.5041 0 TD 0 Tc (Q)Tj /F2 1 Tf 1.1322 0 TD (=)Tj /F1 1 Tf 1.06 0 TD (N)Tj /F5 1 Tf 0.9034 0 TD (\\)Tj /F1 1 Tf 0.5059 0 TD (P)Tj /F2 1 Tf 0.7829 0 TD 0.4337 Tc [(.O)427.8(f)136.4(c)432(o)427.8(u)434.6(r)427.2(s)430.2(e)432(,)]TJ /F1 1 Tf 5.4083 0 TD 0 Tc (Q)Tj /F2 1 Tf 1.1684 0 TD 0.0003 Tc [(w)23.7(o)-5.6(uld)-287.9(b)-22.9(e)-314.5(d)1.2(ecida)-5.6(ble.)-433.4(By)-291.8(the)]TJ -21.6933 -1.2045 TD 0.0018 Tc [(Represen)26.8(tation)-346.6(Theorem,)]TJ 11.4549 0 TD 0.0009 Tc [(there)-362.1(w)24.3(ould)-359.5(b)-22.3(e)-374.2(a)-366.3(s)-2.6(en)25.9(tence)]TJ /F6 1 Tf 11.8163 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.5059 0 TD 0.3708 Tc [(\)i)370.8(n)]TJ /F5 1 Tf 1.9633 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 417.48 522.9 Tm (1)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 427.68 519.3 Tm 0.0036 Tc [(suc)26(h)-356.8(t)6.2(h)4.5(at)]TJ /F6 1 Tf 4.4808 0 TD 0 Tc ()Tj /F2 1 Tf -32.9552 -1.2045 TD 0.0006 Tc [(syn)25.6(t)3.2(a)-5.3(c)-1.1(tica)-5.3(lly)-315.6(denes)]TJ /F1 1 Tf 9.0941 0 TD 0 Tc (Q)Tj /F2 1 Tf 0.8673 0 TD 0.0046 Tc [(.)-441.1(T)3.9(h)5.5(a)-1.3(t)-318.1(i)4.6(s,)-332.7(f)8.5(o)-1.3(r)-327.1(e)2.9(ac)27(h)-319.7(n)5.5(at)7.2(u)5.5(r)-1.9(al)-320.7(n)29.6(u)5.5(m)30.6(b)-18.6(er)]TJ /F6 1 Tf 15.4298 0 TD 0 Tc (k)Tj /F2 1 Tf 0.5541 0 TD (:)Tj -23.741 -2.3729 TD -0.0026 Tc [(\(1)-8.5(\))]TJ /F6 1 Tf 2.2765 0 TD 0 Tc (k)Tj /F5 1 Tf 0.8311 0 TD ()Tj /F1 1 Tf 0.9395 0 TD (Q)Tj /F2 1 Tf 1.1443 0 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.2768 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 244.92 482.22 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 254.16 483.66 Tm -0.223 Tc ()Tj /F6 1 Tf 1.9874 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.4095 0.265 TD ()Tj /F6 1 Tf -0.0241 -0.265 TD (k)Tj /F2 1 Tf 0.5661 0 TD (\))Tj -12.4304 -1.7947 TD -0.0026 Tc [(\(2)-8.5(\))]TJ /F6 1 Tf 2.2765 0 TD 0.4195 Tc (k/)Tj /F5 1 Tf 0.8311 0 TD 0 Tc ()Tj /F1 1 Tf 0.9395 0 TD (Q)Tj /F2 1 Tf 1.1443 0 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.2768 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 244.92 464.34 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 254.16 465.78 Tm -0.223 Tc [()-493.9()]TJ /F6 1 Tf 1.9875 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.4095 0.265 TD ()Tj /F6 1 Tf -0.0241 -0.265 TD (k)Tj /F2 1 Tf 0.5661 0 TD (\))Tj -14.6347 -2.3729 TD -0.0007 Tc [(B)-3.4(y)-268.7(the)-279.4(s)-4.2(tr)-7.2(o)-6.6(n)0.2(g)-271.6(\()1.9(s)-4.2(y)-3.7(n)24.3(t)1.9(a)-6.6(c)-2.4(tic\))-263.1(fo)-6.6(r)-7.2(m)-263.8(o)-6.6(f)-273.9(the)-279.4(F)0.9(ix)-3.7(ed)-276.8(P)16.8(o)-6.6(in)24.3(t)-251.1(T)-1.4(heo)-6.6(r)-7.2(em,)-277.8(w)22.7(e)-267.4(m)1.2(a)17.5(y)-268.7(in)24.3(tr)-7.2(o)-30.7(duce)]TJ 0 -1.2045 TD 0.3311 Tc [(as)327.6(e)329.4(n)356.1(t)333.7(e)329.4(n)332(c)329.4(e)]TJ /F6 1 Tf 4.806 0 TD 0 Tc ()Tj /F2 1 Tf 0.9516 0 TD (in)Tj /F5 1 Tf 1.1684 0 TD (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 219.84 433.74 Tm (0)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 229.68 430.14 Tm 0.0036 Tc [(suc)26(h)-332.7(t)6.2(h)4.5(at)6.2(:)]TJ /F5 1 Tf 3.6015 -2.3608 TD 0 Tc (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 273.96 405.18 Tm (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 283.2 406.62 Tm -0.223 Tc ()Tj /F10 1 Tf 1.3249 0.8191 TD 0 Tc ()Tj /F6 1 Tf 0.6263 -0.8191 TD ()Tj /F5 1 Tf 0.8913 0 TD -0.1689 Tc (\012)Tj /F6 1 Tf 2.1199 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.3493 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4336 0 TD (\))Tj /F10 1 Tf 0.5541 0.8191 TD ()Tj /F2 1 Tf -20.9463 -3.1678 TD 0.0008 Tc [(wher)-5.7(e)]TJ /F6 1 Tf 2.8908 0 TD 0 Tc (b)Tj /F2 1 Tf 0.7107 0 TD 0.2709 Tc [(=)269.6(\()]TJ /F6 1 Tf 2.0597 0 TD 0 Tc ()Tj /F2 1 Tf 0.6143 0 TD -0.0016 Tc [(\).)-459.3(No)16.6(w)-327.5(w)21.8(e)-328.5(w)21.8(o)-7.5(u)-0.7(ld)-337.9(nd)-337.9(tha)-7.5(t)1(:)]TJ /F6 1 Tf 5.372 -2.3608 TD 0 Tc (b)Tj /F5 1 Tf 0.7107 0 TD ()Tj /F1 1 Tf 0.9395 0 TD (Q)Tj /F2 1 Tf 1.1443 0 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.2768 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 315.12 358.26 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 324.36 359.7 Tm -0.223 Tc ()Tj /F6 1 Tf 1.325 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.3493 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4457 0 TD (\))Tj -6.4561 -1.4936 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.2768 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 315.12 343.38 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 324.36 344.82 Tm -0.223 Tc ()Tj /F6 1 Tf 1.325 0 TD 0 Tc ()Tj /F2 1 Tf -4.9866 -1.5056 TD (=)Tj /F5 1 Tf 0.6143 0 TD ( )Tj /F6 1 Tf 1.2768 0 TD (b)Tj /F5 1 Tf 0.7107 0 TD ()Tj /F1 1 Tf 0.9395 0 TD (P)Tj /F2 1 Tf -3.5413 -1.4936 TD (=)Tj /F5 1 Tf 0.6143 0 TD ( )Tj /F6 1 Tf 1.2768 0 TD 0.3901 Tc (b/)Tj /F5 1 Tf 0.7107 0 TD 0 Tc ()Tj /F1 1 Tf 0.9395 0 TD (Q)Tj /F2 1 Tf -3.5413 -1.5056 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.2768 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 315.12 298.5 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 324.36 299.94 Tm -0.223 Tc [()-493.9()]TJ /F6 1 Tf 1.9874 0 TD 0 Tc ()Tj /F2 1 Tf 0.6384 0 TD (\()Tj 0.3493 0.265 TD ()Tj /F6 1 Tf 0.0361 -0.265 TD (b)Tj /F2 1 Tf 0.4457 0 TD (\))Tj -7.1186 -1.4936 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.2768 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 315.12 283.62 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 324.36 285.06 Tm -0.223 Tc [()-493.9()]TJ /F6 1 Tf 1.9874 0 TD 0 Tc ()Tj /F2 1 Tf -5.6491 -1.5056 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.2768 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 315.12 268.62 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 324.36 270.06 Tm ( )Tj T* -0.223 Tc ()Tj /F6 1 Tf 1.325 0 TD 0 Tc ()Tj /F2 1 Tf -4.9866 -1.5056 TD (=)Tj /F5 1 Tf 0.6143 0 TD ( )Tj /F6 1 Tf 1.2768 0 TD 0.3901 Tc (b/)Tj /F5 1 Tf 0.7107 0 TD 0 Tc ()Tj /F1 1 Tf 0.9395 0 TD (P)Tj /F2 1 Tf -3.5413 -1.4936 TD (=)Tj /F5 1 Tf 0.6143 0 TD ( )Tj /F6 1 Tf 1.2768 0 TD (b)Tj /F5 1 Tf 0.7107 0 TD ()Tj /F1 1 Tf 0.9395 0 TD (Q)Tj /F2 1 Tf -17.9832 -2.3006 TD 0.0046 Tc [(a)-326.5(b)5.5(al)4.6(d)-331.7(c)2.9(on)29.6(t)7.2(r)-1.9(ad)5.5(i)4.6(c)2.9(t)7.2(i)4.6(on)5.5(.)-417(C)3.9(on)5.5(sequ)5.5(en)29.6(t)7.2(l)4.6(y)85.9(,)]TJ /F1 1 Tf 15.9237 0 TD 0 Tc (P)Tj /F2 1 Tf 1.1202 0 TD 0.0002 Tc [(is)-340.6(no)-5.7(t)-322.5(d)1.1(ecida)-5.7(ble.)]TJ /F1 1 Tf -17.0439 -2.397 TD 0.0013 Tc [(Ba)6.2(si)-4.9(c)-379(Supp)-35.2(ort)]TJ /F2 1 Tf 0 -2.409 TD 0.0059 Tc (30)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 173.1 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 169.38 Tm 0.0022 Tc [(In)-346.2(con)27.2(t)4.8(ext)-332.5(o)-3.7(f)-331.2(a)-3.7(rticle)-324.7(09)]TJ /F3 1 Tf 6.9738 0 0 6.9738 265.56 173.1 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 270.12 169.38 Tm 0.0016 Tc [(,)-335.7(w)25(e)-337.3(c)-0.1(laim)-333.8(that)-333.1(there)-349.4(i)1.6(s)-339.1(a)-329.5(sen)26.6(t)4.2(ence)]TJ /F6 1 Tf 15.3455 0 TD 0 Tc ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.3588 Tc [(\)i)358.8(n)]TJ /F5 1 Tf 1.9152 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 472.2 173.1 Tm (2)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 144 157.5 Tm 0.0048 Tc [(su)5.7(c)27.2(h)-319.5(t)7.4(h)5.7(at)7.4(,)-332.5(f)8.7(or)-326.9(an)29.8(y)-323.4(o)-1.1(rd)5.7(ered)-307.4(p)5.7(a)-1.1(i)4.8(r)-326.9(\()]TJ /F6 1 Tf 14.1771 0 TD 0.0341 Tc [(k,)-134.6( )]TJ /F2 1 Tf 1.4213 0 TD 0.0049 Tc [(\))-329.8(o)-1(f)-316.4(n)5.8(at)7.5(u)5.8(r)-1.6(al)-320.4(n)29.9(u)5.8(m)30.9(b)-18.3(ers:)]TJ -13.3942 -2.3849 TD -0.0026 Tc [(\(1)-8.5(\))-999.8(\()]TJ /F6 1 Tf 2.662 0 TD 0.0341 Tc [(k,)-134.6( )]TJ /F2 1 Tf 1.4213 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6625 0 TD ()Tj /F6 1 Tf 0.9395 0 TD (W)Tj /F2 1 Tf 1.9152 0 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.8309 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 274.44 132.3 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 283.68 133.74 Tm -0.223 Tc ()Tj /F6 1 Tf 1.9995 0 TD 0 Tc ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj 0.4095 0.265 TD ()Tj /F6 1 Tf -0.0241 -0.265 TD 0.0341 Tc (k,)Tj /F2 1 Tf 1.072 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0723 -0.265 TD ( )Tj /F2 1 Tf 0.4216 0 TD (\))Tj -16.1042 -1.7827 TD -0.0026 Tc [(\(2)-8.5(\))-999.8(\()]TJ /F6 1 Tf 2.662 0 TD 0.0341 Tc [(k,)-134.6( )]TJ /F2 1 Tf 1.4213 0 TD 0 Tc (\))Tj /F6 1 Tf 0.7709 0 TD (/)Tj /F5 1 Tf -0.1084 0 TD ()Tj /F6 1 Tf 0.9395 0 TD (W)Tj /F2 1 Tf 1.9152 0 TD (=)Tj /F5 1 Tf 0.6143 0 TD 0.8309 Tc ( H)Tj /F4 1 Tf 6.9738 0 0 6.9738 274.44 114.54 Tm 0 Tc (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 283.68 115.98 Tm -0.223 Tc [()-506()]TJ /F6 1 Tf 1.9995 0 TD 0 Tc ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj 0.4095 0.265 TD ()Tj /F6 1 Tf -0.0241 -0.265 TD 0.0341 Tc (k,)Tj /F2 1 Tf 1.072 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0723 -0.265 TD ( )Tj /F2 1 Tf 0.4216 0 TD (\))Tj /F9 1 Tf -1.7586 -2.409 TD (7)Tj ET endstream endobj 35 0 obj << /ProcSet [/PDF /Text ] /Font << /F1 4 0 R /F2 5 0 R /F3 6 0 R /F4 7 0 R /F5 8 0 R /F6 9 0 R /F7 10 0 R /F9 12 0 R /F10 21 0 R >> /ExtGState << /GS1 13 0 R >> >> endobj 37 0 obj << /Length 6488 >> stream BT /F2 1 Tf 9.9626 0 0 9.9626 144 637.98 Tm 0 g /GS1 gs 0.0012 Tc 0 Tw [(i)-331.2(there)-337.7(i)1.2(s)-327.5(a)-329.9(sen)26.2(t)3.8(ence)]TJ 9.6119 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0482 -0.265 TD ()Tj /F2 1 Tf 0.4939 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.3347 Tc [(\)i)334.7(n)]TJ /F5 1 Tf 1.8911 0 TD 0 Tc (L)Tj /F7 1 Tf 6.9738 0 0 6.9738 288.36 641.58 Tm (2)Tj /F4 1 Tf 0 -0.912 TD (A)Tj /F2 1 Tf 9.9626 0 0 9.9626 298.2 637.98 Tm 0.005 Tc [(su)5.9(c)27.4(h)-319.3(t)7.6(h)5.9(at)7.6(,)-332.3(f)8.9(or)-326.7(an)30(y)-323.2(n)5.9(at)7.6(u)5.9(r)-1.5(al)-320.3(n)30(u)5.9(m)31(b)-18.2(er)]TJ /F6 1 Tf 15.2612 0 TD 0 Tc (k)Tj /F2 1 Tf 0.5541 0 TD (:)Tj -29.0889 -2.5294 TD -0.0026 Tc [(\(3)-8.5(\))]TJ /F5 1 Tf 2.2765 0 TD 0 Tc (H)Tj /F4 1 Tf 6.9738 0 0 6.9738 197.04 611.34 Tm (A)Tj /F5 1 Tf 9.9626 0 0 9.9626 206.28 612.78 Tm -0.223 Tc ()Tj /F2 1 Tf 1.325 0 TD 0 Tc (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\()Tj 0.819 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0482 -0.265 TD ()Tj /F2 1 Tf 0.5059 0 TD (\()Tj 0.4095 0.265 TD ()Tj /F6 1 Tf -0.0241 -0.265 TD 0.0341 Tc [(k,)-134.6()]TJ /F2 1 Tf 1.4936 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6625 0 TD -0.1689 Tc (\012)Tj /F2 1 Tf 2.1079 0 TD 0 Tc (\()Tj ET q 21.84 0 0 -0.48 296.628 622.0081 cm /Im1 Do Q BT /F6 1 Tf 9.9626 0 0 9.9626 296.6405 612.78 Tm (D)Tj /F2 1 Tf 0.8552 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD (k)Tj /F2 1 Tf 0.5541 0 TD (\))Tj /F5 1 Tf 0.6745 0 TD ( )Tj /F6 1 Tf 1.06 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc (\)\))Tj -19.3444 -2.397 TD -0.0011 Tc [(T)82.5(o)-356.3(pr)-7.6(o)17.1(v)20(e)-340(t)1.5(he)-352.1(cla)-7(i)-1.1(m,)-362.5(w)22.3(e)-352.1(no)-7(te)-352.1(tha)-7(t)-359.9(if)-346.5(co)-7(nditio)-7(n)-361.5(\(3)-7(\))-347.8(h)-0.2(o)-7(l)-1.1(ds)-353.9(fo)-7(r)]TJ 26.0654 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0482 -0.265 TD ()Tj /F2 1 Tf 0.8311 0 TD 0.0006 Tc [(then)-359.8(conditions)]TJ -26.8483 -1.2045 TD -0.002 Tc [(\(1)-7.9(\))-336.7(a)-7.9(nd)-350.4(\(2)-7.9(\))-336.7(h)-1.1(o)-7.9(l)-2(d)-338.3(f)1.9(o)-7.9(r)]TJ 9.0097 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0482 -0.265 TD ()Tj /F2 1 Tf 0.8191 0 TD 0.0057 Tc [(as)-335.1(w)29.1(e)4(l)5.7(l)5.7(.)-464.1(I)5.3(n)-330.6(t)8.3(u)6.6(rn)6.6(,)-343.6(w)29.1(e)-333.2(c)4(on)30.7(t)8.3(e)4(n)6.6(d)-330.6(t)8.3(h)6.6(at)-341.1(i)5.7(f)-327.7(con)6.6(d)6.6(i)5.7(t)8.3(i)5.7(on)6.6(s)-335(\()8.3(1\))-341.1(an)6.6(d)]TJ -9.7805 -1.1925 TD 0.0059 Tc [(\()8.5(2)0(\))-328.8(h)6.8(ol)5.9(d)-318.4(f)9.8(or)]TJ /F6 1 Tf 5.3601 0 TD 0 Tc ()Tj /F2 1 Tf 0.8191 0 TD -0.0009 Tc [(then)-337.2(co)-6.8(nditio)-6.8(n)-337.2(\(3)-6.8(\))-323.6(h)0(o)-6.8(l)-0.9(ds)-341.6(fo)-6.8(r)]TJ 12.4665 0.265 TD 0 Tc ()Tj /F6 1 Tf -0.0361 -0.265 TD ()Tj /F2 1 Tf 0.4818 0 TD 0.0006 Tc [(,)-324.7(d)1.5(ened)-335.7(a)-5.3(s)-328.1(f)4.5(o)-5.3(llo)18.8(ws:)]TJ -19.0913 -2.397 TD 0 Tc (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.5059 0 TD (\))Tj 2.686 0.2529 TD ()Tj /F6 1 Tf -0.0482 -0.2529 TD ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0.2865 Tc (\)=)Tj /F6 1 Tf 1.7224 0 TD 0 Tc ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4695 0 TD 0 Tc (\))Tj /F5 1 Tf 0.795 0 TD ()Tj /F10 1 Tf 1.0478 0.807 TD ()Tj /F2 1 Tf 0.6263 -0.807 TD (\()Tj /F5 1 Tf 0.3854 0 TD ()Tj /F6 1 Tf 0.5541 0 TD ()Tj /F2 1 Tf 0.5059 0 TD -0.0026 Tc [(\)\()-168.7(\()]TJ /F6 1 Tf 1.325 0 TD 0 Tc ()Tj /F5 1 Tf 0.807 0 TD (\015)Tj /F6 1 Tf 1.06 0 TD ()Tj /F2 1 Tf 0.4939 0 TD (\))Tj /F5 1 Tf 0.6625 0 TD -0.1627 Tc ()Tj /F2 1 Tf 1.8911 0 TD 0 Tc (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F2 1 Tf 0.4818 0 TD (\()Tj /F6 1 Tf 0.3854 0 TD 0.034 Tc [(,)-134.7()]TJ /F2 1 Tf 1.4815 0 TD 0 Tc (\))Tj /F5 1 Tf 0.6866 0 TD -0.1627 Tc ()Tj /F2 1 Tf 1.8911 0 TD 0 Tc (\()Tj /F6 1 Tf 0.3854 0 TD ()Tj /F5 1 Tf 0.7829 0 TD ( )Tj /F6 1 Tf 1.06 0 TD ()Tj /F2 1 Tf 0.4939 0 TD -0.0026 Tc [(\)\))-168.7(\))]TJ /F10 1 Tf 1.4934 0.807 TD 0 Tc ()Tj /F2 1 Tf -29.6066 -3.216 TD -0.0003 Tc [(Let)-335(u)0.6(s)-329(p)0.6(r)-6.8(o)17.9(v)20.8(e)-315.1(the)-339.2(c)-2(o)-6.2(n)24.7(ten)24.7(t)2.3(io)-6.2(n.)]TJ 0 -2.397 TD 0.0059 Tc (31)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 496.86 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 493.26 Tm 0.0049 Tc [(Let)-329.8(u)5.8(s)-335.9(p)5.8(ro)23.1(v)26(e)-309.9(t)7.5(h)5.8(e)-334(D)9.1(i)4.9(agon)5.8(al)4.9(i)4.9(z)3.2(at)7.5(i)4.9(o)-1(n)-295.3(T)4.2(h)5.8(e)3.2(orem)6.8(.)]TJ -2.1561 -2.397 TD 0.0059 Tc (32)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 472.98 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 469.38 Tm 0.0041 Tc [(L)2.8(e)2.4(t)-330.6(u)5(s)-336.7(p)5(ro)22.3(v)25.2(e)-310.7(t)6.7(h)5(e)-334.8(R)5.3(ep)5(resen)29.1(t)6.7(at)6.7(i)4.1(o)-1.8(n)-308.1(T)3.4(h)5(e)2.4(orem)6(.)]TJ -2.1561 -2.397 TD 0.0059 Tc (33)Tj /F3 1 Tf 6.9738 0 0 6.9738 154.08 449.1 Tm 0 Tc ()Tj /F2 1 Tf 9.9626 0 0 9.9626 165.48 445.5 Tm -0.0001 Tc [(Let)-334.8(u)0.8(s)-340.9(p)0.8(r)-6.6(o)18.1(v)21(e)-314.9(the)-339(D)4.1(eductio)-6(n)-336.4(Theo)-6(r)-6.6(e)-1.8(m.)]TJ /F1 1 Tf -2.1561 -2.409 TD 0.0005 Tc (Addendum)Tj /F2 1 Tf 2.2042 -2.7583 TD 0.001 Tc [(These)-325.9(a)-4.9(r)-5.5(e)-325.9(the)-337.9(s)-2.5(a)-4.9(ddest)-321.7(o)-4.9(f)-320.3(p)-22.2(o)-4.9(ssible)-325.9(w)24.4(o)-4.9(r)-5.5(ds:)]TJ 0 -1.1925 TD 0.0015 Tc [(Tink)22.6(er)-318.2(to)-341.7(Ev)22.6(ers)-315.2(t)4.1(o)-329.6(C)0.8(hance.)]TJ 0 -1.2045 TD 0.0004 Tc [(T)84(r)-6.1(io)-318.7(o)-5.5(f)-333(b)-22.8(e)-1.3(a)-5.5(r)-331.3(cubs,)-336.9(a)-5.5(nd)-323.9(eeter)-331.3(tha)-5.5(n)-335.9(bir)-6.1(d)1.3(s,)]TJ T* [(Tink)21.5(er)-319.3(a)-5.5(n)1.3(d)-335.9(E)-6.2(v)21.5(e)-1.3(r)-6.1(s)-316.3(a)-5.5(n)1.3(d)-323.9(C)-0.3(ha)-5.5(nce.)]TJ 0 -1.1925 TD -0.0003 Tc [(Ruthlessly)-328.5(p)0.6(r)-6.8(i)-0.3(c)22.1(k)-3.3(ing)-331.4(o)-6.2(ur)-332(g)-6.2(o)-6.2(n)0.6(fa)-6.2(lo)-6.2(n)-312.5(bubble,)]TJ 0 -1.2045 TD [(Ma)-6.2(king)-319.4(a)-343.5(G)0.8(ia)-6.2(n)24.7(t)-323(hit)-335(i)-0.3(n)24.7(t)2.3(o)-343.5(a)-331.4(do)-6.2(uble)]TJ T* -0.0006 Tc [(W)86.9(o)-6.5(r)-7.1(d)0.3(s)-329.3(t)2(ha)-6.5(t)-335.3(a)-6.5(r)-7.1(e)-315.4(hea)17.6(v)-3.6(y)-328.8(w)-1.3(ith)-336.9(n)0.3(o)-6.5(t)2(hing)-331.7(but)-335.3(tr)-7.1(o)-6.5(uble:)]TJ 0 -1.1925 TD 0.0015 Tc [(Tink)22.6(er)-318.2(to)-341.7(Ev)22.6(ers)-315.2(t)4.1(o)-329.6(C)0.8(hance.)]TJ 0 -2.7583 TD 0.0051 Tc [(F)91(r)-1.4(an)6(kl)5.1(i)5.1(n)-319.2(Pi)5.1(erce)-309.7(A)8.3(d)6(am)7(s)-335.7(\()7.7(1910\))]TJ /F9 1 Tf 14.3456 -19.1636 TD 0 Tc (8)Tj ET endstream endobj 38 0 obj << /ProcSet [/PDF /Text /ImageB ] /Font << /F1 4 0 R /F2 5 0 R /F3 6 0 R /F4 7 0 R /F5 8 0 R /F6 9 0 R /F7 10 0 R /F9 12 0 R /F10 21 0 R >> /XObject << /Im1 22 0 R >> /ExtGState << /GS1 13 0 R >> >> endobj 22 0 obj << /Type /XObject /Subtype /Image /Width 1 /Height 1 /BitsPerComponent 1 /ImageMask true /Length 2 >> stream endstream endobj 13 0 obj << /Type /ExtGState /SA false /SM 0.02 /OP false /op false /OPM 1 /BG2 /Default /UCR2 /Default /HT /Default /TR2 /Default >> endobj 39 0 obj << /Type /FontDescriptor /Ascent 0 /CapHeight 0 /Descent 0 /Flags 68 /FontBBox [20 -944 1448 791] /FontName /FNEGOC+CMSY5 /ItalicAngle -14.04 /StemV 56 /StemH 56 /CharSet (/openbullet) /FontFile3 40 0 R >> endobj 40 0 obj << /Filter /FlateDecode /Length 303 /Subtype /Type1C >> stream Hbd`ab`ddusuwv 4 ha!"Ћ?Y\dXW\={߷ 1032rW%䤖8Teg(h$k*ZZ(X*8e&')&d&99 ə% 6%%VzzEv: % AũEe) ny% ~ `Agɤ?3~Q?.;o) d > endobj 42 0 obj << /Filter /FlateDecode /Length 784 /Subtype /Type1C >> stream HT]HSawrg;ֶ2ZdZDgE}JI_Z`p6n܎ej9Mӈ0nꢬ.0.$B=.jZ7]<C(AkVn*[_dZte!g*eVMp$ D*ԗq}~pBEZM'[[&lk^.[u18 on9hm-.-y#[TRRn6J=vepl5'X tXlevXYZXx 8jeg=6ݼod[y/R?ZwB @Ld&d9؛8ߦE4#bXeV|P1%LtBFa8 b}Sg\݇+Q܀2N+6rVd %ަgɧzB 8d{ P$dxP7Qzo9`?^(@7 i'P%rݼ2AoKe|&o ]Gс7(T7} <%DkБf # {O;fсuT iV:kLXUEu%쑆릙8Π"} 9ƹhU-#Yx3X?сr(q>:B_hKi=ҢIҥj\T؆e%gUy0=cM|Oi1jxr7JQ֢1f IC)O|59NA 2UL"6|&}|;MQ endstream endobj 43 0 obj << /Type /FontDescriptor /Ascent 0 /CapHeight 0 /Descent 0 /Flags 32 /FontBBox [-61 -250 999 759] /FontName /FNEGNH+CMSS10 /ItalicAngle 0 /StemV 78 /StemH 61 /CharSet (/one/two/three/four/five/six/seven/eight) /FontFile3 44 0 R >> endobj 44 0 obj << /Length 899 /Subtype /Type1C >> stream FNEGNH+CMSS10 N{GKouCopyright (c) 1997, 2009 American Mathematical Society (), with Reserved Font Name CMSS10.CMSS10 1'v$Źp:wPN8[QQBPK#J֪:S=5sz~}؟@=6RRPOuyѨ̯mKNbPN}DN.Y=]K>F<_O-灳EG״8(>*(?(<0<N?|!u9c-b :HNnjSRb 5$ce|qnu23&Xb}!!kNǶI+k?@N5}ո޻rffh^i]sbozqiR!|',| (72\~#j3Du䨭698/VInCrJL4. EHE>\мڸWJCX]CFQӱc$*M^KuPWbCy Ȏ ٖ  endstream endobj 45 0 obj << /Type /FontDescriptor /Ascent 698 /CapHeight 0 /Descent -206 /Flags 98 /FontBBox [-35 -250 1124 750] /FontName /FNEGNE+CMTI10 /ItalicAngle -14.04 /StemV 68 /StemH 31 /CharSet (/G/dieresis/o/d/e/l/n/u/m/b/r/f/c/t/i/a/h/s/p/y/fi/D/M/g) /FontFile3 46 0 R >> endobj 46 0 obj << /Filter /FlateDecode /Length 2958 /Subtype /Type1C >> stream HyTSC"(x;~7pZt3ea\El1$ ܐ$d'%AY\XEq֪*S33_9m{93sw~xVXAV,@]eMZo Y!Rp^լ;~\*v;MBV6i0 6 Dz}t1c|#GLz[갓d 4YIax)UI'un(I-*rӒ|ty5:2OZVei86h7ꪰQft*kUd3fr\~JJN06odQd7O:E1!2궒,\V,TĥxӣՒ(^܉xɖ3Ykn7`9"cyR"^YVmJ1rj; ^W{8 *GoL@xaP)04p$״%TJ>׶OߵsCnA V,d%ۋ4zzwRoQF-/p:WD9ؼV]~*ny<vGڔ)^5:w7G1%޷pOF:M`W#lz%#D^=re Vb<uzHuC A^5sҏ , F;;c7~i'H`s)O>CKc [GTJBx \fp*@ڊE"ifR0ۯ3gfxLx#0" _)HM%Kвl..Kh8\]]8 v0j23r1B [Q*NSן̋zOVWIv3~}OM}ы C*|1ZZv X3=&c;;\o}$IAjfi*(h*$O*#%jL #P i5[k$ ukvtw߄[[0\~ 7 K5&50 01GhM鈛G E>Β4A-.#$ռ;?CĦѰ99+9'ϳ&fıEa`&ɝϳ%<^j\ H2C@{ԅ་Z^1x)#׉d+-m)T3Urb$P[FvO nFч(xerYvM\$<'4t^Sֶb"uz;p8,Ӷ:ibs$ˢƮLr4ƆkBYyB] endstream endobj 47 0 obj << /Type /FontDescriptor /Ascent 0 /CapHeight 0 /Descent 0 /Flags 32 /FontBBox [-27 -250 1122 750] /FontName /FNEGNC+CMR7 /ItalicAngle 0 /StemV 79 /StemH 36 /CharSet (/four/three/two/one/zero/equal) /FontFile3 48 0 R >> endobj 48 0 obj << /Length 810 /Subtype /Type1C >> stream  FNEGNC+CMR7 pAHmqCopyright (c) 1997, 2009 American Mathematical Society (), with Reserved Font Name CMR7.CMR7j9 w~]lM;|CC|||]Nw}ƋԋךڠˠjQUC4AA~L0wGucoLK0bg͋j~'eg $e'JiuP~>}L讧Ǻ !74/XWҪϡ=:4MFkgo0w!¨oU CfQc3asloozb-N K06U;ixwlЖu4a}]qljeoYr}Z8Ru}`g9i:pgˍˉ $p:=&?ts~*~ssr)pt|(|trswCnaCy ڛ  endstream endobj 49 0 obj << /Type /FontDescriptor /Ascent 0 /CapHeight 681 /Descent 0 /Flags 68 /FontBBox [-32 -250 1048 750] /FontName /FNEGMP+CMMI10 /ItalicAngle -14.04 /StemV 72 /XHeight 445 /StemH 31 /CharSet (/comma/c/x/f/r/alpha/k/zeta/period/tau/beta/T/j/dotlessj/W/delta/eta/theta/lscript/slash/D/a/epsilon1/lambda/rho/m/b/gamma/n) /FontFile3 50 0 R >> endobj 50 0 obj << /Filter /FlateDecode /Length 3944 /Subtype /Type1C >> stream HD{PSW%$ Vvz+suZJ]ݪ(*UEDA*JLBx$$$$7 yL (UEjCںu3aO٭nwfgf7s|~/DG!(ڽ7ԴIVhxq4W *ـ_/ZyEQμ7W'&jkUTQ(8%V $L KUBY$&UGQFT ;%URHURRY*Wˋ$*~0y]~3L\^$~~C&PE.RQHR U*Ŗu*++2e\=a HU?"V+"yH Mtq d! =mF]Q^9"P(GP,}}^Eo`-[/8%,(.WAHa@QiQ},q47Z=g_fYz{#Ḍy)3?ixYWn2 z>+\HJ 8.K"wz@HGۚ vdқ6Rˮ mo Zqť&T,N=ݷ۾aVHF&SjfF 񜆋jw xŴ0baSl-B2S*nwl\ap.nzW f#ԵOǧ >t㷧qnuZ8tv%nBfKI&#*Z)3{q룆$5ϖ!qD$G=&|bbPN`4 ~f]xcZX텩ɇJ.Zw1C^Wo7OK>ӄ{td&2{pK@R8v5RP\ 3ԏ~,ޏEU-_=-yLI)9<{g]} Z֮6.qQZ&O=:DNcy}Y~1ܚyj0 .Z:: no3"iohuQ/޽[f3m*D >ܙTL,0SwD$ڄZ+>#pѡWyju\~ c8\L6$6W /*QAQA:k#a46uWoNU\Tugp`kOC N<Y/A&25' =ݬx( !ߟdπ>aw; Q"JEu&\l8{kqI[MeAe-W|nqN8ڜQ\aĹ)szvy5M={avqfj"u^C>SqY\XGk\f+5`h6tv^h :Ez\ddAp5;}vp \a_1JE^ߵjJȓE5MO}=Kܙ+0!bRȡ(,M0L`4d}RD瞤%B\&|86N'xݨ1T4fQkKKȼ*JK.eooWW/ɃYA% 3,pҊM,*,+e>CFj%VKbJw4:GbV\.MV[&/~JcGhz$y:4й?/1ܐLTk*W ǁM 7_NoLOlm_!~|˩mQTAir % SkJg5Y]9:p^Am\gFDNDmKu:ͤ6;c{̈́~Y`$JZ@OB``b\vkǙLntuN4dN{wdȰܤ~"L9iCL1FuZovM#f K½"Izv{x/,:bvY=k'p;:U"&3C2F#n(A|1^DSi2J%7l)#^)#N09p9=HF?{}S3!N St>i0j7da\lm[H+e%Cg=)wH_?_Rv kP&I9x NQn!ødT~^'FKm8[ m]G*![˓~"9;A8cv;xQێ̿KSsxNai2B\.{Yn' ܃R{ʗH>& < $KJ1}n/༹ jX,; F&.SHv^Uբ'D8J3;My仃)r"#zOBş|Ri{ůVj:úũ Y16.ef'Uf[ 6N .C[Bh[J>^3 v5“8G [,7"aB>|U')%(+z6@'|챫=Қ|;لBk%C鍎Ĺ(͟?:MQ7>7݋ʹ2w+LRVfH2../F|M_ xBpuȪ#lfD0CG{jqqdMo|Xrx2g_^P5qƜ9B8=ՃxL0͝9$aFn3emJXG4ޞ$OԘԱ*}XKC}]V,ason\)}I_sĝ&L`?Lc|$X[dU/_ۘ)cCA!pE `TX *x?g܅b \k*m_E{<83DAh~ jϡF>:FyK>y䀲[j+j|$PpbYqaq`Ty־Tr %\좥6SU4-2W}í3D;C]и7r%T\SP7rkeζ k7h蛨_FNm(i}Nцk9)%%I0y! I5[ʹm~~f rM{AGPȺ*/JOQv;e"{?٧2`..cz?L+ endstream endobj 51 0 obj << /Type /FontDescriptor /Ascent 0 /CapHeight 0 /Descent 0 /Flags 68 /FontBBox [-29 -960 1116 775] /FontName /FNEGMN+CMSY10 /ItalicAngle -14.04 /StemV 40 /StemH 40 /CharSet (/L/A/H/logicalnot/minus/arrowright/universal/bar/angbracketleft/angbracketright/precedes/periodcentered/V/bardbl/element/arrowdblleft/arrowdblright/multiply/arrowleft/equivalence/negationslash/lessequa\ l/circleminus/D/backslash/emptyset/existential/union/braceleft/braceright/asteriskmath/logicaland) /FontFile3 52 0 R >> endobj 52 0 obj << /Filter /FlateDecode /Length 3495 /Subtype /Type1C >> stream HTT p~kYbc7D` cr1Nd¶l$ٲe%YZV}mb$ܤMЦtZHC&}+ve}߿?aomR-WN\>4iyl{d/?Cϝx!) `^l`:`N!Gp^ShuFWj*W&UV+:Z*5KkMާZhT5ӫUuOOT@]OujZS5u mMZLkzJ`WT²QתuBA]PR* uuFuSOwSU @FCcV̑,(XL*/@^T[i/)hPh]g&f-uy۳Xaɸ;vhx+k&NJ ^Qpط?6葎jjVҎ A~KKx_?p8bf8b㘰;.$| K3H;).E0v;Cfyp7'֠pX,dA\ Ҙ: k3L4#VwNɌ&-uQp&D۬VG;5;0LHvX抻ŢXO>̰E' 9>7!zLQa[4$J/g 0vuGâ>h sfTRT(GVRXJN΋Jaq.3r\ IGh 2ABxS9v<sSv5||oy͋wb-I=X1| (`ӭ- {T:bbi>[NQTlrGA&%}if8.io~ʤL8䤰_~v =fbH5*AA_2xGp=ʞ֊^p' }>?Pe63Th\hiͭdCQ̵Wn"bf u9#Npj2!pa=ng,a#\WqJX}l'OX ,? ,UVZ"6_W@Y8Lo՗in@U .bhyd$;vDX/gɏ>صߌs9ܬ#8sqc.wo%ܮ7FZL\ؙR3թT&OͰSsogoI 3`9Z%A hZ@ngy 39Du CQrV@G.j4;F9I2N7G#_OfA>/q?/Ka!kl-25|(uuM´)M$6zQY;pX"$΋t6?LʝWGZrb/2/A Ϟڏ92 =Yz&wDpB9!x_/Fzt堁GeECd*R 2($WL2/pru'.->XqQihhl%vyr"a%R).ğ0+ d5MH}T(C oLNhJYʒmnh\AlcJYK9jӉdWܜFh6CCt7) }]vgl Ϣ%X5+tb8jShCBq XТӷgcX|E4"T>_u-0( "(  >GOiXHl?3%ՙ|u%x:ScXOo mհaG|_EntUCc1]Lq/"TϠD6#-6iaF3u=ǷQ= wI[9){ @ՇT6' q-5'K 8E ,$ n?bWhz~}4E:Pa9aS@Aoe8 )*# uAY.ѱcPxV̽;A= /+ч"-mQNI ܒwIa 3I$5QDƙf:ͅhLJP/Ts͔сkHv%v+^p3ZV&`9![]ǁ떱*aE2;jO_O+1(b UΛ<ݾϡPcIC'RNH[0|jm'x3mz3ɾQ0TVhH'qeԕROKD ͧZOuUy"=Yݙ.߂&/mjc5mgK1V2 mƔ4B;P"vȳ~ g I&rH/wHIY.q dE9gTI߹t| ^+^-Jњ齯'Wf"(Z%fNw&t`c6;,] %`v8x)1)-p\4(׳L6$Ep?7+2̓"^ ))P5].Om6 endstream endobj 53 0 obj << /Type /FontDescriptor /Ascent 0 /CapHeight 0 /Descent 0 /Flags 68 /FontBBox [-1 -250 1171 750] /FontName /FNEGMM+CMMI7 /ItalicAngle -14.04 /StemV 81 /StemH 32 /CharSet (/A/k/alpha/t/p/lscript/W/lambda) /FontFile3 54 0 R >> endobj 54 0 obj << /Filter /FlateDecode /Length 1521 /Subtype /Type1C >> stream H$T{lSc װ^L$DfZ )Dhx#Np ۉ?]:{@,)NѠ-ilEU726PJPQULT,a:#}:9&)/`#B@b䗇ʟ(-F_(^!:Էy~ 0L'2k.sh5LmMek55;5;oLnMҮk-+I渡CgTb1޶jn[ =Uk]sLg֙tg5 ^yyK$X K*$0JrXrTrRX{"Y2D*II3e?H[˿թPwBѽE>ڤ~xmL0'vў3]*l!-&EQn R<՛`B"tQtήp ZPAqNvSp%a0L*wqTDs|^ܜr)|(IQ*)h(!ol"Nt' |1V Ίypss|4J=XB'JZR~\OCH]Њ{96͎O"# ǹd6 2tY~^-޽Q:Gй"#0qCQj|, +x?tѽGFd*aZ\Kmun8~G1<HKwܩa+M`pg 'K˭'lb4aho~@Au{ D l8ܴQpX** ']dw]SWVx!\S]a9"OEb Jpqz=T9!"ꞒE/?ZA : Za$LFutB ]j<[u~5y} ?_IT (gos@S퉓fBw]y@-⟷OL$3x,p[w(飝tLCn}~*@ ;(Fa:6?o9a! zs\D a'nci01Dl JTQr273(f?vw4;xo1:~qʴyة7HmkgWMK򩓅EQ6)_+r¾U5U5޴"N5(>fSWVgoHBkvo`vg=F;v4x\.c^rR_L>һY6]Q7p?F TL +`_/J-򕓏]3R"19V'&~OYZ/s౼A606w_]l> ɗl1*kAM&9d,b{\3kXr9 ϶ endstream endobj 55 0 obj << /Type /FontDescriptor /Ascent 0 /CapHeight 0 /Descent 0 /Flags 68 /FontBBox [-15 -951 1251 782] /FontName /FNEGMK+CMSY7 /ItalicAngle -14.04 /StemV 49 /StemH 49 /CharSet (/openbullet/asteriskmath/minus/bullet) /FontFile3 56 0 R >> endobj 56 0 obj << /Filter /FlateDecode /Length 557 /Subtype /Type1C >> stream Hbd`ab`ddusuv 4 he!"Ћ?92,.b@{;X[:KR2sK2 RJsrRK *23J45 --u ,s|SԒJ +}rbt;M̒ ԢT ne % , | @203h2bf4Q{ ?-|/{*?/تuϑ[|3O2W 3L7yJ<9u*[:~:sIt}EsiSnO|o$ޒ$&6v5IWTOo.]2=^BjFIS}yV۔t^&/Ҿk\眖˝XK/;c֜~=aO;\yt~s};ϫ79~gu+_^7st|ƛ?h+^~ o{pļ?, ` endstream endobj 57 0 obj << /Type /FontDescriptor /Ascent 698 /CapHeight 681 /Descent -207 /Flags 6 /FontBBox [-40 -250 1009 750] /FontName /FNEGMJ+CMR10 /ItalicAngle 0 /StemV 69 /XHeight 434 /StemH 31 /CharSet (/T/h/o/m/a/s/W/i/e/t/n/g/R/d/C/l/comma/two/zero/one/L/Pi/b/p/r/f/A/c/Lambda/equal/parenleft/parenright/period/y/q/u/I/B/fi/v/k/G/dieresis/Sigma/colon/w/hyphen/x/F/Gamma/j/plus/seven/three/four/six/z/M/\ five/ff/macron/eight/nine/S/D/Delta/P/O/H/N/E/fl) /FontFile3 58 0 R >> endobj 58 0 obj << /Filter /FlateDecode /Length 7166 /Subtype /Type1C >> stream H{TWg3ADg㸸*nGZ** b@^ @x<. E!AĈ<|"ZWmOem=ZWzt]lF?ݞy☻ך6[-frϚ8%~68O>}3f=('=} 0Z0^U+Ա;J⃔DeV7_B y:>=1N,ߠ&īZaG%k~+et:Z㟒|B.Q Oό)_oTo .q S&Dぱ6[-rǖaaXtý1\_ Xݷm 0l`sö`8nf_4>=‹M"T$&6!pڳ>{-Ĵ泦U|'O)}Ƿ!<9y :4oxjiA>~YʹefL187:|8'p8!m+h!U39l+9W#4g5*v:vS oڭUsi@:hpۉ~gH,1Wr̥%{(-f S\ X:-}K?apu\dǏ;'xҹn0zY٘Sʡ(#B]۹ZΗk`v`2mk3Sl5,= .q鉊<`63ƪ }`SeW'x'f- jh;9:t]>'b8BVXa*g#`. W(ђFAd \ ר5z`61jPQ'I<;,P).A8`Erz@GsiH9V Jjcv~:ӵڛ;NDFKٮȊTB$ކ0+T#hT>̵]3wHppzzTx8|ICzr{hVBu),5僢Qdr)H=lQlU~,^D!"’kXdQ dB~: v6lHevo8|ؕoxh׿SIR_SJ!Rf5r5I@/9E,Zx|}([d-Lc7 %ځ^( [ϑve6`ͩgM"vP }؃Tm0$`#$zYy}y_ZVYnB>hW$Xk2h0sC6RϠ]C4 3k(7VV:^aCP-#skgzY;="~̡qY o|zРӁ<v*/ t ŠYv;ha%ȉ6fY}8!Ic/5q ٩iiu*VV+QVf[1c`XLp@J(rnD n/CNR.md&9YJ2Ӛp行owK&b$N!%)]YU.;uSwNvvOsǿ3 %Ih._0_Y;YP_W ÙU L]gSD.iᇤ~dX KA+ 窥@6i<o( 4$`xwKoP:L|N^d]$AD%VqHb3k/v]Z+6vz!4O *DS$pd-ȐI2ހb80>Gϥ ^G{K/-)xwSV61Þs ~X`ޜéMXc.[J,ԥWz4y+l>&9fǪ+ \GL'kb8 ߽~gN#+؄W:0x*6.޷w|4eE&PP̢DBEʚHh'B{H 5mVGT*KqJ~ .{wq><ؕ翏FJZa$뛋`"W ABG0^LL% 0AƞDzOeda CWR NABxObODdK;!#Y^ GQM^`Oa#^vtv\B<G )䢶Wć0قJII2ERJQ8HZJ]}5/4#M%@ӥ $h llp-wJ|A0鹈;qN2q,HzZ;Vp c7 nɂ-R=9́pmdh7֛JgZ3Kַ_] A\)dq6;UW^:IЌޟ*};O fh?ccԚPl"ނȘDm^3 Aº7,7ˢ,mMeܹ#'jݞE(7(mtEVܨq~/rsS`qb*e{̸ǢTQGM &Q4;(qE9#PIӷ7HpNQF0u,SҐM8Tu[ęFexYH9#x)&]pR?C4rPp~1S ZkdD%2%7;J|)%?>&3_*92,;b®'kI2t/!KTg Ag&$'4Q\9+yN\pw ;gWm71//g+i$9&P`, JXXJ#2,ft~+7#ZЙ R"/BnϚ5 mCi\֊`f'c,qjZG$+X2c|Q=&i8N^-$j G6ThF̊MzhY s"ːe,t@s2 O`v΢H}b)ytJbLd)o O_rsJ 478ݣNCkhIH${Z@ݪ_?[JA[d=!d>%V$w龯FVyeL2TB'㠓x {-ޕiZI{SэSnf" 5]P؏]b{..!u~*W>%DU.幱 NK#Sk7!]j=X|=_,Y;ݬ*3Q`oQС}!;SS Msqשh OOOa5,M?U#)^7ɓq[yҸu@aeT"{Fţ A%TgGRU(Tґ4VDV)FV)3|YfnR ˡ{(YN ՙzH4 $89/b)gA `yD2D!x8lRL> \5N74 `dI -M}P@ŘuS`g1X!WB*: ^>ԯ.f!8\ͥťlLL&Y㙁˝~BDp;zS@=*FgMK6ݵ?^-uާ}9΢UX#xb9Y١q(^Tzs 3{,zQ7:$w?!u>m.w2 Nr KxjCRy p :m j+;C&-sQR]>N?ͺ &kj)JauGj"{KA֞ghB*`qkX݄81[p%y tǪLuN";SAĞշ$0`3slWwK:`]ء)ctYrL(O+ִD4FClk̷p ~FZUjS[7ٌjpjVpS_U?R ۉ쿪kU2S\Pmj qT  'e+]^E=i9"f*)u0RY4L)I//ʯH'g !!1a׮<)&-59O*gNDsȝ o$GM) qYU{l!;"uC|,etl-B ,f!rKnUiRk}F;IN&o]q %bvGDl9DiRx) x2,r_~[\6B꒺iY^+rm H' Bɠ. їg}7lAă_9gUXPG9 l.Ֆ֒d@(`Y@8m ؄|5TrebRb%K#>~\ r%ޭrm0.dCE^vN艰mޑ2̼tݬtShUWVqB::: `]_|ϯO/f,!|p_U,3TXaV(4Z.;!sLP6.<'bdp\q= `͝kp 'rVnZ+: qz-ӭl~_AK' JQ0B0tAanoYw +6v#XOIW:Ljb¨nQ( 5M^Pc41Q 1 &"$z(Rڅڥ۲KK[ֲ#9 FoO%C\'o7҄4*^xQQZ ay>mi+qҍ&!ḿg4$a`?&C 0 K'4u/A4 ׂ7P~SyU!Y+$걣Lv>#nm`'d2+{qu5*36̛@EX~p2B'昜: 1K>}!"ý,Qg؂lt v$izMkZ2e2{l(Ȧz:>g @1&s dok>܏aٲv±޲d\bԳ4ള!9'<}6Ù8l:ܮļd6B*wh:u ΋X+뚿׵U1eBQD Y9GyJV-k-%)OTQR?񰤃ehfGXZ!EլRު2`xG endstream endobj 59 0 obj << /Type /FontDescriptor /Ascent 698 /CapHeight 679 /Descent -202 /Flags 262178 /FontBBox [-56 -250 1164 750] /FontName /FNEGMG+CMBX10 /ItalicAngle 0 /StemV 114 /XHeight 447 /StemH 47 /CharSet (/T/A/R/S/K/I/comma/G/dieresis/O/D/E/L/N/C/H/U/n/t/r/o/d/u/c/i/e/l/m/b/s/a/h/P/f/y/fi/B/p/g/z/F/x/k/v/Q) /FontFile3 60 0 R >> endobj 60 0 obj << /Filter /FlateDecode /Length 4463 /Subtype /Type1C >> stream HUiTW*ThLSCYԑ1x#P"DŠ(@d_Bi~MEEe+h4.x1:'VurI?Ns'!D"  j '0ahplt6Jd&o8VIZv@ڦĤ,մx7L_9Y3f3RUqYIꔸ,g*<->Y6/)+k\o\LD?7UnrVj:SNPfRԪUy,vdCxHo!ȈpkbB["w.YbZa&]*hmEN *&q_{|nBv[]]EGly|6m0V ɠ<]db뾇: w K@[e8׋lP;+LS)pU*LBubB9 h ^<[؇5Ea%c"ZH a< O|@?D/.~$ģX MCN~(/v\M 6V {Z! n)95ka"yrYIzǟK&Iɟ&Q|i(hY]c/:dn9*SD]s5[ U:3߀gP݁uxv-*7jEIH"tj8׊)cf Y8qZȵ.%R_$ [pC*ro ;Ofi:VYҘ ΠޓcrdP|.ը74*zJ(3ߑU5L3jϩFUfeQB1Su:ΠV(3, h؈*cOxP7! ǚz?q5*G_^l9fJn[gkgE*{`nE:4?`XM >E`2 X tN~G[;C>h o4(_k+ 6*Y,ky/WͥzN 0Y)\+hlN7ёkw3n"Re8nmىCU1QZCqEZ8#l{Zڋs Z;uppW7~SS1?,}9C͡/)b/RWwTu+Kk9잀-:#w2sΜs|d/UH{ @\!cK-Km&~ :&V ~(5"m"V .rk|h AxM?n+lnfL\t0ϝV oҢj9qAXr{x@Xq&m {%l5|lN0-oT{ o3K(q-);K9Q:<) : v 袰{DAP$?Ju_Eݾ,,󜥏|l\cy=&e~j9~S'6 Όf#{eؒcZD]aF'&e:)K^Sy{ `o(#BNѨ3r9 Uy ." LKy~~)ocģplNӄ:mlKP/Kh؟X+#%LMm#&*%#g5e0LdoB80Uxcc,vvcӷ]xY1MUგ=Y쨁9 6mRg)gaRjyVbVk! T1L>f(aE۩j>j0 Oj efTU]x=e1 "xl%eS 7R5?fBx3+эNtC>$_c&뜺y7qMiGFa:W#+O+Nm NS+s%)aƏX<=2ܔ(sv%nDsI^5+7oNl݌`2[ɋq}ؗ!1*ēuu]xzѵBA*&Y!,^յ]Q ,y D5VsCA<\B۶)`KDR8BncwV8 < G 16ʨȊn]{9Z6RPp9T(;ͧ ]ؑG`,Y֪3<3T}ul;><+ep A@[hn4iT(4@[5~{=U$Ja-=n;|À[ȗ=g-E߬SNI#7%כ @WY`Ma`?R|bN K j]t-z5JVYmѢ|( DT _0.܌Ni8[?ʯK#ԛhUhgYEu9P Lf I]ǩc4qq!$[]W瓀I7-4Iz]$Dg 5)X;2YWRJc1b4eaTolTkru{l?+ȋ*/%X/uttnr"gUj "/ymaeu%Q *kP?gJ":&Sp# ph hջ:~M'ACVDŽ IPb:76]-.k7 _w8@ Hi b䢢:!1p#b~Da}yZM#vLΒ' N&=!tA־Mx6T6ʪu+̶҂ 0k.igF<&+8Q-G ZN+lo|bA["ւd7XeL~S PM ?v}W&l՛Udݑ<=.?-#uU֍kWm^,1g]bjfNR;oX'0Gq Nc;]ns%]\ٸ7Oζ類M3MJf endstream endobj 4 0 obj << /Type /Font /Subtype /Type1 /FirstChar 30 /LastChar 168 /Widths [638 0 0 0 0 0 0 0 0 0 0 0 0 0 319 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 869 818 830 881 755 723 904 900 436 0 901 691 0 900 863 786 863 862 638 800 884 0 0 0 0 0 0 0 0 0 0 0 559 638 511 638 527 351 575 638 319 0 606 319 958 638 575 638 0 473 453 447 638 606 0 606 606 511 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 575 ] /Encoding 61 0 R /BaseFont /FNEGMG+CMBX10 /FontDescriptor 59 0 R >> endobj 5 0 obj << /Type /Font /Subtype /Type1 /FirstChar 1 /LastChar 175 /Widths [750 694 722 625 583 833 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 388 388 500 777 277 333 277 500 500 500 500 500 500 500 500 500 500 500 277 500 500 777 500 500 500 750 708 722 763 680 652 784 750 361 500 500 625 916 750 777 680 500 736 555 722 500 500 1027 500 500 500 500 500 500 500 500 500 500 555 444 555 444 305 500 555 277 305 527 277 833 555 500 555 527 391 394 388 555 527 722 527 527 444 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 555 555 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 ] /Encoding 62 0 R /BaseFont /FNEGMJ+CMR10 /FontDescriptor 57 0 R /ToUnicode 63 0 R >> endobj 6 0 obj << /Type /Font /Subtype /Type1 /FirstChar 1 /LastChar 138 /Widths [585 585 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 585 500 500 500 500 500 500 500 500 500 892 ] /Encoding 64 0 R /BaseFont /FNEGMK+CMSY7 /FontDescriptor 55 0 R /ToUnicode 65 0 R >> endobj 7 0 obj << /Type /Font /Subtype /Type1 /FirstChar 1 /LastChar 116 /Widths [742 478 677 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 859 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 1074 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 607 500 500 500 500 588 500 500 500 431 ] /Encoding 66 0 R /BaseFont /FNEGMM+CMMI7 /FontDescriptor 53 0 R /ToUnicode 67 0 R >> endobj 8 0 obj << /Type /Font /Subtype /Type1 /FirstChar 1 /LastChar 215 /Widths [1000 555 388 388 777 500 666 1000 1000 1000 777 0 777 777 500 555 666 500 666 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 798 500 500 771 500 500 500 844 500 500 500 689 500 500 500 500 500 500 500 500 500 612 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 277 500 500 500 500 500 500 500 500 500 500 500 500 500 777 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 666 500 500 500 500 500 500 500 500 500 500 277 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 777 ] /Encoding 68 0 R /BaseFont /FNEGMN+CMSY10 /FontDescriptor 51 0 R /ToUnicode 69 0 R >> endobj 9 0 obj << /Type /Font /Subtype /Type1 /FirstChar 1 /LastChar 120 /Widths [639 437 437 565 384 444 496 469 416 405 583 517 517 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 277 500 277 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 827 500 500 500 500 500 500 500 500 500 500 500 500 500 500 500 584 500 500 944 500 500 500 500 500 500 500 500 500 528 429 432 500 500 489 500 500 500 411 520 500 878 600 500 500 500 451 500 500 500 500 500 571 ] /Encoding 70 0 R /BaseFont /FNEGMP+CMMI10 /FontDescriptor 49 0 R /ToUnicode 71 0 R >> endobj 10 0 obj << /Type /Font /Subtype /Type1 /FirstChar 48 /LastChar 61 /Widths [569 569 569 569 569 0 0 0 0 0 0 0 0 877 ] /Encoding /WinAnsiEncoding /BaseFont /FNEGNC+CMR7 /FontDescriptor 47 0 R >> endobj 11 0 obj << /Type /Font /Subtype /Type1 /FirstChar 30 /LastChar 168 /Widths [562 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 755 0 0 773 0 0 0 0 0 896 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 511 460 460 511 460 306 460 511 306 0 0 255 817 562 511 511 0 421 408 332 536 0 0 0 485 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 511 ] /Encoding 61 0 R /BaseFont /FNEGNE+CMTI10 /FontDescriptor 45 0 R >> endobj 12 0 obj << /Type /Font /Subtype /Type1 /FirstChar 49 /LastChar 56 /Widths [500 500 500 500 500 500 500 500 ] /Encoding /WinAnsiEncoding /BaseFont /FNEGNH+CMSS10 /FontDescriptor 43 0 R >> endobj 21 0 obj << /Type /Font /Subtype /Type1 /FirstChar 1 /LastChar 4 /Widths [750 1444 458 458 ] /Encoding 72 0 R /BaseFont /FNEGNP+CMEX10 /FontDescriptor 41 0 R >> endobj 26 0 obj << /Type /Font /Subtype /Type1 /FirstChar 1 /LastChar 1 /Widths [736 ] /Encoding 73 0 R /BaseFont /FNEGOC+CMSY5 /FontDescriptor 39 0 R /ToUnicode 74 0 R >> endobj 61 0 obj << /Type /Encoding /BaseEncoding /WinAnsiEncoding /Differences [ 19/Lslash/lslash/minus/fraction/breve/caron/dotlessi/dotaccent /hungarumlaut/ogonek/ring/fi/fl ] >> endobj 62 0 obj << /Type /Encoding /Differences [ 1/Pi/Lambda/Sigma/Gamma/ff/Delta 40/parenleft/parenright 43/plus/comma/hyphen/period 48/zero/one/two/three /four/five/six/seven/eight/nine/colon 61/equal 65/A/B/C/D/E/F/G/H /I 76/L/M/N/O/P 82/R/S /T 87/W 97/a/b/c/d/e/f /g/h/i/j/k/l/m/n /o/p/q/r/s/t/u/v /w/x/y/z 147/fi/fl 168/dieresis 175/macron ] >> endobj 64 0 obj << /Type /Encoding /Differences [ 1/openbullet/asteriskmath 128/bullet 138/minus ] >> endobj 66 0 obj << /Type /Encoding /Differences [ 1/alpha/lscript/lambda 65/A 87/W 107/k 112/p 116/t ] >> endobj 68 0 obj << /Type /Encoding /Differences [ 1/arrowright/universal/angbracketleft/angbracketright/precedes/bardbl/element/arrowdblleft /arrowdblright/arrowleft/equivalence/negationslash/lessequal/circleminus/emptyset/existential /union/asteriskmath/logicaland 65/A 68/D 72/H 76/L 86/V 92/backslash 123/braceleft/bar/braceright 138/minus 172/logicalnot 183/periodcentered 215/multiply ] >> endobj 70 0 obj << /Type /Encoding /Differences [ 1/alpha/zeta/tau/beta/dotlessj/delta/eta/theta /lscript/epsilon1/lambda/rho/gamma 44/comma 46/period/slash 68/D 84/T 87/W 97/a/b/c 102/f 106/j /k 109/m/n 114/r 120/x ] >> endobj 72 0 obj << /Type /Encoding /Differences [ 1/braceleftbigg/summationdisplay/parenleftbig/parenrightbig ] >> endobj 73 0 obj << /Type /Encoding /Differences [ 1/openbullet ] >> endobj 63 0 obj << /Filter /FlateDecode /Length 343 >> stream HTn0EYc BCCMڽcːE36Mz.l&H`8A8\A8㥳*h:3ͳ6vx'DNoWOWߠN' ǫsأ@B]CHڽ!a۟v9Ai nk@_skTfkY9zƜG=pAP VQe lG\, * ^1`soRlPeTRg0 -ęqϐG 1 Qr">YX[ |2K1_"wsZ:½,78z~ď endstream endobj 65 0 obj << /Filter /FlateDecode /Length 239 >> stream HTn0 Ew+%M}N+ %}%HA!K^ƻ읂i1A%DႽ $Xg-t<&}h{#|ʉv 8(^t|+yr68X6H5 VUҙoMR>UfYX{^KYX̹ߦ,w&D/;Ylum1⧜W2o endstream endobj 67 0 obj << /Filter /FlateDecode /Length 253 >> stream HTP=o 7$nX IC?T1#Ru{;z_kkO?tj8{bo,=h–[ 2jۍPU~K̞~xvWfv 7@w]>|5NN*Vrh;up"ÊOgE_ʌc ձzJq $%\5דzZÈ޲dX|֍.9+Lv endstream endobj 69 0 obj << /Filter /FlateDecode /Length 350 >> stream HTMo0 ;ICC%MaZC:@7c'ϐQ ]Lx BkϽz[Ciu#uiWX<л3,N3 Njvn|,Okv;x4vJ۠B]j#˸_*ddl͛rXn%rYXEy&!bQ22+ȩ,F50$Y(skx\%ȤWc͊ Lų >rlSoZOJr{sv}Bm/i8Y0Is endstream endobj 71 0 obj << /Filter /FlateDecode /Length 343 >> stream HTMo0 7@z@H+]F=/Y8q}̰@&}t4B@"ªB샏y` 2Ἰ+ՃusSo, >ƾ4#BLajd'k6]cH*(MhgQ8W"*mRẙ8 \g8W'bz2o5džgt!kY)2͙sYB"xyΈ7U\;>Km:eYl+j]\GȼBvk5O}8D h0x{6v4% endstream endobj 74 0 obj << /Filter /FlateDecode /Length 217 >> stream HTPn0 Ste /ixq]hW@L <#)n> endobj 15 0 obj << /Type /Page /Parent 14 0 R /Resources 17 0 R /Contents 16 0 R >> endobj 18 0 obj << /Type /Page /Parent 14 0 R /Resources 20 0 R /Contents 19 0 R >> endobj 23 0 obj << /Type /Page /Parent 14 0 R /Resources 25 0 R /Contents 24 0 R >> endobj 27 0 obj << /Type /Page /Parent 14 0 R /Resources 29 0 R /Contents 28 0 R >> endobj 30 0 obj << /Type /Page /Parent 14 0 R /Resources 32 0 R /Contents 31 0 R >> endobj 33 0 obj << /Type /Page /Parent 14 0 R /Resources 35 0 R /Contents 34 0 R >> endobj 36 0 obj << /Type /Page /Parent 14 0 R /Resources 38 0 R /Contents 37 0 R >> endobj 75 0 obj << /S /D >> endobj 76 0 obj << /Nums [0 75 0 R ] >> endobj 14 0 obj << /Type /Pages /Kids [1 0 R 15 0 R 18 0 R 23 0 R 27 0 R 30 0 R 33 0 R 36 0 R] /Count 8 /MediaBox [0 0 612 792] >> endobj 77 0 obj << /CreationDate (D:20140703105447-07'00') /ModDate (D:20140703105447-07'00') /Producer (Apple pstopdf) >> endobj 78 0 obj << /Type /Catalog /Pages 14 0 R /PageLabels 76 0 R >> endobj xref 0 79 0000000000 65535 f 0000143033 00000 n 0000000016 00000 n 0000014108 00000 n 0000133602 00000 n 0000134131 00000 n 0000135011 00000 n 0000135740 00000 n 0000136381 00000 n 0000137426 00000 n 0000138083 00000 n 0000138284 00000 n 0000138772 00000 n 0000102197 00000 n 0000143770 00000 n 0000143114 00000 n 0000014286 00000 n 0000024514 00000 n 0000143198 00000 n 0000024693 00000 n 0000039099 00000 n 0000138967 00000 n 0000102059 00000 n 0000143282 00000 n 0000039325 00000 n 0000054748 00000 n 0000139135 00000 n 0000143366 00000 n 0000054940 00000 n 0000069021 00000 n 0000143450 00000 n 0000069212 00000 n 0000083870 00000 n 0000143534 00000 n 0000084038 00000 n 0000095123 00000 n 0000143618 00000 n 0000095303 00000 n 0000101844 00000 n 0000102338 00000 n 0000102560 00000 n 0000102953 00000 n 0000103216 00000 n 0000104090 00000 n 0000104337 00000 n 0000105305 00000 n 0000105579 00000 n 0000108628 00000 n 0000108864 00000 n 0000109743 00000 n 0000110095 00000 n 0000114130 00000 n 0000114643 00000 n 0000118229 00000 n 0000118471 00000 n 0000120083 00000 n 0000120332 00000 n 0000120979 00000 n 0000121456 00000 n 0000128713 00000 n 0000129048 00000 n 0000139307 00000 n 0000139488 00000 n 0000140850 00000 n 0000139841 00000 n 0000141266 00000 n 0000139943 00000 n 0000141578 00000 n 0000140049 00000 n 0000141904 00000 n 0000140445 00000 n 0000142327 00000 n 0000140667 00000 n 0000140782 00000 n 0000142743 00000 n 0000143702 00000 n 0000143730 00000 n 0000143901 00000 n 0000144024 00000 n trailer << /Size 79 /Root 78 0 R /Info 77 0 R /ID [<2a194c1449dd827650a33ba4e0252d21><2a194c1449dd827650a33ba4e0252d21>] >> startxref 144094 %%EOF