============================== Prover9 ===============================
Prover9 (32) version June-2006C, June 2006.
Process 14367 was started by mccune on cleo.thornwood,
Mon Jun 19 18:26:07 2006
The command was "/home/mccune/bin/prover9 -f BA2.in".
============================== end of head ===========================

============================== INPUT =================================

% Reading from file BA2.in

assign(new_constants,1).
assign(age_part,1).
assign(false_part,4).
assign(true_part,1).
assign(max_minutes,10).
    % assign(max_minutes, 10) -> assign(max_seconds, 600).

clauses(sos).
f(x,y) = f(y,x) # label(commutativity).
f(f(x,y),f(x,f(y,z))) = x # label(Veroff_2).
f(f(a,a),f(a,a)) != a | f(a,f(b,f(b,b))) != f(a,a) | f(f(f(b,b),a),f(f(c,c),a)) != f(f(a,f(b,c)),f(a,f(b,c))) # answer("Sheffer").
end_of_list.

============================== end of input ==========================

============================== PROCESS INITIAL CLAUSES ===============

% Clauses before input processing:

clauses(usable).
end_of_list.

clauses(sos).
1 f(x,y) = f(y,x) # label(commutativity).  [input].
2 f(f(x,y),f(x,f(y,z))) = x # label(Veroff_2).  [input].
3 f(f(a,a),f(a,a)) != a | f(a,f(b,f(b,b))) != f(a,a) | f(f(f(b,b),a),f(f(c,c),a)) != f(f(a,f(b,c)),f(a,f(b,c))) # answer("Sheffer").  [input].
end_of_list.

clauses(demodulators).
end_of_list.

Predicate elimination: (none).

Auto_denials:  no changes.

Term ordering decisions:
Relation symbol precedence:  lex([ = ]).
Function symbol precedence:  lex([ a, b, c, f ]).
After inverse_order: Function symbol precedence:  lex([ a, b, c, f ]).
Unfolding symbols: (none).

Auto_inference settings:
  % set(paramodulation).  % (positive equality literals)
    % set(paramodulation) -> set(back_demod).
  % set(hyper_resolution).  % (nonunit Horn with equality)
  % set(neg_ur_resolution).  % (nonunit Horn with equality)
  % assign(para_lit_limit, 3).  % (nonunit Horn with equality)

Auto_process settings:
  % set(back_unit_deletion).  % (Horn set with negative nonunits)
    % set(back_unit_deletion) -> set(unit_deletion).

% Operation f is commutative; redundancy checks enabled.

============================== end of process initial clauses ========

============================== CLAUSES FOR SEARCH ====================

% Clauses after input processing:

clauses(usable).
end_of_list.

clauses(sos).
4 f(x,y) = f(y,x) # label(commutativity).  [input].
5 f(f(x,y),f(x,f(y,z))) = x # label(Veroff_2).  [input].
6 f(f(a,a),f(a,a)) != a | f(a,f(b,f(b,b))) != f(a,a) | f(f(a,f(b,c)),f(a,f(b,c))) != f(f(a,f(b,b)),f(a,f(c,c))) # answer("Sheffer").  [copy(3),demod(4(25),4(30)),flip(c)].
end_of_list.

clauses(demodulators).
4 f(x,y) = f(y,x) # label(commutativity).  [input].
        % (lex-dep)
5 f(f(x,y),f(x,f(y,z))) = x # label(Veroff_2).  [input].
end_of_list.

clauses(denials).
end_of_list.

============================== end of clauses for search =============

============================== SEARCH ================================

% Starting search at 0.00 seconds.

given #1 (I,wt=7): 4 f(x,y) = f(y,x) # label(commutativity).  [input].

given #2 (I,wt=11): 5 f(f(x,y),f(x,f(y,z))) = x # label(Veroff_2).  [input].

given #3 (I,wt=43): 6 f(f(a,a),f(a,a)) != a | f(a,f(b,f(b,b))) != f(a,a) | f(f(a,f(b,c)),f(a,f(b,c))) != f(f(a,f(b,b)),f(a,f(c,c))) # answer("Sheffer").  [copy(3),demod(4(25),4(30)),flip(c)].

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

given #5 (F,wt=11): 8 f(f(x,y),f(x,f(z,y))) = x.  [para(4(a,1),5(a,1,2,2))].

given #6 (T,wt=11): 9 f(f(x,y),f(f(y,z),x)) = x.  [para(4(a,1),5(a,1,2))].

given #7 (A,wt=17): 10 f(x,f(f(x,y),f(f(x,f(y,z)),u))) = f(x,y).  [para(5(a,1),5(a,1,1))].

given #8 (F,wt=11): 11 f(x,f(x,f(x,y))) = f(x,y).  [para(5(a,1),5(a,1,2)),demod(4(2),4(3))].

given #9 (F,wt=34): 52 f(a,f(b,f(b,b))) != f(a,a) | f(f(a,f(b,c)),f(a,f(b,c))) != f(f(a,f(b,b)),f(a,f(c,c))) # answer("Sheffer").  [back_demod(6),demod(47(7)),xx(a)].

given #10 (F,wt=9): 47 f(f(x,x),f(x,y)) = x.  [para(11(a,1),5(a,1,2))].

given #11 (F,wt=9): 53 f(f(x,y),f(x,x)) = x.  [para(47(a,1),4(a,1)),flip(a)].

given #12 (T,wt=9): 54 f(f(x,x),f(y,x)) = x.  [para(4(a,1),47(a,1,2))].

given #13 (A,wt=11): 12 f(f(x,f(y,z)),f(y,x)) = x.  [para(7(a,1),4(a,1)),flip(a)].

given #14 (F,wt=9): 58 f(f(x,y),f(y,y)) = y.  [para(4(a,1),53(a,1,1))].

given #15 (F,wt=11): 13 f(f(x,y),f(y,f(z,x))) = y.  [para(4(a,1),7(a,1,2,2))].

given #16 (F,wt=11): 14 f(f(x,y),f(f(x,z),y)) = y.  [para(4(a,1),7(a,1,2))].

given #17 (F,wt=11): 16 f(x,f(x,f(y,x))) = f(y,x).  [para(7(a,1),5(a,1,2)),demod(4(2),4(3))].

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

given #19 (A,wt=17): 15 f(x,f(f(y,x),f(f(x,f(y,z)),u))) = f(y,x).  [para(7(a,1),5(a,1,1))].

given #20 (F,wt=11): 20 f(f(f(x,y),z),f(z,y)) = z.  [para(7(a,1),7(a,1,2,2))].

given #21 (F,wt=11): 21 f(f(x,y),f(f(z,y),x)) = x.  [para(4(a,1),8(a,1,2))].

given #22 (F,wt=11): 33 f(f(x,f(y,z)),f(z,x)) = x.  [para(7(a,1),9(a,1,2,1))].

given #23 (F,wt=11): 57 f(x,f(f(x,x),y)) = f(x,x).  [para(47(a,1),8(a,1,2)),demod(4(3))].

given #24 (T,wt=11): 63 f(x,f(y,f(x,x))) = f(x,x).  [para(54(a,1),7(a,1,2)),demod(4(3))].

given #25 (A,wt=19): 17 f(x,f(f(x,f(y,z)),f(f(x,y),u))) = f(x,f(y,z)).  [para(5(a,1),7(a,1,1))].

given #26 (F,wt=11): 72 f(f(x,y),f(f(z,x),y)) = y.  [para(4(a,1),13(a,1,2))].

given #27 (F,wt=11): 185 f(x,f(y,f(x,y))) = f(x,x).  [para(33(a,1),17(a,1,2)),flip(a)].

given #28 (F,wt=11): 207 f(x,f(y,f(y,x))) = f(x,x).  [para(4(a,1),185(a,1,2,2))].

given #29 (F,wt=13): 24 f(x,f(f(x,y),f(y,z))) = f(x,y).  [para(5(a,1),8(a,1,2)),demod(4(4))].

given #30 (T,wt=13): 27 f(x,f(f(y,x),f(y,z))) = f(y,x).  [para(7(a,1),8(a,1,2)),demod(4(4))].

given #31 (A,wt=19): 19 f(x,f(f(x,f(y,z)),f(f(y,x),u))) = f(x,f(y,z)).  [para(7(a,1),7(a,1,1))].

given #32 (F,wt=13): 29 f(x,f(f(x,y),f(z,y))) = f(x,y).  [para(8(a,1),8(a,1,2)),demod(4(4))].

given #33 (F,wt=13): 32 f(x,f(f(y,z),f(x,y))) = f(x,y).  [para(9(a,1),7(a,1,2)),demod(4(4))].

given #34 (F,wt=13): 76 f(x,f(f(y,z),f(y,x))) = f(y,x).  [para(7(a,1),13(a,1,2)),demod(4(4))].

given #35 (F,wt=13): 78 f(x,f(f(y,x),f(z,y))) = f(y,x).  [para(13(a,1),8(a,1,2)),demod(4(4))].

given #36 (T,wt=13): 80 f(x,f(f(y,z),f(x,z))) = f(x,z).  [para(8(a,1),13(a,1,2)),demod(4(4))].

given #37 (A,wt=17): 22 f(x,f(f(x,y),f(f(x,f(z,y)),u))) = f(x,y).  [para(8(a,1),5(a,1,1))].

given #38 (F,wt=13): 86 f(x,f(f(y,z),f(z,x))) = f(z,x).  [para(13(a,1),13(a,1,2)),demod(4(4))].

given #39 (F,wt=15): 34 f(x,f(y,f(x,f(y,z)))) = f(x,f(y,z)).  [para(7(a,1),9(a,1,2)),demod(4(3),4(4))].

given #40 (F,wt=34): 584 f(a,f(b,f(b,b))) != f(a,a) | f(f(a,f(b,c)),f(a,f(b,c))) != f(f(a,f(a,b)),f(a,f(a,c))) # answer("Sheffer").  [back_demod(52),demod(571(27),4(26),571(32),4(31))].

given #41 (F,wt=11): 571 f(x,f(y,y)) = f(x,f(y,x)).  [para(185(a,1),34(a,1,2))].

given #42 (T,wt=11): 589 f(f(x,x),y) = f(y,f(x,y)).  [para(571(a,1),4(a,1)),flip(a)].

given #43 (A,wt=17): 23 f(x,f(f(x,y),f(z,f(x,f(y,u))))) = f(x,y).  [para(5(a,1),8(a,1,1))].

given #44 (F,wt=11): 590 f(x,f(y,y)) = f(x,f(x,y)).  [para(4(a,1),571(a,2,2))].

given #45 (F,wt=11): 607 f(x,f(f(y,y),x)) = f(x,y).  [para(47(a,1),571(a,1,2)),flip(a)].

given #46 (F,wt=11): 689 f(f(x,x),y) = f(y,f(y,x)).  [para(4(a,1),589(a,2,2))].

given #47 (F,wt=11): 829 f(x,f(x,f(y,y))) = f(x,y).  [para(590(a,2),11(a,1,2))].

given #48 (T,wt=15): 40 f(f(x,y),f(x,f(f(x,f(y,z)),u))) = x.  [para(10(a,1),8(a,1,2)),demod(4(6))].

given #49 (A,wt=19): 25 f(x,f(f(x,f(y,z)),f(f(x,z),u))) = f(x,f(y,z)).  [para(8(a,1),7(a,1,1))].

given #50 (F,wt=15): 55 f(x,f(f(x,y),f(f(x,x),z))) = f(x,y).  [para(47(a,1),7(a,1,1))].

given #51 (F,wt=15): 59 f(x,f(f(x,y),f(z,f(x,x)))) = f(x,y).  [para(53(a,1),8(a,1,1))].

given #52 (F,wt=15): 60 f(x,f(f(f(x,x),y),f(x,z))) = f(x,z).  [para(53(a,1),9(a,1,1))].

given #53 (F,wt=15): 62 f(x,f(f(y,x),f(f(x,x),z))) = f(y,x).  [para(54(a,1),7(a,1,1))].

given #54 (T,wt=15): 69 f(x,f(f(y,x),f(z,f(x,x)))) = f(y,x).  [para(58(a,1),8(a,1,1))].

given #55 (A,wt=17): 26 f(x,f(f(y,x),f(z,f(x,f(y,u))))) = f(y,x).  [para(7(a,1),8(a,1,1))].

given #56 (F,wt=15): 70 f(x,f(f(f(x,x),y),f(z,x))) = f(z,x).  [para(58(a,1),9(a,1,1))].

given #57 (F,wt=15): 81 f(x,f(y,f(x,f(z,y)))) = f(x,f(z,y)).  [para(13(a,1),9(a,1,2)),demod(4(3),4(4))].

given #58 (F,wt=15): 92 f(x,f(y,f(f(y,z),x))) = f(f(y,z),x).  [para(14(a,1),9(a,1,2)),demod(4(3),4(4))].

given #59 (F,wt=15): 108 f(f(x,y),f(y,f(f(y,f(x,z)),u))) = y.  [para(15(a,1),8(a,1,2)),demod(4(6))].

given #60 (T,wt=15): 126 f(x,f(y,f(f(z,y),x))) = f(f(z,y),x).  [para(20(a,1),8(a,1,2)),demod(4(3),4(4))].

given #61 (A,wt=17): 28 f(x,f(f(x,y),f(z,f(x,f(u,y))))) = f(x,y).  [para(8(a,1),8(a,1,1))].

given #62 (F,wt=15): 131 f(x,f(f(y,f(x,x)),f(x,z))) = f(x,z).  [para(53(a,1),20(a,1,2)),demod(4(5))].

given #63 (F,wt=15): 133 f(x,f(f(y,f(x,x)),f(z,x))) = f(z,x).  [para(58(a,1),20(a,1,2)),demod(4(5))].

given #64 (F,wt=15): 157 f(f(x,f(f(x,y),z)),f(x,f(y,u))) = x.  [para(17(a,1),8(a,1,2))].

given #65 (F,wt=15): 182 f(f(x,f(y,z)),f(x,f(f(x,y),u))) = x.  [para(17(a,1),33(a,1,1)),demod(4(5))].

given #66 (T,wt=15): 211 f(f(x,f(y,f(z,y))),f(x,f(z,z))) = x.  [para(185(a,1),8(a,1,2,2))].

given #67 (A,wt=17): 30 f(x,f(f(x,y),f(f(f(y,z),x),u))) = f(x,y).  [para(9(a,1),5(a,1,1))].

given #68 (F,wt=15): 221 f(f(f(x,f(y,x)),z),f(z,f(y,y))) = z.  [para(185(a,1),13(a,1,2,2))].

given #69 (F,wt=15): 230 f(f(f(x,x),y),f(y,f(z,f(x,z)))) = y.  [para(185(a,1),20(a,1,1,1))].

given #70 (F,wt=15): 233 f(f(x,f(y,f(z,y))),f(f(z,z),x)) = x.  [para(185(a,1),21(a,1,2,1))].

given #71 (F,wt=15): 236 f(f(x,f(y,y)),f(f(z,f(y,z)),x)) = x.  [para(185(a,1),33(a,1,1,2))].

given #72 (T,wt=15): 240 f(f(f(x,f(y,x)),z),f(f(y,y),z)) = z.  [para(185(a,1),72(a,1,2,1))].

given #73 (A,wt=19): 31 f(x,f(f(f(y,z),x),f(f(x,y),u))) = f(f(y,z),x).  [para(9(a,1),7(a,1,1))].

given #74 (F,wt=15): 244 f(f(x,f(y,f(y,z))),f(x,f(z,z))) = x.  [para(207(a,1),8(a,1,2,2))].

given #75 (F,wt=15): 250 f(f(f(x,f(x,y)),z),f(z,f(y,y))) = z.  [para(207(a,1),13(a,1,2,2))].

given #76 (F,wt=15): 257 f(f(f(x,x),y),f(y,f(z,f(z,x)))) = y.  [para(207(a,1),20(a,1,1,1))].

given #77 (F,wt=15): 259 f(f(x,f(y,f(y,z))),f(f(z,z),x)) = x.  [para(207(a,1),21(a,1,2,1))].

given #78 (T,wt=15): 261 f(f(x,f(y,y)),f(f(z,f(z,y)),x)) = x.  [para(207(a,1),33(a,1,1,2))].

given #79 (A,wt=17): 35 f(x,f(f(x,y),f(z,f(f(y,u),x)))) = f(x,y).  [para(9(a,1),8(a,1,1))].

given #80 (F,wt=15): 266 f(f(f(x,f(x,y)),z),f(f(y,y),z)) = z.  [para(207(a,1),72(a,1,2,1))].

given #81 (F,wt=15): 271 f(f(x,y),f(x,f(f(x,f(z,y)),u))) = x.  [para(8(a,1),24(a,1,2,1)),demod(8(10))].

given #82 (F,wt=15): 273 f(f(x,y),f(x,f(f(f(y,z),x),u))) = x.  [para(9(a,1),24(a,1,2,1)),demod(9(10))].

given #83 (F,wt=15): 276 f(f(x,f(y,z)),f(x,f(f(y,x),u))) = x.  [para(12(a,1),24(a,1,2,1)),demod(12(10))].

given #84 (T,wt=15): 278 f(f(x,y),f(y,f(f(y,f(z,x)),u))) = y.  [para(13(a,1),24(a,1,2,1)),demod(13(10))].

given #85 (A,wt=21): 36 f(f(x,y),f(x,f(f(f(x,y),f(f(x,f(y,z)),u)),v))) = x.  [para(10(a,1),5(a,1,1))].

given #86 (F,wt=15): 280 f(f(x,y),f(y,f(f(f(x,z),y),u))) = y.  [para(14(a,1),24(a,1,2,1)),demod(14(10))].

given #87 (F,wt=15): 281 f(f(f(x,y),z),f(z,f(f(z,x),u))) = z.  [para(18(a,1),24(a,1,2,1)),demod(18(10))].

given #88 (F,wt=15): 285 f(f(f(x,y),z),f(z,f(f(z,y),u))) = z.  [para(20(a,1),24(a,1,2,1)),demod(20(10))].

given #89 (F,wt=15): 286 f(f(x,y),f(x,f(f(f(z,y),x),u))) = x.  [para(21(a,1),24(a,1,2,1)),demod(21(10))].

given #90 (T,wt=15): 287 f(f(x,f(y,z)),f(x,f(f(z,x),u))) = x.  [para(33(a,1),24(a,1,2,1)),demod(33(10))].

given #91 (A,wt=31): 37 f(f(x,y),f(f(f(x,y),f(f(x,f(y,z)),u)),f(x,v))) = f(f(x,y),f(f(x,f(y,z)),u)).  [para(10(a,1),7(a,1,1))].

given #92 (F,wt=15): 291 f(f(x,y),f(y,f(f(f(z,x),y),u))) = y.  [para(72(a,1),24(a,1,2,1)),demod(72(10))].

given #93 (F,wt=15): 296 f(f(x,f(y,z)),f(x,f(f(x,z),u))) = x.  [para(8(a,1),27(a,1,2,1)),demod(8(10))].

given #94 (F,wt=15): 302 f(f(f(x,y),z),f(z,f(f(x,z),u))) = z.  [para(14(a,1),27(a,1,2,1)),demod(14(10))].

given #95 (F,wt=15): 309 f(f(f(x,y),z),f(z,f(f(y,z),u))) = z.  [para(72(a,1),27(a,1,2,1)),demod(72(10))].

given #96 (T,wt=15): 316 f(f(x,f(f(y,x),z)),f(x,f(y,u))) = x.  [para(19(a,1),8(a,1,2))].

given #97 (A,wt=21): 38 f(f(x,y),f(y,f(f(f(x,y),f(f(y,f(x,z)),u)),v))) = y.  [para(7(a,1),10(a,1,2,1)),demod(7(13))].

given #98 (F,wt=15): 346 f(f(x,y),f(x,f(z,f(x,f(y,u))))) = x.  [para(5(a,1),29(a,1,2,1)),demod(5(10))].

given #99 (F,wt=15): 347 f(f(x,y),f(y,f(z,f(y,f(x,u))))) = y.  [para(7(a,1),29(a,1,2,1)),demod(7(10))].

given #100 (F,wt=15): 349 f(f(x,y),f(x,f(z,f(x,f(u,y))))) = x.  [para(8(a,1),29(a,1,2,1)),demod(8(10))].

given #101 (F,wt=15): 351 f(f(x,y),f(x,f(z,f(f(y,u),x)))) = x.  [para(9(a,1),29(a,1,2,1)),demod(9(10))].

given #102 (T,wt=15): 354 f(f(x,f(y,z)),f(x,f(u,f(y,x)))) = x.  [para(12(a,1),29(a,1,2,1)),demod(12(10))].

given #103 (A,wt=21): 39 f(f(x,y),f(x,f(z,f(f(x,y),f(f(x,f(y,u)),v))))) = x.  [para(10(a,1),8(a,1,1))].

given #104 (F,wt=15): 356 f(f(x,y),f(y,f(z,f(y,f(u,x))))) = y.  [para(13(a,1),29(a,1,2,1)),demod(13(10))].

given #105 (F,wt=15): 358 f(f(x,y),f(y,f(z,f(f(x,u),y)))) = y.  [para(14(a,1),29(a,1,2,1)),demod(14(10))].

given #106 (F,wt=15): 359 f(f(f(x,y),z),f(z,f(u,f(z,x)))) = z.  [para(18(a,1),29(a,1,2,1)),demod(18(10))].

given #107 (F,wt=15): 363 f(f(f(x,y),z),f(z,f(u,f(z,y)))) = z.  [para(20(a,1),29(a,1,2,1)),demod(20(10))].

given #108 (T,wt=15): 364 f(f(x,y),f(x,f(z,f(f(u,y),x)))) = x.  [para(21(a,1),29(a,1,2,1)),demod(21(10))].

given #109 (A,wt=21): 41 f(f(x,y),f(x,f(f(f(x,y),f(f(x,f(z,y)),u)),v))) = x.  [para(8(a,1),10(a,1,2,1)),demod(8(13))].

given #110 (F,wt=15): 365 f(f(x,f(y,z)),f(x,f(u,f(z,x)))) = x.  [para(33(a,1),29(a,1,2,1)),demod(33(10))].

given #111 (F,wt=15): 369 f(f(x,y),f(y,f(z,f(f(u,x),y)))) = y.  [para(72(a,1),29(a,1,2,1)),demod(72(10))].

given #112 (F,wt=15): 422 f(f(x,f(y,z)),f(x,f(u,f(x,y)))) = x.  [para(5(a,1),78(a,1,2,1)),demod(5(10))].

given #113 (F,wt=15): 424 f(f(x,f(y,z)),f(x,f(u,f(x,z)))) = x.  [para(8(a,1),78(a,1,2,1)),demod(8(10))].

given #114 (T,wt=15): 430 f(f(f(x,y),z),f(z,f(u,f(x,z)))) = z.  [para(14(a,1),78(a,1,2,1)),demod(14(10))].

given #115 (A,wt=39): 42 f(f(f(x,y),z),f(x,f(f(f(x,y),z),f(f(f(x,y),f(z,u)),v)))) = f(f(f(x,y),z),f(f(f(x,y),f(z,u)),v)).  [para(10(a,1),9(a,1,2)),demod(4(8),4(11))].

given #116 (F,wt=15): 437 f(f(f(x,y),z),f(z,f(u,f(y,z)))) = z.  [para(72(a,1),78(a,1,2,1)),demod(72(10))].

given #117 (F,wt=15): 583 f(x,f(f(x,f(y,z)),f(y,y))) = f(x,x).  [back_demod(570),demod(571(6,R))].

given #118 (F,wt=23): 7751 f(f(a,f(b,c)),f(a,f(b,c))) != f(f(a,f(a,b)),f(a,f(a,c))) # answer("Sheffer").  [back_unit_del(584),unit_del(a,7683)].

given #119 (F,wt=11): 7683 f(x,f(y,f(y,y))) = f(x,x).  [para(15(a,1),583(a,1,2,1)),demod(7573(5))].

NOTE: New constant: 0 f(x,f(x,x)) = c_0.  [new_symbol(7820)].
NOTE: New Function symbol precedence:  lex([ a, b, c, c_0, f ]).

given #120 (T,wt=7): 7909 f(x,f(x,x)) = c_0.  [new_symbol(7820)].

given #121 (A,wt=21): 43 f(f(x,y),f(x,f(f(f(x,y),f(f(f(y,z),x),u)),v))) = x.  [para(9(a,1),10(a,1,2,1)),demod(9(13))].

given #122 (F,wt=19): 8055 f(f(a,f(a,b)),f(a,f(a,c))) != f(c_0,f(a,f(b,c))) # answer("Sheffer").  [back_demod(7906),demod(7909(7),4(7)),flip(a)].

given #123 (F,wt=7): 8146 f(f(c_0,c_0),x) = c_0.  [back_demod(7802),demod(7909(2),7909(3),7909(6))].

given #124 (F,wt=7): 8148 f(c_0,f(c_0,x)) = x.  [back_demod(7800),demod(7909(2),7909(3))].

given #125 (F,wt=7): 8150 f(x,f(c_0,c_0)) = c_0.  [back_demod(7798),demod(7909(2),7909(3),7909(6))].

given #126 (T,wt=7): 8152 f(c_0,f(x,x)) = x.  [back_demod(7795),demod(7909(2))].

given #127 (A,wt=23): 44 f(f(x,y),f(f(f(x,y),f(y,z)),f(x,u))) = f(f(x,y),f(y,z)).  [para(9(a,1),10(a,1,2,2,1))].

given #128 (F,wt=7): 8154 f(c_0,f(x,c_0)) = x.  [back_demod(7793),demod(7909(2),7909(3))].

given #129 (F,wt=7): 8176 f(c_0,x) = f(x,x).  [back_demod(7752),demod(7909(2))].

given #130 (F,wt=7): 8185 f(x,c_0) = f(x,x).  [back_demod(7683),demod(7909(2))].

given #131 (F,wt=7): 9192 f(x,f(x,c_0)) = c_0.  [para(7909(a,1),11(a,1,2,2)),demod(7909(5))].

given #132 (T,wt=7): 9260 f(x,f(c_0,x)) = c_0.  [para(8146(a,1),589(a,1)),flip(a)].

given #133 (A,wt=27): 45 f(x,f(f(x,y),f(f(x,f(f(f(x,y),f(f(x,f(y,z)),u)),v)),w))) = f(x,y).  [para(10(a,1),10(a,1,2,1)),demod(10(17))].

given #134 (F,wt=9): 8171 f(f(x,y),f(y,c_0)) = y.  [back_demod(7769),demod(7909(3))].

given #135 (F,wt=9): 8173 f(f(x,c_0),f(y,x)) = x.  [back_demod(7766),demod(7909(2))].

given #136 (F,wt=9): 8174 f(f(x,y),f(x,c_0)) = x.  [back_demod(7764),demod(7909(3))].

given #137 (F,wt=9): 8175 f(f(x,c_0),f(x,y)) = x.  [back_demod(7762),demod(7909(2))].

given #138 (T,wt=9): 9190 f(f(x,y),f(c_0,x)) = x.  [para(7909(a,1),9(a,1,2,1))].

given #139 (A,wt=19): 61 f(f(x,y),f(x,f(f(f(x,y),f(f(x,x),z)),u))) = x.  [para(53(a,1),10(a,1,2,1)),demod(53(11))].

given #140 (F,wt=9): 9193 f(f(x,y),f(c_0,y)) = y.  [para(7909(a,1),14(a,1,2,1))].

given #141 (F,wt=9): 9194 f(f(c_0,x),f(x,y)) = x.  [para(7909(a,1),18(a,1,1,1))].

given #142 (F,wt=9): 9269 f(f(c_0,x),f(y,x)) = x.  [back_demod(9211),demod(9267(9),9267(11))].

given #143 (F,wt=11): 8100 f(x,f(c_0,f(y,f(y,x)))) = c_0.  [back_demod(7854),demod(7909(4),4(4),7909(7))].

