// 6045
[proc,script6045]()(int)
def_int $int0 = calc((%varbit13863 + %varbit13864 + %varbit13865) / 3);
if ($int0 <= 33 & $int0 >= 32) {
	return(1);
}
return(0);