/*********************************************************************
/ MML detail (12) part F
/*********************************************************************
.next
	t240o4l8	r2r4
		r2r4
		r2r4
		r2r4
		o3l4	v4	rgg
		o2l4	v4	rb-b-
		o3l4	r2r4
		o2l4q8	v4	e-rr
.next
	r2r4
	r2r4
	r2r4
	r2r4
	rgg
	rb-b-
	r2r4
	e-rr
.next
	r2r4
	r2r4
	r2r4
	r2r4
	rgg
	rb-b-
	r2r4
	e-rr
.next
	r2r4
	r2r4
	r2r4
	r2r4
	rgg
	rb-b-
	r2r4
	e-rr
.next
	v6	q5	e-e-e-e-	q8	!+1e-4
	r2r4
	r2r4
	r2r4
	v6	rgg
	v6	rb-b-
	v6	r2r4
	v6	e-rr
.next
	<g&b-&>e-&g&>!+1c4
	r2r4
	r2r4
	r2r4
	rgg
	rb-b-
	r2r4
	e-rr
.next
	l24 c&<b6r	b&b-6r	b-&a6r]#1
	r2r4
	r2r4
	r2r4
	>rd-d-]#1
	>rgg]#1
	re-e-]#1
	e-rr]#2
.next
	a&a-6r	a-&g6r	g&f6r]#1
	r2r4
	r2r4
	r2r4
	d-d-d-]#1
	ggg]#1
	e-e-e-]#1
	r2r4
.next
	l8q5	e-e-e-e-	q8	!+1e-4]#2
	r2r4
	r2r4
	r2r4
	rcc]#2
	ra-a-]#2
	re-e-]#2
	e-rr]#2
.next
	c&e-&a-&>c&!+1f4]#2
	r2r4
	r2r4
	r2r4
	rcc]#2
	ra-a-]#2
	re-e-]#2
	e-rr]#2
.next
	l24 g&f6r	f&e6r	e&e-6r]#1
	r2r4
	r2r4
	r2r4
	rcc]#1
	ra-a-]#1
	re-e-]#1
	e-rr]#2
.next
	e-&d6r	d&d-6r	d-&c6r]#1
	r2r4
	r2r4
	r2r4
	ccc]#1
	a-a-a-]#1
	e-e-e-]#1
	r2r4
.next
	l8q5	<bbbbbb]#2
	r2r4
	r2r4
	r2r4
	rdd]#2
	ra-a-]#2
	e-e-e-]#2
	e-rr]#2
.next
	q8	a-&b&>d&f&!+1b4]#4
	r2r4
	r2r4
	r2r4
	rdd]#4
	ra-a-]#4
	e-e-e-]#4
	e-rr]#4
.next
	l24 b&b-6r	b-&a6r	a&a-6r]#2
	r2r4
	r2r4
	r2r4
	rdd]#2
	rbb]#2
	e-a-a-]#2
	e->e-e-]#2
.next
	a-&g6r	g&g-6r	g-&f6r]#2
	r2r4
	r2r4
	r2r4
	ddd]#2
	bbb]#2
	a-a-a-]#2
	e-e-e-]#2
.next
	t252v9	f&>g6r[#2	g&f6r[#2	f&e6r[#2
		r2r4
		r2r4
		r2r4
		v9	d[#2d[#2d[#2
		v9	b[#2b[#2b[#2
		v9	a-[#2a-[#2a-[#2
		v9	e-[#2e-[#2e-[#2
.next
	e&e-6r[#2	e-&d6r[#2	d&d-6r[#2
	r2r4
	r2r4
	r2r4
	d[#2d[#2d[#2
	b[#2b[#2b[#2
	a-[#2a-[#2a-[#2
	e-[#2e-[#2e-[#2
.next
	t260d-&c6r]#4	c&<b6r]#4	b&b-6r]#4
		r2r4
		r2r4
		r2r4
		d]#4d]#4d]#4
		b-]#4b-]#4b-]#4
		a-]#4a-]#4a-]#4
		e-]#4e-]#4e-]#4
.next
	b-&a6r]#4	a&a-6r]#4	a-&f6r
	r2r4
	r2r4
	r2r4
	d]#4d]#4d
	b-]#4b-]#4b-
	a-]#4a-]#4a-
	e-]#4e-]#4e-
/---------------------------------------------------------------------
.next
	o6l8v11 !+1e-4]#3	<g&a-&]#2	b-4[#5
	o5l8v11 !+1e-4		r4]#5		g4[#5
	o4l8v11 r2r4
	o4l8v11 r2r4
	o4l4v11 r]#3		b-]#2		b-[#5
	o4l4v11 r]#3		g]#2		g[#5
	o3l4v11 !+1e-]#3	>e-]#2		e-<[#5
	o2l4v11 !+1e-]#3	>>d-]#2 	d-<<[#5
.next
	>!+1e-4]#3	<g-&a-&]#2	a4[#5
	!+1e-4		r4]#5		g4[#5
	r2r4
	r2r4
	r]#3		a]#2		a[#5
	r]#3		g-]#2		g-[#5
	!+1e-]#3	>e-]#2		e-<[#5
	!+1e-]#3	>>c]#2		c<<[#5
.next
	>!+1e-4]#3	<f&g&]#2	a-4[#5
	!+1e-4		r4]#5		f4[#5
	r2r4
	r2r4
	r]#3		a-]#2		a-[#5
	r]#3		f]#2		f[#5
	!+1e-]#3	>e-]#2		e-<[#5
	!+1e-]#3	>b]#2		b<[#5
.next
	!13b-2'5b-'5b-
	!13g2 '5g '5g
	!13b-2'5b-'5b-
	r2r4
	rgg
	re-e-
	!+1e-b-b-
	!+1e->gg<
.next
	!+1b-2.[#4
	g4&a-&g&'5f4[#4
	!+1b-2.[#4
	r2r4
	rff[#4
	rdd[#4
	<!+1b->b-b-[#4
	<!+1b->>a-a-<[#4
.next
	!+1b-2.[#4
	f4&g&f&'5e-4[#4
	!+1b-2.
	r2r4
	re-e-[#4
	<rb-b-[#4
	!+1e-gg[#4
	!+1e-rr[#4
.next
	!+1g2&f4[#4
	<b-4&>c&<b-&'5a-4[#4
	r2r4
	r2r4
	rdd[#4
	rb-b-[#4
	!+1b-a-a-[#4
	!+1b->ff<[#4
.next
	!+1f2&e-4
	a-4&b-&a-&'5g4
	r2r4
	r2r4
	rd-d-
	rb-b-
	!+1e-e-e-
	!+1e-rr
/---------------------------------------------------------------------
.next
	v9	!+1e-2.[#3
	v9	e-4&]#2 a-&b-&]#2	>'5c4<[#7
	v9	r2]#4				'5a-4[#7
	v9	!+1e-2.[#3
	v9	r]#2	c]#2		c[#7
	v9	r]#2	a-]#2		a-[#7
	v9	a-]#2	e-]#2		e-[#7
	v9	a-rr[#3
.next
	!+1e-2.[#3
	e-4&]#2 a-&b-&]#2	'5b4[#7
	r2]#4				'5a-4[#7
	!+1e-2.[#3
	<r]#2	b]#2		b[#7
	r]#2	a-]#2		a-[#7
	a-]#2	e-]#2		e-[#7
	a-rr[#3
.next
	!+1e-2.[[#2
	e-4&]#2 a-&b-&]#2	'5b-4[[#6
	r2]#4				'5g4[[#6
	!+1e-2.[[#2
	r]#2	g]#2	g[[#6
	r]#2	e-]#2	e-[[#6
	<r]#2	b-]#2	b-[[#6
	e-rr[[#2
.next
	<!+1b-2 '5b-'5b-
	!+1g2	'5g '5g
	<!+1b-2 '5b-'5b-
	r2r4
	rgg
	re-e-
	rb-b-
	e-rr
.next
	!+1b-2.
	g4&a-&g&'5f4
	!+1b-2.
	r2r4
	ra-a-
	rdd
	rb-b-
	e-rr
.next
	!+1b-2.
	f4&g&f&'5e-4
	!+1b-2.
	r2r4
	rgg
	re-e-
	rb-b-
	e-rr
.next
	v6	q5	bbbbbb
	v6	drr2
	v6	r2r4
	v6	r2r4
	v6	ra-a-
	v6	rff
	v6	rb-b-
	v6	e-rr
.next
	q8	b&b-&g&e-&<'5b-4>[
	r2r4[
	r2r4[
	r2r4
	rgg[
	re-e-[
	rb-b-[
	e-rr[
.next
	!+1b-2.
	g4&a-&g&'5f4
	!+1b-2.
	r2r4
	ra-a-
	rdd
	rb-b-
	e-rr
.next
	!+1b-2.
	f4&g&f&'5e-4
	!+1b-2.
	r2r4
	rgg
	re-e-
	rb-b-
	e-rr
.next
	q5	>cccccc
	drr2
	r2r4
	r2r4
	ra-a-
	rff
	rb-b-
	e-rr
.next
	q8	c&<b-&g&e-&<'5b-4>
	r2r4
	r2r4
	r2r4
	rgg
	re-e-
	rb-b-
	e-rr
.next
	q5	bbbbbb]
	drr2
	r2r4
	r2r4
	ra-a-]
	rff]
	rb-b-]
	e-rr]
.next
	q8	b&b-&a-&f&'5d4]]#4
	r2r4
	r2r4
	r2r4
	ra-a-]]#4
	rff]]#4
	rb-b-]]#4
	e-rr]]#4
.next
	>g&f&d&<b&'5a-4]]#4
	r2r4
	r2r4
	r2r4
	ra-a-]]#4
	rff]]#4
	rb-b-]]#4
	e-rr]]#4
.next
	>b&a-&f&d&<'5b4
	r2r4
	r2r4
	r2r4
	ra-a-
	rff
	rb-b-
	e-rr
.next
#define 	A	<b&g&b&a-&f&d&
	t140v11 l16 o7	$A	$A
		v11 r2r4
		v11 r2r4
		v11 r2r4
		v11 l8	>rdr	ddr
		v11 l8	rbr 	bbr
		v11 l8	>e-a-r	a-a-r
		v11 l8	e->e-r	e-e-r
.next
	$A	$A
	r2r4
	r2r4
	r2r4
	ddr2
	bbr2
	a-a-r2
	e-e-r2
/---------------------------------------------------------------------
.next
#define 	A	d&e-&f&g&a-&a&
	o3	!+1e-r	t150v6	g&a-&b-&>c& 	$A
	r2r4
	r2r4
	r2r4
	o2	!+1e-		v6	rr2
	o1	!+1e-		v6	rr2
		r			v6	rr2
		r			v6	rr2
.next
#define 	B	>c&<b-&g&a-&b-&>c&
	$B			$A
	r2r4
	r2r4
	r2r4
	o4	rrg 	ggg
	o4	re-e-	e-e-e-
	o3	rb-b-	b-b-b-
	o3	rgg 	ggg
.next
	t158$B]#4		$A]#4
		r2r4
		r2r4
		r2r4
		ggg]#4		ggg]#4
		e-e-e-]#4	e-e-e-]#4
		b-b-b-]#4	b-b-b-]#4
		ggg]#4		ggg]#4
.next
	>c&<b-&g&a-&a&b-&]#4	>c&<b-&g&a-&a&b-&]#4
	r2r4
	r2r4
	r2r4
	ggg]#4					ggg]#4
	e-e-e-]#4				e-e-e-]#4
	b-b-b-]#4				b-b-b-]#4
	ggg]#4					ggg]#4
.next
#define 	A	g&a-&a&b-&
	t162>!+1e-r<	$A[#4	>!+1e-8<	$A[#4
		r2r4
		r2r4
		r2r4
		grr[#4				e-rr[#4
		e-rr[#4 			<grr[#4
		b-rr[#4 			e-rr[#4
		grr2[
.next
	>!+1e-8<	$A[#4	>!+1e-8<	$A[#4
	r2r4
	r2r4
	r2r4
	grr[#4				b-rr[#4
	>e-rr[#4			grr[#4
	b-rr[#4 			b-rr[#4
	grr2
.next
	>!+1e-8<	$A[#4	>!+1e-8<	$A[#4
	r2r4
	r2r4
	r2r4
	>e-rr[#4			<b-rr[#4
	grr[#4				grr[#4
	>e-rr[#4			<b-rr[#4
	r2r4
.next
	t158>'5e-8< 	$A[#4	>'5e-8< 	$A[#4
		r2r4
		r2r4
		r2r4
		>grr[#4 			b-rr[#4
		>e-rr[#4			grr[#4
		>grr[#4 			b-rr[#4
		r2r4
.next
	t150>'5e-8<r8r2
		r2r4
		r2r4
		r2r4
		>grr2
		>e-rr2
		>grr2
		r2r4
.next
	t200o6l4	v11 g.rr8
		o6l4	v11 e-.rr8
		o5l4	v11 b-.rr8
		o5l4	v11 g.rr8
		o5l4	v11 e-.rr8
		o4l4	v11 b-.rr8
		o4l4	v11 e-.rr8
					r2r4
.next
	<ggg
	<e-e-e-
	<b-b-b-
	<ggg
	<e-e-e-
	<b-b-b-
	<e-e-e-
	r2r4
.next
	t144o3	e-1
		r2r4
		r2r4
		r2r4
		o2	e-1
		o1	e-1
		r2r4
		r2r4
/---------------------------------------------------------------------