construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 21 x 25 binary matrices (0-indexed, one row per line). A: 1100110001001111111001101 1001101111010000010110100 0011111010110100000111111 1000000001111011110011000…
The task
A and B are 21 x 25 binary matrices (0-indexed, one row per line). A: 1100110001001111111001101 1001101111010000010110100 0011111010110100000111111 1000000001111011110011000 1001010011111110111001001 0000111101100000000100110 1111011100101111111101101 1100010000101100110101010 1000001011011101000110110…