#include int main() { __int64 n,x; scanf("%I64d",&x); for(int i=0;i