<?php //cHVibGljOi8vZ2VuZXJhdG9ycy84LzIwMjYwODI1MTM1MDM0LTZhOGNmNGVhMmYxYzcvc2VsZWN0ZWRfc3RhdGlvbnNfbWV0YWRhdGEuY3N2

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