digraph G {v0 [label="0: 6\nH = (0, Z, 0)\nMap 1:\n#1 = -1\nEigenvalues 1:\n(-1).\n" shape=box style=filled color=greenyellow] v1 [label="1: 2217\nH = (Z^2, 0, 0)\nMap 0:\n#1 = 2\n#2 = 1\nEigenvalues 0:\n(-1, 1).\n" shape=box style=filled color=yellow] v0->v1}
