Assertion list
cube (primary) → UsedFor
Results from Ascent++: 2
cube → UsedFor → international competitions 0.37
cube → UsedFor → multiple registers of world rec… 0.28