is then represented by the list ((x 3 ((y 2 1) (y 1 8))) (x 2 ((y 1 7) (y 0 3))) (x 1 ((y 1 5))) (x 0 4))