func_code_string: #include <bits/stdc++.h>   using namespace std;   int M = 1000000007;   map<string, long long int> b1;   int main() {     ios ::sync_with_stdio(false);     cin.tie(0);     long long int n, k;     cin >> n >> k;     long long int c = max(n - 2 * k, 0ll);     long long int a = n * (n - 1) / 2 - c * (c - 1) / 2;     cout << a << endl;   }   