<?php //f0dc07c4b83547fa9b85911131a7cf55_d01c38119b7c52b015a4d42f87d6fff7

return [PHP_INT_MAX, 'N;'];
