<?php //%5BC%5DApp%255CEntity%255CEnseignant%2524numPro

return [PHP_INT_MAX, 1652805838];