digraph family { 6[label="S6"] 8[label="S8"] 9[label="S9"] 15[label="S15"] 23[label="S23"] 6->15 9->8 9->15 23->15 }