given #144 (T,wt=11): 8113 f(x,f(c_0,f(y,f(x,y)))) = c_0.  [back_demod(7840),demod(7909(4),4(4),7909(7))].

given #145 (A,wt=19): 64 f(f(x,x),f(f(f(x,x),y),f(x,z))) = f(f(x,x),y).  [para(54(a,1),10(a,1,2,2,1))].

given #146 (F,wt=11): 8131 f(f(x,c_0),y) = f(f(x,x),y).  [back_demod(7821),demod(7909(2))].

given #147 (F,wt=11): 8133 f(f(x,c_0),y) = f(y,f(x,x)).  [back_demod(7817),demod(7909(2))].

given #148 (F,wt=11): 8145 f(x,f(x,f(y,c_0))) = f(x,y).  [back_demod(7803),demod(7909(2))].

given #149 (F,wt=11): 8147 f(f(x,c_0),y) = f(y,f(y,x)).  [back_demod(7801),demod(7909(2))].

given #150 (T,wt=11): 8151 f(x,f(y,c_0)) = f(x,f(x,y)).  [back_demod(7797),demod(7909(2))].

given #151 (A,wt=19): 65 f(x,f(f(x,f(y,z)),f(u,f(y,x)))) = f(x,f(y,z)).  [para(12(a,1),8(a,1,1))].

given #152 (F,wt=11): 8153 f(f(x,c_0),y) = f(y,f(x,y)).  [back_demod(7794),demod(7909(2))].

given #153 (F,wt=11): 8155 f(x,f(y,c_0)) = f(x,f(y,x)).  [back_demod(7792),demod(7909(2))].

given #154 (F,wt=11): 8158 f(x,f(c_0,f(x,y))) = f(x,y).  [back_demod(7788),demod(7909(3),4(3))].

given #155 (F,wt=11): 8159 f(x,f(c_0,f(y,x))) = f(y,x).  [back_demod(7787),demod(7909(3),4(3))].

given #156 (T,wt=11): 8162 f(f(x,x),f(c_0,f(y,x))) = c_0.  [back_demod(7784),demod(7909(4),4(4),7909(7))].

given #157 (A,wt=19): 66 f(x,f(f(f(y,x),z),f(x,f(y,u)))) = f(x,f(y,u)).  [para(12(a,1),9(a,1,1))].

given #158 (F,wt=11): 8163 f(x,f(y,c_0)) = f(x,f(y,y)).  [back_demod(7782),demod(7909(2))].

given #159 (F,wt=11): 8164 f(x,f(y,f(x,c_0))) = f(x,x).  [back_demod(7781),demod(7909(2))].

given #160 (F,wt=11): 8165 f(x,f(f(x,c_0),y)) = f(x,x).  [back_demod(7780),demod(7909(2))].

given #161 (F,wt=11): 8169 f(f(x,x),f(c_0,f(x,y))) = c_0.  [back_demod(7772),demod(7909(4),4(4),7909(7))].

given #162 (T,wt=11): 9191 f(x,f(c_0,f(f(x,x),y))) = c_0.  [para(7909(a,1),10(a,1,2,1)),demod(57(4),7909(7))].

given #163 (A,wt=23): 67 f(f(x,f(y,z)),f(x,f(f(f(x,f(y,z)),f(f(y,x),u)),v))) = x.  [para(12(a,1),10(a,1,2,1)),demod(12(14))].

given #164 (F,wt=11): 9195 f(x,f(c_0,f(y,f(x,x)))) = c_0.  [para(7909(a,1),29(a,1,2,1)),demod(7909(7))].

given #165 (F,wt=11): 9196 f(x,f(y,f(c_0,x))) = f(c_0,x).  [para(7909(a,1),92(a,1,2,2,1)),demod(7909(6))].

given #166 (F,wt=11): 9259 f(x,f(c_0,f(f(x,c_0),y))) = c_0.  [para(8146(a,1),10(a,1,2,2,1,2)),demod(8150(4),8150(10))].

given #167 (F,wt=11): 9261 f(x,f(c_0,f(y,f(x,c_0)))) = c_0.  [para(8146(a,1),23(a,1,2,2,2,2)),demod(8150(4),8150(10))].

given #168 (T,wt=11): 9262 f(x,f(c_0,f(f(c_0,x),y))) = c_0.  [para(8146(a,1),30(a,1,2,2,1,1)),demod(8150(4),8150(10))].

given #169 (A,wt=25): 68 f(f(x,f(y,z)),f(f(y,f(x,f(y,z))),f(x,u))) = f(y,f(x,f(y,z))).  [para(12(a,1),10(a,1,2,2,1)),demod(4(5),4(11))].

given #170 (F,wt=11): 9263 f(x,f(c_0,f(y,f(c_0,x)))) = c_0.  [para(8146(a,1),35(a,1,2,2,2,1)),demod(8150(4),8150(10))].

given #171 (F,wt=11): 9272 f(x,f(f(c_0,x),y)) = f(c_0,x).  [para(8148(a,1),27(a,1,2,2))].

given #172 (F,wt=11): 9395 f(x,f(c_0,y)) = f(x,f(y,y)).  [para(8176(a,1),17(a,1,2,1,2)),demod(8144(7)),flip(a)].

given #173 (F,wt=11): 9398 f(x,f(c_0,y)) = f(x,f(y,x)).  [para(8176(a,2),571(a,1,2))].

given #174 (T,wt=11): 9399 f(f(c_0,x),y) = f(y,f(x,y)).  [para(8176(a,2),589(a,1,1))].

given #175 (A,wt=19): 71 f(f(x,y),f(y,f(f(f(x,y),f(f(y,y),z)),u))) = y.  [para(58(a,1),10(a,1,2,1)),demod(58(11))].

given #176 (F,wt=11): 9401 f(x,f(c_0,y)) = f(x,f(x,y)).  [para(8176(a,2),590(a,1,2))].

low water: id=7091, wt=37

low water: id=8784, wt=35

low water: id=9598, wt=33

given #177 (F,wt=11): 9402 f(f(c_0,x),y) = f(y,f(y,x)).  [para(8176(a,2),689(a,1,1))].

given #178 (F,wt=11): 9403 f(x,f(x,f(c_0,y))) = f(x,y).  [para(8176(a,2),829(a,1,2,2))].

given #179 (F,wt=11): 9409 f(f(c_0,x),y) = f(f(x,x),y).  [para(8176(a,1),92(a,1,2,2,1)),demod(8159(5)),flip(a)].

low water: id=10285, wt=31

given #180 (T,wt=11): 9410 f(f(x,x),y) = f(y,f(c_0,x)).  [para(8176(a,2),92(a,1,2,2,1)),demod(9272(4)),flip(a)].

given #181 (A,wt=17): 73 f(x,f(f(y,x),f(f(x,f(z,y)),u))) = f(y,x).  [para(13(a,1),5(a,1,1))].

given #182 (F,wt=11): 9411 f(f(c_0,x),y) = f(y,f(x,x)).  [para(8176(a,2),92(a,2,1)),demod(57(3)),flip(a)].

given #183 (F,wt=11): 10062 f(f(x,y),f(c_0,f(y,x))) = c_0.  [para(571(a,2),8100(a,1,2,2,2)),demod(829(5))].

given #184 (F,wt=11): 10308 f(f(x,x),y) = f(y,f(x,c_0)).  [para(8131(a,1),4(a,1))].

given #185 (F,wt=11): 13124 f(f(c_0,f(x,y)),f(y,x)) = c_0.  [para(10062(a,1),4(a,1)),flip(a)].

given #186 (T,wt=13): 8182 f(f(x,x),f(f(y,x),f(x,z))) = c_0.  [back_demod(7707),demod(7909(7))].

given #187 (A,wt=19): 74 f(x,f(f(x,f(y,z)),f(u,f(x,y)))) = f(x,f(y,z)).  [para(5(a,1),13(a,1,1))].

given #188 (F,wt=13): 8183 f(f(x,x),f(f(x,y),f(x,z))) = c_0.  [back_demod(7701),demod(7909(7))].

given #189 (F,wt=13): 9267 f(f(c_0,x),f(f(c_0,f(x,y)),z)) = x.  [para(8146(a,1),42(a,1,1,1)),demod(8146(9),8146(11),8146(13),4(4),8148(4),8146(4),8146(6)),flip(a)].

given #190 (F,wt=13): 9270 f(f(x,c_0),f(f(c_0,f(x,y)),z)) = x.  [para(15(a,1),8148(a,1,2)),demod(8154(4)),flip(a)].

given #191 (F,wt=13): 9275 f(f(c_0,x),f(f(c_0,f(y,x)),z)) = x.  [para(22(a,1),8148(a,1,2)),demod(8148(4)),flip(a)].

given #192 (T,wt=13): 9277 f(f(c_0,x),f(y,f(c_0,f(x,z)))) = x.  [para(23(a,1),8148(a,1,2)),demod(8148(4)),flip(a)].

given #193 (A,wt=19): 75 f(x,f(f(x,f(y,z)),f(f(z,x),u))) = f(x,f(y,z)).  [para(13(a,1),7(a,1,1))].

given #194 (F,wt=13): 9280 f(f(x,c_0),f(y,f(c_0,f(x,z)))) = x.  [para(26(a,1),8148(a,1,2)),demod(8154(4)),flip(a)].

given #195 (F,wt=13): 9282 f(f(c_0,x),f(y,f(c_0,f(z,x)))) = x.  [para(28(a,1),8148(a,1,2)),demod(8148(4)),flip(a)].

given #196 (F,wt=13): 9305 f(f(x,y),f(y,x)) = f(c_0,f(x,y)).  [para(33(a,1),44(a,1,2)),demod(8176(3,R)),flip(a)].

low water: id=11237, wt=29

given #197 (F,wt=13): 9434 f(f(x,x),f(f(c_0,f(x,y)),z)) = x.  [para(8176(a,1),37(a,2,1)),demod(9267(9),7(6)),flip(a)].

given #198 (T,wt=13): 11740 f(f(x,f(c_0,f(y,z))),f(y,c_0)) = y.  [para(26(a,1),8159(a,1,2)),demod(9280(14))].

given #199 (A,wt=17): 77 f(x,f(f(y,x),f(z,f(x,f(u,y))))) = f(y,x).  [para(13(a,1),8(a,1,1))].

given #200 (F,wt=13): 12838 f(f(c_0,x),f(y,f(y,f(x,z)))) = x.  [para(9402(a,1),37(a,2,2)),demod(9267(9),7(6)),flip(a)].

given #201 (F,wt=13): 12872 f(f(x,c_0),f(f(c_0,f(y,x)),z)) = x.  [para(278(a,1),9403(a,1,2)),demod(4(4),8154(4)),flip(a)].

given #202 (F,wt=13): 12875 f(f(x,c_0),f(y,f(c_0,f(z,x)))) = x.  [para(356(a,1),9403(a,1,2)),demod(4(4),8154(4)),flip(a)].

given #203 (F,wt=13): 13219 f(f(x,x),f(f(y,x),f(z,x))) = c_0.  [para(4(a,1),8182(a,1,2,2))].

given #204 (T,wt=13): 13220 f(f(x,x),f(f(x,y),f(z,x))) = c_0.  [para(4(a,1),8182(a,1,2))].

given #205 (A,wt=19): 79 f(x,f(f(x,f(y,z)),f(u,f(x,z)))) = f(x,f(y,z)).  [para(8(a,1),13(a,1,1))].

given #206 (F,wt=13): 13247 f(f(x,c_0),f(f(y,x),f(x,z))) = c_0.  [para(8182(a,1),92(a,1,2,2)),demod(4(6),8182(11))].

given #207 (F,wt=13): 13256 f(f(c_0,x),f(f(y,x),f(x,z))) = c_0.  [para(8176(a,2),8182(a,1,1))].

given #208 (F,wt=13): 13308 f(f(x,c_0),f(f(x,y),f(x,z))) = c_0.  [para(8183(a,1),92(a,1,2,2)),demod(4(6),8183(11))].

low water: id=11415, wt=27

given #209 (F,wt=13): 13320 f(f(c_0,x),f(f(x,y),f(x,z))) = c_0.  [para(8176(a,2),8183(a,1,1))].

given #210 (T,wt=13): 13367 f(f(x,c_0),f(y,f(y,f(x,z)))) = x.  [para(9402(a,1),9270(a,1,2))].

given #211 (A,wt=19): 82 f(x,f(f(f(y,z),x),f(u,f(x,y)))) = f(f(y,z),x).  [para(9(a,1),13(a,1,1))].

given #212 (F,wt=13): 13371 f(f(x,x),f(f(c_0,f(y,x)),z)) = x.  [para(9275(a,1),16(a,1,2,2)),demod(4(9),571(10,R),4(6),9275(13))].

given #213 (F,wt=13): 13420 f(f(c_0,x),f(y,f(y,f(z,x)))) = x.  [para(9402(a,1),9275(a,1,2))].

given #214 (F,wt=13): 13453 f(f(x,x),f(y,f(c_0,f(x,z)))) = x.  [para(8176(a,1),9277(a,1,1))].

given #215 (F,wt=13): 13504 f(f(x,x),f(y,f(c_0,f(z,x)))) = x.  [para(8176(a,1),9282(a,1,1))].

given #216 (T,wt=13): 13582 f(f(x,x),f(y,f(y,f(x,z)))) = x.  [para(9402(a,1),9434(a,1,2))].

given #217 (A,wt=21): 83 f(f(x,y),f(y,f(f(f(x,y),f(f(y,f(z,x)),u)),v))) = y.  [para(13(a,1),10(a,1,2,1)),demod(13(13))].

given #218 (F,wt=13): 13583 f(f(x,f(c_0,f(y,z))),f(z,c_0)) = z.  [para(4(a,1),11740(a,1,1,2,2))].

given #219 (F,wt=13): 13588 f(f(x,f(x,f(y,z))),f(y,c_0)) = y.  [para(9401(a,1),11740(a,1,1))].

given #220 (F,wt=13): 13596 f(f(x,f(x,f(y,z))),f(c_0,y)) = y.  [para(12838(a,1),4(a,1)),flip(a)].

given #221 (F,wt=13): 13603 f(f(x,f(x,f(y,z))),f(y,y)) = y.  [para(12838(a,1),16(a,1,2,2)),demod(4(7),571(8,R),12838(11))].

given #222 (T,wt=13): 13641 f(f(x,c_0),f(y,f(y,f(z,x)))) = x.  [para(9402(a,1),12872(a,1,2))].

given #223 (A,wt=31): 84 f(f(x,y),f(f(f(x,y),f(f(x,f(y,z)),u)),f(v,x))) = f(f(x,y),f(f(x,f(y,z)),u)).  [para(10(a,1),13(a,1,1))].

given #224 (F,wt=13): 13666 f(f(x,c_0),f(f(y,x),f(z,x))) = c_0.  [para(13219(a,1),92(a,1,2,2)),demod(4(6),13219(11))].

given #225 (F,wt=13): 13675 f(f(c_0,x),f(f(y,x),f(z,x))) = c_0.  [para(8176(a,2),13219(a,1,1))].

given #226 (F,wt=13): 13714 f(f(x,c_0),f(f(x,y),f(z,x))) = c_0.  [para(13220(a,1),92(a,1,2,2)),demod(4(6),13220(11))].

given #227 (F,wt=13): 13723 f(f(c_0,x),f(f(x,y),f(z,x))) = c_0.  [para(8176(a,2),13220(a,1,1))].

given #228 (T,wt=13): 13793 f(f(x,x),f(y,f(y,f(z,x)))) = x.  [para(9402(a,1),13371(a,1,2))].

given #229 (A,wt=19): 85 f(x,f(f(x,f(y,z)),f(u,f(z,x)))) = f(x,f(y,z)).  [para(13(a,1),13(a,1,1))].

given #230 (F,wt=13): 13794 f(f(x,f(x,f(y,z))),f(c_0,z)) = z.  [para(13420(a,1),4(a,1)),flip(a)].

given #231 (F,wt=13): 13798 f(f(x,f(x,f(y,z))),f(z,z)) = z.  [para(13420(a,1),16(a,1,2,2)),demod(4(7),571(8,R),13420(11))].

given #232 (F,wt=13): 13877 f(f(x,f(x,f(y,z))),f(z,c_0)) = z.  [para(9401(a,1),13583(a,1,1))].

given #233 (F,wt=15): 591 f(f(x,f(y,x)),f(x,f(f(y,y),z))) = x.  [para(571(a,1),5(a,1,1))].

given #234 (T,wt=15): 596 f(f(x,f(y,x)),f(x,f(z,f(y,y)))) = x.  [para(571(a,1),8(a,1,1))].

given #235 (A,wt=17): 87 f(x,f(f(y,x),f(f(f(y,z),x),u))) = f(y,x).  [para(14(a,1),5(a,1,1))].

given #236 (F,wt=15): 597 f(f(x,f(y,y)),f(x,f(z,f(y,z)))) = x.  [para(571(a,1),8(a,1,2,2))].

given #237 (F,wt=15): 598 f(f(x,f(y,z)),f(x,f(z,f(y,y)))) = x.  [para(571(a,2),8(a,1,2,2))].

given #238 (F,wt=15): 600 f(f(x,f(y,x)),f(f(f(y,y),z),x)) = x.  [para(571(a,1),9(a,1,1))].

given #239 (F,wt=15): 615 f(f(f(x,y),z),f(z,f(y,f(x,x)))) = z.  [para(571(a,2),13(a,1,2,2))].

given #240 (T,wt=15): 629 f(f(f(x,f(y,y)),z),f(z,f(y,z))) = z.  [para(571(a,1),20(a,1,2))].

given #241 (A,wt=19): 88 f(x,f(f(f(x,y),z),f(x,f(y,u)))) = f(x,f(y,u)).  [para(5(a,1),14(a,1,1))].

given #242 (F,wt=15): 630 f(f(f(x,f(y,y)),z),f(z,f(y,x))) = z.  [para(571(a,2),20(a,1,1,1))].

given #243 (F,wt=15): 634 f(f(x,f(y,x)),f(f(z,f(y,y)),x)) = x.  [para(571(a,1),21(a,1,1))].

given #244 (F,wt=15): 636 f(f(x,f(y,z)),f(f(z,f(y,y)),x)) = x.  [para(571(a,2),21(a,1,2,1))].

given #245 (F,wt=15): 640 f(f(x,f(y,f(z,z))),f(f(z,y),x)) = x.  [para(571(a,2),33(a,1,1,2))].

given #246 (T,wt=15): 642 f(x,f(y,f(z,z))) = f(x,f(y,f(z,y))).  [para(571(a,1),17(a,1,2,1,2)),demod(17(7)),flip(a)].

given #247 (A,wt=19): 89 f(x,f(f(f(y,z),x),f(f(y,x),u))) = f(f(y,z),x).  [para(14(a,1),7(a,1,1))].

given #248 (F,wt=15): 646 f(f(f(x,x),y),f(f(z,f(x,z)),y)) = y.  [para(571(a,1),72(a,1,2,1))].

low water: id=12475, wt=25

given #249 (F,wt=15): 649 f(f(f(x,y),z),f(f(y,f(x,x)),z)) = z.  [para(571(a,2),72(a,1,2,1))].

given #250 (F,wt=15): 724 f(f(x,f(y,f(z,z))),f(x,f(z,x))) = x.  [para(589(a,1),33(a,1,2))].

given #251 (F,wt=15): 727 f(x,f(f(y,y),z)) = f(x,f(z,f(y,z))).  [para(589(a,1),17(a,1,2,1,2)),demod(510(8)),flip(a)].

given #252 (T,wt=15): 822 f(f(x,f(y,y)),f(x,f(z,f(z,y)))) = x.  [para(590(a,1),8(a,1,2,2))].

given #253 (A,wt=17): 90 f(x,f(f(y,x),f(z,f(f(y,u),x)))) = f(y,x).  [para(14(a,1),8(a,1,1))].

given #254 (F,wt=15): 851 f(x,f(y,f(z,z))) = f(x,f(y,f(y,z))).  [para(590(a,1),17(a,1,2,1,2)),demod(17(7)),flip(a)].

given #255 (F,wt=15): 854 f(f(f(x,x),y),f(f(z,f(z,x)),y)) = y.  [para(590(a,1),72(a,1,2,1))].

given #256 (F,wt=15): 899 f(f(x,f(f(y,y),z)),f(x,f(z,y))) = x.  [para(607(a,1),8(a,1,2,2))].

given #257 (F,wt=15): 919 f(f(f(f(x,x),y),z),f(f(y,x),z)) = z.  [para(607(a,1),72(a,1,2,1))].

given #258 (T,wt=15): 962 f(x,f(f(y,y),z)) = f(x,f(z,f(z,y))).  [para(689(a,1),17(a,1,2,1,2)),demod(512(8)),flip(a)].

given #259 (A,wt=19): 91 f(x,f(f(f(x,y),z),f(x,f(u,y)))) = f(x,f(u,y)).  [para(8(a,1),14(a,1,1))].

given #260 (F,wt=15): 1063 f(f(x,f(f(x,y),z)),f(x,f(u,y))) = x.  [para(25(a,1),8(a,1,2))].

given #261 (F,wt=15): 1160 f(x,f(f(x,y),f(z,f(x,z)))) = f(x,y).  [para(589(a,1),55(a,1,2,2))].

given #262 (F,wt=15): 1163 f(x,f(f(x,y),f(z,f(z,x)))) = f(x,y).  [para(689(a,1),55(a,1,2,2))].

given #263 (F,wt=15): 1211 f(x,f(f(y,f(x,y)),f(x,z))) = f(x,z).  [para(589(a,1),60(a,1,2,1))].

low water: id=13095, wt=23

given #264 (T,wt=15): 1214 f(x,f(f(y,f(y,x)),f(x,z))) = f(x,z).  [para(689(a,1),60(a,1,2,1))].

given #265 (A,wt=19): 93 f(x,f(f(f(x,y),z),f(f(y,u),x))) = f(f(y,u),x).  [para(9(a,1),14(a,1,1))].

given #266 (F,wt=15): 1247 f(x,f(f(y,x),f(z,f(x,z)))) = f(y,x).  [para(589(a,1),62(a,1,2,2))].

given #267 (F,wt=15): 1253 f(x,f(f(y,x),f(z,f(z,x)))) = f(y,x).  [para(689(a,1),62(a,1,2,2))].

given #268 (F,wt=15): 1313 f(f(x,f(y,f(x,f(z,u)))),f(z,x)) = x.  [para(26(a,1),8(a,1,2))].

given #269 (F,wt=15): 1402 f(x,f(f(y,f(x,y)),f(z,x))) = f(z,x).  [para(589(a,1),70(a,1,2,1))].

given #270 (T,wt=15): 1405 f(x,f(f(y,f(y,x)),f(z,x))) = f(z,x).  [para(689(a,1),70(a,1,2,1))].

given #271 (A,wt=21): 94 f(f(x,y),f(y,f(f(f(x,y),f(f(f(x,z),y),u)),v))) = y.  [para(14(a,1),10(a,1,2,1)),demod(14(13))].

given #272 (F,wt=15): 1460 f(x,f(f(y,y),f(f(y,z),x))) = f(x,x).  [para(92(a,1),185(a,1,2,2)),demod(4(6),571(6,R),4(4))].

given #273 (F,wt=15): 1478 f(f(x,f(y,y)),z) = f(f(x,f(y,x)),z).  [para(571(a,1),92(a,1,2,2,1)),demod(92(5)),flip(a)].

given #274 (F,wt=15): 1482 f(f(f(x,x),y),z) = f(f(y,f(x,y)),z).  [para(589(a,1),92(a,1,2,2,1)),demod(439(6)),flip(a)].

given #275 (F,wt=15): 1487 f(f(x,f(y,y)),z) = f(f(x,f(x,y)),z).  [para(590(a,1),92(a,1,2,2,1)),demod(92(5)),flip(a)].

given #276 (T,wt=15): 1490 f(f(f(x,x),y),z) = f(f(y,f(y,x)),z).  [para(689(a,1),92(a,1,2,2,1)),demod(441(6)),flip(a)].

given #277 (A,wt=23): 95 f(f(x,y),f(f(f(x,y),f(x,z)),f(y,u))) = f(f(x,y),f(x,z)).  [para(14(a,1),10(a,1,2,2,1))].

given #278 (F,wt=15): 1581 f(x,f(f(y,y),f(f(z,y),x))) = f(x,x).  [para(126(a,1),185(a,1,2,2)),demod(4(6),571(6,R),4(4))].

given #279 (F,wt=15): 1792 f(f(x,f(y,f(x,z))),f(x,f(z,u))) = x.  [para(4(a,1),157(a,1,1,2))].

given #280 (F,wt=15): 1793 f(f(x,f(f(x,y),z)),f(f(y,u),x)) = x.  [para(4(a,1),157(a,1,2))].

given #281 (F,wt=15): 1871 f(x,f(y,f(x,f(f(x,y),z)))) = f(x,x).  [para(157(a,1),81(a,1,2)),flip(a)].

given #282 (T,wt=15): 1877 f(f(x,f(f(x,y),z)),f(f(u,y),x)) = x.  [para(126(a,1),157(a,1,2))].

given #283 (A,wt=31): 96 f(f(x,y),f(f(x,z),f(f(x,y),f(f(x,f(y,u)),v)))) = f(f(x,y),f(f(x,f(y,u)),v)).  [para(10(a,1),14(a,1,1))].

given #284 (F,wt=15): 1984 f(f(x,f(y,f(z,y))),f(x,f(z,x))) = x.  [para(571(a,1),211(a,1,2))].

given #285 (F,wt=15): 1990 f(f(x,f(y,f(z,y))),f(x,f(x,z))) = x.  [para(590(a,1),211(a,1,2))].

given #286 (F,wt=15): 2168 f(f(f(x,f(y,x)),z),f(z,f(y,z))) = z.  [para(571(a,1),221(a,1,2))].

given #287 (F,wt=15): 2176 f(f(f(x,f(y,x)),z),f(z,f(z,y))) = z.  [para(590(a,1),221(a,1,2))].

given #288 (T,wt=15): 2289 f(f(x,f(y,x)),f(x,f(z,f(y,z)))) = x.  [para(589(a,1),230(a,1,1))].

given #289 (A,wt=19): 97 f(x,f(f(f(y,z),x),f(u,f(y,x)))) = f(f(y,z),x).  [para(14(a,1),13(a,1,1))].

given #290 (F,wt=15): 2298 f(f(x,f(x,y)),f(x,f(z,f(y,z)))) = x.  [para(689(a,1),230(a,1,1))].

given #291 (F,wt=15): 2436 f(f(x,f(y,x)),f(f(z,f(y,z)),x)) = x.  [para(571(a,1),236(a,1,1))].

given #292 (F,wt=15): 2442 f(f(x,f(x,y)),f(f(z,f(y,z)),x)) = x.  [para(590(a,1),236(a,1,1))].

given #293 (F,wt=15): 2728 f(f(x,f(y,f(y,z))),f(x,f(z,x))) = x.  [para(571(a,1),244(a,1,2))].

given #294 (T,wt=15): 2734 f(f(x,f(y,f(y,z))),f(x,f(x,z))) = x.  [para(590(a,1),244(a,1,2))].

given #295 (A,wt=19): 98 f(x,f(f(f(y,x),z),f(x,f(u,y)))) = f(x,f(u,y)).  [para(13(a,1),14(a,1,1))].

given #296 (F,wt=15): 2816 f(f(f(x,f(x,y)),z),f(z,f(y,z))) = z.  [para(571(a,1),250(a,1,2))].

given #297 (F,wt=15): 2824 f(f(f(x,f(x,y)),z),f(z,f(z,y))) = z.  [para(590(a,1),250(a,1,2))].

