construct/rlve matrix permutation equivalence
construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 23 x 20 binary matrices (0-indexed, one row per line). A: 10000000100000001001 01001000000011010010 00001000000010000011 10011011000000100110 11100011010011010101…
The task
A and B are 23 x 20 binary matrices (0-indexed, one row per line). A: 10000000100000001001 01001000000011010010 00001000000010000011 10011011000000100110 11100011010011010101 00010010010000100101 01000001000100000001 01000100000000001010 11000000000100000000 11011000000000000000 11001000001100000110…