----- Prover9 July-2005D, 18 July 2005 -----
Process 16555 was started by mccune on theorem.mcs.anl.gov,
Fri Jul 22 17:59:23 2005
The command was "prover9 -f dist-3.in".

% Reading from file dist-3.in

set(auto).
    % set(auto) -> set(auto1).
    % set(auto1) -> set(auto_inference).
    % set(auto1) -> set(fof_reduction).
    % set(auto1) -> set(predicate_elimination).
    % set(auto1) -> set(unfold_eq).
    % set(unfold_eq) -> assign(unfold_eq_limit, 2147483647).
    % set(unfold_eq) -> clear(fold_eq).
    % set(auto1) -> set(inverse_order).
    % set(auto1) -> assign(new_constants, 1).
    % assign(new_constants, 1) -> clear(x_proofs).
    % assign(new_constants, 1) -> clear(rx_proofs).
    % set(auto1) -> assign(lex_dep_demod_lim, 11).
    % set(auto1) -> set(lex_dep_demod_sane).
    % set(auto1) -> assign(max_weight, 100).
    % set(auto1) -> assign(age_part, 1).
    % set(auto1) -> assign(weight_part, 2).
    % set(auto1) -> assign(weight_neg_part, 2).
    % set(auto1) -> assign(sos_limit, 10000).
    % set(auto1) -> clear(x_proofs).
    % set(auto1) -> assign(stats, lots).
    % set(auto1) -> assign(max_megs, 200).
    % set(auto1) -> clear(clocks).
assign(order,kbo).
set(lex_order_vars).

terms(weights).
(x = y) = (x + 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.

clauses(goals).
f(f(A,B,C),D,E) != f(f(A,D,E),f(B,D,E),f(C,D,E)) # answer(dist_long).
end_of_list.

% Finished reading the input.

% Entering prover search function.
% Assigned IDs to 5 clauses.
% 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).

% Reasonable options, based on the structure of the clauses:
  % (nothing changed)

% 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 7 7 (R) 8)]
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(goals).
10 f(f(A,D,E),f(B,D,E),f(C,D,E)) != f(D,E,f(A,B,C)) # answer(dist_long).  [copy 5 demod (7 7) flip a]
end_of_list.

% Starting search at 0.00 seconds.

given #1 (wt=7): 6 f(x,x,y) = x # label(majority).  [input]

given #2 (wt=10): 7 f(x,y,z) = f(z,x,y) # label(2a).  [input]

given #3 (wt=10): 8 f(x,y,z) = f(x,z,y) # label(2b).  [input]

given #4 (wt=17): 9 f(x,y,f(z,x,u)) = f(z,x,f(x,u,y)) # label(associativity).  [copy 4 demod (7 7 7 (R) 8)]

given #5 (wt=7): 11 f(x,y,y) = y.  [para (7 (a 1) 6 (a 1))]

given #6 (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 (R) 8 8 7 8)]

given #7 (wt=14): 18 f(x,y,f(x,z,y)) = f(x,z,y).  [para (9 (a 2) 9 (a 1)) demod (7 (R) 11 7 8) flip a]

given #8 (wt=14): 22 f(x,y,f(x,y,z)) = f(x,y,z).  [para (11 (a 1) 9 (a 2 3)) demod (7 7 7 7)]

given #9 (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 7)]

given #10 (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 7 7)]

given #11 (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 8 7 (R) 8)]

given #12 (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 7 (R) 8) flip a]

given #13 (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 7 7 (R) 8)]

given #14 (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 7 8 7 (R) 8) flip a]

given #15 (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 (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 8 7 (R) 8)]

given #17 (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)]

given #18 (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 7 7 (R) 8) flip a]

given #19 (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 (R) 8 8 7 (R) 8)]

given #20 (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 (R) 8 8 8 7 (R) 8)]

given #21 (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 7 7 (R) 8)]

given #22 (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 8) flip a]

given #23 (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 7 (R) 8) flip a]

given #24 (wt=14): 319 f(x,y,f(z,x,y)) = f(z,x,y).  [para (207 (a 1) 11 (a 1)) demod (207 11 22) flip a]

given #25 (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 7 22 8 7 8 7 (R) 8)]

given #26 (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 (R) 8 8 7 (R) 8)]

given #27 (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 7 22 7 7 7 (R) 8 7 (R) 8)]

given #28 (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 (R) 8 7 (R) 8 195 206 347 7 (R) 8 7 (R) 8 22) flip a]

given #29 (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 7 8)]

given #30 (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 (R) 8 7 (R) 8)]

given #31 (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 (R) 8 7 (R) 8)]

given #32 (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 (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 (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 (R) 8 7 (R) 8 473 7 7)]

given #35 (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 7 7 7 7)]

given #36 (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 (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 (R) 8 194 18 11)]

given #38 (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 (R) 8 195 206 11)]

given #39 (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 7 195 73 22 11)]

given #40 (wt=18): 382 f(x,y,f(z,x,f(z,y,u))) = f(z,x,y).  [back_demod 266 demod (345) flip a]

given #41 (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 (wt=18): 383 f(x,y,f(x,z,f(y,z,u))) = f(x,y,z).  [back_demod 298 demod (7 (R) 8 7 (R) 8 7 (R) 8 382 8)]

given #43 (wt=18): 384 f(x,y,f(y,z,f(x,z,u))) = f(x,y,z).  [back_demod 135 demod (7 (R) 8 7 (R) 8 7 (R) 8 382 8)]

given #44 (wt=18): 385 f(x,y,f(z,y,f(x,z,u))) = f(x,z,y).  [back_demod 93 demod (8 345 7 (R) 8) flip a]

given #45 (wt=18): 387 f(x,y,f(z,y,f(z,x,u))) = f(z,x,y).  [back_demod 221 demod (7 386 7 (R) 8 7 (R) 8) flip a]

given #46 (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 7 7 (R) 8)]

given #47 (wt=18): 430 f(x,y,f(x,z,f(y,u,z))) = f(x,y,z).  [back_demod 389 demod (413)]

given #48 (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 (R) 8 8 195 206 8 27 22)]

given #49 (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 7 7 7)]

given #50 (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)]

given #51 (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 7 (R) 8)]

given #52 (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 867 8)]

given #53 (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 7 8 7 7)]

given #54 (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 7 7 7)]

given #55 (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)]

given #56 (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 (R) 8 8 7 (R) 8) flip a]

given #57 (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)]

given #58 (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)]

given #59 (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 8) flip a]

given #60 (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 8 140 18 7 7 (R)) flip a]

given #61 (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 (R) 8 7 (R) 8 8 7 (R) 8 7 (R) 8) flip a]

given #62 (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 8 1150 7 7 (R)) flip a]

given #63 (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 7 22 655 7 (R)) flip a]

given #64 (wt=20): 1632 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 7 8 7 (R)) flip a]

given #65 (wt=20): 1633 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 7 7 (R) 7 (R) 8)]

given #66 (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 (R) 8 7 (R) 8)]

given #67 (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 7 7 (R) 8) flip a]

given #68 (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 11) flip a]

given #69 (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) flip a]

given #70 (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 195 362 22) flip a]

given #71 (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 (R) 8 7 (R) 8)]

given #72 (wt=20): 2070 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 8 362 7 7 (R)) flip a]

given #73 (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 (R) 11 8) flip a]

given #74 (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)]

given #75 (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) flip a]

given #76 (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 (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 (R) 532 18 11 7 (R) 8) flip a]

given #78 (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 (R) 8 8)]

given #79 (wt=21): 1688 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 (R) 8 8 319)]

given #80 (wt=21): 1696 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 (R) 8 7 (R) 8 7 7 550 18 7 (R) 8 7 (R) 8 7 (R) 8) flip a]

given #81 (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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #82 (wt=17): 2545 f(x,f(y,z,x),f(u,y,z)) = f(y,z,x).  [para (359 (a 1) 1696 (a 1 3)) demod (7 7 7 7 8 565 6 7 7) flip a]

given #83 (wt=17): 2616 f(x,f(x,y,z),f(u,y,z)) = f(x,y,z).  [para (2545 (a 1) 18 (a 1 3)) demod (7 958 889 7) flip a]

given #84 (wt=21): 2416 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 (R) 8 8 7 7)]

given #85 (wt=17): 2676 f(x,y,f(z,u,x)) = f(u,x,f(z,x,y)).  [para (314 (a 2) 2416 (a 2)) demod (8 2655) flip a]

given #86 (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 8) flip a]

given #87 (wt=17): 2726 f(x,y,f(z,u,y)) = f(u,y,f(x,z,y)).  [para (2676 (a 1) 7 (a 2)) demod (8 7)]

given #88 (wt=17): 3058 f(x,y,f(z,u,y)) = f(u,y,f(z,x,y)).  [para (2726 (a 1) 2416 (a 2)) demod (8 2673)]

given #89 (wt=21): 2418 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 (wt=21): 3020 f(x,f(y,x,z),f(u,y,f(y,x,z))) = f(y,x,z).  [para (22 (a 1) 2726 (a 1 3)) demod (11) flip a]

given #91 (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) flip a]

given #92 (wt=21): 3029 f(x,f(y,z,x),f(u,z,f(y,z,x))) = f(y,z,x).  [para (319 (a 1) 2726 (a 1 3)) demod (11) flip a]

given #93 (wt=21): 3047 f(x,y,f(y,f(x,y,z),f(u,x,z))) = f(x,y,z).  [para (2726 (a 1) 38 (a 1)) demod (7 (R) 8 22 11 7 (R) 8) flip a]

given #94 (wt=18): 3167 f(x,y,f(y,z,f(x,u,z))) = f(x,y,z).  [para (8 (a 1) 3047 (a 1 3)) demod (7 (R) 8 33 8)]

given #95 (wt=21): 3166 f(x,y,f(y,f(x,y,z),f(x,u,z))) = f(x,y,z).  [para (7 (a 1) 3047 (a 1 3)) demod (7 (R) 8 7 (R))]

given #96 (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 (R) 8 8 7 (R) 8) flip a]

given #97 (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 (R) 8 7 7 413 7 7)]

given #98 (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 (R) 8 413 7 (R) 8)]

given #99 (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 (R) 8 194 7 (R) 8)]

given #100 (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 7 (R) 8 8)]

given #101 (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) flip a]

given #102 (wt=21): 3492 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) flip a]

given #103 (wt=21): 3748 f(x,f(y,z,f(y,u,v)),f(y,u,x)) = f(y,u,x).  [para (3492 (a 1) 7 (a 2)) demod (7 (R) 8 7 8 7 7 8)]

given #104 (wt=21): 3749 f(x,f(y,z,f(u,z,v)),f(x,u,z)) = f(x,u,z).  [para (7 (a 2) 3492 (a 1 2)) demod (8)]

given #105 (wt=21): 3876 f(x,f(y,z,x),f(y,u,f(y,z,v))) = f(y,z,x).  [para (3748 (a 1) 8 (a 1)) flip a]

given #106 (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 (wt=21): 3973 f(x,f(y,z,f(z,u,v)),f(z,u,x)) = f(z,u,x).  [para (3749 (a 1) 7 (a 2)) demod (7 (R) 8 7 8 7 7 8)]

given #108 (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 (R) 8 7 (R) 8 7 (R) 8 7 7)]

given #109 (wt=21): 4259 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 8 2424)]

given #110 (wt=21): 4272 f(x,f(y,x,z),f(y,u,f(y,z,v))) = f(y,x,z).  [para (4259 (a 1) 8 (a 1)) flip a]

given #111 (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 (R) 8 7) flip a]

given #112 (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 (R) 8 7 (R) 8 7 7)]

given #113 (wt=21): 4542 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 8 2424)]

given #114 (wt=21): 4557 f(x,f(y,x,z),f(z,u,f(y,z,v))) = f(y,x,z).  [para (4542 (a 1) 8 (a 1)) flip a]

given #115 (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 (R) 8 7 (R) 8 7 7)]

given #116 (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 (R) 8 7 (R) 8 8 49 8 7 (R) 8)]

given #117 (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)]

given #118 (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)]

given #119 (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)]

given #120 (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)]

given #121 (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 49) flip a]

given #122 (wt=18): 5086 f(x,y,f(x,z,f(u,z,y))) = f(x,z,y).  [para (2726 (a 1) 61 (a 1)) demod (22 11 7 63 27) flip a]

given #123 (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 (R) 8 383 7 (R) 8) flip a]

given #124 (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) flip a]

given #125 (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) flip a]

given #126 (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)]

given #127 (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) flip a]

given #128 (wt=22): 1582 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) flip a]

given #129 (wt=22): 1782 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) flip a]

given #130 (wt=22): 2417 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 (R) 8 7 (R) 8 63 7 8 7 8)]

given #131 (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 63 63 31)]

given #132 (wt=22): 2442 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) flip a]

given #133 (wt=22): 2693 f(x,y,f(z,x,f(y,u,f(z,y,v)))) = f(z,x,y).  [para (2416 (a 1) 384 (a 2)) demod (7 (R) 8 7 (R) 8 8 2080 8 8)]

given #134 (wt=22): 3296 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 (wt=22): 3408 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 (R) 8 8 7 7)]

given #136 (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 (R) 8 7 (R) 8 8 49 7 (R) 8) flip a]

given #137 (wt=22): 3430 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 (wt=21): 5864 f(x,y,f(z,f(x,y,z),f(z,u,v))) = f(x,y,z).  [para (14 (a 1) 3430 (a 1 3))]

given #139 (wt=21): 5970 f(x,y,f(z,f(x,z,y),f(z,u,v))) = f(x,z,y).  [para (5864 (a 1) 7 (a 2)) demod (7 7 8 7 7)]

given #140 (wt=22): 3976 f(x,y,f(x,z,f(u,z,f(y,z,v)))) = f(x,y,z).  [para (3749 (a 1) 12 (a 2)) demod (8)]

given #141 (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 49 8)]

given #142 (wt=22): 4001 f(x,y,f(z,u,f(x,u,f(u,y,v)))) = f(x,u,y).  [para (3749 (a 1) 430 (a 2)) demod (7 (R) 8 8 7 (R) 8 8 7 (R) 3562 8)]

given #143 (wt=22): 4208 f(x,y,f(x,z,f(u,y,f(z,y,v)))) = f(x,z,y).  [para (3973 (a 1) 1633 (a 2)) demod (7 (R) 8 7 (R) 8 7 8 8 63 27 7 8)]

given #144 (wt=21): 6274 f(x,y,f(y,z,f(u,x,y))) = f(y,z,f(u,x,y)).  [para (532 (a 1) 4208 (a 1 3)) demod (7 7 7 7 7 (R) 8 319 7 7 7 8 18)]

given #145 (wt=22): 4275 f(x,y,f(z,u,f(x,z,f(z,v,y)))) = f(x,z,y).  [para (18 (a 1) 4259 (a 1 3)) demod (7 8 7 8 195 1396 33 7 7 (R) 8 22)]

given #146 (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 63) flip a]

given #147 (wt=22): 4290 f(x,y,f(z,u,f(z,v,f(x,z,y)))) = f(x,z,y).  [para (345 (a 1) 4259 (a 1 3)) demod (7 (R) 8 8 7 (R) 8 8 195 1396 712 7 (R) 8 7 (R) 8 345)]

given #148 (wt=22): 4829 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 (R) 8 8 7 7)]

given #149 (wt=22): 4830 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 (R) 8 7 (R) 8 7 7 7)]

given #150 (wt=22): 4845 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 (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)]

given #152 (wt=22): 4919 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 8 2472)]

given #153 (wt=22): 4920 f(x,y,f(z,y,f(u,x,f(z,x,v)))) = f(z,x,y).  [para (1199 (a 1) 2416 (a 2)) demod (7 (R) 8 7 (R) 8 8 2697 8)]

given #154 (wt=22): 5558 f(x,y,f(z,u,f(z,v,f(z,x,y)))) = f(z,x,y).  [para (2417 (a 1) 1237 (a 1)) demod (7 7 22 7 7 8 64 7 (R) 8) flip a]

given #155 (wt=22): 5616 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 (1582 22) flip a]

given #156 (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)]

given #157 (wt=22): 6164 f(x,y,f(x,z,f(u,z,f(z,y,v)))) = f(x,z,y).  [para (3976 (a 1) 31 (a 1 3)) demod (7 (R) 8 8 958 1091 7 (R) 8) flip a]

given #158 (wt=22): 6315 f(x,y,f(y,z,f(u,z,f(x,z,v)))) = f(x,y,z).  [para (3973 (a 1) 6274 (a 2)) demod (7 (R) 8 7 7 33 8 7 7)]

given #159 (wt=22): 6328 f(x,y,f(z,u,f(z,x,f(z,v,y)))) = f(z,x,y).  [para (7 (a 1) 4275 (a 1)) demod (7 (R) 8 7 7 7 (R) 8)]

given #160 (wt=22): 6331 f(x,y,f(x,z,f(z,u,f(z,v,y)))) = f(x,z,y).  [para (4275 (a 1) 18 (a 1 3)) demod (8 195 206 8 4275)]

given #161 (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 (R) 8 7 (R) 8 8 7 (R) 8) flip a]

