<?php //iri_identifiers459d7f1836e784eedafd9ae9e02e21bd

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