(0 0 +1u 1 +2u 0 +1u 1 +1u 0 +1u 1)