harvey/sys/doc/il/transition.fig

.lf 1 transition.pic
... 0.34125 1.17 8.85 9.28069
... 0.000i 5.243i 5.500i 0.000i
.nr 00 \n(.u
.nf
.PS 5.243i 5.500i  5.5i
.lf 253
\h'0.232i'\v'2.056i'\D'c0.905i'
.sp -1
\h'1.869i'\v'3.543i'\D'c0.905i'
.sp -1
\h'1.869i'\v'0.569i'\D'c0.905i'
.sp -1
\h'0.684i'\v'2.056i'\v'.2m'\h'-\w'Closed'u/2u'Closed
.sp -1
\h'2.321i'\v'0.569i'\v'.2m'\h'-\w'Syncer'u/2u'Syncer
.sp -1
\h'2.322i'\v'3.543i'\v'.2m'\h'-\w'Syncee'u/2u'Syncee
.sp -1
\h'3.270i'\v'2.056i'\v'.2m'\h'-\w'Established'u/2u'Established
.sp -1
\h'1.837i'\v'0.404i'\D'l0.066i -0.008i'
.sp -1
\h'1.841i'\v'0.372i'\D'l0.062i 0.024i'
.sp -1
\h'1.903i'\v'0.396i'\D'a-0.170i 1.107i -0.673i -0.895i'
.sp -1
\h'0.682i'\v'1.011i'\D'l0.028i -0.061i'
.sp -1
\h'0.657i'\v'0.991i'\D'l0.053i -0.040i'
.sp -1
\h'0.710i'\v'0.951i'\D'a0.552i 0.483i -0.709i 0.189i'
.sp -1
\h'1.395i'\v'1.539i'\D'l-0.329i 0.275i'
.sp -1
\h'1.106i'\v'1.760i'\D'l-0.039i 0.054i'
.sp -1
\h'1.126i'\v'1.785i'\D'l-0.060i 0.029i'
.sp -1
\h'1.525i'\v'2.767i'\v'.2m'\h'-\w'rcv((Ilsync(rid0, !0))'u/2u'rcv((Ilsync(rid0, !0))
.sp -1
\h'1.025i'\v'2.443i'\D'l-0.058i -0.033i'
.sp -1
\h'1.002i'\v'2.466i'\D'l-0.035i -0.056i'
.sp -1
\h'0.967i'\v'2.410i'\D'l0.170i 0.164i'
.sp -1
\h'0.697i'\v'0.770i'\D'l0.646i 0.000i'
.sp -1
\h'1.020i'\v'0.867i'\v'.2m'\h'-\w'snd(Ilsync(id0, 0))'u/2u'snd(Ilsync(id0, 0))
.sp -1
\h'1.008i'\v'0.699i'\v'.2m'\h'-\w'User Open'u/2u'User Open
.sp -1
\h'0.603i'\v'2.501i'\D'a0.929i 0.303i -0.912i 0.350i'
.sp -1
\h'0.583i'\v'3.099i'\D'l0.036i 0.056i'
.sp -1
\h'0.614i'\v'3.088i'\D'l0.006i 0.066i'
.sp -1
\h'0.814i'\v'3.472i'\D'a0.710i -0.787i 0.366i 0.995i'
.sp -1
\h'1.834i'\v'3.715i'\D'l0.056i -0.036i'
.sp -1
\h'1.823i'\v'3.684i'\D'l0.066i -0.005i'
.sp -1
\h'0.684i'\v'3.413i'\v'.2m'\h'-\w'no connection'u/2u'no connection
.sp -1
\h'3.006i'\v'2.502i'\D'l0.024i -0.062i'
.sp -1
\h'2.979i'\v'2.483i'\D'l0.050i -0.044i'
.sp -1
\h'3.029i'\v'2.439i'\D'l-0.180i 0.257i'
.sp -1
\h'2.729i'\v'2.959i'\D'l0.024i -0.062i'
.sp -1
\h'2.703i'\v'2.940i'\D'l0.050i -0.044i'
.sp -1
\h'2.753i'\v'2.896i'\D'l-0.186i 0.266i'
.sp -1
\h'2.960i'\v'1.640i'\D'l0.045i 0.049i'
.sp -1
\h'2.989i'\v'1.624i'\D'l0.017i 0.064i'
.sp -1
\h'3.006i'\v'1.689i'\D'l-0.188i -0.344i'
.sp -1
\h'2.708i'\v'1.166i'\D'l0.045i 0.049i'
.sp -1
\h'2.737i'\v'1.151i'\D'l0.016i 0.065i'
.sp -1
\h'2.753i'\v'1.216i'\D'l-0.154i -0.290i'
.sp -1
\h'3.658i'\v'3.782i'\D'l0.007i 0.106i'
.sp -1
\h'3.665i'\v'3.887i'\D'l-0.011i 0.113i'
.sp -1
\h'3.654i'\v'4.000i'\D'l-0.029i 0.120i'
.sp -1
\h'3.624i'\v'4.121i'\D'l-0.047i 0.128i'
.sp -1
\h'3.577i'\v'4.249i'\D'l-0.032i 0.065i'
.sp -1
\h'3.545i'\v'4.314i'\D'l-0.039i 0.062i'
.sp -1
\h'3.506i'\v'4.376i'\D'l-0.047i 0.060i'
.sp -1
\h'3.459i'\v'4.436i'\D'l-0.054i 0.057i'
.sp -1
\h'3.404i'\v'4.493i'\D'l-0.062i 0.055i'
.sp -1
\h'3.343i'\v'4.548i'\D'l-0.069i 0.053i'
.sp -1
\h'3.274i'\v'4.600i'\D'l-0.077i 0.050i'
.sp -1
\h'3.197i'\v'4.650i'\D'l-0.084i 0.048i'
.sp -1
\h'3.113i'\v'4.698i'\D'l-0.091i 0.044i'
.sp -1
\h'3.022i'\v'4.742i'\D'l-0.099i 0.038i'
.sp -1
\h'2.923i'\v'4.780i'\D'l-0.106i 0.032i'
.sp -1
\h'2.816i'\v'4.812i'\D'l-0.114i 0.027i'
.sp -1
\h'2.702i'\v'4.839i'\D'l-0.122i 0.021i'
.sp -1
\h'2.581i'\v'4.860i'\D'l-0.129i 0.016i'
.sp -1
\h'2.452i'\v'4.876i'\D'l-0.137i 0.010i'
.sp -1
\h'2.315i'\v'4.886i'\D'l-0.144i 0.004i'
.sp -1
\h'2.171i'\v'4.890i'\D'l-0.290i -0.004i'
.sp -1
\h'1.881i'\v'4.887i'\D'l-0.280i -0.018i'
.sp -1
\h'1.601i'\v'4.869i'\D'l-0.269i -0.032i'
.sp -1
\h'1.332i'\v'4.837i'\D'l-0.258i -0.046i'
.sp -1
\h'1.074i'\v'4.792i'\D'l-0.121i -0.031i'
.sp -1
\h'0.953i'\v'4.761i'\D'l-0.111i -0.041i'
.sp -1
\h'0.842i'\v'4.720i'\D'l-0.100i -0.051i'
.sp -1
\h'0.742i'\v'4.669i'\D'l-0.090i -0.061i'
.sp -1
\h'0.652i'\v'4.608i'\D'l-0.079i -0.070i'
.sp -1
\h'0.572i'\v'4.538i'\D'l-0.069i -0.080i'
.sp -1
\h'0.503i'\v'4.458i'\D'l-0.058i -0.090i'
.sp -1
\h'0.445i'\v'4.368i'\D'l-0.048i -0.100i'
.sp -1
\h'0.397i'\v'4.268i'\D'l-0.040i -0.106i'
.sp -1
\h'0.357i'\v'4.162i'\D'l-0.034i -0.108i'
.sp -1
\h'0.323i'\v'4.054i'\D'l-0.028i -0.111i'
.sp -1
\h'0.295i'\v'3.943i'\D'l-0.022i -0.113i'
.sp -1
\h'0.274i'\v'3.830i'\D'l-0.016i -0.116i'
.sp -1
\h'0.258i'\v'3.714i'\D'l-0.010i -0.118i'
.sp -1
\h'0.248i'\v'3.596i'\D'l-0.004i -0.121i'
.sp -1
\h'0.244i'\v'3.475i'\D'l0.002i -0.123i'
.sp -1
\h'0.246i'\v'3.352i'\D'l0.016i -0.239i'
.sp -1
\h'0.263i'\v'3.113i'\D'l0.028i -0.218i'
.sp -1
\h'0.290i'\v'2.895i'\D'l0.039i -0.197i'
.sp -1
\h'0.330i'\v'2.698i'\D'l0.051i -0.177i'
.sp -1
\h'4.000i'\v'4.609i'\D'c0.905i'
.sp -1
\h'5.151i'\v'2.269i'\v'.2m'\h'-\w'User Close'u/2u'User Close
.sp -1
\h'4.789i'\v'2.315i'\D'l0.711i 0.000i'
.sp -1
\h'5.338i'\v'2.424i'\v'.2m'\h'-\w'snd(Ilclose(next, rcvd))'u/2u'snd(Ilclose(next, rcvd))
.sp -1
\h'4.453i'\v'2.793i'\D'a-0.704i -0.000i -0.028i -0.704i'
.sp -1
\h'3.554i'\v'2.386i'\D'l0.039i 0.072i'
.sp -1
\h'3.593i'\v'2.458i'\D'l0.024i 0.074i'
.sp -1
\h'3.617i'\v'2.532i'\D'l0.008i 0.077i'
.sp -1
\h'3.625i'\v'2.609i'\D'l-0.008i 0.079i'
.sp -1
\h'3.617i'\v'2.688i'\D'l-0.036i 0.165i'
.sp -1
\h'3.582i'\v'2.853i'\D'l-0.045i 0.175i'
.sp -1
\h'3.537i'\v'3.027i'\D'l-0.018i 0.090i'
.sp -1
\h'3.518i'\v'3.117i'\D'l-0.005i 0.090i'
.sp -1
\h'3.513i'\v'3.207i'\D'l0.008i 0.090i'
.sp -1
\h'3.521i'\v'3.297i'\D'l0.021i 0.090i'
.sp -1
\h'4.808i'\v'4.160i'\D'l-0.069i 0.099i'
.sp -1
\h'4.763i'\v'4.197i'\D'l-0.024i 0.062i'
.sp -1
\h'4.789i'\v'4.215i'\D'l-0.050i 0.044i'
.sp -1
\h'4.466i'\v'3.232i'\D'l0.000i 0.892i'
.sp -1
\h'4.450i'\v'4.060i'\D'l0.016i 0.065i'
.sp -1
\h'4.482i'\v'4.060i'\D'l-0.016i 0.065i'
.sp -1
\h'0.245i'\v'2.366i'\D'l0.046i -0.087i'
.sp -1
\h'0.275i'\v'2.344i'\D'l0.016i -0.065i'
.sp -1
\h'0.246i'\v'2.329i'\D'l0.044i -0.050i'
.sp -1
\h'0.381i'\v'2.521i'\D'l0.036i -0.100i'
.sp -1
\h'0.410i'\v'2.487i'\D'l0.007i -0.066i'
.sp -1
\h'0.380i'\v'2.476i'\D'l0.037i -0.055i'
.sp -1
\h'1.654i'\v'1.338i'\v'.2m'\h'-\w'rcv(Ilack(-, !id0))'u/2u'rcv(Ilack(-, !id0))
.sp -1
\h'1.654i'\v'1.474i'\v'.2m'\h'-\w'rcv(Ilclose(-, id0)'u/2u'rcv(Ilclose(-, id0)
.sp -1
\h'2.882i'\v'1.280i'\v'.2m'\h'-\w'rcv(ilsync(-, id0))'u/2u'rcv(ilsync(-, id0))
.sp -1
\h'2.817i'\v'2.767i'\v'.2m'\h'-\w'rcv(Ilack(-, id0))'u/2u'rcv(Ilack(-, id0))
.sp -1
\h'3.632i'\v'3.013i'\D'l1.280i 0.000i'
.sp -1
\h'4.265i'\v'3.155i'\v'.2m'\h'-\w'snd(Ilclose(next, rcvd))'u/2u'snd(Ilclose(next, rcvd))
.sp -1
\h'4.272i'\v'2.954i'\v'.2m'\h'-\w'rcv(Ilclose(-, ackok))'u/2u'rcv(Ilclose(-, ackok))
.sp -1
\h'3.722i'\v'3.672i'\v'.2m'\h'-\w'rcv(Ilsync(!rid0, -))'u/2u'rcv(Ilsync(!rid0, -))
.sp -1
\h'1.551i'\v'2.638i'\v'.2m'\h'-\w'rcv(Ilack(!rid0, -))'u/2u'rcv(Ilack(!rid0, -))
.sp -1
\h'4.453i'\v'4.609i'\v'.2m'\h'-\w'Closing'u/2u'Closing
.sp -1
\h'1.929i'\v'3.318i'\D'l-0.266i -0.235i'
.sp -1
\h'1.723i'\v'3.114i'\D'l-0.059i -0.031i'
.sp -1
\h'1.701i'\v'3.139i'\D'l-0.038i -0.055i'
.sp -1
\h'2.042i'\v'0.925i'\D'l-0.259i 0.226i'
.sp -1
\h'1.821i'\v'1.096i'\D'l-0.038i 0.055i'
.sp -1
\h'1.843i'\v'1.121i'\D'l-0.059i 0.030i'
.sp -1
\h'2.171i'\v'5.223i'\v'.2m'\h'-\w'rcv(Ilclose(-, next))'u/2u'rcv(Ilclose(-, next))
.sp -1
\h'2.947i'\v'5.208i'\D'l-0.065i 0.015i'
.sp -1
\h'2.946i'\v'5.240i'\D'l-0.064i -0.017i'
.sp -1
\h'2.882i'\v'5.223i'\D'a0.063i -2.080i 1.145i 1.738i'
.sp -1
\h'1.486i'\v'5.243i'\D'l-0.337i -0.015i'
.sp -1
\h'1.149i'\v'5.227i'\D'l-0.339i -0.027i'
.sp -1
\h'0.810i'\v'5.201i'\D'l-0.083i -0.012i'
.sp -1
\h'0.728i'\v'5.189i'\D'l-0.079i -0.019i'
.sp -1
\h'0.649i'\v'5.170i'\D'l-0.074i -0.026i'
.sp -1
\h'0.575i'\v'5.144i'\D'l-0.070i -0.033i'
.sp -1
\h'0.504i'\v'5.111i'\D'l-0.066i -0.040i'
.sp -1
\h'0.438i'\v'5.071i'\D'l-0.062i -0.048i'
.sp -1
\h'0.376i'\v'5.023i'\D'l-0.058i -0.055i'
.sp -1
\h'0.318i'\v'4.968i'\D'l-0.054i -0.062i'
.sp -1
\h'0.264i'\v'4.907i'\D'l-0.049i -0.069i'
.sp -1
\h'0.215i'\v'4.838i'\D'l-0.044i -0.076i'
.sp -1
\h'0.171i'\v'4.762i'\D'l-0.039i -0.082i'
.sp -1
\h'0.132i'\v'4.680i'\D'l-0.034i -0.089i'
.sp -1
\h'0.099i'\v'4.590i'\D'l-0.029i -0.096i'
.sp -1
\h'0.070i'\v'4.494i'\D'l-0.023i -0.103i'
.sp -1
\h'0.047i'\v'4.391i'\D'l-0.018i -0.110i'
.sp -1
\h'0.028i'\v'4.281i'\D'l-0.013i -0.117i'
.sp -1
\h'0.015i'\v'4.165i'\D'l-0.014i -0.238i'
.sp -1
\h'0.001i'\v'3.927i'\D'l-0.001i -0.235i'
.sp -1
\v'3.692i'\D'l0.012i -0.231i'
.sp -1
\h'0.012i'\v'3.460i'\D'l0.026i -0.228i'
.sp -1
\h'0.038i'\v'3.232i'\D'l0.037i -0.224i'
.sp -1
\h'0.075i'\v'3.009i'\D'l0.047i -0.219i'
.sp -1
\h'0.122i'\v'2.790i'\D'l0.057i -0.214i'
.sp -1
\h'0.179i'\v'2.576i'\D'l0.066i -0.209i'
.sp -1
\h'1.512i'\v'2.890i'\v'.2m'\h'-\w'rcv(Ilclose(-, id0))'u/2u'rcv(Ilclose(-, id0))
.sp -1
\h'2.788i'\v'4.199i'\v'.2m'\h'-\w'rcv(Ilsync(rid0, 0))'u/2u'rcv(Ilsync(rid0, 0))
.sp -1
\h'2.174i'\v'4.251i'\D'l1.196i 0.006i'
.sp -1
\h'2.756i'\v'4.380i'\v'.2m'\h'-\w'snd(Ilsync(id0, rid0))'u/2u'snd(Ilsync(id0, rid0))
.sp -1
\h'1.266i'\v'4.124i'\v'.2m'\h'-\w'rexmit timeout'u/2u'rexmit timeout
.sp -1
\h'1.460i'\v'3.026i'\v'.2m'\h'-\w'death timeout'u/2u'death timeout
.sp -1
\h'1.667i'\v'1.235i'\v'.2m'\h'-\w'death timeout'u/2u'death timeout
.sp -1
\h'3.677i'\v'3.530i'\v'.2m'\h'-\w'death timeout'u/2u'death timeout
.sp -1
\h'0.859i'\v'4.183i'\D'l0.814i 0.000i'
.sp -1
\h'1.266i'\v'4.318i'\v'.2m'\h'-\w'snd(Ilsync(id0, rid0))'u/2u'snd(Ilsync(id0, rid0))
.sp -1
\h'1.937i'\v'3.781i'\D'l-0.221i 0.037i'
.sp -1
\h'1.716i'\v'3.818i'\D'l-0.185i 0.026i'
.sp -1
\h'1.531i'\v'3.845i'\D'l-0.076i 0.012i'
.sp -1
\h'1.454i'\v'3.857i'\D'l-0.062i 0.016i'
.sp -1
\h'1.393i'\v'3.873i'\D'l-0.047i 0.020i'
.sp -1
\h'1.346i'\v'3.893i'\D'l-0.032i 0.023i'
.sp -1
\h'1.315i'\v'3.916i'\D'l-0.021i 0.028i'
.sp -1
\h'1.293i'\v'3.944i'\D'l-0.015i 0.034i'
.sp -1
\h'1.278i'\v'3.979i'\D'l-0.009i 0.041i'
.sp -1
\h'1.269i'\v'4.019i'\D'l-0.003i 0.047i'
.sp -1
\h'1.783i'\v'4.124i'\D'l0.240i -0.240i'
.sp -1
\h'1.989i'\v'3.941i'\D'l0.034i -0.057i'
.sp -1
\h'1.967i'\v'3.918i'\D'l0.057i -0.034i'
.sp -1
\h'2.710i'\v'3.777i'\D'l0.178i 0.035i'
.sp -1
\h'2.887i'\v'3.811i'\D'l0.043i 0.014i'
.sp -1
\h'2.931i'\v'3.825i'\D'l0.038i 0.019i'
.sp -1
\h'2.968i'\v'3.844i'\D'l0.032i 0.024i'
.sp -1
\h'3.001i'\v'3.869i'\D'l0.027i 0.030i'
.sp -1
\h'3.028i'\v'3.898i'\D'l0.021i 0.034i'
.sp -1
\h'3.049i'\v'3.933i'\D'l0.015i 0.038i'
.sp -1
\h'3.064i'\v'3.971i'\D'l0.009i 0.042i'
.sp -1
\h'3.073i'\v'4.013i'\D'l0.003i 0.046i'
.sp -1
\h'2.494i'\v'4.124i'\D'l-0.043i -0.147i'
.sp -1
\h'2.485i'\v'4.035i'\D'l-0.034i -0.057i'
.sp -1
\h'2.454i'\v'4.044i'\D'l-0.003i -0.067i'
.sp -1
\h'3.529i'\v'0.375i'\v'.2m'\h'-\w'snd(Ilsync(id0, 0))'u/2u'snd(Ilsync(id0, 0))
.sp -1
\h'3.529i'\v'0.181i'\v'.2m'\h'-\w'rexmit timeout'u/2u'rexmit timeout
.sp -1
\h'3.011i'\v'0.246i'\D'l0.970i 0.000i'
.sp -1
\h'2.590i'\v'0.205i'\D'l0.061i -0.051i'
.sp -1
\h'2.651i'\v'0.154i'\D'l0.070i -0.044i'
.sp -1
\h'2.722i'\v'0.110i'\D'l0.080i -0.037i'
.sp -1
\h'2.801i'\v'0.072i'\D'l0.089i -0.031i'
.sp -1
\h'2.890i'\v'0.042i'\D'l0.090i -0.023i'
.sp -1
\h'2.979i'\v'0.019i'\D'l0.082i -0.014i'
.sp -1
\h'3.062i'\v'0.005i'\D'l0.075i -0.005i'
.sp -1
\h'3.137i'\D'l0.068i 0.004i'
.sp -1
\h'3.205i'\v'0.004i'\D'l0.057i 0.009i'
.sp -1
\h'3.262i'\v'0.013i'\D'l0.040i 0.011i'
.sp -1
\h'3.302i'\v'0.024i'\D'l0.024i 0.013i'
.sp -1
\h'3.327i'\v'0.037i'\D'l0.008i 0.015i'
.sp -1
\h'3.399i'\v'0.440i'\D'l-0.049i 0.029i'
.sp -1
\h'3.350i'\v'0.469i'\D'l-0.052i 0.023i'
.sp -1
\h'3.298i'\v'0.493i'\D'l-0.054i 0.017i'
.sp -1
\h'3.245i'\v'0.510i'\D'l-0.056i 0.011i'
.sp -1
\h'3.189i'\v'0.521i'\D'l-0.058i 0.005i'
.sp -1
\h'3.132i'\v'0.526i'\D'l-0.060i -0.001i'
.sp -1
\h'3.072i'\v'0.525i'\D'l-0.062i -0.007i'
.sp -1
\h'3.010i'\v'0.518i'\D'l-0.064i -0.013i'
.sp -1
\h'2.947i'\v'0.505i'\D'l-0.185i -0.038i'
.sp -1
\h'2.828i'\v'0.464i'\D'l-0.067i 0.003i'
.sp -1
\h'2.822i'\v'0.495i'\D'l-0.060i -0.029i'
.sp -1
\h'3.205i'\v'3.607i'\D'l0.905i 0.000i'
.sp -1
\h'2.106i'\v'1.862i'\v'.2m'\h'-\w'rexmit timeout'u/2u'rexmit timeout
.sp -1
\h'2.042i'\v'1.991i'\v'.2m'\h'-\w'rcv(Ilstate(-, -))'u/2u'rcv(Ilstate(-, -))
.sp -1
\h'1.518i'\v'2.050i'\D'l1.047i 0.000i'
.sp -1
\h'2.042i'\v'2.315i'\v'.2m'\h'-\w'rcvd))'u/2u'rcvd))
.sp -1
\h'2.884i'\v'1.819i'\D'a-0.269i 0.016i -0.250i -0.103i'
.sp -1
\h'2.382i'\v'1.668i'\D'l-0.017i 0.064i'
.sp -1
\h'2.411i'\v'1.684i'\D'l-0.046i 0.049i'
.sp -1
\h'2.365i'\v'2.250i'\D'a0.247i -0.061i 0.248i 0.059i'
.sp -1
\h'2.852i'\v'2.315i'\D'l0.008i -0.066i'
.sp -1
\h'2.822i'\v'2.303i'\D'l0.038i -0.055i'
.sp -1
\h'2.817i'\v'2.056i'\D'c0.905i'
.sp -1
\h'3.721i'\v'1.464i'\D'l0.066i 0.010i'
.sp -1
\h'3.734i'\v'1.434i'\D'l0.053i 0.040i'
.sp -1
\h'3.787i'\v'1.474i'\D'a-0.097i 0.147i -0.165i 0.061i'
.sp -1
\h'3.770i'\v'1.920i'\D'l-0.066i 0.008i'
.sp -1
\h'3.767i'\v'1.952i'\D'l-0.062i -0.024i'
.sp -1
\h'3.704i'\v'1.928i'\D'a0.071i -0.316i 0.206i 0.250i'
.sp -1
\h'3.721i'\v'2.024i'\D'l0.352i -0.010i'
.sp -1
\h'4.073i'\v'2.014i'\D'l0.279i 0.002i'
.sp -1
\h'4.352i'\v'2.016i'\D'l0.110i 0.007i'
.sp -1
\h'4.463i'\v'2.022i'\D'l0.088i 0.012i'
.sp -1
\h'4.551i'\v'2.034i'\D'l0.066i 0.017i'
.sp -1
\h'4.616i'\v'2.050i'\D'l0.043i 0.022i'
.sp -1
\h'4.660i'\v'2.072i'\D'l0.057i 0.053i'
.sp -1
\h'4.716i'\v'2.125i'\D'l0.040i 0.061i'
.sp -1
\h'2.728i'\v'3.345i'\D'l0.272i -0.213i'
.sp -1
\h'3.001i'\v'3.132i'\D'l0.255i -0.189i'
.sp -1
\h'3.256i'\v'2.943i'\D'l0.239i -0.165i'
.sp -1
\h'3.495i'\v'2.778i'\D'l0.222i -0.141i'
.sp -1
\h'3.716i'\v'2.637i'\D'l0.199i -0.115i'
.sp -1
\h'3.915i'\v'2.522i'\D'l0.170i -0.087i'
.sp -1
\h'4.084i'\v'2.435i'\D'l0.141i -0.058i'
.sp -1
\h'4.225i'\v'2.377i'\D'l0.059i -0.019i'
.sp -1
\h'4.284i'\v'2.358i'\D'l0.052i -0.012i'
.sp -1
\h'4.336i'\v'2.347i'\D'l0.170i -0.024i'
.sp -1
\h'4.506i'\v'2.323i'\D'l0.121i -0.008i'
.sp -1
\h'2.764i'\v'0.663i'\D'l0.880i 0.020i'
.sp -1
\h'3.644i'\v'0.683i'\D'l0.712i 0.023i'
.sp -1
\h'4.355i'\v'0.706i'\D'l0.287i 0.019i'
.sp -1
\h'4.642i'\v'0.725i'\D'l0.123i 0.014i'
.sp -1
\h'4.765i'\v'0.739i'\D'l0.109i 0.018i'
.sp -1
\h'4.874i'\v'0.757i'\D'l0.096i 0.021i'
.sp -1
\h'4.970i'\v'0.778i'\D'l0.082i 0.024i'
.sp -1
\h'5.053i'\v'0.802i'\D'l0.069i 0.027i'
.sp -1
\h'5.122i'\v'0.829i'\D'l0.055i 0.031i'
.sp -1
\h'5.177i'\v'0.860i'\D'l0.046i 0.035i'
.sp -1
\h'5.223i'\v'0.896i'\D'l0.040i 0.041i'
.sp -1
\h'5.263i'\v'0.937i'\D'l0.035i 0.047i'
.sp -1
\h'5.297i'\v'0.984i'\D'l0.029i 0.054i'
.sp -1
\h'5.326i'\v'1.038i'\D'l0.023i 0.060i'
.sp -1
\h'5.350i'\v'1.097i'\D'l0.018i 0.066i'
.sp -1
\h'5.368i'\v'1.163i'\D'l0.012i 0.072i'
.sp -1
\h'5.380i'\v'1.235i'\D'l0.007i 0.078i'
.sp -1
\h'5.387i'\v'1.313i'\D'l0.003i 0.168i'
.sp -1
\h'5.390i'\v'1.480i'\D'l-0.007i 0.180i'
.sp -1
\h'5.383i'\v'1.660i'\D'l-0.017i 0.192i'
.sp -1
\h'5.366i'\v'1.852i'\D'l-0.027i 0.204i'
.sp -1
\h'5.338i'\v'2.483i'\D'l-0.531i 1.677i'
.sp -1
\h'2.042i'\v'2.185i'\v'.2m'\h'-\w'snd(Ildataquerey(unacked,'u/2u'snd(Ildataquerey(unacked,
.sp -1
\h'3.852i'\v'1.668i'\D'l1.099i 0.000i'
.sp -1
\h'4.498i'\v'1.791i'\v'.2m'\h'-\w'snd(Ilstate(next, rcvd))'u/2u'snd(Ilstate(next, rcvd))
.sp -1
\h'4.433i'\v'1.474i'\v'.2m'\h'-\w'rcv(Ildataquerey(-,-))'u/2u'rcv(Ildataquerey(-,-))
.sp -1
\h'4.433i'\v'1.604i'\v'.2m'\h'-\w'rcv(Ilquerey(-,-))'u/2u'rcv(Ilquerey(-,-))
.sp -1
\h'2.171i'\v'5.094i'\v'.2m'\h'-\w'death timeout'u/2u'death timeout
.sp -1
\h'4.627i'\v'2.315i'\D'l0.065i 0.000i'
.sp -1
\h'4.627i'\v'2.331i'\D'l0.065i -0.016i'
.sp -1
\h'4.627i'\v'2.298i'\D'l0.065i 0.016i'
.sp -1
\h'4.757i'\v'2.185i'\D'l0.032i 0.039i'
.sp -1
\h'4.735i'\v'2.185i'\D'l0.054i 0.039i'
.sp -1
\h'4.760i'\v'2.164i'\D'l0.029i 0.060i'
.sp -1
\h'5.338i'\v'2.056i'\D'l-0.006i 0.052i'
.sp -1
\h'5.324i'\v'2.042i'\D'l0.008i 0.066i'
.sp -1
\h'5.356i'\v'2.046i'\D'l-0.024i 0.062i'
.sp -1
\h'0.814i'\v'3.284i'\v'.2m'\h'-\w'see message with'u/2u'see message with
.sp -1
.sp 1+5.243i
.PE
.if \n(00 .fi
.lf 253