-
-
-================================================================================
-Typechecked:
-AbsBinds
-[taBv, taBy, taBB]
-[]
-[([taBv, taBy, taBB], s_3_2{-r5Z,x-}, s_3_2_aBn)]
- s_3_2_aBn (v0_r4o, v1_r4p, v2_r4q) = v2_r4q
-AbsBinds
-[taBO, taBR, taBU]
-[]
-[([taBO, taBR, taBU], s_3_1{-r60,x-}, s_3_1_aBG)]
- s_3_1_aBG (v0_r4k, v1_r4l, v2_r4m) = v1_r4l
-AbsBinds
-[taC7, taCa, taCd]
-[]
-[([taC7, taCa, taCd], s_3_0{-r61,x-}, s_3_0_aBZ)]
- s_3_0_aBZ (v0_r4g, v1_r4h, v2_r4i) = v0_r4g
-AbsBinds [taCr] [] [([taCr], s_1_0{-r62,x-}, s_1_0_aCi)]
- s_1_0_aCi v0_r4e = v0_r4e
-AbsBinds
-[taCA, taCD]
-[]
-[([taCA, taCD], s_2_1{-r63,x-}, s_2_1_aCt)]
- s_2_1_aCt (v0_r4b, v1_r4c) = v1_r4c
-AbsBinds
-[taCP, taCS]
-[]
-[([taCP, taCS], s_2_0{-r64,x-}, s_2_0_aCI)]
- s_2_0_aCI (v0_r48, v1_r49) = v0_r48
-AbsBinds
-[taDh, taDf]
-[]
-[([taDh, taDf], f_rec{-r66,x-}, f_rec_aCX)]
- f_rec_aCX f0_r3Y a_r3Z = f0_r3Y s_1_0{-r62,x-} taDf a_r3Z
-AbsBinds
-[taDC, taDE, taDG]
-[]
-[([taDC, taDE, taDG], absIf{-r69,x-}, absIf_aDj)]
- absIf_aDj a_r3N b_r3O c_r3P = a_r3N
-AbsBinds [taDP] [] [([taDP], head{-r6b,x-}, head_aDI)]
- head_aDI (x_r3K PrelBase.:{-55,w-}{i} xs_r3L) = x_r3K
-AbsBinds [taDZ] [] [([taDZ], bottom{-r6a,x-}, bottom_aDV)]
- bottom_aDV = head{-r6b,x-} taDZ
-AbsBinds [taEf] [] [([taEf], fac_rec0{-r5T,x-}, fac_rec0_aE1)]
- fac_rec0_aE1 n_r4H a_r4I
- = bottom{-r6a,x-} taEf [n_r4H, a_r4I] (taEf)
-AbsBinds [taEs] [] [([taEs], f_rec0{-r5P,x-}, f_rec0_aEj)]
- f_rec0_aEj a_r4Q = bottom{-r6a,x-} taEs [a_r4Q] (taEs)
-AbsBinds [taEF] [] [([taEF], f_rec1{-r5Q,x-}, f_rec1_aEw)]
- f_rec1_aEw a_r4O
- = f_rec{-r66,x-} [taEF, taEF] f_rec0{-r5P,x-} taEF a_r4O
-AbsBinds [taEU] [] [([taEU], f_rec2{-r5R,x-}, f_rec2_aEL)]
- f_rec2_aEL a_r4M
- = f_rec{-r66,x-} [taEU, taEU] f_rec1{-r5Q,x-} taEU a_r4M
-AbsBinds [taF9] [] [([taF9], f{-r5S,x-}, f_aF0)]
- f_aF0 a_r4K
- = f_rec{-r66,x-} [taF9, taF9] f_rec2{-r5R,x-} taF9 a_r4K
-AbsBinds [taFD] [] [([taFD], g_rec0{-r5F,x-}, g_rec0_aFf)]
- g_rec0_aFf x_r5B y_r5C z_r5D p_r5E
- = bottom{-r6a,x-} taFD [x_r5B, y_r5C, z_r5D, p_r5E] (taFD)
-AbsBinds [taFV] [] [([taFV], absAnd{-r68,x-}, absAnd_aFH)]
- absAnd_aFH a_r3R b_r3S = head{-r6b,x-} taFV [a_r3R, b_r3S] (taFV)
-AbsBinds [taG1] [] [([taG1], one{-r6c,x-}, one_aFZ)]
- one_aFZ = one_aFZ
-AbsBinds
-[taGE, taH1, taH3, taH6, taH7]
-[]
-[([taGE, taH1, taH3, taH6, taH7], fac_rec{-r67,x-}, fac_rec_aG3)]
- fac_rec_aG3 fac0_r3U n_r3V a_r3W
- = absIf{-r69,x-} [taH7, taGE, taH1] absAnd{-r68,x-}
- taH1 s_3_0{-r61,x-} [taH1, taH6, taH3] n_r3V
- one{-r6c,x-} taH1
- s_2_0{-r64,x-} [taH7, taH6] a_r3W
- fac0_r3U absAnd{-r68,x-} taH3 s_3_2{-r5Z,x-}
- [taH1, taH6, taH3] n_r3V
- one{-r6c,x-} taH3
- absAnd{-r68,x-} taH6 s_3_1{-r60,x-}
- [taH1, taH6, taH3] n_r3V
- s_2_1{-r63,x-}
- [taH7, taH6] a_r3W
-AbsBinds
-[taHo, taHw, taHx]
-[]
-[([taHo, taHw, taHx], fac_rec1{-r5U,x-}, fac_rec1_aH9)]
- fac_rec1_aH9 n_r4E a_r4F
- = fac_rec{-r67,x-} [taHw, taHo, taHw, taHw, taHx] fac_rec0{-r5T,x-}
- taHw
- n_r4E
- a_r4F
-AbsBinds
-[taHO, taHW, taHZ, taI0, taI1]
-[]
-[([taHO, taHW, taHZ, taI0, taI1], fac_rec2{-r5V,x-}, fac_rec2_aHz)]
- fac_rec2_aHz n_r4B a_r4C
- = fac_rec{-r67,x-}
- [taI0, taHO, (taI0, taHW, taHW), (taHZ, taHW), taI1] fac_rec1{-r5U,x-}
- [taI0, taHW, taHZ]
- n_r4B
- a_r4C
-AbsBinds
-[taIi, taIr, taIs, taIu, taIx, taIy, taIz]
-[]
-[([taIi, taIr, taIs, taIu, taIx, taIy, taIz],
- fac_rec3{-r5W,x-},
- fac_rec3_aI3)]
- fac_rec3_aI3 n_r4y a_r4z
- = fac_rec{-r67,x-}
- [taIy, taIi, (taIy, (taIr, taIs), (taIu, taIs, taIs)), (taIx, (taIr, taIs)), taIz] fac_rec2{-r5V,x-}
- [taIy, taIs, taIr, taIu, taIx]
- n_r4y
- a_r4z
-AbsBinds
-[taIQ, taJ1, taJ2, taJ3, taJ5, taJ6, taJ9, taJa, taJb]
-[]
-[([taIQ, taJ1, taJ2, taJ3, taJ5, taJ6, taJ9, taJa, taJb],
- fac_rec4{-r5X,x-},
- fac_rec4_aIB)]
- fac_rec4_aIB n_r4v a_r4w
- = fac_rec{-r67,x-}
- [taJa, taIQ, (taJa, (taJ1, (taJ2, taJ3)), (taJ5, (taJ2, taJ3), (taJ6, taJ3, taJ3))), (taJ9, (taJ1, (taJ2, taJ3))), taJb] fac_rec3{-r5W,x-}
- [taJa, taJ2, taJ3, taJ6, taJ1, taJ5, taJ9]
- n_r4v
- a_r4w
-AbsBinds
-[taJs, taJF, taJG, taJH, taJI, taJK, taJL, taJM, taJP, taJQ, taJR]
-[]
-[([taJs, taJF, taJG, taJH, taJI, taJK, taJL, taJM, taJP, taJQ,
- taJR],
- fac{-r5Y,x-},
- fac_aJd)]
- fac_aJd n_r4s a_r4t
- = fac_rec{-r67,x-}
- [taJQ, taJs, (taJQ, (taJF, (taJG, (taJH, taJI))), (taJK, (taJG, (taJH, taJI)), (taJL, (taJH, taJI), (taJM, taJI, taJI)))), (taJP, (taJF, (taJG, (taJH, taJI)))), taJR] fac_rec4{-r5X,x-}
- [taJQ, taJG, taJH, taJI, taJL, taJM, taJF, taJK, taJP]
- n_r4s
- a_r4t
-AbsBinds
-[taKR, taL3, taL5, taL8, taLE, taLF, taLH, taLJ, taLR, taLS, taLT]
-[]
-[([taKR, taL3, taL5, taL8, taLE, taLF, taLH, taLJ, taLR, taLS,
- taLT],
- g_rec{-r65,x-},
- g_rec_aJT)]
- g_rec_aJT g0_r41 g1_r42 x_r43 y_r44 z_r45 p_r46
- = absIf{-r69,x-} [taLF, taKR, taLS] absAnd{-r68,x-}
- taLS s_3_0{-r61,x-} [taLS, taLT, taLR] p_r46
- one{-r6c,x-} taLS
- absAnd{-r68,x-} taLF s_1_0{-r62,x-} taLF x_r43
- s_3_0{-r61,x-}
- [taLF, taLE, taLH] z_r45
- absAnd{-r68,x-} taKR g0_r41 s_1_0{-r62,x-}
- taL3 y_r44
- one{-r6c,x-} taL5
- one{-r6c,x-} taL8
- absAnd{-r68,x-}
- taLT s_3_1{-r60,x-}
- [taLS, taLT, taLR] p_r46
- one{-r6c,x-}
- taLT
- g1_r42 s_3_2{-r5Z,x-}
- [taLF, taLE, taLH] z_r45
- s_3_1{-r60,x-}
- [taLF, taLE, taLH] z_r45
- one{-r6c,x-} taLJ
- absAnd{-r68,x-}
- taLR s_3_2{-r5Z,x-}
- [taLS, taLT, taLR] p_r46
- one{-r6c,x-}
- taLR
-AbsBinds
-[taMu, taMC, taMJ]
-[]
-[([taMu, taMC, taMJ], g_rec1{-r5G,x-}, g_rec1_aLX)]
- g_rec1_aLX x_r5w y_r5x z_r5y p_r5z
- = g_rec{-r65,x-}
- [taMC, taMC, taMC, taMC, taMC, taMJ, taMC, taMC, taMC, taMu, taMC] g_rec0{-r5F,x-}
- taMC
- g_rec0{-r5F,x-}
- taMC
- x_r5w
- y_r5x
- z_r5y
- p_r5z
-AbsBinds
-[taNi, taNo, taNq, taNu, taNz, taNB, taNF]
-[]
-[([taNi, taNo, taNq, taNu, taNz, taNB, taNF],
- g_rec2{-r5H,x-},
- g_rec2_aML)]
- g_rec2_aML x_r5r y_r5s z_r5t p_r5u
- = g_rec{-r65,x-}
- [taNu, taNo, taNq, (taNo, taNq, taNq), taNB, taNF, taNz, (taNz, taNB, taNB), (taNu, taNB, taNB), taNi, (taNu, taNq, taNq)] g_rec1{-r5G,x-}
- [taNu, taNq, taNo]
- g_rec1{-r5G,x-}
- [taNu, taNB, taNz]
- x_r5r
- y_r5s
- z_r5t
- p_r5u
-AbsBinds
-[taOe, taOo, taOs, taOw, taOx, taOy, taOH, taOJ, taOL, taOP, taOQ, taOR]
-[]
-[([taOe, taOo, taOs, taOw, taOx, taOy, taOH, taOJ, taOL, taOP,
- taOQ, taOR],
- g_rec3{-r5I,x-},
- g_rec3_aNH)]
- g_rec3_aNH x_r5m y_r5n z_r5o p_r5p
- = g_rec{-r65,x-}
- [taOy, taOo, GHC.Void{-3T,W-}, (taOo, taOs, GHC.Void{-3T,W-}), taOJ, taOR, taOH, (taOH, taOL, GHC.Void{-3T,W-}), (taOy, (taOP, taOQ, taOQ), (taOP, taOL, taOL)), taOe, (taOy, (taOw, taOx, taOx), (taOw, taOs, taOs))] g_rec2{-r5H,x-}
- [taOy, GHC.Void{-3T,W-}, taOx, taOw, GHC.Void{-3T,W-}, taOs, taOo]
- g_rec2{-r5H,x-}
- [taOy, taOJ, taOQ, taOP, GHC.Void{-3T,W-}, taOL, taOH]
- x_r5m
- y_r5n
- z_r5o
- p_r5p
-AbsBinds
-[taPq, taPF, taPN, taPO, taPP, taPQ, taPR, taPS, taPT, taPU, taQ8, taQa, taQg, taQh, taQi, taQj, taQk, taQl, taQm, taQn]
-[]
-[([taPq, taPF, taPN, taPO, taPP, taPQ, taPR, taPS, taPT, taPU,
- taQ8, taQa, taQg, taQh, taQi, taQj, taQk, taQl, taQm, taQn],
- g_rec4{-r5J,x-},
- g_rec4_aOT)]
- g_rec4_aOT x_r5h y_r5i z_r5j p_r5k
- = g_rec{-r65,x-}
- [taPU, taPF, GHC.Void{-3T,W-}, (taPF, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), taQa, taQn, taQ8, (taQ8, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), (taPU, (taQg, (taQh, taQi, taQi), (taQh, taQj, taQj)), (taQg, (taQk, taQl, taQl), (taQk, taQm, taQm))), taPq, (taPU, (taPN, (taPO, taPP, taPP), (taPO, taPQ, taPQ)), (taPN, (taPR, taPS, taPS), (taPR, taPT, taPT)))] g_rec3{-r5I,x-}
- [taPU, GHC.Void{-3T,W-}, taPQ, taPO, taPP, taPN, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, taPT, taPR, taPS, taPF]
- g_rec3{-r5I,x-}
- [taPU, taQa, taQj, taQh, taQi, taQg, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, taQm, taQk, taQl, taQ8]
- x_r5h
- y_r5i
- z_r5j
- p_r5k
-AbsBinds
-[taQW, taRj, taRr, taRs, taRt, taRu, taRv, taRw, taRx, taRy, taRz, taRA, taRB, taRC, taRD, taRE, taRF, taRG, taS2, taS4, taSa, taSb, taSc, taSd, taSe, taSf, taSg, taSh, taSi, taSj, taSk, taSl, taSm, taSn, taSo, taSp]
-[]
-[([taQW, taRj, taRr, taRs, taRt, taRu, taRv, taRw, taRx, taRy,
- taRz, taRA, taRB, taRC, taRD, taRE, taRF, taRG, taS2, taS4, taSa,
- taSb, taSc, taSd, taSe, taSf, taSg, taSh, taSi, taSj, taSk, taSl,
- taSm, taSn, taSo, taSp],
- g_rec5{-r5K,x-},
- g_rec5_aQp)]
- g_rec5_aQp x_r5c y_r5d z_r5e p_r5f
- = g_rec{-r65,x-}
- [taRG, taRj, GHC.Void{-3T,W-}, (taRj, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), taS4, taSp, taS2, (taS2, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), (taRG, (taSa, (taSb, (taSc, taSd, taSd), (taSc, taSe, taSe)), (taSb, (taSf, taSg, taSg), (taSf, taSh, taSh))), (taSa, (taSi, (taSj, taSk, taSk), (taSj, taSl, taSl)), (taSi, (taSm, taSn, taSn), (taSm, taSo, taSo)))), taQW, (taRG, (taRr, (taRs, (taRt, taRu, taRu), (taRt, taRv, taRv)), (taRs, (taRw, taRx, taRx), (taRw, taRy, taRy))), (taRr, (taRz, (taRA, taRB, taRB), (taRA, taRC, taRC)), (taRz, (taRD, taRE, taRE), (taRD, taRF, taRF))))] g_rec4{-r5J,x-}
- [taRG, GHC.Void{-3T,W-}, taRs, taRt, taRu, taRv, taRw, taRx, taRy, taRr, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, taRz, taRA, taRB, taRC, taRD, taRE, taRF, taRj]
- g_rec4{-r5J,x-}
- [taRG, taS4, taSb, taSc, taSd, taSe, taSf, taSg, taSh, taSa, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, taSi, taSj, taSk, taSl, taSm, taSn, taSo, taS2]
- x_r5c
- y_r5d
- z_r5e
- p_r5f
-AbsBinds
-[taSY, taTB, taTJ, taTK, taTL, taTM, taTN, taTO, taTP, taTQ, taTR, taTS, taTT, taTU, taTV, taTW, taTX, taTY, taTZ, taU0, taU1, taU2, taU3, taU4, taU5, taU6, taU7, taU8, taU9, taUa, taUb, taUc, taUd, taUe, taUQ, taUS, taUY, taUZ, taV0, taV1, taV2, taV3, taV4, taV5, taV6, taV7, taV8, taV9, taVa, taVb, taVc, taVd, taVe, taVf, taVg, taVh, taVi, taVj, taVk, taVl, taVm, taVn, taVo, taVp, taVq, taVr, taVs, taVt]
-[]
-[([taSY, taTB, taTJ, taTK, taTL, taTM, taTN, taTO, taTP, taTQ,
- taTR, taTS, taTT, taTU, taTV, taTW, taTX, taTY, taTZ, taU0, taU1,
- taU2, taU3, taU4, taU5, taU6, taU7, taU8, taU9, taUa, taUb, taUc,
- taUd, taUe, taUQ, taUS, taUY, taUZ, taV0, taV1, taV2, taV3, taV4,
- taV5, taV6, taV7, taV8, taV9, taVa, taVb, taVc, taVd, taVe, taVf,
- taVg, taVh, taVi, taVj, taVk, taVl, taVm, taVn, taVo, taVp, taVq,
- taVr, taVs, taVt],
- g_rec6{-r5L,x-},
- g_rec6_aSr)]
- g_rec6_aSr x_r57 y_r58 z_r59 p_r5a
- = g_rec{-r65,x-}
- [taUe, taTB, GHC.Void{-3T,W-}, (taTB, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), taUS, taVt, taUQ, (taUQ, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), (taUe, (taUY, (taUZ, (taV0, (taV1, taV2, taV2), (taV1, taV3, taV3)), (taV0, (taV4, taV5, taV5), (taV4, taV6, taV6))), (taUZ, (taV7, (taV8, taV9, taV9), (taV8, taVa, taVa)), (taV7, (taVb, taVc, taVc), (taVb, taVd, taVd)))), (taUY, (taVe, (taVf, (taVg, taVh, taVh), (taVg, taVi, taVi)), (taVf, (taVj, taVk, taVk), (taVj, taVl, taVl))), (taVe, (taVm, (taVn, taVo, taVo), (taVn, taVp, taVp)), (taVm, (taVq, taVr, taVr), (taVq, taVs, taVs))))), taSY, (taUe, (taTJ, (taTK, (taTL, (taTM, taTN, taTN), (taTM, taTO, taTO)), (taTL, (taTP, taTQ, taTQ), (taTP, taTR, taTR))), (taTK, (taTS, (taTT, taTU, taTU), (taTT, taTV, taTV)), (taTS, (taTW, taTX, taTX), (taTW, taTY, taTY)))), (taTJ, (taTZ, (taU0, (taU1, taU2, taU2), (taU1, taU3, taU3)), (taU0, (taU4, taU5, taU5), (taU4, taU6, taU6))), (taTZ, (taU7, (taU8, taU9, taU9), (taU8, taUa, taUa)), (taU7, (taUb, taUc, taUc), (taUb, taUd, taUd)))))] g_rec5{-r5K,x-}
- [taUe, GHC.Void{-3T,W-}, taTK, taTL, taTM, taTN, taTO, taTP, taTQ, taTR, taTS, taTT, taTU, taTV, taTW, taTX, taTY, taTJ, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, taTZ, taU0, taU1, taU2, taU3, taU4, taU5, taU6, taU7, taU8, taU9, taUa, taUb, taUc, taUd, taTB]
- g_rec5{-r5K,x-}
- [taUe, taUS, taUZ, taV0, taV1, taV2, taV3, taV4, taV5, taV6, taV7, taV8, taV9, taVa, taVb, taVc, taVd, taUY, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, taVe, taVf, taVg, taVh, taVi, taVj, taVk, taVl, taVm, taVn, taVo, taVp, taVq, taVr, taVs, taUQ]
- x_r57
- y_r58
- z_r59
- p_r5a
-AbsBinds
-[taW2, taXb, taXj, taXk, taXl, taXm, taXn, taXo, taXp, taXq, taXr, taXs, taXt, taXu, taXv, taXw, taXx, taXy, taXz, taXA, taXB, taXC, taXD, taXE, taXF, taXG, taXH, taXI, taXJ, taXK, taXL, taXM, taXN, taXO, taXP, taXQ, taXR, taXS, taXT, taXU, taXV, taXW, taXX, taXY, taXZ, taY0, taY1, taY2, taY3, taY4, taY5, taY6, taY7, taY8, taY9, taYa, taYb, taYc, taYd, taYe, taYf, taYg, taYh, taYi, taYj, taYk, taZs, taZu, taZA, taZB, taZC, taZD, taZE, taZF, taZG, taZH, taZI, taZJ, taZK, taZL, taZM, taZN, taZO, taZP, taZQ, taZR, taZS, taZT, taZU, taZV, taZW, taZX, taZY, taZZ, ta100, ta101, ta102, ta103, ta104, ta105, ta106, ta107, ta108, ta109, ta10a, ta10b, ta10c, ta10d, ta10e, ta10f, ta10g, ta10h, ta10i, ta10j, ta10k, ta10l, ta10m, ta10n, ta10o, ta10p, ta10q, ta10r, ta10s, ta10t, ta10u, ta10v, ta10w, ta10x, ta10y, ta10z, ta10A, ta10B]
-[]
-[([taW2, taXb, taXj, taXk, taXl, taXm, taXn, taXo, taXp, taXq,
- taXr, taXs, taXt, taXu, taXv, taXw, taXx, taXy, taXz, taXA, taXB,
- taXC, taXD, taXE, taXF, taXG, taXH, taXI, taXJ, taXK, taXL, taXM,
- taXN, taXO, taXP, taXQ, taXR, taXS, taXT, taXU, taXV, taXW, taXX,
- taXY, taXZ, taY0, taY1, taY2, taY3, taY4, taY5, taY6, taY7, taY8,
- taY9, taYa, taYb, taYc, taYd, taYe, taYf, taYg, taYh, taYi, taYj,
- taYk, taZs, taZu, taZA, taZB, taZC, taZD, taZE, taZF, taZG, taZH,
- taZI, taZJ, taZK, taZL, taZM, taZN, taZO, taZP, taZQ, taZR, taZS,
- taZT, taZU, taZV, taZW, taZX, taZY, taZZ, ta100, ta101, ta102,
- ta103, ta104, ta105, ta106, ta107, ta108, ta109, ta10a, ta10b,
- ta10c, ta10d, ta10e, ta10f, ta10g, ta10h, ta10i, ta10j, ta10k,
- ta10l, ta10m, ta10n, ta10o, ta10p, ta10q, ta10r, ta10s, ta10t,
- ta10u, ta10v, ta10w, ta10x, ta10y, ta10z, ta10A, ta10B],
- g_rec7{-r5M,x-},
- g_rec7_aVv)]
- g_rec7_aVv x_r52 y_r53 z_r54 p_r55
- = g_rec{-r65,x-}
- [taYk, taXb, GHC.Void{-3T,W-}, (taXb, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), taZu, ta10B, taZs, (taZs, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), (taYk, (taZA, (taZB, (taZC, (taZD, (taZE, taZF, taZF), (taZE, taZG, taZG)), (taZD, (taZH, taZI, taZI), (taZH, taZJ, taZJ))), (taZC, (taZK, (taZL, taZM, taZM), (taZL, taZN, taZN)), (taZK, (taZO, taZP, taZP), (taZO, taZQ, taZQ)))), (taZB, (taZR, (taZS, (taZT, taZU, taZU), (taZT, taZV, taZV)), (taZS, (taZW, taZX, taZX), (taZW, taZY, taZY))), (taZR, (taZZ, (ta100, ta101, ta101), (ta100, ta102, ta102)), (taZZ, (ta103, ta104, ta104), (ta103, ta105, ta105))))), (taZA, (ta106, (ta107, (ta108, (ta109, ta10a, ta10a), (ta109, ta10b, ta10b)), (ta108, (ta10c, ta10d, ta10d), (ta10c, ta10e, ta10e))), (ta107, (ta10f, (ta10g, ta10h, ta10h), (ta10g, ta10i, ta10i)), (ta10f, (ta10j, ta10k, ta10k), (ta10j, ta10l, ta10l)))), (ta106, (ta10m, (ta10n, (ta10o, ta10p, ta10p), (ta10o, ta10q, ta10q)), (ta10n, (ta10r, ta10s, ta10s), (ta10r, ta10t, ta10t))), (ta10m, (ta10u, (ta10v, ta10w, ta10w), (ta10v, ta10x, ta10x)), (ta10u, (ta10y, ta10z, ta10z), (ta10y, ta10A, ta10A)))))), taW2, (taYk, (taXj, (taXk, (taXl, (taXm, (taXn, taXo, taXo), (taXn, taXp, taXp)), (taXm, (taXq, taXr, taXr), (taXq, taXs, taXs))), (taXl, (taXt, (taXu, taXv, taXv), (taXu, taXw, taXw)), (taXt, (taXx, taXy, taXy), (taXx, taXz, taXz)))), (taXk, (taXA, (taXB, (taXC, taXD, taXD), (taXC, taXE, taXE)), (taXB, (taXF, taXG, taXG), (taXF, taXH, taXH))), (taXA, (taXI, (taXJ, taXK, taXK), (taXJ, taXL, taXL)), (taXI, (taXM, taXN, taXN), (taXM, taXO, taXO))))), (taXj, (taXP, (taXQ, (taXR, (taXS, taXT, taXT), (taXS, taXU, taXU)), (taXR, (taXV, taXW, taXW), (taXV, taXX, taXX))), (taXQ, (taXY, (taXZ, taY0, taY0), (taXZ, taY1, taY1)), (taXY, (taY2, taY3, taY3), (taY2, taY4, taY4)))), (taXP, (taY5, (taY6, (taY7, taY8, taY8), (taY7, taY9, taY9)), (taY6, (taYa, taYb, taYb), (taYa, taYc, taYc))), (taY5, (taYd, (taYe, taYf, taYf), (taYe, taYg, taYg)), (taYd, (taYh, taYi, taYi), (taYh, taYj, taYj))))))] g_rec6{-r5L,x-}
- [taYk, GHC.Void{-3T,W-}, taXk, taXl, taXm, taXn, taXo, taXp, taXq, taXr, taXs, taXt, taXu, taXv, taXw, taXx, taXy, taXz, taXA, taXB, taXC, taXD, taXE, taXF, taXG, taXH, taXI, taXJ, taXK, taXL, taXM, taXN, taXO, taXj, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, taXP, taXQ, taXR, taXS, taXT, taXU, taXV, taXW, taXX, taXY, taXZ, taY0, taY1, taY2, taY3, taY4, taY5, taY6, taY7, taY8, taY9, taYa, taYb, taYc, taYd, taYe, taYf, taYg, taYh, taYi, taYj, taXb]
- g_rec6{-r5L,x-}
- [taYk, taZu, taZB, taZC, taZD, taZE, taZF, taZG, taZH, taZI, taZJ, taZK, taZL, taZM, taZN, taZO, taZP, taZQ, taZR, taZS, taZT, taZU, taZV, taZW, taZX, taZY, taZZ, ta100, ta101, ta102, ta103, ta104, ta105, taZA, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, ta106, ta107, ta108, ta109, ta10a, ta10b, ta10c, ta10d, ta10e, ta10f, ta10g, ta10h, ta10i, ta10j, ta10k, ta10l, ta10m, ta10n, ta10o, ta10p, ta10q, ta10r, ta10s, ta10t, ta10u, ta10v, ta10w, ta10x, ta10y, ta10z, ta10A, taZs]
- x_r52
- y_r53
- z_r54
- p_r55
-AbsBinds
-[ta11a, ta13l, ta13t, ta13u, ta13v, ta13w, ta13x, ta13y, ta13z, ta13A, ta13B, ta13C, ta13D, ta13E, ta13F, ta13G, ta13H, ta13I, ta13J, ta13K, ta13L, ta13M, ta13N, ta13O, ta13P, ta13Q, ta13R, ta13S, ta13T, ta13U, ta13V, ta13W, ta13X, ta13Y, ta13Z, ta140, ta141, ta142, ta143, ta144, ta145, ta146, ta147, ta148, ta149, ta14a, ta14b, ta14c, ta14d, ta14e, ta14f, ta14g, ta14h, ta14i, ta14j, ta14k, ta14l, ta14m, ta14n, ta14o, ta14p, ta14q, ta14r, ta14s, ta14t, ta14u, ta14v, ta14w, ta14x, ta14y, ta14z, ta14A, ta14B, ta14C, ta14D, ta14E, ta14F, ta14G, ta14H, ta14I, ta14J, ta14K, ta14L, ta14M, ta14N, ta14O, ta14P, ta14Q, ta14R, ta14S, ta14T, ta14U, ta14V, ta14W, ta14X, ta14Y, ta14Z, ta150, ta151, ta152, ta153, ta154, ta155, ta156, ta157, ta158, ta159, ta15a, ta15b, ta15c, ta15d, ta15e, ta15f, ta15g, ta15h, ta15i, ta15j, ta15k, ta15l, ta15m, ta15n, ta15o, ta15p, ta15q, ta15r, ta15s, ta15t, ta15u, ta15v, ta15w, ta17G, ta17I, ta17O, ta17P, ta17Q, ta17R, ta17S, ta17T, ta17U, ta17V, ta17W, ta17X, ta17Y, ta17Z, ta180, ta181, ta182, ta183, ta184, ta185, ta186, ta187, ta188, ta189, ta18a, ta18b, ta18c, ta18d, ta18e, ta18f, ta18g, ta18h, ta18i, ta18j, ta18k, ta18l, ta18m, ta18n, ta18o, ta18p, ta18q, ta18r, ta18s, ta18t, ta18u, ta18v, ta18w, ta18x, ta18y, ta18z, ta18A, ta18B, ta18C, ta18D, ta18E, ta18F, ta18G, ta18H, ta18I, ta18J, ta18K, ta18L, ta18M, ta18N, ta18O, ta18P, ta18Q, ta18R, ta18S, ta18T, ta18U, ta18V, ta18W, ta18X, ta18Y, ta18Z, ta190, ta191, ta192, ta193, ta194, ta195, ta196, ta197, ta198, ta199, ta19a, ta19b, ta19c, ta19d, ta19e, ta19f, ta19g, ta19h, ta19i, ta19j, ta19k, ta19l, ta19m, ta19n, ta19o, ta19p, ta19q, ta19r, ta19s, ta19t, ta19u, ta19v, ta19w, ta19x, ta19y, ta19z, ta19A, ta19B, ta19C, ta19D, ta19E, ta19F, ta19G, ta19H, ta19I, ta19J, ta19K, ta19L, ta19M, ta19N, ta19O, ta19P, ta19Q, ta19R]
-[]
-[([ta11a, ta13l, ta13t, ta13u, ta13v, ta13w, ta13x, ta13y, ta13z,
- ta13A, ta13B, ta13C, ta13D, ta13E, ta13F, ta13G, ta13H, ta13I,
- ta13J, ta13K, ta13L, ta13M, ta13N, ta13O, ta13P, ta13Q, ta13R,
- ta13S, ta13T, ta13U, ta13V, ta13W, ta13X, ta13Y, ta13Z, ta140,
- ta141, ta142, ta143, ta144, ta145, ta146, ta147, ta148, ta149,
- ta14a, ta14b, ta14c, ta14d, ta14e, ta14f, ta14g, ta14h, ta14i,
- ta14j, ta14k, ta14l, ta14m, ta14n, ta14o, ta14p, ta14q, ta14r,
- ta14s, ta14t, ta14u, ta14v, ta14w, ta14x, ta14y, ta14z, ta14A,
- ta14B, ta14C, ta14D, ta14E, ta14F, ta14G, ta14H, ta14I, ta14J,
- ta14K, ta14L, ta14M, ta14N, ta14O, ta14P, ta14Q, ta14R, ta14S,
- ta14T, ta14U, ta14V, ta14W, ta14X, ta14Y, ta14Z, ta150, ta151,
- ta152, ta153, ta154, ta155, ta156, ta157, ta158, ta159, ta15a,
- ta15b, ta15c, ta15d, ta15e, ta15f, ta15g, ta15h, ta15i, ta15j,
- ta15k, ta15l, ta15m, ta15n, ta15o, ta15p, ta15q, ta15r, ta15s,
- ta15t, ta15u, ta15v, ta15w, ta17G, ta17I, ta17O, ta17P, ta17Q,
- ta17R, ta17S, ta17T, ta17U, ta17V, ta17W, ta17X, ta17Y, ta17Z,
- ta180, ta181, ta182, ta183, ta184, ta185, ta186, ta187, ta188,
- ta189, ta18a, ta18b, ta18c, ta18d, ta18e, ta18f, ta18g, ta18h,
- ta18i, ta18j, ta18k, ta18l, ta18m, ta18n, ta18o, ta18p, ta18q,
- ta18r, ta18s, ta18t, ta18u, ta18v, ta18w, ta18x, ta18y, ta18z,
- ta18A, ta18B, ta18C, ta18D, ta18E, ta18F, ta18G, ta18H, ta18I,
- ta18J, ta18K, ta18L, ta18M, ta18N, ta18O, ta18P, ta18Q, ta18R,
- ta18S, ta18T, ta18U, ta18V, ta18W, ta18X, ta18Y, ta18Z, ta190,
- ta191, ta192, ta193, ta194, ta195, ta196, ta197, ta198, ta199,
- ta19a, ta19b, ta19c, ta19d, ta19e, ta19f, ta19g, ta19h, ta19i,
- ta19j, ta19k, ta19l, ta19m, ta19n, ta19o, ta19p, ta19q, ta19r,
- ta19s, ta19t, ta19u, ta19v, ta19w, ta19x, ta19y, ta19z, ta19A,
- ta19B, ta19C, ta19D, ta19E, ta19F, ta19G, ta19H, ta19I, ta19J,
- ta19K, ta19L, ta19M, ta19N, ta19O, ta19P, ta19Q, ta19R],
- g_rec8{-r5N,x-},
- g_rec8_a10D)]
- g_rec8_a10D x_r4X y_r4Y z_r4Z p_r50
- = g_rec{-r65,x-}
- [ta15w, ta13l, GHC.Void{-3T,W-}, (ta13l, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), ta17I, ta19R, ta17G, (ta17G, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), (ta15w, (ta17O, (ta17P, (ta17Q, (ta17R, (ta17S, (ta17T, ta17U, ta17U), (ta17T, ta17V, ta17V)), (ta17S, (ta17W, ta17X, ta17X), (ta17W, ta17Y, ta17Y))), (ta17R, (ta17Z, (ta180, ta181, ta181), (ta180, ta182, ta182)), (ta17Z, (ta183, ta184, ta184), (ta183, ta185, ta185)))), (ta17Q, (ta186, (ta187, (ta188, ta189, ta189), (ta188, ta18a, ta18a)), (ta187, (ta18b, ta18c, ta18c), (ta18b, ta18d, ta18d))), (ta186, (ta18e, (ta18f, ta18g, ta18g), (ta18f, ta18h, ta18h)), (ta18e, (ta18i, ta18j, ta18j), (ta18i, ta18k, ta18k))))), (ta17P, (ta18l, (ta18m, (ta18n, (ta18o, ta18p, ta18p), (ta18o, ta18q, ta18q)), (ta18n, (ta18r, ta18s, ta18s), (ta18r, ta18t, ta18t))), (ta18m, (ta18u, (ta18v, ta18w, ta18w), (ta18v, ta18x, ta18x)), (ta18u, (ta18y, ta18z, ta18z), (ta18y, ta18A, ta18A)))), (ta18l, (ta18B, (ta18C, (ta18D, ta18E, ta18E), (ta18D, ta18F, ta18F)), (ta18C, (ta18G, ta18H, ta18H), (ta18G, ta18I, ta18I))), (ta18B, (ta18J, (ta18K, ta18L, ta18L), (ta18K, ta18M, ta18M)), (ta18J, (ta18N, ta18O, ta18O), (ta18N, ta18P, ta18P)))))), (ta17O, (ta18Q, (ta18R, (ta18S, (ta18T, (ta18U, ta18V, ta18V), (ta18U, ta18W, ta18W)), (ta18T, (ta18X, ta18Y, ta18Y), (ta18X, ta18Z, ta18Z))), (ta18S, (ta190, (ta191, ta192, ta192), (ta191, ta193, ta193)), (ta190, (ta194, ta195, ta195), (ta194, ta196, ta196)))), (ta18R, (ta197, (ta198, (ta199, ta19a, ta19a), (ta199, ta19b, ta19b)), (ta198, (ta19c, ta19d, ta19d), (ta19c, ta19e, ta19e))), (ta197, (ta19f, (ta19g, ta19h, ta19h), (ta19g, ta19i, ta19i)), (ta19f, (ta19j, ta19k, ta19k), (ta19j, ta19l, ta19l))))), (ta18Q, (ta19m, (ta19n, (ta19o, (ta19p, ta19q, ta19q), (ta19p, ta19r, ta19r)), (ta19o, (ta19s, ta19t, ta19t), (ta19s, ta19u, ta19u))), (ta19n, (ta19v, (ta19w, ta19x, ta19x), (ta19w, ta19y, ta19y)), (ta19v, (ta19z, ta19A, ta19A), (ta19z, ta19B, ta19B)))), (ta19m, (ta19C, (ta19D, (ta19E, ta19F, ta19F), (ta19E, ta19G, ta19G)), (ta19D, (ta19H, ta19I, ta19I), (ta19H, ta19J, ta19J))), (ta19C, (ta19K, (ta19L, ta19M, ta19M), (ta19L, ta19N, ta19N)), (ta19K, (ta19O, ta19P, ta19P), (ta19O, ta19Q, ta19Q))))))), ta11a, (ta15w, (ta13t, (ta13u, (ta13v, (ta13w, (ta13x, (ta13y, ta13z, ta13z), (ta13y, ta13A, ta13A)), (ta13x, (ta13B, ta13C, ta13C), (ta13B, ta13D, ta13D))), (ta13w, (ta13E, (ta13F, ta13G, ta13G), (ta13F, ta13H, ta13H)), (ta13E, (ta13I, ta13J, ta13J), (ta13I, ta13K, ta13K)))), (ta13v, (ta13L, (ta13M, (ta13N, ta13O, ta13O), (ta13N, ta13P, ta13P)), (ta13M, (ta13Q, ta13R, ta13R), (ta13Q, ta13S, ta13S))), (ta13L, (ta13T, (ta13U, ta13V, ta13V), (ta13U, ta13W, ta13W)), (ta13T, (ta13X, ta13Y, ta13Y), (ta13X, ta13Z, ta13Z))))), (ta13u, (ta140, (ta141, (ta142, (ta143, ta144, ta144), (ta143, ta145, ta145)), (ta142, (ta146, ta147, ta147), (ta146, ta148, ta148))), (ta141, (ta149, (ta14a, ta14b, ta14b), (ta14a, ta14c, ta14c)), (ta149, (ta14d, ta14e, ta14e), (ta14d, ta14f, ta14f)))), (ta140, (ta14g, (ta14h, (ta14i, ta14j, ta14j), (ta14i, ta14k, ta14k)), (ta14h, (ta14l, ta14m, ta14m), (ta14l, ta14n, ta14n))), (ta14g, (ta14o, (ta14p, ta14q, ta14q), (ta14p, ta14r, ta14r)), (ta14o, (ta14s, ta14t, ta14t), (ta14s, ta14u, ta14u)))))), (ta13t, (ta14v, (ta14w, (ta14x, (ta14y, (ta14z, ta14A, ta14A), (ta14z, ta14B, ta14B)), (ta14y, (ta14C, ta14D, ta14D), (ta14C, ta14E, ta14E))), (ta14x, (ta14F, (ta14G, ta14H, ta14H), (ta14G, ta14I, ta14I)), (ta14F, (ta14J, ta14K, ta14K), (ta14J, ta14L, ta14L)))), (ta14w, (ta14M, (ta14N, (ta14O, ta14P, ta14P), (ta14O, ta14Q, ta14Q)), (ta14N, (ta14R, ta14S, ta14S), (ta14R, ta14T, ta14T))), (ta14M, (ta14U, (ta14V, ta14W, ta14W), (ta14V, ta14X, ta14X)), (ta14U, (ta14Y, ta14Z, ta14Z), (ta14Y, ta150, ta150))))), (ta14v, (ta151, (ta152, (ta153, (ta154, ta155, ta155), (ta154, ta156, ta156)), (ta153, (ta157, ta158, ta158), (ta157, ta159, ta159))), (ta152, (ta15a, (ta15b, ta15c, ta15c), (ta15b, ta15d, ta15d)), (ta15a, (ta15e, ta15f, ta15f), (ta15e, ta15g, ta15g)))), (ta151, (ta15h, (ta15i, (ta15j, ta15k, ta15k), (ta15j, ta15l, ta15l)), (ta15i, (ta15m, ta15n, ta15n), (ta15m, ta15o, ta15o))), (ta15h, (ta15p, (ta15q, ta15r, ta15r), (ta15q, ta15s, ta15s)), (ta15p, (ta15t, ta15u, ta15u), (ta15t, ta15v, ta15v)))))))] g_rec7{-r5M,x-}
- [ta15w, GHC.Void{-3T,W-}, ta13u, ta13v, ta13w, ta13x, ta13y, ta13z, ta13A, ta13B, ta13C, ta13D, ta13E, ta13F, ta13G, ta13H, ta13I, ta13J, ta13K, ta13L, ta13M, ta13N, ta13O, ta13P, ta13Q, ta13R, ta13S, ta13T, ta13U, ta13V, ta13W, ta13X, ta13Y, ta13Z, ta140, ta141, ta142, ta143, ta144, ta145, ta146, ta147, ta148, ta149, ta14a, ta14b, ta14c, ta14d, ta14e, ta14f, ta14g, ta14h, ta14i, ta14j, ta14k, ta14l, ta14m, ta14n, ta14o, ta14p, ta14q, ta14r, ta14s, ta14t, ta14u, ta13t, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, ta14v, ta14w, ta14x, ta14y, ta14z, ta14A, ta14B, ta14C, ta14D, ta14E, ta14F, ta14G, ta14H, ta14I, ta14J, ta14K, ta14L, ta14M, ta14N, ta14O, ta14P, ta14Q, ta14R, ta14S, ta14T, ta14U, ta14V, ta14W, ta14X, ta14Y, ta14Z, ta150, ta151, ta152, ta153, ta154, ta155, ta156, ta157, ta158, ta159, ta15a, ta15b, ta15c, ta15d, ta15e, ta15f, ta15g, ta15h, ta15i, ta15j, ta15k, ta15l, ta15m, ta15n, ta15o, ta15p, ta15q, ta15r, ta15s, ta15t, ta15u, ta15v, ta13l]
- g_rec7{-r5M,x-}
- [ta15w, ta17I, ta17P, ta17Q, ta17R, ta17S, ta17T, ta17U, ta17V, ta17W, ta17X, ta17Y, ta17Z, ta180, ta181, ta182, ta183, ta184, ta185, ta186, ta187, ta188, ta189, ta18a, ta18b, ta18c, ta18d, ta18e, ta18f, ta18g, ta18h, ta18i, ta18j, ta18k, ta18l, ta18m, ta18n, ta18o, ta18p, ta18q, ta18r, ta18s, ta18t, ta18u, ta18v, ta18w, ta18x, ta18y, ta18z, ta18A, ta18B, ta18C, ta18D, ta18E, ta18F, ta18G, ta18H, ta18I, ta18J, ta18K, ta18L, ta18M, ta18N, ta18O, ta18P, ta17O, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, ta18Q, ta18R, ta18S, ta18T, ta18U, ta18V, ta18W, ta18X, ta18Y, ta18Z, ta190, ta191, ta192, ta193, ta194, ta195, ta196, ta197, ta198, ta199, ta19a, ta19b, ta19c, ta19d, ta19e, ta19f, ta19g, ta19h, ta19i, ta19j, ta19k, ta19l, ta19m, ta19n, ta19o, ta19p, ta19q, ta19r, ta19s, ta19t, ta19u, ta19v, ta19w, ta19x, ta19y, ta19z, ta19A, ta19B, ta19C, ta19D, ta19E, ta19F, ta19G, ta19H, ta19I, ta19J, ta19K, ta19L, ta19M, ta19N, ta19O, ta19P, ta19Q, ta17G]
- x_r4X
- y_r4Y
- z_r4Z
- p_r50
-AbsBinds
-[ta1aq, ta1eF, ta1eN, ta1eO, ta1eP, ta1eQ, ta1eR, ta1eS, ta1eT, ta1eU, ta1eV, ta1eW, ta1eX, ta1eY, ta1eZ, ta1f0, ta1f1, ta1f2, ta1f3, ta1f4, ta1f5, ta1f6, ta1f7, ta1f8, ta1f9, ta1fa, ta1fb, ta1fc, ta1fd, ta1fe, ta1ff, ta1fg, ta1fh, ta1fi, ta1fj, ta1fk, ta1fl, ta1fm, ta1fn, ta1fo, ta1fp, ta1fq, ta1fr, ta1fs, ta1ft, ta1fu, ta1fv, ta1fw, ta1fx, ta1fy, ta1fz, ta1fA, ta1fB, ta1fC, ta1fD, ta1fE, ta1fF, ta1fG, ta1fH, ta1fI, ta1fJ, ta1fK, ta1fL, ta1fM, ta1fN, ta1fO, ta1fP, ta1fQ, ta1fR, ta1fS, ta1fT, ta1fU, ta1fV, ta1fW, ta1fX, ta1fY, ta1fZ, ta1g0, ta1g1, ta1g2, ta1g3, ta1g4, ta1g5, ta1g6, ta1g7, ta1g8, ta1g9, ta1ga, ta1gb, ta1gc, ta1gd, ta1ge, ta1gf, ta1gg, ta1gh, ta1gi, ta1gj, ta1gk, ta1gl, ta1gm, ta1gn, ta1go, ta1gp, ta1gq, ta1gr, ta1gs, ta1gt, ta1gu, ta1gv, ta1gw, ta1gx, ta1gy, ta1gz, ta1gA, ta1gB, ta1gC, ta1gD, ta1gE, ta1gF, ta1gG, ta1gH, ta1gI, ta1gJ, ta1gK, ta1gL, ta1gM, ta1gN, ta1gO, ta1gP, ta1gQ, ta1gR, ta1gS, ta1gT, ta1gU, ta1gV, ta1gW, ta1gX, ta1gY, ta1gZ, ta1h0, ta1h1, ta1h2, ta1h3, ta1h4, ta1h5, ta1h6, ta1h7, ta1h8, ta1h9, ta1ha, ta1hb, ta1hc, ta1hd, ta1he, ta1hf, ta1hg, ta1hh, ta1hi, ta1hj, ta1hk, ta1hl, ta1hm, ta1hn, ta1ho, ta1hp, ta1hq, ta1hr, ta1hs, ta1ht, ta1hu, ta1hv, ta1hw, ta1hx, ta1hy, ta1hz, ta1hA, ta1hB, ta1hC, ta1hD, ta1hE, ta1hF, ta1hG, ta1hH, ta1hI, ta1hJ, ta1hK, ta1hL, ta1hM, ta1hN, ta1hO, ta1hP, ta1hQ, ta1hR, ta1hS, ta1hT, ta1hU, ta1hV, ta1hW, ta1hX, ta1hY, ta1hZ, ta1i0, ta1i1, ta1i2, ta1i3, ta1i4, ta1i5, ta1i6, ta1i7, ta1i8, ta1i9, ta1ia, ta1ib, ta1ic, ta1id, ta1ie, ta1if, ta1ig, ta1ih, ta1ii, ta1ij, ta1ik, ta1il, ta1im, ta1in, ta1io, ta1ip, ta1iq, ta1ir, ta1is, ta1it, ta1iu, ta1iv, ta1iw, ta1ix, ta1iy, ta1iz, ta1iA, ta1iB, ta1iC, ta1iD, ta1iE, ta1iF, ta1iG, ta1iH, ta1iI, ta1iJ, ta1iK, ta1iL, ta1iM, ta1iN, ta1iO, ta1iP, ta1iQ, ta1iR, ta1iS, ta1iT, ta1iU, ta1n8, ta1na, ta1ng, ta1nh, ta1ni, ta1nj, ta1nk, ta1nl, ta1nm, ta1nn, ta1no, ta1np, ta1nq, ta1nr, ta1ns, ta1nt, ta1nu, ta1nv, ta1nw, ta1nx, ta1ny, ta1nz, ta1nA, ta1nB, ta1nC, ta1nD, ta1nE, ta1nF, ta1nG, ta1nH, ta1nI, ta1nJ, ta1nK, ta1nL, ta1nM, ta1nN, ta1nO, ta1nP, ta1nQ, ta1nR, ta1nS, ta1nT, ta1nU, ta1nV, ta1nW, ta1nX, ta1nY, ta1nZ, ta1o0, ta1o1, ta1o2, ta1o3, ta1o4, ta1o5, ta1o6, ta1o7, ta1o8, ta1o9, ta1oa, ta1ob, ta1oc, ta1od, ta1oe, ta1of, ta1og, ta1oh, ta1oi, ta1oj, ta1ok, ta1ol, ta1om, ta1on, ta1oo, ta1op, ta1oq, ta1or, ta1os, ta1ot, ta1ou, ta1ov, ta1ow, ta1ox, ta1oy, ta1oz, ta1oA, ta1oB, ta1oC, ta1oD, ta1oE, ta1oF, ta1oG, ta1oH, ta1oI, ta1oJ, ta1oK, ta1oL, ta1oM, ta1oN, ta1oO, ta1oP, ta1oQ, ta1oR, ta1oS, ta1oT, ta1oU, ta1oV, ta1oW, ta1oX, ta1oY, ta1oZ, ta1p0, ta1p1, ta1p2, ta1p3, ta1p4, ta1p5, ta1p6, ta1p7, ta1p8, ta1p9, ta1pa, ta1pb, ta1pc, ta1pd, ta1pe, ta1pf, ta1pg, ta1ph, ta1pi, ta1pj, ta1pk, ta1pl, ta1pm, ta1pn, ta1po, ta1pp, ta1pq, ta1pr, ta1ps, ta1pt, ta1pu, ta1pv, ta1pw, ta1px, ta1py, ta1pz, ta1pA, ta1pB, ta1pC, ta1pD, ta1pE, ta1pF, ta1pG, ta1pH, ta1pI, ta1pJ, ta1pK, ta1pL, ta1pM, ta1pN, ta1pO, ta1pP, ta1pQ, ta1pR, ta1pS, ta1pT, ta1pU, ta1pV, ta1pW, ta1pX, ta1pY, ta1pZ, ta1q0, ta1q1, ta1q2, ta1q3, ta1q4, ta1q5, ta1q6, ta1q7, ta1q8, ta1q9, ta1qa, ta1qb, ta1qc, ta1qd, ta1qe, ta1qf, ta1qg, ta1qh, ta1qi, ta1qj, ta1qk, ta1ql, ta1qm, ta1qn, ta1qo, ta1qp, ta1qq, ta1qr, ta1qs, ta1qt, ta1qu, ta1qv, ta1qw, ta1qx, ta1qy, ta1qz, ta1qA, ta1qB, ta1qC, ta1qD, ta1qE, ta1qF, ta1qG, ta1qH, ta1qI, ta1qJ, ta1qK, ta1qL, ta1qM, ta1qN, ta1qO, ta1qP, ta1qQ, ta1qR, ta1qS, ta1qT, ta1qU, ta1qV, ta1qW, ta1qX, ta1qY, ta1qZ, ta1r0, ta1r1, ta1r2, ta1r3, ta1r4, ta1r5, ta1r6, ta1r7, ta1r8, ta1r9, ta1ra, ta1rb, ta1rc, ta1rd, ta1re, ta1rf, ta1rg, ta1rh, ta1ri, ta1rj, ta1rk, ta1rl, ta1rm, ta1rn]
-[]
-[([ta1aq, ta1eF, ta1eN, ta1eO, ta1eP, ta1eQ, ta1eR, ta1eS, ta1eT,
- ta1eU, ta1eV, ta1eW, ta1eX, ta1eY, ta1eZ, ta1f0, ta1f1, ta1f2,
- ta1f3, ta1f4, ta1f5, ta1f6, ta1f7, ta1f8, ta1f9, ta1fa, ta1fb,
- ta1fc, ta1fd, ta1fe, ta1ff, ta1fg, ta1fh, ta1fi, ta1fj, ta1fk,
- ta1fl, ta1fm, ta1fn, ta1fo, ta1fp, ta1fq, ta1fr, ta1fs, ta1ft,
- ta1fu, ta1fv, ta1fw, ta1fx, ta1fy, ta1fz, ta1fA, ta1fB, ta1fC,
- ta1fD, ta1fE, ta1fF, ta1fG, ta1fH, ta1fI, ta1fJ, ta1fK, ta1fL,
- ta1fM, ta1fN, ta1fO, ta1fP, ta1fQ, ta1fR, ta1fS, ta1fT, ta1fU,
- ta1fV, ta1fW, ta1fX, ta1fY, ta1fZ, ta1g0, ta1g1, ta1g2, ta1g3,
- ta1g4, ta1g5, ta1g6, ta1g7, ta1g8, ta1g9, ta1ga, ta1gb, ta1gc,
- ta1gd, ta1ge, ta1gf, ta1gg, ta1gh, ta1gi, ta1gj, ta1gk, ta1gl,
- ta1gm, ta1gn, ta1go, ta1gp, ta1gq, ta1gr, ta1gs, ta1gt, ta1gu,
- ta1gv, ta1gw, ta1gx, ta1gy, ta1gz, ta1gA, ta1gB, ta1gC, ta1gD,
- ta1gE, ta1gF, ta1gG, ta1gH, ta1gI, ta1gJ, ta1gK, ta1gL, ta1gM,
- ta1gN, ta1gO, ta1gP, ta1gQ, ta1gR, ta1gS, ta1gT, ta1gU, ta1gV,
- ta1gW, ta1gX, ta1gY, ta1gZ, ta1h0, ta1h1, ta1h2, ta1h3, ta1h4,
- ta1h5, ta1h6, ta1h7, ta1h8, ta1h9, ta1ha, ta1hb, ta1hc, ta1hd,
- ta1he, ta1hf, ta1hg, ta1hh, ta1hi, ta1hj, ta1hk, ta1hl, ta1hm,
- ta1hn, ta1ho, ta1hp, ta1hq, ta1hr, ta1hs, ta1ht, ta1hu, ta1hv,
- ta1hw, ta1hx, ta1hy, ta1hz, ta1hA, ta1hB, ta1hC, ta1hD, ta1hE,
- ta1hF, ta1hG, ta1hH, ta1hI, ta1hJ, ta1hK, ta1hL, ta1hM, ta1hN,
- ta1hO, ta1hP, ta1hQ, ta1hR, ta1hS, ta1hT, ta1hU, ta1hV, ta1hW,
- ta1hX, ta1hY, ta1hZ, ta1i0, ta1i1, ta1i2, ta1i3, ta1i4, ta1i5,
- ta1i6, ta1i7, ta1i8, ta1i9, ta1ia, ta1ib, ta1ic, ta1id, ta1ie,
- ta1if, ta1ig, ta1ih, ta1ii, ta1ij, ta1ik, ta1il, ta1im, ta1in,
- ta1io, ta1ip, ta1iq, ta1ir, ta1is, ta1it, ta1iu, ta1iv, ta1iw,
- ta1ix, ta1iy, ta1iz, ta1iA, ta1iB, ta1iC, ta1iD, ta1iE, ta1iF,
- ta1iG, ta1iH, ta1iI, ta1iJ, ta1iK, ta1iL, ta1iM, ta1iN, ta1iO,
- ta1iP, ta1iQ, ta1iR, ta1iS, ta1iT, ta1iU, ta1n8, ta1na, ta1ng,
- ta1nh, ta1ni, ta1nj, ta1nk, ta1nl, ta1nm, ta1nn, ta1no, ta1np,
- ta1nq, ta1nr, ta1ns, ta1nt, ta1nu, ta1nv, ta1nw, ta1nx, ta1ny,
- ta1nz, ta1nA, ta1nB, ta1nC, ta1nD, ta1nE, ta1nF, ta1nG, ta1nH,
- ta1nI, ta1nJ, ta1nK, ta1nL, ta1nM, ta1nN, ta1nO, ta1nP, ta1nQ,
- ta1nR, ta1nS, ta1nT, ta1nU, ta1nV, ta1nW, ta1nX, ta1nY, ta1nZ,
- ta1o0, ta1o1, ta1o2, ta1o3, ta1o4, ta1o5, ta1o6, ta1o7, ta1o8,
- ta1o9, ta1oa, ta1ob, ta1oc, ta1od, ta1oe, ta1of, ta1og, ta1oh,
- ta1oi, ta1oj, ta1ok, ta1ol, ta1om, ta1on, ta1oo, ta1op, ta1oq,
- ta1or, ta1os, ta1ot, ta1ou, ta1ov, ta1ow, ta1ox, ta1oy, ta1oz,
- ta1oA, ta1oB, ta1oC, ta1oD, ta1oE, ta1oF, ta1oG, ta1oH, ta1oI,
- ta1oJ, ta1oK, ta1oL, ta1oM, ta1oN, ta1oO, ta1oP, ta1oQ, ta1oR,
- ta1oS, ta1oT, ta1oU, ta1oV, ta1oW, ta1oX, ta1oY, ta1oZ, ta1p0,
- ta1p1, ta1p2, ta1p3, ta1p4, ta1p5, ta1p6, ta1p7, ta1p8, ta1p9,
- ta1pa, ta1pb, ta1pc, ta1pd, ta1pe, ta1pf, ta1pg, ta1ph, ta1pi,
- ta1pj, ta1pk, ta1pl, ta1pm, ta1pn, ta1po, ta1pp, ta1pq, ta1pr,
- ta1ps, ta1pt, ta1pu, ta1pv, ta1pw, ta1px, ta1py, ta1pz, ta1pA,
- ta1pB, ta1pC, ta1pD, ta1pE, ta1pF, ta1pG, ta1pH, ta1pI, ta1pJ,
- ta1pK, ta1pL, ta1pM, ta1pN, ta1pO, ta1pP, ta1pQ, ta1pR, ta1pS,
- ta1pT, ta1pU, ta1pV, ta1pW, ta1pX, ta1pY, ta1pZ, ta1q0, ta1q1,
- ta1q2, ta1q3, ta1q4, ta1q5, ta1q6, ta1q7, ta1q8, ta1q9, ta1qa,
- ta1qb, ta1qc, ta1qd, ta1qe, ta1qf, ta1qg, ta1qh, ta1qi, ta1qj,
- ta1qk, ta1ql, ta1qm, ta1qn, ta1qo, ta1qp, ta1qq, ta1qr, ta1qs,
- ta1qt, ta1qu, ta1qv, ta1qw, ta1qx, ta1qy, ta1qz, ta1qA, ta1qB,
- ta1qC, ta1qD, ta1qE, ta1qF, ta1qG, ta1qH, ta1qI, ta1qJ, ta1qK,
- ta1qL, ta1qM, ta1qN, ta1qO, ta1qP, ta1qQ, ta1qR, ta1qS, ta1qT,
- ta1qU, ta1qV, ta1qW, ta1qX, ta1qY, ta1qZ, ta1r0, ta1r1, ta1r2,
- ta1r3, ta1r4, ta1r5, ta1r6, ta1r7, ta1r8, ta1r9, ta1ra, ta1rb,
- ta1rc, ta1rd, ta1re, ta1rf, ta1rg, ta1rh, ta1ri, ta1rj, ta1rk,
- ta1rl, ta1rm, ta1rn],
- g{-r5O,x-},
- g_a19T)]
- g_a19T x_r4S y_r4T z_r4U p_r4V
- = g_rec{-r65,x-}
- [ta1iU, ta1eF, GHC.Void{-3T,W-}, (ta1eF, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), ta1na, ta1rn, ta1n8, (ta1n8, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}), (ta1iU, (ta1ng, (ta1nh, (ta1ni, (ta1nj, (ta1nk, (ta1nl, (ta1nm, ta1nn, ta1nn), (ta1nm, ta1no, ta1no)), (ta1nl, (ta1np, ta1nq, ta1nq), (ta1np, ta1nr, ta1nr))), (ta1nk, (ta1ns, (ta1nt, ta1nu, ta1nu), (ta1nt, ta1nv, ta1nv)), (ta1ns, (ta1nw, ta1nx, ta1nx), (ta1nw, ta1ny, ta1ny)))), (ta1nj, (ta1nz, (ta1nA, (ta1nB, ta1nC, ta1nC), (ta1nB, ta1nD, ta1nD)), (ta1nA, (ta1nE, ta1nF, ta1nF), (ta1nE, ta1nG, ta1nG))), (ta1nz, (ta1nH, (ta1nI, ta1nJ, ta1nJ), (ta1nI, ta1nK, ta1nK)), (ta1nH, (ta1nL, ta1nM, ta1nM), (ta1nL, ta1nN, ta1nN))))), (ta1ni, (ta1nO, (ta1nP, (ta1nQ, (ta1nR, ta1nS, ta1nS), (ta1nR, ta1nT, ta1nT)), (ta1nQ, (ta1nU, ta1nV, ta1nV), (ta1nU, ta1nW, ta1nW))), (ta1nP, (ta1nX, (ta1nY, ta1nZ, ta1nZ), (ta1nY, ta1o0, ta1o0)), (ta1nX, (ta1o1, ta1o2, ta1o2), (ta1o1, ta1o3, ta1o3)))), (ta1nO, (ta1o4, (ta1o5, (ta1o6, ta1o7, ta1o7), (ta1o6, ta1o8, ta1o8)), (ta1o5, (ta1o9, ta1oa, ta1oa), (ta1o9, ta1ob, ta1ob))), (ta1o4, (ta1oc, (ta1od, ta1oe, ta1oe), (ta1od, ta1of, ta1of)), (ta1oc, (ta1og, ta1oh, ta1oh), (ta1og, ta1oi, ta1oi)))))), (ta1nh, (ta1oj, (ta1ok, (ta1ol, (ta1om, (ta1on, ta1oo, ta1oo), (ta1on, ta1op, ta1op)), (ta1om, (ta1oq, ta1or, ta1or), (ta1oq, ta1os, ta1os))), (ta1ol, (ta1ot, (ta1ou, ta1ov, ta1ov), (ta1ou, ta1ow, ta1ow)), (ta1ot, (ta1ox, ta1oy, ta1oy), (ta1ox, ta1oz, ta1oz)))), (ta1ok, (ta1oA, (ta1oB, (ta1oC, ta1oD, ta1oD), (ta1oC, ta1oE, ta1oE)), (ta1oB, (ta1oF, ta1oG, ta1oG), (ta1oF, ta1oH, ta1oH))), (ta1oA, (ta1oI, (ta1oJ, ta1oK, ta1oK), (ta1oJ, ta1oL, ta1oL)), (ta1oI, (ta1oM, ta1oN, ta1oN), (ta1oM, ta1oO, ta1oO))))), (ta1oj, (ta1oP, (ta1oQ, (ta1oR, (ta1oS, ta1oT, ta1oT), (ta1oS, ta1oU, ta1oU)), (ta1oR, (ta1oV, ta1oW, ta1oW), (ta1oV, ta1oX, ta1oX))), (ta1oQ, (ta1oY, (ta1oZ, ta1p0, ta1p0), (ta1oZ, ta1p1, ta1p1)), (ta1oY, (ta1p2, ta1p3, ta1p3), (ta1p2, ta1p4, ta1p4)))), (ta1oP, (ta1p5, (ta1p6, (ta1p7, ta1p8, ta1p8), (ta1p7, ta1p9, ta1p9)), (ta1p6, (ta1pa, ta1pb, ta1pb), (ta1pa, ta1pc, ta1pc))), (ta1p5, (ta1pd, (ta1pe, ta1pf, ta1pf), (ta1pe, ta1pg, ta1pg)), (ta1pd, (ta1ph, ta1pi, ta1pi), (ta1ph, ta1pj, ta1pj))))))), (ta1ng, (ta1pk, (ta1pl, (ta1pm, (ta1pn, (ta1po, (ta1pp, ta1pq, ta1pq), (ta1pp, ta1pr, ta1pr)), (ta1po, (ta1ps, ta1pt, ta1pt), (ta1ps, ta1pu, ta1pu))), (ta1pn, (ta1pv, (ta1pw, ta1px, ta1px), (ta1pw, ta1py, ta1py)), (ta1pv, (ta1pz, ta1pA, ta1pA), (ta1pz, ta1pB, ta1pB)))), (ta1pm, (ta1pC, (ta1pD, (ta1pE, ta1pF, ta1pF), (ta1pE, ta1pG, ta1pG)), (ta1pD, (ta1pH, ta1pI, ta1pI), (ta1pH, ta1pJ, ta1pJ))), (ta1pC, (ta1pK, (ta1pL, ta1pM, ta1pM), (ta1pL, ta1pN, ta1pN)), (ta1pK, (ta1pO, ta1pP, ta1pP), (ta1pO, ta1pQ, ta1pQ))))), (ta1pl, (ta1pR, (ta1pS, (ta1pT, (ta1pU, ta1pV, ta1pV), (ta1pU, ta1pW, ta1pW)), (ta1pT, (ta1pX, ta1pY, ta1pY), (ta1pX, ta1pZ, ta1pZ))), (ta1pS, (ta1q0, (ta1q1, ta1q2, ta1q2), (ta1q1, ta1q3, ta1q3)), (ta1q0, (ta1q4, ta1q5, ta1q5), (ta1q4, ta1q6, ta1q6)))), (ta1pR, (ta1q7, (ta1q8, (ta1q9, ta1qa, ta1qa), (ta1q9, ta1qb, ta1qb)), (ta1q8, (ta1qc, ta1qd, ta1qd), (ta1qc, ta1qe, ta1qe))), (ta1q7, (ta1qf, (ta1qg, ta1qh, ta1qh), (ta1qg, ta1qi, ta1qi)), (ta1qf, (ta1qj, ta1qk, ta1qk), (ta1qj, ta1ql, ta1ql)))))), (ta1pk, (ta1qm, (ta1qn, (ta1qo, (ta1qp, (ta1qq, ta1qr, ta1qr), (ta1qq, ta1qs, ta1qs)), (ta1qp, (ta1qt, ta1qu, ta1qu), (ta1qt, ta1qv, ta1qv))), (ta1qo, (ta1qw, (ta1qx, ta1qy, ta1qy), (ta1qx, ta1qz, ta1qz)), (ta1qw, (ta1qA, ta1qB, ta1qB), (ta1qA, ta1qC, ta1qC)))), (ta1qn, (ta1qD, (ta1qE, (ta1qF, ta1qG, ta1qG), (ta1qF, ta1qH, ta1qH)), (ta1qE, (ta1qI, ta1qJ, ta1qJ), (ta1qI, ta1qK, ta1qK))), (ta1qD, (ta1qL, (ta1qM, ta1qN, ta1qN), (ta1qM, ta1qO, ta1qO)), (ta1qL, (ta1qP, ta1qQ, ta1qQ), (ta1qP, ta1qR, ta1qR))))), (ta1qm, (ta1qS, (ta1qT, (ta1qU, (ta1qV, ta1qW, ta1qW), (ta1qV, ta1qX, ta1qX)), (ta1qU, (ta1qY, ta1qZ, ta1qZ), (ta1qY, ta1r0, ta1r0))), (ta1qT, (ta1r1, (ta1r2, ta1r3, ta1r3), (ta1r2, ta1r4, ta1r4)), (ta1r1, (ta1r5, ta1r6, ta1r6), (ta1r5, ta1r7, ta1r7)))), (ta1qS, (ta1r8, (ta1r9, (ta1ra, ta1rb, ta1rb), (ta1ra, ta1rc, ta1rc)), (ta1r9, (ta1rd, ta1re, ta1re), (ta1rd, ta1rf, ta1rf))), (ta1r8, (ta1rg, (ta1rh, ta1ri, ta1ri), (ta1rh, ta1rj, ta1rj)), (ta1rg, (ta1rk, ta1rl, ta1rl), (ta1rk, ta1rm, ta1rm)))))))), ta1aq, (ta1iU, (ta1eN, (ta1eO, (ta1eP, (ta1eQ, (ta1eR, (ta1eS, (ta1eT, ta1eU, ta1eU), (ta1eT, ta1eV, ta1eV)), (ta1eS, (ta1eW, ta1eX, ta1eX), (ta1eW, ta1eY, ta1eY))), (ta1eR, (ta1eZ, (ta1f0, ta1f1, ta1f1), (ta1f0, ta1f2, ta1f2)), (ta1eZ, (ta1f3, ta1f4, ta1f4), (ta1f3, ta1f5, ta1f5)))), (ta1eQ, (ta1f6, (ta1f7, (ta1f8, ta1f9, ta1f9), (ta1f8, ta1fa, ta1fa)), (ta1f7, (ta1fb, ta1fc, ta1fc), (ta1fb, ta1fd, ta1fd))), (ta1f6, (ta1fe, (ta1ff, ta1fg, ta1fg), (ta1ff, ta1fh, ta1fh)), (ta1fe, (ta1fi, ta1fj, ta1fj), (ta1fi, ta1fk, ta1fk))))), (ta1eP, (ta1fl, (ta1fm, (ta1fn, (ta1fo, ta1fp, ta1fp), (ta1fo, ta1fq, ta1fq)), (ta1fn, (ta1fr, ta1fs, ta1fs), (ta1fr, ta1ft, ta1ft))), (ta1fm, (ta1fu, (ta1fv, ta1fw, ta1fw), (ta1fv, ta1fx, ta1fx)), (ta1fu, (ta1fy, ta1fz, ta1fz), (ta1fy, ta1fA, ta1fA)))), (ta1fl, (ta1fB, (ta1fC, (ta1fD, ta1fE, ta1fE), (ta1fD, ta1fF, ta1fF)), (ta1fC, (ta1fG, ta1fH, ta1fH), (ta1fG, ta1fI, ta1fI))), (ta1fB, (ta1fJ, (ta1fK, ta1fL, ta1fL), (ta1fK, ta1fM, ta1fM)), (ta1fJ, (ta1fN, ta1fO, ta1fO), (ta1fN, ta1fP, ta1fP)))))), (ta1eO, (ta1fQ, (ta1fR, (ta1fS, (ta1fT, (ta1fU, ta1fV, ta1fV), (ta1fU, ta1fW, ta1fW)), (ta1fT, (ta1fX, ta1fY, ta1fY), (ta1fX, ta1fZ, ta1fZ))), (ta1fS, (ta1g0, (ta1g1, ta1g2, ta1g2), (ta1g1, ta1g3, ta1g3)), (ta1g0, (ta1g4, ta1g5, ta1g5), (ta1g4, ta1g6, ta1g6)))), (ta1fR, (ta1g7, (ta1g8, (ta1g9, ta1ga, ta1ga), (ta1g9, ta1gb, ta1gb)), (ta1g8, (ta1gc, ta1gd, ta1gd), (ta1gc, ta1ge, ta1ge))), (ta1g7, (ta1gf, (ta1gg, ta1gh, ta1gh), (ta1gg, ta1gi, ta1gi)), (ta1gf, (ta1gj, ta1gk, ta1gk), (ta1gj, ta1gl, ta1gl))))), (ta1fQ, (ta1gm, (ta1gn, (ta1go, (ta1gp, ta1gq, ta1gq), (ta1gp, ta1gr, ta1gr)), (ta1go, (ta1gs, ta1gt, ta1gt), (ta1gs, ta1gu, ta1gu))), (ta1gn, (ta1gv, (ta1gw, ta1gx, ta1gx), (ta1gw, ta1gy, ta1gy)), (ta1gv, (ta1gz, ta1gA, ta1gA), (ta1gz, ta1gB, ta1gB)))), (ta1gm, (ta1gC, (ta1gD, (ta1gE, ta1gF, ta1gF), (ta1gE, ta1gG, ta1gG)), (ta1gD, (ta1gH, ta1gI, ta1gI), (ta1gH, ta1gJ, ta1gJ))), (ta1gC, (ta1gK, (ta1gL, ta1gM, ta1gM), (ta1gL, ta1gN, ta1gN)), (ta1gK, (ta1gO, ta1gP, ta1gP), (ta1gO, ta1gQ, ta1gQ))))))), (ta1eN, (ta1gR, (ta1gS, (ta1gT, (ta1gU, (ta1gV, (ta1gW, ta1gX, ta1gX), (ta1gW, ta1gY, ta1gY)), (ta1gV, (ta1gZ, ta1h0, ta1h0), (ta1gZ, ta1h1, ta1h1))), (ta1gU, (ta1h2, (ta1h3, ta1h4, ta1h4), (ta1h3, ta1h5, ta1h5)), (ta1h2, (ta1h6, ta1h7, ta1h7), (ta1h6, ta1h8, ta1h8)))), (ta1gT, (ta1h9, (ta1ha, (ta1hb, ta1hc, ta1hc), (ta1hb, ta1hd, ta1hd)), (ta1ha, (ta1he, ta1hf, ta1hf), (ta1he, ta1hg, ta1hg))), (ta1h9, (ta1hh, (ta1hi, ta1hj, ta1hj), (ta1hi, ta1hk, ta1hk)), (ta1hh, (ta1hl, ta1hm, ta1hm), (ta1hl, ta1hn, ta1hn))))), (ta1gS, (ta1ho, (ta1hp, (ta1hq, (ta1hr, ta1hs, ta1hs), (ta1hr, ta1ht, ta1ht)), (ta1hq, (ta1hu, ta1hv, ta1hv), (ta1hu, ta1hw, ta1hw))), (ta1hp, (ta1hx, (ta1hy, ta1hz, ta1hz), (ta1hy, ta1hA, ta1hA)), (ta1hx, (ta1hB, ta1hC, ta1hC), (ta1hB, ta1hD, ta1hD)))), (ta1ho, (ta1hE, (ta1hF, (ta1hG, ta1hH, ta1hH), (ta1hG, ta1hI, ta1hI)), (ta1hF, (ta1hJ, ta1hK, ta1hK), (ta1hJ, ta1hL, ta1hL))), (ta1hE, (ta1hM, (ta1hN, ta1hO, ta1hO), (ta1hN, ta1hP, ta1hP)), (ta1hM, (ta1hQ, ta1hR, ta1hR), (ta1hQ, ta1hS, ta1hS)))))), (ta1gR, (ta1hT, (ta1hU, (ta1hV, (ta1hW, (ta1hX, ta1hY, ta1hY), (ta1hX, ta1hZ, ta1hZ)), (ta1hW, (ta1i0, ta1i1, ta1i1), (ta1i0, ta1i2, ta1i2))), (ta1hV, (ta1i3, (ta1i4, ta1i5, ta1i5), (ta1i4, ta1i6, ta1i6)), (ta1i3, (ta1i7, ta1i8, ta1i8), (ta1i7, ta1i9, ta1i9)))), (ta1hU, (ta1ia, (ta1ib, (ta1ic, ta1id, ta1id), (ta1ic, ta1ie, ta1ie)), (ta1ib, (ta1if, ta1ig, ta1ig), (ta1if, ta1ih, ta1ih))), (ta1ia, (ta1ii, (ta1ij, ta1ik, ta1ik), (ta1ij, ta1il, ta1il)), (ta1ii, (ta1im, ta1in, ta1in), (ta1im, ta1io, ta1io))))), (ta1hT, (ta1ip, (ta1iq, (ta1ir, (ta1is, ta1it, ta1it), (ta1is, ta1iu, ta1iu)), (ta1ir, (ta1iv, ta1iw, ta1iw), (ta1iv, ta1ix, ta1ix))), (ta1iq, (ta1iy, (ta1iz, ta1iA, ta1iA), (ta1iz, ta1iB, ta1iB)), (ta1iy, (ta1iC, ta1iD, ta1iD), (ta1iC, ta1iE, ta1iE)))), (ta1ip, (ta1iF, (ta1iG, (ta1iH, ta1iI, ta1iI), (ta1iH, ta1iJ, ta1iJ)), (ta1iG, (ta1iK, ta1iL, ta1iL), (ta1iK, ta1iM, ta1iM))), (ta1iF, (ta1iN, (ta1iO, ta1iP, ta1iP), (ta1iO, ta1iQ, ta1iQ)), (ta1iN, (ta1iR, ta1iS, ta1iS), (ta1iR, ta1iT, ta1iT))))))))] g_rec8{-r5N,x-}
- [ta1iU, GHC.Void{-3T,W-}, ta1eO, ta1eP, ta1eQ, ta1eR, ta1eS, ta1eT, ta1eU, ta1eV, ta1eW, ta1eX, ta1eY, ta1eZ, ta1f0, ta1f1, ta1f2, ta1f3, ta1f4, ta1f5, ta1f6, ta1f7, ta1f8, ta1f9, ta1fa, ta1fb, ta1fc, ta1fd, ta1fe, ta1ff, ta1fg, ta1fh, ta1fi, ta1fj, ta1fk, ta1fl, ta1fm, ta1fn, ta1fo, ta1fp, ta1fq, ta1fr, ta1fs, ta1ft, ta1fu, ta1fv, ta1fw, ta1fx, ta1fy, ta1fz, ta1fA, ta1fB, ta1fC, ta1fD, ta1fE, ta1fF, ta1fG, ta1fH, ta1fI, ta1fJ, ta1fK, ta1fL, ta1fM, ta1fN, ta1fO, ta1fP, ta1fQ, ta1fR, ta1fS, ta1fT, ta1fU, ta1fV, ta1fW, ta1fX, ta1fY, ta1fZ, ta1g0, ta1g1, ta1g2, ta1g3, ta1g4, ta1g5, ta1g6, ta1g7, ta1g8, ta1g9, ta1ga, ta1gb, ta1gc, ta1gd, ta1ge, ta1gf, ta1gg, ta1gh, ta1gi, ta1gj, ta1gk, ta1gl, ta1gm, ta1gn, ta1go, ta1gp, ta1gq, ta1gr, ta1gs, ta1gt, ta1gu, ta1gv, ta1gw, ta1gx, ta1gy, ta1gz, ta1gA, ta1gB, ta1gC, ta1gD, ta1gE, ta1gF, ta1gG, ta1gH, ta1gI, ta1gJ, ta1gK, ta1gL, ta1gM, ta1gN, ta1gO, ta1gP, ta1gQ, ta1eN, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, ta1gR, ta1gS, ta1gT, ta1gU, ta1gV, ta1gW, ta1gX, ta1gY, ta1gZ, ta1h0, ta1h1, ta1h2, ta1h3, ta1h4, ta1h5, ta1h6, ta1h7, ta1h8, ta1h9, ta1ha, ta1hb, ta1hc, ta1hd, ta1he, ta1hf, ta1hg, ta1hh, ta1hi, ta1hj, ta1hk, ta1hl, ta1hm, ta1hn, ta1ho, ta1hp, ta1hq, ta1hr, ta1hs, ta1ht, ta1hu, ta1hv, ta1hw, ta1hx, ta1hy, ta1hz, ta1hA, ta1hB, ta1hC, ta1hD, ta1hE, ta1hF, ta1hG, ta1hH, ta1hI, ta1hJ, ta1hK, ta1hL, ta1hM, ta1hN, ta1hO, ta1hP, ta1hQ, ta1hR, ta1hS, ta1hT, ta1hU, ta1hV, ta1hW, ta1hX, ta1hY, ta1hZ, ta1i0, ta1i1, ta1i2, ta1i3, ta1i4, ta1i5, ta1i6, ta1i7, ta1i8, ta1i9, ta1ia, ta1ib, ta1ic, ta1id, ta1ie, ta1if, ta1ig, ta1ih, ta1ii, ta1ij, ta1ik, ta1il, ta1im, ta1in, ta1io, ta1ip, ta1iq, ta1ir, ta1is, ta1it, ta1iu, ta1iv, ta1iw, ta1ix, ta1iy, ta1iz, ta1iA, ta1iB, ta1iC, ta1iD, ta1iE, ta1iF, ta1iG, ta1iH, ta1iI, ta1iJ, ta1iK, ta1iL, ta1iM, ta1iN, ta1iO, ta1iP, ta1iQ, ta1iR, ta1iS, ta1iT, ta1eF]
- g_rec8{-r5N,x-}
- [ta1iU, ta1na, ta1nh, ta1ni, ta1nj, ta1nk, ta1nl, ta1nm, ta1nn, ta1no, ta1np, ta1nq, ta1nr, ta1ns, ta1nt, ta1nu, ta1nv, ta1nw, ta1nx, ta1ny, ta1nz, ta1nA, ta1nB, ta1nC, ta1nD, ta1nE, ta1nF, ta1nG, ta1nH, ta1nI, ta1nJ, ta1nK, ta1nL, ta1nM, ta1nN, ta1nO, ta1nP, ta1nQ, ta1nR, ta1nS, ta1nT, ta1nU, ta1nV, ta1nW, ta1nX, ta1nY, ta1nZ, ta1o0, ta1o1, ta1o2, ta1o3, ta1o4, ta1o5, ta1o6, ta1o7, ta1o8, ta1o9, ta1oa, ta1ob, ta1oc, ta1od, ta1oe, ta1of, ta1og, ta1oh, ta1oi, ta1oj, ta1ok, ta1ol, ta1om, ta1on, ta1oo, ta1op, ta1oq, ta1or, ta1os, ta1ot, ta1ou, ta1ov, ta1ow, ta1ox, ta1oy, ta1oz, ta1oA, ta1oB, ta1oC, ta1oD, ta1oE, ta1oF, ta1oG, ta1oH, ta1oI, ta1oJ, ta1oK, ta1oL, ta1oM, ta1oN, ta1oO, ta1oP, ta1oQ, ta1oR, ta1oS, ta1oT, ta1oU, ta1oV, ta1oW, ta1oX, ta1oY, ta1oZ, ta1p0, ta1p1, ta1p2, ta1p3, ta1p4, ta1p5, ta1p6, ta1p7, ta1p8, ta1p9, ta1pa, ta1pb, ta1pc, ta1pd, ta1pe, ta1pf, ta1pg, ta1ph, ta1pi, ta1pj, ta1ng, GHC.Void{-3T,W-}, GHC.Void{-3T,W-}, ta1pk, ta1pl, ta1pm, ta1pn, ta1po, ta1pp, ta1pq, ta1pr, ta1ps, ta1pt, ta1pu, ta1pv, ta1pw, ta1px, ta1py, ta1pz, ta1pA, ta1pB, ta1pC, ta1pD, ta1pE, ta1pF, ta1pG, ta1pH, ta1pI, ta1pJ, ta1pK, ta1pL, ta1pM, ta1pN, ta1pO, ta1pP, ta1pQ, ta1pR, ta1pS, ta1pT, ta1pU, ta1pV, ta1pW, ta1pX, ta1pY, ta1pZ, ta1q0, ta1q1, ta1q2, ta1q3, ta1q4, ta1q5, ta1q6, ta1q7, ta1q8, ta1q9, ta1qa, ta1qb, ta1qc, ta1qd, ta1qe, ta1qf, ta1qg, ta1qh, ta1qi, ta1qj, ta1qk, ta1ql, ta1qm, ta1qn, ta1qo, ta1qp, ta1qq, ta1qr, ta1qs, ta1qt, ta1qu, ta1qv, ta1qw, ta1qx, ta1qy, ta1qz, ta1qA, ta1qB, ta1qC, ta1qD, ta1qE, ta1qF, ta1qG, ta1qH, ta1qI, ta1qJ, ta1qK, ta1qL, ta1qM, ta1qN, ta1qO, ta1qP, ta1qQ, ta1qR, ta1qS, ta1qT, ta1qU, ta1qV, ta1qW, ta1qX, ta1qY, ta1qZ, ta1r0, ta1r1, ta1r2, ta1r3, ta1r4, ta1r5, ta1r6, ta1r7, ta1r8, ta1r9, ta1ra, ta1rb, ta1rc, ta1rd, ta1re, ta1rf, ta1rg, ta1rh, ta1ri, ta1rj, ta1rk, ta1rl, ta1rm, ta1n8]
- x_r4S
- y_r4T
- z_r4U
- p_r4V
-
-NOTE: Simplifier still going after 4 iterations; bailing out.
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_exports_
-ShouldSucceed absAnd absIf bottom f f_rec f_rec0 f_rec1 f_rec2 fac fac_rec fac_rec0 fac_rec1 fac_rec2 fac_rec3 fac_rec4 g g_rec g_rec0 g_rec1 g_rec2 g_rec3 g_rec4 g_rec5 g_rec6 g_rec7 g_rec8 head one s_1_0 s_2_0 s_2_1 s_3_0 s_3_1 s_3_2;
-_declarations_
-1 absAnd _:_ _forall_ [ta] => ta -> ta -> ta ;;
-1 absIf _:_ _forall_ [ta tb tc] => tc -> ta -> tb -> tc ;;
-1 bottom _:_ _forall_ [ta] => [ta] -> ta ;;
-1 f _:_ _forall_ [ta] => ta -> ta ;;
-1 f_rec _:_ _forall_ [ta tb] => (tb -> ta) -> tb -> ta ;;
-1 f_rec0 _:_ _forall_ [ta] => ta -> ta ;;
-1 f_rec1 _:_ _forall_ [ta] => ta -> ta ;;
-1 f_rec2 _:_ _forall_ [ta] => ta -> ta ;;
-1 fac _:_ _forall_ [ta tb tc td te tf tg th ti tj tk] => (ta, (ti, (tb, (tc, (td, te)))), (tj, (tb, (tc, (td, te))), (tf, (tc, (td, te)), (tg, (td, te), (th, te, te))))) -> (tk, (ti, (tb, (tc, (td, te))))) -> ta ;;
-1 fac_rec _:_ _forall_ [ta tb tc td te] => (tc -> td -> ta) -> (tb, td, tc) -> (te, td) -> tb ;;
-1 fac_rec0 _:_ _forall_ [ta] => ta -> ta -> ta ;;
-1 fac_rec1 _:_ _forall_ [ta tb tc] => (ta, tb, tb) -> (tc, tb) -> ta ;;
-1 fac_rec2 _:_ _forall_ [ta tb tc td te] => (ta, (tc, tb), (td, tb, tb)) -> (te, (tc, tb)) -> ta ;;
-1 fac_rec3 _:_ _forall_ [ta tb tc td te tf tg] => (ta, (te, (tb, tc)), (tf, (tb, tc), (td, tc, tc))) -> (tg, (te, (tb, tc))) -> ta ;;
-1 fac_rec4 _:_ _forall_ [ta tb tc td te tf tg th ti] => (ta, (tg, (tb, (tc, td))), (th, (tb, (tc, td)), (te, (tc, td), (tf, td, td)))) -> (ti, (tg, (tb, (tc, td)))) -> ta ;;
-1 g _:_ _forall_ [ta tb tc td te tf tg th ti tj tk tl tm tn to tp tq tr ts tt tu tv tw tx ty tz ttq ttr tts ttt ttu ttv ttw ttx tty ttz ttA ttB ttC ttD ttE ttF ttG ttH ttI ttJ ttK ttL ttM ttN ttO ttP ttQ ttR ttS ttT ttU ttV ttW ttX ttY ttZ tt10 tt11 tt12 tt13 tt14 tt15 tt16 tt17 tt18 tt19 tt1a tt1b tt1c tt1d tt1e tt1f tt1g tt1h tt1i tt1j tt1k tt1l tt1m tt1n tt1o tt1p tt1q tt1r tt1s tt1t tt1u tt1v tt1w tt1x tt1y tt1z tt1A tt1B tt1C tt1D tt1E tt1F tt1G tt1H tt1I tt1J tt1K tt1L tt1M tt1N tt1O tt1P tt1Q tt1R tt1S tt1T tt1U tt1V tt1W tt1X tt1Y tt1Z tt20 tt21 tt22 tt23 tt24 tt25 tt26 tt27 tt28 tt29 tt2a tt2b tt2c tt2d tt2e tt2f tt2g tt2h tt2i tt2j tt2k tt2l tt2m tt2n tt2o tt2p tt2q tt2r tt2s tt2t tt2u tt2v tt2w tt2x tt2y tt2z tt2A tt2B tt2C tt2D tt2E tt2F tt2G tt2H tt2I tt2J tt2K tt2L tt2M tt2N tt2O tt2P tt2Q tt2R tt2S tt2T tt2U tt2V tt2W tt2X tt2Y tt2Z tt30 tt31 tt32 tt33 tt34 tt35 tt36 tt37 tt38 tt39 tt3a tt3b tt3c tt3d tt3e tt3f tt3g tt3h tt3i tt3j tt3k tt3l tt3m tt3n tt3o tt3p tt3q tt3r tt3s tt3t tt3u tt3v tt3w tt3x tt3y tt3z tt3A tt3B tt3C tt3D tt3E tt3F tt3G tt3H tt3I tt3J tt3K tt3L tt3M tt3N tt3O tt3P tt3Q tt3R tt3S tt3T tt3U tt3V tt3W tt3X tt3Y tt3Z tt40 tt41 tt42 tt43 tt44 tt45 tt46 tt47 tt48 tt49 tt4a tt4b tt4c tt4d tt4e tt4f tt4g tt4h tt4i tt4j tt4k tt4l tt4m tt4n tt4o tt4p tt4q tt4r tt4s tt4t tt4u tt4v tt4w tt4x tt4y tt4z tt4A tt4B tt4C tt4D tt4E tt4F tt4G tt4H tt4I tt4J tt4K tt4L tt4M tt4N tt4O tt4P tt4Q tt4R tt4S tt4T tt4U tt4V tt4W tt4X tt4Y tt4Z tt50 tt51 tt52 tt53 tt54 tt55 tt56 tt57 tt58 tt59 tt5a tt5b tt5c tt5d tt5e tt5f tt5g tt5h tt5i tt5j tt5k tt5l tt5m tt5n tt5o tt5p tt5q tt5r tt5s tt5t tt5u tt5v tt5w tt5x tt5y tt5z tt5A tt5B tt5C tt5D tt5E tt5F tt5G tt5H tt5I tt5J tt5K tt5L tt5M tt5N tt5O tt5P tt5Q tt5R tt5S tt5T tt5U tt5V tt5W tt5X tt5Y tt5Z tt60 tt61 tt62 tt63 tt64 tt65 tt66 tt67 tt68 tt69 tt6a tt6b tt6c tt6d tt6e tt6f tt6g tt6h tt6i tt6j tt6k tt6l tt6m tt6n tt6o tt6p tt6q tt6r tt6s tt6t tt6u tt6v tt6w tt6x tt6y tt6z tt6A tt6B tt6C tt6D tt6E tt6F tt6G tt6H tt6I tt6J tt6K tt6L tt6M tt6N tt6O tt6P tt6Q tt6R tt6S tt6T tt6U tt6V tt6W tt6X tt6Y tt6Z tt70 tt71 tt72 tt73 tt74 tt75 tt76 tt77 tt78 tt79 tt7a tt7b tt7c tt7d tt7e tt7f tt7g tt7h tt7i tt7j tt7k tt7l tt7m tt7n tt7o tt7p tt7q tt7r tt7s tt7t tt7u tt7v tt7w tt7x tt7y tt7z tt7A tt7B tt7C tt7D tt7E tt7F tt7G tt7H tt7I tt7J tt7K tt7L tt7M tt7N tt7O tt7P tt7Q tt7R tt7S tt7T tt7U tt7V tt7W tt7X tt7Y tt7Z tt80 tt81 tt82 tt83 tt84 tt85 tt86 tt87 tt88 tt89 tt8a tt8b tt8c tt8d tt8e tt8f tt8g tt8h tt8i tt8j] => tt8j -> tb -> (tt8j, tt4b, tt4a) -> (ta, (tt49, (tc, (td, (te, (tf, (tg, (th, (ti, tj, tj), (ti, tk, tk)), (th, (tl, tm, tm), (tl, tn, tn))), (tg, (to, (tp, tq, tq), (tp, tr, tr)), (to, (ts, tt, tt), (ts, tu, tu)))), (tf, (tv, (tw, (tx, ty, ty), (tx, tz, tz)), (tw, (ttq, ttr, ttr), (ttq, tts, tts))), (tv, (ttt, (ttu, ttv, ttv), (ttu, ttw, ttw)), (ttt, (ttx, tty, tty), (ttx, ttz, ttz))))), (te, (ttA, (ttB, (ttC, (ttD, ttE, ttE), (ttD, ttF, ttF)), (ttC, (ttG, ttH, ttH), (ttG, ttI, ttI))), (ttB, (ttJ, (ttK, ttL, ttL), (ttK, ttM, ttM)), (ttJ, (ttN, ttO, ttO), (ttN, ttP, ttP)))), (ttA, (ttQ, (ttR, (ttS, ttT, ttT), (ttS, ttU, ttU)), (ttR, (ttV, ttW, ttW), (ttV, ttX, ttX))), (ttQ, (ttY, (ttZ, tt10, tt10), (ttZ, tt11, tt11)), (ttY, (tt12, tt13, tt13), (tt12, tt14, tt14)))))), (td, (tt15, (tt16, (tt17, (tt18, (tt19, tt1a, tt1a), (tt19, tt1b, tt1b)), (tt18, (tt1c, tt1d, tt1d), (tt1c, tt1e, tt1e))), (tt17, (tt1f, (tt1g, tt1h, tt1h), (tt1g, tt1i, tt1i)), (tt1f, (tt1j, tt1k, tt1k), (tt1j, tt1l, tt1l)))), (tt16, (tt1m, (tt1n, (tt1o, tt1p, tt1p), (tt1o, tt1q, tt1q)), (tt1n, (tt1r, tt1s, tt1s), (tt1r, tt1t, tt1t))), (tt1m, (tt1u, (tt1v, tt1w, tt1w), (tt1v, tt1x, tt1x)), (tt1u, (tt1y, tt1z, tt1z), (tt1y, tt1A, tt1A))))), (tt15, (tt1B, (tt1C, (tt1D, (tt1E, tt1F, tt1F), (tt1E, tt1G, tt1G)), (tt1D, (tt1H, tt1I, tt1I), (tt1H, tt1J, tt1J))), (tt1C, (tt1K, (tt1L, tt1M, tt1M), (tt1L, tt1N, tt1N)), (tt1K, (tt1O, tt1P, tt1P), (tt1O, tt1Q, tt1Q)))), (tt1B, (tt1R, (tt1S, (tt1T, tt1U, tt1U), (tt1T, tt1V, tt1V)), (tt1S, (tt1W, tt1X, tt1X), (tt1W, tt1Y, tt1Y))), (tt1R, (tt1Z, (tt20, tt21, tt21), (tt20, tt22, tt22)), (tt1Z, (tt23, tt24, tt24), (tt23, tt25, tt25))))))), (tc, (tt26, (tt27, (tt28, (tt29, (tt2a, (tt2b, tt2c, tt2c), (tt2b, tt2d, tt2d)), (tt2a, (tt2e, tt2f, tt2f), (tt2e, tt2g, tt2g))), (tt29, (tt2h, (tt2i, tt2j, tt2j), (tt2i, tt2k, tt2k)), (tt2h, (tt2l, tt2m, tt2m), (tt2l, tt2n, tt2n)))), (tt28, (tt2o, (tt2p, (tt2q, tt2r, tt2r), (tt2q, tt2s, tt2s)), (tt2p, (tt2t, tt2u, tt2u), (tt2t, tt2v, tt2v))), (tt2o, (tt2w, (tt2x, tt2y, tt2y), (tt2x, tt2z, tt2z)), (tt2w, (tt2A, tt2B, tt2B), (tt2A, tt2C, tt2C))))), (tt27, (tt2D, (tt2E, (tt2F, (tt2G, tt2H, tt2H), (tt2G, tt2I, tt2I)), (tt2F, (tt2J, tt2K, tt2K), (tt2J, tt2L, tt2L))), (tt2E, (tt2M, (tt2N, tt2O, tt2O), (tt2N, tt2P, tt2P)), (tt2M, (tt2Q, tt2R, tt2R), (tt2Q, tt2S, tt2S)))), (tt2D, (tt2T, (tt2U, (tt2V, tt2W, tt2W), (tt2V, tt2X, tt2X)), (tt2U, (tt2Y, tt2Z, tt2Z), (tt2Y, tt30, tt30))), (tt2T, (tt31, (tt32, tt33, tt33), (tt32, tt34, tt34)), (tt31, (tt35, tt36, tt36), (tt35, tt37, tt37)))))), (tt26, (tt38, (tt39, (tt3a, (tt3b, (tt3c, tt3d, tt3d), (tt3c, tt3e, tt3e)), (tt3b, (tt3f, tt3g, tt3g), (tt3f, tt3h, tt3h))), (tt3a, (tt3i, (tt3j, tt3k, tt3k), (tt3j, tt3l, tt3l)), (tt3i, (tt3m, tt3n, tt3n), (tt3m, tt3o, tt3o)))), (tt39, (tt3p, (tt3q, (tt3r, tt3s, tt3s), (tt3r, tt3t, tt3t)), (tt3q, (tt3u, tt3v, tt3v), (tt3u, tt3w, tt3w))), (tt3p, (tt3x, (tt3y, tt3z, tt3z), (tt3y, tt3A, tt3A)), (tt3x, (tt3B, tt3C, tt3C), (tt3B, tt3D, tt3D))))), (tt38, (tt3E, (tt3F, (tt3G, (tt3H, tt3I, tt3I), (tt3H, tt3J, tt3J)), (tt3G, (tt3K, tt3L, tt3L), (tt3K, tt3M, tt3M))), (tt3F, (tt3N, (tt3O, tt3P, tt3P), (tt3O, tt3Q, tt3Q)), (tt3N, (tt3R, tt3S, tt3S), (tt3R, tt3T, tt3T)))), (tt3E, (tt3U, (tt3V, (tt3W, tt3X, tt3X), (tt3W, tt3Y, tt3Y)), (tt3V, (tt3Z, tt40, tt40), (tt3Z, tt41, tt41))), (tt3U, (tt42, (tt43, tt44, tt44), (tt43, tt45, tt45)), (tt42, (tt46, tt47, tt47), (tt46, tt48, tt48)))))))), (tt49, (tt4c, (tt4d, (tt4e, (tt4f, (tt4g, (tt4h, (tt4i, tt4j, tt4j), (tt4i, tt4k, tt4k)), (tt4h, (tt4l, tt4m, tt4m), (tt4l, tt4n, tt4n))), (tt4g, (tt4o, (tt4p, tt4q, tt4q), (tt4p, tt4r, tt4r)), (tt4o, (tt4s, tt4t, tt4t), (tt4s, tt4u, tt4u)))), (tt4f, (tt4v, (tt4w, (tt4x, tt4y, tt4y), (tt4x, tt4z, tt4z)), (tt4w, (tt4A, tt4B, tt4B), (tt4A, tt4C, tt4C))), (tt4v, (tt4D, (tt4E, tt4F, tt4F), (tt4E, tt4G, tt4G)), (tt4D, (tt4H, tt4I, tt4I), (tt4H, tt4J, tt4J))))), (tt4e, (tt4K, (tt4L, (tt4M, (tt4N, tt4O, tt4O), (tt4N, tt4P, tt4P)), (tt4M, (tt4Q, tt4R, tt4R), (tt4Q, tt4S, tt4S))), (tt4L, (tt4T, (tt4U, tt4V, tt4V), (tt4U, tt4W, tt4W)), (tt4T, (tt4X, tt4Y, tt4Y), (tt4X, tt4Z, tt4Z)))), (tt4K, (tt50, (tt51, (tt52, tt53, tt53), (tt52, tt54, tt54)), (tt51, (tt55, tt56, tt56), (tt55, tt57, tt57))), (tt50, (tt58, (tt59, tt5a, tt5a), (tt59, tt5b, tt5b)), (tt58, (tt5c, tt5d, tt5d), (tt5c, tt5e, tt5e)))))), (tt4d, (tt5f, (tt5g, (tt5h, (tt5i, (tt5j, tt5k, tt5k), (tt5j, tt5l, tt5l)), (tt5i, (tt5m, tt5n, tt5n), (tt5m, tt5o, tt5o))), (tt5h, (tt5p, (tt5q, tt5r, tt5r), (tt5q, tt5s, tt5s)), (tt5p, (tt5t, tt5u, tt5u), (tt5t, tt5v, tt5v)))), (tt5g, (tt5w, (tt5x, (tt5y, tt5z, tt5z), (tt5y, tt5A, tt5A)), (tt5x, (tt5B, tt5C, tt5C), (tt5B, tt5D, tt5D))), (tt5w, (tt5E, (tt5F, tt5G, tt5G), (tt5F, tt5H, tt5H)), (tt5E, (tt5I, tt5J, tt5J), (tt5I, tt5K, tt5K))))), (tt5f, (tt5L, (tt5M, (tt5N, (tt5O, tt5P, tt5P), (tt5O, tt5Q, tt5Q)), (tt5N, (tt5R, tt5S, tt5S), (tt5R, tt5T, tt5T))), (tt5M, (tt5U, (tt5V, tt5W, tt5W), (tt5V, tt5X, tt5X)), (tt5U, (tt5Y, tt5Z, tt5Z), (tt5Y, tt60, tt60)))), (tt5L, (tt61, (tt62, (tt63, tt64, tt64), (tt63, tt65, tt65)), (tt62, (tt66, tt67, tt67), (tt66, tt68, tt68))), (tt61, (tt69, (tt6a, tt6b, tt6b), (tt6a, tt6c, tt6c)), (tt69, (tt6d, tt6e, tt6e), (tt6d, tt6f, tt6f))))))), (tt4c, (tt6g, (tt6h, (tt6i, (tt6j, (tt6k, (tt6l, tt6m, tt6m), (tt6l, tt6n, tt6n)), (tt6k, (tt6o, tt6p, tt6p), (tt6o, tt6q, tt6q))), (tt6j, (tt6r, (tt6s, tt6t, tt6t), (tt6s, tt6u, tt6u)), (tt6r, (tt6v, tt6w, tt6w), (tt6v, tt6x, tt6x)))), (tt6i, (tt6y, (tt6z, (tt6A, tt6B, tt6B), (tt6A, tt6C, tt6C)), (tt6z, (tt6D, tt6E, tt6E), (tt6D, tt6F, tt6F))), (tt6y, (tt6G, (tt6H, tt6I, tt6I), (tt6H, tt6J, tt6J)), (tt6G, (tt6K, tt6L, tt6L), (tt6K, tt6M, tt6M))))), (tt6h, (tt6N, (tt6O, (tt6P, (tt6Q, tt6R, tt6R), (tt6Q, tt6S, tt6S)), (tt6P, (tt6T, tt6U, tt6U), (tt6T, tt6V, tt6V))), (tt6O, (tt6W, (tt6X, tt6Y, tt6Y), (tt6X, tt6Z, tt6Z)), (tt6W, (tt70, tt71, tt71), (tt70, tt72, tt72)))), (tt6N, (tt73, (tt74, (tt75, tt76, tt76), (tt75, tt77, tt77)), (tt74, (tt78, tt79, tt79), (tt78, tt7a, tt7a))), (tt73, (tt7b, (tt7c, tt7d, tt7d), (tt7c, tt7e, tt7e)), (tt7b, (tt7f, tt7g, tt7g), (tt7f, tt7h, tt7h)))))), (tt6g, (tt7i, (tt7j, (tt7k, (tt7l, (tt7m, tt7n, tt7n), (tt7m, tt7o, tt7o)), (tt7l, (tt7p, tt7q, tt7q), (tt7p, tt7r, tt7r))), (tt7k, (tt7s, (tt7t, tt7u, tt7u), (tt7t, tt7v, tt7v)), (tt7s, (tt7w, tt7x, tt7x), (tt7w, tt7y, tt7y)))), (tt7j, (tt7z, (tt7A, (tt7B, tt7C, tt7C), (tt7B, tt7D, tt7D)), (tt7A, (tt7E, tt7F, tt7F), (tt7E, tt7G, tt7G))), (tt7z, (tt7H, (tt7I, tt7J, tt7J), (tt7I, tt7K, tt7K)), (tt7H, (tt7L, tt7M, tt7M), (tt7L, tt7N, tt7N))))), (tt7i, (tt7O, (tt7P, (tt7Q, (tt7R, tt7S, tt7S), (tt7R, tt7T, tt7T)), (tt7Q, (tt7U, tt7V, tt7V), (tt7U, tt7W, tt7W))), (tt7P, (tt7X, (tt7Y, tt7Z, tt7Z), (tt7Y, tt80, tt80)), (tt7X, (tt81, tt82, tt82), (tt81, tt83, tt83)))), (tt7O, (tt84, (tt85, (tt86, tt87, tt87), (tt86, tt88, tt88)), (tt85, (tt89, tt8a, tt8a), (tt89, tt8b, tt8b))), (tt84, (tt8c, (tt8d, tt8e, tt8e), (tt8d, tt8f, tt8f)), (tt8c, (tt8g, tt8h, tt8h), (tt8g, tt8i, tt8i))))))))) -> ta ;;
-1 g_rec _:_ _forall_ [ta tb tc td te tf tg th ti tj tk] => (tb -> tc -> td -> tk -> ta) -> (tg -> te -> th -> ti -> ta) -> tf -> tb -> (tf, te, tg) -> (tj, tk, ti) -> tj ;;
-1 g_rec0 _:_ _forall_ [ta] => ta -> ta -> ta -> ta -> ta ;;
-1 g_rec1 _:_ _forall_ [ta tb tc] => tc -> tb -> (tc, tb, tb) -> (ta, tb, tb) -> ta ;;
-1 g_rec2 _:_ _forall_ [ta tb tc td te tf tg] => tg -> tb -> (tg, tf, te) -> (ta, (td, tc, tc), (td, tf, tf)) -> ta ;;
-1 g_rec3 _:_ _forall_ [ta tb tc td te tf tg th ti tj tk tl] => tl -> tb -> (tl, th, tg) -> (ta, (tf, (td, te, te), (td, tc, tc)), (tf, (tj, tk, tk), (tj, ti, ti))) -> ta ;;
-1 g_rec4 _:_ _forall_ [ta tb tc td te tf tg th ti tj tk tl tm tn to tp tq tr ts tt] => tt -> tb -> (tt, tl, tk) -> (ta, (tj, (tc, (td, te, te), (td, tf, tf)), (tc, (tg, th, th), (tg, ti, ti))), (tj, (tm, (tn, to, to), (tn, tp, tp)), (tm, (tq, tr, tr), (tq, ts, ts)))) -> ta ;;
-1 g_rec5 _:_ _forall_ [ta tb tc td te tf tg th ti tj tk tl tm tn to tp tq tr ts tt tu tv tw tx ty tz ttq ttr tts ttt ttu ttv ttw ttx tty ttz] => ttz -> tb -> (ttz, tt, ts) -> (ta, (tr, (tc, (td, (te, tf, tf), (te, tg, tg)), (td, (th, ti, ti), (th, tj, tj))), (tc, (tk, (tl, tm, tm), (tl, tn, tn)), (tk, (to, tp, tp), (to, tq, tq)))), (tr, (tu, (tv, (tw, tx, tx), (tw, ty, ty)), (tv, (tz, ttq, ttq), (tz, ttr, ttr))), (tu, (tts, (ttt, ttu, ttu), (ttt, ttv, ttv)), (tts, (ttw, ttx, ttx), (ttw, tty, tty))))) -> ta ;;
-1 g_rec6 _:_ _forall_ [ta tb tc td te tf tg th ti tj tk tl tm tn to tp tq tr ts tt tu tv tw tx ty tz ttq ttr tts ttt ttu ttv ttw ttx tty ttz ttA ttB ttC ttD ttE ttF ttG ttH ttI ttJ ttK ttL ttM ttN ttO ttP ttQ ttR ttS ttT ttU ttV ttW ttX ttY ttZ tt10 tt11 tt12 tt13 tt14 tt15] => tt15 -> tb -> (tt15, ttz, tty) -> (ta, (ttx, (tc, (td, (te, (tf, tg, tg), (tf, th, th)), (te, (ti, tj, tj), (ti, tk, tk))), (td, (tl, (tm, tn, tn), (tm, to, to)), (tl, (tp, tq, tq), (tp, tr, tr)))), (tc, (ts, (tt, (tu, tv, tv), (tu, tw, tw)), (tt, (tx, ty, ty), (tx, tz, tz))), (ts, (ttq, (ttr, tts, tts), (ttr, ttt, ttt)), (ttq, (ttu, ttv, ttv), (ttu, ttw, ttw))))), (ttx, (ttA, (ttB, (ttC, (ttD, ttE, ttE), (ttD, ttF, ttF)), (ttC, (ttG, ttH, ttH), (ttG, ttI, ttI))), (ttB, (ttJ, (ttK, ttL, ttL), (ttK, ttM, ttM)), (ttJ, (ttN, ttO, ttO), (ttN, ttP, ttP)))), (ttA, (ttQ, (ttR, (ttS, ttT, ttT), (ttS, ttU, ttU)), (ttR, (ttV, ttW, ttW), (ttV, ttX, ttX))), (ttQ, (ttY, (ttZ, tt10, tt10), (ttZ, tt11, tt11)), (ttY, (tt12, tt13, tt13), (tt12, tt14, tt14)))))) -> ta ;;
-1 g_rec7 _:_ _forall_ [ta tb tc td te tf tg th ti tj tk tl tm tn to tp tq tr ts tt tu tv tw tx ty tz ttq ttr tts ttt ttu ttv ttw ttx tty ttz ttA ttB ttC ttD ttE ttF ttG ttH ttI ttJ ttK ttL ttM ttN ttO ttP ttQ ttR ttS ttT ttU ttV ttW ttX ttY ttZ tt10 tt11 tt12 tt13 tt14 tt15 tt16 tt17 tt18 tt19 tt1a tt1b tt1c tt1d tt1e tt1f tt1g tt1h tt1i tt1j tt1k tt1l tt1m tt1n tt1o tt1p tt1q tt1r tt1s tt1t tt1u tt1v tt1w tt1x tt1y tt1z tt1A tt1B tt1C tt1D tt1E tt1F tt1G tt1H tt1I tt1J tt1K tt1L tt1M tt1N tt1O tt1P tt1Q tt1R tt1S tt1T tt1U tt1V tt1W tt1X tt1Y tt1Z tt20 tt21 tt22 tt23 tt24 tt25 tt26 tt27] => tt27 -> tb -> (tt27, tt15, tt14) -> (ta, (tt13, (tc, (td, (te, (tf, (tg, th, th), (tg, ti, ti)), (tf, (tj, tk, tk), (tj, tl, tl))), (te, (tm, (tn, to, to), (tn, tp, tp)), (tm, (tq, tr, tr), (tq, ts, ts)))), (td, (tt, (tu, (tv, tw, tw), (tv, tx, tx)), (tu, (ty, tz, tz), (ty, ttq, ttq))), (tt, (ttr, (tts, ttt, ttt), (tts, ttu, ttu)), (ttr, (ttv, ttw, ttw), (ttv, ttx, ttx))))), (tc, (tty, (ttz, (ttA, (ttB, ttC, ttC), (ttB, ttD, ttD)), (ttA, (ttE, ttF, ttF), (ttE, ttG, ttG))), (ttz, (ttH, (ttI, ttJ, ttJ), (ttI, ttK, ttK)), (ttH, (ttL, ttM, ttM), (ttL, ttN, ttN)))), (tty, (ttO, (ttP, (ttQ, ttR, ttR), (ttQ, ttS, ttS)), (ttP, (ttT, ttU, ttU), (ttT, ttV, ttV))), (ttO, (ttW, (ttX, ttY, ttY), (ttX, ttZ, ttZ)), (ttW, (tt10, tt11, tt11), (tt10, tt12, tt12)))))), (tt13, (tt16, (tt17, (tt18, (tt19, (tt1a, tt1b, tt1b), (tt1a, tt1c, tt1c)), (tt19, (tt1d, tt1e, tt1e), (tt1d, tt1f, tt1f))), (tt18, (tt1g, (tt1h, tt1i, tt1i), (tt1h, tt1j, tt1j)), (tt1g, (tt1k, tt1l, tt1l), (tt1k, tt1m, tt1m)))), (tt17, (tt1n, (tt1o, (tt1p, tt1q, tt1q), (tt1p, tt1r, tt1r)), (tt1o, (tt1s, tt1t, tt1t), (tt1s, tt1u, tt1u))), (tt1n, (tt1v, (tt1w, tt1x, tt1x), (tt1w, tt1y, tt1y)), (tt1v, (tt1z, tt1A, tt1A), (tt1z, tt1B, tt1B))))), (tt16, (tt1C, (tt1D, (tt1E, (tt1F, tt1G, tt1G), (tt1F, tt1H, tt1H)), (tt1E, (tt1I, tt1J, tt1J), (tt1I, tt1K, tt1K))), (tt1D, (tt1L, (tt1M, tt1N, tt1N), (tt1M, tt1O, tt1O)), (tt1L, (tt1P, tt1Q, tt1Q), (tt1P, tt1R, tt1R)))), (tt1C, (tt1S, (tt1T, (tt1U, tt1V, tt1V), (tt1U, tt1W, tt1W)), (tt1T, (tt1X, tt1Y, tt1Y), (tt1X, tt1Z, tt1Z))), (tt1S, (tt20, (tt21, tt22, tt22), (tt21, tt23, tt23)), (tt20, (tt24, tt25, tt25), (tt24, tt26, tt26))))))) -> ta ;;
-1 g_rec8 _:_ _forall_ [ta tb tc td te tf tg th ti tj tk tl tm tn to tp tq tr ts tt tu tv tw tx ty tz ttq ttr tts ttt ttu ttv ttw ttx tty ttz ttA ttB ttC ttD ttE ttF ttG ttH ttI ttJ ttK ttL ttM ttN ttO ttP ttQ ttR ttS ttT ttU ttV ttW ttX ttY ttZ tt10 tt11 tt12 tt13 tt14 tt15 tt16 tt17 tt18 tt19 tt1a tt1b tt1c tt1d tt1e tt1f tt1g tt1h tt1i tt1j tt1k tt1l tt1m tt1n tt1o tt1p tt1q tt1r tt1s tt1t tt1u tt1v tt1w tt1x tt1y tt1z tt1A tt1B tt1C tt1D tt1E tt1F tt1G tt1H tt1I tt1J tt1K tt1L tt1M tt1N tt1O tt1P tt1Q tt1R tt1S tt1T tt1U tt1V tt1W tt1X tt1Y tt1Z tt20 tt21 tt22 tt23 tt24 tt25 tt26 tt27 tt28 tt29 tt2a tt2b tt2c tt2d tt2e tt2f tt2g tt2h tt2i tt2j tt2k tt2l tt2m tt2n tt2o tt2p tt2q tt2r tt2s tt2t tt2u tt2v tt2w tt2x tt2y tt2z tt2A tt2B tt2C tt2D tt2E tt2F tt2G tt2H tt2I tt2J tt2K tt2L tt2M tt2N tt2O tt2P tt2Q tt2R tt2S tt2T tt2U tt2V tt2W tt2X tt2Y tt2Z tt30 tt31 tt32 tt33 tt34 tt35 tt36 tt37 tt38 tt39 tt3a tt3b tt3c tt3d tt3e tt3f tt3g tt3h tt3i tt3j tt3k tt3l tt3m tt3n tt3o tt3p tt3q tt3r tt3s tt3t tt3u tt3v tt3w tt3x tt3y tt3z tt3A tt3B tt3C tt3D tt3E tt3F tt3G tt3H tt3I tt3J tt3K tt3L tt3M tt3N tt3O tt3P tt3Q tt3R tt3S tt3T tt3U tt3V tt3W tt3X tt3Y tt3Z tt40 tt41 tt42 tt43 tt44 tt45 tt46 tt47 tt48 tt49 tt4a tt4b] => tt4b -> tb -> (tt4b, tt27, tt26) -> (ta, (tt25, (tc, (td, (te, (tf, (tg, (th, ti, ti), (th, tj, tj)), (tg, (tk, tl, tl), (tk, tm, tm))), (tf, (tn, (to, tp, tp), (to, tq, tq)), (tn, (tr, ts, ts), (tr, tt, tt)))), (te, (tu, (tv, (tw, tx, tx), (tw, ty, ty)), (tv, (tz, ttq, ttq), (tz, ttr, ttr))), (tu, (tts, (ttt, ttu, ttu), (ttt, ttv, ttv)), (tts, (ttw, ttx, ttx), (ttw, tty, tty))))), (td, (ttz, (ttA, (ttB, (ttC, ttD, ttD), (ttC, ttE, ttE)), (ttB, (ttF, ttG, ttG), (ttF, ttH, ttH))), (ttA, (ttI, (ttJ, ttK, ttK), (ttJ, ttL, ttL)), (ttI, (ttM, ttN, ttN), (ttM, ttO, ttO)))), (ttz, (ttP, (ttQ, (ttR, ttS, ttS), (ttR, ttT, ttT)), (ttQ, (ttU, ttV, ttV), (ttU, ttW, ttW))), (ttP, (ttX, (ttY, ttZ, ttZ), (ttY, tt10, tt10)), (ttX, (tt11, tt12, tt12), (tt11, tt13, tt13)))))), (tc, (tt14, (tt15, (tt16, (tt17, (tt18, tt19, tt19), (tt18, tt1a, tt1a)), (tt17, (tt1b, tt1c, tt1c), (tt1b, tt1d, tt1d))), (tt16, (tt1e, (tt1f, tt1g, tt1g), (tt1f, tt1h, tt1h)), (tt1e, (tt1i, tt1j, tt1j), (tt1i, tt1k, tt1k)))), (tt15, (tt1l, (tt1m, (tt1n, tt1o, tt1o), (tt1n, tt1p, tt1p)), (tt1m, (tt1q, tt1r, tt1r), (tt1q, tt1s, tt1s))), (tt1l, (tt1t, (tt1u, tt1v, tt1v), (tt1u, tt1w, tt1w)), (tt1t, (tt1x, tt1y, tt1y), (tt1x, tt1z, tt1z))))), (tt14, (tt1A, (tt1B, (tt1C, (tt1D, tt1E, tt1E), (tt1D, tt1F, tt1F)), (tt1C, (tt1G, tt1H, tt1H), (tt1G, tt1I, tt1I))), (tt1B, (tt1J, (tt1K, tt1L, tt1L), (tt1K, tt1M, tt1M)), (tt1J, (tt1N, tt1O, tt1O), (tt1N, tt1P, tt1P)))), (tt1A, (tt1Q, (tt1R, (tt1S, tt1T, tt1T), (tt1S, tt1U, tt1U)), (tt1R, (tt1V, tt1W, tt1W), (tt1V, tt1X, tt1X))), (tt1Q, (tt1Y, (tt1Z, tt20, tt20), (tt1Z, tt21, tt21)), (tt1Y, (tt22, tt23, tt23), (tt22, tt24, tt24))))))), (tt25, (tt28, (tt29, (tt2a, (tt2b, (tt2c, (tt2d, tt2e, tt2e), (tt2d, tt2f, tt2f)), (tt2c, (tt2g, tt2h, tt2h), (tt2g, tt2i, tt2i))), (tt2b, (tt2j, (tt2k, tt2l, tt2l), (tt2k, tt2m, tt2m)), (tt2j, (tt2n, tt2o, tt2o), (tt2n, tt2p, tt2p)))), (tt2a, (tt2q, (tt2r, (tt2s, tt2t, tt2t), (tt2s, tt2u, tt2u)), (tt2r, (tt2v, tt2w, tt2w), (tt2v, tt2x, tt2x))), (tt2q, (tt2y, (tt2z, tt2A, tt2A), (tt2z, tt2B, tt2B)), (tt2y, (tt2C, tt2D, tt2D), (tt2C, tt2E, tt2E))))), (tt29, (tt2F, (tt2G, (tt2H, (tt2I, tt2J, tt2J), (tt2I, tt2K, tt2K)), (tt2H, (tt2L, tt2M, tt2M), (tt2L, tt2N, tt2N))), (tt2G, (tt2O, (tt2P, tt2Q, tt2Q), (tt2P, tt2R, tt2R)), (tt2O, (tt2S, tt2T, tt2T), (tt2S, tt2U, tt2U)))), (tt2F, (tt2V, (tt2W, (tt2X, tt2Y, tt2Y), (tt2X, tt2Z, tt2Z)), (tt2W, (tt30, tt31, tt31), (tt30, tt32, tt32))), (tt2V, (tt33, (tt34, tt35, tt35), (tt34, tt36, tt36)), (tt33, (tt37, tt38, tt38), (tt37, tt39, tt39)))))), (tt28, (tt3a, (tt3b, (tt3c, (tt3d, (tt3e, tt3f, tt3f), (tt3e, tt3g, tt3g)), (tt3d, (tt3h, tt3i, tt3i), (tt3h, tt3j, tt3j))), (tt3c, (tt3k, (tt3l, tt3m, tt3m), (tt3l, tt3n, tt3n)), (tt3k, (tt3o, tt3p, tt3p), (tt3o, tt3q, tt3q)))), (tt3b, (tt3r, (tt3s, (tt3t, tt3u, tt3u), (tt3t, tt3v, tt3v)), (tt3s, (tt3w, tt3x, tt3x), (tt3w, tt3y, tt3y))), (tt3r, (tt3z, (tt3A, tt3B, tt3B), (tt3A, tt3C, tt3C)), (tt3z, (tt3D, tt3E, tt3E), (tt3D, tt3F, tt3F))))), (tt3a, (tt3G, (tt3H, (tt3I, (tt3J, tt3K, tt3K), (tt3J, tt3L, tt3L)), (tt3I, (tt3M, tt3N, tt3N), (tt3M, tt3O, tt3O))), (tt3H, (tt3P, (tt3Q, tt3R, tt3R), (tt3Q, tt3S, tt3S)), (tt3P, (tt3T, tt3U, tt3U), (tt3T, tt3V, tt3V)))), (tt3G, (tt3W, (tt3X, (tt3Y, tt3Z, tt3Z), (tt3Y, tt40, tt40)), (tt3X, (tt41, tt42, tt42), (tt41, tt43, tt43))), (tt3W, (tt44, (tt45, tt46, tt46), (tt45, tt47, tt47)), (tt44, (tt48, tt49, tt49), (tt48, tt4a, tt4a)))))))) -> ta ;;
-1 head _:_ _forall_ [ta] => [ta] -> ta ;;
-1 one _:_ _forall_ [ta] => ta ;;
-1 s_1_0 _:_ _forall_ [ta] => ta -> ta ;;
-1 s_2_0 _:_ _forall_ [ta tb] => (ta, tb) -> ta ;;
-1 s_2_1 _:_ _forall_ [ta tb] => (ta, tb) -> tb ;;
-1 s_3_0 _:_ _forall_ [ta tb tc] => (ta, tb, tc) -> ta ;;
-1 s_3_1 _:_ _forall_ [ta tb tc] => (ta, tb, tc) -> tb ;;
-1 s_3_2 _:_ _forall_ [ta tb tc] => (ta, tb, tc) -> tc ;;
+__export ShouldSucceed absAnd absIf bottom f f_rec f_rec0 f_rec1 f_rec2 fac fac_rec fac_rec0 fac_rec1 fac_rec2 fac_rec3 fac_rec4 g g_rec g_rec0 g_rec1 g_rec2 g_rec3 g_rec4 g_rec5 g_rec6 g_rec7 g_rec8 head one s_1_0 s_2_0 s_2_1 s_3_0 s_3_1 s_3_2;
+1 absAnd :: __forall [t] => t -> t -> t ;
+1 absIf :: __forall [t t1 t2] => t -> t1 -> t2 -> t ;
+1 bottom :: __forall [t] => [t] -> t ;
+1 f :: __forall [t] => t -> t ;
+1 f_rec :: __forall [t t1] => (t -> t1) -> t -> t1 ;
+1 f_rec0 :: __forall [t] => t -> t ;
+1 f_rec1 :: __forall [t] => t -> t ;
+1 f_rec2 :: __forall [t] => t -> t ;
+1 fac :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10] => (t, (t9, (t2, (t3, (t4, t5)))), (t1, (t2, (t3, (t4, t5))), (t6, (t3, (t4, t5)), (t7, (t4, t5), (t8, t5, t5))))) -> (t10, (t9, (t2, (t3, (t4, t5))))) -> t ;
+1 fac_rec :: __forall [t t1 t2 t3 t4] => (t4 -> t2 -> t3) -> (t, t2, t4) -> (t1, t2) -> t ;
+1 fac_rec0 :: __forall [t] => t -> t -> t ;
+1 fac_rec1 :: __forall [t t1 t2] => (t, t1, t1) -> (t2, t1) -> t ;
+1 fac_rec2 :: __forall [t t1 t2 t3 t4] => (t, (t3, t2), (t1, t2, t2)) -> (t4, (t3, t2)) -> t ;
+1 fac_rec3 :: __forall [t t1 t2 t3 t4 t5 t6] => (t, (t5, (t2, t3)), (t1, (t2, t3), (t4, t3, t3))) -> (t6, (t5, (t2, t3))) -> t ;
+1 fac_rec4 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8] => (t, (t7, (t2, (t3, t4))), (t1, (t2, (t3, t4)), (t5, (t3, t4), (t6, t4, t4)))) -> (t8, (t7, (t2, (t3, t4)))) -> t ;
+1 g :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64 t65 t66 t67 t68 t69 t70 t71 t72 t73 t74 t75 t76 t77 t78 t79 t80 t81 t82 t83 t84 t85 t86 t87 t88 t89 t90 t91 t92 t93 t94 t95 t96 t97 t98 t99 t100 t101 t102 t103 t104 t105 t106 t107 t108 t109 t110 t111 t112 t113 t114 t115 t116 t117 t118 t119 t120 t121 t122 t123 t124 t125 t126 t127 t128 t129 t130 t131 t132 t133 t134 t135 t136 t137 t138 t139 t140 t141 t142 t143 t144 t145 t146 t147 t148 t149 t150 t151 t152 t153 t154 t155 t156 t157 t158 t159 t160 t161 t162 t163 t164 t165 t166 t167 t168 t169 t170 t171 t172 t173 t174 t175 t176 t177 t178 t179 t180 t181 t182 t183 t184 t185 t186 t187 t188 t189 t190 t191 t192 t193 t194 t195 t196 t197 t198 t199 t200 t201 t202 t203 t204 t205 t206 t207 t208 t209 t210 t211 t212 t213 t214 t215 t216 t217 t218 t219 t220 t221 t222 t223 t224 t225 t226 t227 t228 t229 t230 t231 t232 t233 t234 t235 t236 t237 t238 t239 t240 t241 t242 t243 t244 t245 t246 t247 t248 t249 t250 t251 t252 t253 t254 t255 t256 t257 t258 t259 t260 t261 t262 t263 t264 t265 t266 t267 t268 t269 t270 t271 t272 t273 t274 t275 t276 t277 t278 t279 t280 t281 t282 t283 t284 t285 t286 t287 t288 t289 t290 t291 t292 t293 t294 t295 t296 t297 t298 t299 t300 t301 t302 t303 t304 t305 t306 t307 t308 t309 t310 t311 t312 t313 t314 t315 t316 t317 t318 t319 t320 t321 t322 t323 t324 t325 t326 t327 t328 t329 t330 t331 t332 t333 t334 t335 t336 t337 t338 t339 t340 t341 t342 t343 t344 t345 t346 t347 t348 t349 t350 t351 t352 t353 t354 t355 t356 t357 t358 t359 t360 t361 t362 t363 t364 t365 t366 t367 t368 t369 t370 t371 t372 t373 t374 t375 t376 t377 t378 t379 t380 t381 t382 t383 t384 t385 t386 t387 t388 t389 t390 t391 t392 t393 t394 t395 t396 t397 t398 t399 t400 t401 t402 t403 t404 t405 t406 t407 t408 t409 t410 t411 t412 t413 t414 t415 t416 t417 t418 t419 t420 t421 t422 t423 t424 t425 t426 t427 t428 t429 t430 t431 t432 t433 t434 t435 t436 t437 t438 t439 t440 t441 t442 t443 t444 t445 t446 t447 t448 t449 t450 t451 t452 t453 t454 t455 t456 t457 t458 t459 t460 t461 t462 t463 t464 t465 t466 t467 t468 t469 t470 t471 t472 t473 t474 t475 t476 t477 t478 t479 t480 t481 t482 t483 t484 t485 t486 t487 t488 t489 t490 t491 t492 t493 t494 t495 t496 t497 t498 t499 t500 t501 t502 t503 t504 t505 t506 t507 t508 t509 t510 t511 t512 t513 t514 t515] => t -> t1 -> (t, t259, t258) -> (t2, (t260, (t3, (t4, (t5, (t6, (t7, (t8, (t9, t10, t10), (t9, t11, t11)), (t8, (t12, t13, t13), (t12, t14, t14))), (t7, (t15, (t16, t17, t17), (t16, t18, t18)), (t15, (t19, t20, t20), (t19, t21, t21)))), (t6, (t22, (t23, (t24, t25, t25), (t24, t26, t26)), (t23, (t27, t28, t28), (t27, t29, t29))), (t22, (t30, (t31, t32, t32), (t31, t33, t33)), (t30, (t34, t35, t35), (t34, t36, t36))))), (t5, (t37, (t38, (t39, (t40, t41, t41), (t40, t42, t42)), (t39, (t43, t44, t44), (t43, t45, t45))), (t38, (t46, (t47, t48, t48), (t47, t49, t49)), (t46, (t50, t51, t51), (t50, t52, t52)))), (t37, (t53, (t54, (t55, t56, t56), (t55, t57, t57)), (t54, (t58, t59, t59), (t58, t60, t60))), (t53, (t61, (t62, t63, t63), (t62, t64, t64)), (t61, (t65, t66, t66), (t65, t67, t67)))))), (t4, (t68, (t69, (t70, (t71, (t72, t73, t73), (t72, t74, t74)), (t71, (t75, t76, t76), (t75, t77, t77))), (t70, (t78, (t79, t80, t80), (t79, t81, t81)), (t78, (t82, t83, t83), (t82, t84, t84)))), (t69, (t85, (t86, (t87, t88, t88), (t87, t89, t89)), (t86, (t90, t91, t91), (t90, t92, t92))), (t85, (t93, (t94, t95, t95), (t94, t96, t96)), (t93, (t97, t98, t98), (t97, t99, t99))))), (t68, (t100, (t101, (t102, (t103, t104, t104), (t103, t105, t105)), (t102, (t106, t107, t107), (t106, t108, t108))), (t101, (t109, (t110, t111, t111), (t110, t112, t112)), (t109, (t113, t114, t114), (t113, t115, t115)))), (t100, (t116, (t117, (t118, t119, t119), (t118, t120, t120)), (t117, (t121, t122, t122), (t121, t123, t123))), (t116, (t124, (t125, t126, t126), (t125, t127, t127)), (t124, (t128, t129, t129), (t128, t130, t130))))))), (t3, (t131, (t132, (t133, (t134, (t135, (t136, t137, t137), (t136, t138, t138)), (t135, (t139, t140, t140), (t139, t141, t141))), (t134, (t142, (t143, t144, t144), (t143, t145, t145)), (t142, (t146, t147, t147), (t146, t148, t148)))), (t133, (t149, (t150, (t151, t152, t152), (t151, t153, t153)), (t150, (t154, t155, t155), (t154, t156, t156))), (t149, (t157, (t158, t159, t159), (t158, t160, t160)), (t157, (t161, t162, t162), (t161, t163, t163))))), (t132, (t164, (t165, (t166, (t167, t168, t168), (t167, t169, t169)), (t166, (t170, t171, t171), (t170, t172, t172))), (t165, (t173, (t174, t175, t175), (t174, t176, t176)), (t173, (t177, t178, t178), (t177, t179, t179)))), (t164, (t180, (t181, (t182, t183, t183), (t182, t184, t184)), (t181, (t185, t186, t186), (t185, t187, t187))), (t180, (t188, (t189, t190, t190), (t189, t191, t191)), (t188, (t192, t193, t193), (t192, t194, t194)))))), (t131, (t195, (t196, (t197, (t198, (t199, t200, t200), (t199, t201, t201)), (t198, (t202, t203, t203), (t202, t204, t204))), (t197, (t205, (t206, t207, t207), (t206, t208, t208)), (t205, (t209, t210, t210), (t209, t211, t211)))), (t196, (t212, (t213, (t214, t215, t215), (t214, t216, t216)), (t213, (t217, t218, t218), (t217, t219, t219))), (t212, (t220, (t221, t222, t222), (t221, t223, t223)), (t220, (t224, t225, t225), (t224, t226, t226))))), (t195, (t227, (t228, (t229, (t230, t231, t231), (t230, t232, t232)), (t229, (t233, t234, t234), (t233, t235, t235))), (t228, (t236, (t237, t238, t238), (t237, t239, t239)), (t236, (t240, t241, t241), (t240, t242, t242)))), (t227, (t243, (t244, (t245, t246, t246), (t245, t247, t247)), (t244, (t248, t249, t249), (t248, t250, t250))), (t243, (t251, (t252, t253, t253), (t252, t254, t254)), (t251, (t255, t256, t256), (t255, t257, t257)))))))), (t260, (t261, (t262, (t263, (t264, (t265, (t266, (t267, t268, t268), (t267, t269, t269)), (t266, (t270, t271, t271), (t270, t272, t272))), (t265, (t273, (t274, t275, t275), (t274, t276, t276)), (t273, (t277, t278, t278), (t277, t279, t279)))), (t264, (t280, (t281, (t282, t283, t283), (t282, t284, t284)), (t281, (t285, t286, t286), (t285, t287, t287))), (t280, (t288, (t289, t290, t290), (t289, t291, t291)), (t288, (t292, t293, t293), (t292, t294, t294))))), (t263, (t295, (t296, (t297, (t298, t299, t299), (t298, t300, t300)), (t297, (t301, t302, t302), (t301, t303, t303))), (t296, (t304, (t305, t306, t306), (t305, t307, t307)), (t304, (t308, t309, t309), (t308, t310, t310)))), (t295, (t311, (t312, (t313, t314, t314), (t313, t315, t315)), (t312, (t316, t317, t317), (t316, t318, t318))), (t311, (t319, (t320, t321, t321), (t320, t322, t322)), (t319, (t323, t324, t324), (t323, t325, t325)))))), (t262, (t326, (t327, (t328, (t329, (t330, t331, t331), (t330, t332, t332)), (t329, (t333, t334, t334), (t333, t335, t335))), (t328, (t336, (t337, t338, t338), (t337, t339, t339)), (t336, (t340, t341, t341), (t340, t342, t342)))), (t327, (t343, (t344, (t345, t346, t346), (t345, t347, t347)), (t344, (t348, t349, t349), (t348, t350, t350))), (t343, (t351, (t352, t353, t353), (t352, t354, t354)), (t351, (t355, t356, t356), (t355, t357, t357))))), (t326, (t358, (t359, (t360, (t361, t362, t362), (t361, t363, t363)), (t360, (t364, t365, t365), (t364, t366, t366))), (t359, (t367, (t368, t369, t369), (t368, t370, t370)), (t367, (t371, t372, t372), (t371, t373, t373)))), (t358, (t374, (t375, (t376, t377, t377), (t376, t378, t378)), (t375, (t379, t380, t380), (t379, t381, t381))), (t374, (t382, (t383, t384, t384), (t383, t385, t385)), (t382, (t386, t387, t387), (t386, t388, t388))))))), (t261, (t389, (t390, (t391, (t392, (t393, (t394, t395, t395), (t394, t396, t396)), (t393, (t397, t398, t398), (t397, t399, t399))), (t392, (t400, (t401, t402, t402), (t401, t403, t403)), (t400, (t404, t405, t405), (t404, t406, t406)))), (t391, (t407, (t408, (t409, t410, t410), (t409, t411, t411)), (t408, (t412, t413, t413), (t412, t414, t414))), (t407, (t415, (t416, t417, t417), (t416, t418, t418)), (t415, (t419, t420, t420), (t419, t421, t421))))), (t390, (t422, (t423, (t424, (t425, t426, t426), (t425, t427, t427)), (t424, (t428, t429, t429), (t428, t430, t430))), (t423, (t431, (t432, t433, t433), (t432, t434, t434)), (t431, (t435, t436, t436), (t435, t437, t437)))), (t422, (t438, (t439, (t440, t441, t441), (t440, t442, t442)), (t439, (t443, t444, t444), (t443, t445, t445))), (t438, (t446, (t447, t448, t448), (t447, t449, t449)), (t446, (t450, t451, t451), (t450, t452, t452)))))), (t389, (t453, (t454, (t455, (t456, (t457, t458, t458), (t457, t459, t459)), (t456, (t460, t461, t461), (t460, t462, t462))), (t455, (t463, (t464, t465, t465), (t464, t466, t466)), (t463, (t467, t468, t468), (t467, t469, t469)))), (t454, (t470, (t471, (t472, t473, t473), (t472, t474, t474)), (t471, (t475, t476, t476), (t475, t477, t477))), (t470, (t478, (t479, t480, t480), (t479, t481, t481)), (t478, (t482, t483, t483), (t482, t484, t484))))), (t453, (t485, (t486, (t487, (t488, t489, t489), (t488, t490, t490)), (t487, (t491, t492, t492), (t491, t493, t493))), (t486, (t494, (t495, t496, t496), (t495, t497, t497)), (t494, (t498, t499, t499), (t498, t500, t500)))), (t485, (t501, (t502, (t503, t504, t504), (t503, t505, t505)), (t502, (t506, t507, t507), (t506, t508, t508))), (t501, (t509, (t510, t511, t511), (t510, t512, t512)), (t509, (t513, t514, t514), (t513, t515, t515))))))))) -> t2 ;
+1 g_rec :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10] => (t -> t5 -> t6 -> t7 -> t8) -> (t4 -> t3 -> t9 -> t10 -> t8) -> t2 -> t -> (t2, t3, t4) -> (t1, t7, t10) -> t1 ;
+1 g_rec0 :: __forall [t] => t -> t -> t -> t -> t ;
+1 g_rec1 :: __forall [t t1 t2] => t -> t1 -> (t, t1, t1) -> (t2, t1, t1) -> t2 ;
+1 g_rec2 :: __forall [t t1 t2 t3 t4 t5 t6] => t -> t1 -> (t, t5, t4) -> (t2, (t6, t3, t3), (t6, t5, t5)) -> t2 ;
+1 g_rec3 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11] => t -> t1 -> (t, t7, t6) -> (t2, (t9, (t4, t5, t5), (t4, t3, t3)), (t9, (t10, t11, t11), (t10, t8, t8))) -> t2 ;
+1 g_rec4 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19] => t -> t1 -> (t, t11, t10) -> (t2, (t12, (t3, (t4, t5, t5), (t4, t6, t6)), (t3, (t7, t8, t8), (t7, t9, t9))), (t12, (t13, (t14, t15, t15), (t14, t16, t16)), (t13, (t17, t18, t18), (t17, t19, t19)))) -> t2 ;
+1 g_rec5 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35] => t -> t1 -> (t, t19, t18) -> (t2, (t20, (t3, (t4, (t5, t6, t6), (t5, t7, t7)), (t4, (t8, t9, t9), (t8, t10, t10))), (t3, (t11, (t12, t13, t13), (t12, t14, t14)), (t11, (t15, t16, t16), (t15, t17, t17)))), (t20, (t21, (t22, (t23, t24, t24), (t23, t25, t25)), (t22, (t26, t27, t27), (t26, t28, t28))), (t21, (t29, (t30, t31, t31), (t30, t32, t32)), (t29, (t33, t34, t34), (t33, t35, t35))))) -> t2 ;
+1 g_rec6 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64 t65 t66 t67] => t -> t1 -> (t, t35, t34) -> (t2, (t36, (t3, (t4, (t5, (t6, t7, t7), (t6, t8, t8)), (t5, (t9, t10, t10), (t9, t11, t11))), (t4, (t12, (t13, t14, t14), (t13, t15, t15)), (t12, (t16, t17, t17), (t16, t18, t18)))), (t3, (t19, (t20, (t21, t22, t22), (t21, t23, t23)), (t20, (t24, t25, t25), (t24, t26, t26))), (t19, (t27, (t28, t29, t29), (t28, t30, t30)), (t27, (t31, t32, t32), (t31, t33, t33))))), (t36, (t37, (t38, (t39, (t40, t41, t41), (t40, t42, t42)), (t39, (t43, t44, t44), (t43, t45, t45))), (t38, (t46, (t47, t48, t48), (t47, t49, t49)), (t46, (t50, t51, t51), (t50, t52, t52)))), (t37, (t53, (t54, (t55, t56, t56), (t55, t57, t57)), (t54, (t58, t59, t59), (t58, t60, t60))), (t53, (t61, (t62, t63, t63), (t62, t64, t64)), (t61, (t65, t66, t66), (t65, t67, t67)))))) -> t2 ;
+1 g_rec7 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64 t65 t66 t67 t68 t69 t70 t71 t72 t73 t74 t75 t76 t77 t78 t79 t80 t81 t82 t83 t84 t85 t86 t87 t88 t89 t90 t91 t92 t93 t94 t95 t96 t97 t98 t99 t100 t101 t102 t103 t104 t105 t106 t107 t108 t109 t110 t111 t112 t113 t114 t115 t116 t117 t118 t119 t120 t121 t122 t123 t124 t125 t126 t127 t128 t129 t130 t131] => t -> t1 -> (t, t67, t66) -> (t2, (t68, (t3, (t4, (t5, (t6, (t7, t8, t8), (t7, t9, t9)), (t6, (t10, t11, t11), (t10, t12, t12))), (t5, (t13, (t14, t15, t15), (t14, t16, t16)), (t13, (t17, t18, t18), (t17, t19, t19)))), (t4, (t20, (t21, (t22, t23, t23), (t22, t24, t24)), (t21, (t25, t26, t26), (t25, t27, t27))), (t20, (t28, (t29, t30, t30), (t29, t31, t31)), (t28, (t32, t33, t33), (t32, t34, t34))))), (t3, (t35, (t36, (t37, (t38, t39, t39), (t38, t40, t40)), (t37, (t41, t42, t42), (t41, t43, t43))), (t36, (t44, (t45, t46, t46), (t45, t47, t47)), (t44, (t48, t49, t49), (t48, t50, t50)))), (t35, (t51, (t52, (t53, t54, t54), (t53, t55, t55)), (t52, (t56, t57, t57), (t56, t58, t58))), (t51, (t59, (t60, t61, t61), (t60, t62, t62)), (t59, (t63, t64, t64), (t63, t65, t65)))))), (t68, (t69, (t70, (t71, (t72, (t73, t74, t74), (t73, t75, t75)), (t72, (t76, t77, t77), (t76, t78, t78))), (t71, (t79, (t80, t81, t81), (t80, t82, t82)), (t79, (t83, t84, t84), (t83, t85, t85)))), (t70, (t86, (t87, (t88, t89, t89), (t88, t90, t90)), (t87, (t91, t92, t92), (t91, t93, t93))), (t86, (t94, (t95, t96, t96), (t95, t97, t97)), (t94, (t98, t99, t99), (t98, t100, t100))))), (t69, (t101, (t102, (t103, (t104, t105, t105), (t104, t106, t106)), (t103, (t107, t108, t108), (t107, t109, t109))), (t102, (t110, (t111, t112, t112), (t111, t113, t113)), (t110, (t114, t115, t115), (t114, t116, t116)))), (t101, (t117, (t118, (t119, t120, t120), (t119, t121, t121)), (t118, (t122, t123, t123), (t122, t124, t124))), (t117, (t125, (t126, t127, t127), (t126, t128, t128)), (t125, (t129, t130, t130), (t129, t131, t131))))))) -> t2 ;
+1 g_rec8 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64 t65 t66 t67 t68 t69 t70 t71 t72 t73 t74 t75 t76 t77 t78 t79 t80 t81 t82 t83 t84 t85 t86 t87 t88 t89 t90 t91 t92 t93 t94 t95 t96 t97 t98 t99 t100 t101 t102 t103 t104 t105 t106 t107 t108 t109 t110 t111 t112 t113 t114 t115 t116 t117 t118 t119 t120 t121 t122 t123 t124 t125 t126 t127 t128 t129 t130 t131 t132 t133 t134 t135 t136 t137 t138 t139 t140 t141 t142 t143 t144 t145 t146 t147 t148 t149 t150 t151 t152 t153 t154 t155 t156 t157 t158 t159 t160 t161 t162 t163 t164 t165 t166 t167 t168 t169 t170 t171 t172 t173 t174 t175 t176 t177 t178 t179 t180 t181 t182 t183 t184 t185 t186 t187 t188 t189 t190 t191 t192 t193 t194 t195 t196 t197 t198 t199 t200 t201 t202 t203 t204 t205 t206 t207 t208 t209 t210 t211 t212 t213 t214 t215 t216 t217 t218 t219 t220 t221 t222 t223 t224 t225 t226 t227 t228 t229 t230 t231 t232 t233 t234 t235 t236 t237 t238 t239 t240 t241 t242 t243 t244 t245 t246 t247 t248 t249 t250 t251 t252 t253 t254 t255 t256 t257 t258 t259] => t -> t1 -> (t, t131, t130) -> (t2, (t132, (t3, (t4, (t5, (t6, (t7, (t8, t9, t9), (t8, t10, t10)), (t7, (t11, t12, t12), (t11, t13, t13))), (t6, (t14, (t15, t16, t16), (t15, t17, t17)), (t14, (t18, t19, t19), (t18, t20, t20)))), (t5, (t21, (t22, (t23, t24, t24), (t23, t25, t25)), (t22, (t26, t27, t27), (t26, t28, t28))), (t21, (t29, (t30, t31, t31), (t30, t32, t32)), (t29, (t33, t34, t34), (t33, t35, t35))))), (t4, (t36, (t37, (t38, (t39, t40, t40), (t39, t41, t41)), (t38, (t42, t43, t43), (t42, t44, t44))), (t37, (t45, (t46, t47, t47), (t46, t48, t48)), (t45, (t49, t50, t50), (t49, t51, t51)))), (t36, (t52, (t53, (t54, t55, t55), (t54, t56, t56)), (t53, (t57, t58, t58), (t57, t59, t59))), (t52, (t60, (t61, t62, t62), (t61, t63, t63)), (t60, (t64, t65, t65), (t64, t66, t66)))))), (t3, (t67, (t68, (t69, (t70, (t71, t72, t72), (t71, t73, t73)), (t70, (t74, t75, t75), (t74, t76, t76))), (t69, (t77, (t78, t79, t79), (t78, t80, t80)), (t77, (t81, t82, t82), (t81, t83, t83)))), (t68, (t84, (t85, (t86, t87, t87), (t86, t88, t88)), (t85, (t89, t90, t90), (t89, t91, t91))), (t84, (t92, (t93, t94, t94), (t93, t95, t95)), (t92, (t96, t97, t97), (t96, t98, t98))))), (t67, (t99, (t100, (t101, (t102, t103, t103), (t102, t104, t104)), (t101, (t105, t106, t106), (t105, t107, t107))), (t100, (t108, (t109, t110, t110), (t109, t111, t111)), (t108, (t112, t113, t113), (t112, t114, t114)))), (t99, (t115, (t116, (t117, t118, t118), (t117, t119, t119)), (t116, (t120, t121, t121), (t120, t122, t122))), (t115, (t123, (t124, t125, t125), (t124, t126, t126)), (t123, (t127, t128, t128), (t127, t129, t129))))))), (t132, (t133, (t134, (t135, (t136, (t137, (t138, t139, t139), (t138, t140, t140)), (t137, (t141, t142, t142), (t141, t143, t143))), (t136, (t144, (t145, t146, t146), (t145, t147, t147)), (t144, (t148, t149, t149), (t148, t150, t150)))), (t135, (t151, (t152, (t153, t154, t154), (t153, t155, t155)), (t152, (t156, t157, t157), (t156, t158, t158))), (t151, (t159, (t160, t161, t161), (t160, t162, t162)), (t159, (t163, t164, t164), (t163, t165, t165))))), (t134, (t166, (t167, (t168, (t169, t170, t170), (t169, t171, t171)), (t168, (t172, t173, t173), (t172, t174, t174))), (t167, (t175, (t176, t177, t177), (t176, t178, t178)), (t175, (t179, t180, t180), (t179, t181, t181)))), (t166, (t182, (t183, (t184, t185, t185), (t184, t186, t186)), (t183, (t187, t188, t188), (t187, t189, t189))), (t182, (t190, (t191, t192, t192), (t191, t193, t193)), (t190, (t194, t195, t195), (t194, t196, t196)))))), (t133, (t197, (t198, (t199, (t200, (t201, t202, t202), (t201, t203, t203)), (t200, (t204, t205, t205), (t204, t206, t206))), (t199, (t207, (t208, t209, t209), (t208, t210, t210)), (t207, (t211, t212, t212), (t211, t213, t213)))), (t198, (t214, (t215, (t216, t217, t217), (t216, t218, t218)), (t215, (t219, t220, t220), (t219, t221, t221))), (t214, (t222, (t223, t224, t224), (t223, t225, t225)), (t222, (t226, t227, t227), (t226, t228, t228))))), (t197, (t229, (t230, (t231, (t232, t233, t233), (t232, t234, t234)), (t231, (t235, t236, t236), (t235, t237, t237))), (t230, (t238, (t239, t240, t240), (t239, t241, t241)), (t238, (t242, t243, t243), (t242, t244, t244)))), (t229, (t245, (t246, (t247, t248, t248), (t247, t249, t249)), (t246, (t250, t251, t251), (t250, t252, t252))), (t245, (t253, (t254, t255, t255), (t254, t256, t256)), (t253, (t257, t258, t258), (t257, t259, t259)))))))) -> t2 ;
+1 head :: __forall [t] => [t] -> t ;
+1 one :: __forall [t] => t ;
+1 s_1_0 :: __forall [t] => t -> t ;
+1 s_2_0 :: __forall [t t1] => (t, t1) -> t ;
+1 s_2_1 :: __forall [t t1] => (t, t1) -> t1 ;
+1 s_3_0 :: __forall [t t1 t2] => (t, t1, t2) -> t ;
+1 s_3_1 :: __forall [t t1 t2] => (t, t1, t2) -> t1 ;
+1 s_3_2 :: __forall [t t1 t2] => (t, t1, t2) -> t2 ;