Submissions for team He Who Wears No Pants on problem cross_main