// Points from s8025.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/s8025.dat

s8025_points = [[1000,0],[999.19,0.02],[996.78,0.12],[992.84,0.34],[987.45,0.66],[980.63,1.0399],[972.38,1.47],[962.7,1.96],[951.65,2.53],[939.25,3.18],[925.56,3.91],[910.6,4.73],[894.45,5.6299],[877.13,6.62],[858.72,7.69],[839.27,8.85],[818.84,10.09],[797.49,11.41],[775.28,12.81],[752.3,14.29],[728.6,15.85],[704.2699,17.49],[679.38,19.21],[654.05,21],[628.35,22.84],[602.35,24.71],[576.15,26.58],[549.8,28.45],[523.39,30.31],[497.02,32.12],[470.73,33.87],[444.61,35.55],[418.73,37.14],[393.1799,38.62],[368.01,39.97],[343.27,41.18],[319.06,42.2299],[295.43,43.11],[272.44,43.79],[250.13,44.26],[228.57,44.5199],[207.82,44.54],[187.91,44.28],[168.84,43.77],[150.69,43.01],[133.5,41.99],[117.29,40.67],[102.03,39.0799],[87.79,37.25],[74.62,35.1599],[62.5,32.8],[51.41,30.21],[41.3699,27.43],[32.4399,24.4799],[24.61,21.34],[17.81,18.06],[12.1,14.72],[7.52,11.36],[4.06,7.96],[1.63,4.58],[0.25,1.41],[0.2,-1.26],[1.77,-3.76],[4.81,-6.49],[9.07,-9.32],[14.51,-12.16],[21.09,-14.96],[28.77,-17.63],[37.61,-20.12],[47.65,-22.4401],[58.82,-24.62],[71.09,-26.6],[84.47,-28.36],[98.96,-29.93],[114.51,-31.3],[131.07,-32.47],[148.62,-33.43],[167.16,-34.17],[186.62,-34.74],[206.94,-35.11],[228.09,-35.3],[250.02,-35.3],[272.67,-35.15],[295.96,-34.83],[319.86,-34.36],[344.31,-33.74],[369.23,-32.99],[394.55,-32.11],[420.21,-31.12],[446.14,-30.02],[472.27,-28.83],[498.51,-27.54],[524.81,-26.15],[551.13,-24.7],[577.38,-23.2],[603.49,-21.68],[629.36,-20.15],[654.94,-18.62],[680.13,-17.12],[704.85,-15.64],[729.04,-14.2],[752.61,-12.81],[775.49,-11.47],[797.61,-10.2001],[818.9,-8.99],[839.29,-7.86],[858.71,-6.81],[877.1,-5.83],[894.41,-4.94],[910.57,-4.13],[925.52,-3.4],[939.22,-2.76],[951.63,-2.19],[962.69,-1.7],[972.37,-1.27],[980.62,-0.9],[987.45,-0.57],[992.84,-0.29],[996.77,-0.1],[999.19,-0.0101]];

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