given #162 (wt=22): 6523 f(x,y,f(z,u,f(u,v,f(x,u,y)))) = f(x,u,y).  [para (4845 (a 1) 7 (a 2)) demod (7 7 8 7 7)]

given #163 (wt=22): 6524 f(x,y,f(z,u,f(u,v,f(u,x,y)))) = f(u,x,y).  [para (7 (a 1) 4845 (a 1)) demod (7 7 7 7)]

given #164 (wt=22): 6527 f(x,y,f(z,u,f(x,u,f(u,v,y)))) = f(x,u,y).  [para (4845 (a 1) 18 (a 1 3)) demod (8 8 8 5144 33 8 6523)]

given #165 (wt=22): 7022 f(x,y,f(z,u,f(u,x,f(u,v,y)))) = f(u,x,y).  [para (7 (a 1) 6527 (a 1)) demod (7 (R) 8 7 7 7 (R) 8)]

given #166 (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 7 63 63 27 7 (R) 8)]

given #167 (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) flip a]

given #168 (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)]

given #169 (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 (R) 8 8 7 (R) 8 7 (R) 8)]

given #170 (wt=18): 7226 f(x,y,f(y,z,f(u,x,z))) = f(x,y,z).  [para (314 (a 1) 82 (a 1)) demod (8 22 11 7 (R) 33 8) flip a]

given #171 (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 (R) 8 7 (R) 8 7 (R) 8) flip a]

given #172 (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 (R) 8 7 7 7 (R) 8)]

given #173 (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 (R) 8 33 8 7 (R) 8)]

given #174 (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) flip a]

given #175 (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 (R) 8 33 7 (R) 8) flip a]

given #176 (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 (R) 8 7 (R) 8)]

given #177 (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 8)]

given #178 (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 7 (R) 8 7 (R) 8 76 7 (R) 8 7 (R) 8)]

given #179 (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)]

given #180 (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 (R) 8 7 7 7)]

given #181 (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 (wt=20): 8006 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 (6788)]

given #183 (wt=20): 8011 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 (6789)]

given #184 (wt=20): 8300 f(f(x,y,z),f(x,u,v),f(x,y,z)) = f(x,y,z).  [para (7 (a 2) 8006 (a 1 1)) demod (7 7 7 7)]

given #185 (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 (R) 8 8 8 7 8) flip a]

given #186 (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 (wt=17): 8605 f(x,f(y,z,u),f(z,x,u)) = f(z,x,u).  [para (192 (a 2) 6274 (a 2)) demod (7 (R) 8 7 (R) 8 3993 1151 11 7 (R) 8 7 7 22) flip a]

given #188 (wt=18): 8642 f(x,y,f(z,x,f(z,u,y))) = f(z,x,y).  [back_demod 5294 demod (8597)]

given #189 (wt=22): 8713 f(x,y,f(x,z,f(u,z,f(z,v,y)))) = f(x,z,y).  [para (6527 (a 1) 78 (a 1 3)) demod (958 1092) flip a]

given #190 (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 7 (R) 8)]

given #191 (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 (wt=17): 8761 f(x,f(y,z,u),f(y,x,u)) = f(y,x,u).  [para (193 (a 2) 9 (a 2)) demod (7 (R) 8 413 430 7 (R) 8 7) flip a]

given #193 (wt=17): 9028 f(x,f(y,z,u),f(y,u,x)) = f(y,u,x).  [para (8761 (a 1) 7 (a 2)) demod (8 7 8)]

given #194 (wt=18): 8897 f(x,y,f(z,y,f(z,u,x))) = f(z,x,y).  [para (50 (a 2) 193 (a 2)) demod (8 958 889 8) flip a]

given #195 (wt=20): 8809 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 8) flip a]

given #196 (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 (R) 8 7 (R) 8 7 (R) 8 8 7 (R) 8)]

given #197 (wt=20): 9119 f(x,f(y,z,x),f(z,u,x)) = f(y,x,f(z,u,x)).  [para (9028 (a 1) 36 (a 2 3)) demod (7 8 8768 7 (R) 8 343 7 7 (R)) flip a]

given #198 (wt=20): 9123 f(x,f(y,z,x),f(u,y,x)) = f(u,x,f(y,z,x)).  [para (9028 (a 1) 82 (a 2 3)) demod (7 8768 7 (R) 8 343 7) flip a]

given #199 (wt=20): 9219 f(x,f(y,z,x),f(y,x,u)) = f(y,x,f(z,x,u)).  [para (8809 (a 1) 7 (a 2)) demod (8 7 8)]

given #200 (wt=21): 8768 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) flip a]

given #201 (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 (R) 8 7 (R) 8 7 (R) 8 8 7 (R) 8)]

given #202 (wt=21): 9122 f(x,y,f(y,z,f(x,u,y))) = f(y,z,f(x,u,y)).  [para (9028 (a 1) 4208 (a 1 3)) demod (7 7 7 7 7 (R) 8 319 7 7 7 8 18)]

given #203 (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 8) flip a]

given #204 (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 (wt=18): 9586 f(x,y,f(z,y,f(u,x,z))) = f(x,z,y).  [para (2726 (a 1) 195 (a 1)) demod (22 11 7 1633) flip a]

given #206 (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 7 (R) 8 7 (R) 8)]

given #207 (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 27)]

given #208 (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 (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) flip a]

given #210 (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) flip a]

given #211 (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)]

given #212 (wt=21): 9847 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 6419)]

given #213 (wt=21): 9855 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 538)]

given #214 (wt=21): 10056 f(x,f(y,z,f(u,v,z)),f(x,u,z)) = f(x,u,z).  [para (7 (a 2) 9847 (a 1 2)) demod (8)]

given #215 (wt=21): 10075 f(x,f(y,z,f(y,u,v)),f(y,v,x)) = f(y,v,x).  [para (9855 (a 1) 7 (a 2)) demod (7 7 8 7 7 8)]

given #216 (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 (R) 8 8 7 (R) 8)]

given #217 (wt=20): 10149 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 7 (R) 378 22 8 7 (R) 8 9419 8 63 27 387)]

given #218 (wt=21): 10076 f(x,f(y,z,f(u,v,z)),f(x,v,z)) = f(x,v,z).  [para (7 (a 2) 9855 (a 1 2)) demod (8)]

given #219 (wt=21): 10274 f(x,f(y,z,f(z,u,v)),f(z,v,x)) = f(z,v,x).  [para (10076 (a 1) 7 (a 2)) demod (7 7 8 7 7 8)]

given #220 (wt=22): 9911 f(x,y,f(x,z,f(y,u,f(v,y,z)))) = f(x,y,z).  [para (5086 (a 1) 388 (a 2)) demod (8 8 413 958 8 8771 8 9014)]

given #221 (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 (wt=22): 10102 f(x,y,f(z,u,f(z,y,f(z,v,x)))) = f(z,x,y).  [para (9855 (a 1) 1216 (a 2)) demod (7 7 8 7 8 7 8 8597 8 7 8)]

given #223 (wt=22): 10134 f(x,y,f(y,z,f(x,u,f(x,v,z)))) = f(x,y,z).  [para (10075 (a 1) 9122 (a 2)) demod (8 33 8 8)]

given #224 (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 (R) 8 8 7 (R) 8 7 (R) 8)]

given #225 (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 (R) 8 7 (R) 8 8 7 (R) 8 76) flip a]

given #226 (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 (R) 8 7 (R) 8) flip a]

given #227 (wt=17): 10497 f(x,f(y,z,u),f(x,y,z)) = f(x,y,z).  [para (392 (a 1) 16 (a 2 3)) demod (7 (R) 8 387 7 (R) 8 385)]

given #228 (wt=17): 10623 f(x,f(y,z,u),f(x,z,u)) = f(x,z,u).  [para (7 (a 1) 10497 (a 1 2))]

given #229 (wt=17): 10624 f(x,f(y,z,u),f(x,y,u)) = f(x,y,u).  [para (7 (a 2) 10497 (a 1 2)) demod (8 8)]

given #230 (wt=18): 10511 f(x,y,f(z,x,f(u,z,y))) = f(z,x,y).  [para (392 (a 1) 36 (a 2 3)) demod (7 (R) 8 7 (R) 8605 22 11 7 (R) 8 7 (R) 8 9419 8 22) flip a]

given #231 (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 (wt=20): 10643 f(x,f(y,x,z),f(x,z,u)) = f(y,x,f(x,z,u)).  [para (10497 (a 1) 36 (a 2 3)) demod (7 7 22 18 7 (R)) flip a]

given #233 (wt=21): 10500 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 (R) 8 362 7 (R) 8) flip a]

given #234 (wt=21): 10582 f(x,f(y,z,f(u,z,v)),f(u,x,z)) = f(u,x,z).  [para (10056 (a 1) 392 (a 1 3)) demod (8 8 7 (R) 8 8 10163 383 8 7 (R) 8) flip a]

given #235 (wt=21): 10625 f(x,f(y,z,f(z,u,v)),f(x,z,v)) = f(x,z,v).  [para (9 (a 1) 10497 (a 1 2))]

given #236 (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 (wt=21): 10626 f(x,f(y,z,f(y,u,v)),f(x,y,u)) = f(x,y,u).  [para (9 (a 2) 10497 (a 1 2)) demod (7 (R) 8 8 8)]

given #238 (wt=21): 10627 f(x,f(y,z,f(z,u,v)),f(x,z,u)) = f(x,z,u).  [para (13 (a 1) 10497 (a 1 2)) demod (7 (R) 8 8 8)]

given #239 (wt=21): 10628 f(x,f(y,z,f(y,u,v)),f(x,y,v)) = f(x,y,v).  [para (14 (a 1) 10497 (a 1 2))]

given #240 (wt=21): 10990 f(x,f(y,z,f(y,u,v)),f(y,x,v)) = f(y,x,v).  [para (10625 (a 1) 392 (a 1 3)) demod (7 (R) 8 8 7 (R) 8 8 10163 10552 10134 7 (R) 8 7 (R) 8) flip a]

given #241 (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 (R) 8 7 (R) 8) flip a]

given #242 (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 (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) flip a]

given #244 (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 (R) 8 7 8 63 63 27 7 (R) 8 7 (R) 8)]

given #245 (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 (R) 8 7 (R) 8) flip a]

given #246 (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 8) flip a]

given #247 (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) flip a]

given #248 (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 8 8 8 8 473)]

given #249 (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) flip a]

given #250 (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 (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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #252 (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 7 7 (R) 8 413 7 7 7 (R) 8)]

given #253 (wt=21): 11649 f(x,y,f(z,f(x,y,z),f(u,v,w))) = f(x,y,z).  [para (573 (a 1) 5864 (a 1 3))]

given #254 (wt=21): 11700 f(x,y,f(z,f(x,z,y),f(u,v,w))) = f(x,z,y).  [para (11649 (a 1) 7 (a 2)) demod (7 7 8 7 7)]

given #255 (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 7 8 7 7 8 7 7 532)]

given #256 (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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #257 (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 7 (R) 8) flip a]

given #258 (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 (R) 11 7) flip a]

given #259 (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 (R) 8 11)]

given #260 (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 (R) 8 8 413 7 (R) 8)]

given #261 (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 (R) 8 7 (R) 8) flip a]

given #262 (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 (R) 11 7) flip a]

given #263 (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 (R) 8 11)]

given #264 (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 8 8 8 510)]

given #265 (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 (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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8) flip a]

given #267 (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) flip a]

given #268 (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 7 7 7 705)]

given #269 (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 7 7 (R) 7 705)]

given #270 (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 63) flip a]

given #271 (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 (R) 8 7 (R) 8)]

given #272 (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)]

given #273 (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 347)]

given #274 (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 7)]

given #275 (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 (R) 347)]

given #276 (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 63) flip a]

given #277 (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 382)]

given #278 (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 (R) 382)]

given #279 (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 7 7 7 (R) 8)]

given #280 (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 (R) 8)]

given #281 (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)]

given #282 (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 (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 (R) 8 7 (R) 8)]

given #284 (wt=21): 13284 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 3167 7 (R) 6274) flip a]

given #285 (wt=22): 13277 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 3167 8) flip a]

given #286 (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 (R) 8 7 (R) 8)]

given #287 (wt=18): 13309 f(x,y,f(z,y,f(x,u,z))) = f(x,z,y).  [para (13277 (a 1) 8 (a 2)) demod (7 (R) 8 6274 8 8)]

given #288 (wt=22): 13317 f(x,y,f(z,u,f(x,u,f(y,z,u)))) = f(x,y,u).  [para (13277 (a 1) 16 (a 2 3)) demod (8768 7 (R) 8 18)]

given #289 (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 (R) 8)]

given #290 (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 (R) 8 7 7 7)]

given #291 (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 (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 (R) 8 8 7 8) flip a]

given #293 (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 63 64 22)]

given #294 (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 (R) 8 7 8 812 7 (R) 8 7 (R) 8) flip a]

given #295 (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 7 (R) 8) flip a]

given #296 (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 (R) 8 7 (R) 8)]

given #297 (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 7 (R) 8 413 430 7) flip a]

given #298 (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 (R) 8 7 (R) 8 473 7 (R) 8) flip a]

given #299 (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 8 488)]

given #300 (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)]

given #301 (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 (R) 8 7 (R) 8)]

given #302 (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 550)]

given #303 (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 (R) 550)]

given #304 (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 7 7 7 1151)]

given #305 (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 7 7 (R) 7 1151)]

given #306 (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 (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 8 7 7)]

given #308 (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 7 (R) 8)]

given #309 (wt=24): 1503 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 (R) 8 7 8 63 27 7 7 (R) 8) flip a]

given #310 (wt=24): 1522 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 (R) 8 7 (R) 8 7 8 387 63 27 7 (R) 8 7 7 7 (R) 8 7 (R) 8) flip a]

given #311 (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 (R) 8 7 (R) 8)]

given #312 (wt=18): 13735 f(x,y,f(z,y,f(u,z,x))) = f(z,x,y).  [para (1522 (a 1) 36 (a 2 3)) demod (7 7 (R) 8605 22 11 7 7 (R) 8 9419 8 319) flip a]

given #313 (wt=22): 13762 f(x,y,f(z,y,f(z,u,f(z,v,x)))) = f(z,x,y).  [para (485 (a 1) 1522 (a 1 3)) demod (7 7 7 7 11 7 (R) 8 7 (R) 8) flip a]

given #314 (wt=22): 13776 f(x,y,f(z,y,f(u,z,f(z,x,v)))) = f(z,x,y).  [para (1091 (a 1) 1522 (a 1 3)) demod (7 7 7 7 11 7 (R) 8 7 (R) 8) flip a]

given #315 (wt=22): 13777 f(x,y,f(z,y,f(u,z,f(z,v,x)))) = f(z,x,y).  [para (1092 (a 1) 1522 (a 1 3)) demod (7 7 7 7 11 7 (R) 8 7 (R) 8) flip a]

given #316 (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)]

given #317 (wt=22): 13792 f(x,y,f(z,y,f(u,x,f(x,z,v)))) = f(x,z,y).  [para (3976 (a 1) 1522 (a 1 3)) demod (7 (R) 8 7 8 7 8 11 7 (R) 8 7 (R) 8 7 (R) 8) flip a]

given #318 (wt=22): 13799 f(x,y,f(z,y,f(x,u,f(x,v,z)))) = f(x,z,y).  [para (6331 (a 1) 1522 (a 1 3)) demod (7 8 7 7 11 7 (R) 8 7 (R) 8) flip a]

given #319 (wt=22): 13808 f(x,y,f(z,y,f(u,x,f(x,v,z)))) = f(x,z,y).  [para (8713 (a 1) 1522 (a 1 3)) demod (7 8 7 7 11 7 (R) 8 7 (R) 8) flip a]

given #320 (wt=22): 13818 f(x,y,f(z,x,f(z,u,f(z,v,y)))) = f(z,x,y).  [para (9855 (a 1) 1522 (a 1 3)) demod (7 8 7 8 10163 10552 10134 7 7) flip a]

given #321 (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 (R) 8 7 (R) 8 7 (R) 8) flip a]

given #322 (wt=24): 1559 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 (R) 8 7 (R) 8 8 1396 8 974 1181 11 8 7 (R) 8 1483)]

given #323 (wt=24): 1621 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 1298)]

given #324 (wt=24): 1721 f(x,f(y,z,u),f(y,z,f(z,u,x))) = f(z,x,f(y,z,u)).  [para (1632 (a 1) 382 (a 1 3)) demod (8 7 (R) 8 8)]

given #325 (wt=24): 1745 f(x,f(y,z,f(x,u,y)),f(x,u,v)) = f(x,y,f(x,u,v)).  [para (345 (a 1) 1633 (a 1 2)) demod (7 (R) 8 7 8 63 27 7 (R) 8 7 8) flip a]

given #326 (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 (wt=24): 1767 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 (wt=24): 1768 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 (wt=24): 1772 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) flip a]

given #330 (wt=24): 1774 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 (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 (R) 8 76 7 (R) 8)]

given #332 (wt=24): 1775 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 (wt=24): 1838 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 (wt=24): 1847 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 (wt=24): 1850 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 1823)]

