<?php //iri_identifiers8b125d1759bd6bdab8b489d641bd1b9e

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