<?php //%5BC%5DApp%255CEntity%255CSeance%2524etat

return [PHP_INT_MAX, 1700816893];