<?php //iri_identifiers311b872916001f960fc9f976cc1fab92

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