[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) R is a strong D-copy of C over AB S is a strong BC-copy of R over AD [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) RS is a strong copy of CD over AB T is a strong BCS-copy of R over AD [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) RS is a strong copy of CD over AB T is a strong BCS-copy of R over AD [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) RS is a strong copy of BD over AC T is a strong BS-copy of C over ADR [20]: 2I(A;B) <= 3I(A;B|C)+3I(A;C|B)+2I(B;C|A)+2I(A;B|D)+2I(C;D) RS is a strong copy of CD over AB T is a strong DS-copy of B over ACR [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) RS is a strong copy of CD over AB T is a strong CS-copy of B over ADR [23]: 2I(A;B) <= 5I(A;B|C)+2I(A;C|B)+I(B;C|A)+2I(A;B|D)+2I(C;D) RS is a strong copy of AD over BC T is a strong DS-copy of C over ABR [24]: 2I(A;B) <= 4I(A;B|C)+3I(A;C|B)+I(B;C|A)+2I(A;B|D)+2I(C;D) RS is a strong copy of AD over BC T is a strong DS-copy of B over ACR [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS [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) R is a strong D-copy of C over AB S is a strong BD-copy of R over AC T is a strong BCS-copy of R over AD [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) R is a strong D-copy of C over AB S is a strong D-copy of C over ABR T is a strong C-copy of A over BDRS [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) RS is a strong copy of BD over AC TU is a strong B-copy of CS over ADR [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) RS is a strong copy of CD over AB TU is a strong CDRS-copy of (CR)(CS) over AB [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) RS is a strong copy of CD over AB TU is a strong BS-copy of CD over AR [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) RS is a strong copy of CD over AB TU is a strong CDRS-copy of (CR)(DR) over AB [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) R is a strong D-copy of C over AB ST is a strong copy of CD over ABR U is a strong BCDRS-copy of (CR) over AT [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) R is a strong D-copy of A over BC ST is a strong copy of CD over ABR U is a strong DS-copy of B over ACRT [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) R is a strong D-copy of C over AB ST is a strong copy of CD over ABR U is a strong DS-copy of B over ACRT [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) R is a strong D-copy of B over AC ST is a strong R-copy of CD over AB U is a strong DRS-copy of B over ACT [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) R is a strong D-copy of A over BC ST is a strong copy of CA over BDR U is a strong ACST-copy of (AT) over BDR [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) R is a strong D-copy of C over AB ST is a strong copy of AC over BDR U is a strong BCT-copy of R over ADS [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) R is a strong D-copy of B over AC ST is a strong R-copy of CD over AB U is a strong DT-copy of A over BCRS [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) R is a strong D-copy of C over AB ST is a strong R-copy of CD over AB U is a strong DT-copy of B over ACRS [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) R is a strong D-copy of C over AB ST is a strong R-copy of BC over AD U is a strong BCDT-copy of R over AS [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) R is a strong D-copy of A over BC ST is a strong copy of CD over ABR U is a strong BDT-copy of S over ACR [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) R is a strong D-copy of C over AB ST is a strong R-copy of CD over AB U is a strong CDST-copy of (CS) over ABR [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) RS is a strong copy of CD over AB T is a strong D-copy of C over ABRS U is a strong BCR-copy of A over DST [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) RS is a strong copy of CD over AB T is a strong C-copy of D over ABRS U is a strong DS-copy of B over ACRT [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) RS is a strong copy of BD over AC T is a strong BS-copy of C over ADR U is a strong BCD-copy of A over RST [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) RS is a strong copy of CD over AB T is a strong C-copy of D over ABRS U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong AC-copy of R over BDST [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong D-copy of C over ABRST [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) RS is a strong copy of BD over AC T is a strong DR-copy of C over ABS U is a strong D-copy of B over ACRST [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong DS-copy of A over BCRT [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) RS is a strong copy of BD over AC T is a strong BS-copy of C over ADR U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong BDS-copy of C over AR U is a strong BCS-copy of D over ART [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong ACD-copy of R over BST [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong AC-copy of R over BDST [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong CS-copy of A over BDRT [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) RS is a strong copy of CD over AB T is a strong BCS-copy of D over AR U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong BCS-copy of D over AR U is a strong BDS-copy of C over ART [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong D-copy of C over ABRS U is a strong CDRS-copy of (DR) over ABT [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) RS is a strong copy of CD over AB T is a strong BDS-copy of C over AR U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CS-copy of B over ADRT [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) RS is a strong copy of CD over AB T is a strong D-copy of C over ABRS U is a strong CDRS-copy of (DR) over ABT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong CR-copy of A over BDST [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) RS is a strong copy of CD over AB T is a strong CS-copy of D over ABR U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong CS-copy of B over ADR U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (DR) over AB U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong DS-copy of C over ABRT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong CDS-copy of (CS) over ABRT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong ADR-copy of C over BST [151]: 3I(A;B) <= 9I(A;B|C)+2I(A;C|B)+2I(B;C|A)+3I(A;B|D)+3I(C;D) RS is a strong copy of BD over AC T is a strong CDS-copy of B over AR U is a strong DS-copy of C over ABRT [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) RS is a strong copy of CD over AB T is a strong C-copy of D over ABRS U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CR-copy of A over BDST [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CR-copy of B over ADST [155]: 3I(A;B) <= 5I(A;B|C)+6I(A;C|B)+2I(B;C|A)+3I(A;B|D)+3I(C;D) RS is a strong copy of AD over BC T is a strong BDS-copy of A over CR U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong C-copy of D over ABRS U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong D-copy of C over ABRST [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CR-copy of D over ABST [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CR-copy of A over BDST [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong BDR-copy of S over ACT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CDRS-copy of (DR) over ABT [162]: 5I(A;B) <= 20I(A;B|C)+15I(A;C|B)+I(B;C|A)+5I(A;B|D)+5I(C;D) RS is a strong copy of AD over BC T is a strong ADRS-copy of (AR) over BC U is a strong ADRS-copy of (AR) over BCT [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong R-copy of S over ABCDT [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CR-copy of A over BDST [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CR-copy of B over ADST [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DS-copy of C over ABRT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong BDS-copy of R over ACT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong BDR-copy of S over ACT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong ARS-copy of C over BDT [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong S-copy of R over ABCDT [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) RS is a strong copy of CD over AB T is a strong BCS-copy of R over AD U is a strong CS-copy of A over BDRT [172]: 4I(A;B) <= 14I(A;B|C)+9I(A;C|B)+I(B;C|A)+4I(A;B|D)+4I(C;D) RS is a strong copy of AD over BC T is a strong ADRS-copy of (AR) over BC U is a strong DS-copy of C over ABRT [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) RS is a strong copy of CD over AB T is a strong C-copy of D over ABRS U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong ARS-copy of C over BDT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong CS-copy of A over BDRT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DS-copy of C over ABRT [177]: 8I(A;B) <= 17I(A;B|C)+9I(A;C|B)+5I(B;C|A)+8I(A;B|D)+8I(C;D) RS is a strong copy of AD over BC T is a strong DS-copy of C over ABR U is a strong DS-copy of C over ABRT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong ABDR-copy of T over CS [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CDRS-copy of (DR) over ABT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CDRS-copy of (CR) over ABT [181]: 5I(A;B) <= 6I(A;B|C)+15I(A;C|B)+15I(B;C|A)+5I(A;B|D)+5I(C;D) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CDRS-copy of (CR) over ABT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CS) over AB U is a strong CDRS-copy of (DS) over ABT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CDRS-copy of (DR) over ABT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CDRS-copy of (CR) over ABT [185]: 10I(A;B) <= 17I(A;B|C)+11I(A;C|B)+11I(B;C|A)+10I(A;B|D)+10I(C;D) RS is a strong copy of CD over AB T is a strong DS-copy of B over ACR U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong ADRT-copy of (AT) over BCS [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong BDST-copy of (BT) over ACR [188]: 4I(A;B) <= 5I(A;B|C)+10I(A;C|B)+9I(B;C|A)+4I(A;B|D)+4I(C;D) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong DS-copy of B over ACRT [189]: 3I(A;B) <= 4I(A;B|C)+5I(A;C|B)+5I(B;C|A)+3I(A;B|D)+3I(C;D) RS is a strong copy of CD over AB T is a strong DS-copy of B over ACR U is a strong ADS-copy of T over BCR [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) RS is a strong copy of BD over AC T is a strong BS-copy of C over ADR U is a strong ABCD-copy of T over RS [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong BDR-copy of T over ACS [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) RS is a strong copy of CD over AB T is a strong BDS-copy of C over AR U is a strong BCRS-copy of T over AD [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DR-copy of A over BCST [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong BCRST-copy of (RT) over AD [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CDRS-copy of (CS) over ABT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong ABDR-copy of T over CS [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) RS is a strong copy of CD over AB T is a strong D-copy of C over ABRS U is a strong BCS-copy of T over ADR [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong DRS-copy of T over ABC [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) RS is a strong copy of CD over AB T is a strong BDS-copy of R over AC U is a strong BCDR-copy of S over AT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong BCRS-copy of T over AD [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DS-copy of B over ACRT [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) RS is a strong copy of BD over AC T is a strong DR-copy of C over ABS U is a strong BCDS-copy of T over AR [203]: 4I(A;B) <= 13I(A;B|C)+10I(A;C|B)+I(B;C|A)+4I(A;B|D)+4I(C;D) RS is a strong copy of AD over BC T is a strong ADRS-copy of (AR) over BC U is a strong DS-copy of B over ACRT [204]: 3I(A;B) <= 8I(A;B|C)+5I(A;C|B)+I(B;C|A)+3I(A;B|D)+3I(C;D) RS is a strong copy of AD over BC T is a strong DS-copy of B over ACR U is a strong CDS-copy of T over ABR [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) RS is a strong copy of BD over AC T is a strong BS-copy of C over ADR U is a strong ABCD-copy of T over RS [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CR-copy of A over BDST [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong BCS-copy of T over ADR [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong BCRS-copy of T over AD [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong BCDS-copy of T over AR [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) RS is a strong copy of BD over AC T is a strong BS-copy of C over ADR U is a strong ABCD-copy of T over RS [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CS) over AB U is a strong CDRS-copy of (DS) over ABT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong BCRST-copy of (RT) over AD [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CR-copy of A over BDST [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) RS is a strong copy of BD over AC T is a strong DR-copy of C over ABS U is a strong ADS-copy of T over BCR [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong BCRST-copy of (RT) over AD [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong ADS-copy of T over BCR [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) RS is a strong copy of BD over AC T is a strong DR-copy of C over ABS U is a strong ADST-copy of (AT) over BCR [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) RS is a strong copy of CD over AB T is a strong BDS-copy of C over AR U is a strong BCS-copy of D over ART [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong DR-copy of A over BCST [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CS) over AB U is a strong CDRS-copy of (DS) over ABT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong BCS-copy of R over AD U is a strong BCS-copy of R over ADT [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong D-copy of C over ABRST [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) RS is a strong copy of CD over AB T is a strong CS-copy of B over ADR U is a strong ACS-copy of T over BDR [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong S-copy of R over ABCDT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong BDR-copy of T over ACS [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong ADS-copy of T over BCR [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CS-copy of A over BDRT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CS) over AB U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong BCS-copy of R over AD U is a strong BCS-copy of R over ADT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong D-copy of C over ABRST [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) RS is a strong copy of CD over AB T is a strong BDR-copy of S over AC U is a strong BDS-copy of R over ACT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong DR-copy of A over BCST [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) RS is a strong copy of AD over BC T is a strong CD-copy of B over ARS U is a strong DST-copy of B over ACR [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong BDRT-copy of (BT) over ACS [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CDRS-copy of (DS) over ABT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong BDST-copy of (BT) over ACR [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DS-copy of C over ABRT [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) RS is a strong copy of CD over AB T is a strong ADS-copy of C over BR U is a strong BCRS-copy of T over AD [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong BCDS-copy of T over AR [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong CS-copy of A over BDRT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong BDS-copy of T over ACR [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong BCDR-copy of T over AS [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (DR) over AB U is a strong CR-copy of B over ADST [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) RS is a strong copy of BD over AC T is a strong DR-copy of C over ABS U is a strong ADST-copy of (AT) over BCR [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong S-copy of R over ABCDT [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) RS is a strong copy of DA over BC T is a strong ADRS-copy of (AS) over BC U is a strong CR-copy of A over BDST [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CS) over AB U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong DS-copy of B over ACR U is a strong CDRST-copy of (DR) over AB [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) RS is a strong copy of CD over AB T is a strong BDS-copy of C over AR U is a strong BCST-copy of R over AD [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CR) over AB U is a strong DR-copy of A over BCST [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong ADS-copy of T over BCR [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong BCDS-copy of T over AR [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) RS is a strong copy of CD over AB T is a strong BCS-copy of D over AR U is a strong DST-copy of A over BCR [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) RS is a strong copy of CD over AB T is a strong BDR-copy of C over AS U is a strong DS-copy of B over ACRT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DS-copy of C over ABRT [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) RS is a strong copy of AD over BC T is a strong ADRS-copy of (AR) over BC U is a strong CD-copy of R over ABST [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) RS is a strong copy of CD over AB T is a strong CS-copy of B over ADR U is a strong DST-copy of A over BCR [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) RS is a strong copy of BD over AC T is a strong CS-copy of B over ADR U is a strong DST-copy of C over ABR [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) RS is a strong copy of AD over BC T is a strong CS-copy of A over BDR U is a strong BDST-copy of A over CR [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong ADS-copy of T over BCR [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong ADRS-copy of T over BC [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) RS is a strong copy of CD over AB T is a strong BCS-copy of D over AR U is a strong BDS-copy of C over ART [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) RS is a strong copy of CD over AB T is a strong DS-copy of B over ACR U is a strong CDRST-copy of (DR) over AB [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) RS is a strong copy of CD over AB T is a strong DS-copy of B over ACR U is a strong BCST-copy of R over AD [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong CST-copy of B over ADR [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) RS is a strong copy of CD over AB T is a strong BDS-copy of C over AR U is a strong BCST-copy of R over AD [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong BCRS-copy of T over AD [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong S-copy of R over ABCDT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong BCDR-copy of T over AS [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) RS is a strong copy of CD over AB T is a strong DS-copy of B over ACR U is a strong DRT-copy of B over ACS [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) RS is a strong copy of AD over BC T is a strong CS-copy of A over BDR U is a strong ADRS-copy of (AR) over BCT [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) RS is a strong copy of AD over BC T is a strong ADRS-copy of (AR) over BC U is a strong CD-copy of R over ABST [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong DRT-copy of B over ACS [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong BDS-copy of T over ACR [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) RS is a strong copy of CD over AB T is a strong DS-copy of B over ACR U is a strong CST-copy of B over ADR [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong ADS-copy of T over BCR [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) RS is a strong copy of BD over AC T is a strong BS-copy of C over ADR U is a strong DST-copy of A over BCR [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong BCST-copy of R over AD [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DR-copy of A over BCST [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong CR-copy of D over ABST [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CDRS-copy of (DS) over ABT [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) RS is a strong copy of BD over AC T is a strong CS-copy of B over ADR U is a strong BDRS-copy of (BR) over ACT [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong CDRST-copy of (CR) over AB [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) RS is a strong copy of CD over AB T is a strong DS-copy of B over ACR U is a strong CST-copy of A over BDR [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong ADS-copy of T over BCR [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong BCST-copy of R over AD [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong DR-copy of B over ACST [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CS) over AB U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong DS-copy of A over BCR U is a strong CDRS-copy of (DS) over ABT [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) RS is a strong copy of CD over AB T is a strong CS-copy of A over BDR U is a strong S-copy of R over ABCDT [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong DR-copy of B over ACST [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) RS is a strong copy of CD over AB T is a strong CS-copy of B over ADR U is a strong ADS-copy of T over BCR [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) RS is a strong copy of CD over AB T is a strong CS-copy of B over ADR U is a strong CDRST-copy of (CR) over AB [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) RS is a strong copy of AD over BC T is a strong CD-copy of R over ABS U is a strong ADRS-copy of (AR) over BCT [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) RS is a strong copy of CD over AB T is a strong BDR-copy of S over AC U is a strong DR-copy of B over ACST [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) RS is a strong copy of CD over AB T is a strong BDS-copy of C over AR U is a strong BCST-copy of R over AD [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) RS is a strong copy of CD over AB T is a strong CDRS-copy of (CS) over AB U is a strong DS-copy of A over BCRT [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong DR-copy of B over ACST [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) RS is a strong copy of AD over BC T is a strong CS-copy of A over BDR U is a strong ADRS-copy of (AR) over BCT [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) RS is a strong copy of CD over AB T is a strong DR-copy of B over ACS U is a strong DR-copy of B over ACST [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) RS is a strong copy of BD over AC T is a strong CS-copy of B over ADR U is a strong BDRS-copy of (BR) over ACT [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) RS is a strong copy of CD over AB T is a strong DR-copy of A over BCS U is a strong DR-copy of A over BCST [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) RS is a strong copy of AD over BC T is a strong CD-copy of R over ABS U is a strong ADRS-copy of (AR) over BCT [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) RS is a strong copy of CD over AB T is a strong CS-copy of B over ADR U is a strong CS-copy of B over ADRT