<?php //Doctrine%255CORM%255CProxy%255CProxy

return [PHP_INT_MAX, []];