given #298 (F,wt=15): 2934 f(f(x,f(y,x)),f(x,f(z,f(z,y)))) = x.  [para(589(a,1),257(a,1,1))].

given #299 (F,wt=15): 2943 f(f(x,f(x,y)),f(x,f(z,f(z,y)))) = x.  [para(689(a,1),257(a,1,1))].

given #300 (T,wt=15): 3061 f(f(x,f(y,x)),f(f(z,f(z,y)),x)) = x.  [para(571(a,1),261(a,1,1))].

given #301 (A,wt=19): 99 f(x,f(f(f(y,x),z),f(f(y,u),x))) = f(f(y,u),x).  [para(14(a,1),14(a,1,1))].

given #302 (F,wt=15): 3067 f(f(x,f(x,y)),f(f(z,f(z,y)),x)) = x.  [para(590(a,1),261(a,1,1))].

given #303 (F,wt=15): 3604 f(f(x,f(f(y,x),z)),f(f(y,u),x)) = x.  [para(276(a,1),126(a,1,2,2)),demod(276(12))].

given #304 (F,wt=15): 4422 f(f(x,f(f(y,x),z)),f(x,f(u,y))) = x.  [para(287(a,1),4(a,1)),flip(a)].

given #305 (F,wt=15): 4512 f(f(x,f(f(y,x),z)),f(f(u,y),x)) = x.  [para(287(a,1),126(a,1,2,2)),demod(287(12))].

given #306 (T,wt=15): 5185 f(f(x,f(y,f(z,x))),f(x,f(z,u))) = x.  [para(4(a,1),316(a,1,1,2))].

given #307 (A,wt=23): 103 f(f(f(x,y),z),f(z,f(f(f(f(x,y),z),f(f(z,x),u)),v))) = z.  [para(18(a,1),10(a,1,2,1)),demod(18(14))].

given #308 (F,wt=15): 5224 f(x,f(y,f(x,f(f(y,x),z)))) = f(x,x).  [para(316(a,1),81(a,1,2)),flip(a)].

given #309 (F,wt=15): 5726 f(f(x,f(y,f(x,f(z,u)))),f(u,x)) = x.  [para(349(a,1),126(a,1,2,2)),demod(349(12))].

given #310 (F,wt=15): 5993 f(f(x,f(y,f(z,x))),f(f(z,u),x)) = x.  [para(354(a,1),126(a,1,2,2)),demod(354(12))].

given #311 (F,wt=15): 6488 f(f(x,f(y,f(x,z))),f(f(z,u),x)) = x.  [para(359(a,1),4(a,1)),flip(a)].

given #312 (T,wt=15): 6679 f(f(x,f(y,f(x,z))),f(f(u,z),x)) = x.  [para(363(a,1),4(a,1)),flip(a)].

given #313 (A,wt=23): 104 f(f(x,f(y,z)),f(x,f(f(f(x,f(y,z)),f(f(x,y),u)),v))) = x.  [para(5(a,1),15(a,1,2,1)),demod(5(14))].

given #314 (F,wt=15): 7092 f(f(x,f(y,f(z,x))),f(x,f(u,z))) = x.  [para(365(a,1),4(a,1)),flip(a)].

given #315 (F,wt=15): 7151 f(f(x,f(y,f(x,z))),f(x,f(u,z))) = x.  [para(25(a,1),365(a,1,2))].

given #316 (F,wt=15): 7156 f(f(x,f(y,f(z,x))),f(f(u,z),x)) = x.  [para(365(a,1),126(a,1,2,2)),demod(365(12))].

given #317 (F,wt=15): 7669 f(x,f(f(y,y),f(x,f(y,z)))) = f(x,x).  [para(4(a,1),583(a,1,2))].

given #318 (T,wt=15): 7675 f(x,f(y,f(x,f(f(y,y),z)))) = f(x,x).  [para(47(a,1),583(a,1,2,2)),demod(4(4))].

given #319 (A,wt=31): 105 f(f(x,y),f(f(f(x,y),f(f(y,f(x,z)),u)),f(y,v))) = f(f(x,y),f(f(y,f(x,z)),u)).  [para(15(a,1),7(a,1,1))].

given #320 (F,wt=15): 7695 f(x,f(y,f(x,f(z,f(y,z))))) = f(x,x).  [para(589(a,1),583(a,1,2,1,2)),demod(47(6),4(4))].

given #321 (F,wt=15): 7697 f(x,f(y,f(x,f(z,f(z,y))))) = f(x,x).  [para(689(a,1),583(a,1,2,1,2)),demod(47(6),4(4))].

given #322 (F,wt=15): 8056 f(x,f(f(x,f(y,z)),f(y,c_0))) = f(x,x).  [back_demod(7905),demod(7909(4))].

given #323 (F,wt=15): 8066 f(f(x,x),f(c_0,f(y,f(c_0,f(z,x))))) = c_0.  [back_demod(7895),demod(7909(3),7909(5),4(5),7909(10))].

given #324 (T,wt=15): 8073 f(f(x,x),f(c_0,f(y,f(c_0,f(x,z))))) = c_0.  [back_demod(7887),demod(7909(3),7909(5),4(5),7909(10))].

given #325 (A,wt=19): 106 f(x,f(f(f(y,z),x),f(f(x,z),u))) = f(f(y,z),x).  [para(7(a,1),15(a,1,2,2,1,2))].

given #326 (F,wt=15): 8085 f(f(x,x),f(c_0,f(f(c_0,f(y,x)),z))) = c_0.  [back_demod(7872),demod(7909(3),7909(5),4(5),7909(10))].

given #327 (F,wt=15): 8095 f(f(x,x),f(c_0,f(f(c_0,f(x,y)),z))) = c_0.  [back_demod(7861),demod(7909(3),7909(5),4(5),7909(10))].

given #328 (F,wt=15): 8099 f(f(f(x,f(x,y)),z),f(f(y,c_0),z)) = z.  [back_demod(7855),demod(7909(5))].

given #329 (F,wt=15): 8102 f(f(x,f(y,c_0)),f(f(z,f(z,y)),x)) = x.  [back_demod(7852),demod(7909(2))].

given #330 (T,wt=15): 8104 f(f(x,f(y,f(y,z))),f(f(z,c_0),x)) = x.  [back_demod(7850),demod(7909(5))].

given #331 (A,wt=21): 107 f(f(x,y),f(y,f(z,f(f(x,y),f(f(y,f(x,u)),v))))) = y.  [para(15(a,1),8(a,1,1))].

given #332 (F,wt=15): 8107 f(f(f(x,c_0),y),f(y,f(z,f(z,x)))) = y.  [back_demod(7847),demod(7909(2))].

given #333 (F,wt=15): 8108 f(f(f(x,f(x,y)),z),f(z,f(y,c_0))) = z.  [back_demod(7845),demod(7909(5))].

given #334 (F,wt=15): 8109 f(f(x,f(y,f(y,z))),f(x,f(z,c_0))) = x.  [back_demod(7844),demod(7909(5))].

given #335 (F,wt=15): 8111 f(f(f(x,f(y,x)),z),f(f(y,c_0),z)) = z.  [back_demod(7842),demod(7909(5))].

given #336 (T,wt=15): 8115 f(f(x,f(y,c_0)),f(f(z,f(y,z)),x)) = x.  [back_demod(7838),demod(7909(2))].

given #337 (A,wt=23): 109 f(f(x,f(y,z)),f(x,f(f(f(x,f(y,z)),f(f(x,z),u)),v))) = x.  [para(8(a,1),15(a,1,2,1)),demod(8(14))].

given #338 (F,wt=15): 8117 f(f(x,f(y,f(z,y))),f(f(z,c_0),x)) = x.  [back_demod(7836),demod(7909(5))].

given #339 (F,wt=15): 8122 f(f(f(x,c_0),y),f(y,f(z,f(x,z)))) = y.  [back_demod(7831),demod(7909(2))].

given #340 (F,wt=15): 8123 f(f(f(x,f(y,x)),z),f(z,f(y,c_0))) = z.  [back_demod(7829),demod(7909(5))].

given #341 (F,wt=15): 8126 f(f(x,f(y,f(z,y))),f(x,f(z,c_0))) = x.  [back_demod(7826),demod(7909(5))].

given #342 (T,wt=15): 8128 f(x,f(f(y,f(x,c_0)),f(z,x))) = f(z,x).  [back_demod(7824),demod(7909(2))].

given #343 (A,wt=39): 110 f(f(x,f(y,z)),f(y,f(f(x,f(y,z)),f(f(f(y,z),f(x,u)),v)))) = f(f(x,f(y,z)),f(f(f(y,z),f(x,u)),v)).  [para(15(a,1),9(a,1,2)),demod(4(8),4(11))].

given #344 (F,wt=15): 8130 f(x,f(f(y,f(x,c_0)),f(x,z))) = f(x,z).  [back_demod(7822),demod(7909(2))].

given #345 (F,wt=15): 8135 f(x,f(f(f(x,c_0),y),f(z,x))) = f(z,x).  [back_demod(7815),demod(7909(2))].

given #346 (F,wt=15): 8138 f(x,f(f(y,x),f(z,f(x,c_0)))) = f(y,x).  [back_demod(7812),demod(7909(3))].

given #347 (F,wt=15): 8140 f(x,f(f(y,x),f(f(x,c_0),z))) = f(y,x).  [back_demod(7810),demod(7909(3))].

given #348 (T,wt=15): 8142 f(x,f(f(f(x,c_0),y),f(x,z))) = f(x,z).  [back_demod(7808),demod(7909(2))].

given #349 (A,wt=23): 111 f(f(x,y),f(f(f(y,z),f(x,y)),f(x,u))) = f(f(y,z),f(x,y)).  [para(9(a,1),15(a,1,2,2,1))].

given #350 (F,wt=15): 8143 f(x,f(f(x,y),f(z,f(x,c_0)))) = f(x,y).  [back_demod(7807),demod(7909(3))].

given #351 (F,wt=15): 8144 f(x,f(f(x,y),f(f(x,c_0),z))) = f(x,y).  [back_demod(7806),demod(7909(3))].

given #352 (F,wt=15): 8186 f(x,f(y,f(c_0,f(f(x,x),z)))) = f(x,x).  [back_demod(6152),demod(7909(2))].

given #353 (F,wt=15): 8187 f(x,f(f(c_0,f(f(x,x),y)),z)) = f(x,x).  [back_demod(3842),demod(7909(2))].

given #354 (T,wt=15): 8371 f(f(f(x,y),z),f(f(c_0,f(y,x)),z)) = z.  [back_demod(3253),demod(8176(5,R))].

given #355 (A,wt=27): 112 f(x,f(f(y,x),f(f(x,f(f(f(y,x),f(f(x,f(y,z)),u)),v)),w))) = f(y,x).  [para(15(a,1),10(a,1,2,1)),demod(15(17))].

given #356 (F,wt=15): 8379 f(f(x,f(y,z)),f(f(c_0,f(z,y)),x)) = x.  [back_demod(3016),demod(8176(5,R))].

given #357 (F,wt=15): 8385 f(f(f(c_0,f(x,y)),z),f(z,f(y,x))) = z.  [back_demod(2932),demod(8176(3,R))].

given #358 (F,wt=15): 8548 f(f(x,f(y,y)),f(c_0,f(z,y))) = f(z,y).  [back_demod(1780),demod(8155(7,R),4(5))].

given #359 (F,wt=15): 8549 f(f(f(x,x),y),f(c_0,f(z,x))) = f(z,x).  [back_demod(1748),demod(8155(7,R),4(5))].

given #360 (T,wt=15): 8557 f(f(x,f(y,y)),f(c_0,f(y,z))) = f(y,z).  [back_demod(1404),demod(8155(7,R),4(5))].

given #361 (A,wt=37): 113 f(f(f(x,y),f(f(x,f(y,z)),u)),f(f(x,y),f(f(f(f(x,y),f(f(x,f(y,z)),u)),f(x,v)),w))) = f(x,y).  [para(10(a,1),15(a,1,2,1)),demod(10(22))].

given #362 (F,wt=15): 8561 f(f(f(x,x),y),f(c_0,f(x,z))) = f(x,z).  [back_demod(1213),demod(8155(7,R),4(5))].

given #363 (F,wt=15): 8572 f(f(x,x),f(y,c_0)) = f(f(y,y),f(x,c_0)).  [back_demod(760),demod(8155(4,R),8155(8,R))].

given #364 (F,wt=15): 8580 f(f(x,y),f(z,c_0)) = f(f(z,z),f(x,y)).  [back_demod(731),demod(8155(4,R))].

given #365 (F,wt=15): 8592 f(x,f(f(y,x),f(c_0,f(z,y)))) = f(x,x).  [back_demod(542),demod(8155(5,R),4(4))].

given #366 (T,wt=15): 8593 f(x,f(f(x,y),f(c_0,f(z,y)))) = f(x,x).  [back_demod(464),demod(8155(5,R),4(4))].

given #367 (A,wt=19): 115 f(f(x,x),f(f(y,f(x,x)),f(x,z))) = f(y,f(x,x)).  [para(54(a,1),15(a,1,2,2,1))].

given #368 (F,wt=15): 8594 f(x,f(f(y,x),f(c_0,f(y,z)))) = f(x,x).  [back_demod(410),demod(8155(5,R),4(4))].

low water: id=15681, wt=21

given #369 (F,wt=15): 8595 f(x,f(f(x,y),f(c_0,f(y,z)))) = f(x,x).  [back_demod(390),demod(8155(5,R),4(4))].

given #370 (F,wt=15): 8701 f(f(x,f(c_0,f(y,z))),f(f(z,y),x)) = x.  [back_demod(3063),demod(8176(3,R))].

given #371 (F,wt=15): 9197 f(x,f(f(x,y),f(f(c_0,x),z))) = f(x,y).  [para(7909(a,1),30(a,1,2,2,1,1))].

given #372 (T,wt=15): 9199 f(x,f(f(x,y),f(z,f(c_0,x)))) = f(x,y).  [para(7909(a,1),35(a,1,2,2,2,1))].

given #373 (A,wt=31): 116 f(f(x,y),f(f(f(x,y),f(f(y,f(x,z)),u)),f(v,y))) = f(f(x,y),f(f(y,f(x,z)),u)).  [para(15(a,1),13(a,1,1))].

given #374 (F,wt=15): 9271 f(f(c_0,f(x,y)),f(f(c_0,x),z)) = f(x,y).  [para(17(a,1),8148(a,1,2)),demod(8148(5)),flip(a)].

given #375 (F,wt=15): 9273 f(f(c_0,f(x,y)),f(f(x,c_0),z)) = f(x,y).  [para(19(a,1),8148(a,1,2)),demod(8148(5)),flip(a)].

given #376 (F,wt=15): 9278 f(x,f(c_0,f(f(c_0,f(f(c_0,x),y)),z))) = c_0.  [para(8148(a,1),40(a,1,1))].

given #377 (F,wt=15): 9279 f(f(c_0,f(x,y)),f(f(c_0,y),z)) = f(x,y).  [para(25(a,1),8148(a,1,2)),demod(8148(5)),flip(a)].

given #378 (T,wt=15): 9283 f(x,f(c_0,f(f(c_0,f(y,f(c_0,x))),z))) = c_0.  [para(8148(a,1),271(a,1,1))].

given #379 (A,wt=23): 117 f(f(x,f(y,z)),f(x,f(f(f(x,f(y,z)),f(f(z,x),u)),v))) = x.  [para(13(a,1),15(a,1,2,1)),demod(13(14))].

given #380 (F,wt=15): 9287 f(x,f(c_0,f(y,f(c_0,f(f(c_0,x),z))))) = c_0.  [para(8148(a,1),346(a,1,1))].

given #381 (F,wt=15): 9288 f(x,f(c_0,f(y,f(c_0,f(z,f(c_0,x)))))) = c_0.  [para(8148(a,1),349(a,1,1))].

given #382 (F,wt=15): 9292 f(x,f(c_0,f(f(c_0,f(f(x,x),y)),z))) = c_0.  [para(8152(a,1),40(a,1,1))].

given #383 (F,wt=15): 9295 f(x,f(c_0,f(f(c_0,f(y,f(x,x))),z))) = c_0.  [para(8152(a,1),271(a,1,1))].

given #384 (T,wt=15): 9297 f(x,f(c_0,f(y,f(c_0,f(f(x,x),z))))) = c_0.  [para(8152(a,1),346(a,1,1))].

given #385 (A,wt=31): 118 f(f(x,y),f(f(y,z),f(f(x,y),f(f(y,f(x,u)),v)))) = f(f(x,y),f(f(y,f(x,u)),v)).  [para(15(a,1),14(a,1,1))].

given #386 (F,wt=15): 9298 f(x,f(c_0,f(y,f(c_0,f(z,f(x,x)))))) = c_0.  [para(8152(a,1),349(a,1,1))].

given #387 (F,wt=15): 9385 f(x,f(c_0,f(f(c_0,f(f(x,c_0),y)),z))) = c_0.  [para(8154(a,1),40(a,1,1))].

given #388 (F,wt=15): 9387 f(x,f(c_0,f(f(c_0,f(y,f(x,c_0))),z))) = c_0.  [para(8154(a,1),271(a,1,1))].

given #389 (F,wt=15): 9390 f(x,f(c_0,f(y,f(c_0,f(f(x,c_0),z))))) = c_0.  [para(8154(a,1),346(a,1,1))].

given #390 (T,wt=15): 9391 f(x,f(c_0,f(y,f(c_0,f(z,f(x,c_0)))))) = c_0.  [para(8154(a,1),349(a,1,1))].

given #391 (A,wt=23): 119 f(f(f(x,y),z),f(z,f(f(f(f(x,y),z),f(f(x,z),u)),v))) = z.  [para(14(a,1),15(a,1,2,1)),demod(14(14))].

given #392 (F,wt=15): 9405 f(x,f(f(f(c_0,x),y),f(x,z))) = f(x,z).  [para(8176(a,2),60(a,1,2,1,1))].

given #393 (F,wt=15): 9406 f(x,f(f(y,x),f(f(c_0,x),z))) = f(y,x).  [para(8176(a,2),62(a,1,2,2,1))].

given #394 (F,wt=15): 9407 f(x,f(f(y,x),f(z,f(c_0,x)))) = f(y,x).  [para(8176(a,2),69(a,1,2,2,2))].

given #395 (F,wt=15): 9408 f(x,f(f(f(c_0,x),y),f(z,x))) = f(z,x).  [para(8176(a,2),70(a,1,2,1,1))].

given #396 (T,wt=15): 9413 f(x,f(f(y,f(c_0,x)),f(x,z))) = f(x,z).  [para(8176(a,2),131(a,1,2,1,2))].

given #397 (A,wt=23): 120 f(f(x,y),f(f(f(x,z),f(x,y)),f(y,u))) = f(f(x,z),f(x,y)).  [para(14(a,1),15(a,1,2,2,1))].

given #398 (F,wt=15): 9414 f(x,f(f(y,f(c_0,x)),f(z,x))) = f(z,x).  [para(8176(a,2),133(a,1,2,1,2))].

given #399 (F,wt=15): 9415 f(f(x,f(y,f(z,y))),f(x,f(c_0,z))) = x.  [para(8176(a,2),211(a,1,2,2))].

given #400 (F,wt=15): 9416 f(f(f(x,f(y,x)),z),f(z,f(c_0,y))) = z.  [para(8176(a,2),221(a,1,2,2))].

given #401 (F,wt=15): 9417 f(f(f(c_0,x),y),f(y,f(z,f(x,z)))) = y.  [para(8176(a,2),230(a,1,1,1))].

given #402 (T,wt=15): 9418 f(f(x,f(y,f(z,y))),f(f(c_0,z),x)) = x.  [para(8176(a,2),233(a,1,2,1))].

given #403 (A,wt=37): 122 f(f(f(x,y),f(f(y,f(x,z)),u)),f(f(x,y),f(f(f(f(x,y),f(f(y,f(x,z)),u)),f(y,v)),w))) = f(x,y).  [para(15(a,1),15(a,1,2,1)),demod(15(22))].

given #404 (F,wt=15): 9419 f(f(x,f(c_0,y)),f(f(z,f(y,z)),x)) = x.  [para(8176(a,2),236(a,1,1,2))].

given #405 (F,wt=15): 9421 f(f(f(x,f(y,x)),z),f(f(c_0,y),z)) = z.  [para(8176(a,2),240(a,1,2,1))].

given #406 (F,wt=15): 9422 f(f(x,f(y,f(y,z))),f(x,f(c_0,z))) = x.  [para(8176(a,2),244(a,1,2,2))].

given #407 (F,wt=15): 9423 f(f(f(x,f(x,y)),z),f(z,f(c_0,y))) = z.  [para(8176(a,2),250(a,1,2,2))].

given #408 (T,wt=15): 9424 f(f(f(c_0,x),y),f(y,f(z,f(z,x)))) = y.  [para(8176(a,2),257(a,1,1,1))].

given #409 (A,wt=17): 123 f(x,f(f(x,y),f(f(f(z,y),x),u))) = f(x,y).  [para(20(a,1),7(a,1,1))].

given #410 (F,wt=15): 9425 f(f(x,f(y,f(y,z))),f(f(c_0,z),x)) = x.  [para(8176(a,2),259(a,1,2,1))].

given #411 (F,wt=15): 9426 f(f(x,f(c_0,y)),f(f(z,f(z,y)),x)) = x.  [para(8176(a,2),261(a,1,1,2))].

given #412 (F,wt=15): 9427 f(f(f(x,f(x,y)),z),f(f(c_0,y),z)) = z.  [para(8176(a,2),266(a,1,2,1))].

given #413 (F,wt=15): 9621 f(f(x,x),f(c_0,y)) = f(f(y,y),f(x,c_0)).  [back_demod(8570),demod(9401(4,R))].

given #414 (T,wt=15): 9753 f(f(x,x),f(c_0,y)) = f(f(y,y),f(c_0,x)).  [back_demod(988),demod(9401(4,R),9401(8,R))].

given #415 (A,wt=17): 124 f(x,f(f(y,f(x,f(z,u))),f(z,x))) = f(z,x).  [para(7(a,1),20(a,1,2)),demod(4(6))].

given #416 (F,wt=15): 9758 f(f(x,y),f(c_0,z)) = f(f(z,z),f(x,y)).  [back_demod(966),demod(9401(4,R))].

given #417 (F,wt=15): 10016 f(x,f(f(c_0,f(f(c_0,x),y)),z)) = f(c_0,x).  [para(9269(a,1),37(a,1)),demod(8148(6)),flip(a)].

given #418 (F,wt=15): 10020 f(f(x,f(y,z)),f(c_0,f(x,f(x,y)))) = c_0.  [para(5(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #419 (F,wt=15): 10022 f(f(x,f(y,z)),f(c_0,f(x,f(y,x)))) = c_0.  [para(7(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #420 (T,wt=15): 10024 f(f(x,f(y,z)),f(c_0,f(x,f(x,z)))) = c_0.  [para(8(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #421 (A,wt=19): 125 f(x,f(f(f(y,z),x),f(u,f(x,z)))) = f(f(y,z),x).  [para(20(a,1),8(a,1,1))].

given #422 (F,wt=15): 10026 f(f(f(x,y),z),f(c_0,f(z,f(z,x)))) = c_0.  [para(9(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #423 (F,wt=15): 10029 f(f(x,y),f(c_0,f(y,f(y,f(x,z))))) = c_0.  [para(12(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #424 (F,wt=15): 10031 f(f(x,f(y,z)),f(c_0,f(x,f(z,x)))) = c_0.  [para(13(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #425 (F,wt=15): 10033 f(f(f(x,y),z),f(c_0,f(z,f(x,z)))) = c_0.  [para(14(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #426 (T,wt=15): 10034 f(f(x,y),f(c_0,f(x,f(c_0,f(y,z))))) = c_0.  [para(18(a,1),8100(a,1,2,2,2)),demod(4(5),9398(5,R))].

given #427 (A,wt=19): 127 f(x,f(f(f(x,y),z),f(f(u,y),x))) = f(f(u,y),x).  [para(20(a,1),9(a,1,1))].

given #428 (F,wt=15): 10038 f(f(x,y),f(c_0,f(x,f(c_0,f(z,y))))) = c_0.  [para(20(a,1),8100(a,1,2,2,2)),demod(4(5),9398(5,R))].

given #429 (F,wt=15): 10039 f(f(f(x,y),z),f(c_0,f(z,f(z,y)))) = c_0.  [para(21(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #430 (F,wt=15): 10040 f(f(x,y),f(c_0,f(y,f(y,f(z,x))))) = c_0.  [para(33(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #431 (F,wt=15): 10044 f(f(f(x,y),z),f(c_0,f(z,f(y,z)))) = c_0.  [para(72(a,1),8100(a,1,2,2,2)),demod(4(5))].

given #432 (T,wt=15): 10046 f(x,f(c_0,f(f(c_0,f(y,f(y,x))),z))) = c_0.  [para(8100(a,1),24(a,1,2,1)),demod(8100(13))].

given #433 (A,wt=17): 128 f(x,f(f(y,f(f(z,u),x)),f(x,z))) = f(x,z).  [para(9(a,1),20(a,1,2)),demod(4(6))].

given #434 (F,wt=15): 10048 f(f(c_0,f(x,f(x,y))),f(c_0,f(y,z))) = c_0.  [para(8100(a,1),27(a,1,2,1)),demod(8100(13))].

given #435 (F,wt=15): 10051 f(x,f(c_0,f(y,f(c_0,f(z,f(z,x)))))) = c_0.  [para(8100(a,1),29(a,1,2,1)),demod(8100(13))].

given #436 (F,wt=15): 10055 f(f(c_0,f(x,f(x,y))),f(c_0,f(z,y))) = c_0.  [para(8100(a,1),78(a,1,2,1)),demod(8100(13))].

given #437 (F,wt=15): 10095 f(f(x,f(y,f(z,y))),f(c_0,f(x,z))) = c_0.  [para(230(a,1),8100(a,1,2,2,2)),demod(4(7),9398(7,R),8152(7))].

given #438 (T,wt=15): 10096 f(f(f(x,f(y,x)),z),f(c_0,f(z,y))) = c_0.  [para(236(a,1),8100(a,1,2,2,2)),demod(4(7),829(7))].

given #439 (A,wt=23): 129 f(f(f(x,y),z),f(z,f(f(f(f(x,y),z),f(f(z,y),u)),v))) = z.  [para(20(a,1),10(a,1,2,1)),demod(20(14))].

given #440 (F,wt=15): 10104 f(f(x,f(y,f(y,z))),f(c_0,f(x,z))) = c_0.  [para(257(a,1),8100(a,1,2,2,2)),demod(4(7),9398(7,R),8152(7))].

given #441 (F,wt=15): 10105 f(f(f(x,f(x,y)),z),f(c_0,f(z,y))) = c_0.  [para(261(a,1),8100(a,1,2,2,2)),demod(4(7),829(7))].

given #442 (F,wt=15): 10176 f(f(x,y),f(c_0,f(x,f(x,f(y,z))))) = c_0.  [para(5(a,1),8113(a,1,2,2,2)),demod(4(5))].

given #443 (F,wt=15): 10179 f(f(x,y),f(c_0,f(x,f(x,f(z,y))))) = c_0.  [para(8(a,1),8113(a,1,2,2,2)),demod(4(5))].

given #444 (T,wt=15): 10184 f(f(x,y),f(c_0,f(y,f(c_0,f(x,z))))) = c_0.  [para(14(a,1),8113(a,1,2,2,2)),demod(4(5),9398(5,R))].

given #445 (A,wt=39): 130 f(f(f(x,y),z),f(y,f(f(f(x,y),z),f(f(f(x,y),f(z,u)),v)))) = f(f(f(x,y),z),f(f(f(x,y),f(z,u)),v)).  [para(10(a,1),20(a,1,1)),demod(4(10))].

