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: (1, 1) 1: (9, 6) 2: (0, 9) 3: (4, 2) 4: (5, 7) 5: (9, 8) 6: (5, 3) 7: (6, 3) 8: (7, 8)
The task
You are given 9 points in the plane, indexed 0..8 (distinct, no three collinear): 0: (1, 1) 1: (9, 6) 2: (0, 9) 3: (4, 2) 4: (5, 7) 5: (9, 8) 6: (5, 3) 7: (6, 3) 8: (7, 8)