<?php //App%255CReporting%255CAbstractUserList%2524sumType

return [PHP_INT_MAX, []];