construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 15 x 7 binary matrices (0-indexed, one row per line). A: 0000100 0000110 0001011 1100010 0010011 0000000 1101000 0001010 0000000 1011001 0100000 0000000 0000000 0000000 0100000…
The task
A and B are 15 x 7 binary matrices (0-indexed, one row per line). A: 0000100 0000110 0001011 1100010 0010011 0000000 1101000 0001010 0000000 1011001 0100000 0000000 0000000 0000000 0100000 B: 0000010 0010000 0000000 1100000 1001101 0101100 0000000 0110000 0000000 1000011 0100011 0000000 1101000 0000000 0000010