|associate(style;;;

	[one_column;;
		column off]
	[multi_column;;
		column on]
	[two_column;;
		column 2]
	[page_width $;;
		line.length $]
	[page_length $;;
		page.length $]
	[page_offset $;;
		page.offset $]
	[font_size 1;;
		inline off, size 1, inline on, space 3]
	[font_size 2;;
		inline off, size 2, inline on, space 4]
	[font_size 3;;
		inline off, size 3, inline on, space 5]
	[font_size 4;;
		inline off, size 4, inline on, space 6]
	[font_size 5;;
		inline off, size 5, inline on, space 7]
	[font_size 6;;
		inline off, size 6, inline on, space 8]
	[font_size 7;;
		inline off, size 7, inline on, space 9]
	[font_size 8;;
		inline off, size 8, inline on, space 10]
	[font_size 9;;
		inline off, size 9, inline on, space 11]
	[font_size 10;;
		inline off, size 10, inline on, space 12]
	[font_size 11;;
		inline off, size 11, inline on, space 13]
	[font_size 12;;
		inline off, size 12, inline on, space 14]
	[font_size 13;;
		inline off, size 13, inline on, space 15]
	[font_size 14;;
		inline off, size 14, inline on, space 16]
	[font_size 15;;
		inline off, size 15, inline on, space 17]
	[font_size 16;;
		inline off, size 16, inline on, space 18]
	[font_size 17;;
		inline off, size 17, inline on, space 19]
	[font_size 18;;
		inline off, size 18, inline on, space 20]
	[font_size 19;;
		inline off, size 19, inline on, space 21]
	[font_size 20;;
		inline off, size 20, inline on, space 22]
	[font_size 21;;
		inline off, size 21, inline on, space 23]
	[font_size 22;;
		inline off, size 22, inline on, space 24]
	[font_size 23;;
		inline off, size 23, inline on, space 25]
	[font_size 24;;
		inline off, size 24, inline on, space 26]
	[font_size 25;;
		inline off, size 25, inline on, space 27]
	[font_size 26;;
		inline off, size 26, inline on, space 28]
	[font_size 27;;
		inline off, size 27, inline on, space 29]
	[font_size 28;;
		inline off, size 28, inline on, space 30]
	[font_size 29;;
		inline off, size 29, inline on, space 31]
	[font_size 30;;
		inline off, size 30, inline on, space 32]
	[font_size 31;;
		inline off, size 31, inline on, space 33]
	[font_size 32;;
		inline off, size 32, inline on, space 34]
	[font_size 33;;
		inline off, size 33, inline on, space 35]
	[font_size 34;;
		inline off, size 34, inline on, space 36]
	[font_size 35;;
		inline off, size 35, inline on, space 37]
	[font_size 36;;
		inline off, size 36, inline on, space 38]
	[font_size 1 1;;
		inline off, size 1, inline on, space 1]
	[font_size 2 2;;
		inline off, size 2, inline on, space 2]
	[font_size 3 3;;
		inline off, size 3, inline on, space 3]
	[font_size 4 4;;
		inline off, size 4, inline on, space 4]
	[font_size 5 5;;
		inline off, size 5, inline on, space 5]
	[font_size 6 6;;
		inline off, size 6, inline on, space 6]
	[font_size 7 7;;
		inline off, size 7, inline on, space 7]
	[font_size 8 8;;
		inline off, size 8, inline on, space 8]
	[font_size 9 9;;
		inline off, size 9, inline on, space 9]
	[font_size 10 10;;
		inline off, size 10, inline on, space 10]
	[font_size 11 11;;
		inline off, size 11, inline on, space 11]
	[font_size 12 12;;
		inline off, size 12, inline on, space 12]
	[font_size 13 13;;
		inline off, size 13, inline on, space 13]
	[font_size 14 14;;
		inline off, size 14, inline on, space 14]
	[font_size 15 15;;
		inline off, size 15, inline on, space 15]
	[font_size 16 16;;
		inline off, size 16, inline on, space 16]
	[font_size 17 17;;
		inline off, size 17, inline on, space 17]
	[font_size 18 18;;
		inline off, size 18, inline on, space 18]
	[font_size 19 19;;
		inline off, size 19, inline on, space 19]
	[font_size 20 20;;
		inline off, size 20, inline on, space 20]
	[font_size 21 21;;
		inline off, size 21, inline on, space 21]
	[font_size 22 22;;
		inline off, size 22, inline on, space 22]
	[font_size 23 23;;
		inline off, size 23, inline on, space 23]
	[font_size 24 24;;
		inline off, size 24, inline on, space 24]
	[font_size 25 25;;
		inline off, size 25, inline on, space 25]
	[font_size 26 26;;
		inline off, size 26, inline on, space 26]
	[font_size 27 27;;
		inline off, size 27, inline on, space 27]
	[font_size 28 28;;
		inline off, size 28, inline on, space 28]
	[font_size 29 29;;
		inline off, size 29, inline on, space 29]
	[font_size 30 30;;
		inline off, size 30, inline on, space 30]
	[font_size 31 31;;
		inline off, size 31, inline on, space 31]
	[font_size 32 32;;
		inline off, size 32, inline on, space 32]
	[font_size 33 33;;
		inline off, size 33, inline on, space 33]
	[font_size 34 34;;
		inline off, size 34, inline on, space 34]
	[font_size 35 35;;
		inline off, size 35, inline on, space 35]
	[font_size 36 36;;
		inline off, size 36, inline on, space 36]
	[font_size 1 2;;
		inline off, size 1, inline on, space 2]
	[font_size 2 3;;
		inline off, size 2, inline on, space 3]
	[font_size 3 4;;
		inline off, size 3, inline on, space 4]
	[font_size 4 5;;
		inline off, size 4, inline on, space 5]
	[font_size 5 6;;
		inline off, size 5, inline on, space 6]
	[font_size 6 7;;
		inline off, size 6, inline on, space 7]
	[font_size 7 8;;
		inline off, size 7, inline on, space 8]
	[font_size 8 9;;
		inline off, size 8, inline on, space 9]
	[font_size 9 10;;
		inline off, size 9, inline on, space 10]
	[font_size 10 11;;
		inline off, size 10, inline on, space 11]
	[font_size 11 12;;
		inline off, size 11, inline on, space 12]
	[font_size 12 13;;
		inline off, size 12, inline on, space 13]
	[font_size 13 14;;
		inline off, size 13, inline on, space 14]
	[font_size 14 15;;
		inline off, size 14, inline on, space 15]
	[font_size 15 16;;
		inline off, size 15, inline on, space 16]
	[font_size 16 17;;
		inline off, size 16, inline on, space 17]
	[font_size 17 18;;
		inline off, size 17, inline on, space 18]
	[font_size 18 19;;
		inline off, size 18, inline on, space 19]
	[font_size 19 20;;
		inline off, size 19, inline on, space 20]
	[font_size 20 21;;
		inline off, size 20, inline on, space 21]
	[font_size 21 22;;
		inline off, size 21, inline on, space 22]
	[font_size 22 23;;
		inline off, size 22, inline on, space 23]
	[font_size 23 24;;
		inline off, size 23, inline on, space 24]
	[font_size 24 25;;
		inline off, size 24, inline on, space 25]
	[font_size 25 26;;
		inline off, size 25, inline on, space 26]
	[font_size 26 27;;
		inline off, size 26, inline on, space 27]
	[font_size 27 28;;
		inline off, size 27, inline on, space 28]
	[font_size 28 29;;
		inline off, size 28, inline on, space 29]
	[font_size 29 30;;
		inline off, size 29, inline on, space 30]
	[font_size 30 31;;
		inline off, size 30, inline on, space 31]
	[font_size 31 32;;
		inline off, size 31, inline on, space 32]
	[font_size 32 33;;
		inline off, size 32, inline on, space 33]
	[font_size 33 34;;
		inline off, size 33, inline on, space 34]
	[font_size 34 35;;
		inline off, size 34, inline on, space 35]
	[font_size 35 36;;
		inline off, size 35, inline on, space 36]
	[font_size 36 37;;
		inline off, size 36, inline on, space 37]
	[font_size 1 3;;
		inline off, size 1, inline on, space 3]
	[font_size 2 4;;
		inline off, size 2, inline on, space 4]
	[font_size 3 5;;
		inline off, size 3, inline on, space 5]
	[font_size 4 6;;
		inline off, size 4, inline on, space 6]
	[font_size 5 7;;
		inline off, size 5, inline on, space 7]
	[font_size 6 8;;
		inline off, size 6, inline on, space 8]
	[font_size 7 9;;
		inline off, size 7, inline on, space 9]
	[font_size 8 10;;
		inline off, size 8, inline on, space 10]
	[font_size 9 11;;
		inline off, size 9, inline on, space 11]
	[font_size 10 12;;
		inline off, size 10, inline on, space 12]
	[font_size 11 13;;
		inline off, size 11, inline on, space 13]
	[font_size 12 14;;
		inline off, size 12, inline on, space 14]
	[font_size 13 15;;
		inline off, size 13, inline on, space 15]
	[font_size 14 16;;
		inline off, size 14, inline on, space 16]
	[font_size 15 17;;
		inline off, size 15, inline on, space 17]
	[font_size 16 18;;
		inline off, size 16, inline on, space 18]
	[font_size 17 19;;
		inline off, size 17, inline on, space 19]
	[font_size 18 20;;
		inline off, size 18, inline on, space 20]
	[font_size 19 21;;
		inline off, size 19, inline on, space 21]
	[font_size 20 22;;
		inline off, size 20, inline on, space 22]
	[font_size 21 23;;
		inline off, size 21, inline on, space 23]
	[font_size 22 24;;
		inline off, size 22, inline on, space 24]
	[font_size 23 25;;
		inline off, size 23, inline on, space 25]
	[font_size 24 26;;
		inline off, size 24, inline on, space 26]
	[font_size 25 27;;
		inline off, size 25, inline on, space 27]
	[font_size 26 28;;
		inline off, size 26, inline on, space 28]
	[font_size 27 29;;
		inline off, size 27, inline on, space 29]
	[font_size 28 30;;
		inline off, size 28, inline on, space 30]
	[font_size 29 31;;
		inline off, size 29, inline on, space 31]
	[font_size 30 32;;
		inline off, size 30, inline on, space 32]
	[font_size 31 33;;
		inline off, size 31, inline on, space 33]
	[font_size 32 34;;
		inline off, size 32, inline on, space 34]
	[font_size 33 35;;
		inline off, size 33, inline on, space 35]
	[font_size 34 36;;
		inline off, size 34, inline on, space 36]
	[font_size 35 37;;
		inline off, size 35, inline on, space 37]
	[font_size 36 38;;
		inline off, size 36, inline on, space 38]
	[font_family times;;
		font.family times]
	[font_family palatino;;
		font.family palatino]
	[font_family bembo;;
		font.family bembo]
	[font_family optima;;
		font.family optima]
	[font_family souvenir;;
		font.family souvenir]
	[font_family helvetica;;
		font.family helvetica]
	[font_family cw;;
		font.family cw]
	[font_family gothic;;
		font.family gothic]
	[font_family condensed;;
		font.family condensed]
	[font_family narrow;;
		font.family narrow]
	[triple_space;;
		line.spacing 3]
	[double_space;;
		line.spacing 2]
	[1_5_space;;
		line.spacing 1.5]
	[single_space;;
		line.spacing 1]
	[paragraph_style indented;;
		globalparagraph.style indented, localparagraph.style indented]
	[paragraph_style numbered;;
		globalparagraph.style numbered, localparagraph.style numbered]
	[paragraph_style flushed;;
		globalparagraph.style flushed, localparagraph.style flushed]
	[list_spacing on;;
		list.spacing on]
	[list_spacing off;;
		list.spacing off]
	[reference acm;;
		reference.style acm]
	[reference apa;;
		reference.style apa]
	[reference att;;
		reference.style att]
	[reference ieee;;
		reference.style ieee]
	[reference lsa;;
		reference.style lsa]
	[reference pami;;
		reference.style pami]
	[reference spectrum;;
		reference.style spectrum]
	[reference_option tm;;
		reference.option tm]
	[reference_option rp;;
		reference.option rp]
	[reference_option nroff;;
		reference.option nroff]
	[reference_option troff;;
		reference.option troff]
	[reference_option sort;;
		reference.option sort]
	[reference_option sequence;;
		reference.option sequence]
	[reference_option a;;
		reference.option a]
	[reference_option d;;
		reference.option d]
	[reference_option t;;
		reference.option t]
	[reference_option ad;;
		reference.option ad]
	[reference_option at;;
		reference.option at]
	[reference_option da;;
		reference.option da]
	[reference_option dt;;
		reference.option dt]
	[reference_option ta;;
		reference.option ta]
	[reference_option td;;
		reference.option td]
	[reference_option adt;;
		reference.option adt]
	[reference_option atd;;
		reference.option atd]
	[reference_option dat;;
		reference.option dat]
	[reference_option dta;;
		reference.option dta]
	[reference_option tad;;
		reference.option tad]
	[reference_option tda;;
		reference.option tda]
	[page_number roman;;
		number format page_counter i]
	[page_number arabic;;
		number format page_counter 1])
	|comment<summary: style one_column (full page output)>
	|comment<summary: style two_column (two columns per page)>
	|comment<summary: style multi_column (multiple columns per page)>
	|comment<summary: style page_width (width of the printed page)>
	|comment<summary: style page_length (length of the printed page)>
	|comment<summary: style page_offset (offset of the printed page)>
	|comment<summary: style font_size (font_size font_spacing)>
	|comment<summary: style font_family (times, palatino, bembo, optima, souvenir, helvetica, cw, gothic, condensed, narrow)>
	|comment<summary: style triple_space (triple space)>
	|comment<summary: style double_space (double space)>
	|comment<summary: style 1_5_space (1 and a half space)>
	|comment<summary: style single_space (single space)>
	|comment<summary: style paragraph_style (indented, numbered, flushed)>
	|comment<summary: style list_spacing (on, off)>
	|comment<summary: style reference (acm, apa, att, ieee, lsa, pami, spectrum)>
	|comment<summary: style reference_option (tm, rp, nroff, troff, sort, sequence, a, d, t, ad, at, da, dt, ta, td, adt, atd, dat, dta, tad, tda)>
	|comment<summary: style page_number (arabic, roman)>
