<?php //iri_identifiers5ec66209cb80239e1618602e63c320be

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