#!/bin/sh
exec python json.py <<END
[
    0, 1, -1, 14, -14, 65536,
    0.0, 3.14, -3.14, -123.456,
    6.67428e-11, -1.602176e-19, 6.67428E-11
]
END

