<?php //cHJvdGVjdGVkOi8vYjMwZGRiNzE0YS9TdGF0aW9uX05vUmFpbi5odG1s

return [PHP_INT_MAX, [
    1787001117,
    'b30ddb714a8a545516df91c201ca40f1e580aecd',
]];