let inserterlinks1="10.32614/CRAN.package.monotone . monotone citation info . monotone results .  monotone.pdf  .  monotone_0.1.2.tar.gz  . monotone_0.1.2.zip . monotone_0.1.2.zip . monotone_0.1.2.zip . monotone_0.1.2.tgz . monotone_0.1.2.tgz . monotone_0.1.2.tgz . monotone_0.1.2.tgz . monotone_0.1.2.tgz . monotone_0.1.2.tgz .  monotone archive  . https://CRAN.R-project.org/package=monotone . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;