theorem :: NEWTON07:95

Rascal 5 = <*1,5,7,7,5,1*>