vtest1: 0 s
vcoset_test: 0 s
vcoset_E8: 48 s
vextra_bound: 0 s
vextra_su12: 5 s
vextra_verlinde: 1 s
vextra_prop2: 1 s
vexact2_TB: 0 s
vexact2_su6: 8 s
vexact2_spin7cf: 29 s
vmisc: 2 s
vphase: 1 s
vexact_main_su2: 0 s
vfam_su4fam: 5 s
vfam_Mq: 16 s
vfam_lemma1: 0 s
vfam_thmB: 81 s
vfam_spin: 125 s
vfam_table: 39 s
vfam_su5fam: 134 s
vcoset_E7: 32 s
ALLDONE
