let inserterlinks1="10.32614/CRAN.package.proverbs . https://github.com/bradlindblad/proverbs/issues . https://github.com/bradlindblad/proverbs . https://bradlindblad.github.io/proverbs/ . proverbs results .  proverbs.pdf  .  proverbs_0.4.0.tar.gz  . proverbs_0.4.0.zip . proverbs_0.4.0.zip . proverbs_0.4.0.zip . proverbs_0.4.0.tgz . proverbs_0.4.0.tgz . proverbs_0.4.0.tgz . proverbs_0.4.0.tgz . proverbs_0.4.0.tgz . proverbs_0.4.0.tgz .  proverbs archive  . https://CRAN.R-project.org/package=proverbs . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;