<?php //generated_at

return [PHP_INT_MAX, 1777602957];