_:b401281034 "sum 41" . _:b401281034 "1"^^ .