<?php //iri_identifiers5fba47dbe8880f3b051cd7beb0421d28

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