blob: aced3dee68524db3cf6e975d593ea26265d61650 (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 37 2e	.......;........TeX.output.1997.
0020	30 39 2e 31 31 3a 31 32 30 31 8b 00 00 00 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	09.11:1201......................
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 6d cc dc 8d a0 fd b9	.........................m......
0060	33 24 a0 02 28 cc dc 8d a0 fd fb 33 24 8d 8d 91 36 00 00 f3 3c c2 d6 4e a0 00 0e 66 66 00 0c 00	3$..(......3$...6...<..N...ff...
0080	00 00 06 63 6d 62 78 31 32 e7 31 8e 91 4e 4c cb 54 68 65 96 05 66 66 f3 48 df 86 b5 54 00 0e 66	...cmbx12.1..NL.The..ff.H...T..f
00a0	66 00 0c 00 00 00 06 63 6d 74 74 31 32 eb 48 67 6e 2d 6c 6f 67 69 63 93 e7 73 74 90 8c cc 79 6c	f......cmtt12.Hgn-logic..st...yl
00c0	65 93 6f 70 74 69 6f 6e 8e 9f 18 71 8b 8d 91 36 00 00 f3 27 4b f1 60 79 00 0a f3 33 00 0a 00 00	e.option...q...6...'K.`y...3....
00e0	00 05 63 6d 72 31 30 d2 44 65 73 63 72 69 70 74 69 6f 6e 96 03 a6 66 6f 66 93 56 91 ff 16 65 65	..cmr10.Description...fof.V...ee
0100	72 73 69 6f 6e 93 31 2e 34 93 28 35 2f 39 35 29 93 62 90 b2 21 79 93 47 65 72 64 93 4e 65 75 67	rsion.1.4.(5/95).b..!y.Gerd.Neug
0120	65 62 61 75 65 72 8e 9f 19 99 9a 8d 91 47 00 00 54 68 65 96 03 44 d9 f3 2d df ea 3c 78 00 0a f3	ebauer.......G..The..D..-..<x...
0140	33 00 0a 00 00 00 06 63 6d 74 74 31 30 d8 67 6e 2d 6c 6f 67 69 63 93 d2 73 74 9a b2 21 79 6c 65	3......cmtt10.gn-logic..st..!yle
0160	93 6f 70 74 69 6f 6e 93 70 72 6f 98 76 69 64 65 73 93 61 93 66 61 63 69 6c 69 74 98 79 93 74 6f	.option.pro.vides.a.facilit.y.to
0180	93 74 98 79 70 90 4d de 65 73 65 74 93 6c 6f 67 69 63 61 6c 93 66 6f 72 6d 98 75 6c 61 73 8e a4	.t.yp.M.eset.logical.form.ulas..
01a0	0d 99 9a 8d 91 36 00 00 6f 66 96 03 6d 99 61 93 63 65 72 74 61 69 6e 93 6b 69 6e 64 2e 91 04 ca	.....6..of..m.a.certain.kind....
01c0	ee 54 68 69 73 93 73 74 9a b2 21 79 6c 65 93 6f 70 74 69 6f 6e 93 70 72 6f 98 76 69 64 65 73 93	.This.st..!yle.option.pro.vides.
01e0	61 6e 93 65 6e 98 76 69 72 6f 6e 6d 65 6e 98 74 93 6c 69 6b 98 65 93 d8 65 71 6e 61 72 72 61 79	an.en.vironmen.t.lik.e..eqnarray
0200	d2 2c 8e a1 8d 91 36 00 00 61 6e 96 03 a6 66 65 78 74 65 6e 64 65 64 93 d8 6e 65 77 74 68 65 6f	.,....6..an...fextended..newtheo
0220	72 65 6d 93 d2 65 6e 95 b2 21 76 69 72 6f 6e 6d 65 6e 93 74 96 03 a6 66 61 6e 64 93 73 65 76 90	rem..en..!vironmen.t...fand.sev.
0240	b2 21 65 72 61 6c 93 6d 61 63 72 6f 73 2e 8e 9f 1d 52 85 8d 8d 91 36 00 00 f3 35 c2 d6 4e a0 00	.!eral.macros....R....6...5..N..
0260	0c 00 00 00 0c 00 00 00 06 63 6d 62 78 31 32 e0 31 2e 31 8e 91 54 c0 00 4d 61 74 68 65 6d 61 74	.........cmbx12.1.1..T..Mathemat
0280	69 63 61 6c 91 04 80 00 53 79 6d 90 a0 00 62 90 60 00 6f 6c 73 8e a9 14 ab ff 8d 91 36 00 00 d2	ical....Sym...b.`.ols.......6...
02a0	54 68 65 96 04 1d 3a 66 6f 6c 6c 6f 9a b2 21 77 69 6e 67 93 6d 61 72 63 6f 73 93 70 72 6f 98 76	The...:follo..!wing.marcos.pro.v
02c0	69 64 65 93 62 90 4d de 65 74 74 65 72 93 75 73 61 67 65 93 6f 66 93 74 68 65 93 6a 75 6e 63 74	ide.b.M.etter.usage.of.the.junct
02e0	6f 72 73 93 61 6e 64 93 71 75 61 6e 98 74 69 0c 65 72 73 2e 8e a1 8d 91 36 00 00 45 73 70 90 4d	ors.and.quan.ti.ers.....6..Esp.M
0300	de 65 63 69 61 6c 6c 79 96 03 a6 66 74 68 65 93 73 70 61 63 69 6e 67 93 69 73 93 69 6d 70 72 6f	.ecially...fthe.spacing.is.impro
0320	95 b2 21 76 93 65 64 2e 8e 9f 74 6b 4d 8d 8d 8d 9f 98 3a e0 8d 8d 91 3c 00 00 f3 07 4b f1 60 79	..!v.ed...tkM.....:....<....K.`y
0340	00 0a 00 00 00 0a 00 00 00 05 63 6d 72 31 30 b2 53 79 6d 90 b8 e3 62 90 47 1d 6f 6c 8e 8d 92 00	..........cmr10.Sym...b.G.ol....
0360	8d 82 c0 4d 61 63 72 6f 8e 8d 92 01 25 ed 66 45 78 61 6d 70 6c 65 8e 8e a4 0d 99 99 a1 8d 8d 91	...Macro....%.fExample..........
0380	37 d3 32 f3 29 21 22 2c 9a 00 0a f3 33 00 0a 00 00 00 06 63 6d 73 79 31 30 d4 5e 8e 8d 92 00 84	7.2.)!",....3......cmsy10.^.....
03a0	47 a8 d8 5c 41 4e 44 8e 8d 92 00 da 0c 99 41 5c 41 4e 44 91 05 bf aa 42 8e 8d 92 01 58 0f 30 f3	G..\AND.......A\AND....B....X.0.
03c0	28 0b a0 62 3e 00 0a f3 33 00 0a 00 00 00 06 63 6d 6d 69 31 30 d3 41 96 04 42 1d d4 5e 93 d3 42	(..b>...3......cmmi10.A..B..^..B
03e0	8e 8e a1 8d 8d 91 37 d3 32 d4 5f 8e 8d 92 00 84 47 a8 d8 5c 4f 52 8e 8d 92 00 da 0c 99 41 5c 4f	......7.2._.....G..\OR.......A\O
0400	52 91 05 bf aa 42 8e 8d 92 01 58 0f 30 d3 41 96 04 42 1d d4 5f 93 d3 42 8e 8e 9f 0e 0d 60 8d 8d	R....B....X.0.A..B.._..B.....`..
0420	8d 8d 9f f7 ea ab 8d 91 3a 4b 5f f3 16 d7 01 17 32 00 08 00 00 00 08 00 00 00 05 63 6d 6d 69 38	........:K_.....2..........cmmi8
0440	c1 3a 8e 9f 08 15 55 8d 91 37 d3 32 d4 5f 8e 8e 8e 8e 8d 92 00 84 47 a8 d8 5c 58 4f 52 8e 8d 92	.:....U..7.2._........G..\XOR...
0460	00 da 0c 99 41 5c 58 4f 52 91 05 bf aa 42 8e 8d 92 01 58 0f 30 d3 41 8d 8d 9f f7 ea ab 8d 91 07	....A\XOR....B....X.0.A.........
0480	56 05 c1 3a 8e 9f 08 15 55 8d 91 04 dd d8 d4 5f 8e 8e 8e 91 11 08 7e d3 42 8e 8e a1 8d 8d 91 37	V..:....U......_......~.B......7
04a0	d3 32 d4 21 8e 8d 92 00 84 47 a8 d8 5c 49 4d 50 4c 49 45 53 8e 8d 92 00 da 0c 99 41 5c 49 4d 50	.2.!.....G..\IMPLIES.......A\IMP
04c0	4c 49 45 53 91 05 bf aa 42 8e 8d 92 01 58 0f 30 d3 41 96 04 dd d8 d4 21 93 d3 42 8e 8e a1 8d 8d	LIES....B....X.0.A.....!..B.....
04e0	91 37 d3 32 d4 21 8e 8d 92 00 84 47 a8 d8 5c 49 4d 50 4c 8e 8d 92 00 da 0c 99 41 5c 49 4d 50 4c	.7.2.!.....G..\IMPL.......A\IMPL
0500	91 05 bf aa 42 8e 8d 92 01 58 0f 30 d3 41 96 04 dd d8 d4 21 93 d3 42 8e 8e a1 8d 8d 91 37 d3 32	....B....X.0.A.....!..B......7.2
0520	d4 20 8e 8d 92 00 84 47 a8 d8 5c 49 46 8e 8d 92 00 da 0c 99 41 5c 49 46 91 05 bf aa 42 8e 8d 92	.......G..\IF.......A\IF....B...
0540	01 58 0f 30 d3 41 96 04 dd d8 d4 20 93 d3 42 8e 8e a1 8d 8d 91 37 d3 32 d4 24 8e 8d 92 00 84 47	.X.0.A........B......7.2.$.....G
0560	a8 d8 5c 49 46 46 8e 8d 92 00 da 0c 99 41 5c 49 46 46 91 05 bf aa 42 8e 8d 92 01 58 0f 30 d3 41	..\IFF.......A\IFF....B....X.0.A
0580	96 04 dd d8 d4 24 93 d3 42 8e 8e 9f 10 a7 21 8d 8d 8d 8d 9f f9 fb 95 8d 91 3b ff 74 f3 15 7c 7b	.....$..B.....!..........;.t..|{
05a0	59 07 00 08 00 00 00 08 00 00 00 04 63 6d 72 38 c0 64 65 66 8e 9f 06 04 6b 8d 91 37 d3 32 d4 20	Y...........cmr8.def....k..7.2..
05c0	91 fe 2c cf 21 8e 8e 8e 8e 8d 92 00 84 47 a8 d8 5c 49 46 46 64 65 66 8e 8d 92 00 da 0c 99 41 5c	..,.!........G..\IFFdef.......A\
05e0	49 46 46 64 65 66 91 05 bf aa 42 8e 8d 92 01 58 0f 30 d3 41 8d 8d 9f f9 fb 95 8d 91 09 0a 1a c0	IFFdef....B....X.0.A............
0600	64 65 66 8e 9f 06 04 6b 8d 91 04 dd d8 d4 20 91 fe 2c cf 21 8e 8e 8e 91 1d ce e9 d3 42 8e 8e a1	def....k.........,.!........B...
0620	8d 8d 91 37 d3 32 d4 5e 8d d3 3a 96 01 d3 31 3a 93 3a 8e 91 0c c6 63 d4 5e 8e 8d 92 00 84 47 a8	...7.2.^..:...1:.:....c.^.....G.
0640	d8 5c 41 4e 44 64 6f 74 73 8e 8d 92 00 da 0c 99 41 5f 31 5c 41 4e 44 64 6f 74 73 91 05 bf aa 41	.\ANDdots.......A_1\ANDdots....A
0660	5f 6e 8e 8d 92 01 58 0f 30 d3 41 8d 9f 01 a4 7a c0 31 8e 91 09 02 21 d4 5e 8d 91 00 9b bb d3 3a	_n....X.0.A....z.1....!.^......:
0680	96 01 d3 31 3a 93 3a 8e 91 0d fd d9 d4 5e 91 04 42 1d d3 41 8d 9f 01 a4 7a c1 6e 8e 8e 8e a1 8d	...1:.:......^..B..A....z.n.....
06a0	8d 91 37 d3 32 d4 5f 8d d3 3a 96 01 d3 31 3a 93 3a 8e 91 0c c6 63 d4 5f 8e 8d 92 00 84 47 a8 d8	..7.2._..:...1:.:....c._.....G..
06c0	5c 4f 52 64 6f 74 73 8e 8d 92 00 da 0c 99 41 5f 31 5c 4f 52 64 6f 74 73 91 05 bf aa 41 5f 6e 8e	\ORdots.......A_1\ORdots....A_n.
06e0	8d 92 01 58 0f 30 d3 41 8d 9f 01 a4 7a c0 31 8e 91 09 02 21 d4 5f 8d 91 00 9b bb d3 3a 96 01 d3	...X.0.A....z.1....!._......:...
0700	31 3a 93 3a 8e 91 0d fd d9 d4 5f 91 04 42 1d d3 41 8d 9f 01 a4 7a c1 6e 8e 8e 8e a1 8d 8d 91 34	1:.:......_..B..A....z.n.......4
0720	2c d0 d4 6e 8e 8d 92 00 84 47 a8 d8 5c 69 73 8e 8d 92 00 da 0c 99 78 5c 69 73 91 05 bf aa 79 8e	,..n.....G..\is.......x\is....y.
0740	8d 92 01 58 0f 30 d3 78 96 00 9b bb d4 6e 93 d3 79 8e 8e a1 8d 8d 8d 91 36 00 01 d2 49 91 fe 2c	...X.0.x.....n..y.......6...I..,
0760	cf 4e 8e 8e 8d 92 00 84 47 a8 d8 5c 4e 61 74 8e 8d 92 00 da 0c 99 6e 5c 69 6e 5c 4e 61 74 8e 8d	.N......G..\Nat.......n\in\Nat..
0780	92 01 58 0f 30 d3 6e 96 03 0a a7 d4 32 8d 93 d2 49 91 fe 2c cf 4e 8e 8e 8e a1 8d 8d 91 36 00 01	..X.0.n.....2...I..,.N.......6..
07a0	d4 38 8e 8d 92 00 84 47 a8 d8 5c 46 6f 72 61 6c 6c 8e 8d 92 00 da 0c 99 5c 46 6f 72 61 6c 6c 96	.8.....G..\Forall.......\Forall.
07c0	05 bf aa 78 93 50 28 78 29 8e 8d 92 01 58 0f 30 d4 38 d3 78 91 03 a6 66 50 91 01 85 56 d2 28 d3	...x.P(x)....X.0.8.x...fP...V.(.
07e0	78 d2 29 8e 8e a1 8d 8d 91 36 00 01 d4 39 8e 8d 92 00 84 47 a8 d8 5c 45 78 69 73 74 73 8e 8d 92	x.)......6...9.....G..\Exists...
0800	00 da 0c 99 5c 45 78 69 73 74 73 96 05 bf aa 79 93 50 28 78 29 8e 8d 92 01 58 0f 30 d4 39 d3 79	....\Exists....y.P(x)....X.0.9.y
0820	91 04 0a f9 50 91 01 85 56 d2 28 d3 78 d2 29 8e 8e 8e 8e 8e a0 00 83 bd d2 8d 91 36 00 00 f3 2c	....P...V.(.x.)............6...,
0840	1a f2 22 56 00 0a f3 33 00 0a 00 00 00 06 63 6d 62 78 31 30 d7 54 68 65 96 04 32 8d d8 5c 41 4e	.."V...3......cmbx10.The..2..\AN
0860	44 93 d7 4d 61 63 72 6f 8e a6 8d 91 36 00 00 d2 54 68 69 73 96 02 74 95 6d 61 63 72 6f 93 63 61	D..Macro....6...This..t.macro.ca
0880	6e 93 62 90 4d de 65 93 75 73 65 64 93 66 6f 72 93 74 68 65 93 6c 6f 67 69 63 61 6c 93 63 6f 6e	n.b.M.e.used.for.the.logical.con
08a0	6a 75 6e 63 74 69 6f 6e 2e 91 04 77 ed 49 6e 93 61 64 64 69 74 69 6f 6e 93 74 6f 93 74 68 65 93	junction...w.In.addition.to.the.
08c0	d8 5c 77 65 64 67 65 8e a1 8d 91 36 00 00 d2 6d 61 63 72 6f 96 05 55 a7 69 74 93 61 64 64 73 93	.\wedge....6...macro..U.it.adds.
08e0	6d 6f 72 65 93 73 70 61 63 65 93 61 6e 64 93 74 68 65 93 66 6f 72 6d 90 b2 21 75 6c 61 73 93 74	more.space.and.the.form..!ulas.t
0900	65 6e 64 93 74 6f 93 62 9a 4d de 65 93 62 98 65 74 74 65 72 93 72 65 61 64 61 62 6c 65 2e 8e a1	end.to.b.M.e.b.etter.readable...
0920	8d 91 36 00 00 43 6f 6d 70 61 72 65 8e 9f 23 44 43 8d 8d 8d 9f f2 61 ea 8d 8d 91 7c a3 7e d8 78	..6..Compare..#DC.....a....|.~.x
0940	3d 31 5c 41 4e 44 91 05 bf aa 79 3d 78 91 1b ec 23 d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92	=1\AND....y=x...#.pro.M.duces...
0960	01 12 97 96 d3 78 96 03 0a a7 d2 3d 93 31 96 04 42 1d d4 5e 93 d3 79 91 03 6f 3a d2 3d 91 03 0a	.....x.....=.1..B..^..y..o:.=...
0980	a7 d3 78 8e 8e a4 0d 99 99 8d 8d 91 7c a3 7e d8 78 3d 31 5c 77 65 64 67 65 91 05 bf aa 79 3d 78	..x.........|.~.x=1\wedge....y=x
09a0	91 10 6c cf d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 12 97 96 d3 78 96 03 0a a7 d2 3d 93	..l..pro.M.duces........x.....=.
09c0	31 96 02 6e ec d4 5e 93 d3 79 91 03 6f 3a d2 3d 91 03 0a a7 d3 78 8e 8e a1 8d 8d 91 7c a3 7e d8	1..n..^..y..o:.=.....x......|.~.
09e0	78 3d 31 5c 6c 61 6e 64 91 05 bf aa 79 3d 78 91 16 2c 79 d2 70 72 6f 90 4d de 64 75 63 65 73 8e	x=1\land....y=x..,y.pro.M.duces.
0a00	8d 92 01 12 97 96 d3 78 96 03 0a a7 d2 3d 93 31 96 02 6e ec d4 5e 93 d3 79 91 03 6f 3a d2 3d 91	.......x.....=.1..n..^..y..o:.=.
0a20	03 0a a7 d3 78 8e 8e 8e 8e 8e 8e 9f 1e 00 00 8d 92 00 e7 43 33 d2 31 8e 8e 8c 8b 00 00 00 02 00	....x..............C3.1.........
0a40	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	................................
0a60	00 00 00 00 00 00 2a a0 02 6d cc dc 8d a0 fd b9 33 24 a0 02 28 cc dc 8d a0 fd fb 33 24 8d 91 36	......*..m......3$..(......3$..6
0a80	00 00 d7 54 68 65 96 04 32 8d d8 5c 4f 52 93 d7 4d 61 63 72 6f 8e a4 14 ab ff 8d 91 36 00 00 d2	...The..2..\OR..Macro.......6...
0aa0	54 68 69 73 96 03 a1 1b 6d 61 63 72 6f 93 63 61 6e 93 62 90 4d de 65 93 75 73 65 64 93 66 6f 72	This....macro.can.b.M.e.used.for
0ac0	93 74 68 65 93 6c 6f 67 69 63 61 6c 93 64 69 73 6a 75 6e 63 74 69 6f 6e 2e 91 04 dc 19 49 6e 93	.the.logical.disjunction.....In.
0ae0	61 64 64 69 74 69 6f 6e 93 74 6f 93 74 68 65 93 d8 5c 76 65 65 8e a9 0d 99 9a 8d 91 36 00 00 d2	addition.to.the..\vee.......6...
0b00	6d 61 63 72 6f 96 03 a6 66 69 74 93 61 64 64 73 93 6d 6f 72 65 93 73 70 61 63 65 2e 91 04 dd dd	macro...fit.adds.more.space.....
0b20	43 6f 6d 70 61 72 65 8e 9f 23 44 43 8d 8d 8d 9f f2 61 ea 8d 8d 92 00 82 63 28 d8 78 3d 31 5c 4f	Compare..#DC.....a......c(.x=1\O
0b40	52 91 05 bf aa 79 3d 78 91 16 2c 79 d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 0c d7 ec d3	R....y=x..,y.pro.M.duces........
0b60	78 96 03 0a a7 d2 3d 93 31 96 04 42 1d d4 5f 93 d3 79 91 03 6f 3a d2 3d 91 03 0a a7 d3 78 8e 8e	x.....=.1..B.._..y..o:.=.....x..
0b80	a4 0d 99 99 8d 8d 92 00 82 63 28 d8 78 3d 31 5c 76 65 65 91 05 bf aa 79 3d 78 91 10 6c cf d2 70	.........c(.x=1\vee....y=x..l..p
0ba0	72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 0c d7 ec d3 78 96 03 0a a7 d2 3d 93 31 96 02 6e ec d4	ro.M.duces........x.....=.1..n..
0bc0	5f 93 d3 79 91 03 6f 3a d2 3d 91 03 0a a7 d3 78 8e 8e a1 8d 8d 92 00 82 63 28 d8 78 3d 31 5c 6c	_..y..o:.=.....x........c(.x=1\l
0be0	6f 72 91 05 bf aa 79 3d 78 91 10 6c cf d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 0c d7 ec	or....y=x..l..pro.M.duces.......
0c00	d3 78 96 03 0a a7 d2 3d 93 31 96 02 6e ec d4 5f 93 d3 79 91 03 6f 3a d2 3d 91 03 0a a7 d3 78 8e	.x.....=.1..n.._..y..o:.=.....x.
0c20	8e 8e 8e 8e 9f 29 96 c8 8d 91 36 00 00 d7 54 68 65 96 04 32 8d d8 5c 58 4f 52 93 d7 4d 61 63 72	.....)....6...The..2..\XOR..Macr
0c40	6f 8e a1 8d 91 36 00 00 d2 54 68 69 73 96 04 97 91 6d 61 63 72 6f 93 63 61 6e 93 62 90 4d de 65	o....6...This....macro.can.b.M.e
0c60	93 75 73 65 64 93 66 6f 72 93 74 68 65 93 65 78 63 6c 75 73 69 76 90 b2 21 65 93 64 69 73 6a 75	.used.for.the.exclusiv..!e.disju
0c80	6e 63 74 69 6f 6e 2e 91 07 b1 5e 49 74 93 68 61 73 93 6e 6f 93 63 6f 6d 6d 6f 6e 8e a6 8d 91 36	nction....^It.has.no.common....6
0ca0	00 00 63 6f 75 6e 9a b2 21 74 65 72 70 61 72 74 2e 91 04 dd dd 54 68 65 96 03 a6 66 73 70 61 63	..coun..!terpart.....The...fspac
0cc0	69 6e 67 93 69 73 93 6c 69 6b 98 65 93 69 6e 93 69 6e 93 61 6c 6c 93 6a 75 6e 63 74 6f 72 93 6d	ing.is.lik.e.in.in.all.junctor.m
0ce0	61 63 72 6f 73 2e 8e 9f 16 99 9a 8d 8d 8d 9e 35 67 8d 8d 92 00 81 c7 6d d8 78 3d 31 5c 58 4f 52	acros..........5g......m.x=1\XOR
0d00	91 05 bf aa 79 3d 78 91 10 6c cf d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 0c 3c 31 d3 78	....y=x..l..pro.M.duces.....<1.x
0d20	96 03 0a a7 d2 3d 93 31 8d 8d 9f f7 ea ab 8d 91 07 56 05 c1 3a 8e 9f 08 15 55 8d 91 04 dd d8 d4	.....=.1.........V..:....U......
0d40	5f 8e 8e 8e 91 11 08 7e d3 79 91 03 6f 3a d2 3d 93 d3 78 8e 8e 8e 8e 8e 9f 1c ec 1f 8d 91 36 00	_......~.y..o:.=..x...........6.
0d60	00 d7 54 68 65 96 04 32 8d d8 5c 49 4d 50 4c 93 d7 61 6e 64 93 74 68 65 93 d8 5c 49 4d 50 4c 49	..The..2..\IMPL..and.the..\IMPLI
0d80	45 53 93 d7 4d 61 63 72 6f 73 8e a1 8d 91 36 00 00 d2 54 68 65 73 65 96 04 b0 0a 6d 61 63 72 6f	ES..Macros....6...These....macro
0da0	73 93 63 61 6e 93 62 90 4d de 65 93 75 73 65 64 93 66 6f 72 93 74 68 65 93 6c 6f 67 69 63 61 6c	s.can.b.M.e.used.for.the.logical
0dc0	93 69 6d 70 6c 69 63 61 74 69 6f 6e 2e 91 07 fa c8 49 6e 93 61 64 64 69 74 69 6f 6e 93 74 6f 93	.implication.....In.addition.to.
0de0	74 68 65 8e a6 8d 91 36 00 00 d8 5c 72 69 67 68 74 61 72 72 6f 77 96 03 a6 66 d2 6d 61 63 72 6f	the....6...\rightarrow...f.macro
0e00	93 69 74 93 61 64 64 73 93 6d 6f 72 65 93 73 70 61 63 65 2e 91 04 dd dd 43 6f 6d 70 61 72 65 8e	.it.adds.more.space.....Compare.
0e20	9f 23 92 21 8d 8d 8d 9f f2 61 ea 8d 8d 91 6b d5 66 d8 78 3d 31 5c 49 4d 50 4c 91 05 bf aa 79 3d	.#.!.....a....k.f.x=1\IMPL....y=
0e40	78 91 32 ea cb d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 1e 87 d0 d3 78 96 03 0a a7 d2 3d	x.2...pro.M.duces........x.....=
0e60	93 31 96 04 dd d8 d4 21 93 d3 79 91 03 6f 3a d2 3d 91 03 0a a7 d3 78 8e 8e a4 0d 99 99 8d 8d 91	.1.....!..y..o:.=.....x.........
0e80	6b d5 66 d8 78 3d 31 5c 49 4d 50 4c 49 45 53 91 05 bf aa 79 3d 78 91 21 ab cd d2 70 72 6f 90 4d	k.f.x=1\IMPLIES....y=x.!...pro.M
0ea0	de 64 75 63 65 73 8e 8d 92 01 1e 87 d0 d3 78 96 03 0a a7 d2 3d 93 31 96 04 dd d8 d4 21 93 d3 79	.duces........x.....=.1.....!..y
0ec0	91 03 6f 3a d2 3d 91 03 0a a7 d3 78 8e 8e a1 8d 8d 91 6b d5 66 d8 78 3d 31 5c 72 69 67 68 74 61	..o:.=.....x......k.f.x=1\righta
0ee0	72 72 6f 77 91 05 bf aa 79 3d 78 91 10 6c cf d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 1e	rrow....y=x..l..pro.M.duces.....
0f00	87 d0 d3 78 96 03 0a a7 d2 3d 93 31 93 d4 21 93 d3 79 91 03 6f 3a d2 3d 93 d3 78 8e 8e 8e 8e 8e	...x.....=.1..!..y..o:.=..x.....
0f20	9f 29 96 c8 8d 91 36 00 00 d7 54 68 65 96 04 32 8d d8 5c 49 46 93 d7 4d 61 63 72 6f 8e a1 8d 91	.)....6...The..2..\IF..Macro....
0f40	36 00 00 d2 54 68 69 73 96 03 9b 1c 6d 61 63 72 6f 93 63 61 6e 93 62 90 4d de 65 93 75 73 65 64	6...This....macro.can.b.M.e.used
0f60	93 66 6f 72 93 74 68 65 93 6c 6f 67 69 63 61 6c 93 69 6d 70 6c 69 63 61 74 69 6f 6e 93 77 72 69	.for.the.logical.implication.wri
0f80	74 74 65 6e 93 69 6e 93 72 65 76 90 b2 21 65 72 73 65 93 6f 72 64 65 72 2e 8e a6 8d 91 36 00 00	tten.in.rev..!erse.order.....6..
0fa0	49 6e 96 03 a6 66 61 64 64 69 74 69 6f 6e 93 74 6f 93 74 68 65 93 d8 5c 6c 65 66 74 61 72 72 6f	In...faddition.to.the..\leftarro
0fc0	77 93 d2 6d 61 63 72 6f 93 69 74 93 61 64 64 73 93 6d 6f 72 65 93 73 70 61 63 65 2e 91 04 dd dd	w..macro.it.adds.more.space.....
0fe0	43 6f 6d 70 61 72 65 8e 9f 1c 77 76 8d 8d 8d 9f f9 2e b7 8d 8d 91 6b d5 66 d8 78 3d 31 5c 49 46	Compare...wv..........k.f.x=1\IF
1000	91 05 bf aa 79 3d 78 91 3e 6a 1f d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 1e 87 d0 d3 78	....y=x.>j..pro.M.duces........x
1020	96 03 0a a7 d2 3d 93 31 96 04 dd d8 d4 20 93 d3 79 91 03 6f 3a d2 3d 91 03 0a a7 d3 78 8e 8e 9f	.....=.1........y..o:.=.....x...
1040	0d 99 99 8d 8d 91 6b d5 66 d8 78 3d 31 5c 6c 65 66 74 74 61 72 72 6f 77 91 05 bf aa 79 3d 78 91	......k.f.x=1\lefttarrow....y=x.
1060	10 6c cf d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 1e 87 d0 d3 78 96 03 0a a7 d2 3d 93 31	.l..pro.M.duces........x.....=.1
1080	93 d4 20 93 d3 79 91 03 6f 3a d2 3d 93 d3 78 8e 8e 8e 8e 8e 9f 22 c9 fc 8d 91 36 00 00 d7 54 68	.....y..o:.=..x......"....6...Th
10a0	65 96 04 32 8d d8 5c 49 46 46 93 d7 4d 61 63 72 6f 8e a1 8d 91 36 00 00 d2 54 68 69 73 96 05 6e	e..2..\IFF..Macro....6...This..n
10c0	42 6d 61 63 72 6f 93 63 61 6e 93 62 90 4d de 65 93 75 73 65 64 93 66 6f 72 93 74 68 65 93 6c 6f	Bmacro.can.b.M.e.used.for.the.lo
10e0	67 69 63 61 6c 93 65 71 75 69 76 91 ff 64 44 61 6c 65 6e 63 65 2e 91 0a 35 70 49 6e 93 61 64 64	gical.equiv..dDalence...5pIn.add
1100	69 74 69 6f 6e 93 74 6f 93 74 68 65 8e a6 8d 91 36 00 00 d8 5c 6c 65 66 74 72 69 67 68 74 61 72	ition.to.the....6...\leftrightar
1120	72 6f 77 96 03 a6 66 d2 6d 61 63 72 6f 93 69 74 93 61 64 64 73 93 6d 6f 72 65 93 73 70 61 63 65	row...f.macro.it.adds.more.space
1140	2e 91 04 dd dd 43 6f 6d 70 61 72 65 8e 9f 1c c5 54 8d 8d 8d 9f f9 2e b7 8d 8d 91 5d 76 3d d8 78	.....Compare....T..........]v=.x
1160	3d 31 5c 49 46 46 91 05 bf aa 79 3d 78 91 55 68 c7 d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92	=1\IFF....y=x.Uh..pro.M.duces...
1180	01 2c e6 f9 d3 78 96 03 0a a7 d2 3d 93 31 96 04 dd d8 d4 24 93 d3 79 91 03 6f 3a d2 3d 91 03 0a	.,...x.....=.1.....$..y..o:.=...
11a0	a7 d3 78 8e 8e 9f 0d 99 99 8d 8d 91 5d 76 3d d8 78 3d 31 5c 6c 65 66 74 72 69 67 68 74 74 61 72	..x.........]v=.x=1\leftrighttar
11c0	72 6f 77 91 05 bf aa 79 3d 78 91 10 6c cf d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 2c e6	row....y=x..l..pro.M.duces....,.
11e0	f9 d3 78 96 03 0a a7 d2 3d 93 31 93 d4 24 93 d3 79 91 03 6f 3a d2 3d 93 d3 78 8e 8e 8e 8e 8e 8e	..x.....=.1..$..y..o:.=..x......
1200	9f 1e 00 00 8d 92 00 e7 43 33 d2 32 8e 8e 8c 8b 00 00 00 03 00 00 00 00 00 00 00 00 00 00 00 00	........C3.2....................
1220	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 0a 3a a0 02 6d cc	...........................:..m.
1240	dc 8d a0 fd b9 33 24 a0 02 28 cc dc 8d a0 fd fb 33 24 8d 91 36 00 00 d7 54 68 65 96 04 32 8d d8	.....3$..(......3$..6...The..2..
1260	5c 49 46 46 64 65 66 93 d7 4d 61 63 72 6f 8e a4 14 ab ff 8d 91 36 00 00 d2 4c 69 6b 95 b2 21 65	\IFFdef..Macro.......6...Lik..!e
1280	9b 03 a6 66 61 62 90 4d de 6f 93 76 93 65 98 62 75 74 98 77 69 74 68 98 61 98 73 6d 61 6c 6c 98	...fab.M.o.v.e.but.with.a.small.
12a0	5c 64 65 66 91 00 da 07 22 98 61 62 90 4d de 6f 93 76 93 65 98 74 68 65 98 61 72 72 6f 93 77 2e	\def....".ab.M.o.v.e.the.arro.w.
12c0	8e 9f 16 99 9a 8d 8d 8d 9f 01 82 47 8d 8d 91 72 c4 b8 d8 78 3d 31 5c 49 46 46 64 65 66 91 05 bf	...........G...r...x=1\IFFdef...
12e0	aa 79 3d 78 91 10 6c cf d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 0e 78 7a d3 78 96 03 0a	.y=x..l..pro.M.duces.....xz.x...
1300	a7 d2 3d 93 31 8d 8d 9f f9 fb 95 8d 91 09 0a 1a c0 64 65 66 8e 9f 06 04 6b 8d 91 04 dd d8 d4 20	..=.1............def....k.......
1320	91 fe 2c cf 21 8e 8e 8e 91 1d ce e9 d3 79 91 03 6f 3a d2 3d 93 d3 78 8e 8e 8e 8e 8e 9f 1c ec 1f	..,.!........y..o:.=..x.........
1340	8d 91 36 00 00 d7 54 68 65 96 04 32 8d d8 5c 69 73 93 d7 4d 61 63 72 6f 8e a1 8d 91 36 00 00 d2	..6...The..2..\is..Macro....6...
1360	54 68 69 73 96 02 f8 0c 6d 61 63 72 6f 93 69 73 93 66 6f 72 93 74 90 b2 21 79 70 90 4d de 65 73	This....macro.is.for.t..!yp.M.es
1380	65 74 74 69 6e 67 93 75 6e 69 0c 65 72 73 2e 91 04 a3 bf 49 6e 93 74 68 69 73 93 63 61 73 65 93	etting.uni.ers.....In.this.case.
13a0	74 68 65 93 70 72 65 64 65 0c 6e 65 64 93 d8 5c 73 65 74 6d 69 6e 75 73 8e a9 0d 99 9a 8d 91 36	the.prede.ned..\setminus.......6
13c0	00 00 d2 70 72 6f 90 4d de 64 75 63 65 73 96 03 a6 66 74 6f 93 6d 95 b2 21 75 63 93 68 91 03 a6	...pro.M.duces...fto.m..!uc.h...
13e0	66 73 70 61 63 65 2e 8e 9f 23 44 43 8d 8d 8d 9f f2 61 ea 8d 8d 91 4a a0 66 d8 5c 7b 79 5c 73 65	fspace...#DC.....a....J.f.\{y\se
1400	74 6d 69 6e 75 73 96 05 bf aa 78 2c 93 7a 5c 73 65 74 6d 69 6e 75 73 93 34 5c 7d 91 1b ec 23 d2	tminus....x,.z\setminus.4\}...#.
1420	70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 4d ce 1c d4 66 d3 79 91 02 d3 7f d4 6e 96 02 6e ec	pro.M.duces....M...f.y.....n..n.
1440	d3 78 3b 91 01 d3 31 7a 91 02 ea 35 d4 6e 93 d2 34 d4 67 8e 8e a4 0d 99 99 8d 8d 91 4a a0 66 d8	.x;...1z...5.n..4.g.........J.f.
1460	5c 7b 79 5c 69 73 96 05 bf aa 78 2c 93 7a 5c 69 73 93 34 5c 7d 91 60 e8 1b d2 70 72 6f 90 4d de	\{y\is....x,.z\is.4\}.`...pro.M.
1480	64 75 63 65 73 8e 8d 92 01 4d ce 1c d4 66 d3 79 91 01 00 4e d4 6e 96 00 9b bb d3 78 3b 91 01 d3	duces....M...f.y...N.n.....x;...
14a0	31 7a 91 01 17 04 d4 6e 93 d2 34 d4 67 8e 8e a1 8d 8d 91 4a a0 66 d8 5c 7b 79 5c 62 61 63 6b 73	1z.....n..4.g......J.f.\{y\backs
14c0	6c 61 73 68 96 05 bf aa 78 2c 93 7a 5c 62 61 63 6b 73 6c 61 73 68 93 34 50 7d 91 10 6c cf d2 70	lash....x,.z\backslash.4P}..l..p
14e0	72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 4d ce 1c d4 66 d3 79 90 64 93 d4 6e d3 78 3b 91 01 d3	ro.M.duces....M...f.y.d..n.x;...
1500	31 7a 90 7b 49 d4 6e d2 34 d4 67 8e 8e 8e 8e 8e 9f 29 96 c8 8d 91 36 00 00 d7 54 68 65 96 04 32	1z.{I.n.4.g......)....6...The..2
1520	8d 4e 75 6d 90 a6 74 62 90 59 8b 65 72 93 4d 61 63 72 6f 73 8e a1 8d 91 36 00 00 d2 54 68 69 73	.Num..tb.Y.er.Macros....6...This
1540	96 04 93 90 61 72 65 93 6d 61 63 72 6f 73 93 66 6f 72 93 74 68 6f 73 65 93 77 68 6f 93 68 61 95	....are.macros.for.those.who.ha.
1560	b2 21 76 93 65 96 04 93 90 6e 6f 93 61 63 63 65 73 73 93 74 6f 93 74 68 65 93 d4 41 8d 91 fe 2c	.!v.e....no.access.to.the..A...,
1580	b3 9f 02 5b 77 4d 8e 91 09 f4 a9 53 91 00 d2 39 d2 2d 91 fe e7 aa 54 8d 91 fe 2c b3 9f 02 5b 77	...[wM.....S...9.-....T...,...[w
15a0	45 8e 91 04 42 09 58 93 66 6f 6e 90 b2 21 74 73 2e 91 07 a5 5b 49 74 8e a6 8d 91 36 00 00 6d 61	E...B.X.fon..!ts....[It....6..ma
15c0	6b 9a b2 21 65 73 96 04 99 7e 74 68 65 93 73 79 6d 98 62 90 4d de 6f 6c 73 93 66 6f 72 93 74 68	k..!es...~the.sym.b.M.ols.for.th
15e0	65 93 6e 61 74 75 72 61 6c 93 6e 98 75 6d 98 62 90 4d de 65 72 73 2c 96 04 d6 44 69 6e 98 74 65	e.natural.n.um.b.M.ers,...Din.te
1600	67 65 72 73 2c 93 72 61 74 69 6f 6e 61 6c 73 2c 93 72 65 61 6c 73 91 04 99 7e 61 6e 64 8e a6 8d	gers,.rationals,.reals...~and...
1620	91 36 00 00 63 6f 6d 70 6c 65 78 9b 03 a6 66 6e 95 b2 21 75 6d 93 62 90 4d de 65 72 73 2e 91 04	.6..complex...fn..!um.b.M.ers...
1640	dd dd 54 68 65 98 75 73 75 61 6c 98 6d 61 67 6e 69 0c 63 61 74 69 6f 6e 98 63 6f 6d 6d 61 6e 64	..The.usual.magni.cation.command
1660	73 98 61 70 70 6c 79 98 74 6f 98 69 74 98 61 73 77 93 65 6c 6c 2e 8e 8e 9f 1e 00 00 8d 92 00 e7	s.apply.to.it.asw.ell...........
1680	43 33 33 8e 8e 8c 8b 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	C33.............................
16a0	00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 12 0f a0 02 6d cc dc 8d a0 fd b9 33 24 a0 02	.....................m......3$..
16c0	28 cc dc 8d a0 fd fb 33 24 a0 00 d4 23 13 8d 8d 8d a0 ff 36 62 09 8d 8d 92 00 86 c8 c5 9f 04 14	(......3$...#......6b...........
16e0	7d 84 00 0d 99 99 00 00 66 66 8e 8d 92 00 86 c8 c5 a4 04 14 7d 84 00 0d 99 99 00 00 66 66 91 05	}.......ff..........}.......ff..
1700	cc cd 9f fb eb 83 d8 5c 74 69 6e 79 96 1a d8 e0 2e 2e 2e 9b 15 19 36 5c 6e 6f 72 6d 61 6c 73 69	.......\tiny..........6\normalsi
1720	7a 65 93 2e 2e 2e 98 5c 48 75 67 65 91 05 cc cd a1 84 00 0d 99 99 00 00 66 66 8e 8d 92 01 96 83	ze.....\Huge............ff......
1740	ae 58 5f 58 8e 8e 91 36 00 00 9f 04 7a e3 89 00 00 66 66 01 7a 2f 4a 9f 10 ff 71 8d 8d 91 1c fe	.X_X...6....z....ff.z/J...q.....
1760	a8 5c 62 62 42 91 1c cb 75 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 91 57 b4 25 f3 0f	.\bbB...u...}.......ff.....W.%..
1780	b9 41 61 a8 00 06 00 00 00 06 00 00 00 04 63 6d 72 36 ba 49 91 fe b8 e5 42 8e 8e 8e 8d 8d 8d 91	.Aa...........cmr6.I....B.......
17a0	6b ca 2b c0 49 91 fe 95 54 42 8e 8e 8e 8d 8d 8d 92 00 81 4c 28 f3 1a 6f b4 8b c7 00 09 00 00 00	k.+.I...TB.........L(..o........
17c0	09 00 00 00 04 63 6d 72 39 c5 49 91 fe 75 56 42 8e 8e 8e 8d 8d 8d 92 00 97 a6 9f b2 49 91 fe 55	.....cmr9.I..uVB............I..U
17e0	58 42 8e 8e 8e 8d 8d 8d 92 00 ae dc 6a d2 49 91 fe 2c cf 42 8e 8e 8e 8d 8d 8d 92 00 c7 1c 28 f3	XB..........j.I..,.B..........(.
1800	30 58 ab 51 0b 00 0c 00 00 00 0c 00 00 00 05 63 6d 72 31 32 db 49 91 fe 00 02 42 8e 8e 8e 8d 8d	0X.Q...........cmr12.I....B.....
1820	8d 92 00 e0 5c 29 f3 39 58 ab 51 0b 00 0e 66 66 00 0c 00 00 00 05 63 6d 72 31 32 e4 49 91 fd 99	....\).9X.Q...ff......cmr12.I...
1840	9c 42 8e 8e 8e 8d 8d 8d 92 00 fc 30 a4 f3 3e 44 d3 ed 74 00 11 47 ae 00 11 47 ae 00 05 63 6d 72	.B.........0..>D..t..G...G...cmr
1860	31 37 e9 49 91 fd 1e ba 42 8e 8e 8e 8d 8d 8d 92 01 19 ff 99 f3 43 44 d3 ed 74 00 14 bd 71 00 11	17.I....B............CD..t...q..
1880	47 ae 00 05 63 6d 72 31 37 eb 43 49 91 fc 8b 18 42 8e 8e 8e 8d 8d 8d 92 01 3b 5f 15 f3 47 44 d3	G...cmr17.CI....B........;_..GD.
18a0	ed 74 00 18 e1 48 00 11 47 ae 00 05 63 6d 72 31 37 eb 47 49 91 fb da 75 42 8e 8e 92 01 57 e3 de	.t...H..G...cmr17.GI...uB....W..
18c0	9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 92 01 60 1d 33 d2 49 91 fe 2c cf 42 8e 8d 92 01	...}.......ff.....`.3.I..,.B....
18e0	69 ff e1 9f 01 b1 ec c0 49 91 fe 95 54 42 8e 8e 8e a4 15 13 ee 8d 8d 91 06 00 00 d8 5c 43 6f 6d	i.......I...TB..............\Com
1900	70 6c 65 78 5c 62 62 43 91 05 cc cd 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 91 59 df	plex\bbC.......}.......ff.....Y.
1920	cb 9e bd dd 84 00 03 8a 04 00 00 5d df 8e 91 58 42 c9 ba 43 8e 8e 8d 8d 8d 91 6e 55 fb 9e a7 d2	...........]...XB..C......nU....
1940	84 00 04 b8 07 00 00 6c ce 8e 91 6c 77 40 c0 43 8e 8e 8d 8d 8d 92 00 84 12 ef 9e 9c cc 84 00 05	.......l...lw@.C................
1960	4f 07 00 00 76 68 8e 92 00 82 09 fa c5 43 8e 8e 8d 8d 8d 92 00 9a a7 56 9e 91 c6 84 00 05 e6 08	O...vh.......C.........V........
1980	00 00 80 02 8e 92 00 98 74 22 b2 43 8e 8e 8d 8d 8d 92 00 b2 26 28 9e 87 4d 84 00 06 75 7c 00 00	........t".C........&(..M...u|..
19a0	8c 2b 8e 92 00 af bd 73 d2 43 8e 8e 8d 8d 8d 92 00 ca 9d 40 9f ff 7b ba 84 00 07 14 0c 00 00 96	.+.....s.C.........@..{.........
19c0	68 8e 92 00 c8 07 7e db 43 8e 8e 8d 8d 8d 92 00 e4 90 ac 9f ff 61 46 84 00 08 7e 74 00 00 b4 7d	h.....~.C............aF...~t...}
19e0	8e 92 00 e1 76 91 e4 43 8e 8e 8d 8d 8d 92 01 00 cb 60 9f ff 41 8e 84 00 0a 30 f5 00 00 ca e3 8e	....v..C.........`..A....0......
1a00	92 00 fd 4e b4 e9 43 8e 8e 8d 8d 8d 92 01 1f 86 58 9f ff 1b 6c 84 00 0c 3b 5a 00 00 f3 84 8e 92	...N..C.........X...l...;Z......
1a20	01 1b 56 f0 eb 43 43 8e 8e 8d 8d 8d 92 01 42 00 3d 9f fe ed cb 84 00 0e ac 6a 00 01 24 1f 8e 92	..V..CC.......B.=........j..$...
1a40	01 3c fa f5 eb 47 43 8e 92 01 57 e3 de 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 92 01	.<...GC...W.....}.......ff......
1a60	63 63 59 9e 87 4d 84 00 06 75 7c 00 00 8c 2b 8e 92 01 60 fa a4 d2 43 8e 8d 8d 92 01 6b 13 cf 9f	ccY..M...u|...+...`...C.....k...
1a80	03 3d 46 84 00 06 75 7c 00 00 8c 2b 8e 92 01 68 ab 1a 9f 03 b5 f9 43 8e 8e 8e a1 8d 8d 91 1c fe	.=F...u|...+...h......C.........
1aa0	a8 d8 5c 62 62 44 91 1c cb 75 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 91 57 82 5f ba	..\bbD...u...}.......ff.....W._.
1ac0	49 91 fe b8 e5 44 8e 8e 8e 8d 8d 8d 91 6b 8d b9 c0 49 91 fe 95 54 44 8e 8e 8e 8d 8d 8d 92 00 81	I....D.......k...I...TD.........
1ae0	0a 61 c5 49 91 fe 75 56 44 8e 8e 8e 8d 8d 8d 92 00 97 5f 83 b2 49 91 fe 55 58 44 8e 8e 8e 8d 8d	.a.I..uVD........._..I..UXD.....
1b00	8d 92 00 ae 8e 8d d2 49 91 fe 2c cf 44 8e 8e 8e 8d 8d 8d 92 00 c6 c8 9a db 49 91 fe 00 02 44 8e	.......I..,.D............I....D.
1b20	8e 8e 8d 8d 8d 92 00 df f7 e5 e4 49 91 fd 99 9c 44 8e 8e 8e 8d 8d 8d 92 00 fb bd 16 e9 49 91 fd	...........I....D............I..
1b40	1e ba 44 8e 8e 8e 8d 8d 8d 92 01 19 74 e8 eb 43 49 91 fc 8b 18 44 8e 8e 8e 8d 8d 8d 92 01 3a b8	..D.........t..CI....D........:.
1b60	b5 eb 47 49 91 fb da 75 44 8e 8e 92 01 57 e3 de 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d	..GI...uD....W.....}.......ff...
1b80	92 01 5f 92 e4 d2 49 91 fe 2c cf 44 8e 8d 92 01 6a 11 4d 9f 01 b1 ec c0 49 91 fe 95 54 44 8e 8e	.._...I..,.D....j.M.....I...TD..
1ba0	8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 45 91 1c cb 75 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d	.........\bbE...u...}.......ff..
1bc0	8d 8d 91 57 cd 09 ba 49 91 fe b8 e5 45 8e 8e 8e 8d 8d 8d 91 6b e8 64 c0 49 91 fe 95 54 45 8e 8e	...W...I....E.......k.d.I...TE..
1be0	8e 8d 8d 8d 92 00 81 6d 0b c5 49 91 fe 75 56 45 8e 8e 8e 8d 8d 8d 92 00 97 ca 2d b2 49 91 fe 55	.......m..I..uVE..........-.I..U
1c00	58 45 8e 8e 8e 8d 8d 8d 92 00 af 03 5a d2 49 91 fe 2c cf 45 8e 8e 8e 8d 8d 8d 92 00 c7 45 ef db	XE..........Z.I..,.E.........E..
1c20	49 91 fe 00 02 45 8e 8e 8e 8d 8d 8d 92 00 e0 8e 4b e4 49 91 fd 99 9c 45 8e 8e 8e 8d 8d 8d 92 00	I....E..........K.I....E........
1c40	fc 6a 6b e9 49 91 fd 1e ba 45 8e 8e 8e 8d 8d 8d 92 01 1a 44 f2 eb 43 49 91 fc 8b 18 45 8e 8e 8e	.jk.I....E.........D..CI....E...
1c60	8d 8d 8d 92 01 3b b2 45 eb 47 49 91 fb da 75 45 8e 8e 92 01 57 e3 dd 9f 04 14 7d 84 00 15 13 ee	.....;.E.GI...uE....W.....}.....
1c80	00 00 66 66 8e 8d 8d 92 01 60 62 5c d2 49 91 fe 2c cf 45 8e 8d 92 01 69 f7 2b 9f 01 b1 ec c0 49	..ff.....`b\.I..,.E....i.+.....I
1ca0	91 fe 95 54 45 8e 8e 8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 46 91 1c cb 75 9f 04 14 7d 84 00 15 13	...TE...........\bbF...u...}....
1cc0	ee 00 00 66 66 8e 8d 8d 8d 91 57 e5 ec ba 49 91 fe b8 e5 46 8e 8e 8e 8d 8d 8d 91 6c 06 9d c0 49	...ff.....W...I....F.......l...I
1ce0	91 fe 95 54 46 8e 8e 8e 8d 8d 8d 92 00 81 8d ef c5 49 91 fe 75 56 46 8e 8e 8e 8d 8d 8d 92 00 97	...TF............I..uVF.........
1d00	ed bb b2 49 91 fe 55 58 46 8e 8e 8e 8d 8d 8d 92 00 af 2a 48 d2 49 91 fe 2c cf 46 8e 8e 8e 8d 8d	...I..UXF.........*H.I..,.F.....
1d20	8d 92 00 c7 6f b6 db 49 91 fe 00 02 46 8e 8e 8e 8d 8d 8d 92 00 e0 c0 6d e4 49 91 fd 99 9c 46 8e	....o..I....F..........m.I....F.
1d40	8e 8e 8d 8d 8d 92 00 fc a4 32 e9 49 91 fd 1e ba 46 8e 8e 8e 8d 8d 8d 92 01 1a 8a 4b eb 43 49 91	.........2.I....F..........K.CI.
1d60	fc 8b 18 46 8e 8e 8e 8d 8d 8d 92 01 3c 05 76 eb 47 49 91 fb da 75 46 8e 8e 92 01 57 e3 de 9f 04	...F........<.v.GI...uF....W....
1d80	14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 92 01 60 a7 83 d2 49 91 fe 2c cf 46 8e 8d 92 01 69 ee	.}.......ff.....`...I..,.F....i.
1da0	75 9f 01 b1 ec c0 49 91 fe 95 54 46 8e 8e 8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 47 91 1c cb 75 9f	u.....I...TF...........\bbG...u.
1dc0	04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 91 59 a9 0a 9e bd dd 84 00 03 8a 04 00 00 5d df	..}.......ff.....Y............].
1de0	8e 91 58 0c 08 ba 47 8e 8e 8d 8d 8d 91 6e 12 3f 9e a7 d2 84 00 04 b8 07 00 00 6c ce 8e 91 6c 33	..X...G......n.?..........l...l3
1e00	84 c0 47 8e 8e 8d 8d 8d 92 00 83 c8 fa 9e 9c cc 84 00 05 4f 07 00 00 76 68 8e 92 00 81 c0 05 c5	..G................O...vh.......
1e20	47 8e 8e 8d 8d 8d 92 00 9a 57 56 9e 91 c6 84 00 05 e6 08 00 00 80 02 8e 92 00 98 24 22 b2 47 8e	G........WV................$".G.
1e40	8e 8d 8d 8d 92 00 b1 ce 8e 9e 87 4d 84 00 06 75 7c 00 00 8c 2b 8e 92 00 af 65 d9 d2 47 8e 8e 8d	...........M...u|...+....e..G...
1e60	8d 8d 92 00 ca 3f 62 9f ff 7b ba 84 00 07 14 0c 00 00 96 68 8e 92 00 c7 a9 a0 db 47 8e 8e 8d 8d	.....?b..{.........h.......G....
1e80	8d 92 00 e4 20 08 9f ff 61 46 84 00 08 7e 74 00 00 b4 7d 8e 92 00 e1 05 ed e4 47 8e 8e 8d 8d 8d	........aF...~t...}.......G.....
1ea0	92 01 00 49 99 9f ff 41 8e 84 00 0a 30 f5 00 00 ca e3 8e 92 00 fc cc ed e9 47 8e 8e 8d 8d 8d 92	...I...A....0............G......
1ec0	01 1e ea 95 9f ff 1b 6c 84 00 0c 3b 5a 00 00 f3 84 8e 92 01 1a bb 2d eb 43 47 8e 8e 8d 8d 8d 92	.......l...;Z.........-.CG......
1ee0	01 41 45 62 9f fe ed cb 84 00 0e ac 6a 00 01 24 1f 8e 92 01 3c 40 1a eb 47 47 8e 92 01 57 e3 de	.AEb........j..$....<@..GG...W..
1f00	9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 92 01 62 b4 25 9e 87 4d 84 00 06 75 7c 00 00	...}.......ff......b.%..M...u|..
1f20	8c 2b 8e 92 01 60 4b 70 d2 47 8e 8d 8d 92 01 6b 13 cf 9f 03 3d 46 84 00 06 75 7c 00 00 8c 2b 8e	.+...`Kp.G.....k....=F...u|...+.
1f40	92 01 68 ab 1a 9f 03 b5 f9 47 8e 8e 8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 48 91 1c cb 75 9f 04 14	..h......G...........\bbH...u...
1f60	7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 91 57 91 4d ba 49 91 fe b8 e5 48 8e 8e 8e 8d 8d 8d 91	}.......ff.....W.M.I....H.......
1f80	6b 9d 5e c0 49 91 fe 95 54 48 8e 8e 8e 8d 8d 8d 92 00 81 1a e9 c5 49 91 fe 75 56 48 8e 8e 8e 8d	k.^.I...TH............I..uVH....
1fa0	8d 8d 92 00 97 71 4a b2 49 91 fe 55 58 48 8e 8e 8e 8d 8d 8d 92 00 ae a2 04 d2 49 91 fe 2c cf 48	.....qJ.I..UXH............I..,.H
1fc0	8e 8e 8e 8d 8d 8d 92 00 c6 dd c2 db 49 91 fe 00 02 48 8e 8e 8e 8d 8d 8d 92 00 e0 11 48 e4 49 91	............I....H..........H.I.
1fe0	fd 99 9c 48 8e 8e 8e 8d 8d 8d 92 00 fb da 6b e9 49 91 fd 1e ba 48 8e 8e 8e 8d 8d 8d 92 01 19 98	...H..........k.I....H..........
2000	1d eb 43 49 91 fc 8b 18 48 8e 8e 8e 8d 8d 8d 92 01 3a e2 f0 eb 47 49 91 fb da 75 48 8e 8e 92 01	..CI....H........:...GI...uH....
2020	57 e3 de 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 92 01 5f b6 00 d2 49 91 fe 2c cf 48 8e	W.....}.......ff....._...I..,.H.
2040	8d 92 01 6a 0d 7a 9f 01 b1 ec c0 49 91 fe 95 54 48 8e 8e 8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 49	...j.z.....I...TH...........\bbI
2060	91 1c cb 75 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 91 58 ed bf ba 49 91 fe b8 e5 49	...u...}.......ff.....X...I....I
2080	8e 8e 8e 8d 8d 8d 91 6d 44 7c c0 49 91 fe 95 54 49 8e 8e 8e 8d 8d 8d 92 00 82 e7 5a c5 49 91 fe	.......mD|.I...TI..........Z.I..
20a0	75 56 49 8e 8e 8e 8d 8d 8d 92 00 99 63 11 b2 49 91 fe 55 58 49 8e 8e 8e 8d 8d 8d 92 00 b0 c3 16	uVI.........c..I..UXI...........
20c0	d2 49 91 fe 2c cf 49 8e 8e 8e 8d 8d 8d 92 00 c9 26 a4 db 49 91 fe 00 02 49 8e 8e 8e 8d 8d 8d 92	.I..,.I.........&..I....I.......
20e0	00 e2 cf 24 e4 49 91 fd 99 9c 49 8e 8e 8e 8d 8d 8d 92 00 ff 03 4d e9 49 91 fd 1e ba 49 8e 8e 8e	...$.I....I..........M.I....I...
2100	8d 8d 8d 92 01 1d 62 f6 eb 43 49 91 fc 8b 18 49 8e 8e 8e 8d 8d 8d 92 01 3f 6f 95 eb 47 49 91 fb	......b..CI....I........?o..GI..
2120	da 75 49 8e 8e 92 01 57 e3 de 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 92 01 63 7e 30 d2	.uI....W.....}.......ff.....c~0.
2140	49 91 fe 2c cf 49 8e 8d 92 01 69 93 87 9f 01 b1 ec c0 49 91 fe 95 54 49 8e 8e 8e a1 8d 8d 91 1c	I..,.I....i.......I...TI........
2160	fe a8 d8 5c 62 62 4a 91 1c cb 75 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 91 58 7a 8b	...\bbJ...u...}.......ff.....Xz.
2180	ba 4a 91 fd 71 ca 4a 8e 8e 8e 8d 8d 8d 91 6c ac 4e c0 4a 91 fd 2a a8 4a 8e 8e 8e 8d 8d 8d 92 00	.J..q.J.......l.N.J..*.J........
21a0	82 42 bb c5 4a 91 fc ea ac 4a 8e 8e 8e 8d 8d 8d 92 00 98 b1 48 b2 4a 91 fc aa b0 4a 8e 8e 8e 8d	.B..J....J..........H.J....J....
21c0	8d 8d 92 00 b0 00 69 d2 4a 91 fc 59 9e 4a 8e 8e 8e 8d 8d 8d 92 00 c8 5a 8d db 4a 91 fc 00 04 4a	......i.J..Y.J.........Z..J....J
21e0	8e 8e 8e 8d 8d 8d 92 00 e1 da 3d e4 4a 91 fb 33 38 4a 8e 8e 8e 8d 8d 8d 92 00 fd f7 7f e9 4a 91	..........=.J..38J............J.
2200	fa 3d 74 4a 8e 8e 8e 8d 8d 8d 92 01 1c 21 8a eb 43 4a 91 f9 16 30 4a 8e 8e 8e 8d 8d 8d 92 01 3d	.=tJ.........!..CJ...0J........=
2220	ed fe eb 47 4a 91 f7 b4 ea 4a 8e 8e 92 01 57 e3 dd 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d	...GJ....J....W.....}.......ff..
2240	8d 92 01 62 23 55 d2 4a 91 fc 59 9e 4a 8e 8d 92 01 69 be 05 9f 01 b1 ec c0 4a 91 fd 2a a8 4a 8e	...b#U.J..Y.J....i.......J..*.J.
2260	8e 8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 4b 91 1c cb 75 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e	..........\bbK...u...}.......ff.
2280	8d 8d 8d 91 57 78 6a ba 49 91 fe b8 e5 4b 8e 8e 8e 8d 8d 8d 91 6b 7f 25 c0 49 91 fe 95 54 4b 8e	....Wxj.I....K.......k.%.I...TK.
22a0	8e 8e 8d 8d 8d 92 00 80 fa 06 c5 49 91 fe 75 56 4b 8e 8e 8e 8d 8d 8d 92 00 97 4d bb b2 49 91 fe	...........I..uVK.........M..I..
22c0	55 58 4b 8e 8e 8e 8d 8d 8d 92 00 ae 7b 15 d2 49 91 fe 2c cf 4b 8e 8e 8e 8d 8d 8d 92 00 c6 b3 fb	UXK.........{..I..,.K...........
22e0	db 49 91 fe 00 02 4b 8e 8e 8e 8d 8d 8d 92 00 df df 26 e4 49 91 fd 99 9c 4b 8e 8e 8e 8d 8d 8d 92	.I....K..........&.I....K.......
2300	00 fb a0 a4 e9 49 91 fd 1e ba 4b 8e 8e 8e 8d 8d 8d 92 01 19 52 c4 eb 43 49 91 fc 8b 18 4b 8e 8e	.....I....K.........R..CI....K..
2320	8e 8d 8d 8d 92 01 3a 8f c0 eb 47 49 91 fb da 75 4b 8e 8e 92 01 57 e3 dd 9f 04 14 7d 84 00 15 13	......:...GI...uK....W.....}....
2340	ee 00 00 66 66 8e 8d 8d 92 01 5f 70 d8 d2 49 91 fe 2c cf 4b 8e 8d 92 01 6a 16 31 9f 01 b1 ec c0	...ff....._p..I..,.K....j.1.....
2360	49 91 fe 95 54 4b 8e 8e 8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 4c 91 1c cb 75 9f 04 14 7d 84 00 15	I...TK...........\bbL...u...}...
2380	13 ee 00 00 66 66 8e 8d 8d 8d 91 57 fe d0 ba 49 91 fe b8 e5 4c 8e 8e 8e 8d 8d 8d 91 6c 24 d6 c0	....ff.....W...I....L.......l$..
23a0	49 91 fe 95 54 4c 8e 8e 8e 8d 8d 8d 92 00 81 ae d2 c5 49 91 fe 75 56 4c 8e 8e 8e 8d 8d 8d 92 00	I...TL............I..uVL........
23c0	98 11 4a b2 49 91 fe 55 58 4c 8e 8e 8e 8d 8d 8d 92 00 af 51 37 d2 49 91 fe 2c cf 4c 8e 8e 8e 8d	..J.I..UXL.........Q7.I..,.L....
23e0	8d 8d 92 00 c7 99 7d db 49 91 fe 00 02 4c 8e 8e 8e 8d 8d 8d 92 00 e0 f2 8f e4 49 91 fd 99 9c 4c	......}.I....L............I....L
2400	8e 8e 8e 8d 8d 8d 92 00 fc dd f9 e9 49 91 fd 1e ba 4c 8e 8e 8e 8d 8d 8d 92 01 1a cf a4 eb 43 49	............I....L............CI
2420	91 fc 8b 18 4c 8e 8e 8e 8d 8d 8d 92 01 3c 58 a6 eb 47 49 91 fb da 75 4c 8e 8e 92 01 57 e3 dd 9f	....L........<X..GI...uL....W...
2440	04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 92 01 60 ec ab d2 49 91 fe 2c cf 4c 8e 8d 92 01 69	..}.......ff.....`...I..,.L....i
2460	e5 bf 9f 01 b1 ec c0 49 91 fe 95 54 4c 8e 8e 8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 4d 91 1c cb 75	.......I...TL...........\bbM...u
2480	9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 91 56 fb f8 ba 49 91 fe b8 e5 4d 8e 8e 8e 8d	...}.......ff.....V...I....M....
24a0	8d 8d 91 6a e8 08 c0 49 91 fe 95 54 4d 8e 8e 8e 8d 8d 8d 92 00 80 55 94 c5 49 91 fe 75 56 4d 8e	...j...I...TM.........U..I..uVM.
24c0	8e 8e 8d 8d 8d 92 00 96 9b f4 b2 49 91 fe 55 58 4d 8e 8e 8e 8d 8d 8d 92 00 ad b8 6a d2 49 91 fe	...........I..UXM..........j.I..
24e0	2c cf 4d 8e 8e 8e 8d 8d 8d 92 00 c5 e3 18 db 49 91 fe 00 02 4d 8e 8e 8e 8d 8d 8d 92 00 de e4 7c	,.M............I....M..........|
2500	e4 49 91 fd 99 9c 4d 8e 8e 8e 8d 8d 8d 92 00 fa 7f c1 e9 49 91 fd 1e ba 4d 8e 8e 8e 8d 8d 8d 92	.I....M............I....M.......
2520	01 17 f8 09 eb 43 49 91 fc 8b 18 4d 8e 8e 8e 8d 8d 8d 92 01 38 ef ce eb 47 49 91 fb da 75 4d 8e	.....CI....M........8...GI...uM.
2540	8e 92 01 57 e3 dd 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 92 01 5e 17 10 d2 49 91 fe 2c	...W.....}.......ff.....^...I..,
2560	cf 4d 8e 8d 92 01 6a 41 be 9f 01 b1 ec c0 49 91 fe 95 54 4d 8e 8e 8e a1 8d 8d 91 0f ac 21 d8 5c	.M....jA......I...TM.........!.\
2580	4e 61 74 91 03 a6 66 5c 62 62 4e 91 0f 78 ee 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d	Nat...f\bbN..x....}.......ff....
25a0	91 57 91 4d ba 49 91 fe b8 e5 4e 8e 8e 8e 8d 8d 8d 91 6b 9d 5e c0 49 91 fe 95 54 4e 8e 8e 8e 8d	.W.M.I....N.......k.^.I...TN....
25c0	8d 8d 92 00 81 1a e9 c5 49 91 fe 75 56 4e 8e 8e 8e 8d 8d 8d 92 00 97 71 4a b2 49 91 fe 55 58 4e	........I..uVN.........qJ.I..UXN
25e0	8e 8e 8e 8d 8d 8d 92 00 ae a2 04 d2 49 91 fe 2c cf 4e 8e 8e 8e 8d 8d 8d 92 00 c6 dd c2 db 49 91	............I..,.N............I.
2600	fe 00 02 4e 8e 8e 8e 8d 8d 8d 92 00 e0 11 48 e4 49 91 fd 99 9c 4e 8e 8e 8e 8d 8d 8d 92 00 fb da	...N..........H.I....N..........
2620	6b e9 49 91 fd 1e ba 4e 8e 8e 8e 8d 8d 8d 92 01 19 98 1d eb 43 49 91 fc 8b 18 4e 8e 8e 8e 8d 8d	k.I....N............CI....N.....
2640	8d 92 01 3a e2 f0 eb 47 49 91 fb da 75 4e 8e 8e 92 01 57 e3 de 9f 04 14 7d 84 00 15 13 ee 00 00	...:...GI...uN....W.....}.......
2660	66 66 8e 8d 8d 92 01 5f b6 00 d2 49 91 fe 2c cf 4e 8e 8d 92 01 6a 0d 7a 9f 01 b1 ec c0 49 91 fe	ff....._...I..,.N....j.z.....I..
2680	95 54 4e 8e 8e 8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 4f 91 1c cb 75 9f 04 14 7d 84 00 15 13 ee 00	.TN...........\bbO...u...}......
26a0	00 66 66 8e 8d 8d 8d 91 59 ae 04 9e bd dd 84 00 03 8a 04 00 00 5d df 8e 91 58 11 02 ba 4f 8e 8e	.ff.....Y............]...X...O..
26c0	8d 8d 8d 91 6e 19 89 9e a7 d2 84 00 04 b8 07 00 00 6c ce 8e 91 6c 3a ce c0 4f 8e 8e 8d 8d 8d 92	....n............l...l:..O......
26e0	00 83 d1 28 9e 9c cc 84 00 05 4f 07 00 00 76 68 8e 92 00 81 c8 33 c5 4f 8e 8e 8d 8d 8d 92 00 9a	...(......O...vh.....3.O........
2700	60 39 9e 91 c6 84 00 05 e6 08 00 00 80 02 8e 92 00 98 2d 05 b2 4f 8e 8e 8d 8d 8d 92 00 b1 d8 4a	`9................-..O.........J
2720	9e 87 4d 84 00 06 75 7c 00 00 8c 2b 8e 92 00 af 6f 95 d2 4f 8e 8e 8d 8d 8d 92 00 ca 49 b2 9f ff	..M...u|...+....o..O........I...
2740	7b ba 84 00 07 14 0c 00 00 96 68 8e 92 00 c7 b3 f0 db 4f 8e 8e 8d 8d 8d 92 00 e4 2c 68 9f ff 61	{.........h.......O........,h..a
2760	46 84 00 08 7e 74 00 00 b4 7d 8e 92 00 e1 12 4d e4 4f 8e 8e 8d 8d 8d 92 01 00 57 d1 9f ff 41 8e	F...~t...}.....M.O........W...A.
2780	84 00 0a 30 f5 00 00 ca e3 8e 92 00 fc db 25 e9 4f 8e 8e 8d 8d 8d 92 01 1e fb a7 9f ff 1b 6c 84	...0..........%.O.............l.
27a0	00 0c 3b 5a 00 00 f3 84 8e 92 01 1a cc 3f eb 43 4f 8e 8e 8d 8d 8d 92 01 41 59 dc 9f fe ed cb 84	..;Z.........?.CO.......AY......
27c0	00 0e ac 6a 00 01 24 1f 8e 92 01 3c 54 94 eb 47 4f 8e 92 01 57 e3 de 9f 04 14 7d 84 00 15 13 ee	...j..$....<T..GO...W.....}.....
27e0	00 00 66 66 8e 8d 8d 8d 92 01 62 c7 9c 9e 87 4d 84 00 06 75 7c 00 00 8c 2b 8e 92 01 60 5e e7 d2	..ff......b....M...u|...+...`^..
2800	4f 8e 8d 8d 92 01 6b 13 cf 9f 03 3d 46 84 00 06 75 7c 00 00 8c 2b 8e 92 01 68 ab 1a 9f 03 b5 f9	O.....k....=F...u|...+...h......
2820	4f 8e 8e 8e a1 8d 8d 91 1c fe a8 d8 5c 62 62 50 91 1c cb 75 9f 04 14 7d 84 00 15 13 ee 00 00 66	O...........\bbP...u...}.......f
2840	66 8e 8d 8d 8d 91 57 cd 09 ba 49 91 fe b8 e5 50 8e 8e 8e 8d 8d 8d 91 6b e8 64 c0 49 91 fe 95 54	f.....W...I....P.......k.d.I...T
2860	50 8e 8e 8e 8d 8d 8d 92 00 81 6d 0b c5 49 91 fe 75 56 50 8e 8e 8e 8d 8d 8d 92 00 97 ca 2d b2 49	P.........m..I..uVP..........-.I
2880	91 fe 55 58 50 8e 8e 8e 8d 8d 8d 92 00 af 03 5a d2 49 91 fe 2c cf 50 8e 8e 8e 8d 8d 8d 92 00 c7	..UXP..........Z.I..,.P.........
28a0	45 ef db 49 91 fe 00 02 50 8e 8e 8e 8d 8d 8d 92 00 e0 8e 4b e4 49 91 fd 99 9c 50 8e 8e 8e 8d 8d	E..I....P..........K.I....P.....
28c0	8d 92 00 fc 6a 6b e9 49 91 fd 1e ba 50 8e 8e 8e 8d 8d 8d 92 01 1a 44 f2 eb 43 49 91 fc 8b 18 50	....jk.I....P.........D..CI....P
28e0	8e 8e 8e 8d 8d 8d 92 01 3b b2 45 eb 47 49 91 fb da 75 50 8e 8e 92 01 57 e3 dd 9f 04 14 7d 84 00	........;.E.GI...uP....W.....}..
2900	15 13 ee 00 00 66 66 8e 8d 8d 92 01 60 62 5c d2 49 91 fe 2c cf 50 8e 8d 92 01 69 f7 2b 9f 01 b1	.....ff.....`b\.I..,.P....i.+...
2920	ec c0 49 91 fe 95 54 50 8e 8e 8e a1 8d 8d 91 0f ac 21 d8 5c 52 61 74 91 03 a6 66 5c 62 62 51 91	..I...TP.........!.\Rat...f\bbQ.
2940	0f 78 ee 9f 05 d7 0a 84 00 16 d6 7b 00 00 66 66 8e 8d 8d 8d 91 59 ae 04 9e bd dd 84 00 03 8a 04	.x.........{..ff.....Y..........
2960	00 00 5d df 8e 91 58 11 02 ba 51 8e 8e 8d 8d 8d 91 6e 19 89 9e a7 d2 84 00 04 b8 07 00 00 6c ce	..]...X...Q......n............l.
2980	8e 91 6c 3a ce c0 51 8e 8e 8d 8d 8d 92 00 83 d1 28 9e 9c cc 84 00 05 4f 07 00 00 76 68 8e 92 00	..l:..Q.........(......O...vh...
29a0	81 c8 33 c5 51 8e 8e 8d 8d 8d 92 00 9a 60 39 9e 91 c6 84 00 05 e6 08 00 00 80 02 8e 92 00 98 2d	..3.Q........`9................-
29c0	05 b2 51 8e 8e 8d 8d 8d 92 00 b1 d8 4a 9e 87 4d 84 00 06 75 7c 00 00 8c 2b 8e 92 00 af 6f 95 d2	..Q.........J..M...u|...+....o..
29e0	51 8e 8e 8d 8d 8d 92 00 ca 49 b2 9f ff 7b ba 84 00 07 14 0c 00 00 96 68 8e 92 00 c7 b3 f0 db 51	Q........I...{.........h.......Q
2a00	8e 8e 8d 8d 8d 92 00 e4 2c 68 9f ff 61 46 84 00 08 7e 74 00 00 b4 7d 8e 92 00 e1 12 4d e4 51 8e	........,h..aF...~t...}.....M.Q.
2a20	8e 8d 8d 8d 92 01 00 57 d1 9f ff 41 8e 84 00 0a 30 f5 00 00 ca e3 8e 92 00 fc db 25 e9 51 8e 8e	.......W...A....0..........%.Q..
2a40	8d 8d 8d 92 01 1e fb a7 9f ff 1b 6c 84 00 0c 3b 5a 00 00 f3 84 8e 92 01 1a cc 3f eb 43 51 8e 8e	...........l...;Z.........?.CQ..
2a60	8d 8d 8d 92 01 41 59 dc 9f fe ed cb 84 00 0e ac 6a 00 01 24 1f 8e 92 01 3c 54 94 eb 47 51 8e 92	.....AY.........j..$....<T..GQ..
2a80	01 57 e3 de 9f 05 d7 0a 84 00 16 d6 7b 00 00 66 66 8e 8d 8d 8d 92 01 62 c7 9c 9e 87 4d 84 00 06	.W..........{..ff......b....M...
2aa0	75 7c 00 00 8c 2b 8e 92 01 60 5e e7 d2 51 8e 8d 8d 92 01 6b 13 cf 9f 03 3d 46 84 00 06 75 7c 00	u|...+...`^..Q.....k....=F...u|.
2ac0	00 8c 2b 8e 92 01 68 ab 1a 9f 03 b5 f9 51 8e 8e 8e 9f 16 d6 7b 8d 8d 91 0c cc 4c d8 5c 52 65 61	..+...h......Q......{.....L.\Rea
2ae0	6c 91 03 a6 66 5c 62 62 52 91 0c 99 19 9f 04 14 7d 84 00 15 13 ee 00 00 66 66 8e 8d 8d 8d 91 57	l...f\bbR.......}.......ff.....W
2b00	9b 42 ba 49 91 fe b8 e5 52 8e 8e 8e 8d 8d 8d 91 6b ab f2 c0 49 91 fe 95 54 52 8e 8e 8e 8d 8d 8d	.B.I....R.......k...I...TR......
2b20	92 00 81 2b 44 c5 49 91 fe 75 56 52 8e 8e 8e 8d 8d 8d 92 00 97 83 11 b2 49 91 fe 55 58 52 8e 8e	...+D.I..uVR............I..UXR..
2b40	8e 8d 8d 8d 92 00 ae b5 7c d2 49 91 fe 2c cf 52 8e 8e 8e 8d 8d 8d 92 00 c6 f2 61 db 49 91 fe 00	........|.I..,.R..........a.I...
2b60	02 52 8e 8e 8e 8d 8d 8d 92 00 e0 2a 07 e4 49 91 fd 99 9c 52 8e 8e 8e 8d 8d 8d 92 00 fb f6 dd e9	.R.........*..I....R............
2b80	49 91 fd 1e ba 52 8e 8e 8e 8d 8d 8d 92 01 19 ba 41 eb 43 49 91 fc 8b 18 52 8e 8e 8e 8d 8d 8d 92	I....R..........A.CI....R.......
2ba0	01 3b 0b e5 eb 47 49 91 fb da 75 52 8e 8e 92 01 57 e3 dd 9f 04 14 7d 84 00 15 13 ee 00 00 66 66	.;...GI...uR....W.....}.......ff
2bc0	8e 8d 8d 92 01 5f d8 0c d2 49 91 fe 2c cf 52 8e 8d 92 01 6a 08 97 9f 01 b1 ec c0 49 91 fe 95 54	....._...I..,.R....j.......I...T
2be0	52 8e 8e 8e a4 15 5b 9a 8d 8d 91 0f ac 21 d8 5c 49 6e 74 91 03 a6 66 5c 62 62 5a 91 0f 78 ee 9f	R.....[......!.\Int...f\bbZ..x..
2c00	04 14 7d 84 00 15 5b 9a 00 00 66 66 8e 8d 8d 8d 91 58 8a 47 f3 4c c6 73 36 91 00 06 00 00 00 08	..}...[...ff.....X.G.L.s6.......
2c20	00 00 00 05 63 6d 73 73 38 eb 4c 5a 91 fd 04 c1 5a 8e 8e 8e 8d 8d 8d 91 6c 14 20 f3 4b c6 73 36	....cmss8.LZ....Z.......l...K.s6
2c40	91 00 08 00 00 00 08 00 00 00 05 63 6d 73 73 38 eb 4b 5a 91 fc b1 c4 5a 8e 8e 8e 8d 8d 8d 92 00	...........cmss8.KZ....Z........
2c60	81 9e 1b f3 5b d2 6f c7 77 00 09 00 00 00 09 00 00 00 05 63 6d 73 73 39 eb 5b 5a 91 fc 67 1e 5a	....[.o.w..........cmss9.[Z..g.Z
2c80	8e 8e 8e 8d 8d 8d 92 00 97 ff 81 f3 25 6d 23 bd 52 00 0a 00 00 00 0a 00 00 00 06 63 6d 73 73 31	............%m#.R..........cmss1
2ca0	30 d0 5a 91 fc 1c 78 5a 8e 8e 8e 8d 8d 8d 92 00 af 3d be f3 2e 6d 23 bd 52 00 0a f3 33 00 0a 00	0.Z...xZ.........=...m#.R...3...
2cc0	00 00 06 63 6d 73 73 31 30 d9 5a 91 fb bd e3 5a 8e 8e 8e 8d 8d 8d 92 00 c7 8a e9 f3 37 82 ce 52	...cmss10.Z....Z............7..R
2ce0	36 00 0c 00 00 00 0c 00 00 00 06 63 6d 73 73 31 32 e2 5a 91 fb 55 5a 5a 8e 8e 8e 8d 8d 8d 92 00	6..........cmss12.Z..UZZ........
2d00	e0 e1 12 f3 65 82 ce 52 36 00 0e 66 66 00 0c 00 00 00 06 63 6d 73 73 31 32 eb 65 5a 91 fa 66 6c	....e..R6..ff......cmss12.eZ..fl
2d20	5a 8e 8e 8e 8d 8d 8d 92 00 fc a9 d9 f3 69 05 d6 c6 1f 00 11 47 ae 00 11 47 ae 00 06 63 6d 73 73	Z............i......G...G...cmss
2d40	31 37 eb 69 5a 91 f9 47 b2 5a 8e 8e 8e 8d 8d 8d 92 01 1a 91 15 f3 6f 05 d6 c6 1f 00 14 bd 71 00	17.iZ..G.Z............o.......q.
2d60	11 47 ae 00 06 63 6d 73 73 31 37 eb 6f 5a 91 f7 ef 38 5a 8e 8e 8e 8d 8d 8d 92 01 3c 0d 9b f3 77	.G...cmss17.oZ...8Z........<...w
2d80	05 d6 c6 1f 00 18 e1 48 00 11 47 ae 00 06 63 6d 73 73 31 37 eb 77 5a 91 f6 53 11 5a 8e 8e 92 01	.......H..G...cmss17.wZ..S.Z....
2da0	57 e3 de 9f 04 14 7d 84 00 15 5b 9a 00 00 66 66 8e 8d 8d 92 01 60 c8 7c d9 5a 91 fb bd e3 5a 8e	W.....}...[...ff.....`.|.Z....Z.
2dc0	8d 92 01 69 e8 83 9f 01 c8 ae eb 4b 5a 91 fc b1 c4 5a 8e 8e 8e a1 8d 8d 91 17 3e fe d8 5c 62 62	...i.......KZ....Z........>..\bb
2de0	4f 6e 65 91 17 0b cb 9f 04 14 7d 84 00 15 5b 9a 00 00 66 66 8e 8d 8d 8d 91 58 b2 02 ba 31 91 fe	One.......}...[...ff.....X...1..
2e00	b8 e5 6c 8e 8e 8e 8d 8d 8d 91 6d 05 e8 c0 31 91 fe 95 54 6c 8e 8e 8e 8d 8d 8d 92 00 82 a5 37 c5	..l.......m...1...Tl..........7.
2e20	31 91 fe 75 56 6c 8e 8e 8e 8d 8d 8d 92 00 99 1b f4 b2 31 91 fe 55 58 6c 8e 8e 8e 8d 8d 8d 92 00	1..uVl............1..UXl........
2e40	b0 75 37 d2 31 91 fe 2c cf 6c 8e 8e 8e 8d 8d 8d 92 00 c8 d2 05 db 31 91 fe 00 02 6c 8e 8e 8e 8d	.u7.1..,.l............1....l....
2e60	8d 8d 92 00 e2 69 9a e4 31 91 fd 99 9c 6c 8e 8e 8e 8d 8d 8d 92 00 fe 8d f9 e9 31 91 fd 1e ba 6c	.....i..1....l............1....l
2e80	8e 8e 8e 8d 8d 8d 92 01 1c d6 24 eb 43 31 91 fc 8b 18 6c 8e 8e 8e 8d 8d 8d 92 01 3e c6 a6 eb 47	..........$.C1....l........>...G
2ea0	31 91 fb da 75 6c 8e 8e 92 01 57 e3 dd 9f 04 14 7d 84 00 15 5b 9a 00 00 66 66 8e 8d 8d 92 01 62	1...ul....W.....}...[...ff.....b
2ec0	f1 bd d2 31 91 fe 2c cf 6c 8e 8d 92 01 69 a2 d1 9f 01 c8 ae c0 31 91 fe 95 54 6c 8e 8e 8e 8e 8e	...1..,.l....i.......1...Tl.....
2ee0	8e a0 00 e2 44 25 8d 91 47 00 00 d2 55 6e 66 6f 72 74 75 6e 61 74 65 6c 79 96 02 f9 81 74 68 65	....D%..G...Unfortunately....the
2f00	93 6d 61 63 72 6f 73 93 d8 5c 62 62 43 d2 2c 93 d8 5c 62 62 47 d2 2c 93 d8 5c 62 62 4f d2 2c 93	.macros..\bbC.,..\bbG.,..\bbO.,.
2f20	61 6e 64 93 d8 5c 62 62 51 91 02 f9 55 d2 64 6f 93 6e 6f 74 93 73 63 61 6c 65 93 70 72 6f 70 2d	and..\bbQ...U.do.not.scale.prop-
2f40	8e a4 0d 99 9a 8d 91 36 00 00 65 72 6c 79 96 05 49 53 77 68 65 6e 93 75 73 65 64 93 69 6e 93 73	.......6..erly..ISwhen.used.in.s
2f60	75 62 73 63 72 69 70 74 73 93 6f 72 93 73 75 70 90 4d de 65 72 73 63 72 69 70 74 73 93 6f 66 93	ubscripts.or.sup.M.erscripts.of.
2f80	66 6f 72 6d 9a b2 21 75 6c 61 65 2e 91 09 c6 a5 54 68 65 93 66 6f 6c 6c 6f 98 77 69 6e 67 8e a1	form..!ulae.....The.follo.wing..
2fa0	8d 91 36 00 00 65 78 61 6d 70 6c 65 73 96 03 a6 66 73 68 6f 9a b2 21 77 73 93 68 6f 98 77 93 74	..6..examples...fsho..!ws.ho.w.t
2fc0	68 65 93 73 69 7a 69 6e 67 93 63 61 6e 93 62 90 4d de 65 93 61 63 98 68 69 65 76 98 65 64 93 6d	he.sizing.can.b.M.e.ac.hiev.ed.m
2fe0	61 6e 98 75 61 6c 6c 79 8e 9f 16 99 9a 8d 8d 8d 9e ee 1d 8d 8d 91 66 8a 3e d8 5c 62 62 51 5f 7b	an.ually..............f.>.\bbQ_{
3000	5c 6d 62 6f 78 7b 5c 73 63 72 69 70 74 73 69 7a 65 91 05 bf aa 5c 62 62 51 7d 7d 91 10 6c cf d2	\mbox{\scriptsize....\bbQ}}..l..
3020	70 72 6f 90 4d de 64 75 63 65 73 8e 8d 8d 8d 92 01 60 69 42 9e 87 4d 84 00 06 75 7c 00 00 8c 2b	pro.M.duces......`iB..M...u|...+
3040	8e 92 01 5e 00 8d 51 8e 8d 8d 8d 92 01 68 38 06 9f 02 48 e3 84 00 04 b8 07 00 00 6c ce 8e 92 01	...^..Q......h8...H........l....
3060	66 59 4b 9f 02 a1 11 c0 51 8e 8e 8e 8e 8e 8e 8e 8e 9f 1e 00 00 8d 92 00 e7 43 33 d2 34 8e 8e 8c	fYK.....Q................C3.4...
3080	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 00 00 00	................................
30a0	00 00 00 00 00 00 00 00 00 00 00 16 86 a0 02 6d cc dc 8d a0 fd b9 33 24 a0 02 28 cc dc 8d a0 fd	...............m......3$..(.....
30c0	fb 33 24 8d 91 36 00 00 d7 54 68 65 96 04 32 8d d8 5c 46 6f 72 61 6c 6c 93 d7 61 6e 64 93 74 68	.3$..6...The..2..\Forall..and.th
30e0	65 93 d8 5c 45 78 69 73 74 73 93 d7 4d 61 63 72 6f 73 8e a9 14 ab ff 8d 91 36 00 00 d2 54 68 65	e..\Exists..Macros.......6...The
3100	96 03 48 ae 67 65 6e 65 72 61 6c 93 70 72 6f 62 6c 65 6d 93 77 69 74 68 93 71 75 61 6e 9a b2 21	..H.general.problem.with.quan..!
3120	74 69 0c 65 73 93 69 73 93 74 68 61 74 93 61 66 74 65 72 93 74 68 65 93 71 75 61 6e 98 74 69 0c	ti.es.is.that.after.the.quan.ti.
3140	65 64 93 76 91 ff 64 44 61 72 69 61 62 6c 65 93 74 68 65 8e a4 0d 99 9a 8d 91 36 00 00 66 6f 6c	ed.v..dDariable.the.......6..fol
3160	6c 6f 95 b2 21 77 69 6e 67 9b 04 44 79 66 6f 72 6d 93 75 6c 61 98 69 73 98 6e 6f 74 98 61 75 74	lo..!wing..Dyform.ula.is.not.aut
3180	6f 6d 61 74 69 63 61 6c 6c 79 98 73 65 70 90 4d de 65 72 61 74 65 64 98 77 69 74 68 98 61 98 73	omatically.sep.M.erated.with.a.s
31a0	6d 61 6c 6c 98 73 70 61 63 65 2e 91 06 b8 15 54 68 69 73 8e a1 8d 91 36 00 00 63 61 6e 96 03 a6	mall.space.....This....6..can...
31c0	66 62 90 4d de 65 93 6f 95 b2 21 76 93 65 72 63 6f 6d 65 9b 03 a6 66 62 93 79 98 74 68 65 98 66	fb.M.e.o..!v.ercome...fb.y.the.f
31e0	6f 6c 6c 6f 93 77 69 6e 67 98 6d 61 63 72 6f 73 2e 8e a1 8d 91 47 00 00 54 68 65 96 03 2d 34 d8	ollo.wing.macros.....G..The..-4.
3200	5c 46 6f 72 61 6c 6c 93 d2 61 6e 64 93 74 68 65 93 d8 5c 45 78 69 73 74 73 93 d2 6d 61 63 72 6f	\Forall..and.the..\Exists..macro
3220	73 93 74 61 6b 9a b2 21 65 93 6f 6e 65 93 61 72 67 75 6d 65 6e 98 74 2e 91 04 b5 77 54 68 65 79	s.tak..!e.one.argumen.t....wThey
3240	93 74 98 79 70 90 4d de 65 73 65 74 8e a1 8d 91 36 00 00 74 68 65 96 04 d5 c6 72 65 73 70 90 4d	.t.yp.M.eset....6..the....resp.M
3260	de 65 63 74 69 76 9a b2 21 65 93 71 75 61 6e 98 74 69 0c 65 72 93 66 6f 6c 6c 6f 98 77 98 65 64	.ectiv..!e.quan.ti.er.follo.w.ed
3280	93 62 98 79 93 74 68 65 93 61 72 67 75 6d 65 6e 98 74 93 28 69 2e 65 2e 93 74 68 65 93 76 91 ff	.b.y.the.argumen.t.(i.e..the.v..
32a0	64 44 61 72 69 61 62 6c 65 29 93 61 6e 64 8e a1 8d 91 36 00 00 0c 6e 61 6c 6c 79 96 03 94 a6 61	dDariable).and....6...nally....a
32c0	93 73 6d 61 6c 6c 93 73 70 61 63 65 2e 91 04 d7 f2 41 73 93 75 73 75 61 6c 93 74 68 65 93 61 72	.small.space.....As.usual.the.ar
32e0	67 75 6d 65 6e 90 b2 21 74 93 68 61 73 93 74 6f 93 62 90 4d de 65 93 65 6e 63 6c 6f 73 65 64 93	gumen..!t.has.to.b.M.e.enclosed.
3300	69 6e 93 62 72 61 63 65 73 93 69 66 8e a1 8d 91 36 00 00 69 74 96 02 ed 4f 63 6f 6e 73 69 73 74	in.braces.if....6..it...Oconsist
3320	73 93 6f 66 93 6d 6f 72 65 93 74 68 61 6e 93 6f 6e 65 93 63 90 b2 21 68 61 72 61 63 74 65 72 2e	s.of.more.than.one.c..!haracter.
3340	91 04 a0 2b 4f 74 68 65 72 77 69 73 65 93 74 68 65 93 62 72 61 63 65 73 93 63 61 6e 93 62 90 4d	...+Otherwise.the.braces.can.b.M
3360	de 65 93 6f 6d 69 74 74 65 64 2e 8e a1 8d 91 36 00 00 54 68 69 73 96 03 a6 66 61 6c 6c 6f 9a b2	.e.omitted.....6..This...fallo..
3380	21 77 73 93 61 93 65 6c 65 67 61 6e 98 74 93 6e 6f 74 61 74 69 6f 6e 93 6f 66 93 73 68 6f 72 74	!ws.a.elegan.t.notation.of.short
33a0	93 71 75 61 6e 98 74 69 0c 65 64 93 66 6f 72 6d 98 75 6c 61 73 2e 8e 9f 12 cc a9 9f 1e ef fe 8d	.quan.ti.ed.form.ulas...........
33c0	8d 8d 9f eb 95 1e 8d 8d 91 36 00 01 d8 5c 46 6f 72 61 6c 6c 96 05 bf aa 78 93 50 28 78 29 92 00	.........6...\Forall....x.P(x)..
33e0	a5 e4 13 d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 67 2b 07 d4 38 d3 78 91 03 a6 66 50 91	....pro.M.duces....g+..8.x...fP.
3400	01 85 56 d2 28 d3 78 d2 29 8e 8e a4 0d 99 99 8d 8d 91 36 00 01 d8 5c 46 6f 72 61 6c 6c 7b 78 5f	..V.(.x.).........6...\Forall{x_
3420	31 2c 5c 6c 64 6f 74 73 2c 78 5f 6e 7d 50 28 78 5f 31 2c 5c 6c 64 6f 74 73 2c 78 5f 6e 29 91 10	1,\ldots,x_n}P(x_1,\ldots,x_n)..
3440	6c cf d2 70 72 6f 90 4d de 64 75 63 65 73 8e 8d 92 01 67 2b 07 d4 38 d3 78 8d 9f 01 a4 7a c0 31	l..pro.M.duces....g+..8.x....z.1
3460	8e 96 04 c0 04 d3 3b 8d 96 01 d3 31 3a 93 3a 93 3a 8e 91 10 6c c5 3b 9b 01 d3 31 78 8d 9f 01 a4	......;....1:.:.:...l.;...1x....
3480	7a c1 6e 8e 91 09 4e b6 d3 50 91 01 85 56 d2 28 d3 78 8d 9f 01 a4 7a c0 31 8e 93 d3 3b 8d 98 3a	z.n...N..P...V.(.x....z.1...;..:
34a0	98 3a 98 3a 8e 91 10 6c c5 3b 98 78 8d 9f 01 a4 7a c1 6e 8e 91 05 a8 50 d2 29 8e 8e a1 8d 8d 91	.:.:...l.;.x....z.n....P.)......
34c0	36 00 01 d8 5c 45 78 69 73 74 73 96 05 bf aa 78 93 50 28 78 29 92 00 a5 e4 13 d2 70 72 6f 90 4d	6...\Exists....x.P(x)......pro.M
34e0	de 64 75 63 65 73 8e 8d 92 01 67 2b 07 d4 39 d3 78 91 03 a6 66 50 91 01 85 56 d2 28 d3 78 d2 29	.duces....g+..9.x...fP...V.(.x.)
3500	8e 8e a1 8d 8d 91 36 00 01 d8 5c 45 78 69 73 74 73 7b 78 5f 31 2c 5c 6c 64 6f 74 73 2c 78 5f 6e	......6...\Exists{x_1,\ldots,x_n
3520	7d 50 28 78 5f 31 2c 5c 6c 64 6f 74 73 2c 78 5f 6e 29 91 10 6c cf d2 70 72 6f 90 4d de 64 75 63	}P(x_1,\ldots,x_n)..l..pro.M.duc
3540	65 73 8e 8d 92 01 67 2b 07 d4 39 d3 78 8d 9f 01 a4 7a c0 31 8e 96 04 c0 04 d3 3b 8d 96 01 d3 31	es....g+..9.x....z.1......;....1
3560	3a 93 3a 93 3a 8e 91 10 6c c5 3b 9b 01 d3 31 78 8d 9f 01 a4 7a c1 6e 8e 91 09 4e b6 d3 50 91 01	:.:.:...l.;...1x....z.n...N..P..
3580	85 56 d2 28 d3 78 8d 9f 01 a4 7a c0 31 8e 93 d3 3b 8d 98 3a 98 3a 98 3a 8e 91 10 6c c5 3b 98 78	.V.(.x....z.1...;..:.:.:...l.;.x
35a0	8d 9f 01 a4 7a c1 6e 8e 91 05 a8 50 d2 29 8e 8e 8e 8e 8e 9f 30 66 c5 8d 8d 91 36 00 00 e0 31 2e	....z.n....P.)......0f....6...1.
35c0	32 8e 91 54 c0 00 54 68 65 96 04 80 00 f3 36 df 86 b5 54 00 0c 00 00 00 0c 00 00 00 06 63 6d 74	2..T..The.....6...T..........cmt
35e0	74 31 32 e1 46 6f 72 6d 75 6c 61 93 e0 45 6e 95 a0 00 76 69 72 6f 6e 6d 65 6e 93 74 8e a6 8d 91	t12.Formula..En...vironmen.t....
3600	36 00 00 d2 54 68 69 73 9b 05 20 d6 65 6e 95 b2 21 76 69 72 6f 6e 6d 65 6e 93 74 98 61 6c 6c 6f	6...This....en..!vironmen.t.allo
3620	93 77 73 98 74 6f 98 74 93 79 70 90 4d de 65 73 65 74 98 6c 6f 67 69 63 61 6c 98 66 6f 72 6d 93	.ws.to.t.yp.M.eset.logical.form.
3640	75 6c 61 73 2e 91 09 4d 2c 54 68 65 98 6d 61 69 6e 98 70 72 6f 62 6c 65 6d 8e a1 8d 91 36 00 00	ulas...M,The.main.problem....6..
3660	77 69 74 68 96 04 0e 31 74 68 65 93 d8 65 71 6e 61 72 72 61 79 93 d2 65 6e 95 b2 21 76 69 72 6f	with...1the..eqnarray..en..!viro
3680	6e 6d 65 6e 93 74 9b 04 0e 31 77 93 61 73 98 74 68 65 98 6e 93 75 6d 93 62 90 4d de 65 72 69 6e	nmen.t...1w.as.the.n.um.b.M.erin
36a0	67 2e 91 06 15 3e 49 6e 98 6d 93 75 6c 74 69 6c 69 6e 65 98 66 6f 72 6d 93 75 6c 61 73 8e a1 8d	g....>In.m.ultiline.form.ulas...
36c0	91 36 00 00 6d 95 b2 21 79 9b 04 03 a3 69 6e 93 74 65 6e 93 74 69 6f 6e 98 77 93 61 73 98 74 6f	.6..m..!y....in.ten.tion.w.as.to
36e0	98 68 61 93 76 93 65 98 74 68 65 98 6e 93 75 6d 93 62 90 4d de 65 72 98 69 6e 98 74 68 65 98 6d	.ha.v.e.the.n.um.b.M.er.in.the.m
3700	69 64 64 6c 65 98 6f 66 98 74 68 65 98 66 6f 72 6d 93 75 6c 61 2e 91 05 f5 93 49 6e 73 69 64 65	iddle.of.the.form.ula.....Inside
3720	8e a1 8d 91 36 00 00 74 68 69 73 9b 03 a6 66 65 6e 95 b2 21 76 69 72 6f 6e 6d 65 6e 93 74 98 73	....6..this...fen..!vironmen.t.s
3740	65 76 93 65 72 61 6c 98 6d 61 63 72 6f 73 98 61 72 65 98 76 91 ff 64 44 61 6c 69 64 2e 8e 9f 15	ev.eral.macros.are.v..dDalid....
3760	0a 12 8d 8d 8d 91 36 00 00 d8 5c 62 65 67 69 6e d4 66 d8 46 6f 72 6d 75 6c 61 d4 67 d8 5b f3 2a	......6...\begin.f.Formula.g.[.*
3780	fd 00 27 3a 00 0a f3 33 00 0a 00 00 00 06 63 6d 74 69 31 30 d5 6c 61 62 91 ff 70 b9 65 6c d8 5d	..':...3......cmti10.lab..p.el.]
37a0	91 05 bf aa 5c 65 6e 64 d4 66 d8 46 6f 72 6d 75 6c 61 d4 67 8e 8e 8e a1 8d 91 51 60 04 d2 53 74	....\end.f.Formula.g......Q`..St
37c0	61 72 74 96 03 ae f7 74 68 65 93 6c 69 73 74 93 6f 66 93 66 6f 72 6d 90 b2 21 75 6c 61 73 2e 91	art....the.list.of.form..!ulas..
37e0	04 f7 90 4f 70 74 69 6f 6e 61 6c 6c 79 93 61 93 6c 61 62 9a 4d de 65 6c 93 63 61 6e 93 62 98 65	...Optionally.a.lab.M.el.can.b.e
3800	93 67 69 76 90 b2 21 65 6e 2e 91 04 f7 90 54 68 69 73 93 6c 61 62 98 65 6c 8e a1 8d 91 51 60 04	.giv..!en.....This.lab.el....Q`.
3820	69 73 96 03 a6 66 75 73 65 64 93 74 6f 93 72 65 66 65 72 65 6e 63 65 93 74 68 65 93 0c 72 73 74	is...fused.to.reference.the..rst
3840	93 66 6f 72 6d 90 b2 21 75 6c 61 2e 8e a9 15 14 6c 8d 8d 8d 91 36 00 00 d8 5c 3d 8e 8e 8e a1 8d	.form..!ula.....l....6...\=.....
3860	91 51 60 04 d2 53 74 61 72 74 96 03 a6 66 61 93 6e 65 77 93 6c 69 6e 65 2e 8e a6 8d 8d 8d 91 36	.Q`..Start...fa.new.line.......6
3880	00 00 d8 5c 3e d5 6c 65 76 65 6c 8e 8e 8e a1 8d 91 51 60 04 d2 53 74 61 72 74 96 02 ef 30 61 93	...\>.level......Q`..Start...0a.
38a0	6e 65 77 93 6c 69 6e 65 93 61 6e 64 93 69 6e 64 65 6e 9a b2 21 74 93 74 6f 93 74 68 65 93 67 69	new.line.and.inden..!t.to.the.gi
38c0	76 98 65 6e 93 d5 6c 65 76 65 6c d2 2e 91 04 a0 cb 54 68 69 73 93 69 6e 64 65 6e 98 74 61 74 69	v.en..level......This.inden.tati
38e0	6f 6e 93 69 73 93 64 6f 6e 65 8e a1 8d 91 51 60 04 69 6e 96 02 73 57 71 75 61 6e 9a b2 21 74 69	on.is.done....Q`.in..sWquan..!ti
3900	74 69 65 73 93 6f 66 93 d8 5c 46 6f 72 6d 75 6c 61 49 6e 64 65 6e 74 93 d2 77 68 69 63 98 68 93	ties.of..\FormulaIndent..whic.h.
3920	63 61 6e 93 62 90 4d de 65 93 73 65 74 93 77 69 74 68 93 74 68 65 93 d8 5c 73 65 74 6c 65 6e 67	can.b.M.e.set.with.the..\setleng
3940	74 68 8e a1 8d 91 51 60 04 d2 63 6f 6d 6d 61 6e 64 2e 91 04 dd dd 54 68 65 96 03 a6 66 64 65 66	th....Q`..command.....The...fdef
3960	61 75 6c 74 93 76 91 ff 64 44 61 6c 75 65 93 69 73 93 d8 33 65 6d d2 2e 8e a6 8d 8d 8d 91 36 00	ault.v..dDalue.is..3em........6.
3980	00 d8 5c 46 6f 72 6d 5b d5 6c 61 62 91 ff 70 b9 65 6c d8 5d 8e 8e 8e a1 8d 91 51 60 04 d2 53 74	..\Form[.lab..p.el.]......Q`..St
39a0	61 72 74 96 04 16 57 61 93 6e 65 77 93 66 6f 72 6d 9a b2 21 75 6c 61 2e 91 06 2d b0 4f 70 74 69	art...Wa.new.form..!ula...-.Opti
39c0	6f 6e 61 6c 6c 79 93 61 93 d5 6c 61 62 91 ff 70 b9 65 6c 93 d2 63 61 6e 93 62 90 4d de 65 93 67	onally.a..lab..p.el..can.b.M.e.g
39e0	69 76 98 65 6e 2e 91 06 2d b0 54 68 69 73 93 d5 6c 61 62 91 ff 70 b9 65 6c 93 d2 63 61 6e 8e a1	iv.en...-.This..lab..p.el..can..
3a00	8d 91 51 60 04 62 90 4d de 65 96 03 a6 66 75 73 65 64 93 74 6f 93 72 65 66 65 72 65 6e 63 65 93	..Q`.b.M.e...fused.to.reference.
3a20	74 6f 93 74 68 65 93 66 6f 72 6d 90 b2 21 75 6c 61 93 28 73 65 65 93 d8 5c 72 65 66 d2 29 2e 8e	to.the.form..!ula.(see..\ref.)..
3a40	9f 15 0a 12 8d 91 47 00 00 4e 6f 9a b2 21 77 96 04 16 12 6c 65 74 73 93 68 61 98 76 98 65 93 61	......G..No..!w....lets.ha.v.e.a
3a60	93 6c 6f 90 4d de 6f 6b 93 61 74 93 73 6f 6d 65 93 65 78 61 6d 70 6c 65 73 2e 91 06 2c e1 46 69	.lo.M.ok.at.some.examples...,.Fi
3a80	72 73 74 2c 91 04 31 fd 77 98 65 93 73 65 65 93 61 93 73 69 6e 67 6c 65 93 74 98 77 98 6f 2d 6c	rst,..1.w.e.see.a.single.t.w.o-l
3aa0	69 6e 65 8e a1 8d 91 36 00 00 66 6f 72 6d 9a b2 21 75 6c 61 2e 91 04 af 10 4e 6f 74 65 96 03 19	ine....6..form..!ula.....Note...
3ac0	fe 74 68 61 74 93 74 68 65 93 6e 98 75 6d 98 62 90 4d de 65 72 93 61 74 93 74 68 65 93 72 69 67	.that.the.n.um.b.M.er.at.the.rig
3ae0	68 98 74 93 73 69 64 65 93 69 73 93 63 65 6e 98 74 65 72 65 64 93 62 90 4d de 65 74 98 77 98 65	h.t.side.is.cen.tered.b.M.et.w.e
3b00	65 6e 93 74 68 65 93 74 98 77 98 6f 8e a1 8d 91 36 00 00 6c 69 6e 65 73 2e 8e 8e 9f 1e 00 00 8d	en.the.t.w.o....6..lines........
3b20	92 00 e7 43 33 35 8e 8e 8c 8b 00 00 00 06 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00	...C35..........................
3b40	00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 30 80 a0 02 6d cc dc 8d a0 fd b9 33	....................0...m......3
3b60	24 a0 02 28 cc dc 8d a0 fe 08 d3 7d 8d 8d 9f ee 51 6e 8d 91 36 00 00 f3 24 df ea 3c 78 00 0a 00	$..(.......}....Qn..6...$..<x...
3b80	00 00 0a 00 00 00 06 63 6d 74 74 31 30 cf 5c 62 65 67 69 6e 7b 46 6f 72 6d 75 6c 61 7d 8e a4 0c	.......cmtt10.\begin{Formula}...
3ba0	00 00 8d 91 4a ff f4 50 28 58 29 91 05 3f fd 5c 49 4d 50 4c 8e a1 8d 91 36 00 00 5c 3d 91 0a 7f	....J..P(X)..?.\IMPL....6..\=...
3bc0	fa 51 28 58 29 96 05 3f fd 5c 49 46 46 93 52 5f 31 28 58 29 93 5c 4f 52 93 52 5f 32 28 58 29 8e	.Q(X)..?.\IFF.R_1(X).\OR.R_2(X).
3be0	a1 8d 91 36 00 00 5c 65 6e 64 7b 46 6f 72 6d 75 6c 61 7d 8e 8e 8d 9f e9 a9 9b 9f 1c 56 65 8d 8d	...6..\end{Formula}.........Ve..
3c00	8d 8d 9f f9 2e b7 8d 8d 92 00 f8 5e 03 d3 50 91 01 85 56 d2 28 d3 58 91 00 db f8 d2 29 91 04 dd	...........^..P...V.(.X.....)...
3c20	d8 d4 21 8e 8e 9f 0d 99 99 8d 8d 92 01 19 37 a2 d3 51 d2 28 d3 58 9b 00 db f8 d2 29 96 04 dd d8	..!...........7..Q.(.X.....)....
3c40	d4 24 93 d3 52 8d 9f 01 a4 7a c0 31 8e 91 04 c0 04 d2 28 d3 58 98 d2 29 96 04 42 1d d4 5f 93 d3	.$..R....z.1......(.X..)..B.._..
3c60	52 8d 9f 01 a4 7a c0 32 8e 91 04 c0 04 d2 28 d3 58 98 d2 29 8e 8e 8e 8e 8e 8d 8d 92 01 90 02 21	R....z.2......(.X..)...........!
3c80	28 31 29 8e 8e 8e 8e 8e 9f 21 c1 6b 8d 91 47 00 00 4e 65 78 74 96 04 a2 30 77 9a b2 21 65 93 77	(1)......!.k..G..Next...0w..!e.w
3ca0	69 6c 6c 93 73 65 65 93 61 6e 93 65 78 61 6d 70 6c 65 93 6f 66 93 73 65 76 98 65 72 61 6c 93 66	ill.see.an.example.of.sev.eral.f
3cc0	6f 72 6d 98 75 6c 61 73 2e 91 07 d1 3b 54 68 65 93 0c 72 73 74 93 66 6f 72 6d 98 75 6c 61 93 69	orm.ulas....;The..rst.form.ula.i
3ce0	73 8e a4 0d 99 9a 8d 91 36 00 00 73 70 6c 69 74 96 03 f4 f6 74 6f 93 74 68 72 65 65 93 6c 69 6e	s.......6..split....to.three.lin
3d00	65 73 93 61 6e 64 93 74 68 65 93 74 68 69 72 64 93 6c 69 6e 65 93 69 73 93 69 6e 64 65 6e 9a b2	es.and.the.third.line.is.inden..
3d20	21 74 65 64 93 74 6f 93 6c 65 76 98 65 6c 93 31 2e 91 05 c9 8e 52 65 6d 61 72 6b 3a 91 05 7a fd	!ted.to.lev.el.1.....Remark:..z.
3d40	d8 5c 3d 93 d2 69 73 8e a1 8d 91 36 00 00 69 6e 96 03 a6 66 72 65 61 6c 69 74 90 b2 21 79 93 61	.\=..is....6..in...frealit..!y.a
3d60	6e 93 61 62 62 72 65 76 91 ff 64 44 61 74 69 6f 6e 93 66 6f 72 93 d8 5c 3e 30 d2 2e 8e 9f 39 c1	n.abbrev..dDation.for..\>0....9.
3d80	6a 8d 8d 9f d6 51 6e 8d 91 36 00 00 cf 5c 62 65 67 69 6e 7b 46 6f 72 6d 75 6c 61 7d 5b 66 6f 72	j....Qn..6...\begin{Formula}[for
3da0	6d 3a 31 5d 8e a4 0c 00 00 8d 91 4a ff f4 50 28 58 29 91 05 3f fd 5c 49 4d 50 4c 8e a1 8d 91 36	m:1].......J..P(X)..?.\IMPL....6
3dc0	00 00 5c 3d 91 0a 7f fa 51 28 58 29 96 05 3f fd 5c 49 46 46 93 52 5f 31 28 58 29 8e a1 8d 91 36	..\=....Q(X)..?.\IFF.R_1(X)....6
3de0	00 00 5c 3e 31 96 05 3f fd 5c 4f 52 93 52 5f 32 28 58 29 8e a1 8d 91 36 00 00 5c 46 6f 72 6d 5b	..\>1..?.\OR.R_2(X)....6..\Form[
3e00	66 6f 72 6d 3a 32 5d 8e a1 8d 91 4a ff f4 53 28 58 29 91 05 3f fd 5c 49 4d 50 4c 8e a1 8d 91 36	form:2]....J..S(X)..?.\IMPL....6
3e20	00 00 5c 3d 91 0a 7f fa 5c 6e 65 67 96 05 3f fd 51 28 58 29 93 5c 49 46 46 93 52 5f 31 28 58 29	..\=....\neg..?.Q(X).\IFF.R_1(X)
3e40	93 5c 4f 52 93 52 5f 32 28 58 29 8e a1 8d 91 36 00 00 5c 65 6e 64 7b 46 6f 72 6d 75 6c 61 7d 8e	.\OR.R_2(X)....6..\end{Formula}.
3e60	8e 8d 9f d3 43 35 9f 23 23 32 8d 8d 8d 8d 9f f2 61 ea 8d 8d 92 00 f4 b7 9c d3 50 91 01 85 56 d2	....C5.##2......a.........P...V.
3e80	28 d3 58 91 00 db f8 d2 29 91 04 dd d8 d4 21 8e 8e a4 0d 99 99 8d 8d 92 01 15 91 3b d3 51 d2 28	(.X.....).....!............;.Q.(
3ea0	d3 58 9b 00 db f8 d2 29 96 04 dd d8 d4 24 93 d3 52 8d 9f 01 a4 7a c0 31 8e 91 04 c0 04 d2 28 d3	.X.....).....$..R....z.1......(.
3ec0	58 98 d2 29 8e 8e a1 8d 8d 92 01 38 3e 0b d4 5f 91 01 d3 31 d3 52 8d 9f 01 a4 7a c0 32 8e 91 04	X..).......8>.._...1.R....z.2...
3ee0	c0 04 d2 28 d3 58 91 00 db f8 d2 29 8e 8e 8e 8e 8e 8d 8d 92 01 90 02 21 28 32 29 8e 8e 8e 9f 25	...(.X.....)...........!(2)....%
3f00	ff fe 8d 8d 8d 8d 9f f9 2e b7 8d 8d 92 00 f4 b7 9c d3 53 91 00 a1 92 d2 28 d3 58 91 00 db f8 d2	..................S.....(.X.....
3f20	29 91 04 dd d8 d4 21 8e 8e 9f 0d 99 99 8d 8d 92 01 15 91 3b 3a d3 51 d2 28 d3 58 9b 00 db f8 d2	).....!............;:.Q.(.X.....
3f40	29 96 04 dd d8 d4 24 93 d3 52 8d 9f 01 a4 7a c0 31 8e 91 04 c0 04 d2 28 d3 58 98 d2 29 96 04 42	).....$..R....z.1......(.X..)..B
3f60	1d d4 5f 93 d3 52 8d 9f 01 a4 7a c0 32 8e 91 04 c0 04 d2 28 d3 58 98 d2 29 8e 8e 8e 8e 8e 8d 8d	.._..R....z.2......(.X..).......
3f80	92 01 90 02 21 28 33 29 8e 8e 8e 8e 8e 9f 49 ce 9a 8d 8d 91 36 00 00 e0 31 2e 33 8e 91 54 c0 00	....!(3)......I.....6...1.3..T..
3fa0	54 68 65 96 04 80 00 e1 4e 65 77 54 68 65 6f 72 65 6d 93 e0 45 6e 95 a0 00 76 69 72 6f 6e 6d 65	The.....NewTheorem..En...vironme
3fc0	6e 93 74 8e 9f 14 ab ff 8d 91 36 00 00 d2 4d 79 96 03 f4 b7 65 78 70 90 4d de 65 72 69 65 6e 63	n.t.......6...My....exp.M.erienc
3fe0	65 93 77 69 74 68 93 74 68 65 93 d8 6e 65 77 74 68 65 6f 72 65 6d 93 d2 65 6e 95 b2 21 76 69 72	e.with.the..newtheorem..en..!vir
4000	6f 6e 6d 65 6e 93 74 9b 03 f4 b7 77 93 61 73 98 74 68 61 74 98 49 91 03 f4 a3 68 61 64 98 61 98	onmen.t....w.as.that.I....had.a.
4020	63 65 72 74 61 69 6e 8e a1 8d 91 36 00 00 73 63 9a b2 21 68 65 6d 65 96 04 bd 07 74 6f 93 75 73	certain....6..sc..!heme....to.us
4040	65 93 69 74 2e 91 08 21 c0 46 69 72 73 74 2c 91 05 02 af 65 76 98 65 72 79 93 74 68 65 6f 72 65	e.it...!.First,....ev.ery.theore
4060	6d 93 67 6f 74 93 61 93 6c 61 62 90 4d de 65 6c 2e 91 08 21 c0 54 68 98 75 73 2c 91 05 02 af 65	m.got.a.lab.M.el...!.Th.us,....e
4080	76 98 65 72 79 93 d5 74 68 65 96 ff 70 b9 6f 72 93 65 6d 8e a1 8d 91 36 00 00 d2 77 95 b2 21 61	v.ery..the..p.or.em....6...w..!a
40a0	73 9b 03 2b 06 66 6f 6c 6c 6f 93 77 93 65 64 98 62 93 79 98 61 98 d8 6c 61 62 65 6c 98 d2 63 6f	s..+.follo.w.ed.b.y.a..label..co
40c0	6d 6d 61 6e 64 2e 91 04 b4 bd 4f 70 74 69 6f 6e 61 6c 6c 79 98 61 98 d5 74 68 65 96 ff 70 b9 6f	mmand.....Optionally.a..the..p.o
40e0	72 93 65 6d 98 d2 6d 61 95 b2 21 79 98 68 61 93 76 93 65 98 61 98 6e 61 6d 65 2e 8e a1 8d 91 36	r.em..ma..!y.ha.v.e.a.name.....6
4100	00 00 54 68 69 73 96 05 41 19 6e 61 6d 65 93 69 73 93 74 9a b2 21 79 70 90 4d de 65 73 65 74 93	..This..A.name.is.t..!yp.M.eset.
4120	72 69 67 68 98 74 93 61 66 74 65 72 93 74 68 65 93 6e 98 75 6d 98 62 9a 4d de 65 72 2e 91 09 ad	righ.t.after.the.n.um.b.M.er....
4140	f7 54 68 65 93 62 98 6f 98 64 79 93 6f 66 93 74 68 65 93 d5 74 68 65 96 ff 70 b9 6f 72 93 65 6d	.The.b.o.dy.of.the..the..p.or.em
4160	8e a1 8d 91 36 00 00 d2 61 6c 6c 77 95 b2 21 61 93 79 73 96 04 65 bf 73 74 61 72 74 65 64 93 69	....6...allw..!a.ys..e.started.i
4180	6e 93 74 68 65 93 6e 65 78 74 93 6c 69 6e 65 2e 91 07 1b e7 54 68 69 73 93 6c 65 74 93 74 6f 93	n.the.next.line.....This.let.to.
41a0	74 68 65 93 64 65 0c 6e 69 74 69 6f 6e 93 6f 66 93 61 6e 93 65 78 74 65 6e 64 65 64 8e a1 8d 91	the.de.nition.of.an.extended....
41c0	36 00 00 d8 4e 65 77 54 68 65 6f 72 65 6d 9b 05 6f a0 d2 65 6e 95 b2 21 76 69 72 6f 6e 6d 65 6e	6...NewTheorem..o..en..!vironmen
41e0	93 74 2e 91 0a 39 8b 54 68 65 98 61 72 67 75 6d 65 6e 93 74 73 98 61 72 65 98 74 68 65 98 73 61	.t...9.The.argumen.ts.are.the.sa
4200	6d 65 98 61 73 98 74 68 6f 73 65 98 6f 66 98 74 68 65 8e a1 8d 91 36 00 00 d8 6e 65 77 74 68 65	me.as.those.of.the....6...newthe
4220	6f 72 65 6d 9b 04 bc 17 d2 65 6e 95 b2 21 76 69 72 6f 6e 6d 65 6e 93 74 2e 91 08 1e f1 42 75 74	orem.....en..!vironmen.t.....But
4240	98 74 68 65 98 65 6e 93 76 69 72 6f 6e 6d 65 6e 93 74 98 64 65 0c 6e 65 64 98 62 93 79 98 74 68	.the.en.vironmen.t.de.ned.b.y.th
4260	69 73 98 65 78 74 65 6e 64 65 64 8e a1 8d 91 36 00 00 63 6f 6d 6d 61 6e 64 96 04 ae 3e 74 61 6b	is.extended....6..command...>tak
4280	9a b2 21 65 93 74 98 77 98 6f 93 6f 70 74 69 6f 6e 61 6c 93 61 72 67 75 6d 65 6e 98 74 73 2e 91	..!e.t.w.o.optional.argumen.ts..
42a0	07 f5 64 54 68 65 93 0c 72 73 74 93 6f 70 74 69 6f 6e 61 6c 93 61 72 67 75 6d 65 6e 98 74 93 69	..dThe..rst.optional.argumen.t.i
42c0	73 93 61 8e a1 8d 91 36 00 00 6c 61 62 9a 4d de 65 6c 96 04 55 09 74 6f 93 62 98 65 93 61 73 73	s.a....6..lab.M.el..U.to.b.e.ass
42e0	69 67 6e 65 64 93 74 6f 93 74 68 65 93 d5 74 68 65 96 ff 70 b9 6f 72 93 65 6d d2 2e 91 06 e9 c7	igned.to.the..the..p.or.em......
4300	54 68 69 73 96 04 55 09 61 72 67 75 6d 65 6e 90 b2 21 74 93 68 61 73 93 74 6f 93 62 98 65 93 65	This..U.argumen..!t.has.to.b.e.e
4320	6e 63 6c 6f 73 65 64 93 69 6e 8e a1 8d 91 36 00 00 70 61 72 65 6e 9a b2 21 74 68 65 73 65 73 2e	nclosed.in....6..paren..!theses.
4340	91 07 35 54 54 68 65 96 04 6e 38 73 65 63 6f 6e 64 93 74 98 79 70 90 4d de 65 93 6f 66 93 6f 70	..5TThe..n8second.t.yp.M.e.of.op
4360	74 69 6f 6e 61 6c 93 61 72 67 75 6d 65 6e 98 74 93 68 61 73 93 74 6f 93 62 90 4d de 65 93 65 6e	tional.argumen.t.has.to.b.M.e.en
4380	63 6c 6f 73 65 64 93 69 6e 8e a1 8d 91 36 00 00 62 72 61 6b 9a b2 21 65 74 73 2e 91 08 ee 49 49	closed.in....6..brak..!ets....II
43a0	74 96 05 01 35 69 73 93 74 98 79 70 90 4d de 65 73 65 74 93 69 6e 93 d8 5c 73 6d 61 6c 6c 93 d2	t...5is.t.yp.M.eset.in..\small..
43c0	61 66 74 65 72 93 74 68 65 93 74 69 74 6c 65 93 74 65 78 74 2e 91 08 ee 49 54 68 65 93 74 68 69	after.the.title.text....IThe.thi
43e0	72 64 93 6f 70 74 69 6f 6e 61 6c 8e a1 8d 91 36 00 00 61 72 67 75 6d 65 6e 9a b2 21 74 96 04 06	rd.optional....6..argumen..!t...
4400	f8 69 73 93 65 6e 63 6c 6f 73 65 64 93 69 6e 93 d8 3c 3e d2 2e 91 05 ff 94 49 74 93 69 73 93 74	.is.enclosed.in..<>......It.is.t
4420	98 79 70 90 4d de 65 73 65 74 93 69 6e 93 d8 5c 73 6d 61 6c 6c 5c 62 66 93 d2 61 6e 64 93 73 75	.yp.M.eset.in..\small\bf..and.su
4440	72 72 6f 75 6e 64 65 64 93 62 98 79 8e a1 8d 91 36 00 00 70 61 72 65 6e 90 b2 21 74 68 65 73 65	rrounded.b.y....6..paren..!these
4460	73 2e 8e 9f 36 fa 4f 8d 8d 9f d2 26 c2 a4 0c 00 00 8d 91 36 00 00 cf 5c 4e 65 77 54 68 65 6f 72	s...6.O....&.......6...\NewTheor
4480	65 6d 7b 67 75 65 73 73 7d 7b 43 6f 6e 6a 65 63 74 75 72 65 7d 8e a1 a1 8d 91 36 00 00 5c 62 65	em{guess}{Conjecture}.....6..\be
44a0	67 69 6e 7b 67 75 65 73 73 7d 5b 46 65 72 6d 61 74 5d 28 74 68 6d 3a 66 65 72 6d 61 74 29 8e a1	gin{guess}[Fermat](thm:fermat)..
44c0	8d 91 3b 3f fd 54 68 65 72 65 96 05 3f fd 64 6f 93 6e 6f 74 93 65 78 69 73 74 93 69 6e 74 65 67	..;?.There..?.do.not.exist.integ
44e0	65 72 73 93 24 6e 3e 32 24 2c 8e a1 8d 91 3b 3f fd 24 78 24 2c 96 05 3f fd 24 79 24 2c 93 61 6e	ers.$n>2$,....;?.$x$,..?.$y$,.an
4500	64 93 24 7a 24 93 73 75 63 68 93 74 68 61 74 8e a1 8d 91 3b 3f fd 24 78 5e 6e 2b 79 5e 6e 3d 7a	d.$z$.such.that....;?.$x^n+y^n=z
4520	5e 6e 24 2e 8e a1 8d 91 36 00 00 5c 65 6e 64 7b 67 75 65 73 73 7d 8e 8e 8d 9f f2 66 66 8d 8d 8d	^n$.....6..\end{guess}.....ff...
4540	92 00 ee 90 02 d7 43 6f 6e 6a 65 63 74 75 72 65 91 04 32 8d 31 8e 8e 92 01 3e e6 cf b2 46 91 ff	......Conjecture..2.1....>...F..
4560	2a aa 65 72 6d 61 74 8e a1 8d 92 00 ee 90 02 d5 54 68 65 72 9b ff 70 b9 65 96 03 3f e4 64 6f 93	*.ermat.........Ther..p.e..?.do.
4580	6e 6f 74 93 65 78 69 73 74 93 69 6e 74 65 98 67 65 72 73 93 d3 6e 96 03 0a a7 3e 93 d2 32 d5 2c	not.exist.inte.gers..n....>..2.,
45a0	91 03 62 19 d3 78 d5 2c 8e a1 8d 92 00 ee 90 02 d3 79 9a 64 93 d5 2c 96 03 ea ea 61 6e 64 93 d3	..b..x.,.........y.d..,....and..
45c0	7a 91 04 66 33 d5 73 75 63 68 93 74 68 61 74 93 d3 78 8d 9f fc 06 be c1 6e 8e 91 08 17 3c d2 2b	z..f3.such.that..x......n....<.+
45e0	91 02 6e ec d3 79 8d 98 9f fc 06 be c1 6e 8e 91 09 17 8a d2 3d 91 03 0a a7 d3 7a 8d 90 7b 49 9f	..n..y.......n......=.....z..{I.
4600	fc 06 be c1 6e 8e 91 06 23 99 d5 2e 8e 8e 8e 9f 36 fa 50 8d 91 47 00 00 d2 54 68 65 96 02 72 a2	....n...#.......6.P..G...The..r.
4620	63 6f 6d 6d 61 6e 64 73 93 75 73 65 64 93 74 6f 93 74 9a b2 21 79 70 90 4d de 65 73 65 74 93 73	commands.used.to.t..!yp.M.eset.s
4640	6f 6d 65 93 6f 66 93 74 68 65 93 6f 70 74 69 6f 6e 61 6c 93 61 72 67 75 6d 65 6e 98 74 93 63 61	ome.of.the.optional.argumen.t.ca
4660	6e 93 62 90 4d de 65 93 63 75 73 2d 8e a1 8d 91 36 00 00 74 6f 6d 69 7a 65 64 96 02 6e ef 69 6e	n.b.M.e.cus-....6..tomized..n.in
4680	93 74 68 65 93 66 6f 6c 6c 6f 9a b2 21 77 69 6e 67 93 77 98 61 98 79 91 ff 16 65 2e 91 04 76 0b	.the.follo..!wing.w.a.y...e...v.
46a0	54 68 65 93 6d 61 63 72 6f 73 93 d8 5c 54 68 65 6f 72 65 6d 54 69 74 6c 65 93 d2 61 6e 64 93 d8	The.macros..\TheoremTitle..and..
46c0	5c 54 68 65 6f 72 65 6d 4e 61 6d 65 8e 8e 9f 1e 00 00 8d 92 00 e7 43 33 d2 36 8e 8e 8c 8b 00 00	\TheoremName..........C3.6......
46e0	00 07 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	................................
4700	00 00 00 00 00 00 00 00 3b 29 a0 02 6d cc dc 8d a0 fd b9 33 24 a0 02 28 cc dc 8d a0 fd fb 33 24	........;)..m......3$..(......3$
4720	8d 91 36 00 00 d2 61 72 65 96 02 b7 5f 75 73 65 64 93 74 6f 93 74 9a b2 21 79 70 90 4d de 65 73	..6...are..._used.to.t..!yp.M.es
4740	65 74 93 74 68 65 69 72 93 61 72 67 75 6d 65 6e 98 74 93 69 6e 93 d8 5c 73 6d 61 6c 6c 93 d2 61	et.their.argumen.t.in..\small..a
4760	6e 64 93 d8 5c 73 6d 61 6c 6c 5c 62 66 93 d2 61 6e 64 93 65 6e 63 6c 6f 73 65 64 93 69 6e 8e a4	nd..\small\bf..and.enclosed.in..
4780	0d 99 9a 8d 91 36 00 00 70 61 72 65 6e 95 b2 21 74 68 65 73 65 73 9b 02 6e ef 72 65 73 70 90 4d	.....6..paren..!theses..n.resp.M
47a0	de 65 63 74 69 76 93 65 6c 79 91 ff 16 65 2e 91 04 76 0b 54 68 69 73 98 6d 61 63 72 6f 73 98 63	.ectiv.ely...e...v.This.macros.c
47c0	61 6e 98 62 90 4d de 65 98 72 65 64 65 0c 6e 65 64 98 75 73 69 6e 67 98 d8 5c 72 65 6e 65 77 63	an.b.M.e.rede.ned.using..\renewc
47e0	6f 6d 6d 61 6e 64 8e a1 8d 91 36 00 00 d2 61 73 96 03 a6 66 73 68 6f 9a b2 21 77 6e 93 69 6e 93	ommand....6...as...fsho..!wn.in.
4800	74 68 65 93 66 6f 6c 6c 6f 98 77 69 6e 67 93 65 78 61 6d 70 6c 65 3a 8e 9f 2a dd dd 8d 8d 9f e4	the.follo.wing.example:..*......
4820	83 34 8d 91 36 00 00 f3 1f df a4 4e 00 00 09 00 00 00 09 00 00 00 05 63 6d 74 74 39 ca 5c 4e 65	.4..6......N...........cmtt9.\Ne
4840	77 54 68 65 6f 72 65 6d 7b 74 68 65 6f 72 65 6d 7d 7b 54 68 65 6f 72 65 6d 7d 8e a4 0b 00 00 8d	wTheorem{theorem}{Theorem}......
4860	91 36 00 00 5c 72 65 6e 65 77 63 6f 6d 6d 61 6e 64 7b 5c 54 68 65 6f 72 65 6d 54 69 74 6c 65 7d	.6..\renewcommand{\TheoremTitle}
4880	5b 31 5d 7b 7b 5c 73 66 91 04 b9 96 5b 23 31 5d 7d 7d 8e a1 8d 91 36 00 00 5c 72 65 6e 65 77 63	[1]{{\sf....[#1]}}....6..\renewc
48a0	6f 6d 6d 61 6e 64 7b 5c 54 68 65 6f 72 65 6d 4e 61 6d 65 7d 5b 31 5d 7b 7b 5c 73 6d 61 6c 6c 28	ommand{\TheoremName}[1]{{\small(
48c0	23 31 29 7d 7d 8e a1 8d 91 36 00 00 5c 62 65 67 69 6e 7b 74 68 65 6f 72 65 6d 7d 5b 46 65 72 6d	#1)}}....6..\begin{theorem}[Ferm
48e0	61 74 5d 3c 63 6f 6e 6a 65 63 74 75 72 65 3e 28 74 68 6d 3a 66 32 29 8e a1 8d 91 3a b9 96 54 68	at]<conjecture>(thm:f2)....:..Th
4900	65 72 65 96 04 b9 96 64 6f 93 6e 6f 74 93 65 78 69 73 74 93 69 6e 74 65 67 65 72 73 93 2e 2e 2e	ere....do.not.exist.integers....
4920	8e a1 8d 91 36 00 00 5c 65 6e 64 7b 74 68 65 6f 72 65 6d 7d 8e 8e 8d 9f f2 66 66 8d 8d 8d 92 00	....6..\end{theorem}.....ff.....
4940	f2 36 68 d7 54 68 65 6f 72 65 6d 91 04 32 8d 31 8e 8e 92 01 37 5f 9f d9 46 90 b2 21 65 72 6d 61	.6h.Theorem..2.1....7_..F..!erma
4960	74 91 03 ea ea b2 28 63 6f 6e 6a 65 63 74 75 72 65 29 8e a1 8d 92 00 f2 36 68 d5 54 68 65 72 9b	t.....(conjecture)......6h.Ther.
4980	ff 70 b9 65 96 03 3f e4 64 6f 93 6e 6f 74 93 65 78 69 73 74 93 69 6e 74 65 98 67 65 72 73 93 d3	.p.e..?.do.not.exist.inte.gers..
49a0	6e 96 03 0a a7 3e 93 d2 32 d5 2c 91 03 62 19 d3 78 d5 2c 8e a1 8d 92 00 f2 36 68 d3 79 9a 64 93	n....>..2.,..b..x.,......6h.y.d.
49c0	d5 2c 96 03 ea ea 61 6e 64 93 d3 7a 91 04 66 33 d5 73 75 63 68 93 74 68 61 74 93 d3 78 8d 9f fc	.,....and..z..f3.such.that..x...
49e0	06 be c1 6e 8e 91 08 17 3c d2 2b 91 02 6e ec d3 79 8d 98 9f fc 06 be c1 6e 8e 91 09 17 8a d2 3d	...n....<.+..n..y.......n......=
4a00	91 03 0a a7 d3 7a 8d 90 7b 49 9f fc 06 be c1 6e 8e 91 06 23 99 d5 2e 8e 8e 8e 8e 9f 1e 00 00 8d	.....z..{I.....n...#............
4a20	92 00 e7 43 33 d2 37 8e 8e 8c f8 00 00 46 dd 01 83 92 c0 1c 3b 00 00 00 00 03 e8 02 6d cc dc 01	...C3.7......F......;.......m...
4a40	9e 00 00 00 0b 00 07 f3 77 05 d6 c6 1f 00 18 e1 48 00 11 47 ae 00 06 63 6d 73 73 31 37 f3 6f 05	........w.......H..G...cmss17.o.
4a60	d6 c6 1f 00 14 bd 71 00 11 47 ae 00 06 63 6d 73 73 31 37 f3 69 05 d6 c6 1f 00 11 47 ae 00 11 47	......q..G...cmss17.i......G...G
4a80	ae 00 06 63 6d 73 73 31 37 f3 65 82 ce 52 36 00 0e 66 66 00 0c 00 00 00 06 63 6d 73 73 31 32 f3	...cmss17.e..R6..ff......cmss12.
4aa0	5b d2 6f c7 77 00 09 00 00 00 09 00 00 00 05 63 6d 73 73 39 f3 4c c6 73 36 91 00 06 00 00 00 08	[.o.w..........cmss9.L.s6.......
4ac0	00 00 00 05 63 6d 73 73 38 f3 4b c6 73 36 91 00 08 00 00 00 08 00 00 00 05 63 6d 73 73 38 f3 48	....cmss8.K.s6...........cmss8.H
4ae0	df 86 b5 54 00 0e 66 66 00 0c 00 00 00 06 63 6d 74 74 31 32 f3 47 44 d3 ed 74 00 18 e1 48 00 11	...T..ff......cmtt12.GD..t...H..
4b00	47 ae 00 05 63 6d 72 31 37 f3 43 44 d3 ed 74 00 14 bd 71 00 11 47 ae 00 05 63 6d 72 31 37 f3 3e	G...cmr17.CD..t...q..G...cmr17.>
4b20	44 d3 ed 74 00 11 47 ae 00 11 47 ae 00 05 63 6d 72 31 37 f3 3c c2 d6 4e a0 00 0e 66 66 00 0c 00	D..t..G...G...cmr17.<..N...ff...
4b40	00 00 06 63 6d 62 78 31 32 f3 39 58 ab 51 0b 00 0e 66 66 00 0c 00 00 00 05 63 6d 72 31 32 f3 37	...cmbx12.9X.Q...ff......cmr12.7
4b60	82 ce 52 36 00 0c 00 00 00 0c 00 00 00 06 63 6d 73 73 31 32 f3 36 df 86 b5 54 00 0c 00 00 00 0c	..R6..........cmss12.6...T......
4b80	00 00 00 06 63 6d 74 74 31 32 f3 35 c2 d6 4e a0 00 0c 00 00 00 0c 00 00 00 06 63 6d 62 78 31 32	....cmtt12.5..N...........cmbx12
4ba0	f3 30 58 ab 51 0b 00 0c 00 00 00 0c 00 00 00 05 63 6d 72 31 32 f3 2e 6d 23 bd 52 00 0a f3 33 00	.0X.Q...........cmr12..m#.R...3.
4bc0	0a 00 00 00 06 63 6d 73 73 31 30 f3 2d df ea 3c 78 00 0a f3 33 00 0a 00 00 00 06 63 6d 74 74 31	.....cmss10.-..<x...3......cmtt1
4be0	30 f3 2c 1a f2 22 56 00 0a f3 33 00 0a 00 00 00 06 63 6d 62 78 31 30 f3 2a fd 00 27 3a 00 0a f3	0.,.."V...3......cmbx10.*..':...
4c00	33 00 0a 00 00 00 06 63 6d 74 69 31 30 f3 29 21 22 2c 9a 00 0a f3 33 00 0a 00 00 00 06 63 6d 73	3......cmti10.)!",....3......cms
4c20	79 31 30 f3 28 0b a0 62 3e 00 0a f3 33 00 0a 00 00 00 06 63 6d 6d 69 31 30 f3 27 4b f1 60 79 00	y10.(..b>...3......cmmi10.'K.`y.
4c40	0a f3 33 00 0a 00 00 00 05 63 6d 72 31 30 f3 25 6d 23 bd 52 00 0a 00 00 00 0a 00 00 00 06 63 6d	..3......cmr10.%m#.R..........cm
4c60	73 73 31 30 f3 24 df ea 3c 78 00 0a 00 00 00 0a 00 00 00 06 63 6d 74 74 31 30 f3 1f df a4 4e 00	ss10.$..<x..........cmtt10....N.
4c80	00 09 00 00 00 09 00 00 00 05 63 6d 74 74 39 f3 1a 6f b4 8b c7 00 09 00 00 00 09 00 00 00 04 63	..........cmtt9..o.............c
4ca0	6d 72 39 f3 16 d7 01 17 32 00 08 00 00 00 08 00 00 00 05 63 6d 6d 69 38 f3 15 7c 7b 59 07 00 08	mr9.....2..........cmmi8..|{Y...
4cc0	00 00 00 08 00 00 00 04 63 6d 72 38 f3 0f b9 41 61 a8 00 06 00 00 00 06 00 00 00 04 63 6d 72 36	........cmr8...Aa...........cmr6
4ce0	f3 07 4b f1 60 79 00 0a 00 00 00 0a 00 00 00 05 63 6d 72 31 30 f9 00 00 4a 2a 02 df df df df df	..K.`y..........cmr10...J*......