SYM n=13 k=11 lem3=1 part=0/3 canonH=34 canonRo=108946186 lem3cut=8315932 topPass=25642078 tests=67402828 workingReps=0 weightedWorking=0 weightedR=11761739616
real 799.45
user 796.24
sys 1.10
