<?php //App%255CFilter%255CEvaluationSearch%2523getSequence

return [PHP_INT_MAX, []];