<?php //cHJvdGVjdGVkOi8vYTJiMjE0NDVkYi9TdGF0aW9uX05vUmFpbi5odG1s

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