<?php //App%255CEntity%255CCampagne%2523getState

return [PHP_INT_MAX, []];