<?php //Proxies%255C__CG__%255CEccube%255CEntity%255CMaster%255CPref%2523toJSON

return [PHP_INT_MAX, []];
