273737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command10137845155702408372.key
273737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.6ns
273739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
278357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s
278394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10137845155702408372.key
278402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.3ns
278405 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
278478 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
278502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command13076638088171833241.key
278503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 581.2ns
278504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
283036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s
283079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13076638088171833241.key
283083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
283084 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
283102 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''