<?php //Doctrine%255CCommon%255CCollections%255CReadableCollection%2523isEmpty

return [PHP_INT_MAX, []];