import json
from demo import evaluate, example
print(json.dumps(evaluate(example()), indent=2))