<?php //App%255CEntity%255CAnimal%2523setMarquage

return [PHP_INT_MAX, []];
