Submissions for team proof by AC on problem 1 doubleit_final_main