%PDF-1.2 3 0 obj << /Length 4 0 R >> stream 1 0 0 1 144.92 679.23 cm BT /F63 17.22 Tf 0 0 Td[(A)-302(T)78(utorial)-302(In)27(tro)-27(duction)-301(to)-302(the)-302(Lam)26(b)-26(da)-302(Calculus)]TJ/F49 11.96 Tf 139.38 -28.89 Td[(Ra)-28()516(ul)-325(Ro)-56(jas)]TJ/F24 7.97 Tf 57.29 4.33 Td[()]TJ/F49 11.96 Tf -83.76 -28.44 Td[(FU)-326(Berlin,)-325(WS-97/98)]TJ/F31 8.97 Tf 34.82 -45.83 Td[(Abstract)]TJ/F27 8.97 Tf -125.23 -15.62 Td[(This)-324(pap)-28(er)-323(is)-324(a)-323(short)-322(and)-323(painless)-323(in)28(tro)-27(duction)-322(to)-323(the)]TJ/F28 8.97 Tf 217.99 0 Td[()]TJ/F27 8.97 Tf 8.28 0 Td[(calculus.)-450(Originally)]TJ -240.09 -10.96 Td[(dev)29(elop)-29(ed)-421(in)-423(order)-421(to)-421(study)-422(some)-422(mathematical)-420(prop)-28(erties)-422(of)-421(e ectiv)28(ely)-422(com-)]TJ 0 -10.96 Td[(putable)-380(functions,)-390(this)-381(formalism)-382(has)-381(pro)30(vided)-382(a)-381(strong)-380(theoretical)-379(foundation)]TJ 0 -10.95 Td[(for)-371(the)-370(family)-372(of)-371(functional)-369(programming)-370(languages.)-542(W)85(e)-371(sho)29(w)-371(ho)29(w)-371(to)-371(p)-28(erform)]TJ 0 -10.96 Td[(some)-389(arithmetical)-387(computations)-387(using)-388(the)]TJ/F28 8.97 Tf 174.28 0 Td[()]TJ/F27 8.97 Tf 8.86 0 Td[(calculus)-388(and)-388(ho)29(w)-389(to)-388(de\014ne)-388(recur-)]TJ -183.14 -10.96 Td[(siv)28(e)-284(functions,)-294(ev)28(en)-283(though)-282(functions)-282(in)]TJ/F28 8.97 Tf 159.91 0 Td[()]TJ/F27 8.97 Tf 7.92 0 Td[(calculus)-282(are)-284(not)-282(giv)28(en)-283(names)-284(and)-282(th)29(us)]TJ -167.83 -10.96 Td[(cannot)-340(refer)-342(explicitly)-344(to)-341(themselv)28(es.)]TJ/F61 14.35 Tf -24.91 -32.95 Td[(1)-1125(De\014nition)]TJ/F8 9.96 Tf 0 -21.82 Td[(The)]TJ/F11 9.96 Tf 21.98 0 Td[()]TJ/F8 9.96 Tf 10.63 0 Td[(calculus)-482(can)-483(b)-28(e)-483(called)-483(the)]TJ/F34 9.96 Tf 122.4 0 Td[(smal)-51(lest)-496(universal)-496(pr)51(o)51(gr)51(amming)-496(language)-497(of)-497(the)]TJ -155.01 -11.95 Td[(world)]TJ/F8 9.96 Tf 23.55 0 Td[(.)-473(The)]TJ/F11 9.96 Tf 28.06 0 Td[()]TJ/F8 9.96 Tf 9.23 0 Td[(calculus)-341(consists)-340(of)-343(a)-343(single)-342(transformation)-341(rule)-342(\050v)56(ariable)-342(substitution\051)]TJ -60.84 -11.96 Td[(and)-414(a)-415(single)-413(function)-412(de\014nition)-413(sc)29(heme.)-686(It)-414(w)27(as)-414(in)28(tro)-27(duced)-413(in)-414(the)-413(1930s)-415(b)28(y)-414(Alonzo)]TJ 0 -11.95 Td[(Ch)27(urc)29(h)-297(as)-297(a)-297(w)27(a)28(y)-298(of)-297(formalizing)-295(the)-297(concept)-295(of)-298(e ectiv)29(e)-297(computabilit)30(y)84(.)-433(The)]TJ/F11 9.96 Tf 325.36 0 Td[()]TJ/F8 9.96 Tf 8.77 0 Td[(calculus)]TJ -334.13 -11.96 Td[(is)-269(univ)28(ersal)-268(in)-270(the)-269(sense)-267(that)-270(an)28(y)-269(computable)-268(function)-268(can)-269(b)-27(e)-270(expressed)-266(and)-270(ev)57(aluated)]TJ 0 -11.95 Td[(using)-226(this)-225(formalism.)-407(It)-227(is)-226(th)28(us)-225(equiv)56(alen)29(t)-227(to)-227(T)83(uring)-225(mac)28(hines.)-407(Ho)28(w)27(ev)28(er,)-247(the)]TJ/F11 9.96 Tf 326.07 0 Td[()]TJ/F8 9.96 Tf 8.06 0 Td[(calculus)]TJ -334.13 -11.96 Td[(emphasizes)-234(the)-237(use)-236(of)-237(transformation)-235(rules)-236(and)-236(do)-28(es)-236(not)-237(care)-237(ab)-27(out)-237(the)-237(actual)-236(mac)28(hine)]TJ 0 -11.95 Td[(implemen)30(ting)-333(them.)-443(It)-334(is)-333(an)-333(approac)29(h)-333(more)-333(related)-332(to)-333(soft)28(w)28(are)-333(than)-333(to)-334(hardw)28(are.)]TJ 14.95 -11.96 Td[(The)-417(cen)29(tral)-418(concept)-416(in)]TJ/F11 9.96 Tf 104.95 0 Td[()]TJ/F8 9.96 Tf 9.98 0 Td[(calculus)-416(is)-417(the)-417(\134expression".)-696(A)-418(\134name",)-438(also)-418(called)-416(a)]TJ -129.88 -11.95 Td[(\134v)55(ariable",)-307(is)-302(an)-303(iden)29(ti\014er)-301(whic)28(h,)-308(for)-303(our)-302(purp)-26(oses,)-308(can)-302(b)-27(e)-302(an)28(y)-303(of)-302(the)-302(letters)]TJ/F11 9.96 Tf 329.75 0 Td[(a;)-166(b;)-167(c;)-166(:)-167(:)-166(:)]TJ/F8 9.96 Tf -329.75 -11.96 Td[(An)-334(expression)-330(is)-333(de\014ned)-331(recursiv)30(ely)-333(as)-333(follo)28(ws:)]TJ/F11 9.96 Tf 52.47 -19.27 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(expression)]TJ/F11 9.96 Tf 44.69 0 Td[(>)]TJ/F8 9.96 Tf 19.71 0 Td[(:=)]TJ/F11 9.96 Tf 22.47 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F14 9.96 Tf 11.07 0 Td[(j)]TJ/F11 9.96 Tf 6.09 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(function)]TJ/F11 9.96 Tf 35.7 0 Td[(>)]TJ/F14 9.96 Tf 11.07 0 Td[(j)]TJ/F11 9.96 Tf 6.09 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(application)]TJ/F11 9.96 Tf 48.15 0 Td[(>)]TJ -250.29 -11.96 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(function)]TJ/F11 9.96 Tf 35.7 0 Td[(>)]TJ/F8 9.96 Tf 19.71 0 Td[(:=)]TJ/F11 9.96 Tf 22.47 0 Td[()-334(<)]TJ/F8 9.96 Tf 16.88 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F8 9.96 Tf 7.75 0 Td[(.)]TJ/F11 9.96 Tf 2.77 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(expression)]TJ/F11 9.96 Tf 44.69 0 Td[(>)]TJ -201.16 -11.95 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(application)]TJ/F11 9.96 Tf 48.15 0 Td[(>)]TJ/F8 9.96 Tf 19.71 0 Td[(:=)]TJ/F11 9.96 Tf 22.47 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(expression)]TJ/F11 9.96 Tf 44.69 0 Td[(><)]TJ/F8 9.96 Tf 15.5 0 Td[(expression)]TJ/F11 9.96 Tf 44.69 0 Td[(>)]TJ/F8 9.96 Tf -244.77 -19.47 Td[(An)-396(expression)-394(can)-397(b)-27(e)-397(surrounded)-394(with)-396(paren)28(thesis)-395(for)-396(clarit)29(y)83(,)-412(that)-397(is,)-412(if)]TJ/F38 9.96 Tf 322.49 0 Td[(E)]TJ/F8 9.96 Tf 9.9 0 Td[(is)-396(an)]TJ -347.34 -11.96 Td[(expression,)-304(\050)]TJ/F38 9.96 Tf 54.39 0 Td[(E)]TJ/F8 9.96 Tf 5.95 0 Td[(\051)-300(is)-299(the)-299(same)-298(expression.)-431(The)-299(only)-300(k)28(eyw)28(ords)-299(used)-298(in)-299(the)-299(language)-300(are)]TJ/F11 9.96 Tf 302.35 0 Td[()]TJ/F8 9.96 Tf -362.69 -11.95 Td[(and)-346(the)-346(dot.)-483(In)-346(order)-345(to)-347(a)28(v)28(oid)-346(cluttering)-345(expressions)-343(with)-346(paren)29(thesis,)-348(w)28(e)-346(adopt)-346(the)]TJ 0 -11.96 Td[(con)28(v)28(en)29(tion)-334(that)-333(function)-332(application)-332(asso)-27(ciates)-332(from)-332(the)-333(left,)-332(that)-333(is,)-333(the)-333(expression)]TJ/F11 9.96 Tf 152.66 -21.92 Td[(E)]TJ/F7 6.97 Tf 7.35 -1.49 Td[(1)]TJ/F11 9.96 Tf 4.47 1.49 Td[(E)]TJ/F7 6.97 Tf 7.36 -1.49 Td[(2)]TJ/F11 9.96 Tf 4.47 1.49 Td[(E)]TJ/F7 6.97 Tf 7.35 -1.49 Td[(3)]TJ/F11 9.96 Tf 6.13 1.49 Td[(:)-166(:)-167(:)-167(E)]TJ/F10 6.97 Tf 20.64 -1.49 Td[(n)]TJ ET -16.23 -482.83 147.4 0.4 re f 1 0 0 1 -5.3 -489.23 cm BT /F18 5.98 Tf 0 0 Td[()]TJ/F22 7.97 Tf 4.32 -2.81 Td[(Send)-355(corrections)-356(or)-355(suggestions)-356(to)-355(ro)-59(jas@inf.fu-b)-31(erlin.de)]TJ/F8 9.96 Tf 166.51 -32.43 Td[(1)]TJ ET endstream endobj 4 0 obj 6524 endobj 1 0 obj << /ProcSet [/PDF /Text] /Font << /F63 5 0 R /F49 6 0 R /F24 7 0 R /F31 8 0 R /F27 9 0 R /F28 10 0 R /F61 11 0 R /F8 12 0 R /F11 13 0 R /F34 14 0 R /F14 15 0 R /F38 16 0 R /F7 17 0 R /F10 18 0 R /F18 19 0 R /F22 20 0 R >> >> endobj 2 0 obj << /Type /Page /Contents 3 0 R /Resources 1 0 R /MediaBox [0 0 595.27 841.89] /Parent 21 0 R >> endobj 24 0 obj << /Length 25 0 R >> stream 1 0 0 1 128.69 721.07 cm BT /F8 9.96 Tf 0 0 Td[(is)-333(ev)56(aluated)-332(applying)-333(the)-333(expressions)-330(as)-333(follo)28(ws:)]TJ 134.39 -20.98 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(:)-166(:)-167(:)]TJ/F8 9.96 Tf 13.28 0 Td[(\050\050)]TJ/F11 9.96 Tf 7.75 0 Td[(E)]TJ/F7 6.97 Tf 7.35 -1.49 Td[(1)]TJ/F11 9.96 Tf 4.47 1.49 Td[(E)]TJ/F7 6.97 Tf 7.36 -1.49 Td[(2)]TJ/F8 9.96 Tf 4.47 1.49 Td[(\051)]TJ/F11 9.96 Tf 3.87 0 Td[(E)]TJ/F7 6.97 Tf 7.36 -1.49 Td[(3)]TJ/F8 9.96 Tf 4.46 1.49 Td[(\051)]TJ/F11 9.96 Tf 5.54 0 Td[(:)-167(:)-166(:)-167(E)]TJ/F10 6.97 Tf 20.64 -1.49 Td[(n)]TJ/F8 9.96 Tf 5.42 1.49 Td[(\051)]TJ -215.29 -20.97 Td[(As)-307(can)-307(b)-27(e)-307(seen)-306(from)-306(the)-307(de\014nition)-306(of)]TJ/F11 9.96 Tf 162.45 0 Td[()]TJ/F8 9.96 Tf 8.87 0 Td[(expressions)-304(giv)28(en)-307(ab)-28(o)28(v)28(e,)-312(a)-308(single)-306(iden)29(ti\014er)]TJ -186.27 -11.96 Td[(is)-333(a)]TJ/F11 9.96 Tf 18.32 0 Td[()]TJ/F8 9.96 Tf 9.13 0 Td[(expression.)-442(An)-334(example)-331(of)-333(a)-334(function)-332(is)-332(the)-333(follo)28(wing:)]TJ/F11 9.96 Tf 146.82 -20.97 Td[(x:x)]TJ/F8 9.96 Tf -174.27 -20.98 Td[(This)-371(expression)-368(de\014nes)-369(the)-370(iden)29(tit)28(y)-371(function.)-555(The)-371(name)-370(after)-370(the)]TJ/F11 9.96 Tf 292.58 0 Td[()]TJ/F8 9.96 Tf 9.51 0 Td[(is)-370(the)-370(iden)29(ti\014er)]TJ -302.09 -11.95 Td[(of)-318(the)-317(argumen)29(t)-318(of)-318(this)-317(function.)-438(The)-318(expression)-315(after)-317(the)-317(p)-28(oin)28(t)-318(\050in)-318(this)-317(case)-317(a)-318(single)]TJ/F11 9.96 Tf 0 -11.96 Td[(x)]TJ/F8 9.96 Tf 5.7 0 Td[(\051)-333(is)-333(called)-332(the)-333(\134b)-27(o)-28(dy")-333(of)-334(the)-332(de\014nition.)]TJ 9.25 -11.95 Td[(F)84(unctions)-332(can)-333(b)-27(e)-333(applied)-332(to)-334(expressions.)-441(An)-333(example)-332(of)-333(an)-333(application)-332(is)]TJ 152.83 -20.98 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:x)]TJ/F8 9.96 Tf 19.97 0 Td[(\051)]TJ/F11 9.96 Tf 3.87 0 Td[(y)]TJ/F8 9.96 Tf -195.49 -20.98 Td[(This)-321(is)-320(the)-320(iden)29(tit)28(y)-321(function)-319(applied)-320(to)]TJ/F11 9.96 Tf 171.93 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(.)-440(P)28(aren)29(thesis)-319(are)-321(used)-319(for)-321(clarit)29(y)-321(in)-320(order)-320(to)]TJ -177.17 -11.95 Td[(a)27(v)28(oid)-302(am)28(biguit)29(y)83(.)-434(F)84(unction)-301(applications)-300(are)-302(ev)56(aluated)-301(b)28(y)-302(substituting)-300(the)-301(v)55(alue)-301(of)-302(the)]TJ 0 -11.96 Td[(argumen)29(t)]TJ/F11 9.96 Tf 44.59 0 Td[(x)]TJ/F8 9.96 Tf 9.01 0 Td[(\050in)-333(this)-332(case)]TJ/F11 9.96 Tf 56.01 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(\051)-334(in)-333(the)-332(b)-28(o)-28(dy)-333(of)-333(the)-333(function)-331(de\014nition,)-332(i.e.)]TJ 23.45 -20.97 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:x)]TJ/F8 9.96 Tf 19.97 0 Td[(\051)]TJ/F11 9.96 Tf 3.87 0 Td[(y)]TJ/F8 9.96 Tf 8.01 0 Td[(=)-278([)]TJ/F11 9.96 Tf 13.29 0 Td[(y)-36(=x)]TJ/F8 9.96 Tf 15.91 0 Td[(])]TJ/F11 9.96 Tf 2.77 0 Td[(x)]TJ/F8 9.96 Tf 8.46 0 Td[(=)]TJ/F11 9.96 Tf 10.52 0 Td[(y)]TJ/F8 9.96 Tf -224.97 -20.98 Td[(In)-322(this)-321(transformation)-319(the)-321(notation)-322([)]TJ/F11 9.96 Tf 158.99 0 Td[(y)-36(=x)]TJ/F8 9.96 Tf 15.91 0 Td[(])-322(is)-321(used)-320(to)-322(indicate)-320(that)-322(all)-321(o)-28(ccurrences)-318(of)]TJ/F11 9.96 Tf 187.91 0 Td[(x)]TJ/F8 9.96 Tf -362.81 -11.95 Td[(are)-333(substituted)-331(b)28(y)]TJ/F11 9.96 Tf 82.61 0 Td[(y)]TJ/F8 9.96 Tf 8.56 0 Td[(in)-333(the)-333(expression)-331(to)-333(the)-333(righ)29(t.)]TJ -76.22 -11.96 Td[(The)-334(names)-334(of)-334(the)-334(argumen)29(ts)-335(in)-334(function)-333(de\014nitions)-333(do)-335(not)-334(carry)-334(an)28(y)-335(meaning)-334(b)28(y)]TJ -14.95 -11.95 Td[(themselv)30(es.)-525(They)-360(are)-360(just)-359(\134place)-360(holders",)-365(that)-361(is,)-366(they)-360(are)-360(used)-359(to)-361(indicate)-358(ho)28(w)-361(to)]TJ 0 -11.96 Td[(rearrange)-332(the)-333(argumen)29(ts)-333(of)-333(the)-332(function)-332(when)-333(it)-333(is)-333(ev)56(aluated.)-443(Therefore)]TJ 112.06 -20.98 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(z)-45(:z)]TJ/F8 9.96 Tf 18.73 0 Td[(\051)]TJ/F14 9.96 Tf 6.64 0 Td[()]TJ/F8 9.96 Tf 10.51 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(y)-37(:y)]TJ/F8 9.96 Tf 19.06 0 Td[(\051)]TJ/F14 9.96 Tf 6.64 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(t:t)]TJ/F8 9.96 Tf 15.78 0 Td[(\051)]TJ/F14 9.96 Tf 6.64 0 Td[()]TJ/F8 9.96 Tf 10.51 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(u:u)]TJ/F8 9.96 Tf 19.98 0 Td[(\051)]TJ -252.57 -20.97 Td[(and)-444(so)-445(forth.)-777(W)83(e)-444(use)-443(the)-444(sym)29(b)-28(ol)-444(\134)]TJ/F14 9.96 Tf 160.71 0 Td[()]TJ/F8 9.96 Tf 7.75 0 Td[(")-445(to)-444(indicate)-443(that)-445(when)]TJ/F11 9.96 Tf 111.25 0 Td[(A)]TJ/F14 9.96 Tf 12.09 0 Td[()]TJ/F11 9.96 Tf 12.36 0 Td[(B)]TJ/F8 9.96 Tf 8.05 0 Td[(,)]TJ/F11 9.96 Tf 7.48 0 Td[(A)]TJ/F8 9.96 Tf 11.9 0 Td[(is)-444(just)-443(a)]TJ -331.59 -11.96 Td[(synon)29(ym)-333(of)]TJ/F11 9.96 Tf 53.19 0 Td[(B)]TJ/F8 9.96 Tf 8.06 0 Td[(.)]TJ/F54 11.96 Tf -61.25 -27.72 Td[(1.1)-1126(F)94(ree)-375(and)-374(b)-31(ound)-375(v)63(ariables)]TJ/F8 9.96 Tf 0 -18.39 Td[(In)]TJ/F11 9.96 Tf 12.42 0 Td[()]TJ/F8 9.96 Tf 9.09 0 Td[(calculus)-328(all)-329(names)-328(are)-329(lo)-28(cal)-329(to)-330(de\014nitions.)-441(In)-329(the)-329(function)]TJ/F11 9.96 Tf 254.72 0 Td[(x:x)]TJ/F8 9.96 Tf 23.25 0 Td[(w)27(e)-329(sa)28(y)-329(that)]TJ/F11 9.96 Tf 53.35 0 Td[(x)]TJ/F8 9.96 Tf 8.98 0 Td[(is)]TJ -361.81 -11.96 Td[(\134b)-28(ound")-298(since)-297(its)-298(o)-28(ccurrence)-295(in)-299(the)-298(b)-27(o)-28(dy)-299(of)-298(the)-298(de\014nition)-297(is)-298(preceded)-296(b)28(y)]TJ/F11 9.96 Tf 316.23 0 Td[(x)]TJ/F8 9.96 Tf 11.5 0 Td[(.)-433(A)-299(name)]TJ -327.73 -11.95 Td[(not)-333(preceded)-331(b)28(y)-333(a)]TJ/F11 9.96 Tf 81.39 0 Td[()]TJ/F8 9.96 Tf 9.13 0 Td[(is)-333(called)-332(a)-334(\134free)-332(v)56(ariable".)-444(In)-333(the)-333(expression)]TJ 77.26 -20.98 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:xy)]TJ/F8 9.96 Tf 25.21 0 Td[(\051)]TJ -196.86 -20.97 Td[(the)-333(v)56(ariable)]TJ/F11 9.96 Tf 54.55 0 Td[(x)]TJ/F8 9.96 Tf 9.01 0 Td[(is)-333(b)-28(ound)-332(and)]TJ/F11 9.96 Tf 60.11 0 Td[(y)]TJ/F8 9.96 Tf 8.56 0 Td[(is)-333(free.)-443(In)-333(the)-333(expression)]TJ 21.91 -20.98 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(x:x)]TJ/F8 9.96 Tf 19.96 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(y)-37(:y)-36(x)]TJ/F8 9.96 Tf 24.76 0 Td[(\051)]TJ -210.49 -20.98 Td[(the)]TJ/F11 9.96 Tf 17.34 0 Td[(x)]TJ/F8 9.96 Tf 9.2 0 Td[(in)-351(the)-350(b)-28(o)-28(dy)-351(of)-351(the)-351(\014rst)-350(expression)-349(from)-351(the)-351(left)-350(is)-351(b)-28(ound)-350(to)-352(the)-351(\014rst)]TJ/F11 9.96 Tf 302.52 0 Td[()]TJ/F8 9.96 Tf 5.81 0 Td[(.)-499(The)]TJ/F11 9.96 Tf 28.39 0 Td[(y)]TJ/F8 9.96 Tf -363.26 -11.95 Td[(in)-376(the)-375(b)-27(o)-28(dy)-376(of)-376(the)-375(second)-374(expression)-373(is)-376(b)-27(ound)-375(to)-376(the)-376(second)]TJ/F11 9.96 Tf 269.95 0 Td[()]TJ/F8 9.96 Tf 9.56 0 Td[(and)-375(the)]TJ/F11 9.96 Tf 37.38 0 Td[(x)]TJ/F8 9.96 Tf 9.43 0 Td[(is)-376(free.)-570(It)]TJ -326.32 -11.96 Td[(is)-307(v)28(ery)-306(imp)-27(ortan)28(t)-307(to)-307(notice)-306(that)-307(the)]TJ/F11 9.96 Tf 157.4 0 Td[(x)]TJ/F8 9.96 Tf 8.75 0 Td[(in)-307(the)-306(second)-305(expression)-305(is)-306(totally)-307(indep)-26(enden)29(t)]TJ -166.15 -11.95 Td[(of)-333(the)]TJ/F11 9.96 Tf 28.51 0 Td[(x)]TJ/F8 9.96 Tf 9.01 0 Td[(in)-333(the)-333(\014rst)-332(expression.)]TJ -22.57 -11.96 Td[(F)84(ormally)-435(w)28(e)-435(sa)28(y)-435(that)-435(a)-435(v)56(ariable)]TJ/F11 9.96 Tf 147.18 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.25 0 Td[(>)]TJ/F8 9.96 Tf 12.08 0 Td[(is)-434(free)-434(in)-435(an)-435(expression)-432(if)-434(one)-435(of)-435(the)]TJ -205.21 -11.95 Td[(follo)28(wing)-334(three)-332(cases)-331(holds:)]TJ 181.76 -11.34 Td[(2)]TJ ET endstream endobj 25 0 obj 7815 endobj 22 0 obj << /ProcSet [/PDF /Text] /Font << /F8 12 0 R /F11 13 0 R /F7 17 0 R /F10 18 0 R /F14 15 0 R /F54 11 0 R >> >> endobj 23 0 obj << /Type /Page /Contents 24 0 R /Resources 22 0 R /MediaBox [0 0 595.27 841.89] /Parent 21 0 R >> endobj 28 0 obj << /Length 29 0 R >> stream 1 0 0 1 143.64 721.07 cm BT /F14 9.96 Tf 0 0 Td[()]TJ/F11 9.96 Tf 9.96 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F8 9.96 Tf 11.07 0 Td[(is)-333(free)-332(in)]TJ/F11 9.96 Tf 40.77 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F8 9.96 Tf 7.75 0 Td[(.)]TJ/F14 9.96 Tf -131.53 -19.81 Td[()]TJ/F11 9.96 Tf 9.96 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F8 9.96 Tf 11.27 0 Td[(is)-354(free)-352(in)]TJ/F11 9.96 Tf 41.37 0 Td[()-312(<)]TJ/F8 9.96 Tf 16.67 0 Td[(name)]TJ/F7 6.97 Tf 23.24 -1.5 Td[(1)]TJ/F11 9.96 Tf 7.57 1.5 Td[(>)-312(:)-311(<)]TJ/F8 9.96 Tf 24.48 0 Td[(exp)]TJ/F11 9.96 Tf 15.22 0 Td[(>)]TJ/F8 9.96 Tf 11.27 0 Td[(if)-353(the)-353(iden)29(ti\014er)]TJ/F11 9.96 Tf 68.71 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F14 9.96 Tf 7.75 0 Td[(6)]TJ/F8 9.96 Tf 0 0 Td[(=)]TJ/F11 9.96 Tf 7.75 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F7 6.97 Tf 23.24 -1.5 Td[(1)]TJ/F11 9.96 Tf 7.58 1.5 Td[(>)]TJ/F8 9.96 Tf -335.85 -11.96 Td[(and)]TJ/F11 9.96 Tf 19.37 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.25 0 Td[(>)]TJ/F8 9.96 Tf 11.07 0 Td[(is)-332(free)-332(in)]TJ/F11 9.96 Tf 40.76 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(exp)]TJ/F11 9.96 Tf 15.22 0 Td[(>)]TJ/F8 9.96 Tf 7.75 0 Td[(.)]TJ/F14 9.96 Tf -142.88 -19.81 Td[()]TJ/F11 9.96 Tf 9.96 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F8 9.96 Tf 11.07 0 Td[(is)-333(free)-332(in)]TJ/F11 9.96 Tf 40.77 0 Td[(E)]TJ/F7 6.97 Tf 7.35 -1.49 Td[(1)]TJ/F11 9.96 Tf 4.47 1.49 Td[(E)]TJ/F7 6.97 Tf 7.36 -1.49 Td[(2)]TJ/F8 9.96 Tf 7.79 1.49 Td[(if)]TJ/F11 9.96 Tf 9.13 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F8 9.96 Tf 11.07 0 Td[(is)-333(free)-332(in)]TJ/F11 9.96 Tf 40.77 0 Td[(E)]TJ/F7 6.97 Tf 7.35 -1.49 Td[(1)]TJ/F8 9.96 Tf 7.79 1.49 Td[(or)-333(if)-333(it)-334(is)-332(free)-332(in)]TJ/F11 9.96 Tf 72.06 0 Td[(E)]TJ/F7 6.97 Tf 7.36 -1.49 Td[(2)]TJ/F8 9.96 Tf 4.47 1.49 Td[(.)]TJ -325.7 -19.7 Td[(A)-334(v)56(ariable)]TJ/F11 9.96 Tf 48.18 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.25 0 Td[(>)]TJ/F8 9.96 Tf 11.07 0 Td[(is)-333(b)-27(ound)-333(if)-333(one)-332(of)-334(t)28(w)28(o)-334(cases)-332(holds:)]TJ/F14 9.96 Tf -75.3 -19.7 Td[()]TJ/F11 9.96 Tf 9.96 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F8 9.96 Tf 10.04 0 Td[(is)-228(b)-28(ound)-228(in)]TJ/F11 9.96 Tf 49.24 0 Td[()-278(<)]TJ/F8 9.96 Tf 16.33 0 Td[(name)]TJ/F7 6.97 Tf 23.24 -1.49 Td[(1)]TJ/F11 9.96 Tf 7.24 1.49 Td[(>)-278(:)-278(<)]TJ/F8 9.96 Tf 23.8 0 Td[(exp)]TJ/F11 9.96 Tf 15.22 0 Td[(>)]TJ/F8 9.96 Tf 10.03 0 Td[(if)-229(the)-228(iden)29(ti\014er)]TJ/F11 9.96 Tf 64.99 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.25 0 Td[(>)]TJ/F8 9.96 Tf 7.75 0 Td[(=)]TJ/F11 9.96 Tf 7.74 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F7 6.97 Tf 23.25 -1.49 Td[(1)]TJ/F11 9.96 Tf 7.24 1.49 Td[(>)]TJ/F8 9.96 Tf -335.85 -11.95 Td[(or)-333(if)]TJ/F11 9.96 Tf 21.34 0 Td[(<)]TJ/F8 9.96 Tf 7.74 0 Td[(name)]TJ/F11 9.96 Tf 23.25 0 Td[(>)]TJ/F8 9.96 Tf 11.07 0 Td[(is)-333(b)-27(ound)-333(in)]TJ/F11 9.96 Tf 52.36 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(exp)]TJ/F11 9.96 Tf 15.22 0 Td[(>)]TJ/F8 9.96 Tf 7.75 0 Td[(.)]TJ/F14 9.96 Tf -156.44 -19.81 Td[()]TJ/F11 9.96 Tf 9.96 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.24 0 Td[(>)]TJ/F8 9.96 Tf 11.07 0 Td[(is)-333(b)-28(ound)-332(in)]TJ/F11 9.96 Tf 52.36 0 Td[(E)]TJ/F7 6.97 Tf 7.36 -1.5 Td[(1)]TJ/F11 9.96 Tf 4.47 1.5 Td[(E)]TJ/F7 6.97 Tf 7.35 -1.5 Td[(2)]TJ/F8 9.96 Tf 7.79 1.5 Td[(if)]TJ/F11 9.96 Tf 9.13 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(name)]TJ/F11 9.96 Tf 23.25 0 Td[(>)]TJ/F8 9.96 Tf 11.07 0 Td[(is)-333(b)-27(ound)-333(in)]TJ/F11 9.96 Tf 52.36 0 Td[(E)]TJ/F7 6.97 Tf 7.35 -1.5 Td[(1)]TJ/F8 9.96 Tf 7.79 1.5 Td[(or)-333(if)-333(it)-334(is)-332(b)-28(ound)-333(in)]TJ/F11 9.96 Tf 83.66 0 Td[(E)]TJ/F7 6.97 Tf 7.35 -1.5 Td[(2)]TJ/F8 9.96 Tf 4.47 1.5 Td[(.)]TJ -360.48 -19.7 Td[(It)-434(should)-433(b)-28(e)-433(emphasized)-431(that)-434(the)-433(same)-433(iden)29(ti\014er)-433(can)-433(o)-28(ccur)-433(free)-432(and)-434(b)-27(ound)-434(in)-433(the)]TJ 0 -11.96 Td[(same)-332(expression.)-442(In)-334(the)-332(expression)]TJ 154.37 -21.63 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:xy)]TJ/F8 9.96 Tf 25.21 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(y)-37(:y)]TJ/F8 9.96 Tf 19.06 0 Td[(\051)]TJ -210.26 -21.64 Td[(the)-394(\014rst)]TJ/F11 9.96 Tf 38.95 0 Td[(y)]TJ/F8 9.96 Tf 9.17 0 Td[(is)-395(free)-393(in)-395(the)-394(paren)29(thesized)-392(sub)-27(expression)-392(to)-395(the)-394(left.)-628(It)-395(is)-395(b)-27(ound)-394(in)-395(the)]TJ -48.12 -11.95 Td[(sub)-27(expression)-433(to)-435(the)-435(righ)28(t.)-751(It)-435(o)-28(ccurs)-434(therefore)-433(free)-434(as)-435(w)27(ell)-435(as)-435(b)-27(ound)-435(in)-435(the)-435(whole)]TJ 0 -11.96 Td[(expression.)]TJ/F54 11.96 Tf 0 -27.84 Td[(1.2)-1126(Substitutions)]TJ/F8 9.96 Tf 0 -18.39 Td[(The)-303(more)-302(confusing)-301(part)-302(of)-303(standard)]TJ/F11 9.96 Tf 162.21 0 Td[()]TJ/F8 9.96 Tf 8.82 0 Td[(calculus,)-307(when)-303(\014rst)-302(approac)29(hing)-302(it,)-309(is)-302(the)-302(fact)]TJ -171.03 -11.95 Td[(that)-370(w)27(e)-370(do)-370(not)-370(giv)28(e)-370(names)-369(to)-370(functions.)-553(An)28(y)-370(time)-369(w)27(e)-370(w)28(an)28(t)-370(to)-371(apply)-369(a)-371(function,)-377(w)27(e)]TJ 0 -11.96 Td[(write)-361(the)-361(whole)-361(function)-360(de\014nition)-360(and)-361(then)-361(pro)-27(cede)-360(to)-362(ev)57(aluate)-361(it.)-529(T)83(o)-362(simplify)-359(the)]TJ 0 -11.95 Td[(notation,)-362(ho)28(w)27(ev)28(er,)-361(w)27(e)-356(will)-357(use)-355(capital)-356(letters,)-361(digits)-356(and)-356(other)-356(sym)29(b)-28(ols)-356(as)-356(synon)29(yms)]TJ 0 -11.96 Td[(for)-262(some)-261(function)-261(de\014nitions.)-418(The)-262(iden)29(tit)28(y)-262(function,)-275(for)-261(example,)-275(can)-262(b)-27(e)-262(denoted)-261(with)]TJ/F38 9.96 Tf 0 -11.95 Td[(I)]TJ/F8 9.96 Tf 6.09 0 Td[(whic)28(h)-333(is)-333(a)-333(synon)28(ym)-332(for)-333(\050)]TJ/F11 9.96 Tf 107.79 0 Td[(x:x)]TJ/F8 9.96 Tf 19.97 0 Td[(\051.)]TJ -118.9 -11.96 Td[(The)-333(iden)29(tit)28(y)-333(function)-332(applied)-332(to)-333(itself)-332(is)-333(the)-333(application)]TJ/F38 9.96 Tf 132.04 -21.63 Td[(I)-28(I)]TJ/F14 9.96 Tf 8.58 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:x)]TJ/F8 9.96 Tf 19.97 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(x:x)]TJ/F8 9.96 Tf 19.96 0 Td[(\051)]TJ -217.64 -21.64 Td[(In)-472(this)-470(expression)-469(the)-471(\014rst)]TJ/F11 9.96 Tf 124.49 0 Td[(x)]TJ/F8 9.96 Tf 10.39 0 Td[(in)-471(the)-471(b)-27(o)-28(dy)-471(of)-471(the)-471(\014rst)-470(expression)-469(in)-471(paren)29(thesis)-470(is)]TJ -134.88 -11.95 Td[(indep)-27(enden)30(t)-292(of)-292(the)]TJ/F11 9.96 Tf 83.72 0 Td[(x)]TJ/F8 9.96 Tf 8.6 0 Td[(in)-292(the)-291(b)-28(o)-28(dy)-291(of)-292(the)-291(second)-290(expression.)-428(W)83(e)-291(can)-292(in)-291(fact)-291(rewrite)-291(the)]TJ -92.32 -11.96 Td[(ab)-28(o)28(v)28(e)-333(expression)-331(as)]TJ/F38 9.96 Tf 147.61 -11.95 Td[(I)-28(I)]TJ/F14 9.96 Tf 8.58 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:x)]TJ/F8 9.96 Tf 19.97 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(z)-44(:z)]TJ/F8 9.96 Tf 18.72 0 Td[(\051)]TJ -217.02 -17.77 Td[(The)-333(iden)29(tit)28(y)-334(function)-331(applied)-332(to)-334(itself)]TJ/F38 9.96 Tf 147.61 -21.63 Td[(I)-28(I)]TJ/F14 9.96 Tf 8.58 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:x)]TJ/F8 9.96 Tf 19.97 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(z)-44(:z)]TJ/F8 9.96 Tf 18.72 0 Td[(\051)]TJ -217.02 -21.64 Td[(yields)-332(therefore)]TJ 139.91 -11.95 Td[([)]TJ/F11 9.96 Tf 2.77 0 Td[(z)-45(:z)-44(=x)]TJ/F8 9.96 Tf 29.4 0 Td[(])]TJ/F11 9.96 Tf 2.76 0 Td[(x)]TJ/F8 9.96 Tf 8.47 0 Td[(=)]TJ/F11 9.96 Tf 10.51 0 Td[(z)-45(:z)]TJ/F14 9.96 Tf 21.49 0 Td[()]TJ/F38 9.96 Tf 10.52 0 Td[(I)]TJ/F8 9.96 Tf -225.83 -17.77 Td[(that)-333(is,)-333(the)-333(iden)29(tit)28(y)-333(function)-332(again.)]TJ 14.95 -11.95 Td[(W)84(e)-371(should)-370(b)-28(e)-371(careful)-369(when)-371(p)-27(erforming)-370(substitutions)-369(to)-371(a)28(v)27(oid)-371(mixing)-370(up)-371(free)-370(o)-28(c-)]TJ -14.95 -11.96 Td[(currences)-330(of)-334(an)-333(iden)29(ti\014er)-332(with)-334(b)-27(ound)-333(ones.)-443(In)-333(the)-333(expression)]TJ 154.37 -21.63 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:)]TJ/F8 9.96 Tf 14.28 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(y)-37(:xy)]TJ/F8 9.96 Tf 24.76 0 Td[(\051\051)]TJ/F11 9.96 Tf 7.75 0 Td[(y)]TJ/F8 9.96 Tf -27.14 -11.34 Td[(3)]TJ ET endstream endobj 29 0 obj 8583 endobj 26 0 obj << /ProcSet [/PDF /Text] /Font << /F14 15 0 R /F11 13 0 R /F8 12 0 R /F7 17 0 R /F54 11 0 R /F38 16 0 R >> >> endobj 27 0 obj << /Type /Page /Contents 28 0 R /Resources 26 0 R /MediaBox [0 0 595.27 841.89] /Parent 21 0 R >> endobj 32 0 obj << /Length 33 0 R >> stream 1 0 0 1 128.69 721.07 cm BT /F8 9.96 Tf 0 0 Td[(the)-402(function)-401(to)-402(the)-402(left)-401(con)28(tains)-402(a)-402(b)-28(ound)]TJ/F11 9.96 Tf 186.54 0 Td[(y)]TJ/F8 9.96 Tf 5.25 0 Td[(,)-419(whereas)-401(the)]TJ/F11 9.96 Tf 63.19 0 Td[(y)]TJ/F8 9.96 Tf 9.25 0 Td[(at)-403(the)-402(righ)29(t)-403(is)-402(free.)-649(An)]TJ -264.23 -11.95 Td[(incorrect)-332(substitution)-331(w)28(ould)-333(mix)-333(the)-333(t)28(w)28(o)-334(iden)29(ti\014ers)-332(in)-333(the)-332(erroneous)-332(result)]TJ 168.23 -21.11 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(y)-37(:y)-36(y)]TJ/F8 9.96 Tf 24.31 0 Td[(\051)]TJ -196.41 -21.11 Td[(Simply)-332(b)28(y)-333(renaming)-332(the)-333(b)-27(ound)]TJ/F11 9.96 Tf 138.95 0 Td[(y)]TJ/F8 9.96 Tf 8.57 0 Td[(to)]TJ/F11 9.96 Tf 12.17 0 Td[(t)]TJ/F8 9.96 Tf 6.92 0 Td[(w)27(e)-333(obtain)]TJ -31.62 -21.11 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:)]TJ/F8 9.96 Tf 14.28 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(t:xt)]TJ/F8 9.96 Tf 21.47 0 Td[(\051\051)]TJ/F11 9.96 Tf 7.75 0 Td[(y)]TJ/F8 9.96 Tf 8.01 0 Td[(=)-278(\050)]TJ/F11 9.96 Tf 14.39 0 Td[(t:y)-37(t)]TJ/F8 9.96 Tf 21.01 0 Td[(\051)]TJ -229.64 -21.11 Td[(whic)28(h)-333(is)-333(a)-333(completely)-332(di eren)30(t)-334(result)-332(but)-333(nev)29(ertheless)-330(the)-333(correct)-332(one.)]TJ 14.95 -11.95 Td[(Therefore,)-315(if)-312(the)-313(function)]TJ/F11 9.96 Tf 112.47 0 Td[(x:)-278(<)]TJ/F8 9.96 Tf 24.79 0 Td[(exp)]TJ/F11 9.96 Tf 15.22 0 Td[(>)]TJ/F8 9.96 Tf 10.87 0 Td[(is)-312(applied)-312(to)]TJ/F11 9.96 Tf 56.46 0 Td[(E)]TJ/F8 9.96 Tf 7.92 0 Td[(,)-317(w)27(e)-313(substitute)-310(all)]TJ/F34 9.96 Tf 80.43 0 Td[(fr)51(e)51(e)]TJ/F8 9.96 Tf 18.52 0 Td[(o)-28(ccur-)]TJ -341.63 -11.96 Td[(rences)-338(of)]TJ/F11 9.96 Tf 41.46 0 Td[(x)]TJ/F8 9.96 Tf 9.08 0 Td[(in)]TJ/F11 9.96 Tf 11.69 0 Td[(<)]TJ/F8 9.96 Tf 7.75 0 Td[(exp)]TJ/F11 9.96 Tf 15.22 0 Td[(>)]TJ/F8 9.96 Tf 11.14 0 Td[(with)]TJ/F11 9.96 Tf 22.76 0 Td[(E)]TJ/F8 9.96 Tf 7.93 0 Td[(.)-465(If)-340(the)-340(substitution)-338(w)28(ould)-340(bring)-340(a)-340(free)-339(v)56(ariable)-339(of)]TJ/F11 9.96 Tf 221.85 0 Td[(E)]TJ/F8 9.96 Tf 11.32 0 Td[(in)]TJ -360.2 -11.95 Td[(an)-294(expression)-291(where)-292(this)-293(v)56(ariable)-293(o)-28(ccurs)-291(b)-28(ound,)-301(w)28(e)-293(rename)-292(the)-293(b)-28(ound)-292(v)55(ariable)-292(b)-28(efore)]TJ 0 -11.96 Td[(p)-28(erforming)-331(the)-333(substitution.)-442(F)83(or)-333(example,)-332(in)-333(the)-332(expression)]TJ 136.64 -21.11 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:)]TJ/F8 9.96 Tf 14.27 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(y)-37(:)]TJ/F8 9.96 Tf 13.82 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x)]TJ/F8 9.96 Tf 5.7 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:xy)]TJ/F8 9.96 Tf 25.21 0 Td[(\051\051\051\051)]TJ/F11 9.96 Tf 15.5 0 Td[(y)]TJ/F8 9.96 Tf -226.63 -21.11 Td[(w)27(e)-333(asso)-27(ciate)-333(the)-332(argumen)29(t)]TJ/F11 9.96 Tf 118.31 0 Td[(x)]TJ/F8 9.96 Tf 9.01 0 Td[(with)]TJ/F11 9.96 Tf 22.7 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(.)-444(In)-334(the)-332(b)-28(o)-28(dy)]TJ -4.99 -21.1 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(y)-37(:)]TJ/F8 9.96 Tf 13.82 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(x)]TJ/F8 9.96 Tf 5.69 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(x:xy)]TJ/F8 9.96 Tf 25.21 0 Td[(\051\051\051)]TJ -206.62 -21.11 Td[(only)-371(the)-370(\014rst)]TJ/F11 9.96 Tf 60.71 0 Td[(x)]TJ/F8 9.96 Tf 9.39 0 Td[(is)-370(free)-370(and)-370(can)-371(b)-27(e)-371(substituted.)-555(Before)-369(substituting)-369(though,)-379(w)27(e)-371(ha)28(v)28(e)]TJ -70.1 -11.96 Td[(to)-334(rename)-331(the)-333(v)56(ariable)]TJ/F11 9.96 Tf 101.62 0 Td[(y)]TJ/F8 9.96 Tf 8.56 0 Td[(to)-334(a)28(v)28(oid)-334(mixing)-332(its)-333(b)-27(ound)-333(with)-333(is)-333(free)-332(o)-28(ccurrence:)]TJ -7.75 -21.11 Td[([)]TJ/F11 9.96 Tf 2.77 0 Td[(y)-36(=x)]TJ/F8 9.96 Tf 15.92 0 Td[(]\050)]TJ/F11 9.96 Tf 6.64 0 Td[(t:)]TJ/F8 9.96 Tf 12.17 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(x)]TJ/F8 9.96 Tf 5.69 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(x:xt)]TJ/F8 9.96 Tf 23.56 0 Td[(\051\051\051)-278(=)-278(\050)]TJ/F11 9.96 Tf 28.78 0 Td[(t:)]TJ/F8 9.96 Tf 12.18 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(x:xt)]TJ/F8 9.96 Tf 23.56 0 Td[(\051\051\051)]TJ -239.5 -21.11 Td[(In)-383(normal)-382(order)-382(reduction)-381(w)27(e)-383(try)-383(to)-383(reduce)-381(alw)27(a)28(ys)-383(the)-382(left)-382(most)-383(expression)-380(of)-383(a)]TJ -14.95 -11.95 Td[(series)-331(of)-334(applications.)-442(W)83(e)-333(con)28(tin)29(ue)-333(un)28(til)-333(no)-333(further)-332(reductions)-330(are)-333(p)-28(ossible.)]TJ/F61 14.35 Tf 0 -32.81 Td[(2)-1125(Arithmetic)]TJ/F8 9.96 Tf 0 -21.82 Td[(W)83(e)-406(exp)-27(ect)-405(from)-405(a)-406(programming)-405(language)-405(that)-406(it)-406(should)-404(b)-28(e)-406(capable)-404(of)-406(doing)-406(arith-)]TJ 0 -11.95 Td[(metical)-383(calculations.)-596(Num)28(b)-27(ers)-384(can)-384(b)-27(e)-384(represen)30(ted)-383(in)-385(lam)29(b)-28(da)-384(calculus)-383(starting)-383(from)]TJ 0 -11.96 Td[(zero)-381(and)-381(writing)-381(\134suc\050zero\051")-379(to)-382(represen)31(t)-381(1,)-394(\134suc\050suc\050zero\051\051")-378(to)-382(represen)31(t)-381(2,)-394(and)-381(so)]TJ 0 -11.95 Td[(on.)-422(In)-265(the)-264(lam)28(b)-27(da)-265(calculus)-264(w)28(e)-265(can)-264(only)-265(de\014ne)-264(new)-264(functions.)-420(Num)28(b)-27(ers)-264(will)-265(b)-28(e)-265(de\014ned)]TJ 0 -11.96 Td[(as)-333(functions)-332(using)-332(the)-333(follo)29(wing)-334(approac)29(h:)-444(zero)-333(can)-333(b)-27(e)-333(de\014ned)-331(as)]TJ/F11 9.96 Tf 164.39 -21.11 Td[(s:)]TJ/F8 9.96 Tf 13.25 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(z)-44(:z)]TJ/F8 9.96 Tf 18.72 0 Td[(\051)]TJ -200.24 -21.11 Td[(This)-421(is)-421(a)-422(function)-419(of)-422(t)28(w)28(o)-422(argumen)29(ts)]TJ/F11 9.96 Tf 164.9 0 Td[(s)]TJ/F8 9.96 Tf 8.87 0 Td[(and)]TJ/F11 9.96 Tf 20.25 0 Td[(z)]TJ/F8 9.96 Tf 5.07 0 Td[(.)-709(W)84(e)-421(will)-422(abbreviate)-420(suc)29(h)-421(expressions)]TJ -199.09 -11.95 Td[(with)-334(more)-332(than)-333(one)-333(argumen)29(t)-333(as)]TJ/F11 9.96 Tf 172.56 -11.96 Td[(sz)-44(:z)]TJ/F8 9.96 Tf -172.56 -17.44 Td[(It)-332(is)-331(understo)-26(o)-28(d)-331(here)-330(that)]TJ/F11 9.96 Tf 116.03 0 Td[(s)]TJ/F8 9.96 Tf 7.97 0 Td[(is)-331(the)-331(\014rst)-331(argumen)29(t)-331(to)-332(b)-27(e)-331(substituted)-329(during)-331(the)-331(ev)56(alu-)]TJ -124 -11.96 Td[(ation)-306(and)]TJ/F11 9.96 Tf 44.28 0 Td[(z)]TJ/F8 9.96 Tf 8.12 0 Td[(the)-305(second.)-434(Using)-305(this)-305(notation,)-311(the)-305(\014rst)-305(natural)-305(n)28(um)29(b)-28(ers)-304(can)-306(b)-27(e)-306(de\014ned)]TJ -52.4 -11.95 Td[(as)]TJ/F38 9.96 Tf 137.6 -9.37 Td[(1)]TJ/F14 9.96 Tf 14.95 0 Td[()]TJ/F11 9.96 Tf 17.71 0 Td[(sz)-44(:s)]TJ/F8 9.96 Tf 22.99 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(z)]TJ/F8 9.96 Tf 5.07 0 Td[(\051)]TJ/F38 9.96 Tf -64.59 -11.95 Td[(2)]TJ/F14 9.96 Tf 14.95 0 Td[()]TJ/F11 9.96 Tf 17.71 0 Td[(sz)-44(:s)]TJ/F8 9.96 Tf 22.99 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(s)]TJ/F8 9.96 Tf 4.67 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(z)]TJ/F8 9.96 Tf 5.07 0 Td[(\051\051)]TJ/F38 9.96 Tf -73.14 -11.96 Td[(3)]TJ/F14 9.96 Tf 14.95 0 Td[()]TJ/F11 9.96 Tf 17.71 0 Td[(sz)-44(:s)]TJ/F8 9.96 Tf 22.99 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(s)]TJ/F8 9.96 Tf 4.67 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(s)]TJ/F8 9.96 Tf 4.67 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(z)]TJ/F8 9.96 Tf 5.07 0 Td[(\051\051\051)]TJ -219.28 -16.99 Td[(and)-333(so)-333(on.)]TJ 181.76 -11.34 Td[(4)]TJ ET endstream endobj 33 0 obj 7436 endobj 30 0 obj << /ProcSet [/PDF /Text] /Font << /F8 12 0 R /F11 13 0 R /F34 14 0 R /F61 11 0 R /F38 16 0 R /F14 15 0 R >> >> endobj 31 0 obj << /Type /Page /Contents 32 0 R /Resources 30 0 R /MediaBox [0 0 595.27 841.89] /Parent 21 0 R >> endobj 36 0 obj << /Length 37 0 R >> stream 1 0 0 1 128.69 721.07 cm BT /F8 9.96 Tf 0 0 Td[(Our)-333(\014rst)-333(in)29(teresting)-332(function)-332(is)-332(the)-333(successor)-330(function.)-443(This)-333(can)-333(b)-27(e)-333(de\014ned)-332(as)]TJ/F38 9.96 Tf 145.72 -20.37 Td[(S)]TJ/F14 9.96 Tf 8.31 0 Td[()]TJ/F11 9.96 Tf 10.51 0 Td[(w)-28(y)-36(x:y)]TJ/F8 9.96 Tf 32.16 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(w)-27(y)-37(x)]TJ/F8 9.96 Tf 18.34 0 Td[(\051)]TJ -218.91 -20.36 Td[(The)-333(successor)-331(function)-331(applied)-332(to)-334(our)-333(represen)31(tation)-333(for)-333(zero)-333(yields)]TJ/F38 9.96 Tf 123.79 -20.37 Td[(S0)]TJ/F14 9.96 Tf 13.28 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(w)-28(y)-36(x:y)]TJ/F8 9.96 Tf 32.16 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(w)-27(y)-37(x)]TJ/F8 9.96 Tf 18.34 0 Td[(\051\051\050)]TJ/F11 9.96 Tf 11.62 0 Td[(sz)-45(:z)]TJ/F8 9.96 Tf 23.39 0 Td[(\051)]TJ -240.84 -20.36 Td[(In)-285(the)-284(b)-27(o)-28(dy)-285(of)-284(the)-284(\014rst)-284(expression)-282(w)27(e)-284(substitute)-282(all)-285(o)-28(ccurrences)-281(of)]TJ/F11 9.96 Tf 286.03 0 Td[(w)]TJ/F8 9.96 Tf 10.24 0 Td[(with)-285(\050)]TJ/F11 9.96 Tf 26.08 0 Td[(sz)-45(:z)]TJ/F8 9.96 Tf 23.39 0 Td[(\051)-285(and)]TJ -345.74 -11.96 Td[(this)-333(yields)]TJ/F11 9.96 Tf 73.11 -11.95 Td[(y)-37(x:y)]TJ/F8 9.96 Tf 24.76 0 Td[(\050\050)]TJ/F11 9.96 Tf 7.75 0 Td[(sz)-44(:z)]TJ/F8 9.96 Tf 23.39 0 Td[(\051)]TJ/F11 9.96 Tf 3.87 0 Td[(y)-37(x)]TJ/F8 9.96 Tf 10.94 0 Td[(\051)-278(=)]TJ/F11 9.96 Tf 17.16 0 Td[(y)-37(x:y)]TJ/F8 9.96 Tf 24.75 0 Td[(\050\050)]TJ/F11 9.96 Tf 7.75 0 Td[(z)-45(:z)]TJ/F8 9.96 Tf 18.72 0 Td[(\051)]TJ/F11 9.96 Tf 3.88 0 Td[(x)]TJ/F8 9.96 Tf 5.69 0 Td[(\051)-278(=)]TJ/F11 9.96 Tf 17.16 0 Td[(y)-37(x:y)]TJ/F8 9.96 Tf 24.76 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x)]TJ/F8 9.96 Tf 5.7 0 Td[(\051)]TJ/F14 9.96 Tf 6.64 0 Td[()]TJ/F38 9.96 Tf 10.51 0 Td[(1)]TJ/F8 9.96 Tf -290.41 -17.01 Td[(That)-280(is,)-290(w)27(e)-280(obtain)-279(the)-279(represen)30(tation)-279(of)-280(the)-280(n)29(um)28(b)-27(er)]TJ/F38 9.96 Tf 225.76 0 Td[(1)]TJ/F8 9.96 Tf 7.77 0 Td[(\050remem)30(b)-28(er)-279(that)-280(v)56(ariable)-279(names)]TJ -233.53 -11.95 Td[(are)-333(\134dummies"\051.)]TJ 14.95 -11.96 Td[(Successor)-330(applied)-332(to)-334(1)-333(yields:)]TJ/F38 9.96 Tf 11.12 -20.36 Td[(S1)]TJ/F14 9.96 Tf 13.28 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(w)-28(y)-36(x:y)]TJ/F8 9.96 Tf 32.16 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(w)-27(y)-37(x)]TJ/F8 9.96 Tf 18.34 0 Td[(\051\051\050)]TJ/F11 9.96 Tf 11.62 0 Td[(sz)-45(:s)]TJ/F8 9.96 Tf 22.99 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(z)]TJ/F8 9.96 Tf 5.07 0 Td[(\051\051)-278(=)]TJ/F11 9.96 Tf 21.03 0 Td[(y)-37(x:y)]TJ/F8 9.96 Tf 24.76 0 Td[(\050\050)]TJ/F11 9.96 Tf 7.75 0 Td[(sz)-44(:s)]TJ/F8 9.96 Tf 22.99 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(z)]TJ/F8 9.96 Tf 5.07 0 Td[(\051\051)]TJ/F11 9.96 Tf 7.75 0 Td[(y)-36(x)]TJ/F8 9.96 Tf 10.94 0 Td[(\051)-277(=)]TJ/F11 9.96 Tf 17.15 0 Td[(y)-37(x:y)]TJ/F8 9.96 Tf 24.76 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x)]TJ/F8 9.96 Tf 5.7 0 Td[(\051\051)]TJ/F14 9.96 Tf 10.51 0 Td[()]TJ/F38 9.96 Tf 10.52 0 Td[(2)]TJ/F8 9.96 Tf -337.46 -20.37 Td[(Notice)-362(that)-362(the)-362(only)-362(purp)-26(ose)-362(of)-362(applying)-361(the)-362(n)28(um)29(b)-28(er)-362(\050)]TJ/F11 9.96 Tf 241.26 0 Td[(sz)-44(:s)]TJ/F8 9.96 Tf 22.99 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(z)]TJ/F8 9.96 Tf 5.07 0 Td[(\051\051)-363(to)-362(the)-362(argumen)29(ts)]TJ/F11 9.96 Tf 90.07 0 Td[(y)]TJ/F8 9.96 Tf -363.26 -11.95 Td[(and)]TJ/F11 9.96 Tf 19.37 0 Td[(x)]TJ/F8 9.96 Tf 9.02 0 Td[(is)-333(to)-333(\134rename")-332(the)-333(v)56(ariables)-332(used)-332(in)-333(the)-333(de\014nition)-331(of)-334(our)-333(n)28(um)29(b)-27(er.)]TJ/F54 11.96 Tf -28.39 -27.63 Td[(2.1)-1126(Addition)]TJ/F8 9.96 Tf 0 -18.38 Td[(Addition)-374(can)-374(b)-28(e)-374(obtained)-373(immediately)-372(b)28(y)-375(noting)-374(that)-374(the)-374(b)-28(o)-28(dy)]TJ/F11 9.96 Tf 284.17 0 Td[(sz)]TJ/F8 9.96 Tf 13.47 0 Td[(of)-375(our)-374(de\014nition)]TJ -297.64 -11.96 Td[(of)-330(the)-329(n)28(um)29(b)-28(er)-329(1,)-330(for)-330(example,)-329(can)-329(b)-27(e)-330(in)29(terpreted)-328(as)-329(the)-329(application)-329(of)-329(the)-329(function)]TJ/F11 9.96 Tf 363.83 0 Td[(s)]TJ/F8 9.96 Tf -363.83 -11.96 Td[(on)]TJ/F11 9.96 Tf 13.99 0 Td[(z)]TJ/F8 9.96 Tf 5.07 0 Td[(.)-490(If)-348(w)28(e)-349(w)28(an)28(t)-349(to)-348(add)-348(sa)28(y)-348(2)-349(and)-348(3,)-352(w)27(e)-348(just)-347(apply)-348(the)-348(successor)-345(function)-347(t)28(w)27(o)-348(times)]TJ -19.06 -11.95 Td[(to)-334(3.)]TJ 14.95 -11.96 Td[(Let)-333(us)-332(try)-334(the)-332(follo)28(wing)-334(in)-333(order)-332(to)-333(compute)-332(2+3:)]TJ/F38 9.96 Tf 65.3 -20.36 Td[(2S3)]TJ/F14 9.96 Tf 18.26 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(sz)-45(:s)]TJ/F8 9.96 Tf 22.99 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(sz)]TJ/F8 9.96 Tf 9.74 0 Td[(\051\051\050)]TJ/F11 9.96 Tf 11.62 0 Td[(w)-28(y)-36(x:y)]TJ/F8 9.96 Tf 32.16 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(w)-27(y)-37(x)]TJ/F8 9.96 Tf 18.34 0 Td[(\051\051\050)]TJ/F11 9.96 Tf 11.62 0 Td[(uv)-36(:u)]TJ/F8 9.96 Tf 25.17 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(u)]TJ/F8 9.96 Tf 5.7 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(uv)]TJ/F8 9.96 Tf 10.89 0 Td[(\051\051\051)]TJ -276.64 -20.37 Td[(The)-334(\014rst)-332(expression)-331(on)-334(the)-333(righ)28(t)-333(side)-333(is)-333(a)-334(2,)-334(the)-333(second)-331(is)-334(the)-333(successor)-330(function,)-332(the)]TJ 0 -11.95 Td[(third)-284(is)-285(a)-286(3)-285(\050w)27(e)-284(ha)28(v)27(e)-284(renamed)-284(the)-284(v)56(ariables)-284(for)-285(clarit)29(y\051.)-429(The)-285(expression)-282(ab)-28(o)28(v)28(e)-285(reduces)]TJ 0 -11.96 Td[(to)]TJ 59.47 -11.95 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(w)-28(y)-36(x:y)]TJ/F8 9.96 Tf 32.16 0 Td[(\050\050)]TJ/F11 9.96 Tf 7.75 0 Td[(w)-27(y)]TJ/F8 9.96 Tf 12.64 0 Td[(\051)]TJ/F11 9.96 Tf 3.87 0 Td[(x)]TJ/F8 9.96 Tf 5.7 0 Td[(\051\051\050\050)]TJ/F11 9.96 Tf 15.5 0 Td[(w)-27(y)-36(x:y)]TJ/F8 9.96 Tf 32.15 0 Td[(\050\050)]TJ/F11 9.96 Tf 7.75 0 Td[(w)-27(y)]TJ/F8 9.96 Tf 12.64 0 Td[(\051)]TJ/F11 9.96 Tf 3.88 0 Td[(x)]TJ/F8 9.96 Tf 5.69 0 Td[(\051\051\050)]TJ/F11 9.96 Tf 11.62 0 Td[(uv)-36(:u)]TJ/F8 9.96 Tf 25.18 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(u)]TJ/F8 9.96 Tf 5.7 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(uv)]TJ/F8 9.96 Tf 10.89 0 Td[(\051\051\051\051)]TJ/F14 9.96 Tf 18.26 0 Td[()]TJ/F38 9.96 Tf 10.52 0 Td[(SS3)]TJ/F8 9.96 Tf -292.99 -17 Td[(The)-333(reader)-332(can)-333(v)28(erify)-332(that)]TJ/F38 9.96 Tf 118.53 0 Td[(SS3)]TJ/F8 9.96 Tf 19.37 0 Td[(reduces)-331(to)]TJ/F38 9.96 Tf 47.68 0 Td[(S4)]TJ/F8 9.96 Tf 13.29 0 Td[(=)]TJ/F38 9.96 Tf 10.51 0 Td[(5)]TJ/F8 9.96 Tf 4.98 0 Td[(.)]TJ/F54 11.96 Tf -214.36 -27.63 Td[(2.2)-1126(Multiplication)]TJ/F8 9.96 Tf 0 -18.39 Td[(The)-465(m)28(ultiplication)-463(of)-465(t)28(w)28(o)-466(n)28(um)29(b)-28(ers)]TJ/F11 9.96 Tf 161.34 0 Td[(x)]TJ/F8 9.96 Tf 10.32 0 Td[(and)]TJ/F11 9.96 Tf 20.68 0 Td[(y)]TJ/F8 9.96 Tf 9.88 0 Td[(can)-464(b)-28(e)-464(computed)-463(using)-464(the)-464(follo)28(wing)]TJ -202.22 -11.95 Td[(function:)]TJ 156.21 -11.96 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(xy)-37(z)-44(:x)]TJ/F8 9.96 Tf 30.28 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(y)-36(z)]TJ/F8 9.96 Tf 10.31 0 Td[(\051\051)]TJ -204.55 -17 Td[(The)-333(pro)-28(duct)-332(of)]TJ/F38 9.96 Tf 69.21 0 Td[(2)]TJ/F8 9.96 Tf 8.31 0 Td[(b)28(y)]TJ/F38 9.96 Tf 13.83 0 Td[(2)]TJ/F8 9.96 Tf 8.31 0 Td[(is)-332(then:)]TJ 51.57 -20.36 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(xy)-37(z)-44(:x)]TJ/F8 9.96 Tf 30.28 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(y)-36(z)]TJ/F8 9.96 Tf 10.31 0 Td[(\051\051)]TJ/F38 9.96 Tf 7.75 0 Td[(22)]TJ/F8 9.96 Tf -207.32 -20.37 Td[(whic)28(h)-333(reduces)-331(to)]TJ 162.16 -11.95 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(z)-44(:)]TJ/F38 9.96 Tf 13.65 0 Td[(2)]TJ/F8 9.96 Tf 4.98 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(2)]TJ/F11 9.96 Tf 4.98 0 Td[(z)]TJ/F8 9.96 Tf 5.08 0 Td[(\051\051)]TJ -198.6 -17.01 Td[(The)-441(reader)-439(can)-441(v)28(erify)-440(that)-440(b)28(y)-441(further)-439(reducing)-439(this)-440(expression,)-465(w)27(e)-440(can)-441(obtain)-440(the)]TJ 0 -11.95 Td[(exp)-27(ected)-332(result)]TJ/F38 9.96 Tf 69.27 0 Td[(4)]TJ/F8 9.96 Tf 4.98 0 Td[(.)]TJ 107.51 -11.34 Td[(5)]TJ ET endstream endobj 37 0 obj 8321 endobj 34 0 obj << /ProcSet [/PDF /Text] /Font << /F8 12 0 R /F38 16 0 R /F14 15 0 R /F11 13 0 R /F54 11 0 R >> >> endobj 35 0 obj << /Type /Page /Contents 36 0 R /Resources 34 0 R /MediaBox [0 0 595.27 841.89] /Parent 21 0 R >> endobj 40 0 obj << /Length 41 0 R >> stream 1 0 0 1 128.69 721.07 cm BT /F61 14.35 Tf 0 0 Td[(3)-1125(Conditionals)]TJ/F8 9.96 Tf 0 -21.82 Td[(W)83(e)-333(in)28(tro)-27(duce)-332(the)-333(follo)28(wing)-333(t)27(w)28(o)-334(functions)-331(whic)28(h)-333(w)28(e)-333(call)-333(the)-333(v)56(alues)-332(\134true")]TJ/F38 9.96 Tf 161.62 -20.73 Td[(T)]TJ/F14 9.96 Tf 9.55 0 Td[()]TJ/F11 9.96 Tf 10.51 0 Td[(xy)-37(:x)]TJ/F8 9.96 Tf -181.68 -20.73 Td[(and)-333(\134false")]TJ/F38 9.96 Tf 162.4 -11.95 Td[(F)]TJ/F14 9.96 Tf 8.44 0 Td[()]TJ/F11 9.96 Tf 10.51 0 Td[(xy)-37(:y)]TJ/F8 9.96 Tf -181.35 -17.22 Td[(The)-318(\014rst)-317(function)-316(tak)28(es)-317(t)27(w)28(o)-318(argumen)29(ts)-318(and)-317(returns)-316(the)-317(\014rst)-317(one,)-321(the)-317(second)-316(function)]TJ 0 -11.96 Td[(returns)-332(the)-332(second)-332(of)-333(t)28(w)27(o)-334(argumen)30(ts.)]TJ/F54 11.96 Tf 0 -27.68 Td[(3.1)-1126(Logical)-375(op)-31(erations)]TJ/F8 9.96 Tf 0 -18.39 Td[(It)-389(is)-388(no)28(w)-389(p)-27(ossible)-387(to)-389(de\014ne)-387(logical)-388(op)-27(erations)-387(using)-388(this)-388(represen)31(tation)-388(of)-389(the)-387(truth)]TJ 0 -11.95 Td[(v)55(alues.)]TJ 0 -11.96 Td[(The)-333(AND)-334(function)-332(of)-333(t)28(w)27(o)-334(argumen)30(ts)-333(can)-333(b)-28(e)-333(de\014ned)-331(as)]TJ/F14 9.96 Tf 118.16 -20.73 Td[(^)-278()]TJ/F11 9.96 Tf 19.93 0 Td[(xy)-36(:xy)]TJ/F8 9.96 Tf 30.45 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(uv)-36(:v)]TJ/F8 9.96 Tf 24.66 0 Td[(\051)]TJ/F14 9.96 Tf 6.64 0 Td[()]TJ/F11 9.96 Tf 10.51 0 Td[(xy)-37(:xy)]TJ/F38 9.96 Tf 30.45 0 Td[(F)]TJ/F8 9.96 Tf -244.67 -20.73 Td[(The)-333(OR)-334(function)-332(of)-333(t)28(w)27(o)-333(argumen)29(ts)-333(can)-333(b)-27(e)-333(de\014ned)-332(as)]TJ/F14 9.96 Tf 117.35 -20.73 Td[(_)-278()]TJ/F11 9.96 Tf 19.92 0 Td[(xy)-37(:x)]TJ/F8 9.96 Tf 25.21 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(uv)-35(:u)]TJ/F8 9.96 Tf 25.17 0 Td[(\051)]TJ/F11 9.96 Tf 3.87 0 Td[(y)]TJ/F14 9.96 Tf 8.01 0 Td[()]TJ/F11 9.96 Tf 10.52 0 Td[(xy)-36(:x)]TJ/F38 9.96 Tf 25.21 0 Td[(T)]TJ/F11 9.96 Tf 6.78 0 Td[(y)]TJ/F8 9.96 Tf -245.92 -20.72 Td[(Negation)-333(of)-334(one)-332(argumen)29(t)-334(can)-332(b)-28(e)-333(de\014ned)-331(as)]TJ/F14 9.96 Tf 109.69 -20.73 Td[(:)-277()]TJ/F11 9.96 Tf 19.92 0 Td[(x:x)]TJ/F8 9.96 Tf 19.97 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(uv)-36(:v)]TJ/F8 9.96 Tf 24.66 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(ab:a)]TJ/F8 9.96 Tf 23.38 0 Td[(\051)]TJ/F14 9.96 Tf 6.64 0 Td[()]TJ/F11 9.96 Tf 10.52 0 Td[(x:x)]TJ/F38 9.96 Tf 19.97 0 Td[(FT)]TJ/F8 9.96 Tf -246.37 -20.73 Td[(The)-333(negation)-333(function)-332(applied)-332(to)-333(\134true")-333(is)]TJ/F14 9.96 Tf 114.08 -20.73 Td[(:)]TJ/F38 9.96 Tf 6.64 0 Td[(T)]TJ/F14 9.96 Tf 9.55 0 Td[()]TJ/F11 9.96 Tf 10.52 0 Td[(x:x)]TJ/F8 9.96 Tf 19.96 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(uv)-35(:v)]TJ/F8 9.96 Tf 24.65 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(ab:a)]TJ/F8 9.96 Tf 23.39 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(cd:c)]TJ/F8 9.96 Tf 22.38 0 Td[(\051)]TJ -250.55 -20.73 Td[(whic)28(h)-333(reduces)-331(to)]TJ/F38 9.96 Tf 88.84 -20.73 Td[(TFT)]TJ/F14 9.96 Tf 22 0 Td[()]TJ/F8 9.96 Tf 10.51 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(cd:c)]TJ/F8 9.96 Tf 22.38 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(uv)-36(:v)]TJ/F8 9.96 Tf 24.66 0 Td[(\051\050)]TJ/F11 9.96 Tf 7.75 0 Td[(ab:a)]TJ/F8 9.96 Tf 23.38 0 Td[(\051)-278(=)-278(\050)]TJ/F11 9.96 Tf 21.04 0 Td[(uv)-35(:v)]TJ/F8 9.96 Tf 24.65 0 Td[(\051)]TJ/F14 9.96 Tf 6.64 0 Td[()]TJ/F38 9.96 Tf 10.52 0 Td[(F)]TJ/F8 9.96 Tf -274 -20.72 Td[(that)-333(is,)-333(the)-333(truth)-332(v)55(alue)-332(\134false".)]TJ/F54 11.96 Tf 0 -27.69 Td[(3.2)-1126(A)-375(conditional)-375(test)]TJ/F8 9.96 Tf 0 -18.39 Td[(It)-372(is)-372(v)28(ery)-371(con)28(v)28(enien)30(t)-372(in)-372(a)-372(programming)-370(language)-371(to)-372(ha)28(v)27(e)-371(a)-372(function)-370(whic)28(h)-372(is)-371(true)-371(if)]TJ 0 -11.95 Td[(a)-418(n)28(um)29(b)-28(er)-416(is)-417(zero)-416(and)-417(false)-416(otherwise.)-695(The)-417(follo)29(wing)-418(function)]TJ/F38 9.96 Tf 277.33 0 Td[(Z)]TJ/F8 9.96 Tf 10.25 0 Td[(complies)-415(with)-417(this)]TJ -287.58 -11.96 Td[(requiremen)31(t)]TJ/F38 9.96 Tf 155.59 -11.95 Td[(Z)]TJ/F14 9.96 Tf 8.86 0 Td[()]TJ/F11 9.96 Tf 10.51 0 Td[(x:x)]TJ/F38 9.96 Tf 19.97 0 Td[(F)]TJ/F14 9.96 Tf 5.67 0 Td[(:)]TJ/F38 9.96 Tf 6.64 0 Td[(F)]TJ/F8 9.96 Tf -207.24 -17.22 Td[(T)83(o)-334(understand)-331(ho)28(w)-334(this)-332(function)-332(w)28(orks,)-333(note)-333(that)]TJ/F38 9.96 Tf 139.06 -20.73 Td[(0)]TJ/F11 9.96 Tf 4.98 0 Td[(f)-108(a)]TJ/F14 9.96 Tf 13.99 0 Td[()]TJ/F8 9.96 Tf 10.51 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(sz)-44(:z)]TJ/F8 9.96 Tf 23.39 0 Td[(\051)]TJ/F11 9.96 Tf 3.87 0 Td[(f)-108(a)]TJ/F8 9.96 Tf 13.98 0 Td[(=)]TJ/F11 9.96 Tf 10.52 0 Td[(a)]TJ/F8 9.96 Tf -224.18 -20.73 Td[(that)-370(is,)-379(the)-369(function)]TJ/F11 9.96 Tf 92.11 0 Td[(f)]TJ/F8 9.96 Tf 9.63 0 Td[(applied)-369(zero)-369(times)-369(to)-370(the)-369(argumen)29(t)]TJ/F11 9.96 Tf 158.67 0 Td[(a)]TJ/F8 9.96 Tf 8.95 0 Td[(yields)]TJ/F11 9.96 Tf 28.37 0 Td[(a)]TJ/F8 9.96 Tf 5.27 0 Td[(.)-554(On)-370(the)-370(other)]TJ -303 -11.95 Td[(hand,)]TJ/F38 9.96 Tf 27.68 0 Td[(F)]TJ/F8 9.96 Tf 8.99 0 Td[(applied)-332(to)-334(an)28(y)-333(argumen)29(t)-333(yields)-332(the)-333(iden)29(tit)28(y)-333(function)]TJ/F38 9.96 Tf 92.39 -20.73 Td[(F)]TJ/F11 9.96 Tf 5.67 0 Td[(a)]TJ/F14 9.96 Tf 8.03 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(xy)-36(:y)]TJ/F8 9.96 Tf 24.75 0 Td[(\051)]TJ/F11 9.96 Tf 3.88 0 Td[(a)]TJ/F8 9.96 Tf 8.03 0 Td[(=)]TJ/F11 9.96 Tf 10.52 0 Td[(y)-36(:y)]TJ/F14 9.96 Tf 21.83 0 Td[()]TJ/F38 9.96 Tf 10.51 0 Td[(I)]TJ/F8 9.96 Tf -54.92 -11.34 Td[(6)]TJ ET endstream endobj 41 0 obj 5654 endobj 38 0 obj << /ProcSet [/PDF /Text] /Font << /F61 11 0 R /F8 12 0 R /F38 16 0 R /F14 15 0 R /F11 13 0 R /F54 11 0 R >> >> endobj 39 0 obj << /Type /Page /Contents 40 0 R /Resources 38 0 R /MediaBox [0 0 595.27 841.89] /Parent 21 0 R >> endobj 44 0 obj << /Length 45 0 R >> stream 1 0 0 1 128.69 721.07 cm BT /F8 9.96 Tf 0 0 Td[(W)83(e)-286(can)-285(no)28(w)-287(test)-285(if)-285(the)-286(function)]TJ/F38 9.96 Tf 137.62 0 Td[(Z)]TJ/F8 9.96 Tf 8.94 0 Td[(w)28(orks)-286(correctly)86(.)-429(The)-286(function)-284(applied)-285(to)-286(zero)-285(yields)]TJ/F38 9.96 Tf -40.78 -20.75 Td[(Z0)]TJ/F14 9.96 Tf 13.83 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x:x)]TJ/F38 9.96 Tf 19.97 0 Td[(F)]TJ/F14 9.96 Tf 5.67 0 Td[(:)]TJ/F38 9.96 Tf 6.65 0 Td[(F)]TJ/F8 9.96 Tf 5.67 0 Td[(\051)]TJ/F38 9.96 Tf 3.87 0 Td[(0)]TJ/F8 9.96 Tf 7.75 0 Td[(=)]TJ/F38 9.96 Tf 10.52 0 Td[(0F)]TJ/F14 9.96 Tf 10.65 0 Td[(:)]TJ/F38 9.96 Tf 6.64 0 Td[(F)]TJ/F8 9.96 Tf 8.45 0 Td[(=)]TJ/F14 9.96 Tf 10.51 0 Td[(:)]TJ/F38 9.96 Tf 6.64 0 Td[(F)]TJ/F8 9.96 Tf 8.44 0 Td[(=)]TJ/F38 9.96 Tf 10.52 0 Td[(T)]TJ/F8 9.96 Tf -255.95 -20.75 Td[(b)-28(ecause)]TJ/F38 9.96 Tf 36.54 0 Td[(F)]TJ/F8 9.96 Tf 8.68 0 Td[(applied)]TJ/F38 9.96 Tf 34.55 0 Td[(0)]TJ/F8 9.96 Tf 7.98 0 Td[(times)-300(to)]TJ/F14 9.96 Tf 38.16 0 Td[(:)]TJ/F8 9.96 Tf 9.64 0 Td[(yields)]TJ/F14 9.96 Tf 27.69 0 Td[(:)]TJ/F8 9.96 Tf 6.64 0 Td[(.)-434(The)-301(function)]TJ/F38 9.96 Tf 65.95 0 Td[(Z)]TJ/F8 9.96 Tf 9.09 0 Td[(applied)-300(to)-301(an)28(y)-301(other)-301(n)28(um)29(b)-28(er)]TJ/F38 9.96 Tf -244.92 -11.96 Td[(N)]TJ/F8 9.96 Tf 10.38 0 Td[(yields)]TJ/F38 9.96 Tf 115.11 -11.95 Td[(ZN)]TJ/F14 9.96 Tf 15.92 0 Td[()]TJ/F8 9.96 Tf 10.51 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(x:x)]TJ/F38 9.96 Tf 19.96 0 Td[(F)]TJ/F14 9.96 Tf 5.68 0 Td[(:)]TJ/F38 9.96 Tf 6.64 0 Td[(F)]TJ/F8 9.96 Tf 5.67 0 Td[(\051)]TJ/F38 9.96 Tf 3.88 0 Td[(N)]TJ/F8 9.96 Tf 9.82 0 Td[(=)]TJ/F38 9.96 Tf 10.52 0 Td[(NF)]TJ/F14 9.96 Tf 12.73 0 Td[(:)]TJ/F38 9.96 Tf 6.64 0 Td[(F)]TJ/F8 9.96 Tf -237.34 -17.24 Td[(The)-269(function)]TJ/F38 9.96 Tf 58.21 0 Td[(F)]TJ/F8 9.96 Tf 8.35 0 Td[(is)-268(then)-268(applied)]TJ/F38 9.96 Tf 65.65 0 Td[(N)]TJ/F8 9.96 Tf 9.73 0 Td[(times)-268(to)]TJ/F14 9.96 Tf 37.52 0 Td[(:)]TJ/F8 9.96 Tf 6.64 0 Td[(.)-423(But)]TJ/F38 9.96 Tf 26.12 0 Td[(F)]TJ/F8 9.96 Tf 8.35 0 Td[(applied)-267(to)-269(an)28(ything)-268(is)-268(the)-268(iden)29(tit)28(y)83(,)]TJ -220.57 -11.95 Td[(so)-333(that)-334(the)-332(ab)-28(o)28(v)28(e)-333(expression)-331(reduces)-331(for)-333(an)28(y)-333(n)28(um)28(b)-27(er)]TJ/F38 9.96 Tf 233.07 0 Td[(N)]TJ/F8 9.96 Tf 10.38 0 Td[(greater)-332(than)-333(zero)-333(to)]TJ/F38 9.96 Tf -72.89 -20.75 Td[(IF)]TJ/F8 9.96 Tf 11.2 0 Td[(=)]TJ/F38 9.96 Tf 10.52 0 Td[(F)]TJ/F54 11.96 Tf -192.28 -27.69 Td[(3.3)-1126(The)-374(predecessor)-375(function)]TJ/F8 9.96 Tf 0 -18.39 Td[(W)83(e)-385(can)-385(no)28(w)-386(de\014ne)-384(the)-384(predecessor)-382(function)-384(com)29(bining)-385(some)-384(of)-385(the)-385(functions)-383(in)28(tro-)]TJ 0 -11.96 Td[(duced)-356(ab)-27(o)27(v)28(e.)-515(When)-356(lo)-28(oking)-357(for)-356(the)-357(predecessor)-353(of)]TJ/F11 9.96 Tf 223.67 0 Td[(n)]TJ/F8 9.96 Tf 5.98 0 Td[(,)-363(the)-357(general)-356(strategy)-356(will)-357(b)-27(e)-357(to)]TJ -229.65 -11.95 Td[(create)-332(a)-334(pair)-333(\050)]TJ/F11 9.96 Tf 62.05 0 Td[(n;)-167(n)]TJ/F14 9.96 Tf 18.6 0 Td[()]TJ/F8 9.96 Tf 9.96 0 Td[(1\051)-334(and)-333(then)-332(pic)29(k)-334(the)-332(second)-332(elemen)30(t)-333(of)-334(the)-332(pair)-333(as)-333(the)-333(result.)]TJ -75.66 -11.96 Td[(A)-333(pair)-333(\050)]TJ/F11 9.96 Tf 35.17 0 Td[(a;)-166(b)]TJ/F8 9.96 Tf 13.97 0 Td[(\051)-333(can)-333(b)-28(e)-333(represen)31(ted)-333(in)]TJ/F11 9.96 Tf 103.61 0 Td[()]TJ/F8 9.96 Tf 5.81 0 Td[(-calculus)-332(using)-332(the)-333(function)]TJ -7.26 -20.75 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(z)-45(:z)-44(ab)]TJ/F8 9.96 Tf 28.27 0 Td[(\051)]TJ -198.39 -20.75 Td[(W)83(e)-268(can)-268(extract)-267(the)-268(\014rst)-268(elemen)30(t)-268(of)-268(the)-268(pair)-268(from)-268(the)-267(expression)-266(applying)-268(this)-267(function)]TJ 0 -11.96 Td[(to)]TJ/F38 9.96 Tf 12.18 0 Td[(T)]TJ/F8 9.96 Tf 126.6 -11.95 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(z)-45(:z)-44(ab)]TJ/F8 9.96 Tf 28.27 0 Td[(\051)]TJ/F38 9.96 Tf 3.87 0 Td[(T)]TJ/F8 9.96 Tf 9.55 0 Td[(=)]TJ/F38 9.96 Tf 10.52 0 Td[(T)]TJ/F11 9.96 Tf 6.78 0 Td[(ab)]TJ/F8 9.96 Tf 12.3 0 Td[(=)]TJ/F11 9.96 Tf 10.52 0 Td[(a)]TJ/F8 9.96 Tf -224.46 -17.23 Td[(and)-333(the)-333(second)-331(applying)-333(the)-333(function)-331(to)]TJ/F38 9.96 Tf 177.72 0 Td[(F)]TJ/F8 9.96 Tf -37.34 -20.76 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(z)-44(:z)-44(ab)]TJ/F8 9.96 Tf 28.26 0 Td[(\051)]TJ/F38 9.96 Tf 3.87 0 Td[(F)]TJ/F8 9.96 Tf 8.44 0 Td[(=)]TJ/F38 9.96 Tf 10.52 0 Td[(F)]TJ/F11 9.96 Tf 5.67 0 Td[(ab)]TJ/F8 9.96 Tf 12.31 0 Td[(=)]TJ/F11 9.96 Tf 10.52 0 Td[(b)]TJ/F8 9.96 Tf -223.85 -20.75 Td[(The)-313(follo)28(wing)-313(function)-311(generates)-311(from)-312(the)-312(pair)-312(\050)]TJ/F11 9.96 Tf 209.03 0 Td[(n;)-167(n)]TJ/F14 9.96 Tf 18.2 0 Td[()]TJ/F8 9.96 Tf 9.55 0 Td[(1\051)-313(\050whic)28(h)-312(is)-313(the)-312(argumen)29(t)]TJ/F11 9.96 Tf 115.29 0 Td[(p)]TJ/F8 9.96 Tf 8.13 0 Td[(in)]TJ -360.2 -11.95 Td[(the)-333(function\051)-332(the)-332(pair)-333(\050)]TJ/F11 9.96 Tf 101.59 0 Td[(n)]TJ/F8 9.96 Tf 8.2 0 Td[(+)-222(1)]TJ/F11 9.96 Tf 14.94 0 Td[(;)-167(n)]TJ/F14 9.96 Tf 12.62 0 Td[()]TJ/F8 9.96 Tf 9.97 0 Td[(1\051:)]TJ -15.23 -20.76 Td[(\010)]TJ/F14 9.96 Tf 9.96 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(pz)-45(:z)]TJ/F8 9.96 Tf 23.74 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(S)]TJ/F8 9.96 Tf 5.54 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(p)]TJ/F38 9.96 Tf 5.01 0 Td[(T)]TJ/F8 9.96 Tf 6.78 0 Td[(\051\051\050)]TJ/F11 9.96 Tf 11.63 0 Td[(p)]TJ/F38 9.96 Tf 5.01 0 Td[(T)]TJ/F8 9.96 Tf 6.78 0 Td[(\051\051)]TJ -228.67 -20.75 Td[(The)-275(sub)-27(expression)]TJ/F11 9.96 Tf 82.61 0 Td[(p)]TJ/F38 9.96 Tf 5.01 0 Td[(T)]TJ/F8 9.96 Tf 9.52 0 Td[(extracts)-274(the)-275(\014rst)-274(elemen)30(t)-275(from)-274(the)-275(pair)]TJ/F11 9.96 Tf 169.68 0 Td[(p)]TJ/F8 9.96 Tf 5.01 0 Td[(.)-425(A)-276(new)-275(pair)-274(is)-275(formed)]TJ -271.83 -11.95 Td[(using)-282(this)-282(elemen)30(t,)-292(whic)28(h)-283(is)-282(incremen)31(ted)-282(for)-282(the)-282(\014rst)-282(p)-27(osition)-282(of)-283(the)-282(new)-282(pair)-282(and)-283(just)]TJ 0 -11.96 Td[(copied)-332(for)-333(the)-333(second)-331(p)-28(osition)-333(of)-333(the)-332(new)-333(pair.)]TJ 14.95 -11.95 Td[(The)-320(predecessor)-318(of)-320(a)-321(n)28(um)28(b)-27(er)]TJ/F11 9.96 Tf 128.53 0 Td[(n)]TJ/F8 9.96 Tf 9.18 0 Td[(is)-320(obtained)-320(b)28(y)-320(applying)]TJ/F11 9.96 Tf 104.99 0 Td[(n)]TJ/F8 9.96 Tf 9.18 0 Td[(times)-319(the)-321(function)-319(\010)-321(to)]TJ -266.83 -11.96 Td[(the)-333(pair)-333(\050)]TJ/F11 9.96 Tf 41.54 0 Td[(:z)]TJ/F38 9.96 Tf 13.65 0 Td[(00)]TJ/F8 9.96 Tf 9.96 0 Td[(\051)-334(and)-333(then)-332(selecting)-331(the)-333(second)-332(mem)30(b)-28(er)-333(of)-333(the)-333(new)-333(pair:)]TJ/F38 9.96 Tf 72.42 -20.75 Td[(P)]TJ/F14 9.96 Tf 9.13 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(n:n)]TJ/F8 9.96 Tf 20.54 0 Td[(\010\050)]TJ/F11 9.96 Tf 11.07 0 Td[(z)-45(:z)]TJ/F38 9.96 Tf 18.72 0 Td[(00)]TJ/F8 9.96 Tf 9.97 0 Td[(\051)]TJ/F38 9.96 Tf 3.87 0 Td[(F)]TJ/F8 9.96 Tf -225.26 -20.75 Td[(Notice)-267(that)-267(using)-266(this)-267(approac)29(h)-267(the)-267(predecessor)-263(of)-268(zero)-266(is)-267(zero.)-421(This)-267(prop)-27(ert)29(y)-268(is)-266(useful)]TJ 0 -11.96 Td[(for)-333(the)-333(de\014nition)-331(of)-334(other)-332(functions.)]TJ/F54 11.96 Tf 0 -27.69 Td[(3.4)-1126(Equalit)32(y)-375(and)-374(inequalities)]TJ/F8 9.96 Tf 0 -18.38 Td[(With)-410(the)-410(predecessor)-407(function)-409(as)-410(the)-410(building)-409(blo)-28(c)29(k,)-430(w)27(e)-410(can)-410(no)28(w)-411(de\014ne)-408(a)-411(function)]TJ 0 -11.96 Td[(whic)28(h)-333(tests)-332(if)-333(a)-334(n)28(um)29(b)-27(er)]TJ/F11 9.96 Tf 105.58 0 Td[(x)]TJ/F8 9.96 Tf 9.01 0 Td[(is)-333(greater)-332(than)-333(or)-334(equal)-332(to)-334(a)-333(n)28(um)28(b)-27(er)]TJ/F11 9.96 Tf 162.34 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(:)]TJ/F38 9.96 Tf -137.08 -20.75 Td[(G)]TJ/F14 9.96 Tf 9.41 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(xy)-36(:)]TJ/F38 9.96 Tf 19.51 0 Td[(Z)]TJ/F8 9.96 Tf 6.09 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(x)]TJ/F38 9.96 Tf 5.69 0 Td[(P)]TJ/F11 9.96 Tf 6.37 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(\051\051)]TJ -33.91 -11.34 Td[(7)]TJ ET endstream endobj 45 0 obj 8230 endobj 42 0 obj << /ProcSet [/PDF /Text] /Font << /F8 12 0 R /F38 16 0 R /F14 15 0 R /F11 13 0 R /F54 11 0 R >> >> endobj 43 0 obj << /Type /Page /Contents 44 0 R /Resources 42 0 R /MediaBox [0 0 595.27 841.89] /Parent 46 0 R >> endobj 49 0 obj << /Length 50 0 R >> stream 1 0 0 1 128.69 721.07 cm BT /F8 9.96 Tf 0 0 Td[(If)-297(the)-296(predecessor)-293(function)-295(applied)]TJ/F11 9.96 Tf 151.93 0 Td[(x)]TJ/F8 9.96 Tf 8.65 0 Td[(times)-296(to)]TJ/F11 9.96 Tf 38.07 0 Td[(y)]TJ/F8 9.96 Tf 8.2 0 Td[(yields)-295(zero,)-303(then)-296(it)-296(is)-297(true)-295(that)]TJ/F11 9.96 Tf 134.67 0 Td[(x)]TJ/F14 9.96 Tf 8.46 0 Td[()]TJ/F11 9.96 Tf 10.52 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(.)]TJ -350.79 -11.95 Td[(If)]TJ/F11 9.96 Tf 10.9 0 Td[(x)]TJ/F14 9.96 Tf 10.02 0 Td[()]TJ/F11 9.96 Tf 12.08 0 Td[(y)]TJ/F8 9.96 Tf 9.5 0 Td[(and)]TJ/F11 9.96 Tf 20.32 0 Td[(y)]TJ/F14 9.96 Tf 9.57 0 Td[()]TJ/F11 9.96 Tf 12.08 0 Td[(x)]TJ/F8 9.96 Tf 5.69 0 Td[(,)-451(then)]TJ/F11 9.96 Tf 30.9 0 Td[(x)]TJ/F8 9.96 Tf 10.02 0 Td[(=)]TJ/F11 9.96 Tf 12.08 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(.)-727(This)-428(leads)-426(to)-428(the)-427(follo)28(wing)-427(de\014nition)-426(of)-428(the)]TJ -163.35 -11.96 Td[(function)]TJ/F38 9.96 Tf 39.02 0 Td[(E)]TJ/F8 9.96 Tf 9.27 0 Td[(whic)28(h)-333(tests)-332(if)-333(t)28(w)27(o)-334(n)29(um)28(b)-27(ers)-333(are)-333(equal:)]TJ/F38 9.96 Tf 68.29 -18.6 Td[(E)]TJ/F14 9.96 Tf 8.72 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(xy)-37(:)]TJ/F14 9.96 Tf 21.73 0 Td[(^)]TJ/F8 9.96 Tf 8.86 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(Z)]TJ/F8 9.96 Tf 6.09 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(x)]TJ/F38 9.96 Tf 5.7 0 Td[(P)]TJ/F11 9.96 Tf 6.36 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(\051\051\050)]TJ/F38 9.96 Tf 11.63 0 Td[(Z)]TJ/F8 9.96 Tf 6.09 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(y)]TJ/F38 9.96 Tf 5.24 0 Td[(P)]TJ/F11 9.96 Tf 6.37 0 Td[(x)]TJ/F8 9.96 Tf 5.69 0 Td[(\051\051\051)]TJ -240.3 -18.59 Td[(In)-334(a)-333(similar)-332(manner)-332(w)27(e)-333(can)-332(de\014ne)-332(functions)-331(to)-334(test)-332(whether)]TJ/F11 9.96 Tf 263.98 0 Td[(x)-278(>)-278(y)]TJ/F8 9.96 Tf 24.22 0 Td[(,)]TJ/F11 9.96 Tf 6.09 0 Td[(x)-278(<)-278(y)]TJ/F8 9.96 Tf 27.54 0 Td[(or)]TJ/F11 9.96 Tf 12.21 0 Td[(x)]TJ/F14 9.96 Tf 8.46 0 Td[(6)]TJ/F8 9.96 Tf 0 0 Td[(=)]TJ/F11 9.96 Tf 10.51 0 Td[(y)]TJ/F8 9.96 Tf 5.24 0 Td[(.)]TJ/F61 14.35 Tf -358.25 -32.38 Td[(4)-1125(Recursion)]TJ/F8 9.96 Tf 0 -21.82 Td[(Recursiv)29(e)-402(functions)-401(can)-402(b)-28(e)-402(de\014ned)-401(in)-402(the)]TJ/F11 9.96 Tf 187.77 0 Td[()]TJ/F8 9.96 Tf 9.82 0 Td[(calculus)-401(using)-402(a)-403(function)-401(whic)28(h)-402(calls)-402(a)]TJ -197.59 -11.95 Td[(function)]TJ/F11 9.96 Tf 39 0 Td[(y)]TJ/F8 9.96 Tf 8.54 0 Td[(and)-331(then)-331(regenerates)-328(itself.)-442(This)-331(can)-331(b)-27(e)-331(b)-28(etter)-330(understo)-26(o)-28(d)-331(b)28(y)-331(considering)]TJ -47.54 -11.96 Td[(the)-333(follo)28(wing)-333(function)]TJ/F38 9.96 Tf 98.24 0 Td[(Y)]TJ/F8 9.96 Tf 6.9 0 Td[(:)]TJ/F38 9.96 Tf 11.84 -18.59 Td[(Y)]TJ/F14 9.96 Tf 9.66 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(y)-37(:)]TJ/F8 9.96 Tf 13.82 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(x:y)]TJ/F8 9.96 Tf 19.51 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(xx)]TJ/F8 9.96 Tf 11.39 0 Td[(\051\051\050)]TJ/F11 9.96 Tf 11.63 0 Td[(x:y)]TJ/F8 9.96 Tf 19.51 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(xx)]TJ/F8 9.96 Tf 11.39 0 Td[(\051\051\051)]TJ -239.9 -18.6 Td[(This)-333(function)-332(applied)-332(to)-333(a)-334(function)]TJ/F38 9.96 Tf 156.14 0 Td[(R)]TJ/F8 9.96 Tf 9.75 0 Td[(yields:)]TJ/F38 9.96 Tf -42.41 -18.6 Td[(YR)]TJ/F8 9.96 Tf 15.84 0 Td[(=)-278(\050)]TJ/F11 9.96 Tf 14.4 0 Td[(x:)]TJ/F38 9.96 Tf 14.27 0 Td[(R)]TJ/F8 9.96 Tf 6.43 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(xx)]TJ/F8 9.96 Tf 11.38 0 Td[(\051\051\050)]TJ/F11 9.96 Tf 11.63 0 Td[(x:)]TJ/F38 9.96 Tf 14.27 0 Td[(R)]TJ/F8 9.96 Tf 6.43 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(xx)]TJ/F8 9.96 Tf 11.39 0 Td[(\051\051)]TJ -237.28 -18.59 Td[(whic)28(h)-333(further)-332(reduced)-331(yields:)]TJ/F11 9.96 Tf 127.03 -18.6 Td[(R)]TJ/F8 9.96 Tf 7.64 0 Td[(\050\050)]TJ/F11 9.96 Tf 7.75 0 Td[(x:)]TJ/F38 9.96 Tf 14.27 0 Td[(R)]TJ/F8 9.96 Tf 6.44 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(xx)]TJ/F8 9.96 Tf 11.39 0 Td[(\051\051\050)]TJ/F11 9.96 Tf 11.62 0 Td[(x:)]TJ/F38 9.96 Tf 14.27 0 Td[(R)]TJ/F8 9.96 Tf 6.44 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(xx)]TJ/F8 9.96 Tf 11.39 0 Td[(\051\051\051\051)]TJ -225.98 -18.59 Td[(but)-478(this)-477(means)-476(that)]TJ/F38 9.96 Tf 95.54 0 Td[(YR)]TJ/F8 9.96 Tf 18.24 0 Td[(=)]TJ/F38 9.96 Tf 12.92 0 Td[(R)]TJ/F8 9.96 Tf 6.43 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(YR)]TJ/F8 9.96 Tf 13.08 0 Td[(\051,)-514(that)-478(is,)-513(the)-477(function)]TJ/F38 9.96 Tf 108.43 0 Td[(R)]TJ/F8 9.96 Tf 11.2 0 Td[(is)-477(ev)56(aluated)-477(using)-477(the)]TJ -269.71 -11.96 Td[(recursiv)30(e)-333(call)]TJ/F38 9.96 Tf 59.89 0 Td[(YR)]TJ/F8 9.96 Tf 16.4 0 Td[(as)-333(the)-332(\014rst)-333(argumen)29(t.)]TJ -61.34 -11.96 Td[(Assume,)-320(for)-320(example,)-321(that)-320(w)28(e)-320(w)27(an)28(t)-320(to)-320(de\014ne)-318(a)-320(function)-319(whic)29(h)-320(adds)-319(up)-320(the)-319(\014rst)]TJ/F11 9.96 Tf 347.57 0 Td[(n)]TJ/F8 9.96 Tf -362.52 -11.95 Td[(natural)-344(n)28(um)29(b)-28(ers.)-477(W)84(e)-345(can)-343(use)-344(a)-345(recursiv)31(e)-345(de\014nition,)-345(since)]TJ/F1 9.96 Tf 254.25 7.47 Td[(P)]TJ/F10 6.97 Tf 10.51 -2.46 Td[(n)]TJ 0 -8 Td[(i)]TJ/F7 6.97 Tf 2.82 0 Td[(=0)]TJ/F11 9.96 Tf 12.25 2.99 Td[(i)]TJ/F8 9.96 Tf 6.38 0 Td[(=)]TJ/F11 9.96 Tf 10.7 0 Td[(n)]TJ/F8 9.96 Tf 8.27 0 Td[(+)]TJ/F1 9.96 Tf 10.04 7.47 Td[(P)]TJ/F10 6.97 Tf 10.51 -2.46 Td[(n)]TJ/F13 6.97 Tf 4.93 0 Td[()]TJ/F7 6.97 Tf 6.23 0 Td[(1)]TJ/F10 6.97 Tf -11.16 -8 Td[(i)]TJ/F7 6.97 Tf 2.82 0 Td[(=0)]TJ/F11 9.96 Tf 14.47 2.99 Td[(i)]TJ/F8 9.96 Tf 3.43 0 Td[(.)-478(Let)]TJ -346.45 -11.96 Td[(us)-333(use)-332(the)-333(follo)28(wing)-333(de\014nition)-332(for)]TJ/F38 9.96 Tf 148.75 0 Td[(R)]TJ/F8 9.96 Tf 6.43 0 Td[(:)]TJ/F38 9.96 Tf -28.79 -18.59 Td[(R)]TJ/F14 9.96 Tf 9.2 0 Td[()]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(r)-29(n:)]TJ/F38 9.96 Tf 19.33 0 Td[(Z)]TJ/F11 9.96 Tf 6.09 0 Td[(n)]TJ/F38 9.96 Tf 5.98 0 Td[(0)]TJ/F8 9.96 Tf 4.98 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(n)]TJ/F38 9.96 Tf 5.98 0 Td[(S)]TJ/F8 9.96 Tf 5.53 0 Td[(\050)]TJ/F11 9.96 Tf 3.88 0 Td[(r)]TJ/F8 9.96 Tf 4.77 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(P)]TJ/F11 9.96 Tf 6.37 0 Td[(n)]TJ/F8 9.96 Tf 5.98 0 Td[(\051\051\051\051)]TJ -226.62 -18.6 Td[(This)-325(de\014nition)-324(tells)-325(us)-324(that)-326(the)-325(n)28(um)29(b)-28(er)]TJ/F11 9.96 Tf 175.38 0 Td[(n)]TJ/F8 9.96 Tf 9.22 0 Td[(is)-325(tested:)-439(if)-325(it)-326(is)-325(zero)-324(the)-325(result)-324(of)-326(the)-325(sum)]TJ -184.6 -11.95 Td[(is)-287(zero.)-428(If)]TJ/F11 9.96 Tf 43.85 0 Td[(n)]TJ/F8 9.96 Tf 8.84 0 Td[(is)-287(not)-287(zero,)-295(then)-287(the)-286(successor)-285(function)-285(is)-287(applied)]TJ/F11 9.96 Tf 214.09 0 Td[(n)]TJ/F8 9.96 Tf 8.84 0 Td[(times)-286(to)-288(the)-286(recursiv)30(e)]TJ -275.62 -11.96 Td[(call)-333(\050the)-333(argumen)30(t)]TJ/F11 9.96 Tf 83.88 0 Td[(r)]TJ/F8 9.96 Tf 4.77 0 Td[(\051)-334(of)-333(the)-333(function)-331(applied)-332(to)-334(the)-332(predecessor)-330(of)]TJ/F11 9.96 Tf 203.02 0 Td[(n)]TJ/F8 9.96 Tf 5.98 0 Td[(.)]TJ -282.7 -11.95 Td[(Ho)28(w)-388(do)-388(w)27(e)-387(kno)28(w)-388(that)]TJ/F11 9.96 Tf 101.5 0 Td[(r)]TJ/F8 9.96 Tf 8.63 0 Td[(in)-388(the)-387(expression)-385(ab)-27(o)27(v)28(e)-387(is)-387(the)-387(recursiv)30(e)-388(call)-387(to)]TJ/F38 9.96 Tf 209.14 0 Td[(R)]TJ/F8 9.96 Tf 6.43 0 Td[(,)-401(since)]TJ -340.65 -11.96 Td[(functions)-409(in)]TJ/F11 9.96 Tf 56.12 0 Td[()]TJ/F8 9.96 Tf 9.91 0 Td[(calculus)-409(do)-410(not)-411(ha)28(v)27(e)-410(names?)-676(W)83(e)-411(do)-410(not)-411(kno)28(w)-412(and)-410(that)-411(is)-411(precisely)]TJ -66.03 -11.95 Td[(wh)27(y)-366(w)27(e)-366(ha)28(v)28(e)-367(to)-366(use)-366(the)-366(recursion)-364(op)-28(erator)]TJ/F38 9.96 Tf 190.78 0 Td[(Y)]TJ/F8 9.96 Tf 6.9 0 Td[(.)-544(Assume)-365(for)-366(example)-365(that)-367(w)28(e)-367(w)28(an)28(t)-367(to)]TJ -197.68 -11.96 Td[(add)-333(the)-333(n)28(um)29(b)-28(ers)-332(from)]TJ/F38 9.96 Tf 100.29 0 Td[(0)]TJ/F8 9.96 Tf 8.3 0 Td[(to)]TJ/F38 9.96 Tf 12.18 0 Td[(3)]TJ/F8 9.96 Tf 4.98 0 Td[(.)-445(The)-333(necessary)-330(op)-28(erations)-332(are)-333(p)-28(erformed)-331(b)28(y)-333(the)-333(call:)]TJ/F38 9.96 Tf -17.05 -18.6 Td[(YR3)]TJ/F8 9.96 Tf 20.83 0 Td[(=)]TJ/F38 9.96 Tf 10.51 0 Td[(R)]TJ/F8 9.96 Tf 6.44 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(YR)]TJ/F8 9.96 Tf 13.08 0 Td[(\051)]TJ/F38 9.96 Tf 3.87 0 Td[(3)]TJ/F8 9.96 Tf 7.75 0 Td[(=)]TJ/F38 9.96 Tf 10.52 0 Td[(Z30)]TJ/F8 9.96 Tf 16.05 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(3S)]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(YR)]TJ/F8 9.96 Tf 13.08 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(P3)]TJ/F8 9.96 Tf 11.35 0 Td[(\051\051\051)]TJ -248.18 -18.59 Td[(Since)]TJ/F38 9.96 Tf 26.02 0 Td[(3)]TJ/F8 9.96 Tf 8.3 0 Td[(is)-333(not)-333(equal)-332(to)-334(zero,)-332(the)-333(ev)56(aluation)-333(reduces)-331(to)]TJ/F38 9.96 Tf 131.77 -18.6 Td[(3S)]TJ/F8 9.96 Tf 10.52 0 Td[(\050)]TJ/F38 9.96 Tf 3.87 0 Td[(YR2)]TJ/F8 9.96 Tf 18.06 0 Td[(\051)]TJ -198.54 -18.59 Td[(that)-300(is,)-305(the)-299(sum)-298(of)-300(the)-299(n)28(um)29(b)-27(ers)-299(from)]TJ/F38 9.96 Tf 162.25 0 Td[(0)]TJ/F8 9.96 Tf 7.97 0 Td[(to)]TJ/F38 9.96 Tf 11.84 0 Td[(3)]TJ/F8 9.96 Tf 7.96 0 Td[(is)-299(equal)-299(to)]TJ/F38 9.96 Tf 47.48 0 Td[(3)]TJ/F8 9.96 Tf 7.96 0 Td[(plus)-299(the)-299(sum)-298(of)-299(the)-299(n)28(um)28(b)-27(ers)]TJ -245.46 -11.96 Td[(from)]TJ/F38 9.96 Tf 22.97 0 Td[(0)]TJ/F8 9.96 Tf 7.72 0 Td[(to)]TJ/F38 9.96 Tf 11.59 0 Td[(2)]TJ/F8 9.96 Tf 4.98 0 Td[(.)-425(Successiv)31(e)-274(recursiv)30(e)-275(ev)57(aluations)-274(of)]TJ/F38 9.96 Tf 157.15 0 Td[(YR)]TJ/F8 9.96 Tf 15.81 0 Td[(will)-275(lead)-274(to)-274(the)-274(correct)-274(\014nal)-274(result.)]TJ -205.27 -11.95 Td[(Notice)-375(that)-376(in)-376(the)-376(function)-375(de\014ned)-374(ab)-27(o)27(v)28(e)-376(the)-375(recursion)-374(will)-377(b)-27(e)-376(brok)28(en)-375(when)-376(the)]TJ -14.95 -11.96 Td[(argumen)29(t)-333(b)-28(ecomes)]TJ/F38 9.96 Tf 84.21 0 Td[(0)]TJ/F8 9.96 Tf 4.99 0 Td[(.)-444(The)-333(\014nal)-333(result)-332(will)-333(b)-28(e)]TJ/F38 9.96 Tf 76.79 -18.6 Td[(3S2S1S0)]TJ/F8 9.96 Tf -165.99 -18.59 Td[(that)-333(is,)-333(the)-333(n)28(um)29(b)-28(er)]TJ/F38 9.96 Tf 87.81 0 Td[(6)]TJ/F8 9.96 Tf 4.98 0 Td[(.)]TJ 88.97 -11.34 Td[(8)]TJ ET endstream endobj 50 0 obj 10207 endobj 47 0 obj << /ProcSet [/PDF /Text] /Font << /F8 12 0 R /F11 13 0 R /F14 15 0 R /F38 16 0 R /F61 11 0 R /F1 51 0 R /F10 18 0 R /F7 17 0 R /F13 52 0 R >> >> endobj 48 0 obj << /Type /Page /Contents 49 0 R /Resources 47 0 R /MediaBox [0 0 595.27 841.89] /Parent 46 0 R >> endobj 55 0 obj << /Length 56 0 R >> stream 1 0 0 1 128.69 721.07 cm BT /F61 14.35 Tf 0 0 Td[(5)-1125(Pro)-64(jects)-374(for)-376(the)-375(reader)]TJ/F8 9.96 Tf 12.18 -21.82 Td[(1.)-500(De\014ne)-248(the)-249(functions)-248(\134less)-248(than")-250(and)-249(\134greater)-249(than")-249(of)-250(t)28(w)27(o)-250(n)28(umerical)-247(argumen)29(ts.)]TJ 0 -19.93 Td[(2.)-500(De\014ne)-332(the)-333(p)-27(ositiv)28(e)-333(and)-333(negativ)29(e)-333(in)28(tegers)-332(using)-332(pairs)-333(of)-333(natural)-333(n)29(um)28(b)-27(ers.)]TJ 0 -19.92 Td[(3.)-500(De\014ne)-332(addition)-333(and)-332(subtraction)-332(of)-333(in)28(tegers.)]TJ 0 -19.93 Td[(4.)-500(De\014ne)-332(the)-333(division)-332(of)-333(p)-27(ositiv)28(e)-333(in)28(tegers)-332(recursiv)30(ely)85(.)]TJ 0 -19.92 Td[(5.)-500(De\014ne)-332(the)-333(function)]TJ/F11 9.96 Tf 99.76 0 Td[(n)]TJ/F8 9.96 Tf 5.98 0 Td[(!)-278(=)]TJ/F11 9.96 Tf 16.05 0 Td[(n)]TJ/F14 9.96 Tf 8.2 0 Td[()]TJ/F8 9.96 Tf 4.98 0 Td[(\050)]TJ/F11 9.96 Tf 3.87 0 Td[(n)]TJ/F14 9.96 Tf 8.2 0 Td[()]TJ/F8 9.96 Tf 9.96 0 Td[(1\051)]TJ/F14 9.96 Tf 10.52 0 Td[()-166()-167()]TJ/F8 9.96 Tf 13.28 0 Td[(1)-333(recursiv)30(ely)84(.)]TJ -180.8 -19.93 Td[(6.)-500(De\014ne)-332(the)-333(rational)-333(n)28(um)29(b)-28(ers)-332(as)-333(pairs)-332(of)-334(in)29(tegers.)]TJ 0 -19.92 Td[(7.)-500(De\014ne)-456(functions)-455(for)-456(the)-457(addition,)-487(subtraction,)-486(m)29(ultiplication)-456(and)-456(division)-456(of)]TJ 12.73 -11.96 Td[(rationals.)]TJ -12.73 -19.92 Td[(8.)-500(De\014ne)-332(a)-334(data)-333(structure)-331(to)-334(represen)31(t)-333(a)-334(list)-333(of)-333(n)28(um)29(b)-28(ers.)]TJ 0 -19.93 Td[(9.)-500(De\014ne)-332(a)-334(function)-331(whic)28(h)-333(extracts)-332(the)-333(\014rst)-332(elemen)30(t)-334(from)-332(a)-334(list.)]TJ -4.98 -19.92 Td[(10.)-500(De\014ne)-332(a)-334(recursiv)31(e)-333(function)-332(whic)28(h)-333(coun)29(ts)-333(the)-333(n)28(um)29(b)-28(er)-333(of)-333(elemen)30(ts)-333(in)-333(a)-333(list.)]TJ 0 -19.93 Td[(11.)-500(Can)-334(y)28(ou)-333(sim)29(ulate)-333(a)-333(T)83(uring)-333(mac)28(hine)-332(using)]TJ/F11 9.96 Tf 202.99 0 Td[()]TJ/F8 9.96 Tf 9.13 0 Td[(calculus?)]TJ/F61 14.35 Tf -219.32 -32.94 Td[(References)]TJ/F8 9.96 Tf 0 -21.82 Td[([1])-500(P)83(.)-166(M,)-367(Kogge,)]TJ/F34 9.96 Tf 75.07 0 Td[(The)-389(A)26(r)51(chite)51(ctur)51(e)-389(of)-389(Symb)51(olic)-389(Computers)]TJ/F8 9.96 Tf 177.83 0 Td[(,)-376(McGra)29(w-Hill,)-377(New)-367(Y)83(ork,)]TJ -237.4 -11.96 Td[(1991,)-334(c)28(hapter)-332(4.)]TJ -15.5 -19.92 Td[([2])-500(G.)-308(Mic)28(haelson,)]TJ/F34 9.96 Tf 83.25 0 Td[(A)26(n)-335(Intr)51(o)51(duction)-335(to)-335(F)76(unctional)-335(Pr)52(o)51(gr)51(amming)-335(thr)51(ough)-335(L)51(amb)50(da)-335(Cal-)]TJ -67.75 -11.96 Td[(culus)]TJ/F8 9.96 Tf 21.9 0 Td[(,)-333(Addison-W)84(esley)85(,)-333(W)83(okingham,)-332(1988.)]TJ -37.4 -19.92 Td[([3])-500(G.)-485(Rev)28(esz,)]TJ/F34 9.96 Tf 68.41 0 Td[(L)51(amb)50(da-Calculus)-496(Combinators)-498(and)-498(F)77(unctional)-498(Pr)52(o)51(gr)51(amming)]TJ/F8 9.96 Tf 268.32 0 Td[(,)-523(Cam-)]TJ -321.23 -11.96 Td[(bridge)-332(Univ)28(ersit)29(y)-333(Press,)-332(Cam)28(bridge,)-332(1988,)-334(c)28(hapters)-331(1{3.)]TJ 166.26 -202.8 Td[(9)]TJ ET endstream endobj 56 0 obj 3166 endobj 53 0 obj << /ProcSet [/PDF /Text] /Font << /F61 11 0 R /F8 12 0 R /F11 13 0 R /F14 15 0 R /F34 14 0 R >> >> endobj 54 0 obj << /Type /Page /Contents 55 0 R /Resources 53 0 R /MediaBox [0 0 595.27 841.89] /Parent 46 0 R >> endobj 52 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 57 0 R /BaseFont 63 0 R /FontDescriptor 64 0 R >> endobj 57 0 obj [ 893 339 893 586 893 586 893 893 893 893 893 893 893 1140 586 586 893 893 893 893 893 893 893 893 893 893 893 893 1140 1140 893 893 1140 1140 586 586 1140 1140 1140 893 1140 1140 709 709 1140 1140 1140 893 330 1140 770 770 1016 1016 0 0 647 647 770 586 832 832 893 893 709 918 754 621 890 616 819 689 979 647 783 872 792 1343 936 906 810 936 982 703 648 718 720 1136 819 765 824 770 770 770 770 770 709 709 524 524 524 524 586 586 463 463 339 586 586 709 586 339 939 860 955 494 770 770 893 893 524 524 524 709 893 893 893 893 ] endobj 58 0 obj << /Length 59 0 R /Length1 60 0 R /Length2 61 0 R /Length3 62 0 R >> stream %!PS-AdobeFont-1.1: CMSY7 1.0 %%CreationDate: 1991 Aug 15 07:21:52 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMSY7) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.035 def /isFixedPitch false def end readonly def /FontName /AAAAAA+CMSY7 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 0 /minus put readonly def /FontBBox{-15 -951 1252 782}readonly def /UniqueID 5000817 def currentdict end currentfile eexec oc;j~EЪ/ ȭX~id}S5Q!gtⵎkJc;rN^X5.Sy +'IqV:r㚉#,# dBZ *R*"7٨yQIeύrZp(IJ8#+P.ղNC; +[i-{')/Pph QC AȜ;k5,4Cof^^ "XWeBL'>@{.'b[>PP.DW,={ #VX6nzT`qN&=`~+GH X` 1`/HMsN,/ ˘kK7y;$>:[x>H$0SA+Sh?0 4٠3aσ\vD}DW8* {)OQ}rQ}7}lEᕵ߂[AH0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 59 0 obj 1860 endobj 60 0 obj 727 endobj 61 0 obj 601 endobj 62 0 obj 532 endobj 63 0 obj /AAAAAA+CMSY7 endobj 64 0 obj << /Ascent 750 /CapHeight 684 /Descent 0 /FontName 63 0 R /ItalicAngle -14 /StemV 93 /XHeight 431 /FontBBox [ -15 -951 1252 782 ] /Flags 000004 /CharSet (/minus) /FontFile 58 0 R >> endobj 51 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 65 0 R /BaseFont 71 0 R /FontDescriptor 72 0 R >> endobj 65 0 obj [ 458 458 417 417 472 472 472 472 583 583 472 472 333 556 578 578 597 597 736 736 528 528 583 583 583 583 750 750 750 750 1045 1045 792 792 583 583 639 639 639 639 806 806 806 806 1278 1278 811 811 875 875 667 667 667 667 667 667 889 889 889 889 889 889 889 667 875 875 875 875 611 611 834 1111 472 556 1111 1512 1111 1512 1111 1512 1056 945 472 834 834 834 834 834 1445 1278 556 1111 1111 1111 1111 1111 945 1278 556 1000 1445 556 1000 1445 472 472 528 528 528 528 667 667 1000 1000 1000 1000 1056 1056 1056 778 667 667 450 450 450 450 778 778 ] endobj 66 0 obj << /Length 67 0 R /Length1 68 0 R /Length2 69 0 R /Length3 70 0 R >> stream %!PS-AdobeFont-1.1: CMEX10 1.00 %%CreationDate: 1992 Jul 23 21:22:48 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMEX10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /FDAAAA+CMEX10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 80 /summationtext put readonly def /FontBBox{-24 -2960 1454 772}readonly def /UniqueID 5000774 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou\Ƨ"v*o$1|#`ݧ2YȎK@瘉!QgDVWܑ>{03{iEmW~?B(403"Ԇ9NLJG9LNIWnNRY[dm+IfN|=cG5yJi,dRht x<#^!V&1qE1[nض{3#a#!LLk-(PAh1IvYK1[VYѲY*aFnH DhPPtHH'Í=(ճAf(8JH:cX~ ۘzkcF8!hG"Vpל wp _>#5J *fvb I3YeAIȪ]%RdxL > ׺Z47ו wqc>y66| ` - E>` P5@Xmx1b@CDDx3r tK0n#5~@rS&`YCl!;Tߞ{>MX"_|#xw{UJC31I ͜pKXfՊTyVMIE˳P~Қ}r˜[TX۞q9\ӝ뇩%^W*9&YDFRzDq'(= d: X ;ܤUn#y NÏy󦔹AuU-ǙqWr9MܩXS< V Vt)}7p E+Df2a}{}Ұ3ݖ_m0Qr.&ߛc|)GK;kV>HG'|,e]}j0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 67 0 obj 2365 endobj 68 0 obj 736 endobj 69 0 obj 1097 endobj 70 0 obj 532 endobj 71 0 obj /FDAAAA+CMEX10 endobj 72 0 obj << /Ascent 40 /CapHeight 0 /Descent -1760 /FontName 71 0 R /ItalicAngle 0 /StemV 47 /XHeight 431 /FontBBox [ -24 -2960 1454 772 ] /Flags 000004 /CharSet (/summationtext) /FontFile 66 0 R >> endobj 20 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 73 0 R /BaseFont 79 0 R /FontDescriptor 80 0 R >> endobj 73 0 obj [ 664 885 826 737 708 796 767 826 767 826 767 620 590 590 885 885 295 325 531 531 531 531 531 796 472 531 767 826 531 959 1077 826 295 295 531 885 531 885 826 295 413 413 531 826 295 354 295 531 531 531 531 531 531 531 531 531 531 531 295 295 295 826 502 502 826 796 752 767 811 723 693 834 796 383 545 825 664 973 796 826 723 826 782 590 767 796 796 1091 796 796 649 295 531 295 531 295 295 531 590 472 590 472 325 531 590 295 325 561 295 885 590 531 590 561 414 419 413 590 561 767 561 561 472 531 1063 531 531 531 ] endobj 74 0 obj << /Length 75 0 R /Length1 76 0 R /Length2 77 0 R /Length3 78 0 R >> stream %!PS-AdobeFont-1.1: CMR8 1.0 %%CreationDate: 1991 Aug 20 16:39:40 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /ANTCSF+CMR8 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 45 /hyphen put dup 46 /period put dup 64 /at put dup 83 /S put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 105 /i put dup 106 /j put dup 108 /l put dup 110 /n put dup 111 /o put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put readonly def /FontBBox{-36 -250 1070 750}readonly def /UniqueID 5000791 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou\@[6]nhmlhaH+4/?3&n=a6E#|~.ԅˡw,"rg[eHi>u Wת>~ӖѿJmdvA [4|ܾ.Vz_1. Ff |X9^Rw] ۊ31S\DKZW` P^3 eێ 8`2?l;Ȋ!eXxh Df@=$*IBXԏ!Wx-b1 C; p}hQi=HXbgbmǣR,>_Q! Z؞Ar]< Qjt8?B,mN3v լǵ+K6 t{AJcQ%r?v60RmXsŤ+pǸi:Us)kPW\~; 7T.N }.&:D~4LDV5bgANӪ&׏+“Ļɂ? \Sek鬁dVPzjmSȬߤj;-0@3q!,ay ,`y۪ik9kmosrA~}wڇ$Ĥtt&px: J,Me'EA"NL?dFG۩SC;XnR]To×QZn4%f'S;ʣf NgCBiȇl4@I< 9 Ojw㿮T=mq`|YR;TF DXJD͓6϶7֕>~*c$w!*3rY[5IѯLşE@fx/-#)PDup P,ew;k ՗REj܃Qfӈ*ׄ %{>rRkwnv;%5i|T,9-/>{]wrydCcL;szqxE`aB6j82W-uxHpڶfs# vʕh4&T{OBTތ: vQJ^g91T"z{%=} >҆._7E*WS*?߃`3j_Dԭ9|\ Te ʔSXh kgB-z!#nΥv(OtA2bKCO)E"cxo~iCpTs`}V+q#!vگrޤ i):߼%~A׏B'yd9c؆ʐnMmgȔ\.{yi wBtX02 "7~3}uk ͡VEK,lCԷPa]5fJ7 ڟ}H)刣#W.\mtr#Շ2/J@')5+$7d\^-T][ǂ< nÉŚ: l,>>&mbŽs:mS} @E!gUѴ4~nд)dD+ox!A}qu| l+Mw +GFİk'(C9g]'Bžk*Ue6D?X +sf k];x=UWKZ0.|m b.'Չާ(ڃ=EDfC} ދK螢ˀϐxUenҒ`d<^A_5啢Qo5OmUG&:ed̓1.vEsEqKF._e '%,r)<"8 UICdGl8~غvj߃xky[3L {ڽO)VN$ܢ^[\g(*>CO*Crw _v|hm$ Q@ol(S5p:H+Ղ1)Oiۜ޶B>p B>]n7~h'!gs_` hFcg 1_(o9iOZkg)KVfVgh;`" FG! W/*T|b1gV8#CtK7&7GEp8 _~@;{{qoMYq?NO>& }UwUScQaM&ݪj1e*/, L>$V]yDNQFT;M)P/>mUnkTV`g(T}@}3碅LO%XqU0ǣjc oICIK鳆m!4|"?}B΀>/)5:Dѥe"?@kfUNZ▛k:?ɵ ל~dURh64TZ m؁& V4]UD]nҾ[FİNVxQr^s ~_:){i{a[0B[0zQa'nNRSސq,n7W"~VKҳ/_`vM,KD Z-znCɺ듻iW? E]SZeF}LtRђԈl#0&:1⧂,cq)8Ѯ6ޑJa9)3K3q+X߱Ȯn8z0埗ᒳrjnqJ(זjDQʛCyhʘʥ`5FqXPG%B~TcVhI~͚g,#ȝúR)a/1FXȲumw $#GCbpPE#.?IJjdާmbN߃!d{Y!Ee\imXED`u%)z-4V,/=}@WefH8x;B&XN}0fI_^(t{5".-_(Q[9٘h422!CMdS\.&Թlvƃ ד8jt3j!3ǟLgvkv%XcȚ`6 {/n-- >֠gcrf|E\ B*zi(8ꕦ8W1ʯE tnhT4iGo*7Sjsڙ{=AyGr;eӈ1+&<'7ZOdz(J^@7\u?O\Z/Da)”xp'.WZ`Kvpk`OxW_K<,pr&%Lf66ӂ"Jʹեo2Oʢ9( \SVbqIx;Y5H82Rן[,+bS&lcFk+1r߿ocmɛ~2| Z@bi#B7[(@dn0u1k8a:44_<'vly652`]aQxKHj\ ^ėD#0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 75 0 obj 5559 endobj 76 0 obj 1005 endobj 77 0 obj 4022 endobj 78 0 obj 532 endobj 79 0 obj /ANTCSF+CMR8 endobj 80 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName 79 0 R /ItalicAngle 0 /StemV 76 /XHeight 431 /FontBBox [ -36 -250 1070 750 ] /Flags 000004 /CharSet (/hyphen/period/at/S/a/b/c/d/e/f/g/i/j/l/n/o/r/s/t/u) /FontFile 74 0 R >> endobj 19 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 81 0 R /BaseFont 87 0 R /FontDescriptor 88 0 R >> endobj 81 0 obj [ 963 379 963 639 963 639 963 963 963 963 963 963 963 1222 639 639 963 963 963 963 963 963 963 963 963 963 963 963 1222 1222 963 963 1222 1222 639 639 1222 1222 1222 963 1222 1222 768 768 1222 1222 1222 963 366 1222 833 833 1092 1092 0 0 703 703 833 639 898 898 963 963 768 990 813 678 961 671 879 746 1059 709 846 938 854 1427 1005 973 878 1008 1061 762 711 774 785 1222 883 824 884 833 833 833 833 833 768 768 574 574 574 574 639 639 509 509 379 639 639 768 639 379 1000 924 1027 541 833 833 963 963 574 574 574 768 963 963 963 963 ] endobj 82 0 obj << /Length 83 0 R /Length1 84 0 R /Length2 85 0 R /Length3 86 0 R >> stream %!PS-AdobeFont-1.1: CMSY6 1.0 %%CreationDate: 1991 Aug 15 07:21:34 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMSY6) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.035 def /isFixedPitch false def end readonly def /FontName /DAAAAA+CMSY6 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 3 /asteriskmath put readonly def /FontBBox{-4 -948 1329 786}readonly def /UniqueID 5000816 def currentdict end currentfile eexec oc;j~EЪ/ ȭX~id}S5Q!gtⵎkJc;rN^X5.Sy +'IqV:r㚉#,# dBZ *R*"7٨y! [R߷`]{W5Iew4 9ۍBj$T>R-%thE$/JLH\wdQ_RL@C>v[2AX>'ƋX'Yb=aj1T'{!q+3^3p<{-O$Ց0H}RX~K2SsIq V9`D̊uW^rv&{_}-z4rԨ4⅏?ńΩ"P( VT ѷNB~kmgi c2[q/W7]'2u˂0AnyR >8C%$U !dMcK80g]+HzbL 3NjR](@[Ka1-*Q7{DFd9ݜ.70%|>p2fjt5(Z ᱧ.YбN|I~38(4f`-7p+ sBǾ('vLB#wW-ꆾvI27VP G+. i%*Um: G:4K`zH"70000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 83 0 obj 2018 endobj 84 0 obj 733 endobj 85 0 obj 753 endobj 86 0 obj 532 endobj 87 0 obj /DAAAAA+CMSY6 endobj 88 0 obj << /Ascent 750 /CapHeight 683 /Descent 0 /FontName 87 0 R /ItalicAngle -14 /StemV 93 /XHeight 430 /FontBBox [ -4 -948 1329 786 ] /Flags 000004 /CharSet (/asteriskmath) /FontFile 82 0 R >> endobj 18 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 89 0 R /BaseFont 95 0 R /FontDescriptor 96 0 R >> endobj 89 0 obj [ 694 955 869 798 845 936 887 678 770 717 881 743 648 600 520 476 520 589 544 423 669 678 695 573 520 668 593 662 527 633 687 714 756 720 540 690 950 593 439 752 1140 1140 1140 1140 339 339 586 586 586 586 586 586 586 586 586 586 586 586 339 339 893 586 893 586 610 860 864 820 935 839 725 890 936 507 632 960 784 1090 905 869 728 900 861 702 675 779 675 1075 937 672 779 463 463 463 1140 1140 478 620 503 511 595 542 557 558 669 404 473 608 361 1014 707 564 589 524 531 539 432 676 572 827 648 580 546 399 442 731 586 339 ] endobj 90 0 obj << /Length 91 0 R /Length1 92 0 R /Length2 93 0 R /Length3 94 0 R >> stream %!PS-AdobeFont-1.1: CMMI7 1.100 %%CreationDate: 1996 Jul 23 07:53:53 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.100) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMMI7) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.04 def /isFixedPitch false def end readonly def /FontName /UMAAAA+CMMI7 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 105 /i put dup 110 /n put readonly def /FontBBox{0 -250 1171 750}readonly def /UniqueID 5087382 def currentdict end currentfile eexec oc;j~EЪ)s̾;.;rTejiK/df5A|{S/ )Sc\^ȟmp+#vL17~k d# ]LeVߐGoo٥\k 9Mv92#:iQ?.n>%jzGm >NjS])7uևUQh4)-×p#z{8YаGP9 )"Pƣ3ГzYYZgp_PC߬CܔDC'<|(Rl/IxXMYzntԟlAv)|*iQP3|TxL" ʃ?Aw·pҋ:r)6,N{?JoA剳Js(0T9$ն''0j%&iBO\k2#Ӱ@S]j?;euO޷i^o""U:r{MЬ V`9\0K-Ixp_fóMhu$g9_bW(IK9*x;JX*32H$=ԀOxR1πN.)?7\œz/ ջ#anGlT S1U d>]EK2B X_Y4eù>vy&簁{"ʼnYރ994eE ]+Q3SWآ t1 ls@9sꩤܳ[zU Dz30 !%v$YL9iz,:9=X4-{Suji?;*A,ӝ_aJQ\i4 xV5x:*\MF!S Ϸ4kB.ʈzt7lA0e@;.ux`IcCJ w H$=%~RG/E pXGT| YDUL3l?2'IxlaN}yZ@.&7F+AauZ_hyXEl8Su)ҫd]1kw5w'+w?ZL}oJ*bV9G4rug!&>'0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 91 0 obj 2691 endobj 92 0 obj 741 endobj 93 0 obj 1418 endobj 94 0 obj 532 endobj 95 0 obj /UMAAAA+CMMI7 endobj 96 0 obj << /Ascent 695 /CapHeight 684 /Descent -195 /FontName 95 0 R /ItalicAngle -14 /StemV 81 /XHeight 431 /FontBBox [ 0 -250 1171 750 ] /Flags 000004 /CharSet (/i/n) /FontFile 90 0 R >> endobj 17 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 97 0 R /BaseFont 103 0 R /FontDescriptor 104 0 R >> endobj 97 0 obj [ 707 939 877 782 754 844 816 877 816 877 816 678 647 647 971 971 324 354 570 570 570 570 570 844 508 570 816 877 570 1014 1138 877 324 324 570 939 570 939 877 324 447 447 570 877 324 385 324 570 570 570 570 570 570 570 570 570 570 570 324 324 324 877 539 539 877 844 799 816 861 768 738 884 844 413 584 874 707 1028 844 877 768 877 830 631 816 844 844 1151 844 844 693 324 570 324 570 324 324 570 631 508 631 508 354 570 631 324 354 601 324 939 631 570 631 601 447 453 447 631 601 816 601 601 508 570 1140 570 570 570 ] endobj 98 0 obj << /Length 99 0 R /Length1 100 0 R /Length2 101 0 R /Length3 102 0 R >> stream %!PS-AdobeFont-1.1: CMR7 1.0 %%CreationDate: 1991 Aug 20 16:39:21 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR7) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /XKCAAA+CMR7 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 48 /zero put dup 49 /one put dup 50 /two put dup 51 /three put dup 61 /equal put readonly def /FontBBox{-27 -250 1122 750}readonly def /UniqueID 5000790 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou\ʻl24`}IRB s\pzEGAۋa4_p0uAEG)Q|8B*dGWj'0Vix#(=@'qIT5i (Ѵt` ?E)4E^yҴF+$8&G"Yl?eYjt+TI2! nXKt`˱~h]{>Qaiσ\mFU#Gvh2un8W;R4Ej1B4b ;b9y[lV:P񕈇9g`\J~ Mh;"_(WԾ{3 j؈ւ GyfX*$`q'2orH'~/pj M1_VU5>hN8͈{Wu35.SϏ "}%k&pj-Vש_荋Ϳ%dv"V2c2>>7!;oO}BWHb s`(Oިy"Ow͚,Zc<`+%NYɮ}UF"/o`gY #h2!wpng5ܲEp`N`_Mby~*O/[T޹ٲuG|}`I"|eی_hɻOJUUrZG+^)]UAͫt0ȏW1S]8ubAOYOJۧƸY"ۤ_!(UrS?l5Ba<=r)JM Awy.3={,zM^s̢QӞr\m8/*Hl|bigcA?\vG u՘|mHMa9cN[fHVF\$a&)8[M.mhN9[iH2)'!P "33e'`ۇ A;RWogϠnADXѠ0bP > endobj 16 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 105 0 R /BaseFont 111 0 R /FontDescriptor 112 0 R >> endobj 105 0 obj [ 542 834 778 611 667 709 722 778 722 778 722 583 536 536 814 814 239 267 500 500 500 500 500 667 445 481 722 778 500 861 972 778 239 320 500 834 500 834 759 278 389 389 500 778 278 333 278 500 500 500 500 500 500 500 500 500 500 500 278 278 320 778 472 472 667 667 667 639 722 597 570 667 709 278 472 695 542 875 709 736 639 736 646 556 681 688 667 945 667 667 611 289 500 289 500 278 278 481 517 445 517 445 306 500 517 239 267 489 239 795 517 500 517 517 342 383 361 517 461 684 461 461 435 500 1000 500 500 500 ] endobj 106 0 obj << /Length 107 0 R /Length1 108 0 R /Length2 109 0 R /Length3 110 0 R >> stream %!PS-AdobeFont-1.1: CMSS10 1.0 %%CreationDate: 1991 Aug 20 17:33:34 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMSS10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /QFYXHB+CMSS10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 48 /zero put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 53 /five put dup 54 /six put dup 69 /E put dup 70 /F put dup 71 /G put dup 73 /I put dup 78 /N put dup 80 /P put dup 82 /R put dup 83 /S put dup 84 /T put dup 89 /Y put dup 90 /Z put readonly def /FontBBox{-61 -250 999 759}readonly def /UniqueID 5000803 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou\cꈍ9ј8t e+mSBED(X֜nMlc62T2UcaZ#3B؜3;Fo{ȤLUm> ο:nf-PbTg,.ZHDC+YU|Hz41Q/1}l kv7`6M^Vv(jFܦp 6Gb4Jč(r ^dh4gA-ohXpRwq02LOA_rEV6wc:yзK=(IJ_(Aϊ'Voؙ_@=:imэK1u8* E"_PJ4E3͌Ygb'qs:M07ݚN*ˑT)nAF6Αj5V(` BJRd%'~v}A|s:حDB6 zwRP6-LʒVմwDō DS`(Y^VLܠw}cFcNWƽ{/ۮ^8ǩ ZN׿Q{RHe՛#>F)Hz6z 7ECHG[ lOY/UfaOoPGLU~>^%IpLL#\>^YcJ#N[_FrbO& e>ZTQctZ^hN5eߢ1Lou?o9z̩CşWìdP/~Sloꝺ' #x*Q5w3u/%/=_Sg>N $,  7]/m)YX4]<Ȏ tJ^o|yh<.Q{k=3`b &HÔذuXH̚A~օ`dqPk\-axX?D޲A6=<6^(9xoWe!3՗_ %M뾶gtGi-ԢjL_OCHKo 7.uj|+'-`VOS:  NX<`QV4*/>Kf$)9C\y?E#Mps8YROWD:3ŽY$Uqڜ1j˷lK}VBj‹Yix'iv8u>JhY=`Tgp Ѧ)!aҋB|:)o\LY^`{;Mtϙ IϮpw%~|:#wW ƬH| O!+?ȇ'0=Ԇ,6#oE%R`Ng$ ~E?:0{`ERj!Ɉ._Tk7 ѹ^Q+Zn0ڜ&cEjydc"{ēބ1) ~Q'Q8~7ܑcUθ؄#:t:oNI"F'@f)6͏^x-DX-DrjQ6rhٛ}rV1-o/Y\gcYs`PhwUI1{O'pd@b`.rmnclV61j[PC ) ǧGE]~`H9aFXv`]_y5 7(l&$*AeBpm)9nRb/@܌$flҏ=):--5yI<~80000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 107 0 obj 4481 endobj 108 0 obj 977 endobj 109 0 obj 2972 endobj 110 0 obj 532 endobj 111 0 obj /QFYXHB+CMSS10 endobj 112 0 obj << /Ascent 695 /CapHeight 695 /Descent -194 /FontName 111 0 R /ItalicAngle 0 /StemV 78 /XHeight 445 /FontBBox [ -61 -250 999 759 ] /Flags 000004 /CharSet (/zero/one/two/three/four/five/six/E/F/G/I/N/P/R/S/T/Y/Z) /FontFile 106 0 R >> endobj 15 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 113 0 R /BaseFont 119 0 R /FontDescriptor 120 0 R >> endobj 113 0 obj [ 778 278 778 500 778 500 778 778 778 778 778 778 778 1000 500 500 778 778 778 778 778 778 778 778 778 778 778 778 1000 1000 778 778 1000 1000 500 500 1000 1000 1000 778 1000 1000 611 611 1000 1000 1000 778 275 1000 667 667 889 889 0 0 556 556 667 500 722 722 778 778 611 799 657 527 772 528 719 595 845 545 678 762 690 1201 821 796 696 817 848 606 545 626 613 988 713 669 725 667 667 667 667 667 611 611 445 445 445 445 500 500 389 389 278 500 500 611 500 278 834 750 834 417 667 667 778 778 445 445 445 611 778 778 778 778 ] endobj 114 0 obj << /Length 115 0 R /Length1 116 0 R /Length2 117 0 R /Length3 118 0 R >> stream %!PS-AdobeFont-1.1: CMSY10 1.0 %%CreationDate: 1991 Aug 15 07:20:57 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMSY10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.035 def /isFixedPitch false def end readonly def /FontName /LMJAAA+CMSY10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 0 /minus put dup 1 /periodcentered put dup 15 /bullet put dup 17 /equivalence put dup 21 /greaterequal put dup 54 /negationslash put dup 58 /logicalnot put dup 94 /logicaland put dup 95 /logicalor put dup 106 /bar put readonly def /FontBBox{-29 -960 1116 775}readonly def /UniqueID 5000820 def currentdict end currentfile eexec oc;j~EЪ/ ȭX~id}S5Q!gtⵎkJc;rN^X5.Sy +'IqV:r㚉#,# dBZ *R*"7٨y=cLIPsF'f> ba ]fv+QAwdO[x"%Sx~{p҈덡|O BÄ/GL3h+Ng03jU1~akDzq=U}.KY碌 ֻ1?C N2Muh/4Gm&v.d)%\о .u 6:nwml\~1X;ũ 2+w|R݈"|PKj|58֐Wclmp\Iy"U/cZ'_K{9 AԏI ǠleI@9)Do_[h("Ŗo|sRD~v%_Ax@6 ǺM8)7-@RDIlQSl1M|w7@M`f?2>7\lT+3IXh ./Y[-%)DmʲnBD^aL,2Xf tu"; P4D8ِigB@Y0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 115 0 obj 3006 endobj 116 0 obj 935 endobj 117 0 obj 1539 endobj 118 0 obj 532 endobj 119 0 obj /LMJAAA+CMSY10 endobj 120 0 obj << /Ascent 750 /CapHeight 684 /Descent 0 /FontName 119 0 R /ItalicAngle -14 /StemV 85 /XHeight 431 /FontBBox [ -29 -960 1116 775 ] /Flags 000004 /CharSet (/minus/periodcentered/bullet/equivalence/greaterequal/negationslash/logicalnot/logicaland/logicalor/bar) /FontFile 114 0 R >> endobj 14 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 121 0 R /BaseFont 127 0 R /FontDescriptor 128 0 R >> endobj 121 0 obj [ 627 818 767 692 665 744 716 767 716 767 716 613 562 588 882 895 307 332 511 511 511 511 511 832 460 537 716 716 511 883 985 767 256 307 515 818 769 818 767 307 409 409 511 767 307 358 307 511 511 511 511 511 511 511 511 511 511 511 307 307 307 767 511 511 767 744 704 716 755 679 653 774 744 386 525 769 627 897 744 767 679 767 730 562 716 744 744 999 744 744 613 307 515 307 511 307 307 511 460 460 511 460 307 460 511 307 307 460 256 818 562 511 511 460 422 409 332 537 460 665 464 486 409 511 1022 511 511 511 ] endobj 122 0 obj << /Length 123 0 R /Length1 124 0 R /Length2 125 0 R /Length3 126 0 R >> stream %!PS-AdobeFont-1.1: CMTI10 1.00B %%CreationDate: 1992 Feb 19 19:56:16 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00B) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMTI10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.04 def /isFixedPitch false def end readonly def /FontName /EEAQBF+CMTI10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 45 /hyphen put dup 65 /A put dup 67 /C put dup 70 /F put dup 73 /I put dup 76 /L put dup 80 /P put dup 83 /S put dup 84 /T put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 121 /y put readonly def /FontBBox{-163 -250 1146 969}readonly def /UniqueID 5000828 def currentdict end currentfile eexec oc;j~EЪ)s̾;.;rTejiK/df5A|{S/ )Sc\^ȟmp+#vL17~k d# ]LeVߐGoo٥\k 9Mՙ= 0)xf 1kX9H!.vPN 7qjj7!6CɫTw.]ʂԬ/J1]0': fqdU24tԡ?@^g+0[ KTB/UٝFMz7 .U{7K.=UٯI C^$O7Û-tGrz J:"ia~ T"*^MMчff0EM z8uwi*?rw5(*5nZ٫ 4*RX&RTdRM3m ѫ& .Pd8;]F |H!%T [-͘ޞ E|pV$MU]n11RP} d .{IQ7^N-+C #̲]\M؅1 pk2 \t,o)2TTڮw}Ҏvq `;lSgs3c-h}W9;ڤ9Ö`2 ${};;m򉅘^l1'C.]~/ِ?a!ic7A<.ʤpIDm1t}J]j_Άi Uǵe4q8}Œ l~$Z0ү#+2a}o]!3ZaI|qxiܕ#N9 5.+lR[qĹr[İU߬{(WoϔѢ#>i0 1.EWNTQ0T4c][+ }}=mã-a~:@u5WšT,R,ΤױP[*NY5L5w~r\Rܿ;hEb&}6ϘeXEK(}Z|,ЖOGf?z=t{8 p">vVc1I G^ a&;;`8EnT2 8y*bbu Qb@7Ubp*ʳT1ANTqB2?6I Ns@x#q88`NAJH|Ha M8Gf[&Z$?EhXzz$9Ngsݶp0;dP)q党Boŷg1:`uLVK;"I˧ۜټgԙe0۔].6P/+MQ|elkZl_ߡx)Xdt5ыV>3mrQφŮk(zSI|>$p2rLN%m=5! ͙Kk@ *A젰uYBL>ܛA(Vicgt@ VuZ7YSOŖe2Q#zE mu@i%bjlLɴZD~%Nau .fvS)OP9/p0Y[+m3+@72#lh+):=| hT Ғu~$;kܯgbqڹY\c6,=/c]T"뤒xar\pL 0 7W z'I^QU6:yx^zud(Da#1TIԈ۩jGy 6͔JYܘ+J/\gQ/zdze& EECS.̆6pDRřE's w^H.bB*)y.ӋB>TPܪ (*7Y6.'Gc`1 ޟiEcu-u%˗ N@- s DZ$JT([$8DA*XaUSљނ̥;N[d@XvH]Oryɮ/>Tl_JEBQ@lQϝ؆yuge,T%H_-@dtC8׬Qݹ4kCMз Saۜ?!d})sRjQ WLmV%#Oϐbh; J5!FQ48{)&ϛ t RGj<8*m?^u;%S$t'@)z7Oiu7~ lcw-X%oPtT5JpF㠳&IMUgA1^|r>M+Jq9/ﴓť+JTtrEX5Q *Bk{;|ʁYюl%-Fiz+\q}:D3V vAM0okB2/vNi9359jΆK#$OJ UP\ ?@ܘEPw?2׮jLպ{֮"i.\2;0ͺMFuxJ5kD[`q腱Dve .aƎgܘ;} s.w7h'Tѻ߽ ٪ZM_}4Чvh$cjowF~=H& ϵVo:}.AkfF1^ڙ3 Cc |J3 ͐;# hy0*_}@$bDKi8?]۷Ǥ{ź9>}y>V4 ;Wpga_($@T g EF)_P"VYsusM%/Y;1hŠ-yh(`JSzWt[+sWM>(mGK8*EW!'XN `:vkg@Rm GkHh5ݷae2>ytDNyZE﬛$mNʈ '`zкPbZ&FW,/PFk1ΤE| {$>lÛ~99->M=/&bF&LJ8m$'k4AYL8RYȍbnS9 : U-A14A&ymGfee54rګ&B q/Ƞi(_ ˅WaQb59YD7ڇ˦j6%{;\S<թzPs`raxm,B*'qhe?sD|" uG-LK]U U;5IM`I{~ V|BL=qJY  0`TcRXhhدW+V5[5 նcz9g "WcMYr% `73fWc-!0֥wx_fAs7s;uVi;+~HlϙU\L\X#Aښh}w!VbaRv؊C?m׭3~4%86RxﶵNav.5] wY=;5 KFc/k4S*lDXL⤍% wG(!Q8Z [LR qIï/L;^rD\ڰ}[0<>9ì{ǘiK璘?5ڠVȊ9F`@Kt(lwlVpՈMo ʖldT[mMYDÔ)y,t8Vw7~Ϳ8!$\Y$6*Dga>/\Tk8^Ph{#jw:׭6O)/w=rL /$.x1dgґ=4:0;҃8Qq bY8jIo+a)ι9ȅ)7u*aPGq}|̂NORK1hD=%0pGC,'_hK98[=ܗ Yz~S]L 0=Xۢ .mP 6ʟ+K Ve) q`KQ>A1hOoLCxv8 (e,cKJ(VO0;q!كW1@wSPm.;õ<{_/Ҙ5ILxS,2d#LR AEj#jofH >^zO#o$A3N7* VDf6E 8+z8}!E(j%JT+sUƻ_(t[)z4Y@OzP_8F];7M-$)D3[j&h!?lT@PZ٥99=\ze?6KbU|ˀP}K|߯?o[+h(UXi^4AbAdgH5)-1rh>-^ 3 /6Éĉº%1}dz  Q#Bҿ]_'Ṟ||vLkeW[i%georw]ڞklDֵXD$vΤ@OAvgibtaS'Ȳ([]UWL f*3 6DW R*`y8\^EQi$#Q-Es!x$ |7NFO Q޹U>_9t{5CҬ6ʡ)%d?.ŰaC֌xx,߹6⩰F_A@\3c_SFZF8 B$Q g7GHqO h}PfRko5t @z|Ke.gbEemZy6B&ȾHDiep].UdOj`&K@=x[Nn_{zx3q ڰVޯeڸ[ʠW˞2 5E4ol; %)5\p1:ަ ^m⿿K鎤K %h"! e,aٸ$>Ef}MYuN1 ` ^h%uzPtwm@q]h޾F9 sm.vxUb7d:B])fڨ8# , 7 2Uz$qȟ Y2 R}V 8m ޤ{2WF?+?E:ƜK/Q@WhE&d3aj9|Ri4^ ~}e4޵{%\_8BU&&] pEc_K}!+O'@Uwzqw V-u80Y{lH0u=JCGA2;,'y7M"cTj4U].HCwGH/M  x2`\ WH |55^j΋ё0։,7!kX*>^3 t︟][%[t&ޙh3)o+ْJZ 8^?PKV!`0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 123 0 obj 9055 endobj 124 0 obj 1160 endobj 125 0 obj 7363 endobj 126 0 obj 532 endobj 127 0 obj /EEAQBF+CMTI10 endobj 128 0 obj << /Ascent 695 /CapHeight 684 /Descent -194 /FontName 127 0 R /ItalicAngle -14 /StemV 68 /XHeight 431 /FontBBox [ -163 -250 1146 969 ] /Flags 000004 /CharSet (/hyphen/A/C/F/I/L/P/S/T/a/b/c/d/e/f/g/h/i/l/m/n/o/p/r/s/t/u/v/w/y) /FontFile 122 0 R >> endobj 13 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 129 0 R /BaseFont 135 0 R /FontDescriptor 136 0 R >> endobj 129 0 obj [ 615 834 763 695 743 831 780 583 667 612 773 640 566 518 445 406 438 497 470 354 576 583 603 494 438 570 517 572 437 540 596 626 652 623 466 592 828 517 363 654 1000 1000 1000 1000 278 278 500 500 500 500 500 500 500 500 500 500 500 500 278 278 778 500 778 500 531 750 759 715 828 738 643 786 831 440 555 850 681 970 804 763 642 791 759 613 585 683 583 945 829 581 683 389 389 389 1000 1000 417 529 429 433 521 466 490 477 576 345 412 521 298 878 600 485 503 447 451 469 361 573 485 716 572 490 465 323 384 637 500 278 ] endobj 130 0 obj << /Length 131 0 R /Length1 132 0 R /Length2 133 0 R /Length3 134 0 R >> stream %!PS-AdobeFont-1.1: CMMI10 1.100 %%CreationDate: 1996 Jul 23 07:53:57 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.100) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMMI10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.04 def /isFixedPitch false def end readonly def /FontName /DHLAAL+CMMI10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 21 /lambda put dup 58 /period put dup 59 /comma put dup 60 /less put dup 61 /slash put dup 62 /greater put dup 65 /A put dup 66 /B put dup 69 /E put dup 82 /R put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 102 /f put dup 105 /i put dup 110 /n put dup 112 /p put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put dup 122 /z put readonly def /FontBBox{-32 -250 1048 750}readonly def /UniqueID 5087385 def currentdict end currentfile eexec oc;j~EЪ)s̾;.;rTejiK/df5A|{S/ )Sc\^ȟmp+#vL17~k d# ]LeVߐGoo٥\k 9Mՙ= 0)xf 1kX9JS:6V =!X>KM)9! I}HWIUcl=GeZm>nQk2=1p%R`%$]c{!W+8?v(+)0ӈ!YahtA?H @m?|M X9Հ֨#2 :m,MZ+ǒ\Ex9Yn<Ŀ2^FC[`T+ȬD]ǸFF$oB!>;A\T hxh|5:6;ϖUǷ6~k.T*{8K`y8'dT|-QkKmy9 91|Afr (K*)%_ʬtP`.rY?nrn{v2O_5;\g>R{4_ : 9pEz~Gu E[n窙i9ヽu#=X&>~J~ПUt0t1Cqs-b5 4AG˧OE1"?@~ R Oԁ>XO8' IVTnP #ԫ3L3zٛoH9@uD Jsf*+5x/Jl dc!=2~S،%Wp.9k ܵh 5Fl !:Ԉd̛84k3'幕/j+^+ﱽٓ=NE GlΕy{CǶa)Is*w5R4x!kH=?:\DUr^K. Ywe"(ԭ%KSU>Xhd-0m*韡リ&&K-N/S#Bg=^3Tޙ9椮LNjߢb/,wAOfg,era͜ߜȬbih^V @p^qFx`q0jVZy8Ϊ+ywSgEʣ'A$"lsX0T3w؄|"U*־\ޔ Tlpaʷ`xM`\VGvhÜrYpzaF+Mp\F!ˌ^d>1 U!u!0{.c }ݟ>c߷n u}yLN1l4Ҷο='om;j͠$ KP8Py3(F"?z^Ipmg_m4߰-X;ʒӿٮؼ~HĒE 6S,{2_pBR|9a )Υ-4tѾ@bMm95Q]g)6ys戥$Ov̘L1iДWÛJ^emٝ <XDMs M76,,Xm45- 4IWӏB]\jP6%  aNM`4 n&~IL̯t,_J)`L&պJGȂŴ쩨J:qfJWƽӶFԴ yMF(I\12% RdD4C؜-R%=B褎Zadg[5S-ڛx`W,yv/vW0g0Q}N|m7\0ฐXyJj t.2W̮Cm% #=U{Y DĚdHZ0.YS2VLa0IQ N?9' m_f!F_ DUب h ,:ERy)OzJڜ}38L8y8]>wǡ9<[n>8"ofCax=~# a?Pi;b%~_?[IU66Iv!l~@ q Wu酌``šB$]&{)W1XfΖ#)9|1,l /)!v"A*uP(Q|A~ֆ謿YRw.qH| LmSSDvC(\pLpOP!Y{÷^bvKE#Cp\l3' !or_=BrXuX=c[=Y G(kq0㩽_.W;O#0A_OFTD՗iS~|!☺., mFdYAX^?;F  {D~2fٗ.m滐-"Emȟg8=/Ӱ@SNGeIK[ őX•s޹ ȴmIJg3$'6U1C47쨆4-\6͊B1D~f9_ a~Љi#]ŵn8GNe,p>c^5{mȤ21Y9\a~e6 y0!'8!͝7/Hʺs&L fŸ+6Q}W\Jr PUr."ytUr"7u? (젿I?h9_K;u=yJ}ѥ^\2dzT̤"iUu -VVh'V͝q!T@ZYӤ++dmG(m&\[_!X\ 1g g_xU\^yH@=ށ*lgϟĺX̓ہ6J{fOiI(=/7N1Sf|=\9݆0[BᦅPnQ `##oepA+ܟL3gq:ɪ|{^f3 Yͷ?D6$# OXsQ:Q}5)j-^ տÝQx991اTvLlN5گ8Ѿ`gahZN0H| `6?Ƣ5Z^2&8a!WDTķhf7~%т'^t5T OʈeE; As#Qnﲄ-ɏ/?kC3)j :TҠrQVz&zy cf*nQ 0K+^e'?ל=> 1{TKEs6hRp<.ӯUxLʓr|8!%J') 9ʰlnny" ؉,5pQ {뾤SG 5ryq_J(:Z>߲7F#ժ2,-W*vZ)1* GuSu,+vX0u? l>Q%}*XQ.LmX1U LY5F?B:$3;^zI tv6-|7;",/ cӐ-'Gq m9$2Hr` wT{7)()T:׺F@H'-q֜\& u K!%&DڤE|W77W)IVb棐G7PȋmeruT% =&Y͕$EX8,~[u1ȅH֘ppgA`Ƕ_H ja+"'nO%>XH%FzP.le+5b]̿f;mDS_5>{`%OO|M~a.3N0uɇ-k=K Hju䃳;hO d8W)qE95IŪ<mFkJ9)2C8t$;{A?PNݞ, FY|bjz2}K@A[Wu2=qvGԾTG'ߒph|kKs~'A^q JYGDB2#~׃=+foqԬ |ɼKnLSt϶_ bb.)R.S-6On#J >7Į^{A1CЯUdڏȤ:RH+-*Ng'녔ʚ穃YS6=X|7MBW^,#'CTOuɒŭ`3,̽OT|`w)2t޿ua_՟n߅BYX}v~>eU|~xOԾU {ta'X0W`]"q/q.e*%xGlZ< VsG4ozuàC2HzhX#Yb/:+; /Z6^XPB|^+.T Il_uH''[0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 131 0 obj 7768 endobj 132 0 obj 1135 endobj 133 0 obj 6101 endobj 134 0 obj 532 endobj 135 0 obj /DHLAAL+CMMI10 endobj 136 0 obj << /Ascent 695 /CapHeight 684 /Descent -194 /FontName 135 0 R /ItalicAngle -14 /StemV 72 /XHeight 431 /FontBBox [ -32 -250 1048 750 ] /Flags 000004 /CharSet (/lambda/period/comma/less/slash/greater/A/B/E/R/a/b/c/d/f/i/n/p/r/s/t/u/v/w/x/y/z) /FontFile 130 0 R >> endobj 12 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 137 0 R /BaseFont 143 0 R /FontDescriptor 144 0 R >> endobj 137 0 obj [ 625 834 778 695 667 750 722 778 722 778 722 583 556 556 834 834 278 306 500 500 500 500 500 750 445 500 722 778 500 903 1014 778 278 278 500 834 500 834 778 278 389 389 500 778 278 333 278 500 500 500 500 500 500 500 500 500 500 500 278 278 278 778 472 472 778 750 709 722 764 681 653 785 750 361 514 778 625 917 750 778 681 778 736 556 722 750 750 1028 750 750 611 278 500 278 500 278 278 500 556 445 556 445 306 500 556 278 306 528 278 834 556 500 556 528 392 395 389 556 528 722 528 528 445 500 1000 500 500 500 ] endobj 138 0 obj << /Length 139 0 R /Length1 140 0 R /Length2 141 0 R /Length3 142 0 R >> stream %!PS-AdobeFont-1.1: CMR10 1.00B %%CreationDate: 1992 Feb 19 19:54:52 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00B) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /OARYRS+CMR10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 8 /Phi put dup 11 /ff put dup 12 /fi put dup 33 /exclam put dup 34 /quotedblright put dup 40 /parenleft put dup 41 /parenright put dup 43 /plus put dup 44 /comma put dup 45 /hyphen put dup 46 /period put dup 48 /zero put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 53 /five put dup 54 /six put dup 55 /seven put dup 56 /eight put dup 57 /nine put dup 58 /colon put dup 61 /equal put dup 63 /question put dup 65 /A put dup 66 /B put dup 67 /C put dup 68 /D put dup 70 /F put dup 71 /G put dup 72 /H put dup 73 /I put dup 75 /K put dup 76 /L put dup 77 /M put dup 78 /N put dup 79 /O put dup 80 /P put dup 82 /R put dup 83 /S put dup 84 /T put dup 85 /U put dup 87 /W put dup 89 /Y put dup 91 /bracketleft put dup 92 /quotedblleft put dup 93 /bracketright put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 106 /j put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 113 /q put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put dup 122 /z put dup 123 /endash put readonly def /FontBBox{-251 -250 1009 969}readonly def /UniqueID 5000793 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou\c3R*R?쨤ȯ@ gSr RIzE_EMv,X!%6]ަ_3+_hJإ0o'z 9K$|tV\)Z! j#ZŚz1UA~ "p?{u@]A}s ijB)~Ob {z;O9mT[Ğ^dUl$Wh: ?Ƃ(r6;Bt6cFCr$/;!,KqLeWuG h7IQ[u20uZ8*#qP|̖I̓pe}#YۇW{ Hs(}CE c;[e/SmV& i2ǡmc\0kC'sp)X0@$2jOGG9%fLJD@m2b5\cdy!iz+lxa+2S@uIY5F>qgROEowK*;/sDGǡx=>J ujLDfdžk4ؐ. vî|1wm% QiwXDN}}x|E.gK{ T >k&mxo.<n&lQ>I, 7 LU/GGSL@PEdԑϟ5: :""l5ȸM-/5p7Z՘B8]4t/ī+Ic/xe\% SqP=]I C!#ԽE~!|kZ `f<槷$TtPxCknKAAYsrƨF0,tu|bk"]fL`*ðydN)Ql1$?XN E>cfV=[miGU>LfqcD t.2'-;p[MR+S"#bp`1i0zCD] ~+KX>`o9N(V%U0H?Ӫ~'XPl +Mkгp(I-hq.=fKr涍.y<,=l20FndہQ6_@sPNц&-&Dr!ۀOp]!&|h]DD_GJIK'.zH*$Q]"A et`[vv3&g}`5 dz+u Ycvpo/])9*%5ZЫ4ԆtZ5:$GREMa~4GA%y>4|;ͧń^Er^ T4`<6IHd{BqՂ %lб~ ; (cs`Г`ڇl|7.kLpqEնZA&4{ ӝ|yF-mK֎T*_*ʧSS{a{uKB&LHJP`>i`+OEgaT+؁Q,[7Cː^*WgvFxS"B?O<" e*!ƫ-!A8F5kUhe_4#R6s!&f;غ LN v7sW2Cvmi]A{ p[aMEn7A `&vTVsW`4^"&IrRd<9fU,}w'y+ 38-x(},!_L%I^pJG55$Yb<$@ W%ԫ K-zIx7D|lGQ"40ޕKfu_.||1,5N |o  4XBXn?7BG–Z3CS :v !-^<d"j% C=O9ILt+ȭx:v,2"I>3n,Gg#wIQqw02?ɩ"|OW ^_{Eɫ'q^|usi‰q;e[)ǹv[ )zぃ nhՇԅK:|Z7dג1g2]|Ҙq4=:k3T]r䫲ieMϽH`UpY|\Bbc Kև>9$(ʟ,e:oigHN EH?M#XX 2S e4%N"k>&LG.sU/J,h!SyI-_ cU׶@6ވ6@0t$ֿXegA`+t{j꽼 eP`hcA>&/Բo^h_ )V9=\JH''ͪSiP>5#+?w̢dQZhd>؇TrՂtںK]VCȌ|[,g7ݠ.*+ 96W^1F!N`jiLҺL2`h9CԡϞq+'\!9^eiԒ==hQbIW#[! YTvJ_|C)D˝'?K CZ`ܱg!-6* b̝dlr_ocsC LGRH@kWPB N8.M Jn,JySxAGۨ/`:D7!((~;~^e>t?URHzur}àch* .1m4m *uC ̇Ȥms9mthK₴ivlЌ_C[)/o/uyjЗuv{R Lt #PH@3blJЧ^4g#1ϜZ'z[-$h 6|UfM><UR++PҘ9B[zQk:/Zy)>&$d=!n}YF{0 ʌ5o>DʤJx+|Y:?Z[ ,i 5r|F-'$Rc`'9V(},zҡDғ gSиAy|}Fdx㠳*$nHK+u2v~]m= o`]m^F[E+UW8z73@< ̴T1T'vFX&/8ɐ >`0袆Y[.^V<b0zwZy0`Y}䫷o&}G_p=j h>yO;fg`cqqЁSBua2{&'7D`b[~ڼ*#AVx^İ<|rX\iIOH#MH,t4U>}n+!OOuDUR/4? %zeHqN0Bc̐LEsϽv"@e8ptAF(KiK9볞o$/q2t8 i]"O$]iy-4bi>7 xi|-aٶ/< Va#Bj/J%g?D;5ݪn)bxשOCe!fpF_4I˓iKw QzE~UaqT9ɠzxS zd^Y<SsyzD"͠MH8zj  &4ܮկu"=(45!?dE Itѝ8%"\3 Hp VȺY gw|NqmEk+?kkaku{!+qF]62DQfGR#Z6w^Wq@NXC~kÔ]˭Sm[9i4Ӈl-SgtOUpmYZdď7C`yo((_;]2݀Kf'l O뀑AC;Q`VL+6:^o<迗{VJŵ D+5ƳW ʉˍnl)fPV6$)<|&0H`SwijKLa 4"-\?kػ\gsWPay tx[z|6I*e3D$kUtYumrEPb0z zB]%+B>~(DIY#~=bbc1]Hgd[[8T8{ +ݢ PdSXIn$W~2l:AR `}/D9)(馺a%Ny!IԾK46?ӠAT_Ʃ V>Cؑ.KɼH,÷u 5 Q7tjν兩NG eibD{P?:c7  =y/`KZEβn_yB/U VG t}w;eаJOMmJU X?{p\FS>[4> - `Zސ 5ACʘoD J!&%bs0mkCl0T'D&+WxaC3P‚jGt6B@A5񎎒c|dp#!+bY%>Xj\e5 r{]`#C6c1=puƕ;nU _gXbpNm WjL9A R`N'YA-[2>Z~dUv$&'IX+þ=8َyuőu.8dbpm4[6ȫ:st4;j˭"鱻9JbC }Fg踎ٺBIGVepǮ+RkSZxr nsh$'~ڞ?:b;o݄ {p .ee#ٗ-ʘUʋLݞ? FO\7`2]Iu\ԚEel{bxSsCޜ.R%h~.f+}FUQUu xS9ц,? J'z~ |+6z- FUT\4;rS4 z Mb`~ 1qfΓPʝXFU ,x (qif4'˿d=p''\zc8ޛ2Yd]']Șl9~SlЦDUH.>K>ǰL2uOY..HRKǒ@l#S@K_[ɛg ?Qg6xI6uĨh>Y(7i$~`dRPl mЍ5I~ ^.zSgN*{\p39miFFZn,GWob%jh%Z]Ym[{t3% 90U;B:5_|bUz-w_'=[j{(RYosZEK}-~-K՚Y_&AU(/Jqԭ K%e*n=gڒbLs`eqX':?DE;]9j\0i0%BvX;L }2 48⍿ J4S(S :Zwp]dObSuYKk(.th{Cz6+\@&.>WVoB_r\!}1gpUmG]ż w{E: >( ~CD<=(jz{o]-È䣢OЭUFaEd]HcY5U.2hҧ$(CHQ=xS[~eߦ5 !?'|ǡ ":in sYH'SK t{o !_e)Xj 8/!T+u"/甛˰-t[[RJk;8\R {A"oF^ +$zJEP*zҥCʼ+^',Kr+79O=!n* i9M(0yPA։o%ĘW숟a6v.lC9WG\JUx@]pEh5-^' @ VlN{iiiґi'Ǚ͉6)X++Ёdx\Fc6/L{wHùLB*pWXI]Ayhr*@}C,&n |Ue-}!WH*u/) +fm! |;бH{ܱ3E,sPD)I|h}ӧJuTvcV >VXBSskqhBm`f o]t.'լ3̻ /cZR^Ũr&<{8ǣ]HC +`WRHMGȬK\MP5D6F[K;MB2ma΍ߙsZwgߒůJ3^UKJZ427,V80J2mOsݟuPܧ`S< _݊9M;`bfd=Mh*B[01|&Uɰ]ۿJRFC~Q@ YKeBҤ[8kdk~6@ۧ،#^ނs:ѣ;p8tto 3#$fYRJug6+g2b(g``"bt),oJc,8Gmj'J[e߇7O R [QVVB5LUG7ŲY/UHnBu1-Pf\Aآď$JRRC`3NjH Aµi#RnG!^WkTڨ E!HmO{㕕ZAN~ৱLzQiQׁ8qS7qzc]bd&WEׯ/B5*goLꓓ*,4,Y͋P3]6q_ ^ Ua` Ӯz4*=ea\[G2-q{p|xx n^3}D4XN0b^Tfnml]'\C -O+nAK[ K"iκ7CE*D#V_HDg, ރ5-ҳhvUqj='12L$ܽuK1N! nWQjRHaYz;'ނNf$'P9!wVkO-HpĐF%,o oS <+?BvS5&R.5R Qh:\rN 7Obk v"pqX<1Ȯ"븱ik޶Ml }IC^nE!*ӂkY; eD)'!Y >7<um4iS|D@52|"U{lEq2XMoRvI 프ɃOQ(?vu,AߘV5.΄5ɍE !걵h! 9.v6-uɍqDݓ-,:O3ۍGy^c?DTY/_3CO2wkgT#(@4z!h9ޚA/]v,C N, +(ՊwD[.0_sSjڨX|ge7R7>DKi|[SzO1dUqj#S,ZG/zġ ~#*s7mu|sUpJјpFVe?lDz:>eWb~l*.ۮ:$rV-u1#;Qy ( :tgy Wҿ򿴱^Q!䟾lU j?ut~jENw* 79ɹ5OIBospT <S=+$&嬴ruRJL&13 4[,IX9ʪ7jHU 'vb Ϡ#Zbݚ6s )JD-KD2_@*RͼkzZrtm^aޑ7UQ?@Q-:GT-l]Y0uA+] z^ EL$k+eG<tA|o1 & >͍߄aïua^=\0I'"lbRHx:Zխ䥅U08^Ma{ && rԜ{DMV-Z0 >. 5뱢fVe.:Cm TmRmELoc8 ?JWV&CP+6^^S%:!`A1C'tiR~XकFT[wU4O8g)YO?ӽzk7?]8Qm-kY_OR$=3nϬlrenV*sQS_ -ac^BKhC&1 [X T .<ׅ$ʚzg2$td&iSsx%~j>gSܴG#$899jJ5'J I-咩Uq $ Qれ)HU4 cI<nϧqؽJ)4xϕ!w^[Bm_O_)cӌe8t,zR!Oq?;TնܕB H߱>aNí#? J:Uc(Pz2Og5ɸ.x߈pɿ5]L1g.k$n\"KHR]v$YO uO*.ǩ1@2y.%YV6[r*{$C[ -zHÂ=Ƈp`AvJTb40{C_xƪnu0 ZLvgTa dRzMy9FbWؖGю);Ni]XJ[l$M4d8)(c}a0v2.^{W{KE6.B pdcݍmSeIdp@[75Ÿ^ŋIKB *):Q{}hŘ-H^Փ@̔A(ֈ.MÁ 4 Çrm5W1Cnidsk4Le`LSo<Wth'oI_|jqQE=8#IaA qཇ8$30f˚"ki3Lݲ-):CAV `tdt2m,Ntejec:܄>6A~B<'c3tlâ |xƗN RL"73{Ӫ1j".WO+L641'!e8< p{X,(O'w?>DnyWtץܕۺo=I*n@ k -(rP=lGs}r˳K?9:kzs P ΥI ZM=Qnڙ'fP0jVlji:# %@A`eO+Q-(R)[),grT(?srFJ {6IАmmQ')TnVz#>rEa;J,'̜鈜ɭWrykR!|J-[?Yv$ > endobj 11 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 145 0 R /BaseFont 151 0 R /FontDescriptor 152 0 R >> endobj 145 0 obj [ 676 937 875 787 750 879 812 875 812 875 812 656 625 625 937 937 312 344 562 562 562 562 562 849 500 574 812 875 562 1018 1143 875 312 343 581 937 562 937 875 312 437 437 562 875 312 375 312 562 562 562 562 562 562 562 562 562 562 562 312 312 343 875 531 531 875 849 800 812 862 738 707 884 879 419 581 881 676 1067 879 845 768 845 839 625 782 864 849 1162 849 849 687 312 581 312 562 312 312 547 625 500 625 513 344 562 625 312 344 594 312 937 625 562 625 594 459 444 437 625 594 812 594 594 500 562 1125 562 562 562 ] endobj 146 0 obj << /Length 147 0 R /Length1 148 0 R /Length2 149 0 R /Length3 150 0 R >> stream %!PS-AdobeFont-1.1: CMBX12 1.0 %%CreationDate: 1991 Aug 20 16:34:54 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMBX12) readonly def /FamilyName (Computer Modern) readonly def /Weight (Bold) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /PCGITJ+CMBX12 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 12 /fi put dup 46 /period put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 53 /five put dup 65 /A put dup 67 /C put dup 68 /D put dup 69 /E put dup 70 /F put dup 76 /L put dup 77 /M put dup 80 /P put dup 82 /R put dup 83 /S put dup 84 /T put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 106 /j put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 113 /q put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 121 /y put readonly def /FontBBox{-53 -251 1139 750}readonly def /UniqueID 5000769 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou_dV`Ky Z]uMYb[1[l',t\pڮԞZO4GJ7 i!U&Ϸݢh`ZṆhKGz; #1&()$J3KُօEsjFf"P$-I޵˕B 6=hqDV<` EkENrraƌJG ~L{6IE6U'y 0gK>&)o>2\U]$XW-1f@'B 1mW=L%5t.O-]N CT4>&wvNXŅCf עr1fׁVCȖ~q0 Xf^^$ӷ%G7dȱ\lFc0]g<銷_&W{>}N|ӷ 054H4ܞlG>T_cќ6Y1 nUr-u$yfOσ4nAyغINz+:΃΃Џ}=|z`v+D{.;FWLEc6o, e&ۺH%&e+ o='a9ܮ;-sg}l3K?SEhAr;}5٠땷7_KߔZn+ Kw$ZdvԬ|d-%&Tu-8#ywh67NxP>`64&gܣߦ{)xֱ郯"ƀ7T厷fՄGʥ4 b-%>tD%*ӳ1t9h8lQIYqMcƋ C#ӸdFhbwߩ+/QDN=l5JШe+&x&(C]B TF[Ue`s.@d稕)1]\m׳ÓTAryJן3 Y+Ʊ`R,Ih1#]i&1y78/\R9Ƃ؛"g|Ij8=yXO@iVȗ?4asgK0 qUc\\!rOXj童D[竻m?O yAœw')Wq[dZ2ijZUO3|f8dpcqL:i<+:תR:2h+?/NzDyG -`V1%j>mS|1L94ؼ)APmw?~#5MPJ<[=ha ѥNrh^ %PUcP,t9ɒ%OR%|s_Ɓbhر=ċ}̿kxŵ`N u$Ua 4-i?ՐM}j27Ezߒ$5`yEnYn.pR PO@ %I^-FR '4:vŸTK9 1RZ[bb}aj*jJa윮X|dTtS_wϘEJJa Lj x|Q !|O t<|P،xJ3@XXZ 20쬌dXO^My5?b\72Дzs*eYoVC`9;E^fzc 3!CwߖڀS7%B/5*ayk ?70n^PE2:D1 :+{{$/{EZwjD-F=-z^G2*|u# SH-Nɋʱґ4YZa.fQj94K 삐 r(||rO xjvW:^Q]c`FazT0^g*KdifCOЫ?a/-YUɹ~ dy&Ur駏dS\3ï#c{WoL@?2HYCXY} ^R䳖n=+;;r>ROQq(6vp1iQ׶>FRQD7 ~ UfŬ5(P7~nq'>iVjtŗ_a'gϴ{1Ӯ#D5:IOn籉zM.uM{"v"&$UEJRBkI1(*iz>P~oMS#1$Ci?jC\8~$ Xž=4\pG1~v&=D 3W~jQG>E $+(>45J2`:Ir;G:EۜU9޹\Gq>@&ZX˟ mߗ4ޫ[(l%qkZn- W6.gwn3;&˕H`V$a$P Ii<&֨pP% oErd"ԏba5 , Y4ƫ.tlG~'#iSo=\ciZB gVxҹ."b%i x3nD 8pC1wn*e `iPY/] Y?6I5/^w߀M"Zcrz[rba%Y){*cGJ?jr ˙ر Ǭ7f'.5q>Cw)t5Næg/rVބ9igDd8xn7-PY^aQÐ:{e\7wwWASlBO*+Flh"1Evk4!w} bbyAK նQ+QJtX<gV ؏!qYS${󻎺{g'I }ۿm 9 H #[,2=7p`pG1LjA^ͮ)eX/ VSq[{%}鷔Ru]9d+ ۶,X{foG~d2omyFMytU!z@V xE) ~rS`Ggr+{E`BcG64@+p]x\,ij^󳍨ys(|:%haK}A=)n,M\iu2oUK N6=nDwJ1U䘃#f߾&mNmqϕȥ٠1GO" C^k쏦u㗶^D) и`*`Y+Sk!>m{bJ]mGTExh?]z\UTstSh::SU(ȊS|_ih.j֐ !x8GAF/hLSaنoo ސbf{ݮ8E| 1i-S۷LNj!T11DI| /zS cL3´?aV_/ws|nD}u+#t<*뷡y PG mh$SI> JL0Ԭ.R3}Y "8BL+H'(n*h.8 H߰ۘ,xzQ `aL-p}䒈8E=> &j4ZxL :X,_D,OjvxҐz LV> F +y]Mu+n2ʑl#>I(?Ml%xֿ*O ۵" vh!ߊmU\n A.<'M kF{^硩>%!y8H$"A#1]I}DUM!Pe4@y8n$sY8XaU̮n6?ɍ=ky}H7A(oltt*J+nIFn\=\S- GQ?s x }{y-7R3b0iԕq${BoQ;!PR}a:qFyX9XX 3<5=hF]ľcԖu=4Rc zz/ڪ6ϧ0 ~E_[Jx~Èe>T:rԋo&MP 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 147 0 obj 8757 endobj 148 0 obj 1304 endobj 149 0 obj 6921 endobj 150 0 obj 532 endobj 151 0 obj /PCGITJ+CMBX12 endobj 152 0 obj << /Ascent 694 /CapHeight 686 /Descent -194 /FontName 151 0 R /ItalicAngle 0 /StemV 109 /XHeight 444 /FontBBox [ -53 -251 1139 750 ] /Flags 000004 /CharSet (/fi/period/one/two/three/four/five/A/C/D/E/F/L/M/P/R/S/T/a/b/c/d/e/f/g/h/i/j/l/m/n/o/p/q/r/s/t/u/v/y) /FontFile 146 0 R >> endobj 10 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 153 0 R /BaseFont 159 0 R /FontDescriptor 160 0 R >> endobj 153 0 obj [ 627 856 782 713 760 850 799 599 685 631 792 658 579 531 456 416 450 513 481 364 592 599 619 507 450 588 529 587 452 556 611 641 670 639 477 609 852 529 374 671 1027 1027 1027 1027 285 285 514 514 514 514 514 514 514 514 514 514 514 514 285 285 799 514 799 514 543 770 777 733 847 756 656 804 850 449 566 870 699 992 821 782 656 810 777 628 599 699 599 970 849 596 699 400 400 400 1027 1027 424 544 440 445 532 478 499 490 592 352 420 535 307 905 620 497 516 459 464 479 371 591 499 736 582 506 478 334 391 653 514 285 ] endobj 154 0 obj << /Length 155 0 R /Length1 156 0 R /Length2 157 0 R /Length3 158 0 R >> stream %!PS-AdobeFont-1.1: CMMI9 1.100 %%CreationDate: 1996 Jul 23 07:53:55 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.100) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMMI9) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.04 def /isFixedPitch false def end readonly def /FontName /VAAAAA+CMMI9 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 21 /lambda put readonly def /FontBBox{-29 -250 1075 750}readonly def /UniqueID 5087384 def currentdict end currentfile eexec oc;j~EЪ)s̾;.;rTejiK/df5A|{S/ )Sc\^ȟmp+#vL17~k d# ]LeVߐGoo٥\k 9Mՙ= 0)xf 1kX9JS:6_OɭRXZ5Ws E:d"BA.ޕ#z;h*ihUB9gӲ LGb ("K#`O/nms ]ԙn$z7MmGoT٢Ewpd BMZ "XIDUQ q~{s R~"eEύ|[9BuODcЭ/3=w߇,ĺT+(!dǗ½Pnf.zuM,.Y]D花YXO>R[*?#SVZ6qoPZM'U,5v Z5Y>u\afa63ڦN?%9+ qfj |bƕp\Kolzz`OɊK׿++B';> ґ$E b&?J'HvwM|!2h*t~ğK֊҈VX"~E1M]~swk-HћyhSߟu YBZ9캲WY ՅY3B#h7Off\*Kp#\[*]]HW HҾ`QI@6`+}tQkAueM0Ĵ)TVJpq̽,ROM}E d&0_h1xh\޳M_/$(dl%.@}?#~1i2A[+S^R,X 5$ 5 sLM7oI[|_~f=R$,$۝J-0S'2sBl3ՊTm짐2> 1a!ǣvgm}jH%6!tXPnEgP#Aj()0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 155 0 obj 2396 endobj 156 0 obj 732 endobj 157 0 obj 1132 endobj 158 0 obj 532 endobj 159 0 obj /VAAAAA+CMMI9 endobj 160 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName 159 0 R /ItalicAngle -14 /StemV 74 /XHeight 430 /FontBBox [ -29 -250 1075 750 ] /Flags 000004 /CharSet (/lambda) /FontFile 154 0 R >> endobj 9 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 161 0 R /BaseFont 167 0 R /FontDescriptor 168 0 R >> endobj 161 0 obj [ 642 856 799 713 685 770 742 799 742 799 742 599 571 571 856 856 285 314 514 514 514 514 514 770 457 514 742 799 514 927 1042 799 285 285 514 856 514 856 799 285 400 400 514 799 285 342 285 514 514 514 514 514 514 514 514 514 514 514 285 285 285 799 485 485 799 770 728 742 785 699 671 806 770 371 528 799 642 942 770 799 699 799 756 571 742 770 770 1056 770 770 628 285 514 285 514 285 285 514 571 457 571 457 314 514 571 285 314 542 285 856 571 514 571 542 402 405 400 571 542 742 542 542 457 514 1027 514 514 514 ] endobj 162 0 obj << /Length 163 0 R /Length1 164 0 R /Length2 165 0 R /Length3 166 0 R >> stream %!PS-AdobeFont-1.1: CMR9 1.0 %%CreationDate: 1991 Aug 20 16:39:59 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR9) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /BIHAXT+CMR9 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 11 /ff put dup 12 /fi put dup 44 /comma put dup 45 /hyphen put dup 46 /period put dup 79 /O put dup 84 /T put dup 87 /W put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put readonly def /FontBBox{-39 -250 1036 750}readonly def /UniqueID 5000792 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou\c3R*R?쨤ȯ@ gSr RIzE_EMv,X!%6]ަ_3+_hJإ0oyX`U) %N5<6[mR"-%Qg !2og,Ydhhu_1A͐ .Um;3YZ`7z *%͟AJ2UhcCp2,숛§#@J s8, ed?Ms."A# p9Ɂv*\X K QF7q {N{G0o?8I*!D]!ض8iȂa>VGkV4;Wy;3Oo8KߝpY,!7T˒jHC9[I?;J_1,>W7'pRlfa{ x[:3;9ԫV4z^EЩ!6A_xcL8ich". m ] Q(\rȵ ; fEqNuN)Q?K q(e(!ZDZ6"/|LNfZ@rrjA.ϧwGcy ]H5ESQprFMk 7囒ACؿYݻ52c z:u40 aue Si W4;kb 4?ʚoCF.bA&d~ S[&9@"ʀU0eR.qcGQ 9ӵ }!j3$KG$g:t?(y M*0& #fH(I$N~A.(PX>go/z\vEPluXo+ӱFG٤ 4;Y;pO7>$Yǁ9x*7I0B׷` B `}6MhB+Ύn[#'yo)AK A=%_nql3DآD̛r;'|?[735 ץ0C/^ 6nǓ݀V3-G"Hr<u4H4&~a.EB` ;c@di7s?8 | oխB㼯}UDi޺QL#' jyHxEtc&6Y,CM \DBAHXe39F/<MEXv IwL cשׁB8upmŒv3^/7i]6>V:9N8U#&,q&Z|̽qfl0wxьGr>wOX,<NWǝ9=8vm?Z"l"xPQ^yLxw 5gmې*X,&p W*Q ``< "'`uy7u5Dأrer&|ʖ<2DN~&$ysdUxnL>ʇ^Dah;'[u#j$Lz:z.iPXo}aT . TNq $%+怇ӗo+}XČ惂"k'ز/2..yťW0w. CXLYbTn]>gQq!G)Ȍ5Ӱ'&l:>ep;[roNړTDe J6iGe \]ier> lMxiC&nj:y Pp`I}s C1͑2|Ku^Tq* ޺B"k}VQp +YF >KwlV\&xXq6;OSgKo w SOxv|TJ[ @ A qߞbixj:]|e R4Dwu] -UA #I缏}cȷg>WE ~U TZ3Y4˜k?~t2@6[<+0r [ۦAF7K ERq[KG`O.bFڷYp :GctK'wzg)Cbw)Wj Rqc)MIFpJnhUS%7|(HK=V[:(I?} 6ޝo]:w|FwJkQxB"WC-ԁFo1l}wmEVHc՘t8%;`hed} pa1 M7pnZV҇76&bQ)2QCcVLj UI;~zڤ⚅/nL8aw DVqHS,%cN$2&9[$za-^_H;bH#<;D'h6rRhah`=ߺrCȺc&q/gD̫]#шDUY No=;xL@m"wS;A6 0$(ڢ2(*2g:+ 0  m6Rhd-R<wSˏFRxBhShԴRٰHt6*d(/L3pIl}px@PtXA M j<%S:[N"m.r͈۳#`wًUt>Epn˻t],`7`V0X*1eW@t:rSr,B$}80L\WIOI {4|t ]qYgc98-Qnyp]pB0+C/q d%!A.y?G^dn,>og019<]t6345rٷ<,]ȇqj/OFFWЄl>]8Yf")>ڸ[tod2e?A86o8N 5:'!Ka^hwya~{LBqS{{n+/p"crxŝ"ZHP x a(rOn},2UY  GF"FɹƧgv_p 7dה* u_ˇ>᷏VNz#EwxZrEP~_/n:Bs`8Q[JH96ߑ6܌ZP1yՓ(=s{s b'{d+q\ܡP(WAw pۡvݔ'o]D(DrRX_ƶb!8,¼޼ |!&g:IYBWvYcJz=љy/OХpFZroc׃)=.f,䨱? OܝX}7X~nɗ=jV|'U]8rdf t:HlteώYH]z#ml'sPLy(}7<5/o'Ac70NEW+w .B&&B͒=!0Iu/]s7D+#Jj!Y![~ W^>PZOZ#iM:'&kw>V9CYke&֙ MܡhɦCg eLo!LXb cϖd mK^[ 7 v6 -50":l7ت13j'z6Enwg+rb.k28U XHgC"g853|XQԟ֕z*)9DMEC+U>2# #INETt ˁ |۫6a1k<ޗ7§rCs\"N,2DZ]+nm+C@OS3D2m[z@.ܹ'NHW vP?AuY,Ωz aIW.LN3윰KN l7т)l",f" E5Ud|3.Ǧo!~=|˄Ɯ ą*CUN?E'"jlGt"/$Jr&{'R-e?`u hqs56 %1 FE}2LfjWEDdB]$V5%񁰡]a)}^+%3$Pas&z):4Y.ƹ8@Y*Az+ PE:pI#~nmrak>G) F84=(X> endobj 8 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 169 0 R /BaseFont 175 0 R /FontDescriptor 176 0 R >> endobj 169 0 obj [ 711 986 920 827 789 924 854 920 854 920 854 690 657 657 986 986 329 361 591 591 591 591 591 893 526 617 854 920 591 1071 1202 920 329 360 617 986 591 986 920 329 460 460 591 920 329 394 329 591 591 591 591 591 591 591 591 591 591 591 329 329 360 920 559 559 920 893 841 854 906 776 743 930 924 446 611 925 711 1121 924 889 808 889 886 657 823 908 893 1221 893 893 723 329 617 329 591 329 329 575 657 526 657 543 361 591 657 329 361 624 329 986 657 591 657 624 488 467 460 657 624 854 624 624 526 591 1183 591 591 591 ] endobj 170 0 obj << /Length 171 0 R /Length1 172 0 R /Length2 173 0 R /Length3 174 0 R >> stream %!PS-AdobeFont-1.1: CMBX9 1.0 %%CreationDate: 1991 Aug 20 16:36:25 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMBX9) readonly def /FamilyName (Computer Modern) readonly def /Weight (Bold) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /BRQAAA+CMBX9 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 65 /A put dup 97 /a put dup 98 /b put dup 99 /c put dup 114 /r put dup 115 /s put dup 116 /t put readonly def /FontBBox{-58 -250 1195 750}readonly def /UniqueID 5000767 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou_dV`Ky Z]uMYb[1[l',t\pڮԞZO4GJ7 c]>^1j̙|JtquJcw\ ᓮl+͉uҿ Tw[kj6ꑸ&Py K,Q+ wҳ%lTkİO rO]H*jQۅjy;Q沋Tf g'-\#"waf`] 7A|qmY DQn9l˃b%!-1k WV $qg^fF(S.'Nm~}2 ;Z[fIXNuV& u*06E upB3]}/5(#IN 2f9{SDW`#Cɂ8̋̔3|FYÁa7*VÐ6L|WU :clh" k-V^ M::z}uґvat47T|YXrzBu(R~Aq,ϙ'Jz,voo8җX t?иJ8bj#\'(5G8,PI&$5:-DŽoy~ψ*}v:KQ& i> '/ԘDZ;9:uIF#i6~RDusFb)КBdEA#_ל~7"Cٜ(ؑ;Y vO H51([_{iWl5#!:l>r!&6G\>Y$ȲSd9]HV TA4ҐӍך^ۭ ]նL~@ u^kݫ YM ABƏ4@mġͭdQ7pBw8q ~L$'-ٽ=XFoz6W_>Sz}Ŕ0я$.TV%N la[)=V(ݡ!7Nj;5PRsҮ:N*P)ͽ*\]LhbVU1io .2wQY(%rծP'3mD`Ku "'Bv6!{9W_Ѹt~iBrH uF}BMZ[(½e{B!t I~  bVPKRdgj]-P0-f p6CA_ muH PЭS [<6DR6? Mb֑i2V,W|:VMnY>5N4 )P5_Ё*C֟x:`P_9`uF@؇ TIƹ8OKuz[!n#8M=rYygE0P~.sΚ]+ٓzb|ĮRє?c G*C{| >%{#l*u#sG g;z 6I1PcYe;)f#IĿ!JI i!]?aN`uN׆ RU+bNુ) (-a-j0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 171 0 obj 3410 endobj 172 0 obj 803 endobj 173 0 obj 2075 endobj 174 0 obj 532 endobj 175 0 obj /BRQAAA+CMBX9 endobj 176 0 obj << /Ascent 694 /CapHeight 686 /Descent -194 /FontName 175 0 R /ItalicAngle 0 /StemV 117 /XHeight 444 /FontBBox [ -58 -250 1195 750 ] /Flags 000004 /CharSet (/A/a/b/c/r/s/t) /FontFile 170 0 R >> endobj 7 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 177 0 R /BaseFont 183 0 R /FontDescriptor 184 0 R >> endobj 177 0 obj [ 826 295 826 531 826 531 826 826 826 826 826 826 826 1063 531 531 826 826 826 826 826 826 826 826 826 826 826 826 1063 1063 826 826 1063 1063 531 531 1063 1063 1063 826 1063 1063 649 649 1063 1063 1063 826 288 1063 708 708 944 944 0 0 590 590 708 531 767 767 826 826 649 849 695 563 822 561 758 631 904 585 720 807 731 1265 869 842 743 868 907 643 586 663 656 1055 756 706 764 708 708 708 708 708 649 649 472 472 472 472 531 531 413 413 295 531 531 649 531 295 885 796 885 444 708 708 826 826 472 472 472 649 826 826 826 826 ] endobj 178 0 obj << /Length 179 0 R /Length1 180 0 R /Length2 181 0 R /Length3 182 0 R >> stream %!PS-AdobeFont-1.1: CMSY8 1.0 %%CreationDate: 1991 Aug 15 07:22:10 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMSY8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.035 def /isFixedPitch false def end readonly def /FontName /DAAAAA+CMSY8 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 3 /asteriskmath put readonly def /FontBBox{-30 -955 1185 779}readonly def /UniqueID 5000818 def currentdict end currentfile eexec oc;j~EЪ/ ȭX~id}S5Q!gtⵎkJc;rN^X5.Sy +'IqV:r㚉#,# dBZ *R*"7٨y! [R߻*|]~[C֨a[#ԙ jY!4J"3&ejc\J$2626wIaUIrnFB/Г(Hp%#O.,snݸt%\b9?_\ <+n6f Sf/@ 6M+E^o!FB&yJkpB͢=Q&'ꔆhڦĉbc:dhPQ1gW2?w|AM@dQ&TsPKe̥4;p̼ CA0v6aHDrzpX>z!t8 +,N1*t> endobj 6 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 185 0 R /BaseFont 191 0 R /FontDescriptor 192 0 R >> endobj 185 0 obj [ 612 816 761 679 653 734 707 761 707 761 707 571 544 544 816 816 272 299 489 489 489 489 489 734 435 489 707 761 489 883 992 761 272 272 489 816 489 816 761 272 381 381 489 761 272 326 272 489 489 489 489 489 489 489 489 489 489 489 272 272 272 761 462 462 761 734 693 707 747 666 639 768 734 353 503 761 612 897 734 761 666 761 720 544 707 734 734 1006 734 734 598 272 489 272 489 272 272 489 544 435 544 435 299 489 544 272 299 517 272 816 544 489 544 517 381 386 381 544 517 707 517 517 435 489 979 489 489 489 ] endobj 186 0 obj << /Length 187 0 R /Length1 188 0 R /Length2 189 0 R /Length3 190 0 R >> stream %!PS-AdobeFont-1.1: CMR12 1.0 %%CreationDate: 1991 Aug 20 16:38:05 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR12) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /XFJJBD+CMR12 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 19 /acute put dup 44 /comma put dup 45 /hyphen put dup 47 /slash put dup 55 /seven put dup 56 /eight put dup 57 /nine put dup 66 /B put dup 70 /F put dup 82 /R put dup 83 /S put dup 85 /U put dup 87 /W put dup 97 /a put dup 101 /e put dup 105 /i put dup 106 /j put dup 108 /l put dup 110 /n put dup 111 /o put dup 114 /r put dup 115 /s put dup 117 /u put readonly def /FontBBox{-34 -251 988 750}readonly def /UniqueID 5000794 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou\@[6]nhmlhaH+4/?3&n=a6E#|~.ԅˠLw2.槝sNY ڻ.,VnNX3|裠k(QIOs m;fߖC1}_a Io#0wݙ\P,f *bG3Z2کP8L3r[vnc_Eh~g9|M) }YaѕH|1m![AzXpPNCU7Uֲ7ΖTgx_hyW^]W}s_Zfs@dYr ȟsy&vJx)ݱ~Kq 45hL#q:4pP?g |GJSn^i26M Ęz0. v31껰xCj 7}0a `~iEfÎB wS:;9l[ vqo (>DlqY?kڑo^8KLG7qZC`Dǣ8K@u8YC4Ȍ:9lLLtrCꨫm0&cӒ nYF['7x7xȲ~N)y!nqIy)ͲG)sv/D\z_KXk9CHD^:EKo`Sa6x>3튴v~8ͳ4mYӀP.`9QH7䷨V@S_WnΩPb7Ie%};~v+ּ/[q\ZMQCkD=;v\ RFfACZٽ0쇑ɏ bAӵ+_bl 6r8: !zOBS˔#eIo-],K|ٓϥ>eoPOq`(N]Πl`?">}>.05n3\q粋Os 1Fs. Vͮ.6 RvPOB@Cs)-ԭa yNB,ᢸ'@g Vg좨~ڦ]a9wз|3\B\jjwUxYy56Mi~q VJ_Md<HeqhmVZ $nbD5GDK&_cܗ}iw+ObC`DȦI@^"0ҫV]ۭѦS2NDk&*:WP狋z@N=CÊ f\4J[JI/ Y1)C)H+6)q[)}l,$OU]^gdg! $TmAĢD"+ħgӓ0} Mos2Oq7M{>@1[3w[|&ـ+#r3H+3кWd\MeCz6̃F_q|J*<\^g{o!t[\]uܱy9j.1N^e-rT+#2 CH!*]cY eT[HX0KӨ Vkm첮J`  PI?VF58l7O?m836㒘{z@RDXfJ*Wr GuLWlDǏ_-h|q1TzMU-F(γLxʔԭY ʲfgab/=U,ԯ:~ދsd}g ~rOrsƨ QQ $ZB.dꍆNX};1grXnumKg<݇"p*~>T ~`0Hq*)+ekpptJ.aSj*6@zHEIL&UL27WyQא#Wf`,hZ"*KzhZe.#aW2`UQ17M3:<){7Ňe"L5^ǓcXwv =,kxޗ{}mu*3/F/i t8v+m~QE@sJՏs ^*!<&nYK9_ ރMiʰ^ˆlx6WtmtMz sD,zTЭBG؍9nCE7ͱhgeTp2w=GwmQ#"Ehhu N8} -(@|N,;uvA;zRO Zi'K>2WG萌P')|be?{cKd%%>@ڪCHmcMq{xU%-yY["<%7L})l m ∜Kh.Mx75YF)W /jo`o #Z㦡qR.1˚PC{gEcaWoz~0;FS- Y\t;)/S4]ij;ӧ%_W;u@ReNA]rB|v1P1Fz`9w\ϦJW+ZW+fAE,okqOw?)?LaUэ+oǔ%Śu=4bmnHHSPA?58?y<;Azu-U_ܩDQf}'t]~c6>`50PL~ %RtsR|%H,+s2dRĨolSqkX=^RMf(2s#1>~ebc_~7g O -˲Tfކ8rP*BƢ%=,Vrt3jWಮ1"`VX>P)_QB| jp1QFA䲱, /uq{$t)w )|Fʏ7F jyXt^- ~rB*ȯ?9eEu+ZY^ S[`1뭘e v57 |3xkӨH?ua=޻^m8s}Ig LrcF%{Fq tEL}N`V ShXV3"FYn:-b¶HXpOzC]*j3SHlʢn0'"s} tTY-YC&[bT7EmYva ź.z4 \~A{ SfSy>00000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 187 0 obj 6036 endobj 188 0 obj 1062 endobj 189 0 obj 4442 endobj 190 0 obj 532 endobj 191 0 obj /XFJJBD+CMR12 endobj 192 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName 191 0 R /ItalicAngle 0 /StemV 65 /XHeight 430 /FontBBox [ -34 -251 988 750 ] /Flags 000004 /CharSet (/acute/comma/hyphen/slash/seven/eight/nine/B/F/R/S/U/W/a/e/i/j/l/n/o/r/s/u) /FontFile 186 0 R >> endobj 5 0 obj << /Type /Font /Subtype /Type1 /FirstChar 0 /LastChar 127 /Widths 193 0 R /BaseFont 199 0 R /FontDescriptor 200 0 R >> endobj 193 0 obj [ 576 772 720 641 615 693 667 720 667 720 667 525 499 499 749 749 250 276 458 458 458 458 458 693 406 458 667 720 458 837 941 720 250 250 458 772 458 772 720 250 354 354 458 720 250 302 250 458 458 458 458 458 458 458 458 458 458 458 250 250 250 720 432 432 720 693 654 667 706 628 602 726 693 328 471 719 576 850 693 720 628 720 680 511 667 693 693 954 693 693 563 250 458 250 458 250 250 458 511 406 511 406 276 458 511 250 276 485 250 772 511 458 511 485 354 359 354 511 485 667 485 485 406 458 917 458 458 458 ] endobj 194 0 obj << /Length 195 0 R /Length1 196 0 R /Length2 197 0 R /Length3 198 0 R >> stream %!PS-AdobeFont-1.1: CMR17 1.0 %%CreationDate: 1991 Aug 20 16:38:24 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR17) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /JECSJH+CMR17 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array dup 65 /A put dup 67 /C put dup 73 /I put dup 76 /L put dup 84 /T put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 104 /h put dup 105 /i put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put readonly def /FontBBox{-33 -250 945 749}readonly def /UniqueID 5000795 def currentdict end currentfile eexec oc;j~EЪ*BgNӽ ؑlKq*޲Xws|QFqv`zXMyp"5O˩YŝP(DT![v67XFlU&3!Rq4wσ~j+ou_^ 2nΗ%)[yi2:(o Gu^~kτ>(O/߄ۤXNߵ(ӸaXœIli-i{.%Õ` vEa!n]8rCzi.;a.|&Lу׊@a, |/"UZ%F 7?@^7>at%Tcq{K9a%-dSKKV$m3+8&t}2oM# *w6`*s:82hbwC$o&I$}&3Ͻ3i b3? K{\7j}8fnd Zt4~d. (w;ZdLBarεR['`a_Btl27[rLPYm 力HI~xܧsbU=h2AL;ܢh FIT>LJiHOmCAz M1ZxxH3%D$Jn%D4-V4A;Quʨf 4ĭ^`Ն U7 Pզʛ əhk b ^o8wѢ[@]Y= Kۮ S]|kÉ7B mzbn3%S ,$55֝Jq鎊\v T틹cݲ'a^haVeFyJ8CÊ7pyI i}Bzj->( bdŧoGM à1::Y~SDiB0MĜCI=SF re2pg):#l buh<$ aQJc:vf`%뗫xV5X8 u;^߬}a püK`%d=@T':wzzP6[QBiF@1o 9T:hpE,LMq 0=l>^dMNQ0F` D#%op WDK_BnA8zw@~-Zd5 `a" 쐿OGLX/ f_gPAR-8*?JnNGBZ mX4CՁyDۛqГD1I4_{\ͱmwRȸ)bHGΉ[Ah !KcAk.8ނFlQ'}OGVrg{+!:2З[Y*-)2?3l lv2詀y@)?XaL'SY 8|KR k$5 e` Ⱦ  6s̑b" 3l=ЮBլd }QEJ=&iRhJ<|{Tcq7ٯţ"r/,k)Sd(%L| ûd,&OO,lw恴 CtdFm4گȕn|qP pM/~pMGr =DM؈h.}!μ,^=4 :2vvيqZX&=bfs^ -,l|qL_ `ĺ ee hiTmhҎH^;:k q| - x ]lx|^~ +Ȃ_7#=7 %W|̠[G''[`* Af“Mf$XMM6/yM^q]i靤[f _x2ԐBRQC#?ݍM%vp%g>Q(B4zu`Jk8m r@10OL"٥S5M\i΂Ir_?s#CwXlI,Uݛsʉ0,! -ٌ){d< B.iZO-[<<%@g~@lWJnn4OlNQIw7R8OBa}|0W~!Z+nPW3"\QI‡f{.*IFخDRY|''@ŞϨOĠ E l3,XמA0 ÉFM1i%9~Y,9;\ØG\ IE rQG'zaXjlӞJIxI}w%ybzPu*+H/!xݕdxT#jM( \ icV8,k3TfW  #j>g J}:+ӈD$N*&ǃ+QGl &pйf7z?ڡͩ>4S27/$ B8ŎuO ~T_ pf'jDApJ\q^v!0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark endstream endobj 195 0 obj 5443 endobj 196 0 obj 995 endobj 197 0 obj 3916 endobj 198 0 obj 532 endobj 199 0 obj /JECSJH+CMR17 endobj 200 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName 199 0 R /ItalicAngle 0 /StemV 53 /XHeight 430 /FontBBox [ -33 -250 945 749 ] /Flags 000004 /CharSet (/A/C/I/L/T/a/b/c/d/e/h/i/l/m/n/o/r/s/t/u) /FontFile 194 0 R >> endobj 21 0 obj << /Type /Pages /Count 6 /Parent 201 0 R /Kids [2 0 R 23 0 R 27 0 R 31 0 R 35 0 R 39 0 R] >> endobj 46 0 obj << /Type /Pages /Count 3 /Parent 201 0 R /Kids [43 0 R 48 0 R 54 0 R] >> endobj 201 0 obj << /Type /Pages /Count 9 /Kids [21 0 R 46 0 R] >> endobj 202 0 obj << /Type /Catalog /Pages 201 0 R >> endobj 203 0 obj << /Creator (TeX) /Producer (pdfTeX) /CreationDate (D:20011126151800) >> endobj xref 0 204 0000000000 65535 f 0000006605 00000 n 0000006845 00000 n 0000000009 00000 n 0000006585 00000 n 0000176895 00000 n 0000169697 00000 n 0000166588 00000 n 0000162071 00000 n 0000153381 00000 n 0000149882 00000 n 0000139929 00000 n 0000122062 00000 n 0000113115 00000 n 0000102901 00000 n 0000098693 00000 n 0000093068 00000 n 0000088901 00000 n 0000085126 00000 n 0000082007 00000 n 0000075323 00000 n 0000183464 00000 n 0000014846 00000 n 0000014972 00000 n 0000006956 00000 n 0000014825 00000 n 0000023744 00000 n 0000023870 00000 n 0000015086 00000 n 0000023723 00000 n 0000031495 00000 n 0000031622 00000 n 0000023984 00000 n 0000031474 00000 n 0000040132 00000 n 0000040247 00000 n 0000031736 00000 n 0000040111 00000 n 0000046090 00000 n 0000046217 00000 n 0000040361 00000 n 0000046069 00000 n 0000054636 00000 n 0000054751 00000 n 0000046331 00000 n 0000054615 00000 n 0000183573 00000 n 0000065148 00000 n 0000065309 00000 n 0000054865 00000 n 0000065126 00000 n 0000071842 00000 n 0000068893 00000 n 0000068664 00000 n 0000068779 00000 n 0000065423 00000 n 0000068643 00000 n 0000069025 00000 n 0000069571 00000 n 0000071533 00000 n 0000071554 00000 n 0000071574 00000 n 0000071594 00000 n 0000071614 00000 n 0000071644 00000 n 0000071974 00000 n 0000072537 00000 n 0000075004 00000 n 0000075025 00000 n 0000075045 00000 n 0000075066 00000 n 0000075086 00000 n 0000075117 00000 n 0000075455 00000 n 0000075990 00000 n 0000081651 00000 n 0000081672 00000 n 0000081693 00000 n 0000081714 00000 n 0000081734 00000 n 0000081763 00000 n 0000082139 00000 n 0000082691 00000 n 0000084811 00000 n 0000084832 00000 n 0000084852 00000 n 0000084872 00000 n 0000084892 00000 n 0000084922 00000 n 0000085258 00000 n 0000085799 00000 n 0000088592 00000 n 0000088613 00000 n 0000088633 00000 n 0000088654 00000 n 0000088674 00000 n 0000088704 00000 n 0000089035 00000 n 0000089572 00000 n 0000092733 00000 n 0000092754 00000 n 0000092775 00000 n 0000092797 00000 n 0000092818 00000 n 0000092848 00000 n 0000093203 00000 n 0000093737 00000 n 0000098325 00000 n 0000098347 00000 n 0000098368 00000 n 0000098390 00000 n 0000098411 00000 n 0000098443 00000 n 0000098828 00000 n 0000099372 00000 n 0000102485 00000 n 0000102507 00000 n 0000102528 00000 n 0000102550 00000 n 0000102571 00000 n 0000102603 00000 n 0000103036 00000 n 0000103570 00000 n 0000112732 00000 n 0000112754 00000 n 0000112776 00000 n 0000112798 00000 n 0000112819 00000 n 0000112851 00000 n 0000113250 00000 n 0000113789 00000 n 0000121664 00000 n 0000121686 00000 n 0000121708 00000 n 0000121730 00000 n 0000121751 00000 n 0000121783 00000 n 0000122197 00000 n 0000122733 00000 n 0000139327 00000 n 0000139350 00000 n 0000139372 00000 n 0000139395 00000 n 0000139416 00000 n 0000139447 00000 n 0000140064 00000 n 0000140602 00000 n 0000149466 00000 n 0000149488 00000 n 0000149510 00000 n 0000149532 00000 n 0000149553 00000 n 0000149585 00000 n 0000150017 00000 n 0000150556 00000 n 0000153059 00000 n 0000153081 00000 n 0000153102 00000 n 0000153124 00000 n 0000153145 00000 n 0000153176 00000 n 0000153515 00000 n 0000154051 00000 n 0000161682 00000 n 0000161704 00000 n 0000161726 00000 n 0000161748 00000 n 0000161769 00000 n 0000161799 00000 n 0000162205 00000 n 0000162743 00000 n 0000166260 00000 n 0000166282 00000 n 0000166303 00000 n 0000166325 00000 n 0000166346 00000 n 0000166377 00000 n 0000166722 00000 n 0000167267 00000 n 0000169373 00000 n 0000169395 00000 n 0000169416 00000 n 0000169437 00000 n 0000169458 00000 n 0000169489 00000 n 0000169831 00000 n 0000170365 00000 n 0000176508 00000 n 0000176530 00000 n 0000176552 00000 n 0000176574 00000 n 0000176595 00000 n 0000176626 00000 n 0000177029 00000 n 0000177562 00000 n 0000183112 00000 n 0000183134 00000 n 0000183155 00000 n 0000183177 00000 n 0000183198 00000 n 0000183229 00000 n 0000183662 00000 n 0000183729 00000 n 0000183782 00000 n trailer << /Size 204 /Root 202 0 R /Info 203 0 R >> startxref 183872 %%EOF