<?php //DIMENSIONS_77198331fe259b000ca1f12be9842bd3ca5c01cc_d16d371ce15342ef977b37e4a70f3a9d

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