<?php //iri_identifiers78bd911e1512c450867b2c87995afb39

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