<?php //cHVibGljOi8vZ2VuZXJhdG9ycy84LzIwMjYwODI3MTU0NjA1LTZhOGZiMmZkZGZkNTMvc2VsZWN0ZWRfc3RhdGlvbnNfbWV0YWRhdGEuY3N2

return [PHP_INT_MAX, [
    1787802375,
    'b7f38fca5e04bccbe9739d19d2fcf678fb40725c',
]];