construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 7 x 7 binary matrices (0-indexed, one row per line). A: 1101111 1111111 1110111 1110111 1111111 1111111 1111111 B: 1011111 1111110 1011111 1111111 1111111 1111111 1111111