////////////
// check self-duality
///////////
allsd:=func<C|&and{IsSelfDual(x):x in C}>;
allde:=func<C|&and{IsSelfDual(x) and IsDoublyEven(x):x in C}>;
allse:=func<C|&and{IsSelfDual(x) and not IsDoublyEven(x):x in C}>;

////////////
// check inequivalence
///////////
inequiv:=func<C|&and{not IsIsomorphic(C[i],C[j]):i,j in [1..#C]|i lt j}>;

///////////
// check mass formula
///////////
mass:=func<n|&*[Integers()|2^i+1:i in [1..(n div 2)-1]]>;
massII:=func<n|2*&*[Integers()|2^i+1:i in [1..(n div 2)-2]]>;
massI:=func<n|mass(n)-massII(n)>;
massC:=func<C|&+[Factorial(Length(C[1]))/#AutomorphismGroup(x):x in C]>;
ckmass:=func<C|mass(Length(C[1])) eq massC(C)>;
ckmassI:=func<C|massI(Length(C[1])) eq massC(C)>;
ckmassII:=func<C|massII(Length(C[1])) eq massC(C)>;

///////////

load "2.magma";    allsd(codes) and inequiv(codes) and ckmass(codes);
load "4.magma";    allsd(codes) and inequiv(codes) and ckmass(codes);
load "6.magma";    allsd(codes) and inequiv(codes) and ckmass(codes);
load "8-I.magma";  allse(codes) and inequiv(codes) and ckmassI(codes);
load "8-II.magma"; allde(codes) and inequiv(codes) and ckmassII(codes);
load "10.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);
load "12.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);
load "14.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);
load "16-I.magma"; allse(codes) and inequiv(codes) and ckmassI(codes);
load "16-II.magma";allde(codes) and inequiv(codes) and ckmassII(codes);
load "18.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);
load "20.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);
load "22.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);
load "24-I.magma"; allse(codes) and inequiv(codes) and ckmassI(codes);
load "24-II.magma";allde(codes) and inequiv(codes) and ckmassII(codes);
load "26.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);
load "28.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);
load "30.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);
load "32-I.magma"; allse(codes) and inequiv(codes) and ckmassI(codes);
load "32-II.magma";allde(codes) and inequiv(codes) and ckmassII(codes);
load "34.magma";   allsd(codes) and inequiv(codes) and ckmass(codes);

// Magma V2.16-11
// Total time: 1844.009 seconds, Total memory usage: 1294.17MB