<?php //App%255CReporting%255CAbstractUserList%2523isDecimal

return [PHP_INT_MAX, []];