Specification for Double-pulse laser: thermal; up to 400 mJ energy each pulse; 1024 nm wavelength; 5-7 ns duration