The category "<coordinate_nums>" can be expressed as follows:

<coordinate_nums>

<digit> <digit> <digit> <digit>

<digit> <digit> <digit> <digit> <digit> <digit>

<digit> <digit> <digit> <digit> <digit> <digit> <digit> <digit>