basesplit

利用空间表示的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
2 2 1 0 0 0 0 0 0
1 4 0 0 0 0 0 0 0
2 4 1 0 0 0 0 0 0
2 4 2 0 0 0 0 0 0
3 4 2 1 0 0 0 0 0
1 8 0 0 0 0 0 0 0
2 8 1 0 0 0 0 0 0
2 2 8 0 0 0 0 0 0
3 2 8 1 0 0 0 0 0
2 4 8 0 0 0 0 0 0
3 4 8 1 0 0 0 0 0
3 4 2 8 0 0 0 0 0
4 4 2 8 1 0 0 0 0
1 16 0 0 0 0 0 0 0
2 1 16 0 0 0 0 0 0
2 2 16 0 0 0 0 0 0
3 2 1 16 0 0 0 0 0
2 4 16 0 0 0 0 0 0
3 4 1 16 0 0 0 0 0
3 4 2 16 0 0 0 0 0
4 4 2 1 16 0 0 0 0
2 8 16 0 0 0 0 0 0
3 1 8 16 0 0 0 0 0
3 2 8 16 0 0 0 0 0
4 2 8 1 16 0 0 0 0
3 4 8 16 0 0 0 0 0
4 4 8 1 16 0 0 0 0
4 4 2 8 16 0 0 0 0
5 4 2 8 1 16 0 0 0
1 32 0 0 0 0 0 0 0
2 1 32 0 0 0 0 0 0
2 2 32 0 0 0 0 0 0
3 2 1 32 0 0 0 0 0
2 4 32 0 0 0 0 0 0
3 4 1 32 0 0 0 0 0
3 4 2 32 0 0 0 0 0
4 4 2 1 32 0 0 0 0
2 8 32 0 0 0 0 0 0
3 1 8 32 0 0 0 0 0
3 2 8 32 0 0 0 0 0
4 2 8 1 32 0 0 0 0
3 4 8 32 0 0 0 0 0
4 4 8 1 32 0 0 0 0
4 4 2 8 32 0 0 0 0
5 4 2 8 1 32 0 0 0
2 16 32 0 0 0 0 0 0
3 1 16 32 0 0 0 0 0
3 2 16 32 0 0 0 0 0
4 2 1 16 32 0 0 0 0
3 4 16 32 0 0 0 0 0
4 4 1 16 32 0 0 0 0
4 4 2 16 32 0 0 0 0
5 4 2 1 16 32 0 0 0
3 8 16 32 0 0 0 0 0
4 1 8 16 32 0 0 0 0
4 2 8 16 32 0 0 0 0
5 2 8 1 16 32 0 0 0
4 4 8 16 32 0 0 0 0
5 4 8 1 16 32 0 0 0
5 4 2 8 16 32 0 0 0
6 4 2 1 8 16 32 0 0
1 64 0 0 0 0 0 0 0
2 1 64 0 0 0 0 0 0
2 2 64 0 0 0 0 0 0
3 2 1 64 0 0 0 0 0
2 4 64 0 0 0 0 0 0
3 4 1 64 0 0 0 0 0
3 4 2 64 0 0 0 0 0
4 4 2 1 64 0 0 0 0
2 8 64 0 0 0 0 0 0
3 1 8 64 0 0 0 0 0
3 2 8 64 0 0 0 0 0
4 2 8 1 64 0 0 0 0
3 4 8 64 0 0 0 0 0
4 4 8 1 64 0 0 0 0
4 4 2 8 64 0 0 0 0
5 4 2 8 1 64 0 0 0
2 16 64 0 0 0 0 0 0
3 1 16 64 0 0 0 0 0
3 2 16 64 0 0 0 0 0
4 2 1 16 64 0 0 0 0
3 4 16 64 0 0 0 0 0
4 4 1 16 64 0 0 0 0
4 4 2 16 64 0 0 0 0
5 4 2 1 16 64 0 0 0
3 8 16 64 0 0 0 0 0
4 1 8 16 64 0 0 0 0
4 2 8 16 64 0 0 0 0
5 2 8 1 16 64 0 0 0
4 4 8 16 64 0 0 0 0
5 4 8 1 16 64 0 0 0
5 4 2 8 16 64 0 0 0
6 4 2 1 8 16 64 0 0
2 32 64 0 0 0 0 0 0
3 1 32 64 0 0 0 0 0
3 2 32 64 0 0 0 0 0
4 2 1 32 64 0 0 0 0
3 4 32 64 0 0 0 0 0
4 4 1 32 64 0 0 0 0
4 4 2 32 64 0 0 0 0
5 4 2 1 32 64 0 0 0
3 8 32 64 0 0 0 0 0
4 1 8 32 64 0 0 0 0
4 2 8 32 64 0 0 0 0
5 2 8 1 32 64 0 0 0
4 4 8 32 64 0 0 0 0
5 4 8 1 32 64 0 0 0
5 4 2 8 32 64 0 0 0
6 4 2 1 8 32 64 0 0
3 16 32 64 0 0 0 0 0
4 1 16 32 64 0 0 0 0
4 2 16 32 64 0 0 0 0
5 2 1 16 32 64 0 0 0
4 4 16 32 64 0 0 0 0
5 4 1 16 32 64 0 0 0
5 4 2 16 32 64 0 0 0
6 4 2 1 16 32 64 0 0
4 8 16 32 64 0 0 0 0
5 1 8 16 32 64 0 0 0
5 2 8 16 32 64 0 0 0
6 2 1 8 16 32 64 0 0
5 4 8 16 32 64 0 0 0
6 4 1 8 16 32 64 0 0
6 4 2 8 16 32 64 0 0
7 4 2 1 8 16 32 64 0
1 128 0 0 0 0 0 0 0
2 1 128 0 0 0 0 0 0
2 2 128 0 0 0 0 0 0
3 2 1 128 0 0 0 0 0
2 4 128 0 0 0 0 0 0
3 4 1 128 0 0 0 0 0
3 4 2 128 0 0 0 0 0
4 4 2 1 128 0 0 0 0
2 8 128 0 0 0 0 0 0
3 1 8 128 0 0 0 0 0
3 2 8 128 0 0 0 0 0
4 2 8 1 128 0 0 0 0
3 4 8 128 0 0 0 0 0
4 4 8 1 128 0 0 0 0
4 4 2 8 128 0 0 0 0
5 4 2 8 1 128 0 0 0
2 16 128 0 0 0 0 0 0
3 1 16 128 0 0 0 0 0
3 2 16 128 0 0 0 0 0
4 2 1 16 128 0 0 0 0
3 4 16 128 0 0 0 0 0
4 4 1 16 128 0 0 0 0
4 4 2 16 128 0 0 0 0
5 4 2 1 16 128 0 0 0
3 8 16 128 0 0 0 0 0
4 1 8 16 128 0 0 0 0
4 2 8 16 128 0 0 0 0
5 2 8 1 16 128 0 0 0
4 4 8 16 128 0 0 0 0
5 4 8 1 16 128 0 0 0
5 4 2 8 16 128 0 0 0
6 4 2 1 8 16 128 0 0
2 32 128 0 0 0 0 0 0
3 1 32 128 0 0 0 0 0
3 2 32 128 0 0 0 0 0
4 2 1 32 128 0 0 0 0
3 4 32 128 0 0 0 0 0
4 4 1 32 128 0 0 0 0
4 4 2 32 128 0 0 0 0
5 4 2 1 32 128 0 0 0
3 8 32 128 0 0 0 0 0
4 1 8 32 128 0 0 0 0
4 2 8 32 128 0 0 0 0
5 2 8 1 32 128 0 0 0
4 4 8 32 128 0 0 0 0
5 4 8 1 32 128 0 0 0
5 4 2 8 32 128 0 0 0
6 4 2 1 8 32 128 0 0
3 16 32 128 0 0 0 0 0
4 1 16 32 128 0 0 0 0
4 2 16 32 128 0 0 0 0
5 2 1 16 32 128 0 0 0
4 4 16 32 128 0 0 0 0
5 4 1 16 32 128 0 0 0
5 4 2 16 32 128 0 0 0
6 4 2 1 16 32 128 0 0
4 8 16 32 128 0 0 0 0
5 1 8 16 32 128 0 0 0
5 2 8 16 32 128 0 0 0
6 2 1 8 16 32 128 0 0
5 4 8 16 32 128 0 0 0
6 4 1 8 16 32 128 0 0
6 4 2 8 16 32 128 0 0
7 4 2 1 8 16 32 128 0
2 64 128 0 0 0 0 0 0
3 1 64 128 0 0 0 0 0
3 2 64 128 0 0 0 0 0
4 2 1 64 128 0 0 0 0
3 4 64 128 0 0 0 0 0
4 4 1 64 128 0 0 0 0
4 4 2 64 128 0 0 0 0
5 4 2 1 64 128 0 0 0
3 8 64 128 0 0 0 0 0
4 1 8 64 128 0 0 0 0
4 2 8 64 128 0 0 0 0
5 2 8 1 64 128 0 0 0
4 4 8 64 128 0 0 0 0
5 4 8 1 64 128 0 0 0
5 4 2 8 64 128 0 0 0
6 4 2 1 8 64 128 0 0
3 16 64 128 0 0 0 0 0
4 1 16 64 128 0 0 0 0
4 2 16 64 128 0 0 0 0
5 2 1 16 64 128 0 0 0
4 4 16 64 128 0 0 0 0
5 4 1 16 64 128 0 0 0
5 4 2 16 64 128 0 0 0
6 4 2 1 16 64 128 0 0
4 8 16 64 128 0 0 0 0
5 1 8 16 64 128 0 0 0
5 2 8 16 64 128 0 0 0
6 2 1 8 16 64 128 0 0
5 4 8 16 64 128 0 0 0
6 4 1 8 16 64 128 0 0
6 4 2 8 16 64 128 0 0
7 4 2 1 8 16 64 128 0
3 32 64 128 0 0 0 0 0
4 1 32 64 128 0 0 0 0
4 2 32 64 128 0 0 0 0
5 2 1 32 64 128 0 0 0
4 4 32 64 128 0 0 0 0
5 4 1 32 64 128 0 0 0
5 4 2 32 64 128 0 0 0
6 4 2 1 32 64 128 0 0
4 8 32 64 128 0 0 0 0
5 1 8 32 64 128 0 0 0
5 2 8 32 64 128 0 0 0
6 2 1 8 32 64 128 0 0
5 4 8 32 64 128 0 0 0
6 4 1 8 32 64 128 0 0
6 4 2 8 32 64 128 0 0
7 4 2 1 8 32 64 128 0
4 16 32 64 128 0 0 0 0
5 1 16 32 64 128 0 0 0
5 2 16 32 64 128 0 0 0
6 2 1 16 32 64 128 0 0
5 4 16 32 64 128 0 0 0
6 4 1 16 32 64 128 0 0
6 4 2 16 32 64 128 0 0
7 4 2 1 16 32 64 128 0
5 8 16 32 64 128 0 0 0
6 1 8 16 32 64 128 0 0
6 2 8 16 32 64 128 0 0
7 2 1 8 16 32 64 128 0
6 4 8 16 32 64 128 0 0
7 4 1 8 16 32 64 128 0
7 4 2 8 16 32 64 128 0
8 4 2 1 8 16 32 64 128