<?php //css_d01c38119b7c52b015a4d42f87d6fff7

return [PHP_INT_MAX, ''];