<?php //iri_identifiers5b78af260332b25f3fa3b9621d0cf424

return [PHP_INT_MAX, [
    'userID',
]];