<?php //App%255CEntity%255CUserAdresse%2524codepostal

return [PHP_INT_MAX, []];