Task: Text Categorization
Input (English): A hunchbacked son of this ruler became a monk after revolting against this man's wife Fastrada. Another of this man's sons defeated the Avars and took the title King of the Lombards. A third son of this ruler blinded his nephew Bernard, killed him, and then repented before Paschal I, helping to earn his nickname "the Pious." Three of this king's grandsons divided his empire in the Treaty of Verdun. This man expanded dynastic holdings begun by a grandfather who defeated abd-ar-Rahman at the Battle of Tours, named Charles Martel. For 10 points, name this son of Pepin the Short who was crowned "King of the Romans" in 800, the strongest Carolingian king of the Franks.
Output (English): History