"""Static full-dimensional cell representatives for the two certificates.

This file is data only.  The reference verifier independently checks that each
listed polytope is exactly a Delaunay cell and that their torus volumes sum to
one; it does not trust the code that originally produced this list.
"""

THETA_CELLS = (((0, 0, 0, 0, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 0, 0, -1),
  (1, 1, 0, 1, -2),
  (1, 1, 1, 0, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, -1),
  (0, 1, 0, 1, -1),
  (0, 1, 1, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 1, 0, 0, -1),
  (1, 1, 0, 1, -2),
  (1, 1, 1, 0, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, -1),
  (0, 1, 0, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 0, 0, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 0, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 0, 1, 0, 0),
  (0, 0, 1, 1, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -1),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, -1),
  (0, 0, 1, 0, -1),
  (0, 1, 0, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 0, 0, -1),
  (1, 0, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 1, 0, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 1, 0, -1),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, -1, 0, 0),
  (0, 1, 0, 0, -1),
  (1, 0, -1, 0, 0),
  (1, 0, 0, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 0, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 1, -1),
  (0, 1, 1, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 0, 0, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 0, 1, -2),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, -1),
  (0, 1, 0, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 0, 0, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, -1),
  (0, 0, 1, 1, -1),
  (0, 1, 1, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, -1),
  (0, 0, 1, 1, -1),
  (0, 1, 0, 1, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 1, -1),
  (0, 1, 0, 1, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 0, 1, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, -1),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, -1, 0),
  (0, 1, 0, 0, -1),
  (1, 0, 0, -1, 0),
  (1, 0, 0, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (1, -1, 0, 0, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 0, -1),
  (2, 0, 0, 0, -1)),
 ((0, 0, 0, 0, 0),
  (0, 1, -1, 0, 0),
  (0, 1, 0, 1, -1),
  (1, 0, -1, 0, 0),
  (1, 0, 0, 1, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 0, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, -1, 0),
  (0, 0, 1, 0, -1),
  (0, 1, 1, 0, -1),
  (1, 0, 1, 0, -1),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 1, 1, -2),
  (1, 0, 1, 1, -2),
  (1, 1, 0, 1, -2),
  (1, 1, 1, 0, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, -1),
  (1, -1, 0, 0, 0),
  (1, -1, 1, 0, -1),
  (1, 0, 0, 0, -1),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, -1),
  (0, 1, 1, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, -1),
  (0, 1, 0, 0, -1),
  (0, 1, 0, 1, -1),
  (0, 1, 1, 1, -2),
  (1, 1, 0, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 1, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 1, 0, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, -1),
  (0, 1, 0, 1, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 0, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 1, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 0, 1, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, -1, 0, 0),
  (0, 1, 0, 0, -1),
  (0, 1, 0, 1, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 0, 1, -2)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, -1, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 1, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, -1, 0),
  (0, 1, 0, 0, -1),
  (0, 1, 1, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (1, -1, 0, 0, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 0, 1, -1),
  (0, 1, 1, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, -1),
  (1, -1, 0, 0, 0),
  (1, -1, 0, 1, -1),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, -1),
  (1, 0, 0, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 0, 1, -2),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 1, 0, -1),
  (1, 0, 1, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 1, 0, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 1, -1),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, -1),
  (1, 0, 0, 0, -1),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (1, 0, -1, 0, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 1, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 0, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, -1),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 1, -2),
  (1, 1, 0, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (0, 0, 1, 1, -1),
  (0, 1, 1, 0, -1),
  (1, 0, 1, 0, -1),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 1, 0, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 1, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 1, -1),
  (1, -1, 0, 0, 0),
  (1, -1, 1, 1, -1),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 0, -1),
  (1, 0, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (1, 0, -1, 0, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, -1),
  (1, 1, 0, 0, -1),
  (2, 0, 0, 0, -1)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 0, 1, 1, -1),
  (0, 1, 0, 1, -1),
  (1, 0, 0, 1, -1),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 0, 1, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, -1, 0),
  (0, 1, 1, 0, -1),
  (1, 0, 0, -1, 0),
  (1, 0, 1, 0, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, -1),
  (0, 1, 0, 0, -1),
  (0, 1, 1, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 0, 1, 0, 0),
  (0, 1, 0, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, -1),
  (0, 0, 1, 0, -1),
  (0, 0, 1, 1, -1),
  (0, 1, 1, 1, -2),
  (1, 0, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 1, -1),
  (1, 0, 0, 1, -1),
  (1, 1, 0, 0, -1),
  (1, 1, 0, 1, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 1, -1),
  (0, 1, 0, 1, -1),
  (0, 1, 1, 0, -1),
  (0, 1, 1, 1, -2),
  (1, 1, 1, 1, -2)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, -1, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 1, 0, -1),
  (1, 1, 0, 0, -1),
  (2, 0, 0, 0, -1)),
 ((0, 0, 0, 0, 0),
  (1, -1, 0, 0, 0),
  (1, 0, -1, 0, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, -1),
  (2, 0, 0, 0, -1)),
 ((0, 0, 0, 0, 0),
  (1, -1, 0, 0, 0),
  (1, 0, -1, 0, 0),
  (1, 0, 0, -1, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 0, 0),
  (2, 0, 0, 0, -1)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, -1, 0),
  (0, 1, 0, -1, 0),
  (0, 1, 1, 0, -1),
  (1, 0, 0, -1, 0),
  (1, 0, 1, 0, -1),
  (1, 1, 1, 0, -2)),
 ((0, 0, 0, 0, 0),
  (1, 0, -1, 0, 0),
  (1, 0, 0, -1, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 0, 0),
  (1, 1, 0, 0, -1),
  (2, 0, 0, 0, -1)),
 ((0, 0, 0, 0, 0),
  (1, -1, 0, 0, 0),
  (1, 0, 0, -1, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 1, 0, -1),
  (2, 0, 0, 0, -1)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, 0, -1),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, -1),
  (1, 0, 1, 0, -1),
  (1, 1, 0, 0, -1),
  (2, 0, 0, 0, -1)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 0, 1, 0, 0),
  (0, 0, 1, 1, -1),
  (0, 1, 0, 0, 0),
  (0, 1, 0, 1, -1),
  (0, 1, 1, 0, -1),
  (0, 1, 1, 1, -1),
  (1, 1, 1, 1, -2)))

