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

PrintHeader(7);

PrintAndEvaluateLines("

Order(B7(3,0,3));
LowerBound1(B7(8,2,2), 1152);
LowerBound1(B7(4,0,4), 1152);
LowerBound1(B7(6,0,3), 2160);
LowerBound1(B7(22,-7,1), 3960);
LowerBound1(B7(22,4,1), 3960);
LowerBound1(B7(14,6,2), 6048);
LowerBound1(B7(23,13,1), 6072);
LowerBound1(B7(5,0,5), 7800);
LowerBound1(B7(28,10,1), 8064);
LowerBound1(B7(29,7,1), 12180);
LowerBound1(B7(32,5,1), 12288);

");