Submissions for team α^4 on problem 8 kumi_final_main