U #grey_3 = #bin_3 U #grey_2 UN #bin_3 O UN #grey_2 U #bin_3 = #bin_2 U #grey_1 UN #bin_2 O UN #grey_1 U #bin_2 = #bin_1 U #grey_0 UN #bin_1 O UN #grey_0 U #bin_1 = #bin_0