/*********************************************************************
/ MML detail (7) part D
/*********************************************************************
.next
#define 	A	r8g+&a12>e&f12
#define 	B	r8e&f12>c+&d12
	t112o6v7l8	d4r d4{rc}
		o5v7l8	f4r f4r
		o5v7l8	d4r d4{rc}
		o3v7l24 $A	r8c+&d12g+&a12
		o3v7l24 $B	< $A
		o3v7l8	d4r d4r
		o2v7l8	a4r a4r
		o2v7l8	d4r d4r
.next
#define 	C	r8a&b-12>f+&g12
#define 	D	r8f+&g12>d+&e12
	<b-4r	b-4{rb-}
	e4r 	e4r
	<b-4r	b-4{rb-}
	< $C	< $C
	< $D	< $D
	d4r 	d4r
	g4r 	g4r
	d4r 	d4r
.next
#define 	E	r8d+&e12>c&c+12
	a4{ra}	>e4{<rg}
	e4r 	g4r
	a4{ra}	>e4{<rg}
	< $D	< $D
	< $E	< $E
	c+4r	<a4r
	r2r4
	c+4r	<a4r
.next
	f4{ra}	d4r
	<a4r	f4r
	f4{ra}	d4r
	< $A	< $A
	< $B	< $B
	>d4r	d4r
	r4r 	a4r
	>d4r	d4r
.next
	>c4r			c4{<rb-}
	>e4r			g4r
	>c4r			c4{<rb-}
	< $D			<r8b&>c12f+&g12
	<r8d+&e12b&>c12 < $D
	c4r 			e4r
	r2r4
	c4r 			e4r
.next
#define 	F	r8b&>c12g+&a12
	]#2 a4{>rc} <f4r
	]#2 g4r 	<a4r
	]#2 a4{>rc} <f4r
	]#2 < $F	< $F
	]#2 < $A	< $A
	]#2 f4r 	f4r
	]#2 >c4r2
	]#2 f4r 	f4r
.next
#define 	G	r8a+&b12>g&g+12
#define 	H	r8g&g+12>d+&e12
	>e4r	e4{rd}
	>g+4r	b4r
	>e4r	e4{rd}
	< $G	r8d+&e12a+&b12
	< $H	< $G
	e4r 	g+4r
	r2r4
	e4r 	g+4r
.next
#define 	I	r8c&c+12g+&a12
	]#3 c+4{re} <a4{ra}
	]#3 a4r 	c+4r
	]#3 c+4{re} <a4{ra}
	]#3 $E		< $E
	]#3 $I		$I
	]#3 a4r 	a4{ra}
	]#3 e4r 	e4r
	]#3 a4r 	a4{ra}
.next
#define 	W	>!+1g4r <a4{ra}
#define 	X	!+1b-4r a4{ra}
	$W
	>!+1c+4r2
	$W
	< $D	< $D
	$E		< $E
	$X
	!+1e4r2
	$X
.next
#define 	Y	>!+1f+4r	<a4{ra}
#define 	J	r8f&f+12>d&d+12
#define 	K	r8d&d+12b&>c12
	]#3 $Y
	]#3 !+1c4r2
	]#3 $Y
	]#3 < $J	< $J
	]#3 < $K	< $K
	]#3 $X
	]#3 !+1e-4r2
	]#3 $X
.next
#define 	Z	>f4{rf} e4{rd}
	$Z
	<g+4r			g+4r
	$Z
	<r8e&f12a+&b12	< $G
	<r8c+&d12g&g+12 < $H
	b4r 			e4r
	d4r 			<b-4r
	b4r 			e4r
.next
	]#3 c+4{re} <a4{<ra}
	]#3 a4r 	c+4r
	]#3 c+4{re} <a4{<ra}
	]#3 $E		< $E
	]#3 $I		$I
	]#3 a4r 	a4{<ra}
	]#3 >e4r	e4r
	]#3 a4r 	a4{<ra}
.next
	$W
	!+1c+4r2
	$W
	<<$D	< $D
	< $E	< $E
	$X
	<!+1e4r2
	$X
.next
	]#3 $Y
	]#3 c4r2
	]#3 $Y
	]#3 < $J	< $J
	]#3 < $K	< $K
	]#3 $X
	]#3 e-4r2
	]#3 $X
.next
	$Z
	<g+4r			g+4r
	$Z
	<r8g&g+12>e&f12 <r8d+&e12g&g+12
	< $B			r4r8
	b4r 			b-4r
	d4r 			d4r
	b4r 			b-4r
.next
#define 	A	{rc+re}4	]#2 {rgrb-}4
#define 	B	{rerg}4 	]#2 {rb->rc+}4
#define 	C	{grb-r}4	]#2 {>c+rer}4
#define 	D	{b-r>c+r}4	]#2 {ergr}4
	v9	<a	t+8 > $A	t-8 ]#2 b
	v9	c+		$B			]#2 g+
	v9	<a		r2]#2		]#2 >>f
	v9	l8 r	r2]#2		]#2 >b
	v9	l8 r	< $C		]#2 d
	v9	a		$D			]#2 d
	v9	e		r2			r
	v9	a		r2			r
.next
	>e	t+8 $A		t-8 v10 b
	>c+ 	< $B		v10 g+
	a		r2			v10 >f
	>e		r2			v10 b
	<a		> $C		v10 d
	<a		> $D		v10 d
	r2r4
	r2r4
.next
#define 	A	{<r'8b}>e	<b>e<b
#define 	B	{<r'8g+}>c+ <g+>c+<g+
#define 	C	{r'8f}a 	faf
#define 	D	{r'8d}<a	d<a>d
	q5	>'8e	$A
	q5	>'8c+	$B
	q5	'8a 	$C
	q5	>'8e	$A
	q5	<'8a	$D
	q5	<'8a	$D
	r2r4
	r2r4
.next
	>e	$A
	>c+ $B
	a	$C
	>e	$A
	<a	>>$D
	<a	>>$D
	r2r4
	r2r4
.next
#define 	A	g+&a&'7b-8]#4	a&b-&'7b8]#4	b-&b&
	>e	q8l16	o5	$A
	>c+ q8l16	o4	$A
	a			r8r2
	>e			r8r2
	<a	q8l16	o3	$A
	<a	q8l16	o2	$A
	r2r4
	r2r4
.next
#define 	A	>'7c8	v10 <a&b-&'7b8	t-4 b-&b&>'7c8]#4	t-4 <b&>c&
	$A
	$A
	r2r4
	r2r4
	$A
	$A
	r2r4
	r2r4
.next
#define 	A	'7c+8]#4	<b-&b&>'7c8 	t-4 <b&>c&'7c+8 t-8 c&c+
	$A
	$A
	r2r4
	r2r4
	$A
	$A
	r2r4
	r2r4
/---------------------------------------------------------------------
.next
#define 	A	r8g+&a12
#define 	B	r8f&f+12
#define 	C	r8>d&<a12
#define 	D	r8g+&f+12
	t128o6v11l8 	dr	d{rc}
		o5v11l8 	dr	d{rc}
		o4v11l24	$A	$A
		o4v11l24	$B	$B
		o3v11l24	$C	$C
		o3v11l24	$D	$D
		o3v11l8 	(df24r12)2
		o2v11l8 	dr	dr
.next
#define 	E	r8f+&g12
#define 	F	r8d+&e12
#define 	G	r8a&b-12
	<b-r	b-{rb-}
	<b-r	b-{rb-}
	$E		$E
	$F		$F
	$G		$G
	$E		$E
	(df24r12)2
	dr		dr
.next
#define 	H	r8c&c+12
	a{ra}	>e{<rg}
	a{ra}	>e{<rg}
	$F		$F
	$H		$H
	$E		$E
	$F		$F
	c+r 	<ar
	c+r 	<ar
.next
#define 	I	r8c+&d12
	f+{ra}		dr
	f+{ra}		dr
	$A			$F
	$B			$I
	$C			$A
	$D			$B
	>df24r12	dr
	>dr 		dr
.next
#define 	J	r8g&g+12
#define 	K	r8e&f12
	>c+r		c+{<rb}
	>c+r		c+{<rb}
	$J			$J
	$K			$K
	(r8>c+&<g+12)2
	r8g&f12 	r8gr12
	c+e24r12	fr
	c+r 		fr
.next
	ar	f+{ra}
	ar	f+{ra}
	$A	$A
	$B	$B
	(r8>c+&<a12)2
	(r8g+r12)2
	f+r ar
	f+r ar
.next
#define 	L	r8a+b12
	>er 	e{rd}
	>er 	e{rd}
	$L		$L
	$J		$J
	(r8>e&<b12)2
	$L		r8a+r12
	eg24r12 f+r
	er		f+r
.next
	c+r 	<a{ra}
	c+r 	<a{ra}
	> $H	$H
	$A		$A
	>(r8e&c+12)2
	>(r8cr12)2
	ar		>c+{<ra}
	ar		>c+{<ra}
.next
#define 	M	r8b>c12
#define 	X	d&d+12
#define 	Y	f+8 $X		'16f+16 %d16  $X %d%0	f+16
#define 	Z	<a8>$X		<'16a16 %d16 >$X %d%0	<a16
	v7	>f+r	f+{rf+}
	v7	>>cr	c{rc}
	v7	$Y
	v7	$M		< $M
	v7	$B		$B
	v7	$Z
	v7	d+r 	d+{rd+}
	v7	ar		a{ra}
.next
	ar			er
	c+r 		<ar
	a8d+&e12	e8c&c+12
	$H			< $A
	$F			$F
	>(<a8>c&c+12)2
	er			c+r
	ar			ar
.next
	]g-r	g-{rg-}
	]>cr	c{rc}
	] $Y
	] $M	< $M
	] $B	$B
	] $Z
	]e-r	e-{re-}
	]ar 	a{ra}
.next
	b-r 		fr
	dr			<b-r
	b-8e&f12	f8c+&d12
	$I			< $G
	$K			$K
	>(<b-8>c+&d12)2
	fr			dr
	b-r 		b-r
.next
#define 	X	d+&e12
	]gr 			g{rg}
	]>c+r			c+{rc+}
	]g8 	$X		'16g16		%d16  $X %d%0	g16
	]>$H			$H
	] $B			$B
	]<a+8 > $X		<'16a+16	%d16 >$X %d%0	<a+16
	]er 			e{re}
	]a+r			a+{ra+}
.next
	t-6 ]#4 br			b{rb}
		]#4 d+r 		<b{rb}
		]#4 b8d&d+12	$K
		]#4 < $L		> $I
		]#4 $B			$J
		]#4 b8>d&d+12	$K
		]#4 f+r 		b{rb}
		]#4 br			br
.next
#define 	X	>cr c+{rc+}
	t-6 v10 $X
		v10 $X
		v10 $F		$E
		v10 < $M	$F
		v10 $E		$G
		v10 $F		$E
		v10 $X
		v10 $X
.next
#define 	X	dr	<ar
	t+12] $X
		] $X
		] $A	$K
		] $K	$I
		] $A	$K
		] $K	$I
		] $X
		] $X
.next
#define 	X	fr	dr
	$X
	$X
	$I		< $A
	< $A	$K
	$I		< $A
	< $A	$K
	$X
	$X
.next
#define 	X	b-r fr
	t+4 $X
		$X
		> $K	$I
		> $I	< $G
		> $K	$I
		> $I	< $G
		$X
		$X
.next
#define 	X	dr	<b-r
	$X
	$X
	< $G	$K
	$K		$I
	< $G	$K
	$K		$I
	$X
	$X
.next
#define 	R	r8d&e-12
#define 	X	>!+2e-4 <b-4
	t+4 $X
		$X
		$E	$E
		$R	$R
		$G	$G
		$E	$E
		$X
		$X
.next
	$X
	$X
	$E	$E
	$R	$R
	$G	$G
	$E	$E
	$X
	$X
.next
#define 	X	]]a4	f4[[
	t-8 $X
		$X
		$K	$I
		$I	< $A
		$A	$K
		$K	r4
		$X
		$X
.next
	t-8 !+2e4		!+2'16a<a
		!+2'16ed	!+2'16ae
		l8	<rb-	>rc+
		l8	rg		ra
		l8	r4		rg
		l8	re		re
		!+2'16e>d	<!+2'16a>c+
		!+2'16e>b-	<!+2'16a>a
.next
	t72 v11l24	rd(>dd)2	>(d<d)3
		v11l24	d8r8		r4
		v11 	<ar 		r4
		v11 	gr			r4
		v11l16	d8r8		r8rd
		v11l16	<a8r8		r4
		v11l16	r2
		v11l16	d8r8		r8rd
.next
#define 	X	rf+(>df+)2	>(d<f+)3
	$X
	rd(>cd)2	>(c<d)3
	r2
	r2
	%d32 !+1e-4..%d%0	d
	%d48 !+1a4..		r
	%d96 <!+1f+4..		r
		 !+1e-4..		d
.next
#define 	Y	rd(b>d)2	>(<bd)3
	rf(>df)2	>(d<f)3
	$Y
	r2
	r2
	%d32 !+1f4..%d%0	d
		 !+1b4..		r
		 !+1g+4..		r
		 !+1f4..		d
.next
	t-4 re(>de)2			t-4 >(d<e)3
		rd(b->d)2				>(<b-d)3
		r2
		r2
	l8	%d32 !+1b- %d%0 {rb-}	!+1a{rg}
	l8		 >!+1g		r		r4
	l8		 >!+1d		r		r4
	l8		 !+1b-		{rb-}	!+1a{rg}
.next
	t+8 $X
		rd(a>d)2	>(<ad)3
		r2
		r2
		%d32 d4.	%d%0	{rd}
			 <a4.			r
			 <f+4.			r
			 d4.			{rd}
.next
	re-(>ce-)2	>(c<e-)3
	rc(f+>c)2	>(<f+c)3
	r2
	r2
	%d32 !+2e-4.%d%0	{rd}
		 !+2a4. 		r
		 !+2f+4.		r
		 !+2e-4.		{rd}
.next
	$Y
	<rb(>fb)2	>(f<b)3
	r2
	r2
	%d32 <!+2b4.%d%0	{>rd}
		 !+2g+4.%d%0	r
		 !+2f4. %d%0	r
		 <!+2b4.		{>rd}
.next
	t-4 o3(>c+b-)3	t-4 o3(b->g)3
		o3(b->e)3		o3(g>c)3
		r2
		r2
		<!+1b-{rb-} 	!+1g{rg}
		!+1er			!+1er
		!+1c+r			!+1c+r
		<!+1b-{rb-} 	!+1g{rg}
.next
#define 	A	{c+&c&<b&}8 {b-&a&g+&g&f+&f&}4
#define 	B	{e&d+&d&}8	{c+&c&<b&b-&a&g+&}4
	o4d8	t120l16 o6b-8&	g8&e8&
	o3a8		l16 o6	$A
	o3f+		l16 r8r4
	r			l16 r8r4
	>d			l16 o5	$B
	a			l16 o4g8&	e8&c+8&
	r			l16 r8r4
	>d			l16 r8r4
.next
#define 	C	c+8<b-e 	aegc+
#define 	D	e8<b->c+	<a>c<g+b-
#define 	E	g8<ge		aeb-g
#define 	F	<b-8<g>c+	<a>c+<b->e
	$C
	$D
	r2
	r2
	$E
	$F
	r2
	r2
.next
	>d8 	<b-8	g8e8
	>f+8	$A
	o5d8	r8		r4
	r2
	>d8 	$B
	a8		g8		e8c+8
	o3f+8	r8		r4
	o3d8	r8		r4
.next
	$C
	$D
	r2
	r2
	$E
	$F
	r2
	r2
.next
#define 	A	ee		f+8b-b-
#define 	B	>c+c+	d8ee
#define 	C	b-b-	a8>c+c+
#define 	D	gg		>d8<gg
#define 	E	>c+c+	a8c+c+
#define 	F	b-b-	>f+8<b-b-
	o5d8	$A
	o4r8	$B
	o4f+8	$C
	o4d8	$A
	o3d8	$D
	o2a8	$E
	o2f+8	$F
	o2d8	$D
.next
	>d8 	$A
	a8		$B
	f+8 	$C
	>d8 	$A
	d8		$D
	<a8 	$E
	f+8 	$F
	d8		$D
.next
	(>d8<b-b-)2
	(f+8ee)2
	(r8c+c+)2
	(>d8<b-b-)2
	<(>d8<gg)2
	<(a8ee)2
	(f+8c+c+)2
	<(>d8<gg)2
.next
	l8	>d]]<b- rb-[
	l8	f+]]e	re[
	l8	r]]c+	rc+[
	l8	>d<]]b- rb-[
	l8	>d<]]g	rg[
	l8	a]]e	re[
	l8	f+]]c+	rc+[
	l8	>d]]<g	rg[
.next
	t108rb- t-8 fc
		re		<bf+
		rc+ 	<g+e-
		rb- 	fc
		rg		>de-
		re		g+a
		rc+ 	ff+
		rg		>dd
.next
	t-8 <gd 	t-8 <ab-
		c+<g+		e-e
		<b-f+		cc+
		<gd 		<ab-
		ef			f+g
		b-b 		>cc+
		gg+ 		ab-
		dd			dd
/---------------------------------------------------------------------