digraph G { 0 -> 0 [label="00 01 10 11 "]; 0[shape=diamond]; } yz