Algoricans Verify (ARC-V)