<?php //%5BC%5DApp%255CEntity%255CDistrict%2523__toString

return [PHP_INT_MAX, 1715713689];