<?php //iri_identifiers514ca2837c37f19bd73e219666ed6af0

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