RandomTupleIndices(N: INT, K: INT): LIST
/**/ RandomTupleIndices(32003, 10); [4987, 13034, 10044, 7148, 11122, 1144, 21264, 5379, 2934, 7015]