_:b12255 . _:b12255 _:b12256 . _:b12256 . _:b12254 _:b12255 . _:b12256 . _:b12253 _:b12254 . _:b12254 . _:b12253 .