Socratic Questioning of Novice Debuggers: A Benchmark Dataset and Preliminary Evaluations | Synapse