images/g.dot

   1 digraph {
   2 00 [shape="none",label="00", pos="0,0!"];
   3 01 [shape="none",label="01", pos="0,2!"];
   4 10 [shape="none",label="10", pos="2,0!"];
   5 11 [shape="none", label="11", pos="2,2!"];
   6  00 -> 10 [headlabel="{1},{1,2}", labeldistance=5.0,labelangle=-15]
   7  01 -> 00 [headlabel="{2}", labeldistance=5.0,labelangle=15]
   8  01 -> 11 [headlabel="{1}", labeldistance=5.0,labelangle=-15]
   9  01 -> 10 [headlabel="{1,2}", labeldistance=5.0,labelangle=-15]
  10  10 -> 11 [headlabel="{2}", labeldistance=5.0,labelangle=-15]
  11  10 -> 00 [headlabel="{1}", labeldistance=5.0,labelangle=-15]
  12  10 -> 01 [headlabel="{1,2}", labeldistance=5.0,labelangle=-15]
  13  11 -> 10 [headlabel="{2}", labeldistance=5.0,labelangle=-15]
  14  11 -> 01 [headlabel="{1}", labeldistance=5.0,labelangle=-15]
  15  11 -> 00 [headlabel="{1,2}", labeldistance=5.0,labelangle=-15]
  16  01:nw -> 01:sw [headlabel="&empty;", labeldistance=2.5, labelangle=-90]
  17  00:nw -> 00:sw [headlabel="&empty;,{2}", labeldistance=2.5, labelangle=-90]
  18  11:ne -> 11:se [headlabel="&empty;",labeldistance=2.5,labelangle=90]
  19  10:ne -> 10:se [headlabel="&empty;",labeldistance=2.5,labelangle=90]
  20
  21 }