-- ROBOTSOLS

  Acts = [pathS([(0,0),(2,0),(4,0),(6,0),(8,0),(8,2),(8,4),(8,6),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
  circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(6,4),(8,4),(8,6),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(6,4),(6,6),(8,6),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(6,4),(6,6),(6,8),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(6,4),(6,6),(6,8),(6,10),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(6,4),(6,6),(6,8),(6,10),(6,12),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(6,6),(8,6),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(6,6),(6,8),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(6,6),(6,8),(6,10),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(6,6),(6,8),(6,10),(6,12),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(4,8),(6,8),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(4,8),(6,8),(6,10),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(4,8),(6,8),(6,10),(6,12),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(4,8),(4,10),(6,10),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(4,8),(4,10),(6,10),(6,12),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(4,0),(4,2),(4,4),(4,6),(4,8),(4,10),(4,12),(6,12),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(2,2),(4,2),(4,4),(6,4),(8,4),(8,6),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(2,2),(4,2),(4,4),(6,4),(6,6),(8,6),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(2,2),(4,2),(4,4),(6,4),(6,6),(6,8),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(2,2),(4,2),(4,4),(6,4),(6,6),(6,8),(6,10),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(2,2),(4,2),(4,4),(6,4),(6,6),(6,8),(6,10),(6,12),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(2,2),(4,2),(4,4),(4,6),(6,6),(8,6),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(2,2),(4,2),(4,4),(4,6),(6,6),(6,8),(8,8),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(2,2),(4,2),(4,4),(4,6),(6,6),(6,8),(6,10),(8,10),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Acts = [pathS([(0,0),(2,0),(2,2),(4,2),(4,4),(4,6),(6,6),(6,8),(6,10),(6,12),(8,12)]),O,J(2),R,J(6),
circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Any PS:
  (  robot(4,8,[(2,6),(6,2)],[(4,6),(4,4),(4,2),(2,2),(2,0),(0,0)],PS)
   & Acts = [pathS(rev(PS)),O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Any PS:
  (  robot(2,4,[(2,6),(6,2)],[(2,2),(2,0),(0,0)],PS)
   & Acts = [pathS(rev(PS)),O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]
| Any PS:
  (  robot(0,2,[(2,6),(6,2)],[(0,0)],PS)
   & Acts = [pathS(rev(PS)),O,J(2),R,J(6),circ(2,red),B,J(4),R,J(4),circ(2,red),C]