<?php //DateTime%2523__set_state

return [PHP_INT_MAX, []];