============================== Prover9 =============================== Prover9 (32) version June-2006C, June 2006. Process 14413 was started by mccune on cleo.thornwood, Mon Jun 19 18:32:48 2006 The command was "/home/mccune/bin/prover9 -f MOL-A.in MOL-A-interp.outx". ============================== end of head =========================== ============================== INPUT ================================= % Reading from file MOL-A.in assign(max_weight,60). assign(new_constants,1). assign(age_part,1). assign(false_part,4). assign(true_part,1). assign(max_minutes,20). % assign(max_minutes, 20) -> assign(max_seconds, 1200). clauses(sos). f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). end_of_list. clauses(goals). f(x,f(f(y,z),f(y,z))) = f(y,f(f(x,z),f(x,z))) # answer(A_SS). end_of_list. % Reading from file MOL-A-interp.outx terms(interpretations). interpretation(8,[number = 1,seconds = 0],[function(A,[2]),function(B,[4]),function(C,[6]),function(f(_,_),[1,1,1,1,1,1,1,1,1,0,3,2,5,4,7,6,1,3,3,1,3,1,7,1,1,2,1,2,1,4,1,2,1,5,3,1,5,1,5,1,1,4,1,4,1,4,1,6,1,7,7,1,5,1,7,1,1,6,1,2,1,6,1,6])]). end_of_list. ============================== end of input ========================== ============================== PROCESS GOALS ========================= % Each goal clause was negated; the result (to be placed in sos): clauses(negated_goals). f(c2,f(f(c1,c3),f(c1,c3))) != f(c1,f(f(c2,c3),f(c2,c3))) # answer(A_SS). end_of_list. ============================== end of process goals ================== ============================== PROCESS INITIAL CLAUSES =============== % Clauses before input processing: clauses(usable). end_of_list. clauses(sos). 1 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). [input]. 2 f(c2,f(f(c1,c3),f(c1,c3))) != f(c1,f(f(c2,c3),f(c2,c3))) # answer(A_SS). [clausify]. end_of_list. clauses(demodulators). end_of_list. Predicate elimination: (none). Auto_denials: no changes. Term ordering decisions: Relation symbol precedence: lex([ = ]). Function symbol precedence: lex([ c1, c2, c3, f ]). After inverse_order: Function symbol precedence: lex([ c1, c2, c3, f ]). Unfolding symbols: (none). Auto_inference settings: % set(paramodulation). % (positive equality literals) % set(paramodulation) -> set(back_demod). Auto_process settings: no changes. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(f(c2,c3),f(c2,c3))) != f(c2,f(f(c1,c3),f(c1,c3))) # answer(A_SS). [copy(2),flip(a)]. ============================== end of process initial clauses ======== ============================== CLAUSES FOR SEARCH ==================== % Clauses after input processing: clauses(usable). end_of_list. clauses(sos). 3 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). [input]. 4 f(c1,f(f(c2,c3),f(c2,c3))) != f(c2,f(f(c1,c3),f(c1,c3))) # answer(A_SS). [copy(2),flip(a)]. end_of_list. clauses(demodulators). 3 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). [input]. end_of_list. clauses(denials). end_of_list. ============================== end of clauses for search ============= ============================== SEARCH ================================ % Starting search at 0.00 seconds. given #1 (I,wt=25): 3 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). [input]. given #2 (I,wt=19): 4 f(c1,f(f(c2,c3),f(c2,c3))) != f(c2,f(f(c1,c3),f(c1,c3))) # answer(A_SS). [copy(2),flip(a)]. given #3 (F,wt=35): 8 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),z))) = f(y,z). [para(3(a,1),3(a,1,2,2,2))]. given #4 (F,wt=41): 9 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(f(f(y,y),u),f(f(f(f(f(y,v),u),u),y),f(y,w)))))) = y. [para(3(a,1),8(a,1,1,2)),demod(3(12),3(12),3(14),3(17),3(30))]. given #5 (F,wt=13): 13 f(f(x,y),f(f(f(y,y),z),y)) = y. [para(3(a,1),9(a,1,2,2))]. given #6 (T,wt=9): 21 f(f(x,y),f(y,y)) = y. [para(3(a,1),13(a,1,2,1))]. given #7 (A,wt=57): 5 f(f(x,y),f(y,f(f(f(f(f(y,x),f(f(f(y,y),z),f(f(f(f(f(y,y),z),z),y),f(y,u)))),f(f(f(y,y),z),f(f(f(f(f(y,y),z),z),y),f(y,u)))),y),f(y,v)))) = y. [para(3(a,1),3(a,1,2,1))]. given #8 (F,wt=33): 45 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),z),f(f(f(f(x,z),z),f(y,x)),x))) = f(y,x) # label(false). [para(21(a,1),8(a,1,2,2,1,1,1,1))]. given #9 (F,wt=45): 64 f(f(x,f(y,f(x,x))),f(f(f(f(y,f(x,x)),f(y,f(x,x))),z),f(f(f(f(f(x,x),z),z),f(y,f(x,x))),f(x,x)))) = f(y,f(x,x)) # label(false). [para(21(a,1),45(a,1,1,1))]. given #10 (F,wt=11): 47 f(f(x,f(y,y)),y) = f(y,y). [para(21(a,1),8(a,1,2,2,1)),demod(21(5),21(5))]. given #11 (F,wt=11): 56 f(f(f(x,x),y),x) = f(x,x). [para(13(a,1),21(a,1,1)),demod(13(7)),flip(a)]. given #12 (T,wt=9): 87 f(f(x,y),f(x,x)) = x. [para(21(a,1),56(a,1,1,1)),demod(21(6))]. given #13 (A,wt=53): 6 f(f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u))),f(z,x)),f(f(f(f(z,x),f(z,x)),v),f(f(f(f(x,v),v),f(z,x)),f(f(z,x),w)))) = f(z,x). [para(3(a,1),3(a,1,2,2,1,1,1,1))]. given #14 (F,wt=27): 92 f(f(x,y),f(f(f(y,y),f(f(y,x),f(y,x))),f(f(f(y,x),y),f(y,z)))) = y # label(false). [para(87(a,1),3(a,1,2,2,1,1))]. given #15 (F,wt=31): 103 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))) = f(y,x) # label(false). [para(87(a,1),45(a,1,2,2,1,1))]. given #16 (F,wt=35): 122 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(f(y,x),z)))) = f(y,x) # label(false). [para(21(a,1),92(a,1,2,1,2,1)),demod(21(9),21(11))]. given #17 (F,wt=35): 131 f(f(f(x,x),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),f(f(x,y),z)))) = f(x,y) # label(false). [para(87(a,1),92(a,1,2,1,2,1)),demod(87(9),87(11))]. given #18 (T,wt=13): 94 f(x,f(f(y,x),f(y,x))) = f(y,x). [para(3(a,1),87(a,1,1))]. given #19 (A,wt=57): 7 f(f(x,y),f(f(f(y,y),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,u)))),f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,u)))),y),f(y,v)))) = y. [para(3(a,1),3(a,1,2,2,1,1,1))]. given #20 (F,wt=27): 168 f(f(x,y),f(f(f(y,y),f(f(y,x),f(y,x))),f(f(f(y,x),y),f(z,y)))) = y # label(false). [para(94(a,1),92(a,1,2,2,2))]. given #21 (F,wt=31): 147 f(f(f(x,x),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),x))) = f(x,y) # label(false). [para(87(a,1),131(a,1,2,2,2))]. given #22 (F,wt=33): 139 f(f(f(f(x,y),f(x,y)),y),f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(y,z)))) = y # label(false). [para(3(a,1),131(a,1,1,2)),demod(3(15),3(15),3(21),3(22),3(26))]. given #23 (F,wt=33): 146 f(f(f(f(x,y),f(x,y)),x),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z)))) = x # label(false). [para(87(a,1),131(a,1,1,2)),demod(87(7),87(7),87(13),87(14),87(18))]. given #24 (T,wt=13): 105 f(x,f(f(x,y),f(x,y))) = f(x,y). [para(87(a,1),87(a,1,1))]. given #25 (A,wt=49): 10 f(f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u))),f(z,x)),f(f(f(f(z,x),f(z,x)),v),f(f(f(f(x,v),v),f(z,x)),x))) = f(z,x). [para(3(a,1),8(a,1,2,2,1,1,1,1))]. given #26 (F,wt=33): 203 f(f(f(f(x,y),f(x,y)),y),f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(z,y)))) = y # label(false). [para(94(a,1),168(a,1,2,1,2,1)),demod(94(10),94(13))]. given #27 (F,wt=33): 219 f(f(f(f(x,y),f(x,y)),x),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x)))) = x # label(false). [para(94(a,1),146(a,1,2,2,2))]. given #28 (F,wt=35): 171 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(z,f(y,x))))) = f(y,x) # label(false). [para(94(a,1),122(a,1,2,2,2))]. given #29 (F,wt=35): 173 f(f(f(x,x),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),f(z,f(x,y))))) = f(x,y) # label(false). [para(94(a,1),131(a,1,2,2,2))]. given #30 (T,wt=15): 58 f(f(x,y),f(y,f(f(y,y),f(y,z)))) = y. [back_demod(38),demod(47(7))]. given #31 (A,wt=59): 11 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),f(f(f(f(y,z),f(y,z)),v),f(f(f(f(f(f(y,z),w),v),v),f(y,z)),z))))) = f(y,z). [para(8(a,1),8(a,1,1,2)),demod(8(17),8(18),8(21),8(25),8(42))]. given #32 (F,wt=39): 121 f(f(x,f(y,y)),f(f(y,f(f(f(y,y),x),f(f(y,y),x))),f(f(f(f(y,y),x),f(y,y)),f(f(y,y),z)))) = f(y,y) # label(false). [para(21(a,1),92(a,1,2,1,1))]. given #33 (F,wt=39): 191 f(f(x,f(y,y)),f(f(y,f(f(f(y,y),x),f(f(y,y),x))),f(f(f(f(y,y),x),f(y,y)),f(z,f(y,y))))) = f(y,y) # label(false). [para(21(a,1),168(a,1,2,1,1))]. given #34 (F,wt=41): 89 f(f(x,f(y,f(x,x))),f(f(f(f(y,f(x,x)),f(y,f(x,x))),x),f(f(f(x,x),f(y,f(x,x))),f(x,x)))) = f(y,f(x,x)) # label(false). [para(56(a,1),45(a,1,2,2,1,1)),demod(87(3))]. given #35 (F,wt=41): 96 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),f(f(f(y,z),x),f(f(y,z),x))),f(f(f(f(y,z),x),f(y,z)),z))) = f(y,z) # label(false). [para(87(a,1),8(a,1,2,2,1,1))]. given #36 (T,wt=15): 265 f(f(x,y),f(y,f(f(y,y),f(z,y)))) = y. [para(94(a,1),58(a,1,2,2,2))]. given #37 (A,wt=59): 12 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),f(f(f(f(y,z),f(y,z)),v),f(f(f(f(z,v),v),f(y,z)),f(f(y,z),w)))))) = f(y,z). [para(3(a,1),9(a,1,2,2,2,2,1,1,1,1))]. given #38 (F,wt=37): 320 f(f(f(x,f(f(x,x),f(x,y))),f(z,x)),f(f(f(f(z,x),f(z,x)),f(x,x)),f(f(x,f(z,x)),x))) = f(z,x) # label(false). [para(58(a,1),96(a,1,2,1,2,1)),demod(58(15),58(17))]. given #39 (F,wt=37): 356 f(f(f(x,f(f(x,x),f(y,x))),f(z,x)),f(f(f(f(z,x),f(z,x)),f(x,x)),f(f(x,f(z,x)),x))) = f(z,x) # label(false). [para(265(a,1),96(a,1,2,1,2,1)),demod(265(15),265(17))]. given #40 (F,wt=41): 132 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),f(f(f(y,z),x),f(f(y,z),x))),f(f(f(f(y,z),x),f(y,z)),y))) = f(y,z) # label(false). [para(87(a,1),92(a,1,2,2,2))]. given #41 (F,wt=41): 145 f(f(x,f(f(x,x),y)),f(f(f(f(f(x,x),y),f(f(x,x),y)),x),f(f(f(x,x),f(f(x,x),y)),f(x,x)))) = f(f(x,x),y) # label(false). [para(56(a,1),131(a,1,2,2,2)),demod(87(3),87(11))]. given #42 (T,wt=17): 207 f(x,f(f(x,x),f(x,f(f(x,x),y)))) = f(x,x). [para(147(a,1),6(a,1,2,1)),demod(154(11),87(4),47(6),87(5),87(5),47(7),87(6),21(5))]. given #43 (A,wt=57): 14 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(f(f(y,y),u),f(f(f(f(f(y,v),u),u),y),f(f(f(y,y),w),f(f(f(f(f(y,v6),w),w),y),f(y,v7)))))))) = y. [para(9(a,1),8(a,1,1,2)),demod(9(20),9(20),9(22),9(25),9(46))]. given #44 (F,wt=45): 125 f(f(x,f(y,f(x,x))),f(f(f(f(y,f(x,x)),f(y,f(x,x))),x),f(f(f(x,x),f(y,f(x,x))),f(f(y,f(x,x)),z)))) = f(y,f(x,x)) # label(false). [para(47(a,1),92(a,1,2,1,2,1)),demod(47(12),87(11),47(12))]. given #45 (F,wt=45): 128 f(f(x,f(f(x,x),y)),f(f(f(f(f(x,x),y),f(f(x,x),y)),x),f(f(f(x,x),f(f(x,x),y)),f(f(f(x,x),y),z)))) = f(f(x,x),y) # label(false). [para(56(a,1),92(a,1,2,1,2,1)),demod(56(12),87(11),56(12))]. given #46 (F,wt=45): 195 f(f(x,f(y,f(x,x))),f(f(f(f(y,f(x,x)),f(y,f(x,x))),x),f(f(f(x,x),f(y,f(x,x))),f(z,f(y,f(x,x)))))) = f(y,f(x,x)) # label(false). [para(47(a,1),168(a,1,2,1,2,1)),demod(47(12),87(11),47(12))]. given #47 (F,wt=45): 198 f(f(x,f(f(x,x),y)),f(f(f(f(f(x,x),y),f(f(x,x),y)),x),f(f(f(x,x),f(f(x,x),y)),f(z,f(f(x,x),y))))) = f(f(x,x),y) # label(false). [para(56(a,1),168(a,1,2,1,2,1)),demod(56(12),87(11),56(12))]. given #48 (T,wt=15): 415 f(f(x,f(x,f(x,x))),x) = f(x,f(x,x)). [para(3(a,1),195(a,1,2))]. given #49 (A,wt=31): 36 f(x,f(f(x,y),f(f(f(f(f(f(x,x),f(z,x)),y),y),f(x,x)),f(f(x,x),u)))) = f(x,x). [para(21(a,1),3(a,1,1)),demod(21(3))]. given #50 (F,wt=49): 143 f(f(f(f(x,f(y,y)),f(x,f(y,y))),f(y,y)),f(f(y,f(f(x,f(y,y)),f(x,f(y,y)))),f(f(f(x,f(y,y)),f(y,y)),f(f(y,y),z)))) = f(y,y) # label(false). [para(47(a,1),131(a,1,1,2)),demod(47(10),47(11),87(10),47(18),47(20),47(25))]. given #51 (F,wt=49): 144 f(f(f(f(f(x,x),y),f(f(x,x),y)),f(x,x)),f(f(x,f(f(f(x,x),y),f(f(x,x),y))),f(f(f(f(x,x),y),f(x,x)),f(f(x,x),z)))) = f(x,x) # label(false). [para(56(a,1),131(a,1,1,2)),demod(56(10),56(11),87(10),56(18),56(20),56(25))]. given #52 (F,wt=49): 235 f(f(f(f(x,f(y,y)),f(x,f(y,y))),f(y,y)),f(f(y,f(f(x,f(y,y)),f(x,f(y,y)))),f(f(f(x,f(y,y)),f(y,y)),f(z,f(y,y))))) = f(y,y) # label(false). [para(21(a,1),203(a,1,2,1,1))]. given #53 (F,wt=49): 239 f(f(f(f(f(x,x),y),f(f(x,x),y)),f(x,x)),f(f(x,f(f(f(x,x),y),f(f(x,x),y))),f(f(f(f(x,x),y),f(x,x)),f(z,f(x,x))))) = f(x,x) # label(false). [para(21(a,1),219(a,1,2,1,1))]. given #54 (T,wt=13): 435 f(x,f(f(x,x),f(x,y))) = f(x,x). [back_demod(270),demod(431(7)),flip(a)]. given #55 (A,wt=33): 37 f(f(x,f(y,y)),f(f(y,z),f(f(f(f(f(f(y,y),x),z),z),f(y,y)),f(f(y,y),u)))) = f(y,y). [para(21(a,1),3(a,1,2,1,1))]. given #56 (F,wt=49): 312 f(f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z))),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))) = f(y,x) # label(false). [para(92(a,1),96(a,1,2,1,2,1)),demod(92(27),92(29))]. given #57 (F,wt=49): 316 f(f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x))),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))) = f(y,x) # label(false). [para(168(a,1),96(a,1,2,1,2,1)),demod(168(27),168(29))]. given #58 (F,wt=51): 209 f(f(f(f(x,f(y,z)),f(x,f(y,z))),f(y,z)),f(f(f(f(y,z),f(y,z)),f(f(x,f(y,z)),f(x,f(y,z)))),f(f(f(x,f(y,z)),f(y,z)),z))) = f(y,z) # label(false). [para(3(a,1),139(a,1,2,2,2))]. given #59 (F,wt=51): 213 f(f(f(f(x,f(y,z)),f(x,f(y,z))),f(y,z)),f(f(f(f(y,z),f(y,z)),f(f(x,f(y,z)),f(x,f(y,z)))),f(f(f(x,f(y,z)),f(y,z)),y))) = f(y,z) # label(false). [para(87(a,1),139(a,1,2,2,2))]. given #60 (T,wt=13): 436 f(x,f(f(x,x),f(y,x))) = f(x,x). [back_demod(347),demod(434(7)),flip(a)]. given #61 (A,wt=37): 39 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),z),f(f(f(f(x,z),z),f(y,x)),f(f(y,x),u)))) = f(y,x). [para(21(a,1),3(a,1,2,2,1,1,1,1))]. given #62 (F,wt=51): 215 f(f(f(f(f(x,y),z),f(f(x,y),z)),f(x,y)),f(f(f(f(x,y),f(x,y)),f(f(f(x,y),z),f(f(x,y),z))),f(f(f(f(x,y),z),f(x,y)),y))) = f(x,y) # label(false). [para(3(a,1),146(a,1,2,2,2))]. given #63 (F,wt=51): 218 f(f(f(f(f(x,y),z),f(f(x,y),z)),f(x,y)),f(f(f(f(x,y),f(x,y)),f(f(f(x,y),z),f(f(x,y),z))),f(f(f(f(x,y),z),f(x,y)),x))) = f(x,y) # label(false). [para(87(a,1),146(a,1,2,2,2))]. given #64 (F,wt=59): 313 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),f(f(f(y,z),x),f(f(y,z),x))),f(f(f(f(y,z),x),f(y,z)),f(f(f(f(y,z),f(y,z)),f(z,z)),f(f(z,f(y,z)),z))))) = f(y,z) # label(false). [para(103(a,1),96(a,1,1,2)),demod(103(15),103(16),103(18),103(20),103(24),103(26),103(40))]. given #65 (F,wt=49): 543 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))))) = f(y,x) # label(false). [para(21(a,1),313(a,1,2,1,2,1)),demod(21(9),21(11))]. given #66 (T,wt=13): 458 f(f(x,x),f(x,f(f(x,x),y))) = x. [para(21(a,1),435(a,1,2,1)),demod(87(8))]. given #67 (A,wt=25): 40 f(f(x,y),f(f(f(y,y),f(x,x)),f(f(f(x,f(x,x)),y),f(y,z)))) = y. [para(21(a,1),3(a,1,2,2,1,1,1))]. given #68 (F,wt=47): 578 f(f(f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,z))),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))) = f(y,x) # label(false). [para(40(a,1),96(a,1,2,1,2,1)),demod(40(25),40(27))]. given #69 (F,wt=47): 589 f(f(f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(z,x))),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))) = f(y,x) # label(false). [para(94(a,1),578(a,1,1,1,2,2))]. given #70 (F,wt=55): 586 f(f(f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,z))),f(f(y,y),x)),f(f(f(f(f(y,y),x),f(f(y,y),x)),f(x,x)),f(f(x,f(f(y,y),x)),x))) = f(f(y,y),x) # label(false). [para(21(a,1),578(a,1,1,1,1,2)),demod(87(6))]. given #71 (F,wt=55): 590 f(f(f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(z,x))),f(f(y,y),x)),f(f(f(f(f(y,y),x),f(f(y,y),x)),f(x,x)),f(f(x,f(f(y,y),x)),x))) = f(f(y,y),x) # label(false). [para(21(a,1),589(a,1,1,1,1,2)),demod(87(6))]. given #72 (T,wt=13): 515 f(f(x,x),f(x,f(y,f(x,x)))) = x. [para(21(a,1),436(a,1,2,1)),demod(87(8))]. given #73 (A,wt=33): 46 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),f(x,x)),f(f(f(x,f(x,x)),f(y,z)),z))) = f(y,z). [para(21(a,1),8(a,1,2,2,1,1,1))]. given #74 (F,wt=59): 317 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),f(f(f(y,z),x),f(f(y,z),x))),f(f(f(f(y,z),x),f(y,z)),f(f(f(f(y,z),f(y,z)),f(y,y)),f(f(y,f(y,z)),y))))) = f(y,z) # label(false). [para(147(a,1),96(a,1,1,2)),demod(147(15),147(16),147(18),147(20),147(24),147(26),147(40))]. given #75 (F,wt=49): 644 f(f(f(x,x),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),x))))) = f(x,y) # label(false). [para(87(a,1),317(a,1,2,1,2,1)),demod(87(9),87(11))]. given #76 (F,wt=15): 617 f(f(f(x,x),x),f(x,f(f(x,x),y))) = x. [para(92(a,1),46(a,1,2,2,1)),demod(87(3),94(6),21(6),87(10),94(13),21(13),87(16),94(19),21(19),21(27),458(27),47(23),87(9),87(3),94(6),21(6)),flip(a)]. given #77 (F,wt=15): 624 f(f(f(x,x),x),f(x,f(y,f(x,x)))) = x. [para(168(a,1),46(a,1,2,2,1)),demod(87(3),94(6),21(6),87(10),94(13),21(13),87(16),94(19),21(19),21(27),515(27),47(23),87(9),87(3),94(6),21(6)),flip(a)]. given #78 (T,wt=15): 639 f(f(x,f(x,x)),f(x,f(f(x,x),y))) = x. [para(40(a,1),46(a,1,2,2,1)),demod(87(3),87(6),87(10),87(13),87(16),87(19),87(27),458(27),47(23),87(9),87(3),87(6)),flip(a)]. given #79 (A,wt=49): 48 f(x,f(f(x,y),f(f(f(f(f(f(x,x),f(z,x)),y),y),f(x,x)),f(f(x,u),f(f(f(f(f(f(x,x),v),u),u),f(x,x)),f(f(x,x),w)))))) = f(x,x). [para(21(a,1),9(a,1,1)),demod(21(3),21(11))]. Demod_limit: 0 f(f(f(f(f(f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w))))),f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w)))))),f(v101,v101)),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w))))),v102))),f(v101,f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w))))))),f(f(f(f(v101,f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w)))))),f(v101,f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w))))))),f(f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w))))),f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w))))))),f(f(f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w))))),f(v101,f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w))))))),f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w)))))))) = f(v101,f(f(f(v101,f(v101,v101)),y),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),f(z,f(v101,f(v101,v101)))),y),y),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),u),f(f(f(f(f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),v),u),u),f(f(v101,f(v101,v101)),f(v101,f(v101,v101)))),f(f(f(v101,f(v101,v101)),f(v101,f(v101,v101))),w)))))). [para(48(a,1),578(a,1,1,1,2,1))]. Demod_limit (steps=-1, size=1179). The most recent kept clause is 708. From here on, a short message will be printed for each 100 times the limit is hit. given #80 (F,wt=15): 656 f(f(x,f(f(x,x),x)),x) = f(f(x,x),x). [para(617(a,1),131(a,1,2,2,2)),demod(87(3),87(11),598(9),56(10),21(7))]. given #81 (F,wt=15): 683 f(f(x,f(x,x)),f(x,f(y,f(x,x)))) = x. [para(94(a,1),639(a,1,2,2))]. given #82 (F,wt=17): 654 f(f(x,f(x,x)),f(f(x,x),f(x,y))) = f(x,x). [para(21(a,1),617(a,1,1,1)),demod(87(6))]. given #83 (F,wt=17): 669 f(f(x,f(x,x)),f(f(x,x),f(y,x))) = f(x,x). [para(21(a,1),624(a,1,1,1)),demod(87(6))]. given #84 (T,wt=17): 681 f(f(f(x,x),x),f(f(x,x),f(x,y))) = f(x,x). [para(21(a,1),639(a,1,1,2)),demod(87(6))]. given #85 (A,wt=51): 49 f(f(x,f(y,y)),f(f(y,z),f(f(f(f(f(f(y,y),x),z),z),f(y,y)),f(f(y,u),f(f(f(f(f(f(y,y),v),u),u),f(y,y)),f(f(y,y),w)))))) = f(y,y). [para(21(a,1),9(a,1,2,1,1)),demod(21(12))]. given #86 (F,wt=17): 737 f(f(f(x,x),x),f(f(x,x),f(y,x))) = f(x,x). [para(21(a,1),683(a,1,1,2)),demod(87(6))]. given #87 (F,wt=19): 422 f(f(f(x,x),f(f(x,x),x)),f(x,x)) = f(f(x,x),x). [para(21(a,1),415(a,1,1,2,2)),demod(87(10))]. given #88 (F,wt=19): 598 f(f(f(f(x,x),x),f(f(x,x),x)),x) = f(f(x,x),x). [para(45(a,1),515(a,1,2,2)),demod(473(13),56(14),87(11)),flip(a)]. given #89 (F,wt=19): 693 f(f(f(x,x),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(639(a,1),215(a,1,1,1,1)),demod(639(6),639(15),639(15),599(11),639(12),87(11),47(7))]. given #90 (T,wt=21): 79 f(f(x,x),f(f(f(x,x),x),f(f(f(x,x),x),f(x,y)))) = x. [para(56(a,1),3(a,1,2,2,1,1))]. given #91 (A,wt=31): 50 f(f(x,y),f(y,f(f(y,y),f(f(f(y,y),z),f(f(f(f(f(y,u),z),z),y),f(y,v)))))) = y. [para(21(a,1),9(a,1,2,1)),demod(47(7))]. given #92 (F,wt=39): 837 f(f(x,y),f(f(f(y,y),f(f(y,x),f(y,x))),f(f(f(y,x),y),f(f(f(y,y),y),f(f(f(y,y),y),f(y,z)))))) = y # label(false). [para(79(a,1),96(a,1,1,2)),demod(79(10),79(10),79(11),79(12),79(15),79(16),79(27))]. given #93 (F,wt=39): 879 f(f(x,y),f(f(f(y,y),f(f(y,x),f(y,x))),f(f(f(y,x),y),f(f(f(y,y),y),f(f(f(y,y),y),f(z,y)))))) = y # label(false). [para(94(a,1),837(a,1,2,2,2,2,2))]. given #94 (F,wt=45): 840 f(f(f(f(x,y),f(x,y)),y),f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(f(f(y,y),y),f(f(f(y,y),y),f(y,z)))))) = y # label(false). [para(79(a,1),209(a,1,1,1,1,2)),demod(79(10),79(12),79(13),79(13),79(14),79(15),79(18),79(19),79(30))]. given #95 (F,wt=45): 841 f(f(f(f(x,y),f(x,y)),x),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(f(f(x,x),x),f(f(f(x,x),x),f(x,z)))))) = x # label(false). [para(79(a,1),215(a,1,1,1,1,1)),demod(79(10),79(12),79(13),79(13),79(14),79(15),79(18),79(19),79(30))]. given #96 (T,wt=21): 192 f(f(x,x),f(f(f(x,x),x),f(f(f(x,x),x),f(y,x)))) = x. [para(21(a,1),168(a,1,2,1,2))]. given #97 (A,wt=41): 51 f(f(x,y),f(f(f(y,y),f(x,x)),f(f(f(x,f(x,x)),y),f(f(f(y,y),z),f(f(f(f(f(y,u),z),z),y),f(y,v)))))) = y. [para(21(a,1),9(a,1,2,2,1,1,1))]. given #98 (F,wt=45): 902 f(f(f(f(x,y),f(x,y)),y),f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(f(f(y,y),y),f(f(f(y,y),y),f(z,y)))))) = y # label(false). [para(94(a,1),879(a,1,2,1,2,1)),demod(94(10),94(13))]. given #99 (F,wt=45): 903 f(f(f(f(x,y),f(x,y)),x),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(f(f(x,x),x),f(f(f(x,x),x),f(z,x)))))) = x # label(false). [para(105(a,1),879(a,1,2,1,2,1)),demod(105(10),105(13))]. given #100 (F,wt=51): 871 f(f(x,f(y,y)),f(f(y,f(f(f(y,y),x),f(f(y,y),x))),f(f(f(f(y,y),x),f(y,y)),f(f(y,f(y,y)),f(f(y,f(y,y)),f(f(y,y),z)))))) = f(y,y) # label(false). [para(21(a,1),837(a,1,2,1,1)),demod(87(15),87(17))]. given #101 (F,wt=51): 894 f(f(x,f(y,y)),f(f(y,f(f(f(y,y),x),f(f(y,y),x))),f(f(f(f(y,y),x),f(y,y)),f(f(y,f(y,y)),f(f(y,f(y,y)),f(z,f(y,y))))))) = f(y,y) # label(false). [para(21(a,1),879(a,1,2,1,1)),demod(87(15),87(17))]. given #102 (T,wt=21): 454 f(f(x,y),f(f(f(x,y),f(x,y)),y)) = f(f(x,y),f(x,y)). [para(3(a,1),435(a,1,2,2))]. given #103 (A,wt=41): 53 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(f(f(y,y),f(u,u)),f(f(f(u,f(u,u)),y),f(y,v)))))) = y. [para(21(a,1),9(a,1,2,2,2,2,1,1,1))]. given #104 (F,wt=59): 872 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(f(f(f(y,x),f(y,x)),f(y,x)),f(f(f(f(y,x),f(y,x)),f(y,x)),f(f(y,x),z)))))) = f(y,x) # label(false). [para(21(a,1),837(a,1,2,1,2,1)),demod(21(9),21(11))]. given #105 (F,wt=55): 1051 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(f(f(f(y,x),f(y,x)),f(y,x)),f(f(f(f(y,x),f(y,x)),f(y,x)),x))))) = f(y,x) # label(false). [para(3(a,1),872(a,1,2,2,2,2,2))]. given #106 (F,wt=59): 877 f(f(f(x,x),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,y)),f(f(x,y),z)))))) = f(x,y) # label(false). [para(87(a,1),837(a,1,2,1,2,1)),demod(87(9),87(11))]. given #107 (F,wt=55): 1056 f(f(f(x,x),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,y)),x))))) = f(x,y) # label(false). [para(87(a,1),877(a,1,2,2,2,2,2))]. given #108 (T,wt=21): 465 f(f(x,y),f(f(f(x,y),f(x,y)),x)) = f(f(x,y),f(x,y)). [para(87(a,1),435(a,1,2,2))]. given #109 (A,wt=35): 59 f(f(x,x),f(x,f(f(f(x,f(f(f(x,x),y),f(f(f(f(f(x,x),y),y),x),f(x,z)))),x),f(x,u)))) = x. [para(3(a,1),5(a,1,2,2,1,1,1))]. given #110 (F,wt=59): 895 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(f(f(f(y,x),f(y,x)),f(y,x)),f(f(f(f(y,x),f(y,x)),f(y,x)),f(z,f(y,x))))))) = f(y,x) # label(false). [para(21(a,1),879(a,1,2,1,2,1)),demod(21(9),21(11))]. given #111 (F,wt=59): 900 f(f(f(x,x),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,y)),f(z,f(x,y))))))) = f(x,y) # label(false). [para(87(a,1),879(a,1,2,1,2,1)),demod(87(9),87(11))]. given #112 (F,wt=21): 599 f(f(f(x,f(x,x)),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(64(a,1),515(a,1,2,2)),demod(87(3),87(5),87(10),87(12),472(15),87(8),87(10),87(15),56(15),87(11),87(5),87(7)),flip(a)]. given #113 (F,wt=21): 760 f(f(f(f(x,x),f(x,y)),f(x,f(x,x))),x) = f(x,f(x,x)). [para(654(a,1),132(a,1,2,1,2,1)),demod(654(18),87(14),654(18),56(17),21(14))]. given #114 (T,wt=21): 775 f(f(f(f(x,x),f(y,x)),f(x,f(x,x))),x) = f(x,f(x,x)). [para(669(a,1),132(a,1,2,1,2,1)),demod(669(18),87(14),669(18),56(17),21(14))]. given #115 (A,wt=55): 63 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),f(f(f(f(y,z),f(y,z)),v),f(f(f(f(z,v),v),f(y,z)),z))))) = f(y,z). [para(45(a,1),8(a,1,1,2)),demod(45(16),45(17),45(20),45(24),45(39))]. given #116 (F,wt=21): 791 f(f(f(f(x,x),f(x,y)),f(f(x,x),x)),x) = f(f(x,x),x). [para(681(a,1),96(a,1,2,1,2,1)),demod(681(18),87(14),598(12),681(14),56(13),21(10))]. given #117 (F,wt=21): 814 f(f(f(f(x,x),f(y,x)),f(f(x,x),x)),x) = f(f(x,x),x). [para(737(a,1),96(a,1,2,1,2,1)),demod(737(18),87(14),598(12),737(14),56(13),21(10))]. given #118 (F,wt=21): 835 f(f(f(f(x,x),x),f(f(f(x,x),x),f(x,y))),f(x,x)) = x. [para(79(a,1),94(a,1,2,1)),demod(79(16),79(18))]. given #119 (F,wt=21): 925 f(f(f(f(x,x),x),f(f(f(x,x),x),f(y,x))),f(x,x)) = x. [para(192(a,1),94(a,1,2,1)),demod(192(16),192(18))]. given #120 (T,wt=23): 136 f(x,f(f(x,f(x,x)),f(f(x,f(x,x)),f(f(x,x),y)))) = f(x,x). [para(21(a,1),122(a,1,1)),demod(87(3))]. given #121 (A,wt=51): 65 f(f(f(f(x,y),f(x,y)),f(z,f(x,y))),f(f(f(f(z,f(x,y)),f(z,f(x,y))),f(y,y)),f(f(f(y,f(y,y)),f(z,f(x,y))),f(x,y)))) = f(z,f(x,y)). [para(21(a,1),45(a,1,2,2,1,1,1))]. given #122 (F,wt=23): 234 f(x,f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,f(x,x))))) = f(x,x). [para(21(a,1),203(a,1,1,1,1)),demod(21(3),87(3),87(3),21(3),21(3),21(5))]. given #123 (F,wt=23): 549 f(f(x,x),f(x,f(f(f(x,f(x,f(f(x,x),y))),x),f(x,z)))) = x. [para(458(a,1),3(a,1,2,2,1,1,1)),demod(458(6))]. given #124 (F,wt=23): 594 f(f(x,x),f(x,f(f(f(x,f(x,f(y,f(x,x)))),x),f(x,z)))) = x. [para(515(a,1),3(a,1,2,2,1,1,1)),demod(515(6))]. given #125 (F,wt=23): 659 f(f(f(x,f(f(x,x),y)),f(f(x,x),x)),f(x,x)) = f(f(x,x),x). [para(617(a,1),132(a,1,2,1,2,1)),demod(617(17),617(19),87(18),47(14))]. given #126 (T,wt=23): 673 f(f(f(x,f(y,f(x,x))),f(f(x,x),x)),f(x,x)) = f(f(x,x),x). [para(624(a,1),132(a,1,2,1,2,1)),demod(624(17),624(19),87(18),47(14))]. given #127 (A,wt=29): 67 f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(x,f(z,f(x,x))),y),y),x),f(x,u)))) = x. [para(47(a,1),3(a,1,1))]. given #128 (F,wt=23): 689 f(f(f(x,f(f(x,x),y)),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(639(a,1),96(a,1,2,1,2,1)),demod(639(17),599(13),639(14),87(13),47(9))]. given #129 (F,wt=23): 742 f(f(f(x,f(y,f(x,x))),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(683(a,1),96(a,1,2,1,2,1)),demod(683(17),599(13),683(14),87(13),47(9))]. given #130 (F,wt=23): 1151 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(f(x,x),y))),x) = f(x,x). [para(21(a,1),835(a,1,1,1,1)),demod(87(5),87(11))]. given #131 (F,wt=23): 1156 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,f(x,x)))),x) = f(x,x). [para(21(a,1),925(a,1,1,1,1)),demod(87(5),87(11))]. given #132 (T,wt=23): 1170 f(f(x,x),f(x,f(f(f(x,f(x,f(f(x,x),y))),x),f(z,x)))) = x. [para(94(a,1),549(a,1,2,2,2))]. given #133 (A,wt=49): 68 f(f(x,f(y,f(x,x))),f(f(f(f(y,f(x,x)),f(y,f(x,x))),z),f(f(f(f(f(x,x),z),z),f(y,f(x,x))),f(f(y,f(x,x)),u)))) = f(y,f(x,x)). [para(47(a,1),3(a,1,2,2,1,1,1,1))]. given #134 (F,wt=17): 1209 f(f(x,x),f(f(x,f(x,f(f(x,x),y))),x)) = x. [para(94(a,1),1170(a,1,2))]. given #135 (F,wt=17): 1225 f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),x)) = x. [para(94(a,1),1209(a,1,2,1,2,2))]. given #136 (F,wt=21): 1223 f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,x))) = f(x,x). [para(21(a,1),1209(a,1,1)),demod(87(5))]. given #137 (F,wt=21): 1240 f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,x))) = f(x,x). [para(21(a,1),1225(a,1,1)),demod(87(5))]. given #138 (T,wt=23): 1179 f(f(x,x),f(x,f(f(f(x,f(x,f(y,f(x,x)))),x),f(z,x)))) = x. [para(94(a,1),594(a,1,2,2,2))]. given #139 (A,wt=25): 69 f(f(f(x,x),y),f(f(f(y,y),x),f(f(f(f(x,x),x),y),f(y,z)))) = y. [para(47(a,1),3(a,1,2,2,1,1,1))]. given #140 (F,wt=23): 1269 f(f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,z))),f(x,x)) = x. [para(69(a,1),94(a,1,2,1)),demod(69(19),69(21))]. given #141 (F,wt=23): 1294 f(f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(z,x))),f(x,x)) = x. [para(94(a,1),1269(a,1,1,2,2))]. given #142 (F,wt=25): 114 f(x,f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(f(x,x),z)))) = f(x,x). [para(56(a,1),6(a,1,1)),demod(87(3),87(3))]. given #143 (F,wt=25): 153 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(u,y)))) = y. [para(94(a,1),3(a,1,2,2,2))]. given #144 (T,wt=25): 154 f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u))),f(x,x)) = x. [para(3(a,1),94(a,1,2,1)),demod(3(20),3(22))]. given #145 (A,wt=45): 70 f(f(f(x,y),f(x,y)),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(f(f(x,y),f(u,f(f(x,y),f(x,y)))),z),z),f(x,y)),y))) = f(x,y). [para(47(a,1),8(a,1,1))]. given #146 (F,wt=23): 1455 f(f(f(x,f(x,f(f(x,x),y))),f(x,f(f(x,x),z))),x) = f(x,x). [para(617(a,1),154(a,1,1,2,1,1,1)),demod(87(3),87(10),87(11))]. given #147 (F,wt=23): 1456 f(f(f(x,f(x,f(y,f(x,x)))),f(x,f(f(x,x),z))),x) = f(x,x). [para(624(a,1),154(a,1,1,2,1,1,1)),demod(87(3),87(10),87(11))]. given #148 (F,wt=23): 1486 f(f(f(x,f(x,f(f(x,x),y))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(94(a,1),1455(a,1,1,2,2))]. given #149 (F,wt=23): 1495 f(f(f(x,f(x,f(y,f(x,x)))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(94(a,1),1456(a,1,1,2,2))]. given #150 (T,wt=25): 572 f(f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,z))),f(x,x)) = x. [para(40(a,1),94(a,1,2,1)),demod(40(20),40(22))]. given #151 (A,wt=33): 71 f(f(f(x,x),f(y,z)),f(f(f(f(y,z),f(y,z)),x),f(f(f(f(x,x),x),f(y,z)),z))) = f(y,z). [para(47(a,1),8(a,1,2,2,1,1,1))]. given #152 (F,wt=25): 574 f(f(x,y),f(f(f(y,y),f(x,x)),f(f(f(x,f(x,x)),y),f(z,y)))) = y. [para(94(a,1),40(a,1,2,2,2))]. given #153 (F,wt=25): 676 f(f(f(x,x),x),f(x,f(f(f(x,f(x,f(f(x,x),y))),x),f(x,z)))) = x. [para(639(a,1),3(a,1,2,2,1,1,1)),demod(458(7))]. given #154 (F,wt=25): 732 f(f(f(x,x),x),f(x,f(f(f(x,f(x,f(y,f(x,x)))),x),f(x,z)))) = x. [para(683(a,1),3(a,1,2,2,1,1,1)),demod(515(7))]. given #155 (F,wt=25): 1087 f(f(x,x),f(f(f(x,x),f(x,f(x,x))),f(f(x,f(x,x)),f(x,y)))) = x. [para(760(a,1),3(a,1,2,2,1))]. given #156 (T,wt=11): 1621 f(f(x,x),f(x,f(x,x))) = x. [para(21(a,1),1087(a,1,2))]. given #157 (A,wt=45): 72 f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(x,f(z,f(x,x))),y),y),x),f(f(f(x,x),u),f(f(f(f(f(x,v),u),u),x),f(x,w)))))) = x. [para(47(a,1),9(a,1,1))]. given #158 (F,wt=29): 1670 f(f(x,y),f(y,f(f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y),f(y,z)))) = y # label(false). [para(1621(a,1),3(a,1,2,1))]. given #159 (F,wt=29): 1700 f(f(x,y),f(y,f(f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y),f(z,y)))) = y # label(false). [para(1621(a,1),153(a,1,2,1))]. given #160 (F,wt=23): 1772 f(f(x,y),f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y)) = y # label(false). [para(94(a,1),1700(a,1,2))]. given #161 (F,wt=29): 1826 f(f(f(f(x,y),f(x,y)),y),f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)) = y # label(false). [para(94(a,1),1772(a,1,2,1,1,1))]. given #162 (T,wt=11): 1674 f(x,f(f(x,x),x)) = f(x,x). [para(21(a,1),1621(a,1,1)),demod(87(4))]. given #163 (A,wt=41): 73 f(f(f(x,x),y),f(f(f(y,y),x),f(f(f(f(x,x),x),y),f(f(f(y,y),z),f(f(f(f(f(y,u),z),z),y),f(y,v)))))) = y. [para(47(a,1),9(a,1,2,2,1,1,1))]. given #164 (F,wt=29): 1830 f(f(f(f(x,y),f(x,y)),x),f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)) = x # label(false). [para(105(a,1),1772(a,1,2,1,1,1))]. given #165 (F,wt=31): 1814 f(f(x,f(y,y)),f(f(f(f(f(y,y),x),f(f(y,y),y)),f(f(y,y),y)),f(y,y))) = f(y,y) # label(false). [para(21(a,1),1772(a,1,2,1,1,2,2)),demod(87(11))]. given #166 (F,wt=35): 1728 f(f(f(f(x,y),f(x,y)),y),f(y,f(f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y),f(y,z)))) = y # label(false). [para(94(a,1),1670(a,1,2,2,1,1,1,1))]. given #167 (F,wt=35): 1730 f(f(f(f(x,y),f(x,y)),x),f(x,f(f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x),f(x,z)))) = x # label(false). [para(105(a,1),1670(a,1,2,2,1,1,1,1))]. given #168 (T,wt=17): 1624 f(f(x,x),f(x,f(f(x,f(x,x)),f(x,y)))) = x. [para(1087(a,1),45(a,2)),demod(1621(4),1621(9),1621(16),1621(24),1621(31),1621(39),1621(47),1621(54),45(58))]. given #169 (A,wt=39): 74 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(f(f(y,y),u),f(f(f(f(u,u),u),y),f(y,v)))))) = y. [para(47(a,1),9(a,1,2,2,2,2,1,1,1))]. given #170 (F,wt=35): 1771 f(f(f(f(x,y),f(x,y)),y),f(y,f(f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y),f(z,y)))) = y # label(false). [para(94(a,1),1700(a,1,2,2,1,1,1,1))]. given #171 (F,wt=35): 1775 f(f(f(f(x,y),f(x,y)),x),f(x,f(f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x),f(z,x)))) = x # label(false). [para(105(a,1),1700(a,1,2,2,1,1,1,1))]. given #172 (F,wt=41): 1722 f(f(x,f(y,y)),f(f(y,y),f(f(f(f(f(f(y,y),x),f(f(y,y),y)),f(f(y,y),y)),f(y,y)),f(f(y,y),z)))) = f(y,y) # label(false). [para(21(a,1),1670(a,1,2,2,1,1,1,2,2)),demod(87(12))]. given #173 (F,wt=41): 1764 f(f(x,f(y,y)),f(f(y,y),f(f(f(f(f(f(y,y),x),f(f(y,y),y)),f(f(y,y),y)),f(y,y)),f(z,f(y,y))))) = f(y,y) # label(false). [para(21(a,1),1700(a,1,2,2,1,1,1,2,2)),demod(87(12))]. given #174 (T,wt=17): 1627 f(f(x,x),f(x,f(f(x,f(x,x)),f(y,x)))) = x. [para(94(a,1),1087(a,1,2,2,2)),demod(1621(5))]. given #175 (A,wt=29): 77 f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(x,f(f(x,x),z)),y),y),x),f(x,u)))) = x. [para(56(a,1),3(a,1,1))]. given #176 (F,wt=41): 1813 f(f(f(x,x),f(y,x)),f(f(f(x,f(f(y,x),f(f(y,x),f(y,x)))),f(f(y,x),f(f(y,x),f(y,x)))),f(y,x))) = f(y,x) # label(false). [para(21(a,1),1772(a,1,2,1,1,1))]. given #177 (F,wt=41): 1822 f(f(f(x,x),f(x,y)),f(f(f(x,f(f(x,y),f(f(x,y),f(x,y)))),f(f(x,y),f(f(x,y),f(x,y)))),f(x,y))) = f(x,y) # label(false). [para(87(a,1),1772(a,1,2,1,1,1))]. given #178 (F,wt=41): 1868 f(f(f(f(x,f(y,y)),f(x,f(y,y))),f(y,y)),f(f(f(f(x,f(y,y)),f(f(y,y),y)),f(f(y,y),y)),f(y,y))) = f(y,y) # label(false). [para(21(a,1),1826(a,1,2,1,1,2,2)),demod(87(16))]. given #179 (F,wt=41): 1873 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(f(x,x),x)),f(f(f(f(x,x),f(f(x,x),x)),f(y,x)),x))) = f(y,x) # label(false). [para(1674(a,1),45(a,1,2,2,1,1,1))]. given #180 (T,wt=19): 1633 f(f(f(x,f(x,x)),f(x,f(x,x))),x) = f(x,f(x,x)). [para(639(a,1),1087(a,1,2,2,2)),demod(1621(19),1156(16),87(9))]. given #181 (A,wt=49): 78 f(f(x,f(f(x,x),y)),f(f(f(f(f(x,x),y),f(f(x,x),y)),z),f(f(f(f(f(x,x),z),z),f(f(x,x),y)),f(f(f(x,x),y),u)))) = f(f(x,x),y). [para(56(a,1),3(a,1,2,2,1,1,1,1))]. given #182 (F,wt=41): 1911 f(f(f(f(f(x,x),y),f(f(x,x),y)),f(x,x)),f(f(f(f(f(x,x),y),f(f(x,x),x)),f(f(x,x),x)),f(x,x))) = f(x,x) # label(false). [para(21(a,1),1830(a,1,2,1,1,2,2)),demod(87(16))]. given #183 (F,wt=45): 1878 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(f(x,x),x)),f(f(f(f(x,x),f(f(x,x),x)),f(y,x)),f(f(y,x),z)))) = f(y,x) # label(false). [para(1674(a,1),39(a,1,2,2,1,1,1))]. given #184 (F,wt=45): 2087 f(f(x,f(f(x,x),y)),f(f(f(f(f(x,x),y),f(f(x,x),y)),z),f(f(f(f(f(x,x),z),z),f(f(x,x),y)),f(x,x)))) = f(f(x,x),y) # label(false). [para(56(a,1),78(a,1,2,2,2))]. given #185 (F,wt=25): 2159 f(x,f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),x))) = f(x,y) # label(false). [back_demod(147),demod(2106(3))]. given #186 (T,wt=9): 2106 f(f(x,x),f(x,y)) = x. [para(617(a,1),2087(a,1,2,2,1)),demod(87(4),435(4),87(5),87(8),87(13),47(11),87(3),87(4)),flip(a)]. given #187 (A,wt=35): 93 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),y))) = f(y,z). [para(87(a,1),3(a,1,2,2,2))]. given #188 (F,wt=23): 2650 f(f(x,y),f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)) = y # label(false). [back_demod(1826),demod(2586(4))]. given #189 (F,wt=23): 2696 f(f(x,y),f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)) = x # label(false). [back_demod(1830),demod(2594(4))]. given #190 (F,wt=25): 2244 f(x,f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))) = f(y,x) # label(false). [back_demod(103),demod(2107(3))]. given #191 (F,wt=27): 2113 f(x,f(f(f(f(x,y),f(x,y)),f(x,f(x,x))),f(f(x,f(x,y)),x))) = f(x,y) # label(false). [para(1814(a,1),2087(a,1,2,2,1,1,1)),demod(2106(4),2106(3),2106(3),2106(4),2106(6),1674(6),2107(7),2106(10),1674(10),2107(11),2106(10),2106(9),2106(11),2106(14))]. given #192 (T,wt=9): 2107 f(f(x,x),f(y,x)) = x. [para(624(a,1),2087(a,1,2,2,1)),demod(2106(4),436(4),2106(5),2106(8),2106(13),47(11),2106(3),2106(4)),flip(a)]. given #193 (A,wt=43): 98 f(f(x,y),f(f(f(y,y),f(f(y,x),f(y,x))),f(f(f(y,x),y),f(f(f(y,y),z),f(f(f(f(f(y,u),z),z),y),f(y,v)))))) = y. [para(87(a,1),9(a,1,2,2,1,1))]. given #194 (F,wt=27): 2120 f(x,f(f(f(f(x,y),f(x,y)),z),f(f(f(f(x,z),z),f(x,y)),x))) = f(x,y) # label(false). [back_demod(2100),demod(2106(3))]. given #195 (F,wt=27): 2187 f(x,f(f(f(f(y,x),f(y,x)),f(x,f(x,x))),f(f(x,f(y,x)),x))) = f(y,x) # label(false). [back_demod(1873),demod(2107(3),2145(5),2145(9),2106(10))]. given #196 (F,wt=27): 2247 f(x,f(f(f(f(y,x),f(y,x)),z),f(f(f(f(x,z),z),f(y,x)),x))) = f(y,x) # label(false). [back_demod(45),demod(2107(3))]. given #197 (F,wt=27): 2609 f(f(x,y),f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(y,z)))) = y # label(false). [para(2106(a,1),143(a,1,1,1,1,2)),demod(2106(4),2106(6),2586(4),2106(5),2106(6),2106(9),2106(10),2106(11),2106(15))]. given #198 (T,wt=11): 2145 f(f(x,x),x) = f(x,f(x,x)). [back_demod(760),demod(2106(3),2115(3))]. given #199 (A,wt=59): 99 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),f(f(f(f(y,z),f(y,z)),v),f(f(f(f(y,v),v),f(y,z)),f(f(y,z),w)))))) = f(y,z). [para(87(a,1),9(a,1,2,2,2,2,1,1,1,1))]. given #200 (F,wt=25): 2894 f(f(x,y),f(f(y,f(y,y)),f(f(f(f(f(y,x),y),y),y),f(y,z)))) = y # label(false). [para(2145(a,1),3(a,1,2,1))]. given #201 (F,wt=25): 2920 f(f(x,y),f(f(y,f(y,y)),f(f(f(f(f(y,x),y),y),y),f(z,y)))) = y # label(false). [para(2145(a,1),153(a,1,2,1))]. given #202 (F,wt=25): 2940 f(f(x,y),f(f(y,f(y,y)),f(f(f(f(f(x,y),y),y),y),f(y,z)))) = y # label(false). [para(94(a,1),2894(a,1,2,2,1,1,1,1)),demod(2586(4))]. given #203 (F,wt=25): 2942 f(f(x,y),f(f(x,f(x,x)),f(f(f(f(f(x,y),x),x),x),f(x,z)))) = x # label(false). [para(105(a,1),2894(a,1,2,2,1,1,1,1)),demod(2594(4))]. given #204 (T,wt=11): 2590 f(x,f(f(x,x),y)) = f(x,x). [para(21(a,1),2106(a,1,1))]. given #205 (A,wt=43): 100 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(f(f(y,y),f(f(y,u),f(y,u))),f(f(f(y,u),y),f(y,v)))))) = y. [para(87(a,1),9(a,1,2,2,2,2,1,1))]. given #206 (F,wt=25): 2975 f(f(x,y),f(f(y,f(y,y)),f(f(f(f(f(x,y),y),y),y),f(z,y)))) = y # label(false). [para(94(a,1),2920(a,1,2,2,1,1,1,1)),demod(2586(4))]. given #207 (F,wt=25): 2977 f(f(x,y),f(f(x,f(x,x)),f(f(f(f(f(x,y),x),x),x),f(z,x)))) = x # label(false). [para(105(a,1),2920(a,1,2,2,1,1,1,1)),demod(2594(4))]. given #208 (F,wt=27): 2610 f(f(x,y),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z)))) = x # label(false). [para(2106(a,1),144(a,1,1,1,1,1)),demod(2106(4),2106(6),2594(4),2106(5),2106(6),2106(9),2106(10),2106(11),2106(15))]. given #209 (F,wt=27): 2611 f(f(x,y),f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(z,y)))) = y # label(false). [para(2106(a,1),235(a,1,1,1,1,2)),demod(2106(4),2106(6),2586(4),2106(5),2106(6),2106(9),2106(10),2106(11),2106(15))]. given #210 (T,wt=11): 2788 f(x,f(y,f(x,x))) = f(x,x). [para(21(a,1),2107(a,1,1))]. given #211 (A,wt=59): 101 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),f(f(f(f(y,z),f(y,z)),v),f(f(f(f(f(f(y,z),w),v),v),f(y,z)),y))))) = f(y,z). [para(87(a,1),9(a,1,2,2,2,2,2))]. given #212 (F,wt=27): 2612 f(f(x,y),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x)))) = x # label(false). [para(2106(a,1),239(a,1,1,1,1,1)),demod(2106(4),2106(6),2594(4),2106(5),2106(6),2106(9),2106(10),2106(11),2106(15))]. given #213 (F,wt=29): 2158 f(x,f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),f(z,f(x,y))))) = f(x,y) # label(false). [back_demod(173),demod(2106(3))]. given #214 (F,wt=29): 2161 f(x,f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),f(f(x,y),z)))) = f(x,y) # label(false). [back_demod(131),demod(2106(3))]. given #215 (F,wt=29): 2240 f(x,f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(z,f(y,x))))) = f(y,x) # label(false). [back_demod(171),demod(2107(3))]. given #216 (T,wt=13): 2586 f(f(f(x,y),f(x,y)),y) = f(x,y). [para(3(a,1),2106(a,1,2))]. given #217 (A,wt=53): 107 f(f(f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,z))),f(y,x)),f(f(f(f(y,x),f(y,x)),u),f(f(f(f(x,u),u),f(y,x)),f(f(y,x),v)))) = f(y,x). [para(21(a,1),6(a,1,1,1,2,1,1,1))]. given #218 (F,wt=29): 2243 f(x,f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(f(y,x),z)))) = f(y,x) # label(false). [back_demod(122),demod(2107(3))]. given #219 (F,wt=29): 2651 f(f(x,y),f(y,f(f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y),f(z,y)))) = y # label(false). [back_demod(1771),demod(2586(4))]. given #220 (F,wt=29): 2652 f(f(x,y),f(y,f(f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y),f(y,z)))) = y # label(false). [back_demod(1728),demod(2586(4))]. given #221 (F,wt=29): 2697 f(f(x,y),f(x,f(f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x),f(z,x)))) = x # label(false). [back_demod(1775),demod(2594(4))]. given #222 (T,wt=13): 2594 f(f(f(x,y),f(x,y)),x) = f(x,y). [para(87(a,1),2106(a,1,2))]. given #223 (A,wt=55): 115 f(f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z))),f(y,x)),f(f(f(f(y,x),f(y,x)),u),f(f(f(f(x,u),u),f(y,x)),f(f(y,x),v)))) = f(y,x). [para(87(a,1),6(a,1,1,1,2,1,1))]. given #224 (F,wt=29): 2698 f(f(x,y),f(x,f(f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x),f(x,z)))) = x # label(false). [back_demod(1730),demod(2594(4))]. given #225 (F,wt=29): 2860 f(x,f(f(x,y),f(f(f(f(x,f(f(x,y),z)),f(f(x,y),z)),f(x,y)),x))) = f(x,y) # label(false). [para(2106(a,1),2120(a,1,2,1))]. given #226 (F,wt=25): 3371 f(f(x,y),f(y,f(f(f(f(f(x,y),f(y,z)),f(y,z)),y),f(x,y)))) = y # label(false). [para(3(a,1),2860(a,1,2,1)),demod(3(13),3(15),3(17),3(22))]. given #227 (F,wt=25): 3374 f(f(x,y),f(x,f(f(f(f(f(x,y),f(x,z)),f(x,z)),x),f(x,y)))) = x # label(false). [para(87(a,1),2860(a,1,2,1)),demod(87(5),87(7),87(9),87(14))]. given #228 (T,wt=21): 2152 f(f(x,x),f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,y)))) = x. [back_demod(470),demod(2106(4),2106(4),2145(3),2106(7),2145(5),2106(12))]. given #229 (A,wt=51): 117 f(f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u))),f(z,x)),f(f(f(f(z,x),f(z,x)),f(x,x)),f(f(x,f(z,x)),f(f(z,x),v)))) = f(z,x). [para(87(a,1),6(a,1,2,2,1,1))]. given #230 (F,wt=25): 3397 f(f(x,y),f(y,f(f(f(f(f(x,y),f(z,y)),f(z,y)),y),f(x,y)))) = y # label(false). [para(94(a,1),3371(a,1,2,2,1,1,1,2)),demod(94(8))]. given #231 (F,wt=25): 3422 f(f(x,y),f(x,f(f(f(f(f(x,y),f(z,x)),f(z,x)),x),f(x,y)))) = x # label(false). [para(94(a,1),3374(a,1,2,2,1,1,1,2)),demod(94(8))]. given #232 (F,wt=29): 2862 f(x,f(f(x,y),f(f(f(f(x,f(z,f(x,y))),f(z,f(x,y))),f(x,y)),x))) = f(x,y) # label(false). [para(2107(a,1),2120(a,1,2,1))]. given #233 (F,wt=29): 2882 f(x,f(f(y,x),f(f(f(f(x,f(f(y,x),z)),f(f(y,x),z)),f(y,x)),x))) = f(y,x) # label(false). [para(2106(a,1),2247(a,1,2,1))]. given #234 (T,wt=21): 2153 f(f(x,x),f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,x)))) = x. [back_demod(467),demod(2106(4),2106(4),2145(3),2106(7),2145(5),2106(8),2106(12))]. given #235 (A,wt=49): 118 f(f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u))),f(z,x)),f(f(f(f(z,x),f(z,x)),v),f(f(f(f(x,v),v),f(z,x)),z))) = f(z,x). [para(87(a,1),6(a,1,2,2,2))]. given #236 (F,wt=29): 2883 f(x,f(f(y,x),f(f(f(f(x,f(z,f(y,x))),f(z,f(y,x))),f(y,x)),x))) = f(y,x) # label(false). [para(2107(a,1),2247(a,1,2,1))]. given #237 (F,wt=29): 3191 f(f(x,f(y,z)),f(f(y,z),f(f(f(f(f(f(y,z),x),z),z),f(y,z)),z))) = f(y,z) # label(false). [para(2586(a,1),8(a,1,2,1))]. given #238 (F,wt=29): 3345 f(f(x,f(y,z)),f(f(y,z),f(f(f(f(f(f(y,z),x),y),y),f(y,z)),y))) = f(y,z) # label(false). [para(2594(a,1),93(a,1,2,1))]. given #239 (F,wt=29): 3554 f(f(x,f(y,z)),f(f(y,z),f(f(f(f(f(x,f(y,z)),z),z),f(y,z)),z))) = f(y,z) # label(false). [para(94(a,1),3191(a,1,2,2,1,1,1,1)),demod(2586(7))]. given #240 (T,wt=21): 2490 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,x))),f(x,x)) = x. [back_demod(925),demod(2145(2),2145(4))]. given #241 (A,wt=51): 119 f(f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z))),f(y,x)),f(f(f(f(y,x),f(y,x)),u),f(f(f(f(x,u),u),f(y,x)),x))) = f(y,x). [para(92(a,1),8(a,1,2,2,1,1,1,1))]. given #242 (F,wt=25): 3638 f(f(x,y),f(y,f(f(f(f(f(x,y),f(y,z)),f(y,z)),y),f(y,z)))) = y # label(false). [para(2106(a,1),3554(a,1,1,2)),demod(2106(4),2106(4),2106(9),2106(14))]. given #243 (F,wt=25): 3639 f(f(x,y),f(y,f(f(f(f(f(x,y),f(z,y)),f(z,y)),y),f(z,y)))) = y # label(false). [para(2107(a,1),3554(a,1,1,2)),demod(2107(4),2107(4),2107(9),2107(14))]. given #244 (F,wt=25): 3671 f(f(x,y),f(x,f(f(f(f(f(x,y),f(x,z)),f(x,z)),x),f(x,z)))) = x # label(false). [para(2594(a,1),3638(a,1,1)),demod(2594(5))]. given #245 (F,wt=25): 3697 f(f(x,y),f(x,f(f(f(f(f(x,y),f(z,x)),f(z,x)),x),f(z,x)))) = x # label(false). [para(2594(a,1),3639(a,1,1)),demod(2594(5))]. given #246 (T,wt=21): 2523 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,y))),f(x,x)) = x. [back_demod(835),demod(2145(2),2145(4))]. given #247 (A,wt=53): 133 f(f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z))),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(f(y,x),u)))) = f(y,x). [para(92(a,1),92(a,1,2,1,2,1)),demod(92(27),92(29))]. given #248 (F,wt=29): 3556 f(f(f(x,y),z),f(f(x,y),f(f(f(f(f(f(x,y),z),y),y),f(x,y)),y))) = f(x,y) # label(false). [para(105(a,1),3191(a,1,2,2,1,1,1,1)),demod(2594(7))]. given #249 (F,wt=29): 3595 f(f(x,f(y,z)),f(f(y,z),f(f(f(f(f(x,f(y,z)),y),y),f(y,z)),y))) = f(y,z) # label(false). [para(94(a,1),3345(a,1,2,2,1,1,1,1)),demod(2586(7))]. given #250 (F,wt=29): 3597 f(f(f(x,y),z),f(f(x,y),f(f(f(f(f(f(x,y),z),x),x),f(x,y)),x))) = f(x,y) # label(false). [para(105(a,1),3345(a,1,2,2,1,1,1,1)),demod(2594(7))]. given #251 (F,wt=31): 2166 f(x,f(f(f(f(y,x),f(y,x)),f(x,f(x,x))),f(f(x,f(y,x)),f(z,f(y,x))))) = f(y,x) # label(false). [back_demod(2095),demod(2107(3),2145(5),2145(9),2106(10))]. given #252 (T,wt=21): 2618 f(x,f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),y))) = f(x,y). [para(2106(a,1),46(a,1,1)),demod(2106(6),2594(4),2106(5),2145(3))]. given #253 (A,wt=53): 134 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),f(f(f(f(y,z),f(y,z)),f(z,z)),f(f(z,f(y,z)),z))))) = f(y,z). [para(103(a,1),8(a,1,1,2)),demod(103(15),103(16),103(19),103(23),103(37))]. given #254 (F,wt=31): 2181 f(f(x,y),f(f(f(y,y),f(f(y,x),f(f(y,x),f(y,x)))),f(f(f(y,x),y),f(z,y)))) = y # label(false). [back_demod(1887),demod(2145(7),2145(16),2106(17))]. given #255 (F,wt=31): 2183 f(x,f(f(f(f(y,x),f(y,x)),f(x,f(x,x))),f(f(x,f(y,x)),f(f(y,x),z)))) = f(y,x) # label(false). [back_demod(1878),demod(2107(3),2145(5),2145(9),2106(10))]. given #256 (F,wt=31): 2188 f(f(x,y),f(f(f(y,y),f(f(y,x),f(f(y,x),f(y,x)))),f(f(f(y,x),y),f(y,z)))) = y # label(false). [back_demod(1870),demod(2145(7),2145(16),2106(17))]. given #257 (F,wt=31): 2266 f(x,f(f(f(f(x,y),f(x,y)),f(x,f(x,x))),f(f(x,f(x,y)),f(f(x,y),z)))) = f(x,y) # label(false). [back_demod(2121),demod(2145(5))]. given #258 (T,wt=21): 2647 f(x,f(f(y,x),f(f(f(x,f(x,x)),f(y,x)),x))) = f(y,x). [back_demod(2154),demod(2586(4))]. given #259 (A,wt=57): 135 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),f(f(f(f(y,z),f(y,z)),f(z,z)),f(f(z,f(y,z)),f(f(y,z),v)))))) = f(y,z). [para(122(a,1),8(a,1,1,2)),demod(122(17),122(18),122(21),122(25),122(41))]. given #260 (F,wt=31): 2354 f(f(x,f(y,y)),f(f(f(f(f(y,y),x),f(y,f(y,y))),f(y,f(y,y))),f(y,y))) = f(y,y) # label(false). [back_demod(1814),demod(2145(6),2145(9))]. given #261 (F,wt=31): 2629 f(f(x,f(y,y)),f(f(f(f(x,f(y,y)),f(y,f(y,y))),f(y,f(y,y))),f(y,y))) = f(y,y) # label(false). [para(2106(a,1),1826(a,1,2,1,1,2,2)),demod(2586(7),2145(6),2106(11),2145(9))]. given #262 (F,wt=31): 2630 f(f(f(x,x),y),f(f(f(f(f(x,x),y),f(x,f(x,x))),f(x,f(x,x))),f(x,x))) = f(x,x) # label(false). [para(2106(a,1),1830(a,1,2,1,1,2,2)),demod(2594(7),2145(6),2106(11),2145(9))]. given #263 (F,wt=31): 3788 f(f(x,y),f(f(f(x,x),f(f(x,y),f(f(x,y),f(x,y)))),f(f(f(x,y),x),f(z,x)))) = x # label(false). [para(2106(a,1),2166(a,1,2,1,1,1)),demod(2106(4),2106(12),2106(13),2106(17))]. given #264 (T,wt=21): 2929 f(x,f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),x))) = f(x,y). [para(2145(a,1),2120(a,1,2,2,1,1)),demod(2594(4))]. given #265 (A,wt=57): 141 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),f(f(f(f(y,z),f(y,z)),f(y,y)),f(f(y,f(y,z)),f(f(y,z),v)))))) = f(y,z). [para(131(a,1),8(a,1,1,2)),demod(131(17),131(18),131(21),131(25),131(41))]. given #266 (F,wt=31): 3789 f(f(x,y),f(f(f(y,y),f(f(x,y),f(f(x,y),f(x,y)))),f(f(f(x,y),y),f(z,y)))) = y # label(false). [para(2107(a,1),2166(a,1,2,1,1,1)),demod(2107(4),2107(12),2107(13),2107(17))]. given #267 (F,wt=31): 3795 f(x,f(f(f(f(x,y),f(x,y)),f(x,f(x,x))),f(f(x,f(x,y)),f(z,f(x,y))))) = f(x,y) # label(false). [para(2594(a,1),2166(a,1,2,1,1,1)),demod(2594(5),2594(10),2594(12),2594(17))]. given #268 (F,wt=31): 3941 f(f(x,y),f(f(f(x,x),f(f(x,y),f(f(x,y),f(x,y)))),f(f(f(x,y),x),f(x,z)))) = x # label(false). [para(2106(a,1),2183(a,1,2,1,1,1)),demod(2106(4),2106(12),2106(13),2106(17))]. given #269 (F,wt=31): 3942 f(f(x,y),f(f(f(y,y),f(f(x,y),f(f(x,y),f(x,y)))),f(f(f(x,y),y),f(y,z)))) = y # label(false). [para(2107(a,1),2183(a,1,2,1,1,1)),demod(2107(4),2107(12),2107(13),2107(17))]. given #270 (T,wt=21): 3245 f(x,f(f(x,y),f(f(f(f(x,y),y),f(x,y)),x))) = f(x,y). [para(2586(a,1),2120(a,1,2,1))]. given #271 (A,wt=45): 150 f(f(x,y),f(f(z,f(y,y)),f(f(f(f(f(y,x),f(f(z,f(y,y)),f(z,f(y,y)))),f(f(z,f(y,y)),f(z,f(y,y)))),y),f(y,u)))) = y. [para(94(a,1),3(a,1,2,1))]. given #272 (F,wt=33): 2745 f(f(x,y),f(y,f(f(f(y,f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y)),y),f(y,z)))) = y # label(false). [para(2696(a,1),3(a,1,2,2,1,1,1)),demod(2107(11))]. given #273 (F,wt=27): 4314 f(f(x,y),f(f(y,f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y)),y)) = y # label(false). [para(2788(a,1),2745(a,1,2,2)),demod(94(23))]. given #274 (F,wt=27): 4340 f(f(x,y),f(f(y,f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)),y)) = y # label(false). [para(94(a,1),4314(a,1,2,1,2,1,1,1)),demod(2586(4))]. given #275 (F,wt=27): 4342 f(f(x,y),f(f(x,f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)),x)) = x # label(false). [para(105(a,1),4314(a,1,2,1,2,1,1,1)),demod(2594(4))]. given #276 (T,wt=21): 3346 f(x,f(f(y,x),f(f(f(f(x,y),y),f(y,x)),x))) = f(y,x). [para(2594(a,1),2247(a,1,2,1))]. given #277 (A,wt=45): 152 f(f(x,y),f(f(f(y,y),f(f(z,f(y,x)),f(z,f(y,x)))),f(f(f(f(z,f(y,x)),f(f(z,f(y,x)),f(z,f(y,x)))),y),f(y,u)))) = y. [para(94(a,1),3(a,1,2,2,1,1,1))]. given #278 (F,wt=33): 2757 f(f(x,y),f(y,f(f(f(y,f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y)),y),f(z,y)))) = y # label(false). [para(2696(a,1),153(a,1,2,2,1,1,1)),demod(2107(11))]. given #279 (F,wt=33): 2838 f(f(x,f(y,y)),f(f(y,z),f(f(f(f(f(x,f(y,y)),z),z),f(y,y)),f(x,f(y,y))))) = f(y,y) # label(false). [para(47(a,1),2120(a,1,2,1,1,1)),demod(47(6),2106(5),47(10),47(17))]. given #280 (F,wt=33): 2928 f(x,f(f(f(x,y),f(f(x,y),f(x,y))),f(f(f(f(x,f(x,y)),f(x,y)),f(x,y)),x))) = f(x,y) # label(false). [para(2145(a,1),2120(a,1,2,1))]. given #281 (F,wt=33): 2930 f(x,f(f(f(y,x),f(f(y,x),f(y,x))),f(f(f(f(x,f(y,x)),f(y,x)),f(y,x)),x))) = f(y,x) # label(false). [para(2145(a,1),2247(a,1,2,1))]. given #282 (T,wt=21): 3552 f(x,f(f(x,y),f(f(f(f(x,y),y),f(x,y)),y))) = f(x,y). [para(87(a,1),3191(a,1,2,2,1,1,1,1)),demod(2106(3))]. given #283 (A,wt=37): 156 f(f(f(f(f(x,y),f(x,y)),z),f(f(f(f(f(f(x,y),u),z),z),f(x,y)),y)),f(f(x,y),f(x,y))) = f(x,y). [para(8(a,1),94(a,1,2,1)),demod(8(28),8(31))]. given #284 (F,wt=33): 3392 f(f(x,f(y,z)),f(f(y,z),f(f(f(f(f(x,f(y,z)),z),z),f(y,z)),f(x,f(y,z))))) = f(y,z) # label(false). [para(3(a,1),3371(a,1,2,2,1,1,1,2)),demod(3(17))]. given #285 (F,wt=33): 3395 f(f(x,f(y,z)),f(f(y,z),f(f(f(f(f(x,f(y,z)),y),y),f(y,z)),f(x,f(y,z))))) = f(y,z) # label(false). [para(87(a,1),3371(a,1,2,2,1,1,1,2)),demod(87(9))]. given #286 (F,wt=33): 3415 f(f(f(x,y),z),f(f(x,y),f(f(f(f(f(f(x,y),z),y),y),f(x,y)),f(f(x,y),z)))) = f(x,y) # label(false). [para(3(a,1),3374(a,1,2,2,1,1,1,2)),demod(3(17))]. given #287 (F,wt=33): 3420 f(f(f(x,y),z),f(f(x,y),f(f(f(f(f(f(x,y),z),x),x),f(x,y)),f(f(x,y),z)))) = f(x,y) # label(false). [para(87(a,1),3374(a,1,2,2,1,1,1,2)),demod(87(9))]. given #288 (T,wt=21): 3593 f(x,f(f(y,x),f(f(f(f(x,y),y),f(y,x)),y))) = f(y,x). [para(21(a,1),3345(a,1,2,2,1,1,1,1)),demod(2107(3))]. given #289 (A,wt=41): 158 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(f(f(y,y),u),f(f(f(f(f(v,y),u),u),y),f(y,w)))))) = y. [para(94(a,1),9(a,1,2,2,2,2,1,1,1,1))]. given #290 (F,wt=33): 3661 f(x,f(f(x,y),f(f(f(f(x,f(f(x,y),z)),f(f(x,y),z)),f(x,y)),f(f(x,y),z)))) = f(x,y) # label(false). [para(2106(a,1),3638(a,1,1)),demod(2106(4))]. given #291 (F,wt=33): 3663 f(x,f(f(y,x),f(f(f(f(x,f(f(y,x),z)),f(f(y,x),z)),f(y,x)),f(f(y,x),z)))) = f(y,x) # label(false). [para(2107(a,1),3638(a,1,1)),demod(2107(4))]. given #292 (F,wt=33): 3690 f(x,f(f(x,y),f(f(f(f(x,f(z,f(x,y))),f(z,f(x,y))),f(x,y)),f(z,f(x,y))))) = f(x,y) # label(false). [para(2106(a,1),3639(a,1,1)),demod(2106(4))]. given #293 (F,wt=33): 3693 f(x,f(f(y,x),f(f(f(f(x,f(z,f(y,x))),f(z,f(y,x))),f(y,x)),f(z,f(y,x))))) = f(y,x) # label(false). [para(2107(a,1),3639(a,1,1)),demod(2107(4))]. given #294 (T,wt=23): 2437 f(f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(z,x))),f(x,x)) = x. [back_demod(1294),demod(2145(4))]. given #295 (A,wt=41): 159 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(f(f(y,y),u),f(f(f(f(f(y,v),u),u),y),f(w,y)))))) = y. [para(94(a,1),9(a,1,2,2,2,2,2))]. given #296 (F,wt=33): 4303 f(f(x,y),f(y,f(f(f(y,f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)),y),f(y,z)))) = y # label(false). [para(94(a,1),2745(a,1,2,2,1,1,2,1,1,1)),demod(2586(4))]. given #297 (F,wt=33): 4305 f(f(x,y),f(x,f(f(f(x,f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)),x),f(x,z)))) = x # label(false). [para(105(a,1),2745(a,1,2,2,1,1,2,1,1,1)),demod(2594(4))]. given #298 (F,wt=33): 4464 f(f(x,y),f(y,f(f(f(y,f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)),y),f(z,y)))) = y # label(false). [para(94(a,1),2757(a,1,2,2,1,1,2,1,1,1)),demod(2586(4))]. given #299 (F,wt=33): 4466 f(f(x,y),f(x,f(f(f(x,f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)),x),f(z,x)))) = x # label(false). [para(105(a,1),2757(a,1,2,2,1,1,2,1,1,1)),demod(2594(4))]. given #300 (T,wt=23): 2456 f(f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(x,z))),f(x,x)) = x. [back_demod(1269),demod(2145(4))]. given #301 (A,wt=41): 160 f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(f(f(x,x),u),f(f(f(f(f(x,v),u),u),x),f(x,w))))),f(x,x)) = x. [para(9(a,1),94(a,1,2,1)),demod(9(36),9(38))]. given #302 (F,wt=35): 2126 f(x,f(f(f(x,f(f(x,y),f(f(x,y),f(x,y)))),f(f(x,y),f(f(x,y),f(x,y)))),f(x,y))) = f(x,y) # label(false). [back_demod(1822),demod(2106(3))]. given #303 (F,wt=35): 2190 f(x,f(f(f(x,f(f(y,x),f(f(y,x),f(y,x)))),f(f(y,x),f(f(y,x),f(y,x)))),f(y,x))) = f(y,x) # label(false). [back_demod(1813),demod(2107(3))]. given #304 (F,wt=35): 3060 f(x,f(f(f(f(x,y),f(x,y)),f(f(x,x),z)),f(f(f(f(x,x),f(f(x,x),z)),f(x,y)),x))) = f(x,y) # label(false). [para(2590(a,1),2120(a,1,2,2,1,1,1))]. given #305 (F,wt=35): 3061 f(x,f(f(f(f(y,x),f(y,x)),f(f(x,x),z)),f(f(f(f(x,x),f(f(x,x),z)),f(y,x)),x))) = f(y,x) # label(false). [para(2590(a,1),2247(a,1,2,2,1,1,1))]. given #306 (T,wt=23): 3038 f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,x)))) = f(x,f(x,x)). [para(2942(a,1),40(a,1,2,2)),demod(234(9),2623(20),47(12),94(7)),flip(a)]. given #307 (A,wt=57): 161 f(f(x,y),f(y,f(f(f(f(f(y,x),f(f(f(y,y),z),f(f(f(f(f(y,y),z),z),y),f(u,y)))),f(f(f(y,y),z),f(f(f(f(f(y,y),z),z),y),f(u,y)))),y),f(y,v)))) = y. [para(94(a,1),5(a,1,2,2,1,1,1,2,2,2)),demod(94(22))]. given #308 (F,wt=35): 3146 f(x,f(f(f(f(x,y),f(x,y)),f(z,f(x,x))),f(f(f(f(x,x),f(z,f(x,x))),f(x,y)),x))) = f(x,y) # label(false). [para(2788(a,1),2120(a,1,2,2,1,1,1))]. given #309 (F,wt=35): 3148 f(x,f(f(f(f(y,x),f(y,x)),f(z,f(x,x))),f(f(f(f(x,x),f(z,f(x,x))),f(y,x)),x))) = f(y,x) # label(false). [para(2788(a,1),2247(a,1,2,2,1,1,1))]. given #310 (F,wt=35): 3672 f(f(x,y),f(y,f(f(f(y,f(y,f(f(f(f(f(x,y),f(y,z)),f(y,z)),y),f(y,z)))),y),f(x,y)))) = y # label(false). [para(3638(a,1),3371(a,1,2,2,1,1,1))]. given #311 (F,wt=35): 3698 f(f(x,y),f(y,f(f(f(y,f(y,f(f(f(f(f(x,y),f(z,y)),f(z,y)),y),f(z,y)))),y),f(x,y)))) = y # label(false). [para(3639(a,1),3371(a,1,2,2,1,1,1))]. given #312 (T,wt=23): 4864 f(f(x,x),f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(z,x)))) = x. [para(2437(a,1),2594(a,1,1,1)),demod(2437(10),2437(20))]. given #313 (A,wt=57): 162 f(f(x,y),f(y,f(f(f(f(f(y,x),f(f(f(y,y),z),f(f(f(f(f(y,y),z),z),y),f(y,u)))),f(f(f(y,y),z),f(f(f(f(f(y,y),z),z),y),f(y,u)))),y),f(v,y)))) = y. [para(94(a,1),5(a,1,2,2,2))]. given #314 (F,wt=35): 3725 f(f(x,y),f(x,f(f(f(x,f(x,f(f(f(f(f(x,y),f(x,z)),f(x,z)),x),f(x,z)))),x),f(x,y)))) = x # label(false). [para(3671(a,1),3374(a,1,2,2,1,1,1))]. given #315 (F,wt=35): 3753 f(f(x,y),f(x,f(f(f(x,f(x,f(f(f(f(f(x,y),f(z,x)),f(z,x)),x),f(z,x)))),x),f(x,y)))) = x # label(false). [para(3697(a,1),3374(a,1,2,2,1,1,1))]. given #316 (F,wt=35): 4261 f(f(x,y),f(y,f(f(f(y,f(f(y,f(y,y)),f(f(f(f(f(x,y),y),y),y),f(y,z)))),y),f(x,y)))) = y # label(false). [para(2940(a,1),3245(a,1,2,1)),demod(2940(12),2940(22),2940(27))]. given #317 (F,wt=35): 4262 f(f(x,y),f(x,f(f(f(x,f(f(x,f(x,x)),f(f(f(f(f(x,y),x),x),x),f(x,z)))),x),f(x,y)))) = x # label(false). [para(2942(a,1),3245(a,1,2,1)),demod(2942(12),2942(22),2942(27))]. given #318 (T,wt=23): 4984 f(f(x,x),f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(x,z)))) = x. [para(2456(a,1),2594(a,1,1,1)),demod(2456(10),2456(20))]. given #319 (A,wt=33): 164 f(f(f(f(f(x,y),f(x,y)),z),f(f(f(f(y,z),z),f(x,y)),y)),f(f(x,y),f(x,y))) = f(x,y). [para(45(a,1),94(a,1,2,1)),demod(45(25),45(28))]. given #320 (F,wt=35): 4265 f(f(x,y),f(y,f(f(f(y,f(f(y,f(y,y)),f(f(f(f(f(x,y),y),y),y),f(z,y)))),y),f(x,y)))) = y # label(false). [para(2975(a,1),3245(a,1,2,1)),demod(2975(12),2975(22),2975(27))]. given #321 (F,wt=35): 4266 f(f(x,y),f(x,f(f(f(x,f(f(x,f(x,x)),f(f(f(f(f(x,y),x),x),x),f(z,x)))),x),f(x,y)))) = x # label(false). [para(2977(a,1),3245(a,1,2,1)),demod(2977(12),2977(22),2977(27))]. given #322 (F,wt=37): 2572 f(f(x,x),f(f(f(f(f(x,x),y),f(f(x,x),y)),x),f(f(f(x,x),f(f(x,x),y)),f(x,x)))) = f(f(x,x),y) # label(false). [para(21(a,1),2159(a,1,2,1,2))]. given #323 (F,wt=37): 2763 f(f(x,x),f(f(f(f(y,f(x,x)),f(y,f(x,x))),x),f(f(f(x,x),f(y,f(x,x))),f(x,x)))) = f(y,f(x,x)) # label(false). [para(21(a,1),2244(a,1,2,1,2))]. given #324 (T,wt=25): 1306 f(f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(z,x))),f(x,x)) = x. [para(21(a,1),1294(a,1,1,2,1,1,1))]. given #325 (A,wt=53): 165 f(f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(u,x))),f(z,x)),f(f(f(f(z,x),f(z,x)),v),f(f(f(f(x,v),v),f(z,x)),f(f(z,x),w)))) = f(z,x). [para(94(a,1),6(a,1,1,1,2,2))]. given #326 (F,wt=37): 2936 f(x,f(f(f(y,x),f(f(y,x),f(y,x))),f(f(f(f(x,f(y,x)),f(y,x)),f(y,x)),f(f(y,x),z)))) = f(y,x) # label(false). [para(21(a,1),2894(a,1,2,2,1,1,1,1)),demod(2107(3))]. given #327 (F,wt=37): 2938 f(x,f(f(f(x,y),f(f(x,y),f(x,y))),f(f(f(f(x,f(x,y)),f(x,y)),f(x,y)),f(f(x,y),z)))) = f(x,y) # label(false). [para(87(a,1),2894(a,1,2,2,1,1,1,1)),demod(2106(3))]. given #328 (F,wt=37): 2970 f(x,f(f(f(y,x),f(f(y,x),f(y,x))),f(f(f(f(x,f(y,x)),f(y,x)),f(y,x)),f(z,f(y,x))))) = f(y,x) # label(false). [para(21(a,1),2920(a,1,2,2,1,1,1,1)),demod(2107(3))]. given #329 (F,wt=37): 2972 f(x,f(f(f(x,y),f(f(x,y),f(x,y))),f(f(f(f(x,f(x,y)),f(x,y)),f(x,y)),f(z,f(x,y))))) = f(x,y) # label(false). [para(87(a,1),2920(a,1,2,2,1,1,1,1)),demod(2106(3))]. given #330 (T,wt=25): 1324 f(f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(f(x,x),z))),x) = f(x,x). [para(114(a,1),94(a,1,2,1)),demod(114(20),87(12),114(20))]. given #331 (A,wt=53): 166 f(f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u))),f(z,x)),f(f(f(f(z,x),f(z,x)),v),f(f(f(f(x,v),v),f(z,x)),f(w,f(z,x))))) = f(z,x). [para(94(a,1),6(a,1,2,2,2))]. given #332 (F,wt=37): 3817 f(f(f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),y)),x),f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)) = x # label(false). [para(2618(a,1),1772(a,1,2,1,1,1))]. given #333 (F,wt=37): 4044 f(f(f(f(x,y),f(f(f(y,f(y,y)),f(x,y)),y)),y),f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)) = y # label(false). [para(2647(a,1),1772(a,1,2,1,1,1))]. given #334 (F,wt=37): 4120 f(f(f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),x)),x),f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)) = x # label(false). [para(2929(a,1),1772(a,1,2,1,1,1))]. given #335 (F,wt=37): 4227 f(f(x,y),f(y,f(f(f(y,f(f(f(y,y),f(f(y,x),f(y,x))),f(f(f(y,x),y),f(y,z)))),y),f(x,y)))) = y # label(false). [para(92(a,1),3245(a,1,2,1)),demod(92(13),92(24),92(29))]. given #336 (T,wt=25): 1325 f(x,f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(z,f(x,x))))) = f(x,x). [para(94(a,1),114(a,1,2,2,2))]. given #337 (A,wt=37): 167 f(f(f(f(f(x,y),f(x,y)),z),f(f(f(f(y,z),z),f(x,y)),f(f(x,y),u))),f(f(x,y),f(x,y))) = f(x,y). [para(6(a,1),94(a,1,2,1)),demod(6(37),6(40))]. given #338 (F,wt=37): 4229 f(f(x,y),f(y,f(f(f(y,f(f(f(y,y),f(f(y,x),f(y,x))),f(f(f(y,x),y),f(z,y)))),y),f(x,y)))) = y # label(false). [para(168(a,1),3245(a,1,2,1)),demod(168(13),168(24),168(29))]. given #339 (F,wt=37): 4245 f(f(f(f(x,y),f(f(f(f(x,y),y),f(x,y)),x)),x),f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)) = x # label(false). [para(3245(a,1),1772(a,1,2,1,1,1))]. given #340 (F,wt=37): 4258 f(f(x,y),f(y,f(f(f(y,f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(y,z)))),y),f(x,y)))) = y # label(false). [para(2609(a,1),3245(a,1,2,1)),demod(2609(13),2609(24),2609(29))]. given #341 (F,wt=37): 4267 f(f(x,y),f(x,f(f(f(x,f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z)))),x),f(x,y)))) = x # label(false). [para(2610(a,1),3245(a,1,2,1)),demod(2610(13),2610(24),2610(29))]. given #342 (T,wt=25): 1346 f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(u,x))),f(x,x)) = x. [para(153(a,1),94(a,1,2,1)),demod(153(20),153(22))]. given #343 (A,wt=27): 169 f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z))),f(x,x)) = x. [para(92(a,1),94(a,1,2,1)),demod(92(22),92(24))]. given #344 (F,wt=37): 4268 f(f(x,y),f(y,f(f(f(y,f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(z,y)))),y),f(x,y)))) = y # label(false). [para(2611(a,1),3245(a,1,2,1)),demod(2611(13),2611(24),2611(29))]. given #345 (F,wt=37): 4269 f(f(x,y),f(x,f(f(f(x,f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x)))),x),f(x,y)))) = x # label(false). [para(2612(a,1),3245(a,1,2,1)),demod(2612(13),2612(24),2612(29))]. given #346 (F,wt=37): 4388 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)),y)),y),f(x,y)))) = y # label(false). [para(4340(a,1),3397(a,1,2,2,1,1,1))]. given #347 (F,wt=37): 4395 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y)),y)),y),f(y,z)))) = y # label(false). [para(4342(a,1),3(a,1,2,2,1,1,1)),demod(2107(13))]. given #348 (T,wt=25): 1450 f(f(f(f(x,x),y),f(f(f(f(f(z,x),y),y),x),f(x,u))),f(x,x)) = x. [para(94(a,1),154(a,1,1,2,1,1,1,1))]. given #349 (A,wt=31): 170 f(f(f(f(f(x,y),f(x,y)),f(y,y)),f(f(y,f(x,y)),y)),f(f(x,y),f(x,y))) = f(x,y). [para(103(a,1),94(a,1,2,1)),demod(103(23),103(26))]. given #350 (F,wt=31): 5790 f(f(x,y),f(f(y,f(f(y,f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y)),y)),y)) = y # label(false). [para(2788(a,1),4395(a,1,2,2)),demod(94(27))]. given #351 (F,wt=31): 5842 f(f(x,y),f(f(y,f(f(y,f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)),y)),y)) = y # label(false). [para(94(a,1),5790(a,1,2,1,2,1,2,1,1,1)),demod(2586(4))]. given #352 (F,wt=31): 5844 f(f(x,y),f(f(x,f(f(x,f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)),x)),x)) = x # label(false). [para(105(a,1),5790(a,1,2,1,2,1,2,1,1,1)),demod(2594(4))]. given #353 (F,wt=37): 4407 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y)),y)),y),f(z,y)))) = y # label(false). [para(4342(a,1),153(a,1,2,2,1,1,1)),demod(2107(13))]. given #354 (T,wt=25): 2129 f(f(x,x),f(f(x,f(x,x)),f(x,f(f(x,f(x,x)),y)))) = f(x,f(x,x)). [back_demod(1649),demod(2106(3),2115(3))]. given #355 (A,wt=35): 172 f(f(f(f(f(x,y),f(x,y)),f(y,y)),f(f(y,f(x,y)),f(f(x,y),z))),f(f(x,y),f(x,y))) = f(x,y). [para(122(a,1),94(a,1,2,1)),demod(122(27),122(30))]. given #356 (F,wt=37): 4426 f(f(f(f(x,y),f(f(f(f(y,x),x),f(x,y)),y)),y),f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)) = y # label(false). [para(3346(a,1),1772(a,1,2,1,1,1))]. given #357 (F,wt=37): 4571 f(f(f(f(x,y),f(f(f(f(x,y),y),f(x,y)),y)),x),f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)) = x # label(false). [para(3552(a,1),1772(a,1,2,1,1,1))]. given #358 (F,wt=37): 4698 f(f(f(f(x,y),f(f(f(f(y,x),x),f(x,y)),x)),y),f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)) = y # label(false). [para(3593(a,1),1772(a,1,2,1,1,1))]. given #359 (F,wt=37): 5779 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)),y)),y),f(y,z)))) = y # label(false). [para(94(a,1),4395(a,1,2,2,1,1,2,1,2,1,1,1)),demod(2586(4))]. given #360 (T,wt=25): 2130 f(f(x,x),f(f(x,f(x,x)),f(x,f(y,f(x,f(x,x)))))) = f(x,f(x,x)). [back_demod(1648),demod(2106(3),2115(3))]. given #361 (A,wt=35): 174 f(f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),f(f(x,y),z))),f(f(x,y),f(x,y))) = f(x,y). [para(131(a,1),94(a,1,2,1)),demod(131(27),131(30))]. given #362 (F,wt=37): 5780 f(f(x,y),f(x,f(f(f(x,f(f(x,f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)),x)),x),f(x,z)))) = x # label(false). [para(105(a,1),4395(a,1,2,2,1,1,2,1,2,1,1,1)),demod(2594(4))]. given #363 (F,wt=37): 5935 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)),y)),y),f(z,y)))) = y # label(false). [para(94(a,1),4407(a,1,2,2,1,1,2,1,2,1,1,1)),demod(2586(4))]. given #364 (F,wt=37): 5936 f(f(x,y),f(x,f(f(f(x,f(f(x,f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)),x)),x),f(z,x)))) = x # label(false). [para(105(a,1),4407(a,1,2,2,1,1,2,1,2,1,1,1)),demod(2594(4))]. given #365 (F,wt=39): 2513 f(f(x,y),f(f(f(y,y),f(f(y,x),f(y,x))),f(f(f(y,x),y),f(f(y,f(y,y)),f(f(y,f(y,y)),f(z,y)))))) = y # label(false). [back_demod(879),demod(2145(10),2145(12))]. given #366 (T,wt=25): 2155 f(f(x,y),f(y,f(f(f(f(y,x),f(f(y,x),f(y,x))),y),f(y,z)))) = y. [back_demod(453),demod(2106(8),2106(4),2106(10),2145(6))]. given #367 (A,wt=57): 176 f(f(x,y),f(f(f(y,y),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,z)))),f(f(f(x,f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,z)))),y),f(y,u)))) = y. [para(21(a,1),7(a,1,2,1,2,2,1,1,1)),demod(21(18))]. given #368 (F,wt=39): 2522 f(f(x,y),f(f(f(y,y),f(f(y,x),f(y,x))),f(f(f(y,x),y),f(f(y,f(y,y)),f(f(y,f(y,y)),f(y,z)))))) = y # label(false). [back_demod(837),demod(2145(10),2145(12))]. given #369 (F,wt=39): 2600 f(f(x,f(y,y)),f(f(y,f(f(x,f(y,y)),f(x,f(y,y)))),f(f(f(x,f(y,y)),f(y,y)),f(f(y,y),z)))) = f(y,y) # label(false). [para(2106(a,1),139(a,1,2,1,1)),demod(2586(7))]. given #370 (F,wt=39): 2601 f(f(f(x,x),y),f(f(x,f(f(f(x,x),y),f(f(x,x),y))),f(f(f(f(x,x),y),f(x,x)),f(f(x,x),z)))) = f(x,x) # label(false). [para(2106(a,1),146(a,1,2,1,1)),demod(2594(7))]. given #371 (F,wt=39): 2604 f(f(x,f(y,y)),f(f(y,f(f(x,f(y,y)),f(x,f(y,y)))),f(f(f(x,f(y,y)),f(y,y)),f(z,f(y,y))))) = f(y,y) # label(false). [para(2106(a,1),203(a,1,2,1,1)),demod(2586(7))]. given #372 (T,wt=19): 6100 f(f(x,y),f(f(f(y,x),f(f(y,x),f(y,x))),y)) = y. [para(2788(a,1),2155(a,1,2,2)),demod(94(15))]. given #373 (A,wt=57): 182 f(f(f(f(x,x),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))),f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))),x),f(x,v))),f(x,x)) = x. [para(7(a,1),94(a,1,2,1)),demod(7(52),7(54))]. given #374 (F,wt=39): 2606 f(f(f(x,x),y),f(f(x,f(f(f(x,x),y),f(f(x,x),y))),f(f(f(f(x,x),y),f(x,x)),f(z,f(x,x))))) = f(x,x) # label(false). [para(2106(a,1),219(a,1,2,1,1)),demod(2594(7))]. given #375 (F,wt=39): 2641 f(f(x,y),f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(f(y,f(y,y)),f(f(y,f(y,y)),f(y,z)))))) = y # label(false). [back_demod(2520),demod(2586(4))]. given #376 (F,wt=39): 2642 f(f(x,y),f(f(f(y,y),f(f(x,y),f(x,y))),f(f(f(x,y),y),f(f(y,f(y,y)),f(f(y,f(y,y)),f(z,y)))))) = y # label(false). [back_demod(2503),demod(2586(4))]. given #377 (F,wt=39): 2689 f(f(x,y),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,z)))))) = x # label(false). [back_demod(2519),demod(2594(4))]. given #378 (T,wt=15): 6247 f(x,f(f(x,f(x,x)),f(y,x))) = f(y,x). [para(21(a,1),6100(a,1,2,1,1)),demod(2107(3),21(3),21(3))]. given #379 (A,wt=57): 183 f(f(x,y),f(f(f(y,y),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(u,x)))),f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(u,x)))),y),f(y,v)))) = y. [para(94(a,1),7(a,1,2,1,2,2,2)),demod(94(22))]. given #380 (F,wt=31): 6514 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(f(f(y,x),f(x,f(x,x))),f(x,f(x,x))),x)) = x # label(false). [para(6247(a,1),1772(a,1,2,1,1,1))]. given #381 (F,wt=31): 6585 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)) = x # label(false). [para(2594(a,1),6514(a,1,1,1,2)),demod(2594(9))]. given #382 (F,wt=33): 6519 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(x,f(x,x)),f(f(f(f(f(y,x),x),x),x),f(x,z)))) = x # label(false). [para(6247(a,1),2894(a,1,2,2,1,1,1,1))]. given #383 (F,wt=33): 6520 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(x,f(x,x)),f(f(f(f(f(y,x),x),x),x),f(z,x)))) = x # label(false). [para(6247(a,1),2920(a,1,2,2,1,1,1,1))]. given #384 (T,wt=15): 6250 f(x,f(f(x,f(x,x)),f(x,y))) = f(x,y). [para(87(a,1),6100(a,1,2,1,1)),demod(2106(3),87(3),87(3))]. given #385 (A,wt=57): 184 f(f(x,y),f(f(f(y,y),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,u)))),f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,u)))),y),f(v,y)))) = y. [para(94(a,1),7(a,1,2,2,2))]. given #386 (F,wt=17): 6681 f(x,f(f(y,x),f(f(x,f(y,x)),x))) = f(y,x) # label(false). [back_demod(4659),demod(6676(7),6676(8),6676(13))]. given #387 (F,wt=17): 6721 f(x,f(f(x,y),f(f(x,f(x,y)),x))) = f(x,y) # label(false). [back_demod(4658),demod(6677(7),6677(8),6677(13))]. given #388 (F,wt=17): 6758 f(f(x,y),f(x,f(f(f(x,y),x),f(x,y)))) = x # label(false). [para(2106(a,1),6681(a,1,2,1)),demod(2106(5),2106(10))]. given #389 (F,wt=17): 6761 f(f(x,y),f(y,f(f(f(x,y),y),f(x,y)))) = y # label(false). [para(2107(a,1),6681(a,1,2,1)),demod(2107(5),2107(10))]. given #390 (T,wt=19): 6253 f(f(x,y),f(f(f(x,y),f(f(x,y),f(x,y))),y)) = y. [para(94(a,1),6100(a,1,2,1,1)),demod(2586(4),94(6),94(7))]. given #391 (A,wt=55): 186 f(f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x))),f(y,x)),f(f(f(f(y,x),f(y,x)),u),f(f(f(f(x,u),u),f(y,x)),f(f(y,x),v)))) = f(y,x). [para(168(a,1),3(a,1,2,2,1,1,1,1))]. given #392 (F,wt=21): 6683 f(x,f(f(y,x),f(f(x,f(y,x)),f(x,f(x,x))))) = f(y,x) # label(false). [back_demod(3633),demod(6676(7),6676(8),6676(15))]. given #393 (F,wt=21): 6723 f(x,f(f(x,y),f(f(x,f(x,y)),f(x,f(x,x))))) = f(x,y) # label(false). [back_demod(3630),demod(6677(7),6677(8),6677(15))]. given #394 (F,wt=25): 7022 f(f(x,y),f(x,f(f(f(x,y),x),f(f(x,y),f(f(x,y),f(x,y)))))) = x # label(false). [para(2106(a,1),6683(a,1,2,1)),demod(2106(5),2106(14))]. given #395 (F,wt=25): 7023 f(f(x,y),f(y,f(f(f(x,y),y),f(f(x,y),f(f(x,y),f(x,y)))))) = y # label(false). [para(2107(a,1),6683(a,1,2,1)),demod(2107(5),2107(14))]. given #396 (T,wt=19): 6256 f(f(x,y),f(f(f(x,y),f(f(x,y),f(x,y))),x)) = x. [para(105(a,1),6100(a,1,2,1,1)),demod(2594(4),105(6),105(7))]. given #397 (A,wt=51): 187 f(f(f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u))),f(z,x)),f(f(f(f(z,x),f(z,x)),f(x,x)),f(f(x,f(z,x)),f(v,f(z,x))))) = f(z,x). [para(3(a,1),168(a,1,2,1,2,1)),demod(3(25),3(27))]. given #398 (F,wt=31): 7012 f(f(x,x),f(f(y,f(x,x)),f(f(f(x,x),f(y,f(x,x))),f(x,f(x,x))))) = f(y,f(x,x)) # label(false). [para(21(a,1),6683(a,1,2,2,2,2)),demod(2145(9))]. given #399 (F,wt=31): 7055 f(f(x,x),f(f(f(x,x),y),f(f(f(x,x),f(f(x,x),y)),f(x,f(x,x))))) = f(f(x,x),y) # label(false). [para(21(a,1),6723(a,1,2,2,2,2)),demod(2145(9))]. given #400 (F,wt=33): 6599 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(x,f(x,x)),f(f(f(f(f(x,y),x),x),x),f(x,z)))) = x # label(false). [para(2594(a,1),6519(a,1,1,1,2)),demod(2594(11))]. given #401 (F,wt=33): 6605 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(x,f(x,x)),f(f(f(f(f(x,y),x),x),x),f(z,x)))) = x # label(false). [para(2594(a,1),6520(a,1,1,1,2)),demod(2594(11))]. given #402 (T,wt=19): 6562 f(f(x,x),f(f(x,f(x,x)),f(y,x))) = f(x,f(x,x)). [para(6247(a,1),2129(a,1,2,2))]. given #403 (A,wt=43): 188 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(f(f(y,y),f(f(y,u),f(y,u))),f(f(f(y,u),y),f(v,y)))))) = y. [para(168(a,1),8(a,1,1,2)),demod(168(13),168(13),168(15),168(18),168(32))]. given #404 (F,wt=35): 6499 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(f(x,x),f(f(y,x),f(y,x))),f(f(f(y,x),x),f(x,z)))) = x # label(false). [para(6247(a,1),92(a,1,2,1,2,1)),demod(6247(12),6247(15))]. given #405 (F,wt=35): 6500 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(f(x,x),f(f(y,x),f(y,x))),f(f(f(y,x),x),f(z,x)))) = x # label(false). [para(6247(a,1),168(a,1,2,1,2,1)),demod(6247(12),6247(15))]. given #406 (F,wt=35): 6534 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(x,f(f(f(f(y,x),f(x,f(x,x))),f(x,f(x,x))),x)),x)) = x # label(false). [para(6247(a,1),4314(a,1,2,1,2,1,1,1))]. given #407 (F,wt=35): 6613 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z)))) = x # label(false). [para(6250(a,1),92(a,1,2,1,2,1)),demod(6250(12),6250(15))]. given #408 (T,wt=19): 6669 f(f(x,x),f(f(x,f(x,x)),f(x,y))) = f(x,f(x,x)). [para(6250(a,1),2129(a,1,2,2))]. given #409 (A,wt=51): 189 f(f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x))),f(y,x)),f(f(f(f(y,x),f(y,x)),u),f(f(f(f(x,u),u),f(y,x)),x))) = f(y,x). [para(168(a,1),8(a,1,2,2,1,1,1,1))]. given #410 (F,wt=35): 6614 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x)))) = x # label(false). [para(6250(a,1),168(a,1,2,1,2,1)),demod(6250(12),6250(15))]. given #411 (F,wt=35): 6642 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(x,f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)),x)) = x # label(false). [para(6250(a,1),4314(a,1,2,1,2,1,1,1))]. given #412 (F,wt=35): 7030 f(x,f(f(y,x),f(f(f(f(y,x),f(f(y,x),f(f(x,f(y,x)),f(x,f(x,x))))),f(y,x)),x))) = f(y,x) # label(false). [para(6683(a,1),2882(a,1,2,2,1,1,1))]. given #413 (F,wt=35): 7071 f(x,f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(f(x,f(x,y)),f(x,f(x,x))))),f(x,y)),x))) = f(x,y) # label(false). [para(6723(a,1),2860(a,1,2,2,1,1,1))]. given #414 (T,wt=19): 6676 f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,x))) = f(y,x). [back_demod(6322),demod(6652(10),6247(5)),flip(a)]. given #415 (A,wt=53): 200 f(f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x))),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(f(y,x),u)))) = f(y,x). [para(168(a,1),92(a,1,2,1,2,1)),demod(168(27),168(29))]. given #416 (F,wt=21): 7562 f(x,f(f(y,x),f(f(x,f(y,x)),f(z,f(y,x))))) = f(y,x) # label(false). [para(2166(a,1),6676(a,1,2,2)),demod(7544(6),7544(13),7544(20),7544(29),7544(36),7544(43),7520(49),7544(7)),flip(a)]. given #417 (F,wt=11): 7726 f(x,f(x,f(y,x))) = f(y,x) # label(false). [para(94(a,1),7562(a,1,2))]. given #418 (F,wt=11): 7828 f(f(x,y),f(f(x,y),x)) = x # label(false). [para(2106(a,1),7726(a,1,2,2)),demod(2106(7))]. given #419 (F,wt=11): 7836 f(f(x,y),f(f(x,y),y)) = y # label(false). [para(2107(a,1),7726(a,1,2,2)),demod(2107(7))]. given #420 (T,wt=17): 7501 f(f(x,f(x,x)),f(f(y,x),f(y,x))) = f(y,x). [para(6676(a,1),105(a,1,2,1)),demod(6676(10),6676(13))]. given #421 (A,wt=53): 201 f(f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z))),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),f(u,f(y,x))))) = f(y,x). [para(92(a,1),168(a,1,2,1,2,1)),demod(92(27),92(29))]. given #422 (F,wt=11): 7863 f(x,f(x,f(x,y))) = f(x,y) # label(false). [para(2594(a,1),7726(a,1,2,2)),demod(2594(7))]. given #423 (F,wt=15): 8195 f(f(x,y),f(f(f(f(y,x),y),y),y)) = y # label(false). [para(7501(a,1),2920(a,1,2))]. given #424 (F,wt=15): 8198 f(f(x,y),f(f(f(f(x,y),y),y),y)) = y # label(false). [para(7501(a,1),2975(a,1,2))]. given #425 (F,wt=15): 8199 f(f(x,y),f(f(f(f(x,y),x),x),x)) = x # label(false). [para(7501(a,1),2977(a,1,2))]. given #426 (T,wt=17): 7507 f(f(x,f(x,x)),f(y,x)) = f(f(y,x),f(y,x)). [para(6676(a,1),46(a,1,1)),demod(6677(24),6676(23),2788(21)),flip(a)]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(f(c3,f(c3,c3)),f(c2,c3))) != f(c2,f(f(c1,c3),f(c1,c3))) # answer(A_SS). [para(7507(a,2),4(a,1,2))]. not interpretable: c2 % Clause contains symbol not in interpretation: % 0 f(c2,f(f(c3,f(c3,c3)),f(c1,c3))) != f(c1,f(f(c2,c3),f(c2,c3))) # answer(A_SS). [para(7507(a,2),4(a,2,2)),flip(a)]. given #427 (A,wt=27): 202 f(f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x))),f(x,x)) = x. [para(168(a,1),94(a,1,2,1)),demod(168(22),168(24))]. given #428 (F,wt=11): 9366 f(f(x,f(y,x)),x) = f(y,x) # label(false). [back_demod(6969),demod(9056(5),47(3),2107(3),9363(5),9363(9),8695(11),6247(7))]. given #429 (F,wt=11): 11609 f(f(x,y),f(y,f(x,y))) = y # label(false). [back_demod(10875),demod(11241(4),9366(5),11241(4))]. given #430 (F,wt=11): 14152 f(f(x,y),f(y,f(y,x))) = y # label(false). [back_demod(12488),demod(13937(3))]. given #431 (F,wt=11): 14577 f(f(x,y),f(x,f(x,y))) = x # label(false). [back_demod(10807),demod(13937(2),11241(4))]. given #432 (T,wt=11): 9092 f(f(x,f(x,x)),y) = f(y,y). [para(6599(a,1),7507(a,1,2)),demod(9056(29),9056(20),9056(5),6599(18),6599(18))]. not interpretable: c2 % Clause contains symbol not in interpretation: % 0 f(c2,f(f(c1,c3),f(c1,c3))) != f(c1,f(f(x,f(x,x)),f(c2,c3))) # answer(A_SS). [para(9092(a,2),4(a,1,2)),flip(a)]. not interpretable: c2 % Clause contains symbol not in interpretation: % 0 f(c2,f(f(x,f(x,x)),f(c1,c3))) != f(c1,f(f(c2,c3),f(c2,c3))) # answer(A_SS). [para(9092(a,2),4(a,2,2)),flip(a)]. NOTE: New constant: 0 f(x,f(x,x)) = c_0. [new_symbol(15132)]. NOTE: New Function symbol precedence: lex([ c1, c2, c3, c_0, f ]). NOTE: sn=118, num_tables=200 NOTE: updating interpretation 1: c_0=1. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c_0,f(c2,c3))) != f(c2,f(c_0,f(c1,c3))) # answer(A_SS). [back_demod(15048),demod(15299(3),15335(15,R)),flip(a)]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c_0,f(c2,c3))) != f(c2,f(c_0,f(c1,c3))) # answer(A_SS). [back_demod(15047),demod(15335(8,R),15299(10)),flip(a)]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c_0,f(c2,c3))) != f(c2,f(c_0,f(c1,c3))) # answer(A_SS). [back_demod(8660),demod(15299(6),15335(15,R))]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c_0,f(c2,c3))) != f(c2,f(c_0,f(c1,c3))) # answer(A_SS). [back_demod(4),demod(15335(8,R),15335(15,R))]. given #433 (A,wt=21): 7563 f(x,f(f(y,x),f(f(x,f(y,x)),f(f(y,x),z)))) = f(y,x) # label(false). [para(2183(a,1),6676(a,1,2,2)),demod(7544(6),7544(13),7544(20),7544(29),7544(36),7544(43),7520(49),7544(7)),flip(a)]. given #434 (F,wt=15): 15844 f(x,f(f(c_0,f(x,c_0)),f(x,y))) = f(x,y) # label(false). [back_demod(14261),demod(15299(4),15735(4,R),15305(5),11241(4),14577(4),15299(2),15299(3))]. given #435 (F,wt=15): 16766 f(x,f(f(c_0,f(x,c_0)),f(y,x))) = f(y,x) # label(false). [para(7562(a,1),15844(a,1,2,2)),demod(7562(15))]. given #436 (F,wt=17): 11900 f(f(x,y),f(y,f(f(y,f(x,y)),f(y,z)))) = y # label(false). [back_demod(10315),demod(11241(3),9366(4),11241(3))]. given #437 (F,wt=17): 11902 f(f(x,y),f(y,f(f(y,f(x,y)),f(z,y)))) = y # label(false). [back_demod(10311),demod(11241(3),9366(4),11241(3))]. given #438 (T,wt=7): 15299 f(x,f(x,x)) = c_0. [new_symbol(15132)]. given #439 (A,wt=39): 7636 f(x,f(f(y,x),f(f(f(f(y,x),f(f(y,x),f(f(x,f(y,x)),f(f(y,x),z)))),f(x,x)),f(u,f(x,x))))) = f(x,x). [back_demod(5588),demod(7544(8))]. given #440 (F,wt=17): 14463 f(f(x,y),f(x,f(f(x,f(x,y)),f(x,z)))) = x # label(false). [back_demod(11656),demod(13937(3))]. given #441 (F,wt=17): 14470 f(f(f(f(x,y),f(y,x)),x),f(x,f(x,y))) = x # label(false). [back_demod(11600),demod(13937(6))]. given #442 (F,wt=17): 14582 f(f(x,y),f(y,f(f(y,f(y,x)),f(y,z)))) = y # label(false). [back_demod(10393),demod(13937(3))]. given #443 (F,wt=17): 14586 f(f(x,y),f(y,f(f(y,f(y,x)),f(z,y)))) = y # label(false). [back_demod(10381),demod(13937(3))]. given #444 (T,wt=7): 15301 f(x,f(c_0,x)) = c_0. [back_demod(15126),demod(15299(2),15299(5))]. given #445 (A,wt=39): 7637 f(x,f(f(y,x),f(f(f(f(y,x),f(f(y,x),f(f(x,f(y,x)),f(z,f(y,x))))),f(x,x)),f(u,f(x,x))))) = f(x,x). [back_demod(5585),demod(7544(8))]. given #446 (F,wt=17): 14809 f(f(x,y),f(x,f(f(x,f(x,y)),f(z,x)))) = x # label(false). [back_demod(7737),demod(13937(3))]. given #447 (F,wt=17): 15028 f(f(x,f(y,x)),f(x,f(f(y,x),f(z,x)))) = x # label(false). [para(11609(a,1),7562(a,1,2,1)),demod(11609(8),13937(5),7726(5),11609(7),11609(11))]. given #448 (F,wt=17): 15041 f(f(x,f(x,y)),f(x,f(f(x,y),f(z,x)))) = x # label(false). [para(14152(a,1),7562(a,1,2,1)),demod(14152(8),13937(5),7863(5),14152(7),14152(11))]. given #449 (F,wt=17): 15580 f(f(x,y),f(c_0,f(f(y,f(y,x)),f(y,z)))) = y # label(false). [back_demod(15199),demod(15299(3))]. given #450 (T,wt=7): 15335 f(c_0,x) = f(x,x). [back_demod(13482),demod(15299(3),15301(5),15299(4),13937(4),15306(5))]. given #451 (A,wt=39): 7638 f(f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(f(y,f(x,y)),f(f(x,y),z)))),f(y,y)),f(f(y,y),u))),y) = f(y,y). [back_demod(5458),demod(7544(8))]. given #452 (F,wt=17): 15595 f(f(x,y),f(c_0,f(f(x,f(x,y)),f(x,z)))) = x # label(false). [back_demod(15151),demod(15299(3))]. given #453 (F,wt=17): 15627 f(f(x,y),f(c_0,f(f(y,f(y,x)),f(z,y)))) = y # label(false). [back_demod(15200),demod(15299(3))]. given #454 (F,wt=17): 15643 f(f(x,y),f(c_0,f(f(x,f(x,y)),f(z,x)))) = x # label(false). [back_demod(15152),demod(15299(3))]. given #455 (F,wt=17): 15698 f(f(x,f(y,x)),f(c_0,f(f(y,x),f(x,z)))) = x # label(false). [back_demod(15159),demod(15299(4))]. given #456 (T,wt=7): 15355 f(c_0,f(x,x)) = x. [back_demod(9623),demod(15299(3),15299(10),15301(13),15328(11),15335(3,R))]. given #457 (A,wt=39): 7639 f(f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(f(y,f(x,y)),f(z,f(x,y))))),f(y,y)),f(f(y,y),u))),y) = f(y,y). [back_demod(5454),demod(7544(8))]. given #458 (F,wt=17): 15699 f(f(x,f(y,x)),f(c_0,f(f(y,x),f(z,x)))) = x # label(false). [back_demod(15158),demod(15299(4))]. given #459 (F,wt=17): 15754 f(x,f(f(x,y),f(c_0,f(f(x,x),z)))) = f(x,x) # label(false). [back_demod(14970),demod(15299(3))]. given #460 (F,wt=17): 15755 f(f(f(x,y),f(c_0,f(f(x,x),z))),x) = f(x,x) # label(false). [back_demod(14967),demod(15299(3))]. given #461 (F,wt=17): 15756 f(x,f(f(x,y),f(c_0,f(z,f(x,x))))) = f(x,x) # label(false). [back_demod(14966),demod(15299(3))]. given #462 (T,wt=7): 15367 f(f(c_0,c_0),x) = c_0. [back_demod(6633),demod(15299(3),15301(5),15299(3),15299(6))]. given #463 (A,wt=39): 7686 f(x,f(f(y,x),f(f(f(f(y,x),f(f(y,x),f(f(x,f(y,x)),f(f(y,x),z)))),f(x,x)),f(f(x,x),u)))) = f(x,x). [back_demod(3938),demod(7544(8))]. given #464 (F,wt=17): 15883 f(x,f(f(y,x),f(c_0,f(f(x,x),z)))) = f(x,x) # label(false). [back_demod(13954),demod(15299(3))]. given #465 (F,wt=17): 15884 f(f(f(x,y),f(c_0,f(f(y,y),z))),y) = f(y,y) # label(false). [back_demod(13948),demod(15299(3))]. given #466 (F,wt=17): 15885 f(x,f(f(y,x),f(c_0,f(z,f(x,x))))) = f(x,x) # label(false). [back_demod(13947),demod(15299(3))]. given #467 (F,wt=17): 16263 f(f(f(f(x,x),y),f(c_0,f(z,x))),f(x,x)) = x # label(false). [back_demod(7218),demod(15299(12),15735(12,R),15306(13),14577(9),13937(4),15299(4))]. given #468 (T,wt=7): 15710 f(x,f(x,c_0)) = c_0. [back_demod(15131),demod(15299(2),15299(5))]. given #469 (A,wt=39): 7716 f(x,f(f(y,x),f(f(f(f(y,x),f(f(y,x),f(f(x,f(y,x)),f(z,f(y,x))))),f(x,x)),f(f(x,x),u)))) = f(x,x). [back_demod(3785),demod(7544(8))]. given #470 (F,wt=17): 16264 f(f(f(f(x,x),y),f(c_0,f(x,z))),f(x,x)) = x # label(false). [back_demod(7215),demod(15299(12),15735(12,R),15306(13),14577(9),13937(4),15299(4))]. given #471 (F,wt=17): 16265 f(f(x,x),f(f(f(x,x),y),f(c_0,f(z,x)))) = x # label(false). [back_demod(7214),demod(15299(13),15735(13,R),15306(14),14577(10),13937(5),15299(5))]. given #472 (F,wt=17): 16266 f(f(x,x),f(f(f(x,x),y),f(c_0,f(x,z)))) = x # label(false). [back_demod(7211),demod(15299(13),15735(13,R),15306(14),14577(10),13937(5),15299(5))]. given #473 (F,wt=17): 16267 f(f(f(x,f(y,y)),f(c_0,f(z,y))),f(y,y)) = y # label(false). [back_demod(7209),demod(15299(12),15735(12,R),15306(13),11609(9),13937(4),15299(4))]. given #474 (T,wt=7): 15734 f(x,c_0) = f(x,x). [back_demod(15081),demod(15299(2))]. given #475 (A,wt=17): 7721 f(x,f(f(y,x),f(f(x,f(y,x)),y))) = f(y,x). [back_demod(2168),demod(7544(6))]. given #476 (F,wt=17): 16268 f(f(f(x,f(y,y)),f(c_0,f(y,z))),f(y,y)) = y # label(false). [back_demod(7206),demod(15299(12),15735(12,R),15306(13),11609(9),13937(4),15299(4))]. given #477 (F,wt=17): 16269 f(f(x,x),f(f(y,f(x,x)),f(c_0,f(z,x)))) = x # label(false). [back_demod(7205),demod(15299(13),15735(13,R),15306(14),11609(10),13937(5),15299(5))]. given #478 (F,wt=17): 16270 f(f(x,x),f(f(y,f(x,x)),f(c_0,f(x,z)))) = x # label(false). [back_demod(7202),demod(15299(13),15735(13,R),15306(14),11609(10),13937(5),15299(5))]. given #479 (F,wt=17): 16763 f(f(x,f(y,x)),f(x,f(f(y,x),f(x,z)))) = x # label(false). [para(11609(a,1),7563(a,1,2,1)),demod(11609(8),13937(5),7726(5),11609(7),11609(11))]. given #480 (T,wt=7): 15735 f(c_0,x) = f(x,c_0). [back_demod(15079),demod(15299(2),15299(4))]. given #481 (A,wt=21): 7751 f(x,f(f(x,y),f(f(x,f(x,y)),f(z,f(x,y))))) = f(x,y) # label(false). [para(2594(a,1),7562(a,1,2,1)),demod(2594(5),2594(7),2594(12))]. given #482 (F,wt=17): 16765 f(f(x,f(x,y)),f(x,f(f(x,y),f(x,z)))) = x # label(false). [para(14152(a,1),7563(a,1,2,1)),demod(14152(8),13937(5),7863(5),14152(7),14152(11))]. given #483 (F,wt=17): 16847 f(f(x,y),f(c_0,f(f(y,f(x,y)),f(y,z)))) = y # label(false). [para(7726(a,1),15580(a,1,2,2,1,2)),demod(13937(3),7726(3))]. given #484 (F,wt=17): 16848 f(f(x,f(x,y)),f(c_0,f(f(x,y),f(x,z)))) = x # label(false). [para(7863(a,1),15580(a,1,2,2,1)),demod(13937(2))]. given #485 (F,wt=17): 16904 f(f(x,y),f(c_0,f(f(y,f(x,y)),f(z,y)))) = y # label(false). [para(7726(a,1),15627(a,1,2,2,1,2)),demod(13937(3),7726(3))]. given #486 (T,wt=7): 16248 f(c_0,f(c_0,x)) = x. [back_demod(9182),demod(15299(2),15299(3))]. given #487 (A,wt=13): 10835 f(x,f(f(x,y),f(y,x))) = f(x,y). [para(3245(a,1),9366(a,1,1,2)),demod(10811(5),10811(10),10807(9),10811(6)),flip(a)]. given #488 (F,wt=17): 16905 f(f(x,f(x,y)),f(c_0,f(f(x,y),f(z,x)))) = x # label(false). [para(7863(a,1),15627(a,1,2,2,1)),demod(13937(2))]. given #489 (F,wt=17): 17078 f(x,f(f(x,y),f(c_0,f(f(c_0,x),z)))) = f(x,x) # label(false). [para(15335(a,2),15754(a,1,2,2,2,1))]. given #490 (F,wt=17): 17085 f(f(f(x,y),f(c_0,f(z,f(x,x)))),x) = f(x,x) # label(false). [para(7562(a,1),15755(a,1,1,2,2))]. given #491 (F,wt=17): 17086 f(f(f(x,y),f(c_0,f(f(c_0,x),z))),x) = f(x,x) # label(false). [para(15335(a,2),15755(a,1,1,2,2,1))]. given #492 (T,wt=7): 16768 f(x,f(c_0,c_0)) = c_0. [para(2590(a,1),16766(a,1,2,1)),demod(15367(11),15735(5,R),15299(5)),flip(a)]. given #493 (A,wt=27): 11052 f(x,f(f(y,x),f(f(f(y,x),f(f(x,f(y,x)),f(z,f(y,x)))),x))) = f(y,x) # label(false). [back_demod(7651),demod(10827(12))]. given #494 (F,wt=17): 17101 f(x,f(f(x,y),f(c_0,f(z,f(c_0,x))))) = f(x,x) # label(false). [para(15335(a,2),15756(a,1,2,2,2,2))]. given #495 (F,wt=17): 17142 f(x,f(f(y,x),f(c_0,f(f(c_0,x),z)))) = f(x,x) # label(false). [para(15335(a,2),15883(a,1,2,2,2,1))]. given #496 (F,wt=17): 17154 f(f(f(x,y),f(c_0,f(z,f(y,y)))),y) = f(y,y) # label(false). [para(7562(a,1),15884(a,1,1,2,2))]. given #497 (F,wt=17): 17156 f(f(f(x,y),f(c_0,f(f(c_0,y),z))),y) = f(y,y) # label(false). [para(15335(a,2),15884(a,1,1,2,2,1))]. given #498 (T,wt=7): 16775 f(c_0,f(x,c_0)) = x. [para(15299(a,1),14152(a,1,2,2)),demod(13937(2),15299(2))]. given #499 (A,wt=27): 11053 f(x,f(f(y,x),f(f(f(y,x),f(f(x,f(y,x)),f(f(y,x),z))),x))) = f(y,x) # label(false). [back_demod(7650),demod(10827(12))]. given #500 (F,wt=17): 17176 f(x,f(f(y,x),f(c_0,f(z,f(c_0,x))))) = f(x,x) # label(false). [para(15335(a,2),15885(a,1,2,2,2,2))]. given #501 (F,wt=17): 17208 f(f(f(f(c_0,x),y),f(c_0,f(z,x))),f(x,x)) = x # label(false). [para(15335(a,2),16263(a,1,1,1,1))]. given #502 (F,wt=17): 17209 f(f(f(f(x,x),y),f(c_0,f(z,x))),f(c_0,x)) = x # label(false). [para(15335(a,2),16263(a,1,2))]. given #503 (F,wt=17): 17255 f(f(f(f(c_0,x),y),f(c_0,f(x,z))),f(x,x)) = x # label(false). [para(15335(a,2),16264(a,1,1,1,1))]. given #504 (T,wt=9): 15743 f(f(c_0,x),f(y,x)) = x. [back_demod(15064),demod(15299(2))]. given #505 (A,wt=11): 11241 f(f(x,y),y) = f(y,f(x,y)). [back_demod(10770),demod(10874(6)),flip(a)]. given #506 (F,wt=17): 17256 f(f(f(f(x,x),y),f(c_0,f(x,z))),f(c_0,x)) = x # label(false). [para(15335(a,2),16264(a,1,2))]. given #507 (F,wt=17): 17272 f(f(c_0,x),f(f(f(x,x),y),f(c_0,f(z,x)))) = x # label(false). [para(15335(a,2),16265(a,1,1))]. given #508 (F,wt=17): 17273 f(f(x,x),f(f(f(c_0,x),y),f(c_0,f(z,x)))) = x # label(false). [para(15335(a,2),16265(a,1,2,1,1))]. given #509 (F,wt=17): 17286 f(f(c_0,x),f(f(f(x,x),y),f(c_0,f(x,z)))) = x # label(false). [para(15335(a,2),16266(a,1,1))]. given #510 (T,wt=9): 15744 f(f(c_0,x),f(x,y)) = x. [back_demod(15057),demod(15299(2))]. given #511 (A,wt=25): 11243 f(f(f(x,f(f(x,f(y,x)),f(x,z))),f(y,x)),f(x,f(y,x))) = f(y,x) # label(false). [back_demod(10657),demod(11241(2),9366(3),11241(2),11241(11),9366(13))]. given #512 (F,wt=17): 17287 f(f(x,x),f(f(f(c_0,x),y),f(c_0,f(x,z)))) = x # label(false). [para(15335(a,2),16266(a,1,2,1,1))]. given #513 (F,wt=17): 17307 f(f(f(x,f(c_0,y)),f(c_0,f(z,y))),f(y,y)) = y # label(false). [para(15335(a,2),16267(a,1,1,1,2))]. given #514 (F,wt=17): 17308 f(f(f(x,f(y,y)),f(c_0,f(z,y))),f(c_0,y)) = y # label(false). [para(15335(a,2),16267(a,1,2))]. given #515 (F,wt=17): 17338 f(x,f(f(x,y),f(c_0,f(f(x,c_0),z)))) = f(x,x) # label(false). [para(15734(a,2),15754(a,1,2,2,2,1))]. given #516 (T,wt=9): 15745 f(f(x,y),f(c_0,x)) = x. [back_demod(15053),demod(15299(3))]. given #517 (A,wt=25): 11249 f(f(f(x,f(f(x,f(y,x)),f(z,x))),f(y,x)),f(x,f(y,x))) = f(y,x) # label(false). [back_demod(10513),demod(11241(2),9366(3),11241(2),11241(11),9366(13))]. given #518 (F,wt=17): 17339 f(f(f(x,y),f(c_0,f(f(x,c_0),z))),x) = f(x,x) # label(false). [para(15734(a,2),15755(a,1,1,2,2,1))]. given #519 (F,wt=17): 17340 f(x,f(f(x,y),f(c_0,f(z,f(x,c_0))))) = f(x,x) # label(false). [para(15734(a,2),15756(a,1,2,2,2,2))]. given #520 (F,wt=17): 17343 f(x,f(f(y,x),f(c_0,f(f(x,c_0),z)))) = f(x,x) # label(false). [para(15734(a,2),15883(a,1,2,2,2,1))]. given #521 (F,wt=17): 17344 f(f(f(x,y),f(c_0,f(f(y,c_0),z))),y) = f(y,y) # label(false). [para(15734(a,2),15884(a,1,1,2,2,1))]. given #522 (T,wt=9): 15749 f(f(x,y),f(c_0,y)) = y. [back_demod(15049),demod(15299(3))]. given #523 (A,wt=49): 11306 f(f(f(f(f(x,x),y),f(f(f(y,f(f(x,z),y)),x),f(f(f(x,x),u),f(f(f(u,f(f(x,v),u)),x),f(w,x))))),f(z,x)),f(x,f(z,x))) = f(z,x). [back_demod(8466),demod(11241(5),11241(11),11241(23),9366(25))]. given #524 (F,wt=17): 17345 f(x,f(f(y,x),f(c_0,f(z,f(x,c_0))))) = f(x,x) # label(false). [para(15734(a,2),15885(a,1,2,2,2,2))]. given #525 (F,wt=17): 17346 f(f(f(f(x,c_0),y),f(c_0,f(z,x))),f(x,x)) = x # label(false). [para(15734(a,2),16263(a,1,1,1,1))]. given #526 (F,wt=17): 17347 f(f(f(f(x,x),y),f(c_0,f(z,x))),f(x,c_0)) = x # label(false). [para(15734(a,2),16263(a,1,2))]. given #527 (F,wt=17): 17350 f(f(f(f(x,c_0),y),f(c_0,f(x,z))),f(x,x)) = x # label(false). [para(15734(a,2),16264(a,1,1,1,1))]. given #528 (T,wt=9): 16837 f(f(x,c_0),f(y,x)) = x. [para(15299(a,1),15041(a,1,1,2)),demod(15299(4),15306(6))]. given #529 (A,wt=49): 11307 f(f(f(f(f(x,x),y),f(f(f(y,f(f(x,z),y)),x),f(f(f(x,x),u),f(f(f(u,f(f(v,x),u)),x),f(x,w))))),f(z,x)),f(x,f(z,x))) = f(z,x). [back_demod(8459),demod(11241(5),11241(11),11241(23),9366(25))]. given #530 (F,wt=17): 17351 f(f(f(f(x,x),y),f(c_0,f(x,z))),f(x,c_0)) = x # label(false). [para(15734(a,2),16264(a,1,2))]. given #531 (F,wt=17): 17352 f(f(x,c_0),f(f(f(x,x),y),f(c_0,f(z,x)))) = x # label(false). [para(15734(a,2),16265(a,1,1))]. given #532 (F,wt=17): 17353 f(f(x,x),f(f(f(x,c_0),y),f(c_0,f(z,x)))) = x # label(false). [para(15734(a,2),16265(a,1,2,1,1))]. given #533 (F,wt=17): 17354 f(f(x,c_0),f(f(f(x,x),y),f(c_0,f(x,z)))) = x # label(false). [para(15734(a,2),16266(a,1,1))]. given #534 (T,wt=9): 16859 f(f(x,c_0),f(x,y)) = x. [para(15299(a,1),15580(a,1,2,2,1,2)),demod(13937(2),15299(2),16248(8))]. given #535 (A,wt=45): 11308 f(f(f(f(x,y),f(f(f(x,f(f(z,f(x,y)),x)),f(x,y)),f(z,f(x,y)))),f(z,f(x,y))),f(f(x,y),f(z,f(x,y)))) = f(z,f(x,y)) # label(false). [back_demod(8454),demod(11241(5),11241(21),9366(24))]. given #536 (F,wt=17): 17355 f(f(x,x),f(f(f(x,c_0),y),f(c_0,f(x,z)))) = x # label(false). [para(15734(a,2),16266(a,1,2,1,1))]. given #537 (F,wt=17): 17356 f(f(f(x,f(y,c_0)),f(c_0,f(z,y))),f(y,y)) = y # label(false). [para(15734(a,2),16267(a,1,1,1,2))]. given #538 (F,wt=17): 17357 f(f(f(x,f(y,y)),f(c_0,f(z,y))),f(y,c_0)) = y # label(false). [para(15734(a,2),16267(a,1,2))]. given #539 (F,wt=17): 17377 f(f(f(x,f(c_0,y)),f(c_0,f(y,z))),f(y,y)) = y # label(false). [para(15335(a,2),16268(a,1,1,1,2))]. given #540 (T,wt=9): 17230 f(f(x,y),f(x,c_0)) = x. [para(15710(a,1),15884(a,1,1,1)),demod(15335(7,R),16775(6),16248(5),15335(9,R),16775(8))]. given #541 (A,wt=45): 11309 f(f(f(f(x,y),f(f(f(y,f(f(z,f(x,y)),y)),f(x,y)),f(z,f(x,y)))),f(z,f(x,y))),f(f(x,y),f(z,f(x,y)))) = f(z,f(x,y)) # label(false). [back_demod(8453),demod(11241(5),11241(21),9366(24))]. given #542 (F,wt=17): 17378 f(f(f(x,f(y,y)),f(c_0,f(y,z))),f(c_0,y)) = y # label(false). [para(15335(a,2),16268(a,1,2))]. given #543 (F,wt=17): 17388 f(f(f(x,f(y,c_0)),f(c_0,f(y,z))),f(y,y)) = y # label(false). [para(15734(a,2),16268(a,1,1,1,2))]. given #544 (F,wt=17): 17389 f(f(f(x,f(y,y)),f(c_0,f(y,z))),f(y,c_0)) = y # label(false). [para(15734(a,2),16268(a,1,2))]. given #545 (F,wt=17): 17398 f(f(c_0,x),f(f(y,f(x,x)),f(c_0,f(z,x)))) = x # label(false). [para(15335(a,2),16269(a,1,1))]. given #546 (T,wt=9): 17326 f(f(x,y),f(y,c_0)) = y. [para(15734(a,2),21(a,1,2))]. given #547 (A,wt=45): 11310 f(f(f(f(x,y),f(f(f(y,f(f(z,f(x,x)),y)),f(x,x)),f(z,f(x,x)))),f(z,f(x,x))),f(f(x,x),f(z,f(x,x)))) = f(z,f(x,x)) # label(false). [back_demod(8448),demod(11241(5),11241(21),9366(24))]. given #548 (F,wt=17): 17399 f(f(x,x),f(f(y,f(c_0,x)),f(c_0,f(z,x)))) = x # label(false). [para(15335(a,2),16269(a,1,2,1,2))]. given #549 (F,wt=17): 17411 f(f(x,c_0),f(f(y,f(x,x)),f(c_0,f(z,x)))) = x # label(false). [para(15734(a,2),16269(a,1,1))]. given #550 (F,wt=17): 17412 f(f(x,x),f(f(y,f(x,c_0)),f(c_0,f(z,x)))) = x # label(false). [para(15734(a,2),16269(a,1,2,1,2))]. given #551 (F,wt=17): 17416 f(f(c_0,x),f(f(y,f(x,x)),f(c_0,f(x,z)))) = x # label(false). [para(15335(a,2),16270(a,1,1))]. given #552 (T,wt=11): 13937 f(f(x,y),x) = f(x,f(x,y)). [back_demod(11290),demod(11609(9),9173(6))]. given #553 (A,wt=33): 11314 f(f(f(x,f(f(f(f(y,x),f(f(z,x),f(y,x))),x),f(y,x))),f(z,x)),f(x,f(z,x))) = f(z,x) # label(false). [back_demod(8416),demod(11241(5),11241(15),9366(17))]. given #554 (F,wt=17): 17417 f(f(x,x),f(f(y,f(c_0,x)),f(c_0,f(x,z)))) = x # label(false). [para(15335(a,2),16270(a,1,2,1,2))]. given #555 (F,wt=17): 17420 f(f(x,c_0),f(f(y,f(x,x)),f(c_0,f(x,z)))) = x # label(false). [para(15734(a,2),16270(a,1,1))]. given #556 (F,wt=17): 17421 f(f(x,x),f(f(y,f(x,c_0)),f(c_0,f(x,z)))) = x # label(false). [para(15734(a,2),16270(a,1,2,1,2))]. given #557 (F,wt=17): 17850 f(f(c_0,x),f(f(f(c_0,x),y),f(c_0,f(x,z)))) = x # label(false). [para(16248(a,1),17078(a,1,2,2,2,1)),demod(15335(15,R),16248(14))]. given #558 (T,wt=11): 15302 f(f(x,x),f(c_0,f(y,x))) = c_0. [back_demod(15125),demod(15299(3),15301(4),15299(7))]. given #559 (A,wt=33): 11315 f(f(f(x,f(f(f(f(x,y),f(f(z,x),f(x,y))),x),f(x,y))),f(z,x)),f(x,f(z,x))) = f(z,x) # label(false). [back_demod(8414),demod(11241(5),11241(15),9366(17))]. given #560 (F,wt=17): 17855 f(f(f(x,y),f(c_0,f(z,f(c_0,x)))),x) = f(x,x) # label(false). [para(15335(a,2),17085(a,1,1,2,2,2))]. given #561 (F,wt=17): 17861 f(f(f(x,y),f(c_0,f(z,f(x,c_0)))),x) = f(x,x) # label(false). [para(15734(a,2),17085(a,1,1,2,2,2))]. given #562 (F,wt=17): 17864 f(f(f(f(c_0,x),y),f(c_0,f(x,z))),f(c_0,x)) = x # label(false). [para(16248(a,1),17086(a,1,1,2,2,1)),demod(15335(15,R),16248(14))]. given #563 (F,wt=17): 17920 f(f(c_0,x),f(f(f(c_0,x),y),f(c_0,f(z,x)))) = x # label(false). [para(16248(a,1),17101(a,1,2,2,2,2)),demod(15335(15,R),16248(14))]. given #564 (T,wt=11): 15305 f(x,f(c_0,f(x,y))) = f(x,y). [back_demod(15121),demod(15299(2),15301(3))]. given #565 (A,wt=33): 11319 f(f(f(x,f(f(f(f(y,x),f(f(z,x),f(y,x))),x),f(z,x))),f(z,x)),f(x,f(z,x))) = f(z,x) # label(false). [back_demod(8403),demod(11241(5),11241(15),9366(17))]. given #566 (F,wt=17): 17949 f(f(c_0,x),f(f(y,f(c_0,x)),f(c_0,f(x,z)))) = x # label(false). [para(16248(a,1),17142(a,1,2,2,2,1)),demod(15335(15,R),16248(14))]. given #567 (F,wt=17): 17952 f(f(f(x,y),f(c_0,f(z,f(c_0,y)))),y) = f(y,y) # label(false). [para(15335(a,2),17154(a,1,1,2,2,2))]. given #568 (F,wt=17): 17957 f(f(f(x,y),f(c_0,f(z,f(y,c_0)))),y) = f(y,y) # label(false). [para(15734(a,2),17154(a,1,1,2,2,2))]. given #569 (F,wt=17): 17964 f(f(f(x,f(c_0,y)),f(c_0,f(y,z))),f(c_0,y)) = y # label(false). [para(16248(a,1),17156(a,1,1,2,2,1)),demod(15335(15,R),16248(14))]. given #570 (T,wt=11): 15306 f(x,f(c_0,f(y,x))) = f(y,x). [back_demod(15120),demod(15299(2),15301(3))]. given #571 (A,wt=33): 11320 f(f(f(x,f(f(f(f(x,y),f(f(z,x),f(x,y))),x),f(z,x))),f(z,x)),f(x,f(z,x))) = f(z,x) # label(false). [back_demod(8400),demod(11241(5),11241(15),9366(17))]. given #572 (F,wt=11): 19251 f(f(x,f(x,y)),f(y,x)) = x # label(false). [para(15306(a,1),15627(a,1))]. given #573 (F,wt=17): 17965 f(f(x,c_0),f(f(f(x,c_0),y),f(c_0,f(x,z)))) = x # label(false). [para(16775(a,1),17078(a,1,2,2,2,1)),demod(15335(15,R),16775(14))]. given #574 (F,wt=17): 17966 f(f(f(f(x,c_0),y),f(c_0,f(x,z))),f(x,c_0)) = x # label(false). [para(16775(a,1),17086(a,1,1,2,2,1)),demod(15335(15,R),16775(14))]. given #575 (F,wt=17): 17967 f(f(x,c_0),f(f(f(x,c_0),y),f(c_0,f(z,x)))) = x # label(false). [para(16775(a,1),17101(a,1,2,2,2,2)),demod(15335(15,R),16775(14))]. given #576 (T,wt=11): 15356 f(f(c_0,f(x,y)),y) = f(x,y). [back_demod(9490),demod(15299(4),15301(7))]. given #577 (A,wt=33): 11325 f(f(f(f(f(x,x),y),f(f(f(y,f(f(x,z),y)),x),f(u,x))),f(z,x)),f(x,f(z,x))) = f(z,x). [back_demod(8361),demod(11241(5),11241(15),9366(17))]. given #578 (F,wt=17): 17968 f(f(x,c_0),f(f(y,f(x,c_0)),f(c_0,f(x,z)))) = x # label(false). [para(16775(a,1),17142(a,1,2,2,2,1)),demod(15335(15,R),16775(14))]. given #579 (F,wt=17): 17969 f(f(f(x,f(y,c_0)),f(c_0,f(y,z))),f(y,c_0)) = y # label(false). [para(16775(a,1),17156(a,1,1,2,2,1)),demod(15335(15,R),16775(14))]. given #580 (F,wt=17): 18024 f(f(c_0,x),f(f(y,f(c_0,x)),f(c_0,f(z,x)))) = x # label(false). [para(16248(a,1),17176(a,1,2,2,2,2)),demod(15335(15,R),16248(14))]. given #581 (F,wt=17): 18027 f(f(x,c_0),f(f(y,f(x,c_0)),f(c_0,f(z,x)))) = x # label(false). [para(16775(a,1),17176(a,1,2,2,2,2)),demod(15335(15,R),16775(14))]. given #582 (T,wt=11): 15357 f(f(c_0,f(x,y)),x) = f(x,y). [back_demod(9489),demod(15299(4),15301(7))]. given #583 (A,wt=45): 11329 f(f(f(f(x,y),f(f(f(y,f(f(f(x,x),z),y)),f(x,x)),f(f(x,x),u))),f(z,f(x,x))),f(f(x,x),f(z,f(x,x)))) = f(z,f(x,x)). [back_demod(8349),demod(11241(5),11241(21),9366(24))]. given #584 (F,wt=17): 18038 f(f(f(f(c_0,x),y),f(c_0,f(z,x))),f(c_0,x)) = x # label(false). [para(15335(a,2),17208(a,1,2))]. given #585 (F,wt=17): 18047 f(f(f(f(c_0,x),y),f(c_0,f(z,x))),f(x,c_0)) = x # label(false). [para(15734(a,2),17208(a,1,2))]. given #586 (F,wt=17): 18057 f(f(f(f(x,c_0),y),f(c_0,f(z,x))),f(c_0,x)) = x # label(false). [para(15734(a,2),17209(a,1,1,1,1))]. given #587 (F,wt=17): 18076 f(f(f(f(c_0,x),y),f(c_0,f(x,z))),f(x,c_0)) = x # label(false). [para(15734(a,2),17255(a,1,2))]. given #588 (T,wt=11): 15707 f(f(c_0,f(x,y)),f(x,x)) = c_0. [back_demod(15139),demod(15299(2),15299(7))]. given #589 (A,wt=49): 11330 f(f(f(f(f(x,x),y),f(f(f(y,f(f(x,z),y)),x),f(f(f(x,x),u),f(f(f(u,f(f(x,v),u)),x),f(x,w))))),f(z,x)),f(x,f(z,x))) = f(z,x). [back_demod(8341),demod(11241(5),11241(11),11241(23),9366(25))]. given #590 (F,wt=17): 18092 f(f(f(x,f(c_0,y)),f(c_0,f(z,y))),f(c_0,y)) = y # label(false). [para(15743(a,1),17154(a,1,1,2,2,2)),demod(15335(15,R),16248(14))]. given #591 (F,wt=17): 18368 f(f(f(f(x,c_0),y),f(c_0,f(x,z))),f(c_0,x)) = x # label(false). [para(15734(a,2),17256(a,1,1,1,1))]. given #592 (F,wt=17): 18369 f(f(c_0,x),f(f(f(x,c_0),y),f(c_0,f(z,x)))) = x # label(false). [para(15734(a,2),17272(a,1,2,1,1))]. given #593 (F,wt=17): 18371 f(f(x,c_0),f(f(f(c_0,x),y),f(c_0,f(z,x)))) = x # label(false). [para(15734(a,2),17273(a,1,1))]. given #594 (T,wt=11): 15711 f(f(c_0,x),f(c_0,f(x,y))) = c_0. [back_demod(15129),demod(15299(2),15299(4),15299(8))]. given #595 (A,wt=33): 11331 f(f(f(f(f(x,x),y),f(f(f(y,f(f(x,z),y)),x),f(x,u))),f(z,x)),f(x,f(z,x))) = f(z,x). [back_demod(8336),demod(11241(5),11241(15),9366(17))]. given #596 (F,wt=17): 18386 f(f(c_0,x),f(f(f(x,c_0),y),f(c_0,f(x,z)))) = x # label(false). [para(15734(a,2),17286(a,1,2,1,1))]. given #597 (F,wt=17): 18417 f(f(x,c_0),f(f(f(c_0,x),y),f(c_0,f(x,z)))) = x # label(false). [para(15734(a,2),17287(a,1,1))]. given #598 (F,wt=17): 18451 f(f(f(x,f(c_0,y)),f(c_0,f(z,y))),f(y,c_0)) = y # label(false). [para(15734(a,2),17307(a,1,2))]. given #599 (F,wt=17): 18461 f(f(f(x,f(y,c_0)),f(c_0,f(z,y))),f(c_0,y)) = y # label(false). [para(15734(a,2),17308(a,1,1,1,2))]. given #600 (T,wt=11): 15712 f(f(x,x),f(c_0,f(x,y))) = c_0. [back_demod(15128),demod(15335(4,R),15299(7))]. given #601 (A,wt=31): 11351 f(f(x,y),f(y,f(f(y,f(f(f(f(y,z),f(f(x,y),f(y,z))),y),f(x,y))),f(x,y)))) = y # label(false). [back_demod(11221),demod(11241(6))]. given #602 (F,wt=17): 18739 f(f(f(f(x,c_0),y),f(c_0,f(z,x))),f(x,c_0)) = x # label(false). [para(15734(a,2),17346(a,1,2))]. given #603 (F,wt=17): 18856 f(f(f(x,f(y,c_0)),f(c_0,f(z,y))),f(y,c_0)) = y # label(false). [para(16859(a,1),17154(a,1,1,2,2,2)),demod(15335(15,R),16775(14))]. given #604 (F,wt=17): 18976 f(f(f(x,f(c_0,y)),f(c_0,f(y,z))),f(y,c_0)) = y # label(false). [para(15734(a,2),17377(a,1,2))]. given #605 (F,wt=17): 19013 f(f(f(x,f(y,c_0)),f(c_0,f(y,z))),f(c_0,y)) = y # label(false). [para(15734(a,2),17378(a,1,1,1,2))]. given #606 (T,wt=11): 15713 f(f(c_0,x),f(c_0,f(y,x))) = c_0. [back_demod(15124),demod(15299(2),15299(4),15299(8))]. given #607 (A,wt=31): 11352 f(f(x,y),f(y,f(f(y,f(f(f(f(y,z),f(f(y,x),f(y,z))),y),f(y,x))),f(y,u)))) = y. [back_demod(11220),demod(11241(6))]. given #608 (F,wt=17): 19042 f(f(c_0,x),f(f(y,f(x,c_0)),f(c_0,f(z,x)))) = x # label(false). [para(15734(a,2),17398(a,1,2,1,2))]. given #609 (F,wt=17): 19064 f(f(x,c_0),f(f(y,f(c_0,x)),f(c_0,f(z,x)))) = x # label(false). [para(15734(a,2),17399(a,1,1))]. given #610 (F,wt=17): 19100 f(f(c_0,x),f(f(y,f(x,c_0)),f(c_0,f(x,z)))) = x # label(false). [para(15734(a,2),17416(a,1,2,1,2))]. given #611 (F,wt=17): 19164 f(f(x,c_0),f(f(y,f(c_0,x)),f(c_0,f(x,z)))) = x # label(false). [para(15734(a,2),17417(a,1,1))]. given #612 (T,wt=11): 15740 f(x,f(y,f(c_0,x))) = f(x,x). [back_demod(15071),demod(15299(2))]. given #613 (A,wt=47): 11353 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(f(f(y,z),u),f(f(f(y,z),x),f(f(y,z),u))),f(y,z)),f(f(y,z),x))),z))) = f(y,z). [back_demod(11219),demod(11241(12))]. given #614 (F,wt=19): 15737 f(x,f(c_0,f(f(x,f(x,y)),f(f(x,y),z)))) = f(x,y) # label(false). [back_demod(15076),demod(15299(2),15707(5))]. given #615 (F,wt=19): 15739 f(x,f(c_0,f(f(x,f(x,y)),f(z,f(x,y))))) = f(x,y) # label(false). [back_demod(15072),demod(15299(2),15707(5))]. given #616 (F,wt=19): 16208 f(x,f(c_0,f(f(x,f(y,x)),f(z,f(y,x))))) = f(y,x) # label(false). [back_demod(11266),demod(15299(2),15299(4),15735(4,R),15347(5),11241(2),11241(4),11609(4),15299(2))]. given #617 (F,wt=19): 16211 f(x,f(c_0,f(f(x,f(y,x)),f(f(y,x),z)))) = f(y,x) # label(false). [back_demod(11262),demod(15299(2),15299(4),15735(4,R),15347(5),11241(2),11241(4),11609(4),15299(2))]. given #618 (T,wt=11): 15741 f(x,f(f(c_0,x),y)) = f(x,x). [back_demod(15069),demod(15299(2))]. given #619 (A,wt=47): 11354 f(f(x,y),f(y,f(f(y,f(f(f(f(y,z),f(f(y,x),f(y,z))),y),f(y,x))),f(f(f(y,y),u),f(f(f(u,f(f(y,v),u)),y),f(y,w)))))) = y. [back_demod(11218),demod(11241(6),11241(15))]. given #620 (F,wt=19): 16214 f(f(x,f(y,x)),f(c_0,f(x,f(z,f(y,x))))) = f(y,x) # label(false). [back_demod(11240),demod(15299(4))]. given #621 (F,wt=19): 16215 f(f(x,f(y,x)),f(c_0,f(x,f(f(y,x),z)))) = f(y,x) # label(false). [back_demod(11239),demod(15299(4))]. given #622 (F,wt=19): 16944 f(f(x,f(x,y)),f(c_0,f(x,f(f(x,y),z)))) = f(x,y) # label(false). [para(2106(a,1),15698(a,1,1,2)),demod(13937(2),2106(6))]. given #623 (F,wt=19): 16996 f(f(x,f(x,y)),f(c_0,f(x,f(z,f(x,y))))) = f(x,y) # label(false). [para(2106(a,1),15699(a,1,1,2)),demod(13937(2),2106(6))]. given #624 (T,wt=11): 15747 f(f(f(c_0,x),y),x) = f(x,x). [back_demod(15051),demod(15299(2))]. given #625 (A,wt=31): 11357 f(f(x,y),f(y,f(f(y,f(f(f(f(y,z),f(f(y,x),f(y,z))),y),f(y,x))),f(u,y)))) = y. [back_demod(11215),demod(11241(6))]. given #626 (F,wt=19): 17564 f(f(f(f(x,f(y,x)),f(x,y)),y),f(y,f(x,y))) = y # label(false). [back_demod(12407),demod(17468(6),15306(8))]. given #627 (F,wt=19): 18414 f(f(x,x),f(f(c_0,x),f(y,f(c_0,x)))) = f(y,f(c_0,x)) # label(false). [para(15743(a,1),11243(a,1,1,1,2,2)),demod(15747(9),21(4),15740(4))]. given #628 (F,wt=19): 18861 f(f(x,x),f(f(x,x),f(y,f(c_0,x)))) = f(y,f(c_0,x)) # label(false). [para(15335(a,1),11308(a,1,2,1)),demod(15735(8,R),16248(9),11241(8),11241(12),11609(12),15335(5,R),16248(4),15740(4))]. given #629 (F,wt=19): 18863 f(f(x,x),f(f(c_0,x),f(y,f(x,x)))) = f(y,f(x,x)) # label(false). [para(15335(a,2),11308(a,1,2,1)),demod(47(4),15299(3),15355(4),2788(4),15335(3,R),15355(3),2788(3))]. given #630 (T,wt=11): 15748 f(f(x,f(c_0,y)),y) = f(y,y). [back_demod(15050),demod(15299(2))]. given #631 (A,wt=47): 11358 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(f(f(y,z),u),f(f(f(y,z),x),f(f(y,z),u))),f(y,z)),f(f(y,z),x))),y))) = f(y,z). [back_demod(11214),demod(11241(12))]. given #632 (F,wt=19): 18876 f(f(x,x),f(f(x,c_0),f(y,f(x,c_0)))) = f(y,f(x,c_0)) # label(false). [para(15734(a,1),11308(a,1,1,2,2)),demod(17327(6),15299(4),16775(6),17225(6),15335(5,R),16775(4),2788(3))]. given #633 (F,wt=19): 18877 f(f(x,c_0),f(f(x,x),f(y,f(x,c_0)))) = f(y,f(x,c_0)) # label(false). [para(15734(a,1),11308(a,1,2,1)),demod(17327(6),15299(4),16775(6),17225(6),15335(5,R),16775(4),17225(4))]. given #634 (F,wt=19): 18878 f(f(x,c_0),f(f(x,c_0),f(y,f(x,x)))) = f(y,f(x,c_0)) # label(false). [para(15734(a,1),11308(a,1,2,2,2)),demod(17327(6),15299(4),16775(6),17225(6),15335(5,R),16775(4),17225(4))]. given #635 (F,wt=15): 21185 f(f(x,f(x,f(y,y))),f(f(y,c_0),x)) = x # label(false). [para(18878(a,2),19251(a,1,1,2)),demod(21101(8))]. given #636 (T,wt=11): 16246 f(f(c_0,f(x,y)),f(y,y)) = c_0. [back_demod(9363),demod(15335(3,R),15299(7))]. given #637 (A,wt=31): 11364 f(f(x,y),f(y,f(f(y,f(f(f(f(z,y),f(f(y,x),f(z,y))),y),f(y,x))),f(y,u)))) = y. [back_demod(11208),demod(11241(6))]. given #638 (F,wt=15): 21303 f(f(x,f(y,c_0)),f(x,f(x,f(y,y)))) = x # label(false). [back_demod(21021),demod(21101(11))]. given #639 (F,wt=15): 21304 f(f(x,f(y,y)),f(x,f(x,f(y,c_0)))) = x # label(false). [back_demod(21020),demod(21101(8))]. given #640 (F,wt=15): 21305 f(f(f(x,c_0),y),f(y,f(y,f(x,x)))) = y # label(false). [back_demod(21018),demod(21101(11))]. given #641 (F,wt=15): 21316 f(f(x,f(x,f(c_0,y))),f(f(y,c_0),x)) = x # label(false). [para(15335(a,2),21185(a,1,1,2,2))]. given #642 (T,wt=11): 16247 f(f(c_0,f(x,y)),f(c_0,x)) = c_0. [back_demod(9186),demod(15335(3,R),15299(5),15299(8))]. given #643 (A,wt=47): 11365 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(f(u,f(y,z)),f(f(f(y,z),x),f(u,f(y,z)))),f(y,z)),f(f(y,z),x))),z))) = f(y,z). [back_demod(11207),demod(11241(12))]. given #644 (F,wt=15): 21317 f(f(x,f(x,f(y,y))),f(f(c_0,y),x)) = x # label(false). [para(15735(a,2),21185(a,1,2,1))]. given #645 (F,wt=15): 21392 f(f(x,f(y,c_0)),f(x,f(x,f(c_0,y)))) = x # label(false). [para(15335(a,2),21303(a,1,2,2,2))]. given #646 (F,wt=15): 21394 f(f(x,f(c_0,y)),f(x,f(x,f(y,y)))) = x # label(false). [para(15735(a,2),21303(a,1,1,2))]. given #647 (F,wt=15): 21429 f(f(x,f(c_0,y)),f(x,f(x,f(y,c_0)))) = x # label(false). [para(15335(a,2),21304(a,1,1,2))]. given #648 (T,wt=11): 16258 f(x,f(c_0,f(f(x,x),y))) = c_0. [back_demod(7372),demod(15299(2),15299(7))]. given #649 (A,wt=47): 11366 f(f(x,y),f(y,f(f(y,f(f(f(f(z,y),f(f(y,x),f(z,y))),y),f(y,x))),f(f(f(y,y),u),f(f(f(u,f(f(y,v),u)),y),f(y,w)))))) = y. [back_demod(11206),demod(11241(6),11241(15))]. given #650 (F,wt=15): 21431 f(f(x,f(y,y)),f(x,f(x,f(c_0,y)))) = x # label(false). [para(15735(a,2),21304(a,1,2,2,2))]. given #651 (F,wt=15): 21455 f(f(f(x,c_0),y),f(y,f(y,f(c_0,x)))) = y # label(false). [para(15335(a,2),21305(a,1,2,2,2))]. given #652 (F,wt=15): 21456 f(f(f(c_0,x),y),f(y,f(y,f(x,x)))) = y # label(false). [para(15735(a,2),21305(a,1,1,1))]. given #653 (F,wt=15): 21461 f(f(x,f(x,f(c_0,y))),f(f(y,y),x)) = x # label(false). [para(15734(a,1),21316(a,1,2,1))]. given #654 (T,wt=11): 16262 f(x,f(c_0,f(y,f(x,x)))) = c_0. [back_demod(7235),demod(15299(2),15299(7))]. given #655 (A,wt=31): 11369 f(f(x,y),f(y,f(f(y,f(f(f(f(z,y),f(f(y,x),f(z,y))),y),f(y,x))),f(u,y)))) = y. [back_demod(11203),demod(11241(6))]. given #656 (F,wt=15): 21546 f(f(x,f(x,f(y,c_0))),f(f(c_0,y),x)) = x # label(false). [para(15734(a,2),21317(a,1,1,2,2))]. given #657 (F,wt=15): 21719 f(f(f(x,x),y),f(y,f(y,f(c_0,x)))) = y # label(false). [para(15734(a,1),21455(a,1,1,1))]. given #658 (F,wt=15): 21725 f(f(f(c_0,x),y),f(y,f(y,f(x,c_0)))) = y # label(false). [para(15734(a,2),21456(a,1,2,2,2))]. given #659 (F,wt=15): 21730 f(f(x,f(x,f(y,c_0))),f(f(y,y),x)) = x # label(false). [para(7726(a,1),21461(a,1,1,2,2)),demod(16775(8),16775(8))]. given #660 (T,wt=11): 16979 f(f(x,c_0),f(c_0,f(x,y))) = c_0. [para(15355(a,1),11900(a,1,2,2,2)),demod(16775(7))]. given #661 (A,wt=47): 11370 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(f(u,f(y,z)),f(f(f(y,z),x),f(u,f(y,z)))),f(y,z)),f(f(y,z),x))),y))) = f(y,z). [back_demod(11202),demod(11241(12))]. given #662 (F,wt=15): 21798 f(f(f(x,x),y),f(y,f(y,f(x,c_0)))) = y # label(false). [para(7726(a,1),21719(a,1,2,2,2)),demod(16775(4),16775(4))]. given #663 (F,wt=19): 18879 f(f(x,c_0),f(f(x,x),f(y,f(x,x)))) = f(y,f(x,x)) # label(false). [para(15734(a,2),11308(a,1,1,2,2)),demod(47(4),15299(3),15355(4),2788(4),15335(3,R),15355(3),17225(4))]. given #664 (F,wt=19): 18880 f(f(x,x),f(f(x,c_0),f(y,f(x,x)))) = f(y,f(x,x)) # label(false). [para(15734(a,2),11308(a,1,2,1)),demod(47(4),15299(3),15355(4),2788(4),15335(3,R),15355(3),2788(3))]. given #665 (F,wt=19): 18889 f(f(x,c_0),f(f(c_0,x),f(y,f(c_0,x)))) = f(y,f(c_0,x)) # label(false). [para(15735(a,1),11308(a,1,1,2,2)),demod(15735(8,R),16248(9),11241(8),11241(12),11609(12),15335(5,R),16248(4),17225(4))]. given #666 (T,wt=11): 16981 f(x,f(c_0,f(f(x,c_0),y))) = c_0. [para(15355(a,1),15698(a,1,2,2,2)),demod(16775(4))]. given #667 (A,wt=31): 11386 f(f(x,y),f(y,f(f(y,f(f(f(f(y,z),f(f(y,x),f(y,z))),y),f(y,z))),f(y,u)))) = y. [back_demod(11185),demod(11241(6))]. given #668 (F,wt=19): 18890 f(f(x,x),f(f(x,c_0),f(y,f(c_0,x)))) = f(y,f(c_0,x)) # label(false). [para(15735(a,1),11308(a,1,2,1)),demod(15735(8,R),16248(9),11241(8),11241(12),11609(12),15335(5,R),16248(4),15740(4))]. given #669 (F,wt=19): 18892 f(f(x,c_0),f(f(c_0,x),f(y,f(x,c_0)))) = f(y,f(x,c_0)) # label(false). [para(15735(a,2),11308(a,1,2,1)),demod(17327(6),15299(4),16775(6),17225(6),15335(5,R),16775(4),17225(4))]. given #670 (F,wt=19): 19712 f(f(x,f(c_0,y)),f(f(x,f(c_0,y)),f(y,y))) = f(y,y) # label(false). [para(15740(a,1),7726(a,1,2,2)),demod(15740(13))]. given #671 (F,wt=19): 19991 f(f(c_0,f(f(x,f(y,x)),f(z,f(y,x)))),x) = f(y,x) # label(false). [back_demod(17892),demod(19934(7))]. given #672 (T,wt=11): 17225 f(x,f(y,f(x,c_0))) = f(x,c_0). [para(15710(a,1),15028(a,1,1,2)),demod(15735(4,R),16775(4),15710(5),15306(8))]. given #673 (A,wt=47): 11387 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(f(f(y,z),u),f(f(f(y,z),x),f(f(y,z),u))),f(y,z)),f(f(y,z),u))),z))) = f(y,z). [back_demod(11184),demod(11241(12))]. given #674 (F,wt=17): 22154 f(f(c_0,f(f(x,f(x,y)),f(z,x))),f(x,y)) = x # label(false). [para(2106(a,1),19991(a,1,1,2,1,2)),demod(13937(3),2106(6),2106(11))]. given #675 (F,wt=17): 22156 f(f(c_0,f(f(x,f(y,x)),f(z,x))),f(y,x)) = x # label(false). [para(2107(a,1),19991(a,1,1,2,1,2)),demod(11241(3),2107(6),2107(11))]. given #676 (F,wt=17): 22159 f(f(c_0,f(f(x,y),f(z,y))),f(y,f(x,y))) = y # label(false). [para(11609(a,1),19991(a,1,1,2,1,2)),demod(13937(4),7726(4),11609(6),11609(12))]. given #677 (F,wt=17): 22161 f(f(c_0,f(f(x,y),f(z,x))),f(x,f(x,y))) = x # label(false). [para(14152(a,1),19991(a,1,1,2,1,2)),demod(13937(4),7863(4),14152(6),14152(12))]. given #678 (T,wt=11): 17226 f(x,f(f(x,c_0),y)) = f(x,c_0). [para(15710(a,1),15580(a,1,1)),demod(13937(7),15710(7),15735(6,R),16775(6),16248(8))]. given #679 (A,wt=47): 11388 f(f(x,y),f(y,f(f(y,f(f(f(f(y,z),f(f(y,x),f(y,z))),y),f(y,z))),f(f(f(y,y),u),f(f(f(u,f(f(y,v),u)),y),f(y,w)))))) = y. [back_demod(11183),demod(11241(6),11241(15))]. given #680 (F,wt=17): 22397 f(f(c_0,f(f(x,f(x,y)),f(x,z))),f(x,y)) = x # label(false). [para(15357(a,1),22154(a,1,1,2,2))]. given #681 (F,wt=17): 22444 f(f(c_0,f(f(x,f(y,x)),f(x,z))),f(y,x)) = x # label(false). [para(15357(a,1),22156(a,1,1,2,2))]. given #682 (F,wt=17): 22517 f(f(c_0,f(f(x,y),f(y,z))),f(y,f(x,y))) = y # label(false). [para(15357(a,1),22159(a,1,1,2,2))]. given #683 (F,wt=17): 22561 f(f(c_0,f(f(x,y),f(x,z))),f(x,f(x,y))) = x # label(false). [para(15357(a,1),22161(a,1,1,2,2))]. given #684 (T,wt=11): 17327 f(f(x,f(y,c_0)),y) = f(y,y). [para(15734(a,2),47(a,1,1,2))]. given #685 (A,wt=31): 11391 f(f(x,y),f(y,f(f(y,f(f(f(f(y,z),f(f(y,x),f(y,z))),y),f(y,z))),f(u,y)))) = y. [back_demod(11180),demod(11241(6))]. given #686 (F,wt=19): 20094 f(f(f(c_0,x),y),f(f(x,x),f(f(c_0,x),y))) = f(x,x) # label(false). [para(15741(a,1),11308(a,1,1,1,2,1,1,2,1)),demod(2107(9),11241(6),15301(6),15741(12),20061(10),15335(7,R),15741(9),20061(7),15741(10),20090(8),15741(13))]. given #687 (F,wt=19): 20101 f(f(x,x),f(f(x,x),f(f(c_0,x),y))) = f(f(c_0,x),y) # label(false). [para(15741(a,1),19251(a,1,2)),demod(15747(7),20090(5),13937(7))]. given #688 (F,wt=19): 20159 f(f(f(x,x),f(y,f(x,x))),f(c_0,x)) = f(y,f(x,x)) # label(false). [para(2106(a,1),16214(a,1,2,2))]. given #689 (F,wt=19): 20235 f(f(f(x,c_0),f(y,f(x,c_0))),f(c_0,x)) = f(y,f(x,c_0)) # label(false). [para(16859(a,1),16214(a,1,2,2))]. given #690 (T,wt=11): 17328 f(f(f(x,c_0),y),x) = f(x,x). [para(15734(a,2),56(a,1,1,1))]. given #691 (A,wt=47): 11392 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(f(f(y,z),u),f(f(f(y,z),x),f(f(y,z),u))),f(y,z)),f(f(y,z),u))),y))) = f(y,z). [back_demod(11179),demod(11241(12))]. given #692 (F,wt=19): 20795 f(f(x,f(c_0,y)),f(f(y,y),f(x,f(c_0,y)))) = f(y,y) # label(false). [para(18414(a,1),14152(a,1,2,2)),demod(20090(8),18414(8))]. given #693 (F,wt=19): 20825 f(f(x,x),f(f(c_0,x),f(f(c_0,x),y))) = f(f(c_0,x),y) # label(false). [para(15357(a,1),18414(a,1,2,2)),demod(20479(16),16248(15))]. given #694 (F,wt=19): 20844 f(f(c_0,x),f(f(x,x),f(y,f(c_0,x)))) = f(y,f(c_0,x)) # label(false). [para(15335(a,2),18861(a,1,1))]. given #695 (F,wt=19): 20846 f(f(x,c_0),f(f(x,x),f(y,f(c_0,x)))) = f(y,f(c_0,x)) # label(false). [para(15734(a,2),18861(a,1,1))]. given #696 (T,wt=11): 17467 f(x,f(c_0,f(f(c_0,x),y))) = c_0. [para(15355(a,1),16765(a,1,2,2,2)),demod(16248(4))]. given #697 (A,wt=31): 11395 f(f(x,y),f(y,f(f(y,f(f(f(f(z,y),f(f(y,x),f(z,y))),y),f(z,y))),f(y,u)))) = y. [back_demod(11176),demod(11241(6))]. given #698 (F,wt=17): 23158 f(f(x,f(x,y)),f(x,f(f(y,x),f(x,z)))) = x # label(false). [para(19251(a,1),11395(a,1,2,2,1,2,1,1,2)),demod(13937(2),11241(4),13937(5),7726(5),15335(5,R),15306(6))]. given #699 (F,wt=17): 23180 f(f(x,f(x,y)),f(x,f(f(y,x),f(z,x)))) = x # label(false). [para(7726(a,1),23158(a,1,2,2,2))]. given #700 (F,wt=19): 20852 f(f(c_0,x),f(f(c_0,x),f(y,f(x,x)))) = f(y,f(x,x)) # label(false). [para(15335(a,2),18863(a,1,1))]. given #701 (F,wt=19): 20853 f(f(x,c_0),f(f(c_0,x),f(y,f(x,x)))) = f(y,f(x,x)) # label(false). [para(15734(a,2),18863(a,1,1))]. given #702 (T,wt=11): 18864 f(x,f(c_0,y)) = f(x,f(y,y)). [para(15335(a,2),11308(a,1,2,2,2)),demod(47(4),15299(3),15355(4),2788(4),15335(3,R),15355(3),2788(3),18861(7))]. given #703 (A,wt=47): 11396 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(f(u,f(y,z)),f(f(f(y,z),x),f(u,f(y,z)))),f(y,z)),f(u,f(y,z)))),z))) = f(y,z). [back_demod(11175),demod(11241(12))]. given #704 (F,wt=19): 20865 f(f(x,x),f(f(c_0,x),f(f(x,x),y))) = f(f(x,x),y) # label(false). [para(15357(a,1),18863(a,1,2,2)),demod(15357(13))]. given #705 (F,wt=19): 20918 f(f(x,x),f(f(x,x),f(y,f(x,c_0)))) = f(y,f(x,c_0)) # label(false). [para(18876(a,1),7863(a,1,2,2)),demod(18876(15))]. given #706 (F,wt=19): 20921 f(f(x,f(y,c_0)),f(f(y,y),f(x,f(y,c_0)))) = f(y,y) # label(false). [para(18876(a,1),14577(a,1,1)),demod(18876(12))]. given #707 (F,wt=19): 20933 f(f(c_0,x),f(f(x,c_0),f(y,f(x,c_0)))) = f(y,f(x,c_0)) # label(false). [para(15335(a,2),18876(a,1,1))]. given #708 (T,wt=11): 18882 f(x,f(y,c_0)) = f(x,f(y,y)). [para(15734(a,1),11308(a,2,2)),demod(17327(6),15299(4),16775(6),17225(6),15335(5,R),16775(4),17225(4),7726(9))]. given #709 (A,wt=47): 11397 f(f(x,y),f(y,f(f(y,f(f(f(f(z,y),f(f(y,x),f(z,y))),y),f(z,y))),f(f(f(y,y),u),f(f(f(u,f(f(y,v),u)),y),f(y,w)))))) = y. [back_demod(11174),demod(11241(6),11241(15))]. given #710 (F,wt=19): 20942 f(f(x,x),f(f(c_0,x),f(y,f(x,c_0)))) = f(y,f(x,c_0)) # label(false). [para(15735(a,2),18876(a,1,2,1))]. given #711 (F,wt=19): 20962 f(f(x,x),f(f(x,c_0),f(f(x,c_0),y))) = f(f(x,c_0),y) # label(false). [para(15357(a,1),18876(a,1,2,2)),demod(20357(16),16248(15))]. given #712 (F,wt=19): 20991 f(f(c_0,x),f(f(x,x),f(y,f(x,c_0)))) = f(y,f(x,c_0)) # label(false). [para(15735(a,2),18877(a,1,1))]. given #713 (F,wt=19): 20998 f(f(x,c_0),f(f(x,x),f(f(x,c_0),y))) = f(f(x,c_0),y) # label(false). [para(15357(a,1),18877(a,1,2,2)),demod(20357(16),16248(15))]. given #714 (T,wt=11): 18894 f(x,f(c_0,y)) = f(x,f(y,c_0)). [para(15735(a,1),11308(a,2,2)),demod(15735(8,R),16248(9),11241(8),11241(12),11609(12),15335(5,R),16248(4),15740(4),18414(8))]. given #715 (A,wt=31): 11400 f(f(x,y),f(y,f(f(y,f(f(f(f(z,y),f(f(y,x),f(z,y))),y),f(z,y))),f(u,y)))) = y. [back_demod(11171),demod(11241(6))]. given #716 (F,wt=19): 21015 f(f(x,f(y,c_0)),f(f(y,c_0),f(x,f(y,y)))) = f(y,c_0) # label(false). [para(18878(a,2),11609(a,1,2,2)),demod(7863(14))]. given #717 (F,wt=19): 21019 f(f(f(x,c_0),f(y,f(x,x))),f(y,f(x,c_0))) = f(x,c_0) # label(false). [para(18878(a,1),14577(a,1,2))]. given #718 (F,wt=19): 21101 f(f(x,c_0),f(f(x,c_0),f(y,f(x,x)))) = f(y,f(x,x)) # label(false). [para(15734(a,1),18878(a,2,2))]. given #719 (F,wt=19): 21132 f(f(x,f(y,y)),f(f(y,c_0),f(x,f(y,y)))) = f(y,c_0) # label(false). [para(18878(a,1),11241(a,1,1)),demod(21015(9),21101(15),11241(10)),flip(a)]. given #720 (T,wt=11): 19175 f(f(c_0,f(x,y)),f(c_0,y)) = c_0. [para(2107(a,1),15302(a,1,2,2)),demod(15335(3,R))]. given #721 (A,wt=47): 11401 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(f(u,f(y,z)),f(f(f(y,z),x),f(u,f(y,z)))),f(y,z)),f(u,f(y,z)))),y))) = f(y,z). [back_demod(11170),demod(11241(12))]. given #722 (F,wt=19): 21183 f(f(f(x,c_0),f(y,f(x,c_0))),f(y,f(x,x))) = f(x,c_0) # label(false). [para(18878(a,1),19251(a,1,1,2)),demod(13937(14),21101(14))]. given #723 (F,wt=19): 21186 f(f(f(x,c_0),f(f(x,c_0),y)),f(y,f(x,x))) = f(x,c_0) # label(false). [para(18878(a,2),19251(a,1,2)),demod(21101(14))]. given #724 (F,wt=19): 21306 f(f(x,f(y,y)),f(f(y,c_0),f(f(y,c_0),x))) = f(y,c_0) # label(false). [back_demod(21017),demod(21101(8))]. given #725 (F,wt=19): 21307 f(f(x,f(y,y)),f(f(y,c_0),f(x,f(y,c_0)))) = f(y,c_0) # label(false). [back_demod(21014),demod(21101(8))]. given #726 (T,wt=11): 19176 f(f(c_0,f(f(x,x),y)),x) = c_0. [para(2590(a,1),15302(a,1,2,2)),demod(15335(5,R),15355(7))]. given #727 (A,wt=43): 11420 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(z,f(f(f(y,z),x),z)),f(y,z)),f(f(y,z),x))),f(f(y,z),u)))) = f(y,z). [back_demod(11150),demod(11241(8))]. given #728 (F,wt=19): 21320 f(f(x,x),f(f(x,c_0),f(f(x,x),y))) = f(f(x,x),y) # label(false). [para(13937(a,1),21185(a,1,1,2)),demod(14577(7))]. given #729 (F,wt=19): 21400 f(f(x,c_0),f(f(x,x),f(f(x,x),y))) = f(f(x,x),y) # label(false). [para(13937(a,1),21303(a,1,2,2)),demod(21162(5),14577(17),21161(12),7863(13))]. given #730 (F,wt=19): 21457 f(f(x,c_0),f(f(x,c_0),f(f(x,x),y))) = f(f(x,x),y) # label(false). [para(13937(a,1),21305(a,1,2,2)),demod(14577(12),21161(7))]. given #731 (F,wt=19): 21462 f(f(c_0,x),f(f(x,c_0),f(y,f(c_0,x)))) = f(y,f(c_0,x)) # label(false). [para(11241(a,1),21316(a,1,1,2)),demod(11609(10))]. given #732 (T,wt=11): 19177 f(f(c_0,f(x,f(y,y))),y) = c_0. [para(2788(a,1),15302(a,1,2,2)),demod(15335(5,R),15355(7))]. given #733 (A,wt=39): 11421 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(z,f(f(f(y,z),x),z)),f(y,z)),f(f(y,z),x))),z))) = f(y,z) # label(false). [back_demod(11149),demod(11241(8))]. given #734 (F,wt=19): 21465 f(f(c_0,x),f(f(x,c_0),f(f(c_0,x),y))) = f(f(c_0,x),y) # label(false). [para(13937(a,1),21316(a,1,1,2)),demod(14577(10))]. given #735 (F,wt=19): 21728 f(f(c_0,x),f(f(x,x),f(f(c_0,x),y))) = f(f(c_0,x),y) # label(false). [para(16944(a,1),21456(a,1,1)),demod(16248(9),16248(12),15335(13,R),16248(12),15747(9),20090(7),16248(15))]. given #736 (F,wt=19): 21791 f(f(x,c_0),f(f(c_0,x),f(f(x,c_0),y))) = f(f(x,c_0),y) # label(false). [para(13937(a,1),21546(a,1,1,2)),demod(14577(10))]. given #737 (F,wt=19): 21880 f(f(c_0,x),f(f(x,x),f(y,f(x,x)))) = f(y,f(x,x)) # label(false). [para(15735(a,2),18879(a,1,1))]. given #738 (T,wt=11): 19192 f(f(x,c_0),f(c_0,f(y,x))) = c_0. [para(15734(a,2),15302(a,1,1))]. given #739 (A,wt=43): 11422 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(z,f(f(f(y,z),x),z)),f(y,z)),f(f(y,z),x))),f(u,f(y,z))))) = f(y,z). [back_demod(11148),demod(11241(8))]. given #740 (F,wt=19): 21902 f(f(c_0,x),f(f(x,c_0),f(y,f(x,x)))) = f(y,f(x,x)) # label(false). [para(15335(a,2),18880(a,1,1))]. given #741 (F,wt=19): 21910 f(f(x,c_0),f(f(x,c_0),f(y,f(c_0,x)))) = f(y,f(c_0,x)) # label(false). [para(7726(a,1),18889(a,1,2,1)),demod(16775(4),16775(9),16775(14))]. given #742 (F,wt=19): 21912 f(f(x,f(c_0,y)),f(f(y,c_0),f(x,f(c_0,y)))) = f(y,c_0) # label(false). [para(18889(a,1),14577(a,1,1)),demod(18889(14))]. given #743 (F,wt=19): 21947 f(f(x,c_0),f(f(c_0,x),f(f(c_0,x),y))) = f(f(c_0,x),y) # label(false). [para(15357(a,1),18889(a,1,2,2)),demod(20479(17),16248(16))]. given #744 (T,wt=11): 19203 f(x,f(c_0,f(y,f(c_0,x)))) = c_0. [para(15743(a,1),15302(a,1,1))]. given #745 (A,wt=39): 11423 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(z,f(f(f(y,z),x),z)),f(y,z)),f(f(y,z),x))),y))) = f(y,z). [back_demod(11147),demod(11241(8))]. given #746 (F,wt=19): 22047 f(f(x,x),f(f(x,c_0),f(f(c_0,x),y))) = f(f(c_0,x),y) # label(false). [para(15357(a,1),18890(a,1,2,2)),demod(20479(16),16248(15))]. given #747 (F,wt=19): 22049 f(f(c_0,x),f(f(c_0,x),f(y,f(x,c_0)))) = f(y,f(x,c_0)) # label(false). [para(15735(a,2),18892(a,1,1))]. given #748 (F,wt=19): 22063 f(f(x,f(c_0,y)),f(f(y,c_0),f(x,f(y,c_0)))) = f(y,y) # label(false). [para(7726(a,1),19712(a,1,2,1,2)),demod(16775(5),16775(10),16775(10),21134(8),16775(14),16775(14))]. given #749 (F,wt=19): 22070 f(f(x,f(c_0,y)),f(f(y,y),f(x,f(y,y)))) = f(y,y) # label(false). [para(15335(a,1),19712(a,1,2,1,2)),demod(11241(7))]. given #750 (T,wt=11): 19219 f(x,f(c_0,f(y,f(x,c_0)))) = c_0. [para(16859(a,1),15302(a,1,1))]. given #751 (A,wt=43): 11425 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(y,f(f(f(y,z),x),y)),f(y,z)),f(f(y,z),x))),f(f(y,z),u)))) = f(y,z). [back_demod(11145),demod(11241(8))]. given #752 (F,wt=19): 22082 f(f(x,f(y,c_0)),f(f(c_0,y),f(x,f(c_0,y)))) = f(y,y) # label(false). [para(16208(a,1),19712(a,1,1,2)),demod(16775(9),17225(9),16775(8),16775(11),17225(11),16775(10),16775(11),17225(11),16775(10),22080(8),16775(15),17225(15),16775(14),16775(15),17225(15),16775(14))]. given #753 (F,wt=19): 22127 f(f(x,f(y,y)),f(f(c_0,y),f(x,f(c_0,y)))) = f(y,y) # label(false). [back_demod(22069),demod(22080(7))]. given #754 (F,wt=19): 22157 f(f(c_0,f(x,f(y,f(z,x)))),f(x,f(z,x))) = f(z,x) # label(false). [para(7726(a,1),19991(a,1,1,2,1,2)),demod(11241(5),11609(5),7726(4),7726(11))]. given #755 (F,wt=19): 22158 f(f(c_0,f(x,f(y,f(x,z)))),f(x,f(x,z))) = f(x,z) # label(false). [para(7863(a,1),19991(a,1,1,2,1,2)),demod(11241(5),14577(5),7863(4),7863(11))]. given #756 (T,wt=11): 19491 f(f(c_0,f(x,y)),f(x,c_0)) = c_0. [para(15734(a,2),15707(a,1,2))]. given #757 (A,wt=39): 11426 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(y,f(f(f(y,z),x),y)),f(y,z)),f(f(y,z),x))),z))) = f(y,z). [back_demod(11144),demod(11241(8))]. given #758 (F,wt=19): 22223 f(f(c_0,f(f(x,f(x,y)),f(z,f(x,y)))),x) = f(x,y) # label(false). [para(15357(a,1),19991(a,1,1,2,1,2)),demod(15357(7),15357(12))]. given #759 (F,wt=19): 22224 f(f(c_0,f(f(x,f(y,x)),f(f(y,x),z))),x) = f(y,x) # label(false). [para(15357(a,1),19991(a,1,1,2,2))]. given #760 (F,wt=19): 22623 f(f(c_0,f(f(x,f(x,y)),f(f(x,y),z))),x) = f(x,y) # label(false). [para(87(a,1),22397(a,1,1,2,1,2)),demod(13937(3),87(10))]. given #761 (F,wt=19): 22638 f(f(c_0,f(x,f(f(y,x),z))),f(x,f(y,x))) = f(y,x) # label(false). [para(11241(a,1),22397(a,1,1,2,1,2)),demod(11609(5),11241(7))]. given #762 (T,wt=11): 19499 f(f(c_0,f(f(c_0,x),y)),x) = c_0. [para(15743(a,1),15707(a,1,2))]. given #763 (A,wt=43): 11427 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(y,f(f(f(y,z),x),y)),f(y,z)),f(f(y,z),x))),f(u,f(y,z))))) = f(y,z). [back_demod(11143),demod(11241(8))]. given #764 (F,wt=19): 22647 f(f(c_0,f(x,f(f(x,y),z))),f(x,f(x,y))) = f(x,y) # label(false). [para(13937(a,1),22397(a,1,1,2,1,2)),demod(14577(5),13937(7))]. given #765 (F,wt=19): 22835 f(f(f(x,c_0),y),f(f(x,x),f(f(c_0,x),y))) = f(x,x) # label(false). [para(7726(a,1),20094(a,1,1,1)),demod(16775(7),16775(7),16775(9),16775(13),16775(13))]. given #766 (F,wt=19): 22836 f(f(f(c_0,x),y),f(f(x,x),f(f(x,c_0),y))) = f(x,x) # label(false). [para(7726(a,1),20094(a,1,2,2,1)),demod(16775(5),16775(7),16775(7),16775(13),16775(13))]. given #767 (F,wt=19): 22840 f(f(f(x,x),y),f(f(x,x),f(f(c_0,x),y))) = f(x,x) # label(false). [para(15335(a,1),20094(a,1,1,1))]. given #768 (T,wt=11): 19506 f(f(c_0,f(f(x,c_0),y)),x) = c_0. [para(16859(a,1),15707(a,1,2))]. given #769 (A,wt=39): 11428 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,z),f(f(f(y,f(f(f(y,z),x),y)),f(y,z)),f(f(y,z),x))),y))) = f(y,z) # label(false). [back_demod(11142),demod(11241(8))]. given #770 (F,wt=19): 22841 f(f(f(c_0,x),y),f(f(x,x),f(f(x,x),y))) = f(x,x) # label(false). [para(15335(a,1),20094(a,1,2,2,1))]. given #771 (F,wt=19): 22843 f(f(f(c_0,x),y),f(f(x,c_0),f(f(c_0,x),y))) = f(x,x) # label(false). [para(15734(a,2),20094(a,1,2,1))]. given #772 (F,wt=19): 22853 f(f(x,f(y,y)),f(f(c_0,y),f(x,f(y,y)))) = f(y,y) # label(false). [para(18863(a,1),20094(a,1,2)),demod(11241(8))]. given #773 (F,wt=19): 22872 f(f(x,c_0),f(f(x,x),f(f(c_0,x),y))) = f(f(c_0,x),y) # label(false). [para(15734(a,2),20101(a,1,1))]. given #774 (T,wt=11): 19758 f(f(c_0,f(x,f(c_0,y))),y) = c_0. [para(15740(a,1),15302(a,1,2,2)),demod(15335(7,R),15355(8))]. given #775 (A,wt=47): 11433 f(f(x,y),f(y,f(f(y,f(f(f(f(y,z),f(f(y,x),f(y,z))),y),f(y,x))),f(f(f(y,y),u),f(f(f(u,f(f(v,y),u)),y),f(y,w)))))) = y. [back_demod(11137),demod(11241(6),11241(15))]. given #776 (F,wt=19): 22966 f(f(c_0,x),f(f(x,x),f(f(x,x),y))) = f(f(x,x),y) # label(false). [back_demod(22131),demod(22929(7))]. given #777 (F,wt=19): 22967 f(f(x,f(y,c_0)),f(f(c_0,y),f(x,f(y,c_0)))) = f(c_0,y) # label(false). [para(2