main = Braun.Start
Braun.Start = Braun.int (Braun.all Braun.prop_17 (Braun.replicate 6000 (Braun.fromTo 0 255)))
Braun.fromTo !n_0 !m_1 = if (<{Braun.<=_16}> n_0 m_1) (Flite.Cons n_0 (Braun.fromTo (add n_0 1) m_1)) Flite.Nil
:: Flite.List = Flite.Nil | Flite.Cons a1 a2
<{Braun.<=_16}> !x_0 !y_1 = not (lt y_1 x_0)
Braun.replicate !n_0 x_1 = if (eq n_0 0) Flite.Nil (Flite.Cons x_1 (Braun.replicate (sub n_0 1) x_1))
Braun.prop_17 !xs_0 = Braun.equal_18 xs_0 (Braun.toList (Braun.fromList xs_0))
Braun.fromList !_x_0 = select _x_0 (Flite.Nil -> Braun.Empty) (Flite.Cons x_1_0 xs_1_1 -> Braun.insert x_1_0 (Braun.fromList xs_1_1)) 
Braun.insert x_0 !_x_1 = select _x_1 (Braun.Empty -> Braun.Branch x_0 Braun.Empty Braun.Empty) (Braun.Branch y_1_0 t0_1_1 t1_1_2 -> Braun.Branch x_0 (Braun.insert y_1_0 t1_1_2) t0_1_1) 
:: Braun.Tree = Braun.Empty | Braun.Branch a1 a2 a3
Braun.toList !_x_0 = select _x_0 (Braun.Empty -> Flite.Nil) (Braun.Branch x_1_0 t0_1_1 t1_1_2 -> Flite.Cons x_1_0 (Braun.ilv (Braun.toList t0_1_1) (Braun.toList t1_1_2))) 
Braun.ilv !_x_0 !ys_1 = select _x_0 (Flite.Nil -> ys_1) (Flite.Cons x_1_0 xs_1_1 -> select ys_1 (Flite.Nil -> Flite.Cons x_1_0 xs_1_1) (Flite.Cons y_2_0 ys_2_1 -> Flite.Cons x_1_0 (Flite.Cons y_2_0 (Braun.ilv xs_1_1 ys_2_1))) ) 
Braun.equal_18 !_x_0 !_x_1 = select _x_0 (Flite.Nil -> select _x_1 (Flite.Nil -> True) (Flite.Cons y_2_0 ys_2_1 -> False) ) (Flite.Cons x_1_0 xs_1_1 -> select _x_1 (Flite.Nil -> False) (Flite.Cons y_2_0 ys_2_1 -> <{Braun._c;39;3_20}> (eq x_1_0 y_2_0) xs_1_1 ys_2_1) ) 
<{Braun._c;39;3_20}> !_x_0 xs_1 ys_2 = if (eq _x_0 False) False (if (eq _x_0 True) (Braun.equal_18 xs_1 ys_2) nomatch)
Braun.all p_0 !_x_1 = select _x_1 (Flite.Nil -> True) (Flite.Cons x_1_0 xs_1_1 -> Braun.and (p_0 x_1_0) (Braun.all p_0 xs_1_1)) 
Braun.and !_x_0 y_1 = if _x_0 y_1 False
Braun.int !_x_0 = if _x_0 1 0