construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 7 x 7 binary matrices (0-indexed, one row per line). A: 0101101 0011011 0010011 1100000 1111110 0110000 0001111 B: 0100001 0100110 1010110 1010101 0001001 1111011 0110110