Read("crystcat.gap"); Read("NonInv.dat"); Read("TorusInvariants.dat"); Read("WeakStablyEquivalentClass.dat"); Read("FlabbyResolutionBC.gap");