construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 6 x 11 binary matrices (0-indexed, one row per line). A: 00110101000 01100000000 00000000000 00001110000 00000010000 00101000011 B: 00100100011 00011000110 00000000000…