_:b10142 . _:b10143 _:b10142 . _:b10143 . _:b10142 .