<?php //OAT%255CLibrary%255CLti1p3Core%255CRegistration%255CRegistrationInterface%2523getIdentifier

return [PHP_INT_MAX, []];