<?php //DIMENSIONS_77198331fe259b000ca1f12be9842bd3ca5c01cc_d01c38119b7c52b015a4d42f87d6fff7

return [PHP_INT_MAX, [
    88,
    80,
]];