<?php //iri_identifiers18b527835e1e643a1daa4433cc5586bf

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