<?php //App%255CEntity%255CProfilDocument%2523setCin

return [PHP_INT_MAX, []];