2 graph [bb="0,0,340.71,252"];
9 000 -> 000 [color=blue,
10 pos="e,54.241,155.26 54.241,168.74 64.024,168.89 72,166.64 72,162 72,159.17 69.038,157.23 64.51,156.18"];
16 000 -> 001 [pos="e,124.65,224.71 47.47,180.04 65.919,192.5 93.402,208.61 115.53,220.09"];
22 000 -> 010 [pos="e,143.55,162 54.085,162 76.47,162 108.5,162 133.37,162"];
23 001 -> 000 [pos="e,54.057,171.29 131.24,215.96 112.79,203.5 85.306,187.39 63.173,175.91"];
24 001 -> 001 [color=blue,
25 pos="e,178.95,227.26 178.95,240.74 188.73,240.89 196.71,238.64 196.71,234 196.71,231.17 193.75,229.23 189.22,228.18"];
31 001 -> 101 [pos="e,151.71,108.09 151.71,215.76 151.71,191.2 151.71,147.25 151.71,118.35"];
32 010 -> 010 [color=blue,
33 pos="e,198.24,155.26 198.24,168.74 208.02,168.89 216,166.64 216,162 216,159.17 213.04,157.23 208.51,156.18"];
39 010 -> 011 [pos="e,268.65,224.71 191.47,180.04 209.92,192.5 237.4,208.61 259.53,220.09"];
45 010 -> 110 [pos="e,171,36.09 171,143.76 171,119.2 171,75.247 171,46.354"];
46 011 -> 001 [pos="e,179.16,234 268.62,234 246.24,234 214.21,234 189.34,234"];
47 011 -> 010 [pos="e,198.06,171.29 275.24,215.96 256.79,203.5 229.31,187.39 207.17,175.91"];
48 011 -> 011 [color=blue,
49 pos="e,322.95,227.26 322.95,240.74 332.73,240.89 340.71,238.64 340.71,234 340.71,231.17 337.75,229.23 333.22,228.18"];
55 100 -> 000 [pos="e,27,143.91 27,36.238 27,60.799 27,104.75 27,133.65"];
56 100 -> 100 [color=blue,
57 pos="e,54.241,11.257 54.241,24.743 64.024,24.888 72,22.641 72,18 72,15.172 69.038,13.233 64.51,12.182"];
58 100 -> 110 [pos="e,143.55,23.437 54.085,23.411 76.47,24.966 108.5,25.166 133.37,24.014"];
59 101 -> 100 [pos="e,54.007,33.592 124.65,74.377 106.51,63.904 82.427,50.001 62.718,38.622"];
60 101 -> 101 [color=blue,
61 pos="e,178.95,83.257 178.95,96.743 188.73,96.888 196.71,94.641 196.71,90 196.71,87.172 193.75,85.233 189.22,84.182"];
67 101 -> 111 [pos="e,268.25,95.437 178.79,95.411 201.18,96.966 233.2,97.166 258.08,96.014"];
68 110 -> 100 [pos="e,54.453,12.563 143.91,12.589 121.53,11.034 89.503,10.834 64.627,11.986"];
69 110 -> 110 [color=blue,
70 pos="e,198.24,11.257 198.24,24.743 208.02,24.888 216,22.641 216,18 216,15.172 213.04,13.233 208.51,12.182"];
71 110 -> 111 [pos="e,268.7,74.408 198.06,33.623 216.2,44.096 240.28,57.999 259.99,69.378"];
72 111 -> 011 [pos="e,295.71,215.91 295.71,108.24 295.71,132.8 295.71,176.75 295.71,205.65"];
73 111 -> 101 [pos="e,179.16,84.563 268.62,84.589 246.24,83.034 214.21,82.834 189.34,83.986"];
74 111 -> 111 [color=blue,
75 pos="e,322.95,83.257 322.95,96.743 332.73,96.888 340.71,94.641 340.71,90 340.71,87.172 337.75,85.233 333.22,84.182"];