| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Constraint.Struct
Documentation
type family Recursive (c :: Constraint) :: Constraint where ... Source #
Equations
| Recursive () = () | |
| Recursive (t1, t2) = (Recursive t1, (Recursive t2, ())) | |
| Recursive (t1, t2, t3) = (Recursive t1, (Recursive t2, (Recursive t3, ()))) | |
| Recursive (t1, t2, t3, t4) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, ())))) | |
| Recursive (t1, t2, t3, t4, t5) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, ()))))) | |
| Recursive (t1, t2, t3, t4, t5, t6) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, ())))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, ()))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, ())))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, ()))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, ())))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, ()))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, ())))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, ()))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, ())))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, ()))))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, ())))))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, ()))))))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, ())))))))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, ()))))))))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, ())))))))))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, ()))))))))))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, ())))))))))))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, ()))))))))))))))))))))))) | |
| Recursive (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, ())))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, ()))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, ())))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, ()))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, ())))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, ()))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, ())))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, ()))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, ())))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, ()))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, ())))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, ()))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, ())))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, ()))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, ())))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, ()))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, ())))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, ()))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, ())))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, ()))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, ())))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, ()))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, ())))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, ()))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, ())))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, ()))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, ())))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, ()))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, ())))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, ()))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, (Recursive t54, ())))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, (Recursive t54, (Recursive t55, ()))))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, (Recursive t54, (Recursive t55, (Recursive t56, ())))))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, (Recursive t54, (Recursive t55, (Recursive t56, (Recursive t57, ()))))))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, (Recursive t54, (Recursive t55, (Recursive t56, (Recursive t57, (Recursive t58, ())))))))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, (Recursive t54, (Recursive t55, (Recursive t56, (Recursive t57, (Recursive t58, (Recursive t59, ()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, (Recursive t54, (Recursive t55, (Recursive t56, (Recursive t57, (Recursive t58, (Recursive t59, (Recursive t60, ())))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, (Recursive t54, (Recursive t55, (Recursive t56, (Recursive t57, (Recursive t58, (Recursive t59, (Recursive t60, (Recursive t61, ()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive (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) = (Recursive t1, (Recursive t2, (Recursive t3, (Recursive t4, (Recursive t5, (Recursive t6, (Recursive t7, (Recursive t8, (Recursive t9, (Recursive t10, (Recursive t11, (Recursive t12, (Recursive t13, (Recursive t14, (Recursive t15, (Recursive t16, (Recursive t17, (Recursive t18, (Recursive t19, (Recursive t20, (Recursive t21, (Recursive t22, (Recursive t23, (Recursive t24, (Recursive t25, (Recursive t26, (Recursive t27, (Recursive t28, (Recursive t29, (Recursive t30, (Recursive t31, (Recursive t32, (Recursive t33, (Recursive t34, (Recursive t35, (Recursive t36, (Recursive t37, (Recursive t38, (Recursive t39, (Recursive t40, (Recursive t41, (Recursive t42, (Recursive t43, (Recursive t44, (Recursive t45, (Recursive t46, (Recursive t47, (Recursive t48, (Recursive t49, (Recursive t50, (Recursive t51, (Recursive t52, (Recursive t53, (Recursive t54, (Recursive t55, (Recursive t56, (Recursive t57, (Recursive t58, (Recursive t59, (Recursive t60, (Recursive t61, (Recursive t62, ())))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) | |
| Recursive t1 = (t1, ()) |