<?php //iri_identifiers55dcecb4853bae2c92a46ffb331255bf

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