<?php //iri_identifiers3d0823536adf8464f1861a1385664182

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