CD8=True  k=3 Lck=dyn   ZAP=dyn   sp=57 s=52 laws=TCR,pMHC,Lck,ZAP,CD8 conservative=True violatingSAT=False minimal siphons=5 contain=[['CD8'], ['TCR'], ['Lck'], ['ZAP'], ['pMHC']]
CD8=True  k=3 Lck=dyn   ZAP=const sp=56 s=52 laws=TCR,pMHC,Lck,CD8 conservative=True violatingSAT=False minimal siphons=4 contain=[['CD8'], ['TCR'], ['Lck'], ['pMHC']]
CD8=True  k=3 Lck=const ZAP=dyn   sp=56 s=52 laws=TCR,pMHC,ZAP,CD8 conservative=True violatingSAT=False minimal siphons=4 contain=[['CD8'], ['TCR'], ['ZAP'], ['pMHC']]
CD8=True  k=3 Lck=const ZAP=const sp=55 s=52 laws=TCR,pMHC,CD8 conservative=True violatingSAT=False minimal siphons=3 contain=[['CD8'], ['TCR'], ['pMHC']]
CD8=True  k=3 Lck=coll  ZAP=dyn   sp=38 s=34 laws=TCR,pMHC,ZAP,CD8 conservative=True violatingSAT=False minimal siphons=4 contain=[['CD8'], ['TCR'], ['ZAP'], ['pMHC']]
CD8=True  k=3 Lck=coll  ZAP=const sp=37 s=34 laws=TCR,pMHC,CD8 conservative=True violatingSAT=False minimal siphons=3 contain=[['CD8'], ['TCR'], ['pMHC']]
CD8=True  k=2 Lck=dyn   ZAP=dyn   sp=41 s=36 laws=TCR,pMHC,Lck,ZAP,CD8 conservative=True violatingSAT=False minimal siphons=5 contain=[['CD8'], ['TCR'], ['Lck'], ['ZAP'], ['pMHC']]
CD8=True  k=2 Lck=dyn   ZAP=const sp=40 s=36 laws=TCR,pMHC,Lck,CD8 conservative=True violatingSAT=False minimal siphons=4 contain=[['CD8'], ['TCR'], ['Lck'], ['pMHC']]
CD8=True  k=2 Lck=const ZAP=dyn   sp=40 s=36 laws=TCR,pMHC,ZAP,CD8 conservative=True violatingSAT=False minimal siphons=4 contain=[['CD8'], ['TCR'], ['ZAP'], ['pMHC']]
CD8=True  k=2 Lck=const ZAP=const sp=39 s=36 laws=TCR,pMHC,CD8 conservative=True violatingSAT=False minimal siphons=3 contain=[['CD8'], ['TCR'], ['pMHC']]
CD8=True  k=2 Lck=coll  ZAP=dyn   sp=28 s=24 laws=TCR,pMHC,ZAP,CD8 conservative=True violatingSAT=False minimal siphons=4 contain=[['CD8'], ['TCR'], ['ZAP'], ['pMHC']]
CD8=True  k=2 Lck=coll  ZAP=const sp=27 s=24 laws=TCR,pMHC,CD8 conservative=True violatingSAT=False minimal siphons=3 contain=[['CD8'], ['TCR'], ['pMHC']]
CD8=True  k=1 Lck=dyn   ZAP=dyn   sp=29 s=24 laws=TCR,pMHC,Lck,ZAP,CD8 conservative=True violatingSAT=False minimal siphons=5 contain=[['CD8'], ['TCR'], ['Lck'], ['ZAP'], ['pMHC']]
CD8=True  k=1 Lck=dyn   ZAP=const sp=28 s=24 laws=TCR,pMHC,Lck,CD8 conservative=True violatingSAT=False minimal siphons=4 contain=[['CD8'], ['TCR'], ['Lck'], ['pMHC']]
CD8=True  k=1 Lck=const ZAP=dyn   sp=28 s=24 laws=TCR,pMHC,ZAP,CD8 conservative=True violatingSAT=False minimal siphons=4 contain=[['CD8'], ['TCR'], ['ZAP'], ['pMHC']]
CD8=True  k=1 Lck=const ZAP=const sp=27 s=24 laws=TCR,pMHC,CD8 conservative=True violatingSAT=False minimal siphons=3 contain=[['CD8'], ['TCR'], ['pMHC']]
CD8=True  k=1 Lck=coll  ZAP=dyn   sp=20 s=16 laws=TCR,pMHC,ZAP,CD8 conservative=True violatingSAT=False minimal siphons=4 contain=[['CD8'], ['TCR'], ['pMHC'], ['ZAP']]
CD8=True  k=1 Lck=coll  ZAP=const sp=19 s=16 laws=TCR,pMHC,CD8 conservative=True violatingSAT=False minimal siphons=3 contain=[['CD8'], ['TCR'], ['pMHC']]
CD8=False k=3 Lck=dyn   ZAP=dyn   sp=29 s=25 laws=TCR,pMHC,Lck,ZAP conservative=True violatingSAT=False minimal siphons=4 contain=[['Lck'], ['ZAP'], ['pMHC'], ['TCR']]
CD8=False k=3 Lck=dyn   ZAP=const sp=28 s=25 laws=TCR,pMHC,Lck conservative=True violatingSAT=False minimal siphons=3 contain=[['Lck'], ['pMHC'], ['TCR']]
CD8=False k=3 Lck=const ZAP=dyn   sp=28 s=25 laws=TCR,pMHC,ZAP conservative=True violatingSAT=False minimal siphons=3 contain=[['TCR'], ['pMHC'], ['ZAP']]
CD8=False k=3 Lck=const ZAP=const sp=27 s=25 laws=TCR,pMHC conservative=True violatingSAT=False minimal siphons=2 contain=[['TCR'], ['pMHC']]
CD8=False k=3 Lck=coll  ZAP=dyn   sp=19 s=16 laws=TCR,pMHC,ZAP conservative=True violatingSAT=False minimal siphons=3 contain=[['TCR'], ['pMHC'], ['ZAP']]
CD8=False k=3 Lck=coll  ZAP=const sp=18 s=16 laws=TCR,pMHC conservative=True violatingSAT=False minimal siphons=2 contain=[['TCR'], ['pMHC']]
CD8=False k=2 Lck=dyn   ZAP=dyn   sp=21 s=17 laws=TCR,pMHC,Lck,ZAP conservative=True violatingSAT=False minimal siphons=4 contain=[['Lck'], ['pMHC'], ['TCR'], ['ZAP']]
CD8=False k=2 Lck=dyn   ZAP=const sp=20 s=17 laws=TCR,pMHC,Lck conservative=True violatingSAT=False minimal siphons=3 contain=[['Lck'], ['pMHC'], ['TCR']]
CD8=False k=2 Lck=const ZAP=dyn   sp=20 s=17 laws=TCR,pMHC,ZAP conservative=True violatingSAT=False minimal siphons=3 contain=[['TCR'], ['pMHC'], ['ZAP']]
CD8=False k=2 Lck=const ZAP=const sp=19 s=17 laws=TCR,pMHC conservative=True violatingSAT=False minimal siphons=2 contain=[['TCR'], ['pMHC']]
CD8=False k=2 Lck=coll  ZAP=dyn   sp=14 s=11 laws=TCR,pMHC,ZAP conservative=True violatingSAT=False minimal siphons=3 contain=[['TCR'], ['pMHC'], ['ZAP']]
CD8=False k=2 Lck=coll  ZAP=const sp=13 s=11 laws=TCR,pMHC conservative=True violatingSAT=False minimal siphons=2 contain=[['TCR'], ['pMHC']]
CD8=False k=1 Lck=dyn   ZAP=dyn   sp=15 s=11 laws=TCR,pMHC,Lck,ZAP conservative=True violatingSAT=False minimal siphons=4 contain=[['Lck'], ['TCR'], ['pMHC'], ['ZAP']]
CD8=False k=1 Lck=dyn   ZAP=const sp=14 s=11 laws=TCR,pMHC,Lck conservative=True violatingSAT=False minimal siphons=3 contain=[['Lck'], ['pMHC'], ['TCR']]
CD8=False k=1 Lck=const ZAP=dyn   sp=14 s=11 laws=TCR,pMHC,ZAP conservative=True violatingSAT=False minimal siphons=3 contain=[['TCR'], ['pMHC'], ['ZAP']]
CD8=False k=1 Lck=const ZAP=const sp=13 s=11 laws=TCR,pMHC conservative=True violatingSAT=False minimal siphons=2 contain=[['TCR'], ['pMHC']]
CD8=False k=1 Lck=coll  ZAP=dyn   sp=10 s= 7 laws=TCR,pMHC,ZAP conservative=True violatingSAT=False minimal siphons=3 contain=[['TCR'], ['pMHC'], ['ZAP']]
CD8=False k=1 Lck=coll  ZAP=const sp= 9 s= 7 laws=TCR,pMHC conservative=True violatingSAT=False minimal siphons=2 contain=[['TCR'], ['pMHC']]
ALL 36 OK: True  min/max number of minimal siphons: 2 5
negative control (fake reaction breaking pMHC conservation) correctly rejected: ('pMHC', [1, 0, 0, 0, 0, 0, 0, -1, 0])
