summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/logic/gn-logic14.dvi
blob: aced3dee68524db3cf6e975d593ea26265d61650 (plain)
ofshex dumpascii
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*......