<?php //cHJvdGVjdGVkOi8vMTBjYTMxMTJkMC9TdGF0aW9uX05vUmFpbi5odG1s

return [PHP_INT_MAX, [
    1787107117,
    '10ca3112d09d23f5c85c6b40fd12a5f3c4459880',
]];