SSL foo.v.time3   Sprache: unbekannt

Chars 54 - 72 [Definition~a~:=~1.] 0. secs (0.u,0.s)
Chars 74 - 94 [Definition~b~:=~2.] 1. secs (0.u,0.s)
Chars 96 - 114 [Definition~c~:=~3.] 1.5 secs (0.u,0.s)
Chars 127 - 145 [Definition~d~:=~4.] 0. secs (0.u,0.s)
Chars 127 - 145 [SURPRISE~BUG] 0. secs (0.u,0.s)