4 8    # 4 gates, 8 wires
2 2 2  # 2 parties, 2 bits for each of them
1 1    # 1 output, 1 bit long
2 1 0 1 4 AND  # 2 inputs, 1 output, wire #0 AND wire #1 --> wire #4
2 1 2 3 5 AND
2 1 4 5 6 AND
1 1 6 7 INV  # 1 input, 1 output, invert wire 6 --> wire 7