CLASSICAL_CELLS = (((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 1, 0, 1),
  (0, 1, 1, 1, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 2, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (0, 0, 1, 1, 1),
  (0, 1, 1, 1, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 2, 1, 2)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (2, 1, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 0, 1),
  (1, 0, 0, 1, 1),
  (1, 1, 0, 0, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 1, 2),
  (2, 1, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (1, 0, 0, 1, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 1, 2, 2)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 0, 1),
  (1, 0, 1, 0, 1),
  (1, 1, 0, 0, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 2),
  (2, 1, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (0, 0, 1, 0, 1),
  (0, 0, 1, 1, 1),
  (1, 0, 1, 0, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 2, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 0, 0, 1, 1),
  (0, 0, 1, 1, 1),
  (1, 0, 0, 1, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 1, 2, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 0, 1, 1, 1),
  (0, 1, 1, 1, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 1, 2, 2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 1, 0, 0, 0),
  (1, 1, 0, 0, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 1)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 0, 0, 1),
  (0, 1, 1, 0, 1),
  (1, 1, 0, 0, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 2),
  (1, 2, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 1, 0, 0, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (2, 1, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 0, 1, 0, 0),
  (1, 0, 1, 0, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 1)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 1, 0),
  (1, 0, 0, 1, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 1, 1)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (1, 1, 0, 0, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 2, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (1, 0, 1, 0, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 2, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 0, 0, 1),
  (0, 1, 0, 1, 1),
  (1, 1, 0, 0, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 2, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 0, 1, 1),
  (0, 1, 1, 1, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 2, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 0, 1, 0),
  (0, 1, 0, 1, 1),
  (0, 1, 1, 1, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 1, 1)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (0, 0, 1, 0, 1),
  (0, 0, 1, 1, 1),
  (0, 1, 1, 0, 1),
  (0, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 2, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 0, 0, 1, 1),
  (0, 1, 0, 1, 1),
  (1, 0, 0, 1, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 1, 2, 2)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 0, 1, 0, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (2, 1, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 1, 0, 1, 1),
  (0, 1, 1, 1, 1),
  (1, 1, 0, 1, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 1, 2, 2)),
 ((0, 0, 0, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 0, 0, 1),
  (0, 1, 0, 1, 1),
  (0, 1, 1, 0, 1),
  (0, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 2, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (0, 1, 0, 0, 0),
  (0, 1, 1, 0, 0),
  (0, 1, 1, 0, 1),
  (0, 1, 1, 1, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 1)),
 ((0, 0, 0, 0, 0),
  (1, 0, 0, 0, 0),
  (1, 0, 0, 0, 1),
  (1, 0, 0, 1, 1),
  (1, 0, 1, 0, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (2, 1, 1, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (0, 0, 1, 0, 1),
  (0, 1, 1, 0, 1),
  (1, 0, 1, 0, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 2, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 1, 0, 0),
  (0, 1, 1, 0, 1),
  (0, 1, 1, 1, 1),
  (1, 1, 1, 0, 1),
  (1, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 2, 1, 2)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 0, 1, 0, 0),
  (0, 0, 1, 1, 0),
  (0, 0, 1, 1, 1),
  (0, 1, 1, 1, 1),
  (1, 0, 1, 1, 1),
  (1, 1, 1, 1, 1)),
 ((0, 0, 0, 0, 0),
  (0, 0, 0, 1, 0),
  (0, 0, 0, 1, 1),
  (0, 0, 1, 1, 1),
  (0, 1, 0, 1, 1),
  (0, 1, 1, 1, 1),
  (1, 1, 1, 1, 2),
  (1, 1, 1, 2, 2)))