<?php //efdcc419ccbda9b2dd40e882662f0d79_d16d371ce15342ef977b37e4a70f3a9d

return [PHP_INT_MAX, 'N;'];
