0 1 2 3 4 x1 0 2 3 1 4 x1 0 5 1 2 3 4 x1 0 1 2 5 3 4 x1 0 5 1 2 3 4 x1 0 5 2 1 3 4 x1 0 5 1 2 3 4 x1 5 0 2 3 1 4 x1 0 5 2 3 1 4 x1 0 1 5 2 3 4 x1 0 1 1 1 2 1 3 1 4 1 5 1 FULL TRS//ICFP_2010/264405.srs