<?php //VersionedInputType_d16d371ce15342ef977b37e4a70f3a9d

return [PHP_INT_MAX, '52a4d29236255da2e8270bc4b3f47839'];