I(A;B)<=I(A;B|C)+I(A;B|D)+I(C;D|E)+I(A;E)
* I(A;B)<=I(A;B|C)+I(A;B|D)+I(C;D|EF)+I(A;EF)
* I(A;B)<=I(A;B|C)+I(A;B|DE)+I(C;E|D)+I(A;D)
* I(A;B)<=I(A;B|C)+I(A;B|DE)+I(C;DE|F)+I(A;F)
* I(A;B)<=I(A;B|C)+I(A;B|DE)+I(C;E|DF)+I(A;DF)
* I(A;B)<=I(A;B|C)+I(A;B|DEF)+I(C;EF|D)+I(A;D)
* I(A;B)<=I(A;B|C)+I(A;B|DEF)+I(C;F|DE)+I(A;DE)
* I(A;B)<=I(A;B|CD)+I(A;B|EF)+I(D;EF|C)+I(A;C)
* I(A;B)<=I(A;B|CD)+I(A;B|EF)+I(D;F|CE)+I(A;CE)
* I(A;BC)<=I(A;BC|D)+I(A;BC|E)+I(D;E|F)+I(A;F)
* I(A;BC)<=I(A;BC|D)+I(A;C|BE)+I(D;B|E)+I(A;E)
* I(A;BC)<=I(A;BC|D)+I(A;C|BE)+I(D;BE|F)+I(A;F)
* I(A;BC)<=I(A;BC|D)+I(A;C|BE)+I(D;B|EF)+I(A;EF)
* I(A;BC)<=I(A;BC|D)+I(A;BC|EF)+I(D;F|E)+I(A;E)
* I(A;BC)<=I(A;BC|D)+I(A;C|BEF)+I(D;BF|E)+I(A;E)
* I(A;BC)<=I(A;BC|D)+I(A;C|BEF)+I(D;B|EF)+I(A;EF)
* I(A;BC)<=I(A;C|BD)+I(A;C|BE)+I(D;E|BF)+I(A;BF)
* I(A;BC)<=I(A;C|BD)+I(A;B|CE)+I(B;C|DE)+I(A;DE)
* I(A;BC)<=I(A;C|BD)+I(A;B|CE)+I(B;CE|DF)+I(A;DF)
* I(A;BC)<=I(A;C|BD)+I(A;B|CE)+I(B;C|DEF)+I(A;DEF)
* I(A;BC)<=I(A;C|BD)+I(A;BC|EF)+I(B;EF|D)+I(A;D)
* I(A;BC)<=I(A;C|BD)+I(A;BC|EF)+I(B;F|DE)+I(A;DE)
* I(A;BC)<=I(A;C|BD)+I(A;C|BEF)+I(D;F|BE)+I(A;BE)
* I(A;BC)<=I(A;C|BD)+I(A;B|CEF)+I(B;CF|DE)+I(A;DE)
* I(A;BC)<=I(A;C|BD)+I(A;B|CEF)+I(B;C|DEF)+I(A;DEF)
* I(A;BCD)<=I(A;BCD|E)+I(A;CD|BF)+I(E;B|F)+I(A;F)
* I(A;BCD)<=I(A;BCD|E)+I(A;D|BCF)+I(E;BC|F)+I(A;F)
* I(A;BCD)<=I(A;CD|BE)+I(A;BD|CF)+I(B;C|EF)+I(A;EF)
* I(A;BCD)<=I(A;CD|BE)+I(A;D|BCF)+I(E;C|BF)+I(A;BF)
* I(A;BCD)<=I(A;CD|BE)+I(A;B|CDF)+I(B;CD|EF)+I(A;EF)
* I(A;BCD)<=I(A;D|BCE)+I(A;C|BDF)+I(C;D|BEF)+I(A;BEF)
* I(AB;C)<=I(AB;C|D)+I(AB;C|E)+I(D;E|F)+I(AB;F)
* I(AB;C)<=I(AB;C|D)+I(AB;C|EF)+I(D;F|E)+I(AB;E)
* I(AB;CD)<=I(AB;CD|E)+I(AB;D|CF)+I(E;C|F)+I(AB;F)
* I(AB;CD)<=I(AB;D|CE)+I(AB;C|DF)+I(C;D|EF)+I(AB;EF)
  I(A;B)<=I(A;B|C)+I(A;C|D)+I(A;D|E)+I(B;E)
