/*********************************************************************
/ MML detail (5) part B
/*********************************************************************
.next
#define 	A	d2	d4r8rc&
#define 	I1	rg+a	>efr
#define 	I2	ref 	>c+dr
#define 	J1	drr3	drr3
#define 	J2	arr3	arr3
	t124o6v11l16	$A
		o5v11l4 	f2		fr
		o5v11l16	$A
		o3v11l12	$I1 	< $I1
		o3v11l12	$I2 	< $I2
		o3v11l12	$J1
		o2v11l12	$J2
		o2v11l12	dr3d&	dr3d&
.next
#define 	A	<b-4r4	b-4r8rb-&
#define 	I3	rab-	>f+gr
#define 	I4	rf+g	>d+er
	$A
	er		er
	$A
	< $I3	< $I3
	< $I4	< $I4
	$J1
	grr3	grr3
	dr3d&	dr3c+&
.next
#define 	A	a4r8ra& >e4r8<rg&
#define 	I5	rd+e	>cc+r
	$A
	er		gr
	$A
	< $I4	< $I4
	< $I5	< $I5
	c+rr3	r2
	$J2
	c+r3<a	>c+r3d&
.next
#define 	A	f4r8ra& d4r4
	$A
	<ar 	fr
	$A
	< $I1	< $I1
	< $I2	< $I2
	$J1
	$J2
	dr3d&	dr3c&
.next
#define 	A	>c2 c4r8<rb-&
	$A
	>e2 		gr
	$A
	< $I4		<rb>cf+gr
	<rd+eb>cr	< $I4
	crr3		err3
	grr3		>crr3
	cr3e&		er3f&
.next
#define 	A	a-4r8>rc&	<f4r4
#define 	I6	rb>c	ga-r
#define 	I7	rga-	>efr
	$A
	cr		<a-r
	$A
	< $I6	< $I6
	< $I7	< $I7
	frr3	frr3
	crr3	crr3
	fr3f&	fr3e-&
.next
#define 	A	>e-2	e-4r8rd-&
#define 	I8	rf+g	>de-r
#define 	I9	rde-	ab-r
	$A
	>g2 		b-r
	$A
	< $I3		$I9
	< $I8		< $I3
	e-rr3		grr3
	<b-rr3		>e-rr3
	e-r3g&		gr3a-&
.next
#define 	A	c4r8re-&	<a-4r4
#define 	IA	rde-	b>cr
#define 	J3	a-rr3	a-rr3
#define 	X	a-r3a-& a-r3a-&
	$A
	a-r 	cr
	$A
	$IA 	< $IA
	< $I6	< $I6
	$J3
	e-rr3	e-rr3
	$X
.next
#define 	A	f4r4	f4r8rf
#define 	IB	rc+d	a+br
	v9	> $A
	v9	br		br
	v9	> $A
	v9	< $I2	< $I2
	v9	$IB 	$IB
	v9	$J3
	v9	$J1
	v9	$X
.next
#define 	B	a-4r4	e-4r4
	$B
	>cr 	<a-r
	$B
	< $IA	< $IA
	< $I6	< $I6
	$J3
	e-rr3	crr3
	$X
.next
	$A
	br		br
	$A
	< $I2	< $I2
	$IB 	$IB
	$J3
	$J1
	$X
.next
#define 	A	a-4r4]#4	g+4r8rg+
	$A
	>cr 		r2
	$A
	< $IA]#4	< $I2
	< $I6]#4	$IB
	a-rr3]#4	g+r3r48g+16
	e-rr3		r2
	a-r3g+&]#4	g+r3r48g+16
.next
#define 	A	a4r4	f4r4
#define 	IC	rc+d	g+ar
	t160v11 $A[
		v9	r1
		v11 $A[
		v11 < $I1	< $I2[
		v11 $I2 	< $IC[
		v11 a4r4	frr3[
		v9	r1
		v11 a4r6f&	fr3d&[
.next
#define 	A	d4r4	<a4r4
	$A[
	r1
	$A[
	< $IC	< $I1[
	< $I1	< $I2[
	drr3	<arr3[
	r1
	dr3<a&	ar3b-&[
.next
#define 	A	!+1b-4r4	!+1g4r4
	t-8 $A
		r1
		$A
		< $I3		< $I8
		< $I8		< $I9
		!+1b-rr3	!+1grr3
		r1
		!+1b-r3g&	!+1gr3e&
.next
#define 	A	!+1e4r4 !+1a4r8<ra
	t-8 $A
		r1
		$A
		<rc+dab-r	$I4
		< $I3		$I5
		!+1err3 	!+1ar3r48a16
		r1
		!+1er3a&	!+1ar3r48a16
.next
#define 	A	d4r4	r3r8d24
#define 	I	o3v9r6	(g+a>]#4)4	r6
	t128> $A
		r1
		> $A
		$I
	o3v9r6 (ef>]#4)4 r6
		l16 > $A
		r1
		l16 > $A
.next
#define 	B	>!+2c2	r3r8<d24
#define 	C	!+2d2	r3r8d24
#define 	J	o3v9r6	(b>c]#4)4	r6
	$B
	o5!+2f+2	r2
	$B
	$J
	$I
	$C
	o2!+2a2 	r2
	$C
.next
#define 	D	!+2b2	r3r8d24
#define 	K	o3v9r6	(a+b>]#4)4	r6
#define 	L	o3v9r6	(gg+>]#4)4	r6
	$D
	f2	r2
	$D
	$K
	$L
	$C
	g+2 r2
	$C
.next
#define 	E	!+1b-4r8rb- a4r8rg
	t-8 $E
		r1
		$E
		o3v9 $I4	< $I4
		o3v9 $I5	< $I5
		< $E
		r1
		< $E
.next
	t+8 $A
		<f+r	r2
		$A
		$I
	o3	r6 (ff+>]#4)4 r6
		> $A
		ar		r2
		> $A
.next
#define 	F	!+2e-2	r3r8d24
	$B
	>!+2f+2 r2
	$B
	$J
	$I
	$F
	!+2a2	r2
	$F
.next
	$D
	!+2f2	r2
	$D
	$K
	$L
	$F
	!+2g+2	r2
	$F
.next
	t-8 $E
		r1
		$E
		o3v9 $I4	< $I4
		o3v9 $I5	< $I5
		< $E
		r1
		< $E
.next
#define 	A	b-6&g6&e6&			c+r <!+1b-6&
#define 	B	{c+c<bb-ag+gf+f}2	er	{<!+1b->c+e}6
#define 	C	{ed+dc+c<bb-ag+}2	gr
#define 	D	g6&e6&c+6&			<b-r
	t144o5l12	dr	>	$A
		o4l12	f+r >>	$B
		o4l12	dr	r3	r2
		r1
		o3l12	dr	>>	$C	<!+1gr
		o2l12	ar	>>	$D	!+1er
		o2l12	dr	r3	r3	>!+1c+r
		o2l12	r2		r3	!+1gr
.next
	>dr 	< $A
	f+r 	$B
	>dr 	r3	r2
	r1
	>dr 	$C		!+1gr
	ar		$D		>!+1er
	f+r 	r3	r3	!+1c+r
	>dr 	r3	r3	<!+1gr
.next
#define 	A	{eb->c+}6
#define 	B	{b->c+e}6
	>dre6&	f+rb-6& >dre6&
	f+r $A	<ar $B	f+r $A
	<dr4	f+r4	>dr4
	r1
	drgr	>(dr<gr)2
	<ar>c+r >(<arc+r)2
	<f+rb-r >(f+r<b-r)2
	drgr	>(dr<gr)2
.next
	f+rb-6& 	>dr<b-6&	>dr<b-6
	<ar $B		f+r < $B	f+r < $B
	f+r4		>dr4		dr4
	r1
	(>dr<gr)3
	(arc+r)3
	(>f+r<b-r)3
	(>dr<gr)3
.next
	t160>!+1d<b-r6		(d<b-r6)2
		!+1f+<b-r6		(d<b-r6)2
		!+1dr4			r3r3
		r1
		>!+1dr>>af+ 	(r6<af+)2
		!+1ar>>af+		(r6<af+)2
		>!+1f+r4		r3r3
		>!+1dr4 		r3r3
.next
#define 	A	rc<rb	rb-rg	rg+ra
	t132(drdr)3
		(drdr)3
		r1
		r1
		$A
		$A
		r1
		r1
.next
#define 	A	re-rfrg rarb>rc+
#define 	B	drerf+r g+rb-r>cr
	t220l24 < $A	t+8 $A
		l24 < $A		$A
		r1
		r1
		l24 $B			$B
		l24 $B			$B
		r1
		r1
.next
#define 	C	rc+<rbra	rgrfre-
#define 	D	drcr<b-r	g+rf+rer
	t+8 ] $A	] $C
		] $A	] $C
		r1
		r1
		] $B	] $D
		] $B	] $D
		r1
		r1
.next
	t-8 [#4 $C	t-8 [#4 $C
		[#4 $C		[#4 $C
		r1
		r1
		[#4 $D		[#4 $D
		[#4 $D		[#4 $D
		r1
		r1
.next
	t100r4	t-6 r4	t-6 r2
		r1
		r1
		r1
		l4 d	>d		>dr
		l4 d	>d		>dr
		r1
		r1
/---------------------------------------------------------------------