construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 6 x 9 binary matrices (0-indexed, one row per line). A: 010000100 000000000 100000000 000000000 000000000 000000000 B: 000000000 000000000 000000000 000000100 101000000 000000000