ha:semicolon {
    width=50.0mil; delta=12.0mil;
    li:objects {
     li:simplepoly.0 {
       6.75mil; 65.33mil
       6.93mil; 64.72mil
       7.2mil; 64.2mil
       7.51mil; 63.8mil
       7.9mil; 63.53mil
       8.33mil; 63.35mil
       8.88mil; 63.29mil
       9.55mil; 63.35mil
       10.12mil; 63.53mil
       10.58mil; 63.8mil
       10.88mil; 64.17mil
       11.07mil; 64.66mil
       11.16mil; 65.26mil
       11.13mil; 65.51mil
       11.13mil; 65.75mil
       11.1mil; 65.99mil
       11.07mil; 66.24mil
       11.01mil; 66.48mil
       10.98mil; 66.72mil
       9.0mil; 74.72mil
       8.76mil; 75.36mil
       8.48mil; 75.88mil
       8.15mil; 76.31mil
       7.75mil; 76.61mil
       7.3mil; 76.76mil
       6.75mil; 76.85mil
       6.08mil; 76.79mil
       5.53mil; 76.61mil
       5.11mil; 76.34mil
       4.8mil; 75.94mil
       4.62mil; 75.42mil
       4.56mil; 74.79mil
       4.56mil; 74.54mil
       4.59mil; 74.27mil
       4.62mil; 73.96mil
       4.68mil; 73.63mil
       4.74mil; 73.29mil
       4.86mil; 72.87mil
     }
     li:simplepoly.1 {
       6.66mil; 48.17mil
       6.69mil; 47.17mil
       6.87mil; 46.34mil
       7.17mil; 45.68mil
       7.6mil; 45.22mil
       8.12mil; 44.95mil
       8.82mil; 44.82mil
       9.55mil; 44.95mil
       10.18mil; 45.22mil
       10.67mil; 45.68mil
       11.01mil; 46.34mil
       11.22mil; 47.17mil
       11.31mil; 48.23mil
       11.22mil; 49.23mil
       11.04mil; 50.02mil
       10.7mil; 50.66mil
       10.25mil; 51.09mil
       9.67mil; 51.36mil
       8.94mil; 51.45mil
       8.24mil; 51.39mil
       7.66mil; 51.12mil
       7.2mil; 50.66mil
       6.9mil; 50.02mil
       6.72mil; 49.2mil
     }
    height = 63.33mil
   }