output[0] = 
(!input[0] && input[1] && input[2] && !input[8] && TRUE) ||
(!input[0] && input[1] && input[3] && TRUE) ||
(!input[0] && input[1] && input[5] && input[6] && TRUE) ||
(input[1] && input[6] && input[7] && TRUE) ||
(input[1] && input[2] && input[6] && TRUE) ||
(!input[0] && input[2] && input[3] && TRUE) ||
(!input[0] && input[2] && input[5] && input[6] && TRUE) ||
(!input[0] && input[2] && input[5] && input[7] && TRUE) ||
(!input[0] && input[2] && input[6] && input[7] && TRUE) ||
(!input[0] && input[3] && input[5] && !input[8] && TRUE) ||
(!input[0] && input[3] && input[6] && TRUE) ||
(!input[0] && input[3] && input[7] && !input[8] && TRUE) ||
(input[1] && input[6] && input[8] && TRUE) ||
(input[2] && input[6] && input[8] && TRUE) ||
(input[5] && input[6] && input[8] && TRUE) ||
(!input[1] && !input[2] && !input[3] && input[7] && input[8] && TRUE) ||
FALSE;

output[1] = 
(input[0] && !input[1] && input[2] && !input[3] && TRUE) ||
(input[2] && input[3] && input[7] && TRUE) ||
(input[0] && !input[1] && input[3] && input[7] && TRUE) ||
(input[0] && !input[1] && !input[3] && input[5] && !input[7] && TRUE) ||
(input[0] && input[2] && input[6] && TRUE) ||
(input[0] && !input[1] && input[5] && input[6] && TRUE) ||
(input[2] && input[5] && !input[6] && TRUE) ||
(!input[1] && input[2] && !input[6] && input[7] && TRUE) ||
(input[0] && input[6] && input[8] && TRUE) ||
(input[2] && input[5] && input[8] && TRUE) ||
(input[0] && input[2] && input[8] && TRUE) ||
(input[2] && input[7] && input[8] && TRUE) ||
(!input[1] && !input[2] && input[3] && !input[7] && input[8] && TRUE) ||
FALSE;

output[2] = 
(input[0] && input[1] && !input[2] && !input[6] && !input[7] && TRUE) ||
(input[0] && input[1] && !input[2] && input[3] && TRUE) ||
(input[0] && input[3] && input[5] && TRUE) ||
(input[5] && input[6] && input[7] && TRUE) ||
(input[1] && input[3] && input[7] && TRUE) ||
(input[3] && input[6] && input[7] && TRUE) ||
(input[1] && input[5] && !input[6] && TRUE) ||
(input[0] && input[1] && input[5] && TRUE) ||
(!input[0] && !input[2] && input[5] && input[7] && TRUE) ||
(input[1] && input[5] && input[8] && TRUE) ||
(input[0] && !input[2] && !input[6] && input[8] && TRUE) ||
(input[0] && input[1] && input[8] && TRUE) ||
(input[1] && input[7] && input[8] && TRUE) ||
(input[0] && !input[2] && input[3] && input[8] && TRUE) ||
(!input[2] && input[3] && input[5] && input[8] && TRUE) ||
(!input[2] && input[3] && input[7] && input[8] && TRUE) ||
(!input[2] && input[5] && !input[6] && input[8] && TRUE) ||
FALSE;

output[3] = 
(input[0] && input[1] && input[5] && TRUE) ||
(input[0] && input[2] && input[5] && TRUE) ||
(input[0] && input[2] && !input[3] && input[6] && TRUE) ||
(input[0] && !input[3] && input[5] && input[6] && TRUE) ||
(input[0] && !input[3] && input[5] && input[7] && TRUE) ||
(input[0] && !input[1] && !input[3] && input[6] && TRUE) ||
(input[1] && input[2] && input[7] && TRUE) ||
(input[1] && input[5] && input[7] && TRUE) ||
(!input[0] && input[1] && !input[5] && input[6] && TRUE) ||
(!input[0] && input[1] && input[7] && !input[8] && TRUE) ||
(!input[0] && input[2] && !input[5] && input[6] && !input[7] && TRUE) ||
(!input[1] && !input[2] && !input[3] && input[6] && TRUE) ||
(input[5] && input[6] && input[7] && TRUE) ||
(input[1] && input[2] && !input[3] && input[8] && TRUE) ||
(input[0] && input[7] && input[8] && TRUE) ||
(input[2] && input[5] && input[7] && input[8] && TRUE) ||
FALSE;

output[4] = 
TRUE;

output[5] = 
(input[0] && input[1] && !input[5] && input[6] && TRUE) ||
(input[0] && input[2] && input[3] && TRUE) ||
(input[0] && input[2] && input[6] && input[7] && TRUE) ||
(input[0] && input[2] && !input[5] && input[7] && TRUE) ||
(input[0] && !input[5] && input[6] && input[7] && TRUE) ||
(input[0] && !input[1] && !input[3] && !input[5] && input[7] && TRUE) ||
(input[0] && input[1] && input[2] && TRUE) ||
(input[1] && input[2] && input[8] && TRUE) ||
(input[1] && !input[6] && !input[7] && input[8] && TRUE) ||
(input[2] && !input[3] && !input[6] && !input[7] && input[8] && TRUE) ||
(input[2] && input[3] && input[7] && input[8] && TRUE) ||
FALSE;

output[6] = 
(input[0] && input[1] && input[3] && TRUE) ||
(input[0] && input[1] && input[7] && TRUE) ||
(input[0] && input[2] && input[3] && input[7] && TRUE) ||
(input[0] && input[2] && input[5] && input[7] && TRUE) ||
(input[0] && !input[2] && input[3] && !input[5] && !input[7] && TRUE) ||
(input[0] && input[3] && input[5] && input[7] && TRUE) ||
(!input[6] && input[8] && TRUE) ||
FALSE;

output[7] = 
(input[0] && input[1] && input[5] && input[6] && TRUE) ||
(input[2] && input[3] && input[6] && TRUE) ||
(input[0] && input[2] && input[5] && input[6] && TRUE) ||
(input[1] && input[2] && input[3] && TRUE) ||
(input[3] && input[5] && input[6] && TRUE) ||
(input[6] && input[8] && TRUE) ||
(input[0] && input[2] && input[3] && input[8] && TRUE) ||
(input[2] && input[3] && input[5] && input[8] && TRUE) ||
FALSE;

output[8] = 
(input[0] && !input[8] && TRUE) ||
(input[1] && !input[8] && TRUE) ||
(input[2] && !input[8] && TRUE) ||
(input[3] && !input[8] && TRUE) ||
(input[5] && !input[8] && TRUE) ||
(input[6] && input[7] && TRUE) ||
(input[7] && !input[8] && TRUE) ||
FALSE;