cat /workspace/scratch/softpolys.json; cat /workspace/scratch/edits.json | head -80; cat /workspace/scratch/autosoft.py