(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)
(S)(E)(E)(E)(E)(E)(E)(E)(E)(E)(E)(E)(E)(E)(S)
(S)(E):-D:-D:-D:-D:-D:-D:-D:-D:-D:-D:-D(E)(S)
(S)(E)(E)(hu)(hu):-D:-D:-D:-D:-D(hu)(hu)(E)(E)(S)
(S)(E)(E)(E)(hu)(hu)(hu):-D(hu)(hu)(hu)(E)(E)(E)(S)
(S)(E)(E)(E)(E)(hu)(hu)(hu)(hu)(hu)(E)(E)(E)(E)(S)
(S)(E)(E)(E)(E)(E)(hu)(hu)(hu)(E)(E)(E)(E)(E)(S)
(S)(E)(E)(E)(E)(E)(E)(hu)(E)(E)(E)(E)(E)(E)(S)
(S)(E)(E)(E)(E)(E):-D(hu):-D(E)(E)(E)(E)(E)(S)
(S)(E)(E)(E)(E):-D:-D(hu):-D:-D(E)(E)(E)(E)(S)
(S)(E)(E)(E):-D:-D(hu)(hu)(hu):-D:-D(E)(E)(E)(S)
(S)(E)(E):-D:-D(hu)(hu)(hu)(hu)(hu):-D:-D(E)(E)(S)
(S)(E):-D:-D(hu)(hu)(hu)(hu)(hu)(hu)(hu):-D:-D(E)(S)
(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)