Gregory-L's picture
lineage counts from the ascent log, not from memory: 30 proof-rejected, 6 train-failed after gen39
0ea7d6b verified