pivot (eliminated) species of the RREF of S^perp: ['CD8', 'CD8Complex', 'CD8Complex_2ZAP', 'CD8TCR_2ZAP', 'Lck']
[referee2 note] This run was stopped after about 10 minutes (the exact LCM-scaled LDL^T of the full-size rationals is too slow). Superseded by r2_thmC.py, which uses a dyadic rounding of J|_S with a rigorous error bound; see out_r2_thmC.txt.
