<?php //%5BC%5DApp%255CEntity%255CUsers%2524extrapoints

return [PHP_INT_MAX, 1793113137];