5.4.99.19 ? x * 25836, calculated from sequence 702191