============================== Prover9 =============================== Prover9 (32) version June-2006C, June 2006. Process 14448 was started by mccune on cleo.thornwood, Mon Jun 19 18:41:18 2006 The command was "/home/mccune/bin/prover9 -f MOL-A.in". ============================== end of head =========================== ============================== INPUT ================================= % Reading from file MOL-A.in assign(max_weight,60). assign(new_constants,1). assign(age_part,1). assign(false_part,4). assign(true_part,1). assign(max_minutes,20). % assign(max_minutes, 20) -> assign(max_seconds, 1200). clauses(sos). f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). end_of_list. clauses(goals). f(x,f(f(y,z),f(y,z))) = f(y,f(f(x,z),f(x,z))) # answer(A_SS). end_of_list. ============================== end of input ========================== ============================== PROCESS GOALS ========================= % Each goal clause was negated; the result (to be placed in sos): clauses(negated_goals). f(c2,f(f(c1,c3),f(c1,c3))) != f(c1,f(f(c2,c3),f(c2,c3))) # answer(A_SS). end_of_list. ============================== end of process goals ================== ============================== PROCESS INITIAL CLAUSES =============== % Clauses before input processing: clauses(usable). end_of_list. clauses(sos). 1 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). [input]. 2 f(c2,f(f(c1,c3),f(c1,c3))) != f(c1,f(f(c2,c3),f(c2,c3))) # answer(A_SS). [clausify]. end_of_list. clauses(demodulators). end_of_list. Predicate elimination: (none). Auto_denials: no changes. Term ordering decisions: Relation symbol precedence: lex([ = ]). Function symbol precedence: lex([ c1, c2, c3, f ]). After inverse_order: Function symbol precedence: lex([ c1, c2, c3, f ]). Unfolding symbols: (none). Auto_inference settings: % set(paramodulation). % (positive equality literals) % set(paramodulation) -> set(back_demod). Auto_process settings: no changes. ============================== end of process initial clauses ======== ============================== CLAUSES FOR SEARCH ==================== % Clauses after input processing: clauses(usable). end_of_list. clauses(sos). 3 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). [input]. 4 f(c1,f(f(c2,c3),f(c2,c3))) != f(c2,f(f(c1,c3),f(c1,c3))) # answer(A_SS). [copy(2),flip(a)]. end_of_list. clauses(demodulators). 3 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). [input]. end_of_list. clauses(denials). end_of_list. ============================== end of clauses for search ============= ============================== SEARCH ================================ % Starting search at 0.00 seconds. given #1 (I,wt=25): 3 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(y,u)))) = y # label(MOL_SS). [input]. given #2 (I,wt=19): 4 f(c1,f(f(c2,c3),f(c2,c3))) != f(c2,f(f(c1,c3),f(c1,c3))) # answer(A_SS). [copy(2),flip(a)]. given #3 (F,wt=35): 8 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(f(y,z),x),u),u),f(y,z)),z))) = f(y,z). [para(3(a,1),3(a,1,2,2,2))]. given #4 (F,wt=41): 9 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(f(f(y,y),u),f(f(f(f(f(y,v),u),u),y),f(y,w)))))) = y. [para(3(a,1),8(a,1,1,2)),demod(3(12),3(12),3(14),3(17),3(30))]. given #5 (F,wt=13): 13 f(f(x,y),f(f(f(y,y),z),y)) = y. [para(3(a,1),9(a,1,2,2))]. given #6 (T,wt=9): 21 f(f(x,y),f(y,y)) = y. [para(3(a,1),13(a,1,2,1))]. given #7 (A,wt=57): 5 f(f(x,y),f(y,f(f(f(f(f(y,x),f(f(f(y,y),z),f(f(f(f(f(y,y),z),z),y),f(y,u)))),f(f(f(y,y),z),f(f(f(f(f(y,y),z),z),y),f(y,u)))),y),f(y,v)))) = y. [para(3(a,1),3(a,1,2,1))]. given #8 (F,wt=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 #9 (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 #10 (F,wt=9): 81 f(f(x,y),f(x,x)) = x. [para(21(a,1),56(a,1,1,1)),demod(21(6))]. given #11 (F,wt=13): 87 f(x,f(f(y,x),f(y,x))) = f(y,x). [para(3(a,1),81(a,1,1))]. given #12 (T,wt=13): 96 f(x,f(f(x,y),f(x,y))) = f(x,y). [para(81(a,1),81(a,1,1))]. 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=15): 58 f(f(x,y),f(y,f(f(y,y),f(y,z)))) = y. [back_demod(38),demod(47(7))]. given #15 (F,wt=15): 143 f(f(x,y),f(y,f(f(y,y),f(z,y)))) = y. [para(87(a,1),58(a,1,2,2,2))]. given #16 (F,wt=17): 122 f(x,f(f(x,x),f(x,f(f(x,x),y)))) = f(x,x). [para(21(a,1),6(a,1,2,2,1)),demod(102(11),81(3))]. given #17 (F,wt=17): 159 f(x,f(f(x,x),f(x,f(y,f(x,x))))) = f(x,x). [para(21(a,1),143(a,1,1)),demod(81(4))]. given #18 (T,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 #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=21): 73 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 #21 (F,wt=21): 140 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 #22 (F,wt=13): 209 f(x,f(f(x,x),f(x,y))) = f(x,x). [para(140(a,1),21(a,1,1)),demod(140(9)),flip(a)]. given #23 (F,wt=13): 221 f(f(x,x),f(x,f(f(x,x),y))) = x. [para(21(a,1),209(a,1,2,1)),demod(81(8))]. given #24 (T,wt=13): 225 f(x,f(f(x,x),f(y,x))) = f(x,x). [para(87(a,1),209(a,1,2,2))]. 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): 232 f(f(x,x),f(x,f(y,f(x,x)))) = x. [para(87(a,1),221(a,1,2,2))]. given #27 (F,wt=19): 257 f(f(f(f(x,x),x),f(f(x,x),x)),x) = f(f(x,x),x). [para(10(a,1),232(a,1,2,2)),demod(243(13),56(14),81(11)),flip(a)]. given #28 (F,wt=21): 200 f(f(f(f(x,x),x),f(f(f(x,x),x),f(x,y))),f(x,x)) = x. [para(73(a,1),87(a,1,2,1)),demod(73(16),73(18))]. given #29 (F,wt=21): 201 f(f(x,x),f(f(f(x,x),x),f(f(f(x,x),x),f(y,x)))) = x. [para(87(a,1),73(a,1,2,2,2))]. given #30 (T,wt=21): 217 f(f(x,y),f(f(f(x,y),f(x,y)),y)) = f(f(x,y),f(x,y)). [para(3(a,1),209(a,1,2,2))]. 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): 224 f(f(x,y),f(f(f(x,y),f(x,y)),x)) = f(f(x,y),f(x,y)). [para(81(a,1),209(a,1,2,2))]. given #33 (F,wt=21): 264 f(f(f(x,f(x,x)),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(21(a,1),257(a,1,1,1,1)),demod(81(5),81(10))]. given #34 (F,wt=21): 271 f(f(f(f(x,x),x),f(f(f(x,x),x),f(y,x))),f(x,x)) = x. [para(87(a,1),200(a,1,1,2,2))]. given #35 (F,wt=23): 197 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),73(a,1,1)),demod(81(3),81(5))]. given #36 (T,wt=23): 227 f(f(x,x),f(x,f(f(f(x,f(x,f(f(x,x),y))),x),f(x,z)))) = x. [para(221(a,1),3(a,1,2,2,1,1,1)),demod(221(6))]. 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): 252 f(f(x,x),f(x,f(f(f(x,f(x,f(y,f(x,x)))),x),f(x,z)))) = x. [para(232(a,1),3(a,1,2,2,1,1,1)),demod(232(6))]. given #39 (F,wt=23): 268 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),200(a,1,1,1,1)),demod(81(5),81(11))]. given #40 (F,wt=23): 278 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),201(a,1,1)),demod(81(3),81(5))]. given #41 (F,wt=23): 309 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),271(a,1,1,1,1)),demod(81(5),81(11))]. given #42 (T,wt=23): 317 f(f(x,x),f(x,f(f(f(x,f(x,f(f(x,x),y))),x),f(z,x)))) = x. [para(87(a,1),227(a,1,2,2,2))]. 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=17): 351 f(f(x,x),f(f(x,f(x,f(f(x,x),y))),x)) = x. [para(87(a,1),317(a,1,2))]. given #45 (F,wt=17): 378 f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),x)) = x. [para(87(a,1),351(a,1,2,1,2,2))]. given #46 (F,wt=21): 377 f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,x))) = f(x,x). [para(21(a,1),351(a,1,1)),demod(81(5))]. given #47 (F,wt=21): 387 f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,x))) = f(x,x). [para(21(a,1),378(a,1,1)),demod(81(5))]. given #48 (T,wt=23): 338 f(f(x,x),f(x,f(f(f(x,f(x,f(y,f(x,x)))),x),f(z,x)))) = x. [para(87(a,1),252(a,1,2,2,2))]. given #49 (A,wt=31): 36 f(x,f(f(x,y),f(f(f(f(f(f(x,x),f(z,x)),y),y),f(x,x)),f(f(x,x),u)))) = f(x,x). [para(21(a,1),3(a,1,1)),demod(21(3))]. given #50 (F,wt=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 #51 (F,wt=19): 446 f(x,f(f(f(x,x),x),f(x,f(f(x,x),y)))) = f(x,x). [para(271(a,1),40(a,1,2,2,1)),demod(21(4),81(3),87(6))]. given #52 (F,wt=19): 448 f(f(x,x),f(f(x,f(x,x)),f(f(x,x),f(x,y)))) = x. [para(309(a,1),40(a,1,2,2,1)),demod(47(3),87(8))]. given #53 (F,wt=19): 455 f(f(f(f(x,x),x),f(x,f(f(x,x),y))),x) = f(x,x). [para(446(a,1),87(a,1,2,1)),demod(446(14),81(9),446(14))]. given #54 (T,wt=19): 456 f(x,f(f(f(x,x),x),f(x,f(y,f(x,x))))) = f(x,x). [para(87(a,1),446(a,1,2,2,2))]. 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): 471 f(f(f(x,f(x,x)),f(f(x,x),f(x,y))),f(x,x)) = x. [para(448(a,1),87(a,1,2,1)),demod(448(14),448(16))]. given #57 (F,wt=19): 472 f(f(x,x),f(f(x,f(x,x)),f(f(x,x),f(y,x)))) = x. [para(87(a,1),448(a,1,2,2,2))]. given #58 (F,wt=19): 478 f(f(f(f(x,x),x),f(x,f(y,f(x,x)))),x) = f(x,x). [para(87(a,1),455(a,1,1,2,2))]. given #59 (F,wt=19): 504 f(f(f(x,f(x,x)),f(f(x,x),f(y,x))),f(x,x)) = x. [para(87(a,1),471(a,1,1,2,2))]. given #60 (T,wt=21): 435 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(81(6))]. 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): 525 f(f(f(f(x,x),x),f(f(x,x),f(x,y))),f(x,x)) = x. [para(435(a,1),87(a,1,2,1)),demod(435(15),435(17))]. given #63 (F,wt=19): 551 f(f(f(x,f(x,x)),f(x,f(f(x,x),y))),x) = f(x,x). [para(21(a,1),525(a,1,1,1,1)),demod(81(5),81(9))]. given #64 (F,wt=19): 554 f(f(f(f(x,x),x),f(f(x,x),f(y,x))),f(x,x)) = x. [para(87(a,1),525(a,1,1,2,2))]. given #65 (F,wt=19): 561 f(f(f(x,f(x,x)),f(x,f(y,f(x,x)))),x) = f(x,x). [para(87(a,1),551(a,1,1,2,2))]. given #66 (T,wt=21): 526 f(f(f(x,x),x),f(f(f(x,x),x),f(f(x,x),f(y,x)))) = x. [para(87(a,1),435(a,1,2,2,2))]. given #67 (A,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). [para(21(a,1),8(a,1,2,2,1,1,1,1))]. given #68 (F,wt=21): 562 f(f(x,x),f(x,f(f(x,f(x,x)),f(x,f(f(x,x),y))))) = x. [para(551(a,1),224(a,1,1)),demod(551(8),551(9),81(4),551(16),551(17),81(12))]. given #69 (F,wt=21): 575 f(f(x,x),f(x,f(f(x,f(x,x)),f(x,f(y,f(x,x)))))) = x. [para(561(a,1),224(a,1,1)),demod(561(8),561(9),81(4),561(16),561(17),81(12))]. given #70 (F,wt=23): 438 f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(f(x,x),y)))) = f(x,x). [para(81(a,1),40(a,1,2,2,1)),demod(81(5))]. given #71 (F,wt=23): 528 f(x,f(f(x,x),f(f(f(x,x),x),f(f(x,x),f(x,y))))) = f(x,x). [para(435(a,1),217(a,1,1)),demod(435(9),435(9),435(18),435(18))]. given #72 (T,wt=23): 568 f(x,f(f(x,x),f(f(f(x,x),x),f(f(x,x),f(y,x))))) = f(x,x). [para(554(a,1),224(a,1,1)),demod(554(8),554(8),554(17),554(17))]. given #73 (A,wt=33): 46 f(f(x,f(y,z)),f(f(f(f(y,z),f(y,z)),f(x,x)),f(f(f(x,f(x,x)),f(y,z)),z))) = f(y,z). [para(21(a,1),8(a,1,2,2,1,1,1))]. given #74 (F,wt=15): 641 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(81(3),81(6),81(10),81(13),81(16),81(19),81(27),221(27),47(23),81(9),81(3),81(6)),flip(a)]. given #75 (F,wt=15): 658 f(f(x,f(x,x)),f(x,f(y,f(x,x)))) = x. [para(87(a,1),641(a,1,2,2))]. given #76 (F,wt=17): 657 f(f(f(x,x),x),f(f(x,x),f(x,y))) = f(x,x). [para(21(a,1),641(a,1,1,2)),demod(81(6))]. given #77 (F,wt=17): 672 f(f(f(x,x),x),f(f(x,x),f(y,x))) = f(x,x). [para(21(a,1),658(a,1,1,2)),demod(81(6))]. given #78 (T,wt=25): 64 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 #79 (A,wt=49): 48 f(x,f(f(x,y),f(f(f(f(f(f(x,x),f(z,x)),y),y),f(x,x)),f(f(x,u),f(f(f(f(f(f(x,x),v),u),u),f(x,x)),f(f(x,x),w)))))) = f(x,x). [para(21(a,1),9(a,1,1)),demod(21(3),21(11))]. given #80 (F,wt=23): 696 f(f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,z))),f(x,x)) = x. [para(64(a,1),87(a,1,2,1)),demod(64(19),64(21))]. given #81 (F,wt=23): 736 f(f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(z,x))),f(x,x)) = x. [para(87(a,1),696(a,1,1,2,2))]. given #82 (F,wt=25): 101 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(87(a,1),3(a,1,2,2,2))]. given #83 (F,wt=25): 102 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),87(a,1,2,1)),demod(3(20),3(22))]. given #84 (T,wt=25): 121 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(21(a,1),6(a,1,2,1,1)),demod(102(11))]. given #85 (A,wt=51): 49 f(f(x,f(y,y)),f(f(y,z),f(f(f(f(f(f(y,y),x),z),z),f(y,y)),f(f(y,u),f(f(f(f(f(f(y,y),v),u),u),f(y,y)),f(f(y,y),w)))))) = f(y,y). [para(21(a,1),9(a,1,2,1,1)),demod(21(12))]. given #86 (F,wt=25): 440 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),87(a,1,2,1)),demod(40(20),40(22))]. given #87 (F,wt=25): 442 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(87(a,1),40(a,1,2,2,2))]. given #88 (F,wt=25): 652 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(641(a,1),3(a,1,2,2,1,1,1)),demod(221(7))]. given #89 (F,wt=25): 667 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(658(a,1),3(a,1,2,2,1,1,1)),demod(232(7))]. given #90 (T,wt=25): 698 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(87(a,1),64(a,1,2,2,2))]. given #91 (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 #92 (F,wt=25): 731 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),696(a,1,1,1,1)),demod(81(12))]. given #93 (F,wt=25): 745 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),736(a,1,1,1,1)),demod(81(12))]. given #94 (F,wt=25): 746 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),736(a,1,1,2,1,1,1))]. given #95 (F,wt=25): 763 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(101(a,1),87(a,1,2,1)),demod(101(20),101(22))]. given #96 (T,wt=25): 773 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(73(a,1),101(a,1,2,2,1,1,1,1)),demod(200(9),81(3))]. given #97 (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 #98 (F,wt=25): 819 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(641(a,1),101(a,1,2,2,1,1,1)),demod(221(7))]. given #99 (F,wt=19): 1076 f(f(f(x,x),x),f(f(x,f(x,f(f(x,x),y))),x)) = x. [para(87(a,1),819(a,1,2))]. given #100 (F,wt=15): 1094 f(f(x,f(x,f(f(x,x),y))),x) = f(x,x). [para(1076(a,1),45(a,1,2,2,1)),demod(351(7),21(14)),flip(a)]. given #101 (F,wt=15): 1102 f(f(x,f(x,f(y,f(x,x)))),x) = f(x,x). [para(87(a,1),1094(a,1,1,2,2))]. given #102 (T,wt=17): 1100 f(f(f(x,x),f(f(x,x),f(x,y))),f(x,x)) = x. [para(21(a,1),1094(a,1,1,2,2,1)),demod(81(10))]. given #103 (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 #104 (F,wt=17): 1104 f(f(x,x),f(x,f(x,f(x,f(f(x,x),y))))) = x. [para(1094(a,1),224(a,1,1)),demod(1094(6),1094(7),81(4),1094(12),1094(13),81(10))]. given #105 (F,wt=17): 1118 f(f(f(x,x),f(f(x,x),f(y,x))),f(x,x)) = x. [para(21(a,1),1102(a,1,1,2,2,2)),demod(81(10))]. given #106 (F,wt=17): 1121 f(f(x,x),f(x,f(x,f(x,f(y,f(x,x)))))) = x. [para(1102(a,1),224(a,1,1)),demod(1102(6),1102(7),81(4),1102(12),1102(13),81(10))]. given #107 (F,wt=21): 1134 f(x,f(f(x,x),f(f(x,x),f(f(x,x),f(x,y))))) = f(x,x). [para(1100(a,1),224(a,1,1)),demod(1100(7),1100(7),1100(15),1100(15))]. given #108 (T,wt=21): 1167 f(x,f(f(x,x),f(f(x,x),f(f(x,x),f(y,x))))) = f(x,x). [para(1118(a,1),224(a,1,1)),demod(1118(7),1118(7),1118(15),1118(15))]. given #109 (A,wt=29): 62 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 #110 (F,wt=25): 842 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(87(a,1),102(a,1,1,2,1,1,1,1))]. given #111 (F,wt=23): 1218 f(f(f(x,f(x,f(f(x,x),y))),f(x,f(f(x,x),z))),x) = f(x,x). [para(641(a,1),842(a,1,1,2,1,1,1)),demod(81(3),81(10),81(11))]. given #112 (F,wt=23): 1219 f(f(f(x,f(x,f(y,f(x,x)))),f(x,f(f(x,x),z))),x) = f(x,x). [para(658(a,1),842(a,1,1,2,1,1,1)),demod(81(3),81(10),81(11))]. given #113 (F,wt=23): 1230 f(f(f(x,f(x,f(f(x,x),y))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(87(a,1),1218(a,1,1,2,2))]. given #114 (T,wt=23): 1238 f(f(f(x,f(x,f(y,f(x,x)))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(87(a,1),1219(a,1,1,2,2))]. given #115 (A,wt=49): 63 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 #116 (F,wt=25): 844 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(73(a,1),102(a,1,1,2,1,1,1,1)),demod(81(3),81(12))]. given #117 (F,wt=25): 989 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(87(a,1),763(a,1,1,2,1,1,1,1))]. given #118 (F,wt=25): 991 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(73(a,1),763(a,1,1,2,1,1,1,1)),demod(81(3),81(12))]. given #119 (F,wt=25): 1220 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(657(a,1),842(a,1,1,2,1,1,1)),demod(56(11))]. given #120 (T,wt=25): 1221 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(672(a,1),842(a,1,1,2,1,1,1)),demod(56(11))]. given #121 (A,wt=45): 65 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 #122 (F,wt=25): 1231 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(1218(a,1),224(a,1,1)),demod(1218(10),1218(11),81(4),1218(20),1218(21),81(14))]. given #123 (F,wt=25): 1239 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(1219(a,1),224(a,1,1)),demod(1219(10),1219(11),81(4),1219(20),1219(21),81(14))]. given #124 (F,wt=25): 1245 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),1230(a,1,1,1,2,2,1)),demod(81(9),81(14))]. given #125 (F,wt=25): 1247 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(1230(a,1),224(a,1,1)),demod(1230(10),1230(11),81(4),1230(20),1230(21),81(14))]. given #126 (T,wt=25): 1253 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),1238(a,1,1,1,2,2,2)),demod(81(9),81(14))]. given #127 (A,wt=45): 66 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)). [para(47(a,1),8(a,1,2,2,1,1,1,1))]. given #128 (F,wt=25): 1255 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(1238(a,1),224(a,1,1)),demod(1238(10),1238(11),81(4),1238(20),1238(21),81(14))]. given #129 (F,wt=27): 85 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(81(a,1),3(a,1,2,2,1,1))]. given #130 (F,wt=15): 1380 f(f(f(x,x),x),f(x,f(f(x,x),y))) = x. [para(85(a,1),46(a,1,2,2,1)),demod(81(3),87(6),21(6),446(7),81(4),87(7),21(7),81(10),87(13),21(13),21(21),221(21),47(17),81(3),81(3),87(6),21(6)),flip(a)]. given #131 (F,wt=15): 1407 f(f(f(x,x),x),f(x,f(y,f(x,x)))) = x. [para(87(a,1),1380(a,1,2,2))]. given #132 (T,wt=17): 1406 f(f(x,f(x,x)),f(f(x,x),f(x,y))) = f(x,x). [para(21(a,1),1380(a,1,1,1)),demod(81(6))]. given #133 (A,wt=33): 67 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=17): 1431 f(f(x,f(x,x)),f(f(x,x),f(y,x))) = f(x,x). [para(21(a,1),1407(a,1,1,1)),demod(81(6))]. given #135 (F,wt=27): 702 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(64(a,1),217(a,1,1)),demod(64(11),64(11),64(22),64(22))]. given #136 (F,wt=27): 752 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(736(a,1),224(a,1,1)),demod(736(10),736(10),736(21),736(21))]. given #137 (F,wt=27): 762 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(81(a,1),101(a,1,2,2,1,1))]. given #138 (T,wt=27): 839 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(81(a,1),102(a,1,1,2,1,1))]. given #139 (A,wt=45): 68 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=23): 1585 f(f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(1094(a,1),839(a,1,1,2,1)),demod(1101(11))]. given #141 (F,wt=23): 1586 f(f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(1102(a,1),839(a,1,1,2,1)),demod(1119(11))]. given #142 (F,wt=23): 1601 f(f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(87(a,1),1585(a,1,1,2,2))]. given #143 (F,wt=23): 1610 f(f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(87(a,1),1586(a,1,1,2,2))]. given #144 (T,wt=25): 1587 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(1100(a,1),839(a,1,1,2,1)),demod(81(3),1132(12),81(12))]. given #145 (A,wt=41): 69 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=25): 1588 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(1118(a,1),839(a,1,1,2,1)),demod(81(3),1166(12),81(12))]. given #147 (F,wt=25): 1615 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),1601(a,1,1,1,2,2,1)),demod(81(8),81(12))]. given #148 (F,wt=25): 1621 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),1610(a,1,1,1,2,2,2)),demod(81(8),81(12))]. given #149 (F,wt=27): 874 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),440(a,1,1,1,1)),demod(81(13))]. given #150 (T,wt=27): 959 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(731(a,1),224(a,1,1)),demod(731(11),731(12),81(4),731(22),731(23),81(15))]. given #151 (A,wt=39): 70 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=27): 967 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),745(a,1,1,2,1,1,1))]. given #153 (F,wt=27): 973 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(745(a,1),224(a,1,1)),demod(745(11),745(12),81(4),745(22),745(23),81(15))]. given #154 (F,wt=27): 987 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(81(a,1),763(a,1,1,2,1,1))]. given #155 (F,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(x,z)))) = x. [para(1104(a,1),3(a,1,2,2,1,1,1)),demod(1104(8))]. given #156 (T,wt=27): 1163 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(1104(a,1),101(a,1,2,2,1,1,1)),demod(1104(8))]. given #157 (A,wt=29): 71 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=21): 1768 f(f(x,x),f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),x)) = x. [para(87(a,1),1163(a,1,2))]. given #159 (F,wt=21): 1795 f(f(x,x),f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),x)) = x. [para(87(a,1),1768(a,1,2,1,2,2,2,2))]. given #160 (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(x,z)))) = x. [para(1121(a,1),3(a,1,2,2,1,1,1)),demod(1121(8))]. given #161 (F,wt=27): 1183 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(1121(a,1),101(a,1,2,2,1,1,1)),demod(1121(8))]. given #162 (T,wt=27): 1208 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(81(a,1),842(a,1,1,2,1,1))]. given #163 (A,wt=49): 72 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=27): 1276 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(81(a,1),989(a,1,1,2,1,1))]. given #165 (F,wt=27): 1401 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(1380(a,1),3(a,1,2,2,1,1,1)),demod(81(5),81(12))]. given #166 (F,wt=19): 1848 f(f(x,f(x,f(f(x,x),y))),f(x,f(f(x,x),z))) = x. [para(1401(a,1),46(a,1,2,2,1)),demod(221(33),47(29),81(11)),flip(a)]. given #167 (F,wt=19): 1859 f(f(x,f(x,f(y,f(x,x)))),f(x,f(f(x,x),z))) = x. [para(87(a,1),1848(a,1,1,2,2))]. given #168 (T,wt=19): 1860 f(f(x,f(x,f(f(x,x),y))),f(x,f(z,f(x,x)))) = x. [para(87(a,1),1848(a,1,2,2))]. given #169 (A,wt=45): 75 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(f(f(x,y),f(x,y)),u)),z),z),f(x,y)),y))) = f(x,y). [para(56(a,1),8(a,1,1))]. given #170 (F,wt=19): 1891 f(f(x,f(x,f(y,f(x,x)))),f(x,f(z,f(x,x)))) = x. [para(87(a,1),1859(a,1,2,2))]. given #171 (F,wt=23): 1858 f(f(f(x,x),f(f(x,x),f(x,y))),f(f(x,x),f(x,z))) = f(x,x). [para(21(a,1),1848(a,1,1,2,2,1)),demod(81(9))]. given #172 (F,wt=23): 1890 f(f(f(x,x),f(f(x,x),f(y,x))),f(f(x,x),f(x,z))) = f(x,x). [para(21(a,1),1859(a,1,1,2,2,2)),demod(81(9))]. given #173 (F,wt=23): 1894 f(f(f(x,x),f(f(x,x),f(x,y))),f(f(x,x),f(z,x))) = f(x,x). [para(21(a,1),1860(a,1,1,2,2,1)),demod(81(9))]. given #174 (T,wt=23): 1915 f(f(f(x,x),f(f(x,x),f(y,x))),f(f(x,x),f(z,x))) = f(x,x). [para(21(a,1),1891(a,1,1,2,2,2)),demod(81(9))]. given #175 (A,wt=43): 76 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)),y))) = f(f(x,x),y). [para(56(a,1),8(a,1,2,2,1,1,1,1))]. given #176 (F,wt=15): 1999 f(f(x,f(f(x,x),x)),x) = f(f(x,x),x). [para(257(a,1),76(a,1,2,1)),demod(56(8),56(10),21(7))]. given #177 (F,wt=19): 2010 f(f(f(x,x),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(21(a,1),1999(a,1,1,2,1)),demod(81(9))]. given #178 (F,wt=25): 2019 f(f(f(x,x),x),f(f(x,f(x,f(f(x,x),x))),f(f(x,x),f(x,y)))) = x. [para(1999(a,1),85(a,1,1)),demod(1101(13),1094(11))]. given #179 (F,wt=21): 2063 f(f(x,f(x,f(f(x,x),x))),f(f(x,x),f(x,y))) = f(x,x). [para(2019(a,1),67(a,1,2,2,1)),demod(209(32),21(30),56(11)),flip(a)]. given #180 (T,wt=21): 2069 f(f(x,f(x,f(f(x,x),x))),f(f(x,x),f(y,x))) = f(x,x). [para(87(a,1),2063(a,1,2,2))]. given #181 (A,wt=37): 77 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 #182 (F,wt=23): 2066 f(f(f(x,x),f(f(x,x),f(x,f(x,x)))),f(x,f(f(x,x),y))) = x. [para(21(a,1),2063(a,1,1,2,2,1)),demod(81(9),81(13))]. given #183 (F,wt=23): 2070 f(f(f(x,x),f(f(x,x),f(x,f(x,x)))),f(x,f(y,f(x,x)))) = x. [para(21(a,1),2069(a,1,1,2,2,1)),demod(81(9),81(13))]. given #184 (F,wt=27): 1602 f(x,f(f(x,x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(x,z))))) = f(x,x). [para(1585(a,1),224(a,1,1)),demod(1585(10),1585(10),1585(21),1585(21))]. given #185 (F,wt=27): 1611 f(x,f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(x,z))))) = f(x,x). [para(1586(a,1),224(a,1,1)),demod(1586(10),1586(10),1586(21),1586(21))]. given #186 (T,wt=27): 1617 f(x,f(f(x,x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(z,x))))) = f(x,x). [para(1601(a,1),224(a,1,1)),demod(1601(10),1601(10),1601(21),1601(21))]. given #187 (A,wt=45): 78 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(f(f(x,x),u),f(f(f(f(f(x,v),u),u),x),f(x,w)))))) = x. [para(56(a,1),9(a,1,1))]. given #188 (F,wt=27): 1623 f(x,f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(z,x))))) = f(x,x). [para(1610(a,1),224(a,1,1)),demod(1610(10),1610(10),1610(21),1610(21))]. given #189 (F,wt=27): 1630 f(f(x,x),f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(f(x,x),z))))) = x. [para(1587(a,1),224(a,1,1)),demod(1587(11),1587(12),81(4),1587(22),1587(23),81(15))]. given #190 (F,wt=27): 1649 f(f(x,x),f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(f(x,x),z))))) = x. [para(1588(a,1),224(a,1,1)),demod(1588(11),1588(12),81(4),1588(22),1588(23),81(15))]. given #191 (F,wt=27): 1656 f(f(x,x),f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(z,f(x,x)))))) = x. [para(1615(a,1),224(a,1,1)),demod(1615(11),1615(12),81(4),1615(22),1615(23),81(15))]. given #192 (T,wt=27): 1661 f(f(x,x),f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(z,f(x,x)))))) = x. [para(1621(a,1),224(a,1,1)),demod(1621(11),1621(12),81(4),1621(22),1621(23),81(15))]. given #193 (A,wt=37): 79 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 #194 (F,wt=27): 1870 f(x,f(f(x,f(x,f(f(x,x),y))),f(f(x,f(x,x)),f(f(x,x),z)))) = f(x,x). [para(1848(a,1),121(a,1,2,2,1,1))]. given #195 (F,wt=27): 1873 f(x,f(f(x,f(x,f(f(x,x),y))),f(f(x,f(x,x)),f(z,f(x,x))))) = f(x,x). [para(1848(a,1),773(a,1,2,2,1,1))]. given #196 (F,wt=27): 1880 f(f(f(x,f(x,f(f(x,x),y))),f(f(x,f(x,x)),f(f(x,x),z))),x) = f(x,x). [para(1848(a,1),844(a,1,1,2,1,1))]. given #197 (F,wt=27): 1883 f(f(f(x,f(x,f(f(x,x),y))),f(f(x,f(x,x)),f(z,f(x,x)))),x) = f(x,x). [para(1848(a,1),991(a,1,1,2,1,1))]. given #198 (T,wt=27): 1925 f(x,f(f(x,f(x,f(y,f(x,x)))),f(f(x,f(x,x)),f(f(x,x),z)))) = f(x,x). [para(1891(a,1),121(a,1,2,2,1,1))]. given #199 (A,wt=37): 80 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 #200 (F,wt=27): 1928 f(x,f(f(x,f(x,f(y,f(x,x)))),f(f(x,f(x,x)),f(z,f(x,x))))) = f(x,x). [para(1891(a,1),773(a,1,2,2,1,1))]. given #201 (F,wt=27): 1935 f(f(f(x,f(x,f(y,f(x,x)))),f(f(x,f(x,x)),f(f(x,x),z))),x) = f(x,x). [para(1891(a,1),844(a,1,1,2,1,1))]. given #202 (F,wt=27): 1938 f(f(f(x,f(x,f(y,f(x,x)))),f(f(x,f(x,x)),f(z,f(x,x)))),x) = f(x,x). [para(1891(a,1),991(a,1,1,2,1,1))]. given #203 (F,wt=27): 1945 f(f(x,x),f(f(f(x,x),f(f(x,x),f(x,y))),f(f(f(x,x),x),f(x,z)))) = x. [para(1858(a,1),3(a,1,2,2,1,1))]. given #204 (T,wt=27): 1961 f(f(x,x),f(f(f(x,x),f(f(x,x),f(x,y))),f(f(f(x,x),x),f(z,x)))) = x. [para(1858(a,1),101(a,1,2,2,1,1))]. given #205 (A,wt=49): 82 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 #206 (F,wt=27): 1962 f(f(f(f(x,x),f(f(x,x),f(x,y))),f(f(f(x,x),x),f(x,z))),f(x,x)) = x. [para(1858(a,1),102(a,1,1,2,1,1))]. given #207 (F,wt=27): 1965 f(f(f(f(x,x),f(f(x,x),f(x,y))),f(f(f(x,x),x),f(z,x))),f(x,x)) = x. [para(1858(a,1),763(a,1,1,2,1,1))]. given #208 (F,wt=27): 1976 f(f(x,x),f(f(f(x,x),f(f(x,x),f(y,x))),f(f(f(x,x),x),f(x,z)))) = x. [para(1915(a,1),3(a,1,2,2,1,1))]. given #209 (F,wt=27): 1986 f(f(x,x),f(f(f(x,x),f(f(x,x),f(y,x))),f(f(f(x,x),x),f(z,x)))) = x. [para(1915(a,1),101(a,1,2,2,1,1))]. given #210 (T,wt=27): 1987 f(f(f(f(x,x),f(f(x,x),f(y,x))),f(f(f(x,x),x),f(x,z))),f(x,x)) = x. [para(1915(a,1),102(a,1,1,2,1,1))]. given #211 (A,wt=31): 83 f(x,f(f(x,y),f(f(f(f(f(f(x,x),f(x,z)),y),y),f(x,x)),f(f(x,x),u)))) = f(x,x). [para(81(a,1),3(a,1,1)),demod(81(3))]. given #212 (F,wt=27): 1990 f(f(f(f(x,x),f(f(x,x),f(y,x))),f(f(f(x,x),x),f(z,x))),f(x,x)) = x. [para(1915(a,1),763(a,1,1,2,1,1))]. given #213 (F,wt=29): 258 f(f(f(x,x),x),f(f(f(x,x),y),f(f(f(f(f(f(x,x),x),y),y),x),f(x,z)))) = x. [para(257(a,1),3(a,1,1)),demod(87(10))]. given #214 (F,wt=29): 281 f(x,f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u))))) = f(x,x). [para(3(a,1),217(a,1,1)),demod(3(11),3(11),3(23),3(23))]. given #215 (F,wt=29): 445 f(x,f(f(x,x),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,z))))) = f(x,x). [para(40(a,1),217(a,1,1)),demod(40(11),40(11),40(23),40(23))]. given #216 (T,wt=29): 489 f(f(f(x,y),f(f(f(f(f(f(x,x),z),y),y),f(x,x)),f(f(x,x),u))),x) = f(x,x). [para(37(a,1),87(a,1,2,1)),demod(37(26),81(14),37(26))]. given #217 (A,wt=37): 84 f(f(f(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)),f(f(x,y),u)))) = f(x,y). [para(81(a,1),3(a,1,2,2,1,1,1,1))]. given #218 (F,wt=29): 679 f(f(f(f(x,y),f(x,y)),f(x,y)),f(f(f(x,y),f(x,y)),y)) = f(f(x,y),f(x,y)). [para(3(a,1),657(a,1,2,2))]. given #219 (F,wt=29): 684 f(f(f(f(x,y),f(x,y)),f(x,y)),f(f(f(x,y),f(x,y)),x)) = f(f(x,y),f(x,y)). [para(81(a,1),657(a,1,2,2))]. given #220 (F,wt=19): 2442 f(f(x,f(x,x)),f(x,f(x,f(x,f(f(x,x),y))))) = x. [para(1094(a,1),684(a,1,1,1,1)),demod(1094(6),81(3),1094(5),1094(7),1094(8),81(5),1094(13),1094(14),81(11))]. given #221 (F,wt=19): 2443 f(f(x,f(x,x)),f(x,f(x,f(x,f(y,f(x,x)))))) = x. [para(1102(a,1),684(a,1,1,1,1)),demod(1102(6),81(3),1102(5),1102(7),1102(8),81(5),1102(13),1102(14),81(11))]. given #222 (T,wt=25): 2444 f(f(f(x,x),x),f(f(x,x),f(f(x,x),f(f(x,x),f(x,y))))) = f(x,x). [para(1100(a,1),684(a,1,1,1,1)),demod(1100(7),1100(8),1100(9),1100(9),1100(17),1100(17))]. given #223 (A,wt=35): 86 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(81(a,1),3(a,1,2,2,2))]. given #224 (F,wt=25): 2445 f(f(f(x,x),x),f(f(x,x),f(f(x,x),f(f(x,x),f(y,x))))) = f(x,x). [para(1118(a,1),684(a,1,1,1,1)),demod(1118(7),1118(8),1118(9),1118(9),1118(17),1118(17))]. given #225 (F,wt=27): 2472 f(f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(f(x,x),z))),x) = f(x,x). [para(2442(a,1),842(a,1,1,2,1,1,1)),demod(81(3),81(14),81(13))]. given #226 (F,wt=27): 2474 f(f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(2442(a,1),989(a,1,1,2,1,1,1)),demod(81(3),81(14),81(13))]. given #227 (F,wt=27): 2492 f(f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(f(x,x),z))),x) = f(x,x). [para(2443(a,1),842(a,1,1,2,1,1,1)),demod(81(3),81(14),81(13))]. given #228 (T,wt=27): 2494 f(f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(2443(a,1),989(a,1,1,2,1,1,1)),demod(81(3),81(14),81(13))]. given #229 (A,wt=33): 88 f(f(f(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)),y))) = f(x,y). [para(81(a,1),8(a,1,2,2,1,1,1,1))]. given #230 (F,wt=29): 756 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(u,x)))) = x. [para(47(a,1),101(a,1,1))]. given #231 (F,wt=29): 758 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(u,x)))) = x. [para(56(a,1),101(a,1,1))]. given #232 (F,wt=29): 783 f(f(f(x,x),x),f(f(f(x,x),y),f(f(f(f(f(f(x,x),x),y),y),x),f(z,x)))) = x. [para(257(a,1),101(a,1,1)),demod(87(10))]. given #233 (F,wt=29): 789 f(x,f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(u,x))))) = f(x,x). [para(101(a,1),217(a,1,1)),demod(101(11),101(11),101(23),101(23))]. given #234 (T,wt=29): 893 f(x,f(f(x,x),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(z,x))))) = f(x,x). [para(442(a,1),217(a,1,1)),demod(442(11),442(11),442(23),442(23))]. given #235 (A,wt=41): 89 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(81(a,1),8(a,1,2,2,1,1))]. given #236 (F,wt=21): 2799 f(f(f(f(x,x),f(x,y)),f(f(x,x),x)),x) = f(f(x,x),x). [para(657(a,1),89(a,1,2,1,2,1)),demod(657(18),81(14),257(12),657(14),56(13),21(10))]. given #237 (F,wt=21): 2800 f(f(f(f(x,x),f(y,x)),f(f(x,x),x)),x) = f(f(x,x),x). [para(672(a,1),89(a,1,2,1,2,1)),demod(672(18),81(14),257(12),672(14),56(13),21(10))]. given #238 (F,wt=23): 2797 f(f(f(x,f(f(x,x),y)),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(641(a,1),89(a,1,2,1,2,1)),demod(641(17),264(13),641(14),81(13),47(9))]. given #239 (F,wt=23): 2798 f(f(f(x,f(y,f(x,x))),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(658(a,1),89(a,1,2,1,2,1)),demod(658(17),264(13),658(14),81(13),47(9))]. given #240 (T,wt=25): 2849 f(f(x,x),f(f(f(x,x),f(f(x,x),x)),f(f(f(x,x),x),f(x,y)))) = x. [para(2800(a,1),3(a,1,2,2,1))]. given #241 (A,wt=49): 90 f(x,f(f(x,y),f(f(f(f(f(f(x,x),f(x,z)),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(81(a,1),9(a,1,1)),demod(81(3),81(11))]. given #242 (F,wt=25): 2860 f(x,f(f(x,f(x,f(x,x))),f(f(x,f(x,x)),f(f(x,x),y)))) = f(x,x). [para(2800(a,1),36(a,1,2,2,1)),demod(81(3),81(6))]. given #243 (F,wt=25): 2865 f(f(x,x),f(f(f(x,x),f(f(x,x),x)),f(f(f(x,x),x),f(y,x)))) = x. [para(2800(a,1),101(a,1,2,2,1))]. given #244 (F,wt=11): 2920 f(f(x,x),f(f(x,x),x)) = x. [para(21(a,1),2865(a,1,2))]. given #245 (F,wt=11): 2927 f(x,f(x,f(x,x))) = f(x,x). [para(264(a,1),2865(a,1,2,2,2)),demod(81(3),81(3),81(3),81(6),21(9))]. given #246 (T,wt=17): 2922 f(f(x,x),f(x,f(f(f(x,x),x),f(y,x)))) = x. [para(2865(a,1),87(a,1,2,1)),demod(2920(4),2920(10),209(13),81(7),2920(5)),flip(a)]. given #247 (A,wt=43): 91 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(81(a,1),9(a,1,2,2,1,1))]. given #248 (F,wt=17): 2969 f(f(x,x),f(x,f(f(f(x,x),x),f(x,y)))) = x. [back_demod(2849),demod(2920(5))]. given #249 (F,wt=21): 2984 f(x,f(f(x,x),f(f(x,f(x,x)),f(y,f(x,x))))) = f(x,x). [back_demod(2890),demod(2927(3))]. given #250 (F,wt=21): 2986 f(x,f(f(x,x),f(f(x,f(x,x)),f(f(x,x),y)))) = f(x,x). [back_demod(2860),demod(2927(3))]. given #251 (F,wt=27): 2835 f(f(f(x,f(x,f(x,f(f(x,x),y)))),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(2442(a,1),89(a,1,2,1,2,1)),demod(2442(21),264(15),2442(18),81(15),47(11))]. given #252 (T,wt=27): 2836 f(f(f(x,f(x,f(x,f(y,f(x,x))))),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(2443(a,1),89(a,1,2,1,2,1)),demod(2443(21),264(15),2443(18),81(15),47(11))]. given #253 (A,wt=59): 92 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(81(a,1),9(a,1,2,2,2,2,1,1,1,1))]. given #254 (F,wt=27): 2933 f(f(x,x),f(x,f(f(f(x,f(x,f(f(f(x,x),x),f(y,x)))),x),f(z,x)))) = x. [para(2865(a,1),101(a,1,2,2,1,1,1)),demod(2920(6),2922(8),2920(5))]. given #255 (F,wt=21): 3141 f(f(x,x),f(f(x,f(x,f(f(f(x,x),x),f(y,x)))),x)) = x. [para(87(a,1),2933(a,1,2))]. given #256 (F,wt=27): 2934 f(f(x,x),f(x,f(f(f(x,f(x,f(f(f(x,x),x),f(y,x)))),x),f(x,z)))) = x. [para(2865(a,1),121(a,1,2,1)),demod(2920(6),2922(8),2920(5),81(10),81(11),81(15))]. given #257 (F,wt=27): 2956 f(f(x,x),f(x,f(f(f(x,f(x,f(f(f(x,x),x),f(x,y)))),x),f(z,x)))) = x. [back_demod(2900),demod(2920(5))]. given #258 (T,wt=21): 3180 f(f(x,x),f(f(x,f(x,f(f(f(x,x),x),f(x,y)))),x)) = x. [para(87(a,1),2956(a,1,2))]. given #259 (A,wt=43): 93 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(81(a,1),9(a,1,2,2,2,2,1,1))]. given #260 (F,wt=27): 2965 f(f(x,x),f(x,f(f(f(x,f(x,f(f(f(x,x),x),f(x,y)))),x),f(x,z)))) = x. [back_demod(2856),demod(2920(5))]. given #261 (F,wt=29): 984 f(f(f(x,y),f(f(f(f(f(f(x,x),z),y),y),f(x,x)),f(u,f(x,x)))),x) = f(x,x). [para(21(a,1),763(a,1,1,1,1)),demod(81(14))]. given #262 (F,wt=29): 1130 f(f(f(f(x,y),f(x,y)),f(f(f(x,y),f(x,y)),y)),f(f(x,y),f(x,y))) = f(x,y). [para(3(a,1),1100(a,1,1,2,2))]. given #263 (F,wt=29): 1133 f(f(f(f(x,y),f(x,y)),f(f(f(x,y),f(x,y)),x)),f(f(x,y),f(x,y))) = f(x,y). [para(81(a,1),1100(a,1,1,2,2))]. given #264 (T,wt=19): 3340 f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),x) = f(x,x). [para(1094(a,1),1133(a,1,1,1,1)),demod(1094(6),81(3),1094(5),1094(6),81(3),1094(11),1094(12),81(9),1094(12))]. given #265 (A,wt=59): 94 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(81(a,1),9(a,1,2,2,2,2,2))]. given #266 (F,wt=19): 3341 f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),x) = f(x,x). [para(1102(a,1),1133(a,1,1,1,1)),demod(1102(6),81(3),1102(5),1102(6),81(3),1102(11),1102(12),81(9),1102(12))]. given #267 (F,wt=21): 3373 f(f(x,x),f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))) = x. [para(3340(a,1),224(a,1,1)),demod(3340(8),3340(9),81(4),3340(16),3340(17),81(12))]. given #268 (F,wt=21): 3409 f(f(x,x),f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))) = x. [para(3341(a,1),224(a,1,1)),demod(3341(8),3341(9),81(4),3341(16),3341(17),81(12))]. given #269 (F,wt=23): 3383 f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))) = x. [para(3340(a,1),684(a,1,1,1,1)),demod(3340(8),81(3),3340(7),3340(9),3340(10),81(5),3340(17),3340(18),81(13))]. given #270 (T,wt=23): 3389 f(f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))),x) = f(x,x). [para(3340(a,1),1133(a,1,1,1,1)),demod(3340(8),81(3),3340(7),3340(8),81(3),3340(15),3340(16),81(11),3340(16))]. given #271 (A,wt=49): 97 f(f(x,y),f(f(f(x,y),z),f(f(f(f(f(f(f(x,y),f(x,y)),y),z),z),f(f(x,y),f(x,y))),f(f(f(x,y),f(x,y)),u)))) = f(f(x,y),f(x,y)). [para(87(a,1),3(a,1,1)),demod(81(8))]. given #272 (F,wt=23): 3419 f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))) = x. [para(3341(a,1),684(a,1,1,1,1)),demod(3341(8),81(3),3341(7),3341(9),3341(10),81(5),3341(17),3341(18),81(13))]. given #273 (F,wt=23): 3425 f(f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))),x) = f(x,x). [para(3341(a,1),1133(a,1,1,1,1)),demod(3341(8),81(3),3341(7),3341(8),81(3),3341(15),3341(16),81(11),3341(16))]. given #274 (F,wt=25): 3342 f(f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(x,y))))),f(x,x)) = x. [para(1100(a,1),1133(a,1,1,1,1)),demod(1100(7),1100(8),1100(8),1100(16),1100(16),1100(18))]. given #275 (F,wt=25): 3343 f(f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(y,x))))),f(x,x)) = x. [para(1118(a,1),1133(a,1,1,1,1)),demod(1118(7),1118(8),1118(8),1118(16),1118(16),1118(18))]. given #276 (T,wt=25): 3460 f(f(x,x),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))))) = x. [para(3389(a,1),224(a,1,1)),demod(3389(10),3389(11),81(4),3389(20),3389(21),81(14))]. given #277 (A,wt=45): 98 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(87(a,1),3(a,1,2,1))]. given #278 (F,wt=25): 3490 f(f(x,x),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))))) = x. [para(3425(a,1),224(a,1,1)),demod(3425(10),3425(11),81(4),3425(20),3425(21),81(14))]. given #279 (F,wt=27): 3379 f(f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(3340(a,1),839(a,1,1,2,1)),demod(3372(15))]. given #280 (F,wt=27): 3381 f(f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(3340(a,1),987(a,1,1,2,1)),demod(3372(15))]. given #281 (F,wt=27): 3415 f(f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(3341(a,1),839(a,1,1,2,1)),demod(3408(15))]. given #282 (T,wt=27): 3417 f(f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(3341(a,1),987(a,1,1,2,1)),demod(3408(15))]. given #283 (A,wt=31): 99 f(f(f(f(x,y),f(x,y)),y),f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(y,u)))) = y. [para(87(a,1),3(a,1,2,2,1,1,1,1))]. given #284 (F,wt=27): 3470 f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))))) = x. [para(3389(a,1),684(a,1,1,1,1)),demod(3389(10),81(3),3389(9),3389(11),3389(12),81(5),3389(21),3389(22),81(15))]. given #285 (F,wt=27): 3474 f(f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))))),x) = f(x,x). [para(3389(a,1),1133(a,1,1,1,1)),demod(3389(10),81(3),3389(9),3389(10),81(3),3389(19),3389(20),81(13),3389(20))]. given #286 (F,wt=27): 3500 f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))))) = x. [para(3425(a,1),684(a,1,1,1,1)),demod(3425(10),81(3),3425(9),3425(11),3425(12),81(5),3425(21),3425(22),81(15))]. given #287 (F,wt=27): 3504 f(f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))))),x) = f(x,x). [para(3425(a,1),1133(a,1,1,1,1)),demod(3425(10),81(3),3425(9),3425(10),81(3),3425(19),3425(20),81(13),3425(20))]. given #288 (T,wt=29): 1206 f(f(f(x,y),f(f(f(f(f(z,f(x,x)),y),y),f(x,x)),f(f(x,x),u))),x) = f(x,x). [para(21(a,1),842(a,1,1,1,1)),demod(81(14))]. given #289 (A,wt=45): 100 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(87(a,1),3(a,1,2,2,1,1,1))]. given #290 (F,wt=29): 1215 f(x,f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(z,x),y),y),x),f(x,u))))) = f(x,x). [para(842(a,1),224(a,1,1)),demod(842(11),842(11),842(23),842(23))]. given #291 (F,wt=29): 1275 f(f(f(x,y),f(f(f(f(f(z,f(x,x)),y),y),f(x,x)),f(u,f(x,x)))),x) = f(x,x). [para(21(a,1),989(a,1,1,1,1)),demod(81(14))]. given #292 (F,wt=29): 1282 f(x,f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(z,x),y),y),x),f(u,x))))) = f(x,x). [para(989(a,1),224(a,1,1)),demod(989(11),989(11),989(23),989(23))]. given #293 (F,wt=29): 1391 f(f(f(x,f(f(x,x),y)),x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(x,z)))) = x. [para(1094(a,1),85(a,1,2,2,1)),demod(1101(15))]. given #294 (T,wt=29): 1393 f(f(f(x,f(y,f(x,x))),x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(x,z)))) = x. [para(1102(a,1),85(a,1,2,2,1)),demod(1119(15))]. given #295 (A,wt=45): 103 f(f(f(f(x,f(y,z)),f(x,f(y,z))),f(y,z)),f(f(f(f(y,z),f(y,z)),u),f(f(f(f(f(x,f(y,z)),u),u),f(y,z)),z))) = f(y,z). [para(87(a,1),8(a,1,2,2,1,1,1,1))]. given #296 (F,wt=29): 1451 f(f(f(x,y),f(f(x,y),f(x,y))),f(f(f(x,y),f(x,y)),y)) = f(f(x,y),f(x,y)). [para(3(a,1),1406(a,1,2,2))]. given #297 (F,wt=29): 1458 f(f(f(x,y),f(f(x,y),f(x,y))),f(f(f(x,y),f(x,y)),x)) = f(f(x,y),f(x,y)). [para(81(a,1),1406(a,1,2,2))]. given #298 (F,wt=19): 3847 f(f(f(x,x),x),f(x,f(x,f(x,f(f(x,x),y))))) = x. [para(1094(a,1),1458(a,1,1,1)),demod(1094(6),1094(7),81(4),1094(7),1094(8),81(5),1094(13),1094(14),81(11))]. given #299 (F,wt=19): 3848 f(f(f(x,x),x),f(x,f(x,f(x,f(y,f(x,x)))))) = x. [para(1102(a,1),1458(a,1,1,1)),demod(1102(6),1102(7),81(4),1102(7),1102(8),81(5),1102(13),1102(14),81(11))]. given #300 (T,wt=23): 3870 f(f(f(x,x),x),f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))) = x. [para(3340(a,1),1458(a,1,1,1)),demod(3340(8),3340(9),81(4),3340(9),3340(10),81(5),3340(17),3340(18),81(13))]. given #301 (A,wt=37): 104 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),87(a,1,2,1)),demod(8(28),8(31))]. given #302 (F,wt=23): 3871 f(f(f(x,x),x),f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))) = x. [para(3341(a,1),1458(a,1,1,1)),demod(3341(8),3341(9),81(4),3341(9),3341(10),81(5),3341(17),3341(18),81(13))]. given #303 (F,wt=25): 3849 f(f(x,f(x,x)),f(f(x,x),f(f(x,x),f(f(x,x),f(x,y))))) = f(x,x). [para(1100(a,1),1458(a,1,1,1)),demod(1100(7),1100(7),1100(9),1100(9),1100(17),1100(17))]. given #304 (F,wt=25): 3850 f(f(x,f(x,x)),f(f(x,x),f(f(x,x),f(f(x,x),f(y,x))))) = f(x,x). [para(1118(a,1),1458(a,1,1,1)),demod(1118(7),1118(7),1118(9),1118(9),1118(17),1118(17))]. given #305 (F,wt=27): 3872 f(f(f(x,x),x),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))))) = x. [para(3389(a,1),1458(a,1,1,1)),demod(3389(10),3389(11),81(4),3389(11),3389(12),81(5),3389(21),3389(22),81(15))]. given #306 (T,wt=27): 3873 f(f(f(x,x),x),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))))) = x. [para(3425(a,1),1458(a,1,1,1)),demod(3425(10),3425(11),81(4),3425(11),3425(12),81(5),3425(21),3425(22),81(15))]. given #307 (A,wt=47): 105 f(f(f(f(x,y),f(x,y)),y),f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(f(f(y,y),u),f(f(f(f(f(y,v),u),u),y),f(y,w)))))) = y. [para(87(a,1),9(a,1,2,2,1,1,1,1))]. given #308 (F,wt=29): 1560 f(f(f(x,f(f(x,x),y)),x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(z,x)))) = x. [para(1094(a,1),762(a,1,2,2,1)),demod(1101(15))]. given #309 (F,wt=29): 1562 f(f(f(x,f(y,f(x,x))),x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(z,x)))) = x. [para(1102(a,1),762(a,1,2,2,1)),demod(1119(15))]. given #310 (F,wt=29): 1666 f(f(x,x),f(x,f(f(x,f(y,y)),f(f(f(y,f(y,y)),f(x,x)),f(f(x,x),z))))) = x. [para(874(a,1),224(a,1,1)),demod(874(12),874(13),81(4),874(24),874(25),81(16))]. given #311 (F,wt=29): 1743 f(f(x,x),f(x,f(f(x,f(y,y)),f(f(f(y,f(y,y)),f(x,x)),f(z,f(x,x)))))) = x. [para(967(a,1),224(a,1,1)),demod(967(12),967(13),81(4),967(24),967(25),81(16))]. given #312 (T,wt=29): 2440 f(f(x,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(731(a,1),684(a,1,1,1,1)),demod(731(11),81(3),731(10),731(12),731(13),81(5),731(23),731(24),81(16))]. given #313 (A,wt=41): 106 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(87(a,1),9(a,1,2,2,2,2,1,1,1,1))]. given #314 (F,wt=29): 2441 f(f(x,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(745(a,1),684(a,1,1,1,1)),demod(745(11),81(3),745(10),745(12),745(13),81(5),745(23),745(24),81(16))]. given #315 (F,wt=29): 2452 f(f(x,f(x,x)),f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(f(x,x),z))))) = x. [para(1587(a,1),684(a,1,1,1,1)),demod(1587(11),81(3),1587(10),1587(12),1587(13),81(5),1587(23),1587(24),81(16))]. given #316 (F,wt=29): 2453 f(f(x,f(x,x)),f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(f(x,x),z))))) = x. [para(1588(a,1),684(a,1,1,1,1)),demod(1588(11),81(3),1588(10),1588(12),1588(13),81(5),1588(23),1588(24),81(16))]. given #317 (F,wt=29): 2454 f(f(x,f(x,x)),f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(z,f(x,x)))))) = x. [para(1615(a,1),684(a,1,1,1,1)),demod(1615(11),81(3),1615(10),1615(12),1615(13),81(5),1615(23),1615(24),81(16))]. given #318 (T,wt=29): 2455 f(f(x,f(x,x)),f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(z,f(x,x)))))) = x. [para(1621(a,1),684(a,1,1,1,1)),demod(1621(11),81(3),1621(10),1621(12),1621(13),81(5),1621(23),1621(24),81(16))]. given #319 (A,wt=41): 107 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(87(a,1),9(a,1,2,2,2,2,2))]. given #320 (F,wt=29): 2624 f(f(x,x),f(x,f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(f(x,x),z))))) = x. [para(2472(a,1),224(a,1,1)),demod(2472(12),2472(13),81(4),2472(24),2472(25),81(16))]. given #321 (F,wt=29): 2632 f(f(x,x),f(x,f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(z,f(x,x)))))) = x. [para(2474(a,1),224(a,1,1)),demod(2474(12),2474(13),81(4),2474(24),2474(25),81(16))]. given #322 (F,wt=29): 2640 f(f(x,x),f(x,f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(f(x,x),z))))) = x. [para(2492(a,1),224(a,1,1)),demod(2492(12),2492(13),81(4),2492(24),2492(25),81(16))]. given #323 (F,wt=29): 2648 f(f(x,x),f(x,f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(z,f(x,x)))))) = x. [para(2494(a,1),224(a,1,1)),demod(2494(12),2494(13),81(4),2494(24),2494(25),81(16))]. given #324 (T,wt=29): 2837 f(f(f(f(x,x),f(f(x,x),f(f(x,x),f(x,y)))),f(f(x,x),x)),x) = f(f(x,x),x). [para(2444(a,1),89(a,1,2,1,2,1)),demod(2444(26),81(18),257(16),2444(22),56(17),21(14))]. given #325 (A,wt=41): 108 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),87(a,1,2,1)),demod(9(36),9(38))]. given #326 (F,wt=29): 2838 f(f(f(f(x,x),f(f(x,x),f(f(x,x),f(y,x)))),f(f(x,x),x)),x) = f(f(x,x),x). [para(2445(a,1),89(a,1,2,1,2,1)),demod(2445(26),81(18),257(16),2445(22),56(17),21(14))]. given #327 (F,wt=29): 2960 f(f(f(x,y),f(x,y)),f(f(x,y),f(f(f(f(x,y),f(x,y)),f(x,y)),x))) = f(x,y). [back_demod(2882),demod(2920(12))]. given #328 (F,wt=25): 4404 f(x,f(f(x,x),f(f(x,f(x,x)),f(x,f(x,f(f(x,x),y)))))) = f(x,x). [para(1094(a,1),2960(a,1,1,1)),demod(1094(6),81(3),1094(5),1094(6),1094(7),81(4),1094(6),1094(15))]. given #329 (F,wt=25): 4405 f(x,f(f(x,x),f(f(x,f(x,x)),f(x,f(x,f(y,f(x,x))))))) = f(x,x). [para(1102(a,1),2960(a,1,1,1)),demod(1102(6),81(3),1102(5),1102(6),1102(7),81(4),1102(6),1102(15))]. given #330 (T,wt=25): 4406 f(f(x,x),f(x,f(f(f(x,x),x),f(f(x,x),f(f(x,x),f(x,y)))))) = x. [para(1100(a,1),2960(a,1,1,1)),demod(1100(7),1100(8),1100(8),1100(8),1100(9),1100(18))]. given #331 (A,wt=57): 109 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(87(a,1),5(a,1,2,2,1,1,1,2,2,2)),demod(87(22))]. given #332 (F,wt=25): 4407 f(f(x,x),f(x,f(f(f(x,x),x),f(f(x,x),f(f(x,x),f(y,x)))))) = x. [para(1118(a,1),2960(a,1,1,1)),demod(1118(7),1118(8),1118(8),1118(8),1118(9),1118(18))]. given #333 (F,wt=29): 2961 f(f(x,x),f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(f(f(x,x),x),f(x,y)))))) = x. [back_demod(2879),demod(2920(5))]. given #334 (F,wt=29): 2968 f(f(f(x,y),f(x,y)),f(f(x,y),f(f(f(f(x,y),f(x,y)),f(x,y)),y))) = f(x,y). [back_demod(2850),demod(2920(12))]. given #335 (F,wt=29): 2972 f(f(f(f(x,x),x),f(f(x,x),x)),f(f(f(x,x),x),f(x,f(x,x)))) = f(f(x,x),x). [back_demod(2524),demod(2920(11))]. given #336 (T,wt=29): 2975 f(f(x,f(f(x,x),x)),f(f(f(x,x),x),f(x,f(f(f(x,x),x),y)))) = f(f(x,x),x). [back_demod(1840),demod(2920(9))]. given #337 (A,wt=57): 110 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(87(a,1),5(a,1,2,2,2))]. given #338 (F,wt=25): 4528 f(f(x,f(f(x,x),x)),f(f(f(x,x),x),f(x,f(x,x)))) = f(f(x,x),x). [para(56(a,1),2975(a,1,2,2,2))]. given #339 (F,wt=27): 4539 f(f(f(x,x),f(x,f(x,x))),f(f(x,f(x,x)),f(f(x,x),x))) = f(x,f(x,x)). [para(21(a,1),4528(a,1,1,2,1)),demod(81(7),81(10),81(13))]. given #340 (F,wt=29): 2987 f(f(f(x,f(x,x)),f(x,f(x,x))),f(f(x,f(x,x)),f(f(x,x),x))) = f(x,f(x,x)). [back_demod(2528),demod(2927(10))]. given #341 (F,wt=29): 3001 f(f(x,y),f(y,f(f(f(f(f(y,x),f(f(y,y),y)),f(f(y,y),y)),y),f(y,z)))) = y. [para(2920(a,1),3(a,1,2,1))]. given #342 (T,wt=29): 3018 f(f(x,y),f(y,f(f(f(f(f(y,x),f(f(y,y),y)),f(f(y,y),y)),y),f(z,y)))) = y. [para(2920(a,1),101(a,1,2,1))]. given #343 (A,wt=49): 111 f(f(x,y),f(f(f(x,y),z),f(f(f(f(f(f(f(x,y),f(x,y)),x),z),z),f(f(x,y),f(x,y))),f(f(f(x,y),f(x,y)),u)))) = f(f(x,y),f(x,y)). [para(96(a,1),3(a,1,1)),demod(81(8))]. given #344 (F,wt=23): 4636 f(f(x,y),f(f(f(f(y,x),f(f(y,y),y)),f(f(y,y),y)),y)) = y. [para(87(a,1),3018(a,1,2))]. given #345 (F,wt=23): 4727 f(f(f(f(x,f(x,x)),f(f(x,x),x)),f(f(x,x),x)),x) = f(x,x). [para(4636(a,1),45(a,1,2,2,1)),demod(21(33),56(12)),flip(a)]. given #346 (F,wt=23): 4728 f(f(f(f(f(x,x),x),f(x,f(x,x))),f(x,f(x,x))),f(x,x)) = x. [para(4636(a,1),46(a,1,2,2,1)),demod(81(5),81(8),81(16),81(19),81(26),81(29),81(37),47(35),81(13),81(5),81(8)),flip(a)]. given #347 (F,wt=25): 4818 f(f(x,x),f(x,f(f(f(x,f(x,x)),f(f(x,x),x)),f(f(x,x),x)))) = x. [para(4727(a,1),224(a,1,1)),demod(4727(10),4727(11),81(4),4727(20),4727(21),81(14))]. given #348 (T,wt=27): 4714 f(f(x,x),f(f(f(f(x,f(y,f(x,x))),f(f(x,x),x)),f(f(x,x),x)),x)) = x. [para(47(a,1),4636(a,1,1))]. given #349 (A,wt=45): 112 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(96(a,1),3(a,1,2,1))]. given #350 (F,wt=27): 4716 f(f(f(x,x),x),f(f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)),x)) = x. [para(47(a,1),4636(a,1,2,1,1)),demod(257(6))]. given #351 (F,wt=23): 4904 f(f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)),x) = f(x,x). [para(4716(a,1),45(a,1,2,2,1)),demod(21(33),56(12)),flip(a)]. given #352 (F,wt=23): 4905 f(f(f(f(x,f(x,x)),f(x,f(x,x))),f(x,f(x,x))),f(x,x)) = x. [para(4716(a,1),66(a,1,2,2,1)),demod(81(3),81(5),81(8),81(14),81(16),81(19),81(24),81(26),81(29),81(37),47(35),81(13),81(3),81(5),81(8)),flip(a)]. given #353 (F,wt=25): 4918 f(f(x,x),f(x,f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)))) = x. [para(4904(a,1),224(a,1,1)),demod(4904(10),4904(11),81(4),4904(20),4904(21),81(14))]. given #354 (T,wt=27): 4717 f(f(x,x),f(f(f(f(x,f(f(x,x),y)),f(f(x,x),x)),f(f(x,x),x)),x)) = x. [para(56(a,1),4636(a,1,1))]. given #355 (A,wt=31): 113 f(f(f(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,u)))) = x. [para(96(a,1),3(a,1,2,2,1,1,1,1))]. given #356 (F,wt=27): 4824 f(f(x,f(x,x)),f(x,f(f(f(x,f(x,x)),f(f(x,x),x)),f(f(x,x),x)))) = x. [para(4727(a,1),684(a,1,1,1,1)),demod(4727(10),81(3),4727(9),4727(11),4727(12),81(5),4727(21),4727(22),81(15))]. given #357 (F,wt=27): 4827 f(f(x,f(x,f(f(f(x,f(x,x)),f(f(x,x),x)),f(f(x,x),x)))),x) = f(x,x). [para(4727(a,1),1133(a,1,1,1,1)),demod(4727(10),81(3),4727(9),4727(10),81(3),4727(19),4727(20),81(13),4727(20))]. given #358 (F,wt=27): 4828 f(f(f(x,x),x),f(x,f(f(f(x,f(x,x)),f(f(x,x),x)),f(f(x,x),x)))) = x. [para(4727(a,1),1458(a,1,1,1)),demod(4727(10),4727(11),81(4),4727(11),4727(12),81(5),4727(21),4727(22),81(15))]. given #359 (F,wt=27): 4836 f(x,f(f(x,x),f(f(f(f(x,x),x),f(x,f(x,x))),f(x,f(x,x))))) = f(x,x). [para(4728(a,1),224(a,1,1)),demod(4728(10),4728(10),4728(21),4728(21))]. given #360 (T,wt=27): 4925 f(f(x,f(x,x)),f(x,f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)))) = x. [para(4904(a,1),684(a,1,1,1,1)),demod(4904(10),81(3),4904(9),4904(11),4904(12),81(5),4904(21),4904(22),81(15))]. given #361 (A,wt=45): 114 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(96(a,1),3(a,1,2,2,1,1,1))]. given #362 (F,wt=27): 4928 f(f(x,f(x,f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)))),x) = f(x,x). [para(4904(a,1),1133(a,1,1,1,1)),demod(4904(10),81(3),4904(9),4904(10),81(3),4904(19),4904(20),81(13),4904(20))]. given #363 (F,wt=27): 4929 f(f(f(x,x),x),f(x,f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)))) = x. [para(4904(a,1),1458(a,1,1,1)),demod(4904(10),4904(11),81(4),4904(11),4904(12),81(5),4904(21),4904(22),81(15))]. given #364 (F,wt=27): 4937 f(x,f(f(x,x),f(f(f(x,f(x,x)),f(x,f(x,x))),f(x,f(x,x))))) = f(x,x). [para(4905(a,1),224(a,1,1)),demod(4905(10),4905(10),4905(21),4905(21))]. given #365 (F,wt=29): 3152 f(x,f(f(f(x,x),f(f(x,x),f(f(x,f(x,x)),f(y,f(x,x))))),f(x,x))) = f(x,x). [para(21(a,1),3141(a,1,1)),demod(81(5))]. given #366 (T,wt=29): 3192 f(x,f(f(f(x,x),f(f(x,x),f(f(x,f(x,x)),f(f(x,x),y)))),f(x,x))) = f(x,x). [para(21(a,1),3180(a,1,1)),demod(81(5))]. given #367 (A,wt=45): 115 f(f(f(f(f(x,y),z),f(f(x,y),z)),f(x,y)),f(f(f(f(x,y),f(x,y)),u),f(f(f(f(f(f(x,y),z),u),u),f(x,y)),y))) = f(x,y). [para(96(a,1),8(a,1,2,2,1,1,1,1))]. given #368 (F,wt=29): 3338 f(f(x,f(x,f(f(x,y),f(f(f(f(y,y),y),f(x,x)),f(f(x,x),z))))),x) = f(x,x). [para(731(a,1),1133(a,1,1,1,1)),demod(731(11),81(3),731(10),731(11),81(3),731(21),731(22),81(14),731(22))]. given #369 (F,wt=29): 3339 f(f(x,f(x,f(f(x,y),f(f(f(f(y,y),y),f(x,x)),f(z,f(x,x)))))),x) = f(x,x). [para(745(a,1),1133(a,1,1,1,1)),demod(745(11),81(3),745(10),745(11),81(3),745(21),745(22),81(14),745(22))]. given #370 (F,wt=29): 3352 f(f(x,f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(f(x,x),z))))),x) = f(x,x). [para(1587(a,1),1133(a,1,1,1,1)),demod(1587(11),81(3),1587(10),1587(11),81(3),1587(21),1587(22),81(14),1587(22))]. given #371 (F,wt=29): 3353 f(f(x,f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(f(x,x),z))))),x) = f(x,x). [para(1588(a,1),1133(a,1,1,1,1)),demod(1588(11),81(3),1588(10),1588(11),81(3),1588(21),1588(22),81(14),1588(22))]. given #372 (T,wt=29): 3354 f(f(x,f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(z,f(x,x)))))),x) = f(x,x). [para(1615(a,1),1133(a,1,1,1,1)),demod(1615(11),81(3),1615(10),1615(11),81(3),1615(21),1615(22),81(14),1615(22))]. given #373 (A,wt=47): 116 f(f(f(f(x,y),f(x,y)),x),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(f(f(x,x),u),f(f(f(f(f(x,v),u),u),x),f(x,w)))))) = x. [para(96(a,1),9(a,1,2,2,1,1,1,1))]. given #374 (F,wt=29): 3355 f(f(x,f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(z,f(x,x)))))),x) = f(x,x). [para(1621(a,1),1133(a,1,1,1,1)),demod(1621(11),81(3),1621(10),1621(11),81(3),1621(21),1621(22),81(14),1621(22))]. given #375 (F,wt=29): 3428 f(x,f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(x,y))))))) = f(x,x). [para(21(a,1),3373(a,1,1)),demod(81(8))]. given #376 (F,wt=29): 3438 f(x,f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(y,x))))))) = f(x,x). [para(21(a,1),3409(a,1,1)),demod(81(8))]. given #377 (F,wt=29): 3645 f(f(x,x),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))))))) = x. [para(3474(a,1),224(a,1,1)),demod(3474(12),3474(13),81(4),3474(24),3474(25),81(16))]. given #378 (T,wt=29): 3663 f(f(x,x),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))))))) = x. [para(3504(a,1),224(a,1,1)),demod(3504(12),3504(13),81(4),3504(24),3504(25),81(16))]. given #379 (A,wt=53): 118 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 #380 (F,wt=29): 3783 f(f(f(f(x,f(f(x,x),x)),f(x,f(f(x,x),x))),f(f(x,x),x)),x) = f(f(x,x),x). [para(1999(a,1),103(a,1,2,2,1,1,1)),demod(257(16),56(15),2920(16),21(14))]. given #381 (F,wt=29): 3845 f(f(f(x,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(731(a,1),1458(a,1,1,1)),demod(731(11),731(12),81(4),731(12),731(13),81(5),731(23),731(24),81(16))]. given #382 (F,wt=29): 3846 f(f(f(x,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(745(a,1),1458(a,1,1,1)),demod(745(11),745(12),81(4),745(12),745(13),81(5),745(23),745(24),81(16))]. given #383 (F,wt=29): 3854 f(f(f(x,x),x),f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(f(x,x),z))))) = x. [para(1587(a,1),1458(a,1,1,1)),demod(1587(11),1587(12),81(4),1587(12),1587(13),81(5),1587(23),1587(24),81(16))]. given #384 (T,wt=29): 3855 f(f(f(x,x),x),f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(f(x,x),z))))) = x. [para(1588(a,1),1458(a,1,1,1)),demod(1588(11),1588(12),81(4),1588(12),1588(13),81(5),1588(23),1588(24),81(16))]. given #385 (A,wt=55): 124 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(81(a,1),6(a,1,1,1,2,1,1))]. given #386 (F,wt=29): 3856 f(f(f(x,x),x),f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(z,f(x,x)))))) = x. [para(1615(a,1),1458(a,1,1,1)),demod(1615(11),1615(12),81(4),1615(12),1615(13),81(5),1615(23),1615(24),81(16))]. given #387 (F,wt=29): 3857 f(f(f(x,x),x),f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(z,f(x,x)))))) = x. [para(1621(a,1),1458(a,1,1,1)),demod(1621(11),1621(12),81(4),1621(12),1621(13),81(5),1621(23),1621(24),81(16))]. given #388 (F,wt=29): 4396 f(f(x,x),f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(f(f(x,x),x),f(y,x)))))) = x. [para(271(a,1),2960(a,1,1,1)),demod(271(9),271(10),271(10),271(10),271(11),271(22))]. given #389 (F,wt=29): 4437 f(x,f(f(x,x),f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(f(x,x),y)))))))) = f(x,x). [para(3340(a,1),2960(a,1,1,1)),demod(3340(8),81(3),3340(7),3340(8),3340(9),81(4),3340(8),3340(19))]. given #390 (T,wt=29): 4438 f(x,f(f(x,x),f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(y,f(x,x))))))))) = f(x,x). [para(3341(a,1),2960(a,1,1,1)),demod(3341(8),81(3),3341(7),3341(8),3341(9),81(4),3341(8),3341(19))]. given #391 (A,wt=51): 126 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(81(a,1),6(a,1,2,2,1,1))]. given #392 (F,wt=29): 4529 f(f(x,f(f(x,x),x)),f(f(f(x,x),x),f(x,f(y,f(f(x,x),x))))) = f(f(x,x),x). [para(87(a,1),2975(a,1,2,2,2))]. given #393 (F,wt=29): 4711 f(x,f(f(f(f(f(x,x),f(y,x)),f(x,f(x,x))),f(x,f(x,x))),f(x,x))) = f(x,x). [para(21(a,1),4636(a,1,1)),demod(81(6),81(9))]. given #394 (F,wt=29): 4719 f(x,f(f(f(f(f(x,x),f(x,y)),f(x,f(x,x))),f(x,f(x,x))),f(x,x))) = f(x,x). [para(81(a,1),4636(a,1,1)),demod(81(6),81(9))]. given #395 (F,wt=29): 4722 f(f(f(f(x,y),f(x,y)),y),f(f(f(f(x,y),f(f(y,y),y)),f(f(y,y),y)),y)) = y. [para(87(a,1),4636(a,1,2,1,1,1))]. given #396 (T,wt=29): 4724 f(f(f(f(x,y),f(x,y)),x),f(f(f(f(x,y),f(f(x,x),x)),f(f(x,x),x)),x)) = x. [para(96(a,1),4636(a,1,2,1,1,1))]. given #397 (A,wt=49): 127 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(81(a,1),6(a,1,2,2,2))]. given #398 (F,wt=29): 5017 f(f(x,x),f(x,f(x,f(x,f(f(f(x,f(x,x)),f(f(x,x),x)),f(f(x,x),x)))))) = x. [para(4827(a,1),224(a,1,1)),demod(4827(12),4827(13),81(4),4827(24),4827(25),81(16))]. given #399 (F,wt=29): 5059 f(f(x,x),f(x,f(x,f(x,f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)))))) = x. [para(4928(a,1),224(a,1,1)),demod(4928(12),4928(13),81(4),4928(24),4928(25),81(16))]. given #400 (F,wt=29): 5390 f(x,f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(x,f(x,f(f(x,x),z)))))) = f(x,x). [para(1094(a,1),127(a,1,1,2)),demod(102(15),1094(5),1094(6),81(3),1094(8),1094(17))]. given #401 (F,wt=27): 5439 f(x,f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,f(f(x,x),y)))))) = f(x,x). [para(81(a,1),5390(a,1,2,2,1,1))]. given #402 (T,wt=27): 5514 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,f(f(x,x),y))))),x) = f(x,x). [para(5439(a,1),87(a,1,2,1)),demod(5439(22),81(13),5439(22))]. given #403 (A,wt=37): 128 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),87(a,1,2,1)),demod(6(37),6(40))]. given #404 (F,wt=27): 5515 f(x,f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,f(y,f(x,x))))))) = f(x,x). [para(87(a,1),5439(a,1,2,2,2,2,2))]. given #405 (F,wt=27): 5535 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,f(y,f(x,x)))))),x) = f(x,x). [para(87(a,1),5514(a,1,1,2,2,2,2))]. given #406 (F,wt=29): 5391 f(x,f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(x,f(x,f(z,f(x,x))))))) = f(x,x). [para(1102(a,1),127(a,1,1,2)),demod(102(15),1102(5),1102(6),81(3),1102(8),1102(17))]. given #407 (F,wt=29): 5437 f(f(x,x),f(f(f(x,x),x),f(f(f(x,x),x),f(f(x,x),f(f(x,x),f(x,y)))))) = x. [para(56(a,1),5390(a,1,2,2,1,1)),demod(81(7),81(10),81(16))]. given #408 (T,wt=29): 5440 f(f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(x,f(x,f(f(x,x),z))))),x) = f(x,x). [para(5390(a,1),87(a,1,2,1)),demod(5390(24),81(14),5390(24))]. given #409 (A,wt=53): 129 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(87(a,1),6(a,1,1,1,2,2))]. given #410 (F,wt=29): 5534 f(f(f(f(x,x),x),f(f(f(x,x),x),f(f(x,x),f(f(x,x),f(x,y))))),f(x,x)) = x. [para(21(a,1),5514(a,1,1,1,2)),demod(81(6),81(9),81(16))]. given #411 (F,wt=29): 5597 f(f(x,x),f(f(f(x,x),x),f(f(f(x,x),x),f(f(x,x),f(f(x,x),f(y,x)))))) = x. [para(21(a,1),5515(a,1,2,1,2)),demod(81(7),81(10),81(16))]. given #412 (F,wt=29): 5617 f(f(f(f(x,x),x),f(f(f(x,x),x),f(f(x,x),f(f(x,x),f(y,x))))),f(x,x)) = x. [para(21(a,1),5535(a,1,1,1,2)),demod(81(6),81(9),81(16))]. given #413 (F,wt=29): 5624 f(f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(x,f(x,f(z,f(x,x)))))),x) = f(x,x). [para(5391(a,1),87(a,1,2,1)),demod(5391(24),81(14),5391(24))]. given #414 (T,wt=31): 185 f(f(x,x),f(x,f(f(f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(x,y)))),x),f(x,z)))) = x. [para(56(a,1),7(a,1,2,1,2,2,1,1)),demod(73(10),56(6))]. given #415 (A,wt=53): 130 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(87(a,1),6(a,1,2,2,2))]. given #416 (F,wt=31): 273 f(f(x,x),f(x,f(f(f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(y,x)))),x),f(x,z)))) = x. [para(201(a,1),3(a,1,2,2,1,1,1)),demod(201(10))]. given #417 (F,wt=31): 402 f(x,f(f(y,x),f(f(f(f(y,x),f(f(y,x),f(y,x))),f(x,x)),f(f(x,x),z)))) = f(x,x). [para(21(a,1),36(a,1,2,2,1,1,1)),demod(87(4))]. given #418 (F,wt=31): 408 f(x,f(f(x,y),f(f(f(f(f(f(x,x),f(z,x)),y),y),f(x,x)),f(u,f(x,x))))) = f(x,x). [para(87(a,1),36(a,1,2,2,2))]. given #419 (F,wt=31): 432 f(f(x,f(y,y)),f(f(y,f(x,x)),f(f(f(x,f(x,x)),f(y,y)),f(f(y,y),z)))) = f(y,y). [para(21(a,1),40(a,1,2,1,1))]. given #420 (T,wt=31): 437 f(x,f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(x,y))),f(x,x)),f(f(x,x),z)))) = f(x,x). [para(81(a,1),40(a,1,1)),demod(81(3),96(4))]. given #421 (A,wt=57): 183 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 #422 (F,wt=31): 486 f(f(f(x,x),f(y,y)),f(f(y,x),f(f(f(f(x,x),x),f(y,y)),f(f(y,y),z)))) = f(y,y). [para(47(a,1),37(a,1,2,2,1,1,1))]. given #423 (F,wt=31): 497 f(f(x,x),f(x,f(f(x,y),f(f(f(f(f(f(x,x),z),y),y),f(x,x)),f(f(x,x),u))))) = x. [para(37(a,1),217(a,1,1)),demod(37(15),37(16),81(4),37(28),37(29),81(17))]. given #424 (F,wt=31): 589 f(f(f(x,x),f(y,x)),f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))) = f(y,x). [para(81(a,1),45(a,1,2,2,1,1))]. given #425 (F,wt=31): 760 f(x,f(f(x,y),f(f(f(f(f(f(x,x),f(x,z)),y),y),f(x,x)),f(u,f(x,x))))) = f(x,x). [para(81(a,1),101(a,1,1)),demod(81(3))]. given #426 (T,wt=31): 766 f(f(f(f(x,y),f(x,y)),y),f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(u,y)))) = y. [para(87(a,1),101(a,1,2,2,1,1,1,1))]. given #427 (A,wt=59): 184 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(81(5),47(16))]. given #428 (F,wt=31): 770 f(f(f(f(x,y),f(x,y)),x),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(u,x)))) = x. [para(96(a,1),101(a,1,2,2,1,1,1,1))]. given #429 (F,wt=31): 774 f(f(x,x),f(x,f(f(f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(x,y)))),x),f(z,x)))) = x. [para(73(a,1),101(a,1,2,2,1,1,1)),demod(73(10))]. given #430 (F,wt=25): 6038 f(f(x,x),f(f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(x,y)))),x)) = x. [para(87(a,1),774(a,1,2))]. given #431 (F,wt=25): 6057 f(f(x,x),f(f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(y,x)))),x)) = x. [para(87(a,1),6038(a,1,2,1,2,2,2))]. given #432 (T,wt=31): 788 f(f(x,x),f(x,f(f(f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(y,x)))),x),f(z,x)))) = x. [para(201(a,1),101(a,1,2,2,1,1,1)),demod(201(10))]. given #433 (A,wt=57): 188 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),87(a,1,2,1)),demod(7(52),7(54))]. given #434 (F,wt=31): 884 f(x,f(f(y,x),f(f(f(f(y,x),f(f(y,x),f(y,x))),f(x,x)),f(z,f(x,x))))) = f(x,x). [para(21(a,1),442(a,1,1)),demod(81(3),87(4))]. given #435 (F,wt=31): 885 f(f(x,f(y,y)),f(f(y,f(x,x)),f(f(f(x,f(x,x)),f(y,y)),f(z,f(y,y))))) = f(y,y). [para(21(a,1),442(a,1,2,1,1))]. given #436 (F,wt=31): 888 f(x,f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(x,y))),f(x,x)),f(z,f(x,x))))) = f(x,x). [para(81(a,1),442(a,1,1)),demod(81(3),96(4))]. given #437 (F,wt=31): 920 f(f(f(x,x),f(y,y)),f(f(y,x),f(f(f(f(x,x),x),f(y,y)),f(z,f(y,y))))) = f(y,y). [para(21(a,1),698(a,1,2,1,1))]. given #438 (T,wt=31): 957 f(f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(x,y))),f(y,y)),f(f(y,y),z))),y) = f(y,y). [para(87(a,1),731(a,1,1,1)),demod(81(8))]. given #439 (A,wt=57): 189 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(87(a,1),7(a,1,2,1,2,2,2)),demod(87(22))]. given #440 (F,wt=31): 958 f(f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(x,y))),f(x,x)),f(f(x,x),z))),x) = f(x,x). [para(96(a,1),731(a,1,1,1)),demod(81(8))]. given #441 (F,wt=31): 971 f(f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(x,y))),f(y,y)),f(z,f(y,y)))),y) = f(y,y). [para(87(a,1),745(a,1,1,1)),demod(81(8))]. given #442 (F,wt=31): 972 f(f(f(x,y),f(f(f(f(x,y),f(f(x,y),f(x,y))),f(x,x)),f(z,f(x,x)))),x) = f(x,x). [para(96(a,1),745(a,1,1,1)),demod(81(8))]. given #443 (F,wt=31): 1377 f(x,f(f(x,x),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(x,z))))) = f(x,x). [para(85(a,1),217(a,1,1)),demod(85(12),85(12),85(25),85(25))]. given #444 (T,wt=31): 1545 f(x,f(f(x,x),f(f(f(x,x),f(f(x,y),f(x,y))),f(f(f(x,y),x),f(z,x))))) = f(x,x). [para(762(a,1),217(a,1,1)),demod(762(12),762(12),762(25),762(25))]. given #445 (A,wt=57): 190 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(87(a,1),7(a,1,2,2,2))]. given #446 (F,wt=31): 1835 f(x,f(f(x,x),f(f(f(x,x),f(f(y,x),f(y,x))),f(f(f(y,x),x),f(x,z))))) = f(x,x). [para(1208(a,1),224(a,1,1)),demod(1208(12),1208(12),1208(25),1208(25))]. given #447 (F,wt=31): 1843 f(x,f(f(x,x),f(f(f(x,x),f(f(y,x),f(y,x))),f(f(f(y,x),x),f(z,x))))) = f(x,x). [para(1276(a,1),224(a,1,1)),demod(1276(12),1276(12),1276(25),1276(25))]. given #448 (F,wt=31): 2425 f(f(f(x,x),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(64(a,1),679(a,1,1,1,1)),demod(64(11),64(12),64(13),64(13),64(24),64(24))]. given #449 (F,wt=31): 2429 f(f(f(x,x),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(698(a,1),679(a,1,1,1,1)),demod(698(11),698(12),698(13),698(13),698(24),698(24))]. given #450 (T,wt=31): 2448 f(f(f(x,x),x),f(f(x,x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(x,z))))) = f(x,x). [para(1585(a,1),684(a,1,1,1,1)),demod(1585(10),1585(11),1585(12),1585(12),1585(23),1585(23))]. given #451 (A,wt=55): 193 f(f(f(x,y),f(x,y)),f(f(x,y),f(f(f(f(x,y),f(f(f(f(x,y),f(x,y)),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,y)),f(f(x,y),z)))),f(x,y)),y))) = f(x,y). [para(73(a,1),8(a,1,2,2,1,1,1)),demod(73(21))]. given #452 (F,wt=31): 2449 f(f(f(x,x),x),f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(x,z))))) = f(x,x). [para(1586(a,1),684(a,1,1,1,1)),demod(1586(10),1586(11),1586(12),1586(12),1586(23),1586(23))]. given #453 (F,wt=31): 2450 f(f(f(x,x),x),f(f(x,x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(z,x))))) = f(x,x). [para(1601(a,1),684(a,1,1,1,1)),demod(1601(10),1601(11),1601(12),1601(12),1601(23),1601(23))]. given #454 (F,wt=31): 2451 f(f(f(x,x),x),f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(z,x))))) = f(x,x). [para(1610(a,1),684(a,1,1,1,1)),demod(1610(10),1610(11),1610(12),1610(12),1610(23),1610(23))]. given #455 (F,wt=31): 2456 f(f(x,f(x,x)),f(x,f(f(x,f(y,y)),f(f(f(y,f(y,y)),f(x,x)),f(f(x,x),z))))) = x. [para(874(a,1),684(a,1,1,1,1)),demod(874(12),81(3),874(11),874(13),874(14),81(5),874(25),874(26),81(17))]. given #456 (T,wt=31): 2457 f(f(x,f(x,x)),f(x,f(f(x,f(y,y)),f(f(f(y,f(y,y)),f(x,x)),f(z,f(x,x)))))) = x. [para(967(a,1),684(a,1,1,1,1)),demod(967(12),81(3),967(11),967(13),967(14),81(5),967(25),967(26),81(17))]. given #457 (A,wt=47): 194 f(f(x,x),f(x,f(f(f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(x,y)))),x),f(f(f(x,x),z),f(f(f(f(f(x,u),z),z),x),f(x,v)))))) = x. [para(73(a,1),9(a,1,2,2,1,1,1)),demod(73(10))]. given #458 (F,wt=31): 2629 f(f(x,f(x,x)),f(x,f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(f(x,x),z))))) = x. [para(2472(a,1),684(a,1,1,1,1)),demod(2472(12),81(3),2472(11),2472(13),2472(14),81(5),2472(25),2472(26),81(17))]. given #459 (F,wt=31): 2637 f(f(x,f(x,x)),f(x,f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(z,f(x,x)))))) = x. [para(2474(a,1),684(a,1,1,1,1)),demod(2474(12),81(3),2474(11),2474(13),2474(14),81(5),2474(25),2474(26),81(17))]. given #460 (F,wt=31): 2645 f(f(x,f(x,x)),f(x,f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(f(x,x),z))))) = x. [para(2492(a,1),684(a,1,1,1,1)),demod(2492(12),81(3),2492(11),2492(13),2492(14),81(5),2492(25),2492(26),81(17))]. given #461 (F,wt=31): 2653 f(f(x,f(x,x)),f(x,f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(z,f(x,x)))))) = x. [para(2494(a,1),684(a,1,1,1,1)),demod(2494(12),81(3),2494(11),2494(13),2494(14),81(5),2494(25),2494(26),81(17))]. given #462 (T,wt=31): 2657 f(f(f(x,x),f(x,y)),f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),y))) = f(x,y). [para(81(a,1),88(a,1,2,2,1,1))]. given #463 (A,wt=47): 195 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(73(a,1),9(a,1,2,2,2,2,1,1,1,1)),demod(81(5),81(12))]. given #464 (F,wt=31): 2766 f(f(x,x),f(x,f(f(x,y),f(f(f(f(f(f(x,x),z),y),y),f(x,x)),f(u,f(x,x)))))) = x. [para(21(a,1),789(a,1,2,1)),demod(81(4),81(17))]. given #465 (F,wt=31): 2847 f(f(x,x),f(f(f(f(f(x,x),f(x,y)),f(f(x,x),f(x,y))),x),x)) = f(f(x,x),f(x,y)). [para(2799(a,1),86(a,1,2,2,1,1,1)),demod(657(6),56(12),1100(16))]. given #466 (F,wt=31): 2881 f(f(x,x),f(f(f(f(f(x,x),f(y,x)),f(f(x,x),f(y,x))),x),x)) = f(f(x,x),f(y,x)). [para(2800(a,1),86(a,1,2,2,1,1,1)),demod(672(6),56(12),1118(16))]. given #467 (F,wt=31): 2962 f(f(x,x),f(x,f(f(f(x,x),x),f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,z)))))) = x. [back_demod(2875),demod(2920(5))]. given #468 (T,wt=31): 3149 f(f(x,x),f(x,f(f(f(x,f(f(x,f(x,f(f(f(x,x),x),f(y,x)))),x)),x),f(x,z)))) = x. [para(3141(a,1),3(a,1,2,2,1,1,1)),demod(3141(10))]. given #469 (A,wt=49): 196 f(x,f(f(f(f(x,x),x),f(f(f(x,x),x),f(x,y))),f(f(f(x,x),x),f(f(f(x,x),x),f(x,y))))) = f(f(f(x,x),x),f(f(f(x,x),x),f(x,y))). [para(73(a,1),21(a,1,1))]. given #470 (F,wt=31): 3157 f(f(x,x),f(x,f(f(f(x,f(f(x,f(x,f(f(f(x,x),x),f(y,x)))),x)),x),f(z,x)))) = x. [para(3141(a,1),101(a,1,2,2,1,1,1)),demod(3141(10))]. given #471 (F,wt=25): 6663 f(f(x,x),f(f(x,f(f(x,f(x,f(f(f(x,x),x),f(y,x)))),x)),x)) = x. [para(87(a,1),3157(a,1,2))]. given #472 (F,wt=31): 3188 f(f(x,x),f(x,f(f(f(x,f(f(x,f(x,f(f(f(x,x),x),f(x,y)))),x)),x),f(x,z)))) = x. [para(3180(a,1),3(a,1,2,2,1,1,1)),demod(3180(10))]. given #473 (F,wt=31): 3199 f(f(x,x),f(x,f(f(f(x,f(f(x,f(x,f(f(f(x,x),x),f(x,y)))),x)),x),f(z,x)))) = x. [para(3180(a,1),101(a,1,2,2,1,1,1)),demod(3180(10))]. given #474 (T,wt=25): 6711 f(f(x,x),f(f(x,f(f(x,f(x,f(f(f(x,x),x),f(x,y)))),x)),x)) = x. [para(87(a,1),3199(a,1,2))]. given #475 (A,wt=37): 199 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)),x))) = f(x,y). [para(81(a,1),73(a,1,2,2,2))]. given #476 (F,wt=31): 3313 f(f(f(x,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)) = x. [para(64(a,1),1130(a,1,1,1,1)),demod(64(11),64(12),64(12),64(23),64(23),64(25))]. given #477 (F,wt=31): 3317 f(f(f(x,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)) = x. [para(698(a,1),1130(a,1,1,1,1)),demod(698(11),698(12),698(12),698(23),698(23),698(25))]. given #478 (F,wt=31): 3348 f(f(f(x,x),f(f(x,x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(x,z))))),f(x,x)) = x. [para(1585(a,1),1133(a,1,1,1,1)),demod(1585(10),1585(11),1585(11),1585(22),1585(22),1585(24))]. given #479 (F,wt=31): 3349 f(f(f(x,x),f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(x,z))))),f(x,x)) = x. [para(1586(a,1),1133(a,1,1,1,1)),demod(1586(10),1586(11),1586(11),1586(22),1586(22),1586(24))]. given #480 (T,wt=31): 3350 f(f(f(x,x),f(f(x,x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(z,x))))),f(x,x)) = x. [para(1601(a,1),1133(a,1,1,1,1)),demod(1601(10),1601(11),1601(11),1601(22),1601(22),1601(24))]. given #481 (A,wt=41): 203 f(f(x,x),f(x,f(f(f(x,f(x,f(f(f(x,f(f(f(x,x),x),f(f(f(x,x),x),f(x,y)))),x),f(x,z)))),x),f(x,u)))) = x. [para(73(a,1),7(a,1,2,1,2,2,1,1,1)),demod(73(11),185(15),73(10),73(10))]. given #482 (F,wt=31): 3351 f(f(f(x,x),f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(z,x))))),f(x,x)) = x. [para(1610(a,1),1133(a,1,1,1,1)),demod(1610(10),1610(11),1610(11),1610(22),1610(22),1610(24))]. given #483 (F,wt=31): 3356 f(f(x,f(x,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(874(a,1),1133(a,1,1,1,1)),demod(874(12),81(3),874(11),874(12),81(3),874(23),874(24),81(15),874(24))]. given #484 (F,wt=31): 3357 f(f(x,f(x,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(967(a,1),1133(a,1,1,1,1)),demod(967(12),81(3),967(11),967(12),81(3),967(23),967(24),81(15),967(24))]. given #485 (F,wt=31): 3361 f(f(x,f(x,f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(f(x,x),z))))),x) = f(x,x). [para(2472(a,1),1133(a,1,1,1,1)),demod(2472(12),81(3),2472(11),2472(12),81(3),2472(23),2472(24),81(15),2472(24))]. given #486 (T,wt=31): 3362 f(f(x,f(x,f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(z,f(x,x)))))),x) = f(x,x). [para(2474(a,1),1133(a,1,1,1,1)),demod(2474(12),81(3),2474(11),2474(12),81(3),2474(23),2474(24),81(15),2474(24))]. given #487 (A,wt=43): 210 f(x,f(f(x,x),f(f(f(f(x,x),f(f(x,y),f(f(f(f(x,y),y),f(x,x)),f(f(x,x),z)))),f(x,x)),f(f(x,x),u)))) = f(x,x). [para(140(a,1),5(a,1,1)),demod(209(4),209(5),209(6),81(4),209(5),209(6),81(4),209(6),209(7),81(5),209(8),209(10),121(11),209(6),209(7),81(5),209(7),209(8),81(6),209(9),209(11),209(16),209(18),209(23))]. given #488 (F,wt=31): 3363 f(f(x,f(x,f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(f(x,x),z))))),x) = f(x,x). [para(2492(a,1),1133(a,1,1,1,1)),demod(2492(12),81(3),2492(11),2492(12),81(3),2492(23),2492(24),81(15),2492(24))]. given #489 (F,wt=31): 3364 f(f(x,f(x,f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(z,f(x,x)))))),x) = f(x,x). [para(2494(a,1),1133(a,1,1,1,1)),demod(2494(12),81(3),2494(11),2494(12),81(3),2494(23),2494(24),81(15),2494(24))]. given #490 (F,wt=31): 3450 f(f(f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))),f(x,f(f(x,x),z))),x) = f(x,x). [para(3383(a,1),842(a,1,1,2,1,1,1)),demod(81(3),81(18),81(15))]. given #491 (F,wt=31): 3451 f(f(f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(3383(a,1),989(a,1,1,2,1,1,1)),demod(81(3),81(18),81(15))]. given #492 (T,wt=31): 3455 f(f(f(x,f(x,f(x,f(x,f(x,f(f(x,x),y)))))),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(3383(a,1),89(a,1,2,1,2,1)),demod(3383(25),264(17),3383(22),2927(15),81(15),47(13))]. given #493 (A,wt=55): 214 f(f(x,x),f(f(f(f(f(x,x),f(x,y)),f(f(x,x),f(x,y))),z),f(f(f(f(f(x,x),z),z),f(f(x,x),f(x,y))),f(f(f(x,x),f(x,y)),u)))) = f(f(x,x),f(x,y)). [para(209(a,1),3(a,1,1)),demod(56(13))]. given #494 (F,wt=31): 3466 f(f(f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(3389(a,1),839(a,1,1,2,1)),demod(3459(19))]. given #495 (F,wt=31): 3468 f(f(f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(3389(a,1),987(a,1,1,2,1)),demod(3459(19))]. given #496 (F,wt=31): 3480 f(f(f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))),f(x,f(f(x,x),z))),x) = f(x,x). [para(3419(a,1),842(a,1,1,2,1,1,1)),demod(81(3),81(18),81(15))]. given #497 (F,wt=31): 3481 f(f(f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))),f(x,f(z,f(x,x)))),x) = f(x,x). [para(3419(a,1),989(a,1,1,2,1,1,1)),demod(81(3),81(18),81(15))]. given #498 (T,wt=31): 3485 f(f(f(x,f(x,f(x,f(x,f(x,f(y,f(x,x))))))),f(x,f(x,x))),f(x,x)) = f(x,f(x,x)). [para(3419(a,1),89(a,1,2,1,2,1)),demod(3419(25),264(17),3419(22),2927(15),81(15),47(13))]. given #499 (A,wt=33): 215 f(f(x,y),f(y,f(f(f(f(f(y,x),f(y,f(f(y,y),z))),f(y,f(f(y,y),z))),y),f(y,u)))) = y. [para(209(a,1),3(a,1,2,1)),demod(81(4),81(5),81(9))]. NOTE: Back_subsumption disabled, ratio of kept to back_subsumed is 64 (0.00 of 50.08 sec). given #500 (F,wt=31): 3496 f(f(f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))),f(f(x,x),f(x,z))),f(x,x)) = x. [para(3425(a,1),839(a,1,1,2,1)),demod(3489(19))]. given #501 (F,wt=31): 3498 f(f(f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))),f(f(x,x),f(z,x))),f(x,x)) = x. [para(3425(a,1),987(a,1,1,2,1)),demod(3489(19))]. given #502 (F,wt=31): 3563 f(x,f(f(x,x),f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(f(x,x),f(x,z))))) = f(x,x). [para(3379(a,1),224(a,1,1)),demod(3379(12),3379(12),3379(25),3379(25))]. given #503 (F,wt=31): 3571 f(x,f(f(x,x),f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(f(x,x),f(z,x))))) = f(x,x). [para(3381(a,1),224(a,1,1)),demod(3381(12),3381(12),3381(25),3381(25))]. given #504 (T,wt=31): 3582 f(x,f(f(x,x),f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(f(x,x),f(x,z))))) = f(x,x). [para(3415(a,1),224(a,1,1)),demod(3415(12),3415(12),3415(25),3415(25))]. given #505 (A,wt=51): 216 f(f(x,y),f(f(f(y,y),f(f(f(y,x),f(y,x)),f(f(y,x),z))),f(f(f(f(f(y,x),f(y,x)),f(f(f(y,x),f(y,x)),f(f(y,x),z))),y),f(y,u)))) = y. [para(209(a,1),3(a,1,2,2,1,1,1))]. given #506 (F,wt=31): 3590 f(x,f(f(x,x),f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(f(x,x),f(z,x))))) = f(x,x). [para(3417(a,1),224(a,1,1)),demod(3417(12),3417(12),3417(25),3417(25))]. given #507 (F,wt=31): 3598 f(f(f(f(x,y),f(x,y)),y),f(f(f(y,y),f(x,x)),f(f(f(x,f(x,x)),y),f(y,z)))) = y. [para(81(a,1),99(a,1,2,2,1,1,1))]. given #508 (F,wt=31): 3618 f(f(x,f(x,x)),f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(f(x,x),z)))) = f(x,x). [para(2442(a,1),99(a,1,2,2,1,1,1)),demod(264(7),81(5),81(16))]. given #509 (F,wt=23): 7106 f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(f(x,x),z))) = x. [para(3618(a,1),46(a,1,2,2,1)),demod(221(39),47(35),81(13)),flip(a)]. given #510 (T,wt=23): 7115 f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(f(x,x),z))) = x. [para(87(a,1),7106(a,1,1,2,2,2,2))]. given #511 (A,wt=49): 218 f(f(x,x),f(f(f(f(f(x,x),f(x,y)),f(f(x,x),f(x,y))),z),f(f(f(f(f(x,x),z),z),f(f(x,x),f(x,y))),f(x,y)))) = f(f(x,x),f(x,y)). [para(209(a,1),8(a,1,1)),demod(56(13))]. given #512 (F,wt=23): 7116 f(f(x,f(x,f(x,f(x,f(f(x,x),y))))),f(x,f(z,f(x,x)))) = x. [para(87(a,1),7106(a,1,2,2))]. given #513 (F,wt=23): 7118 f(f(x,f(x,f(x,f(x,f(y,f(x,x)))))),f(x,f(z,f(x,x)))) = x. [para(87(a,1),7115(a,1,2,2))]. given #514 (F,wt=31): 3649 f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))))))) = x. [para(3474(a,1),684(a,1,1,1,1)),demod(3474(12),81(3),3474(11),3474(13),3474(14),81(5),3474(25),3474(26),81(17))]. given #515 (F,wt=31): 3651 f(f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))))))),x) = f(x,x). [para(3474(a,1),1133(a,1,1,1,1)),demod(3474(12),81(3),3474(11),3474(12),81(3),3474(23),3474(24),81(15),3474(24))]. given #516 (T,wt=31): 3667 f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))))))) = x. [para(3504(a,1),684(a,1,1,1,1)),demod(3504(12),81(3),3504(11),3504(13),3504(14),81(5),3504(25),3504(26),81(17))]. given #517 (A,wt=53): 219 f(f(x,f(y,z)),f(f(y,z),f(f(f(f(f(f(y,z),x),f(f(y,z),f(f(f(y,z),f(y,z)),u))),f(f(y,z),f(f(f(y,z),f(y,z)),u))),f(y,z)),z))) = f(y,z). [para(209(a,1),8(a,1,2,1)),demod(81(9),81(12),81(19))]. given #518 (F,wt=31): 3669 f(f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))))))),x) = f(x,x). [para(3504(a,1),1133(a,1,1,1,1)),demod(3504(12),81(3),3504(11),3504(12),81(3),3504(23),3504(24),81(15),3504(24))]. given #519 (F,wt=31): 3677 f(f(x,x),f(x,f(f(x,y),f(f(f(f(f(z,f(x,x)),y),y),f(x,x)),f(f(x,x),u))))) = x. [para(1206(a,1),224(a,1,1)),demod(1206(13),1206(14),81(4),1206(26),1206(27),81(17))]. given #520 (F,wt=31): 3716 f(f(x,x),f(x,f(f(x,y),f(f(f(f(f(z,f(x,x)),y),y),f(x,x)),f(u,f(x,x)))))) = x. [para(1275(a,1),224(a,1,1)),demod(1275(13),1275(14),81(4),1275(26),1275(27),81(17))]. given #521 (F,wt=31): 3818 f(f(x,f(x,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(64(a,1),1451(a,1,1,1)),demod(64(11),64(11),64(13),64(13),64(24),64(24))]. given #522 (T,wt=31): 3822 f(f(x,f(x,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(698(a,1),1451(a,1,1,1)),demod(698(11),698(11),698(13),698(13),698(24),698(24))]. given #523 (A,wt=49): 220 f(f(x,y),f(y,f(f(f(f(f(y,x),f(y,f(f(y,y),z))),f(y,f(f(y,y),z))),y),f(f(f(y,y),u),f(f(f(f(f(y,v),u),u),y),f(y,w)))))) = y. [para(209(a,1),9(a,1,2,1)),demod(81(4),81(5),81(9))]. given #524 (F,wt=31): 3842 f(f(x,f(x,x)),f(f(x,x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(x,z))))) = f(x,x). [para(1391(a,1),1451(a,1,1,1)),demod(1391(13),1391(13),1391(15),1391(15),1391(26),1391(26))]. given #525 (F,wt=31): 3843 f(f(x,f(x,x)),f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(x,z))))) = f(x,x). [para(1393(a,1),1451(a,1,1,1)),demod(1393(13),1393(13),1393(15),1393(15),1393(26),1393(26))]. given #526 (F,wt=31): 3852 f(f(x,f(x,x)),f(f(x,x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(z,x))))) = f(x,x). [para(1601(a,1),1458(a,1,1,1)),demod(1601(10),1601(10),1601(12),1601(12),1601(23),1601(23))]. given #527 (F,wt=31): 3853 f(f(x,f(x,x)),f(f(x,x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(z,x))))) = f(x,x). [para(1610(a,1),1458(a,1,1,1)),demod(1610(10),1610(10),1610(12),1610(12),1610(23),1610(23))]. given #528 (T,wt=31): 3858 f(f(f(x,x),x),f(x,f(f(x,f(y,y)),f(f(f(y,f(y,y)),f(x,x)),f(f(x,x),z))))) = x. [para(874(a,1),1458(a,1,1,1)),demod(874(12),874(13),81(4),874(13),874(14),81(5),874(25),874(26),81(17))]. given #529 (A,wt=51): 226 f(x,f(f(f(f(x,f(f(x,x),y)),f(x,f(f(x,x),y))),z),f(f(f(f(x,z),z),f(x,f(f(x,x),y))),f(f(x,f(f(x,x),y)),u)))) = f(x,f(f(x,x),y)). [para(221(a,1),3(a,1,1)),demod(81(13))]. given #530 (F,wt=31): 3859 f(f(f(x,x),x),f(x,f(f(x,f(y,y)),f(f(f(y,f(y,y)),f(x,x)),f(z,f(x,x)))))) = x. [para(967(a,1),1458(a,1,1,1)),demod(967(12),967(13),81(4),967(13),967(14),81(5),967(25),967(26),81(17))]. given #531 (F,wt=31): 3880 f(f(f(x,x),x),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(f(x,x),y))))))))))) = x. [para(3474(a,1),1458(a,1,1,1)),demod(3474(12),3474(13),81(4),3474(13),3474(14),81(5),3474(25),3474(26),81(17))]. given #532 (F,wt=31): 3881 f(f(f(x,x),x),f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(x,f(y,f(x,x)))))))))))) = x. [para(3504(a,1),1458(a,1,1,1)),demod(3504(12),3504(13),81(4),3504(13),3504(14),81(5),3504(25),3504(26),81(17))]. given #533 (F,wt=31): 4400 f(f(x,x),f(x,f(f(f(x,x),x),f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(z,x)))))) = x. [para(736(a,1),2960(a,1,1,1)),demod(736(10),736(11),736(11),736(11),736(12),736(24))]. given #534 (T,wt=31): 4411 f(f(x,x),f(x,f(f(f(x,x),x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(x,z)))))) = x. [para(1585(a,1),2960(a,1,1,1)),demod(1585(10),1585(11),1585(11),1585(11),1585(12),1585(24))]. given #535 (A,wt=47): 228 f(x,f(f(f(f(x,f(f(x,x),y)),f(x,f(f(x,x),y))),z),f(f(f(f(x,z),z),f(x,f(f(x,x),y))),f(f(x,x),y)))) = f(x,f(f(x,x),y)). [para(221(a,1),8(a,1,1)),demod(81(13))]. given #536 (F,wt=31): 4412 f(f(x,x),f(x,f(f(f(x,x),x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(x,z)))))) = x. [para(1586(a,1),2960(a,1,1,1)),demod(1586(10),1586(11),1586(11),1586(11),1586(12),1586(24))]. given #537 (F,wt=31): 4413 f(f(x,x),f(x,f(f(f(x,x),x),f(f(x,f(x,f(f(x,x),y))),f(f(x,x),f(z,x)))))) = x. [para(1601(a,1),2960(a,1,1,1)),demod(1601(10),1601(11),1601(11),1601(11),1601(12),1601(24))]. given #538 (F,wt=31): 4414 f(f(x,x),f(x,f(f(f(x,x),x),f(f(x,f(x,f(y,f(x,x)))),f(f(x,x),f(z,x)))))) = x. [para(1610(a,1),2960(a,1,1,1)),demod(1610(10),1610(11),1610(11),1610(11),1610(12),1610(24))]. given #539 (F,wt=31): 4713 f(f(x,f(y,y)),f(f(f(f(f(y,y),x),f(y,f(y,y))),f(y,f(y,y))),f(y,y))) = f(y,y). [para(21(a,1),4636(a,1,2,1,1,2,1)),demod(81(10))]. given #540 (T,wt=31): 4745 f(f(x,x),f(f(f(f(x,f(x,f(x,f(f(x,x),y)))),f(f(x,x),x)),f(f(x,x),x)),x)) = x. [para(1094(a,1),4636(a,1,1))]. given #541 (A,wt=43): 230 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(221(a,1),9(a,1,2,2,1,1,1,1)),demod(81(5),81(3),81(8))]. given #542 (F,wt=31): 4746 f(f(x,x),f(f(f(f(x,f(x,f(x,f(y,f(x,x))))),f(f(x,x),x)),f(f(x,x),x)),x)) = x. [para(1102(a,1),4636(a,1,1))]. given #543 (F,wt=31): 4773 f(f(f(x,x),x),f(f(f(f(x,f(x,f(f(x,x),x))),f(f(x,x),x)),f(f(x,x),x)),x)) = x. [para(1999(a,1),4636(a,1,1))]. given #544 (F,wt=27): 7510 f(f(f(f(x,f(x,f(f(x,x),x))),f(f(x,x),x)),f(f(x,x),x)),x) = f(x,x). [para(4773(a,1),45(a,1,2,2,1)),demod(21(39),56(14)),flip(a)]. given #545 (F,wt=29): 7514 f(f(x,x),f(x,f(f(f(x,f(x,f(f(x,x),x))),f(f(x,x),x)),f(f(x,x),x)))) = x. [para(7510(a,1),224(a,1,1)),demod(7510(12),7510(13),81(4),7510(24),7510(25),81(16))]. given #546 (T,wt=31): 4841 f(f(f(x,x),x),f(f(x,x),f(f(f(f(x,x),x),f(x,f(x,x))),f(x,f(x,x))))) = f(x,x). [para(4728(a,1),684(a,1,1,1,1)),demod(4728(10),4728(11),4728(12),4728(12),4728(23),4728(23))]. given #547 (A,wt=55): 234 f(f(x,x),f(f(f(f(f(x,x),f(y,x)),f(f(x,x),f(y,x))),z),f(f(f(f(f(x,x),z),z),f(f(x,x),f(y,x))),f(f(f(x,x),f(y,x)),u)))) = f(f(x,x),f(y,x)). [para(225(a,1),3(a,1,1)),demod(56(13))]. given #548 (F,wt=31): 4844 f(f(f(x,x),f(f(x,x),f(f(f(f(x,x),x),f(x,f(x,x))),f(x,f(x,x))))),f(x,x)) = x. [para(4728(a,1),1133(a,1,1,1,1)),demod(4728(10),4728(11),4728(11),4728(22),4728(22),4728(24))]. given #549 (F,wt=31): 4847 f(f(x,f(x,x)),f(f(x,x),f(f(f(f(x,x),x),f(x,f(x,x))),f(x,f(x,x))))) = f(x,x). [para(4728(a,1),1458(a,1,1,1)),demod(4728(10),4728(10),4728(12),4728(12),4728(23),4728(23))]. given #550 (F,wt=31): 4848 f(f(x,x),f(x,f(f(f(x,x),x),f(f(f(f(x,x),x),f(x,f(x,x))),f(x,f(x,x)))))) = x. [para(4728(a,1),2960(a,1,1,1)),demod(4728(10),4728(11),4728(11),4728(11),4728(12),4728(24))]. given #551 (F,wt=31): 4943 f(f(f(x,x),x),f(f(x,x),f(f(f(x,f(x,x)),f(x,f(x,x))),f(x,f(x,x))))) = f(x,x). [para(4905(a,1),684(a,1,1,1,1)),demod(4905(10),4905(11),4905(12),4905(12),4905(23),4905(23))]. given #552 (T,wt=31): 4946 f(f(f(x,x),f(f(x,x),f(f(f(x,f(x,x)),f(x,f(x,x))),f(x,f(x,x))))),f(x,x)) = x. [para(4905(a,1),1133(a,1,1,1,1)),demod(4905(10),4905(11),4905(11),4905(22),4905(22),4905(24))]. given #553 (A,wt=33): 235 f(f(x,y),f(y,f(f(f(f(f(y,x),f(y,f(z,f(y,y)))),f(y,f(z,f(y,y)))),y),f(y,u)))) = y. [para(225(a,1),3(a,1,2,1)),demod(81(4),81(5),81(9))]. given #554 (F,wt=31): 4949 f(f(x,f(x,x)),f(f(x,x),f(f(f(x,f(x,x)),f(x,f(x,x))),f(x,f(x,x))))) = f(x,x). [para(4905(a,1),1458(a,1,1,1)),demod(4905(10),4905(10),4905(12),4905(12),4905(23),4905(23))]. given #555 (F,wt=31): 4950 f(f(x,x),f(x,f(f(f(x,x),x),f(f(f(x,f(x,x)),f(x,f(x,x))),f(x,f(x,x)))))) = x. [para(4905(a,1),2960(a,1,1,1)),demod(4905(10),4905(11),4905(11),4905(11),4905(12),4905(24))]. given #556 (F,wt=31): 4969 f(f(f(f(x,y),f(x,y)),x),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,z)))) = x. [para(21(a,1),113(a,1,2,2,1,1,1))]. given #557 (F,wt=31): 5022 f(f(x,f(x,x)),f(x,f(x,f(x,f(f(f(x,f(x,x)),f(f(x,x),x)),f(f(x,x),x)))))) = x. [para(4827(a,1),684(a,1,1,1,1)),demod(4827(12),81(3),4827(11),4827(13),4827(14),81(5),4827(25),4827(26),81(17))]. given #558 (T,wt=31): 5024 f(f(x,f(x,f(x,f(x,f(f(f(x,f(x,x)),f(f(x,x),x)),f(f(x,x),x)))))),x) = f(x,x). [para(4827(a,1),1133(a,1,1,1,1)),demod(4827(12),81(3),4827(11),4827(12),81(3),4827(23),4827(24),81(15),4827(24))]. given #559 (A,wt=51): 236 f(f(x,y),f(f(f(y,y),f(f(f(y,x),f(y,x)),f(z,f(y,x)))),f(f(f(f(f(y,x),f(y,x)),f(f(f(y,x),f(y,x)),f(z,f(y,x)))),y),f(y,u)))) = y. [para(225(a,1),3(a,1,2,2,1,1,1))]. given #560 (F,wt=31): 5025 f(f(f(x,x),x),f(x,f(x,f(x,f(f(f(x,f(x,x)),f(f(x,x),x)),f(f(x,x),x)))))) = x. [para(4827(a,1),1458(a,1,1,1)),demod(4827(12),4827(13),81(4),4827(13),4827(14),81(5),4827(25),4827(26),81(17))]. given #561 (F,wt=31): 5064 f(f(x,f(x,x)),f(x,f(x,f(x,f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)))))) = x. [para(4928(a,1),684(a,1,1,1,1)),demod(4928(12),81(3),4928(11),4928(13),4928(14),81(5),4928(25),4928(26),81(17))]. given #562 (F,wt=31): 5066 f(f(x,f(x,f(x,f(x,f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)))))),x) = f(x,x). [para(4928(a,1),1133(a,1,1,1,1)),demod(4928(12),81(3),4928(11),4928(12),81(3),4928(23),4928(24),81(15),4928(24))]. given #563 (F,wt=31): 5067 f(f(f(x,x),x),f(x,f(x,f(x,f(f(f(f(x,x),x),f(f(x,x),x)),f(f(x,x),x)))))) = x. [para(4928(a,1),1458(a,1,1,1)),demod(4928(12),4928(13),81(4),4928(13),4928(14),81(5),4928(25),4928(26),81(17))]. given #564 (T,wt=31): 5123 f(f(x,x),f(x,f(x,f(x,f(f(x,y),f(f(f(f(y,y),y),f(x,x)),f(f(x,x),z))))))) = x. [para(3338(a,1),224(a,1,1)),demod(3338(13),3338(14),81(4),3338(26),3338(27),81(17))]. given #565 (A,wt=49): 237 f(f(x,x),f(f(f(f(f(x,x),f(y,x)),f(f(x,x),f(y,x))),z),f(f(f(f(f(x,x),z),z),f(f(x,x),f(y,x))),f(y,x)))) = f(f(x,x),f(y,x)). [para(225(a,1),8(a,1,1)),demod(56(13))]. given #566 (F,wt=31): 5136 f(f(x,x),f(x,f(x,f(x,f(f(x,y),f(f(f(f(y,y),y),f(x,x)),f(z,f(x,x)))))))) = x. [para(3339(a,1),224(a,1,1)),demod(3339(13),3339(14),81(4),3339(26),3339(27),81(17))]. given #567 (F,wt=31): 5151 f(f(x,x),f(x,f(x,f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(f(x,x),z))))))) = x. [para(3352(a,1),224(a,1,1)),demod(3352(13),3352(14),81(4),3352(26),3352(27),81(17))]. given #568 (F,wt=31): 5164 f(f(x,x),f(x,f(x,f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(f(x,x),z))))))) = x. [para(3353(a,1),224(a,1,1)),demod(3353(13),3353(14),81(4),3353(26),3353(27),81(17))]. given #569 (F,wt=31): 5179 f(f(x,x),f(x,f(x,f(x,f(f(f(x,x),f(f(x,x),f(x,y))),f(x,f(z,f(x,x)))))))) = x. [para(3354(a,1),224(a,1,1)),demod(3354(13),3354(14),81(4),3354(26),3354(27),81(17))]. given #570 (T,wt=31): 5216 f(f(x,x),f(x,f(x,f(x,f(f(f(x,x),f(f(x,x),f(y,x))),f(x,f(z,f(x,x)))))))) = x. [para(3355(a,1),224(a,1,1)),demod(3355(13),3355(14),81(4),3355(26),3355(27),81(17))]. given #571 (A,wt=53): 238 f(f(x,f(y,z)),f(f(y,z),f(f(f(f(f(f(y,z),x),f(f(y,z),f(u,f(f(y,z),f(y,z))))),f(f(y,z),f(u,f(f(y,z),f(y,z))))),f(y,z)),z))) = f(y,z). [para(225(a,1),8(a,1,2,1)),demod(81(9),81(12),81(19))]. given #572 (F,wt=31): 5462 f(x,f(f(x,f(x,f(f(x,x),y))),f(f(x,f(x,x)),f(x,f(x,f(f(x,x),z)))))) = f(x,x). [para(1848(a,1),5390(a,1,2,2,1,1))]. given #573 (F,wt=31): 5464 f(x,f(f(x,f(x,f(y,f(x,x)))),f(f(x,f(x,x)),f(x,f(x,f(f(x,x),z)))))) = f(x,x). [para(1891(a,1),5390(a,1,2,2,1,1))]. given #574 (F,wt=31): 5646 f(x,f(f(x,f(x,f(f(x,x),y))),f(f(x,f(x,x)),f(x,f(x,f(z,f(x,x))))))) = f(x,x). [para(1848(a,1),5391(a,1,2,2,1,1))]. given #575 (F,wt=31): 5648 f(x,f(f(x,f(x,f(y,f(x,x)))),f(f(x,f(x,x)),f(x,f(x,f(z,f(x,x))))))) = f(x,x). [para(1891(a,1),5391(a,1,2,2,1,1))]. given #576 (T,wt=31): 5732 f(f(f(x,f(x,f(f(x,x),y))),f(f(x,f(x,x)),f(x,f(x,f(f(x,x),z))))),x) = f(x,x). [para(1848(a,1),5440(a,1,1,2,1,1))]. given #577 (A,wt=49): 239 f(f(x,y),f(y,f(f(f(f(f(y,x),f(y,f(z,f(y,y)))),f(y,f(z,f(y,y)))),y),f(f(f(y,y),u),f(f(f(f(f(y,v),u),u),y),f(y,w)))))) = y. [para(225(a,1),9(a,1,2,1)),demod(81(4),81(5),81(9))]. given #578 (F,wt=31): 5733 f(f(f(x,f(x,f(y,f(x,x)))),f(f(x,f(x,x)),f(x,f(x,f(f(x,x),z))))),x) = f(x,x). [para(1891(a,1),5440(a,1,1,2,1,1))]. given #579 (F,wt=31): 5775 f(f(f(x,f(x,f(f(x,x),y))),f(f(x,f(x,x)),f(x,f(x,f(z,f(x,x)))))),x) = f(x,x). [para(1848(a,1),5624(a,1,1,2,1,1))]. given #580 (F,wt=31): 5776 f(f(f(x,f(x,f(y,f(x,x)))),f(f(x,f(x,x)),f(x,f(x,f(z,f(x,x)))))),x) = f(x,x). [para(1891(a,1),5624(a,1,1,2,1,1))]. given #581 (F,wt=31): 5906 f(f(f(f(f(x,y),f(x,y)),f(y,y)),f(f(y,f(x,y)),y)),f(f(x,y),f(x,y))) = f(x,y). [para(589(a,1),87(a,1,2,1)),demod(589(23),589(26))]. given #582 (T,wt=31): 5939 f(f(f(f(x,y),f(x,y)),y),f(f(f(y,y),f(x,x)),f(f(f(x,f(x,x)),y),f(z,y)))) = y. [para(81(a,1),766(a,1,2,2,1,1,1))]. given #583 (A,wt=55): 241 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(10(a,1),8(a,1,1,2)),demod(10(24),10(25),10(28),10(32),10(47))]. given #584 (F,wt=31): 5987 f(f(f(f(x,y),f(x,y)),x),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(z,x)))) = x. [para(21(a,1),770(a,1,2,2,1,1,1))]. given #585 (F,wt=31): 6055 f(x,f(f(f(x,x),f(f(x,f(x,x)),f(f(x,f(x,x)),f(f(x,x),y)))),f(x,x))) = f(x,x). [para(21(a,1),6038(a,1,1)),demod(81(4),81(6))]. given #586 (F,wt=31): 6076 f(x,f(f(f(x,x),f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,f(x,x))))),f(x,x))) = f(x,x). [para(21(a,1),6057(a,1,1)),demod(81(4),81(6))]. given #587 (F,wt=31): 6494 f(f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),y)),f(f(x,y),f(x,y))) = f(x,y). [para(2657(a,1),87(a,1,2,1)),demod(2657(23),2657(26))]. given #588 (T,wt=31): 6755 f(x,f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(f(x,x),y)))))))) = f(x,x). [para(3340(a,1),199(a,1,1,1)),demod(3340(8),81(3),3340(7),3340(8),81(3),3340(7),3340(9),3340(10),81(5),3340(9),3340(20))]. given #589 (A,wt=49): 242 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 #590 (F,wt=31): 6756 f(x,f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(y,f(x,x))))))))) = f(x,x). [para(3341(a,1),199(a,1,1,1)),demod(3341(8),81(3),3341(7),3341(8),81(3),3341(7),3341(9),3341(10),81(5),3341(9),3341(20))]. given #591 (F,wt=31): 7114 f(f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(x,y))))),f(f(x,x),f(x,z))) = f(x,x). [para(21(a,1),7106(a,1,1,2,2,2,2,1)),demod(81(13))]. given #592 (F,wt=31): 7117 f(f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(y,x))))),f(f(x,x),f(x,z))) = f(x,x). [para(21(a,1),7115(a,1,1,2,2,2,2,2)),demod(81(13))]. given #593 (F,wt=31): 7124 f(f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(x,y))))),f(f(x,x),f(z,x))) = f(x,x). [para(21(a,1),7116(a,1,1,2,2,2,2,1)),demod(81(13))]. given #594 (T,wt=31): 7125 f(f(f(x,x),f(f(x,x),f(f(x,x),f(f(x,x),f(y,x))))),f(f(x,x),f(z,x))) = f(x,x). [para(21(a,1),7118(a,1,1,2,2,2,2,2)),demod(81(13))]. given #595 (A,wt=57): 244 f(f(f(f(f(x,x),y),f(f(f(f(y,y),y),x),f(x,z))),f(f(y,y),x)),f(f(f(f(f(y,y),x),f(f(y,y),x)),u),f(f(f(f(x,u),u),f(f(y,y),x)),x))) = f(f(y,y),x). [para(47(a,1),10(a,1,1,1,2,1,1,1))]. Demod_limit: 0 f(f(f(f(f(f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w))))),f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w)))))),v101),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w))))),v102))),f(f(v101,v101),f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w))))))),f(f(f(f(f(v101,v101),f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w)))))),f(f(v101,v101),f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w))))))),v103),f(f(f(f(f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w))))),v103),v103),f(f(v101,v101),f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w))))))),f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w)))))))) = f(f(v101,v101),f(f(f(f(v101,v101),v101),y),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),f(z,f(f(v101,v101),v101))),y),y),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),u),f(f(f(f(f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),v),u),u),f(f(f(v101,v101),v101),f(f(v101,v101),v101))),f(f(f(f(v101,v101),v101),f(f(v101,v101),v101)),w)))))). [para(48(a,1),244(a,1,1,1,2,1))]. Demod_limit (steps=-1, size=1001). The most recent kept clause is 7946. From here on, a short message will be printed for each 100 times the limit is hit. given #596 (F,wt=31): 7511 f(f(f(f(f(x,x),f(f(x,x),f(x,f(x,x)))),f(x,f(x,x))),f(x,f(x,x))),f(x,x)) = x. [para(4773(a,1),66(a,1,2,2,1)),demod(81(5),81(9),81(12),81(20),81(24),81(27),81(34),81(38),81(41),81(49),47(47),81(17),81(5),81(9),81(12)),flip(a)]. given #597 (F,wt=31): 7518 f(f(x,f(x,x)),f(x,f(f(f(x,f(x,f(f(x,x),x))),f(f(x,x),x)),f(f(x,x),x)))) = x. [para(7510(a,1),684(a,1,1,1,1)),demod(7510(12),81(3),7510(11),7510(13),7510(14),81(5),7510(25),7510(26),81(17))]. given #598 (F,wt=31): 7520 f(f(x,f(x,f(f(f(x,f(x,f(f(x,x),x))),f(f(x,x),x)),f(f(x,x),x)))),x) = f(x,x). [para(7510(a,1),1133(a,1,1,1,1)),demod(7510(12),81(3),7510(11),7510(12),81(3),7510(23),7510(24),81(15),7510(24))]. given #599 (F,wt=31): 7521 f(f(f(x,x),x),f(x,f(f(f(x,f(x,f(f(x,x),x))),f(f(x,x),x)),f(f(x,x),x)))) = x. [para(7510(a,1),1458(a,1,1,1)),demod(7510(12),7510(13),81(4),7510(13),7510(14),81(5),7510(25),7510(26),81(17))]. given #600 (T,wt=31): 7901 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(f(x,x),y))))))),x) = f(x,x). [para(6755(a,1),87(a,1,2,1)),demod(6755(26),81(15),6755(26))]. given #601 (A,wt=51): 245 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(81(a,1),10(a,1,1,1,2,1,1))]. given #602 (F,wt=31): 7922 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,f(x,f(x,f(y,f(x,x)))))))),x) = f(x,x). [para(6756(a,1),87(a,1,2,1)),demod(6756(26),81(15),6756(26))]. given #603 (F,wt=33): 247 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(10(a,1),87(a,1,2,1)),demod(10(33),10(36))]. given #604 (F,wt=33): 302 f(f(x,f(x,x)),f(f(x,y),f(f(f(f(f(x,f(x,x)),y),y),f(x,x)),f(f(x,x),z)))) = f(x,x). [para(264(a,1),3(a,1,1)),demod(81(5),87(10))]. given #605 (F,wt=33): 439 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(81(a,1),40(a,1,2,2,2))]. given #606 (T,wt=9): 8024 f(f(x,x),f(x,y)) = x. [para(209(a,1),439(a,1,1)),demod(1406(16),81(13),47(11),81(3)),flip(a)]. given #607 (A,wt=47): 246 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(81(a,1),10(a,1,2,2,1,1))]. given #608 (F,wt=9): 8026 f(f(x,x),f(y,x)) = x. [para(225(a,1),439(a,1,1)),demod(1431(16),8024(13),47(11),8024(3)),flip(a)]. given #609 (F,wt=11): 8025 f(x,f(f(x,x),y)) = f(x,x). [para(221(a,1),439(a,1,1)),demod(8024(10),8024(12),1380(14),21(10)),flip(a)]. given #610 (F,wt=11): 8028 f(x,f(y,f(x,x))) = f(x,x). [para(232(a,1),439(a,1,1)),demod(8024(10),8024(12),1407(14),21(10)),flip(a)]. given #611 (F,wt=11): 8489 f(f(x,x),x) = f(x,f(x,x)). [back_demod(5357),demod(8033(11),8028(3))]. given #612 (T,wt=13): 8029 f(f(f(x,y),f(x,y)),y) = f(x,y). [para(217(a,1),439(a,1,1)),demod(1451(26),8024(23),47(18),8024(7)),flip(a)]. given #613 (A,wt=49): 248 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(87(a,1),10(a,1,1,1,2,2))]. given #614 (F,wt=13): 8030 f(f(f(x,y),f(x,y)),x) = f(x,y). [para(224(a,1),439(a,1,1)),demod(1458(26),8024(23),47(18),8024(7)),flip(a)]. given #615 (F,wt=21): 8775 f(x,f(f(y,x),f(f(f(x,f(x,x)),f(y,x)),x))) = f(y,x). [back_demod(8198),demod(8489(3))]. given #616 (F,wt=21): 8779 f(x,f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),y))) = f(x,y). [back_demod(8175),demod(8489(3))]. given #617 (F,wt=21): 9168 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,x))),f(x,x)) = x. [back_demod(271),demod(8489(2),8489(4))]. given #618 (T,wt=21): 9174 f(f(x,x),f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,x)))) = x. [back_demod(201),demod(8489(3),8489(5))]. given #619 (A,wt=57): 289 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 #620 (F,wt=21): 9175 f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,y))),f(x,x)) = x. [back_demod(200),demod(8489(2),8489(4))]. given #621 (F,wt=21): 9183 f(f(x,x),f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,y)))) = x. [back_demod(73),demod(8489(3),8489(5))]. given #622 (F,wt=21): 9237 f(x,f(f(x,y),f(f(f(x,f(x,x)),f(x,y)),x))) = f(x,y). [para(8024(a,1),439(a,1,1)),demod(8024(6),8030(4),8024(5),8489(3))]. given #623 (F,wt=21): 9291 f(x,f(f(y,x),f(f(f(x,f(x,x)),f(y,x)),y))) = f(y,x). [para(8026(a,1),439(a,1,1)),demod(8024(6),8029(4),8024(5),8489(3))]. given #624 (T,wt=23): 8748 f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,x)))) = f(x,f(x,x)). [back_demod(8284),demod(8489(6),8029(11))]. given #625 (A,wt=57): 290 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 #626 (F,wt=23): 8800 f(f(x,y),f(f(f(f(x,y),f(x,f(x,x))),f(x,f(x,x))),x)) = x. [back_demod(8104),demod(8489(4),8489(7))]. given #627 (F,wt=23): 8801 f(f(x,y),f(f(f(f(x,y),f(y,f(y,y))),f(y,f(y,y))),y)) = y. [back_demod(8102),demod(8489(4),8489(7))]. given #628 (F,wt=23): 8816 f(f(x,x),f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(z,x)))) = x. [back_demod(8042),demod(8489(5))]. given #629 (F,wt=23): 8817 f(f(x,x),f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(x,z)))) = x. [back_demod(8041),demod(8489(5))]. given #630 (T,wt=23): 8951 f(f(x,y),f(f(f(f(y,x),f(y,f(y,y))),f(y,f(y,y))),y)) = y. [back_demod(4636),demod(8489(4),8489(7))]. given #631 (A,wt=55): 295 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(81(a,1),11(a,1,2,2,2,2,1,1,1,1))]. given #632 (F,wt=23): 9137 f(f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(z,x))),f(x,x)) = x. [back_demod(736),demod(8489(4))]. given #633 (F,wt=23): 9146 f(f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(x,z))),f(x,x)) = x. [back_demod(696),demod(8489(4))]. given #634 (F,wt=25): 8054 f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(x,u)))) = x. [para(281(a,1),439(a,1,1)),demod(8030(26),3085(26),8024(15),56(13),8024(3)),flip(a)]. given #635 (F,wt=25): 8055 f(f(x,x),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,z)))) = x. [para(445(a,1),439(a,1,1)),demod(8030(26),3816(26),8024(15),56(13),8024(3)),flip(a)]. given #636 (T,wt=25): 8061 f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(x,z),y),y),x),f(u,x)))) = x. [para(789(a,1),439(a,1,1)),demod(8030(26),3819(26),8024(15),56(13),8024(3)),flip(a)]. given #637 (A,wt=59): 296 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(87(a,1),11(a,1,2,2,2,2,1,1,1,1))]. given #638 (F,wt=25): 8062 f(f(x,x),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(z,x)))) = x. [para(893(a,1),439(a,1,1)),demod(8030(26),3821(26),8024(15),56(13),8024(3)),flip(a)]. given #639 (F,wt=25): 8070 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(y,u)))) = y. [para(99(a,1),439(a,2)),demod(8029(4),8029(16),8029(27),8029(43),8029(55),439(55))]. given #640 (F,wt=25): 8073 f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(z,x),y),y),x),f(x,u)))) = x. [para(1215(a,1),439(a,1,1)),demod(8030(26),3841(26),8024(15),56(13),8024(3)),flip(a)]. given #641 (F,wt=25): 8075 f(f(x,x),f(f(f(x,x),y),f(f(f(f(f(z,x),y),y),x),f(u,x)))) = x. [para(1282(a,1),439(a,1,1)),demod(8030(26),3851(26),8024(15),56(13),8024(3)),flip(a)]. given #642 (T,wt=25): 8094 f(f(x,y),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(x,u)))) = x. [para(113(a,1),439(a,2)),demod(8030(4),8030(16),8030(27),8030(43),8030(55),439(55))]. given #643 (A,wt=45): 310 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(197(a,1),8(a,1,1,2)),demod(197(11),197(12),81(5),197(12),197(16),197(29))]. given #644 (F,wt=25): 8109 f(x,f(f(f(f(y,x),f(y,x)),f(x,x)),f(f(x,f(y,x)),x))) = f(y,x). [para(589(a,1),439(a,2)),demod(8026(3),8026(14),8026(24),8026(39),8026(50),439(50))]. given #645 (F,wt=25): 8111 f(f(x,y),f(f(f(y,y),z),f(f(f(f(f(x,y),z),z),y),f(u,y)))) = y. [para(766(a,1),439(a,2)),demod(8029(4),8029(16),8029(27),8029(43),8029(55),439(55))]. given #646 (F,wt=25): 8112 f(f(x,y),f(f(f(x,x),z),f(f(f(f(f(x,y),z),z),x),f(u,x)))) = x. [para(770(a,1),439(a,2)),demod(8030(4),8030(16),8030(27),8030(43),8030(55),439(55))]. given #647 (F,wt=25): 8117 f(x,f(f(f(f(x,y),f(x,y)),f(x,x)),f(f(x,f(x,y)),y))) = f(x,y). [para(2657(a,1),439(a,2)),demod(8024(3),8024(14),8024(24),8024(39),8024(50),439(50))]. given #648 (T,wt=25): 8126 f(f(x,y),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(x,z)))) = x. [para(4969(a,1),439(a,2)),demod(8030(4),8030(16),8030(27),8030(43),8030(55),439(55))]. given #649 (A,wt=57): 311 f(f(x,x),f(f(f(x,f(x,x)),f(f(x,f(x,x)),f(f(x,x),y))),f(f(x,f(x,x)),f(f(x,f(x,x)),f(f(x,x),y))))) = f(f(x,f(x,x)),f(f(x,f(x,x)),f(f(x,x),y))). [para(197(a,1),21(a,1,1))]. given #650 (F,wt=25): 8127 f(f(x,y),f(f(f(x,x),f(y,y)),f(f(f(y,f(y,y)),x),f(z,x)))) = x. [para(5987(a,1),439(a,2)),demod(8030(4),8030(16),8030(27),8030(43),8030(55),439(55))]. given #651 (F,wt=25): 8128 f(f(x,y),f(f(f(f(f(x,f(x,x)),y),y),f(x,x)),f(f(x,x),z))) = x. [para(302(a,1),439(a,1,2,2,1)),demod(8123(12),8024(29),47(27),8024(3)),flip(a)]. given #652 (F,wt=25): 8134 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(5964),demod(8024(4),8024(4),8024(4))]. given #653 (F,wt=25): 8150 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(4235),demod(8024(4),8028(5),21(4),8024(4))]. given #654 (T,wt=25): 8151 f(f(x,x),f(f(x,f(x,x)),f(x,f(y,f(x,f(x,x)))))) = f(x,f(x,x)). [back_demod(4027),demod(8026(5),8026(4),2927(3),8030(7),8024(7))]. given #655 (A,wt=57): 319 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 #656 (F,wt=25): 8152 f(f(x,x),f(f(x,f(x,x)),f(x,f(f(x,f(x,x)),y)))) = f(x,f(x,x)). [back_demod(4026),demod(8026(5),8026(4),2927(3),8030(7),8024(7))]. given #657 (F,wt=25): 8677 f(f(x,f(y,y)),f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(x,z)))) = x. [back_demod(8408),demod(8489(6))]. given #658 (F,wt=25): 8695 f(f(x,f(y,y)),f(f(f(x,x),y),f(f(f(y,f(y,y)),x),f(z,x)))) = x. [back_demod(8378),demod(8489(6))]. given #659 (F,wt=25): 8774 f(x,f(f(y,x),f(f(f(x,f(x,x)),f(y,x)),f(f(y,x),z)))) = f(y,x). [back_demod(8201),demod(8489(3))]. given #660 (T,wt=15): 10539 f(x,f(f(x,f(x,x)),f(y,x))) = f(y,x). [para(8028(a,1),8774(a,1,2,2)),demod(87(11))]. given #661 (A,wt=57): 322 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 #662 (F,wt=15): 10594 f(x,f(f(x,f(x,x)),f(x,y))) = f(x,y). [para(8030(a,1),10539(a,1,2,2)),demod(8030(9))]. given #663 (F,wt=19): 10592 f(f(x,y),f(f(f(x,y),f(f(x,y),f(x,y))),x)) = x. [para(8024(a,1),10539(a,1,2,2)),demod(8024(11))]. given #664 (F,wt=19): 10593 f(f(x,y),f(f(f(x,y),f(f(x,y),f(x,y))),y)) = y. [para(8026(a,1),10539(a,1,2,2)),demod(8026(11))]. given #665 (F,wt=19): 10620 f(f(x,x),f(f(x,f(x,x)),f(y,x))) = f(x,f(x,x)). [para(10539(a,1),8152(a,1,2,2))]. given #666 (T,wt=19): 10720 f(f(x,x),f(f(x,f(x,x)),f(x,y))) = f(x,f(x,x)). [para(10594(a,1),8152(a,1,2,2))]. given #667 (A,wt=57): 326 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(81(a,1),12(a,1,2,2,2,2,1,1))]. given #668 (F,wt=19): 10794 f(f(x,f(x,x)),f(f(x,f(x,x)),f(y,x))) = f(y,x). [para(9168(a,1),10592(a,1,1)),demod(9168(9),9168(9),9168(9),10694(10),10539(5)),flip(a)]. given #669 (F,wt=17): 11054 f(f(x,f(x,x)),f(f(y,x),f(y,x))) = f(y,x). [para(10794(a,1),96(a,1,2,1)),demod(10794(10),10794(13))]. given #670 (F,wt=17): 11059 f(f(x,f(x,x)),f(y,x)) = f(f(y,x),f(y,x)). [para(10794(a,1),46(a,1,1)),demod(10795(24),10794(23),8028(21)),flip(a)]. given #671 (F,wt=21): 11163 f(c1,f(f(c3,f(c3,c3)),f(c2,c3))) != f(c2,f(f(c1,c3),f(c1,c3))) # answer(A_SS). [para(11059(a,2),4(a,1,2))]. given #672 (T,wt=15): 11180 f(x,f(f(y,f(y,y)),f(x,y))) = f(x,y). [para(11059(a,2),96(a,1,2))]. given #673 (A,wt=55): 327 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(81(a,1),12(a,1,2,2,2,2,2))]. given #674 (F,wt=21): 11164 f(c2,f(f(c3,f(c3,c3)),f(c1,c3))) != f(c1,f(f(c2,c3),f(c2,c3))) # answer(A_SS). [para(11059(a,2),4(a,2,2)),flip(a)]. given #675 (F,wt=23): 11750 f(c1,f(f(c3,f(c3,c3)),f(c2,c3))) != f(c2,f(f(c3,f(c3,c3)),f(c1,c3))) # answer(A_SS). [para(11059(a,2),11163(a,2,2))]. given #676 (F,wt=15): 11306 f(f(f(x,f(x,x)),f(y,x)),x) = f(y,x). [para(11059(a,2),89(a,1,1)),demod(8024(14),8489(9),8489(14),11100(16))]. given #677 (F,wt=15): 11417 f(f(f(x,f(x,x)),f(y,x)),y) = f(y,x). [para(11059(a,2),8030(a,1,1))]. given #678 (T,wt=15): 11850 f(f(f(x,f(x,x)),f(x,y)),x) = f(x,y). [para(8030(a,1),11306(a,1,1,2)),demod(8030(9))]. given #679 (A,wt=59): 328 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(87(a,1),12(a,1,2,2,2,2,2))]. given #680 (F,wt=17): 11101 f(f(f(x,y),f(x,y)),f(y,f(y,y))) = f(x,y). [para(10794(a,1),8030(a,1,1,1)),demod(10794(8),10794(13))]. given #681 (F,wt=17): 11128 f(x,f(f(y,x),f(f(x,f(y,x)),x))) = f(y,x). [back_demod(8169),demod(11101(6))]. given #682 (F,wt=17): 11146 f(f(f(x,y),f(f(x,y),f(x,y))),f(x,x)) = x. [para(8024(a,1),11054(a,1,2,1)),demod(8024(8),8024(10))]. given #683 (F,wt=17): 11147 f(f(f(x,y),f(f(x,y),f(x,y))),f(y,y)) = y. [para(8026(a,1),11054(a,1,2,1)),demod(8026(8),8026(10))]. given #684 (T,wt=17): 11150 f(f(x,f(x,x)),f(f(x,y),f(x,y))) = f(x,y). [para(8030(a,1),11054(a,1,2,1)),demod(8030(7),8030(10))]. given #685 (A,wt=39): 330 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(73(a,1),12(a,1,2,2,1,1,1,1)),demod(200(9),81(3),81(8))]. given #686 (F,wt=17): 11406 f(f(f(x,y),f(f(x,y),f(x,y))),x) = f(x,x). [para(8024(a,1),11059(a,1,2)),demod(8024(9),8024(9))]. given #687 (F,wt=11): 12143 f(f(x,f(x,x)),y) = f(y,y). [para(10539(a,1),11406(a,1,1,1)),demod(10539(6),10539(7),12135(5))]. given #688 (F,wt=21): 12925 f(c2,f(f(c1,c3),f(c1,c3))) != f(c1,f(f(x,f(x,x)),f(c2,c3))) # answer(A_SS). [para(12143(a,2),4(a,1,2)),flip(a)]. given #689 (F,wt=21): 12926 f(c2,f(f(x,f(x,x)),f(c1,c3))) != f(c1,f(f(c2,c3),f(c2,c3))) # answer(A_SS). [para(12143(a,2),4(a,2,2)),flip(a)]. given #690 (T,wt=11): 12204 f(x,f(x,f(x,y))) = f(x,y). [back_demod(8790),demod(12135(5),8028(3),12135(6),8024(4))]. given #691 (A,wt=57): 353 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 #692 (F,wt=23): 13270 f(c2,f(f(x,f(x,x)),f(c1,c3))) != f(c1,f(f(c3,f(c3,c3)),f(c2,c3))) # answer(A_SS). [para(12143(a,2),11163(a,2,2)),flip(a)]. given #693 (F,wt=23): 13277 f(c2,f(f(c3,f(c3,c3)),f(c1,c3))) != f(c1,f(f(x,f(x,x)),f(c2,c3))) # answer(A_SS). [para(12143(a,2),11164(a,2,2))]. given #694 (F,wt=23): 13314 f(c2,f(f(x,f(x,x)),f(c1,c3))) != f(c1,f(f(y,f(y,y)),f(c2,c3))) # answer(A_SS). [para(12143(a,2),12925(a,1,2))]. given #695 (F,wt=25): 13269 f(c1,f(f(c3,f(f(x,f(x,x)),c3)),f(c2,c3))) != f(c2,f(f(c1,c3),f(c1,c3))) # answer(A_SS). [para(12143(a,2),11163(a,1,2,1,2))]. given #696 (T,wt=11): 12252 f(x,f(y,f(y,y))) = f(x,x). [back_demod(11938),demod(12135(8))]. NOTE: New constant: 0 f(x,f(x,x)) = c_0. [new_symbol(13669)]. NOTE: New Function symbol precedence: lex([ c1, c2, c3, c_0, f ]). given #697 (A,wt=57): 365 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),87(a,1,2,1)),demod(14(52),14(54))]. given #698 (F,wt=15): 13813 f(c1,f(c_0,f(c2,c3))) != f(c2,f(c_0,f(c1,c3))) # answer(A_SS). [back_demod(13724),demod(13760(6),13760(13),13803(13,R)),flip(a)]. given #699 (F,wt=7): 13760 f(x,f(x,x)) = c_0. [new_symbol(13669)]. given #700 (F,wt=7): 13794 f(x,f(x,c_0)) = c_0. [back_demod(13660),demod(13760(2),13760(5))]. given #701 (F,wt=7): 13803 f(c_0,x) = f(x,c_0). [back_demod(13739),demod(13760(2),13760(4))]. given #702 (T,wt=7): 13817 f(c_0,f(x,c_0)) = x. [back_demod(13714),demod(13760(2),13760(3))]. given #703 (A,wt=57): 366 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(f(f(y,y),w),f(f(f(f(f(y,v6),w),w),y),f(y,v7)))))))) = y. [para(87(a,1),14(a,1,2,2,2,2,1,1,1,1))]. given #704 (F,wt=7): 13856 f(f(x,c_0),x) = c_0. [back_demod(13659),demod(13760(2),13760(5))]. given #705 (F,wt=7): 13899 f(x,c_0) = f(x,x). [back_demod(13599),demod(13760(3),13760(4),13817(5),8025(4),81(3),13760(3)),flip(a)]. given #706 (F,wt=7): 14109 f(f(c_0,x),x) = c_0. [back_demod(13195),demod(13760(2),13760(4),13760(6),13803(6,R),13817(6),13760(5))]. given #707 (F,wt=7): 14115 f(x,f(c_0,x)) = c_0. [back_demod(13184),demod(13760(2),13760(5))]. given #708 (T,wt=7): 14351 f(c_0,f(x,x)) = x. [back_demod(12528),demod(13760(3),13760(10),14115(13),14221(10),56(7),13899(3,R),13803(3,R))]. given #709 (A,wt=57): 367 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(v6,y),w),w),y),f(y,v7)))))))) = y. [para(87(a,1),14(a,1,2,2,2,2,2,2,1,1,1,1))]. given #710 (F,wt=7): 14467 f(x,f(c_0,c_0)) = c_0. [back_demod(12232),demod(13760(2),13760(3),13760(6))]. given #711 (F,wt=7): 14468 f(f(c_0,c_0),x) = c_0. [back_demod(12226),demod(13760(2),13760(3),13760(6))]. given #712 (F,wt=7): 14493 f(c_0,x) = f(x,x). [back_demod(12156),demod(13760(4),14115(7))]. given #713 (F,wt=7): 14748 f(f(x,x),x) = c_0. [back_demod(8489),demod(13760(4))]. given #714 (T,wt=7): 15145 f(c_0,f(c_0,x)) = x. [para(13794(a,1),189(a,1,2,1,2,2)),demod(14468(7),14467(7),14468(8),13803(11,R),13803(17,R),13803(19,R),14378(19),14109(16),13760(8),14221(7),13899(5,R),13803(4,R))]. given #715 (A,wt=57): 368 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(v7,y)))))))) = y. [para(87(a,1),14(a,1,2,2,2,2,2,2,2))]. given #716 (F,wt=9): 13859 f(f(x,c_0),f(y,x)) = x. [back_demod(13656),demod(13760(2))]. given #717 (F,wt=9): 13860 f(f(x,c_0),f(x,y)) = x. [back_demod(13655),demod(13760(2))]. given #718 (F,wt=9): 14000 f(f(x,y),f(x,c_0)) = x. [back_demod(13462),demod(13760(3))]. given #719 (F,wt=9): 14002 f(f(x,y),f(y,c_0)) = y. [back_demod(13460),demod(13760(3))]. given #720 (T,wt=9): 14205 f(f(c_0,x),f(y,x)) = x. [back_demod(13019),demod(13760(2))]. given #721 (A,wt=33): 492 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(u,f(y,y))))) = f(y,y). [para(87(a,1),37(a,1,2,2,2))]. given #722 (F,wt=9): 14221 f(f(c_0,x),f(x,y)) = x. [back_demod(12990),demod(13760(2))]. given #723 (F,wt=9): 14237 f(f(x,y),f(c_0,x)) = x. [back_demod(12947),demod(13760(3))]. given #724 (F,wt=9): 14239 f(f(x,y),f(c_0,y)) = y. [back_demod(12945),demod(13760(3))]. given #725 (F,wt=11): 12378 f(f(x,f(x,y)),x) = f(x,y). [back_demod(11632),demod(12135(5),10539(7))]. given #726 (T,wt=11): 13319 f(f(x,y),f(f(x,y),y)) = y. [para(3(a,1),12204(a,1,2,2)),demod(3(15))]. given #727 (A,wt=57): 798 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(v6,y))),u),u),y),f(y,v7)))))) = y. [para(101(a,1),12(a,1,1,2)),demod(101(12),101(12),101(14),101(17),101(18),101(18),101(31),101(32),101(38))]. given #728 (F,wt=11): 13327 f(x,f(x,f(y,x))) = f(y,x). [para(87(a,1),12204(a,1,2,2)),demod(87(7))]. given #729 (F,wt=11): 13818 f(f(x,c_0),f(c_0,f(x,y))) = c_0. [back_demod(13712),demod(13760(2),13760(4),13760(8))]. given #730 (F,wt=11): 13819 f(f(x,c_0),f(c_0,f(y,x))) = c_0. [back_demod(13710),demod(13760(2),13760(4),13760(8))]. given #731 (F,wt=11): 13850 f(f(c_0,f(x,y)),x) = f(x,y). [back_demod(13668),demod(13760(3),13803(3,R))]. given #732 (T,wt=11): 13855 f(f(c_0,f(x,y)),y) = f(x,y). [back_demod(13661),demod(13760(3),13803(3,R))]. given #733 (A,wt=57): 833 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(v,y)))) = y. [para(101(a,1),101(a,1,2,2,1,1,1))]. given #734 (F,wt=11): 13857 f(x,f(y,f(x,c_0))) = f(x,x). [back_demod(13658),demod(13760(2))]. given #735 (F,wt=11): 13858 f(x,f(f(x,c_0),y)) = f(x,x). [back_demod(13657),demod(13760(2))]. given #736 (F,wt=11): 13998 f(x,f(c_0,f(x,y))) = f(x,y). [back_demod(13464),demod(13760(3),13803(3,R))]. given #737 (F,wt=11): 13999 f(x,f(c_0,f(y,x))) = f(y,x). [back_demod(13463),demod(13760(3),13803(3,R))]. given #738 (T,wt=11): 14001 f(f(f(x,c_0),y),x) = f(x,x). [back_demod(13461),demod(13760(2))]. given #739 (A,wt=57): 852 f(f(f(f(x,x),f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(u,y)))),f(f(f(y,f(f(f(y,y),z),f(f(f(f(f(y,x),z),z),y),f(u,y)))),x),f(x,v))),f(x,x)) = x. [para(101(a,1),102(a,1,1,2,1,1,1))]. given #740 (F,wt=11): 14009 f(f(x,f(y,c_0)),y) = f(y,y). [back_demod(13449),demod(13760(2))]. given #741 (F,wt=11): 14018 f(f(c_0,f(x,y)),f(c_0,y)) = c_0. [back_demod(13422),demod(13899(3,R),13803(3,R),13760(5),13760(8))]. given #742 (F,wt=11): 14057 f(f(c_0,x),f(c_0,f(x,y))) = c_0. [back_demod(13265),demod(13760(2),13760(4),13760(8))]. given #743 (F,wt=11): 14058 f(f(x,x),f(c_0,f(y,x))) = c_0. [back_demod(13264),demod(13760(3),14055(6),13760(7))]. given #744 (T,wt=11): 14059 f(f(c_0,x),f(c_0,f(y,x))) = c_0. [back_demod(13263),demod(13760(2),13760(4),13760(8))]. given #745 (A,wt=47): 869 f(f(f(x,y),f(f(f(f(f(f(x,x),z),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))))),x) = f(x,x). [para(49(a,1),87(a,1,2,1)),demod(49(44),81(23),49(44))]. given #746 (F,wt=11): 14116 f(x,f(y,f(c_0,x))) = f(x,x). [back_demod(13182),demod(13760(2))]. given #747 (F,wt=11): 14117 f(x,f(f(c_0,x),y)) = f(x,x). [back_demod(13181),demod(13760(2))]. given #748 (F,wt=11): 14122 f(f(c_0,f(f(x,y),y)),x) = c_0. [back_demod(13167),demod(13760(4),13803(4,R),13760(7))]. given #749 (F,wt=11): 14238 f(f(f(c_0,x),y),x) = f(x,x). [back_demod(12946),demod(13760(2))]. given #750 (T,wt=11): 14242 f(f(x,f(c_0,y)),y) = f(y,y). [back_demod(12934),demod(13760(2))]. given #751 (A,wt=51): 870 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(v,f(y,y)),u),u),f(y,y)),f(f(y,y),w)))))) = f(y,y). [para(87(a,1),49(a,1,2,2,2,2,1,1,1,1))]. given #752 (F,wt=11): 14380 f(f(c_0,f(x,y)),f(x,x)) = c_0. [back_demod(12424),demod(13899(3,R),13803(3,R),13760(7))]. given #753 (F,wt=11): 14384 f(f(c_0,f(x,y)),f(y,y)) = c_0. [back_demod(12420),demod(13899(3,R),13803(3,R),13760(7))]. given #754 (F,wt=11): 14470 f(f(x,x),f(c_0,f(x,y))) = c_0. [back_demod(12197),demod(13899(4,R),13803(4,R),13760(7))]. given #755 (F,wt=11): 14584 f(x,f(c_0,f(f(x,x),y))) = c_0. [back_demod(10960),demod(13760(2),13760(7))]. given #756 (T,wt=11): 14627 f(x,f(c_0,f(y,f(x,x)))) = c_0. [back_demod(10878),demod(13760(2),13760(7))]. given #757 (A,wt=51): 871 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(w,f(y,y))))))) = f(y,y). [para(87(a,1),49(a,1,2,2,2,2,2))]. given #758 (F,wt=11): 15608 f(f(x,y),x) = f(x,f(x,y)). [para(12204(a,1),12378(a,1,1))]. given #759 (F,wt=11): 15884 f(f(x,y),f(x,f(x,y))) = x. [back_demod(13326),demod(15608(3))]. given #760 (F,wt=11): 15899 f(f(x,y),f(y,f(y,x))) = y. [back_demod(12605),demod(15608(3))]. given #761 (F,wt=11): 16129 f(f(c_0,f(x,f(y,y))),y) = c_0. [para(47(a,1),13818(a,1,2,2)),demod(13803(4,R),14351(7))]. given #762 (T,wt=11): 16130 f(f(c_0,f(f(x,x),y)),x) = c_0. [para(56(a,1),13818(a,1,2,2)),demod(13803(4,R),14351(7))]. given #763 (A,wt=21): 11127 f(x,f(f(y,x),f(f(x,f(y,x)),f(f(y,x),z)))) = f(y,x). [back_demod(8170),demod(11101(6))]. given #764 (F,wt=11): 16131 f(f(c_0,f(x,y)),f(c_0,x)) = c_0. [para(81(a,1),13818(a,1,2,2)),demod(13803(3,R))]. given #765 (F,wt=11): 16297 f(f(c_0,f(x,f(y,c_0))),y) = c_0. [para(13857(a,1),13819(a,1,2,2)),demod(13803(5,R),14351(8))]. given #766 (F,wt=11): 16321 f(f(c_0,f(f(x,c_0),y)),x) = c_0. [para(13858(a,1),13819(a,1,2,2)),demod(13803(5,R),14351(8))]. given #767 (F,wt=11): 16459 f(f(c_0,f(x,y)),f(y,c_0)) = c_0. [para(13803(a,1),14018(a,1,2))]. given #768 (T,wt=11): 16462 f(f(c_0,f(x,f(c_0,y))),y) = c_0. [para(15145(a,1),14018(a,1,2))]. given #769 (A,wt=21): 11959 f(x,f(f(x,y),f(f(x,f(x,y)),f(f(x,y),z)))) = f(x,y). [back_demod(8161),demod(11940(6))]. given #770 (F,wt=11): 16469 f(x,f(c_0,f(y,f(x,c_0)))) = c_0. [para(13857(a,1),14018(a,1,1,2)),demod(14351(3))]. given #771 (F,wt=11): 16470 f(x,f(c_0,f(f(x,c_0),y))) = c_0. [para(13858(a,1),14018(a,1,1,2)),demod(14351(3))]. given #772 (F,wt=11): 16488 f(x,f(c_0,f(f(c_0,x),y))) = c_0. [para(15145(a,1),14057(a,1,1))]. given #773 (F,wt=11): 16494 f(x,f(c_0,f(y,f(c_0,x)))) = c_0. [para(14205(a,1),14058(a,1,1))]. given #774 (T,wt=11): 16607 f(f(c_0,f(f(c_0,x),y)),x) = c_0. [para(14117(a,1),13819(a,1,2,2)),demod(13803(5,R),14351(8))]. given #775 (A,wt=21): 12205 f(x,f(f(x,y),f(f(x,f(x,y)),f(z,f(x,y))))) = f(x,y). [back_demod(8789),demod(12135(6),12204(4),12135(7),8024(5))]. given #776 (F,wt=11): 16650 f(f(c_0,f(x,y)),f(x,c_0)) = c_0. [para(13818(a,1),14122(a,1,1,2,1)),demod(15145(6))]. given #777 (F,wt=11): 16937 f(f(x,y),y) = f(y,f(x,y)). [para(3(a,1),15608(a,1,1)),demod(3(14)),flip(a)]. given #778 (F,wt=11): 17063 f(f(x,y),f(y,f(x,y))) = y. [para(15608(a,1),8111(a,1,2,2)),demod(15608(3),13760(3),16937(4),15608(5),13327(5),16937(5),15608(6),13327(6),16937(5),13998(8))]. given #779 (F,wt=11): 17360 f(x,f(c_0,f(y,f(x,y)))) = c_0. [back_demod(16653),demod(16937(3))]. given #780 (T,wt=11): 18948 f(f(c_0,f(x,f(y,x))),y) = c_0. [back_demod(14122),demod(16937(3))]. given #781 (A,wt=41): 13926 f(f(x,y),f(f(z,f(y,y)),f(f(f(f(f(y,x),f(c_0,f(z,f(y,y)))),f(f(z,f(y,y)),f(z,f(y,c_0)))),y),f(y,u)))) = y. [back_demod(13562),demod(13899(9,R),13803(8,R),13760(13))]. given #782 (F,wt=11): 19463 f(f(x,y),f(c_0,f(y,x))) = c_0. [para(15899(a,1),17360(a,1,2,2,2)),demod(15608(5),12204(5))]. given #783 (F,wt=11): 19467 f(f(c_0,f(x,y)),f(y,x)) = c_0. [para(15899(a,1),18948(a,1,1,2,2)),demod(15608(4),12204(4))]. given #784 (F,wt=15): 14381 f(x,f(c_0,f(f(x,f(x,y)),y))) = f(x,y). [back_demod(12423),demod(13760(2))]. given #785 (F,wt=15): 18214 f(f(x,c_0),f(c_0,f(y,f(f(c_0,x),y)))) = c_0. [back_demod(15412),demod(16937(7))]. given #786 (T,wt=15): 19518 f(x,f(c_0,f(f(x,f(x,y)),f(y,x)))) = c_0. [para(15899(a,1),19463(a,1,1))]. given #787 (A,wt=41): 13927 f(f(x,y),f(f(z,f(y,y)),f(f(f(f(f(y,x),f(c_0,f(z,f(y,y)))),f(f(z,f(y,c_0)),f(z,f(y,y)))),y),f(y,u)))) = y. [back_demod(13561),demod(13899(9,R),13803(8,R),13760(11))]. given #788 (F,wt=15): 19519 f(f(f(x,f(x,y)),f(y,x)),f(c_0,x)) = c_0. [para(15899(a,1),19463(a,1,2,2))]. given #789 (F,wt=15): 19529 f(f(c_0,x),f(f(x,f(x,y)),f(y,x))) = c_0. [para(15899(a,1),19467(a,1,1,2))]. given #790 (F,wt=15): 19530 f(f(c_0,f(f(x,f(x,y)),f(y,x))),x) = c_0. [para(15899(a,1),19467(a,1,2))]. given #791 (F,wt=15): 19541 f(f(f(x,f(x,y)),y),f(c_0,f(x,y))) = c_0. [para(14381(a,1),13819(a,1,2,2)),demod(13803(7,R),15145(7))]. given #792 (T,wt=15): 19542 f(f(c_0,f(x,y)),f(f(x,f(x,y)),y)) = c_0. [para(14381(a,1),14018(a,1,1,2)),demod(15145(10))]. given #793 (A,wt=41): 13928 f(f(x,y),f(f(z,f(y,y)),f(f(f(f(f(y,x),