ha:five {
    width=50.0mil; delta=12.0mil;
    li:objects {
     li:simplepoly.0 {
       3.95mil; 29.71mil
       4.01mil; 29.01mil
       4.22mil; 28.43mil
       4.59mil; 28.0mil
       5.11mil; 27.67mil
       5.74mil; 27.49mil
       6.6mil; 27.39mil
       7.08mil; 27.39mil
       8.54mil; 27.39mil
       11.01mil; 27.39mil
       14.44mil; 27.39mil
       18.85mil; 27.39mil
       24.48mil; 27.39mil
       25.24mil; 27.45mil
       25.85mil; 27.64mil
       26.37mil; 27.94mil
       26.7mil; 28.37mil
       26.91mil; 28.91mil
       27.01mil; 29.58mil
       26.91mil; 30.25mil
       26.73mil; 30.8mil
       26.4mil; 31.23mil
       25.94mil; 31.53mil
       25.33mil; 31.71mil
       24.6mil; 31.77mil
       8.42mil; 31.77mil
       8.42mil; 45.86mil
       15.17mil; 45.86mil
       17.03mil; 45.98mil
       18.79mil; 46.34mil
       20.44mil; 46.95mil
       21.93mil; 47.8mil
       23.3mil; 48.87mil
       24.6mil; 50.24mil
       25.3mil; 51.24mil
       25.91mil; 52.31mil
       26.37mil; 53.43mil
       26.7mil; 54.62mil
       26.88mil; 55.9mil
       26.98mil; 57.23mil
       26.98mil; 62.13mil
       26.88mil; 63.71mil
       26.61mil; 65.17mil
       26.15mil; 66.54mil
       25.52mil; 67.82mil
       24.69mil; 68.98mil
       23.66mil; 70.07mil
       22.47mil; 71.07mil
       21.26mil; 71.9mil
       19.98mil; 72.5mil
       18.67mil; 72.96mil
       17.33mil; 73.23mil
       15.93mil; 73.33mil
       6.44mil; 73.33mil
       5.71mil; 73.29mil
       5.14mil; 73.11mil
       4.68mil; 72.81mil
       4.34mil; 72.41mil
       4.16mil; 71.86mil
       4.1mil; 71.2mil
       4.16mil; 70.56mil
       4.38mil; 70.01mil
       4.71mil; 69.58mil
       5.2mil; 69.31mil
       5.84mil; 69.13mil
       6.66mil; 69.04mil
       15.11mil; 69.04mil
       16.33mil; 68.98mil
       17.45mil; 68.76mil
       18.46mil; 68.4mil
       19.4mil; 67.91mil
       20.22mil; 67.24mil
       20.98mil; 66.42mil
       21.44mil; 65.78mil
       21.8mil; 65.08mil
       22.11mil; 64.32mil
       22.32mil; 63.56mil
       22.44mil; 62.74mil
       22.5mil; 61.83mil
       22.5mil; 57.23mil
       22.44mil; 56.35mil
       22.29mil; 55.5mil
       22.05mil; 54.71mil
       21.71mil; 53.95mil
       21.26mil; 53.22mil
       20.71mil; 52.49mil
       19.98mil; 51.82mil
       19.13mil; 51.27mil
       18.18mil; 50.82mil
       17.09mil; 50.51mil
       15.9mil; 50.33mil
       14.57mil; 50.24mil
       6.17mil; 50.24mil
       5.47mil; 50.18mil
       4.92mil; 49.96mil
       4.5mil; 49.6mil
       4.19mil; 49.11mil
       4.01mil; 48.47mil
       3.95mil; 47.65mil
     }
    height = 63.33mil
   }