<?php //cHVibGljOi8vZ2VuZXJhdG9ycy8xMC8yMDI2MDkwMjEzMzYyNS02YTk3N2Q5OTc1NWMxL2NsaW1hdGVfbm9ybWFsc19sb2cudHh0

return [PHP_INT_MAX, [
    1788312994,
    '33d7170731e5e37762f52503df013214d1d276e9',
]];