single-line ranks t+1 and 3t+1: 72 checks over F_2 ok
single-line ranks t+1 and 3t+1: 72 checks over F_3 ok
single-line ranks t+1 and 3t+1: 72 checks over F_5 ok
single-line ranks t+1 and 3t+1: 72 checks over F_7 ok
single-line ranks t+1 and 3t+1: 72 checks over F_32003 ok
single-line ranks t+1 and 3t+1: 72 checks over Q ok
one line                                 F_2      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
one line                                 F_3      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
one line                                 F_5      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
one line                                 F_7      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
one line                                 F_32003  type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
one line                                 Q        type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
two meeting lines                        F_2      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
two meeting lines                        F_3      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
two meeting lines                        F_5      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
two meeting lines                        F_7      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
two meeting lines                        F_32003  type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
two meeting lines                        Q        type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
two skew lines                           F_2      type (2, 4) (expected (2, 4))  ACM False (expected False)  coplanar False pseudostar False  ok
two skew lines                           F_3      type (2, 4) (expected (2, 4))  ACM False (expected False)  coplanar False pseudostar False  ok
two skew lines                           F_5      type (2, 4) (expected (2, 4))  ACM False (expected False)  coplanar False pseudostar False  ok
two skew lines                           F_7      type (2, 4) (expected (2, 4))  ACM False (expected False)  coplanar False pseudostar False  ok
two skew lines                           F_32003  type (2, 4) (expected (2, 4))  ACM False (expected False)  coplanar False pseudostar False  ok
two skew lines                           Q        type (2, 4) (expected (2, 4))  ACM False (expected False)  coplanar False pseudostar False  ok
three concurrent non-coplanar lines      F_2      type (2, 3) (expected (2, 3))  ACM True (expected True)  coplanar False pseudostar True  ok
three concurrent non-coplanar lines      F_3      type (2, 3) (expected (2, 3))  ACM True (expected True)  coplanar False pseudostar True  ok
three concurrent non-coplanar lines      F_5      type (2, 3) (expected (2, 3))  ACM True (expected True)  coplanar False pseudostar True  ok
three concurrent non-coplanar lines      F_7      type (2, 3) (expected (2, 3))  ACM True (expected True)  coplanar False pseudostar True  ok
three concurrent non-coplanar lines      F_32003  type (2, 3) (expected (2, 3))  ACM True (expected True)  coplanar False pseudostar True  ok
three concurrent non-coplanar lines      Q        type (2, 3) (expected (2, 3))  ACM True (expected True)  coplanar False pseudostar True  ok
three concurrent coplanar lines          F_2      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
three concurrent coplanar lines          F_3      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
three concurrent coplanar lines          F_5      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
three concurrent coplanar lines          F_7      type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
three concurrent coplanar lines          F_32003  type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
three concurrent coplanar lines          Q        type (1, 2) (expected (1, 2))  ACM True (expected True)  coplanar True pseudostar False  ok
Janssen chain (x,z),(y,z),(x,w)          F_2      type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
Janssen chain (x,z),(y,z),(x,w)          F_3      type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
Janssen chain (x,z),(y,z),(x,w)          F_5      type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
Janssen chain (x,z),(y,z),(x,w)          F_7      type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
Janssen chain (x,z),(y,z),(x,w)          F_32003  type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
Janssen chain (x,z),(y,z),(x,w)          Q        type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
six edges of the tetrahedron             F_2      type (3, 4) (expected (3, 4))  ACM True (expected True)  coplanar False pseudostar True  ok
six edges of the tetrahedron             F_3      type (3, 4) (expected (3, 4))  ACM True (expected True)  coplanar False pseudostar True  ok
six edges of the tetrahedron             F_5      type (3, 4) (expected (3, 4))  ACM True (expected True)  coplanar False pseudostar True  ok
six edges of the tetrahedron             F_7      type (3, 4) (expected (3, 4))  ACM True (expected True)  coplanar False pseudostar True  ok
six edges of the tetrahedron             F_32003  type (3, 4) (expected (3, 4))  ACM True (expected True)  coplanar False pseudostar True  ok
six edges of the tetrahedron             Q        type (3, 4) (expected (3, 4))  ACM True (expected True)  coplanar False pseudostar True  ok
skew quadrilateral                       F_2      type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
skew quadrilateral                       F_3      type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
skew quadrilateral                       F_5      type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
skew quadrilateral                       F_7      type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
skew quadrilateral                       F_32003  type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
skew quadrilateral                       Q        type (2, 4) (expected (2, 4))  ACM True (expected True)  coplanar False pseudostar False  ok
quadric grids over F_7 done
quadric grids over F_32003 done
grid (0,1) on a quadric over Q: type (1,2) ACM True (classical criterion |a-b|<=1: True) ok
grid (0,2) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (0,3) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (0,4) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (1,0) on a quadric over Q: type (1,2) ACM True (classical criterion |a-b|<=1: True) ok
grid (1,1) on a quadric over Q: type (1,2) ACM True (classical criterion |a-b|<=1: True) ok
grid (1,2) on a quadric over Q: type (2,4) ACM True (classical criterion |a-b|<=1: True) ok
grid (1,3) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (1,4) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (2,0) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (2,1) on a quadric over Q: type (2,4) ACM True (classical criterion |a-b|<=1: True) ok
grid (2,2) on a quadric over Q: type (2,4) ACM True (classical criterion |a-b|<=1: True) ok
grid (2,3) on a quadric over Q: type (2,4) ACM True (classical criterion |a-b|<=1: True) ok
grid (2,4) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (3,0) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (3,1) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (3,2) on a quadric over Q: type (2,4) ACM True (classical criterion |a-b|<=1: True) ok
grid (3,3) on a quadric over Q: type (2,4) ACM True (classical criterion |a-b|<=1: True) ok
grid (3,4) on a quadric over Q: type (2,4) ACM True (classical criterion |a-b|<=1: True) ok
grid (4,0) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (4,1) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (4,2) on a quadric over Q: type (2,4) ACM False (classical criterion |a-b|<=1: False) ok
grid (4,3) on a quadric over Q: type (2,4) ACM True (classical criterion |a-b|<=1: True) ok
grid (4,4) on a quadric over Q: type (2,4) ACM True (classical criterion |a-b|<=1: True) ok
quadric grids over Q done
SELFTEST PASSED
