Submissions for team Bugs on problem Porco Rigido