LEDA.GRAPH int int 10 |{0}| |{0}| |{0}| |{0}| |{0}| |{0}| |{0}| |{0}| |{0}| |{0}| 11 1 9 0 |{43}| 1 8 0 |{53}| 4 1 0 |{57}| 4 5 0 |{56}| 5 4 0 |{57}| 6 4 0 |{47}| 7 3 0 |{47}| 7 4 0 |{59}| 9 8 0 |{59}| 9 2 0 |{61}| 10 3 0 |{57}|