Tritium permeation behavior through pyrolytic carbon in tritium production using high-temperature gas-cooled reactor for fusion reactors