in[-1] <= 0 AND in > 0 p_54 WHEN (P17) 0 OTHERWISE p_54 WHEN (P42) 0 OTHERWISE p_8 WHEN (P88) 0 OTHERWISE p_8 WHEN (P114) 0 OTHERWISE P17 WHEN (P17 >= P42 AND P17 >= P88 AND P17 >= P114) P42 WHEN (P42 >= P17 AND P42 >= P88 AND P42 >= P114) P88 WHEN (P88 >= P17 AND P88 >= P42 AND P88 >= P114) P114 OTHERWISE p_55 WHEN (P18) 0 OTHERWISE p_55 WHEN (P43) 0 OTHERWISE P18 WHEN (P18 >= P43) P43 OTHERWISE p_9 WHEN (P89) 0 OTHERWISE p_9 WHEN (P115) 0 OTHERWISE P89 WHEN (P89 >= P115) P115 OTHERWISE humInterior <= humExterior humInterior > humExterior humInterior = humExterior humInterior <= humExterior humInterior > humExterior humInterior = humExterior humInterior > humExterior humInterior <= humExterior humInterior = humExterior humInterior > humExterior humInterior <= humExterior humInterior = humExterior