matching/src/tests/prism_2.bif


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

27
0 0 0
0 0 0
0 0 0
0 0 0
0 0 0
0 0 0
1 0 0 2 1
1 0 0 1 0
1 0 0 5 3
1 0 0 3 1
1 0 0 5 4
1 0 0 2 0
1 0 0 4 1
1 0 0 3 2
1 0 0 5 2
1 0 0 4 3
1 0 0 4 2
1 0 0 3 0
2 0 0 16 12 6
2 0 0 10 14 16
2 0 0 9 17 7
2 0 0 15 12 9
2 0 0 13 17 11
2 0 0 8 14 13
2 4 0 6 11 7
2 0 4 10 8 15
2 3 3 15 16 13