<?php //iri_identifiers230cd1746998ca2bc58f72accb8eb9ae

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