ha:bracketleft {
    width=50.0mil; delta=12.0mil;
    li:objects {
     li:simplepoly.0 {
       4.56mil; 25.14mil
       4.62mil; 24.44mil
       4.8mil; 23.87mil
       5.11mil; 23.41mil
       5.53mil; 23.07mil
       6.08mil; 22.89mil
       6.81mil; 22.8mil
       6.9mil; 22.8mil
       7.26mil; 22.8mil
       7.87mil; 22.8mil
       8.69mil; 22.8mil
       9.79mil; 22.8mil
       11.16mil; 22.8mil
       11.86mil; 22.86mil
       12.44mil; 23.04mil
       12.89mil; 23.35mil
       13.23mil; 23.77mil
       13.41mil; 24.32mil
       13.5mil; 24.99mil
       13.41mil; 25.69mil
       13.23mil; 26.24mil
       12.92mil; 26.69mil
       12.5mil; 27.0mil
       11.92mil; 27.18mil
       11.22mil; 27.24mil
       9.0mil; 27.24mil
       9.0mil; 73.69mil
       11.19mil; 73.69mil
       11.89mil; 73.72mil
       12.47mil; 73.9mil
       12.89mil; 74.18mil
       13.23mil; 74.57mil
       13.41mil; 75.09mil
       13.5mil; 75.76mil
       13.41mil; 76.43mil
       13.23mil; 76.98mil
       12.86mil; 77.4mil
       12.41mil; 77.71mil
       11.8mil; 77.89mil
       11.04mil; 77.98mil
       6.69mil; 77.98mil
       6.02mil; 77.89mil
       5.5mil; 77.71mil
       5.07mil; 77.4mil
       4.77mil; 76.98mil
       4.62mil; 76.43mil
       4.56mil; 75.76mil
       4.56mil; 74.36mil
       4.56mil; 70.22mil
       4.56mil; 63.26mil
       4.56mil; 53.52mil
       4.56mil; 41.02mil
     }
    height = 63.33mil
   }