最短题解

#include <bits/stdc++.h>
int main(){std::printf("%d",INT32_MAX);}