_:b402826020 "10"^^ . _:b402826020 "crystalline" .