to_json (x,y,z)             = Array [to_json x, to_json y, to_json z]
to_json (x,y,z)             = Array [to_json x, to_json y, to_json z]
to_json (x,y,z)             = Array [to_json x, to_json y, to_json z]