given #336 (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 (R) 8 7 (R) 8)]

given #337 (wt=24): 2065 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 (wt=24): 2159 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 7 (R) 8 63 27 7 7 7 7 (R) 8 63 27 387)]

given #339 (wt=24): 2161 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 7 (R) 8 63 27 7 7 (R) 7 7 (R) 8 63 27 387)]

given #340 (wt=24): 2221 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 7 27 7 (R) 8)]

low water: id=8706, wt=41

low water: id=9238, wt=40

given #341 (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 (R) 8 7 (R) 8 7 (R) 8) flip a]

given #342 (wt=24): 2246 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 (R) 8 7 7 7 (R) 8)]

given #343 (wt=24): 2253 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 8) flip a]

given #344 (wt=24): 2576 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 1823)]

given #345 (wt=24): 2627 f(f(x,y,z),f(y,z,u),f(v,u,f(y,z,u))) = f(y,z,u).  [para (2545 (a 1) 532 (a 1 3)) demod (8 2545)]

given #346 (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 (R) 8 7 (R) 8 133)]

given #347 (wt=24): 2645 f(f(x,y,z),f(u,x,y),f(u,v,f(u,x,y))) = f(u,x,y).  [para (2616 (a 1) 739 (a 1 3 2)) demod (7 7 7 7 8 2642 7 7 195 362)]

given #348 (wt=24): 2732 f(f(x,y,z),f(x,u,y),f(u,v,f(x,u,y))) = f(x,u,y).  [para (378 (a 1) 2676 (a 1 3)) demod (7 (R) 11 8) flip a]

low water: id=10321, wt=39

given #349 (wt=24): 2750 f(x,y,f(z,u,f(x,v,u))) = f(x,u,f(x,y,f(v,z,u))).  [para (2676 (a 1) 1004 (a 2 3)) demod (7 (R) 8 7 8 63 27 7 7 (R) 8) flip a]

given #350 (wt=24): 2766 f(x,y,f(z,u,f(x,v,u))) = f(x,y,f(x,u,f(v,z,u))).  [para (2676 (a 1) 2070 (a 2 3)) demod (7 (R) 8 7 (R) 8 63 18 7 7 (R) 8) flip a]

given #351 (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 (R) 8 134 7 (R) 8)]

given #352 (wt=24): 2777 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 7 7 7)]

given #353 (wt=24): 3033 f(f(x,y,z),f(x,u,y),f(v,u,f(x,u,y))) = f(x,u,y).  [para (378 (a 1) 2726 (a 1 3)) demod (11) flip a]

given #354 (wt=24): 3268 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 1298)]

given #355 (wt=24): 3387 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))]

given #356 (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 (R) 8 7 (R) 8 76 7 (R) 8 7 (R) 8)]

given #357 (wt=17): 14541 f(x,f(y,z,x),f(y,u,z)) = f(y,z,x).  [para (3387 (a 1) 9586 (a 1 3)) demod (7 7 7 (R) 9028 7 (R) 7 7 7 9028)]

given #358 (wt=24): 3624 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 63 27 1396 42) flip a]

low water: id=10466, wt=38

given #359 (wt=24): 4565 f(x,y,f(z,x,f(x,u,v))) = f(x,v,f(z,x,f(x,u,y))).  [para (25 (a 1) 4542 (a 2)) demod (8 7 (R) 8 7 (R) 8 3753 1396 7 (R) 8)]

given #360 (wt=24): 5097 f(x,f(y,z,u),f(y,u,f(y,x,z))) = f(y,x,f(y,z,u)).  [para (61 (a 2) 3047 (a 1 3)) demod (7 (R) 8 3800 76)]

given #361 (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 (R) 8 8 7 (R) 8)]

given #362 (wt=24): 5131 f(x,f(y,z,u),f(v,x,y)) = f(v,x,f(y,u,f(x,y,z))).  [para (61 (a 2) 4542 (a 2)) demod (8 7 (R) 8 7 (R) 8 3753 7 (R) 8)]

given #363 (wt=24): 5303 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 (R) 8 63 5285 7 (R) 8) flip a]

given #364 (wt=24): 5603 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 (R) 8 8 7 (R) 8 7 (R) 8 124 8 195 1396 124 1823 7 (R) 8)]

given #365 (wt=24): 5606 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 27)]

given #366 (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 (R) 8 8 7 (R) 8)]

given #367 (wt=24): 5774 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 (R) 8 8 195 1396 4973 7 (R) 8)]

given #368 (wt=24): 6419 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)]

given #369 (wt=24): 6617 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 (R) 8 8 195 1396 1823 7 (R) 8)]

given #370 (wt=24): 6896 f(x,f(y,z,u),f(x,v,f(y,u,v))) = f(x,v,f(y,z,u)).  [para (430 (a 1) 6331 (a 1 3 3)) demod (7 7)]

given #371 (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 (R) 8 63 63 7 (R) 8)]

given #372 (wt=24): 7064 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 (R) 8 7 7 7 (R) 8)]

given #373 (wt=24): 7090 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 (wt=22): 14788 f(x,y,f(z,x,f(y,u,f(z,v,y)))) = f(z,x,y).  [para (7090 (a 2) 36 (a 2 3)) demod (1199) flip a]

given #375 (wt=24): 7310 f(x,y,f(x,z,f(u,x,v))) = f(x,v,f(x,y,f(u,x,z))).  [para (39 (a 1) 7226 (a 2)) demod (7 (R) 8 3683 63 5611) flip a]

given #376 (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 (R) 8 63 63 8 7 (R) 8)]

given #377 (wt=24): 7870 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 (R) 8 8 195 1396 1823 7 (R) 8)]

given #378 (wt=24): 7972 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 8 7) flip a]

given #379 (wt=24): 8510 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 (R) 8 7 8)]

given #380 (wt=24): 8511 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 (R) 8 8) flip a]

given #381 (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 (R) 8 7 (R) 8)]

given #382 (wt=24): 8748 f(f(x,y,z),f(x,y,f(x,u,z)),f(y,z,v)) = f(x,y,z).  [para (8642 (a 1) 473 (a 1 3)) demod (7 8642)]

given #383 (wt=24): 8749 f(f(x,y,z),f(y,z,u),f(x,y,f(x,v,z))) = f(x,y,z).  [para (8642 (a 1) 510 (a 1 2)) demod (7 (R) 8642)]

given #384 (wt=24): 8759 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 (R) 8 7 7 7)]

given #385 (wt=24): 8772 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 27)]

given #386 (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 (R) 8 8 7 (R) 8)]

given #387 (wt=24): 8826 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 (8761 7 (R) 8 8) flip a]

given #388 (wt=24): 8838 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 (R) 8 11 8 18)]

given #389 (wt=21): 15216 f(x,y,f(z,f(x,z,u),f(v,z,y))) = f(x,z,y).  [para (538 (a 1) 8838 (a 2 3)) demod (7 (R) 10163 10713 10623 14917 7 (R)) flip a]

given #390 (wt=22): 15231 f(x,y,f(z,u,f(x,z,f(y,v,z)))) = f(x,y,z).  [para (7 (a 1) 15216 (a 1 3)) demod (7 7 (R) 15142 8)]

given #391 (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 (wt=24): 8853 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 (R) 8 7 (R) 8 11 7 7) flip a]

given #393 (wt=22): 15262 f(x,y,f(z,u,f(x,u,f(v,u,y)))) = f(x,u,y).  [para (532 (a 1) 8853 (a 2 3)) demod (7 10623 7 7 7 14982 14912 7 7 7 (R) 11)]

given #394 (wt=24): 9015 f(x,y,f(x,f(z,u,v),f(z,u,y))) = f(x,y,f(z,u,v)).  [back_demod 531 demod (8771)]

given #395 (wt=24): 9035 f(f(x,y,z),f(x,z,u),f(u,v,f(x,z,u))) = f(x,z,u).  [para (8761 (a 1) 378 (a 1 3)) demod (8 8 8 8 8 9028)]

given #396 (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 (R) 8 7 (R) 8)]

given #397 (wt=21): 15320 f(x,y,f(z,f(x,u,z),f(z,y,v))) = f(x,z,y).  [para (9035 (a 1) 473 (a 1 3)) demod (7 8 7 7 7 7 11363 8 7 7 14917 8 7 (R)) flip a]

given #398 (wt=21): 15368 f(x,y,f(z,f(x,u,z),f(y,z,v))) = f(x,y,z).  [para (7 (a 2) 15320 (a 1 3)) demod (7 (R) 8 7 8)]

given #399 (wt=22): 15377 f(x,y,f(y,z,f(z,u,f(x,v,z)))) = f(x,y,z).  [para (15320 (a 1) 2750 (a 2 3)) demod (7 (R) 8 7 (R) 8 9285 7 (R) 8 8 10497)]

given #400 (wt=24): 9041 f(x,y,f(y,f(z,u,v),f(x,z,v))) = f(x,y,f(z,u,v)).  [para (8761 (a 1) 384 (a 1 3 3)) demod (7 (R) 8)]

given #401 (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 (R) 8 7 (R) 8)]

given #402 (wt=21): 15413 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 (R) 8 383 7) flip a]

given #403 (wt=21): 15435 f(x,f(y,z,x),f(z,u,f(y,z,v))) = f(y,z,x).  [para (15413 (a 1) 8 (a 1)) flip a]

given #404 (wt=24): 9042 f(x,y,f(y,f(x,z,u),f(z,v,u))) = f(x,y,f(z,v,u)).  [para (8761 (a 1) 385 (a 1 3 3)) demod (7 (R) 8 7 (R) 8)]

given #405 (wt=24): 9043 f(x,y,f(x,f(z,u,y),f(z,v,u))) = f(x,y,f(z,v,u)).  [para (8761 (a 1) 387 (a 1 3 3)) demod (8 7 (R) 8 7 (R) 8496 7)]

given #406 (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 (R) 8 7 (R) 8) flip a]

given #407 (wt=24): 9118 f(f(x,y,z),f(x,z,u),f(v,u,f(x,z,u))) = f(x,z,u).  [para (8761 (a 1) 8605 (a 1 3)) demod (8 8 8 8 9028)]

given #408 (wt=24): 9143 f(x,y,f(x,f(z,u,y),f(z,u,v))) = f(x,y,f(z,u,v)).  [para (475 (a 1) 8897 (a 1 3 3)) demod (8 7 (R) 8 7 (R) 8496 7)]

given #409 (wt=24): 9348 f(x,f(y,z,u),f(y,u,f(z,u,x))) = f(u,x,f(y,z,u)).  [para (8768 (a 1) 3029 (a 1 3)) demod (7 (R) 8 8 8 9222 22 7 (R) 8)]

given #410 (wt=24): 9419 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 7 (R) 7 7)]

given #411 (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 (R) 8 7 (R) 8) flip a]

given #412 (wt=24): 9801 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 (3683 63 8724 11)]

given #413 (wt=24): 9811 f(x,y,f(z,u,f(v,z,w))) = f(x,y,f(v,z,f(z,u,w))).  [para (6274 (a 1) 356 (a 2 3 3)) demod (7 7 7 7 555 7 7 7 7 11) flip a]

given #414 (wt=24): 9846 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 7 7 (R) 7)]

given #415 (wt=24): 9938 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 (R) 8 7 (R) 8 8 7 (R) 958 9361 7978 8 11 7 (R) 8 8 7 (R)) flip a]

given #416 (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 63 63) flip a]

given #417 (wt=21): 15681 f(x,f(y,z,f(z,u,v)),f(x,z,u)) = f(x,z,u).  [para (9938 (a 1) 3748 (a 1 2)) demod (7 7)]

given #418 (wt=21): 15685 f(x,f(y,z,f(z,u,v)),f(x,z,v)) = f(x,z,v).  [para (9938 (a 1) 10075 (a 1 2)) demod (7 7)]

given #419 (wt=21): 15701 f(x,f(y,z,f(u,y,v)),f(x,u,y)) = f(x,u,y).  [para (15681 (a 1) 31 (a 1 3)) demod (8 22 7 (R) 8 7 (R) 8 8) flip a]

given #420 (wt=24): 10163 f(x,f(x,y,z),f(u,v,w)) = f(x,y,f(x,z,f(u,v,w))).  [para (40 (a 1) 10149 (a 1)) demod (7 7 7 8 10162 7 (R) 8 18 7 7)]

given #421 (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 63)]

given #422 (wt=24): 10169 f(x,f(y,x,z),f(u,v,w)) = f(y,x,f(x,z,f(u,v,w))).  [para (10149 (a 1) 82 (a 1)) demod (8 8 7 8 10161 18) flip a]

given #423 (wt=24): 10271 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 7 7 10163 7 7)]

given #424 (wt=24): 10392 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 11 22)]

given #425 (wt=24): 10433 f(x,f(y,z,f(u,x,y)),f(u,v,x)) = f(x,y,f(u,v,x)).  [para (550 (a 1) 10102 (a 1 3 3)) demod (7 7 7 (R) 7)]

given #426 (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)]

given #427 (wt=24): 10435 f(x,f(y,z,f(x,u,y)),f(v,x,u)) = f(x,y,f(v,x,u)).  [para (889 (a 1) 10102 (a 1 3 3)) demod (7 7 7 (R) 7)]

given #428 (wt=24): 10448 f(x,f(y,z,f(y,u,x)),f(y,u,f(u,x,v))) = f(y,u,x).  [para (1195 (a 1) 10102 (a 1 3 3)) demod (7 (R) 8 8 7 (R) 7 (R) 8 8 347)]

given #429 (wt=22): 16071 f(x,y,f(z,u,f(x,z,f(v,z,y)))) = f(x,z,y).  [para (2627 (a 1) 10448 (a 1 3)) demod (7 7 10623 7 (R) 7 8 10163 15743 7 7 10623)]

given #430 (wt=24): 10449 f(x,f(y,z,f(u,x,y)),f(v,u,x)) = f(x,y,f(v,u,x)).  [para (5086 (a 1) 10102 (a 1 3 3)) demod (7 7 7 (R) 7)]

given #431 (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 (wt=24): 10451 f(x,f(y,z,f(u,y,x)),f(u,y,f(u,x,v))) = f(u,y,x).  [para (4830 (a 1) 10102 (a 1 3 3)) demod (7 (R) 8 382)]

given #433 (wt=24): 10452 f(x,f(y,z,f(u,y,x)),f(u,v,f(u,y,x))) = f(u,y,x).  [para (4845 (a 1) 10102 (a 1 3 3)) demod (7 7 7 (R) 7 8 705)]

given #434 (wt=24): 10455 f(x,f(y,z,f(y,u,x)),f(y,u,f(u,v,x))) = f(y,u,x).  [para (6527 (a 1) 10102 (a 1 3 3)) demod (7 (R) 8 550)]

given #435 (wt=24): 10456 f(x,f(y,z,f(u,y,x)),f(u,y,f(u,v,x))) = f(u,y,x).  [para (7022 (a 1) 10102 (a 1 3 3)) demod (7 (R) 8 8642)]

given #436 (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 (wt=24): 10491 f(x,f(y,z,u),f(x,v,w)) = f(x,v,f(x,w,f(y,z,u))).  [para (10149 (a 1) 390 (a 2 3)) demod (8 10174) flip a]

given #438 (wt=24): 10493 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 (R) 8 974 8 9788 7 (R) 8)]

given #439 (wt=21): 16185 f(x,f(y,z,f(y,u,v)),f(x,y,u)) = f(x,y,u).  [para (10493 (a 1) 3748 (a 1 2)) demod (7 (R) 8 7 (R) 8 22 7 8 7 8)]

given #440 (wt=21): 16214 f(x,f(y,z,f(y,u,v)),f(x,y,v)) = f(x,y,v).  [para (7 (a 1) 16185 (a 1 2 3)) demod (7 (R) 8)]

given #441 (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 (wt=24): 10494 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 (R) 8 974 8 488 7 (R) 8)]

given #443 (wt=24): 10502 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 (R) 8 362 7 (R) 8) flip a]

given #444 (wt=24): 10503 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 (R) 8 362 7 (R) 8) flip a]

given #445 (wt=24): 10504 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 (R) 8 385 7 (R) 8) flip a]

given #446 (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 (wt=24): 10574 f(x,y,f(z,x,f(u,x,v))) = f(x,y,f(x,v,f(z,u,x))).  [para (9123 (a 1) 392 (a 2 3)) demod (7 7 7 7 9219 10572 7 (R) 8)]

given #448 (wt=24): 10580 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 7 (R) 8 7 7 (R) 8 2246 7 7)]

given #449 (wt=24): 10597 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 10163 27 73)]

given #450 (wt=24): 10636 f(x,f(y,z,u),f(x,y,f(z,u,v))) = f(x,y,f(z,u,v)).  [para (10497 (a 1) 378 (a 1 2)) demod (7 (R) 8 7 (R) 8)]

given #451 (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 (wt=24): 10637 f(x,f(y,z,u),f(x,z,f(y,u,v))) = f(x,z,f(y,u,v)).  [para (378 (a 1) 10497 (a 1 2))]

given #453 (wt=24): 10638 f(x,f(y,z,u),f(x,u,f(y,z,v))) = f(x,u,f(y,z,v)).  [para (473 (a 1) 10497 (a 1 2))]

