<?php //App%255CEntity%255CProduct%2523getIsAvailable

return [PHP_INT_MAX, []];