<?php //iri_identifiers3cb4061a867d2ae6bd7430522620586d

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