0000000000000000000000000000000000000000 da0a8a38888904f0f6b2477e0686a770cab010be monstrous-moonshine <monstrous-moonshine@localhost> 1789381744 +0800	branch: Created from HEAD
da0a8a38888904f0f6b2477e0686a770cab010be ea37927e2088c1f31eaefe0b6c2abf2eefe1acac monstrous-moonshine <monstrous-moonshine@localhost> 1789381744 +0800	commit: batch 10: the rank-1 Fock graded character is proved; Gauss's identity for theta_2 landed; Lemma 11.1 still open
