Submissions for team Codex on problem laser_main