============================== Prover9 =============================== Prover9 (32) version June-2006C, June 2006. Process 13905 was started by mccune on cleo.thornwood, Mon Jun 19 17:06:22 2006 The command was "/home/mccune/bin/prover9 -f dist-both.in". ============================== end of head =========================== ============================== INPUT ================================= % Reading from file dist-both.in assign(order,kbo). set(lex_order_vars). assign(max_weight,50). terms(weights). weight(x = y) = (weight(x) + weight(y)) + depth(x = y). end_of_list. clauses(sos). f(x,x,y) = x # label(majority). f(x,y,z) = f(z,x,y) # label(2a). f(x,y,z) = f(x,z,y) # label(2b). f(f(x,y,z),y,u) = f(x,y,f(z,y,u)) # label(associativity). end_of_list. set(restrict_denials). clauses(sos). f(f(A,B,C),D,E) != f(f(A,D,E),f(B,D,E),f(C,D,E)) | f(f(A,B,C),D,E) != f(A,f(B,D,E),f(C,D,E)) # answer(dist_both). end_of_list. ============================== end of input ========================== ============================== PROCESS INITIAL CLAUSES =============== % Clauses before input processing: clauses(usable). end_of_list. clauses(sos). 1 f(x,x,y) = x # label(majority). [input]. 2 f(x,y,z) = f(z,x,y) # label(2a). [input]. 3 f(x,y,z) = f(x,z,y) # label(2b). [input]. 4 f(f(x,y,z),y,u) = f(x,y,f(z,y,u)) # label(associativity). [input]. 5 f(f(A,B,C),D,E) != f(f(A,D,E),f(B,D,E),f(C,D,E)) | f(f(A,B,C),D,E) != f(A,f(B,D,E),f(C,D,E)) # answer(dist_both). [input]. end_of_list. clauses(demodulators). end_of_list. Predicate elimination: (none). Auto_denials: no changes. % Restrict denials; moving clauses to denials list: clauses(denials). 5 f(f(A,B,C),D,E) != f(f(A,D,E),f(B,D,E),f(C,D,E)) | f(f(A,B,C),D,E) != f(A,f(B,D,E),f(C,D,E)) # answer(dist_both). [input]. end_of_list. Term ordering decisions: Function symbol KB weights: A=1. B=1. C=1. D=1. E=1. f=1. Relation symbol precedence: lex([ = ]). Function symbol precedence: lex([ A, B, C, D, E, f ]). Skipping inverse_order, because term ordering is KBO. Unfolding symbols: (none). Auto_inference settings: % set(paramodulation). % (positive equality literals) % set(paramodulation) -> set(back_demod). % set(hyper_resolution). % (nonunit Horn with equality) % set(neg_ur_resolution). % (nonunit Horn with equality) % assign(para_lit_limit, 2). % (nonunit Horn with equality) Auto_process settings: % set(back_unit_deletion). % (Horn set with negative nonunits) % set(back_unit_deletion) -> set(unit_deletion). ============================== end of process initial clauses ======== ============================== CLAUSES FOR SEARCH ==================== % Clauses after input processing: clauses(usable). end_of_list. clauses(sos). 6 f(x,x,y) = x # label(majority). [input]. 7 f(x,y,z) = f(z,x,y) # label(2a). [input]. 8 f(x,y,z) = f(x,z,y) # label(2b). [input]. 9 f(x,y,f(z,x,u)) = f(z,x,f(x,u,y)) # label(associativity). [copy(4),demod(7(2),7(2),7(3,R),8(3))]. end_of_list. clauses(demodulators). 6 f(x,x,y) = x # label(majority). [input]. 7 f(x,y,z) = f(z,x,y) # label(2a). [input]. % (lex-dep) 8 f(x,y,z) = f(x,z,y) # label(2b). [input]. % (lex-dep) end_of_list. clauses(denials). 10 f(f(A,D,E),f(B,D,E),f(C,D,E)) != f(D,E,f(A,B,C)) | f(A,f(B,D,E),f(C,D,E)) != f(D,E,f(A,B,C)) # answer(dist_both). [copy(5),demod(7(7),7(7),7(28),7(28)),flip(a),flip(b)]. end_of_list. ============================== end of clauses for search ============= ============================== SEARCH ================================ % Starting search at 0.00 seconds. given #1 (I,wt=7): 6 f(x,x,y) = x # label(majority). [input]. given #2 (I,wt=10): 7 f(x,y,z) = f(z,x,y) # label(2a). [input]. given #3 (I,wt=10): 8 f(x,y,z) = f(x,z,y) # label(2b). [input]. given #4 (I,wt=17): 9 f(x,y,f(z,x,u)) = f(z,x,f(x,u,y)) # label(associativity). [copy(4),demod(7(2),7(2),7(3,R),8(3))]. given #5 (T,wt=7): 11 f(x,y,y) = y. [para(7(a,1),6(a,1))]. given #6 (A,wt=17): 12 f(x,y,f(x,z,u)) = f(x,z,f(x,y,u)). [para(9(a,2),7(a,1)),demod(7(1,R),8(1),8(3),7(4),8(4))]. given #7 (F,wt=14): 18 f(x,y,f(x,z,y)) = f(x,z,y). [para(9(a,2),9(a,1)),demod(7(1,R),11(1),7(2),8(2)),flip(a)]. given #8 (F,wt=14): 22 f(x,y,f(x,y,z)) = f(x,y,z). [para(11(a,1),9(a,2,3)),demod(7(1),7(1),7(3),7(3))]. given #9 (T,wt=17): 13 f(x,y,f(z,y,u)) = f(z,y,f(x,y,u)). [para(9(a,1),7(a,2)),demod(8(2),7(3))]. given #10 (T,wt=17): 14 f(x,y,f(x,z,u)) = f(x,u,f(x,z,y)). [para(9(a,2),7(a,2)),demod(8(2),7(3),7(3))]. given #11 (A,wt=17): 15 f(x,y,f(x,z,u)) = f(x,u,f(x,y,z)). [para(7(a,1),9(a,1,3)),demod(7(1),8(3),7(4,R),8(4))]. given #12 (F,wt=17): 23 f(x,y,f(z,x,u)) = f(z,x,f(x,y,u)). [para(12(a,1),7(a,2)),demod(8(2),7(3,R),8(3)),flip(a)]. given #13 (F,wt=20): 28 f(x,f(x,y,z),f(x,z,u)) = f(x,u,f(x,y,z)). [para(18(a,1),9(a,2,3)),demod(7(2),7(2),7(5,R),8(5))]. given #14 (T,wt=21): 27 f(x,y,f(x,z,f(x,y,u))) = f(x,z,f(x,y,u)). [para(18(a,1),9(a,1,3)),demod(7(1),7(3),8(4),7(5,R),8(5)),flip(a)]. given #15 (T,wt=21): 31 f(x,y,f(x,z,f(x,u,y))) = f(x,z,f(x,u,y)). [para(18(a,1),12(a,1,3)),flip(a)]. given #16 (A,wt=24): 16 f(x,y,f(z,u,f(x,u,v))) = f(x,u,f(x,y,f(z,u,v))). [para(9(a,1),9(a,1,3)),demod(7(1),8(5),7(6,R),8(6))]. given #17 (F,wt=21): 33 f(x,y,f(y,z,f(x,y,u))) = f(x,y,f(y,z,u)). [para(9(a,2),22(a,1,3)),demod(8(4))]. given #18 (F,wt=21): 42 f(x,y,f(z,x,f(x,y,u))) = f(z,x,f(x,y,u)). [para(18(a,1),13(a,1,3)),demod(7(1),7(3),7(5,R),8(5)),flip(a)]. given #19 (T,wt=21): 140 f(x,y,f(z,y,f(x,y,u))) = f(z,y,f(x,y,u)). [para(42(a,1),7(a,2)),demod(7(1,R),8(1),8(3),7(4,R),8(4))]. given #20 (T,wt=24): 17 f(x,y,f(x,z,f(x,u,v))) = f(x,u,f(x,y,f(x,z,v))). [para(9(a,2),9(a,1,3)),demod(7(1,R),8(1),8(4),8(5),7(6,R),8(6))]. given #21 (A,wt=24): 20 f(x,f(y,z,u),f(x,y,v)) = f(x,v,f(y,u,f(x,y,z))). [para(9(a,2),9(a,2,3)),demod(7(2),7(2),7(6,R),8(6))]. given #22 (F,wt=20): 206 f(x,f(y,x,z),f(y,x,u)) = f(y,x,f(x,z,u)). [para(9(a,2),20(a,2)),demod(11(2),8(2)),flip(a)]. given #23 (F,wt=21): 207 f(x,y,f(z,u,f(x,z,u))) = f(x,z,f(x,u,y)). [para(11(a,1),20(a,1,2)),demod(8(3),7(4,R),8(4)),flip(a)]. given #24 (T,wt=14): 319 f(x,y,f(z,x,y)) = f(z,x,y). [para(207(a,1),11(a,1)),demod(207(3),11(1),22(2)),flip(a)]. given #25 (T,wt=17): 313 f(x,y,f(z,u,y)) = f(z,y,f(x,u,y)). [para(207(a,1),7(a,2)),demod(7(1),7(1),22(2),8(2),7(3),8(3),7(4,R),8(4))]. given #26 (A,wt=24): 24 f(x,y,f(z,u,f(x,z,v))) = f(x,z,f(x,y,f(z,u,v))). [para(12(a,1),9(a,1,3)),demod(7(1,R),8(1),8(5),7(6,R),8(6))]. given #27 (F,wt=17): 314 f(x,y,f(z,u,x)) = f(z,x,f(u,x,y)). [para(7(a,1),207(a,1)),demod(7(1),7(1),22(2),7(2),7(2),7(3,R),8(3),7(4,R),8(4))]. given #28 (F,wt=17): 378 f(x,f(y,z,u),f(y,x,z)) = f(y,x,z). [para(20(a,2),313(a,2)),demod(7(1,R),8(1),7(2,R),8(2),195(4),206(3),347(3),7(3,R),8(3),7(4,R),8(4),22(4)),flip(a)]. given #29 (T,wt=17): 473 f(x,f(y,z,u),f(y,z,x)) = f(y,z,x). [para(378(a,1),7(a,2)),demod(8(2),7(3),8(4))]. given #30 (T,wt=17): 474 f(x,f(y,z,u),f(x,z,u)) = f(x,z,u). [para(7(a,1),378(a,1,2)),demod(7(2,R),8(2),7(4,R),8(4))]. given #31 (A,wt=24): 25 f(x,y,f(x,z,f(x,u,v))) = f(x,v,f(x,y,f(x,z,u))). [para(9(a,1),12(a,1,3)),demod(7(2,R),8(2),7(4,R),8(4))]. given #32 (F,wt=17): 475 f(x,f(y,x,z),f(y,z,u)) = f(y,x,z). [para(378(a,1),8(a,1)),flip(a)]. given #33 (F,wt=17): 510 f(x,f(y,z,x),f(y,z,u)) = f(y,z,x). [para(473(a,1),8(a,1)),flip(a)]. given #34 (T,wt=17): 530 f(x,y,f(z,x,u)) = f(x,u,f(z,x,y)). [para(314(a,2),473(a,2)),demod(7(2,R),8(2),7(4,R),8(4),473(5),7(3),7(3))]. given #35 (T,wt=17): 532 f(x,f(y,z,u),f(z,u,x)) = f(z,u,x). [para(474(a,1),7(a,2)),demod(7(2),7(2),7(3),7(4),7(4))]. given #36 (A,wt=24): 26 f(x,y,f(z,u,f(x,z,v))) = f(x,z,f(x,y,f(z,v,u))). [para(9(a,2),12(a,2,3)),flip(a)]. given #37 (F,wt=18): 345 f(x,y,f(z,u,f(x,y,z))) = f(x,y,z). [para(18(a,1),313(a,2,3)),demod(7(3,R),8(3),194(4),18(2),11(6))]. given #38 (F,wt=18): 347 f(x,y,f(x,z,f(z,y,u))) = f(x,z,y). [para(22(a,1),313(a,2,3)),demod(7(3,R),8(3),195(4),206(3),11(6))]. given #39 (T,wt=18): 362 f(x,y,f(z,u,f(x,z,y))) = f(x,z,y). [para(16(a,1),313(a,1)),demod(7(2),7(2),195(3),73(4),22(6),11(6))]. given #40 (T,wt=18): 382 f(x,y,f(z,x,f(z,y,u))) = f(z,x,y). [back_demod(266),demod(345(4)),flip(a)]. given #41 (A,wt=24): 30 f(x,f(y,z,u),f(y,u,f(x,y,z))) = f(x,y,f(y,z,u)). [para(9(a,2),18(a,1,3))]. given #42 (F,wt=18): 383 f(x,y,f(x,z,f(y,z,u))) = f(x,y,z). [back_demod(298),demod(7(1,R),8(1),7(2,R),8(2),7(5,R),8(5),382(6),8(4))]. given #43 (F,wt=18): 384 f(x,y,f(y,z,f(x,z,u))) = f(x,y,z). [back_demod(135),demod(7(1,R),8(1),7(2,R),8(2),7(5,R),8(5),382(6),8(4))]. given #44 (T,wt=18): 385 f(x,y,f(z,y,f(x,z,u))) = f(x,z,y). [back_demod(93),demod(8(1),345(3),7(3,R),8(3)),flip(a)]. given #45 (T,wt=18): 387 f(x,y,f(z,y,f(z,x,u))) = f(z,x,y). [back_demod(221),demod(7(2),386(3),7(2,R),8(2),7(3,R),8(3)),flip(a)]. given #46 (A,wt=24): 35 f(x,f(y,z,u),f(x,z,v)) = f(x,v,f(y,z,f(x,z,u))). [para(13(a,1),9(a,2,3)),demod(7(2),7(2),7(6,R),8(6))]. given #47 (F,wt=18): 430 f(x,y,f(x,z,f(y,u,z))) = f(x,y,z). [back_demod(389),demod(413(3))]. given #48 (F,wt=18): 550 f(x,y,f(x,z,f(z,u,y))) = f(x,z,y). [para(16(a,1),474(a,1)),demod(7(2,R),8(2),8(4),195(4),206(3),8(1),27(4),22(5))]. given #49 (T,wt=18): 705 f(x,y,f(z,u,f(z,x,y))) = f(z,x,y). [para(7(a,1),345(a,1)),demod(7(1),7(3),7(3),7(4))]. given #50 (T,wt=18): 706 f(x,y,f(z,u,f(x,y,u))) = f(x,y,u). [para(7(a,2),345(a,1,3)),demod(8(2))]. given #51 (A,wt=24): 36 f(x,y,f(z,u,f(y,u,v))) = f(y,u,f(x,y,f(z,u,v))). [para(9(a,1),13(a,1,3)),demod(7(1),7(6,R),8(6))]. given #52 (F,wt=18): 889 f(x,y,f(x,z,f(u,y,z))) = f(x,y,z). [para(474(a,1),384(a,2)),demod(8(5),867(7),8(2))]. given #53 (F,wt=18): 1150 f(x,y,f(z,u,f(x,u,y))) = f(x,u,y). [para(706(a,1),7(a,2)),demod(7(1),7(1),8(3),7(4),7(4))]. given #54 (T,wt=18): 1151 f(x,y,f(z,u,f(u,x,y))) = f(u,x,y). [para(7(a,1),706(a,1)),demod(7(1),7(3),7(3),7(4))]. given #55 (T,wt=20): 514 f(f(x,y,z),f(x,z,u),f(x,y,z)) = f(x,y,z). [para(18(a,1),473(a,1,3)),demod(18(6))]. given #56 (A,wt=24): 37 f(x,y,f(z,x,f(x,u,v))) = f(z,x,f(x,u,f(x,y,v))). [para(9(a,2),13(a,1,3)),demod(7(1,R),8(1),8(4),7(6,R),8(6)),flip(a)]. given #57 (F,wt=20): 515 f(f(x,y,z),f(x,y,u),f(x,y,z)) = f(x,y,z). [para(22(a,1),473(a,1,3)),demod(22(6))]. given #58 (F,wt=20): 524 f(f(x,y,z),f(y,z,u),f(x,y,z)) = f(x,y,z). [para(319(a,1),473(a,1,3)),demod(319(6))]. given #59 (T,wt=20): 1004 f(x,f(y,x,z),f(y,u,x)) = f(y,x,f(u,x,z)). [para(314(a,2),35(a,2)),demod(11(2),8(2)),flip(a)]. given #60 (T,wt=20): 1237 f(x,f(y,z,x),f(z,x,u)) = f(y,x,f(z,x,u)). [para(473(a,1),36(a,2,3)),demod(7(3),8(3),140(4),18(4),7(4),7(5,R)),flip(a)]. given #61 (A,wt=24): 38 f(x,y,f(z,u,f(z,x,v))) = f(z,x,f(x,y,f(z,u,v))). [para(9(a,1),13(a,2,3)),demod(7(1,R),8(1),7(2,R),8(2),8(4),7(5,R),8(5),7(6,R),8(6)),flip(a)]. given #62 (F,wt=20): 1248 f(x,f(y,z,x),f(u,z,x)) = f(y,x,f(u,z,x)). [para(532(a,1),36(a,2,3)),demod(7(3),8(3),1150(5),7(4),7(5,R)),flip(a)]. given #63 (F,wt=20): 1483 f(x,f(y,x,z),f(x,z,u)) = f(x,u,f(y,x,z)). [para(524(a,1),36(a,2,3)),demod(7(4),7(4),22(4),655(5),7(5,R)),flip(a)]. given #64 (T,wt=20): 1623 f(x,f(y,x,z),f(x,u,z)) = f(y,x,f(x,u,z)). [para(1248(a,1),7(a,1)),demod(7(1),7(3),8(4),7(5,R)),flip(a)]. given #65 (T,wt=20): 1624 f(x,f(y,x,z),f(u,y,x)) = f(x,z,f(u,y,x)). [para(7(a,1),1248(a,1)),demod(7(2),7(2),7(3,R),7(5,R),8(5))]. given #66 (A,wt=24): 39 f(x,y,f(y,z,f(y,u,v))) = f(y,z,f(y,v,f(x,y,u))). [para(9(a,2),13(a,2,3)),demod(7(2,R),8(2),7(6,R),8(6))]. given #67 (F,wt=21): 329 f(x,y,f(z,x,f(x,u,y))) = f(z,x,f(x,u,y)). [para(319(a,1),13(a,1,3)),demod(7(1),7(3),7(5,R),8(5)),flip(a)]. given #68 (F,wt=21): 359 f(x,y,f(x,f(x,y,z),f(u,y,z))) = f(x,y,z). [para(313(a,1),16(a,1)),demod(22(3),11(3)),flip(a)]. given #69 (T,wt=21): 379 f(x,f(y,x,z),f(u,z,f(y,x,z))) = f(y,x,z). [para(319(a,1),313(a,1,3)),demod(11(3)),flip(a)]. given #70 (T,wt=21): 422 f(x,f(y,x,z),f(y,u,f(y,x,z))) = f(y,x,z). [para(24(a,1),313(a,1)),demod(8(2),195(3),362(3),22(2)),flip(a)]. given #71 (A,wt=24): 40 f(x,y,f(z,u,f(y,z,v))) = f(y,z,f(x,y,f(z,u,v))). [para(12(a,1),13(a,1,3)),demod(7(1,R),8(1),7(6,R),8(6))]. given #72 (F,wt=20): 2051 f(x,f(y,x,z),f(u,x,z)) = f(y,x,f(u,x,z)). [para(532(a,1),40(a,2,3)),demod(7(3),8(3),362(5),7(4),7(5,R)),flip(a)]. given #73 (F,wt=21): 466 f(x,f(y,x,z),f(z,u,f(y,x,z))) = f(y,x,z). [para(319(a,1),314(a,1,3)),demod(7(3,R),11(3),8(4)),flip(a)]. given #74 (T,wt=21): 739 f(x,y,f(z,f(x,y,z),f(x,z,u))) = f(x,y,z). [para(345(a,1),26(a,2,3)),demod(18(6))]. given #75 (T,wt=21): 1181 f(x,y,f(x,z,f(u,x,y))) = f(u,x,f(x,y,z)). [para(9(a,2),36(a,2,3)),demod(22(2)),flip(a)]. given #76 (A,wt=24): 41 f(x,f(y,z,u),f(y,z,f(x,z,u))) = f(x,z,f(y,z,u)). [para(13(a,1),18(a,1,3))]. given #77 (F,wt=21): 1264 f(x,f(y,z,x),f(u,y,f(y,z,x))) = f(y,z,x). [para(30(a,1),36(a,2,3)),demod(7(4,R),532(4),18(3),11(3),7(5,R),8(5)),flip(a)]. given #78 (F,wt=21): 1409 f(x,y,f(z,f(y,z,u),f(x,z,v))) = f(x,y,z). [back_demod(612),demod(7(1,R),8(1),8(5))]. given #79 (T,wt=21): 1675 f(x,f(y,z,x),f(z,u,f(y,z,x))) = f(y,z,x). [para(1483(a,1),382(a,1,3)),demod(7(4,R),8(4),8(6),319(6))]. given #80 (T,wt=21): 1683 f(x,f(y,z,x),f(y,u,f(y,z,x))) = f(y,z,x). [para(1483(a,1),36(a,2,3)),demod(7(1,R),8(1),7(2,R),8(2),7(3),7(3),550(5),18(2),7(2,R),8(2),7(3,R),8(3),7(5,R),8(5)),flip(a)]. given #81 (A,wt=24): 43 f(x,y,f(y,z,f(y,u,v))) = f(y,z,f(y,u,f(x,y,v))). [para(13(a,1),13(a,2,3)),demod(7(1,R),8(1),7(2,R),8(2),7(5,R),8(5),7(6,R),8(6))]. given #82 (F,wt=17): 2523 f(x,f(y,z,x),f(u,y,z)) = f(y,z,x). [para(359(a,1),1683(a,1,3)),demod(7(2),7(2),7(5),7(5),8(6),565(6),6(4),7(2),7(2)),flip(a)]. given #83 (F,wt=17): 2591 f(x,f(x,y,z),f(u,y,z)) = f(x,y,z). [para(2523(a,1),18(a,1,3)),demod(7(2),958(3),889(3),7(2)),flip(a)]. given #84 (T,wt=21): 2394 f(x,y,f(z,f(x,z,u),f(z,y,v))) = f(x,z,y). [para(1409(a,1),7(a,2)),demod(7(2,R),8(2),8(4),7(5),7(5))]. given #85 (T,wt=17): 2651 f(x,y,f(z,u,x)) = f(u,x,f(z,x,y)). [para(314(a,2),2394(a,2)),demod(8(4),2630(6)),flip(a)]. given #86 (A,wt=24): 45 f(x,f(y,z,u),f(x,v,y)) = f(x,v,f(y,z,f(x,y,u))). [para(9(a,2),14(a,1,3)),demod(8(4),8(5)),flip(a)]. given #87 (F,wt=17): 2701 f(x,y,f(z,u,y)) = f(u,y,f(x,z,y)). [para(2651(a,1),7(a,2)),demod(8(2),7(3))]. given #88 (F,wt=17): 3029 f(x,y,f(z,u,y)) = f(u,y,f(z,x,y)). [para(2701(a,1),2394(a,2)),demod(8(4),2648(6))]. given #89 (T,wt=21): 2396 f(x,y,f(z,f(x,z,u),f(y,z,v))) = f(x,y,z). [para(8(a,1),1409(a,1,3))]. given #90 (T,wt=21): 2991 f(x,f(y,x,z),f(u,y,f(y,x,z))) = f(y,x,z). [para(22(a,1),2701(a,1,3)),demod(11(3)),flip(a)]. given #91 (A,wt=24): 47 f(x,y,f(x,z,f(x,u,v))) = f(x,u,f(x,y,f(x,v,z))). [para(14(a,1),12(a,2,3)),demod(8(4)),flip(a)]. given #92 (F,wt=21): 3000 f(x,f(y,z,x),f(u,z,f(y,z,x))) = f(y,z,x). [para(319(a,1),2701(a,1,3)),demod(11(3)),flip(a)]. given #93 (F,wt=21): 3018 f(x,y,f(y,f(x,y,z),f(u,x,z))) = f(x,y,z). [para(2701(a,1),38(a,1)),demod(7(3,R),8(3),22(3),11(3),7(3,R),8(3)),flip(a)]. given #94 (T,wt=18): 3136 f(x,y,f(y,z,f(x,u,z))) = f(x,y,z). [para(8(a,1),3018(a,1,3)),demod(7(1,R),8(1),33(4),8(2))]. given #95 (T,wt=21): 3135 f(x,y,f(y,f(x,y,z),f(x,u,z))) = f(x,y,z). [para(7(a,1),3018(a,1,3)),demod(7(1,R),8(1),7(3,R))]. given #96 (A,wt=24): 50 f(x,y,f(z,u,f(z,x,v))) = f(z,x,f(x,y,f(z,v,u))). [para(14(a,1),13(a,2,3)),demod(7(2,R),8(2),8(4),7(6,R),8(6)),flip(a)]. given #97 (F,wt=22): 479 f(x,y,f(x,z,f(y,u,f(y,z,v)))) = f(x,y,z). [para(9(a,2),378(a,1,2)),demod(7(1,R),8(1),7(3),7(3),413(4),7(5),7(5))]. given #98 (F,wt=22): 485 f(x,y,f(x,z,f(y,u,f(y,v,z)))) = f(x,y,z). [para(14(a,1),378(a,1,2)),demod(7(3,R),8(3),413(4),7(5,R),8(5))]. given #99 (T,wt=22): 614 f(x,y,f(z,u,f(x,z,f(y,z,v)))) = f(x,y,z). [para(9(a,2),475(a,1,3)),demod(7(1,R),8(1),194(4),7(5,R),8(5))]. given #100 (T,wt=22): 743 f(x,y,f(x,z,f(z,u,f(y,z,v)))) = f(x,y,z). [para(9(a,1),347(a,1,3,3)),demod(7(1),7(2,R),8(2),8(5))]. given #101 (A,wt=24): 51 f(x,f(y,z,u),f(x,v,z)) = f(x,v,f(y,z,f(x,z,u))). [para(13(a,1),14(a,1,3)),demod(8(5)),flip(a)]. given #102 (F,wt=21): 3455 f(x,f(y,z,f(u,y,v)),f(x,u,y)) = f(x,u,y). [para(743(a,1),14(a,1)),demod(8(4)),flip(a)]. given #103 (F,wt=21): 3699 f(x,f(y,z,f(y,u,v)),f(y,u,x)) = f(y,u,x). [para(3455(a,1),7(a,2)),demod(7(1,R),8(1),7(3),8(3),7(4),7(5),8(5))]. given #104 (T,wt=21): 3700 f(x,f(y,z,f(u,z,v)),f(x,u,z)) = f(x,u,z). [para(7(a,2),3455(a,1,2)),demod(8(2))]. given #105 (T,wt=21): 3825 f(x,f(y,z,x),f(y,u,f(y,z,v))) = f(y,z,x). [para(3699(a,1),8(a,1)),flip(a)]. given #106 (A,wt=24): 54 f(x,f(y,z,u),f(y,z,f(x,y,u))) = f(x,y,f(y,z,u)). [para(23(a,2),18(a,1,3))]. given #107 (F,wt=21): 3922 f(x,f(y,z,f(z,u,v)),f(z,u,x)) = f(z,u,x). [para(3700(a,1),7(a,2)),demod(7(1,R),8(1),7(3),8(3),7(4),7(5),8(5))]. given #108 (F,wt=22): 790 f(x,y,f(y,z,f(x,u,f(x,z,v)))) = f(x,y,z). [para(16(a,2),382(a,1,3)),demod(7(1,R),8(1),7(2,R),8(2),7(3,R),8(3),7(5),7(5))]. given #109 (T,wt=21): 4206 f(x,f(y,z,f(y,u,v)),f(y,x,u)) = f(y,x,u). [para(790(a,1),1409(a,2)),demod(8(7),8(11),2402(13))]. given #110 (T,wt=21): 4218 f(x,f(y,x,z),f(y,u,f(y,z,v))) = f(y,x,z). [para(4206(a,1),8(a,1)),flip(a)]. given #111 (A,wt=33): 55 f(x,f(x,y,z),f(u,f(x,y,z),f(x,z,v))) = f(u,f(x,y,z),f(x,v,f(x,y,z))). [para(28(a,1),9(a,1,3)),demod(7(4,R),8(4),7(8)),flip(a)]. given #112 (F,wt=22): 791 f(x,y,f(y,z,f(z,u,f(x,z,v)))) = f(x,y,z). [para(17(a,2),382(a,1,3)),demod(7(1,R),8(1),7(3,R),8(3),7(5),7(5))]. given #113 (F,wt=21): 4451 f(x,f(y,z,f(u,y,v)),f(u,x,y)) = f(u,x,y). [para(791(a,1),1409(a,2)),demod(8(7),8(11),2402(13))]. given #114 (T,wt=21): 4464 f(x,f(y,x,z),f(z,u,f(y,z,v))) = f(y,x,z). [para(4451(a,1),8(a,1)),flip(a)]. given #115 (T,wt=22): 912 f(x,y,f(z,u,f(y,z,f(x,z,v)))) = f(x,y,z). [para(17(a,1),387(a,1,3)),demod(7(1,R),8(1),7(2,R),8(2),7(5),7(5))]. given #116 (A,wt=24): 60 f(x,y,f(x,z,f(x,u,v))) = f(x,y,f(x,u,f(x,z,v))). [para(9(a,1),28(a,2,3)),demod(7(1,R),8(1),7(3,R),8(3),8(4),49(5),8(4),7(5,R),8(5))]. given #117 (F,wt=22): 1091 f(x,y,f(x,z,f(u,y,f(y,z,v)))) = f(x,y,z). [back_demod(483),demod(958(4))]. given #118 (F,wt=22): 1092 f(x,y,f(x,z,f(u,y,f(y,v,z)))) = f(x,y,z). [back_demod(477),demod(958(4))]. given #119 (T,wt=22): 1195 f(x,y,f(z,u,f(x,u,f(y,u,v)))) = f(x,y,u). [para(36(a,1),16(a,2,3)),demod(385(8))]. given #120 (T,wt=22): 1199 f(x,y,f(z,u,f(y,u,f(x,u,v)))) = f(x,y,u). [para(16(a,1),36(a,2,3)),demod(387(8))]. given #121 (A,wt=24): 61 f(x,y,f(z,u,f(x,z,v))) = f(x,y,f(x,z,f(z,v,u))). [para(9(a,2),28(a,2,3)),demod(8(4),49(5)),flip(a)]. given #122 (F,wt=18): 4970 f(x,y,f(x,z,f(u,z,y))) = f(x,z,y). [para(2701(a,1),61(a,1)),demod(22(3),11(3),7(3),63(5),27(5)),flip(a)]. given #123 (F,wt=22): 1201 f(x,y,f(z,y,f(x,u,f(z,x,v)))) = f(z,x,y). [para(16(a,2),36(a,2,3)),demod(7(1,R),8(1),383(4),7(3,R),8(3)),flip(a)]. given #124 (T,wt=22): 1214 f(x,y,f(z,u,f(z,x,f(z,y,v)))) = f(z,x,y). [para(17(a,1),36(a,2,3)),demod(383(4)),flip(a)]. given #125 (T,wt=22): 1216 f(x,y,f(z,y,f(z,u,f(z,x,v)))) = f(z,x,y). [para(17(a,2),36(a,2,3)),demod(383(4)),flip(a)]. given #126 (A,wt=24): 63 f(x,f(x,y,z),f(x,u,v)) = f(x,y,f(x,z,f(x,u,v))). [para(28(a,1),12(a,2,3)),demod(57(4))]. given #127 (F,wt=22): 1342 f(x,y,f(z,u,f(x,z,f(z,y,v)))) = f(x,z,y). [para(37(a,2),16(a,2,3)),demod(384(4)),flip(a)]. given #128 (F,wt=22): 1576 f(x,y,f(z,y,f(x,u,f(x,z,v)))) = f(x,z,y). [para(38(a,2),16(a,2,3)),demod(384(4)),flip(a)]. given #129 (T,wt=22): 1766 f(x,y,f(z,y,f(z,u,f(x,z,v)))) = f(x,z,y). [para(39(a,1),16(a,2,3)),demod(384(4)),flip(a)]. given #130 (T,wt=22): 2395 f(x,y,f(z,x,f(z,u,f(z,y,v)))) = f(z,x,y). [para(7(a,1),1409(a,1)),demod(7(1,R),8(1),7(2,R),8(2),63(3),7(4),8(4),7(5),8(5))]. given #131 (A,wt=28): 64 f(x,y,f(x,z,f(x,u,f(x,y,v)))) = f(x,u,f(x,z,f(x,y,v))). [para(12(a,1),28(a,1,2)),demod(8(4),63(5),63(4),31(3))]. given #132 (F,wt=22): 2420 f(x,y,f(x,z,f(y,u,f(z,y,v)))) = f(x,z,y). [para(1409(a,1),24(a,1)),demod(8(3)),flip(a)]. given #133 (F,wt=22): 2668 f(x,y,f(z,x,f(y,u,f(z,y,v)))) = f(z,x,y). [para(2394(a,1),384(a,2)),demod(7(2,R),8(2),7(5,R),8(5),8(7),2061(9),8(2),8(5))]. given #134 (T,wt=22): 3262 f(x,y,f(x,z,f(z,u,f(z,y,v)))) = f(x,z,y). [para(479(a,1),12(a,1)),flip(a)]. given #135 (T,wt=22): 3373 f(x,y,f(z,u,f(z,y,f(x,z,v)))) = f(x,z,y). [para(614(a,1),7(a,2)),demod(7(2,R),8(2),8(4),7(5),7(5))]. given #136 (A,wt=24): 66 f(x,y,f(z,u,f(x,z,v))) = f(x,y,f(x,z,f(z,u,v))). [para(13(a,1),28(a,2,3)),demod(7(1,R),8(1),7(3,R),8(3),8(4),49(5),7(5,R),8(5)),flip(a)]. given #137 (F,wt=22): 3395 f(x,y,f(z,u,f(z,v,f(x,y,z)))) = f(x,y,z). [para(314(a,2),614(a,1,3,3))]. given #138 (F,wt=21): 5710 f(x,y,f(z,f(x,y,z),f(z,u,v))) = f(x,y,z). [para(14(a,1),3395(a,1,3))]. given #139 (T,wt=21): 5810 f(x,y,f(z,f(x,z,y),f(z,u,v))) = f(x,z,y). [para(5710(a,1),7(a,2)),demod(7(1),7(1),8(4),7(5),7(5))]. given #140 (T,wt=22): 3925 f(x,y,f(x,z,f(u,z,f(y,z,v)))) = f(x,y,z). [para(3700(a,1),12(a,2)),demod(8(3))]. given #141 (A,wt=24): 68 f(x,y,f(x,z,f(x,u,v))) = f(x,y,f(x,v,f(x,z,u))). [para(14(a,1),28(a,2,3)),demod(8(4),49(5),8(4))]. given #142 (F,wt=22): 3950 f(x,y,f(z,u,f(x,u,f(u,y,v)))) = f(x,u,y). [para(3700(a,1),430(a,2)),demod(7(1,R),8(1),8(3),7(4,R),8(4),8(6),7(7,R),3522(9),8(5))]. given #143 (F,wt=22): 4155 f(x,y,f(x,z,f(u,y,f(z,y,v)))) = f(x,z,y). [para(3922(a,1),1624(a,2)),demod(7(1,R),8(1),7(3,R),8(3),7(4),8(4),8(5),63(5),27(5),7(5),8(5))]. given #144 (T,wt=21): 6108 f(x,y,f(y,z,f(u,x,y))) = f(y,z,f(u,x,y)). [para(532(a,1),4155(a,1,3)),demod(7(2),7(2),7(4),7(4),7(6,R),8(6),319(6),7(5),7(5),7(7),8(7),18(7))]. given #145 (T,wt=22): 4221 f(x,y,f(z,u,f(x,z,f(z,v,y)))) = f(x,z,y). [para(18(a,1),4206(a,1,3)),demod(7(1),8(2),7(4),8(5),195(5),1396(4),33(3),7(5),7(6,R),8(6),22(6))]. given #146 (A,wt=28): 70 f(x,y,f(x,z,f(x,u,f(x,v,y)))) = f(x,z,f(x,u,f(x,v,y))). [para(28(a,1),28(a,1,3)),demod(49(5),63(7)),flip(a)]. given #147 (F,wt=22): 4236 f(x,y,f(z,u,f(z,v,f(x,z,y)))) = f(x,z,y). [para(345(a,1),4206(a,1,3)),demod(7(1,R),8(1),8(3),7(5,R),8(5),8(6),195(6),1396(5),712(4),7(5,R),8(5),7(7,R),8(7),345(7))]. given #148 (F,wt=22): 4721 f(x,y,f(z,u,f(u,y,f(x,u,v)))) = f(x,u,y). [para(1195(a,1),7(a,2)),demod(7(2,R),8(2),8(4),7(5),7(5))]. given #149 (T,wt=22): 4722 f(x,y,f(z,u,f(u,x,f(u,y,v)))) = f(u,x,y). [para(7(a,1),1195(a,1)),demod(7(1,R),8(1),7(2,R),8(2),7(4),7(4),7(5))]. given #150 (T,wt=22): 4737 f(x,y,f(z,u,f(u,v,f(x,y,u)))) = f(x,y,u). [para(314(a,2),1195(a,1,3,3))]. given #151 (A,wt=24): 71 f(x,y,f(x,z,f(x,u,v))) = f(x,v,f(x,z,f(x,y,u))). [back_demod(52),demod(63(3))]. given #152 (F,wt=22): 4809 f(x,y,f(z,x,f(u,y,f(z,y,v)))) = f(z,x,y). [para(1199(a,1),1409(a,2)),demod(8(7),8(11),2450(13))]. given #153 (F,wt=22): 4810 f(x,y,f(z,y,f(u,x,f(z,x,v)))) = f(z,x,y). [para(1199(a,1),2394(a,2)),demod(7(2,R),8(2),7(6,R),8(6),8(8),2672(10),8(5))]. given #154 (T,wt=22): 5427 f(x,y,f(z,u,f(z,v,f(z,x,y)))) = f(z,x,y). [para(2395(a,1),1237(a,1)),demod(7(1),7(1),22(2),7(2),7(2),8(3),64(5),7(5,R),8(5)),flip(a)]. given #155 (T,wt=22): 5485 f(x,y,f(z,u,f(z,y,f(z,x,v)))) = f(z,x,y). [para(64(a,1),36(a,2,3)),demod(1576(4),22(2)),flip(a)]. given #156 (A,wt=24): 72 f(x,y,f(x,z,f(x,u,v))) = f(x,u,f(x,z,f(x,y,v))). [back_demod(44),demod(63(3))]. given #157 (F,wt=22): 5998 f(x,y,f(x,z,f(u,z,f(z,y,v)))) = f(x,z,y). [para(3925(a,1),31(a,1,3)),demod(7(1,R),8(1),8(3),958(4),1091(4),7(2,R),8(2)),flip(a)]. given #158 (F,wt=22): 6148 f(x,y,f(y,z,f(u,z,f(x,z,v)))) = f(x,y,z). [para(3922(a,1),6108(a,2)),demod(7(1,R),8(1),7(3),7(3),33(5),8(3),7(5),7(5))]. given #159 (T,wt=22): 6161 f(x,y,f(z,u,f(z,x,f(z,v,y)))) = f(z,x,y). [para(7(a,1),4221(a,1)),demod(7(2,R),8(2),7(4),7(4),7(5,R),8(5))]. given #160 (T,wt=22): 6164 f(x,y,f(x,z,f(z,u,f(z,v,y)))) = f(x,z,y). [para(4221(a,1),18(a,1,3)),demod(8(5),195(5),206(4),8(2),4221(8))]. given #161 (A,wt=28): 73 f(x,y,f(x,z,f(y,u,f(x,y,v)))) = f(x,z,f(y,u,f(x,y,v))). [para(27(a,1),9(a,1,3)),demod(7(1,R),8(1),7(4,R),8(4),8(6),7(7,R),8(7)),flip(a)]. given #162 (F,wt=22): 6355 f(x,y,f(z,u,f(u,v,f(x,u,y)))) = f(x,u,y). [para(4737(a,1),7(a,2)),demod(7(1),7(1),8(4),7(5),7(5))]. given #163 (F,wt=22): 6356 f(x,y,f(z,u,f(u,v,f(u,x,y)))) = f(u,x,y). [para(7(a,1),4737(a,1)),demod(7(1),7(4),7(4),7(5))]. given #164 (T,wt=22): 6359 f(x,y,f(z,u,f(x,u,f(u,v,y)))) = f(x,u,y). [para(4737(a,1),18(a,1,3)),demod(8(1),8(4),8(5),5023(5),33(3),8(5),6355(8))]. given #165 (T,wt=22): 6854 f(x,y,f(z,u,f(u,x,f(u,v,y)))) = f(u,x,y). [para(7(a,1),6359(a,1)),demod(7(2,R),8(2),7(4),7(4),7(5,R),8(5))]. given #166 (A,wt=24): 74 f(x,y,f(x,z,f(x,u,v))) = f(x,v,f(x,y,f(x,u,z))). [para(27(a,1),9(a,2,3)),demod(7(3),7(3),63(4),63(3),27(3),7(6,R),8(6))]. given #167 (F,wt=24): 79 f(x,y,f(z,u,f(x,u,v))) = f(x,y,f(x,u,f(z,u,v))). [para(13(a,1),31(a,2,3)),demod(31(5)),flip(a)]. given #168 (F,wt=24): 80 f(x,y,f(x,z,f(x,u,v))) = f(x,y,f(x,v,f(x,u,z))). [para(14(a,1),31(a,2,3)),demod(31(5))]. given #169 (T,wt=24): 82 f(x,y,f(z,u,f(u,y,v))) = f(u,y,f(x,y,f(z,u,v))). [para(16(a,1),7(a,2)),demod(7(1,R),8(1),8(3),7(5,R),8(5),7(6,R),8(6))]. given #170 (T,wt=18): 7057 f(x,y,f(y,z,f(u,x,z))) = f(x,y,z). [para(314(a,1),82(a,1)),demod(8(3),22(3),11(3),7(4,R),33(5),8(3)),flip(a)]. given #171 (A,wt=28): 75 f(x,y,f(z,x,f(y,u,f(x,y,v)))) = f(z,x,f(y,u,f(x,y,v))). [para(27(a,1),13(a,1,3)),demod(7(1,R),8(1),7(4,R),8(4),7(7,R),8(7)),flip(a)]. given #172 (F,wt=24): 83 f(x,y,f(z,u,f(u,x,v))) = f(u,x,f(x,y,f(z,u,v))). [para(7(a,1),16(a,1)),demod(7(1,R),8(1),7(3),7(3),7(6,R),8(6))]. given #173 (F,wt=24): 125 f(x,y,f(y,z,f(y,u,v))) = f(x,y,f(y,u,f(y,z,v))). [para(9(a,1),33(a,2,3)),demod(7(1,R),8(1),33(4),8(4),7(5,R),8(5))]. given #174 (T,wt=24): 126 f(x,y,f(z,u,f(y,z,v))) = f(x,y,f(y,z,f(z,v,u))). [para(9(a,2),33(a,2,3)),demod(33(4)),flip(a)]. given #175 (T,wt=24): 129 f(x,y,f(z,u,f(y,z,v))) = f(x,y,f(y,z,f(z,u,v))). [para(13(a,1),33(a,2,3)),demod(7(1,R),8(1),33(4),7(5,R),8(5)),flip(a)]. given #176 (A,wt=28): 76 f(x,y,f(y,z,f(x,u,f(x,y,v)))) = f(y,z,f(x,u,f(x,y,v))). [para(27(a,1),13(a,2,3)),demod(7(3,R),8(3),7(7,R),8(7))]. given #177 (F,wt=24): 131 f(x,y,f(y,z,f(y,u,v))) = f(x,y,f(y,v,f(y,z,u))). [para(14(a,1),33(a,2,3)),demod(33(4),8(4))]. given #178 (F,wt=24): 143 f(x,y,f(z,u,f(z,x,v))) = f(x,y,f(z,x,f(z,u,v))). [para(9(a,1),140(a,1,3,3)),demod(8(1),7(2,R),8(2),7(3,R),8(3),76(4),7(4,R),8(4),7(6,R),8(6))]. given #179 (T,wt=24): 163 f(x,y,f(x,z,f(x,u,v))) = f(x,u,f(x,v,f(x,y,z))). [para(14(a,1),17(a,2,3)),demod(8(4))]. given #180 (T,wt=24): 191 f(x,f(y,z,u),f(y,x,v)) = f(x,v,f(y,u,f(y,z,x))). [para(20(a,1),7(a,2)),demod(7(2,R),8(2),7(3),7(4),7(4))]. given #181 (A,wt=31): 77 f(x,f(y,z,u),f(x,v,f(y,u,f(x,y,z)))) = f(x,v,f(x,y,f(y,z,u))). [para(9(a,2),31(a,1,3,3))]. given #182 (F,wt=20): 7824 f(f(x,y,z),f(y,u,v),f(x,y,z)) = f(x,y,z). [para(475(a,1),191(a,1,3)),demod(6620(10))]. given #183 (F,wt=20): 7829 f(f(x,y,z),f(z,u,v),f(x,y,z)) = f(x,y,z). [para(510(a,1),191(a,1,3)),demod(6621(10))]. given #184 (T,wt=20): 8117 f(f(x,y,z),f(x,u,v),f(x,y,z)) = f(x,y,z). [para(7(a,2),7824(a,1,1)),demod(7(3),7(3),7(5),7(5))]. given #185 (T,wt=24): 192 f(x,f(y,z,u),f(v,y,x)) = f(v,x,f(y,z,f(y,x,u))). [para(20(a,2),7(a,2)),demod(7(1,R),8(1),8(3),8(4),7(5),8(5)),flip(a)]. given #186 (A,wt=31): 78 f(x,f(y,z,u),f(x,v,f(y,z,f(x,z,u)))) = f(x,v,f(x,z,f(y,z,u))). [para(13(a,1),31(a,1,3,3))]. given #187 (F,wt=17): 8422 f(x,f(y,z,u),f(z,x,u)) = f(z,x,u). [para(192(a,2),6108(a,2)),demod(7(4,R),8(4),7(5,R),8(5),3942(5),1151(4),11(3),7(2,R),8(2),7(4),7(4),22(4)),flip(a)]. given #188 (F,wt=18): 8459 f(x,y,f(z,x,f(z,u,y))) = f(z,x,y). [back_demod(5169),demod(8414(8))]. given #189 (T,wt=22): 8530 f(x,y,f(x,z,f(u,z,f(z,v,y)))) = f(x,z,y). [para(6359(a,1),78(a,1,3)),demod(958(4),1092(4)),flip(a)]. given #190 (T,wt=24): 193 f(x,f(y,z,u),f(x,u,v)) = f(x,v,f(z,u,f(x,y,u))). [para(7(a,2),20(a,1,2)),demod(8(4),7(5,R),8(5))]. given #191 (A,wt=31): 81 f(x,f(y,z,u),f(x,v,f(y,z,f(x,y,u)))) = f(x,v,f(x,y,f(y,z,u))). [para(23(a,2),31(a,1,3,3))]. given #192 (F,wt=17): 8578 f(x,f(y,z,u),f(y,x,u)) = f(y,x,u). [para(193(a,2),9(a,2)),demod(7(2,R),8(2),413(3),430(3),7(2,R),8(2),7(3)),flip(a)]. given #193 (F,wt=17): 8846 f(x,f(y,z,u),f(y,u,x)) = f(y,u,x). [para(8578(a,1),7(a,2)),demod(8(2),7(3),8(4))]. given #194 (T,wt=18): 8714 f(x,y,f(z,y,f(z,u,x))) = f(z,x,y). [para(50(a,2),193(a,2)),demod(8(2),958(3),889(3),8(2)),flip(a)]. given #195 (T,wt=20): 8626 f(x,f(y,z,x),f(y,u,x)) = f(y,x,f(z,u,x)). [para(314(a,2),193(a,2)),demod(11(2),8(2)),flip(a)]. given #196 (A,wt=31): 84 f(x,y,f(z,u,f(x,z,f(u,v,w)))) = f(x,z,f(x,y,f(u,v,f(z,u,w)))). [para(16(a,1),9(a,1,3)),demod(7(1,R),8(1),7(2,R),8(2),7(6,R),8(6),8(7),7(8,R),8(8))]. given #197 (F,wt=20): 8937 f(x,f(y,z,x),f(z,u,x)) = f(y,x,f(z,u,x)). [para(8846(a,1),36(a,2,3)),demod(7(3),8(3),8585(4),7(2,R),8(2),343(4),7(4),7(5,R)),flip(a)]. given #198 (F,wt=20): 8941 f(x,f(y,z,x),f(u,y,x)) = f(u,x,f(y,z,x)). [para(8846(a,1),82(a,2,3)),demod(7(3),8585(4),7(2,R),8(2),343(4),7(4)),flip(a)]. given #199 (T,wt=20): 9037 f(x,f(y,z,x),f(y,x,u)) = f(y,x,f(z,x,u)). [para(8626(a,1),7(a,2)),demod(8(2),7(3),8(4))]. given #200 (T,wt=21): 8585 f(x,y,f(z,y,f(x,u,y))) = f(x,y,f(u,z,y)). [para(11(a,1),193(a,1,3)),demod(8(2)),flip(a)]. given #201 (A,wt=31): 85 f(x,y,f(z,u,f(x,v,f(x,z,w)))) = f(x,z,f(x,y,f(z,u,f(x,v,w)))). [para(16(a,2),9(a,1,3)),demod(7(1,R),8(1),7(2,R),8(2),7(5,R),8(5),8(7),7(8,R),8(8))]. given #202 (F,wt=21): 8940 f(x,y,f(y,z,f(x,u,y))) = f(y,z,f(x,u,y)). [para(8846(a,1),4155(a,1,3)),demod(7(2),7(2),7(4),7(4),7(6,R),8(6),319(6),7(5),7(5),7(7),8(7),18(7))]. given #203 (F,wt=24): 194 f(x,f(x,y,z),f(z,u,v)) = f(x,y,f(z,u,f(x,z,v))). [para(20(a,1),8(a,1)),demod(8(4),8(5)),flip(a)]. given #204 (T,wt=24): 195 f(x,f(x,y,z),f(y,u,v)) = f(x,z,f(y,v,f(x,y,u))). [para(20(a,1),8(a,2))]. given #205 (T,wt=18): 9404 f(x,y,f(z,y,f(u,x,z))) = f(x,z,y). [para(2701(a,1),195(a,1)),demod(22(3),11(3),7(3),1624(4)),flip(a)]. given #206 (A,wt=31): 89 f(x,y,f(z,u,f(x,v,f(x,u,w)))) = f(x,u,f(x,y,f(z,u,f(x,v,w)))). [para(9(a,1),16(a,1,3,3)),demod(8(1),7(2,R),8(2),7(5,R),8(5))]. given #207 (F,wt=24): 215 f(x,f(y,z,u),f(x,v,y)) = f(x,v,f(y,u,f(x,y,z))). [para(20(a,2),22(a,1,3)),demod(8(2),27(4))]. given #208 (F,wt=24): 343 f(x,f(y,z,u),f(y,u,f(x,z,u))) = f(x,u,f(y,z,u)). [para(313(a,1),18(a,1,3))]. given #209 (T,wt=24): 356 f(x,y,f(z,u,f(x,v,u))) = f(x,y,f(x,u,f(z,v,u))). [para(313(a,1),31(a,2,3)),demod(31(5)),flip(a)]. given #210 (T,wt=24): 388 f(x,y,f(x,f(z,y,u),f(x,v,z))) = f(x,v,f(x,z,y)). [back_demod(248),demod(387(3)),flip(a)]. given #211 (A,wt=31): 90 f(x,y,f(z,u,f(u,v,f(x,u,w)))) = f(x,u,f(x,y,f(z,u,f(u,v,w)))). [para(9(a,2),16(a,1,3,3)),demod(8(5))]. given #212 (F,wt=21): 9665 f(x,f(y,z,f(u,v,y)),f(x,u,y)) = f(x,u,y). [para(430(a,1),388(a,2)),demod(8(3),6252(6))]. given #213 (F,wt=21): 9673 f(x,f(y,z,f(u,v,y)),f(x,v,y)) = f(x,v,y). [para(889(a,1),388(a,2)),demod(8(3),538(6))]. given #214 (T,wt=21): 9874 f(x,f(y,z,f(u,v,z)),f(x,u,z)) = f(x,u,z). [para(7(a,2),9665(a,1,2)),demod(8(2))]. given #215 (T,wt=21): 9893 f(x,f(y,z,f(y,u,v)),f(y,v,x)) = f(y,v,x). [para(9673(a,1),7(a,2)),demod(7(1),7(3),8(3),7(4),7(5),8(5))]. given #216 (A,wt=31): 91 f(x,y,f(z,u,f(x,u,f(z,v,w)))) = f(x,u,f(x,y,f(z,v,f(z,u,w)))). [para(9(a,1),16(a,2,3,3)),demod(7(1,R),8(1),8(5),7(6,R),8(6))]. given #217 (F,wt=20): 9967 f(f(x,y,z),f(u,v,w),f(x,y,z)) = f(x,y,z). [para(192(a,1),91(a,2,3)),demod(8(4),7(5,R),378(5),22(4),8(8),7(11,R),8(11),9237(11),8(9),63(10),27(10),387(10))]. given #218 (F,wt=21): 9894 f(x,f(y,z,f(u,v,z)),f(x,v,z)) = f(x,v,z). [para(7(a,2),9673(a,1,2)),demod(8(2))]. given #219 (T,wt=21): 10092 f(x,f(y,z,f(z,u,v)),f(z,v,x)) = f(z,v,x). [para(9894(a,1),7(a,2)),demod(7(1),7(3),8(3),7(4),7(5),8(5))]. given #220 (T,wt=22): 9729 f(x,y,f(x,z,f(y,u,f(v,y,z)))) = f(x,y,z). [para(4970(a,1),388(a,2)),demod(8(3),8(4),413(5),958(6),8(5),8588(5),8(4),8832(5))]. given #221 (A,wt=31): 92 f(x,y,f(z,u,f(x,u,f(u,v,w)))) = f(x,u,f(x,y,f(u,w,f(z,u,v)))). [para(9(a,2),16(a,2,3,3))]. given #222 (F,wt=22): 9920 f(x,y,f(z,u,f(z,y,f(z,v,x)))) = f(z,x,y). [para(9673(a,1),1216(a,2)),demod(7(1),7(3),8(3),7(4),8(4),7(5),8(7),8414(10),8(2),7(5),8(5))]. given #223 (F,wt=22): 9952 f(x,y,f(y,z,f(x,u,f(x,v,z)))) = f(x,y,z). [para(9893(a,1),8940(a,2)),demod(8(3),33(5),8(3),8(5))]. given #224 (T,wt=24): 390 f(x,y,f(z,u,f(z,y,v))) = f(z,y,f(x,y,f(z,u,v))). [para(24(a,1),7(a,2)),demod(7(1,R),8(1),8(3),7(5,R),8(5),7(6,R),8(6))]. given #225 (T,wt=24): 392 f(x,f(y,z,u),f(y,z,f(y,x,u))) = f(y,z,f(y,x,u)). [para(11(a,1),24(a,1)),demod(7(1,R),8(1),7(3,R),8(3),8(6),7(7,R),8(7),76(7)),flip(a)]. given #226 (A,wt=31): 95 f(x,y,f(x,z,f(u,v,f(x,u,w)))) = f(x,z,f(x,u,f(x,y,f(u,v,w)))). [para(16(a,1),12(a,1,3)),demod(7(1,R),8(1),7(6,R),8(6)),flip(a)]. given #227 (F,wt=17): 10315 f(x,f(y,z,u),f(x,y,z)) = f(x,y,z). [para(392(a,1),16(a,2,3)),demod(7(2,R),8(2),387(4),7(4,R),8(4),385(6))]. given #228 (F,wt=17): 10440 f(x,f(y,z,u),f(x,z,u)) = f(x,z,u). [para(7(a,1),10315(a,1,2))]. given #229 (T,wt=17): 10441 f(x,f(y,z,u),f(x,y,u)) = f(x,y,u). [para(7(a,2),10315(a,1,2)),demod(8(2),8(4))]. given #230 (T,wt=18): 10329 f(x,y,f(z,x,f(u,z,y))) = f(z,x,y). [para(392(a,1),36(a,2,3)),demod(7(3,R),8(3),7(4,R),8422(4),22(3),11(3),7(3,R),8(3),7(5,R),8(5),9237(5),8(3),22(4)),flip(a)]. given #231 (A,wt=31): 96 f(x,y,f(x,z,f(u,v,f(x,v,w)))) = f(x,v,f(x,y,f(x,z,f(u,v,w)))). [para(16(a,2),12(a,1,3))]. given #232 (F,wt=20): 10460 f(x,f(y,x,z),f(x,z,u)) = f(y,x,f(x,z,u)). [para(10315(a,1),36(a,2,3)),demod(7(3),7(3),22(3),18(4),7(5,R)),flip(a)]. given #233 (F,wt=21): 10318 f(x,y,f(z,x,f(u,x,y))) = f(z,x,f(u,x,y)). [para(319(a,1),392(a,1,2)),demod(7(3,R),8(3),362(5),7(4,R),8(4)),flip(a)]. given #234 (T,wt=21): 10399 f(x,f(y,z,f(u,z,v)),f(u,x,z)) = f(u,x,z). [para(9874(a,1),392(a,1,3)),demod(8(1),8(3),7(4,R),8(4),8(5),9981(5),383(5),8(2),7(4,R),8(4)),flip(a)]. given #235 (T,wt=21): 10442 f(x,f(y,z,f(z,u,v)),f(x,z,v)) = f(x,z,v). [para(9(a,1),10315(a,1,2))]. given #236 (A,wt=31): 97 f(x,y,f(x,z,f(u,v,f(x,v,w)))) = f(x,z,f(x,v,f(x,y,f(u,v,w)))). [para(16(a,1),12(a,2,3))]. given #237 (F,wt=21): 10443 f(x,f(y,z,f(y,u,v)),f(x,y,u)) = f(x,y,u). [para(9(a,2),10315(a,1,2)),demod(7(1,R),8(1),8(3),8(5))]. given #238 (F,wt=21): 10444 f(x,f(y,z,f(z,u,v)),f(x,z,u)) = f(x,z,u). [para(13(a,1),10315(a,1,2)),demod(7(1,R),8(1),8(3),8(5))]. given #239 (T,wt=21): 10445 f(x,f(y,z,f(y,u,v)),f(x,y,v)) = f(x,y,v). [para(14(a,1),10315(a,1,2))]. given #240 (T,wt=21): 10807 f(x,f(y,z,f(y,u,v)),f(y,x,v)) = f(y,x,v). [para(10442(a,1),392(a,1,3)),demod(7(2,R),8(2),8(3),7(4,R),8(4),8(5),9981(5),10370(4),9952(4),7(3,R),8(3),7(4,R),8(4)),flip(a)]. given #241 (A,wt=31): 98 f(x,y,f(x,z,f(u,v,f(x,u,w)))) = f(x,u,f(x,y,f(x,z,f(u,v,w)))). [para(16(a,2),12(a,2,3)),demod(7(1,R),8(1),7(6,R),8(6)),flip(a)]. given #242 (F,wt=24): 455 f(x,f(y,z,u),f(z,u,f(x,y,z))) = f(x,z,f(y,z,u)). [para(314(a,2),18(a,1,3))]. given #243 (F,wt=24): 459 f(x,y,f(z,u,f(x,v,z))) = f(x,y,f(x,z,f(v,z,u))). [para(314(a,2),31(a,2,3)),demod(31(5)),flip(a)]. given #244 (T,wt=24): 462 f(x,y,f(x,z,f(x,u,v))) = f(x,v,f(x,u,f(x,y,z))). [para(33(a,1),314(a,2,3)),demod(7(1,R),8(1),7(3),8(3),63(4),63(3),27(3),7(5,R),8(5),7(6,R),8(6))]. given #245 (T,wt=24): 481 f(x,f(y,z,u),f(x,v,f(x,y,z))) = f(x,v,f(x,y,z)). [para(378(a,1),12(a,1,3)),demod(7(1,R),8(1),7(4,R),8(4)),flip(a)]. given #246 (A,wt=28): 100 f(x,y,f(x,z,f(u,y,f(x,y,v)))) = f(x,z,f(u,y,f(x,y,v))). [para(18(a,1),16(a,1,3,3)),demod(8(1),8(4)),flip(a)]. given #247 (F,wt=24): 500 f(x,f(y,x,z),f(u,f(y,z,v),f(y,x,z))) = f(y,x,z). [para(378(a,1),313(a,1,3)),demod(11(3)),flip(a)]. given #248 (F,wt=24): 508 f(f(x,y,z),f(x,y,u),f(u,v,f(x,y,u))) = f(x,y,u). [para(378(a,1),378(a,1,3)),demod(8(2),8(3),8(4),8(5),8(7),473(8))]. given #249 (T,wt=24): 525 f(x,f(y,z,x),f(u,f(y,z,v),f(y,z,x))) = f(y,z,x). [para(473(a,1),313(a,1,3)),demod(11(3)),flip(a)]. given #250 (T,wt=24): 538 f(x,f(y,z,u),f(x,v,f(x,z,u))) = f(x,v,f(x,z,u)). [para(474(a,1),12(a,2,3))]. given #251 (A,wt=31): 102 f(x,y,f(z,u,f(y,z,f(u,v,w)))) = f(y,z,f(x,y,f(u,v,f(z,u,w)))). [para(16(a,1),13(a,1,3)),demod(7(1,R),8(1),7(2,R),8(2),7(6,R),8(6),7(8,R),8(8))]. given #252 (F,wt=24): 573 f(x,y,f(x,f(z,u,v),f(y,z,u))) = f(x,y,f(z,u,v)). [para(474(a,1),378(a,1,2)),demod(7(2),7(2),7(3,R),8(3),413(4),7(5),7(5),7(6,R),8(6))]. given #253 (F,wt=21): 11466 f(x,y,f(z,f(x,y,z),f(u,v,w))) = f(x,y,z). [para(573(a,1),5710(a,1,3))]. given #254 (T,wt=21): 11517 f(x,y,f(z,f(x,z,y),f(u,v,w))) = f(x,z,y). [para(11466(a,1),7(a,2)),demod(7(1),7(1),8(4),7(5),7(5))]. given #255 (T,wt=24): 574 f(f(x,y,z),f(y,z,u),f(u,v,f(y,z,u))) = f(y,z,u). [para(474(a,1),378(a,1,3)),demod(7(2),7(2),8(3),7(4),7(4),8(5),7(7),7(7),532(8))]. given #256 (A,wt=31): 103 f(x,y,f(z,u,f(y,v,f(y,z,w)))) = f(y,z,f(x,y,f(z,u,f(y,v,w)))). [para(16(a,2),13(a,1,3)),demod(7(1,R),8(1),7(2,R),8(2),7(5,R),8(5),7(8,R),8(8))]. given #257 (F,wt=24): 576 f(x,y,f(z,x,f(x,u,v))) = f(z,x,f(x,u,f(x,v,y))). [para(25(a,1),7(a,2)),demod(8(3),7(5,R),8(5)),flip(a)]. given #258 (F,wt=24): 610 f(x,f(y,x,z),f(u,f(y,x,z),f(y,z,v))) = f(y,x,z). [para(475(a,1),9(a,1,3)),demod(7(3,R),11(3),7(5)),flip(a)]. given #259 (T,wt=24): 629 f(f(x,y,z),f(x,z,u),f(y,v,f(x,y,z))) = f(x,y,z). [para(475(a,1),314(a,2,3)),demod(7(4,R),8(4),11(8))]. given #260 (T,wt=24): 630 f(x,y,f(x,f(z,u,v),f(y,u,v))) = f(x,y,f(z,u,v)). [para(474(a,1),475(a,1,3)),demod(7(2,R),8(2),8(4),413(4),7(6,R),8(6))]. given #261 (A,wt=31): 104 f(x,y,f(z,u,f(z,x,f(v,u,w)))) = f(z,x,f(x,y,f(v,u,f(z,u,w)))). [para(16(a,1),13(a,2,3)),demod(7(3,R),8(3),7(8,R),8(8)),flip(a)]. given #262 (F,wt=24): 631 f(x,f(y,z,x),f(u,f(y,z,x),f(y,z,v))) = f(y,z,x). [para(510(a,1),9(a,1,3)),demod(7(3,R),11(3),7(5)),flip(a)]. given #263 (F,wt=24): 643 f(f(x,y,z),f(x,y,u),f(z,v,f(x,y,z))) = f(x,y,z). [para(510(a,1),314(a,2,3)),demod(7(4,R),8(4),11(8))]. given #264 (T,wt=24): 670 f(f(x,y,z),f(x,y,u),f(v,u,f(x,y,u))) = f(x,y,u). [para(475(a,1),532(a,1,3)),demod(8(2),8(4),8(5),8(6),510(8))]. given #265 (T,wt=24): 691 f(x,y,f(z,u,f(x,z,v))) = f(x,y,f(z,v,f(x,z,u))). [para(26(a,2),24(a,2))]. given #266 (A,wt=31): 105 f(x,y,f(z,u,f(x,v,f(z,x,w)))) = f(z,x,f(x,y,f(z,u,f(x,v,w)))). [para(16(a,2),13(a,2,3)),demod(7(1,R),8(1),7(3,R),8(3),7(6,R),8(6),7(8,R),8(8)),flip(a)]. given #267 (F,wt=24): 714 f(x,f(y,z,f(x,u,y)),f(x,v,u)) = f(x,v,f(x,u,y)). [para(345(a,1),14(a,1,3)),demod(8(5)),flip(a)]. given #268 (F,wt=24): 732 f(f(x,y,z),f(x,u,f(x,y,z)),f(y,z,v)) = f(x,y,z). [para(345(a,1),473(a,1,3)),demod(7(1),7(4),7(5),7(6),705(8))]. given #269 (T,wt=24): 737 f(f(x,y,z),f(y,z,u),f(x,v,f(x,y,z))) = f(x,y,z). [para(345(a,1),510(a,1,2)),demod(7(1),7(3),7(5,R),7(6),705(8))]. given #270 (T,wt=24): 746 f(x,y,f(x,f(y,z,u),f(x,v,z))) = f(x,v,f(x,y,z)). [para(347(a,1),14(a,1,3)),demod(8(5),63(6)),flip(a)]. given #271 (A,wt=31): 106 f(x,y,f(z,u,f(x,u,f(u,v,w)))) = f(x,u,f(x,y,f(u,v,f(z,u,w)))). [para(13(a,1),16(a,2,3,3)),demod(7(1,R),8(1),7(6,R),8(6))]. given #272 (F,wt=24): 757 f(x,f(y,z,u),f(x,v,f(y,z,v))) = f(x,v,f(y,z,u)). [para(378(a,1),347(a,1,3,3)),demod(8(2))]. given #273 (F,wt=24): 758 f(f(x,y,z),f(x,y,f(y,z,u)),f(x,z,v)) = f(x,y,z). [para(347(a,1),473(a,1,3)),demod(7(5),347(8))]. given #274 (T,wt=24): 760 f(x,f(y,z,u),f(x,v,f(z,u,v))) = f(x,v,f(y,z,u)). [para(474(a,1),347(a,1,3,3)),demod(7(2),7(2))]. given #275 (T,wt=24): 762 f(f(x,y,z),f(x,z,u),f(x,y,f(y,z,v))) = f(x,y,z). [para(347(a,1),510(a,1,2)),demod(7(5,R),347(8))]. given #276 (A,wt=31): 108 f(x,y,f(x,f(z,u,v),f(x,w,u))) = f(x,w,f(x,y,f(z,u,f(x,u,v)))). [para(16(a,2),14(a,1,3)),demod(8(7),63(8)),flip(a)]. given #277 (F,wt=24): 797 f(f(x,y,z),f(x,y,f(x,z,u)),f(y,z,v)) = f(x,y,z). [para(382(a,1),473(a,1,3)),demod(7(5),382(8))]. given #278 (F,wt=24): 800 f(f(x,y,z),f(y,z,u),f(x,y,f(x,z,v))) = f(x,y,z). [para(382(a,1),510(a,1,2)),demod(7(5,R),382(8))]. given #279 (T,wt=24): 804 f(x,f(y,z,u),f(y,u,f(y,z,x))) = f(y,x,f(y,z,u)). [para(30(a,1),7(a,2)),demod(7(2),7(2),7(4),7(6,R),8(6))]. given #280 (T,wt=24): 885 f(x,y,f(y,f(z,u,v),f(x,z,u))) = f(x,y,f(z,u,v)). [para(378(a,1),384(a,1,3,3)),demod(7(2,R),8(2))]. given #281 (A,wt=31): 110 f(x,y,f(z,u,f(x,u,f(z,v,w)))) = f(x,u,f(x,y,f(z,w,f(z,u,v)))). [para(14(a,1),16(a,2,3,3)),demod(8(5))]. given #282 (F,wt=24): 888 f(x,y,f(y,f(z,u,v),f(x,u,v))) = f(x,y,f(z,u,v)). [para(474(a,1),384(a,1,3,3))]. given #283 (F,wt=24): 902 f(x,y,f(y,f(x,z,u),f(z,u,v))) = f(x,y,f(z,u,v)). [para(378(a,1),385(a,1,3,3)),demod(7(2,R),8(2),7(3,R),8(6))]. given #284 (T,wt=21): 13148 f(x,y,f(z,f(y,z,u),f(x,v,z))) = f(x,y,z). [para(1199(a,1),902(a,1,3)),demod(8(2),3136(3),7(4,R),6108(5)),flip(a)]. given #285 (T,wt=22): 13141 f(x,y,f(z,u,f(y,u,f(x,z,u)))) = f(x,y,u). [para(706(a,1),902(a,1,3)),demod(8(2),3136(3),8(3)),flip(a)]. given #286 (A,wt=35): 113 f(x,y,f(x,z,f(x,u,f(y,v,f(x,y,w))))) = f(x,z,f(x,y,f(x,u,f(y,v,w)))). [para(16(a,2),27(a,1,3,3)),demod(7(2,R),8(2),7(6,R),8(6))]. given #287 (F,wt=18): 13173 f(x,y,f(z,y,f(x,u,z))) = f(x,z,y). [para(13141(a,1),8(a,2)),demod(7(2,R),8(2),6108(3),8(3),8(4))]. given #288 (F,wt=22): 13181 f(x,y,f(z,u,f(x,u,f(y,z,u)))) = f(x,y,u). [para(13141(a,1),16(a,2,3)),demod(8585(3),7(1,R),8(1),18(6))]. given #289 (T,wt=24): 905 f(x,y,f(y,f(x,z,u),f(v,z,u))) = f(x,y,f(v,z,u)). [para(474(a,1),385(a,1,3,3)),demod(7(3,R),8(6))]. given #290 (T,wt=24): 925 f(x,f(y,z,u),f(z,x,v)) = f(x,v,f(y,z,f(z,u,x))). [para(35(a,1),7(a,2)),demod(7(2,R),8(2),7(3),7(4),7(4))]. given #291 (A,wt=35): 116 f(x,y,f(x,z,f(u,y,f(x,v,f(x,y,w))))) = f(x,z,f(u,y,f(x,v,f(x,y,w)))). [para(27(a,1),16(a,1,3,3)),flip(a)]. given #292 (F,wt=24): 926 f(x,f(y,z,u),f(v,z,x)) = f(v,x,f(y,z,f(z,x,u))). [para(35(a,2),7(a,2)),demod(7(1,R),8(1),8(3),7(5),8(5)),flip(a)]. given #293 (F,wt=24): 984 f(x,y,f(x,z,f(x,u,v))) = f(x,v,f(x,z,f(x,u,y))). [para(17(a,1),35(a,2,3)),demod(63(4),63(3),64(4),22(5))]. given #294 (T,wt=24): 990 f(x,y,f(z,u,f(u,y,v))) = f(x,y,f(u,y,f(z,u,v))). [para(35(a,2),319(a,1,3)),demod(7(1,R),8(1),7(4),8(4),812(6),7(4,R),8(4),7(6,R),8(6)),flip(a)]. given #295 (T,wt=24): 1003 f(x,y,f(z,u,f(x,v,z))) = f(x,z,f(x,y,f(v,z,u))). [para(314(a,2),35(a,2,3)),demod(958(3),7(4,R),8(4)),flip(a)]. given #296 (A,wt=38): 119 f(x,y,f(z,u,f(x,v,f(x,u,f(v,w,v6))))) = f(x,u,f(x,y,f(z,u,f(v,w,f(x,v,v6))))). [para(16(a,1),16(a,1,3,3)),demod(7(1,R),8(1),7(7,R),8(7))]. given #297 (F,wt=24): 1009 f(x,f(y,z,u),f(v,x,z)) = f(v,x,f(y,z,f(x,z,u))). [para(35(a,2),378(a,2)),demod(8(3),7(6,R),8(6),413(7),430(7),7(5)),flip(a)]. given #298 (F,wt=24): 1015 f(x,f(y,z,u),f(z,x,v)) = f(x,v,f(y,z,f(z,x,u))). [para(35(a,2),473(a,2)),demod(7(1,R),8(1),7(4,R),8(4),473(7),7(5,R),8(5)),flip(a)]. given #299 (T,wt=24): 1088 f(x,y,f(z,y,f(y,u,v))) = f(x,y,f(y,u,f(z,y,v))). [back_demod(553),demod(958(6),8(5),488(5))]. given #300 (T,wt=24): 1090 f(x,y,f(x,f(z,u,v),f(z,y,u))) = f(x,y,f(z,u,v)). [back_demod(507),demod(958(4))]. given #301 (A,wt=38): 120 f(x,y,f(z,u,f(x,v,f(u,w,f(x,u,v6))))) = f(x,u,f(x,y,f(z,u,f(x,v,f(u,w,v6))))). [para(16(a,2),16(a,1,3,3)),demod(7(2,R),8(2),7(6,R),8(6))]. given #302 (F,wt=24): 1129 f(f(x,y,z),f(x,y,f(y,u,z)),f(x,z,v)) = f(x,y,z). [para(550(a,1),473(a,1,3)),demod(7(5),550(8))]. given #303 (F,wt=24): 1130 f(f(x,y,z),f(x,z,u),f(x,y,f(y,v,z))) = f(x,y,z). [para(550(a,1),510(a,1,2)),demod(7(5,R),550(8))]. given #304 (T,wt=24): 1165 f(f(x,y,z),f(u,x,f(x,y,z)),f(y,z,v)) = f(x,y,z). [para(706(a,1),473(a,1,3)),demod(7(1),7(4),7(5),7(6),1151(8))]. given #305 (T,wt=24): 1166 f(f(x,y,z),f(y,z,u),f(v,x,f(x,y,z))) = f(x,y,z). [para(706(a,1),510(a,1,2)),demod(7(1),7(3),7(5,R),7(6),1151(8))]. given #306 (A,wt=38): 121 f(x,y,f(z,u,f(x,u,f(v,w,f(z,w,v6))))) = f(x,u,f(x,y,f(z,w,f(z,u,f(v,w,v6))))). [para(16(a,1),16(a,2,3,3))]. given #307 (F,wt=24): 1175 f(x,y,f(z,u,f(y,z,v))) = f(y,z,f(x,y,f(z,v,u))). [para(7(a,1),36(a,1,3)),demod(7(2),8(2),7(4),7(4))]. given #308 (F,wt=24): 1335 f(x,y,f(z,y,f(y,u,v))) = f(z,y,f(y,u,f(x,y,v))). [para(37(a,1),7(a,2)),demod(8(3),7(4,R),8(4))]. given #309 (T,wt=24): 1500 f(x,y,f(z,u,f(x,v,u))) = f(x,u,f(x,y,f(z,v,u))). [para(314(a,1),1004(a,2,3)),demod(7(2,R),8(2),7(3),8(4),63(4),27(4),7(4),7(6,R),8(6)),flip(a)]. given #310 (T,wt=24): 1519 f(x,f(y,z,u),f(y,z,f(y,u,x))) = f(y,u,f(y,z,x)). [para(1004(a,1),36(a,2,3)),demod(7(1,R),8(1),7(2,R),8(2),7(3),8(3),387(4),63(3),27(3),7(3,R),8(3),7(4),7(4),7(5,R),8(5),7(6,R),8(6)),flip(a)]. given #311 (A,wt=38): 122 f(x,y,f(z,u,f(x,u,f(z,v,f(u,w,v6))))) = f(x,u,f(x,y,f(z,v,f(u,w,f(z,u,v6))))). [para(16(a,2),16(a,2,3,3)),demod(7(1,R),8(1),7(7,R),8(7))]. given #312 (F,wt=18): 13600 f(x,y,f(z,y,f(u,z,x))) = f(z,x,y). [para(1519(a,1),36(a,2,3)),demod(7(3),7(4,R),8422(4),22(3),11(3),7(3),7(5,R),8(5),9237(5),8(3),319(3)),flip(a)]. given #313 (F,wt=22): 13627 f(x,y,f(z,y,f(z,u,f(z,v,x)))) = f(z,x,y). [para(485(a,1),1519(a,1,3)),demod(7(3),7(3),7(4),7(4),11(5),7(4,R),8(4),7(5,R),8(5)),flip(a)]. given #314 (T,wt=22): 13641 f(x,y,f(z,y,f(u,z,f(z,x,v)))) = f(z,x,y). [para(1091(a,1),1519(a,1,3)),demod(7(3),7(3),7(4),7(4),11(5),7(4,R),8(4),7(5,R),8(5)),flip(a)]. given #315 (T,wt=22): 13642 f(x,y,f(z,y,f(u,z,f(z,v,x)))) = f(z,x,y). [para(1092(a,1),1519(a,1,3)),demod(7(3),7(3),7(4),7(4),11(5),7(4,R),8(4),7(5,R),8(5)),flip(a)]. given #316 (A,wt=28): 124 f(x,y,f(y,z,f(y,u,f(x,y,v)))) = f(x,y,f(y,z,f(y,u,v))). [para(9(a,2),33(a,1,3,3)),demod(8(5))]. given #317 (F,wt=22): 13657 f(x,y,f(z,y,f(u,x,f(x,z,v)))) = f(x,z,y). [para(3925(a,1),1519(a,1,3)),demod(7(1,R),8(1),7(3),8(3),7(4),8(4),11(5),7(2,R),8(2),7(4,R),8(4),7(5,R),8(5)),flip(a)]. given #318 (F,wt=22): 13664 f(x,y,f(z,y,f(x,u,f(x,v,z)))) = f(x,z,y). [para(6164(a,1),1519(a,1,3)),demod(7(3),8(3),7(4),7(4),11(5),7(4,R),8(4),7(5,R),8(5)),flip(a)]. given #319 (T,wt=22): 13673 f(x,y,f(z,y,f(u,x,f(x,v,z)))) = f(x,z,y). [para(8530(a,1),1519(a,1,3)),demod(7(3),8(3),7(4),7(4),11(5),7(4,R),8(4),7(5,R),8(5)),flip(a)]. given #320 (T,wt=22): 13683 f(x,y,f(z,x,f(z,u,f(z,v,y)))) = f(z,x,y). [para(9673(a,1),1519(a,1,3)),demod(7(1),8(3),7(4),8(5),9981(5),10370(4),9952(4),7(2),7(4)),flip(a)]. given #321 (A,wt=28): 128 f(x,y,f(z,x,f(x,u,f(x,y,v)))) = f(z,x,f(x,y,f(x,u,v))). [para(33(a,1),13(a,1,3)),demod(7(2,R),8(2),7(4,R),8(4),7(7,R),8(7)),flip(a)]. given #322 (F,wt=24): 1553 f(x,y,f(z,y,f(y,u,v))) = f(x,y,f(y,v,f(z,y,u))). [para(1237(a,1),30(a,1,2)),demod(7(1,R),8(1),7(3,R),8(3),8(4),1396(6),8(4),974(7),1181(3),11(5),8(4),7(5,R),8(5),1483(6))]. given #323 (F,wt=24): 1615 f(x,f(y,z,u),f(y,x,v)) = f(x,v,f(y,z,f(y,x,u))). [para(38(a,2),514(a,2)),demod(8(6),1298(10))]. given #324 (T,wt=24): 1708 f(x,f(y,z,u),f(y,z,f(z,u,x))) = f(z,x,f(y,z,u)). [para(1623(a,1),382(a,1,3)),demod(8(2),7(4,R),8(4),8(6))]. given #325 (T,wt=24): 1729 f(x,f(y,z,f(x,u,y)),f(x,u,v)) = f(x,y,f(x,u,v)). [para(345(a,1),1624(a,1,2)),demod(7(1,R),8(1),7(2),8(2),63(3),27(3),7(3,R),8(3),7(5),8(5)),flip(a)]. given #326 (A,wt=35): 133 f(x,y,f(x,z,f(u,y,f(y,v,f(x,y,w))))) = f(x,z,f(u,y,f(x,y,f(y,v,w)))). [para(33(a,1),16(a,1,3,3)),flip(a)]. given #327 (F,wt=24): 1751 f(x,y,f(y,z,f(y,u,v))) = f(y,v,f(y,z,f(x,y,u))). [para(39(a,2),12(a,1))]. given #328 (F,wt=24): 1752 f(x,y,f(y,z,f(y,u,v))) = f(y,u,f(y,v,f(x,y,z))). [para(12(a,1),39(a,1,3))]. given #329 (T,wt=24): 1756 f(x,f(y,x,z),f(x,u,v)) = f(y,x,f(x,u,f(x,z,v))). [para(39(a,2),14(a,1)),demod(8(5)),flip(a)]. given #330 (T,wt=24): 1758 f(x,y,f(y,z,f(y,u,v))) = f(y,u,f(y,z,f(x,y,v))). [para(15(a,1),39(a,1,3))]. given #331 (A,wt=31): 136 f(x,y,f(z,u,f(z,x,f(u,v,w)))) = f(z,x,f(x,y,f(u,v,f(z,u,w)))). [para(16(a,1),33(a,1,3,3)),demod(7(1,R),8(1),76(5),7(6,R),8(6))]. given #332 (F,wt=24): 1759 f(x,y,f(y,z,f(y,u,v))) = f(y,v,f(y,u,f(x,y,z))). [para(15(a,2),39(a,1,3))]. given #333 (F,wt=24): 1822 f(x,y,f(x,f(z,y,u),f(v,x,z))) = f(v,x,f(x,z,y)). [para(347(a,1),39(a,1,3)),flip(a)]. given #334 (T,wt=24): 1831 f(x,y,f(x,f(y,z,u),f(v,x,z))) = f(v,x,f(x,y,z)). [para(383(a,1),39(a,1,3)),flip(a)]. given #335 (T,wt=24): 1834 f(x,y,f(z,x,f(x,u,v))) = f(x,u,f(x,v,f(z,x,y))). [para(39(a,1),385(a,2)),demod(1396(6),1807(7))]. given #336 (A,wt=35): 137 f(x,y,f(y,z,f(x,u,f(y,v,f(x,y,w))))) = f(x,y,f(y,z,f(x,u,f(y,v,w)))). [para(16(a,2),33(a,1,3,3)),demod(7(2,R),8(2),7(6,R),8(6))]. given #337 (F,wt=24): 2046 f(x,f(y,z,u),f(v,x,y)) = f(v,x,f(y,z,f(x,y,u))). [para(40(a,2),530(a,1)),flip(a)]. given #338 (F,wt=24): 2137 f(f(x,y,z),f(x,z,f(x,y,u)),f(y,z,v)) = f(x,y,z). [para(739(a,1),473(a,1,3)),demod(7(1),7(2,R),8(2),63(3),27(3),7(4),7(5),7(6),7(7,R),8(7),63(8),27(8),387(8))]. given #339 (T,wt=24): 2139 f(f(x,y,z),f(y,z,u),f(x,z,f(x,y,v))) = f(x,y,z). [para(739(a,1),510(a,1,2)),demod(7(1),7(2,R),8(2),63(3),27(3),7(3),7(5,R),7(6),7(7,R),8(7),63(8),27(8),387(8))]. given #340 (T,wt=24): 2199 f(x,f(y,z,f(x,u,z)),f(x,u,v)) = f(x,v,f(x,u,z)). [para(706(a,1),1181(a,2,3)),demod(7(3),7(3),27(5),7(6,R),8(6))]. given #341 (A,wt=28): 141 f(x,y,f(z,x,f(u,y,f(x,y,v)))) = f(z,x,f(u,y,f(x,y,v))). [para(42(a,1),13(a,1,3)),demod(7(1,R),8(1),7(4,R),8(4),7(7,R),8(7)),flip(a)]. given #342 (F,wt=24): 2224 f(x,f(y,z,u),f(y,z,f(z,x,u))) = f(z,x,f(y,z,u)). [para(7(a,1),41(a,1)),demod(7(1,R),8(1),7(4),7(4),7(6,R),8(6))]. given #343 (F,wt=24): 2231 f(x,y,f(z,u,f(z,y,v))) = f(x,y,f(z,y,f(z,v,u))). [para(14(a,1),41(a,2,3)),demod(41(6),8(4)),flip(a)]. given #344 (T,wt=24): 2554 f(x,y,f(z,x,f(x,u,v))) = f(x,u,f(x,y,f(z,x,v))). [para(43(a,1),385(a,2)),demod(1396(6),1807(7))]. given #345 (T,wt=24): 2602 f(f(x,y,z),f(y,z,u),f(v,u,f(y,z,u))) = f(y,z,u). [para(2523(a,1),532(a,1,3)),demod(8(5),2523(8))]. given #346 (A,wt=31): 145 f(x,y,f(z,u,f(u,v,f(x,u,w)))) = f(x,y,f(z,u,f(x,u,f(u,v,w)))). [para(140(a,1),16(a,1,3,3)),demod(7(2,R),8(2),7(6,R),8(6),133(9))]. given #347 (F,wt=24): 2620 f(f(x,y,z),f(u,x,y),f(u,v,f(u,x,y))) = f(u,x,y). [para(2591(a,1),739(a,1,3,2)),demod(7(2),7(2),7(4),7(4),8(5),2617(7),7(7),7(7),195(8),362(8))]. given #348 (F,wt=24): 2707 f(f(x,y,z),f(x,u,y),f(u,v,f(x,u,y))) = f(x,u,y). [para(378(a,1),2651(a,1,3)),demod(7(3,R),11(3),8(5)),flip(a)]. given #349 (T,wt=24): 2725 f(x,y,f(z,u,f(x,v,u))) = f(x,u,f(x,y,f(v,z,u))). [para(2651(a,1),1004(a,2,3)),demod(7(2,R),8(2),7(3),8(4),63(4),27(4),7(4),7(6,R),8(6)),flip(a)]. given #350 (T,wt=24): 2741 f(x,y,f(z,u,f(x,v,u))) = f(x,y,f(x,u,f(v,z,u))). [para(2651(a,1),2051(a,2,3)),demod(7(2,R),8(2),7(4,R),8(4),63(5),18(4),7(4),7(6,R),8(6)),flip(a)]. given #351 (A,wt=31): 146 f(x,y,f(x,z,f(u,y,f(y,v,w)))) = f(x,y,f(x,z,f(y,v,f(u,y,w)))). [para(140(a,1),16(a,2,3,3)),demod(7(2,R),8(2),134(5),7(6,R),8(6))]. low water: id=8523, wt=41 given #352 (F,wt=24): 2752 f(x,f(y,z,u),f(y,x,v)) = f(x,v,f(y,z,f(y,u,x))). [para(45(a,1),7(a,2)),demod(7(2),7(3),7(4),7(4))]. given #353 (F,wt=24): 3004 f(f(x,y,z),f(x,u,y),f(v,u,f(x,u,y))) = f(x,u,y). [para(378(a,1),2701(a,1,3)),demod(11(3)),flip(a)]. given #354 (T,wt=24): 3237 f(x,f(y,z,u),f(y,x,v)) = f(x,v,f(y,u,f(y,x,z))). [para(50(a,2),514(a,2)),demod(8(6),1298(10))]. low water: id=9056, wt=40 given #355 (T,wt=24): 3352 f(x,y,f(x,f(z,u,v),f(y,z,v))) = f(x,y,f(z,u,v)). [para(430(a,1),485(a,1,3,3))]. low water: id=10139, wt=39 given #356 (A,wt=31): 147 f(x,y,f(z,u,f(z,x,f(u,v,w)))) = f(x,y,f(z,x,f(u,v,f(z,u,w)))). [para(16(a,1),140(a,1,3,3)),demod(7(1,R),8(1),7(4,R),8(4),76(5),7(6,R),8(6),7(8,R),8(8))]. given #357 (F,wt=17): 14411 f(x,f(y,z,x),f(y,u,z)) = f(y,z,x). [para(3352(a,1),9404(a,1,3)),demod(7(2),7(2),7(4,R),8846(4),7(3,R),7(5),7(5),7(6),8846(6))]. given #358 (F,wt=24): 3580 f(x,y,f(z,x,f(x,u,v))) = f(z,x,f(x,v,f(x,u,y))). [para(51(a,2),39(a,1,3)),demod(8(2),63(3),27(3),1396(6),42(6)),flip(a)]. given #359 (T,wt=24): 4472 f(x,y,f(z,x,f(x,u,v))) = f(x,v,f(z,x,f(x,u,y))). [para(25(a,1),4451(a,2)),demod(8(5),7(6,R),8(6),7(9,R),8(9),3704(10),1396(3),7(5,R),8(5))]. given #360 (T,wt=24): 4981 f(x,f(y,z,u),f(y,u,f(y,x,z))) = f(y,x,f(y,z,u)). [para(61(a,2),3018(a,1,3)),demod(7(3,R),8(3),3751(5),76(5))]. given #361 (A,wt=31): 149 f(x,y,f(z,u,f(x,z,f(z,v,w)))) = f(x,z,f(x,y,f(z,v,f(z,u,w)))). [para(17(a,1),9(a,1,3)),demod(7(2,R),8(2),8(7),7(8,R),8(8))]. given #362 (F,wt=24): 5010 f(x,f(y,z,u),f(v,x,y)) = f(v,x,f(y,u,f(x,y,z))). [para(61(a,2),4451(a,2)),demod(8(5),7(6,R),8(6),7(9,R),8(9),3704(10),7(6,R),8(6))]. given #363 (F,wt=24): 5178 f(x,y,f(z,u,f(z,x,v))) = f(x,y,f(z,x,f(z,v,u))). [para(26(a,2),1216(a,2)),demod(7(5,R),8(5),63(7),5160(8),7(4,R),8(4)),flip(a)]. given #364 (T,wt=24): 5472 f(x,y,f(z,x,f(x,u,v))) = f(x,y,f(x,u,f(z,x,v))). [para(64(a,1),378(a,2)),demod(7(1,R),8(1),8(4),7(5,R),8(5),7(8,R),8(8),124(8),8(8),195(8),1396(7),124(6),1807(7),7(4,R),8(4))]. given #365 (T,wt=24): 5475 f(x,y,f(x,z,f(x,u,v))) = f(x,v,f(x,u,f(x,z,y))). [para(25(a,1),64(a,1)),demod(63(4),27(4))]. given #366 (A,wt=31): 150 f(x,y,f(z,u,f(z,v,f(x,z,w)))) = f(x,z,f(x,y,f(z,u,f(z,v,w)))). [para(17(a,2),9(a,1,3)),demod(7(1,R),8(1),8(7),7(8,R),8(8))]. given #367 (F,wt=24): 5630 f(x,y,f(z,u,f(y,z,v))) = f(x,y,f(z,v,f(y,z,u))). [para(66(a,2),475(a,2)),demod(7(3,R),8(3),8(6),195(7),1396(6),4862(7),7(6,R),8(6))]. low water: id=10284, wt=38 given #368 (F,wt=24): 6252 f(x,f(y,z,u),f(x,v,f(x,y,u))) = f(x,v,f(x,y,u)). [para(430(a,1),70(a,1,3,3)),demod(430(7))]. given #369 (T,wt=24): 6449 f(x,y,f(z,x,f(x,u,v))) = f(x,v,f(x,u,f(z,x,y))). [para(71(a,1),475(a,2)),demod(7(3,R),8(3),8(6),195(7),1396(6),1807(7),7(4,R),8(4))]. given #370 (T,wt=24): 6728 f(x,f(y,z,u),f(x,v,f(y,u,v))) = f(x,v,f(y,z,u)). [para(430(a,1),6164(a,1,3,3)),demod(7(2),7(2))]. given #371 (A,wt=31): 151 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,v,f(x,z,f(x,w,f(x,y,u)))). [para(17(a,1),9(a,2,3)),demod(7(3,R),8(3),63(4),63(3),7(8,R),8(8))]. given #372 (F,wt=24): 6896 f(x,y,f(z,u,f(u,x,v))) = f(x,y,f(u,x,f(z,u,v))). [para(7(a,1),79(a,1)),demod(7(1,R),8(1),7(3),7(3),7(5,R),8(5))]. given #373 (F,wt=24): 6922 f(x,y,f(z,u,f(x,v,z))) = f(x,y,f(v,z,f(x,z,u))). [para(314(a,2),79(a,2,3)),flip(a)]. given #374 (T,wt=22): 14658 f(x,y,f(z,x,f(y,u,f(z,v,y)))) = f(z,x,y). [para(6922(a,2),36(a,2,3)),demod(1199(4)),flip(a)]. given #375 (T,wt=24): 7131 f(x,y,f(x,z,f(u,x,v))) = f(x,v,f(x,y,f(u,x,z))). [para(39(a,1),7057(a,2)),demod(7(5,R),8(5),3639(6),63(6),5480(7)),flip(a)]. given #376 (A,wt=31): 152 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,v,f(x,y,f(x,z,f(x,u,w)))). [para(17(a,2),9(a,2,3)),demod(7(3,R),8(3),63(4),63(3),8(5),7(8,R),8(8))]. given #377 (F,wt=24): 7688 f(x,y,f(z,x,f(x,u,v))) = f(x,y,f(x,v,f(z,x,u))). [para(163(a,1),475(a,2)),demod(7(3,R),8(3),8(6),195(7),1396(6),1807(7),7(4,R),8(4))]. given #378 (F,wt=24): 7790 f(x,f(y,z,u),f(v,y,x)) = f(v,x,f(y,z,f(y,u,x))). [para(191(a,2),7(a,2)),demod(8(3),8(4),7(5)),flip(a)]. given #379 (T,wt=24): 8327 f(x,f(y,z,u),f(y,v,x)) = f(v,x,f(y,z,f(y,u,x))). [para(192(a,1),7(a,2)),demod(7(2,R),8(2),7(3),8(4))]. given #380 (T,wt=24): 8328 f(x,f(y,x,z),f(z,u,v)) = f(y,x,f(z,u,f(x,z,v))). [para(192(a,1),8(a,1)),demod(7(1,R),8(1),8(4)),flip(a)]. given #381 (A,wt=31): 153 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,w,f(x,y,f(x,z,f(x,u,v)))). [para(9(a,1),17(a,1,3,3)),demod(7(2,R),8(2),7(5,R),8(5))]. given #382 (F,wt=24): 8565 f(f(x,y,z),f(x,y,f(x,u,z)),f(y,z,v)) = f(x,y,z). [para(8459(a,1),473(a,1,3)),demod(7(5),8459(8))]. given #383 (F,wt=24): 8566 f(f(x,y,z),f(y,z,u),f(x,y,f(x,v,z))) = f(x,y,z). [para(8459(a,1),510(a,1,2)),demod(7(5,R),8459(8))]. given #384 (T,wt=24): 8576 f(x,f(y,z,u),f(u,x,v)) = f(x,v,f(z,u,f(y,u,x))). [para(193(a,1),7(a,2)),demod(7(2,R),8(2),7(3),7(4),7(4))]. given #385 (T,wt=24): 8589 f(x,f(y,z,u),f(x,v,u)) = f(x,v,f(z,u,f(x,y,u))). [para(193(a,2),22(a,1,3)),demod(8(2),27(4))]. given #386 (A,wt=31): 154 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,u,f(x,y,f(x,v,f(x,z,w)))). [para(9(a,1),17(a,2,3,3)),demod(7(1,R),8(1),8(5),7(6,R),8(6))]. given #387 (F,wt=24): 8643 f(x,y,f(x,f(y,z,u),f(x,v,u))) = f(x,v,f(x,y,u)). [para(193(a,2),26(a,2,3)),demod(8578(3),7(3,R),8(3),8(4)),flip(a)]. given #388 (F,wt=24): 8655 f(x,y,f(z,u,f(y,v,u))) = f(y,u,f(x,y,f(z,v,u))). [para(193(a,2),36(a,1,3)),demod(7(1,R),8(1),11(2),8(2),18(5))]. given #389 (T,wt=21): 15086 f(x,y,f(z,f(x,z,u),f(v,z,y))) = f(x,z,y). [para(538(a,1),8655(a,2,3)),demod(7(5,R),9981(6),10530(6),10440(3),14787(6),7(4,R)),flip(a)]. given #390 (T,wt=22): 15101 f(x,y,f(z,u,f(x,z,f(y,v,z)))) = f(x,y,z). [para(7(a,1),15086(a,1,3)),demod(7(1),7(3,R),15012(4),8(5))]. given #391 (A,wt=31): 155 f(x,y,f(x,z,f(u,v,f(x,u,w)))) = f(x,z,f(x,u,f(x,y,f(u,w,v)))). [para(9(a,2),17(a,2,3,3)),flip(a)]. given #392 (F,wt=24): 8670 f(x,f(y,z,u),f(z,u,f(y,u,x))) = f(u,x,f(y,z,u)). [para(193(a,1),1248(a,2)),demod(7(3,R),8(3),7(5,R),8(5),11(6),7(4),7(4)),flip(a)]. given #393 (F,wt=22): 15132 f(x,y,f(z,u,f(x,u,f(v,u,y)))) = f(x,u,y). [para(532(a,1),8670(a,2,3)),demod(7(2),10440(3),7(3),7(4),7(5),14852(6),14782(6),7(5),7(6),7(7,R),11(7))]. given #394 (T,wt=24): 8833 f(x,y,f(x,f(z,u,v),f(z,u,y))) = f(x,y,f(z,u,v)). [back_demod(531),demod(8588(4))]. given #395 (T,wt=24): 8853 f(f(x,y,z),f(x,z,u),f(u,v,f(x,z,u))) = f(x,z,u). [para(8578(a,1),378(a,1,3)),demod(8(2),8(3),8(4),8(5),8(7),8846(8))]. given #396 (A,wt=31): 156 f(x,y,f(z,u,f(y,z,f(z,v,w)))) = f(y,z,f(x,y,f(z,v,f(z,u,w)))). [para(17(a,1),13(a,1,3)),demod(7(2,R),8(2),7(8,R),8(8))]. given #397 (F,wt=21): 15190 f(x,y,f(z,f(x,u,z),f(z,y,v))) = f(x,z,y). [para(8853(a,1),473(a,1,3)),demod(7(1),8(3),7(4),7(5),7(6),7(7),11180(7),8(2),7(3),7(4),14787(6),8(3),7(4,R)),flip(a)]. given #398 (F,wt=21): 15238 f(x,y,f(z,f(x,u,z),f(y,z,v))) = f(x,y,z). [para(7(a,2),15190(a,1,3)),demod(7(2,R),8(2),7(3),8(5))]. given #399 (T,wt=22): 15247 f(x,y,f(y,z,f(z,u,f(x,v,z)))) = f(x,y,z). [para(15190(a,1),2725(a,2,3)),demod(7(2,R),8(2),7(3,R),8(3),9103(6),7(5,R),8(5),8(6),10315(7))]. given #400 (T,wt=24): 8859 f(x,y,f(y,f(z,u,v),f(x,z,v))) = f(x,y,f(z,u,v)). [para(8578(a,1),384(a,1,3,3)),demod(7(2,R),8(2))]. given #401 (A,wt=31): 157 f(x,y,f(z,u,f(z,v,f(y,z,w)))) = f(y,z,f(x,y,f(z,u,f(z,v,w)))). [para(17(a,2),13(a,1,3)),demod(7(1,R),8(1),7(8,R),8(8))]. given #402 (F,wt=21): 15283 f(x,f(y,z,f(u,y,v)),f(u,y,x)) = f(u,y,x). [para(157(a,1),530(a,1)),demod(7(3,R),8(3),383(4),7(4)),flip(a)]. given #403 (F,wt=21): 15305 f(x,f(y,z,x),f(z,u,f(y,z,v))) = f(y,z,x). [para(15283(a,1),8(a,1)),flip(a)]. given #404 (T,wt=24): 8860 f(x,y,f(y,f(x,z,u),f(z,v,u))) = f(x,y,f(z,v,u)). [para(8578(a,1),385(a,1,3,3)),demod(7(2,R),8(2),7(3,R),8(6))]. given #405 (T,wt=24): 8861 f(x,y,f(x,f(z,u,y),f(z,v,u))) = f(x,y,f(z,v,u)). [para(8578(a,1),387(a,1,3,3)),demod(8(2),7(3,R),8(3),7(4,R),8313(4),7(6))]. given #406 (A,wt=31): 158 f(x,y,f(z,u,f(z,x,f(z,v,w)))) = f(z,x,f(x,y,f(z,v,f(z,u,w)))). [para(17(a,1),13(a,2,3)),demod(7(3,R),8(3),7(8,R),8(8)),flip(a)]. given #407 (F,wt=24): 8936 f(f(x,y,z),f(x,z,u),f(v,u,f(x,z,u))) = f(x,z,u). [para(8578(a,1),8422(a,1,3)),demod(8(2),8(4),8(5),8(7),8846(8))]. given #408 (F,wt=24): 8961 f(x,y,f(x,f(z,u,y),f(z,u,v))) = f(x,y,f(z,u,v)). [para(475(a,1),8714(a,1,3,3)),demod(8(2),7(3,R),8(3),7(4,R),8313(4),7(6))]. given #409 (T,wt=24): 9166 f(x,f(y,z,u),f(y,u,f(z,u,x))) = f(u,x,f(y,z,u)). [para(8585(a,1),3000(a,1,3)),demod(7(3,R),8(3),8(4),8(6),9040(6),22(3),7(6,R),8(6))]. given #410 (T,wt=24): 9237 f(x,f(y,x,z),f(y,u,v)) = f(x,z,f(y,u,f(y,v,x))). [para(7(a,1),194(a,1)),demod(7(2),7(3,R),7(4),7(4))]. given #411 (A,wt=31): 159 f(x,y,f(z,u,f(z,v,f(z,x,w)))) = f(z,x,f(x,y,f(z,u,f(z,v,w)))). [para(17(a,2),13(a,2,3)),demod(7(3,R),8(3),7(8,R),8(8)),flip(a)]. given #412 (F,wt=24): 9619 f(x,y,f(z,u,f(z,v,w))) = f(x,y,f(z,v,f(z,u,w))). [para(27(a,1),356(a,2,3,3)),demod(3639(6),63(6),8541(6),11(8))]. given #413 (F,wt=24): 9629 f(x,y,f(z,u,f(v,z,w))) = f(x,y,f(v,z,f(z,u,w))). [para(6108(a,1),356(a,2,3,3)),demod(7(1),7(1),7(3),7(3),555(6),7(4),7(4),7(6),7(6),11(8)),flip(a)]. given #414 (T,wt=24): 9664 f(x,f(y,z,f(u,x,y)),f(u,x,v)) = f(x,y,f(u,x,v)). [para(388(a,1),387(a,1,3)),demod(7(2),7(2),7(4,R),7(6))]. given #415 (T,wt=24): 9756 f(x,f(y,z,f(y,x,u)),f(x,u,v)) = f(y,x,f(x,u,v)). [para(388(a,1),82(a,2,3)),demod(7(1,R),8(1),7(2,R),8(2),8(3),7(4,R),958(4),9179(6),7796(4),8(1),11(3),7(3,R),8(3),8(4),7(6,R)),flip(a)]. given #416 (A,wt=31): 160 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,v,f(x,y,f(x,z,f(x,w,u)))). [para(17(a,2),14(a,1,3)),demod(8(7),63(8),63(7)),flip(a)]. given #417 (F,wt=21): 15551 f(x,f(y,z,f(z,u,v)),f(x,z,u)) = f(x,z,u). [para(9756(a,1),3699(a,1,2)),demod(7(3),7(5))]. given #418 (F,wt=21): 15555 f(x,f(y,z,f(z,u,v)),f(x,z,v)) = f(x,z,v). [para(9756(a,1),9893(a,1,2)),demod(7(3),7(5))]. given #419 (T,wt=21): 15571 f(x,f(y,z,f(u,y,v)),f(x,u,y)) = f(x,u,y). [para(15551(a,1),31(a,1,3)),demod(8(1),22(2),7(2,R),8(2),7(3,R),8(3),8(4)),flip(a)]. given #420 (T,wt=24): 9981 f(x,f(x,y,z),f(u,v,w)) = f(x,y,f(x,z,f(u,v,w))). [para(40(a,1),9967(a,1)),demod(7(3),7(3),7(7),8(7),9980(7),7(5,R),8(5),18(5),7(5),7(5))]. given #421 (A,wt=31): 161 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,w,f(x,z,f(x,v,f(x,y,u)))). [para(17(a,1),14(a,2,3)),demod(63(4),63(3))]. given #422 (F,wt=24): 9987 f(x,f(y,x,z),f(u,v,w)) = f(y,x,f(x,z,f(u,v,w))). [para(9967(a,1),82(a,1)),demod(8(2),8(6),7(10),8(10),9979(10),18(8)),flip(a)]. given #423 (F,wt=24): 10089 f(x,y,f(x,f(y,z,u),f(z,u,v))) = f(x,y,f(z,u,v)). [back_demod(919),demod(7(1),7(3),7(3),9981(4),7(5),7(5))]. given #424 (T,wt=24): 10210 f(x,y,f(z,y,f(y,u,v))) = f(z,y,f(y,v,f(x,y,u))). [para(92(a,1),41(a,2)),demod(22(6),11(7),22(7))]. given #425 (T,wt=24): 10251 f(x,f(y,z,f(u,x,y)),f(u,v,x)) = f(x,y,f(u,v,x)). [para(550(a,1),9920(a,1,3,3)),demod(7(2),7(2),7(4,R),7(6))]. given #426 (A,wt=31): 162 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,u,f(x,y,f(x,w,f(x,z,v)))). [para(14(a,1),17(a,2,3,3)),demod(8(5))]. given #427 (F,wt=24): 10253 f(x,f(y,z,f(x,u,y)),f(v,x,u)) = f(x,y,f(v,x,u)). [para(889(a,1),9920(a,1,3,3)),demod(7(2),7(2),7(4,R),7(6))]. given #428 (F,wt=24): 10266 f(x,f(y,z,f(y,u,x)),f(y,u,f(u,x,v))) = f(y,u,x). [para(1195(a,1),9920(a,1,3,3)),demod(7(1,R),8(1),8(3),7(5,R),7(6,R),8(6),8(8),347(8))]. given #429 (T,wt=22): 15937 f(x,y,f(z,u,f(x,z,f(v,z,y)))) = f(x,z,y). [para(2602(a,1),10266(a,1,3)),demod(7(3),7(4),10440(4),7(3,R),7(4),8(5),9981(5),15613(5),7(6),7(7),10440(7))]. given #430 (T,wt=24): 10267 f(x,f(y,z,f(u,x,y)),f(v,u,x)) = f(x,y,f(v,u,x)). [para(4970(a,1),9920(a,1,3,3)),demod(7(2),7(2),7(4,R),7(6))]. given #431 (A,wt=35): 164 f(x,y,f(x,z,f(x,u,f(x,v,f(x,y,w))))) = f(x,z,f(x,y,f(x,u,f(x,v,w)))). [para(17(a,2),27(a,1,3,3))]. given #432 (F,wt=24): 10269 f(x,f(y,z,f(u,y,x)),f(u,y,f(u,x,v))) = f(u,y,x). [para(4722(a,1),9920(a,1,3,3)),demod(7(5,R),8(8),382(8))]. given #433 (F,wt=24): 10270 f(x,f(y,z,f(u,y,x)),f(u,v,f(u,y,x))) = f(u,y,x). [para(4737(a,1),9920(a,1,3,3)),demod(7(1),7(3),7(5,R),7(6),8(8),705(8))]. given #434 (T,wt=24): 10273 f(x,f(y,z,f(y,u,x)),f(y,u,f(u,v,x))) = f(y,u,x). [para(6359(a,1),9920(a,1,3,3)),demod(7(5,R),8(8),550(8))]. given #435 (T,wt=24): 10274 f(x,f(y,z,f(u,y,x)),f(u,y,f(u,v,x))) = f(u,y,x). [para(6854(a,1),9920(a,1,3,3)),demod(7(5,R),8(8),8459(8))]. given #436 (A,wt=35): 167 f(x,y,f(x,z,f(x,u,f(x,v,f(x,w,y))))) = f(x,z,f(x,u,f(x,v,f(x,w,y)))). [para(31(a,1),17(a,1,3,3)),flip(a)]. given #437 (F,wt=24): 10309 f(x,f(y,z,u),f(x,v,w)) = f(x,v,f(x,w,f(y,z,u))). [para(9967(a,1),390(a,2,3)),demod(8(4),9992(6)),flip(a)]. given #438 (F,wt=24): 10311 f(x,y,f(z,y,f(y,u,v))) = f(y,v,f(x,y,f(z,y,u))). [para(9(a,1),392(a,1,2)),demod(7(4,R),8(4),974(6),8(5),9606(5),7(5,R),8(5))]. given #439 (T,wt=21): 16051 f(x,f(y,z,f(y,u,v)),f(x,y,u)) = f(x,y,u). [para(10311(a,1),3699(a,1,2)),demod(7(1,R),8(1),7(2,R),8(2),22(2),7(3),8(3),7(5),8(5))]. given #440 (T,wt=21): 16080 f(x,f(y,z,f(y,u,v)),f(x,y,v)) = f(x,y,v). [para(7(a,1),16051(a,1,2,3)),demod(7(1,R),8(1))]. given #441 (A,wt=38): 168 f(x,y,f(z,u,f(x,v,f(x,u,f(x,w,v6))))) = f(x,u,f(x,y,f(z,u,f(x,w,f(x,v,v6))))). [para(17(a,1),16(a,1,3,3))]. given #442 (F,wt=24): 10312 f(x,y,f(z,y,f(y,u,v))) = f(y,u,f(x,y,f(z,y,v))). [para(23(a,1),392(a,1,2)),demod(7(4,R),8(4),974(6),8(5),488(5),7(5,R),8(5))]. given #443 (F,wt=24): 10320 f(x,f(y,z,u),f(v,x,f(y,x,z))) = f(v,x,f(y,x,z)). [para(378(a,1),392(a,1,2)),demod(7(4,R),8(4),362(6),7(5,R),8(5)),flip(a)]. given #444 (T,wt=24): 10321 f(x,f(y,z,u),f(v,x,f(y,z,x))) = f(v,x,f(y,z,x)). [para(473(a,1),392(a,1,2)),demod(7(4,R),8(4),362(6),7(5,R),8(5)),flip(a)]. given #445 (T,wt=24): 10322 f(x,f(y,z,x),f(u,x,f(y,z,v))) = f(u,x,f(y,z,x)). [para(510(a,1),392(a,1,2)),demod(7(4,R),8(4),385(6),7(5,R),8(5)),flip(a)]. given #446 (A,wt=38): 169 f(x,y,f(z,u,f(x,v,f(x,w,f(x,u,v6))))) = f(x,u,f(x,y,f(z,u,f(x,v,f(x,w,v6))))). [para(17(a,2),16(a,1,3,3))]. given #447 (F,wt=24): 10391 f(x,y,f(z,x,f(u,x,v))) = f(x,y,f(x,v,f(z,u,x))). [para(8941(a,1),392(a,2,3)),demod(7(2),7(2),7(5),7(5),9037(6),10389(7),7(5,R),8(5))]. given #448 (F,wt=24): 10397 f(x,f(y,z,u),f(z,x,f(y,x,v))) = f(x,v,f(y,z,x)). [para(388(a,1),392(a,2)),demod(7(2),7(3,R),8(3),7(5),7(7,R),8(7),2224(8),7(5),7(5))]. given #449 (T,wt=24): 10414 f(x,f(y,z,u),f(x,y,v)) = f(x,v,f(y,z,f(x,y,u))). [para(95(a,2),51(a,2)),demod(8(3),9981(4),27(4),73(7))]. given #450 (T,wt=24): 10453 f(x,f(y,z,u),f(x,y,f(z,u,v))) = f(x,y,f(z,u,v)). [para(10315(a,1),378(a,1,2)),demod(7(3,R),8(3),7(6,R),8(6))]. given #451 (A,wt=38): 170 f(x,y,f(z,u,f(x,u,f(z,v,f(z,w,v6))))) = f(x,u,f(x,y,f(z,w,f(z,u,f(z,v,v6))))). [para(17(a,1),16(a,2,3,3))]. given #452 (F,wt=24): 10454 f(x,f(y,z,u),f(x,z,f(y,u,v))) = f(x,z,f(y,u,v)). [para(378(a,1),10315(a,1,2))]. given #453 (F,wt=24): 10455 f(x,f(y,z,u),f(x,u,f(y,z,v))) = f(x,u,f(y,z,v)). [para(473(a,1),10315(a,1,2))]. given #454 (T,wt=24): 10467 f(x,f(y,z,u),f(x,z,f(v,x,y))) = f(v,x,f(x,y,z)). [para(10315(a,1),39(a,1,3)),flip(a)]. given #455 (T,wt=24): 10471 f(x,f(y,z,u),f(x,y,f(v,x,z))) = f(v,x,f(x,y,z)). [para(10315(a,1),43(a,1,3)),flip(a)]. given #456 (A,wt=38): 171 f(x,y,f(z,u,f(x,u,f(z,v,f(z,w,v6))))) = f(x,u,f(x,y,f(z,v,f(z,w,f(z,u,v6))))). [para(17(a,2),16(a,2,3,3))]. given #457 (F,wt=24): 10477 f(x,f(y,z,u),f(x,z,v)) = f(x,v,f(y,z,f(x,z,u))). [para(51(a,1),10315(a,2)),demod(8(2),7(3),8(5),10440(7))]. given #458 (F,wt=24): 10495 f(x,f(y,z,f(u,x,z)),f(u,x,v)) = f(x,z,f(u,x,v)). [para(10315(a,1),6854(a,1,3,3)),demod(7(2),7(2),7(4,R),7(6))]. given #459 (T,wt=24): 10506 f(x,f(y,z,u),f(x,y,v)) = f(x,v,f(y,u,f(x,y,z))). [para(191(a,1),10315(a,2)),demod(7(2,R),8(2),7(3),7(5,R),8(5),10440(7),7(4))]. given #460 (T,wt=24): 10516 f(x,f(y,z,u),f(v,x,f(x,y,z))) = f(v,x,f(x,y,z)). [para(10315(a,1),392(a,1,2)),demod(7(4,R),8(4),362(6),7(5,R),8(5)),flip(a)]. given #461 (A,wt=38): 172 f(x,y,f(x,z,f(x,u,f(v,w,f(x,v,v6))))) = f(x,z,f(x,u,f(x,v,f(x,y,f(v,w,v6))))). [para(16(a,1),17(a,1,3,3)),demod(7(1,R),8(1),7(7,R),8(7)),flip(a)]. given #462 (F,wt=24): 10523 f(x,f(y,z,u),f(x,y,f(v,z,u))) = f(x,y,f(v,z,u)). [para(10440(a,1),510(a,1,3)),demod(7(2),8(4),7(6))]. given #463 (F,wt=24): 10529 f(x,y,f(x,f(z,u,y),f(v,z,u))) = f(x,y,f(v,z,u)). [para(10440(a,1),387(a,1,3,3)),demod(7(2),7(2),7(3,R),8(3),7(4,R),9981(4),7(6))]. given #464 (T,wt=24): 10541 f(x,f(y,z,u),f(x,u,f(x,z,v))) = f(x,v,f(x,z,u)). [para(10440(a,1),47(a,2,3)),demod(8(2))]. given #465 (T,wt=24): 10558 f(x,f(y,z,f(x,u,z)),f(v,x,u)) = f(x,z,f(v,x,u)). [para(10440(a,1),4722(a,1,3,3)),demod(7(2),7(2),7(4,R),7(6))]. given #466 (A,wt=38): 173 f(x,y,f(x,z,f(x,u,f(v,w,f(x,w,v6))))) = f(x,w,f(x,y,f(x,z,f(x,u,f(v,w,v6))))). [para(16(a,2),17(a,1,3,3))]. given #467 (F,wt=24): 10559 f(x,y,f(x,f(y,z,u),f(x,u,v))) = f(x,v,f(x,y,u)). [para(10440(a,1),71(a,2,3)),demod(7(1,R),8(1))]. given #468 (F,wt=22): 16653 f(x,y,f(x,z,f(z,u,f(y,v,z)))) = f(x,y,z). [para(1195(a,1),10559(a,1,3)),demod(8(2),430(3),7(3),7(3),8(6),9981(6),22(5)),flip(a)]. given #469 (T,wt=24): 10563 f(x,f(y,z,f(u,x,z)),f(v,u,x)) = f(x,z,f(v,u,x)). [para(10440(a,1),6854(a,1,3,3)),demod(7(2),7(2),7(4,R),7(6))]. given #470 (T,wt=24): 10586 f(x,f(y,z,u),f(x,y,f(z,v,u))) = f(x,y,f(z,v,u)). [para(10441(a,1),510(a,1,3)),demod(7(2),8(4),7(6))]. given #471 (A,wt=31): 174 f(x,y,f(x,z,f(u,v,f(x,v,w)))) = f(x,z,f(x,y,f(x,v,f(u,v,w)))). [para(16(a,2),17(a,1,3))]. given #472 (F,wt=24): 10602 f(x,f(y,z,u),f(x,u,f(x,y,v))) = f(x,v,f(x,y,u)). [para(10441(a,1),47(a,2,3)),demod(8(2))]. given #473 (F,wt=24): 10618 f(x,f(y,z,f(u,x,z)),f(u,v,x)) = f(x,z,f(u,v,x)). [para(10441(a,1),6854(a,1,3,3)),demod(7(2),7(2),7(4,R),7(6))]. given #474 (T,wt=24): 10657 f(x,y,f(y,f(x,z,u),f(y,z,v))) = f(y,v,f(x,y,z)). [para(388(a,1),10329(a,2)),demod(7(1,R),8(1),8(2),7(4,R),8(4),8(5),7(7,R),8(7),7(8,R),8(8),550(9),7(5))]. given #475 (T,wt=24): 10733 f(x,y,f(z,u,f(z,v,w))) = f(x,y,f(z,w,f(z,u,v))). [para(10318(a,1),356(a,2,3,3)),demod(7(1,R),8(1),7(2,R),8(2),7(3,R),8(3),7(4,R),8(4),9981(6),9981(5),10370(4),10084(5),7(4,R),8(4),7(5,R),8(5),7(6,R),8(6),7(7,R),8(7),11(8)),flip(a)]. given #476 (A,wt=38): 175 f(x,y,f(x,z,f(x,u,f(v,w,f(x,w,v6))))) = f(x,u,f(x,y,f(x,w,f(x,z,f(v,w,v6))))). [para(16(a,1),17(a,2,3,3))]. given #477 (F,wt=24): 10877 f(x,f(y,z,u),f(z,u,f(y,z,x))) = f(z,x,f(y,z,u)). [para(455(a,1),7(a,2)),demod(7(2),7(2),7(4),7(6,R),8(6))]. given #478 (F,wt=24): 10881 f(f(x,y,z),f(x,y,u),f(v,z,f(x,y,z))) = f(x,y,z). [para(510(a,1),455(a,1,2)),demod(8940(7),510(9),11(8))]. given #479 (T,wt=24): 10944 f(x,f(y,z,u),f(x,z,v)) = f(x,v,f(z,u,f(x,y,z))). [para(459(a,2),14(a,2))]. given #480 (T,wt=21): 16801 f(x,f(y,z,f(u,z,v)),f(x,z,v)) = f(x,z,v). [para(10944(a,2),3922(a,1,2)),demod(11(2),8(2),7(3),7(5))]. given #481 (A,wt=38): 176 f(x,y,f(x,z,f(x,u,f(v,w,f(x,v,v6))))) = f(x,z,f(x,v,f(x,y,f(x,u,f(v,w,v6))))). [para(16(a,2),17(a,2,3,3)),demod(7(1,R),8(1),7(7,R),8(7)),flip(a)]. given #482 (F,wt=21): 16816 f(x,f(y,z,f(u,y,v)),f(x,y,v)) = f(x,y,v). [para(7(a,1),16801(a,1,2)),demod(7(2),8(2))]. given #483 (F,wt=24): 10985 f(x,y,f(z,x,f(x,u,v))) = f(x,v,f(x,y,f(z,x,u))). [para(462(a,1),1216(a,2)),demod(7(5,R),8(5),9981(7),9981(6),5164(8),7(4,R),8(4))]. given #484 (T,wt=24): 11001 f(x,f(y,z,u),f(x,v,f(y,z,x))) = f(x,v,f(y,z,x)). [para(481(a,1),7(a,2)),demod(7(2),7(2),7(4),7(5),7(5))]. given #485 (T,wt=24): 11023 f(x,f(y,x,f(y,z,u)),f(z,u,v)) = f(y,x,f(z,u,v)). [para(481(a,1),36(a,2,3)),demod(7(4,R),902(5),18(4),7(6,R)),flip(a)]. given #486 (A,wt=31): 177 f(x,y,f(x,z,f(u,v,f(x,u,w)))) = f(x,u,f(x,z,f(x,y,f(u,v,w)))). [para(16(a,2),17(a,2,3)),demod(7(1,R),8(1),7(6,R),8(6)),flip(a)]. given #487 (F,wt=21): 16848 f(x,f(y,z,x),f(y,u,f(y,v,z))) = f(y,z,x). [para(9673(a,1),11023(a,2)),demod(7(1),7(3),6(5),7(5),6(5),7(3),8(3),7(4,R),7(5),8(5))]. given #488 (F,wt=21): 16850 f(x,f(y,z,x),f(u,y,f(y,z,v))) = f(y,z,x). [para(9874(a,1),11023(a,2)),demod(7(1),7(3),6(5),7(5),6(5),7(3),8(3),7(4,R),7(5),8(5))]. given #489 (T,wt=21): 16853 f(x,f(y,z,x),f(u,y,f(y,v,z))) = f(y,z,x). [para(9894(a,1),11023(a,2)),demod(7(1),7(3),6(5),7(5),6(5),7(3),8(3),7(4,R),7(5),8(5))]. given #490 (T,wt=22): 16892 f(x,y,f(z,y,f(u,z,f(x,z,v)))) = f(x,z,y). [para(16850(a,1),1335(a,1,3)),demod(11(3),7(7,R),8(7),9981(7),15613(7),22(4),7(4,R),8(4),9037(6)),flip(a)]. given #491 (A,wt=35): 178 f(x,y,f(y,z,f(x,u,f(x,v,f(x,y,w))))) = f(x,y,f(y,z,f(x,u,f(x,v,w)))). [para(17(a,2),33(a,1,3,3))]. given #492 (F,wt=24): 11078 f(x,f(y,z,u),f(v,x,f(v,y,z))) = f(v,x,f(y,z,u)). [para(481(a,1),82(a,2,3)),demod(885(5),18(4)),flip(a)]. given #493 (F,wt=23): 16909 f(x,f(y,z,u),f(y,z,v)) = f(v,f(y,z,u),f(y,z,x)). [para(10315(a,1),11078(a,1,3)),demod(7(3),7(3),16856(4))]. low water: id=12777, wt=37 given #494 (T,wt=21): 17019 f(x,y,f(z,f(y,u,z),f(x,z,v))) = f(x,y,z). [para(16909(a,1),15101(a,1,3)),demod(11(3),7(3))]. given #495 (T,wt=23): 16910 f(x,f(y,z,u),f(z,u,v)) = f(v,f(y,z,u),f(z,u,x)). [para(10440(a,1),11078(a,1,3)),demod(7(3),7(3),16857(4))]. given #496 (A,wt=31): 181 f(x,y,f(z,u,f(z,x,f(z,v,w)))) = f(x,y,f(z,x,f(z,v,f(z,u,w)))). [para(17(a,1),140(a,1,3,3)),demod(7(4,R),8(4),76(5),7(8,R),8(8))]. given #497 (F,wt=21): 17042 f(x,y,f(z,y,f(u,x,y))) = f(z,y,f(u,x,y)). [para(16910(a,1),9(a,1)),demod(11(2),8(2),7(4,R),8(4)),flip(a)]. given #498 (F,wt=23): 16911 f(x,f(y,z,u),f(y,u,v)) = f(v,f(y,z,u),f(y,u,x)). [para(10441(a,1),11078(a,1,3)),demod(7(3),7(3),16858(4))]. given #499 (T,wt=23): 16920 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,z,u),f(y,z,x)). [para(16909(a,1),7(a,1)),demod(7(4),7(6,R)),flip(a)]. given #500 (T,wt=23): 16921 f(x,f(y,z,u),f(v,z,u)) = f(v,f(y,z,u),f(z,u,x)). [para(7(a,1),16909(a,1,2)),demod(7(4),7(5)),flip(a)]. given #501 (A,wt=35): 182 f(x,y,f(x,z,f(x,u,f(v,y,f(x,y,w))))) = f(x,z,f(x,u,f(v,y,f(x,y,w)))). [para(140(a,1),17(a,1,3,3)),flip(a)]. given #502 (F,wt=23): 16922 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,z,u),f(y,u,x)). [para(7(a,2),16909(a,1,2)),demod(7(2,R),8(2),7(4),7(4),7(5),8(5)),flip(a)]. given #503 (F,wt=23): 16923 f(x,f(y,z,u),f(z,u,v)) = f(y,f(z,u,v),f(z,u,x)). [para(16909(a,1),8(a,1)),demod(7(4)),flip(a)]. given #504 (T,wt=23): 16924 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,z,x),f(y,z,u)). [para(16909(a,1),8(a,2)),demod(7(5)),flip(a)]. given #505 (T,wt=23): 16939 f(x,f(y,z,u),f(y,v,z)) = f(u,f(y,v,z),f(y,z,x)). [para(18(a,1),16909(a,2,3)),demod(16858(4)),flip(a)]. low water: id=13784, wt=36 given #506 (A,wt=38): 183 f(x,y,f(x,z,f(x,u,f(x,v,f(x,w,v6))))) = f(x,v,f(x,y,f(x,z,f(x,w,f(x,u,v6))))). [para(17(a,1),17(a,1,3,3))]. given #507 (F,wt=23): 16940 f(x,f(y,z,u),f(y,z,v)) = f(v,f(y,z,x),f(y,z,u)). [para(22(a,1),16909(a,2,3)),demod(16856(4))]. given #508 (F,wt=23): 16959 f(x,f(y,z,u),f(v,y,z)) = f(u,f(v,y,z),f(y,z,x)). [para(319(a,1),16909(a,2,3)),demod(16857(4)),flip(a)]. given #509 (T,wt=23): 17015 f(x,f(y,z,u),f(v,y,z)) = f(u,f(y,z,x),f(v,y,z)). [para(16909(a,1),6728(a,2)),demod(14787(5),17014(5),7(5))]. given #510 (T,wt=23): 17041 f(x,f(y,z,u),f(v,z,u)) = f(y,f(v,z,u),f(z,u,x)). [para(16910(a,1),8(a,1)),demod(7(4)),flip(a)]. given #511 (A,wt=31): 184 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,v,f(x,y,f(x,u,f(x,z,w)))). [para(17(a,1),17(a,1,3))]. given #512 (F,wt=23): 17066 f(x,f(y,z,u),f(v,z,u)) = f(v,f(z,u,x),f(y,z,u)). [para(16910(a,1),430(a,2)),demod(7(5,R),4970(7),7(5)),flip(a)]. given #513 (F,wt=22): 17654 f(x,y,f(z,y,f(z,u,f(x,v,z)))) = f(x,z,y). [para(17066(a,1),8853(a,1,3)),demod(11(3),7(3),7(3),17525(5),9981(3))]. given #514 (T,wt=23): 17137 f(x,f(y,z,u),f(z,v,u)) = f(y,f(z,v,u),f(z,u,x)). [para(16911(a,1),8(a,1)),demod(7(4)),flip(a)]. given #515 (T,wt=23): 17154 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,u,x),f(y,z,u)). [para(16911(a,1),430(a,2)),demod(7(5,R),4970(7),7(5)),flip(a)]. given #516 (A,wt=38): 185 f(x,y,f(x,z,f(x,u,f(x,v,f(x,w,v6))))) = f(x,w,f(x,y,f(x,z,f(x,u,f(x,v,v6))))). [para(17(a,2),17(a,1,3,3))]. given #517 (F,wt=23): 17181 f(x,f(y,z,u),f(v,y,z)) = f(v,f(x,y,z),f(y,z,u)). [para(16920(a,1),8(a,2)),demod(7(5)),flip(a)]. given #518 (F,wt=23): 17183 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,z,u),f(x,y,z)). [para(16920(a,1),18(a,2)),demod(18(5),7(5))]. given #519 (T,wt=23): 17243 f(x,f(y,z,u),f(v,z,u)) = f(v,f(y,z,u),f(x,z,u)). [para(16921(a,1),10454(a,2)),demod(8(2),10455(6),7(5))]. given #520 (T,wt=23): 17245 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,z,u),f(x,y,u)). [para(16921(a,1),10455(a,2)),demod(7(1,R),8(1),7(3,R),8(3),10455(6),7(4,R),8(4),7(5))]. given #521 (A,wt=38): 187 f(x,y,f(x,z,f(x,u,f(x,v,f(x,w,v6))))) = f(x,u,f(x,y,f(x,w,f(x,z,f(x,v,v6))))). [para(17(a,1),17(a,2,3,3))]. given #522 (F,wt=23): 17259 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,x,z),f(y,z,u)). [para(7(a,1),16923(a,1,2)),demod(7(2,R),8(2),7(4,R),8(4),7(5),8(5)),flip(a)]. given #523 (F,wt=23): 17260 f(x,f(y,z,u),f(z,u,v)) = f(y,f(x,z,u),f(z,u,v)). [para(16923(a,2),8(a,1)),demod(7(4))]. given #524 (T,wt=23): 17261 f(x,f(y,z,u),f(z,u,v)) = f(y,f(z,u,x),f(z,u,v)). [para(16923(a,2),8(a,2)),flip(a)]. given #525 (T,wt=22): 17876 f(x,y,f(z,u,f(z,y,f(v,z,x)))) = f(z,x,y). [back_demod(11675),demod(17846(5),7(2),7(2))]. given #526 (A,wt=31): 188 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,u,f(x,v,f(x,y,f(x,z,w)))). [para(17(a,1),17(a,2,3))]. given #527 (F,wt=23): 17295 f(x,f(y,z,u),f(y,v,z)) = f(u,f(y,z,x),f(y,v,z)). [para(347(a,1),16923(a,2,3)),demod(7(3),7(3),16972(5))]. given #528 (F,wt=23): 17435 f(x,f(y,z,u),f(y,z,v)) = f(u,f(y,z,x),f(y,z,v)). [para(16924(a,2),11078(a,2)),demod(7(4),7(4),473(5),16856(4),7(5),7(5))]. given #529 (T,wt=23): 17470 f(x,f(y,z,u),f(z,v,u)) = f(y,f(z,u,x),f(z,v,u)). [para(16939(a,2),430(a,2)),demod(7(5,R),4970(7),7(4)),flip(a)]. given #530 (T,wt=23): 17547 f(x,f(y,z,u),f(v,z,u)) = f(y,f(z,u,x),f(v,z,u)). [para(16959(a,2),430(a,2)),demod(7(5,R),4970(7),7(4)),flip(a)]. given #531 (A,wt=38): 189 f(x,y,f(x,z,f(x,u,f(x,v,f(x,w,v6))))) = f(x,u,f(x,y,f(x,v,f(x,w,f(x,z,v6))))). [para(17(a,2),17(a,2,3,3))]. given #532 (F,wt=22): 18016 f(x,y,f(y,z,f(x,u,f(v,x,z)))) = f(x,y,z). [para(17547(a,1),10312(a,1,3)),demod(7(4),7(4),319(4),10315(4),11(3),7(5),17880(6),7(6,R),8(6),14057(6),42(6)),flip(a)]. given #533 (F,wt=22): 18017 f(x,y,f(x,z,f(y,u,f(v,z,y)))) = f(x,z,y). [para(17547(a,2),10312(a,1,3)),demod(7(2),7(2),7(4),7(4),22(4),473(4),11(3),7(5),17733(6),7(3),7(6,R),8(6),9981(6),27(6)),flip(a)]. given #534 (T,wt=23): 17567 f(x,f(y,z,u),f(z,u,v)) = f(y,f(z,x,u),f(z,u,v)). [para(7(a,2),17015(a,1,2)),demod(7(2),8(2),7(4),8(4),7(5),8(5)),flip(a)]. given #535 (T,wt=23): 17630 f(x,f(y,z,u),f(v,z,u)) = f(v,f(x,z,u),f(y,z,u)). [para(17041(a,1),10454(a,2)),demod(8(2),10455(6),7(5)),flip(a)]. given #536 (A,wt=31): 190 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,v,f(x,z,f(x,y,f(x,u,w)))). [para(17(a,2),17(a,2,3)),flip(a)]. given #537 (F,wt=23): 17632 f(x,f(y,z,u),f(v,z,u)) = f(v,f(z,x,u),f(y,z,u)). [para(17041(a,1),10455(a,2)),demod(7(1,R),8(1),7(3,R),8(3),10455(6),7(5)),flip(a)]. given #538 (F,wt=23): 17657 f(x,f(y,z,u),f(v,y,u)) = f(v,f(x,y,u),f(y,z,u)). [para(17066(a,1),10455(a,2)),demod(7(1,R),8(1),7(3,R),8(3),10455(6),7(4),7(5,R),8(5))]. given #539 (T,wt=23): 17663 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,x,u),f(y,z,u)). [para(17137(a,1),10455(a,2)),demod(7(1,R),8(1),7(3,R),8(3),10455(6),7(5)),flip(a)]. given #540 (T,wt=23): 17676 f(x,f(y,z,u),f(y,u,v)) = f(z,f(y,u,v),f(y,u,x)). [para(17259(a,2),7(a,2)),demod(7(3),7(5),7(5))]. given #541 (A,wt=37): 196 f(x,f(y,z,u),f(v,f(y,z,u),f(y,x,w))) = f(v,f(y,z,u),f(x,w,f(y,u,f(y,z,x)))). [para(20(a,1),9(a,1,3)),demod(7(2),7(2),7(5,R),8(5),7(8,R),8(8),7(9)),flip(a)]. given #542 (F,wt=23): 17687 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,z,u),f(y,x,z)). [para(17259(a,2),430(a,2)),demod(7(5,R),4970(7)),flip(a)]. given #543 (F,wt=23): 17705 f(x,f(y,z,u),f(y,u,v)) = f(z,f(y,u,x),f(y,u,v)). [para(17259(a,2),11078(a,2)),demod(7(4),7(4),8846(5),16858(4),7(5),7(5))]. given #544 (T,wt=23): 18009 f(x,f(y,z,u),f(z,v,u)) = f(y,f(z,x,u),f(z,v,u)). [para(17470(a,1),10455(a,2)),demod(7(1,R),8(1),7(3,R),8(3),10455(6),7(4)),flip(a)]. given #545 (T,wt=23): 18019 f(x,f(y,z,u),f(v,z,u)) = f(y,f(x,z,u),f(v,z,u)). [para(17547(a,1),10454(a,2)),demod(8(2),10455(6),7(4))]. given #546 (A,wt=31): 197 f(x,y,f(z,f(u,v,w),f(x,z,u))) = f(x,z,f(x,y,f(u,w,f(z,u,v)))). [para(20(a,2),9(a,1,3)),demod(7(2),8(7),7(8,R),8(8))]. given #547 (F,wt=23): 18021 f(x,f(y,z,u),f(v,z,u)) = f(y,f(z,x,u),f(v,z,u)). [para(17547(a,1),10455(a,2)),demod(7(1,R),8(1),7(3,R),8(3),10455(6),7(4)),flip(a)]. given #548 (F,wt=23): 18038 f(x,f(y,z,u),f(z,u,v)) = f(y,f(z,u,v),f(z,x,u)). [para(17567(a,2),430(a,2)),demod(7(5,R),4970(7)),flip(a)]. given #549 (T,wt=23): 18112 f(f(x,y,z),f(x,y,u),f(y,z,u)) = f(x,y,f(y,z,u)). [para(8576(a,2),196(a,2)),demod(7(2),7(4,R),8(4),17828(5),319(3),18(4),7(3),7(4,R),8(4),7(5),532(7)),flip(a)]. given #550 (T,wt=23): 18131 f(x,f(y,z,u),f(y,v,z)) = f(v,f(y,z,u),f(y,z,x)). [para(17687(a,2),473(a,2)),demod(8(3),8846(7),7(5),7(5))]. given #551 (A,wt=31): 198 f(x,y,f(x,z,f(u,v,f(x,u,w)))) = f(x,u,f(x,z,f(x,y,f(u,w,v)))). [para(20(a,1),9(a,2,3)),demod(7(3,R),8(3),63(4),7(8,R),8(8)),flip(a)]. given #552 (F,wt=23): 18162 f(x,f(y,z,u),f(y,v,z)) = f(v,f(y,z,x),f(y,z,u)). [para(18038(a,2),473(a,2)),demod(8(3),8846(7),7(4),7(4))]. given #553 (F,wt=23): 18166 f(f(x,y,z),f(u,x,y),f(u,x,z)) = f(u,x,f(x,y,z)). [para(18112(a,1),7(a,1)),flip(a)]. given #554 (T,wt=23): 18167 f(f(x,y,z),f(y,z,u),f(x,z,u)) = f(y,z,f(x,z,u)). [para(7(a,1),18112(a,1,1)),demod(7(3,R),8(3),7(5,R),8(5))]. given #555 (T,wt=23): 18168 f(f(x,y,z),f(x,z,u),f(y,z,u)) = f(x,z,f(y,z,u)). [para(8(a,1),18112(a,1,1)),demod(7(3,R),8(3),7(5,R),8(5))]. given #556 (A,wt=31): 208 f(x,f(y,z,u),f(x,v,f(x,w,y))) = f(x,v,f(x,w,f(y,z,f(x,y,u)))). [para(20(a,1),12(a,1,3)),demod(8(5),8(6)),flip(a)]. given #557 (F,wt=23): 18237 f(f(x,y,z),f(u,x,z),f(u,x,y)) = f(u,x,f(x,y,z)). [para(18166(a,1),8(a,1)),flip(a)]. given #558 (F,wt=23): 18315 f(f(x,y,z),f(u,x,y),f(u,y,z)) = f(x,y,f(u,y,z)). [para(18167(a,1),13173(a,2)),demod(7(7,R),13600(9))]. given #559 (T,wt=23): 18361 f(f(x,y,z),f(x,u,y),f(x,u,z)) = f(x,z,f(x,u,y)). [para(18237(a,1),13173(a,2)),demod(7(2),7(2),7(3),7(3),7(4),7(4),7(6),7(6),7(7,R),13600(9),7(6,R),8(6))]. given #560 (T,wt=23): 18395 f(f(x,y,z),f(x,u,z),f(x,u,y)) = f(x,z,f(x,u,y)). [para(18361(a,1),473(a,1,3)),demod(8(2),7(4),8(7),18219(7),8(3)),flip(a)]. given #561 (A,wt=31): 210 f(x,f(y,z,u),f(x,v,f(x,y,w))) = f(x,v,f(x,w,f(y,u,f(x,y,z)))). [para(20(a,1),12(a,2,3))]. given #562 (F,wt=24): 11163 f(f(x,y,z),f(z,u,f(x,y,z)),f(x,y,v)) = f(x,y,z). [para(508(a,1),7(a,1)),demod(7(6)),flip(a)]. given #563 (F,wt=24): 11282 f(x,f(y,z,u),f(x,v,f(z,u,x))) = f(x,v,f(z,u,x)). [para(538(a,1),7(a,2)),demod(7(2),7(2),7(4),7(5),7(5))]. given #564 (T,wt=24): 11301 f(x,f(y,z,u),f(v,x,f(x,z,u))) = f(v,x,f(x,z,u)). [para(538(a,1),36(a,1,3)),demod(10440(3),10440(6)),flip(a)]. given #565 (T,wt=22): 18451 f(x,y,f(z,x,f(u,z,f(z,v,y)))) = f(z,x,y). [para(11301(a,1),11301(a,1,3)),demod(7(2),7(2),7(5),7(5),7(6,R),2523(6),8(5),18057(5),7(2,R),8(2),14057(3),7(7),7(7),7(8,R),2523(8),532(7))]. given #566 (A,wt=31): 211 f(x,y,f(x,f(z,u,v),f(x,w,z))) = f(x,w,f(x,y,f(z,u,f(x,z,v)))). [para(20(a,2),12(a,2,3)),demod(8(5),8(6)),flip(a)]. given #567 (F,wt=24): 11302 f(x,f(y,x,f(y,z,u)),f(v,z,u)) = f(y,x,f(v,z,u)). [para(538(a,1),36(a,2,3)),demod(7(4,R),905(5),18(4),7(6,R)),flip(a)]. given #568 (F,wt=24): 11342 f(x,f(y,z,u),f(v,x,f(v,z,u))) = f(v,x,f(y,z,u)). [para(538(a,1),82(a,2,3)),demod(888(5),18(4)),flip(a)]. given #569 (T,wt=24): 11383 f(x,f(y,z,u),f(v,x,f(x,y,u))) = f(v,x,f(x,y,u)). [para(10441(a,1),102(a,1,3,3)),demod(7(3,R),9981(3),430(3),7(5),7(5),430(6)),flip(a)]. given #570 (T,wt=24): 11391 f(x,y,f(z,u,f(v,z,w))) = f(x,y,f(v,z,f(z,w,u))). [para(9(a,1),573(a,1,3,2)),demod(4720(5)),flip(a)]. given #571 (A,wt=31): 217 f(x,y,f(z,f(u,v,w),f(y,z,u))) = f(y,z,f(x,y,f(u,w,f(z,u,v)))). [para(20(a,2),13(a,1,3)),demod(7(2),7(8,R),8(8))]. given #572 (F,wt=24): 11395 f(x,f(y,z,u),f(x,v,f(v,y,z))) = f(x,v,f(y,z,u)). [para(573(a,1),12(a,1)),flip(a)]. given #573 (F,wt=24): 11406 f(x,f(y,z,u),f(y,v,f(x,z,v))) = f(x,v,f(y,z,u)). [para(573(a,1),24(a,2)),demod(8(2),7(3,R),8(3))]. given #574 (T,wt=24): 11421 f(x,f(y,z,u),f(z,v,f(x,y,v))) = f(x,v,f(y,z,u)). [para(573(a,1),26(a,2)),demod(8(2),7(3,R),8(3))]. given #575 (T,wt=24): 11425 f(x,f(y,z,u),f(y,x,f(z,u,v))) = f(y,x,f(z,u,v)). [para(573(a,1),387(a,2)),demod(7(7,R),8(7),9981(8),7973(9),8(3),8(8),9770(9),7(6,R),8(6))]. given #576 (A,wt=37): 219 f(x,f(y,z,u),f(v,f(y,z,u),f(x,y,w))) = f(v,f(y,z,u),f(x,w,f(y,u,f(x,y,z)))). [para(20(a,1),13(a,2,3))]. given #577 (F,wt=24): 11442 f(x,y,f(z,u,f(z,v,w))) = f(x,y,f(z,w,f(z,v,u))). [para(1181(a,1),573(a,2,3)),demod(7(1),7(1),27(3),3371(5),7(5,R),8(5))]. given #578 (F,wt=24): 11509 f(x,f(y,z,u),f(v,y,f(x,v,z))) = f(x,v,f(y,z,u)). [para(573(a,1),98(a,2,3)),demod(73(5),22(7))]. given #579 (T,wt=24): 11820 f(f(x,y,z),f(x,z,u),f(y,z,f(x,y,v))) = f(x,y,z). [para(530(a,1),629(a,1,3))]. given #580 (T,wt=24): 11839 f(x,y,f(x,z,f(u,x,v))) = f(x,v,f(x,z,f(u,x,y))). [para(39(a,1),629(a,2)),demod(8(6),11805(11),9981(3))]. given #581 (A,wt=31): 220 f(x,y,f(z,f(u,v,w),f(z,x,u))) = f(z,x,f(x,y,f(u,v,f(z,u,w)))). [para(20(a,2),13(a,2,3)),demod(7(3,R),8(3),8(5),8(6),7(8,R),8(8)),flip(a)]. given #582 (F,wt=24): 11868 f(f(x,y,z),f(x,z,u),f(v,y,f(x,y,z))) = f(x,y,z). [para(629(a,1),6108(a,1,3)),demod(11(3),7(5,R),8(5)),flip(a)]. given #583 (F,wt=24): 11898 f(x,y,f(x,f(z,u,v),f(u,v,y))) = f(x,y,f(z,u,v)). [para(7(a,1),630(a,1)),demod(7(2),7(2),7(4),7(4))]. given #584 (T,wt=24): 11904 f(x,f(y,z,u),f(x,v,f(v,z,u))) = f(x,v,f(y,z,u)). [para(630(a,1),12(a,1)),flip(a)]. given #585 (T,wt=24): 11915 f(x,f(y,z,u),f(z,v,f(x,u,v))) = f(x,v,f(y,z,u)). [para(630(a,1),24(a,2)),demod(8(2),7(3,R),8(3))]. given #586 (A,wt=30): 222 f(x,f(y,z,f(z,u,v)),f(x,u,w)) = f(x,w,f(u,f(y,z,v),f(x,z,u))). [para(13(a,1),20(a,1,2)),demod(7(1,R),8(1),8(6))]. given #587 (F,wt=21): 18752 f(x,f(y,z,f(z,u,v)),f(z,x,v)) = f(z,x,v). [para(222(a,2),3029(a,2)),demod(7(2,R),8(2),7(3,R),8(3),7(4,R),8(4),319(4),11(4),8(2),7(4,R),8(4),319(5)),flip(a)]. given #588 (F,wt=23): 18741 f(x,f(y,z,u),f(v,y,u)) = f(z,f(y,u,x),f(v,y,u)). [para(17687(a,2),11915(a,2)),demod(17793(5),7(3,R),8(3),18740(5))]. given #589 (T,wt=23): 18742 f(x,f(y,z,u),f(v,y,u)) = f(z,f(v,y,u),f(y,u,x)). [para(18038(a,2),11915(a,2)),demod(17793(5),7(3,R),8(3),18740(5))]. given #590 (T,wt=24): 11924 f(x,f(y,z,u),f(u,v,f(x,z,v))) = f(x,v,f(y,z,u)). [para(630(a,1),26(a,2)),demod(8(2),7(3,R),8(3))]. given #591 (A,wt=37): 228 f(x,f(y,z,u),f(v,f(y,x,w),f(y,z,u))) = f(v,f(y,z,u),f(x,w,f(y,u,f(y,z,x)))). [para(20(a,1),23(a,1,3)),demod(7(2),7(2),7(5,R),8(5),7(8,R),8(8),7(9,R)),flip(a)]. given #592 (F,wt=22): 18793 f(x,y,f(z,u,f(x,z,f(v,y,z)))) = f(x,y,z). [para(2137(a,1),11924(a,1,3)),demod(7(1),7(1),7(3),7(3),8(4),9981(4),1150(3),22(2),7(2,R),8(2),7(3,R),8(3),7(4),7(4),18001(6),16015(5)),flip(a)]. given #593 (F,wt=22): 18808 f(x,y,f(y,z,f(u,x,f(x,z,v)))) = f(x,y,z). [para(228(a,2),102(a,2,3)),demod(7(5,R),8(5),9981(5),8940(4),345(4),18(3),11(3),17878(7),9981(5),1181(5),7(6,R),8(6),9981(6),10317(5)),flip(a)]. given #594 (T,wt=24): 11931 f(x,f(y,z,u),f(y,x,f(v,z,u))) = f(y,x,f(v,z,u)). [para(630(a,1),387(a,2)),demod(7(7,R),8(7),9981(8),7973(9),8(3),8(8),9770(9),7(6,R),8(6))]. given #595 (T,wt=24): 11964 f(x,f(y,z,u),f(x,u,f(v,y,z))) = f(x,u,f(v,y,z)). [para(630(a,1),4236(a,1,3,3,3)),demod(7(2),7(2),9981(8),8682(7),8(6),6195(8),7(6),7(6),11898(8))]. given #596 (A,wt=31): 232 f(x,f(y,z,u),f(x,v,f(x,w,y))) = f(x,v,f(x,w,f(y,u,f(x,y,z)))). [para(20(a,2),27(a,1,3,3)),demod(8(2),64(5))]. given #597 (F,wt=23): 18841 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,z,u),f(y,x,u)). [para(16910(a,1),11964(a,2)),demod(7(1),7(3),7(4),7(4),10455(6),7(4),7(5),8(5)),flip(a)]. given #598 (F,wt=23): 18842 f(x,f(y,z,u),f(z,v,u)) = f(y,f(z,v,u),f(z,x,u)). [para(16959(a,2),11964(a,2)),demod(7(1),7(3),7(4),7(4),10455(6),7(4),8(4),7(5)),flip(a)]. given #599 (T,wt=24): 11973 f(x,y,f(x,f(y,z,u),f(v,z,u))) = f(x,y,f(v,z,u)). [para(630(a,1),83(a,2,3)),demod(7(4,R),18(5),7(8,R),8(8),18(8))]. given #600 (T,wt=24): 11994 f(x,f(y,z,u),f(v,z,f(x,v,u))) = f(x,v,f(y,z,u)). [para(630(a,1),98(a,2,3)),demod(73(5),22(7))]. given #601 (A,wt=31): 240 f(x,y,f(x,z,f(u,v,f(x,u,w)))) = f(x,u,f(x,y,f(x,z,f(u,w,v)))). [para(20(a,1),31(a,2,3)),demod(238(5),63(6),64(5),22(5)),flip(a)]. given #602 (F,wt=24): 12068 f(f(x,y,z),f(x,y,u),f(x,z,f(y,z,v))) = f(x,y,z). [para(314(a,1),643(a,1,3))]. given #603 (F,wt=24): 12088 f(f(x,y,z),f(x,y,u),f(y,z,f(x,z,v))) = f(x,y,z). [para(2651(a,1),643(a,1,3))]. given #604 (T,wt=24): 12147 f(x,f(y,x,f(x,z,u)),f(z,u,v)) = f(y,x,f(x,z,u)). [para(670(a,1),390(a,1,3)),demod(7(1),7(5),7(6),11(7),7(6,R)),flip(a)]. given #605 (T,wt=24): 12149 f(x,y,f(z,u,f(z,v,y))) = f(x,y,f(z,v,f(z,y,u))). [para(691(a,1),7(a,2)),demod(7(1,R),8(1),8(3),7(4),7(4),7(6,R),8(6)),flip(a)]. given #606 (A,wt=44): 242 f(x,f(y,z,u),f(x,v,f(w,f(y,z,u),f(x,y,v6)))) = f(x,v,f(w,f(y,z,u),f(x,v6,f(y,u,f(x,y,z))))). [para(20(a,1),16(a,1,3,3)),flip(a)]. given #607 (F,wt=24): 12150 f(x,y,f(z,u,f(z,v,x))) = f(x,y,f(z,v,f(z,x,u))). [para(7(a,1),691(a,1)),demod(7(1,R),8(1),7(3),7(3),7(4),7(4)),flip(a)]. given #608 (F,wt=24): 12175 f(x,y,f(z,u,f(y,v,z))) = f(y,z,f(x,y,f(v,z,u))). [para(691(a,1),82(a,1,3)),demod(7(1),6108(3),22(5),7(6,R),8(6))]. low water: id=15893, wt=35 given #609 (T,wt=24): 12251 f(x,y,f(x,f(z,y,u),f(x,u,v))) = f(x,v,f(x,y,u)). [para(1248(a,1),714(a,1,2)),demod(8(1),8(3),5218(4),8(5))]. given #610 (T,wt=24): 12543 f(x,f(y,z,u),f(y,x,f(z,x,v))) = f(x,v,f(y,z,x)). [para(746(a,1),392(a,2)),demod(7(2),7(3,R),8(3),7(5),7(7,R),8(7),2224(8),7(5),7(5))]. given #611 (A,wt=38): 243 f(x,y,f(z,u,f(x,f(v,w,v6),f(x,u,v)))) = f(x,u,f(x,y,f(z,u,f(v,v6,f(x,v,w))))). [para(20(a,2),16(a,1,3,3)),demod(8(2))]. given #612 (F,wt=22): 18967 f(x,y,f(x,z,f(y,u,f(z,v,y)))) = f(x,z,y). [para(8655(a,1),243(a,2,3)),demod(8(4),22(4),10315(4),11(3),22(2),9237(7),8(5),22(6),17744(6),8(3),9981(6),27(6)),flip(a)]. given #613 (F,wt=24): 12672 f(f(x,y,z),f(y,z,f(x,z,u)),f(x,y,v)) = f(x,y,z). [para(7(a,1),758(a,1,1)),demod(7(2,R),8(2),7(4,R),8(4),7(6))]. given #614 (T,wt=24): 12673 f(f(x,y,z),f(x,z,f(y,z,u)),f(x,y,v)) = f(x,y,z). [para(8(a,1),758(a,1,1)),demod(7(2,R),8(2),8(6))]. given #615 (T,wt=24): 12684 f(f(x,y,z),f(y,z,f(x,y,u)),f(x,z,v)) = f(x,y,z). [para(23(a,2),758(a,1,2))]. given #616 (A,wt=44): 245 f(x,f(y,z,u),f(x,v,f(w,v6,f(y,u,f(w,y,z))))) = f(x,v,f(w,f(y,z,u),f(x,f(y,z,u),f(w,y,v6)))). [para(20(a,1),16(a,2,3,3)),flip(a)]. given #617 (F,wt=24): 12880 f(x,f(y,x,z),f(u,y,v)) = f(x,z,f(y,x,f(u,y,v))). [para(108(a,1),7057(a,1,3)),demod(7(2),7(3),7(3),9035(5),22(5),7(5,R),8(5),8460(5),7(5),7(6,R)),flip(a)]. given #618 (F,wt=24): 12881 f(x,y,f(x,f(z,u,y),f(x,v,u))) = f(x,v,f(x,u,y)). [para(108(a,2),356(a,2)),demod(22(3),11(3),9981(7),70(7)),flip(a)]. given #619 (T,wt=24): 12982 f(x,f(y,z,x),f(x,u,f(y,z,v))) = f(x,u,f(y,z,x)). [para(473(a,1),804(a,1,3,3)),demod(8(3),473(6),8(5)),flip(a)]. given #620 (T,wt=24): 13023 f(x,f(y,z,u),f(u,x,f(y,z,v))) = f(u,x,f(y,z,v)). [para(757(a,1),804(a,1,3)),demod(7(3,R),8(3),7(5,R),8(5),11(6),7(5,R),8(5)),flip(a)]. given #621 (A,wt=37): 246 f(x,f(y,z,f(u,v,w)),f(u,w,f(x,u,v))) = f(x,u,f(y,f(u,v,w),f(x,z,f(u,v,w)))). [para(20(a,1),16(a,2)),demod(8(3),8(7)),flip(a)]. given #622 (F,wt=24): 13047 f(x,f(y,z,u),f(v,y,f(v,x,z))) = f(v,x,f(y,z,u)). [para(885(a,1),85(a,2,3)),demod(76(5),22(7))]. given #623 (F,wt=24): 13063 f(x,y,f(z,u,f(z,y,v))) = f(z,y,f(x,y,f(z,v,u))). [para(110(a,1),41(a,2)),demod(22(6),11(7),22(7)),flip(a)]. given #624 (T,wt=24): 13111 f(x,f(y,z,u),f(v,z,f(v,x,u))) = f(v,x,f(y,z,u)). [para(888(a,1),85(a,2,3)),demod(76(5),22(7))]. given #625 (T,wt=24): 13205 f(x,y,f(x,f(z,u,y),f(x,v,z))) = f(x,v,f(x,z,y)). [para(13141(a,1),9037(a,2,3)),demod(7(1),7(5,R),8(5),12870(6),64(5),7(5,R),8(5),7(6,R),8(6))]. given #626 (A,wt=38): 247 f(x,y,f(z,u,f(x,u,f(v,w,f(z,v,v6))))) = f(x,u,f(x,y,f(z,f(v,w,v6),f(z,u,v)))). [para(20(a,2),16(a,2,3,3)),demod(8(6),8(7))]. given #627 (F,wt=24): 13270 f(x,y,f(z,u,f(v,u,w))) = f(x,y,f(v,u,f(z,u,w))). [para(9(a,1),905(a,2,3)),demod(7(4,R),8(4),8860(6),7(4))]. given #628 (F,wt=24): 13280 f(x,y,f(z,u,f(v,w,u))) = f(x,y,f(v,u,f(z,w,u))). [para(314(a,1),905(a,2,3)),demod(7(4,R),8(4),8860(6),7(4))]. given #629 (T,wt=24): 13282 f(x,y,f(z,u,f(v,w,z))) = f(x,y,f(v,z,f(w,z,u))). [para(530(a,1),905(a,2,3)),demod(7(4,R),8(4),8860(6),7(4)),flip(a)]. given #630 (T,wt=24): 13290 f(x,y,f(z,u,f(v,w,u))) = f(x,y,f(w,u,f(z,v,u))). [para(2651(a,1),905(a,2,3)),demod(7(4,R),8(4),8860(6),7(4))]. given #631 (A,wt=44): 255 f(x,f(y,z,u),f(v,f(y,z,u),f(x,w,f(y,u,f(x,y,z))))) = f(x,f(y,z,u),f(v,f(x,y,w),f(y,z,u))). [para(20(a,1),33(a,1,3,3)),demod(7(6,R),8(6),7(11,R))]. given #632 (F,wt=24): 13322 f(x,f(y,z,u),f(v,z,x)) = f(v,x,f(y,z,f(z,u,x))). [para(925(a,2),7(a,2)),demod(8(3),7(5)),flip(a)]. given #633 (F,wt=24): 13323 f(x,f(y,z,u),f(x,u,v)) = f(x,v,f(z,u,f(x,y,u))). [para(7(a,1),925(a,1,2)),demod(7(2,R),8(2),7(4),8(4))]. given #634 (T,wt=24): 13324 f(x,f(y,z,u),f(x,u,v)) = f(x,v,f(y,u,f(x,z,u))). [para(8(a,1),925(a,1,2)),demod(7(2,R),8(2),7(4),8(4))]. given #635 (T,wt=24): 13326 f(x,y,f(z,u,f(u,v,y))) = f(x,y,f(u,y,f(z,u,v))). [para(925(a,2),319(a,1,3)),demod(7(4),3010(6),7(6,R),8(6)),flip(a)]. given #636 (A,wt=31): 256 f(x,y,f(z,f(u,v,w),f(z,x,u))) = f(z,x,f(x,y,f(u,w,f(z,u,v)))). [para(20(a,2),33(a,1,3,3)),demod(8(2),76(5))]. given #637 (F,wt=24): 13391 f(x,y,f(y,f(x,z,u),f(y,v,u))) = f(y,v,f(x,y,u)). [back_demod(13178),demod(13327(4),8(2))]. given #638 (F,wt=24): 13393 f(x,f(y,z,u),f(z,v,x)) = f(v,x,f(y,z,f(z,u,x))). [para(926(a,1),7(a,2)),demod(7(2,R),8(2),7(3),8(4))]. given #639 (T,wt=24): 13394 f(x,f(y,x,z),f(u,z,v)) = f(y,x,f(u,z,f(x,z,v))). [para(926(a,1),8(a,1)),demod(7(1,R),8(1),8(4)),flip(a)]. given #640 (T,wt=24): 13455 f(x,y,f(x,z,f(y,u,v))) = f(x,z,f(x,y,f(z,u,v))). [back_demod(1250),demod(13442(4),13438(7))]. given #641 (A,wt=38): 270 f(x,f(y,z,u),f(x,v,f(x,w,f(x,v6,y)))) = f(x,v,f(x,w,f(x,v6,f(y,z,f(x,y,u))))). [para(20(a,1),17(a,1,3,3)),demod(8(6),8(7)),flip(a)]. given #642 (F,wt=23): 19324 f(x,f(y,z,u),f(x,v,y)) = f(x,f(v,z,u),f(x,v,y)). [para(13455(a,1),10541(a,1,3)),demod(16491(5)),flip(a)]. low water: id=16543, wt=34 given #643 (F,wt=23): 19341 f(x,f(y,z,u),f(x,v,u)) = f(x,f(v,y,z),f(x,v,u)). [para(19324(a,1),7(a,1)),demod(7(5),7(5),7(6,R)),flip(a)]. given #644 (T,wt=23): 19342 f(x,f(y,z,u),f(v,x,u)) = f(x,f(v,y,z),f(v,x,u)). [para(19324(a,1),7(a,2)),demod(7(2),7(3),7(4),7(4),7(5)),flip(a)]. given #645 (T,wt=23): 19343 f(x,f(y,z,u),f(x,v,u)) = f(x,f(y,v,z),f(x,v,u)). [para(7(a,1),19324(a,1,2)),demod(8(2),7(4),8(4),8(5)),flip(a)]. given #646 (A,wt=38): 272 f(x,y,f(x,z,f(x,u,f(v,w,f(x,v,v6))))) = f(x,z,f(x,u,f(x,v,f(x,y,f(v,v6,w))))). [para(20(a,2),17(a,1,3,3)),demod(238(4)),flip(a)]. given #647 (F,wt=23): 19344 f(x,f(y,z,u),f(x,v,u)) = f(x,f(y,z,v),f(x,v,u)). [para(7(a,2),19324(a,1,2)),demod(8(2),7(4),7(4),8(5)),flip(a)]. given #648 (F,wt=23): 19541 f(x,f(y,z,u),f(v,x,u)) = f(x,f(y,z,v),f(v,x,u)). [para(19341(a,1),7(a,2)),demod(7(2),7(3),7(4),7(4),7(5)),flip(a)]. given #649 (T,wt=23): 19654 f(x,f(y,z,u),f(v,u,x)) = f(x,f(y,z,v),f(v,u,x)). [para(19342(a,1),7(a,2)),demod(7(2),7(3),7(4),7(4),7(5)),flip(a)]. given #650 (T,wt=23): 19655 f(x,f(y,z,u),f(v,x,y)) = f(x,f(v,z,u),f(v,x,y)). [para(7(a,1),19342(a,1)),demod(7(2),7(3,R))]. given #651 (A,wt=38): 273 f(x,y,f(x,f(z,u,v),f(x,w,f(x,z,v6)))) = f(x,w,f(x,y,f(x,v6,f(z,v,f(x,z,u))))). [para(20(a,1),17(a,2,3,3))]. given #652 (F,wt=23): 19692 f(x,f(y,z,u),f(v,x,u)) = f(x,f(y,v,z),f(v,x,u)). [para(19343(a,2),7(a,2)),demod(7(2,R),8(2),7(3),7(5,R),8(5)),flip(a)]. given #653 (F,wt=23): 19699 f(x,f(y,z,u),f(x,v,z)) = f(x,f(v,y,u),f(x,v,z)). [para(19343(a,1),31(a,1,3)),demod(8(2),27(4),7(4),8(5))]. given #654 (T,wt=23): 19779 f(x,f(y,z,u),f(v,y,x)) = f(x,f(v,z,u),f(v,y,x)). [para(7(a,1),19654(a,1)),demod(7(2),7(3,R),7(4))]. given #655 (T,wt=23): 19794 f(x,f(y,z,u),f(v,u,x)) = f(x,f(v,y,z),f(v,u,x)). [para(19655(a,1),7(a,2)),demod(7(2),7(3),7(4),7(4),7(5)),flip(a)]. given #656 (A,wt=38): 275 f(x,y,f(x,z,f(x,f(u,v,w),f(x,v6,u)))) = f(x,z,f(x,v6,f(x,y,f(u,v,f(x,u,w))))). [para(20(a,2),17(a,2,3,3)),demod(8(6),8(7)),flip(a)]. given #657 (F,wt=23): 19833 f(x,f(y,z,u),f(x,v,z)) = f(x,f(y,v,u),f(x,v,z)). [para(347(a,1),19699(a,1,3)),demod(8(3),8(5),9981(5),15008(5),8(1),7(4,R),8(4),347(7)),flip(a)]. given #658 (F,wt=24): 13495 f(x,f(y,z,u),f(z,x,f(y,u,v))) = f(z,x,f(y,u,v)). [para(1090(a,1),804(a,1,3)),demod(7(3),7(5,R),8(5),11(6),7(5)),flip(a)]. given #659 (T,wt=24): 13523 f(f(x,y,z),f(u,x,y),f(z,v,f(x,y,z))) = f(x,y,z). [para(760(a,1),1165(a,1,2)),demod(7(3,R),2523(3),7(4,R),11(4),8(4),7(8,R),2523(8))]. given #660 (T,wt=24): 13527 f(f(x,y,z),f(z,u,f(x,y,z)),f(v,x,y)) = f(x,y,z). [para(760(a,1),1166(a,1,3)),demod(7(3,R),2523(3),8(3),7(6,R),11(6),7(8,R),2523(8))]. given #661 (A,wt=44): 286 f(x,f(y,f(z,u,v),f(x,z,w)),f(x,v6,f(z,u,v))) = f(x,v6,f(y,f(z,u,v),f(x,w,f(z,v,f(x,z,u))))). [para(20(a,1),20(a,2,3,3)),demod(7(3),8(5),7(11,R),8(11))]. given #662 (F,wt=24): 13560 f(x,y,f(y,z,f(u,y,v))) = f(u,y,f(y,v,f(x,y,z))). [para(1335(a,1),455(a,2)),demod(9981(5),10879(6))]. given #663 (F,wt=24): 13581 f(x,f(y,x,z),f(u,x,v)) = f(u,x,f(y,x,f(x,z,v))). [para(9(a,1),1519(a,1,2)),demod(7(4),974(6),8(5),9606(5),7(5)),flip(a)]. given #664 (T,wt=24): 13583 f(x,f(y,x,z),f(u,x,v)) = f(u,x,f(y,x,f(x,v,z))). [para(23(a,1),1519(a,1,2)),demod(7(4),974(6),8(5),488(5),7(5)),flip(a)]. given #665 (T,wt=24): 13586 f(x,f(y,z,u),f(u,x,v)) = f(x,v,f(y,u,f(z,u,x))). [para(313(a,1),1519(a,2,3)),demod(7(2,R),8(2),7(5,R),8(5),1708(6),7(4),7(4))]. given #666 (A,wt=38): 288 f(x,f(y,z,u),f(x,v,f(x,w,f(y,u,f(x,y,z))))) = f(x,v,f(x,y,f(x,w,f(y,z,u)))). [back_demod(230),demod(238(10))]. given #667 (F,wt=24): 13588 f(x,f(y,z,u),f(z,x,v)) = f(x,v,f(z,u,f(y,z,x))). [para(314(a,2),1519(a,2,3)),demod(7(2,R),8(2),7(5,R),8(5),1708(6),7(4),7(4))]. given #668 (F,wt=24): 13589 f(x,f(y,x,z),f(u,x,f(y,z,v))) = f(u,x,f(y,x,z)). [para(378(a,1),1519(a,1,2)),demod(7(4),10320(5),18(4),7(5)),flip(a)]. given #669 (T,wt=22): 19936 f(x,y,f(z,u,f(v,z,f(z,x,y)))) = f(z,x,y). [para(10495(a,1),13589(a,1,3)),demod(7(1),7(3),8(5),1151(5),7(5,R),8(5),17859(6),329(3),7(5),7(7),8(9),1151(9),8(8),16850(8))]. given #670 (T,wt=22): 19939 f(x,y,f(z,u,f(v,z,f(x,y,z)))) = f(x,y,z). [para(7(a,1),19936(a,1,3)),demod(7(1),7(1),7(3),7(3),7(5),7(5))]. given #671 (A,wt=37): 290 f(x,f(y,z,u),f(x,v,f(y,w,f(x,y,v6)))) = f(x,v,f(x,y,f(x,f(y,w,v6),f(y,z,u)))). [back_demod(252),demod(271(10),8(6),8(8),238(10))]. given #672 (F,wt=22): 19940 f(x,y,f(z,u,f(v,u,f(x,y,u)))) = f(x,y,u). [para(7(a,2),19936(a,1,3)),demod(7(1),7(1),8(3),7(5),7(5))]. given #673 (F,wt=22): 19947 f(x,y,f(z,u,f(v,u,f(x,u,y)))) = f(x,u,y). [para(19936(a,1),11964(a,1,3)),demod(7(1,R),8(1),8(3),7(4,R),8(4),8(5),9981(5),19153(4),7(1,R),8(1),889(3),7(2,R),8(2),7(4,R),8(4)),flip(a)]. given #674 (T,wt=24): 13590 f(x,f(y,z,u),f(x,v,f(y,x,z))) = f(x,v,f(y,x,z)). [para(378(a,1),1519(a,1,3,3)),demod(473(6)),flip(a)]. given #675 (T,wt=24): 13594 f(x,f(y,x,f(y,z,u)),f(v,x,z)) = f(v,x,f(y,x,z)). [para(382(a,1),1519(a,1,2)),demod(7(4),10324(5),18(4),7(5)),flip(a)]. given #676 (A,wt=31): 302 f(x,y,f(x,z,f(x,u,f(x,v,w)))) = f(x,v,f(x,u,f(x,y,f(x,z,w)))). [para(206(a,1),17(a,1,3,3)),demod(7(2,R),8(2),7(5,R),8(5),7(6,R),8(6),63(9),164(9))]. given #677 (F,wt=24): 13596 f(x,f(y,z,f(z,x,u)),f(y,x,v)) = f(x,v,f(y,z,x)). [para(384(a,1),1519(a,2,3)),demod(7(1,R),8(1),7(3,R),8(3),7(4,R),8(4),7(7,R),8(7),1708(8),7(5),7(5))]. given #678 (F,wt=24): 13597 f(x,f(y,z,f(y,x,u)),f(z,x,v)) = f(x,v,f(y,z,x)). [para(385(a,1),1519(a,1,3,3)),demod(7(1,R),8(1),7(3),7(4),7(4),12509(6),7(5,R),8(5),12192(8),8(5))]. given #679 (T,wt=24): 13598 f(x,f(y,z,f(y,x,u)),f(v,x,z)) = f(v,x,f(y,x,z)). [para(387(a,1),1519(a,1,2)),demod(7(4),10325(5),18(4),7(5)),flip(a)]. given #680 (T,wt=24): 13599 f(x,f(y,z,f(y,x,u)),f(v,x,u)) = f(v,x,f(y,x,u)). [para(705(a,1),1519(a,1,2)),demod(7(4),10326(5),18(4),7(5)),flip(a)]. given #681 (A,wt=43): 308 f(f(x,y,z),f(u,v,f(x,z,f(x,y,u))),f(u,w,f(x,y,z))) = f(u,f(x,y,z),f(w,f(x,y,z),f(x,u,v))). [para(20(a,1),206(a,1,2)),demod(7(2),7(2),8(6),7(10,R),8(10),7(11))]. given #682 (F,wt=24): 13610 f(x,y,f(z,y,f(y,u,v))) = f(y,v,f(z,y,f(x,y,u))). [para(1181(a,1),1519(a,1,2)),demod(7(5),10336(6),18(6),7(6),9981(7),2051(6))]. given #683 (F,wt=24): 13616 f(x,f(y,z,x),f(x,u,f(v,y,z))) = f(x,u,f(y,z,x)). [para(2523(a,1),1519(a,1,3,3)),demod(11(6)),flip(a)]. given #684 (T,wt=24): 13621 f(x,y,f(z,x,f(u,x,v))) = f(x,y,f(x,v,f(u,z,x))). [para(2651(a,1),1519(a,2,3)),demod(1519(6)),flip(a)]. given #685 (T,wt=24): 13666 f(x,f(y,z,f(z,u,x)),f(y,x,v)) = f(x,v,f(y,z,x)). [para(7057(a,1),1519(a,2,3)),demod(7(1),7(3,R),8(3),7(4),7(7,R),8(7),1708(8),7(5),7(5))]. given #686 (A,wt=43): 309 f(f(x,y,z),f(u,v,f(x,y,z)),f(u,w,f(x,z,f(x,y,u)))) = f(u,f(x,y,z),f(v,f(x,u,w),f(x,y,z))). [para(20(a,1),206(a,1,3)),demod(8(3),7(4),7(4),7(10,R),8(10),7(11,R))]. given #687 (F,wt=24): 13675 f(x,f(y,z,f(y,u,x)),f(z,x,v)) = f(x,v,f(y,z,x)). [para(8714(a,1),1519(a,2,3)),demod(7(3,R),8(3),7(7,R),8(7),1708(8),8(5))]. given #688 (F,wt=24): 13712 f(x,f(y,z,f(z,u,x)),f(u,x,v)) = f(x,v,f(z,u,x)). [para(13141(a,1),1519(a,2,3)),demod(7(1),7(1),7(2,R),8(2),33(3),7(3,R),8(3),7(4),7(4),7(5,R),8(5),33(6),7(7,R),8(7),1708(8),7(5),8(5))]. given #689 (T,wt=24): 13721 f(x,f(y,z,u),f(v,x,f(y,v,z))) = f(v,x,f(y,z,u)). [para(1090(a,1),1519(a,1,3)),demod(7(3,R),8(3),7(5,R),8(5),11(6),7(5,R),8(5)),flip(a)]. given #690 (T,wt=24): 13834 f(x,f(y,z,u),f(v,x,f(z,u,x))) = f(v,x,f(z,u,x)). [para(2523(a,1),1708(a,1,3,3)),demod(11(6)),flip(a)]. given #691 (A,wt=41): 321 f(x,y,f(z,f(u,v,f(x,v,w)),f(x,v,f(x,z,f(u,v,w))))) = f(x,z,f(x,y,f(u,v,f(x,v,w)))). [para(16(a,1),207(a,1,3,3)),demod(8(10))]. given #692 (F,wt=24): 13841 f(x,f(y,z,u),f(v,x,f(y,z,v))) = f(v,x,f(y,z,u)). [para(902(a,1),1708(a,1,3)),demod(7(2),7(2),473(6),7(4),7(4)),flip(a)]. given #693 (F,wt=22): 20104 f(x,y,f(z,u,f(y,z,f(x,v,z)))) = f(x,y,z). [para(8565(a,1),13841(a,2)),demod(319(8),7(8),6(8),7(5),20103(5),8(2))]. given #694 (T,wt=24): 13842 f(x,f(y,z,u),f(v,x,f(z,u,v))) = f(v,x,f(y,z,u)). [para(905(a,1),1708(a,1,3)),demod(7(2),7(2),473(6),7(4),7(4)),flip(a)]. given #695 (T,wt=24): 13856 f(x,f(y,z,f(y,u,x)),f(u,v,f(y,u,x))) = f(y,u,x). [para(1729(a,1),36(a,1)),demod(8(1),7(3),7(3),13849(5),8(2),8(4),1736(7),8(4),12886(7),401(7),7(6,R)),flip(a)]. given #696 (A,wt=41): 325 f(x,y,f(z,f(x,u,f(x,v,w)),f(x,u,f(x,v,f(x,z,w))))) = f(x,z,f(x,y,f(x,u,f(x,v,w)))). [para(17(a,2),207(a,1,3,3)),demod(8(10))]. given #697 (F,wt=22): 20135 f(x,y,f(x,z,f(u,y,f(v,z,y)))) = f(x,z,y). [para(13856(a,1),10495(a,2)),demod(7(1),7(3),7(5,R),8(5),362(5),8(4),17733(4),7(1),7(2,R),8(2),7(4),7(5,R),8(5),18(5),8(5),9981(5),27(5),7(5))]. given #698 (F,wt=24): 13857 f(x,f(y,z,f(y,x,u)),f(z,v,f(y,z,x))) = f(y,z,x). [para(1729(a,1),36(a,2,3)),demod(8(1),8(3),7(5),7(5),550(7),362(3),8(2),7(6,R)),flip(a)]. given #699 (T,wt=24): 13906 f(x,y,f(z,x,f(x,u,v))) = f(z,x,f(x,v,f(x,y,u))). [back_demod(10347),demod(13863(6),11(5)),flip(a)]. given #700 (T,wt=24): 13938 f(x,y,f(y,f(x,z,u),f(y,u,v))) = f(y,v,f(x,y,u)). [para(8422(a,1),1751(a,2,3)),demod(7(1,R),8(1))]. given #701 (A,wt=40): 327 f(x,y,f(z,f(u,v,f(x,u,w)),f(x,f(u,v,w),f(x,z,u)))) = f(x,z,f(x,y,f(u,v,f(x,u,w)))). [para(20(a,2),207(a,1,3,3)),demod(8(3),8(4),8(10))]. given #702 (F,wt=21): 20151 f(x,f(y,z,f(u,v,y)),f(u,x,y)) = f(u,x,y). [para(383(a,1),13938(a,1,3)),demod(8(2),3136(3),7(3),7(3)),flip(a)]. given #703 (F,wt=24): 14057 f(x,f(y,x,z),f(x,u,v)) = f(x,z,f(y,x,f(x,u,v))). [para(1756(a,2),1766(a,2)),demod(9981(7),9981(6),5164(8)),flip(a)]. given #704 (T,wt=24): 14126 f(x,y,f(z,y,f(y,u,v))) = f(y,u,f(y,v,f(x,z,y))). [para(1834(a,1),7(a,2)),demod(8(3),7(4))]. given #705 (T,wt=24): 14149 f(x,y,f(y,f(x,z,u),f(y,v,z))) = f(x,y,f(y,v,z)). [para(51(a,2),137(a,2,3)),demod(385(3),33(3)),flip(a)]. given #706 (A,wt=34): 330 f(x,f(y,z,f(z,u,v)),f(z,u,f(x,u,f(y,z,v)))) = f(x,u,f(y,z,f(z,u,v))). [para(16(a,1),319(a,1,3)),demod(7(1,R),8(1),7(4,R),8(4),7(5,R),8(5),7(7,R),8(7),7(9,R),8(9))]. given #707 (F,wt=24): 14213 f(x,f(y,z,f(z,x,u)),f(x,u,v)) = f(x,v,f(z,x,u)). [para(2199(a,1),7(a,2)),demod(7(1),7(4),7(5))]. given #708 (F,wt=24): 14221 f(x,f(y,z,f(u,y,x)),f(v,u,f(u,y,x))) = f(u,y,x). [para(2199(a,1),382(a,1,3)),demod(7(1),7(3),7(5,R),7(6),8(8),1151(8))]. given #709 (T,wt=24): 14224 f(x,f(y,z,f(y,u,x)),f(v,u,f(y,u,x))) = f(y,u,x). [para(2199(a,1),36(a,1)),demod(8(1),7(3),7(3),8(4),8(5),9981(5),14222(5),8(2),8(4),5218(7),12251(7),7(6,R)),flip(a)]. given #710 (T,wt=24): 14238 f(x,f(y,z,f(u,z,x)),f(u,v,f(u,z,x))) = f(u,z,x). [para(2199(a,1),82(a,2,3)),demod(8(1),8(3),8(5),550(7),1150(3),8(2),8(4)),flip(a)]. given #711 (A,wt=34): 331 f(x,f(y,z,f(x,u,v)),f(y,z,f(x,u,f(x,y,v)))) = f(x,y,f(y,z,f(x,u,v))). [para(16(a,2),319(a,1,3)),demod(7(1,R),8(1),7(3,R),8(3),7(4,R),8(4),7(7,R),8(7),7(9,R),8(9))]. given #712 (F,wt=24): 14260 f(x,y,f(z,u,f(z,v,x))) = f(z,x,f(x,y,f(z,v,u))). [para(1615(a,1),141(a,2)),demod(7(4),7(4),329(6),7(5,R),8(5),329(5),7(5),7(5),8(6),9981(8),1519(7)),flip(a)]. given #713 (F,wt=24): 14276 f(x,f(y,z,u),f(v,x,f(y,u,x))) = f(v,x,f(y,u,x)). [para(8578(a,1),2224(a,1,3,3)),demod(8(2),8(4),11(6),8(4)),flip(a)]. given #714 (T,wt=24): 14316 f(f(x,y,z),f(u,x,y),f(v,z,f(x,y,z))) = f(x,y,z). [para(2602(a,1),13173(a,2)),demod(7(9,R),13600(11))]. given #715 (T,wt=24): 14376 f(x,y,f(x,f(z,u,v),f(z,v,y))) = f(x,y,f(z,u,v)). [para(7(a,1),3352(a,1)),demod(7(2),7(2),7(4),7(4))]. given #716 (A,wt=34): 335 f(f(x,y,z),f(x,u,v),f(u,v,f(x,z,f(x,y,u)))) = f(u,f(x,y,z),f(x,u,v)). [para(20(a,1),319(a,1,3)),demod(7(2,R),8(2),7(3),7(3),7(8,R),8(8))]. given #717 (F,wt=24): 14379 f(x,f(y,z,u),f(x,v,f(v,y,u))) = f(x,v,f(y,z,u)). [para(3352(a,1),12(a,1)),flip(a)]. given #718 (F,wt=24): 14386 f(x,f(y,z,u),f(y,v,f(x,u,v))) = f(x,v,f(y,z,u)). [para(3352(a,1),24(a,2)),demod(8(2),7(3,R),8(3))]. given #719 (T,wt=24): 14392 f(x,f(y,z,u),f(u,v,f(x,y,v))) = f(x,v,f(y,z,u)). [para(3352(a,1),26(a,2)),demod(8(2),7(3,R),8(3))]. given #720 (T,wt=24): 14396 f(x,f(y,z,u),f(x,u,f(y,v,z))) = f(x,u,f(y,v,z)). [para(3352(a,1),362(a,1,3,3)),demod(7(2),7(2),9981(7),8612(6),8(5),13244(7),7(6),7(6),14376(8))]. given #721 (A,wt=33): 336 f(x,f(y,z,f(y,u,v)),f(u,f(y,z,v),f(x,y,u))) = f(x,u,f(y,z,f(y,u,v))). [para(20(a,2),319(a,1,3)),demod(7(1,R),8(1),8(3),7(4),8(4),7(7,R),8(7),7(9,R),8(9))]. given #722 (F,wt=24): 14398 f(x,f(y,z,u),f(y,x,f(z,v,u))) = f(y,x,f(z,v,u)). [para(3352(a,1),387(a,2)),demod(7(7,R),8(7),9981(8),7973(9),8(3),8(8),9770(9),7(6,R),8(6))]. given #723 (F,wt=24): 14406 f(x,f(y,z,u),f(v,x,f(v,y,u))) = f(v,x,f(y,z,u)). [para(3352(a,1),1201(a,2)),demod(7(7,R),8(7),9981(9),9471(10),7(6,R),8(6))]. given #724 (T,wt=24): 14410 f(x,y,f(x,f(y,z,u),f(z,v,u))) = f(x,y,f(z,v,u)). [para(3352(a,1),83(a,2,3)),demod(7(4,R),18(5),7(8,R),8(8),18(8))]. given #725 (T,wt=24): 14416 f(x,f(y,z,u),f(v,y,f(x,v,u))) = f(x,v,f(y,z,u)). [para(3352(a,1),98(a,2,3)),demod(73(5),22(7))]. given #726 (A,wt=43): 361 f(x,f(y,z,f(z,u,v)),f(z,u,f(u,w,f(y,z,v)))) = f(u,f(y,z,f(z,u,v)),f(x,w,f(y,z,f(z,u,v)))). [para(16(a,1),313(a,1,3)),demod(7(1,R),8(1),7(5,R),8(5),7(7,R),8(7),7(9,R),8(9))]. given #727 (F,wt=22): 20368 f(x,y,f(z,x,f(z,u,f(v,z,y)))) = f(z,x,y). [para(473(a,1),361(a,1,3,3)),demod(11(1),319(3),11(3),11(2),11(4),17878(6),9981(4)),flip(a)]. given #728 (F,wt=24): 14444 f(x,f(y,z,u),f(x,v,f(y,u,x))) = f(x,v,f(y,u,x)). [para(14411(a,1),804(a,1,3,3)),demod(8(3),11(6),8(5)),flip(a)]. given #729 (T,wt=24): 14445 f(x,f(y,z,x),f(x,u,f(y,v,z))) = f(x,u,f(y,z,x)). [para(14411(a,1),1519(a,1,3,3)),demod(11(6)),flip(a)]. given #730 (T,wt=24): 14467 f(x,y,f(y,f(z,x,u),f(z,y,v))) = f(y,v,f(z,x,y)). [para(388(a,1),4981(a,1,3)),demod(7(2),7(3),7(4),7(4),10396(6),7(6),7(7),10397(8))]. given #731 (A,wt=43): 375 f(x,f(y,z,f(y,u,v)),f(u,f(y,z,v),f(y,u,w))) = f(u,f(y,z,f(y,u,v)),f(x,w,f(y,z,f(y,u,v)))). [para(20(a,2),313(a,1,3)),demod(7(1,R),8(1),8(3),7(4,R),8(4),7(7,R),8(7),7(9,R),8(9))]. given #732 (F,wt=24): 14472 f(x,y,f(y,f(x,z,u),f(z,y,v))) = f(y,v,f(x,z,y)). [para(746(a,1),4981(a,1,3)),demod(7(2),7(3),7(4),7(4),12542(6),7(6),7(7),12543(8))]. given #733 (F,wt=24): 14485 f(x,f(y,z,u),f(y,v,x)) = f(v,x,f(y,u,f(y,z,x))). [para(5010(a,1),7(a,2)),demod(7(2),7(3),7(4),7(4))]. given #734 (T,wt=24): 14571 f(x,y,f(z,y,f(y,u,v))) = f(y,v,f(y,u,f(x,z,y))). [para(6449(a,1),7(a,2)),demod(8(3),7(4))]. given #735 (T,wt=24): 14604 f(f(x,y,z),f(x,u,y),f(z,v,f(x,y,z))) = f(x,y,z). [para(6728(a,1),1165(a,1,2)),demod(7(3,R),14411(3),7(4,R),11(4),8(4),7(8,R),14411(8))]. given #736 (A,wt=31): 391 f(x,y,f(z,u,f(x,z,f(u,v,w)))) = f(x,z,f(x,y,f(u,w,f(z,u,v)))). [para(9(a,2),24(a,2,3,3))]. given #737 (F,wt=24): 14605 f(f(x,y,z),f(z,u,f(x,y,z)),f(x,v,y)) = f(x,y,z). [para(6728(a,1),1166(a,1,3)),demod(7(3,R),14411(3),8(3),7(6,R),11(6),7(8,R),14411(8))]. given #738 (F,wt=24): 14646 f(x,y,f(z,u,f(x,v,u))) = f(x,y,f(v,u,f(x,z,u))). [para(7(a,2),6922(a,1,3)),demod(8(2),8(4))]. given #739 (T,wt=24): 14666 f(x,f(y,z,u),f(x,v,z)) = f(x,v,f(z,u,f(x,y,z))). [para(6922(a,2),630(a,2)),demod(503(6),5218(4),31(4))]. given #740 (T,wt=24): 14704 f(x,f(y,z,u),f(v,y,x)) = f(v,x,f(y,u,f(y,z,x))). [para(7790(a,2),760(a,2)),demod(8(4),12781(6)),flip(a)]. given #741 (A,wt=31): 393 f(x,y,f(z,u,f(x,z,f(z,v,w)))) = f(x,z,f(x,y,f(z,w,f(z,u,v)))). [para(14(a,1),24(a,2,3,3)),demod(8(5))]. given #742 (F,wt=24): 14708 f(x,f(y,z,u),f(y,v,x)) = f(v,x,f(y,z,f(y,x,u))). [para(7(a,1),8327(a,1)),demod(7(3,R),8(4))]. given #743 (F,wt=24): 14719 f(x,f(y,z,x),f(z,u,v)) = f(y,x,f(z,u,f(z,x,v))). [para(8328(a,2),8(a,2)),demod(7(1,R),8(1),8(3),8(4)),flip(a)]. given #744 (T,wt=24): 14968 f(x,y,f(z,u,f(y,v,u))) = f(x,y,f(y,u,f(v,z,u))). [para(8576(a,2),379(a,1,2)),demod(7(2),8(2),7(4),7(6),7(8,R),8(8),6344(10),8789(6),11(5),7(4),7(6,R),8(6)),flip(a)]. given #745 (T,wt=24): 14976 f(x,f(y,z,u),f(x,z,f(y,v,u))) = f(x,z,f(y,v,u)). [para(8576(a,2),10092(a,1,2)),demod(7(2),7(2),10440(3),7(2),7(3),7(5),7(6))]. given #746 (A,wt=35): 394 f(x,y,f(x,z,f(y,u,f(x,v,f(x,y,w))))) = f(x,z,f(y,u,f(x,v,f(x,y,w)))). [para(27(a,1),24(a,1,3,3)),flip(a)]. given #747 (F,wt=24): 14988 f(x,f(y,z,u),f(v,x,u)) = f(v,x,f(z,u,f(x,y,u))). [para(8576(a,2),902(a,1,3)),demod(7(3,R),8(3),6196(5),7(4))]. given #748 (F,wt=24): 14992 f(x,y,f(x,f(z,y,u),f(x,v,u))) = f(x,v,f(x,y,u)). [para(8576(a,2),1500(a,2,3)),demod(7(1),7(2),18(3),11(3),7(3),7(4,R),8(4),7(5),7(5),9981(7),31(6)),flip(a)]. given #749 (T,wt=24): 14994 f(x,f(y,z,u),f(x,u,f(x,v,y))) = f(x,v,f(x,y,u)). [para(8576(a,2),6449(a,1,3)),demod(7(1,R),8(1),7(2),8(2),8578(3),7(3),7(4),7(4)),flip(a)]. given #750 (T,wt=24): 15018 f(x,y,f(z,u,f(v,z,w))) = f(x,y,f(z,w,f(v,z,u))). [para(89(a,1),8589(a,2,3)),demod(7(1,R),8(1),33(3),7(3,R),8(3),9937(6),7(4,R),8(4),9981(8),12880(7),7(9,R),8(9),124(9),14789(7),7(4),7(5,R),8(5),1154(7))]. given #751 (A,wt=25): 395 f(x,y,f(x,z,f(u,y,f(x,u,v)))) = f(x,z,f(x,u,y)). [para(24(a,1),16(a,1,3)),demod(383(3),7(1,R),8(1),7(3,R),8(3)),flip(a)]. given #752 (F,wt=24): 15134 f(x,f(y,z,u),f(y,x,f(x,z,v))) = f(x,v,f(y,x,z)). [para(385(a,1),8670(a,1,3,3)),demod(7(1,R),8(1),7(3),7(4),7(4),7(5,R),8(5),14811(6),382(3),18(2),7(3,R),8(3),7(5),14057(6)),flip(a)]. given #753 (F,wt=24): 15144 f(x,f(y,z,u),f(y,x,f(x,u,v))) = f(x,v,f(y,x,u)). [para(8714(a,1),8670(a,1,3,3)),demod(7(3),8(4),7(5,R),8(5),14811(6),8459(3),18(2),7(5),14057(6)),flip(a)]. given #754 (T,wt=24): 15269 f(x,f(y,z,u),f(v,y,f(v,x,u))) = f(v,x,f(y,z,u)). [para(8859(a,1),85(a,2,3)),demod(76(5),22(7))]. given #755 (T,wt=24): 15279 f(x,f(y,z,u),f(v,x,f(y,u,v))) = f(v,x,f(y,z,u)). [para(8859(a,1),2224(a,1,3)),demod(7(2),7(2),473(6),7(4),7(4)),flip(a)]. given #756 (A,wt=38): 396 f(x,y,f(z,u,f(x,u,f(v,w,f(z,v,v6))))) = f(x,u,f(x,y,f(z,v,f(z,u,f(v,w,v6))))). [para(24(a,1),16(a,2,3,3))]. given #757 (F,wt=24): 15362 f(x,f(y,z,u),f(x,v,u)) = f(x,v,f(y,u,f(x,z,u))). [para(8576(a,2),8860(a,2)),demod(7(1),7(3),8860(6),7(4,R),8(4),7(5),7(5)),flip(a)]. given #758 (F,wt=24): 15391 f(x,y,f(x,z,f(u,v,y))) = f(x,z,f(x,y,f(z,u,v))). [para(8861(a,1),96(a,2,3)),demod(7(1),8(2),11915(4),8(4)),flip(a)]. given #759 (T,wt=24): 15415 f(f(x,y,z),f(x,u,y),f(v,z,f(x,y,z))) = f(x,y,z). [para(8936(a,1),13173(a,2)),demod(7(9,R),13600(11))]. given #760 (T,wt=24): 15501 f(x,f(y,z,f(y,u,x)),f(u,x,v)) = f(y,x,f(u,x,v)). [para(9664(a,1),7(a,2)),demod(7(1),7(4),7(6,R),8(6))]. given #761 (A,wt=38): 398 f(x,y,f(z,u,f(x,v,f(x,z,f(v,w,v6))))) = f(x,z,f(x,y,f(z,u,f(v,w,f(x,v,v6))))). [para(16(a,1),24(a,1,3,3)),demod(7(1,R),8(1),7(7,R),8(7))]. given #762 (F,wt=24): 15684 f(x,y,f(x,f(y,z,u),f(x,z,v))) = f(x,v,f(x,y,z)). [para(1091(a,1),161(a,2,3)),demod(22(5))]. given #763 (F,wt=24): 15844 f(x,y,f(y,z,f(u,y,v))) = f(u,y,f(y,z,f(x,y,v))). [para(10210(a,1),455(a,2)),demod(9981(5),10879(6))]. given #764 (T,wt=24): 15850 f(x,y,f(x,f(y,z,u),f(v,x,u))) = f(v,x,f(x,y,u)). [para(8576(a,2),10210(a,1,3)),demod(7(1,R),8(1),7(2),8(2),8578(3),7(3),7(6,R),8(6)),flip(a)]. given #765 (T,wt=24): 15854 f(x,y,f(x,f(z,y,u),f(x,z,v))) = f(x,y,f(x,z,v)). [para(7(a,1),10251(a,1,2)),demod(7(1,R),8(1),7(2),7(2),7(3),14673(4),7(5))]. given #766 (A,wt=38): 399 f(x,y,f(z,u,f(x,v,f(z,w,f(x,z,v6))))) = f(x,z,f(x,y,f(z,u,f(x,v,f(z,w,v6))))). [para(16(a,2),24(a,1,3,3)),demod(7(2,R),8(2),7(6,R),8(6))]. given #767 (F,wt=24): 15962 f(x,f(y,z,f(u,y,x)),f(u,x,f(u,y,v))) = f(u,y,x). [para(10269(a,1),5178(a,1)),demod(8(4)),flip(a)]. given #768 (F,wt=22): 20582 f(x,y,f(z,y,f(x,u,f(z,v,x)))) = f(z,x,y). [para(15962(a,1),1216(a,2)),demod(7(1,R),8(1),7(3,R),8(3),7(5,R),8(5),7(7,R),8(7),8(9),20182(11),17720(12),13627(10),17413(4),8(1),7(5,R),8(5))]. given #769 (T,wt=24): 16131 f(x,y,f(z,x,f(u,x,v))) = f(z,x,f(x,v,f(u,x,y))). [para(10312(a,1),455(a,2)),demod(9981(5),10879(6)),flip(a)]. given #770 (T,wt=24): 16135 f(x,f(y,z,u),f(x,y,f(x,z,v))) = f(x,v,f(x,y,z)). [para(13(a,1),10320(a,1,3)),demod(7(2),7(2),7(3,R),8(3),7(5,R),8(5),7(6,R),8(6))]. given #771 (A,wt=38): 400 f(x,y,f(z,u,f(x,z,f(v,w,f(z,w,v6))))) = f(x,z,f(x,y,f(z,w,f(z,u,f(v,w,v6))))). [para(16(a,1),24(a,2,3,3))]. given #772 (F,wt=24): 16137 f(x,f(y,z,u),f(x,z,f(x,y,v))) = f(x,v,f(x,y,z)). [para(314(a,2),10320(a,1,3)),demod(7(2),8(2),7(5,R),8(5),7(6,R),8(6))]. given #773 (F,wt=24): 16159 f(x,f(y,z,u),f(x,z,f(x,v,y))) = f(x,v,f(x,y,z)). [para(10322(a,1),347(a,2)),demod(7(2,R),8(2),7(3),7(4),7(6,R),8(6),7(7),9981(8),15613(8),14850(7),8(3),9981(6),722(6),7(5),7(6,R),8(6))]. given #774 (T,wt=24): 16200 f(x,f(y,z,u),f(x,y,f(x,u,v))) = f(x,v,f(x,y,u)). [para(7(a,2),10397(a,1,2)),demod(7(2,R),8(2),7(3,R),8(3),7(5),8(5))]. given #775 (T,wt=24): 16336 f(x,f(y,z,u),f(v,y,f(v,z,x))) = f(v,x,f(y,z,u)). [para(10453(a,1),1201(a,2)),demod(7(3,R),8(3),7(5,R),8(5),8(8),7(9,R),8(9),5088(11),7(6,R),8(6))]. given #776 (A,wt=38): 402 f(x,y,f(z,u,f(x,z,f(z,v,f(u,w,v6))))) = f(x,z,f(x,y,f(z,v,f(u,w,f(z,u,v6))))). [para(16(a,2),24(a,2,3,3)),demod(7(1,R),8(1),7(7,R),8(7))]. given #777 (F,wt=24): 16376 f(x,f(y,z,u),f(x,v,f(y,v,z))) = f(x,v,f(y,z,u)). [para(10454(a,1),383(a,2)),demod(7(7),9981(8),14789(8),768(7))]. given #778 (F,wt=24): 16386 f(x,f(y,z,u),f(y,v,f(v,z,x))) = f(v,x,f(y,z,u)). [para(10454(a,1),1201(a,2)),demod(7(3,R),8(3),7(5,R),8(5),8(8),7(9,R),8(9),5093(11),7(6,R),8(6))]. given #779 (T,wt=24): 16400 f(x,y,f(x,f(z,y,u),f(z,u,v))) = f(x,y,f(z,u,v)). [para(10454(a,1),390(a,2,3)),demod(27(6),10454(8))]. given #780 (T,wt=24): 16459 f(x,f(y,z,u),f(x,y,f(x,v,z))) = f(x,v,f(x,y,z)). [para(7(a,1),10467(a,1)),demod(7(1,R),8(1),7(3,R),8(3),7(4,R),8(5),7(6,R),8(6))]. given #781 (A,wt=35): 403 f(x,y,f(x,z,f(y,u,f(y,v,f(x,y,w))))) = f(x,z,f(y,u,f(x,y,f(y,v,w)))). [para(33(a,1),24(a,1,3,3)),flip(a)]. given #782 (F,wt=24): 16491 f(x,f(y,z,u),f(x,z,f(x,u,v))) = f(x,v,f(x,z,u)). [para(7(a,1),10471(a,1,2)),demod(7(2),7(2),7(6,R),8(6))]. given #783 (F,wt=24): 16537 f(x,f(y,z,f(y,x,u)),f(v,z,f(y,z,x))) = f(y,z,x). [para(10495(a,1),40(a,2,3)),demod(7(1),7(1),7(3),7(3),7(5),7(5),7(6,R),8(6),550(7),1150(3),7(2),7(2),7(4,R),8(4),7(6,R)),flip(a)]. given #784 (T,wt=24): 16538 f(x,f(y,z,f(z,u,x)),f(u,v,f(z,u,x))) = f(z,u,x). [para(10495(a,1),75(a,1,3)),demod(7(1),7(3),7(5),7(5),14230(6),7(5,R),8(5),362(5),7(4),7(4),12880(4),42(3),1151(3),7(2),7(4),7(6),7(6),14230(7)),flip(a)]. given #785 (T,wt=22): 20623 f(x,y,f(z,u,f(v,z,f(x,z,y)))) = f(x,z,y). [para(10471(a,1),16538(a,1,2)),demod(8(2),7(5),7(5),22(5),11(5),8(6),7(7,R),8(7),9981(7),1150(6),22(5),14787(6),7(4,R),20182(4),140(3),8(7),7(8,R),8(8),9981(8),1150(7),22(6))]. given #786 (A,wt=38): 405 f(x,y,f(x,z,f(x,u,f(v,w,f(x,v,v6))))) = f(x,v,f(x,y,f(x,z,f(x,u,f(v,w,v6))))). [para(24(a,2),17(a,1,3,3))]. given #787 (F,wt=24): 16540 f(x,f(y,z,f(u,z,x)),f(u,z,f(u,x,v))) = f(u,z,x). [para(10495(a,1),390(a,2,3)),demod(7(1),7(1),7(3),7(3),8(5),7(6,R),8(6),550(7),1150(3),7(2),7(2),7(4,R),8(4)),flip(a)]. given #788 (F,wt=24): 16568 f(x,f(y,z,u),f(v,z,f(x,v,y))) = f(x,v,f(y,z,u)). [para(10453(a,1),10506(a,1)),flip(a)]. given #789 (T,wt=24): 16583 f(x,f(y,z,u),f(v,u,f(x,v,z))) = f(x,v,f(y,z,u)). [para(10523(a,1),10506(a,1)),flip(a)]. given #790 (T,wt=24): 16590 f(x,f(y,z,u),f(u,x,f(z,x,v))) = f(x,v,f(z,u,x)). [para(10541(a,1),7(a,2)),demod(7(2,R),8(2),7(3,R),8(3),7(4),7(5),7(5))]. given #791 (A,wt=38): 406 f(x,y,f(x,z,f(x,u,f(v,w,f(x,v,v6))))) = f(x,u,f(x,y,f(x,v,f(x,z,f(v,w,v6))))). [para(24(a,1),17(a,2,3,3))]. given #792 (F,wt=24): 16601 f(x,f(y,z,f(y,u,x)),f(v,u,x)) = f(y,x,f(v,u,x)). [para(10541(a,1),36(a,2,3)),demod(7(4,R),550(6),7(6,R)),flip(a)]. given #793 (F,wt=24): 16608 f(x,f(y,z,x),f(u,v,f(u,z,x))) = f(u,x,f(y,z,x)). [para(10541(a,1),82(a,2,3)),demod(347(6)),flip(a)]. given #794 (T,wt=24): 16617 f(x,y,f(x,f(z,u,y),f(x,u,v))) = f(x,v,f(x,u,y)). [para(10541(a,1),390(a,2,3)),demod(27(6),538(8))]. given #795 (T,wt=24): 16626 f(x,f(y,z,x),f(u,v,f(z,x,u))) = f(x,u,f(y,z,x)). [para(10541(a,1),10322(a,1,3)),demod(7(3,R),8(3),7(4),7(4),11303(6),7(7,R),8(7),319(8))]. given #796 (A,wt=38): 407 f(x,y,f(z,u,f(x,v,f(x,z,f(x,w,v6))))) = f(x,z,f(x,y,f(z,u,f(x,w,f(x,v,v6))))). [para(17(a,1),24(a,1,3,3))]. given #797 (F,wt=24): 16671 f(x,f(y,z,u),f(v,u,f(x,v,y))) = f(x,v,f(y,z,u)). [para(10586(a,1),10506(a,1)),flip(a)]. given #798 (F,wt=24): 16674 f(x,f(y,z,u),f(u,x,f(y,x,v))) = f(x,v,f(y,u,x)). [para(10602(a,1),7(a,2)),demod(7(2,R),8(2),7(3,R),8(3),7(4),7(5),7(5))]. given #799 (T,wt=24): 16676 f(x,f(y,z,f(y,u,x)),f(u,v,x)) = f(y,x,f(u,v,x)). [para(10602(a,1),36(a,2,3)),demod(7(4,R),550(6),7(6,R)),flip(a)]. given #800 (T,wt=24): 16680 f(x,f(y,z,x),f(u,v,f(u,y,x))) = f(u,x,f(y,z,x)). [para(10602(a,1),82(a,2,3)),demod(347(6)),flip(a)]. given #801 (A,wt=38): 408 f(x,y,f(z,u,f(x,v,f(x,w,f(x,z,v6))))) = f(x,z,f(x,y,f(z,u,f(x,v,f(x,w,v6))))). [para(17(a,2),24(a,1,3,3))]. given #802 (F,wt=24): 16683 f(x,y,f(x,f(z,u,y),f(x,z,v))) = f(x,v,f(x,z,y)). [para(10602(a,1),390(a,2,3)),demod(27(6),6252(8))]. given #803 (F,wt=24): 16745 f(x,f(y,z,u),f(x,z,f(y,x,v))) = f(x,v,f(y,x,z)). [para(9664(a,1),10657(a,2)),demod(1821(6))]. given #804 (T,wt=24): 16774 f(x,y,f(y,z,f(u,y,v))) = f(y,v,f(y,z,f(x,u,y))). [para(1834(a,1),10877(a,2)),demod(7(4),9981(5),10879(6),7(4))]. given #805 (T,wt=24): 16775 f(x,y,f(z,x,f(u,x,v))) = f(u,x,f(x,y,f(z,x,v))). [para(4472(a,1),10877(a,2)),demod(7(4),9981(5),10879(6),7(4)),flip(a)]. given #806 (A,wt=38): 409 f(x,y,f(z,u,f(x,z,f(z,v,f(z,w,v6))))) = f(x,z,f(x,y,f(z,w,f(z,u,f(z,v,v6))))). [para(17(a,1),24(a,2,3,3))]. given #807 (F,wt=24): 16776 f(x,y,f(y,z,f(u,y,v))) = f(y,z,f(y,v,f(x,u,y))). [para(6449(a,1),10877(a,2)),demod(7(4),9981(5),10879(6),7(4))]. given #808 (F,wt=24): 16809 f(x,f(y,z,u),f(v,x,z)) = f(v,x,f(z,u,f(x,y,z))). [para(10944(a,2),902(a,1,3)),demod(869(5))]. given #809 (T,wt=24): 16837 f(x,y,f(z,u,f(u,v,x))) = f(x,y,f(u,x,f(z,u,v))). [para(51(a,1),11023(a,2)),demod(6(3),7(3),6(3),7(2),7(3,R),12880(3),7(4),7(4)),flip(a)]. given #810 (T,wt=24): 16887 f(x,y,f(x,z,f(u,v,y))) = f(x,z,f(x,y,f(u,v,z))). [para(10529(a,1),177(a,2,3)),demod(8(2),7(3,R),8(3),11504(5),7(4),7(4))]. given #811 (A,wt=38): 410 f(x,y,f(z,u,f(x,z,f(z,v,f(z,w,v6))))) = f(x,z,f(x,y,f(z,v,f(z,w,f(z,u,v6))))). [para(17(a,2),24(a,2,3,3))]. given #812 (F,wt=24): 16918 f(x,f(y,z,u),f(v,z,f(v,x,y))) = f(v,x,f(y,z,u)). [para(11078(a,1),10733(a,1)),flip(a)]. given #813 (F,wt=24): 17022 f(x,y,f(z,f(y,u,v),f(x,u,v))) = f(x,y,f(z,u,v)). [para(16909(a,1),8961(a,1,3)),demod(7(1),7(2),7(5))]. given #814 (T,wt=24): 17096 f(x,y,f(z,f(x,u,v),f(y,u,v))) = f(x,y,f(z,u,v)). [para(16910(a,1),902(a,1,3)),demod(7(2),7(5))]. given #815 (T,wt=24): 17107 f(x,y,f(z,x,f(x,u,v))) = f(x,u,f(z,x,f(x,y,v))). [para(5472(a,2),16910(a,2)),demod(7(2,R),8(2),7(3),6(3),7(3),14057(3),7(4,R),8(4),8(5),9981(7),329(6))]. given #816 (A,wt=44): 414 f(x,f(y,z,u),f(x,v,f(w,f(x,y,v6),f(y,z,u)))) = f(x,v,f(w,f(y,z,u),f(x,v6,f(y,u,f(x,y,z))))). [para(20(a,1),24(a,1,3,3)),demod(7(5,R),8(5),7(10,R)),flip(a)]. given #817 (F,wt=24): 17114 f(x,f(y,z,x),f(x,u,v)) = f(x,u,f(y,x,f(z,x,v))). [para(10391(a,2),16910(a,2)),demod(7(2,R),8(2),7(3),6(3),7(3),7(4,R),8(4),9981(7),10318(6))]. given #818 (F,wt=24): 17136 f(x,y,f(z,x,f(x,u,v))) = f(x,v,f(z,x,f(x,y,u))). [para(17042(a,1),8670(a,1,3,3)),demod(7(1),7(3),7(4),7(6,R),8(6),8846(7),7(4),7(6),14057(7),9981(7),42(6)),flip(a)]. given #819 (T,wt=24): 17217 f(x,f(y,z,u),f(x,u,f(v,x,z))) = f(v,x,f(x,z,u)). [para(16921(a,1),39(a,1,3)),demod(7(2),10440(3)),flip(a)]. given #820 (T,wt=24): 17218 f(x,f(y,z,u),f(x,z,f(v,x,u))) = f(v,x,f(x,z,u)). [para(16921(a,1),43(a,1,3)),demod(7(2),10440(3)),flip(a)]. given #821 (A,wt=38): 415 f(x,y,f(z,u,f(x,f(v,w,v6),f(x,z,v)))) = f(x,z,f(x,y,f(z,u,f(v,v6,f(x,v,w))))). [para(20(a,2),24(a,1,3,3)),demod(8(2))]. given #822 (F,wt=24): 17220 f(x,f(y,z,u),f(x,u,f(v,x,y))) = f(x,u,f(v,x,y)). [para(16921(a,1),4722(a,1,3,3)),demod(532(4),7(4,R),16738(4),7(6))]. given #823 (F,wt=24): 17227 f(x,y,f(x,f(z,u,y),f(v,x,u))) = f(v,x,f(x,u,y)). [para(16921(a,1),1751(a,1,3)),demod(7(2),10440(3)),flip(a)]. given #824 (T,wt=24): 17228 f(x,y,f(x,f(z,y,u),f(v,x,u))) = f(v,x,f(x,y,u)). [para(16921(a,1),1758(a,1,3)),demod(7(2),10440(3)),flip(a)]. given #825 (T,wt=24): 17249 f(x,f(y,z,u),f(x,y,f(v,x,u))) = f(v,x,f(x,y,u)). [para(16922(a,1),43(a,1,3)),demod(7(2),10441(3)),flip(a)]. given #826 (A,wt=38): 416 f(x,y,f(z,f(u,v,w),f(x,z,f(z,u,v6)))) = f(x,z,f(x,y,f(z,v6,f(u,w,f(z,u,v))))). [para(20(a,1),24(a,2,3,3))]. given #827 (F,wt=24): 17252 f(x,y,f(x,f(z,u,y),f(v,x,z))) = f(v,x,f(x,z,y)). [para(16922(a,1),1751(a,1,3)),demod(7(2),10441(3)),flip(a)]. given #828 (F,wt=24): 17337 f(x,y,f(z,f(u,v,y),f(x,u,v))) = f(x,y,f(z,u,v)). [para(16923(a,1),1500(a,2,3)),demod(11915(4),7(4)),flip(a)]. given #829 (T,wt=24): 17583 f(x,y,f(z,f(x,u,v),f(u,v,y))) = f(x,y,f(u,v,z)). [para(17015(a,1),24(a,2,3)),demod(8(2),7(3,R),8(3),11406(4),7(3),7(4),7(4)),flip(a)]. given #830 (T,wt=24): 17762 f(x,y,f(z,u,f(y,v,u))) = f(x,y,f(v,u,f(y,z,u))). [back_demod(17682),demod(17728(4),8(1),8(4),17728(7),8(4))]. given #831 (A,wt=38): 417 f(x,y,f(z,u,f(x,z,f(v,w,f(z,v,v6))))) = f(x,z,f(x,y,f(z,f(v,w,v6),f(z,u,v)))). [para(20(a,2),24(a,2,3,3)),demod(8(6),8(7))]. given #832 (F,wt=24): 17908 f(x,y,f(z,u,f(x,z,v))) = f(x,z,f(y,u,f(x,y,v))). [back_demod(17718),demod(7(1),7(2),8(2),7(3,R),8(3),9981(5),15374(5),9237(3),8(1),22(2),7(4),7(5),14787(7),7(5,R),8(5))]. given #833 (F,wt=24): 17909 f(x,y,f(z,u,f(x,z,v))) = f(x,z,f(y,v,f(x,y,u))). [back_demod(17299),demod(7(1),7(2,R),8(2),7(3),8(3),9981(5),15374(5),9237(3),8(1),22(2),7(4),7(5),14787(7),7(5,R),8(5))]. given #834 (T,wt=24): 17948 f(x,f(y,z,u),f(z,v,x)) = f(v,x,f(z,u,f(y,z,x))). [back_demod(14121),demod(17935(5),9237(3),8(1),22(2)),flip(a)]. given #835 (T,wt=24): 18028 f(x,y,f(z,y,f(y,u,v))) = f(y,u,f(z,y,f(x,y,v))). [para(10312(a,1),18017(a,2)),demod(7(7,R),8(7),7(8,R),8(8),17733(8),8(5),7(6,R),8(6),14787(6),7(4,R),8(4),17850(8),17731(6),15283(4))]. given #836 (A,wt=34): 420 f(x,f(y,z,f(y,u,v)),f(y,u,f(x,u,f(y,z,v)))) = f(x,u,f(y,z,f(y,u,v))). [para(24(a,1),319(a,1,3)),demod(7(1,R),8(1),7(4,R),8(4),7(5,R),8(5),7(7,R),8(7),7(9,R),8(9))]. given #837 (F,wt=24): 18031 f(x,y,f(z,u,f(v,z,y))) = f(z,y,f(x,u,f(v,x,y))). [para(17567(a,1),16(a,1)),demod(17859(4),7(1),17853(7))]. given #838 (F,wt=24): 18034 f(x,y,f(z,u,f(x,u,v))) = f(x,u,f(z,y,f(x,y,v))). [para(17567(a,1),24(a,1)),demod(7(2,R),8(2),14779(4),17741(7),7(6,R),8(6))]. given #839 (T,wt=24): 18109 f(x,y,f(z,u,f(z,x,v))) = f(z,x,f(y,u,f(x,v,y))). [para(196(a,2),104(a,2,3)),demod(7(3,R),8(3),7(4,R),8(4),15153(5),17731(4),8(6),8847(8),17485(7),7(4,R),8(4)),flip(a)]. given #840 (T,wt=24): 18120 f(x,y,f(z,u,f(z,y,v))) = f(z,y,f(x,v,f(x,y,u))). [para(10657(a,1),196(a,2,3)),demod(7(5,R),11(5),7(5),14787(6),17889(4),7(7,R),8(7),22(7),8(7),17846(7),7(4),7(4))]. given #841 (A,wt=43): 421 f(x,f(y,z,f(y,u,v)),f(y,u,f(u,w,f(y,z,v)))) = f(u,f(y,z,f(y,u,v)),f(x,w,f(y,z,f(y,u,v)))). [para(24(a,1),313(a,1,3)),demod(7(1,R),8(1),7(5,R),8(5),7(7,R),8(7),7(9,R),8(9))]. given #842 (F,wt=22): 20829 f(x,y,f(z,y,f(x,u,f(v,z,x)))) = f(z,x,y). [para(378(a,1),421(a,1,3,3)),demod(22(2),22(3),11(3),22(3),22(5),20182(6),17886(5),7(2)),flip(a)]. given #843 (F,wt=24): 18279 f(x,f(y,z,u),f(y,z,f(x,u,v))) = f(y,z,f(x,u,v)). [para(18166(a,1),84(a,2,3)),demod(7(3),7(3),7(6,R),8(6),7(7),7(7),17398(8),7(7,R),8(7),2710(7),7(9,R),8(9),7(10,R),8(10),14787(10),7(7,R),8(7),11509(8))]. given #844 (T,wt=23): 20843 f(f(x,y,z),f(u,v,y),f(u,v,x)) = f(u,v,f(x,y,z)). [para(18279(a,1),16909(a,1)),flip(a)]. given #845 (T,wt=22): 20897 f(x,y,f(z,u,f(z,x,f(v,z,y)))) = f(z,x,y). [para(16853(a,1),20843(a,2)),demod(7(4),18(4),7(5),18057(6),20182(4),22(3),9981(3))]. given #846 (A,wt=38): 427 f(x,y,f(z,u,f(x,z,f(v,w,f(z,v,v6))))) = f(x,z,f(x,y,f(z,v,f(z,u,f(v,w,v6))))). [para(24(a,1),24(a,2,3,3))]. given #847 (F,wt=23): 20844 f(f(x,y,z),f(y,u,v),f(x,u,v)) = f(u,v,f(x,y,z)). [para(18279(a,1),16909(a,2)),demod(7(2),7(3))]. given #848 (F,wt=23): 20845 f(x,f(y,z,u),f(y,v,u)) = f(v,f(y,z,u),f(y,u,x)). [para(16910(a,1),18279(a,2)),demod(7(1,R),8(1),8(2),7(3,R),8(3),18360(6),7(4,R),8(4),8(5)),flip(a)]. given #849 (T,wt=23): 20846 f(f(x,y,z),f(x,u,v),f(y,u,v)) = f(u,v,f(x,y,z)). [para(18279(a,1),16923(a,2)),demod(7(3))]. given #850 (T,wt=23): 20847 f(x,f(y,z,u),f(y,v,z)) = f(v,f(y,x,z),f(y,z,u)). [para(16923(a,1),18279(a,2)),demod(7(1,R),8(1),8(2),7(3,R),8(3),18360(6),8(5)),flip(a)]. given #851 (A,wt=38): 431 f(x,y,f(z,u,f(x,f(v,w,v6),f(x,z,v)))) = f(x,z,f(x,y,f(z,u,f(v,w,f(x,v,v6))))). [back_demod(287),demod(413(5)),flip(a)]. given #852 (F,wt=23): 20849 f(x,f(y,z,u),f(y,v,u)) = f(z,f(y,v,u),f(y,u,x)). [para(16939(a,2),18279(a,2)),demod(8(2),18360(6),8(4)),flip(a)]. given #853 (F,wt=23): 20850 f(f(x,y,z),f(u,v,x),f(u,v,y)) = f(u,v,f(x,y,z)). [para(18279(a,1),16940(a,1)),flip(a)]. given #854 (T,wt=23): 20851 f(x,f(y,z,u),f(y,u,v)) = f(z,f(y,x,u),f(y,u,v)). [para(17260(a,1),18279(a,2)),demod(7(1,R),8(1),8(2),7(3,R),8(3),18360(6),7(4,R),8(4))]. given #855 (T,wt=23): 20857 f(f(x,y,z),f(u,v,y),f(x,u,v)) = f(u,v,f(x,y,z)). [para(18279(a,1),17583(a,2)),demod(22(5),626(6))]. given #856 (A,wt=36): 438 f(x,f(y,z,u),f(v,f(y,z,u),f(y,v,w))) = f(v,f(y,z,u),f(x,f(y,v,w),f(y,z,u))). [back_demod(264),demod(7(3,R),8(3),7(7,R),8(7))]. given #857 (F,wt=23): 20859 f(f(x,y,z),f(z,u,v),f(x,y,u)) = f(x,y,f(z,u,v)). [para(20843(a,1),7(a,1)),flip(a)]. given #858 (F,wt=23): 20860 f(f(x,y,z),f(x,y,u),f(z,u,v)) = f(x,y,f(z,u,v)). [para(20843(a,1),7(a,2)),demod(7(3,R),8(3),7(5,R),8(5))]. ============================== PROOF ================================= % Proof 1 at 724.21 (+ 1.70) seconds: dist_both. % Length of proof is 193. % Level of proof is 31. % Maximum clause weight is 43. % Given clauses 858. 4 f(f(x,y,z),y,u) = f(x,y,f(z,y,u)) # label(associativity). [input]. 5 f(f(A,B,C),D,E) != f(f(A,D,E),f(B,D,E),f(C,D,E)) | f(f(A,B,C),D,E) != f(A,f(B,D,E),f(C,D,E)) # answer(dist_both). [input]. 6 f(x,x,y) = x # label(majority). [input]. 7 f(x,y,z) = f(z,x,y) # label(2a). [input]. 8 f(x,y,z) = f(x,z,y) # label(2b). [input]. 9 f(x,y,f(z,x,u)) = f(z,x,f(x,u,y)) # label(associativity). [copy(4),demod(7(2),7(2),7(3,R),8(3))]. 10 f(f(A,D,E),f(B,D,E),f(C,D,E)) != f(D,E,f(A,B,C)) | f(A,f(B,D,E),f(C,D,E)) != f(D,E,f(A,B,C)) # answer(dist_both). [copy(5),demod(7(7),7(7),7(28),7(28)),flip(a),flip(b)]. 11 f(x,y,y) = y. [para(7(a,1),6(a,1))]. 12 f(x,y,f(x,z,u)) = f(x,z,f(x,y,u)). [para(9(a,2),7(a,1)),demod(7(1,R),8(1),8(3),7(4),8(4))]. 13 f(x,y,f(z,y,u)) = f(z,y,f(x,y,u)). [para(9(a,1),7(a,2)),demod(8(2),7(3))]. 14 f(x,y,f(x,z,u)) = f(x,u,f(x,z,y)). [para(9(a,2),7(a,2)),demod(8(2),7(3),7(3))]. 16 f(x,y,f(z,u,f(x,u,v))) = f(x,u,f(x,y,f(z,u,v))). [para(9(a,1),9(a,1,3)),demod(7(1),8(5),7(6,R),8(6))]. 18 f(x,y,f(x,z,y)) = f(x,z,y). [para(9(a,2),9(a,1)),demod(7(1,R),11(1),7(2),8(2)),flip(a)]. 20 f(x,f(y,z,u),f(x,y,v)) = f(x,v,f(y,u,f(x,y,z))). [para(9(a,2),9(a,2,3)),demod(7(2),7(2),7(6,R),8(6))]. 22 f(x,y,f(x,y,z)) = f(x,y,z). [para(11(a,1),9(a,2,3)),demod(7(1),7(1),7(3),7(3))]. 23 f(x,y,f(z,x,u)) = f(z,x,f(x,y,u)). [para(12(a,1),7(a,2)),demod(8(2),7(3,R),8(3)),flip(a)]. 24 f(x,y,f(z,u,f(x,z,v))) = f(x,z,f(x,y,f(z,u,v))). [para(12(a,1),9(a,1,3)),demod(7(1,R),8(1),8(5),7(6,R),8(6))]. 27 f(x,y,f(x,z,f(x,y,u))) = f(x,z,f(x,y,u)). [para(18(a,1),9(a,1,3)),demod(7(1),7(3),8(4),7(5,R),8(5)),flip(a)]. 28 f(x,f(x,y,z),f(x,z,u)) = f(x,u,f(x,y,z)). [para(18(a,1),9(a,2,3)),demod(7(2),7(2),7(5,R),8(5))]. 31 f(x,y,f(x,z,f(x,u,y))) = f(x,z,f(x,u,y)). [para(18(a,1),12(a,1,3)),flip(a)]. 33 f(x,y,f(y,z,f(x,y,u))) = f(x,y,f(y,z,u)). [para(9(a,2),22(a,1,3)),demod(8(4))]. 36 f(x,y,f(z,u,f(y,u,v))) = f(y,u,f(x,y,f(z,u,v))). [para(9(a,1),13(a,1,3)),demod(7(1),7(6,R),8(6))]. 37 f(x,y,f(z,x,f(x,u,v))) = f(z,x,f(x,u,f(x,y,v))). [para(9(a,2),13(a,1,3)),demod(7(1,R),8(1),8(4),7(6,R),8(6)),flip(a)]. 38 f(x,y,f(z,u,f(z,x,v))) = f(z,x,f(x,y,f(z,u,v))). [para(9(a,1),13(a,2,3)),demod(7(1,R),8(1),7(2,R),8(2),8(4),7(5,R),8(5),7(6,R),8(6)),flip(a)]. 40 f(x,y,f(z,u,f(y,z,v))) = f(y,z,f(x,y,f(z,u,v))). [para(12(a,1),13(a,1,3)),demod(7(1,R),8(1),7(6,R),8(6))]. 42 f(x,y,f(z,x,f(x,y,u))) = f(z,x,f(x,y,u)). [para(18(a,1),13(a,1,3)),demod(7(1),7(3),7(5,R),8(5)),flip(a)]. 45 f(x,f(y,z,u),f(x,v,y)) = f(x,v,f(y,z,f(x,y,u))). [para(9(a,2),14(a,1,3)),demod(8(4),8(5)),flip(a)]. 47 f(x,y,f(x,z,f(x,u,v))) = f(x,u,f(x,y,f(x,v,z))). [para(14(a,1),12(a,2,3)),demod(8(4)),flip(a)]. 49 f(x,f(x,y,z),f(x,u,z)) = f(x,u,f(x,y,z)). [para(18(a,1),14(a,1,3)),demod(8(4)),flip(a)]. 51 f(x,f(y,z,u),f(x,v,z)) = f(x,v,f(y,z,f(x,z,u))). [para(13(a,1),14(a,1,3)),demod(8(5)),flip(a)]. 54 f(x,f(y,z,u),f(y,z,f(x,y,u))) = f(x,y,f(y,z,u)). [para(23(a,2),18(a,1,3))]. 57 f(x,f(x,y,z),f(x,u,f(x,z,v))) = f(x,f(x,u,v),f(x,y,z)). [para(9(a,1),28(a,1,3)),demod(8(2),7(3,R),8(3),7(5,R),8(5))]. 61 f(x,y,f(z,u,f(x,z,v))) = f(x,y,f(x,z,f(z,v,u))). [para(9(a,2),28(a,2,3)),demod(8(4),49(5)),flip(a)]. 63 f(x,f(x,y,z),f(x,u,v)) = f(x,y,f(x,z,f(x,u,v))). [para(28(a,1),12(a,2,3)),demod(57(4))]. 64 f(x,y,f(x,z,f(x,u,f(x,y,v)))) = f(x,u,f(x,z,f(x,y,v))). [para(12(a,1),28(a,1,2)),demod(8(4),63(5),63(4),31(3))]. 73 f(x,y,f(x,z,f(y,u,f(x,y,v)))) = f(x,z,f(y,u,f(x,y,v))). [para(27(a,1),9(a,1,3)),demod(7(1,R),8(1),7(4,R),8(4),8(6),7(7,R),8(7)),flip(a)]. 76 f(x,y,f(y,z,f(x,u,f(x,y,v)))) = f(y,z,f(x,u,f(x,y,v))). [para(27(a,1),13(a,2,3)),demod(7(3,R),8(3),7(7,R),8(7))]. 82 f(x,y,f(z,u,f(u,y,v))) = f(u,y,f(x,y,f(z,u,v))). [para(16(a,1),7(a,2)),demod(7(1,R),8(1),8(3),7(5,R),8(5),7(6,R),8(6))]. 84 f(x,y,f(z,u,f(x,z,f(u,v,w)))) = f(x,z,f(x,y,f(u,v,f(z,u,w)))). [para(16(a,1),9(a,1,3)),demod(7(1,R),8(1),7(2,R),8(2),7(6,R