<?php //Novosga%255CEntity%255CUsuario%2523addLotacoe

return [PHP_INT_MAX, []];