SYM n=13 k=11 lem3=1 part=2/3 canonH=34 canonRo=108946186 lem3cut=8316323 topPass=25640571 tests=67409335 workingReps=0 weightedWorking=0 weightedR=11756200481
real 799.83
user 796.63
sys 1.11
