<?php //iri_identifiers5ba0715c19a4a3d54725404ab1bb1539

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