off echo$backup_:='
(((list) ("*** Start of level 1" cm 100 g n g a) 0 (1) 2 ((1 9 26140 22 22 1061
1323 28950662 ((22 1)) ((1 0) (21 1))) (a "Start of " (1) ((equal 0 (plus (times
4 a17) (minus (times 3 a18)))))) (16 7 13810 23 22 1090 1349 28950662 ((22 1)) (
(1 0) (22 1))) (16 6 8260 24 23 1064 1315 28950662 ((23 1)) ((1 0) (23 1))) (1 5
8110 25 24 1114 1371 28950662 ((24 1)) ((1 0) (24 1))) (7 4 8100 24 24 1113 1370
28950662 ((24 1)) ((24 1))) (16 3 850 25 25 1238 1500 28950662 ((25 1)) ((25 1))
) (4 2 720 26 27 1345 1615 28950662 ((27 1)) ((26 1))) (3 1 710 27 28 1347 1617
28950662 ((27 1) (1 2)) ((27 1))) (2 0 700 27 27 1347 1615 28950662 ((25 1) (2 2
)) ((27 1))) (cp 1 2 3 4 7 77 8 47 9 15 24 16 18 19 20 21 26 69 25 27 30 22 32 
76 34 36)) nil 11 nil) (nil nil nil nil nil nil (to_eval to_fullint to_int 
to_sep to_gensep to_casesep to_decoup to_diff to_under to_symbol) nil 102 t t (
list) 20 4000 15 10 28950662 1061 50 200 50 10 3 t nil nil nil 100 ((e_27 u) (
e_25 u) (e_24 u) (e_22 u) (e_20 u) (e_23 u) (e_21 u) (e_19 u) (e_18 u) (e_17 u)
(e_15 u) (e_16 u) (e_14 u) (e_11 u) (e_42 u) (e_26 u) (e_9 u) (e_28 u) (e_13 u)
(e_12 u) (e_7 u) (a20_ v) (a20 v) (b18_ u) (b18 u) (b17_ u) (b17 u) (b19_ u) (
b19 u) (b9_ u) (b9 u) (b8_ u) (b8 u) (b7_ u) (b7 u) (b10_ u) (b10 u) (b16_ u) (
b16 u) (b15_ u) (b15 u) (b13_ u) (b13 u) (a19_ u) (a19 u) (a10_ u) (a10 u) (a7_
u) (a7 u) (b6_ u) (b6 u) (b3_ u) (b3 u) (b1_ u) (b1 u) (a18_ u) (a18 u) (a17_ u)
(a17 u) (a9_ u) (a9 u) (a8_ u) (a8 u) (a15_ u) (a15 u) (a13_ u) (a13 u) (a16_ u)
(a16 u) (a6_ u) (a6 u) (a3_ u) (a3 u) (a1_ u) (a1 u)) 
"http://lie.math.brocku.ca/crack/src" nil nil nil 0 e_ nil "" nil nil 1000 (b1 
b6 b13 b16 b8 b9 b19 b18 c_1) c_ nil nil 0 nil 10000 t t (b1 b6 b13 b16 b8 b9 
b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) 15 15 reduce 300 nil nil
nil (((((b19 . 1) . 1)) . 1)) (((((((a13 . 1) . 1)) . 1)) (((((a15 . 1) . 1)) . 
1)) (((((a16 . 1) . 1)) . 1)) (((((a18 . 1) . 1)) . 1)) (((((a1 . 1) . 1)) . 1))
(((((a3 . 1) . 1)) . 1)) (((((a6 . 1) . 1)) . 1)) (((((a7 . 1) . 1)) . 1)) (((((
a8 . 1) . 1)) . 1)) (((((a9 . 1) . 1)) . 1)) ((((((df a10 u) . 1) . 1)) . 1)) ((
((((df a19 u) . 1) . 1)) . 1))) ((((((b1 . 1) . 1)) . 1)) ((((((df b8 u) . 1) ((
u . 1) . 2)) ((b6 . 1) ((u . 1) . -3)) ((b8 . 1) . 4) ((b9 . 1) . 3)) . 1)) ((((
(b6 . 1) . 1)) . 1)) (((((b8 . 1) . 1) ((b9 . 1) . 1)) . 1)) (((((b8 . 1) . 1))
 . 1)) (((((b9 . 1) . 1)) . 1)) (((((c_1 . 1) . 1)) . 1))) ((((((a13 . 1) . 1))
 . 1)) (((((a15 . 1) . 1)) . 1)) (((((a16 . 1) . 1)) . 1)) (((((a18 . 1) . 1))
 . 1)) (((((a19 . 1) . 1)) . 1))) ((((((a1 . 1) . 1)) . 1)) (((((a3 . 1) . 1))
 . 1)) (((((a6 . 1) . 1)) . 1)) (((((a7 . 1) . 1)) . 1)) (((((a8 . 1) . 1)) . 1)
) (((((a9 . 1) . 1)) . 1)) (((((a10 . 1) . 1)) . 1)))) nil nil nil nil 28950662
((subst a17 nil) (subst b3 nil) (subst b15 nil) (subst b10 nil) (subst b7 nil) (
subst b17 nil) (subst a20 nil)) 1.0 1.0 nil t nil t 6 100000000000000000 20 15 
100 1 10 1 30 40 10 5 1000000 20 10 10 48 nil 100 nil nil t 12 nil nil (to_do 
separation subst_level_0 subst_level_03 quick_integration find_factorization 
factorize_to_substitute factorize_any subst_derivative subst_level_1 
full_integration subst_level_3 subst_level_2 subst_level_33 subst_level_35 
subst_level_4 gen_separation case_separation integration diff_length_reduction 
decoupling undetlinode add_diff_ise try_other_ordering alg_solve_single 
undo_subst_derivative) "no_of_processes" nil nil nil (nil e_47 e_46 e_45 e_44 
e_43 e_41 e_10 e_40 e_39 e_38 e_37 e_36 e_35 e_34 e_33 e_32 e_31 e_30 e_8 e_29 
e_5 e_4 e_2 e_3 e_1 e_6) nil nil nil t "bu642713-" t nil nil nil nil 2 8 1000 20
1000 nil 1000 10000 1000 nil nil nil nil nil nil nil nil nil nil nil nil nil nil
(list) (u v)) ((e_42 ((sqval (((a10 . 1) ((b18 . 1) . 4)) ((a18 . 1) ((c_1 . 1)
 . -3)) ((a19 . 1) ((b18 . 1) . -20))) . 1) (fac . 2) (pval plus (times 4 a10 
b18) (minus (times 3 a18 c_1)) (minus (times 20 a19 b18))) (partitioned) (kern 
a10 a18 a19 b18 c_1) (fct_kern_lin) (fct_kern_nli) (fcts b18 a18 a10 a19 c_1) (
vars u) (nvars . 1) (level) (derivs ((b18) . 1) ((a18) . 1) ((a10) . 1) ((a19)
 . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a10
 . 1) . 4) ((a19 . 1) . -20)) . 1) . b18)) (fct_nli_lin (((((a10 . 1) . 4) ((a19
 . 1) . -20)) . 1) . b18)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3)
