Data.Digit.D5

class D5 a