640001054 ⇔ 642416866
(Te Riele in 1984)