%s _buchberger | %s _tropicalbruteforce |grep F_VECTOR -A1
