Annotation of researchv10no/cmd/monk/db/global, revision 1.1

1.1     ! root        1: |environment(roman;
        !             2: font roman;)
        !             3: |environment(r;
        !             4: font roman;)
        !             5: |environment(italics;
        !             6: font italics;)
        !             7: |environment(i;
        !             8: font italics;)
        !             9: |environment(bold;
        !            10: font bold;)
        !            11: |environment(b;
        !            12: font bold;)
        !            13: |environment(bolditalics;
        !            14: font bolditalics;)
        !            15: |environment(bi;
        !            16: font bolditalics;)
        !            17: |environment(constant_width;
        !            18: font cw;)
        !            19: |environment(cw;
        !            20: font cw;)
        !            21: |environment(here;
        !            22: here on;)
        !            23: |environment(around;
        !            24: around on;)
        !            25: |environment(around_placement;
        !            26: ;
        !            27: around_placement)
        !            28: |environment(full;
        !            29: around_width full, footnote_width full;)
        !            30: |environment(narrow;
        !            31: around_width narrow, footnote_width narrow;)
        !            32: |associate(blank_space;;;
        !            33: [$;
        !            34: spacing on, blank.lines $;]
        !            35: [;
        !            36: spacing on, blank.lines 1;])
        !            37: |associate(new_page;;;
        !            38: [1;
        !            39: spacing on, new.page;]
        !            40: [2;
        !            41: spacing on, new.page, spacing on, new.page;]
        !            42: [3;
        !            43: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !            44: [4;
        !            45: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            46: spacing on, new.page;]
        !            47: [5;
        !            48: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            49: spacing on, new.page, spacing on, new.page;]
        !            50: [6;
        !            51: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            52: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !            53: [7;
        !            54: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            55: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            56: spacing on, new.page;]
        !            57: [8;
        !            58: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            59: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            60: spacing on, new.page, spacing on, new.page;]
        !            61: [9;
        !            62: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            63: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            64: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !            65: [10;
        !            66: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            67: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            68: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            69: spacing on, new.page;]
        !            70: [11;
        !            71: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            72: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            73: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            74: spacing on, new.page, spacing on, new.page;]
        !            75: [12;
        !            76: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            77: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            78: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            79: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !            80: [13;
        !            81: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            82: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            83: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            84: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            85: spacing on, new.page;]
        !            86: [14;
        !            87: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            88: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            89: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            90: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            91: spacing on, new.page, spacing on, new.page;]
        !            92: [15;
        !            93: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            94: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            95: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            96: spacing on, new.page, spacing on, new.page, spacing on, new.page,
        !            97: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
        !            98: [;
        !            99: spacing on, new.page;])
        !           100: |associate(column_style; column next;;
        !           101: [width $;;
        !           102: column width $]
        !           103: [offset $;;
        !           104: column offset $])
        !           105: |associate(new_column;;;
        !           106: [$;;
        !           107: column old $]
        !           108: [;;
        !           109: column new])
        !           110: |environment(indent;
        !           111: indent +3;)
        !           112: |environment(center;
        !           113: center on;)
        !           114: |environment(center_block;
        !           115: fill off, center.block on;)
        !           116: |environment(small;
        !           117: size -1;)
        !           118: |environment(s;
        !           119: size -1;)
        !           120: |environment(big;
        !           121: size +1;)
        !           122: |environment(u;
        !           123: underline on;)
        !           124: |environment(underline;
        !           125: underline on;)
        !           126: |environment(quotation;
        !           127: indent +.5i, line.length -.5i, line.spacing 1;
        !           128: line.length +.5i, new.line)
        !           129: |environment(verbatim;
        !           130: verbatim on, file.information, line.spacing 1, fill off;)
        !           131: |environment(text;
        !           132: fill on;)
        !           133: |environment(left_adjust;
        !           134: adjust left;)
        !           135: |associate(left_center_right;
        !           136: set string Ts "`";
        !           137: title Ts;
        !           138: [$;
        !           139: add string Ts $, add string Ts "`";])
        !           140: |environment(footnote;
        !           141: size -2, vertical.motion -.4m,
        !           142: number ++ FN, vertical.motion +.4m, space -2, line.spacing 1,
        !           143: footnote on, indent 0.2i, indent.line -0.2i,
        !           144: number FN, text ".", horizontal.motion "|0.2i";
        !           145: SPACE)
        !           146: |environment(unnumbered_footnote;
        !           147: size -2, space -2, line.spacing 1,
        !           148: footnote on, indent 0.2i;
        !           149: SPACE)
        !           150: |environment(dagnote;
        !           151: size -2, vertical.motion -.4m,
        !           152: text "\(dg", vertical.motion +.4m, space -2, line.spacing 1,
        !           153: footnote on, indent 0.2i, indent.line -0.2i,
        !           154: text "\(dg", horizontal.motion "|0.2i";
        !           155: SPACE)
        !           156: |environment(authordagnote;
        !           157: size -2, space -2, line.spacing 1,
        !           158: footnote on, indent 0.2i, indent.line -0.2i,
        !           159: text "\(dg", horizontal.motion "|0.2i";
        !           160: SPACE)
        !           161: |environment(starnote;
        !           162: size -2, vertical.motion -.4m,
        !           163: text "\(**", vertical.motion +.4m, space -2, line.spacing 1,
        !           164: footnote on, indent 0.2i, indent.line -0.2i,
        !           165: text "\(**", horizontal.motion "|0.2i";
        !           166: SPACE)
        !           167: |environment(endnote;
        !           168: size -2, vertical.motion -.4m,
        !           169: number ++ endnote_counter, vertical.motion +.4m, size +2,
        !           170: append.output on endnote_output,
        !           171: |ifvalue sawendnote on [
        !           172: minimum.lines,
        !           173: ]
        !           174: indent.line 3, number endnote_counter, text ". ";
        !           175: sawendnote on)
        !           176: |environment(endnote_placement;
        !           177: |ifvalue sawendnote on [
        !           178: new.page,
        !           179: set string Ts "NOTES",
        !           180: inline off, size +1, center on,
        !           181: font bold, string Ts, font roman,
        !           182: center off, size -1, inline on,
        !           183: minimum.lines,
        !           184: clear string Rs,
        !           185: contents section 1 Rs Ts,
        !           186: line.spacing 1, macro endnote_output
        !           187: ];
        !           188: sawendnote off)
        !           189: |environment(notation;
        !           190: minimum.lines, fill off;
        !           191: minimum.lines)
        !           192: |environment(approved;
        !           193: minimum.lines 2, text bold "Approval:  ", blank.lines 3,
        !           194: line 3.5i, tab.stops 1.5iC, new.line, tab;
        !           195: tab, minimum.lines)
        !           196: |environment(index_placement;
        !           197: new.page, tab.stops \nWuR,
        !           198: set string Ts "INDEX",
        !           199: inline off, size +1, center on,
        !           200: font bold, string Ts, font roman,
        !           201: center off, size -1, inline on,
        !           202: minimum.lines,
        !           203: clear string Rs,
        !           204: contents section 1 Rs Ts;)
        !           205: |environment(index_level0;
        !           206: indent .2i, indent.line -.2i, protect, text "\&";)
        !           207: |environment(index_level1;
        !           208: indent .4i, indent.line -.4i, protect, text "\&";)
        !           209: |environment(index_level2;
        !           210: indent .4i, indent.line -.2i, protect, text "\&";)
        !           211: |environment(bullet_list;
        !           212: list.type fixed, list.pre "\&", list.format 1, list.post "\s-2\(bu\s+2\ ",
        !           213: list.indent "nnn", list on;
        !           214: list off)
        !           215: |environment(dash_list;
        !           216: list.type fixed, list.pre "\&", list.format 1, list.post "\(em\ ",
        !           217: list.indent "nnn", list on;
        !           218: list off)
        !           219: |environment(number_list;
        !           220: list.type calculated, list.pre "\&", list.format 1, list.post ".\ \ ",
        !           221: list.indent "nnnnn", list on;
        !           222: list off)
        !           223: |environment(p_number_list;
        !           224: list.type calculated, list.pre "(", list.format 1, list.post ")\ \ ",
        !           225: list.indent "nnnnn", list on;
        !           226: list off)
        !           227: |environment(A_list;
        !           228: list.type calculated, list.pre "\&", list.format A, list.post ".\ \ ",
        !           229: list.indent "nnnnn", list on;
        !           230: list off)
        !           231: |environment(a_list;
        !           232: list.type calculated, list.pre "\&", list.format a, list.post ")\ \ ",
        !           233: list.indent "nnnnn", list on;
        !           234: list off)
        !           235: |environment(p_a_list;
        !           236: list.type calculated, list.pre "(", list.format a, list.post ")\ \ ",
        !           237: list.indent "nnnnn", list on;
        !           238: list off)
        !           239: |environment(I_list;
        !           240: list.type calculated, list.pre "\&", list.format I, list.post ".\ \ ",
        !           241: list.indent "nnnnn", list on;
        !           242: list off)
        !           243: |environment(i_list;
        !           244: list.type calculated, list.pre "\&", list.format i, list.post ")\ \ ",
        !           245: list.indent "nnnnn", list on;
        !           246: list off)
        !           247: |environment(text_list;
        !           248: list.type fixed, list.pre "\&", list.format 1, list.post "\ ",
        !           249: list.indent "nnnnn", list on;
        !           250: list off)
        !           251: |associate(item;
        !           252: clear string Ts;
        !           253: |ifvalue list.spacing on [
        !           254: blank.lines .5,
        !           255: ]
        !           256: |ifvalue list.type fixed [
        !           257: add string.from.string Ts l2,
        !           258: add string.from.string Ts l4,
        !           259: store string Rs l4,
        !           260: ]
        !           261: |ifvalue list.type calculated [
        !           262: incr l0,
        !           263: number format.from.string l0 l3,
        !           264: add string.from.string Ts l2,
        !           265: add string.from.number Ts l0,
        !           266: add string.from.string Ts l4,
        !           267: store string Rs l2,
        !           268: add string.from.number Rs l0,
        !           269: ]
        !           270: store width l2 l5,
        !           271: store width l1 Ts,
        !           272: if else begin "\n(l1>\n(l2",
        !           273: clear l1, sub l1 l2,
        !           274: indent.line number l1,
        !           275: if end,
        !           276: if else begin,
        !           277: clear l2, sub l2 l1,
        !           278: indent.line number l2,
        !           279: if end,
        !           280: string Ts, concatenate;
        !           281: [$;;
        !           282: set string Ts $])
        !           283: |environment(reference;
        !           284: verbatim on, reference on;
        !           285: sawreference on)
        !           286: |environment(reference_database;
        !           287: verbatim on, reference database;)
        !           288: |environment(reference_include;
        !           289: verbatim on, reference include;)
        !           290: |environment(reference_list;
        !           291: verbatim on, reference list;)
        !           292: |environment(reference_placement;
        !           293: |ifvalue sawreference on [
        !           294: new.page,
        !           295: set string Ts "REFERENCES",
        !           296: inline off, size +1, center on,
        !           297: font bold, string Ts, font roman,
        !           298: center off, size -1, inline on,
        !           299: minimum.lines,
        !           300: clear string Rs,
        !           301: contents section 1 Rs Ts,
        !           302: reference.placement
        !           303: ];
        !           304: sawreference off)
        !           305: |environment(table;
        !           306: verbatim on, file.information, minimum.lines 1, line.spacing 1, adjust off,
        !           307: table on;
        !           308: minimum.lines 1)
        !           309: |environment(table_caption;
        !           310: divert.string Ts;
        !           311: incr TB, minimum.lines 1, center on, font bold,
        !           312: text "Table ", number TB, text ". ", font roman,
        !           313: string Ts, center off, minimum.lines 1,
        !           314: store string.from.number Rs TB,
        !           315: contents table 1 Rs Ts)
        !           316: |environment(picture;
        !           317: verbatim on, file.information, minimum.lines 1, line.spacing 1, fill off, picture on;
        !           318: minimum.lines 1)
        !           319: |environment(picture_caption;
        !           320: divert.string Ts;
        !           321: incr FG, minimum.lines 1, center on, font bold,
        !           322: text "Figure ", number FG, text ". ", font roman,
        !           323: string Ts, center off, minimum.lines 1,
        !           324: store string.from.number Rs FG,
        !           325: contents figure 1 Rs Ts)
        !           326: |environment(ped;
        !           327: verbatim on, file.information, minimum.lines 1, line.spacing 1, ped on;
        !           328: minimum.lines 1)
        !           329: |environment(ped_caption;
        !           330: divert.string Ts;
        !           331: incr FG, minimum.lines 1, center on, font bold,
        !           332: text "Figure ", number FG, text ". ", font roman,
        !           333: string Ts, center off, minimum.lines 1,
        !           334: store string.from.number Rs FG,
        !           335: contents figure 1 Rs Ts)
        !           336: |environment(ideal;
        !           337: verbatim on, file.information, minimum.lines 1, line.spacing 1, ideal on;
        !           338: minimum.lines 1)
        !           339: |environment(ideal_caption;
        !           340: divert.string Ts;
        !           341: incr FG, minimum.lines 1, center on, font bold,
        !           342: text "Figure ", number FG, text ". ", font roman,
        !           343: string Ts, center off, minimum.lines 1,
        !           344: store string.from.number Rs FG,
        !           345: contents figure 1 Rs Ts)
        !           346: |environment(equation;
        !           347: verbatim on, file.information, minimum.lines 1, line.spacing 1,
        !           348: equation on;
        !           349: clear string ES, minimum.lines 1)
        !           350: |environment(equation_caption;
        !           351: divert.string Ts;
        !           352: incr FG, minimum.lines 1, center on, font bold,
        !           353: text "Figure ", number FG, text ". ", font roman,
        !           354: string Ts, center off, minimum.lines 1,
        !           355: store string.from.number Rs FG,
        !           356: contents figure 1 Rs Ts)
        !           357: |environment(equation_number;
        !           358: divert.string ES;
        !           359: store string Rs ES)
        !           360: |environment(e;
        !           361: |ifvalue verbatim off [
        !           362: concatenate, file.information,
        !           363: ]
        !           364: inline.equation on;)
        !           365: |environment(graph;
        !           366: verbatim on, file.information, minimum.lines 1, line.spacing 1, graph on;
        !           367: minimum.lines 1)
        !           368: |environment(graph_caption;
        !           369: divert.string Ts;
        !           370: incr FG, minimum.lines 1, center on, font bold,
        !           371: text "Figure ", number FG, text ". ", font roman,
        !           372: string Ts, center off, minimum.lines 1,
        !           373: store string.from.number Rs FG,
        !           374: contents figure 1 Rs Ts)
        !           375: |environment(bargraph;
        !           376: verbatim on, file.information, minimum.lines 1, line.spacing 1, bargraph on;
        !           377: minimum.lines 1)
        !           378: |environment(bargraph_caption;
        !           379: divert.string Ts;
        !           380: incr FG, minimum.lines 1, center on, font bold,
        !           381: text "Figure ", number FG, text ". ", font roman,
        !           382: string Ts, center off, minimum.lines 1,
        !           383: store string.from.number Rs FG,
        !           384: contents figure 1 Rs Ts)
        !           385: |environment(save;
        !           386: verbatim on, citation save on;
        !           387: citation save off string Rs)
        !           388: |environment(savepage;
        !           389: verbatim on, citation save on;
        !           390: citation save off number P)
        !           391: |associate(savestring;;;
        !           392: [$name $string;
        !           393: set string Ts $string,
        !           394: citation save string $name Ts;])
        !           395: |environment(remember;
        !           396: verbatim on, citation remember on;
        !           397: citation remember off)
        !           398: |environment(index;
        !           399: index on;)
        !           400: |environment(figure;
        !           401: verbatim on, file.information, minimum.lines 1, line.spacing 1, fill off;
        !           402: minimum.lines 1)
        !           403: |environment(figure_caption;
        !           404: divert.string Ts;
        !           405: incr FG, minimum.lines 1, center on, font bold,
        !           406: text "Figure ", number FG, text ". ", font roman,
        !           407: string Ts, center off, minimum.lines 1,
        !           408: store string.from.number Rs FG,
        !           409: contents figure 1 Rs Ts)
        !           410: |environment(computeroutput;
        !           411: verbatim on, file.information, minimum.lines 1, line.spacing 1,
        !           412: fill off, size -1, space -1, computeroutput on;
        !           413: SPACE, minimum.lines 1)
        !           414: |environment(computeroutput_caption;
        !           415: divert.string Ts;
        !           416: incr FG, minimum.lines 1, center on, font bold,
        !           417: text "Figure ", number FG, text ". ", font roman,
        !           418: string Ts, center off, minimum.lines 1,
        !           419: store string.from.number Rs FG,
        !           420: contents figure 1 Rs Ts)
        !           421: |environment(ipa;
        !           422: |ifvalue verbatim off [
        !           423: concatenate, file.information,
        !           424: ]
        !           425: ipa on;)
        !           426: |environment(chapter;
        !           427: new.page, spacing on, blank.lines 2i,
        !           428: incr CH,
        !           429: clear S0 S1 S2
        !           430: S3,
        !           431: set string Ts "Chapter ",
        !           432: add string.from.number Ts CH,
        !           433: inline off, size +10, font.family helvetica,
        !           434: tab.stops \nWuR,
        !           435: tab, string Ts,
        !           436: divert.string Ts;
        !           437: sectioning bychapter,
        !           438: inline off, size +4, font.family helvetica, blank.lines .25i,
        !           439: tab.stops \nWuR,
        !           440: font bold, tab, string Ts, new.line,
        !           441: font roman, font.family times, size -4, inline on,
        !           442: minimum.lines 1.25i, paragraph,
        !           443: store string.from.number Rs CH,
        !           444: contents section 1 Rs Ts)
        !           445: |environment(section;
        !           446: divert.string Ts;
        !           447: minimum.lines 2, protect, incr S0,
        !           448: clear S1 S2 S3,
        !           449: font bold,
        !           450: |ifvalue sectioning bychapter [
        !           451: number CH, text ".",
        !           452: ]
        !           453: |ifvalue sectioning byappendix [
        !           454: number AC, text ".",
        !           455: ]
        !           456: number S0,
        !           457: |ifvalue sectioning bysection [
        !           458: text ".",
        !           459: ]
        !           460: text " ", string Ts, font roman,
        !           461: paragraph,
        !           462: clear string Rs,
        !           463: |ifvalue sectioning bychapter [
        !           464: store string.from.number Rs CH,
        !           465: add string Rs ".",
        !           466: ]
        !           467: |ifvalue sectioning byappendix [
        !           468: store string.from.number Rs AC,
        !           469: add string Rs ".",
        !           470: ]
        !           471: add string.from.number Rs S0,
        !           472: |ifvalue sectioning bysection [
        !           473: contents section 1 Rs Ts,
        !           474: ]
        !           475: |ifvalue sectioning bychapter [
        !           476: contents section 2 Rs Ts,
        !           477: ]
        !           478: |ifvalue sectioning byappendix [
        !           479: contents section 2 Rs Ts,
        !           480: ])
        !           481: |environment(subsection;
        !           482: divert.string Ts;
        !           483: minimum.lines, protect, incr S1,
        !           484: clear S2 S3,
        !           485: font bold,
        !           486: |ifvalue sectioning bychapter [
        !           487: number CH, text ".",
        !           488: ]
        !           489: |ifvalue sectioning byappendix [
        !           490: number AC, text ".",
        !           491: ]
        !           492: number S0, text ".",
        !           493: number S1, text " ", string Ts, font roman,
        !           494: paragraph,
        !           495: clear string Rs,
        !           496: |ifvalue sectioning bychapter [
        !           497: store string.from.number Rs CH,
        !           498: add string Rs ".",
        !           499: ]
        !           500: |ifvalue sectioning byappendix [
        !           501: store string.from.number Rs AC,
        !           502: add string Rs ".",
        !           503: ]
        !           504: add string.from.number Rs S0,
        !           505: add string Rs ".",
        !           506: add string.from.number Rs S1,
        !           507: |ifvalue sectioning bysection [
        !           508: contents section 2 Rs Ts,
        !           509: ]
        !           510: |ifvalue sectioning bychapter [
        !           511: contents section 3 Rs Ts,
        !           512: ]
        !           513: |ifvalue sectioning byappendix [
        !           514: contents section 3 Rs Ts,
        !           515: ])
        !           516: |environment(subsubsection;
        !           517: divert.string Ts;
        !           518: minimum.lines, protect, incr S2,
        !           519: clear S3,
        !           520: font italics,
        !           521: |ifvalue sectioning bychapter [
        !           522: number CH, text ".",
        !           523: ]
        !           524: |ifvalue sectioning byappendix [
        !           525: number AC, text ".",
        !           526: ]
        !           527: number S0, text ".",
        !           528: number S1, text ".",
        !           529: number S2, text " ", string Ts, font roman,
        !           530: clear string Rs,
        !           531: |ifvalue sectioning bychapter [
        !           532: store string.from.number Rs CH,
        !           533: add string Rs ".",
        !           534: ]
        !           535: |ifvalue sectioning byappendix [
        !           536: store string.from.number Rs AC,
        !           537: add string Rs ".",
        !           538: ]
        !           539: add string.from.number Rs S0,
        !           540: add string Rs ".",
        !           541: add string.from.number Rs S1,
        !           542: add string Rs ".",
        !           543: add string.from.number Rs S2,
        !           544: |ifvalue sectioning bysection [
        !           545: contents section 3 Rs Ts,
        !           546: ]
        !           547: |ifvalue sectioning bychapter [
        !           548: contents section 4 Rs Ts,
        !           549: ]
        !           550: |ifvalue sectioning byappendix [
        !           551: contents section 4 Rs Ts,
        !           552: ])
        !           553: |associate(paragraph;
        !           554: minimum.lines;
        !           555: |ifvalue localparagraph.style indented [
        !           556: indent.line +3,
        !           557: ]
        !           558: |ifvalue localparagraph.style numbered [
        !           559: incr S3, number format S3 i,
        !           560: store string.from.number Ts S3,
        !           561: add string Ts ") ",
        !           562: string italics Ts,
        !           563: ]
        !           564: |ifvalue globalparagraph.style indented [
        !           565: localparagraph.style indented,
        !           566: ]
        !           567: |ifvalue globalparagraph.style numbered [
        !           568: localparagraph.style numbered,
        !           569: ]
        !           570: |ifvalue globalparagraph.style flushed [
        !           571: localparagraph.style flushed,
        !           572: ];
        !           573: [numbered;;
        !           574: localparagraph.style numbered]
        !           575: [n;;
        !           576: localparagraph.style numbered]
        !           577: [indented;;
        !           578: localparagraph.style indented]
        !           579: [i;;
        !           580: localparagraph.style indented]
        !           581: [flushed;;
        !           582: localparagraph.style flushed]
        !           583: [f;;
        !           584: localparagraph.style flushed])
        !           585: |associate(p;
        !           586: minimum.lines;
        !           587: |ifvalue localparagraph.style indented [
        !           588: indent.line +3,
        !           589: ]
        !           590: |ifvalue localparagraph.style numbered [
        !           591: incr S3, number format S3 i,
        !           592: store string.from.number Ts S3,
        !           593: add string Ts ") ",
        !           594: string italics Ts,
        !           595: ]
        !           596: |ifvalue globalparagraph.style indented [
        !           597: localparagraph.style indented,
        !           598: ]
        !           599: |ifvalue globalparagraph.style numbered [
        !           600: localparagraph.style numbered,
        !           601: ]
        !           602: |ifvalue globalparagraph.style flushed [
        !           603: localparagraph.style flushed,
        !           604: ];
        !           605: [numbered;;
        !           606: localparagraph.style numbered]
        !           607: [n;;
        !           608: localparagraph.style numbered]
        !           609: [indented;;
        !           610: localparagraph.style indented]
        !           611: [i;;
        !           612: localparagraph.style indented]
        !           613: [flushed;;
        !           614: localparagraph.style flushed]
        !           615: [f;;
        !           616: localparagraph.style flushed])
        !           617: |environment(appendix;
        !           618: new.page, spacing on, blank.lines 4,
        !           619: number format AC A, incr AC,
        !           620: clear S0 S1 S2
        !           621: S3,
        !           622: set string Rs "Appendix ",
        !           623: add string.from.number Rs AC,
        !           624: divert.string Ts;
        !           625: sectioning byappendix,
        !           626: center on, size +1, font bold,
        !           627: string Rs, blank.lines, string Ts,
        !           628: font roman, size -1, center off,
        !           629: minimum.lines 4, paragraph,
        !           630: store string.from.number Rs AC,
        !           631: contents section 1 Rs Ts)
        !           632: |environment(unnumbered_chapter;
        !           633: new.page, spacing on, blank.lines 2i,
        !           634: divert.string Ts;
        !           635: sectioning bychapter,
        !           636: inline off, size +4, font.family helvetica, blank.lines .25i,
        !           637: tab.stops \nWuR,
        !           638: font bold, tab, string Ts, new.line,
        !           639: font roman, font.family times, size -4, inline on,
        !           640: minimum.lines 1.25i, paragraph,
        !           641: clear string Rs,
        !           642: contents section 1 Rs Ts)
        !           643: |environment(unnumbered_section;
        !           644: divert.string Ts;
        !           645: minimum.lines 2, protect, font bold,
        !           646: string Ts, font roman,
        !           647: paragraph,
        !           648: clear string Rs,
        !           649: |ifvalue sectioning bysection [
        !           650: contents section 1 Rs Ts,
        !           651: ]
        !           652: |ifvalue sectioning bychapter [
        !           653: contents section 2 Rs Ts,
        !           654: ]
        !           655: |ifvalue sectioning byappendix [
        !           656: contents section 2 Rs Ts,
        !           657: ])
        !           658: |environment(unnumbered_subsection;
        !           659: divert.string Ts;
        !           660: minimum.lines, protect, font bold,
        !           661: string Ts, font roman,
        !           662: paragraph,
        !           663: clear string Rs,
        !           664: |ifvalue sectioning bysection [
        !           665: contents section 2 Rs Ts,
        !           666: ]
        !           667: |ifvalue sectioning bychapter [
        !           668: contents section 3 Rs Ts,
        !           669: ]
        !           670: |ifvalue sectioning byappendix [
        !           671: contents section 3 Rs Ts,
        !           672: ])
        !           673: |environment(unnumbered_subsubsection;
        !           674: divert.string Ts;
        !           675: minimum.lines, protect, font italics,
        !           676: string Ts, font roman,
        !           677: clear string Rs,
        !           678: |ifvalue sectioning bysection [
        !           679: contents section 3 Rs Ts,
        !           680: ]
        !           681: |ifvalue sectioning bychapter [
        !           682: contents section 4 Rs Ts,
        !           683: ]
        !           684: |ifvalue sectioning byappendix [
        !           685: contents section 4 Rs Ts,
        !           686: ])
        !           687: |environment(unnumbered_appendix;
        !           688: divert.string Ts;
        !           689: new.page, spacing on, blank.lines 4,
        !           690: sectioning byappendix,
        !           691: center on, size +1, font bold,
        !           692: string Ts,
        !           693: font roman, size -1, center off,
        !           694: minimum.lines 4, paragraph,
        !           695: store string.from.number Rs AC,
        !           696: contents section 1 Rs Ts)
        !           697: |associate(set_counter;;;
        !           698: [page $;;
        !           699: set P $]
        !           700: [chapter $;;
        !           701: set CH $]
        !           702: [section $;;
        !           703: set S0 $]
        !           704: [subsection $;;
        !           705: set S1 $]
        !           706: [subsubsection $;;
        !           707: set S2 $]
        !           708: [paragraph $;;
        !           709: set S3 $]
        !           710: [appendix $;;
        !           711: set AC $]
        !           712: [figure $;;
        !           713: set FG $]
        !           714: [table $;;
        !           715: set TB $]
        !           716: [footnote $;;
        !           717: set FN $]
        !           718: [note $;;
        !           719: set NN $])
        !           720: |associate(set_string;;;
        !           721: [page_headers $;;
        !           722: set string PH $]
        !           723: [even_headers $;;
        !           724: set string EH $]
        !           725: [odd_headers $;;
        !           726: set string OH $]
        !           727: [page_footers $;;
        !           728: set string PF $]
        !           729: [even_footers $;;
        !           730: set string EF $]
        !           731: [odd_footers $;;
        !           732: set string OF $])
        !           733: |associate(sp;;;
        !           734: [|;; text "|"]
        !           735: [|s;; text "|\^"]
        !           736: [\;; text "\e"]
        !           737: [.;; text "\."]
        !           738: [space;; text "\ "]
        !           739: [digit space;; text "\0"]
        !           740: [narrow space;; text "\|\&"]
        !           741: [half narrow space;; text "\^"]
        !           742: [zero width space;; text "\&"]
        !           743: [hyphenation;; text "\%"]
        !           744: [leader;; text "&"]
        !           745: [interrupt text processing;; text "\c"]
        !           746: [down;; text "\d"]
        !           747: [break and spread;; text "\p"]
        !           748: [reverse;; text "\r"]
        !           749: [tab;; text "\t"]
        !           750: [up;; text "\u"]
        !           751: [conceal new line;; text "\"]
        !           752: [close quote;; text "'"]
        !           753: [open quote;; text "`"]
        !           754: [Em dash;; text "\(em"]
        !           755: [hyphen or;; text "-"]
        !           756: [hyphen;; text "\(hy"]
        !           757: [minus;; text "\-"]
        !           758: [bullet;; text "\(bu"]
        !           759: [square;; text "\(sq"]
        !           760: [rule;; text "\(ru"]
        !           761: [quarter;; text "\(14"]
        !           762: [half;; text "\(12"]
        !           763: [3quarter;; text "\(34"]
        !           764: [fi;; text "\(fi"]
        !           765: [fl;; text "\(fl"]
        !           766: [ff;; text "\(ff"]
        !           767: [ffi;; text "\(Fi"]
        !           768: [ffl;; text "\(Fl"]
        !           769: [degree;; text "\(de"]
        !           770: [dagger;; text "\(dg"]
        !           771: [footmark;; text "\(fm"]
        !           772: [cent;; text "\(ct"]
        !           773: [registered;; text "\(rg"]
        !           774: [copyright;; text "\(co"]
        !           775: [=;; text "\(eq"]
        !           776: [+;; text "\(pl"]
        !           777: [-;; text "\(mi"]
        !           778: [*;; text "\(**"]
        !           779: [section;; text "\(sc"]
        !           780: [acute;; text "\(aa"]
        !           781: [grave;; text "\(ga"]
        !           782: [underrule;; text "\(ul"]
        !           783: [/;; text "\(sl"]
        !           784: [alpha;; text "\(*a"]
        !           785: [beta;; text "\(*b"]
        !           786: [gamma;; text "\(*g"]
        !           787: [delta;; text "\(*d"]
        !           788: [epsilon;; text "\(*e"]
        !           789: [zeta;; text "\(*z"]
        !           790: [eta;; text "\(*y"]
        !           791: [theta;; text "\(*h"]
        !           792: [iota;; text "\(*i"]
        !           793: [kappa;; text "\(*k"]
        !           794: [lambda;; text "\(*l"]
        !           795: [mu;; text "\(*m"]
        !           796: [nu;; text "\(*n"]
        !           797: [xi;; text "\(*c"]
        !           798: [omicron;; text "\(*o"]
        !           799: [pi;; text "\(*p"]
        !           800: [rho;; text "\(*r"]
        !           801: [sigma;; text "\(*s"]
        !           802: [terminal sigma;; text "\(ts"]
        !           803: [tau;; text "\(*t"]
        !           804: [upsilon;; text "\(*u"]
        !           805: [phi;; text "\(*f"]
        !           806: [chi;; text "\(*x"]
        !           807: [psi;; text "\(*q"]
        !           808: [omega;; text "\(*w"]
        !           809: [ALPHA;; text "\(*A"]
        !           810: [BETA;; text "\(*B"]
        !           811: [GAMMA;; text "\(*G"]
        !           812: [DELTA;; text "\(*D"]
        !           813: [EPSILON;; text "\(*E"]
        !           814: [ZETA;; text "\(*Z"]
        !           815: [ETA;; text "\(*Y"]
        !           816: [THETA;; text "\(*H"]
        !           817: [IOTA;; text "\(*I"]
        !           818: [KAPPA;; text "\(*K"]
        !           819: [LAMBDA;; text "\(*L"]
        !           820: [MU;; text "\(*M"]
        !           821: [NU;; text "\(*N"]
        !           822: [XI;; text "\(*C"]
        !           823: [OMICRON;; text "\(*O"]
        !           824: [PI;; text "\(*P"]
        !           825: [RHO;; text "\(*R"]
        !           826: [SIGMA;; text "\(*S"]
        !           827: [TAU;; text "\(*T"]
        !           828: [UPSILON;; text "\(*U"]
        !           829: [PHI;; text "\(*F"]
        !           830: [CHI;; text "\(*X"]
        !           831: [PSI;; text "\(*Q"]
        !           832: [OMEGA;; text "\(*W"]
        !           833: [>=;; text "\(>="]
        !           834: [<=;; text "\(<="]
        !           835: [==;; text "\(=="]
        !           836: [-wig;; text "\(~="]
        !           837: [wig;; text "\(ap"]
        !           838: [!=;; text "\(!="]
        !           839: [->;; text "\(->"]
        !           840: [<-;; text "\(<-"]
        !           841: [uarrow;; text "\(ua"]
        !           842: [darrow;; text "\(da"]
        !           843: [times;; text "\(mu"]
        !           844: [divide;; text "\(di"]
        !           845: [+-;; text "\(+-"]
        !           846: [cup;; text "\(cu"]
        !           847: [cap;; text "\(ca"]
        !           848: [subset;; text "\(sb"]
        !           849: [superset;; text "\(sp"]
        !           850: [isubset;; text "\(ib"]
        !           851: [isuperset;; text "\(ip"]
        !           852: [inf;; text "\(if"]
        !           853: [partial;; text "\(pd"]
        !           854: [del;; text "\(gr"]
        !           855: [not;; text "\(no"]
        !           856: [integral;; text "\(is"]
        !           857: [prop;; text "\(pt"]
        !           858: [empty;; text "\(es"]
        !           859: [member;; text "\(mo"]
        !           860: [box vertical rule;; text "\(br"]
        !           861: [double dagger;; text "\(dd"]
        !           862: [rhand;; text "\(rh"]
        !           863: [lhand;; text "\(lh"]
        !           864: [ATT logo;; text "\*(LO"]
        !           865: [or;; text "\(or"]
        !           866: [circle;; text "\(ci"]
        !           867: [bold vertical;; text "\(bv"]
        !           868: [lfloor;; text "\(lf"]
        !           869: [rfloor;; text "\(rf"]
        !           870: [lceil;; text "\(lc"]
        !           871: [rceil;; text "\(rc"]
        !           872: [lower case grave;; text "\*`"]
        !           873: [lower case acute;; text "\*'"]
        !           874: [upper case acute;; text "\*+"]
        !           875: [circumflex;; text "\*^"]
        !           876: [tilde;; text "\*~"]
        !           877: [cedilla;; text "\*,"]
        !           878: [lower case umlaut;; text "\*:"]
        !           879: [upper case umlaut;; text "\*;"]
        !           880: [nasal;; text "\*-"]
        !           881: [slashed;; text "\*/"]
        !           882: [TEX;; text "\s-1T\v'.17m'\h'-.12m'E\h'-.12m'\v'-.17m'X\s+1"]
        !           883: [LATEX;; text "\s-1L\h'-.12m'\v'-.17m'A\v'.17m'\h'-.12m'T\v'.17m'\h'-.12m'E\h'-.12m'\v'-.17m'X\s+1"]
        !           884: [TM;; text "\v'-0.5m'\s-4TM\s+4\v'0.5m'"])
        !           885: |associate(style;;;
        !           886: [one_column;;
        !           887: column off]
        !           888: [multi_column;;
        !           889: column on]
        !           890: [two_column;;
        !           891: column 2]
        !           892: [page_width $;;
        !           893: line.length $]
        !           894: [page_length $;;
        !           895: page.length $]
        !           896: [page_offset $;;
        !           897: page.offset $]
        !           898: [font_size 1;;
        !           899: inline off, size 1, inline on, space 3]
        !           900: [font_size 2;;
        !           901: inline off, size 2, inline on, space 4]
        !           902: [font_size 3;;
        !           903: inline off, size 3, inline on, space 5]
        !           904: [font_size 4;;
        !           905: inline off, size 4, inline on, space 6]
        !           906: [font_size 5;;
        !           907: inline off, size 5, inline on, space 7]
        !           908: [font_size 6;;
        !           909: inline off, size 6, inline on, space 8]
        !           910: [font_size 7;;
        !           911: inline off, size 7, inline on, space 9]
        !           912: [font_size 8;;
        !           913: inline off, size 8, inline on, space 10]
        !           914: [font_size 9;;
        !           915: inline off, size 9, inline on, space 11]
        !           916: [font_size 10;;
        !           917: inline off, size 10, inline on, space 12]
        !           918: [font_size 11;;
        !           919: inline off, size 11, inline on, space 13]
        !           920: [font_size 12;;
        !           921: inline off, size 12, inline on, space 14]
        !           922: [font_size 13;;
        !           923: inline off, size 13, inline on, space 15]
        !           924: [font_size 14;;
        !           925: inline off, size 14, inline on, space 16]
        !           926: [font_size 15;;
        !           927: inline off, size 15, inline on, space 17]
        !           928: [font_size 16;;
        !           929: inline off, size 16, inline on, space 18]
        !           930: [font_size 17;;
        !           931: inline off, size 17, inline on, space 19]
        !           932: [font_size 18;;
        !           933: inline off, size 18, inline on, space 20]
        !           934: [font_size 19;;
        !           935: inline off, size 19, inline on, space 21]
        !           936: [font_size 20;;
        !           937: inline off, size 20, inline on, space 22]
        !           938: [font_size 21;;
        !           939: inline off, size 21, inline on, space 23]
        !           940: [font_size 22;;
        !           941: inline off, size 22, inline on, space 24]
        !           942: [font_size 23;;
        !           943: inline off, size 23, inline on, space 25]
        !           944: [font_size 24;;
        !           945: inline off, size 24, inline on, space 26]
        !           946: [font_size 25;;
        !           947: inline off, size 25, inline on, space 27]
        !           948: [font_size 26;;
        !           949: inline off, size 26, inline on, space 28]
        !           950: [font_size 27;;
        !           951: inline off, size 27, inline on, space 29]
        !           952: [font_size 28;;
        !           953: inline off, size 28, inline on, space 30]
        !           954: [font_size 29;;
        !           955: inline off, size 29, inline on, space 31]
        !           956: [font_size 30;;
        !           957: inline off, size 30, inline on, space 32]
        !           958: [font_size 31;;
        !           959: inline off, size 31, inline on, space 33]
        !           960: [font_size 32;;
        !           961: inline off, size 32, inline on, space 34]
        !           962: [font_size 33;;
        !           963: inline off, size 33, inline on, space 35]
        !           964: [font_size 34;;
        !           965: inline off, size 34, inline on, space 36]
        !           966: [font_size 35;;
        !           967: inline off, size 35, inline on, space 37]
        !           968: [font_size 36;;
        !           969: inline off, size 36, inline on, space 38]
        !           970: [font_size 1 1;;
        !           971: inline off, size 1, inline on, space 1]
        !           972: [font_size 2 2;;
        !           973: inline off, size 2, inline on, space 2]
        !           974: [font_size 3 3;;
        !           975: inline off, size 3, inline on, space 3]
        !           976: [font_size 4 4;;
        !           977: inline off, size 4, inline on, space 4]
        !           978: [font_size 5 5;;
        !           979: inline off, size 5, inline on, space 5]
        !           980: [font_size 6 6;;
        !           981: inline off, size 6, inline on, space 6]
        !           982: [font_size 7 7;;
        !           983: inline off, size 7, inline on, space 7]
        !           984: [font_size 8 8;;
        !           985: inline off, size 8, inline on, space 8]
        !           986: [font_size 9 9;;
        !           987: inline off, size 9, inline on, space 9]
        !           988: [font_size 10 10;;
        !           989: inline off, size 10, inline on, space 10]
        !           990: [font_size 11 11;;
        !           991: inline off, size 11, inline on, space 11]
        !           992: [font_size 12 12;;
        !           993: inline off, size 12, inline on, space 12]
        !           994: [font_size 13 13;;
        !           995: inline off, size 13, inline on, space 13]
        !           996: [font_size 14 14;;
        !           997: inline off, size 14, inline on, space 14]
        !           998: [font_size 15 15;;
        !           999: inline off, size 15, inline on, space 15]
        !          1000: [font_size 16 16;;
        !          1001: inline off, size 16, inline on, space 16]
        !          1002: [font_size 17 17;;
        !          1003: inline off, size 17, inline on, space 17]
        !          1004: [font_size 18 18;;
        !          1005: inline off, size 18, inline on, space 18]
        !          1006: [font_size 19 19;;
        !          1007: inline off, size 19, inline on, space 19]
        !          1008: [font_size 20 20;;
        !          1009: inline off, size 20, inline on, space 20]
        !          1010: [font_size 21 21;;
        !          1011: inline off, size 21, inline on, space 21]
        !          1012: [font_size 22 22;;
        !          1013: inline off, size 22, inline on, space 22]
        !          1014: [font_size 23 23;;
        !          1015: inline off, size 23, inline on, space 23]
        !          1016: [font_size 24 24;;
        !          1017: inline off, size 24, inline on, space 24]
        !          1018: [font_size 25 25;;
        !          1019: inline off, size 25, inline on, space 25]
        !          1020: [font_size 26 26;;
        !          1021: inline off, size 26, inline on, space 26]
        !          1022: [font_size 27 27;;
        !          1023: inline off, size 27, inline on, space 27]
        !          1024: [font_size 28 28;;
        !          1025: inline off, size 28, inline on, space 28]
        !          1026: [font_size 29 29;;
        !          1027: inline off, size 29, inline on, space 29]
        !          1028: [font_size 30 30;;
        !          1029: inline off, size 30, inline on, space 30]
        !          1030: [font_size 31 31;;
        !          1031: inline off, size 31, inline on, space 31]
        !          1032: [font_size 32 32;;
        !          1033: inline off, size 32, inline on, space 32]
        !          1034: [font_size 33 33;;
        !          1035: inline off, size 33, inline on, space 33]
        !          1036: [font_size 34 34;;
        !          1037: inline off, size 34, inline on, space 34]
        !          1038: [font_size 35 35;;
        !          1039: inline off, size 35, inline on, space 35]
        !          1040: [font_size 36 36;;
        !          1041: inline off, size 36, inline on, space 36]
        !          1042: [font_size 1 2;;
        !          1043: inline off, size 1, inline on, space 2]
        !          1044: [font_size 2 3;;
        !          1045: inline off, size 2, inline on, space 3]
        !          1046: [font_size 3 4;;
        !          1047: inline off, size 3, inline on, space 4]
        !          1048: [font_size 4 5;;
        !          1049: inline off, size 4, inline on, space 5]
        !          1050: [font_size 5 6;;
        !          1051: inline off, size 5, inline on, space 6]
        !          1052: [font_size 6 7;;
        !          1053: inline off, size 6, inline on, space 7]
        !          1054: [font_size 7 8;;
        !          1055: inline off, size 7, inline on, space 8]
        !          1056: [font_size 8 9;;
        !          1057: inline off, size 8, inline on, space 9]
        !          1058: [font_size 9 10;;
        !          1059: inline off, size 9, inline on, space 10]
        !          1060: [font_size 10 11;;
        !          1061: inline off, size 10, inline on, space 11]
        !          1062: [font_size 11 12;;
        !          1063: inline off, size 11, inline on, space 12]
        !          1064: [font_size 12 13;;
        !          1065: inline off, size 12, inline on, space 13]
        !          1066: [font_size 13 14;;
        !          1067: inline off, size 13, inline on, space 14]
        !          1068: [font_size 14 15;;
        !          1069: inline off, size 14, inline on, space 15]
        !          1070: [font_size 15 16;;
        !          1071: inline off, size 15, inline on, space 16]
        !          1072: [font_size 16 17;;
        !          1073: inline off, size 16, inline on, space 17]
        !          1074: [font_size 17 18;;
        !          1075: inline off, size 17, inline on, space 18]
        !          1076: [font_size 18 19;;
        !          1077: inline off, size 18, inline on, space 19]
        !          1078: [font_size 19 20;;
        !          1079: inline off, size 19, inline on, space 20]
        !          1080: [font_size 20 21;;
        !          1081: inline off, size 20, inline on, space 21]
        !          1082: [font_size 21 22;;
        !          1083: inline off, size 21, inline on, space 22]
        !          1084: [font_size 22 23;;
        !          1085: inline off, size 22, inline on, space 23]
        !          1086: [font_size 23 24;;
        !          1087: inline off, size 23, inline on, space 24]
        !          1088: [font_size 24 25;;
        !          1089: inline off, size 24, inline on, space 25]
        !          1090: [font_size 25 26;;
        !          1091: inline off, size 25, inline on, space 26]
        !          1092: [font_size 26 27;;
        !          1093: inline off, size 26, inline on, space 27]
        !          1094: [font_size 27 28;;
        !          1095: inline off, size 27, inline on, space 28]
        !          1096: [font_size 28 29;;
        !          1097: inline off, size 28, inline on, space 29]
        !          1098: [font_size 29 30;;
        !          1099: inline off, size 29, inline on, space 30]
        !          1100: [font_size 30 31;;
        !          1101: inline off, size 30, inline on, space 31]
        !          1102: [font_size 31 32;;
        !          1103: inline off, size 31, inline on, space 32]
        !          1104: [font_size 32 33;;
        !          1105: inline off, size 32, inline on, space 33]
        !          1106: [font_size 33 34;;
        !          1107: inline off, size 33, inline on, space 34]
        !          1108: [font_size 34 35;;
        !          1109: inline off, size 34, inline on, space 35]
        !          1110: [font_size 35 36;;
        !          1111: inline off, size 35, inline on, space 36]
        !          1112: [font_size 36 37;;
        !          1113: inline off, size 36, inline on, space 37]
        !          1114: [font_size 1 3;;
        !          1115: inline off, size 1, inline on, space 3]
        !          1116: [font_size 2 4;;
        !          1117: inline off, size 2, inline on, space 4]
        !          1118: [font_size 3 5;;
        !          1119: inline off, size 3, inline on, space 5]
        !          1120: [font_size 4 6;;
        !          1121: inline off, size 4, inline on, space 6]
        !          1122: [font_size 5 7;;
        !          1123: inline off, size 5, inline on, space 7]
        !          1124: [font_size 6 8;;
        !          1125: inline off, size 6, inline on, space 8]
        !          1126: [font_size 7 9;;
        !          1127: inline off, size 7, inline on, space 9]
        !          1128: [font_size 8 10;;
        !          1129: inline off, size 8, inline on, space 10]
        !          1130: [font_size 9 11;;
        !          1131: inline off, size 9, inline on, space 11]
        !          1132: [font_size 10 12;;
        !          1133: inline off, size 10, inline on, space 12]
        !          1134: [font_size 11 13;;
        !          1135: inline off, size 11, inline on, space 13]
        !          1136: [font_size 12 14;;
        !          1137: inline off, size 12, inline on, space 14]
        !          1138: [font_size 13 15;;
        !          1139: inline off, size 13, inline on, space 15]
        !          1140: [font_size 14 16;;
        !          1141: inline off, size 14, inline on, space 16]
        !          1142: [font_size 15 17;;
        !          1143: inline off, size 15, inline on, space 17]
        !          1144: [font_size 16 18;;
        !          1145: inline off, size 16, inline on, space 18]
        !          1146: [font_size 17 19;;
        !          1147: inline off, size 17, inline on, space 19]
        !          1148: [font_size 18 20;;
        !          1149: inline off, size 18, inline on, space 20]
        !          1150: [font_size 19 21;;
        !          1151: inline off, size 19, inline on, space 21]
        !          1152: [font_size 20 22;;
        !          1153: inline off, size 20, inline on, space 22]
        !          1154: [font_size 21 23;;
        !          1155: inline off, size 21, inline on, space 23]
        !          1156: [font_size 22 24;;
        !          1157: inline off, size 22, inline on, space 24]
        !          1158: [font_size 23 25;;
        !          1159: inline off, size 23, inline on, space 25]
        !          1160: [font_size 24 26;;
        !          1161: inline off, size 24, inline on, space 26]
        !          1162: [font_size 25 27;;
        !          1163: inline off, size 25, inline on, space 27]
        !          1164: [font_size 26 28;;
        !          1165: inline off, size 26, inline on, space 28]
        !          1166: [font_size 27 29;;
        !          1167: inline off, size 27, inline on, space 29]
        !          1168: [font_size 28 30;;
        !          1169: inline off, size 28, inline on, space 30]
        !          1170: [font_size 29 31;;
        !          1171: inline off, size 29, inline on, space 31]
        !          1172: [font_size 30 32;;
        !          1173: inline off, size 30, inline on, space 32]
        !          1174: [font_size 31 33;;
        !          1175: inline off, size 31, inline on, space 33]
        !          1176: [font_size 32 34;;
        !          1177: inline off, size 32, inline on, space 34]
        !          1178: [font_size 33 35;;
        !          1179: inline off, size 33, inline on, space 35]
        !          1180: [font_size 34 36;;
        !          1181: inline off, size 34, inline on, space 36]
        !          1182: [font_size 35 37;;
        !          1183: inline off, size 35, inline on, space 37]
        !          1184: [font_size 36 38;;
        !          1185: inline off, size 36, inline on, space 38]
        !          1186: [font_family times;;
        !          1187: font.family times]
        !          1188: [font_family palatino;;
        !          1189: font.family palatino]
        !          1190: [font_family bembo;;
        !          1191: font.family bembo]
        !          1192: [font_family optima;;
        !          1193: font.family optima]
        !          1194: [font_family souvenir;;
        !          1195: font.family souvenir]
        !          1196: [font_family helvetica;;
        !          1197: font.family helvetica]
        !          1198: [font_family cw;;
        !          1199: font.family cw]
        !          1200: [font_family gothic;;
        !          1201: font.family gothic]
        !          1202: [font_family condensed;;
        !          1203: font.family condensed]
        !          1204: [font_family narrow;;
        !          1205: font.family narrow]
        !          1206: [triple_space;;
        !          1207: line.spacing 3]
        !          1208: [double_space;;
        !          1209: line.spacing 2]
        !          1210: [1_5_space;;
        !          1211: line.spacing 1.5]
        !          1212: [single_space;;
        !          1213: line.spacing 1]
        !          1214: [paragraph_style indented;;
        !          1215: globalparagraph.style indented, localparagraph.style indented]
        !          1216: [paragraph_style numbered;;
        !          1217: globalparagraph.style numbered, localparagraph.style numbered]
        !          1218: [paragraph_style flushed;;
        !          1219: globalparagraph.style flushed, localparagraph.style flushed]
        !          1220: [list_spacing on;;
        !          1221: list.spacing on]
        !          1222: [list_spacing off;;
        !          1223: list.spacing off]
        !          1224: [reference acm;;
        !          1225: reference.style acm]
        !          1226: [reference apa;;
        !          1227: reference.style apa]
        !          1228: [reference att;;
        !          1229: reference.style att]
        !          1230: [reference ieee;;
        !          1231: reference.style ieee]
        !          1232: [reference lsa;;
        !          1233: reference.style lsa]
        !          1234: [reference pami;;
        !          1235: reference.style pami]
        !          1236: [reference spectrum;;
        !          1237: reference.style spectrum]
        !          1238: [reference_option tm;;
        !          1239: reference.option tm]
        !          1240: [reference_option rp;;
        !          1241: reference.option rp]
        !          1242: [reference_option nroff;;
        !          1243: reference.option nroff]
        !          1244: [reference_option troff;;
        !          1245: reference.option troff]
        !          1246: [reference_option sort;;
        !          1247: reference.option sort]
        !          1248: [reference_option sequence;;
        !          1249: reference.option sequence]
        !          1250: [reference_option a;;
        !          1251: reference.option a]
        !          1252: [reference_option d;;
        !          1253: reference.option d]
        !          1254: [reference_option t;;
        !          1255: reference.option t]
        !          1256: [reference_option ad;;
        !          1257: reference.option ad]
        !          1258: [reference_option at;;
        !          1259: reference.option at]
        !          1260: [reference_option da;;
        !          1261: reference.option da]
        !          1262: [reference_option dt;;
        !          1263: reference.option dt]
        !          1264: [reference_option ta;;
        !          1265: reference.option ta]
        !          1266: [reference_option td;;
        !          1267: reference.option td]
        !          1268: [reference_option adt;;
        !          1269: reference.option adt]
        !          1270: [reference_option atd;;
        !          1271: reference.option atd]
        !          1272: [reference_option dat;;
        !          1273: reference.option dat]
        !          1274: [reference_option dta;;
        !          1275: reference.option dta]
        !          1276: [reference_option tad;;
        !          1277: reference.option tad]
        !          1278: [reference_option tda;;
        !          1279: reference.option tda]
        !          1280: [page_number roman;;
        !          1281: number format P i]
        !          1282: [page_number arabic;;
        !          1283: number format P 1])
        !          1284: |environment(tc_placement;
        !          1285: minimum.lines;)
        !          1286: |environment(tc_heading;
        !          1287: new.page, tab.stops \nWuR,
        !          1288: divert.string Ts;
        !          1289: inline off, size +1, center on,
        !          1290: font bold, string Ts, font roman,
        !          1291: center off, size -1, inline on,
        !          1292: minimum.lines,
        !          1293: clear string Rs,
        !          1294: contents section 1 Rs Ts)
        !          1295: |associate(tc_entry;;;
        !          1296: [0 $sequence $text $page;
        !          1297: minimum.lines, font bold,
        !          1298: text $text, tab, text $page;]
        !          1299: [1 $sequence $text $page;
        !          1300: minimum.lines, font bold, text $sequence,
        !          1301: horizontal.motion "|0.3i", text $text, tab, text $page;]
        !          1302: [2 $sequence $text $page;
        !          1303: minimum.lines 0,
        !          1304: horizontal.motion "|0.3i", text $sequence,
        !          1305: horizontal.motion "|0.6i", text $text, tab, text $page;]
        !          1306: [3 $sequence $text $page;
        !          1307: minimum.lines 0,
        !          1308: horizontal.motion "|0.6i", text $sequence,
        !          1309: horizontal.motion "|0.9i", text $text, tab, text $page;])
        !          1310: |associate(:common_newline_whitespace;;;
        !          1311: [$white;
        !          1312: white.text $white;])
        !          1313: |environment(:common_blankline;
        !          1314: nl.paragraph;)
        !          1315: |environment(:common;
        !          1316: file.information,
        !          1317: clear AC S0 S1
        !          1318: S2 FN TB
        !          1319: FG RF,
        !          1320: number incr FN 1,
        !          1321: number incr NN 1,
        !          1322: if t, page.offset 1.0i;)
        !          1323: |environment(:common_newfile;
        !          1324: |ifvalue verbatim off [
        !          1325: file.information,
        !          1326: ];
        !          1327: |ifvalue verbatim off [
        !          1328: file.information,
        !          1329: ])
        !          1330: |environment(:common_save;
        !          1331: ;)
        !          1332: |environment(:common_restore;
        !          1333: ;)

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.