int *tsp_dantzig42_order ( );
double *tsp_dantzig42_xy ( );