cond_scanr_f_z_xs_1Cons0x110Cons0Cons0x11cond_scanr_f_z_xs_1ConsSx2x110ConsSx2ConsSx2x11cond_scanr_f_z_xs_1Cons0x11Mx2Cons0Cons0x11cond_scanr_f_z_xs_1ConsSx40x23M0ConsSx40ConsSx40x23cond_scanr_f_z_xs_1ConsSx8x23MSx4Consminus#2x8x4ConsSx8x23cond_scanr_f_z_xs_1Cons0x11Sx2ConsSx2Cons0x11cond_scanr_f_z_xs_1ConsSx2x11Sx4Consplus#2Sx4Sx2ConsSx2x11scanr#3NilCons0Nilscanr#3Consx4x2cond_scanr_f_z_xs_1scanr#3x2x4foldl#3x2Nilx2foldl#3x6Consx4x2foldl#3max#2x6x4x2minus#20x160minus#2Sx200Sx20minus#2Sx4Sx2minus#2x4x2plus#20Sx2Sx2plus#2Sx4Sx2Splus#2x4Sx2max#20x8x8max#2Sx120Sx12max#2Sx4Sx2Smax#2x4x2mainx1foldl#30scanr#3x1cond_scanr_f_z_xs_12Cons200S1M1minus#22plus#22scanr#31Nil0foldl#32max#22main1INNERMOSThoca/mss.trs