0000000000000000000000000000000000000000 8f738414a37ac0e6d6d4df8f36809fc1ac8a09ff monstrous-moonshine <monstrous-moonshine@localhost> 1789371528 +0800	branch: Created from HEAD
8f738414a37ac0e6d6d4df8f36809fc1ac8a09ff cda65e95161e2f9b78b7621fe7c7b2eb33c0dffa monstrous-moonshine <monstrous-moonshine@localhost> 1789371528 +0800	commit: batch 7: Lemma 11.1 reduced to one bridge, and level-one orbit separation reduced to two named inputs
