ds020.hs:20: 
    Warning: Pattern match(es) completely overlapped
	in the definition of function `f'
ds020.hs:16: 
    Warning: Pattern match(es) completely overlapped
	in the definition of function `d'
ds020.hs:17: 
    Warning: Pattern match(es) completely overlapped
	in the definition of function `d'
ds020.hs:9: 
    Warning: Pattern match(es) completely overlapped
	in the definition of function `b'
ds020.hs:6: 
    Warning: Pattern match(es) completely overlapped
	in the definition of function `a'


================================================================================
Desugared:
Rec {
d.Eq_a1aR  :: 
    {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
{-# L #-}
d.Eq_a1aR =
    PrelBase.$d7{-rqT,p-}
==_a1h7  :: 
    PrelBase.Int{-3g,p-}
    -> PrelBase.Int{-3g,p-}
    -> PrelBase.Bool{-34,p-}
{-# L #-}
==_a1h7 =
    PrelBase.=={-8Y,p-}
	_@_ PrelBase.Int{-3g,p-} d.Eq_a1aR
d.Num_a1aV  :: 
    {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
{-# L #-}
d.Num_a1aV =
    PrelBase.$d3{-rqn,p-}
fromInt_a1h6  :: 
    PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
{-# L #-}
fromInt_a1h6 =
    PrelBase.fromInt{-8R,p-}
	_@_ PrelBase.Int{-3g,p-} d.Num_a1aV
lit_a1h5  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1h5 =
    let {
      ds_d1SI  :: 
	  PrelBase.Int{-3g,p-}
      {-# L #-}
      ds_d1SI =
	  PrelBase.I#{-5b,p-}{i}
	      2
    } in 
      fromInt_a1h6
	  ds_d1SI
fromInt_a1h4  :: 
    PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
{-# L #-}
fromInt_a1h4 =
    fromInt_a1h6
lit_a1h3  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1h3 =
    let {
      ds_d1SX  :: 
	  PrelBase.Int{-3g,p-}
      {-# L #-}
      ds_d1SX =
	  PrelBase.I#{-5b,p-}{i}
	      4
    } in 
      fromInt_a1h4
	  ds_d1SX
fromInt_a1h2  :: 
    PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
{-# L #-}
fromInt_a1h2 =
    fromInt_a1h6
lit_a1h1  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1h1 =
    let {
      ds_d1Tc  :: 
	  PrelBase.Int{-3g,p-}
      {-# L #-}
      ds_d1Tc =
	  PrelBase.I#{-5b,p-}{i}
	      3
    } in 
      fromInt_a1h2
	  ds_d1Tc
d.Ord_a1b0  :: 
    {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,p-}}
{-# L #-}
d.Ord_a1b0 =
    PrelBase.$d6{-rqS,p-}
>_a1h0  :: 
    PrelBase.Int{-3g,p-}
    -> PrelBase.Int{-3g,p-}
    -> PrelBase.Bool{-34,p-}
{-# L #-}
>_a1h0 =
    PrelBase.>{-rs3,p-}
	_@_ PrelBase.Int{-3g,p-} d.Ord_a1b0
lit_a1gZ  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1gZ =
    lit_a1h1
lit_a1gY  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1gY =
    lit_a1h3
fromInt_a1gX  :: 
    PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
{-# L #-}
fromInt_a1gX =
    fromInt_a1h6
lit_a1gW  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1gW =
    let {
      ds_d1TC  :: 
	  PrelBase.Int{-3g,p-}
      {-# L #-}
      ds_d1TC =
	  PrelBase.I#{-5b,p-}{i}
	      5
    } in 
      fromInt_a1gX
	  ds_d1TC
d.Ord_a1b4  :: 
    {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,p-}}
{-# L #-}
d.Ord_a1b4 =
    d.Ord_a1b0
<=_a1gV  :: 
    PrelBase.Int{-3g,p-}
    -> PrelBase.Int{-3g,p-}
    -> PrelBase.Bool{-34,p-}
{-# L #-}
<=_a1gV =
    PrelBase.<={-rs2,p-}
	_@_ PrelBase.Int{-3g,p-} d.Ord_a1b4
lit_a1gU  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1gU =
    lit_a1h5
lit_a1gT  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1gT =
    lit_a1h1
==_a1gS  :: 
    PrelBase.Int{-3g,p-}
    -> PrelBase.Int{-3g,p-}
    -> PrelBase.Bool{-34,p-}
{-# L #-}
==_a1gS =
    ==_a1h7
lit_a1gR  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1gR =
    lit_a1h5
lit_a1gQ  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1gQ =
    lit_a1h3
lit_a1gP  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1gP =
    lit_a1h1
==_a1hb  :: 
    PrelBase.Int{-3g,p-}
    -> PrelBase.Int{-3g,p-}
    -> PrelBase.Bool{-34,p-}
{-# L #-}
==_a1hb =
    ==_a1gS
==_a1ha  :: 
    PrelBase.Int{-3g,p-}
    -> PrelBase.Int{-3g,p-}
    -> PrelBase.Bool{-34,p-}
{-# L #-}
==_a1ha =
    ==_a1gS
lit_a1h9  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1h9 =
    lit_a1gQ
lit_a1h8  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1h8 =
    lit_a1gR
ds_d1Q9  :: 
    (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
{-# L #-}
ds_d1Q9 =
    let { ds_d1Zt  :: 
	      (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})))
	  {-# L #-}
	  ds_d1Zt =
      let {
	eq4_a12Q  :: 
	    PrelBase.Bool{-34,p-}
	{-# L #-}
	eq4_a12Q =
	    ==_a1ha
		lit_a1h9 lit_a1h8 } in
      let {
	eq4_r4b  :: 
	    PrelBase.Bool{-34,p-}
	{-# L #-}
	eq4_r4b =
	    eq4_a12Q } in
      let {
	lit_a1Uy  :: 
	    PrelBase.Int{-3g,p-}
	{-# L #-}
	lit_a1Uy =
	    lit_a1gP } in
      let {
	eq3_a13e  :: 
	    PrelBase.Bool{-34,p-}
	{-# L #-}
	eq3_a13e =
	    ==_a1hb
		lit_a1gP lit_a1Uy } in
      let {
	eq3_r4a  :: 
	    PrelBase.Bool{-34,p-}
	{-# L #-}
	eq3_r4a =
	    eq3_a13e } in
      let {
	eq2_a13A  :: 
	    PrelBase.Bool{-34,p-}
	{-# L #-}
	eq2_a13A =
	    ==_a1gS
		lit_a1gR lit_a1gQ } in
      let {
	eq2_r49  :: 
	    PrelBase.Bool{-34,p-}
	{-# L #-}
	eq2_r49 =
	    eq2_a13A
      } in 
	case eq2_r49 of {
	  PrelBase.True{-5E,p-}{i} ->
	      let {
		ds_d1Va  :: 
		    PrelBase.Char{-38,p-}
		{-# L #-}
		ds_d1Va =
		    PrelBase.C#{-54,p-}{i}
			{'a'} } in
	      let { ds_d1Ve  :: 
			(PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
		    {-# L #-}
		    ds_d1Ve =
		let {
		  ds_d1Vu  :: 
		      PrelBase.Char{-38,p-}
		  {-# L #-}
		  ds_d1Vu =
		      PrelBase.C#{-54,p-}{i}
			  {'a'} } in
		let { ds_d1Vy  :: 
			  (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
		      {-# L #-}
		      ds_d1Vy =
		  let {
		    ds_d1VO  :: 
			PrelBase.Char{-38,p-}
		    {-# L #-}
		    ds_d1VO =
			PrelBase.C#{-54,p-}{i}
			    {'a'} } in
		  let {
		    ds_d1VS  :: 
			PrelBase.Char{-38,p-}
		    {-# L #-}
		    ds_d1VS =
			PrelBase.C#{-54,p-}{i}
			    {'a'}
		  } in 
		    PrelTup.(,){-62,p-}{i}
			{_@_ PrelBase.Char{-38,p-}
			 _@_ PrelBase.Char{-38,p-}
			 ds_d1VO
			 ds_d1VS}
		} in
		PrelTup.(,){-62,p-}{i}
		    {_@_ PrelBase.Char{-38,p-}
		     _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
		     ds_d1Vu
		     ds_d1Vy}
	      } in
	      PrelTup.(,){-62,p-}{i}
		  {_@_ PrelBase.Char{-38,p-}
		   _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
		   ds_d1Va
		   ds_d1Ve};
	  PrelBase.False{-58,p-}{i} ->
	      case eq3_r4a of {
		PrelBase.True{-5E,p-}{i} ->
		    let {
		      ds_d1Wm  :: 
			  PrelBase.Char{-38,p-}
		      {-# L #-}
		      ds_d1Wm =
			  PrelBase.C#{-54,p-}{i}
			      {'b'} } in
		    let { ds_d1Wq  :: 
			      (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
			  {-# L #-}
			  ds_d1Wq =
		      let {
			ds_d1WG  :: 
			    PrelBase.Char{-38,p-}
			{-# L #-}
			ds_d1WG =
			    PrelBase.C#{-54,p-}{i}
				{'b'} } in
		      let { ds_d1WK  :: 
				(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
			    {-# L #-}
			    ds_d1WK =
			let {
			  ds_d1X0  :: 
			      PrelBase.Char{-38,p-}
			  {-# L #-}
			  ds_d1X0 =
			      PrelBase.C#{-54,p-}{i}
				  {'b'} } in
			let {
			  ds_d1X4  :: 
			      PrelBase.Char{-38,p-}
			  {-# L #-}
			  ds_d1X4 =
			      PrelBase.C#{-54,p-}{i}
				  {'b'}
			} in 
			  PrelTup.(,){-62,p-}{i}
			      {_@_ PrelBase.Char{-38,p-}
			       _@_ PrelBase.Char{-38,p-}
			       ds_d1X0
			       ds_d1X4}
		      } in
		      PrelTup.(,){-62,p-}{i}
			  {_@_ PrelBase.Char{-38,p-}
			   _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
			   ds_d1WG
			   ds_d1WK}
		    } in
		    PrelTup.(,){-62,p-}{i}
			{_@_ PrelBase.Char{-38,p-}
			 _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
			 ds_d1Wm
			 ds_d1Wq};
		PrelBase.False{-58,p-}{i} ->
		    case eq4_r4b of {
		      PrelBase.True{-5E,p-}{i} ->
			  let {
			    ds_d1Xy  :: 
				PrelBase.Char{-38,p-}
			    {-# L #-}
			    ds_d1Xy =
				PrelBase.C#{-54,p-}{i}
				    {'c'} } in
			  let { ds_d1XC  :: 
				    (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
				{-# L #-}
				ds_d1XC =
			    let {
			      ds_d1XS  :: 
				  PrelBase.Char{-38,p-}
			      {-# L #-}
			      ds_d1XS =
				  PrelBase.C#{-54,p-}{i}
				      {'c'} } in
			    let { ds_d1XW  :: 
				      (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
				  {-# L #-}
				  ds_d1XW =
			      let {
				ds_d1Yc  :: 
				    PrelBase.Char{-38,p-}
				{-# L #-}
				ds_d1Yc =
				    PrelBase.C#{-54,p-}{i}
					{'c'} } in
			      let {
				ds_d1Yg  :: 
				    PrelBase.Char{-38,p-}
				{-# L #-}
				ds_d1Yg =
				    PrelBase.C#{-54,p-}{i}
					{'c'}
			      } in 
				PrelTup.(,){-62,p-}{i}
				    {_@_ PrelBase.Char{-38,p-}
				     _@_ PrelBase.Char{-38,p-}
				     ds_d1Yc
				     ds_d1Yg}
			    } in
			    PrelTup.(,){-62,p-}{i}
				{_@_ PrelBase.Char{-38,p-}
				 _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
				 ds_d1XS
				 ds_d1XW}
			  } in
			  PrelTup.(,){-62,p-}{i}
			      {_@_ PrelBase.Char{-38,p-}
			       _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
			       ds_d1Xy
			       ds_d1XC};
		      PrelBase.False{-58,p-}{i} ->
			  let {
			    ds_d1YC  :: 
				PrelBase.Char{-38,p-}
			    {-# L #-}
			    ds_d1YC =
				PrelBase.C#{-54,p-}{i}
				    {'d'} } in
			  let { ds_d1YG  :: 
				    (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
				{-# L #-}
				ds_d1YG =
			    let {
			      ds_d1YW  :: 
				  PrelBase.Char{-38,p-}
			      {-# L #-}
			      ds_d1YW =
				  PrelBase.C#{-54,p-}{i}
				      {'d'} } in
			    let { ds_d1Z0  :: 
				      (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
				  {-# L #-}
				  ds_d1Z0 =
			      let {
				ds_d1Zg  :: 
				    PrelBase.Char{-38,p-}
				{-# L #-}
				ds_d1Zg =
				    PrelBase.C#{-54,p-}{i}
					{'d'} } in
			      let {
				ds_d1Zk  :: 
				    PrelBase.Char{-38,p-}
				{-# L #-}
				ds_d1Zk =
				    PrelBase.C#{-54,p-}{i}
					{'d'}
			      } in 
				PrelTup.(,){-62,p-}{i}
				    {_@_ PrelBase.Char{-38,p-}
				     _@_ PrelBase.Char{-38,p-}
				     ds_d1Zg
				     ds_d1Zk}
			    } in
			    PrelTup.(,){-62,p-}{i}
				{_@_ PrelBase.Char{-38,p-}
				 _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
				 ds_d1YW
				 ds_d1Z0}
			  } in
			  PrelTup.(,){-62,p-}{i}
			      {_@_ PrelBase.Char{-38,p-}
			       _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
			       ds_d1YC
			       ds_d1YG};
		    };
	      };
	}
    } in
    case ds_d1Zt of { PrelTup.(,){-62,p-}{i} x4_a12r ds_d1ZC  ->
    case ds_d1ZC of { PrelTup.(,){-62,p-}{i} y4_a12s ds_d1ZL  ->
    case ds_d1ZL of { PrelTup.(,){-62,p-}{i} z4_a12t a4_a12u  ->
    PrelTup.(,,,){-64,p-}{i}
	{_@_ PrelBase.Char{-38,p-}
	 _@_ PrelBase.Char{-38,p-}
	 _@_ PrelBase.Char{-38,p-}
	 _@_ PrelBase.Char{-38,p-}
	 x4_a12r
	 y4_a12s
	 z4_a12t
	 a4_a12u};};};}
x4_a12r  :: 
    PrelBase.Char{-38,p-}
{-# L #-}
x4_a12r =
    case
	ds_d1Q9
    of {
    PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u  ->
    x4_a12r;}
y4_a12s  :: 
    PrelBase.Char{-38,p-}
{-# L #-}
y4_a12s =
    case
	ds_d1Q9
    of {
    PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u  ->
    y4_a12s;}
z4_a12t  :: 
    PrelBase.Char{-38,p-}
{-# L #-}
z4_a12t =
    case
	ds_d1Q9
    of {
    PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u  ->
    z4_a12t;}
a4_a12u  :: 
    PrelBase.Char{-38,p-}
{-# L #-}
a4_a12u =
    case
	ds_d1Q9
    of {
    PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u  ->
    a4_a12u;}
x4{-r4f,x-}  :: 
    PrelBase.Char{-38,p-}
{-# L #-}
x4{-r4f,x-} =
    x4_a12r
y4{-r4e,x-}  :: 
    PrelBase.Char{-38,p-}
{-# L #-}
y4{-r4e,x-} =
    y4_a12s
z4{-r4d,x-}  :: 
    PrelBase.Char{-38,p-}
{-# L #-}
z4{-r4d,x-} =
    z4_a12t
a4{-r4c,x-}  :: 
    PrelBase.Char{-38,p-}
{-# L #-}
a4{-r4c,x-} =
    a4_a12u
lit_a1QK  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
lit_a1QK =
    lit_a1gZ
ds_d1QP  :: 
    (PrelBase.Int{-3g,p-}, PrelBase.Int{-3g,p-})
{-# L #-}
ds_d1QP =
    case
	>_a1h0
	    x3_a148 lit_a1gZ
    of {
      PrelBase.True{-5E,p-}{i} ->
	  PrelTup.(,){-62,p-}{i}
	      {_@_ PrelBase.Int{-3g,p-}
	       _@_ PrelBase.Int{-3g,p-}
	       lit_a1gY
	       lit_a1gW};
      PrelBase.False{-58,p-}{i} ->
	  case
	      <=_a1gV
		  x3_a148 lit_a1QK
	  of {
	    PrelBase.True{-5E,p-}{i} ->
		PrelTup.(,){-62,p-}{i}
		    {_@_ PrelBase.Int{-3g,p-}
		     _@_ PrelBase.Int{-3g,p-}
		     lit_a1gU
		     lit_a1gT};
	    PrelBase.False{-58,p-}{i} ->
		GHCerr.nonExhaustiveGuardsError{-8l,p-}
		    _@_ (PrelBase.Int{-3g,p-}, PrelBase.Int{-3g,p-})
		    _string_ "ds020.hs:42|";
	  };
    }
x3_a148  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
x3_a148 =
    case ds_d1QP of { PrelTup.(,){-62,p-}{i} x3_a148 y3_a149  ->
    x3_a148;}
y3_a149  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
y3_a149 =
    case ds_d1QP of { PrelTup.(,){-62,p-}{i} x3_a148 y3_a149  ->
    y3_a149;}
x3{-r4h,x-}  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
x3{-r4h,x-} =
    x3_a148
y3{-r4g,x-}  :: 
    PrelBase.Int{-3g,p-}
{-# L #-}
y3{-r4g,x-} =
    y3_a149
ds_d1Ra  :: 
    _forall_ [t{-a16h-}] => (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
{-# L #-}
ds_d1Ra =
    _/\_ t{-a16h-} ->
	_letrec_ {
	  ==_a1mv  :: 
	      PrelBase.Int{-3g,p-}
	      -> PrelBase.Int{-3g,p-}
	      -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  ==_a1mv =
	      ==_a1h7;
	  ==_a1mu  :: 
	      PrelBase.Int{-3g,p-}
	      -> PrelBase.Int{-3g,p-}
	      -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  ==_a1mu =
	      ==_a1h7;
	  lit_a1mt  :: 
	      PrelBase.Int{-3g,p-}
	  {-# L #-}
	  lit_a1mt =
	      lit_a1h3;
	  lit_a1ms  :: 
	      PrelBase.Int{-3g,p-}
	  {-# L #-}
	  lit_a1ms =
	      lit_a1h5;
	  ds_d22I  :: 
	      (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
	  {-# L #-}
	  ds_d22I =
	      let { ds_d257  :: 
			[t{-a16h-}]
		    {-# L #-}
		    ds_d257 =
		let {
		  eq4_a158  :: 
		      PrelBase.Bool{-34,p-}
		  {-# L #-}
		  eq4_a158 =
		      ==_a1mu
			  lit_a1mt lit_a1ms } in
		let {
		  eq4_r41  :: 
		      PrelBase.Bool{-34,p-}
		  {-# L #-}
		  eq4_r41 =
		      eq4_a158 } in
		let {
		  lit_a23v  :: 
		      PrelBase.Int{-3g,p-}
		  {-# L #-}
		  lit_a23v =
		      lit_a1h1 } in
		let {
		  eq3_a15w  :: 
		      PrelBase.Bool{-34,p-}
		  {-# L #-}
		  eq3_a15w =
		      ==_a1mv
			  lit_a1h1 lit_a23v } in
		let {
		  eq3_r40  :: 
		      PrelBase.Bool{-34,p-}
		  {-# L #-}
		  eq3_r40 =
		      eq3_a15w } in
		let {
		  eq2_a15S  :: 
		      PrelBase.Bool{-34,p-}
		  {-# L #-}
		  eq2_a15S =
		      ==_a1h7
			  lit_a1h5 lit_a1h3 } in
		let {
		  eq2_r3Z  :: 
		      PrelBase.Bool{-34,p-}
		  {-# L #-}
		  eq2_r3Z =
		      eq2_a15S
		} in 
		  case eq2_r3Z of {
		    PrelBase.True{-5E,p-}{i} ->
			PrelBase.[]{-5i,p-}{i}
			    _@_ t{-a16h-};
		    PrelBase.False{-58,p-}{i} ->
			case eq3_r40 of {
			  PrelBase.True{-5E,p-}{i} ->
			      let {
				ds_d24m  :: 
				    [t{-a16h-}]
				{-# L #-}
				ds_d24m =
				    PrelBase.[]{-5i,p-}{i}
					{_@_ t{-a16h-}}
			      } in 
				PrelBase.:{-55,p-}{i}
				    {_@_ t{-a16h-} x2_a14U ds_d24m};
			  PrelBase.False{-58,p-}{i} ->
			      case eq4_r41 of {
				PrelBase.True{-5E,p-}{i} ->
				    let {
				      ds_d24M  :: 
					  [t{-a16h-}]
				      {-# L #-}
				      ds_d24M =
					  PrelBase.[]{-5i,p-}{i}
					      {_@_ t{-a16h-}}
				    } in 
				      PrelBase.:{-55,p-}{i}
					  {_@_ t{-a16h-} x2_a14U ds_d24M};
				PrelBase.False{-58,p-}{i} ->
				    PrelBase.[]{-5i,p-}{i}
					_@_ t{-a16h-};
			      };
			};
		  }
	      } in
	      let {
		fail_d258  :: 
		    (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
		{-# L #-}
		fail_d258 =
		    GHCerr.irrefutPatError{-8g,p-}
			_@_ (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
			_string_ "ds020.hs:39|(x2 PrelBase.: (xs2 PrelBase.: ys2))"
	      } in 
		case ds_d257 of {
		  PrelBase.[]{-5i,p-}{i} ->
		      fail_d258;
		  PrelBase.:{-55,p-}{i} x2_a14U ds_d25l ->
		      case ds_d25l of {
			PrelBase.[]{-5i,p-}{i} ->
			    fail_d258;
			PrelBase.:{-55,p-}{i} xs2_a14V ys2_a14W ->
			    PrelTup.(,,){-63,p-}{i}
				{_@_ t{-a16h-}
				 _@_ t{-a16h-}
				 _@_ [t{-a16h-}]
				 x2_a14U
				 xs2_a14V
				 ys2_a14W};
		      };
		};
	  x2_a14U  :: 
	      t{-a16h-}
	  {-# L #-}
	  x2_a14U =
	      case
		  ds_d22I
	      of {
	      PrelTup.(,,){-63,p-}{i} x2_a14U xs2_a14V ys2_a14W  ->
	      x2_a14U;};
	  xs2_a14V  :: 
	      t{-a16h-}
	  {-# L #-}
	  xs2_a14V =
	      case
		  ds_d22I
	      of {
	      PrelTup.(,,){-63,p-}{i} x2_a14U xs2_a14V ys2_a14W  ->
	      xs2_a14V;};
	  ys2_a14W  :: 
	      [t{-a16h-}]
	  {-# L #-}
	  ys2_a14W =
	      case
		  ds_d22I
	      of {
	      PrelTup.(,,){-63,p-}{i} x2_a14U xs2_a14V ys2_a14W  ->
	      ys2_a14W;};
	} in 
	  PrelTup.(,,){-63,p-}{i}
	      {_@_ t{-a16h-}
	       _@_ t{-a16h-}
	       _@_ [t{-a16h-}]
	       x2_a14U
	       xs2_a14V
	       ys2_a14W}
x2{-r4k,x-}  :: 
    _forall_ [t{-a16h-}] => t{-a16h-}
{-# L #-}
x2{-r4k,x-} =
    _/\_ t{-a16h-} ->
	case
	    ds_d1Ra
		_@_ t{-a16h-}
	of {
	PrelTup.(,,){-63,p-}{i} ds_d26G ds_d26I ds_d26H  ->
	ds_d26G;}
xs2{-r4j,x-}  :: 
    _forall_ [t{-a16h-}] => t{-a16h-}
{-# L #-}
xs2{-r4j,x-} =
    _/\_ t{-a16h-} ->
	case
	    ds_d1Ra
		_@_ t{-a16h-}
	of {
	PrelTup.(,,){-63,p-}{i} ds_d26Z ds_d26X ds_d26Y  ->
	ds_d26X;}
ys2{-r4i,x-}  :: 
    _forall_ [t{-a16h-}] => [t{-a16h-}]
{-# L #-}
ys2{-r4i,x-} =
    _/\_ t{-a16h-} ->
	case
	    ds_d1Ra
		_@_ t{-a16h-}
	of {
	PrelTup.(,,){-63,p-}{i} ds_d27g ds_d27f ds_d27e  ->
	ds_d27e;}
ds_d1Rr  :: 
    _forall_ [t{-a16I-}] => (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
{-# L #-}
ds_d1Rr =
    _/\_ t{-a16I-} ->
	let { ds_d28P  :: 
		  (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
	      {-# L #-}
	      ds_d28P =
	  let {
	    ds_d27Z  :: 
		[t{-a16I-}]
	    {-# L #-}
	    ds_d27Z =
		PrelBase.[]{-5i,p-}{i}
		    _@_ t{-a16I-} } in
	  let {
	    fail_d280  :: 
		(t{-a16I-}, t{-a16I-}, [t{-a16I-}])
	    {-# L #-}
	    fail_d280 =
		GHCerr.irrefutPatError{-8g,p-}
		    _@_ (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
		    _string_ "ds020.hs:30|(~x PrelBase.: (~xs PrelBase.: ~ys))"
	  } in 
	    case ds_d27Z of {
	      PrelBase.[]{-5i,p-}{i} ->
		  fail_d280;
	      PrelBase.:{-55,p-}{i} x_a16u ds_d28d ->
		  case ds_d28d of {
		    PrelBase.[]{-5i,p-}{i} ->
			fail_d280;
		    PrelBase.:{-55,p-}{i} xs_a16v ys_a16w ->
			let {
			  ys_a16w  :: 
			      [t{-a16I-}]
			  {-# L #-}
			  ys_a16w =
			      ys_a16w } in
			let {
			  xs_a16v  :: 
			      t{-a16I-}
			  {-# L #-}
			  xs_a16v =
			      xs_a16v } in
			let {
			  x_a16u  :: 
			      t{-a16I-}
			  {-# L #-}
			  x_a16u =
			      x_a16u
			} in 
			  PrelTup.(,,){-63,p-}{i}
			      {_@_ t{-a16I-}
			       _@_ t{-a16I-}
			       _@_ [t{-a16I-}]
			       x_a16u
			       xs_a16v
			       ys_a16w};
		  };
	    }
	} in
	let {
	  x_a16u  :: 
	      t{-a16I-}
	  {-# L #-}
	  x_a16u =
	      case
		  ds_d28P
	      of {
	      PrelTup.(,,){-63,p-}{i} x_a16u xs_a16v ys_a16w  ->
	      x_a16u;} } in
	let {
	  xs_a16v  :: 
	      t{-a16I-}
	  {-# L #-}
	  xs_a16v =
	      case
		  ds_d28P
	      of {
	      PrelTup.(,,){-63,p-}{i} x_a16u xs_a16v ys_a16w  ->
	      xs_a16v;} } in
	let {
	  ys_a16w  :: 
	      [t{-a16I-}]
	  {-# L #-}
	  ys_a16w =
	      case
		  ds_d28P
	      of {
	      PrelTup.(,,){-63,p-}{i} x_a16u xs_a16v ys_a16w  ->
	      ys_a16w;}
	} in 
	  PrelTup.(,,){-63,p-}{i}
	      {_@_ t{-a16I-}
	       _@_ t{-a16I-}
	       _@_ [t{-a16I-}]
	       x_a16u
	       xs_a16v
	       ys_a16w}
x{-r4n,x-}  :: 
    _forall_ [t{-a16I-}] => t{-a16I-}
{-# L #-}
x{-r4n,x-} =
    _/\_ t{-a16I-} ->
	case
	    ds_d1Rr
		_@_ t{-a16I-}
	of {
	PrelTup.(,,){-63,p-}{i} ds_d29s ds_d29u ds_d29t  ->
	ds_d29s;}
xs{-r4m,x-}  :: 
    _forall_ [t{-a16I-}] => t{-a16I-}
{-# L #-}
xs{-r4m,x-} =
    _/\_ t{-a16I-} ->
	case
	    ds_d1Rr
		_@_ t{-a16I-}
	of {
	PrelTup.(,,){-63,p-}{i} ds_d29L ds_d29J ds_d29K  ->
	ds_d29J;}
ys{-r4l,x-}  :: 
    _forall_ [t{-a16I-}] => [t{-a16I-}]
{-# L #-}
ys{-r4l,x-} =
    _/\_ t{-a16I-} ->
	case
	    ds_d1Rr
		_@_ t{-a16I-}
	of {
	PrelTup.(,,){-63,p-}{i} ds_d2a2 ds_d2a1 ds_d2a0  ->
	ds_d2a0;}
ds_d1RI  :: 
    _forall_ [t{-a16Y-}] => (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
{-# L #-}
ds_d1RI =
    _/\_ t{-a16Y-} ->
	let { ds_d2bs  :: 
		  (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
	      {-# L #-}
	      ds_d2bs =
	  let {
	    ds_d2aL  :: 
		[t{-a16Y-}]
	    {-# L #-}
	    ds_d2aL =
		PrelBase.[]{-5i,p-}{i}
		    _@_ t{-a16Y-} } in
	  let {
	    fail_d2aM  :: 
		(t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
	    {-# L #-}
	    fail_d2aM =
		GHCerr.irrefutPatError{-8g,p-}
		    _@_ (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
		    _string_ "ds020.hs:29|(x1 PrelBase.: (xs1 PrelBase.: ys1))"
	  } in 
	    case ds_d2aL of {
	      PrelBase.[]{-5i,p-}{i} ->
		  fail_d2aM;
	      PrelBase.:{-55,p-}{i} x1_a16K ds_d2aZ ->
		  case ds_d2aZ of {
		    PrelBase.[]{-5i,p-}{i} ->
			fail_d2aM;
		    PrelBase.:{-55,p-}{i} xs1_a16L ys1_a16M ->
			PrelTup.(,,){-63,p-}{i}
			    {_@_ t{-a16Y-}
			     _@_ t{-a16Y-}
			     _@_ [t{-a16Y-}]
			     x1_a16K
			     xs1_a16L
			     ys1_a16M};
		  };
	    }
	} in
	let {
	  x1_a16K  :: 
	      t{-a16Y-}
	  {-# L #-}
	  x1_a16K =
	      case
		  ds_d2bs
	      of {
	      PrelTup.(,,){-63,p-}{i} x1_a16K xs1_a16L ys1_a16M  ->
	      x1_a16K;} } in
	let {
	  xs1_a16L  :: 
	      t{-a16Y-}
	  {-# L #-}
	  xs1_a16L =
	      case
		  ds_d2bs
	      of {
	      PrelTup.(,,){-63,p-}{i} x1_a16K xs1_a16L ys1_a16M  ->
	      xs1_a16L;} } in
	let {
	  ys1_a16M  :: 
	      [t{-a16Y-}]
	  {-# L #-}
	  ys1_a16M =
	      case
		  ds_d2bs
	      of {
	      PrelTup.(,,){-63,p-}{i} x1_a16K xs1_a16L ys1_a16M  ->
	      ys1_a16M;}
	} in 
	  PrelTup.(,,){-63,p-}{i}
	      {_@_ t{-a16Y-}
	       _@_ t{-a16Y-}
	       _@_ [t{-a16Y-}]
	       x1_a16K
	       xs1_a16L
	       ys1_a16M}
x1{-r4q,x-}  :: 
    _forall_ [t{-a16Y-}] => t{-a16Y-}
{-# L #-}
x1{-r4q,x-} =
    _/\_ t{-a16Y-} ->
	case
	    ds_d1RI
		_@_ t{-a16Y-}
	of {
	PrelTup.(,,){-63,p-}{i} ds_d2c5 ds_d2c7 ds_d2c6  ->
	ds_d2c5;}
xs1{-r4p,x-}  :: 
    _forall_ [t{-a16Y-}] => t{-a16Y-}
{-# L #-}
xs1{-r4p,x-} =
    _/\_ t{-a16Y-} ->
	case
	    ds_d1RI
		_@_ t{-a16Y-}
	of {
	PrelTup.(,,){-63,p-}{i} ds_d2co ds_d2cm ds_d2cn  ->
	ds_d2cm;}
ys1{-r4o,x-}  :: 
    _forall_ [t{-a16Y-}] => [t{-a16Y-}]
{-# L #-}
ys1{-r4o,x-} =
    _/\_ t{-a16Y-} ->
	case
	    ds_d1RI
		_@_ t{-a16Y-}
	of {
	PrelTup.(,,){-63,p-}{i} ds_d2cF ds_d2cE ds_d2cD  ->
	ds_d2cD;}
ds_d1RZ  :: 
    PrelBase.(){-40,p-}
{-# L #-}
ds_d1RZ =
    let { ds_d2dp  :: 
	      ([GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}])
	  {-# L #-}
	  ds_d2dp =
      let {
	ds_d2cZ  :: 
	    [GHC.Void{-3T,p-}]
	{-# L #-}
	ds_d2cZ =
	    PrelBase.[]{-5i,p-}{i}
		_@_ GHC.Void{-3T,p-} } in
      let {
	ds_d2d3  :: 
	    [GHC.Void{-3T,p-}]
	{-# L #-}
	ds_d2d3 =
	    PrelBase.[]{-5i,p-}{i}
		_@_ GHC.Void{-3T,p-} } in
      let {
	ds_d2d7  :: 
	    [GHC.Void{-3T,p-}]
	{-# L #-}
	ds_d2d7 =
	    PrelBase.[]{-5i,p-}{i}
		_@_ GHC.Void{-3T,p-}
      } in 
	PrelTup.(,,){-63,p-}{i}
	    {_@_ [GHC.Void{-3T,p-}]
	     _@_ [GHC.Void{-3T,p-}]
	     _@_ [GHC.Void{-3T,p-}]
	     ds_d2cZ
	     ds_d2d3
	     ds_d2d7}
    } in
    case
	ds_d2dp
    of {
    PrelTup.(,,){-63,p-}{i} ds_d2dQ ds_d2dP ds_d2dO  ->
    let { ds_d2eg  :: 
	      PrelBase.(){-40,p-}
	  {-# L #-}
	  ds_d2eg =
      let {
	fail_d2dR  :: 
	    PrelBase.(){-40,p-}
	{-# L #-}
	fail_d2dR =
	    GHCerr.irrefutPatError{-8g,p-}
		_@_ PrelBase.(){-40,p-} _string_ "ds020.hs:27|PrelBase.[]"
      } in 
	case ds_d2dO of {
	  PrelBase.:{-55,p-}{i} ds_d2dZ ds_d2dY ->
	      fail_d2dR;
	  PrelBase.[]{-5i,p-}{i} ->
	      PrelBase.(){-60,p-}{i}
		  {};
	}
    } in
    let { ds_d2eG  :: 
	      PrelBase.(){-40,p-}
	  {-# L #-}
	  ds_d2eG =
      let {
	fail_d2eh  :: 
	    PrelBase.(){-40,p-}
	{-# L #-}
	fail_d2eh =
	    GHCerr.irrefutPatError{-8g,p-}
		_@_ PrelBase.(){-40,p-} _string_ "ds020.hs:27|PrelBase.[]"
      } in 
	case ds_d2dP of {
	  PrelBase.:{-55,p-}{i} ds_d2ep ds_d2eo ->
	      fail_d2eh;
	  PrelBase.[]{-5i,p-}{i} ->
	      PrelBase.(){-60,p-}{i}
		  {};
	}
    } in
    let { ds_d2uC  :: 
	      PrelBase.(){-40,p-}
	  {-# L #-}
	  ds_d2uC =
      let {
	fail_d2eH  :: 
	    PrelBase.(){-40,p-}
	{-# L #-}
	fail_d2eH =
	    GHCerr.irrefutPatError{-8g,p-}
		_@_ PrelBase.(){-40,p-} _string_ "ds020.hs:27|PrelBase.[]"
      } in 
	case ds_d2dQ of {
	  PrelBase.:{-55,p-}{i} ds_d2eP ds_d2eO ->
	      fail_d2eH;
	  PrelBase.[]{-5i,p-}{i} ->
	      PrelBase.(){-60,p-}{i}
		  {};
	}
    } in
    PrelBase.(){-60,p-}{i}
	{};}
ds_d1S4  :: 
    PrelBase.(){-40,p-}
{-# L #-}
ds_d1S4 =
    let { ds_d2fM  :: 
	      ([GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}])
	  {-# L #-}
	  ds_d2fM =
      let {
	ds_d2ff  :: 
	    [GHC.Void{-3T,p-}]
	{-# L #-}
	ds_d2ff =
	    PrelBase.[]{-5i,p-}{i}
		_@_ GHC.Void{-3T,p-} } in
      let {
	ds_d2fj  :: 
	    [GHC.Void{-3T,p-}]
	{-# L #-}
	ds_d2fj =
	    PrelBase.[]{-5i,p-}{i}
		_@_ GHC.Void{-3T,p-} } in
      let {
	ds_d2fn  :: 
	    [GHC.Void{-3T,p-}]
	{-# L #-}
	ds_d2fn =
	    PrelBase.[]{-5i,p-}{i}
		_@_ GHC.Void{-3T,p-}
      } in 
	PrelTup.(,,){-63,p-}{i}
	    {_@_ [GHC.Void{-3T,p-}]
	     _@_ [GHC.Void{-3T,p-}]
	     _@_ [GHC.Void{-3T,p-}]
	     ds_d2ff
	     ds_d2fj
	     ds_d2fn}
    } in
    let {
      fail_d2fN  :: 
	  PrelBase.(){-40,p-}
      {-# L #-}
      fail_d2fN =
	  GHCerr.irrefutPatError{-8g,p-}
	      _@_ PrelBase.(){-40,p-}
	      _string_ "ds020.hs:26|(PrelBase.[], PrelBase.[], PrelBase.[])"
    } in 
      case
	  ds_d2fM
      of {
      PrelTup.(,,){-63,p-}{i} ds_d2fW ds_d2fY ds_d2fX  ->
      case ds_d2fW of {
	PrelBase.:{-55,p-}{i} ds_d2g6 ds_d2g5 ->
	    fail_d2fN;
	PrelBase.[]{-5i,p-}{i} ->
	    case ds_d2fY of {
	      PrelBase.:{-55,p-}{i} ds_d2gk ds_d2gj ->
		  fail_d2fN;
	      PrelBase.[]{-5i,p-}{i} ->
		  case ds_d2fX of {
		    PrelBase.:{-55,p-}{i} ds_d2gy ds_d2gx ->
			fail_d2fN;
		    PrelBase.[]{-5i,p-}{i} ->
			PrelBase.(){-60,p-}{i}
			    {};
		  };
	    };
      };}
g{-r4r,x-}  :: 
    _forall_ [t{-a17G-} t{-a17I-}] => [t{-a17G-}] -> [t{-a17I-}]
{-# L #-}
g{-r4r,x-} =
    _/\_ t{-a17G-} t{-a17I-} -> \ ds_d2ha  :: 
				      [t{-a17G-}]
				  {-# L #-}
				  ds_d2ha ->
	let { ds_d2uD  :: 
		  PrelBase.(){-40,p-}
	      {-# L #-}
	      ds_d2uD =
	  let { ds_d2uE  :: 
		    PrelBase.(){-40,p-}
		{-# L #-}
		ds_d2uE =
	    let { ds_d2uF  :: 
		      PrelBase.(){-40,p-}
		  {-# L #-}
		  ds_d2uF =
	      let { ds_d2uG  :: 
			PrelBase.(){-40,p-}
		    {-# L #-}
		    ds_d2uG =
		let {
		  fail_d2hb  :: 
		      PrelBase.(){-40,p-}
		  {-# L #-}
		  fail_d2hb =
		      GHCerr.irrefutPatError{-8g,p-}
			  _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:22|PrelBase.[]"
		} in 
		  case ds_d2ha of {
		    PrelBase.:{-55,p-}{i} ds_d2hj ds_d2hi ->
			fail_d2hb;
		    PrelBase.[]{-5i,p-}{i} ->
			PrelBase.(){-60,p-}{i}
			    {};
		  }
	      } in
	      PrelBase.(){-60,p-}{i}
		  {}
	    } in
	    PrelBase.(){-60,p-}{i}
		{}
	  } in
	  PrelBase.(){-60,p-}{i}
	      {}
	} in
	PrelBase.[]{-5i,p-}{i}
	    _@_ t{-a17I-}
f{-r4s,x-}  :: 
    _forall_ [t{-a17W-} t{-a17Y-}] => [t{-a17W-}] -> [t{-a17Y-}]
{-# L #-}
f{-r4s,x-} =
    _/\_ t{-a17W-} t{-a17Y-} -> \ x_r3U  :: 
				      [t{-a17W-}]
				  {-# L #-}
				  x_r3U ->
	let { x_r3U  :: 
		  [t{-a17W-}]
	      {-# L #-}
	      x_r3U =
	  let {
	    fail_d2hN  :: 
		[t{-a17W-}]
	    {-# L #-}
	    fail_d2hN =
		GHCerr.irrefutPatError{-8g,p-}
		    _@_ [t{-a17W-}] _string_ "ds020.hs:19|(x@PrelBase.[])"
	  } in 
	    case x_r3U of {
	      PrelBase.:{-55,p-}{i} ds_d2hV ds_d2hU ->
		  fail_d2hN;
	      PrelBase.[]{-5i,p-}{i} ->
		  x_r3U;
	    }
	} in
	PrelBase.[]{-5i,p-}{i}
	    _@_ t{-a17Y-}
d{-r4t,x-}  :: 
    _forall_
    [t{-a18b-} t{-a18D-}]
    =>
    {PrelBase.Num{-2c,p-} t{-a18b-}}
    -> {PrelBase.Num{-2c,p-} t{-a18D-}}
    -> {PrelBase.Ord{-2d,p-} t{-a18b-}}
    -> t{-a18b-}
    -> t{-a18D-}
{-# L #-}
d{-r4t,x-} =
    _/\_ t{-a18b-} t{-a18D-} -> \ d.Num_a18H  :: 
				      {PrelBase.Num{-2c,p-} t{-a18b-}}
				  {-# L #-}
				  d.Num_a18H d.Num_a18M  :: 
						 {PrelBase.Num{-2c,p-} t{-a18D-}}
					     {-# L #-}
					     d.Num_a18M d.Ord_a18R  :: 
							    {PrelBase.Ord{-2d,p-} t{-a18b-}}
							{-# L #-}
							d.Ord_a18R ->
	let {
	  d.Eq_a18J  :: 
	      {PrelBase.Eq{-23,p-} t{-a18b-}}
	  {-# L #-}
	  d.Eq_a18J =
	      PrelBase.scsel_OrdPrelBaseEq{-a2jI,p-}
		  _@_ t{-a18b-} d.Ord_a18R } in
	let {
	  fromInt_a2jy  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18b-}
	  {-# L #-}
	  fromInt_a2jy =
	      PrelBase.fromInt{-8R,p-}
		  _@_ t{-a18b-} d.Num_a18H } in
	let { lit_a2jx  :: 
		  t{-a18b-}
	      {-# L #-}
	      lit_a2jx =
	  let {
	    ds_d2jX  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2jX =
		PrelBase.I#{-5b,p-}{i}
		    11
	  } in 
	    fromInt_a2jy
		ds_d2jX
	} in
	let {
	  ==_a2jw  :: 
	      t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  ==_a2jw =
	      PrelBase.=={-8Y,p-}
		  _@_ t{-a18b-} d.Eq_a18J } in
	let {
	  fromInt_a2jv  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18D-}
	  {-# L #-}
	  fromInt_a2jv =
	      PrelBase.fromInt{-8R,p-}
		  _@_ t{-a18D-} d.Num_a18M } in
	let { lit_a2ju  :: 
		  t{-a18D-}
	      {-# L #-}
	      lit_a2ju =
	  let {
	    ds_d2kr  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2kr =
		PrelBase.I#{-5b,p-}{i}
		    4
	  } in 
	    fromInt_a2jv
		ds_d2kr
	} in
	let {
	  fromInt_a2jt  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18b-}
	  {-# L #-}
	  fromInt_a2jt =
	      fromInt_a2jy } in
	let { lit_a2js  :: 
		  t{-a18b-}
	      {-# L #-}
	      lit_a2js =
	  let {
	    ds_d2kG  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2kG =
		PrelBase.I#{-5b,p-}{i}
		    12
	  } in 
	    fromInt_a2jt
		ds_d2kG
	} in
	let {
	  ==_a2jr  :: 
	      t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  ==_a2jr =
	      ==_a2jw } in
	let {
	  fromInt_a2jq  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18D-}
	  {-# L #-}
	  fromInt_a2jq =
	      fromInt_a2jv } in
	let { lit_a2jp  :: 
		  t{-a18D-}
	      {-# L #-}
	      lit_a2jp =
	  let {
	    ds_d2kW  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2kW =
		PrelBase.I#{-5b,p-}{i}
		    3
	  } in 
	    fromInt_a2jq
		ds_d2kW
	} in
	let {
	  fromInt_a2jo  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18b-}
	  {-# L #-}
	  fromInt_a2jo =
	      fromInt_a2jy } in
	let { lit_a2jn  :: 
		  t{-a18b-}
	      {-# L #-}
	      lit_a2jn =
	  let {
	    ds_d2lb  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2lb =
		PrelBase.I#{-5b,p-}{i}
		    4
	  } in 
	    fromInt_a2jo
		ds_d2lb
	} in
	let {
	  >=_a2jm  :: 
	      t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  >=_a2jm =
	      PrelBase.>={-8Z,p-}
		  _@_ t{-a18b-} d.Ord_a18R } in
	let {
	  d.Num_a18T  :: 
	      {PrelBase.Num{-2c,p-} t{-a18b-}}
	  {-# L #-}
	  d.Num_a18T =
	      d.Num_a18H } in
	let {
	  -_a2jl  :: 
	      t{-a18b-} -> t{-a18b-} -> t{-a18b-}
	  {-# L #-}
	  -_a2jl =
	      PrelBase.-{-817,p-}
		  _@_ t{-a18b-} d.Num_a18T } in
	let {
	  fromInt_a2jk  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18D-}
	  {-# L #-}
	  fromInt_a2jk =
	      fromInt_a2jv } in
	let { lit_a2jj  :: 
		  t{-a18D-}
	      {-# L #-}
	      lit_a2jj =
	  let {
	    ds_d2lH  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2lH =
		PrelBase.I#{-5b,p-}{i}
		    2
	  } in 
	    fromInt_a2jk
		ds_d2lH
	} in
	let {
	  fromInt_a2ji  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18b-}
	  {-# L #-}
	  fromInt_a2ji =
	      fromInt_a2jy } in
	let { lit_a2jh  :: 
		  t{-a18b-}
	      {-# L #-}
	      lit_a2jh =
	  let {
	    ds_d2lW  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2lW =
		PrelBase.I#{-5b,p-}{i}
		    43
	  } in 
	    fromInt_a2ji
		ds_d2lW
	} in
	let {
	  >=_a2jg  :: 
	      t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  >=_a2jg =
	      >=_a2jm } in
	let {
	  -_a2jf  :: 
	      t{-a18b-} -> t{-a18b-} -> t{-a18b-}
	  {-# L #-}
	  -_a2jf =
	      -_a2jl } in
	let {
	  fromInt_a2je  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18D-}
	  {-# L #-}
	  fromInt_a2je =
	      fromInt_a2jv } in
	let { lit_a2jd  :: 
		  t{-a18D-}
	      {-# L #-}
	      lit_a2jd =
	  let {
	    ds_d2md  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2md =
		PrelBase.I#{-5b,p-}{i}
		    1
	  } in 
	    fromInt_a2je
		ds_d2md
	} in
	let {
	  fromInt_a2jc  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18b-}
	  {-# L #-}
	  fromInt_a2jc =
	      fromInt_a2jy } in
	let { lit_a2jb  :: 
		  t{-a18b-}
	      {-# L #-}
	      lit_a2jb =
	  let {
	    ds_d2ms  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2ms =
		PrelBase.I#{-5b,p-}{i}
		    999
	  } in 
	    fromInt_a2jc
		ds_d2ms
	} in
	let {
	  >=_a2ja  :: 
	      t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  >=_a2ja =
	      >=_a2jm } in
	let {
	  -_a2j9  :: 
	      t{-a18b-} -> t{-a18b-} -> t{-a18b-}
	  {-# L #-}
	  -_a2j9 =
	      -_a2jl } in
	let {
	  fromInt_a2j8  :: 
	      PrelBase.Int{-3g,p-} -> t{-a18D-}
	  {-# L #-}
	  fromInt_a2j8 =
	      fromInt_a2jv } in
	let { lit_a2j7  :: 
		  t{-a18D-}
	      {-# L #-}
	      lit_a2j7 =
	  let {
	    ds_d2mJ  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2mJ =
		PrelBase.I#{-5b,p-}{i}
		    0
	  } in 
	    fromInt_a2j8
		ds_d2mJ
	} in
	\ ds_d2ng  :: 
	      t{-a18b-}
	  {-# L #-}
	  ds_d2ng ->
	    let { fail_d2o7  :: 
		      t{-a18D-}
		  {-# L #-}
		  fail_d2o7 =
	      let { ds_d2n0  :: 
			PrelBase.(){-40,p-}
		    {-# L #-}
		    ds_d2n0 =
		let {
		  fail_d2nt  :: 
		      PrelBase.(){-40,p-}
		  {-# L #-}
		  fail_d2nt =
		      GHCerr.irrefutPatError{-8g,p-}
			  _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:13|(n+4)"
		} in 
		  case
		      (\ ds_d2nn  :: 
			     t{-a18b-}
			 {-# L #-}
			 ds_d2nn ->
			   >=_a2jm
			       ds_d2nn lit_a2jn)
			  ds_d2ng
		  of {
		    PrelBase.True{-5E,p-}{i} ->
			let {
			  n_r3O  :: 
			      t{-a18b-}
			  {-# L #-}
			  n_r3O =
			      (\ ds_d2nM  :: 
				     t{-a18b-}
				 {-# L #-}
				 ds_d2nM ->
				   -_a2jl
				       ds_d2nM lit_a2jn)
				  ds_d2ng
			} in 
			  PrelBase.(){-60,p-}{i}
			      {};
		    PrelBase.False{-58,p-}{i} ->
			fail_d2nt;
		  }
	      } in
	      lit_a2jj
	    } in
	    let {
	      fail_d2or  :: 
		  t{-a18D-}
	      {-# L #-}
	      fail_d2or =
		  case
		      ==_a2jr
			  lit_a2js ds_d2ng
		  of {
		    PrelBase.True{-5E,p-}{i} ->
			lit_a2jp;
		    PrelBase.False{-58,p-}{i} ->
			fail_d2o7;
		  }
	    } in 
	      case
		  ==_a2jw
		      lit_a2jx ds_d2ng
	      of {
		PrelBase.True{-5E,p-}{i} ->
		    lit_a2ju;
		PrelBase.False{-58,p-}{i} ->
		    fail_d2or;
	      }
c{-r4u,x-}  :: 
    _forall_
    [t{-a19h-} t{-a19j-} t{-a199-} t{-a19d-}]
    =>
    {PrelNum.Fractional{-26,p-} t{-a19d-}}
    -> {PrelBase.Num{-2c,p-} t{-a199-}}
    -> t{-a19h-}
    -> t{-a19j-}
    -> t{-a199-}
    -> t{-a19d-}
    -> t{-a19h-}
{-# L #-}
c{-r4u,x-} =
    _/\_ t{-a19h-} t{-a19j-} t{-a199-} t{-a19d-} -> \ d.Fractional_a19r  :: 
							  {PrelNum.Fractional{-26,p-} t{-a19d-}}
						      {-# L #-}
						      d.Fractional_a19r d.Num_a19m  :: 
									    {PrelBase.Num{-2c,p-} t{-a199-}}
									{-# L #-}
									d.Num_a19m ->
	let {
	  d.Eq_a19o  :: 
	      {PrelBase.Eq{-23,p-} t{-a199-}}
	  {-# L #-}
	  d.Eq_a19o =
	      PrelBase.scsel_NumPrelBaseEq{-a2pi,p-}
		  _@_ t{-a199-} d.Num_a19m } in
	let {
	  d.Num_a1b5  :: 
	      {PrelBase.Num{-2c,p-} t{-a19d-}}
	  {-# L #-}
	  d.Num_a1b5 =
	      PrelNum.scsel_FractionalPrelBaseNum{-a2pr,p-}
		  _@_ t{-a19d-} d.Fractional_a19r } in
	let {
	  d.Eq_a19t  :: 
	      {PrelBase.Eq{-23,p-} t{-a19d-}}
	  {-# L #-}
	  d.Eq_a19t =
	      PrelBase.scsel_NumPrelBaseEq{-a2pi,p-}
		  _@_ t{-a19d-} d.Num_a1b5 } in
	let {
	  fromInt_a2p8  :: 
	      PrelBase.Int{-3g,p-} -> t{-a199-}
	  {-# L #-}
	  fromInt_a2p8 =
	      PrelBase.fromInt{-8R,p-}
		  _@_ t{-a199-} d.Num_a19m } in
	let { lit_a2p7  :: 
		  t{-a199-}
	      {-# L #-}
	      lit_a2p7 =
	  let {
	    ds_d2pO  :: 
		PrelBase.Int{-3g,p-}
	    {-# L #-}
	    ds_d2pO =
		PrelBase.I#{-5b,p-}{i}
		    11111
	  } in 
	    fromInt_a2p8
		ds_d2pO
	} in
	let {
	  ==_a2p6  :: 
	      t{-a199-} -> t{-a199-} -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  ==_a2p6 =
	      PrelBase.=={-8Y,p-}
		  _@_ t{-a199-} d.Eq_a19o } in
	let {
	  fromRational_a2p5  :: 
	      PrelNum.Rational{-3r,p-} -> t{-a19d-}
	  {-# L #-}
	  fromRational_a2p5 =
	      PrelNum.fromRational{-8T,p-}
		  _@_ t{-a19d-} d.Fractional_a19r } in
	let {
	  lit_a2p4  :: 
	      t{-a19d-}
	  {-# L #-}
	  lit_a2p4 =
	      fromRational_a2p5
		  _rational_  62831853 20000000 } in
	let {
	  ==_a2p3  :: 
	      t{-a19d-} -> t{-a19d-} -> PrelBase.Bool{-34,p-}
	  {-# L #-}
	  ==_a2p3 =
	      PrelBase.=={-8Y,p-}
		  _@_ t{-a19d-} d.Eq_a19t
	} in 
	  \ x_r3H  :: 
		t{-a19h-}
	    {-# L #-}
	    x_r3H ds_d2qY  :: 
		      t{-a19j-}
		  {-# L #-}
		  ds_d2qY ds_d2qZ  :: 
			      t{-a199-}
			  {-# L #-}
			  ds_d2qZ ds_d2qV  :: 
				      t{-a19d-}
				  {-# L #-}
				  ds_d2qV ->
	      let { ds_d2rv  :: 
			PrelBase.(){-40,p-}
		    {-# L #-}
		    ds_d2rv =
		let {
		  fail_d2r0  :: 
		      PrelBase.(){-40,p-}
		  {-# L #-}
		  fail_d2r0 =
		      GHCerr.irrefutPatError{-8g,p-}
			  _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:11|3.1415926500000002"
		} in 
		  case
		      ==_a2p3
			  lit_a2p4 ds_d2qV
		  of {
		    PrelBase.True{-5E,p-}{i} ->
			PrelBase.(){-60,p-}{i}
			    {};
		    PrelBase.False{-58,p-}{i} ->
			fail_d2r0;
		  }
	      } in
	      let { ds_d2rI  :: 
			PrelBase.(){-40,p-}
		    {-# L #-}
		    ds_d2rI =
		let {
		  fail_d2rw  :: 
		      PrelBase.(){-40,p-}
		  {-# L #-}
		  fail_d2rw =
		      GHCerr.irrefutPatError{-8g,p-}
			  _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:11|11111"
		} in 
		  case
		      ==_a2p6
			  lit_a2p7 ds_d2qZ
		  of {
		    PrelBase.True{-5E,p-}{i} ->
			PrelBase.(){-60,p-}{i}
			    {};
		    PrelBase.False{-58,p-}{i} ->
			fail_d2rw;
		  }
	      } in
	      let {
		ds_d2qC  :: 
		    PrelBase.(){-40,p-}
		{-# L #-}
		ds_d2qC =
		    PrelBase.(){-60,p-}{i}
			{}
	      } in 
		x_r3H
b{-r4v,x-}  :: 
    _forall_ [t{-a19Q-} t{-a19X-}] => [t{-a19Q-}] -> [t{-a19X-}]
{-# L #-}
b{-r4v,x-} =
    _/\_ t{-a19Q-} t{-a19X-} -> \ ds_d2sd  :: 
				      [t{-a19Q-}]
				  {-# L #-}
				  ds_d2sd ->
	let { ds_d2sU  :: 
		  (t{-a19Q-}, t{-a19Q-}, [t{-a19Q-}])
	      {-# L #-}
	      ds_d2sU =
	  let {
	    fail_d2se  :: 
		(t{-a19Q-}, t{-a19Q-}, [t{-a19Q-}])
	    {-# L #-}
	    fail_d2se =
		GHCerr.irrefutPatError{-8g,p-}
		    _@_ (t{-a19Q-}, t{-a19Q-}, [t{-a19Q-}])
		    _string_ "ds020.hs:8|(x PrelBase.: (xs PrelBase.: ys))"
	  } in 
	    case ds_d2sd of {
	      PrelBase.[]{-5i,p-}{i} ->
		  fail_d2se;
	      PrelBase.:{-55,p-}{i} x_r3z ds_d2sr ->
		  case ds_d2sr of {
		    PrelBase.[]{-5i,p-}{i} ->
			fail_d2se;
		    PrelBase.:{-55,p-}{i} xs_r3A ys_r3B ->
			PrelTup.(,,){-63,p-}{i}
			    {_@_ t{-a19Q-} _@_ t{-a19Q-} _@_ [t{-a19Q-}] x_r3z xs_r3A ys_r3B};
		  };
	    }
	} in
	let {
	  x_r3z  :: 
	      t{-a19Q-}
	  {-# L #-}
	  x_r3z =
	      case ds_d2sU of { PrelTup.(,,){-63,p-}{i} x_r3z xs_r3A ys_r3B  ->
	      x_r3z;} } in
	let {
	  xs_r3A  :: 
	      t{-a19Q-}
	  {-# L #-}
	  xs_r3A =
	      case ds_d2sU of { PrelTup.(,,){-63,p-}{i} x_r3z xs_r3A ys_r3B  ->
	      xs_r3A;} } in
	let {
	  ys_r3B  :: 
	      [t{-a19Q-}]
	  {-# L #-}
	  ys_r3B =
	      case ds_d2sU of { PrelTup.(,,){-63,p-}{i} x_r3z xs_r3A ys_r3B  ->
	      ys_r3B;}
	} in 
	  PrelBase.[]{-5i,p-}{i}
	      _@_ t{-a19X-}
a{-r4w,x-}  :: 
    _forall_
    [t{-a1al-} t{-a1ao-} t{-a1ar-} t{-a1at-}]
    =>
    ([t{-a1al-}], [t{-a1ao-}], [t{-a1ar-}]) -> [t{-a1at-}]
{-# L #-}
a{-r4w,x-} =
    _/\_ t{-a1al-} t{-a1ao-} t{-a1ar-} t{-a1at-} -> \ ds_d2tK  :: 
							  ([t{-a1al-}], [t{-a1ao-}], [t{-a1ar-}])
						      {-# L #-}
						      ds_d2tK ->
	let { ds_d2uH  :: 
		  PrelBase.(){-40,p-}
	      {-# L #-}
	      ds_d2uH =
	  let {
	    fail_d2tL  :: 
		PrelBase.(){-40,p-}
	    {-# L #-}
	    fail_d2tL =
		GHCerr.irrefutPatError{-8g,p-}
		    _@_ PrelBase.(){-40,p-}
		    _string_ "ds020.hs:5|(PrelBase.[], PrelBase.[], PrelBase.[])"
	  } in 
	    case
		ds_d2tK
	    of {
	    PrelTup.(,,){-63,p-}{i} ds_d2tU ds_d2tW ds_d2tV  ->
	    case ds_d2tU of {
	      PrelBase.:{-55,p-}{i} ds_d2u4 ds_d2u3 ->
		  fail_d2tL;
	      PrelBase.[]{-5i,p-}{i} ->
		  case ds_d2tW of {
		    PrelBase.:{-55,p-}{i} ds_d2ui ds_d2uh ->
			fail_d2tL;
		    PrelBase.[]{-5i,p-}{i} ->
			case ds_d2tV of {
			  PrelBase.:{-55,p-}{i} ds_d2uw ds_d2uv ->
			      fail_d2tL;
			  PrelBase.[]{-5i,p-}{i} ->
			      PrelBase.(){-60,p-}{i}
				  {};
			};
		  };
	    };}
	} in
	PrelBase.[]{-5i,p-}{i}
	    _@_ t{-a1at-}
end Rec }