<?php //iri_identifiers4c4c13674f3c90076084a5c38ea26fcd

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