ofs | hex dump | ascii |
---|
0000 | f7 02 01 83 92 c0 1c 3b 00 00 00 00 03 e8 1b 20 54 65 58 20 6f 75 74 70 75 74 20 31 39 39 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...... |