Some say Lopes was a 56 400m runner. I think he did 56 last la of a ca 27.20 10k while Mamede finish in 54 last lap.
Mamade ran either 56 or 58 his last lap and Lopes was either 60 or 62.
Their final times were 27:13 and 27:17.
That was only one out of 2 times that Mamede finished ahead of Lopes, who won the other 9 times they met.