110000 flip 0 -> 010000 flip 1 -> 000000 U(s3)= []
111000 flip 2 -> 110000 flip 0 -> 010000 U(s3)= [1]
110100 flip 3 -> 110000 flip 0 -> 010000 U(s3)= [1]
001011 flip 3 -> 001111 flip 0 -> 101111 U(s3)= [1]
000111 flip 2 -> 001111 flip 0 -> 101111 U(s3)= [1]
001111 flip 0 -> 101111 flip 1 -> 111111 U(s3)= []
