Comment Comment by TGower We shaved a whole: 1/6129982163463555433433388108601236734474956488734408704 off the nlogn parent TGower 26 days ago