h_{ extlongest} = rac2 \cdot 8413 = rac16813 - RTA
May 10, 2026
Content is being prepared. Please check back later.