intersplit

利用空间表示的rcc8模型进行空间推理

1 0 0 0 0 0 0 0 0
1 1 0 0 0 0 0 0 0
1 2 0 0 0 0 0 0 0
1 3 0 0 0 0 0 0 0
1 4 0 0 0 0 0 0 0
1 5 0 0 0 0 0 0 0
1 6 0 0 0 0 0 0 0
1 7 0 0 0 0 0 0 0
1 8 0 0 0 0 0 0 0
1 9 0 0 0 0 0 0 0
2 2 8 0 0 0 0 0 0
2 3 8 0 0 0 0 0 0
1 12 0 0 0 0 0 0 0
1 13 0 0 0 0 0 0 0
1 14 0 0 0 0 0 0 0
1 15 0 0 0 0 0 0 0
1 16 0 0 0 0 0 0 0
1 17 0 0 0 0 0 0 0
2 2 16 0 0 0 0 0 0
2 3 16 0 0 0 0 0 0
1 20 0 0 0 0 0 0 0
1 21 0 0 0 0 0 0 0
1 22 0 0 0 0 0 0 0
1 23 0 0 0 0 0 0 0
1 24 0 0 0 0 0 0 0
1 25 0 0 0 0 0 0 0
2 24 2 0 0 0 0 0 0
2 25 2 0 0 0 0 0 0
1 28 0 0 0 0 0 0 0
1 29 0 0 0 0 0 0 0
1 30 0 0 0 0 0 0 0
1 31 0 0 0 0 0 0 0
1 32 0 0 0 0 0 0 0
1 33 0 0 0 0 0 0 0
2 2 32 0 0 0 0 0 0
2 3 32 0 0 0 0 0 0
1 36 0 0 0 0 0 0 0
1 37 0 0 0 0 0 0 0
1 38 0 0 0 0 0 0 0
1 39 0 0 0 0 0 0 0
2 8 32 0 0 0 0 0 0
2 9 32 0 0 0 0 0 0
3 2 8 32 0 0 0 0 0
3 3 8 32 0 0 0 0 0
1 44 0 0 0 0 0 0 0
1 45 0 0 0 0 0 0 0
1 46 0 0 0 0 0 0 0
1 47 0 0 0 0 0 0 0
2 16 32 0 0 0 0 0 0
2 17 32 0 0 0 0 0 0
3 2 16 32 0 0 0 0 0
3 3 16 32 0 0 0 0 0
1 52 0 0 0 0 0 0 0
1 53 0 0 0 0 0 0 0
1 54 0 0 0 0 0 0 0
1 55 0 0 0 0 0 0 0
2 24 32 0 0 0 0 0 0
2 25 32 0 0 0 0 0 0
3 24 2 32 0 0 0 0 0
3 25 2 32 0 0 0 0 0
1 60 0 0 0 0 0 0 0
1 61 0 0 0 0 0 0 0
1 62 0 0 0 0 0 0 0
1 63 0 0 0 0 0 0 0
1 64 0 0 0 0 0 0 0
1 65 0 0 0 0 0 0 0
2 2 64 0 0 0 0 0 0
2 3 64 0 0 0 0 0 0
1 68 0 0 0 0 0 0 0
1 69 0 0 0 0 0 0 0
1 70 0 0 0 0 0 0 0
1 71 0 0 0 0 0 0 0
2 8 64 0 0 0 0 0 0
2 9 64 0 0 0 0 0 0
3 2 8 64 0 0 0 0 0
3 3 8 64 0 0 0 0 0
1 76 0 0 0 0 0 0 0
1 77 0 0 0 0 0 0 0
1 78 0 0 0 0 0 0 0
1 79 0 0 0 0 0 0 0
2 16 64 0 0 0 0 0 0
2 17 64 0 0 0 0 0 0
3 2 16 64 0 0 0 0 0
3 3 16 64 0 0 0 0 0
1 84 0 0 0 0 0 0 0
1 85 0 0 0 0 0 0 0
1 86 0 0 0 0 0 0 0
1 87 0 0 0 0 0 0 0
2 24 64 0 0 0 0 0 0
2 25 64 0 0 0 0 0 0
3 24 2 64 0 0 0 0 0
3 25 2 64 0 0 0 0 0
1 92 0 0 0 0 0 0 0
1 93 0 0 0 0 0 0 0
1 94 0 0 0 0 0 0 0
1 95 0 0 0 0 0 0 0
1 96 0 0 0 0 0 0 0
1 97 0 0 0 0 0 0 0
2 2 96 0 0 0 0 0 0
2 3 96 0 0 0 0 0 0
1 100 0 0 0 0 0 0 0
1 101 0 0 0 0 0 0 0
1 102 0 0 0 0 0 0 0
1 103 0 0 0 0 0 0 0
2 8 96 0 0 0 0 0 0
2 9 96 0 0 0 0 0 0
3 2 8 96 0 0 0 0 0
3 3 8 96 0 0 0 0 0
1 108 0 0 0 0 0 0 0
1 109 0 0 0 0 0 0 0
1 110 0 0 0 0 0 0 0
1 111 0 0 0 0 0 0 0
2 96 16 0 0 0 0 0 0
2 97 16 0 0 0 0 0 0
3 2 96 16 0 0 0 0 0
3 3 96 16 0 0 0 0 0
1 116 0 0 0 0 0 0 0
1 117 0 0 0 0 0 0 0
1 118 0 0 0 0 0 0 0
1 119 0 0 0 0 0 0 0
2 24 96 0 0 0 0 0 0
2 25 96 0 0 0 0 0 0
3 24 2 96 0 0 0 0 0
3 25 2 96 0 0 0 0 0
1 124 0 0 0 0 0 0 0
1 125 0 0 0 0 0 0 0
1 126 0 0 0 0 0 0 0
1 127 0 0 0 0 0 0 0
1 128 0 0 0 0 0 0 0
1 129 0 0 0 0 0 0 0
2 2 128 0 0 0 0 0 0
2 3 128 0 0 0 0 0 0
1 132 0 0 0 0 0 0 0
1 133 0 0 0 0 0 0 0
1 134 0 0 0 0 0 0 0
1 135 0 0 0 0 0 0 0
2 8 128 0 0 0 0 0 0
2 9 128 0 0 0 0 0 0
3 2 8 128 0 0 0 0 0
3 3 8 128 0 0 0 0 0
1 140 0 0 0 0 0 0 0
1 141 0 0 0 0 0 0 0
1 142 0 0 0 0 0 0 0
1 143 0 0 0 0 0 0 0
2 16 128 0 0 0 0 0 0
2 17 128 0 0 0 0 0 0
3 2 16 128 0 0 0 0 0
3 3 16 128 0 0 0 0 0
2 20 128 0 0 0 0 0 0
2 21 128 0 0 0 0 0 0
2 22 128 0 0 0 0 0 0
2 23 128 0 0 0 0 0 0
2 24 128 0 0 0 0 0 0
2 25 128 0 0 0 0 0 0
3 24 2 128 0 0 0 0 0
3 25 2 128 0 0 0 0 0
1 156 0 0 0 0 0 0 0
1 157 0 0 0 0 0 0 0
1 158 0 0 0 0 0 0 0
1 159 0 0 0 0 0 0 0
2 32 128 0 0 0 0 0 0
2 33 128 0 0 0 0 0 0
3 2 32 128 0 0 0 0 0
3 3 32 128 0 0 0 0 0
1 164 0 0 0 0 0 0 0
1 165 0 0 0 0 0 0 0
1 166 0 0 0 0 0 0 0
1 167 0 0 0 0 0 0 0
3 8 32 128 0 0 0 0 0
3 9 32 128 0 0 0 0 0
4 2 8 32 128 0 0 0 0
4 3 8 32 128 0 0 0 0
1 172 0 0 0 0 0 0 0
1 173 0 0 0 0 0 0 0
1 174 0 0 0 0 0 0 0
1 175 0 0 0 0 0 0 0
3 16 32 128 0 0 0 0 0
3 17 32 128 0 0 0 0 0
4 2 16 32 128 0 0 0 0
4 3 16 32 128 0 0 0 0
2 52 128 0 0 0 0 0 0
2 53 128 0 0 0 0 0 0
2 54 128 0 0 0 0 0 0
2 55 128 0 0 0 0 0 0
3 24 32 128 0 0 0 0 0
3 25 32 128 0 0 0 0 0
4 24 2 32 128 0 0 0 0
4 25 2 32 128 0 0 0 0
1 188 0 0 0 0 0 0 0
1 189 0 0 0 0 0 0 0
1 190 0 0 0 0 0 0 0
1 191 0 0 0 0 0 0 0
2 64 128 0 0 0 0 0 0
2 65 128 0 0 0 0 0 0
3 2 64 128 0 0 0 0 0
3 3 64 128 0 0 0 0 0
2 68 128 0 0 0 0 0 0
2 69 128 0 0 0 0 0 0
2 70 128 0 0 0 0 0 0
2 71 128 0 0 0 0 0 0
3 8 64 128 0 0 0 0 0
3 9 64 128 0 0 0 0 0
4 2 8 64 128 0 0 0 0
4 3 8 64 128 0 0 0 0
2 76 128 0 0 0 0 0 0
2 77 128 0 0 0 0 0 0
2 78 128 0 0 0 0 0 0
2 79 128 0 0 0 0 0 0
3 16 64 128 0 0 0 0 0
3 17 64 128 0 0 0 0 0
4 2 16 64 128 0 0 0 0
4 3 16 64 128 0 0 0 0
2 84 128 0 0 0 0 0 0
2 85 128 0 0 0 0 0 0
2 86 128 0 0 0 0 0 0
2 87 128 0 0 0 0 0 0
3 24 64 128 0 0 0 0 0
3 25 64 128 0 0 0 0 0
4 24 2 64 128 0 0 0 0
4 25 2 64 128 0 0 0 0
2 92 128 0 0 0 0 0 0
2 93 128 0 0 0 0 0 0
2 94 128 0 0 0 0 0 0
2 95 128 0 0 0 0 0 0
2 96 128 0 0 0 0 0 0
2 97 128 0 0 0 0 0 0
3 2 96 128 0 0 0 0 0
3 3 96 128 0 0 0 0 0
1 228 0 0 0 0 0 0 0
1 229 0 0 0 0 0 0 0
1 230 0 0 0 0 0 0 0
1 231 0 0 0 0 0 0 0
3 8 96 128 0 0 0 0 0
3 9 96 128 0 0 0 0 0
4 2 8 96 128 0 0 0 0
4 3 8 96 128 0 0 0 0
1 236 0 0 0 0 0 0 0
1 237 0 0 0 0 0 0 0
1 238 0 0 0 0 0 0 0
1 239 0 0 0 0 0 0 0
3 96 16 128 0 0 0 0 0
3 97 16 128 0 0 0 0 0
4 2 96 16 128 0 0 0 0
4 3 96 16 128 0 0 0 0
2 116 128 0 0 0 0 0 0
2 117 128 0 0 0 0 0 0
2 118 128 0 0 0 0 0 0
2 119 128 0 0 0 0 0 0
3 24 96 128 0 0 0 0 0
3 25 96 128 0 0 0 0 0
4 24 2 96 128 0 0 0 0
4 25 2 96 128 0 0 0 0
1 252 0 0 0 0 0 0 0
1 253 0 0 0 0 0 0 0
1 254 0 0 0 0 0 0 0
1 255 0 0 0 0 0 0 0