<?php //%5BC%5DApp%255CEntity%255CProfesseur

return [PHP_INT_MAX, 1734515017];