const int K;

<<p1:p2:p3>>{NE,SW}max=?(R{"done1"}[F k=kmax+1] + R{"done2"}[F k=kmax+1] + R{"done3"}[F k=kmax+1])
<<p1:p2:p3>>{NE,FR}max=?(R{"done1"}[F k=kmax+1] + R{"done2"}[F k=kmax+1] + R{"done3"}[F k=kmax+1])
<<p1:p2:p3>>{CE,SW}max=?(R{"done1"}[F k=kmax+1] + R{"done2"}[F k=kmax+1] + R{"done3"}[F k=kmax+1])
<<p1:p2:p3>>{CE,FR}max=?(R{"done1"}[F k=kmax+1] + R{"done2"}[F k=kmax+1] + R{"done3"}[F k=kmax+1])

<<p1:p2:p3>>{NE,SW}max=?(R{"r1i"}[I=K] + R{"r2i"}[I=K] + R{"r3i"}[I=K])
<<p1:p2:p3>>{NE,FR}max=?(R{"r1i"}[I=K] + R{"r2i"}[I=K] + R{"r3i"}[I=K])
<<p1:p2:p3>>{CE,SW}max=?(R{"r1i"}[I=K] + R{"r2i"}[I=K] + R{"r3i"}[I=K])
<<p1:p2:p3>>{CE,FR}max=?(R{"r1i"}[I=K] + R{"r2i"}[I=K] + R{"r3i"}[I=K])