construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 7 x 6 binary matrices (0-indexed, one row per line). A: 110011 001110 101010 101101 001111 111110 001010 B: 111001 110010 010010 011110 110111 010110 101110