main = MSS.Start
MSS.Start = add (sub (MSS.mss (MSS.fromTo (sub 0 160) 160)) (MSS.mss (MSS.fromTo (sub 0 150) 150))) (sub (MSS.mss (MSS.fromTo (sub 0 161) 161)) (MSS.mss (MSS.fromTo (sub 0 151) 151)))
MSS.fromTo !n_0 !m_1 = if (<{MSS.<=_20}> n_0 m_1) (Flite.Cons n_0 (MSS.fromTo (add n_0 1) m_1)) Flite.Nil
:: Flite.List = Flite.Nil | Flite.Cons a1 a2
<{MSS.<=_20}> !x_0 !y_1 = not (lt y_1 x_0)
MSS.mss !xs_0 = MSS.maximum_17 (MSS.map MSS.sum (MSS.segments xs_0))
MSS.segments !xs_0 = MSS.concatMap MSS.tails (MSS.inits xs_0)
MSS.inits !xs_0 = <{MSS._c;8;12_21}> xs_0
<{MSS._c;8;12_21}> !xs_0 = select xs_0 (Flite.Nil -> Flite.Cons Flite.Nil Flite.Nil) (Flite.Cons y_1_0 ys_1_1 -> Flite.Cons xs_0 (MSS.inits (MSS.init xs_0))) 
MSS.init !_x_0 = select _x_0 (Flite.Cons x_1_0 _x_1_1 -> select _x_1_1 (Flite.Nil -> Flite.Nil) (Flite.Cons y_2_0 ys_2_1 -> Flite.Cons x_1_0 (MSS.init (Flite.Cons y_2_0 ys_2_1))) ) 
MSS.tails !_x_0 = select _x_0 (Flite.Nil -> Flite.Nil) (Flite.Cons x_1_0 xs_1_1 -> Flite.Cons (Flite.Cons x_1_0 xs_1_1) (MSS.tails xs_1_1)) 
MSS.concatMap f_0 !_x_1 = select _x_1 (Flite.Nil -> Flite.Nil) (Flite.Cons x_1_0 xs_1_1 -> MSS.append (f_0 x_1_0) (MSS.concatMap f_0 xs_1_1)) 
MSS.append !_x_0 ys_1 = select _x_0 (Flite.Nil -> ys_1) (Flite.Cons x_1_0 xs_1_1 -> Flite.Cons x_1_0 (MSS.append xs_1_1 ys_1)) 
MSS.sum !xs_0 = MSS.sumAcc_16 0 xs_0
MSS.sumAcc_16 !acc_0 !_x_1 = select _x_1 (Flite.Nil -> acc_0) (Flite.Cons x_1_0 xs_1_1 -> MSS.sumAcc_16 (add acc_0 x_1_0) xs_1_1) 
MSS.map f_0 !_x_1 = select _x_1 (Flite.Nil -> Flite.Nil) (Flite.Cons x_1_0 xs_1_1 -> Flite.Cons (f_0 x_1_0) (MSS.map f_0 xs_1_1)) 
MSS.maximum_17 !_x_0 = select _x_0 (Flite.Cons x_1_0 xs_1_1 -> MSS.maxi_18 x_1_0 xs_1_1) 
MSS.maxi_18 !m_0 !_x_1 = select _x_1 (Flite.Nil -> m_0) (Flite.Cons x_1_0 xs_1_1 -> if (<{MSS.<=_19}> m_0 x_1_0) (MSS.maxi_18 x_1_0 xs_1_1) (MSS.maxi_18 m_0 xs_1_1)) 
<{MSS.<=_19}> !x_0 !y_1 = not (lt y_1 x_0)