[EBoxed (ENumber "0"),EBoxed (ENumber "1"),ESpace (1 % 9),EBoxed (ENumber "2"),ESpace (1 % 6),EBoxed (ENumber "3"),ESpace (2 % 9),EBoxed (ENumber "4"),ESpace (5 % 18),EBoxed (ENumber "5"),ESpace (1 % 3),EBoxed (ENumber "6")]