<?php //cHVibGljOi8vVXBsb2Fkcy9jb3NwcGFjX2xvZ29fX0ZpdE1heFd6TTFNaXd5TmpSZC5wbmc%3D

return [PHP_INT_MAX, [
    1751949395,
    false,
]];