ofs | hex dump | ascii |
---|
0000 | 43 61 6d 6c 31 39 39 39 4f 30 32 38 00 00 05 64 54 00 00 00 1b 01 00 00 00 00 00 00 57 00 00 00 | Caml1999O028...dT...........W... |
0020 | 01 00 02 00 03 00 00 00 07 00 00 00 0b 00 00 00 35 00 00 00 00 00 00 00 28 00 00 00 01 00 00 00 | ................5.......(....... |
0040 | 00 00 00 00 43 00 00 00 28 00 00 00 01 00 00 00 00 00 00 00 43 00 00 00 0a 00 00 00 32 00 00 00 | ....C...(...........C.......2... |
0060 | 21 00 00 00 0c 00 00 00 44 00 00 00 32 00 00 00 21 00 00 00 36 00 00 00 00 00 00 00 38 00 00 00 | !.......D...2...!...6.......8... |
0080 | 00 00 00 00 1b 00 00 00 22 00 00 00 0c 00 00 00 57 00 00 00 01 00 02 00 12 00 00 00 12 00 00 00 | ........".......W............... |
00a0 | 03 00 00 00 35 00 00 00 00 00 00 00 0c 00 00 00 38 00 00 00 00 00 00 00 1b 00 00 00 22 00 00 00 | ....5...........8..........."... |
00c0 | 36 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 1b 00 00 00 22 00 00 00 54 00 00 00 02 00 00 00 | 6.......8..........."...T....... |
00e0 | 01 00 00 00 38 00 00 00 00 00 00 00 1b 00 00 00 26 00 00 00 05 00 00 00 29 00 00 00 2a 00 00 00 | ....8...........&.......)...*... |
0100 | 01 00 00 00 01 00 00 00 44 00 00 00 81 00 00 00 56 00 00 00 08 00 00 00 00 00 00 00 0c 00 00 00 | ........D.......V............... |
0120 | 43 00 00 00 40 00 00 00 00 00 00 00 28 00 00 00 02 00 00 00 35 00 00 00 00 00 00 00 38 00 00 00 | C...@.......(.......5.......8... |
0140 | 00 00 00 00 01 00 00 00 25 00 00 00 03 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 00 00 00 00 | ........%.......)...*........... |
0160 | 44 00 00 00 0a 00 00 00 57 00 00 00 01 00 02 00 20 00 00 00 20 00 00 00 03 00 00 00 02 00 00 00 | D.......W....................... |
0180 | 44 00 00 00 0b 00 00 00 43 00 00 00 5e 00 00 00 00 00 00 00 56 00 00 00 08 00 00 00 35 00 00 00 | D.......C...^.......V.......5... |
01a0 | 00 00 00 00 38 00 00 00 00 00 00 00 01 00 00 00 25 00 00 00 04 00 00 00 00 00 00 00 44 00 00 00 | ....8...........%...........D... |
01c0 | 0d 00 00 00 43 00 00 00 0d 00 00 00 43 00 00 00 38 00 00 00 00 00 00 00 24 00 00 00 22 00 00 00 | ....C.......C...8.......$..."... |
01e0 | 40 00 00 00 00 00 00 00 28 00 00 00 03 00 00 00 35 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 | @.......(.......5.......8....... |
0200 | 01 00 00 00 25 00 00 00 04 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 0b 00 00 00 | ....%.......)...*............... |
0220 | 5e 00 00 00 00 00 00 00 28 00 00 00 02 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 | ^.......(.......)...*........... |
0240 | 44 00 00 00 0b 00 00 00 40 00 00 00 01 00 00 00 0c 00 00 00 43 00 00 00 0c 00 00 00 09 00 00 00 | D.......@...........C........... |
0260 | 2b 00 00 00 00 00 00 00 ea ff ff ff 21 00 00 00 38 00 00 00 00 00 00 00 26 00 00 00 22 00 00 00 | +...........!...8.......&..."... |
0280 | 40 00 00 00 00 00 00 00 28 00 00 00 02 00 00 00 00 00 00 00 68 00 00 00 0c 00 00 00 40 00 00 00 | @.......(...........h.......@... |
02a0 | 00 00 00 00 40 00 00 00 00 00 00 00 28 00 00 00 01 00 00 00 35 00 00 00 00 00 00 00 1b 00 00 00 | ....@.......(.......5........... |
02c0 | 38 00 00 00 00 00 00 00 0c 00 00 00 22 00 00 00 63 00 00 00 1b 00 00 00 38 00 00 00 00 00 00 00 | 8..........."...c.......8....... |
02e0 | 18 00 00 00 22 00 00 00 00 00 00 00 1b 00 00 00 1a 00 00 00 26 00 00 00 03 00 00 00 29 00 00 00 | ...."...............&.......)... |
0300 | 2a 00 00 00 01 00 00 00 65 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 08 00 00 00 22 00 00 00 | *.......e.......8..........."... |
0320 | 01 00 00 00 1b 00 00 00 21 00 00 00 0a 00 00 00 56 00 00 00 17 00 00 00 00 00 00 00 43 00 00 00 | ........!.......V...........C... |
0340 | 0c 00 00 00 1a 00 00 00 22 00 00 00 00 00 00 00 44 00 00 00 0c 00 00 00 1a 00 00 00 2b 00 00 00 | ........".......D...........+... |
0360 | 02 00 00 00 d4 ff ff ff 38 00 00 00 00 00 00 00 0e 00 00 00 22 00 00 00 63 00 00 00 0c 00 00 00 | ........8..........."...c....... |
0380 | 38 00 00 00 00 00 00 00 18 00 00 00 22 00 00 00 13 00 00 00 01 00 00 00 63 00 00 00 0b 00 00 00 | 8..........."...........c....... |
03a0 | 38 00 00 00 00 00 00 00 04 00 00 00 22 00 00 00 35 00 00 00 00 00 00 00 0b 00 00 00 38 00 00 00 | 8..........."...5...........8... |
03c0 | 00 00 00 00 0c 00 00 00 22 00 00 00 63 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 18 00 00 00 | ........"...c.......8........... |
03e0 | 22 00 00 00 01 00 00 00 1c 00 00 00 21 00 00 00 0b 00 00 00 1a 00 00 00 22 00 00 00 63 00 00 00 | "...........!..........."...c... |
0400 | 0b 00 00 00 38 00 00 00 00 00 00 00 02 00 00 00 22 00 00 00 63 00 00 00 0b 00 00 00 38 00 00 00 | ....8..........."...c.......8... |
0420 | 00 00 00 00 02 00 00 00 26 00 00 00 04 00 00 00 00 00 00 00 44 00 00 00 28 00 00 00 01 00 00 00 | ........&...........D...(....... |
0440 | 00 00 00 00 43 00 00 00 28 00 00 00 01 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 | ....C...(.......)...*........... |
0460 | 1a 00 00 00 21 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 0c 00 00 00 26 00 00 00 04 00 00 00 | ....!.......8...........&....... |
0480 | 2c 00 00 00 01 00 00 00 00 00 00 00 e3 fe ff ff 00 00 00 00 2b 00 00 00 01 00 00 00 ee ff ff ff | ,...................+........... |
04a0 | 09 00 00 00 2b 00 00 00 00 00 00 00 e5 ff ff ff 09 00 00 00 2b 00 00 00 00 00 00 00 dd ff ff ff | ....+...............+........... |
04c0 | 0a 00 00 00 0c 00 00 00 0e 00 00 00 2b 00 00 00 03 00 00 00 8b ff ff ff 09 00 00 00 2b 00 00 00 | ............+...............+... |
04e0 | 00 00 00 00 6b ff ff ff 09 00 00 00 2b 00 00 00 00 00 00 00 50 ff ff ff 09 00 00 00 2b 00 00 00 | ....k.......+.......P.......+... |
0500 | 00 00 00 00 14 ff ff ff 09 00 00 00 2b 00 00 00 00 00 00 00 fa fe ff ff 0a 00 00 00 0c 00 00 00 | ............+................... |
0520 | 0e 00 00 00 10 00 00 00 12 00 00 00 08 00 00 00 12 00 00 00 0a 00 00 00 12 00 00 00 0c 00 00 00 | ................................ |
0540 | 12 00 00 00 0e 00 00 00 3e 00 00 00 08 00 00 00 00 00 00 00 13 00 00 00 09 00 00 00 39 00 00 00 | ........>...................9... |
0560 | 00 00 00 00 84 95 a6 be 00 00 03 ac 00 00 00 cb 00 00 02 aa 00 00 02 75 08 00 00 28 00 25 4c 6f | .......................u...(.%Lo |
0580 | 67 69 63 50 01 05 54 a0 a0 90 90 b2 23 e2 8a a5 b0 c0 28 6c 6f 67 69 63 2e 6d 6c 45 00 6e 00 7c | gicP..T.....#.....(logic.mlE.n.| |
05a0 | c0 04 02 45 00 6e 00 7f 40 40 64 a0 a0 90 90 b2 25 20 e2 87 92 20 b0 c0 04 0a 4a 01 01 04 01 01 | ...E.n..@@d.....%.........J..... |
05c0 | 19 c0 04 0b 4a 01 01 04 01 01 1e 40 40 00 68 a0 a0 91 92 26 53 74 64 6c 69 62 00 70 a0 a0 90 90 | ....J......@@.h....&Stdlib.p.... |
05e0 | b2 21 29 b0 c0 04 18 49 01 00 de 01 01 01 c0 04 19 49 01 00 de 01 01 02 40 40 01 00 98 a0 a0 91 | .!)....I.........I......@@...... |
0600 | 04 0e 01 00 a4 a0 a0 90 90 b2 21 28 b0 c0 04 24 49 01 00 de 01 00 f4 c0 04 25 49 01 00 de 01 00 | ..........!(...$I........%I..... |
0620 | f5 40 40 01 00 b4 a0 a0 91 04 1a 01 00 bc a0 a0 91 04 1d 01 00 d8 a0 a0 90 90 b2 3b 74 68 6d 20 | .@@........................;thm. |
0640 | 63 6f 6e 63 6c 75 73 69 6f 6e 20 69 73 20 6e 6f 74 20 46 61 6c 73 65 b0 c0 04 33 7d 01 07 8e 01 | conclusion.is.not.False...3}.... |
0660 | 07 a1 c0 04 34 7d 01 07 8e 01 07 bc 40 40 01 01 28 a0 a0 91 04 29 01 01 30 a0 a0 93 2d 63 61 6d | ....4}......@@..(....)..0...-cam |
0680 | 6c 5f 6e 6f 74 65 71 75 61 6c 01 01 80 a0 a0 90 90 b2 09 36 74 68 31 20 63 6f 6e 63 6c 75 73 69 | l_notequal.........6th1.conclusi |
06a0 | 6f 6e 27 73 20 70 72 65 6d 69 73 65 20 69 73 20 6e 6f 74 20 74 68 32 20 70 72 65 6d 69 73 65 20 | on's.premise.is.not.th2.premise. |
06c0 | 63 6f 6e 63 6c 75 73 69 6f 6e b0 c0 04 43 77 01 06 84 01 06 bd c0 04 44 77 01 06 84 01 06 f3 40 | conclusion...Cw........Dw......@ |
06e0 | 40 01 01 90 a0 a0 91 04 39 01 01 98 a0 a0 91 04 3c 01 01 c4 a0 a0 90 90 b2 09 21 74 68 31 20 63 | @.......9.......<.........!th1.c |
0700 | 6f 6e 63 6c 75 73 69 6f 6e 20 69 73 20 6e 6f 74 20 69 6d 70 6c 69 63 61 74 69 6f 6e b0 c0 04 52 | onclusion.is.not.implication...R |
0720 | 76 01 06 42 01 06 61 c0 04 53 76 01 06 42 01 06 82 40 40 01 01 e4 a0 a0 91 04 48 01 01 ec a0 a0 | v..B..a..Sv..B...@@.......H..... |
0740 | 93 04 1f 01 02 14 a0 a0 91 92 2c 53 74 64 6c 69 62 5f 5f 6c 69 73 74 01 02 64 a0 a0 90 90 b2 21 | ..........,Stdlib__list..d.....! |
0760 | 2c b0 c0 04 66 62 01 04 4f 01 04 6f c0 04 67 62 01 04 4f 01 04 70 40 40 01 02 a8 a0 a0 91 92 2e | ,...fb..O..o..gb..O..p@@........ |
0780 | 53 74 64 6c 69 62 5f 5f 66 6f 72 6d 61 74 01 02 b4 a0 a0 91 04 05 01 02 cc a0 a0 91 04 08 01 03 | Stdlib__format.................. |
07a0 | 04 a0 a0 91 04 19 01 03 5c a0 a0 91 04 0e 01 03 74 a0 a0 91 04 11 01 03 94 a0 a0 90 90 b2 23 e2 | ........\.......t.............#. |
07c0 | 8a a2 b0 c0 04 83 68 01 04 f5 01 05 0d c0 04 84 68 01 04 f5 01 05 10 40 40 01 03 a4 a0 a0 91 04 | ......h.........h......@@....... |
07e0 | 1d 01 03 b0 a0 a0 91 04 20 01 03 c8 a0 a0 91 04 23 01 03 f8 a0 a0 91 04 26 01 04 10 a0 a0 91 04 | ................#.......&....... |
0800 | 29 01 04 60 a0 a0 92 92 04 a0 01 05 50 40 a0 a0 2d 53 74 64 6c 69 62 5f 5f 75 63 68 61 72 90 30 | )..`........P@..-Stdlib__uchar.0 |
0820 | ab 6f 1d f9 3a bf 9e 80 0a 3e 0d 15 43 52 3c 96 a0 a0 2b 53 74 64 6c 69 62 5f 5f 73 65 71 90 30 | .o..:....>..CR<...+Stdlib__seq.0 |
0840 | d6 a8 de 25 c9 ee cf 5a e9 42 0a 9f 3f 8b 2e 88 a0 a0 2c 53 74 64 6c 69 62 5f 5f 6c 69 73 74 90 | ...%...Z.B..?.....,Stdlib__list. |
0860 | 30 15 ce f0 25 58 cc 65 76 c6 16 c8 4f 09 d5 b0 ea a0 a0 2e 53 74 64 6c 69 62 5f 5f 66 6f 72 6d | 0...%X.ev...O.......Stdlib__form |
0880 | 61 74 90 30 de 2a 0c c4 d0 ca 0c c2 18 de 74 47 f4 8a aa 41 a0 a0 2e 53 74 64 6c 69 62 5f 5f 62 | at.0.*........tG...A...Stdlib__b |
08a0 | 75 66 66 65 72 90 30 23 4b 61 fa 39 06 00 38 22 20 52 87 eb 65 a4 81 a0 a0 26 53 74 64 6c 69 62 | uffer.0#Ka.9..8".R..e....&Stdlib |
08c0 | 90 30 c2 1c 5d 26 41 64 61 b5 43 32 18 72 a5 51 ea 0d a0 a0 04 c0 90 30 e2 54 10 2e 5c ed ae 1c | .0..]&Ada.C2.r.Q.......0.T..\... |
08e0 | f5 12 43 4c 08 27 a7 23 a0 a0 38 43 61 6d 6c 69 6e 74 65 72 6e 61 6c 46 6f 72 6d 61 74 42 61 73 | ..CL.'.#..8CamlinternalFormatBas |
0900 | 69 63 73 90 30 3a 3c a1 83 86 27 f7 76 2f 49 67 9c e0 27 8a d1 40 a0 04 b1 a0 04 56 a0 04 65 40 | ics.0:<...'.v/Ig..'..@.....V..e@ |
0920 | 40 40 40 40 | @@@@ |