INCLUDE 'herwig6301.inc'