<?php //iri_identifiers88b1a44b10541f801eb852c1eb309e23

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