SYM n=13 k=10 lem3=1 part=0/3 canonH=34 canonRo=17314835 lem3cut=2305424 topPass=2603632 tests=3005017 workingReps=0 weightedWorking=0 weightedR=810260824
real 80.52
user 80.27
sys 0.14
