// #pragma GCC // target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,avx2,avx512f") #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #ifdef DEBUG #include "./CompetitiveProgrammingCpp/Timer.hpp" #include "./CompetitiveProgrammingCpp/debug.hpp" #include "./CompetitiveProgrammingCpp/sample.hpp" #else #define dump(...) #endif /* macro */ #define FOR(i, b, e) for (ll i = (ll)(b); i < (ll)(e); ++i) #define RFOR(i, b, e) for (ll i = (ll)(e - 1); i >= (ll)(b); --i) #define REP(i, n) FOR(i, 0, n) #define RREP(i, n) RFOR(i, 0, n) #define REPC(x, c) for (const auto& x : (c)) #define REPI2(it, b, e) for (auto it = (b); it != (e); ++it) #define REPI(it, c) REPI2(it, (c).begin(), (c).end()) #define RREPI(it, c) REPI2(it, (c).rbegin(), (c).rend()) #define REPI_ERACE2(it, b, e) for (auto it = (b); it != (e);) #define REPI_ERACE(it, c) REPI_ERACE2(it, (c).begin(), (c).end()) #define ALL(x) (x).begin(), (x).end() #define cauto const auto& /* macro func */ template inline auto sort(T& t) { std::sort(ALL(t)); } template inline auto rsort(T& t) { std::sort((t).rbegin(), (t).rend()); } template inline auto unique(T& t) { (t).erase(unique((t).begin(), (t).end()), (t).end()); } template inline auto chmax(T& t, const S& s) { if (s > t) { t = s; return true; } return false; } template inline auto chmin(T& t, const S& s) { if (s < t) { t = s; return true; } return false; } inline auto BR() { std::cout << "\n"; } /* type define */ using ll = long long; using PAIR = std::pair; using VS = std::vector; using VL = std::vector; using VVL = std::vector; using VVVL = std::vector; using VD = std::vector; template using V = std::vector; /* using std */ using std::cout; constexpr char endl = '\n'; using std::bitset; using std::cin; using std::list; using std::map; using std::multimap; using std::multiset; using std::pair; using std::priority_queue; using std::queue; using std::set; using std::stack; using std::string; using std::unordered_map; using std::unordered_multimap; using std::unordered_multiset; using std::unordered_set; using std::vector; /* Initial processing */ struct Preprocessing { Preprocessing() { std::cin.tie(0); std::ios::sync_with_stdio(0); }; } _Preprocessing; /* Remove the source of the bug */ signed pow(signed, signed) { assert(false); return -1; } /* define hash */ namespace std { template <> class hash> { public: size_t operator()(const std::pair& x) const { return hash()(1000000000 * x.first + x.second); } }; } // namespace std /* input */ template std::istream& operator>>(std::istream& is, vector& vec) { for (T& x : vec) is >> x; return is; } /* constant value */ // constexpr ll MOD = 1000000007; constexpr ll MOD = 998244353; //============================================================================================= template auto binarySearch(const TYPE& mn, const TYPE& mx, const Lambda& judge, bool rev = false) { auto ok = mx; auto ng = mn; while (ok - ng > 1) { auto mid = (ok + ng) / 2; dump(mid); auto isOk = judge(mid); if ((isOk && !rev) || (!isOk && rev)) { ok = mid; } else { ng = mid; } } return ok; } signed main() { ll n; cin >> n; auto k = binarySearch( 0, 2e9, [&](ll mid) { return (mid * (mid + 1) / 2) < n; }, true); if (k * (k + 1) / 2 == n) { cout << "YES" << endl << k << endl; } else { cout << "NO" << endl; } }