HeSuS
527
    HeSuS#NA1