Assertion list for term "44 threads".
Results from Ascent++: 1
gauze → HasA → 44 threads 0.40