images/fgig.dot

   1 digraph  {
   2 000 [shape="none"label="000", pos="10.5,10!",fontsize=20,fixedsize=true,width=0.5,height=0.3];
   3 001 [shape="none"label="001", pos="11.7320508076,11!",fontsize=20,fixedsize=true,width=0.5,height=0.3];
   4 010 [shape="none", label="010", pos="12.5,10!",fontsize=20,fixedsize=true,width=0.5,height=0.3];
   5 011 [shape="none", label="011", pos="13.7320508076,11!",fontsize=20,fixedsize=true,width=0.5,height=0.3];
   6 100 [shape="none", label="100", pos="10.5,8!",fontsize=20,fixedsize=true,width=0.5,height=0.3];
   7 101 [shape="none", label="101", pos="11.7320508076,9!",fontsize=20,fixedsize=true,width=0.5,height=0.3];
   8 110 [shape="none", label="110", pos="12.5,8!",fontsize=20,fixedsize=true,width=0.5,height=0.3];
   9 111 [shape="none", label="111", pos="13.7320508076,9!",fontsize=20,fixedsize=true,width=0.5,height=0.3];
  10         000:sw -> 000:nw [arrowhead="vee"];
  11         001 -> 101[arrowhead="vee"];
  12         001:sw -> 001:nw[arrowhead="vee"];
  13         010 -> 010[arrowhead="vee"];
  14         010 -> 011[arrowhead="vee"];
  15         010 -> 000[arrowhead="vee"];
  16         010 -> 001[arrowhead="vee"];
  17
  18         011 -> 011[arrowhead="vee"];
  19         011 -> 001[arrowhead="vee"];
  20         011 -> 111[arrowhead="vee"];
  21         011 -> 101[arrowhead="vee"];
  22         100:sw -> 100:nw[arrowhead="vee"];
  23         100 -> 000[arrowhead="vee"];
  24         100 -> 001[arrowhead="vee"];
  25         100 -> 101[arrowhead="vee"];
  26         101 -> 101:nw[arrowhead="vee"];
  27         101 -> 111[arrowhead="vee"];
  28
  29         110 -> 000[arrowhead="vee"];
  30         110 -> 110[arrowhead="vee"];
  31         110 -> 001[arrowhead="vee"];
  32         110 -> 010[arrowhead="vee"];
  33         110 -> 011[arrowhead="vee"];
  34         110 -> 100[arrowhead="vee"];
  35         110 -> 101[arrowhead="vee"];
  36         110 -> 111[arrowhead="vee"];
  37
  38         111 -> 111[arrowhead="vee"];
  39         111 -> 011[arrowhead="vee"];
  40
  41 }