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

PrintHeader(23);

PrintAndEvaluateLines("

LowerBound1(B23(2,0,2, 2,0,2, 2,0,2), 36);
LowerBound1(B23(6,1,1, 3,-1,2, 6,-3,1), 72);
Order(B23(6,-2,1, 6,1,1, 3,0,2));
LowerBound1(B23(8,-1,1, 4,1,2, 8,3,1), 192);
LowerBound1(B23(3,0,3, 3,0,3, 3,0,3), 12);

LowerBound1(B23(9,4,1, 9,-2,1, 9,6,1), 324);
LowerBound1(B23(12,3,1, 6,3,2, 12,7,1), 576);
LowerBound1(B23(13,5,1, 13,4,1, 13,2,1), 1092);
LowerBound2(B23(23,-11,1, 23,-6,1, 23,-6,1), 6072, 2);
LowerBound1(B23(5,0,5, 5,0,5, 5,0,5), 5);

");