You are given a collection of log records. Each record is a five-element list of strings: [time, id, user, type, value], where time and value are numeric strings (integers), and id, user, and type are string identifiers.

Implement a RecordFilter class that filters and paginates these records. Filters can be set independently and stack together (all active filters must match). Records returned by nextPage are sorted by time in ascending order (and by original insertion order for ties). ...