p1_symbolic.out 2 s exit 0
p1_bch.out 0 s exit 0
p1_bruteforce_5_7.out 1 s exit 0
p2_closed_forms.jsonl 0 s exit 0
p2_mass.out 1 s exit 0
p2_tate6_hesse.out 0 s exit 0
p2_lifts.out 0 s exit 0
p2_table.out 1 s exit 0
p2_total.out 0 s exit 0
p2_types_small.jsonl 0 s exit 0
p2_check_D.out 0 s exit 0
test_dsvl.out 23 s exit 0
p1_pq.out 7 s exit 0
p2_order11_5.jsonl 6 s exit 0
vA_dimN_check.out 0 s exit 0
part1_lie_numeric.out 7 s exit 0
lemmas_2_9_2_10.out 1 s exit 0
dsvl_vp_check.out 0 s exit 0
claim_formulas_vs_mine.out 0 s exit 0
ALLDONE
