<?php //App%255CEntity%255CVehicule%2523getTecdocPl

return [PHP_INT_MAX, []];