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