Submissions for team BigDog on problem cross_main