Submissions for team GoblinTeam on problem multiplication_hard_main