8.4, 8.8, 8.9, 8.10, 8.30, 9.1, 9.8, 9.12