ofs | hex dump | ascii |
---|
0000 | 43 61 6d 6c 31 39 39 39 41 30 32 38 00 00 06 88 54 00 00 00 37 01 00 00 00 00 00 00 57 00 00 00 | Caml1999A028....T...7.......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 35 00 00 00 00 00 00 00 0b 00 00 00 44 00 00 00 | ....C...(.......5...........D... |
0060 | 32 00 00 00 21 00 00 00 38 00 00 00 00 00 00 00 1b 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 | 2...!...8..........."...6....... |
0080 | 38 00 00 00 00 00 00 00 1b 00 00 00 22 00 00 00 0b 00 00 00 43 00 00 00 32 00 00 00 21 00 00 00 | 8...........".......C...2...!... |
00a0 | 38 00 00 00 00 00 00 00 1b 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 | 8..........."...6.......8....... |
00c0 | 1b 00 00 00 26 00 00 00 03 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 1a 00 00 00 | ....&.......)...*............... |
00e0 | 21 00 00 00 0a 00 00 00 44 00 00 00 81 00 00 00 56 00 00 00 0b 00 00 00 02 00 00 00 0c 00 00 00 | !.......D.......V............... |
0100 | 0c 00 00 00 43 00 00 00 40 00 00 00 00 00 00 00 40 00 00 00 03 00 00 00 28 00 00 00 03 00 00 00 | ....C...@.......@.......(....... |
0120 | 35 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 01 00 00 00 25 00 00 00 04 00 00 00 29 00 00 00 | 5.......8...........%.......)... |
0140 | 2a 00 00 00 01 00 00 00 00 00 00 00 1a 00 00 00 21 00 00 00 0c 00 00 00 1a 00 00 00 21 00 00 00 | *...............!...........!... |
0160 | 0b 00 00 00 44 00 00 00 0a 00 00 00 57 00 00 00 01 00 02 00 24 00 00 00 24 00 00 00 03 00 00 00 | ....D.......W.......$...$....... |
0180 | 01 00 00 00 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 | ....D.......C...^.......V....... |
01a0 | 35 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 01 00 00 00 25 00 00 00 06 00 00 00 04 00 00 00 | 5.......8...........%........... |
01c0 | 0e 00 00 00 0c 00 00 00 44 00 00 00 0e 00 00 00 43 00 00 00 10 00 00 00 43 00 00 00 38 00 00 00 | ........D.......C.......C...8... |
01e0 | 00 00 00 00 24 00 00 00 22 00 00 00 40 00 00 00 00 00 00 00 41 00 00 00 02 00 00 00 28 00 00 00 | ....$..."...@.......A.......(... |
0200 | 05 00 00 00 35 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 01 00 00 00 25 00 00 00 06 00 00 00 | ....5.......8...........%....... |
0220 | 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 0b 00 00 00 5e 00 00 00 00 00 00 00 28 00 00 00 | )...*...............^.......(... |
0240 | 02 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 1a 00 00 00 21 00 00 00 0c 00 00 00 | ....)...*...............!....... |
0260 | 0b 00 00 00 44 00 00 00 0d 00 00 00 40 00 00 00 01 00 00 00 0c 00 00 00 43 00 00 00 0e 00 00 00 | ....D.......@...........C....... |
0280 | 09 00 00 00 2b 00 00 00 00 00 00 00 e6 ff ff ff 21 00 00 00 38 00 00 00 00 00 00 00 26 00 00 00 | ....+...........!...8.......&... |
02a0 | 22 00 00 00 40 00 00 00 00 00 00 00 40 00 00 00 01 00 00 00 28 00 00 00 03 00 00 00 00 00 00 00 | "...@.......@.......(........... |
02c0 | 68 00 00 00 0c 00 00 00 40 00 00 00 00 00 00 00 40 00 00 00 00 00 00 00 3f 00 00 00 00 00 00 00 | h.......@.......@.......?....... |
02e0 | 28 00 00 00 01 00 00 00 35 00 00 00 00 00 00 00 1b 00 00 00 38 00 00 00 00 00 00 00 0c 00 00 00 | (.......5...........8........... |
0300 | 22 00 00 00 63 00 00 00 1b 00 00 00 38 00 00 00 00 00 00 00 18 00 00 00 22 00 00 00 00 00 00 00 | "...c.......8..........."....... |
0320 | 1b 00 00 00 1a 00 00 00 26 00 00 00 03 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 65 00 00 00 | ........&.......)...*.......e... |
0340 | 0b 00 00 00 38 00 00 00 00 00 00 00 08 00 00 00 22 00 00 00 01 00 00 00 1b 00 00 00 21 00 00 00 | ....8..........."...........!... |
0360 | 0a 00 00 00 56 00 00 00 17 00 00 00 00 00 00 00 43 00 00 00 0c 00 00 00 1a 00 00 00 22 00 00 00 | ....V...........C..........."... |
0380 | 00 00 00 00 44 00 00 00 0c 00 00 00 1a 00 00 00 2b 00 00 00 02 00 00 00 d4 ff ff ff 38 00 00 00 | ....D...........+...........8... |
03a0 | 00 00 00 00 0e 00 00 00 22 00 00 00 63 00 00 00 0c 00 00 00 38 00 00 00 00 00 00 00 18 00 00 00 | ........"...c.......8........... |
03c0 | 22 00 00 00 13 00 00 00 01 00 00 00 63 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 04 00 00 00 | "...........c.......8........... |
03e0 | 22 00 00 00 35 00 00 00 00 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 0c 00 00 00 22 00 00 00 | "...5...........8..........."... |
0400 | 63 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 18 00 00 00 22 00 00 00 01 00 00 00 1c 00 00 00 | c.......8..........."........... |
0420 | 21 00 00 00 0b 00 00 00 1a 00 00 00 22 00 00 00 63 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 | !..........."...c.......8....... |
0440 | 02 00 00 00 22 00 00 00 63 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 02 00 00 00 26 00 00 00 | ...."...c.......8...........&... |
0460 | 04 00 00 00 00 00 00 00 1a 00 00 00 21 00 00 00 44 00 00 00 28 00 00 00 01 00 00 00 00 00 00 00 | ............!...D...(........... |
0480 | 1a 00 00 00 21 00 00 00 43 00 00 00 28 00 00 00 01 00 00 00 00 00 00 00 57 00 00 00 00 00 04 00 | ....!...C...(...........W....... |
04a0 | 04 00 00 00 04 00 00 00 04 00 00 00 04 00 00 00 00 00 00 00 43 00 00 00 28 00 00 00 01 00 00 00 | ....................C...(....... |
04c0 | 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 1a 00 00 00 21 00 00 00 0b 00 00 00 38 00 00 00 | )...*...............!.......8... |
04e0 | 00 00 00 00 0c 00 00 00 26 00 00 00 04 00 00 00 2c 00 00 00 01 00 00 00 00 00 00 00 c7 fe ff ff | ........&.......,............... |
0500 | 00 00 00 00 2b 00 00 00 01 00 00 00 ee ff ff ff 09 00 00 00 2b 00 00 00 00 00 00 00 de ff ff ff | ....+...............+........... |
0520 | 0a 00 00 00 2b 00 00 00 01 00 00 00 d4 ff ff ff 0b 00 00 00 2b 00 00 00 01 00 00 00 ca ff ff ff | ....+...............+........... |
0540 | 0a 00 00 00 0c 00 00 00 0f 00 00 00 2b 00 00 00 03 00 00 00 78 ff ff ff 09 00 00 00 2b 00 00 00 | ............+.......x.......+... |
0560 | 00 00 00 00 56 ff ff ff 0e 00 00 00 2b 00 00 00 01 00 00 00 35 ff ff ff 0f 00 00 00 2b 00 00 00 | ....V.......+.......5.......+... |
0580 | 01 00 00 00 ef fe ff ff 10 00 00 00 2b 00 00 00 01 00 00 00 cf fe ff ff 36 00 00 00 00 00 00 00 | ............+...........6....... |
05a0 | 0e 00 00 00 21 00 00 00 36 00 00 00 00 00 00 00 0e 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 | ....!...6..........."...6....... |
05c0 | 0f 00 00 00 21 00 00 00 36 00 00 00 00 00 00 00 0f 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 | ....!...6..........."...6....... |
05e0 | 0f 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 36 00 00 00 00 00 00 00 36 00 00 00 00 00 00 00 | ...."...6.......6.......6....... |
0600 | 0a 00 00 00 12 00 00 00 09 00 00 00 21 00 00 00 0c 00 00 00 12 00 00 00 09 00 00 00 22 00 00 00 | ............!..............."... |
0620 | 0d 00 00 00 12 00 00 00 09 00 00 00 22 00 00 00 10 00 00 00 12 00 00 00 08 00 00 00 12 00 00 00 | ............"................... |
0640 | 0a 00 00 00 12 00 00 00 0c 00 00 00 12 00 00 00 0e 00 00 00 12 00 00 00 10 00 00 00 12 00 00 00 | ................................ |
0660 | 12 00 00 00 12 00 00 00 15 00 00 00 3e 00 00 00 08 00 00 00 00 00 00 00 13 00 00 00 10 00 00 00 | ............>................... |
0680 | 39 00 00 00 00 00 00 00 84 95 a6 be 00 00 05 89 00 00 01 51 00 00 04 67 00 00 04 32 d0 a0 08 00 | 9..................Q...g...2.... |
06a0 | 00 28 00 25 4c 6f 67 69 63 50 01 06 78 a0 a0 90 90 b2 21 46 b0 c0 28 6c 6f 67 69 63 2e 6d 6c 44 | .(.%LogicP..x.....!F..(logic.mlD |
06c0 | 00 66 00 74 c0 04 02 44 00 66 00 75 40 40 64 a0 a0 90 90 b2 21 29 b0 c0 04 0a 46 01 00 86 01 00 | .f.t...D.f.u@@d.....!)....F..... |
06e0 | dc c0 04 0b 46 01 00 86 01 00 dd 40 40 00 44 a0 a0 91 92 26 53 74 64 6c 69 62 00 5c a0 a0 90 90 | ....F......@@.D....&Stdlib.\.... |
0700 | b2 24 20 2d 3e 20 b0 c0 04 18 46 01 00 86 01 00 ba c0 04 19 46 01 00 86 01 00 be 40 40 00 6c a0 | .$.->.....F.........F......@@.l. |
0720 | a0 91 04 0e 00 74 a0 a0 91 04 11 01 00 94 a0 a0 90 90 b2 21 28 b0 c0 04 27 46 01 00 86 01 00 9b | .....t.............!(...'F...... |
0740 | c0 04 28 46 01 00 86 01 00 9c 40 40 01 00 a4 a0 a0 91 04 1d 01 00 ac a0 a0 90 90 b2 3b 74 68 6d | ..(F......@@................;thm |
0760 | 20 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 00 45 01 09 | .conclusion.is.not.False...3.E.. |
0780 | 4a 01 09 5d c0 04 34 00 45 01 09 4a 01 09 78 40 40 01 01 14 a0 a0 91 04 29 01 01 1c a0 a0 93 2d | J..]..4.E..J..x@@.......)......- |
07a0 | 63 61 6d 6c 5f 6e 6f 74 65 71 75 61 6c 01 01 84 a0 a0 90 90 b2 09 36 74 68 31 20 63 6f 6e 63 6c | caml_notequal.........6th1.concl |
07c0 | 75 73 69 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 | usion's.premise.is.not.th2.premi |
07e0 | 73 65 20 63 6f 6e 63 6c 75 73 69 6f 6e b0 c0 04 43 7f 01 07 fb 01 08 39 c0 04 44 7f 01 07 fb 01 | se.conclusion...C......9..D..... |
0800 | 08 6f 40 40 01 01 94 a0 a0 91 04 39 01 01 9c a0 a0 91 04 3c 01 01 d0 a0 a0 90 90 b2 09 21 74 68 | .o@@.......9.......<.........!th |
0820 | 31 20 63 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 | 1.conclusion.is.not.implication. |
0840 | c0 04 52 7e 01 07 b9 01 07 d8 c0 04 53 7e 01 07 b9 01 07 f9 40 40 01 01 f8 a0 a0 91 04 48 01 02 | ..R~........S~......@@.......H.. |
0860 | 00 a0 a0 93 04 1f 01 02 28 a0 a0 91 92 2c 53 74 64 6c 69 62 5f 5f 6c 69 73 74 01 02 88 a0 a0 90 | ........(....,Stdlib__list...... |
0880 | 90 b2 21 2c b0 c0 04 66 67 01 05 33 01 05 53 c0 04 67 67 01 05 33 01 05 54 40 40 01 02 dc a0 a0 | ..!,...fg..3..S..gg..3..T@@..... |
08a0 | 91 92 2e 53 74 64 6c 69 62 5f 5f 66 6f 72 6d 61 74 01 02 e8 a0 a0 91 04 05 01 03 00 a0 a0 91 04 | ...Stdlib__format............... |
08c0 | 08 01 03 38 a0 a0 91 04 19 01 03 90 a0 a0 91 04 0e 01 03 a8 a0 a0 91 04 11 01 03 c8 a0 a0 90 90 | ...8............................ |
08e0 | b2 23 e2 8a a2 b0 c0 04 83 6d 01 05 d9 01 05 f1 c0 04 84 6d 01 05 d9 01 05 f4 40 40 01 03 d8 a0 | .#.......m.........m......@@.... |
0900 | a0 91 04 1d 01 03 e4 a0 a0 91 04 20 01 03 fc a0 a0 91 04 23 01 04 2c a0 a0 91 04 26 01 04 44 a0 | ...................#..,....&..D. |
0920 | a0 91 04 29 01 04 d0 a0 a0 90 a2 40 a0 90 b2 21 70 b0 c0 04 9d 00 48 01 09 7c 01 09 ad c0 04 9e | ...).......@...!p.....H..|...... |
0940 | 00 48 01 09 7c 01 09 ae 40 40 40 01 05 8c a0 a0 90 a2 40 a0 90 b2 21 70 b0 c0 04 a8 00 48 01 09 | .H..|...@@@.......@...!p.....H.. |
0960 | 7c 01 09 94 c0 04 a9 00 48 01 09 7c 01 09 95 40 40 40 01 05 9c a0 a0 90 a2 40 a0 90 b2 21 70 b0 | |.......H..|...@@@.......@...!p. |
0980 | c0 04 b3 00 49 01 09 b3 01 09 f6 c0 04 b4 00 49 01 09 b3 01 09 f7 40 40 40 01 05 ac a0 a0 90 a2 | ....I..........I......@@@....... |
09a0 | 40 a0 90 b2 21 71 b0 c0 04 be 00 49 01 09 b3 01 09 dd c0 04 bf 00 49 01 09 b3 01 09 de 40 40 40 | @...!q.....I..........I......@@@ |
09c0 | 01 05 bc a0 a0 90 a2 40 a0 90 b2 21 70 b0 c0 04 c9 00 49 01 09 b3 01 09 cc c0 04 ca 00 49 01 09 | .......@...!p.....I..........I.. |
09e0 | b3 01 09 cd 40 40 40 01 05 cc a0 a0 90 a2 41 a0 a2 41 a0 a2 40 a0 90 b2 21 70 b0 c0 04 d8 00 4b | ....@@@.......A..A..@...!p.....K |
0a00 | 01 09 fe 01 0a 1a c0 04 d9 00 4b 01 09 fe 01 0a 1b 40 40 40 a0 a2 40 a0 90 b2 21 71 b0 c0 04 e1 | ..........K......@@@..@...!q.... |
0a20 | 00 4b 01 09 fe 01 0a 23 c0 04 e2 00 4b 01 09 fe 01 0a 24 40 40 40 40 a0 a2 40 a0 90 b2 21 72 b0 | .K.....#....K.....$@@@@..@...!r. |
0a40 | c0 04 ea 00 4b 01 09 fe 01 0a 2d c0 04 eb 00 4b 01 09 fe 01 0a 2e 40 40 40 40 01 05 dc a0 a0 90 | ....K.....-....K......@@@@...... |
0a60 | a2 41 a0 a2 40 a0 90 b2 21 70 b0 c0 04 f7 00 4c 01 0a 31 01 0a 47 c0 04 f8 00 4c 01 0a 31 01 0a | .A..@...!p.....L..1..G....L..1.. |
0a80 | 48 40 40 40 a0 a2 40 a0 90 b2 21 71 b0 c0 05 01 00 00 4c 01 0a 31 01 0a 50 c0 05 01 01 00 4c 01 | H@@@..@...!q......L..1..P.....L. |
0aa0 | 0a 31 01 0a 51 40 40 40 40 01 05 e4 a0 a0 90 a2 41 a0 a2 40 a0 90 b2 21 70 b0 c0 05 01 0d 00 4d | .1..Q@@@@.......A..@...!p......M |
0ac0 | 01 0a 54 01 0a 6a c0 05 01 0e 00 4d 01 0a 54 01 0a 6b 40 40 40 a0 a2 40 a0 90 b2 21 72 b0 c0 05 | ..T..j.....M..T..k@@@..@...!r... |
0ae0 | 01 16 00 4d 01 0a 54 01 0a 73 c0 05 01 17 00 4d 01 0a 54 01 0a 74 40 40 40 40 01 05 ec a0 a0 92 | ...M..T..s.....M..T..t@@@@...... |
0b00 | 92 05 01 24 01 06 74 40 a0 a0 2d 53 74 64 6c 69 62 5f 5f 75 63 68 61 72 90 30 ab 6f 1d f9 3a bf | ...$..t@..-Stdlib__uchar.0.o..:. |
0b20 | 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 d6 a8 de 25 c9 ee | ...>..CR<...+Stdlib__seq.0...%.. |
0b40 | 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 30 15 ce f0 25 58 | .Z.B..?.....,Stdlib__list.0...%X |
0b60 | 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 61 74 90 30 de 2a | .ev...O.......Stdlib__format.0.* |
0b80 | 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 75 66 66 65 72 90 | ........tG...A...Stdlib__buffer. |
0ba0 | 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 90 30 c2 1c 5d 26 | 0#Ka.9..8".R..e....&Stdlib.0..]& |
0bc0 | 41 64 61 b5 43 32 18 72 a5 51 ea 0d a0 a0 05 01 44 90 30 e2 54 10 2e 5c ed ae 1c f5 12 43 4c 08 | Ada.C2.r.Q......D.0.T..\.....CL. |
0be0 | 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 69 63 73 90 30 | '.#..8CamlinternalFormatBasics.0 |
0c00 | 3a 3c a1 83 86 27 f7 76 2f 49 67 9c e0 27 8a d1 40 a0 05 01 35 a0 04 da a0 04 e9 40 40 40 40 40 | :<...'.v/Ig..'..@...5......@@@@@ |
0c20 | 40 40 40 40 40 | @@@@@ |