test_theory_expl.why 70 Bytes