<?php //iri_identifiers2c1675efcdf6d2a2fc8401dfc9bd3a3c

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