construct/rlve matrix permutation equivalence

construct/rlve matrix permutation equivalence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A and B are 6 x 15 binary matrices (0-indexed, one row per line). A: 111111011111111 101010111111110 111111101100111 101011111111111 111101111111111 101100111101111 B: 111011111111000…

The task

A and B are 6 x 15 binary matrices (0-indexed, one row per line). A: 111111011111111 101010111111110 111111101100111 101011111111111 111101111111111 101100111101111 B: 111011111111000 110111111111111 101011111111111 101011110111110 011111011111011 111111111111101

Part of amphora/MathConstructOptimize-Envs-harbor.