<?php //iri_identifiers17453265011c22d4605a52a6a11e2112

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