<?php //iri_identifiers7d3f5304e2ad204f09ae5a19894eac7e

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