simplices 17  V_P pairs 5  units 12
linear extensions with all V_P-pairs consecutive: 4898
of which pairing(L) == P (both computed from scratch): 0
