Assertion list
collision (primary) → AtLocation
Results from Ascent++: 1
collision → AtLocation → md5 0.25