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

PrintHeader(5);

PrintAndEvaluateLines("

Order(B5(2,1,1));
LowerBound1(B5(2,0,2), 48);
LowerBound1(B5(5,0,1), 60);
Order(B5(6,1,1));
LowerBound1(B5(7,3,1), 168);
LowerBound1(B5(3,0,3), 288);
LowerBound1(B5(9,-2,1), 324);
LowerBound2(B5(29,-13,1), 12180, 4);

");