// (⁠◕⁠ᴗ⁠◕⁠✿⁠) // #pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include #define rep(i, n) for (ll i = 0; i < (n); i++) #define srep(i, s, n) for (ll i = s; i < (n); i++) #define len(x) ((int)(x).size()) #define all(x) (x).begin(), (x).end() using namespace std; template using vc = vector; template using vv = vc>; template using vvv = vv>; using vi = vc;using vvi = vv; using vvvi = vv; using ll = long long;using vl = vc;using vvl = vv; using vvvl = vv; using ld = long double; using vld = vc; using vvld = vc; using vvvld = vc; using uint = unsigned int; using ull = unsigned long long; const ld pi = acos(-1.0); const int inf = 0x3f3f3f3f; const ll INF = 0x3f3f3f3f3f3f3f3f; // const ll mod = 1000000007; const ll mod = 998244353; inline bool inside(ll y, ll x, ll H, ll W) {return 0 <= (y) and (y) < (H) and 0 <= (x) and (x) < (W); } #define debug(var) do{std::cout << #var << " : \n";view(var);}while(0) template void view(T e){cout << e << endl;} template void view(const vc& v){for(const auto& e : v){ cout << e << " "; } cout << endl;} template void view(const vv& vv){ for(const auto& v : vv){ view(v); } } ll greedy(ll x, ll n){ srep(i, 1, n + 1){ if (x <= 0) x += i; else x -= i; } return x; } ll solve(ll x, ll n){ auto f = [&](ll p){ if (INF / p < (p + 1) / 2) return INF; return p * (p + 1) / 2; }; ll top = n + 1, bottom = 0; while (top - bottom > 1){ ll mid = (top + bottom) / 2; if (f(mid) < (x >= 0 ? x : -x + 1)) bottom = mid; else top = mid; } if (bottom == n){ if (x > 0) x -= bottom * (bottom + 1) / 2; else x += bottom * (bottom + 1) / 2; return x; } if (x > 0){ x -= bottom * (bottom + 1) / 2; }else{ bottom++; x += bottom * (bottom + 1) / 2; } if ((n - bottom) % 2){ x -= (bottom + 1); x -= (n - bottom) / 2; return x; }else{ x += (n - bottom) / 2; return x; } } int main(){ ll x, n; cin >> x >> n; cout << solve(x, n) << endl; // srep(n, 1, 100) for (int x = -100; x <= 100; x++){ // if (greedy(x, n) != solve(x, n)){ // cout << "(x, n) = (" << x << " " << n << ")" << endl; // cout << greedy(x, n) << " " << solve(x, n) << endl; // } // } }