* I(A;B)<=I(A;B|C)+I(A;C|D)+I(A;D|EF)+I(B;EF)
* I(A;B)<=I(A;B|C)+I(A;C|DE)+I(A;DE|F)+I(B;F)
* I(A;B)<=I(A;B|C)+I(A;C|DE)+I(A;E|DF)+I(B;DF)
* I(A;B)<=I(A;B|CD)+I(A;D|CE)+I(A;CE|F)+I(B;F)
* I(A;B)<=I(A;B|CD)+I(A;D|CE)+I(A;C|EF)+I(B;EF)
* I(AB;C)<=I(AB;C|D)+I(AB;D|E)+I(AB;E|F)+I(C;F)
* I(AB;C)<=I(B;C|AD)+I(B;D|AE)+I(B;E|AF)+I(C;AF)
  I(A;B)<=I(A;C)+I(B;D|C)+I(A;E|D)+I(A;B|CE)+I(B;C|DE)
* I(A;B)<=I(A;C)+I(B;D|C)+I(A;EF|D)+I(A;B|CEF)+I(B;C|DEF)
* I(A;B)<=I(A;C)+I(B;DE|C)+I(A;F|DE)+I(A;B|CF)+I(B;C|DEF)
* I(A;B)<=I(A;C)+I(B;DE|C)+I(A;F|DE)+I(A;B|CDF)+I(B;C|DEF)
* I(A;B)<=I(A;CD)+I(B;E|CD)+I(A;F|E)+I(A;B|CDF)+I(B;CD|EF)
* I(A;BC)<=I(A;D)+I(BC;E|D)+I(A;F|E)+I(A;BC|DF)+I(BC;D|EF)
* I(A;BC)<=I(A;D)+I(BC;E|D)+I(A;BF|E)+I(A;C|BDF)+I(C;D|BEF)
* I(A;BC)<=I(A;BD)+I(C;E|BD)+I(A;F|BE)+I(A;C|BDF)+I(C;D|BEF)
* I(AB;C)<=I(AB;D)+I(C;E|D)+I(AB;F|E)+I(AB;C|DF)+I(C;D|EF)
  I(A;B)<=I(A;C|D)+I(A;E|C)+I(B;D)+I(B;D|CE)+I(A;B|DE)
* I(A;B)<=I(A;C|D)+I(A;EF|C)+I(B;D)+I(B;D|CEF)+I(A;B|DEF)
* I(A;B)<=I(A;C|DE)+I(A;F|C)+I(B;DE)+I(B;DE|CF)+I(A;B|DEF)
* I(A;B)<=I(A;CD|E)+I(A;F|CD)+I(B;E)+I(B;E|CDF)+I(A;B|EF)
* I(A;B)<=I(A;CD|E)+I(A;F|CD)+I(B;E)+I(B;E|CDF)+I(A;B|CEF)
* I(A;BC)<=I(A;D|E)+I(A;F|D)+I(BC;E)+I(BC;E|DF)+I(A;BC|EF)
* I(A;BC)<=I(A;D|E)+I(A;BF|D)+I(BC;E)+I(C;E|BDF)+I(A;C|BEF)
* I(A;BC)<=I(A;DE|F)+I(A;B|DE)+I(BC;F)+I(C;F|BDE)+I(A;C|BDF)
* I(AB;C)<=I(AB;D|E)+I(AB;F|D)+I(C;E)+I(C;E|DF)+I(AB;C|EF)
* I(AB;C)<=I(B;D|AE)+I(B;F|AD)+I(C;AE)+I(C;E|ADF)+I(B;C|AEF)
  I(A;BC)<=I(A;C)+I(A;B|D)+I(A;D|E)+I(B;E|C)+I(A;C|BE)+I(C;E|BD)
