 19.4132) * 512,
	0.466944 / (0.466944 + 0.466944) * 512,

	0.466944 / (0.466944 + 0.468096) * 512,
	434.997 / (434.997 + 1488.74) * 512
	];
var slider_user_xs = [256, 256, 256, 256,  256, 256, 256, 256,  256, 256];
var slider_xs = [256, 256, 256, 256,  256, 256, 256, 256,  256, 256];
const sliders = 10;

console.assert(slider_set.length == sliders);
console.assert(slider_true_xs.length == sliders);
console.assert(slider_user_xs.length == sliders);
console.assert(slider_xs.length == sliders);

var slider_do