given #454 (wt=24): 10650 f(x,f(y,z,u),f(x,z,f(v,x,y))) = f(v,x,f(x,y,z)).  [para (10497 (a 1) 39 (a 1 3)) flip a]

given #455 (wt=24): 10654 f(x,f(y,z,u),f(x,y,f(v,x,z))) = f(v,x,f(x,y,z)).  [para (10497 (a 1) 43 (a 1 3)) flip a]

given #456 (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 (wt=24): 10660 f(x,f(y,z,u),f(x,z,v)) = f(x,v,f(y,z,f(x,z,u))).  [para (51 (a 1) 10497 (a 2)) demod (8 7 8 10623)]

given #458 (wt=24): 10678 f(x,f(y,z,f(u,x,z)),f(u,x,v)) = f(x,z,f(u,x,v)).  [para (10497 (a 1) 7022 (a 1 3 3)) demod (7 7 7 (R) 7)]

given #459 (wt=24): 10689 f(x,f(y,z,u),f(x,y,v)) = f(x,v,f(y,u,f(x,y,z))).  [para (191 (a 1) 10497 (a 2)) demod (7 (R) 8 7 7 (R) 8 10623 7)]

given #460 (wt=24): 10699 f(x,f(y,z,u),f(v,x,f(x,y,z))) = f(v,x,f(x,y,z)).  [para (10497 (a 1) 392 (a 1 2)) demod (7 (R) 8 362 7 (R) 8) flip a]

given #461 (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 (R) 8 7 (R) 8) flip a]

given #462 (wt=24): 10706 f(x,f(y,z,u),f(x,y,f(v,z,u))) = f(x,y,f(v,z,u)).  [para (10623 (a 1) 510 (a 1 3)) demod (7 8 7)]

given #463 (wt=24): 10712 f(x,y,f(x,f(z,u,y),f(v,z,u))) = f(x,y,f(v,z,u)).  [para (10623 (a 1) 387 (a 1 3 3)) demod (7 7 7 (R) 8 7 (R) 10163 7)]

given #464 (wt=24): 10724 f(x,f(y,z,u),f(x,u,f(x,z,v))) = f(x,v,f(x,z,u)).  [para (10623 (a 1) 47 (a 2 3)) demod (8)]

given #465 (wt=24): 10741 f(x,f(y,z,f(x,u,z)),f(v,x,u)) = f(x,z,f(v,x,u)).  [para (10623 (a 1) 4830 (a 1 3 3)) demod (7 7 7 (R) 7)]

given #466 (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 (wt=24): 10742 f(x,y,f(x,f(y,z,u),f(x,u,v))) = f(x,v,f(x,y,u)).  [para (10623 (a 1) 71 (a 2 3)) demod (7 (R) 8)]

given #468 (wt=22): 16787 f(x,y,f(x,z,f(z,u,f(y,v,z)))) = f(x,y,z).  [para (1195 (a 1) 10742 (a 1 3)) demod (8 430 7 7 8 10163 22) flip a]

given #469 (wt=24): 10746 f(x,f(y,z,f(u,x,z)),f(v,u,x)) = f(x,z,f(v,u,x)).  [para (10623 (a 1) 7022 (a 1 3 3)) demod (7 7 7 (R) 7)]

given #470 (wt=24): 10769 f(x,f(y,z,u),f(x,y,f(z,v,u))) = f(x,y,f(z,v,u)).  [para (10624 (a 1) 510 (a 1 3)) demod (7 8 7)]

given #471 (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 (wt=24): 10785 f(x,f(y,z,u),f(x,u,f(x,y,v))) = f(x,v,f(x,y,u)).  [para (10624 (a 1) 47 (a 2 3)) demod (8)]

given #473 (wt=24): 10801 f(x,f(y,z,f(u,x,z)),f(u,v,x)) = f(x,z,f(u,v,x)).  [para (10624 (a 1) 7022 (a 1 3 3)) demod (7 7 7 (R) 7)]

given #474 (wt=24): 10840 f(x,y,f(y,f(x,z,u),f(y,z,v))) = f(y,v,f(x,y,z)).  [para (388 (a 1) 10511 (a 2)) demod (7 (R) 8 8 7 (R) 8 8 7 (R) 8 7 (R) 8 550 7)]

given #475 (wt=24): 10916 f(x,y,f(z,u,f(z,v,w))) = f(x,y,f(z,w,f(z,u,v))).  [para (10500 (a 1) 356 (a 2 3 3)) demod (7 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8 10163 10163 10552 10266 7 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8 11) flip a]

given #476 (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 (wt=24): 11060 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 7 7 7 (R) 8)]

given #478 (wt=24): 11064 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 (9122 510 11)]

given #479 (wt=24): 11127 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 (wt=21): 16935 f(x,f(y,z,f(u,z,v)),f(x,z,v)) = f(x,z,v).  [para (11127 (a 2) 3973 (a 1 2)) demod (11 8 7 7)]

given #481 (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 (R) 8 7 (R) 8) flip a]

given #482 (wt=21): 16950 f(x,f(y,z,f(u,y,v)),f(x,y,v)) = f(x,y,v).  [para (7 (a 1) 16935 (a 1 2)) demod (7 8)]

given #483 (wt=24): 11168 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 (R) 8 10163 10163 5289 7 (R) 8)]

given #484 (wt=24): 11184 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 7 7 7 7)]

given #485 (wt=24): 11206 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 (R) 902 18 7 (R)) flip a]

given #486 (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 (R) 8 7 (R) 8) flip a]

given #487 (wt=21): 16982 f(x,f(y,z,x),f(y,u,f(y,v,z))) = f(y,z,x).  [para (9855 (a 1) 11206 (a 2)) demod (7 7 6 7 6 7 8 7 (R) 7 8)]

given #488 (wt=21): 16984 f(x,f(y,z,x),f(u,y,f(y,z,v))) = f(y,z,x).  [para (10056 (a 1) 11206 (a 2)) demod (7 7 6 7 6 7 8 7 (R) 7 8)]

given #489 (wt=21): 16987 f(x,f(y,z,x),f(u,y,f(y,v,z))) = f(y,z,x).  [para (10076 (a 1) 11206 (a 2)) demod (7 7 6 7 6 7 8 7 (R) 7 8)]

given #490 (wt=22): 17026 f(x,y,f(z,y,f(u,z,f(x,z,v)))) = f(x,z,y).  [para (16984 (a 1) 1335 (a 1 3)) demod (11 7 (R) 8 10163 15743 22 7 (R) 8 9219) flip a]

given #491 (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 (wt=24): 11261 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 18) flip a]

given #493 (wt=23): 17043 f(x,f(y,z,u),f(y,z,v)) = f(v,f(y,z,u),f(y,z,x)).  [para (10497 (a 1) 11261 (a 1 3)) demod (7 7 16990)]

low water: id=12733, wt=37

given #494 (wt=21): 17153 f(x,y,f(z,f(y,u,z),f(x,z,v))) = f(x,y,z).  [para (17043 (a 1) 15231 (a 1 3)) demod (11 7)]

given #495 (wt=23): 17044 f(x,f(y,z,u),f(z,u,v)) = f(v,f(y,z,u),f(z,u,x)).  [para (10623 (a 1) 11261 (a 1 3)) demod (7 7 16991)]

given #496 (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 (R) 8 76 7 (R) 8)]

given #497 (wt=21): 17176 f(x,y,f(z,y,f(u,x,y))) = f(z,y,f(u,x,y)).  [para (17044 (a 1) 9 (a 1)) demod (11 8 7 (R) 8) flip a]

given #498 (wt=23): 17045 f(x,f(y,z,u),f(y,u,v)) = f(v,f(y,z,u),f(y,u,x)).  [para (10624 (a 1) 11261 (a 1 3)) demod (7 7 16992)]

given #499 (wt=23): 17054 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,z,u),f(y,z,x)).  [para (17043 (a 1) 7 (a 1)) demod (7 7 (R)) flip a]

given #500 (wt=23): 17055 f(x,f(y,z,u),f(v,z,u)) = f(v,f(y,z,u),f(z,u,x)).  [para (7 (a 1) 17043 (a 1 2)) demod (7 7) flip a]

given #501 (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 (wt=23): 17056 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,z,u),f(y,u,x)).  [para (7 (a 2) 17043 (a 1 2)) demod (7 (R) 8 7 7 7 8) flip a]

given #503 (wt=23): 17057 f(x,f(y,z,u),f(z,u,v)) = f(y,f(z,u,v),f(z,u,x)).  [para (17043 (a 1) 8 (a 1)) demod (7) flip a]

given #504 (wt=23): 17058 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,z,x),f(y,z,u)).  [para (17043 (a 1) 8 (a 2)) demod (7) flip a]

given #505 (wt=23): 17073 f(x,f(y,z,u),f(y,v,z)) = f(u,f(y,v,z),f(y,z,x)).  [para (18 (a 1) 17043 (a 2 3)) demod (16992) flip a]

given #506 (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 (wt=23): 17074 f(x,f(y,z,u),f(y,z,v)) = f(v,f(y,z,x),f(y,z,u)).  [para (22 (a 1) 17043 (a 2 3)) demod (16990)]

low water: id=13839, wt=36

given #508 (wt=23): 17093 f(x,f(y,z,u),f(v,y,z)) = f(u,f(v,y,z),f(y,z,x)).  [para (319 (a 1) 17043 (a 2 3)) demod (16991) flip a]

given #509 (wt=23): 17149 f(x,f(y,z,u),f(v,y,z)) = f(u,f(y,z,x),f(v,y,z)).  [para (17043 (a 1) 6896 (a 2)) demod (14917 17148 7)]

given #510 (wt=23): 17175 f(x,f(y,z,u),f(v,z,u)) = f(y,f(v,z,u),f(z,u,x)).  [para (17044 (a 1) 8 (a 1)) demod (7) flip a]

given #511 (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 (wt=23): 17200 f(x,f(y,z,u),f(v,z,u)) = f(v,f(z,u,x),f(y,z,u)).  [para (17044 (a 1) 430 (a 2)) demod (7 (R) 5086 7) flip a]

given #513 (wt=22): 17788 f(x,y,f(z,y,f(z,u,f(x,v,z)))) = f(x,z,y).  [para (17200 (a 1) 9035 (a 1 3)) demod (11 7 7 17659 10163)]

given #514 (wt=23): 17271 f(x,f(y,z,u),f(z,v,u)) = f(y,f(z,v,u),f(z,u,x)).  [para (17045 (a 1) 8 (a 1)) demod (7) flip a]

given #515 (wt=23): 17288 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,u,x),f(y,z,u)).  [para (17045 (a 1) 430 (a 2)) demod (7 (R) 5086 7) flip a]

given #516 (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 (wt=23): 17315 f(x,f(y,z,u),f(v,y,z)) = f(v,f(x,y,z),f(y,z,u)).  [para (17054 (a 1) 8 (a 2)) demod (7) flip a]

given #518 (wt=23): 17317 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,z,u),f(x,y,z)).  [para (17054 (a 1) 18 (a 2)) demod (18 7)]

given #519 (wt=23): 17377 f(x,f(y,z,u),f(v,z,u)) = f(v,f(y,z,u),f(x,z,u)).  [para (17055 (a 1) 10637 (a 2)) demod (8 10638 7)]

given #520 (wt=23): 17379 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,z,u),f(x,y,u)).  [para (17055 (a 1) 10638 (a 2)) demod (7 (R) 8 7 (R) 8 10638 7 (R) 8 7)]

given #521 (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 (wt=23): 17393 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,x,z),f(y,z,u)).  [para (7 (a 1) 17057 (a 1 2)) demod (7 (R) 8 7 (R) 8 7 8) flip a]

given #523 (wt=23): 17394 f(x,f(y,z,u),f(z,u,v)) = f(y,f(x,z,u),f(z,u,v)).  [para (17057 (a 2) 8 (a 1)) demod (7)]

given #524 (wt=23): 17395 f(x,f(y,z,u),f(z,u,v)) = f(y,f(z,u,x),f(z,u,v)).  [para (17057 (a 2) 8 (a 2)) flip a]

given #525 (wt=22): 18010 f(x,y,f(z,u,f(z,y,f(v,z,x)))) = f(z,x,y).  [back_demod 11858 demod (17980 7 7)]

given #526 (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 (wt=23): 17429 f(x,f(y,z,u),f(y,v,z)) = f(u,f(y,z,x),f(y,v,z)).  [para (347 (a 1) 17057 (a 2 3)) demod (7 7 17106)]

given #528 (wt=23): 17569 f(x,f(y,z,u),f(y,z,v)) = f(u,f(y,z,x),f(y,z,v)).  [para (17058 (a 2) 11261 (a 2)) demod (7 7 473 16990 7 7)]

given #529 (wt=23): 17604 f(x,f(y,z,u),f(z,v,u)) = f(y,f(z,u,x),f(z,v,u)).  [para (17073 (a 2) 430 (a 2)) demod (7 (R) 5086 7) flip a]

given #530 (wt=23): 17681 f(x,f(y,z,u),f(v,z,u)) = f(y,f(z,u,x),f(v,z,u)).  [para (17093 (a 2) 430 (a 2)) demod (7 (R) 5086 7) flip a]

given #531 (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 (wt=22): 18150 f(x,y,f(y,z,f(x,u,f(v,x,z)))) = f(x,y,z).  [para (17681 (a 1) 10494 (a 1 3)) demod (7 7 319 10497 11 7 18014 7 (R) 8 14187 42) flip a]

given #533 (wt=22): 18151 f(x,y,f(x,z,f(y,u,f(v,z,y)))) = f(x,z,y).  [para (17681 (a 2) 10494 (a 1 3)) demod (7 7 7 7 22 473 11 7 17867 7 7 (R) 8 10163 27) flip a]

given #534 (wt=23): 17701 f(x,f(y,z,u),f(z,u,v)) = f(y,f(z,x,u),f(z,u,v)).  [para (7 (a 2) 17149 (a 1 2)) demod (7 8 7 8 7 8) flip a]

given #535 (wt=23): 17764 f(x,f(y,z,u),f(v,z,u)) = f(v,f(x,z,u),f(y,z,u)).  [para (17175 (a 1) 10637 (a 2)) demod (8 10638 7) flip a]

given #536 (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 (wt=23): 17766 f(x,f(y,z,u),f(v,z,u)) = f(v,f(z,x,u),f(y,z,u)).  [para (17175 (a 1) 10638 (a 2)) demod (7 (R) 8 7 (R) 8 10638 7) flip a]

given #538 (wt=23): 17791 f(x,f(y,z,u),f(v,y,u)) = f(v,f(x,y,u),f(y,z,u)).  [para (17200 (a 1) 10638 (a 2)) demod (7 (R) 8 7 (R) 8 10638 7 7 (R) 8)]

given #539 (wt=23): 17797 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,x,u),f(y,z,u)).  [para (17271 (a 1) 10638 (a 2)) demod (7 (R) 8 7 (R) 8 10638 7) flip a]

given #540 (wt=23): 17810 f(x,f(y,z,u),f(y,u,v)) = f(z,f(y,u,v),f(y,u,x)).  [para (17393 (a 2) 7 (a 2)) demod (7 7 7)]

given #541 (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 7 7 (R) 8 7 (R) 8 7) flip a]

given #542 (wt=23): 17821 f(x,f(y,z,u),f(v,y,z)) = f(v,f(y,z,u),f(y,x,z)).  [para (17393 (a 2) 430 (a 2)) demod (7 (R) 5086) flip a]

given #543 (wt=23): 17839 f(x,f(y,z,u),f(y,u,v)) = f(z,f(y,u,x),f(y,u,v)).  [para (17393 (a 2) 11261 (a 2)) demod (7 7 9028 16992 7 7)]

given #544 (wt=23): 18143 f(x,f(y,z,u),f(z,v,u)) = f(y,f(z,x,u),f(z,v,u)).  [para (17604 (a 1) 10638 (a 2)) demod (7 (R) 8 7 (R) 8 10638 7) flip a]

given #545 (wt=23): 18153 f(x,f(y,z,u),f(v,z,u)) = f(y,f(x,z,u),f(v,z,u)).  [para (17681 (a 1) 10637 (a 2)) demod (8 10638 7)]

given #546 (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 8 7 (R) 8)]

given #547 (wt=23): 18155 f(x,f(y,z,u),f(v,z,u)) = f(y,f(z,x,u),f(v,z,u)).  [para (17681 (a 1) 10638 (a 2)) demod (7 (R) 8 7 (R) 8 10638 7) flip a]

given #548 (wt=23): 18172 f(x,f(y,z,u),f(z,u,v)) = f(y,f(z,u,v),f(z,x,u)).  [para (17701 (a 2) 430 (a 2)) demod (7 (R) 5086) flip a]

given #549 (wt=23): 18246 f(f(x,y,z),f(x,y,u),f(y,z,u)) = f(x,y,f(y,z,u)).  [para (8759 (a 2) 196 (a 2)) demod (7 7 (R) 8 17962 319 18 7 7 (R) 8 7 532) flip a]

