<?php //iri_identifiers85bdb02d7961f3ba049ef2ec59240e8f

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