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

< prev

next >

view JSON data

view as text

open on a Mac

open on a PC

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 11 12 13 03 00 00 00 3b | 00 00 00 38 00 00 00 00 |.......;|...8....|
|00000010| ff ff ff fe 03 0a 24 64 | 69 66 66 5f 73 65 74 73 |......$d|iff_sets|
|00000020| ff ff ff fe 03 0f 24 69 | 6e 74 65 72 73 65 63 74 |......$i|ntersect|
|00000030| 5f 73 65 74 73 00 00 00 | 00 04 10 24 6e 6f 72 6d |_sets...|...$norm|
|00000040| 5f 6e 65 77 61 64 64 6c | 69 73 74 e9 00 d1 00 01 |_newaddl|ist.....|
|00000050| 05 d1 00 02 06 00 00 02 | 03 00 00 03 04 d1 00 06 |........|........|
|00000060| 01 d1 00 05 02 10 00 04 | 03 e8 05 00 00 00 00 e1 |........|........|
|00000070| 00 04 01 e0 00 02 02 e0 | 00 03 03 ea 00 ec 00 00 |........|........|
|00000080| 00 00 01 ff 00 00 00 00 | 00 11 12 13 03 00 00 01 |........|........|
|00000090| 69 00 00 03 98 00 00 00 | 1a ff ff ff fe 00 03 6e |i.......|.......n|
|000000a0| 69 6c 00 00 00 56 08 20 | 24 6e 6f 72 6d 61 6c 69 |il...V. |$normali|
|000000b0| 7a 65 5f 76 61 72 5f 6f | 63 63 5f 23 31 33 33 34 |ze_var_o|cc_#1334|
|000000c0| 32 5f 23 31 33 33 34 33 | 00 00 03 08 08 20 24 6e |2_#13343|..... $n|
|000000d0| 6f 72 6d 61 6c 69 7a 65 | 5f 76 61 72 5f 6f 63 63 |ormalize|_var_occ|
|000000e0| 5f 23 31 33 33 34 32 5f | 23 31 33 33 34 34 ff ff |_#13342_|#13344..|
|000000f0| ff fe 03 03 61 6e 64 ff | ff ff fe 02 10 24 6e 6f |....and.|.....$no|
|00000100| 72 6d 5f 70 76 61 72 73 | 5f 73 65 65 6e ff ff ff |rm_pvars|_seen...|
|00000110| fe 03 0e 24 75 6e 69 6f | 6e 5f 76 61 72 73 65 74 |...$unio|n_varset|
|00000120| 73 00 00 00 00 07 12 24 | 6e 6f 72 6d 61 6c 69 7a |s......$|normaliz|
|00000130| 65 5f 76 61 72 5f 6f 63 | 63 ff ff ff fe 03 0b 24 |e_var_oc|c......$|
|00000140| 6c 6f 67 69 63 61 6c 5f | 6f 72 ff ff ff fe 04 0c |logical_|or......|
|00000150| 69 66 5f 74 68 65 6e 5f | 65 6c 73 65 ff ff ff fe |if_then_|else....|
|00000160| 09 16 24 6e 6f 72 6d 61 | 6c 69 7a 65 5f 76 61 72 |..$norma|lize_var|
|00000170| 6f 63 63 5f 64 69 73 6a | ff ff ff fe 03 0f 24 69 |occ_disj|......$i|
|00000180| 6e 74 65 72 73 65 63 74 | 5f 73 65 74 73 ff ff ff |ntersect|_sets...|
|00000190| fe 01 05 70 76 61 72 73 | ff ff ff fe 02 08 24 6d |...pvars|......$m|
|000001a0| 65 6d 62 65 72 31 ff ff | ff fe 01 0a 24 63 6c 6f |ember1..|....$clo|
|000001b0| 73 65 74 61 69 6c ff ff | ff fe 03 02 6f 72 ff ff |setail..|....or..|
|000001c0| ff fe 02 03 6e 6f 74 ff | ff ff fe 03 05 5f 63 61 |....not.|....._ca|
|000001d0| 6c 6c ff ff ff fe 02 0b | 24 6c 69 73 74 5f 70 76 |ll......|$list_pv|
|000001e0| 61 72 73 00 00 00 02 08 | 19 24 6e 6f 72 6d 61 6c |ars.....|.$normal|
|000001f0| 69 7a 65 5f 76 61 72 5f | 6f 63 63 5f 23 31 33 33 |ize_var_|occ_#133|
|00000200| 34 32 a7 08 a3 08 00 00 | 00 1a a4 08 00 00 00 38 |42......|.......8|
|00000210| a4 08 00 00 00 3e a5 08 | 00 00 00 44 04 01 00 00 |.....>..|...D....|
|00000220| 00 00 04 02 00 00 00 00 | 05 03 05 04 05 05 05 06 |........|........|
|00000230| 0e 07 00 00 00 00 a9 08 | eb 00 ec 00 00 00 00 01 |........|........|
|00000240| ec 00 00 00 00 02 03 00 | 01 02 03 00 04 05 05 06 |........|........|
|00000250| 0e 07 00 00 00 00 eb 00 | a3 08 00 00 00 68 a4 08 |........|.....h..|
|00000260| 00 00 01 4e a5 08 00 00 | 02 46 e9 00 00 00 02 01 |...N....|.F......|
|00000270| 00 00 03 02 00 00 04 03 | 00 00 05 04 00 00 06 05 |........|........|
|00000280| 00 00 07 06 00 00 08 07 | 02 02 00 00 00 03 08 09 |........|........|
|00000290| 08 0a 08 0b a9 08 11 00 | 09 01 10 00 0c 02 e8 15 |........|........|
|000002a0| 00 00 00 04 11 00 04 01 | 11 00 0c 02 10 00 0d 03 |........|........|
|000002b0| e8 15 00 00 00 05 11 00 | 0b 01 10 00 0e 02 11 00 |........|........|
|000002c0| 0d 03 11 00 05 04 10 00 | 0f 05 10 00 10 06 10 00 |........|........|
|000002d0| 11 07 e8 15 00 00 00 06 | 11 00 09 01 10 00 12 02 |........|........|
|000002e0| 11 00 04 03 11 00 0f 04 | 11 00 06 05 10 00 13 06 |........|........|
|000002f0| 10 00 14 07 e8 15 00 00 | 00 06 11 00 10 01 11 00 |........|........|
|00000300| 13 02 11 00 07 03 e8 15 | 00 00 00 05 11 00 11 01 |........|........|
|00000310| 11 00 14 02 11 00 08 03 | e8 15 00 00 00 07 e0 00 |........|........|
|00000320| 08 01 f2 01 00 00 01 32 | e0 00 03 01 01 00 02 01 |.......2|........|
|00000330| ea 00 eb 00 e0 00 03 01 | 06 01 00 00 00 03 e1 00 |........|........|
|00000340| 12 02 1b 02 09 0a e1 00 | 0e 02 1b 02 ea 00 eb 00 |........|........|
|00000350| e9 00 00 00 02 01 00 00 | 03 02 00 00 04 04 00 00 |........|........|
|00000360| 05 05 00 00 06 06 00 00 | 07 07 d1 00 08 0a 02 02 |........|........|
|00000370| 00 00 00 08 08 08 08 09 | 0a 0b 0a 02 a9 0a d1 00 |........|........|
|00000380| 0b 01 10 00 0a 05 10 00 | 0b 06 10 00 0c 07 10 00 |........|........|
|00000390| 0d 08 11 00 07 09 e8 12 | 00 00 00 09 e0 00 07 01 |........|........|
|000003a0| f2 01 00 00 01 b2 11 00 | 03 01 01 00 02 01 f0 00 |........|........|
|000003b0| 00 00 01 c0 02 03 00 00 | 00 08 09 08 09 09 09 0a |........|........|
|000003c0| 09 0b 11 00 0c 01 11 00 | 0d 02 10 00 0e 03 e8 12 |........|........|
|000003d0| 00 00 00 05 11 00 08 01 | 10 00 0f 02 e8 12 00 00 |........|........|
|000003e0| 00 04 11 00 0f 01 11 00 | 0e 02 11 00 06 03 e8 12 |........|........|
|000003f0| 00 00 00 05 11 00 06 01 | 11 00 04 02 11 00 05 03 |........|........|
|00000400| e8 12 00 00 00 05 11 00 | 0c 01 11 00 0d 02 10 00 |........|........|
|00000410| 10 03 e8 12 00 00 00 0a | 11 00 0f 01 11 00 10 02 |........|........|
|00000420| 10 00 11 03 e8 12 00 00 | 00 05 16 01 00 00 00 0b |........|........|
|00000430| 19 11 11 00 09 02 e8 12 | 00 00 00 0c e0 00 09 01 |........|........|
|00000440| ea 00 ec 00 00 00 00 0d | e9 00 00 00 02 01 00 00 |........|........|
|00000450| 03 02 00 00 04 04 00 00 | 05 05 00 00 06 06 00 00 |........|........|
|00000460| 07 07 d1 00 08 0a 02 02 | 00 00 00 0e 0a 0b 08 08 |........|........|
|00000470| 0a 02 a9 0a d1 00 0b 01 | 10 00 09 05 10 00 0a 06 |........|........|
|00000480| 10 00 0b 07 10 00 0c 08 | 11 00 07 09 e8 0e 00 00 |........|........|
|00000490| 00 09 e0 00 07 01 f2 01 | 00 00 02 a8 11 00 03 01 |........|........|
|000004a0| 01 00 02 01 f0 00 00 00 | 02 b4 02 03 00 00 00 0e |........|........|
|000004b0| 09 09 09 08 09 0a 11 00 | 0b 01 11 00 0c 02 11 00 |........|........|
|000004c0| 06 03 e8 0e 00 00 00 05 | 11 00 06 01 11 00 04 02 |........|........|
|000004d0| 11 00 05 03 e8 0e 00 00 | 00 05 11 00 0b 01 11 00 |........|........|
|000004e0| 0c 02 10 00 0d 03 e8 0e | 00 00 00 0a 16 01 00 00 |........|........|
|000004f0| 00 0b 19 0d 11 00 08 02 | e8 0e 00 00 00 0c e0 00 |........|........|
|00000500| 08 01 ea 00 ec 00 00 00 | 00 0d b3 01 00 00 35 83 |........|......5.|
|00000510| 00 00 35 83 a3 08 00 00 | 03 1e a5 08 00 00 03 3a |..5.....|.......:|
|00000520| 06 01 00 00 00 0f 0a 01 | 0a 09 06 02 00 00 00 0f |........|........|
|00000530| 0a 02 0b 09 a9 08 ec 00 | 00 00 00 06 e9 00 06 01 |........|........|
|00000540| 00 00 00 10 0a 09 0a 01 | 08 02 06 02 00 00 00 10 |........|........|
|00000550| 0b 09 0b 01 09 02 00 00 | 03 04 00 00 04 05 00 00 |........|........|
|00000560| 05 06 0e 07 00 00 00 00 | a9 08 11 00 05 02 e8 06 |........|........|
|00000570| 00 00 00 11 11 00 05 01 | 11 00 03 02 11 00 04 03 |........|........|
|00000580| e8 06 00 00 00 05 16 01 | 00 00 00 0b 19 05 e0 00 |........|........|
|00000590| 02 02 ea 00 ec 00 00 00 | 00 0c 00 00 00 02 00 00 |........|........|
|000005a0| 00 02 73 00 00 00 0f 00 | 00 03 1e 73 00 00 00 10 |..s.....|...s....|
|000005b0| 00 00 03 3a ff 00 00 00 | 00 00 11 12 13 03 00 00 |...:....|........|
|000005c0| 00 8e 00 00 01 34 00 00 | 00 00 ff ff ff fe 07 12 |.....4..|........|
|000005d0| 24 6e 6f 72 6d 61 6c 69 | 7a 65 5f 76 61 72 5f 6f |$normali|ze_var_o|
|000005e0| 63 63 ff ff ff fe 03 0b | 24 6c 6f 67 69 63 61 6c |cc......|$logical|
|000005f0| 5f 6f 72 ff ff ff fe 03 | 0a 24 64 69 66 66 5f 73 |_or.....|.$diff_s|
|00000600| 65 74 73 ff ff ff fe 04 | 10 24 6e 6f 72 6d 5f 6e |ets.....|.$norm_n|
|00000610| 65 77 61 64 64 6c 69 73 | 74 ff ff ff fe 03 0b 24 |ewaddlis|t......$|
|00000620| 6e 6f 72 6d 61 6c 69 7a | 65 31 ff ff ff fe 04 0c |normaliz|e1......|
|00000630| 69 66 5f 74 68 65 6e 5f | 65 6c 73 65 00 00 00 00 |if_then_|else....|
|00000640| 09 16 24 6e 6f 72 6d 61 | 6c 69 7a 65 5f 76 61 72 |..$norma|lize_var|
|00000650| 6f 63 63 5f 64 69 73 6a | e9 00 00 00 02 02 00 00 |occ_disj|........|
|00000660| 03 03 00 00 04 04 00 00 | 05 05 00 00 06 06 00 00 |........|........|
|00000670| 07 07 00 00 08 08 00 00 | 09 09 10 00 0a 02 10 00 |........|........|
|00000680| 0b 05 11 00 07 06 10 00 | 0c 07 e8 15 00 00 00 00 |........|........|
|00000690| 11 00 02 01 10 00 0d 02 | 11 00 03 03 11 00 04 04 |........|........|
|000006a0| 10 00 0e 05 11 00 08 06 | 10 00 0f 07 e8 15 00 00 |........|........|
|000006b0| 00 00 11 00 0c 01 11 00 | 0f 02 10 00 10 03 e8 15 |........|........|
|000006c0| 00 00 00 01 11 00 04 01 | 11 00 03 02 10 00 11 03 |........|........|
|000006d0| e8 15 00 00 00 02 11 00 | 07 01 11 00 08 02 11 00 |........|........|
|000006e0| 11 03 10 00 12 04 e8 15 | 00 00 00 03 11 00 08 01 |........|........|
|000006f0| 11 00 07 02 11 00 11 03 | 10 00 13 04 e8 15 00 00 |........|........|
|00000700| 00 03 ef 15 00 00 00 b0 | a0 00 00 00 00 e2 11 00 |........|........|
|00000710| 12 01 05 01 11 00 13 01 | 05 01 11 00 05 01 01 00 |........|........|
|00000720| 0a 01 11 00 06 01 01 00 | 0d 01 10 00 14 01 0e 01 |........|........|
|00000730| 00 00 00 00 f0 00 00 00 | 01 20 a2 00 11 00 0a 01 |........|. ......|
|00000740| 11 00 12 02 11 00 05 03 | e8 15 00 00 00 04 11 00 |........|........|
|00000750| 0d 01 11 00 13 02 11 00 | 06 03 e8 15 00 00 00 04 |........|........|
|00000760| 16 01 00 00 00 05 1a 04 | 1a 05 19 05 19 06 10 00 |........|........|
|00000770| 14 02 0e 02 00 00 00 01 | e1 00 10 01 e1 00 14 02 |........|........|
|00000780| e0 00 09 03 ea 00 ec 00 | 00 00 00 01 ff 00 00 00 |........|........|
|00000790| 00 00 11 12 13 03 00 00 | 00 72 00 00 01 26 00 00 |........|.r...&..|
|000007a0| 00 35 ff ff ff fe 03 03 | 61 6e 64 00 00 00 00 02 |.5......|and.....|
|000007b0| 10 24 6e 6f 72 6d 5f 70 | 76 61 72 73 5f 73 65 65 |.$norm_p|vars_see|
|000007c0| 6e ff ff ff fe 03 0e 24 | 75 6e 69 6f 6e 5f 76 61 |n......$|union_va|
|000007d0| 72 73 65 74 73 ff ff ff | fe 03 02 6f 72 ff ff ff |rsets...|...or...|
|000007e0| fe 04 0c 69 66 5f 74 68 | 65 6e 5f 65 6c 73 65 ff |...if_th|en_else.|
|000007f0| ff ff fe 02 03 6e 6f 74 | ff ff ff fe 03 05 5f 63 |.....not|......_c|
|00000800| 61 6c 6c ff ff ff fe 02 | 0b 24 6c 69 73 74 5f 70 |all.....|.$list_p|
|00000810| 76 61 72 73 b3 01 00 00 | 36 2e 00 00 36 2e a3 02 |vars....|6...6...|
|00000820| 00 00 00 28 a4 02 00 00 | 00 66 a4 02 00 00 00 a4 |...(....|.f......|
|00000830| a4 02 00 00 01 04 a5 02 | 00 00 01 14 e9 00 06 01 |........|........|
|00000840| 00 00 00 00 0a 01 0a 03 | 08 02 00 00 03 02 10 00 |........|........|
|00000850| 04 02 e8 06 00 00 00 01 | 11 00 02 01 10 00 05 02 |........|........|
|00000860| e8 06 00 00 00 01 e1 00 | 04 01 e1 00 05 02 e0 00 |........|........|
|00000870| 03 03 ea 00 ec 00 00 00 | 00 02 e9 00 06 01 00 00 |........|........|
|00000880| 00 03 0a 01 0a 03 08 02 | 00 00 03 02 10 00 04 02 |........|........|
|00000890| e8 06 00 00 00 01 11 00 | 02 01 10 00 05 02 e8 06 |........|........|
|000008a0| 00 00 00 01 e1 00 04 01 | e1 00 05 02 e0 00 03 03 |........|........|
|000008b0| ea 00 ec 00 00 00 00 02 | e9 00 06 01 00 00 00 04 |........|........|
|000008c0| 0a 01 0a 03 08 02 08 03 | 00 00 04 02 10 00 05 02 |........|........|
|000008d0| e8 09 00 00 00 01 11 00 | 02 01 10 00 06 02 e8 09 |........|........|
|000008e0| 00 00 00 01 11 00 03 01 | 10 00 07 02 e8 09 00 00 |........|........|
|000008f0| 00 01 11 00 06 01 11 00 | 07 02 10 00 08 03 e8 09 |........|........|
|00000900| 00 00 00 02 e1 00 05 01 | e1 00 08 02 e0 00 04 03 |........|........|
|00000910| ea 00 ec 00 00 00 00 02 | 06 01 00 00 00 05 0a 01 |........|........|
|00000920| 0a 03 ec 00 00 00 00 01 | 06 01 00 00 00 06 0a 03 |........|........|
|00000930| 0a 01 0a 03 ec 00 00 00 | 00 07 00 00 00 01 00 00 |........|........|
|00000940| 00 05 73 00 00 00 00 00 | 00 00 28 73 00 00 00 03 |..s.....|..(s....|
|00000950| 00 00 00 66 73 00 00 00 | 04 00 00 00 a4 73 00 00 |...fs...|.....s..|
|00000960| 00 05 00 00 01 04 73 00 | 00 00 06 00 00 01 14 ff |......s.|........|
|00000970| 00 00 00 00 00 11 12 13 | 03 00 00 00 3d 00 00 00 |........|....=...|
|00000980| ae 00 00 00 00 ff ff ff | fe 02 01 76 ff ff ff fe |........|...v....|
|00000990| 04 04 76 72 65 63 ff ff | ff fe 03 05 5f 63 61 6c |..vrec..|...._cal|
|000009a0| 6c ff ff ff fe 00 01 3d | ff ff ff fe 03 03 61 6e |l......=|......an|
|000009b0| 64 00 00 00 00 03 0b 24 | 6e 6f 72 6d 61 6c 69 7a |d......$|normaliz|
|000009c0| 65 31 b0 02 00 00 00 16 | 00 00 00 1e a3 03 00 00 |e1......|........|
|000009d0| 00 16 a5 03 00 00 00 1e | 05 02 03 00 01 03 eb 00 |........|........|
|000009e0| d1 00 01 04 48 02 05 02 | 06 05 00 00 00 00 0a 06 |....H...|........|
|000009f0| 0a 07 06 07 00 00 00 01 | 0a 08 0a 09 0a 0a 0a 0b |........|........|
|00000a00| 16 0c 00 00 00 01 1b 08 | 1a 0d 1b 0a 1b 0b 16 0e |........|........|
|00000a10| 00 00 00 01 1b 08 1a 0f | 1b 0a 1b 0b 16 10 00 00 |........|........|
|00000a20| 00 02 1c 00 00 00 00 03 | 1a 11 1a 12 48 11 13 14 |........|....H...|
|00000a30| 06 13 00 00 00 00 0b 06 | 0b 0c 07 14 0a 15 0d 00 |........|........|
|00000a40| 06 15 00 00 00 00 0b 06 | 0b 0e 16 16 00 00 00 04 |........|........|
|00000a50| 1b 04 1a 17 1b 10 d1 00 | 16 01 b0 02 00 00 00 16 |........|........|
|00000a60| 00 00 00 1e a3 03 00 00 | 00 16 a5 03 00 00 00 1e |........|........|
|00000a70| ff 00 00 00 00 00       |                         |......  |        |
+--------+-------------------------+-------------------------+--------+--------+