simplices 17  V_P pairs 6
admissible total orders (C3b): 3825
of which pairing(L) == P (computed from scratch): 0
