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