<?php //App%255CEntity%255CUsers%2524file

return [PHP_INT_MAX, []];