<?php //iri_identifiers2db663aa182ae263a33926d23ded45ad

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