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

PrintHeader(31);

PrintAndEvaluateLines("

LowerBound1(B31(2,0,2, 2,0,2, 2,0,2), 36);
LowerBound1(B31(7,-2,1, 7,-2,1, 7,0,1), 168);
LowerBound1(B31(8,0,1, 4,1,2, 2,-1,4), 192);
LowerBound1(B31(3,0,3, 3,0,3, 3,0,3), 3);
LowerBound1(B31(10,-1,1, 10,-4,1, 10,1,1), 360);
LowerBound1(B31(10,-3,1, 10,2,1, 10,3,1), 360);
LowerBound2(B31(19,5,-1, 19,3,1, 19,7,1), 3420, 1);
LowerBound1(B31(5,0,5, 5,0,5, 5,0,5), 25);
LowerBound2(B31(31,16,1, 31,8,1, 31,5,-1), 14880, 1);

");