_:b415545851 . _:b415545851 "0"^^ .