let inserterlinks1="10.32614/CRAN.package.synthesis . https://github.com/zejiang-unsw/synthesis/issues . https://github.com/zejiang-unsw/synthesis#readme . synthesis results .  synthesis.pdf  . synthesis .  synthesis_1.2.5.tar.gz  . synthesis_1.2.5.zip . synthesis_1.2.5.zip . synthesis_1.2.5.zip . synthesis_1.2.5.tgz . synthesis_1.2.5.tgz . synthesis_1.2.5.tgz . synthesis_1.2.5.tgz . synthesis_1.2.5.tgz . synthesis_1.2.5.tgz .  synthesis archive  . https://CRAN.R-project.org/package=synthesis . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;