Submissions for team Debug Dominators on problem KIT Finding