#include using namespace std; int main(){ int N, K; cin >> N >> K; if(N < K){ cout << "INF" << endl; return 0; } int64_t ans = 0; int MX = 1<<17; for(int k=0; k<=K; k++) for(int x=0; x