Completed version of binary transform with permutation iterator