<?php //cHVibGljOi8vZ2VuZXJhdG9ycy84LzIwMjYwODI1MTM0ODUzLTZhOGNmNDg1N2QxNTkvc2VsZWN0ZWRfc3RhdGlvbnNfbWV0YWRhdGEuY3N2

return [PHP_INT_MAX, [
    1787622535,
    '7c56b575fd20fab85b06a44b917df4e549f01044',
]];