#include "dpl.h"
nseq qsort_0_p(nseq /* [[int]] */ s)
{
    nseq return_0;		/* [[int]] */
    nseq let_43;		/* [[int]] */

    {
	nseq D_7;		/* [int] */
	nseq M_8;		/* [bool] */
	nseq T_9;		/* [[int]] */
	nseq E_10;		/* [[int]] */
	nseq let_45;		/* [[int]] */
	nseq f_55;		/* [int] */
	nseq f_56;		/* [int] */
	nseq f_57;		/* [int] */
	nseq f_83;		/* [[int]] */

	D_7 = dpl_range1_i(dpl_length_s(s));
	f_83 = dpl_index_nr_p(s, 1, D_7);
	f_55 = dpl_length_p(f_83);
	dpl_fre_nseq(f_83);
	f_56 = dpl_dist_i(2, dpl_length_s(D_7));
	M_8 = dpl_less_p(f_55, f_56);
	dpl_fre_nseq(f_56);
	dpl_fre_nseq(f_55);
	f_57 = dpl_restrict_s(M_8, D_7);
	T_9 = dpl_index_nr_p(s, 1, f_57);
	dpl_fre_nseq(f_57);
	{
	    nseq cse_32;	/* [int] */
	    nseq T_13;		/* [int] */
	    nseq let_46;	/* [[int]] */
	    nseq f_58;		/* [bool] */
	    nseq f_59;		/* [int] */

	    f_58 = dpl_not_p(M_8);
	    cse_32 = dpl_restrict_s(f_58, D_7);
	    dpl_fre_nseq(D_7);
	    dpl_fre_nseq(f_58);
	    f_59 = dpl_dist_i(1, dpl_length_s(cse_32));
	    T_13 = dpl_index_nr_p(s, 2, cse_32,
				  f_59);
	    dpl_fre_nseq(f_59);
	    {
		nseq cse_38;	/* [int] */
		nseq T_15;	/* [[int]] */
		nseq let_47;	/* [[int]] */
		nseq f_60;	/* [int] */

		cse_38 = dpl_range1_i(dpl_length_s(T_13));
		f_60 = dpl_index_nr_p(cse_32, 1, cse_38);
		dpl_fre_nseq(cse_32);
		T_15 = dpl_index_nr_p(s, 1, f_60);
		dpl_fre_nseq(f_60);
		{
		    nseq cse_33;	/* [int] */
		    nseq T_17;	/* [[int]] */
		    nseq let_48;	/* [[bool]] */
		    nseq let_49;	/* [[int]] */

		    cse_33 = dpl_range1_i(dpl_length_s(T_15));
		    {
			nseq V1_25;	/* [[int]] */
			nseq V2_26;	/* [[int]] */
			nseq f_61;	/* [int] */
			nseq f_62;	/* [int] */
			nseq f_63;	/* [[[bool]]] */
			nseq f_84;	/* [int] */
			nseq f_85;	/* [int] */
			nseq f_86;	/* [int] */

			V1_25 = T_15;
			f_84 = dpl_index_nr_p(cse_38, 1, cse_33);
			f_61 = dpl_index_nr_p(T_13, 1, f_84);
			dpl_fre_nseq(f_84);
			f_62 = dpl_length_p(T_15);
			V2_26 = dpl_dist_p(f_61, f_62);
			dpl_fre_nseq(f_62);
			dpl_fre_nseq(f_61);
			f_85 = dpl_extract(V1_25, 1);
			f_86 = dpl_extract(V2_26, 1);
			dpl_fre_nseq(V2_26);
			f_63 = dpl_less_p(f_85, f_86);
			dpl_fre_nseq(f_86);
			dpl_fre_nseq(f_85);
			let_48 = dpl_insert(f_63, V1_25, 1);
			dpl_fre_nseq(f_63);

		    }
		    T_17 = dpl_restrict_p(let_48, T_15);
		    dpl_fre_nseq(let_48);
		    {
			nseq cse_39;	/* [int] */
			nseq cse_34;	/* [[int]] */
			nseq T_19;	/* [[int]] */
			nseq let_50;	/* [[bool]] */
			nseq let_51;	/* [[int]] */
			nseq f_64;	/* [int] */

			f_64 = dpl_range1_i(dpl_length_s(T_17));
			cse_39 = dpl_index_nr_p(cse_33, 1, f_64);
			dpl_fre_nseq(f_64);
			cse_34 = dpl_index_nr_p(T_15, 1, cse_39);
			{
			    nseq V1_27;		/* [[int]] */
			    nseq V2_28;		/* [[int]] */
			    nseq f_65;	/* [int] */
			    nseq f_66;	/* [int] */
			    nseq f_67;	/* [[[bool]]] */
			    nseq f_87;	/* [int] */
			    nseq f_88;	/* [int] */
			    nseq f_89;	/* [int] */

			    V1_27 = cse_34;
			    f_87 = dpl_index_nr_p(cse_38, 1, cse_39);
			    dpl_fre_nseq(cse_39);
			    f_65 = dpl_index_nr_p(T_13, 1, f_87);
			    dpl_fre_nseq(f_87);
			    f_66 = dpl_length_p(cse_34);
			    V2_28 = dpl_dist_p(f_65, f_66);
			    dpl_fre_nseq(f_66);
			    dpl_fre_nseq(f_65);
			    f_88 = dpl_extract(V1_27, 1);
			    f_89 = dpl_extract(V2_28, 1);
			    dpl_fre_nseq(V2_28);
			    f_67 = dpl_equal_p(f_88, f_89);
			    dpl_fre_nseq(f_89);
			    dpl_fre_nseq(f_88);
			    let_50 = dpl_insert(f_67, V1_27, 1);
			    dpl_fre_nseq(f_67);

			}
			T_19 = dpl_restrict_p(let_50, cse_34);
			dpl_fre_nseq(cse_34);
			dpl_fre_nseq(let_50);
			{
			    nseq cse_40;	/* [int] */
			    nseq cse_35;	/* [[int]] */
			    nseq T_21;	/* [[int]] */
			    nseq let_52;	/* [[bool]] */
			    nseq let_53;	/* [[int]] */
			    nseq f_68;	/* [int] */
			    nseq f_90;	/* [int] */
			    nseq f_91;	/* [int] */

			    f_90 = dpl_range1_i(dpl_length_s(T_17));
			    f_91 = dpl_range1_i(dpl_length_s(T_19));
			    f_68 = dpl_index_nr_p(f_90, 1, f_91);
			    dpl_fre_nseq(f_91);
			    dpl_fre_nseq(f_90);
			    cse_40 = dpl_index_nr_p(cse_33, 1, f_68);
			    dpl_fre_nseq(f_68);
			    dpl_fre_nseq(cse_33);
			    cse_35 = dpl_index_nr_p(T_15, 1, cse_40);
			    dpl_fre_nseq(T_15);
			    {
				nseq V1_29;	/* [[int]] */
				nseq V2_30;	/* [[int]] */
				nseq f_69;	/* [int] */
				nseq f_70;	/* [int] */
				nseq f_71;	/* [[[bool]]] */
				nseq f_92;	/* [int] */
				nseq f_93;	/* [int] */
				nseq f_94;	/* [int] */

				V1_29 = cse_35;
				f_92 = dpl_index_nr_p(cse_38, 1, cse_40);
				dpl_fre_nseq(cse_40);
				dpl_fre_nseq(cse_38);
				f_69 = dpl_index_nr_p(T_13, 1, f_92);
				dpl_fre_nseq(f_92);
				dpl_fre_nseq(T_13);
				f_70 = dpl_length_p(cse_35);
				V2_30 = dpl_dist_p(f_69, f_70);
				dpl_fre_nseq(f_70);
				dpl_fre_nseq(f_69);
				f_93 = dpl_extract(V1_29, 1);
				f_94 = dpl_extract(V2_30, 1);
				dpl_fre_nseq(V2_30);
				f_71 = dpl_grt_p(f_93, f_94);
				dpl_fre_nseq(f_94);
				dpl_fre_nseq(f_93);
				let_52 = dpl_insert(f_71, V1_29, 1);
				dpl_fre_nseq(f_71);

			    }
			    T_21 = dpl_restrict_p(let_52, cse_35);
			    dpl_fre_nseq(cse_35);
			    dpl_fre_nseq(let_52);
			    {
				nseq cse_36;	/* [int] */
				nseq T_23;	/* [[[int]]] */
				int cse_41;
				nseq cse_37;	/* [int] */
				nseq let_54;	/* [[[int]]] */
				nseq f_74;	/* [[int]] */
				nseq f_75;	/* [[int]] */
				nseq f_97;	/* [[int]] */
				nseq f_98;	/* [[int]] */
				nseq f_99;	/* [int] */
				nseq f_103;	/* [int] */
				nseq f_104;	/* [int] */
				nseq f_106;	/* [int] */
				nseq f_107;	/* [int] */

				cse_36 = dpl_range1_i(dpl_length_s(T_21));
				{
				    nseq V1_31;		/* [[[int]]] */
				    nseq f_72;	/* [[int]] */
				    nseq f_73;	/* [[[[int]]]] */
				    nseq f_95;	/* [int] */
				    nseq f_96;	/* [[int]] */
				    nseq f_101;		/* [int] */
				    nseq f_102;		/* [int] */
				    nseq f_105;		/* [int] */

				    f_101 = dpl_range1_i(dpl_length_s(T_17));
				    f_105 = dpl_range1_i(dpl_length_s(T_19));
				    f_102 = dpl_index_nr_p(f_105, 1, cse_36);
				    dpl_fre_nseq(f_105);
				    f_95 = dpl_index_nr_p(f_101, 1, f_102);
				    dpl_fre_nseq(f_102);
				    dpl_fre_nseq(f_101);
				    f_72 = dpl_index_nr_p(T_17, 1, f_95);
				    dpl_fre_nseq(f_95);
				    dpl_fre_nseq(T_17);
				    V1_31 = dpl_build_p(2, f_72, T_21);
				    dpl_fre_nseq(T_21);
				    dpl_fre_nseq(f_72);
				    f_96 = dpl_extract(V1_31, 1);
				    f_73 = qsort_0_p(f_96);
				    dpl_fre_nseq(f_96);
				    let_54 = dpl_insert(f_73, V1_31, 1);
				    dpl_fre_nseq(V1_31);
				    dpl_fre_nseq(f_73);

				}
				T_23 = let_54;
				cse_41 = dpl_length_s(T_23);
				cse_37 = dpl_range1_i(cse_41);
				f_103 = dpl_dist_i(1, cse_41);
				f_97 = dpl_index_nr_p(T_23, 2, cse_37,
						      f_103);
				dpl_fre_nseq(f_103);
				f_106 = dpl_range1_i(dpl_length_s(T_19));
				f_107 = dpl_index_nr_p(cse_36, 1, cse_37);
				dpl_fre_nseq(cse_36);
				f_104 = dpl_index_nr_p(f_106, 1, f_107);
				dpl_fre_nseq(f_107);
				dpl_fre_nseq(f_106);
				f_98 = dpl_index_nr_p(T_19, 1, f_104);
				dpl_fre_nseq(f_104);
				dpl_fre_nseq(T_19);
				f_74 = dpl_concat_p(f_97, f_98);
				dpl_fre_nseq(f_98);
				dpl_fre_nseq(f_97);
				f_99 = dpl_dist_i(2, cse_41);
				f_75 = dpl_index_nr_p(T_23, 2, cse_37,
						      f_99);
				dpl_fre_nseq(f_99);
				dpl_fre_nseq(cse_37);
				dpl_fre_nseq(T_23);
				let_53 = dpl_concat_p(f_74, f_75);
				dpl_fre_nseq(f_75);
				dpl_fre_nseq(f_74);

			    }
			    let_51 = let_53;

			}
			let_49 = let_51;

		    }
		    let_47 = let_49;

		}
		let_46 = let_47;

	    }
	    let_45 = let_46;

	}
	E_10 = let_45;
	let_43 = dpl_combine_s(M_8, T_9, E_10);
	dpl_fre_nseq(E_10);
	dpl_fre_nseq(T_9);
	dpl_fre_nseq(M_8);

    }
    return_0 = let_43;
    return return_0;

}
nseq qsort_0(nseq /* [int] */ s)
{
    nseq return_1;		/* [int] */
    nseq q_42;			/* [int] */

    if (dpl_length_s(s) < 2) {
	q_42 = s;

    } else {
	nseq let_44;		/* [int] */

	{
	    int p;
	    nseq cse_6;		/* [int] */
	    nseq l;		/* [int] */
	    nseq m;		/* [int] */
	    nseq h;		/* [int] */
	    nseq t;		/* [[int]] */
	    nseq f_76;		/* [bool] */
	    nseq f_77;		/* [bool] */
	    nseq f_78;		/* [bool] */
	    nseq f_79;		/* [[int]] */
	    nseq f_80;		/* [int] */
	    nseq f_81;		/* [int] */
	    nseq f_100;		/* [int] */

	    p = dpl_index_i(s, 1, 1);
	    cse_6 = dpl_dist_i(p, dpl_length_s(s));
	    f_76 = dpl_less_p(s, cse_6);
	    l = dpl_restrict_s(f_76, s);
	    dpl_fre_nseq(f_76);
	    f_77 = dpl_equal_p(s, cse_6);
	    m = dpl_restrict_s(f_77, s);
	    dpl_fre_nseq(f_77);
	    f_78 = dpl_grt_p(s, cse_6);
	    dpl_fre_nseq(cse_6);
	    h = dpl_restrict_s(f_78, s);
	    dpl_fre_nseq(f_78);
	    f_79 = dpl_build_s(2, l, h);
	    dpl_fre_nseq(h);
	    dpl_fre_nseq(l);
	    t = qsort_0_p(f_79);
	    dpl_fre_nseq(f_79);
	    f_100 = dpl_index_s(t, 1, 1);
	    f_80 = dpl_concat_s(f_100, m);
	    dpl_fre_nseq(m);
	    dpl_fre_nseq(f_100);
	    f_81 = dpl_index_s(t, 1, 2);
	    dpl_fre_nseq(t);
	    let_44 = dpl_concat_s(f_80, f_81);
	    dpl_fre_nseq(f_81);
	    dpl_fre_nseq(f_80);

	}
	q_42 = let_44;

    }
    return_1 = q_42;
    return return_1;

}
nseq A;				/* [int] */
void main()
{
    nseq f_82;			/* [int] */

    dpl_setmem();
    f_82 = dpl_st_range_i(10, 9, 1);
    A = qsort_0(f_82);
    dpl_fre_nseq(f_82);
    show_p(A);
    dpl_fre_nseq(A);

}