#
# a coords file has two parts:
#
#    - a section that normalizes region names
#	0: normalized name
#	1: any variation
#
#    - a section that maps a region/locality to a lat/lon pair
#	0: normalized region name
#	1: locality name
#	2: latitude
#	3: longitude
#
# all fields must be are tab-separated
# all strings must are lower-case
#


#
# region normalization
#

#
# locality coordinates
#

	eindhoven	51.75	5.62
