!752

static S input = [[
  ABC = X
  DEF = X
  
  learn 1
  solve 1
  100%
]];

p {
  monospacedTextPredictTestCase(input);
}

mtptc(S s) {
  equations(s) -> makeTest -> L<Test> tests;
  matchLine("learn <int>") -> int pivot;
  The usual. (Start producing, then try to bring length down.)
}