<?php //iri_identifiers0fd172ed091136ed556997a2f4bf495c

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