(
    (0 (0 0 0))
    (5 (1e8 0 0))
)