<?php //%5BC%5DOAT%255CLibrary%255CLti1p3Core%255CRegistration%255CRegistrationInterface%2523getToolJwksUrl

return [PHP_INT_MAX, 1653923443];