<?php //App%255CEntity%255CUsuario%2523getProfesorid

return [PHP_INT_MAX, []];