SYM n=13 k=10 lem3=1 part=2/3 canonH=34 canonRo=17314835 lem3cut=2305485 topPass=2603482 tests=3004882 workingReps=0 weightedWorking=0 weightedR=809182241
real 80.54
user 80.29
sys 0.14