* I(A;BC)<=I(A;C)+I(A;B|D)+I(A;D|EF)+I(B;EF|C)+I(A;C|BEF)+I(C;EF|BD)
* I(A;BC)<=I(A;C)+I(A;B|DE)+I(A;DE|F)+I(B;F|C)+I(A;C|BF)+I(C;F|BDE)
* I(A;BCD)<=I(A;CD)+I(A;B|E)+I(A;E|F)+I(B;F|CD)+I(A;CD|BF)+I(CD;F|BE)
* I(A;BCD)<=I(A;CD)+I(A;B|CE)+I(A;E|CF)+I(B;F|CD)+I(A;D|BCF)+I(D;F|BCE)
* I(A;BCD)<=I(A;D)+I(A;BC|E)+I(A;E|F)+I(BC;F|D)+I(A;D|BCF)+I(D;F|BCE)
* I(A;BCD)<=I(A;D)+I(A;C|BE)+I(A;BE|F)+I(BC;F|D)+I(A;D|BCF)+I(D;F|BCE)
* I(A;BCD)<=I(A;BD)+I(A;BC|E)+I(A;E|F)+I(C;F|BD)+I(A;D|BCF)+I(D;F|BCE)
* I(A;BCD)<=I(A;BD)+I(A;B|CE)+I(A;CE|F)+I(C;F|BD)+I(A;D|BCF)+I(D;F|BCE)
* I(AB;CD)<=I(AB;D)+I(AB;C|E)+I(AB;E|F)+I(C;F|D)+I(AB;D|CF)+I(D;F|CE)
  I(A;BC)<=I(A;B|D)+I(A;CE)+I(B;D|CE)+I(A;C|BE)+I(C;E|BD)
* I(A;BC)<=I(A;B|D)+I(A;CEF)+I(B;D|CEF)+I(A;C|BEF)+I(C;EF|BD)
* I(A;BC)<=I(A;B|DE)+I(A;CF)+I(B;DE|CF)+I(A;C|BF)+I(C;F|BDE)
* I(A;BCD)<=I(A;B|CE)+I(A;CDF)+I(B;E|CDF)+I(A;D|BCF)+I(D;F|BCE)
* I(A;BCD)<=I(A;BC|E)+I(A;DF)+I(BC;E|DF)+I(A;D|BCF)+I(D;F|BCE)
* I(AB;CD)<=I(AB;C|E)+I(AB;DF)+I(C;E|DF)+I(AB;D|CF)+I(D;F|CE)
  I(A;BC)<=I(A;D)+I(B;E|D)+I(A;B|CE)+I(A;C|BD)+I(A;C|DE)
* I(A;BC)<=I(A;D)+I(B;EF|D)+I(A;B|CEF)+I(A;C|BD)+I(A;C|DEF)
* I(A;BC)<=I(A;DE)+I(B;F|DE)+I(A;B|CF)+I(A;C|BDE)+I(A;C|DEF)
* I(A;BCD)<=I(A;E)+I(B;F|E)+I(A;B|CDF)+I(A;CD|BE)+I(A;CD|EF)
* I(A;BCD)<=I(A;CE)+I(B;F|CE)+I(A;B|CDF)+I(A;D|BCE)+I(A;D|CEF)
* I(AB;CD)<=I(AB;E)+I(C;F|E)+I(AB;C|DF)+I(AB;D|CE)+I(AB;D|EF)
  I(A;BC)<=I(A;D)+I(B;E|D)+I(A;C|E)+I(A;B|CD)+I(A;C|BD)+I(B;D|CE)
