xpl.dot

   1 digraph{
   2 000 [label="(00,0)"]
   3 100 [label="(00,0)"]
   4 200 [label="(00,2)", style="dashed"]
   5 300 [label="(00,5)"]
   6 400 [label="(00,9)", style="dashed"]
   7 500 [label="(00,5)"]
   8 600 [label="(00~00,13)"]
   9 700 [label="(00,11)"]
  10 101 [label="(01,4)"]
  11 201 [label="(01~00,6)"]
  12 301 [label="(01,0)"]
  13 401 [label="(01~00,4)"]
  14 501 [label="(01,4)"]
  15 601 [label="(01,12)", style="dashed"]
  16 701 [label="(01,4)"]
  17 210 [label="(10,4)", style="dashed"]
  18 410 [label="(10,0)", style="dashed"]
  19 610 [label="(10~01,4)"]
  20 211 [label="(11~01,0)"]
  21 411 [label="(11~01,5)"]
  22 611 [label="(11,5)", style="dashed"]
  23 800 [label="(00,11)", style="dashed"]
  24 801 [label="(01,4)",style="bold"]
  25 810 [label="(10,10)", style="dashed"]
  26 811 [label="(11,17)"]
  27
  28 000 -> 100 [label="+0*01",style="bold"]
  29 000 -> 101 [label="+1*01"]
  30 100 -> 200 [label="+0*11"] //
  31 100 -> 211 [label="+1*11",style="bold"]
  32 101 -> 201 [label="+0*11"]
  33 101 -> 210 [label="+1*11"] //
  34 // 1
  35
  36
  37
  38 201 -> 300 [label="+0*01", style="dashed"]
  39 201 -> 301 [label="+1*01", style="dashed"]
  40 211 -> 301 [label="+0*01",style="bold"]
  41 211 -> 300 [label="+1*01"]
  42 300 -> 400 [label="+0*11"]
  43 300 -> 411 [label="+1*11"]
  44 301 -> 401 [label="+0*11",style="bold"]
  45 301 -> 410 [label="+1*11"]
  46 //1
  47
  48 401 -> 500 [label="+0*01", style="dashed"]
  49 401 -> 501 [label="+1*01",style="bold"]
  50 411 -> 501 [label="+0*01", style="dashed"]
  51 411 -> 500 [label="+1*01"]
  52 500 -> 600 [label="+0*11"]
  53 500 -> 611 [label="+1*11"]
  54 501 -> 601 [label="+0*11"]
  55 501 -> 610 [label="+1*11",style="bold"]
  56 //1
  57
  58 600 -> 700 [label="+0*01", style="dashed"]
  59 600 -> 701 [label="+1*01", style="dashed"]
  60 610 -> 701 [label="+0*01",style="bold"]
  61 610 -> 700 [label="+1*01"]
  62 700 -> 800 [label="+0*11"]
  63 700 -> 811 [label="+1*11"]
  64 701 -> 801 [label="+0*11",style="bold"]
  65 701 -> 810 [label="+1*11"]
  66
  67
  68
  69 }
  70
  71
  72 /*
  73 ([0, 1, 0, 1, 1, 1, 0, 0], [0, 1, 0, 0, 1, 1, 0, 0], [1, 3])
  74
  75 */