func_code_string: #include <bits/stdc++.h>   int main() {     long long n, k;     std::cin >> n >> k;     long long c = std::max(n - 2 * k, 0LL);     std::cout << n * (n - 1) / 2 - c * (c - 1) / 2 <<   n ;     return 0;   }   