SYM n=13 k=10 lem3=1 part=1/3 canonH=34 canonRo=17314835 lem3cut=2305526 topPass=2603472 tests=2977527 workingReps=0 weightedWorking=0 weightedR=805149150
real 80.50
user 80.24
sys 0.14
