<?php //iri_identifiers5972055d3ddeb92bfb7d8b99312426ed

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