<?php //iri_identifiers7e84b23854b80c8ddadd95c16086fc17

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