construct/rlve largest convex polygon
construct/rlve largest convex polygon: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 9 points in the plane, indexed 0..8 (distinct, no three collinear): 0: (7, 4) 1: (1, 2) 2: (2, 8) 3: (0, 0) 4: (3, 7) 5: (6, 7) 6: (7, 6) 7: (0, 5) 8: (5, 2)
The task
You are given 9 points in the plane, indexed 0..8 (distinct, no three collinear): 0: (7, 4) 1: (1, 2) 2: (2, 8) 3: (0, 0) 4: (3, 7) 5: (6, 7) 6: (7, 6) 7: (0, 5) 8: (5, 2)