theorem :: NEWTON07:96

Rascal 6 = <*1,6,9,10,9,6,1*>