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

PrintHeader(19);

PrintAndEvaluateLines("

LowerBound1(B19(2,0,2), 60);
LowerBound1(B19(7,1,1), 168);
LowerBound1(B19(3,0,3), 360);
LowerBound1(B19(11,2,1), 660);
LowerBound1(B19(17,3,1), 2448);
LowerBound1(B19(19,-10,1), 3420);
LowerBound1(B19(23,-11,1), 6072);
LowerBound1(B19(5,0,5), 300);
LowerBound1(B19(25,4,1), 7500);

");