============================== Prover9 =============================== Prover9 (32) version June-2006C, June 2006. Process 14502 was started by mccune on cleo.thornwood, Mon Jun 19 18:50:04 2006 The command was "/home/mccune/bin/prover9 -f MOL-M.in MOL-M-interp.outx". ============================== end of head =========================== ============================== INPUT ================================= % Reading from file MOL-M.in assign(max_weight,60). assign(new_constants,1). assign(age_part,1). assign(false_part,4). assign(true_part,1). assign(max_hours,6). % assign(max_hours, 6) -> assign(max_seconds, 21600). 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(y,f(x,f(z,z)))) = f(x,f(z,f(x,f(y,y)))) # answer(MOD_SS). end_of_list. % Reading from file MOL-M-interp.outx terms(interpretations). interpretation(10,[number = 1,seconds = 0],[function(A,[2]),function(B,[3]),function(C,[4]),function(f(_,_),[1,1,1,1,1,1,1,1,1,1,1,0,5,9,6,2,4,8,7,3,1,5,5,1,6,1,7,6,7,1,1,9,1,9,1,1,1,1,1,1,1,6,6,1,6,1,1,6,1,1,1,2,1,1,1,2,2,2,1,1,1,4,7,1,1,2,4,2,7,1,1,8,6,1,6,2,2,8,1,1,1,7,7,1,1,1,7,1,7,1,1,3,1,1,1,1,1,1,1,3])]). end_of_list. ============================== end of input ========================== ============================== PROCESS GOALS ========================= % Each goal clause was negated; the result (to be placed in sos): clauses(negated_goals). f(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_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(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_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(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [copy(2)]. ============================== 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(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [clausify]. 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(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [clausify]. 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=13): 94 f(x,f(f(y,x),f(y,x))) = f(y,x). [para(3(a,1),87(a,1,1))]. given #15 (F,wt=13): 105 f(x,f(f(x,y),f(x,y))) = f(x,y). [para(87(a,1),87(a,1,1))]. given #16 (F,wt=15): 58 f(f(x,y),f(y,f(f(y,y),f(y,z)))) = y. [back_demod(38),demod(47(7))]. given #17 (F,wt=15): 162 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 #18 (T,wt=17): 153 f(x,f(f(x,x),f(x,f(f(x,x),y)))) = f(x,x). [para(21(a,1),58(a,1,1)),demod(87(4))]. 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=17): 176 f(x,f(f(x,x),f(x,f(y,f(x,x))))) = f(x,x). [para(21(a,1),162(a,1,1)),demod(87(4))]. given #21 (F,wt=21): 41 f(f(x,f(y,y)),f(f(y,y),f(y,f(f(y,y),z)))) = f(y,y). [para(21(a,1),3(a,1,2,2,1)),demod(21(5))]. given #22 (F,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 #23 (F,wt=21): 157 f(f(x,f(f(x,x),f(x,y))),f(x,f(f(x,x),f(x,y)))) = x. [para(58(a,1),56(a,1)),flip(a)]. given #24 (T,wt=13): 235 f(x,f(f(x,x),f(x,y))) = f(x,x). [para(157(a,1),21(a,1,1)),demod(157(9)),flip(a)]. 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=13): 249 f(f(x,x),f(x,f(f(x,x),y))) = x. [para(21(a,1),235(a,1,2,1)),demod(87(8))]. given #27 (F,wt=13): 256 f(x,f(f(x,x),f(y,x))) = f(x,x). [para(94(a,1),235(a,1,2,2))]. given #28 (F,wt=13): 269 f(f(x,x),f(x,f(y,f(x,x)))) = x. [para(94(a,1),249(a,1,2,2))]. given #29 (F,wt=19): 288 f(f(f(f(x,x),x),f(f(x,x),x)),x) = f(f(x,x),x). [para(45(a,1),269(a,1,2,2)),demod(206(13),56(14),87(11)),flip(a)]. given #30 (T,wt=21): 227 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 #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=21): 228 f(f(x,x),f(f(f(x,x),x),f(f(f(x,x),x),f(y,x)))) = x. [para(94(a,1),79(a,1,2,2,2))]. given #33 (F,wt=21): 245 f(f(x,y),f(f(f(x,y),f(x,y)),y)) = f(f(x,y),f(x,y)). [para(3(a,1),235(a,1,2,2))]. given #34 (F,wt=21): 255 f(f(x,y),f(f(f(x,y),f(x,y)),x)) = f(f(x,y),f(x,y)). [para(87(a,1),235(a,1,2,2))]. given #35 (F,wt=21): 289 f(f(f(x,f(x,x)),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(64(a,1),269(a,1,2,2)),demod(87(3),87(5),87(10),87(12),207(15),87(8),87(10),87(15),56(15),87(11),87(5),87(7)),flip(a)]. given #36 (T,wt=21): 303 f(f(f(f(x,x),x),f(f(f(x,x),x),f(y,x))),f(x,x)) = x. [para(94(a,1),227(a,1,1,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=23): 224 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),79(a,1,1)),demod(87(3),87(5))]. given #39 (F,wt=23): 264 f(f(x,x),f(x,f(f(f(x,f(x,f(f(x,x),y))),x),f(x,z)))) = x. [para(249(a,1),3(a,1,2,2,1,1,1)),demod(249(6))]. given #40 (F,wt=23): 284 f(f(x,x),f(x,f(f(f(x,f(x,f(y,f(x,x)))),x),f(x,z)))) = x. [para(269(a,1),3(a,1,2,2,1,1,1)),demod(269(6))]. given #41 (F,wt=23): 300 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),227(a,1,1,1,1)),demod(87(5),87(11))]. given #42 (T,wt=23): 321 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),228(a,1,1)),demod(87(3),87(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=23): 342 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),303(a,1,1,1,1)),demod(87(5),87(11))]. given #45 (F,wt=23): 364 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),264(a,1,2,2,2))]. given #46 (F,wt=17): 402 f(f(x,x),f(f(x,f(x,f(f(x,x),y))),x)) = x. [para(94(a,1),364(a,1,2))]. given #47 (F,wt=17): 411 f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),x)) = x. [para(94(a,1),402(a,1,2,1,2,2))]. given #48 (T,wt=21): 410 f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,x))) = f(x,x). [para(21(a,1),402(a,1,1)),demod(87(5))]. 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=21): 420 f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,x))) = f(x,x). [para(21(a,1),411(a,1,1)),demod(87(5))]. given #51 (F,wt=23): 371 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),284(a,1,2,2,2))]. given #52 (F,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 #53 (F,wt=19): 479 f(x,f(f(f(x,x),x),f(x,f(f(x,x),y)))) = f(x,x). [para(303(a,1),40(a,1,2,2,1)),demod(21(4),87(3),94(6))]. given #54 (T,wt=19): 481 f(f(x,x),f(f(x,f(x,x)),f(f(x,x),f(x,y)))) = x. [para(342(a,1),40(a,1,2,2,1)),demod(47(3),94(8))]. 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=19): 489 f(f(f(f(x,x),x),f(x,f(f(x,x),y))),x) = f(x,x). [para(479(a,1),94(a,1,2,1)),demod(479(14),87(9),479(14))]. given #57 (F,wt=19): 490 f(x,f(f(f(x,x),x),f(x,f(y,f(x,x))))) = f(x,x). [para(94(a,1),479(a,1,2,2,2))]. given #58 (F,wt=19): 505 f(f(f(x,f(x,x)),f(f(x,x),f(x,y))),f(x,x)) = x. [para(481(a,1),94(a,1,2,1)),demod(481(14),481(16))]. given #59 (F,wt=19): 506 f(f(x,x),f(f(x,f(x,x)),f(f(x,x),f(y,x)))) = x. [para(94(a,1),481(a,1,2,2,2))]. given #60 (T,wt=19): 526 f(f(f(f(x,x),x),f(x,f(y,f(x,x)))),x) = f(x,x). [para(94(a,1),489(a,1,1,2,2))]. 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=19): 539 f(f(f(x,f(x,x)),f(f(x,x),f(y,x))),f(x,x)) = x. [para(94(a,1),505(a,1,1,2,2))]. given #63 (F,wt=21): 468 f(f(f(x,x),x),f(f(f(x,x),x),f(f(x,x),f(x,y)))) = x. [para(56(a,1),40(a,1,2,2,1)),demod(87(6))]. given #64 (F,wt=19): 575 f(f(f(f(x,x),x),f(f(x,x),f(x,y))),f(x,x)) = x. [para(468(a,1),94(a,1,2,1)),demod(468(15),468(17))]. given #65 (F,wt=19): 586 f(f(f(x,f(x,x)),f(x,f(f(x,x),y))),x) = f(x,x). [para(21(a,1),575(a,1,1,1,1)),demod(87(5),87(9))]. given #66 (T,wt=19): 589 f(f(f(f(x,x),x),f(f(x,x),f(y,x))),f(x,x)) = x. [para(94(a,1),575(a,1,1,2,2))]. given #67 (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 #68 (F,wt=15): 621 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),249(27),47(23),87(9),87(3),87(6)),flip(a)]. given #69 (F,wt=15): 636 f(f(x,f(x,x)),f(x,f(y,f(x,x)))) = x. [para(94(a,1),621(a,1,2,2))]. given #70 (F,wt=17): 635 f(f(f(x,x),x),f(f(x,x),f(x,y))) = f(x,x). [para(21(a,1),621(a,1,1,2)),demod(87(6))]. given #71 (F,wt=17): 650 f(f(f(x,x),x),f(f(x,x),f(y,x))) = f(x,x). [para(21(a,1),636(a,1,1,2)),demod(87(6))]. given #72 (T,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 #73 (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))]. given #74 (F,wt=23): 674 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 #75 (F,wt=23): 714 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),674(a,1,1,2,2))]. given #76 (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 #77 (F,wt=25): 123 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 #78 (T,wt=25): 124 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 #79 (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 #80 (F,wt=25): 473 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 #81 (F,wt=25): 475 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 #82 (F,wt=25): 630 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(621(a,1),3(a,1,2,2,1,1,1)),demod(249(7))]. given #83 (F,wt=25): 645 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(636(a,1),3(a,1,2,2,1,1,1)),demod(269(7))]. given #84 (T,wt=25): 676 f(f(f(x,x),y),f(f(f(y,y),x),f(f(f(f(x,x),x),y),f(z,y)))) = y. [para(94(a,1),69(a,1,2,2,2))]. given #85 (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 #86 (F,wt=25): 709 f(f(f(x,y),f(f(f(f(y,y),y),f(x,x)),f(f(x,x),z))),x) = f(x,x). [para(21(a,1),674(a,1,1,1,1)),demod(87(12))]. given #87 (F,wt=25): 723 f(f(f(x,y),f(f(f(f(y,y),y),f(x,x)),f(z,f(x,x)))),x) = f(x,x). [para(21(a,1),714(a,1,1,1,1)),demod(87(12))]. given #88 (F,wt=25): 724 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),714(a,1,1,2,1,1,1))]. given #89 (F,wt=25): 737 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 #90 (T,wt=25): 738 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 #91 (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 #92 (F,wt=25): 755 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(123(a,1),94(a,1,2,1)),demod(123(20),123(22))]. given #93 (F,wt=25): 810 f(f(f(x,x),x),f(x,f(f(f(x,f(x,f(f(x,x),y))),x),f(z,x)))) = x. [para(621(a,1),123(a,1,2,2,1,1,1)),demod(249(7))]. given #94 (F,wt=19): 1068 f(f(f(x,x),x),f(f(x,f(x,f(f(x,x),y))),x)) = x. [para(94(a,1),810(a,1,2))]. given #95 (F,wt=15): 1082 f(f(x,f(x,f(f(x,x),y))),x) = f(x,x). [para(1068(a,1),45(a,1,2,2,1)),demod(402(7),21(14)),flip(a)]. given #96 (T,wt=15): 1092 f(f(x,f(x,f(y,f(x,x)))),x) = f(x,x). [para(94(a,1),1082(a,1,1,2,2))]. given #97 (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 #98 (F,wt=17): 1083 f(f(f(x,x),f(f(x,x),f(x,y))),f(x,x)) = x. [para(1068(a,1),64(a,1,2,2,1)),demod(87(5),410(8),87(6),87(13),87(21),47(19),87(3),87(5)),flip(a)]. given #99 (F,wt=17): 1094 f(f(x,x),f(x,f(x,f(x,f(f(x,x),y))))) = x. [para(1082(a,1),255(a,1,1)),demod(1082(6),1082(7),87(4),1082(12),1082(13),87(10))]. given #100 (F,wt=17): 1108 f(f(f(x,x),f(f(x,x),f(y,x))),f(x,x)) = x. [para(21(a,1),1092(a,1,1,2,2,2)),demod(87(10))]. given #101 (F,wt=17): 1111 f(f(x,x),f(x,f(x,f(x,f(y,f(x,x)))))) = x. [para(1092(a,1),255(a,1,1)),demod(1092(6),1092(7),87(4),1092(12),1092(13),87(10))]. given #102 (T,wt=21): 1137 f(x,f(f(x,x),f(f(x,x),f(f(x,x),f(x,y))))) = f(x,x). [para(1083(a,1),255(a,1,1)),demod(1083(7),1083(7),1083(15),1083(15))]. given #103 (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 #104 (F,wt=21): 1157 f(x,f(f(x,x),f(f(x,x),f(f(x,x),f(y,x))))) = f(x,x). [para(1108(a,1),255(a,1,1)),demod(1108(7),1108(7),1108(15),1108(15))]. given #105 (F,wt=25): 834 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),124(a,1,1,2,1,1,1,1))]. given #106 (F,wt=23): 1205 f(f(f(x,f(x,f(f(x,x),y))),f(x,f(f(x,x),z))),x) = f(x,x). [para(621(a,1),834(a,1,1,2,1,1,1)),demod(87(3),87(10),87(11))]. given #107 (F,wt=23): 1206 f(f(f(x,f(x,f(y,f(x,x)))),f(x,f(f(x,x),z))),x) = f(x,x). [para(636(a,1),834(a,1,1,2,1,1,1)),demod(87(3),87(10),87(11))]. given #108 (T,wt=23): 1217 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),1205(a,1,1,2,2))]. given #109 (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 #110 (F,wt=23): 1225 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),1206(a,1,1,2,2))]. given #111 (F,wt=25): 964 f(f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(z,f(x,x)))),x) = f(x,x). [para(94(a,1),737(a,1,1,2,2))]. given #112 (F,wt=25): 1050 f(f(f(f(x,x),y),f(f(f(f(f(z,x),y),y),x),f(u,x))),f(x,x)) = x. [para(94(a,1),755(a,1,1,2,1,1,1,1))]. given #113 (F,wt=25): 1207 f(f(f(f(x,x),f(f(x,x),f(x,y))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(635(a,1),834(a,1,1,2,1,1,1)),demod(56(11))]. given #114 (T,wt=25): 1208 f(f(f(f(x,x),f(f(x,x),f(y,x))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(650(a,1),834(a,1,1,2,1,1,1)),demod(56(11))]. given #115 (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 #116 (F,wt=25): 1218 f(f(x,x),f(x,f(f(x,f(x,f(f(x,x),y))),f(x,f(f(x,x),z))))) = x. [para(1205(a,1),255(a,1,1)),demod(1205(10),1205(11),87(4),1205(20),1205(21),87(14))]. given #117 (F,wt=25): 1226 f(f(x,x),f(x,f(f(x,f(x,f(y,f(x,x)))),f(x,f(f(x,x),z))))) = x. [para(1206(a,1),255(a,1,1)),demod(1206(10),1206(11),87(4),1206(20),1206(21),87(14))]. given #118 (F,wt=25): 1232 f(f(f(f(x,x),f(f(x,x),f(x,y))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(21(a,1),1217(a,1,1,1,2,2,1)),demod(87(9),87(14))]. given #119 (F,wt=25): 1234 f(f(x,x),f(x,f(f(x,f(x,f(f(x,x),y))),f(x,f(z,f(x,x)))))) = x. [para(1217(a,1),255(a,1,1)),demod(1217(10),1217(11),87(4),1217(20),1217(21),87(14))]. given #120 (T,wt=25): 1244 f(f(f(f(x,x),f(f(x,x),f(y,x))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(21(a,1),1225(a,1,1,1,2,2,2)),demod(87(9),87(14))]. given #121 (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 #122 (F,wt=25): 1246 f(f(x,x),f(x,f(f(x,f(x,f(y,f(x,x)))),f(x,f(z,f(x,x)))))) = x. [para(1225(a,1),255(a,1,1)),demod(1225(10),1225(11),87(4),1225(20),1225(21),87(14))]. given #123 (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. [para(87(a,1),3(a,1,2,2,1,1))]. given #124 (F,wt=15): 1355 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),479(7),87(4),94(7),21(7),87(10),94(13),21(13),21(21),249(21),47(17),87(3),87(3),94(6),21(6)),flip(a)]. given #125 (F,wt=15): 1381 f(f(f(x,x),x),f(x,f(y,f(x,x)))) = x. [para(94(a,1),1355(a,1,2,2))]. given #126 (T,wt=17): 1380 f(f(x,f(x,x)),f(f(x,x),f(x,y))) = f(x,x). [para(21(a,1),1355(a,1,1,1)),demod(87(6))]. given #127 (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 #128 (F,wt=17): 1405 f(f(x,f(x,x)),f(f(x,x),f(y,x))) = f(x,x). [para(21(a,1),1381(a,1,1,1)),demod(87(6))]. given #129 (F,wt=27): 680 f(x,f(f(x,x),f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,z))))) = f(x,x). [para(69(a,1),245(a,1,1)),demod(69(11),69(11),69(22),69(22))]. given #130 (F,wt=27): 730 f(x,f(f(x,x),f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(z,x))))) = f(x,x). [para(714(a,1),255(a,1,1)),demod(714(10),714(10),714(21),714(21))]. given #131 (F,wt=27): 754 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. [para(87(a,1),123(a,1,2,2,1,1))]. given #132 (T,wt=27): 831 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(87(a,1),124(a,1,1,2,1,1))]. given #133 (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 #134 (F,wt=23): 1550 f(f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(1082(a,1),831(a,1,1,2,1)),demod(1091(11))]. given #135 (F,wt=23): 1551 f(f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(1092(a,1),831(a,1,1,2,1)),demod(1109(11))]. given #136 (F,wt=23): 1578 f(f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(94(a,1),1550(a,1,1,2,2))]. given #137 (F,wt=23): 1587 f(f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(94(a,1),1551(a,1,1,2,2))]. given #138 (T,wt=25): 1552 f(f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(f(x,x),z))),x) = f(x,x). [para(1083(a,1),831(a,1,1,2,1)),demod(87(3),1135(12),87(12))]. given #139 (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 #140 (F,wt=25): 1553 f(f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(f(x,x),z))),x) = f(x,x). [para(1108(a,1),831(a,1,1,2,1)),demod(87(3),1156(12),87(12))]. given #141 (F,wt=25): 1592 f(f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(21(a,1),1578(a,1,1,1,2,2,1)),demod(87(8),87(12))]. given #142 (F,wt=25): 1598 f(f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(21(a,1),1587(a,1,1,1,2,2,2)),demod(87(8),87(12))]. given #143 (F,wt=27): 854 f(f(f(x,f(y,y)),f(f(f(y,f(y,y)),f(x,x)),f(f(x,x),z))),x) = f(x,x). [para(21(a,1),473(a,1,1,1,1)),demod(87(13))]. given #144 (T,wt=27): 940 f(f(x,x),f(x,f(f(x,y),f(f(f(f(y,y),y),f(x,x)),f(f(x,x),z))))) = x. [para(709(a,1),255(a,1,1)),demod(709(11),709(12),87(4),709(22),709(23),87(15))]. given #145 (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 #146 (F,wt=27): 948 f(f(f(x,f(y,y)),f(f(f(y,f(y,y)),f(x,x)),f(z,f(x,x)))),x) = f(x,x). [para(21(a,1),723(a,1,1,2,1,1,1))]. given #147 (F,wt=27): 954 f(f(x,x),f(x,f(f(x,y),f(f(f(f(y,y),y),f(x,x)),f(z,f(x,x)))))) = x. [para(723(a,1),255(a,1,1)),demod(723(11),723(12),87(4),723(22),723(23),87(15))]. given #148 (F,wt=27): 1048 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(87(a,1),755(a,1,1,2,1,1))]. given #149 (F,wt=27): 1143 f(f(x,x),f(x,f(f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),x),f(x,z)))) = x. [para(1094(a,1),3(a,1,2,2,1,1,1)),demod(1094(8))]. given #150 (T,wt=27): 1153 f(f(x,x),f(x,f(f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),x),f(z,x)))) = x. [para(1094(a,1),123(a,1,2,2,1,1,1)),demod(1094(8))]. given #151 (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 #152 (F,wt=21): 1681 f(f(x,x),f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),x)) = x. [para(94(a,1),1153(a,1,2))]. given #153 (F,wt=21): 1763 f(f(x,x),f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),x)) = x. [para(94(a,1),1681(a,1,2,1,2,2,2,2))]. given #154 (F,wt=27): 1163 f(f(x,x),f(x,f(f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),x),f(x,z)))) = x. [para(1111(a,1),3(a,1,2,2,1,1,1)),demod(1111(8))]. given #155 (F,wt=27): 1173 f(f(x,x),f(x,f(f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),x),f(z,x)))) = x. [para(1111(a,1),123(a,1,2,2,1,1,1)),demod(1111(8))]. given #156 (T,wt=27): 1195 f(f(f(f(x,x),f(f(y,x),f(y,x))),f(f(f(y,x),x),f(x,z))),f(x,x)) = x. [para(87(a,1),834(a,1,1,2,1,1))]. given #157 (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 #158 (F,wt=27): 1265 f(f(f(f(x,x),f(f(y,x),f(y,x))),f(f(f(y,x),x),f(z,x))),f(x,x)) = x. [para(87(a,1),1050(a,1,1,2,1,1))]. given #159 (F,wt=27): 1375 f(f(x,f(x,x)),f(f(x,f(x,f(f(x,x),y))),f(x,f(f(x,x),z)))) = f(x,x). [para(1355(a,1),3(a,1,2,2,1,1,1)),demod(87(5),87(12))]. given #160 (F,wt=19): 1828 f(f(x,f(x,f(f(x,x),y))),f(x,f(f(x,x),z))) = x. [para(1375(a,1),46(a,1,2,2,1)),demod(249(33),47(29),87(11)),flip(a)]. given #161 (F,wt=19): 1843 f(f(x,f(x,f(y,f(x,x)))),f(x,f(f(x,x),z))) = x. [para(94(a,1),1828(a,1,1,2,2))]. given #162 (T,wt=19): 1844 f(f(x,f(x,f(f(x,x),y))),f(x,f(z,f(x,x)))) = x. [para(94(a,1),1828(a,1,2,2))]. given #163 (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 #164 (F,wt=45): 1878 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 #165 (F,wt=27): 1894 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(1883),demod(1891(3))]. given #166 (F,wt=25): 1954 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))) = y # label(false). [para(3(a,1),1894(a,1,2,1,1,1)),demod(3(12),3(17),3(22))]. given #167 (F,wt=25): 1963 f(f(x,y),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))) = x # label(false). [para(87(a,1),1894(a,1,2,1,1,1)),demod(87(4),87(9),87(14))]. given #168 (T,wt=9): 1891 f(f(x,x),f(x,y)) = x. [para(1355(a,1),1878(a,1,2,2,1)),demod(87(4),235(4),87(5),87(8),87(13),47(11),87(3),87(4)),flip(a)]. given #169 (A,wt=37): 83 f(f(f(x,y),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)),y))) = f(x,y). [para(56(a,1),8(a,1,2,2,1,1))]. given #170 (F,wt=27): 1951 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(1892(3))]. given #171 (F,wt=33): 1958 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),1894(a,1,2,1,1,1)),demod(47(6),1891(5),47(10),47(17))]. given #172 (F,wt=57): 2047 f(f(x,y),f(f(f(y,y),f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))) = y # label(false). [para(1954(a,1),1954(a,1,2,2,1,1,1))]. given #173 (F,wt=57): 2080 f(f(x,y),f(f(f(x,x),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))) = x # label(false). [para(1963(a,1),1963(a,1,2,2,1,1,1))]. given #174 (T,wt=9): 1892 f(f(x,x),f(y,x)) = x. [para(1381(a,1),1878(a,1,2,2,1)),demod(1891(4),256(4),1891(5),1891(8),1891(13),47(11),1891(3),1891(4)),flip(a)]. given #175 (A,wt=37): 85 f(f(x,x),f(f(f(x,x),x),f(f(f(x,x),x),f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u)))))) = x. [para(56(a,1),9(a,1,2,2,1,1))]. given #176 (F,wt=11): 1987 f(x,f(f(x,x),y)) = f(x,x). [para(1355(a,1),1894(a,1,2,2,1)),demod(21(10)),flip(a)]. given #177 (F,wt=11): 1988 f(x,f(y,f(x,x))) = f(x,x). [para(1381(a,1),1894(a,1,2,2,1)),demod(21(10)),flip(a)]. given #178 (F,wt=13): 2082 f(f(f(x,y),f(x,y)),y) = f(x,y). [para(3(a,1),1891(a,1,2))]. given #179 (F,wt=35): 2360 f(f(x,y),f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))) = x # label(false). [para(2080(a,1),2082(a,2)),demod(2312(12),2312(28),2312(44),2082(48))]. given #180 (T,wt=13): 2087 f(f(f(x,y),f(x,y)),x) = f(x,y). [para(87(a,1),1891(a,1,2))]. given #181 (A,wt=37): 86 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),y),f(f(f(y,y),y),f(y,u)))))) = y. [para(56(a,1),9(a,1,2,2,2,2,1,1))]. given #182 (F,wt=35): 2377 f(f(x,y),f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))) = y # label(false). [para(94(a,1),2360(a,1,1)),demod(94(7),94(11),94(16))]. given #183 (F,wt=41): 2371 f(x,f(f(y,x),f(f(f(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)),x))) = f(y,x) # label(false). [para(3(a,1),2360(a,1,1)),demod(3(17),3(21),3(26))]. given #184 (F,wt=41): 2375 f(x,f(f(x,y),f(f(f(f(x,y),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(x,z),z),f(x,y)),x))),f(x,y)),x))) = f(x,y) # label(false). [para(87(a,1),2360(a,1,1)),demod(87(9),87(13),87(18))]. given #185 (F,wt=51): 2373 f(f(f(x,x),y),f(f(x,x),f(f(f(f(x,x),f(f(x,z),f(f(f(f(f(f(x,x),y),z),z),f(x,x)),f(f(x,x),y)))),f(x,x)),f(f(x,x),y)))) = f(x,x) # label(false). [para(21(a,1),2360(a,1,2,2,1,1,2,1,1))]. given #186 (T,wt=19): 2003 f(x,f(f(x,f(x,x)),f(f(x,x),x))) = f(x,f(x,x)). [back_demod(1973),demod(1988(5))]. given #187 (A,wt=49): 88 f(f(x,y),f(y,f(f(f(f(f(y,x),f(f(f(y,y),y),f(f(f(y,y),y),f(y,z)))),f(f(f(y,y),y),f(f(f(y,y),y),f(y,z)))),y),f(y,u)))) = y. [para(56(a,1),5(a,1,2,2,1,1,1,2,2,1,1)),demod(56(15))]. given #188 (F,wt=51): 2446 f(f(x,f(y,y)),f(f(y,y),f(f(f(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)),f(x,f(y,y))))) = f(y,y) # label(false). [para(21(a,1),2377(a,1,2,2,1,1,2,1,1))]. given #189 (F,wt=55): 2386 f(f(x,y),f(x,f(f(f(x,f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))) = x # label(false). [para(2360(a,1),2360(a,1,2,2,1,1,2,2,1,1,1)),demod(1891(17))]. given #190 (F,wt=55): 2463 f(f(x,y),f(y,f(f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y),f(x,y)))),y),f(x,y)))) = y # label(false). [para(2377(a,1),2377(a,1,2,2,1,1,2,2,1,1,1)),demod(1891(17))]. given #191 (F,wt=21): 1969 f(f(x,x),f(f(f(x,x),x),f(x,f(x,x)))) = f(f(x,x),x). [para(288(a,1),1894(a,1,2,1)),demod(56(6),1892(7))]. given #192 (T,wt=21): 2101 f(x,f(f(x,y),f(f(f(f(x,x),x),f(x,y)),y))) = f(x,y). [para(1891(a,1),46(a,1,1)),demod(1891(6),2087(4),1891(5))]. given #193 (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 #194 (F,wt=21): 2244 f(x,f(f(y,x),f(f(f(f(x,x),x),f(y,x)),x))) = f(y,x). [para(1892(a,1),46(a,1,1)),demod(1891(6),2082(4),1891(5))]. given #195 (F,wt=21): 2353 f(x,f(f(x,y),f(f(f(f(x,y),y),f(x,y)),x))) = f(x,y). [para(2082(a,1),1894(a,1,2,1))]. given #196 (F,wt=45): 2676 f(f(x,y),f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))) = x # label(false). [para(2360(a,1),2353(a,1,2,1)),demod(2360(17),2360(32),2360(37))]. given #197 (F,wt=45): 2679 f(f(x,y),f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y),f(x,y)))) = y # label(false). [para(2377(a,1),2353(a,1,2,1)),demod(2377(17),2377(32),2377(37))]. given #198 (T,wt=21): 2414 f(x,f(f(x,y),f(f(f(f(x,x),x),f(x,y)),x))) = f(x,y). [para(2087(a,1),1894(a,1,2,1))]. given #199 (A,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). [para(87(a,1),8(a,1,2,2,1,1))]. given #200 (F,wt=55): 2680 f(x,f(f(y,x),f(f(f(f(y,x),f(f(y,x),f(f(f(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)),x))),f(y,x)),x))) = f(y,x) # label(false). [para(2371(a,1),2353(a,1,2,1)),demod(2371(19),2371(38),2371(43))]. given #201 (F,wt=55): 2681 f(x,f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(f(f(f(x,y),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(x,z),z),f(x,y)),x))),f(x,y)),x))),f(x,y)),x))) = f(x,y) # label(false). [para(2375(a,1),2353(a,1,2,1)),demod(2375(19),2375(38),2375(43))]. given #202 (F,wt=21): 2415 f(x,f(f(y,x),f(f(f(f(x,y),y),f(y,x)),x))) = f(y,x). [para(2087(a,1),1951(a,1,2,1))]. given #203 (F,wt=23): 2334 f(f(x,x),f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,z)))) = x. [para(69(a,1),2082(a,1,1,1)),demod(69(11),69(21))]. given #204 (T,wt=23): 2340 f(f(x,x),f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(z,x)))) = x. [para(676(a,1),2082(a,1,1,1)),demod(676(11),676(21))]. given #205 (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 #206 (F,wt=25): 1948 f(x,f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))) = f(y,x). [back_demod(103),demod(1892(3))]. given #207 (F,wt=25): 1965 f(x,f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),x))) = f(x,y). [para(87(a,1),1894(a,1,2,2,1,1))]. given #208 (F,wt=25): 1976 f(f(x,y),f(f(f(f(f(f(x,x),x),y),y),f(x,x)),f(f(x,x),z))) = x. [para(37(a,1),1894(a,1,2,2,1)),demod(87(6),87(17),1891(29),47(27),87(3),87(5)),flip(a)]. given #209 (F,wt=25): 1994 f(f(x,x),f(f(f(x,x),x),f(x,f(f(f(x,x),x),y)))) = f(f(x,x),x). [back_demod(1902),demod(1987(3))]. given #210 (T,wt=25): 1995 f(f(x,x),f(f(f(x,x),x),f(x,f(y,f(f(x,x),x))))) = f(f(x,x),x). [back_demod(1898),demod(1987(3))]. given #211 (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 #212 (F,wt=25): 1998 f(x,f(f(x,f(x,x)),f(f(x,x),f(y,f(x,f(x,x)))))) = f(x,f(x,x)). [back_demod(1516),demod(1987(3),1891(4),1988(5))]. given #213 (F,wt=25): 2001 f(x,f(f(x,f(x,x)),f(f(x,x),f(f(x,f(x,x)),y)))) = f(x,f(x,x)). [back_demod(1356),demod(1987(3),1891(4),1988(5))]. given #214 (F,wt=25): 2053 f(f(x,y),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,y)))) = x. [para(21(a,1),1963(a,1,2,2,1,1,1))]. given #215 (F,wt=49): 3018 f(f(f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,y))),f(x,y)),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). [para(2053(a,1),93(a,1,2,2,1,1,1,1))]. Demod_limit: 0 f(f(f(f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101)))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(v101,v101)),f(f(y,f(v101,f(v101,v101))),f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101)))),v101))),f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101)))),v101)),f(f(f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101)))),v101),f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101)))),v101)),v102),f(f(f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101)))),v102),v102),f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101)))),v101)),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))))) = f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(f(f(f(y,f(v101,f(v101,v101))),f(y,f(v101,f(v101,v101)))),z),f(f(f(f(f(v101,f(v101,v101)),z),z),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101))))),f(y,f(v101,f(v101,v101)))),f(v101,f(v101,v101)))),v101). [para(2680(a,1),3018(a,1,1,1,2,1))]. Demod_limit (steps=-1, size=1049). The most recent kept clause is 3031. From here on, a short message will be printed for each 100 times the limit is hit. given #216 (T,wt=25): 2081 f(f(x,y),f(y,f(f(f(f(f(y,x),f(y,z)),f(y,z)),y),f(y,u)))) = y. [para(1891(a,1),3(a,1,2,1))]. given #217 (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 #218 (F,wt=49): 3024 f(f(f(x,f(f(f(f(f(y,x),f(y,x)),f(y,x)),x),f(y,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(94(a,1),3018(a,1,1,1,2,2)),demod(1891(8),1892(3),1891(10),94(13),94(15),94(16),94(21),94(26))]. given #219 (F,wt=49): 3025 f(f(f(x,f(f(f(f(f(x,y),f(x,y)),f(x,y)),x),f(x,y))),f(x,y)),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). [para(105(a,1),3018(a,1,1,1,2,2)),demod(1891(8),1891(3),1891(10),105(13),105(15),105(16),105(21),105(26))]. given #220 (F,wt=53): 3022 f(f(f(f(x,f(y,y)),f(f(f(y,f(y,y)),f(x,f(y,y))),f(y,y))),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),3018(a,1,1,1,2,2)),demod(2082(7),47(13),47(15),47(16),1891(15),47(20),47(27))]. given #221 (F,wt=59): 3021 f(f(f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,f(y,y)))),f(x,f(y,y))),f(f(f(f(x,f(y,y)),f(x,f(y,y))),z),f(f(f(f(x,z),z),f(x,f(y,y))),x))) = f(x,f(y,y)) # label(false). [para(21(a,1),3018(a,1,1,1,1,2)),demod(1891(6))]. given #222 (T,wt=19): 3057 f(f(x,y),f(f(f(f(y,x),f(y,z)),f(y,z)),y)) = y. [para(1988(a,1),2081(a,1,2,2)),demod(94(15))]. given #223 (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 #224 (F,wt=39): 3175 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)) = y # label(false). [para(2360(a,1),3057(a,1,2,1,1))]. given #225 (F,wt=39): 3222 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)) = y # label(false). [para(94(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2082(4),94(11),94(16))]. given #226 (F,wt=39): 3225 f(f(x,y),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(105(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2087(4),105(11),105(16))]. given #227 (F,wt=49): 3193 f(f(x,y),f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y),f(y,x)))),y)) = y # label(false). [para(2676(a,1),3057(a,1,2,1,1))]. given #228 (T,wt=15): 3171 f(x,f(f(f(x,x),x),f(x,y))) = f(x,y). [para(1958(a,1),3057(a,1,2,1,1)),demod(1891(3),87(5),87(9),47(7),87(4))]. given #229 (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 #230 (F,wt=47): 3370 f(f(f(f(f(x,x),x),f(x,y)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(3171(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(3171(16),3171(21))]. given #231 (F,wt=47): 3386 f(f(f(f(f(x,x),x),f(y,x)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x),f(y,x)))),x)) = x # label(false). [para(94(a,1),3370(a,1,1,1,2)),demod(94(11),94(15),94(20))]. given #232 (F,wt=49): 3216 f(x,f(f(f(y,x),f(f(y,x),f(f(f(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)),x))),f(y,x))) = f(y,x) # label(false). [para(21(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(1892(3),21(14),21(19))]. given #233 (F,wt=49): 3219 f(x,f(f(f(x,y),f(f(x,y),f(f(f(f(x,y),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(x,z),z),f(x,y)),x))),f(x,y)),x))),f(x,y))) = f(x,y) # label(false). [para(87(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(1891(3),87(14),87(19))]. given #234 (T,wt=15): 3318 f(x,f(f(f(x,x),x),f(y,x))) = f(y,x). [para(94(a,1),3171(a,1,2,2)),demod(94(9))]. given #235 (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 #236 (F,wt=49): 3274 f(f(x,y),f(y,f(f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y),f(x,y)))) = y # label(false). [para(3222(a,1),2353(a,1,2,1)),demod(3222(19),3222(36),3222(41))]. given #237 (F,wt=49): 3297 f(f(x,y),f(x,f(f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x),f(x,y)))) = x # label(false). [para(3225(a,1),2353(a,1,2,1)),demod(3225(19),3225(36),3225(41))]. given #238 (F,wt=49): 3304 f(f(x,y),f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y),f(x,y)))),y)) = y # label(false). [para(94(a,1),3193(a,1,2,1,2,2,1,1,2,2,1,1,2,2,1,1,1,1)),demod(2082(4),94(11),94(16),94(21))]. given #239 (F,wt=49): 3305 f(f(x,y),f(f(x,f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(105(a,1),3193(a,1,2,1,2,2,1,1,2,2,1,1,2,2,1,1,1,1)),demod(2087(4),105(11),105(16),105(21))]. given #240 (T,wt=19): 3138 f(f(x,y),f(f(f(f(x,y),f(y,z)),f(y,z)),y)) = y. [para(94(a,1),3057(a,1,2,1,1,1)),demod(2082(4))]. given #241 (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 #242 (F,wt=53): 3237 f(f(f(f(x,y),f(f(f(f(x,x),x),f(x,y)),y)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(2101(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2101(22),2101(27))]. given #243 (F,wt=53): 3238 f(f(f(f(x,y),f(f(f(f(y,y),y),f(x,y)),y)),y),f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)) = y # label(false). [para(2244(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2244(22),2244(27))]. given #244 (F,wt=53): 3240 f(f(f(f(x,y),f(f(f(f(x,y),y),f(x,y)),x)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(2353(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2353(22),2353(27))]. given #245 (F,wt=53): 3241 f(f(f(f(x,y),f(f(f(f(x,x),x),f(x,y)),x)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(2414(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2414(22),2414(27))]. given #246 (T,wt=19): 3139 f(f(x,y),f(f(f(f(y,x),f(z,y)),f(z,y)),y)) = y. [para(94(a,1),3057(a,1,2,1,1,2)),demod(94(8))]. given #247 (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 #248 (F,wt=43): 3669 f(f(x,y),f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)),y)) = y # label(false). [para(3225(a,1),3139(a,1,2,1,1))]. given #249 (F,wt=43): 3702 f(f(x,y),f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)) = y # label(false). [para(94(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2082(4),94(11),94(16))]. given #250 (F,wt=43): 3703 f(f(x,y),f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)) = x # label(false). [para(105(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2087(4),105(11),105(16))]. given #251 (F,wt=47): 3744 f(f(x,y),f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)),y)),y)) = y # label(false). [para(3703(a,1),3139(a,1,2,1,1))]. given #252 (T,wt=19): 3140 f(f(x,y),f(f(f(f(x,y),f(x,z)),f(x,z)),x)) = x. [para(105(a,1),3057(a,1,2,1,1,1)),demod(2087(4))]. given #253 (A,wt=45): 120 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 #254 (F,wt=47): 3748 f(f(x,y),f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)),y)) = y # label(false). [para(94(a,1),3744(a,1,2,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2082(4),94(11),94(16))]. given #255 (F,wt=47): 3749 f(f(x,y),f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)),x)) = x # label(false). [para(105(a,1),3744(a,1,2,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2087(4),105(11),105(16))]. given #256 (F,wt=51): 3714 f(f(f(f(f(x,x),x),f(x,y)),x),f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)) = x # label(false). [para(3171(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(3171(16),3171(21))]. given #257 (F,wt=51): 3715 f(f(f(f(f(x,x),x),f(y,x)),x),f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x),f(y,x)))),x)),x)) = x # label(false). [para(3318(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(3318(16),3318(21))]. given #258 (T,wt=19): 3145 f(f(f(f(x,f(x,x)),f(x,y)),f(x,y)),x) = f(x,x). [para(3057(a,1),69(a,1,2,2,1)),demod(1892(9),2082(16),2886(18)),flip(a)]. given #259 (A,wt=45): 122 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 #260 (F,wt=51): 3847 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)),y)),y)),y)) = y # label(false). [para(3749(a,1),3139(a,1,2,1,1))]. given #261 (F,wt=51): 3900 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)),y)),y)) = y # label(false). [para(94(a,1),3847(a,1,2,1,2,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2082(4),94(11),94(16))]. given #262 (F,wt=51): 3901 f(f(x,y),f(f(x,f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)),x)),x)) = x # label(false). [para(105(a,1),3847(a,1,2,1,2,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2087(4),105(11),105(16))]. given #263 (F,wt=53): 3242 f(f(f(f(x,y),f(f(f(f(y,x),x),f(x,y)),y)),y),f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)) = y # label(false). [para(2415(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2415(22),2415(27))]. given #264 (T,wt=19): 3364 f(f(x,x),f(f(f(x,x),x),f(x,y))) = f(f(x,x),x). [para(3171(a,1),1994(a,1,2,2))]. given #265 (A,wt=37): 126 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 #266 (F,wt=53): 3505 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)),y),f(y,x)))),y)) = y # label(false). [para(3297(a,1),3057(a,1,2,1,1))]. given #267 (F,wt=53): 3569 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y),f(x,y)))),y)) = y # label(false). [para(3274(a,1),3138(a,1,2,1,1))]. given #268 (F,wt=53): 3677 f(f(x,y),f(f(y,f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y),f(y,x)))),y)),y)) = y # label(false). [para(3305(a,1),3139(a,1,2,1,1))]. given #269 (F,wt=53): 3729 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)),y),f(x,y)))) = y # label(false). [para(3702(a,1),2353(a,1,2,1)),demod(3702(21),3702(40),3702(45))]. given #270 (T,wt=19): 3532 f(f(x,y),f(f(f(f(x,y),f(z,y)),f(z,y)),y)) = y. [para(94(a,1),3138(a,1,2,1,1,2)),demod(94(8))]. given #271 (A,wt=41): 128 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 #272 (F,wt=53): 3741 f(f(x,y),f(x,f(f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)),x),f(x,y)))) = x # label(false). [para(3703(a,1),2353(a,1,2,1)),demod(3703(21),3703(40),3703(45))]. given #273 (F,wt=53): 3796 f(f(x,y),f(f(x,f(x,f(f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x),f(x,y)))),x)) = x # label(false). [para(3297(a,1),3140(a,1,2,1,1))]. given #274 (F,wt=53): 4037 f(f(x,y),f(f(y,f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y),f(x,y)))),y)),y)) = y # label(false). [para(94(a,1),3677(a,1,2,1,2,1,2,2,1,1,2,2,1,1,2,2,1,1,1,1)),demod(2082(4),94(11),94(16),94(21))]. given #275 (F,wt=53): 4038 f(f(x,y),f(f(x,f(f(x,f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))),x)),x)) = x # label(false). [para(105(a,1),3677(a,1,2,1,2,1,2,2,1,1,2,2,1,1,2,2,1,1,1,1)),demod(2087(4),105(11),105(16),105(21))]. given #276 (T,wt=19): 3547 f(f(f(f(f(x,x),x),f(x,y)),f(x,y)),x) = f(x,x). [para(3138(a,1),71(a,1,2,2,1)),demod(1892(9),2082(16),21(9)),flip(a)]. given #277 (A,wt=41): 129 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 #278 (F,wt=55): 3755 f(f(f(f(f(x,x),x),f(x,y)),x),f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)),x)) = x # label(false). [para(3171(a,1),3744(a,1,2,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(3171(16),3171(21))]. given #279 (F,wt=55): 3756 f(f(f(f(f(x,x),x),f(y,x)),x),f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x),f(y,x)))),x)),x)),x)) = x # label(false). [para(3318(a,1),3744(a,1,2,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(3318(16),3318(21))]. given #280 (F,wt=55): 3920 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)),y)),y)),y)),y)) = y # label(false). [para(3901(a,1),3139(a,1,2,1,1))]. given #281 (F,wt=55): 4099 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)),y)),y)),y)) = y # label(false). [para(3900(a,1),3532(a,1,2,1,1))]. given #282 (T,wt=19): 3609 f(f(x,y),f(f(f(f(x,y),f(z,x)),f(z,x)),x)) = x. [para(105(a,1),3139(a,1,2,1,1,1)),demod(2087(4))]. given #283 (A,wt=41): 130 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 #284 (F,wt=55): 4243 f(f(x,y),f(f(x,f(f(x,f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)),x)),x)),x)) = x # label(false). [para(105(a,1),3920(a,1,2,1,2,1,2,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2087(4),105(11),105(16))]. given #285 (F,wt=57): 3243 f(f(f(f(f(f(x,y),f(x,y)),f(y,y)),f(f(y,f(x,y)),y)),y),f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)) = y # label(false). [para(1948(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(1948(26),1948(31))]. given #286 (F,wt=57): 3244 f(f(f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),x)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(1965(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(1965(26),1965(31))]. given #287 (F,wt=57): 3373 f(f(f(f(f(x,x),x),f(x,y)),x),f(f(x,f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(3171(a,1),3193(a,1,2,1,2,2,1,1,2,2,1,1,2,2,1,1,1,1)),demod(3171(16),3171(21),3171(26))]. given #288 (T,wt=19): 3613 f(f(f(f(x,f(x,x)),f(y,x)),f(y,x)),x) = f(x,x). [para(3139(a,1),69(a,1,2,2,1)),demod(1892(9),2082(16),2888(18)),flip(a)]. given #289 (A,wt=57): 131 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 #290 (F,wt=57): 3477 f(f(f(f(f(x,x),x),f(y,x)),x),f(f(x,f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x),f(y,x)))),x),f(y,x)))),x)) = x # label(false). [para(3318(a,1),3193(a,1,2,1,2,2,1,1,2,2,1,1,2,2,1,1,1,1)),demod(3318(16),3318(21),3318(26))]. given #291 (F,wt=57): 3697 f(x,f(f(f(y,x),f(f(f(y,x),f(f(y,x),f(f(f(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)),x))),f(y,x))),f(y,x))) = f(y,x) # label(false). [para(21(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(1892(3),21(15),21(20))]. given #292 (F,wt=57): 3700 f(x,f(f(f(x,y),f(f(f(x,y),f(f(x,y),f(f(f(f(x,y),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(x,z),z),f(x,y)),x))),f(x,y)),x))),f(x,y))),f(x,y))) = f(x,y) # label(false). [para(87(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(1891(3),87(15),87(20))]. given #293 (F,wt=57): 3706 f(f(f(f(x,y),f(f(f(f(x,x),x),f(x,y)),y)),x),f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)) = x # label(false). [para(2101(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2101(22),2101(27))]. given #294 (T,wt=19): 3869 f(x,f(f(f(x,f(x,x)),f(x,y)),f(x,y))) = f(x,x). [para(3145(a,1),2087(a,1,1,1)),demod(3145(8),1891(3),3145(14))]. given #295 (A,wt=57): 132 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 #296 (F,wt=57): 3707 f(f(f(f(x,y),f(f(f(f(y,y),y),f(x,y)),y)),y),f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)) = y # label(false). [para(2244(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2244(22),2244(27))]. given #297 (F,wt=57): 3709 f(f(f(f(x,y),f(f(f(f(x,y),y),f(x,y)),x)),x),f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)) = x # label(false). [para(2353(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2353(22),2353(27))]. given #298 (F,wt=57): 3710 f(f(f(f(x,y),f(f(f(f(x,x),x),f(x,y)),x)),x),f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)) = x # label(false). [para(2414(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2414(22),2414(27))]. given #299 (F,wt=57): 3711 f(f(f(f(x,y),f(f(f(f(y,x),x),f(x,y)),y)),y),f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)) = y # label(false). [para(2415(a,1),3669(a,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(2415(22),2415(27))]. given #300 (T,wt=19): 3937 f(x,f(f(x,f(x,x)),f(f(x,x),y))) = f(x,f(x,x)). [para(21(a,1),3364(a,1,1)),demod(1891(3),1891(9))]. given #301 (A,wt=33): 134 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 #302 (F,wt=57): 3832 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)),y)),y),f(x,y)))) = y # label(false). [para(3748(a,1),2353(a,1,2,1)),demod(3748(23),3748(44),3748(49))]. given #303 (F,wt=57): 3844 f(f(x,y),f(x,f(f(f(x,f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)),x)),x),f(x,y)))) = x # label(false). [para(3749(a,1),2353(a,1,2,1)),demod(3749(23),3749(44),3749(49))]. given #304 (F,wt=57): 4048 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)),y),f(x,y)))),y)) = y # label(false). [para(3729(a,1),3138(a,1,2,1,1))]. given #305 (F,wt=57): 4102 f(f(x,y),f(f(y,f(f(y,f(y,f(f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)),y),f(y,x)))),y)),y)) = y # label(false). [para(3505(a,1),3532(a,1,2,1,1))]. given #306 (T,wt=19): 3941 f(f(x,x),f(f(f(x,x),x),f(y,x))) = f(f(x,x),x). [para(94(a,1),3364(a,1,2,2))]. given #307 (A,wt=53): 135 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 #308 (F,wt=57): 4104 f(f(x,y),f(f(y,f(f(y,f(y,f(f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y),f(x,y)))),y)),y)) = y # label(false). [para(3569(a,1),3532(a,1,2,1,1))]. given #309 (F,wt=57): 4105 f(f(x,y),f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y),f(y,x)))),y)),y)),y)) = y # label(false). [para(3677(a,1),3532(a,1,2,1,1))]. given #310 (F,wt=57): 4152 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)),y)),y),f(y,x)))),y)) = y # label(false). [para(3741(a,1),3057(a,1,2,1,1))]. Demod_limit hit 100 times. given #311 (F,wt=57): 4153 f(f(x,y),f(f(x,f(x,f(f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)),x),f(x,y)))),x)) = x # label(false). [para(3741(a,1),3140(a,1,2,1,1))]. given #312 (T,wt=19): 4069 f(f(f(f(f(x,x),x),f(y,x)),f(y,x)),x) = f(x,x). [para(3532(a,1),71(a,1,2,2,1)),demod(1892(9),2082(16),21(9)),flip(a)]. given #313 (A,wt=53): 136 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 #314 (F,wt=57): 4167 f(f(x,y),f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y),f(x,y)))),y)),y)),y)) = y # label(false). [para(4037(a,1),3532(a,1,2,1,1))]. given #315 (F,wt=57): 4315 f(f(x,y),f(f(x,f(f(x,f(x,f(f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x),f(x,y)))),x)),x)) = x # label(false). [para(3796(a,1),3609(a,1,2,1,1))]. given #316 (F,wt=57): 4317 f(f(x,y),f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))),x)),x)),x)) = x # label(false). [para(4038(a,1),3609(a,1,2,1,1))]. given #317 (F,wt=59): 3183 f(f(x,f(y,y)),f(f(f(y,y),f(f(y,y),f(f(f(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),x)))),f(y,y)),f(f(y,y),x)))),f(y,y))) = f(y,y) # label(false). [para(2373(a,1),3057(a,1,2,1,1))]. given #318 (T,wt=19): 4180 f(x,f(f(f(f(x,x),x),f(x,y)),f(x,y))) = f(x,x). [para(3547(a,1),2087(a,1,1,1)),demod(3547(8),1891(3),3547(14))]. given #319 (A,wt=37): 137 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 #320 (F,wt=59): 3184 f(f(x,y),f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y),f(y,x)))),y),f(y,x)))),y)) = y # label(false). [para(2386(a,1),3057(a,1,2,1,1))]. given #321 (F,wt=59): 3235 f(f(x,y),f(y,f(f(f(y,f(y,f(f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)),y),f(x,y)))),y),f(x,y)))) = y # label(false). [para(3175(a,1),2377(a,1,2,2,1,1,2,2,1,1,1)),demod(1892(19))]. given #322 (F,wt=59): 3250 f(f(x,f(y,y)),f(f(f(y,y),f(f(y,y),f(f(f(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)),f(x,f(y,y))))),f(y,y))) = f(y,y) # label(false). [para(21(a,1),3222(a,1,2,1,2,2,1,1,2,1,1))]. given #323 (F,wt=59): 3271 f(f(x,y),f(y,f(f(f(y,f(y,f(f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y),f(x,y)))),y),f(x,y)))) = y # label(false). [para(3222(a,1),2377(a,1,2,2,1,1,2,2,1,1,1)),demod(1892(19))]. given #324 (T,wt=19): 4354 f(x,f(f(f(x,f(x,x)),f(y,x)),f(y,x))) = f(x,x). [para(3613(a,1),2087(a,1,1,1)),demod(3613(8),1891(3),3613(14))]. given #325 (A,wt=45): 139 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),f(f(f(y,y),z),f(f(y,y),z))),f(f(f(y,y),z),f(f(y,y),z))),y),f(y,u)))) = y. [para(105(a,1),3(a,1,2,1))]. given #326 (F,wt=59): 3272 f(f(x,y),f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y),f(x,y)))),y),f(x,y)))),y)) = y # label(false). [para(2377(a,1),3222(a,1,2,1,2,2,1,1,2,2,1,1,1)),demod(1891(17))]. Demod_limit hit 200 times. given #327 (F,wt=59): 3279 f(f(f(x,x),y),f(f(f(x,x),f(f(x,x),f(f(f(f(x,x),f(f(x,z),f(f(f(f(f(f(x,x),y),z),z),f(x,x)),f(f(x,x),y)))),f(x,x)),f(f(x,x),y)))),f(x,x))) = f(x,x) # label(false). [para(21(a,1),3225(a,1,2,1,2,2,1,1,2,1,1))]. given #328 (F,wt=59): 3293 f(f(x,y),f(x,f(f(f(x,f(x,f(f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x),f(x,y)))),x),f(x,y)))) = x # label(false). [para(3225(a,1),2360(a,1,2,2,1,1,2,2,1,1,1)),demod(1892(19))]. given #329 (F,wt=59): 3294 f(f(x,y),f(f(x,f(x,f(f(f(x,f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(2360(a,1),3225(a,1,2,1,2,2,1,1,2,2,1,1,1)),demod(1891(17))]. given #330 (T,wt=19): 4417 f(x,f(f(x,f(x,x)),f(y,f(x,x)))) = f(x,f(x,x)). [para(94(a,1),3937(a,1,2,2))]. given #331 (A,wt=45): 141 f(f(x,y),f(f(f(y,y),f(f(f(y,x),z),f(f(y,x),z))),f(f(f(f(f(y,x),z),f(f(f(y,x),z),f(f(y,x),z))),y),f(y,u)))) = y. [para(105(a,1),3(a,1,2,2,1,1,1))]. given #332 (F,wt=59): 3513 f(f(x,y),f(y,f(f(f(y,f(f(y,f(y,f(f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y),f(x,y)))),y)),y),f(x,y)))) = y # label(false). [para(3304(a,1),2353(a,1,2,1)),demod(3304(24),3304(46),3304(51))]. given #333 (F,wt=59): 3522 f(f(x,y),f(x,f(f(f(x,f(f(x,f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x),f(x,y)))),x)),x),f(x,y)))) = x # label(false). [para(3305(a,1),2353(a,1,2,1)),demod(3305(24),3305(46),3305(51))]. given #334 (F,wt=59): 3904 f(f(f(f(f(x,x),x),f(x,y)),x),f(f(x,f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)),x)),x)) = x # label(false). [para(3171(a,1),3847(a,1,2,1,2,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(3171(16),3171(21))]. given #335 (F,wt=59): 3905 f(f(f(f(f(x,x),x),f(y,x)),x),f(f(x,f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x),f(y,x)))),x)),x)),x)),x)) = x # label(false). [para(3318(a,1),3847(a,1,2,1,2,1,2,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(3318(16),3318(21))]. Demod_limit hit 300 times. given #336 (T,wt=19): 4567 f(x,f(f(f(f(x,x),x),f(y,x)),f(y,x))) = f(x,x). [para(4069(a,1),2087(a,1,1,1)),demod(4069(8),1891(3),4069(14))]. given #337 (A,wt=57): 191 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 #338 (F,wt=59): 4247 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y),f(y,x)))),y)),y)),y)),y)),y)),y)) = y # label(false). [para(3920(a,1),3532(a,1,2,1,1))]. Demod_limit hit 400 times. given #339 (F,wt=59): 4256 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(f(y,f(f(y,f(y,f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y),f(x,y)))),y)),y)),y)),y)),y)),y)) = y # label(false). [para(4099(a,1),3532(a,1,2,1,1))]. Demod_limit hit 500 times. given #340 (F,wt=59): 4338 f(f(x,y),f(f(x,f(f(x,f(f(x,f(f(x,f(f(x,f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)),x)),x)),x)),x)),x)) = x # label(false). [para(4243(a,1),3609(a,1,2,1,1))]. given #341 (F,wt=21): 3317 f(f(x,x),f(f(x,f(x,x)),f(f(x,x),y))) = f(f(x,x),y). [para(21(a,1),3171(a,1,2,1,1))]. given #342 (T,wt=21): 3423 f(f(x,x),f(f(x,f(x,x)),f(y,f(x,x)))) = f(y,f(x,x)). [para(21(a,1),3318(a,1,2,1,1))]. given #343 (A,wt=59): 193 f(f(x,f(y,y)),f(f(y,f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,z)))),f(f(f(x,f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,z)))),f(y,y)),f(f(y,y),u)))) = f(y,y). [para(47(a,1),7(a,1,2,1,2,2,1,1,1)),demod(87(5),47(16))]. given #344 (F,wt=23): 3126 f(f(x,f(y,z)),f(f(f(f(f(y,z),x),z),z),f(y,z))) = f(y,z). [para(3(a,1),3057(a,1,2,1,1,2)),demod(3(16))]. given #345 (F,wt=15): 4899 f(x,f(f(f(x,y),y),f(x,y))) = f(x,y). [para(87(a,1),3126(a,1,2,1,1,1)),demod(1891(3))]. given #346 (F,wt=35): 5070 f(x,f(f(f(x,y),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(x,z),z),f(x,y)),x))),f(x,y))) = f(x,y) # label(false). [para(1894(a,1),4899(a,1,2,1,1)),demod(1894(23),1894(26))]. given #347 (F,wt=29): 5147 f(f(x,y),f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)) = y # label(false). [para(3(a,1),5070(a,1,2,1,1)),demod(3(12),3(12),3(17),3(22),3(24))]. given #348 (T,wt=23): 3132 f(x,f(f(f(x,f(f(y,x),z)),f(f(y,x),z)),f(y,x))) = f(y,x). [para(21(a,1),3057(a,1,2,1,1,1)),demod(1892(3))]. given #349 (A,wt=57): 197 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 #350 (F,wt=29): 5151 f(f(x,y),f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)) = x # label(false). [para(87(a,1),5070(a,1,2,1,1)),demod(87(4),87(4),87(9),87(14),87(16))]. given #351 (F,wt=33): 5249 f(f(x,y),f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)) = y # label(false). [para(5147(a,1),3532(a,1,2,1,1))]. given #352 (F,wt=33): 5401 f(f(x,y),f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y)),y)) = y # label(false). [para(5151(a,1),3139(a,1,2,1,1))]. given #353 (F,wt=33): 5410 f(f(x,y),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [para(5151(a,1),3609(a,1,2,1,1))]. given #354 (T,wt=15): 5277 f(x,f(f(f(x,y),y),f(y,x))) = f(y,x). [para(87(a,1),3132(a,1,2,1,1,2)),demod(87(4))]. given #355 (A,wt=57): 198 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))]. Demod_limit hit 600 times. given #356 (F,wt=35): 5072 f(x,f(f(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))) = f(y,x) # label(false). [para(1951(a,1),4899(a,1,2,1,1)),demod(1951(23),1951(26))]. given #357 (F,wt=37): 5471 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)),y)) = y # label(false). [para(5249(a,1),3532(a,1,2,1,1))]. given #358 (F,wt=37): 5533 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y)),y)),y)) = y # label(false). [para(5401(a,1),3532(a,1,2,1,1))]. given #359 (F,wt=37): 5594 f(f(x,y),f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)) = x # label(false). [para(5410(a,1),3609(a,1,2,1,1))]. given #360 (T,wt=11): 5611 f(f(x,x),x) = f(x,f(x,x)). [para(56(a,1),5277(a,1,2,1)),demod(1891(5))]. given #361 (A,wt=57): 199 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 #362 (F,wt=39): 5224 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y),f(x,y)))) = y # label(false). [para(5147(a,1),2353(a,1,2,1)),demod(5147(14),5147(26),5147(31))]. given #363 (F,wt=39): 5385 f(f(x,y),f(x,f(f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x),f(x,y)))) = x # label(false). [para(5151(a,1),2353(a,1,2,1)),demod(5151(14),5151(26),5151(31))]. given #364 (F,wt=41): 5074 f(f(x,f(y,y)),f(f(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))) = f(y,y) # label(false). [para(1958(a,1),4899(a,1,2,1,1)),demod(1958(29),1958(32))]. given #365 (F,wt=41): 5149 f(f(f(x,x),y),f(f(f(x,x),f(f(x,z),f(f(f(f(f(f(x,x),y),z),z),f(x,x)),f(f(x,x),y)))),f(x,x))) = f(x,x) # label(false). [para(56(a,1),5070(a,1,2,1,1)),demod(56(6),56(7),1891(6),56(11),56(18),56(21))]. given #366 (T,wt=15): 5715 f(x,f(f(x,f(x,x)),f(y,x))) = f(y,x). [para(5277(a,1),3171(a,1,2,2)),demod(5611(2),5277(10))]. given #367 (A,wt=47): 222 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(y,u),u),f(y,y)),f(f(y,y),v)))))) = f(y,y). [para(79(a,1),9(a,1,2,2,2,2,1,1,1,1)),demod(87(5),87(12))]. given #368 (F,wt=41): 5544 f(f(f(f(f(x,y),y),f(x,y)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [para(4899(a,1),5401(a,1,2,1,2,1,2,2,1,1,1,1)),demod(4899(16))]. given #369 (F,wt=41): 5777 f(f(f(f(f(x,y),y),f(y,x)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)),x)) = x # label(false). [para(5277(a,1),5401(a,1,2,1,2,1,2,2,1,1,1,1)),demod(5277(16))]. given #370 (F,wt=41): 5793 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)),x)) = x # label(false). [back_demod(5524),demod(5611(2))]. given #371 (F,wt=41): 5794 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [back_demod(5522),demod(5611(2))]. given #372 (T,wt=15): 5717 f(x,f(f(x,f(x,x)),f(x,y))) = f(x,y). [para(3171(a,1),5277(a,1,2,2)),demod(5611(2),5611(6),3531(13),5611(3)),flip(a)]. given #373 (A,wt=49): 257 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)),x))) = f(y,x). [para(21(a,1),10(a,1,1,1,2,1,1,1))]. given #374 (F,wt=41): 6970 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)),y)),y)) = y # label(false). [para(5471(a,1),3532(a,1,2,1,1))]. given #375 (F,wt=41): 7013 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y)),y)),y)),y)) = y # label(false). [para(5533(a,1),3532(a,1,2,1,1))]. given #376 (F,wt=41): 7055 f(f(x,y),f(f(x,f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)),x)) = x # label(false). [para(5594(a,1),3609(a,1,2,1,1))]. given #377 (F,wt=43): 5069 f(x,f(f(f(f(x,y),f(x,y)),f(f(f(x,z),z),f(x,z))),f(f(f(f(x,z),f(f(f(x,z),z),f(x,z))),f(x,y)),x))) = f(x,y) # label(false). [para(4899(a,1),1894(a,1,2,2,1,1,1))]. given #378 (T,wt=19): 5737 f(f(x,x),f(f(x,f(x,x)),f(y,x))) = f(x,f(x,x)). [para(5277(a,1),3364(a,1,2,2)),demod(5611(3),5611(8))]. given #379 (A,wt=51): 259 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(87(a,1),10(a,1,1,1,2,1,1))]. given #380 (F,wt=43): 5071 f(x,f(f(f(f(y,x),f(y,x)),f(f(f(x,z),z),f(x,z))),f(f(f(f(x,z),f(f(f(x,z),z),f(x,z))),f(y,x)),x))) = f(y,x) # label(false). [para(4899(a,1),1951(a,1,2,2,1,1,1))]. given #381 (F,wt=43): 5181 f(x,f(f(f(x,y),f(f(f(x,y),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(x,z),z),f(x,y)),x))),f(x,y))),f(x,y))) = f(x,y) # label(false). [para(5070(a,1),4899(a,1,2,1,1)),demod(5070(31),5070(34))]. given #382 (F,wt=43): 5268 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y),f(x,y)))),y)) = y # label(false). [para(5147(a,1),5147(a,1,2,1,2,2,1,1,1)),demod(1892(14))]. given #383 (F,wt=43): 5421 f(f(x,y),f(f(x,f(x,f(f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x),f(x,y)))),x)) = x # label(false). [para(5151(a,1),5151(a,1,2,1,2,2,1,1,1)),demod(1892(14))]. given #384 (T,wt=19): 5739 f(f(x,x),f(f(x,f(x,x)),f(x,y))) = f(x,f(x,x)). [para(3364(a,1),5277(a,1,2,2)),demod(5611(2),5611(6),5611(14),3759(16),5611(5)),flip(a)]. given #385 (A,wt=47): 260 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)),x))) = f(z,x). [para(87(a,1),10(a,1,2,2,1,1))]. given #386 (F,wt=43): 5448 f(x,f(f(f(y,x),f(f(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))),f(y,x))) = f(y,x) # label(false). [para(1892(a,1),5249(a,1,1)),demod(1892(9),1892(13))]. given #387 (F,wt=43): 5457 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)),y),f(x,y)))) = y # label(false). [para(5249(a,1),2353(a,1,2,1)),demod(5249(16),5249(30),5249(35))]. given #388 (F,wt=43): 5577 f(f(x,y),f(x,f(f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x),f(x,y)))) = x # label(false). [para(5410(a,1),2353(a,1,2,1)),demod(5410(16),5410(30),5410(35))]. given #389 (F,wt=43): 5659 f(x,f(f(f(f(x,y),f(x,y)),f(f(f(x,z),z),f(z,x))),f(f(f(f(z,x),f(f(f(x,z),z),f(z,x))),f(x,y)),x))) = f(x,y) # label(false). [para(5277(a,1),1894(a,1,2,2,1,1,1))]. given #390 (T,wt=19): 7123 f(f(x,y),f(f(f(y,x),f(f(y,x),f(y,x))),y)) = y. [para(5611(a,1),3057(a,1,2,1))]. given #391 (A,wt=49): 261 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)),x))) = f(z,x). [para(94(a,1),10(a,1,1,1,2,2))]. given #392 (F,wt=43): 5662 f(x,f(f(f(f(y,x),f(y,x)),f(f(f(x,z),z),f(z,x))),f(f(f(f(z,x),f(f(f(x,z),z),f(z,x))),f(y,x)),x))) = f(y,x) # label(false). [para(5277(a,1),1951(a,1,2,2,1,1,1))]. given #393 (F,wt=43): 7351 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y)),y),f(y,x)))),y)) = y # label(false). [para(5385(a,1),3057(a,1,2,1,1))]. given #394 (F,wt=43): 7768 f(f(f(f(f(x,y),f(f(x,y),f(x,y))),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(7123(a,1),8(a,1,2,2,1,1,1,1))]. given #395 (F,wt=43): 7929 f(f(f(f(f(x,y),f(f(x,y),f(x,y))),y),f(x,y)),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(y,z),z),f(x,y)),y))) = f(x,y) # label(false). [para(94(a,1),7768(a,1,1,1,1,1)),demod(94(5),94(6),2082(10),2082(12),2082(13),2082(18),2082(23))]. given #396 (T,wt=19): 7158 f(f(x,y),f(f(f(x,y),f(f(x,y),f(x,y))),x)) = x. [para(5611(a,1),3140(a,1,2,1))]. given #397 (A,wt=43): 267 f(x,f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(f(x,z),f(f(f(f(f(f(x,x),u),z),z),f(x,x)),f(f(x,x),v)))))) = f(x,x). [para(249(a,1),9(a,1,2,2,1,1,1,1)),demod(87(5),87(3),87(8))]. given #398 (F,wt=43): 7931 f(f(f(f(f(x,y),f(f(x,y),f(x,y))),x),f(x,y)),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). [para(105(a,1),7768(a,1,1,1,1,1)),demod(105(5),105(6),2087(10),2087(12),2087(13),2087(18),2087(23))]. given #399 (F,wt=45): 7021 f(f(f(f(f(x,y),y),f(x,y)),x),f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)) = x # label(false). [para(4899(a,1),5533(a,1,2,1,2,1,2,1,2,2,1,1,1,1)),demod(4899(16))]. given #400 (F,wt=45): 7027 f(f(f(f(f(x,y),y),f(y,x)),x),f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)),x)),x)) = x # label(false). [para(5277(a,1),5533(a,1,2,1,2,1,2,1,2,2,1,1,1,1)),demod(5277(16))]. given #401 (F,wt=45): 7389 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)),x)),x)) = x # label(false). [para(5715(a,1),5533(a,1,2,1,2,1,2,1,2,2,1,1,1,1)),demod(5715(16))]. given #402 (T,wt=19): 7180 f(f(x,y),f(f(f(x,y),f(f(x,y),f(x,y))),y)) = y. [para(5611(a,1),3532(a,1,2,1))]. given #403 (A,wt=57): 306 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)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),v),u),u),f(y,z)),z))))) = f(y,z). [para(21(a,1),11(a,1,2,2,1,1,1))]. given #404 (F,wt=45): 7500 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)) = x # label(false). [para(5794(a,1),3532(a,1,2,1,1))]. given #405 (F,wt=45): 7544 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)),y)),y)),y)) = y # label(false). [para(6970(a,1),3532(a,1,2,1,1))]. given #406 (F,wt=45): 7569 f(f(x,y),f(f(y,f(f(y,f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y)),y)),y)),y)),y)) = y # label(false). [para(7013(a,1),3532(a,1,2,1,1))]. given #407 (F,wt=45): 7596 f(f(x,y),f(f(x,f(f(x,f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)),x)),x)) = x # label(false). [para(7055(a,1),3609(a,1,2,1,1))]. given #408 (T,wt=21): 5612 f(f(x,x),f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,x)))) = x. [para(5277(a,1),79(a,1,2,2,2)),demod(5611(3),5611(5))]. given #409 (A,wt=57): 307 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(v,v)),f(f(f(v,f(v,v)),f(y,z)),z))))) = f(y,z). [para(21(a,1),11(a,1,2,2,2,2,1,1,1))]. given #410 (F,wt=47): 5112 f(f(f(f(f(x,y),y),f(x,y)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(4899(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(4899(16),4899(21))]. given #411 (F,wt=47): 5481 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)),y),f(x,y)))),y)) = y # label(false). [para(5249(a,1),5147(a,1,2,1,2,2,1,1,1)),demod(1892(16))]. given #412 (F,wt=47): 5482 f(f(x,y),f(f(y,f(f(y,f(y,f(f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y),f(x,y)))),y)),y)) = y # label(false). [para(5147(a,1),5249(a,1,2,1,2,1,2,2,1,1,1)),demod(1892(14))]. given #413 (F,wt=47): 5510 f(f(f(f(x,y),f(f(f(f(x,y),y),f(x,y)),x)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [para(2353(a,1),5401(a,1,2,1,2,1,2,2,1,1,1,1)),demod(2353(22))]. given #414 (T,wt=21): 5614 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,x))),f(x,x)) = x. [para(5277(a,1),227(a,1,1,2,2)),demod(5611(2),5611(4))]. given #415 (A,wt=55): 312 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)),z))))) = f(y,z). [para(87(a,1),11(a,1,2,2,2,2,1,1,1,1))]. given #416 (F,wt=47): 5513 f(f(f(f(x,y),f(f(f(f(y,x),x),f(x,y)),y)),y),f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)) = y # label(false). [para(2415(a,1),5401(a,1,2,1,2,1,2,2,1,1,1,1)),demod(2415(22))]. given #417 (F,wt=47): 5546 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y)),y)),y),f(x,y)))),y)) = y # label(false). [para(5401(a,1),5147(a,1,2,1,2,2,1,1,1)),demod(1892(16))]. given #418 (F,wt=47): 5548 f(f(x,y),f(f(y,f(f(y,f(y,f(f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y)),y),f(y,x)))),y)),y)) = y # label(false). [para(5151(a,1),5401(a,1,2,1,2,1,2,2,1,1,1)),demod(1892(14))]. given #419 (F,wt=47): 5601 f(f(x,y),f(f(x,f(x,f(f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x),f(x,y)))),x)) = x # label(false). [para(5410(a,1),5151(a,1,2,1,2,2,1,1,1)),demod(1892(16))]. given #420 (T,wt=21): 5615 f(f(x,x),f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,y)))) = x. [para(227(a,1),5277(a,1,2,2)),demod(5611(4),5611(6),5611(12),5611(14),1892(20),5611(2),5611(4),5613(9)),flip(a)]. given #421 (A,wt=59): 313 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(w,f(y,z)),v),v),f(y,z)),z))))) = f(y,z). [para(94(a,1),11(a,1,2,2,2,2,1,1,1,1))]. given #422 (F,wt=47): 5602 f(f(x,y),f(f(x,f(f(x,f(x,f(f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x),f(x,y)))),x)),x)) = x # label(false). [para(5151(a,1),5410(a,1,2,1,2,1,2,2,1,1,1)),demod(1892(14))]. given #423 (F,wt=47): 5713 f(f(f(f(f(x,y),y),f(y,x)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x),f(y,x)))),x)) = x # label(false). [para(5277(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(5277(16),5277(21))]. given #424 (F,wt=47): 5718 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x),f(y,x)))),x)) = x # label(false). [para(5277(a,1),3370(a,1,1,1,2)),demod(5611(2),5277(12),5277(16),5277(21))]. given #425 (F,wt=47): 5719 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(3370(a,1),5277(a,1,2,2)),demod(5611(34),5611(40),3532(46),5611(2)),flip(a)]. given #426 (T,wt=21): 5683 f(x,f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),y))) = f(x,y). [para(2101(a,1),5277(a,1,2,2)),demod(5611(3),5611(10),3764(19),5611(4)),flip(a)]. given #427 (A,wt=57): 343 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(f(f(y,y),v),f(f(f(f(f(y,w),v),v),y),f(y,v6))),u),u),y),f(y,v7)))))) = y. [para(3(a,1),12(a,1,1,2)),demod(3(12),3(12),3(14),3(17),3(18),3(18),3(31),3(32),3(38))]. given #428 (F,wt=47): 5796 f(f(f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),x)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [back_demod(5511),demod(5611(3))]. given #429 (F,wt=47): 5797 f(f(f(f(x,y),f(f(f(y,f(y,y)),f(x,y)),y)),y),f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)) = y # label(false). [back_demod(5508),demod(5611(3))]. given #430 (F,wt=47): 5798 f(f(f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),y)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [back_demod(5506),demod(5611(3))]. given #431 (F,wt=47): 6961 f(f(x,y),f(y,f(f(f(y,f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)),y)),y),f(x,y)))) = y # label(false). [para(5471(a,1),2353(a,1,2,1)),demod(5471(18),5471(34),5471(39))]. given #432 (T,wt=21): 5686 f(x,f(f(y,x),f(f(f(x,f(x,x)),f(y,x)),x))) = f(y,x). [para(2244(a,1),5277(a,1,2,2)),demod(5611(3),5611(10),3759(19),5611(4)),flip(a)]. given #433 (A,wt=57): 346 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)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(z,u),u),f(y,z)),f(f(y,z),v)))))) = f(y,z). [para(21(a,1),12(a,1,2,2,1,1,1))]. given #434 (F,wt=47): 7046 f(f(x,y),f(x,f(f(f(x,f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)),x),f(x,y)))) = x # label(false). [para(5594(a,1),2353(a,1,2,1)),demod(5594(18),5594(34),5594(39))]. given #435 (F,wt=47): 7751 f(f(x,y),f(f(y,f(y,f(f(f(y,f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,x)))),y)),y)),y),f(y,x)))),y)) = y # label(false). [para(5577(a,1),3057(a,1,2,1,1))]. given #436 (F,wt=49): 5073 f(f(x,f(y,y)),f(f(y,z),f(f(f(f(f(x,f(y,y)),f(f(f(y,z),z),f(y,z))),f(f(f(y,z),z),f(y,z))),f(y,y)),f(x,f(y,y))))) = f(y,y) # label(false). [para(4899(a,1),1958(a,1,2,1))]. given #437 (F,wt=49): 5168 f(x,f(f(x,y),f(f(f(f(x,y),f(f(f(x,y),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(x,z),z),f(x,y)),x))),f(x,y))),f(x,y)),x))) = f(x,y) # label(false). [para(5070(a,1),2353(a,1,2,1)),demod(5070(16),5070(32),5070(37))]. given #438 (T,wt=21): 5690 f(x,f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),x))) = f(x,y). [para(2414(a,1),5277(a,1,2,2)),demod(5611(3),5611(10),3764(19),5611(4)),flip(a)]. given #439 (A,wt=57): 350 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(87(a,1),12(a,1,2,2,2,2,1,1))]. given #440 (F,wt=49): 5222 f(f(x,y),f(y,f(f(f(y,f(y,f(f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y),f(x,y)))),y),f(x,y)))) = y # label(false). [para(5147(a,1),2377(a,1,2,2,1,1,2,2,1,1,1)),demod(1892(14))]. given #441 (F,wt=49): 5381 f(f(x,y),f(x,f(f(f(x,f(x,f(f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x),f(x,y)))),x),f(x,y)))) = x # label(false). [para(5151(a,1),2360(a,1,2,2,1,1,2,2,1,1,1)),demod(1892(14))]. given #442 (F,wt=49): 5425 f(f(x,f(y,y)),f(f(f(y,y),f(f(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))),f(y,y))) = f(y,y) # label(false). [para(21(a,1),5249(a,1,2,1,2,1,2,1,1))]. given #443 (F,wt=49): 5485 f(f(x,f(y,y)),f(f(f(y,y),f(f(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),x)))),f(y,y))),f(y,y))) = f(y,y) # label(false). [para(21(a,1),5401(a,1,2,1,2,1,2,1,1))]. given #444 (T,wt=21): 6897 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,y))),f(x,x)) = x. [back_demod(5613),demod(5615(18))]. given #445 (A,wt=55): 351 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)),y))))) = f(y,z). [para(87(a,1),12(a,1,2,2,2,2,2))]. given #446 (F,wt=49): 5553 f(f(f(x,x),y),f(f(f(x,x),f(f(f(x,x),f(f(x,z),f(f(f(f(f(f(x,x),y),z),z),f(x,x)),f(f(x,x),y)))),f(x,x))),f(x,x))) = f(x,x) # label(false). [para(21(a,1),5410(a,1,2,1,2,1,2,1,1))]. given #447 (F,wt=49): 5664 f(f(x,f(y,y)),f(f(z,y),f(f(f(f(f(x,f(y,y)),f(f(f(y,z),z),f(z,y))),f(f(f(y,z),z),f(z,y))),f(y,y)),f(x,f(y,y))))) = f(y,y) # label(false). [para(5277(a,1),1958(a,1,2,1))]. given #448 (F,wt=49): 5707 f(f(f(x,f(f(f(f(y,x),f(f(y,x),f(y,x))),x),f(y,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(3024(a,1),5277(a,2)),demod(5611(25),5611(37),5611(49),5277(68))]. given #449 (F,wt=49): 6928 f(x,f(f(y,x),f(f(f(f(y,x),f(f(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))),f(y,x)),x))) = f(y,x) # label(false). [para(5072(a,1),2353(a,1,2,1)),demod(5072(16),5072(32),5072(37))]. given #450 (T,wt=23): 3136 f(x,f(f(f(x,f(f(x,y),z)),f(f(x,y),z)),f(x,y))) = f(x,y). [para(87(a,1),3057(a,1,2,1,1,1)),demod(1891(3))]. given #451 (A,wt=59): 352 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(w,f(y,z))))))) = f(y,z). [para(94(a,1),12(a,1,2,2,2,2,2))]. given #452 (F,wt=49): 7429 f(f(f(f(f(x,y),f(f(f(x,y),y),f(x,y))),f(x,y)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [para(4899(a,1),5544(a,1,1,1,1,1)),demod(4899(11),4899(16),4899(20))]. given #453 (F,wt=49): 7433 f(f(f(f(f(x,y),f(f(f(y,x),x),f(x,y))),f(x,y)),y),f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)) = y # label(false). [para(5277(a,1),5544(a,1,1,1,1,1)),demod(5277(11),5277(16),5277(20))]. given #454 (F,wt=49): 7436 f(f(f(f(f(x,y),f(f(y,f(y,y)),f(x,y))),f(x,y)),y),f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)) = y # label(false). [para(5715(a,1),5544(a,1,1,1,1,1)),demod(5715(11),5715(16),5715(20))]. given #455 (F,wt=49): 7511 f(f(f(f(f(x,y),f(f(x,f(x,x)),f(x,y))),f(x,y)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [para(5717(a,1),5544(a,1,1,1,1,1)),demod(5717(11),5717(16),5717(20))]. given #456 (T,wt=23): 3137 f(f(x,f(y,z)),f(f(f(f(f(y,z),x),y),y),f(y,z))) = f(y,z). [para(87(a,1),3057(a,1,2,1,1,2)),demod(87(8))]. given #457 (A,wt=39): 354 f(x,f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(f(x,z),f(f(f(f(x,z),z),f(x,x)),f(f(x,x),u)))))) = f(x,x). [para(79(a,1),12(a,1,2,2,1,1,1,1)),demod(227(9),87(3),87(8))]. given #458 (F,wt=49): 7574 f(f(f(f(f(x,y),y),f(x,y)),x),f(f(x,f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)),x)) = x # label(false). [para(4899(a,1),7013(a,1,2,1,2,1,2,1,2,1,2,2,1,1,1,1)),demod(4899(16))]. given #459 (F,wt=49): 7580 f(f(f(f(f(x,y),y),f(y,x)),x),f(f(x,f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)),x)),x)),x)) = x # label(false). [para(5277(a,1),7013(a,1,2,1,2,1,2,1,2,1,2,2,1,1,1,1)),demod(5277(16))]. given #460 (F,wt=49): 7583 f(f(f(f(x,f(x,x)),f(y,x)),x),f(f(x,f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)),x)),x)),x)) = x # label(false). [para(5715(a,1),7013(a,1,2,1,2,1,2,1,2,1,2,2,1,1,1,1)),demod(5715(16))]. given #461 (F,wt=49): 7584 f(f(f(f(x,f(x,x)),f(x,y)),x),f(f(x,f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)),x)) = x # label(false). [para(5717(a,1),7013(a,1,2,1,2,1,2,1,2,1,2,2,1,1,1,1)),demod(5717(16))]. given #462 (T,wt=23): 3527 f(f(x,f(y,z)),f(f(f(f(x,f(y,z)),z),z),f(y,z))) = f(y,z). [para(3(a,1),3138(a,1,2,1,1,2)),demod(3(16))]. given #463 (A,wt=45): 357 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,f(y,y)),f(f(y,f(y,y)),f(f(y,y),u)))))) = f(y,y). [para(224(a,1),8(a,1,1,2)),demod(224(11),224(12),87(5),224(12),224(16),224(29))]. given #464 (F,wt=49): 7608 f(f(x,y),f(f(f(y,y),f(f(f(f(x,y),z),z),f(f(x,y),z))),f(f(f(f(f(x,y),z),f(f(f(f(x,y),z),z),f(f(x,y),z))),y),f(x,y)))) = y # label(false). [para(3(a,1),5069(a,1,2,1,1,1)),demod(3(12),3(29),3(34))]. given #465 (F,wt=49): 7609 f(f(x,y),f(f(f(x,x),f(f(f(f(x,y),z),z),f(f(x,y),z))),f(f(f(f(f(x,y),z),f(f(f(f(x,y),z),z),f(f(x,y),z))),x),f(x,y)))) = x # label(false). [para(87(a,1),5069(a,1,2,1,1,1)),demod(87(4),87(21),87(26))]. given #466 (F,wt=49): 7760 f(f(x,y),f(f(f(y,y),f(f(f(f(x,y),z),z),f(z,f(x,y)))),f(f(f(f(z,f(x,y)),f(f(f(f(x,y),z),z),f(z,f(x,y)))),y),f(x,y)))) = y # label(false). [para(3(a,1),5659(a,1,2,1,1,1)),demod(3(12),3(29),3(34))]. given #467 (F,wt=49): 7761 f(f(x,y),f(f(f(x,x),f(f(f(f(x,y),z),z),f(z,f(x,y)))),f(f(f(f(z,f(x,y)),f(f(f(f(x,y),z),z),f(z,f(x,y)))),x),f(x,y)))) = x # label(false). [para(87(a,1),5659(a,1,2,1,1,1)),demod(87(4),87(21),87(26))]. given #468 (T,wt=11): 9170 f(x,f(x,f(y,x))) = f(y,x). [back_demod(8933),demod(9104(7),9104(10))]. given #469 (A,wt=57): 377 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(f(f(y,y),v),f(f(f(f(f(y,w),v),v),y),f(y,v6)))))))) = y. [para(21(a,1),14(a,1,2,2,1,1,1))]. given #470 (F,wt=37): 9436 f(f(f(x,f(y,x)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)),x)) = x # label(false). [para(9170(a,1),5401(a,1,2,1,2,1,2,2,1,1,1,1)),demod(9170(12))]. given #471 (F,wt=37): 9544 f(f(f(x,f(x,y)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [para(2087(a,1),9436(a,1,1,1,2)),demod(2087(9),2087(13))]. given #472 (F,wt=41): 9445 f(f(f(x,f(y,x)),x),f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)),x)),x)) = x # label(false). [para(9170(a,1),5533(a,1,2,1,2,1,2,1,2,2,1,1,1,1)),demod(9170(12))]. given #473 (F,wt=41): 9589 f(f(f(x,f(x,y)),x),f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)) = x # label(false). [para(9544(a,1),3532(a,1,2,1,1))]. given #474 (T,wt=11): 9204 f(x,f(x,f(x,y))) = f(x,y). [back_demod(8934),demod(9105(7),9105(10))]. given #475 (A,wt=57): 379 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(f(f(y,y),v),f(f(f(f(f(y,w),v),v),y),f(y,v6)))))))) = y. [para(21(a,1),14(a,1,2,2,2,2,1,1,1))]. given #476 (F,wt=43): 9384 f(f(f(x,f(y,x)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x),f(y,x)))),x)) = x # label(false). [para(9170(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(9170(12),9170(17))]. given #477 (F,wt=43): 9718 f(f(f(x,f(x,y)),x),f(f(x,f(x,f(f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x),f(x,y)))),x)) = x # label(false). [para(9204(a,1),3175(a,1,2,1,2,2,1,1,2,2,1,1,1,1)),demod(9204(12),9204(17))]. given #478 (F,wt=45): 9311 f(f(x,y),f(f(f(f(y,f(x,y)),f(y,f(x,y))),z),f(f(f(f(f(f(y,f(x,y)),y),z),z),f(y,f(x,y))),f(x,y)))) = f(y,f(x,y)) # label(false). [para(9170(a,1),8(a,1,1))]. given #479 (F,wt=43): 9903 f(x,f(f(f(f(f(x,y),x),f(f(x,y),x)),z),f(f(f(f(f(f(f(x,y),x),f(x,y)),z),z),f(f(x,y),x)),x))) = f(f(x,y),x) # label(false). [para(1891(a,1),9311(a,1,1)),demod(1891(4),1891(6),1891(10),1891(16),1891(18),1891(22))]. given #480 (T,wt=11): 9358 f(f(x,y),f(f(x,y),x)) = x. [para(1891(a,1),9170(a,1,2,2)),demod(1891(7))]. given #481 (A,wt=57): 380 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),f(w,w)),f(f(f(w,f(w,w)),y),f(y,v6)))))))) = y. [para(21(a,1),14(a,1,2,2,2,2,2,2,1,1,1))]. Demod_limit hit 700 times. given #482 (F,wt=35): 9973 f(f(f(f(x,y),x),f(x,y)),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). [para(9358(a,1),93(a,1,2,2,1,1,1,1))]. given #483 (F,wt=35): 10146 f(f(f(f(x,y),y),f(x,y)),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(y,z),z),f(x,y)),y))) = f(x,y) # label(false). [para(94(a,1),9973(a,1,1,1,1)),demod(94(6),94(8),94(9),94(14),94(19))]. given #484 (F,wt=41): 10142 f(f(f(f(x,x),f(y,f(x,x))),f(x,x)),f(f(x,z),f(f(f(f(f(y,f(x,x)),z),z),f(x,x)),f(y,f(x,x))))) = f(x,x) # label(false). [para(47(a,1),9973(a,1,1,1,1)),demod(47(7),47(9),47(10),1891(9),47(14),47(21))]. given #485 (F,wt=43): 9904 f(x,f(f(f(f(f(y,x),x),f(f(y,x),x)),z),f(f(f(f(f(f(f(y,x),x),f(y,x)),z),z),f(f(y,x),x)),x))) = f(f(y,x),x) # label(false). [para(1892(a,1),9311(a,1,1)),demod(1892(4),1892(6),1892(10),1892(16),1892(18),1892(22))]. given #486 (T,wt=11): 9360 f(f(x,y),f(f(x,y),y)) = y. [para(1892(a,1),9170(a,1,2,2)),demod(1892(7))]. given #487 (A,wt=59): 386 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(f(f(y,y),v),f(f(f(f(f(y,w),v),v),y),f(y,v6)))))))) = y. [para(87(a,1),14(a,1,2,2,1,1))]. given #488 (F,wt=43): 10162 f(f(f(f(x,y),x),f(x,y)),f(f(f(x,y),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(x,z),z),f(x,y)),x))),f(x,y))) = f(x,y) # label(false). [para(9973(a,1),4899(a,1,2,1,1)),demod(9973(31),9973(34))]. given #489 (F,wt=33): 10415 f(f(f(x,f(y,x)),x),f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)) = x # label(false). [para(3(a,1),10162(a,1,1,1,1)),demod(3(13),3(14),3(14),3(14),3(19),3(24),3(26))]. given #490 (F,wt=33): 10417 f(f(f(x,f(x,y)),x),f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)) = x # label(false). [para(87(a,1),10162(a,1,1,1,1)),demod(87(5),87(6),87(6),87(6),87(11),87(16),87(18))]. given #491 (F,wt=43): 10188 f(f(f(f(x,y),y),f(x,y)),f(f(f(x,y),f(f(f(f(x,y),f(x,y)),z),f(f(f(f(y,z),z),f(x,y)),y))),f(x,y))) = f(x,y) # label(false). [para(10146(a,1),4899(a,1,2,1,1)),demod(10146(31),10146(34))]. given #492 (T,wt=15): 9998 f(f(x,y),f(f(y,f(f(y,x),y)),y)) = y. [para(9358(a,1),3139(a,1,2,1,1))]. given #493 (A,wt=59): 387 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(f(f(y,y),v),f(f(f(f(f(y,w),v),v),y),f(y,v6)))))))) = y. [para(87(a,1),14(a,1,2,2,2,2,1,1))]. given #494 (F,wt=39): 10550 f(f(f(f(x,f(f(x,y),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(9998(a,1),8(a,1,2,2,1,1,1,1))]. given #495 (F,wt=37): 10741 f(f(f(f(f(x,y),f(y,f(x,y))),f(x,y)),y),f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))) = y # label(false). [para(21(a,1),10550(a,1,1,1,1,2,1)),demod(1892(9),1892(10),1892(10),1892(15),1892(20))]. given #496 (F,wt=37): 10744 f(f(f(f(f(x,y),f(x,f(x,y))),f(x,y)),x),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))) = x # label(false). [para(87(a,1),10550(a,1,1,1,1,2,1)),demod(1891(9),1891(10),1891(10),1891(15),1891(20))]. given #497 (F,wt=39): 10745 f(f(f(f(x,f(f(y,x),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(94(a,1),10550(a,1,1,1,1,2,1)),demod(2082(8),2082(10),2082(11),2082(16),2082(21))]. given #498 (T,wt=15): 10020 f(f(x,y),f(f(x,f(f(x,y),x)),x)) = x. [para(9358(a,1),3609(a,1,2,1,1))]. given #499 (A,wt=59): 388 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),f(f(y,w),f(y,w))),f(f(f(y,w),y),f(y,v6)))))))) = y. [para(87(a,1),14(a,1,2,2,2,2,2,2,1,1))]. given #500 (F,wt=39): 10747 f(f(f(f(x,f(f(x,y),x)),x),f(x,y)),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). [para(105(a,1),10550(a,1,1,1,1,2,1)),demod(2087(8),2087(10),2087(11),2087(16),2087(21))]. given #501 (F,wt=41): 10793 f(f(f(f(f(x,y),f(y,f(x,y))),f(x,y)),y),f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)) = y # label(false). [para(10741(a,1),4899(a,1,2,1,1)),demod(10741(34),10741(36))]. given #502 (F,wt=41): 10824 f(f(f(f(f(x,y),f(x,f(x,y))),f(x,y)),x),f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)) = x # label(false). [para(10744(a,1),4899(a,1,2,1,1)),demod(10744(34),10744(36))]. given #503 (F,wt=45): 9458 f(f(f(f(f(x,y),f(y,f(x,y))),f(x,y)),y),f(f(y,f(f(y,f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(x,y)))),y)),y)) = y # label(false). [para(9170(a,1),5544(a,1,1,1,1,1)),demod(9170(7),9170(12),9170(16))]. given #504 (T,wt=15): 10305 f(f(x,y),f(f(y,f(f(x,y),y)),y)) = y. [para(9360(a,1),3532(a,1,2,1,1))]. given #505 (A,wt=57): 389 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(f(f(x,x),w),f(f(f(f(f(x,v6),w),w),x),f(x,v7))))))),f(x,x)) = x. [para(14(a,1),94(a,1,2,1)),demod(14(52),14(54))]. given #506 (F,wt=45): 9472 f(f(f(x,f(y,x)),x),f(f(x,f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(y,x),z),z),x),f(y,x)))),x)),x)),x)),x)) = x # label(false). [para(9170(a,1),7013(a,1,2,1,2,1,2,1,2,1,2,2,1,1,1,1)),demod(9170(12))]. given #507 (F,wt=45): 9639 f(f(f(x,f(x,y)),x),f(f(x,f(f(x,f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)),x)),x)) = x # label(false). [para(9589(a,1),3532(a,1,2,1,1))]. given #508 (F,wt=45): 9653 f(f(x,y),f(f(f(f(x,f(x,y)),f(x,f(x,y))),z),f(f(f(f(f(f(x,f(x,y)),x),z),z),f(x,f(x,y))),f(x,y)))) = f(x,f(x,y)) # label(false). [para(9204(a,1),8(a,1,1))]. given #509 (F,wt=45): 9785 f(f(f(f(f(x,y),f(x,f(x,y))),f(x,y)),x),f(f(x,f(f(x,f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,y)))),x)),x)) = x # label(false). [para(9204(a,1),5544(a,1,1,1,1,1)),demod(9204(7),9204(12),9204(16))]. given #510 (T,wt=17): 9169 f(f(x,f(x,x)),f(y,x)) = f(f(y,x),f(y,x)). [back_demod(9096),demod(9104(7),9104(8)),flip(a)]. given #511 (A,wt=33): 472 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)),y))) = f(y,z). [para(87(a,1),40(a,1,2,2,2))]. given #512 (F,wt=27): 12236 f(x,f(f(f(f(y,x),f(y,x)),z),f(f(f(z,f(x,z)),f(y,x)),x))) = f(y,x) # label(false). [back_demod(11547),demod(11992(6),11961(3),1892(3),1892(3),11745(6))]. given #513 (F,wt=27): 12315 f(f(x,y),f(f(f(y,y),z),f(f(y,f(y,y)),f(f(z,f(f(y,x),z)),y)))) = y # label(false). [back_demod(11285),demod(11745(8))]. given #514 (F,wt=27): 13402 f(x,f(f(f(f(x,y),f(x,y)),z),f(f(f(z,f(x,z)),f(x,y)),x))) = f(x,y) # label(false). [back_demod(7614),demod(11745(6),11745(8),12378(8),11745(5),11745(7),12378(7),11745(8),11745(10),12378(10),11745(7),11745(9),12378(9),11745(6))]. given #515 (F,wt=27): 15156 f(f(x,y),f(f(f(y,y),z),f(f(y,f(y,y)),f(f(z,f(f(x,y),z)),y)))) = y # label(false). [para(94(a,1),12315(a,1,2,2,2,1,2,1)),demod(2082(4))]. given #516 (T,wt=11): 11745 f(f(x,y),y) = f(y,f(x,y)). [back_demod(9375),demod(11591(7),11601(8),11601(5),5715(6))]. given #517 (A,wt=35): 608 f(f(f(f(f(x,y),f(x,y)),f(z,z)),f(f(f(z,f(z,z)),f(x,y)),y)),f(f(x,y),f(x,y))) = f(x,y). [para(46(a,1),94(a,1,2,1)),demod(46(26),46(29))]. given #518 (F,wt=27): 15159 f(f(x,y),f(f(f(x,x),z),f(f(x,f(x,x)),f(f(z,f(f(x,y),z)),x)))) = x # label(false). [para(105(a,1),12315(a,1,2,2,2,1,2,1)),demod(2087(4))]. given #519 (F,wt=29): 12290 f(x,f(f(f(f(x,f(x,x)),f(y,x)),z),f(f(f(z,f(x,z)),f(y,x)),x))) = f(y,x) # label(false). [back_demod(11359),demod(11745(7))]. given #520 (F,wt=29): 12291 f(x,f(f(f(f(y,f(y,y)),f(x,y)),z),f(f(f(z,f(x,z)),f(x,y)),x))) = f(x,y) # label(false). [back_demod(11355),demod(11745(7))]. given #521 (F,wt=29): 16352 f(f(x,y),f(f(f(f(y,f(y,y)),x),z),f(f(f(z,f(f(x,y),z)),x),f(x,y)))) = x # label(false). [para(1891(a,1),12290(a,1,2,1,1,2)),demod(11601(6),1891(11),1891(16))]. given #522 (T,wt=11): 12002 f(f(x,f(x,x)),f(y,y)) = y. [back_demod(11453),demod(11745(6),11745(12),11745(18),11601(20),11601(14),11601(5))]. given #523 (A,wt=41): 620 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),f(z,z)),f(f(f(z,f(z,z)),y),f(y,u)))))) = y. [para(40(a,1),46(a,1,1,2)),demod(40(12),40(12),40(17),40(30))]. given #524 (F,wt=29): 16361 f(x,f(f(f(f(x,f(x,x)),f(x,y)),z),f(f(f(z,f(x,z)),f(x,y)),x))) = f(x,y) # label(false). [para(2087(a,1),12290(a,1,2,1,1,2)),demod(2087(11),2087(16))]. given #525 (F,wt=31): 15149 f(x,f(f(f(f(y,x),f(y,x)),z),f(f(x,f(x,x)),f(f(z,f(x,z)),f(y,x))))) = f(y,x) # label(false). [para(21(a,1),12315(a,1,2,2,2,1,2,1)),demod(1892(3),11601(9))]. given #526 (F,wt=27): 16568 f(f(x,y),f(f(f(x,x),z),f(f(y,f(y,y)),f(f(z,f(f(x,y),z)),x)))) = x # label(false). [para(1891(a,1),15149(a,1,2,1,1,1)),demod(1891(4),11601(8),1891(11),1891(15))]. given #527 (F,wt=31): 15153 f(x,f(f(f(f(x,y),f(x,y)),z),f(f(y,f(y,y)),f(f(z,f(x,z)),f(x,y))))) = f(x,y) # label(false). [para(87(a,1),12315(a,1,2,2,2,1,2,1)),demod(1891(3),11601(9))]. given #528 (T,wt=11): 12008 f(f(x,f(x,x)),y) = f(y,y). [back_demod(11358),demod(11601(5))]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c3,f(c1,f(f(x,f(x,x)),c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [para(12008(a,2),4(a,1,2,2,2))]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c2,f(c1,f(f(x,f(x,x)),c3)))) != f(c1,f(c3,f(c1,f(c2,c2)))) # answer(MOD_SS). [para(12008(a,2),4(a,2,2,2,2)),flip(a)]. given #529 (A,wt=49): 1545 f(f(f(f(f(x,f(y,y)),f(x,f(y,y))),y),f(f(f(y,y),f(x,f(y,y))),f(f(x,f(y,y)),z))),f(f(x,f(y,y)),f(x,f(y,y)))) = f(x,f(y,y)). [para(47(a,1),831(a,1,1,1,2,1)),demod(47(9),87(8),47(9))]. given #530 (F,wt=31): 15777 f(f(x,y),f(x,f(f(f(f(x,x),z),f(f(f(z,f(f(x,y),z)),x),f(x,y))),f(x,y)))) = x # label(false). [back_demod(13296),demod(15277(12),12675(12))]. given #531 (F,wt=31): 15987 f(f(x,y),f(y,f(f(f(f(y,y),z),f(f(f(z,f(f(x,y),z)),y),f(x,y))),f(x,y)))) = y # label(false). [back_demod(12465),demod(15277(12),12667(12))]. given #532 (F,wt=31): 16257 f(f(x,y),f(y,f(y,f(f(f(y,y),z),f(f(y,f(y,y)),f(f(z,f(f(y,x),z)),y)))))) = y # label(false). [back_demod(15264),demod(15286(12))]. given #533 (F,wt=31): 16260 f(f(x,y),f(y,f(y,f(f(f(y,y),z),f(f(y,f(y,y)),f(f(z,f(f(x,y),z)),y)))))) = y # label(false). [back_demod(15265),demod(15288(12))]. given #534 (T,wt=11): 12378 f(f(x,y),f(y,f(x,y))) = y. [back_demod(11113),demod(11745(3),9170(4),11745(3),9170(4),11745(3))]. given #535 (A,wt=49): 1669 f(f(f(f(f(x,f(y,y)),f(x,f(y,y))),y),f(f(f(y,y),f(x,f(y,y))),f(z,f(x,f(y,y))))),f(f(x,f(y,y)),f(x,f(y,y)))) = f(x,f(y,y)). [para(47(a,1),1048(a,1,1,1,2,1)),demod(47(9),87(8),47(9))]. given #536 (F,wt=27): 17054 f(f(x,y),f(f(f(y,y),z),f(f(x,f(x,x)),f(f(z,f(f(y,x),z)),y)))) = y # label(false). [back_demod(16651),demod(17041(13))]. given #537 (F,wt=29): 17052 f(f(x,y),f(f(f(f(x,f(x,x)),y),z),f(f(f(z,f(f(y,x),z)),y),f(y,x)))) = y # label(false). [back_demod(16450),demod(17038(14))]. given #538 (F,wt=31): 16577 f(x,f(f(f(f(x,y),f(x,y)),z),f(f(x,f(x,x)),f(f(z,f(x,z)),f(x,y))))) = f(x,y) # label(false). [para(2087(a,1),15149(a,1,2,1,1,1)),demod(2087(5),2087(12),2087(17))]. given #539 (F,wt=31): 16603 f(f(x,f(y,y)),f(f(f(x,x),z),f(f(y,f(y,y)),f(f(z,f(f(x,f(y,y)),z)),x)))) = x # label(false). [para(21(a,1),16568(a,1,2,2,1,2)),demod(15277(6))]. given #540 (T,wt=11): 15277 f(f(x,y),x) = f(x,f(x,y)). [para(1891(a,1),11745(a,1,1)),demod(1891(6)),flip(a)]. given #541 (A,wt=41): 2006 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(z,f(y,f(x,x)))))) = f(y,f(x,x)). [back_demod(1500),demod(1988(3))]. given #542 (F,wt=31): 17068 f(f(f(x,x),y),f(f(f(y,y),z),f(f(x,f(x,x)),f(f(z,f(f(y,f(x,x)),z)),y)))) = y # label(false). [para(21(a,1),17054(a,1,2,2,1,2)),demod(15277(6))]. given #543 (F,wt=31): 17199 f(f(x,f(x,y)),f(f(f(x,x),z),f(f(y,f(y,y)),f(f(z,f(f(x,f(x,y)),z)),x)))) = x # label(false). [para(15277(a,1),17054(a,1,1)),demod(11601(9))]. given #544 (F,wt=33): 15148 f(f(x,f(y,y)),f(f(y,z),f(f(y,f(y,y)),f(f(z,f(f(f(y,y),x),z)),f(y,y))))) = f(y,y) # label(false). [para(21(a,1),12315(a,1,2,1,1)),demod(1891(7),11745(5))]. given #545 (F,wt=33): 15228 f(f(x,f(y,y)),f(f(y,z),f(f(y,f(y,y)),f(f(z,f(f(x,f(y,y)),z)),f(y,y))))) = f(y,y) # label(false). [para(21(a,1),15156(a,1,2,1,1)),demod(1891(7),11745(5))]. given #546 (T,wt=11): 15283 f(f(x,y),f(y,f(y,x))) = y. [para(11745(a,1),12315(a,1,2,1)),demod(15277(7),9204(8),15277(7),9105(9))]. given #547 (A,wt=41): 2213 f(f(x,x),f(f(f(f(y,f(x,x)),f(y,f(x,x))),f(x,z)),f(f(f(x,f(x,z)),f(y,f(x,x))),f(x,x)))) = f(y,f(x,x)). [para(1891(a,1),1951(a,1,2,2,1,1,1))]. given #548 (F,wt=33): 15749 f(x,f(f(x,y),f(f(f(f(f(x,y),f(x,y)),z),f(f(f(z,f(x,z)),f(x,y)),x)),x))) = f(x,y) # label(false). [back_demod(13390),demod(15277(15),12622(15))]. given #549 (F,wt=33): 15907 f(x,f(f(y,x),f(f(f(f(f(y,x),f(y,x)),z),f(f(f(z,f(x,z)),f(y,x)),x)),x))) = f(y,x) # label(false). [back_demod(12704),demod(15277(16),12661(16),15277(17),9204(17))]. given #550 (F,wt=33): 16309 f(f(f(x,x),y),f(f(x,z),f(f(x,f(x,x)),f(f(z,f(f(f(x,x),y),z)),f(x,x))))) = f(x,x) # label(false). [para(21(a,1),15159(a,1,2,1,1)),demod(1891(7),15277(5))]. given #551 (F,wt=35): 15981 f(f(f(x,f(x,y)),f(y,x)),f(f(f(f(y,x),f(y,x)),z),f(f(f(z,f(x,z)),f(y,x)),x))) = f(y,x) # label(false). [back_demod(12486),demod(15277(2),15277(18),12661(18))]. given #552 (T,wt=11): 15386 f(f(x,y),f(x,f(x,y))) = x. [back_demod(14978),demod(15277(3),9204(3),15277(3))]. NOTE: New constant: 0 f(x,f(x,x)) = c_0. [new_symbol(17476)]. NOTE: New Function symbol precedence: lex([ c1, c2, c3, c_0, f ]). NOTE: sn=119, num_tables=201 NOTE: updating interpretation 1: c_0=1. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [back_demod(16702),demod(17477(5),17825(7)),flip(a)]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [back_demod(16701),demod(17477(5),17825(7))]. given #553 (A,wt=23): 12380 f(x,f(f(f(y,f(z,x)),f(x,f(y,f(z,x)))),f(z,x))) = f(z,x). [back_demod(11102),demod(11745(2),9170(3),11745(2),11745(4),12378(4),11745(6))]. given #554 (F,wt=23): 17522 f(f(x,y),f(f(f(x,x),z),f(c_0,f(f(z,f(f(x,y),z)),x)))) = x # label(false). [back_demod(17411),demod(17477(5))]. given #555 (F,wt=23): 17525 f(f(x,y),f(f(f(y,y),z),f(c_0,f(f(z,f(f(y,x),z)),y)))) = y # label(false). [back_demod(17408),demod(17477(5))]. given #556 (F,wt=23): 17753 f(f(x,y),f(f(f(c_0,y),z),f(c_0,f(f(z,f(f(y,x),z)),y)))) = y # label(false). [back_demod(17094),demod(17477(3),17477(6))]. given #557 (F,wt=23): 17903 f(f(x,y),f(f(f(c_0,x),z),f(c_0,f(f(z,f(f(x,y),z)),x)))) = x # label(false). [back_demod(16776),demod(17477(3),17477(6))]. given #558 (T,wt=7): 17477 f(x,f(x,x)) = c_0. [new_symbol(17476)]. given #559 (A,wt=23): 12381 f(x,f(f(f(f(y,x),z),f(x,f(f(y,x),z))),f(y,x))) = f(y,x). [back_demod(11096),demod(11745(2),9170(3),11745(2),11745(4),12378(4),11745(6))]. given #560 (F,wt=23): 17951 f(f(x,y),f(f(f(y,y),z),f(c_0,f(f(z,f(f(x,y),z)),y)))) = y # label(false). [back_demod(16662),demod(17477(5))]. given #561 (F,wt=23): 19164 f(f(x,y),f(f(f(c_0,y),z),f(c_0,f(f(z,f(f(x,y),z)),y)))) = y # label(false). [para(9170(a,1),17753(a,1,2,2,2,1,2,1)),demod(15277(3),9170(3))]. given #562 (F,wt=23): 19219 f(f(x,y),f(f(f(x,c_0),z),f(c_0,f(f(z,f(f(x,y),z)),x)))) = x # label(false). [back_demod(19198),demod(19218(4),19218(9),19218(12),19218(16))]. given #563 (F,wt=23): 19220 f(f(x,y),f(f(f(y,c_0),z),f(c_0,f(f(z,f(f(y,x),z)),y)))) = y # label(false). [back_demod(19162),demod(19218(4),19218(9),19218(12),19218(16))]. given #564 (T,wt=7): 17554 f(x,f(x,c_0)) = c_0. [back_demod(17374),demod(17477(2),17477(5))]. given #565 (A,wt=33): 12383 f(x,f(f(y,x),f(f(f(f(f(y,x),z),f(x,f(f(y,x),z))),f(y,x)),f(f(y,x),u)))) = f(y,x). [back_demod(11094),demod(11745(2),9170(3),11745(2),11745(4),12378(4),11745(7))]. given #566 (F,wt=23): 19252 f(f(x,y),f(f(f(y,c_0),z),f(c_0,f(f(z,f(f(x,y),z)),y)))) = y # label(false). [para(9170(a,1),19164(a,1,2,1,1)),demod(19218(4),19218(9),19218(12),19218(16))]. given #567 (F,wt=25): 17521 f(f(x,y),f(f(f(c_0,x),z),f(f(f(z,f(f(x,y),z)),x),f(x,y)))) = x # label(false). [back_demod(17412),demod(17477(3))]. given #568 (F,wt=25): 17528 f(f(x,y),f(f(f(c_0,y),z),f(f(f(z,f(f(y,x),z)),y),f(y,x)))) = y # label(false). [back_demod(17405),demod(17477(3))]. given #569 (F,wt=25): 17715 f(x,f(f(f(c_0,f(x,y)),z),f(c_0,f(f(z,f(x,z)),f(x,y))))) = f(x,y) # label(false). [back_demod(17148),demod(17477(2),17477(6))]. given #570 (T,wt=7): 17557 f(x,f(c_0,x)) = c_0. [back_demod(17369),demod(17477(2),17477(5))]. given #571 (A,wt=21): 12446 f(x,f(f(y,x),f(f(f(y,f(x,y)),f(y,x)),x))) = f(y,x). [back_demod(10845),demod(11745(2),9170(3),11745(2),11745(4),12378(4),11745(3))]. given #572 (F,wt=25): 17911 f(x,f(f(f(c_0,f(x,y)),z),f(f(f(z,f(x,z)),f(x,y)),x))) = f(x,y) # label(false). [back_demod(16755),demod(17477(2))]. given #573 (F,wt=25): 18042 f(x,f(f(f(c_0,f(y,x)),z),f(f(f(z,f(x,z)),f(y,x)),x))) = f(y,x) # label(false). [back_demod(16425),demod(17477(2))]. given #574 (F,wt=25): 18051 f(f(x,y),f(f(f(c_0,y),z),f(f(f(z,f(f(x,y),z)),y),f(x,y)))) = y # label(false). [back_demod(16390),demod(17477(3))]. given #575 (F,wt=25): 19127 f(x,f(f(f(c_0,f(y,x)),z),f(c_0,f(f(z,f(x,z)),f(y,x))))) = f(y,x) # label(false). [back_demod(17972),demod(18003(3,R))]. given #576 (T,wt=7): 17905 f(c_0,f(c_0,x)) = x. [back_demod(16772),demod(17477(2),17477(3))]. given #577 (A,wt=29): 12447 f(x,f(f(y,x),f(f(f(f(z,f(y,x)),f(x,f(z,f(y,x)))),f(y,x)),x))) = f(y,x). [back_demod(10841),demod(11745(2),9170(3),11745(2),11745(4),12378(4),11745(7))]. given #578 (F,wt=25): 19426 f(f(x,y),f(f(f(x,c_0),z),f(f(f(z,f(f(x,y),z)),x),f(x,y)))) = x # label(false). [para(9170(a,1),17521(a,1,2,1,1)),demod(19218(4),19218(8),19218(11),19218(12),19218(16))]. given #579 (F,wt=25): 19455 f(f(x,y),f(f(f(y,c_0),z),f(f(f(z,f(f(y,x),z)),y),f(y,x)))) = y # label(false). [para(9170(a,1),17528(a,1,2,1,1)),demod(19218(4),19218(8),19218(11),19218(12),19218(16))]. given #580 (F,wt=25): 19560 f(f(x,y),f(f(f(y,c_0),z),f(f(f(z,f(f(x,y),z)),y),f(x,y)))) = y # label(false). [para(9170(a,1),18051(a,1,2,1,1)),demod(19218(4),19218(8),19218(11),19218(12),19218(16))]. given #581 (F,wt=27): 17657 f(f(f(x,x),y),f(f(f(y,y),z),f(c_0,f(f(z,f(f(y,f(c_0,x)),z)),y)))) = y # label(false). [back_demod(17239),demod(17477(6),17477(7))]. given #582 (T,wt=7): 17919 f(x,c_0) = f(x,x). [back_demod(16725),demod(17477(2))]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [para(17919(a,2),4(a,1,2,2,2)),demod(17919(6))]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [para(17919(a,2),4(a,2,2,2,2)),demod(17919(15))]. given #583 (A,wt=29): 12448 f(x,f(f(y,x),f(f(f(f(f(y,x),z),f(x,f(f(y,x),z))),f(y,x)),x))) = f(y,x). [back_demod(10840),demod(11745(2),9170(3),11745(2),11745(4),12378(4),11745(7))]. given #584 (F,wt=27): 17659 f(f(f(c_0,x),y),f(f(f(y,y),z),f(c_0,f(f(z,f(f(y,f(x,x)),z)),y)))) = y # label(false). [back_demod(17236),demod(17477(2),17477(7))]. given #585 (F,wt=27): 17690 f(f(x,f(y,y)),f(f(f(x,x),z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),x)))) = x # label(false). [back_demod(17184),demod(17477(6),17477(7))]. given #586 (F,wt=27): 17692 f(f(x,f(c_0,y)),f(f(f(x,x),z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),x)))) = x # label(false). [back_demod(17181),demod(17477(2),17477(7))]. given #587 (F,wt=27): 19809 f(f(f(x,x),y),f(f(f(y,y),z),f(c_0,f(f(z,f(f(y,f(x,c_0)),z)),y)))) = y # label(false). [para(9170(a,1),17657(a,1,2,2,2,1,2,1,2)),demod(19218(4),19218(4))]. given #588 (T,wt=7): 18003 f(c_0,x) = f(x,c_0). [back_demod(16553),demod(17477(2),17477(4))]. given #589 (A,wt=41): 12461 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,y),f(f(y,y),z)),f(f(x,y),f(f(y,y),f(f(y,y),z)))),y),f(x,y)))) = y. [back_demod(10804),demod(12378(4),11961(3),11745(14))]. given #590 (F,wt=27): 19830 f(f(f(x,x),y),f(f(f(c_0,y),z),f(c_0,f(f(z,f(f(y,f(c_0,x)),z)),y)))) = y # label(false). [para(17903(a,1),17657(a,1,2,2,2,1,2)),demod(19168(30),15277(31),19174(31),17931(31))]. given #591 (F,wt=27): 19834 f(f(f(x,x),y),f(f(f(y,c_0),z),f(c_0,f(f(z,f(f(y,f(c_0,x)),z)),y)))) = y # label(false). [para(19219(a,1),17657(a,1,2,2,2,1,2)),demod(19295(30),15277(31),19302(31),17931(31))]. given #592 (F,wt=27): 19873 f(f(f(x,c_0),y),f(f(f(y,y),z),f(c_0,f(f(z,f(f(y,f(c_0,x)),z)),y)))) = y # label(false). [para(17919(a,2),17657(a,1,1,1))]. given #593 (F,wt=27): 19889 f(f(f(x,c_0),y),f(f(f(y,y),z),f(c_0,f(f(z,f(f(y,f(x,x)),z)),y)))) = y # label(false). [para(9170(a,1),17659(a,1,1,1)),demod(19218(10),19218(10))]. given #594 (T,wt=7): 18028 f(c_0,f(x,x)) = x. [back_demod(16459),demod(17477(3),18003(3,R))]. given #595 (A,wt=41): 12462 f(f(x,y),f(f(z,f(y,y)),f(f(f(f(f(y,y),f(z,f(y,y))),f(f(x,y),f(f(y,y),f(z,f(y,y))))),y),f(x,y)))) = y. [back_demod(10802),demod(12378(4),11961(3),11745(14))]. given #596 (F,wt=27): 19915 f(f(f(c_0,x),y),f(f(f(c_0,y),z),f(c_0,f(f(z,f(f(y,f(x,x)),z)),y)))) = y # label(false). [para(17903(a,1),17659(a,1,2,2,2,1,2)),demod(19168(29),15277(30),19174(30),17931(30))]. given #597 (F,wt=27): 19920 f(f(f(c_0,x),y),f(f(f(y,c_0),z),f(c_0,f(f(z,f(f(y,f(x,x)),z)),y)))) = y # label(false). [para(19219(a,1),17659(a,1,2,2,2,1,2)),demod(19295(29),15277(30),19302(30),17931(30))]. given #598 (F,wt=27): 19932 f(f(f(c_0,x),y),f(f(f(y,y),z),f(c_0,f(f(z,f(f(y,f(x,c_0)),z)),y)))) = y # label(false). [para(17919(a,2),17659(a,1,2,2,2,1,2,1,2))]. given #599 (F,wt=27): 19942 f(f(x,f(y,y)),f(f(f(x,x),z),f(c_0,f(f(z,f(f(x,f(y,c_0)),z)),x)))) = x # label(false). [para(9170(a,1),17690(a,1,2,2,2,1,2,1,2)),demod(19218(4),19218(4))]. given #600 (T,wt=7): 18029 f(x,f(c_0,c_0)) = c_0. [back_demod(16452),demod(17477(2),17477(3),17477(6))]. given #601 (A,wt=51): 12463 f(f(x,y),f(f(f(f(f(y,y),z),f(f(f(z,f(f(u,y),z)),y),f(u,y))),f(f(x,y),f(f(f(y,y),z),f(f(f(z,f(f(u,y),z)),y),f(u,y))))),y)) = y. [back_demod(10801),demod(11745(7),11745(17),11745(22))]. given #602 (F,wt=27): 19961 f(f(x,f(y,y)),f(f(f(c_0,x),z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),x)))) = x # label(false). [para(17903(a,1),17690(a,1,2,2,2,1,2)),demod(19168(30),15277(31),19174(31),17931(31))]. given #603 (F,wt=27): 19964 f(f(x,f(y,y)),f(f(f(x,c_0),z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),x)))) = x # label(false). [para(19219(a,1),17690(a,1,2,2,2,1,2)),demod(19295(30),15277(31),19302(31),17931(31))]. given #604 (F,wt=27): 19974 f(f(x,f(y,c_0)),f(f(f(x,x),z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),x)))) = x # label(false). [para(17919(a,2),17690(a,1,1,2))]. given #605 (F,wt=27): 19982 f(f(x,f(y,c_0)),f(f(f(x,x),z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),x)))) = x # label(false). [para(9170(a,1),17692(a,1,1,2)),demod(19218(10),19218(10))]. given #606 (T,wt=7): 18229 f(f(c_0,c_0),x) = c_0. [back_demod(15092),demod(17477(2),17477(3),17477(6))]. given #607 (A,wt=41): 12468 f(f(f(f(x,x),y),f(f(f(y,f(f(f(f(x,x),z),f(f(f(z,f(f(u,x),z)),x),f(u,x))),y)),x),f(x,v))),f(x,x)) = x. [back_demod(10791),demod(11745(7),11745(13))]. given #608 (F,wt=27): 20001 f(f(x,f(c_0,y)),f(f(f(c_0,x),z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),x)))) = x # label(false). [para(17903(a,1),17692(a,1,2,2,2,1,2)),demod(19168(29),15277(30),19174(30),17931(30))]. given #609 (F,wt=27): 20004 f(f(x,f(c_0,y)),f(f(f(x,c_0),z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),x)))) = x # label(false). [para(19219(a,1),17692(a,1,2,2,2,1,2)),demod(19295(29),15277(30),19302(30),17931(30))]. given #610 (F,wt=27): 20014 f(f(x,f(c_0,y)),f(f(f(x,x),z),f(c_0,f(f(z,f(f(x,f(y,c_0)),z)),x)))) = x # label(false). [para(17919(a,2),17692(a,1,2,2,2,1,2,1,2))]. given #611 (F,wt=27): 20044 f(f(f(x,x),y),f(f(f(c_0,y),z),f(c_0,f(f(z,f(f(y,f(x,c_0)),z)),y)))) = y # label(false). [para(17903(a,1),19809(a,1,2,2,2,1,2)),demod(19168(30),15277(31),19174(31),17931(31))]. given #612 (T,wt=7): 18431 f(c_0,x) = f(x,x). [back_demod(12008),demod(17477(2))]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [para(18431(a,2),4(a,1,2,2,2)),demod(18003(6),17919(6))]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [para(18431(a,2),4(a,2,2,2,2)),demod(18003(15),17919(15))]. given #613 (A,wt=25): 12470 f(f(x,y),f(y,f(f(f(f(z,y),f(f(x,y),f(z,y))),y),f(x,y)))) = y. [back_demod(10789),demod(12378(4),11961(3),11745(6),11961(9))]. given #614 (F,wt=27): 20047 f(f(f(x,x),y),f(f(f(y,c_0),z),f(c_0,f(f(z,f(f(y,f(x,c_0)),z)),y)))) = y # label(false). [para(19219(a,1),19809(a,1,2,2,2,1,2)),demod(19295(30),15277(31),19302(31),17931(31))]. given #615 (F,wt=27): 20103 f(f(f(x,c_0),y),f(f(f(c_0,y),z),f(c_0,f(f(z,f(f(y,f(c_0,x)),z)),y)))) = y # label(false). [para(17919(a,2),19830(a,1,1,1))]. given #616 (F,wt=27): 20129 f(f(f(x,c_0),y),f(f(f(y,c_0),z),f(c_0,f(f(z,f(f(y,f(c_0,x)),z)),y)))) = y # label(false). [para(17919(a,2),19834(a,1,1,1))]. given #617 (F,wt=27): 20212 f(f(f(x,c_0),y),f(f(f(c_0,y),z),f(c_0,f(f(z,f(f(y,f(x,x)),z)),y)))) = y # label(false). [para(17903(a,1),19889(a,1,2,2,2,1,2)),demod(19168(29),15277(30),19174(30),17931(30))]. given #618 (T,wt=7): 19218 f(c_0,f(x,c_0)) = x. [para(17477(a,1),15283(a,1,2,2)),demod(15277(2),17477(2))]. given #619 (A,wt=41): 12471 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(v,x))))),f(x,x)) = x. [back_demod(10788),demod(11745(5),11745(11))]. given #620 (F,wt=27): 20216 f(f(f(x,c_0),y),f(f(f(y,c_0),z),f(c_0,f(f(z,f(f(y,f(x,x)),z)),y)))) = y # label(false). [para(19219(a,1),19889(a,1,2,2,2,1,2)),demod(19295(29),15277(30),19302(30),17931(30))]. given #621 (F,wt=27): 20261 f(f(f(c_0,x),y),f(f(f(c_0,y),z),f(c_0,f(f(z,f(f(y,f(x,c_0)),z)),y)))) = y # label(false). [para(17919(a,2),19915(a,1,2,2,2,1,2,1,2))]. given #622 (F,wt=27): 20287 f(f(f(c_0,x),y),f(f(f(y,c_0),z),f(c_0,f(f(z,f(f(y,f(x,c_0)),z)),y)))) = y # label(false). [para(17919(a,2),19920(a,1,2,2,2,1,2,1,2))]. given #623 (F,wt=27): 20353 f(f(x,f(y,y)),f(f(f(c_0,x),z),f(c_0,f(f(z,f(f(x,f(y,c_0)),z)),x)))) = x # label(false). [para(17903(a,1),19942(a,1,2,2,2,1,2)),demod(19168(30),15277(31),19174(31),17931(31))]. given #624 (T,wt=9): 17923 f(f(c_0,x),f(y,x)) = x. [back_demod(16717),demod(17477(2))]. given #625 (A,wt=25): 12473 f(f(x,y),f(y,f(f(f(f(y,z),f(f(x,y),f(y,z))),y),f(x,y)))) = y. [back_demod(10786),demod(12378(4),11961(3),11745(6),11961(9))]. given #626 (F,wt=27): 20356 f(f(x,f(y,y)),f(f(f(x,c_0),z),f(c_0,f(f(z,f(f(x,f(y,c_0)),z)),x)))) = x # label(false). [para(19219(a,1),19942(a,1,2,2,2,1,2)),demod(19295(30),15277(31),19302(31),17931(31))]. given #627 (F,wt=27): 20405 f(f(x,f(y,c_0)),f(f(f(c_0,x),z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),x)))) = x # label(false). [para(17919(a,2),19961(a,1,1,2))]. given #628 (F,wt=27): 20431 f(f(x,f(y,c_0)),f(f(f(x,c_0),z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),x)))) = x # label(false). [para(17919(a,2),19964(a,1,1,2))]. given #629 (F,wt=27): 20494 f(f(x,f(y,c_0)),f(f(f(c_0,x),z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),x)))) = x # label(false). [para(17903(a,1),19982(a,1,2,2,2,1,2)),demod(19168(29),15277(30),19174(30),17931(30))]. given #630 (T,wt=9): 17925 f(f(c_0,x),f(x,y)) = x. [back_demod(16710),demod(17477(2))]. given #631 (A,wt=33): 12478 f(f(x,f(y,z)),f(f(y,z),f(f(f(y,f(f(x,f(y,z)),y)),f(y,z)),f(x,f(y,z))))) = f(y,z). [back_demod(10781),demod(12378(7),11961(6),11745(7))]. given #632 (F,wt=27): 20497 f(f(x,f(y,c_0)),f(f(f(x,c_0),z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),x)))) = x # label(false). [para(19219(a,1),19982(a,1,2,2,2,1,2)),demod(19295(29),15277(30),19302(30),17931(30))]. given #633 (F,wt=27): 20561 f(f(x,f(c_0,y)),f(f(f(c_0,x),z),f(c_0,f(f(z,f(f(x,f(y,c_0)),z)),x)))) = x # label(false). [para(17919(a,2),20001(a,1,2,2,2,1,2,1,2))]. given #634 (F,wt=27): 20588 f(f(x,f(c_0,y)),f(f(f(x,c_0),z),f(c_0,f(f(z,f(f(x,f(y,c_0)),z)),x)))) = x # label(false). [para(17919(a,2),20004(a,1,2,2,2,1,2,1,2))]. given #635 (F,wt=29): 17488 f(f(f(x,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,x),y),z)),f(c_0,x))))) = f(x,x) # label(false). [back_demod(17459),demod(17477(5),17477(10))]. given #636 (T,wt=9): 17928 f(f(x,y),f(c_0,x)) = x. [back_demod(16706),demod(17477(3))]. given #637 (A,wt=33): 12479 f(f(x,f(y,z)),f(f(y,z),f(f(f(z,f(f(x,f(y,z)),z)),f(y,z)),f(x,f(y,z))))) = f(y,z). [back_demod(10780),demod(12378(7),11961(6),11745(7))]. given #638 (F,wt=29): 17489 f(f(f(x,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(c_0,x),y),z)),f(x,x))))) = f(x,x) # label(false). [back_demod(17458),demod(17477(5),17477(6))]. given #639 (F,wt=29): 17490 f(f(f(x,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,x),y),z)),f(x,x))))) = f(x,x) # label(false). [back_demod(17457),demod(17477(5))]. given #640 (F,wt=29): 17491 f(f(f(c_0,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,x),y),z)),f(x,x))))) = f(x,x) # label(false). [back_demod(17456),demod(17477(2),17477(6))]. given #641 (F,wt=29): 17532 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(f(y,y),x),z)),f(y,y))))) = f(y,y) # label(false). [back_demod(17398),demod(17477(5))]. given #642 (T,wt=9): 17931 f(f(x,y),f(c_0,y)) = y. [back_demod(16703),demod(17477(3))]. given #643 (A,wt=35): 12501 f(f(f(f(x,f(f(y,f(z,x)),x)),f(z,x)),f(y,f(z,x))),f(f(z,x),f(y,f(z,x)))) = f(y,f(z,x)). [back_demod(10712),demod(11745(4),12378(16))]. given #644 (F,wt=29): 17533 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),f(y,y))))) = f(y,y) # label(false). [back_demod(17397),demod(17477(5))]. given #645 (F,wt=29): 17567 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),f(c_0,y))))) = f(y,y) # label(false). [back_demod(17354),demod(17477(5),17477(10))]. given #646 (F,wt=29): 17568 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),f(y,y))))) = f(y,y) # label(false). [back_demod(17353),demod(17477(5),17477(6))]. given #647 (F,wt=29): 17569 f(f(x,f(c_0,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),f(y,y))))) = f(y,y) # label(false). [back_demod(17351),demod(17477(2),17477(6))]. given #648 (T,wt=9): 19638 f(f(x,y),f(x,c_0)) = x. [para(17911(a,1),17905(a,1,2)),demod(17905(4),17905(4),17557(4),17905(5)),flip(a)]. given #649 (A,wt=35): 12503 f(f(f(f(x,f(f(f(x,y),z),x)),f(x,y)),f(z,f(x,y))),f(f(x,y),f(z,f(x,y)))) = f(z,f(x,y)). [back_demod(10709),demod(11745(4),12378(16))]. given #650 (F,wt=29): 17614 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(f(y,y),x),z)),f(c_0,y))))) = f(y,y) # label(false). [back_demod(17304),demod(17477(5),17477(10))]. given #651 (F,wt=29): 17615 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(f(c_0,y),x),z)),f(y,y))))) = f(y,y) # label(false). [back_demod(17303),demod(17477(5),17477(6))]. given #652 (F,wt=29): 17616 f(f(x,f(c_0,y)),f(f(y,z),f(c_0,f(f(z,f(f(f(y,y),x),z)),f(y,y))))) = f(y,y) # label(false). [back_demod(17301),demod(17477(2),17477(6))]. given #653 (F,wt=29): 19296 f(f(f(x,c_0),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,c_0),y),z)),f(x,c_0))))) = f(x,c_0) # label(false). [para(11745(a,1),19219(a,1,2,1,1)),demod(19218(7))]. given #654 (T,wt=9): 19846 f(f(x,y),f(y,c_0)) = y. [para(17919(a,2),21(a,1,2))]. given #655 (A,wt=19): 12521 f(f(f(f(x,f(y,x)),f(x,y)),y),f(y,f(x,y))) = y. [back_demod(10652),demod(11745(2),11745(7),9170(8),11745(7))]. given #656 (F,wt=29): 19305 f(f(f(c_0,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(c_0,x),y),z)),f(c_0,x))))) = f(c_0,x) # label(false). [para(15277(a,1),19219(a,1,2,1,1)),demod(17905(7))]. given #657 (F,wt=29): 19339 f(f(x,f(y,c_0)),f(f(y,z),f(c_0,f(f(z,f(f(f(y,c_0),x),z)),f(y,c_0))))) = f(y,c_0) # label(false). [para(11745(a,1),19220(a,1,2,1,1)),demod(19218(7))]. given #658 (F,wt=29): 19345 f(f(x,f(c_0,y)),f(f(y,z),f(c_0,f(f(z,f(f(f(c_0,y),x),z)),f(c_0,y))))) = f(c_0,y) # label(false). [para(15277(a,1),19220(a,1,2,1,1)),demod(17905(7))]. given #659 (F,wt=29): 19394 f(f(x,f(y,c_0)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,c_0)),z)),f(y,c_0))))) = f(y,c_0) # label(false). [para(11745(a,1),19252(a,1,2,1,1)),demod(19218(7))]. given #660 (T,wt=9): 19849 f(f(x,c_0),f(x,y)) = x. [para(17919(a,2),1891(a,1,1))]. given #661 (A,wt=27): 12523 f(f(f(f(f(f(x,y),z),f(y,f(f(x,y),z))),f(x,y)),y),f(y,f(x,y))) = y. [back_demod(10640),demod(11745(6),11745(11),9170(12),11745(11))]. given #662 (F,wt=29): 19399 f(f(x,f(c_0,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),f(c_0,y))))) = f(c_0,y) # label(false). [para(15277(a,1),19252(a,1,2,1,1)),demod(17905(7))]. given #663 (F,wt=29): 21182 f(f(f(x,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,x),y),z)),f(x,c_0))))) = f(x,x) # label(false). [para(9170(a,1),17488(a,1,2,2,2,2)),demod(19218(4),19218(4),19218(6),19218(8),19218(8),19218(18),19218(18))]. given #664 (F,wt=29): 21223 f(f(f(x,c_0),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,x),y),z)),f(c_0,x))))) = f(x,x) # label(false). [para(17919(a,2),17488(a,1,1,1))]. given #665 (F,wt=29): 21224 f(f(f(x,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,c_0),y),z)),f(c_0,x))))) = f(x,x) # label(false). [para(17919(a,2),17488(a,1,2,2,2,1,2,1,1))]. given #666 (T,wt=9): 19850 f(f(x,c_0),f(y,x)) = x. [para(17919(a,2),1892(a,1,1))]. given #667 (A,wt=35): 12525 f(f(f(f(x,f(f(f(y,x),z),x)),f(y,x)),f(z,f(y,x))),f(f(y,x),f(z,f(y,x)))) = f(z,f(y,x)). [back_demod(10634),demod(11745(4),12378(16))]. given #668 (F,wt=29): 21257 f(f(f(c_0,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,x),y),z)),f(c_0,x))))) = f(x,x) # label(false). [para(18431(a,2),17488(a,1,1,1))]. given #669 (F,wt=29): 21258 f(f(f(x,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(c_0,x),y),z)),f(c_0,x))))) = f(x,x) # label(false). [para(18431(a,2),17488(a,1,2,2,2,1,2,1,1))]. given #670 (F,wt=29): 21303 f(f(f(x,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,c_0),y),z)),f(x,x))))) = f(x,x) # label(false). [para(9170(a,1),17489(a,1,2,2,2,1,2,1,1)),demod(19218(4),19218(4),19218(6),19218(13),19218(13),19218(18),19218(18))]. given #671 (F,wt=29): 21352 f(f(f(x,c_0),y),f(f(x,z),f(c_0,f(f(z,f(f(f(c_0,x),y),z)),f(x,x))))) = f(x,x) # label(false). [para(17919(a,2),17489(a,1,1,1))]. given #672 (T,wt=11): 17517 f(x,f(c_0,f(f(x,x),y))) = c_0. [back_demod(17416),demod(17477(2),17477(7))]. given #673 (A,wt=27): 12529 f(f(f(f(f(x,y),f(f(y,z),f(x,y))),y),f(y,z)),f(y,f(y,z))) = f(y,z). [back_demod(10628),demod(11745(5),11961(14))]. given #674 (F,wt=29): 21353 f(f(f(x,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(c_0,x),y),z)),f(x,c_0))))) = f(x,x) # label(false). [para(17919(a,2),17489(a,1,2,2,2,2))]. given #675 (F,wt=29): 21369 f(f(f(c_0,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(c_0,x),y),z)),f(x,x))))) = f(x,x) # label(false). [para(18431(a,2),17489(a,1,1,1))]. given #676 (F,wt=29): 21397 f(f(f(x,c_0),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,x),y),z)),f(x,x))))) = f(x,x) # label(false). [para(17919(a,2),17490(a,1,1,1))]. given #677 (F,wt=29): 21470 f(f(f(c_0,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,c_0),y),z)),f(x,x))))) = f(x,x) # label(false). [para(17919(a,2),17491(a,1,2,2,2,1,2,1,1))]. given #678 (T,wt=11): 17518 f(x,f(c_0,f(y,f(x,x)))) = c_0. [back_demod(17415),demod(17477(2),17477(7))]. given #679 (A,wt=27): 12533 f(f(f(f(f(x,y),f(f(z,y),f(x,y))),y),f(z,y)),f(y,f(z,y))) = f(z,y). [back_demod(10622),demod(11745(5),12378(12))]. given #680 (F,wt=29): 21471 f(f(f(c_0,x),y),f(f(x,z),f(c_0,f(f(z,f(f(f(x,x),y),z)),f(x,c_0))))) = f(x,x) # label(false). [para(17919(a,2),17491(a,1,2,2,2,2))]. given #681 (F,wt=29): 21554 f(f(x,f(y,c_0)),f(f(y,z),f(c_0,f(f(z,f(f(f(y,y),x),z)),f(y,y))))) = f(y,y) # label(false). [para(17919(a,2),17532(a,1,1,2))]. given #682 (F,wt=29): 21555 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(f(y,c_0),x),z)),f(y,y))))) = f(y,y) # label(false). [para(17919(a,2),17532(a,1,2,2,2,1,2,1,1))]. given #683 (F,wt=29): 21556 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(f(y,y),x),z)),f(y,c_0))))) = f(y,y) # label(false). [para(17919(a,2),17532(a,1,2,2,2,2))]. given #684 (T,wt=11): 17519 f(f(x,x),f(c_0,f(y,x))) = c_0. [back_demod(17414),demod(17477(3),17477(7))]. given #685 (A,wt=27): 12535 f(f(f(f(f(x,y),f(f(x,z),f(x,y))),x),f(x,z)),f(x,f(x,z))) = f(x,z). [back_demod(10613),demod(11745(5),11961(14))]. given #686 (F,wt=29): 21603 f(f(x,f(c_0,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),f(y,y))))) = f(y,y) # label(false). [back_demod(21405),demod(21588(13))]. given #687 (F,wt=29): 21630 f(f(x,f(y,c_0)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),f(y,y))))) = f(y,y) # label(false). [para(17919(a,2),17533(a,1,1,2))]. given #688 (F,wt=29): 21631 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,c_0)),z)),f(y,y))))) = f(y,y) # label(false). [para(17919(a,2),17533(a,1,2,2,2,1,2,1,2))]. given #689 (F,wt=29): 21632 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),f(y,c_0))))) = f(y,y) # label(false). [para(17919(a,2),17533(a,1,2,2,2,2))]. given #690 (T,wt=11): 17520 f(f(x,x),f(c_0,f(x,y))) = c_0. [back_demod(17413),demod(17477(3),17477(7))]. given #691 (A,wt=27): 12536 f(f(f(f(f(x,y),f(f(y,z),f(x,y))),y),f(z,y)),f(y,f(z,y))) = f(z,y). [back_demod(10609),demod(11745(5),12378(12))]. given #692 (F,wt=29): 21677 f(f(x,f(y,c_0)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),f(c_0,y))))) = f(y,y) # label(false). [para(17919(a,2),17567(a,1,1,2))]. given #693 (F,wt=29): 21678 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,c_0)),z)),f(c_0,y))))) = f(y,y) # label(false). [para(17919(a,2),17567(a,1,2,2,2,1,2,1,2))]. given #694 (F,wt=29): 21696 f(f(x,f(c_0,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(y,y)),z)),f(c_0,y))))) = f(y,y) # label(false). [para(18431(a,2),17567(a,1,1,2))]. given #695 (F,wt=29): 21697 f(f(x,f(y,y)),f(f(y,z),f(c_0,f(f(z,f(f(x,f(c_0,y)),z)),f(c_0,y))))) = f(y,y) # label(false). [para(18431(a,2),17567(a,1,2,2,2,1,2,1,2))]. given #696 (T,wt=11): 17825 f(x,f(c_0,y)) = f(x,f(y,y)). [back_demod(16956),demod(17477(2))]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [para(17825(a,2),4(a,1,2,2)),demod(18003(6),17919(6))]. not interpretable: c1 % Clause contains symbol not in interpretation: % 0 f(c1,f(c3,f(c1,f(c2,c2)))) != f(c1,f(c2,f(c1,f(c3,c3)))) # answer(MOD_SS). [para(17825(a,2),4(a,2,2,2)),demod(18003(15),17919(15))]. given #697 (A,wt=27): 12538 f(f(f(f(f(x,y),f(f(z,x),f(x,y))),x),f(z,x)),f(x,f(z,x))) = f(z,x). [back_demod(106