<?php //iri_identifiers6125e04d607a25935e7210d11f5d4475

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