int *tsp_att48_order ( );
double *tsp_att48_xy ( );