* I(A;BC)<=I(A;D)+I(B;EF|D)+I(A;C|EF)+I(A;B|CD)+I(A;C|BD)+I(B;D|CEF)
* I(A;BC)<=I(A;DE)+I(B;F|DE)+I(A;C|F)+I(A;B|CDE)+I(A;C|BDE)+I(B;DE|CF)
* I(A;BCD)<=I(A;E)+I(B;F|E)+I(A;CD|F)+I(A;B|CDE)+I(A;CD|BE)+I(B;E|CDF)
* I(A;BCD)<=I(A;CE)+I(B;F|CE)+I(A;D|CF)+I(A;B|CDE)+I(A;D|BCE)+I(B;E|CDF)
* I(A;BCD)<=I(A;E)+I(BC;F|E)+I(A;D|F)+I(A;BC|DE)+I(A;D|BCE)+I(BC;E|DF)
* I(A;BCD)<=I(A;E)+I(BC;F|E)+I(A;BD|F)+I(A;C|BDE)+I(A;D|BCE)+I(C;E|BDF)
* I(AB;CD)<=I(AB;E)+I(C;F|E)+I(AB;D|F)+I(AB;C|DE)+I(AB;D|CE)+I(C;E|DF)
  I(A;BC)<=I(A;B|CD)+I(A;C|BD)+I(BC;D|E)+I(B;C|DE)+I(A;E)
* I(A;BC)<=I(A;B|CD)+I(A;C|BD)+I(BC;D|EF)+I(B;C|DEF)+I(A;EF)
* I(A;BC)<=I(A;B|CDE)+I(A;C|BDE)+I(BC;DE|F)+I(B;C|DEF)+I(A;F)
* I(A;BCD)<=I(A;B|CDE)+I(A;D|BCE)+I(BD;E|CF)+I(B;D|CEF)+I(A;CF)
  I(AB;CD)<=I(AB;D)+I(A;D|BC)+I(B;D|AC)+I(A;C|BE)+I(B;C|AE)+I(A;B|DE)+I(C;E|D)
* I(AB;CD)<=I(AB;D)+I(A;D|BC)+I(B;D|AC)+I(A;C|BEF)+I(B;C|AEF)+I(A;B|DEF)+I(C;EF|D)
* I(AB;CDE)<=I(AB;DE)+I(A;DE|BC)+I(B;DE|AC)+I(A;C|BF)+I(B;C|AF)+I(A;B|DEF)+I(C;F|DE)
* I(AB;CDE)<=I(AB;CE)+I(A;E|BCD)+I(B;E|ACD)+I(A;D|BCF)+I(B;D|ACF)+I(A;B|CEF)+I(D;F|CE)
* I(ABC;DE)<=I(ABC;E)+I(A;E|BCD)+I(BC;E|AD)+I(A;D|BCF)+I(BC;D|AF)+I(A;BC|EF)+I(D;F|E)
  I(A;B)<=I(A;C)+I(B;D|E)+I(D;E|C)+I(A;B|CD)+I(A;C|DE)
* I(A;B)<=I(A;C)+I(B;D|EF)+I(D;EF|C)+I(A;B|CD)+I(A;C|DEF)
* I(A;B)<=I(A;C)+I(B;DE|F)+I(DE;F|C)+I(A;B|CDE)+I(A;C|DEF)
* I(A;B)<=I(A;CD)+I(B;E|F)+I(E;F|CD)+I(A;B|CDE)+I(A;CD|EF)
* I(A;BC)<=I(A;BD)+I(C;E|BF)+I(E;F|BD)+I(A;C|BDE)+I(A;D|BEF)
  2I(A;B)<=I(A;B|C)+I(A;B|D)+I(A;B|E)+I(C;D)+I(CD;E)
* 2I(A;B)<=I(A;B|C)+I(A;B|D)+I(A;B|EF)+I(C;D)+I(CD;EF)
* 2I(A;BC)<=I(A;BC|D)+I(A;BC|E)+I(A;BC|F)+I(D;E)+I(DE;F)
* 2I(AB;AC)<=I(AB;AC|D)+I(AB;AC|E)+I(B;C|AF)+I(D;E)+I(DE;AF)
  2I(A;B)<=I(A;C)+I(A;B|D)+I(A;B|E)+I(D;E)+I(B;DE|C)
