images/h.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 -> 11 [headlabel="{1},{1,2}", labeldistance=5.0,labelangle=-15]
   8  10 -> 11 [headlabel="{2}", labeldistance=5.0,labelangle=-15]
   9  10 -> 00 [headlabel="{1}", labeldistance=5.0,labelangle=-15]
  10  10 -> 01 [headlabel="{1,2}", labeldistance=5.0,labelangle=-15]
  11  11 -> 00 [headlabel="{1,2}", labeldistance=5.0,labelangle=-15]
  12  11 -> 10 [headlabel="{2}", labeldistance=5.0,labelangle=-15]
  13  11 -> 01 [headlabel="{1}", labeldistance=5.0,labelangle=-15]
  14  01:nw -> 01:sw [headlabel="&empty;,{2}", labeldistance=2.5, labelangle=-90]
  15  00:nw -> 00:sw [headlabel="&empty;,{2}", labeldistance=2.5, labelangle=-90]
  16  11:ne -> 11:se [headlabel="&empty;",labeldistance=2.5,labelangle=90]
  17  10:ne -> 10:se [headlabel="&empty;",labeldistance=2.5,labelangle=90]
  18 }