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

return [PHP_INT_MAX, []];