Uploaded 18 Aug 2024 by pb-tab.
10 × 1.10 × 1.00 × 0.80 × 1.00 = 8.80, rounded to 9. Why these factors.