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

< prev

next >

view JSON data

view as text

open on a Mac

open on a PC

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 11 12 13 03 00 00 00 49 | 00 00 00 b2 00 00 00 00 |.......I|........|
|00000010| ff ff ff fe 06 04 70 72 | 65 64 ff ff ff fe 01 05 |......pr|ed......|
|00000020| 69 6e 64 65 78 ff ff ff | fe 02 08 24 6d 65 6d 62 |index...|...$memb|
|00000030| 65 72 31 ff ff ff fe 00 | 05 69 6e 64 65 78 ff ff |er1.....|.index..|
|00000040| ff fe 06 08 24 74 69 6e | 64 65 78 31 00 00 00 00 |....$tin|dex1....|
|00000050| 02 07 24 74 69 6e 64 65 | 78 e9 00 00 00 02 01 00 |..$tinde|x.......|
|00000060| 00 03 02 02 02 00 00 00 | 00 08 04 08 05 0a 03 0a |........|........|
|00000070| 04 08 06 08 07 ef 09 00 | 00 00 22 a0 00 00 00 00 |........|..".....|
|00000080| a2 e0 00 05 01 f4 01 ff | ff ff ff 17 05 1a 06 1a |........|........|
|00000090| 07 11 00 06 01 07 01 0a | 08 0b 05 ef 09 00 00 00 |........|........|
|000000a0| 48 a0 00 00 00 00 66 16 | 01 00 00 00 01 18 08 11 |H.....f.|........|
|000000b0| 00 07 02 e8 09 00 00 00 | 02 f0 00 00 00 00 82 a2 |........|........|
|000000c0| 00 14 01 00 00 00 03 11 | 00 07 02 e8 09 00 00 00 |........|........|
|000000d0| 02 10 00 08 01 0e 01 00 | 00 00 01 e0 00 04 01 e0 |........|........|
|000000e0| 00 05 02 e0 00 06 03 e0 | 00 07 04 e0 00 08 05 e0 |........|........|
|000000f0| 00 03 06 ea 00 ec 00 00 | 00 00 04 a2 00 e0 00 03 |........|........|
|00000100| 01 07 01 09 02 0d 00 ea | 00 eb 00 ff 00 00 00 00 |........|........|
|00000110| 00 11 12 13 03 00 00 00 | 5d 00 00 00 9e 00 00 00 |........|].......|
|00000120| 00 ff ff ff fe 03 0e 24 | 74 69 6e 64 65 78 5f 67 |.......$|tindex_g|
|00000130| 65 74 61 72 67 ff ff ff | fe 02 16 24 74 69 6e 64 |etarg...|...$tind|
|00000140| 65 78 5f 73 70 6c 69 74 | 5f 61 72 67 5f 63 6c 61 |ex_split|_arg_cla|
|00000150| 75 ff ff ff fe 06 04 70 | 72 65 64 ff ff ff fe 07 |u......p|red.....|
|00000160| 0f 24 74 69 6e 64 65 78 | 5f 6e 65 77 63 6c 61 75 |.$tindex|_newclau|
|00000170| 00 00 00 00 06 08 24 74 | 69 6e 64 65 78 31 e9 00 |......$t|index1..|
|00000180| 00 00 02 01 00 00 03 02 | 00 00 04 03 00 00 05 04 |........|........|
|00000190| 00 00 06 05 00 00 07 06 | 11 00 04 01 11 00 06 02 |........|........|
|000001a0| 10 00 08 03 e8 0a 00 00 | 00 00 11 00 08 01 10 00 |........|........|
|000001b0| 09 02 e8 0a 00 00 00 01 | ef 0a 00 00 00 40 a0 00 |........|.....@..|
|000001c0| 00 00 00 78 11 00 09 01 | 07 01 0a 08 0d 00 16 09 |...x....|........|
|000001d0| 00 00 00 02 19 02 19 03 | 1f 00 00 00 00 00 1f 00 |........|........|
|000001e0| 00 00 00 00 19 04 19 05 | e0 00 07 01 07 01 0b 09 |........|........|
|000001f0| 0d 00 ea 00 eb 00 a2 00 | e0 00 02 01 e0 00 03 02 |........|........|
|00000200| e0 00 06 03 e0 00 05 04 | e1 00 09 05 e0 00 04 06 |........|........|
|00000210| e0 00 07 07 ea 00 ec 00 | 00 00 00 03 ff 00 00 00 |........|........|
|00000220| 00 00 11 12 13 03 00 00 | 00 40 00 00 00 c2 00 00 |........|.@......|
|00000230| 00 00 ff ff ff fe 02 04 | 66 61 63 74 ff ff ff fe |........|fact....|
|00000240| 04 04 72 75 6c 65 ff ff | ff fe 03 04 24 61 72 67 |..rule..|....$arg|
|00000250| ff ff ff fe 00 01 76 ff | ff ff fe 00 01 62 00 00 |......v.|.....b..|
|00000260| 00 00 03 0e 24 74 69 6e | 64 65 78 5f 67 65 74 61 |....$tin|dex_geta|
|00000270| 72 67 b4 01 00 00 00 18 | 00 00 00 26 a3 03 00 00 |rg......|...&....|
|00000280| 00 16 a5 03 00 00 00 1c | 05 01 05 03 eb 00 e9 00 |........|........|
|00000290| 07 01 f0 00 00 00 00 2a | e9 00 46 01 08 02 08 03 |.......*|..F.....|
|000002a0| 00 00 04 02 07 03 08 05 | 08 06 ef 09 00 00 00 3e |........|.......>|
|000002b0| a0 00 00 00 00 54 02 02 | 00 00 00 00 08 07 0a 04 |.....T..|........|
|000002c0| f0 00 00 00 00 64 a2 00 | 02 02 00 00 00 01 08 07 |.....d..|........|
|000002d0| 0a 04 0a 05 0a 06 11 00 | 04 01 11 00 07 02 10 00 |........|........|
|000002e0| 08 03 e8 09 00 00 00 02 | 11 00 08 01 b0 01 00 00 |........|........|
|000002f0| 00 94 00 00 00 94 11 00 | 05 01 04 01 00 00 00 03 |........|........|
|00000300| f0 00 00 00 00 9e 11 00 | 05 01 04 01 00 00 00 04 |........|........|
|00000310| e0 00 03 01 e0 00 04 02 | e0 00 06 03 ea 00 b4 01 |........|........|
|00000320| 00 00 00 18 00 00 00 26 | a3 03 00 00 00 16 a5 03 |.......&|........|
|00000330| 00 00 00 1c ff 00 00 00 | 00 00 11 12 13 03 00 00 |........|........|
|00000340| 00 39 00 00 00 66 00 00 | 00 00 ff ff ff fe 04 17 |.9...f..|........|
|00000350| 24 74 69 6e 64 65 78 5f | 73 70 6c 69 74 5f 61 72 |$tindex_|split_ar|
|00000360| 67 5f 63 6c 61 75 31 00 | 00 00 00 02 16 24 74 69 |g_clau1.|.....$ti|
|00000370| 6e 64 65 78 5f 73 70 6c | 69 74 5f 61 72 67 5f 63 |ndex_spl|it_arg_c|
|00000380| 6c 61 75 b4 01 00 00 00 | 18 00 00 00 2a a3 02 00 |lau.....|....*...|
|00000390| 00 00 16 a5 02 00 00 00 | 1c 05 01 05 02 eb 00 e9 |........|........|
|000003a0| 00 07 01 0a 01 0a 05 f0 | 00 00 00 00 30 e9 00 47 |........|....0..G|
|000003b0| 01 01 05 07 02 0a 04 08 | 02 17 02 1b 01 1b 05 10 |........|........|
|000003c0| 00 03 03 e8 04 00 00 00 | 00 e1 00 03 01 e0 00 02 |........|........|
|000003d0| 02 ea 00 b4 01 00 00 00 | 18 00 00 00 2a a3 02 00 |........|....*...|
|000003e0| 00 00 16 a5 02 00 00 00 | 1c ff 00 00 00 00 00 11 |........|........|
|000003f0| 12 13 03 00 00 00 41 00 | 00 00 4a 00 00 00 00 00 |......A.|..J.....|
|00000400| 00 00 1a 04 1e 24 74 69 | 6e 64 65 78 5f 73 70 6c |.....$ti|ndex_spl|
|00000410| 69 74 5f 61 72 67 5f 63 | 6c 61 75 31 5f 23 32 31 |it_arg_c|lau1_#21|
|00000420| 37 37 37 00 00 00 00 04 | 17 24 74 69 6e 64 65 78 |777.....|.$tindex|
|00000430| 5f 73 70 6c 69 74 5f 61 | 72 67 5f 63 6c 61 75 31 |_split_a|rg_clau1|
|00000440| a3 04 00 00 00 0c a5 04 | 00 00 00 12 ec 00 00 00 |........|........|
|00000450| 00 00 03 00 02 03 05 04 | eb 00 b0 02 00 00 00 30 |........|.......0|
|00000460| 00 00 00 38 a3 04 00 00 | 00 30 a5 04 00 00 00 38 |...8....|.0.....8|
|00000470| 05 02 05 03 05 04 eb 00 | 07 02 0b 01 0a 02 07 04 |........|........|
|00000480| 0b 01 0a 04 ec 00 00 00 | 00 01 ff 00 00 00 00 00 |........|........|
|00000490| 11 12 13 03 00 00 00 5f | 00 00 00 5e 00 00 00 00 |......._|...^....|
|000004a0| ff ff ff fe 06 04 70 72 | 65 64 ff ff ff fe 08 0f |......pr|ed......|
|000004b0| 24 74 69 6e 64 65 78 5f | 67 65 6e 70 72 65 64 ff |$tindex_|genpred.|
|000004c0| ff ff fe 03 0f 24 74 69 | 6e 64 65 78 5f 76 61 72 |.....$ti|ndex_var|
|000004d0| 61 72 67 73 ff ff ff fe | 04 10 24 74 69 6e 64 65 |args....|..$tinde|
|000004e0| 78 5f 67 65 6e 63 6c 61 | 75 31 00 00 00 00 07 0f |x_gencla|u1......|
|000004f0| 24 74 69 6e 64 65 78 5f | 6e 65 77 63 6c 61 75 e9 |$tindex_|newclau.|
|00000500| 00 00 00 02 01 00 00 03 | 02 48 07 09 08 06 09 00 |........|.H......|
|00000510| 00 00 00 09 02 09 03 1e | 00 00 00 00 00 1e 00 00 |........|........|
|00000520| 00 00 00 08 04 0b 04 10 | 00 05 07 e8 07 00 00 00 |........|........|
|00000530| 01 11 00 03 01 0f 02 00 | 00 00 00 10 00 06 03 e8 |........|........|
|00000540| 07 00 00 00 02 e0 00 02 | 01 e1 00 05 02 e1 00 06 |........|........|
|00000550| 03 e0 00 04 04 ea 00 ec | 00 00 00 00 03 ff 00 00 |........|........|
|00000560| 00 00 00 11 12 13 03 00 | 00 00 86 00 00 01 90 00 |........|........|
|00000570| 00 00 00 00 00 00 00 08 | 0f 24 74 69 6e 64 65 78 |........|.$tindex|
|00000580| 5f 67 65 6e 70 72 65 64 | ff ff ff fe 00 01 76 ff |_genpred|......v.|
|00000590| ff ff fe 05 0d 24 74 69 | 6e 64 65 78 5f 70 61 72 |.....$ti|ndex_par|
|000005a0| 74 31 ff ff ff fe 06 04 | 70 72 65 64 ff ff ff fe |t1......|pred....|
|000005b0| 02 0c 24 67 65 6e 73 79 | 6d 5f 70 72 65 64 ff ff |..$gensy|m_pred..|
|000005c0| ff fe 03 06 5f 24 6d 6f | 64 65 ff ff ff fe 02 07 |...._$mo|de......|
|000005d0| 73 79 6d 74 79 70 65 ff | ff ff fe 01 06 61 73 73 |symtype.|.....ass|
|000005e0| 65 72 74 ff ff ff fe 05 | 10 24 74 69 6e 64 65 78 |ert.....|.$tindex|
|000005f0| 5f 6e 65 77 63 6c 61 75 | 31 a3 08 00 00 00 18 a4 |_newclau|1.......|
|00000600| 08 00 00 00 22 a4 08 00 | 00 00 3c a5 08 00 00 00 |...."...|..<.....|
|00000610| a0 05 05 05 06 05 07 05 | 08 eb 00 48 05 09 05 48 |........|...H...H|
|00000620| 06 0a 06 07 07 0b 0a 0a | 07 07 09 0a 0a 0d 00 ec |........|........|
|00000630| 00 00 00 00 00 e9 00 00 | 00 02 01 00 00 03 02 00 |........|........|
|00000640| 00 04 03 00 00 05 04 07 | 05 0a 01 08 06 00 00 07 |........|........|
|00000650| 08 07 01 0c 00 00 00 00 | 01 0a 08 d1 00 06 02 10 |........|........|
|00000660| 00 08 03 d1 00 07 04 10 | 00 09 05 e8 0a 00 00 00 |........|........|
|00000670| 02 e0 00 02 01 e0 00 03 | 02 e0 00 04 03 e0 00 05 |........|........|
|00000680| 04 e0 00 06 05 e1 00 08 | 06 e1 00 09 07 e0 00 07 |........|........|
|00000690| 08 ea 00 ec 00 00 00 00 | 00 e9 00 00 00 02 01 00 |........|........|
|000006a0| 00 03 02 00 00 04 03 00 | 00 05 04 07 05 08 06 08 |........|........|
|000006b0| 07 00 00 08 06 07 07 0a | 03 08 09 07 08 0a 04 08 |........|........|
|000006c0| 0a 49 03 08 0b 09 03 06 | 04 00 00 00 03 09 0b 09 |.I......|........|
|000006d0| 03 1e 00 00 00 00 00 1e | 00 00 00 00 00 08 0c 09 |........|........|
|000006e0| 05 11 00 0b 02 e8 11 00 | 00 00 04 a6 0d ef 11 00 |........|........|
|000006f0| 00 00 fa a0 00 00 00 01 | 4c 16 01 00 00 00 05 1a |........|L.......|
|00000700| 03 1a 03 1a 03 10 00 0e | 02 e8 11 00 00 00 06 e0 |........|........|
|00000710| 00 0e 01 f4 01 ff ff ff | ff 11 00 02 01 11 00 03 |........|........|
|00000720| 02 10 00 0f 03 e8 11 00 | 00 00 05 a8 0d 16 01 00 |........|........|
|00000730| 00 00 05 19 0b 19 03 19 | 0f e8 11 00 00 00 07 f0 |........|........|
|00000740| 00 00 00 01 4e a2 00 11 | 00 0b 01 11 00 06 02 11 |....N...|........|
|00000750| 00 08 03 10 00 10 04 11 | 00 0c 05 e8 11 00 00 00 |........|........|
|00000760| 08 e0 00 02 01 e0 00 03 | 02 e0 00 04 03 e0 00 05 |........|........|
|00000770| 04 e0 00 07 05 e1 00 10 | 06 e0 00 09 07 e0 00 0a |........|........|
|00000780| 08 ea 00 ec 00 00 00 00 | 00 ff 00 00 00 00 00 11 |........|........|
|00000790| 12 13 03 00 00 00 13 00 | 00 00 52 00 00 00 00 00 |........|..R.....|
|000007a0| 00 00 00 05 0d 24 74 69 | 6e 64 65 78 5f 70 61 72 |.....$ti|ndex_par|
|000007b0| 74 31 b4 01 00 00 00 18 | 00 00 00 2e a3 05 00 00 |t1......|........|
|000007c0| 00 16 a5 05 00 00 00 22 | 05 01 03 00 02 03 05 04 |......."|........|
|000007d0| 05 05 eb 00 07 01 0a 06 | 0a 01 f0 00 00 00 00 32 |........|.......2|
|000007e0| 47 01 06 01 48 02 06 02 | 07 04 0b 06 0a 04 b4 01 |G...H...|........|
|000007f0| 00 00 00 18 00 00 00 2e | a3 05 00 00 00 16 a5 05 |........|........|
|00000800| 00 00 00 22 ff 00 00 00 | 00 00 11 12 13 03 00 00 |..."....|........|
|00000810| 00 35 00 00 00 fe 00 00 | 00 17 ff ff ff fe 02 04 |.5......|........|
|00000820| 66 61 63 74 ff ff ff fe | 02 05 24 75 6e 69 76 00 |fact....|..$univ.|
|00000830| 00 00 00 05 10 24 74 69 | 6e 64 65 78 5f 6e 65 77 |.....$ti|ndex_new|
|00000840| 63 6c 61 75 31 ff ff ff | fe 04 04 72 75 6c 65 b3 |clau1...|...rule.|
|00000850| 02 00 00 56 74 00 00 56 | 74 a3 05 00 00 00 1c a4 |...Vt..V|t.......|
|00000860| 05 00 00 00 26 a5 05 00 | 00 00 8e 05 02 03 00 03 |....&...|........|
|00000870| 04 05 05 eb 00 e9 00 00 | 00 02 01 07 02 0a 06 08 |........|........|
|00000880| 03 07 03 0a 03 08 04 00 | 00 05 04 07 05 08 06 08 |........|........|
|00000890| 07 06 03 00 00 00 00 0a | 01 0a 04 17 02 1a 05 18 |........|........|
|000008a0| 08 e8 0a 00 00 00 01 10 | 00 09 01 17 02 19 02 19 |........|........|
|000008b0| 08 e8 0a 00 00 00 01 02 | 06 00 00 00 00 09 09 0a |........|........|
|000008c0| 06 e0 00 02 01 e0 00 03 | 02 e0 00 04 03 e0 00 05 |........|........|
|000008d0| 04 e0 00 07 05 ea 00 ec | 00 00 00 00 02 e9 00 00 |........|........|
|000008e0| 00 02 01 07 02 0a 06 08 | 03 07 03 0a 03 08 04 00 |........|........|
|000008f0| 00 05 04 07 05 08 06 08 | 07 06 03 00 00 00 03 0a |........|........|
|00000900| 01 08 08 0a 04 0a 05 17 | 02 1a 06 18 09 e8 0b 00 |........|........|
|00000910| 00 00 01 10 00 0a 01 17 | 02 19 02 19 09 e8 0b 00 |........|........|
|00000920| 00 00 01 02 06 00 00 00 | 03 09 0a 09 08 0a 06 0a |........|........|
|00000930| 07 e0 00 02 01 e0 00 03 | 02 e0 00 04 03 e0 00 05 |........|........|
|00000940| 04 e0 00 07 05 ea 00 ec | 00 00 00 00 02 00 00 00 |........|........|
|00000950| 02 00 00 00 03 6e 00 00 | 00 1c 6c 00 00 00 26 6c |.....n..|..l...&l|
|00000960| 00 00 00 8e ff 00 00 00 | 00 00 11 12 13 03 00 00 |........|........|
|00000970| 00 15 00 00 00 3a 00 00 | 00 00 00 00 00 00 03 0f |.....:..|........|
|00000980| 24 74 69 6e 64 65 78 5f | 76 61 72 61 72 67 73 d1 |$tindex_|varargs.|
|00000990| 00 02 04 d1 00 03 05 d1 | 00 01 06 d1 00 04 07 d8 |........|........|
|000009a0| 00 07 06 f5 06 00 00 00 | 1e 05 05 eb 00 0f 07 00 |........|........|
|000009b0| 00 00 01 d7 00 07 04 48 | 05 07 08 d1 00 04 02 d1 |.......H|........|
|000009c0| 00 08 03 ec 00 00 00 00 | 00 ff 00 00 00 00 00 11 |........|........|
|000009d0| 12 13 03 00 00 00 3c 00 | 00 00 d2 00 00 00 00 ff |......<.|........|
|000009e0| ff ff fe 02 04 66 61 63 | 74 ff ff ff fe 04 04 72 |.....fac|t......r|
|000009f0| 75 6c 65 ff ff ff fe 02 | 01 2c ff ff ff fe 02 05 |ule.....|.,......|
|00000a00| 24 75 6e 69 76 00 00 00 | 00 04 10 24 74 69 6e 64 |$univ...|...$tind|
|00000a10| 65 78 5f 67 65 6e 63 6c | 61 75 31 b0 02 00 00 00 |ex_gencl|au1.....|
|00000a20| 16 00 00 00 1c a3 04 00 | 00 00 16 a5 04 00 00 00 |........|........|
|00000a30| 1c 05 02 05 04 eb 00 e9 | 00 00 00 02 01 07 02 08 |........|........|
|00000a40| 03 08 04 00 00 05 03 07 | 04 08 06 08 07 ef 0a 00 |........|........|
|00000a50| 00 00 38 a0 00 00 00 00 | 4e 02 03 00 00 00 00 0a |..8.....|N.......|
|00000a60| 03 0a 04 f0 00 00 00 00 | 62 a1 00 00 00 00 70 02 |........|b.....p.|
|00000a70| 03 00 00 00 01 0a 03 0a | 04 0a 05 0a 06 11 00 06 |........|........|
|00000a80| 01 01 00 03 01 f0 00 00 | 00 00 aa a2 00 02 03 00 |........|........|
|00000a90| 00 00 02 08 08 0a 03 02 | 06 00 00 00 01 0a 04 08 |........|........|
|00000aa0| 09 0a 05 0a 06 d1 00 04 | 01 17 02 19 02 19 05 e8 |........|........|
|00000ab0| 0a 00 00 00 03 11 00 09 | 01 17 02 19 08 19 05 e8 |........|........|
|00000ac0| 0a 00 00 00 03 e0 00 02 | 01 e0 00 04 02 e0 00 05 |........|........|
|00000ad0| 03 e0 00 07 04 ea 00 b0 | 02 00 00 00 16 00 00 00 |........|........|
|00000ae0| 1c a3 04 00 00 00 16 a5 | 04 00 00 00 1c ff 00 00 |........|........|
|00000af0| 00 00 00                |                         |...     |        |
+--------+-------------------------+-------------------------+--------+--------+