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

PrintHeader(15);

PrintAndEvaluateLines("

LowerBound1(B15(2,0,2, 2,0,2), 36);
Order(B15(8,4,1, 2,1,4));
LowerBound1(B15(3,0,3, 3,0,3), 324);
LowerBound1(B15(10,2,1, 5,0,2), 360);
LowerBound1(B15(12,4,1, 3,0,4), 576);
LowerBound1(B15(15,7,1, 15,0,1), 1440);
LowerBound1(B15(17,5,1, 17,-8,1), 2448);
LowerBound1(B15( 19,10,1, 19,4,1),  3420);
LowerBound1(B15(5,0,5, 5,0,5), 5);
LowerBound2(B15(31,-14,1, 31,13,1), 14880, 2);

");