Name given to the PROOF Lite session for hadd