[math-fun] minimum area convex lattice polygons (yes, again 8-))