construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 8 x 6 binary matrices (0-indexed, one row per line). A: 100110 111111 111010 111101 110010 111111 101011 011111 B: 111111 010101 101101 001111 111110 000111 111011 111111