Comment The best formula (Score 1) 110
(TM) = a small n
X(TM) + Y(TM) = Z(TM)
This is a impossible theorum and was thought up in 1630 and was solved in 1995. It has no answer as an integer because n is less than or equal to 3.
The absence of labels [in ECL] is probably a good thing. -- T. Cheatham