# SABR # solves the first machinarium puzzle, puzzle on the grate Sym{ r g } Board{ .. a0 a1 a2; . b0 b1 b2 b3; .. c0 c1 c2; ... d0 d1; } Start{ r g r; g g r r; r g g; r g; } End{ r g r; r g g r; g g g; r r; } Trans Clock:Circle{ v1 v2 v3 v4 v5 v6 => v2 v3 v4 v5 v6 v1 } Trans Counter:Circle{ v1 v2 v3 v4 v5 v6 => v6 v1 v2 v3 v4 v5 } DesObj C1:Circle{ a0 a1 b2 c1 c0 b0 } DesObj C2:Circle{ a1 a2 b3 c2 c1 b1 } DesObj C3:Circle{ b1 b2 c2 d1 d0 c0 }