###keys
r1 r2 r3

###textDisplay

###states
((r1 : < 1,nil >) (r2 : < 2,nil >) r3 : < 5,nil >) || ((r1 : < 1,L >) (r2 : < 2,nil >) r3 : < 5,nil >) || ((r1 : < 0,nil >) (r2 : < 2,nil >) r3 : < 5,nil >) || ((r1 : < 0,nil >) (r2 : < 2,L >) r3 : < 5,nil >) || ((r1 : < 0,nil >) (r2 : < 1,nil >) r3 : < 5,nil >) || ((r1 : < 0,nil >) (r2 : < 1,nil >) r3 : < 5,L >) || ((r1 : < 0,nil >) (r2 : < 1,nil >) r3 : < 4,nil >) || ((r1 : < 0,L >) (r2 : < 1,nil >) r3 : < 4,nil >) || ((r1 : < 9,nil >) (r2 : < 1,nil >) r3 : < 4,nil >) || ((r1 : < 9,nil >) (r2 : < 1,L >) r3 : < 4,nil >) || ((r1 : < 9,nil >) (r2 : < 0,nil >) r3 : < 4,nil >) || ((r1 : < 9,nil >) (r2 : < 0,nil >) r3 : < 4,L >) || ((r1 : < 9,nil >) (r2 : < 0,nil >) r3 : < 3,nil >) || ((r1 : < 9,L >) (r2 : < 0,nil >) r3 : < 3,nil >) || ((r1 : < 8,nil >) (r2 : < 0,nil >) r3 : < 3,nil >) || ((r1 : < 8,nil >) (r2 : < 0,L >) r3 : < 3,nil >) || ((r1 : < 8,nil >) (r2 : < 9,nil >) r3 : < 3,nil >) || ((r1 : < 8,nil >) (r2 : < 9,nil >) r3 : < 3,L >) || ((r1 : < 8,nil >) (r2 : < 9,nil >) r3 : < 2,nil >) || ((r1 : < 8,L >) (r2 : < 9,nil >) r3 : < 2,nil >) || ((r1 : < 7,nil >) (r2 : < 9,nil >) r3 : < 2,nil >) || ((r1 : < 7,nil >) (r2 : < 9,L >) r3 : < 2,nil >) || ((r1 : < 7,nil >) (r2 : < 8,nil >) r3 : < 2,nil >) || ((r1 : < 7,nil >) (r2 : < 8,nil >) r3 : < 2,L >) || ((r1 : < 7,nil >) (r2 : < 8,nil >) r3 : < 1,nil >) || ((r1 : < 7,L >) (r2 : < 8,nil >) r3 : < 1,nil >) || ((r1 : < 6,nil >) (r2 : < 8,nil >) r3 : < 1,nil >) || ((r1 : < 6,nil >) (r2 : < 8,L >) r3 : < 1,nil >) || ((r1 : < 6,nil >) (r2 : < 7,nil >) r3 : < 1,nil >) || ((r1 : < 6,nil >) (r2 : < 7,nil >) r3 : < 1,L >) || ((r1 : < 6,nil >) (r2 : < 7,nil >) r3 : < 0,nil >) || ((r1 : < 6,L >) (r2 : < 7,nil >) r3 : < 0,nil >) || ((r1 : < 5,nil >) (r2 : < 7,nil >) r3 : < 0,nil >) || ((r1 : < 5,nil >) (r2 : < 7,L >) r3 : < 0,nil >) || ((r1 : < 5,nil >) (r2 : < 6,nil >) r3 : < 0,nil >) || ((r1 : < 5,nil >) (r2 : < 6,nil >) r3 : < 0,L >) || ((r1 : < 5,nil >) (r2 : < 6,nil >) r3 : < 9,nil >) || ((r1 : < 5,L >) (r2 : < 6,nil >) r3 : < 9,nil >) || ((r1 : < 4,nil >) (r2 : < 6,nil >) r3 : < 9,nil >) || ((r1 : < 4,nil >) (r2 : < 6,L >) r3 : < 9,nil >) || ((r1 : < 4,nil >) (r2 : < 5,nil >) r3 : < 9,nil >) || ((r1 : < 4,nil >) (r2 : < 5,nil >) r3 : < 9,L >) || ((r1 : < 4,nil >) (r2 : < 5,nil >) r3 : < 8,nil >) || ((r1 : < 4,L >) (r2 : < 5,nil >) r3 : < 8,nil >) || ((r1 : < 3,nil >) (r2 : < 5,nil >) r3 : < 8,nil >) || ((r1 : < 3,nil >) (r2 : < 5,L >) r3 : < 8,nil >) || ((r1 : < 3,nil >) (r2 : < 4,nil >) r3 : < 8,nil >) || ((r1 : < 3,nil >) (r2 : < 4,nil >) r3 : < 8,L >) || ((r1 : < 3,nil >) (r2 : < 4,nil >) r3 : < 7,nil >) || ((r1 : < 3,L >) (r2 : < 4,nil >) r3 : < 7,nil >) || ((r1 : < 2,nil >) (r2 : < 4,nil >) r3 : < 7,nil >) || ((r1 : < 2,nil >) (r2 : < 4,L >) r3 : < 7,nil >) || ((r1 : < 2,nil >) (r2 : < 3,nil >) r3 : < 7,nil >) || ((r1 : < 2,nil >) (r2 : < 3,nil >) r3 : < 7,L >) || ((r1 : < 2,nil >) (r2 : < 3,nil >) r3 : < 6,nil >) || ((r1 : < 2,L >) (r2 : < 3,nil >) r3 : < 6,nil >) || ((r1 : < 1,nil >) (r2 : < 3,nil >) r3 : < 6,nil >) || ((r1 : < 1,nil >) (r2 : < 3,L >) r3 : < 6,nil >) || 
((r1 : < 1,nil >) (r2 : < 2,nil >) r3 : < 6,nil >) || 
(r1 : < 1,nil >) (r2 : < 2,nil >) r3 : < 6,L >