<?php //ApiPlatform%255COpenApi%255COpenApi%2524servers

return [PHP_INT_MAX, []];