Submissions for team Jimmy's Babies on problem cross_main