rank 3 version (ii): n=1, inequalities=9, distinct forms up to sign=1, n-subsets=1, nonsingular=1, |det| distribution=[(1, 1)], classes=1, denominators=[(1, 1)], classes without integer solution in the search box=0; 0.0s
rank 3 version (ii+): n=1, inequalities=10, distinct forms up to sign=1, n-subsets=1, nonsingular=1, |det| distribution=[(1, 1)], classes=1, denominators=[(1, 1)], classes without integer solution in the search box=0; 0.0s
rank 4 version (ii): n=3, inequalities=18, distinct forms up to sign=9, n-subsets=84, nonsingular=68, |det| distribution=[(1, 52), (2, 15), (4, 1)], classes=4, denominators=[(1, 1), (2, 3)], classes without integer solution in the search box=0; 0.0s
rank 4 version (ii+): n=3, inequalities=21, distinct forms up to sign=9, n-subsets=84, nonsingular=68, |det| distribution=[(1, 52), (2, 15), (4, 1)], classes=4, denominators=[(1, 1), (2, 3)], classes without integer solution in the search box=0; 0.0s
rank 5 version (ii): n=6, inequalities=30, distinct forms up to sign=18, n-subsets=18564, nonsingular=10737, |det| distribution=[(1, 6190), (2, 3534), (3, 417), (4, 490), (5, 6), (6, 96), (7, 4)], classes=394, denominators=[(1, 1), (2, 39), (3, 96), (4, 126), (5, 24), (6, 84), (7, 24)], classes without integer solution in the search box=0; 1.4s
rank 5 version (ii+): n=6, inequalities=36, distinct forms up to sign=21, n-subsets=54264, nonsingular=25083, |det| distribution=[(1, 15586), (2, 7890), (3, 507), (4, 994), (5, 6), (6, 96), (7, 4)], classes=418, denominators=[(1, 1), (2, 39), (3, 108), (4, 138), (5, 24), (6, 84), (7, 24)], classes without integer solution in the search box=0; 3.4s
vertex_exit=0
