<?php //iri_identifiers43fc0322fdffaff635c97274bd250dfa

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