<?php //DBDateFormattingOptions_d16d371ce15342ef977b37e4a70f3a9d

return [PHP_INT_MAX, 'd0aec960777a5c83d2f6672363d17862'];