reg A stress

#include <iostream>
#include <cmath>
#include <vector>
#include <queue>
#include <algorithm>
#include <string>
#include <stack>
#include <set>
#include <map>
#define pii pair <int, int>
#define pb(x) push_back(x)
using namespace std;
using ll = long long;
using ld = long double;
using db = double;
void cv(vector <int> &v) {
    for (auto x : v) cout << x << ' ';
    cout << "\n";
}

void cvl(vector <ll> &v) {
    for (auto x : v) cout << x << ' ';
    cout << "\n";
}


void cvv(vector <vector <int> > &v) {
    for (auto x : v) cv(x);
    cout << "\n";
}

void cvb(vector <bool> v) {
    for (bool x : v) cout << x << ' ';
    cout << "\n";
}

void cvs(vector <string>  v) {
    for (auto a : v) {
        cout << a << "\n";
    }
}

void cvp(vector <pii> a) {
    for (auto p : a) {
        cout << p.first << ' ' << p.second << "\n";
    }
    cout << "\n";
}

#include <ctime>

bool sh = 0;

ll l, r, a, n;

ll check() {
    ll ans = 0;
    for (int i = 1; i <= n; ++i) {
        for (int j = i + 1; j <= n; ++j) {
            if (j > i && (j - i) % a == 0) {
                ans++;
            }
        }
    }
    return ans;
}

/*
WA
n a = 6 2
my his = 5 6
*/

bool random = 1;

ll f() {
    if (a >= n) {
        return 0;
    }
    ll myn = n - a;
    ll N = myn / a;
    ll S =  a * (N + 1) * N / 2;
    ll d = n % a * (N + 1);
    //cout << "N = " << N << "\n";
    ll ans = S + d;
    return ans;
}

int main() {
    /*ios::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);*/

    while (1) {
        n = rand() % 200 + 40;
        a = rand() % 30 + 13;
        ll his = check();
        ll my = f();
        if (my != his) {
            cout << "WA\n";
            cout << "n a = " << n << ' ' << a << "\n";
        } else {
            cout << "OK\n";
        }
    }
}