4.1.1.117 ? x * 45800, calculated from sequence -, 751593