/* 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 ();
}