<?php //DBTimeFormattingOptions_d16d371ce15342ef977b37e4a70f3a9d

return [PHP_INT_MAX, '16b2e09063f4d64d827443bcb7cc7c56'];