/ back2roots/padua / padua.7z / padua / lang / SBProlog-1.zoo / SBProlog / sbp / libraries / cmplib / $convrhs1

< prev

next >

view JSON data

view as text

open on a Mac

open on a PC

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 11 12 13 03 00 00 00 f4 | 00 00 03 4a 00 00 00 23 |........|...J...#|
|00000010| 00 00 00 7c 0d 14 24 63 | 6f 6e 76 72 68 73 5f 23 |...|..$c|onvrhs_#|
|00000020| 35 37 32 39 5f 23 35 37 | 33 30 ff ff ff fe 03 12 |5729_#57|30......|
|00000030| 24 63 6f 6e 76 72 68 73 | 5f 6e 65 78 74 6c 69 74 |$convrhs|_nextlit|
|00000040| 6e 6f ff ff ff fe 08 09 | 24 63 6f 6e 76 67 6f 61 |no......|$convgoa|
|00000050| 6c ff ff ff fe 03 03 61 | 6e 64 00 00 00 00 0c 08 |l......a|nd......|
|00000060| 24 63 6f 6e 76 72 68 73 | ff ff ff fe 03 0b 24 6c |$convrhs|......$l|
|00000070| 6f 67 69 63 61 6c 5f 6f | 72 ff ff ff fe 02 01 3b |ogical_o|r......;|
|00000080| ff ff ff fe 03 02 6f 72 | ff ff ff fe 02 08 24 6c |......or|......$l|
|00000090| 65 6e 67 74 68 31 ff ff | ff fe 03 0c 24 70 72 65 |ength1..|....$pre|
|000000a0| 66 69 78 5f 6c 69 73 74 | ff ff ff fe 03 04 24 6d |fix_list|......$m|
|000000b0| 61 78 ff ff ff fe 03 0c | 69 66 5f 74 68 65 6e 5f |ax......|if_then_|
|000000c0| 65 6c 73 65 ff ff ff fe | 04 0c 69 66 5f 74 68 65 |else....|..if_the|
|000000d0| 6e 5f 65 6c 73 65 ff ff | ff fe 08 0d 24 63 6f 6e |n_else..|....$con|
|000000e0| 76 72 68 73 5f 74 65 73 | 74 ff ff ff fe 02 01 2c |vrhs_tes|t......,|
|000000f0| 00 00 00 02 0d 0e 24 63 | 6f 6e 76 72 68 73 5f 23 |......$c|onvrhs_#|
|00000100| 35 37 32 39 a7 0d a3 0d | 00 00 00 0e a5 0d 00 00 |5729....|........|
|00000110| 00 14 ec 00 00 00 00 00 | e9 00 00 00 02 01 00 00 |........|........|
|00000120| 03 02 00 00 04 03 00 00 | 05 04 01 00 05 05 00 00 |........|........|
|00000130| 06 06 00 00 07 07 00 00 | 08 09 0e 0a 00 00 00 00 |........|........|
|00000140| 0e 0b 00 00 00 00 00 00 | 09 0c 11 00 07 02 d1 00 |........|........|
|00000150| 08 03 e8 0a 00 00 00 01 | e0 00 02 01 e0 00 03 02 |........|........|
|00000160| e0 00 05 03 e0 00 04 04 | e0 00 06 05 e0 00 07 06 |........|........|
|00000170| e0 00 08 07 e0 00 09 08 | ea 00 ec 00 00 00 00 02 |........|........|
|00000180| b3 01 00 00 17 be 00 00 | 17 be a3 0d 00 00 00 98 |........|........|
|00000190| a4 0d 00 00 01 46 a5 0d | 00 00 02 3e e9 00 49 01 |.....F..|...>..I.|
|000001a0| 0a 01 08 02 06 02 00 00 | 00 03 0a 02 0a 0e 08 03 |........|........|
|000001b0| 00 00 04 03 00 00 05 05 | 00 00 06 06 00 00 07 08 |........|........|
|000001c0| 00 00 08 09 00 00 09 0a | 00 00 0a 0b 00 00 0b 0c |........|........|
|000001d0| a9 0d 10 00 0c 05 10 00 | 0d 08 10 00 0e 0a 10 00 |........|........|
|000001e0| 0f 0b 0f 0c 00 00 00 00 | e8 12 00 00 00 04 11 00 |........|........|
|000001f0| 02 01 11 00 03 02 11 00 | 04 03 11 00 0c 04 11 00 |........|........|
|00000200| 05 05 11 00 06 06 11 00 | 0d 07 11 00 07 08 11 00 |........|........|
|00000210| 08 09 10 00 10 0a 10 00 | 11 0b 11 00 0b 0c e8 12 |........|........|
|00000220| 00 00 00 04 11 00 0e 01 | 11 00 10 02 11 00 09 03 |........|........|
|00000230| e8 12 00 00 00 05 e1 00 | 0f 01 e1 00 11 02 e0 00 |........|........|
|00000240| 0a 03 ea 00 ec 00 00 00 | 00 05 e9 00 06 01 00 00 |........|........|
|00000250| 00 06 08 02 08 03 06 02 | 00 00 00 07 08 04 0a 0e |........|........|
|00000260| 08 05 00 00 06 03 00 00 | 07 04 00 00 08 05 00 00 |........|........|
|00000270| 09 06 00 00 0a 07 00 00 | 0b 08 00 00 0c 09 0e 0a |........|........|
|00000280| 00 00 00 01 0e 0b 00 00 | 00 01 00 00 0d 0c a9 0d |........|........|
|00000290| 11 00 0c 01 10 00 0e 02 | e8 18 00 00 00 08 11 00 |........|........|
|000002a0| 02 01 11 00 04 02 11 00 | 06 03 11 00 07 04 10 00 |........|........|
|000002b0| 0f 05 11 00 09 06 11 00 | 0a 07 10 00 10 08 11 00 |........|........|
|000002c0| 0c 09 10 00 11 0a 10 00 | 12 0b 11 00 0d 0c e8 18 |........|........|
|000002d0| 00 00 00 04 e0 00 0f 01 | 0f 02 00 00 00 01 d7 00 |........|........|
|000002e0| 02 01 00 00 13 01 11 00 | 0c 01 11 00 0e 02 10 00 |........|........|
|000002f0| 14 03 e8 18 00 00 00 09 | 11 00 03 01 11 00 05 02 |........|........|
|00000300| 11 00 06 03 11 00 13 04 | 11 00 08 05 11 00 09 06 |........|........|
|00000310| 11 00 0a 07 10 00 15 08 | 11 00 14 09 10 00 16 0a |........|........|
|00000320| 10 00 17 0b 11 00 0d 0c | e8 18 00 00 00 04 e1 00 |........|........|
|00000330| 10 01 e1 00 15 02 e0 00 | 0b 03 ea 00 ec 00 00 00 |........|........|
|00000340| 00 0a e9 00 06 01 00 00 | 00 0b 0a 01 08 02 08 03 |........|........|
|00000350| 06 02 00 00 00 0c 0a 02 | 0a 0e 08 04 08 05 00 00 |........|........|
|00000360| 06 03 00 00 07 04 00 00 | 08 05 00 00 09 06 d1 00 |........|........|
|00000370| 07 06 00 00 0a 08 00 00 | 0b 09 0e 0a 00 00 00 01 |........|........|
|00000380| 00 00 0c 0b 00 00 0d 0c | a9 0d 11 00 09 05 10 00 |........|........|
|00000390| 0e 07 11 00 0b 08 e8 18 | 00 00 00 0d 11 00 0b 01 |........|........|
|000003a0| 10 00 0f 02 e8 18 00 00 | 00 08 11 00 02 01 11 00 |........|........|
|000003b0| 04 02 11 00 06 03 11 00 | 07 04 10 00 10 05 11 00 |........|........|
|000003c0| 09 06 11 00 0e 07 10 00 | 11 08 11 00 0b 09 10 00 |........|........|
|000003d0| 12 0a 10 00 13 0b 11 00 | 0d 0c e8 18 00 00 00 04 |........|........|
|000003e0| 11 00 0b 01 11 00 0f 02 | 10 00 14 03 e8 18 00 00 |........|........|
|000003f0| 00 09 11 00 03 01 11 00 | 05 02 11 00 06 03 11 00 |........|........|
|00000400| 10 04 11 00 08 05 11 00 | 09 06 11 00 0e 07 10 00 |........|........|
|00000410| 15 08 11 00 14 09 10 00 | 16 0a 10 00 17 0b 11 00 |........|........|
|00000420| 0d 0c e8 18 00 00 00 04 | 11 00 11 01 11 00 15 02 |........|........|
|00000430| 11 00 0a 03 e8 18 00 00 | 00 0a e1 00 13 01 e1 00 |........|........|
|00000440| 17 02 e0 00 0c 03 ea 00 | ec 00 00 00 00 05 00 00 |........|........|
|00000450| 00 00 00 00 00 03 73 00 | 00 00 0e 00 00 00 98 73 |......s.|.......s|
|00000460| 00 00 00 06 00 00 01 46 | 73 00 00 00 0b 00 00 02 |.......F|s.......|
|00000470| 3e ff 00 00 00 00 00 11 | 12 13 03 00 00 00 75 00 |>.......|......u.|
|00000480| 00 01 3c 00 00 00 00 ff | ff ff fe 03 03 61 6e 64 |..<.....|.....and|
|00000490| 00 00 00 00 08 0d 24 63 | 6f 6e 76 72 68 73 5f 74 |......$c|onvrhs_t|
|000004a0| 65 73 74 ff ff ff fe 02 | 01 3b ff ff ff fe 03 02 |est.....|.;......|
|000004b0| 6f 72 ff ff ff fe 03 04 | 24 6d 61 78 ff ff ff fe |or......|$max....|
|000004c0| 03 12 24 63 6f 6e 76 72 | 68 73 5f 6e 65 78 74 6c |..$convr|hs_nextl|
|000004d0| 69 74 6e 6f ff ff ff fe | 08 09 24 63 6f 6e 76 67 |itno....|..$convg|
|000004e0| 6f 61 6c 00 00 00 02 09 | 13 24 63 6f 6e 76 72 68 |oal.....|.$convrh|
|000004f0| 73 5f 74 65 73 74 5f 23 | 36 30 38 30 a7 09 a3 09 |s_test_#|6080....|
|00000500| 00 00 00 14 a4 09 00 00 | 00 70 a5 09 00 00 00 e6 |........|.p......|
|00000510| e9 00 49 01 0a 01 08 02 | 06 02 00 00 00 00 0a 02 |..I.....|........|
|00000520| 0a 0a 08 03 00 00 04 03 | 00 00 05 04 00 00 06 05 |........|........|
|00000530| 00 00 07 07 00 00 08 08 | a9 09 10 00 09 07 e8 0a |........|........|
|00000540| 00 00 00 01 e0 00 02 01 | e0 00 03 02 e0 00 04 03 |........|........|
|00000550| e0 00 05 04 e0 00 06 05 | e1 00 09 06 e0 00 07 07 |........|........|
|00000560| e0 00 08 08 ea 00 ec 00 | 00 00 00 01 e9 00 06 01 |........|........|
|00000570| 00 00 00 02 0a 01 08 02 | 06 02 00 00 00 03 0a 02 |........|........|
|00000580| 0a 0a 08 03 00 00 04 03 | 00 00 05 04 00 00 06 05 |........|........|
|00000590| 00 00 07 06 00 00 08 07 | 00 00 09 08 a9 09 10 00 |........|........|
|000005a0| 0a 07 e8 0c 00 00 00 01 | 11 00 02 01 11 00 03 02 |........|........|
|000005b0| 11 00 04 03 11 00 05 04 | 11 00 06 05 11 00 07 06 |........|........|
|000005c0| 10 00 0b 07 11 00 09 08 | e8 0c 00 00 00 01 e1 00 |........|........|
|000005d0| 0a 01 e1 00 0b 02 e0 00 | 08 03 ea 00 ec 00 00 00 |........|........|
|000005e0| 00 04 e9 00 00 00 02 01 | 00 00 03 02 00 00 04 03 |........|........|
|000005f0| 00 00 05 04 00 00 06 05 | 00 00 07 06 00 00 08 08 |........|........|
|00000600| 11 00 07 02 d1 00 07 03 | e8 09 00 00 00 05 e0 00 |........|........|
|00000610| 02 01 e0 00 03 02 e0 00 | 05 03 e0 00 04 04 e0 00 |........|........|
|00000620| 06 05 e0 00 07 06 e0 00 | 08 07 0f 08 00 00 00 00 |........|........|
|00000630| ea 00 ec 00 00 00 00 06 | ff 00 00 00 00 00 11 12 |........|........|
|00000640| 13 03 00 00 00 3d 00 00 | 00 6c 00 00 00 00 ff ff |.....=..|.l......|
|00000650| ff fe 02 05 24 75 6e 69 | 76 ff ff ff fe 02 07 24 |....$uni|v......$|
|00000660| 6c 65 6e 67 74 68 ff ff | ff fe 02 07 24 69 6e 6c |length..|....$inl|
|00000670| 69 6e 65 00 00 00 00 03 | 12 24 63 6f 6e 76 72 68 |ine.....|.$convrh|
|00000680| 73 5f 6e 65 78 74 6c 69 | 74 6e 6f e9 00 00 00 02 |s_nextli|tno.....|
|00000690| 02 00 00 03 03 17 02 18 | 04 18 05 e8 07 00 00 00 |........|........|
|000006a0| 00 11 00 05 01 10 00 06 | 02 e8 07 00 00 00 01 ef |........|........|
|000006b0| 07 00 00 00 2a a0 00 00 | 00 00 54 11 00 04 01 11 |....*...|..T.....|
|000006c0| 00 06 02 e8 07 00 00 00 | 02 e0 00 02 01 0f 02 00 |........|........|
|000006d0| 00 00 00 d7 00 02 01 01 | 00 03 01 ea 00 eb 00 a2 |........|........|
|000006e0| 00 e0 00 02 01 0f 02 00 | 00 00 01 d7 00 02 01 01 |........|........|
|000006f0| 00 03 01 ea 00 eb 00 ff | 00 00 00 00 00 11 12 13 |........|........|
|00000700| 03 00 00 00 b8 00 00 01 | e6 00 00 00 00 ff ff ff |........|........|
|00000710| fe 02 02 73 74 ff ff ff | fe 01 02 6e 76 ff ff ff |...st...|...nv...|
|00000720| fe 02 08 24 6d 65 6d 62 | 65 72 31 ff ff ff fe 03 |...$memb|er1.....|
|00000730| 01 63 ff ff ff fe 02 07 | 24 61 74 74 61 63 68 ff |.c......|$attach.|
|00000740| ff ff fe 02 02 69 73 ff | ff ff fe 03 05 5f 63 61 |.....is.|....._ca|
|00000750| 6c 6c ff ff ff fe 00 02 | 69 73 ff ff ff fe 02 01 |ll......|is......|
|00000760| 2b ff ff ff fe 00 06 69 | 6e 6c 69 6e 65 ff ff ff |+......i|nline...|
|00000770| fe 08 08 24 74 61 72 67 | 5f 69 73 ff ff ff fe 03 |...$targ|_is.....|
|00000780| 07 66 75 6e 63 74 6f 72 | ff ff ff fe 02 07 24 69 |.functor|......$i|
|00000790| 6e 6c 69 6e 65 ff ff ff | fe 0b 09 24 74 61 72 67 |nline...|...$targ|
|000007a0| 6c 69 73 74 ff ff ff fe | 0a 0c 24 63 6f 6e 73 74 |list....|..$const|
|000007b0| 72 5f 67 6f 61 6c 00 00 | 00 00 08 09 24 63 6f 6e |r_goal..|....$con|
|000007c0| 76 67 6f 61 6c e9 00 00 | 00 02 01 00 00 03 02 00 |vgoal...|........|
|000007d0| 00 04 03 00 00 05 04 00 | 00 06 06 00 00 07 07 00 |........|........|
|000007e0| 00 08 08 06 05 00 00 00 | 00 08 09 08 0a 16 01 00 |........|........|
|000007f0| 00 00 01 18 0b 10 00 0c | 02 e8 14 00 00 00 02 16 |........|........|
|00000800| 01 00 00 00 01 19 0b 10 | 00 0d 02 e8 14 00 00 00 |........|........|
|00000810| 02 16 01 00 00 00 03 19 | 06 18 0e 19 0d 11 00 09 |........|........|
|00000820| 02 e8 14 00 00 00 04 a6 | 0f ef 14 00 00 00 6a a0 |........|......j.|
|00000830| 00 00 00 01 2a 02 02 00 | 00 00 05 08 10 0a 04 a8 |....*...|........|
|00000840| 0f 17 05 18 11 1a 06 07 | 06 08 12 0d 00 02 03 00 |........|........|
|00000850| 00 00 06 0c 00 00 00 00 | 07 0b 05 09 0c b0 04 00 |........|........|
|00000860| 00 00 b6 00 00 00 b6 13 | 13 00 00 00 08 1b 04 1f |........|........|
|00000870| 00 00 00 00 00 f0 00 00 | 00 00 be 10 00 13 01 03 |........|........|
|00000880| 00 04 01 11 00 0e 01 0e | 01 00 00 00 02 14 01 00 |........|........|
|00000890| 00 00 09 11 00 0d 02 e8 | 14 00 00 00 02 11 00 10 |........|........|
|000008a0| 01 11 00 11 02 11 00 05 | 03 11 00 0a 04 11 00 04 |........|........|
|000008b0| 05 11 00 06 06 0f 07 00 | 00 00 01 11 00 08 08 e8 |........|........|
|000008c0| 14 00 00 00 0a e1 00 13 | 01 e0 00 12 02 e0 00 05 |........|........|
|000008d0| 03 e0 00 0a 04 e0 00 04 | 05 e0 00 06 06 0f 07 00 |........|........|
|000008e0| 00 00 02 e0 00 08 08 ea | 00 ec 00 00 00 00 0a a2 |........|........|
|000008f0| 00 11 00 02 01 10 00 10 | 02 11 00 0e 03 e8 14 00 |........|........|
|00000900| 00 00 0b a6 11 ef 14 00 | 00 01 46 a0 00 00 00 01 |........|..F.....|
|00000910| 72 11 00 10 01 11 00 0e | 02 e8 14 00 00 00 0c a8 |r.......|........|
|00000920| 11 14 01 00 00 00 09 11 | 00 0d 02 e8 14 00 00 00 |........|........|
|00000930| 02 f0 00 00 00 01 74 a2 | 00 11 00 02 01 11 00 0e |......t.|........|
|00000940| 02 10 00 12 03 11 00 05 | 04 11 00 0a 05 11 00 04 |........|........|
|00000950| 06 11 00 06 07 0f 08 00 | 00 00 01 10 00 13 09 11 |........|........|
|00000960| 00 07 0a 11 00 08 0b e8 | 14 00 00 00 0d e0 00 0e |........|........|
|00000970| 01 0f 02 00 00 00 01 d7 | 00 02 01 d1 00 01 05 e1 |........|........|
|00000980| 00 13 01 e1 00 10 02 e1 | 00 12 03 e1 00 0c 04 e0 |........|........|
|00000990| 00 04 06 e0 00 06 07 e0 | 00 0b 08 e0 00 0a 09 e0 |........|........|
|000009a0| 00 03 0a ea 00 ec 00 00 | 00 00 0e ff 00 00 00 00 |........|........|
|000009b0| 00 11 12 13 03 00 00 00 | 75 00 00 01 58 00 00 00 |........|u...X...|
|000009c0| 00 ff ff ff fe 03 05 5f | 63 61 6c 6c ff ff ff fe |......._|call....|
|000009d0| 01 02 6e 76 ff ff ff fe | 02 08 24 6d 65 6d 62 65 |..nv....|..$membe|
|000009e0| 72 31 ff ff ff fe 03 03 | 61 6e 64 ff ff ff fe 02 |r1......|and.....|
|000009f0| 01 3d ff ff ff fe 00 01 | 3d ff ff ff fe 02 01 76 |.=......|=......v|
|00000a00| ff ff ff fe 04 04 76 72 | 65 63 ff ff ff fe 01 06 |......vr|ec......|
|00000a10| 67 65 6e 6e 75 6d ff ff | ff fe 06 01 6f ff ff ff |gennum..|....o...|
|00000a20| fe 00 01 74 00 00 00 00 | 0a 0c 24 63 6f 6e 73 74 |...t....|..$const|
|00000a30| 72 5f 67 6f 61 6c b4 01 | 00 00 00 18 00 00 00 44 |r_goal..|.......D|
|00000a40| a3 0a 00 00 00 16 a5 0a | 00 00 00 3a 05 01 d1 00 |........|...:....|
|00000a50| 02 0b 06 0a 00 00 00 00 | 0b 0b 0b 03 0b 04 16 01 |........|........|
|00000a60| 00 00 00 01 1b 08 d1 00 | 04 02 ec 00 00 00 00 02 |........|........|
|00000a70| e9 00 07 01 f0 00 00 00 | 00 48 e9 00 46 01 0a 0b |........|.H..F...|
|00000a80| 08 02 00 00 03 02 00 00 | 04 03 00 00 05 04 00 00 |........|........|
|00000a90| 06 05 00 00 07 06 00 00 | 08 07 00 00 09 08 00 00 |........|........|
|00000aa0| 0a 09 06 0a 00 00 00 03 | 0a 03 0a 04 08 0b 06 0b |........|........|
|00000ab0| 00 00 00 04 0a 04 0a 05 | 06 03 00 00 00 00 0c 00 |........|........|
|00000ac0| 00 00 00 05 0a 06 08 0c | 07 06 0b 04 0a 07 07 07 |........|........|
|00000ad0| 0b 05 0d 00 06 04 00 00 | 00 06 0a 08 08 0d 02 0d |........|........|
|00000ae0| 00 00 00 07 0a 09 0a 0a | 0a 0c 0a 0d 16 01 00 00 |........|........|
|00000af0| 00 06 1b 08 18 0e 11 00 | 0a 02 e8 11 00 00 00 02 |........|........|
|00000b00| 10 00 0f 01 e8 11 00 00 | 00 08 16 01 00 00 00 09 |........|........|
|00000b10| 19 0f 19 07 19 08 19 06 | 1c 00 00 00 00 0a 19 0d |........|........|
|00000b20| 11 00 0e 02 e8 11 00 00 | 00 02 e0 00 06 01 0f 02 |........|........|
|00000b30| 00 00 00 01 d7 00 02 01 | 00 00 10 01 16 01 00 00 |........|........|
|00000b40| 00 01 19 09 11 00 0c 02 | e8 11 00 00 00 02 e0 00 |........|........|
|00000b50| 02 01 e0 00 03 02 e0 00 | 04 03 e0 00 05 04 e1 00 |........|........|
|00000b60| 10 05 e0 00 07 06 e0 00 | 08 07 e0 00 09 08 e0 00 |........|........|
|00000b70| 0a 09 e0 00 0b 0a ea 00 | b4 01 00 00 00 18 00 00 |........|........|
|00000b80| 00 44 a3 0a 00 00 00 16 | a5 0a 00 00 00 3a ff 00 |.D......|.....:..|
|00000b90| 00 00 00 00             |                         |....    |        |
+--------+-------------------------+-------------------------+--------+--------+