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

return [PHP_INT_MAX, 1734515017];