_:b57154584 _:b57154585 . _:b57154584 . _:b57154585 . _:b57154585 "optimal" .