(2 2)
(13 (8 1 1 2 0) (-2 2 3 2 1))
