#pragma GCC optimize("Ofast") #pragma GCC target("avx2") char*mmap(); #define rd(v) int v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;} char wbuf[1<<25]; #define wt_rev(v) {long _z=v;do*--wp=_z%10+48;while(_z/=10);} main(){ char*rp=mmap(0l,1l<<25,1,2,0,0ll); char*wp=wbuf+sizeof wbuf; rd(n); int m=0; for(int i=1;i<=n;++i){ for(int j=i+1;j<=n-i+1;++j){ *--wp=10; wt_rev(j); *--wp=32; wt_rev(i); ++m; } } *--wp=10; wt_rev(m); write(1,wp,wbuf+sizeof wbuf-wp); _exit(0); }