SYM n=13 k=11 lem3=1 part=1/3 canonH=34 canonRo=108946186 lem3cut=8316153 topPass=25642437 tests=67431137 workingReps=0 weightedWorking=0 weightedR=11758805623
real 859.67
user 855.12
sys 1.71