given #550 (wt=23): 18265 f(x,f(y,z,u),f(y,v,z)) = f(v,f(y,z,u),f(y,z,x)).  [para (17821 (a 2) 473 (a 2)) demod (8 9028 7 7)]

given #551 (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 (R) 8 63 7 (R) 8) flip a]

given #552 (wt=23): 18296 f(x,f(y,z,u),f(y,v,z)) = f(v,f(y,z,x),f(y,z,u)).  [para (18172 (a 2) 473 (a 2)) demod (8 9028 7 7)]

given #553 (wt=23): 18300 f(f(x,y,z),f(u,x,y),f(u,x,z)) = f(u,x,f(x,y,z)).  [para (18246 (a 1) 7 (a 1)) flip a]

given #554 (wt=23): 18301 f(f(x,y,z),f(y,z,u),f(x,z,u)) = f(y,z,f(x,z,u)).  [para (7 (a 1) 18246 (a 1 1)) demod (7 (R) 8 7 (R) 8)]

given #555 (wt=23): 18302 f(f(x,y,z),f(x,z,u),f(y,z,u)) = f(x,z,f(y,z,u)).  [para (8 (a 1) 18246 (a 1 1)) demod (7 (R) 8 7 (R) 8)]

given #556 (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 8) flip a]

given #557 (wt=23): 18371 f(f(x,y,z),f(u,x,z),f(u,x,y)) = f(u,x,f(x,y,z)).  [para (18300 (a 1) 8 (a 1)) flip a]

given #558 (wt=23): 18449 f(f(x,y,z),f(u,x,y),f(u,y,z)) = f(x,y,f(u,y,z)).  [para (18301 (a 1) 13309 (a 2)) demod (7 (R) 13735)]

given #559 (wt=23): 18495 f(f(x,y,z),f(x,u,y),f(x,u,z)) = f(x,z,f(x,u,y)).  [para (18371 (a 1) 13309 (a 2)) demod (7 7 7 7 7 7 7 7 7 (R) 13735 7 (R) 8)]

given #560 (wt=23): 18529 f(f(x,y,z),f(x,u,z),f(x,u,y)) = f(x,z,f(x,u,y)).  [para (18495 (a 1) 473 (a 1 3)) demod (8 7 8 18353 8) flip a]

given #561 (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 (wt=24): 11346 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) flip a]

given #563 (wt=24): 11465 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 7 7 7 7)]

given #564 (wt=24): 11484 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 (10623 10623) flip a]

given #565 (wt=22): 18585 f(x,y,f(z,x,f(u,z,f(z,v,y)))) = f(z,x,y).  [para (11484 (a 1) 11484 (a 1 3)) demod (7 7 7 7 7 (R) 2545 8 18191 7 (R) 8 14187 7 7 7 (R) 2545 532)]

given #566 (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 8) flip a]

given #567 (wt=24): 11485 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 (R) 905 18 7 (R)) flip a]

given #568 (wt=24): 11525 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 18) flip a]

given #569 (wt=24): 11566 f(x,f(y,z,u),f(v,x,f(x,y,u))) = f(v,x,f(x,y,u)).  [para (10624 (a 1) 102 (a 1 3 3)) demod (7 (R) 10163 430 7 7 430) flip a]

given #570 (wt=24): 11574 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 (4828) flip a]

given #571 (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 7 (R) 8)]

given #572 (wt=24): 11578 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 (wt=24): 11589 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 7 (R) 8)]

given #574 (wt=24): 11604 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 7 (R) 8)]

given #575 (wt=24): 11608 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 (R) 8 10163 8155 8 8 9952 7 (R) 8)]

given #576 (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 (wt=24): 11625 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 7 27 3406 7 (R) 8)]

given #578 (wt=24): 11692 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 22)]

given #579 (wt=24): 12003 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 (wt=24): 12022 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 11988 10163)]

given #581 (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 (R) 8 8 8 7 (R) 8) flip a]

given #582 (wt=24): 12051 f(f(x,y,z),f(x,z,u),f(v,y,f(x,y,z))) = f(x,y,z).  [para (629 (a 1) 6274 (a 1 3)) demod (11 7 (R) 8) flip a]

given #583 (wt=24): 12081 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 7 7 7)]

given #584 (wt=24): 12087 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 (wt=24): 12098 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 7 (R) 8)]

given #586 (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 (R) 8 8)]

given #587 (wt=21): 18903 f(x,f(y,z,f(z,u,v)),f(z,x,v)) = f(z,x,v).  [para (222 (a 2) 3058 (a 2)) demod (7 (R) 8 7 (R) 8 7 (R) 8 319 11 8 7 (R) 8 319) flip a]

given #588 (wt=23): 18892 f(x,f(y,z,u),f(v,y,u)) = f(z,f(y,u,x),f(v,y,u)).  [para (17821 (a 2) 12098 (a 2)) demod (17927 7 (R) 8 18891)]

given #589 (wt=23): 18893 f(x,f(y,z,u),f(v,y,u)) = f(z,f(v,y,u),f(y,u,x)).  [para (18172 (a 2) 12098 (a 2)) demod (17927 7 (R) 8 18891)]

given #590 (wt=24): 12107 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 7 (R) 8)]

given #591 (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 7 7 (R) 8 7 (R) 8 7 (R)) flip a]

given #592 (wt=22): 18944 f(x,y,f(z,u,f(x,z,f(v,y,z)))) = f(x,y,z).  [para (2159 (a 1) 12107 (a 1 3)) demod (7 7 7 7 8 10163 1150 22 7 (R) 8 7 (R) 8 7 7 18135 16149) flip a]

given #593 (wt=22): 18959 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 (R) 8 10163 9122 345 18 11 18012 10163 1181 7 (R) 8 10163 10499) flip a]

given #594 (wt=24): 12114 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 (R) 8 10163 8155 8 8 9952 7 (R) 8)]

given #595 (wt=24): 12147 f(x,f(y,z,u),f(x,u,f(v,y,z))) = f(x,u,f(v,y,z)).  [para (630 (a 1) 4290 (a 1 3 3 3)) demod (7 7 10163 8865 8 6362 7 7 12081)]

given #596 (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 64)]

given #597 (wt=23): 18992 f(x,f(y,z,u),f(v,y,u)) = f(v,f(y,z,u),f(y,x,u)).  [para (17044 (a 1) 12147 (a 2)) demod (7 7 7 7 10638 7 7 8) flip a]

given #598 (wt=23): 18993 f(x,f(y,z,u),f(z,v,u)) = f(y,f(z,v,u),f(z,x,u)).  [para (17093 (a 2) 12147 (a 2)) demod (7 7 7 7 10638 7 8 7) flip a]

given #599 (wt=24): 12156 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 (R) 18 7 (R) 8 18)]

given #600 (wt=24): 12177 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 22)]

given #601 (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 63 64 22) flip a]

given #602 (wt=24): 12251 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 (wt=24): 12271 f(f(x,y,z),f(x,y,u),f(y,z,f(x,z,v))) = f(x,y,z).  [para (2676 (a 1) 643 (a 1 3))]

given #604 (wt=24): 12330 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 7 7 11 7 (R)) flip a]

given #605 (wt=24): 12332 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 (R) 8 8 7 7 7 (R) 8) flip a]

given #606 (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 (wt=24): 12333 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 (R) 8 7 7 7 7) flip a]

low water: id=16065, wt=35

given #608 (wt=24): 12358 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 6274 22 7 (R) 8)]

given #609 (wt=24): 12434 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 8 5345 8)]

given #610 (wt=24): 12726 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 7 (R) 8 7 7 (R) 8 2246 7 7)]

given #611 (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)]

given #612 (wt=22): 19118 f(x,y,f(x,z,f(y,u,f(z,v,y)))) = f(x,z,y).  [para (8838 (a 1) 243 (a 2 3)) demod (8 22 10497 11 22 9419 8 22 17878 8 10163 27) flip a]

given #613 (wt=24): 12855 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 (R) 8 7 (R) 8 7)]

given #614 (wt=24): 12856 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 (R) 8 8)]

given #615 (wt=24): 12859 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 (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 (wt=24): 13016 f(x,f(y,x,z),f(u,y,v)) = f(x,z,f(y,x,f(u,y,v))).  [para (108 (a 1) 7226 (a 1 3)) demod (7 7 7 9217 22 7 (R) 8 8643 7 7 (R)) flip a]

given #618 (wt=24): 13017 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 11 10163 70) flip a]

given #619 (wt=24): 13118 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 473 8) flip a]

given #620 (wt=24): 13159 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 (R) 8 7 (R) 8 11 7 (R) 8) flip a]

given #621 (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 8) flip a]

given #622 (wt=24): 13183 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 22)]

given #623 (wt=24): 13199 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 11 22) flip a]

given #624 (wt=24): 13247 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 22)]

given #625 (wt=24): 13341 f(x,y,f(x,f(z,u,y),f(x,v,z))) = f(x,v,f(x,z,y)).  [para (13277 (a 1) 9219 (a 2 3)) demod (7 7 (R) 8 13006 64 7 (R) 8 7 (R) 8)]

given #626 (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 8)]

given #627 (wt=24): 13406 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 (R) 8 9042 7)]

given #628 (wt=24): 13416 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 (R) 8 9042 7)]

given #629 (wt=24): 13418 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 (R) 8 9042 7) flip a]

given #630 (wt=24): 13426 f(x,y,f(z,u,f(v,w,u))) = f(x,y,f(w,u,f(z,v,u))).  [para (2676 (a 1) 905 (a 2 3)) demod (7 (R) 8 9042 7)]

given #631 (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 (R) 8 7 (R))]

given #632 (wt=24): 13458 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 7) flip a]

given #633 (wt=24): 13459 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 (R) 8 7 8)]

given #634 (wt=24): 13460 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 (R) 8 7 8)]

given #635 (wt=24): 13462 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 3039 7 (R) 8) flip a]

given #636 (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 76)]

given #637 (wt=24): 13527 f(x,y,f(y,f(x,z,u),f(y,v,u))) = f(y,v,f(x,y,u)).  [back_demod 13314 demod (13463 8)]

given #638 (wt=24): 13529 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 (R) 8 7 8)]

given #639 (wt=24): 13530 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 (R) 8 8) flip a]

given #640 (wt=24): 13590 f(x,y,f(x,z,f(y,u,v))) = f(x,z,f(x,y,f(z,u,v))).  [back_demod 1250 demod (13578 13574)]

given #641 (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 8) flip a]

given #642 (wt=23): 19475 f(x,f(y,z,u),f(x,v,y)) = f(x,f(v,z,u),f(x,v,y)).  [para (13590 (a 1) 10724 (a 1 3)) demod (16625) flip a]

low water: id=16677, wt=34

given #643 (wt=23): 19492 f(x,f(y,z,u),f(x,v,u)) = f(x,f(v,y,z),f(x,v,u)).  [para (19475 (a 1) 7 (a 1)) demod (7 7 7 (R)) flip a]

given #644 (wt=23): 19493 f(x,f(y,z,u),f(v,x,u)) = f(x,f(v,y,z),f(v,x,u)).  [para (19475 (a 1) 7 (a 2)) demod (7 7 7 7 7) flip a]

given #645 (wt=23): 19494 f(x,f(y,z,u),f(x,v,u)) = f(x,f(y,v,z),f(x,v,u)).  [para (7 (a 1) 19475 (a 1 2)) demod (8 7 8 8) flip a]

given #646 (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) flip a]

given #647 (wt=23): 19495 f(x,f(y,z,u),f(x,v,u)) = f(x,f(y,z,v),f(x,v,u)).  [para (7 (a 2) 19475 (a 1 2)) demod (8 7 7 8) flip a]

given #648 (wt=23): 19692 f(x,f(y,z,u),f(v,x,u)) = f(x,f(y,z,v),f(v,x,u)).  [para (19492 (a 1) 7 (a 2)) demod (7 7 7 7 7) flip a]

given #649 (wt=23): 19805 f(x,f(y,z,u),f(v,u,x)) = f(x,f(y,z,v),f(v,u,x)).  [para (19493 (a 1) 7 (a 2)) demod (7 7 7 7 7) flip a]

given #650 (wt=23): 19806 f(x,f(y,z,u),f(v,x,y)) = f(x,f(v,z,u),f(v,x,y)).  [para (7 (a 1) 19493 (a 1)) demod (7 7 (R))]

given #651 (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 (wt=23): 19843 f(x,f(y,z,u),f(v,x,u)) = f(x,f(y,v,z),f(v,x,u)).  [para (19494 (a 2) 7 (a 2)) demod (7 (R) 8 7 7 (R) 8) flip a]

given #653 (wt=23): 19850 f(x,f(y,z,u),f(x,v,z)) = f(x,f(v,y,u),f(x,v,z)).  [para (19494 (a 1) 31 (a 1 3)) demod (8 27 7 8)]

given #654 (wt=23): 19930 f(x,f(y,z,u),f(v,y,x)) = f(x,f(v,z,u),f(v,y,x)).  [para (7 (a 1) 19805 (a 1)) demod (7 7 (R) 7)]

given #655 (wt=23): 19945 f(x,f(y,z,u),f(v,u,x)) = f(x,f(v,y,z),f(v,u,x)).  [para (19806 (a 1) 7 (a 2)) demod (7 7 7 7 7) flip a]

given #656 (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 8) flip a]

given #657 (wt=23): 19984 f(x,f(y,z,u),f(x,v,z)) = f(x,f(y,v,u),f(x,v,z)).  [para (347 (a 1) 19850 (a 1 3)) demod (8 8 10163 15138 8 7 (R) 8 347) flip a]

given #658 (wt=24): 13630 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 7 (R) 8 11 7) flip a]

given #659 (wt=24): 13658 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 (R) 2545 7 (R) 11 8 7 (R) 2545)]

given #660 (wt=24): 13662 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 (R) 2545 8 7 (R) 11 7 (R) 2545)]

given #661 (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 8 7 (R) 8)]

given #662 (wt=24): 13695 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 (10163 11062)]

given #663 (wt=24): 13716 f(x,f(y,x,z),f(u,x,v)) = f(u,x,f(y,x,f(x,z,v))).  [para (9 (a 1) 1522 (a 1 2)) demod (7 974 8 9788 7) flip a]

given #664 (wt=24): 13718 f(x,f(y,x,z),f(u,x,v)) = f(u,x,f(y,x,f(x,v,z))).  [para (23 (a 1) 1522 (a 1 2)) demod (7 974 8 488 7) flip a]

given #665 (wt=24): 13721 f(x,f(y,z,u),f(u,x,v)) = f(x,v,f(y,u,f(z,u,x))).  [para (313 (a 1) 1522 (a 2 3)) demod (7 (R) 8 7 (R) 8 1721 7 7)]

given #666 (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)]

given #667 (wt=24): 13723 f(x,f(y,z,u),f(z,x,v)) = f(x,v,f(z,u,f(y,z,x))).  [para (314 (a 2) 1522 (a 2 3)) demod (7 (R) 8 7 (R) 8 1721 7 7)]

given #668 (wt=24): 13724 f(x,f(y,x,z),f(u,x,f(y,z,v))) = f(u,x,f(y,x,z)).  [para (378 (a 1) 1522 (a 1 2)) demod (7 10502 18 7) flip a]

given #669 (wt=22): 20088 f(x,y,f(z,u,f(v,z,f(z,x,y)))) = f(z,x,y).  [para (10678 (a 1) 13724 (a 1 3)) demod (7 7 8 1151 7 (R) 8 17993 329 7 7 8 1151 8 16984)]

given #670 (wt=22): 20092 f(x,y,f(z,u,f(v,z,f(x,y,z)))) = f(x,y,z).  [para (7 (a 1) 20088 (a 1 3)) demod (7 7 7 7 7 7)]

given #671 (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 8 8 238)]

given #672 (wt=22): 20093 f(x,y,f(z,u,f(v,u,f(x,y,u)))) = f(x,y,u).  [para (7 (a 2) 20088 (a 1 3)) demod (7 7 8 7 7)]

given #673 (wt=22): 20100 f(x,y,f(z,u,f(v,u,f(x,u,y)))) = f(x,u,y).  [para (20088 (a 1) 12147 (a 1 3)) demod (7 (R) 8 8 7 (R) 8 8 10163 19304 7 (R) 8 889 7 (R) 8 7 (R) 8) flip a]

given #674 (wt=24): 13725 f(x,f(y,z,u),f(x,v,f(y,x,z))) = f(x,v,f(y,x,z)).  [para (378 (a 1) 1522 (a 1 3 3)) demod (473) flip a]

given #675 (wt=24): 13729 f(x,f(y,x,f(y,z,u)),f(v,x,z)) = f(v,x,f(y,x,z)).  [para (382 (a 1) 1522 (a 1 2)) demod (7 10506 18 7) flip a]

given #676 (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 (R) 8 7 (R) 8 7 (R) 8 63 164)]

given #677 (wt=24): 13731 f(x,f(y,z,f(z,x,u)),f(y,x,v)) = f(x,v,f(y,z,x)).  [para (384 (a 1) 1522 (a 2 3)) demod (7 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8 1721 7 7)]

