Submissions for team Oecher on problem KIT Finding