<?php //App%255CEntity%255CInsurances%2523setContract

return [PHP_INT_MAX, []];