<?php //QueryFilterDBDecimalFormattingOptionsComparator_d16d371ce15342ef977b37e4a70f3a9d

return [PHP_INT_MAX, '91bc7f401e945af0ad385609a8d502c8'];