rank 1: no interior point; the polytope is a point or empty
rank 1: no interior point; the polytope is a point or empty
rank 2: no interior point; the polytope is a point or empty
rank 2: no interior point; the polytope is a point or empty
rank 3: n = 1, inequalities 9, distinct forms up to sign 1, bases 1, |det| histogram {1: 1}
    vertex classes 1, by denominator {1: 1}; classes without an integer solution: 0   (0 s)
rank 3 with h >= 0: n = 1, inequalities 10, distinct forms up to sign 1, bases 1, |det| histogram {1: 1}
    vertex classes 1, by denominator {1: 1}; classes without an integer solution: 0   (0 s)
rank 4: n = 3, inequalities 18, distinct forms up to sign 9, bases 84, |det| histogram {0: 16, 1: 52, 2: 15, 4: 1}
    vertex classes 4, by denominator {1: 1, 2: 3}; classes without an integer solution: 0   (0 s)
rank 4 with h >= 0: n = 3, inequalities 21, distinct forms up to sign 9, bases 84, |det| histogram {0: 16, 1: 52, 2: 15, 4: 1}
    vertex classes 4, by denominator {1: 1, 2: 3}; classes without an integer solution: 0   (0 s)
rank 5: n = 6, inequalities 30, distinct forms up to sign 18, bases 18564, |det| histogram {0: 7827, 1: 6190, 2: 3534, 3: 417, 4: 490, 5: 6, 6: 96, 7: 4}
    vertex classes 394, by denominator {1: 1, 2: 39, 3: 96, 4: 126, 5: 24, 6: 84, 7: 24}; classes without an integer solution: 0   (2 s)
rank 5 with h >= 0: n = 6, inequalities 36, distinct forms up to sign 21, bases 54264, |det| histogram {0: 29181, 1: 15586, 2: 7890, 3: 507, 4: 994, 5: 6, 6: 96, 7: 4}
    vertex classes 418, by denominator {1: 1, 2: 39, 3: 108, 4: 138, 5: 24, 6: 84, 7: 24}; classes without an integer solution: 0   (3 s)
ALL CLASSES SOLVED FOR r <= 5: True
