0 0 0 0 0 0 1 0 0 0 1 0 2 0 0 1 0 0 3 0 0 1 1 0 4 0 1 0 0 1 5 0 1 0 1 1 6 0 1 1 0 0 7 0 1 1 1 0 8 1 0 0 0 0 9 1 0 0 1 0 10 1 0 1 0 0 11 1 0 1 1 1 12 1 1 0 0 0 13 1 1 0 1 0 14 1 1 1 0 0 15 1 1 1 1 0 4 0 1 0 0 1 5 0 1 0 1 1 11 1 0 1 1 1 4;5 0 1 0 - 11 1 0 1 1 (not x3 and x2 and not x1) or (x3 and not x2 and x1 and x0)