_:b413413580 . _:b413413580 "0"^^ .