[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 [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 [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 [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 [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 [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 [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 [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 [45]: 3I(A;B) <= 6I(A;B|C)+3I(A;C|B)+I(B;C|A)+4I(A;B|D)+I(A;D|B)+3I(C;D)+5I(C;D|A) -9 -7 8 -3 12 9 -10 -1 9 5 -5 -3 -5 0 0 [46]: 7I(A;B) <= 8I(A;B|C)+12I(A;C|B)+12I(B;C|A)+7I(A;B|D)+5I(A;D|B)+5I(B;D|A)+7I(C;D) -24 -24 41 -1 20 20 -32 0 12 12 -17 -7 0 0 0 [47]: 5I(A;B) <= 14I(A;B|C)+9I(A;C|B)+I(B;C|A)+7I(A;B|D)+2I(A;D|B)+5I(C;D) -6 -16 17 -9 15 23 -24 -2 7 9 -9 -5 0 0 0 [52]: 6I(A;B) <= 7I(A;B|C)+11I(A;C|B)+11I(B;C|A)+6I(A;B|D)+3I(A;D|B)+3I(B;D|A)+6I(C;D) -20 -20 34 -1 18 18 -29 0 9 9 -12 -6 0 0 0 [71]: 3I(A;B) <= 4I(A;B|C)+6I(A;C|B)+3I(B;C|A)+6I(A;B|D)+2I(A;D|B)+3I(C;D) -6 -11 14 -1 7 10 -13 -3 6 8 -8 -3 0 0 0 [75]: 11I(A;B) <= 23I(A;B|C)+28I(A;C|B)+3I(B;C|A)+11I(A;B|D)+7I(A;D|B)+5I(B;D|A)+11I(C;D) -19 -46 54 -12 26 51 -54 0 16 18 -23 -11 0 0 0 [84]: 5I(A;B) <= 6I(A;B|C)+8I(A;C|B)+7I(B;C|A)+5I(A;B|D)+3I(A;D|B)+2I(B;D|A)+5I(C;D) -14 -16 25 -1 13 14 -21 0 7 8 -10 -5 0 0 0 [91]: 6I(A;B) <= 12I(A;B|C)+6I(A;C|B)+3I(B;C|A)+6I(A;B|D)+4I(A;D|B)+3I(B;D|A)+6I(C;D) -12 -16 22 -6 15 18 -21 0 9 10 -13 -6 0 0 0 [97]: 4I(A;B) <= 5I(A;B|C)+16I(A;C|B)+4I(B;C|A)+10I(A;B|D)+6I(A;D|B)+4I(C;D) -8 -26 30 -1 9 21 -25 -6 10 16 -16 -4 0 0 0 [102]: 3I(A;B) <= 6I(A;B|C)+5I(A;C|B)+I(B;C|A)+5I(A;B|D)+3I(A;D|B)+3I(C;D) -4 -11 12 -3 7 11 -12 -2 5 8 -8 -3 0 0 0 [103]: 4I(A;B) <= 13I(A;B|C)+7I(A;C|B)+I(B;C|A)+4I(A;B|D)+2I(A;D|B)+2I(B;D|A)+4I(C;D) -7 -13 16 -9 14 20 -21 0 6 6 -8 -4 0 0 0 [105]: 4I(A;B) <= 5I(A;B|C)+7I(A;C|B)+6I(B;C|A)+4I(A;B|D)+I(A;D|B)+I(B;D|A)+4I(C;D) -11 -12 19 -1 11 12 -18 0 5 5 -6 -4 0 0 0 [109]: 4I(A;B) <= 8I(A;B|C)+4I(A;C|B)+I(B;C|A)+10I(A;B|D)+6I(A;D|B)+4I(C;D) -5 -14 15 -4 9 12 -13 -6 10 16 -16 -4 0 0 0 [113]: 5I(A;B) <= 16I(A;B|C)+13I(A;C|B)+I(B;C|A)+5I(A;B|D)+I(A;D|B)+I(B;D|A)+5I(C;D) -7 -19 21 -11 17 29 -30 0 6 6 -7 -5 0 0 0 [117]: 5I(A;B) <= 6I(A;B|C)+11I(A;C|B)+11I(B;C|A)+5I(A;B|D)+I(A;D|B)+I(B;D|A)+5I(C;D) -17 -17 29 -1 17 17 -28 0 6 6 -7 -5 0 0 0 [122]: 2I(A;B) <= 3I(A;B|C)+4I(A;C|B)+I(B;C|A)+4I(A;B|D)+5I(A;D|B)+2I(C;D) -3 -11 12 -1 4 7 -8 -2 4 9 -9 -2 0 0 0 [123]: 4I(A;B) <= 5I(A;B|C)+6I(A;C|B)+4I(B;C|A)+4I(A;B|D)+2I(A;D|B)+4I(B;D|A)+4I(C;D) -12 -12 20 -1 9 11 -15 0 8 6 -10 -4 0 0 0 [124]: 4I(A;B) <= 7I(A;B|C)+4I(A;C|B)+2I(B;C|A)+4I(A;B|D)+I(A;D|B)+I(B;D|A)+4I(C;D)+7I(C;D|A) -14 -9 12 -3 16 11 -13 0 12 5 -6 -4 -7 0 0 [125]: 2I(A;B) <= 3I(A;B|C)+3I(A;C|B)+I(B;C|A)+2I(A;B|D)+3I(A;D|B)+2I(B;D|A)+2I(C;D) -5 -8 11 -1 4 6 -7 0 4 5 -7 -2 0 0 0 [126]: 4I(A;B) <= 10I(A;B|C)+2I(A;C|B)+3I(B;C|A)+9I(A;B|D)+9I(A;D|B)+4I(C;D) -7 -15 18 -6 13 12 -15 -5 9 18 -18 -4 0 0 0 [127]: 4I(A;B) <= 7I(A;B|C)+3I(A;C|B)+4I(B;C|A)+5I(A;B|D)+5I(A;D|B)+4I(C;D) -8 -12 16 -3 11 10 -14 -1 5 10 -10 -4 0 0 0 [128]: 3I(A;B) <= 5I(A;B|C)+4I(A;C|B)+2I(B;C|A)+3I(A;B|D)+3I(C;D)+4I(C;D|A) -9 -7 9 -2 11 9 -11 0 7 3 -3 -3 -4 0 0 [129]: 5I(A;B) <= 14I(A;B|C)+11I(A;C|B)+I(B;C|A)+5I(A;B|D)+2I(A;D|B)+2I(B;D|A)+5I(C;D) -8 -18 21 -9 15 25 -26 0 7 7 -9 -5 0 0 0 [130]: 6I(A;B) <= 15I(A;B|C)+10I(A;C|B)+2I(B;C|A)+6I(A;B|D)+6I(C;D)+11I(C;D|A) -19 -16 18 -9 28 25 -27 0 17 6 -6 -6 -11 0 0 [131]: 11I(A;B) <= 31I(A;B|C)+18I(A;C|B)+3I(B;C|A)+13I(A;B|D)+4I(A;D|B)+11I(C;D) -14 -33 36 -20 34 49 -52 -2 13 17 -17 -11 0 0 0 [132]: 18I(A;B) <= 38I(A;B|C)+31I(A;C|B)+6I(B;C|A)+18I(A;B|D)+6I(A;D|B)+6I(B;D|A)+18I(C;D) -30 -55 67 -20 44 69 -75 0 24 24 -30 -18 0 0 0 [133]: 4I(A;B) <= 9I(A;B|C)+3I(A;C|B)+2I(B;C|A)+8I(A;B|D)+4I(A;D|B)+4I(C;D) -6 -11 13 -5 11 12 -14 -4 8 12 -12 -4 0 0 0 [134]: 5I(A;B) <= 12I(A;B|C)+3I(A;C|B)+3I(B;C|A)+10I(A;B|D)+9I(A;D|B)+5I(C;D) -8 -17 20 -7 15 15 -18 -5 10 19 -19 -5 0 0 0 [135]: 8I(A;B) <= 19I(A;B|C)+6I(A;C|B)+4I(B;C|A)+9I(A;B|D)+14I(A;D|B)+8I(C;D) -12 -28 32 -11 23 25 -29 -1 9 23 -23 -8 0 0 0 [136]: 3I(A;B) <= 5I(A;B|C)+4I(A;C|B)+2I(B;C|A)+4I(A;B|D)+I(A;D|B)+3I(C;D) -5 -8 10 -2 7 9 -11 -1 4 5 -5 -3 0 0 0 [137]: 7I(A;B) <= 19I(A;B|C)+8I(A;C|B)+I(B;C|A)+9I(A;B|D)+8I(A;D|B)+2I(B;D|A)+7I(C;D) -10 -23 26 -12 20 27 -28 -2 11 17 -19 -7 0 0 0 [138]: 6I(A;B) <= 16I(A;B|C)+2I(A;C|B)+9I(B;C|A)+6I(A;B|D)+11I(A;D|B)+6I(C;D) -15 -19 28 -10 25 18 -27 0 6 17 -17 -6 0 0 0 [139]: 7I(A;B) <= 8I(A;B|C)+11I(A;C|B)+11I(B;C|A)+7I(A;B|D)+7I(A;D|B)+7I(B;D|A)+7I(C;D) -25 -25 43 -1 19 19 -30 0 14 14 -21 -7 0 0 0 [140]: 5I(A;B) <= 8I(A;B|C)+10I(A;C|B)+3I(B;C|A)+5I(A;B|D)+I(A;D|B)+I(B;D|A)+5I(C;D) -9 -16 20 -3 11 18 -21 0 6 6 -7 -5 0 0 0 [141]: 4I(A;B) <= 10I(A;B|C)+10I(A;C|B)+I(B;C|A)+4I(A;B|D)+I(A;D|B)+4I(B;D|A)+4I(C;D) -9 -15 20 -6 11 20 -21 0 8 5 -9 -4 0 0 0 [142]: 8I(A;B) <= 9I(A;B|C)+14I(A;C|B)+14I(B;C|A)+8I(A;B|D)+8I(A;D|B)+8I(B;D|A)+8I(C;D) -30 -30 52 -1 23 23 -37 0 16 16 -24 -8 0 0 0 [143]: 3I(A;B) <= 5I(A;B|C)+4I(A;C|B)+I(B;C|A)+8I(A;B|D)+5I(A;D|B)+3I(C;D) -4 -12 13 -2 6 9 -10 -5 8 13 -13 -3 0 0 0 [144]: 6I(A;B) <= 11I(A;B|C)+10I(A;C|B)+2I(B;C|A)+6I(A;B|D)+6I(A;D|B)+9I(B;D|A)+6I(C;D) -17 -22 33 -5 13 21 -23 0 15 12 -21 -6 0 0 0 [145]: 7I(A;B) <= 19I(A;B|C)+11I(A;C|B)+2I(B;C|A)+7I(A;B|D)+5I(A;D|B)+10I(B;D|A)+7I(C;D) -19 -23 35 -12 21 30 -32 0 17 12 -22 -7 0 0 0 [146]: 6I(A;B) <= 13I(A;B|C)+10I(A;C|B)+2I(B;C|A)+6I(A;B|D)+2I(A;D|B)+2I(B;D|A)+6I(C;D) -10 -18 22 -7 15 23 -25 0 8 8 -10 -6 0 0 0 [147]: 9I(A;B) <= 12I(A;B|C)+16I(A;C|B)+7I(B;C|A)+9I(A;B|D)+13I(A;D|B)+11I(B;D|A)+9I(C;D) -27 -38 56 -3 19 28 -35 0 20 22 -33 -9 0 0 0 [148]: 7I(A;B) <= 8I(A;B|C)+16I(A;C|B)+16I(B;C|A)+7I(A;B|D)+3I(A;D|B)+3I(B;D|A)+7I(C;D) -26 -26 45 -1 24 24 -40 0 10 10 -13 -7 0 0 0 [149]: 5I(A;B) <= 9I(A;B|C)+4I(A;C|B)+4I(B;C|A)+5I(A;B|D)+3I(A;D|B)+I(B;D|A)+5I(C;D) -10 -12 17 -4 13 13 -17 0 6 8 -9 -5 0 0 0 [150]: 8I(A;B) <= 17I(A;B|C)+7I(A;C|B)+3I(B;C|A)+16I(A;B|D)+8I(A;D|B)+8I(C;D) -11 -23 26 -9 20 24 -27 -8 16 24 -24 -8 0 0 0 [151]: 3I(A;B) <= 9I(A;B|C)+2I(A;C|B)+2I(B;C|A)+3I(A;B|D)+3I(C;D) -5 -5 7 -6 11 11 -13 0 3 3 -3 -3 0 0 0 [152]: 9I(A;B) <= 17I(A;B|C)+15I(A;C|B)+3I(B;C|A)+9I(A;B|D)+15I(A;D|B)+5I(B;D|A)+9I(C;D) -17 -39 47 -8 20 32 -35 0 14 24 -29 -9 0 0 0 [153]: 3I(A;B) <= 4I(A;B|C)+5I(A;C|B)+4I(B;C|A)+4I(A;B|D)+I(A;D|B)+3I(C;D) -7 -9 13 -1 8 9 -13 -1 4 5 -5 -3 0 0 0 [154]: 7I(A;B) <= 16I(A;B|C)+12I(A;C|B)+2I(B;C|A)+7I(A;B|D)+4I(A;D|B)+3I(B;D|A)+7I(C;D) -12 -23 28 -9 18 28 -30 0 10 11 -14 -7 0 0 0 [155]: 3I(A;B) <= 5I(A;B|C)+6I(A;C|B)+2I(B;C|A)+3I(A;B|D)+3I(C;D) -5 -9 11 -2 7 11 -13 0 3 3 -3 -3 0 0 0 [156]: 6I(A;B) <= 11I(A;B|C)+10I(A;C|B)+2I(B;C|A)+6I(A;B|D)+9I(A;D|B)+4I(B;D|A)+6I(C;D) -12 -25 31 -5 13 21 -23 0 10 15 -19 -6 0 0 0 [157]: 6I(A;B) <= 7I(A;B|C)+13I(A;C|B)+13I(B;C|A)+6I(A;B|D)+2I(A;D|B)+2I(B;D|A)+6I(C;D) -21 -21 36 -1 20 20 -33 0 8 8 -10 -6 0 0 0 [158]: 10I(A;B) <= 23I(A;B|C)+16I(A;C|B)+3I(B;C|A)+10I(A;B|D)+5I(A;D|B)+5I(B;D|A)+10I(C;D) -18 -31 39 -13 26 39 -42 0 15 15 -20 -10 0 0 0 [159]: 4I(A;B) <= 5I(A;B|C)+9I(A;C|B)+6I(B;C|A)+6I(A;B|D)+3I(A;D|B)+4I(C;D) -10 -16 22 -1 11 14 -20 -2 6 9 -9 -4 0 0 0 [160]: 9I(A;B) <= 19I(A;B|C)+8I(A;C|B)+4I(B;C|A)+15I(A;B|D)+7I(A;D|B)+9I(C;D) -13 -24 28 -10 23 27 -31 -6 15 22 -22 -9 0 0 0 [161]: 10I(A;B) <= 11I(A;B|C)+22I(A;C|B)+22I(B;C|A)+10I(A;B|D)+9I(A;D|B)+9I(B;D|A)+10I(C;D) -41 -41 72 -1 33 33 -55 0 19 19 -28 -10 0 0 0 [162]: 5I(A;B) <= 20I(A;B|C)+15I(A;C|B)+I(B;C|A)+5I(A;B|D)+5I(C;D) -6 -20 21 -15 21 35 -36 0 5 5 -5 -5 0 0 0 [163]: 4I(A;B) <= 8I(A;B|C)+11I(A;C|B)+I(B;C|A)+4I(A;B|D)+4I(A;D|B)+4I(B;D|A)+4I(C;D) -9 -19 24 -4 9 19 -20 0 8 8 -12 -4 0 0 0 [164]: 7I(A;B) <= 16I(A;B|C)+12I(A;C|B)+2I(B;C|A)+7I(A;B|D)+3I(A;D|B)+4I(B;D|A)+7I(C;D) -13 -22 28 -9 18 28 -30 0 11 10 -14 -7 0 0 0 [165]: 4I(A;B) <= 9I(A;B|C)+8I(A;C|B)+I(B;C|A)+4I(A;B|D)+3I(A;D|B)+2I(B;D|A)+4I(C;D) -7 -15 18 -5 10 17 -18 0 6 7 -9 -4 0 0 0 [166]: 6I(A;B) <= 12I(A;B|C)+5I(A;C|B)+5I(B;C|A)+6I(A;B|D)+3I(A;D|B)+6I(C;D) -11 -14 19 -6 17 17 -22 0 6 9 -9 -6 0 0 0 [167]: 7I(A;B) <= 12I(A;B|C)+10I(A;C|B)+3I(B;C|A)+14I(A;B|D)+6I(A;D|B)+7I(C;D) -10 -23 26 -5 15 22 -25 -7 14 20 -20 -7 0 0 0 [168]: 13I(A;B) <= 24I(A;B|C)+16I(A;C|B)+5I(B;C|A)+26I(A;B|D)+10I(A;D|B)+13I(C;D) -18 -39 44 -11 29 40 -45 -13 26 36 -36 -13 0 0 0 [169]: 6I(A;B) <= 14I(A;B|C)+4I(A;C|B)+3I(B;C|A)+12I(A;B|D)+11I(A;D|B)+6I(C;D) -9 -21 24 -8 17 18 -21 -6 12 23 -23 -6 0 0 0 [170]: 10I(A;B) <= 18I(A;B|C)+11I(A;C|B)+7I(B;C|A)+13I(A;B|D)+3I(A;D|B)+10I(C;D) -17 -24 31 -8 25 29 -36 -3 13 16 -16 -10 0 0 0 [171]: 12I(A;B) <= 22I(A;B|C)+14I(A;C|B)+5I(B;C|A)+23I(A;B|D)+9I(A;D|B)+12I(C;D) -17 -35 40 -10 27 36 -41 -11 23 32 -32 -12 0 0 0 [172]: 4I(A;B) <= 14I(A;B|C)+9I(A;C|B)+I(B;C|A)+4I(A;B|D)+4I(C;D) -5 -13 14 -10 15 23 -24 0 4 4 -4 -4 0 0 0 [173]: 6I(A;B) <= 11I(A;B|C)+10I(A;C|B)+2I(B;C|A)+6I(A;B|D)+8I(A;D|B)+5I(B;D|A)+6I(C;D) -13 -24 31 -5 13 21 -23 0 11 14 -19 -6 0 0 0 [174]: 5I(A;B) <= 11I(A;B|C)+4I(A;C|B)+2I(B;C|A)+10I(A;B|D)+8I(A;D|B)+5I(C;D) -7 -17 19 -6 13 15 -17 -5 10 18 -18 -5 0 0 0 [175]: 8I(A;B) <= 14I(A;B|C)+13I(A;C|B)+4I(B;C|A)+12I(A;B|D)+8I(A;D|B)+8I(C;D) -12 -29 33 -6 18 27 -31 -4 12 20 -20 -8 0 0 0 [176]: 10I(A;B) <= 20I(A;B|C)+9I(A;C|B)+6I(B;C|A)+12I(A;B|D)+7I(A;D|B)+10I(C;D) -16 -26 32 -10 26 29 -35 -2 12 19 -19 -10 0 0 0 [177]: 8I(A;B) <= 17I(A;B|C)+9I(A;C|B)+5I(B;C|A)+8I(A;B|D)+8I(C;D) -13 -17 22 -9 22 26 -31 0 8 8 -8 -8 0 0 0 [178]: 3I(A;B) <= 8I(A;B|C)+I(A;C|B)+4I(B;C|A)+6I(A;B|D)+7I(A;D|B)+3I(C;D) -7 -11 15 -5 12 9 -13 -3 6 13 -13 -3 0 0 0 [179]: 8I(A;B) <= 9I(A;B|C)+15I(A;C|B)+15I(B;C|A)+8I(A;B|D)+6I(A;D|B)+6I(B;D|A)+8I(C;D) -29 -29 50 -1 24 24 -39 0 14 14 -20 -8 0 0 0 [180]: 7I(A;B) <= 8I(A;B|C)+21I(A;C|B)+21I(B;C|A)+7I(A;B|D)+2I(A;D|B)+2I(B;D|A)+7I(C;D) -30 -30 53 -1 29 29 -50 0 9 9 -11 -7 0 0 0 [181]: 5I(A;B) <= 6I(A;B|C)+15I(A;C|B)+15I(B;C|A)+5I(A;B|D)+5I(C;D) -20 -20 35 -1 21 21 -36 0 5 5 -5 -5 0 0 0 [182]: 5I(A;B) <= 6I(A;B|C)+5I(A;C|B)+5I(B;C|A)+5I(A;B|D)+10I(A;D|B)+10I(B;D|A)+5I(C;D) -20 -20 35 -1 11 11 -16 0 15 15 -25 -5 0 0 0 [183]: 9I(A;B) <= 10I(A;B|C)+19I(A;C|B)+19I(B;C|A)+9I(A;B|D)+7I(A;D|B)+7I(B;D|A)+9I(C;D) -35 -35 61 -1 29 29 -48 0 16 16 -23 -9 0 0 0 [184]: 6I(A;B) <= 7I(A;B|C)+17I(A;C|B)+17I(B;C|A)+6I(A;B|D)+I(A;D|B)+I(B;D|A)+6I(C;D) -24 -24 42 -1 24 24 -41 0 7 7 -8 -6 0 0 0 [185]: 10I(A;B) <= 17I(A;B|C)+11I(A;C|B)+11I(B;C|A)+10I(A;B|D)+10I(C;D) -21 -21 32 -7 28 28 -39 0 10 10 -10 -10 0 0 0 [186]: 4I(A;B) <= 9I(A;B|C)+3I(A;C|B)+2I(B;C|A)+5I(A;B|D)+7I(A;D|B)+4I(C;D) -6 -14 16 -5 11 12 -14 -1 5 12 -12 -4 0 0 0 [187]: 4I(A;B) <= 6I(A;B|C)+5I(A;C|B)+4I(B;C|A)+4I(A;B|D)+4I(A;D|B)+4I(C;D) -8 -13 17 -2 10 11 -15 0 4 8 -8 -4 0 0 0 [188]: 4I(A;B) <= 5I(A;B|C)+10I(A;C|B)+9I(B;C|A)+4I(A;B|D)+4I(C;D) -13 -14 23 -1 14 15 -24 0 4 4 -4 -4 0 0 0 [189]: 3I(A;B) <= 4I(A;B|C)+5I(A;C|B)+5I(B;C|A)+3I(A;B|D)+3I(C;D) -8 -8 13 -1 9 9 -14 0 3 3 -3 -3 0 0 0 [190]: 6I(A;B) <= 13I(A;B|C)+5I(A;C|B)+3I(B;C|A)+8I(A;B|D)+2I(B;D|A)+6I(C;D)+10I(C;D|A) -21 -11 16 -7 26 18 -21 -2 20 8 -10 -6 -10 0 0 [191]: 3I(A;B) <= 4I(A;B|C)+4I(A;C|B)+5I(B;C|A)+4I(A;B|D)+I(A;D|B)+3I(C;D) -8 -8 13 -1 9 8 -13 -1 4 5 -5 -3 0 0 0 [192]: 7I(A;B) <= 25I(A;B|C)+18I(A;C|B)+I(B;C|A)+13I(A;B|D)+6I(A;D|B)+7I(C;D) -8 -31 32 -18 26 43 -44 -6 13 19 -19 -7 0 0 0 [193]: 10I(A;B) <= 17I(A;B|C)+8I(A;C|B)+9I(B;C|A)+10I(A;B|D)+4I(A;D|B)+2I(B;D|A)+10I(C;D) -21 -22 33 -7 26 25 -34 0 12 14 -16 -10 0 0 0 [194]: 9I(A;B) <= 16I(A;B|C)+14I(A;C|B)+4I(B;C|A)+15I(A;B|D)+9I(A;D|B)+9I(C;D) -13 -32 36 -7 20 30 -34 -6 15 24 -24 -9 0 0 0 [195]: 9I(A;B) <= 10I(A;B|C)+18I(A;C|B)+18I(B;C|A)+9I(A;B|D)+8I(A;D|B)+8I(B;D|A)+9I(C;D) -35 -35 61 -1 28 28 -46 0 17 17 -25 -9 0 0 0 [196]: 7I(A;B) <= 15I(A;B|C)+6I(A;C|B)+3I(B;C|A)+12I(A;B|D)+7I(A;D|B)+7I(C;D) -10 -20 23 -8 18 21 -24 -5 12 19 -19 -7 0 0 0 [197]: 3I(A;B) <= 6I(A;B|C)+5I(A;C|B)+I(B;C|A)+3I(A;B|D)+I(A;D|B)+3I(B;D|A)+3I(C;D) -7 -9 13 -3 7 11 -12 0 6 4 -7 -3 0 0 0 [198]: 5I(A;B) <= 9I(A;B|C)+6I(A;C|B)+2I(B;C|A)+10I(A;B|D)+5I(A;D|B)+5I(C;D) -7 -16 18 -4 11 15 -17 -5 10 15 -15 -5 0 0 0 [199]: 7I(A;B) <= 35I(A;B|C)+28I(A;C|B)+I(B;C|A)+11I(A;B|D)+4I(A;D|B)+7I(C;D) -8 -39 40 -28 36 63 -64 -4 11 15 -15 -7 0 0 0 [200]: 4I(A;B) <= 7I(A;B|C)+5I(A;C|B)+I(B;C|A)+13I(A;B|D)+8I(A;D|B)+4I(C;D) -5 -17 18 -3 8 12 -13 -9 13 21 -21 -4 0 0 0 [201]: 7I(A;B) <= 19I(A;B|C)+2I(A;C|B)+11I(B;C|A)+7I(A;B|D)+12I(A;D|B)+I(B;D|A)+7I(C;D) -19 -21 33 -12 30 21 -32 0 8 19 -20 -7 0 0 0 [202]: 4I(A;B) <= 13I(A;B|C)+9I(A;C|B)+I(B;C|A)+4I(A;B|D)+4I(C;D)+7I(C;D|A) -12 -13 14 -9 21 22 -23 0 11 4 -4 -4 -7 0 0 [203]: 4I(A;B) <= 13I(A;B|C)+10I(A;C|B)+I(B;C|A)+4I(A;B|D)+4I(C;D) -5 -14 15 -9 14 23 -24 0 4 4 -4 -4 0 0 0 [204]: 3I(A;B) <= 8I(A;B|C)+5I(A;C|B)+I(B;C|A)+3I(A;B|D)+3I(C;D) -4 -8 9 -5 9 13 -14 0 3 3 -3 -3 0 0 0 [205]: 3I(A;B) <= 6I(A;B|C)+2I(A;C|B)+2I(B;C|A)+4I(A;B|D)+I(B;D|A)+3I(C;D)+5I(C;D|A) -11 -5 8 -3 13 8 -10 -1 10 4 -5 -3 -5 0 0 [206]: 4I(A;B) <= 9I(A;B|C)+8I(A;C|B)+I(B;C|A)+4I(A;B|D)+2I(A;D|B)+3I(B;D|A)+4I(C;D) -8 -14 18 -5 10 17 -18 0 7 6 -9 -4 0 0 0 [207]: 5I(A;B) <= 7I(A;B|C)+11I(A;C|B)+6I(B;C|A)+5I(A;B|D)+2I(A;D|B)+5I(C;D) -11 -18 24 -2 13 18 -24 0 5 7 -7 -5 0 0 0 [208]: 5I(A;B) <= 10I(A;B|C)+5I(A;C|B)+I(B;C|A)+15I(A;B|D)+10I(A;D|B)+5I(C;D) -6 -20 21 -5 11 15 -16 -10 15 25 -25 -5 0 0 0 [209]: 4I(A;B) <= 11I(A;B|C)+7I(A;C|B)+I(B;C|A)+4I(A;B|D)+4I(A;D|B)+5I(B;D|A)+4I(C;D) -10 -15 21 -7 12 18 -19 0 9 8 -13 -4 0 0 0 [210]: 8I(A;B) <= 17I(A;B|C)+7I(A;C|B)+4I(B;C|A)+10I(A;B|D)+2I(B;D|A)+8I(C;D)+12I(C;D|A) -26 -15 21 -9 33 24 -28 -2 24 10 -12 -8 -12 0 0 [211]: 7I(A;B) <= 8I(A;B|C)+9I(A;C|B)+9I(B;C|A)+7I(A;B|D)+14I(A;D|B)+14I(B;D|A)+7I(C;D) -30 -30 53 -1 17 17 -26 0 21 21 -35 -7 0 0 0 [212]: 4I(A;B) <= 5I(A;B|C)+10I(A;C|B)+6I(B;C|A)+7I(A;B|D)+2I(A;D|B)+4I(C;D) -10 -16 22 -1 11 15 -21 -3 7 9 -9 -4 0 0 0 [213]: 10I(A;B) <= 26I(A;B|C)+3I(A;C|B)+16I(B;C|A)+10I(A;B|D)+18I(A;D|B)+I(B;D|A)+10I(C;D) -27 -31 48 -16 42 29 -45 0 11 28 -29 -10 0 0 0 [214]: 9I(A;B) <= 12I(A;B|C)+22I(A;C|B)+10I(B;C|A)+13I(A;B|D)+10I(A;D|B)+9I(C;D) -19 -41 51 -3 22 34 -44 -4 13 23 -23 -9 0 0 0 [215]: 3I(A;B) <= 7I(A;B|C)+2I(A;C|B)+2I(B;C|A)+3I(A;B|D)+3I(C;D)+2I(C;D|A) -7 -5 7 -4 11 9 -11 0 5 3 -3 -3 -2 0 0 [216]: 7I(A;B) <= 9I(A;B|C)+16I(A;C|B)+10I(B;C|A)+10I(A;B|D)+2I(A;D|B)+7I(C;D) -17 -25 35 -2 19 25 -35 -3 10 12 -12 -7 0 0 0 [217]: 6I(A;B) <= 9I(A;B|C)+6I(A;C|B)+4I(B;C|A)+6I(A;B|D)+3I(A;D|B)+4I(B;D|A)+6I(C;D) -14 -15 23 -3 13 15 -19 0 10 9 -13 -6 0 0 0 [218]: 4I(A;B) <= 8I(A;B|C)+2I(A;C|B)+5I(B;C|A)+4I(A;B|D)+4I(C;D)+4I(C;D|A) -13 -6 11 -4 17 10 -15 0 8 4 -4 -4 -4 0 0 [219]: 13I(A;B) <= 37I(A;B|C)+22I(A;C|B)+3I(B;C|A)+17I(A;B|D)+6I(A;D|B)+13I(C;D) -16 -41 44 -24 40 59 -62 -4 17 23 -23 -13 0 0 0 [220]: 8I(A;B) <= 10I(A;B|C)+23I(A;C|B)+12I(B;C|A)+8I(A;B|D)+I(A;D|B)+4I(B;D|A)+8I(C;D) -24 -32 48 -2 22 33 -45 0 12 9 -13 -8 0 0 0 [221]: 6I(A;B) <= 7I(A;B|C)+7I(A;C|B)+7I(B;C|A)+6I(A;B|D)+11I(A;D|B)+11I(B;D|A)+6I(C;D) -24 -24 42 -1 14 14 -21 0 17 17 -28 -6 0 0 0 [222]: 11I(A;B) <= 29I(A;B|C)+3I(A;C|B)+19I(B;C|A)+11I(A;B|D)+21I(A;D|B)+2I(B;D|A)+11I(C;D) -32 -35 56 -18 48 32 -51 0 13 32 -34 -11 0 0 0 [223]: 9I(A;B) <= 12I(A;B|C)+8I(A;C|B)+13I(B;C|A)+9I(A;B|D)+9I(A;D|B)+2I(B;D|A)+9I(C;D) -24 -26 41 -3 25 20 -33 0 11 18 -20 -9 0 0 0 [224]: 4I(A;B) <= 7I(A;B|C)+5I(A;C|B)+2I(B;C|A)+8I(A;B|D)+2I(A;D|B)+4I(C;D) -6 -11 13 -3 9 12 -14 -4 8 10 -10 -4 0 0 0 [225]: 4I(A;B) <= 11I(A;B|C)+7I(A;C|B)+I(B;C|A)+4I(A;B|D)+I(A;D|B)+7I(B;D|A)+4I(C;D) -12 -12 20 -7 12 18 -19 0 11 5 -12 -4 0 0 0 [226]: 8I(A;B) <= 14I(A;B|C)+6I(A;C|B)+7I(B;C|A)+8I(A;B|D)+4I(A;D|B)+2I(B;D|A)+8I(C;D) -17 -18 27 -6 21 20 -27 0 10 12 -14 -8 0 0 0 [227]: 6I(A;B) <= 8I(A;B|C)+6I(A;C|B)+5I(B;C|A)+6I(A;B|D)+4I(A;D|B)+5I(B;D|A)+6I(C;D) -16 -16 26 -2 13 14 -19 0 11 10 -15 -6 0 0 0 [228]: 7I(A;B) <= 13I(A;B|C)+5I(A;C|B)+6I(B;C|A)+7I(A;B|D)+5I(A;D|B)+I(B;D|A)+7I(C;D) -14 -17 24 -6 19 18 -24 0 8 12 -13 -7 0 0 0 [229]: 12I(A;B) <= 16I(A;B|C)+25I(A;C|B)+18I(B;C|A)+12I(A;B|D)+3I(A;D|B)+12I(C;D) -30 -40 58 -4 34 41 -59 0 12 15 -15 -12 0 0 0 [230]: 8I(A;B) <= 12I(A;B|C)+9I(A;C|B)+5I(B;C|A)+8I(A;B|D)+4I(A;D|B)+8I(B;D|A)+8I(C;D) -21 -21 34 -4 17 21 -26 0 16 12 -20 -8 0 0 0 [231]: 5I(A;B) <= 6I(A;B|C)+14I(A;C|B)+9I(B;C|A)+5I(A;B|D)+I(A;D|B)+2I(B;D|A)+5I(C;D) -16 -20 31 -1 15 20 -29 0 7 6 -8 -5 0 0 0 [232]: 15I(A;B) <= 27I(A;B|C)+45I(A;C|B)+5I(B;C|A)+15I(A;B|D)+27I(A;D|B)+11I(B;D|A)+15I(C;D) -31 -87 103 -12 32 72 -77 0 26 42 -53 -15 0 0 0 [233]: 10I(A;B) <= 18I(A;B|C)+12I(A;C|B)+4I(B;C|A)+21I(A;B|D)+7I(A;D|B)+10I(C;D) -14 -29 33 -8 22 30 -34 -11 21 28 -28 -10 0 0 0 [234]: 9I(A;B) <= 17I(A;B|C)+9I(A;C|B)+6I(B;C|A)+11I(A;B|D)+4I(A;D|B)+9I(C;D) -15 -22 28 -8 23 26 -32 -2 11 15 -15 -9 0 0 0 [235]: 11I(A;B) <= 29I(A;B|C)+16I(A;C|B)+3I(B;C|A)+15I(A;B|D)+6I(A;D|B)+11I(C;D) -14 -33 36 -18 32 45 -48 -4 15 21 -21 -11 0 0 0 [236]: 18I(A;B) <= 22I(A;B|C)+51I(A;C|B)+30I(B;C|A)+18I(A;B|D)+3I(A;D|B)+6I(B;D|A)+18I(C;D) -54 -72 108 -4 52 73 -103 0 24 21 -27 -18 0 0 0 [237]: 3I(A;B) <= 6I(A;B|C)+6I(A;C|B)+I(B;C|A)+3I(A;B|D)+I(A;D|B)+I(B;D|A)+3I(C;D) -5 -10 12 -3 7 12 -13 0 4 4 -5 -3 0 0 0 [238]: 18I(A;B) <= 32I(A;B|C)+13I(A;C|B)+16I(B;C|A)+18I(A;B|D)+13I(A;D|B)+2I(B;D|A)+18I(C;D) -36 -44 62 -14 48 45 -61 0 20 31 -33 -18 0 0 0 [239]: 6I(A;B) <= 14I(A;B|C)+9I(A;C|B)+2I(B;C|A)+6I(A;B|D)+2I(A;D|B)+3I(B;D|A)+6I(C;D) -11 -17 22 -8 16 23 -25 0 9 8 -11 -6 0 0 0 [240]: 14I(A;B) <= 24I(A;B|C)+13I(A;C|B)+14I(B;C|A)+14I(A;B|D)+11I(A;D|B)+14I(C;D) -28 -38 52 -10 38 37 -51 0 14 25 -25 -14 0 0 0 [241]: 5I(A;B) <= 9I(A;B|C)+5I(A;C|B)+4I(B;C|A)+6I(A;B|D)+2I(A;D|B)+5I(C;D) -9 -12 16 -4 13 14 -18 -1 6 8 -8 -5 0 0 0 [242]: 6I(A;B) <= 17I(A;B|C)+2I(A;C|B)+9I(B;C|A)+9I(A;B|D)+3I(A;D|B)+6I(C;D) -15 -11 20 -11 26 19 -28 -3 9 12 -12 -6 0 0 0 [243]: 4I(A;B) <= 11I(A;B|C)+7I(A;C|B)+I(B;C|A)+4I(A;B|D)+2I(A;D|B)+6I(B;D|A)+4I(C;D) -11 -13 20 -7 12 18 -19 0 10 6 -12 -4 0 0 0 [244]: 18I(A;B) <= 30I(A;B|C)+20I(A;C|B)+12I(B;C|A)+37I(A;B|D)+15I(A;D|B)+18I(C;D) -30 -53 65 -12 42 50 -62 -19 37 52 -52 -18 0 0 0 [245]: 8I(A;B) <= 10I(A;B|C)+22I(A;C|B)+13I(B;C|A)+8I(A;B|D)+I(A;D|B)+2I(B;D|A)+8I(C;D) -23 -31 46 -2 23 32 -45 0 10 9 -11 -8 0 0 0 [246]: 5I(A;B) <= 8I(A;B|C)+3I(A;C|B)+5I(B;C|A)+5I(A;B|D)+5I(A;D|B)+2I(B;D|A)+5I(C;D) -12 -13 20 -3 13 11 -16 0 7 10 -12 -5 0 0 0 [247]: 9I(A;B) <= 19I(A;B|C)+7I(A;C|B)+5I(B;C|A)+12I(A;B|D)+8I(A;D|B)+9I(C;D) -14 -24 29 -10 24 26 -31 -3 12 20 -20 -9 0 0 0 [248]: 4I(A;B) <= 5I(A;B|C)+4I(A;C|B)+4I(B;C|A)+4I(A;B|D)+6I(A;D|B)+5I(B;D|A)+4I(C;D) -13 -14 23 -1 9 9 -13 0 9 10 -15 -4 0 0 0 [249]: 14I(A;B) <= 28I(A;B|C)+10I(A;C|B)+13I(B;C|A)+14I(A;B|D)+14I(C;D)+11I(C;D|A) -38 -24 37 -14 52 38 -51 0 25 14 -14 -14 -11 0 0 [250]: 7I(A;B) <= 15I(A;B|C)+6I(A;C|B)+4I(B;C|A)+8I(A;B|D)+6I(A;D|B)+7I(C;D) -11 -19 23 -8 19 21 -25 -1 8 14 -14 -7 0 0 0 [251]: 7I(A;B) <= 18I(A;B|C)+26I(A;C|B)+2I(B;C|A)+7I(A;B|D)+2I(A;D|B)+I(B;D|A)+7I(C;D) -10 -35 38 -11 20 44 -46 0 8 9 -10 -7 0 0 0 [252]: 11I(A;B) <= 19I(A;B|C)+34I(A;C|B)+4I(B;C|A)+11I(A;B|D)+20I(A;D|B)+8I(B;D|A)+11I(C;D) -23 -65 77 -8 23 53 -57 0 19 31 -39 -11 0 0 0 [253]: 4I(A;B) <= 5I(A;B|C)+5I(A;C|B)+4I(B;C|A)+4I(A;B|D)+3I(A;D|B)+3I(B;D|A)+4I(C;D) -11 -12 19 -1 9 10 -14 0 7 7 -10 -4 0 0 0 [254]: 5I(A;B) <= 13I(A;B|C)+8I(A;C|B)+I(B;C|A)+8I(A;B|D)+3I(A;D|B)+5I(C;D) -6 -16 17 -8 14 21 -22 -3 8 11 -11 -5 0 0 0 [255]: 6I(A;B) <= 7I(A;B|C)+15I(A;C|B)+12I(B;C|A)+6I(A;B|D)+2I(A;D|B)+3I(B;D|A)+6I(C;D) -21 -23 38 -1 19 22 -34 0 9 8 -11 -6 0 0 0 [256]: 14I(A;B) <= 21I(A;B|C)+17I(A;C|B)+9I(B;C|A)+14I(A;B|D)+6I(A;D|B)+12I(B;D|A)+14I(C;D) -35 -37 58 -7 30 38 -47 0 26 20 -32 -14 0 0 0 [257]: 3I(A;B) <= 5I(A;B|C)+2I(A;C|B)+4I(B;C|A)+3I(A;B|D)+2I(A;D|B)+3I(C;D) -7 -7 11 -2 9 7 -11 0 3 5 -5 -3 0 0 0 [258]: 4I(A;B) <= 7I(A;B|C)+4I(A;C|B)+3I(B;C|A)+6I(A;B|D)+2I(A;D|B)+4I(C;D) -7 -10 13 -3 10 11 -14 -2 6 8 -8 -4 0 0 0 [259]: 19I(A;B) <= 32I(A;B|C)+21I(A;C|B)+12I(B;C|A)+40I(A;B|D)+17I(A;D|B)+19I(C;D) -31 -57 69 -13 44 53 -65 -21 40 57 -57 -19 0 0 0 [260]: 10I(A;B) <= 20I(A;B|C)+9I(A;C|B)+7I(B;C|A)+11I(A;B|D)+5I(A;D|B)+10I(C;D) -17 -24 31 -10 27 29 -36 -1 11 16 -16 -10 0 0 0 [261]: 8I(A;B) <= 21I(A;B|C)+34I(A;C|B)+2I(B;C|A)+8I(A;B|D)+3I(A;D|B)+2I(B;D|A)+8I(C;D) -12 -45 49 -13 23 55 -57 0 10 11 -13 -8 0 0 0 [262]: 6I(A;B) <= 8I(A;B|C)+6I(A;C|B)+7I(B;C|A)+6I(A;B|D)+2I(A;D|B)+I(B;D|A)+6I(C;D) -14 -14 22 -2 15 14 -21 0 7 8 -9 -6 0 0 0 [263]: 4I(A;B) <= 10I(A;B|C)+2I(A;C|B)+3I(B;C|A)+5I(A;B|D)+I(A;D|B)+4I(C;D)+4I(C;D|A) -11 -7 10 -6 17 12 -15 -1 9 6 -6 -4 -4 0 0 [264]: 4I(A;B) <= 5I(A;B|C)+9I(A;C|B)+7I(B;C|A)+5I(A;B|D)+I(A;D|B)+4I(C;D) -11 -14 21 -1 12 14 -21 -1 5 6 -6 -4 0 0 0 [265]: 5I(A;B) <= 8I(A;B|C)+5I(A;C|B)+3I(B;C|A)+5I(A;B|D)+4I(A;D|B)+4I(B;D|A)+5I(C;D) -12 -14 21 -3 11 13 -16 0 9 9 -13 -5 0 0 0 [266]: 4I(A;B) <= 13I(A;B|C)+I(A;C|B)+9I(B;C|A)+4I(A;B|D)+7I(A;D|B)+4I(C;D) -13 -12 21 -9 22 14 -23 0 4 11 -11 -4 0 0 0 [267]: 9I(A;B) <= 25I(A;B|C)+12I(A;C|B)+3I(B;C|A)+11I(A;B|D)+4I(A;D|B)+9I(C;D) -12 -25 28 -16 28 37 -40 -2 11 15 -15 -9 0 0 0 [268]: 5I(A;B) <= 6I(A;B|C)+7I(A;C|B)+6I(B;C|A)+5I(A;B|D)+4I(A;D|B)+4I(B;D|A)+5I(C;D) -15 -16 26 -1 12 13 -19 0 9 9 -13 -5 0 0 0 [269]: 6I(A;B) <= 9I(A;B|C)+9I(A;C|B)+5I(B;C|A)+8I(A;B|D)+2I(A;D|B)+6I(C;D) -11 -17 22 -3 14 18 -23 -2 8 10 -10 -6 0 0 0 [270]: 7I(A;B) <= 11I(A;B|C)+6I(A;C|B)+6I(B;C|A)+7I(A;B|D)+3I(A;D|B)+2I(B;D|A)+7I(C;D) -15 -16 24 -4 17 17 -23 0 9 10 -12 -7 0 0 0 [271]: 4I(A;B) <= 9I(A;B|C)+5I(A;C|B)+I(B;C|A)+7I(A;B|D)+3I(A;D|B)+4I(C;D) -5 -12 13 -5 10 14 -15 -3 7 10 -10 -4 0 0 0 [272]: 9I(A;B) <= 18I(A;B|C)+7I(A;C|B)+6I(B;C|A)+12I(A;B|D)+9I(A;D|B)+9I(C;D) -15 -25 31 -9 24 25 -31 -3 12 21 -21 -9 0 0 0 [273]: 3I(A;B) <= 7I(A;B|C)+2I(A;C|B)+2I(B;C|A)+3I(A;B|D)+4I(A;D|B)+3I(C;D) -5 -9 11 -4 9 9 -11 0 3 7 -7 -3 0 0 0 [274]: 7I(A;B) <= 14I(A;B|C)+6I(A;C|B)+4I(B;C|A)+10I(A;B|D)+7I(A;D|B)+7I(C;D) -11 -20 24 -7 18 20 -24 -3 10 17 -17 -7 0 0 0 [275]: 6I(A;B) <= 8I(A;B|C)+8I(A;C|B)+5I(B;C|A)+6I(A;B|D)+2I(A;D|B)+I(B;D|A)+6I(C;D) -12 -16 22 -2 13 16 -21 0 7 8 -9 -6 0 0 0 [276]: 9I(A;B) <= 24I(A;B|C)+31I(A;C|B)+2I(B;C|A)+9I(A;B|D)+12I(A;D|B)+3I(B;D|A)+9I(C;D) -14 -52 57 -15 26 55 -57 0 12 21 -24 -9 0 0 0 [277]: 9I(A;B) <= 24I(A;B|C)+43I(A;C|B)+2I(B;C|A)+9I(A;B|D)+4I(A;D|B)+3I(B;D|A)+9I(C;D) -14 -56 61 -15 26 67 -69 0 12 13 -16 -9 0 0 0 [278]: 5I(A;B) <= 9I(A;B|C)+7I(A;C|B)+2I(B;C|A)+5I(A;B|D)+3I(A;D|B)+2I(B;D|A)+5I(C;D) -9 -15 19 -4 11 16 -18 0 7 8 -10 -5 0 0 0 [279]: 13I(A;B) <= 20I(A;B|C)+8I(A;C|B)+14I(B;C|A)+13I(A;B|D)+12I(A;D|B)+6I(B;D|A)+13I(C;D) -33 -33 53 -7 34 28 -42 0 19 25 -31 -13 0 0 0 [280]: 5I(A;B) <= 7I(A;B|C)+7I(A;C|B)+4I(B;C|A)+5I(A;B|D)+I(A;D|B)+2I(B;D|A)+5I(C;D) -11 -13 19 -2 11 14 -18 0 7 6 -8 -5 0 0 0 [281]: 21I(A;B) <= 32I(A;B|C)+24I(A;C|B)+13I(B;C|A)+21I(A;B|D)+10I(A;D|B)+18I(B;D|A)+21I(C;D) -52 -55 86 -11 45 56 -69 0 39 31 -49 -21 0 0 0 [282]: 5I(A;B) <= 10I(A;B|C)+3I(A;C|B)+6I(B;C|A)+5I(A;B|D)+5I(C;D)+2I(C;D|A) -13 -8 14 -5 18 13 -19 0 7 5 -5 -5 -2 0 0 [283]: 6I(A;B) <= 11I(A;B|C)+6I(A;C|B)+3I(B;C|A)+12I(A;B|D)+6I(A;D|B)+6I(C;D) -9 -18 21 -5 14 17 -20 -6 12 18 -18 -6 0 0 0 [284]: 20I(A;B) <= 34I(A;B|C)+17I(A;C|B)+18I(B;C|A)+20I(A;B|D)+5I(A;D|B)+4I(B;D|A)+20I(C;D) -42 -42 64 -14 52 51 -69 0 24 25 -29 -20 0 0 0 [285]: 24I(A;B) <= 40I(A;B|C)+17I(A;C|B)+24I(B;C|A)+24I(A;B|D)+13I(A;D|B)+6I(B;D|A)+24I(C;D) -54 -54 84 -16 64 57 -81 0 30 37 -43 -24 0 0 0 [286]: 5I(A;B) <= 11I(A;B|C)+14I(A;C|B)+I(B;C|A)+5I(A;B|D)+6I(A;D|B)+6I(B;D|A)+5I(C;D) -12 -25 32 -6 12 25 -26 0 11 11 -17 -5 0 0 0 [287]: 7I(A;B) <= 18I(A;B|C)+2I(A;C|B)+21I(B;C|A)+7I(A;B|D)+I(A;D|B)+7I(B;D|A)+7I(C;D)+3I(C;D|A) -38 -10 38 -11 42 20 -41 0 17 8 -15 -7 -3 0 0 [288]: 8I(A;B) <= 10I(A;B|C)+14I(A;C|B)+13I(B;C|A)+8I(A;B|D)+2I(A;D|B)+I(B;D|A)+8I(C;D) -22 -24 38 -2 23 24 -37 0 9 10 -11 -8 0 0 0 [289]: 5I(A;B) <= 8I(A;B|C)+6I(A;C|B)+5I(B;C|A)+5I(A;B|D)+2I(A;D|B)+5I(C;D) -10 -13 18 -3 13 14 -19 0 5 7 -7 -5 0 0 0 [290]: 19I(A;B) <= 29I(A;B|C)+22I(A;C|B)+12I(B;C|A)+19I(A;B|D)+8I(A;D|B)+16I(B;D|A)+19I(C;D) -47 -49 77 -10 41 51 -63 0 35 27 -43 -19 0 0 0 [291]: 4I(A;B) <= 6I(A;B|C)+5I(A;C|B)+4I(B;C|A)+6I(A;B|D)+2I(A;D|B)+4I(C;D) -8 -11 15 -2 10 11 -15 -2 6 8 -8 -4 0 0 0 [292]: 26I(A;B) <= 43I(A;B|C)+25I(A;C|B)+21I(B;C|A)+26I(A;B|D)+6I(A;D|B)+7I(B;D|A)+26I(C;D) -54 -57 85 -17 64 68 -89 0 33 32 -39 -26 0 0 0 [293]: 11I(A;B) <= 19I(A;B|C)+28I(A;C|B)+4I(B;C|A)+11I(A;B|D)+20I(A;D|B)+12I(B;D|A)+11I(C;D) -27 -59 75 -8 23 47 -51 0 23 31 -43 -11 0 0 0 [294]: 5I(A;B) <= 10I(A;B|C)+19I(A;C|B)+I(B;C|A)+5I(A;B|D)+8I(A;D|B)+8I(B;D|A)+5I(C;D) -14 -32 41 -5 11 29 -30 0 13 13 -21 -5 0 0 0 [295]: 7I(A;B) <= 13I(A;B|C)+6I(A;C|B)+7I(B;C|A)+7I(A;B|D)+3I(A;D|B)+7I(C;D) -14 -16 23 -6 20 19 -26 0 7 10 -10 -7 0 0 0 [296]: 36I(A;B) <= 61I(A;B|C)+35I(A;C|B)+29I(B;C|A)+36I(A;B|D)+6I(A;D|B)+11I(B;D|A)+36I(C;D) -76 -77 117 -25 90 96 -125 0 47 42 -53 -36 0 0 0 [297]: 6I(A;B) <= 9I(A;B|C)+8I(A;C|B)+4I(B;C|A)+6I(A;B|D)+2I(A;D|B)+5I(B;D|A)+6I(C;D) -15 -16 25 -3 13 17 -21 0 11 8 -13 -6 0 0 0 [298]: 10I(A;B) <= 12I(A;B|C)+18I(A;C|B)+17I(B;C|A)+10I(A;B|D)+4I(A;D|B)+3I(B;D|A)+10I(C;D) -30 -32 52 -2 29 30 -47 0 13 14 -17 -10 0 0 0 [299]: 14I(A;B) <= 36I(A;B|C)+45I(A;C|B)+4I(B;C|A)+14I(A;B|D)+17I(A;D|B)+2I(B;D|A)+14I(C;D) -20 -76 82 -22 40 81 -85 0 16 31 -33 -14 0 0 0 [300]: 14I(A;B) <= 22I(A;B|C)+10I(A;C|B)+5I(B;C|A)+16I(A;B|D)+20I(A;D|B)+7I(B;D|A)+14I(C;D) -26 -44 56 -8 27 32 -37 -2 23 36 -43 -14 0 0 0 [301]: 3I(A;B) <= 6I(A;B|C)+5I(A;C|B)+I(B;C|A)+6I(A;B|D)+2I(A;D|B)+3I(C;D) -4 -10 11 -3 7 11 -12 -3 6 8 -8 -3 0 0 0 [302]: 11I(A;B) <= 19I(A;B|C)+30I(A;C|B)+4I(B;C|A)+11I(A;B|D)+20I(A;D|B)+10I(B;D|A)+11I(C;D) -25 -61 75 -8 23 49 -53 0 21 31 -41 -11 0 0 0 [303]: 20I(A;B) <= 34I(A;B|C)+20I(A;C|B)+16I(B;C|A)+20I(A;B|D)+3I(A;D|B)+6I(B;D|A)+20I(C;D) -42 -43 65 -14 50 54 -70 0 26 23 -29 -20 0 0 0 [304]: 16I(A;B) <= 42I(A;B|C)+51I(A;C|B)+4I(B;C|A)+16I(A;B|D)+19I(A;D|B)+4I(B;D|A)+16I(C;D) -24 -86 94 -26 46 93 -97 0 20 35 -39 -16 0 0 0 [305]: 15I(A;B) <= 25I(A;B|C)+15I(A;C|B)+12I(B;C|A)+15I(A;B|D)+3I(A;D|B)+4I(B;D|A)+15I(C;D) -31 -33 49 -10 37 40 -52 0 19 18 -22 -15 0 0 0 [306]: 8I(A;B) <= 21I(A;B|C)+2I(A;C|B)+25I(B;C|A)+8I(A;B|D)+2I(A;D|B)+9I(B;D|A)+8I(C;D)+I(C;D|A) -43 -12 46 -13 47 23 -48 0 18 10 -19 -8 -1 0 0 [307]: 47I(A;B) <= 79I(A;B|C)+37I(A;C|B)+41I(B;C|A)+50I(A;B|D)+15I(A;D|B)+9I(B;D|A)+47I(C;D) -97 -99 149 -32 120 116 -157 -3 59 65 -74 -47 0 0 0 [308]: 25I(A;B) <= 66I(A;B|C)+81I(A;C|B)+6I(B;C|A)+25I(A;B|D)+30I(A;D|B)+7I(B;D|A)+25I(C;D) -38 -136 149 -41 72 147 -153 0 32 55 -62 -25 0 0 0 [309]: 20I(A;B) <= 30I(A;B|C)+14I(A;C|B)+15I(B;C|A)+24I(A;B|D)+8I(A;D|B)+7I(B;D|A)+20I(C;D) -42 -42 64 -10 45 44 -59 -4 31 32 -39 -20 0 0 0