(
    ( 0    (0 0 0) )
    ( 64    (0 1e12 0))
)