(2 3)
(10 (1 0 7fffffffffffffff 1 3)(0 0 0))
