1.8.4.B3 15200 - x * 15200, calculated from sequence 684867