<?php
$width = 640;
$height = 480;
$times = [16, 100, 23];
$k = 0;
foreach($times as $t){
$k += 1/$t;
}
$k = 1/$k;
$percent = 0;
$top = 0;
foreach($times as $t){
$percent += $k/$t;
$bottom = round($percent * $height) - 1; $h = $bottom - $top + 1;
echo "glScissor(0, $top, $width, $h);\n";
$top = $bottom + 1;
}
PD9waHAKCiR3aWR0aCA9IDY0MDsKJGhlaWdodCA9IDQ4MDsKJHRpbWVzID0gWzE2LCAxMDAsIDIzXTsKCiRrID0gMDsKZm9yZWFjaCgkdGltZXMgYXMgJHQpewoJJGsgKz0gMS8kdDsKfQokayA9IDEvJGs7CgokcGVyY2VudCA9IDA7CiR0b3AgPSAwOwpmb3JlYWNoKCR0aW1lcyBhcyAkdCl7CgkkcGVyY2VudCArPSAkay8kdDsKCSRib3R0b20gPSByb3VuZCgkcGVyY2VudCAqICRoZWlnaHQpIC0gMTsKCSRoID0gJGJvdHRvbSAtICR0b3AgKyAxOwoJZWNobyAiZ2xTY2lzc29yKDAsICR0b3AsICR3aWR0aCwgJGgpO1xuIjsKCSR0b3AgPSAkYm90dG9tICsgMTsKfQo=
glScissor(0, 0, 640, 259);
glScissor(0, 259, 640, 41);
glScissor(0, 300, 640, 180);