<?php //cHVibGljOi8vZ2VuZXJhdG9ycy8xMC8yMDI2MDkwMjEzNTU1Mi02YTk3ODIyOGFiYTg5L2NsaW1hdGVfbm9ybWFsc19sb2cudHh0

return [PHP_INT_MAX, [
    1788314162,
    'b8086cc135cd41df889b8a6df748bf97d5eccc71',
]];