INT(1,10^5,n) SPACE INT(1,n,k) NEWLINE

REP(n-1)
  INT(1,n,a) SPACE
  INT(1,n,b) NEWLINE
  ASSERT(a != b)
END