blob: c921f84f52f18dc7c3582bf825ab2e49a7bea9b9 (plain)

ofs	hex dump	ascii
0000	f7 02 01 83 92 c0 1c 3b 00 00 00 00 03 e8 1b 20 54 65 58 20 6f 75 74 70 75 74 20 31 39 39 38 2e	.......;........TeX.output.1998.
0020	30 37 2e 32 36 3a 32 31 33 39 8b 00 00 00 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	07.26:2139......................
0040	00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ff ff ff ff a0 02 79 00 00 8d a0 fd a3	.........................y......
0060	00 00 a0 02 3f 00 00 8d a0 fe 0e 00 02 8d 91 7d 4a fa f3 0e 44 d3 ed 74 00 11 47 ae 00 11 47 ae	....?..........}J...D..t..G...G.
0080	00 05 63 6d 72 31 37 b9 41 96 05 37 74 67 75 69 64 65 93 74 6f 93 74 68 65 93 f3 0f df 86 b5 54	..cmr17.A..7tguide.to.the......T
00a0	00 11 47 ae 00 0c 00 00 00 06 63 6d 74 74 31 32 ba 7a 65 64 93 b9 73 74 90 8c 71 79 6c 65 93 6f	..G.......cmtt12.zed..st..qyle.o
00c0	70 74 69 6f 6e 8e 9f 1d 00 01 8d 8d 8d 8d 8d 92 00 cb 2b 49 f3 10 58 ab 51 0b 00 0c 00 00 00 0c	ption.............+I..X.Q.......
00e0	00 00 00 05 63 6d 72 31 32 bb 4d 69 6b 95 ac 72 65 91 03 ea a8 53 70 69 76 93 65 79 8e 8e 8e 8e	....cmr12.Mik..re....Spiv.ey....
0100	8e 9f 17 88 8b 8d 92 00 c3 6a 98 44 65 63 65 6d 90 ac 72 62 90 53 8e 65 72 91 03 ea a8 31 39 39	.........j.Decem..rb.S.er....199
0120	30 8e 9f 2b 11 c4 8d 8d 91 3e 00 00 f3 26 c2 d6 4e a0 00 0e 66 66 00 0c 00 00 00 06 63 6d 62 78	0..+.....>...&..N...ff......cmbx
0140	31 32 d1 31 8e 91 56 4c cb 49 6e 90 8c cc 74 72 6f 90 73 33 64 75 63 74 69 6f 6e 8e a9 15 e7 1b	12.1..VL.In...tro.s3duction.....
0160	8d 91 3e 00 00 f3 07 4b f1 60 79 00 0a 00 00 00 0a 00 00 00 05 63 6d 72 31 30 b2 54 68 69 73 96	..>....K.`y..........cmr10.This.
0180	03 1c 03 64 6f 90 47 1d 63 75 6d 65 6e 9a b8 e3 74 93 69 73 93 61 93 67 75 69 64 65 93 74 6f 93	...do.G.cumen...t.is.a.guide.to.
01a0	74 68 65 93 76 98 65 72 73 69 6f 6e 93 6f 66 93 74 68 65 93 f3 27 df ea 3c 78 00 0a 00 00 00 0a	the.v.ersion.of.the..'..<x......
01c0	00 00 00 06 63 6d 74 74 31 30 d2 7a 65 64 93 b2 73 74 98 79 6c 65 93 6f 70 74 69 6f 6e 93 66 6f	....cmtt10.zed..st.yle.option.fo
01e0	72 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 f3 06 d9 93 a0 52 00 07 00 00 00 07 00 00 00 04 63 6d 72	r.L....5...ff.....R..........cmr
0200	37 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 64 61 74 65	7.A.......T...U>..'.E....xX.date
0220	64 8e a4 0c 00 00 8d 91 3e 00 00 31 31 74 68 96 03 db ed 44 65 63 65 6d 9a b8 e3 62 90 47 1d 65	d.......>..11th....Decem...b.G.e
0240	72 93 31 39 39 30 2e 91 06 05 8e 54 68 69 73 93 6e 65 77 93 76 98 65 72 73 69 6f 6e 93 6f 66 93	r.1990.....This.new.v.ersion.of.
0260	74 68 65 93 73 74 98 79 6c 65 93 6f 70 74 69 6f 6e 93 69 73 93 66 75 6c 6c 79 93 63 6f 6d 70 61	the.st.yle.option.is.fully.compa
0280	74 69 62 6c 65 8e a1 8d 91 3e 00 00 77 69 74 68 96 04 5b 22 74 68 65 93 d2 66 75 7a 7a 93 b2 73	tible....>..with..["the..fuzz..s
02a0	74 9a b8 e3 79 6c 65 93 6f 70 74 69 6f 6e 93 64 69 73 74 72 69 62 75 74 65 64 93 77 69 74 68 93	t...yle.option.distributed.with.
02c0	74 68 65 93 6d 98 79 93 f3 19 9b bb 88 40 00 0c 00 00 00 0c 00 00 00 06 63 6d 74 69 31 32 c4 66	the.m.y......@..........cmti12.f
02e0	91 01 33 38 f3 34 8c 2d f8 14 00 0a 00 00 00 0a 00 00 00 07 63 6d 63 73 63 31 30 df 75 7a 7a 93	..38.4.-............cmcsc10.uzz.
0300	b2 74 98 79 70 90 47 1d 65 2d 63 98 68 65 63 98 6b 98 65 72 93 66 6f 72 93 5a 2c 8e a1 8d 91 3e	.t.yp.G.e-c.hec.k.er.for.Z,....>
0320	00 00 62 75 74 96 03 1b 7e 75 73 65 73 93 74 95 b8 e3 77 93 6f 9b 03 1b 7e 66 6f 6e 93 74 73 98	..but...~uses.t...w.o...~fon.ts.
0340	66 72 6f 6d 98 74 68 65 98 41 4d 53 96 03 1b 70 69 6e 98 70 6c 61 63 65 98 6f 66 98 74 68 65 98	from.the.AMS...pin.place.of.the.
0360	73 70 90 47 1d 65 63 69 61 6c 98 5a 93 66 6f 6e 90 b8 e3 74 98 64 69 73 74 72 69 62 75 74 65 64	sp.G.ecial.Z.fon...t.distributed
0380	98 77 69 74 68 8e a1 8d 91 3e 00 00 c4 66 91 01 33 38 df 75 7a 7a b2 2e 91 06 c2 34 53 6f 6d 65	.with....>...f..38.uzz.....4Some
03a0	96 04 1a cf 6f 66 93 74 68 65 93 73 79 6d 9a b8 e3 62 90 47 1d 6f 6c 73 93 68 61 98 76 98 65 93	....of.the.sym...b.G.ols.ha.v.e.
03c0	62 90 47 1d 65 65 6e 93 63 6f 62 62 6c 65 64 93 74 6f 67 65 74 68 65 72 93 62 98 79 93 63 6f 6d	b.G.een.cobbled.together.b.y.com
03e0	98 62 69 6e 69 6e 67 93 74 98 77 98 6f 93 6f 72 8e a1 8d 91 3e 00 00 6d 6f 72 65 96 04 04 fb 63	.bining.t.w.o.or....>..more....c
0400	9a b8 e3 68 61 72 61 63 74 65 72 73 2c 91 04 30 e4 62 75 74 93 74 68 65 93 72 65 73 75 6c 74 73	...haracters,..0.but.the.results
0420	93 61 72 65 93 67 6f 95 47 1d 6f 93 64 96 04 04 fb 65 6e 6f 75 67 68 93 66 6f 72 93 72 6f 75 67	.are.go.G.o.d....enough.for.roug
0440	68 93 64 72 61 66 74 73 2e 91 06 80 b8 54 68 65 93 73 74 98 79 6c 65 8e a1 8d 91 3e 00 00 6f 70	h.drafts.....The.st.yle....>..op
0460	74 69 6f 6e 96 03 a0 78 72 65 71 75 69 72 65 73 93 74 68 65 93 60 6f 6c 64 27 93 41 4d 53 91 03	tion...xrequires.the.`old'.AMS..
0480	a0 65 66 6f 6e 9a b8 e3 74 73 2c 91 03 b3 41 61 6e 64 93 77 69 6c 6c 93 6e 6f 74 93 61 74 93 70	.efon...ts,...Aand.will.not.at.p
04a0	72 65 73 65 6e 98 74 93 77 98 6f 72 6b 93 77 69 74 68 93 53 6c 69 54 8d 91 fe 55 3e 9f 02 27 1c	resen.t.w.ork.with.SliT...U>..'.
04c0	45 8e 91 03 e3 78 58 8e a1 8d 91 3e 00 00 6f 72 96 03 55 55 74 68 65 93 53 63 95 b8 e3 68 7f 91	E....xX....>..or..UUthe.Sc...h..
04e0	fa ff ff 6f 70 66 2d 4d 69 74 74 65 6c 62 61 63 93 68 9b 03 55 55 66 6f 6e 93 74 98 73 65 6c 65	...opf-Mittelbac.h..UUfon.t.sele
0500	63 74 69 6f 6e 98 73 63 93 68 65 6d 65 2e 8e a1 8d 91 4d 00 00 54 68 65 96 04 28 22 72 65 73 74	ction.sc.heme.....M..The..("rest
0520	93 6f 66 93 74 68 69 73 93 67 75 69 64 65 93 69 73 93 6d 6f 73 74 6c 79 93 65 78 74 72 61 63 74	.of.this.guide.is.mostly.extract
0540	65 64 93 66 72 6f 6d 93 74 68 65 93 6d 61 6e 90 b8 e3 75 61 6c 93 66 6f 72 93 c4 66 91 01 33 38	ed.from.the.man...ual.for..f..38
0560	df 75 7a 7a b2 2c 91 04 5c d5 61 6e 64 8e a1 8d 91 3e 00 00 69 74 96 03 d6 67 61 73 73 75 6d 65	.uzz.,..\.and....>..it...gassume
0580	73 93 61 93 62 61 73 69 63 93 6b 6e 6f 9a b8 e3 77 6c 65 64 67 65 93 6f 66 93 4c 8d 9f fd f3 35	s.a.basic.kno...wledge.of.L....5
05a0	8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 2e	...ff.A.......T...U>..'.E....xX.
05c0	91 05 f4 fd 49 91 03 d6 46 68 61 98 76 98 65 93 6e 6f 74 93 72 65 6d 6f 98 76 98 65 64 93 73 6f	....I...Fha.v.e.not.remo.v.ed.so
05e0	6d 65 93 69 6e 66 6f 72 6d 61 74 69 6f 6e 8e a1 8d 91 3e 00 00 61 62 90 47 1d 6f 75 74 96 04 58	me.information....>..ab.G.out..X
0600	5b 68 6f 9a b8 e3 77 93 74 68 65 93 c4 66 91 01 33 38 df 75 7a 7a 93 b2 74 98 79 70 90 47 1d 65	[ho...w.the..f..38.uzz..t.yp.G.e
0620	2d 63 98 68 65 63 98 6b 98 65 72 93 74 72 65 61 74 73 93 76 91 ff 71 c7 61 72 69 6f 75 73 93 63	-c.hec.k.er.treats.v..q.arious.c
0640	6f 6e 73 74 72 75 63 74 73 2c 91 04 99 1c 69 6e 93 63 61 73 65 93 79 98 6f 75 93 6c 61 74 65 72	onstructs,....in.case.y.ou.later
0660	8e a1 8d 91 3e 00 00 77 95 b8 e3 61 6e 93 74 96 03 96 82 74 6f 93 74 95 b8 e3 79 70 9a 47 1d 65	....>..w...an.t....to.t...yp.G.e
0680	2d 63 93 68 65 63 93 6b 96 03 96 82 61 93 64 6f 98 63 75 6d 65 6e 9a b8 e3 74 93 79 98 6f 75 93	-c.hec.k....a.do.cumen...t.y.ou.
06a0	68 61 98 76 98 65 93 66 6f 72 6d 61 74 74 65 64 93 77 69 74 68 93 74 68 65 93 d2 7a 65 64 93 b2	ha.v.e.formatted.with.the..zed..
06c0	73 74 98 79 6c 65 93 6f 70 74 69 6f 6e 2e 8e a1 8d 91 3e 00 00 46 91 ff 2a aa 6f 72 96 02 f1 49	st.yle.option.....>..F..*.or...I
06e0	69 6e 66 6f 72 6d 61 74 69 6f 6e 93 61 62 90 47 1d 6f 75 74 93 74 68 65 93 c4 66 91 01 33 38 df	information.ab.G.out.the..f..38.
0700	75 7a 7a 93 b2 70 61 63 9a b8 e3 6b 91 ff 71 c7 61 67 65 93 61 6e 64 93 68 6f 98 77 93 74 6f 93	uzz..pac...k..q.age.and.ho.w.to.
0720	6f 72 64 65 72 93 69 74 2c 91 03 05 4b 73 65 65 93 74 68 65 93 65 6e 64 93 6f 66 93 74 68 69 73	order.it,...Ksee.the.end.of.this
0740	8e a1 8d 91 3e 00 00 67 75 69 64 65 2e 8e a1 8d 91 4d 00 00 54 68 69 73 96 03 79 e5 67 75 69 64	....>..guide.....M..This..y.guid
0760	65 93 61 6e 64 93 74 68 65 93 d2 7a 65 64 93 b2 73 74 9a b8 e3 79 6c 65 93 6f 70 74 69 6f 6e 93	e.and.the..zed..st...yle.option.
0780	69 74 73 65 6c 66 93 6d 61 98 79 93 62 90 47 1d 65 93 66 72 65 65 6c 79 93 63 6f 70 69 65 64 2c	itself.ma.y.b.G.e.freely.copied,
07a0	91 03 83 09 64 69 73 74 72 69 62 75 74 65 64 8e a1 8d 91 3e 00 00 61 6e 64 96 04 65 c1 75 73 65	....distributed....>..and..e.use
07c0	64 93 66 6f 72 93 61 6e 9a b8 e3 79 93 70 75 72 70 90 47 1d 6f 73 65 93 65 78 63 65 70 74 93 64	d.for.an...y.purp.G.ose.except.d
07e0	69 72 65 63 74 93 63 6f 6d 6d 65 72 63 69 61 6c 93 67 61 69 6e 2c 91 04 a9 db 70 72 6f 98 76 69	irect.commercial.gain,....pro.vi
0800	64 65 64 93 74 68 61 74 93 74 68 65 79 8e a1 8d 91 3e 00 00 61 72 65 96 04 1b e2 63 6f 70 69 65	ded.that.they....>..are....copie
0820	64 93 61 6e 64 93 64 69 73 74 72 69 62 75 74 65 64 93 61 73 93 61 93 77 68 6f 6c 65 93 61 6e 64	d.and.distributed.as.a.whole.and
0840	93 77 69 74 68 6f 75 74 93 6d 6f 90 47 1d 64 69 0c 63 61 74 69 6f 6e 2e 91 06 c5 6e 54 68 65 93	.without.mo.G.di.cation....nThe.
0860	61 75 74 68 6f 72 8e a1 8d 91 3e 00 00 61 63 63 65 70 74 73 96 03 55 55 6e 6f 93 6c 69 61 62 6c	author....>..accepts..UUno.liabl
0880	69 6c 69 74 9a b8 e3 79 93 66 6f 72 93 74 68 65 69 72 93 61 63 63 75 72 61 63 79 93 6f 72 93 0c	ilit...y.for.their.accuracy.or..
08a0	74 6e 65 73 73 93 66 6f 72 93 61 6e 98 79 93 70 75 72 70 90 47 1d 6f 73 65 2e 8e 9f 21 11 c4 8d	tness.for.an.y.purp.G.ose...!...
08c0	8d 91 3e 00 00 d1 32 8e 91 56 4c cb 4c 6f 61 64 69 6e 67 96 05 66 66 74 68 65 93 f3 35 df 86 b5	..>...2..VL.Loading..ffthe..5...
08e0	54 00 0e 66 66 00 0c 00 00 00 06 63 6d 74 74 31 32 e0 7a 65 64 93 d1 73 74 90 8c cc 79 6c 65 93	T..ff......cmtt12.zed..st...yle.
0900	6f 70 74 69 6f 6e 8e a6 8d 91 3e 00 00 b2 45 76 9a b8 e3 65 72 79 96 03 6e 4a 4c 8d 9f fd f3 35	option....>...Ev...ery..nJL....5
0920	8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93	...ff.A.......T...U>..'.E....xX.
0940	64 6f 90 47 1d 63 75 6d 65 6e 98 74 93 73 68 6f 75 6c 64 93 62 90 47 1d 65 67 69 6e 93 77 69 74	do.G.cumen.t.should.b.G.egin.wit
0960	68 93 61 93 d2 5c 64 6f 63 75 6d 65 6e 74 73 74 79 6c 65 93 b2 63 6f 6d 6d 61 6e 64 2e 91 04 bc	h.a..\documentstyle..command....
0980	a5 49 66 93 74 68 65 8e a1 8d 91 3e 00 00 64 6f 90 47 1d 63 75 6d 65 6e 95 b8 e3 74 9b 04 a9 4c	.If.the....>..do.G.cumen...t...L
09a0	63 6f 6e 93 74 61 69 6e 73 98 61 98 5a 91 04 a8 f4 73 70 90 47 1d 65 63 69 0c 63 61 74 69 6f 6e	con.tains.a.Z....sp.G.eci.cation
09c0	2c 91 04 fe 49 74 68 69 73 98 63 6f 6d 6d 61 6e 64 98 73 68 6f 75 6c 64 98 69 6e 63 6c 75 64 65	,...Ithis.command.should.include
09e0	98 74 68 65 98 73 74 93 79 6c 65 8e a1 8d 91 3e 00 00 6f 70 74 69 6f 6e 96 03 55 55 d2 7a 65 64	.the.st.yle....>..option..UU.zed
0a00	b2 2e 91 04 71 c7 46 91 ff 2a aa 6f 72 93 65 78 61 6d 70 6c 65 3a 8e a4 14 00 00 8d 91 57 00 02	....q.F..*.or.example:.......W..
0a20	d2 5c 64 6f 63 75 6d 65 6e 74 73 74 79 6c 65 5b 31 32 70 74 2c 7a 65 64 5d 7b 61 72 74 69 63 6c	.\documentstyle[12pt,zed]{articl
0a40	65 7d 8e a1 8d 91 3e 00 00 b2 49 6e 63 6c 75 64 69 6e 67 96 04 65 be d2 7a 65 64 93 b2 61 73 93	e}....>...Including..e..zed..as.
0a60	61 93 73 74 90 b8 e3 79 6c 65 93 6f 70 74 69 6f 6e 93 6c 6f 61 64 73 93 6d 61 63 72 6f 73 93 66	a.st...yle.option.loads.macros.f
0a80	72 6f 6d 93 74 68 65 93 0c 6c 65 93 d2 7a 65 64 2e 73 74 79 93 b2 61 6e 64 93 61 6c 73 6f 8e a4	rom.the..le..zed.sty..and.also..
0aa0	0c 00 00 8d 91 3e 00 00 6c 6f 61 64 73 96 04 24 93 66 6f 75 72 93 66 6f 6e 9a b8 e3 74 73 93 6f	.....>..loads..$.four.fon...ts.o
0ac0	66 93 65 78 74 72 61 93 6d 61 74 68 65 6d 61 74 69 63 61 6c 93 73 79 6d 98 62 90 47 1d 6f 6c 73	f.extra.mathematical.sym.b.G.ols
0ae0	93 63 61 6c 6c 65 64 93 d2 6d 73 78 6d 39 b2 2c 96 04 58 63 d2 6d 73 79 6d 39 b2 2c 93 d2 6d 73	.called..msxm9.,..Xc.msym9.,..ms
0b00	78 6d 31 30 b2 2c 8e a1 8d 91 3e 00 00 61 6e 64 96 04 27 2a d2 6d 73 79 6d 31 30 b2 2e 91 06 e7	xm10.,....>..and..'*.msym10.....
0b20	46 59 91 ff 2a aa 6f 75 72 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d	FY..*.our.L....5...ff.A.......T.
0b40	91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 69 6e 73 74 61 6c 6c 61 74 69 6f 6e 93 6d 9a b8	..U>..'.E....xX.installation.m..
0b60	e3 75 73 74 93 68 61 98 76 98 65 93 74 68 65 73 65 93 66 6f 6e 98 74 73 93 66 6f 72 93 74 68 65	.ust.ha.v.e.these.fon.ts.for.the
0b80	93 d2 7a 65 64 93 b2 73 74 98 79 6c 65 8e a1 8d 91 3e 00 00 6f 70 74 69 6f 6e 96 02 e2 75 74 6f	..zed..st.yle....>..option...uto
0ba0	93 77 90 b8 e3 6f 72 6b 3b 91 03 08 c0 69 66 93 69 74 93 64 6f 9a 47 1d 65 73 6e 27 74 2c 91 02	.w...ork;....if.it.do.G.esn't,..
0bc0	f9 6e 6f 72 93 74 68 65 79 93 61 72 65 93 69 6e 93 74 68 65 93 77 72 6f 6e 67 93 70 6c 61 63 65	.nor.they.are.in.the.wrong.place
0be0	93 74 6f 93 62 98 65 93 66 6f 75 6e 64 93 62 90 b8 e3 79 93 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e	.to.b.e.found.b...y.T...U>..'.E.
0c00	91 03 e3 78 58 2c 8e a1 8d 91 3e 00 00 74 68 65 6e 96 03 55 55 79 9a b8 e3 6f 75 93 77 69 6c 6c	...xX,....>..then..UUy...ou.will
0c20	93 67 65 74 93 61 6e 93 65 72 72 6f 72 93 6d 65 73 73 61 67 65 93 6c 69 6b 98 65 93 74 68 69 73	.get.an.error.message.lik.e.this
0c40	3a 8e 8e 9f 1e 00 00 8d 92 00 e8 00 00 31 8e 8e 8c 8b 00 00 00 02 00 00 00 00 00 00 00 00 00 00	:............1..................
0c60	00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 2a a0 02	.............................*..
0c80	79 00 00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d a0 fd e4 00 00 8d 91 57 00 02 d2 21 96 05 3f fd 46	y..........?..........W...!..?.F
0ca0	6f 6e 74 93 5c 6e 69 6e 73 78 6d 3d 6d 73 78 6d 39 93 6e 6f 74 93 6c 6f 61 64 61 62 6c 65 93 2e	ont.\ninsxm=msxm9.not.loadable..
0cc0	2e 2e 8e 9f 12 95 cf 8d 91 3e 00 00 b2 54 68 65 96 03 41 32 d2 7a 65 64 93 b2 73 74 9a b8 e3 79	.........>...The..A2.zed..st...y
0ce0	6c 65 93 6f 70 74 69 6f 6e 93 63 61 6e 93 62 90 47 1d 65 93 75 73 65 64 93 77 69 74 68 93 61 6e	le.option.can.b.G.e.used.with.an
0d00	98 79 93 6f 66 93 74 68 65 93 73 74 61 6e 64 61 72 64 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41	.y.of.the.standard.L....5...ff.A
0d20	8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 73 74 98 79 6c 65 73	.......T...U>..'.E....xX.st.yles
0d40	2c 91 03 45 39 61 6e 64 93 69 74 8e a4 0c 00 00 8d 91 3e 00 00 63 61 6e 96 03 ac c0 61 70 70 9a	,..E9and.it.......>..can....app.
0d60	47 1d 65 61 72 93 65 69 74 68 65 72 93 62 98 65 66 6f 72 65 93 6f 72 93 61 66 74 65 72 93 74 68	G.ear.either.b.efore.or.after.th
0d80	65 93 74 90 b8 e3 79 70 98 65 2d 73 69 7a 65 93 6f 70 74 69 6f 6e 93 69 66 93 6f 6e 65 93 69 73	e.t...yp.e-size.option.if.one.is
0da0	93 75 73 65 64 2e 91 05 78 07 49 74 93 63 61 6e 93 62 98 65 8e a1 8d 91 3e 00 00 63 6f 6d 9a b8	.used...x.It.can.b.e....>..com..
0dc0	e3 62 69 6e 65 64 96 02 70 fc 77 69 74 68 93 6d 6f 73 74 93 6f 66 93 74 68 65 93 73 74 61 6e 64	.bined..p.with.most.of.the.stand
0de0	61 72 64 93 73 74 98 79 6c 65 93 6f 70 74 69 6f 6e 73 2c 91 02 9e a8 62 75 74 93 69 74 93 73 68	ard.st.yle.options,....but.it.sh
0e00	6f 75 6c 64 93 6e 6f 74 93 62 90 47 1d 65 93 63 6f 6d 98 62 69 6e 65 64 8e a1 8d 91 3e 00 00 77	ould.not.b.G.e.com.bined....>..w
0e20	69 74 68 96 03 1d 74 d2 66 6c 65 71 6e b2 2c 91 03 28 a1 62 90 47 1d 65 63 61 75 73 65 93 d2 7a	ith...t.fleqn.,..(.b.G.ecause..z
0e40	65 64 93 b2 61 6c 72 65 61 64 79 93 6d 61 6b 9a b8 e3 65 73 93 70 72 6f 98 76 69 73 69 6f 6e 93	ed..already.mak...es.pro.vision.
0e60	66 6f 72 93 73 65 74 74 69 6e 67 93 6d 61 74 68 65 6d 61 74 69 63 73 93 0d 75 73 68 8e a1 8d 91	for.setting.mathematics..ush....
0e80	3e 00 00 6c 65 66 74 2e 91 04 71 c7 41 95 b8 e3 74 9b 03 55 55 70 72 65 73 65 6e 93 74 2c 98 d2	>..left...q.A...t..UUpresen.t,..
0ea0	7a 65 64 98 b2 64 6f 90 47 1d 65 73 98 6e 6f 74 98 77 93 6f 72 6b 98 77 69 74 68 98 53 6c 69 54	zed..do.G.es.not.w.ork.with.SliT
0ec0	8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 2e 8e 9f 20 c3 cc 8d 8d 91 3e 00 00 d1 33 8e 91	...U>..'.E....xX.........>...3..
0ee0	56 4c cb 4d 61 6b 69 6e 67 91 05 66 66 62 90 73 33 6f 90 8c cc 78 65 73 8e 9f 15 e7 1b 8d 91 3e	VL.Making..ffb.s3o...xes.......>
0f00	00 00 b2 54 91 ff 2a aa 6f 96 03 a6 40 70 72 69 6e 9a b8 e3 74 93 61 93 73 63 98 68 65 6d 61 2c	...T..*.o...@prin...t.a.sc.hema,
0f20	91 03 ba 7a 75 73 65 93 74 68 65 93 d2 73 63 68 65 6d 61 93 b2 65 6e 98 76 69 72 6f 6e 6d 65 6e	...zuse.the..schema..en.vironmen
0f40	98 74 2e 91 05 64 87 48 65 72 65 93 69 73 93 61 6e 93 65 78 61 6d 70 6c 65 2c 91 03 ba 7a 73 68	.t...d.Here.is.an.example,...zsh
0f60	6f 98 77 69 6e 67 8e a1 8d 91 3e 00 00 0c 72 73 74 96 03 55 55 74 68 65 93 69 6e 70 75 74 2c 93	o.wing....>...rst..UUthe.input,.
0f80	74 68 65 6e 93 74 68 65 93 6f 75 74 70 75 74 93 66 72 6f 6d 93 4c 8d 9f fd f3 35 8d 91 fc 66 66	then.the.output.from.L....5...ff
0fa0	b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 3a 8e 9f 4e ee 36	.A.......T...U>..'.E....xX:..N.6
0fc0	8d 9f c5 2a ad 8d 91 57 00 02 d2 5c 62 65 67 69 6e 7b 73 63 68 65 6d 61 7d 7b 50 68 6f 6e 65 44	...*...W...\begin{schema}{PhoneD
0fe0	42 7d 8e a1 8d 91 6b ff f6 6b 6e 6f 77 6e 3a 96 05 3f fd 5c 70 6f 77 65 72 93 4e 41 4d 45 93 5c	B}....k..known:..?.\power.NAME.\
1000	5c 93 70 68 6f 6e 65 3a 93 4e 41 4d 45 93 5c 70 66 75 6e 93 50 48 4f 4e 45 8e a1 8d 91 57 00 02	\.phone:.NAME.\pfun.PHONE....W..
1020	5c 77 68 65 72 65 8e a1 8d 91 6b ff f6 6b 6e 6f 77 6e 96 05 3f fd 3d 93 5c 64 6f 6d 93 70 68 6f	\where....k..known..?.=.\dom.pho
1040	6e 65 8e a1 8d 91 57 00 02 5c 65 6e 64 7b 73 63 68 65 6d 61 7d 8e 8e 9f 14 3b 43 8d 8d 8d 91 57	ne....W..\end{schema}....;C....W
1060	00 02 9f 03 99 9c 84 00 04 00 02 00 00 66 66 8d 9f fc 66 64 84 00 00 66 66 00 08 55 53 8e 91 0a	.............ff...fd...ff..US...
1080	00 01 9f fc 66 64 f3 28 fd 00 27 3a 00 0a 00 00 00 0a 00 00 00 06 63 6d 74 69 31 30 d3 50 68 6f	....fd.(..':..........cmti10.Pho
10a0	6e 65 44 42 91 02 b1 42 84 00 00 66 66 00 f0 17 53 8e 8e 8e a1 8d 8d 91 57 00 02 9f 03 99 9c 84	neDB...B...ff...S.......W.......
10c0	00 0c 00 00 00 00 66 66 91 0a 00 01 9f fc 66 64 6b 6e 6f 77 6e 91 03 8b 7b b2 3a 8d 91 02 c7 18	......ff......fdknown...{.:.....
10e0	f3 31 88 b6 16 c8 00 0a 00 00 00 0a 00 00 00 06 6d 73 62 6d 31 30 dc 50 8e 91 0a 8e 32 d3 4e 41	.1..............msbm10.P....2.NA
1100	4d 45 8e 8e a1 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 0a 00 01 9f fc 66 64	ME......W.............ff......fd
1120	70 68 6f 6e 65 91 03 87 73 b2 3a 91 02 c7 18 d3 4e 41 4d 45 8d 8d 8d 91 07 97 76 f3 0d 21 22 2c	phone...s.:.....NAME......v..!",
1140	9a 00 0a 00 00 00 0a 00 00 00 06 63 6d 73 79 31 30 b8 37 8e 8e 8d 8d 91 03 fb 01 21 8e 8e 8e 91	...........cmsy10.7........!....
1160	10 c2 1a d3 50 48 4f 4e 45 8e 8e a4 06 99 9c 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e	....PHONE.........W.........ff..
1180	a8 66 66 8d 8d 91 57 00 02 84 00 00 66 66 00 3c 00 06 8e 8e 9f 03 00 00 8d 8d 91 57 00 02 84 00	.ff...W.....ff.<...........W....
11a0	03 00 00 00 00 66 66 8e 8e 9f 08 66 64 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66	.....ff....fd...W.............ff
11c0	91 0a 00 01 9f fc 66 64 6b 6e 6f 77 6e 91 03 8b 7b b2 3d 8d 91 02 c7 18 64 6f 6d 8e 91 17 55 52	......fdknown...{.=.....dom...UR
11e0	d3 70 68 6f 6e 65 8e 8e a1 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e a6 8d 8d 91 57 00	.phone......W.........ff......W.
1200	02 84 00 00 66 66 01 26 ff fc 8e 8e a9 14 3b 43 8d 91 3e 00 00 b2 54 68 65 96 05 03 78 6e 61 6d	....ff.&......;C..>...The...xnam
1220	65 93 6f 66 93 74 68 65 93 73 63 9a b8 e3 68 65 6d 61 93 61 70 70 90 47 1d 65 61 72 73 93 61 73	e.of.the.sc...hema.app.G.ears.as
1240	93 61 6e 93 61 72 67 75 6d 65 6e 98 74 93 74 6f 93 74 68 65 93 65 6e 98 76 69 72 6f 6e 6d 65 6e	.an.argumen.t.to.the.en.vironmen
1260	98 74 2c 91 05 6f 01 61 6e 64 8e a4 0c 00 00 8d 91 3e 00 00 74 68 65 96 04 b1 c2 68 6f 72 69 7a	.t,..o.and.......>..the....horiz
1280	6f 6e 9a b8 e3 74 61 6c 93 64 69 76 69 64 69 6e 67 93 6c 69 6e 65 93 62 90 47 1d 65 74 98 77 98	on...tal.dividing.line.b.G.et.w.
12a0	65 65 6e 93 64 65 63 6c 61 72 61 74 69 6f 6e 73 93 61 6e 64 93 70 72 65 64 69 63 61 74 65 73 93	een.declarations.and.predicates.
12c0	69 73 93 69 6e 64 69 63 61 74 65 64 8e a1 8d 91 3e 00 00 62 95 b8 e3 79 9b 04 62 75 d2 5c 77 68	is.indicated....>..b...y..bu.\wh
12e0	65 72 65 b2 2e 91 07 99 27 53 75 63 63 65 73 73 69 76 93 65 98 6c 69 6e 65 73 98 69 6e 98 74 68	ere.....'Successiv.e.lines.in.th
1300	65 98 64 65 63 6c 61 72 61 74 69 6f 6e 98 61 6e 64 98 70 72 65 64 69 63 61 74 65 98 70 61 72 74	e.declaration.and.predicate.part
1320	73 98 61 72 65 98 73 65 70 61 2d 8e a1 8d 91 3e 00 00 72 61 74 65 64 96 03 a5 0f 62 9a b8 e3 79	s.are.sepa-....>..rated....b...y
1340	93 74 68 65 93 63 6f 6d 6d 61 6e 64 93 d2 5c 5c b2 2e 91 05 60 f6 49 6e 93 74 68 69 73 93 65 78	.the.command..\\....`.In.this.ex
1360	61 6d 70 6c 65 2c 91 03 b8 fe 74 68 65 93 5a 91 03 a4 fb 73 79 6d 98 62 90 47 1d 6f 6c 73 93 60	ample,....the.Z....sym.b.G.ols.`
1380	8d dc 50 8e 91 06 1c 72 b2 27 2c 91 03 b8 fe 60 8d 8d 8d 91 03 9c 75 b8 37 8e 8e 8d 8d 21 8e 8e	..P....r.',....`......u.7....!..
13a0	8e 91 0a 00 01 b2 27 93 61 6e 64 93 60 8d 64 6f 6d 8e 91 12 e3 92 27 8e a1 8d 91 3e 00 00 68 61	......'.and.`.dom.....'....>..ha
13c0	95 b8 e3 76 93 65 96 03 d5 9b 62 90 47 1d 65 65 6e 93 65 6e 90 b8 e3 74 65 72 65 64 93 61 73 93	...v.e....b.G.een.en...tered.as.
13e0	74 68 65 93 63 6f 6d 6d 61 6e 64 73 93 d2 5c 70 6f 77 65 72 b2 2c 91 03 f5 ad d2 5c 70 66 75 6e	the.commands..\power.,.....\pfun
1400	93 b2 61 6e 64 93 d2 5c 64 6f 6d b2 3a 91 05 72 53 66 6f 72 93 61 93 63 6f 6d 70 6c 65 74 65 8e	..and..\dom.:..rSfor.a.complete.
1420	a1 8d 91 3e 00 00 6c 69 73 74 96 03 55 55 6f 66 93 74 68 65 73 65 93 63 6f 6d 6d 61 6e 64 73 2c	...>..list..UUof.these.commands,
1440	93 73 65 65 93 53 65 63 74 69 6f 6e 93 34 93 62 90 47 1d 65 6c 6f 90 b8 e3 77 2e 8e a1 8d 91 4d	.see.Section.4.b.G.elo...w.....M
1460	00 00 4c 69 6b 9a b8 e3 65 96 03 4a 1e 74 68 65 93 d2 64 69 73 70 6c 61 79 6d 61 74 68 93 b2 65	..Lik...e..J.the..displaymath..e
1480	6e 98 76 69 72 6f 6e 6d 65 6e 98 74 93 6f 66 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91	n.vironmen.t.of.L....5...ff.A...
14a0	00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 2c 91 03 4c 5c 74 68 65 93 d2 73	....T...U>..'.E....xX,..L\the..s
14c0	63 68 65 6d 61 93 b2 65 6e 98 76 69 72 6f 6e 6d 65 6e 98 74 93 28 61 6e 64 8e a1 8d 91 3e 00 00	chema..en.vironmen.t.(and....>..
14e0	74 68 65 96 03 90 6f 6f 74 68 65 72 73 93 77 9a b8 e3 65 93 73 68 61 6c 6c 93 63 6f 6d 65 93 74	the...oothers.w...e.shall.come.t
1500	6f 93 69 6e 93 61 93 6d 6f 6d 65 6e 98 74 29 93 63 61 6e 93 61 70 70 90 47 1d 65 61 72 93 69 6e	o.in.a.momen.t).can.app.G.ear.in
1520	93 74 68 65 93 6d 69 64 64 6c 65 93 6f 66 93 61 93 70 61 72 61 2d 8e a1 8d 91 3e 00 00 67 72 61	.the.middle.of.a.para-....>..gra
1540	70 68 2c 91 03 0c 2d 61 6e 64 96 02 f9 e3 6f 72 64 69 6e 61 72 69 6c 79 93 73 68 6f 75 6c 64 93	ph,...-and....ordinarily.should.
1560	68 61 95 b8 e3 76 93 65 96 02 f9 e3 6e 6f 93 62 6c 61 6e 6b 93 6c 69 6e 65 73 93 65 69 74 68 65	ha...v.e....no.blank.lines.eithe
1580	72 93 62 90 47 1d 65 66 6f 72 65 93 6f 72 93 61 66 74 65 72 93 69 74 2e 91 04 53 4c 42 6c 61 6e	r.b.G.efore.or.after.it...SLBlan
15a0	6b 8e a1 8d 91 3e 00 00 6c 69 6e 65 73 96 03 b1 9b 62 90 47 1d 65 66 6f 72 65 93 74 68 65 93 65	k....>..lines....b.G.efore.the.e
15c0	6e 95 b8 e3 76 69 72 6f 6e 6d 65 6e 93 74 96 03 b1 9b 61 72 65 93 69 67 6e 6f 72 65 64 2c 91 03	n...vironmen.t....are.ignored,..
15e0	c8 ac 62 75 74 93 62 6c 61 6e 6b 93 6c 69 6e 65 73 93 61 66 74 65 72 77 90 b8 e3 61 72 64 73 93	..but.blank.lines.afterw...ards.
1600	63 61 75 73 65 93 74 68 65 8e a1 8d 91 3e 00 00 66 6f 6c 6c 6f 90 b8 e3 77 69 6e 67 96 03 55 55	cause.the....>..follo...wing..UU
1620	74 65 78 74 93 74 6f 93 62 90 47 1d 65 67 69 6e 93 61 93 6e 65 77 93 70 61 72 61 67 72 61 70 68	text.to.b.G.egin.a.new.paragraph
1640	2e 8e a1 8d 91 4d 00 00 46 91 ff 2a aa 6f 72 96 02 b3 d2 61 93 73 63 90 b8 e3 68 65 6d 61 93 77	.....M..F..*.or....a.sc...hema.w
1660	69 74 68 6f 75 74 93 61 93 70 72 65 64 69 63 61 74 65 93 70 61 72 74 2c 91 02 d4 1f 74 68 65 93	ithout.a.predicate.part,....the.
1680	63 6f 6d 6d 61 6e 64 93 d2 5c 77 68 65 72 65 93 b2 69 73 93 73 69 6d 70 6c 79 93 6f 6d 69 74 2d	command..\where..is.simply.omit-
16a0	8e a1 8d 91 3e 00 00 74 65 64 2c 96 03 55 55 61 73 93 69 6e 93 74 68 65 93 66 6f 6c 6c 6f 90 b8	....>..ted,..UUas.in.the.follo..
16c0	e3 77 69 6e 67 93 65 78 61 6d 70 6c 65 3a 8e 9f 36 b8 e1 8d 9f dd 2a ad 8d 91 57 00 02 d2 5c 62	.wing.example:..6.....*...W...\b
16e0	65 67 69 6e 7b 73 63 68 65 6d 61 7d 7b 44 6f 63 75 6d 65 6e 74 5b 43 48 41 52 5d 7d 8e a1 8d 91	egin{schema}{Document[CHAR]}....
1700	6b ff f6 6c 65 66 74 2c 96 05 3f fd 72 69 67 68 74 3a 93 5c 73 65 71 93 43 48 41 52 8e a1 8d 91	k..left,..?.right:.\seq.CHAR....
1720	57 00 02 5c 65 6e 64 7b 73 63 68 65 6d 61 7d 8e 8e a6 8d 8d 8d 91 57 00 02 9f 03 99 9c 84 00 04	W..\end{schema}.......W.........
1740	00 02 00 00 66 66 8d 9f fc 66 64 84 00 00 66 66 00 08 55 53 8e 91 0a 00 01 9f fc 66 64 d3 44 6f	....ff...fd...ff..US.......fd.Do
1760	91 ff 7d 27 63 75 6d 65 6e 74 91 00 f2 d8 b2 5b d3 43 48 41 52 90 63 06 b2 5d 91 01 aa ae 84 00	..}'cument.....[.CHAR.c..]......
1780	00 66 66 00 ca e3 1d 8e 8e 8e a1 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 0a	.ff...........W.............ff..
17a0	00 01 9f fc 66 64 d3 6c 65 66 74 91 00 f2 d8 f3 0a 0b a0 62 3e 00 0a 00 00 00 0a 00 00 00 06 63	....fd.left........b>..........c
17c0	6d 6d 69 31 30 b5 3b 91 01 aa a8 d3 72 69 67 68 74 91 03 b9 f0 b2 3a 8d 91 02 c7 18 73 65 71 8e	mmi10.;.....right.....:.....seq.
17e0	91 12 1c 6b d3 43 48 41 52 8e 8e 9f 06 99 9c 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e	...k.CHAR.........W.........ff..
1800	9e 66 66 8d 8d 91 57 00 02 84 00 00 66 66 01 26 ff fc 8e 8e 8e 9f 1e 00 00 8d 92 00 e8 00 00 b2	.ff...W.....ff.&................
1820	32 8e 8e 8c 8b 00 00 00 03 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	2...............................
1840	00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 0c 51 a0 02 79 00 00 8d a0 fd a3 00 00 a0 02 3f 00	................Q..y..........?.
1860	00 8d a0 fd e4 00 00 8d 91 3e 00 00 b2 54 68 69 73 96 03 55 55 65 78 61 6d 70 6c 65 93 61 6c 73	.........>...This..UUexample.als
1880	6f 93 73 68 6f 9a b8 e3 77 73 93 68 6f 98 77 93 74 6f 93 73 65 74 93 73 63 98 68 65 6d 61 73 93	o.sho...ws.ho.w.to.set.sc.hemas.
18a0	77 69 74 68 93 67 65 6e 65 72 69 63 93 70 61 72 61 6d 65 74 65 72 73 2e 8e a4 0c 00 00 8d 91 4d	with.generic.parameters........M
18c0	00 00 46 91 ff 2a aa 6f 72 96 03 d3 fc 61 78 69 6f 6d 61 74 69 63 93 64 65 73 63 72 69 70 74 69	..F..*.or....axiomatic.descripti
18e0	6f 6e 73 2c 91 03 f3 a6 74 68 65 93 d2 61 78 64 65 66 93 b2 65 6e 95 b8 e3 76 69 72 6f 6e 6d 65	ons,....the..axdef..en...vironme
1900	6e 93 74 96 03 d3 fc 69 73 93 75 73 65 64 2e 91 05 ed bd 48 65 72 65 93 69 73 93 61 6e 93 65 78	n.t....is.used.....Here.is.an.ex
1920	2d 8e a1 8d 91 3e 00 00 61 6d 70 6c 65 3a 8e 9f 4e b8 e1 8d 9f c5 2a ad 8d 91 57 00 02 d2 5c 62	-....>..ample:..N.....*...W...\b
1940	65 67 69 6e 7b 61 78 64 65 66 7d 8e a1 8d 91 6b ff f6 6c 69 6d 69 74 3a 91 05 3f fd 5c 6e 61 74	egin{axdef}....k..limit:..?.\nat
1960	8e a1 8d 91 57 00 02 5c 77 68 65 72 65 8e a1 8d 91 6b ff f6 6c 69 6d 69 74 96 05 3f fd 5c 6c 65	....W..\where....k..limit..?.\le
1980	71 93 36 35 35 33 35 8e a1 8d 91 57 00 02 5c 65 6e 64 7b 61 78 64 65 66 7d 8e 8e a4 12 57 79 8d	q.65535....W..\end{axdef}....Wy.
19a0	8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 0a 00 01 9f fc 66 64 d3 6c 69 6d 69 74	..W.............ff......fd.limit
19c0	91 03 b9 f0 b2 3a 91 02 c7 18 dc 4e 8e 8e a9 06 99 9c 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66	.....:.....N.........W.........f
19e0	66 8e 8e 9e 66 66 8d 8d 91 57 00 02 84 00 00 66 66 00 3c 00 06 8e 8e 9f 03 00 00 8d 8d 91 57 00	f...ff...W.....ff.<...........W.
1a00	02 84 00 03 00 00 00 00 66 66 8e 8e 9f 08 66 64 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00	........ff....fd...W............
1a20	00 66 66 91 0a 00 01 9f fc 66 64 d3 6c 69 6d 69 74 91 03 b9 f0 b8 14 91 02 c7 18 b2 36 35 35 33	.ff......fd.limit...........6553
1a40	35 8e 8e a1 8d 91 3e 00 00 49 6e 96 04 82 05 62 9a 47 1d 6f 74 68 93 6b 69 6e 64 73 93 6f 66 93	5.....>..In....b.G.oth.kinds.of.
1a60	62 98 6f 90 b8 e3 78 2c 91 04 cd 30 70 72 65 64 69 63 61 74 65 73 93 61 6e 64 93 64 65 63 6c 61	b.o...x,...0predicates.and.decla
1a80	72 61 74 69 6f 6e 73 93 63 61 6e 93 62 98 65 93 73 70 6c 69 74 93 62 98 65 74 95 b8 e3 77 93 65	rations.can.b.e.split.b.et...w.e
1aa0	65 6e 91 04 82 05 6c 69 6e 65 73 8e a4 0c 00 00 8d 91 3e 00 00 62 9a 47 1d 65 66 6f 72 65 96 03	en....lines.......>..b.G.efore..
1ac0	55 55 6f 72 93 61 66 74 65 72 93 69 6e 0c 78 65 64 93 73 79 6d 90 b8 e3 62 98 6f 6c 73 2c 93 61	UUor.after.in.xed.sym...b.ols,.a
1ae0	73 93 73 68 6f 9a b8 e3 77 6e 93 69 6e 93 74 68 65 93 66 6f 6c 6c 6f 98 77 69 6e 67 93 65 78 61	s.sho...wn.in.the.follo.wing.exa
1b00	6d 70 6c 65 3a 8e 9f 5a b8 e1 8d 9f b9 2a ad 8d 91 57 00 02 d2 5c 62 65 67 69 6e 7b 61 78 64 65	mple:..Z.....*...W...\begin{axde
1b20	66 7d 8e a1 8d 91 6b ff f6 70 6f 6c 69 63 79 3a 96 05 3f fd 5c 70 6f 77 65 72 5f 31 93 52 45 53	f}....k..policy:..?.\power_1.RES
1b40	4f 55 52 43 45 93 5c 66 75 6e 93 52 45 53 4f 55 52 43 45 8e a1 8d 91 57 00 02 5c 77 68 65 72 65	OURCE.\fun.RESOURCE....W..\where
1b60	8e a1 8d 91 6b ff f6 5c 66 6f 72 61 6c 6c 96 05 3f fd 53 3a 93 5c 70 6f 77 65 72 5f 31 93 52 45	....k..\forall..?.S:.\power_1.RE
1b80	53 4f 55 52 43 45 93 40 93 5c 5c 8e a1 8d 91 57 00 02 5c 74 31 91 2f 3f e5 70 6f 6c 69 63 79 28	SOURCE.@.\\....W..\t1./?.policy(
1ba0	53 29 96 05 3f fd 5c 69 6e 93 53 8e a1 8d 91 57 00 02 5c 65 6e 64 7b 61 78 64 65 66 7d 8e 8e 9f	S)..?.\in.S....W..\end{axdef}...
1bc0	12 57 79 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 0a 00 01 9f fc 66 64 d3 70	.Wy...W.............ff......fd.p
1be0	91 ff 7d 27 6f 6c 69 63 79 91 03 a9 95 b2 3a 8d 91 02 c7 18 dc 50 8e 8d 91 08 e3 8a 9f 02 ff ff	..}'olicy.....:......P..........
1c00	b1 31 8e 91 0f 0a a5 d3 52 45 53 4f 55 52 95 be 93 43 45 91 03 fb 01 b8 21 91 02 c7 18 d3 52 45	.1......RESOUR...CE.....!.....RE
1c20	53 4f 55 52 93 43 45 8e 8e a6 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e 9e 66 66 8d 8d	SOUR.CE......W.........ff...ff..
1c40	91 57 00 02 84 00 00 66 66 00 3c 00 06 8e 8e 9f 03 00 00 8d 8d 91 57 00 02 84 00 03 00 00 00 00	.W.....ff.<...........W.........
1c60	66 66 8e 8e 9f 08 66 64 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 8d 91 0a 00 01	ff....fd...W.............ff.....
1c80	9f fc 66 64 b8 38 8e 91 11 38 e3 9f fc 66 64 d3 53 91 03 f9 95 b2 3a 8d 91 02 c7 18 dc 50 8e 8d	..fd.8...8...fd.S.....:......P..
1ca0	91 08 e3 8a 9f 02 ff ff b1 31 8e 91 0f 0a a5 d3 52 45 53 4f 55 52 90 be 93 43 45 91 03 fb 01 b8	.........1......RESOUR...CE.....
1cc0	0f 8e 8e a1 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 1e 00 03 9f fc 66 64 d3	.......W.............ff......fd.
1ce0	70 91 ff 7d 27 6f 6c 69 63 79 91 00 e2 7d b2 28 d3 53 91 01 32 7d b2 29 96 02 c7 18 b8 32 93 d3	p..}'olicy...}.(.S..2}.).....2..
1d00	53 8e 8e 9f 12 57 79 8d 91 3e 00 00 b2 54 68 65 96 02 96 f7 73 74 72 61 6e 67 65 93 68 69 6e 9a	S....Wy..>...The....strange.hin.
1d20	b8 e3 74 93 d2 5c 74 31 93 b2 69 6e 93 74 68 69 73 93 65 78 61 6d 70 6c 65 93 6d 61 6b 98 65 73	..t..\t1..in.this.example.mak.es
1d40	93 74 68 65 93 63 6f 72 72 65 73 70 90 47 1d 6f 6e 64 69 6e 67 93 6c 69 6e 65 93 69 6e 93 74 68	.the.corresp.G.onding.line.in.th
1d60	65 93 6f 75 74 70 75 74 8e a1 8d 91 3e 00 00 68 61 95 b8 e3 76 93 65 96 03 c7 1a 6f 6e 65 93 68	e.output....>..ha...v.e....one.h
1d80	65 6c 70 69 6e 67 93 6f 66 93 69 6e 64 65 6e 9a b8 e3 74 61 74 69 6f 6e 2e 91 05 c7 17 41 73 93	elping.of.inden...tation.....As.
1da0	74 68 69 6e 67 73 93 67 65 74 93 6d 6f 72 65 93 6e 65 73 74 65 64 2c 91 03 e3 8b 79 98 6f 75 93	things.get.more.nested,....y.ou.
1dc0	63 61 6e 93 73 61 98 79 93 d2 5c 74 32 b2 2c 8e a1 8d 91 3e 00 00 d2 5c 74 33 b2 2c 91 03 33 0b	can.sa.y..\t2.,....>...\t3.,..3.
1de0	61 6e 64 96 03 2a 78 73 6f 93 6f 6e 2e 91 04 63 7d 42 75 74 93 69 66 93 79 9a b8 e3 6f 75 93 73	and..*xso.on...c}But.if.y...ou.s
1e00	68 6f 75 6c 64 93 65 76 98 65 72 93 67 65 74 93 62 90 47 1d 65 79 98 6f 6e 64 93 d2 74 39 b2 2c	hould.ev.er.get.b.G.ey.ond..t9.,
1e20	91 03 33 0b 79 98 6f 75 27 6c 6c 93 6e 65 65 64 93 74 6f 93 75 73 65 93 62 72 61 63 65 73 8e a1	..3.y.ou'll.need.to.use.braces..
1e40	8d 91 3e 00 00 61 72 6f 75 6e 64 96 03 7f 30 74 68 65 93 61 72 67 75 6d 65 6e 9a b8 e3 74 3a 91	..>..around...0the.argumen...t:.
1e60	04 c5 7c d2 5c 74 7b 31 30 7d b2 2c 91 03 89 a6 61 6e 64 93 79 98 6f 75 27 64 93 62 9a 47 1d 65	..|.\t{10}.,....and.y.ou'd.b.G.e
1e80	74 74 65 72 93 6c 6f 98 6f 6b 93 66 6f 72 93 73 6f 6d 65 93 77 95 b8 e3 61 93 79 96 03 7f 30 74	tter.lo.ok.for.some.w...a.y...0t
1ea0	6f 93 73 69 6d 70 6c 69 66 79 8e a1 8d 91 3e 00 00 79 90 b8 e3 6f 75 72 91 03 55 55 73 70 90 47	o.simplify....>..y...our..UUsp.G
1ec0	1d 65 63 69 0c 63 61 74 69 6f 6e 21 8e a1 8d 91 4d 00 00 54 68 69 73 96 04 30 21 73 79 73 74 65	.eci.cation!....M..This..0!syste
1ee0	6d 93 6f 66 93 74 61 62 93 73 74 6f 70 73 93 69 73 93 61 93 6c 69 74 74 6c 65 93 63 72 75 64 65	m.of.tab.stops.is.a.little.crude
1f00	2c 91 04 66 d4 62 75 74 93 69 74 93 69 73 93 65 61 73 69 65 72 93 74 6f 93 75 73 65 93 74 68 61	,..f.but.it.is.easier.to.use.tha
1f20	6e 93 74 68 65 8e a1 8d 91 3e 00 00 61 6c 74 65 72 6e 61 74 69 76 9a b8 e3 65 73 2c 91 03 1b 63	n.the....>..alternativ...es,...c
1f40	61 6e 64 96 03 0c e6 75 73 75 61 6c 6c 79 93 67 69 76 98 65 73 93 61 63 63 65 70 74 61 62 6c 65	and....usually.giv.es.acceptable
1f60	93 72 65 73 75 6c 74 73 2e 91 04 59 a2 54 68 65 93 d2 5c 74 d3 6e 91 03 d1 49 b2 63 6f 6d 6d 61	.results...Y.The..\t.n...I.comma
1f80	6e 64 73 93 61 72 65 93 63 6f 6d 2d 8e a1 8d 91 3e 00 00 70 6c 65 74 65 6c 79 96 03 a9 42 69 67	nds.are.com-....>..pletely...Big
1fa0	6e 6f 72 65 64 93 62 9a b8 e3 79 93 74 68 65 93 74 98 79 70 90 47 1d 65 2d 63 98 68 65 63 98 6b	nored.b...y.the.t.yp.G.e-c.hec.k
1fc0	98 65 72 2c 91 03 be 3d 73 6f 93 79 98 6f 75 93 61 72 65 93 66 72 65 65 93 74 6f 93 75 73 65 93	.er,...=so.y.ou.are.free.to.use.
1fe0	74 68 65 6d 93 61 73 93 79 98 6f 75 93 6c 69 6b 98 65 93 74 6f 8e a1 8d 91 3e 00 00 69 6d 70 72	them.as.y.ou.lik.e.to....>..impr
2000	6f 95 b8 e3 76 93 65 96 03 0c c8 74 68 65 93 6c 6f 9a 47 1d 6f 6b 93 6f 66 93 79 90 b8 e3 6f 75	o...v.e....the.lo.G.ok.of.y...ou
2020	72 93 73 70 98 65 63 69 0c 63 61 74 69 6f 6e 2e 91 04 59 98 54 68 65 93 73 69 7a 65 93 6f 66 93	r.sp.eci.cation...Y.The.size.of.
2040	60 68 65 6c 70 69 6e 67 27 93 79 90 b8 e3 6f 75 93 67 65 74 93 77 69 74 68 93 d2 5c 74 d3 6e 91	`helping'.y...ou.get.with..\t.n.
2060	03 d1 2b b2 69 73 8e a1 8d 91 3e 00 00 61 96 03 55 55 73 74 90 b8 e3 79 6c 65 93 70 61 72 61 6d	..+.is....>..a..UUst...yle.param
2080	65 74 65 72 93 d2 5c 7a 65 64 69 6e 64 65 6e 74 b2 2c 93 61 6e 64 93 74 68 65 93 64 65 66 61 75	eter..\zedindent.,.and.the.defau
20a0	6c 74 93 69 73 93 32 65 6d 2e 8e a1 8d 91 4d 00 00 46 91 ff 2a aa 6f 72 96 03 55 55 67 65 6e 65	lt.is.2em.....M..F..*.or..UUgene
20c0	72 69 63 93 64 65 0c 6e 69 74 69 6f 6e 73 2c 93 74 68 65 72 65 27 73 93 74 68 65 93 d2 67 65 6e	ric.de.nitions,.there's.the..gen
20e0	64 65 66 93 b2 65 6e 95 b8 e3 76 69 72 6f 6e 6d 65 6e 93 74 3a 91 04 71 c7 66 6f 72 91 03 55 55	def..en...vironmen.t:..q.for..UU
2100	65 78 61 6d 70 6c 65 2c 8e 9f 5c 63 8f 8d 9f b7 c7 1c 8d 91 57 00 02 d2 5c 62 65 67 69 6e 7b 67	example,..\c........W...\begin{g
2120	65 6e 64 65 66 7d 5b 58 2c 59 5d 8e a1 8d 91 6b ff f6 66 69 72 73 74 3a 96 05 3f fd 58 93 5c 63	endef}[X,Y]....k..first:..?.X.\c
2140	72 6f 73 73 93 59 93 5c 66 75 6e 93 58 8e a1 8d 91 57 00 02 5c 77 68 65 72 65 8e a1 8d 91 6b ff	ross.Y.\fun.X....W..\where....k.
2160	f6 5c 66 6f 72 61 6c 6c 96 05 3f fd 78 3a 93 58 3b 93 79 3a 93 59 93 40 93 5c 5c 8e a1 8d 91 57	.\forall..?.x:.X;.y:.Y.@.\\....W
2180	00 02 5c 74 31 91 1a 3f f1 66 69 72 73 74 28 78 2c 79 29 96 05 3f fd 3d 93 78 8e a1 8d 91 57 00	..\t1..?.first(x,y)..?.=.x....W.
21a0	02 5c 65 6e 64 7b 67 65 6e 64 65 66 7d 8e 8e 8e 9f 1e 00 00 8d 92 00 e8 00 00 b2 33 8e 8e 8c 8b	.\end{gendef}..............3....
21c0	00 00 00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	................................
21e0	00 00 00 00 00 00 00 00 00 00 18 24 a0 02 79 00 00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d a0 fd e4	...........$..y..........?......
2200	00 00 8d 8d 8d 8d 91 57 00 02 9f 01 00 00 84 00 03 66 66 00 00 66 66 8d 9f fd 00 00 84 00 00 66	.......W.........ff..ff........f
2220	66 00 08 55 53 8e 91 28 0d 5b 9f fd 00 00 84 00 00 66 66 00 fe 8c 3b 8e 8e 8d 91 57 00 02 9f 03	f..US..(.[.......ff...;....W....
2240	99 9c 84 00 04 00 02 00 00 66 66 8d 9f fc 66 64 84 00 00 66 66 00 08 55 53 8e 8d 91 0a 00 01 9f	.........ff...fd...ff..US.......
2260	fc 66 64 b2 5b d3 58 91 01 94 9f b5 3b 91 01 aa a8 d3 59 91 01 f0 36 b2 5d 8e 91 28 0d 5b 9f fc	.fd.[.X.....;.....Y...6.]..(.[..
2280	66 64 84 00 00 66 66 00 fe 8c 3b 8e 8e 8e a4 0c 00 00 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00	fd...ff...;..........W..........
22a0	00 00 00 66 66 91 0a 00 01 9f fc 66 64 d3 0c 72 73 74 91 03 b9 f0 b2 3a 96 02 c7 18 d3 58 91 03	...ff......fd..rst.....:.....X..
22c0	cd 7f b8 02 91 02 38 e0 d3 59 91 04 b7 4e b8 21 93 d3 58 8e 8e a9 06 99 9c 8d 8d 91 57 00 02 84	......8..Y...N.!..X.........W...
22e0	00 03 00 00 00 00 66 66 8e 8e 9e 66 66 8d 8d 91 57 00 02 84 00 00 66 66 00 3c 00 06 8e 8e 9f 03	......ff...ff...W.....ff.<......
2300	00 00 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e 9f 08 66 64 8d 8d 91 57 00 02 9f 03 99	.....W.........ff....fd...W.....
2320	9c 84 00 0c 00 00 00 00 66 66 8d 91 0a 00 01 9f fc 66 64 b8 38 8e 91 11 38 e3 9f fc 66 64 d3 78	........ff.......fd.8...8...fd.x
2340	91 03 fb 5c b2 3a 96 02 c7 18 d3 58 91 01 94 9f b2 3b 91 04 71 c0 d3 79 91 03 a9 95 b2 3a 93 d3	...\.:.....X.....;..q..y.....:..
2360	59 91 04 b7 4e b8 0f 8e 8e a1 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 1e 00	Y...N........W.............ff...
2380	03 9f fc 66 64 d3 0c 72 73 74 91 00 f2 d8 b2 28 d3 78 91 01 34 44 b5 3b 91 01 aa a8 d3 79 91 00	...fd..rst.....(.x..4D.;.....y..
23a0	e2 7d b2 29 96 02 c7 18 3d 93 d3 78 8e 8e a6 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e	.}.)....=..x......W.........ff..
23c0	9e 66 66 8d 8d 91 57 00 02 84 00 00 66 66 01 26 ff fc 8e 8e a9 14 00 82 8d 91 3e 00 00 b2 49 6e	.ff...W.....ff.&..........>...In
23e0	96 04 47 71 74 68 69 73 93 65 6e 95 b8 e3 76 69 72 6f 6e 6d 65 6e 93 74 2c 91 04 83 f8 74 68 65	..Gqthis.en...vironmen.t,....the
2400	96 04 47 71 66 6f 72 6d 61 6c 93 67 65 6e 65 72 69 63 93 70 61 72 6d 65 74 65 72 73 93 61 72 65	..Gqformal.generic.parmeters.are
2420	93 61 6e 93 6f 70 74 69 6f 6e 61 6c 93 61 72 67 75 6d 65 6e 90 b8 e3 74 2e 8e a1 8d 91 3e 00 00	.an.optional.argumen...t.....>..
2440	4f 6d 69 74 74 69 6e 67 96 04 6c 2d 74 68 69 73 93 61 72 67 75 6d 65 6e 9a b8 e3 74 93 72 65 73	Omitting..l-this.argumen...t.res
2460	75 6c 74 73 93 69 6e 93 61 93 62 90 47 1d 6f 98 78 93 77 69 74 68 93 61 93 73 6f 6c 69 64 93 64	ults.in.a.b.G.o.x.with.a.solid.d
2480	6f 75 62 6c 65 93 62 61 72 93 61 74 93 74 68 65 93 74 6f 70 2c 8e a1 8d 91 3e 00 00 77 68 69 63	ouble.bar.at.the.top,....>..whic
24a0	9a b8 e3 68 96 03 55 55 63 61 6e 93 62 90 47 1d 65 93 75 73 65 64 93 66 6f 72 93 75 6e 69 71 75	...h..UUcan.b.G.e.used.for.uniqu
24c0	65 6c 79 93 64 65 0c 6e 69 6e 67 93 6e 6f 6e 2d 67 65 6e 65 72 69 63 93 63 6f 6e 73 74 61 6e 98	ely.de.ning.non-generic.constan.
24e0	74 73 2e 8e a1 8d 91 4d 00 00 49 66 96 03 ce c2 61 93 73 63 9a b8 e3 68 65 6d 61 93 6f 72 93 6f	ts.....M..If....a.sc...hema.or.o
2500	74 68 65 72 93 62 90 47 1d 6f 98 78 93 63 6f 6e 98 74 61 69 6e 73 93 6d 6f 72 65 93 74 68 61 6e	ther.b.G.o.x.con.tains.more.than
2520	93 6f 6e 65 93 70 72 65 64 69 63 61 74 65 93 62 90 47 1d 65 6c 6f 98 77 93 74 68 65 93 6c 69 6e	.one.predicate.b.G.elo.w.the.lin
2540	65 2c 8e a1 8d 91 3e 00 00 69 74 96 03 bb 8c 6f 66 74 65 6e 93 6c 6f 9a 47 1d 6f 6b 73 93 62 98	e,....>..it....often.lo.G.oks.b.
2560	65 74 74 65 72 93 74 6f 93 61 64 64 93 61 93 73 6d 61 6c 6c 93 76 90 b8 e3 65 72 74 69 63 61 6c	etter.to.add.a.small.v...ertical
2580	93 73 70 61 63 65 93 62 98 65 74 95 b8 e3 77 93 65 65 6e 96 03 bb 8c 74 68 65 6d 2e 91 05 a4 6b	.space.b.et...w.een....them....k
25a0	54 68 69 73 93 63 61 6e 93 62 98 65 8e a1 8d 91 3e 00 00 64 6f 6e 65 96 03 55 55 77 69 74 68 93	This.can.b.e....>..done..UUwith.
25c0	74 68 65 93 63 6f 6d 6d 61 6e 64 93 d2 5c 61 6c 73 6f b2 3a 8e 9f 65 9c 6d 8d 9f ad 2a ad 8d 91	the.command..\also.:..e.m...*...
25e0	57 00 02 d2 5c 62 65 67 69 6e 7b 73 63 68 65 6d 61 7d 7b 41 64 64 50 68 6f 6e 65 7d 8e a1 8d 91	W...\begin{schema}{AddPhone}....
2600	6b ff f6 5c 44 65 6c 74 61 96 05 3f fd 50 68 6f 6e 65 44 42 93 5c 5c 93 6e 61 6d 65 3f 3a 93 4e	k..\Delta..?.PhoneDB.\\.name?:.N
2620	41 4d 45 93 5c 5c 93 6e 75 6d 62 65 72 3f 3a 93 50 48 4f 4e 45 8e a1 8d 91 57 00 02 5c 77 68 65	AME.\\.number?:.PHONE....W..\whe
2640	72 65 8e a1 8d 91 6b ff f6 6e 61 6d 65 3f 96 05 3f fd 5c 6e 6f 74 69 6e 93 6b 6e 6f 77 6e 8e a1	re....k..name?..?.\notin.known..
2660	8d 91 57 00 02 5c 61 6c 73 6f 8e a1 8d 91 6b ff f6 70 68 6f 6e 65 27 96 05 3f fd 3d 93 70 68 6f	..W..\also....k..phone'..?.=.pho
2680	6e 65 93 5c 6f 70 6c 75 73 93 5c 7b 6e 61 6d 65 3f 93 5c 6d 61 70 73 74 6f 93 6e 75 6d 62 65 72	ne.\oplus.\{name?.\mapsto.number
26a0	3f 5c 7d 8e a1 8d 91 57 00 02 5c 65 6e 64 7b 73 63 68 65 6d 61 7d 8e 8e a6 8d 8d 8d 91 57 00 02	?\}....W..\end{schema}.......W..
26c0	9f 03 99 9c 84 00 04 00 02 00 00 66 66 8d 9f fc 66 64 84 00 00 66 66 00 08 55 53 8e 91 0a 00 01	...........ff...fd...ff..US.....
26e0	9f fc 66 64 d3 41 91 ff 7d 27 64 64 50 68 6f 6e 65 91 02 6b 09 84 00 00 66 66 00 ed cf 54 8e 8e	..fd.A..}'ddPhone..k....ff...T..
2700	8e a1 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 0a 00 01 9f fc 66 64 b2 01 d3	.....W.............ff......fd...
2720	50 68 6f 6e 65 44 42 8e 8e a1 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 0a 00	PhoneDB......W.............ff...
2740	01 9f fc 66 64 6e 61 6d 65 91 00 c0 5b b2 3f 96 02 c7 18 3a 93 d3 4e 41 4d 45 8e 8e a1 8d 8d 91	...fdname...[.?....:..NAME......
2760	57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 0a 00 01 9f fc 66 64 6e 75 6d 62 91 ff 7d 27	W.............ff......fdnumb..}'
2780	65 72 91 01 13 8d b2 3f 96 02 c7 18 3a 93 d3 50 48 4f 4e 45 8e 8e a9 06 99 9c 8d 8d 91 57 00 02	er.....?....:..PHONE.........W..
27a0	84 00 03 00 00 00 00 66 66 8e 8e 9e 66 66 8d 8d 91 57 00 02 84 00 00 66 66 00 3c 00 06 8e 8e 9f	.......ff...ff...W.....ff.<.....
27c0	03 00 00 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e a4 08 66 64 8d 8d 91 57 00 02 9f 03	......W.........ff....fd...W....
27e0	99 9c 84 00 0c 00 00 00 00 66 66 91 0a 00 01 9f fc 66 64 6e 61 6d 65 91 00 c0 5b b2 3f 8d 8d 8d	.........ff......fdname...[.?...
2800	8d 91 03 e3 8a b5 3d 8e 8e 8d 8d 91 02 c7 18 b8 32 8e 8e 8e 8e 91 0c 38 dc d3 6b 6e 6f 77 6e 8e	......=.........2......8..known.
2820	8e 9f 09 99 9c 8d 8d 91 57 00 02 84 00 06 00 00 00 00 66 66 8e 8e a1 8d 8d 91 57 00 02 9f 03 99	........W.........ff......W.....
2840	9c 84 00 0c 00 00 00 00 66 66 91 0a 00 01 9f fc 66 64 70 68 6f 6e 65 8d 91 00 c0 5b 9f fc 5e ff	........ff......fdphone....[..^.
2860	f3 0c 4f 21 e2 85 00 07 00 00 00 07 00 00 00 05 63 6d 73 79 37 b7 30 8e 91 06 55 ac b2 3d 96 02	..O!............cmsy7.0...U..=..
2880	c7 18 d3 70 68 6f 6e 65 91 02 f9 3b b8 08 91 02 38 e0 66 d3 6e 61 6d 65 91 00 c0 5b b2 3f 93 b8	...phone...;....8.f.name...[.?..
28a0	37 21 93 d3 6e 75 6d 62 91 ff 7d 27 65 72 91 01 13 8d b2 3f b8 67 8e 8e a6 8d 8d 91 57 00 02 84	7!..numb..}'er.....?.g......W...
28c0	00 03 00 00 00 00 66 66 8e 8e 9e 66 66 8d 8d 91 57 00 02 84 00 00 66 66 01 26 ff fc 8e 8e a9 14	......ff...ff...W.....ff.&......
28e0	00 82 8d 91 4d 00 00 b2 53 6f 6d 65 96 03 91 70 5a 91 03 91 60 70 61 72 61 67 72 61 70 68 73 93	....M...Some...pZ...`paragraphs.
2900	64 6f 93 6e 6f 74 93 61 70 70 9a 47 1d 65 61 72 93 69 6e 93 62 98 6f 9a b8 e3 78 65 73 2c 91 03	do.not.app.G.ear.in.b.o...xes,..
2920	a0 77 61 6e 64 93 66 6f 72 93 74 68 65 73 65 93 74 68 65 93 d2 7a 65 64 93 b2 65 6e 98 76 69 72	.wand.for.these.the..zed..en.vir
2940	6f 6e 2d 8e a4 0c 00 00 8d 91 3e 00 00 6d 65 6e 90 b8 e3 74 96 03 55 55 69 73 93 75 73 65 64 3a	on-.......>..men...t..UUis.used:
2960	8e 9f 70 c7 1a 8d 9f a1 2a ad 8d 91 57 00 02 d2 5c 62 65 67 69 6e 7b 7a 65 64 7d 8e a1 8d 91 6b	..p.....*...W...\begin{zed}....k
2980	ff f6 5b 4e 41 4d 45 2c 91 05 3f fd 44 41 54 45 5d 8e a1 8d 91 57 00 02 5c 61 6c 73 6f 8e a1 8d	..[NAME,..?.DATE]....W..\also...
29a0	91 6b ff f6 52 45 50 4f 52 54 96 05 3f fd 3a 3a 3d 93 6f 6b 93 7c 93 75 6e 6b 6e 6f 77 6e 93 5c	.k..REPORT..?.::=.ok.|.unknown.\
29c0	6c 64 61 74 61 93 4e 41 4d 45 93 5c 72 64 61 74 61 8e a1 8d 91 57 00 02 5c 61 6c 73 6f 8e a1 8d	ldata.NAME.\rdata....W..\also...
29e0	91 6b ff f6 5c 65 78 69 73 74 73 96 05 3f fd 6e 3a 93 4e 41 4d 45 93 40 93 5c 5c 8e a1 8d 91 57	.k..\exists..?.n:.NAME.@.\\....W
2a00	00 02 5c 74 31 91 1a 3f f1 62 69 72 74 68 64 61 79 28 6e 29 96 05 3f fd 5c 69 6e 93 44 65 63 65	..\t1..?.birthday(n)..?.\in.Dece
2a20	6d 62 65 72 2e 8e a1 8d 91 57 00 02 5c 65 6e 64 7b 7a 65 64 7d 8e 8e a6 8d 8d 91 57 00 02 b2 5b	mber.....W..\end{zed}......W...[
2a40	d3 4e 41 4d 45 96 01 33 e9 b5 3b 91 01 aa a8 d3 44 90 be 93 41 91 ff 3b bc 54 45 93 b2 5d 8e 8e	.NAME..3..;.....D...A..;.TE..]..
2a60	a4 10 66 d0 8d 8d 91 57 00 02 d3 52 45 50 4f 52 91 ff 3b bc 54 91 04 1b b6 b2 3a 3a 3d 96 02 c7	..f....W...REPOR..;.T.....::=...
2a80	18 d3 6f 6b 91 03 da a5 b8 6a 93 d3 75 6e 6b 6e 6f 77 6e 91 00 c4 63 b8 68 96 fe 55 58 68 d3 4e	..ok.....j..unknown...c.h..UXh.N
2aa0	41 4d 45 91 01 33 e9 b8 69 93 69 8e 8e a1 8d 8d 8d 91 57 00 02 39 8e 91 5e 38 e4 d3 6e 91 03 8b	AME..3..i.i.......W..9..^8..n...
2ac0	7b b2 3a 91 02 c7 18 d3 4e 41 4d 45 91 03 fb 01 b8 0f 8e 8e 9f 0c 00 00 8d 8d 91 6b 00 04 d3 62	{.:.....NAME...............k...b
2ae0	69 72 74 68 64 61 79 91 00 e2 7d b2 28 d3 6e 91 00 c4 63 b2 29 96 02 c7 18 b8 32 93 d3 44 65 96	irthday...}.(.n...c.).....2..De.
2b00	ff 7d 27 63 93 65 6d 62 93 65 72 91 01 13 8d b5 3a 8e 8e 8e 9f 1e 00 00 8d 92 00 e8 00 00 b2 34	.}'c.emb.er.....:..............4
2b20	8e 8e 8c 8b 00 00 00 05 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	................................
2b40	00 00 00 00 00 00 00 00 00 00 00 00 00 00 21 bf a0 02 79 00 00 8d a0 fd a3 00 00 a0 02 3f 00 00	..............!...y..........?..
2b60	8d a0 fd e4 00 00 8d 91 3e 00 00 b2 54 68 69 73 9b 04 be 4b 65 6e 95 b8 e3 76 69 72 6f 6e 6d 65	........>...This...Ken...vironme
2b80	6e 93 74 98 73 68 6f 75 6c 64 98 62 90 47 1d 65 98 75 73 65 64 98 66 6f 72 98 62 61 73 69 63 98	n.t.should.b.G.e.used.for.basic.
2ba0	74 93 79 70 90 47 1d 65 98 64 65 0c 6e 69 74 69 6f 6e 73 2c 9b 05 18 88 63 6f 6e 73 74 72 61 69	t.yp.G.e.de.nitions,....constrai
2bc0	6e 93 74 73 2c 98 61 62 2d 8e a4 0c 00 00 8d 91 3e 00 00 62 72 65 76 69 61 74 69 6f 6e 96 03 a6	n.ts,.ab-.......>..breviation...
2be0	96 64 65 0c 6e 69 74 69 6f 6e 73 2c 9b 03 ba e6 66 72 65 65 93 74 90 b8 e3 79 70 90 47 1d 65 93	.de.nitions,....free.t...yp.G.e.
2c00	64 65 0c 6e 69 74 69 6f 6e 73 2c 98 61 6e 64 93 74 68 65 93 68 6f 72 69 7a 6f 6e 9a b8 e3 74 61	de.nitions,.and.the.horizon...ta
2c20	6c 93 66 6f 72 6d 93 6f 66 93 73 63 98 68 65 6d 61 8e a1 8d 91 3e 00 00 64 65 0c 6e 69 74 69 6f	l.form.of.sc.hema....>..de.nitio
2c40	6e 73 2e 91 07 dc 0a 41 73 96 04 78 c1 74 68 65 93 65 78 61 6d 70 6c 65 93 69 6c 6c 75 73 74 72	ns.....As..x.the.example.illustr
2c60	61 74 65 73 2c 91 04 c1 9b 61 93 66 75 6c 6c 93 73 74 6f 70 93 6f 72 93 63 6f 6d 6d 61 93 69 73	ates,....a.full.stop.or.comma.is
2c80	93 61 6c 6c 6f 95 b8 e3 77 93 65 64 91 04 78 c1 6a 75 73 74 8e a1 8d 91 3e 00 00 62 90 47 1d 65	.allo...w.ed..x.just....>..b.G.e
2ca0	66 6f 72 65 96 04 33 88 74 68 65 93 63 6c 6f 73 69 6e 67 93 d2 5c 65 6e 64 93 b2 63 6f 6d 6d 61	fore..3.the.closing..\end..comma
2cc0	6e 64 93 6f 66 93 61 6e 9a b8 e3 79 93 6f 66 93 74 68 65 93 5a 91 04 33 4e 65 6e 98 76 69 72 6f	nd.of.an...y.of.the.Z..3Nen.viro
2ce0	6e 6d 65 6e 98 74 73 2c 91 04 6b 14 69 66 93 74 68 61 74 93 73 75 69 74 73 8e a1 8d 91 3e 00 00	nmen.ts,..k.if.that.suits....>..
2d00	79 9a b8 e3 6f 75 72 96 03 6d 80 74 61 73 74 65 93 28 6f 72 93 69 73 93 66 6f 72 63 65 64 93 6f	y...our..m.taste.(or.is.forced.o
2d20	6e 93 79 98 6f 75 93 62 98 79 93 61 93 70 75 62 6c 69 73 68 65 72 27 73 93 68 6f 75 73 65 93 72	n.y.ou.b.y.a.publisher's.house.r
2d40	75 6c 65 73 29 2e 91 04 ba 48 54 68 69 73 93 70 75 6e 63 74 75 61 74 69 6f 6e 8e a1 8d 91 3e 00	ules)....HThis.punctuation....>.
2d60	00 69 73 96 03 55 55 69 67 6e 6f 72 65 64 93 62 9a b8 e3 79 93 74 68 65 93 74 98 79 70 90 47 1d	.is..UUignored.b...y.the.t.yp.G.
2d80	65 2d 63 98 68 65 63 98 6b 98 65 72 2e 8e a1 8d 91 4d 00 00 46 91 ff 2a aa 6f 72 96 04 7f a5 6c	e-c.hec.k.er.....M..F..*.or....l
2da0	61 72 67 65 93 66 72 65 65 93 74 9a b8 e3 79 70 90 47 1d 65 93 64 65 0c 6e 69 74 69 6f 6e 73 2c	arge.free.t...yp.G.e.de.nitions,
2dc0	91 04 ca 39 74 68 65 93 d2 73 79 6e 74 61 78 93 b2 65 6e 98 76 69 72 6f 6e 6d 65 6e 98 74 93 70	...9the..syntax..en.vironmen.t.p
2de0	72 6f 98 76 69 64 65 73 93 61 93 75 73 65 66 75 6c 8e a1 8d 91 3e 00 00 61 6c 74 65 72 6e 61 74	ro.vides.a.useful....>..alternat
2e00	69 76 9a b8 e3 65 96 03 55 55 74 6f 93 74 68 65 93 d2 7a 65 64 93 b2 65 6e 98 76 69 72 6f 6e 6d	iv...e..UUto.the..zed..en.vironm
2e20	65 6e 98 74 2c 93 61 73 93 74 68 65 93 66 6f 6c 6c 6f 98 77 69 6e 67 93 65 78 61 6d 70 6c 65 93	en.t,.as.the.follo.wing.example.
2e40	73 75 67 67 65 73 74 73 3a 8e 9f 5c 1c 72 8d 9f b7 c7 1c 8d 91 57 00 02 d2 5c 62 65 67 69 6e 7b	suggests:..\.r.......W...\begin{
2e60	73 79 6e 74 61 78 7d 8e a1 8d 91 6b ff f6 4f 50 96 05 3f fd 26 93 3a 3a 3d 93 26 93 70 6c 75 73	syntax}....k..OP..?.&.::=.&.plus
2e80	93 7c 93 6d 69 6e 75 73 93 7c 93 74 69 6d 65 73 93 7c 93 64 69 76 69 64 65 8e a1 8d 91 57 00 02	.|.minus.|.times.|.divide....W..
2ea0	5c 61 6c 73 6f 8e a1 8d 91 6b ff f6 45 58 50 96 05 3f fd 26 93 3a 3a 3d 93 26 93 63 6f 6e 73 74	\also....k..EXP..?.&.::=.&.const
2ec0	93 5c 6c 64 61 74 61 93 5c 6e 61 74 93 5c 72 64 61 74 61 93 5c 5c 8e a1 8d 92 00 80 ff ea 26 96	.\ldata.\nat.\rdata.\\........&.
2ee0	05 3f fd 7c 93 26 93 62 69 6e 6f 70 93 5c 6c 64 61 74 61 93 4f 50 93 5c 63 72 6f 73 73 93 45 58	.?.|.&.binop.\ldata.OP.\cross.EX
2f00	50 93 5c 63 72 6f 73 73 93 45 58 50 93 5c 72 64 61 74 61 8e a1 8d 91 57 00 02 5c 65 6e 64 7b 73	P.\cross.EXP.\rdata....W..\end{s
2f20	79 6e 74 61 78 7d 8e 8e a9 16 00 00 8d 8d 91 57 00 02 d3 4f 50 8e 8d 91 6f cd a6 b2 3a 3a 3d 8e	yntax}.........W...OP...o...::=.
2f40	8d 91 7f ea 16 d3 70 6c 75 73 96 03 99 39 b8 6a 9b 02 c7 18 d3 6d 69 6e 75 73 93 b8 6a 98 d3 74	......plus...9.j.....minus..j..t
2f60	69 6d 65 73 93 b8 6a 98 d3 64 69 76 69 64 65 8e 8e 9f 12 00 00 8d 8d 91 57 00 02 45 58 50 8e 8d	imes..j..divide.........W..EXP..
2f80	91 6f cd a6 b2 3a 3a 3d 8e 8d 91 7f ea 16 d3 63 91 ff 7d 27 6f 6e 73 74 91 00 f2 d8 b8 68 96 fe	.o...::=.......c..}'onst.....h..
2fa0	55 58 68 dc 4e b8 69 93 69 8e 8e a1 8d 8d 91 75 14 c4 6a 8e 8d 91 7f ea 16 d3 62 69 6e 6f 70 91	UXh.N.i.i......u..j.......binop.
2fc0	00 a1 98 b8 68 91 fe 55 58 68 d3 4f 50 96 03 3f 74 b8 02 9b 02 38 e0 d3 45 58 50 93 b8 02 98 d3	....h..UXh.OP..?t....8..EXP.....
2fe0	45 58 50 91 01 06 94 b8 69 91 fe 55 58 69 8e 8e a6 8d 91 3e 00 00 b2 4a 75 73 74 96 04 40 ff 61	EXP.....i..UXi.....>...Just..@.a
3000	73 93 69 6e 93 74 68 65 93 d2 65 71 6e 61 72 72 61 79 93 b2 65 6e 95 b8 e3 76 69 72 6f 6e 6d 65	s.in.the..eqnarray..en...vironme
3020	6e 93 74 96 04 40 ff 6f 66 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d	n.t..@.of.L....5...ff.A.......T.
3040	91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 2c 91 04 7b e9 74 68 65 93 0c 65 6c 64 73 93 61 72	..U>..'.E....xX,..{.the..elds.ar
3060	65 93 73 65 70 61 72 61 74 65 64 93 62 90 b8 e3 79 93 d2 26 8e a1 8d 91 3e 00 00 b2 63 9a b8 e3	e.separated.b...y..&....>...c...
3080	68 61 72 61 63 74 65 72 73 2c 96 03 55 55 61 6e 64 93 74 68 65 73 65 93 61 72 65 93 69 67 6e 6f	haracters,..UUand.these.are.igno
30a0	72 65 64 93 62 98 79 93 74 68 65 93 74 98 79 70 90 47 1d 65 2d 63 98 68 65 63 98 6b 98 65 72 2e	red.b.y.the.t.yp.G.e-c.hec.k.er.
30c0	8e 9f 21 11 c4 8d 8d 91 3e 00 00 d1 34 8e 91 56 4c cb 49 6e 73 69 64 65 96 05 66 66 74 68 65 93	..!.....>...4..VL.Inside..ffthe.
30e0	62 90 73 33 6f 90 8c cc 78 65 73 8e 9f 15 e7 1b 8d 91 3e 00 00 b2 54 68 65 96 03 29 03 0c 72 73	b.s3o...xes.......>...The..)..rs
3100	74 93 74 68 69 6e 67 93 74 6f 93 6e 6f 74 69 63 65 93 61 62 9a 47 1d 6f 75 74 93 74 68 65 93 74	t.thing.to.notice.ab.G.out.the.t
3120	65 78 74 93 69 6e 73 69 64 65 93 74 68 65 93 62 98 6f 9a b8 e3 78 65 73 93 69 73 93 74 68 61 74	ext.inside.the.b.o...xes.is.that
3140	93 6d 98 75 6c 74 69 2d 63 98 68 61 72 61 63 74 65 72 8e a1 8d 91 3e 00 00 69 64 65 6e 90 b8 e3	.m.ulti-c.haracter....>..iden...
3160	74 69 0c 65 72 73 96 02 38 e3 6c 6f 9a 47 1d 6f 6b 93 62 98 65 74 74 65 72 93 74 68 61 6e 93 74	ti.ers..8.lo.G.ok.b.etter.than.t
3180	68 65 79 93 64 6f 93 77 69 74 68 93 6f 72 64 69 6e 61 72 79 93 4c 8d 9f fd f3 35 8d 91 fc 66 66	hey.do.with.ordinary.L....5...ff
31a0	b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 3a 91 03 e3 8e 69	.A.......T...U>..'.E....xX:....i
31c0	6e 73 74 65 61 64 93 6f 66 93 b5 73 70 65 63 69 66 91 01 13 8f 69 63 61 74 69 6f 6e 73 b2 2c 8e	nstead.of..specif....ications.,.
31e0	a1 8d 91 3e 00 00 79 9a b8 e3 6f 75 96 04 3e 34 67 65 74 93 d3 73 70 96 ff 7d 27 65 93 63 69 0c	...>..y...ou..>4get..sp..}'e.ci.
3200	63 93 61 74 69 6f 6e 73 91 00 d2 21 b2 2e 91 07 2c 64 54 68 65 96 04 3e 34 6c 65 74 74 65 72 73	c.ations...!....,dThe..>4letters
3220	93 61 72 65 93 6e 6f 74 93 73 70 72 65 61 64 93 61 70 61 72 74 2c 91 04 78 6b 61 6e 64 93 6c 69	.are.not.spread.apart,..xkand.li
3240	67 61 74 75 72 65 73 93 6c 69 6b 98 65 93 d3 0c 8e a1 8d 91 3e 00 00 b2 61 72 65 96 03 ea 38 75	gatures.lik.e.......>...are...8u
3260	73 65 64 2e 91 06 30 70 54 68 69 73 93 69 73 93 61 63 95 b8 e3 68 69 65 76 93 65 64 9b 03 ea 38	sed...0pThis.is.ac...hiev.ed...8
3280	62 93 79 98 61 6e 98 61 64 6a 75 73 74 6d 65 6e 93 74 98 74 6f 98 74 68 65 98 77 93 61 93 79 98	b.y.an.adjustmen.t.to.the.w.a.y.
32a0	54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 98 74 72 65 61 74 73 98 6c 65 74 74 65 72 73	T...U>..'.E....xX.treats.letters
32c0	98 69 6e 8e a1 8d 91 3e 00 00 6d 61 74 68 65 6d 61 74 69 63 61 6c 96 03 89 26 66 6f 72 6d 90 b8	.in....>..mathematical...&form..
32e0	e3 75 6c 61 73 2c 91 03 96 1a 61 6e 64 93 6e 6f 93 73 70 90 47 1d 65 63 69 61 6c 93 63 6f 6d 6d	.ulas,....and.no.sp.G.ecial.comm
3300	61 6e 64 73 93 61 72 65 93 6e 65 65 64 65 64 93 69 6e 93 74 68 65 93 69 6e 70 75 74 93 0c 6c 65	ands.are.needed.in.the.input..le
3320	2e 8e a1 8d 91 3e 00 00 45 6d 9a b8 e3 62 90 47 1d 65 64 64 65 64 96 03 3a ce 75 6e 64 65 72 6c	.....>..Em...b.G.edded..:.underl
3340	69 6e 65 93 63 98 68 61 72 61 63 74 65 72 73 93 63 61 6e 93 62 90 47 1d 65 93 73 65 74 93 77 69	ine.c.haracters.can.b.G.e.set.wi
3360	74 68 93 74 68 65 93 d2 5c 5f 93 b2 63 6f 6d 6d 61 6e 64 2c 91 03 40 1d 77 68 69 63 98 68 93 69	th.the..\_..command,..@.whic.h.i
3380	73 93 61 6c 73 6f 8e a1 8d 91 3e 00 00 75 73 65 64 96 04 76 63 66 6f 72 93 64 75 6d 6d 9a b8 e3	s.also....>..used..vcfor.dumm...
33a0	79 93 61 72 67 75 6d 65 6e 98 74 73 93 6f 66 93 6f 70 90 47 1d 65 72 61 74 6f 72 73 3a 91 06 b3	y.argumen.ts.of.op.G.erators:...
33c0	e2 d2 6e 6f 74 5c 5f 6b 6e 6f 77 6e 93 b2 67 69 76 98 65 73 93 d3 6e 6f 74 8d 91 00 f2 d8 89 00	..not\_known..giv.es..not.......
33e0	00 66 66 00 05 00 00 8e 91 05 f2 d8 6b 6e 6f 77 6e 91 00 c4 63 b2 2c 91 04 be a6 61 6e 64 8e a1	.ff.........known...c.,....and..
3400	8d 91 3e 00 00 d2 5c 5f 96 05 3f fd 2b 93 5c 5f 96 03 55 55 b2 67 69 76 90 b8 e3 65 73 8d 93 89	..>...\_..?.+.\_..UU.giv...es...
3420	00 00 66 66 00 05 00 00 8e 96 0a 8e 35 2b 8d 91 02 38 e0 89 00 00 66 66 00 05 00 00 8e 93 2e 8e	..ff........5+...8....ff........
3440	a1 8d 91 4d 00 00 54 68 65 96 03 cf 83 76 91 ff 71 c7 61 72 69 6f 75 73 93 73 70 9a 47 1d 65 63	...M..The....v..q.arious.sp.G.ec
3460	69 61 6c 93 73 79 6d 90 b8 e3 62 98 6f 6c 73 93 6f 66 93 74 68 65 93 5a 91 03 cf 63 6c 61 6e 67	ial.sym...b.ols.of.the.Z...clang
3480	75 61 67 65 93 61 6e 64 93 6c 69 62 72 61 72 79 93 68 61 95 b8 e3 76 93 65 91 03 cf 83 6d 6e 65	uage.and.library.ha...v.e....mne
34a0	6d 6f 6e 69 63 8e a1 8d 91 3e 00 00 6e 61 6d 65 73 2e 91 08 62 84 53 6f 6d 65 96 04 a5 94 6f 66	monic....>..names...b.Some....of
34c0	93 74 68 65 73 65 93 6e 61 6d 65 73 93 61 72 65 93 74 68 65 93 73 61 6d 65 93 61 73 93 69 6e 93	.these.names.are.the.same.as.in.
34e0	6f 72 64 69 6e 61 72 79 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91	ordinary.L....5...ff.A.......T..
3500	fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 2c 91 04 f9 a3 61 6e 64 93 73 6f 6d 65 8e a1 8d 91 3e	.U>..'.E....xX,....and.some....>
3520	00 00 73 79 6d 95 b8 e3 62 90 47 1d 6f 6c 73 9b 04 6e 36 68 61 93 76 93 65 98 6e 65 77 98 6e 61	..sym...b.G.ols..n6ha.v.e.new.na
3540	6d 65 73 98 6d 6f 72 65 98 73 75 67 67 65 73 74 69 76 93 65 98 6f 66 98 74 68 65 69 72 98 6d 65	mes.more.suggestiv.e.of.their.me
3560	61 6e 69 6e 67 98 69 6e 98 5a 2e 98 54 68 65 98 73 70 61 63 65 73 8e a1 8d 91 3e 00 00 69 6e 73	aning.in.Z..The.spaces....>..ins
3580	65 72 74 65 64 96 03 29 03 61 72 6f 75 6e 64 93 74 68 65 93 73 79 6d 9a b8 e3 62 90 47 1d 6f 6c	erted..).around.the.sym...b.G.ol
35a0	73 93 68 61 98 76 98 65 93 62 90 47 1d 65 65 6e 93 61 64 6a 75 73 74 65 64 93 74 6f 93 6d 61 6b	s.ha.v.e.b.G.een.adjusted.to.mak
35c0	98 65 93 74 68 65 6d 93 6c 6f 9a 47 1d 6f 6b 93 62 98 65 74 74 65 72 93 69 6e 93 5a 8e a1 8d 91	.e.them.lo.G.ok.b.etter.in.Z....
35e0	3e 00 00 73 70 90 47 1d 65 63 69 0c 63 61 74 69 6f 6e 73 2e 8e a1 8d 91 4d 00 00 41 91 03 6f 6b	>..sp.G.eci.cations.....M..A..ok
3600	66 65 77 96 03 6f 72 73 79 6d 9a b8 e3 62 90 47 1d 6f 6c 73 93 68 61 98 76 98 65 93 74 98 77 98	few..orsym...b.G.ols.ha.v.e.t.w.
3620	6f 93 6e 61 6d 65 73 2c 91 03 75 f9 72 65 0d 65 63 74 69 6e 67 93 74 98 77 98 6f 93 64 69 0b 65	o.names,..u.re.ecting.t.w.o.di.e
3640	72 65 6e 98 74 93 75 73 65 73 93 66 6f 72 93 74 68 65 93 73 79 6d 98 62 90 47 1d 6f 6c 8e a1 8d	ren.t.uses.for.the.sym.b.G.ol...
3660	91 3e 00 00 69 6e 96 03 4f c6 5a 2e 93 54 68 65 93 73 79 6d 90 b8 e3 62 9a 47 1d 6f 6c 8d 8d 8d	.>..in..O.Z..The.sym...b.G.ol...
3680	9f fd 6a aa 8d 8d 93 f3 05 86 03 9b 5a 00 05 00 00 00 05 00 00 00 04 63 6d 72 35 b0 6f 8e 8e 9f	..j.........Z..........cmr5.o...
36a0	04 30 e2 8d 8d 93 39 8e 8e 8e 8e 8e 91 0a 06 ac b2 69 73 93 63 61 6c 6c 65 64 93 d2 5c 73 65 6d	.0....9..........is.called..\sem
36c0	69 93 b2 77 68 65 6e 93 69 74 93 69 73 93 75 73 65 64 93 61 73 93 61 6e 93 6f 70 98 65 72 61 74	i..when.it.is.used.as.an.op.erat
36e0	69 6f 6e 93 6f 6e 93 73 63 90 b8 e3 68 65 6d 61 73 2c 8e a1 8d 91 3e 00 00 61 6e 64 96 03 70 70	ion.on.sc...hemas,....>..and..pp
3700	d2 5c 63 6f 6d 70 93 b2 77 68 65 6e 93 69 74 93 69 73 93 75 73 65 64 93 66 6f 72 93 63 6f 6d 70	.\comp..when.it.is.used.for.comp
3720	9a 47 1d 6f 73 69 74 69 6f 6e 93 6f 66 93 72 65 6c 61 74 69 6f 6e 73 2e 91 04 c3 18 54 68 65 93	.G.osition.of.relations.....The.
3740	73 79 6d 90 b8 e3 62 98 6f 6c 93 b8 6e 93 b2 69 73 93 63 61 6c 6c 65 64 8e a1 8d 91 3e 00 00 d2	sym...b.ol..n..is.called....>...
3760	5c 68 69 64 65 96 03 09 3a b2 61 73 93 74 68 65 93 68 69 64 69 6e 67 93 6f 70 90 47 1d 65 72 61	\hide...:.as.the.hiding.op.G.era
3780	74 6f 72 93 6f 66 93 74 68 65 93 73 63 90 b8 e3 68 65 6d 61 93 63 61 6c 63 75 6c 75 73 2c 91 03	tor.of.the.sc...hema.calculus,..
37a0	18 72 61 6e 64 93 d2 5c 73 65 74 6d 69 6e 75 73 93 b2 66 6f 72 93 74 68 65 93 73 65 74 8e a1 8d	.rand..\setminus..for.the.set...
37c0	91 3e 00 00 64 69 0b 65 72 65 6e 63 65 96 03 db 59 6f 70 9a 47 1d 65 72 61 74 6f 72 2e 91 06 03	.>..di.erence...Yop.G.erator....
37e0	d2 54 68 65 93 73 79 6d 90 b8 e3 62 98 6f 6c 93 f3 2e 97 b3 ee cd 00 0a 00 00 00 0a 00 00 00 06	.The.sym...b.ol.................
3800	6d 73 61 6d 31 30 d9 16 93 b2 69 73 93 63 61 6c 6c 65 64 93 d2 70 72 6f 6a 65 63 74 93 b2 61 73	msam10....is.called..project..as
3820	93 74 68 65 93 73 63 90 b8 e3 68 65 6d 61 93 70 72 6f 91 00 8e 38 6a 65 63 74 69 6f 6e 8e a1 8d	.the.sc...hema.pro...8jection...
3840	91 3e 00 00 6f 70 90 47 1d 65 72 61 74 6f 72 2c 91 02 f7 03 61 6e 64 96 02 df 6f d2 5c 66 69 6c	.>..op.G.erator,....and...o.\fil
3860	74 65 72 93 b2 66 6f 72 93 0c 6c 74 65 72 69 6e 67 93 6f 66 93 73 65 71 75 65 6e 63 65 73 2e 91	ter..for..ltering.of.sequences..
3880	04 4a 7b 54 68 65 93 73 70 61 63 65 73 93 61 72 6f 75 6e 64 93 74 68 65 93 73 63 90 b8 e3 68 65	.J{The.spaces.around.the.sc...he
38a0	6d 61 8e 8e 9f 1e 00 00 8d 92 00 e8 00 00 35 8e 8e 8c 8b 00 00 00 06 00 00 00 00 00 00 00 00 00	ma............5.................
38c0	00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 2b 23 a0	.............................+#.
38e0	02 79 00 00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d a0 fd e4 00 00 8d 91 3e 00 00 b2 6f 70 9a 47 1d	.y..........?..........>...op.G.
3900	65 72 61 74 69 6f 6e 73 96 02 ee df 61 72 65 93 61 93 6c 69 74 74 6c 65 93 6c 61 72 67 65 72 2c	erations....are.a.little.larger,
3920	91 03 03 5d 61 6e 64 93 74 68 65 93 74 95 b8 e3 79 70 98 65 2d 63 93 68 65 63 93 6b 93 65 72 96	...]and.the.t...yp.e-c.hec.k.er.
3940	02 ee df 72 65 63 6f 67 6e 69 7a 65 73 93 65 61 63 90 b8 e3 68 93 6e 61 6d 65 93 6f 6e 6c 79 93	...recognizes.eac...h.name.only.
3960	69 6e 8e a4 0c 00 00 8d 91 3e 00 00 74 68 65 96 03 55 55 61 70 70 72 6f 70 72 69 61 74 65 93 63	in.......>..the..UUappropriate.c
3980	6f 6e 90 b8 e3 74 65 78 74 2e 8e a1 8d 91 4d 00 00 46 91 ff 2a aa 6f 72 96 03 0a c1 6d 6f 73 74	on...text.....M..F..*.or....most
39a0	93 73 79 6d 95 b8 e3 62 90 47 1d 6f 6c 73 2c 91 03 19 ac 74 93 77 93 6f 96 03 0a c1 61 74 74 72	.sym...b.G.ols,....t.w.o....attr
39c0	69 62 75 74 65 73 93 61 72 65 93 6f 66 93 69 6e 9a b8 e3 74 65 72 65 73 74 3a 91 04 4c 7d 74 68	ibutes.are.of.in...terest:..L}th
39e0	65 93 73 79 6e 98 74 61 63 74 69 63 93 63 6c 61 73 73 93 28 f3 3d 6d 23 bd 52 00 0a 00 00 00 0a	e.syn.tactic.class.(.=m#.R......
3a00	00 00 00 06 63 6d 73 73 31 30 e8 49 6e 2d 46 98 75 6e b2 2c 8e a1 8d 91 3e 00 00 2e 96 01 aa aa	....cmss10.In-F.un.,....>.......
3a20	2e 93 2e 93 29 91 04 53 b6 61 73 73 69 67 6e 65 64 96 02 fb 21 74 6f 93 69 74 93 62 9a b8 e3 79	....)..S.assigned...!to.it.b...y
3a40	93 74 68 65 93 74 98 79 70 90 47 1d 65 2d 63 98 68 65 63 98 6b 98 65 72 2c 91 03 0d 2b 61 6e 64	.the.t.yp.G.e-c.hec.k.er,...+and
3a60	93 74 68 65 93 6b 69 6e 64 93 6f 66 93 73 79 6d 98 62 90 47 1d 6f 6c 93 4c 8d 9f fd f3 35 8d 91	.the.kind.of.sym.b.G.ol.L....5..
3a80	fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 67 65	.ff.A.......T...U>..'.E....xX.ge
3aa0	6e 65 72 61 74 65 73 8e a1 8d 91 3e 00 00 66 72 6f 6d 96 04 01 e3 69 74 2e 91 06 77 70 54 68 65	nerates....>..from....it...wpThe
3ac0	93 0c 72 73 74 93 6f 66 93 74 68 65 73 65 93 61 0b 65 63 74 73 93 74 68 65 93 70 61 72 73 69 6e	..rst.of.these.a.ects.the.parsin
3ae0	67 93 6f 66 93 61 6e 93 65 78 70 72 65 73 73 69 6f 6e 93 63 6f 6e 90 b8 e3 74 61 69 6e 69 6e 67	g.of.an.expression.con...taining
3b00	93 74 68 65 8e a1 8d 91 3e 00 00 73 79 6d 9a b8 e3 62 90 47 1d 6f 6c 2c 91 03 0b 8c 61 6e 64 96	.the....>..sym...b.G.ol,....and.
3b20	02 f9 1a 74 68 65 93 73 65 63 6f 6e 64 93 61 0b 65 63 74 73 93 74 68 65 93 77 98 61 98 79 93 73	...the.second.a.ects.the.w.a.y.s
3b40	70 61 63 65 73 93 77 69 6c 6c 93 62 90 47 1d 65 93 69 6e 73 65 72 74 65 64 93 77 68 65 6e 93 74	paces.will.b.G.e.inserted.when.t
3b60	68 65 93 65 78 70 72 65 73 2d 8e a1 8d 91 3e 00 00 73 69 6f 6e 96 04 4b d7 69 73 93 70 72 69 6e	he.expres-....>..sion..K.is.prin
3b80	9a b8 e3 74 65 64 2e 91 07 55 4d 49 6e 93 74 68 65 93 64 65 73 63 72 69 70 74 69 6f 6e 93 62 90	...ted...UMIn.the.description.b.
3ba0	47 1d 65 6c 6f 98 77 2c 96 04 89 77 60 74 68 69 6e 27 2c 93 60 6d 65 64 69 75 6d 27 96 04 4b d7	G.elo.w,...w`thin',.`medium'..K.
3bc0	61 6e 64 93 60 74 68 69 63 98 6b 27 93 73 70 61 63 65 73 8e a1 8d 91 3e 00 00 61 72 65 96 04 91	and.`thic.k'.spaces....>..are...
3be0	52 74 68 65 93 73 61 6d 65 93 61 73 93 74 68 6f 73 65 93 70 72 6f 90 47 1d 64 75 63 65 64 93 62	Rthe.same.as.those.pro.G.duced.b
3c00	90 b8 e3 79 93 74 68 65 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91	...y.the.L....5...ff.A.......T..
3c20	fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 63 6f 6d 6d 61 6e 64 73 93 d2 5c 2c 93 b2 61 6e 64	.U>..'.E....xX.commands..\,..and
3c40	93 d2 5c 3a 93 b2 61 6e 64 93 d2 5c 3b 8e a1 8d 91 3e 00 00 b2 72 65 73 70 90 47 1d 65 63 74 69	..\:..and..\;....>...resp.G.ecti
3c60	76 90 b8 e3 65 6c 79 91 ff 2a aa 2e 8e a1 8d 91 4d 00 00 48 65 72 65 96 03 55 55 61 72 65 93 74	v...ely..*......M..Here..UUare.t
3c80	68 65 93 6d 6e 65 6d 6f 6e 69 63 73 93 66 6f 72 93 74 68 65 93 62 61 73 69 63 93 65 6c 65 6d 65	he.mnemonics.for.the.basic.eleme
3ca0	6e 90 b8 e3 74 73 93 6f 66 93 74 68 65 93 5a 93 6c 61 6e 67 75 61 67 65 3a 8e a9 53 e6 c1 8d 8d	n...ts.of.the.Z.language:..S....
3cc0	8d 8d 8d 9f c0 66 64 8d 8d 8d 91 3e 00 00 dc 50 8e 8e 8d 91 50 55 58 d2 5c 70 6f 77 65 72 8e 8e	.....fd....>...P....PUX.\power..
3ce0	a1 8d 8d 91 3e 00 00 b8 02 8e 8d 91 50 55 58 d2 5c 63 72 6f 73 73 8e 8e a1 8d 8d 91 3e 00 00 b8	....>.......PUX.\cross......>...
3d00	32 8e 8d 91 50 55 58 d2 5c 69 6e 8e 8e a1 8d 8d 91 3e 00 00 b8 6a 8e 8d 91 50 55 58 d2 7c 96 03	2...PUX.\in......>...j...PUX.|..
3d20	55 55 b2 6f 72 93 d2 5c 6d 69 64 8e 8e a1 8d 8d 91 3e 00 00 b8 0f 8e 8d 91 50 55 58 d2 40 96 03	UU.or..\mid......>.......PUX.@..
3d40	55 55 b2 6f 72 93 d2 5c 73 70 6f 74 8e 8e a1 8d 8d 91 3e 00 00 b5 12 8e 8d 91 50 55 58 d2 5c 74	UU.or..\spot......>.......PUX.\t
3d60	68 65 74 61 8e 8e 8e 8e 8d 8d 9f c0 66 64 8d 8d 8d 92 00 ea 80 00 b5 15 8e 8e 8d 92 00 fc d5 58	heta........fd.................X
3d80	d2 5c 6c 61 6d 62 64 61 8e 8e a1 8d 8d 8d 92 00 ea 80 00 b5 16 8e 8e 8d 92 00 fc d5 58 d2 5c 6d	.\lambda....................X.\m
3da0	75 8e 8e a1 8d 8d 92 00 ea 80 00 b2 01 8e 8d 92 00 fc d5 58 d2 5c 44 65 6c 74 61 8e 8e a1 8d 8d	u..................X.\Delta.....
3dc0	92 00 ea 80 00 b2 04 8e 8d 92 00 fc d5 58 d2 5c 58 69 8e 8e a1 8d 8d 8d 8d 8d 92 00 eb 9c 72 f3	.............X.\Xi............r.
3de0	00 fa b1 75 12 00 0a 00 00 00 0a 00 00 00 06 63 6d 65 78 31 30 ab 62 8e 8d 92 00 ea 80 00 b2 3d	...u...........cmex10.b........=
3e00	8e 8e 8e 8e 8d 92 00 fc d5 58 d2 5c 64 65 66 73 8e 8e 8e 8e 8e 8e 8e 9f 11 5b 5e 8d 91 3e 00 00	.........X.\defs.........[^..>..
3e20	b2 54 68 65 96 04 a8 11 6f 70 9a 47 1d 65 72 61 74 6f 72 73 93 6f 66 93 70 72 6f 70 98 6f 73 69	.The....op.G.erators.of.prop.osi
3e40	74 69 6f 6e 61 6c 93 6c 6f 67 69 63 93 61 6e 64 93 74 68 65 93 73 63 9a b8 e3 68 65 6d 61 93 63	tional.logic.and.the.sc...hema.c
3e60	61 6c 63 75 6c 75 73 93 61 72 65 93 61 73 93 66 6f 6c 6c 6f 98 77 73 2e 8e a1 8d 91 3e 00 00 4d	alculus.are.as.follo.ws.....>..M
3e80	61 6e 9a b8 e3 79 96 04 64 f2 6f 66 93 74 68 65 73 65 93 6e 61 6d 65 73 93 61 72 65 93 61 6c 72	an...y..d.of.these.names.are.alr
3ea0	65 61 64 79 93 64 65 0c 6e 65 64 93 62 98 79 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91	eady.de.ned.b.y.L....5...ff.A...
3ec0	00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 2c 91 04 a8 d8 62 75 74 93 74 68	....T...U>..'.E....xX,....but.th
3ee0	65 93 73 70 61 63 69 6e 67 93 69 73 93 6f 66 74 65 6e 8e a1 8d 91 3e 00 00 61 64 6a 75 73 74 65	e.spacing.is.often....>..adjuste
3f00	64 96 03 55 55 74 6f 93 6d 61 6b 90 b8 e3 65 93 74 68 65 6d 93 6c 6f 9a 47 1d 6f 6b 93 62 98 65	d..UUto.mak...e.them.lo.G.ok.b.e
3f20	74 74 65 72 93 69 6e 93 5a 93 73 70 98 65 63 69 0c 63 61 74 69 6f 6e 73 2e 8e a6 8d 8d 8d 8d 8d	tter.in.Z.sp.eci.cations........
3f40	9f c0 66 64 8d 8d 91 3e 00 00 b8 3a 8e 8d 91 58 b1 c5 d2 5c 6c 6e 6f 74 8e 8e a1 8d 8d 8d 91 3e	..fd...>...:...X...\lnot.......>
3f60	00 00 b8 5e 8e 8e 8d 91 58 b1 c5 d2 5c 6c 61 6e 64 8e 8e a1 8d 8d 8d 91 3e 00 00 b8 5f 8e 8e 8d	...^....X...\land.......>..._...
3f80	91 58 b1 c5 d2 5c 6c 6f 72 8e 8e a1 8d 8d 91 3e 00 00 b8 29 8e 8d 91 58 b1 c5 d2 5c 69 6d 70 6c	.X...\lor......>...)...X...\impl
3fa0	69 65 73 8e 8e a1 8d 8d 91 3e 00 00 b8 2c 8e 8d 91 58 b1 c5 d2 5c 69 66 66 8e 8e a1 8d 8d 8d 91	ies......>...,...X...\iff.......
3fc0	3e 00 00 b8 38 8e 8e 8d 91 58 b1 c5 d2 5c 66 6f 72 61 6c 6c 8e 8e 8e 8e 8d 8d 9f c0 66 64 8d 8d	>...8....X...\forall........fd..
3fe0	8d 92 00 ea 80 00 b8 39 8e 8e 8d 92 01 05 31 c5 d2 5c 65 78 69 73 74 73 8e 8e a1 8d 8d 8d 92 00	.......9......1..\exists........
4000	ea 80 00 b8 39 8e 8d 92 00 f0 0e 3a 9f 02 ff ff b1 31 8e 8e 8d 92 01 05 31 c5 d2 5c 65 78 69 73	....9......:.....1......1..\exis
4020	74 73 5f 31 8e 8e a1 8d 8d 92 00 ea 80 00 b8 6e 8e 8d 92 01 05 31 c5 d2 5c 68 69 64 65 8e 8e a1	ts_1...........n.....1..\hide...
4040	8d 8d 92 00 ea 80 00 d9 16 8e 8d 92 01 05 31 c5 d2 5c 70 72 6f 6a 65 63 74 8e 8e a1 8d 8d 8d 92	..............1..\project.......
4060	00 ea 80 00 b2 70 72 65 8e 8e 8d 92 01 05 31 c5 d2 5c 70 72 65 8e 8e a1 8d 8d 8d 8d 8d 9f fd 6a	.....pre......1..\pre..........j
4080	aa 8d 8d 92 00 ea 80 00 b0 6f 8e 8e 9f 04 30 e2 8d 8d 92 00 ea 80 00 39 8e 8e 8e 8e 8e 8e 8d 92	.........o....0........9........
40a0	01 05 31 c5 d2 5c 73 65 6d 69 8e 8e 8e 8e 8e 8e 8e a9 11 5b 5e 8d 91 3e 00 00 b2 48 65 72 65 96	..1..\semi.........[^..>...Here.
40c0	03 55 55 61 72 65 93 74 68 65 93 76 91 ff 71 c7 61 72 69 6f 75 73 93 73 6f 72 74 73 93 6f 66 93	.UUare.the.v..q.arious.sorts.of.
40e0	66 61 6e 63 79 93 62 72 61 63 95 b8 e3 6b 93 65 74 73 3a 8e 9f 2f e6 c1 8d 8d 8d 8d 8d 9f e4 66	fancy.brac...k.ets:../.........f
4100	64 8d 8d 91 3e 00 00 b8 66 8d b5 3a 96 01 aa a8 3a 93 3a 8e 91 0b aa a7 b8 67 8e 8d 91 70 8e 2f	d...>...f..:....:.:......g...p./
4120	d2 5c 7b 96 05 3f fd 2e 2e 2e 93 5c 7d 8e 8e a1 8d 8d 91 3e 00 00 b8 68 8d b5 3a 96 01 aa a8 3a	.\{..?.....\}......>...h..:....:
4140	93 3a 8e 91 0b aa a7 b8 69 8e 8d 91 70 8e 2f d2 5c 6c 61 6e 67 6c 65 96 05 3f fd 2e 2e 2e 93 5c	.:......i...p./.\langle..?.....\
4160	72 61 6e 67 6c 65 8e 8e a1 8d 8d 8d 91 3e 00 00 b2 5b 8e 8d 91 3f aa ad 5b 8e 8d 91 44 1c 72 b5	rangle.......>...[...?..[...D.r.
4180	3a 96 01 aa a8 3a 93 3a 8e 8d 91 51 71 c1 b2 5d 8e 8d 91 53 1c 6e 5d 8e 8e 8d 91 70 8e 2f d2 5c	:....:.:...Qq..]...S.n]....p./.\
41a0	6c 62 61 67 96 05 3f fd 2e 2e 2e 93 5c 72 62 61 67 8e 8e 8e 8e 8d 8d 9f e4 66 64 8d 8d 92 00 ea	lbag..?.....\rbag........fd.....
41c0	80 00 b8 68 96 fe 55 58 68 8d b5 3a 96 01 aa a8 3a 93 3a 8e 91 0b aa a7 b8 69 93 69 8e 8d 92 01	...h..UXh..:....:.:......i.i....
41e0	1d 0e 2f d2 5c 6c 64 61 74 61 96 05 3f fd 2e 2e 2e 93 5c 72 64 61 74 61 8e 8e a1 8d 8d 8d 92 00	../.\ldata..?.....\rdata........
4200	ea 80 00 b5 3a 96 01 aa a8 3a 93 3a 8e 92 00 f7 d5 4f b2 28 96 fe 55 58 b8 6a 8d 91 02 c7 18 b5	....:....:.:.....O.(..UX.j......
4220	3a 96 01 aa a8 3a 93 3a 8e 91 11 38 d7 b8 6a 93 b2 29 8e 8d 92 01 1d 0e 2f d2 2e 2e 2e 96 05 3f	:....:.:...8..j..)....../......?
4240	fd 5c 6c 69 6d 67 93 2e 2e 2e 93 5c 72 69 6d 67 8e 8e 8e 8e 8e 8e 8e a6 8d 91 3e 00 00 b2 54 68	.\limg.....\rimg..........>...Th
4260	6f 73 65 96 04 95 9c 61 72 65 93 61 6c 6c 93 74 68 65 93 73 79 6d 9a b8 e3 62 90 47 1d 6f 6c 73	ose....are.all.the.sym...b.G.ols
4280	93 60 62 75 69 6c 74 2d 69 6e 27 93 74 6f 93 74 68 65 93 5a 91 04 95 49 6c 61 6e 67 75 61 67 65	.`built-in'.to.the.Z...Ilanguage
42a0	3b 91 05 35 bf 6e 6f 98 77 93 66 6f 72 93 74 68 65 93 73 79 6d 98 62 90 47 1d 6f 6c 73 8e a1 8d	;..5.no.w.for.the.sym.b.G.ols...
42c0	91 3e 00 00 64 65 0c 6e 65 64 96 03 32 2e 61 73 93 70 61 72 74 93 6f 66 93 74 68 65 93 6d 61 74	.>..de.ned..2.as.part.of.the.mat
42e0	68 65 6d 61 74 69 63 61 6c 93 74 6f 9a 47 1d 6f 6c 2d 6b 69 74 2e 91 04 66 0f 46 69 72 73 74 93	hematical.to.G.ol-kit...f.First.
4300	63 6f 6d 65 93 74 68 65 93 73 79 6d 90 b8 e3 62 98 6f 6c 73 93 77 68 69 63 90 b8 e3 68 93 61 72	come.the.sym...b.ols.whic...h.ar
4320	65 8e a1 8d 91 3e 00 00 6e 6f 74 96 03 55 55 64 65 0c 6e 65 64 93 61 73 93 69 6e 0c 78 93 6f 70	e....>..not..UUde.ned.as.in.x.op
4340	90 47 1d 65 72 61 74 6f 72 73 2c 93 65 74 63 2e 3a 8e 9f 4a de 46 8d 8d 8d 8d 8d 9f c9 6e df 8d	.G.erators,.etc.:..J.F.......n..
4360	8d 91 5a e3 93 d2 5c 65 6d 70 74 79 8e 8e a1 8d 8d 8d 91 3e 00 00 9f f8 7f fc ab 53 8e 8e 8d 91	..Z...\empty.......>.......S....
4380	5a e3 93 d2 5c 62 69 67 63 75 70 8e 8e a1 8d 8d 8d 91 3e 00 00 9f f8 7f fc ab 54 8e 8e 8d 91 5a	Z...\bigcup.......>.......T....Z
43a0	e3 93 d2 5c 62 69 67 63 61 70 8e 8e a1 8d 8d 8d 91 3e 00 00 b2 64 6f 6d 8e 8e 8d 91 5a e3 93 d2	...\bigcap.......>...dom....Z...
43c0	5c 64 6f 6d 8e 8e a1 8d 8d 8d 91 3e 00 00 b2 72 61 6e 8e 8e 8d 91 5a e3 93 d2 5c 72 61 6e 8e 8e	\dom.......>...ran....Z...\ran..
43e0	8e 8e 8d 8d 9f c9 6e df 8d 8d 92 00 ea 80 00 dc 4e 8e 8d 92 01 07 63 93 d2 5c 6e 61 74 8e 8e a1	......n.........N.....c..\nat...
4400	8d 8d 92 00 ea 80 00 dc 5a 8e 8d 92 01 07 63 93 d2 5c 6e 75 6d 8e 8e a1 8d 8d 92 00 ea 80 00 dc	........Z.....c..\num...........
4420	4e 8d 9f 01 7f ff b1 31 8e 8e 8d 92 01 07 63 93 d2 5c 6e 61 74 5f 31 8e 8e a1 8d 8d 92 00 ea 80	N......1......c..\nat_1.........
4440	00 b2 23 8e 8d 92 01 07 63 93 d2 5c 23 8e 8e 9f 0e f7 85 8d 8d 8d 8d 92 00 ea 80 00 9f fc 8e 39	..#.....c..\#..................9
4460	d9 61 8e 92 00 f2 47 1e b5 3d 8e 8e 8d 92 01 07 63 93 d2 5c 64 63 61 74 8e 8e 8e 8e 8e 8e 8e a6	.a....G..=......c..\dcat........
4480	8d 91 3e 00 00 b2 48 65 72 65 96 03 47 58 61 72 65 93 74 68 65 93 69 6e 0c 78 93 66 75 6e 63 74	..>...Here..GXare.the.in.x.funct
44a0	69 6f 6e 93 73 79 6d 90 b8 e3 62 9a 47 1d 6f 6c 73 3b 91 03 4c 02 74 68 65 79 93 61 72 65 93 64	ion.sym...b.G.ols;..L.they.are.d
44c0	65 0c 6e 65 64 93 69 6e 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91	e.ned.in.L....5...ff.A.......T..
44e0	fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 61 73 93 62 69 6e 61 72 79 93 6f 70 98 65 72 61 2d	.U>..'.E....xX.as.binary.op.era-
4500	8e a1 8d 91 3e 00 00 74 6f 72 73 2c 91 03 26 75 73 6f 96 03 1a bd 6d 65 64 69 75 6d 93 73 70 61	....>..tors,..&uso....medium.spa
4520	63 65 73 93 61 72 65 93 69 6e 73 65 72 74 65 64 93 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 91 ff	ces.are.inserted.automatically..
4540	2a aa 2e 91 04 5e 3f 54 68 65 93 74 95 b8 e3 79 70 90 47 1d 65 2d 63 93 68 65 63 93 6b 93 65 72	*....^?The.t...yp.G.e-c.hec.k.er
4560	91 03 1a bd 72 65 63 6f 67 6e 69 7a 65 73 8e a1 8d 91 3e 00 00 74 68 65 6d 96 03 55 55 61 73 93	....recognizes....>..them..UUas.
4580	6f 66 93 63 6c 61 73 73 93 e8 49 6e 2d 46 95 b8 e3 75 6e b2 2e 91 04 71 c7 45 61 63 93 68 9b 03	of.class..In-F...un....q.Eac.h..
45a0	55 55 73 79 6d 93 62 90 47 1d 6f 6c 98 69 73 98 73 68 6f 93 77 6e 98 77 69 74 68 98 69 74 73 98	UUsym.b.G.ol.is.sho.wn.with.its.
45c0	70 72 69 6f 72 69 74 93 79 3a 8e 8e 9f 1e 00 00 8d 92 00 e8 00 00 36 8e 8e 8c 8b 00 00 00 07 00	priorit.y:............6.........
45e0	00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	................................
4600	00 00 00 00 00 38 b2 a0 02 79 00 00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d a0 fe 54 f7 85 8d 8d 8d	.....8...y..........?.....T.....
4620	8d 8d 9f 8d 6e df 8d 8d 91 3e 00 00 b8 37 21 8e 8d 91 5a 63 92 d2 5c 6d 61 70 73 74 6f 91 14 7f	....n....>...7!...Zc..\mapsto...
4640	fb b2 31 8e 8e a4 0c 00 00 8d 8d 8d 91 3e 00 00 b5 3a 91 01 aa a8 3a 8e 8e 8d 91 5a 63 92 d2 5c	..1..........>...:....:....Zc..\
4660	75 70 74 6f 91 1e ff f5 b2 32 8e 8e a1 8d 8d 91 3e 00 00 2b 8e 8d 91 5a 63 92 d2 2b 91 33 ff e9	upto.....2......>..+...Zc..+.3..
4680	b2 33 8e 8e a1 8d 8d 91 3e 00 00 b8 00 8e 8d 91 5a 63 92 d2 2d 91 33 ff e9 b2 33 8e 8e a1 8d 8d	.3......>.......Zc..-.3...3.....
46a0	91 3e 00 00 b8 5b 8e 8d 91 5a 63 92 d2 5c 63 75 70 91 24 3f f2 b2 33 8e 8e a1 8d 8d 91 3e 00 00	.>...[...Zc..\cup.$?..3......>..
46c0	b8 6e 8e 8d 91 5a 63 92 d2 5c 73 65 74 6d 69 6e 75 73 91 0a 00 01 b2 33 8e 8e 9f 0e f7 85 8d 8d	.n...Zc..\setminus.....3........
46e0	8d 91 3e 00 00 9f fc 8e 39 d9 61 8e 8e 8d 91 5a 63 92 d2 5c 63 61 74 91 24 3f f2 b2 33 8e 8e a1	..>.....9.a....Zc..\cat.$?..3...
4700	8d 8d 91 3e 00 00 b8 5d 8e 8d 91 5a 63 92 d2 5c 75 70 6c 75 73 91 19 bf f8 b2 33 8e 8e a1 8d 8d	...>...]...Zc..\uplus.....3.....
4720	91 3e 00 00 b8 03 8e 8d 91 5a 63 92 d2 2a 91 33 ff e9 b2 34 8e 8e a1 8d 8d 8d 91 3e 00 00 e8 64	.>.......Zc..*.3...4.......>...d
4740	69 76 8e 8e 8d 91 5a 63 92 d2 5c 64 69 76 91 24 3f f2 b2 34 8e 8e 8e 8e 8d 8d 9f 8d 6e df 8d 8d	iv....Zc..\div.$?..4........n...
4760	8d 92 00 ea 80 00 e8 6d 6f 90 47 1d 64 8e 8e 8d 92 01 06 e3 92 d2 5c 6d 6f 64 91 24 3f f2 b2 34	.......mo.G.d.........\mod.$?..4
4780	8e 8e a4 0c 00 00 8d 8d 92 00 ea 80 00 b8 5c 8e 8d 92 01 06 e3 92 d2 5c 63 61 70 91 24 3f f2 b2	..............\........\cap.$?..
47a0	34 8e 8e a1 8d 8d 8d 8d 9f fd 6a aa 8d 8d 92 00 ea 80 00 b0 6f 8e 8e 9f 04 30 e2 8d 8d 92 00 ea	4.........j.........o....0......
47c0	80 00 39 8e 8e 8e 8e 8e 8d 92 01 06 e3 92 d2 5c 63 6f 6d 70 91 1e ff f5 b2 34 8e 8e a1 8d 8d 92	..9............\comp.....4......
47e0	00 ea 80 00 b8 0e 8e 8d 92 01 06 e3 92 d2 5c 63 69 72 63 91 1e ff f5 b2 34 8e 8e a1 8d 8d 8d 92	..............\circ.....4.......
4800	00 ea 80 00 d9 16 8e 8e 8d 92 01 06 e3 92 d2 5c 66 69 6c 74 65 72 91 14 7f fb b2 34 8e 8e a1 8d	...............\filter.....4....
4820	8d 92 00 ea 80 00 b8 08 8e 8d 92 01 06 e3 92 d2 5c 6f 70 6c 75 73 91 19 bf f8 b2 35 8e 8e a1 8d	................\oplus.....5....
4840	8d 92 00 ea 80 00 d9 43 8e 8d 92 01 06 e3 92 d2 5c 64 72 65 73 91 1e ff f5 b2 36 8e 8e a1 8d 8d	.......C........\dres.....6.....
4860	92 00 ea 80 00 d9 42 8e 8d 92 01 06 e3 92 d2 5c 72 72 65 73 91 1e ff f5 b2 36 8e 8e a1 8d 8d 8d	......B........\rres.....6......
4880	8d 8d 92 00 ea 80 00 9e c8 e3 b8 00 8e 8e 8d 92 00 ea 80 00 d9 43 8e 8e 8e 8d 92 01 06 e3 92 d2	.....................C..........
48a0	5c 6e 64 72 65 73 91 19 bf f8 b2 36 8e 8e a1 8d 8d 8d 8d 8d 92 00 ea 80 00 9e c8 e3 b8 00 8e 8e	\ndres.....6....................
48c0	8d 92 00 ea 80 00 d9 42 8e 8e 8e 8d 92 01 06 e3 92 d2 5c 6e 72 72 65 73 91 19 bf f8 b2 36 8e 8e	.......B..........\nrres.....6..
48e0	8e 8e 8e 8e 8e a4 12 66 64 8d 91 3e 00 00 54 68 65 96 03 55 55 70 9a 47 1d 6f 73 74 0c 78 93 66	.......fd..>..The..UUp.G.ost.x.f
4900	75 6e 63 74 69 6f 6e 93 73 79 6d 90 b8 e3 62 98 6f 6c 73 93 28 63 6c 61 73 73 93 e8 50 95 b8 e3	unction.sym...b.ols.(class..P...
4920	6f 73 74 2d 46 93 75 6e b2 29 96 03 55 55 61 6c 6c 93 70 72 6f 98 64 75 63 65 93 73 75 70 98 65	ost-F.un.)..UUall.pro.duce.sup.e
4940	72 73 63 72 69 70 74 73 3a 8e 9f 25 80 00 8d 8d 8d 8d 8d 9f f0 66 64 8d 8d 8d 91 3e 00 00 9f fc	rscripts:..%.........fd....>....
4960	5e ff b7 18 8e 8e 8d 91 4e c0 02 d2 5c 69 6e 76 8e 8e 9f 0c 00 00 8d 8d 8d 91 3e 00 00 9f fc 5e	^.......N...\inv..........>....^
4980	ff b1 2b 8e 8e 8d 91 4e c0 02 d2 5c 70 6c 75 73 8e 8e 8e 8e 8d 8d 9f f0 66 64 8d 8d 8d 92 00 ea	..+....N...\plus........fd......
49a0	80 00 9f fc 5e ff b7 03 8e 8e 8d 92 00 fb 40 02 d2 5c 73 74 61 72 8e 8e 9f 0c 00 00 8d 8d 8d 92	....^.........@..\star..........
49c0	00 ea 80 00 9f fc 5e ff f3 29 74 7d 5c ca 00 07 00 00 00 07 00 00 00 05 63 6d 74 69 37 d4 6e 8e	......^..)t}\...........cmti7.n.
49e0	8e 8d 92 00 fb 40 02 d2 5c 62 73 75 70 96 05 3f fd 6e 93 5c 65 73 75 70 8e 8e 8e 8e 8e 8e 8e a1	.....@..\bsup..?.n.\esup........
4a00	8d 91 3e 00 00 b2 41 73 96 02 38 e3 61 6e 93 65 78 61 6d 70 6c 65 2c 9b 02 71 c7 d2 52 91 05 3f	..>...As..8.an.example,..q..R..?
4a20	fd 5c 73 74 61 72 93 b2 69 73 93 70 72 69 6e 90 b8 e3 74 65 64 93 61 73 93 d3 52 8d 90 63 06 9f	.\star..is.prin...ted.as..R..c..
4a40	fc 5e ff b7 03 8e 91 04 fb ea b2 2e 91 04 12 f7 46 91 ff 2a aa 6f 72 93 69 74 65 72 61 74 69 6f	.^..............F..*.or.iteratio
4a60	6e 2c 98 74 68 65 93 63 6f 6d 6d 61 6e 64 73 93 d2 5c 62 73 75 70 96 05 3f fd 2e 2e 2e 93 5c 65	n,.the.commands..\bsup..?.....\e
4a80	73 75 70 8e a4 0c 00 00 8d 91 3e 00 00 b2 73 68 6f 75 6c 64 96 04 3b e1 62 90 47 1d 65 93 75 73	sup.......>...should..;.b.G.e.us
4aa0	65 64 3a 91 06 3e df 66 6f 72 93 65 78 61 6d 70 6c 65 2c 91 04 75 84 d2 52 96 05 3f fd 5c 62 73	ed:..>.for.example,..u..R..?.\bs
4ac0	75 70 93 6e 93 5c 65 73 75 70 96 04 3b e1 b2 69 73 93 70 72 69 6e 9a b8 e3 74 65 64 93 61 73 93	up.n.\esup..;..is.prin...ted.as.
4ae0	d3 52 8d 90 63 06 9f fc 5e ff d4 6e 8e 91 06 1f 6d b2 2e 91 07 25 6b 54 68 65 93 74 98 79 70 90	.R..c...^..n....m....%kThe.t.yp.
4b00	47 1d 65 2d 8e a1 8d 91 3e 00 00 63 95 b8 e3 68 65 63 93 6b 93 65 72 96 03 22 4a 72 65 67 61 72	G.e-....>..c...hec.k.er.."Jregar
4b20	64 73 93 74 68 69 73 93 66 6f 72 6d 9a b8 e3 75 6c 61 93 61 73 93 65 71 75 69 76 91 ff 71 c7 61	ds.this.form...ula.as.equiv..q.a
4b40	6c 65 6e 98 74 93 74 6f 93 d3 69 74 65 72 91 02 be 35 6e 91 02 6f 0b 52 90 63 06 b2 2c 91 03 2c	len.t.to..iter...5n..o.R.c..,..,
4b60	7f 61 73 93 65 78 70 6c 61 69 6e 65 64 93 6f 6e 93 70 61 67 65 93 31 31 32 8e a1 8d 91 3e 00 00	.as.explained.on.page.112....>..
4b80	6f 66 96 03 55 55 74 68 65 93 5a 52 4d 2e 8e a1 8d 91 4d 00 00 54 68 65 96 03 09 c1 69 6e 0c 78	of..UUthe.ZRM.....M..The....in.x
4ba0	93 72 65 6c 61 74 69 6f 6e 93 73 79 6d 90 b8 e3 62 90 47 1d 6f 6c 73 93 28 63 6c 61 73 73 93 e8	.relation.sym...b.G.ols.(class..
4bc0	49 6e 2d 52 65 6c b2 29 93 61 72 65 93 64 65 0c 6e 65 64 93 69 6e 93 4c 8d 9f fd f3 35 8d 91 fc	In-Rel.).are.de.ned.in.L....5...
4be0	66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 61 73 93	ff.A.......T...U>..'.E....xX.as.
4c00	72 65 6c 61 74 69 6f 6e 73 2c 91 03 18 df 73 6f 8e a1 8d 91 3e 00 00 74 68 69 63 90 b8 e3 6b 96	relations,....so....>..thic...k.
4c20	03 55 55 73 70 61 63 65 73 93 61 72 65 93 69 6e 73 65 72 74 65 64 93 61 72 6f 75 6e 64 93 74 68	.UUspaces.are.inserted.around.th
4c40	65 6d 93 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 3a 8e 9f 48 f1 c7 8d 8d 8d 8d 8d 9f cc 66 64 8d	em.automatically:..H.........fd.
4c60	8d 91 3e 00 00 b8 36 b2 3d 8e 8d 91 6b 47 21 d2 5c 6e 65 71 8e 8e a1 8d 8d 8d 8d 8d 8d 91 3f 1c	..>...6.=...kG!.\neq..........?.
4c80	72 b5 3d 8e 8e 8d 8d 91 3e 00 00 b8 32 8e 8e 8e 8e 8e 8d 91 6b 47 21 d2 5c 6e 6f 74 69 6e 8e 8e	r.=.....>...2.......kG!.\notin..
4ca0	a1 8d 8d 91 3e 00 00 b8 12 8e 8d 91 6b 47 21 d2 5c 73 75 62 73 65 74 65 71 8e 8e a1 8d 8d 91 3e	....>.......kG!.\subseteq......>
4cc0	00 00 b8 1a 8e 8d 91 6b 47 21 d2 5c 73 75 62 73 65 74 8e 8e a1 8d 8d 91 3e 00 00 b5 3c 8e 8d 91	.......kG!.\subset......>...<...
4ce0	6b 47 21 d2 3c 8e 8e 8e 8e 8d 8d 9f cc 66 64 8d 8d 92 00 ea 80 00 b5 3e 8e 8d 92 01 17 c7 21 d2	kG!.<........fd........>......!.
4d00	3e 8e 8e a1 8d 8d 92 00 ea 80 00 b8 14 8e 8d 92 01 17 c7 21 d2 5c 6c 65 71 8e 8e a1 8d 8d 92 00	>..................!.\leq.......
4d20	ea 80 00 b8 15 8e 8d 92 01 17 c7 21 d2 5c 67 65 71 8e 8e a1 8d 8d 8d 92 00 ea 80 00 e8 70 61 90	...........!.\geq............pa.
4d40	b8 e3 72 74 69 74 69 6f 6e 8e 8e 8d 92 01 17 c7 21 d2 5c 70 61 72 74 69 74 69 6f 6e 8e 8e a1 8d	..rtition.......!.\partition....
4d60	8d 8d 92 00 ea 80 00 b2 69 6e 8e 8e 8d 92 01 17 c7 21 d2 5c 69 6e 62 61 67 8e 8e 8e 8e 8e 8e 8e	........in.......!.\inbag.......
4d80	a9 12 66 64 8d 91 3e 00 00 b2 54 68 65 72 65 96 03 35 a2 69 73 93 6f 6e 6c 79 93 6f 6e 65 93 70	..fd..>...There..5.is.only.one.p
4da0	72 65 0c 78 93 72 65 6c 61 74 69 6f 6e 93 73 79 6d 90 b8 e3 62 90 47 1d 6f 6c 93 28 63 6c 61 73	re.x.relation.sym...b.G.ol.(clas
4dc0	73 93 e8 50 72 65 2d 52 65 6c b2 29 2e 91 04 67 36 49 74 93 73 65 70 61 72 61 74 65 73 93 69 74	s..Pre-Rel.)...g6It.separates.it
4de0	73 65 6c 66 93 66 72 6f 6d 8e a1 8d 91 3e 00 00 61 6e 96 03 55 55 61 72 67 75 6d 65 6e 9a b8 e3	self.from....>..an..UUargumen...
4e00	74 93 77 69 74 68 93 61 93 74 68 69 63 98 6b 93 73 70 61 63 65 3a 8e 9f 18 f1 c7 8d 8d 8d 8d 8d	t.with.a.thic.k.space:..........
4e20	9f fc 66 64 8d 8d 8d 91 3e 00 00 e8 64 69 73 6a 6f 69 6e 74 8e 8e 8d 91 68 ff fe d2 5c 64 69 73	..fd....>...disjoint....h...\dis
4e40	6a 6f 69 6e 74 8e 8e 8e 8e 8e 8e 8e a6 8d 91 3e 00 00 b2 54 68 65 96 04 20 40 69 6e 0c 78 93 67	joint..........>...The...@in.x.g
4e60	65 6e 65 72 69 63 93 73 79 6d 9a b8 e3 62 90 47 1d 6f 6c 73 93 61 72 65 93 73 65 65 6e 93 62 98	eneric.sym...b.G.ols.are.seen.b.
4e80	79 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c	y.L....5...ff.A.......T...U>..'.
4ea0	45 8e 91 03 e3 78 58 93 61 73 93 72 65 6c 61 74 69 6f 6e 93 73 79 6d 98 62 90 47 1d 6f 6c 73 2c	E....xX.as.relation.sym.b.G.ols,
4ec0	91 04 52 fa 73 6f 93 74 68 65 79 93 61 72 65 8e a1 8d 91 3e 00 00 73 75 72 72 6f 75 6e 64 65 64	..R.so.they.are....>..surrounded
4ee0	96 02 b1 1c 62 9a b8 e3 79 93 74 68 69 63 98 6b 93 73 70 61 63 65 73 2e 91 04 3b 0a 4f 66 93 63	....b...y.thic.k.spaces...;.Of.c
4f00	6f 75 72 73 65 2c 91 02 d1 f4 74 68 65 93 74 98 79 70 90 47 1d 65 2d 63 98 68 65 63 98 6b 98 65	ourse,....the.t.yp.G.e-c.hec.k.e
4f20	72 93 69 74 73 65 6c 66 93 61 73 73 69 67 6e 73 93 74 68 65 6d 93 63 6c 61 73 73 8e a1 8d 91 3e	r.itself.assigns.them.class....>
4f40	00 00 e8 49 6e 2d 47 65 6e b2 3a 8e 9f 47 00 00 8d 8d 8d 8d 8d 9f cc 66 64 8d 8d 91 3e 00 00 b8	...In-Gen.:..G.........fd...>...
4f60	24 8e 8d 91 54 c7 1a d2 5c 72 65 6c 8e 8e a1 8d 8d 8d 8d 8d 91 41 9c 75 b8 37 8e 8e 8d 8d 91 3e	$...T...\rel.........A.u.7.....>
4f80	00 00 21 8e 8e 8e 8e 8d 91 54 c7 1a d2 5c 70 66 75 6e 8e 8e a1 8d 8d 91 3e 00 00 b8 21 8e 8d 91	..!......T...\pfun......>...!...
4fa0	54 c7 1a d2 5c 66 75 6e 8e 8e a1 8d 8d 8d 8d 8d 91 42 2a ae b8 37 8e 8e 8d 8d 91 3e 00 00 d9 1a	T...\fun.........B*..7.....>....
4fc0	8e 8e 8e 8e 8d 91 54 c7 1a d2 5c 70 69 6e 6a 8e 8e a1 8d 8d 91 3e 00 00 d9 1a 8e 8d 91 54 c7 1a	......T...\pinj......>.......T..
4fe0	d2 5c 69 6e 6a 8e 8e 8e 8e 8d 8d 9f cc 66 64 8d 8d 8d 8d 8d 92 00 ef 38 e5 b8 37 8e 8e 8d 8d 8d	.\inj........fd........8..7.....
5000	8d 8d 92 00 ea 80 00 21 8e 8e 8d 8d 92 00 ec b8 e0 21 8e 8e 8e 8e 8e 8e 8e 8d 92 01 01 47 1a d2	.......!.........!...........G..
5020	5c 70 73 75 72 6a 8e 8e a1 8d 8d 8d 8d 8d 92 00 ea 80 00 b8 21 8e 8e 8d 8d 92 00 ec b8 e0 21 8e	\psurj..............!.........!.
5040	8e 8e 8e 8d 92 01 01 47 1a d2 5c 73 75 72 6a 8e 8e a1 8d 8d 8d 8d 8d 92 00 ea 80 00 d9 1a 8e 8e	.......G..\surj.................
5060	8d 8d 92 00 ed 47 18 b8 21 8e 8e 8e 8e 8d 92 01 01 47 1a d2 5c 62 69 6a 8e 8e a1 8d 8d 8d 8d 8d	.....G..!........G..\bij........
5080	92 00 ed 47 21 b8 37 91 01 aa a8 37 8e 8e 8d 8d 92 00 ea 80 00 21 8e 8e 8e 8e 8d 92 01 01 47 1a	...G!.7....7.........!........G.
50a0	d2 5c 66 66 75 6e 8e 8e a1 8d 8d 8d 8d 8d 92 00 ed d5 5a b8 37 91 01 aa a8 37 8e 8e 8d 8d 92 00	.\ffun............Z.7....7......
50c0	ea 80 00 d9 1a 8e 8e 8e 8e 8d 92 01 01 47 1a d2 5c 66 69 6e 6a 8e 8e 8e 8e 8e 8e 8e a6 8d 91 3e	.............G..\finj..........>
50e0	00 00 b2 50 72 65 0c 78 96 02 e1 65 67 65 6e 65 72 69 63 93 73 79 6d 9a b8 e3 62 90 47 1d 6f 6c	...Pre.x...egeneric.sym...b.G.ol
5100	73 93 61 72 65 93 61 73 73 69 67 6e 65 64 93 63 6c 61 73 73 93 e8 50 72 65 2d 47 65 6e 93 b2 62	s.are.assigned.class..Pre-Gen..b
5120	98 79 93 74 68 65 93 74 98 79 70 90 47 1d 65 2d 63 98 68 65 63 98 6b 98 65 72 3b 91 03 08 0a 69	.y.the.t.yp.G.e-c.hec.k.er;....i
5140	6e 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c	n.L....5...ff.A.......T...U>..'.
5160	45 8e 91 03 e3 78 58 2c 8e a1 8d 91 3e 00 00 74 68 65 79 96 03 ac 44 61 72 65 93 64 65 0c 6e 65	E....xX,....>..they...Dare.de.ne
5180	64 93 61 73 93 6f 70 9a 47 1d 65 72 61 74 6f 72 93 73 79 6d 90 b8 e3 62 98 6f 6c 73 2c 91 03 c1	d.as.op.G.erator.sym...b.ols,...
51a0	ff 73 6f 93 74 68 61 74 93 61 93 74 68 69 6e 93 73 70 61 63 65 93 69 73 93 69 6e 73 65 72 74 65	.so.that.a.thin.space.is.inserte
51c0	64 93 62 98 65 74 95 b8 e3 77 93 65 65 6e 8e a1 8d 91 3e 00 00 74 68 65 96 03 55 55 73 79 6d 9a	d.b.et...w.een....>..the..UUsym.
51e0	b8 e3 62 90 47 1d 6f 6c 93 61 6e 64 93 61 93 66 6f 6c 6c 6f 98 77 69 6e 67 93 67 65 6e 65 72 69	..b.G.ol.and.a.follo.wing.generi
5200	63 93 70 61 72 61 6d 65 74 65 72 3a 8e 8e 9f 1e 00 00 8d 92 00 e8 00 00 37 8e 8e 8c 8b 00 00 00	c.parameter:............7.......
5220	08 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	................................
5240	00 00 00 00 00 00 00 45 da a0 02 79 00 00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d a0 fe 0a 00 00 8d	.......E...y..........?.........
5260	8d 8d 8d 8d 9f d8 66 64 8d 8d 8d 91 3e 00 00 dc 50 8e 8d 91 44 1c 72 9f 02 ff ff b1 31 8e 8e 8d	......fd....>...P...D.r.....1...
5280	91 5a 27 1f d2 5c 70 6f 77 65 72 5f 31 8e 8e a4 0c 00 00 8d 8d 8d 91 3e 00 00 b2 69 64 8e 8e 8d	.Z'..\power_1..........>...id...
52a0	91 5a 27 1f d2 5c 69 64 8e 8e a1 8d 8d 8d 91 3e 00 00 dc 46 8e 8e 8d 91 5a 27 1f d2 5c 66 69 6e	.Z'..\id.......>...F....Z'..\fin
52c0	73 65 74 8e 8e a1 8d 8d 8d 91 3e 00 00 dc 46 8e 8d 91 44 1c 72 9f 02 ff ff b1 31 8e 8e 8d 91 5a	set.......>...F...D.r.....1....Z
52e0	27 1f d2 5c 66 69 6e 73 65 74 5f 31 8e 8e 8e 8e 8d 8d 9f d8 66 64 8d 8d 8d 92 00 ea 80 00 b2 73	'..\finset_1........fd.........s
5300	65 71 8e 8e 8d 92 01 06 a7 1f d2 5c 73 65 71 8e 8e a4 0c 00 00 8d 8d 8d 92 00 ea 80 00 b2 73 65	eq.........\seq...............se
5320	71 8e 8d 92 00 f8 2a ab 9f 02 71 c6 b1 31 8e 8e 8d 92 01 06 a7 1f d2 5c 73 65 71 5f 31 8e 8e a1	q.....*...q..1.........\seq_1...
5340	8d 8d 8d 92 00 ea 80 00 b2 69 73 65 71 8e 8e 8d 92 01 06 a7 1f d2 5c 69 73 65 71 8e 8e a1 8d 8d	.........iseq.........\iseq.....
5360	8d 92 00 ea 80 00 b2 62 61 67 8e 8e 8d 92 01 06 a7 1f d2 5c 62 61 67 8e 8e 8e 8e 8e 8e 8e 9f 1d	.......bag.........\bag.........
5380	78 28 8d 8d 91 3e 00 00 d1 35 8e 91 56 4c cb 46 69 6e 65 91 05 66 66 70 90 73 33 6f 69 6e 90 8c	x(...>...5..VL.Fine..ffp.s3oin..
53a0	cc 74 73 8e 9f 15 e7 1b 8d 91 3e 00 00 b2 49 6e 96 04 ab 37 6d 61 74 68 93 6d 6f 90 47 1d 64 65	.ts.......>...In...7math.mo.G.de
53c0	2c 91 05 00 af 77 68 69 63 9a b8 e3 68 93 69 73 93 75 73 65 64 93 66 6f 72 93 74 98 79 70 90 47	,....whic...h.is.used.for.t.yp.G
53e0	1d 65 2d 73 65 74 74 69 6e 67 93 74 68 65 93 63 6f 6e 98 74 65 6e 98 74 73 93 6f 66 93 5a 91 04	.e-setting.the.con.ten.ts.of.Z..
5400	aa df 62 90 47 1d 6f 98 78 65 73 2c 91 05 00 af 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78	..b.G.o.xes,....T...U>..'.E....x
5420	58 8e a4 0c 00 00 8d 91 3e 00 00 69 67 6e 6f 72 65 73 96 03 3f fd 61 6c 6c 93 73 70 61 63 65 93	X.......>..ignores..?.all.space.
5440	63 9a b8 e3 68 61 72 61 63 74 65 72 73 93 69 6e 93 74 68 65 93 69 6e 70 75 74 93 0c 6c 65 2e 91	c...haracters.in.the.input..le..
5460	04 6a aa 54 68 65 93 73 70 61 63 65 73 93 77 68 69 63 98 68 93 61 70 70 9a 47 1d 65 61 72 93 62	.j.The.spaces.whic.h.app.G.ear.b
5480	98 65 74 95 b8 e3 77 93 65 65 6e 8e a1 8d 91 3e 00 00 65 6c 65 6d 65 6e 9a b8 e3 74 73 96 02 df	.et...w.een....>..elemen...ts...
54a0	77 6f 66 93 61 93 6d 61 74 68 65 6d 61 74 69 63 61 6c 93 66 6f 72 6d 98 75 6c 61 93 61 72 65 93	wof.a.mathematical.form.ula.are.
54c0	64 65 74 65 72 6d 69 6e 65 64 93 62 98 79 93 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58	determined.b.y.T...U>..'.E....xX
54e0	93 69 74 73 65 6c 66 2c 91 02 f7 0a 77 98 6f 72 6b 69 6e 67 93 66 72 6f 6d 8e a1 8d 91 3e 00 00	.itself,....w.orking.from....>..
5500	69 6e 66 6f 72 6d 61 74 69 6f 6e 96 03 bf 64 61 62 9a 47 1d 6f 75 74 93 74 68 65 93 73 79 6d 90	information...dab.G.out.the.sym.
5520	b8 e3 62 98 6f 6c 73 93 69 6e 93 74 68 65 93 66 6f 72 6d 90 b8 e3 75 6c 61 2e 91 05 af f3 41 6c	..b.ols.in.the.form...ula.....Al
5540	74 68 6f 75 67 68 93 74 68 69 73 93 69 6e 66 6f 72 6d 61 74 69 6f 6e 93 68 61 73 8e a1 8d 91 3e	though.this.information.has....>
5560	00 00 62 90 47 1d 65 65 6e 96 04 dd fd 61 64 6a 75 73 74 65 64 93 69 6e 93 74 68 65 93 d2 7a 65	..b.G.een....adjusted.in.the..ze
5580	64 93 b2 73 74 9a b8 e3 79 6c 65 93 6f 70 74 69 6f 6e 93 74 6f 93 6d 61 6b 98 65 93 5a 91 04 dd	d..st...yle.option.to.mak.e.Z...
55a0	98 74 65 78 74 73 93 6c 6f 90 47 1d 6f 6b 93 61 73 93 62 61 6c 61 6e 63 65 64 93 61 73 8e a1 8d	.texts.lo.G.ok.as.balanced.as...
55c0	91 3e 00 00 70 90 47 1d 6f 73 73 69 62 6c 65 2c 96 03 55 55 74 68 65 72 65 93 61 72 65 93 6f 6e	.>..p.G.ossible,..UUthere.are.on
55e0	65 93 6f 72 93 74 95 b8 e3 77 93 6f 96 03 55 55 73 69 74 75 61 74 69 6f 6e 73 93 69 6e 93 77 68	e.or.t...w.o..UUsituations.in.wh
5600	69 63 90 b8 e3 68 93 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 6e 65 65 64 73 93 61	ic...h.T...U>..'.E....xX.needs.a
5620	93 6c 69 74 74 6c 65 93 68 65 6c 70 2e 8e a1 8d 91 4d 00 00 53 70 9a 47 1d 65 63 69 61 6c 96 02	.little.help.....M..Sp.G.ecial..
5640	f3 e5 63 61 72 65 93 69 73 93 6e 65 65 64 65 64 93 77 68 65 6e 93 66 75 6e 63 74 69 6f 6e 93 61	..care.is.needed.when.function.a
5660	70 70 6c 69 63 61 74 69 6f 6e 93 69 73 93 69 6e 64 69 63 61 74 65 64 93 62 90 b8 e3 79 93 6a 75	pplication.is.indicated.b...y.ju
5680	78 74 61 70 98 6f 73 69 6e 67 8e a1 8d 91 3e 00 00 74 95 b8 e3 77 93 6f 9b 03 32 74 69 64 65 6e	xtap.osing....>..t...w.o..2tiden
56a0	93 74 69 0c 65 72 73 2c 91 03 39 6e 61 73 98 69 6e 98 74 68 65 98 65 78 70 72 65 73 73 69 6f 6e	.ti.ers,..9nas.in.the.expression
56c0	98 d3 72 96 ff 7d 27 65 76 91 02 be 35 77 6f 72 93 64 73 91 00 d2 21 b2 2e 91 04 66 27 54 68 69	..r..}'ev...5wor.ds...!....f'Thi
56e0	73 98 65 78 70 72 65 73 73 69 6f 6e 98 73 68 6f 75 6c 64 98 62 95 47 1d 65 98 74 90 b8 e3 79 70	s.expression.should.b.G.e.t...yp
5700	93 65 64 8e a1 8d 91 3e 00 00 61 73 96 02 94 6a d2 72 65 76 7e 77 6f 72 64 73 b2 2e 91 04 31 79	.ed....>..as...j.rev~words....1y
5720	54 90 b8 e3 79 70 69 6e 67 93 6a 75 73 74 93 d2 72 65 76 91 05 3f fd 77 6f 72 64 73 93 b2 72 65	T...yping.just..rev..?.words..re
5740	73 75 6c 74 73 93 69 6e 93 74 68 65 93 6f 75 74 70 75 74 93 d3 72 96 ff 7d 27 65 76 77 6f 72 93	sults.in.the.output..r..}'evwor.
5760	64 73 91 00 d2 21 b2 2c 91 02 bb 00 73 69 6e 63 65 91 02 94 6a 54 8d 91 fe 55 3e 9f 02 27 1c 45	ds...!.,....since...jT...U>..'.E
5780	8e 91 03 e3 78 58 8e a1 8d 91 3e 00 00 69 67 6e 6f 72 65 73 96 03 c6 9a 74 68 65 93 73 70 61 63	....xX....>..ignores....the.spac
57a0	65 93 73 65 70 61 72 61 74 69 6e 67 93 74 68 65 93 74 95 b8 e3 77 93 6f 9b 03 c6 9a 69 64 65 6e	e.separating.the.t...w.o....iden
57c0	93 74 69 0c 65 72 73 2e 91 05 c5 97 49 6e 98 61 98 66 6f 72 6d 93 75 6c 61 2c 91 03 e2 eb 74 68	.ti.ers.....In.a.form.ula,....th
57e0	65 98 63 93 68 61 72 61 63 74 65 72 98 d2 7e 8e a1 8d 91 3e 00 00 b2 69 6e 73 65 72 74 73 96 02	e.c.haracter..~....>...inserts..
5800	ff d7 74 68 65 93 73 61 6d 65 93 61 6d 6f 75 6e 90 b8 e3 74 93 6f 66 93 73 70 61 63 65 93 61 73	..the.same.amoun...t.of.space.as
5820	93 74 68 65 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f	.the.L....5...ff.A.......T...U>.
5840	02 27 1c 45 8e 91 03 e3 78 58 93 d2 5c 2c 93 b2 63 6f 6d 6d 61 6e 64 2c 91 03 10 f0 62 75 74 93	.'.E....xX..\,..command,....but.
5860	69 74 93 6c 6f 9a 47 1d 6f 6b 73 93 62 98 65 74 74 65 72 8e a1 8d 91 3e 00 00 69 6e 96 03 26 43	it.lo.G.oks.b.etter....>..in..&C
5880	74 68 65 93 69 6e 70 75 74 93 0c 6c 65 2e 91 04 62 16 54 68 65 93 74 95 b8 e3 79 70 9a 47 1d 65	the.input..le...b.The.t...yp.G.e
58a0	2d 63 93 68 65 63 93 6b 93 65 72 96 03 26 43 63 6f 6d 70 6c 65 74 65 6c 79 93 69 67 6e 6f 72 65	-c.hec.k.er..&Ccompletely.ignore
58c0	73 93 62 98 6f 74 68 93 74 68 65 93 d2 7e 93 b2 63 90 b8 e3 68 61 72 61 63 74 65 72 93 61 6e 64	s.b.oth.the..~..c...haracter.and
58e0	8e a1 8d 91 3e 00 00 74 68 65 96 03 97 bf 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd	....>..the....L....5...ff.A.....
5900	89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 73 70 61 63 69 6e 67 93 63 6f 6d 6d	..T...U>..'.E....xX.spacing.comm
5920	61 6e 64 73 2c 91 03 a8 59 65 78 63 65 70 74 93 74 68 61 74 93 69 74 93 69 73 73 75 65 73 93 61	ands,...Yexcept.that.it.issues.a
5940	93 77 90 b8 e3 61 72 6e 69 6e 67 93 69 66 93 69 74 93 0c 6e 64 73 93 74 68 61 74 93 61 8e a1 8d	.w...arning.if.it..nds.that.a...
5960	91 3e 00 00 6e 65 65 64 65 64 96 03 60 9a 6f 6e 65 93 69 73 93 6d 69 73 73 69 6e 67 2c 9b 03 63	.>..needed..`.one.is.missing,..c
5980	6c 66 6f 72 93 65 78 61 6d 70 6c 65 2c 98 62 90 47 1d 65 74 95 b8 e3 77 93 65 65 6e 9b 03 60 9a	lfor.example,.b.G.et...w.een..`.
59a0	74 93 77 93 6f 98 69 64 65 6e 93 74 69 0c 65 72 73 2e 91 04 93 97 49 74 98 69 73 98 6e 6f 74 98	t.w.o.iden.ti.ers.....It.is.not.
59c0	6e 65 63 65 73 73 61 72 79 8e a1 8d 91 3e 00 00 74 6f 96 03 0a 55 73 65 70 61 72 61 74 65 93 73	necessary....>..to...Useparate.s
59e0	79 6d 9a b8 e3 62 90 47 1d 6f 6c 73 93 6c 69 6b 98 65 93 d2 5c 64 6f 6d 93 b2 61 6e 64 93 d2 5c	ym...b.G.ols.lik.e..\dom..and..\
5a00	72 61 6e 93 b2 66 72 6f 6d 93 74 68 65 69 72 93 61 72 67 75 6d 65 6e 98 74 73 93 77 69 74 68 93	ran..from.their.argumen.ts.with.
5a20	61 93 d2 7e b2 2c 91 03 19 55 62 90 47 1d 65 63 61 75 73 65 8e a1 8d 91 3e 00 00 54 8d 91 fe 55	a..~.,...Ub.G.ecause....>..T...U
5a40	3e 9f 02 27 1c 45 8e 91 03 e3 78 58 96 03 fe eb 69 6e 73 65 72 74 73 93 74 68 65 93 72 69 67 68	>..'.E....xX....inserts.the.righ
5a60	9a b8 e3 74 93 61 6d 6f 75 6e 98 74 93 6f 66 93 73 70 61 63 65 93 61 75 74 6f 6d 61 74 69 63 61	...t.amoun.t.of.space.automatica
5a80	6c 6c 79 96 ff 2a aa 2e 91 06 6e 8a 46 93 6f 72 96 03 fe eb 65 78 61 6d 70 6c 65 2c 91 04 29 51	lly..*....n.F.or....example,..)Q
5aa0	74 68 65 93 69 6e 70 75 74 8e a1 8d 91 3e 00 00 d2 5c 64 6f 6d 91 05 3f fd 66 96 03 55 55 b2 70	the.input....>...\dom..?.f..UU.p
5ac0	72 6f 90 47 1d 64 75 63 65 73 8d 93 64 6f 6d 8e 91 17 e3 8f d3 66 91 02 1e 94 b2 2e 8e a1 8d 91	ro.G.duces..dom......f..........
5ae0	4d 00 00 49 74 96 03 2d fa 69 73 93 67 6f 95 47 1d 6f 93 64 96 03 2d fa 73 74 90 b8 e3 79 6c 65	M..It..-.is.go.G.o.d..-.st...yle
5b00	93 61 6c 73 6f 93 74 6f 93 69 6e 73 65 72 74 93 73 6d 61 6c 6c 93 73 70 61 63 65 73 93 69 6e 73	.also.to.insert.small.spaces.ins
5b20	69 64 65 93 74 68 65 93 62 72 61 63 65 73 93 6f 66 93 61 93 73 65 74 93 63 6f 6d 70 72 65 2d 8e	ide.the.braces.of.a.set.compre-.
5b40	a1 8d 91 3e 00 00 68 65 6e 73 69 6f 6e 2c 96 03 55 55 61 73 93 69 6e 93 74 68 69 73 93 65 78 61	...>..hension,..UUas.in.this.exa
5b60	6d 70 6c 65 3a 8e 9f 20 1c 72 8d 9f f3 c7 1c 8d 91 57 00 02 d2 5c 7b 7e 78 3a 96 05 3f fd 5c 6e	mple:....r.......W...\{~x:..?.\n
5b80	61 74 93 7c 93 78 93 5c 6c 65 71 93 31 30 93 40 93 78 93 2a 93 78 7e 5c 7d 8e 8e a4 16 00 00 8d	at.|.x.\leq.10.@.x.*.x~\}.......
5ba0	8d 91 57 00 02 b8 66 91 01 aa a8 d3 78 9b 03 fb 5c b2 3a 96 02 c7 18 dc 4e 93 b8 6a 93 d3 78 98	..W...f.....x...\.:.....N..j..x.
5bc0	b8 14 93 b2 31 30 93 b8 0f 93 d3 78 91 03 6d 24 b8 03 91 02 38 e0 d3 78 91 02 de ec b8 67 8e 8e	....10.....x..m$....8..x.....g..
5be0	a1 8d 91 3e 00 00 b2 54 68 69 73 96 03 c2 44 68 65 6c 70 73 93 74 6f 93 64 69 73 74 69 6e 67 75	...>...This...Dhelps.to.distingu
5c00	69 73 68 93 69 74 93 76 69 73 75 61 6c 6c 79 93 66 72 6f 6d 93 61 93 73 65 74 93 64 69 73 70 6c	ish.it.visually.from.a.set.displ
5c20	61 95 b8 e3 79 91 ff 2a aa 2c 91 03 dd 80 77 68 69 63 93 68 96 03 c2 44 73 68 6f 75 6c 64 93 6e	a...y..*.,....whic.h...Dshould.n
5c40	6f 74 93 68 61 95 b8 e3 76 93 65 8e a9 0c 00 00 8d 91 3e 00 00 74 68 65 91 03 55 55 73 70 61 63	ot.ha...v.e.......>..the..UUspac
5c60	65 3a 8e 9f 1f 47 1b 8d 9f f4 9c 73 8d 91 57 00 02 d2 5c 7b 31 2c 96 05 3f fd 32 2c 93 33 5c 7d	e:...G.....s..W...\{1,..?.2,.3\}
5c80	8e 8e a1 8d 8d 91 57 00 02 b8 66 b2 31 b5 3b 96 01 aa a8 b2 32 b5 3b 93 b2 33 b8 67 8e 8e a1 8d	......W...f.1.;.....2.;..3.g....
5ca0	91 3e 00 00 b2 54 68 65 96 03 d9 91 73 70 61 63 65 93 73 79 6d 9a b8 e3 62 90 47 1d 6f 6c 93 d2	.>...The....space.sym...b.G.ol..
5cc0	7e 93 b2 69 73 93 69 67 6e 6f 72 65 64 93 62 98 79 93 74 68 65 93 74 98 79 70 90 47 1d 65 2d 63	~..is.ignored.b.y.the.t.yp.G.e-c
5ce0	98 68 65 63 98 6b 98 65 72 2c 91 03 fa a0 73 6f 93 74 68 69 73 93 69 73 93 70 75 72 65 6c 79 93	.hec.k.er,....so.this.is.purely.
5d00	61 93 6d 61 74 74 65 72 8e a6 8d 91 3e 00 00 6f 66 96 04 30 d2 61 70 70 9a 47 1d 65 61 72 61 6e	a.matter....>..of..0.app.G.earan
5d20	63 65 2e 91 07 04 3d 49 74 93 61 6c 73 6f 93 6c 6f 98 6f 6b 73 93 62 98 65 74 74 65 72 93 69 66	ce....=It.also.lo.oks.b.etter.if
5d40	93 79 90 b8 e3 6f 75 93 61 64 64 93 73 6d 61 6c 6c 93 73 70 61 63 65 73 93 69 6e 73 69 64 65 93	.y...ou.add.small.spaces.inside.
5d60	74 68 65 93 73 71 75 61 72 65 8e a6 8d 91 3e 00 00 62 72 61 63 95 b8 e3 6b 93 65 74 73 96 03 55	the.square....>..brac...k.ets..U
5d80	55 6f 66 93 60 68 6f 72 69 7a 6f 6e 9a b8 e3 74 61 6c 27 93 73 63 98 68 65 6d 61 93 74 65 78 74	Uof.`horizon...tal'.sc.hema.text
5da0	73 2e 8e a6 8d 91 4d 00 00 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 96 03 24 52 61 6c	s.....M..T...U>..'.E....xX..$Ral
5dc0	73 6f 93 6e 65 65 64 73 93 68 65 6c 70 93 77 68 65 6e 93 61 93 62 69 6e 61 72 79 93 6f 70 9a 47	so.needs.help.when.a.binary.op.G
5de0	1d 65 72 61 74 6f 72 93 61 70 70 98 65 61 72 73 93 61 74 93 74 68 65 93 65 6e 64 93 6f 66 93 61	.erator.app.ears.at.the.end.of.a
5e00	93 6c 69 6e 65 2c 91 03 2e 1f 61 73 8e a6 8d 91 3e 00 00 69 6e 96 03 55 55 74 68 65 93 66 6f 6c	.line,....as....>..in..UUthe.fol
5e20	6c 6f 90 b8 e3 77 69 6e 67 93 65 78 61 6d 70 6c 65 3a 8e 8e 9f 1e 00 00 8d 92 00 e8 00 00 38 8e	lo...wing.example:............8.
5e40	8e 8c 8b 00 00 00 09 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	................................
5e60	00 00 00 00 00 00 00 00 00 00 00 00 00 52 1c a0 02 79 00 00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d	.............R...y..........?...
5e80	a0 fe 19 c7 1a 8d 9f d1 2a ad 8d 91 57 00 02 d2 5c 62 65 67 69 6e 7b 7a 65 64 7d 8e a4 0c 00 00	........*...W...\begin{zed}.....
5ea0	8d 91 6b ff f6 64 69 72 65 63 74 6f 72 79 27 96 05 3f fd 3d 93 64 69 72 65 63 74 6f 72 79 93 5c	..k..directory'..?.=.directory.\
5ec0	63 75 70 93 7b 7d 93 5c 5c 8e a1 8d 91 57 00 02 5c 74 33 91 59 3f cd 5c 7b 6e 65 77 5c 5f 6e 61	cup.{}.\\....W..\t3.Y?.\{new\_na
5ee0	6d 65 3f 96 05 3f fd 5c 6d 61 70 73 74 6f 93 6e 65 77 5c 5f 6e 75 6d 62 65 72 3f 5c 7d 8e a1 8d	me?..?.\mapsto.new\_number?\}...
5f00	91 57 00 02 5c 65 6e 64 7b 7a 65 64 7d 8e 8e a4 11 a3 a2 8d 8d 91 57 00 02 d3 64 69 72 96 ff 7d	.W..\end{zed}.........W...dir..}
5f20	27 65 93 63 74 6f 72 79 8d 91 00 e2 7d 9f fc 5e ff b7 30 8e 91 06 77 ce b2 3d 91 02 c7 18 d3 64	'e.ctory....}..^..0...w..=.....d
5f40	69 72 93 65 93 63 74 6f 72 79 91 03 1b 5d b8 5b 8e 8e a9 0c 00 00 8d 8d 92 00 93 00 08 66 d3 6e	ir.e.ctory...].[.............f.n
5f60	65 77 8d 91 01 13 8d 89 00 00 66 66 00 05 00 00 8e 9b 06 13 8d 6e 61 6d 65 91 00 c0 5b b2 3f 96	ew........ff.........name...[.?.
5f80	02 c7 18 b8 37 21 93 d3 6e 65 77 8d 91 01 13 8d 89 00 00 66 66 00 05 00 00 8e 98 6e 75 6d 62 91	....7!..new........ff......numb.
5fa0	ff 7d 27 65 72 91 01 13 8d b2 3f b8 67 8e 8e a1 8d 91 3e 00 00 b2 54 8d 91 fe 55 3e 9f 02 27 1c	.}'er.....?.g.....>...T...U>..'.
5fc0	45 8e 91 03 e3 78 58 96 03 b8 57 77 69 6c 6c 93 6e 6f 74 93 72 65 63 6f 67 6e 69 7a 65 93 d2 5c	E....xX...Wwill.not.recognize..\
5fe0	63 75 70 93 b2 61 73 93 61 93 62 69 6e 61 72 79 93 6f 70 90 47 1d 65 72 61 74 6f 72 93 61 6e 64	cup..as.a.binary.op.G.erator.and
6000	93 69 6e 73 65 72 74 93 74 68 65 93 63 6f 72 72 65 63 74 93 73 70 61 63 65 8e a6 8d 91 3e 00 00	.insert.the.correct.space....>..
6020	75 6e 6c 65 73 73 96 03 fd d8 69 74 93 69 73 93 73 75 72 72 6f 75 6e 64 65 64 93 62 9a b8 e3 79	unless....it.is.surrounded.b...y
6040	93 74 98 77 98 6f 93 6f 70 90 47 1d 65 72 61 6e 64 73 2c 91 04 27 f8 73 6f 93 74 68 65 93 64 75	.t.w.o.op.G.erands,..'.so.the.du
6060	6d 6d 98 79 93 6f 70 9a 47 1d 65 72 61 6e 64 93 d2 7b 7d 93 b2 68 61 73 93 62 98 65 65 6e 8e a6	mm.y.op.G.erand..{}..has.b.een..
6080	8d 91 3e 00 00 69 6e 73 65 72 74 65 64 3a 91 04 dc 6c 74 68 69 73 96 03 8a a8 69 73 93 69 67 6e	..>..inserted:...lthis....is.ign
60a0	6f 72 65 64 93 62 9a b8 e3 79 93 74 68 65 93 74 98 79 70 90 47 1d 65 2d 63 98 68 65 63 98 6b 98	ored.b...y.the.t.yp.G.e-c.hec.k.
60c0	65 72 2e 91 05 11 bf 54 68 69 73 93 70 72 6f 62 6c 65 6d 93 61 0b 65 63 74 73 93 6f 6e 6c 79 93	er.....This.problem.a.ects.only.
60e0	62 69 6e 61 72 79 8e a6 8d 91 3e 00 00 6f 70 9a 47 1d 65 72 61 74 6f 72 73 3b 91 05 8b ed 72 65	binary....>..op.G.erators;....re
6100	6c 61 74 69 6f 6e 96 04 cf 10 73 69 67 6e 73 93 64 6f 93 6e 6f 74 93 6e 65 65 64 93 74 6f 93 62	lation....signs.do.not.need.to.b
6120	98 65 93 73 75 72 72 6f 75 6e 64 65 64 93 62 9a b8 e3 79 93 61 72 67 75 6d 65 6e 98 74 73 93 74	.e.surrounded.b...y.argumen.ts.t
6140	6f 93 62 90 47 1d 65 8e a6 8d 91 3e 00 00 72 65 63 6f 67 6e 69 7a 65 64 96 03 55 55 62 90 b8 e3	o.b.G.e....>..recognized..UUb...
6160	79 93 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 2e 8e 9f 20 51 82 8d 8d 91 3e 00 00 d1	y.T...U>..'.E....xX....Q....>...
6180	36 8e 91 56 4c cb 42 69 74 73 96 05 66 66 61 6e 64 93 70 69 65 63 65 73 8e 9f 15 e7 1b 8d 91 3e	6..VL.Bits..ffand.pieces.......>
61a0	00 00 b2 53 70 95 47 1d 65 63 69 0c 63 61 74 69 6f 6e 9b 03 a8 46 64 6f 93 63 75 6d 65 6e 95 b8	...Sp.G.eci.cation...Fdo.cumen..
61c0	e3 74 73 98 6f 66 74 65 6e 98 63 6f 6e 93 74 61 69 6e 98 6d 61 74 68 65 6d 61 74 69 63 61 6c 98	.ts.often.con.tain.mathematical.
61e0	74 65 78 74 98 77 68 69 63 93 68 98 64 6f 90 47 1d 65 73 98 6e 6f 74 98 66 6f 72 6d 8e a6 8d 91	text.whic.h.do.G.es.not.form....
6200	3e 00 00 70 61 72 74 96 03 b4 23 6f 66 93 74 68 65 93 73 70 9a 47 1d 65 63 69 0c 63 61 74 69 6f	>..part...#of.the.sp.G.eci.catio
6220	6e 93 70 72 6f 70 98 65 72 2e 91 05 8e 30 54 68 69 73 93 73 65 63 74 69 6f 6e 93 64 65 73 63 72	n.prop.er....0This.section.descr
6240	69 62 98 65 73 93 73 6f 6d 65 93 65 6e 95 b8 e3 76 69 72 6f 6e 6d 65 6e 93 74 73 91 03 b4 23 66	ib.es.some.en...vironmen.ts...#f
6260	6f 72 8e a6 8d 91 3e 00 00 73 65 74 74 69 6e 67 96 04 2e 4a 76 91 ff 71 c7 61 72 69 6f 75 73 93	or....>..setting...Jv..q.arious.
6280	6b 69 6e 64 73 93 6f 66 93 6d 61 74 68 65 6d 61 74 69 63 73 3b 91 04 9a c4 74 68 65 79 93 61 72	kinds.of.mathematics;....they.ar
62a0	65 93 70 72 6f 9a b8 e3 76 69 64 65 64 93 66 6f 72 93 63 6f 6e 98 76 98 65 6e 69 65 6e 63 65 2c	e.pro...vided.for.con.v.enience,
62c0	91 04 64 87 61 6e 64 8e a6 8d 91 3e 00 00 74 68 65 79 96 02 bf 4c 61 72 65 93 61 6c 6c 93 69 67	..d.and....>..they...Lare.all.ig
62e0	6e 6f 72 65 64 93 62 9a b8 e3 79 93 74 68 65 93 74 98 79 70 90 47 1d 65 2d 63 98 68 65 63 98 6b	nored.b...y.the.t.yp.G.e-c.hec.k
6300	98 65 72 2e 91 04 3f c4 42 65 73 69 64 65 73 93 74 68 65 73 65 93 65 6e 98 76 69 72 6f 6e 6d 65	.er...?.Besides.these.en.vironme
6320	6e 98 74 73 93 66 6f 72 93 6d 61 6b 69 6e 67 8e a6 8d 91 3e 00 00 64 69 73 70 6c 61 9a b8 e3 79	n.ts.for.making....>..displa...y
6340	73 2c 91 04 36 40 72 75 6e 2d 69 6e 96 04 09 44 6d 61 74 68 65 6d 61 74 69 63 73 93 63 61 6e 93	s,..6@run-in...Dmathematics.can.
6360	62 90 47 1d 65 93 73 65 74 93 77 69 74 68 93 74 68 65 93 75 73 75 61 6c 93 d2 6d 61 74 68 93 b2	b.G.e.set.with.the.usual..math..
6380	65 6e 98 76 69 72 6f 6e 6d 65 6e 98 74 2c 91 04 36 40 6f 72 8e a6 8d 91 3e 00 00 77 69 74 68 96	en.vironmen.t,..6@or....>..with.
63a0	02 72 c3 74 68 65 93 63 6f 6d 6d 61 6e 64 73 93 d2 24 96 05 3f fd 2e 2e 2e 93 24 96 02 72 c3 b2	.r.the.commands..$..?.....$..r..
63c0	6f 72 8d 93 d2 5c 28 96 05 3f fd 2e 2e 2e 93 5c 29 8e 91 31 b2 a8 b2 2e 91 04 26 41 41 6c 6c 93	or...\(..?.....\)..1......&AAll.
63e0	74 68 65 93 5a 91 02 72 8a 73 79 6d 90 b8 e3 62 90 47 1d 6f 6c 73 93 6c 69 73 74 65 64 93 69 6e	the.Z..r.sym...b.G.ols.listed.in
6400	93 53 65 63 74 69 6f 6e 93 34 8e a6 8d 91 3e 00 00 63 61 6e 96 03 55 55 62 90 47 1d 65 93 75 73	.Section.4....>..can..UUb.G.e.us
6420	65 64 93 77 69 74 68 93 74 68 65 73 65 93 63 6f 6d 6d 61 6e 64 73 2e 8e a6 8d 91 4d 00 00 54 68	ed.with.these.commands.....M..Th
6440	65 96 03 03 f2 73 69 6d 70 6c 65 73 74 93 64 69 73 70 6c 61 9a b8 e3 79 93 65 6e 98 76 69 72 6f	e....simplest.displa...y.en.viro
6460	6e 6d 65 6e 98 74 93 69 73 93 70 72 6f 98 76 69 64 65 64 93 62 98 79 93 74 68 65 93 63 6f 6d 6d	nmen.t.is.pro.vided.b.y.the.comm
6480	61 6e 64 73 93 d2 5c 5b 96 05 3f fd 2e 2e 2e 93 5c 5d b2 2e 8e a6 8d 91 3e 00 00 54 68 69 73 96	ands..\[..?.....\]......>..This.
64a0	02 e0 fe 66 6f 72 6d 93 61 63 74 73 93 6a 75 73 74 93 6c 69 6b 9a b8 e3 65 93 d2 5c 62 65 67 69	...form.acts.just.lik...e..\begi
64c0	6e 7b 7a 65 64 7d 96 05 3f fd 2e 2e 2e 93 5c 65 6e 64 7b 7a 65 64 7d b2 2c 91 02 f8 43 65 78 63	n{zed}..?.....\end{zed}.,...Cexc
64e0	65 70 74 96 02 e0 fe 74 68 61 74 93 74 68 65 93 63 6f 6e 98 74 65 6e 98 74 73 8e a6 8d 91 3e 00	ept....that.the.con.ten.ts....>.
6500	00 61 72 65 96 03 55 55 69 67 6e 6f 72 65 64 93 62 9a b8 e3 79 93 74 68 65 93 74 98 79 70 90 47	.are..UUignored.b...y.the.t.yp.G
6520	1d 65 2d 63 98 68 65 63 98 6b 98 65 72 2e 91 04 71 c7 48 65 72 65 93 69 73 93 61 6e 93 65 78 61	.e-c.hec.k.er...q.Here.is.an.exa
6540	6d 70 6c 65 3a 8e 9f 42 b8 e1 8d 9f d1 2a ad 8d 91 57 00 02 d2 5c 5b 8e a6 8d 91 6b ff f6 5c 65	mple:..B.....*...W...\[....k..\e
6560	78 69 73 74 73 96 05 3f fd 50 68 6f 6e 65 44 42 93 40 93 5c 5c 8e a6 8d 91 57 00 02 5c 74 31 91	xists..?.PhoneDB.@.\\....W..\t1.
6580	1a 3f f1 6b 6e 6f 77 6e 96 05 3f fd 3d 93 5c 65 6d 70 74 79 8e a6 8d 91 57 00 02 5c 5d 8e 8e a1	.?.known..?.=.\empty....W..\]...
65a0	8d 8d 8d 91 57 00 02 b8 39 8e 91 5e 38 e4 d3 50 68 6f 6e 65 44 42 91 03 cd ac b8 0f 8e 8e a6 8d	....W...9..^8..PhoneDB..........
65c0	8d 91 6b 00 04 d3 6b 6e 6f 77 6e 91 03 8b 7b b2 3d 8e 8e a1 8d 91 3e 00 00 54 68 65 73 65 96 02	..k...known...{.=.....>..These..
65e0	82 e8 63 6f 6d 6d 61 6e 64 73 93 67 65 6e 65 72 61 6c 69 7a 65 93 74 68 65 93 73 74 61 6e 64 61	..commands.generalize.the.standa
6600	72 64 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27	rd.L....5...ff.A.......T...U>..'
6620	1c 45 8e 91 03 e3 78 58 93 63 6f 6d 6d 61 6e 64 73 93 77 69 74 68 93 74 68 65 93 73 61 6d 65 93	.E....xX.commands.with.the.same.
6640	6e 61 6d 65 2c 8e a6 8d 91 3e 00 00 62 9a 47 1d 65 63 61 75 73 65 96 04 41 d5 74 68 65 93 64 69	name,....>..b.G.ecause..A.the.di
6660	73 70 6c 61 95 b8 e3 79 93 65 64 96 04 41 d5 6d 61 74 65 72 69 61 6c 93 63 61 6e 93 62 98 65 93	spla...y.ed..A.material.can.b.e.
6680	73 65 76 9a b8 e3 65 72 61 6c 93 6c 69 6e 65 73 2e 91 07 37 48 4e 6f 74 65 2c 96 04 7c f5 68 6f	sev...eral.lines...7HNote,..|.ho
66a0	98 77 98 65 76 98 65 72 2c 93 74 68 61 74 91 04 41 d5 74 68 65 8e a6 8d 91 3e 00 00 63 6f 6e 95	.w.ev.er,.that..A.the....>..con.
66c0	b8 e3 74 65 6e 93 74 73 96 03 55 55 61 72 65 93 73 65 74 93 61 73 93 74 65 78 74 93 73 74 9a b8	..ten.ts..UUare.set.as.text.st..
66e0	e3 79 6c 65 93 72 61 74 68 65 72 93 74 68 61 6e 93 64 69 73 70 6c 61 98 79 93 73 74 98 79 6c 65	.yle.rather.than.displa.y.st.yle
6700	93 6d 61 74 68 65 6d 61 74 69 63 73 2e 8e a6 8d 91 4d 00 00 41 96 03 55 55 73 63 9a b8 e3 68 65	.mathematics.....M..A..UUsc...he
6720	6d 61 93 62 90 47 1d 6f 98 78 93 77 69 74 68 93 6e 6f 93 6e 61 6d 65 93 69 73 93 67 65 6e 65 72	ma.b.G.o.x.with.no.name.is.gener
6740	61 74 65 64 93 62 98 79 93 74 68 65 93 d2 73 63 68 65 6d 61 2a 93 b2 65 6e 98 76 69 72 6f 6e 6d	ated.b.y.the..schema*..en.vironm
6760	65 6e 98 74 3a 8e 9f 4e b8 e1 8d 9f c5 2a ad 8d 91 57 00 02 d2 5c 62 65 67 69 6e 7b 73 63 68 65	en.t:..N.....*...W...\begin{sche
6780	6d 61 2a 7d 8e a6 8d 92 00 80 ff ea 78 2c 96 05 3f fd 79 3a 93 5c 6e 61 74 8e a6 8d 91 57 00 02	ma*}........x,..?.y:.\nat....W..
67a0	5c 77 68 65 72 65 8e a6 8d 92 00 80 ff ea 78 96 05 3f fd 3e 93 79 8e a6 8d 91 57 00 02 5c 65 6e	\where........x..?.>.y....W..\en
67c0	64 7b 73 63 68 65 6d 61 2a 7d 8e 8e 8e 9f 1e 00 00 8d 92 00 e8 00 00 b2 39 8e 8e 8c 8b 00 00 00	d{schema*}..............9.......
67e0	0a 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	................................
6800	00 00 00 00 00 00 00 5e 42 a0 02 79 00 00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d a0 fd e4 00 00 8d	.......^B..y..........?.........
6820	8d 91 57 00 02 84 00 00 66 66 01 26 ff fc 8e 8e a4 03 00 00 8d 8d 91 57 00 02 84 00 03 00 00 00	..W.....ff.&...........W........
6840	00 66 66 8e 8e a9 08 66 64 8d 8d 91 57 00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 0a 00 01	.ff....fd...W.............ff....
6860	9f fc 66 64 d3 78 91 01 34 44 b5 3b 91 01 aa a8 d3 79 91 03 a9 95 b2 3a 91 02 c7 18 dc 4e 8e 8e	..fd.x..4D.;.....y.....:.....N..
6880	9f 06 99 9c 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e 9e 66 66 8d 8d 91 57 00 02 84 00	.......W.........ff...ff...W....
68a0	00 66 66 00 3c 00 06 8e 8e a1 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e a6 8d 8d 91 57	.ff.<........W.........ff......W
68c0	00 02 9f 03 99 9c 84 00 0c 00 00 00 00 66 66 91 0a 00 01 9f fc 66 64 d3 78 91 03 fb 5c b5 3e 91	.............ff......fd.x...\.>.
68e0	02 c7 18 d3 79 8e 8e 9f 06 99 9c 8d 8d 91 57 00 02 84 00 03 00 00 00 00 66 66 8e 8e 9e 66 66 8d	....y.........W.........ff...ff.
6900	8d 91 57 00 02 84 00 00 66 66 01 26 ff fc 8e 8e a9 12 e7 cf 8d 91 3e 00 00 b2 54 68 69 73 96 02	..W.....ff.&..........>...This..
6920	e5 2f 66 6f 72 6d 93 69 73 93 6f 66 74 65 6e 93 75 73 65 66 75 6c 93 66 6f 72 93 73 68 6f 9a b8	./form.is.often.useful.for.sho..
6940	e3 77 69 6e 67 93 74 68 65 93 72 65 73 75 6c 74 93 6f 66 93 65 78 70 61 6e 64 69 6e 67 93 61 93	.wing.the.result.of.expanding.a.
6960	63 6f 6d 70 6c 65 78 93 73 63 98 68 65 6d 61 2d 8e a4 0c 00 00 8d 91 3e 00 00 65 78 70 72 65 73	complex.sc.hema-.......>..expres
6980	73 69 6f 6e 2e 8e a1 8d 91 4d 00 00 41 6e 6f 74 68 65 72 96 02 77 74 6b 69 6e 64 93 6f 66 93 6d	sion.....M..Another..wtkind.of.m
69a0	61 74 68 65 6d 61 74 69 63 61 6c 93 64 69 73 70 6c 61 9a b8 e3 79 93 69 73 93 70 72 6f 98 76 69	athematical.displa...y.is.pro.vi
69c0	64 65 64 93 62 98 79 93 74 68 65 93 d2 61 72 67 75 65 93 b2 65 6e 98 76 69 72 6f 6e 6d 65 6e 98	ded.b.y.the..argue..en.vironmen.
69e0	74 2e 8e a1 8d 91 3e 00 00 54 68 69 73 96 03 76 fe 69 73 93 6c 69 6b 9a b8 e3 65 93 74 68 65 93	t.....>..This..v.is.lik...e.the.
6a00	d2 7a 65 64 93 b2 65 6e 98 76 69 72 6f 6e 6d 65 6e 98 74 2c 91 03 7f 69 62 75 74 93 74 68 65 93	.zed..en.vironmen.t,...ibut.the.
6a20	73 65 70 61 72 61 74 69 6f 6e 93 62 90 47 1d 65 74 98 77 98 65 65 6e 93 6c 69 6e 65 73 93 69 73	separation.b.G.et.w.een.lines.is
6a40	93 69 6e 63 72 65 61 73 65 64 8e a1 8d 91 3e 00 00 61 96 04 b7 3f 6c 69 74 74 6c 65 2c 91 05 0f	.increased....>..a...?little,...
6a60	b9 61 6e 64 93 70 61 67 65 93 62 72 65 61 6b 73 93 6d 61 90 b8 e3 79 93 6f 9a 47 1d 63 63 75 72	.and.page.breaks.ma...y.o.G.ccur
6a80	93 62 98 65 74 95 b8 e3 77 93 65 65 6e 96 04 b7 3f 6c 69 6e 65 73 2e 91 08 97 86 54 68 65 93 69	.b.et...w.een...?lines.....The.i
6aa0	6e 90 b8 e3 74 65 6e 64 65 64 93 75 73 65 93 69 73 93 66 6f 72 8e a1 8d 91 3e 00 00 61 72 67 75	n...tended.use.is.for....>..argu
6ac0	6d 65 6e 95 b8 e3 74 73 9b 03 55 55 6c 69 6b 93 65 98 74 68 69 73 3a 8e 9f 5c 1c 72 8d 9f b7 c7	men...ts..UUlik.e.this:..\.r....
6ae0	1c 8d 91 57 00 02 d2 5c 62 65 67 69 6e 7b 61 72 67 75 65 7d 8e a1 8d 91 6b ff f6 53 96 05 3f fd	...W...\begin{argue}....k..S..?.
6b00	5c 64 72 65 73 93 28 54 93 5c 64 72 65 73 93 52 29 93 5c 5c 8e a1 8d 91 57 00 02 5c 74 31 91 1a	\dres.(T.\dres.R).\\....W..\t1..
6b20	3f f1 3d 96 05 3f fd 5c 69 64 93 53 93 5c 63 6f 6d 70 93 5c 69 64 93 54 93 5c 63 6f 6d 70 93 52	?.=..?.\id.S.\comp.\id.T.\comp.R
6b40	93 5c 5c 8e a1 8d 91 57 00 02 5c 74 31 91 1a 3f f1 3d 96 05 3f fd 5c 69 64 93 28 53 93 5c 63 61	.\\....W..\t1..?.=..?.\id.(S.\ca
6b60	70 93 54 29 93 5c 63 6f 6d 70 93 52 93 26 93 6c 61 77 93 61 62 6f 75 74 93 24 5c 69 64 24 93 5c	p.T).\comp.R.&.law.about.$\id$.\
6b80	5c 8e a1 8d 91 57 00 02 5c 74 31 91 1a 3f f1 3d 96 05 3f fd 28 53 93 5c 63 61 70 93 54 29 93 5c	\....W..\t1..?.=..?.(S.\cap.T).\
6ba0	64 72 65 73 93 52 2e 8e a1 8d 91 57 00 02 5c 65 6e 64 7b 61 72 67 75 65 7d 8e 8e a6 8d 8d 91 57	dres.R.....W..\end{argue}......W
6bc0	00 02 d3 53 91 03 6b 5d d9 43 96 02 38 e0 b2 28 d3 54 91 03 8d 7e d9 43 93 d3 52 90 63 06 b2 29	...S..k].C..8..(.T...~.C..R.c..)
6be0	8e 8e a4 0f 00 00 8d 8d 91 6b 00 04 3d 8d 91 02 c7 18 69 64 8e 91 0c c7 17 d3 53 8d 8d 9f fd 6a	.........k..=.....id......S....j
6c00	aa 8d 8d 91 03 6b 5d b0 6f 8e 8e 9f 04 30 e2 8d 8d 91 03 6b 5d 39 8e 8e 8e 8e 8d 91 09 0b 5d b2	.....k].o....0.....k]9........].
6c20	69 64 8e 91 13 0b 5c d3 54 8d 8d 9f fd 6a aa 8d 8d 91 03 8d 7e b0 6f 8e 8e 9f 04 30 e2 8d 8d 91	id....\.T....j......~.o....0....
6c40	03 8d 7e 39 8e 8e 8e 8e 91 09 2d 7e d3 52 8e 8e a1 8d 8d 91 6b 00 04 b2 3d 8d 91 02 c7 18 69 64	..~9......-~.R......k...=.....id
6c60	8e 91 0b 1c 6f 28 d3 53 91 03 6b 5d b8 5c 96 02 38 e0 d3 54 91 01 54 9e b2 29 8d 8d 9f fd 6a aa	....o(.S..k].\..8..T..T..)....j.
6c80	8d 8d 93 b0 6f 8e 8e 9f 04 30 e2 8d 8d 93 39 8e 8e 8e 8e 91 07 d8 e0 d3 52 8e 8d 8d 92 01 5a 71	....o....0....9.........R.....Zq
6ca0	be b2 5b 6c 61 90 b8 e3 77 96 03 55 55 61 62 90 47 1d 6f 75 74 8d 93 69 64 8e 91 0b aa ac 5d 8e	..[la...w..UUab.G.out..id.....].
6cc0	8e 8e a1 8d 8d 91 6b 00 04 3d 91 02 c7 18 28 d3 53 91 03 6b 5d b8 5c 96 02 38 e0 d3 54 91 01 54	......k..=....(.S..k].\..8..T..T
6ce0	9e b2 29 93 d9 43 93 d3 52 90 63 06 b5 3a 8e 8e a6 8d 91 3e 00 00 b2 57 68 65 6e 96 02 a3 9f 74	..)..C..R.c..:.....>...When....t
6d00	68 65 93 6c 65 66 74 2d 68 61 6e 64 93 73 69 64 65 93 69 73 93 6c 6f 6e 67 2c 91 02 c7 2a 49 91	he.left-hand.side.is.long,...*I.
6d20	02 a3 72 0c 6e 64 93 74 68 69 73 93 73 74 90 b8 e3 79 6c 65 93 62 90 47 1d 65 74 74 65 72 93 74	..r.nd.this.st...yle.b.G.etter.t
6d40	68 61 6e 93 74 68 65 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe	han.the.L....5...ff.A.......T...
6d60	55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 d2 65 71 6e 61 72 72 61 79 8e a4 0c 00 00 8d 91 3e 00	U>..'.E....xX..eqnarray.......>.
6d80	00 b2 73 74 95 b8 e3 79 6c 65 2c 91 04 81 15 77 68 69 63 93 68 9b 04 45 22 77 93 61 73 74 65 73	..st...yle,....whic.h..E"w.astes
6da0	98 61 98 6c 6f 74 98 6f 66 98 73 70 61 63 65 2e 91 07 41 2e 54 68 65 98 73 65 63 6f 6e 64 98 0c	.a.lot.of.space...A.The.second..
6dc0	65 6c 64 98 6f 6e 98 65 61 63 93 68 98 6c 69 6e 65 98 69 73 98 6f 70 74 69 6f 6e 61 6c 2e 8e a1	eld.on.eac.h.line.is.optional...
6de0	8d 91 3e 00 00 41 67 61 69 6e 2c 96 03 55 55 74 68 65 93 d2 61 72 67 75 65 93 b2 65 6e 95 b8 e3	..>..Again,..UUthe..argue..en...
6e00	76 69 72 6f 6e 6d 65 6e 93 74 96 03 55 55 69 73 93 69 67 6e 6f 72 65 64 93 62 9a b8 e3 79 93 74	vironmen.t..UUis.ignored.b...y.t
6e20	68 65 93 74 98 79 70 90 47 1d 65 2d 63 98 68 65 63 98 6b 98 65 72 2e 8e a1 8d 91 4d 00 00 46 69	he.t.yp.G.e-c.hec.k.er.....M..Fi
6e40	6e 61 6c 6c 79 91 ff 2a aa 2c 96 03 55 55 74 68 65 72 65 93 69 73 93 74 68 65 93 d2 69 6e 66 72	nally..*.,..UUthere.is.the..infr
6e60	75 6c 65 93 b2 65 6e 95 b8 e3 76 69 72 6f 6e 6d 65 6e 93 74 2c 96 03 55 55 75 73 65 64 93 66 6f	ule..en...vironmen.t,..UUused.fo
6e80	72 93 69 6e 66 65 72 65 6e 63 65 93 72 75 6c 65 73 3a 8e 9f 4e b8 e1 8d 9f c5 2a ad 8d 91 57 00	r.inference.rules:..N.....*...W.
6ea0	02 d2 5c 62 65 67 69 6e 7b 69 6e 66 72 75 6c 65 7d 8e a1 8d 91 6b ff f6 5c 47 61 6d 6d 61 96 05	..\begin{infrule}....k..\Gamma..
6ec0	3f fd 5c 73 68 6f 77 73 93 50 8e a1 8d 91 57 00 02 5c 64 65 72 69 76 65 5b 78 96 05 3f fd 5c 6e	?.\shows.P....W..\derive[x..?.\n
6ee0	6f 74 69 6e 93 66 72 65 65 76 61 72 73 28 5c 47 61 6d 6d 61 29 5d 8e a1 8d 91 6b ff f6 5c 47 61	otin.freevars(\Gamma)]....k..\Ga
6f00	6d 6d 61 96 05 3f fd 5c 73 68 6f 77 73 93 5c 66 6f 72 61 6c 6c 93 78 93 40 93 50 8e a1 8d 91 57	mma..?.\shows.\forall.x.@.P....W
6f20	00 02 5c 65 6e 64 7b 69 6e 66 72 75 6c 65 7d 8e 8e a6 8d 8d 91 61 00 03 b2 00 96 02 c7 18 b8 60	..\end{infrule}......a.........`
6f40	93 d3 50 8e 8e 9f 07 00 02 8d 8d 91 57 00 02 84 00 00 66 66 00 45 58 a3 8e 8d 8d 8d 92 00 a6 58	..P.........W.....ff.EX........X
6f60	a6 9f 02 27 1c b2 5b 9b 02 c7 18 d3 78 8d 8d 8d 8d 91 05 17 ce b5 3d 8e 8e 8d 8d 91 03 fb 5c b8	...'..[.....x.........=.......\.
6f80	32 8e 8e 8e 8e 91 0d 6d 20 d3 66 72 96 ff 7d 27 65 93 65 76 61 72 73 91 00 d2 21 b2 28 00 29 98	2......m..fr..}'e.evars...!.(.).
6fa0	5d 8e 8e 8e 8e 9f 0b 66 64 8d 8d 91 61 00 03 00 96 02 c7 18 b8 60 8d 93 38 8e 91 09 ff fa d3 78	]......fd...a........`..8......x
6fc0	91 03 fb 5c b8 0f 93 d3 50 8e 8e a6 8d 91 3e 00 00 b2 54 68 65 96 03 e2 6a 68 6f 72 69 7a 6f 6e	...\....P.....>...The...jhorizon
6fe0	9a b8 e3 74 61 6c 93 6c 69 6e 65 93 69 73 93 67 65 6e 65 72 61 74 65 64 93 62 98 79 93 d2 5c 64	...tal.line.is.generated.b.y..\d
7000	65 72 69 76 65 b2 3b 91 04 28 f4 74 68 65 93 6f 70 74 69 6f 6e 61 6c 93 61 72 67 75 6d 65 6e 98	erive.;..(.the.optional.argumen.
7020	74 93 69 73 93 61 93 73 69 64 65 2d 8e a1 8d 91 3e 00 00 63 6f 6e 64 69 74 69 6f 6e 96 03 55 55	t.is.a.side-....>..condition..UU
7040	6f 66 93 74 68 65 93 72 75 6c 65 2e 8e 9f 20 89 56 8d 8d 91 3e 00 00 d1 37 8e 91 56 4c cb 53 74	of.the.rule.....V...>...7..VL.St
7060	90 8c cc 79 6c 65 91 05 66 66 70 61 72 61 6d 65 74 65 72 73 8e 9f 15 e7 1b 8d 91 3e 00 00 b2 41	...yle..ffparameters.......>...A
7080	91 03 35 86 66 65 77 96 03 35 8e 73 74 9a b8 e3 79 6c 65 93 70 61 72 61 6d 65 74 65 72 73 93 61	..5.few..5.st...yle.parameters.a
70a0	0b 65 63 74 93 74 68 65 93 77 98 61 98 79 93 5a 91 03 35 86 74 65 78 74 93 69 73 93 73 65 74 93	.ect.the.w.a.y.Z..5.text.is.set.
70c0	6f 75 74 3b 91 03 40 26 74 68 65 79 93 63 61 6e 93 62 90 47 1d 65 93 63 98 68 61 6e 67 65 64 93	out;..@&they.can.b.G.e.c.hanged.
70e0	61 74 8e a1 8d 91 3e 00 00 61 6e 9a b8 e3 79 96 03 55 55 74 69 6d 65 93 69 66 93 79 98 6f 75 72	at....>..an...y..UUtime.if.y.our
7100	93 74 61 73 74 65 93 64 6f 90 47 1d 65 73 6e 27 74 93 6d 61 74 63 98 68 93 6d 69 6e 65 2e 8e 8e	.taste.do.G.esn't.matc.h.mine...
7120	9f 1e 00 00 8d 92 00 e5 7f ff 31 30 8e 8e 8c 8b 00 00 00 0b 00 00 00 00 00 00 00 00 00 00 00 00	..........10....................
7140	00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 67 dc a0 02 79 00	..........................g...y.
7160	00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d a0 fd e4 00 00 8d 8d 8d 91 3e 00 00 d2 5c 7a 65 64 69 6e	.........?............>...\zedin
7180	64 65 6e 74 8e 8e 91 77 7f e2 b2 54 68 65 96 04 b7 4e 69 6e 64 65 6e 90 b8 e3 74 61 74 69 6f 6e	dent...w...The...Ninden...tation
71a0	93 66 6f 72 93 6d 61 74 68 65 6d 61 74 69 63 61 6c 93 74 65 78 74 2e 91 08 97 b2 42 79 93 64 65	.for.mathematical.text.....By.de
71c0	66 61 75 6c 74 2c 91 05 0f cc 74 68 69 73 93 69 73 93 74 68 65 8e a4 0c 00 00 8d 91 57 00 02 73	fault,....this.is.the.......W..s
71e0	61 6d 65 96 03 55 55 61 73 93 d2 5c 6c 65 66 74 6d 61 72 67 69 6e 69 b2 2c 93 74 68 65 93 69 6e	ame..UUas..\leftmargini.,.the.in
7200	64 65 6e 9a b8 e3 74 61 74 69 6f 6e 93 75 73 65 64 93 66 6f 72 93 6c 69 73 74 93 65 6e 98 76 69	den...tation.used.for.list.en.vi
7220	72 6f 6e 6d 65 6e 98 74 73 2e 8e a9 14 00 00 8d 8d 8d 91 3e 00 00 d2 5c 7a 65 64 6c 65 66 74 73	ronmen.ts..........>...\zedlefts
7240	65 70 8e 8e 91 7c bf df b2 54 68 65 96 03 c3 52 73 70 61 63 65 93 62 90 47 1d 65 74 95 b8 e3 77	ep...|...The...Rspace.b.G.et...w
7260	93 65 65 6e 96 03 c3 52 74 68 65 93 76 9a b8 e3 65 72 74 69 63 61 6c 93 6c 69 6e 65 93 6f 6e 93	.een...Rthe.v...ertical.line.on.
7280	74 68 65 93 6c 65 66 74 93 6f 66 93 73 63 98 68 65 6d 61 73 2c 91 03 de d1 65 74 63 2e 2c 8e a1	the.left.of.sc.hemas,....etc.,..
72a0	8d 91 57 00 02 61 6e 64 96 03 55 55 74 68 65 93 6d 61 74 68 73 93 69 6e 73 69 64 65 2e 91 04 71	..W..and..UUthe.maths.inside...q
72c0	c7 54 68 65 93 64 65 66 61 75 6c 74 93 69 73 93 31 65 6d 2e 8e a6 8d 8d 8d 91 3e 00 00 d2 5c 7a	.The.default.is.1em.......>...\z
72e0	65 64 74 61 62 8e 8e 91 67 bf eb b2 54 68 65 96 03 55 55 75 6e 69 74 93 6f 66 93 69 6e 64 65 6e	edtab...g...The..UUunit.of.inden
7300	9a b8 e3 74 61 74 69 6f 6e 93 75 73 65 64 93 62 98 79 93 d2 5c 74 b2 2e 91 04 71 c7 54 68 65 93	...tation.used.b.y..\t....q.The.
7320	64 65 66 61 75 6c 74 93 69 73 93 32 65 6d 2e 8e a6 8d 8d 8d 91 3e 00 00 d2 5c 7a 65 64 62 61 72	default.is.2em.......>...\zedbar
7340	8e 8e 91 67 bf eb b2 54 68 65 96 02 59 5d 6c 65 6e 67 74 68 93 6f 66 93 74 68 65 93 68 6f 72 69	...g...The..Y]length.of.the.hori
7360	7a 6f 6e 9a b8 e3 74 61 6c 93 62 61 72 93 69 6e 93 74 68 65 93 6d 69 64 64 6c 65 93 6f 66 93 61	zon...tal.bar.in.the.middle.of.a
7380	93 73 63 98 68 65 6d 61 2e 91 04 1d ca 54 68 65 93 64 65 66 61 75 6c 74 8e a1 8d 91 57 00 02 69	.sc.hema.....The.default....W..i
73a0	73 91 03 55 55 36 65 6d 2e 8e a6 8d 8d 8d 91 3e 00 00 d2 5c 7a 65 64 73 6b 69 70 8e 8e 91 6c ff	s..UU6em.......>...\zedskip...l.
73c0	e8 b2 54 68 65 96 03 11 a2 76 9a b8 e3 65 72 74 69 63 61 6c 93 73 70 61 63 65 93 69 6e 73 65 72	..The....v...ertical.space.inser
73e0	74 65 64 93 62 98 79 93 d2 5c 61 6c 73 6f b2 2e 91 04 5b 36 42 79 93 64 65 66 61 75 6c 74 2c 91	ted.b.y..\also....[6By.default,.
7400	03 1f 2c 74 68 69 73 93 69 73 93 74 68 65 93 73 61 6d 65 93 61 73 8e a1 8d 91 57 00 02 74 68 61	..,this.is.the.same.as....W..tha
7420	74 96 03 55 55 69 6e 73 65 72 74 65 64 93 62 90 b8 e3 79 93 d2 5c 6d 65 64 73 6b 69 70 b2 2e 8e	t..UUinserted.b...y..\medskip...
7440	8e 9f 1e 00 00 8d 92 00 e5 7f ff 31 31 8e 8e 8c 8b 00 00 00 0c 00 00 00 00 00 00 00 00 00 00 00	...........11...................
7460	00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 71 2f a0 02 79	...........................q/..y
7480	00 00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d a0 fd e4 00 00 8d 8d 91 3e 00 00 d1 38 8e 91 56 4c cb	..........?...........>...8..VL.
74a0	54 68 65 96 05 66 66 66 75 7a 7a 93 70 61 63 90 8c cc 6b 91 ff 19 99 61 67 65 8e 9f 15 e7 1b 8d	The..fffuzz.pac...k....age......
74c0	91 3e 00 00 b2 54 68 65 96 02 c5 7a c4 66 91 01 33 38 df 75 7a 7a 93 b2 70 61 63 9a b8 e3 6b 91	.>...The...z.f..38.uzz..pac...k.
74e0	ff 71 c7 61 67 65 93 63 6f 6e 73 69 73 74 73 93 6f 66 93 74 98 77 98 6f 93 70 61 72 74 73 93 7b	.q.age.consists.of.t.w.o.parts.{
7500	93 61 93 73 74 98 79 6c 65 93 6f 70 74 69 6f 6e 93 63 6f 6d 70 61 74 69 62 6c 65 93 77 69 74 68	.a.st.yle.option.compatible.with
7520	93 74 68 65 93 d2 7a 65 64 8e a4 0c 00 00 8d 91 3e 00 00 b2 73 74 9a b8 e3 79 6c 65 96 03 24 c1	.the..zed.......>...st...yle..$.
7540	6f 70 74 69 6f 6e 93 64 65 73 63 72 69 62 90 47 1d 65 64 93 68 65 72 65 2c 91 03 2e 78 61 6e 64	option.describ.G.ed.here,...xand
7560	93 61 6e 93 61 6e 61 6c 79 73 69 73 93 61 6e 64 93 63 98 68 65 63 98 6b 69 6e 67 93 70 72 6f 67	.an.analysis.and.c.hec.king.prog
7580	72 61 6d 2e 91 04 61 96 55 73 69 6e 67 93 c4 66 91 01 33 38 df 75 7a 7a 8e a1 8d 91 3e 00 00 b2	ram...a.Using..f..38.uzz....>...
75a0	74 6f 67 65 74 68 65 72 96 03 55 55 77 69 74 68 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e	together..UUwith.L....5...ff.A..
75c0	91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 2c 93 79 90 b8 e3 6f 75 93 63	.....T...U>..'.E....xX,.y...ou.c
75e0	61 6e 3a 8e a4 14 00 00 8d 8d 8d 8d 91 4d 00 01 b8 0f 8e 8e 8e 91 57 00 02 b2 49 6e 70 75 74 96	an:..........M........W...Input.
7600	03 55 55 5a 93 73 70 9a 47 1d 65 63 69 0c 63 61 74 69 6f 6e 73 93 61 73 93 6f 72 64 69 6e 61 72	.UUZ.sp.G.eci.cations.as.ordinar
7620	79 93 41 53 43 49 98 49 93 0c 6c 65 73 2e 8e a1 8d 8d 8d 8d 91 4d 00 01 b8 0f 8e 8e 8e 91 57 00	y.ASCI.I..les........M........W.
7640	02 b2 50 72 6f 90 47 1d 63 65 73 73 96 03 55 55 74 68 65 6d 93 66 6f 72 93 6c 61 73 65 72 93 70	..Pro.G.cess..UUthem.for.laser.p
7660	72 69 6e 9a b8 e3 74 69 6e 67 93 6f 72 93 70 68 6f 74 6f 2d 74 98 79 70 90 47 1d 65 73 65 74 74	rin...ting.or.photo-t.yp.G.esett
7680	69 6e 67 2e 8e a1 8d 8d 8d 8d 91 4d 00 01 b8 0f 8e 8e 8e 91 57 00 02 b2 43 68 65 63 90 b8 e3 6b	ing........M........W...Chec...k
76a0	96 03 55 55 74 68 65 6d 93 66 6f 72 93 63 6f 6e 66 6f 72 6d 61 6e 63 65 93 77 69 74 68 93 74 68	..UUthem.for.conformance.with.th
76c0	65 93 5a 93 6c 61 6e 67 75 61 67 65 93 72 75 6c 65 73 2e 8e a1 8d 8d 8d 8d 91 4d 00 01 b8 0f 8e	e.Z.language.rules........M.....
76e0	8e 8e 91 57 00 02 b2 50 72 6f 90 47 1d 64 75 63 65 96 04 18 2a 61 93 6c 69 73 74 69 6e 67 93 73	...W...Pro.G.duce...*a.listing.s
7700	68 6f 9a b8 e3 77 69 6e 67 93 74 68 65 93 73 63 98 68 65 6d 61 73 93 69 6e 93 74 68 65 93 73 70	ho...wing.the.sc.hemas.in.the.sp
7720	9a 47 1d 65 63 69 0c 63 61 74 69 6f 6e 93 77 69 74 68 93 63 6f 6d 70 98 6f 2d 8e a9 0c 00 00 8d	.G.eci.cation.with.comp.o-......
7740	91 57 00 02 6e 65 6e 9a b8 e3 74 73 96 03 55 55 61 6e 64 93 74 68 65 69 72 93 74 98 79 70 90 47	.W..nen...ts..UUand.their.t.yp.G
7760	1d 65 73 2e 8e a1 8d 91 3e 00 00 54 68 65 96 03 77 84 c4 66 91 01 33 38 df 75 7a 7a 93 b2 61 6e	.es.....>..The..w..f..38.uzz..an
7780	61 6c 79 73 69 73 93 70 72 6f 67 72 61 6d 93 77 90 b8 e3 6f 72 6b 73 93 6f 6e 93 74 68 65 93 73	alysis.program.w...orks.on.the.s
77a0	61 6d 65 93 41 53 43 49 90 47 1d 49 91 03 77 7b 0c 6c 65 93 61 73 93 4c 8d 9f fd f3 35 8d 91 fc	ame.ASCI.G.I..w{.le.as.L....5...
77c0	66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 3b 91 03 88	ff.A.......T...U>..'.E....xX;...
77e0	9b 69 74 93 65 78 74 72 61 63 74 73 8e a6 8d 91 3e 00 00 74 68 65 96 03 3c f1 66 6f 72 6d 61 6c	.it.extracts....>..the..<.formal
7800	93 74 65 78 74 93 61 6e 64 93 63 95 b8 e3 68 65 63 93 6b 73 96 03 3c f1 69 74 93 66 6f 72 93 63	.text.and.c...hec.ks..<.it.for.c
7820	6f 6e 66 6f 72 6d 61 6e 63 65 93 77 69 74 68 93 74 68 65 93 72 75 6c 65 73 93 6f 66 93 74 68 65	onformance.with.the.rules.of.the
7840	93 5a 91 03 3c eb 6c 61 6e 67 75 61 67 65 2c 8e a6 8d 91 3e 00 00 70 72 6f 9a 47 1d 64 75 63 69	.Z..<.language,....>..pro.G.duci
7860	6e 67 96 02 9f 38 63 6c 65 61 72 93 65 72 72 6f 72 93 6d 65 73 73 61 67 65 73 2e 91 04 35 13 41	ng...8clear.error.messages...5.A
7880	6e 61 6c 79 73 69 73 93 6f 66 93 61 93 31 33 30 30 2d 6c 69 6e 65 93 73 70 98 65 63 69 0c 63 61	nalysis.of.a.1300-line.sp.eci.ca
78a0	74 69 6f 6e 93 74 61 6b 90 b8 e3 65 73 93 61 62 98 6f 75 74 8e a6 8d 91 3e 00 00 37 96 03 55 55	tion.tak...es.ab.out....>..7..UU
78c0	73 65 63 6f 6e 64 73 93 6f 6e 93 61 93 53 55 4e 93 33 2f 37 35 2e 8e a6 8d 91 4d 00 00 54 68 65	seconds.on.a.SUN.3/75.....M..The
78e0	96 04 10 30 c4 66 91 01 33 38 df 75 7a 7a 93 b2 64 69 73 74 72 69 62 75 74 69 6f 6e 93 63 6f 6e	...0.f..38.uzz..distribution.con
7900	9a b8 e3 74 61 69 6e 73 93 74 68 65 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 b1 41 8e 8e 91 00 cd 89	...tains.the.L....5...ff.A......
7920	b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 73 74 98 79 6c 65 93 6f 70 74 69 6f 6e	.T...U>..'.E....xX.st.yle.option
7940	2c 91 04 3e e7 61 93 73 70 90 47 1d 65 63 69 61 6c 93 66 6f 6e 98 74 93 6f 66 93 5a 8e a6 8d 91	,..>.a.sp.G.ecial.fon.t.of.Z....
7960	3e 00 00 73 79 6d 90 b8 e3 62 95 47 1d 6f 6c 73 2c 91 02 c6 8f 6f 62 91 00 8e 38 6a 65 63 74 9b	>..sym...b.G.ols,....ob...8ject.
7980	02 a2 de 63 6f 93 64 65 98 66 6f 72 98 74 68 65 98 61 6e 61 6c 79 73 69 73 98 70 72 6f 67 72 61	...co.de.for.the.analysis.progra
79a0	6d 2c 91 02 c6 8f 61 98 6c 69 62 72 61 72 79 98 63 6f 6e 90 b8 e3 74 61 69 6e 69 6e 67 98 74 68	m,....a.library.con...taining.th
79c0	65 98 73 74 61 6e 64 61 72 64 8e a6 8d 91 3e 00 00 6d 61 74 68 65 6d 61 74 69 63 61 6c 96 03 7b	e.standard....>..mathematical..{
79e0	52 74 6f 9a 47 1d 6f 6c 2d 6b 69 74 2c 91 03 84 d1 61 6e 64 93 73 6f 6d 65 93 65 78 61 6d 70 6c	Rto.G.ol-kit,....and.some.exampl
7a00	65 93 73 70 98 65 63 69 0c 63 61 74 69 6f 6e 73 2e 91 04 e3 be 54 91 ff 2a aa 6f 93 75 73 65 93	e.sp.eci.cations.....T..*.o.use.
7a20	c4 66 91 01 33 38 df 75 7a 7a b2 2c 91 03 84 d1 79 90 b8 e3 6f 75 93 77 69 6c 6c 8e a6 8d 91 3e	.f..38.uzz.,....y...ou.will....>
7a40	00 00 6e 65 65 64 96 03 94 b5 74 6f 93 68 61 95 b8 e3 76 93 65 96 03 94 b5 4c 8d 9f fd f3 35 8d	..need....to.ha...v.e....L....5.
7a60	91 fc 66 66 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 91 03 e3 78 58 93 69	..ff.A.......T...U>..'.E....xX.i
7a80	6e 73 74 61 6c 6c 65 64 93 6f 6e 93 79 9a b8 e3 6f 75 72 93 6d 61 63 98 68 69 6e 65 2c 91 03 a4	nstalled.on.y...our.mac.hine,...
7aa0	8d 62 75 74 93 65 76 98 65 72 79 74 68 69 6e 67 93 65 6c 73 65 93 79 98 6f 75 93 6e 65 65 64 93	.but.ev.erything.else.y.ou.need.
7ac0	69 73 8e a6 8d 91 3e 00 00 69 6e 63 6c 75 64 65 64 2e 91 04 c4 be c4 66 91 01 33 38 df 75 7a 7a	is....>..included......f..38.uzz
7ae0	96 03 70 fd b2 69 73 93 63 75 72 72 65 6e 9a b8 e3 74 6c 79 93 61 98 76 91 ff 71 c7 61 69 6c 61	..p..is.curren...tly.a.v..q.aila
7b00	62 6c 65 93 75 6e 64 65 72 93 60 6e 6f 2d 6e 6f 6e 73 65 6e 73 65 27 93 6c 69 63 65 6e 63 65 93	ble.under.`no-nonsense'.licence.
7b20	63 6f 6e 64 69 74 69 6f 6e 73 93 66 6f 72 8e a6 8d 91 3e 00 00 74 68 65 9b 04 06 93 49 42 4d 96	conditions.for....>..the....IBM.
7b40	04 06 66 50 43 93 61 6e 64 98 6f 74 68 65 72 98 44 4f 53 93 6d 61 63 90 b8 e3 68 69 6e 65 73 2c	..fPC.and.other.DOS.mac...hines,
7b60	91 04 32 e3 61 6e 64 98 66 6f 72 98 74 68 65 98 53 55 4e 93 33 98 61 6e 64 98 53 55 4e 93 34 98	..2.and.for.the.SUN.3.and.SUN.4.
7b80	75 6e 64 65 72 8e a6 8d 91 3e 00 00 53 55 4e 9b 03 b6 49 55 4e 49 58 2e 96 03 b6 62 54 68 65 93	under....>..SUN...IUNIX....bThe.
7ba0	50 43 98 76 90 b8 e3 65 72 73 69 6f 6e 93 63 61 6e 93 61 6c 73 6f 93 62 90 47 1d 65 93 75 73 65	PC.v...ersion.can.also.b.G.e.use
7bc0	64 93 6f 6e 93 74 68 65 93 50 53 2f 32 2e 91 05 94 ed 57 91 ff 2a aa 65 93 61 72 65 93 77 69 6c	d.on.the.PS/2.....W..*.e.are.wil
7be0	6c 69 6e 67 93 74 6f 8e a6 8d 91 3e 00 00 70 72 6f 90 47 1d 64 75 63 65 96 03 55 55 76 9a b8 e3	ling.to....>..pro.G.duce..UUv...
7c00	65 72 73 69 6f 6e 73 93 66 6f 72 93 6f 74 68 65 72 93 6d 61 63 98 68 69 6e 65 73 93 61 63 63 6f	ersions.for.other.mac.hines.acco
7c20	72 64 69 6e 67 93 74 6f 93 64 65 6d 61 6e 64 2e 8e 8e 9f 1e 00 00 8d 92 00 e5 7f ff 31 32 8e 8e	rding.to.demand.............12..
7c40	8c 8b 00 00 00 0d 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	................................
7c60	00 00 00 00 00 00 00 00 00 00 00 00 74 50 a0 02 79 00 00 8d a0 fd a3 00 00 a0 02 3f 00 00 8d a0	............tP..y..........?....
7c80	fd e4 00 00 8d 91 3e 00 00 d1 4f 72 64 65 72 69 6e 67 91 05 66 66 69 6e 66 6f 72 6d 61 74 69 6f	......>...Ordering..ffinformatio
7ca0	6e 8e 9f 15 e7 1b 8d 91 3e 00 00 b2 59 91 ff 2a aa 6f 75 96 04 20 b3 63 61 6e 93 6f 72 64 65 72	n.......>...Y..*.ou....can.order
7cc0	93 74 68 65 93 c4 66 91 01 33 38 df 75 7a 7a 93 b2 70 61 63 9a b8 e3 6b 91 ff 71 c7 61 67 65 93	.the..f..38.uzz..pac...k..q.age.
7ce0	65 69 74 68 65 72 93 62 98 79 93 63 75 74 74 69 6e 67 93 6f 75 74 93 74 68 65 93 63 6f 75 70 9a	either.b.y.cutting.out.the.coup.
7d00	47 1d 6f 6e 93 62 98 65 6c 6f 90 b8 e3 77 93 61 6e 64 8e a4 0c 00 00 8d 91 3e 00 00 73 65 6e 64	G.on.b.elo...w.and.......>..send
7d20	69 6e 67 96 03 59 fc 69 74 93 77 69 74 68 93 79 9a b8 e3 6f 75 72 93 70 61 98 79 6d 65 6e 98 74	ing..Y.it.with.y...our.pa.ymen.t
7d40	2c 91 03 5b 26 6f 72 93 62 98 79 93 73 65 6e 64 69 6e 67 93 61 6e 93 6f 0e 63 69 61 6c 93 6f 72	,..[&or.b.y.sending.an.o.cial.or
7d60	64 65 72 93 7b 93 77 98 65 93 77 69 6c 6c 93 73 65 6e 64 93 61 6e 8e a1 8d 91 3e 00 00 69 6e 95	der.{.w.e.will.send.an....>..in.
7d80	b8 e3 76 93 6f 69 63 65 2e 9b 04 61 ff 50 6c 65 61 73 65 96 03 25 fd 73 65 6e 64 93 61 6c 6c 93	..v.oice...a.Please..%.send.all.
7da0	6f 72 64 65 72 73 93 74 6f 93 74 68 65 93 61 64 64 72 65 73 73 93 62 90 47 1d 65 6c 6f 95 b8 e3	orders.to.the.address.b.G.elo...
7dc0	77 2e 98 54 91 ff 2a aa 65 63 93 68 6e 69 63 61 6c 96 03 25 fd 65 6e 71 75 69 72 69 65 73 93 63	w..T..*.ec.hnical..%.enquiries.c
7de0	61 6e 93 62 90 47 1d 65 8e a1 8d 91 3e 00 00 73 65 6e 9a b8 e3 74 96 02 38 e3 74 6f 93 4d 69 6b	an.b.G.e....>..sen...t..8.to.Mik
7e00	98 65 93 53 70 69 76 98 65 79 93 61 74 93 74 68 65 93 73 61 6d 65 93 61 64 64 72 65 73 73 2c 91	.e.Spiv.ey.at.the.same.address,.
7e20	02 71 c7 6f 72 93 62 98 79 93 45 2d 6d 61 69 6c 93 74 6f 93 d2 6d 69 6b 65 40 75 6b 2e 61 63 2e	.q.or.b.y.E-mail.to..mike@uk.ac.
7e40	6f 78 66 6f 72 64 2e 70 72 67 8e a1 8d 91 3e 00 00 b2 2e 8e 9f 78 27 1e 8d 92 00 a2 54 9d c4 66	oxford.prg....>......x'.....T..f
7e60	91 01 33 38 df 75 7a 7a 96 04 80 00 f3 43 c2 d6 4e a0 00 0c 00 00 00 0c 00 00 00 06 63 6d 62 78	..38.uzz.....C..N...........cmbx
7e80	31 32 eb 43 70 61 63 90 a0 00 6b 91 ff 40 00 61 67 65 3a 91 06 00 00 6f 72 64 65 72 93 66 6f 72	12.Cpac...k..@.age:....order.for
7ea0	6d 8e a9 18 00 00 8d 91 3e 00 00 b2 54 9b ff 2a aa 6f 3a 91 04 71 c7 4d 72 73 2e 96 03 55 55 41	m.......>...T..*.o:..q.Mrs...UUA
7ec0	2e 93 53 70 69 76 90 b8 e3 65 79 98 2c 93 33 34 2c 93 57 98 65 73 74 6c 61 6e 64 73 93 47 72 6f	..Spiv...ey.,.34,.W.estlands.Gro
7ee0	95 b8 e3 76 93 65 2c 9b 03 55 55 53 74 6f 90 47 1d 63 93 6b 74 6f 6e 98 4c 61 6e 65 2c 8e a1 8d	...v.e,..UUSto.G.c.kton.Lane,...
7f00	91 50 9c 73 59 91 ff 2a aa 6f 72 6b 2c 96 03 55 55 59 4f 33 93 30 45 46 2c 93 45 6e 67 6c 61 6e	.P.sY..*.ork,..UUYO3.0EF,.Englan
7f20	64 2e 8e 9f 24 00 00 8d 8d 91 3e 00 00 4e 61 6d 65 3a 8e 92 00 80 f1 ce 84 00 00 66 66 01 16 0e	d...$.....>..Name:.........ff...
7f40	32 8e a6 8d 8d 91 3e 00 00 41 64 64 72 65 73 73 3a 8e 92 00 80 f1 ce 84 00 00 66 66 01 16 0e 32	2.....>..Address:.........ff...2
7f60	8e a6 8d 92 00 80 f1 ce 84 00 00 66 66 01 16 0e 32 8e a6 8d 92 00 80 f1 ce 84 00 00 66 66 01 16	...........ff...2...........ff..
7f80	0e 32 8e a6 8d 8d 91 3e 00 00 54 91 ff 2a aa 65 6c 65 70 68 6f 6e 65 3a 8e 92 00 80 f1 ce 84 00	.2.....>..T..*.elephone:........
7fa0	00 66 66 01 16 0e 32 8e a6 8d 91 3e 00 00 50 6c 65 61 73 65 96 03 55 55 73 65 6e 64 93 5b 91 14	.ff...2....>..Please..UUsend.[..
7fc0	00 02 5d 93 63 6f 70 69 65 73 93 6f 66 93 74 68 65 93 c4 66 91 01 33 38 df 75 7a 7a 93 b2 70 61	..].copies.of.the..f..38.uzz..pa
7fe0	63 9a b8 e3 6b 91 ff 71 c7 61 67 65 93 66 6f 72 93 74 68 65 93 66 6f 6c 6c 6f 98 77 69 6e 67 93	c...k..q.age.for.the.follo.wing.
8000	6d 61 63 98 68 69 6e 65 73 3a 8e a6 8d 8d 92 00 80 f1 ce 5b 91 0a 00 01 5d 8e 8d 92 00 a4 80 0b	mac.hines:.........[....].......
8020	53 55 4e 96 03 55 55 33 93 76 90 b8 e3 65 72 73 69 6f 6e 3a 91 04 71 c7 43 61 72 74 72 69 64 67	SUN..UU3.v...ersion:..q.Cartridg
8040	65 93 74 61 70 90 47 1d 65 8e 8d 92 01 3e ce 56 f3 44 13 20 50 e2 00 0a 00 00 00 0a 00 00 00 05	e.tap.G.e....>.V.D..P...........
8060	63 6d 75 31 30 eb 44 24 b2 33 30 30 8e 8e a4 12 00 00 8d 8d 92 00 80 f1 ce 5b 91 0a 00 01 5d 8e	cmu10.D$.300.............[....].
8080	8d 92 00 a4 80 0b 53 55 4e 96 03 55 55 34 93 76 90 b8 e3 65 72 73 69 6f 6e 3a 91 04 71 c7 33 2e	......SUN..UU4.v...ersion:..q.3.
80a0	35 69 6e 93 64 69 73 6b 8e 8d 92 01 3e ce 56 eb 44 24 b2 32 37 35 8e 8e a1 8d 8d 92 00 80 f1 ce	5in.disk....>.V.D$.275..........
80c0	5b 91 0a 00 01 5d 8e 8d 92 00 a4 80 0b 53 55 4e 96 03 55 55 34 93 76 90 b8 e3 65 72 73 69 6f 6e	[....].......SUN..UU4.v...ersion
80e0	3a 91 04 71 c7 43 61 72 74 72 69 64 67 65 93 74 61 70 90 47 1d 65 8e 8d 92 01 3e ce 56 eb 44 24	:..q.Cartridge.tap.G.e....>.V.D$
8100	b2 33 30 30 8e 8e a1 8d 8d 92 00 80 f1 ce 5b 91 0a 00 01 5d 8e 8d 92 00 a4 80 0b 49 42 4d 96 03	.300..........[....].......IBM..
8120	55 55 50 43 93 76 90 b8 e3 65 72 73 69 6f 6e 3a 91 04 71 c7 35 2e 32 35 69 6e 93 64 69 73 6b 8e	UUPC.v...ersion:..q.5.25in.disk.
8140	8d 92 01 3e ce 56 eb 44 24 b2 32 30 30 8e 8e a1 8d 8d 92 00 80 f1 ce 5b 91 0a 00 01 5d 8e 8d 92	...>.V.D$.200..........[....]...
8160	00 a4 80 0b 49 42 4d 96 03 55 55 50 43 93 76 90 b8 e3 65 72 73 69 6f 6e 3a 91 04 71 c7 33 2e 35	....IBM..UUPC.v...ersion:..q.3.5
8180	69 6e 93 64 69 73 6b 8e 8d 92 01 3e ce 56 eb 44 24 b2 32 30 30 8e 8e a6 8d 91 3e 00 00 49 96 03	in.disk....>.V.D$.200.....>..I..
81a0	55 55 65 6e 63 6c 6f 73 65 93 61 93 63 9a b8 e3 68 65 71 75 65 93 66 6f 72 93 eb 44 24 b2 5b 91	UUenclose.a.c...heque.for..D$.[.
81c0	14 00 02 5d 2c 93 70 61 98 79 98 61 62 6c 65 93 74 6f 93 44 72 2e 93 4a 2e 93 4d 2e 93 53 70 69	...],.pa.y.able.to.Dr..J..M..Spi
81e0	76 98 65 79 91 ff 2a aa 2e 8e a6 8d 91 3e 00 00 53 69 67 6e 65 64 3a 8e 8e 8e 8c f8 00 00 7c 41	v.ey..*......>..Signed:.......|A
8200	01 83 92 c0 1c 3b 00 00 00 00 03 e8 02 79 00 00 01 97 00 00 00 0f 00 0d f3 44 13 20 50 e2 00 0a	.....;.......y...........D..P...
8220	00 00 00 0a 00 00 00 05 63 6d 75 31 30 f3 43 c2 d6 4e a0 00 0c 00 00 00 0c 00 00 00 06 63 6d 62	........cmu10.C..N...........cmb
8240	78 31 32 f3 3d 6d 23 bd 52 00 0a 00 00 00 0a 00 00 00 06 63 6d 73 73 31 30 f3 35 df 86 b5 54 00	x12.=m#.R..........cmss10.5...T.
8260	0e 66 66 00 0c 00 00 00 06 63 6d 74 74 31 32 f3 34 8c 2d f8 14 00 0a 00 00 00 0a 00 00 00 07 63	.ff......cmtt12.4.-............c
8280	6d 63 73 63 31 30 f3 31 88 b6 16 c8 00 0a 00 00 00 0a 00 00 00 06 6d 73 62 6d 31 30 f3 2e 97 b3	mcsc10.1..............msbm10....
82a0	ee cd 00 0a 00 00 00 0a 00 00 00 06 6d 73 61 6d 31 30 f3 29 74 7d 5c ca 00 07 00 00 00 07 00 00	............msam10.)t}\.........
82c0	00 05 63 6d 74 69 37 f3 28 fd 00 27 3a 00 0a 00 00 00 0a 00 00 00 06 63 6d 74 69 31 30 f3 27 df	..cmti7.(..':..........cmti10.'.
82e0	ea 3c 78 00 0a 00 00 00 0a 00 00 00 06 63 6d 74 74 31 30 f3 26 c2 d6 4e a0 00 0e 66 66 00 0c 00	.<x..........cmtt10.&..N...ff...
8300	00 00 06 63 6d 62 78 31 32 f3 19 9b bb 88 40 00 0c 00 00 00 0c 00 00 00 06 63 6d 74 69 31 32 f3	...cmbx12.....@..........cmti12.
8320	10 58 ab 51 0b 00 0c 00 00 00 0c 00 00 00 05 63 6d 72 31 32 f3 0f df 86 b5 54 00 11 47 ae 00 0c	.X.Q...........cmr12.....T..G...
8340	00 00 00 06 63 6d 74 74 31 32 f3 0e 44 d3 ed 74 00 11 47 ae 00 11 47 ae 00 05 63 6d 72 31 37 f3	....cmtt12..D..t..G...G...cmr17.
8360	0d 21 22 2c 9a 00 0a 00 00 00 0a 00 00 00 06 63 6d 73 79 31 30 f3 0c 4f 21 e2 85 00 07 00 00 00	.!",...........cmsy10..O!.......
8380	07 00 00 00 05 63 6d 73 79 37 f3 0a 0b a0 62 3e 00 0a 00 00 00 0a 00 00 00 06 63 6d 6d 69 31 30	.....cmsy7....b>..........cmmi10
83a0	f3 07 4b f1 60 79 00 0a 00 00 00 0a 00 00 00 05 63 6d 72 31 30 f3 06 d9 93 a0 52 00 07 00 00 00	..K.`y..........cmr10.....R.....
83c0	07 00 00 00 04 63 6d 72 37 f3 05 86 03 9b 5a 00 05 00 00 00 05 00 00 00 04 63 6d 72 35 f3 00 fa	.....cmr7.....Z..........cmr5...
83e0	b1 75 12 00 0a 00 00 00 0a 00 00 00 06 63 6d 65 78 31 30 f9 00 00 81 fb 02 df df df df df df df	.u...........cmex10.............