Assertion list for term "tatp".

Results from Ascent++: 1
bomb MadeOftatp 0.32