<?php
function score(array $input) {
    $var0 = array();
    if ($input[3] <= 0.75) {
        $var0 = array(1.0, 0.0, 0.0);
    } else {
        if ($input[2] <= 4.75) {
            $var0 = array(0.0, 1.0, 0.0);
        } else {
            if ($input[2] <= 5.049999952316284) {
                if ($input[3] <= 1.75) {
                    $var0 = array(0.0, 0.8333333333333334, 0.16666666666666666);
                } else {
                    $var0 = array(0.0, 0.08333333333333333, 0.9166666666666666);
                }
            } else {
                $var0 = array(0.0, 0.0, 1.0);
            }
        }
    }
    $var1 = array();
    if ($input[3] <= 0.800000011920929) {
        $var1 = array(1.0, 0.0, 0.0);
    } else {
        if ($input[0] <= 6.25) {
            if ($input[2] <= 4.8500001430511475) {
                $var1 = array(0.0, 0.9487179487179487, 0.05128205128205128);
            } else {
                $var1 = array(0.0, 0.0, 1.0);
            }
        } else {
            if ($input[3] <= 1.550000011920929) {
                $var1 = array(0.0, 0.8333333333333334, 0.16666666666666666);
            } else {
                $var1 = array(0.0, 0.02564102564102564, 0.9743589743589743);
            }
        }
    }
    return mulVectorNumber(addVectors($var0, $var1), 0.5);
}
function addVectors(array $v1, array $v2) {
    $result = array();
    for ($i = 0; $i < count($v1); ++$i) {
        $result[] = $v1[$i] + $v2[$i];
    }
    return $result;
}
function mulVectorNumber(array $v1, $num) {
    $result = array();
    for ($i = 0; $i < count($v1); ++$i) {
        $result[] = $v1[$i] * $num;
    }
    return $result;
}
