Input (grade 12): Overall, thirty different drivers have won the Championship, with German Michael Schumacher holding the record for most titles, at seven.
Output (grade 12): Overall, twenty-eight different drivers have won the Championship, with German Michael Schumacher holding the record for most titles, at seven.