[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
[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)
   R is a strong D-copy of C over AB
   ST is a strong R-copy of CD over AB
[12]: 3I(A;B) <= 9I(A;B|C)+6I(A;C|B)+I(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 R over AB
[13]: 3I(A;B) <= 4I(A;B|C)+6I(A;C|B)+6I(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 R over AC
[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
[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)
   RS is a strong copy of CD over AB
   T is a strong CDRS-copy of (DR) over AB
[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
[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)
   RS is a strong copy of CD over AB
   T is a strong CDRS-copy of (CR) over AB
[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
[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)
   RS is a strong copy of CD over AB
   T is a strong CDRS-copy of (DR) over AB
[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
[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)
   RS is a strong copy of CD over AB
   T is a strong DS-copy of A over BCR
[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
[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)
   RS is a strong copy of CD over AB
   T is a strong CS-copy of B over ADR
[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)
   R is a strong D-copy of A over BC
   S is a strong C-copy of A over BDR
   T is a strong C-copy of A over BDRS
[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
[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)
   R is a strong D-copy of A over BC
   S is a strong BD-copy of R over AC
   T is a strong CS-copy of A over BDR
[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)
   R is a strong D-copy of A over BC
   S is a strong C-copy of A over BDR
   T is a strong D-copy of C over ABRS
[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)
   R is a strong D-copy of A over BC
   S is a strong BD-copy of A over CR
   T is a strong C-copy of A over BDRS
[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)
   R is a strong D-copy of C over AB
   S is a strong D-copy of A over BCR
   T is a strong C-copy of A over BDRS
[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)
   R is a strong D-copy of C over AB
   S is a strong C-copy of A over BDR
   T is a strong D-copy of A over BCRS
[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)
   R is a strong D-copy of A over BC
   S is a strong D-copy of C over ABR
   T is a strong C-copy of A over BDRS
[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)
   R is a strong D-copy of A over BC
   S is a strong D-copy of A over BCR
   T is a strong C-copy of A over BDRS
[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
[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)
   R is a strong D-copy of C over AB
   S is a strong C-copy of A over BDR
   T is a strong D-copy of A over BCRS
[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)
   R is a strong D-copy of A over BC
   S is a strong C-copy of D over ABR
   T is a strong D-copy of B over ACRS
[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)
   R is a strong D-copy of C over AB
   S is a strong C-copy of D over ABR
   T is a strong D-copy of C over ABRS
[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)
   R is a strong D-copy of A over BC
   S is a strong D-copy of C over ABR
   T is a strong BC-copy of S over ADR
[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)
   R is a strong D-copy of C over AB
   S is a strong BD-copy of C over AR
   T is a strong BCR-copy of S over AD
[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)
   R is a strong D-copy of C over AB
   S is a strong C-copy of A over BDR
   T is a strong D-copy of A over BCRS
[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)
   R is a strong D-copy of C over AB
   S is a strong BC-copy of D over AR
   T is a strong BDR-copy of S over AC
[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)
   R is a strong D-copy of C over AB
   S is a strong D-copy of A over BCR
   T is a strong C-copy of A over BDRS