((), 'is FC and Reduced')
((1,), 'is FC and Reduced')
((2,), 'is FC and Reduced')
((3,), 'is FC and Reduced')
((1, 1), 'is not FC and Reduced')
((1, 2), 'is FC and Reduced')
((1, 3), 'is FC and Reduced')
((2, 1), 'is FC and Reduced')
((2, 2), 'is not FC and Reduced')
((2, 3), 'is FC and Reduced')
((3, 1), 'is FC and Reduced')
((3, 2), 'is FC and Reduced')
((3, 3), 'is not FC and Reduced')
((1, 1, 1), 'is not FC and Reduced')
((1, 1, 2), 'is not FC and Reduced')
((1, 1, 3), 'is not FC and Reduced')
((1, 2, 1), 'is not FC and Reduced')
((1, 2, 2), 'is not FC and Reduced')
((1, 2, 3), 'is FC and Reduced')
((1, 3, 1), 'is not FC and Reduced')
((1, 3, 2), 'is FC and Reduced')
((1, 3, 3), 'is not FC and Reduced')
((2, 1, 1), 'is not FC and Reduced')
((2, 1, 2), 'is not FC and Reduced')
((2, 1, 3), 'is FC and Reduced')
((2, 2, 1), 'is not FC and Reduced')
((2, 2, 2), 'is not FC and Reduced')
((2, 2, 3), 'is not FC and Reduced')
((2, 3, 1), 'is FC and Reduced')
((2, 3, 2), 'is not FC and Reduced')
((2, 3, 3), 'is not FC and Reduced')
((3, 1, 1), 'is not FC and Reduced')
((3, 1, 2), 'is FC and Reduced')
((3, 1, 3), 'is not FC and Reduced')
((3, 2, 1), 'is FC and Reduced')
((3, 2, 2), 'is not FC and Reduced')
((3, 2, 3), 'is not FC and Reduced')
((3, 3, 1), 'is not FC and Reduced')
((3, 3, 2), 'is not FC and Reduced')
((3, 3, 3), 'is not FC and Reduced')
((1, 1, 1, 1), 'is not FC and Reduced')
((1, 1, 1, 2), 'is not FC and Reduced')
((1, 1, 1, 3), 'is not FC and Reduced')
((1, 1, 2, 1), 'is not FC and Reduced')
((1, 1, 2, 2), 'is not FC and Reduced')
((1, 1, 2, 3), 'is not FC and Reduced')
((1, 1, 3, 1), 'is not FC and Reduced')
((1, 1, 3, 2), 'is not FC and Reduced')
((1, 1, 3, 3), 'is not FC and Reduced')
((1, 2, 1, 1), 'is not FC and Reduced')
((1, 2, 1, 2), 'is not FC and Reduced')
((1, 2, 1, 3), 'is not FC and Reduced')
((1, 2, 2, 1), 'is not FC and Reduced')
((1, 2, 2, 2), 'is not FC and Reduced')
((1, 2, 2, 3), 'is not FC and Reduced')
((1, 2, 3, 1), 'is not FC and Reduced')
((1, 2, 3, 2), 'is not FC and Reduced')
((1, 2, 3, 3), 'is not FC and Reduced')
((1, 3, 1, 1), 'is not FC and Reduced')
((1, 3, 1, 2), 'is not FC and Reduced')
((1, 3, 1, 3), 'is not FC and Reduced')
((1, 3, 2, 1), 'is not FC and Reduced')
((1, 3, 2, 2), 'is not FC and Reduced')
((1, 3, 2, 3), 'is not FC and Reduced')
((1, 3, 3, 1), 'is not FC and Reduced')
((1, 3, 3, 2), 'is not FC and Reduced')
((1, 3, 3, 3), 'is not FC and Reduced')
((2, 1, 1, 1), 'is not FC and Reduced')
((2, 1, 1, 2), 'is not FC and Reduced')
((2, 1, 1, 3), 'is not FC and Reduced')
((2, 1, 2, 1), 'is not FC and Reduced')
((2, 1, 2, 2), 'is not FC and Reduced')
((2, 1, 2, 3), 'is not FC and Reduced')
((2, 1, 3, 1), 'is not FC and Reduced')
((2, 1, 3, 2), 'is FC and Reduced')
((2, 1, 3, 3), 'is not FC and Reduced')
((2, 2, 1, 1), 'is not FC and Reduced')
((2, 2, 1, 2), 'is not FC and Reduced')
((2, 2, 1, 3), 'is not FC and Reduced')
((2, 2, 2, 1), 'is not FC and Reduced')
((2, 2, 2, 2), 'is not FC and Reduced')
((2, 2, 2, 3), 'is not FC and Reduced')
((2, 2, 3, 1), 'is not FC and Reduced')
((2, 2, 3, 2), 'is not FC and Reduced')
((2, 2, 3, 3), 'is not FC and Reduced')
((2, 3, 1, 1), 'is not FC and Reduced')
((2, 3, 1, 2), 'is FC and Reduced')
((2, 3, 1, 3), 'is not FC and Reduced')
((2, 3, 2, 1), 'is not FC and Reduced')
((2, 3, 2, 2), 'is not FC and Reduced')
((2, 3, 2, 3), 'is not FC and Reduced')
((2, 3, 3, 1), 'is not FC and Reduced')
((2, 3, 3, 2), 'is not FC and Reduced')
((2, 3, 3, 3), 'is not FC and Reduced')
((3, 1, 1, 1), 'is not FC and Reduced')
((3, 1, 1, 2), 'is not FC and Reduced')
((3, 1, 1, 3), 'is not FC and Reduced')
((3, 1, 2, 1), 'is not FC and Reduced')
((3, 1, 2, 2), 'is not FC and Reduced')
((3, 1, 2, 3), 'is not FC and Reduced')
((3, 1, 3, 1), 'is not FC and Reduced')
((3, 1, 3, 2), 'is not FC and Reduced')
((3, 1, 3, 3), 'is not FC and Reduced')
((3, 2, 1, 1), 'is not FC and Reduced')
((3, 2, 1, 2), 'is not FC and Reduced')
((3, 2, 1, 3), 'is not FC and Reduced')
((3, 2, 2, 1), 'is not FC and Reduced')
((3, 2, 2, 2), 'is not FC and Reduced')
((3, 2, 2, 3), 'is not FC and Reduced')
((3, 2, 3, 1), 'is not FC and Reduced')
((3, 2, 3, 2), 'is not FC and Reduced')
((3, 2, 3, 3), 'is not FC and Reduced')
((3, 3, 1, 1), 'is not FC and Reduced')
((3, 3, 1, 2), 'is not FC and Reduced')
((3, 3, 1, 3), 'is not FC and Reduced')
((3, 3, 2, 1), 'is not FC and Reduced')
((3, 3, 2, 2), 'is not FC and Reduced')
((3, 3, 2, 3), 'is not FC and Reduced')
((3, 3, 3, 1), 'is not FC and Reduced')
((3, 3, 3, 2), 'is not FC and Reduced')
((3, 3, 3, 3), 'is not FC and Reduced')
((1, 1, 1, 1, 1), 'is not FC and Reduced')
((1, 1, 1, 1, 2), 'is not FC and Reduced')
((1, 1, 1, 1, 3), 'is not FC and Reduced')
((1, 1, 1, 2, 1), 'is not FC and Reduced')
((1, 1, 1, 2, 2), 'is not FC and Reduced')
((1, 1, 1, 2, 3), 'is not FC and Reduced')
((1, 1, 1, 3, 1), 'is not FC and Reduced')
((1, 1, 1, 3, 2), 'is not FC and Reduced')
((1, 1, 1, 3, 3), 'is not FC and Reduced')
((1, 1, 2, 1, 1), 'is not FC and Reduced')
((1, 1, 2, 1, 2), 'is not FC and Reduced')
((1, 1, 2, 1, 3), 'is not FC and Reduced')
((1, 1, 2, 2, 1), 'is not FC and Reduced')
((1, 1, 2, 2, 2), 'is not FC and Reduced')
((1, 1, 2, 2, 3), 'is not FC and Reduced')
((1, 1, 2, 3, 1), 'is not FC and Reduced')
((1, 1, 2, 3, 2), 'is not FC and Reduced')
((1, 1, 2, 3, 3), 'is not FC and Reduced')
((1, 1, 3, 1, 1), 'is not FC and Reduced')
((1, 1, 3, 1, 2), 'is not FC and Reduced')
((1, 1, 3, 1, 3), 'is not FC and Reduced')
((1, 1, 3, 2, 1), 'is not FC and Reduced')
((1, 1, 3, 2, 2), 'is not FC and Reduced')
((1, 1, 3, 2, 3), 'is not FC and Reduced')
((1, 1, 3, 3, 1), 'is not FC and Reduced')
((1, 1, 3, 3, 2), 'is not FC and Reduced')
((1, 1, 3, 3, 3), 'is not FC and Reduced')
((1, 2, 1, 1, 1), 'is not FC and Reduced')
((1, 2, 1, 1, 2), 'is not FC and Reduced')
((1, 2, 1, 1, 3), 'is not FC and Reduced')
((1, 2, 1, 2, 1), 'is not FC and Reduced')
((1, 2, 1, 2, 2), 'is not FC and Reduced')
((1, 2, 1, 2, 3), 'is not FC and Reduced')
((1, 2, 1, 3, 1), 'is not FC and Reduced')
((1, 2, 1, 3, 2), 'is not FC and Reduced')
((1, 2, 1, 3, 3), 'is not FC and Reduced')
((1, 2, 2, 1, 1), 'is not FC and Reduced')
((1, 2, 2, 1, 2), 'is not FC and Reduced')
((1, 2, 2, 1, 3), 'is not FC and Reduced')
((1, 2, 2, 2, 1), 'is not FC and Reduced')
((1, 2, 2, 2, 2), 'is not FC and Reduced')
((1, 2, 2, 2, 3), 'is not FC and Reduced')
((1, 2, 2, 3, 1), 'is not FC and Reduced')
((1, 2, 2, 3, 2), 'is not FC and Reduced')
((1, 2, 2, 3, 3), 'is not FC and Reduced')
((1, 2, 3, 1, 1), 'is not FC and Reduced')
((1, 2, 3, 1, 2), 'is not FC and Reduced')
((1, 2, 3, 1, 3), 'is not FC and Reduced')
((1, 2, 3, 2, 1), 'is not FC and Reduced')
((1, 2, 3, 2, 2), 'is not FC and Reduced')
((1, 2, 3, 2, 3), 'is not FC and Reduced')
((1, 2, 3, 3, 1), 'is not FC and Reduced')
((1, 2, 3, 3, 2), 'is not FC and Reduced')
((1, 2, 3, 3, 3), 'is not FC and Reduced')
((1, 3, 1, 1, 1), 'is not FC and Reduced')
((1, 3, 1, 1, 2), 'is not FC and Reduced')
((1, 3, 1, 1, 3), 'is not FC and Reduced')
((1, 3, 1, 2, 1), 'is not FC and Reduced')
((1, 3, 1, 2, 2), 'is not FC and Reduced')
((1, 3, 1, 2, 3), 'is not FC and Reduced')
((1, 3, 1, 3, 1), 'is not FC and Reduced')
((1, 3, 1, 3, 2), 'is not FC and Reduced')
((1, 3, 1, 3, 3), 'is not FC and Reduced')
((1, 3, 2, 1, 1), 'is not FC and Reduced')
((1, 3, 2, 1, 2), 'is not FC and Reduced')
((1, 3, 2, 1, 3), 'is not FC and Reduced')
((1, 3, 2, 2, 1), 'is not FC and Reduced')
((1, 3, 2, 2, 2), 'is not FC and Reduced')
((1, 3, 2, 2, 3), 'is not FC and Reduced')
((1, 3, 2, 3, 1), 'is not FC and Reduced')
((1, 3, 2, 3, 2), 'is not FC and Reduced')
((1, 3, 2, 3, 3), 'is not FC and Reduced')
((1, 3, 3, 1, 1), 'is not FC and Reduced')
((1, 3, 3, 1, 2), 'is not FC and Reduced')
((1, 3, 3, 1, 3), 'is not FC and Reduced')
((1, 3, 3, 2, 1), 'is not FC and Reduced')
((1, 3, 3, 2, 2), 'is not FC and Reduced')
((1, 3, 3, 2, 3), 'is not FC and Reduced')
((1, 3, 3, 3, 1), 'is not FC and Reduced')
((1, 3, 3, 3, 2), 'is not FC and Reduced')
((1, 3, 3, 3, 3), 'is not FC and Reduced')
((2, 1, 1, 1, 1), 'is not FC and Reduced')
((2, 1, 1, 1, 2), 'is not FC and Reduced')
((2, 1, 1, 1, 3), 'is not FC and Reduced')
((2, 1, 1, 2, 1), 'is not FC and Reduced')
((2, 1, 1, 2, 2), 'is not FC and Reduced')
((2, 1, 1, 2, 3), 'is not FC and Reduced')
((2, 1, 1, 3, 1), 'is not FC and Reduced')
((2, 1, 1, 3, 2), 'is not FC and Reduced')
((2, 1, 1, 3, 3), 'is not FC and Reduced')
((2, 1, 2, 1, 1), 'is not FC and Reduced')
((2, 1, 2, 1, 2), 'is not FC and Reduced')
((2, 1, 2, 1, 3), 'is not FC and Reduced')
((2, 1, 2, 2, 1), 'is not FC and Reduced')
((2, 1, 2, 2, 2), 'is not FC and Reduced')
((2, 1, 2, 2, 3), 'is not FC and Reduced')
((2, 1, 2, 3, 1), 'is not FC and Reduced')
((2, 1, 2, 3, 2), 'is not FC and Reduced')
((2, 1, 2, 3, 3), 'is not FC and Reduced')
((2, 1, 3, 1, 1), 'is not FC and Reduced')
((2, 1, 3, 1, 2), 'is not FC and Reduced')
((2, 1, 3, 1, 3), 'is not FC and Reduced')
((2, 1, 3, 2, 1), 'is not FC and Reduced')
((2, 1, 3, 2, 2), 'is not FC and Reduced')
((2, 1, 3, 2, 3), 'is not FC and Reduced')
((2, 1, 3, 3, 1), 'is not FC and Reduced')
((2, 1, 3, 3, 2), 'is not FC and Reduced')
((2, 1, 3, 3, 3), 'is not FC and Reduced')
((2, 2, 1, 1, 1), 'is not FC and Reduced')
((2, 2, 1, 1, 2), 'is not FC and Reduced')
((2, 2, 1, 1, 3), 'is not FC and Reduced')
((2, 2, 1, 2, 1), 'is not FC and Reduced')
((2, 2, 1, 2, 2), 'is not FC and Reduced')
((2, 2, 1, 2, 3), 'is not FC and Reduced')
((2, 2, 1, 3, 1), 'is not FC and Reduced')
((2, 2, 1, 3, 2), 'is not FC and Reduced')
((2, 2, 1, 3, 3), 'is not FC and Reduced')
((2, 2, 2, 1, 1), 'is not FC and Reduced')
((2, 2, 2, 1, 2), 'is not FC and Reduced')
((2, 2, 2, 1, 3), 'is not FC and Reduced')
((2, 2, 2, 2, 1), 'is not FC and Reduced')
((2, 2, 2, 2, 2), 'is not FC and Reduced')
((2, 2, 2, 2, 3), 'is not FC and Reduced')
((2, 2, 2, 3, 1), 'is not FC and Reduced')
((2, 2, 2, 3, 2), 'is not FC and Reduced')
((2, 2, 2, 3, 3), 'is not FC and Reduced')
((2, 2, 3, 1, 1), 'is not FC and Reduced')
((2, 2, 3, 1, 2), 'is not FC and Reduced')
((2, 2, 3, 1, 3), 'is not FC and Reduced')
((2, 2, 3, 2, 1), 'is not FC and Reduced')
((2, 2, 3, 2, 2), 'is not FC and Reduced')
((2, 2, 3, 2, 3), 'is not FC and Reduced')
((2, 2, 3, 3, 1), 'is not FC and Reduced')
((2, 2, 3, 3, 2), 'is not FC and Reduced')
((2, 2, 3, 3, 3), 'is not FC and Reduced')
((2, 3, 1, 1, 1), 'is not FC and Reduced')
((2, 3, 1, 1, 2), 'is not FC and Reduced')
((2, 3, 1, 1, 3), 'is not FC and Reduced')
((2, 3, 1, 2, 1), 'is not FC and Reduced')
((2, 3, 1, 2, 2), 'is not FC and Reduced')
((2, 3, 1, 2, 3), 'is not FC and Reduced')
((2, 3, 1, 3, 1), 'is not FC and Reduced')
((2, 3, 1, 3, 2), 'is not FC and Reduced')
((2, 3, 1, 3, 3), 'is not FC and Reduced')
((2, 3, 2, 1, 1), 'is not FC and Reduced')
((2, 3, 2, 1, 2), 'is not FC and Reduced')
((2, 3, 2, 1, 3), 'is not FC and Reduced')
((2, 3, 2, 2, 1), 'is not FC and Reduced')
((2, 3, 2, 2, 2), 'is not FC and Reduced')
((2, 3, 2, 2, 3), 'is not FC and Reduced')
((2, 3, 2, 3, 1), 'is not FC and Reduced')
((2, 3, 2, 3, 2), 'is not FC and Reduced')
((2, 3, 2, 3, 3), 'is not FC and Reduced')
((2, 3, 3, 1, 1), 'is not FC and Reduced')
((2, 3, 3, 1, 2), 'is not FC and Reduced')
((2, 3, 3, 1, 3), 'is not FC and Reduced')
((2, 3, 3, 2, 1), 'is not FC and Reduced')
((2, 3, 3, 2, 2), 'is not FC and Reduced')
((2, 3, 3, 2, 3), 'is not FC and Reduced')
((2, 3, 3, 3, 1), 'is not FC and Reduced')
((2, 3, 3, 3, 2), 'is not FC and Reduced')
((2, 3, 3, 3, 3), 'is not FC and Reduced')
((3, 1, 1, 1, 1), 'is not FC and Reduced')
((3, 1, 1, 1, 2), 'is not FC and Reduced')
((3, 1, 1, 1, 3), 'is not FC and Reduced')
((3, 1, 1, 2, 1), 'is not FC and Reduced')
((3, 1, 1, 2, 2), 'is not FC and Reduced')
((3, 1, 1, 2, 3), 'is not FC and Reduced')
((3, 1, 1, 3, 1), 'is not FC and Reduced')
((3, 1, 1, 3, 2), 'is not FC and Reduced')
((3, 1, 1, 3, 3), 'is not FC and Reduced')
((3, 1, 2, 1, 1), 'is not FC and Reduced')
((3, 1, 2, 1, 2), 'is not FC and Reduced')
((3, 1, 2, 1, 3), 'is not FC and Reduced')
((3, 1, 2, 2, 1), 'is not FC and Reduced')
((3, 1, 2, 2, 2), 'is not FC and Reduced')
((3, 1, 2, 2, 3), 'is not FC and Reduced')
((3, 1, 2, 3, 1), 'is not FC and Reduced')
((3, 1, 2, 3, 2), 'is not FC and Reduced')
((3, 1, 2, 3, 3), 'is not FC and Reduced')
((3, 1, 3, 1, 1), 'is not FC and Reduced')
((3, 1, 3, 1, 2), 'is not FC and Reduced')
((3, 1, 3, 1, 3), 'is not FC and Reduced')
((3, 1, 3, 2, 1), 'is not FC and Reduced')
((3, 1, 3, 2, 2), 'is not FC and Reduced')
((3, 1, 3, 2, 3), 'is not FC and Reduced')
((3, 1, 3, 3, 1), 'is not FC and Reduced')
((3, 1, 3, 3, 2), 'is not FC and Reduced')
((3, 1, 3, 3, 3), 'is not FC and Reduced')
((3, 2, 1, 1, 1), 'is not FC and Reduced')
((3, 2, 1, 1, 2), 'is not FC and Reduced')
((3, 2, 1, 1, 3), 'is not FC and Reduced')
((3, 2, 1, 2, 1), 'is not FC and Reduced')
((3, 2, 1, 2, 2), 'is not FC and Reduced')
((3, 2, 1, 2, 3), 'is not FC and Reduced')
((3, 2, 1, 3, 1), 'is not FC and Reduced')
((3, 2, 1, 3, 2), 'is not FC and Reduced')
((3, 2, 1, 3, 3), 'is not FC and Reduced')
((3, 2, 2, 1, 1), 'is not FC and Reduced')
((3, 2, 2, 1, 2), 'is not FC and Reduced')
((3, 2, 2, 1, 3), 'is not FC and Reduced')
((3, 2, 2, 2, 1), 'is not FC and Reduced')
((3, 2, 2, 2, 2), 'is not FC and Reduced')
((3, 2, 2, 2, 3), 'is not FC and Reduced')
((3, 2, 2, 3, 1), 'is not FC and Reduced')
((3, 2, 2, 3, 2), 'is not FC and Reduced')
((3, 2, 2, 3, 3), 'is not FC and Reduced')
((3, 2, 3, 1, 1), 'is not FC and Reduced')
((3, 2, 3, 1, 2), 'is not FC and Reduced')
((3, 2, 3, 1, 3), 'is not FC and Reduced')
((3, 2, 3, 2, 1), 'is not FC and Reduced')
((3, 2, 3, 2, 2), 'is not FC and Reduced')
((3, 2, 3, 2, 3), 'is not FC and Reduced')
((3, 2, 3, 3, 1), 'is not FC and Reduced')
((3, 2, 3, 3, 2), 'is not FC and Reduced')
((3, 2, 3, 3, 3), 'is not FC and Reduced')
((3, 3, 1, 1, 1), 'is not FC and Reduced')
((3, 3, 1, 1, 2), 'is not FC and Reduced')
((3, 3, 1, 1, 3), 'is not FC and Reduced')
((3, 3, 1, 2, 1), 'is not FC and Reduced')
((3, 3, 1, 2, 2), 'is not FC and Reduced')
((3, 3, 1, 2, 3), 'is not FC and Reduced')
((3, 3, 1, 3, 1), 'is not FC and Reduced')
((3, 3, 1, 3, 2), 'is not FC and Reduced')
((3, 3, 1, 3, 3), 'is not FC and Reduced')
((3, 3, 2, 1, 1), 'is not FC and Reduced')
((3, 3, 2, 1, 2), 'is not FC and Reduced')
((3, 3, 2, 1, 3), 'is not FC and Reduced')
((3, 3, 2, 2, 1), 'is not FC and Reduced')
((3, 3, 2, 2, 2), 'is not FC and Reduced')
((3, 3, 2, 2, 3), 'is not FC and Reduced')
((3, 3, 2, 3, 1), 'is not FC and Reduced')
((3, 3, 2, 3, 2), 'is not FC and Reduced')
((3, 3, 2, 3, 3), 'is not FC and Reduced')
((3, 3, 3, 1, 1), 'is not FC and Reduced')
((3, 3, 3, 1, 2), 'is not FC and Reduced')
((3, 3, 3, 1, 3), 'is not FC and Reduced')
((3, 3, 3, 2, 1), 'is not FC and Reduced')
((3, 3, 3, 2, 2), 'is not FC and Reduced')
((3, 3, 3, 2, 3), 'is not FC and Reduced')
((3, 3, 3, 3, 1), 'is not FC and Reduced')
((3, 3, 3, 3, 2), 'is not FC and Reduced')
((3, 3, 3, 3, 3), 'is not FC and Reduced')
((1, 1, 1, 1, 1, 1), 'is not FC and Reduced')
((1, 1, 1, 1, 1, 2), 'is not FC and Reduced')
((1, 1, 1, 1, 1, 3), 'is not FC and Reduced')
((1, 1, 1, 1, 2, 1), 'is not FC and Reduced')
((1, 1, 1, 1, 2, 2), 'is not FC and Reduced')
((1, 1, 1, 1, 2, 3), 'is not FC and Reduced')
((1, 1, 1, 1, 3, 1), 'is not FC and Reduced')
((1, 1, 1, 1, 3, 2), 'is not FC and Reduced')
((1, 1, 1, 1, 3, 3), 'is not FC and Reduced')
((1, 1, 1, 2, 1, 1), 'is not FC and Reduced')
((1, 1, 1, 2, 1, 2), 'is not FC and Reduced')
((1, 1, 1, 2, 1, 3), 'is not FC and Reduced')
((1, 1, 1, 2, 2, 1), 'is not FC and Reduced')
((1, 1, 1, 2, 2, 2), 'is not FC and Reduced')
((1, 1, 1, 2, 2, 3), 'is not FC and Reduced')
((1, 1, 1, 2, 3, 1), 'is not FC and Reduced')
((1, 1, 1, 2, 3, 2), 'is not FC and Reduced')
((1, 1, 1, 2, 3, 3), 'is not FC and Reduced')
((1, 1, 1, 3, 1, 1), 'is not FC and Reduced')
((1, 1, 1, 3, 1, 2), 'is not FC and Reduced')
((1, 1, 1, 3, 1, 3), 'is not FC and Reduced')
((1, 1, 1, 3, 2, 1), 'is not FC and Reduced')
((1, 1, 1, 3, 2, 2), 'is not FC and Reduced')
((1, 1, 1, 3, 2, 3), 'is not FC and Reduced')
((1, 1, 1, 3, 3, 1), 'is not FC and Reduced')
((1, 1, 1, 3, 3, 2), 'is not FC and Reduced')
((1, 1, 1, 3, 3, 3), 'is not FC and Reduced')
((1, 1, 2, 1, 1, 1), 'is not FC and Reduced')
((1, 1, 2, 1, 1, 2), 'is not FC and Reduced')
((1, 1, 2, 1, 1, 3), 'is not FC and Reduced')
((1, 1, 2, 1, 2, 1), 'is not FC and Reduced')
((1, 1, 2, 1, 2, 2), 'is not FC and Reduced')
((1, 1, 2, 1, 2, 3), 'is not FC and Reduced')
((1, 1, 2, 1, 3, 1), 'is not FC and Reduced')
((1, 1, 2, 1, 3, 2), 'is not FC and Reduced')
((1, 1, 2, 1, 3, 3), 'is not FC and Reduced')
((1, 1, 2, 2, 1, 1), 'is not FC and Reduced')
((1, 1, 2, 2, 1, 2), 'is not FC and Reduced')
((1, 1, 2, 2, 1, 3), 'is not FC and Reduced')
((1, 1, 2, 2, 2, 1), 'is not FC and Reduced')
((1, 1, 2, 2, 2, 2), 'is not FC and Reduced')
((1, 1, 2, 2, 2, 3), 'is not FC and Reduced')
((1, 1, 2, 2, 3, 1), 'is not FC and Reduced')
((1, 1, 2, 2, 3, 2), 'is not FC and Reduced')
((1, 1, 2, 2, 3, 3), 'is not FC and Reduced')
((1, 1, 2, 3, 1, 1), 'is not FC and Reduced')
((1, 1, 2, 3, 1, 2), 'is not FC and Reduced')
((1, 1, 2, 3, 1, 3), 'is not FC and Reduced')
((1, 1, 2, 3, 2, 1), 'is not FC and Reduced')
((1, 1, 2, 3, 2, 2), 'is not FC and Reduced')
((1, 1, 2, 3, 2, 3), 'is not FC and Reduced')
((1, 1, 2, 3, 3, 1), 'is not FC and Reduced')
((1, 1, 2, 3, 3, 2), 'is not FC and Reduced')
((1, 1, 2, 3, 3, 3), 'is not FC and Reduced')
((1, 1, 3, 1, 1, 1), 'is not FC and Reduced')
((1, 1, 3, 1, 1, 2), 'is not FC and Reduced')
((1, 1, 3, 1, 1, 3), 'is not FC and Reduced')
((1, 1, 3, 1, 2, 1), 'is not FC and Reduced')
((1, 1, 3, 1, 2, 2), 'is not FC and Reduced')
((1, 1, 3, 1, 2, 3), 'is not FC and Reduced')
((1, 1, 3, 1, 3, 1), 'is not FC and Reduced')
((1, 1, 3, 1, 3, 2), 'is not FC and Reduced')
((1, 1, 3, 1, 3, 3), 'is not FC and Reduced')
((1, 1, 3, 2, 1, 1), 'is not FC and Reduced')
((1, 1, 3, 2, 1, 2), 'is not FC and Reduced')
((1, 1, 3, 2, 1, 3), 'is not FC and Reduced')
((1, 1, 3, 2, 2, 1), 'is not FC and Reduced')
((1, 1, 3, 2, 2, 2), 'is not FC and Reduced')
((1, 1, 3, 2, 2, 3), 'is not FC and Reduced')
((1, 1, 3, 2, 3, 1), 'is not FC and Reduced')
((1, 1, 3, 2, 3, 2), 'is not FC and Reduced')
((1, 1, 3, 2, 3, 3), 'is not FC and Reduced')
((1, 1, 3, 3, 1, 1), 'is not FC and Reduced')
((1, 1, 3, 3, 1, 2), 'is not FC and Reduced')
((1, 1, 3, 3, 1, 3), 'is not FC and Reduced')
((1, 1, 3, 3, 2, 1), 'is not FC and Reduced')
((1, 1, 3, 3, 2, 2), 'is not FC and Reduced')
((1, 1, 3, 3, 2, 3), 'is not FC and Reduced')
((1, 1, 3, 3, 3, 1), 'is not FC and Reduced')
((1, 1, 3, 3, 3, 2), 'is not FC and Reduced')
((1, 1, 3, 3, 3, 3), 'is not FC and Reduced')
((1, 2, 1, 1, 1, 1), 'is not FC and Reduced')
((1, 2, 1, 1, 1, 2), 'is not FC and Reduced')
((1, 2, 1, 1, 1, 3), 'is not FC and Reduced')
((1, 2, 1, 1, 2, 1), 'is not FC and Reduced')
((1, 2, 1, 1, 2, 2), 'is not FC and Reduced')
((1, 2, 1, 1, 2, 3), 'is not FC and Reduced')
((1, 2, 1, 1, 3, 1), 'is not FC and Reduced')
((1, 2, 1, 1, 3, 2), 'is not FC and Reduced')
((1, 2, 1, 1, 3, 3), 'is not FC and Reduced')
((1, 2, 1, 2, 1, 1), 'is not FC and Reduced')
((1, 2, 1, 2, 1, 2), 'is not FC and Reduced')
((1, 2, 1, 2, 1, 3), 'is not FC and Reduced')
((1, 2, 1, 2, 2, 1), 'is not FC and Reduced')
((1, 2, 1, 2, 2, 2), 'is not FC and Reduced')
((1, 2, 1, 2, 2, 3), 'is not FC and Reduced')
((1, 2, 1, 2, 3, 1), 'is not FC and Reduced')
((1, 2, 1, 2, 3, 2), 'is not FC and Reduced')
((1, 2, 1, 2, 3, 3), 'is not FC and Reduced')
((1, 2, 1, 3, 1, 1), 'is not FC and Reduced')
((1, 2, 1, 3, 1, 2), 'is not FC and Reduced')
((1, 2, 1, 3, 1, 3), 'is not FC and Reduced')
((1, 2, 1, 3, 2, 1), 'is not FC and Reduced')
((1, 2, 1, 3, 2, 2), 'is not FC and Reduced')
((1, 2, 1, 3, 2, 3), 'is not FC and Reduced')
((1, 2, 1, 3, 3, 1), 'is not FC and Reduced')
((1, 2, 1, 3, 3, 2), 'is not FC and Reduced')
((1, 2, 1, 3, 3, 3), 'is not FC and Reduced')
((1, 2, 2, 1, 1, 1), 'is not FC and Reduced')
((1, 2, 2, 1, 1, 2), 'is not FC and Reduced')
((1, 2, 2, 1, 1, 3), 'is not FC and Reduced')
((1, 2, 2, 1, 2, 1), 'is not FC and Reduced')
((1, 2, 2, 1, 2, 2), 'is not FC and Reduced')
((1, 2, 2, 1, 2, 3), 'is not FC and Reduced')
((1, 2, 2, 1, 3, 1), 'is not FC and Reduced')
((1, 2, 2, 1, 3, 2), 'is not FC and Reduced')
((1, 2, 2, 1, 3, 3), 'is not FC and Reduced')
((1, 2, 2, 2, 1, 1), 'is not FC and Reduced')
((1, 2, 2, 2, 1, 2), 'is not FC and Reduced')
((1, 2, 2, 2, 1, 3), 'is not FC and Reduced')
((1, 2, 2, 2, 2, 1), 'is not FC and Reduced')
((1, 2, 2, 2, 2, 2), 'is not FC and Reduced')
((1, 2, 2, 2, 2, 3), 'is not FC and Reduced')
((1, 2, 2, 2, 3, 1), 'is not FC and Reduced')
((1, 2, 2, 2, 3, 2), 'is not FC and Reduced')
((1, 2, 2, 2, 3, 3), 'is not FC and Reduced')
((1, 2, 2, 3, 1, 1), 'is not FC and Reduced')
((1, 2, 2, 3, 1, 2), 'is not FC and Reduced')
((1, 2, 2, 3, 1, 3), 'is not FC and Reduced')
((1, 2, 2, 3, 2, 1), 'is not FC and Reduced')
((1, 2, 2, 3, 2, 2), 'is not FC and Reduced')
((1, 2, 2, 3, 2, 3), 'is not FC and Reduced')
((1, 2, 2, 3, 3, 1), 'is not FC and Reduced')
((1, 2, 2, 3, 3, 2), 'is not FC and Reduced')
((1, 2, 2, 3, 3, 3), 'is not FC and Reduced')
((1, 2, 3, 1, 1, 1), 'is not FC and Reduced')
((1, 2, 3, 1, 1, 2), 'is not FC and Reduced')
((1, 2, 3, 1, 1, 3), 'is not FC and Reduced')
((1, 2, 3, 1, 2, 1), 'is not FC and Reduced')
((1, 2, 3, 1, 2, 2), 'is not FC and Reduced')
((1, 2, 3, 1, 2, 3), 'is not FC and Reduced')
((1, 2, 3, 1, 3, 1), 'is not FC and Reduced')
((1, 2, 3, 1, 3, 2), 'is not FC and Reduced')
((1, 2, 3, 1, 3, 3), 'is not FC and Reduced')
((1, 2, 3, 2, 1, 1), 'is not FC and Reduced')
((1, 2, 3, 2, 1, 2), 'is not FC and Reduced')
((1, 2, 3, 2, 1, 3), 'is not FC and Reduced')
((1, 2, 3, 2, 2, 1), 'is not FC and Reduced')
((1, 2, 3, 2, 2, 2), 'is not FC and Reduced')
((1, 2, 3, 2, 2, 3), 'is not FC and Reduced')
((1, 2, 3, 2, 3, 1), 'is not FC and Reduced')
((1, 2, 3, 2, 3, 2), 'is not FC and Reduced')
((1, 2, 3, 2, 3, 3), 'is not FC and Reduced')
((1, 2, 3, 3, 1, 1), 'is not FC and Reduced')
((1, 2, 3, 3, 1, 2), 'is not FC and Reduced')
((1, 2, 3, 3, 1, 3), 'is not FC and Reduced')
((1, 2, 3, 3, 2, 1), 'is not FC and Reduced')
((1, 2, 3, 3, 2, 2), 'is not FC and Reduced')
((1, 2, 3, 3, 2, 3), 'is not FC and Reduced')
((1, 2, 3, 3, 3, 1), 'is not FC and Reduced')
((1, 2, 3, 3, 3, 2), 'is not FC and Reduced')
((1, 2, 3, 3, 3, 3), 'is not FC and Reduced')
((1, 3, 1, 1, 1, 1), 'is not FC and Reduced')
((1, 3, 1, 1, 1, 2), 'is not FC and Reduced')
((1, 3, 1, 1, 1, 3), 'is not FC and Reduced')
((1, 3, 1, 1, 2, 1), 'is not FC and Reduced')
((1, 3, 1, 1, 2, 2), 'is not FC and Reduced')
((1, 3, 1, 1, 2, 3), 'is not FC and Reduced')
((1, 3, 1, 1, 3, 1), 'is not FC and Reduced')
((1, 3, 1, 1, 3, 2), 'is not FC and Reduced')
((1, 3, 1, 1, 3, 3), 'is not FC and Reduced')
((1, 3, 1, 2, 1, 1), 'is not FC and Reduced')
((1, 3, 1, 2, 1, 2), 'is not FC and Reduced')
((1, 3, 1, 2, 1, 3), 'is not FC and Reduced')
((1, 3, 1, 2, 2, 1), 'is not FC and Reduced')
((1, 3, 1, 2, 2, 2), 'is not FC and Reduced')
((1, 3, 1, 2, 2, 3), 'is not FC and Reduced')
((1, 3, 1, 2, 3, 1), 'is not FC and Reduced')
((1, 3, 1, 2, 3, 2), 'is not FC and Reduced')
((1, 3, 1, 2, 3, 3), 'is not FC and Reduced')
((1, 3, 1, 3, 1, 1), 'is not FC and Reduced')
((1, 3, 1, 3, 1, 2), 'is not FC and Reduced')
((1, 3, 1, 3, 1, 3), 'is not FC and Reduced')
((1, 3, 1, 3, 2, 1), 'is not FC and Reduced')
((1, 3, 1, 3, 2, 2), 'is not FC and Reduced')
((1, 3, 1, 3, 2, 3), 'is not FC and Reduced')
((1, 3, 1, 3, 3, 1), 'is not FC and Reduced')
((1, 3, 1, 3, 3, 2), 'is not FC and Reduced')
((1, 3, 1, 3, 3, 3), 'is not FC and Reduced')
((1, 3, 2, 1, 1, 1), 'is not FC and Reduced')
((1, 3, 2, 1, 1, 2), 'is not FC and Reduced')
((1, 3, 2, 1, 1, 3), 'is not FC and Reduced')
((1, 3, 2, 1, 2, 1), 'is not FC and Reduced')
((1, 3, 2, 1, 2, 2), 'is not FC and Reduced')
((1, 3, 2, 1, 2, 3), 'is not FC and Reduced')
((1, 3, 2, 1, 3, 1), 'is not FC and Reduced')
((1, 3, 2, 1, 3, 2), 'is not FC and Reduced')
((1, 3, 2, 1, 3, 3), 'is not FC and Reduced')
((1, 3, 2, 2, 1, 1), 'is not FC and Reduced')
((1, 3, 2, 2, 1, 2), 'is not FC and Reduced')
((1, 3, 2, 2, 1, 3), 'is not FC and Reduced')
((1, 3, 2, 2, 2, 1), 'is not FC and Reduced')
((1, 3, 2, 2, 2, 2), 'is not FC and Reduced')
((1, 3, 2, 2, 2, 3), 'is not FC and Reduced')
((1, 3, 2, 2, 3, 1), 'is not FC and Reduced')
((1, 3, 2, 2, 3, 2), 'is not FC and Reduced')
((1, 3, 2, 2, 3, 3), 'is not FC and Reduced')
((1, 3, 2, 3, 1, 1), 'is not FC and Reduced')
((1, 3, 2, 3, 1, 2), 'is not FC and Reduced')
((1, 3, 2, 3, 1, 3), 'is not FC and Reduced')
((1, 3, 2, 3, 2, 1), 'is not FC and Reduced')
((1, 3, 2, 3, 2, 2), 'is not FC and Reduced')
((1, 3, 2, 3, 2, 3), 'is not FC and Reduced')
((1, 3, 2, 3, 3, 1), 'is not FC and Reduced')
((1, 3, 2, 3, 3, 2), 'is not FC and Reduced')
((1, 3, 2, 3, 3, 3), 'is not FC and Reduced')
((1, 3, 3, 1, 1, 1), 'is not FC and Reduced')
((1, 3, 3, 1, 1, 2), 'is not FC and Reduced')
((1, 3, 3, 1, 1, 3), 'is not FC and Reduced')
((1, 3, 3, 1, 2, 1), 'is not FC and Reduced')
((1, 3, 3, 1, 2, 2), 'is not FC and Reduced')
((1, 3, 3, 1, 2, 3), 'is not FC and Reduced')
((1, 3, 3, 1, 3, 1), 'is not FC and Reduced')
((1, 3, 3, 1, 3, 2), 'is not FC and Reduced')
((1, 3, 3, 1, 3, 3), 'is not FC and Reduced')
((1, 3, 3, 2, 1, 1), 'is not FC and Reduced')
((1, 3, 3, 2, 1, 2), 'is not FC and Reduced')
((1, 3, 3, 2, 1, 3), 'is not FC and Reduced')
((1, 3, 3, 2, 2, 1), 'is not FC and Reduced')
((1, 3, 3, 2, 2, 2), 'is not FC and Reduced')
((1, 3, 3, 2, 2, 3), 'is not FC and Reduced')
((1, 3, 3, 2, 3, 1), 'is not FC and Reduced')
((1, 3, 3, 2, 3, 2), 'is not FC and Reduced')
((1, 3, 3, 2, 3, 3), 'is not FC and Reduced')
((1, 3, 3, 3, 1, 1), 'is not FC and Reduced')
((1, 3, 3, 3, 1, 2), 'is not FC and Reduced')
((1, 3, 3, 3, 1, 3), 'is not FC and Reduced')
((1, 3, 3, 3, 2, 1), 'is not FC and Reduced')
((1, 3, 3, 3, 2, 2), 'is not FC and Reduced')
((1, 3, 3, 3, 2, 3), 'is not FC and Reduced')
((1, 3, 3, 3, 3, 1), 'is not FC and Reduced')
((1, 3, 3, 3, 3, 2), 'is not FC and Reduced')
((1, 3, 3, 3, 3, 3), 'is not FC and Reduced')
((2, 1, 1, 1, 1, 1), 'is not FC and Reduced')
((2, 1, 1, 1, 1, 2), 'is not FC and Reduced')
((2, 1, 1, 1, 1, 3), 'is not FC and Reduced')
((2, 1, 1, 1, 2, 1), 'is not FC and Reduced')
((2, 1, 1, 1, 2, 2), 'is not FC and Reduced')
((2, 1, 1, 1, 2, 3), 'is not FC and Reduced')
((2, 1, 1, 1, 3, 1), 'is not FC and Reduced')
((2, 1, 1, 1, 3, 2), 'is not FC and Reduced')
((2, 1, 1, 1, 3, 3), 'is not FC and Reduced')
((2, 1, 1, 2, 1, 1), 'is not FC and Reduced')
((2, 1, 1, 2, 1, 2), 'is not FC and Reduced')
((2, 1, 1, 2, 1, 3), 'is not FC and Reduced')
((2, 1, 1, 2, 2, 1), 'is not FC and Reduced')
((2, 1, 1, 2, 2, 2), 'is not FC and Reduced')
((2, 1, 1, 2, 2, 3), 'is not FC and Reduced')
((2, 1, 1, 2, 3, 1), 'is not FC and Reduced')
((2, 1, 1, 2, 3, 2), 'is not FC and Reduced')
((2, 1, 1, 2, 3, 3), 'is not FC and Reduced')
((2, 1, 1, 3, 1, 1), 'is not FC and Reduced')
((2, 1, 1, 3, 1, 2), 'is not FC and Reduced')
((2, 1, 1, 3, 1, 3), 'is not FC and Reduced')
((2, 1, 1, 3, 2, 1), 'is not FC and Reduced')
((2, 1, 1, 3, 2, 2), 'is not FC and Reduced')
((2, 1, 1, 3, 2, 3), 'is not FC and Reduced')
((2, 1, 1, 3, 3, 1), 'is not FC and Reduced')
((2, 1, 1, 3, 3, 2), 'is not FC and Reduced')
((2, 1, 1, 3, 3, 3), 'is not FC and Reduced')
((2, 1, 2, 1, 1, 1), 'is not FC and Reduced')
((2, 1, 2, 1, 1, 2), 'is not FC and Reduced')
((2, 1, 2, 1, 1, 3), 'is not FC and Reduced')
((2, 1, 2, 1, 2, 1), 'is not FC and Reduced')
((2, 1, 2, 1, 2, 2), 'is not FC and Reduced')
((2, 1, 2, 1, 2, 3), 'is not FC and Reduced')
((2, 1, 2, 1, 3, 1), 'is not FC and Reduced')
((2, 1, 2, 1, 3, 2), 'is not FC and Reduced')
((2, 1, 2, 1, 3, 3), 'is not FC and Reduced')
((2, 1, 2, 2, 1, 1), 'is not FC and Reduced')
((2, 1, 2, 2, 1, 2), 'is not FC and Reduced')
((2, 1, 2, 2, 1, 3), 'is not FC and Reduced')
((2, 1, 2, 2, 2, 1), 'is not FC and Reduced')
((2, 1, 2, 2, 2, 2), 'is not FC and Reduced')
((2, 1, 2, 2, 2, 3), 'is not FC and Reduced')
((2, 1, 2, 2, 3, 1), 'is not FC and Reduced')
((2, 1, 2, 2, 3, 2), 'is not FC and Reduced')
((2, 1, 2, 2, 3, 3), 'is not FC and Reduced')
((2, 1, 2, 3, 1, 1), 'is not FC and Reduced')
((2, 1, 2, 3, 1, 2), 'is not FC and Reduced')
((2, 1, 2, 3, 1, 3), 'is not FC and Reduced')
((2, 1, 2, 3, 2, 1), 'is not FC and Reduced')
((2, 1, 2, 3, 2, 2), 'is not FC and Reduced')
((2, 1, 2, 3, 2, 3), 'is not FC and Reduced')
((2, 1, 2, 3, 3, 1), 'is not FC and Reduced')
((2, 1, 2, 3, 3, 2), 'is not FC and Reduced')
((2, 1, 2, 3, 3, 3), 'is not FC and Reduced')
((2, 1, 3, 1, 1, 1), 'is not FC and Reduced')
((2, 1, 3, 1, 1, 2), 'is not FC and Reduced')
((2, 1, 3, 1, 1, 3), 'is not FC and Reduced')
((2, 1, 3, 1, 2, 1), 'is not FC and Reduced')
((2, 1, 3, 1, 2, 2), 'is not FC and Reduced')
((2, 1, 3, 1, 2, 3), 'is not FC and Reduced')
((2, 1, 3, 1, 3, 1), 'is not FC and Reduced')
((2, 1, 3, 1, 3, 2), 'is not FC and Reduced')
((2, 1, 3, 1, 3, 3), 'is not FC and Reduced')
((2, 1, 3, 2, 1, 1), 'is not FC and Reduced')
((2, 1, 3, 2, 1, 2), 'is not FC and Reduced')
((2, 1, 3, 2, 1, 3), 'is not FC and Reduced')
((2, 1, 3, 2, 2, 1), 'is not FC and Reduced')
((2, 1, 3, 2, 2, 2), 'is not FC and Reduced')
((2, 1, 3, 2, 2, 3), 'is not FC and Reduced')
((2, 1, 3, 2, 3, 1), 'is not FC and Reduced')
((2, 1, 3, 2, 3, 2), 'is not FC and Reduced')
((2, 1, 3, 2, 3, 3), 'is not FC and Reduced')
((2, 1, 3, 3, 1, 1), 'is not FC and Reduced')
((2, 1, 3, 3, 1, 2), 'is not FC and Reduced')
((2, 1, 3, 3, 1, 3), 'is not FC and Reduced')
((2, 1, 3, 3, 2, 1), 'is not FC and Reduced')
((2, 1, 3, 3, 2, 2), 'is not FC and Reduced')
((2, 1, 3, 3, 2, 3), 'is not FC and Reduced')
((2, 1, 3, 3, 3, 1), 'is not FC and Reduced')
((2, 1, 3, 3, 3, 2), 'is not FC and Reduced')
((2, 1, 3, 3, 3, 3), 'is not FC and Reduced')
((2, 2, 1, 1, 1, 1), 'is not FC and Reduced')
((2, 2, 1, 1, 1, 2), 'is not FC and Reduced')
((2, 2, 1, 1, 1, 3), 'is not FC and Reduced')
((2, 2, 1, 1, 2, 1), 'is not FC and Reduced')
((2, 2, 1, 1, 2, 2), 'is not FC and Reduced')
((2, 2, 1, 1, 2, 3), 'is not FC and Reduced')
((2, 2, 1, 1, 3, 1), 'is not FC and Reduced')
((2, 2, 1, 1, 3, 2), 'is not FC and Reduced')
((2, 2, 1, 1, 3, 3), 'is not FC and Reduced')
((2, 2, 1, 2, 1, 1), 'is not FC and Reduced')
((2, 2, 1, 2, 1, 2), 'is not FC and Reduced')
((2, 2, 1, 2, 1, 3), 'is not FC and Reduced')
((2, 2, 1, 2, 2, 1), 'is not FC and Reduced')
((2, 2, 1, 2, 2, 2), 'is not FC and Reduced')
((2, 2, 1, 2, 2, 3), 'is not FC and Reduced')
((2, 2, 1, 2, 3, 1), 'is not FC and Reduced')
((2, 2, 1, 2, 3, 2), 'is not FC and Reduced')
((2, 2, 1, 2, 3, 3), 'is not FC and Reduced')
((2, 2, 1, 3, 1, 1), 'is not FC and Reduced')
((2, 2, 1, 3, 1, 2), 'is not FC and Reduced')
((2, 2, 1, 3, 1, 3), 'is not FC and Reduced')
((2, 2, 1, 3, 2, 1), 'is not FC and Reduced')
((2, 2, 1, 3, 2, 2), 'is not FC and Reduced')
((2, 2, 1, 3, 2, 3), 'is not FC and Reduced')
((2, 2, 1, 3, 3, 1), 'is not FC and Reduced')
((2, 2, 1, 3, 3, 2), 'is not FC and Reduced')
((2, 2, 1, 3, 3, 3), 'is not FC and Reduced')
((2, 2, 2, 1, 1, 1), 'is not FC and Reduced')
((2, 2, 2, 1, 1, 2), 'is not FC and Reduced')
((2, 2, 2, 1, 1, 3), 'is not FC and Reduced')
((2, 2, 2, 1, 2, 1), 'is not FC and Reduced')
((2, 2, 2, 1, 2, 2), 'is not FC and Reduced')
((2, 2, 2, 1, 2, 3), 'is not FC and Reduced')
((2, 2, 2, 1, 3, 1), 'is not FC and Reduced')
((2, 2, 2, 1, 3, 2), 'is not FC and Reduced')
((2, 2, 2, 1, 3, 3), 'is not FC and Reduced')
((2, 2, 2, 2, 1, 1), 'is not FC and Reduced')
((2, 2, 2, 2, 1, 2), 'is not FC and Reduced')
((2, 2, 2, 2, 1, 3), 'is not FC and Reduced')
((2, 2, 2, 2, 2, 1), 'is not FC and Reduced')
((2, 2, 2, 2, 2, 2), 'is not FC and Reduced')
((2, 2, 2, 2, 2, 3), 'is not FC and Reduced')
((2, 2, 2, 2, 3, 1), 'is not FC and Reduced')
((2, 2, 2, 2, 3, 2), 'is not FC and Reduced')
((2, 2, 2, 2, 3, 3), 'is not FC and Reduced')
((2, 2, 2, 3, 1, 1), 'is not FC and Reduced')
((2, 2, 2, 3, 1, 2), 'is not FC and Reduced')
((2, 2, 2, 3, 1, 3), 'is not FC and Reduced')
((2, 2, 2, 3, 2, 1), 'is not FC and Reduced')
((2, 2, 2, 3, 2, 2), 'is not FC and Reduced')
((2, 2, 2, 3, 2, 3), 'is not FC and Reduced')
((2, 2, 2, 3, 3, 1), 'is not FC and Reduced')
((2, 2, 2, 3, 3, 2), 'is not FC and Reduced')
((2, 2, 2, 3, 3, 3), 'is not FC and Reduced')
((2, 2, 3, 1, 1, 1), 'is not FC and Reduced')
((2, 2, 3, 1, 1, 2), 'is not FC and Reduced')
((2, 2, 3, 1, 1, 3), 'is not FC and Reduced')
((2, 2, 3, 1, 2, 1), 'is not FC and Reduced')
((2, 2, 3, 1, 2, 2), 'is not FC and Reduced')
((2, 2, 3, 1, 2, 3), 'is not FC and Reduced')
((2, 2, 3, 1, 3, 1), 'is not FC and Reduced')
((2, 2, 3, 1, 3, 2), 'is not FC and Reduced')
((2, 2, 3, 1, 3, 3), 'is not FC and Reduced')
((2, 2, 3, 2, 1, 1), 'is not FC and Reduced')
((2, 2, 3, 2, 1, 2), 'is not FC and Reduced')
((2, 2, 3, 2, 1, 3), 'is not FC and Reduced')
((2, 2, 3, 2, 2, 1), 'is not FC and Reduced')
((2, 2, 3, 2, 2, 2), 'is not FC and Reduced')
((2, 2, 3, 2, 2, 3), 'is not FC and Reduced')
((2, 2, 3, 2, 3, 1), 'is not FC and Reduced')
((2, 2, 3, 2, 3, 2), 'is not FC and Reduced')
((2, 2, 3, 2, 3, 3), 'is not FC and Reduced')
((2, 2, 3, 3, 1, 1), 'is not FC and Reduced')
((2, 2, 3, 3, 1, 2), 'is not FC and Reduced')
((2, 2, 3, 3, 1, 3), 'is not FC and Reduced')
((2, 2, 3, 3, 2, 1), 'is not FC and Reduced')
((2, 2, 3, 3, 2, 2), 'is not FC and Reduced')
((2, 2, 3, 3, 2, 3), 'is not FC and Reduced')
((2, 2, 3, 3, 3, 1), 'is not FC and Reduced')
((2, 2, 3, 3, 3, 2), 'is not FC and Reduced')
((2, 2, 3, 3, 3, 3), 'is not FC and Reduced')
((2, 3, 1, 1, 1, 1), 'is not FC and Reduced')
((2, 3, 1, 1, 1, 2), 'is not FC and Reduced')
((2, 3, 1, 1, 1, 3), 'is not FC and Reduced')
((2, 3, 1, 1, 2, 1), 'is not FC and Reduced')
((2, 3, 1, 1, 2, 2), 'is not FC and Reduced')
((2, 3, 1, 1, 2, 3), 'is not FC and Reduced')
((2, 3, 1, 1, 3, 1), 'is not FC and Reduced')
((2, 3, 1, 1, 3, 2), 'is not FC and Reduced')
((2, 3, 1, 1, 3, 3), 'is not FC and Reduced')
((2, 3, 1, 2, 1, 1), 'is not FC and Reduced')
((2, 3, 1, 2, 1, 2), 'is not FC and Reduced')
((2, 3, 1, 2, 1, 3), 'is not FC and Reduced')
((2, 3, 1, 2, 2, 1), 'is not FC and Reduced')
((2, 3, 1, 2, 2, 2), 'is not FC and Reduced')
((2, 3, 1, 2, 2, 3), 'is not FC and Reduced')
((2, 3, 1, 2, 3, 1), 'is not FC and Reduced')
((2, 3, 1, 2, 3, 2), 'is not FC and Reduced')
((2, 3, 1, 2, 3, 3), 'is not FC and Reduced')
((2, 3, 1, 3, 1, 1), 'is not FC and Reduced')
((2, 3, 1, 3, 1, 2), 'is not FC and Reduced')
((2, 3, 1, 3, 1, 3), 'is not FC and Reduced')
((2, 3, 1, 3, 2, 1), 'is not FC and Reduced')
((2, 3, 1, 3, 2, 2), 'is not FC and Reduced')
((2, 3, 1, 3, 2, 3), 'is not FC and Reduced')
((2, 3, 1, 3, 3, 1), 'is not FC and Reduced')
((2, 3, 1, 3, 3, 2), 'is not FC and Reduced')
((2, 3, 1, 3, 3, 3), 'is not FC and Reduced')
((2, 3, 2, 1, 1, 1), 'is not FC and Reduced')
((2, 3, 2, 1, 1, 2), 'is not FC and Reduced')
((2, 3, 2, 1, 1, 3), 'is not FC and Reduced')
((2, 3, 2, 1, 2, 1), 'is not FC and Reduced')
((2, 3, 2, 1, 2, 2), 'is not FC and Reduced')
((2, 3, 2, 1, 2, 3), 'is not FC and Reduced')
((2, 3, 2, 1, 3, 1), 'is not FC and Reduced')
((2, 3, 2, 1, 3, 2), 'is not FC and Reduced')
((2, 3, 2, 1, 3, 3), 'is not FC and Reduced')
((2, 3, 2, 2, 1, 1), 'is not FC and Reduced')
((2, 3, 2, 2, 1, 2), 'is not FC and Reduced')
((2, 3, 2, 2, 1, 3), 'is not FC and Reduced')
((2, 3, 2, 2, 2, 1), 'is not FC and Reduced')
((2, 3, 2, 2, 2, 2), 'is not FC and Reduced')
((2, 3, 2, 2, 2, 3), 'is not FC and Reduced')
((2, 3, 2, 2, 3, 1), 'is not FC and Reduced')
((2, 3, 2, 2, 3, 2), 'is not FC and Reduced')
((2, 3, 2, 2, 3, 3), 'is not FC and Reduced')
((2, 3, 2, 3, 1, 1), 'is not FC and Reduced')
((2, 3, 2, 3, 1, 2), 'is not FC and Reduced')
((2, 3, 2, 3, 1, 3), 'is not FC and Reduced')
((2, 3, 2, 3, 2, 1), 'is not FC and Reduced')
((2, 3, 2, 3, 2, 2), 'is not FC and Reduced')
((2, 3, 2, 3, 2, 3), 'is not FC and Reduced')
((2, 3, 2, 3, 3, 1), 'is not FC and Reduced')
((2, 3, 2, 3, 3, 2), 'is not FC and Reduced')
((2, 3, 2, 3, 3, 3), 'is not FC and Reduced')
((2, 3, 3, 1, 1, 1), 'is not FC and Reduced')
((2, 3, 3, 1, 1, 2), 'is not FC and Reduced')
((2, 3, 3, 1, 1, 3), 'is not FC and Reduced')
((2, 3, 3, 1, 2, 1), 'is not FC and Reduced')
((2, 3, 3, 1, 2, 2), 'is not FC and Reduced')
((2, 3, 3, 1, 2, 3), 'is not FC and Reduced')
((2, 3, 3, 1, 3, 1), 'is not FC and Reduced')
((2, 3, 3, 1, 3, 2), 'is not FC and Reduced')
((2, 3, 3, 1, 3, 3), 'is not FC and Reduced')
((2, 3, 3, 2, 1, 1), 'is not FC and Reduced')
((2, 3, 3, 2, 1, 2), 'is not FC and Reduced')
((2, 3, 3, 2, 1, 3), 'is not FC and Reduced')
((2, 3, 3, 2, 2, 1), 'is not FC and Reduced')
((2, 3, 3, 2, 2, 2), 'is not FC and Reduced')
((2, 3, 3, 2, 2, 3), 'is not FC and Reduced')
((2, 3, 3, 2, 3, 1), 'is not FC and Reduced')
((2, 3, 3, 2, 3, 2), 'is not FC and Reduced')
((2, 3, 3, 2, 3, 3), 'is not FC and Reduced')
((2, 3, 3, 3, 1, 1), 'is not FC and Reduced')
((2, 3, 3, 3, 1, 2), 'is not FC and Reduced')
((2, 3, 3, 3, 1, 3), 'is not FC and Reduced')
((2, 3, 3, 3, 2, 1), 'is not FC and Reduced')
((2, 3, 3, 3, 2, 2), 'is not FC and Reduced')
((2, 3, 3, 3, 2, 3), 'is not FC and Reduced')
((2, 3, 3, 3, 3, 1), 'is not FC and Reduced')
((2, 3, 3, 3, 3, 2), 'is not FC and Reduced')
((2, 3, 3, 3, 3, 3), 'is not FC and Reduced')
((3, 1, 1, 1, 1, 1), 'is not FC and Reduced')
((3, 1, 1, 1, 1, 2), 'is not FC and Reduced')
((3, 1, 1, 1, 1, 3), 'is not FC and Reduced')
((3, 1, 1, 1, 2, 1), 'is not FC and Reduced')
((3, 1, 1, 1, 2, 2), 'is not FC and Reduced')
((3, 1, 1, 1, 2, 3), 'is not FC and Reduced')
((3, 1, 1, 1, 3, 1), 'is not FC and Reduced')
((3, 1, 1, 1, 3, 2), 'is not FC and Reduced')
((3, 1, 1, 1, 3, 3), 'is not FC and Reduced')
((3, 1, 1, 2, 1, 1), 'is not FC and Reduced')
((3, 1, 1, 2, 1, 2), 'is not FC and Reduced')
((3, 1, 1, 2, 1, 3), 'is not FC and Reduced')
((3, 1, 1, 2, 2, 1), 'is not FC and Reduced')
((3, 1, 1, 2, 2, 2), 'is not FC and Reduced')
((3, 1, 1, 2, 2, 3), 'is not FC and Reduced')
((3, 1, 1, 2, 3, 1), 'is not FC and Reduced')
((3, 1, 1, 2, 3, 2), 'is not FC and Reduced')
((3, 1, 1, 2, 3, 3), 'is not FC and Reduced')
((3, 1, 1, 3, 1, 1), 'is not FC and Reduced')
((3, 1, 1, 3, 1, 2), 'is not FC and Reduced')
((3, 1, 1, 3, 1, 3), 'is not FC and Reduced')
((3, 1, 1, 3, 2, 1), 'is not FC and Reduced')
((3, 1, 1, 3, 2, 2), 'is not FC and Reduced')
((3, 1, 1, 3, 2, 3), 'is not FC and Reduced')
((3, 1, 1, 3, 3, 1), 'is not FC and Reduced')
((3, 1, 1, 3, 3, 2), 'is not FC and Reduced')
((3, 1, 1, 3, 3, 3), 'is not FC and Reduced')
((3, 1, 2, 1, 1, 1), 'is not FC and Reduced')
((3, 1, 2, 1, 1, 2), 'is not FC and Reduced')
((3, 1, 2, 1, 1, 3), 'is not FC and Reduced')
((3, 1, 2, 1, 2, 1), 'is not FC and Reduced')
((3, 1, 2, 1, 2, 2), 'is not FC and Reduced')
((3, 1, 2, 1, 2, 3), 'is not FC and Reduced')
((3, 1, 2, 1, 3, 1), 'is not FC and Reduced')
((3, 1, 2, 1, 3, 2), 'is not FC and Reduced')
((3, 1, 2, 1, 3, 3), 'is not FC and Reduced')
((3, 1, 2, 2, 1, 1), 'is not FC and Reduced')
((3, 1, 2, 2, 1, 2), 'is not FC and Reduced')
((3, 1, 2, 2, 1, 3), 'is not FC and Reduced')
((3, 1, 2, 2, 2, 1), 'is not FC and Reduced')
((3, 1, 2, 2, 2, 2), 'is not FC and Reduced')
((3, 1, 2, 2, 2, 3), 'is not FC and Reduced')
((3, 1, 2, 2, 3, 1), 'is not FC and Reduced')
((3, 1, 2, 2, 3, 2), 'is not FC and Reduced')
((3, 1, 2, 2, 3, 3), 'is not FC and Reduced')
((3, 1, 2, 3, 1, 1), 'is not FC and Reduced')
((3, 1, 2, 3, 1, 2), 'is not FC and Reduced')
((3, 1, 2, 3, 1, 3), 'is not FC and Reduced')
((3, 1, 2, 3, 2, 1), 'is not FC and Reduced')
((3, 1, 2, 3, 2, 2), 'is not FC and Reduced')
((3, 1, 2, 3, 2, 3), 'is not FC and Reduced')
((3, 1, 2, 3, 3, 1), 'is not FC and Reduced')
((3, 1, 2, 3, 3, 2), 'is not FC and Reduced')
((3, 1, 2, 3, 3, 3), 'is not FC and Reduced')
((3, 1, 3, 1, 1, 1), 'is not FC and Reduced')
((3, 1, 3, 1, 1, 2), 'is not FC and Reduced')
((3, 1, 3, 1, 1, 3), 'is not FC and Reduced')
((3, 1, 3, 1, 2, 1), 'is not FC and Reduced')
((3, 1, 3, 1, 2, 2), 'is not FC and Reduced')
((3, 1, 3, 1, 2, 3), 'is not FC and Reduced')
((3, 1, 3, 1, 3, 1), 'is not FC and Reduced')
((3, 1, 3, 1, 3, 2), 'is not FC and Reduced')
((3, 1, 3, 1, 3, 3), 'is not FC and Reduced')
((3, 1, 3, 2, 1, 1), 'is not FC and Reduced')
((3, 1, 3, 2, 1, 2), 'is not FC and Reduced')
((3, 1, 3, 2, 1, 3), 'is not FC and Reduced')
((3, 1, 3, 2, 2, 1), 'is not FC and Reduced')
((3, 1, 3, 2, 2, 2), 'is not FC and Reduced')
((3, 1, 3, 2, 2, 3), 'is not FC and Reduced')
((3, 1, 3, 2, 3, 1), 'is not FC and Reduced')
((3, 1, 3, 2, 3, 2), 'is not FC and Reduced')
((3, 1, 3, 2, 3, 3), 'is not FC and Reduced')
((3, 1, 3, 3, 1, 1), 'is not FC and Reduced')
((3, 1, 3, 3, 1, 2), 'is not FC and Reduced')
((3, 1, 3, 3, 1, 3), 'is not FC and Reduced')
((3, 1, 3, 3, 2, 1), 'is not FC and Reduced')
((3, 1, 3, 3, 2, 2), 'is not FC and Reduced')
((3, 1, 3, 3, 2, 3), 'is not FC and Reduced')
((3, 1, 3, 3, 3, 1), 'is not FC and Reduced')
((3, 1, 3, 3, 3, 2), 'is not FC and Reduced')
((3, 1, 3, 3, 3, 3), 'is not FC and Reduced')
((3, 2, 1, 1, 1, 1), 'is not FC and Reduced')
((3, 2, 1, 1, 1, 2), 'is not FC and Reduced')
((3, 2, 1, 1, 1, 3), 'is not FC and Reduced')
((3, 2, 1, 1, 2, 1), 'is not FC and Reduced')
((3, 2, 1, 1, 2, 2), 'is not FC and Reduced')
((3, 2, 1, 1, 2, 3), 'is not FC and Reduced')
((3, 2, 1, 1, 3, 1), 'is not FC and Reduced')
((3, 2, 1, 1, 3, 2), 'is not FC and Reduced')
((3, 2, 1, 1, 3, 3), 'is not FC and Reduced')
((3, 2, 1, 2, 1, 1), 'is not FC and Reduced')
((3, 2, 1, 2, 1, 2), 'is not FC and Reduced')
((3, 2, 1, 2, 1, 3), 'is not FC and Reduced')
((3, 2, 1, 2, 2, 1), 'is not FC and Reduced')
((3, 2, 1, 2, 2, 2), 'is not FC and Reduced')
((3, 2, 1, 2, 2, 3), 'is not FC and Reduced')
((3, 2, 1, 2, 3, 1), 'is not FC and Reduced')
((3, 2, 1, 2, 3, 2), 'is not FC and Reduced')
((3, 2, 1, 2, 3, 3), 'is not FC and Reduced')
((3, 2, 1, 3, 1, 1), 'is not FC and Reduced')
((3, 2, 1, 3, 1, 2), 'is not FC and Reduced')
((3, 2, 1, 3, 1, 3), 'is not FC and Reduced')
((3, 2, 1, 3, 2, 1), 'is not FC and Reduced')
((3, 2, 1, 3, 2, 2), 'is not FC and Reduced')
((3, 2, 1, 3, 2, 3), 'is not FC and Reduced')
((3, 2, 1, 3, 3, 1), 'is not FC and Reduced')
((3, 2, 1, 3, 3, 2), 'is not FC and Reduced')
((3, 2, 1, 3, 3, 3), 'is not FC and Reduced')
((3, 2, 2, 1, 1, 1), 'is not FC and Reduced')
((3, 2, 2, 1, 1, 2), 'is not FC and Reduced')
((3, 2, 2, 1, 1, 3), 'is not FC and Reduced')
((3, 2, 2, 1, 2, 1), 'is not FC and Reduced')
((3, 2, 2, 1, 2, 2), 'is not FC and Reduced')
((3, 2, 2, 1, 2, 3), 'is not FC and Reduced')
((3, 2, 2, 1, 3, 1), 'is not FC and Reduced')
((3, 2, 2, 1, 3, 2), 'is not FC and Reduced')
((3, 2, 2, 1, 3, 3), 'is not FC and Reduced')
((3, 2, 2, 2, 1, 1), 'is not FC and Reduced')
((3, 2, 2, 2, 1, 2), 'is not FC and Reduced')
((3, 2, 2, 2, 1, 3), 'is not FC and Reduced')
((3, 2, 2, 2, 2, 1), 'is not FC and Reduced')
((3, 2, 2, 2, 2, 2), 'is not FC and Reduced')
((3, 2, 2, 2, 2, 3), 'is not FC and Reduced')
((3, 2, 2, 2, 3, 1), 'is not FC and Reduced')
((3, 2, 2, 2, 3, 2), 'is not FC and Reduced')
((3, 2, 2, 2, 3, 3), 'is not FC and Reduced')
((3, 2, 2, 3, 1, 1), 'is not FC and Reduced')
((3, 2, 2, 3, 1, 2), 'is not FC and Reduced')
((3, 2, 2, 3, 1, 3), 'is not FC and Reduced')
((3, 2, 2, 3, 2, 1), 'is not FC and Reduced')
((3, 2, 2, 3, 2, 2), 'is not FC and Reduced')
((3, 2, 2, 3, 2, 3), 'is not FC and Reduced')
((3, 2, 2, 3, 3, 1), 'is not FC and Reduced')
((3, 2, 2, 3, 3, 2), 'is not FC and Reduced')
((3, 2, 2, 3, 3, 3), 'is not FC and Reduced')
((3, 2, 3, 1, 1, 1), 'is not FC and Reduced')
((3, 2, 3, 1, 1, 2), 'is not FC and Reduced')
((3, 2, 3, 1, 1, 3), 'is not FC and Reduced')
((3, 2, 3, 1, 2, 1), 'is not FC and Reduced')
((3, 2, 3, 1, 2, 2), 'is not FC and Reduced')
((3, 2, 3, 1, 2, 3), 'is not FC and Reduced')
((3, 2, 3, 1, 3, 1), 'is not FC and Reduced')
((3, 2, 3, 1, 3, 2), 'is not FC and Reduced')
((3, 2, 3, 1, 3, 3), 'is not FC and Reduced')
((3, 2, 3, 2, 1, 1), 'is not FC and Reduced')
((3, 2, 3, 2, 1, 2), 'is not FC and Reduced')
((3, 2, 3, 2, 1, 3), 'is not FC and Reduced')
((3, 2, 3, 2, 2, 1), 'is not FC and Reduced')
((3, 2, 3, 2, 2, 2), 'is not FC and Reduced')
((3, 2, 3, 2, 2, 3), 'is not FC and Reduced')
((3, 2, 3, 2, 3, 1), 'is not FC and Reduced')
((3, 2, 3, 2, 3, 2), 'is not FC and Reduced')
((3, 2, 3, 2, 3, 3), 'is not FC and Reduced')
((3, 2, 3, 3, 1, 1), 'is not FC and Reduced')
((3, 2, 3, 3, 1, 2), 'is not FC and Reduced')
((3, 2, 3, 3, 1, 3), 'is not FC and Reduced')
((3, 2, 3, 3, 2, 1), 'is not FC and Reduced')
((3, 2, 3, 3, 2, 2), 'is not FC and Reduced')
((3, 2, 3, 3, 2, 3), 'is not FC and Reduced')
((3, 2, 3, 3, 3, 1), 'is not FC and Reduced')
((3, 2, 3, 3, 3, 2), 'is not FC and Reduced')
((3, 2, 3, 3, 3, 3), 'is not FC and Reduced')
((3, 3, 1, 1, 1, 1), 'is not FC and Reduced')
((3, 3, 1, 1, 1, 2), 'is not FC and Reduced')
((3, 3, 1, 1, 1, 3), 'is not FC and Reduced')
((3, 3, 1, 1, 2, 1), 'is not FC and Reduced')
((3, 3, 1, 1, 2, 2), 'is not FC and Reduced')
((3, 3, 1, 1, 2, 3), 'is not FC and Reduced')
((3, 3, 1, 1, 3, 1), 'is not FC and Reduced')
((3, 3, 1, 1, 3, 2), 'is not FC and Reduced')
((3, 3, 1, 1, 3, 3), 'is not FC and Reduced')
((3, 3, 1, 2, 1, 1), 'is not FC and Reduced')
((3, 3, 1, 2, 1, 2), 'is not FC and Reduced')
((3, 3, 1, 2, 1, 3), 'is not FC and Reduced')
((3, 3, 1, 2, 2, 1), 'is not FC and Reduced')
((3, 3, 1, 2, 2, 2), 'is not FC and Reduced')
((3, 3, 1, 2, 2, 3), 'is not FC and Reduced')
((3, 3, 1, 2, 3, 1), 'is not FC and Reduced')
((3, 3, 1, 2, 3, 2), 'is not FC and Reduced')
((3, 3, 1, 2, 3, 3), 'is not FC and Reduced')
((3, 3, 1, 3, 1, 1), 'is not FC and Reduced')
((3, 3, 1, 3, 1, 2), 'is not FC and Reduced')
((3, 3, 1, 3, 1, 3), 'is not FC and Reduced')
((3, 3, 1, 3, 2, 1), 'is not FC and Reduced')
((3, 3, 1, 3, 2, 2), 'is not FC and Reduced')
((3, 3, 1, 3, 2, 3), 'is not FC and Reduced')
((3, 3, 1, 3, 3, 1), 'is not FC and Reduced')
((3, 3, 1, 3, 3, 2), 'is not FC and Reduced')
((3, 3, 1, 3, 3, 3), 'is not FC and Reduced')
((3, 3, 2, 1, 1, 1), 'is not FC and Reduced')
((3, 3, 2, 1, 1, 2), 'is not FC and Reduced')
((3, 3, 2, 1, 1, 3), 'is not FC and Reduced')
((3, 3, 2, 1, 2, 1), 'is not FC and Reduced')
((3, 3, 2, 1, 2, 2), 'is not FC and Reduced')
((3, 3, 2, 1, 2, 3), 'is not FC and Reduced')
((3, 3, 2, 1, 3, 1), 'is not FC and Reduced')
((3, 3, 2, 1, 3, 2), 'is not FC and Reduced')
((3, 3, 2, 1, 3, 3), 'is not FC and Reduced')
((3, 3, 2, 2, 1, 1), 'is not FC and Reduced')
((3, 3, 2, 2, 1, 2), 'is not FC and Reduced')
((3, 3, 2, 2, 1, 3), 'is not FC and Reduced')
((3, 3, 2, 2, 2, 1), 'is not FC and Reduced')
((3, 3, 2, 2, 2, 2), 'is not FC and Reduced')
((3, 3, 2, 2, 2, 3), 'is not FC and Reduced')
((3, 3, 2, 2, 3, 1), 'is not FC and Reduced')
((3, 3, 2, 2, 3, 2), 'is not FC and Reduced')
((3, 3, 2, 2, 3, 3), 'is not FC and Reduced')
((3, 3, 2, 3, 1, 1), 'is not FC and Reduced')
((3, 3, 2, 3, 1, 2), 'is not FC and Reduced')
((3, 3, 2, 3, 1, 3), 'is not FC and Reduced')
((3, 3, 2, 3, 2, 1), 'is not FC and Reduced')
((3, 3, 2, 3, 2, 2), 'is not FC and Reduced')
((3, 3, 2, 3, 2, 3), 'is not FC and Reduced')
((3, 3, 2, 3, 3, 1), 'is not FC and Reduced')
((3, 3, 2, 3, 3, 2), 'is not FC and Reduced')
((3, 3, 2, 3, 3, 3), 'is not FC and Reduced')
((3, 3, 3, 1, 1, 1), 'is not FC and Reduced')
((3, 3, 3, 1, 1, 2), 'is not FC and Reduced')
((3, 3, 3, 1, 1, 3), 'is not FC and Reduced')
((3, 3, 3, 1, 2, 1), 'is not FC and Reduced')
((3, 3, 3, 1, 2, 2), 'is not FC and Reduced')
((3, 3, 3, 1, 2, 3), 'is not FC and Reduced')
((3, 3, 3, 1, 3, 1), 'is not FC and Reduced')
((3, 3, 3, 1, 3, 2), 'is not FC and Reduced')
((3, 3, 3, 1, 3, 3), 'is not FC and Reduced')
((3, 3, 3, 2, 1, 1), 'is not FC and Reduced')
((3, 3, 3, 2, 1, 2), 'is not FC and Reduced')
((3, 3, 3, 2, 1, 3), 'is not FC and Reduced')
((3, 3, 3, 2, 2, 1), 'is not FC and Reduced')
((3, 3, 3, 2, 2, 2), 'is not FC and Reduced')
((3, 3, 3, 2, 2, 3), 'is not FC and Reduced')
((3, 3, 3, 2, 3, 1), 'is not FC and Reduced')
((3, 3, 3, 2, 3, 2), 'is not FC and Reduced')
((3, 3, 3, 2, 3, 3), 'is not FC and Reduced')
((3, 3, 3, 3, 1, 1), 'is not FC and Reduced')
((3, 3, 3, 3, 1, 2), 'is not FC and Reduced')
((3, 3, 3, 3, 1, 3), 'is not FC and Reduced')
((3, 3, 3, 3, 2, 1), 'is not FC and Reduced')
((3, 3, 3, 3, 2, 2), 'is not FC and Reduced')
((3, 3, 3, 3, 2, 3), 'is not FC and Reduced')
((3, 3, 3, 3, 3, 1), 'is not FC and Reduced')
((3, 3, 3, 3, 3, 2), 'is not FC and Reduced')
((3, 3, 3, 3, 3, 3), 'is not FC and Reduced')