Table 1.

Boolean rules for the metabolism module. Here, ∨→ or, ∧→ and, while ¬→ not.

VARIABLE	TRANSITION RULE
MTOR (t + 1) =	CD25 (t) ∨ AKT (t)
MTORC1 (t + 1) =	MTOR (t) ∧ ¬AMPK (t)
MTORC2 (t + 1) =	[MTOR (t) ∧ AMPK (t)] ∨[MTOR (t) ∧ IL4e (t)]
LKB1 (t +1) =	AKT (t) ∧ AMP/ATP (t)
AMPK (t + 1) =	[LKB1(t) ∧ ¬MTORC1 (t)] ∨[CA (t) ∧ AMP/ATP (t) ∧ ¬MTORC1 (t)]
	∨[AKT (t) ∧ AMP/ATP(t) ∧ ¬MTORC1(t)] ∨FOXP3 (t)
Gycolysis(t + 1) =	MTORC1 (t) ∧ ¬ AMP/ATP (t)
OXPHOS(t + 1) =	AMPK (t)
AMP/ATP(t + 1) =	Glycolysis (t) ∧ ¬OXPHOS (t)