SYMS: u1::f1::u1::u1::u1 BIND:(bind 2 2)
SYMS: u3::f3::u3::u3::u3 BIND:(bind 1 3)
SYMS: small::v0::v1::small::v0::v1::v1::small::v1::small::v0 BIND:(bind skcj)
SYMS: v2::v2::v3::fast::v3::v3::fast::v3::fast::fast::v2 BIND:(bind skcj)
SYMS: f1::f1 BIND:(bind (u1 1 2) 2)
SYMS: u1::f1::u1::u1::u1 BIND:(bind 1 2)
SYMS: f3::f3 BIND:(bind (u3 0 3))
SYMS: u3::f3::u3::u3::u3 BIND:(bind 0 3)
SYMS: v0::u0::g0::v0::g0 BIND:(bind skcj)
SYMS: v2::u2::h2::v2::h2 BIND:(bind skcj)
SYMS: f1::f1 BIND:(bind (u1 0 2) 1)
SYMS: u1::f1::u1::u1::u1 BIND:(bind 0 2)
SYMS: u0::f0::u0::u0::u0 BIND:(bind (g0 skcj) 1)
SYMS: g0::g0 BIND:(bind skcj)
SYMS: u2::f2::u2::u2::u2 BIND:(bind 1 (h2 skcj))
SYMS: h2::h2 BIND:(bind skcj)
SYMS: f2::f2 BIND:(bind (u2 0 (h2 skcj)))
SYMS: u2::f2::u2::u2::u2 BIND:(bind 0 (h2 skcj))
SYMS: f3::f3 BIND:(bind sk5x)
SYMS: f2::f2 BIND:(bind sk5x)
SYMS: f3::f3 BIND:(bind sk4x)
SYMS: f1::f1 BIND:(bind sk4x sk4y)
SYMS: f2::f2 BIND:(bind sk3x)
SYMS: f1::f1 BIND:(bind sk3x sk3y)
SYMS: f3::f3 BIND:(bind sk2x)
SYMS: f0::f0 BIND:(bind sk2x sk2y)
SYMS: f2::f2 BIND:(bind sk1x)
SYMS: f0::f0 BIND:(bind sk1x sk1y)
SYMS: f1::f1 BIND:(bind sk0x sk0y)
SYMS: f0::f0 BIND:(bind sk0x sk0y)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 1) (g0 skcj)) 1) (g0 skcj))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 1) (g0 skcj)) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 2) (g0 skcj)) 1) (+ (- 1) (g0 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 2) (g0 skcj)) 1)
SYMS: f0::f0::f0::u0 BIND:(bind (h2 skcj))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 3) (g0 skcj)) 1) (+ (- 2) (g0 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 3) (g0 skcj)) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj)))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (g0 skcj)) 1) (+ (- 3) (g0 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (g0 skcj)) 1)
SYMS: f0::f0::f0::u0 BIND:(bind (h2 skcj))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 5) (h2 skcj)) 1) (+ (- 4) (g0 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 5) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 6) (h2 skcj)) 1) (+ (- 5) (h2 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 6) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (g0 skcj)) 1) (+ (- 3) (g0 skcj)))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))
SYMS: f0::f0::f0::u0 BIND:(bind (h2 skcj))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 5) (h2 skcj)) 1) (+ (- 4) (g0 skcj)))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 7) (h2 skcj)) 1) (+ (- 6) (h2 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 7) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 1) (g0 skcj)) 1) (h2 skcj))
SYMS: f0::f0 BIND:(bind (ite (<= sk7x 2) 1 (f0 (u0 (+ (- 3) sk7x) 1) (+ (- 2) sk7x))) (+ (- 1) sk7x))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 3) sk7x) 1) (+ (- 2) sk7x))
SYMS: f0::f0 BIND:(bind (ite (<= sk7x 3) 1 (f0 (u0 (+ (- 4) sk7x) 1) (+ (- 3) sk7x))) (+ (- 2) sk7x))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 3) sk7x) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) sk7x) 1) (+ (- 3) sk7x))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) sk7x) 1)
SYMS: f0::f0 BIND:(bind 1 (+ (- 4) (g0 skcj)))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 6) (h2 skcj)) 1) 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 0 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 7) (h2 skcj)) 1) (+ (- 6) (h2 skcj))) (+ (- 5) (h2 skcj)))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 8) (h2 skcj)) 1) 2)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 1 1)
SYMS: f0::f0 BIND:(bind (u0 0 1) 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 0 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 7) (h2 skcj)) 1) (+ (- 6) (h2 skcj))) (+ (- 5) (h2 skcj)))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 8) (h2 skcj)) 1) (+ (- 7) (h2 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 8) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 9) (h2 skcj)) 1) (+ (- 8) (h2 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 9) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 10) (h2 skcj)) 1) (+ (- 9) (h2 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 10) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind 1 (+ (- 5) (h2 skcj)))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj)))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))
SYMS: f0::f0 BIND:(bind 1 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 9) (h2 skcj)) 1) (+ (- 8) (h2 skcj))) (+ (- 7) (h2 skcj)))
SYMS: f0::f0 BIND:(bind 2 2)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))) (+ (- 2) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 6) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 6) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 7) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 6) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 7) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 7) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 9) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 9) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))) (+ skcj (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))) (+ skcj (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 2) (g0 skcj)))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 11) (h2 skcj)) 1) (+ (- 10) (h2 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 11) (h2 skcj)) 1)
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (u0 (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 7) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (- 2) 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind (- 3) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 2) (g0 skcj)) 1) (- 1))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 3) (g0 skcj)) 1) (- 2))
SYMS: f0::f0 BIND:(bind 2 2)
SYMS: f0::f0 BIND:(bind 1 (- 2))
SYMS: f0::f0 BIND:(bind 1 2)
SYMS: f0::f0 BIND:(bind 0 0)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 2) (g0 skcj)) 1) (+ (- 1) (g0 skcj))) 0)
SYMS: f0::f0 BIND:(bind 1 (- 2))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (u0 0 1) 1)))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 5) (h2 skcj)) 1) (+ (- 4) (g0 skcj))) 0)
SYMS: f0::f0 BIND:(bind 1 (+ (f0 (u0 (+ (- 7) (h2 skcj)) 1) (+ (- 6) (h2 skcj))) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj)))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 10) (h2 skcj)) 1) (- 6))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (- 7) 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind (- 8) 1)
SYMS: f0::f0 BIND:(bind 1 (+ (- 2) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj)))))) (+ (- 2) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))) 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind (- 7) 1)
SYMS: f0::f0 BIND:(bind (u0 (- 7) 1) (- 6))
SYMS: f0::f0 BIND:(bind (- 2) (- 2))
SYMS: f0::f0 BIND:(bind 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind 1 (- 6))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 2) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 5) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 4) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 5) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 6) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 5) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 6) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 7) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 6) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 7) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 7) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind 1 (- 6))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 9) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 9) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind 1 (+ (- 5) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (- 8) 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind (- 2) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 9) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 7) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 1 (+ (- 2) (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 5) (h2 skcj)) 1) (- 1))
SYMS: f0::f0 BIND:(bind (- 3) (- 3))
SYMS: f0::f0 BIND:(bind (- 3) (- 3))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 5) (h2 skcj)) 1) (- 1))
SYMS: f0::f0 BIND:(bind 0 0)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 12) (h2 skcj)) 1) (+ (- 11) (h2 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 12) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 13) (h2 skcj)) 1) (+ (- 12) (h2 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 13) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 14) (h2 skcj)) 1) (+ (- 13) (h2 skcj)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 14) (h2 skcj)) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj)))))) (+ (- 2) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1)))
SYMS: f0::f0 BIND:(bind 1 (+ (- 5) (h2 skcj)))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1))) 1) (+ (- 3) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1)))) (+ (+ (- 8) (h2 skcj)) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1))) 1) (+ (- 3) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1))) 1) (+ (- 3) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1)))) (+ (- 8) (h2 skcj) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 10) (h2 skcj)) 1) 6)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 5 1)
SYMS: f0::f0 BIND:(bind (u0 4 1) 5)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 5 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 4 1)
SYMS: f0::f0 BIND:(bind (u0 3 1) 4)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 3 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 11) (h2 skcj)) 1) (+ (- 10) (h2 skcj))) (+ (- 9) (h2 skcj)))
SYMS: f0::f0 BIND:(bind (u0 2 1) 3)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 2 1)
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 1 (+ (- 2) (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1))))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 2) (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 2) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)))))))
SYMS: f0::f0 BIND:(bind (u0 1 1) 2)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 1 1)
SYMS: f0::f0 BIND:(bind 1 (+ (- 2) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 11) (h2 skcj)) 1) (+ (- 10) (h2 skcj))) (+ (- 9) (h2 skcj)))
SYMS: f0::f0 BIND:(bind 1 (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) 11)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) 10)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 9 1)
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 (+ (- 4) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1))) 1)))
SYMS: f0::f0 BIND:(bind (u0 8 1) 9)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 8 1)
SYMS: f0::f0 BIND:(bind 1 (- 3))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 1 (+ (- 2) (* (- 1) (u0 (+ (- 4) (* (- 1) (u0 (+ (- 8) (h2 skcj)) 1))) 1))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 5) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (u3 1 3))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ v1 (* (- 1) (+ (- 8) (h2 skcj)))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 4 1) 5) 6)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 14) (h2 skcj)) 1) (+ (- 13) (h2 skcj))) (+ (- 12) (h2 skcj)))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 5) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 5) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 6) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 5) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 6) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 7) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 6) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 7) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 8) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 7) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 8) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 9) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 8) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 9) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 10) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 9) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 10) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind 1 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind 2 1)
SYMS: f0::f0 BIND:(bind 1 (+ (- 6) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind 4 3)
SYMS: f0::f0 BIND:(bind 4 3)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 15) (h2 skcj)) 1) (+ (- 14) (h2 skcj))) (+ (- 13) (h2 skcj)))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))) (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (- 2))
SYMS: f0::f0 BIND:(bind (f0 (u0 4 1) 5) 6)
SYMS: f0::f0 BIND:(bind (f0 (u0 4 1) 5) 6)
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (u0 (+ (- 1) (g0 skcj)) 1) (* (- 1) (f0 (u0 4 1) 5))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 6) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (u0 (+ (- 1) (g0 skcj)) 1) (* (- 1) (f0 (u0 4 1) 5))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 6) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 5) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 4) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 11) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 10) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 11) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 12) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 11) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 12) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 10) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 9) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 8) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 7) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 6) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 5) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 9) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 12) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 11) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 10) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 10) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (u0 (+ (- 3) (g0 skcj)) 1) (* (- 1) (u0 0 1))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (f0 (u0 (+ (- 3) (g0 skcj)) 1) (- 2)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 5) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 4) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 5) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 6) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 5) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 6) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 7) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 6) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 7) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 9) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 8) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 7) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 10) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 9) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 10) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 7) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 6) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 5) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 11) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 10) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 11) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 12) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 11) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 12) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 13) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 12) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 13) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 14) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 13) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 14) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 15) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 14) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 15) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 16) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 15) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 16) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 17) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 16) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 17) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 18) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 17) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 18) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 10) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 9) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))))) (+ (- 9) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 14) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 12) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1) (+ (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 2) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1) (+ (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 2) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 3) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1) (+ (- 2) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 3) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1) (+ (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1)))) (+ (- 12) (* (- 1) (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1) (+ (- 3) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1) (+ (- 3) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1)))) (+ (- 2) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 3) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1) (+ (- 2) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1)))) (+ (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 7) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 3) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj)))))) (+ skcj (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 13) (h2 skcj)) 1) 12)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 11 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (- 2) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 8) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 7) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 8) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (+ (- 14) (h2 skcj))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (+ (- 13) (h2 skcj))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 3 1)))
SYMS: f0::f0 BIND:(bind 1 (- 9))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ 10 (* (- 1) (h2 skcj))) 1) (+ 11 (* (- 1) (h2 skcj)))) (- 9))
SYMS: f0::f0 BIND:(bind (u0 (+ 10 (* (- 1) (h2 skcj))) 1) (- 10))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (- 11) 1)
SYMS: f0::f0 BIND:(bind 1 (- 10))
SYMS: u0::f0::u0::u0::u0 BIND:(bind 11 1)
SYMS: f0::f0 BIND:(bind (f0 (f0 (u0 (+ (- 15) (h2 skcj)) 1) (+ (- 14) (h2 skcj))) (+ (- 13) (h2 skcj))) (+ (- 12) (h2 skcj)))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 9) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 8) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 9) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind 1 13)
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ 10 (* (- 1) (h2 skcj))) 1)
SYMS: f0::f0 BIND:(bind 1 (- 7))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 16) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind 14 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 14 1)
SYMS: f0::f0 BIND:(bind (u0 (+ 10 (* (- 1) (h2 skcj))) 1) (- 10))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ 10 (* (- 1) (h2 skcj))) 1) (- 10)) (- 9))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 3) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (* 23 (h2 skcj)) (* (- 1) (* (h2 skcj) (h2 skcj)))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 8) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 7) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (- 6) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 6) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 5) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (- 4) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (* 23 (h2 skcj)) (* (- 1) (* (h2 skcj) (h2 skcj)))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 10) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 9) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind 8 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 10) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 17) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 2) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 11) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 10) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 11) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (* 25 (h2 skcj)) (* (- 1) (* (h2 skcj) (h2 skcj))) (* 2 (f0 (f0 (u0 (+ 10 (* (- 1) (h2 skcj))) 1) (+ 11 (* (- 1) (h2 skcj)))) (+ 12 (* (- 1) (h2 skcj)))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 3) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))) 1) (+ (- 16) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 11) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 10) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (- 9) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 11) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 10) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (- 9) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 12) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 11) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 12) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 17) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 2) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 13) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 12) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 13) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 14) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 13) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 14) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 15) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 14) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 15) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 16) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 15) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 16) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 17) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 16) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 17) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 18) (* (- 1) (f0 (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1) (+ (- 4) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj)))))))) 1) (+ (- 3) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (h2 skcj))) (+ (- 2) (g0 skcj))) (* (- 1) (u0 4 1))))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 13) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 12) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (- 11) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind 23 1)
SYMS: f0::f0 BIND:(bind (u0 22 1) 23)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 22 1)
SYMS: f0::f0 BIND:(bind (u0 21 1) 22)
SYMS: u0::f0::u0::u0::u0 BIND:(bind 21 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 13) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 12) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (- 11) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (f0 (u0 (+ (- 5) (h2 skcj)) 1) (+ (- 4) (g0 skcj))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 18) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 17) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 18) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1)
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 17) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 16) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (- 15) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 15) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind 1 (+ (- 16) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: f0::f0 BIND:(bind 1 (+ 11 (* (- 1) (h2 skcj))))
SYMS: f0::f0 BIND:(bind 2 (+ (- 9) (h2 skcj)))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 17) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))) 1) (+ (- 16) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))))))))) (+ (- 15) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj)))))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 (u0 4 1) 5)))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (+ (h2 skcj) (u0 (+ (- 12) (h2 skcj)) 1) (* (- 1) (f0 (u0 (+ (- 12) (h2 skcj)) 1) (+ (- 11) (h2 skcj)))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)))
SYMS: f0::f0 BIND:(bind 1 (- 3))
SYMS: f0::f0 BIND:(bind (f0 (u0 (+ (- 4) (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1))) 1) (+ (- 3) (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)))) (- 3))
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1))) 1) (- 4))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (- 5) 1)
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 0 1) 1))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (f0 1 (+ (- 2) (* (- 1) (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ (- 4) (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1))) 1)
SYMS: f0::f0 BIND:(bind (u0 (+ (- 4) (* (- 1) (u0 (+ (- 8) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1))) 1) (- 4))
SYMS: f0::f0 BIND:(bind 1 (+ (- 2) (* (- 1) (f0 1 (+ (- 2) (* (- 1) (f0 (u0 0 1) 1)))))))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 (+ (- 5) (* (- 1) (f0 (f0 (u0 (+ (- 4) (h2 skcj)) 1) (+ (- 3) (g0 skcj))) (+ (- 2) (g0 skcj))))) 1)))
SYMS: u0::f0::u0::u0::u0 BIND:(bind (+ v1 (* 2 skcj) (* (- 1) (g0 skcj))) 1)
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 4 1)))
SYMS: f0::f0::f0::u0 BIND:(bind (* (- 1) (u0 4 1)))
