lec23-10wi-Graphs4-Floyd-ink.cp3