Submissions for team drtnf on problem invcountsmall invcountsmall