maxSO5dim:=func; massformula:=function(n) d:=maxSO5dim(n); e:=n-2*d; return &*[5^(d+e-i-1)+1:i in [0..d-1]]; end function; automorphismGroupPlusMinus1:=function(C); G:=AutomorphismGroup(C); n:=Length(C); return Stabilizer(G,&join{{1+4*i,4+4*i}:i in {0..n-1}}); end function; check:=function(n,CS) d:=maxSO5dim(n); return &and[IsSelfOrthogonal(x): x in CS] and &and[Dimension(x) eq d: x in CS] and &+[2^n*Factorial(n)/#automorphismGroupPlusMinus1(C):C in CS] eq massformula(n) and &and{&and{not IsEquivalent(CS[i],CS[j]):j in {i+1..#CS}} :i in {1..#CS}}; end function; load "2.magma"; check(2,codes); load "4.magma"; check(4,codes); load "6.magma"; check(6,codes); load "8.magma"; check(8,codes); load "10.magma"; check(10,codes); load "12.magma"; check(12,codes); load "14.magma"; check(14,codes); load "16.magma"; check(16,codes);