2 000 [shape="none",label="000", pos="2,4!"]
3 001 [shape="none",label="001", pos="0,6!"]
4 010 [shape="none",label="010", pos="4,4!"]
5 011 [shape="none",label="011", pos="6,6!"]
6 100 [shape="none",label="100", pos="2,2!"]
7 101 [shape="none",label="101", pos="0,0!"]
8 110 [shape="none",label="110", pos="4,2!"]
9 111 [shape="none",label="111", pos="6,0!"]
10 000:nw -> 000:sw [headlabel="∅,{1}", labeldistance=1.5,labelangle=-90]
11 000 -> 001 [headlabel="{3}{1,3}", labeldistance=5.0,labelangle=-15]
12 000 -> 010 [headlabel="{2}{1,2}", labeldistance=5.0,labelangle=15]
13 000 -> 011 [headlabel="{2,3}{1,2,3}", labeldistance=5.0,labelangle=-15]
14 001 -> 000 [headlabel="{3}{2,3}", labeldistance=7.0,labelangle=-15]
15 001:nw -> 001:sw [headlabel="∅,{2}", labeldistance=1.5,labelangle=-90]
16 001 -> 100 [headlabel="{1,3}{1,2,3}", labeldistance=7.0,labelangle=15]
17 001 -> 101 [headlabel="{1}{1,2}", labeldistance=7.0,labelangle=15]
18 010 -> 010 [headlabel="∅,{2}", labeldistance=2.0,labelangle=-15]
19 010 -> 011 [headlabel="{3}{2,3}", labeldistance=5.0,labelangle=-15]
20 010 -> 110 [headlabel="{1}{1,2}", labeldistance=5.0,labelangle=-15]
21 010 -> 111 [headlabel="{1,3}{1,2,3}", labeldistance=5.0,labelangle=-15]
22 011 -> 000 [headlabel="{2,3}{1,2,3}", labeldistance=7.0,labelangle=-15]
23 011 -> 001 [headlabel="{2}{1,2}", labeldistance=7.0,labelangle=15]
24 011 -> 010 [headlabel="{3}{1,3}", labeldistance=7.0,labelangle=-15]
25 011:ne -> 011:se [headlabel="∅,{1}", labeldistance=1.5,labelangle=90]
26 100 -> 000 [headlabel="{1}{1,3}", labeldistance=5.0,labelangle=0]
27 100 -> 010 [headlabel="{1,2}{1,2,3}", labeldistance=5.0,labelangle=-15]
28 100:nw -> 100:sw [headlabel="∅,{3}", labeldistance=1.5,labelangle=-90]
29 100 -> 110 [headlabel="{2}{2,3}", labeldistance=5.0,labelangle=-15]
30 101 -> 100 [headlabel="{3}{1,3}", labeldistance=7.0,labelangle=-15]
31 101:nw -> 101:sw [headlabel="∅,{1}", labeldistance=1.5,labelangle=-90]
32 101 -> 110 [headlabel="{2,3}{1,2,3}", labeldistance=10.0,labelangle=-5]
33 101 -> 111 [headlabel="{2}{1,2}", labeldistance=7.0,labelangle=-15]
34 110 -> 100 [headlabel="{2}{1,2}", labeldistance=5.0,labelangle=-15]
35 110 -> 101 [headlabel="{2,3}{1,2,3}", labeldistance=5.0,labelangle=-15]
36 110 -> 110 [headlabel="∅,{1}", labeldistance=2.0,labelangle=90]
37 110 -> 111 [headlabel="{3}{1,3}", labeldistance=5.0,labelangle=15]
38 111:ne -> 001:ne [headlabel="{1,2}{1,2,3}", labeldistance=5.0,labelangle=-15]
39 111 -> 011 [headlabel="{1}{1,3}", labeldistance=7.0,labelangle=15]
40 111 -> 101 [headlabel="{2}{2,3}", labeldistance=7.0,labelangle=-15]
41 111:ne -> 111:se [headlabel="∅,{3}", labeldistance=1.5,labelangle=90]
