7555858447479/ (20000 * (20000 + 1) / 2 * 5)