(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)
(S)(lo)(lo):-D:-D:-D(lo)(lo)(lo)(lo):-D:-D:-D(lo)(lo)(S)
(S)(lo):-D:-D(S):-D:-D(lo)(lo):-D:-D(S):-D:-D(lo)(S)
(S):-D:-D:-D:-D:-D:-D:-D:-D:-D:-D:-D:-D:-D:-D(S)
(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)