<?php //Mutation_d16d371ce15342ef977b37e4a70f3a9d

return [PHP_INT_MAX, '81bc147469d62e798841e4ea5165841f'];
