_:b56800641 . _:b56800640 . _:b56800641 "doubling" . _:b56800640 _:b56800641 .