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

PrintHeader(71);

PrintAndEvaluateLines("

LowerBound1(B71(3,1,1, 3,-1,1, 3,0,1, 3,0,1, 3,1,1, 3,1,1, 3,0,1), 12);
LowerBound1(B71(4,-1,1, 4,2,1, 4,1,1, 1,0,4, 4,2,1, 4,0,1, 4,2,-1), 24);
LowerBound1(B71(2,0,2, 2,0,2, 2,0,2, 2,0,2, 2,0,2, 2,0,2, 2,0,2), 2);
LowerBound1(B71(5,2,1, 5,-1,1, 5,2,-1, 5,1,1, 5,-1,1, 5,2,1, 5,2,1), 60);
LowerBound2(B71(19,5,1, 19,9,1, 19,2,1, 19,3,-1, 19,8,-1, 19,8,1, 19,5,-1), 3420, 7);

");