<?php //iri_identifiers2899b27ef00b10e60d090639e31c56fa

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