construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 5 x 12 binary matrices (0-indexed, one row per line). A: 110011100010 100110001110 011010011010 010110101011 010110000111 B: 100100101011 000101101101 110101101010 101111100000…