Bool →
  Bool →
    Bool →
      Bool →
        ℕ →
          ℕ →
            ℕ →
              ℕ →
                Bool →
                  Bool →
                    Bool →
                      Bool →
                        Bool →
                          ℕ →
                            Bool →
                              Bool →
                                Bool →
                                  Bool →
                                    Bool →
                                      Bool →
                                        Bool →
                                          Bool →
                                            Bool →
                                              Bool →
                                                Bool →
                                                  Bool →
                                                    ℕ →
                                                      Bool →
                                                        Bool →
                                                          Bool →
                                                            ℕ →
                                                              ℕ →
                                                                Bool →
                                                                  Bool →
                                                                    Bool →
                                                                      ℕ →
                                                                        ℕ →
                                                                          Bool →
                                                                            Bool →
                                                                              Bool →
                                                                                Bool →
                                                                                  Option ℕ →
                                                                                    Lean.Grind.ConfigInteractive