diff options
Diffstat (limited to 'matching/src/tests/prism_1_lesnick.bif')
-rw-r--r-- | matching/src/tests/prism_1_lesnick.bif | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/matching/src/tests/prism_1_lesnick.bif b/matching/src/tests/prism_1_lesnick.bif new file mode 100644 index 0000000..416c40c --- /dev/null +++ b/matching/src/tests/prism_1_lesnick.bif @@ -0,0 +1,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 |