<?php //iri_identifiers06ebbcb7bd0293bd18e175779dc61980

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