Sigma(2, 3, 5): e0=-2 om=[1, 2, 4] N0=-1 tau[min,max]=[0,1] d=2 K2=0 s=8
   HF_red: A=0 | B=0 | C=0 | rank=0 ell=0 missing=[] SGR=True
   semigroup_eq=None overlap=None laufer_eq=True scratch=True negdef=True det=1 bad=[0] sym=None antisym=None nonneg=None ABsame=True
   Casson sigma/8=-1  -(rank+d/2)=-1  p_g=0  -min tau+rank=0  sigma+8pg+K2+s=0
Sigma(2, 3, 7): e0=-1 om=[1, 1, 1] N0=1 tau[min,max]=[0,1] d=0 K2=-4 s=4
   HF_red: A=T1 | B=T1 | C=T1 | rank=1 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-1  -(rank+d/2)=-1  p_g=1  -min tau+rank=1  sigma+8pg+K2+s=0
Sigma(2, 3, 11): e0=-2 om=[1, 2, 9] N0=5 tau[min,max]=[0,1] d=2 K2=-1 s=9
   HF_red: A=T1 | B=T1 | C=T1 | rank=1 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=-1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-2  -(rank+d/2)=-2  p_g=1  -min tau+rank=1  sigma+8pg+K2+s=0
Sigma(2, 3, 13): e0=-1 om=[1, 1, 2] N0=7 tau[min,max]=[0,1] d=0 K2=-5 s=5
   HF_red: A=T1^2 | B=T1^2 | C=T1^2 | rank=2 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=-1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-2  -(rank+d/2)=-2  p_g=2  -min tau+rank=2  sigma+8pg+K2+s=0
Sigma(2, 3, 17): e0=-2 om=[1, 2, 14] N0=11 tau[min,max]=[0,1] d=2 K2=-2 s=10
   HF_red: A=T1^2 | B=T1^2 | C=T1^2 | rank=2 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-3  -(rank+d/2)=-3  p_g=2  -min tau+rank=2  sigma+8pg+K2+s=0
Sigma(2, 3, 19): e0=-1 om=[1, 1, 3] N0=13 tau[min,max]=[0,1] d=0 K2=-6 s=6
   HF_red: A=T1^3 | B=T1^3 | C=T1^3 | rank=3 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-3  -(rank+d/2)=-3  p_g=3  -min tau+rank=3  sigma+8pg+K2+s=0
Sigma(2, 5, 7): e0=-1 om=[1, 1, 2] N0=11 tau[min,max]=[0,1] d=0 K2=-5 s=5
   HF_red: A=T1^2 | B=T1^2 | C=T1^2 | rank=2 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=-1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-2  -(rank+d/2)=-2  p_g=2  -min tau+rank=2  sigma+8pg+K2+s=0
Sigma(3, 4, 5): e0=-1 om=[1, 1, 2] N0=13 tau[min,max]=[0,1] d=0 K2=-5 s=5
   HF_red: A=T1^2 | B=T1^2 | C=T1^2 | rank=2 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=-1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-2  -(rank+d/2)=-2  p_g=2  -min tau+rank=2  sigma+8pg+K2+s=0
Sigma(2, 5, 11): e0=-1 om=[1, 2, 1] N0=23 tau[min,max]=[-1,1] d=0 K2=-13 s=5
   HF_red: A=T1^3 | B=T1^3 | C=T1^3 | rank=3 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=-1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-3  -(rank+d/2)=-3  p_g=4  -min tau+rank=4  sigma+8pg+K2+s=0
Sigma(2, 7, 15): e0=-1 om=[1, 3, 1] N0=61 tau[min,max]=[-3,1] d=0 K2=-30 s=6
   HF_red: A=T2 + T1^4 | B=T2 + T1^4 | C=T2 + T1^4 | rank=6 ell=2 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-6  -(rank+d/2)=-6  p_g=9  -min tau+rank=9  sigma+8pg+K2+s=0
Sigma(2, 9, 19): e0=-1 om=[1, 4, 1] N0=115 tau[min,max]=[-6,1] d=0 K2=-55 s=7
   HF_red: A=T2^3 + T1^4 | B=T2^3 + T1^4 | C=T2^3 + T1^4 | rank=10 ell=2 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=-1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-10  -(rank+d/2)=-10  p_g=16  -min tau+rank=16  sigma+8pg+K2+s=0
Sigma(2, 11, 23): e0=-1 om=[1, 5, 1] N0=185 tau[min,max]=[-10,1] d=0 K2=-88 s=8
   HF_red: A=T3 + T2^4 + T1^4 | B=T3 + T2^4 + T1^4 | C=T3 + T2^4 + T1^4 | rank=15 ell=3 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-15  -(rank+d/2)=-15  p_g=25  -min tau+rank=25  sigma+8pg+K2+s=0
Sigma(3, 5, 7): e0=-2 om=[1, 4, 6] N0=34 tau[min,max]=[-1,1] d=2 K2=-12 s=12
   HF_red: A=T1^3 | B=T1^3 | C=T1^3 | rank=3 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-4  -(rank+d/2)=-4  p_g=4  -min tau+rank=4  sigma+8pg+K2+s=0
Sigma(2, 7, 13): e0=-2 om=[1, 4, 12] N0=51 tau[min,max]=[-2,1] d=4 K2=-16 s=16
   HF_red: A=T1^4 | B=T1^4 | C=T1^4 | rank=4 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-6  -(rank+d/2)=-6  p_g=6  -min tau+rank=6  sigma+8pg+K2+s=0
Sigma(2, 5, 9): e0=-2 om=[1, 3, 8] N0=17 tau[min,max]=[0,1] d=2 K2=-4 s=12
   HF_red: A=T1^2 | B=T1^2 | C=T1^2 | rank=2 ell=1 missing=[] SGR=True
   semigroup_eq=True overlap=0 laufer_eq=True scratch=True negdef=True det=1 bad=[0] sym=True antisym=True nonneg=True ABsame=True
   Casson sigma/8=-3  -(rank+d/2)=-3  p_g=2  -min tau+rank=2  sigma+8pg+K2+s=0
