[3]: 2I(A;B) <= 4I(A;B|C)+2I(A;C|B)+I(B;C|A)+3I(A;B|D)+I(A;D|B)+2I(C;D) -3 -5 6 -2 5 6 -7 -1 3 4 -4 -2 0 0 0 [11]: 3I(A;B) <= 4I(A;B|C)+4I(A;C|B)+4I(B;C|A)+3I(A;B|D)+I(A;D|B)+I(B;D|A)+3I(C;D) -8 -8 13 -1 8 8 -12 0 4 4 -5 -3 0 0 0 [12]: 3I(A;B) <= 9I(A;B|C)+6I(A;C|B)+I(B;C|A)+3I(A;B|D)+3I(C;D) -4 -9 10 -6 10 15 -16 0 3 3 -3 -3 0 0 0 [13]: 3I(A;B) <= 4I(A;B|C)+6I(A;C|B)+6I(B;C|A)+3I(A;B|D)+3I(C;D) -9 -9 15 -1 10 10 -16 0 3 3 -3 -3 0 0 0 [14]: 2I(A;B) <= 3I(A;B|C)+3I(A;C|B)+I(B;C|A)+5I(A;B|D)+2I(A;D|B)+2I(C;D) -3 -7 8 -1 4 6 -7 -3 5 7 -7 -2 0 0 0 [15]: 3I(A;B) <= 4I(A;B|C)+3I(A;C|B)+3I(B;C|A)+3I(A;B|D)+3I(A;D|B)+3I(B;D|A)+3I(C;D) -9 -9 15 -1 7 7 -10 0 6 6 -9 -3 0 0 0 [16]: 3I(A;B) <= 6I(A;B|C)+3I(A;C|B)+I(B;C|A)+6I(A;B|D)+3I(A;D|B)+3I(C;D) -4 -9 10 -3 7 9 -10 -3 6 9 -9 -3 0 0 0 [17]: 4I(A;B) <= 5I(A;B|C)+8I(A;C|B)+8I(B;C|A)+4I(A;B|D)+I(A;D|B)+I(B;D|A)+4I(C;D) -13 -13 22 -1 13 13 -21 0 5 5 -6 -4 0 0 0 [18]: 2I(A;B) <= 4I(A;B|C)+2I(A;C|B)+I(B;C|A)+2I(A;B|D)+2I(C;D)+3I(C;D|A) -6 -4 5 -2 8 6 -7 0 5 2 -2 -2 -3 0 0 [19]: 4I(A;B) <= 5I(A;B|C)+5I(A;C|B)+5I(B;C|A)+4I(A;B|D)+4I(A;D|B)+4I(B;D|A)+4I(C;D) -13 -13 22 -1 10 10 -15 0 8 8 -12 -4 0 0 0 [20]: 2I(A;B) <= 3I(A;B|C)+3I(A;C|B)+2I(B;C|A)+2I(A;B|D)+2I(C;D) -4 -5 7 -1 5 6 -8 0 2 2 -2 -2 0 0 0 [21]: 3I(A;B) <= 7I(A;B|C)+5I(A;C|B)+I(B;C|A)+3I(A;B|D)+I(A;D|B)+I(B;D|A)+3I(C;D) -5 -9 11 -4 8 12 -13 0 4 4 -5 -3 0 0 0 [22]: 4I(A;B) <= 6I(A;B|C)+4I(A;C|B)+3I(B;C|A)+4I(A;B|D)+2I(A;D|B)+I(B;D|A)+4I(C;D) -8 -10 14 -2 9 10 -13 0 5 6 -7 -4 0 0 0 [23]: 2I(A;B) <= 5I(A;B|C)+2I(A;C|B)+I(B;C|A)+2I(A;B|D)+2I(C;D) -3 -4 5 -3 6 7 -8 0 2 2 -2 -2 0 0 0 [24]: 2I(A;B) <= 4I(A;B|C)+3I(A;C|B)+I(B;C|A)+2I(A;B|D)+2I(C;D) -3 -5 6 -2 5 7 -8 0 2 2 -2 -2 0 0 0 [25]: 2I(A;B) <= 4I(A;B|C)+I(A;C|B)+2I(B;C|A)+2I(A;B|D)+3I(A;D|B)+2I(C;D) -4 -6 8 -2 6 5 -7 0 2 5 -5 -2 0 0 0 [26]: 2I(A;B) <= 4I(A;B|C)+2I(A;C|B)+I(B;C|A)+2I(A;B|D)+4I(A;D|B)+I(B;D|A)+2I(C;D) -4 -8 10 -2 5 6 -7 0 3 6 -7 -2 0 0 0 [27]: 3I(A;B) <= 4I(A;B|C)+9I(A;C|B)+3I(B;C|A)+6I(A;B|D)+3I(A;D|B)+3I(C;D) -6 -15 18 -1 7 13 -16 -3 6 9 -9 -3 0 0 0 [28]: 3I(A;B) <= 7I(A;B|C)+4I(A;C|B)+I(B;C|A)+4I(A;B|D)+I(A;D|B)+3I(C;D) -4 -8 9 -4 8 11 -12 -1 4 5 -5 -3 0 0 0 [29]: 3I(A;B) <= 4I(A;B|C)+6I(A;C|B)+4I(B;C|A)+4I(A;B|D)+I(A;D|B)+3I(C;D) -7 -10 14 -1 8 10 -14 -1 4 5 -5 -3 0 0 0 [30]: 4I(A;B) <= 5I(A;B|C)+17I(A;C|B)+6I(B;C|A)+6I(A;B|D)+7I(A;D|B)+4I(C;D) -10 -28 34 -1 11 22 -28 -2 6 13 -13 -4 0 0 0 [31]: 4I(A;B) <= 5I(A;B|C)+17I(A;C|B)+13I(B;C|A)+6I(A;B|D)+2I(A;D|B)+4I(C;D) -17 -23 36 -1 18 22 -35 -2 6 8 -8 -4 0 0 0 [32]: 3I(A;B) <= 4I(A;B|C)+7I(A;C|B)+5I(B;C|A)+3I(A;B|D)+I(A;D|B)+3I(C;D) -8 -11 16 -1 9 11 -16 0 3 4 -4 -3 0 0 0 [33]: 6I(A;B) <= 8I(A;B|C)+9I(A;C|B)+9I(B;C|A)+6I(A;B|D)+10I(A;D|B)+I(B;D|A)+6I(C;D) -16 -25 35 -2 17 17 -26 0 7 16 -17 -6 0 0 0 [34]: 6I(A;B) <= 13I(A;B|C)+20I(A;C|B)+2I(B;C|A)+9I(A;B|D)+3I(A;D|B)+6I(C;D) -8 -29 31 -7 15 33 -35 -3 9 12 -12 -6 0 0 0 [35]: 4I(A;B) <= 10I(A;B|C)+15I(A;C|B)+I(B;C|A)+4I(A;B|D)+2I(A;D|B)+2I(B;D|A)+4I(C;D) -7 -21 24 -6 11 25 -26 0 6 6 -8 -4 0 0 0 [36]: 4I(A;B) <= 6I(A;B|C)+11I(A;C|B)+3I(B;C|A)+6I(A;B|D)+2I(A;D|B)+4I(C;D) -7 -17 20 -2 9 17 -20 -2 6 8 -8 -4 0 0 0 [37]: 3I(A;B) <= 6I(A;B|C)+6I(A;C|B)+I(B;C|A)+5I(A;B|D)+4I(A;D|B)+3I(C;D) -4 -13 14 -3 7 12 -13 -2 5 9 -9 -3 0 0 0 [38]: 3I(A;B) <= 6I(A;B|C)+8I(A;C|B)+I(B;C|A)+3I(A;B|D)+2I(A;D|B)+2I(B;D|A)+3I(C;D) -6 -13 16 -3 7 14 -15 0 5 5 -7 -3 0 0 0 [39]: 4I(A;B) <= 5I(A;B|C)+6I(A;C|B)+6I(B;C|A)+4I(A;B|D)+2I(A;D|B)+2I(B;D|A)+4I(C;D) -12 -12 20 -1 11 11 -17 0 6 6 -8 -4 0 0 0 [40]: 3I(A;B) <= 8I(A;B|C)+6I(A;C|B)+I(B;C|A)+3I(A;B|D)+I(A;D|B)+3I(C;D) -4 -10 11 -5 9 14 -15 0 3 4 -4 -3 0 0 0 [41]: 4I(A;B) <= 14I(A;B|C)+10I(A;C|B)+I(B;C|A)+6I(A;B|D)+2I(A;D|B)+4I(C;D) -5 -16 17 -10 15 24 -25 -2 6 8 -8 -4 0 0 0 [42]: 3I(A;B) <= 4I(A;B|C)+4I(A;C|B)+3I(B;C|A)+3I(A;B|D)+4I(A;D|B)+2I(B;D|A)+3I(C;D) -8 -11 16 -1 7 8 -11 0 5 7 -9 -3 0 0 0 [43]: 4I(A;B) <= 13I(A;B|C)+9I(A;C|B)+I(B;C|A)+7I(A;B|D)+3I(A;D|B)+4I(C;D) -5 -16 17 -9 14 22 -23 -3 7 10 -10 -4 0 0 0 [44]: 6I(A;B) <= 8I(A;B|C)+16I(A;C|B)+7I(B;C|A)+6I(A;B|D)+3I(A;D|B)+3I(B;D|A)+6I(C;D) -16 -25 35 -2 15 24 -31 0 9 9 -12 -6 0 0 0