given #446 (F,wt=15): 10190 f(f(x,y),f(c_0,f(y,f(c_0,f(z,x))))) = c_0.  [para(72(a,1),8113(a,1,2,2,2)),demod(4(5),9398(5,R))].

given #447 (F,wt=15): 10192 f(x,f(c_0,f(f(c_0,f(y,f(x,y))),z))) = c_0.  [para(8113(a,1),24(a,1,2,1)),demod(8113(13))].

given #448 (F,wt=15): 10193 f(x,f(c_0,f(f(x,y),f(c_0,f(y,z))))) = c_0.  [para(24(a,1),8113(a,1,2,2,2)),demod(4(6),9401(6,R))].

given #449 (F,wt=15): 10194 f(f(c_0,f(x,f(y,x))),f(c_0,f(y,z))) = c_0.  [para(8113(a,1),27(a,1,2,1)),demod(8113(13))].

given #450 (T,wt=15): 10195 f(x,f(c_0,f(f(y,x),f(c_0,f(y,z))))) = c_0.  [para(27(a,1),8113(a,1,2,2,2)),demod(4(6),9401(6,R))].

given #451 (A,wt=19): 132 f(x,f(f(y,f(z,x)),f(x,f(z,u)))) = f(x,f(z,u)).  [para(12(a,1),20(a,1,2)),demod(4(6))].

given #452 (F,wt=15): 10197 f(x,f(c_0,f(y,f(c_0,f(z,f(x,z)))))) = c_0.  [para(8113(a,1),29(a,1,2,1)),demod(8113(13))].

given #453 (F,wt=15): 10198 f(x,f(c_0,f(f(x,y),f(c_0,f(z,y))))) = c_0.  [para(29(a,1),8113(a,1,2,2,2)),demod(4(6),9401(6,R))].

given #454 (F,wt=15): 10199 f(f(c_0,f(x,f(y,x))),f(c_0,f(z,y))) = c_0.  [para(8113(a,1),78(a,1,2,1)),demod(8113(13))].

given #455 (F,wt=15): 10200 f(x,f(c_0,f(f(y,x),f(c_0,f(z,y))))) = c_0.  [para(78(a,1),8113(a,1,2,2,2)),demod(4(6),9401(6,R))].

given #456 (T,wt=15): 10211 f(x,f(c_0,f(f(y,y),f(f(y,z),x)))) = c_0.  [para(92(a,1),8113(a,1,2,2,2)),demod(4(7),571(7,R),4(5))].

given #457 (A,wt=17): 134 f(x,f(f(x,y),f(z,f(f(u,y),x)))) = f(x,y).  [para(20(a,1),13(a,1,1))].

given #458 (F,wt=15): 10214 f(x,f(c_0,f(f(y,y),f(f(z,y),x)))) = c_0.  [para(126(a,1),8113(a,1,2,2,2)),demod(4(7),571(7,R),4(5))].

given #459 (F,wt=15): 10336 f(f(f(x,x),y),f(y,f(z,f(x,c_0)))) = y.  [para(8131(a,1),13(a,1,1))].

given #460 (F,wt=15): 10340 f(f(f(x,x),y),f(f(f(x,c_0),z),y)) = y.  [para(8131(a,1),14(a,1,1))].

given #461 (F,wt=15): 10356 f(f(x,f(y,f(z,c_0))),f(f(z,z),x)) = x.  [para(8131(a,1),33(a,1,2))].

given #462 (T,wt=15): 10367 f(x,f(f(y,c_0),z)) = f(x,f(f(y,y),z)).  [para(8131(a,1),17(a,2,2)),demod(17(10))].

given #463 (A,wt=17): 135 f(x,f(f(y,f(x,f(z,u))),f(u,x))) = f(u,x).  [para(13(a,1),20(a,1,2)),demod(4(6))].

given #464 (F,wt=15): 10368 f(f(f(x,x),y),f(f(z,f(x,c_0)),y)) = y.  [para(8131(a,1),72(a,1,1))].

given #465 (F,wt=15): 10414 f(f(x,c_0),f(y,c_0)) = f(f(x,x),f(y,y)).  [para(8131(a,1),571(a,1)),demod(8155(9,R)),flip(a)].

given #466 (F,wt=15): 10415 f(f(x,c_0),f(y,y)) = f(f(x,x),f(y,c_0)).  [para(8131(a,2),571(a,1)),demod(8155(8,R))].

given #467 (F,wt=15): 10428 f(f(x,c_0),f(c_0,y)) = f(f(x,x),f(y,y)).  [para(8131(a,1),590(a,1)),demod(9401(9,R)),flip(a)].

given #468 (T,wt=15): 10429 f(f(x,c_0),f(y,y)) = f(f(x,x),f(c_0,y)).  [para(8131(a,2),590(a,1)),demod(9401(8,R))].

given #469 (A,wt=19): 136 f(x,f(f(y,f(x,z)),f(f(z,u),x))) = f(f(z,u),x).  [para(18(a,1),20(a,1,2)),demod(4(6))].

given #470 (F,wt=15): 10476 f(f(f(x,c_0),y),z) = f(f(f(x,x),y),z).  [para(8131(a,2),92(a,1,2,2,1)),demod(10475(7))].

given #471 (F,wt=15): 10765 f(x,f(f(y,c_0),z)) = f(x,f(z,f(y,y))).  [para(8133(a,2),17(a,1,2,1,2)),demod(25(8))].

given #472 (F,wt=15): 10773 f(f(x,c_0),f(y,c_0)) = f(f(y,y),f(x,x)).  [para(8133(a,1),571(a,1)),demod(8155(9,R)),flip(a)].

given #473 (F,wt=15): 10777 f(f(x,c_0),f(c_0,y)) = f(f(y,y),f(x,x)).  [para(8133(a,1),590(a,1)),demod(9401(9,R)),flip(a)].

given #474 (T,wt=15): 10789 f(f(f(x,c_0),y),z) = f(f(y,f(x,x)),z).  [para(8133(a,1),92(a,1,2,2,1)),demod(10486(7)),flip(a)].

given #475 (A,wt=21): 137 f(f(x,y),f(x,f(f(f(x,y),f(f(f(z,y),x),u)),v))) = x.  [para(20(a,1),15(a,1,2,1)),demod(20(13))].

given #476 (F,wt=15): 10873 f(f(c_0,x),f(y,y)) = f(f(y,c_0),f(c_0,x)).  [para(8133(a,1),44(a,1,2,1)),demod(10459(9))].

given #477 (F,wt=15): 10878 f(f(x,c_0),f(y,y)) = f(f(y,c_0),f(x,x)).  [para(8133(a,2),8131(a,2))].

given #478 (F,wt=15): 10880 f(f(x,f(y,z)),f(x,f(y,f(z,c_0)))) = x.  [para(8145(a,1),8(a,1,2,2)),demod(4(7))].

given #479 (F,wt=15): 10883 f(f(f(x,f(y,c_0)),z),f(z,f(x,y))) = z.  [para(8145(a,1),13(a,1,2,2))].

given #480 (T,wt=15): 10886 f(f(f(x,y),z),f(z,f(x,f(y,c_0)))) = z.  [para(8145(a,1),20(a,1,1,1))].

given #481 (A,wt=39): 138 f(f(x,f(y,z)),f(z,f(f(x,f(y,z)),f(f(f(y,z),f(x,u)),v)))) = f(f(x,f(y,z)),f(f(f(y,z),f(x,u)),v)).  [para(15(a,1),20(a,1,1)),demod(4(10))].

given #482 (F,wt=15): 10888 f(f(x,f(y,f(z,c_0))),f(f(y,z),x)) = x.  [para(8145(a,1),21(a,1,2,1))].

given #483 (F,wt=15): 10889 f(f(x,f(y,z)),f(f(y,f(z,c_0)),x)) = x.  [para(8145(a,1),33(a,1,1,2))].

given #484 (F,wt=15): 10891 f(f(f(x,y),z),f(f(x,f(y,c_0)),z)) = z.  [para(8145(a,1),72(a,1,2,1)),demod(4(7))].

given #485 (F,wt=15): 10936 f(f(f(f(x,c_0),y),z),f(z,f(z,x))) = z.  [para(8145(a,1),359(a,1,2,2))].

given #486 (T,wt=15): 10938 f(f(f(x,f(y,c_0)),z),f(z,f(z,y))) = z.  [para(8145(a,1),363(a,1,2,2))].

given #487 (A,wt=19): 139 f(x,f(f(y,f(x,z)),f(f(u,z),x))) = f(f(u,z),x).  [para(20(a,1),20(a,1,2)),demod(4(6))].

given #488 (F,wt=15): 10945 f(f(x,f(f(y,c_0),z)),f(x,f(x,y))) = x.  [para(8145(a,1),422(a,1,2,2))].

given #489 (F,wt=15): 10947 f(f(x,f(y,f(z,c_0))),f(x,f(x,z))) = x.  [para(8145(a,1),424(a,1,2,2))].

given #490 (F,wt=15): 10956 f(f(x,f(x,y)),f(x,f(f(y,c_0),z))) = x.  [para(8147(a,1),7(a,1,1))].

given #491 (F,wt=15): 10962 f(f(x,f(y,z)),f(x,f(f(z,c_0),y))) = x.  [para(8147(a,2),8(a,1,2,2))].

given #492 (T,wt=15): 10977 f(f(f(x,y),z),f(z,f(f(y,c_0),x))) = z.  [para(8147(a,2),13(a,1,2,2))].

given #493 (A,wt=23): 140 f(f(x,y),f(f(f(x,y),f(z,y)),f(x,u))) = f(f(x,y),f(z,y)).  [para(21(a,1),10(a,1,2,2,1))].

given #494 (F,wt=15): 10979 f(f(x,f(x,y)),f(f(f(y,c_0),z),x)) = x.  [para(8147(a,1),14(a,1,1))].

given #495 (F,wt=15): 10989 f(f(f(f(x,c_0),y),z),f(z,f(y,x))) = z.  [para(8147(a,2),20(a,1,1,1))].

given #496 (F,wt=15): 10991 f(f(x,f(y,z)),f(f(f(z,c_0),y),x)) = x.  [para(8147(a,2),21(a,1,2,1))].

given #497 (F,wt=15): 10995 f(f(x,f(f(y,c_0),z)),f(f(z,y),x)) = x.  [para(8147(a,2),33(a,1,1,2))].

given #498 (T,wt=15): 11000 f(x,f(f(y,c_0),z)) = f(x,f(z,f(z,y))).  [para(8147(a,2),17(a,1,2,1,2)),demod(25(8))].

given #499 (A,wt=23): 141 f(f(x,y),f(f(f(z,y),f(x,y)),f(x,u))) = f(f(z,y),f(x,y)).  [para(21(a,1),15(a,1,2,2,1))].

given #500 (F,wt=15): 11004 f(f(f(x,y),z),f(f(f(y,c_0),x),z)) = z.  [para(8147(a,2),72(a,1,2,1))].

given #501 (F,wt=15): 11086 f(f(f(x,c_0),y),z) = f(f(y,f(y,x)),z).  [para(8147(a,2),92(a,1,2,2,1)),demod(126(6))].

given #502 (F,wt=15): 11274 f(f(x,c_0),f(y,c_0)) = f(f(x,x),f(c_0,y)).  [para(8147(a,1),8133(a,2)),demod(9401(9,R))].

given #503 (F,wt=15): 11282 f(x,f(y,f(z,c_0))) = f(x,f(y,f(y,z))).  [para(8151(a,1),17(a,1,2,1,2)),demod(17(7)),flip(a)].

given #504 (T,wt=15): 11294 f(f(x,f(y,c_0)),z) = f(f(x,f(x,y)),z).  [para(8151(a,1),92(a,1,2,2,1)),demod(92(5)),flip(a)].

given #505 (A,wt=17): 142 f(x,f(f(y,f(f(z,u),x)),f(x,u))) = f(x,u).  [para(21(a,1),20(a,1,2)),demod(4(6))].

given #506 (F,wt=15): 11312 f(f(f(x,f(y,c_0)),z),f(f(y,y),z)) = z.  [para(8151(a,2),266(a,1,1,1))].

given #507 (F,wt=15): 11345 f(f(x,c_0),f(c_0,y)) = f(f(x,x),f(y,c_0)).  [para(8151(a,1),8131(a,1)),demod(9401(6,R))].

given #508 (F,wt=15): 11350 f(f(x,c_0),f(c_0,y)) = f(f(y,c_0),f(x,x)).  [para(8151(a,1),8133(a,1)),demod(9401(6,R))].

given #509 (F,wt=15): 11393 f(f(c_0,f(x,y)),f(z,f(x,c_0))) = f(x,y).  [para(65(a,1),8148(a,1,2)),demod(8148(5)),flip(a)].

given #510 (T,wt=15): 11449 f(x,f(f(y,c_0),z)) = f(x,f(z,f(y,z))).  [para(8153(a,2),17(a,1,2,1,2)),demod(25(8))].

given #511 (A,wt=25): 143 f(f(x,f(y,z)),f(f(z,f(x,f(y,z))),f(x,u))) = f(z,f(x,f(y,z))).  [para(33(a,1),10(a,1,2,2,1)),demod(4(5),4(11))].

given #512 (F,wt=15): 11506 f(f(f(x,c_0),y),z) = f(f(y,f(x,y)),z).  [para(8153(a,2),92(a,1,2,2,1)),demod(126(6))].

given #513 (F,wt=15): 11640 f(x,f(y,f(z,c_0))) = f(x,f(y,f(z,y))).  [para(8155(a,1),17(a,1,2,1,2)),demod(17(7)),flip(a)].

given #514 (F,wt=15): 11668 f(f(x,f(y,c_0)),z) = f(f(x,f(y,x)),z).  [para(8155(a,1),92(a,1,2,2,1)),demod(92(5)),flip(a)].

given #515 (F,wt=15): 11734 f(f(f(c_0,x),y),f(c_0,f(x,z))) = f(x,z).  [para(17(a,1),8159(a,1,2)),demod(9271(14))].

given #516 (T,wt=15): 11735 f(f(f(x,c_0),y),f(c_0,f(x,z))) = f(x,z).  [para(19(a,1),8159(a,1,2)),demod(9273(14))].

given #517 (A,wt=19): 144 f(x,f(f(y,f(z,x)),f(x,f(u,z)))) = f(x,f(u,z)).  [para(33(a,1),20(a,1,2)),demod(4(6))].

given #518 (F,wt=15): 11739 f(f(f(c_0,x),y),f(c_0,f(z,x))) = f(z,x).  [para(25(a,1),8159(a,1,2)),demod(9279(14))].

given #519 (F,wt=15): 11753 f(f(x,f(y,c_0)),f(c_0,f(y,z))) = f(y,z).  [para(65(a,1),8159(a,1,2)),demod(11393(14))].

given #520 (F,wt=15): 11775 f(x,f(y,f(x,f(z,f(y,x))))) = f(x,x).  [para(356(a,1),66(a,1,2)),flip(a)].

given #521 (F,wt=15): 11788 f(x,f(y,f(z,c_0))) = f(x,f(y,f(z,z))).  [para(8163(a,1),17(a,1,2,1,2)),demod(17(7)),flip(a)].

given #522 (T,wt=15): 11796 f(f(x,f(y,c_0)),z) = f(f(x,f(y,y)),z).  [para(8163(a,1),92(a,1,2,2,1)),demod(92(5)),flip(a)].

given #523 (A,wt=19): 146 f(f(x,x),f(f(f(x,x),y),f(z,x))) = f(f(x,x),y).  [para(57(a,1),13(a,1,1))].

given #524 (F,wt=15): 11934 f(f(f(x,x),y),f(f(f(c_0,x),z),y)) = y.  [para(9262(a,1),240(a,1,1,1,2)),demod(4(7),8148(7),4(7))].

given #525 (F,wt=15): 11995 f(f(f(x,x),y),f(y,f(z,f(c_0,x)))) = y.  [para(9263(a,1),230(a,1,2,2,2)),demod(4(9),8148(9))].

given #526 (F,wt=15): 11996 f(f(x,f(y,f(c_0,z))),f(f(z,z),x)) = x.  [para(9263(a,1),233(a,1,1,2,2)),demod(4(7),8148(7))].

given #527 (F,wt=15): 11998 f(f(f(x,f(c_0,y)),z),f(f(y,y),z)) = z.  [para(9263(a,1),240(a,1,1,1,2)),demod(4(7),8148(7))].

given #528 (T,wt=15): 12003 f(f(x,f(y,f(c_0,z))),f(f(z,c_0),x)) = x.  [para(9263(a,1),261(a,1,2,1,2)),demod(8176(11,R),8148(7))].

given #529 (A,wt=19): 147 f(f(x,x),f(f(x,y),f(f(x,x),z))) = f(f(x,x),z).  [para(57(a,1),14(a,1,1))].

given #530 (F,wt=15): 12041 f(x,f(y,f(c_0,z))) = f(x,f(y,f(z,z))).  [para(9395(a,1),17(a,1,2,1,2)),demod(17(7)),flip(a)].

given #531 (F,wt=15): 12046 f(f(f(x,x),y),f(f(z,f(c_0,x)),y)) = y.  [para(9395(a,2),72(a,1,2,1))].

given #532 (F,wt=15): 12073 f(f(c_0,x),f(y,c_0)) = f(f(y,y),f(x,x)).  [para(9395(a,1),589(a,1)),demod(8155(9,R)),flip(a)].

given #533 (F,wt=15): 12078 f(f(c_0,x),f(c_0,y)) = f(f(y,y),f(x,x)).  [para(9395(a,1),689(a,1)),demod(9401(9,R)),flip(a)].

given #534 (T,wt=15): 12093 f(f(x,f(c_0,y)),z) = f(f(x,f(y,y)),z).  [para(9395(a,1),92(a,1,2,2,1)),demod(92(5)),flip(a)].

given #535 (A,wt=25): 148 f(f(f(x,x),y),f(f(x,x),f(f(f(f(x,x),y),f(x,z)),u))) = f(x,x).  [para(57(a,1),15(a,1,2,1)),demod(57(13))].

given #536 (F,wt=15): 12232 f(f(c_0,x),f(y,y)) = f(f(y,c_0),f(x,x)).  [para(9395(a,1),8133(a,1)),flip(a)].

given #537 (F,wt=15): 12233 f(f(c_0,x),f(c_0,y)) = f(f(y,c_0),f(x,x)).  [para(9395(a,1),8147(a,1)),demod(9401(10,R)),flip(a)].

given #538 (F,wt=15): 12252 f(f(f(x,y),z),f(z,f(y,f(c_0,x)))) = z.  [para(9398(a,2),13(a,1,2,2))].

given #539 (F,wt=15): 12270 f(f(x,f(y,f(c_0,z))),f(f(z,y),x)) = x.  [para(9398(a,2),33(a,1,1,2))].

given #540 (T,wt=15): 12272 f(x,f(y,f(c_0,z))) = f(x,f(y,f(z,y))).  [para(9398(a,1),17(a,1,2,1,2)),demod(17(7)),flip(a)].

given #541 (A,wt=19): 151 f(f(x,x),f(f(y,f(x,x)),f(z,x))) = f(y,f(x,x)).  [para(63(a,1),13(a,1,1))].

given #542 (F,wt=15): 12278 f(f(f(x,y),z),f(f(y,f(c_0,x)),z)) = z.  [para(9398(a,2),72(a,1,2,1))].

given #543 (F,wt=15): 12334 f(f(x,f(c_0,y)),z) = f(f(x,f(y,x)),z).  [para(9398(a,1),92(a,1,2,2,1)),demod(92(5)),flip(a)].

given #544 (F,wt=15): 12465 f(f(c_0,x),f(y,y)) = f(f(y,c_0),f(x,c_0)).  [para(9398(a,1),8133(a,1)),demod(8155(6,R)),flip(a)].

given #545 (F,wt=15): 12496 f(x,f(f(c_0,y),z)) = f(x,f(z,f(y,z))).  [para(9399(a,2),17(a,1,2,1,2)),demod(25(8))].

given #546 (T,wt=15): 12532 f(f(f(c_0,x),y),z) = f(f(y,f(x,y)),z).  [para(9399(a,2),92(a,1,2,2,1)),demod(126(6))].

given #547 (A,wt=19): 152 f(f(x,x),f(f(x,y),f(z,f(x,x)))) = f(z,f(x,x)).  [para(63(a,1),14(a,1,1))].

given #548 (F,wt=15): 12613 f(f(c_0,x),f(y,c_0)) = f(f(c_0,y),f(x,x)).  [para(9399(a,1),9395(a,1)),demod(8155(6,R))].

given #549 (F,wt=15): 12643 f(x,f(y,f(c_0,z))) = f(x,f(y,f(y,z))).  [para(9401(a,1),17(a,1,2,1,2)),demod(17(7)),flip(a)].

given #550 (F,wt=15): 12682 f(f(x,f(c_0,y)),z) = f(f(x,f(x,y)),z).  [para(9401(a,1),92(a,1,2,2,1)),demod(92(5)),flip(a)].

given #551 (F,wt=15): 12798 f(x,f(f(c_0,y),z)) = f(x,f(z,f(z,y))).  [para(9402(a,2),17(a,1,2,1,2)),demod(25(8))].

given #552 (T,wt=15): 12817 f(f(f(c_0,x),y),z) = f(f(y,f(y,x)),z).  [para(9402(a,2),92(a,1,2,2,1)),demod(126(6))].

given #553 (A,wt=25): 153 f(f(x,f(y,y)),f(f(y,y),f(f(f(x,f(y,y)),f(y,z)),u))) = f(y,y).  [para(63(a,1),15(a,1,2,1)),demod(63(13))].

given #554 (F,wt=15): 12873 f(f(c_0,f(x,y)),f(f(y,c_0),z)) = f(x,y).  [para(287(a,1),9403(a,1,2)),demod(4(5),8148(5)),flip(a)].

given #555 (F,wt=15): 12876 f(f(c_0,f(x,y)),f(z,f(c_0,x))) = f(x,y).  [para(359(a,1),9403(a,1,2)),demod(4(3),4(5),8148(5),4(4)),flip(a)].

given #556 (F,wt=15): 12877 f(f(c_0,f(x,y)),f(z,f(c_0,y))) = f(x,y).  [para(363(a,1),9403(a,1,2)),demod(4(3),4(5),8148(5),4(4)),flip(a)].

given #557 (F,wt=15): 12878 f(f(c_0,f(x,y)),f(z,f(y,c_0))) = f(x,y).  [para(365(a,1),9403(a,1,2)),demod(4(5),8148(5)),flip(a)].

given #558 (T,wt=15): 12895 f(x,f(f(c_0,y),z)) = f(x,f(f(y,y),z)).  [para(9409(a,1),17(a,1,2,1,2)),demod(12043(9)),flip(a)].

given #559 (A,wt=33): 155 f(f(x,f(y,z)),f(f(f(x,f(y,z)),f(f(x,y),u)),f(x,v))) = f(f(x,f(y,z)),f(f(x,y),u)).  [para(17(a,1),7(a,1,1))].

given #560 (F,wt=15): 12909 f(f(c_0,x),f(y,c_0)) = f(f(x,x),f(y,y)).  [para(9409(a,1),571(a,1)),demod(8155(9,R)),flip(a)].

given #561 (F,wt=15): 12910 f(f(c_0,x),f(y,y)) = f(f(x,x),f(y,c_0)).  [para(9409(a,2),571(a,1)),demod(8155(8,R))].

given #562 (F,wt=15): 12911 f(f(c_0,x),f(c_0,y)) = f(f(x,x),f(y,y)).  [para(9409(a,1),590(a,1)),demod(9401(9,R)),flip(a)].

given #563 (F,wt=15): 12912 f(f(c_0,x),f(y,y)) = f(f(x,x),f(c_0,y)).  [para(9409(a,2),590(a,1)),demod(9401(8,R))].

given #564 (T,wt=15): 12937 f(f(f(c_0,x),y),z) = f(f(f(x,x),y),z).  [para(9409(a,2),92(a,1,2,2,1)),demod(12531(7))].

given #565 (A,wt=23): 156 f(f(x,f(y,z)),f(x,f(u,f(f(x,f(y,z)),f(f(x,y),v))))) = x.  [para(17(a,1),8(a,1,1))].

given #566 (F,wt=15): 13086 f(f(c_0,x),f(c_0,y)) = f(f(x,x),f(y,c_0)).  [para(9409(a,1),8151(a,1)),demod(9401(10,R)),flip(a)].

given #567 (F,wt=15): 13087 f(f(c_0,x),f(y,c_0)) = f(f(x,x),f(c_0,y)).  [para(9409(a,2),8151(a,1)),demod(9401(9,R))].

given #568 (F,wt=15): 13103 f(x,f(f(y,y),z)) = f(x,f(z,f(c_0,y))).  [para(9410(a,1),17(a,1,2,1,2)),demod(12082(9)),flip(a)].

given #569 (F,wt=15): 13104 f(f(f(x,x),y),z) = f(f(y,f(c_0,x)),z).  [para(9410(a,1),92(a,1,2,2,1)),demod(12536(7)),flip(a)].

given #570 (T,wt=15): 13118 f(x,f(f(c_0,y),z)) = f(x,f(z,f(y,y))).  [para(9411(a,2),17(a,1,2,1,2)),demod(25(8))].

given #571 (A,wt=31): 158 f(f(x,y),f(f(f(x,y),f(f(x,f(z,y)),u)),f(x,v))) = f(f(x,y),f(f(x,f(z,y)),u)).  [para(8(a,1),17(a,1,2,2,1))].

given #572 (F,wt=15): 13119 f(f(f(c_0,x),y),z) = f(f(y,f(x,x)),z).  [para(9411(a,1),92(a,1,2,2,1)),demod(12945(7)),flip(a)].

given #573 (F,wt=15): 13123 f(f(c_0,x),f(y,y)) = f(f(c_0,y),f(x,x)).  [para(9411(a,1),9395(a,1))].

given #574 (F,wt=15): 13133 f(f(x,y),f(c_0,f(f(c_0,f(y,x)),z))) = c_0.  [para(10062(a,1),24(a,1,2,1)),demod(10062(13))].

given #575 (F,wt=15): 13135 f(f(x,y),f(c_0,f(z,f(c_0,f(y,x))))) = c_0.  [para(10062(a,1),29(a,1,2,1)),demod(10062(13))].

given #576 (T,wt=15): 13144 f(f(x,f(c_0,f(y,z))),f(x,f(z,y))) = x.  [para(10062(a,1),244(a,1,1,2,2)),demod(4(3),8176(11,R),8148(9))].

given #577 (A,wt=41): 159 f(f(f(x,y),f(z,u)),f(x,f(f(f(x,y),f(z,u)),f(f(f(x,y),z),v)))) = f(f(f(x,y),f(z,u)),f(f(f(x,y),z),v)).  [para(17(a,1),9(a,1,2)),demod(4(8),4(12))].

given #578 (F,wt=15): 13145 f(f(f(c_0,f(x,y)),z),f(f(y,x),z)) = z.  [para(10062(a,1),266(a,1,1,1,2)),demod(4(3),8176(11,R),8148(9))].

given #579 (F,wt=15): 13174 f(x,f(f(y,y),z)) = f(x,f(z,f(y,c_0))).  [para(10308(a,1),17(a,1,2,1,2)),demod(11794(9)),flip(a)].

given #580 (F,wt=15): 13175 f(f(f(x,x),y),z) = f(f(y,f(x,c_0)),z).  [para(10308(a,1),92(a,1,2,2,1)),demod(10485(7)),flip(a)].

given #581 (F,wt=15): 13180 f(f(c_0,f(f(x,x),y)),f(y,f(x,y))) = c_0.  [para(571(a,1),13124(a,1,2))].

given #582 (T,wt=15): 13181 f(f(c_0,f(x,f(y,y))),f(x,f(y,x))) = c_0.  [para(571(a,2),13124(a,1,1,2)),demod(4(6))].

