let inserterlinks1="10.32614/CRAN.package.FaultTree . FaultTree results .  FaultTree.pdf  .  FaultTree_1.0.1.tar.gz  . FaultTree_1.0.1.zip . FaultTree_1.0.1.zip . FaultTree_1.0.1.zip . FaultTree_1.0.1.tgz . FaultTree_1.0.1.tgz . FaultTree_1.0.1.tgz . FaultTree_1.0.1.tgz . FaultTree_1.0.1.tgz . FaultTree_1.0.1.tgz .  FaultTree archive  . https://CRAN.R-project.org/package=FaultTree . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;