0000000000000000000000000000000000000000 d5dc5d630d5f1cab82c8b2cc041846b88875768c monstrous-moonshine <monstrous-moonshine@localhost> 1789217648 +0800	branch: Created from HEAD
d5dc5d630d5f1cab82c8b2cc041846b88875768c 56d67803ba8cae4173b5920eff483d8fb48422d3 monstrous-moonshine <monstrous-moonshine@localhost> 1789217648 +0800	commit: M0(a): the defect in the modular predicates is now a theorem, not a paragraph
