Stores NP-computations in a file, to avoid having to redo work