8.12.8, 8.13.8, 9.13.9, 9.13.10, 9.14.10, 9.14.12, 10.15.12, 11.15.12, 12.15.12, 13.16.12, 14.16.13, 14.16.14, 14.17.14, 15.17.15, 15.17.16, 15.18.17, 15.18.18, 16.18.18, 16.19.18, 16.20.18, 17.20.18, 17.21.18, 17.21.19, 17.22.19, 18.22.19, 18.23.20, 18.24.21, 19.25.22, 19.26.30, 19.26.32, 19.27.32, 19.27.33, 19.27.34, 19.27.35, 19.28.35, 19.28.36, 19.29.36, 19.30.36, 20.30.36, 20.31.36, 20.32.37, 20.33.38, 21.34.38, 22.35.38, 22.35.40, 22.38.40, 22.39.40, 22.40.40, 23.40.40, 23.40.41, 23.40.42, 23.40.43, 23.41.44, 23.42.44, 23.42.45, 23.42.46, 23.43.46, 23.44.46, 23.45.46, 23.45.47, 23.46.47, 24.46.47, 24.47.47, 24.48.47, 24.49.47, 24.49.48, 25.49.48, 25.50.48, 25.51.48, 25.51.49, 25.51.50, 25.52.50, 25.52.51, 25.52.52, 25.52.53, 26.52.53, 26.53.53, 26.54.53, 26.55.53, 27.55.53, 27.55.54, 27.55.55, 27.56.55, 28.56.55, 28.56.56, 28.56.57, 29.56.57, 29.57.57, 29.58.57, 29.58.58, 29.58.59, 29.58.60, 29.58.61, 29.59.61, 29.60.61, 29.61.61, 29.61.62, 29.61.63, 29.61.64, 29.61.65, 29.61.66, 29.62.66, 29.62.67, 29.62.68, 29.62.69, 29.63.69, 30.63.69, 30.63.70, 30.64.70, 30.65.70, 30.66.70, 30.67.70, 30.68.70, 30.69.70, 31.69.70, 32.69.70, 32.70.70, 33.70.70, 34.70.70, 34.71.70, 35.71.70, 36.71.70, 37.71.70, 37.71.71