Reformat output of exploreambiguous.py for easier parsing downstream.