<?php return [PHP_INT_MAX, 1752072562];
