Assertion list for term "represent unredeemable rand value of r10".

Results from Ascent++: 1
chip CapableOfrepresent unredeemable rand value of r10 0.25