Just a run of the Python code to save as a .dat file, for future / online ref.