// Points from fx80080.dat in the archive: http://m-selig.ae.illinois.edu/ads/archives/coord_seligFmt.tar.gz
// Not necessarily in the same order as in: http://m-selig.ae.illinois.edu/ads/coord/fx80080.dat

fx80080_points = [[1000,0],[998.93,1.11],[995.72,2],[990.39,3.26],[982.96,4.83],[973.47,6.64],[961.94,8.67],[948.44,10.89],[933.01,13.36],[915.73,16.06],[896.68,19.01],[875.92,22.1799],[853.55,25.61],[829.67,29.27],[804.38,33.16],[777.79,37.16],[750,41.22],[721.14,45.05],[691.34,48.76],[660.72,52.07],[629.41,55.03],[597.55,57.38],[565.26,59.26],[532.6999,60.62],[500,61.53],[467.3,61.99],[434.74,62.07],[402.4499,61.75],[370.5899,61.1],[339.28,60.07],[308.66,58.72],[278.86,57.04],[250,55.07],[222.21,52.79],[195.6199,50.27],[170.33,47.48],[146.45,44.49],[124.08,41.27],[103.32,37.89],[84.27,34.33],[66.9899,30.66],[51.56,26.86],[38.0599,22.97],[26.53,18.97],[17.04,14.92],[9.61,10.82],[4.28,6.92],[1.07,3.13],[0,0],[1.07,-2.59],[4.28,-5.16],[9.61,-7.38],[17.04,-9.42],[26.53,-11.17],[38.0599,-12.67],[51.56,-13.94],[66.9899,-15.02],[84.27,-15.93],[103.32,-16.73],[124.08,-17.39],[146.45,-17.97],[170.33,-18.42],[195.6199,-18.81],[222.21,-19.07],[250,-19.27],[278.86,-19.36],[308.66,-19.38],[339.28,-19.2901],[370.5899,-19.1201],[402.4499,-18.85],[434.74,-18.49],[467.3,-17.99],[500,-17.41],[532.6999,-16.62],[565.26,-15.68],[597.55,-14.48],[629.41,-13.0501],[660.72,-11.29],[691.34,-9.42],[721.14,-7.37],[750,-5.42],[777.79,-3.44],[804.38,-1.7],[829.67,-0.21],[853.55,0.91],[875.92,1.7],[896.68,2.15],[915.73,2.34],[933.01,2.28],[948.44,2.03],[961.94,1.63],[973.47,1.16],[982.96,0.67],[990.39,0.18],[995.72,0.24],[998.93,0.57]];

linear_extrude(height=20)
scale([15, 15])
translate([0,0])
scale (0.001)
polygon(points=fx80080_points);