<?php //iri_identifiers5a8f55c0eac4c5f0c3b25a3c6741becc

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