matching/src/tests/prism_1_lesnick.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

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