given #678 (wt=24): 13732 f(x,f(y,z,f(y,x,u)),f(z,x,v)) = f(x,v,f(y,z,x)).  [para (385 (a 1) 1522 (a 1 3 3)) demod (7 (R) 8 7 7 7 12692 7 (R) 8 12375 8)]

given #679 (wt=24): 13733 f(x,f(y,z,f(y,x,u)),f(v,x,z)) = f(v,x,f(y,x,z)).  [para (387 (a 1) 1522 (a 1 2)) demod (7 10507 18 7) flip a]

given #680 (wt=24): 13734 f(x,f(y,z,f(y,x,u)),f(v,x,u)) = f(v,x,f(y,x,u)).  [para (705 (a 1) 1522 (a 1 2)) demod (7 10508 18 7) flip a]

given #681 (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 7 8 7 (R) 8 7)]

given #682 (wt=24): 13745 f(x,y,f(z,y,f(y,u,v))) = f(y,v,f(z,y,f(x,y,u))).  [para (1181 (a 1) 1522 (a 1 2)) demod (7 10518 18 7 10163 2070)]

given #683 (wt=24): 13751 f(x,f(y,z,x),f(x,u,f(v,y,z))) = f(x,u,f(y,z,x)).  [para (2545 (a 1) 1522 (a 1 3 3)) demod (11) flip a]

given #684 (wt=24): 13756 f(x,y,f(z,x,f(u,x,v))) = f(x,y,f(x,v,f(u,z,x))).  [para (2676 (a 1) 1522 (a 2 3)) demod (1522) flip a]

given #685 (wt=24): 13801 f(x,f(y,z,f(z,u,x)),f(y,x,v)) = f(x,v,f(y,z,x)).  [para (7226 (a 1) 1522 (a 2 3)) demod (7 7 (R) 8 7 7 (R) 8 1721 7 7)]

given #686 (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 7 7 7 (R) 8 7 (R))]

given #687 (wt=24): 13810 f(x,f(y,z,f(y,u,x)),f(z,x,v)) = f(x,v,f(y,z,x)).  [para (8897 (a 1) 1522 (a 2 3)) demod (7 (R) 8 7 (R) 8 1721 8)]

given #688 (wt=24): 13847 f(x,f(y,z,f(z,u,x)),f(u,x,v)) = f(x,v,f(z,u,x)).  [para (13277 (a 1) 1522 (a 2 3)) demod (7 7 7 (R) 8 33 7 (R) 8 7 7 7 (R) 8 33 7 (R) 8 1721 7 8)]

given #689 (wt=24): 13856 f(x,f(y,z,u),f(v,x,f(y,v,z))) = f(v,x,f(y,z,u)).  [para (1090 (a 1) 1522 (a 1 3)) demod (7 (R) 8 7 (R) 8 11 7 (R) 8) flip a]

given #690 (wt=24): 13964 f(x,f(y,z,u),f(v,x,f(z,u,x))) = f(v,x,f(z,u,x)).  [para (2545 (a 1) 1721 (a 1 3 3)) demod (11) flip a]

given #691 (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)]

given #692 (wt=24): 13971 f(x,f(y,z,u),f(v,x,f(y,z,v))) = f(v,x,f(y,z,u)).  [para (902 (a 1) 1721 (a 1 3)) demod (7 7 473 7 7) flip a]

given #693 (wt=22): 20255 f(x,y,f(z,u,f(y,z,f(x,v,z)))) = f(x,y,z).  [para (8748 (a 1) 13971 (a 2)) demod (319 7 6 7 20254 8)]

given #694 (wt=24): 13972 f(x,f(y,z,u),f(v,x,f(z,u,v))) = f(v,x,f(y,z,u)).  [para (905 (a 1) 1721 (a 1 3)) demod (7 7 473 7 7) flip a]

given #695 (wt=24): 13986 f(x,f(y,z,f(y,u,x)),f(u,v,f(y,u,x))) = f(y,u,x).  [para (1745 (a 1) 36 (a 1)) demod (8 7 7 13979 8 8 1752 8 13022 401 7 (R)) flip a]

given #696 (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)]

given #697 (wt=22): 20286 f(x,y,f(x,z,f(u,y,f(v,z,y)))) = f(x,z,y).  [para (13986 (a 1) 10678 (a 2)) demod (7 7 7 (R) 8 362 8 17867 7 7 (R) 8 7 7 (R) 8 18 8 10163 27 7)]

given #698 (wt=24): 13987 f(x,f(y,z,f(y,x,u)),f(z,v,f(y,z,x))) = f(y,z,x).  [para (1745 (a 1) 36 (a 2 3)) demod (8 8 7 7 550 362 8 7 (R)) flip a]

given #699 (wt=24): 14036 f(x,y,f(z,x,f(x,u,v))) = f(z,x,f(x,v,f(x,y,u))).  [back_demod 10529 demod (13993 11) flip a]

given #700 (wt=24): 14068 f(x,y,f(y,f(x,z,u),f(y,u,v))) = f(y,v,f(x,y,u)).  [para (8605 (a 1) 1767 (a 2 3)) demod (7 (R) 8)]

given #701 (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 8 8)]

given #702 (wt=21): 20302 f(x,f(y,z,f(u,v,y)),f(u,x,y)) = f(u,x,y).  [para (383 (a 1) 14068 (a 1 3)) demod (8 3167 7 7) flip a]

given #703 (wt=24): 14187 f(x,f(y,x,z),f(x,u,v)) = f(x,z,f(y,x,f(x,u,v))).  [para (1772 (a 2) 1782 (a 2)) demod (10163 10163 5289) flip a]

given #704 (wt=24): 14256 f(x,y,f(z,y,f(y,u,v))) = f(y,u,f(y,v,f(x,z,y))).  [para (1850 (a 1) 7 (a 2)) demod (8 7)]

given #705 (wt=24): 14279 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 33) flip a]

given #706 (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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #707 (wt=24): 14343 f(x,f(y,z,f(z,x,u)),f(x,u,v)) = f(x,v,f(z,x,u)).  [para (2221 (a 1) 7 (a 2)) demod (7 7 7)]

given #708 (wt=24): 14351 f(x,f(y,z,f(u,y,x)),f(v,u,f(u,y,x))) = f(u,y,x).  [para (2221 (a 1) 382 (a 1 3)) demod (7 7 7 (R) 7 8 1151)]

given #709 (wt=24): 14354 f(x,f(y,z,f(y,u,x)),f(v,u,f(y,u,x))) = f(y,u,x).  [para (2221 (a 1) 36 (a 1)) demod (8 7 7 8 8 10163 14352 8 8 5345 12434 7 (R)) flip a]

given #710 (wt=24): 14368 f(x,f(y,z,f(u,z,x)),f(u,v,f(u,z,x))) = f(u,z,x).  [para (2221 (a 1) 82 (a 2 3)) demod (8 8 8 550 1150 8 8) flip a]

given #711 (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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #712 (wt=24): 14390 f(x,y,f(z,u,f(z,v,x))) = f(z,x,f(x,y,f(z,v,u))).  [para (1621 (a 1) 141 (a 2)) demod (7 7 329 7 (R) 8 329 7 7 8 10163 1522) flip a]

given #713 (wt=24): 14406 f(x,f(y,z,u),f(v,x,f(y,u,x))) = f(v,x,f(y,u,x)).  [para (8761 (a 1) 2246 (a 1 3 3)) demod (8 8 11 8) flip a]

given #714 (wt=24): 14446 f(f(x,y,z),f(u,x,y),f(v,z,f(x,y,z))) = f(x,y,z).  [para (2627 (a 1) 13309 (a 2)) demod (7 (R) 13735)]

given #715 (wt=24): 14506 f(x,y,f(x,f(z,u,v),f(z,v,y))) = f(x,y,f(z,u,v)).  [para (7 (a 1) 3387 (a 1)) demod (7 7 7 7)]

given #716 (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 (R) 8 7 7 7 (R) 8)]

given #717 (wt=24): 14509 f(x,f(y,z,u),f(x,v,f(v,y,u))) = f(x,v,f(y,z,u)).  [para (3387 (a 1) 12 (a 1)) flip a]

given #718 (wt=24): 14516 f(x,f(y,z,u),f(y,v,f(x,u,v))) = f(x,v,f(y,z,u)).  [para (3387 (a 1) 24 (a 2)) demod (8 7 (R) 8)]

given #719 (wt=24): 14522 f(x,f(y,z,u),f(u,v,f(x,y,v))) = f(x,v,f(y,z,u)).  [para (3387 (a 1) 26 (a 2)) demod (8 7 (R) 8)]

given #720 (wt=24): 14526 f(x,f(y,z,u),f(x,u,f(y,v,z))) = f(x,u,f(y,v,z)).  [para (3387 (a 1) 362 (a 1 3 3)) demod (7 7 10163 8795 8 13380 7 7 14506)]

given #721 (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 (R) 8 8 7 8 7 (R) 8 7 (R) 8)]

given #722 (wt=24): 14528 f(x,f(y,z,u),f(y,x,f(z,v,u))) = f(y,x,f(z,v,u)).  [para (3387 (a 1) 387 (a 2)) demod (7 (R) 8 10163 8155 8 8 9952 7 (R) 8)]

given #723 (wt=24): 14536 f(x,f(y,z,u),f(v,x,f(v,y,u))) = f(v,x,f(y,z,u)).  [para (3387 (a 1) 1201 (a 2)) demod (7 (R) 8 10163 9653 7 (R) 8)]

given #724 (wt=24): 14540 f(x,y,f(x,f(y,z,u),f(z,v,u))) = f(x,y,f(z,v,u)).  [para (3387 (a 1) 83 (a 2 3)) demod (7 (R) 18 7 (R) 8 18)]

given #725 (wt=24): 14546 f(x,f(y,z,u),f(v,y,f(x,v,u))) = f(x,v,f(y,z,u)).  [para (3387 (a 1) 98 (a 2 3)) demod (73 22)]

given #726 (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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #727 (wt=22): 20519 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 319 11 11 11 18012 10163) flip a]

given #728 (wt=24): 14574 f(x,f(y,z,u),f(x,v,f(y,u,x))) = f(x,v,f(y,u,x)).  [para (14541 (a 1) 804 (a 1 3 3)) demod (8 11 8) flip a]

given #729 (wt=24): 14575 f(x,f(y,z,x),f(x,u,f(y,v,z))) = f(x,u,f(y,z,x)).  [para (14541 (a 1) 1522 (a 1 3 3)) demod (11) flip a]

given #730 (wt=24): 14597 f(x,y,f(y,f(z,x,u),f(z,y,v))) = f(y,v,f(z,x,y)).  [para (388 (a 1) 5097 (a 1 3)) demod (7 7 7 7 10579 7 7 10580)]

given #731 (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 (R) 8 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #732 (wt=24): 14602 f(x,y,f(y,f(x,z,u),f(z,y,v))) = f(y,v,f(x,z,y)).  [para (746 (a 1) 5097 (a 1 3)) demod (7 7 7 7 12725 7 7 12726)]

given #733 (wt=24): 14615 f(x,f(y,z,u),f(y,v,x)) = f(v,x,f(y,u,f(y,z,x))).  [para (5131 (a 1) 7 (a 2)) demod (7 7 7 7)]

given #734 (wt=24): 14701 f(x,y,f(z,y,f(y,u,v))) = f(y,v,f(y,u,f(x,z,y))).  [para (6617 (a 1) 7 (a 2)) demod (8 7)]

given #735 (wt=24): 14734 f(f(x,y,z),f(x,u,y),f(z,v,f(x,y,z))) = f(x,y,z).  [para (6896 (a 1) 1165 (a 1 2)) demod (7 (R) 14541 7 (R) 11 8 7 (R) 14541)]

given #736 (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 (wt=24): 14735 f(f(x,y,z),f(z,u,f(x,y,z)),f(x,v,y)) = f(x,y,z).  [para (6896 (a 1) 1166 (a 1 3)) demod (7 (R) 14541 8 7 (R) 11 7 (R) 14541)]

given #738 (wt=24): 14776 f(x,y,f(z,u,f(x,v,u))) = f(x,y,f(v,u,f(x,z,u))).  [para (7 (a 2) 7090 (a 1 3)) demod (8 8)]

given #739 (wt=24): 14796 f(x,f(y,z,u),f(x,v,z)) = f(x,v,f(z,u,f(x,y,z))).  [para (7090 (a 2) 630 (a 2)) demod (503 5345 31)]

given #740 (wt=24): 14836 f(x,f(y,z,u),f(v,y,x)) = f(v,x,f(y,u,f(y,z,x))).  [para (7972 (a 2) 760 (a 2)) demod (8 12918) flip a]

given #741 (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)]

given #742 (wt=24): 14840 f(x,f(y,z,u),f(y,v,x)) = f(v,x,f(y,z,f(y,x,u))).  [para (7 (a 1) 8510 (a 1)) demod (7 (R) 8)]

given #743 (wt=24): 14851 f(x,f(y,z,x),f(z,u,v)) = f(y,x,f(z,u,f(z,x,v))).  [para (8511 (a 2) 8 (a 2)) demod (7 (R) 8 8 8) flip a]

given #744 (wt=24): 15098 f(x,y,f(z,u,f(y,v,u))) = f(x,y,f(y,u,f(v,z,u))).  [para (8759 (a 2) 379 (a 1 2)) demod (7 8 7 7 7 (R) 8 6512 8972 11 7 7 (R) 8) flip a]

given #745 (wt=24): 15106 f(x,f(y,z,u),f(x,z,f(y,v,u))) = f(x,z,f(y,v,u)).  [para (8759 (a 2) 10274 (a 1 2)) demod (7 7 10623 7 7 7 7)]

given #746 (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 (wt=24): 15118 f(x,f(y,z,u),f(v,x,u)) = f(v,x,f(z,u,f(x,y,u))).  [para (8759 (a 2) 902 (a 1 3)) demod (7 (R) 8 6363 7)]

given #748 (wt=24): 15122 f(x,y,f(x,f(z,y,u),f(x,v,u))) = f(x,v,f(x,y,u)).  [para (8759 (a 2) 1503 (a 2 3)) demod (7 7 18 11 7 7 (R) 8 7 7 10163 31) flip a]

given #749 (wt=24): 15124 f(x,f(y,z,u),f(x,u,f(x,v,y))) = f(x,v,f(x,y,u)).  [para (8759 (a 2) 6617 (a 1 3)) demod (7 (R) 8 7 8 8761 7 7 7) flip a]

given #750 (wt=24): 15148 f(x,y,f(z,u,f(v,z,w))) = f(x,y,f(z,w,f(v,z,u))).  [para (89 (a 1) 8772 (a 2 3)) demod (7 (R) 8 33 7 (R) 8 10119 7 (R) 8 10163 13016 7 (R) 8 124 14919 7 7 (R) 8 1154)]

given #751 (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 7 (R) 8 7 (R) 8) flip a]

given #752 (wt=24): 15264 f(x,f(y,z,u),f(y,x,f(x,z,v))) = f(x,v,f(y,x,z)).  [para (385 (a 1) 8853 (a 1 3 3)) demod (7 (R) 8 7 7 7 7 (R) 8 14941 382 18 7 (R) 8 7 14187) flip a]

given #753 (wt=24): 15274 f(x,f(y,z,u),f(y,x,f(x,u,v))) = f(x,v,f(y,x,u)).  [para (8897 (a 1) 8853 (a 1 3 3)) demod (7 8 7 (R) 8 14941 8642 18 7 14187) flip a]

given #754 (wt=24): 15399 f(x,f(y,z,u),f(v,y,f(v,x,u))) = f(v,x,f(y,z,u)).  [para (9041 (a 1) 85 (a 2 3)) demod (76 22)]

given #755 (wt=24): 15409 f(x,f(y,z,u),f(v,x,f(y,u,v))) = f(v,x,f(y,z,u)).  [para (9041 (a 1) 2246 (a 1 3)) demod (7 7 473 7 7) flip a]

given #756 (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 (wt=24): 15492 f(x,f(y,z,u),f(x,v,u)) = f(x,v,f(y,u,f(x,z,u))).  [para (8759 (a 2) 9042 (a 2)) demod (7 7 9042 7 (R) 8 7 7) flip a]

given #758 (wt=24): 15521 f(x,y,f(x,z,f(u,v,y))) = f(x,z,f(x,y,f(z,u,v))).  [para (9043 (a 1) 96 (a 2 3)) demod (7 8 12098 8) flip a]

given #759 (wt=24): 15545 f(f(x,y,z),f(x,u,y),f(v,z,f(x,y,z))) = f(x,y,z).  [para (9118 (a 1) 13309 (a 2)) demod (7 (R) 13735)]

given #760 (wt=24): 15631 f(x,f(y,z,f(y,u,x)),f(u,x,v)) = f(y,x,f(u,x,v)).  [para (9846 (a 1) 7 (a 2)) demod (7 7 7 (R) 8)]

given #761 (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 (R) 8 7 (R) 8)]

given #762 (wt=24): 15814 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)]

given #763 (wt=24): 15974 f(x,y,f(y,z,f(u,y,v))) = f(u,y,f(y,z,f(x,y,v))).  [para (10392 (a 1) 455 (a 2)) demod (10163 11062)]

