[ 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")
]