252391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command10856223188452215321.key
252392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.7ns
252393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
256881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s
256921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10856223188452215321.key
256924 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
256927 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
256968 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
256993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command14310795281979039168.key
256994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 595.9ns
256995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
261433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s
261472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14310795281979039168.key
261478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
261479 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
261537 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''