given #583 (A,wt=17): 160 f(f(x,y),f(x,f(f(f(x,y),f(y,z)),u))) = x.  [para(9(a,1),17(a,1,2,1)),demod(9(11))].

given #584 (F,wt=15): 13184 f(f(c_0,f(f(x,x),y)),f(y,f(y,x))) = c_0.  [para(590(a,1),13124(a,1,2))].

given #585 (F,wt=15): 13185 f(f(c_0,f(x,f(y,y))),f(x,f(x,y))) = c_0.  [para(590(a,2),13124(a,1,1,2)),demod(4(6))].

given #586 (F,wt=15): 13187 f(f(c_0,f(f(x,x),y)),f(y,f(x,c_0))) = c_0.  [para(8131(a,1),13124(a,1,1,2))].

given #587 (F,wt=15): 13188 f(f(c_0,f(x,f(y,c_0))),f(f(y,y),x)) = c_0.  [para(8131(a,1),13124(a,1,2))].

given #588 (T,wt=15): 13189 f(f(c_0,f(f(x,c_0),y)),f(y,f(x,x))) = c_0.  [para(8131(a,2),13124(a,1,1,2))].

given #589 (A,wt=31): 161 f(f(x,y),f(f(f(x,y),f(f(f(y,z),x),u)),f(x,v))) = f(f(x,y),f(f(f(y,z),x),u)).  [para(9(a,1),17(a,1,2,2,1))].

given #590 (F,wt=15): 13190 f(f(c_0,f(x,f(y,y))),f(f(y,c_0),x)) = c_0.  [para(8131(a,2),13124(a,1,2))].

given #591 (F,wt=15): 13191 f(f(c_0,f(x,f(y,y))),f(x,f(y,c_0))) = c_0.  [para(8133(a,1),13124(a,1,1,2))].

given #592 (F,wt=15): 13192 f(f(c_0,f(x,f(y,c_0))),f(x,f(y,y))) = c_0.  [para(8133(a,1),13124(a,1,2))].

given #593 (F,wt=15): 13193 f(f(c_0,f(f(x,c_0),y)),f(f(x,x),y)) = c_0.  [para(8133(a,2),13124(a,1,1,2))].

given #594 (T,wt=15): 13194 f(f(c_0,f(f(x,x),y)),f(f(x,c_0),y)) = c_0.  [para(8133(a,2),13124(a,1,2))].

given #595 (A,wt=31): 162 f(x,f(f(x,f(y,z)),f(f(x,f(f(f(x,f(y,z)),f(f(x,y),u)),v)),w))) = f(x,f(y,z)).  [para(17(a,1),10(a,1,2,1)),demod(17(18))].

given #596 (F,wt=15): 13196 f(f(c_0,f(x,f(y,c_0))),f(x,f(x,y))) = c_0.  [para(8147(a,1),13124(a,1,2))].

given #597 (F,wt=15): 13197 f(f(c_0,f(f(x,c_0),y)),f(y,f(y,x))) = c_0.  [para(8147(a,2),13124(a,1,1,2)),demod(4(7))].

given #598 (F,wt=15): 13200 f(f(c_0,f(x,f(y,c_0))),f(x,f(y,x))) = c_0.  [para(8153(a,1),13124(a,1,2))].

given #599 (F,wt=15): 13201 f(f(c_0,f(f(x,c_0),y)),f(y,f(x,y))) = c_0.  [para(8153(a,2),13124(a,1,1,2)),demod(4(7))].

given #600 (T,wt=15): 13203 f(f(c_0,f(x,f(y,y))),f(f(c_0,y),x)) = c_0.  [para(9395(a,1),13124(a,1,1,2))].

given #601 (A,wt=39): 163 f(x,f(f(x,f(f(f(x,y),f(f(x,f(y,z)),u)),v)),f(f(x,y),w))) = f(x,f(f(f(x,y),f(f(x,f(y,z)),u)),v)).  [para(10(a,1),17(a,1,2,2,1))].

given #602 (F,wt=15): 13204 f(f(c_0,f(f(c_0,x),y)),f(y,f(x,x))) = c_0.  [para(9395(a,1),13124(a,1,2))].

given #603 (F,wt=15): 13205 f(f(c_0,f(x,f(c_0,y))),f(f(y,y),x)) = c_0.  [para(9395(a,2),13124(a,1,1,2))].

given #604 (F,wt=15): 13206 f(f(c_0,f(f(x,x),y)),f(y,f(c_0,x))) = c_0.  [para(9395(a,2),13124(a,1,2))].

given #605 (F,wt=15): 13208 f(f(c_0,f(f(c_0,x),y)),f(y,f(x,y))) = c_0.  [para(9398(a,1),13124(a,1,2))].

given #606 (T,wt=15): 13209 f(f(c_0,f(x,f(c_0,y))),f(x,f(y,x))) = c_0.  [para(9398(a,2),13124(a,1,1,2)),demod(4(7))].

given #607 (A,wt=27): 165 f(f(x,y),f(f(f(x,y),f(f(x,x),z)),f(x,u))) = f(f(x,y),f(f(x,x),z)).  [para(53(a,1),17(a,1,2,2,1))].

given #608 (F,wt=15): 13212 f(f(c_0,f(f(c_0,x),y)),f(y,f(y,x))) = c_0.  [para(9401(a,1),13124(a,1,2))].

given #609 (F,wt=15): 13213 f(f(c_0,f(x,f(c_0,y))),f(x,f(x,y))) = c_0.  [para(9401(a,2),13124(a,1,1,2)),demod(4(7))].

given #610 (F,wt=15): 13215 f(f(c_0,f(x,f(c_0,y))),f(x,f(y,y))) = c_0.  [para(9410(a,1),13124(a,1,1,2))].

given #611 (F,wt=15): 13216 f(f(c_0,f(x,f(y,y))),f(x,f(c_0,y))) = c_0.  [para(9410(a,1),13124(a,1,2))].

given #612 (T,wt=15): 13217 f(f(c_0,f(f(x,x),y)),f(f(c_0,x),y)) = c_0.  [para(9410(a,2),13124(a,1,1,2))].

given #613 (A,wt=19): 166 f(f(x,f(y,z)),f(x,f(f(y,f(x,f(y,z))),u))) = x.  [para(12(a,1),17(a,1,2,1)),demod(4(5),12(12))].

given #614 (F,wt=15): 13218 f(f(c_0,f(f(c_0,x),y)),f(f(x,x),y)) = c_0.  [para(9410(a,2),13124(a,1,2))].

given #615 (F,wt=15): 13223 f(f(c_0,f(x,y)),f(x,f(z,f(x,y)))) = c_0.  [para(5(a,1),8182(a,1,2,2)),demod(8176(3,R),4(6))].

given #616 (F,wt=15): 13224 f(f(c_0,f(x,y)),f(y,f(z,f(x,y)))) = c_0.  [para(7(a,1),8182(a,1,2,2)),demod(8176(3,R),4(6))].

given #617 (F,wt=15): 13228 f(x,f(f(y,f(x,x)),f(f(x,x),z))) = c_0.  [para(47(a,1),8182(a,1,1))].

given #618 (T,wt=15): 13229 f(f(c_0,f(x,y)),f(x,f(f(x,y),z))) = c_0.  [para(47(a,1),8182(a,1,2,1)),demod(8176(3,R))].

given #619 (A,wt=33): 167 f(f(x,f(y,z)),f(f(f(x,f(y,z)),f(f(y,x),u)),f(x,v))) = f(f(x,f(y,z)),f(f(y,x),u)).  [para(12(a,1),17(a,1,2,2,1))].

given #620 (F,wt=15): 13230 f(f(c_0,f(x,y)),f(y,f(f(x,y),z))) = c_0.  [para(54(a,1),8182(a,1,2,1)),demod(8176(3,R))].

given #621 (F,wt=15): 13238 f(x,f(f(y,f(x,y)),f(f(x,x),z))) = c_0.  [para(571(a,1),8182(a,1,2,1)),demod(8176(3,R),8152(3))].

given #622 (F,wt=15): 13240 f(x,f(f(y,f(x,x)),f(z,f(x,z)))) = c_0.  [para(589(a,1),8182(a,1,2,2)),demod(8176(3,R),8152(3))].

given #623 (F,wt=15): 13242 f(x,f(f(y,f(y,x)),f(f(x,x),z))) = c_0.  [para(590(a,1),8182(a,1,2,1)),demod(8176(3,R),8152(3))].

given #624 (T,wt=15): 13244 f(x,f(f(y,f(x,x)),f(z,f(z,x)))) = c_0.  [para(689(a,1),8182(a,1,2,2)),demod(8176(3,R),8152(3))].

given #625 (A,wt=27): 168 f(f(x,y),f(f(f(x,y),f(f(y,y),z)),f(y,u))) = f(f(x,y),f(f(y,y),z)).  [para(58(a,1),17(a,1,2,2,1))].

given #626 (F,wt=15): 13257 f(x,f(f(y,f(x,c_0)),f(f(x,c_0),z))) = c_0.  [para(8174(a,1),8182(a,1,1))].

given #627 (F,wt=15): 13258 f(x,f(f(y,f(c_0,x)),f(f(c_0,x),z))) = c_0.  [para(9193(a,1),8182(a,1,1))].

given #628 (F,wt=15): 13259 f(x,f(f(y,f(x,c_0)),f(f(x,x),z))) = c_0.  [para(8131(a,1),8182(a,1,2,2)),demod(8176(5,R),8154(4))].

given #629 (F,wt=15): 13260 f(x,f(f(y,f(x,x)),f(f(x,c_0),z))) = c_0.  [para(8131(a,2),8182(a,1,2,2)),demod(8176(3,R),8152(3))].

given #630 (T,wt=15): 13261 f(x,f(f(y,f(x,c_0)),f(z,f(x,x)))) = c_0.  [para(8133(a,1),8182(a,1,2,2)),demod(8176(5,R),8154(4))].

given #631 (A,wt=33): 169 f(f(x,f(y,z)),f(f(f(x,f(y,z)),f(f(x,y),u)),f(v,x))) = f(f(x,f(y,z)),f(f(x,y),u)).  [para(17(a,1),13(a,1,1))].

given #632 (F,wt=15): 13262 f(x,f(f(f(x,c_0),y),f(f(x,x),z))) = c_0.  [para(8133(a,2),8182(a,1,2,1)),demod(8176(3,R),8152(3))].

given #633 (F,wt=15): 13264 f(x,f(f(y,f(x,c_0)),f(z,f(z,x)))) = c_0.  [para(8147(a,1),8182(a,1,2,2)),demod(8176(5,R),8154(4))].

given #634 (F,wt=15): 13266 f(x,f(f(y,f(y,x)),f(f(x,c_0),z))) = c_0.  [para(8151(a,1),8182(a,1,2,1)),demod(8176(5,R),8154(4))].

given #635 (F,wt=15): 13268 f(x,f(f(y,f(x,c_0)),f(z,f(x,z)))) = c_0.  [para(8153(a,1),8182(a,1,2,2)),demod(8176(5,R),8154(4))].

given #636 (T,wt=15): 13270 f(x,f(f(y,f(x,y)),f(f(x,c_0),z))) = c_0.  [para(8155(a,1),8182(a,1,2,1)),demod(8176(5,R),8154(4))].

given #637 (A,wt=31): 170 f(f(x,y),f(f(f(x,y),f(f(y,f(z,x)),u)),f(y,v))) = f(f(x,y),f(f(y,f(z,x)),u)).  [para(13(a,1),17(a,1,2,2,1))].

given #638 (F,wt=15): 13274 f(x,f(f(y,f(x,x)),f(f(c_0,x),z))) = c_0.  [para(9395(a,1),8182(a,1,2,1)),demod(8176(5,R),8148(4))].

given #639 (F,wt=15): 13275 f(x,f(f(y,f(c_0,x)),f(f(x,x),z))) = c_0.  [para(9395(a,2),8182(a,1,2,1)),demod(8176(3,R),8152(3))].

given #640 (F,wt=15): 13276 f(x,f(f(y,f(x,y)),f(f(c_0,x),z))) = c_0.  [para(9398(a,1),8182(a,1,2,1)),demod(8176(5,R),8148(4))].

given #641 (F,wt=15): 13278 f(x,f(f(y,f(c_0,x)),f(z,f(x,z)))) = c_0.  [para(9399(a,1),8182(a,1,2,2)),demod(8176(5,R),8148(4))].

given #642 (T,wt=15): 13280 f(x,f(f(y,f(y,x)),f(f(c_0,x),z))) = c_0.  [para(9401(a,1),8182(a,1,2,1)),demod(8176(5,R),8148(4))].

given #643 (A,wt=33): 171 f(f(x,f(y,z)),f(f(x,u),f(f(x,f(y,z)),f(f(x,y),v)))) = f(f(x,f(y,z)),f(f(x,y),v)).  [para(17(a,1),14(a,1,1))].

given #644 (F,wt=15): 13282 f(x,f(f(y,f(c_0,x)),f(z,f(z,x)))) = c_0.  [para(9402(a,1),8182(a,1,2,2)),demod(8176(5,R),8148(4))].

given #645 (F,wt=15): 13285 f(x,f(f(y,f(x,x)),f(z,f(c_0,x)))) = c_0.  [para(9410(a,1),8182(a,1,2,2)),demod(8176(3,R),8152(3))].

given #646 (F,wt=15): 13286 f(x,f(f(f(x,x),y),f(f(c_0,x),z))) = c_0.  [para(9410(a,2),8182(a,1,2,1)),demod(8176(5,R),8148(4))].

given #647 (F,wt=15): 13287 f(x,f(f(y,f(c_0,x)),f(z,f(x,x)))) = c_0.  [para(9411(a,1),8182(a,1,2,2)),demod(8176(5,R),8148(4))].

given #648 (T,wt=15): 13288 f(x,f(f(f(c_0,x),y),f(f(x,x),z))) = c_0.  [para(9411(a,2),8182(a,1,2,1)),demod(8176(3,R),8152(3))].

given #649 (A,wt=17): 172 f(f(x,y),f(y,f(f(f(x,y),f(x,z)),u))) = y.  [para(14(a,1),17(a,1,2,1)),demod(14(11))].

given #650 (F,wt=15): 13289 f(x,f(f(y,f(x,x)),f(z,f(x,c_0)))) = c_0.  [para(10308(a,1),8182(a,1,2,2)),demod(8176(3,R),8152(3))].

given #651 (F,wt=15): 13290 f(x,f(f(f(x,x),y),f(f(x,c_0),z))) = c_0.  [para(10308(a,2),8182(a,1,2,1)),demod(8176(5,R),8154(4))].

given #652 (F,wt=15): 13295 f(f(x,f(c_0,y)),f(c_0,f(y,z))) = f(y,z).  [para(74(a,1),8159(a,1,2)),demod(12876(14))].

given #653 (F,wt=15): 13300 f(x,f(f(f(x,x),y),f(f(x,x),z))) = c_0.  [para(47(a,1),8183(a,1,1))].

given #654 (T,wt=15): 13306 f(x,f(f(f(x,x),y),f(z,f(x,z)))) = c_0.  [para(589(a,1),8183(a,1,2,2)),demod(8176(3,R),8152(3))].

given #655 (A,wt=31): 173 f(f(x,y),f(f(f(x,y),f(f(f(x,z),y),u)),f(y,v))) = f(f(x,y),f(f(f(x,z),y),u)).  [para(14(a,1),17(a,1,2,2,1))].

given #656 (F,wt=15): 13307 f(x,f(f(f(x,x),y),f(z,f(z,x)))) = c_0.  [para(689(a,1),8183(a,1,2,2)),demod(8176(3,R),8152(3))].

given #657 (F,wt=15): 13321 f(x,f(f(f(x,c_0),y),f(f(x,c_0),z))) = c_0.  [para(8174(a,1),8183(a,1,1))].

given #658 (F,wt=15): 13322 f(x,f(f(f(c_0,x),y),f(f(c_0,x),z))) = c_0.  [para(9193(a,1),8183(a,1,1))].

given #659 (F,wt=15): 13323 f(x,f(f(f(x,c_0),y),f(z,f(x,x)))) = c_0.  [para(8133(a,1),8183(a,1,2,2)),demod(8176(5,R),8154(4))].

given #660 (T,wt=15): 13324 f(x,f(f(f(x,c_0),y),f(z,f(z,x)))) = c_0.  [para(8147(a,1),8183(a,1,2,2)),demod(8176(5,R),8154(4))].

given #661 (A,wt=33): 175 f(f(f(x,y),z),f(f(f(f(x,y),z),f(f(z,x),u)),f(z,v))) = f(f(f(x,y),z),f(f(z,x),u)).  [para(18(a,1),17(a,1,2,2,1))].

given #662 (F,wt=15): 13325 f(x,f(f(f(x,c_0),y),f(z,f(x,z)))) = c_0.  [para(8153(a,1),8183(a,1,2,2)),demod(8176(5,R),8154(4))].

given #663 (F,wt=15): 13326 f(x,f(f(f(c_0,x),y),f(z,f(x,z)))) = c_0.  [para(9399(a,1),8183(a,1,2,2)),demod(8176(5,R),8148(4))].

given #664 (F,wt=15): 13327 f(x,f(f(f(c_0,x),y),f(z,f(z,x)))) = c_0.  [para(9402(a,1),8183(a,1,2,2)),demod(8176(5,R),8148(4))].

given #665 (F,wt=15): 13328 f(x,f(f(f(x,x),y),f(z,f(c_0,x)))) = c_0.  [para(9410(a,1),8183(a,1,2,2)),demod(8176(3,R),8152(3))].

given #666 (T,wt=15): 13329 f(x,f(f(f(c_0,x),y),f(z,f(x,x)))) = c_0.  [para(9411(a,1),8183(a,1,2,2)),demod(8176(5,R),8148(4))].

given #667 (A,wt=41): 176 f(f(f(x,f(y,z)),f(f(x,y),u)),f(f(x,f(y,z)),f(f(f(f(x,f(y,z)),f(f(x,y),u)),f(x,v)),w))) = f(x,f(y,z)).  [para(17(a,1),15(a,1,2,1)),demod(17(23))].

given #668 (F,wt=15): 13330 f(x,f(f(f(x,x),y),f(z,f(x,c_0)))) = c_0.  [para(10308(a,1),8183(a,1,2,2)),demod(8176(3,R),8152(3))].

given #669 (F,wt=15): 13331 f(f(x,y),f(x,f(f(c_0,f(y,z)),u))) = x.  [para(9267(a,1),8(a,1,2,2)),demod(4(7))].

given #670 (F,wt=15): 13333 f(f(f(f(c_0,f(x,y)),z),u),f(u,x)) = u.  [para(9267(a,1),13(a,1,2,2))].

given #671 (F,wt=15): 13334 f(f(x,y),f(y,f(f(c_0,f(x,z)),u))) = y.  [para(9267(a,1),20(a,1,1,1))].

given #672 (T,wt=15): 13336 f(f(x,f(f(c_0,f(y,z)),u)),f(y,x)) = x.  [para(9267(a,1),21(a,1,2,1))].

given #673 (A,wt=39): 177 f(x,f(f(x,f(f(f(y,x),f(f(x,f(y,z)),u)),v)),f(f(y,x),w))) = f(x,f(f(f(y,x),f(f(x,f(y,z)),u)),v)).  [para(15(a,1),17(a,1,2,2,1))].

given #674 (F,wt=15): 13337 f(f(x,y),f(f(f(c_0,f(y,z)),u),x)) = x.  [para(9267(a,1),33(a,1,1,2))].

given #675 (F,wt=15): 13338 f(f(x,y),f(f(f(c_0,f(x,z)),u),y)) = y.  [para(9267(a,1),72(a,1,2,1)),demod(4(7))].

given #676 (F,wt=15): 13339 f(x,f(f(c_0,f(f(x,c_0),y)),z)) = f(x,c_0).  [para(571(a,2),9267(a,1,1)),demod(8152(3))].

given #677 (F,wt=15): 13340 f(x,f(f(c_0,f(y,f(x,y))),z)) = f(x,x).  [para(589(a,1),9267(a,1,2,1,2)),demod(8152(3))].

given #678 (T,wt=15): 13341 f(x,f(f(c_0,f(y,f(y,x))),z)) = f(x,x).  [para(689(a,1),9267(a,1,2,1,2)),demod(8152(3))].

given #679 (A,wt=41): 178 f(f(f(x,y),f(z,u)),f(y,f(f(f(x,y),f(z,u)),f(f(f(x,y),z),v)))) = f(f(f(x,y),f(z,u)),f(f(f(x,y),z),v)).  [para(17(a,1),20(a,1,1)),demod(4(11))].

given #680 (F,wt=15): 13358 f(f(x,y),f(x,f(z,f(c_0,f(y,u))))) = x.  [para(9267(a,1),365(a,1,2,2)),demod(4(7))].

given #681 (F,wt=15): 13362 f(f(f(x,f(c_0,f(y,z))),u),f(u,y)) = u.  [para(9267(a,1),437(a,1,2,2))].

given #682 (F,wt=15): 13363 f(x,f(f(c_0,f(y,f(x,x))),z)) = f(x,c_0).  [para(8133(a,1),9267(a,1,2,1,2)),demod(8154(4))].

given #683 (F,wt=15): 13365 f(x,f(f(c_0,f(y,f(c_0,x))),z)) = f(x,x).  [para(9410(a,1),9267(a,1,2,1,2)),demod(8152(3))].

given #684 (T,wt=15): 13366 f(x,f(f(c_0,f(y,f(x,c_0))),z)) = f(x,x).  [para(10308(a,1),9267(a,1,2,1,2)),demod(8152(3))].

given #685 (A,wt=33): 179 f(f(f(x,y),z),f(f(f(f(x,y),z),f(f(z,y),u)),f(z,v))) = f(f(f(x,y),z),f(f(z,y),u)).  [para(20(a,1),17(a,1,2,2,1))].

given #686 (F,wt=15): 13368 f(f(x,y),f(x,f(f(c_0,f(z,y)),u))) = x.  [para(9275(a,1),8(a,1,2,2)),demod(4(7))].

given #687 (F,wt=15): 13370 f(f(f(f(c_0,f(x,y)),z),u),f(u,y)) = u.  [para(9275(a,1),13(a,1,2,2))].

given #688 (F,wt=15): 13372 f(f(x,y),f(y,f(f(c_0,f(z,x)),u))) = y.  [para(9275(a,1),20(a,1,1,1))].

given #689 (F,wt=15): 13374 f(f(x,f(f(c_0,f(y,z)),u)),f(z,x)) = x.  [para(9275(a,1),21(a,1,2,1))].

given #690 (T,wt=15): 13375 f(f(x,y),f(f(f(c_0,f(z,y)),u),x)) = x.  [para(9275(a,1),33(a,1,1,2))].

given #691 (A,wt=17): 180 f(f(x,y),f(x,f(f(f(x,y),f(z,y)),u))) = x.  [para(21(a,1),17(a,1,2,1)),demod(21(11))].

given #692 (F,wt=15): 13379 f(f(x,y),f(f(f(c_0,f(z,x)),u),y)) = y.  [para(9275(a,1),72(a,1,2,1)),demod(4(7))].

given #693 (F,wt=15): 13404 f(f(x,y),f(x,f(z,f(c_0,f(u,y))))) = x.  [para(9275(a,1),365(a,1,2,2)),demod(4(7))].

given #694 (F,wt=15): 13408 f(f(f(x,f(c_0,f(y,z))),u),f(u,z)) = u.  [para(9275(a,1),437(a,1,2,2))].

given #695 (F,wt=15): 13425 f(f(x,y),f(y,f(z,f(c_0,f(x,u))))) = y.  [para(9277(a,1),20(a,1,1,1))].

given #696 (T,wt=15): 13427 f(f(x,f(y,f(c_0,f(z,u)))),f(z,x)) = x.  [para(9277(a,1),21(a,1,2,1))].

given #697 (A,wt=31): 181 f(f(x,y),f(f(f(x,y),f(f(f(z,y),x),u)),f(x,v))) = f(f(x,y),f(f(f(z,y),x),u)).  [para(21(a,1),17(a,1,2,2,1))].

given #698 (F,wt=15): 13428 f(f(x,y),f(f(z,f(c_0,f(y,u))),x)) = x.  [para(9277(a,1),33(a,1,1,2))].

given #699 (F,wt=15): 13429 f(f(x,y),f(f(z,f(c_0,f(x,u))),y)) = y.  [para(9277(a,1),72(a,1,2,1)),demod(4(7))].

given #700 (F,wt=15): 13430 f(x,f(y,f(c_0,f(f(x,c_0),z)))) = f(x,c_0).  [para(571(a,2),9277(a,1,1)),demod(8152(3))].

given #701 (F,wt=15): 13431 f(x,f(y,f(c_0,f(z,f(x,z))))) = f(x,x).  [para(589(a,1),9277(a,1,2,2,2)),demod(8152(3))].

given #702 (T,wt=15): 13432 f(x,f(y,f(c_0,f(f(c_0,x),z)))) = f(c_0,x).  [para(590(a,2),9277(a,1,1)),demod(8152(3))].

given #703 (A,wt=19): 183 f(f(x,f(y,z)),f(x,f(f(z,f(x,f(y,z))),u))) = x.  [para(33(a,1),17(a,1,2,1)),demod(4(5),33(12))].

given #704 (F,wt=15): 13433 f(x,f(y,f(c_0,f(z,f(z,x))))) = f(x,x).  [para(689(a,1),9277(a,1,2,2,2)),demod(8152(3))].

given #705 (F,wt=15): 13454 f(x,f(y,f(c_0,f(z,f(x,x))))) = f(x,c_0).  [para(8133(a,1),9277(a,1,2,2,2)),demod(8154(4))].

given #706 (F,wt=15): 13456 f(x,f(y,f(c_0,f(z,f(c_0,x))))) = f(x,x).  [para(9410(a,1),9277(a,1,2,2,2)),demod(8152(3))].

given #707 (F,wt=15): 13457 f(x,f(y,f(c_0,f(z,f(x,c_0))))) = f(x,x).  [para(10308(a,1),9277(a,1,2,2,2)),demod(8152(3))].

given #708 (T,wt=15): 13462 f(f(f(x,c_0),y),f(c_0,f(z,x))) = f(z,x).  [para(75(a,1),8159(a,1,2)),demod(12873(14))].

given #709 (A,wt=33): 184 f(f(x,f(y,z)),f(f(f(x,f(y,z)),f(f(z,x),u)),f(x,v))) = f(f(x,f(y,z)),f(f(z,x),u)).  [para(33(a,1),17(a,1,2,2,1))].

given #710 (F,wt=15): 13468 f(f(x,y),f(y,f(z,f(c_0,f(u,x))))) = y.  [para(9282(a,1),20(a,1,1,1))].

given #711 (F,wt=15): 13470 f(f(x,f(y,f(c_0,f(z,u)))),f(u,x)) = x.  [para(9282(a,1),21(a,1,2,1))].

given #712 (F,wt=15): 13471 f(f(x,y),f(f(z,f(c_0,f(u,y))),x)) = x.  [para(9282(a,1),33(a,1,1,2))].

given #713 (F,wt=15): 13475 f(f(x,y),f(f(z,f(c_0,f(u,x))),y)) = y.  [para(9282(a,1),72(a,1,2,1)),demod(4(7))].

given #714 (T,wt=15): 13487 f(f(x,f(c_0,y)),f(c_0,f(z,y))) = f(z,y).  [para(9282(a,1),126(a,1,2)),demod(4(4),8159(4)),flip(a)].

given #715 (A,wt=41): 186 f(x,f(f(x,f(f(f(x,f(y,z)),f(f(x,y),u)),v)),f(f(x,f(y,z)),w))) = f(x,f(f(f(x,f(y,z)),f(f(x,y),u)),v)).  [para(17(a,1),17(a,1,2,2,1))].

