_:b400237076 "conway" . _:b400237076 "0"^^ .