<?php //iri_identifiers04d7d8077ec779c0ea9cdd1c4d312a9e

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