construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 2 x 7 binary matrices (0-indexed, one row per line). A: 0111010 1100001 B: 1100110 1011000

The task

A and B are 2 x 7 binary matrices (0-indexed, one row per line). A: 0111010 1100001 B: 1100110 1011000

Part of amphora/MathConstructOptimize-Envs-harbor.