<?php //ApiPlatform%255COpenApi%255COpenApi%2523withServers

return [PHP_INT_MAX, []];