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