<?php //%255B%255BC%255DSerializable%255D%255B1%255D

return [PHP_INT_MAX, 1613940684];