given #716 (F,wt=15): 13577 f(f(c_0,f(x,y)),f(f(y,x),z)) = f(x,y).  [para(9305(a,1),9275(a,1,2,1,2)),demod(8148(8))].

given #717 (F,wt=15): 13578 f(f(c_0,f(x,y)),f(z,f(y,x))) = f(x,y).  [para(9305(a,1),9282(a,1,2,2,2)),demod(8148(8))].

given #718 (F,wt=15): 13579 f(f(c_0,f(x,y)),f(f(x,x),z)) = f(x,y).  [para(9434(a,1),34(a,1,2)),demod(4(4),8158(4)),flip(a)].

given #719 (F,wt=15): 13580 f(f(c_0,f(x,y)),f(z,f(x,x))) = f(x,y).  [para(9434(a,1),81(a,1,2)),demod(4(4),8158(4)),flip(a)].

given #720 (T,wt=15): 13584 f(f(x,f(y,c_0)),f(c_0,f(z,y))) = f(z,y).  [para(86(a,1),11740(a,1,1,2)),demod(4(6))].

given #721 (A,wt=17): 187 f(x,f(f(y,x),f(f(f(z,y),x),u))) = f(y,x).  [para(72(a,1),5(a,1,1))].

given #722 (F,wt=15): 13597 f(f(c_0,f(x,y)),f(z,f(z,x))) = f(x,y).  [para(5(a,1),12838(a,1,2,2,2))].

given #723 (F,wt=15): 13598 f(f(c_0,f(x,y)),f(z,f(z,y))) = f(x,y).  [para(7(a,1),12838(a,1,2,2,2))].

given #724 (F,wt=15): 13599 f(f(x,y),f(x,f(z,f(z,f(y,u))))) = x.  [para(12838(a,1),8(a,1,2,2)),demod(4(6))].

given #725 (F,wt=15): 13601 f(f(f(x,f(x,f(y,z))),u),f(u,y)) = u.  [para(12838(a,1),13(a,1,2,2))].

given #726 (T,wt=15): 13602 f(f(c_0,f(x,y)),f(z,f(x,z))) = f(x,y).  [para(14(a,1),12838(a,1,2,2)),demod(4(5))].

given #727 (A,wt=19): 188 f(x,f(f(y,f(x,z)),f(x,f(z,u)))) = f(x,f(z,u)).  [para(5(a,1),72(a,1,1))].

given #728 (F,wt=15): 13604 f(f(x,y),f(y,f(z,f(z,f(x,u))))) = y.  [para(12838(a,1),20(a,1,1,1))].

given #729 (F,wt=15): 13606 f(f(x,f(y,f(y,f(z,u)))),f(z,x)) = x.  [para(12838(a,1),21(a,1,2,1))].

given #730 (F,wt=15): 13607 f(f(x,y),f(f(z,f(z,f(y,u))),x)) = x.  [para(12838(a,1),33(a,1,1,2))].

given #731 (F,wt=15): 13608 f(f(x,y),f(f(z,f(z,f(x,u))),y)) = y.  [para(12838(a,1),72(a,1,2,1)),demod(4(6))].

given #732 (T,wt=15): 13609 f(f(c_0,f(x,y)),f(z,f(y,z))) = f(x,y).  [para(72(a,1),12838(a,1,2,2)),demod(4(5))].

given #733 (A,wt=19): 189 f(x,f(f(f(y,z),x),f(f(z,x),u))) = f(f(y,z),x).  [para(72(a,1),7(a,1,1))].

given #734 (F,wt=15): 13610 f(x,f(y,f(y,f(f(x,x),z)))) = f(x,x).  [para(571(a,1),12838(a,1,1)),demod(8154(4))].

given #735 (F,wt=15): 13611 f(x,f(y,f(y,f(f(x,c_0),z)))) = f(x,c_0).  [para(571(a,2),12838(a,1,1)),demod(8152(3))].

given #736 (F,wt=15): 13612 f(x,f(y,f(y,f(z,f(x,z))))) = f(x,x).  [para(589(a,1),12838(a,1,2,2,2)),demod(8152(3))].

given #737 (F,wt=15): 13613 f(x,f(y,f(y,f(f(c_0,x),z)))) = f(c_0,x).  [para(590(a,2),12838(a,1,1)),demod(8152(3))].

given #738 (T,wt=15): 13614 f(x,f(y,f(y,f(z,f(z,x))))) = f(x,x).  [para(689(a,1),12838(a,1,2,2,2)),demod(8152(3))].

given #739 (A,wt=17): 190 f(x,f(f(y,x),f(z,f(f(u,y),x)))) = f(y,x).  [para(72(a,1),8(a,1,1))].

given #740 (F,wt=15): 13634 f(x,f(y,f(y,f(z,f(x,x))))) = f(x,c_0).  [para(8133(a,1),12838(a,1,2,2,2)),demod(8154(4))].

given #741 (F,wt=15): 13638 f(x,f(y,f(y,f(z,f(c_0,x))))) = f(x,x).  [para(9410(a,1),12838(a,1,2,2,2)),demod(8152(3))].

given #742 (F,wt=15): 13639 f(x,f(y,f(y,f(z,f(x,c_0))))) = f(x,x).  [para(10308(a,1),12838(a,1,2,2,2)),demod(8152(3))].

given #743 (F,wt=15): 13645 f(x,f(f(y,f(x,x)),f(z,f(x,x)))) = c_0.  [para(47(a,1),13219(a,1,1))].

given #744 (T,wt=15): 13655 f(x,f(f(y,f(x,y)),f(z,f(x,x)))) = c_0.  [para(571(a,1),13219(a,1,2,1)),demod(8176(3,R),8152(3))].

given #745 (A,wt=19): 191 f(x,f(f(y,f(x,z)),f(x,f(u,z)))) = f(x,f(u,z)).  [para(8(a,1),72(a,1,1))].

given #746 (F,wt=15): 13660 f(x,f(f(y,f(y,x)),f(z,f(x,x)))) = c_0.  [para(590(a,1),13219(a,1,2,1)),demod(8176(3,R),8152(3))].

given #747 (F,wt=15): 13676 f(x,f(f(y,f(x,c_0)),f(z,f(x,c_0)))) = c_0.  [para(8174(a,1),13219(a,1,1))].

given #748 (F,wt=15): 13677 f(x,f(f(y,f(c_0,x)),f(z,f(c_0,x)))) = c_0.  [para(9193(a,1),13219(a,1,1))].

given #749 (F,wt=15): 13681 f(x,f(f(y,f(y,x)),f(z,f(x,c_0)))) = c_0.  [para(8151(a,1),13219(a,1,2,1)),demod(8176(5,R),8154(4))].

given #750 (T,wt=15): 13686 f(x,f(f(y,f(x,y)),f(z,f(x,c_0)))) = c_0.  [para(8155(a,1),13219(a,1,2,1)),demod(8176(5,R),8154(4))].

given #751 (A,wt=21): 192 f(f(x,y),f(y,f(f(f(x,y),f(f(f(z,x),y),u)),v))) = y.  [para(72(a,1),10(a,1,2,1)),demod(72(13))].

given #752 (F,wt=15): 13691 f(x,f(f(y,f(x,y)),f(z,f(c_0,x)))) = c_0.  [para(9398(a,1),13219(a,1,2,1)),demod(8176(5,R),8148(4))].

given #753 (F,wt=15): 13696 f(x,f(f(y,f(y,x)),f(z,f(c_0,x)))) = c_0.  [para(9401(a,1),13219(a,1,2,1)),demod(8176(5,R),8148(4))].

given #754 (F,wt=15): 13706 f(x,f(f(f(x,x),y),f(z,f(x,x)))) = c_0.  [para(47(a,1),13220(a,1,1))].

given #755 (F,wt=15): 13724 f(x,f(f(f(x,c_0),y),f(z,f(x,c_0)))) = c_0.  [para(8174(a,1),13220(a,1,1))].

given #756 (T,wt=15): 13725 f(x,f(f(f(c_0,x),y),f(z,f(c_0,x)))) = c_0.  [para(9193(a,1),13220(a,1,1))].

given #757 (A,wt=23): 193 f(f(x,y),f(f(f(x,y),f(z,x)),f(y,u))) = f(f(x,y),f(z,x)).  [para(72(a,1),10(a,1,2,2,1))].

given #758 (F,wt=15): 13790 f(f(c_0,f(x,y)),f(f(y,y),z)) = f(x,y).  [para(13371(a,1),34(a,1,2)),demod(4(4),8159(4)),flip(a)].

given #759 (F,wt=15): 13791 f(f(c_0,f(x,y)),f(z,f(y,y))) = f(x,y).  [para(13371(a,1),81(a,1,2)),demod(4(4),8159(4)),flip(a)].

given #760 (F,wt=15): 13795 f(f(x,y),f(x,f(z,f(z,f(u,y))))) = x.  [para(13420(a,1),8(a,1,2,2)),demod(4(6))].

given #761 (F,wt=15): 13797 f(f(f(x,f(x,f(y,z))),u),f(u,z)) = u.  [para(13420(a,1),13(a,1,2,2))].

given #762 (T,wt=15): 13799 f(f(x,y),f(y,f(z,f(z,f(u,x))))) = y.  [para(13420(a,1),20(a,1,1,1))].

given #763 (A,wt=31): 194 f(f(x,y),f(f(z,x),f(f(x,y),f(f(x,f(y,u)),v)))) = f(f(x,y),f(f(x,f(y,u)),v)).  [para(10(a,1),72(a,1,1))].

given #764 (F,wt=15): 13801 f(f(x,f(y,f(y,f(z,u)))),f(u,x)) = x.  [para(13420(a,1),21(a,1,2,1))].

given #765 (F,wt=15): 13802 f(f(x,y),f(f(z,f(z,f(u,y))),x)) = x.  [para(13420(a,1),33(a,1,1,2))].

given #766 (F,wt=15): 13804 f(f(x,y),f(f(z,f(z,f(u,x))),y)) = y.  [para(13420(a,1),72(a,1,2,1)),demod(4(6))].

given #767 (F,wt=15): 13860 f(f(x,x),f(c_0,f(y,f(y,f(x,z))))) = c_0.  [para(13582(a,1),590(a,2,2)),demod(8176(8,R),4(9),7909(9))].

given #768 (T,wt=15): 13882 f(f(x,f(y,z)),f(c_0,f(z,y))) = f(z,y).  [para(9305(a,1),13583(a,1,1,2,2)),demod(8148(5),4(5))].

given #769 (A,wt=19): 195 f(x,f(f(f(y,z),x),f(u,f(z,x)))) = f(f(y,z),x).  [para(72(a,1),13(a,1,1))].

given #770 (F,wt=15): 13885 f(f(x,f(x,y)),f(c_0,f(y,z))) = f(y,z).  [para(5(a,1),13588(a,1,1,2,2)),demod(4(5))].

given #771 (F,wt=15): 13886 f(f(x,f(x,y)),f(c_0,f(z,y))) = f(z,y).  [para(7(a,1),13588(a,1,1,2,2)),demod(4(5))].

given #772 (F,wt=15): 13887 f(f(x,f(y,x)),f(c_0,f(y,z))) = f(y,z).  [para(14(a,1),13588(a,1,1,2)),demod(4(2),4(5))].

given #773 (F,wt=15): 13888 f(f(x,f(y,x)),f(c_0,f(z,y))) = f(z,y).  [para(72(a,1),13588(a,1,1,2)),demod(4(2),4(5))].

given #774 (T,wt=15): 13923 f(f(x,x),f(c_0,f(y,f(y,f(z,x))))) = c_0.  [para(13793(a,1),590(a,2,2)),demod(8176(8,R),4(9),7909(9))].

given #775 (A,wt=19): 196 f(x,f(f(f(y,x),z),f(f(u,y),x))) = f(f(u,y),x).  [para(72(a,1),14(a,1,1))].

given #776 (F,wt=15): 13983 f(f(x,f(f(y,y),z)),f(c_0,f(y,x))) = c_0.  [para(591(a,1),8100(a,1,2,2,2)),demod(4(7),16(7))].

given #777 (F,wt=15): 14008 f(f(x,f(y,f(z,z))),f(c_0,f(z,x))) = c_0.  [para(596(a,1),8100(a,1,2,2,2)),demod(4(7),16(7))].

given #778 (F,wt=15): 14067 f(f(x,f(y,z)),f(x,f(f(y,y),u))) = x.  [para(55(a,1),598(a,1,1,2)),demod(4(8),147(8))].

given #779 (F,wt=15): 14068 f(f(x,f(y,z)),f(x,f(u,f(y,y)))) = x.  [para(59(a,1),598(a,1,1,2)),demod(4(8),152(8))].

given #780 (T,wt=15): 14069 f(f(x,f(y,z)),f(x,f(f(z,z),u))) = x.  [para(62(a,1),598(a,1,1,2)),demod(4(8),201(8))].

given #781 (A,wt=19): 197 f(x,f(f(y,f(z,x)),f(f(z,u),x))) = f(f(z,u),x).  [para(14(a,1),72(a,1,1))].

given #782 (F,wt=15): 14070 f(f(x,f(y,z)),f(x,f(u,f(z,z)))) = x.  [para(69(a,1),598(a,1,1,2)),demod(4(8),202(8))].

given #783 (F,wt=15): 14079 f(f(x,f(f(y,y),z)),f(x,f(y,u))) = x.  [para(64(a,1),598(a,1,1,2)),demod(8176(10,R),8152(10),4(8),60(8))].

given #784 (F,wt=15): 14103 f(f(c_0,f(x,y)),f(f(f(x,x),z),y)) = c_0.  [para(600(a,1),8100(a,1,2,2,2)),demod(4(7),16(7),4(7))].

given #785 (F,wt=15): 14122 f(f(f(x,y),z),f(z,f(f(x,x),u))) = z.  [para(55(a,1),615(a,1,1,1)),demod(4(8),147(8))].

given #786 (T,wt=15): 14123 f(f(f(x,y),z),f(z,f(u,f(x,x)))) = z.  [para(59(a,1),615(a,1,1,1)),demod(4(8),152(8))].

given #787 (A,wt=23): 198 f(f(f(x,y),z),f(z,f(f(f(f(x,y),z),f(f(y,z),u)),v))) = z.  [para(72(a,1),15(a,1,2,1)),demod(72(14))].

given #788 (F,wt=15): 14124 f(f(f(x,y),z),f(z,f(f(y,y),u))) = z.  [para(62(a,1),615(a,1,1,1)),demod(4(8),201(8))].

given #789 (F,wt=15): 14125 f(f(f(x,y),z),f(z,f(u,f(y,y)))) = z.  [para(69(a,1),615(a,1,1,1)),demod(4(8),202(8))].

given #790 (F,wt=15): 14130 f(f(f(f(x,x),y),z),f(z,f(x,u))) = z.  [para(64(a,1),615(a,1,1,1)),demod(8176(10,R),8152(10),4(8),60(8))].

given #791 (F,wt=15): 14149 f(f(c_0,f(x,y)),f(f(z,f(x,x)),y)) = c_0.  [para(629(a,1),8113(a,1,2,2,2)),demod(4(7),16(7),4(7))].

given #792 (T,wt=15): 14164 f(x,f(y,f(x,f(z,f(x,y))))) = f(x,x).  [para(356(a,1),88(a,1,2)),flip(a)].

given #793 (A,wt=23): 199 f(f(x,y),f(f(f(z,x),f(x,y)),f(y,u))) = f(f(z,x),f(x,y)).  [para(72(a,1),15(a,1,2,2,1))].

given #794 (F,wt=15): 14182 f(f(f(x,f(y,y)),z),f(z,f(y,u))) = z.  [para(59(a,1),630(a,1,2,2)),demod(4(6),152(6))].

given #795 (F,wt=15): 14183 f(f(f(f(x,x),y),z),f(z,f(u,x))) = z.  [para(62(a,1),630(a,1,2,2)),demod(4(6),201(6))].

given #796 (F,wt=15): 14184 f(f(f(x,f(y,y)),z),f(z,f(u,y))) = z.  [para(69(a,1),630(a,1,2,2)),demod(4(6),202(6))].

given #797 (F,wt=15): 14215 f(f(x,f(y,z)),f(f(f(y,y),u),x)) = x.  [para(55(a,1),636(a,1,1,2)),demod(4(8),147(8))].

given #798 (T,wt=15): 14216 f(f(x,f(y,z)),f(f(u,f(y,y)),x)) = x.  [para(59(a,1),636(a,1,1,2)),demod(4(8),152(8))].

given #799 (A,wt=31): 200 f(f(x,y),f(f(z,y),f(f(x,y),f(f(y,f(x,u)),v)))) = f(f(x,y),f(f(y,f(x,u)),v)).  [para(15(a,1),72(a,1,1))].

given #800 (F,wt=15): 14217 f(f(x,f(y,z)),f(f(f(z,z),u),x)) = x.  [para(62(a,1),636(a,1,1,2)),demod(4(8),201(8))].

given #801 (F,wt=15): 14218 f(f(x,f(y,z)),f(f(u,f(z,z)),x)) = x.  [para(69(a,1),636(a,1,1,2)),demod(4(8),202(8))].

given #802 (F,wt=15): 14219 f(f(x,f(f(y,y),z)),f(f(y,u),x)) = x.  [para(64(a,1),636(a,1,1,2)),demod(8176(10,R),8152(10),4(8),60(8))].

given #803 (F,wt=15): 14232 f(f(x,f(y,f(z,z))),f(f(z,u),x)) = x.  [para(59(a,1),640(a,1,2,1)),demod(4(6),152(6))].

given #804 (T,wt=15): 14233 f(f(x,f(f(y,y),z)),f(f(u,y),x)) = x.  [para(62(a,1),640(a,1,2,1)),demod(4(6),201(6))].

given #805 (A,wt=19): 201 f(f(x,x),f(f(y,x),f(f(x,x),z))) = f(f(x,x),z).  [para(57(a,1),72(a,1,1))].

given #806 (F,wt=15): 14234 f(f(x,f(y,f(z,z))),f(f(u,z),x)) = x.  [para(69(a,1),640(a,1,2,1)),demod(4(6),202(6))].

given #807 (F,wt=15): 14239 f(f(x,f(y,y)),z) = f(z,f(x,f(y,x))).  [para(642(a,1),4(a,1)),flip(a)].

given #808 (F,wt=15): 14240 f(f(x,f(y,x)),z) = f(z,f(x,f(y,y))).  [para(642(a,2),4(a,1)),flip(a)].

given #809 (F,wt=15): 14358 f(f(f(x,y),z),f(f(f(x,x),u),z)) = z.  [para(55(a,1),649(a,1,1,1)),demod(4(8),147(8))].

given #810 (T,wt=15): 14359 f(f(f(x,y),z),f(f(u,f(x,x)),z)) = z.  [para(59(a,1),649(a,1,1,1)),demod(4(8),152(8))].

given #811 (A,wt=19): 202 f(f(x,x),f(f(y,x),f(z,f(x,x)))) = f(z,f(x,x)).  [para(63(a,1),72(a,1,1))].

given #812 (F,wt=15): 14360 f(f(f(x,y),z),f(f(f(y,y),u),z)) = z.  [para(62(a,1),649(a,1,1,1)),demod(4(8),201(8))].

given #813 (F,wt=15): 14361 f(f(f(x,y),z),f(f(u,f(y,y)),z)) = z.  [para(69(a,1),649(a,1,1,1)),demod(4(8),202(8))].

given #814 (F,wt=15): 14366 f(f(f(f(x,x),y),z),f(f(x,u),z)) = z.  [para(64(a,1),649(a,1,1,1)),demod(8176(10,R),8152(10),4(8),60(8))].

given #815 (F,wt=15): 14371 f(f(f(x,x),y),z) = f(z,f(y,f(x,y))).  [para(727(a,1),4(a,1)),flip(a)].

given #816 (T,wt=15): 14372 f(f(x,f(y,x)),z) = f(z,f(f(y,y),x)).  [para(727(a,2),4(a,1)),flip(a)].

given #817 (A,wt=17): 203 f(f(x,y),f(y,f(f(f(x,y),f(z,x)),u))) = y.  [para(72(a,1),17(a,1,2,1)),demod(72(11))].

given #818 (F,wt=15): 14466 f(f(x,f(y,y)),z) = f(z,f(x,f(x,y))).  [para(851(a,1),4(a,1)),flip(a)].

given #819 (F,wt=15): 14467 f(f(x,f(x,y)),z) = f(z,f(x,f(y,y))).  [para(851(a,2),4(a,1)),flip(a)].

given #820 (F,wt=15): 14573 f(f(x,f(f(y,y),z)),f(x,f(u,y))) = x.  [para(59(a,1),899(a,1,1,2)),demod(8176(8,R),8152(8),4(8),70(8))].

given #821 (F,wt=15): 14574 f(f(x,f(y,f(z,z))),f(x,f(z,u))) = x.  [para(62(a,1),899(a,1,1,2)),demod(8176(8,R),8152(8),4(8),131(8))].

given #822 (T,wt=15): 14575 f(f(x,f(y,f(z,z))),f(x,f(u,z))) = x.  [para(69(a,1),899(a,1,1,2)),demod(8176(8,R),8152(8),4(8),133(8))].

given #823 (A,wt=31): 204 f(f(x,y),f(f(f(x,y),f(f(f(z,x),y),u)),f(y,v))) = f(f(x,y),f(f(f(z,x),y),u)).  [para(72(a,1),17(a,1,2,2,1))].

given #824 (F,wt=15): 14631 f(f(f(f(x,x),y),z),f(f(u,x),z)) = z.  [para(59(a,1),919(a,1,1,1)),demod(8176(8,R),8152(8),4(8),70(8))].

given #825 (F,wt=15): 14632 f(f(f(x,f(y,y)),z),f(f(y,u),z)) = z.  [para(62(a,1),919(a,1,1,1)),demod(8176(8,R),8152(8),4(8),131(8))].

given #826 (F,wt=15): 14633 f(f(f(x,f(y,y)),z),f(f(u,y),z)) = z.  [para(69(a,1),919(a,1,1,1)),demod(8176(8,R),8152(8),4(8),133(8))].

given #827 (F,wt=15): 14639 f(f(f(x,x),y),z) = f(z,f(y,f(y,x))).  [para(962(a,1),4(a,1)),flip(a)].

given #828 (T,wt=15): 14640 f(f(x,f(x,y)),z) = f(z,f(f(y,y),x)).  [para(962(a,2),4(a,1)),flip(a)].

given #829 (A,wt=33): 205 f(f(x,f(y,z)),f(f(u,x),f(f(x,f(y,z)),f(f(x,y),v)))) = f(f(x,f(y,z)),f(f(x,y),v)).  [para(17(a,1),72(a,1,1))].

given #830 (F,wt=15): 14881 f(x,f(f(c_0,f(y,z)),f(y,x))) = f(x,x).  [para(5(a,1),1460(a,1,2,2,1)),demod(8176(3,R))].

given #831 (F,wt=15): 14882 f(x,f(f(c_0,f(y,z)),f(z,x))) = f(x,x).  [para(7(a,1),1460(a,1,2,2,1)),demod(8176(3,R))].

given #832 (F,wt=15): 14884 f(x,f(y,f(f(f(y,y),z),x))) = f(x,x).  [para(47(a,1),1460(a,1,2,1))].

given #833 (F,wt=15): 14890 f(x,f(y,f(f(z,f(y,z)),x))) = f(x,x).  [para(589(a,1),1460(a,1,2,2,1)),demod(8176(3,R),8152(3))].

given #834 (T,wt=15): 14891 f(x,f(y,f(f(z,f(z,y)),x))) = f(x,x).  [para(689(a,1),1460(a,1,2,2,1)),demod(8176(3,R),8152(3))].

given #835 (A,wt=19): 206 f(x,f(f(y,f(z,x)),f(f(u,z),x))) = f(f(u,z),x).  [para(72(a,1),72(a,1,1))].

given #836 (F,wt=15): 14900 f(x,f(f(c_0,y),f(f(y,z),x))) = f(x,x).  [para(8176(a,2),1460(a,1,2,1))].

given #837 (F,wt=15): 14901 f(x,f(f(y,c_0),f(f(y,z),x))) = f(x,x).  [para(8185(a,2),1460(a,1,2,1))].

given #838 (F,wt=15): 14902 f(x,f(y,f(f(f(y,c_0),z),x))) = f(x,x).  [para(8174(a,1),1460(a,1,2,1))].

given #839 (F,wt=15): 14903 f(x,f(y,f(f(f(c_0,y),z),x))) = f(x,x).  [para(9193(a,1),1460(a,1,2,1))].

given #840 (T,wt=15): 14905 f(x,f(y,f(f(z,f(y,y)),x))) = f(x,x).  [para(8133(a,1),1460(a,1,2,2,1)),demod(8176(5,R),8154(4))].

given #841 (A,wt=19): 209 f(f(x,x),f(f(y,f(x,y)),f(x,z))) = f(y,f(x,y)).  [para(185(a,1),7(a,1,1))].

given #842 (F,wt=15): 14910 f(x,f(y,f(f(z,f(c_0,y)),x))) = f(x,x).  [para(9410(a,1),1460(a,1,2,2,1)),demod(8176(3,R),8152(3))].

given #843 (F,wt=15): 14913 f(x,f(y,f(f(z,f(y,c_0)),x))) = f(x,x).  [para(10308(a,1),1460(a,1,2,2,1)),demod(8176(3,R),8152(3))].

given #844 (F,wt=15): 15085 f(x,f(f(y,y),f(x,f(z,y)))) = f(x,x).  [para(4(a,1),1581(a,1,2,2))].

given #845 (F,wt=15): 15102 f(x,f(f(c_0,y),f(f(z,y),x))) = f(x,x).  [para(8176(a,2),1581(a,1,2,1))].

given #846 (T,wt=15): 15103 f(x,f(f(y,c_0),f(f(z,y),x))) = f(x,x).  [para(8185(a,2),1581(a,1,2,1))].

given #847 (A,wt=19): 220 f(f(x,x),f(f(y,f(x,y)),f(z,x))) = f(y,f(x,y)).  [para(185(a,1),13(a,1,1))].

given #848 (F,wt=15): 15214 f(x,f(y,f(f(y,x),z))) = f(x,f(y,y)).  [para(1871(a,1),34(a,1,2)),flip(a)].

given #849 (F,wt=15): 15251 f(x,f(f(c_0,f(y,z)),f(x,y))) = f(x,x).  [para(11740(a,1),1871(a,1,2,2,2))].

given #850 (F,wt=15): 15258 f(x,f(f(c_0,f(y,z)),f(x,z))) = f(x,x).  [para(13583(a,1),1871(a,1,2,2,2))].

given #851 (F,wt=15): 15318 f(f(x,f(y,f(z,y))),f(c_0,f(z,x))) = c_0.  [para(1984(a,1),8113(a,1,2,2,2)),demod(4(7),16(7))].

given #852 (T,wt=15): 15404 f(f(c_0,f(x,y)),f(f(z,f(x,z)),y)) = c_0.  [para(2168(a,1),8113(a,1,2,2,2)),demod(4(7),16(7),4(7))].

given #853 (A,wt=19): 223 f(f(x,x),f(f(x,y),f(z,f(x,z)))) = f(z,f(x,z)).  [para(185(a,1),14(a,1,1))].

given #854 (F,wt=15): 15549 f(f(x,f(y,f(y,z))),f(c_0,f(z,x))) = c_0.  [para(2728(a,1),8113(a,1,2,2,2)),demod(4(7),16(7))].

given #855 (F,wt=15): 15651 f(f(c_0,f(x,y)),f(f(z,f(z,x)),y)) = c_0.  [para(2816(a,1),8113(a,1,2,2,2)),demod(4(7),16(7),4(7))].

