(@-@) (@-@) (@-@) >< vector 2020