# DECODER2
# Input:  x1, x2
# Output: y1, y2, y3, y4

GATE("x<1:2>", type="inp")
GATE("y<1:4>", type="out")
GATE("g<1:4>", type="and2")
GATE("g<5:6>", type="not")
WIRE("x1", "g5/x")
WIRE("x1", "g<3:4>/x1")
WIRE("x2", "g6/x")
WIRE("x2", "g<2:4>/x2")
WIRE("g5/y", "g<1,2>/x1")
WIRE("g6/y", "g<1,3>/x2")
WIRE("g<1:4>/y", "y<1:4>")