_:b402501049 "5"^^ . _:b402501049 "sitrc: double double" .