let inserterlinks1="10.32614/CRAN.package.highs . https://gitlab.com/roigrp/solver/highs/-/issues . https://gitlab.com/roigrp/solver/highs . highs citation info . highs results .  highs.pdf  .  highs_1.9.0-1.tar.gz  . highs_1.9.0-1.zip . highs_1.9.0-1.zip . highs_1.9.0-1.zip . highs_1.9.0-1.tgz . highs_1.9.0-1.tgz . highs_1.9.0-1.tgz . highs_1.9.0-1.tgz . highs_1.9.0-1.tgz . highs_1.9.0-1.tgz .  highs archive  . ROI.plugin.highs . https://CRAN.R-project.org/package=highs . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;