<?php //iri_identifiers3a08137dee80401c003f3881d5645b23

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