given #764 (wt=24): 15980 f(x,y,f(x,f(y,z,u),f(v,x,u))) = f(v,x,f(x,y,u)).  [para (8759 (a 2) 10392 (a 1 3)) demod (7 (R) 8 7 8 8761 7 7 (R) 8) flip a]

given #765 (wt=24): 15984 f(x,y,f(x,f(z,y,u),f(x,z,v))) = f(x,y,f(x,z,v)).  [para (7 (a 1) 10433 (a 1 2)) demod (7 (R) 8 7 7 7 14803 7)]

given #766 (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 (R) 8 7 (R) 8)]

given #767 (wt=24): 16096 f(x,f(y,z,f(u,y,x)),f(u,x,f(u,y,v))) = f(u,y,x).  [para (10451 (a 1) 5303 (a 1)) demod (8) flip a]

given #768 (wt=22): 20732 f(x,y,f(z,y,f(x,u,f(z,v,x)))) = f(z,x,y).  [para (16096 (a 1) 1216 (a 2)) demod (7 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8 8 20333 17854 13762 17547 8 7 (R) 8)]

given #769 (wt=24): 16265 f(x,y,f(z,x,f(u,x,v))) = f(z,x,f(x,v,f(u,x,y))).  [para (10494 (a 1) 455 (a 2)) demod (10163 11062) flip a]

given #770 (wt=24): 16269 f(x,f(y,z,u),f(x,y,f(x,z,v))) = f(x,v,f(x,y,z)).  [para (13 (a 1) 10502 (a 1 3)) demod (7 7 7 (R) 8 7 (R) 8 7 (R) 8)]

given #771 (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 (wt=24): 16271 f(x,f(y,z,u),f(x,z,f(x,y,v))) = f(x,v,f(x,y,z)).  [para (314 (a 2) 10502 (a 1 3)) demod (7 8 7 (R) 8 7 (R) 8)]

given #773 (wt=24): 16293 f(x,f(y,z,u),f(x,z,f(x,v,y))) = f(x,v,f(x,y,z)).  [para (10504 (a 1) 347 (a 2)) demod (7 (R) 8 7 7 7 (R) 8 7 10163 15743 14980 8 10163 722 7 7 (R) 8)]

given #774 (wt=24): 16334 f(x,f(y,z,u),f(x,y,f(x,u,v))) = f(x,v,f(x,y,u)).  [para (7 (a 2) 10580 (a 1 2)) demod (7 (R) 8 7 (R) 8 7 8)]

given #775 (wt=24): 16470 f(x,f(y,z,u),f(v,y,f(v,z,x))) = f(v,x,f(y,z,u)).  [para (10636 (a 1) 1201 (a 2)) demod (7 (R) 8 7 (R) 8 8 7 (R) 8 5211 7 (R) 8)]

given #776 (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 (R) 8 7 (R) 8)]

given #777 (wt=24): 16510 f(x,f(y,z,u),f(x,v,f(y,v,z))) = f(x,v,f(y,z,u)).  [para (10637 (a 1) 383 (a 2)) demod (7 10163 14919 768)]

given #778 (wt=24): 16520 f(x,f(y,z,u),f(y,v,f(v,z,x))) = f(v,x,f(y,z,u)).  [para (10637 (a 1) 1201 (a 2)) demod (7 (R) 8 7 (R) 8 8 7 (R) 8 5216 7 (R) 8)]

given #779 (wt=24): 16534 f(x,y,f(x,f(z,y,u),f(z,u,v))) = f(x,y,f(z,u,v)).  [para (10637 (a 1) 390 (a 2 3)) demod (27 10637)]

given #780 (wt=24): 16593 f(x,f(y,z,u),f(x,y,f(x,v,z))) = f(x,v,f(x,y,z)).  [para (7 (a 1) 10650 (a 1)) demod (7 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #781 (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 (wt=24): 16625 f(x,f(y,z,u),f(x,z,f(x,u,v))) = f(x,v,f(x,z,u)).  [para (7 (a 1) 10654 (a 1 2)) demod (7 7 7 (R) 8)]

given #783 (wt=24): 16671 f(x,f(y,z,f(y,x,u)),f(v,z,f(y,z,x))) = f(y,z,x).  [para (10678 (a 1) 40 (a 2 3)) demod (7 7 7 7 7 7 7 (R) 8 550 1150 7 7 7 (R) 8 7 (R)) flip a]

given #784 (wt=24): 16672 f(x,f(y,z,f(z,u,x)),f(u,v,f(z,u,x))) = f(z,u,x).  [para (10678 (a 1) 75 (a 1 3)) demod (7 7 7 7 14360 7 (R) 8 362 7 7 13016 42 1151 7 7 7 7 14360) flip a]

given #785 (wt=22): 20773 f(x,y,f(z,u,f(v,z,f(x,z,y)))) = f(x,z,y).  [para (10654 (a 1) 16672 (a 1 2)) demod (8 7 7 22 11 8 7 (R) 8 10163 1150 22 14917 7 (R) 20333 140 8 7 (R) 8 10163 1150 22)]

given #786 (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 (wt=24): 16674 f(x,f(y,z,f(u,z,x)),f(u,z,f(u,x,v))) = f(u,z,x).  [para (10678 (a 1) 390 (a 2 3)) demod (7 7 7 7 8 7 (R) 8 550 1150 7 7 7 (R) 8) flip a]

given #788 (wt=24): 16702 f(x,f(y,z,u),f(v,z,f(x,v,y))) = f(x,v,f(y,z,u)).  [para (10636 (a 1) 10689 (a 1)) flip a]

given #789 (wt=24): 16717 f(x,f(y,z,u),f(v,u,f(x,v,z))) = f(x,v,f(y,z,u)).  [para (10706 (a 1) 10689 (a 1)) flip a]

given #790 (wt=24): 16724 f(x,f(y,z,u),f(u,x,f(z,x,v))) = f(x,v,f(z,u,x)).  [para (10724 (a 1) 7 (a 2)) demod (7 (R) 8 7 (R) 8 7 7 7)]

given #791 (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 (wt=24): 16735 f(x,f(y,z,f(y,u,x)),f(v,u,x)) = f(y,x,f(v,u,x)).  [para (10724 (a 1) 36 (a 2 3)) demod (7 (R) 550 7 (R)) flip a]

given #793 (wt=24): 16742 f(x,f(y,z,x),f(u,v,f(u,z,x))) = f(u,x,f(y,z,x)).  [para (10724 (a 1) 82 (a 2 3)) demod (347) flip a]

given #794 (wt=24): 16751 f(x,y,f(x,f(z,u,y),f(x,u,v))) = f(x,v,f(x,u,y)).  [para (10724 (a 1) 390 (a 2 3)) demod (27 538)]

given #795 (wt=24): 16760 f(x,f(y,z,x),f(u,v,f(z,x,u))) = f(x,u,f(y,z,x)).  [para (10724 (a 1) 10504 (a 1 3)) demod (7 (R) 8 7 7 11486 7 (R) 8 319)]

given #796 (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 (wt=24): 16805 f(x,f(y,z,u),f(v,u,f(x,v,y))) = f(x,v,f(y,z,u)).  [para (10769 (a 1) 10689 (a 1)) flip a]

given #798 (wt=24): 16808 f(x,f(y,z,u),f(u,x,f(y,x,v))) = f(x,v,f(y,u,x)).  [para (10785 (a 1) 7 (a 2)) demod (7 (R) 8 7 (R) 8 7 7 7)]

given #799 (wt=24): 16810 f(x,f(y,z,f(y,u,x)),f(u,v,x)) = f(y,x,f(u,v,x)).  [para (10785 (a 1) 36 (a 2 3)) demod (7 (R) 550 7 (R)) flip a]

given #800 (wt=24): 16814 f(x,f(y,z,x),f(u,v,f(u,y,x))) = f(u,x,f(y,z,x)).  [para (10785 (a 1) 82 (a 2 3)) demod (347) flip a]

given #801 (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 (wt=24): 16817 f(x,y,f(x,f(z,u,y),f(x,z,v))) = f(x,v,f(x,z,y)).  [para (10785 (a 1) 390 (a 2 3)) demod (27 6419)]

given #803 (wt=24): 16879 f(x,f(y,z,u),f(x,z,f(y,x,v))) = f(x,v,f(y,x,z)).  [para (9846 (a 1) 10840 (a 2)) demod (1837)]

given #804 (wt=24): 16908 f(x,y,f(y,z,f(u,y,v))) = f(y,v,f(y,z,f(x,u,y))).  [para (1850 (a 1) 11060 (a 2)) demod (7 10163 11062 7)]

given #805 (wt=24): 16909 f(x,y,f(z,x,f(u,x,v))) = f(u,x,f(x,y,f(z,x,v))).  [para (4565 (a 1) 11060 (a 2)) demod (7 10163 11062 7) flip a]

given #806 (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 (wt=24): 16910 f(x,y,f(y,z,f(u,y,v))) = f(y,z,f(y,v,f(x,u,y))).  [para (6617 (a 1) 11060 (a 2)) demod (7 10163 11062 7)]

given #808 (wt=24): 16943 f(x,f(y,z,u),f(v,x,z)) = f(v,x,f(z,u,f(x,y,z))).  [para (11127 (a 2) 902 (a 1 3)) demod (869)]

given #809 (wt=24): 16971 f(x,y,f(z,u,f(u,v,x))) = f(x,y,f(u,x,f(z,u,v))).  [para (51 (a 1) 11206 (a 2)) demod (6 7 6 7 7 (R) 13016 7 7) flip a]

given #810 (wt=24): 17021 f(x,y,f(x,z,f(u,v,y))) = f(x,z,f(x,y,f(u,v,z))).  [para (10712 (a 1) 177 (a 2 3)) demod (8 7 (R) 8 11687 7 7)]

given #811 (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 (wt=24): 17052 f(x,f(y,z,u),f(v,z,f(v,x,y))) = f(v,x,f(y,z,u)).  [para (11261 (a 1) 10916 (a 1)) flip a]

given #813 (wt=24): 17156 f(x,y,f(z,f(y,u,v),f(x,u,v))) = f(x,y,f(z,u,v)).  [para (17043 (a 1) 9143 (a 1 3)) demod (7 7 7)]

given #814 (wt=24): 17230 f(x,y,f(z,f(x,u,v),f(y,u,v))) = f(x,y,f(z,u,v)).  [para (17044 (a 1) 902 (a 1 3)) demod (7 7)]

given #815 (wt=24): 17241 f(x,y,f(z,x,f(x,u,v))) = f(x,u,f(z,x,f(x,y,v))).  [para (5603 (a 2) 17044 (a 2)) demod (7 (R) 8 7 6 7 14187 7 (R) 8 8 10163 329)]

given #816 (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 (R) 8 7 (R)) flip a]

given #817 (wt=24): 17248 f(x,f(y,z,x),f(x,u,v)) = f(x,u,f(y,x,f(z,x,v))).  [para (10574 (a 2) 17044 (a 2)) demod (7 (R) 8 7 6 7 7 (R) 8 10163 10500)]

given #818 (wt=24): 17270 f(x,y,f(z,x,f(x,u,v))) = f(x,v,f(z,x,f(x,y,u))).  [para (17176 (a 1) 8853 (a 1 3 3)) demod (7 7 7 7 (R) 8 9028 7 7 14187 10163 42) flip a]

given #819 (wt=24): 17351 f(x,f(y,z,u),f(x,u,f(v,x,z))) = f(v,x,f(x,z,u)).  [para (17055 (a 1) 39 (a 1 3)) demod (7 10623) flip a]

given #820 (wt=24): 17352 f(x,f(y,z,u),f(x,z,f(v,x,u))) = f(v,x,f(x,z,u)).  [para (17055 (a 1) 43 (a 1 3)) demod (7 10623) flip a]

given #821 (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)]

given #822 (wt=24): 17354 f(x,f(y,z,u),f(x,u,f(v,x,y))) = f(x,u,f(v,x,y)).  [para (17055 (a 1) 4830 (a 1 3 3)) demod (532 7 (R) 16872 7)]

given #823 (wt=24): 17361 f(x,y,f(x,f(z,u,y),f(v,x,u))) = f(v,x,f(x,u,y)).  [para (17055 (a 1) 1767 (a 1 3)) demod (7 10623) flip a]

given #824 (wt=24): 17362 f(x,y,f(x,f(z,y,u),f(v,x,u))) = f(v,x,f(x,y,u)).  [para (17055 (a 1) 1774 (a 1 3)) demod (7 10623) flip a]

given #825 (wt=24): 17383 f(x,f(y,z,u),f(x,y,f(v,x,u))) = f(v,x,f(x,y,u)).  [para (17056 (a 1) 43 (a 1 3)) demod (7 10624) flip a]

given #826 (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 (wt=24): 17386 f(x,y,f(x,f(z,u,y),f(v,x,z))) = f(v,x,f(x,z,y)).  [para (17056 (a 1) 1767 (a 1 3)) demod (7 10624) flip a]

given #828 (wt=24): 17471 f(x,y,f(z,f(u,v,y),f(x,u,v))) = f(x,y,f(z,u,v)).  [para (17057 (a 1) 1503 (a 2 3)) demod (12098 7) flip a]

given #829 (wt=24): 17717 f(x,y,f(z,f(x,u,v),f(u,v,y))) = f(x,y,f(u,v,z)).  [para (17149 (a 1) 24 (a 2 3)) demod (8 7 (R) 8 11589 7 7 7) flip a]

given #830 (wt=24): 17896 f(x,y,f(z,u,f(y,v,u))) = f(x,y,f(v,u,f(y,z,u))).  [back_demod 17816 demod (17862 8 8 17862 8)]

given #831 (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 8)]

given #832 (wt=24): 18042 f(x,y,f(z,u,f(x,z,v))) = f(x,z,f(y,u,f(x,y,v))).  [back_demod 17852 demod (7 7 8 7 (R) 8 10163 15504 9419 8 22 7 7 14917 7 (R) 8)]

given #833 (wt=24): 18043 f(x,y,f(z,u,f(x,z,v))) = f(x,z,f(y,v,f(x,y,u))).  [back_demod 17433 demod (7 7 (R) 8 7 8 10163 15504 9419 8 22 7 7 14917 7 (R) 8)]

given #834 (wt=24): 18082 f(x,f(y,z,u),f(z,v,x)) = f(v,x,f(z,u,f(y,z,x))).  [back_demod 14251 demod (18069 9419 8 22) flip a]

given #835 (wt=24): 18162 f(x,y,f(z,y,f(y,u,v))) = f(y,u,f(z,y,f(x,y,v))).  [para (10494 (a 1) 18151 (a 2)) demod (7 (R) 8 7 (R) 8 17867 8 7 (R) 8 14917 7 (R) 8 17984 17865 15413)]

given #836 (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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #837 (wt=24): 18165 f(x,y,f(z,u,f(v,z,y))) = f(z,y,f(x,u,f(v,x,y))).  [para (17701 (a 1) 16 (a 1)) demod (17993 7 17987)]

given #838 (wt=24): 18168 f(x,y,f(z,u,f(x,u,v))) = f(x,u,f(z,y,f(x,y,v))).  [para (17701 (a 1) 24 (a 1)) demod (7 (R) 8 14909 17875 7 (R) 8)]

given #839 (wt=24): 18243 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 (R) 8 7 (R) 8 15283 17865 8 9029 17619 7 (R) 8) flip a]

given #840 (wt=24): 18254 f(x,y,f(z,u,f(z,y,v))) = f(z,y,f(x,v,f(x,y,u))).  [para (10840 (a 1) 196 (a 2 3)) demod (7 (R) 11 7 14917 18023 7 (R) 8 22 8 17980 7 7)]

given #841 (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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]

given #842 (wt=22): 20979 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 22 11 22 22 20333 18020 7) flip a]

given #843 (wt=24): 18413 f(x,f(y,z,u),f(y,z,f(x,u,v))) = f(y,z,f(x,u,v)).  [para (18300 (a 1) 84 (a 2 3)) demod (7 7 7 (R) 8 7 7 17532 7 (R) 8 2735 7 (R) 8 7 (R) 8 14917 7 (R) 8 11692)]

given #844 (wt=23): 20993 f(f(x,y,z),f(u,v,y),f(u,v,x)) = f(u,v,f(x,y,z)).  [para (18413 (a 1) 17043 (a 1)) flip a]

given #845 (wt=22): 21047 f(x,y,f(z,u,f(z,x,f(v,z,y)))) = f(z,x,y).  [para (16987 (a 1) 20993 (a 2)) demod (7 18 7 18191 20333 22 10163)]

given #846 (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 (wt=23): 20994 f(f(x,y,z),f(y,u,v),f(x,u,v)) = f(u,v,f(x,y,z)).  [para (18413 (a 1) 17043 (a 2)) demod (7 7)]

given #848 (wt=23): 20995 f(x,f(y,z,u),f(y,v,u)) = f(v,f(y,z,u),f(y,u,x)).  [para (17044 (a 1) 18413 (a 2)) demod (7 (R) 8 8 7 (R) 8 18494 7 (R) 8 8) flip a]

