_:b10156 . _:b10156 . _:b10157 . _:b10157 _:b10156 .