_:b402848326 "nerdminus" . _:b402848326 "0"^^ .