given #856 (F,wt=15): 15738 f(x,f(y,f(f(x,y),z))) = f(x,f(y,y)).  [para(5224(a,1),34(a,1,2)),flip(a)].

given #857 (F,wt=15): 15898 f(x,f(c_0,f(f(y,y),f(x,f(y,z))))) = c_0.  [para(7669(a,1),590(a,2,2)),demod(8176(9,R),7909(9))].

given #858 (T,wt=15): 15899 f(x,f(f(c_0,y),f(x,f(y,z)))) = f(x,x).  [para(8176(a,2),7669(a,1,2,1))].

given #859 (A,wt=25): 228 f(f(x,f(y,x)),f(f(y,y),f(f(f(x,f(y,x)),f(y,z)),u))) = f(y,y).  [para(185(a,1),15(a,1,2,1)),demod(185(13))].

given #860 (F,wt=15): 15900 f(x,f(f(y,c_0),f(x,f(y,z)))) = f(x,x).  [para(8185(a,2),7669(a,1,2,1))].

given #861 (F,wt=15): 15901 f(x,f(y,f(x,f(f(y,c_0),z)))) = f(x,x).  [para(8174(a,1),7669(a,1,2,1))].

given #862 (F,wt=15): 15902 f(x,f(y,f(x,f(f(c_0,y),z)))) = f(x,x).  [para(9193(a,1),7669(a,1,2,1))].

given #863 (F,wt=15): 15903 f(x,f(y,f(x,f(z,f(y,y))))) = f(x,x).  [para(8133(a,1),7669(a,1,2,2,2)),demod(8176(5,R),8154(4))].

given #864 (T,wt=15): 15905 f(x,f(y,f(x,f(z,f(c_0,y))))) = f(x,x).  [para(9410(a,1),7669(a,1,2,2,2)),demod(8176(3,R),8152(3))].

given #865 (A,wt=19): 239 f(f(x,x),f(f(y,x),f(z,f(x,z)))) = f(z,f(x,z)).  [para(185(a,1),72(a,1,1))].

given #866 (F,wt=15): 15906 f(x,f(f(x,f(y,z)),f(c_0,y))) = f(x,x).  [para(9410(a,1),7669(a,1,2))].

given #867 (F,wt=15): 15907 f(x,f(y,f(x,f(z,f(y,c_0))))) = f(x,x).  [para(10308(a,1),7669(a,1,2,2,2)),demod(8176(3,R),8152(3))].

given #868 (F,wt=15): 15925 f(x,f(y,f(f(x,x),z))) = f(x,f(y,y)).  [para(7675(a,1),34(a,1,2)),flip(a)].

given #869 (F,wt=15): 15939 f(x,f(y,f(c_0,f(f(x,y),z)))) = f(x,x).  [para(7675(a,1),91(a,1)),demod(8176(6,R),4(6)),flip(a)].

given #870 (T,wt=15): 15942 f(x,f(y,f(c_0,f(f(y,x),z)))) = f(x,x).  [para(7675(a,1),98(a,1)),demod(8176(6,R),4(6)),flip(a)].

given #871 (A,wt=19): 243 f(f(x,x),f(f(y,f(y,x)),f(x,z))) = f(y,f(y,x)).  [para(207(a,1),7(a,1,1))].

given #872 (F,wt=15): 15966 f(x,f(y,f(z,f(x,z)))) = f(x,f(y,y)).  [para(7695(a,1),34(a,1,2)),flip(a)].

given #873 (F,wt=15): 15981 f(x,f(f(y,c_0),f(x,f(z,y)))) = f(x,x).  [para(8131(a,1),7695(a,1,2,2,2,2)),demod(9398(5,R),8152(5))].

given #874 (F,wt=15): 15984 f(x,f(y,f(y,f(f(y,x),z)))) = f(x,x).  [para(7695(a,1),66(a,1)),demod(4(4)),flip(a)].

given #875 (F,wt=15): 15987 f(x,f(f(c_0,y),f(x,f(z,y)))) = f(x,x).  [para(9402(a,1),7695(a,1,2,2,2,2)),demod(11(5))].

given #876 (T,wt=15): 15989 f(x,f(f(x,f(y,z)),f(c_0,z))) = f(x,x).  [para(9410(a,1),7695(a,1,2)),demod(9398(3,R),8152(3))].

given #877 (A,wt=19): 249 f(f(x,x),f(f(y,f(y,x)),f(z,x))) = f(y,f(y,x)).  [para(207(a,1),13(a,1,1))].

given #878 (F,wt=15): 15991 f(x,f(f(y,z),f(x,f(z,y)))) = f(x,x).  [para(10062(a,1),7695(a,1,2,2,2,2)),demod(4(6),8148(6))].

given #879 (F,wt=15): 15992 f(x,f(f(x,f(y,z)),f(z,c_0))) = f(x,x).  [para(10308(a,1),7695(a,1,2)),demod(9398(3,R),8152(3))].

given #880 (F,wt=15): 15994 f(x,f(y,f(y,f(f(x,y),z)))) = f(x,x).  [para(7695(a,1),88(a,1)),demod(4(4)),flip(a)].

given #881 (F,wt=15): 16014 f(x,f(y,f(z,f(z,x)))) = f(x,f(y,y)).  [para(7697(a,1),34(a,1,2)),flip(a)].

given #882 (T,wt=15): 16049 f(x,f(c_0,f(f(x,f(y,z)),f(y,c_0)))) = c_0.  [para(8056(a,1),590(a,2,2)),demod(8176(11,R),7909(10))].

given #883 (A,wt=19): 251 f(f(x,x),f(f(x,y),f(z,f(z,x)))) = f(z,f(z,x)).  [para(207(a,1),14(a,1,1))].

given #884 (F,wt=15): 16217 f(f(f(x,y),z),f(z,f(f(y,x),u))) = z.  [para(8371(a,1),17(a,1,2,1)),demod(4(8),13577(8),8371(13))].

given #885 (F,wt=15): 16240 f(f(f(x,y),z),f(c_0,f(z,f(y,x)))) = c_0.  [para(8371(a,1),8113(a,1,2,2,2)),demod(4(8),9398(8,R),8148(8))].

given #886 (F,wt=15): 16253 f(f(f(x,y),z),f(z,f(u,f(y,x)))) = z.  [para(8371(a,1),65(a,1,2,1)),demod(13577(8),8371(13))].

given #887 (F,wt=15): 16256 f(f(f(x,y),z),f(f(f(y,x),u),z)) = z.  [para(8371(a,1),66(a,1,2,2)),demod(13577(8),8371(13))].

given #888 (T,wt=15): 16294 f(f(x,f(y,z)),f(x,f(f(z,y),u))) = x.  [para(8379(a,1),17(a,1,2,1)),demod(13882(8),8379(13))].

given #889 (A,wt=25): 255 f(f(x,f(x,y)),f(f(y,y),f(f(f(x,f(x,y)),f(y,z)),u))) = f(y,y).  [para(207(a,1),15(a,1,2,1)),demod(207(13))].

given #890 (F,wt=15): 16308 f(f(x,f(y,z)),f(c_0,f(x,f(z,y)))) = c_0.  [para(8379(a,1),8113(a,1,2,2,2)),demod(4(8),9398(8,R),8148(8))].

given #891 (F,wt=15): 16319 f(f(x,f(y,z)),f(x,f(u,f(z,y)))) = x.  [para(8379(a,1),65(a,1,2,1)),demod(13578(8),8379(13))].

given #892 (F,wt=15): 16322 f(f(x,f(y,z)),f(f(f(z,y),u),x)) = x.  [para(8379(a,1),66(a,1,2,2)),demod(13578(8),8379(13))].

given #893 (F,wt=15): 16549 f(f(x,y),f(z,c_0)) = f(f(z,z),f(y,x)).  [para(4(a,1),8580(a,1,1))].

given #894 (T,wt=15): 16602 f(f(x,f(y,f(z,x))),f(c_0,f(z,x))) = c_0.  [para(8592(a,1),133(a,1,2)),demod(8176(10,R),8148(8),8176(12,R),8148(10),8176(8,R),8(8),8176(8,R),8148(6)),flip(a)].

given #895 (A,wt=19): 265 f(f(x,x),f(f(y,x),f(z,f(z,x)))) = f(z,f(z,x)).  [para(207(a,1),72(a,1,1))].

given #896 (F,wt=15): 16645 f(x,f(f(y,z),f(f(z,y),x))) = f(x,x).  [para(9305(a,1),8592(a,1,2,2,2)),demod(8148(7),4(4))].

given #897 (F,wt=15): 16702 f(f(x,x),f(y,f(f(z,x),f(x,u)))) = x.  [para(8182(a,1),8593(a,1,2,1)),demod(8148(9),8176(9,R),8152(9))].

given #898 (F,wt=15): 16704 f(f(x,x),f(y,f(f(x,z),f(x,u)))) = x.  [para(8183(a,1),8593(a,1,2,1)),demod(8148(9),8176(9,R),8152(9))].

given #899 (F,wt=15): 16708 f(f(x,x),f(y,f(f(z,x),f(u,x)))) = x.  [para(13219(a,1),8593(a,1,2,1)),demod(8148(9),8176(9,R),8152(9))].

given #900 (T,wt=15): 16709 f(f(x,x),f(y,f(f(x,z),f(u,x)))) = x.  [para(13220(a,1),8593(a,1,2,1)),demod(8148(9),8176(9,R),8152(9))].

given #901 (A,wt=27): 272 f(f(f(x,y),z),f(x,f(f(f(x,y),z),f(z,u)))) = f(f(f(x,y),z),f(z,u)).  [para(24(a,1),9(a,1,2)),demod(4(5),4(8))].

given #902 (F,wt=15): 16711 f(f(x,c_0),f(y,f(f(z,x),f(x,u)))) = x.  [para(13247(a,1),8593(a,1,2,1)),demod(8148(10),8176(12,R),8154(11))].

given #903 (F,wt=15): 16712 f(f(c_0,x),f(y,f(f(z,x),f(x,u)))) = x.  [para(13256(a,1),8593(a,1,2,1)),demod(8148(10),8176(12,R),8148(11))].

given #904 (F,wt=15): 16713 f(f(x,c_0),f(y,f(f(x,z),f(x,u)))) = x.  [para(13308(a,1),8593(a,1,2,1)),demod(8148(10),8176(12,R),8154(11))].

given #905 (F,wt=15): 16714 f(f(c_0,x),f(y,f(f(x,z),f(x,u)))) = x.  [para(13320(a,1),8593(a,1,2,1)),demod(8148(10),8176(12,R),8148(11))].

given #906 (T,wt=15): 16716 f(f(x,c_0),f(y,f(f(z,x),f(u,x)))) = x.  [para(13666(a,1),8593(a,1,2,1)),demod(8148(10),8176(12,R),8154(11))].

given #907 (A,wt=23): 274 f(x,f(f(x,y),f(f(x,f(f(f(x,y),f(y,z)),u)),v))) = f(x,y).  [para(24(a,1),10(a,1,2,1)),demod(24(13))].

given #908 (F,wt=15): 16717 f(f(c_0,x),f(y,f(f(z,x),f(u,x)))) = x.  [para(13675(a,1),8593(a,1,2,1)),demod(8148(10),8176(12,R),8148(11))].

given #909 (F,wt=15): 16718 f(f(x,c_0),f(y,f(f(x,z),f(u,x)))) = x.  [para(13714(a,1),8593(a,1,2,1)),demod(8148(10),8176(12,R),8154(11))].

given #910 (F,wt=15): 16719 f(f(c_0,x),f(y,f(f(x,z),f(u,x)))) = x.  [para(13723(a,1),8593(a,1,2,1)),demod(8148(10),8176(12,R),8148(11))].

given #911 (F,wt=15): 16742 f(f(x,f(y,f(x,z))),f(c_0,f(x,z))) = c_0.  [para(8594(a,1),133(a,1,2)),demod(8176(10,R),8148(8),8176(12,R),8148(10),8176(8,R),8(8),8176(8,R),8148(6)),flip(a)].

given #912 (T,wt=15): 16776 f(f(x,x),f(f(f(y,x),f(x,z)),u)) = x.  [para(8182(a,1),8595(a,1,2,1)),demod(8148(9),8176(9,R),8152(9))].

given #913 (A,wt=23): 275 f(x,f(f(x,y),f(f(f(x,y),f(f(x,f(y,z)),u)),v))) = f(x,y).  [para(10(a,1),24(a,1,2,1)),demod(10(15))].

given #914 (F,wt=15): 16777 f(f(x,x),f(f(f(x,y),f(x,z)),u)) = x.  [para(8183(a,1),8595(a,1,2,1)),demod(8148(9),8176(9,R),8152(9))].

given #915 (F,wt=15): 16778 f(f(x,x),f(f(f(y,x),f(z,x)),u)) = x.  [para(13219(a,1),8595(a,1,2,1)),demod(8148(9),8176(9,R),8152(9))].

given #916 (F,wt=15): 16779 f(f(x,x),f(f(f(x,y),f(z,x)),u)) = x.  [para(13220(a,1),8595(a,1,2,1)),demod(8148(9),8176(9,R),8152(9))].

given #917 (F,wt=15): 16780 f(f(x,c_0),f(f(f(y,x),f(x,z)),u)) = x.  [para(13247(a,1),8595(a,1,2,1)),demod(8148(10),8176(12,R),8154(11))].

given #918 (T,wt=15): 16781 f(f(c_0,x),f(f(f(y,x),f(x,z)),u)) = x.  [para(13256(a,1),8595(a,1,2,1)),demod(8148(10),8176(12,R),8148(11))].

given #919 (A,wt=23): 277 f(f(x,y),f(f(f(x,y),f(y,z)),f(u,x))) = f(f(x,y),f(y,z)).  [para(24(a,1),13(a,1,1))].

given #920 (F,wt=15): 16782 f(f(x,c_0),f(f(f(x,y),f(x,z)),u)) = x.  [para(13308(a,1),8595(a,1,2,1)),demod(8148(10),8176(12,R),8154(11))].

given #921 (F,wt=15): 16783 f(f(c_0,x),f(f(f(x,y),f(x,z)),u)) = x.  [para(13320(a,1),8595(a,1,2,1)),demod(8148(10),8176(12,R),8148(11))].

given #922 (F,wt=15): 16784 f(f(x,c_0),f(f(f(y,x),f(z,x)),u)) = x.  [para(13666(a,1),8595(a,1,2,1)),demod(8148(10),8176(12,R),8154(11))].

given #923 (F,wt=15): 16785 f(f(c_0,x),f(f(f(y,x),f(z,x)),u)) = x.  [para(13675(a,1),8595(a,1,2,1)),demod(8148(10),8176(12,R),8148(11))].

given #924 (T,wt=15): 16786 f(f(x,c_0),f(f(f(x,y),f(z,x)),u)) = x.  [para(13714(a,1),8595(a,1,2,1)),demod(8148(10),8176(12,R),8154(11))].

given #925 (A,wt=23): 279 f(f(x,y),f(f(x,z),f(f(x,y),f(y,u)))) = f(f(x,y),f(y,u)).  [para(24(a,1),14(a,1,1))].

given #926 (F,wt=15): 16787 f(f(c_0,x),f(f(f(x,y),f(z,x)),u)) = x.  [para(13723(a,1),8595(a,1,2,1)),demod(8148(10),8176(12,R),8148(11))].

given #927 (F,wt=15): 16848 f(f(x,f(f(c_0,y),z)),f(x,f(y,u))) = x.  [para(9271(a,1),8(a,1,2,2))].

given #928 (F,wt=15): 16849 f(f(f(f(c_0,x),y),z),f(z,f(x,u))) = z.  [para(9271(a,1),13(a,1,2,2))].

given #929 (F,wt=15): 16850 f(f(f(x,y),z),f(z,f(f(c_0,x),u))) = z.  [para(9271(a,1),20(a,1,1,1))].

given #930 (T,wt=15): 16851 f(f(x,f(f(c_0,y),z)),f(f(y,u),x)) = x.  [para(9271(a,1),21(a,1,2,1))].

given #931 (A,wt=29): 282 f(f(f(x,y),f(y,z)),f(f(x,y),f(f(f(f(x,y),f(y,z)),f(x,u)),v))) = f(x,y).  [para(24(a,1),15(a,1,2,1)),demod(24(16))].

given #932 (F,wt=15): 16852 f(f(x,f(y,z)),f(f(f(c_0,y),u),x)) = x.  [para(9271(a,1),33(a,1,1,2))].

given #933 (F,wt=15): 16853 f(f(f(f(c_0,x),y),z),f(f(x,u),z)) = z.  [para(9271(a,1),72(a,1,2,1))].

given #934 (F,wt=15): 16869 f(f(x,f(y,f(c_0,z))),f(x,f(z,u))) = x.  [para(9271(a,1),365(a,1,2,2))].

given #935 (F,wt=15): 16873 f(f(f(x,f(c_0,y)),z),f(z,f(y,u))) = z.  [para(9271(a,1),437(a,1,2,2))].

given #936 (T,wt=15): 16883 f(f(x,f(y,z)),f(x,f(f(c_0,y),u))) = x.  [para(9271(a,1),5185(a,1,1,2))].

given #937 (A,wt=23): 283 f(x,f(f(y,x),f(f(f(y,x),f(f(x,f(y,z)),u)),v))) = f(y,x).  [para(15(a,1),24(a,1,2,1)),demod(15(15))].

given #938 (F,wt=15): 16886 f(f(x,f(y,z)),f(x,f(u,f(c_0,y)))) = x.  [para(9271(a,1),7092(a,1,1,2))].

given #939 (F,wt=15): 16889 f(f(x,f(y,z)),f(f(u,f(c_0,y)),x)) = x.  [para(9271(a,1),7156(a,1,1,2))].

given #940 (F,wt=15): 16897 f(f(x,f(f(y,c_0),z)),f(x,f(y,u))) = x.  [para(9273(a,1),8(a,1,2,2))].

given #941 (F,wt=15): 16898 f(f(f(f(x,c_0),y),z),f(z,f(x,u))) = z.  [para(9273(a,1),13(a,1,2,2))].

given #942 (T,wt=15): 16899 f(f(f(x,y),z),f(z,f(f(x,c_0),u))) = z.  [para(9273(a,1),20(a,1,1,1))].

given #943 (A,wt=27): 284 f(f(f(x,y),z),f(y,f(f(f(x,y),z),f(z,u)))) = f(f(f(x,y),z),f(z,u)).  [para(24(a,1),20(a,1,1)),demod(4(7))].

given #944 (F,wt=15): 16900 f(f(x,f(f(y,c_0),z)),f(f(y,u),x)) = x.  [para(9273(a,1),21(a,1,2,1))].

given #945 (F,wt=15): 16901 f(f(x,f(y,z)),f(f(f(y,c_0),u),x)) = x.  [para(9273(a,1),33(a,1,1,2))].

given #946 (F,wt=15): 16902 f(f(f(f(x,c_0),y),z),f(f(x,u),z)) = z.  [para(9273(a,1),72(a,1,2,1))].

given #947 (F,wt=15): 16917 f(f(x,f(y,f(z,c_0))),f(x,f(z,u))) = x.  [para(9273(a,1),365(a,1,2,2))].

given #948 (T,wt=15): 16921 f(f(f(x,f(y,c_0)),z),f(z,f(y,u))) = z.  [para(9273(a,1),437(a,1,2,2))].

given #949 (A,wt=31): 288 f(x,f(f(x,f(f(f(x,y),f(y,z)),u)),f(f(x,y),v))) = f(x,f(f(f(x,y),f(y,z)),u)).  [para(24(a,1),17(a,1,2,2,1))].

given #950 (F,wt=15): 16927 f(f(x,f(y,z)),f(x,f(f(y,c_0),u))) = x.  [para(9273(a,1),5185(a,1,1,2))].

given #951 (F,wt=15): 16930 f(f(x,f(y,z)),f(x,f(u,f(y,c_0)))) = x.  [para(9273(a,1),7092(a,1,1,2))].

given #952 (F,wt=15): 16933 f(f(x,f(y,z)),f(f(u,f(y,c_0)),x)) = x.  [para(9273(a,1),7156(a,1,1,2))].

given #953 (F,wt=15): 16953 f(x,f(c_0,f(y,f(y,f(f(c_0,x),z))))) = c_0.  [para(9402(a,1),9278(a,1,2,2))].

given #954 (T,wt=15): 16969 f(f(x,f(f(c_0,y),z)),f(x,f(u,y))) = x.  [para(9279(a,1),8(a,1,2,2))].

given #955 (A,wt=27): 289 f(x,f(f(x,f(y,z)),f(f(f(x,f(y,z)),f(f(x,y),u)),v))) = f(x,f(y,z)).  [para(17(a,1),24(a,1,2,1)),demod(17(16))].

given #956 (F,wt=15): 16970 f(f(f(f(c_0,x),y),z),f(z,f(u,x))) = z.  [para(9279(a,1),13(a,1,2,2))].

given #957 (F,wt=15): 16971 f(f(f(x,y),z),f(z,f(f(c_0,y),u))) = z.  [para(9279(a,1),20(a,1,1,1))].

given #958 (F,wt=15): 16972 f(f(x,f(f(c_0,y),z)),f(f(u,y),x)) = x.  [para(9279(a,1),21(a,1,2,1))].

given #959 (F,wt=15): 16973 f(f(x,f(y,z)),f(f(f(c_0,z),u),x)) = x.  [para(9279(a,1),33(a,1,1,2))].

given #960 (T,wt=15): 16974 f(f(f(f(c_0,x),y),z),f(f(u,x),z)) = z.  [para(9279(a,1),72(a,1,2,1))].

given #961 (A,wt=23): 290 f(f(x,y),f(f(z,x),f(f(x,y),f(y,u)))) = f(f(x,y),f(y,u)).  [para(24(a,1),72(a,1,1))].

given #962 (F,wt=15): 16990 f(f(x,f(y,f(c_0,z))),f(x,f(u,z))) = x.  [para(9279(a,1),365(a,1,2,2))].

given #963 (F,wt=15): 16994 f(f(f(x,f(c_0,y)),z),f(z,f(u,y))) = z.  [para(9279(a,1),437(a,1,2,2))].

given #964 (F,wt=15): 17004 f(f(x,f(y,z)),f(x,f(f(c_0,z),u))) = x.  [para(9279(a,1),5185(a,1,1,2))].

given #965 (F,wt=15): 17007 f(f(x,f(y,z)),f(x,f(u,f(c_0,z)))) = x.  [para(9279(a,1),7092(a,1,1,2))].

given #966 (T,wt=15): 17010 f(f(x,f(y,z)),f(f(u,f(c_0,z)),x)) = x.  [para(9279(a,1),7156(a,1,1,2))].

given #967 (A,wt=19): 294 f(x,f(f(x,y),f(f(f(x,y),f(y,z)),u))) = f(x,y).  [para(24(a,1),24(a,1,2,1)),demod(24(11))].

given #968 (F,wt=15): 17030 f(x,f(c_0,f(y,f(y,f(z,f(c_0,x)))))) = c_0.  [para(9402(a,1),9283(a,1,2,2))].

given #969 (F,wt=15): 17120 f(x,f(c_0,f(y,f(y,f(f(x,x),z))))) = c_0.  [para(9402(a,1),9292(a,1,2,2))].

given #970 (F,wt=15): 17143 f(x,f(c_0,f(y,f(y,f(z,f(x,x)))))) = c_0.  [para(9402(a,1),9295(a,1,2,2))].

given #971 (F,wt=15): 17218 f(x,f(c_0,f(y,f(y,f(f(x,c_0),z))))) = c_0.  [para(9402(a,1),9385(a,1,2,2))].

given #972 (T,wt=15): 17244 f(x,f(c_0,f(y,f(y,f(z,f(x,c_0)))))) = c_0.  [para(9402(a,1),9387(a,1,2,2))].

given #973 (A,wt=27): 297 f(f(x,f(y,z)),f(y,f(f(x,f(y,z)),f(x,u)))) = f(f(x,f(y,z)),f(x,u)).  [para(27(a,1),9(a,1,2)),demod(4(5),4(8))].

given #974 (F,wt=15): 17498 f(f(x,y),f(c_0,z)) = f(f(z,z),f(y,x)).  [para(4(a,1),9758(a,1,1))].

given #975 (F,wt=15): 17536 f(f(c_0,f(x,f(x,y))),f(x,f(y,z))) = c_0.  [para(10020(a,1),4(a,1)),flip(a)].

given #976 (F,wt=15): 17541 f(f(c_0,f(x,y)),f(x,f(f(y,x),z))) = c_0.  [para(571(a,2),10020(a,1,2,2,2)),demod(829(7),4(7))].

given #977 (F,wt=15): 17544 f(f(x,f(f(y,y),z)),f(c_0,f(x,y))) = c_0.  [para(590(a,1),10020(a,1,2,2,2)),demod(11(7))].

given #978 (T,wt=15): 17545 f(f(x,f(y,z)),f(c_0,f(x,f(y,y)))) = c_0.  [para(590(a,2),10020(a,1,2,2))].

given #979 (A,wt=23): 298 f(x,f(f(y,x),f(f(x,f(f(f(y,x),f(y,z)),u)),v))) = f(y,x).  [para(27(a,1),10(a,1,2,1)),demod(27(13))].

given #980 (F,wt=15): 17547 f(f(x,f(y,z)),f(c_0,f(f(y,y),x))) = c_0.  [para(689(a,2),10020(a,1,2,2))].

given #981 (F,wt=15): 17549 f(x,f(c_0,f(y,f(f(z,f(y,z)),x)))) = c_0.  [para(240(a,1),10020(a,1,1)),demod(4(9),571(10,R),8176(7,R),8152(7),4(5))].

given #982 (F,wt=15): 17551 f(x,f(c_0,f(y,f(f(z,f(z,y)),x)))) = c_0.  [para(266(a,1),10020(a,1,1)),demod(4(9),571(10,R),8176(7,R),8152(7),4(5))].

given #983 (F,wt=15): 17555 f(f(x,f(f(y,c_0),z)),f(c_0,f(x,y))) = c_0.  [para(8131(a,2),10020(a,1,1,2)),demod(829(8))].

given #984 (T,wt=15): 17556 f(f(x,f(y,f(z,z))),f(c_0,f(x,z))) = c_0.  [para(8133(a,1),10020(a,1,1,2)),demod(8145(8))].

given #985 (A,wt=23): 299 f(f(f(x,y),f(f(x,f(y,z)),u)),f(f(x,y),f(x,v))) = f(x,y).  [para(10(a,1),27(a,1,2,1)),demod(10(15))].

given #986 (F,wt=15): 17560 f(f(x,f(y,z)),f(c_0,f(f(y,c_0),x))) = c_0.  [para(8147(a,2),10020(a,1,2,2))].

given #987 (F,wt=15): 17561 f(f(x,f(y,z)),f(c_0,f(x,f(y,c_0)))) = c_0.  [para(8151(a,2),10020(a,1,2,2))].

given #988 (F,wt=15): 17563 f(f(x,f(f(y,c_0),z)),f(c_0,f(y,x))) = c_0.  [para(8155(a,1),10020(a,1,2,2,2)),demod(16(8))].

given #989 (F,wt=15): 17566 f(f(x,f(f(c_0,y),z)),f(c_0,f(x,y))) = c_0.  [para(9395(a,1),10020(a,1,2,2,2)),demod(829(8))].

given #990 (T,wt=15): 17567 f(f(x,f(f(c_0,y),z)),f(c_0,f(y,x))) = c_0.  [para(9398(a,1),10020(a,1,2,2,2)),demod(16(8))].

given #991 (A,wt=23): 300 f(f(x,y),f(f(f(x,y),f(x,z)),f(u,y))) = f(f(x,y),f(x,z)).  [para(27(a,1),13(a,1,1))].

