Submissions for team drtnf on problem invcountlarge invcountlarge