Dojo Python codes to solve Dojo Puzzles. ATMachine: Américo Dubas, Gabriel Gaspar, Marina Pirutti. Diamond: Américo Dubas, Gabriel Gaspar, Marina Pirutti. HappyNumber: Américo Dubas, Gabriel Gaspar, Leonardo Menezes.