<?php //iri_identifiers65b76977c93ebbecaeb025476233b39c

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