tetrahedral johnson graph