ℕ →
  Lean.Expr →
    Lean.Level →
      Lean.Expr →
        Lean.Expr →
          Lean.Meta.Grind.Arith.Cutsat.SymbolicIntInterval →
            Lean.Expr →
              Lean.Expr →
                Option Lean.Expr →
                  Lean.Expr →
                    Lean.Expr →
                      Option Lean.Expr →
                        Option Lean.Expr →
                          Option (Option Lean.Expr) →
                            Option (Option Lean.Expr) →
                              Option (Option Lean.Expr) →
                                Option (Option Lean.Expr) →
                                  Option Lean.Meta.Grind.Arith.Cutsat.ToIntThms →
                                    Option Lean.Meta.Grind.Arith.Cutsat.ToIntThms →
                                      Option (Option Lean.Expr) →
                                        Option (Option Lean.Expr) →
                                          Option (Option Lean.Expr) →
                                            Option (Option Lean.Expr) →
                                              Option (Option Lean.Expr) →
                                                Option (Option Lean.Expr) →
                                                  Option (Option Lean.Expr) → Lean.Meta.Grind.Arith.Cutsat.ToIntInfo