Assertion list
integer (primary) → HasA
Results from Ascent++: 5
integer → HasA → corresponding date 0.43
integer → HasA → different signs 0.38
integer → HasA → non-trivial solutions 0.25
integer → HasA → the form 0.25
integer → HasA → the target bit 0.25