let inserterlinks1="10.32614/CRAN.package.AntMAN . https://github.com/bbodin/AntMAN . AntMAN results .  AntMAN.pdf  .  AntMAN_1.1.0.tar.gz  . AntMAN_1.1.0.zip . AntMAN_1.1.0.zip . AntMAN_1.1.0.zip . AntMAN_1.1.0.tgz . AntMAN_1.1.0.tgz . AntMAN_1.1.0.tgz . AntMAN_1.1.0.tgz .  AntMAN archive  . https://CRAN.R-project.org/package=AntMAN . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;