added tsp verifier and example input-output files