<?php //iri_identifiers5ac7e0fc0c07ead5db36dfc0f9aa2842

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