4115775410501178032 == -9420512197722515507 * x mod 11675585406757968173