Uploaded 03 Jun 2019 by boanergues.
10 × 1.30 × 1.00 × 0.90 × 1.00 = 11.70, rounded to 12. Why these factors.
