mod_sign_rules(1, 2, -1, -2, 1, -2, -1, 1427247692705959881058285969449495136382746624, -2).