method=IntegralClosure; level=557 ; dimWt2Grit= 19; dimWt4= 598; dimWt4Plus= 460; dimWt4Minus= 138; dimWt4GritProducts= 190; wt4GritProductsHeckesUsed=4 ; dimWt4Grit= ; dimWt4TweakProducts= ; dimWt2Tweak= ; wt4TweakProductsHeckesUsed= ; Grit2ThetaBlockLength= ; Grit2ThetaBlocks={ {4, 4, 5, 6, 8, 9, 11, 13, 15, 19}, {3, 5, 5, 6, 8, 9, 11, 14, 14, 19}, { 3, 4, 6, 6, 9, 9, 10, 13, 15, 19}, {3, 4, 5, 7, 8, 10, 11, 12, 15, 19}, {3, 4, 5, 7, 8, 9, 11, 13, 16, 18}, {3, 4, 5, 7, 7, 10, 11, 14, 15, 18}, {3, 4, 5, 6, 9, 9, 11, 14, 15, 18}, {3, 3, 6, 7, 8, 10, 11, 13, 14, 19}, {3, 3, 6, 7, 7, 10, 12, 13, 15, 18}, {3, 3, 6, 6, 9, 9, 12, 13, 15, 18}, {3, 3, 6, 6, 7, 9, 10, 13, 15, 20}, {3, 3, 5, 8, 8, 11, 11, 12, 14, 19}, {3, 3, 4, 7, 7, 10, 10, 13, 17, 18}, {3, 3, 4, 6, 7, 10, 11, 14, 17, 17}, {2, 5, 6, 7, 8, 9, 10, 13, 15, 19}, {2, 5, 6, 7, 7, 9, 12, 13, 14, 19}, {2, 5, 6, 7, 7, 9, 11, 13, 16, 18}, {2, 4, 7, 7, 8, 9, 11, 12, 15, 19}, {2, 3, 6, 8, 8, 10, 11, 14, 14, 18} }; Grit2ThetaBlocksAdditionalComments=" "; Grit4ThetaBlocks={ }; Grit4ThetaBlocksAdditionalComments=" "; Grit2TweakThetaBlocks={ }; wt4HeckeSubspaceDims= {190, 380, 459, 460}; wt4DetProjectionPlus=679 ; wt4CoeffNumberPlus=1496 ; preHeckeCoeffsUsed= 96349; modUsedPlus=19 ; dimWt4PlusSpanned= 460; dimH2UpperBoundPlus= 216; dimH2PrimeUpperBoundPlus= 115; dimH2DoublePrimeUpperBoundPlus=3 ; g1IndexUsedPlus= 18; g2IndexUsedPlus= 19; atMostNonLiftPlus= 0; Aset={ {{18, 2, 1, 5}, {2, 20, 1, 8}, { 1, 1, 22, 10}, {5, 8, 10, 48}}, {{16, 1, 2, -4}, {1, 18, 3, -3}, {2, 3, 24, 1}, {-4, -3, 1, 48}}, {{16, 0, -4, -3}, {0, 18, 1, -4}, {-4, 1, 32, 16}, {-3, -4, 16, 44}}, {{16, 1, 2, -3}, {1, 18, 3, 4}, {2, 3, 24, 10}, {-3, 4, 10, 52}}, {{16, 1, -3, -4}, { 1, 18, 2, -3}, {-3, 2, 28, 14}, {-4, -3, 14, 48}}, {{20, 1, -8, -5}, {1, 24, 5, 8}, {-8, 5, 30, 12}, {-5, 8, 12, 32}}, {{20, 1, 1, -1}, {1, 22, 9, 3}, {1, 9, 24, 5}, {-1, 3, 5, 36}}, {{20, 3, 1, -8}, {3, 22, 4, 5}, {1, 4, 24, 2}, {-8, 5, 2, 36}}, {{16, 3, 2, 0}, {3, 20, 7, 6}, {2, 7, 24, 11}, {0, 6, 11, 52}}, {{22, 1, -10, -9}, {1, 24, 1, 8}, {-10, 1, 30, 12}, {-9, 8, 12, 32}}, {{20, 7, 5, -7}, {7, 22, 4, -7}, {5, 4, 30, 2}, {-7, -7, 2, 32}}, {{16, 3, 2, -7}, {3, 20, 7, -4}, {2, 7, 24, 0}, {-7, -4, 0, 50}}, {{16, 3, 4, -5}, {3, 18, 5, -4}, {4, 5, 22, 0}, {-5, -4, 0, 58}}, {{14, 1, -1, 0}, {1, 20, 0, 9}, {-1, 0, 40, 18}, {0, 9, 18, 40}}, {{14, 0, -1, 1}, {0, 22, 7, -8}, {-1, 7, 24, 1}, {1, -8, 1, 50}}, {{20, 7, 9, 8}, {7, 24, 7, 9}, {9, 7, 28, 6}, {8, 9, 6, 36}}, {{ 16, 3, 2, -1}, {3, 20, 4, -10}, {2, 4, 26, 7}, {-1, -10, 7, 48}}, {{14, 0, -1, -6}, {0, 22, 7, 3}, {-1, 7, 24, 5}, {-6, 3, 5, 50}}, {{22, 10, 6, 3}, {10, 24, 7, 4}, {6, 7, 26, 4}, {3, 4, 4, 32}} }; Aset2={ }; Aset6={ }; wt4DetProjectionMinus= 464; wt4CoeffNumberMinus= 799; modUsedMinus=19 ; dimWt4MinusSpanned= 138; dimH2UpperBoundMinus= 21; g1IndexUsedMinus= 5; g2IndexUsedMinus= 18; atMostNonLiftMinus= 0;