def json_points(points):
return json.dumps(["<STR_LIT>".format(point[<NUM_LIT:0>], point[<NUM_LIT:1>]) for point in points])<EOL>
Returns a list of points [(lat, lng)...] as a JSON formatted list of
strings.

>>> json_points([(1,2), (3,4)])
'["1,2", "3,4"]'