291335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command2109708384741920625.key
291336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 658.71ns
291337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
296320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s
296361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2109708384741920625.key
296364 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
296366 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
296431 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
296458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command4555834219959454771.key
296458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.8ns
296468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
301594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s
301638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4555834219959454771.key
301641 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
301642 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
301671 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''