(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S):-((S)(S)(S)
(S)(S):-((S)(S)(S)(S)(S)(S)(S)(S):-((md):-((S)(S)
(S):-((md):-((S)(S)(S)(S)(S)(S)(S)(S):-((S)(S)(S)
(S)(S):-((S)(S)(S):-O:-O:-O:-O(S)(S)(S)(S)(S)(S)
(S)(S)(S)(S):-O:-O:-O:-O(S)(S)(S):-((S)(S)(S)(S)
(S)(S)(S):-O:-O:-O:-O(S)(S)(S):-((md):-((S)(S)(S)
(S)(S)(S):-O:-O:-O(S)(S)(S)(S)(S):-((S)(S)(S)(S)
(S)(S):-O:-O:-O(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)
:-((S):-O:-O:-O(S)(S)(S):-((S)(S)(S)(S)(S):-((S)
(S)(S):-O:-O:-O(S)(S):-((md):-((S)(S)(S):-((md):-(
(S)(S):-O:-O:-O(S)(S)(S):-((S)(S)(S)(S)(S):-((S)
(S)(S):-O:-O:-O(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)
(S)(S)(S):-O:-O:-O(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)
(S)(S)(S):-O:-O:-O:-O(S)(S)(S)(S)(S)(S)(S)(S)(S)
(S)(S)(S)(S):-O:-O:-O:-O(S)(S)(S)(S)(S):-((S)(S)
(S):-((S)(S)(S)(S):-O:-O:-O:-O(S)(S):-((md):-((S)
:-((md):-((S)(S)(S)(S)(S)(S)(S):-((S)(S):-((S)(S)
(S):-((S)(S)(S)(S)(S)(S)(S):-(:-O:-((S)(S)(S)(S)
(S)(S)(S)(S)(S)(S)(S)(S)(S)(S):-((S)(S)(S)(S)(S)
(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)(S)