CD8=yes levels=3 Lck=dynamic+MM   ZAP=dynamic species=57  valid composition laws=TCR,pMHC1,Lck,ZAP70,CD8    conservative=True  minimal siphons=5  certified by an integer law: 5  by LP: 0  -> criterion holds: True
CD8=yes levels=3 Lck=dynamic+MM   ZAP=const   species=56  valid composition laws=TCR,pMHC1,Lck,CD8          conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=yes levels=3 Lck=const        ZAP=dynamic species=56  valid composition laws=TCR,pMHC1,ZAP70,CD8        conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=yes levels=3 Lck=const        ZAP=const   species=55  valid composition laws=TCR,pMHC1,CD8              conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=yes levels=3 Lck=MM-collapsed ZAP=dynamic species=47  valid composition laws=TCR,pMHC1,ZAP70,CD8        conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=yes levels=3 Lck=MM-collapsed ZAP=const   species=46  valid composition laws=TCR,pMHC1,CD8              conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=yes levels=2 Lck=dynamic+MM   ZAP=dynamic species=41  valid composition laws=TCR,pMHC1,Lck,ZAP70,CD8    conservative=True  minimal siphons=5  certified by an integer law: 5  by LP: 0  -> criterion holds: True
CD8=yes levels=2 Lck=dynamic+MM   ZAP=const   species=40  valid composition laws=TCR,pMHC1,Lck,CD8          conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=yes levels=2 Lck=const        ZAP=dynamic species=40  valid composition laws=TCR,pMHC1,ZAP70,CD8        conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=yes levels=2 Lck=const        ZAP=const   species=39  valid composition laws=TCR,pMHC1,CD8              conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=yes levels=2 Lck=MM-collapsed ZAP=dynamic species=34  valid composition laws=TCR,pMHC1,ZAP70,CD8        conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=yes levels=2 Lck=MM-collapsed ZAP=const   species=33  valid composition laws=TCR,pMHC1,CD8              conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=yes levels=1 Lck=dynamic+MM   ZAP=dynamic species=29  valid composition laws=TCR,pMHC1,Lck,ZAP70,CD8    conservative=True  minimal siphons=5  certified by an integer law: 5  by LP: 0  -> criterion holds: True
CD8=yes levels=1 Lck=dynamic+MM   ZAP=const   species=28  valid composition laws=TCR,pMHC1,Lck,CD8          conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=yes levels=1 Lck=const        ZAP=dynamic species=28  valid composition laws=TCR,pMHC1,ZAP70,CD8        conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=yes levels=1 Lck=const        ZAP=const   species=27  valid composition laws=TCR,pMHC1,CD8              conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=yes levels=1 Lck=MM-collapsed ZAP=dynamic species=24  valid composition laws=TCR,pMHC1,ZAP70,CD8        conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=yes levels=1 Lck=MM-collapsed ZAP=const   species=23  valid composition laws=TCR,pMHC1,CD8              conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=3 Lck=dynamic+MM   ZAP=dynamic species=29  valid composition laws=TCR,pMHC1,Lck,ZAP70        conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=no  levels=3 Lck=dynamic+MM   ZAP=const   species=28  valid composition laws=TCR,pMHC1,Lck              conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=3 Lck=const        ZAP=dynamic species=28  valid composition laws=TCR,pMHC1,ZAP70            conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=3 Lck=const        ZAP=const   species=27  valid composition laws=TCR,pMHC1                  conservative=True  minimal siphons=2  certified by an integer law: 2  by LP: 0  -> criterion holds: True
CD8=no  levels=3 Lck=MM-collapsed ZAP=dynamic species=19  valid composition laws=TCR,pMHC1,ZAP70            conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=3 Lck=MM-collapsed ZAP=const   species=18  valid composition laws=TCR,pMHC1                  conservative=True  minimal siphons=2  certified by an integer law: 2  by LP: 0  -> criterion holds: True
CD8=no  levels=2 Lck=dynamic+MM   ZAP=dynamic species=21  valid composition laws=TCR,pMHC1,Lck,ZAP70        conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=no  levels=2 Lck=dynamic+MM   ZAP=const   species=20  valid composition laws=TCR,pMHC1,Lck              conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=2 Lck=const        ZAP=dynamic species=20  valid composition laws=TCR,pMHC1,ZAP70            conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=2 Lck=const        ZAP=const   species=19  valid composition laws=TCR,pMHC1                  conservative=True  minimal siphons=2  certified by an integer law: 2  by LP: 0  -> criterion holds: True
CD8=no  levels=2 Lck=MM-collapsed ZAP=dynamic species=14  valid composition laws=TCR,pMHC1,ZAP70            conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=2 Lck=MM-collapsed ZAP=const   species=13  valid composition laws=TCR,pMHC1                  conservative=True  minimal siphons=2  certified by an integer law: 2  by LP: 0  -> criterion holds: True
CD8=no  levels=1 Lck=dynamic+MM   ZAP=dynamic species=15  valid composition laws=TCR,pMHC1,Lck,ZAP70        conservative=True  minimal siphons=4  certified by an integer law: 4  by LP: 0  -> criterion holds: True
CD8=no  levels=1 Lck=dynamic+MM   ZAP=const   species=14  valid composition laws=TCR,pMHC1,Lck              conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=1 Lck=const        ZAP=dynamic species=14  valid composition laws=TCR,pMHC1,ZAP70            conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=1 Lck=const        ZAP=const   species=13  valid composition laws=TCR,pMHC1                  conservative=True  minimal siphons=2  certified by an integer law: 2  by LP: 0  -> criterion holds: True
CD8=no  levels=1 Lck=MM-collapsed ZAP=dynamic species=10  valid composition laws=TCR,pMHC1,ZAP70            conservative=True  minimal siphons=3  certified by an integer law: 3  by LP: 0  -> criterion holds: True
CD8=no  levels=1 Lck=MM-collapsed ZAP=const   species= 9  valid composition laws=TCR,pMHC1                  conservative=True  minimal siphons=2  certified by an integer law: 2  by LP: 0  -> criterion holds: True
ALL 36 VARIANTS: every minimal siphon contains the support of a nonnegative conservation law, and each network is conservative: True
