summaryrefslogtreecommitdiff
path: root/macros/generic/proofs/taylor/prooftree-doc.dvi
blob: b126e590c268ca2774b045cfe0f33b1149b081b7 (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 35 2e .......;........TeX.output.1995.
0020 31 30 2e 30 33 3a 31 33 35 33 8b 00 00 00 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 10.03:1353......................
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 6c 00 00 8d a0 fd bb .........................l......
0060 00 00 a0 02 27 00 00 8d a0 fe 26 00 02 8d 91 44 e8 17 f3 0e 44 d3 ed 74 00 11 47 ae 00 11 47 ae ....'.....&....D....D..t..G...G.
0080 00 05 63 6d 72 31 37 b9 42 75 69 6c 64 96 05 37 74 70 72 6f 90 73 8e 6f 66 93 74 72 65 65 93 66 ..cmr17.Build..7tpro.s.of.tree.f
00a0 6f 72 93 4e 61 74 75 72 61 6c 93 44 65 64 75 63 74 69 6f 6e 2c 93 53 65 71 75 65 6e 90 8c 71 74 or.Natural.Deduction,.Sequen..qt
00c0 8e 9f 16 00 00 8d 92 00 bd 02 16 43 61 6c 63 75 6c 75 73 2c 91 05 37 74 65 74 63 2e 8e 9f 1d 00 ...........Calculus,..7tetc.....
00e0 01 8d 8d 8d 8d 8d 92 00 cd 64 59 f3 0f 58 ab 51 0b 00 0c 00 00 00 0c 00 00 00 05 63 6d 72 31 32 .........dY..X.Q...........cmr12
0100 ba 50 95 ac 72 61 75 6c 91 03 ea a8 54 91 ff 05 56 61 93 79 6c 6f 72 8e 8e a4 0e 00 00 8d 8d 92 .P..raul....T...Va.ylor.........
0120 00 a5 bc 74 44 65 70 61 72 74 6d 65 6e 90 ac 72 74 96 03 ea a8 6f 66 93 43 6f 6d 70 75 74 69 6e ...tDepartmen..rt....of.Computin
0140 67 2c 8e 8e a1 8d 8d 92 00 bf c4 35 49 6d 70 90 53 8e 65 72 69 61 6c 91 03 ea a8 43 6f 6c 6c 65 g,.........5Imp.S.erial....Colle
0160 67 65 2c 8e 8e a1 8d 8d 92 00 bd 52 14 4c 6f 6e 64 6f 6e 96 03 ea a8 53 57 37 93 32 42 5a 8e 8e ge,........R.London....SW7.2BZ..
0180 a1 8d 8d 92 00 a9 27 f6 2b 34 34 96 03 ea a8 37 31 93 35 38 39 93 35 31 31 31 93 f3 21 9b bb 88 ......'.+44....71.589.5111..!...
01a0 40 00 0c 00 00 00 0c 00 00 00 06 63 6d 74 69 31 32 cc 65 78 74 91 05 0e ec ba 35 30 35 37 8e 8e @..........cmti12.ext.....5057..
01c0 a1 8d 8d 92 00 b7 03 32 f3 1e df 86 b5 54 00 0c 00 00 00 0c 00 00 00 06 63 6d 74 74 31 32 c9 3c .......2.....T..........cmtt12.<
01e0 70 74 40 64 6f 63 2e 69 63 2e 61 63 2e 75 6b 3e 8e 8e 8e 8e 8e 9f 5d 88 8b 8d 92 00 c2 89 e3 ba pt@doc.ic.ac.uk>......].........
0200 4f 63 74 6f 62 90 53 8e 65 72 96 03 ea a8 33 2c 93 31 39 39 35 8e 9f 22 d4 86 8d 91 4e 00 00 f3 Octob.S.er....3,.1995.."....N...
0220 07 4b f1 60 79 00 0a 00 00 00 0a 00 00 00 05 63 6d 72 31 30 b2 55 73 69 6e 67 96 03 55 55 6d 9a .K.`y..........cmr10.Using..UUm.
0240 b8 e3 79 93 50 72 6f 90 47 1d 6f 66 93 54 91 ff 2a aa 72 65 65 93 6d 61 63 72 6f 73 2c 93 79 98 ..y.Pro.G.of.T..*.ree.macros,.y.
0260 6f 75 93 63 61 6e 93 70 72 6f 90 47 1d 64 75 63 65 8e 9f 4d 89 41 8d 8d 8d 9f 2b 0e 30 8d 8d a4 ou.can.pro.G.duce..M.A....+.0...
0280 ee c7 20 8d 8d a1 8d 91 3f 00 00 f3 2d 6f b4 8b c7 00 09 00 00 00 09 00 00 00 04 63 6d 72 39 d8 ........?...-o.............cmr9.
02a0 5b 28 f3 2f a9 b1 90 ca 00 09 00 00 00 09 00 00 00 05 63 6d 73 79 39 da 39 f3 2e 35 f9 9e 22 00 [(./..............cmsy9.9..5..".
02c0 09 00 00 00 09 00 00 00 05 63 6d 6d 69 39 d9 79 95 52 aa 3a 8d 8d 91 01 8a aa d8 28 8e 8d 8d 91 .........cmmi9.y.R.:.......(....
02e0 05 23 8c 28 8e 91 08 bc 6e da 39 d9 6e 3a 78 8d 9f 00 ff ff f3 14 10 cd be ce 00 06 00 00 00 06 .#.(....n.9.n:x.................
0300 00 00 00 05 63 6d 6d 69 36 bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 79 8d 93 d8 29 8e 8e 91 37 ....cmmi6.n......=.....y...)...7
0320 3f e9 da 5e 91 02 0e 38 d9 71 93 79 8d 93 d8 29 8e 8e 91 4c 67 3e 29 96 02 0e 38 da 5e 93 d8 28 ?..^...8.q.y...)...Lg>)...8.^..(
0340 da 38 d9 77 95 3e 00 3a 8d 8d 91 01 8a aa d8 28 8e 8d 8d 91 05 23 8c 28 8e 91 08 bc 6e da 39 d9 .8.w.>.:.......(.....#.(....n.9.
0360 6e 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 77 8d 93 d8 29 8e 8e 91 39 c1 n:x......n......=.....w...)...9.
0380 b1 da 29 91 02 91 c6 d9 70 77 8d 93 d8 29 8e 8e 91 54 b0 24 29 5d 8d 9f 00 ff ff bf 0b 8e 8e a4 ..).....pw...)...T.$)]..........
03a0 08 9c 70 8d 8d 91 3f 00 00 9f fe 00 01 84 00 00 80 02 00 df 63 e7 8d 91 02 c6 67 9f 01 ff ff da ..p...?.............c.....g.....
03c0 5e 8e 91 08 f1 0f 9f 01 ff ff d8 31 da 45 8e 8e a1 8d 8d 92 00 82 33 3b 39 d9 79 95 52 aa 3a 8d ^..........1.E........3;9.y.R.:.
03e0 8d 91 01 8a aa d8 28 8e 8d 8d 91 05 23 8c 28 8e 91 08 bc 6e da 39 d9 6e 3a 78 8d 9f 00 ff ff bf ......(.....#.(....n.9.n:x......
0400 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 79 8d 93 d8 29 8e 8e 91 37 3f e9 da 5e 91 02 0e 38 d9 71 n......=.....y...)...7?..^...8.q
0420 93 79 8d 93 d8 29 8e 8e 8e 8e 8e 8d a1 8d 8d a1 8d 8d a1 8d 8d a1 8d 8d a1 8d 91 4a 62 2a 5b 28 .y...).....................Jb*[(
0440 da 39 d9 79 95 52 aa 3a 8d 8d 91 01 8a aa d8 28 8e 8d 8d 91 05 23 8c 28 8e 91 08 bc 6e da 39 d9 .9.y.R.:.......(.....#.(....n.9.
0460 6e 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 79 8d 93 d8 29 8e 8e 91 37 3f n:x......n......=.....y...)...7?
0480 e9 da 5e 91 02 0e 38 d9 71 93 79 8d 93 d8 29 8e 8e 91 4c 67 3e 29 96 02 0e 38 da 5e 93 d8 28 da ..^...8.q.y...)...Lg>)...8.^..(.
04a0 38 d9 77 95 3e 00 3a 8d 8d 91 01 8a aa d8 28 8e 8d 8d 91 05 23 8c 28 8e 91 08 bc 6e da 39 d9 6e 8.w.>.:.......(.....#.(....n.9.n
04c0 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 77 8d 93 d8 29 8e 8e 91 39 c1 b1 :x......n......=.....w...)...9..
04e0 da 29 91 02 91 c6 d9 70 77 8d 93 d8 29 8e 8e 91 54 b0 24 29 5d 8d 9f 00 ff ff bf 0b 8e 8e a4 08 .).....pw...)...T.$)]...........
0500 9c 70 8d 8d 91 4a 62 2a 9f fe 00 01 84 00 00 80 02 00 df 63 e7 8d 91 02 c6 67 9f 01 ff ff da 5e .p...Jb*...........c.....g.....^
0520 8e 91 08 f1 0f 9f 01 ff ff d8 32 da 45 8e 8e a1 8d 8d 92 00 c4 71 d5 38 d9 77 95 3e 00 3a 8d 8d ..........2.E........q.8.w.>.:..
0540 91 01 8a aa d8 28 8e 8d 8d 91 05 23 8c 28 8e 91 08 bc 6e da 39 d9 6e 3a 78 8d 9f 00 ff ff bf 6e .....(.....#.(....n.9.n:x......n
0560 8e 91 07 af fd d8 3d 91 02 91 c6 d9 77 8d 93 d8 29 8e 8e 91 39 c1 b1 da 29 91 02 91 c6 d9 70 77 ......=.....w...)...9...).....pw
0580 8d 93 d8 29 8e 8e 8e 8e 8e 8e a4 08 9c 70 8d 8d 92 00 c4 71 d5 9f fe 00 01 84 00 00 80 02 00 63 ...).........p.....q...........c
05a0 44 91 91 02 c6 67 9f 01 ff ff da 38 45 8e 8e a1 8d 8d 92 00 d2 18 7c d8 28 da 39 d9 6e 3a 78 8d D....g.....8E.........|.(.9.n:x.
05c0 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 96 02 91 c6 d9 79 90 52 aa d8 29 93 da 29 93 d9 70 79 8e .....n......=.....y.R..)..)..py.
05e0 8e 8e 8d a1 8d 92 01 46 43 ec d8 5b 28 da 39 d9 6e 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 .......FC..[(.9.n:x......n......
0600 3d 91 02 91 c6 d9 79 9a 52 aa d8 29 96 02 0e 38 da 5e 93 d9 71 98 79 98 d8 5d 8d 9f 01 11 13 bf =.....y.R..)...8.^..q.y..]......
0620 0c 8e 8e a4 08 9c 70 8d 8d 92 01 46 43 ec 9f fe 00 01 84 00 00 80 02 00 4d cd 77 8d 91 02 c6 67 ......p....FC...........M.w....g
0640 9f 01 ff ff da 5e 8e 91 08 f1 0f 9f 01 ff ff d8 31 da 45 8e 8e a1 8d 8d 92 01 58 bc 77 39 d9 6e .....^..........1.E.......X.w9.n
0660 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 79 8e 8e 8e 8e a4 08 9c 70 8d 8d :x......n......=.....y.......p..
0680 92 00 d2 18 7c 9f fe 00 01 84 00 00 80 02 00 af 80 5c 8d 91 02 c6 67 9f 01 ff ff da 29 8e 91 0c ....|............\....g.....)...
06a0 06 63 9f 01 ff ff 45 8e 8e a1 8d 8d 92 01 57 15 e0 d9 70 79 8e 8e 8e 92 01 92 ef 40 d8 5b 28 da .c....E.......W...py.......@.[(.
06c0 39 d9 6e 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 79 9a 52 aa d8 29 96 02 9.n:x......n......=.....y.R..)..
06e0 0e 38 da 5e 93 d9 71 98 79 98 d8 5d 8d 9f 01 11 13 bf 0c 8e 8e a4 08 9c 70 8d 8d 92 01 57 15 e0 .8.^..q.y..]............p....W..
0700 9f fe 00 01 84 00 00 80 02 00 89 a6 d7 8d 91 02 c6 67 9f 01 ff ff da 5e 8e 91 08 f1 0f 9f 01 ff .................g.....^........
0720 ff 49 8e 8e a1 8d 8d 92 01 6c 94 ab d9 70 79 91 02 60 e2 da 5e 96 02 0e 38 d8 28 28 da 39 d9 6e .I.......l...py..`..^...8.((.9.n
0740 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 79 9a 52 aa d8 29 93 da 5e 93 d9 :x......n......=.....y.R..)..^..
0760 71 98 79 98 d8 29 8e 8e 8e 8e a4 08 9c 70 8d 8d 92 01 63 10 ae 9f fe 00 01 84 00 00 80 02 00 71 q.y..).......p....c............q
0780 b1 3b 91 02 c6 67 9f 01 ff ff da 39 49 8e 8e a1 8d 8d 92 01 63 10 ae 39 d9 7a 95 63 8d 3a 70 7a .;...g.....9I.......c..9.z.c.:pz
07a0 91 02 71 c5 da 5e 8d 8d 91 02 0e 38 d8 28 8e 8d 8d 91 05 a7 1a 28 8e 8d 8d 91 09 3f fc 28 8e 91 ..q..^.....8.(.......(.....?.(..
07c0 0c d8 de da 39 d9 6e 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 7a 8d 93 d8 ....9.n:x......n......=.....z...
07e0 29 8e 8e 91 3b 2c 5a da 5e 91 02 0e 38 d9 71 90 52 aa 7a 8d 93 d8 29 8e 8e 8d 91 50 23 b0 29 8e )...;,Z.^...8.q.R.z...)....P#.).
0800 8e 8e 8e 8e 8e a4 08 9c 70 8d 8d 92 00 82 33 3b 9f fe 00 01 84 00 00 80 02 01 52 8e ae 91 02 c6 ........p.....3;..........R.....
0820 67 9f 01 ff ff da 39 45 8d 9f 01 11 13 bf 0c 8e 8e 8e a1 8d 8d 92 00 f2 a1 f5 da 39 d9 7a 95 63 g.....9E...................9.z.c
0840 8d 3a 70 7a 91 02 71 c5 da 5e 8d 8d 91 02 0e 38 d8 28 8e 8d 8d 91 05 a7 1a 28 8e 8d 8d 91 09 3f .:pz..q..^.....8.(.......(.....?
0860 fc 28 8e 91 0c d8 de da 39 d9 6e 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 .(......9.n:x......n......=.....
0880 7a 8d 93 d8 29 8e 8e 91 3b 2c 5a da 5e 91 02 0e 38 d9 71 90 52 aa 7a 8d 93 d8 29 8e 8e 8d 91 50 z...)...;,Z.^...8.q.R.z...)....P
08a0 23 b0 29 8e 8e 8e 8e 8e 8e a4 08 9c 70 8d 8d 91 7d 60 ff 9f fe 00 01 84 00 00 80 02 01 5c 33 26 #.).........p...}`...........\3&
08c0 8d 91 02 c6 67 9f 01 ff ff da 29 8e 91 0c 06 63 9f 01 ff ff 49 8d 9f 00 ff ff bf 0b 8e 8e 8e a1 ....g.....)....c....I...........
08e0 8d 8d 91 7d 60 ff d8 28 da 39 d9 79 95 52 aa 3a 8d 8d 91 01 8a aa d8 28 8e 8d 8d 91 05 23 8c 28 ...}`..(.9.y.R.:.......(.....#.(
0900 8e 91 08 bc 6e da 39 d9 6e 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 79 8d ....n.9.n:x......n......=.....y.
0920 93 d8 29 8e 8e 91 37 3f e9 da 5e 91 02 0e 38 d9 71 93 79 8d 93 d8 29 8e 8e 91 4c 67 3e 29 96 02 ..)...7?..^...8.q.y...)...Lg>)..
0940 0e 38 da 5e 93 d8 28 da 38 d9 77 95 3e 00 3a 8d 8d 91 01 8a aa d8 28 8e 8d 8d 91 05 23 8c 28 8e .8.^..(.8.w.>.:.......(.....#.(.
0960 91 08 bc 6e da 39 d9 6e 3a 78 8d 9f 00 ff ff bf 6e 8e 91 07 af fd d8 3d 91 02 91 c6 d9 77 8d 93 ...n.9.n:x......n......=.....w..
0980 d8 29 8e 8e 91 39 c1 b1 da 29 91 02 91 c6 d9 70 77 8d 93 d8 29 8e 8e 91 54 b0 24 29 96 02 91 c6 .)...9...).....pw...)...T.$)....
09a0 da 29 93 d8 28 da 39 d9 7a 9a 63 8d 3a 70 7a 91 02 71 c5 da 5e 8d 8d 91 02 0e 38 d8 28 8e 8d 8d .)..(.9.z.c.:pz..q..^.....8.(...
09c0 91 05 a7 1a 28 8e 8d 8d 91 09 3f fc 28 8e 91 0c d8 de da 39 d9 6e 3a 78 8d 9f 00 ff ff bf 6e 8e ....(.....?.(......9.n:x......n.
09e0 91 07 af fd d8 3d 93 d9 7a 8d 98 d8 29 8e 8e 91 3b 2c 5a da 5e 91 02 0e 38 d9 71 90 52 aa 7a 8d .....=..z...)...;,Z.^...8.q.R.z.
0a00 98 d8 29 8e 8e 8d 91 50 23 b0 29 8e 8e 91 53 bc 92 29 8e 8e 8e 8e 8e 9f 4e 09 41 8d 91 42 55 55 ..)....P#.)...S..)......N.A..BUU
0a20 b2 75 73 69 6e 67 96 03 55 55 74 68 65 93 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 9b 03 e3 78 58 93 .using..UUthe.T...U>..'.E....xX.
0a40 6f 72 93 4c 8d 9f fd f3 35 8d 91 fc 66 66 f3 06 d9 93 a0 52 00 07 00 00 00 07 00 00 00 04 63 6d or.L....5...ff.....R..........cm
0a60 72 37 b1 41 8e 8e 91 00 cd 89 b2 54 8d 91 fe 55 3e 9f 02 27 1c 45 8e 98 58 93 63 6f 90 47 1d 64 r7.A.......T...U>..'.E..X.co.G.d
0a80 65 8e 9f 13 10 6a 8d 91 3f 00 00 f3 42 df ea 3c 78 00 0a 00 00 00 0a 00 00 00 06 63 6d 74 74 31 e....j..?...B..<x..........cmtt1
0aa0 30 eb 42 5c 69 6e 70 75 74 91 05 3f fd 70 72 6f 6f 66 74 72 65 65 8e a4 0c 00 00 8d 91 3f 00 00 0.B\input..?.prooftree.......?..
0ac0 24 24 8e a1 8d 91 3f 00 00 5c 62 65 67 69 6e 7b 70 72 6f 6f 66 74 72 65 65 7d 8e a1 8d 91 3f 00 $$....?..\begin{prooftree}....?.
0ae0 00 5c 5b 96 05 3f fd 5c 5b 93 5b 28 5c 41 93 79 93 6e 29 5c 6c 61 6e 64 28 5c 42 93 77 93 6e 29 .\[..?.\[.[(\A.y.n)\land(\B.w.n)
0b00 5d 5f 5c 61 6c 70 68 61 8e a1 8d 91 5e 7f ee 5c 61 6e 64 65 6c 69 6d 31 8e a1 8d 91 5e 7f ee 5c ]_\alpha....^..\andelim1....^..\
0b20 41 96 05 3f fd 79 93 6e 8e a1 8d 91 4e bf f7 5c 5d 8e a1 8d 91 4e bf f7 5c 6b 65 72 6e 2d 32 36 A..?.y.n....N..\]....N..\kern-26
0b40 65 6d 8e a1 8d 91 4e bf f7 5c 5b 96 05 3f fd 5c 5b 93 5c 5b 93 5c 5b 93 5c 5b 93 5b 28 5c 41 93 em....N..\[..?.\[.\[.\[.\[.[(\A.
0b60 79 93 6e 29 5c 6c 61 6e 64 28 5c 42 93 77 93 6e 29 5d 5f 5c 61 6c 70 68 61 8e a1 8d 92 00 9d 7f y.n)\land(\B.w.n)]_\alpha.......
0b80 ca 5c 61 6e 64 65 6c 69 6d 32 91 05 3f fd 5c 73 68 69 66 74 72 69 67 68 74 36 30 70 74 8e a1 8d .\andelim2..?.\shiftright60pt...
0ba0 92 00 9d 7f ca 5c 42 96 05 3f fd 77 93 6e 8e 8e 9f 1e 00 00 8d 92 00 e9 00 00 b2 31 8e 8e 8c 8b .....\B..?.w.n.............1....
0bc0 00 00 00 02 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 ................................
0be0 00 00 00 00 00 00 00 00 00 00 00 2a a0 02 6c 00 00 8d a0 fd bb 00 00 a0 02 27 00 00 8d a0 fd fc ...........*..l..........'......
0c00 00 00 8d 92 00 8d bf d3 eb 42 5c 5d 8e a4 0c 00 00 8d 92 00 8d bf d3 5c 61 6c 6c 65 6c 69 6d 8e .........B\]...........\allelim.
0c20 a1 8d 92 00 8d bf d3 28 5c 45 96 05 3f fd 79 93 6e 29 5c 69 6d 70 5c 50 93 79 8e a1 8d 91 7d ff .......(\E..?.y.n)\imp\P.y....}.
0c40 dc 5c 5d 8e a1 8d 91 7d ff dc 5c 5b 8e a1 8d 92 00 8d bf d3 5b 28 5c 45 96 05 3f fd 79 93 6e 29 .\]....}..\[........[(\E..?.y.n)
0c60 5c 6c 61 6e 64 5c 51 93 79 5d 5f 5c 62 65 74 61 8e a1 8d 92 00 8d bf d3 5c 61 6e 64 65 6c 69 6d \land\Q.y]_\beta........\andelim
0c80 31 8e a1 8d 92 00 8d bf d3 5c 45 96 05 3f fd 79 93 6e 8e a1 8d 91 7d ff dc 5c 5d 8e a1 8d 91 7d 1........\E..?.y.n....}..\]....}
0ca0 ff dc 5c 69 6d 70 65 6c 69 6d 91 05 3f fd 5c 73 68 69 66 74 72 69 67 68 74 35 30 70 74 8e a1 8d ..\impelim..?.\shiftright50pt...
0cc0 91 7d ff dc 5c 50 91 05 3f fd 79 8e a1 8d 91 6e 3f e5 5c 5d 8e a1 8d 91 6e 3f e5 5c 6b 65 72 6e .}..\P..?.y....n?.\]....n?.\kern
0ce0 2d 32 35 70 74 8e a1 8d 91 6e 3f e5 5b 28 5c 45 96 05 3f fd 79 93 6e 29 5c 6c 61 6e 64 5c 51 93 -25pt....n?.[(\E..?.y.n)\land\Q.
0d00 79 5d 5f 5c 62 65 74 61 8e a1 8d 91 6e 3f e5 5c 61 6e 64 69 6e 74 72 6f 8e a1 8d 91 6e 3f e5 5c y]_\beta....n?.\andintro....n?.\
0d20 50 96 05 3f fd 79 5c 6c 61 6e 64 28 28 5c 45 93 79 93 6e 29 5c 6c 61 6e 64 5c 51 93 79 29 8e a1 P..?.y\land((\E.y.n)\land\Q.y)..
0d40 8d 91 5e 7f ee 5c 5d 8e a1 8d 91 5e 7f ee 5c 65 78 69 73 74 73 69 6e 74 72 6f 8e a1 8d 91 5e 7f ..^..\]....^..\existsintro....^.
0d60 ee 5c 43 96 05 3f fd 7a 93 6e 8e a1 8d 91 4e bf f7 5c 5d 8e a1 8d 91 4e bf f7 5c 65 78 69 73 74 .\C..?.z.n....N..\]....N..\exist
0d80 73 65 6c 69 6d 5c 62 65 74 61 8e a1 8d 91 4e bf f7 5c 43 96 05 3f fd 7a 93 6e 8e a1 8d 91 3f 00 selim\beta....N..\C..?.z.n....?.
0da0 00 5c 5d 8e a1 8d 91 3f 00 00 5c 69 6d 70 69 6e 74 72 6f 5c 61 6c 70 68 61 8e a1 8d 91 3f 00 00 .\]....?..\impintro\alpha....?..
0dc0 28 5c 41 96 05 3f fd 79 6e 29 5c 6c 61 6e 64 28 5c 42 93 77 93 6e 29 5c 69 6d 70 28 5c 43 93 7a (\A..?.yn)\land(\B.w.n)\imp(\C.z
0de0 93 6e 29 8e a1 8d 91 3f 00 00 5c 65 6e 64 7b 70 72 6f 6f 66 74 72 65 65 7d 24 24 8e a4 12 88 8a .n)....?..\end{prooftree}$$.....
0e00 8d 91 4e 00 00 b2 49 6e 96 03 55 55 66 61 63 74 93 74 68 65 93 63 6f 6d 6d 61 6e 64 73 93 eb 42 ..N...In..UUfact.the.commands..B
0e20 5c 61 6c 6c 69 6e 74 72 6f b2 2c 93 f3 44 fd 00 27 3a 00 0a 00 00 00 0a 00 00 00 06 63 6d 74 69 \allintro.,..D..':..........cmti
0e40 31 30 eb 44 65 74 63 2e 2c 93 b2 61 72 65 93 6e 6f 74 93 70 72 69 6d 69 74 69 76 90 b8 e3 65 3b 10.Detc.,..are.not.primitiv...e;
0e60 93 74 68 65 93 62 61 73 69 63 93 66 6f 72 6d 93 69 73 8e a1 8d 91 3f 00 00 eb 42 5c 5b 8e a4 0c .the.basic.form.is....?...B\[...
0e80 00 00 8d 91 3f 00 00 41 5c 71 75 61 64 8e a1 8d 91 3f 00 00 42 8e a1 8d 91 3f 00 00 5c 6a 75 73 ....?..A\quad....?..B....?..\jus
0ea0 74 69 66 69 65 73 8e a1 8d 91 3f 00 00 41 96 05 3f fd 5c 6c 61 6e 64 93 42 8e a1 8d 91 3f 00 00 tifies....?..A..?.\land.B....?..
0ec0 5c 74 68 69 63 6b 6e 65 73 73 3d 30 2e 30 38 65 6d 8e a1 8d 91 3f 00 00 5c 73 68 69 66 74 72 69 \thickness=0.08em....?..\shiftri
0ee0 67 68 74 91 05 3f fd 32 65 6d 8e a1 8d 91 3f 00 00 5c 75 73 69 6e 67 8e a1 8d 91 3f 00 00 7b 5c ght..?.2em....?..\using....?..{\
0f00 6c 61 6e 64 7d 7b 5c 63 61 6c 91 05 3f fd 49 7d 8e a1 8d 91 3f 00 00 5c 5d 8e 9f 12 88 8a 8d 91 land}{\cal..?.I}....?..\].......
0f20 3f 00 00 b2 77 68 69 63 95 b8 e3 68 91 03 55 55 67 69 76 93 65 73 8e 9f 11 78 e1 8d 8d 8d 9f f8 ?...whic...h..UUgiv.es...x......
0f40 4e 3a 8d 92 00 cc 80 f7 f3 0a 0b a0 62 3e 00 0a 00 00 00 0a 00 00 00 06 63 6d 6d 69 31 30 b5 41 N:..........b>..........cmmi10.A
0f60 91 0a 00 01 42 8e a4 08 9c 70 8d 8d 92 00 cc 80 f7 9f fd e6 67 84 00 00 cc ce 00 2e 24 73 8d 91 ....B....p..........g.......$s..
0f80 03 00 02 9f 02 19 99 f3 0d 21 22 2c 9a 00 0a 00 00 00 0a 00 00 00 06 63 6d 73 79 31 30 b8 5e 8e .........!",...........cmsy10.^.
0fa0 91 09 aa ae 9f 02 19 99 49 8e 8e a1 8d 8d 92 00 df f2 c3 b5 41 96 02 38 e0 b8 5e 93 b5 42 8e 8e ........I...........A..8..^..B..
0fc0 8e 8e 8e 9f 16 ed 81 8d 91 3f 00 00 b2 54 68 65 96 04 10 cd 68 9a b8 e3 79 70 90 47 1d 6f 74 68 .........?...The....h...yp.G.oth
0fe0 65 73 65 73 93 6d 61 98 79 93 74 68 65 6d 73 65 6c 76 98 65 73 93 62 9a 47 1d 65 93 70 72 6f 98 eses.ma.y.themselv.es.b.G.e.pro.
1000 6f 66 93 74 72 65 65 73 93 28 65 6e 63 6c 6f 73 65 64 93 69 6e 93 eb 42 5c 5b 8d 8d b5 3a 96 01 of.trees.(enclosed.in..B\[...:..
1020 aa a8 3a 93 3a 8e 8e 91 0d 55 4f eb 42 5c 5d b2 29 93 61 6e 64 93 74 68 65 8e a1 8d 91 3f 00 00 ..:.:....UO.B\].).and.the....?..
1040 70 75 72 70 90 47 1d 6f 73 65 96 02 e7 5f 6f 66 93 74 68 65 93 6d 61 63 72 6f 73 93 69 73 93 74 purp.G.ose..._of.the.macros.is.t
1060 6f 93 61 64 6a 75 73 74 93 74 68 65 93 6c 65 6e 67 74 68 93 6f 66 93 74 68 65 93 68 6f 72 69 7a o.adjust.the.length.of.the.horiz
1080 6f 6e 90 b8 e3 74 61 6c 93 5c 64 65 64 75 63 74 69 6f 6e 22 93 6c 69 6e 65 2e 8e 8e 9f 1e 00 00 on...tal.\deduction".line.......
10a0 8d 92 00 e9 00 00 32 8e 8e 8c 8b 00 00 00 03 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ......2.........................
10c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 0b bf a0 02 6c 00 00 8d a0 fd bb .........................l......
10e0 00 00 a0 02 27 00 00 8d a0 fd fc 00 00 8d 91 3f 00 00 b2 57 68 65 6e 96 02 ba 1e 74 68 65 93 68 ....'..........?...When....the.h
1100 90 b8 e3 79 70 9a 47 1d 6f 74 68 65 73 65 73 93 61 72 65 93 70 72 6f 98 6f 66 93 74 72 65 65 73 ...yp.G.otheses.are.pro.of.trees
1120 2c 91 02 d9 29 73 75 69 74 61 62 6c 65 93 73 70 61 63 65 93 69 73 93 70 75 74 93 62 98 65 74 95 ,...)suitable.space.is.put.b.et.
1140 b8 e3 77 93 65 65 6e 96 02 ba 1e 74 68 65 6d 2c 91 02 d9 29 62 75 74 93 6f 66 8e a4 0c 00 00 8d ..w.een....them,...)but.of......
1160 91 3f 00 00 63 6f 75 72 73 65 96 02 cf af 74 68 69 73 93 6d 9a b8 e3 75 73 74 93 62 90 47 1d 65 .?..course....this.m...ust.b.G.e
1180 93 73 75 70 70 6c 69 65 64 93 62 98 79 93 68 61 6e 64 93 66 6f 72 93 73 69 6d 70 6c 65 93 66 6f .supplied.b.y.hand.for.simple.fo
11a0 72 6d 98 75 6c 61 65 2e 91 04 45 3b 54 68 65 93 eb 42 5c 74 68 69 63 6b 6e 65 73 73 93 b2 61 6e rm.ulae...E;The..B\thickness..an
11c0 64 8e a1 8d 91 3f 00 00 eb 42 5c 73 68 69 66 74 72 69 67 68 74 96 03 d2 bf b2 63 6f 6d 6d 61 6e d....?...B\shiftright.....comman
11e0 64 73 93 61 72 65 2c 9b 03 f2 19 6f 66 93 63 6f 75 72 73 65 2c 98 6f 70 74 69 6f 6e 61 6c 3b 91 ds.are,....of.course,.optional;.
1200 04 11 73 74 68 65 79 93 61 70 70 6c 79 93 74 6f 93 74 68 65 93 68 6f 72 69 7a 6f 6e 90 b8 e3 74 ..sthey.apply.to.the.horizon...t
1220 61 6c 8e a1 8d 91 3f 00 00 6c 69 6e 65 96 03 f9 52 61 6e 64 93 74 6f 93 74 68 65 93 70 90 47 1d al....?..line...Rand.to.the.p.G.
1240 6f 73 69 74 69 6f 6e 69 6e 67 93 6f 66 93 74 68 65 93 63 6f 6e 63 6c 75 73 69 6f 6e 93 72 65 6c ositioning.of.the.conclusion.rel
1260 61 74 69 76 90 b8 e3 65 93 74 6f 93 69 74 2e 91 06 5d bf 46 91 ff 2a aa 6f 72 93 61 93 64 6f 75 ativ...e.to.it...].F..*.or.a.dou
1280 62 6c 65 93 6c 69 6e 65 2c 8e a1 8d 91 3f 00 00 75 73 65 96 03 55 55 eb 42 5c 4a 75 73 74 69 66 ble.line,....?..use..UU.B\Justif
12a0 69 65 73 93 b2 69 6e 73 74 65 61 64 93 6f 66 93 eb 42 5c 6a 75 73 74 69 66 69 65 73 b2 2e 8e a1 ies..instead.of..B\justifies....
12c0 8d 91 4e 00 00 4e 6f 74 69 63 65 96 04 81 d9 74 68 65 93 6f 95 b8 e3 76 93 65 72 6c 6f 61 64 69 ..N..Notice....the.o...v.erloadi
12e0 6e 67 96 04 81 d9 6f 66 93 74 68 65 93 eb 42 5c 5b 8d 8d b5 3a 96 01 aa a8 3a 93 3a 8e 8e 91 0d ng....of.the..B\[...:....:.:....
1300 55 4f eb 42 5c 5d b2 3b 91 05 18 1c 74 68 65 93 6f 75 74 65 72 6d 6f 73 74 93 70 72 6f 9a 47 1d UO.B\].;....the.outermost.pro.G.
1320 6f 66 93 74 72 65 65 93 6d 90 b8 e3 75 73 74 93 62 98 65 8e a1 8d 91 3f 00 00 65 6e 63 6c 6f 73 of.tree.m...ust.b.e....?..enclos
1340 65 64 96 03 f6 eb 77 69 74 68 93 eb 42 5c 62 65 67 69 6e 7b 70 72 6f 6f 66 74 72 65 65 7d 93 b2 ed....with..B\begin{prooftree}..
1360 61 6e 64 93 eb 42 5c 65 6e 64 7b 70 72 6f 6f 66 74 72 65 65 7d 93 b2 6f 72 93 eb 42 5c 70 72 6f and..B\end{prooftree}..or..B\pro
1380 6f 66 74 72 65 65 93 b2 61 6e 64 8e a1 8d 91 3f 00 00 eb 42 5c 65 6e 64 70 72 6f 6f 66 74 72 65 oftree..and....?...B\endprooftre
13a0 65 b2 2e 8e a1 8d 91 4e 00 00 54 91 ff 2a aa 6f 96 03 55 55 67 65 74 93 61 93 76 90 b8 e3 65 72 e......N..T..*.o..UUget.a.v...er
13c0 74 69 63 61 6c 93 73 74 72 69 6e 67 93 6f 66 93 64 6f 74 73 93 69 6e 73 74 65 61 64 93 6f 66 93 tical.string.of.dots.instead.of.
13e0 74 68 65 93 70 72 6f 90 47 1d 6f 66 93 72 75 6c 65 2c 93 64 6f 8e a9 14 00 00 8d 91 3f 00 00 eb the.pro.G.of.rule,.do.......?...
1400 42 5c 5b 8e a1 8d 91 3f 00 00 5b 41 5d 8e a1 8d 91 3f 00 00 5c 75 73 69 6e 67 8e a1 8d 91 3f 00 B\[....?..[A]....?..\using....?.
1420 00 5c 70 69 8e a1 8d 91 3f 00 00 5c 70 72 6f 6f 66 64 6f 74 73 65 70 61 72 61 74 69 6f 6e 3d 31 .\pi....?..\proofdotseparation=1
1440 2e 32 65 78 8e a1 8d 91 3f 00 00 5c 70 72 6f 6f 66 64 6f 74 6e 75 6d 62 65 72 3d 34 8e a1 8d 91 .2ex....?..\proofdotnumber=4....
1460 3f 00 00 5c 6c 65 61 64 73 74 6f 8e a1 8d 91 3f 00 00 42 8e a1 8d 91 3f 00 00 5c 5d 8e 9f 1f f1 ?..\leadsto....?..B....?..\]....
1480 bd 8d 91 3f 00 00 b2 74 6f 96 03 55 55 67 65 74 8d 9f f1 63 96 8d 93 5b b5 41 b2 5d 8e 9f 10 31 ...?...to..UUget...c...[.A.]...1
14a0 c0 8d 8d 8d 91 08 78 e4 9f f8 55 58 8d 9e a3 90 8d b8 01 8e 8e a4 05 2a a8 8d 9e a3 90 8d 01 8e ......x...UX...........*........
14c0 8e a1 8d 9e a3 90 8d 01 8e 8e a1 8d 9e a3 90 8d 01 8e 8e 8e 91 0e 40 03 b5 19 8e 8e 9f 0f 87 14 ......................@.........
14e0 8d 8d 91 05 d1 56 42 8e 8e 8e 8e 9f 19 0e 31 8d 91 4e 00 00 b2 41 6c 6c 96 03 4d 87 6f 66 93 6f .....VB.......1..N...All..M.of.o
1500 66 93 74 68 65 93 6b 95 b8 e3 65 79 77 93 6f 72 64 73 96 03 4d 87 65 78 63 65 70 74 93 eb 42 5c f.the.k...eyw.ords..M.except..B\
1520 70 72 6f 6f 66 74 72 65 65 93 b2 61 6e 64 93 eb 42 5c 65 6e 64 70 72 6f 6f 66 74 72 65 65 93 b2 prooftree..and..B\endprooftree..
1540 61 72 65 93 6f 70 74 69 6f 6e 61 6c 8e a1 8d 91 3f 00 00 61 6e 64 96 03 ea aa 6d 61 9a b8 e3 79 are.optional....?..and....ma...y
1560 93 61 70 70 90 47 1d 65 61 72 93 69 6e 93 61 6e 98 79 93 6f 72 64 65 72 2e 91 06 31 c7 54 68 65 .app.G.ear.in.an.y.order...1.The
1580 79 93 6d 61 98 79 93 61 6c 73 6f 93 62 90 47 1d 65 93 63 6f 6d 98 62 69 6e 65 64 93 69 6e 93 eb y.ma.y.also.b.G.e.com.bined.in..
15a0 42 5c 6e 65 77 63 6f 6d 6d 61 6e 64 b2 73 2c 8e a1 8d 91 3f 00 00 66 6f 72 91 03 55 55 65 78 61 B\newcommand.s,....?..for..UUexa
15c0 6d 70 6c 65 8e a6 8d 91 3f 00 00 eb 42 5c 6e 65 77 63 6f 6d 6d 61 6e 64 5c 43 75 74 7b 5c 75 73 mple....?...B\newcommand\Cut{\us
15e0 69 6e 67 5c 73 66 91 05 3f fd 63 75 74 5c 74 68 69 63 6b 6e 65 73 73 2e 30 38 65 6d 5c 6a 75 73 ing\sf..?.cut\thickness.08em\jus
1600 74 69 66 69 65 73 7d 8e a6 8d 91 3f 00 00 b2 77 69 74 68 96 03 55 55 74 68 65 93 61 62 62 72 65 tifies}....?...with..UUthe.abbre
1620 76 69 61 74 69 6f 6e 8e a6 8d 91 3f 00 00 eb 42 5c 5b 96 05 3f fd 41 93 5c 76 64 61 73 68 93 42 viation....?...B\[..?.A.\vdash.B
1640 93 5c 71 71 75 61 64 8e a1 8d 91 4e bf f7 42 96 05 3f fd 5c 76 64 61 73 68 93 43 8e a1 8d 91 49 .\qquad....N..B..?.\vdash.C....I
1660 7f fa 5c 43 75 74 8e a1 8d 91 4e bf f7 41 96 05 3f fd 5c 76 64 61 73 68 93 43 8e a1 8d 91 3f 00 ..\Cut....N..A..?.\vdash.C....?.
1680 00 5c 5d 8e a6 8d 91 4e 00 00 5c 74 68 69 63 6b 6e 65 73 73 96 04 60 14 b2 73 70 90 47 1d 65 63 .\]....N..\thickness..`..sp.G.ec
16a0 69 0c 65 73 93 74 68 65 93 62 72 65 61 64 74 68 93 6f 66 93 74 68 65 93 72 75 6c 65 93 69 6e 93 i.es.the.breadth.of.the.rule.in.
16c0 61 6e 9a b8 e3 79 93 75 6e 69 74 73 2c 91 04 a2 c3 61 6c 74 68 6f 75 67 68 93 66 6f 6e 98 74 2d an...y.units,....although.fon.t-
16e0 8e a1 8d 91 3f 00 00 72 65 6c 61 74 69 76 9a b8 e3 65 96 04 2e ec 75 6e 69 74 73 93 73 75 63 98 ....?..relativ...e....units.suc.
1700 68 93 61 73 93 65 78 93 6f 72 93 65 6d 93 61 72 65 93 70 72 65 66 65 72 61 62 6c 65 2e 91 06 fe h.as.ex.or.em.are.preferable....
1720 8c 49 74 93 6d 61 98 79 93 6f 70 74 69 6f 6e 61 6c 6c 79 93 62 90 47 1d 65 93 66 6f 6c 6c 6f 98 .It.ma.y.optionally.b.G.e.follo.
1740 77 98 65 64 8e a1 8d 91 3f 00 00 62 90 b8 e3 79 96 03 8b f5 3d 2e 91 05 15 a8 eb 42 5c 70 72 6f w.ed....?..b...y....=......B\pro
1760 6f 66 72 75 6c 65 62 72 65 61 64 74 68 3d 2e 30 38 65 6d 93 b2 6f 72 93 eb 42 5c 73 65 74 6c 65 ofrulebreadth=.08em..or..B\setle
1780 6e 67 74 68 5c 70 72 6f 6f 66 72 75 6c 65 62 72 65 61 64 74 68 7b 2e 30 38 65 6d 7d 8e a1 8d 91 ngth\proofrulebreadth{.08em}....
17a0 3f 00 00 b2 6d 61 90 b8 e3 79 96 02 67 05 61 6c 73 6f 93 62 90 47 1d 65 93 75 73 65 64 93 65 69 ?...ma...y..g.also.b.G.e.used.ei
17c0 74 68 65 72 93 69 6e 93 70 6c 61 63 65 93 6f 66 93 eb 42 5c 74 68 69 63 6b 6e 65 73 73 93 b2 6f ther.in.place.of..B\thickness..o
17e0 72 93 67 6c 6f 62 61 6c 6c 79 3b 91 02 b6 76 74 68 65 93 64 65 66 61 75 6c 74 93 69 73 93 30 2e r.globally;...vthe.default.is.0.
1800 30 34 65 6d 2e 8e a1 8d 91 3f 00 00 eb 42 5c 70 72 6f 6f 66 64 6f 74 73 65 70 61 72 61 74 69 6f 04em.....?...B\proofdotseparatio
1820 6e 96 03 f1 d0 b2 61 6e 64 93 eb 42 5c 70 72 6f 6f 66 64 6f 74 6e 75 6d 62 65 72 93 b2 63 6f 6e n.....and..B\proofdotnumber..con
1840 90 b8 e3 74 72 6f 6c 93 74 68 65 93 73 69 7a 65 93 6f 66 93 74 68 65 93 73 74 72 69 6e 67 93 6f ...trol.the.size.of.the.string.o
1860 66 8e a1 8d 91 3f 00 00 64 6f 74 73 2e 8e a1 8d 91 4e 00 00 49 66 96 03 92 c3 70 72 6f 90 47 1d f....?..dots.....N..If....pro.G.
1880 6f 66 93 74 72 65 65 73 93 61 6e 64 93 66 6f 72 6d 90 b8 e3 75 6c 61 65 93 61 72 65 93 6d 69 78 of.trees.and.form...ulae.are.mix
18a0 65 64 2c 9b 03 a2 1e 73 6f 6d 65 93 65 78 70 6c 69 63 69 74 93 73 70 61 63 69 6e 67 93 69 73 93 ed,....some.explicit.spacing.is.
18c0 6e 65 65 64 65 64 2c 98 62 75 74 8e a1 8d 91 3f 00 00 64 6f 6e 27 74 96 03 c1 83 70 75 74 93 61 needed,.but....?..don't....put.a
18e0 6e 9a b8 e3 79 74 68 69 6e 67 93 74 6f 93 74 68 65 93 6c 65 66 74 93 6f 66 93 74 68 65 93 6c 65 n...ything.to.the.left.of.the.le
1900 66 74 2d 6d 6f 73 74 93 28 6f 72 93 74 68 65 93 72 69 67 68 98 74 93 6f 66 93 74 68 65 93 72 69 ft-most.(or.the.righ.t.of.the.ri
1920 67 68 98 74 2d 6d 6f 73 74 29 8e 8e 9f 1e 00 00 8d 92 00 e9 00 00 33 8e 8e 8c 8b 00 00 00 04 00 gh.t-most)............3.........
1940 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 ................................
1960 00 00 00 00 00 10 aa a0 02 6c 00 00 8d a0 fd bb 00 00 a0 02 27 00 00 8d a0 fd fc 00 00 8d 91 3f .........l..........'..........?
1980 00 00 b2 68 90 b8 e3 79 70 90 47 1d 6f 74 68 65 73 69 73 2c 9b 04 7a fb 6f 72 96 04 40 40 70 75 ...h...yp.G.othesis,..z.or..@@pu
19a0 74 93 69 74 93 69 6e 93 62 72 61 63 65 73 2c 98 62 9a 47 1d 65 63 61 75 73 65 93 74 68 69 73 93 t.it.in.braces,.b.G.ecause.this.
19c0 77 69 6c 6c 93 63 61 75 73 65 93 74 68 65 93 69 6e 64 65 6e 90 b8 e3 74 61 74 69 6f 6e 93 74 6f will.cause.the.inden...tation.to
19e0 93 62 98 65 8e a4 0c 00 00 8d 91 3f 00 00 6c 6f 73 74 2e 8e a1 8d 91 4e 00 00 42 79 96 03 cc 45 .b.e.......?..lost.....N..By...E
1a00 64 65 66 61 75 6c 74 93 74 68 65 93 63 6f 6e 63 6c 75 73 69 6f 6e 93 69 73 93 63 65 6e 9a b8 e3 default.the.conclusion.is.cen...
1a20 74 65 72 65 64 93 77 72 74 93 74 68 65 93 6c 65 66 74 2d 6d 6f 73 74 93 61 6e 64 93 72 69 67 68 tered.wrt.the.left-most.and.righ
1a40 98 74 2d 6d 6f 73 74 93 69 6d 2d 8e a1 8d 91 3f 00 00 6d 65 64 69 61 74 65 96 04 35 e9 68 90 b8 .t-most.im-....?..mediate..5.h..
1a60 e3 79 70 9a 47 1d 6f 74 68 65 73 65 73 93 28 6e 6f 74 93 74 68 65 69 72 93 70 72 6f 98 6f 66 73 .yp.G.otheses.(not.their.pro.ofs
1a80 29 3b 91 04 a6 32 eb 42 5c 73 68 69 66 74 72 69 67 68 74 93 b2 6f 72 93 eb 42 5c 73 68 69 66 74 );...2.B\shiftright..or..B\shift
1aa0 6c 65 66 74 93 b2 6d 6f 95 b8 e3 76 93 65 73 91 04 35 e9 69 74 8e a1 8d 91 3f 00 00 72 65 6c 61 left..mo...v.es..5.it....?..rela
1ac0 74 69 76 90 b8 e3 65 96 04 5a e8 74 6f 93 74 68 69 73 93 70 9a 47 1d 6f 73 69 74 69 6f 6e 2e 91 tiv...e..Z.to.this.p.G.osition..
1ae0 07 82 81 28 4e 6f 74 93 73 75 72 65 93 61 62 98 6f 75 74 93 74 68 69 73 93 73 70 98 65 63 69 0c ...(Not.sure.ab.out.this.sp.eci.
1b00 63 61 74 69 6f 6e 93 6f 72 93 68 6f 90 b8 e3 77 93 69 74 93 73 68 6f 75 6c 64 8e a1 8d 91 3f 00 cation.or.ho...w.it.should....?.
1b20 00 61 0b 65 63 74 96 03 55 55 73 70 72 65 61 64 69 6e 67 93 6f 66 93 70 72 6f 90 47 1d 6f 66 93 .a.ect..UUspreading.of.pro.G.of.
1b40 74 72 65 65 2e 29 8e 8e 9f 1e 00 00 8d 92 00 e9 00 00 34 8e 8e 8c f8 00 00 19 3a 01 83 92 c0 1c tree.)............4.......:.....
1b60 3b 00 00 00 00 03 e8 02 6c 00 00 01 98 00 00 00 16 00 04 f3 44 fd 00 27 3a 00 0a 00 00 00 0a 00 ;.......l...........D..':.......
1b80 00 00 06 63 6d 74 69 31 30 f3 42 df ea 3c 78 00 0a 00 00 00 0a 00 00 00 06 63 6d 74 74 31 30 f3 ...cmti10.B..<x..........cmtt10.
1ba0 2f a9 b1 90 ca 00 09 00 00 00 09 00 00 00 05 63 6d 73 79 39 f3 2e 35 f9 9e 22 00 09 00 00 00 09 /..............cmsy9..5.."......
1bc0 00 00 00 05 63 6d 6d 69 39 f3 2d 6f b4 8b c7 00 09 00 00 00 09 00 00 00 04 63 6d 72 39 f3 21 9b ....cmmi9.-o.............cmr9.!.
1be0 bb 88 40 00 0c 00 00 00 0c 00 00 00 06 63 6d 74 69 31 32 f3 1e df 86 b5 54 00 0c 00 00 00 0c 00 ..@..........cmti12.....T.......
1c00 00 00 06 63 6d 74 74 31 32 f3 14 10 cd be ce 00 06 00 00 00 06 00 00 00 05 63 6d 6d 69 36 f3 0f ...cmtt12................cmmi6..
1c20 58 ab 51 0b 00 0c 00 00 00 0c 00 00 00 05 63 6d 72 31 32 f3 0e 44 d3 ed 74 00 11 47 ae 00 11 47 X.Q...........cmr12..D..t..G...G
1c40 ae 00 05 63 6d 72 31 37 f3 0d 21 22 2c 9a 00 0a 00 00 00 0a 00 00 00 06 63 6d 73 79 31 30 f3 0a ...cmr17..!",...........cmsy10..
1c60 0b a0 62 3e 00 0a 00 00 00 0a 00 00 00 06 63 6d 6d 69 31 30 f3 07 4b f1 60 79 00 0a 00 00 00 0a ..b>..........cmmi10..K.`y......
1c80 00 00 00 05 63 6d 72 31 30 f3 06 d9 93 a0 52 00 07 00 00 00 07 00 00 00 04 63 6d 72 37 f9 00 00 ....cmr10.....R..........cmr7...
1ca0 1b 56 02 df df df df df .V......