_:b400151961 "heavy" . _:b400151961 "0"^^ .