WarshallFloyd checked ok