At the moment, to determine the number of nearrings with given additive & multiplicative group, one should access the files. I suggest to add a datastructure which contains these numbers. Then they may be simply retrieved from there, and also used to check the integrity of the data files. Finally, they may contain known cases when there are no nearrings with given additive & multiplicative group. At the moment, the error would just mean that there is nothing in the library, without understanding of whether it is proven that there are none at all, or there are none in the library.
At the moment, to determine the number of nearrings with given additive & multiplicative group, one should access the files. I suggest to add a datastructure which contains these numbers. Then they may be simply retrieved from there, and also used to check the integrity of the data files. Finally, they may contain known cases when there are no nearrings with given additive & multiplicative group. At the moment, the error would just mean that there is nothing in the library, without understanding of whether it is proven that there are none at all, or there are none in the library.