-- ROBOTSOLS2

  Acts = [OS(blue),M(2),M(2),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,M(2),R,M(2),L,M(2),R,M(2),L,R,M(2),L,R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,M(2),R,M(2),L,R,M(2),L,M(2),R,M(2),L,R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,M(2),R,M(2),L,R,M(2),L,R,M(2),L,M(2),R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,M(2),R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,M(2),C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,M(2),R,M(2),L,M(2),R,M(2),L,R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,M(2),R,M(2),L,R,M(2),L,M(2),R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,M(2),R,M(2),L,R,M(2),L,R,M(2),L,M(2),C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,M(2),M(2),R,M(2),L,R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,M(2),R,M(2),L,M(2),R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,M(2),R,M(2),L,R,M(2),L,M(2),C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,M(2),M(2),R,M(2),L,C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [OS(blue),M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,M(2),R,M(2),L,M(2),C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Any AS:
  (  robot(8,12,[M(2),M(2),R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,R,M(2),L,M(2),M(2)],AS)
   & Acts = OS(blue):(AS++[C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]))
| Any AS:
  (  robot(2,2,[M(2),R,M(2),L],AS)
   & Acts = OS(blue):(AS++[C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]))
| Any AS:
  (  robot(0,2,[R,M(2),L],AS)
   & Acts = OS(blue):(AS++[C,O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]))