construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 3 x 4 binary matrices (0-indexed, one row per line). A: 1100 0001 0001 B: 0001 0110 0001