ha:nine {
    width=50.0mil; delta=12.0mil;
    li:objects {
     li:simplepoly.0 {
       8.51mil; 71.07mil
       8.54mil; 70.59mil
       8.72mil; 70.16mil
       9.03mil; 69.77mil
       9.45mil; 69.4mil
       9.97mil; 69.1mil
       10.67mil; 68.82mil
       11.65mil; 68.49mil
       12.56mil; 68.09mil
       13.47mil; 67.67mil
       14.29mil; 67.18mil
       15.11mil; 66.63mil
       15.9mil; 66.02mil
       17.55mil; 64.5mil
       18.95mil; 62.83mil
       20.1mil; 61.07mil
       21.01mil; 59.15mil
       21.68mil; 57.11mil
       22.14mil; 54.89mil
       14.75mil; 54.89mil
       13.47mil; 54.83mil
       12.25mil; 54.62mil
       11.07mil; 54.22mil
       9.94mil; 53.71mil
       8.82mil; 53.04mil
       7.75mil; 52.18mil
       6.57mil; 51.06mil
       5.62mil; 49.87mil
       4.89mil; 48.6mil
       4.38mil; 47.29mil
       4.04mil; 45.92mil
       3.95mil; 44.43mil
       3.95mil; 44.28mil
       3.95mil; 43.73mil
       3.95mil; 42.85mil
       3.95mil; 41.63mil
       3.95mil; 40.05mil
       3.95mil; 38.01mil
       4.07mil; 36.37mil
       4.47mil; 34.82mil
       5.17mil; 33.33mil
       6.11mil; 31.93mil
       7.33mil; 30.62mil
       8.91mil; 29.31mil
       9.79mil; 28.73mil
       10.79mil; 28.28mil
       11.86mil; 27.88mil
       13.01mil; 27.64mil
       14.26mil; 27.45mil
       15.63mil; 27.39mil
       17.03mil; 27.52mil
       18.4mil; 27.79mil
       19.74mil; 28.28mil
       21.04mil; 28.95mil
       22.29mil; 29.8mil
       23.54mil; 30.86mil
       24.51mil; 31.96mil
       25.3mil; 33.14mil
       25.94mil; 34.42mil
       26.37mil; 35.79mil
       26.64mil; 37.25mil
       26.76mil; 38.86mil
       26.76mil; 39.26mil
       26.76mil; 40.41mil
       26.76mil; 42.33mil
       26.76mil; 45.04mil
       26.76mil; 48.47mil
       26.76mil; 52.85mil
       26.7mil; 54.34mil
       26.58mil; 55.74mil
       26.37mil; 57.11mil
       26.06mil; 58.39mil
       25.67mil; 59.64mil
       25.18mil; 60.85mil
       24.3mil; 62.65mil
       23.36mil; 64.29mil
       22.38mil; 65.75mil
       21.38mil; 67.06mil
       20.31mil; 68.18mil
       19.19mil; 69.16mil
       17.42mil; 70.44mil
       15.81mil; 71.47mil
       14.35mil; 72.29mil
       12.98mil; 72.87mil
       11.8mil; 73.2mil
       10.7mil; 73.33mil
       10.03mil; 73.26mil
       9.49mil; 73.08mil
       9.06mil; 72.78mil
       8.76mil; 72.35mil
       8.57mil; 71.8mil
     }
     li:simplepoly.1 {
       22.26mil; 39.14mil
       22.2mil; 38.16mil
       22.05mil; 37.22mil
       21.77mil; 36.37mil
       21.44mil; 35.55mil
       20.98mil; 34.82mil
       20.41mil; 34.09mil
       19.68mil; 33.42mil
       18.88mil; 32.87mil
       18.06mil; 32.44mil
       17.18mil; 32.14mil
       16.27mil; 31.96mil
       15.26mil; 31.87mil
       14.38mil; 31.93mil
       13.56mil; 32.08mil
       12.74mil; 32.35mil
       11.95mil; 32.69mil
       11.19mil; 33.14mil
       10.46mil; 33.72mil
       9.79mil; 34.39mil
       9.24mil; 35.12mil
       8.82mil; 35.94mil
       8.51mil; 36.79mil
       8.33mil; 37.74mil
       8.27mil; 38.77mil
       8.27mil; 43.7mil
       8.33mil; 44.7mil
       8.54mil; 45.64mil
       8.88mil; 46.53mil
       9.36mil; 47.35mil
       9.97mil; 48.11mil
       10.76mil; 48.84mil
       11.46mil; 49.36mil
       12.25mil; 49.75mil
       13.17mil; 50.09mil
       14.17mil; 50.3mil
       15.26mil; 50.45mil
       16.51mil; 50.48mil
       22.26mil; 50.48mil
       22.26mil; 50.18mil
       22.26mil; 49.26mil
       22.26mil; 47.68mil
       22.26mil; 45.52mil
       22.26mil; 42.69mil
     }
    height = 63.33mil
   }