<?php //iri_identifiers927062d5993b45f785317f8e2b7825fb

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