ha:parenright {
    width=50.0mil; delta=12.0mil;
    li:objects {
     li:simplepoly.0 {
       7.3mil; 24.05mil
       8.69mil; 28.0mil
       9.85mil; 32.05mil
       10.73mil; 36.15mil
       11.37mil; 40.38mil
       11.77mil; 44.67mil
       11.92mil; 49.2mil
       11.77mil; 54.07mil
       11.4mil; 58.75mil
       10.79mil; 63.29mil
       9.91mil; 67.64mil
       8.82mil; 71.83mil
       7.42mil; 75.97mil
       7.14mil; 76.52mil
       6.87mil; 76.98mil
       6.57mil; 77.31mil
       6.23mil; 77.58mil
       5.87mil; 77.74mil
       5.47mil; 77.8mil
       4.71mil; 77.74mil
       4.1mil; 77.55mil
       3.65mil; 77.31mil
       3.31mil; 76.91mil
       3.1mil; 76.46mil
       3.04mil; 75.85mil
       3.04mil; 75.52mil
       3.07mil; 75.18mil
       3.16mil; 74.82mil
       3.25mil; 74.42mil
       3.4mil; 73.99mil
       3.58mil; 73.54mil
       4.83mil; 69.95mil
       5.87mil; 66.21mil
       6.66mil; 62.25mil
       7.23mil; 58.18mil
       7.6mil; 53.89mil
       7.72mil; 49.29mil
       7.6mil; 45.4mil
       7.23mil; 41.57mil
       6.69mil; 37.83mil
       5.87mil; 34.12mil
       4.83mil; 30.53mil
       3.55mil; 26.85mil
       3.37mil; 26.45mil
       3.25mil; 26.06mil
       3.16mil; 25.69mil
       3.07mil; 25.36mil
       3.04mil; 25.08mil
       3.04mil; 24.78mil
       3.07mil; 24.14mil
       3.25mil; 23.59mil
       3.52mil; 23.17mil
       3.92mil; 22.86mil
       4.41mil; 22.68mil
       5.04mil; 22.59mil
       5.56mil; 22.65mil
       6.02mil; 22.77mil
       6.41mil; 22.95mil
       6.78mil; 23.26mil
       7.05mil; 23.59mil
     }
    height = 63.33mil
   }