#include using namespace std; template ostream &operator<<(ostream &s, const pair &v) { s << "(" << v.first << ", " << v.second << ")"; return s; } template requires (!is_convertible_v) istream &operator>>(istream &s, T &&v) { for (auto &&x : v) s >> x; return s; } template requires (!is_convertible_v) ostream &operator<<(ostream &s, T &&v) { for (auto &&x : v) s << x << ' '; return s; } #ifdef LOCAL template void dbg(T... x) { char e{}; ((cerr << e << x, e = ' '), ...); } #define debug(x...) dbg(#x, '=', x, '\n') #else #define debug(...) ((void)0) #endif #define all(v) (v).begin(), (v).end() #define rall(v) (v).rbegin(), (v).rend() #define ff first #define ss second template inline constexpr T inf = numeric_limits::max() / 2; bool chmin(auto &a, auto b) { return (b < a and (a = b, true)); } bool chmax(auto &a, auto b) { return (a < b and (a = b, true)); } using u32 = unsigned int; using i64 = long long; using u64 = unsigned long long; using i128 = __int128; using u128 = unsigned __int128; constexpr i64 mod = 998244353; void solve() { i64 t, n; cin >> t >> n; i64 p = *ranges::partition_point( views::iota(0LL, n), [&](i64 k) { return (i128)k * (k + 1) / 2 <= -t; } ); t += p * (p + 1) / 2; if (p < n) { i64 q = *ranges::partition_point( views::iota(p + 1, n), [&](i64 k) { return (i128)k * (k + 1) / 2 - (i128)p * (p + 1) / 2 < t; } ); t -= q * (q + 1) / 2 - (i128)p * (p + 1) / 2; p = q; } i128 x = t; if (p + 1 <= n) { i64 l = p + 1; i64 r = (n - p - 1) / 2 * 2 + p + 1; x += i128(l + r) * (r - l + 2) / 2 / 2; } if (p + 2 <= n) { i64 l = p + 2; i64 r = (n - p - 2) / 2 * 2 + p + 2; x -= i128(l + r) * (r - l + 2) / 2 / 2; } cout << (i64)x << '\n'; } int main() { cin.tie(0)->sync_with_stdio(0); cin.exceptions(cin.failbit); int t = 1; // cin >> t; while (t--) { solve(); } return 0; }