<?php //iri_identifiers3732e2ebc0edd2913e7423445a80d152

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