v1. o(v1,v1). e(i(v1,v2),o(n(v1),v2)). a(a(a(e(v13,o(a(f,v1),o(a(f,v5),a(v1,v5)))),e(v9,e(e(f,n(v1)), n(v5)))),a(a(e(v14,o(a(v13,v2),o(a(v13,v6),a(v2,v6)))),e(v10, e(e(v13,n(v2)),n(v6)))),a(a(e(v15,o(a(v14,v3),o(a(v14,v7),a(v3, v7)))),e(v11,e(e(v14,n(v3)),n(v7)))),a(e(v16,o(a(v15,v4), o(a(v15,v8),a(v4,v8)))),e(v12,e(e(v15,n(v4)),n(v8))))))), a(a(a(e(v17,o(a(n(f),a(v1,v5)),a(f,o(v1,v5)))),e(v9,o(a(f,a(v1, v5)),o(a(f,a(n(v1),n(v5))),o(a(n(f),a(v1,n(v5))),a(n(f),a(n(v1), v5))))))),a(a(e(v18,o(a(n(v17),a(v2,v6)),a(v17,o(v2,v6)))), e(v10,o(a(v17,a(v2,v6)),o(a(v17,a(n(v2),n(v6))),o(a(n(v17),a(v2, n(v6))),a(n(v17),a(n(v2),v6))))))),a(a(e(v19,o(a(n(v18),a(v3, v7)),a(v18,o(v3,v7)))),e(v11,o(a(v18,a(v3,v7)),o(a(v18,a(n(v3), n(v7))),o(a(n(v18),a(v3,n(v7))),a(n(v18),a(n(v3),v7))))))), a(e(v20,o(a(n(v19),a(v4,v8)),a(v19,o(v4,v8)))),e(v12,o(a(v19, a(v4,v8)),o(a(v19,a(n(v4),n(v8))),o(a(n(v19),a(v4,n(v8))), a(n(v19),a(n(v4),v8)))))))))),e(v16,v20))). a(a(a(e(v13,o(a(f,t),o(a(f,v5),a(t,v5)))), e(v9,e(e(f,n(t)),n(v5)))),a(a(e(v14,o(a(v13,f),o(a(v13,v6),a(f, v6)))),e(v10,e(e(v13,n(f)),n(v6)))),a(a(e(v15,o(a(v14,f), o(a(v14,v7),a(f,v7)))),e(v11,e(e(v14,n(f)),n(v7)))),a(e(v16, o(a(v15,t),o(a(v15,v8),a(t,v8)))),e(v12,e(e(v15,n(t)), n(v8))))))),a(a(a(e(v17,o(a(n(f),a(t,v5)),a(f,o(t,v5)))),e(v9, o(a(f,a(t,v5)),o(a(f,a(n(t),n(v5))),o(a(n(f),a(t,n(v5))), a(n(f),a(n(t),v5))))))),a(a(e(v18,o(a(n(v17),a(f,v6)),a(v17,o(f, v6)))),e(v10,o(a(v17,a(f,v6)),o(a(v17,a(n(f),n(v6))),o(a(n(v17), a(f,n(v6))),a(n(v17),a(n(f),v6))))))),a(a(e(v19,o(a(n(v18),a(f, v7)),a(v18,o(f,v7)))),e(v11,o(a(v18,a(f,v7)),o(a(v18,a(n(f), n(v7))),o(a(n(v18),a(f,n(v7))),a(n(v18),a(n(f),v7))))))),a(e(v20, o(a(n(v19),a(t,v8)),a(v19,o(t,v8)))),e(v12,o(a(v19,a(t,v8)), o(a(v19,a(n(t),n(v8))),o(a(n(v19),a(t,n(v8))),a(n(v19),a(n(t), v8)))))))))),e(v16,v20))). e(n(a(v1,a(v2,a(v3,a(v4,a(v5,a(v6,a(v7,a(v8,a(v9,a(v10,a(v11, a(v12,a(v13,a(v14,a(v15,v16)))))))))))))))),o(n(v1),o(n(v2), o(n(v3),o(n(v4),o(n(v5),o(n(v6),o(n(v7),o(n(v8),o(n(v9),o(n(v10), o(n(v11),o(n(v12),o(n(v13),o(n(v14),o(n(v15), n(v16))))))))))))))))). e(n(o(v1,o(v2,o(v3,o(v4,o(v5,o(v6,o(v7,o(v8,o(v9,o(v10,o(v11, o(v12,o(v13,o(v14,o(v15,v16)))))))))))))))),a(n(v1),a(n(v2), a(n(v3),a(n(v4),a(n(v5),a(n(v6),a(n(v7),a(n(v8),a(n(v9),a(n(v10), a(n(v11),a(n(v12),a(n(v13),a(n(v14),a(n(v15),n(v16))))))))))))))))).