INT(1,25,t) NEWLINE
REP(t)
    REGEX("[0-9X-]{10,13}") NEWLINE
END