given #849 (wt=23): 20996 f(f(x,y,z),f(x,u,v),f(y,u,v)) = f(u,v,f(x,y,z)).  [para (18413 (a 1) 17057 (a 2)) demod (7)]

given #850 (wt=23): 20997 f(x,f(y,z,u),f(y,v,z)) = f(v,f(y,x,z),f(y,z,u)).  [para (17057 (a 1) 18413 (a 2)) demod (7 (R) 8 8 7 (R) 8 18494 8) flip a]

given #851 (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) flip a]

given #852 (wt=23): 20999 f(x,f(y,z,u),f(y,v,u)) = f(z,f(y,v,u),f(y,u,x)).  [para (17073 (a 2) 18413 (a 2)) demod (8 18494 8) flip a]

given #853 (wt=23): 21000 f(f(x,y,z),f(u,v,x),f(u,v,y)) = f(u,v,f(x,y,z)).  [para (18413 (a 1) 17074 (a 1)) flip a]

given #854 (wt=23): 21001 f(x,f(y,z,u),f(y,u,v)) = f(z,f(y,x,u),f(y,u,v)).  [para (17394 (a 1) 18413 (a 2)) demod (7 (R) 8 8 7 (R) 8 18494 7 (R) 8)]

given #855 (wt=23): 21007 f(f(x,y,z),f(u,v,y),f(x,u,v)) = f(u,v,f(x,y,z)).  [para (18413 (a 1) 17717 (a 2)) demod (22 626)]

given #856 (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 (R) 8 7 (R) 8)]

given #857 (wt=23): 21009 f(f(x,y,z),f(z,u,v),f(x,y,u)) = f(x,y,f(z,u,v)).  [para (20993 (a 1) 7 (a 1)) flip a]

given #858 (wt=23): 21010 f(f(x,y,z),f(x,y,u),f(z,u,v)) = f(x,y,f(z,u,v)).  [para (20993 (a 1) 7 (a 2)) demod (7 (R) 8 7 (R) 8)]

-------- Proof 1 -------- (852.84 + 1.47 seconds) dist_long.

-------- PROOF --------
Length of proof is 193.
Maximum clause weight is 43.
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)) # answer(dist_long).  [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 7 7 (R) 8)]
10 f(f(A,D,E),f(B,D,E),f(C,D,E)) != f(D,E,f(A,B,C)) # answer(dist_long).  [copy 5 demod (7 7) flip a]
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 (R) 8 8 7 8)]
13 f(x,y,f(z,y,u)) = f(z,y,f(x,y,u)).  [para (9 (a 1) 7 (a 2)) demod (8 7)]
14 f(x,y,f(x,z,u)) = f(x,u,f(x,z,y)).  [para (9 (a 2) 7 (a 2)) demod (8 7 7)]
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 8 7 (R) 8)]
18 f(x,y,f(x,z,y)) = f(x,z,y).  [para (9 (a 2) 9 (a 1)) demod (7 (R) 11 7 8) 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 7 7 (R) 8)]
22 f(x,y,f(x,y,z)) = f(x,y,z).  [para (11 (a 1) 9 (a 2 3)) demod (7 7 7 7)]
23 f(x,y,f(z,x,u)) = f(z,x,f(x,y,u)).  [para (12 (a 1) 7 (a 2)) demod (8 7 (R) 8) 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 (R) 8 8 7 (R) 8)]
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 7 8 7 (R) 8) 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 7 7 (R) 8)]
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)]
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 7 (R) 8)]
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 (R) 8 8 7 (R) 8) 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 (R) 8 7 (R) 8 8 7 (R) 8 7 (R) 8) 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 (R) 8 7 (R) 8)]
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 7 7 (R) 8) 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 8) 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) 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) 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) 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 7 (R) 8 7 (R) 8)]
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 49) 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)]
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 63 63 31)]
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 (R) 8 7 (R) 8 8 7 (R) 8) 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 (R) 8 7 (R) 8)]
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 (R) 8 8 7 (R) 8 7 (R) 8)]
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 (R) 8 7 (R) 8 7 (R) 8 8 7 (R) 8)]
87 f(x,f(y,z,u),f(x,y,z)) = f(y,z,f(x,y,f(x,z,u))).  [para (16 (a 1) 9 (a 2)) demod (7 (R) 8 7 (R) 8)]
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 (R) 8 8 7 (R) 8)]
93 f(x,y,f(z,u,f(x,z,y))) = f(x,z,f(z,y,f(x,y,u))).  [para (9 (a 2) 16 (a 2 3)) flip a]
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 (R) 8 7 (R) 8) flip a]
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 (R) 8 7 (R) 8 7 (R) 8 7 (R) 8)]
135 f(x,y,f(z,y,f(z,x,u))) = f(z,y,f(z,x,f(x,y,u))).  [para (33 (a 1) 16 (a 2 3)) demod (76)]
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 (R) 8 8 7 (R) 8)]
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 (R) 8 8 8 7 8) flip a]
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 7 (R) 8)]
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 8) flip a]
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))]
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 7 7 (R) 8 7 (R) 8 7) flip a]
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 8) flip a]
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 7 (R) 8) flip a]
218 f(x,f(y,z,u),f(x,y,u)) = f(y,u,f(x,u,f(x,y,z))).  [para (20 (a 2) 13 (a 1))]
221 f(x,f(y,z,u),f(y,z,x)) = f(y,z,f(z,x,f(y,x,u))).  [para (20 (a 2) 13 (a 2)) demod (7 (R) 8 7 (R) 8 8 7 7) flip a]
266 f(x,y,f(z,f(x,y,u),f(x,y,z))) = f(y,z,f(x,y,f(x,z,u))).  [para (20 (a 2) 140 (a 1 3)) demod (8 7 7 7 (R) 8 7 (R) 8)]
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 7 8 7 (R) 8 7)]
313 f(x,y,f(z,u,y)) = f(z,y,f(x,u,y)).  [para (207 (a 1) 7 (a 2)) demod (7 7 22 8 7 8 7 (R) 8)]
314 f(x,y,f(z,u,x)) = f(z,x,f(u,x,y)).  [para (7 (a 1) 207 (a 1)) demod (7 7 22 7 7 7 (R) 8 7 (R) 8)]
319 f(x,y,f(z,x,y)) = f(z,x,y).  [para (207 (a 1) 11 (a 1)) demod (207 11 22) flip a]
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))]
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 (R) 8 194 18 11)]
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 (R) 8 195 206 11)]
378 f(x,f(y,z,u),f(y,x,z)) = f(y,x,z).  [para (20 (a 2) 313 (a 2)) demod (7 (R) 8 7 (R) 8 195 206 347 7 (R) 8 7 (R) 8 22) flip a]
382 f(x,y,f(z,x,f(z,y,u))) = f(z,x,y).  [back_demod 266 demod (345) flip a]
384 f(x,y,f(y,z,f(x,z,u))) = f(x,y,z).  [back_demod 135 demod (7 (R) 8 7 (R) 8 7 (R) 8 382 8)]
385 f(x,y,f(z,y,f(x,z,u))) = f(x,z,y).  [back_demod 93 demod (8 345 7 (R) 8) flip a]
386 f(x,f(y,z,u),f(x,y,z)) = f(x,y,z).  [back_demod 87 demod (382)]
387 f(x,y,f(z,y,f(z,x,u))) = f(z,x,y).  [back_demod 221 demod (7 386 7 (R) 8 7 (R) 8) flip a]
389 f(x,f(y,z,u),f(x,y,u)) = f(x,y,u).  [back_demod 218 demod (387)]
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 (R) 8 7 (R) 8 8 7 (R) 8 76) flip a]
413 f(x,f(y,z,u),f(x,y,v)) = f(x,y,f(x,v,f(y,z,u))).  [para (24 (a 1) 20 (a 2)) demod (8)]
430 f(x,y,f(x,z,f(y,u,z))) = f(x,y,z).  [back_demod 389 demod (413)]
473 f(x,f(y,z,u),f(y,z,x)) = f(y,z,x).  [para (378 (a 1) 7 (a 2)) demod (8 7 8)]
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 (R) 8 7 (R) 8)]
475 f(x,f(y,x,z),f(y,z,u)) = f(y,x,z).  [para (378 (a 1) 8 (a 1)) flip a]
476 f(x,f(y,z,u),f(v,f(y,z,u),f(y,z,x))) = f(v,f(y,z,x),f(y,z,u)).  [para (378 (a 1) 9 (a 1 3)) demod (8 7 (R) 8 7) flip a]
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 (R) 8 7 (R) 8) flip a]
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 (R) 8 413 7 (R) 8)]
497 f(f(x,y,z),f(x,y,u),f(u,v,f(x,y,z))) = f(v,f(x,y,u),f(x,y,z)).  [para (378 (a 1) 206 (a 1 2)) demod (8 8 8 7 476)]
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)]
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)]
532 f(x,f(y,z,u),f(z,u,x)) = f(z,u,x).  [para (474 (a 1) 7 (a 2)) demod (7 7 7 7 7)]
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 7 7 (R) 8 413 7 7 7 (R) 8)]
612 f(x,y,f(z,f(z,y,u),f(x,z,v))) = f(x,z,y).  [para (9 (a 1) 475 (a 1 3)) demod (7 (R) 8 8 7 (R) 8 195 7 (R) 8)]
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 (R) 8 8 413 7 (R) 8)]
655 f(f(x,y,z),f(y,u,v),f(x,y,f(y,z,v))) = f(y,v,f(x,y,z)).  [para (9 (a 1) 532 (a 1 3)) demod (7 (R) 8)]
705 f(x,y,f(z,u,f(z,x,y))) = f(z,x,y).  [para (7 (a 1) 345 (a 1)) demod (7 7 7 7)]
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)]
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)]
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 7)]
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 (R) 8 7 (R) 8 7 (R) 8 7 7)]
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 (R) 8)]
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 (R) 8 7 (R) 8)]
1150 f(x,y,f(z,u,f(x,u,y))) = f(x,u,y).  [para (706 (a 1) 7 (a 2)) demod (7 7 8 7 7)]
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 8 140 18 7 7 (R)) flip a]
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 8 1150 7 7 (R)) flip a]
1298 f(f(x,y,f(y,z,u)),f(x,v,f(y,z,u)),f(x,y,f(y,z,u))) = f(y,u,f(x,y,z)).  [para (9 (a 2) 514 (a 2)) demod (8)]
1396 f(x,f(x,y,z),f(u,x,v)) = f(x,y,f(u,x,f(x,v,z))).  [para (37 (a 2) 514 (a 2)) demod (8 1298)]
1409 f(x,y,f(z,f(y,z,u),f(x,z,v))) = f(x,y,z).  [back_demod 612 demod (7 (R) 8 8)]
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 7 22 655 7 (R)) flip a]
1526 f(f(x,y,z),f(x,y,f(x,z,u)),f(u,v,f(x,y,z))) = f(x,f(x,y,z),f(u,v,f(x,y,z))).  [para (12 (a 1) 1237 (a 1 2)) demod (8 8 8)]
1633 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 7 7 (R) 7 (R) 8)]
1673 f(x,y,f(z,f(x,y,u),f(x,v,f(x,y,u)))) = f(x,f(x,y,u),f(z,v,f(x,y,u))).  [para (1483 (a 1) 16 (a 2)) demod (7 7 7 7 8 7 7 8 7 7 8)]
1752 f(x,f(y,z,f(x,y,u)),f(x,v,w)) = f(x,y,f(x,f(y,z,u),f(x,v,w))).  [para (36 (a 1) 1633 (a 1 2)) demod (7 (R) 8 7 (R) 8 7 8 63 63 27 7 (R) 8 7 8) flip a]
2416 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 (R) 8 8 7 7)]
2424 f(x,y,f(f(y,z,u),f(y,v,f(y,z,u)),f(x,w,f(y,z,u)))) = f(y,u,f(x,y,z)).  [para (9 (a 2) 1409 (a 2)) demod (8 8)]
2655 f(x,f(y,z,u),f(z,f(x,z,v),f(z,w,f(y,z,u)))) = f(y,z,f(x,z,u)).  [para (13 (a 1) 2416 (a 2)) demod (8)]
2676 f(x,y,f(z,u,x)) = f(u,x,f(z,x,y)).  [para (314 (a 2) 2416 (a 2)) demod (8 2655) flip a]
2726 f(x,y,f(z,u,y)) = f(u,y,f(x,z,y)).  [para (2676 (a 1) 7 (a 2)) demod (8 7)]
2735 f(f(x,y,z),f(x,y,u),f(v,z,f(x,y,u))) = f(v,f(x,y,z),f(x,y,u)).  [para (475 (a 1) 2676 (a 1 3)) demod (8 7 (R) 8 7) flip a]
3387 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))]
3683 f(x,f(x,y,z),f(u,v,f(x,y,z))) = f(x,z,f(x,y,f(u,v,f(x,y,z)))).  [para (51 (a 2) 45 (a 1)) demod (7 7 8 63 27 8 7 (R) 8 1673) flip a]
3730 f(f(x,y,z),f(x,y,f(x,z,u)),f(u,v,f(x,y,z))) = f(x,z,f(x,y,f(u,v,f(x,y,z)))).  [back_demod 1526 demod (3683)]
4150 f(x,f(y,z,u),f(y,v,f(y,z,u))) = f(y,u,f(y,z,f(v,x,f(y,z,u)))).  [para (54 (a 1) 314 (a 2 3)) demod (7 7 7 (R) 8 3730 7 (R) 8) flip a]
4259 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 8 2424)]
4275 f(x,y,f(z,u,f(x,z,f(z,v,y)))) = f(x,z,y).  [para (18 (a 1) 4259 (a 1 3)) demod (7 8 7 8 195 1396 33 7 7 (R) 8 22)]
5086 f(x,y,f(x,z,f(u,z,y))) = f(x,z,y).  [para (2726 (a 1) 61 (a 1)) demod (22 11 7 63 27) flip a]
6331 f(x,y,f(x,z,f(z,u,f(z,v,y)))) = f(x,z,y).  [para (4275 (a 1) 18 (a 1 3)) demod (8 195 206 8 4275)]
6896 f(x,f(y,z,u),f(x,v,f(y,u,v))) = f(x,v,f(y,z,u)).  [para (430 (a 1) 6331 (a 1 3 3)) demod (7 7)]
8511 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 (R) 8 8) flip a]
8759 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 (R) 8 7 7 7)]
8761 f(x,f(y,z,u),f(y,x,u)) = f(y,x,u).  [para (193 (a 2) 9 (a 2)) demod (7 (R) 8 413 430 7 (R) 8 7) flip a]
8768 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) flip a]
8809 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 8) flip a]
8838 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 (R) 8 11 8 18)]
9028 f(x,f(y,z,u),f(y,u,x)) = f(y,u,x).  [para (8761 (a 1) 7 (a 2)) demod (8 7 8)]
9119 f(x,f(y,z,x),f(z,u,x)) = f(y,x,f(z,u,x)).  [para (9028 (a 1) 36 (a 2 3)) demod (7 8 8768 7 (R) 8 343 7 7 (R)) flip a]
9123 f(x,f(y,z,x),f(u,y,x)) = f(u,x,f(y,z,x)).  [para (9028 (a 1) 82 (a 2 3)) demod (7 8768 7 (R) 8 343 7) flip a]
9316 f(x,f(y,z,u),f(y,u,f(y,z,v))) = f(y,u,f(y,z,f(v,x,f(y,z,u)))).  [para (9 (a 2) 9123 (a 2 3)) demod (7 (R) 8 7 (R) 8 9119 3683 7 7) flip a]
9317 f(x,f(y,z,u),f(y,z,f(y,u,v))) = f(y,u,f(y,z,f(v,x,f(y,z,u)))).  [para (12 (a 1) 9123 (a 2 3)) demod (7 (R) 8 8809 3683 8) flip a]
9419 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 7 (R) 7 7)]
9586 f(x,y,f(z,y,f(u,x,z))) = f(x,z,y).  [para (2726 (a 1) 195 (a 1)) demod (22 11 7 1633) flip a]
10149 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 7 (R) 378 22 8 7 (R) 8 9419 8 63 27 387)]
10162 f(f(x,y,z),f(u,v,w),f(x,y,f(x,z,f(u,v,w)))) = f(x,f(x,y,z),f(u,v,w)).  [para (10149 (a 1) 40 (a 2 3)) demod (7 7 7 (R))]
10163 f(x,f(x,y,z),f(u,v,w)) = f(x,y,f(x,z,f(u,v,w))).  [para (40 (a 1) 10149 (a 1)) demod (7 7 7 8 10162 7 (R) 8 18 7 7)]
10497 f(x,f(y,z,u),f(x,y,z)) = f(x,y,z).  [para (392 (a 1) 16 (a 2 3)) demod (7 (R) 8 387 7 (R) 8 385)]
10623 f(x,f(y,z,u),f(x,z,u)) = f(x,z,u).  [para (7 (a 1) 10497 (a 1 2))]
10624 f(x,f(y,z,u),f(x,y,u)) = f(x,y,u).  [para (7 (a 2) 10497 (a 1 2)) demod (8 8)]
11206 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 (R) 902 18 7 (R)) flip a]
11261 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