ha:colon {
    width=50.0mil; delta=12.0mil;
    li:objects {
     li:simplepoly.0 {
       4.56mil; 64.96mil
       4.59mil; 63.96mil
       4.77mil; 63.14mil
       5.07mil; 62.47mil
       5.47mil; 62.01mil
       6.02mil; 61.74mil
       6.69mil; 61.61mil
       7.42mil; 61.74mil
       8.06mil; 62.01mil
       8.54mil; 62.47mil
       8.88mil; 63.14mil
       9.09mil; 63.96mil
       9.18mil; 65.02mil
       9.09mil; 66.02mil
       8.91mil; 66.82mil
       8.57mil; 67.45mil
       8.12mil; 67.88mil
       7.54mil; 68.15mil
       6.81mil; 68.25mil
       6.11mil; 68.18mil
       5.56mil; 67.91mil
       5.11mil; 67.45mil
       4.8mil; 66.82mil
       4.62mil; 65.99mil
     }
     li:simplepoly.1 {
       4.56mil; 46.59mil
       4.62mil; 45.58mil
       4.8mil; 44.76mil
       5.11mil; 44.09mil
       5.53mil; 43.64mil
       6.08mil; 43.36mil
       6.78mil; 43.24mil
       7.51mil; 43.36mil
       8.15mil; 43.64mil
       8.63mil; 44.09mil
       8.97mil; 44.76mil
       9.18mil; 45.58mil
       9.27mil; 46.65mil
       9.18mil; 47.62mil
       9.0mil; 48.44mil
       8.66mil; 49.05mil
       8.21mil; 49.51mil
       7.63mil; 49.75mil
       6.9mil; 49.84mil
       6.17mil; 49.78mil
       5.59mil; 49.51mil
       5.14mil; 49.05mil
       4.8mil; 48.41mil
       4.62mil; 47.62mil
     }
    height = 63.33mil
   }