<?php //Novosga%255CEntity%255CLotacao%2523setUnidade

return [PHP_INT_MAX, []];