<?php //iri_identifiers2d28114777e6058d9211210a576cb8cb

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