_:b76880012 . _:b76880011 . _:b76880011 _:b76880012 . _:b76880012 . _:b76880012 . _:b76880011 . _:b76880010 _:b76880011 .