aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8/gcc/testsuite/gcc.target/i386/vperm-4-2.inc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.8/gcc/testsuite/gcc.target/i386/vperm-4-2.inc')
-rw-r--r--gcc-4.8/gcc/testsuite/gcc.target/i386/vperm-4-2.inc4262
1 files changed, 0 insertions, 4262 deletions
diff --git a/gcc-4.8/gcc/testsuite/gcc.target/i386/vperm-4-2.inc b/gcc-4.8/gcc/testsuite/gcc.target/i386/vperm-4-2.inc
deleted file mode 100644
index 2f7baa0ed..000000000
--- a/gcc-4.8/gcc/testsuite/gcc.target/i386/vperm-4-2.inc
+++ /dev/null
@@ -1,4262 +0,0 @@
-/* This file auto-generated with ./vperm.pl 4 2. */
-
-void check0(void)
-{
- TEST (0, 0, 0, 0)
- TEST (1, 0, 0, 0)
- TEST (2, 0, 0, 0)
- TEST (3, 0, 0, 0)
- TEST (4, 0, 0, 0)
- TEST (5, 0, 0, 0)
- TEST (6, 0, 0, 0)
- TEST (7, 0, 0, 0)
- TEST (0, 1, 0, 0)
- TEST (1, 1, 0, 0)
- TEST (2, 1, 0, 0)
- TEST (3, 1, 0, 0)
- TEST (4, 1, 0, 0)
- TEST (5, 1, 0, 0)
- TEST (6, 1, 0, 0)
- TEST (7, 1, 0, 0)
- TEST (0, 2, 0, 0)
- TEST (1, 2, 0, 0)
- TEST (2, 2, 0, 0)
- TEST (3, 2, 0, 0)
- TEST (4, 2, 0, 0)
- TEST (5, 2, 0, 0)
- TEST (6, 2, 0, 0)
- TEST (7, 2, 0, 0)
- TEST (0, 3, 0, 0)
- TEST (1, 3, 0, 0)
- TEST (2, 3, 0, 0)
- TEST (3, 3, 0, 0)
- TEST (4, 3, 0, 0)
- TEST (5, 3, 0, 0)
- TEST (6, 3, 0, 0)
- TEST (7, 3, 0, 0)
- TEST (0, 4, 0, 0)
- TEST (1, 4, 0, 0)
- TEST (2, 4, 0, 0)
- TEST (3, 4, 0, 0)
- TEST (4, 4, 0, 0)
- TEST (5, 4, 0, 0)
- TEST (6, 4, 0, 0)
- TEST (7, 4, 0, 0)
- TEST (0, 5, 0, 0)
- TEST (1, 5, 0, 0)
- TEST (2, 5, 0, 0)
- TEST (3, 5, 0, 0)
- TEST (4, 5, 0, 0)
- TEST (5, 5, 0, 0)
- TEST (6, 5, 0, 0)
- TEST (7, 5, 0, 0)
- TEST (0, 6, 0, 0)
- TEST (1, 6, 0, 0)
- TEST (2, 6, 0, 0)
- TEST (3, 6, 0, 0)
- TEST (4, 6, 0, 0)
- TEST (5, 6, 0, 0)
- TEST (6, 6, 0, 0)
- TEST (7, 6, 0, 0)
- TEST (0, 7, 0, 0)
- TEST (1, 7, 0, 0)
- TEST (2, 7, 0, 0)
- TEST (3, 7, 0, 0)
- TEST (4, 7, 0, 0)
- TEST (5, 7, 0, 0)
- TEST (6, 7, 0, 0)
- TEST (7, 7, 0, 0)
- TEST (0, 0, 1, 0)
- TEST (1, 0, 1, 0)
- TEST (2, 0, 1, 0)
- TEST (3, 0, 1, 0)
- TEST (4, 0, 1, 0)
- TEST (5, 0, 1, 0)
- TEST (6, 0, 1, 0)
- TEST (7, 0, 1, 0)
- TEST (0, 1, 1, 0)
- TEST (1, 1, 1, 0)
- TEST (2, 1, 1, 0)
- TEST (3, 1, 1, 0)
- TEST (4, 1, 1, 0)
- TEST (5, 1, 1, 0)
- TEST (6, 1, 1, 0)
- TEST (7, 1, 1, 0)
- TEST (0, 2, 1, 0)
- TEST (1, 2, 1, 0)
- TEST (2, 2, 1, 0)
- TEST (3, 2, 1, 0)
- TEST (4, 2, 1, 0)
- TEST (5, 2, 1, 0)
- TEST (6, 2, 1, 0)
- TEST (7, 2, 1, 0)
- TEST (0, 3, 1, 0)
- TEST (1, 3, 1, 0)
- TEST (2, 3, 1, 0)
- TEST (3, 3, 1, 0)
- TEST (4, 3, 1, 0)
- TEST (5, 3, 1, 0)
- TEST (6, 3, 1, 0)
- TEST (7, 3, 1, 0)
- TEST (0, 4, 1, 0)
- TEST (1, 4, 1, 0)
- TEST (2, 4, 1, 0)
- TEST (3, 4, 1, 0)
- TEST (4, 4, 1, 0)
- TEST (5, 4, 1, 0)
- TEST (6, 4, 1, 0)
- TEST (7, 4, 1, 0)
- TEST (0, 5, 1, 0)
- TEST (1, 5, 1, 0)
- TEST (2, 5, 1, 0)
- TEST (3, 5, 1, 0)
- TEST (4, 5, 1, 0)
- TEST (5, 5, 1, 0)
- TEST (6, 5, 1, 0)
- TEST (7, 5, 1, 0)
- TEST (0, 6, 1, 0)
- TEST (1, 6, 1, 0)
- TEST (2, 6, 1, 0)
- TEST (3, 6, 1, 0)
- TEST (4, 6, 1, 0)
- TEST (5, 6, 1, 0)
- TEST (6, 6, 1, 0)
- TEST (7, 6, 1, 0)
- TEST (0, 7, 1, 0)
- TEST (1, 7, 1, 0)
- TEST (2, 7, 1, 0)
- TEST (3, 7, 1, 0)
- TEST (4, 7, 1, 0)
- TEST (5, 7, 1, 0)
- TEST (6, 7, 1, 0)
- TEST (7, 7, 1, 0)
-}
-
-void check1(void)
-{
- TEST (0, 0, 2, 0)
- TEST (1, 0, 2, 0)
- TEST (2, 0, 2, 0)
- TEST (3, 0, 2, 0)
- TEST (4, 0, 2, 0)
- TEST (5, 0, 2, 0)
- TEST (6, 0, 2, 0)
- TEST (7, 0, 2, 0)
- TEST (0, 1, 2, 0)
- TEST (1, 1, 2, 0)
- TEST (2, 1, 2, 0)
- TEST (3, 1, 2, 0)
- TEST (4, 1, 2, 0)
- TEST (5, 1, 2, 0)
- TEST (6, 1, 2, 0)
- TEST (7, 1, 2, 0)
- TEST (0, 2, 2, 0)
- TEST (1, 2, 2, 0)
- TEST (2, 2, 2, 0)
- TEST (3, 2, 2, 0)
- TEST (4, 2, 2, 0)
- TEST (5, 2, 2, 0)
- TEST (6, 2, 2, 0)
- TEST (7, 2, 2, 0)
- TEST (0, 3, 2, 0)
- TEST (1, 3, 2, 0)
- TEST (2, 3, 2, 0)
- TEST (3, 3, 2, 0)
- TEST (4, 3, 2, 0)
- TEST (5, 3, 2, 0)
- TEST (6, 3, 2, 0)
- TEST (7, 3, 2, 0)
- TEST (0, 4, 2, 0)
- TEST (1, 4, 2, 0)
- TEST (2, 4, 2, 0)
- TEST (3, 4, 2, 0)
- TEST (4, 4, 2, 0)
- TEST (5, 4, 2, 0)
- TEST (6, 4, 2, 0)
- TEST (7, 4, 2, 0)
- TEST (0, 5, 2, 0)
- TEST (1, 5, 2, 0)
- TEST (2, 5, 2, 0)
- TEST (3, 5, 2, 0)
- TEST (4, 5, 2, 0)
- TEST (5, 5, 2, 0)
- TEST (6, 5, 2, 0)
- TEST (7, 5, 2, 0)
- TEST (0, 6, 2, 0)
- TEST (1, 6, 2, 0)
- TEST (2, 6, 2, 0)
- TEST (3, 6, 2, 0)
- TEST (4, 6, 2, 0)
- TEST (5, 6, 2, 0)
- TEST (6, 6, 2, 0)
- TEST (7, 6, 2, 0)
- TEST (0, 7, 2, 0)
- TEST (1, 7, 2, 0)
- TEST (2, 7, 2, 0)
- TEST (3, 7, 2, 0)
- TEST (4, 7, 2, 0)
- TEST (5, 7, 2, 0)
- TEST (6, 7, 2, 0)
- TEST (7, 7, 2, 0)
- TEST (0, 0, 3, 0)
- TEST (1, 0, 3, 0)
- TEST (2, 0, 3, 0)
- TEST (3, 0, 3, 0)
- TEST (4, 0, 3, 0)
- TEST (5, 0, 3, 0)
- TEST (6, 0, 3, 0)
- TEST (7, 0, 3, 0)
- TEST (0, 1, 3, 0)
- TEST (1, 1, 3, 0)
- TEST (2, 1, 3, 0)
- TEST (3, 1, 3, 0)
- TEST (4, 1, 3, 0)
- TEST (5, 1, 3, 0)
- TEST (6, 1, 3, 0)
- TEST (7, 1, 3, 0)
- TEST (0, 2, 3, 0)
- TEST (1, 2, 3, 0)
- TEST (2, 2, 3, 0)
- TEST (3, 2, 3, 0)
- TEST (4, 2, 3, 0)
- TEST (5, 2, 3, 0)
- TEST (6, 2, 3, 0)
- TEST (7, 2, 3, 0)
- TEST (0, 3, 3, 0)
- TEST (1, 3, 3, 0)
- TEST (2, 3, 3, 0)
- TEST (3, 3, 3, 0)
- TEST (4, 3, 3, 0)
- TEST (5, 3, 3, 0)
- TEST (6, 3, 3, 0)
- TEST (7, 3, 3, 0)
- TEST (0, 4, 3, 0)
- TEST (1, 4, 3, 0)
- TEST (2, 4, 3, 0)
- TEST (3, 4, 3, 0)
- TEST (4, 4, 3, 0)
- TEST (5, 4, 3, 0)
- TEST (6, 4, 3, 0)
- TEST (7, 4, 3, 0)
- TEST (0, 5, 3, 0)
- TEST (1, 5, 3, 0)
- TEST (2, 5, 3, 0)
- TEST (3, 5, 3, 0)
- TEST (4, 5, 3, 0)
- TEST (5, 5, 3, 0)
- TEST (6, 5, 3, 0)
- TEST (7, 5, 3, 0)
- TEST (0, 6, 3, 0)
- TEST (1, 6, 3, 0)
- TEST (2, 6, 3, 0)
- TEST (3, 6, 3, 0)
- TEST (4, 6, 3, 0)
- TEST (5, 6, 3, 0)
- TEST (6, 6, 3, 0)
- TEST (7, 6, 3, 0)
- TEST (0, 7, 3, 0)
- TEST (1, 7, 3, 0)
- TEST (2, 7, 3, 0)
- TEST (3, 7, 3, 0)
- TEST (4, 7, 3, 0)
- TEST (5, 7, 3, 0)
- TEST (6, 7, 3, 0)
- TEST (7, 7, 3, 0)
-}
-
-void check2(void)
-{
- TEST (0, 0, 4, 0)
- TEST (1, 0, 4, 0)
- TEST (2, 0, 4, 0)
- TEST (3, 0, 4, 0)
- TEST (4, 0, 4, 0)
- TEST (5, 0, 4, 0)
- TEST (6, 0, 4, 0)
- TEST (7, 0, 4, 0)
- TEST (0, 1, 4, 0)
- TEST (1, 1, 4, 0)
- TEST (2, 1, 4, 0)
- TEST (3, 1, 4, 0)
- TEST (4, 1, 4, 0)
- TEST (5, 1, 4, 0)
- TEST (6, 1, 4, 0)
- TEST (7, 1, 4, 0)
- TEST (0, 2, 4, 0)
- TEST (1, 2, 4, 0)
- TEST (2, 2, 4, 0)
- TEST (3, 2, 4, 0)
- TEST (4, 2, 4, 0)
- TEST (5, 2, 4, 0)
- TEST (6, 2, 4, 0)
- TEST (7, 2, 4, 0)
- TEST (0, 3, 4, 0)
- TEST (1, 3, 4, 0)
- TEST (2, 3, 4, 0)
- TEST (3, 3, 4, 0)
- TEST (4, 3, 4, 0)
- TEST (5, 3, 4, 0)
- TEST (6, 3, 4, 0)
- TEST (7, 3, 4, 0)
- TEST (0, 4, 4, 0)
- TEST (1, 4, 4, 0)
- TEST (2, 4, 4, 0)
- TEST (3, 4, 4, 0)
- TEST (4, 4, 4, 0)
- TEST (5, 4, 4, 0)
- TEST (6, 4, 4, 0)
- TEST (7, 4, 4, 0)
- TEST (0, 5, 4, 0)
- TEST (1, 5, 4, 0)
- TEST (2, 5, 4, 0)
- TEST (3, 5, 4, 0)
- TEST (4, 5, 4, 0)
- TEST (5, 5, 4, 0)
- TEST (6, 5, 4, 0)
- TEST (7, 5, 4, 0)
- TEST (0, 6, 4, 0)
- TEST (1, 6, 4, 0)
- TEST (2, 6, 4, 0)
- TEST (3, 6, 4, 0)
- TEST (4, 6, 4, 0)
- TEST (5, 6, 4, 0)
- TEST (6, 6, 4, 0)
- TEST (7, 6, 4, 0)
- TEST (0, 7, 4, 0)
- TEST (1, 7, 4, 0)
- TEST (2, 7, 4, 0)
- TEST (3, 7, 4, 0)
- TEST (4, 7, 4, 0)
- TEST (5, 7, 4, 0)
- TEST (6, 7, 4, 0)
- TEST (7, 7, 4, 0)
- TEST (0, 0, 5, 0)
- TEST (1, 0, 5, 0)
- TEST (2, 0, 5, 0)
- TEST (3, 0, 5, 0)
- TEST (4, 0, 5, 0)
- TEST (5, 0, 5, 0)
- TEST (6, 0, 5, 0)
- TEST (7, 0, 5, 0)
- TEST (0, 1, 5, 0)
- TEST (1, 1, 5, 0)
- TEST (2, 1, 5, 0)
- TEST (3, 1, 5, 0)
- TEST (4, 1, 5, 0)
- TEST (5, 1, 5, 0)
- TEST (6, 1, 5, 0)
- TEST (7, 1, 5, 0)
- TEST (0, 2, 5, 0)
- TEST (1, 2, 5, 0)
- TEST (2, 2, 5, 0)
- TEST (3, 2, 5, 0)
- TEST (4, 2, 5, 0)
- TEST (5, 2, 5, 0)
- TEST (6, 2, 5, 0)
- TEST (7, 2, 5, 0)
- TEST (0, 3, 5, 0)
- TEST (1, 3, 5, 0)
- TEST (2, 3, 5, 0)
- TEST (3, 3, 5, 0)
- TEST (4, 3, 5, 0)
- TEST (5, 3, 5, 0)
- TEST (6, 3, 5, 0)
- TEST (7, 3, 5, 0)
- TEST (0, 4, 5, 0)
- TEST (1, 4, 5, 0)
- TEST (2, 4, 5, 0)
- TEST (3, 4, 5, 0)
- TEST (4, 4, 5, 0)
- TEST (5, 4, 5, 0)
- TEST (6, 4, 5, 0)
- TEST (7, 4, 5, 0)
- TEST (0, 5, 5, 0)
- TEST (1, 5, 5, 0)
- TEST (2, 5, 5, 0)
- TEST (3, 5, 5, 0)
- TEST (4, 5, 5, 0)
- TEST (5, 5, 5, 0)
- TEST (6, 5, 5, 0)
- TEST (7, 5, 5, 0)
- TEST (0, 6, 5, 0)
- TEST (1, 6, 5, 0)
- TEST (2, 6, 5, 0)
- TEST (3, 6, 5, 0)
- TEST (4, 6, 5, 0)
- TEST (5, 6, 5, 0)
- TEST (6, 6, 5, 0)
- TEST (7, 6, 5, 0)
- TEST (0, 7, 5, 0)
- TEST (1, 7, 5, 0)
- TEST (2, 7, 5, 0)
- TEST (3, 7, 5, 0)
- TEST (4, 7, 5, 0)
- TEST (5, 7, 5, 0)
- TEST (6, 7, 5, 0)
- TEST (7, 7, 5, 0)
-}
-
-void check3(void)
-{
- TEST (0, 0, 6, 0)
- TEST (1, 0, 6, 0)
- TEST (2, 0, 6, 0)
- TEST (3, 0, 6, 0)
- TEST (4, 0, 6, 0)
- TEST (5, 0, 6, 0)
- TEST (6, 0, 6, 0)
- TEST (7, 0, 6, 0)
- TEST (0, 1, 6, 0)
- TEST (1, 1, 6, 0)
- TEST (2, 1, 6, 0)
- TEST (3, 1, 6, 0)
- TEST (4, 1, 6, 0)
- TEST (5, 1, 6, 0)
- TEST (6, 1, 6, 0)
- TEST (7, 1, 6, 0)
- TEST (0, 2, 6, 0)
- TEST (1, 2, 6, 0)
- TEST (2, 2, 6, 0)
- TEST (3, 2, 6, 0)
- TEST (4, 2, 6, 0)
- TEST (5, 2, 6, 0)
- TEST (6, 2, 6, 0)
- TEST (7, 2, 6, 0)
- TEST (0, 3, 6, 0)
- TEST (1, 3, 6, 0)
- TEST (2, 3, 6, 0)
- TEST (3, 3, 6, 0)
- TEST (4, 3, 6, 0)
- TEST (5, 3, 6, 0)
- TEST (6, 3, 6, 0)
- TEST (7, 3, 6, 0)
- TEST (0, 4, 6, 0)
- TEST (1, 4, 6, 0)
- TEST (2, 4, 6, 0)
- TEST (3, 4, 6, 0)
- TEST (4, 4, 6, 0)
- TEST (5, 4, 6, 0)
- TEST (6, 4, 6, 0)
- TEST (7, 4, 6, 0)
- TEST (0, 5, 6, 0)
- TEST (1, 5, 6, 0)
- TEST (2, 5, 6, 0)
- TEST (3, 5, 6, 0)
- TEST (4, 5, 6, 0)
- TEST (5, 5, 6, 0)
- TEST (6, 5, 6, 0)
- TEST (7, 5, 6, 0)
- TEST (0, 6, 6, 0)
- TEST (1, 6, 6, 0)
- TEST (2, 6, 6, 0)
- TEST (3, 6, 6, 0)
- TEST (4, 6, 6, 0)
- TEST (5, 6, 6, 0)
- TEST (6, 6, 6, 0)
- TEST (7, 6, 6, 0)
- TEST (0, 7, 6, 0)
- TEST (1, 7, 6, 0)
- TEST (2, 7, 6, 0)
- TEST (3, 7, 6, 0)
- TEST (4, 7, 6, 0)
- TEST (5, 7, 6, 0)
- TEST (6, 7, 6, 0)
- TEST (7, 7, 6, 0)
- TEST (0, 0, 7, 0)
- TEST (1, 0, 7, 0)
- TEST (2, 0, 7, 0)
- TEST (3, 0, 7, 0)
- TEST (4, 0, 7, 0)
- TEST (5, 0, 7, 0)
- TEST (6, 0, 7, 0)
- TEST (7, 0, 7, 0)
- TEST (0, 1, 7, 0)
- TEST (1, 1, 7, 0)
- TEST (2, 1, 7, 0)
- TEST (3, 1, 7, 0)
- TEST (4, 1, 7, 0)
- TEST (5, 1, 7, 0)
- TEST (6, 1, 7, 0)
- TEST (7, 1, 7, 0)
- TEST (0, 2, 7, 0)
- TEST (1, 2, 7, 0)
- TEST (2, 2, 7, 0)
- TEST (3, 2, 7, 0)
- TEST (4, 2, 7, 0)
- TEST (5, 2, 7, 0)
- TEST (6, 2, 7, 0)
- TEST (7, 2, 7, 0)
- TEST (0, 3, 7, 0)
- TEST (1, 3, 7, 0)
- TEST (2, 3, 7, 0)
- TEST (3, 3, 7, 0)
- TEST (4, 3, 7, 0)
- TEST (5, 3, 7, 0)
- TEST (6, 3, 7, 0)
- TEST (7, 3, 7, 0)
- TEST (0, 4, 7, 0)
- TEST (1, 4, 7, 0)
- TEST (2, 4, 7, 0)
- TEST (3, 4, 7, 0)
- TEST (4, 4, 7, 0)
- TEST (5, 4, 7, 0)
- TEST (6, 4, 7, 0)
- TEST (7, 4, 7, 0)
- TEST (0, 5, 7, 0)
- TEST (1, 5, 7, 0)
- TEST (2, 5, 7, 0)
- TEST (3, 5, 7, 0)
- TEST (4, 5, 7, 0)
- TEST (5, 5, 7, 0)
- TEST (6, 5, 7, 0)
- TEST (7, 5, 7, 0)
- TEST (0, 6, 7, 0)
- TEST (1, 6, 7, 0)
- TEST (2, 6, 7, 0)
- TEST (3, 6, 7, 0)
- TEST (4, 6, 7, 0)
- TEST (5, 6, 7, 0)
- TEST (6, 6, 7, 0)
- TEST (7, 6, 7, 0)
- TEST (0, 7, 7, 0)
- TEST (1, 7, 7, 0)
- TEST (2, 7, 7, 0)
- TEST (3, 7, 7, 0)
- TEST (4, 7, 7, 0)
- TEST (5, 7, 7, 0)
- TEST (6, 7, 7, 0)
- TEST (7, 7, 7, 0)
-}
-
-void check4(void)
-{
- TEST (0, 0, 0, 1)
- TEST (1, 0, 0, 1)
- TEST (2, 0, 0, 1)
- TEST (3, 0, 0, 1)
- TEST (4, 0, 0, 1)
- TEST (5, 0, 0, 1)
- TEST (6, 0, 0, 1)
- TEST (7, 0, 0, 1)
- TEST (0, 1, 0, 1)
- TEST (1, 1, 0, 1)
- TEST (2, 1, 0, 1)
- TEST (3, 1, 0, 1)
- TEST (4, 1, 0, 1)
- TEST (5, 1, 0, 1)
- TEST (6, 1, 0, 1)
- TEST (7, 1, 0, 1)
- TEST (0, 2, 0, 1)
- TEST (1, 2, 0, 1)
- TEST (2, 2, 0, 1)
- TEST (3, 2, 0, 1)
- TEST (4, 2, 0, 1)
- TEST (5, 2, 0, 1)
- TEST (6, 2, 0, 1)
- TEST (7, 2, 0, 1)
- TEST (0, 3, 0, 1)
- TEST (1, 3, 0, 1)
- TEST (2, 3, 0, 1)
- TEST (3, 3, 0, 1)
- TEST (4, 3, 0, 1)
- TEST (5, 3, 0, 1)
- TEST (6, 3, 0, 1)
- TEST (7, 3, 0, 1)
- TEST (0, 4, 0, 1)
- TEST (1, 4, 0, 1)
- TEST (2, 4, 0, 1)
- TEST (3, 4, 0, 1)
- TEST (4, 4, 0, 1)
- TEST (5, 4, 0, 1)
- TEST (6, 4, 0, 1)
- TEST (7, 4, 0, 1)
- TEST (0, 5, 0, 1)
- TEST (1, 5, 0, 1)
- TEST (2, 5, 0, 1)
- TEST (3, 5, 0, 1)
- TEST (4, 5, 0, 1)
- TEST (5, 5, 0, 1)
- TEST (6, 5, 0, 1)
- TEST (7, 5, 0, 1)
- TEST (0, 6, 0, 1)
- TEST (1, 6, 0, 1)
- TEST (2, 6, 0, 1)
- TEST (3, 6, 0, 1)
- TEST (4, 6, 0, 1)
- TEST (5, 6, 0, 1)
- TEST (6, 6, 0, 1)
- TEST (7, 6, 0, 1)
- TEST (0, 7, 0, 1)
- TEST (1, 7, 0, 1)
- TEST (2, 7, 0, 1)
- TEST (3, 7, 0, 1)
- TEST (4, 7, 0, 1)
- TEST (5, 7, 0, 1)
- TEST (6, 7, 0, 1)
- TEST (7, 7, 0, 1)
- TEST (0, 0, 1, 1)
- TEST (1, 0, 1, 1)
- TEST (2, 0, 1, 1)
- TEST (3, 0, 1, 1)
- TEST (4, 0, 1, 1)
- TEST (5, 0, 1, 1)
- TEST (6, 0, 1, 1)
- TEST (7, 0, 1, 1)
- TEST (0, 1, 1, 1)
- TEST (1, 1, 1, 1)
- TEST (2, 1, 1, 1)
- TEST (3, 1, 1, 1)
- TEST (4, 1, 1, 1)
- TEST (5, 1, 1, 1)
- TEST (6, 1, 1, 1)
- TEST (7, 1, 1, 1)
- TEST (0, 2, 1, 1)
- TEST (1, 2, 1, 1)
- TEST (2, 2, 1, 1)
- TEST (3, 2, 1, 1)
- TEST (4, 2, 1, 1)
- TEST (5, 2, 1, 1)
- TEST (6, 2, 1, 1)
- TEST (7, 2, 1, 1)
- TEST (0, 3, 1, 1)
- TEST (1, 3, 1, 1)
- TEST (2, 3, 1, 1)
- TEST (3, 3, 1, 1)
- TEST (4, 3, 1, 1)
- TEST (5, 3, 1, 1)
- TEST (6, 3, 1, 1)
- TEST (7, 3, 1, 1)
- TEST (0, 4, 1, 1)
- TEST (1, 4, 1, 1)
- TEST (2, 4, 1, 1)
- TEST (3, 4, 1, 1)
- TEST (4, 4, 1, 1)
- TEST (5, 4, 1, 1)
- TEST (6, 4, 1, 1)
- TEST (7, 4, 1, 1)
- TEST (0, 5, 1, 1)
- TEST (1, 5, 1, 1)
- TEST (2, 5, 1, 1)
- TEST (3, 5, 1, 1)
- TEST (4, 5, 1, 1)
- TEST (5, 5, 1, 1)
- TEST (6, 5, 1, 1)
- TEST (7, 5, 1, 1)
- TEST (0, 6, 1, 1)
- TEST (1, 6, 1, 1)
- TEST (2, 6, 1, 1)
- TEST (3, 6, 1, 1)
- TEST (4, 6, 1, 1)
- TEST (5, 6, 1, 1)
- TEST (6, 6, 1, 1)
- TEST (7, 6, 1, 1)
- TEST (0, 7, 1, 1)
- TEST (1, 7, 1, 1)
- TEST (2, 7, 1, 1)
- TEST (3, 7, 1, 1)
- TEST (4, 7, 1, 1)
- TEST (5, 7, 1, 1)
- TEST (6, 7, 1, 1)
- TEST (7, 7, 1, 1)
-}
-
-void check5(void)
-{
- TEST (0, 0, 2, 1)
- TEST (1, 0, 2, 1)
- TEST (2, 0, 2, 1)
- TEST (3, 0, 2, 1)
- TEST (4, 0, 2, 1)
- TEST (5, 0, 2, 1)
- TEST (6, 0, 2, 1)
- TEST (7, 0, 2, 1)
- TEST (0, 1, 2, 1)
- TEST (1, 1, 2, 1)
- TEST (2, 1, 2, 1)
- TEST (3, 1, 2, 1)
- TEST (4, 1, 2, 1)
- TEST (5, 1, 2, 1)
- TEST (6, 1, 2, 1)
- TEST (7, 1, 2, 1)
- TEST (0, 2, 2, 1)
- TEST (1, 2, 2, 1)
- TEST (2, 2, 2, 1)
- TEST (3, 2, 2, 1)
- TEST (4, 2, 2, 1)
- TEST (5, 2, 2, 1)
- TEST (6, 2, 2, 1)
- TEST (7, 2, 2, 1)
- TEST (0, 3, 2, 1)
- TEST (1, 3, 2, 1)
- TEST (2, 3, 2, 1)
- TEST (3, 3, 2, 1)
- TEST (4, 3, 2, 1)
- TEST (5, 3, 2, 1)
- TEST (6, 3, 2, 1)
- TEST (7, 3, 2, 1)
- TEST (0, 4, 2, 1)
- TEST (1, 4, 2, 1)
- TEST (2, 4, 2, 1)
- TEST (3, 4, 2, 1)
- TEST (4, 4, 2, 1)
- TEST (5, 4, 2, 1)
- TEST (6, 4, 2, 1)
- TEST (7, 4, 2, 1)
- TEST (0, 5, 2, 1)
- TEST (1, 5, 2, 1)
- TEST (2, 5, 2, 1)
- TEST (3, 5, 2, 1)
- TEST (4, 5, 2, 1)
- TEST (5, 5, 2, 1)
- TEST (6, 5, 2, 1)
- TEST (7, 5, 2, 1)
- TEST (0, 6, 2, 1)
- TEST (1, 6, 2, 1)
- TEST (2, 6, 2, 1)
- TEST (3, 6, 2, 1)
- TEST (4, 6, 2, 1)
- TEST (5, 6, 2, 1)
- TEST (6, 6, 2, 1)
- TEST (7, 6, 2, 1)
- TEST (0, 7, 2, 1)
- TEST (1, 7, 2, 1)
- TEST (2, 7, 2, 1)
- TEST (3, 7, 2, 1)
- TEST (4, 7, 2, 1)
- TEST (5, 7, 2, 1)
- TEST (6, 7, 2, 1)
- TEST (7, 7, 2, 1)
- TEST (0, 0, 3, 1)
- TEST (1, 0, 3, 1)
- TEST (2, 0, 3, 1)
- TEST (3, 0, 3, 1)
- TEST (4, 0, 3, 1)
- TEST (5, 0, 3, 1)
- TEST (6, 0, 3, 1)
- TEST (7, 0, 3, 1)
- TEST (0, 1, 3, 1)
- TEST (1, 1, 3, 1)
- TEST (2, 1, 3, 1)
- TEST (3, 1, 3, 1)
- TEST (4, 1, 3, 1)
- TEST (5, 1, 3, 1)
- TEST (6, 1, 3, 1)
- TEST (7, 1, 3, 1)
- TEST (0, 2, 3, 1)
- TEST (1, 2, 3, 1)
- TEST (2, 2, 3, 1)
- TEST (3, 2, 3, 1)
- TEST (4, 2, 3, 1)
- TEST (5, 2, 3, 1)
- TEST (6, 2, 3, 1)
- TEST (7, 2, 3, 1)
- TEST (0, 3, 3, 1)
- TEST (1, 3, 3, 1)
- TEST (2, 3, 3, 1)
- TEST (3, 3, 3, 1)
- TEST (4, 3, 3, 1)
- TEST (5, 3, 3, 1)
- TEST (6, 3, 3, 1)
- TEST (7, 3, 3, 1)
- TEST (0, 4, 3, 1)
- TEST (1, 4, 3, 1)
- TEST (2, 4, 3, 1)
- TEST (3, 4, 3, 1)
- TEST (4, 4, 3, 1)
- TEST (5, 4, 3, 1)
- TEST (6, 4, 3, 1)
- TEST (7, 4, 3, 1)
- TEST (0, 5, 3, 1)
- TEST (1, 5, 3, 1)
- TEST (2, 5, 3, 1)
- TEST (3, 5, 3, 1)
- TEST (4, 5, 3, 1)
- TEST (5, 5, 3, 1)
- TEST (6, 5, 3, 1)
- TEST (7, 5, 3, 1)
- TEST (0, 6, 3, 1)
- TEST (1, 6, 3, 1)
- TEST (2, 6, 3, 1)
- TEST (3, 6, 3, 1)
- TEST (4, 6, 3, 1)
- TEST (5, 6, 3, 1)
- TEST (6, 6, 3, 1)
- TEST (7, 6, 3, 1)
- TEST (0, 7, 3, 1)
- TEST (1, 7, 3, 1)
- TEST (2, 7, 3, 1)
- TEST (3, 7, 3, 1)
- TEST (4, 7, 3, 1)
- TEST (5, 7, 3, 1)
- TEST (6, 7, 3, 1)
- TEST (7, 7, 3, 1)
-}
-
-void check6(void)
-{
- TEST (0, 0, 4, 1)
- TEST (1, 0, 4, 1)
- TEST (2, 0, 4, 1)
- TEST (3, 0, 4, 1)
- TEST (4, 0, 4, 1)
- TEST (5, 0, 4, 1)
- TEST (6, 0, 4, 1)
- TEST (7, 0, 4, 1)
- TEST (0, 1, 4, 1)
- TEST (1, 1, 4, 1)
- TEST (2, 1, 4, 1)
- TEST (3, 1, 4, 1)
- TEST (4, 1, 4, 1)
- TEST (5, 1, 4, 1)
- TEST (6, 1, 4, 1)
- TEST (7, 1, 4, 1)
- TEST (0, 2, 4, 1)
- TEST (1, 2, 4, 1)
- TEST (2, 2, 4, 1)
- TEST (3, 2, 4, 1)
- TEST (4, 2, 4, 1)
- TEST (5, 2, 4, 1)
- TEST (6, 2, 4, 1)
- TEST (7, 2, 4, 1)
- TEST (0, 3, 4, 1)
- TEST (1, 3, 4, 1)
- TEST (2, 3, 4, 1)
- TEST (3, 3, 4, 1)
- TEST (4, 3, 4, 1)
- TEST (5, 3, 4, 1)
- TEST (6, 3, 4, 1)
- TEST (7, 3, 4, 1)
- TEST (0, 4, 4, 1)
- TEST (1, 4, 4, 1)
- TEST (2, 4, 4, 1)
- TEST (3, 4, 4, 1)
- TEST (4, 4, 4, 1)
- TEST (5, 4, 4, 1)
- TEST (6, 4, 4, 1)
- TEST (7, 4, 4, 1)
- TEST (0, 5, 4, 1)
- TEST (1, 5, 4, 1)
- TEST (2, 5, 4, 1)
- TEST (3, 5, 4, 1)
- TEST (4, 5, 4, 1)
- TEST (5, 5, 4, 1)
- TEST (6, 5, 4, 1)
- TEST (7, 5, 4, 1)
- TEST (0, 6, 4, 1)
- TEST (1, 6, 4, 1)
- TEST (2, 6, 4, 1)
- TEST (3, 6, 4, 1)
- TEST (4, 6, 4, 1)
- TEST (5, 6, 4, 1)
- TEST (6, 6, 4, 1)
- TEST (7, 6, 4, 1)
- TEST (0, 7, 4, 1)
- TEST (1, 7, 4, 1)
- TEST (2, 7, 4, 1)
- TEST (3, 7, 4, 1)
- TEST (4, 7, 4, 1)
- TEST (5, 7, 4, 1)
- TEST (6, 7, 4, 1)
- TEST (7, 7, 4, 1)
- TEST (0, 0, 5, 1)
- TEST (1, 0, 5, 1)
- TEST (2, 0, 5, 1)
- TEST (3, 0, 5, 1)
- TEST (4, 0, 5, 1)
- TEST (5, 0, 5, 1)
- TEST (6, 0, 5, 1)
- TEST (7, 0, 5, 1)
- TEST (0, 1, 5, 1)
- TEST (1, 1, 5, 1)
- TEST (2, 1, 5, 1)
- TEST (3, 1, 5, 1)
- TEST (4, 1, 5, 1)
- TEST (5, 1, 5, 1)
- TEST (6, 1, 5, 1)
- TEST (7, 1, 5, 1)
- TEST (0, 2, 5, 1)
- TEST (1, 2, 5, 1)
- TEST (2, 2, 5, 1)
- TEST (3, 2, 5, 1)
- TEST (4, 2, 5, 1)
- TEST (5, 2, 5, 1)
- TEST (6, 2, 5, 1)
- TEST (7, 2, 5, 1)
- TEST (0, 3, 5, 1)
- TEST (1, 3, 5, 1)
- TEST (2, 3, 5, 1)
- TEST (3, 3, 5, 1)
- TEST (4, 3, 5, 1)
- TEST (5, 3, 5, 1)
- TEST (6, 3, 5, 1)
- TEST (7, 3, 5, 1)
- TEST (0, 4, 5, 1)
- TEST (1, 4, 5, 1)
- TEST (2, 4, 5, 1)
- TEST (3, 4, 5, 1)
- TEST (4, 4, 5, 1)
- TEST (5, 4, 5, 1)
- TEST (6, 4, 5, 1)
- TEST (7, 4, 5, 1)
- TEST (0, 5, 5, 1)
- TEST (1, 5, 5, 1)
- TEST (2, 5, 5, 1)
- TEST (3, 5, 5, 1)
- TEST (4, 5, 5, 1)
- TEST (5, 5, 5, 1)
- TEST (6, 5, 5, 1)
- TEST (7, 5, 5, 1)
- TEST (0, 6, 5, 1)
- TEST (1, 6, 5, 1)
- TEST (2, 6, 5, 1)
- TEST (3, 6, 5, 1)
- TEST (4, 6, 5, 1)
- TEST (5, 6, 5, 1)
- TEST (6, 6, 5, 1)
- TEST (7, 6, 5, 1)
- TEST (0, 7, 5, 1)
- TEST (1, 7, 5, 1)
- TEST (2, 7, 5, 1)
- TEST (3, 7, 5, 1)
- TEST (4, 7, 5, 1)
- TEST (5, 7, 5, 1)
- TEST (6, 7, 5, 1)
- TEST (7, 7, 5, 1)
-}
-
-void check7(void)
-{
- TEST (0, 0, 6, 1)
- TEST (1, 0, 6, 1)
- TEST (2, 0, 6, 1)
- TEST (3, 0, 6, 1)
- TEST (4, 0, 6, 1)
- TEST (5, 0, 6, 1)
- TEST (6, 0, 6, 1)
- TEST (7, 0, 6, 1)
- TEST (0, 1, 6, 1)
- TEST (1, 1, 6, 1)
- TEST (2, 1, 6, 1)
- TEST (3, 1, 6, 1)
- TEST (4, 1, 6, 1)
- TEST (5, 1, 6, 1)
- TEST (6, 1, 6, 1)
- TEST (7, 1, 6, 1)
- TEST (0, 2, 6, 1)
- TEST (1, 2, 6, 1)
- TEST (2, 2, 6, 1)
- TEST (3, 2, 6, 1)
- TEST (4, 2, 6, 1)
- TEST (5, 2, 6, 1)
- TEST (6, 2, 6, 1)
- TEST (7, 2, 6, 1)
- TEST (0, 3, 6, 1)
- TEST (1, 3, 6, 1)
- TEST (2, 3, 6, 1)
- TEST (3, 3, 6, 1)
- TEST (4, 3, 6, 1)
- TEST (5, 3, 6, 1)
- TEST (6, 3, 6, 1)
- TEST (7, 3, 6, 1)
- TEST (0, 4, 6, 1)
- TEST (1, 4, 6, 1)
- TEST (2, 4, 6, 1)
- TEST (3, 4, 6, 1)
- TEST (4, 4, 6, 1)
- TEST (5, 4, 6, 1)
- TEST (6, 4, 6, 1)
- TEST (7, 4, 6, 1)
- TEST (0, 5, 6, 1)
- TEST (1, 5, 6, 1)
- TEST (2, 5, 6, 1)
- TEST (3, 5, 6, 1)
- TEST (4, 5, 6, 1)
- TEST (5, 5, 6, 1)
- TEST (6, 5, 6, 1)
- TEST (7, 5, 6, 1)
- TEST (0, 6, 6, 1)
- TEST (1, 6, 6, 1)
- TEST (2, 6, 6, 1)
- TEST (3, 6, 6, 1)
- TEST (4, 6, 6, 1)
- TEST (5, 6, 6, 1)
- TEST (6, 6, 6, 1)
- TEST (7, 6, 6, 1)
- TEST (0, 7, 6, 1)
- TEST (1, 7, 6, 1)
- TEST (2, 7, 6, 1)
- TEST (3, 7, 6, 1)
- TEST (4, 7, 6, 1)
- TEST (5, 7, 6, 1)
- TEST (6, 7, 6, 1)
- TEST (7, 7, 6, 1)
- TEST (0, 0, 7, 1)
- TEST (1, 0, 7, 1)
- TEST (2, 0, 7, 1)
- TEST (3, 0, 7, 1)
- TEST (4, 0, 7, 1)
- TEST (5, 0, 7, 1)
- TEST (6, 0, 7, 1)
- TEST (7, 0, 7, 1)
- TEST (0, 1, 7, 1)
- TEST (1, 1, 7, 1)
- TEST (2, 1, 7, 1)
- TEST (3, 1, 7, 1)
- TEST (4, 1, 7, 1)
- TEST (5, 1, 7, 1)
- TEST (6, 1, 7, 1)
- TEST (7, 1, 7, 1)
- TEST (0, 2, 7, 1)
- TEST (1, 2, 7, 1)
- TEST (2, 2, 7, 1)
- TEST (3, 2, 7, 1)
- TEST (4, 2, 7, 1)
- TEST (5, 2, 7, 1)
- TEST (6, 2, 7, 1)
- TEST (7, 2, 7, 1)
- TEST (0, 3, 7, 1)
- TEST (1, 3, 7, 1)
- TEST (2, 3, 7, 1)
- TEST (3, 3, 7, 1)
- TEST (4, 3, 7, 1)
- TEST (5, 3, 7, 1)
- TEST (6, 3, 7, 1)
- TEST (7, 3, 7, 1)
- TEST (0, 4, 7, 1)
- TEST (1, 4, 7, 1)
- TEST (2, 4, 7, 1)
- TEST (3, 4, 7, 1)
- TEST (4, 4, 7, 1)
- TEST (5, 4, 7, 1)
- TEST (6, 4, 7, 1)
- TEST (7, 4, 7, 1)
- TEST (0, 5, 7, 1)
- TEST (1, 5, 7, 1)
- TEST (2, 5, 7, 1)
- TEST (3, 5, 7, 1)
- TEST (4, 5, 7, 1)
- TEST (5, 5, 7, 1)
- TEST (6, 5, 7, 1)
- TEST (7, 5, 7, 1)
- TEST (0, 6, 7, 1)
- TEST (1, 6, 7, 1)
- TEST (2, 6, 7, 1)
- TEST (3, 6, 7, 1)
- TEST (4, 6, 7, 1)
- TEST (5, 6, 7, 1)
- TEST (6, 6, 7, 1)
- TEST (7, 6, 7, 1)
- TEST (0, 7, 7, 1)
- TEST (1, 7, 7, 1)
- TEST (2, 7, 7, 1)
- TEST (3, 7, 7, 1)
- TEST (4, 7, 7, 1)
- TEST (5, 7, 7, 1)
- TEST (6, 7, 7, 1)
- TEST (7, 7, 7, 1)
-}
-
-void check8(void)
-{
- TEST (0, 0, 0, 2)
- TEST (1, 0, 0, 2)
- TEST (2, 0, 0, 2)
- TEST (3, 0, 0, 2)
- TEST (4, 0, 0, 2)
- TEST (5, 0, 0, 2)
- TEST (6, 0, 0, 2)
- TEST (7, 0, 0, 2)
- TEST (0, 1, 0, 2)
- TEST (1, 1, 0, 2)
- TEST (2, 1, 0, 2)
- TEST (3, 1, 0, 2)
- TEST (4, 1, 0, 2)
- TEST (5, 1, 0, 2)
- TEST (6, 1, 0, 2)
- TEST (7, 1, 0, 2)
- TEST (0, 2, 0, 2)
- TEST (1, 2, 0, 2)
- TEST (2, 2, 0, 2)
- TEST (3, 2, 0, 2)
- TEST (4, 2, 0, 2)
- TEST (5, 2, 0, 2)
- TEST (6, 2, 0, 2)
- TEST (7, 2, 0, 2)
- TEST (0, 3, 0, 2)
- TEST (1, 3, 0, 2)
- TEST (2, 3, 0, 2)
- TEST (3, 3, 0, 2)
- TEST (4, 3, 0, 2)
- TEST (5, 3, 0, 2)
- TEST (6, 3, 0, 2)
- TEST (7, 3, 0, 2)
- TEST (0, 4, 0, 2)
- TEST (1, 4, 0, 2)
- TEST (2, 4, 0, 2)
- TEST (3, 4, 0, 2)
- TEST (4, 4, 0, 2)
- TEST (5, 4, 0, 2)
- TEST (6, 4, 0, 2)
- TEST (7, 4, 0, 2)
- TEST (0, 5, 0, 2)
- TEST (1, 5, 0, 2)
- TEST (2, 5, 0, 2)
- TEST (3, 5, 0, 2)
- TEST (4, 5, 0, 2)
- TEST (5, 5, 0, 2)
- TEST (6, 5, 0, 2)
- TEST (7, 5, 0, 2)
- TEST (0, 6, 0, 2)
- TEST (1, 6, 0, 2)
- TEST (2, 6, 0, 2)
- TEST (3, 6, 0, 2)
- TEST (4, 6, 0, 2)
- TEST (5, 6, 0, 2)
- TEST (6, 6, 0, 2)
- TEST (7, 6, 0, 2)
- TEST (0, 7, 0, 2)
- TEST (1, 7, 0, 2)
- TEST (2, 7, 0, 2)
- TEST (3, 7, 0, 2)
- TEST (4, 7, 0, 2)
- TEST (5, 7, 0, 2)
- TEST (6, 7, 0, 2)
- TEST (7, 7, 0, 2)
- TEST (0, 0, 1, 2)
- TEST (1, 0, 1, 2)
- TEST (2, 0, 1, 2)
- TEST (3, 0, 1, 2)
- TEST (4, 0, 1, 2)
- TEST (5, 0, 1, 2)
- TEST (6, 0, 1, 2)
- TEST (7, 0, 1, 2)
- TEST (0, 1, 1, 2)
- TEST (1, 1, 1, 2)
- TEST (2, 1, 1, 2)
- TEST (3, 1, 1, 2)
- TEST (4, 1, 1, 2)
- TEST (5, 1, 1, 2)
- TEST (6, 1, 1, 2)
- TEST (7, 1, 1, 2)
- TEST (0, 2, 1, 2)
- TEST (1, 2, 1, 2)
- TEST (2, 2, 1, 2)
- TEST (3, 2, 1, 2)
- TEST (4, 2, 1, 2)
- TEST (5, 2, 1, 2)
- TEST (6, 2, 1, 2)
- TEST (7, 2, 1, 2)
- TEST (0, 3, 1, 2)
- TEST (1, 3, 1, 2)
- TEST (2, 3, 1, 2)
- TEST (3, 3, 1, 2)
- TEST (4, 3, 1, 2)
- TEST (5, 3, 1, 2)
- TEST (6, 3, 1, 2)
- TEST (7, 3, 1, 2)
- TEST (0, 4, 1, 2)
- TEST (1, 4, 1, 2)
- TEST (2, 4, 1, 2)
- TEST (3, 4, 1, 2)
- TEST (4, 4, 1, 2)
- TEST (5, 4, 1, 2)
- TEST (6, 4, 1, 2)
- TEST (7, 4, 1, 2)
- TEST (0, 5, 1, 2)
- TEST (1, 5, 1, 2)
- TEST (2, 5, 1, 2)
- TEST (3, 5, 1, 2)
- TEST (4, 5, 1, 2)
- TEST (5, 5, 1, 2)
- TEST (6, 5, 1, 2)
- TEST (7, 5, 1, 2)
- TEST (0, 6, 1, 2)
- TEST (1, 6, 1, 2)
- TEST (2, 6, 1, 2)
- TEST (3, 6, 1, 2)
- TEST (4, 6, 1, 2)
- TEST (5, 6, 1, 2)
- TEST (6, 6, 1, 2)
- TEST (7, 6, 1, 2)
- TEST (0, 7, 1, 2)
- TEST (1, 7, 1, 2)
- TEST (2, 7, 1, 2)
- TEST (3, 7, 1, 2)
- TEST (4, 7, 1, 2)
- TEST (5, 7, 1, 2)
- TEST (6, 7, 1, 2)
- TEST (7, 7, 1, 2)
-}
-
-void check9(void)
-{
- TEST (0, 0, 2, 2)
- TEST (1, 0, 2, 2)
- TEST (2, 0, 2, 2)
- TEST (3, 0, 2, 2)
- TEST (4, 0, 2, 2)
- TEST (5, 0, 2, 2)
- TEST (6, 0, 2, 2)
- TEST (7, 0, 2, 2)
- TEST (0, 1, 2, 2)
- TEST (1, 1, 2, 2)
- TEST (2, 1, 2, 2)
- TEST (3, 1, 2, 2)
- TEST (4, 1, 2, 2)
- TEST (5, 1, 2, 2)
- TEST (6, 1, 2, 2)
- TEST (7, 1, 2, 2)
- TEST (0, 2, 2, 2)
- TEST (1, 2, 2, 2)
- TEST (2, 2, 2, 2)
- TEST (3, 2, 2, 2)
- TEST (4, 2, 2, 2)
- TEST (5, 2, 2, 2)
- TEST (6, 2, 2, 2)
- TEST (7, 2, 2, 2)
- TEST (0, 3, 2, 2)
- TEST (1, 3, 2, 2)
- TEST (2, 3, 2, 2)
- TEST (3, 3, 2, 2)
- TEST (4, 3, 2, 2)
- TEST (5, 3, 2, 2)
- TEST (6, 3, 2, 2)
- TEST (7, 3, 2, 2)
- TEST (0, 4, 2, 2)
- TEST (1, 4, 2, 2)
- TEST (2, 4, 2, 2)
- TEST (3, 4, 2, 2)
- TEST (4, 4, 2, 2)
- TEST (5, 4, 2, 2)
- TEST (6, 4, 2, 2)
- TEST (7, 4, 2, 2)
- TEST (0, 5, 2, 2)
- TEST (1, 5, 2, 2)
- TEST (2, 5, 2, 2)
- TEST (3, 5, 2, 2)
- TEST (4, 5, 2, 2)
- TEST (5, 5, 2, 2)
- TEST (6, 5, 2, 2)
- TEST (7, 5, 2, 2)
- TEST (0, 6, 2, 2)
- TEST (1, 6, 2, 2)
- TEST (2, 6, 2, 2)
- TEST (3, 6, 2, 2)
- TEST (4, 6, 2, 2)
- TEST (5, 6, 2, 2)
- TEST (6, 6, 2, 2)
- TEST (7, 6, 2, 2)
- TEST (0, 7, 2, 2)
- TEST (1, 7, 2, 2)
- TEST (2, 7, 2, 2)
- TEST (3, 7, 2, 2)
- TEST (4, 7, 2, 2)
- TEST (5, 7, 2, 2)
- TEST (6, 7, 2, 2)
- TEST (7, 7, 2, 2)
- TEST (0, 0, 3, 2)
- TEST (1, 0, 3, 2)
- TEST (2, 0, 3, 2)
- TEST (3, 0, 3, 2)
- TEST (4, 0, 3, 2)
- TEST (5, 0, 3, 2)
- TEST (6, 0, 3, 2)
- TEST (7, 0, 3, 2)
- TEST (0, 1, 3, 2)
- TEST (1, 1, 3, 2)
- TEST (2, 1, 3, 2)
- TEST (3, 1, 3, 2)
- TEST (4, 1, 3, 2)
- TEST (5, 1, 3, 2)
- TEST (6, 1, 3, 2)
- TEST (7, 1, 3, 2)
- TEST (0, 2, 3, 2)
- TEST (1, 2, 3, 2)
- TEST (2, 2, 3, 2)
- TEST (3, 2, 3, 2)
- TEST (4, 2, 3, 2)
- TEST (5, 2, 3, 2)
- TEST (6, 2, 3, 2)
- TEST (7, 2, 3, 2)
- TEST (0, 3, 3, 2)
- TEST (1, 3, 3, 2)
- TEST (2, 3, 3, 2)
- TEST (3, 3, 3, 2)
- TEST (4, 3, 3, 2)
- TEST (5, 3, 3, 2)
- TEST (6, 3, 3, 2)
- TEST (7, 3, 3, 2)
- TEST (0, 4, 3, 2)
- TEST (1, 4, 3, 2)
- TEST (2, 4, 3, 2)
- TEST (3, 4, 3, 2)
- TEST (4, 4, 3, 2)
- TEST (5, 4, 3, 2)
- TEST (6, 4, 3, 2)
- TEST (7, 4, 3, 2)
- TEST (0, 5, 3, 2)
- TEST (1, 5, 3, 2)
- TEST (2, 5, 3, 2)
- TEST (3, 5, 3, 2)
- TEST (4, 5, 3, 2)
- TEST (5, 5, 3, 2)
- TEST (6, 5, 3, 2)
- TEST (7, 5, 3, 2)
- TEST (0, 6, 3, 2)
- TEST (1, 6, 3, 2)
- TEST (2, 6, 3, 2)
- TEST (3, 6, 3, 2)
- TEST (4, 6, 3, 2)
- TEST (5, 6, 3, 2)
- TEST (6, 6, 3, 2)
- TEST (7, 6, 3, 2)
- TEST (0, 7, 3, 2)
- TEST (1, 7, 3, 2)
- TEST (2, 7, 3, 2)
- TEST (3, 7, 3, 2)
- TEST (4, 7, 3, 2)
- TEST (5, 7, 3, 2)
- TEST (6, 7, 3, 2)
- TEST (7, 7, 3, 2)
-}
-
-void check10(void)
-{
- TEST (0, 0, 4, 2)
- TEST (1, 0, 4, 2)
- TEST (2, 0, 4, 2)
- TEST (3, 0, 4, 2)
- TEST (4, 0, 4, 2)
- TEST (5, 0, 4, 2)
- TEST (6, 0, 4, 2)
- TEST (7, 0, 4, 2)
- TEST (0, 1, 4, 2)
- TEST (1, 1, 4, 2)
- TEST (2, 1, 4, 2)
- TEST (3, 1, 4, 2)
- TEST (4, 1, 4, 2)
- TEST (5, 1, 4, 2)
- TEST (6, 1, 4, 2)
- TEST (7, 1, 4, 2)
- TEST (0, 2, 4, 2)
- TEST (1, 2, 4, 2)
- TEST (2, 2, 4, 2)
- TEST (3, 2, 4, 2)
- TEST (4, 2, 4, 2)
- TEST (5, 2, 4, 2)
- TEST (6, 2, 4, 2)
- TEST (7, 2, 4, 2)
- TEST (0, 3, 4, 2)
- TEST (1, 3, 4, 2)
- TEST (2, 3, 4, 2)
- TEST (3, 3, 4, 2)
- TEST (4, 3, 4, 2)
- TEST (5, 3, 4, 2)
- TEST (6, 3, 4, 2)
- TEST (7, 3, 4, 2)
- TEST (0, 4, 4, 2)
- TEST (1, 4, 4, 2)
- TEST (2, 4, 4, 2)
- TEST (3, 4, 4, 2)
- TEST (4, 4, 4, 2)
- TEST (5, 4, 4, 2)
- TEST (6, 4, 4, 2)
- TEST (7, 4, 4, 2)
- TEST (0, 5, 4, 2)
- TEST (1, 5, 4, 2)
- TEST (2, 5, 4, 2)
- TEST (3, 5, 4, 2)
- TEST (4, 5, 4, 2)
- TEST (5, 5, 4, 2)
- TEST (6, 5, 4, 2)
- TEST (7, 5, 4, 2)
- TEST (0, 6, 4, 2)
- TEST (1, 6, 4, 2)
- TEST (2, 6, 4, 2)
- TEST (3, 6, 4, 2)
- TEST (4, 6, 4, 2)
- TEST (5, 6, 4, 2)
- TEST (6, 6, 4, 2)
- TEST (7, 6, 4, 2)
- TEST (0, 7, 4, 2)
- TEST (1, 7, 4, 2)
- TEST (2, 7, 4, 2)
- TEST (3, 7, 4, 2)
- TEST (4, 7, 4, 2)
- TEST (5, 7, 4, 2)
- TEST (6, 7, 4, 2)
- TEST (7, 7, 4, 2)
- TEST (0, 0, 5, 2)
- TEST (1, 0, 5, 2)
- TEST (2, 0, 5, 2)
- TEST (3, 0, 5, 2)
- TEST (4, 0, 5, 2)
- TEST (5, 0, 5, 2)
- TEST (6, 0, 5, 2)
- TEST (7, 0, 5, 2)
- TEST (0, 1, 5, 2)
- TEST (1, 1, 5, 2)
- TEST (2, 1, 5, 2)
- TEST (3, 1, 5, 2)
- TEST (4, 1, 5, 2)
- TEST (5, 1, 5, 2)
- TEST (6, 1, 5, 2)
- TEST (7, 1, 5, 2)
- TEST (0, 2, 5, 2)
- TEST (1, 2, 5, 2)
- TEST (2, 2, 5, 2)
- TEST (3, 2, 5, 2)
- TEST (4, 2, 5, 2)
- TEST (5, 2, 5, 2)
- TEST (6, 2, 5, 2)
- TEST (7, 2, 5, 2)
- TEST (0, 3, 5, 2)
- TEST (1, 3, 5, 2)
- TEST (2, 3, 5, 2)
- TEST (3, 3, 5, 2)
- TEST (4, 3, 5, 2)
- TEST (5, 3, 5, 2)
- TEST (6, 3, 5, 2)
- TEST (7, 3, 5, 2)
- TEST (0, 4, 5, 2)
- TEST (1, 4, 5, 2)
- TEST (2, 4, 5, 2)
- TEST (3, 4, 5, 2)
- TEST (4, 4, 5, 2)
- TEST (5, 4, 5, 2)
- TEST (6, 4, 5, 2)
- TEST (7, 4, 5, 2)
- TEST (0, 5, 5, 2)
- TEST (1, 5, 5, 2)
- TEST (2, 5, 5, 2)
- TEST (3, 5, 5, 2)
- TEST (4, 5, 5, 2)
- TEST (5, 5, 5, 2)
- TEST (6, 5, 5, 2)
- TEST (7, 5, 5, 2)
- TEST (0, 6, 5, 2)
- TEST (1, 6, 5, 2)
- TEST (2, 6, 5, 2)
- TEST (3, 6, 5, 2)
- TEST (4, 6, 5, 2)
- TEST (5, 6, 5, 2)
- TEST (6, 6, 5, 2)
- TEST (7, 6, 5, 2)
- TEST (0, 7, 5, 2)
- TEST (1, 7, 5, 2)
- TEST (2, 7, 5, 2)
- TEST (3, 7, 5, 2)
- TEST (4, 7, 5, 2)
- TEST (5, 7, 5, 2)
- TEST (6, 7, 5, 2)
- TEST (7, 7, 5, 2)
-}
-
-void check11(void)
-{
- TEST (0, 0, 6, 2)
- TEST (1, 0, 6, 2)
- TEST (2, 0, 6, 2)
- TEST (3, 0, 6, 2)
- TEST (4, 0, 6, 2)
- TEST (5, 0, 6, 2)
- TEST (6, 0, 6, 2)
- TEST (7, 0, 6, 2)
- TEST (0, 1, 6, 2)
- TEST (1, 1, 6, 2)
- TEST (2, 1, 6, 2)
- TEST (3, 1, 6, 2)
- TEST (4, 1, 6, 2)
- TEST (5, 1, 6, 2)
- TEST (6, 1, 6, 2)
- TEST (7, 1, 6, 2)
- TEST (0, 2, 6, 2)
- TEST (1, 2, 6, 2)
- TEST (2, 2, 6, 2)
- TEST (3, 2, 6, 2)
- TEST (4, 2, 6, 2)
- TEST (5, 2, 6, 2)
- TEST (6, 2, 6, 2)
- TEST (7, 2, 6, 2)
- TEST (0, 3, 6, 2)
- TEST (1, 3, 6, 2)
- TEST (2, 3, 6, 2)
- TEST (3, 3, 6, 2)
- TEST (4, 3, 6, 2)
- TEST (5, 3, 6, 2)
- TEST (6, 3, 6, 2)
- TEST (7, 3, 6, 2)
- TEST (0, 4, 6, 2)
- TEST (1, 4, 6, 2)
- TEST (2, 4, 6, 2)
- TEST (3, 4, 6, 2)
- TEST (4, 4, 6, 2)
- TEST (5, 4, 6, 2)
- TEST (6, 4, 6, 2)
- TEST (7, 4, 6, 2)
- TEST (0, 5, 6, 2)
- TEST (1, 5, 6, 2)
- TEST (2, 5, 6, 2)
- TEST (3, 5, 6, 2)
- TEST (4, 5, 6, 2)
- TEST (5, 5, 6, 2)
- TEST (6, 5, 6, 2)
- TEST (7, 5, 6, 2)
- TEST (0, 6, 6, 2)
- TEST (1, 6, 6, 2)
- TEST (2, 6, 6, 2)
- TEST (3, 6, 6, 2)
- TEST (4, 6, 6, 2)
- TEST (5, 6, 6, 2)
- TEST (6, 6, 6, 2)
- TEST (7, 6, 6, 2)
- TEST (0, 7, 6, 2)
- TEST (1, 7, 6, 2)
- TEST (2, 7, 6, 2)
- TEST (3, 7, 6, 2)
- TEST (4, 7, 6, 2)
- TEST (5, 7, 6, 2)
- TEST (6, 7, 6, 2)
- TEST (7, 7, 6, 2)
- TEST (0, 0, 7, 2)
- TEST (1, 0, 7, 2)
- TEST (2, 0, 7, 2)
- TEST (3, 0, 7, 2)
- TEST (4, 0, 7, 2)
- TEST (5, 0, 7, 2)
- TEST (6, 0, 7, 2)
- TEST (7, 0, 7, 2)
- TEST (0, 1, 7, 2)
- TEST (1, 1, 7, 2)
- TEST (2, 1, 7, 2)
- TEST (3, 1, 7, 2)
- TEST (4, 1, 7, 2)
- TEST (5, 1, 7, 2)
- TEST (6, 1, 7, 2)
- TEST (7, 1, 7, 2)
- TEST (0, 2, 7, 2)
- TEST (1, 2, 7, 2)
- TEST (2, 2, 7, 2)
- TEST (3, 2, 7, 2)
- TEST (4, 2, 7, 2)
- TEST (5, 2, 7, 2)
- TEST (6, 2, 7, 2)
- TEST (7, 2, 7, 2)
- TEST (0, 3, 7, 2)
- TEST (1, 3, 7, 2)
- TEST (2, 3, 7, 2)
- TEST (3, 3, 7, 2)
- TEST (4, 3, 7, 2)
- TEST (5, 3, 7, 2)
- TEST (6, 3, 7, 2)
- TEST (7, 3, 7, 2)
- TEST (0, 4, 7, 2)
- TEST (1, 4, 7, 2)
- TEST (2, 4, 7, 2)
- TEST (3, 4, 7, 2)
- TEST (4, 4, 7, 2)
- TEST (5, 4, 7, 2)
- TEST (6, 4, 7, 2)
- TEST (7, 4, 7, 2)
- TEST (0, 5, 7, 2)
- TEST (1, 5, 7, 2)
- TEST (2, 5, 7, 2)
- TEST (3, 5, 7, 2)
- TEST (4, 5, 7, 2)
- TEST (5, 5, 7, 2)
- TEST (6, 5, 7, 2)
- TEST (7, 5, 7, 2)
- TEST (0, 6, 7, 2)
- TEST (1, 6, 7, 2)
- TEST (2, 6, 7, 2)
- TEST (3, 6, 7, 2)
- TEST (4, 6, 7, 2)
- TEST (5, 6, 7, 2)
- TEST (6, 6, 7, 2)
- TEST (7, 6, 7, 2)
- TEST (0, 7, 7, 2)
- TEST (1, 7, 7, 2)
- TEST (2, 7, 7, 2)
- TEST (3, 7, 7, 2)
- TEST (4, 7, 7, 2)
- TEST (5, 7, 7, 2)
- TEST (6, 7, 7, 2)
- TEST (7, 7, 7, 2)
-}
-
-void check12(void)
-{
- TEST (0, 0, 0, 3)
- TEST (1, 0, 0, 3)
- TEST (2, 0, 0, 3)
- TEST (3, 0, 0, 3)
- TEST (4, 0, 0, 3)
- TEST (5, 0, 0, 3)
- TEST (6, 0, 0, 3)
- TEST (7, 0, 0, 3)
- TEST (0, 1, 0, 3)
- TEST (1, 1, 0, 3)
- TEST (2, 1, 0, 3)
- TEST (3, 1, 0, 3)
- TEST (4, 1, 0, 3)
- TEST (5, 1, 0, 3)
- TEST (6, 1, 0, 3)
- TEST (7, 1, 0, 3)
- TEST (0, 2, 0, 3)
- TEST (1, 2, 0, 3)
- TEST (2, 2, 0, 3)
- TEST (3, 2, 0, 3)
- TEST (4, 2, 0, 3)
- TEST (5, 2, 0, 3)
- TEST (6, 2, 0, 3)
- TEST (7, 2, 0, 3)
- TEST (0, 3, 0, 3)
- TEST (1, 3, 0, 3)
- TEST (2, 3, 0, 3)
- TEST (3, 3, 0, 3)
- TEST (4, 3, 0, 3)
- TEST (5, 3, 0, 3)
- TEST (6, 3, 0, 3)
- TEST (7, 3, 0, 3)
- TEST (0, 4, 0, 3)
- TEST (1, 4, 0, 3)
- TEST (2, 4, 0, 3)
- TEST (3, 4, 0, 3)
- TEST (4, 4, 0, 3)
- TEST (5, 4, 0, 3)
- TEST (6, 4, 0, 3)
- TEST (7, 4, 0, 3)
- TEST (0, 5, 0, 3)
- TEST (1, 5, 0, 3)
- TEST (2, 5, 0, 3)
- TEST (3, 5, 0, 3)
- TEST (4, 5, 0, 3)
- TEST (5, 5, 0, 3)
- TEST (6, 5, 0, 3)
- TEST (7, 5, 0, 3)
- TEST (0, 6, 0, 3)
- TEST (1, 6, 0, 3)
- TEST (2, 6, 0, 3)
- TEST (3, 6, 0, 3)
- TEST (4, 6, 0, 3)
- TEST (5, 6, 0, 3)
- TEST (6, 6, 0, 3)
- TEST (7, 6, 0, 3)
- TEST (0, 7, 0, 3)
- TEST (1, 7, 0, 3)
- TEST (2, 7, 0, 3)
- TEST (3, 7, 0, 3)
- TEST (4, 7, 0, 3)
- TEST (5, 7, 0, 3)
- TEST (6, 7, 0, 3)
- TEST (7, 7, 0, 3)
- TEST (0, 0, 1, 3)
- TEST (1, 0, 1, 3)
- TEST (2, 0, 1, 3)
- TEST (3, 0, 1, 3)
- TEST (4, 0, 1, 3)
- TEST (5, 0, 1, 3)
- TEST (6, 0, 1, 3)
- TEST (7, 0, 1, 3)
- TEST (0, 1, 1, 3)
- TEST (1, 1, 1, 3)
- TEST (2, 1, 1, 3)
- TEST (3, 1, 1, 3)
- TEST (4, 1, 1, 3)
- TEST (5, 1, 1, 3)
- TEST (6, 1, 1, 3)
- TEST (7, 1, 1, 3)
- TEST (0, 2, 1, 3)
- TEST (1, 2, 1, 3)
- TEST (2, 2, 1, 3)
- TEST (3, 2, 1, 3)
- TEST (4, 2, 1, 3)
- TEST (5, 2, 1, 3)
- TEST (6, 2, 1, 3)
- TEST (7, 2, 1, 3)
- TEST (0, 3, 1, 3)
- TEST (1, 3, 1, 3)
- TEST (2, 3, 1, 3)
- TEST (3, 3, 1, 3)
- TEST (4, 3, 1, 3)
- TEST (5, 3, 1, 3)
- TEST (6, 3, 1, 3)
- TEST (7, 3, 1, 3)
- TEST (0, 4, 1, 3)
- TEST (1, 4, 1, 3)
- TEST (2, 4, 1, 3)
- TEST (3, 4, 1, 3)
- TEST (4, 4, 1, 3)
- TEST (5, 4, 1, 3)
- TEST (6, 4, 1, 3)
- TEST (7, 4, 1, 3)
- TEST (0, 5, 1, 3)
- TEST (1, 5, 1, 3)
- TEST (2, 5, 1, 3)
- TEST (3, 5, 1, 3)
- TEST (4, 5, 1, 3)
- TEST (5, 5, 1, 3)
- TEST (6, 5, 1, 3)
- TEST (7, 5, 1, 3)
- TEST (0, 6, 1, 3)
- TEST (1, 6, 1, 3)
- TEST (2, 6, 1, 3)
- TEST (3, 6, 1, 3)
- TEST (4, 6, 1, 3)
- TEST (5, 6, 1, 3)
- TEST (6, 6, 1, 3)
- TEST (7, 6, 1, 3)
- TEST (0, 7, 1, 3)
- TEST (1, 7, 1, 3)
- TEST (2, 7, 1, 3)
- TEST (3, 7, 1, 3)
- TEST (4, 7, 1, 3)
- TEST (5, 7, 1, 3)
- TEST (6, 7, 1, 3)
- TEST (7, 7, 1, 3)
-}
-
-void check13(void)
-{
- TEST (0, 0, 2, 3)
- TEST (1, 0, 2, 3)
- TEST (2, 0, 2, 3)
- TEST (3, 0, 2, 3)
- TEST (4, 0, 2, 3)
- TEST (5, 0, 2, 3)
- TEST (6, 0, 2, 3)
- TEST (7, 0, 2, 3)
- TEST (0, 1, 2, 3)
- TEST (1, 1, 2, 3)
- TEST (2, 1, 2, 3)
- TEST (3, 1, 2, 3)
- TEST (4, 1, 2, 3)
- TEST (5, 1, 2, 3)
- TEST (6, 1, 2, 3)
- TEST (7, 1, 2, 3)
- TEST (0, 2, 2, 3)
- TEST (1, 2, 2, 3)
- TEST (2, 2, 2, 3)
- TEST (3, 2, 2, 3)
- TEST (4, 2, 2, 3)
- TEST (5, 2, 2, 3)
- TEST (6, 2, 2, 3)
- TEST (7, 2, 2, 3)
- TEST (0, 3, 2, 3)
- TEST (1, 3, 2, 3)
- TEST (2, 3, 2, 3)
- TEST (3, 3, 2, 3)
- TEST (4, 3, 2, 3)
- TEST (5, 3, 2, 3)
- TEST (6, 3, 2, 3)
- TEST (7, 3, 2, 3)
- TEST (0, 4, 2, 3)
- TEST (1, 4, 2, 3)
- TEST (2, 4, 2, 3)
- TEST (3, 4, 2, 3)
- TEST (4, 4, 2, 3)
- TEST (5, 4, 2, 3)
- TEST (6, 4, 2, 3)
- TEST (7, 4, 2, 3)
- TEST (0, 5, 2, 3)
- TEST (1, 5, 2, 3)
- TEST (2, 5, 2, 3)
- TEST (3, 5, 2, 3)
- TEST (4, 5, 2, 3)
- TEST (5, 5, 2, 3)
- TEST (6, 5, 2, 3)
- TEST (7, 5, 2, 3)
- TEST (0, 6, 2, 3)
- TEST (1, 6, 2, 3)
- TEST (2, 6, 2, 3)
- TEST (3, 6, 2, 3)
- TEST (4, 6, 2, 3)
- TEST (5, 6, 2, 3)
- TEST (6, 6, 2, 3)
- TEST (7, 6, 2, 3)
- TEST (0, 7, 2, 3)
- TEST (1, 7, 2, 3)
- TEST (2, 7, 2, 3)
- TEST (3, 7, 2, 3)
- TEST (4, 7, 2, 3)
- TEST (5, 7, 2, 3)
- TEST (6, 7, 2, 3)
- TEST (7, 7, 2, 3)
- TEST (0, 0, 3, 3)
- TEST (1, 0, 3, 3)
- TEST (2, 0, 3, 3)
- TEST (3, 0, 3, 3)
- TEST (4, 0, 3, 3)
- TEST (5, 0, 3, 3)
- TEST (6, 0, 3, 3)
- TEST (7, 0, 3, 3)
- TEST (0, 1, 3, 3)
- TEST (1, 1, 3, 3)
- TEST (2, 1, 3, 3)
- TEST (3, 1, 3, 3)
- TEST (4, 1, 3, 3)
- TEST (5, 1, 3, 3)
- TEST (6, 1, 3, 3)
- TEST (7, 1, 3, 3)
- TEST (0, 2, 3, 3)
- TEST (1, 2, 3, 3)
- TEST (2, 2, 3, 3)
- TEST (3, 2, 3, 3)
- TEST (4, 2, 3, 3)
- TEST (5, 2, 3, 3)
- TEST (6, 2, 3, 3)
- TEST (7, 2, 3, 3)
- TEST (0, 3, 3, 3)
- TEST (1, 3, 3, 3)
- TEST (2, 3, 3, 3)
- TEST (3, 3, 3, 3)
- TEST (4, 3, 3, 3)
- TEST (5, 3, 3, 3)
- TEST (6, 3, 3, 3)
- TEST (7, 3, 3, 3)
- TEST (0, 4, 3, 3)
- TEST (1, 4, 3, 3)
- TEST (2, 4, 3, 3)
- TEST (3, 4, 3, 3)
- TEST (4, 4, 3, 3)
- TEST (5, 4, 3, 3)
- TEST (6, 4, 3, 3)
- TEST (7, 4, 3, 3)
- TEST (0, 5, 3, 3)
- TEST (1, 5, 3, 3)
- TEST (2, 5, 3, 3)
- TEST (3, 5, 3, 3)
- TEST (4, 5, 3, 3)
- TEST (5, 5, 3, 3)
- TEST (6, 5, 3, 3)
- TEST (7, 5, 3, 3)
- TEST (0, 6, 3, 3)
- TEST (1, 6, 3, 3)
- TEST (2, 6, 3, 3)
- TEST (3, 6, 3, 3)
- TEST (4, 6, 3, 3)
- TEST (5, 6, 3, 3)
- TEST (6, 6, 3, 3)
- TEST (7, 6, 3, 3)
- TEST (0, 7, 3, 3)
- TEST (1, 7, 3, 3)
- TEST (2, 7, 3, 3)
- TEST (3, 7, 3, 3)
- TEST (4, 7, 3, 3)
- TEST (5, 7, 3, 3)
- TEST (6, 7, 3, 3)
- TEST (7, 7, 3, 3)
-}
-
-void check14(void)
-{
- TEST (0, 0, 4, 3)
- TEST (1, 0, 4, 3)
- TEST (2, 0, 4, 3)
- TEST (3, 0, 4, 3)
- TEST (4, 0, 4, 3)
- TEST (5, 0, 4, 3)
- TEST (6, 0, 4, 3)
- TEST (7, 0, 4, 3)
- TEST (0, 1, 4, 3)
- TEST (1, 1, 4, 3)
- TEST (2, 1, 4, 3)
- TEST (3, 1, 4, 3)
- TEST (4, 1, 4, 3)
- TEST (5, 1, 4, 3)
- TEST (6, 1, 4, 3)
- TEST (7, 1, 4, 3)
- TEST (0, 2, 4, 3)
- TEST (1, 2, 4, 3)
- TEST (2, 2, 4, 3)
- TEST (3, 2, 4, 3)
- TEST (4, 2, 4, 3)
- TEST (5, 2, 4, 3)
- TEST (6, 2, 4, 3)
- TEST (7, 2, 4, 3)
- TEST (0, 3, 4, 3)
- TEST (1, 3, 4, 3)
- TEST (2, 3, 4, 3)
- TEST (3, 3, 4, 3)
- TEST (4, 3, 4, 3)
- TEST (5, 3, 4, 3)
- TEST (6, 3, 4, 3)
- TEST (7, 3, 4, 3)
- TEST (0, 4, 4, 3)
- TEST (1, 4, 4, 3)
- TEST (2, 4, 4, 3)
- TEST (3, 4, 4, 3)
- TEST (4, 4, 4, 3)
- TEST (5, 4, 4, 3)
- TEST (6, 4, 4, 3)
- TEST (7, 4, 4, 3)
- TEST (0, 5, 4, 3)
- TEST (1, 5, 4, 3)
- TEST (2, 5, 4, 3)
- TEST (3, 5, 4, 3)
- TEST (4, 5, 4, 3)
- TEST (5, 5, 4, 3)
- TEST (6, 5, 4, 3)
- TEST (7, 5, 4, 3)
- TEST (0, 6, 4, 3)
- TEST (1, 6, 4, 3)
- TEST (2, 6, 4, 3)
- TEST (3, 6, 4, 3)
- TEST (4, 6, 4, 3)
- TEST (5, 6, 4, 3)
- TEST (6, 6, 4, 3)
- TEST (7, 6, 4, 3)
- TEST (0, 7, 4, 3)
- TEST (1, 7, 4, 3)
- TEST (2, 7, 4, 3)
- TEST (3, 7, 4, 3)
- TEST (4, 7, 4, 3)
- TEST (5, 7, 4, 3)
- TEST (6, 7, 4, 3)
- TEST (7, 7, 4, 3)
- TEST (0, 0, 5, 3)
- TEST (1, 0, 5, 3)
- TEST (2, 0, 5, 3)
- TEST (3, 0, 5, 3)
- TEST (4, 0, 5, 3)
- TEST (5, 0, 5, 3)
- TEST (6, 0, 5, 3)
- TEST (7, 0, 5, 3)
- TEST (0, 1, 5, 3)
- TEST (1, 1, 5, 3)
- TEST (2, 1, 5, 3)
- TEST (3, 1, 5, 3)
- TEST (4, 1, 5, 3)
- TEST (5, 1, 5, 3)
- TEST (6, 1, 5, 3)
- TEST (7, 1, 5, 3)
- TEST (0, 2, 5, 3)
- TEST (1, 2, 5, 3)
- TEST (2, 2, 5, 3)
- TEST (3, 2, 5, 3)
- TEST (4, 2, 5, 3)
- TEST (5, 2, 5, 3)
- TEST (6, 2, 5, 3)
- TEST (7, 2, 5, 3)
- TEST (0, 3, 5, 3)
- TEST (1, 3, 5, 3)
- TEST (2, 3, 5, 3)
- TEST (3, 3, 5, 3)
- TEST (4, 3, 5, 3)
- TEST (5, 3, 5, 3)
- TEST (6, 3, 5, 3)
- TEST (7, 3, 5, 3)
- TEST (0, 4, 5, 3)
- TEST (1, 4, 5, 3)
- TEST (2, 4, 5, 3)
- TEST (3, 4, 5, 3)
- TEST (4, 4, 5, 3)
- TEST (5, 4, 5, 3)
- TEST (6, 4, 5, 3)
- TEST (7, 4, 5, 3)
- TEST (0, 5, 5, 3)
- TEST (1, 5, 5, 3)
- TEST (2, 5, 5, 3)
- TEST (3, 5, 5, 3)
- TEST (4, 5, 5, 3)
- TEST (5, 5, 5, 3)
- TEST (6, 5, 5, 3)
- TEST (7, 5, 5, 3)
- TEST (0, 6, 5, 3)
- TEST (1, 6, 5, 3)
- TEST (2, 6, 5, 3)
- TEST (3, 6, 5, 3)
- TEST (4, 6, 5, 3)
- TEST (5, 6, 5, 3)
- TEST (6, 6, 5, 3)
- TEST (7, 6, 5, 3)
- TEST (0, 7, 5, 3)
- TEST (1, 7, 5, 3)
- TEST (2, 7, 5, 3)
- TEST (3, 7, 5, 3)
- TEST (4, 7, 5, 3)
- TEST (5, 7, 5, 3)
- TEST (6, 7, 5, 3)
- TEST (7, 7, 5, 3)
-}
-
-void check15(void)
-{
- TEST (0, 0, 6, 3)
- TEST (1, 0, 6, 3)
- TEST (2, 0, 6, 3)
- TEST (3, 0, 6, 3)
- TEST (4, 0, 6, 3)
- TEST (5, 0, 6, 3)
- TEST (6, 0, 6, 3)
- TEST (7, 0, 6, 3)
- TEST (0, 1, 6, 3)
- TEST (1, 1, 6, 3)
- TEST (2, 1, 6, 3)
- TEST (3, 1, 6, 3)
- TEST (4, 1, 6, 3)
- TEST (5, 1, 6, 3)
- TEST (6, 1, 6, 3)
- TEST (7, 1, 6, 3)
- TEST (0, 2, 6, 3)
- TEST (1, 2, 6, 3)
- TEST (2, 2, 6, 3)
- TEST (3, 2, 6, 3)
- TEST (4, 2, 6, 3)
- TEST (5, 2, 6, 3)
- TEST (6, 2, 6, 3)
- TEST (7, 2, 6, 3)
- TEST (0, 3, 6, 3)
- TEST (1, 3, 6, 3)
- TEST (2, 3, 6, 3)
- TEST (3, 3, 6, 3)
- TEST (4, 3, 6, 3)
- TEST (5, 3, 6, 3)
- TEST (6, 3, 6, 3)
- TEST (7, 3, 6, 3)
- TEST (0, 4, 6, 3)
- TEST (1, 4, 6, 3)
- TEST (2, 4, 6, 3)
- TEST (3, 4, 6, 3)
- TEST (4, 4, 6, 3)
- TEST (5, 4, 6, 3)
- TEST (6, 4, 6, 3)
- TEST (7, 4, 6, 3)
- TEST (0, 5, 6, 3)
- TEST (1, 5, 6, 3)
- TEST (2, 5, 6, 3)
- TEST (3, 5, 6, 3)
- TEST (4, 5, 6, 3)
- TEST (5, 5, 6, 3)
- TEST (6, 5, 6, 3)
- TEST (7, 5, 6, 3)
- TEST (0, 6, 6, 3)
- TEST (1, 6, 6, 3)
- TEST (2, 6, 6, 3)
- TEST (3, 6, 6, 3)
- TEST (4, 6, 6, 3)
- TEST (5, 6, 6, 3)
- TEST (6, 6, 6, 3)
- TEST (7, 6, 6, 3)
- TEST (0, 7, 6, 3)
- TEST (1, 7, 6, 3)
- TEST (2, 7, 6, 3)
- TEST (3, 7, 6, 3)
- TEST (4, 7, 6, 3)
- TEST (5, 7, 6, 3)
- TEST (6, 7, 6, 3)
- TEST (7, 7, 6, 3)
- TEST (0, 0, 7, 3)
- TEST (1, 0, 7, 3)
- TEST (2, 0, 7, 3)
- TEST (3, 0, 7, 3)
- TEST (4, 0, 7, 3)
- TEST (5, 0, 7, 3)
- TEST (6, 0, 7, 3)
- TEST (7, 0, 7, 3)
- TEST (0, 1, 7, 3)
- TEST (1, 1, 7, 3)
- TEST (2, 1, 7, 3)
- TEST (3, 1, 7, 3)
- TEST (4, 1, 7, 3)
- TEST (5, 1, 7, 3)
- TEST (6, 1, 7, 3)
- TEST (7, 1, 7, 3)
- TEST (0, 2, 7, 3)
- TEST (1, 2, 7, 3)
- TEST (2, 2, 7, 3)
- TEST (3, 2, 7, 3)
- TEST (4, 2, 7, 3)
- TEST (5, 2, 7, 3)
- TEST (6, 2, 7, 3)
- TEST (7, 2, 7, 3)
- TEST (0, 3, 7, 3)
- TEST (1, 3, 7, 3)
- TEST (2, 3, 7, 3)
- TEST (3, 3, 7, 3)
- TEST (4, 3, 7, 3)
- TEST (5, 3, 7, 3)
- TEST (6, 3, 7, 3)
- TEST (7, 3, 7, 3)
- TEST (0, 4, 7, 3)
- TEST (1, 4, 7, 3)
- TEST (2, 4, 7, 3)
- TEST (3, 4, 7, 3)
- TEST (4, 4, 7, 3)
- TEST (5, 4, 7, 3)
- TEST (6, 4, 7, 3)
- TEST (7, 4, 7, 3)
- TEST (0, 5, 7, 3)
- TEST (1, 5, 7, 3)
- TEST (2, 5, 7, 3)
- TEST (3, 5, 7, 3)
- TEST (4, 5, 7, 3)
- TEST (5, 5, 7, 3)
- TEST (6, 5, 7, 3)
- TEST (7, 5, 7, 3)
- TEST (0, 6, 7, 3)
- TEST (1, 6, 7, 3)
- TEST (2, 6, 7, 3)
- TEST (3, 6, 7, 3)
- TEST (4, 6, 7, 3)
- TEST (5, 6, 7, 3)
- TEST (6, 6, 7, 3)
- TEST (7, 6, 7, 3)
- TEST (0, 7, 7, 3)
- TEST (1, 7, 7, 3)
- TEST (2, 7, 7, 3)
- TEST (3, 7, 7, 3)
- TEST (4, 7, 7, 3)
- TEST (5, 7, 7, 3)
- TEST (6, 7, 7, 3)
- TEST (7, 7, 7, 3)
-}
-
-void check16(void)
-{
- TEST (0, 0, 0, 4)
- TEST (1, 0, 0, 4)
- TEST (2, 0, 0, 4)
- TEST (3, 0, 0, 4)
- TEST (4, 0, 0, 4)
- TEST (5, 0, 0, 4)
- TEST (6, 0, 0, 4)
- TEST (7, 0, 0, 4)
- TEST (0, 1, 0, 4)
- TEST (1, 1, 0, 4)
- TEST (2, 1, 0, 4)
- TEST (3, 1, 0, 4)
- TEST (4, 1, 0, 4)
- TEST (5, 1, 0, 4)
- TEST (6, 1, 0, 4)
- TEST (7, 1, 0, 4)
- TEST (0, 2, 0, 4)
- TEST (1, 2, 0, 4)
- TEST (2, 2, 0, 4)
- TEST (3, 2, 0, 4)
- TEST (4, 2, 0, 4)
- TEST (5, 2, 0, 4)
- TEST (6, 2, 0, 4)
- TEST (7, 2, 0, 4)
- TEST (0, 3, 0, 4)
- TEST (1, 3, 0, 4)
- TEST (2, 3, 0, 4)
- TEST (3, 3, 0, 4)
- TEST (4, 3, 0, 4)
- TEST (5, 3, 0, 4)
- TEST (6, 3, 0, 4)
- TEST (7, 3, 0, 4)
- TEST (0, 4, 0, 4)
- TEST (1, 4, 0, 4)
- TEST (2, 4, 0, 4)
- TEST (3, 4, 0, 4)
- TEST (4, 4, 0, 4)
- TEST (5, 4, 0, 4)
- TEST (6, 4, 0, 4)
- TEST (7, 4, 0, 4)
- TEST (0, 5, 0, 4)
- TEST (1, 5, 0, 4)
- TEST (2, 5, 0, 4)
- TEST (3, 5, 0, 4)
- TEST (4, 5, 0, 4)
- TEST (5, 5, 0, 4)
- TEST (6, 5, 0, 4)
- TEST (7, 5, 0, 4)
- TEST (0, 6, 0, 4)
- TEST (1, 6, 0, 4)
- TEST (2, 6, 0, 4)
- TEST (3, 6, 0, 4)
- TEST (4, 6, 0, 4)
- TEST (5, 6, 0, 4)
- TEST (6, 6, 0, 4)
- TEST (7, 6, 0, 4)
- TEST (0, 7, 0, 4)
- TEST (1, 7, 0, 4)
- TEST (2, 7, 0, 4)
- TEST (3, 7, 0, 4)
- TEST (4, 7, 0, 4)
- TEST (5, 7, 0, 4)
- TEST (6, 7, 0, 4)
- TEST (7, 7, 0, 4)
- TEST (0, 0, 1, 4)
- TEST (1, 0, 1, 4)
- TEST (2, 0, 1, 4)
- TEST (3, 0, 1, 4)
- TEST (4, 0, 1, 4)
- TEST (5, 0, 1, 4)
- TEST (6, 0, 1, 4)
- TEST (7, 0, 1, 4)
- TEST (0, 1, 1, 4)
- TEST (1, 1, 1, 4)
- TEST (2, 1, 1, 4)
- TEST (3, 1, 1, 4)
- TEST (4, 1, 1, 4)
- TEST (5, 1, 1, 4)
- TEST (6, 1, 1, 4)
- TEST (7, 1, 1, 4)
- TEST (0, 2, 1, 4)
- TEST (1, 2, 1, 4)
- TEST (2, 2, 1, 4)
- TEST (3, 2, 1, 4)
- TEST (4, 2, 1, 4)
- TEST (5, 2, 1, 4)
- TEST (6, 2, 1, 4)
- TEST (7, 2, 1, 4)
- TEST (0, 3, 1, 4)
- TEST (1, 3, 1, 4)
- TEST (2, 3, 1, 4)
- TEST (3, 3, 1, 4)
- TEST (4, 3, 1, 4)
- TEST (5, 3, 1, 4)
- TEST (6, 3, 1, 4)
- TEST (7, 3, 1, 4)
- TEST (0, 4, 1, 4)
- TEST (1, 4, 1, 4)
- TEST (2, 4, 1, 4)
- TEST (3, 4, 1, 4)
- TEST (4, 4, 1, 4)
- TEST (5, 4, 1, 4)
- TEST (6, 4, 1, 4)
- TEST (7, 4, 1, 4)
- TEST (0, 5, 1, 4)
- TEST (1, 5, 1, 4)
- TEST (2, 5, 1, 4)
- TEST (3, 5, 1, 4)
- TEST (4, 5, 1, 4)
- TEST (5, 5, 1, 4)
- TEST (6, 5, 1, 4)
- TEST (7, 5, 1, 4)
- TEST (0, 6, 1, 4)
- TEST (1, 6, 1, 4)
- TEST (2, 6, 1, 4)
- TEST (3, 6, 1, 4)
- TEST (4, 6, 1, 4)
- TEST (5, 6, 1, 4)
- TEST (6, 6, 1, 4)
- TEST (7, 6, 1, 4)
- TEST (0, 7, 1, 4)
- TEST (1, 7, 1, 4)
- TEST (2, 7, 1, 4)
- TEST (3, 7, 1, 4)
- TEST (4, 7, 1, 4)
- TEST (5, 7, 1, 4)
- TEST (6, 7, 1, 4)
- TEST (7, 7, 1, 4)
-}
-
-void check17(void)
-{
- TEST (0, 0, 2, 4)
- TEST (1, 0, 2, 4)
- TEST (2, 0, 2, 4)
- TEST (3, 0, 2, 4)
- TEST (4, 0, 2, 4)
- TEST (5, 0, 2, 4)
- TEST (6, 0, 2, 4)
- TEST (7, 0, 2, 4)
- TEST (0, 1, 2, 4)
- TEST (1, 1, 2, 4)
- TEST (2, 1, 2, 4)
- TEST (3, 1, 2, 4)
- TEST (4, 1, 2, 4)
- TEST (5, 1, 2, 4)
- TEST (6, 1, 2, 4)
- TEST (7, 1, 2, 4)
- TEST (0, 2, 2, 4)
- TEST (1, 2, 2, 4)
- TEST (2, 2, 2, 4)
- TEST (3, 2, 2, 4)
- TEST (4, 2, 2, 4)
- TEST (5, 2, 2, 4)
- TEST (6, 2, 2, 4)
- TEST (7, 2, 2, 4)
- TEST (0, 3, 2, 4)
- TEST (1, 3, 2, 4)
- TEST (2, 3, 2, 4)
- TEST (3, 3, 2, 4)
- TEST (4, 3, 2, 4)
- TEST (5, 3, 2, 4)
- TEST (6, 3, 2, 4)
- TEST (7, 3, 2, 4)
- TEST (0, 4, 2, 4)
- TEST (1, 4, 2, 4)
- TEST (2, 4, 2, 4)
- TEST (3, 4, 2, 4)
- TEST (4, 4, 2, 4)
- TEST (5, 4, 2, 4)
- TEST (6, 4, 2, 4)
- TEST (7, 4, 2, 4)
- TEST (0, 5, 2, 4)
- TEST (1, 5, 2, 4)
- TEST (2, 5, 2, 4)
- TEST (3, 5, 2, 4)
- TEST (4, 5, 2, 4)
- TEST (5, 5, 2, 4)
- TEST (6, 5, 2, 4)
- TEST (7, 5, 2, 4)
- TEST (0, 6, 2, 4)
- TEST (1, 6, 2, 4)
- TEST (2, 6, 2, 4)
- TEST (3, 6, 2, 4)
- TEST (4, 6, 2, 4)
- TEST (5, 6, 2, 4)
- TEST (6, 6, 2, 4)
- TEST (7, 6, 2, 4)
- TEST (0, 7, 2, 4)
- TEST (1, 7, 2, 4)
- TEST (2, 7, 2, 4)
- TEST (3, 7, 2, 4)
- TEST (4, 7, 2, 4)
- TEST (5, 7, 2, 4)
- TEST (6, 7, 2, 4)
- TEST (7, 7, 2, 4)
- TEST (0, 0, 3, 4)
- TEST (1, 0, 3, 4)
- TEST (2, 0, 3, 4)
- TEST (3, 0, 3, 4)
- TEST (4, 0, 3, 4)
- TEST (5, 0, 3, 4)
- TEST (6, 0, 3, 4)
- TEST (7, 0, 3, 4)
- TEST (0, 1, 3, 4)
- TEST (1, 1, 3, 4)
- TEST (2, 1, 3, 4)
- TEST (3, 1, 3, 4)
- TEST (4, 1, 3, 4)
- TEST (5, 1, 3, 4)
- TEST (6, 1, 3, 4)
- TEST (7, 1, 3, 4)
- TEST (0, 2, 3, 4)
- TEST (1, 2, 3, 4)
- TEST (2, 2, 3, 4)
- TEST (3, 2, 3, 4)
- TEST (4, 2, 3, 4)
- TEST (5, 2, 3, 4)
- TEST (6, 2, 3, 4)
- TEST (7, 2, 3, 4)
- TEST (0, 3, 3, 4)
- TEST (1, 3, 3, 4)
- TEST (2, 3, 3, 4)
- TEST (3, 3, 3, 4)
- TEST (4, 3, 3, 4)
- TEST (5, 3, 3, 4)
- TEST (6, 3, 3, 4)
- TEST (7, 3, 3, 4)
- TEST (0, 4, 3, 4)
- TEST (1, 4, 3, 4)
- TEST (2, 4, 3, 4)
- TEST (3, 4, 3, 4)
- TEST (4, 4, 3, 4)
- TEST (5, 4, 3, 4)
- TEST (6, 4, 3, 4)
- TEST (7, 4, 3, 4)
- TEST (0, 5, 3, 4)
- TEST (1, 5, 3, 4)
- TEST (2, 5, 3, 4)
- TEST (3, 5, 3, 4)
- TEST (4, 5, 3, 4)
- TEST (5, 5, 3, 4)
- TEST (6, 5, 3, 4)
- TEST (7, 5, 3, 4)
- TEST (0, 6, 3, 4)
- TEST (1, 6, 3, 4)
- TEST (2, 6, 3, 4)
- TEST (3, 6, 3, 4)
- TEST (4, 6, 3, 4)
- TEST (5, 6, 3, 4)
- TEST (6, 6, 3, 4)
- TEST (7, 6, 3, 4)
- TEST (0, 7, 3, 4)
- TEST (1, 7, 3, 4)
- TEST (2, 7, 3, 4)
- TEST (3, 7, 3, 4)
- TEST (4, 7, 3, 4)
- TEST (5, 7, 3, 4)
- TEST (6, 7, 3, 4)
- TEST (7, 7, 3, 4)
-}
-
-void check18(void)
-{
- TEST (0, 0, 4, 4)
- TEST (1, 0, 4, 4)
- TEST (2, 0, 4, 4)
- TEST (3, 0, 4, 4)
- TEST (4, 0, 4, 4)
- TEST (5, 0, 4, 4)
- TEST (6, 0, 4, 4)
- TEST (7, 0, 4, 4)
- TEST (0, 1, 4, 4)
- TEST (1, 1, 4, 4)
- TEST (2, 1, 4, 4)
- TEST (3, 1, 4, 4)
- TEST (4, 1, 4, 4)
- TEST (5, 1, 4, 4)
- TEST (6, 1, 4, 4)
- TEST (7, 1, 4, 4)
- TEST (0, 2, 4, 4)
- TEST (1, 2, 4, 4)
- TEST (2, 2, 4, 4)
- TEST (3, 2, 4, 4)
- TEST (4, 2, 4, 4)
- TEST (5, 2, 4, 4)
- TEST (6, 2, 4, 4)
- TEST (7, 2, 4, 4)
- TEST (0, 3, 4, 4)
- TEST (1, 3, 4, 4)
- TEST (2, 3, 4, 4)
- TEST (3, 3, 4, 4)
- TEST (4, 3, 4, 4)
- TEST (5, 3, 4, 4)
- TEST (6, 3, 4, 4)
- TEST (7, 3, 4, 4)
- TEST (0, 4, 4, 4)
- TEST (1, 4, 4, 4)
- TEST (2, 4, 4, 4)
- TEST (3, 4, 4, 4)
- TEST (4, 4, 4, 4)
- TEST (5, 4, 4, 4)
- TEST (6, 4, 4, 4)
- TEST (7, 4, 4, 4)
- TEST (0, 5, 4, 4)
- TEST (1, 5, 4, 4)
- TEST (2, 5, 4, 4)
- TEST (3, 5, 4, 4)
- TEST (4, 5, 4, 4)
- TEST (5, 5, 4, 4)
- TEST (6, 5, 4, 4)
- TEST (7, 5, 4, 4)
- TEST (0, 6, 4, 4)
- TEST (1, 6, 4, 4)
- TEST (2, 6, 4, 4)
- TEST (3, 6, 4, 4)
- TEST (4, 6, 4, 4)
- TEST (5, 6, 4, 4)
- TEST (6, 6, 4, 4)
- TEST (7, 6, 4, 4)
- TEST (0, 7, 4, 4)
- TEST (1, 7, 4, 4)
- TEST (2, 7, 4, 4)
- TEST (3, 7, 4, 4)
- TEST (4, 7, 4, 4)
- TEST (5, 7, 4, 4)
- TEST (6, 7, 4, 4)
- TEST (7, 7, 4, 4)
- TEST (0, 0, 5, 4)
- TEST (1, 0, 5, 4)
- TEST (2, 0, 5, 4)
- TEST (3, 0, 5, 4)
- TEST (4, 0, 5, 4)
- TEST (5, 0, 5, 4)
- TEST (6, 0, 5, 4)
- TEST (7, 0, 5, 4)
- TEST (0, 1, 5, 4)
- TEST (1, 1, 5, 4)
- TEST (2, 1, 5, 4)
- TEST (3, 1, 5, 4)
- TEST (4, 1, 5, 4)
- TEST (5, 1, 5, 4)
- TEST (6, 1, 5, 4)
- TEST (7, 1, 5, 4)
- TEST (0, 2, 5, 4)
- TEST (1, 2, 5, 4)
- TEST (2, 2, 5, 4)
- TEST (3, 2, 5, 4)
- TEST (4, 2, 5, 4)
- TEST (5, 2, 5, 4)
- TEST (6, 2, 5, 4)
- TEST (7, 2, 5, 4)
- TEST (0, 3, 5, 4)
- TEST (1, 3, 5, 4)
- TEST (2, 3, 5, 4)
- TEST (3, 3, 5, 4)
- TEST (4, 3, 5, 4)
- TEST (5, 3, 5, 4)
- TEST (6, 3, 5, 4)
- TEST (7, 3, 5, 4)
- TEST (0, 4, 5, 4)
- TEST (1, 4, 5, 4)
- TEST (2, 4, 5, 4)
- TEST (3, 4, 5, 4)
- TEST (4, 4, 5, 4)
- TEST (5, 4, 5, 4)
- TEST (6, 4, 5, 4)
- TEST (7, 4, 5, 4)
- TEST (0, 5, 5, 4)
- TEST (1, 5, 5, 4)
- TEST (2, 5, 5, 4)
- TEST (3, 5, 5, 4)
- TEST (4, 5, 5, 4)
- TEST (5, 5, 5, 4)
- TEST (6, 5, 5, 4)
- TEST (7, 5, 5, 4)
- TEST (0, 6, 5, 4)
- TEST (1, 6, 5, 4)
- TEST (2, 6, 5, 4)
- TEST (3, 6, 5, 4)
- TEST (4, 6, 5, 4)
- TEST (5, 6, 5, 4)
- TEST (6, 6, 5, 4)
- TEST (7, 6, 5, 4)
- TEST (0, 7, 5, 4)
- TEST (1, 7, 5, 4)
- TEST (2, 7, 5, 4)
- TEST (3, 7, 5, 4)
- TEST (4, 7, 5, 4)
- TEST (5, 7, 5, 4)
- TEST (6, 7, 5, 4)
- TEST (7, 7, 5, 4)
-}
-
-void check19(void)
-{
- TEST (0, 0, 6, 4)
- TEST (1, 0, 6, 4)
- TEST (2, 0, 6, 4)
- TEST (3, 0, 6, 4)
- TEST (4, 0, 6, 4)
- TEST (5, 0, 6, 4)
- TEST (6, 0, 6, 4)
- TEST (7, 0, 6, 4)
- TEST (0, 1, 6, 4)
- TEST (1, 1, 6, 4)
- TEST (2, 1, 6, 4)
- TEST (3, 1, 6, 4)
- TEST (4, 1, 6, 4)
- TEST (5, 1, 6, 4)
- TEST (6, 1, 6, 4)
- TEST (7, 1, 6, 4)
- TEST (0, 2, 6, 4)
- TEST (1, 2, 6, 4)
- TEST (2, 2, 6, 4)
- TEST (3, 2, 6, 4)
- TEST (4, 2, 6, 4)
- TEST (5, 2, 6, 4)
- TEST (6, 2, 6, 4)
- TEST (7, 2, 6, 4)
- TEST (0, 3, 6, 4)
- TEST (1, 3, 6, 4)
- TEST (2, 3, 6, 4)
- TEST (3, 3, 6, 4)
- TEST (4, 3, 6, 4)
- TEST (5, 3, 6, 4)
- TEST (6, 3, 6, 4)
- TEST (7, 3, 6, 4)
- TEST (0, 4, 6, 4)
- TEST (1, 4, 6, 4)
- TEST (2, 4, 6, 4)
- TEST (3, 4, 6, 4)
- TEST (4, 4, 6, 4)
- TEST (5, 4, 6, 4)
- TEST (6, 4, 6, 4)
- TEST (7, 4, 6, 4)
- TEST (0, 5, 6, 4)
- TEST (1, 5, 6, 4)
- TEST (2, 5, 6, 4)
- TEST (3, 5, 6, 4)
- TEST (4, 5, 6, 4)
- TEST (5, 5, 6, 4)
- TEST (6, 5, 6, 4)
- TEST (7, 5, 6, 4)
- TEST (0, 6, 6, 4)
- TEST (1, 6, 6, 4)
- TEST (2, 6, 6, 4)
- TEST (3, 6, 6, 4)
- TEST (4, 6, 6, 4)
- TEST (5, 6, 6, 4)
- TEST (6, 6, 6, 4)
- TEST (7, 6, 6, 4)
- TEST (0, 7, 6, 4)
- TEST (1, 7, 6, 4)
- TEST (2, 7, 6, 4)
- TEST (3, 7, 6, 4)
- TEST (4, 7, 6, 4)
- TEST (5, 7, 6, 4)
- TEST (6, 7, 6, 4)
- TEST (7, 7, 6, 4)
- TEST (0, 0, 7, 4)
- TEST (1, 0, 7, 4)
- TEST (2, 0, 7, 4)
- TEST (3, 0, 7, 4)
- TEST (4, 0, 7, 4)
- TEST (5, 0, 7, 4)
- TEST (6, 0, 7, 4)
- TEST (7, 0, 7, 4)
- TEST (0, 1, 7, 4)
- TEST (1, 1, 7, 4)
- TEST (2, 1, 7, 4)
- TEST (3, 1, 7, 4)
- TEST (4, 1, 7, 4)
- TEST (5, 1, 7, 4)
- TEST (6, 1, 7, 4)
- TEST (7, 1, 7, 4)
- TEST (0, 2, 7, 4)
- TEST (1, 2, 7, 4)
- TEST (2, 2, 7, 4)
- TEST (3, 2, 7, 4)
- TEST (4, 2, 7, 4)
- TEST (5, 2, 7, 4)
- TEST (6, 2, 7, 4)
- TEST (7, 2, 7, 4)
- TEST (0, 3, 7, 4)
- TEST (1, 3, 7, 4)
- TEST (2, 3, 7, 4)
- TEST (3, 3, 7, 4)
- TEST (4, 3, 7, 4)
- TEST (5, 3, 7, 4)
- TEST (6, 3, 7, 4)
- TEST (7, 3, 7, 4)
- TEST (0, 4, 7, 4)
- TEST (1, 4, 7, 4)
- TEST (2, 4, 7, 4)
- TEST (3, 4, 7, 4)
- TEST (4, 4, 7, 4)
- TEST (5, 4, 7, 4)
- TEST (6, 4, 7, 4)
- TEST (7, 4, 7, 4)
- TEST (0, 5, 7, 4)
- TEST (1, 5, 7, 4)
- TEST (2, 5, 7, 4)
- TEST (3, 5, 7, 4)
- TEST (4, 5, 7, 4)
- TEST (5, 5, 7, 4)
- TEST (6, 5, 7, 4)
- TEST (7, 5, 7, 4)
- TEST (0, 6, 7, 4)
- TEST (1, 6, 7, 4)
- TEST (2, 6, 7, 4)
- TEST (3, 6, 7, 4)
- TEST (4, 6, 7, 4)
- TEST (5, 6, 7, 4)
- TEST (6, 6, 7, 4)
- TEST (7, 6, 7, 4)
- TEST (0, 7, 7, 4)
- TEST (1, 7, 7, 4)
- TEST (2, 7, 7, 4)
- TEST (3, 7, 7, 4)
- TEST (4, 7, 7, 4)
- TEST (5, 7, 7, 4)
- TEST (6, 7, 7, 4)
- TEST (7, 7, 7, 4)
-}
-
-void check20(void)
-{
- TEST (0, 0, 0, 5)
- TEST (1, 0, 0, 5)
- TEST (2, 0, 0, 5)
- TEST (3, 0, 0, 5)
- TEST (4, 0, 0, 5)
- TEST (5, 0, 0, 5)
- TEST (6, 0, 0, 5)
- TEST (7, 0, 0, 5)
- TEST (0, 1, 0, 5)
- TEST (1, 1, 0, 5)
- TEST (2, 1, 0, 5)
- TEST (3, 1, 0, 5)
- TEST (4, 1, 0, 5)
- TEST (5, 1, 0, 5)
- TEST (6, 1, 0, 5)
- TEST (7, 1, 0, 5)
- TEST (0, 2, 0, 5)
- TEST (1, 2, 0, 5)
- TEST (2, 2, 0, 5)
- TEST (3, 2, 0, 5)
- TEST (4, 2, 0, 5)
- TEST (5, 2, 0, 5)
- TEST (6, 2, 0, 5)
- TEST (7, 2, 0, 5)
- TEST (0, 3, 0, 5)
- TEST (1, 3, 0, 5)
- TEST (2, 3, 0, 5)
- TEST (3, 3, 0, 5)
- TEST (4, 3, 0, 5)
- TEST (5, 3, 0, 5)
- TEST (6, 3, 0, 5)
- TEST (7, 3, 0, 5)
- TEST (0, 4, 0, 5)
- TEST (1, 4, 0, 5)
- TEST (2, 4, 0, 5)
- TEST (3, 4, 0, 5)
- TEST (4, 4, 0, 5)
- TEST (5, 4, 0, 5)
- TEST (6, 4, 0, 5)
- TEST (7, 4, 0, 5)
- TEST (0, 5, 0, 5)
- TEST (1, 5, 0, 5)
- TEST (2, 5, 0, 5)
- TEST (3, 5, 0, 5)
- TEST (4, 5, 0, 5)
- TEST (5, 5, 0, 5)
- TEST (6, 5, 0, 5)
- TEST (7, 5, 0, 5)
- TEST (0, 6, 0, 5)
- TEST (1, 6, 0, 5)
- TEST (2, 6, 0, 5)
- TEST (3, 6, 0, 5)
- TEST (4, 6, 0, 5)
- TEST (5, 6, 0, 5)
- TEST (6, 6, 0, 5)
- TEST (7, 6, 0, 5)
- TEST (0, 7, 0, 5)
- TEST (1, 7, 0, 5)
- TEST (2, 7, 0, 5)
- TEST (3, 7, 0, 5)
- TEST (4, 7, 0, 5)
- TEST (5, 7, 0, 5)
- TEST (6, 7, 0, 5)
- TEST (7, 7, 0, 5)
- TEST (0, 0, 1, 5)
- TEST (1, 0, 1, 5)
- TEST (2, 0, 1, 5)
- TEST (3, 0, 1, 5)
- TEST (4, 0, 1, 5)
- TEST (5, 0, 1, 5)
- TEST (6, 0, 1, 5)
- TEST (7, 0, 1, 5)
- TEST (0, 1, 1, 5)
- TEST (1, 1, 1, 5)
- TEST (2, 1, 1, 5)
- TEST (3, 1, 1, 5)
- TEST (4, 1, 1, 5)
- TEST (5, 1, 1, 5)
- TEST (6, 1, 1, 5)
- TEST (7, 1, 1, 5)
- TEST (0, 2, 1, 5)
- TEST (1, 2, 1, 5)
- TEST (2, 2, 1, 5)
- TEST (3, 2, 1, 5)
- TEST (4, 2, 1, 5)
- TEST (5, 2, 1, 5)
- TEST (6, 2, 1, 5)
- TEST (7, 2, 1, 5)
- TEST (0, 3, 1, 5)
- TEST (1, 3, 1, 5)
- TEST (2, 3, 1, 5)
- TEST (3, 3, 1, 5)
- TEST (4, 3, 1, 5)
- TEST (5, 3, 1, 5)
- TEST (6, 3, 1, 5)
- TEST (7, 3, 1, 5)
- TEST (0, 4, 1, 5)
- TEST (1, 4, 1, 5)
- TEST (2, 4, 1, 5)
- TEST (3, 4, 1, 5)
- TEST (4, 4, 1, 5)
- TEST (5, 4, 1, 5)
- TEST (6, 4, 1, 5)
- TEST (7, 4, 1, 5)
- TEST (0, 5, 1, 5)
- TEST (1, 5, 1, 5)
- TEST (2, 5, 1, 5)
- TEST (3, 5, 1, 5)
- TEST (4, 5, 1, 5)
- TEST (5, 5, 1, 5)
- TEST (6, 5, 1, 5)
- TEST (7, 5, 1, 5)
- TEST (0, 6, 1, 5)
- TEST (1, 6, 1, 5)
- TEST (2, 6, 1, 5)
- TEST (3, 6, 1, 5)
- TEST (4, 6, 1, 5)
- TEST (5, 6, 1, 5)
- TEST (6, 6, 1, 5)
- TEST (7, 6, 1, 5)
- TEST (0, 7, 1, 5)
- TEST (1, 7, 1, 5)
- TEST (2, 7, 1, 5)
- TEST (3, 7, 1, 5)
- TEST (4, 7, 1, 5)
- TEST (5, 7, 1, 5)
- TEST (6, 7, 1, 5)
- TEST (7, 7, 1, 5)
-}
-
-void check21(void)
-{
- TEST (0, 0, 2, 5)
- TEST (1, 0, 2, 5)
- TEST (2, 0, 2, 5)
- TEST (3, 0, 2, 5)
- TEST (4, 0, 2, 5)
- TEST (5, 0, 2, 5)
- TEST (6, 0, 2, 5)
- TEST (7, 0, 2, 5)
- TEST (0, 1, 2, 5)
- TEST (1, 1, 2, 5)
- TEST (2, 1, 2, 5)
- TEST (3, 1, 2, 5)
- TEST (4, 1, 2, 5)
- TEST (5, 1, 2, 5)
- TEST (6, 1, 2, 5)
- TEST (7, 1, 2, 5)
- TEST (0, 2, 2, 5)
- TEST (1, 2, 2, 5)
- TEST (2, 2, 2, 5)
- TEST (3, 2, 2, 5)
- TEST (4, 2, 2, 5)
- TEST (5, 2, 2, 5)
- TEST (6, 2, 2, 5)
- TEST (7, 2, 2, 5)
- TEST (0, 3, 2, 5)
- TEST (1, 3, 2, 5)
- TEST (2, 3, 2, 5)
- TEST (3, 3, 2, 5)
- TEST (4, 3, 2, 5)
- TEST (5, 3, 2, 5)
- TEST (6, 3, 2, 5)
- TEST (7, 3, 2, 5)
- TEST (0, 4, 2, 5)
- TEST (1, 4, 2, 5)
- TEST (2, 4, 2, 5)
- TEST (3, 4, 2, 5)
- TEST (4, 4, 2, 5)
- TEST (5, 4, 2, 5)
- TEST (6, 4, 2, 5)
- TEST (7, 4, 2, 5)
- TEST (0, 5, 2, 5)
- TEST (1, 5, 2, 5)
- TEST (2, 5, 2, 5)
- TEST (3, 5, 2, 5)
- TEST (4, 5, 2, 5)
- TEST (5, 5, 2, 5)
- TEST (6, 5, 2, 5)
- TEST (7, 5, 2, 5)
- TEST (0, 6, 2, 5)
- TEST (1, 6, 2, 5)
- TEST (2, 6, 2, 5)
- TEST (3, 6, 2, 5)
- TEST (4, 6, 2, 5)
- TEST (5, 6, 2, 5)
- TEST (6, 6, 2, 5)
- TEST (7, 6, 2, 5)
- TEST (0, 7, 2, 5)
- TEST (1, 7, 2, 5)
- TEST (2, 7, 2, 5)
- TEST (3, 7, 2, 5)
- TEST (4, 7, 2, 5)
- TEST (5, 7, 2, 5)
- TEST (6, 7, 2, 5)
- TEST (7, 7, 2, 5)
- TEST (0, 0, 3, 5)
- TEST (1, 0, 3, 5)
- TEST (2, 0, 3, 5)
- TEST (3, 0, 3, 5)
- TEST (4, 0, 3, 5)
- TEST (5, 0, 3, 5)
- TEST (6, 0, 3, 5)
- TEST (7, 0, 3, 5)
- TEST (0, 1, 3, 5)
- TEST (1, 1, 3, 5)
- TEST (2, 1, 3, 5)
- TEST (3, 1, 3, 5)
- TEST (4, 1, 3, 5)
- TEST (5, 1, 3, 5)
- TEST (6, 1, 3, 5)
- TEST (7, 1, 3, 5)
- TEST (0, 2, 3, 5)
- TEST (1, 2, 3, 5)
- TEST (2, 2, 3, 5)
- TEST (3, 2, 3, 5)
- TEST (4, 2, 3, 5)
- TEST (5, 2, 3, 5)
- TEST (6, 2, 3, 5)
- TEST (7, 2, 3, 5)
- TEST (0, 3, 3, 5)
- TEST (1, 3, 3, 5)
- TEST (2, 3, 3, 5)
- TEST (3, 3, 3, 5)
- TEST (4, 3, 3, 5)
- TEST (5, 3, 3, 5)
- TEST (6, 3, 3, 5)
- TEST (7, 3, 3, 5)
- TEST (0, 4, 3, 5)
- TEST (1, 4, 3, 5)
- TEST (2, 4, 3, 5)
- TEST (3, 4, 3, 5)
- TEST (4, 4, 3, 5)
- TEST (5, 4, 3, 5)
- TEST (6, 4, 3, 5)
- TEST (7, 4, 3, 5)
- TEST (0, 5, 3, 5)
- TEST (1, 5, 3, 5)
- TEST (2, 5, 3, 5)
- TEST (3, 5, 3, 5)
- TEST (4, 5, 3, 5)
- TEST (5, 5, 3, 5)
- TEST (6, 5, 3, 5)
- TEST (7, 5, 3, 5)
- TEST (0, 6, 3, 5)
- TEST (1, 6, 3, 5)
- TEST (2, 6, 3, 5)
- TEST (3, 6, 3, 5)
- TEST (4, 6, 3, 5)
- TEST (5, 6, 3, 5)
- TEST (6, 6, 3, 5)
- TEST (7, 6, 3, 5)
- TEST (0, 7, 3, 5)
- TEST (1, 7, 3, 5)
- TEST (2, 7, 3, 5)
- TEST (3, 7, 3, 5)
- TEST (4, 7, 3, 5)
- TEST (5, 7, 3, 5)
- TEST (6, 7, 3, 5)
- TEST (7, 7, 3, 5)
-}
-
-void check22(void)
-{
- TEST (0, 0, 4, 5)
- TEST (1, 0, 4, 5)
- TEST (2, 0, 4, 5)
- TEST (3, 0, 4, 5)
- TEST (4, 0, 4, 5)
- TEST (5, 0, 4, 5)
- TEST (6, 0, 4, 5)
- TEST (7, 0, 4, 5)
- TEST (0, 1, 4, 5)
- TEST (1, 1, 4, 5)
- TEST (2, 1, 4, 5)
- TEST (3, 1, 4, 5)
- TEST (4, 1, 4, 5)
- TEST (5, 1, 4, 5)
- TEST (6, 1, 4, 5)
- TEST (7, 1, 4, 5)
- TEST (0, 2, 4, 5)
- TEST (1, 2, 4, 5)
- TEST (2, 2, 4, 5)
- TEST (3, 2, 4, 5)
- TEST (4, 2, 4, 5)
- TEST (5, 2, 4, 5)
- TEST (6, 2, 4, 5)
- TEST (7, 2, 4, 5)
- TEST (0, 3, 4, 5)
- TEST (1, 3, 4, 5)
- TEST (2, 3, 4, 5)
- TEST (3, 3, 4, 5)
- TEST (4, 3, 4, 5)
- TEST (5, 3, 4, 5)
- TEST (6, 3, 4, 5)
- TEST (7, 3, 4, 5)
- TEST (0, 4, 4, 5)
- TEST (1, 4, 4, 5)
- TEST (2, 4, 4, 5)
- TEST (3, 4, 4, 5)
- TEST (4, 4, 4, 5)
- TEST (5, 4, 4, 5)
- TEST (6, 4, 4, 5)
- TEST (7, 4, 4, 5)
- TEST (0, 5, 4, 5)
- TEST (1, 5, 4, 5)
- TEST (2, 5, 4, 5)
- TEST (3, 5, 4, 5)
- TEST (4, 5, 4, 5)
- TEST (5, 5, 4, 5)
- TEST (6, 5, 4, 5)
- TEST (7, 5, 4, 5)
- TEST (0, 6, 4, 5)
- TEST (1, 6, 4, 5)
- TEST (2, 6, 4, 5)
- TEST (3, 6, 4, 5)
- TEST (4, 6, 4, 5)
- TEST (5, 6, 4, 5)
- TEST (6, 6, 4, 5)
- TEST (7, 6, 4, 5)
- TEST (0, 7, 4, 5)
- TEST (1, 7, 4, 5)
- TEST (2, 7, 4, 5)
- TEST (3, 7, 4, 5)
- TEST (4, 7, 4, 5)
- TEST (5, 7, 4, 5)
- TEST (6, 7, 4, 5)
- TEST (7, 7, 4, 5)
- TEST (0, 0, 5, 5)
- TEST (1, 0, 5, 5)
- TEST (2, 0, 5, 5)
- TEST (3, 0, 5, 5)
- TEST (4, 0, 5, 5)
- TEST (5, 0, 5, 5)
- TEST (6, 0, 5, 5)
- TEST (7, 0, 5, 5)
- TEST (0, 1, 5, 5)
- TEST (1, 1, 5, 5)
- TEST (2, 1, 5, 5)
- TEST (3, 1, 5, 5)
- TEST (4, 1, 5, 5)
- TEST (5, 1, 5, 5)
- TEST (6, 1, 5, 5)
- TEST (7, 1, 5, 5)
- TEST (0, 2, 5, 5)
- TEST (1, 2, 5, 5)
- TEST (2, 2, 5, 5)
- TEST (3, 2, 5, 5)
- TEST (4, 2, 5, 5)
- TEST (5, 2, 5, 5)
- TEST (6, 2, 5, 5)
- TEST (7, 2, 5, 5)
- TEST (0, 3, 5, 5)
- TEST (1, 3, 5, 5)
- TEST (2, 3, 5, 5)
- TEST (3, 3, 5, 5)
- TEST (4, 3, 5, 5)
- TEST (5, 3, 5, 5)
- TEST (6, 3, 5, 5)
- TEST (7, 3, 5, 5)
- TEST (0, 4, 5, 5)
- TEST (1, 4, 5, 5)
- TEST (2, 4, 5, 5)
- TEST (3, 4, 5, 5)
- TEST (4, 4, 5, 5)
- TEST (5, 4, 5, 5)
- TEST (6, 4, 5, 5)
- TEST (7, 4, 5, 5)
- TEST (0, 5, 5, 5)
- TEST (1, 5, 5, 5)
- TEST (2, 5, 5, 5)
- TEST (3, 5, 5, 5)
- TEST (4, 5, 5, 5)
- TEST (5, 5, 5, 5)
- TEST (6, 5, 5, 5)
- TEST (7, 5, 5, 5)
- TEST (0, 6, 5, 5)
- TEST (1, 6, 5, 5)
- TEST (2, 6, 5, 5)
- TEST (3, 6, 5, 5)
- TEST (4, 6, 5, 5)
- TEST (5, 6, 5, 5)
- TEST (6, 6, 5, 5)
- TEST (7, 6, 5, 5)
- TEST (0, 7, 5, 5)
- TEST (1, 7, 5, 5)
- TEST (2, 7, 5, 5)
- TEST (3, 7, 5, 5)
- TEST (4, 7, 5, 5)
- TEST (5, 7, 5, 5)
- TEST (6, 7, 5, 5)
- TEST (7, 7, 5, 5)
-}
-
-void check23(void)
-{
- TEST (0, 0, 6, 5)
- TEST (1, 0, 6, 5)
- TEST (2, 0, 6, 5)
- TEST (3, 0, 6, 5)
- TEST (4, 0, 6, 5)
- TEST (5, 0, 6, 5)
- TEST (6, 0, 6, 5)
- TEST (7, 0, 6, 5)
- TEST (0, 1, 6, 5)
- TEST (1, 1, 6, 5)
- TEST (2, 1, 6, 5)
- TEST (3, 1, 6, 5)
- TEST (4, 1, 6, 5)
- TEST (5, 1, 6, 5)
- TEST (6, 1, 6, 5)
- TEST (7, 1, 6, 5)
- TEST (0, 2, 6, 5)
- TEST (1, 2, 6, 5)
- TEST (2, 2, 6, 5)
- TEST (3, 2, 6, 5)
- TEST (4, 2, 6, 5)
- TEST (5, 2, 6, 5)
- TEST (6, 2, 6, 5)
- TEST (7, 2, 6, 5)
- TEST (0, 3, 6, 5)
- TEST (1, 3, 6, 5)
- TEST (2, 3, 6, 5)
- TEST (3, 3, 6, 5)
- TEST (4, 3, 6, 5)
- TEST (5, 3, 6, 5)
- TEST (6, 3, 6, 5)
- TEST (7, 3, 6, 5)
- TEST (0, 4, 6, 5)
- TEST (1, 4, 6, 5)
- TEST (2, 4, 6, 5)
- TEST (3, 4, 6, 5)
- TEST (4, 4, 6, 5)
- TEST (5, 4, 6, 5)
- TEST (6, 4, 6, 5)
- TEST (7, 4, 6, 5)
- TEST (0, 5, 6, 5)
- TEST (1, 5, 6, 5)
- TEST (2, 5, 6, 5)
- TEST (3, 5, 6, 5)
- TEST (4, 5, 6, 5)
- TEST (5, 5, 6, 5)
- TEST (6, 5, 6, 5)
- TEST (7, 5, 6, 5)
- TEST (0, 6, 6, 5)
- TEST (1, 6, 6, 5)
- TEST (2, 6, 6, 5)
- TEST (3, 6, 6, 5)
- TEST (4, 6, 6, 5)
- TEST (5, 6, 6, 5)
- TEST (6, 6, 6, 5)
- TEST (7, 6, 6, 5)
- TEST (0, 7, 6, 5)
- TEST (1, 7, 6, 5)
- TEST (2, 7, 6, 5)
- TEST (3, 7, 6, 5)
- TEST (4, 7, 6, 5)
- TEST (5, 7, 6, 5)
- TEST (6, 7, 6, 5)
- TEST (7, 7, 6, 5)
- TEST (0, 0, 7, 5)
- TEST (1, 0, 7, 5)
- TEST (2, 0, 7, 5)
- TEST (3, 0, 7, 5)
- TEST (4, 0, 7, 5)
- TEST (5, 0, 7, 5)
- TEST (6, 0, 7, 5)
- TEST (7, 0, 7, 5)
- TEST (0, 1, 7, 5)
- TEST (1, 1, 7, 5)
- TEST (2, 1, 7, 5)
- TEST (3, 1, 7, 5)
- TEST (4, 1, 7, 5)
- TEST (5, 1, 7, 5)
- TEST (6, 1, 7, 5)
- TEST (7, 1, 7, 5)
- TEST (0, 2, 7, 5)
- TEST (1, 2, 7, 5)
- TEST (2, 2, 7, 5)
- TEST (3, 2, 7, 5)
- TEST (4, 2, 7, 5)
- TEST (5, 2, 7, 5)
- TEST (6, 2, 7, 5)
- TEST (7, 2, 7, 5)
- TEST (0, 3, 7, 5)
- TEST (1, 3, 7, 5)
- TEST (2, 3, 7, 5)
- TEST (3, 3, 7, 5)
- TEST (4, 3, 7, 5)
- TEST (5, 3, 7, 5)
- TEST (6, 3, 7, 5)
- TEST (7, 3, 7, 5)
- TEST (0, 4, 7, 5)
- TEST (1, 4, 7, 5)
- TEST (2, 4, 7, 5)
- TEST (3, 4, 7, 5)
- TEST (4, 4, 7, 5)
- TEST (5, 4, 7, 5)
- TEST (6, 4, 7, 5)
- TEST (7, 4, 7, 5)
- TEST (0, 5, 7, 5)
- TEST (1, 5, 7, 5)
- TEST (2, 5, 7, 5)
- TEST (3, 5, 7, 5)
- TEST (4, 5, 7, 5)
- TEST (5, 5, 7, 5)
- TEST (6, 5, 7, 5)
- TEST (7, 5, 7, 5)
- TEST (0, 6, 7, 5)
- TEST (1, 6, 7, 5)
- TEST (2, 6, 7, 5)
- TEST (3, 6, 7, 5)
- TEST (4, 6, 7, 5)
- TEST (5, 6, 7, 5)
- TEST (6, 6, 7, 5)
- TEST (7, 6, 7, 5)
- TEST (0, 7, 7, 5)
- TEST (1, 7, 7, 5)
- TEST (2, 7, 7, 5)
- TEST (3, 7, 7, 5)
- TEST (4, 7, 7, 5)
- TEST (5, 7, 7, 5)
- TEST (6, 7, 7, 5)
- TEST (7, 7, 7, 5)
-}
-
-void check24(void)
-{
- TEST (0, 0, 0, 6)
- TEST (1, 0, 0, 6)
- TEST (2, 0, 0, 6)
- TEST (3, 0, 0, 6)
- TEST (4, 0, 0, 6)
- TEST (5, 0, 0, 6)
- TEST (6, 0, 0, 6)
- TEST (7, 0, 0, 6)
- TEST (0, 1, 0, 6)
- TEST (1, 1, 0, 6)
- TEST (2, 1, 0, 6)
- TEST (3, 1, 0, 6)
- TEST (4, 1, 0, 6)
- TEST (5, 1, 0, 6)
- TEST (6, 1, 0, 6)
- TEST (7, 1, 0, 6)
- TEST (0, 2, 0, 6)
- TEST (1, 2, 0, 6)
- TEST (2, 2, 0, 6)
- TEST (3, 2, 0, 6)
- TEST (4, 2, 0, 6)
- TEST (5, 2, 0, 6)
- TEST (6, 2, 0, 6)
- TEST (7, 2, 0, 6)
- TEST (0, 3, 0, 6)
- TEST (1, 3, 0, 6)
- TEST (2, 3, 0, 6)
- TEST (3, 3, 0, 6)
- TEST (4, 3, 0, 6)
- TEST (5, 3, 0, 6)
- TEST (6, 3, 0, 6)
- TEST (7, 3, 0, 6)
- TEST (0, 4, 0, 6)
- TEST (1, 4, 0, 6)
- TEST (2, 4, 0, 6)
- TEST (3, 4, 0, 6)
- TEST (4, 4, 0, 6)
- TEST (5, 4, 0, 6)
- TEST (6, 4, 0, 6)
- TEST (7, 4, 0, 6)
- TEST (0, 5, 0, 6)
- TEST (1, 5, 0, 6)
- TEST (2, 5, 0, 6)
- TEST (3, 5, 0, 6)
- TEST (4, 5, 0, 6)
- TEST (5, 5, 0, 6)
- TEST (6, 5, 0, 6)
- TEST (7, 5, 0, 6)
- TEST (0, 6, 0, 6)
- TEST (1, 6, 0, 6)
- TEST (2, 6, 0, 6)
- TEST (3, 6, 0, 6)
- TEST (4, 6, 0, 6)
- TEST (5, 6, 0, 6)
- TEST (6, 6, 0, 6)
- TEST (7, 6, 0, 6)
- TEST (0, 7, 0, 6)
- TEST (1, 7, 0, 6)
- TEST (2, 7, 0, 6)
- TEST (3, 7, 0, 6)
- TEST (4, 7, 0, 6)
- TEST (5, 7, 0, 6)
- TEST (6, 7, 0, 6)
- TEST (7, 7, 0, 6)
- TEST (0, 0, 1, 6)
- TEST (1, 0, 1, 6)
- TEST (2, 0, 1, 6)
- TEST (3, 0, 1, 6)
- TEST (4, 0, 1, 6)
- TEST (5, 0, 1, 6)
- TEST (6, 0, 1, 6)
- TEST (7, 0, 1, 6)
- TEST (0, 1, 1, 6)
- TEST (1, 1, 1, 6)
- TEST (2, 1, 1, 6)
- TEST (3, 1, 1, 6)
- TEST (4, 1, 1, 6)
- TEST (5, 1, 1, 6)
- TEST (6, 1, 1, 6)
- TEST (7, 1, 1, 6)
- TEST (0, 2, 1, 6)
- TEST (1, 2, 1, 6)
- TEST (2, 2, 1, 6)
- TEST (3, 2, 1, 6)
- TEST (4, 2, 1, 6)
- TEST (5, 2, 1, 6)
- TEST (6, 2, 1, 6)
- TEST (7, 2, 1, 6)
- TEST (0, 3, 1, 6)
- TEST (1, 3, 1, 6)
- TEST (2, 3, 1, 6)
- TEST (3, 3, 1, 6)
- TEST (4, 3, 1, 6)
- TEST (5, 3, 1, 6)
- TEST (6, 3, 1, 6)
- TEST (7, 3, 1, 6)
- TEST (0, 4, 1, 6)
- TEST (1, 4, 1, 6)
- TEST (2, 4, 1, 6)
- TEST (3, 4, 1, 6)
- TEST (4, 4, 1, 6)
- TEST (5, 4, 1, 6)
- TEST (6, 4, 1, 6)
- TEST (7, 4, 1, 6)
- TEST (0, 5, 1, 6)
- TEST (1, 5, 1, 6)
- TEST (2, 5, 1, 6)
- TEST (3, 5, 1, 6)
- TEST (4, 5, 1, 6)
- TEST (5, 5, 1, 6)
- TEST (6, 5, 1, 6)
- TEST (7, 5, 1, 6)
- TEST (0, 6, 1, 6)
- TEST (1, 6, 1, 6)
- TEST (2, 6, 1, 6)
- TEST (3, 6, 1, 6)
- TEST (4, 6, 1, 6)
- TEST (5, 6, 1, 6)
- TEST (6, 6, 1, 6)
- TEST (7, 6, 1, 6)
- TEST (0, 7, 1, 6)
- TEST (1, 7, 1, 6)
- TEST (2, 7, 1, 6)
- TEST (3, 7, 1, 6)
- TEST (4, 7, 1, 6)
- TEST (5, 7, 1, 6)
- TEST (6, 7, 1, 6)
- TEST (7, 7, 1, 6)
-}
-
-void check25(void)
-{
- TEST (0, 0, 2, 6)
- TEST (1, 0, 2, 6)
- TEST (2, 0, 2, 6)
- TEST (3, 0, 2, 6)
- TEST (4, 0, 2, 6)
- TEST (5, 0, 2, 6)
- TEST (6, 0, 2, 6)
- TEST (7, 0, 2, 6)
- TEST (0, 1, 2, 6)
- TEST (1, 1, 2, 6)
- TEST (2, 1, 2, 6)
- TEST (3, 1, 2, 6)
- TEST (4, 1, 2, 6)
- TEST (5, 1, 2, 6)
- TEST (6, 1, 2, 6)
- TEST (7, 1, 2, 6)
- TEST (0, 2, 2, 6)
- TEST (1, 2, 2, 6)
- TEST (2, 2, 2, 6)
- TEST (3, 2, 2, 6)
- TEST (4, 2, 2, 6)
- TEST (5, 2, 2, 6)
- TEST (6, 2, 2, 6)
- TEST (7, 2, 2, 6)
- TEST (0, 3, 2, 6)
- TEST (1, 3, 2, 6)
- TEST (2, 3, 2, 6)
- TEST (3, 3, 2, 6)
- TEST (4, 3, 2, 6)
- TEST (5, 3, 2, 6)
- TEST (6, 3, 2, 6)
- TEST (7, 3, 2, 6)
- TEST (0, 4, 2, 6)
- TEST (1, 4, 2, 6)
- TEST (2, 4, 2, 6)
- TEST (3, 4, 2, 6)
- TEST (4, 4, 2, 6)
- TEST (5, 4, 2, 6)
- TEST (6, 4, 2, 6)
- TEST (7, 4, 2, 6)
- TEST (0, 5, 2, 6)
- TEST (1, 5, 2, 6)
- TEST (2, 5, 2, 6)
- TEST (3, 5, 2, 6)
- TEST (4, 5, 2, 6)
- TEST (5, 5, 2, 6)
- TEST (6, 5, 2, 6)
- TEST (7, 5, 2, 6)
- TEST (0, 6, 2, 6)
- TEST (1, 6, 2, 6)
- TEST (2, 6, 2, 6)
- TEST (3, 6, 2, 6)
- TEST (4, 6, 2, 6)
- TEST (5, 6, 2, 6)
- TEST (6, 6, 2, 6)
- TEST (7, 6, 2, 6)
- TEST (0, 7, 2, 6)
- TEST (1, 7, 2, 6)
- TEST (2, 7, 2, 6)
- TEST (3, 7, 2, 6)
- TEST (4, 7, 2, 6)
- TEST (5, 7, 2, 6)
- TEST (6, 7, 2, 6)
- TEST (7, 7, 2, 6)
- TEST (0, 0, 3, 6)
- TEST (1, 0, 3, 6)
- TEST (2, 0, 3, 6)
- TEST (3, 0, 3, 6)
- TEST (4, 0, 3, 6)
- TEST (5, 0, 3, 6)
- TEST (6, 0, 3, 6)
- TEST (7, 0, 3, 6)
- TEST (0, 1, 3, 6)
- TEST (1, 1, 3, 6)
- TEST (2, 1, 3, 6)
- TEST (3, 1, 3, 6)
- TEST (4, 1, 3, 6)
- TEST (5, 1, 3, 6)
- TEST (6, 1, 3, 6)
- TEST (7, 1, 3, 6)
- TEST (0, 2, 3, 6)
- TEST (1, 2, 3, 6)
- TEST (2, 2, 3, 6)
- TEST (3, 2, 3, 6)
- TEST (4, 2, 3, 6)
- TEST (5, 2, 3, 6)
- TEST (6, 2, 3, 6)
- TEST (7, 2, 3, 6)
- TEST (0, 3, 3, 6)
- TEST (1, 3, 3, 6)
- TEST (2, 3, 3, 6)
- TEST (3, 3, 3, 6)
- TEST (4, 3, 3, 6)
- TEST (5, 3, 3, 6)
- TEST (6, 3, 3, 6)
- TEST (7, 3, 3, 6)
- TEST (0, 4, 3, 6)
- TEST (1, 4, 3, 6)
- TEST (2, 4, 3, 6)
- TEST (3, 4, 3, 6)
- TEST (4, 4, 3, 6)
- TEST (5, 4, 3, 6)
- TEST (6, 4, 3, 6)
- TEST (7, 4, 3, 6)
- TEST (0, 5, 3, 6)
- TEST (1, 5, 3, 6)
- TEST (2, 5, 3, 6)
- TEST (3, 5, 3, 6)
- TEST (4, 5, 3, 6)
- TEST (5, 5, 3, 6)
- TEST (6, 5, 3, 6)
- TEST (7, 5, 3, 6)
- TEST (0, 6, 3, 6)
- TEST (1, 6, 3, 6)
- TEST (2, 6, 3, 6)
- TEST (3, 6, 3, 6)
- TEST (4, 6, 3, 6)
- TEST (5, 6, 3, 6)
- TEST (6, 6, 3, 6)
- TEST (7, 6, 3, 6)
- TEST (0, 7, 3, 6)
- TEST (1, 7, 3, 6)
- TEST (2, 7, 3, 6)
- TEST (3, 7, 3, 6)
- TEST (4, 7, 3, 6)
- TEST (5, 7, 3, 6)
- TEST (6, 7, 3, 6)
- TEST (7, 7, 3, 6)
-}
-
-void check26(void)
-{
- TEST (0, 0, 4, 6)
- TEST (1, 0, 4, 6)
- TEST (2, 0, 4, 6)
- TEST (3, 0, 4, 6)
- TEST (4, 0, 4, 6)
- TEST (5, 0, 4, 6)
- TEST (6, 0, 4, 6)
- TEST (7, 0, 4, 6)
- TEST (0, 1, 4, 6)
- TEST (1, 1, 4, 6)
- TEST (2, 1, 4, 6)
- TEST (3, 1, 4, 6)
- TEST (4, 1, 4, 6)
- TEST (5, 1, 4, 6)
- TEST (6, 1, 4, 6)
- TEST (7, 1, 4, 6)
- TEST (0, 2, 4, 6)
- TEST (1, 2, 4, 6)
- TEST (2, 2, 4, 6)
- TEST (3, 2, 4, 6)
- TEST (4, 2, 4, 6)
- TEST (5, 2, 4, 6)
- TEST (6, 2, 4, 6)
- TEST (7, 2, 4, 6)
- TEST (0, 3, 4, 6)
- TEST (1, 3, 4, 6)
- TEST (2, 3, 4, 6)
- TEST (3, 3, 4, 6)
- TEST (4, 3, 4, 6)
- TEST (5, 3, 4, 6)
- TEST (6, 3, 4, 6)
- TEST (7, 3, 4, 6)
- TEST (0, 4, 4, 6)
- TEST (1, 4, 4, 6)
- TEST (2, 4, 4, 6)
- TEST (3, 4, 4, 6)
- TEST (4, 4, 4, 6)
- TEST (5, 4, 4, 6)
- TEST (6, 4, 4, 6)
- TEST (7, 4, 4, 6)
- TEST (0, 5, 4, 6)
- TEST (1, 5, 4, 6)
- TEST (2, 5, 4, 6)
- TEST (3, 5, 4, 6)
- TEST (4, 5, 4, 6)
- TEST (5, 5, 4, 6)
- TEST (6, 5, 4, 6)
- TEST (7, 5, 4, 6)
- TEST (0, 6, 4, 6)
- TEST (1, 6, 4, 6)
- TEST (2, 6, 4, 6)
- TEST (3, 6, 4, 6)
- TEST (4, 6, 4, 6)
- TEST (5, 6, 4, 6)
- TEST (6, 6, 4, 6)
- TEST (7, 6, 4, 6)
- TEST (0, 7, 4, 6)
- TEST (1, 7, 4, 6)
- TEST (2, 7, 4, 6)
- TEST (3, 7, 4, 6)
- TEST (4, 7, 4, 6)
- TEST (5, 7, 4, 6)
- TEST (6, 7, 4, 6)
- TEST (7, 7, 4, 6)
- TEST (0, 0, 5, 6)
- TEST (1, 0, 5, 6)
- TEST (2, 0, 5, 6)
- TEST (3, 0, 5, 6)
- TEST (4, 0, 5, 6)
- TEST (5, 0, 5, 6)
- TEST (6, 0, 5, 6)
- TEST (7, 0, 5, 6)
- TEST (0, 1, 5, 6)
- TEST (1, 1, 5, 6)
- TEST (2, 1, 5, 6)
- TEST (3, 1, 5, 6)
- TEST (4, 1, 5, 6)
- TEST (5, 1, 5, 6)
- TEST (6, 1, 5, 6)
- TEST (7, 1, 5, 6)
- TEST (0, 2, 5, 6)
- TEST (1, 2, 5, 6)
- TEST (2, 2, 5, 6)
- TEST (3, 2, 5, 6)
- TEST (4, 2, 5, 6)
- TEST (5, 2, 5, 6)
- TEST (6, 2, 5, 6)
- TEST (7, 2, 5, 6)
- TEST (0, 3, 5, 6)
- TEST (1, 3, 5, 6)
- TEST (2, 3, 5, 6)
- TEST (3, 3, 5, 6)
- TEST (4, 3, 5, 6)
- TEST (5, 3, 5, 6)
- TEST (6, 3, 5, 6)
- TEST (7, 3, 5, 6)
- TEST (0, 4, 5, 6)
- TEST (1, 4, 5, 6)
- TEST (2, 4, 5, 6)
- TEST (3, 4, 5, 6)
- TEST (4, 4, 5, 6)
- TEST (5, 4, 5, 6)
- TEST (6, 4, 5, 6)
- TEST (7, 4, 5, 6)
- TEST (0, 5, 5, 6)
- TEST (1, 5, 5, 6)
- TEST (2, 5, 5, 6)
- TEST (3, 5, 5, 6)
- TEST (4, 5, 5, 6)
- TEST (5, 5, 5, 6)
- TEST (6, 5, 5, 6)
- TEST (7, 5, 5, 6)
- TEST (0, 6, 5, 6)
- TEST (1, 6, 5, 6)
- TEST (2, 6, 5, 6)
- TEST (3, 6, 5, 6)
- TEST (4, 6, 5, 6)
- TEST (5, 6, 5, 6)
- TEST (6, 6, 5, 6)
- TEST (7, 6, 5, 6)
- TEST (0, 7, 5, 6)
- TEST (1, 7, 5, 6)
- TEST (2, 7, 5, 6)
- TEST (3, 7, 5, 6)
- TEST (4, 7, 5, 6)
- TEST (5, 7, 5, 6)
- TEST (6, 7, 5, 6)
- TEST (7, 7, 5, 6)
-}
-
-void check27(void)
-{
- TEST (0, 0, 6, 6)
- TEST (1, 0, 6, 6)
- TEST (2, 0, 6, 6)
- TEST (3, 0, 6, 6)
- TEST (4, 0, 6, 6)
- TEST (5, 0, 6, 6)
- TEST (6, 0, 6, 6)
- TEST (7, 0, 6, 6)
- TEST (0, 1, 6, 6)
- TEST (1, 1, 6, 6)
- TEST (2, 1, 6, 6)
- TEST (3, 1, 6, 6)
- TEST (4, 1, 6, 6)
- TEST (5, 1, 6, 6)
- TEST (6, 1, 6, 6)
- TEST (7, 1, 6, 6)
- TEST (0, 2, 6, 6)
- TEST (1, 2, 6, 6)
- TEST (2, 2, 6, 6)
- TEST (3, 2, 6, 6)
- TEST (4, 2, 6, 6)
- TEST (5, 2, 6, 6)
- TEST (6, 2, 6, 6)
- TEST (7, 2, 6, 6)
- TEST (0, 3, 6, 6)
- TEST (1, 3, 6, 6)
- TEST (2, 3, 6, 6)
- TEST (3, 3, 6, 6)
- TEST (4, 3, 6, 6)
- TEST (5, 3, 6, 6)
- TEST (6, 3, 6, 6)
- TEST (7, 3, 6, 6)
- TEST (0, 4, 6, 6)
- TEST (1, 4, 6, 6)
- TEST (2, 4, 6, 6)
- TEST (3, 4, 6, 6)
- TEST (4, 4, 6, 6)
- TEST (5, 4, 6, 6)
- TEST (6, 4, 6, 6)
- TEST (7, 4, 6, 6)
- TEST (0, 5, 6, 6)
- TEST (1, 5, 6, 6)
- TEST (2, 5, 6, 6)
- TEST (3, 5, 6, 6)
- TEST (4, 5, 6, 6)
- TEST (5, 5, 6, 6)
- TEST (6, 5, 6, 6)
- TEST (7, 5, 6, 6)
- TEST (0, 6, 6, 6)
- TEST (1, 6, 6, 6)
- TEST (2, 6, 6, 6)
- TEST (3, 6, 6, 6)
- TEST (4, 6, 6, 6)
- TEST (5, 6, 6, 6)
- TEST (6, 6, 6, 6)
- TEST (7, 6, 6, 6)
- TEST (0, 7, 6, 6)
- TEST (1, 7, 6, 6)
- TEST (2, 7, 6, 6)
- TEST (3, 7, 6, 6)
- TEST (4, 7, 6, 6)
- TEST (5, 7, 6, 6)
- TEST (6, 7, 6, 6)
- TEST (7, 7, 6, 6)
- TEST (0, 0, 7, 6)
- TEST (1, 0, 7, 6)
- TEST (2, 0, 7, 6)
- TEST (3, 0, 7, 6)
- TEST (4, 0, 7, 6)
- TEST (5, 0, 7, 6)
- TEST (6, 0, 7, 6)
- TEST (7, 0, 7, 6)
- TEST (0, 1, 7, 6)
- TEST (1, 1, 7, 6)
- TEST (2, 1, 7, 6)
- TEST (3, 1, 7, 6)
- TEST (4, 1, 7, 6)
- TEST (5, 1, 7, 6)
- TEST (6, 1, 7, 6)
- TEST (7, 1, 7, 6)
- TEST (0, 2, 7, 6)
- TEST (1, 2, 7, 6)
- TEST (2, 2, 7, 6)
- TEST (3, 2, 7, 6)
- TEST (4, 2, 7, 6)
- TEST (5, 2, 7, 6)
- TEST (6, 2, 7, 6)
- TEST (7, 2, 7, 6)
- TEST (0, 3, 7, 6)
- TEST (1, 3, 7, 6)
- TEST (2, 3, 7, 6)
- TEST (3, 3, 7, 6)
- TEST (4, 3, 7, 6)
- TEST (5, 3, 7, 6)
- TEST (6, 3, 7, 6)
- TEST (7, 3, 7, 6)
- TEST (0, 4, 7, 6)
- TEST (1, 4, 7, 6)
- TEST (2, 4, 7, 6)
- TEST (3, 4, 7, 6)
- TEST (4, 4, 7, 6)
- TEST (5, 4, 7, 6)
- TEST (6, 4, 7, 6)
- TEST (7, 4, 7, 6)
- TEST (0, 5, 7, 6)
- TEST (1, 5, 7, 6)
- TEST (2, 5, 7, 6)
- TEST (3, 5, 7, 6)
- TEST (4, 5, 7, 6)
- TEST (5, 5, 7, 6)
- TEST (6, 5, 7, 6)
- TEST (7, 5, 7, 6)
- TEST (0, 6, 7, 6)
- TEST (1, 6, 7, 6)
- TEST (2, 6, 7, 6)
- TEST (3, 6, 7, 6)
- TEST (4, 6, 7, 6)
- TEST (5, 6, 7, 6)
- TEST (6, 6, 7, 6)
- TEST (7, 6, 7, 6)
- TEST (0, 7, 7, 6)
- TEST (1, 7, 7, 6)
- TEST (2, 7, 7, 6)
- TEST (3, 7, 7, 6)
- TEST (4, 7, 7, 6)
- TEST (5, 7, 7, 6)
- TEST (6, 7, 7, 6)
- TEST (7, 7, 7, 6)
-}
-
-void check28(void)
-{
- TEST (0, 0, 0, 7)
- TEST (1, 0, 0, 7)
- TEST (2, 0, 0, 7)
- TEST (3, 0, 0, 7)
- TEST (4, 0, 0, 7)
- TEST (5, 0, 0, 7)
- TEST (6, 0, 0, 7)
- TEST (7, 0, 0, 7)
- TEST (0, 1, 0, 7)
- TEST (1, 1, 0, 7)
- TEST (2, 1, 0, 7)
- TEST (3, 1, 0, 7)
- TEST (4, 1, 0, 7)
- TEST (5, 1, 0, 7)
- TEST (6, 1, 0, 7)
- TEST (7, 1, 0, 7)
- TEST (0, 2, 0, 7)
- TEST (1, 2, 0, 7)
- TEST (2, 2, 0, 7)
- TEST (3, 2, 0, 7)
- TEST (4, 2, 0, 7)
- TEST (5, 2, 0, 7)
- TEST (6, 2, 0, 7)
- TEST (7, 2, 0, 7)
- TEST (0, 3, 0, 7)
- TEST (1, 3, 0, 7)
- TEST (2, 3, 0, 7)
- TEST (3, 3, 0, 7)
- TEST (4, 3, 0, 7)
- TEST (5, 3, 0, 7)
- TEST (6, 3, 0, 7)
- TEST (7, 3, 0, 7)
- TEST (0, 4, 0, 7)
- TEST (1, 4, 0, 7)
- TEST (2, 4, 0, 7)
- TEST (3, 4, 0, 7)
- TEST (4, 4, 0, 7)
- TEST (5, 4, 0, 7)
- TEST (6, 4, 0, 7)
- TEST (7, 4, 0, 7)
- TEST (0, 5, 0, 7)
- TEST (1, 5, 0, 7)
- TEST (2, 5, 0, 7)
- TEST (3, 5, 0, 7)
- TEST (4, 5, 0, 7)
- TEST (5, 5, 0, 7)
- TEST (6, 5, 0, 7)
- TEST (7, 5, 0, 7)
- TEST (0, 6, 0, 7)
- TEST (1, 6, 0, 7)
- TEST (2, 6, 0, 7)
- TEST (3, 6, 0, 7)
- TEST (4, 6, 0, 7)
- TEST (5, 6, 0, 7)
- TEST (6, 6, 0, 7)
- TEST (7, 6, 0, 7)
- TEST (0, 7, 0, 7)
- TEST (1, 7, 0, 7)
- TEST (2, 7, 0, 7)
- TEST (3, 7, 0, 7)
- TEST (4, 7, 0, 7)
- TEST (5, 7, 0, 7)
- TEST (6, 7, 0, 7)
- TEST (7, 7, 0, 7)
- TEST (0, 0, 1, 7)
- TEST (1, 0, 1, 7)
- TEST (2, 0, 1, 7)
- TEST (3, 0, 1, 7)
- TEST (4, 0, 1, 7)
- TEST (5, 0, 1, 7)
- TEST (6, 0, 1, 7)
- TEST (7, 0, 1, 7)
- TEST (0, 1, 1, 7)
- TEST (1, 1, 1, 7)
- TEST (2, 1, 1, 7)
- TEST (3, 1, 1, 7)
- TEST (4, 1, 1, 7)
- TEST (5, 1, 1, 7)
- TEST (6, 1, 1, 7)
- TEST (7, 1, 1, 7)
- TEST (0, 2, 1, 7)
- TEST (1, 2, 1, 7)
- TEST (2, 2, 1, 7)
- TEST (3, 2, 1, 7)
- TEST (4, 2, 1, 7)
- TEST (5, 2, 1, 7)
- TEST (6, 2, 1, 7)
- TEST (7, 2, 1, 7)
- TEST (0, 3, 1, 7)
- TEST (1, 3, 1, 7)
- TEST (2, 3, 1, 7)
- TEST (3, 3, 1, 7)
- TEST (4, 3, 1, 7)
- TEST (5, 3, 1, 7)
- TEST (6, 3, 1, 7)
- TEST (7, 3, 1, 7)
- TEST (0, 4, 1, 7)
- TEST (1, 4, 1, 7)
- TEST (2, 4, 1, 7)
- TEST (3, 4, 1, 7)
- TEST (4, 4, 1, 7)
- TEST (5, 4, 1, 7)
- TEST (6, 4, 1, 7)
- TEST (7, 4, 1, 7)
- TEST (0, 5, 1, 7)
- TEST (1, 5, 1, 7)
- TEST (2, 5, 1, 7)
- TEST (3, 5, 1, 7)
- TEST (4, 5, 1, 7)
- TEST (5, 5, 1, 7)
- TEST (6, 5, 1, 7)
- TEST (7, 5, 1, 7)
- TEST (0, 6, 1, 7)
- TEST (1, 6, 1, 7)
- TEST (2, 6, 1, 7)
- TEST (3, 6, 1, 7)
- TEST (4, 6, 1, 7)
- TEST (5, 6, 1, 7)
- TEST (6, 6, 1, 7)
- TEST (7, 6, 1, 7)
- TEST (0, 7, 1, 7)
- TEST (1, 7, 1, 7)
- TEST (2, 7, 1, 7)
- TEST (3, 7, 1, 7)
- TEST (4, 7, 1, 7)
- TEST (5, 7, 1, 7)
- TEST (6, 7, 1, 7)
- TEST (7, 7, 1, 7)
-}
-
-void check29(void)
-{
- TEST (0, 0, 2, 7)
- TEST (1, 0, 2, 7)
- TEST (2, 0, 2, 7)
- TEST (3, 0, 2, 7)
- TEST (4, 0, 2, 7)
- TEST (5, 0, 2, 7)
- TEST (6, 0, 2, 7)
- TEST (7, 0, 2, 7)
- TEST (0, 1, 2, 7)
- TEST (1, 1, 2, 7)
- TEST (2, 1, 2, 7)
- TEST (3, 1, 2, 7)
- TEST (4, 1, 2, 7)
- TEST (5, 1, 2, 7)
- TEST (6, 1, 2, 7)
- TEST (7, 1, 2, 7)
- TEST (0, 2, 2, 7)
- TEST (1, 2, 2, 7)
- TEST (2, 2, 2, 7)
- TEST (3, 2, 2, 7)
- TEST (4, 2, 2, 7)
- TEST (5, 2, 2, 7)
- TEST (6, 2, 2, 7)
- TEST (7, 2, 2, 7)
- TEST (0, 3, 2, 7)
- TEST (1, 3, 2, 7)
- TEST (2, 3, 2, 7)
- TEST (3, 3, 2, 7)
- TEST (4, 3, 2, 7)
- TEST (5, 3, 2, 7)
- TEST (6, 3, 2, 7)
- TEST (7, 3, 2, 7)
- TEST (0, 4, 2, 7)
- TEST (1, 4, 2, 7)
- TEST (2, 4, 2, 7)
- TEST (3, 4, 2, 7)
- TEST (4, 4, 2, 7)
- TEST (5, 4, 2, 7)
- TEST (6, 4, 2, 7)
- TEST (7, 4, 2, 7)
- TEST (0, 5, 2, 7)
- TEST (1, 5, 2, 7)
- TEST (2, 5, 2, 7)
- TEST (3, 5, 2, 7)
- TEST (4, 5, 2, 7)
- TEST (5, 5, 2, 7)
- TEST (6, 5, 2, 7)
- TEST (7, 5, 2, 7)
- TEST (0, 6, 2, 7)
- TEST (1, 6, 2, 7)
- TEST (2, 6, 2, 7)
- TEST (3, 6, 2, 7)
- TEST (4, 6, 2, 7)
- TEST (5, 6, 2, 7)
- TEST (6, 6, 2, 7)
- TEST (7, 6, 2, 7)
- TEST (0, 7, 2, 7)
- TEST (1, 7, 2, 7)
- TEST (2, 7, 2, 7)
- TEST (3, 7, 2, 7)
- TEST (4, 7, 2, 7)
- TEST (5, 7, 2, 7)
- TEST (6, 7, 2, 7)
- TEST (7, 7, 2, 7)
- TEST (0, 0, 3, 7)
- TEST (1, 0, 3, 7)
- TEST (2, 0, 3, 7)
- TEST (3, 0, 3, 7)
- TEST (4, 0, 3, 7)
- TEST (5, 0, 3, 7)
- TEST (6, 0, 3, 7)
- TEST (7, 0, 3, 7)
- TEST (0, 1, 3, 7)
- TEST (1, 1, 3, 7)
- TEST (2, 1, 3, 7)
- TEST (3, 1, 3, 7)
- TEST (4, 1, 3, 7)
- TEST (5, 1, 3, 7)
- TEST (6, 1, 3, 7)
- TEST (7, 1, 3, 7)
- TEST (0, 2, 3, 7)
- TEST (1, 2, 3, 7)
- TEST (2, 2, 3, 7)
- TEST (3, 2, 3, 7)
- TEST (4, 2, 3, 7)
- TEST (5, 2, 3, 7)
- TEST (6, 2, 3, 7)
- TEST (7, 2, 3, 7)
- TEST (0, 3, 3, 7)
- TEST (1, 3, 3, 7)
- TEST (2, 3, 3, 7)
- TEST (3, 3, 3, 7)
- TEST (4, 3, 3, 7)
- TEST (5, 3, 3, 7)
- TEST (6, 3, 3, 7)
- TEST (7, 3, 3, 7)
- TEST (0, 4, 3, 7)
- TEST (1, 4, 3, 7)
- TEST (2, 4, 3, 7)
- TEST (3, 4, 3, 7)
- TEST (4, 4, 3, 7)
- TEST (5, 4, 3, 7)
- TEST (6, 4, 3, 7)
- TEST (7, 4, 3, 7)
- TEST (0, 5, 3, 7)
- TEST (1, 5, 3, 7)
- TEST (2, 5, 3, 7)
- TEST (3, 5, 3, 7)
- TEST (4, 5, 3, 7)
- TEST (5, 5, 3, 7)
- TEST (6, 5, 3, 7)
- TEST (7, 5, 3, 7)
- TEST (0, 6, 3, 7)
- TEST (1, 6, 3, 7)
- TEST (2, 6, 3, 7)
- TEST (3, 6, 3, 7)
- TEST (4, 6, 3, 7)
- TEST (5, 6, 3, 7)
- TEST (6, 6, 3, 7)
- TEST (7, 6, 3, 7)
- TEST (0, 7, 3, 7)
- TEST (1, 7, 3, 7)
- TEST (2, 7, 3, 7)
- TEST (3, 7, 3, 7)
- TEST (4, 7, 3, 7)
- TEST (5, 7, 3, 7)
- TEST (6, 7, 3, 7)
- TEST (7, 7, 3, 7)
-}
-
-void check30(void)
-{
- TEST (0, 0, 4, 7)
- TEST (1, 0, 4, 7)
- TEST (2, 0, 4, 7)
- TEST (3, 0, 4, 7)
- TEST (4, 0, 4, 7)
- TEST (5, 0, 4, 7)
- TEST (6, 0, 4, 7)
- TEST (7, 0, 4, 7)
- TEST (0, 1, 4, 7)
- TEST (1, 1, 4, 7)
- TEST (2, 1, 4, 7)
- TEST (3, 1, 4, 7)
- TEST (4, 1, 4, 7)
- TEST (5, 1, 4, 7)
- TEST (6, 1, 4, 7)
- TEST (7, 1, 4, 7)
- TEST (0, 2, 4, 7)
- TEST (1, 2, 4, 7)
- TEST (2, 2, 4, 7)
- TEST (3, 2, 4, 7)
- TEST (4, 2, 4, 7)
- TEST (5, 2, 4, 7)
- TEST (6, 2, 4, 7)
- TEST (7, 2, 4, 7)
- TEST (0, 3, 4, 7)
- TEST (1, 3, 4, 7)
- TEST (2, 3, 4, 7)
- TEST (3, 3, 4, 7)
- TEST (4, 3, 4, 7)
- TEST (5, 3, 4, 7)
- TEST (6, 3, 4, 7)
- TEST (7, 3, 4, 7)
- TEST (0, 4, 4, 7)
- TEST (1, 4, 4, 7)
- TEST (2, 4, 4, 7)
- TEST (3, 4, 4, 7)
- TEST (4, 4, 4, 7)
- TEST (5, 4, 4, 7)
- TEST (6, 4, 4, 7)
- TEST (7, 4, 4, 7)
- TEST (0, 5, 4, 7)
- TEST (1, 5, 4, 7)
- TEST (2, 5, 4, 7)
- TEST (3, 5, 4, 7)
- TEST (4, 5, 4, 7)
- TEST (5, 5, 4, 7)
- TEST (6, 5, 4, 7)
- TEST (7, 5, 4, 7)
- TEST (0, 6, 4, 7)
- TEST (1, 6, 4, 7)
- TEST (2, 6, 4, 7)
- TEST (3, 6, 4, 7)
- TEST (4, 6, 4, 7)
- TEST (5, 6, 4, 7)
- TEST (6, 6, 4, 7)
- TEST (7, 6, 4, 7)
- TEST (0, 7, 4, 7)
- TEST (1, 7, 4, 7)
- TEST (2, 7, 4, 7)
- TEST (3, 7, 4, 7)
- TEST (4, 7, 4, 7)
- TEST (5, 7, 4, 7)
- TEST (6, 7, 4, 7)
- TEST (7, 7, 4, 7)
- TEST (0, 0, 5, 7)
- TEST (1, 0, 5, 7)
- TEST (2, 0, 5, 7)
- TEST (3, 0, 5, 7)
- TEST (4, 0, 5, 7)
- TEST (5, 0, 5, 7)
- TEST (6, 0, 5, 7)
- TEST (7, 0, 5, 7)
- TEST (0, 1, 5, 7)
- TEST (1, 1, 5, 7)
- TEST (2, 1, 5, 7)
- TEST (3, 1, 5, 7)
- TEST (4, 1, 5, 7)
- TEST (5, 1, 5, 7)
- TEST (6, 1, 5, 7)
- TEST (7, 1, 5, 7)
- TEST (0, 2, 5, 7)
- TEST (1, 2, 5, 7)
- TEST (2, 2, 5, 7)
- TEST (3, 2, 5, 7)
- TEST (4, 2, 5, 7)
- TEST (5, 2, 5, 7)
- TEST (6, 2, 5, 7)
- TEST (7, 2, 5, 7)
- TEST (0, 3, 5, 7)
- TEST (1, 3, 5, 7)
- TEST (2, 3, 5, 7)
- TEST (3, 3, 5, 7)
- TEST (4, 3, 5, 7)
- TEST (5, 3, 5, 7)
- TEST (6, 3, 5, 7)
- TEST (7, 3, 5, 7)
- TEST (0, 4, 5, 7)
- TEST (1, 4, 5, 7)
- TEST (2, 4, 5, 7)
- TEST (3, 4, 5, 7)
- TEST (4, 4, 5, 7)
- TEST (5, 4, 5, 7)
- TEST (6, 4, 5, 7)
- TEST (7, 4, 5, 7)
- TEST (0, 5, 5, 7)
- TEST (1, 5, 5, 7)
- TEST (2, 5, 5, 7)
- TEST (3, 5, 5, 7)
- TEST (4, 5, 5, 7)
- TEST (5, 5, 5, 7)
- TEST (6, 5, 5, 7)
- TEST (7, 5, 5, 7)
- TEST (0, 6, 5, 7)
- TEST (1, 6, 5, 7)
- TEST (2, 6, 5, 7)
- TEST (3, 6, 5, 7)
- TEST (4, 6, 5, 7)
- TEST (5, 6, 5, 7)
- TEST (6, 6, 5, 7)
- TEST (7, 6, 5, 7)
- TEST (0, 7, 5, 7)
- TEST (1, 7, 5, 7)
- TEST (2, 7, 5, 7)
- TEST (3, 7, 5, 7)
- TEST (4, 7, 5, 7)
- TEST (5, 7, 5, 7)
- TEST (6, 7, 5, 7)
- TEST (7, 7, 5, 7)
-}
-
-void check31(void)
-{
- TEST (0, 0, 6, 7)
- TEST (1, 0, 6, 7)
- TEST (2, 0, 6, 7)
- TEST (3, 0, 6, 7)
- TEST (4, 0, 6, 7)
- TEST (5, 0, 6, 7)
- TEST (6, 0, 6, 7)
- TEST (7, 0, 6, 7)
- TEST (0, 1, 6, 7)
- TEST (1, 1, 6, 7)
- TEST (2, 1, 6, 7)
- TEST (3, 1, 6, 7)
- TEST (4, 1, 6, 7)
- TEST (5, 1, 6, 7)
- TEST (6, 1, 6, 7)
- TEST (7, 1, 6, 7)
- TEST (0, 2, 6, 7)
- TEST (1, 2, 6, 7)
- TEST (2, 2, 6, 7)
- TEST (3, 2, 6, 7)
- TEST (4, 2, 6, 7)
- TEST (5, 2, 6, 7)
- TEST (6, 2, 6, 7)
- TEST (7, 2, 6, 7)
- TEST (0, 3, 6, 7)
- TEST (1, 3, 6, 7)
- TEST (2, 3, 6, 7)
- TEST (3, 3, 6, 7)
- TEST (4, 3, 6, 7)
- TEST (5, 3, 6, 7)
- TEST (6, 3, 6, 7)
- TEST (7, 3, 6, 7)
- TEST (0, 4, 6, 7)
- TEST (1, 4, 6, 7)
- TEST (2, 4, 6, 7)
- TEST (3, 4, 6, 7)
- TEST (4, 4, 6, 7)
- TEST (5, 4, 6, 7)
- TEST (6, 4, 6, 7)
- TEST (7, 4, 6, 7)
- TEST (0, 5, 6, 7)
- TEST (1, 5, 6, 7)
- TEST (2, 5, 6, 7)
- TEST (3, 5, 6, 7)
- TEST (4, 5, 6, 7)
- TEST (5, 5, 6, 7)
- TEST (6, 5, 6, 7)
- TEST (7, 5, 6, 7)
- TEST (0, 6, 6, 7)
- TEST (1, 6, 6, 7)
- TEST (2, 6, 6, 7)
- TEST (3, 6, 6, 7)
- TEST (4, 6, 6, 7)
- TEST (5, 6, 6, 7)
- TEST (6, 6, 6, 7)
- TEST (7, 6, 6, 7)
- TEST (0, 7, 6, 7)
- TEST (1, 7, 6, 7)
- TEST (2, 7, 6, 7)
- TEST (3, 7, 6, 7)
- TEST (4, 7, 6, 7)
- TEST (5, 7, 6, 7)
- TEST (6, 7, 6, 7)
- TEST (7, 7, 6, 7)
- TEST (0, 0, 7, 7)
- TEST (1, 0, 7, 7)
- TEST (2, 0, 7, 7)
- TEST (3, 0, 7, 7)
- TEST (4, 0, 7, 7)
- TEST (5, 0, 7, 7)
- TEST (6, 0, 7, 7)
- TEST (7, 0, 7, 7)
- TEST (0, 1, 7, 7)
- TEST (1, 1, 7, 7)
- TEST (2, 1, 7, 7)
- TEST (3, 1, 7, 7)
- TEST (4, 1, 7, 7)
- TEST (5, 1, 7, 7)
- TEST (6, 1, 7, 7)
- TEST (7, 1, 7, 7)
- TEST (0, 2, 7, 7)
- TEST (1, 2, 7, 7)
- TEST (2, 2, 7, 7)
- TEST (3, 2, 7, 7)
- TEST (4, 2, 7, 7)
- TEST (5, 2, 7, 7)
- TEST (6, 2, 7, 7)
- TEST (7, 2, 7, 7)
- TEST (0, 3, 7, 7)
- TEST (1, 3, 7, 7)
- TEST (2, 3, 7, 7)
- TEST (3, 3, 7, 7)
- TEST (4, 3, 7, 7)
- TEST (5, 3, 7, 7)
- TEST (6, 3, 7, 7)
- TEST (7, 3, 7, 7)
- TEST (0, 4, 7, 7)
- TEST (1, 4, 7, 7)
- TEST (2, 4, 7, 7)
- TEST (3, 4, 7, 7)
- TEST (4, 4, 7, 7)
- TEST (5, 4, 7, 7)
- TEST (6, 4, 7, 7)
- TEST (7, 4, 7, 7)
- TEST (0, 5, 7, 7)
- TEST (1, 5, 7, 7)
- TEST (2, 5, 7, 7)
- TEST (3, 5, 7, 7)
- TEST (4, 5, 7, 7)
- TEST (5, 5, 7, 7)
- TEST (6, 5, 7, 7)
- TEST (7, 5, 7, 7)
- TEST (0, 6, 7, 7)
- TEST (1, 6, 7, 7)
- TEST (2, 6, 7, 7)
- TEST (3, 6, 7, 7)
- TEST (4, 6, 7, 7)
- TEST (5, 6, 7, 7)
- TEST (6, 6, 7, 7)
- TEST (7, 6, 7, 7)
- TEST (0, 7, 7, 7)
- TEST (1, 7, 7, 7)
- TEST (2, 7, 7, 7)
- TEST (3, 7, 7, 7)
- TEST (4, 7, 7, 7)
- TEST (5, 7, 7, 7)
- TEST (6, 7, 7, 7)
- TEST (7, 7, 7, 7)
-}
-
-void check(void)
-{
- check0 ();
- check1 ();
- check2 ();
- check3 ();
- check4 ();
- check5 ();
- check6 ();
- check7 ();
- check8 ();
- check9 ();
- check10 ();
- check11 ();
- check12 ();
- check13 ();
- check14 ();
- check15 ();
- check16 ();
- check17 ();
- check18 ();
- check19 ();
- check20 ();
- check21 ();
- check22 ();
- check23 ();
- check24 ();
- check25 ();
- check26 ();
- check27 ();
- check28 ();
- check29 ();
- check30 ();
- check31 ();
-}
-