Links for abc-verifier