construct/rlve largest rectangle

construct/rlve largest rectangle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 60 distinct lattice points, indexed 0..59: 0: (12, 42) 1: (47, 43) 2: (3, -57) 3: (10, -10) 4: (35, 55) 5: (-4, 5) 6: (-18, 32) 7: (-38, 3) 8: (-21, -18) 9: (-17, 57) 10: (27, -53) 11…