<?php //%255B%255BC%255DSplFileInfo%2523getATime%255D%255B1%255D

return [PHP_INT_MAX, 1706868936];