<?php //iri_identifiers14df52fc5adbf4912a579bcc821c3371

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