|
|
1.1 root 1: .\" RT - reset everything to normal state
2: .de RT
3: .if !\\n(1T .BG
4: .if !\\n(IK .if !\\n(IF .if !\\n(IX .di
5: .ce 0
6: .ul 0
7: .if \\n(NX=0 .if \\n(AJ=0 .ll \\n(LLu
8: .ps \\n(PS
9: .if \\n(VS>=40 .vs \\n(VSu
10: .if \\n(VS<=39 .vs \\n(VSp
11: .if \\n(IP .in -\\n(IQu
12: .if !\\n(IP .nr IQ \\n(PIu
13: .if \\n(IP .nr IP -1
14: .ft 1
15: .bd 1
16: .ta 5n 10n 15n 20n 25n 30n 35n 40n 45n 50n 55n 60n 65n 70n 75n 80n
17: .fi
18: ..
19: . \"IZ - initialization
20: .de IZ
21: .if \\n(FM=0 .nr FM 1i
22: .nr YY -\\n(FMu
23: .nr XX 0 1
24: .nr IP 0
25: .nr PI 3n
26: .nr IQ \\n(PIu
27: .nr PS 10
28: .nr VS 12
29: .if !\\n(PD .if n .nr PD 1v
30: .if !\\n(PD .if t .nr PD 0.3v
31: .nr ML 3v
32: .ps \\n(PS
33: .if \\n(VS>40 .vs \\n(VSu
34: .if \\n(VS<=39 .vs \\n(VSp
35: .if \\n(IR=0 .nr IR 5n
36: .nr TB 0
37: .nr SJ \\n(.j
38: .nr LL 6.5i
39: .ll \\n(LLu
40: .nr LT \\n(.l
41: .lt \\n(LTu
42: .ev 1
43: .nr FL \\n(LLu*11u/12u
44: .ll \\n(FLu
45: .ps 8
46: .vs 10p
47: .ev
48: .if \\*(CF .ds CF "\(hy \\\\n(PN \(hy
49: .wh 0 NP
50: .wh -\\n(FMu FO
51: .ch FO 16i
52: .wh -\\n(FMu FX
53: .ch FO -\\n(FMu
54: .wh -\\n(FMu/2u BT
55: ..
56: .de TR \" Tech Report
57: .nr ST 2
58: .pn 0
59: .ds MN \\$1
60: .rm SG
61: .br
62: ..
63: .de GR \" Grant - full
64: .ds GS *
65: .de GX
66: *This work was supported by the National Science Foundation under
67: .if \\n(.$=1 Grant \\$1.
68: .if \\n(.$=2 Grants \\$1 and \\$2.
69: .if \\n(.$=3 Grants \\$1, \\$2, and \\$3.
70: .if \\n(.$=4 Grants \\$1, \\$2, \\$3, and \\$4.
71: \\..
72: ..
73: .de GP \" Grant - part
74: .ds GS *
75: .de GX
76: *This work was supported in part by the National Science Foundation under
77: .if \\n(.$=1 Grant \\$1.
78: .if \\n(.$=2 Grants \\$1 and \\$2.
79: .if \\n(.$=3 Grants \\$1, \\$2, and \\$3.
80: .if \\n(.$=4 Grants \\$1, \\$2, \\$3, and \\$4.
81: \\..
82: ..
83: . \"TL - title and initialization
84: .de TL
85: .br
86: .nr TV 1
87: .ME
88: .rm ME
89: .di WT
90: .nr SJ \\n(.j
91: .na
92: .fi
93: .ll 3.75i
94: .ft 3
95: .ps 10
96: .hy 0
97: ..
98: .de TX
99: .rs
100: .sp .5i
101: .ce 1000
102: .ps 12
103: .ft 3
104: .vs 15p
105: .if n .vs 1P
106: .ne 4
107: .hy 0
108: .WT
109: .hy 14
110: .ce 0
111: ..
112: .de TY
113: .di XT
114: .ll 3.75i
115: .fi
116: .hy 0
117: .WT
118: \h'-\w' 'u'\\*(GS
119: .hy 14
120: .nf
121: .di
122: .ll \\n(LLu
123: .ce 1000
124: .ps 12
125: .ft 3
126: .if t .vs 15p
127: .if n .vs 1P
128: .ne 4
129: .XT
130: .ce 0
131: ..
132: . \" AU - author(s)
133: .de AU
134: .nr AV 1
135: .ad \\n(SJ
136: .br
137: .di
138: .br
139: .nf
140: .nr NA +1
141: .ds R\\n(NA \\$1
142: .ds E\\n(NA \\$2
143: .di A\\n(NA
144: .ll \\n(LLu
145: .if t .ft 2
146: .if n .ft 1
147: .ps 10
148: ..
149: .de AX
150: .ft 1
151: .rs
152: .ce 1000
153: .ps 10
154: .vs 12p
155: .if n .sp 2
156: .if t .sp
157: .A1
158: .if n .sp
159: .if t .sp 0.5
160: .ns
161: .I1
162: .if \\n(NA-1 .if n .sp 2
163: .if \\n(NA-1 .if t .sp
164: .A2
165: .if \\n(NA-1 .if n .sp
166: .if \\n(NA-1 .if t .sp 0.5
167: .ns
168: .I2
169: .if \\n(NA-2 .if t .sp
170: .if \\n(NA-2 .if n .sp 2
171: .A3
172: .if \\n(NA-2 .if t .sp 0.5
173: .if \\n(NA-2 .if n .sp
174: .ns
175: .I3
176: .if \\n(NA-3 .if t .sp
177: .if \\n(NA-3 .if n .sp 2
178: .A4
179: .if \\n(NA-3 .if t .sp 0.5
180: .if \\n(NA-3 .if n .sp
181: .ns
182: .I4
183: .if \\n(NA-4 .if t .sp
184: .if \\n(NA-4 .if n .sp 2
185: .A5
186: .if \\n(NA-4 .if n .sp
187: .if \\n(NA-4 .if t .sp 0.5
188: .ns
189: .I5
190: .if \\n(NA-5 .if t .sp
191: .if \\n(NA-5 .if n .sp 2
192: .A6
193: .if \\n(NA-5 .if n .sp
194: .if \\n(NA-5 .if t .sp 0.5
195: .ns
196: .I6
197: .if \\n(NA-6 .if t .sp
198: .if \\n(NA-6 .if n .sp 2
199: .A7
200: .if \\n(NA-6 .if n .sp
201: .if \\n(NA-6 .if t .sp 0.5
202: .ns
203: .I7
204: .if \\n(NA-7 .if t .sp
205: .if \\n(NA-7 .if n .sp 2
206: .A8
207: .if \\n(NA-7 .if n .sp
208: .if \\n(NA-7 .if t .sp 0.5
209: .ns
210: .I8
211: .if \\n(NA-8 .if t .sp
212: .if \\n(NA-8 .if n .sp 2
213: .A9
214: .if \\n(NA-8 .if n .sp
215: .if \\n(NA-8 .if t .sp 0.5
216: .ns
217: .I9
218: ..
219: . \"AI - authors institution
220: .de AI
221: .br
222: .ft 1
223: .di
224: .di I\\n(NA
225: .nf
226: ..
227: . \"AB - begin an abstract
228: .de AB
229: .br
230: .di
231: .ul 0
232: .ce 0
233: .nr 1T 1
234: .nr IK 1
235: .nr KI 1
236: .di WB
237: .rs
238: .nr AJ 1
239: .ce 1
240: .ft 2
241: .if n .ul
242: .ll \\n(LLu
243: .if \\n(.$=0 ABSTRACT
244: .if \\n(.$>0 .if !"\\$1"-" .if !"\\$1"no" \\$1
245: .if \\n(.$=0 .sp
246: .if \\n(.$>0 .if !"\\$1"-" .if !"\\$1"no" .sp
247: .hy 14
248: .ul 0
249: .ce 0
250: .fi
251: .ft 1
252: .nr OJ \\n(.i
253: .in +\\n(.lu/12u
254: .ll -\\n(.lu/12u
255: .br
256: .ps \\n(PS
257: .if \\n(VS>40 .vs \\n(VSu
258: .if \\n(VS<=39 .vs \\n(VSp
259: .ti +\\n(PIu
260: ..
261: . \"AE - end of an abstract
262: .de AE
263: .br
264: .di
265: .ll \\n(LLu
266: .ps \\n(PS
267: .if \\n(VS>40 .vs \\n(VSu
268: .if \\n(VS<=39 .vs \\n(VSp
269: .nr 1T 0
270: .nr IK 0
271: .in \\n(OJu
272: .nr AJ 0
273: .di
274: .ce 0
275: .if \\n(ST=2 .SY
276: .if \\n(ST<3 .rm SY
277: ..
278: . \"S2 - tech report style
279: . \"SY - cover sheet of released paper
280: .de SY
281: .ch FO 16i
282: .ch FX 16i
283: .ll \\n(LLu
284: .rs
285: .sp |13P
286: .ns
287: .if \\n(TV .TY
288: .if \\n(AV .AX
289: .rs
290: .sp |22P
291: .if !'\\*(MN'' TR \\*(MN
292: .ce 0
293: .nf
294: .sp |28P
295: .ls 1
296: .ll -\\n(.lu/12u
297: .WB
298: .ll \\n(LLu
299: .ls
300: .ce 1000
301: .sp |8i
302: \\*(DY
303: .sp 2
304: Department of Computer Science
305: .sp 1
306: The University of Arizona
307: .sp 1
308: Tucson, Arizona 85721
309: .ce 0
310: .sp |10i
311: .na
312: .fi
313: .GX
314: .br
315: ..
316: . \"S2 - first text page, released paper format
317: .de S2
318: .ce 0
319: .br
320: .SY
321: .rm SY
322: .bp 1
323: .if \\n(TV .TX
324: .rs
325: .ce 0
326: .ft 1
327: .ad \\n(SJ
328: ..
329: . \"S0- mike lesk conserve paper style
330: .de S0
331: .ce 0
332: .br
333: .ll \\n(LLu
334: .if \\n(TV+\\n(AV>0 .ns
335: .if \\n(TV .TX
336: .if \\n(AV .AX
337: .if \\n(TV+\\n(AV>0 .rs
338: .ce 0
339: .nf
340: .if \\n(TV>0 .sp 2
341: .ls 1
342: .WB
343: .ls
344: .fi
345: .ad \\n(SJ
346: ..
347: . \"SG - signature
348: .de SG
349: .br
350: .KS
351: .in +2u*\\n(.lu/3u
352: .sp 2
353: .A1
354: .if \\n(NA-1 .sp 2
355: .A2
356: .if \\n(NA-2 .sp 2
357: .A3
358: .if \\n(NA-3 .sp 2
359: .A4
360: .if \\n(NA-4 .sp 2
361: .A5
362: .if \\n(NA>5 .sp 2
363: .A6
364: .if \\n(NA>6 .sp 2
365: .A7
366: .if \\n(NA>7 .sp 2
367: .A8
368: .if \\n(NA>8 .sp 2
369: .A9
370: .in
371: .nf
372: .sp -1
373: .if \\n(.$>=1 \\$1
374: .if \\n(.$>=2 \\$2
375: .if \\n(.$>=3 \\$3
376: .if \\n(.$>=4 \\$4
377: .if \\n(.$>=5 \\$5
378: .if \\n(.$>=6 \\$6
379: .if \\n(.$>=7 \\$7
380: .if \\n(.$>=8 \\$8
381: .if \\n(.$>=9 \\$9
382: .fi
383: .br
384: .KE
385: ..
386: . \"Tables. TS - table start, TE - table end
387: .de TS
388: .br
389: .if !\\n(1T .RT
390: .ul 0
391: .ti \\n(.iu
392: .if t .sp 0.5
393: .if n .sp
394: .if \\$1H .TQ
395: .nr IX 1
396: ..
397: .de TQ
398: .di TT
399: .nr IT 1
400: ..
401: .de TH
402: .if \\n(.d>0.5v .nr T. 0
403: .if \\n(.d>0.5v .T# 0
404: .di
405: .nr TQ \\n(.i
406: .nr HT 1
407: .in 0
408: .TT
409: .in \\n(TQu
410: .mk #T
411: ..
412: .de TE
413: .nr IX 0
414: .if \\n(IT>0 .if \\n(HT=0 .di
415: .if \\n(IT>0 .if \\n(HT=0 .nr EF \\n(.u
416: .if \\n(IT>0 .if \\n(HT=0 .nf
417: .if \\n(IT>0 .if \\n(HT=0 .TT
418: .if \\n(IT>0 .if \\n(HT=0 .if \\n(EF>0 .fi
419: .nr IT 0
420: .nr HT 0
421: .if n .sp 1
422: .if t .sp 0.5
423: ..
424: . \"DS - display. If .DS C, center; L, left-adjust; I, indent.
425: .de DS
426: .KS
427: .\\$1D \\$2 \\$1
428: .ss 9
429: ..
430: .de D
431: .ID \\$1
432: ..
433: .de CD
434: .ce 1000
435: .XD
436: ..
437: .de ID
438: .XD
439: .if t .in +0.5i
440: .if n .in +8
441: .if \\n(.$ .if !"\\$1"I" .in \\n(OIu
442: .if \\n(.$ .if !"\\$1"I" .in +\\$1n
443: ..
444: .de LD
445: .XD
446: ..
447: .de XD
448: .nf
449: .nr OI \\n(.i
450: .if t .sp 0.5
451: .if n .sp 1
452: ..
453: .de BD \" block display: save everything, then center it.
454: .XD
455: .nr BD 1
456: .nr RD 2
457: .di DD
458: ..
459: .de RD \" right block display: save everything, then right adjust it.
460: .XD
461: .nr BD 1
462: .nr RD 1
463: .di DD
464: ..
465: . \"DE - display end
466: .de DE
467: .ce 0
468: .in \\n(OIu
469: .if t .sp 0.5
470: .if n .sp 1
471: .if \\n(BD>0 .DF
472: .nr BD 0
473: .KE
474: .fi
475: .if t .ss 4
476: ..
477: .de DF \" finish a block display to be recentered.
478: .di
479: .if \\n(dl>\\n(BD .nr BD \\n(dl
480: .if \\n(BD<\\n(.l .in (\\n(.lu-\\n(BDu)/\\n(RDu
481: .ta \\n(.luR
482: .DD
483: .in \\n(OIu
484: ..
485: . \"KS keep - for keep release features. As in IFM
486: .de KS
487: .if \\n(IK=0 .if \\n(IF=0 .KQ
488: .nr IK +1
489: ..
490: . \"KQ - real keep processor
491: .de KQ
492: .br
493: .nr KI \\n(.i
494: .ev 2
495: .br
496: .in \\n(KIu
497: .ps \\n(PS
498: .if \\n(VS>40 .vs \\n(VSu
499: .if \\n(VS<=39 .vs \\n(VSp
500: .ll \\n(LLu
501: .lt \\n(LTu
502: .if \\n(NX>0 .ll \\n(CWu
503: .if \\n(NX>0 .lt \\n(CWu
504: .di KK
505: .nr TB 0
506: ..
507: . \"KF - floating keep
508: .de KF
509: .if !\\n(IK .FQ
510: .nr IK +1
511: ..
512: . \"FQ real floating keep processor
513: .de FQ
514: .nr KI \\n(.i
515: .ev 2
516: .br
517: .in \\n(KIu
518: .ps \\n(PS
519: .if \\n(VS>40 .vs \\n(VSu
520: .if \\n(VS<=39 .vs \\n(VSp
521: .ll \\n(LLu
522: .lt \\n(LTu
523: .if \\n(NX>0 .ll \\n(CWu
524: .if \\n(NX>0 .lt \\n(CWu
525: .di KK
526: .nr TB 1
527: ..
528: . \"KE release - everything between keep and release is together
529: .de KE
530: .if \\n(IK .if !\\n(IK-1 .if \\n(IF=0 .RQ
531: .if \\n(IK .nr IK -1
532: ..
533: . \"RQ real release
534: .de RQ
535: .br
536: .di
537: .nr NF 0
538: .if \\n(dn-\\n(.t .nr NF 1
539: .if \\n(TC .nr NF 1
540: .if \\n(NF .if !\\n(TB .sp 200
541: .if !\\n(NF .if \\n(TB .nr TB 0
542: .nf
543: .\".rs
544: .nr TC 5
545: .in 0
546: .ls 1
547: .if \\n(TB=0 .ev
548: .if \\n(TB=0 .br
549: .if \\n(TB=0 .ev 2
550: .if \\n(TB=0 .KK
551: .ls
552: .ce 0
553: .if \\n(TB=0 .rm KK
554: .if \\n(TB .da KJ
555: .if \\n(TB \!.KD \\n(dn
556: .if \\n(TB .KK
557: .if \\n(TB .di
558: .nr TC \\n(TB
559: .fi
560: .in
561: .ev
562: ..
563: .de EQ \"equation, breakout and display
564: .nr EF \\n(.u
565: .rm EE
566: .nr LE 1 \" 1 is center
567: .ds EL \\$1
568: .if "\\$1"L" .ds EL \\$2
569: .if "\\$1"L" .nr LE 0
570: .if "\\$1"C" .ds EL \\$2
571: .if "\\$1"I" .nr LE 0
572: .if "\\$1"I" .ds EE \\h'|10n'
573: .if "\\$1"I" .if !"\\$3"" .ds EE \\h'\\$3'
574: .if "\\$1"I" .ds EL \\$2
575: .if \\n(YE>0 .nf
576: .di EZ
577: ..
578: .de EN \" end of a displayed equation
579: .br
580: .di
581: .rm EZ
582: .nr ZN \\n(dn
583: .if \\n(ZN>0 .if \\n(YE=0 .LP
584: .if \\n(ZN=0 .if !"\\*(EL"" .nr ZN 1
585: .if "\\n(.z"" .if \\n(ZN>0 .if !\\n(nl=\\n(PE .if t .sp .5
586: .if "\\n(.z"" .if \\n(ZN>0 .if !\\n(nl=\\n(PE .if n .sp 1
587: .if !"\\n(.z"" .if \\n(ZN>0 .if !\\n(.d=\\n(PE .if t .sp .5
588: .if !"\\n(.z"" .if \\n(ZN>0 .if !\\n(.d=\\n(PE .if n .sp 1
589: .pc
590: .if \\n(BD>0 .nr LE 0 \" can't mean centering in this case.
591: .lt \\n(.lu
592: .if \\n(EP=0 .if \\n(ZN>0 .if \\n(LE>0 .tl \(ts\(ts\\*(10\(ts\\*(EL\(ts
593: .if \\n(EP=0 .if \\n(ZN>0 .if \\n(LE=0 .if \\n(BD=0 .tl \(ts\\*(EE\\*(10\(ts\(ts\\*(EL\(ts
594: .if \\n(EP=0 .if \\n(ZN>0 .if \\n(LE=0 .if \\n(BD>0 .if \\n(BD<\\w\(ts\\*(10\(ts .nr BD \\w\(ts\\*(10\(ts
595: .if \\n(EP=0 .if \\n(ZN>0 .if \\n(LE=0 .if \\n(BD>0 \!\\*(10\\\\t\\*(EL
596: .if \\n(EP>0 .if \\n(ZN>0 .if \\n(LE>0 .tl \(ts\\*(EL\(ts\\*(10\(ts\(ts
597: .if \\n(EP>0 .if \\n(ZN>0 .if \\n(LE=0 .if \\n(BD=0 .tl \(ts\\*(EL\\*(EE\\*(10\(ts\(ts\(ts
598: .if \\n(EP>0 .if \\n(ZN>0 .if \\n(LE=0 .if \\n(BD>0 .if \\n(BD<\\w\(ts\\*(10\(ts .nr BD \\w\(ts\\*(10\(ts
599: .if \\n(EP>0 .if \\n(ZN>0 .if \\n(LE=0 .if \\n(BD>0 \!\\h'-\\\\n(.iu'\\*(EL\\h'|0'\\*(10
600: .\".di EZ \" GCOS patch
601: .\"\\*(10 \" GCOS patch
602: .\".br \" GCOS patch
603: .\".di \" GCOS patch
604: .\".rm EZ \" GCOS patch
605: .lt \\n(LLu
606: .pc %
607: .if \\n(YE>0 .if \\n(EF>0 .fi
608: .rm EL
609: .rm 10
610: .rm 11
611: .rm 12
612: .rm 13
613: .rm 14
614: .rm 15
615: .rm 16
616: .rm 17
617: .rm 18
618: .rm 19
619: .rm 20
620: .rm 21
621: .rm 22
622: .rm 23
623: .if \\n(ZN>0 .if t .sp .5
624: .if \\n(ZN>0 .if n .sp
625: .if "\\n(.z"" .nr PE \\n(nl
626: .if !"\\n(.z"" .nr PE \\n(.d
627: ..
628: .de ME
629: .nr SJ \\n(.j
630: .if \\n(LL>0 .nr LT \\n(LL
631: .nr YE 1
632: .if \\n(PO=0 .nr PO \\n(.o
633: ..
634: . \"EM end up macro - process left over keep-release
635: .de EM
636: .br
637: .if \\n(TB=0 .if t .wh -1p CM
638: .if \\n(TB \&\c
639: .if \\n(TB 'bp
640: .if \\n(TB .NP
641: .if \\n(TB .ch CM 160
642: ..
643: . \"NP new page
644: .de NP
645: .if \\n(FM+\\n(HM>=\\n(.p .tm Margins bigger than page length.
646: .if \\n(FM+\\n(HM>=\\n(.p .ab
647: .if \\n(FM+\\n(HM>=\\n(.p .ex
648: .nr PX \\n(.s
649: .nr PF \\n(.f
650: .if t .CM
651: .if \\n(HM=0 .nr HM 1i
652: 'sp \\n(HMu/2u
653: .lt \\n(LTu
654: .ps \\n(PS
655: .ft 1
656: .PT
657: .ps \\n(PX
658: .ft \\n(PF
659: 'sp |\\n(HMu
660: .nr XX 0 1
661: .nr YY 0-\\n(FMu
662: .ch FO 16i
663: .ch FX 17i
664: .ch FO -\\n(FMu
665: .ch FX -\\n(FMu
666: .if \\n(MF .FV
667: .nr MF 0
668: .mk
669: .os
670: .ev 1
671: .if \\n(TD=0 .if \\n(TC<5 .XK
672: .nr TC 0
673: .ns
674: .ev
675: .nr TQ \\n(.i
676: .if \\n(IT>0 .in 0
677: .if \\n(IT>0 .TT
678: .if \\n(IT>0 .in \\n(TQu
679: .mk #T
680: .if \\n(PO>0 .po \\n(POu
681: .if t .if \\n(.o+\\n(LL>7.75i .tm Offset + line length exceeds 7.75 inches, too wide
682: ..
683: .de XK
684: .nr TD 1
685: .nf
686: .ls 1
687: .in 0
688: .rn KJ KL
689: .KL
690: .rm KL
691: .if "\\n(.z"KJ" .di
692: .nr TB 0
693: .if "\\n(.z"KJ" .nr TB 1
694: .br
695: .in
696: .ls
697: .fi
698: .nr TD 0
699: ..
700: .de KD
701: .nr KM 0
702: .if "\\n(.z"KJ" .nr KM 1 \" KM is 1 if in a rediversion of keeps
703: .if \\n(KM>0 \!.KD \\$1
704: .if \\n(KM=0 .if \\n(.t<\\$1 .di KJ
705: ..
706: .de PT
707: .lt \\n(LLu
708: .pc %
709: .nr PN \\n%
710: .if \\n%-1 .tl '\\*(LH'\\*(CH'\\*(RH'
711: .lt \\n(.lu
712: ..
713: . \"FO - footer of page
714: .de FO
715: .rn FO FZ
716: .if \\n(K1>0 .tm This memo has a multi-page cover sheet. You are
717: .if \\n(K1>0 .tm rebuked in the name of the Committee on Technical Memoranda.
718: .if \\n(IT>0 .nr T. 1
719: .if \\n(IT>0 .if \\n(FC=0 .T# 1
720: .if \\n(IT>0 .br
721: .nr FC +1
722: .if !\\n(NX .nr WF 0
723: .nr dn 0
724: .if \\n(FC<=1 .if \\n(XX .XF
725: .rn FZ FO
726: .nr MF 0
727: .if \\n(dn .nr MF 1
728: .if !\\n(WF .nr YY 0-\\n(FMu
729: .if !\\n(WF .ch FO \\n(YYu
730: .if !\\n(dn .nr WF 0
731: .if \\n(FC<=1 .if \\n(XX=0 .if \\n(NX>0 .RC
732: .if \\n(FC<=1 .if \\n(XX=0 .if \\n(NX<=0 'bp
733: .nr FC -1
734: .if \\n(ML>0 .ne \\n(MLu
735: ..
736: . \"2C - begin double column
737: .de 2C
738: .if !\\n(1T .if n .sp 4
739: .if !\\n(1T .if t .sp 2
740: .RT
741: .if \\n(NX=0 .mk
742: .if \\n(NX=0 .nr NC 1
743: .hy 12
744: .if \\n(L1=0 .nr L1 \\n(.l
745: .nr NX 1
746: .if \\n(CW=0 .nr CW \\n(.l*7/15
747: .ll \\n(CWu
748: .nr FL \\n(CWu*11u/12u
749: .if \\n(GW=0 .nr GW \\n(L1-(2*\\n(CW)
750: .nr RO \\n(CW+\\n(GW
751: .ns
752: ..
753: .de RC
754: .if \\n(NC>1 .C2
755: .if \\n(NC<=1 .C1
756: .nr NC \\n(ND
757: ..
758: .de C1
759: .rt
760: .po +\\n(ROu
761: .nr ND 2
762: .nr XX 0 1
763: .if \\n(MF .FV
764: .ev 1
765: .if \\n(TB .XK
766: .nr TC 0
767: .ev
768: .ns
769: ..
770: .ch FO \\n(YYu
771: .de C2
772: .po \\n(POu
773: 'bp
774: .nr ND 1
775: ..
776: . \"1C - return to single column format
777: .de 1C
778: .br
779: .RT
780: .po \\n(POu
781: .nr ND 1
782: .if \\n(NX>0 .ll \\n(L1u
783: .if \\n(NX>0 .bp
784: .nr NX 0
785: .hy 14
786: ..
787: . \".de R3
788: . \".pl 102
789: . \".nr LT \\n(.l
790: . \"..
791: .de BT
792: .nr PX \\n(.s
793: .nr PF \\n(.f
794: .ft 1
795: .ps \\n(PS
796: 'lt \\n(LTu
797: .if \\n%>0 .tl '\\*(LF'\\*(CF'\\*(RF'
798: .ft \\n(PF
799: .ps \\n(PX
800: ..
801: . \"PP - paragraph
802: .de PP
803: .RT
804: .ne 1.1
805: .if \\n(1T .sp \\n(PDu
806: .ti +\\n(PIu
807: ..
808: . \"SH - (unnumbered) section heading
809: .de SH
810: .RT
811: .if \\n(1T .sp 1
812: .if !\\n(1T .BG
813: .RT
814: .ne 4
815: .ft 3
816: .if n .cu 1000
817: ..
818: . \"NH - numbered heading
819: .de NH
820: .RT
821: .if \\n(1T .sp 1
822: .if \\n(1T .if !\\n(.$ .sp 1
823: .if !\\n(1T .BG
824: .RT
825: .ne 4
826: .ft 3
827: .if n .cu 1000
828: .nr NS \\$1
829: .if !\\n(.$ .nr NS 1
830: .if !\\n(NS .nr NS 1
831: .nr H\\n(NS +1
832: .if !\\n(NS-4 .nr H5 0
833: .if !\\n(NS-3 .nr H4 0
834: .if !\\n(NS-2 .nr H3 0
835: .if !\\n(NS-1 .nr H2 0
836: .if !\\$1 .if \\n(.$ .nr H1 1
837: .ds SN \\n(H1.
838: .if \\n(NS-1 .as SN \\n(H2
839: .if \\n(NS-2 .as SN .\\n(H3
840: .if \\n(NS-3 .as SN .\\n(H4
841: .if \\n(NS-4 .as SN .\\n(H5
842: .nr IQ \w'\\*(SN\ \ '
843: .nr IP +1
844: .in +\\n(IQu
845: .ti -\\n(IQu
846: .nf
847: \\*(SN\ \ \\c
848: ..
849: . \"BG - begin, execute at first PP
850: .de BG
851: .br
852: .ME
853: .rm ME
854: .di
855: .ce 0
856: .nr KI 0
857: .hy 14
858: .nr 1T 1
859: .S\\n(ST
860: .rm S0
861: .rm S2
862: .rm TX
863: .rm AX
864: .rm WT
865: .rm XT
866: .rm GR
867: .rm GP
868: .rm GS
869: .rm GX
870: .rm I1
871: .rm I2
872: .rm I3
873: .rm I4
874: .rm I5
875: .rm CB
876: .rm E1
877: .rm E2
878: .de TL
879: .ft 3
880: .sp
881: .ce 100
882: .LG
883: \\..
884: .de AU
885: .ft 2
886: .ce 100
887: .sp
888: .NL
889: \\..
890: .de AI
891: .ft 1
892: .ce 100
893: .if n .sp
894: .if t .sp .5
895: .NL
896: \\..
897: .RA
898: .rm RA
899: .rn FJ FS
900: .rn FK FE
901: .nf
902: .if \\n(KG=0 .nr FP 0 \"KI should be new
903: .nr KG 0 \"KI should be new
904: .if \\n(FP>0 .FS
905: .if \\n(FP>0 .FG
906: .if \\n(FP>0 .FE
907: .br
908: .if \\n(TV>0 .if n .sp 2
909: .if \\n(TV>0 .if t .sp 1
910: .fi
911: .ll \\n(LLu
912: ..
913: .de RA \"redefine abstract macros
914: .de AB
915: .br
916: .if !\\n(1T .BG
917: .ce 1
918: .sp 1
919: ABSTRACT
920: .sp 1
921: .nr AJ 1
922: .in +\\n(.lu/12u
923: .ll -\\n(.lu/12u
924: .RT
925: \\..
926: .de AE
927: .nr AJ 0
928: .br
929: .in 0
930: .ll \\n(LLu
931: .if \\n(VS>40 .vs \\n(VSu
932: .if \\n(VS<=39 .vs \\n(VSp
933: \\..
934: ..
935: . \"IP - indented paragraph
936: .de IP
937: .RT
938: .if !\\n(IP .nr IP +1
939: .sp \\n(PDu
940: .ne 3v
941: .if \\n(.$-1 .nr IQ \\$2n
942: .if \\n(.$ .LB "\\$1"
943: .if !\\n(.$ .LB
944: ..
945: . \"LP - left aligned (block) paragraph
946: .de LP
947: .ti \\n(.iu
948: .RT
949: .if \\n(1T .sp \\n(PDu
950: .ne 1.1
951: .if \\n(.$ .LB \\$1
952: ..
953: . \"IE - synonym for .LP
954: .de IE
955: .LP
956: ..
957: . \"LB - label paragraph
958: .de LB
959: .in +\\n(IQu
960: .ta \\n(IQu
961: .if \\n(.$ .ti -\\n(IQu
962: .if \\n(.$ \\$1\t\c
963: ..
964: . \"RS - prepare for double indenting
965: .de RS
966: .in +\\n(IRu
967: ..
968: . \"RE - retreat to the left
969: .de RE
970: .br
971: .in -\\n(IRu
972: ..
973: . \"CM - cut mark
974: .de CM
975: .\"po 0
976: .\"lt 7.6i
977: .ft 1
978: .ps 10
979: .vs 4p
980: .tl '--''--'
981: .\"po
982: .vs
983: .\"lt
984: .ps
985: .ft
986: ..
987: . \"B - bold font
988: .de B
989: .nr PQ \\n(.f
990: .if n .if \\n(.$>2 \\&\\$3\\c
991: .if "\\$1"" .if n .ul 1000
992: .if !"\\$1"" .if n .ul 1
993: .if t .if !"\\$1"" \\&\\$3\\fB\\$1\\f\\n(PQ\\$2
994: .if n .if \\n(.$=1 \\&\\$1
995: .if n .if \\n(.$>1 \\&\\$1\\c
996: .if n .if \\n(.$>1 \\&\\$2
997: ..
998: . \"R - Roman font
999: .de R
1000: .if n .ul 0
1001: .ft 1
1002: ..
1003: . \"I - italic font
1004: .de I
1005: .nr PQ \\n(.f
1006: .if n .if \\n(.$>2 \\&\\$3\\c
1007: .if "\\$1"" .if n .ul 1000
1008: .if !"\\$1"" .if n .ul 1
1009: .if t .if !"\\$1"" \\&\\$3\\fI\\$1\\f\\n(PQ\\$2
1010: .if n .if \\n(.$=1 \\&\\$1
1011: .if n .if \\n(.$>1 \\&\\$1\\c
1012: .if n .if \\n(.$>1 \\&\\$2
1013: ..
1014: . \"M - sans-serif font
1015: . \"Q - quote argument
1016: .de Q
1017: .if n \&\\$3"\\$1"\\$2
1018: .if t \&\\$3``\\$1''\\$2
1019: ..
1020: .de q
1021: .if n \&\\$3'\\$1'\\$2
1022: .if t \&\\$3`\\$1'\\$2
1023: ..
1024: . \"TA - tabs set in ens or chars
1025: .de TA
1026: .ta \\$1n \\$2n \\$3n \\$4n \\$5n \\$6n \\$7n \\$8n \\$9n
1027: ..
1028: . \"SM - make smaller size
1029: .de SM
1030: .ps -2
1031: ..
1032: . \"LG - make larger size
1033: .de LG
1034: .ps +2
1035: ..
1036: . \"NL - return to normal size
1037: .de NL
1038: .ps \\n(PS
1039: ..
1040: . \"DA - force date; ND - no date or new date.
1041: .de DA
1042: .ds DY \\$1
1043: ..
1044: .if \n(mo-0 .ds MO January
1045: .if \n(mo-1 .ds MO February
1046: .if \n(mo-2 .ds MO March
1047: .if \n(mo-3 .ds MO April
1048: .if \n(mo-4 .ds MO May
1049: .if \n(mo-5 .ds MO June
1050: .if \n(mo-6 .ds MO July
1051: .if \n(mo-7 .ds MO August
1052: .if \n(mo-8 .ds MO September
1053: .if \n(mo-9 .ds MO October
1054: .if \n(mo-10 .ds MO November
1055: .if \n(mo-11 .ds MO December
1056: .if \n(dw-0 .ds DW Sunday
1057: .if \n(dw-1 .ds DW Monday
1058: .if \n(dw-2 .ds DW Tuesday
1059: .if \n(dw-3 .ds DW Wednesday
1060: .if \n(dw-4 .ds DW Thursday
1061: .if \n(dw-5 .ds DW Friday
1062: .if \n(dw-6 .ds DW Saturday
1063: .ds DY \*(MO \n(dy, 19\n(yr
1064: .IZ
1065: .rm IZ
1066: .rm MO
1067: .de FN
1068: .FS
1069: ..
1070: . \"FS - begin footnote
1071: .de FJ
1072: 'ce 0
1073: .di
1074: .ev1
1075: .ll \\n(FLu
1076: .da FF
1077: .br
1078: .if \\n(IF>0 .tm Footnote within footnote-illegal.
1079: .nr IF 1
1080: .if !\\n+(XX-1 .FA
1081: ..
1082: . \"FE - footnote end
1083: .de FK
1084: .br
1085: .in 0
1086: .nr IF 0
1087: .di
1088: .ev
1089: .if !\\n(XX-1 .nr dn +\\n(.v
1090: .nr YY -\\n(dn
1091: .if \\n(NX=0 .nr WF 1
1092: .if \\n(dl>\\n(CW .nr WF 1
1093: .if (\\n(nl+\\n(.v)<=(\\n(.p+\\n(YY) .ch FO \\n(YYu
1094: .if (\\n(nl+\\n(.v)>(\\n(.p+\\n(YY) .if \\n(nl>(\\n(HM+1.5v) .ch FO \\n(nlu+\\n(.vu
1095: .if (\\n(nl+\\n(.v)>(\\n(.p+\\n(YY) .if \\n(nl>(\\n(HM+1.5v) .ch FX 16i
1096: .if (\\n(nl+\\n(.v)>(\\n(.p+\\n(YY) .if \\n(nl<=(\\n(HM+1.5v) .ch FO \\n(HMu+(4u*\\n(.vu)
1097: ..
1098: .\" First page footer.
1099: .de FS
1100: .ev1
1101: .br
1102: .ll \\n(FLu
1103: .da FG
1104: ..
1105: .de FE
1106: .br
1107: .di
1108: .nr FP \\n(dn
1109: .if \\n(1T=0 .nr KG 1 \";not in abstract repeat next page. KI should be new
1110: .ev
1111: ..
1112: .de FA
1113: .if n __________________________
1114: .if t \l'1i'
1115: .br
1116: ..
1117: .de FV
1118: .FS
1119: .nf
1120: .ls 1
1121: .FY
1122: .ls
1123: .fi
1124: .FE
1125: ..
1126: .de FX
1127: .if \\n(XX>0 .di FY
1128: .if \\n(XX>0 .ns
1129: ..
1130: .de XF
1131: .if \\n(nlu+1v>(\\n(.pu-\\n(FMu) .ch FX \\n(nlu+1.9v
1132: .ev1
1133: .nf
1134: .ls 1
1135: .FF
1136: .rm FF
1137: .nr XX 0 1
1138: .br
1139: .ls
1140: .di
1141: .fi
1142: .ev
1143: ..
1144: .de FL
1145: .ev1
1146: .nr FL \\$1n
1147: .ll \\$1
1148: .ev
1149: ..
1150: .de UL \" underline argument, don't italicize
1151: .if t \\$1\l'|0\(ul'\\$2
1152: .if n .I \\$1 \\$2
1153: ..
1154: .em EM
1155: . \" ACCENTS say \*'e or \*`e to get e acute or e grave
1156: .ds ' \h'\w'e'u*4/10'\z\(aa\h'-\w'e'u*4/10'
1157: .ds ` \h'\w'e'u*4/10'\z\(ga\h'-\w'e'u*4/10'
1158: . \" UMLAUT \*:u, etc.
1159: .ds : \v'-0.6m'\h'(1u-(\\n(.fu%2u))*0.13m+0.06m'\z.\h'0.2m'\z.\h'-((1u-(\\n(.fu%2u))*0.13m+0.26m)'\v'0.6m'
1160: . \" TILDE and CIRCUMFLEX
1161: .ds ^ \\k:\h'-\\n(.fu+1u/2u*2u+\\n(.fu-1u*0.13m+0.06m'\z^\h'|\\n:u'
1162: .ds ~ \\k:\h'-\\n(.fu+1u/2u*2u+\\n(.fu-1u*0.13m+0.06m'\z~\h'|\\n:u'
1163: . \" czech v symbol
1164: .ds C \\k:\\h'+\\w'e'u/4u'\\v'-0.6m'\\s6v\\s0\\v'0.6m'\\h'|\\n:u'
1165: . \" cedilla
1166: .ds , \\k:\\h'\\w'c'u*0.4u'\\z,\\h'|\\n:u'
1167: .if n .ds oq ""
1168: .if n .ds cq ""
1169: .if n .ds OQ '
1170: .if n .ds CQ '
1171: .if n .ds em --
1172: .if t .ds oq ``
1173: .if t .ds cq ''
1174: .if t .ds OQ `
1175: .if t .ds CQ '
1176: .if t .ds em \(em
1177: .if n .na
1178: .if t .ss 4
1179: .if n .po 1i
1180: .de Ds
1181: .DS
1182: .ft B
1183: .ss 9
1184: ..
1185: .de De
1186: .DE
1187: .ss 4
1188: .ft R
1189: ..
1190: .ds CF \s10- \\n(PN -\s0
1191: .de Nt
1192: .Ds
1193: .ta 2.7i
1194: icon-project.arizona@csnet-relay \fR(CSNET or ARPANET)\fP
1195: arizona!icon-project \fR(Usenet and uucpnet)
1196: .De
1197: There are currently uucp connections to Arizona through
1198: \\*Mnoao\fR, \\*Mmcnc\fR, \\*Mihnp4\fR, and \\*Mutah-cs\fR.
1199: ..
1200: .ds U UNIX\u\s-2*\s0\d
1201: .de Un
1202: .FS
1203: \*U is a trademark of AT&T Bell Laboratories.
1204: .FE
1205: ..
1206: .if \nv .ss 10
1207: .hy 14
1208: .de Gr
1209: .GR MCS81-01916 DCR-8401831
1210: ..
1211: .de Nh
1212: .sp -.8
1213: .NH
1214: ..
1215: .de Wd
1216: .ll 7.8i
1217: .lt 7.8i
1218: .nr LL 7.8i
1219: .nr LT 7.8i
1220: ..
1221: .de Pf
1222: .nr PS 11
1223: .ps 11
1224: .nr VS 18
1225: .vs 18
1226: ..
1227: .de do
1228: .if '\\$1'' .in +.5i
1229: .if !'\\$1'' .in +\\$1
1230: .vs 6p
1231: \&.
1232: \&.
1233: \&.
1234: .vs
1235: .in
1236: ..
1237: .ds d \s+5\fR\&.\h'-1.5p'\fP\s-5
1238: .ds t
1239: .ds mi -
1240: .ds >= \v'-1p'>\v'1p'=
1241: .ds >: \v'-1p'>\v'1p':
1242: .ds >> \v'-1p'>>\v'1p'
1243: .ds <= \v'-1p'<\v'1p'=
1244: .ds <: \v'-1p'<\v'1p':
1245: .ds << \v'-1p'<<\v'1p'
1246: .ds <- \v'-1p'<\v'1p'-
1247: .ds -> -\v'-1p'>\v'1p'
1248: .ds <> \v'-1p'<\v'1p'-\v'-1p'>\v'1p'
1249: .if n .fp 4 M c1
1250: .ds cf ^
1251: .ds fm '
1252: .ds sl /
1253: .ds v \fR|\fP
1254: .ds b \|
1255: .ds El \fR.\^.\^.\fP
1256: .ds sd \s8\v'.2m'\h'-0.4n'
1257: .ds su \v'-.2m'\s0
1258: .ds 0 \fIexpr\fP
1259: .ds 1 \fIexpr\*(sd1\*(su\fP
1260: .ds 2 \fIexpr\*(sd2\*(su\fP
1261: .ds 3 \fIexpr\*(sd3\*(su\fP
1262: .ds i \fIexpr\*(sdi\*(su\fP
1263: .ds n \fIexpr\*(sdn\*(su\fP
1264: .de Ds
1265: .DS
1266: .ft B
1267: .if n .ft R
1268: .tr -\\(mi'\\(fm/\\(sl
1269: .if t .ss 9
1270: .if \nv .ss 20
1271: .Ta
1272: .In
1273: ..
1274: .de De
1275: .if t .ss 4
1276: .if \nv .ss 10
1277: .DE
1278: .ft R
1279: .tr -\\*(mi'\\*(fm/\\*(sl
1280: ..
1281: .de Dd
1282: .De
1283: .sp -.4
1284: .Ds
1285: ..
1286: .de Ua
1287: Technical Report \\$1, Department of Computer Science, The University of Arizona.
1288: ..
1289: .de
1290: .if \nv .ss 10
1291: .if \nv .rm CM
1292: .de Li
1293: .Sd
1294: .de Ta
1295: .ta 3i
1296: \\..
1297: .de Ti
1298: .ce 10
1299: \f3\\\\$1\f1
1300: .ce 0
1301: .sp 2
1302: .ds RF \s10\*(DY\s0
1303: .ds LF \s10\\\\$3\s0
1304: .so \\\\$2
1305: .bp
1306: \\..
1307: ..
1308: .de Sd
1309: .am Ds
1310: .ps 8
1311: .vs 10
1312: .nr PS 8
1313: .nr VS 10
1314: \\..
1315: .am De
1316: .nr VS 12
1317: .nr PS 10
1318: .vs 12
1319: .ps 10
1320: \\..
1321: ..
1322: .de Qs
1323: .ps 9
1324: .vs 11
1325: .in .25i
1326: .ll 6.25i
1327: .sp
1328: ..
1329: .de Qe
1330: .ps
1331: .vs
1332: .in 0
1333: .ll
1334: .LP
1335: ..
1336: .de Qd
1337: .Qe
1338: .sp -.7
1339: .Qs
1340: ..
1341: .de Ap
1342: .bp
1343: .ce 10
1344: \f3\\$1\f1
1345: .ce 0
1346: .sp 2
1347: .if !''\\$2' .so \\$2
1348: ..
1349: .ds M \fB
1350: .if t .if !\nd .ds M \fM
1351: .nr Ex 1
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.