\\ U(B* U(B* U(B K))(C(C' B*(C' B* /(cons null))(C cons))(C' cons(C I(`a`b`c))nil)))(cons(S(C(B* C' B* @)@)(C @))(cons(.:(+:(cons(`a`b`c`d)(cons(draw(4 1000000)(10))nil))))(cons(U(B* U(B* U(B K))(C(C(B* C' B* cons)cons)(C cons nil)))(cons(&:(<(0)))(cons(&:(>(2)))(cons(&:(=(2)))nil))))nil)))