Attributes
. 6.8493 a . Names
T1 value / for proof te.
(1)