273 lines
5.1 KiB
SQL
273 lines
5.1 KiB
SQL
/* This file auto-generated with ./vperm.pl 4 1. */
|
|
|
|
void check0(void)
|
|
{
|
|
TEST (0, 0, 0, 0)
|
|
TEST (1, 0, 0, 0)
|
|
TEST (2, 0, 0, 0)
|
|
TEST (3, 0, 0, 0)
|
|
TEST (0, 1, 0, 0)
|
|
TEST (1, 1, 0, 0)
|
|
TEST (2, 1, 0, 0)
|
|
TEST (3, 1, 0, 0)
|
|
TEST (0, 2, 0, 0)
|
|
TEST (1, 2, 0, 0)
|
|
TEST (2, 2, 0, 0)
|
|
TEST (3, 2, 0, 0)
|
|
TEST (0, 3, 0, 0)
|
|
TEST (1, 3, 0, 0)
|
|
TEST (2, 3, 0, 0)
|
|
TEST (3, 3, 0, 0)
|
|
TEST (0, 0, 1, 0)
|
|
TEST (1, 0, 1, 0)
|
|
TEST (2, 0, 1, 0)
|
|
TEST (3, 0, 1, 0)
|
|
TEST (0, 1, 1, 0)
|
|
TEST (1, 1, 1, 0)
|
|
TEST (2, 1, 1, 0)
|
|
TEST (3, 1, 1, 0)
|
|
TEST (0, 2, 1, 0)
|
|
TEST (1, 2, 1, 0)
|
|
TEST (2, 2, 1, 0)
|
|
TEST (3, 2, 1, 0)
|
|
TEST (0, 3, 1, 0)
|
|
TEST (1, 3, 1, 0)
|
|
TEST (2, 3, 1, 0)
|
|
TEST (3, 3, 1, 0)
|
|
TEST (0, 0, 2, 0)
|
|
TEST (1, 0, 2, 0)
|
|
TEST (2, 0, 2, 0)
|
|
TEST (3, 0, 2, 0)
|
|
TEST (0, 1, 2, 0)
|
|
TEST (1, 1, 2, 0)
|
|
TEST (2, 1, 2, 0)
|
|
TEST (3, 1, 2, 0)
|
|
TEST (0, 2, 2, 0)
|
|
TEST (1, 2, 2, 0)
|
|
TEST (2, 2, 2, 0)
|
|
TEST (3, 2, 2, 0)
|
|
TEST (0, 3, 2, 0)
|
|
TEST (1, 3, 2, 0)
|
|
TEST (2, 3, 2, 0)
|
|
TEST (3, 3, 2, 0)
|
|
TEST (0, 0, 3, 0)
|
|
TEST (1, 0, 3, 0)
|
|
TEST (2, 0, 3, 0)
|
|
TEST (3, 0, 3, 0)
|
|
TEST (0, 1, 3, 0)
|
|
TEST (1, 1, 3, 0)
|
|
TEST (2, 1, 3, 0)
|
|
TEST (3, 1, 3, 0)
|
|
TEST (0, 2, 3, 0)
|
|
TEST (1, 2, 3, 0)
|
|
TEST (2, 2, 3, 0)
|
|
TEST (3, 2, 3, 0)
|
|
TEST (0, 3, 3, 0)
|
|
TEST (1, 3, 3, 0)
|
|
TEST (2, 3, 3, 0)
|
|
TEST (3, 3, 3, 0)
|
|
TEST (0, 0, 0, 1)
|
|
TEST (1, 0, 0, 1)
|
|
TEST (2, 0, 0, 1)
|
|
TEST (3, 0, 0, 1)
|
|
TEST (0, 1, 0, 1)
|
|
TEST (1, 1, 0, 1)
|
|
TEST (2, 1, 0, 1)
|
|
TEST (3, 1, 0, 1)
|
|
TEST (0, 2, 0, 1)
|
|
TEST (1, 2, 0, 1)
|
|
TEST (2, 2, 0, 1)
|
|
TEST (3, 2, 0, 1)
|
|
TEST (0, 3, 0, 1)
|
|
TEST (1, 3, 0, 1)
|
|
TEST (2, 3, 0, 1)
|
|
TEST (3, 3, 0, 1)
|
|
TEST (0, 0, 1, 1)
|
|
TEST (1, 0, 1, 1)
|
|
TEST (2, 0, 1, 1)
|
|
TEST (3, 0, 1, 1)
|
|
TEST (0, 1, 1, 1)
|
|
TEST (1, 1, 1, 1)
|
|
TEST (2, 1, 1, 1)
|
|
TEST (3, 1, 1, 1)
|
|
TEST (0, 2, 1, 1)
|
|
TEST (1, 2, 1, 1)
|
|
TEST (2, 2, 1, 1)
|
|
TEST (3, 2, 1, 1)
|
|
TEST (0, 3, 1, 1)
|
|
TEST (1, 3, 1, 1)
|
|
TEST (2, 3, 1, 1)
|
|
TEST (3, 3, 1, 1)
|
|
TEST (0, 0, 2, 1)
|
|
TEST (1, 0, 2, 1)
|
|
TEST (2, 0, 2, 1)
|
|
TEST (3, 0, 2, 1)
|
|
TEST (0, 1, 2, 1)
|
|
TEST (1, 1, 2, 1)
|
|
TEST (2, 1, 2, 1)
|
|
TEST (3, 1, 2, 1)
|
|
TEST (0, 2, 2, 1)
|
|
TEST (1, 2, 2, 1)
|
|
TEST (2, 2, 2, 1)
|
|
TEST (3, 2, 2, 1)
|
|
TEST (0, 3, 2, 1)
|
|
TEST (1, 3, 2, 1)
|
|
TEST (2, 3, 2, 1)
|
|
TEST (3, 3, 2, 1)
|
|
TEST (0, 0, 3, 1)
|
|
TEST (1, 0, 3, 1)
|
|
TEST (2, 0, 3, 1)
|
|
TEST (3, 0, 3, 1)
|
|
TEST (0, 1, 3, 1)
|
|
TEST (1, 1, 3, 1)
|
|
TEST (2, 1, 3, 1)
|
|
TEST (3, 1, 3, 1)
|
|
TEST (0, 2, 3, 1)
|
|
TEST (1, 2, 3, 1)
|
|
TEST (2, 2, 3, 1)
|
|
TEST (3, 2, 3, 1)
|
|
TEST (0, 3, 3, 1)
|
|
TEST (1, 3, 3, 1)
|
|
TEST (2, 3, 3, 1)
|
|
TEST (3, 3, 3, 1)
|
|
}
|
|
|
|
void check1(void)
|
|
{
|
|
TEST (0, 0, 0, 2)
|
|
TEST (1, 0, 0, 2)
|
|
TEST (2, 0, 0, 2)
|
|
TEST (3, 0, 0, 2)
|
|
TEST (0, 1, 0, 2)
|
|
TEST (1, 1, 0, 2)
|
|
TEST (2, 1, 0, 2)
|
|
TEST (3, 1, 0, 2)
|
|
TEST (0, 2, 0, 2)
|
|
TEST (1, 2, 0, 2)
|
|
TEST (2, 2, 0, 2)
|
|
TEST (3, 2, 0, 2)
|
|
TEST (0, 3, 0, 2)
|
|
TEST (1, 3, 0, 2)
|
|
TEST (2, 3, 0, 2)
|
|
TEST (3, 3, 0, 2)
|
|
TEST (0, 0, 1, 2)
|
|
TEST (1, 0, 1, 2)
|
|
TEST (2, 0, 1, 2)
|
|
TEST (3, 0, 1, 2)
|
|
TEST (0, 1, 1, 2)
|
|
TEST (1, 1, 1, 2)
|
|
TEST (2, 1, 1, 2)
|
|
TEST (3, 1, 1, 2)
|
|
TEST (0, 2, 1, 2)
|
|
TEST (1, 2, 1, 2)
|
|
TEST (2, 2, 1, 2)
|
|
TEST (3, 2, 1, 2)
|
|
TEST (0, 3, 1, 2)
|
|
TEST (1, 3, 1, 2)
|
|
TEST (2, 3, 1, 2)
|
|
TEST (3, 3, 1, 2)
|
|
TEST (0, 0, 2, 2)
|
|
TEST (1, 0, 2, 2)
|
|
TEST (2, 0, 2, 2)
|
|
TEST (3, 0, 2, 2)
|
|
TEST (0, 1, 2, 2)
|
|
TEST (1, 1, 2, 2)
|
|
TEST (2, 1, 2, 2)
|
|
TEST (3, 1, 2, 2)
|
|
TEST (0, 2, 2, 2)
|
|
TEST (1, 2, 2, 2)
|
|
TEST (2, 2, 2, 2)
|
|
TEST (3, 2, 2, 2)
|
|
TEST (0, 3, 2, 2)
|
|
TEST (1, 3, 2, 2)
|
|
TEST (2, 3, 2, 2)
|
|
TEST (3, 3, 2, 2)
|
|
TEST (0, 0, 3, 2)
|
|
TEST (1, 0, 3, 2)
|
|
TEST (2, 0, 3, 2)
|
|
TEST (3, 0, 3, 2)
|
|
TEST (0, 1, 3, 2)
|
|
TEST (1, 1, 3, 2)
|
|
TEST (2, 1, 3, 2)
|
|
TEST (3, 1, 3, 2)
|
|
TEST (0, 2, 3, 2)
|
|
TEST (1, 2, 3, 2)
|
|
TEST (2, 2, 3, 2)
|
|
TEST (3, 2, 3, 2)
|
|
TEST (0, 3, 3, 2)
|
|
TEST (1, 3, 3, 2)
|
|
TEST (2, 3, 3, 2)
|
|
TEST (3, 3, 3, 2)
|
|
TEST (0, 0, 0, 3)
|
|
TEST (1, 0, 0, 3)
|
|
TEST (2, 0, 0, 3)
|
|
TEST (3, 0, 0, 3)
|
|
TEST (0, 1, 0, 3)
|
|
TEST (1, 1, 0, 3)
|
|
TEST (2, 1, 0, 3)
|
|
TEST (3, 1, 0, 3)
|
|
TEST (0, 2, 0, 3)
|
|
TEST (1, 2, 0, 3)
|
|
TEST (2, 2, 0, 3)
|
|
TEST (3, 2, 0, 3)
|
|
TEST (0, 3, 0, 3)
|
|
TEST (1, 3, 0, 3)
|
|
TEST (2, 3, 0, 3)
|
|
TEST (3, 3, 0, 3)
|
|
TEST (0, 0, 1, 3)
|
|
TEST (1, 0, 1, 3)
|
|
TEST (2, 0, 1, 3)
|
|
TEST (3, 0, 1, 3)
|
|
TEST (0, 1, 1, 3)
|
|
TEST (1, 1, 1, 3)
|
|
TEST (2, 1, 1, 3)
|
|
TEST (3, 1, 1, 3)
|
|
TEST (0, 2, 1, 3)
|
|
TEST (1, 2, 1, 3)
|
|
TEST (2, 2, 1, 3)
|
|
TEST (3, 2, 1, 3)
|
|
TEST (0, 3, 1, 3)
|
|
TEST (1, 3, 1, 3)
|
|
TEST (2, 3, 1, 3)
|
|
TEST (3, 3, 1, 3)
|
|
TEST (0, 0, 2, 3)
|
|
TEST (1, 0, 2, 3)
|
|
TEST (2, 0, 2, 3)
|
|
TEST (3, 0, 2, 3)
|
|
TEST (0, 1, 2, 3)
|
|
TEST (1, 1, 2, 3)
|
|
TEST (2, 1, 2, 3)
|
|
TEST (3, 1, 2, 3)
|
|
TEST (0, 2, 2, 3)
|
|
TEST (1, 2, 2, 3)
|
|
TEST (2, 2, 2, 3)
|
|
TEST (3, 2, 2, 3)
|
|
TEST (0, 3, 2, 3)
|
|
TEST (1, 3, 2, 3)
|
|
TEST (2, 3, 2, 3)
|
|
TEST (3, 3, 2, 3)
|
|
TEST (0, 0, 3, 3)
|
|
TEST (1, 0, 3, 3)
|
|
TEST (2, 0, 3, 3)
|
|
TEST (3, 0, 3, 3)
|
|
TEST (0, 1, 3, 3)
|
|
TEST (1, 1, 3, 3)
|
|
TEST (2, 1, 3, 3)
|
|
TEST (3, 1, 3, 3)
|
|
TEST (0, 2, 3, 3)
|
|
TEST (1, 2, 3, 3)
|
|
TEST (2, 2, 3, 3)
|
|
TEST (3, 2, 3, 3)
|
|
TEST (0, 3, 3, 3)
|
|
TEST (1, 3, 3, 3)
|
|
TEST (2, 3, 3, 3)
|
|
TEST (3, 3, 3, 3)
|
|
}
|
|
|
|
void check(void)
|
|
{
|
|
check0 ();
|
|
check1 ();
|
|
}
|
|
|