<?php //iri_identifiers5c836ae23fb816f243b9e1753c8efe30

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