given #992 (F,wt=15): 17569 f(f(x,f(y,z)),f(c_0,f(x,f(c_0,y)))) = c_0.  [para(9401(a,2),10020(a,1,2,2))].

given #993 (F,wt=15): 17571 f(f(x,f(y,z)),f(c_0,f(f(c_0,y),x))) = c_0.  [para(9402(a,2),10020(a,1,2,2))].

given #994 (F,wt=15): 17574 f(f(x,f(y,f(c_0,z))),f(c_0,f(x,z))) = c_0.  [para(9410(a,1),10020(a,1,1,2)),demod(829(8))].

given #995 (F,wt=15): 17576 f(f(x,f(y,f(z,c_0))),f(c_0,f(x,z))) = c_0.  [para(10308(a,1),10020(a,1,1,2)),demod(829(8))].

given #996 (T,wt=15): 17599 f(x,f(c_0,f(f(y,z),f(f(z,y),x)))) = c_0.  [para(8371(a,1),10020(a,1,1)),demod(4(9),13577(9),4(5))].

given #997 (A,wt=23): 301 f(f(x,y),f(f(y,z),f(f(x,y),f(x,u)))) = f(f(x,y),f(x,u)).  [para(27(a,1),14(a,1,1))].

given #998 (F,wt=15): 17612 f(f(c_0,f(x,f(y,x))),f(x,f(y,z))) = c_0.  [para(10022(a,1),4(a,1)),flip(a)].

given #999 (F,wt=15): 17640 f(f(c_0,f(x,f(x,y))),f(x,f(z,y))) = c_0.  [para(10024(a,1),4(a,1)),flip(a)].

given #1000 (F,wt=15): 17647 f(f(x,f(y,f(z,x))),f(c_0,f(x,z))) = c_0.  [para(571(a,2),10024(a,1,2,2,2)),demod(829(7))].

given #1001 (F,wt=15): 17652 f(f(x,f(y,z)),f(c_0,f(x,f(z,z)))) = c_0.  [para(590(a,2),10024(a,1,2,2))].

given #1002 (T,wt=15): 17654 f(f(x,f(y,z)),f(c_0,f(f(z,z),x))) = c_0.  [para(689(a,2),10024(a,1,2,2))].

given #1003 (A,wt=29): 303 f(f(f(x,y),f(x,z)),f(f(x,y),f(f(f(f(x,y),f(x,z)),f(y,u)),v))) = f(x,y).  [para(27(a,1),15(a,1,2,1)),demod(27(16))].

given #1004 (F,wt=15): 17669 f(f(x,f(y,z)),f(c_0,f(f(z,c_0),x))) = c_0.  [para(8147(a,2),10024(a,1,2,2))].

given #1005 (F,wt=15): 17671 f(f(x,f(y,z)),f(c_0,f(x,f(z,c_0)))) = c_0.  [para(8151(a,2),10024(a,1,2,2))].

given #1006 (F,wt=15): 17674 f(f(x,f(y,f(z,c_0))),f(c_0,f(z,x))) = c_0.  [para(8155(a,1),10024(a,1,2,2,2)),demod(16(8))].

given #1007 (F,wt=15): 17678 f(f(x,f(y,f(c_0,z))),f(c_0,f(z,x))) = c_0.  [para(9398(a,1),10024(a,1,2,2,2)),demod(16(8))].

given #1008 (T,wt=15): 17684 f(f(x,f(y,z)),f(c_0,f(x,f(c_0,z)))) = c_0.  [para(9401(a,2),10024(a,1,2,2))].

given #1009 (A,wt=23): 304 f(f(f(x,y),f(f(y,f(x,z)),u)),f(f(x,y),f(y,v))) = f(x,y).  [para(15(a,1),27(a,1,2,1)),demod(15(15))].

given #1010 (F,wt=15): 17687 f(f(x,f(y,z)),f(c_0,f(f(c_0,z),x))) = c_0.  [para(9402(a,2),10024(a,1,2,2))].

given #1011 (F,wt=15): 17707 f(f(c_0,f(x,f(x,y))),f(f(y,z),x)) = c_0.  [para(10026(a,1),4(a,1)),flip(a)].

given #1012 (F,wt=15): 17708 f(f(f(f(x,x),y),z),f(c_0,f(z,x))) = c_0.  [para(590(a,1),10026(a,1,2,2,2)),demod(11(7))].

given #1013 (F,wt=15): 17709 f(f(f(x,y),z),f(c_0,f(z,f(x,x)))) = c_0.  [para(590(a,2),10026(a,1,2,2))].

given #1014 (T,wt=15): 17710 f(f(f(x,y),z),f(c_0,f(f(x,x),z))) = c_0.  [para(689(a,2),10026(a,1,2,2))].

given #1015 (A,wt=27): 305 f(f(x,f(y,z)),f(z,f(f(x,f(y,z)),f(x,u)))) = f(f(x,f(y,z)),f(x,u)).  [para(27(a,1),20(a,1,1)),demod(4(7))].

given #1016 (F,wt=15): 17711 f(f(f(f(x,c_0),y),z),f(c_0,f(z,x))) = c_0.  [para(8131(a,2),10026(a,1,1,1)),demod(829(8))].

given #1017 (F,wt=15): 17712 f(f(f(x,f(y,y)),z),f(c_0,f(z,y))) = c_0.  [para(8133(a,1),10026(a,1,1,1)),demod(8145(8))].

given #1018 (F,wt=15): 17713 f(f(f(x,y),z),f(c_0,f(f(x,c_0),z))) = c_0.  [para(8147(a,2),10026(a,1,2,2))].

given #1019 (F,wt=15): 17714 f(f(f(x,y),z),f(c_0,f(z,f(x,c_0)))) = c_0.  [para(8151(a,2),10026(a,1,2,2))].

given #1020 (T,wt=15): 17715 f(f(c_0,f(x,y)),f(f(f(x,c_0),z),y)) = c_0.  [para(8155(a,1),10026(a,1,2,2,2)),demod(16(8),4(8))].

given #1021 (A,wt=31): 306 f(x,f(f(x,f(f(f(y,x),f(y,z)),u)),f(f(y,x),v))) = f(x,f(f(f(y,x),f(y,z)),u)).  [para(27(a,1),17(a,1,2,2,1))].

given #1022 (F,wt=15): 17716 f(f(f(f(c_0,x),y),z),f(c_0,f(z,x))) = c_0.  [para(9395(a,1),10026(a,1,2,2,2)),demod(829(8))].

given #1023 (F,wt=15): 17717 f(f(c_0,f(x,y)),f(f(f(c_0,x),z),y)) = c_0.  [para(9398(a,1),10026(a,1,2,2,2)),demod(16(8),4(8))].

given #1024 (F,wt=15): 17718 f(f(f(x,y),z),f(c_0,f(z,f(c_0,x)))) = c_0.  [para(9401(a,2),10026(a,1,2,2))].

given #1025 (F,wt=15): 17719 f(f(f(x,y),z),f(c_0,f(f(c_0,x),z))) = c_0.  [para(9402(a,2),10026(a,1,2,2))].

given #1026 (T,wt=15): 17720 f(f(f(x,f(c_0,y)),z),f(c_0,f(z,y))) = c_0.  [para(9410(a,1),10026(a,1,1,1)),demod(829(8))].

given #1027 (A,wt=27): 307 f(f(f(x,f(y,z)),f(f(x,y),u)),f(f(x,f(y,z)),f(x,v))) = f(x,f(y,z)).  [para(17(a,1),27(a,1,2,1)),demod(17(16))].

given #1028 (F,wt=15): 17721 f(f(f(x,f(y,c_0)),z),f(c_0,f(z,y))) = c_0.  [para(10308(a,1),10026(a,1,1,1)),demod(829(8))].

given #1029 (F,wt=15): 17722 f(f(c_0,f(x,f(x,f(y,z)))),f(y,x)) = c_0.  [para(10029(a,1),4(a,1)),flip(a)].

given #1030 (F,wt=15): 17723 f(f(x,y),f(c_0,f(f(c_0,f(x,z)),y))) = c_0.  [para(689(a,2),10029(a,1,2,2)),demod(8176(5,R))].

given #1031 (F,wt=15): 17724 f(f(x,y),f(c_0,f(z,f(z,f(y,x))))) = c_0.  [para(8379(a,1),10029(a,1,2,2,2)),demod(13578(6),4(5))].

given #1032 (T,wt=15): 17725 f(f(c_0,f(x,f(y,x))),f(x,f(z,y))) = c_0.  [para(10031(a,1),4(a,1)),flip(a)].

given #1033 (A,wt=23): 308 f(f(x,y),f(f(z,y),f(f(x,y),f(x,u)))) = f(f(x,y),f(x,u)).  [para(27(a,1),72(a,1,1))].

given #1034 (F,wt=15): 17726 f(f(c_0,f(x,f(y,x))),f(f(y,z),x)) = c_0.  [para(10033(a,1),4(a,1)),flip(a)].

given #1035 (F,wt=15): 17727 f(f(x,y),f(c_0,f(f(c_0,f(y,z)),x))) = c_0.  [para(4(a,1),10034(a,1,2,2))].

given #1036 (F,wt=15): 17729 f(f(x,y),f(c_0,f(f(c_0,f(z,y)),x))) = c_0.  [para(4(a,1),10038(a,1,2,2))].

given #1037 (F,wt=15): 17731 f(f(c_0,f(x,f(x,y))),f(f(z,y),x)) = c_0.  [para(10039(a,1),4(a,1)),flip(a)].

given #1038 (T,wt=15): 17732 f(f(f(x,y),z),f(c_0,f(z,f(y,y)))) = c_0.  [para(590(a,2),10039(a,1,2,2))].

given #1039 (A,wt=19): 312 f(x,f(f(y,x),f(f(f(y,x),f(y,z)),u))) = f(y,x).  [para(27(a,1),24(a,1,2,1)),demod(27(11))].

given #1040 (F,wt=15): 17733 f(f(f(x,y),z),f(c_0,f(f(y,y),z))) = c_0.  [para(689(a,2),10039(a,1,2,2))].

given #1041 (F,wt=15): 17734 f(f(f(x,y),z),f(c_0,f(f(y,c_0),z))) = c_0.  [para(8147(a,2),10039(a,1,2,2))].

given #1042 (F,wt=15): 17735 f(f(f(x,y),z),f(c_0,f(z,f(y,c_0)))) = c_0.  [para(8151(a,2),10039(a,1,2,2))].

given #1043 (F,wt=15): 17736 f(f(c_0,f(x,y)),f(f(z,f(x,c_0)),y)) = c_0.  [para(8155(a,1),10039(a,1,2,2,2)),demod(16(8),4(8))].

given #1044 (T,wt=15): 17737 f(f(c_0,f(x,y)),f(f(z,f(c_0,x)),y)) = c_0.  [para(9398(a,1),10039(a,1,2,2,2)),demod(16(8),4(8))].

given #1045 (A,wt=19): 313 f(f(f(x,y),f(y,z)),f(f(x,y),f(x,u))) = f(x,y).  [para(24(a,1),27(a,1,2,1)),demod(24(11))].

given #1046 (F,wt=15): 17738 f(f(f(x,y),z),f(c_0,f(z,f(c_0,y)))) = c_0.  [para(9401(a,2),10039(a,1,2,2))].

given #1047 (F,wt=15): 17739 f(f(f(x,y),z),f(c_0,f(f(c_0,y),z))) = c_0.  [para(9402(a,2),10039(a,1,2,2))].

given #1048 (F,wt=15): 17740 f(f(c_0,f(x,f(x,f(y,z)))),f(z,x)) = c_0.  [para(10040(a,1),4(a,1)),flip(a)].

given #1049 (F,wt=15): 17743 f(f(x,y),f(c_0,f(f(c_0,f(z,x)),y))) = c_0.  [para(689(a,2),10040(a,1,2,2)),demod(8176(5,R))].

given #1050 (T,wt=15): 17744 f(f(c_0,f(x,f(y,x))),f(f(z,y),x)) = c_0.  [para(10044(a,1),4(a,1)),flip(a)].

given #1051 (A,wt=19): 314 f(f(f(x,y),f(x,z)),f(f(x,y),f(y,u))) = f(x,y).  [para(27(a,1),27(a,1,2,1)),demod(27(11))].

given #1052 (F,wt=15): 17745 f(x,f(c_0,f(y,f(y,f(z,f(z,x)))))) = c_0.  [para(9402(a,1),10046(a,1,2,2))].

given #1053 (F,wt=15): 17746 f(f(x,f(y,z)),f(x,f(u,f(u,y)))) = x.  [para(10048(a,1),211(a,1,1,2,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1054 (F,wt=15): 17747 f(f(f(x,y),z),f(z,f(u,f(u,x)))) = z.  [para(10048(a,1),221(a,1,1,1,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1055 (F,wt=15): 17748 f(f(f(x,f(x,y)),z),f(z,f(y,u))) = z.  [para(10048(a,1),230(a,1,2,2,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1056 (T,wt=15): 17749 f(f(x,f(y,z)),f(f(u,f(u,y)),x)) = x.  [para(10048(a,1),233(a,1,1,2,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1057 (A,wt=23): 315 f(f(x,f(y,z)),f(x,f(u,f(f(x,f(y,z)),f(f(y,x),v))))) = x.  [para(19(a,1),8(a,1,1))].

given #1058 (F,wt=15): 17750 f(f(x,f(y,f(y,z))),f(f(z,u),x)) = x.  [para(10048(a,1),236(a,1,2,1,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1059 (F,wt=15): 17751 f(f(f(x,y),z),f(f(u,f(u,x)),z)) = z.  [para(10048(a,1),240(a,1,1,1,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1060 (F,wt=15): 17752 f(f(x,f(y,f(y,z))),f(x,f(z,u))) = x.  [para(10048(a,1),244(a,1,1,2,2)),demod(4(6),8148(6),8176(10,R),8148(8))].

given #1061 (F,wt=15): 17753 f(f(f(x,f(x,y)),z),f(f(y,u),z)) = z.  [para(10048(a,1),266(a,1,1,1,2)),demod(4(6),8148(6),8176(10,R),8148(8))].

given #1062 (T,wt=15): 17826 f(x,f(c_0,f(y,f(y,f(z,f(x,z)))))) = c_0.  [para(185(a,1),10055(a,1,2,2)),demod(8152(9),4(7))].

given #1063 (A,wt=33): 317 f(f(x,f(y,z)),f(f(f(x,f(y,z)),f(f(x,z),u)),f(x,v))) = f(f(x,f(y,z)),f(f(x,z),u)).  [para(8(a,1),19(a,1,2,2,1))].

given #1064 (F,wt=15): 17827 f(f(x,f(y,z)),f(x,f(u,f(u,z)))) = x.  [para(10055(a,1),211(a,1,1,2,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1065 (F,wt=15): 17828 f(f(f(x,y),z),f(z,f(u,f(u,y)))) = z.  [para(10055(a,1),221(a,1,1,1,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1066 (F,wt=15): 17829 f(f(f(x,f(x,y)),z),f(z,f(u,y))) = z.  [para(10055(a,1),230(a,1,2,2,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1067 (F,wt=15): 17830 f(f(x,f(y,z)),f(f(u,f(u,z)),x)) = x.  [para(10055(a,1),233(a,1,1,2,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1068 (T,wt=15): 17831 f(f(x,f(y,f(y,z))),f(f(u,z),x)) = x.  [para(10055(a,1),236(a,1,2,1,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1069 (A,wt=41): 318 f(f(f(x,y),f(z,u)),f(x,f(f(f(x,y),f(z,u)),f(f(z,f(x,y)),v)))) = f(f(f(x,y),f(z,u)),f(f(z,f(x,y)),v)).  [para(19(a,1),9(a,1,2)),demod(4(8),4(12))].

given #1070 (F,wt=15): 17832 f(f(f(x,y),z),f(f(u,f(u,y)),z)) = z.  [para(10055(a,1),240(a,1,1,1,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1071 (F,wt=15): 17833 f(f(c_0,f(x,f(x,f(y,z)))),f(z,y)) = c_0.  [para(9305(a,1),10055(a,1,2,2)),demod(8148(10))].

given #1072 (F,wt=15): 17834 f(f(x,f(y,f(y,z))),f(x,f(u,z))) = x.  [para(10055(a,1),597(a,1,2,2,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1073 (F,wt=15): 17835 f(f(f(x,f(x,y)),z),f(f(u,y),z)) = z.  [para(10055(a,1),646(a,1,2,1,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1074 (T,wt=15): 17836 f(f(c_0,f(x,y)),f(x,f(z,f(y,z)))) = c_0.  [para(10095(a,1),4(a,1)),flip(a)].

given #1075 (A,wt=31): 320 f(x,f(f(x,f(y,z)),f(f(x,f(f(f(x,f(y,z)),f(f(y,x),u)),v)),w))) = f(x,f(y,z)).  [para(19(a,1),10(a,1,2,1)),demod(19(18))].

given #1076 (F,wt=15): 17843 f(f(x,f(y,z)),f(c_0,f(f(z,y),x))) = c_0.  [para(8701(a,1),10095(a,1,1)),demod(13882(9))].

given #1077 (F,wt=15): 17845 f(f(c_0,f(x,y)),f(f(z,f(y,z)),x)) = c_0.  [para(10096(a,1),4(a,1)),flip(a)].

given #1078 (F,wt=15): 17851 f(x,f(c_0,f(y,f(c_0,f(f(x,y),z))))) = c_0.  [para(10034(a,1),10096(a,1,1)),demod(4(10),8148(12))].

given #1079 (F,wt=15): 17852 f(x,f(c_0,f(y,f(c_0,f(z,f(x,y)))))) = c_0.  [para(10038(a,1),10096(a,1,1)),demod(4(10),8148(12))].

given #1080 (T,wt=15): 17853 f(f(c_0,f(x,y)),f(x,f(z,f(z,y)))) = c_0.  [para(10104(a,1),4(a,1)),flip(a)].

given #1081 (A,wt=49): 321 f(f(f(x,y),f(f(x,f(y,z)),u)),f(f(f(f(x,y),f(f(x,f(y,z)),u)),f(x,v)),f(f(x,y),w))) = f(f(f(x,y),f(f(x,f(y,z)),u)),f(x,v)).  [para(10(a,1),19(a,1,2,2,1))].

given #1082 (F,wt=15): 17858 f(f(f(x,y),z),f(c_0,f(f(y,x),z))) = c_0.  [para(8701(a,1),10104(a,1,1)),demod(4(9),13577(9))].

given #1083 (F,wt=15): 17859 f(f(c_0,f(x,y)),f(f(z,f(z,y)),x)) = c_0.  [para(10105(a,1),4(a,1)),flip(a)].

given #1084 (F,wt=15): 17864 f(x,f(c_0,f(y,f(c_0,f(f(y,x),z))))) = c_0.  [para(10034(a,1),10105(a,1,1)),demod(4(10),8148(12))].

given #1085 (F,wt=15): 17865 f(x,f(c_0,f(y,f(c_0,f(z,f(y,x)))))) = c_0.  [para(10038(a,1),10105(a,1,1)),demod(4(10),8148(12))].

given #1086 (T,wt=15): 17866 f(x,f(c_0,f(y,f(y,f(f(x,y),z))))) = c_0.  [para(10176(a,1),10096(a,1,1)),demod(4(9),8148(11))].

given #1087 (A,wt=33): 322 f(f(x,f(y,z)),f(f(f(x,f(y,z)),f(f(y,x),u)),f(v,x))) = f(f(x,f(y,z)),f(f(y,x),u)).  [para(19(a,1),13(a,1,1))].

given #1088 (F,wt=15): 17867 f(x,f(c_0,f(y,f(y,f(f(y,x),z))))) = c_0.  [para(10176(a,1),10105(a,1,1)),demod(4(9),8148(11))].

given #1089 (F,wt=15): 17868 f(x,f(c_0,f(y,f(y,f(z,f(x,y)))))) = c_0.  [para(10179(a,1),10096(a,1,1)),demod(4(9),8148(11))].

given #1090 (F,wt=15): 17869 f(x,f(c_0,f(y,f(y,f(z,f(y,x)))))) = c_0.  [para(10179(a,1),10105(a,1,1)),demod(4(9),8148(11))].

given #1091 (F,wt=15): 17870 f(f(c_0,f(x,f(c_0,f(y,z)))),f(y,x)) = c_0.  [para(10184(a,1),4(a,1)),flip(a)].

given #1092 (T,wt=15): 17873 f(f(c_0,f(x,f(c_0,f(y,z)))),f(z,x)) = c_0.  [para(10190(a,1),4(a,1)),flip(a)].

given #1093 (A,wt=33): 323 f(f(x,f(y,z)),f(f(x,u),f(f(x,f(y,z)),f(f(y,x),v)))) = f(f(x,f(y,z)),f(f(y,x),v)).  [para(19(a,1),14(a,1,1))].

given #1094 (F,wt=15): 17876 f(x,f(c_0,f(f(c_0,f(y,z)),f(x,y)))) = c_0.  [para(4(a,1),10193(a,1,2,2))].

given #1095 (F,wt=15): 17877 f(x,f(c_0,f(f(x,f(y,z)),f(c_0,y)))) = c_0.  [para(5(a,1),10193(a,1,2,2,2,2))].

given #1096 (F,wt=15): 17878 f(x,f(c_0,f(f(x,f(y,z)),f(c_0,z)))) = c_0.  [para(7(a,1),10193(a,1,2,2,2,2))].

given #1097 (F,wt=15): 17880 f(x,f(c_0,f(f(x,f(y,z)),f(z,c_0)))) = c_0.  [para(86(a,1),10193(a,1,2,2,2))].

given #1098 (T,wt=15): 17881 f(f(x,f(y,z)),f(x,f(u,f(y,u)))) = x.  [para(10194(a,1),211(a,1,1,2,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1099 (A,wt=33): 325 f(f(f(x,y),z),f(f(f(f(x,y),z),f(f(x,z),u)),f(z,v))) = f(f(f(x,y),z),f(f(x,z),u)).  [para(14(a,1),19(a,1,2,2,1))].

given #1100 (F,wt=15): 17882 f(f(f(x,y),z),f(z,f(u,f(x,u)))) = z.  [para(10194(a,1),221(a,1,1,1,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1101 (F,wt=15): 17883 f(f(f(x,f(y,x)),z),f(z,f(y,u))) = z.  [para(10194(a,1),230(a,1,2,2,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1102 (F,wt=15): 17884 f(f(x,f(y,z)),f(f(u,f(y,u)),x)) = x.  [para(10194(a,1),233(a,1,1,2,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1103 (F,wt=15): 17885 f(f(x,f(y,f(z,y))),f(f(z,u),x)) = x.  [para(10194(a,1),236(a,1,2,1,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1104 (T,wt=15): 17886 f(f(f(x,y),z),f(f(u,f(x,u)),z)) = z.  [para(10194(a,1),240(a,1,1,1,2)),demod(4(5),8148(5),8176(11,R),8148(8))].

given #1105 (A,wt=41): 326 f(f(f(x,f(y,z)),f(f(y,x),u)),f(f(x,f(y,z)),f(f(f(f(x,f(y,z)),f(f(y,x),u)),f(x,v)),w))) = f(x,f(y,z)).  [para(19(a,1),15(a,1,2,1)),demod(19(23))].

given #1106 (F,wt=15): 17887 f(f(x,f(y,f(z,y))),f(x,f(z,u))) = x.  [para(10194(a,1),597(a,1,2,2,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1107 (F,wt=15): 17888 f(f(f(x,f(y,x)),z),f(f(y,u),z)) = z.  [para(10194(a,1),646(a,1,2,1,2)),demod(8176(9,R),8148(6),4(8),8148(8))].

given #1108 (F,wt=15): 17889 f(x,f(c_0,f(f(c_0,f(y,z)),f(y,x)))) = c_0.  [para(4(a,1),10195(a,1,2,2))].

given #1109 (F,wt=15): 17890 f(x,f(c_0,f(f(c_0,y),f(f(y,z),x)))) = c_0.  [para(5(a,1),10195(a,1,2,2,2,2)),demod(4(6))].

given #1110 (T,wt=15): 17891 f(x,f(c_0,f(f(c_0,y),f(f(z,y),x)))) = c_0.  [para(7(a,1),10195(a,1,2,2,2,2)),demod(4(6))].

given #1111 (A,wt=49): 327 f(f(f(x,y),f(f(y,f(x,z)),u)),f(f(f(f(x,y),f(f(y,f(x,z)),u)),f(y,v)),f(f(x,y),w))) = f(f(f(x,y),f(f(y,f(x,z)),u)),f(y,v)).  [para(15(a,1),19(a,1,2,2,1))].

given #1112 (F,wt=15): 17892 f(x,f(c_0,f(f(y,c_0),f(f(y,z),x)))) = c_0.  [para(76(a,1),10195(a,1,2,2,2)),demod(4(6))].

given #1113 (F,wt=15): 17893 f(x,f(c_0,f(f(y,c_0),f(f(z,y),x)))) = c_0.  [para(86(a,1),10195(a,1,2,2,2)),demod(4(6))].

given #1114 (F,wt=15): 17894 f(x,f(y,f(y,f(z,f(y,x))))) = f(x,x).  [para(132(a,1),7695(a,1)),demod(4(3))].

given #1115 (F,wt=15): 17895 f(f(f(x,y),z),f(f(u,f(y,x)),z)) = z.  [para(8371(a,1),132(a,1,2,2)),demod(13577(8),8371(13))].

given #1116 (T,wt=15): 17896 f(f(x,f(y,z)),f(f(u,f(z,y)),x)) = x.  [para(8379(a,1),132(a,1,2,2)),demod(13578(8),8379(13))].

given #1117 (A,wt=41): 328 f(f(f(x,y),f(z,u)),f(y,f(f(f(x,y),f(z,u)),f(f(z,f(x,y)),v)))) = f(f(f(x,y),f(z,u)),f(f(z,f(x,y)),v)).  [para(19(a,1),20(a,1,1)),demod(4(11))].

given #1118 (F,wt=15): 17897 f(x,f(c_0,f(f(c_0,f(y,z)),f(x,z)))) = c_0.  [para(4(a,1),10198(a,1,2,2))].

given #1119 (F,wt=15): 17898 f(x,f(c_0,f(y,f(x,f(z,f(y,y)))))) = c_0.  [para(63(a,1),10198(a,1,2,2,2,2)),demod(8152(7),4(5))].

given #1120 (F,wt=15): 17899 f(x,f(c_0,f(y,f(x,f(z,f(y,c_0)))))) = c_0.  [para(8164(a,1),10198(a,1,2,2,2,2)),demod(8152(8),4(6))].

given #1121 (F,wt=15): 17900 f(x,f(c_0,f(y,f(x,f(f(y,c_0),z))))) = c_0.  [para(8165(a,1),10198(a,1,2,2,2,2)),demod(8152(8),4(6))].

given #1122 (T,wt=15): 17901 f(x,f(c_0,f(y,f(x,f(z,f(c_0,y)))))) = c_0.  [para(9196(a,1),10198(a,1,2,2,2,2)),demod(8148(9),4(6))].

given #1123 (A,wt=41): 332 f(x,f(f(x,f(f(f(x,f(y,z)),f(f(y,x),u)),v)),f(f(x,f(y,z)),w))) = f(x,f(f(f(x,f(y,z)),f(f(y,x),u)),v)).  [para(19(a,1),17(a,1,2,2,1))].

given #1124 (F,wt=15): 17902 f(x,f(c_0,f(y,f(x,f(f(c_0,y),z))))) = c_0.  [para(9272(a,1),10198(a,1,2,2,2,2)),demod(8148(9),4(6))].

given #1125 (F,wt=15): 17903 f(f(c_0,f(x,f(c_0,f(y,z)))),f(z,y)) = c_0.  [para(9305(a,1),10199(a,1,2,2)),demod(9398(4,R),8148(11))].

given #1126 (F,wt=15): 179