* 2I(A;B)<=I(A;C)+I(A;B|D)+I(A;B|EF)+I(D;EF)+I(B;DEF|C)
* 2I(A;B)<=I(A;CD)+I(A;B|E)+I(A;B|F)+I(E;F)+I(B;EF|CD)
* 2I(A;BC)<=I(A;D)+I(A;BC|E)+I(A;BC|F)+I(E;F)+I(BC;EF|D)
* 2I(A;BC)<=I(A;BD)+I(A;BC|E)+I(A;BC|F)+I(E;F)+I(C;EF|BD)
* 2I(AB;C)<=I(AB;D)+I(AB;C|E)+I(AB;C|F)+I(E;F)+I(C;EF|D)
* 2I(AB;AC)<=I(AB;D)+I(AB;AC|E)+I(B;C|AF)+I(E;AF)+I(AC;AEF|D)
  2I(A;B)<=I(A;B|C)+I(A;B|D)+I(C;D)+I(A;E)+I(B;D|E)+I(A;C|DE)
* 2I(A;B)<=I(A;B|C)+I(A;B|D)+I(C;D)+I(A;EF)+I(B;D|EF)+I(A;C|DEF)
* 2I(A;B)<=I(A;B|C)+I(A;B|DE)+I(C;DE)+I(A;F)+I(B;DE|F)+I(A;C|DEF)
* 2I(A;B)<=I(A;B|CD)+I(A;B|E)+I(CD;E)+I(A;F)+I(B;E|F)+I(A;CD|EF)
* 2I(A;BC)<=I(A;BC|D)+I(A;BC|E)+I(D;E)+I(A;F)+I(BC;E|F)+I(A;D|EF)
* 2I(A;BC)<=I(A;BC|D)+I(A;BC|E)+I(D;E)+I(A;BF)+I(C;E|BF)+I(A;D|BEF)
* 2I(AB;C)<=I(AB;C|D)+I(AB;C|E)+I(D;E)+I(AB;F)+I(C;E|F)+I(AB;D|EF)
* 2I(AB;AC)<=I(AB;AC|D)+I(B;C|AE)+I(D;AE)+I(AB;F)+I(AC;AE|F)+I(B;D|AEF)
  2I(A;BC)<=I(A;C|B)+I(A;B|C)+I(B;D)+2I(A;C|D)+I(A;B|E)+I(D;E)+I(B;E|CD)+I(C;D|BE)
* 2I(A;BC)<=I(A;C|B)+I(A;B|C)+I(B;D)+2I(A;C|D)+I(A;B|EF)+I(D;EF)+I(B;EF|CD)+I(C;D|BEF)
* 2I(A;BC)<=I(A;C|B)+I(A;B|C)+I(B;DE)+2I(A;C|DE)+I(A;B|F)+I(DE;F)+I(B;F|CDE)+I(C;DE|BF)
* 2I(A;BCD)<=I(A;CD|B)+I(A;B|CD)+I(B;E)+2I(A;CD|E)+I(A;B|F)+I(E;F)+I(B;F|CDE)+I(CD;E|BF)
* 2I(AB;CD)<=I(AB;D|C)+I(AB;C|D)+I(C;E)+2I(AB;D|E)+I(AB;C|F)+I(E;F)+I(C;F|DE)+I(D;E|CF)
* 2I(AB;ACD)<=I(AB;AD|C)+I(B;C|AD)+I(C;AE)+2I(B;D|AE)+I(AB;C|F)+I(AE;F)+I(C;F|ADE)+I(AD;AE|CF)
  2I(A;BC)<=I(A;C|B)+I(A;B|C)+I(B;D)+I(A;C|D)+I(A;D|E)+I(C;E)+I(A;B|CE)+I(B;C|DE)+I(B;E|CD)
