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

PrintHeader(47);

PrintAndEvaluateLines("

LowerBound1(B47(2,0,2, 2,0,2, 2,0,2, 2,0,2, 2,0,2), 2);
LowerBound1(B47(6,1,1, 2,1,3, 3,1,2, 1,0,6, 6,-2,1), 72);
LowerBound1(B47(6,3,1, 6,-1,1, 3,0,2, 3,1,-2, 2,0,3), 72);
LowerBound1(B47(7,2,1, 7,-3,1, 7,3,1, 7,2,1, 7,-1,1), 168);
LowerBound1(B47(8,-3,1, 8,1,1, 2,-1,4, 4,1,2, 8,-2,1), 192);
LowerBound1(B47(3,0,3, 3,0,3, 3,0,3, 3,0,3, 3,0,3), 3);
LowerBound1(B47(9,3,1, 9,2,1, 9,-3,1, 9,1,1, 3,1,3), 324);
LowerBound1(B47(5,0,5, 5,0,5, 5,0,5, 5,0,5, 5,0,5), 5);

");