images/h2prng.dot

   1 digraph {
   2  00 -> 00 [label="11,22"]
   3  00 -> 10 [label="21"]
   4  00 -> 11 [label="12"]
   5  01 -> 01 [label="11,22"]
   6  01 -> 10 [label="12"]
   7  01 -> 11 [label="21"]
   8  10 -> 00 [label="12"]
   9  10 -> 01 [label="21"]
  10  10 -> 10 [label="11,22"]
  11  11 -> 00 [label="21"]
  12  11 -> 01 [label="12"]
  13  11 -> 11 [label="11,22"]
  14
  15 }