... LG curriculum on Sage, and proofed ~70 games (mostly ... in PT's 1-35, by section, and while I ... because the freeze up and subsequent brute forcing causes ... whole section, timed, and get -0/-1 with time to ... a second time, and the setup and inferences become clear. ...