<?php //%5BC%5DApp%255CEntity%255CSemestre%2524date_fin

return [PHP_INT_MAX, 1752008601];