Namespace sequant::detail::@134174143127005365341235227016251016164234024107