This is a 6 inputs and 1 output function. The output is assigned to one iff the number of ones in the input is 2, 3, or 4. Thanks to Maslovs et. al benchmark page for the specification.