construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 13 x 15 binary matrices (0-indexed, one row per line). A: 000000110000100 000000000001010 100000101000100 000100000000010 011000101000010 000111000001100 011100000001000…
The task
A and B are 13 x 15 binary matrices (0-indexed, one row per line). A: 000000110000100 000000000001010 100000101000100 000100000000010 011000101000010 000111000001100 011100000001000 000000001010000 000000000000100 000000110000000 000100001100000 000000100100100 000011001000000 B: 100100100100010 000000000100101…