_:b416170725 . _:b416170725 "0"^^ .