<?php //iri_identifiers71175a77f303d1fb2b21e832df3c8b9e

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