Uploaded 29 May 2022 by milien.
10 × 1.00 × 1.00 × 0.80 × 1.15 = 9.20, rounded to 9. Why these factors.