Submissions for team drtnf on problem aplusb aplusb