INT(1,1000,m) SPACE INT(1,1000,n) SPACE INT(1,100,k) SPACE INT(1,50,s) NEWLINE
ASSERT(k <= m+n)
REPI(i,m,SPACE)
  FLOAT(0,1000,a[i])
END
NEWLINE
ASSERT(UNIQUE(a))
REPI(i,n,SPACE)
  FLOAT(0,1000,b[i])
END
NEWLINE
ASSERT(UNIQUE(b))