(t24 (t23 (t15 ((t13 (t37 t21)) ((t12 (t43 (t45 t44))) (t22 ((t7 t16) (((t36
 t35) (t34 (t31 (t46 (t10 (t17 (t42 t39))))))) (t48 ((t41 (t2 t19)) ((t9 (t8
 t32)) ((t3 t14) (((t5 t4) (t30 t29)) (t1 ((t49 t25) (t28 (t27 ((t40 t33)
 ((t47 t38) ((t26 t18) (t20 (t6 t11))))))))))))))))))))))[869.](t24 (t23 (t15 ((t13 (t37 t21)) ((t12 (t43 (t45 t44))) (t22 ((t7 t16) (((t36
 t35) (t34 (t31 (t46 (t10 (t17 (t42 t39))))))) (t48 ((t41 (t2 t19)) ((t9 (t8
 t32)) ((t3 t14) (((t5 t4) (t30 t29)) (t1 ((t49 t25) (t28 (t27 ((t40 t33)
 ((t47 t38) ((t26 t18) (t20 (t6 t11))))))))))))))))))))))[869.](t24 (t23 (t15 ((t13 (t37 t21)) ((t12 (t43 (t45 t44))) (t22 ((t7 t16) (((t36
 t35) (t34 (t31 (t46 (t10 (t17 (t42 t39))))))) (t48 ((t41 (t2 t19)) ((t9 (t8
 t32)) ((t3 t14) (((t5 t4) (t30 t29)) (t1 ((t49 t25) (t28 (t27 ((t40 t33)
 ((t47 t38) ((t26 t18) (t20 (t6 t11))))))))))))))))))))))[869.](t24 (t23 (t15 ((t13 (t37 t21)) ((t12 (t43 (t45 t44))) (t22 ((t7 t16) (((t36
 t35) (t34 (t31 (t46 (t10 (t17 (t42 t39))))))) (t48 ((t41 (t2 t19)) ((t9 (t8
 t32)) ((t3 t14) (((t5 t4) (t30 t29)) (t1 ((t49 t25) (t28 (t27 ((t40 t33)
 ((t47 t38) ((t26 t18) (t20 (t6 t11))))))))))))))))))))))[869.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (t28 ((t49 t25) (t1
 ((t30 t29) ((t3 t14) ((t5 t4) ((t9 (t8 t32)) ((t2 t19) (t41 (t48 (((t36 t35)
 (t34 (t31 (t46 (t10 (t17 (t42 t39))))))) ((t7 t16) (t22 ((t12 (t43 (t45 t44)
)) ((t15 (t24 t23)) (t13 (t37 t21))))))))))))))))))))))[864.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (t28 ((t49 t25) (t1 (t3
 (t14 ((t30 t29) ((t5 t4) ((t9 (t8 t32)) ((t2 t19) (t41 (t48 (((t36 t35) (t34
 (t31 (t46 (t10 (t17 (t42 t39))))))) ((t7 t16) (t22 ((t12 (t43 (t45 t44)))
 ((t15 (t24 t23)) (t13 (t37 t21)))))))))))))))))))))))[859.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (t28 ((t49 t25) (t1 (t3
 (t14 ((t30 t29) (((t9 t8) (t5 t4)) (t32 ((t2 t19) (t41 (t48 (((t36 t35) (t34
 (t31 (t46 (t10 (t17 (t42 t39))))))) ((t7 t16) (t22 ((t12 (t43 (t45 t44)))
 ((t15 (t24 t23)) (t13 (t37 t21)))))))))))))))))))))))[857.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (t28 ((t49 t25) (t1 (t3
 (t14 ((t30 t29) (((t9 t8) (t5 t4)) (t32 ((t2 t19) (t41 (t48 ((t7 t16) (t22
 ((t12 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35) (t34
 (t31 (t46 (t10 (t17 (t42 t39))))))))))))))))))))))))))))[855.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (t28 ((t49 t25) (t1 (t3
 (t14 ((t30 t29) (((t9 t8) (t5 t4)) (t32 ((t2 t19) (t41 (t48 ((t7 t16) (t22
 ((t12 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35) (t34
 (t31 (t46 (t10 (t17 (t42 t39))))))))))))))))))))))))))))[855.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t34 t28) ((t49 t25)
 (t1 (t3 (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) (t22 ((t12 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36
 t35) (t31 (t46 (t10 (t17 (t42 t39))))))))))))))))))))))))))[850.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (((t34 t28) (t49 t25))
 (t1 (t3 (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) (t22 ((t12 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36
 t35) (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[845.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (((t34 t28) (t49 t25))
 (t1 (t3 (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) (t22 ((t12 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36
 t35) (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[845.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (((t34 t28) (t49 t25))
 (t1 (t3 (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) (t22 ((t43 (t45 t44)) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35) (t12
 (t31 (t46 (t10 (t17 (t42 t39))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (((t34 t28) (t49 t25))
 (t1 (t3 (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) (t22 ((t43 (t45 t44)) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35) (t12
 (t31 (t46 (t10 (t17 (t42 t39))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (((t34 t28) (t49 t25))
 (t1 (t3 (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[841.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (((t34 t28) (t49 t25))
 (t1 (t3 (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[841.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 (((t34 t28) (t49 t25))
 (t1 (t3 (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[841.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.](t10 ((t39 (t42 t17)) (t46 (t31 (t12 ((t36 t35) (t15 ((t21 (t37 t13)) ((t24
 t23) (t48 ((t22 (t7 t16)) ((t43 (t45 t44)) ((t9 t8) ((t32 (t5 t4)) (t1 (t30
 (t29 ((t3 t14) (((t49 t25) (t19 (t41 t2))) ((t28 (t34 (t6 t11))) (t27 ((t40
 t33) (t18 (t26 (t20 (t47 t38))))))))))))))))))))))))))[875.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 (t20 (t47 t38))) ((t40 t33) (t27 (((t49 t25) (t19 (t41
 t2))) ((t3 t14) (t29 (t30 ((t1 (t34 t28)) ((t32 (t5 t4)) ((t9 t8) ((t43 (t45
 t44)) ((t22 (t7 t16)) (t48 ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))[865.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 (t20 (t47 t38))) ((t40 t33) (t27 (((t28 (t49 t25)) (t19
 (t41 t2))) ((t3 t14) (t29 (t30 ((t34 t1) ((t32 (t5 t4)) ((t9 t8) ((t43 (t45
 t44)) ((t22 (t7 t16)) (t48 ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))[864.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 t20) ((t47 t38) ((t40 t33) (t27 (((t19 (t41 t2)) ((t34
 t28) (t49 t25))) ((t3 t14) (t29 (t30 ((t32 (t5 t4)) ((t9 t8) (t1 ((t43 (t45
 t44)) ((t22 (t7 t16)) (t48 ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))[857.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 t20) ((t47 t38) ((t40 t33) (t27 (((t19 (t41 t2)) ((t34
 t28) (t49 t25))) ((t3 t14) ((t30 t29) ((t32 (t5 t4)) ((t9 t8) (t1 ((t43 (t45
 t44)) ((t22 (t7 t16)) (t48 ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))[855.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 t20) ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t19 (t41 t2)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) ((t22 (t7 t16)) (t48 ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))))[853.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 t20) ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) ((t22 (t7 t16)) (t48 ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))))[850.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 t20) ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))))[848.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 t20) ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))))[848.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 t20) ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))))[848.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 t20) ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))))[848.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) ((t26 t20) ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17))))))))))))))))))))))))))[848.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t18 (t6 t11)) (t20 (t26 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[847.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.]((t20 (t6 t11)) (t26 (t18 ((t47 t38) ((t40 t33) (t27 (((t34 t28) (t49 t25))
 ((t41 (t2 t19)) ((t3 t14) ((t30 t29) ((t9 t8) (t32 ((t5 t4) (t1 ((t43 (t45
 t44)) (t48 ((t22 (t7 t16)) ((t24 t23) ((t21 (t37 t13)) (t15 ((t36 t35) (t12
 (t31 (t46 (t10 (t39 (t42 t17)))))))))))))))))))))))))))[843.](((t47 t38) (t20 (t6 t11))) (t26 (t18 ((t40 t33) (t27 ((t49 t25) (t1 ((t3
 (t34 t28)) (t14 ((t30 t29) ((t32 ((t9 t8) (t5 t4))) ((t2 t19) (t41 (t48 ((t7
 t16) ((t22 (t43 (t45 t44))) (t15 (((t24 t23) (t13 (t37 t21))) ((t36 t35)
 (t12 (t31 (t46 (t10 (t17 (t42 t39)))))))))))))))))))))))))[840.]