_:b402223134 "hardcore" . _:b402223134 "0"^^ .