Mapa de Tota, Boyacá en Colombia