<?php //DBDecimalFormattingOptions_d16d371ce15342ef977b37e4a70f3a9d

return [PHP_INT_MAX, '9702222cf711c662428bc29c9d0fb872'];