Submissions for team Nullstellensatz on problem Vending Machines