PASS sorted invariants n=10000 height=14 bound=20
PASS randomized invariants n=10000 height=16 bound=20
