<?php //%5BC%5DPdoJeux

return [PHP_INT_MAX, 1680507372];