(length . 6) (printlength . 9) (rational b18 a18 a10 a19 c_1) (nonrational) (
allvarfcts b18 a18 a10 a19) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg
) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup 
to_eval)) (e_28 ((sqval ((((df b13 u) . 1) ((u . 1) . 3)) (((df b16 u) . 1) ((u
 . 2) . -6)) (((df b18 u 2) . 1) ((u . 2) . -2)) (((df b18 u) . 1) ((u . 1) . -7
)) ((b16 . 1) ((u . 1) . -6)) ((b18 . 1) . -2)) . 1) (fac . 2) (pval plus (times
3 (df b13 u) u) (minus (times 6 (df b16 u) (expt u 2))) (minus (times 2 (df b18
u 2) (expt u 2))) (minus (times 7 (df b18 u) u)) (minus (times 6 b16 u)) (minus
(times 2 b18))) (partitioned) (kern (df b13 u) (df b16 u) (df b18 u 2) (df b18 u
) b16 b18 u) (fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b18) (vars u) (nvars . 
1) (level) (derivs ((b13 u) . 1) ((b16 u) . 1) ((b16) . 1) ((b18 u 2) . 1) ((b18
u) . 1) ((b18) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 6)
(printlength . 19) (rational b13 b16 b18) (nonrational) (allvarfcts b13 b16 b18)
(starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_ . t)
(histry_)) (to_symbol to_under to_diff to_decoup)) (e_9 ((sqval ((((df b1 u) . 1
) ((u . 1) . 3)) (((df b6 u) . 1) ((u . 2) . -6)) (((df b8 u 2) . 1) ((u . 2) . 
2)) (((df b8 u) . 1) ((u . 1) . 8)) (((df b9 u) . 1) ((u . 1) . 9)) ((b6 . 1) ((
u . 1) . -6)) ((b8 . 1) . 1) ((b9 . 1) . 3)) . 1) (fac . 2) (pval plus (times 3
(df b1 u) u) (minus (times 6 (df b6 u) (expt u 2))) (times 2 (df b8 u 2) (expt u
2)) (times 8 (df b8 u) u) (times 9 (df b9 u) u) (minus (times 6 b6 u)) b8 (times
3 b9)) (partitioned) (kern (df b1 u) (df b6 u) (df b8 u 2) (df b8 u) (df b9 u) 
b6 b8 b9 u) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b8 b9) (vars u) (nvars . 1
) (level) (derivs ((b1 u) . 1) ((b6 u) . 1) ((b6) . 1) ((b8 u 2) . 1) ((b8 u) . 
1) ((b8) . 1) ((b9 u) . 1) ((b9) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 8)
(length . 8) (printlength . 24) (rational b1 b6 b8 b9) (nonrational) (allvarfcts
b1 b6 b8 b9) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test)
(linear_ . t) (histry_)) (to_symbol to_under to_diff to_decoup)) (e_7 ((sqval ((
(a10 . 1) ((b8 . 1) . 1) ((b9 . 1) . 1)) ((a19 . 1) ((b8 . 1) . -1) ((b9 . 1) . 
-1)) ((a7 . 1) ((b19 . 1) . -1) ((c_1 . 1) . -1))) . 1) (fac . 2) (pval plus (
times a10 b8) (times a10 b9) (minus (times a19 b8)) (minus (times a19 b9)) (
minus (times a7 b19)) (minus (times a7 c_1))) (partitioned) (kern a10 a19 a7 b19
c_1 b8 b9) (fct_kern_lin) (fct_kern_nli) (fcts b8 b9 b19 a7 a10 a19 c_1) (vars u
) (nvars . 1) (level) (derivs ((b8) . 1) ((b9) . 1) ((b19) . 1) ((a7) . 1) ((a10
) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli (((((a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b8) (((((a10 . 1) . 1) (
(a19 . 1) . -1)) . 1) . b9) (((((a7 . 1) . -1)) . 1) . b19)) (fct_nli_lin (((((
a7 . 1) . -1)) . 1) . b19) (((((a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b9) (((((
a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b8)) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 6) (length . 9) (printlength . 15) (rational b8 b9 b19 a7
a10 a19 c_1) (nonrational) (allvarfcts b8 b9 b19 a7 a10 a19) (starde) (dec_with)
(dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol 
to_under to_diff to_decoup to_eval)) (e_12 ((sqval (((a10 . 1) ((b8 . 1) . 5)) (
(a19 . 1) ((b8 . 1) . -1)) ((a7 . 1) ((c_1 . 1) . -3)) ((a8 . 1) ((c_1 . 1) . 3)
) ((a9 . 1) ((b19 . 1) . -1) ((c_1 . 1) . -4))) . 1) (fac . 2) (pval plus (times
5 a10 b8) (minus (times a19 b8)) (minus (times 3 a7 c_1)) (times 3 a8 c_1) (
minus (times a9 b19)) (minus (times 4 a9 c_1))) (partitioned) (kern a10 a19 a7 
a8 a9 b19 c_1 b8) (fct_kern_lin) (fct_kern_nli) (fcts b8 b19 a8 a9 a7 a10 a19 
c_1) (vars u) (nvars . 1) (level) (derivs ((b8) . 1) ((b19) . 1) ((a8) . 1) ((a9
) . 1) ((a7) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin)
(fcteval_nca) (fcteval_nli (((((a10 . 1) . 5) ((a19 . 1) . -1)) . 1) . b8) (((((
a9 . 1) . -1)) . 1) . b19)) (fct_nli_lin (((((a9 . 1) . -1)) . 1) . b19) (((((
a10 . 1) . 5) ((a19 . 1) . -1)) . 1) . b8)) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 6) (length . 11) (printlength . 17) (rational b8 b19 a8 a9
a7 a10 a19 c_1) (nonrational) (allvarfcts b8 b19 a8 a9 a7 a10 a19) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_eval)) (e_11 ((sqval ((((df a19 u) . 1)
((b19 . 1) . 4) ((c_1 . 1) . 4)) (((df b19 u) . 1) ((a10 . 1) . 4) ((a19 . 1) . 
-4)) ((a10 . 1) ((b18 . 1) . -4)) ((a18 . 1) ((b19 . 1) . -3)) ((a19 . 1) ((b18
 . 1) . 20))) . 1) (fac . 2) (pval plus (times 4 (df a19 u) b19) (times 4 (df 
a19 u) c_1) (times 4 (df b19 u) a10) (minus (times 4 (df b19 u) a19)) (minus (
times 4 a10 b18)) (minus (times 3 a18 b19)) (times 20 a19 b18)) (partitioned) (
kern (df a19 u) (df b19 u) a10 a18 a19 b18 b19 c_1) (fct_kern_lin) (fct_kern_nli
) (fcts b19 b18 a18 a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b19 u)
 . 1) ((b19) . 1) ((b18) . 1) ((a18) . 1) ((a10) . 1) ((a19 u) . 1) ((a19) . 1)
((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a10 . 1)
 . -4) ((a19 . 1) . 20)) . 1) . b18)) (fct_nli_lin (((((a10 . 1) . -4) ((a19 . 1
) . 20)) . 1) . b18)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 7) (
length . 12) (printlength . 19) (rational b19 b18 a18 a10 a19 c_1) (nonrational)
(allvarfcts b19 b18 a18 a10 a19) (starde) (dec_with) (dec_with_rl) (rl_with) (
hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup
to_eval)) (e_13 ((sqval ((((df a10 u) . 1) ((b19 . 1) . 1) ((c_1 . 1) . 1)) ((
a10 . 1) ((b8 . 1) . -4) ((b9 . 1) . 1)) ((a19 . 1) ((b9 . 1) . -1)) ((a7 . 1) (
(c_1 . 1) . 3)) ((a8 . 1) ((c_1 . 1) . -3)) ((a9 . 1) ((c_1 . 1) . 3))) . 1) (
fac . 2) (pval plus (times (df a10 u) b19) (times (df a10 u) c_1) (minus (times
4 a10 b8)) (times a10 b9) (minus (times a19 b9)) (times 3 a7 c_1) (minus (times
3 a8 c_1)) (times 3 a9 c_1)) (partitioned) (kern (df a10 u) a10 a19 a7 a8 a9 c_1
b9 b8 b19) (fct_kern_lin) (fct_kern_nli) (fcts b8 b9 b19 a8 a9 a7 a10 a19 c_1) (
vars u) (nvars . 1) (level) (derivs ((b8) . 1) ((b9) . 1) ((b19) . 1) ((a8) . 1)
((a9) . 1) ((a7) . 1) ((a10 u) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a10 . 1) . -4)) . 1) . 
b8) (((((a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b9) ((((((df a10 u) . 1) . 1))
 . 1) . b19)) (fct_nli_lin (((((a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b9) (((((
a10 . 1) . -4)) . 1) . b8)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus ((((((df 
a10 u) . 1) . 1)) . 1) . b19)) (terms . 8) (length . 14) (printlength . 22) (
rational b8 b9 b19 a8 a9 a7 a10 a19 c_1) (nonrational) (allvarfcts b8 b9 b19 a8
a9 a7 a10 a19) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test
) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_eval)) (e_14 ((
sqval ((((df b18 u) . 1) ((a10 . 1) ((u . 1) . 16)) ((a19 . 1) ((u . 1) . -16)))
((a10 . 1) ((b13 . 1) . -12) ((b16 . 1) ((u . 1) . 24)) ((b18 . 1) . 8)) ((a13
 . 1) ((b19 . 1) . -12) ((c_1 . 1) . -12)) ((a15 . 1) ((b19 . 1) ((u . 1) . 24))
((c_1 . 1) ((u . 1) . 24))) ((a18 . 1) ((b19 . 1) . -9)) ((a19 . 1) ((b13 . 1)
 . 12) ((b16 . 1) ((u . 1) . -24)) ((b18 . 1) . 40))) . 1) (fac . 2) (pval plus
(times 16 (df b18 u) a10 u) (minus (times 16 (df b18 u) a19 u)) (minus (times 12
a10 b13)) (times 24 a10 b16 u) (times 8 a10 b18) (minus (times 12 a13 b19)) (
minus (times 12 a13 c_1)) (times 24 a15 b19 u) (times 24 a15 c_1 u) (minus (
times 9 a18 b19)) (times 12 a19 b13) (minus (times 24 a19 b16 u)) (times 40 a19
b18)) (partitioned) (kern (df b18 u) a10 a13 a15 a18 a19 b13 b16 b18 u b19 c_1)
(fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b19 b18 a13 a15 a18 a10 a19 c_1) (
vars u) (nvars . 1) (level) (derivs ((b13) . 1) ((b16) . 1) ((b19) . 1) ((b18 u)
 . 1) ((b18) . 1) ((a13) . 1) ((a15) . 1) ((a18) . 1) ((a10) . 1) ((a19) . 1) ((
c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a10 . 1) . 
-12) ((a19 . 1) . 12)) . 1) . b13) (((((a10 . 1) ((u . 1) . 24)) ((a19 . 1) ((u
 . 1) . -24))) . 1) . b16) (((((a13 . 1) . -12) ((a15 . 1) ((u . 1) . 24)) ((a18
 . 1) . -9)) . 1) . b19)) (fct_nli_lin (((((a13 . 1) . -12) ((a15 . 1) ((u . 1)
 . 24)) ((a18 . 1) . -9)) . 1) . b19) (((((a10 . 1) ((u . 1) . 24)) ((a19 . 1) (
(u . 1) . -24))) . 1) . b16) (((((a10 . 1) . -12) ((a19 . 1) . 12)) . 1) . b13))
(fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 13) (length . 19) (
printlength . 38) (rational b13 b16 b19 b18 a13 a15 a18 a10 a19 c_1) (
nonrational) (allvarfcts b13 b16 b19 b18 a13 a15 a18 a10 a19) (starde) (dec_with
) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol
to_under to_diff to_decoup to_eval)) (e_15 ((sqval ((((df b18 u) . 1) ((a19 . 1)
((u . 1) . 16))) ((a10 . 1) ((b18 . 1) . 24)) ((a13 . 1) ((b19 . 1) . 24)) ((a15
 . 1) ((b19 . 1) ((u . 1) . -24))) ((a16 . 1) ((b19 . 1) ((u . 1) . -24))) ((a18
 . 1) ((b18 . 1) ((u . 1) . 5)) ((b19 . 1) . 3) ((b8 . 1) ((u . 1) . 6)) ((c_1
 . 1) . -18)) ((a19 . 1) ((b13 . 1) . -24) ((b16 . 1) ((u . 1) . 48)) ((b18 . 1)
 . -16)) ((a7 . 1) ((b18 . 1) ((u . 1) . -4))) ((a8 . 1) ((b18 . 1) ((u . 1) . 4
))) ((a9 . 1) ((b18 . 1) ((u . 1) . -4)))) . 1) (fac . 2) (pval plus (times 16 (
df b18 u) a19 u) (times 24 a10 b18) (times 24 a13 b19) (minus (times 24 a15 b19
u)) (minus (times 24 a16 b19 u)) (times 5 a18 b18 u) (times 3 a18 b19) (times 6
a18 b8 u) (minus (times 18 a18 c_1)) (minus (times 24 a19 b13)) (times 48 a19 
b16 u) (minus (times 16 a19 b18)) (minus (times 4 a7 b18 u)) (times 4 a8 b18 u)
(minus (times 4 a9 b18 u))) (partitioned) (kern (df b18 u) a10 a13 a15 a16 a18 
a19 a7 a8 a9 b18 u b13 b16 b19 b8 c_1) (fct_kern_lin) (fct_kern_nli) (fcts b13 
b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 1) (level
) (derivs ((b13) . 1) ((b16) . 1) ((b8) . 1) ((b19) . 1) ((b18 u) . 1) ((b18) . 
1) ((a16) . 1) ((a13) . 1) ((a15) . 1) ((a8) . 1) ((a9) . 1) ((a18) . 1) ((a7)
 . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 15) (length . 25) (printlength . 49) (rational b13 b16 b8
b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (nonrational) (allvarfcts b13 b16
b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 a19) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff
to_decoup to_eval)) (e_16 ((sqval ((((df b8 u) . 1) ((a10 . 1) ((u . 1) . 16)))
((a1 . 1) ((c_1 . 1) . 24)) ((a10 . 1) ((b1 . 1) . 24) ((b6 . 1) ((u . 1) . -48)
) ((b8 . 1) . -16) ((b9 . 1) . 72)) ((a18 . 1) ((b8 . 1) ((u . 1) . -1))) ((a3
 . 1) ((c_1 . 1) ((u . 1) . -24))) ((a6 . 1) ((c_1 . 1) ((u . 1) . -24))) ((a7
 . 1) ((b8 . 1) ((u . 1) . -4)) ((c_1 . 1) . 12)) ((a8 . 1) ((b8 . 1) ((u . 1)
 . 4)) ((c_1 . 1) . -60)) ((a9 . 1) ((b18 . 1) ((u . 1) . -8)) ((b8 . 1) ((u . 1
) . -12)) ((c_1 . 1) . 84))) . 1) (fac . 2) (pval plus (times 16 (df b8 u) a10 u
) (times 24 a1 c_1) (times 24 a10 b1) (minus (times 48 a10 b6 u)) (minus (times
16 a10 b8)) (times 72 a10 b9) (minus (times a18 b8 u)) (minus (times 24 a3 c_1 u
)) (minus (times 24 a6 c_1 u)) (minus (times 4 a7 b8 u)) (times 12 a7 c_1) (
times 4 a8 b8 u) (minus (times 60 a8 c_1)) (minus (times 8 a9 b18 u)) (minus (
times 12 a9 b8 u)) (times 84 a9 c_1)) (partitioned) (kern (df b8 u) a1 a10 a18 
a3 a6 a7 a8 a9 b18 b8 c_1 u b1 b6 b9) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6
b8 b9 b18 a1 a3 a6 a8 a9 a18 a7 a10 c_1) (vars u) (nvars . 1) (level) (derivs ((
b1) . 1) ((b6) . 1) ((b8 u) . 1) ((b8) . 1) ((b9) . 1) ((b18) . 1) ((a1) . 1) ((
a3) . 1) ((a6) . 1) ((a8) . 1) ((a9) . 1) ((a18) . 1) ((a7) . 1) ((a10) . 1) ((
c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 16) (length . 25) (printlength
 . 50) (rational b1 b6 b8 b9 b18 a1 a3 a6 a8 a9 a18 a7 a10 c_1) (nonrational) (
allvarfcts b1 b6 b8 b9 b18 a1 a3 a6 a8 a9 a18 a7 a10) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol 
to_under to_diff to_decoup to_eval)) (e_17 ((sqval (((a1 . 1) ((b19 . 1) . 4) ((
c_1 . 1) . 4)) ((a10 . 1) ((b1 . 1) . 4) ((b6 . 1) ((u . 1) . -8)) ((b8 . 1) . 
-44) ((b9 . 1) . -20)) ((a18 . 1) ((b8 . 1) ((u . 1) . -1)) ((b9 . 1) ((u . 1)
 . -1))) ((a19 . 1) ((b1 . 1) . -4) ((b6 . 1) ((u . 1) . 8)) ((b8 . 1) . 12) ((
b9 . 1) . 4)) ((a6 . 1) ((b19 . 1) ((u . 1) . -8)) ((c_1 . 1) ((u . 1) . -8))) (
(a7 . 1) ((b18 . 1) ((u . 1) . -8)) ((b8 . 1) ((u . 1) . -4)) ((b9 . 1) ((u . 1)
 . 4)) ((c_1 . 1) . 36)) ((a8 . 1) ((b8 . 1) ((u . 1) . -4)) ((b9 . 1) ((u . 1)
 . -4)) ((c_1 . 1) . -12)) ((a9 . 1) ((b19 . 1) . 8) ((b8 . 1) ((u . 1) . 4)) ((
b9 . 1) ((u . 1) . 4)) ((c_1 . 1) . 20))) . 1) (fac . 2) (pval plus (times 4 a1
b19) (times 4 a1 c_1) (times 4 a10 b1) (minus (times 8 a10 b6 u)) (minus (times
44 a10 b8)) (minus (times 20 a10 b9)) (minus (times a18 b8 u)) (minus (times a18
b9 u)) (minus (times 4 a19 b1)) (times 8 a19 b6 u) (times 12 a19 b8) (times 4 
a19 b9) (minus (times 8 a6 b19 u)) (minus (times 8 a6 c_1 u)) (minus (times 8 a7
b18 u)) (minus (times 4 a7 b8 u)) (times 4 a7 b9 u) (times 36 a7 c_1) (minus (
times 4 a8 b8 u)) (minus (times 4 a8 b9 u)) (minus (times 12 a8 c_1)) (times 8 
a9 b19) (times 4 a9 b8 u) (times 4 a9 b9 u) (times 20 a9 c_1)) (partitioned) (
kern a1 a10 a18 a19 a6 a7 a8 a9 b19 b8 b9 c_1 u b18 b1 b6) (fct_kern_lin) (
fct_kern_nli) (fcts b1 b6 b8 b9 b19 b18 a1 a6 a8 a9 a18 a7 a10 a19 c_1) (vars u)
(nvars . 1) (level) (derivs ((b1) . 1) ((b6) . 1) ((b8) . 1) ((b9) . 1) ((b19)
 . 1) ((b18) . 1) ((a1) . 1) ((a6) . 1) ((a8) . 1) ((a9) . 1) ((a18) . 1) ((a7)
 . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 25) (length . 33) (printlength . 71) (rational b1 b6 b8 b9
b19 b18 a1 a6 a8 a9 a18 a7 a10 a19 c_1) (nonrational) (allvarfcts b1 b6 b8 b9 
b19 b18 a1 a6 a8 a9 a18 a7 a10 a19) (starde) (dec_with) (dec_with_rl) (rl_with)
(hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff 
to_decoup to_eval)) (e_18 ((sqval ((((df a18 u) . 1) ((b19 . 1) ((u . 1) . 3)) (
(c_1 . 1) ((u . 1) . 3))) (((df a19 u) . 1) ((b18 . 1) ((u . 1) . 24)) ((b8 . 1)
((u . 1) . 24)) ((c_1 . 1) . -72)) (((df b18 u) . 1) ((a10 . 1) ((u . 1) . -8))
((a19 . 1) ((u . 1) . 104))) (((df b19 u) . 1) ((a10 . 1) . -72) ((a18 . 1) ((u
 . 1) . -3)) ((a7 . 1) ((u . 1) . 12)) ((a8 . 1) ((u . 1) . -12)) ((a9 . 1) ((u
 . 1) . 12))) ((a10 . 1) ((b13 . 1) . 24) ((b16 . 1) ((u . 1) . -48)) ((b18 . 1)
 . 152)) ((a13 . 1) ((b19 . 1) . 216)) ((a15 . 1) ((b19 . 1) ((u . 1) . -216)))
((a16 . 1) ((b19 . 1) ((u . 1) . -216))) ((a18 . 1) ((b18 . 1) ((u . 1) . 12)) (
(b19 . 1) . 30) ((b8 . 1) ((u . 1) . 18)) ((c_1 . 1) . -60)) ((a19 . 1) ((b13 . 
1) . -168) ((b16 . 1) ((u . 1) . 336)) ((b18 . 1) . -248)) ((a7 . 1) ((b18 . 1)
((u . 1) . -24))) ((a8 . 1) ((b18 . 1) ((u . 1) . 24))) ((a9 . 1) ((b18 . 1) ((u
 . 1) . -24)))) . 1) (fac . 2) (pval plus (times 3 (df a18 u) b19 u) (times 3 (
df a18 u) c_1 u) (times 24 (df a19 u) b18 u) (times 24 (df a19 u) b8 u) (minus (
times 72 (df a19 u) c_1)) (minus (times 8 (df b18 u) a10 u)) (times 104 (df b18
u) a19 u) (minus (times 72 (df b19 u) a10)) (minus (times 3 (df b19 u) a18 u)) (
times 12 (df b19 u) a7 u) (minus (times 12 (df b19 u) a8 u)) (times 12 (df b19 u
) a9 u) (times 24 a10 b13) (minus (times 48 a10 b16 u)) (times 152 a10 b18) (
times 216 a13 b19) (minus (times 216 a15 b19 u)) (minus (times 216 a16 b19 u)) (
times 12 a18 b18 u) (times 30 a18 b19) (times 18 a18 b8 u) (minus (times 60 a18
c_1)) (minus (times 168 a19 b13)) (times 336 a19 b16 u) (minus (times 248 a19 
b18)) (minus (times 24 a7 b18 u)) (times 24 a8 b18 u) (minus (times 24 a9 b18 u)
)) (partitioned) (kern (df a18 u) (df a19 u) (df b18 u) (df b19 u) a10 a13 a15 
a16 a18 a19 a7 a8 a9 b18 u b13 b16 b19 b8 c_1) (fct_kern_lin) (fct_kern_nli) (
fcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 
1) (level) (derivs ((b13) . 1) ((b16) . 1) ((b8) . 1) ((b19 u) . 1) ((b19) . 1)
((b18 u) . 1) ((b18) . 1) ((a16) . 1) ((a13) . 1) ((a15) . 1) ((a8) . 1) ((a9)
 . 1) ((a18 u) . 1) ((a18) . 1) ((a7) . 1) ((a10) . 1) ((a19 u) . 1) ((a19) . 1)
((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin)
(fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 28) (length . 41) (
printlength . 88) (rational b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 a19
c_1) (nonrational) (allvarfcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 
a19) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_
) (histry_)) (to_symbol to_under to_diff to_decoup to_eval)) (e_19 ((sqval ((((
df a10 u) . 1) ((b18 . 1) ((u . 1) . 4)) ((b19 . 1) . -12) ((b8 . 1) ((u . 1) . 
4)) ((c_1 . 1) . -24)) (((df a7 u) . 1) ((b19 . 1) ((u . 1) . 2)) ((c_1 . 1) ((u
 . 1) . 2))) (((df a8 u) . 1) ((b19 . 1) ((u . 1) . -2)) ((c_1 . 1) ((u . 1) . 
-2))) (((df a9 u) . 1) ((b19 . 1) ((u . 1) . 2)) ((c_1 . 1) ((u . 1) . 2))) (((
df b8 u) . 1) ((a10 . 1) ((u . 1) . -20)) ((a19 . 1) ((u . 1) . 4))) ((a1 . 1) (
(c_1 . 1) . -36)) ((a10 . 1) ((b1 . 1) . -28) ((b6 . 1) ((u . 1) . 56)) ((b8 . 1
) . 70) ((b9 . 1) . -70)) ((a18 . 1) ((b8 . 1) ((u . 1) . 2)) ((b9 . 1) ((u . 1)
 . 1))) ((a19 . 1) ((b1 . 1) . 4) ((b6 . 1) ((u . 1) . -8)) ((b8 . 1) . 2) ((b9
 . 1) . 14)) ((a3 . 1) ((c_1 . 1) ((u . 1) . 36))) ((a6 . 1) ((c_1 . 1) ((u . 1)
 . 36))) ((a7 . 1) ((b18 . 1) ((u . 1) . 12)) ((b8 . 1) ((u . 1) . 12)) ((b9 . 1
) ((u . 1) . -4)) ((c_1 . 1) . -60)) ((a8 . 1) ((b19 . 1) . -2) ((b9 . 1) ((u . 
1) . 4)) ((c_1 . 1) . 94)) ((a9 . 1) ((b18 . 1) ((u . 1) . 4)) ((b8 . 1) ((u . 1
) . 4)) ((b9 . 1) ((u . 1) . -4)) ((c_1 . 1) . -108))) . 1) (fac . 2) (pval plus
(times 4 (df a10 u) b18 u) (minus (times 12 (df a10 u) b19)) (times 4 (df a10 u)
b8 u) (minus (times 24 (df a10 u) c_1)) (times 2 (df a7 u) b19 u) (times 2 (df 
a7 u) c_1 u) (minus (times 2 (df a8 u) b19 u)) (minus (times 2 (df a8 u) c_1 u))
(times 2 (df a9 u) b19 u) (times 2 (df a9 u) c_1 u) (minus (times 20 (df b8 u) 
a10 u)) (times 4 (df b8 u) a19 u) (minus (times 36 a1 c_1)) (minus (times 28 a10
b1)) (times 56 a10 b6 u) (times 70 a10 b8) (minus (times 70 a10 b9)) (times 2 
a18 b8 u) (times a18 b9 u) (times 4 a19 b1) (minus (times 8 a19 b6 u)) (times 2
a19 b8) (times 14 a19 b9) (times 36 a3 c_1 u) (times 36 a6 c_1 u) (times 12 a7 
b18 u) (times 12 a7 b8 u) (minus (times 4 a7 b9 u)) (minus (times 60 a7 c_1)) (
minus (times 2 a8 b19)) (times 4 a8 b9 u) (times 94 a8 c_1) (times 4 a9 b18 u) (
times 4 a9 b8 u) (minus (times 4 a9 b9 u)) (minus (times 108 a9 c_1))) (
partitioned) (kern (df a10 u) (df a7 u) (df a8 u) (df a9 u) (df b8 u) a1 a10 a18
a19 a3 a6 a7 a8 a9 b18 b8 b9 c_1 u b19 b1 b6) (fct_kern_lin) (fct_kern_nli) (
fcts b1 b6 b8 b9 b19 b18 a1 a3 a6 a8 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 1)
(level) (derivs ((b1) . 1) ((b6) . 1) ((b8 u) . 1) ((b8) . 1) ((b9) . 1) ((b19)
 . 1) ((b18) . 1) ((a1) . 1) ((a3) . 1) ((a6) . 1) ((a8 u) . 1) ((a8) . 1) ((a9
u) . 1) ((a9) . 1) ((a18) . 1) ((a7 u) . 1) ((a7) . 1) ((a10 u) . 1) ((a10) . 1)
((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 36) (length . 50
) (printlength . 109) (rational b1 b6 b8 b9 b19 b18 a1 a3 a6 a8 a9 a18 a7 a10 
a19 c_1) (nonrational) (allvarfcts b1 b6 b8 b9 b19 b18 a1 a3 a6 a8 a9 a18 a7 a10
a19) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_
) (histry_)) (to_symbol to_under to_diff to_decoup to_eval)) (e_21 ((sqval ((((
df a18 u) . 1) ((b18 . 1) ((u . 2) . 2)) ((b8 . 1) ((u . 2) . 2)) ((c_1 . 1) ((u
 . 1) . -6))) (((df b18 u) . 1) ((a10 . 1) ((u . 1) . 48)) ((a18 . 1) ((u . 2)
 . 8)) ((a19 . 1) ((u . 1) . -144)) ((a7 . 1) ((u . 2) . -8)) ((a8 . 1) ((u . 2)
 . 8)) ((a9 . 1) ((u . 2) . -8))) (((df b8 u) . 1) ((a18 . 1) ((u . 2) . 6))) ((
a1 . 1) ((b18 . 1) ((u . 1) . 12))) ((a10 . 1) ((b13 . 1) . -72) ((b16 . 1) ((u
 . 1) . 144)) ((b18 . 1) . -96)) ((a13 . 1) ((b18 . 1) ((u . 1) . 68)) ((b19 . 1
) . -216) ((b8 . 1) ((u . 1) . 8)) ((c_1 . 1) . -24)) ((a15 . 1) ((b18 . 1) ((u
 . 2) . -76)) ((b19 . 1) ((u . 1) . 216)) ((b8 . 1) ((u . 2) . -16)) ((c_1 . 1)
((u . 1) . 48))) ((a16 . 1) ((b18 . 1) ((u . 2) . -60)) ((b19 . 1) ((u . 1) . 
216))) ((a18 . 1) ((b1 . 1) ((u . 1) . 9)) ((b13 . 1) ((u . 1) . -12)) ((b16 . 1
) ((u . 2) . 24)) ((b18 . 1) ((u . 1) . -4)) ((b19 . 1) . -12) ((b6 . 1) ((u . 2
) . -18)) ((b8 . 1) ((u . 1) . -16)) ((b9 . 1) ((u . 1) . 27)) ((c_1 . 1) . 84))
((a19 . 1) ((b13 . 1) . 216) ((b16 . 1) ((u . 1) . -432)) ((b18 . 1) . 24)) ((a3
 . 1) ((b18 . 1) ((u . 2) . -12))) ((a6 . 1) ((b18 . 1) ((u . 2) . -12))) ((a7
 . 1) ((b13 . 1) ((u . 1) . 12)) ((b16 . 1) ((u . 2) . -24)) ((b18 . 1) ((u . 1)
 . 4))) ((a8 . 1) ((b13 . 1) ((u . 1) . -12)) ((b16 . 1) ((u . 2) . 24)) ((b18
 . 1) ((u . 1) . -28))) ((a9 . 1) ((b13 . 1) ((u . 1) . 12)) ((b16 . 1) ((u . 2)
 . -24)) ((b18 . 1) ((u . 1) . 28)))) . 1) (fac . 2) (pval plus (times 2 (df a18
u) b18 (expt u 2)) (times 2 (df a18 u) b8 (expt u 2)) (minus (times 6 (df a18 u)
c_1 u)) (times 48 (df b18 u) a10 u) (times 8 (df b18 u) a18 (expt u 2)) (minus (
times 144 (df b18 u) a19 u)) (minus (times 8 (df b18 u) a7 (expt u 2))) (times 8
(df b18 u) a8 (expt u 2)) (minus (times 8 (df b18 u) a9 (expt u 2))) (times 6 (
df b8 u) a18 (expt u 2)) (times 12 a1 b18 u) (minus (times 72 a10 b13)) (times 
144 a10 b16 u) (minus (times 96 a10 b18)) (times 68 a13 b18 u) (minus (times 216
a13 b19)) (times 8 a13 b8 u) (minus (times 24 a13 c_1)) (minus (times 76 a15 b18
(expt u 2))) (times 216 a15 b19 u) (minus (times 16 a15 b8 (expt u 2))) (times 
48 a15 c_1 u) (minus (times 60 a16 b18 (expt u 2))) (times 216 a16 b19 u) (times
9 a18 b1 u) (minus (times 12 a18 b13 u)) (times 24 a18 b16 (expt u 2)) (minus (
times 4 a18 b18 u)) (minus (times 12 a18 b19)) (minus (times 18 a18 b6 (expt u 2
))) (minus (times 16 a18 b8 u)) (times 27 a18 b9 u) (times 84 a18 c_1) (times 
216 a19 b13) (minus (times 432 a19 b16 u)) (times 24 a19 b18) (minus (times 12 
a3 b18 (expt u 2))) (minus (times 12 a6 b18 (expt u 2))) (times 12 a7 b13 u) (
minus (times 24 a7 b16 (expt u 2))) (times 4 a7 b18 u) (minus (times 12 a8 b13 u
)) (times 24 a8 b16 (expt u 2)) (minus (times 28 a8 b18 u)) (times 12 a9 b13 u)
(minus (times 24 a9 b16 (expt u 2))) (times 28 a9 b18 u)) (partitioned) (kern (
df a18 u) (df b18 u) (df b8 u) a1 a10 a13 a15 a16 a18 a19 a3 a6 a7 a8 a9 b13 b16
b18 u b1 b19 b6 b8 b9 c_1) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8
b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 1) (
level) (derivs ((b1) . 1) ((b6) . 1) ((b13) . 1) ((b16) . 1) ((b8 u) . 1) ((b8)
 . 1) ((b9) . 1) ((b19) . 1) ((b18 u) . 1) ((b18) . 1) ((a1) . 1) ((a3) . 1) ((
a6) . 1) ((a16) . 1) ((a13) . 1) ((a15) . 1) ((a8) . 1) ((a9) . 1) ((a18 u) . 1)
((a18) . 1) ((a7) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 47) (length . 62) (printlength . 165) (
rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 
c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15
a8 a9 a18 a7 a10 a19) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (
split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_eval))
(e_23 ((sqval ((((df a10 u) . 1) ((b18 . 1) ((u . 1) . 48)) ((b8 . 1) ((u . 1)
 . 48)) ((c_1 . 1) . -144)) (((df a7 u) . 1) ((b18 . 1) ((u . 2) . -8)) ((b8 . 1
) ((u . 2) . -8)) ((c_1 . 1) ((u . 1) . 24))) (((df a8 u) . 1) ((b18 . 1) ((u . 
2) . 8)) ((b8 . 1) ((u . 2) . 8)) ((c_1 . 1) ((u . 1) . -24))) (((df a9 u) . 1)
((b18 . 1) ((u . 2) . -8)) ((b8 . 1) ((u . 2) . -8)) ((c_1 . 1) ((u . 1) . 24)))
(((df b18 u) . 1) ((a7 . 1) ((u . 2) . -16)) ((a9 . 1) ((u . 2) . -8))) (((df b8
u) . 1) ((a10 . 1) ((u . 1) . -192)) ((a18 . 1) ((u . 2) . -2)) ((a7 . 1) ((u . 
2) . -8)) ((a8 . 1) ((u . 2) . -8))) ((a1 . 1) ((b18 . 1) ((u . 1) . 8)) ((b8 . 
1) ((u . 1) . 44)) ((b9 . 1) ((u . 1) . -24)) ((c_1 . 1) . -384)) ((a10 . 1) ((
b1 . 1) . -288) ((b6 . 1) ((u . 1) . 576)) ((b8 . 1) . 120) ((b9 . 1) . -720)) (
(a13 . 1) ((b8 . 1) ((u . 1) . 36)) ((b9 . 1) ((u . 1) . 24))) ((a15 . 1) ((b8
 . 1) ((u . 2) . -36)) ((b9 . 1) ((u . 2) . -24))) ((a16 . 1) ((b8 . 1) ((u . 2)
 . -36)) ((b9 . 1) ((u . 2) . -24))) ((a18 . 1) ((b1 . 1) ((u . 1) . -3)) ((b6
 . 1) ((u . 2) . 6)) ((b8 . 1) ((u . 1) . 6)) ((b9 . 1) ((u . 1) . -3))) ((a3 . 
1) ((b8 . 1) ((u . 2) . -36)) ((b9 . 1) ((u . 2) . 24)) ((c_1 . 1) ((u . 1) . 
360))) ((a6 . 1) ((b18 . 1) ((u . 2) . -16)) ((b8 . 1) ((u . 2) . -52)) ((b9 . 1
) ((u . 2) . 24)) ((c_1 . 1) ((u . 1) . 408))) ((a7 . 1) ((b1 . 1) ((u . 1) . 
-12)) ((b13 . 1) ((u . 1) . 24)) ((b16 . 1) ((u . 2) . -48)) ((b18 . 1) ((u . 1)
 . 16)) ((b6 . 1) ((u . 2) . 24)) ((b8 . 1) ((u . 1) . 24)) ((b9 . 1) ((u . 1)
 . -36)) ((c_1 . 1) . -120)) ((a8 . 1) ((b1 . 1) ((u . 1) . -12)) ((b18 . 1) ((u
 . 1) . 8)) ((b6 . 1) ((u . 2) . 24)) ((b8 . 1) ((u . 1) . -48)) ((b9 . 1) ((u
 . 1) . 12)) ((c_1 . 1) . 600)) ((a9 . 1) ((b13 . 1) ((u . 1) . 12)) ((b16 . 1)
((u . 2) . -24)) ((b18 . 1) ((u . 1) . 20)) ((b8 . 1) ((u . 1) . 88)) ((b9 . 1)
((u . 1) . -48)) ((c_1 . 1) . -768))) . 1) (fac . 2) (pval plus (times 48 (df 
a10 u) b18 u) (times 48 (df a10 u) b8 u) (minus (times 144 (df a10 u) c_1)) (
minus (times 8 (df a7 u) b18 (expt u 2))) (minus (times 8 (df a7 u) b8 (expt u 2
))) (times 24 (df a7 u) c_1 u) (times 8 (df a8 u) b18 (expt u 2)) (times 8 (df 
a8 u) b8 (expt u 2)) (minus (times 24 (df a8 u) c_1 u)) (minus (times 8 (df a9 u
) b18 (expt u 2))) (minus (times 8 (df a9 u) b8 (expt u 2))) (times 24 (df a9 u)
c_1 u) (minus (times 16 (df b18 u) a7 (expt u 2))) (minus (times 8 (df b18 u) a9
(expt u 2))) (minus (times 192 (df b8 u) a10 u)) (minus (times 2 (df b8 u) a18 (
expt u 2))) (minus (times 8 (df b8 u) a7 (expt u 2))) (minus (times 8 (df b8 u)
a8 (expt u 2))) (times 8 a1 b18 u) (times 44 a1 b8 u) (minus (times 24 a1 b9 u))
(minus (times 384 a1 c_1)) (minus (times 288 a10 b1)) (times 576 a10 b6 u) (
times 120 a10 b8) (minus (times 720 a10 b9)) (times 36 a13 b8 u) (times 24 a13 
b9 u) (minus (times 36 a15 b8 (expt u 2))) (minus (times 24 a15 b9 (expt u 2)))
(minus (times 36 a16 b8 (expt u 2))) (minus (times 24 a16 b9 (expt u 2))) (minus
(times 3 a18 b1 u)) (times 6 a18 b6 (expt u 2)) (times 6 a18 b8 u) (minus (times
3 a18 b9 u)) (minus (times 36 a3 b8 (expt u 2))) (times 24 a3 b9 (expt u 2)) (
times 360 a3 c_1 u) (minus (times 16 a6 b18 (expt u 2))) (minus (times 52 a6 b8
(expt u 2))) (times 24 a6 b9 (expt u 2)) (times 408 a6 c_1 u) (minus (times 12 
a7 b1 u)) (times 24 a7 b13 u) (minus (times 48 a7 b16 (expt u 2))) (times 16 a7
b18 u) (times 24 a7 b6 (expt u 2)) (times 24 a7 b8 u) (minus (times 36 a7 b9 u))
(minus (times 120 a7 c_1)) (minus (times 12 a8 b1 u)) (times 8 a8 b18 u) (times
24 a8 b6 (expt u 2)) (minus (times 48 a8 b8 u)) (times 12 a8 b9 u) (times 600 a8
c_1) (times 12 a9 b13 u) (minus (times 24 a9 b16 (expt u 2))) (times 20 a9 b18 u
) (times 88 a9 b8 u) (minus (times 48 a9 b9 u)) (minus (times 768 a9 c_1))) (
partitioned) (kern (df a10 u) (df a7 u) (df a8 u) (df a9 u) (df b18 u) (df b8 u)
a1 a10 a13 a15 a16 a18 a3 a6 a7 a8 a9 b13 b16 b18 b8 b9 c_1 u b1 b6) (
fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15
a8 a9 a18 a7 a10 c_1) (vars u) (nvars . 1) (level) (derivs ((b1) . 1) ((b6) . 1)
((b13) . 1) ((b16) . 1) ((b8 u) . 1) ((b8) . 1) ((b9) . 1) ((b18 u) . 1) ((b18)
 . 1) ((a1) . 1) ((a3) . 1) ((a6) . 1) ((a16) . 1) ((a13) . 1) ((a15) . 1) ((a8
u) . 1) ((a8) . 1) ((a9 u) . 1) ((a9) . 1) ((a18) . 1) ((a7 u) . 1) ((a7) . 1) (
(a10 u) . 1) ((a10) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 63
) (length . 80) (printlength . 223) (rational b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 
a16 a13 a15 a8 a9 a18 a7 a10 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9
b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff
to_decoup to_eval)) (e_20 ((sqval ((((df a13 u) . 1) ((b19 . 1) ((u . 1) . 12))
((c_1 . 1) ((u . 1) . 12))) (((df a15 u) . 1) ((b19 . 1) ((u . 2) . -12)) ((c_1
 . 1) ((u . 2) . -12))) (((df a16 u) . 1) ((b19 . 1) ((u . 2) . -12)) ((c_1 . 1)
((u . 2) . -12))) (((df a19 u) . 1) (((df b18 u) . 1) ((u . 2) . -8)) (((df b8 u
) . 1) ((u . 2) . -8)) ((b1 . 1) ((u . 1) . -12)) ((b13 . 1) ((u . 1) . 12)) ((
b16 . 1) ((u . 2) . -24)) ((b18 . 1) ((u . 1) . -4)) ((b6 . 1) ((u . 2) . 24)) (
(b8 . 1) ((u . 1) . 8)) ((b9 . 1) ((u . 1) . -36)) ((c_1 . 1) . -72)) (((df b13
u) . 1) ((a10 . 1) ((u . 1) . 12)) ((a19 . 1) ((u . 1) . -12))) (((df b16 u) . 1
) ((a10 . 1) ((u . 2) . -24)) ((a19 . 1) ((u . 2) . 24))) (((df b18 u 2) . 1) ((
a10 . 1) ((u . 2) . -8)) ((a19 . 1) ((u . 2) . 8))) (((df b18 u) . 1) ((a10 . 1)
((u . 1) . -132)) ((a18 . 1) ((u . 2) . -4)) ((a19 . 1) ((u . 1) . 164)) ((a7 . 
1) ((u . 2) . 16)) ((a8 . 1) ((u . 2) . -16)) ((a9 . 1) ((u . 2) . 16))) (((df 
b19 u) . 1) ((a1 . 1) ((u . 1) . 12)) ((a10 . 1) . -72) ((a13 . 1) ((u . 1) . 
-12)) ((a15 . 1) ((u . 2) . 12)) ((a16 . 1) ((u . 2) . 12)) ((a3 . 1) ((u . 2)
 . -12)) ((a6 . 1) ((u . 2) . -12)) ((a8 . 1) ((u . 1) . -24)) ((a9 . 1) ((u . 1
) . 24))) ((a1 . 1) ((b18 . 1) ((u . 1) . -12))) ((a10 . 1) ((b13 . 1) . 96) ((
b16 . 1) ((u . 1) . -216)) ((b18 . 1) . 12)) ((a13 . 1) ((b18 . 1) ((u . 1) . 
-36)) ((b19 . 1) . 240) ((b8 . 1) ((u . 1) . -24)) ((c_1 . 1) . 96)) ((a15 . 1)
((b18 . 1) ((u . 2) . 60)) ((b19 . 1) ((u . 1) . -264)) ((b8 . 1) ((u . 2) . 48)
) ((c_1 . 1) ((u . 1) . -192))) ((a16 . 1) ((b18 . 1) ((u . 2) . 12)) ((b19 . 1)
((u . 1) . -240)) ((c_1 . 1) ((u . 1) . -24))) ((a18 . 1) ((b13 . 1) ((u . 1) . 
3)) ((b16 . 1) ((u . 2) . -6)) ((b18 . 1) ((u . 1) . -8)) ((b19 . 1) . 18)) ((
a19 . 1) ((b13 . 1) . -192) ((b16 . 1) ((u . 1) . 408)) ((b18 . 1) . -68)) ((a3
 . 1) ((b18 . 1) ((u . 2) . 12))) ((a6 . 1) ((b18 . 1) ((u . 2) . 12))) ((a7 . 1
) ((b13 . 1) ((u . 1) . -12)) ((b16 . 1) ((u . 2) . 24)) ((b18 . 1) ((u . 1) . 8
))) ((a8 . 1) ((b13 . 1) ((u . 1) . 12)) ((b16 . 1) ((u . 2) . -24)) ((b18 . 1)
((u . 1) . 16))) ((a9 . 1) ((b13 . 1) ((u . 1) . -12)) ((b16 . 1) ((u . 2) . 24)
) ((b18 . 1) ((u . 1) . -16)))) . 1) (fac . 2) (pval plus (times 12 (df a13 u) 
b19 u) (times 12 (df a13 u) c_1 u) (minus (times 12 (df a15 u) b19 (expt u 2)))
(minus (times 12 (df a15 u) c_1 (expt u 2))) (minus (times 12 (df a16 u) b19 (
expt u 2))) (minus (times 12 (df a16 u) c_1 (expt u 2))) (minus (times 8 (df a19
u) (df b18 u) (expt u 2))) (minus (times 8 (df a19 u) (df b8 u) (expt u 2))) (
minus (times 12 (df a19 u) b1 u)) (times 12 (df a19 u) b13 u) (minus (times 24 (
df a19 u) b16 (expt u 2))) (minus (times 4 (df a19 u) b18 u)) (times 24 (df a19
u) b6 (expt u 2)) (times 8 (df a19 u) b8 u) (minus (times 36 (df a19 u) b9 u)) (
minus (times 72 (df a19 u) c_1)) (times 12 (df b13 u) a10 u) (minus (times 12 (
df b13 u) a19 u)) (minus (times 24 (df b16 u) a10 (expt u 2))) (times 24 (df b16
u) a19 (expt u 2)) (minus (times 8 (df b18 u 2) a10 (expt u 2))) (times 8 (df 
b18 u 2) a19 (expt u 2)) (minus (times 132 (df b18 u) a10 u)) (minus (times 4 (
df b18 u) a18 (expt u 2))) (times 164 (df b18 u) a19 u) (times 16 (df b18 u) a7
(expt u 2)) (minus (times 16 (df b18 u) a8 (expt u 2))) (times 16 (df b18 u) a9
(expt u 2)) (times 12 (df b19 u) a1 u) (minus (times 72 (df b19 u) a10)) (minus
(times 12 (df b19 u) a13 u)) (times 12 (df b19 u) a15 (expt u 2)) (times 12 (df
b19 u) a16 (expt u 2)) (minus (times 12 (df b19 u) a3 (expt u 2))) (minus (times
12 (df b19 u) a6 (expt u 2))) (minus (times 24 (df b19 u) a8 u)) (times 24 (df 
b19 u) a9 u) (minus (times 12 a1 b18 u)) (times 96 a10 b13) (minus (times 216 
a10 b16 u)) (times 12 a10 b18) (minus (times 36 a13 b18 u)) (times 240 a13 b19)
(minus (times 24 a13 b8 u)) (times 96 a13 c_1) (times 60 a15 b18 (expt u 2)) (
minus (times 264 a15 b19 u)) (times 48 a15 b8 (expt u 2)) (minus (times 192 a15
c_1 u)) (times 12 a16 b18 (expt u 2)) (minus (times 240 a16 b19 u)) (minus (
times 24 a16 c_1 u)) (times 3 a18 b13 u) (minus (times 6 a18 b16 (expt u 2))) (
minus (times 8 a18 b18 u)) (times 18 a18 b19) (minus (times 192 a19 b13)) (times
408 a19 b16 u) (minus (times 68 a19 b18)) (times 12 a3 b18 (expt u 2)) (times 12
a6 b18 (expt u 2)) (minus (times 12 a7 b13 u)) (times 24 a7 b16 (expt u 2)) (
times 8 a7 b18 u) (times 12 a8 b13 u) (minus (times 24 a8 b16 (expt u 2))) (
times 16 a8 b18 u) (minus (times 12 a9 b13 u)) (times 24 a9 b16 (expt u 2)) (
minus (times 16 a9 b18 u))) (partitioned) (kern (df a13 u) (df a15 u) (df a16 u)
(df a19 u) (df b13 u) (df b16 u) (df b18 u 2) (df b18 u) (df b19 u) a1 a10 a13 
a15 a16 a18 a19 a3 a6 a7 a8 a9 b13 b16 b18 u b19 c_1 b8 (df b8 u) b1 b6 b9) (
fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13
a15 a8 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b1) . 1) ((
b6) . 1) ((b13 u) . 1) ((b13) . 1) ((b16 u) . 1) ((b16) . 1) ((b8 u) . 1) ((b8)
 . 1) ((b9) . 1) ((b19 u) . 1) ((b19) . 1) ((b18 u 2) . 1) ((b18 u) . 1) ((b18)
 . 1) ((a1) . 1) ((a3) . 1) ((a6) . 1) ((a16 u) . 1) ((a16) . 1) ((a13 u) . 1) (
(a13) . 1) ((a15 u) . 1) ((a15) . 1) ((a8) . 1) ((a9) . 1) ((a18) . 1) ((a7) . 1
) ((a10) . 1) ((a19 u) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 70) (length . 91) (printlength . 251) (rational b1 b6 b13
b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (nonrational) (
allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19
) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (
histry_)) (to_symbol to_under to_diff to_decoup to_eval)) (e_22 ((sqval ((((df 
a1 u) . 1) ((b19 . 1) ((u . 1) . 12)) ((c_1 . 1) ((u . 1) . 12))) (((df a10 u)
 . 1) (((df b18 u) . 1) ((u . 2) . -8)) (((df b8 u) . 1) ((u . 2) . -8)) ((b1 . 
1) ((u . 1) . -12)) ((b13 . 1) ((u . 1) . 12)) ((b16 . 1) ((u . 2) . -24)) ((b18
 . 1) ((u . 1) . -4)) ((b19 . 1) . -72) ((b6 . 1) ((u . 2) . 24)) ((b8 . 1) ((u
 . 1) . 8)) ((b9 . 1) ((u . 1) . -36)) ((c_1 . 1) . -144)) (((df a3 u) . 1) ((
b19 . 1) ((u . 2) . -12)) ((c_1 . 1) ((u . 2) . -12))) (((df a6 u) . 1) ((b19 . 
1) ((u . 2) . -12)) ((c_1 . 1) ((u . 2) . -12))) (((df a8 u) . 1) ((b19 . 1) ((u
 . 1) . -24)) ((c_1 . 1) ((u . 1) . -24))) (((df a9 u) . 1) ((b19 . 1) ((u . 1)
 . 24)) ((c_1 . 1) ((u . 1) . 24))) (((df b1 u) . 1) ((a10 . 1) ((u . 1) . 12))
((a19 . 1) ((u . 1) . -12))) (((df b18 u) . 1) ((a7 . 1) ((u . 2) . -24))) (((df
b6 u) . 1) ((a10 . 1) ((u . 2) . -24)) ((a19 . 1) ((u . 2) . 24))) (((df b8 u 2)
 . 1) ((a10 . 1) ((u . 2) . 8)) ((a19 . 1) ((u . 2) . -8))) (((df b8 u) . 1) ((
a10 . 1) ((u . 1) . -88)) ((a19 . 1) ((u . 1) . -8)) ((a7 . 1) ((u . 2) . -24)))
(((df b9 u) . 1) ((a10 . 1) ((u . 1) . 36)) ((a19 . 1) ((u . 1) . -36))) ((a1 . 
1) ((b18 . 1) ((u . 1) . 24)) ((b8 . 1) ((u . 1) . 12)) ((b9 . 1) ((u . 1) . -24
)) ((c_1 . 1) . -288)) ((a10 . 1) ((b1 . 1) . -240) ((b6 . 1) ((u . 1) . 456)) (
(b8 . 1) . 448) ((b9 . 1) . -324)) ((a13 . 1) ((b8 . 1) ((u . 1) . 36)) ((b9 . 1
) ((u . 1) . 24))) ((a15 . 1) ((b8 . 1) ((u . 2) . -36)) ((b9 . 1) ((u . 2) . 
-24))) ((a16 . 1) ((b8 . 1) ((u . 2) . -36)) ((b9 . 1) ((u . 2) . -24))) ((a18
 . 1) ((b1 . 1) ((u . 1) . -3)) ((b6 . 1) ((u . 2) . 6)) ((b8 . 1) ((u . 1) . 15
)) ((b9 . 1) ((u . 1) . 9))) ((a19 . 1) ((b1 . 1) . 48) ((b6 . 1) ((u . 1) . -72
)) ((b8 . 1) . 8) ((b9 . 1) . 84)) ((a3 . 1) ((b19 . 1) ((u . 1) . -24)) ((b8 . 
1) ((u . 2) . 12)) ((b9 . 1) ((u . 2) . 24)) ((c_1 . 1) ((u . 1) . 192))) ((a6
 . 1) ((b18 . 1) ((u . 2) . -48)) ((b8 . 1) ((u . 2) . -36)) ((b9 . 1) ((u . 2)
 . 24)) ((c_1 . 1) ((u . 1) . 360))) ((a7 . 1) ((b1 . 1) ((u . 1) . -24)) ((b13
 . 1) ((u . 1) . 36)) ((b16 . 1) ((u . 2) . -72)) ((b18 . 1) ((u . 1) . 36)) ((
b6 . 1) ((u . 2) . 48)) ((b8 . 1) ((u . 1) . 60)) ((b9 . 1) ((u . 1) . -120)) ((
c_1 . 1) . -432)) ((a8 . 1) ((b1 . 1) ((u . 1) . -12)) ((b19 . 1) . -24) ((b6 . 
1) ((u . 2) . 24)) ((b8 . 1) ((u . 1) . 36)) ((b9 . 1) ((u . 1) . 60)) ((c_1 . 1
) . 480)) ((a9 . 1) ((b1 . 1) ((u . 1) . 12)) ((b18 . 1) ((u . 1) . 48)) ((b6 . 
1) ((u . 2) . -24)) ((b8 . 1) ((u . 1) . 12)) ((b9 . 1) ((u . 1) . -60)) ((c_1
 . 1) . -648))) . 1) (fac . 2) (pval plus (times 12 (df a1 u) b19 u) (times 12 (
df a1 u) c_1 u) (minus (times 8 (df a10 u) (df b18 u) (expt u 2))) (minus (times
8 (df a10 u) (df b8 u) (expt u 2))) (minus (times 12 (df a10 u) b1 u)) (times 12
(df a10 u) b13 u) (minus (times 24 (df a10 u) b16 (expt u 2))) (minus (times 4 (
df a10 u) b18 u)) (minus (times 72 (df a10 u) b19)) (times 24 (df a10 u) b6 (
expt u 2)) (times 8 (df a10 u) b8 u) (minus (times 36 (df a10 u) b9 u)) (minus (
times 144 (df a10 u) c_1)) (minus (times 12 (df a3 u) b19 (expt u 2))) (minus (
times 12 (df a3 u) c_1 (expt u 2))) (minus (times 12 (df a6 u) b19 (expt u 2)))
(minus (times 12 (df a6 u) c_1 (expt u 2))) (minus (times 24 (df a8 u) b19 u)) (
minus (times 24 (df a8 u) c_1 u)) (times 24 (df a9 u) b19 u) (times 24 (df a9 u)
c_1 u) (times 12 (df b1 u) a10 u) (minus (times 12 (df b1 u) a19 u)) (minus (
times 24 (df b18 u) a7 (expt u 2))) (minus (times 24 (df b6 u) a10 (expt u 2)))
(times 24 (df b6 u) a19 (expt u 2)) (times 8 (df b8 u 2) a10 (expt u 2)) (minus
(times 8 (df b8 u 2) a19 (expt u 2))) (minus (times 88 (df b8 u) a10 u)) (minus
(times 8 (df b8 u) a19 u)) (minus (times 24 (df b8 u) a7 (expt u 2))) (times 36
(df b9 u) a10 u) (minus (times 36 (df b9 u) a19 u)) (times 24 a1 b18 u) (times 
12 a1 b8 u) (minus (times 24 a1 b9 u)) (minus (times 288 a1 c_1)) (minus (times
240 a10 b1)) (times 456 a10 b6 u) (times 448 a10 b8) (minus (times 324 a10 b9))
(times 36 a13 b8 u) (times 24 a13 b9 u) (minus (times 36 a15 b8 (expt u 2))) (
minus (times 24 a15 b9 (expt u 2))) (minus (times 36 a16 b8 (expt u 2))) (minus
(times 24 a16 b9 (expt u 2))) (minus (times 3 a18 b1 u)) (times 6 a18 b6 (expt u
2)) (times 15 a18 b8 u) (times 9 a18 b9 u) (times 48 a19 b1) (minus (times 72 
a19 b6 u)) (times 8 a19 b8) (times 84 a19 b9) (minus (times 24 a3 b19 u)) (times
12 a3 b8 (expt u 2)) (times 24 a3 b9 (expt u 2)) (times 192 a3 c_1 u) (minus (
times 48 a6 b18 (expt u 2))) (minus (times 36 a6 b8 (expt u 2))) (times 24 a6 b9
(expt u 2)) (times 360 a6 c_1 u) (minus (times 24 a7 b1 u)) (times 36 a7 b13 u)
(minus (times 72 a7 b16 (expt u 2))) (times 36 a7 b18 u) (times 48 a7 b6 (expt u
2)) (times 60 a7 b8 u) (minus (times 120 a7 b9 u)) (minus (times 432 a7 c_1)) (
minus (times 12 a8 b1 u)) (minus (times 24 a8 b19)) (times 24 a8 b6 (expt u 2))
(times 36 a8 b8 u) (times 60 a8 b9 u) (times 480 a8 c_1) (times 12 a9 b1 u) (
times 48 a9 b18 u) (minus (times 24 a9 b6 (expt u 2))) (times 12 a9 b8 u) (minus
(times 60 a9 b9 u)) (minus (times 648 a9 c_1))) (partitioned) (kern (df a1 u) (
df a10 u) (df a3 u) (df a6 u) (df a8 u) (df a9 u) (df b1 u) (df b18 u) (df b6 u)
(df b8 u 2) (df b8 u) (df b9 u) a1 a10 a13 a15 a16 a18 a19 a3 a6 a7 a8 a9 b1 b18
b6 b8 b9 c_1 u b19 b13 b16) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8
b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 1) (
level) (derivs ((b1 u) . 1) ((b1) . 1) ((b6 u) . 1) ((b6) . 1) ((b13) . 1) ((b16
) . 1) ((b8 u 2) . 1) ((b8 u) . 1) ((b8) . 1) ((b9 u) . 1) ((b9) . 1) ((b19) . 1
) ((b18 u) . 1) ((b18) . 1) ((a1 u) . 1) ((a1) . 1) ((a3 u) . 1) ((a3) . 1) ((a6
u) . 1) ((a6) . 1) ((a16) . 1) ((a13) . 1) ((a15) . 1) ((a8 u) . 1) ((a8) . 1) (
(a9 u) . 1) ((a9) . 1) ((a18) . 1) ((a7) . 1) ((a10 u) . 1) ((a10) . 1) ((a19)
 . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 83) (length . 
107) (printlength . 288) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13
a15 a8 a9 a18 a7 a10 a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19
b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19) (starde) (dec_with) (dec_with_rl)
(rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_eval)) (e_25 ((sqval ((((df a13 u) . 1) ((b18 . 1) ((u . 2)
 . 24)) ((b8 . 1) ((u . 2) . 24)) ((c_1 . 1) ((u . 1) . -72))) (((df a15 u) . 1)
((b18 . 1) ((u . 3) . -24)) ((b8 . 1) ((u . 3) . -24)) ((c_1 . 1) ((u . 2) . 72)
)) (((df a16 u) . 1) ((b18 . 1) ((u . 3) . -24)) ((b8 . 1) ((u . 3) . -24)) ((
c_1 . 1) ((u . 2) . 72))) (((df a18 u) . 1) (((df b18 u) . 1) ((u . 3) . -2)) ((
(df b8 u) . 1) ((u . 3) . -2)) ((b1 . 1) ((u . 2) . -3)) ((b13 . 1) ((u . 2) . 3
)) ((b16 . 1) ((u . 3) . -6)) ((b18 . 1) ((u . 2) . -1)) ((b6 . 1) ((u . 3) . 6)
) ((b8 . 1) ((u . 2) . 2)) ((b9 . 1) ((u . 2) . -9)) ((c_1 . 1) ((u . 1) . -18))
) (((df b13 u) . 1) ((a10 . 1) ((u . 1) . -72)) ((a18 . 1) ((u . 2) . -3)) ((a7
 . 1) ((u . 2) . 12)) ((a8 . 1) ((u . 2) . -12)) ((a9 . 1) ((u . 2) . 12))) (((
df b16 u) . 1) ((a10 . 1) ((u . 2) . 144)) ((a18 . 1) ((u . 3) . 6)) ((a7 . 1) (
(u . 3) . -24)) ((a8 . 1) ((u . 3) . 24)) ((a9 . 1) ((u . 3) . -24))) (((df b18
u 2) . 1) ((a10 . 1) ((u . 2) . 48)) ((a18 . 1) ((u . 3) . 2)) ((a7 . 1) ((u . 3
) . -8)) ((a8 . 1) ((u . 3) . 8)) ((a9 . 1) ((u . 3) . -8))) (((df b18 u) . 1) (
(a1 . 1) ((u . 2) . -56)) ((a10 . 1) ((u . 1) . 648)) ((a13 . 1) ((u . 2) . -16)
) ((a15 . 1) ((u . 3) . 40)) ((a16 . 1) ((u . 3) . -8)) ((a18 . 1) ((u . 2) . 49
)) ((a19 . 1) ((u . 1) . -576)) ((a3 . 1) ((u . 3) . 56)) ((a6 . 1) ((u . 3) . 
56)) ((a7 . 1) ((u . 2) . -52)) ((a8 . 1) ((u . 2) . 164)) ((a9 . 1) ((u . 2) . 
-164))) (((df b8 u) . 1) ((a13 . 1) ((u . 2) . -24)) ((a15 . 1) ((u . 3) . 48))
((a18 . 1) ((u . 2) . 16))) ((a1 . 1) ((b13 . 1) ((u . 1) . 60)) ((b16 . 1) ((u
 . 2) . -120)) ((b18 . 1) ((u . 1) . 8))) ((a10 . 1) ((b13 . 1) . -576) ((b16 . 
1) ((u . 1) . 1296)) ((b18 . 1) . 72)) ((a13 . 1) ((b1 . 1) ((u . 1) . -36)) ((
b13 . 1) ((u . 1) . 48)) ((b16 . 1) ((u . 2) . -96)) ((b18 . 1) ((u . 1) . 436))
((b19 . 1) . -864) ((b6 . 1) ((u . 2) . 72)) ((b8 . 1) ((u . 1) . 96)) ((b9 . 1)
((u . 1) . -108)) ((c_1 . 1) . -432)) ((a15 . 1) ((b1 . 1) ((u . 2) . 72)) ((b13
 . 1) ((u . 2) . -84)) ((b16 . 1) ((u . 3) . 168)) ((b18 . 1) ((u . 2) . -496))
((b19 . 1) ((u . 1) . 864)) ((b6 . 1) ((u . 3) . -144)) ((b8 . 1) ((u . 2) . 
-192)) ((b9 . 1) ((u . 2) . 216)) ((c_1 . 1) ((u . 1) . 864))) ((a16 . 1) ((b13
 . 1) ((u . 2) . -12)) ((b16 . 1) ((u . 3) . 24)) ((b18 . 1) ((u . 2) . -424)) (
(b19 . 1) ((u . 1) . 864)) ((b8 . 1) ((u . 2) . -48)) ((c_1 . 1) ((u . 1) . 144)
)) ((a18 . 1) ((b1 . 1) ((u . 1) . 24)) ((b13 . 1) ((u . 1) . -57)) ((b16 . 1) (
(u . 2) . 120)) ((b18 . 1) ((u . 1) . 29)) ((b19 . 1) . -18) ((b6 . 1) ((u . 2)
 . -48)) ((b8 . 1) ((u . 1) . -16)) ((b9 . 1) ((u . 1) . 72)) ((c_1 . 1) . 144))
((a19 . 1) ((b13 . 1) . 864) ((b16 . 1) ((u . 1) . -1728)) ((b18 . 1) . -144)) (
(a3 . 1) ((b13 . 1) ((u . 2) . -60)) ((b16 . 1) ((u . 3) . 120)) ((b18 . 1) ((u
 . 2) . -8))) ((a6 . 1) ((b13 . 1) ((u . 2) . -60)) ((b16 . 1) ((u . 3) . 120))
((b18 . 1) ((u . 2) . -8))) ((a7 . 1) ((b13 . 1) ((u . 1) . 36)) ((b16 . 1) ((u
 . 2) . -96)) ((b18 . 1) ((u . 1) . -20))) ((a8 . 1) ((b13 . 1) ((u . 1) . -156)
) ((b16 . 1) ((u . 2) . 336)) ((b18 . 1) ((u . 1) . 4))) ((a9 . 1) ((b13 . 1) ((
u . 1) . 156)) ((b16 . 1) ((u . 2) . -336)) ((b18 . 1) ((u . 1) . -4)))) . 1) (
fac . 2) (pval plus (times 24 (df a13 u) b18 (expt u 2)) (times 24 (df a13 u) b8
(expt u 2)) (minus (times 72 (df a13 u) c_1 u)) (minus (times 24 (df a15 u) b18
(expt u 3))) (minus (times 24 (df a15 u) b8 (expt u 3))) (times 72 (df a15 u) 
c_1 (expt u 2)) (minus (times 24 (df a16 u) b18 (expt u 3))) (minus (times 24 (
df a16 u) b8 (expt u 3))) (times 72 (df a16 u) c_1 (expt u 2)) (minus (times 2 (
df a18 u) (df b18 u) (expt u 3))) (minus (times 2 (df a18 u) (df b8 u) (expt u 3
))) (minus (times 3 (df a18 u) b1 (expt u 2))) (times 3 (df a18 u) b13 (expt u 2
)) (minus (times 6 (df a18 u) b16 (expt u 3))) (minus (times (df a18 u) b18 (
expt u 2))) (times 6 (df a18 u) b6 (expt u 3)) (times 2 (df a18 u) b8 (expt u 2)
) (minus (times 9 (df a18 u) b9 (expt u 2))) (minus (times 18 (df a18 u) c_1 u))
(minus (times 72 (df b13 u) a10 u)) (minus (times 3 (df b13 u) a18 (expt u 2)))
(times 12 (df b13 u) a7 (expt u 2)) (minus (times 12 (df b13 u) a8 (expt u 2)))
(times 12 (df b13 u) a9 (expt u 2)) (times 144 (df b16 u) a10 (expt u 2)) (times
6 (df b16 u) a18 (expt u 3)) (minus (times 24 (df b16 u) a7 (expt u 3))) (times
24 (df b16 u) a8 (expt u 3)) (minus (times 24 (df b16 u) a9 (expt u 3))) (times
48 (df b18 u 2) a10 (expt u 2)) (times 2 (df b18 u 2) a18 (expt u 3)) (minus (
times 8 (df b18 u 2) a7 (expt u 3))) (times 8 (df b18 u 2) a8 (expt u 3)) (minus
(times 8 (df b18 u 2) a9 (expt u 3))) (minus (times 56 (df b18 u) a1 (expt u 2))
) (times 648 (df b18 u) a10 u) (minus (times 16 (df b18 u) a13 (expt u 2))) (
times 40 (df b18 u) a15 (expt u 3)) (minus (times 8 (df b18 u) a16 (expt u 3)))
(times 49 (df b18 u) a18 (expt u 2)) (minus (times 576 (df b18 u) a19 u)) (times
56 (df b18 u) a3 (expt u 3)) (times 56 (df b18 u) a6 (expt u 3)) (minus (times 
52 (df b18 u) a7 (expt u 2))) (times 164 (df b18 u) a8 (expt u 2)) (minus (times
164 (df b18 u) a9 (expt u 2))) (minus (times 24 (df b8 u) a13 (expt u 2))) (
times 48 (df b8 u) a15 (expt u 3)) (times 16 (df b8 u) a18 (expt u 2)) (times 60
a1 b13 u) (minus (times 120 a1 b16 (expt u 2))) (times 8 a1 b18 u) (minus (times
576 a10 b13)) (times 1296 a10 b16 u) (times 72 a10 b18) (minus (times 36 a13 b1
u)) (times 48 a13 b13 u) (minus (times 96 a13 b16 (expt u 2))) (times 436 a13 
b18 u) (minus (times 864 a13 b19)) (times 72 a13 b6 (expt u 2)) (times 96 a13 b8
u) (minus (times 108 a13 b9 u)) (minus (times 432 a13 c_1)) (times 72 a15 b1 (
expt u 2)) (minus (times 84 a15 b13 (expt u 2))) (times 168 a15 b16 (expt u 3))
(minus (times 496 a15 b18 (expt u 2))) (times 864 a15 b19 u) (minus (times 144 
a15 b6 (expt u 3))) (minus (times 192 a15 b8 (expt u 2))) (times 216 a15 b9 (
expt u 2)) (times 864 a15 c_1 u) (minus (times 12 a16 b13 (expt u 2))) (times 24
a16 b16 (expt u 3)) (minus (times 424 a16 b18 (expt u 2))) (times 864 a16 b19 u)
(minus (times 48 a16 b8 (expt u 2))) (times 144 a16 c_1 u) (times 24 a18 b1 u) (
minus (times 57 a18 b13 u)) (times 120 a18 b16 (expt u 2)) (times 29 a18 b18 u)
(minus (times 18 a18 b19)) (minus (times 48 a18 b6 (expt u 2))) (minus (times 16
a18 b8 u)) (times 72 a18 b9 u) (times 144 a18 c_1) (times 864 a19 b13) (minus (
times 1728 a19 b16 u)) (minus (times 144 a19 b18)) (minus (times 60 a3 b13 (expt
u 2))) (times 120 a3 b16 (expt u 3)) (minus (times 8 a3 b18 (expt u 2))) (minus
(times 60 a6 b13 (expt u 2))) (times 120 a6 b16 (expt u 3)) (minus (times 8 a6 
b18 (expt u 2))) (times 36 a7 b13 u) (minus (times 96 a7 b16 (expt u 2))) (minus
(times 20 a7 b18 u)) (minus (times 156 a8 b13 u)) (times 336 a8 b16 (expt u 2))
(times 4 a8 b18 u) (times 156 a9 b13 u) (minus (times 336 a9 b16 (expt u 2))) (
minus (times 4 a9 b18 u))) (partitioned) (kern (df a13 u) (df a15 u) (df a16 u)
(df a18 u) (df b13 u) (df b16 u) (df b18 u 2) (df b18 u) (df b8 u) a1 a10 a13 
a15 a16 a18 a19 a3 a6 a7 a8 a9 b13 b16 b18 u b1 b19 b6 b8 b9 c_1) (fct_kern_lin)
(fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18
a7 a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b1) . 1) ((b6) . 1) ((b13
u) . 1) ((b13) . 1) ((b16 u) . 1) ((b16) . 1) ((b8 u) . 1) ((b8) . 1) ((b9) . 1)
((b19) . 1) ((b18 u 2) . 1) ((b18 u) . 1) ((b18) . 1) ((a1) . 1) ((a3) . 1) ((a6
) . 1) ((a16 u) . 1) ((a16) . 1) ((a13 u) . 1) ((a13) . 1) ((a15 u) . 1) ((a15)
 . 1) ((a8) . 1) ((a9) . 1) ((a18 u) . 1) ((a18) . 1) ((a7) . 1) ((a10) . 1) ((
a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 106) (length . 
127) (printlength . 426) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13
a15 a8 a9 a18 a7 a10 a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19
b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19) (starde) (dec_with) (dec_with_rl)
(rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_eval)) (e_24 ((sqval ((((df a13 u) . 1) (((df b18 u) . 1) (
(u . 3) . 4)) (((df b8 u) . 1) ((u . 3) . 4)) ((b1 . 1) ((u . 2) . 6)) ((b13 . 1
) ((u . 2) . -6)) ((b16 . 1) ((u . 3) . 12)) ((b18 . 1) ((u . 2) . 2)) ((b6 . 1)
((u . 3) . -12)) ((b8 . 1) ((u . 2) . -4)) ((b9 . 1) ((u . 2) . 18)) ((c_1 . 1)
((u . 1) . 36))) (((df a15 u) . 1) (((df b18 u) . 1) ((u . 4) . -4)) (((df b8 u)
 . 1) ((u . 4) . -4)) ((b1 . 1) ((u . 3) . -6)) ((b13 . 1) ((u . 3) . 6)) ((b16
 . 1) ((u . 4) . -12)) ((b18 . 1) ((u . 3) . -2)) ((b6 . 1) ((u . 4) . 12)) ((b8
 . 1) ((u . 3) . 4)) ((b9 . 1) ((u . 3) . -18)) ((c_1 . 1) ((u . 2) . -36))) (((
df a16 u) . 1) (((df b18 u) . 1) ((u . 4) . -4)) (((df b8 u) . 1) ((u . 4) . -4)
) ((b1 . 1) ((u . 3) . -6)) ((b13 . 1) ((u . 3) . 6)) ((b16 . 1) ((u . 4) . -12)
) ((b18 . 1) ((u . 3) . -2)) ((b6 . 1) ((u . 4) . 12)) ((b8 . 1) ((u . 3) . 4))
((b9 . 1) ((u . 3) . -18)) ((c_1 . 1) ((u . 2) . -36))) (((df b13 u) . 1) ((a1
 . 1) ((u . 2) . -6)) ((a10 . 1) ((u . 1) . 36)) ((a13 . 1) ((u . 2) . 6)) ((a15
 . 1) ((u . 3) . -6)) ((a16 . 1) ((u . 3) . -6)) ((a3 . 1) ((u . 3) . 6)) ((a6
 . 1) ((u . 3) . 6)) ((a8 . 1) ((u . 2) . 12)) ((a9 . 1) ((u . 2) . -12))) (((df
b16 u) . 1) ((a1 . 1) ((u . 3) . 12)) ((a10 . 1) ((u . 2) . -72)) ((a13 . 1) ((u
 . 3) . -12)) ((a15 . 1) ((u . 4) . 12)) ((a16 . 1) ((u . 4) . 12)) ((a3 . 1) ((
u . 4) . -12)) ((a6 . 1) ((u . 4) . -12)) ((a8 . 1) ((u . 3) . -24)) ((a9 . 1) (
(u . 3) . 24))) (((df b18 u 2) . 1) ((a1 . 1) ((u . 3) . 4)) ((a10 . 1) ((u . 2)
 . -24)) ((a13 . 1) ((u . 3) . -4)) ((a15 . 1) ((u . 4) . 4)) ((a16 . 1) ((u . 4
) . 4)) ((a3 . 1) ((u . 4) . -4)) ((a6 . 1) ((u . 4) . -4)) ((a8 . 1) ((u . 3)
 . -8)) ((a9 . 1) ((u . 3) . 8))) (((df b18 u) . 1) ((a1 . 1) ((u . 2) . 34)) ((
a10 . 1) ((u . 1) . -204)) ((a13 . 1) ((u . 2) . -10)) ((a15 . 1) ((u . 3) . -6)
) ((a16 . 1) ((u . 3) . 18)) ((a18 . 1) ((u . 2) . -6)) ((a19 . 1) ((u . 1) . 96
)) ((a3 . 1) ((u . 3) . -34)) ((a6 . 1) ((u . 3) . -34)) ((a8 . 1) ((u . 2) . 
-68)) ((a9 . 1) ((u . 2) . 68))) (((df b8 u) . 1) ((a13 . 1) ((u . 2) . 16)) ((
a15 . 1) ((u . 3) . -32)) ((a16 . 1) ((u . 3) . -8))) ((a1 . 1) ((b13 . 1) ((u
 . 1) . -24)) ((b16 . 1) ((u . 2) . 60)) ((b18 . 1) ((u . 1) . 14))) ((a10 . 1)
((b13 . 1) . 144) ((b16 . 1) ((u . 1) . -360)) ((b18 . 1) . -84)) ((a13 . 1) ((
b1 . 1) ((u . 1) . 24)) ((b13 . 1) ((u . 1) . -24)) ((b16 . 1) ((u . 2) . 36)) (
(b18 . 1) ((u . 1) . -98)) ((b19 . 1) . 144) ((b6 . 1) ((u . 2) . -48)) ((b8 . 1
) ((u . 1) . -16)) ((b9 . 1) ((u . 1) . 72)) ((c_1 . 1) . 144)) ((a15 . 1) ((b1
 . 1) ((u . 2) . -48)) ((b13 . 1) ((u . 2) . 48)) ((b16 . 1) ((u . 3) . -84)) ((
b18 . 1) ((u . 2) . 90)) ((b19 . 1) ((u . 1) . -144)) ((b6 . 1) ((u . 3) . 96))
((b8 . 1) ((u . 2) . 32)) ((b9 . 1) ((u . 2) . -144)) ((c_1 . 1) ((u . 1) . -288
))) ((a16 . 1) ((b1 . 1) ((u . 2) . -12)) ((b13 . 1) ((u . 2) . 12)) ((b16 . 1)
((u . 3) . -12)) ((b18 . 1) ((u . 2) . 102)) ((b19 . 1) ((u . 1) . -144)) ((b6
 . 1) ((u . 3) . 24)) ((b8 . 1) ((u . 2) . 8)) ((b9 . 1) ((u . 2) . -36)) ((c_1
 . 1) ((u . 1) . -72))) ((a18 . 1) ((b13 . 1) ((u . 1) . 9)) ((b16 . 1) ((u . 2)
 . -18)) ((b18 . 1) ((u . 1) . -3))) ((a19 . 1) ((b13 . 1) . -144) ((b16 . 1) ((
u . 1) . 288)) ((b18 . 1) . 48)) ((a3 . 1) ((b13 . 1) ((u . 2) . 24)) ((b16 . 1)
((u . 3) . -60)) ((b18 . 1) ((u . 2) . -14))) ((a6 . 1) ((b13 . 1) ((u . 2) . 24
)) ((b16 . 1) ((u . 3) . -60)) ((b18 . 1) ((u . 2) . -14))) ((a8 . 1) ((b13 . 1)
((u . 1) . 48)) ((b16 . 1) ((u . 2) . -120)) ((b18 . 1) ((u . 1) . -28))) ((a9
 . 1) ((b13 . 1) ((u . 1) . -48)) ((b16 . 1) ((u . 2) . 120)) ((b18 . 1) ((u . 1
) . 28)))) . 1) (fac . 2) (pval plus (times 4 (df a13 u) (df b18 u) (expt u 3))
(times 4 (df a13 u) (df b8 u) (expt u 3)) (times 6 (df a13 u) b1 (expt u 2)) (
minus (times 6 (df a13 u) b13 (expt u 2))) (times 12 (df a13 u) b16 (expt u 3))
(times 2 (df a13 u) b18 (expt u 2)) (minus (times 12 (df a13 u) b6 (expt u 3)))
(minus (times 4 (df a13 u) b8 (expt u 2))) (times 18 (df a13 u) b9 (expt u 2)) (
times 36 (df a13 u) c_1 u) (minus (times 4 (df a15 u) (df b18 u) (expt u 4))) (
minus (times 4 (df a15 u) (df b8 u) (expt u 4))) (minus (times 6 (df a15 u) b1 (
expt u 3))) (times 6 (df a15 u) b13 (expt u 3)) (minus (times 12 (df a15 u) b16
(expt u 4))) (minus (times 2 (df a15 u) b18 (expt u 3))) (times 12 (df a15 u) b6
(expt u 4)) (times 4 (df a15 u) b8 (expt u 3)) (minus (times 18 (df a15 u) b9 (
expt u 3))) (minus (times 36 (df a15 u) c_1 (expt u 2))) (minus (times 4 (df a16
u) (df b18 u) (expt u 4))) (minus (times 4 (df a16 u) (df b8 u) (expt u 4))) (
minus (times 6 (df a16 u) b1 (expt u 3))) (times 6 (df a16 u) b13 (expt u 3)) (
minus (times 12 (df a16 u) b16 (expt u 4))) (minus (times 2 (df a16 u) b18 (expt
u 3))) (times 12 (df a16 u) b6 (expt u 4)) (times 4 (df a16 u) b8 (expt u 3)) (
minus (times 18 (df a16 u) b9 (expt u 3))) (minus (times 36 (df a16 u) c_1 (expt
u 2))) (minus (times 6 (df b13 u) a1 (expt u 2))) (times 36 (df b13 u) a10 u) (
times 6 (df b13 u) a13 (expt u 2)) (minus (times 6 (df b13 u) a15 (expt u 3))) (
minus (times 6 (df b13 u) a16 (expt u 3))) (times 6 (df b13 u) a3 (expt u 3)) (
times 6 (df b13 u) a6 (expt u 3)) (times 12 (df b13 u) a8 (expt u 2)) (minus (
times 12 (df b13 u) a9 (expt u 2))) (times 12 (df b16 u) a1 (expt u 3)) (minus (
times 72 (df b16 u) a10 (expt u 2))) (minus (times 12 (df b16 u) a13 (expt u 3))
) (times 12 (df b16 u) a15 (expt u 4)) (times 12 (df b16 u) a16 (expt u 4)) (
minus (times 12 (df b16 u) a3 (expt u 4))) (minus (times 12 (df b16 u) a6 (expt
u 4))) (minus (times 24 (df b16 u) a8 (expt u 3))) (times 24 (df b16 u) a9 (expt
u 3)) (times 4 (df b18 u 2) a1 (expt u 3)) (minus (times 24 (df b18 u 2) a10 (
expt u 2))) (minus (times 4 (df b18 u 2) a13 (expt u 3))) (times 4 (df b18 u 2)
a15 (expt u 4)) (times 4 (df b18 u 2) a16 (expt u 4)) (minus (times 4 (df b18 u
2) a3 (expt u 4))) (minus (times 4 (df b18 u 2) a6 (expt u 4))) (minus (times 8
(df b18 u 2) a8 (expt u 3))) (times 8 (df b18 u 2) a9 (expt u 3)) (times 34 (df
b18 u) a1 (expt u 2)) (minus (times 204 (df b18 u) a10 u)) (minus (times 10 (df
b18 u) a13 (expt u 2))) (minus (times 6 (df b18 u) a15 (expt u 3))) (times 18 (
df b18 u) a16 (expt u 3)) (minus (times 6 (df b18 u) a18 (expt u 2))) (times 96
(df b18 u) a19 u) (minus (times 34 (df b18 u) a3 (expt u 3))) (minus (times 34 (
df b18 u) a6 (expt u 3))) (minus (times 68 (df b18 u) a8 (expt u 2))) (times 68
(df b18 u) a9 (expt u 2)) (times 16 (df b8 u) a13 (expt u 2)) (minus (times 32 (
df b8 u) a15 (expt u 3))) (minus (times 8 (df b8 u) a16 (expt u 3))) (minus (
times 24 a1 b13 u)) (times 60 a1 b16 (expt u 2)) (times 14 a1 b18 u) (times 144
a10 b13) (minus (times 360 a10 b16 u)) (minus (times 84 a10 b18)) (times 24 a13
b1 u) (minus (times 24 a13 b13 u)) (times 36 a13 b16 (expt u 2)) (minus (times 
98 a13 b18 u)) (times 144 a13 b19) (minus (times 48 a13 b6 (expt u 2))) (minus (
times 16 a13 b8 u)) (times 72 a13 b9 u) (times 144 a13 c_1) (minus (times 48 a15
b1 (expt u 2))) (times 48 a15 b13 (expt u 2)) (minus (times 84 a15 b16 (expt u 3
))) (times 90 a15 b18 (expt u 2)) (minus (times 144 a15 b19 u)) (times 96 a15 b6
(expt u 3)) (times 32 a15 b8 (expt u 2)) (minus (times 144 a15 b9 (expt u 2))) (
minus (times 288 a15 c_1 u)) (minus (times 12 a16 b1 (expt u 2))) (times 12 a16
b13 (expt u 2)) (minus (times 12 a16 b16 (expt u 3))) (times 102 a16 b18 (expt u
2)) (minus (times 144 a16 b19 u)) (times 24 a16 b6 (expt u 3)) (times 8 a16 b8 (
expt u 2)) (minus (times 36 a16 b9 (expt u 2))) (minus (times 72 a16 c_1 u)) (
times 9 a18 b13 u) (minus (times 18 a18 b16 (expt u 2))) (minus (times 3 a18 b18
u)) (minus (times 144 a19 b13)) (times 288 a19 b16 u) (times 48 a19 b18) (times
24 a3 b13 (expt u 2)) (minus (times 60 a3 b16 (expt u 3))) (minus (times 14 a3 
b18 (expt u 2))) (times 24 a6 b13 (expt u 2)) (minus (times 60 a6 b16 (expt u 3)
)) (minus (times 14 a6 b18 (expt u 2))) (times 48 a8 b13 u) (minus (times 120 a8
b16 (expt u 2))) (minus (times 28 a8 b18 u)) (minus (times 48 a9 b13 u)) (times
120 a9 b16 (expt u 2)) (times 28 a9 b18 u)) (partitioned) (kern (df a13 u) (df 
a15 u) (df a16 u) (df b13 u) (df b16 u) (df b18 u 2) (df b18 u) (df b8 u) a1 a10
a13 a15 a16 a18 a19 a3 a6 a8 a9 b13 b16 b18 u b1 b19 b6 b8 b9 c_1) (fct_kern_lin
) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 
a18 a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b1) . 1) ((b6) . 1) ((
b13 u) . 1) ((b13) . 1) ((b16 u) . 1) ((b16) . 1) ((b8 u) . 1) ((b8) . 1) ((b9)
 . 1) ((b19) . 1) ((b18 u 2) . 1) ((b18 u) . 1) ((b18) . 1) ((a1) . 1) ((a3) . 1
) ((a6) . 1) ((a16 u) . 1) ((a16) . 1) ((a13 u) . 1) ((a13) . 1) ((a15 u) . 1) (
(a15) . 1) ((a8) . 1) ((a9) . 1) ((a18) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)
) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 122) (length . 141) (
printlength . 542) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8
a9 a18 a10 a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3
a6 a16 a13 a15 a8 a9 a18 a10 a19) (starde) (dec_with) (dec_with_rl) (rl_with) (
hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup
to_eval)) (e_27 ((sqval ((((df a1 u) . 1) ((b18 . 1) ((u . 2) . 24)) ((b8 . 1) (
(u . 2) . 24)) ((c_1 . 1) ((u . 1) . -72))) (((df a10 u) . 1) (((df b18 u) . 1)
((u . 2) . 48)) (((df b8 u) . 1) ((u . 2) . 48)) ((b1 . 1) ((u . 1) . 72)) ((b13
 . 1) ((u . 1) . -72)) ((b16 . 1) ((u . 2) . 144)) ((b18 . 1) ((u . 1) . -120))
((b6 . 1) ((u . 2) . -144)) ((b8 . 1) ((u . 1) . -192)) ((b9 . 1) ((u . 1) . 216
)) ((c_1 . 1) . 864)) (((df a3 u) . 1) ((b18 . 1) ((u . 3) . -24)) ((b8 . 1) ((u
 . 3) . -24)) ((c_1 . 1) ((u . 2) . 72))) (((df a6 u) . 1) ((b18 . 1) ((u . 3)
 . -24)) ((b8 . 1) ((u . 3) . -24)) ((c_1 . 1) ((u . 2) . 72))) (((df a7 u) . 1)
(((df b18 u) . 1) ((u . 3) . -8)) (((df b8 u) . 1) ((u . 3) . -8)) ((b1 . 1) ((u
 . 2) . -12)) ((b13 . 1) ((u . 2) . 12)) ((b16 . 1) ((u . 3) . -24)) ((b18 . 1)
((u . 2) . -4)) ((b6 . 1) ((u . 3) . 24)) ((b8 . 1) ((u . 2) . 8)) ((b9 . 1) ((u
 . 2) . -36)) ((c_1 . 1) ((u . 1) . -72))) (((df a8 u) . 1) (((df b18 u) . 1) ((
u . 3) . 8)) (((df b8 u) . 1) ((u . 3) . 8)) ((b1 . 1) ((u . 2) . 12)) ((b13 . 1
) ((u . 2) . -12)) ((b16 . 1) ((u . 3) . 24)) ((b18 . 1) ((u . 2) . -44)) ((b6
 . 1) ((u . 3) . -24)) ((b8 . 1) ((u . 2) . -56)) ((b9 . 1) ((u . 2) . 36)) ((
c_1 . 1) ((u . 1) . 216))) (((df a9 u) . 1) (((df b18 u) . 1) ((u . 3) . -8)) ((
(df b8 u) . 1) ((u . 3) . -8)) ((b1 . 1) ((u . 2) . -12)) ((b13 . 1) ((u . 2) . 
12)) ((b16 . 1) ((u . 3) . -24)) ((b18 . 1) ((u . 2) . 44)) ((b6 . 1) ((u . 3)
 . 24)) ((b8 . 1) ((u . 2) . 56)) ((b9 . 1) ((u . 2) . -36)) ((c_1 . 1) ((u . 1)
 . -216))) (((df b1 u) . 1) ((a10 . 1) ((u . 1) . -72)) ((a18 . 1) ((u . 2) . -3
)) ((a7 . 1) ((u . 2) . 12)) ((a8 . 1) ((u . 2) . -12)) ((a9 . 1) ((u . 2) . 12)
)) (((df b18 u) . 1) ((a1 . 1) ((u . 2) . 24)) ((a6 . 1) ((u . 3) . -48)) ((a7
 . 1) ((u . 2) . 112)) ((a8 . 1) ((u . 2) . 8)) ((a9 . 1) ((u . 2) . 64))) (((df
b6 u) . 1) ((a10 . 1) ((u . 2) . 144)) ((a18 . 1) ((u . 3) . 6)) ((a7 . 1) ((u
 . 3) . -24)) ((a8 . 1) ((u . 3) . 24)) ((a9 . 1) ((u . 3) . -24))) (((df b8 u 2
) . 1) ((a10 . 1) ((u . 2) . -48)) ((a18 . 1) ((u . 3) . -2)) ((a7 . 1) ((u . 3)
 . 8)) ((a8 . 1) ((u . 3) . -8)) ((a9 . 1) ((u . 3) . 8))) (((df b8 u) . 1) ((a1
 . 1) ((u . 2) . 48)) ((a10 . 1) ((u . 1) . 672)) ((a13 . 1) ((u . 2) . 24)) ((
a15 . 1) ((u . 3) . -24)) ((a16 . 1) ((u . 3) . -24)) ((a18 . 1) ((u . 2) . -2))
((a3 . 1) ((u . 3) . -24)) ((a6 . 1) ((u . 3) . -72)) ((a7 . 1) ((u . 2) . 72))
((a9 . 1) ((u . 2) . 72))) (((df b9 u) . 1) ((a10 . 1) ((u . 1) . -216)) ((a18
 . 1) ((u . 2) . -9)) ((a7 . 1) ((u . 2) . 36)) ((a8 . 1) ((u . 2) . -36)) ((a9
 . 1) ((u . 2) . 36))) ((a1 . 1) ((b1 . 1) ((u . 1) . 48)) ((b13 . 1) ((u . 1)
 . -36)) ((b16 . 1) ((u . 2) . 72)) ((b18 . 1) ((u . 1) . -12)) ((b6 . 1) ((u . 
2) . -96)) ((b8 . 1) ((u . 1) . -240)) ((b9 . 1) ((u . 1) . 324)) ((c_1 . 1) . 
2016)) ((a10 . 1) ((b1 . 1) . 1440) ((b6 . 1) ((u . 1) . -2736)) ((b8 . 1) . 
-312) ((b9 . 1) . 3168)) ((a13 . 1) ((b1 . 1) ((u . 1) . 60)) ((b6 . 1) ((u . 2)
 . -120)) ((b8 . 1) ((u . 1) . -288)) ((b9 . 1) ((u . 1) . -120))) ((a15 . 1) ((
b1 . 1) ((u . 2) . -60)) ((b6 . 1) ((u . 3) . 120)) ((b8 . 1) ((u . 2) . 288)) (
(b9 . 1) ((u . 2) . 120))) ((a16 . 1) ((b1 . 1) ((u . 2) . -60)) ((b6 . 1) ((u
 . 3) . 120)) ((b8 . 1) ((u . 2) . 288)) ((b9 . 1) ((u . 2) . 120))) ((a18 . 1)
((b1 . 1) ((u . 1) . 15)) ((b6 . 1) ((u . 2) . -24)) ((b8 . 1) ((u . 1) . -13))
((b9 . 1) ((u . 1) . 12))) ((a3 . 1) ((b1 . 1) ((u . 2) . -12)) ((b18 . 1) ((u
 . 2) . -48)) ((b6 . 1) ((u . 3) . 24)) ((b8 . 1) ((u . 2) . 144)) ((b9 . 1) ((u
 . 2) . -216)) ((c_1 . 1) ((u . 1) . -1584))) ((a6 . 1) ((b1 . 1) ((u . 2) . -84
)) ((b13 . 1) ((u . 2) . 72)) ((b16 . 1) ((u . 3) . -144)) ((b18 . 1) ((u . 2)
 . 24)) ((b6 . 1) ((u . 3) . 168)) ((b8 . 1) ((u . 2) . 288)) ((b9 . 1) ((u . 2)
 . -432)) ((c_1 . 1) ((u . 1) . -2304))) ((a7 . 1) ((b1 . 1) ((u . 1) . 60)) ((
b13 . 1) ((u . 1) . -168)) ((b16 . 1) ((u . 2) . 336)) ((b18 . 1) ((u . 1) . 8))
((b6 . 1) ((u . 2) . -144)) ((b8 . 1) ((u . 1) . -36)) ((b9 . 1) ((u . 1) . 192)
) ((c_1 . 1) . 360)) ((a8 . 1) ((b1 . 1) ((u . 1) . 96)) ((b13 . 1) ((u . 1) . 
-12)) ((b16 . 1) ((u . 2) . 24)) ((b18 . 1) ((u . 1) . -44)) ((b6 . 1) ((u . 2)
 . -168)) ((b8 . 1) ((u . 1) . 204)) ((b9 . 1) ((u . 1) . -84)) ((c_1 . 1) . 
-2448)) ((a9 . 1) ((b1 . 1) ((u . 1) . 12)) ((b13 . 1) ((u . 1) . -96)) ((b16 . 
1) ((u . 2) . 192)) ((b18 . 1) ((u . 1) . -16)) ((b6 . 1) ((u . 2) . -48)) ((b8
 . 1) ((u . 1) . -372)) ((b9 . 1) ((u . 1) . 408)) ((c_1 . 1) . 3384))) . 1) (
fac . 2) (pval plus (times 24 (df a1 u) b18 (expt u 2)) (times 24 (df a1 u) b8 (
expt u 2)) (minus (times 72 (df a1 u) c_1 u)) (times 48 (df a10 u) (df b18 u) (
expt u 2)) (times 48 (df a10 u) (df b8 u) (expt u 2)) (times 72 (df a10 u) b1 u)
(minus (times 72 (df a10 u) b13 u)) (times 144 (df a10 u) b16 (expt u 2)) (minus
(times 120 (df a10 u) b18 u)) (minus (times 144 (df a10 u) b6 (expt u 2))) (
minus (times 192 (df a10 u) b8 u)) (times 216 (df a10 u) b9 u) (times 864 (df 
a10 u) c_1) (minus (times 24 (df a3 u) b18 (expt u 3))) (minus (times 24 (df a3
u) b8 (expt u 3))) (times 72 (df a3 u) c_1 (expt u 2)) (minus (times 24 (df a6 u
) b18 (expt u 3))) (minus (times 24 (df a6 u) b8 (expt u 3))) (times 72 (df a6 u
) c_1 (expt u 2)) (minus (times 8 (df a7 u) (df b18 u) (expt u 3))) (minus (
times 8 (df a7 u) (df b8 u) (expt u 3))) (minus (times 12 (df a7 u) b1 (expt u 2
))) (times 12 (df a7 u) b13 (expt u 2)) (minus (times 24 (df a7 u) b16 (expt u 3
))) (minus (times 4 (df a7 u) b18 (expt u 2))) (times 24 (df a7 u) b6 (expt u 3)
) (times 8 (df a7 u) b8 (expt u 2)) (minus (times 36 (df a7 u) b9 (expt u 2))) (
minus (times 72 (df a7 u) c_1 u)) (times 8 (df a8 u) (df b18 u) (expt u 3)) (
times 8 (df a8 u) (df b8 u) (expt u 3)) (times 12 (df a8 u) b1 (expt u 2)) (
minus (times 12 (df a8 u) b13 (expt u 2))) (times 24 (df a8 u) b16 (expt u 3)) (
minus (times 44 (df a8 u) b18 (expt u 2))) (minus (times 24 (df a8 u) b6 (expt u
3))) (minus (times 56 (df a8 u) b8 (expt u 2))) (times 36 (df a8 u) b9 (expt u 2
)) (times 216 (df a8 u) c_1 u) (minus (times 8 (df a9 u) (df b18 u) (expt u 3)))
(minus (times 8 (df a9 u) (df b8 u) (expt u 3))) (minus (times 12 (df a9 u) b1 (
expt u 2))) (times 12 (df a9 u) b13 (expt u 2)) (minus (times 24 (df a9 u) b16 (
expt u 3))) (times 44 (df a9 u) b18 (expt u 2)) (times 24 (df a9 u) b6 (expt u 3
)) (times 56 (df a9 u) b8 (expt u 2)) (minus (times 36 (df a9 u) b9 (expt u 2)))
(minus (times 216 (df a9 u) c_1 u)) (minus (times 72 (df b1 u) a10 u)) (minus (
times 3 (df b1 u) a18 (expt u 2))) (times 12 (df b1 u) a7 (expt u 2)) (minus (
times 12 (df b1 u) a8 (expt u 2))) (times 12 (df b1 u) a9 (expt u 2)) (times 24
(df b18 u) a1 (expt u 2)) (minus (times 48 (df b18 u) a6 (expt u 3))) (times 112
(df b18 u) a7 (expt u 2)) (times 8 (df b18 u) a8 (expt u 2)) (times 64 (df b18 u
) a9 (expt u 2)) (times 144 (df b6 u) a10 (expt u 2)) (times 6 (df b6 u) a18 (
expt u 3)) (minus (times 24 (df b6 u) a7 (expt u 3))) (times 24 (df b6 u) a8 (
expt u 3)) (minus (times 24 (df b6 u) a9 (expt u 3))) (minus (times 48 (df b8 u
2) a10 (expt u 2))) (minus (times 2 (df b8 u 2) a18 (expt u 3))) (times 8 (df b8
u 2) a7 (expt u 3)) (minus (times 8 (df b8 u 2) a8 (expt u 3))) (times 8 (df b8
u 2) a9 (expt u 3)) (times 48 (df b8 u) a1 (expt u 2)) (times 672 (df b8 u) a10
u) (times 24 (df b8 u) a13 (expt u 2)) (minus (times 24 (df b8 u) a15 (expt u 3)
)) (minus (times 24 (df b8 u) a16 (expt u 3))) (minus (times 2 (df b8 u) a18 (
expt u 2))) (minus (times 24 (df b8 u) a3 (expt u 3))) (minus (times 72 (df b8 u
) a6 (expt u 3))) (times 72 (df b8 u) a7 (expt u 2)) (times 72 (df b8 u) a9 (
expt u 2)) (minus (times 216 (df b9 u) a10 u)) (minus (times 9 (df b9 u) a18 (
expt u 2))) (times 36 (df b9 u) a7 (expt u 2)) (minus (times 36 (df b9 u) a8 (
expt u 2))) (times 36 (df b9 u) a9 (expt u 2)) (times 48 a1 b1 u) (minus (times
36 a1 b13 u)) (times 72 a1 b16 (expt u 2)) (minus (times 12 a1 b18 u)) (minus (
times 96 a1 b6 (expt u 2))) (minus (times 240 a1 b8 u)) (times 324 a1 b9 u) (
times 2016 a1 c_1) (times 1440 a10 b1) (minus (times 2736 a10 b6 u)) (minus (
times 312 a10 b8)) (times 3168 a10 b9) (times 60 a13 b1 u) (minus (times 120 a13
b6 (expt u 2))) (minus (times 288 a13 b8 u)) (minus (times 120 a13 b9 u)) (minus
(times 60 a15 b1 (expt u 2))) (times 120 a15 b6 (expt u 3)) (times 288 a15 b8 (
expt u 2)) (times 120 a15 b9 (expt u 2)) (minus (times 60 a16 b1 (expt u 2))) (
times 120 a16 b6 (expt u 3)) (times 288 a16 b8 (expt u 2)) (times 120 a16 b9 (
expt u 2)) (times 15 a18 b1 u) (minus (times 24 a18 b6 (expt u 2))) (minus (
times 13 a18 b8 u)) (times 12 a18 b9 u) (minus (times 12 a3 b1 (expt u 2))) (
minus (times 48 a3 b18 (expt u 2))) (times 24 a3 b6 (expt u 3)) (times 144 a3 b8
(expt u 2)) (minus (times 216 a3 b9 (expt u 2))) (minus (times 1584 a3 c_1 u)) (
minus (times 84 a6 b1 (expt u 2))) (times 72 a6 b13 (expt u 2)) (minus (times 
144 a6 b16 (expt u 3))) (times 24 a6 b18 (expt u 2)) (times 168 a6 b6 (expt u 3)
) (times 288 a6 b8 (expt u 2)) (minus (times 432 a6 b9 (expt u 2))) (minus (
times 2304 a6 c_1 u)) (times 60 a7 b1 u) (minus (times 168 a7 b13 u)) (times 336
a7 b16 (expt u 2)) (times 8 a7 b18 u) (minus (times 144 a7 b6 (expt u 2))) (
minus (times 36 a7 b8 u)) (times 192 a7 b9 u) (times 360 a7 c_1) (times 96 a8 b1
u) (minus (times 12 a8 b13 u)) (times 24 a8 b16 (expt u 2)) (minus (times 44 a8
b18 u)) (minus (times 168 a8 b6 (expt u 2))) (times 204 a8 b8 u) (minus (times 
84 a8 b9 u)) (minus (times 2448 a8 c_1)) (times 12 a9 b1 u) (minus (times 96 a9
b13 u)) (times 192 a9 b16 (expt u 2)) (minus (times 16 a9 b18 u)) (minus (times
48 a9 b6 (expt u 2))) (minus (times 372 a9 b8 u)) (times 408 a9 b9 u) (times 
3384 a9 c_1)) (partitioned) (kern (df a1 u) (df a10 u) (df a3 u) (df a6 u) (df 
a7 u) (df a8 u) (df a9 u) (df b1 u) (df b18 u) (df b6 u) (df b8 u 2) (df b8 u) (
df b9 u) a1 a10 a13 a15 a16 a18 a3 a6 a7 a8 a9 b1 b13 b16 b18 b6 b8 b9 c_1 u) (
fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15
a8 a9 a18 a7 a10 c_1) (vars u) (nvars . 1) (level) (derivs ((b1 u) . 1) ((b1) . 
1) ((b6 u) . 1) ((b6) . 1) ((b13) . 1) ((b16) . 1) ((b8 u 2) . 1) ((b8 u) . 1) (
(b8) . 1) ((b9 u) . 1) ((b9) . 1) ((b18 u) . 1) ((b18) . 1) ((a1 u) . 1) ((a1)
 . 1) ((a3 u) . 1) ((a3) . 1) ((a6 u) . 1) ((a6) . 1) ((a16) . 1) ((a13) . 1) ((
a15) . 1) ((a8 u) . 1) ((a8) . 1) ((a9 u) . 1) ((a9) . 1) ((a18) . 1) ((a7 u) . 
1) ((a7) . 1) ((a10 u) . 1) ((a10) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 150) (length . 174) (printlength . 601) (rational b1 b6 
b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 c_1) (nonrational) (
allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10) (
starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (
histry_)) (to_symbol to_under to_diff to_decoup to_eval)) (e_26 ((sqval ((((df 
a1 u) . 1) (((df b18 u) . 1) ((u . 3) . 2)) (((df b8 u) . 1) ((u . 3) . 2)) ((b1
 . 1) ((u . 2) . 3)) ((b13 . 1) ((u . 2) . -3)) ((b16 . 1) ((u . 3) . 6)) ((b18
 . 1) ((u . 2) . 1)) ((b6 . 1) ((u . 3) . -6)) ((b8 . 1) ((u . 2) . -2)) ((b9 . 
1) ((u . 2) . 9)) ((c_1 . 1) ((u . 1) . 18))) (((df a10 u) . 1) (((df b18 u) . 1
) ((u . 2) . -12)) (((df b8 u) . 1) ((u . 2) . -12)) ((b1 . 1) ((u . 1) . -18))
((b13 . 1) ((u . 1) . 18)) ((b16 . 1) ((u . 2) . -36)) ((b18 . 1) ((u . 1) . -6)
) ((b6 . 1) ((u . 2) . 36)) ((b8 . 1) ((u . 1) . 12)) ((b9 . 1) ((u . 1) . -54))
((c_1 . 1) . -108)) (((df a3 u) . 1) (((df b18 u) . 1) ((u . 4) . -2)) (((df b8
u) . 1) ((u . 4) . -2)) ((b1 . 1) ((u . 3) . -3)) ((b13 . 1) ((u . 3) . 3)) ((
b16 . 1) ((u . 4) . -6)) ((b18 . 1) ((u . 3) . -1)) ((b6 . 1) ((u . 4) . 6)) ((
b8 . 1) ((u . 3) . 2)) ((b9 . 1) ((u . 3) . -9)) ((c_1 . 1) ((u . 2) . -18))) ((
(df a6 u) . 1) (((df b18 u) . 1) ((u . 4) . -2)) (((df b8 u) . 1) ((u . 4) . -2)
) ((b1 . 1) ((u . 3) . -3)) ((b13 . 1) ((u . 3) . 3)) ((b16 . 1) ((u . 4) . -6))
((b18 . 1) ((u . 3) . -1)) ((b6 . 1) ((u . 4) . 6)) ((b8 . 1) ((u . 3) . 2)) ((
b9 . 1) ((u . 3) . -9)) ((c_1 . 1) ((u . 2) . -18))) (((df a8 u) . 1) (((df b18
u) . 1) ((u . 3) . -4)) (((df b8 u) . 1) ((u . 3) . -4)) ((b1 . 1) ((u . 2) . -6
)) ((b13 . 1) ((u . 2) . 6)) ((b16 . 1) ((u . 3) . -12)) ((b18 . 1) ((u . 2) . 
-2)) ((b6 . 1) ((u . 3) . 12)) ((b8 . 1) ((u . 2) . 4)) ((b9 . 1) ((u . 2) . -18
)) ((c_1 . 1) ((u . 1) . -36))) (((df a9 u) . 1) (((df b18 u) . 1) ((u . 3) . 4)
) (((df b8 u) . 1) ((u . 3) . 4)) ((b1 . 1) ((u . 2) . 6)) ((b13 . 1) ((u . 2)
 . -6)) ((b16 . 1) ((u . 3) . 12)) ((b18 . 1) ((u . 2) . 2)) ((b6 . 1) ((u . 3)
 . -12)) ((b8 . 1) ((u . 2) . -4)) ((b9 . 1) ((u . 2) . 18)) ((c_1 . 1) ((u . 1)
 . 36))) (((df b1 u) . 1) ((a1 . 1) ((u . 2) . -3)) ((a10 . 1) ((u . 1) . 18)) (
(a13 . 1) ((u . 2) . 3)) ((a15 . 1) ((u . 3) . -3)) ((a16 . 1) ((u . 3) . -3)) (
(a3 . 1) ((u . 3) . 3)) ((a6 . 1) ((u . 3) . 3)) ((a8 . 1) ((u . 2) . 6)) ((a9
 . 1) ((u . 2) . -6))) (((df b18 u) . 1) ((a1 . 1) ((u . 2) . -4)) ((a3 . 1) ((u
 . 3) . -4)) ((a6 . 1) ((u . 3) . 8)) ((a7 . 1) ((u . 2) . -12)) ((a8 . 1) ((u
 . 2) . -4)) ((a9 . 1) ((u . 2) . -8))) (((df b6 u) . 1) ((a1 . 1) ((u . 3) . 6)
) ((a10 . 1) ((u . 2) . -36)) ((a13 . 1) ((u . 3) . -6)) ((a15 . 1) ((u . 4) . 6
)) ((a16 . 1) ((u . 4) . 6)) ((a3 . 1) ((u . 4) . -6)) ((a6 . 1) ((u . 4) . -6))
((a8 . 1) ((u . 3) . -12)) ((a9 . 1) ((u . 3) . 12))) (((df b8 u 2) . 1) ((a1 . 
1) ((u . 3) . -2)) ((a10 . 1) ((u . 2) . 12)) ((a13 . 1) ((u . 3) . 2)) ((a15 . 
1) ((u . 4) . -2)) ((a16 . 1) ((u . 4) . -2)) ((a3 . 1) ((u . 4) . 2)) ((a6 . 1)
((u . 4) . 2)) ((a8 . 1) ((u . 3) . 4)) ((a9 . 1) ((u . 3) . -4))) (((df b8 u)
 . 1) ((a1 . 1) ((u . 2) . -18)) ((a10 . 1) ((u . 1) . -36)) ((a13 . 1) ((u . 2)
 . 2)) ((a15 . 1) ((u . 3) . -2)) ((a16 . 1) ((u . 3) . -2)) ((a3 . 1) ((u . 3)
 . 10)) ((a6 . 1) ((u . 3) . 22)) ((a8 . 1) ((u . 2) . 12)) ((a9 . 1) ((u . 2)
 . -24))) (((df b9 u) . 1) ((a1 . 1) ((u . 2) . -9)) ((a10 . 1) ((u . 1) . 54))
((a13 . 1) ((u . 2) . 9)) ((a15 . 1) ((u . 3) . -9)) ((a16 . 1) ((u . 3) . -9))
((a3 . 1) ((u . 3) . 9)) ((a6 . 1) ((u . 3) . 9)) ((a8 . 1) ((u . 2) . 18)) ((a9
 . 1) ((u . 2) . -18))) ((a1 . 1) ((b1 . 1) ((u . 1) . -12)) ((b13 . 1) ((u . 1)
 . 6)) ((b16 . 1) ((u . 2) . -12)) ((b18 . 1) ((u . 1) . -2)) ((b6 . 1) ((u . 2)
 . 30)) ((b8 . 1) ((u . 1) . 24)) ((b9 . 1) ((u . 1) . -57)) ((c_1 . 1) . -216))
((a10 . 1) ((b1 . 1) . -144) ((b6 . 1) ((u . 1) . 252)) ((b9 . 1) . -306)) ((a13
 . 1) ((b1 . 1) ((u . 1) . -18)) ((b6 . 1) ((u . 2) . 30)) ((b8 . 1) ((u . 1) . 
34)) ((b9 . 1) ((u . 1) . 3))) ((a15 . 1) ((b1 . 1) ((u . 2) . 18)) ((b6 . 1) ((
u . 3) . -30)) ((b8 . 1) ((u . 2) . -34)) ((b9 . 1) ((u . 2) . -3))) ((a16 . 1)
((b1 . 1) ((u . 2) . 18)) ((b6 . 1) ((u . 3) . -30)) ((b8 . 1) ((u . 2) . -34))
((b9 . 1) ((u . 2) . -3))) ((a3 . 1) ((b13 . 1) ((u . 2) . 6)) ((b16 . 1) ((u . 
3) . -12)) ((b18 . 1) ((u . 2) . -2)) ((b6 . 1) ((u . 3) . -6)) ((b8 . 1) ((u . 
2) . -16)) ((b9 . 1) ((u . 2) . 21)) ((c_1 . 1) ((u . 1) . 144))) ((a6 . 1) ((b1
 . 1) ((u . 2) . 18)) ((b13 . 1) ((u . 2) . -12)) ((b16 . 1) ((u . 3) . 24)) ((
b18 . 1) ((u . 2) . 4)) ((b6 . 1) ((u . 3) . -42)) ((b8 . 1) ((u . 2) . -28)) ((
b9 . 1) ((u . 2) . 75)) ((c_1 . 1) ((u . 1) . 252))) ((a7 . 1) ((b13 . 1) ((u . 
1) . 18)) ((b16 . 1) ((u . 2) . -36)) ((b18 . 1) ((u . 1) . -6))) ((a8 . 1) ((b1
 . 1) ((u . 1) . -12)) ((b13 . 1) ((u . 1) . 6)) ((b16 . 1) ((u . 2) . -12)) ((
b18 . 1) ((u . 1) . -2)) ((b6 . 1) ((u . 2) . 12)) ((b8 . 1) ((u . 1) . -24)) ((
b9 . 1) ((u . 1) . 6)) ((c_1 . 1) . 216)) ((a9 . 1) ((b1 . 1) ((u . 1) . -6)) ((
b13 . 1) ((u . 1) . 12)) ((b16 . 1) ((u . 2) . -24)) ((b18 . 1) ((u . 1) . -4))
((b6 . 1) ((u . 2) . 24)) ((b8 . 1) ((u . 1) . 36)) ((b9 . 1) ((u . 1) . -60)) (
(c_1 . 1) . -324))) . 1) (fac . 2) (pval plus (times 2 (df a1 u) (df b18 u) (
expt u 3)) (times 2 (df a1 u) (df b8 u) (expt u 3)) (times 3 (df a1 u) b1 (expt
u 2)) (minus (times 3 (df a1 u) b13 (expt u 2))) (times 6 (df a1 u) b16 (expt u
3)) (times (df a1 u) b18 (expt u 2)) (minus (times 6 (df a1 u) b6 (expt u 3))) (
minus (times 2 (df a1 u) b8 (expt u 2))) (times 9 (df a1 u) b9 (expt u 2)) (
times 18 (df a1 u) c_1 u) (minus (times 12 (df a10 u) (df b18 u) (expt u 2))) (
minus (times 12 (df a10 u) (df b8 u) (expt u 2))) (minus (times 18 (df a10 u) b1
u)) (times 18 (df a10 u) b13 u) (minus (times 36 (df a10 u) b16 (expt u 2))) (
minus (times 6 (df a10 u) b18 u)) (times 36 (df a10 u) b6 (expt u 2)) (times 12
(df a10 u) b8 u) (minus (times 54 (df a10 u) b9 u)) (minus (times 108 (df a10 u)
c_1)) (minus (times 2 (df a3 u) (df b18 u) (expt u 4))) (minus (times 2 (df a3 u
) (df b8 u) (expt u 4))) (minus (times 3 (df a3 u) b1 (expt u 3))) (times 3 (df
a3 u) b13 (expt u 3)) (minus (times 6 (df a3 u) b16 (expt u 4))) (minus (times (
df a3 u) b18 (expt u 3))) (times 6 (df a3 u) b6 (expt u 4)) (times 2 (df a3 u) 
b8 (expt u 3)) (minus (times 9 (df a3 u) b9 (expt u 3))) (minus (times 18 (df a3
u) c_1 (expt u 2))) (minus (times 2 (df a6 u) (df b18 u) (expt u 4))) (minus (
times 2 (df a6 u) (df b8 u) (expt u 4))) (minus (times 3 (df a6 u) b1 (expt u 3)
)) (times 3 (df a6 u) b13 (expt u 3)) (minus (times 6 (df a6 u) b16 (expt u 4)))
(minus (times (df a6 u) b18 (expt u 3))) (times 6 (df a6 u) b6 (expt u 4)) (
times 2 (df a6 u) b8 (expt u 3)) (minus (times 9 (df a6 u) b9 (expt u 3))) (
minus (times 18 (df a6 u) c_1 (expt u 2))) (minus (times 4 (df a8 u) (df b18 u)
(expt u 3))) (minus (times 4 (df a8 u) (df b8 u) (expt u 3))) (minus (times 6 (
df a8 u) b1 (expt u 2))) (times 6 (df a8 u) b13 (expt u 2)) (minus (times 12 (df
a8 u) b16 (expt u 3))) (minus (times 2 (df a8 u) b18 (expt u 2))) (times 12 (df
a8 u) b6 (expt u 3)) (times 4 (df a8 u) b8 (expt u 2)) (minus (times 18 (df a8 u
) b9 (expt u 2))) (minus (times 36 (df a8 u) c_1 u)) (times 4 (df a9 u) (df b18
u) (expt u 3)) (times 4 (df a9 u) (df b8 u) (expt u 3)) (times 6 (df a9 u) b1 (
expt u 2)) (minus (times 6 (df a9 u) b13 (expt u 2))) (times 12 (df a9 u) b16 (
expt u 3)) (times 2 (df a9 u) b18 (expt u 2)) (minus (times 12 (df a9 u) b6 (
expt u 3))) (minus (times 4 (df a9 u) b8 (expt u 2))) (times 18 (df a9 u) b9 (
expt u 2)) (times 36 (df a9 u) c_1 u) (minus (times 3 (df b1 u) a1 (expt u 2)))
(times 18 (df b1 u) a10 u) (times 3 (df b1 u) a13 (expt u 2)) (minus (times 3 (
df b1 u) a15 (expt u 3))) (minus (times 3 (df b1 u) a16 (expt u 3))) (times 3 (
df b1 u) a3 (expt u 3)) (times 3 (df b1 u) a6 (expt u 3)) (times 6 (df b1 u) a8
(expt u 2)) (minus (times 6 (df b1 u) a9 (expt u 2))) (minus (times 4 (df b18 u)
a1 (expt u 2))) (minus (times 4 (df b18 u) a3 (expt u 3))) (times 8 (df b18 u) 
a6 (expt u 3)) (minus (times 12 (df b18 u) a7 (expt u 2))) (minus (times 4 (df 
b18 u) a8 (expt u 2))) (minus (times 8 (df b18 u) a9 (expt u 2))) (times 6 (df 
b6 u) a1 (expt u 3)) (minus (times 36 (df b6 u) a10 (expt u 2))) (minus (times 6
(df b6 u) a13 (expt u 3))) (times 6 (df b6 u) a15 (expt u 4)) (times 6 (df b6 u)
a16 (expt u 4)) (minus (times 6 (df b6 u) a3 (expt u 4))) (minus (times 6 (df b6
u) a6 (expt u 4))) (minus (times 12 (df b6 u) a8 (expt u 3))) (times 12 (df b6 u
) a9 (expt u 3)) (minus (times 2 (df b8 u 2) a1 (expt u 3))) (times 12 (df b8 u
2) a10 (expt u 2)) (times 2 (df b8 u 2) a13 (expt u 3)) (minus (times 2 (df b8 u
2) a15 (expt u 4))) (minus (times 2 (df b8 u 2) a16 (expt u 4))) (times 2 (df b8
u 2) a3 (expt u 4)) (times 2 (df b8 u 2) a6 (expt u 4)) (times 4 (df b8 u 2) a8
(expt u 3)) (minus (times 4 (df b8 u 2) a9 (expt u 3))) (minus (times 18 (df b8
u) a1 (expt u 2))) (minus (times 36 (df b8 u) a10 u)) (times 2 (df b8 u) a13 (
expt u 2)) (minus (times 2 (df b8 u) a15 (expt u 3))) (minus (times 2 (df b8 u)
a16 (expt u 3))) (times 10 (df b8 u) a3 (expt u 3)) (times 22 (df b8 u) a6 (expt
u 3)) (times 12 (df b8 u) a8 (expt u 2)) (minus (times 24 (df b8 u) a9 (expt u 2
))) (minus (times 9 (df b9 u) a1 (expt u 2))) (times 54 (df b9 u) a10 u) (times
9 (df b9 u) a13 (expt u 2)) (minus (times 9 (df b9 u) a15 (expt u 3))) (minus (
times 9 (df b9 u) a16 (expt u 3))) (times 9 (df b9 u) a3 (expt u 3)) (times 9 (
df b9 u) a6 (expt u 3)) (times 18 (df b9 u) a8 (expt u 2)) (minus (times 18 (df
b9 u) a9 (expt u 2))) (minus (times 12 a1 b1 u)) (times 6 a1 b13 u) (minus (
times 12 a1 b16 (expt u 2))) (minus (times 2 a1 b18 u)) (times 30 a1 b6 (expt u
2)) (times 24 a1 b8 u) (minus (times 57 a1 b9 u)) (minus (times 216 a1 c_1)) (
minus (times 144 a10 b1)) (times 252 a10 b6 u) (minus (times 306 a10 b9)) (minus
(times 18 a13 b1 u)) (times 30 a13 b6 (expt u 2)) (times 34 a13 b8 u) (times 3 
a13 b9 u) (times 18 a15 b1 (expt u 2)) (minus (times 30 a15 b6 (expt u 3))) (
minus (times 34 a15 b8 (expt u 2))) (minus (times 3 a15 b9 (expt u 2))) (times 
18 a16 b1 (expt u 2)) (minus (times 30 a16 b6 (expt u 3))) (minus (times 34 a16
b8 (expt u 2))) (minus (times 3 a16 b9 (expt u 2))) (times 6 a3 b13 (expt u 2))
(minus (times 12 a3 b16 (expt u 3))) (minus (times 2 a3 b18 (expt u 2))) (minus
(times 6 a3 b6 (expt u 3))) (minus (times 16 a3 b8 (expt u 2))) (times 21 a3 b9
(expt u 2)) (times 144 a3 c_1 u) (times 18 a6 b1 (expt u 2)) (minus (times 12 a6
b13 (expt u 2))) (times 24 a6 b16 (expt u 3)) (times 4 a6 b18 (expt u 2)) (minus
(times 42 a6 b6 (expt u 3))) (minus (times 28 a6 b8 (expt u 2))) (times 75 a6 b9
(expt u 2)) (times 252 a6 c_1 u) (times 18 a7 b13 u) (minus (times 36 a7 b16 (
expt u 2))) (minus (times 6 a7 b18 u)) (minus (times 12 a8 b1 u)) (times 6 a8 
b13 u) (minus (times 12 a8 b16 (expt u 2))) (minus (times 2 a8 b18 u)) (times 12
a8 b6 (expt u 2)) (minus (times 24 a8 b8 u)) (times 6 a8 b9 u) (times 216 a8 c_1
) (minus (times 6 a9 b1 u)) (times 12 a9 b13 u) (minus (times 24 a9 b16 (expt u
2))) (minus (times 4 a9 b18 u)) (times 24 a9 b6 (expt u 2)) (times 36 a9 b8 u) (
minus (times 60 a9 b9 u)) (minus (times 324 a9 c_1))) (partitioned) (kern (df a1
u) (df a10 u) (df a3 u) (df a6 u) (df a8 u) (df a9 u) (df b1 u) (df b18 u) (df 
b6 u) (df b8 u 2) (df b8 u) (df b9 u) a1 a10 a13 a15 a16 a3 a6 a7 a8 a9 b1 b13 
b16 b18 b6 b8 b9 c_1 u) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9
b18 a1 a3 a6 a16 a13 a15 a8 a9 a7 a10 c_1) (vars u) (nvars . 1) (level) (derivs
((b1 u) . 1) ((b1) . 1) ((b6 u) . 1) ((b6) . 1) ((b13) . 1) ((b16) . 1) ((b8 u 2
) . 1) ((b8 u) . 1) ((b8) . 1) ((b9 u) . 1) ((b9) . 1) ((b18 u) . 1) ((b18) . 1)
((a1 u) . 1) ((a1) . 1) ((a3 u) . 1) ((a3) . 1) ((a6 u) . 1) ((a6) . 1) ((a16)
 . 1) ((a13) . 1) ((a15) . 1) ((a8 u) . 1) ((a8) . 1) ((a9 u) . 1) ((a9) . 1) ((
a7) . 1) ((a10 u) . 1) ((a10) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 168) (length . 190) (printlength . 730) (rational b1 b6 
b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a7 a10 c_1) (nonrational) (
allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a7 a10) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_eval))) ((b1) ((equal b3 (((((df b8 u)
 . 1) ((u . 1) . -2)) ((b6 . 1) ((u . 1) . 3)) ((b8 . 1) . -4) ((b9 . 1) . -3))
((u . 1) . 3))) b6 b8 b9) (b6) (b13) ((equal b15 (((((df b18 u) . 1) ((u . 1) . 
2)) ((b16 . 1) ((u . 1) . 3)) ((b18 . 1) . 1)) ((u . 1) . 3))) b16 b18) (b16) ((
equal b10 ((((c_1 . 1) . -1)) . 1)) c_1) ((equal b7 ((((b8 . 1) . -1) ((b9 . 1)
 . -1)) . 1)) b8 b9) (b8) (b9) (b19) ((equal b17 ((((b18 . 1) . -1)) . 1)) b18)
(b18) (a1) (a3) (a6) (a16) (a13) (a15) (a8) (a9) ((equal a17 ((((a18 . 1) . 3))
 . 4)) a18) (a18) (a7) (a10) (a19) ((equal a20 (nil . 1)))) nil)
$
end$