<?php //%5BC%5DApp%255CEntity%255CE3Tipocolaborador%2523getNombre

return [PHP_INT_MAX, 1715112516];
