<?php //iri_identifiers0c71b62e3b89332ef2ec91b986c2a8c9

return [PHP_INT_MAX, [
    'id',
]];
