<?php //iri_identifiers65a3fe4812b2e68c7642820432d5385c

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