INT(1, 10000, n) SPACE INT(1, 15, k) NEWLINE

SET(m = n * k)
REPI(i, n)
    SET(cnt[i] = 0)
END
REPI(i, m, SPACE)
    INT(1, n, x)
    SET(cnt[x - 1] = cnt[x - 1] + 1)
END
REPI(i, k)
    ASSERT(cnt[i] == k)
END

NEWLINE

REPI(i, n)
    SET(cnt[i] = 0)
END
REPI(i, m, SPACE)
    INT(1, n, x)
    SET(cnt[x - 1] = cnt[x - 1] + 1)
END 
REPI(i, k)
    ASSERT(cnt[i] == k)
END

NEWLINE

EOF