Use external file to save the overall number of nodes created (used for __hash__)