<?php //ProgrammaBill%255CInvoiceFormatter%2523getHTML

return [PHP_INT_MAX, []];
