<?php //Doctrine%255CORM%255CEntityRepository%2523count

return [PHP_INT_MAX, []];
