<?php //iri_identifiers6414d22e856dc8e909caebc6ebd06cf0

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