<?php //iri_identifiers18f30f18393a694337bf09ebcafe7dd3

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