* 2I(A;BC)<=I(A;C|B)+I(A;B|C)+I(B;D)+I(A;C|D)+I(A;D|EF)+I(C;EF)+I(A;B|CEF)+I(B;C|DEF)+I(B;EF|CD)
* 2I(A;BC)<=I(A;C|B)+I(A;B|C)+I(B;DE)+I(A;C|DE)+I(A;DE|F)+I(C;F)+I(A;B|CF)+I(B;C|DEF)+I(B;F|CDE)
* 2I(A;BCD)<=I(A;D|BC)+I(A;BC|D)+I(BC;E)+I(A;D|E)+I(A;E|F)+I(D;F)+I(A;BC|DF)+I(BC;D|EF)+I(BC;F|DE)
* 2I(AB;CD)<=I(AB;D|C)+I(AB;C|D)+I(C;E)+I(AB;D|E)+I(AB;E|F)+I(D;F)+I(AB;C|DF)+I(C;D|EF)+I(C;F|DE)
* 2I(AB;CD)<=I(AB;D|C)+I(AB;C|D)+I(C;AE)+I(B;D|AE)+I(B;E|AF)+I(D;AF)+I(B;C|ADF)+I(C;D|AEF)+I(C;F|ADE)
  3I(A;BC)<=2I(A;C|B)+2I(A;B|C)+I(A;B|D)+I(C;D)+I(A;C|E)+I(A;D|E)+2I(B;E)+I(B;C|DE)+I(C;E|BD)
* 3I(A;BC)<=2I(A;C|B)+2I(A;B|C)+I(A;B|D)+I(C;D)+I(A;C|EF)+I(A;D|EF)+2I(B;EF)+I(B;C|DEF)+I(C;EF|BD)
* 3I(A;BC)<=2I(A;C|B)+2I(A;B|C)+I(A;B|DE)+I(C;DE)+I(A;C|F)+I(A;DE|F)+2I(B;F)+I(B;C|DEF)+I(C;F|BDE)
* 3I(A;BCD)<=2I(A;CD|B)+2I(A;B|CD)+I(A;B|E)+I(CD;E)+I(A;CD|F)+I(A;E|F)+2I(B;F)+I(B;CD|EF)+I(CD;F|BE)
* 3I(AB;CD)<=2I(AB;D|C)+2I(AB;C|D)+I(AB;C|E)+I(D;E)+I(AB;D|F)+I(AB;E|F)+2I(C;F)+I(C;D|EF)+I(D;F|CE)
* 3I(AB;ACD)<=2I(AB;AD|C)+2I(B;C|AD)+I(AB;C|E)+I(AD;E)+I(B;D|AF)+I(B;E|AF)+2I(C;AF)+I(C;D|AEF)+I(AD;AF|CE)
  2I(A;BC)<=I(A;C|B)+I(A;B|D)+2I(A;C|E)+I(B;E)+I(D;E)+I(A;B|CD)+2I(B;D|CE)+I(C;E|BD)
* 2I(A;BC)<=I(A;C|B)+I(A;B|D)+2I(A;C|EF)+I(B;EF)+I(D;EF)+I(A;B|CD)+2I(B;D|CEF)+I(C;EF|BD)
* 2I(A;BC)<=I(A;C|B)+I(A;B|DE)+2I(A;C|F)+I(B;F)+I(DE;F)+I(A;B|CDE)+2I(B;DE|CF)+I(C;F|BDE)
* 2I(A;BCD)<=I(A;CD|B)+I(A;B|E)+2I(A;CD|F)+I(B;F)+I(E;F)+I(A;B|CDE)+2I(B;E|CDF)+I(CD;F|BE)
* 2I(AB;CD)<=I(AB;D|C)+I(AB;C|E)+2I(AB;D|F)+I(C;F)+I(E;F)+I(AB;C|DE)+2I(C;E|DF)+I(D;F|CE)
* 2I(AB;ACD)<=I(AB;AD|C)+I(AB;C|E)+2I(B;D|AF)+I(C;AF)+I(E;AF)+I(B;C|ADE)+2I(C;E|ADF)+I(AD;AF|CE)
  2I(AB;CD)<=I(B;CD|A)+I(A;CD|B)+I(B;D)+I(B;C|E)+I(C;E|D)+I(A;E)+I(A;C|BD)+I(AB;D|C)+I(A;D|BE)+I(A;B|DE)
