<?php //iri_identifiers2a787d37a1ad489139c026770058ace3

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