Uploaded 04 Feb 2023 by enzoaphyrene.
10 × 1.15 × 1.00 × 0.80 × 1.00 = 9.20, rounded to 9. Why these factors.