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

PrintHeader(1);

PrintAndEvaluateLines("

Order(B3(4,0,4));
LowerBound1(B3(5,0,5), 7800);
LowerBound1(B3(9,6,3), 8748);
LowerBound1(B3(14,6,2), 10080);

");