* 2I(AB;CD)<=I(B;CD|A)+I(A;CD|B)+I(B;D)+I(B;C|EF)+I(C;EF|D)+I(A;EF)+I(A;C|BD)+I(AB;D|C)+I(A;D|BEF)+I(A;B|DEF)
* 2I(AB;CDE)<=I(B;CDE|A)+I(A;CDE|B)+I(B;DE)+I(B;C|F)+I(C;F|DE)+I(A;F)+I(A;C|BDE)+I(AB;DE|C)+I(A;DE|BF)+I(A;B|DEF)
* 2I(AB;CDE)<=I(B;CDE|A)+I(A;CDE|B)+I(B;E)+I(B;CD|F)+I(CD;F|E)+I(A;F)+I(A;CD|BE)+I(AB;E|CD)+I(A;E|BF)+I(A;B|EF)
* 2I(AB;CDE)<=I(B;CDE|A)+I(A;CDE|B)+I(B;CE)+I(B;D|CF)+I(D;F|CE)+I(A;CF)+I(A;D|BCE)+I(AB;E|CD)+I(A;E|BCF)+I(A;B|CEF)
* 2I(ABC;DE)<=I(C;DE|AB)+I(AB;DE|C)+I(C;E)+I(C;D|F)+I(D;F|E)+I(AB;F)+I(AB;D|CE)+I(ABC;E|D)+I(AB;E|CF)+I(AB;C|EF)
  I(A;B)+I(A;C)<=I(B;C)+I(A;B|D)+I(A;C|D)+I(B;D|E)+I(C;D|E)+I(A;E)
* I(A;B)+I(A;C)<=I(B;C)+I(A;B|D)+I(A;C|D)+I(B;D|EF)+I(C;D|EF)+I(A;EF)
* I(A;B)+I(A;C)<=I(B;C)+I(A;B|DE)+I(A;C|DE)+I(B;DE|F)+I(C;DE|F)+I(A;F)
* I(A;B)+I(A;C)<=I(B;C)+I(A;B|DE)+I(A;C|DE)+I(B;E|DF)+I(C;E|DF)+I(A;DF)
* I(A;B)+I(A;CD)<=I(B;CD)+I(A;B|E)+I(A;CD|E)+I(B;E|F)+I(CD;E|F)+I(A;F)
* I(AB;C)+I(AB;AD)<=I(C;AD)+I(B;C|AE)+I(B;D|AE)+I(C;E|AF)+I(D;E|AF)+I(AB;AF)
  I(A;B)+I(A;C)<=I(B;C)+I(B;D)+I(A;C|D)+I(A;B|E)+I(A;E|B)+I(C;D|E)+I(B;E|CD)
* I(A;B)+I(A;C)<=I(B;C)+I(B;D)+I(A;C|D)+I(A;B|EF)+I(A;EF|B)+I(C;D|EF)+I(B;EF|CD)
* I(A;B)+I(A;C)<=I(B;C)+I(B;DE)+I(A;C|DE)+I(A;B|F)+I(A;F|B)+I(C;DE|F)+I(B;F|CDE)
* I(A;BC)+I(A;D)<=I(BC;D)+I(BC;E)+I(A;D|E)+I(A;BC|F)+I(A;F|BC)+I(D;E|F)+I(BC;F|DE)
* I(AB;C)+I(AB;D)<=I(C;D)+I(C;E)+I(AB;D|E)+I(AB;C|F)+I(AB;F|C)+I(D;E|F)+I(C;F|DE)
* I(AB;C)+I(AB;AD)<=I(C;AD)+I(C;AE)+I(B;D|AE)+I(B;C|AF)+I(AB;AF|C)+I(D;E|AF)+I(C;F|ADE)