// The entire file can be run from the shell with
//     magma GroupB.m NotLinkComplementHelpers.m NotLinkComplement1.m
// or from within magma with
//     load "GroupB.m";
//     load "NotLinkComplementHelpers.m";
//     load "NotLinkComplement1.m";
// 

PrintHeader(1);

PrintAndEvaluateLines("

LowerBound1(B1(4,0,4), 1536);
LowerBound1(B1(6,3,3), 2160);
LowerBound1(B1(10,4,2), 2880);
LowerBound1(B1(26,5,1), 6552);
LowerBound1(B1(5,0,5), 7200);
LowerBound1(B1(29,17,1), 12180);
LowerBound1(B1(34,13,1), 14688);


");