Submissions for team We beat South Pasadena on problem cross_main