<?php //Serializable%2523unserialize

return [PHP_INT_MAX, []];