off echo$backup_:='
(((list) (10 g (!*comma!* 1 2 3 4 7 8 47 9 15 16 18 19 20 21 24 26 27 30 25 22 
32 34 36) cp a a !1!,2!,38!; a !; 11 l e_5 67 ts p2 p1 pd film_ t e_7 e t !; (
e_7!,a7!,1) a10!*coeffn fc y nil b10 v f 20 20 pi eo 12 p 10 e 100 p1 10 e hd h
s) 0 nil 2 ((16 10 16970 23 22 1090 1349 28950662 ((22 1)) ((1 0) (22 1))) (16 9
16830 24 23 1064 1315 28950662 ((23 1)) ((1 0) (23 1))) (cp 1 2 3 4 7 8 47 9 15
16 18 19 20 21 24 26 27 30 25 22 32 34 36) (16 8 10280 25 24 1186 1442 28950662
((24 1)) ((1 0) (24 1))) (1 7 10110 26 25 1236 1498 28950662 ((25 1)) ((1 0) (25
1))) (7 6 10100 25 25 1235 1497 28950662 ((25 1)) ((25 1))) (2 5 10100 25 24 
1235 1495 28950662 ((23 1) (1 2)) ((25 1))) (67 3 10090 25 24 1238 1498 28950662
((23 1) (1 2)) ((25 1))) (20 2 9880 26 26 1345 1613 28950662 ((25 1) (1 2)) ((26
1))) (20 1 9840 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 12 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 18 t t (list) 20 4000 15 10 28950662 
1000 50 200 50 10 3 t nil nil nil 100 ((e_26 u) (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_16 u) (e_9 u) (e_18 u) (e_15 u) (e_14
u) (e_29 u) (e_17 u) (e_13 u) (e_12 u) (e_7 u) (e_11 u) (e_10 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 a17 a18 a7 a10 a19 c_1)
15 15 reduce 300 nil nil nil (((((b19 . 1) . 1)) . 1)) (((((((a10 . 1) . 1)) . 1
)) (((((a9 . 1) . 1)) . 1)) (((((a8 . 1) . 1)) . 1)) (((((a7 . 1) . 1)) . 1)) ((
(((a6 . 1) . 1)) . 1)) (((((a3 . 1) . 1)) . 1)) (((((a1 . 1) . 1)) . 1))) ((((((
a19 . 1) . 1)) . 1)) (((((a18 . 1) . 1)) . 1)) (((((a17 . 1) . 1)) . 1)) (((((
a16 . 1) . 1)) . 1)) (((((a15 . 1) . 1)) . 1)) (((((a13 . 1) . 1)) . 1))) ((((((
c_1 . 1) . 1)) . 1)) (((((b9 . 1) . 1)) . 1)) (((((b8 . 1) . 1)) . 1)) (((((b8
 . 1) . 1) ((b9 . 1) . 1)) . 1)) (((((b6 . 1) . 1)) . 1)) ((((((df b8 u) . 1) ((
u . 1) . 2)) ((b6 . 1) ((u . 1) . -3)) ((b8 . 1) . 4) ((b9 . 1) . 3)) . 1)) ((((
(b1 . 1) . 1)) . 1))) (((((((df a19 u) . 1) . 1)) . 1)) ((((((df a10 u) . 1) . 1
)) . 1)) (((((a9 . 1) . 1)) . 1)) (((((a8 . 1) . 1)) . 1)) (((((a7 . 1) . 1)) . 
1)) (((((a6 . 1) . 1)) . 1)) (((((a3 . 1) . 1)) . 1)) (((((a1 . 1) . 1)) . 1)) (
((((a18 . 1) . 1)) . 1)) (((((a17 . 1) . 1)) . 1)) (((((a16 . 1) . 1)) . 1)) (((
((a15 . 1) . 1)) . 1)) (((((a13 . 1) . 1)) . 1)))) nil nil nil nil 28950662 ((
subst b3 nil) (subst b15 nil) (subst b7 nil) (subst b10 nil) (11 4 nil 0 1 nil 0
1) (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 42 nil 100 nil nil t 12 nil nil (to_do
separation subst_level_0 subst_level_03 quick_integration 
factorize_to_substitute factorize_any subst_derivative subst_level_1 
subst_level_3 subst_level_2 subst_level_33 subst_level_35 subst_level_4 
full_integration gen_separation diff_length_reduction decoupling integration 
undetlinode add_diff_ise alg_solve_single undo_subst_derivative) "no_of_processes"
nil nil nil (nil e_41 e_40 e_39 e_38 e_37 e_36 e_35 e_34 e_33 e_32 e_31 e_8 e_30
e_4 e_28 e_6 e_5 e_2 e_3 e_1) nil nil nil t "bu759678-" t nil nil nil nil 2 8 
1000 20 1000 nil 1000 10000 1000 nil nil nil nil nil nil nil nil t nil nil nil 
nil nil (list) (u v)) ((e_29 ((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)
(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 to_int to_fullint)) (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) (
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 to_int to_fullint
)) (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) (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_int to_fullint to_eval)) (e_10 ((sqval (((a10 . 1) ((b18 . 1) . 1)) ((a17 . 1
) ((b19 . 1) . -4) ((c_1 . 1) . -1)) ((a18 . 1) ((b19 . 1) . 3)) ((a19 . 1) ((
b18 . 1) . -5))) . 1) (fac . 2) (pval plus (times a10 b18) (minus (times 4 a17 
b19)) (minus (times a17 c_1)) (times 3 a18 b19) (minus (times 5 a19 b18))) (
partitioned) (kern a10 a17 a18 a19 b18 b19 c_1) (fct_kern_lin) (fct_kern_nli) (
fcts b19 b18 a17 a18 a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b19) . 
1) ((b18) . 1) ((a17) . 1) ((a18) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a17 . 1) . -4) ((a18 . 
1) . 3)) . 1) . b19) (((((a10 . 1) . 1) ((a19 . 1) . -5)) . 1) . b18)) (
fct_nli_lin (((((a10 . 1) . 1) ((a19 . 1) . -5)) . 1) . b18) (((((a17 . 1) . -4)
((a18 . 1) . 3)) . 1) . b19)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms
 . 5) (length . 9) (printlength . 14) (rational b19 b18 a17 a18 a10 a19 c_1) (
nonrational) (allvarfcts b19 b18 a17 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_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) (
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_int 
to_fullint 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) (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_int to_fullint to_eval)) (
e_11 ((sqval ((((df a19 u) . 1) ((b19 . 1) . 1) ((c_1 . 1) . 1)) (((df b19 u) . 
1) ((a10 . 1) . 1) ((a19 . 1) . -1)) ((a10 . 1) ((b18 . 1) . -1)) ((a17 . 1) ((
b19 . 1) . 3)) ((a18 . 1) ((b19 . 1) . -3)) ((a19 . 1) ((b18 . 1) . 5))) . 1) (
fac . 2) (pval plus (times (df a19 u) b19) (times (df a19 u) c_1) (times (df b19
u) a10) (minus (times (df b19 u) a19)) (minus (times a10 b18)) (times 3 a17 b19)
(minus (times 3 a18 b19)) (times 5 a19 b18)) (partitioned) (kern (df a19 u) (df
b19 u) a10 a17 a18 a19 b18 b19 c_1) (fct_kern_lin) (fct_kern_nli) (fcts b19 b18
a17 a18 a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b19 u) . 1) ((b19)
 . 1) ((b18) . 1) ((a17) . 1) ((a18) . 1) ((a10) . 1) ((a19 u) . 1) ((a19) . 1)
((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a10 . 1)
 . -1) ((a19 . 1) . 5)) . 1) . b18)) (fct_nli_lin (((((a10 . 1) . -1) ((a19 . 1)
 . 5)) . 1) . b18)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 8) (
length . 14) (printlength . 22) (rational b19 b18 a17 a18 a10 a19 c_1) (
nonrational) (allvarfcts b19 b18 a17 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_14 ((sqval ((((df b18 u) . 1) ((a10 . 1)
((u . 1) . 4)) ((a19 . 1) ((u . 1) . -4))) ((a10 . 1) ((b13 . 1) . -3) ((b16 . 1
) ((u . 1) . 6)) ((b18 . 1) . 2)) ((a13 . 1) ((b19 . 1) . -3) ((c_1 . 1) . -3))
((a15 . 1) ((b19 . 1) ((u . 1) . 6)) ((c_1 . 1) ((u . 1) . 6))) ((a17 . 1) ((b19
 . 1) . 9)) ((a18 . 1) ((b19 . 1) . -9)) ((a19 . 1) ((b13 . 1) . 3) ((b16 . 1) (
(u . 1) . -6)) ((b18 . 1) . 10))) . 1) (fac . 2) (pval) (partitioned) (kern (df
b18 u) a10 a13 a15 a17 a18 a19 b13 b16 b18 u b19 c_1) (fct_kern_lin) (
fct_kern_nli) (fcts b13 b16 b19 b18 a13 a15 a17 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) ((a17) . 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 . 14) (length . 21) (printlength
 . 41) (rational b13 b16 b19 b18 a13 a15 a17 a18 a10 a19 c_1) (nonrational) (
allvarfcts b13 b16 b19 b18 a13 a15 a17 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_int to_fullint to_eval)) (e_16 ((sqval ((((df b8 u
) . 1) ((a10 . 1) ((u . 1) . 4))) ((a1 . 1) ((c_1 . 1) . 6)) ((a10 . 1) ((b1 . 1
) . 6) ((b6 . 1) ((u . 1) . -12)) ((b8 . 1) . -4) ((b9 . 1) . 18)) ((a17 . 1) ((
b8 . 1) ((u . 1) . 1))) ((a18 . 1) ((b8 . 1) ((u . 1) . -1))) ((a3 . 1) ((c_1 . 
1) ((u . 1) . -6))) ((a6 . 1) ((c_1 . 1) ((u . 1) . -6))) ((a7 . 1) ((b8 . 1) ((
u . 1) . -1)) ((c_1 . 1) . 3)) ((a8 . 1) ((b8 . 1) ((u . 1) . 1)) ((c_1 . 1) . 
-15)) ((a9 . 1) ((b18 . 1) ((u . 1) . -2)) ((b8 . 1) ((u . 1) . -3)) ((c_1 . 1)
 . 21))) . 1) (fac . 2) (pval) (partitioned) (kern (df b8 u) a1 a10 a17 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 a17 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) ((a17) . 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 . 17) (length . 27
) (printlength . 54) (rational b1 b6 b8 b9 b18 a1 a3 a6 a8 a9 a17 a18 a7 a10 c_1
) (nonrational) (allvarfcts b1 b6 b8 b9 b18 a1 a3 a6 a8 a9 a17 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_int to_fullint to_eval)) (
e_15 ((sqval ((((df b18 u) . 1) ((a19 . 1) ((u . 1) . 4))) ((a10 . 1) ((b18 . 1)
 . 6)) ((a13 . 1) ((b19 . 1) . 6)) ((a15 . 1) ((b19 . 1) ((u . 1) . -6))) ((a16
 . 1) ((b19 . 1) ((u . 1) . -6))) ((a17 . 1) ((b18 . 1) ((u . 1) . 3)) ((b19 . 1
) . -3) ((b8 . 1) ((u . 1) . 2)) ((c_1 . 1) . -6)) ((a18 . 1) ((b18 . 1) ((u . 1
) . -1)) ((b19 . 1) . 3)) ((a19 . 1) ((b13 . 1) . -6) ((b16 . 1) ((u . 1) . 12))
((b18 . 1) . -4)) ((a7 . 1) ((b18 . 1) ((u . 1) . -1))) ((a8 . 1) ((b18 . 1) ((u
 . 1) . 1))) ((a9 . 1) ((b18 . 1) ((u . 1) . -1)))) . 1) (fac . 2) (pval) (
partitioned) (kern (df b18 u) a10 a13 a15 a16 a17 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 a17 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) ((a17) . 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 . 17
) (length . 28) (printlength . 55) (rational b13 b16 b8 b19 b18 a16 a13 a15 a8 
a9 a17 a18 a7 a10 a19 c_1) (nonrational) (allvarfcts b13 b16 b8 b19 b18 a16 a13
a15 a8 a9 a17 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_int to_fullint to_eval)) (e_17 ((sqval (((a1 . 1) ((b19 . 1) . 1) ((c_1 . 1)
 . 1)) ((a10 . 1) ((b1 . 1) . 1) ((b6 . 1) ((u . 1) . -2)) ((b8 . 1) . -11) ((b9
 . 1) . -5)) ((a17 . 1) ((b8 . 1) ((u . 1) . 1)) ((b9 . 1) ((u . 1) . 1))) ((a18
 . 1) ((b8 . 1) ((u . 1) . -1)) ((b9 . 1) ((u . 1) . -1))) ((a19 . 1) ((b1 . 1)
 . -1) ((b6 . 1) ((u . 1) . 2)) ((b8 . 1) . 3) ((b9 . 1) . 1)) ((a6 . 1) ((b19
 . 1) ((u . 1) . -2)) ((c_1 . 1) ((u . 1) . -2))) ((a7 . 1) ((b18 . 1) ((u . 1)
 . -2)) ((b8 . 1) ((u . 1) . -1)) ((b9 . 1) ((u . 1) . 1)) ((c_1 . 1) . 9)) ((a8
 . 1) ((b8 . 1) ((u . 1) . -1)) ((b9 . 1) ((u . 1) . -1)) ((c_1 . 1) . -3)) ((a9
 . 1) ((b19 . 1) . 2) ((b8 . 1) ((u . 1) . 1)) ((b9 . 1) ((u . 1) . 1)) ((c_1 . 
1) . 5))) . 1) (fac . 2) (pval) (partitioned) (kern a1 a10 a17 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 a17 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) ((a17) . 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 . 27) (length . 36
) (printlength . 78) (rational b1 b6 b8 b9 b19 b18 a1 a6 a8 a9 a17 a18 a7 a10 
a19 c_1) (nonrational) (allvarfcts b1 b6 b8 b9 b19 b18 a1 a6 a8 a9 a17 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_int to_fullint 
to_eval)) (e_18 ((sqval ((((df a17 u) . 1) ((b19 . 1) ((u . 1) . 3)) ((c_1 . 1)
((u . 1) . 3))) (((df a18 u) . 1) ((b19 . 1) ((u . 1) . -3)) ((c_1 . 1) ((u . 1)
 . -3))) (((df a19 u) . 1) ((b18 . 1) ((u . 1) . -6)) ((b8 . 1) ((u . 1) . -6))
((c_1 . 1) . 18)) (((df b18 u) . 1) ((a10 . 1) ((u . 1) . 2)) ((a19 . 1) ((u . 1
) . -26))) (((df b19 u) . 1) ((a10 . 1) . 18) ((a17 . 1) ((u . 1) . -3)) ((a18
 . 1) ((u . 1) . 3)) ((a7 . 1) ((u . 1) . -3)) ((a8 . 1) ((u . 1) . 3)) ((a9 . 1
) ((u . 1) . -3))) ((a10 . 1) ((b13 . 1) . -6) ((b16 . 1) ((u . 1) . 12)) ((b18
 . 1) . -38)) ((a13 . 1) ((b19 . 1) . -54)) ((a15 . 1) ((b19 . 1) ((u . 1) . 54)
)) ((a16 . 1) ((b19 . 1) ((u . 1) . 54))) ((a17 . 1) ((b18 . 1) ((u . 1) . -12))
((b19 . 1) . 42) ((b8 . 1) ((u . 1) . -6)) ((c_1 . 1) . 24)) ((a18 . 1) ((b18 . 
1) ((u . 1) . 6)) ((b19 . 1) . -39) ((c_1 . 1) . -3)) ((a19 . 1) ((b13 . 1) . 42
) ((b16 . 1) ((u . 1) . -84)) ((b18 . 1) . 62)) ((a7 . 1) ((b18 . 1) ((u . 1) . 
6))) ((a8 . 1) ((b18 . 1) ((u . 1) . -6))) ((a9 . 1) ((b18 . 1) ((u . 1) . 6))))
 . 1) (fac . 2) (pval) (partitioned) (kern (df a17 u) (df a18 u) (df a19 u) (df
b18 u) (df b19 u) a10 a13 a15 a16 a17 a18 a19 a7 a8 a9 b18 u b13 b16 b19 c_1 b8)
(fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a17 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) ((a17 u) . 1) ((a17) . 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 . 34) (length . 49) (printlength . 106) (
rational b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a17 a18 a7 a10 a19 c_1) (
nonrational) (allvarfcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a17 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_int to_fullint to_eval)) (
e_19 ((sqval ((((df a10 u) . 1) ((b18 . 1) ((u . 1) . 2)) ((b19 . 1) . -6) ((b8
 . 1) ((u . 1) . 2)) ((c_1 . 1) . -12)) (((df a7 u) . 1) ((b19 . 1) ((u . 1) . 1
)) ((c_1 . 1) ((u . 1) . 1))) (((df a8 u) . 1) ((b19 . 1) ((u . 1) . -1)) ((c_1
 . 1) ((u . 1) . -1))) (((df a9 u) . 1) ((b19 . 1) ((u . 1) . 1)) ((c_1 . 1) ((u
 . 1) . 1))) (((df b8 u) . 1) ((a10 . 1) ((u . 1) . -10)) ((a19 . 1) ((u . 1) . 
2))) ((a1 . 1) ((c_1 . 1) . -18)) ((a10 . 1) ((b1 . 1) . -14) ((b6 . 1) ((u . 1)
 . 28)) ((b8 . 1) . 35) ((b9 . 1) . -35)) ((a17 . 1) ((b8 . 1) ((u . 1) . -4)) (
(b9 . 1) ((u . 1) . -2))) ((a18 . 1) ((b8 . 1) ((u . 1) . 4)) ((b9 . 1) ((u . 1)
 . 2))) ((a19 . 1) ((b1 . 1) . 2) ((b6 . 1) ((u . 1) . -4)) ((b8 . 1) . 1) ((b9
 . 1) . 7)) ((a3 . 1) ((c_1 . 1) ((u . 1) . 18))) ((a6 . 1) ((c_1 . 1) ((u . 1)
 . 18))) ((a7 . 1) ((b18 . 1) ((u . 1) . 6)) ((b8 . 1) ((u . 1) . 6)) ((b9 . 1)
((u . 1) . -2)) ((c_1 . 1) . -30)) ((a8 . 1) ((b19 . 1) . -1) ((b9 . 1) ((u . 1)
 . 2)) ((c_1 . 1) . 47)) ((a9 . 1) ((b18 . 1) ((u . 1) . 2)) ((b8 . 1) ((u . 1)
 . 2)) ((b9 . 1) ((u . 1) . -2)) ((c_1 . 1) . -54))) . 1) (fac . 2) (pval) (
partitioned) (kern (df a10 u) (df a7 u) (df a8 u) (df a9 u) (df b8 u) a1 a10 a17
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 a17 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) ((a17) . 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 . 38) (length . 53) (printlength . 116) (rational b1 b6 b8 
b9 b19 b18 a1 a3 a6 a8 a9 a17 a18 a7 a10 a19 c_1) (nonrational) (allvarfcts b1 
b6 b8 b9 b19 b18 a1 a3 a6 a8 a9 a17 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_int to_fullint to_eval)) (e_21 ((sqval ((((df a17
u) . 1) ((b18 . 1) ((u . 2) . 2)) ((b8 . 1) ((u . 2) . 2)) ((c_1 . 1) ((u . 1)
 . -6))) (((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) . -12)) ((a18
 . 1) ((u . 2) . -2)) ((a19 . 1) ((u . 1) . 36)) ((a7 . 1) ((u . 2) . 2)) ((a8
 . 1) ((u . 2) . -2)) ((a9 . 1) ((u . 2) . 2))) (((df b8 u) . 1) ((a17 . 1) ((u
 . 2) . -2))) ((a1 . 1) ((b18 . 1) ((u . 1) . -3))) ((a10 . 1) ((b13 . 1) . 18)
((b16 . 1) ((u . 1) . -36)) ((b18 . 1) . 24)) ((a13 . 1) ((b18 . 1) ((u . 1) . 
-17)) ((b19 . 1) . 54) ((b8 . 1) ((u . 1) . -2)) ((c_1 . 1) . 6)) ((a15 . 1) ((
b18 . 1) ((u . 2) . 19)) ((b19 . 1) ((u . 1) . -54)) ((b8 . 1) ((u . 2) . 4)) ((
c_1 . 1) ((u . 1) . -12))) ((a16 . 1) ((b18 . 1) ((u . 2) . 15)) ((b19 . 1) ((u
 . 1) . -54))) ((a17 . 1) ((b1 . 1) ((u . 1) . -3)) ((b18 . 1) ((u . 1) . 8)) ((
b19 . 1) . -12) ((b6 . 1) ((u . 2) . 6)) ((b8 . 1) ((u . 1) . 8)) ((b9 . 1) ((u
 . 1) . -9)) ((c_1 . 1) . -36)) ((a18 . 1) ((b13 . 1) ((u . 1) . 3)) ((b16 . 1)
((u . 2) . -6)) ((b18 . 1) ((u . 1) . -5)) ((b19 . 1) . 12) ((b8 . 1) ((u . 1)
 . -2)) ((c_1 . 1) . 6)) ((a19 . 1) ((b13 . 1) . -54) ((b16 . 1) ((u . 1) . 108)
) ((b18 . 1) . -6)) ((a3 . 1) ((b18 . 1) ((u . 2) . 3))) ((a6 . 1) ((b18 . 1) ((
u . 2) . 3))) ((a7 . 1) ((b13 . 1) ((u . 1) . -3)) ((b16 . 1) ((u . 2) . 6)) ((
b18 . 1) ((u . 1) . -1))) ((a8 . 1) ((b13 . 1) ((u . 1) . 3)) ((b16 . 1) ((u . 2
) . -6)) ((b18 . 1) ((u . 1) . 7))) ((a9 . 1) ((b13 . 1) ((u . 1) . -3)) ((b16
 . 1) ((u . 2) . 6)) ((b18 . 1) ((u . 1) . -7)))) . 1) (fac . 2) (pval) (
partitioned) (kern (df a17 u) (df a18 u) (df b18 u) (df b8 u) a1 a10 a13 a15 a16
a17 a18 a19 a3 a6 a7 a8 a9 b13 b16 b18 u b19 b8 c_1 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 a17 
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) ((a17 u) . 1) ((a17) . 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 . 54) (length . 71) (printlength . 188) (rational b1 b6 b13
b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a17 a18 a7 a10 a19 c_1) (
nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9
a17 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_int 
to_fullint to_eval)) (e_23 ((sqval ((((df a10 u) . 1) ((b18 . 1) ((u . 1) . 12))
((b8 . 1) ((u . 1) . 12)) ((c_1 . 1) . -36)) (((df a7 u) . 1) ((b18 . 1) ((u . 2
) . -2)) ((b8 . 1) ((u . 2) . -2)) ((c_1 . 1) ((u . 1) . 6))) (((df a8 u) . 1) (
(b18 . 1) ((u . 2) . 2)) ((b8 . 1) ((u . 2) . 2)) ((c_1 . 1) ((u . 1) . -6))) ((
(df a9 u) . 1) ((b18 . 1) ((u . 2) . -2)) ((b8 . 1) ((u . 2) . -2)) ((c_1 . 1) (
(u . 1) . 6))) (((df b18 u) . 1) ((a7 . 1) ((u . 2) . -4)) ((a9 . 1) ((u . 2) . 
-2))) (((df b8 u) . 1) ((a10 . 1) ((u . 1) . -48)) ((a17 . 1) ((u . 2) . 2)) ((
a18 . 1) ((u . 2) . -2)) ((a7 . 1) ((u . 2) . -2)) ((a8 . 1) ((u . 2) . -2))) ((
a1 . 1) ((b18 . 1) ((u . 1) . 2)) ((b8 . 1) ((u . 1) . 11)) ((b9 . 1) ((u . 1)
 . -6)) ((c_1 . 1) . -96)) ((a10 . 1) ((b1 . 1) . -72) ((b6 . 1) ((u . 1) . 144)
) ((b8 . 1) . 30) ((b9 . 1) . -180)) ((a13 . 1) ((b8 . 1) ((u . 1) . 9)) ((b9 . 
1) ((u . 1) . 6))) ((a15 . 1) ((b8 . 1) ((u . 2) . -9)) ((b9 . 1) ((u . 2) . -6)
)) ((a16 . 1) ((b8 . 1) ((u . 2) . -9)) ((b9 . 1) ((u . 2) . -6))) ((a17 . 1) ((
b1 . 1) ((u . 1) . 3)) ((b6 . 1) ((u . 2) . -6)) ((b8 . 1) ((u . 1) . -6)) ((b9
 . 1) ((u . 1) . 3))) ((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) . -9)) ((b9 . 1) ((u . 2) . 6)) ((c_1 . 1) ((u . 1) . 90))) ((a6 . 1) ((
b18 . 1) ((u . 2) . -4)) ((b8 . 1) ((u . 2) . -13)) ((b9 . 1) ((u . 2) . 6)) ((
c_1 . 1) ((u . 1) . 102))) ((a7 . 1) ((b1 . 1) ((u . 1) . -3)) ((b13 . 1) ((u . 
1) . 6)) ((b16 . 1) ((u . 2) . -12)) ((b18 . 1) ((u . 1) . 4)) ((b6 . 1) ((u . 2
) . 6)) ((b8 . 1) ((u . 1) . 6)) ((b9 . 1) ((u . 1) . -9)) ((c_1 . 1) . -30)) ((
a8 . 1) ((b1 . 1) ((u . 1) . -3)) ((b18 . 1) ((u . 1) . 2)) ((b6 . 1) ((u . 2)
 . 6)) ((b8 . 1) ((u . 1) . -12)) ((b9 . 1) ((u . 1) . 3)) ((c_1 . 1) . 150)) ((
a9 . 1) ((b13 . 1) ((u . 1) . 3)) ((b16 . 1) ((u . 2) . -6)) ((b18 . 1) ((u . 1)
 . 5)) ((b8 . 1) ((u . 1) . 22)) ((b9 . 1) ((u . 1) . -12)) ((c_1 . 1) . -192)))
 . 1) (fac . 2) (pval) (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 a17 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 a17 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) ((a17) . 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 . 68) (length . 86) (printlength . 241) (
rational b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a17 a18 a7 a10 c_1)
(nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a17
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_int to_fullint 
to_eval)) (e_20 ((sqval ((((df a13 u) . 1) ((b19 . 1) ((u . 1) . 3)) ((c_1 . 1)
((u . 1) . 3))) (((df a15 u) . 1) ((b19 . 1) ((u . 2) . -3)) ((c_1 . 1) ((u . 2)
 . -3))) (((df a16 u) . 1) ((b19 . 1) ((u . 2) . -3)) ((c_1 . 1) ((u . 2) . -3))
) (((df a19 u) . 1) (((df b18 u) . 1) ((u . 2) . -2)) (((df b8 u) . 1) ((u . 2)
 . -2)) ((b1 . 1) ((u . 1) . -3)) ((b13 . 1) ((u . 1) . 3)) ((b16 . 1) ((u . 2)
 . -6)) ((b18 . 1) ((u . 1) . -1)) ((b6 . 1) ((u . 2) . 6)) ((b8 . 1) ((u . 1)
 . 2)) ((b9 . 1) ((u . 1) . -9)) ((c_1 . 1) . -18)) (((df b13 u) . 1) ((a10 . 1)
((u . 1) . 3)) ((a19 . 1) ((u . 1) . -3))) (((df b16 u) . 1) ((a10 . 1) ((u . 2)
 . -6)) ((a19 . 1) ((u . 2) . 6))) (((df b18 u 2) . 1) ((a10 . 1) ((u . 2) . -2)
) ((a19 . 1) ((u . 2) . 2))) (((df b18 u) . 1) ((a10 . 1) ((u . 1) . -33)) ((a17
 . 1) ((u . 2) . 4)) ((a18 . 1) ((u . 2) . -4)) ((a19 . 1) ((u . 1) . 41)) ((a7
 . 1) ((u . 2) . 4)) ((a8 . 1) ((u . 2) . -4)) ((a9 . 1) ((u . 2) . 4))) (((df 
b19 u) . 1) ((a1 . 1) ((u . 1) . 3)) ((a10 . 1) . -18) ((a13 . 1) ((u . 1) . -3)
) ((a15 . 1) ((u . 2) . 3)) ((a16 . 1) ((u . 2) . 3)) ((a3 . 1) ((u . 2) . -3))
((a6 . 1) ((u . 2) . -3)) ((a8 . 1) ((u . 1) . -6)) ((a9 . 1) ((u . 1) . 6))) ((
a1 . 1) ((b18 . 1) ((u . 1) . -3))) ((a10 . 1) ((b13 . 1) . 24) ((b16 . 1) ((u
 . 1) . -54)) ((b18 . 1) . 3)) ((a13 . 1) ((b18 . 1) ((u . 1) . -9)) ((b19 . 1)
 . 60) ((b8 . 1) ((u . 1) . -6)) ((c_1 . 1) . 24)) ((a15 . 1) ((b18 . 1) ((u . 2
) . 15)) ((b19 . 1) ((u . 1) . -66)) ((b8 . 1) ((u . 2) . 12)) ((c_1 . 1) ((u . 
1) . -48))) ((a16 . 1) ((b18 . 1) ((u . 2) . 3)) ((b19 . 1) ((u . 1) . -60)) ((
c_1 . 1) ((u . 1) . -6))) ((a17 . 1) ((b13 . 1) ((u . 1) . -3)) ((b16 . 1) ((u
 . 2) . 6)) ((b18 . 1) ((u . 1) . 8)) ((b19 . 1) . -18)) ((a18 . 1) ((b13 . 1) (
(u . 1) . 3)) ((b16 . 1) ((u . 2) . -6)) ((b18 . 1) ((u . 1) . -8)) ((b19 . 1)
 . 18)) ((a19 . 1) ((b13 . 1) . -48) ((b16 . 1) ((u . 1) . 102)) ((b18 . 1) . 
-17)) ((a3 . 1) ((b18 . 1) ((u . 2) . 3))) ((a6 . 1) ((b18 . 1) ((u . 2) . 3)))
((a7 . 1) ((b13 . 1) ((u . 1) . -3)) ((b16 . 1) ((u . 2) . 6)) ((b18 . 1) ((u . 
1) . 2))) ((a8 . 1) ((b13 . 1) ((u . 1) . 3)) ((b16 . 1) ((u . 2) . -6)) ((b18
 . 1) ((u . 1) . 4))) ((a9 . 1) ((b13 . 1) ((u . 1) . -3)) ((b16 . 1) ((u . 2)
 . 6)) ((b18 . 1) ((u . 1) . -4)))) . 1) (fac . 2) (pval) (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 a17 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 a17 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) ((a17) . 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 . 75) (length . 97
) (printlength . 268) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15
a8 a9 a17 a18 a7 a10 a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19
b18 a1 a3 a6 a16 a13 a15 a8 a9 a17 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_int to_fullint to_eval)) (e_22 ((sqval ((((df a1 u
) . 1) ((b19 . 1) ((u . 1) . 3)) ((c_1 . 1) ((u . 1) . 3))) (((df a10 u) . 1) ((
(df b18 u) . 1) ((u . 2) . -2)) (((df b8 u) . 1) ((u . 2) . -2)) ((b1 . 1) ((u
 . 1) . -3)) ((b13 . 1) ((u . 1) . 3)) ((b16 . 1) ((u . 2) . -6)) ((b18 . 1) ((u
 . 1) . -1)) ((b19 . 1) . -18) ((b6 . 1) ((u . 2) . 6)) ((b8 . 1) ((u . 1) . 2))
((b9 . 1) ((u . 1) . -9)) ((c_1 . 1) . -36)) (((df a3 u) . 1) ((b19 . 1) ((u . 2
) . -3)) ((c_1 . 1) ((u . 2) . -3))) (((df a6 u) . 1) ((b19 . 1) ((u . 2) . -3))
((c_1 . 1) ((u . 2) . -3))) (((df a8 u) . 1) ((b19 . 1) ((u . 1) . -6)) ((c_1 . 
1) ((u . 1) . -6))) (((df a9 u) . 1) ((b19 . 1) ((u . 1) . 6)) ((c_1 . 1) ((u . 
1) . 6))) (((df b1 u) . 1) ((a10 . 1) ((u . 1) . 3)) ((a19 . 1) ((u . 1) . -3)))
(((df b18 u) . 1) ((a7 . 1) ((u . 2) . -6))) (((df b6 u) . 1) ((a10 . 1) ((u . 2
) . -6)) ((a19 . 1) ((u . 2) . 6))) (((df b8 u 2) . 1) ((a10 . 1) ((u . 2) . 2))
((a19 . 1) ((u . 2) . -2))) (((df b8 u) . 1) ((a10 . 1) ((u . 1) . -22)) ((a19
 . 1) ((u . 1) . -2)) ((a7 . 1) ((u . 2) . -6))) (((df b9 u) . 1) ((a10 . 1) ((u
 . 1) . 9)) ((a19 . 1) ((u . 1) . -9))) ((a1 . 1) ((b18 . 1) ((u . 1) . 6)) ((b8
 . 1) ((u . 1) . 3)) ((b9 . 1) ((u . 1) . -6)) ((c_1 . 1) . -72)) ((a10 . 1) ((
b1 . 1) . -60) ((b6 . 1) ((u . 1) . 114)) ((b8 . 1) . 112) ((b9 . 1) . -81)) ((
a13 . 1) ((b8 . 1) ((u . 1) . 9)) ((b9 . 1) ((u . 1) . 6))) ((a15 . 1) ((b8 . 1)
((u . 2) . -9)) ((b9 . 1) ((u . 2) . -6))) ((a16 . 1) ((b8 . 1) ((u . 2) . -9))
((b9 . 1) ((u . 2) . -6))) ((a17 . 1) ((b1 . 1) ((u . 1) . 3)) ((b6 . 1) ((u . 2
) . -6)) ((b8 . 1) ((u . 1) . -15)) ((b9 . 1) ((u . 1) . -9))) ((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) . 12) ((b6 . 1) ((u . 1) . -18)) ((b8 . 
1) . 2) ((b9 . 1) . 21)) ((a3 . 1) ((b19 . 1) ((u . 1) . -6)) ((b8 . 1) ((u . 2)
 . 3)) ((b9 . 1) ((u . 2) . 6)) ((c_1 . 1) ((u . 1) . 48))) ((a6 . 1) ((b18 . 1)
((u . 2) . -12)) ((b8 . 1) ((u . 2) . -9)) ((b9 . 1) ((u . 2) . 6)) ((c_1 . 1) (
(u . 1) . 90))) ((a7 . 1) ((b1 . 1) ((u . 1) . -6)) ((b13 . 1) ((u . 1) . 9)) ((
b16 . 1) ((u . 2) . -18)) ((b18 . 1) ((u . 1) . 9)) ((b6 . 1) ((u . 2) . 12)) ((
b8 . 1) ((u . 1) . 15)) ((b9 . 1) ((u . 1) . -30)) ((c_1 . 1) . -108)) ((a8 . 1)
((b1 . 1) ((u . 1) . -3)) ((b19 . 1) . -6) ((b6 . 1) ((u . 2) . 6)) ((b8 . 1) ((
u . 1) . 9)) ((b9 . 1) ((u . 1) . 15)) ((c_1 . 1) . 120)) ((a9 . 1) ((b1 . 1) ((
u . 1) . 3)) ((b18 . 1) ((u . 1) . 12)) ((b6 . 1) ((u . 2) . -6)) ((b8 . 1) ((u
 . 1) . 3)) ((b9 . 1) ((u . 1) . -15)) ((c_1 . 1) . -162))) . 1) (fac . 2) (pval
) (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 a17 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 a17
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) ((a17) . 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 . 87) (length . 112) (printlength . 302) (
rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a17 a18 a7 a10 
a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13
a15 a8 a9 a17 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_int to_fullint to_eval)) (e_24 ((sqval ((((df a13 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 a15 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 a16 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 b13 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 b16 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 b18 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 b18 u) . 1) ((a1 . 1) ((u . 2) . 17)) ((a10 . 1) ((u
 . 1) . -102)) ((a13 . 1) ((u . 2) . -5)) ((a15 . 1) ((u . 3) . -3)) ((a16 . 1)
((u . 3) . 9)) ((a17 . 1) ((u . 2) . 12)) ((a18 . 1) ((u . 2) . -12)) ((a19 . 1)
((u . 1) . 48)) ((a3 . 1) ((u . 3) . -17)) ((a6 . 1) ((u . 3) . -17)) ((a8 . 1)
((u . 2) . -34)) ((a9 . 1) ((u . 2) . 34))) (((df b8 u) . 1) ((a13 . 1) ((u . 2)
 . 8)) ((a15 . 1) ((u . 3) . -16)) ((a16 . 1) ((u . 3) . -4))) ((a1 . 1) ((b13
 . 1) ((u . 1) . -12)) ((b16 . 1) ((u . 2) . 30)) ((b18 . 1) ((u . 1) . 7))) ((
a10 . 1) ((b13 . 1) . 72) ((b16 . 1) ((u . 1) . -180)) ((b18 . 1) . -42)) ((a13
 . 1) ((b1 . 1) ((u . 1) . 12)) ((b13 . 1) ((u . 1) . -12)) ((b16 . 1) ((u . 2)
 . 18)) ((b18 . 1) ((u . 1) . -49)) ((b19 . 1) . 72) ((b6 . 1) ((u . 2) . -24))
((b8 . 1) ((u . 1) . -8)) ((b9 . 1) ((u . 1) . 36)) ((c_1 . 1) . 72)) ((a15 . 1)
((b1 . 1) ((u . 2) . -24)) ((b13 . 1) ((u . 2) . 24)) ((b16 . 1) ((u . 3) . -42)
) ((b18 . 1) ((u . 2) . 45)) ((b19 . 1) ((u . 1) . -72)) ((b6 . 1) ((u . 3) . 48
)) ((b8 . 1) ((u . 2) . 16)) ((b9 . 1) ((u . 2) . -72)) ((c_1 . 1) ((u . 1) . 
-144))) ((a16 . 1) ((b1 . 1) ((u . 2) . -6)) ((b13 . 1) ((u . 2) . 6)) ((b16 . 1
) ((u . 3) . -6)) ((b18 . 1) ((u . 2) . 51)) ((b19 . 1) ((u . 1) . -72)) ((b6 . 
1) ((u . 3) . 12)) ((b8 . 1) ((u . 2) . 4)) ((b9 . 1) ((u . 2) . -18)) ((c_1 . 1
) ((u . 1) . -36))) ((a17 . 1) ((b13 . 1) ((u . 1) . -18)) ((b16 . 1) ((u . 2)
 . 36)) ((b18 . 1) ((u . 1) . 6))) ((a18 . 1) ((b13 . 1) ((u . 1) . 18)) ((b16
 . 1) ((u . 2) . -36)) ((b18 . 1) ((u . 1) . -6))) ((a19 . 1) ((b13 . 1) . -72)
((b16 . 1) ((u . 1) . 144)) ((b18 . 1) . 24)) ((a3 . 1) ((b13 . 1) ((u . 2) . 12
)) ((b16 . 1) ((u . 3) . -30)) ((b18 . 1) ((u . 2) . -7))) ((a6 . 1) ((b13 . 1)
((u . 2) . 12)) ((b16 . 1) ((u . 3) . -30)) ((b18 . 1) ((u . 2) . -7))) ((a8 . 1
) ((b13 . 1) ((u . 1) . 24)) ((b16 . 1) ((u . 2) . -60)) ((b18 . 1) ((u . 1) . 
-14))) ((a9 . 1) ((b13 . 1) ((u . 1) . -24)) ((b16 . 1) ((u . 2) . 60)) ((b18 . 
1) ((u . 1) . 14)))) . 1) (fac . 2) (pval) (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 a17 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 a17 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) ((a17) . 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 . 126) (length . 
146) (printlength . 557) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13
a15 a8 a9 a17 a18 a10 a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19
b18 a1 a3 a6 a16 a13 a15 a8 a9 a17 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_int to_fullint to_eval)) (e_25 ((sqval ((((df a13 u) . 1) (
(b18 . 1) ((u . 2) . 6)) ((b8 . 1) ((u . 2) . 6)) ((c_1 . 1) ((u . 1) . -18))) (
((df a15 u) . 1) ((b18 . 1) ((u . 3) . -6)) ((b8 . 1) ((u . 3) . -6)) ((c_1 . 1)
((u . 2) . 18))) (((df a16 u) . 1) ((b18 . 1) ((u . 3) . -6)) ((b8 . 1) ((u . 3)
 . -6)) ((c_1 . 1) ((u . 2) . 18))) (((df a17 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 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) . -18)) ((a17 . 1) ((u . 2) . 3)) ((a18 . 1) ((u . 2
) . -3)) ((a7 . 1) ((u . 2) . 3)) ((a8 . 1) ((u . 2) . -3)) ((a9 . 1) ((u . 2)
 . 3))) (((df b16 u) . 1) ((a10 . 1) ((u . 2) . 36)) ((a17 . 1) ((u . 3) . -6))
((a18 . 1) ((u . 3) . 6)) ((a7 . 1) ((u . 3) . -6)) ((a8 . 1) ((u . 3) . 6)) ((
a9 . 1) ((u . 3) . -6))) (((df b18 u 2) . 1) ((a10 . 1) ((u . 2) . 12)) ((a17 . 
1) ((u . 3) . -2)) ((a18 . 1) ((u . 3) . 2)) ((a7 . 1) ((u . 3) . -2)) ((a8 . 1)
((u . 3) . 2)) ((a9 . 1) ((u . 3) . -2))) (((df b18 u) . 1) ((a1 . 1) ((u . 2)
 . -14)) ((a10 . 1) ((u . 1) . 162)) ((a13 . 1) ((u . 2) . -4)) ((a15 . 1) ((u
 . 3) . 10)) ((a16 . 1) ((u . 3) . -2)) ((a17 . 1) ((u . 2) . -25)) ((a18 . 1) (
(u . 2) . 31)) ((a19 . 1) ((u . 1) . -144)) ((a3 . 1) ((u . 3) . 14)) ((a6 . 1)
((u . 3) . 14)) ((a7 . 1) ((u . 2) . -13)) ((a8 . 1) ((u . 2) . 41)) ((a9 . 1) (
(u . 2) . -41))) (((df b8 u) . 1) ((a13 . 1) ((u . 2) . -6)) ((a15 . 1) ((u . 3)
 . 12)) ((a17 . 1) ((u . 2) . 8)) ((a18 . 1) ((u . 2) . -2))) ((a1 . 1) ((b13 . 
1) ((u . 1) . 15)) ((b16 . 1) ((u . 2) . -30)) ((b18 . 1) ((u . 1) . 2))) ((a10
 . 1) ((b13 . 1) . -144) ((b16 . 1) ((u . 1) . 324)) ((b18 . 1) . 18)) ((a13 . 1
) ((b1 . 1) ((u . 1) . -9)) ((b13 . 1) ((u . 1) . 12)) ((b16 . 1) ((u . 2) . -24
)) ((b18 . 1) ((u . 1) . 109)) ((b19 . 1) . -216) ((b6 . 1) ((u . 2) . 18)) ((b8
 . 1) ((u . 1) . 24)) ((b9 . 1) ((u . 1) . -27)) ((c_1 . 1) . -108)) ((a15 . 1)
((b1 . 1) ((u . 2) . 18)) ((b13 . 1) ((u . 2) . -21)) ((b16 . 1) ((u . 3) . 42))
((b18 . 1) ((u . 2) . -124)) ((b19 . 1) ((u . 1) . 216)) ((b6 . 1) ((u . 3) . 
-36)) ((b8 . 1) ((u . 2) . -48)) ((b9 . 1) ((u . 2) . 54)) ((c_1 . 1) ((u . 1)
 . 216))) ((a16 . 1) ((b13 . 1) ((u . 2) . -3)) ((b16 . 1) ((u . 3) . 6)) ((b18
 . 1) ((u . 2) . -106)) ((b19 . 1) ((u . 1) . 216)) ((b8 . 1) ((u . 2) . -12)) (
(c_1 . 1) ((u . 1) . 36))) ((a17 . 1) ((b1 . 1) ((u . 1) . 12)) ((b13 . 1) ((u
 . 1) . 21)) ((b16 . 1) ((u . 2) . -48)) ((b18 . 1) ((u . 1) . -17)) ((b19 . 1)
 . 18) ((b6 . 1) ((u . 2) . -24)) ((b8 . 1) ((u . 1) . -8)) ((b9 . 1) ((u . 1)
 . 36)) ((c_1 . 1) . 72)) ((a18 . 1) ((b1 . 1) ((u . 1) . -3)) ((b13 . 1) ((u . 
1) . -30)) ((b16 . 1) ((u . 2) . 66)) ((b18 . 1) ((u . 1) . 20)) ((b19 . 1) . 
-18) ((b6 . 1) ((u . 2) . 6)) ((b8 . 1) ((u . 1) . 2)) ((b9 . 1) ((u . 1) . -9))
((c_1 . 1) . -18)) ((a19 . 1) ((b13 . 1) . 216) ((b16 . 1) ((u . 1) . -432)) ((
b18 . 1) . -36)) ((a3 . 1) ((b13 . 1) ((u . 2) . -15)) ((b16 . 1) ((u . 3) . 30)
) ((b18 . 1) ((u . 2) . -2))) ((a6 . 1) ((b13 . 1) ((u . 2) . -15)) ((b16 . 1) (
(u . 3) . 30)) ((b18 . 1) ((u . 2) . -2))) ((a7 . 1) ((b13 . 1) ((u . 1) . 9)) (
(b16 . 1) ((u . 2) . -24)) ((b18 . 1) ((u . 1) . -5))) ((a8 . 1) ((b13 . 1) ((u
 . 1) . -39)) ((b16 . 1) ((u . 2) . 84)) ((b18 . 1) ((u . 1) . 1))) ((a9 . 1) ((
b13 . 1) ((u . 1) . 39)) ((b16 . 1) ((u . 2) . -84)) ((b18 . 1) ((u . 1) . -1)))
) . 1) (fac . 2) (pval) (partitioned) (kern (df a13 u) (df a15 u) (df a16 u) (df
a17 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 a17 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 a17 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) ((a17 u) . 1) ((a17) . 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 . 130) (length . 153) (printlength . 520) (
rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a17 a18 a7 a10 
a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13
a15 a8 a9 a17 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_int to_fullint to_eval)) (e_27 ((sqval ((((df a1 u) . 1) ((b18 . 1) ((u . 2)
 . 6)) ((b8 . 1) ((u . 2) . 6)) ((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) . -30)) ((b6 . 1) ((u . 2) . -36)) ((b8 . 1) ((u . 1) . -48)) ((b9 . 1)
((u . 1) . 54)) ((c_1 . 1) . 216)) (((df a3 u) . 1) ((b18 . 1) ((u . 3) . -6)) (
(b8 . 1) ((u . 3) . -6)) ((c_1 . 1) ((u . 2) . 18))) (((df a6 u) . 1) ((b18 . 1)
((u . 3) . -6)) ((b8 . 1) ((u . 3) . -6)) ((c_1 . 1) ((u . 2) . 18))) (((df a7 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 a8 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) . -11)) ((b6
 . 1) ((u . 3) . -6)) ((b8 . 1) ((u . 2) . -14)) ((b9 . 1) ((u . 2) . 9)) ((c_1
 . 1) ((u . 1) . 54))) (((df a9 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) . 11)) ((b6 . 1) ((u . 3) . 6)) ((
b8 . 1) ((u . 2) . 14)) ((b9 . 1) ((u . 2) . -9)) ((c_1 . 1) ((u . 1) . -54))) (
((df b1 u) . 1) ((a10 . 1) ((u . 1) . -18)) ((a17 . 1) ((u . 2) . 3)) ((a18 . 1)
((u . 2) . -3)) ((a7 . 1) ((u . 2) . 3)) ((a8 . 1) ((u . 2) . -3)) ((a9 . 1) ((u
 . 2) . 3))) (((df b18 u) . 1) ((a1 . 1) ((u . 2) . 6)) ((a6 . 1) ((u . 3) . -12
)) ((a7 . 1) ((u . 2) . 28)) ((a8 . 1) ((u . 2) . 2)) ((a9 . 1) ((u . 2) . 16)))
(((df b6 u) . 1) ((a10 . 1) ((u . 2) . 36)) ((a17 . 1) ((u . 3) . -6)) ((a18 . 1
) ((u . 3) . 6)) ((a7 . 1) ((u . 3) . -6)) ((a8 . 1) ((u . 3) . 6)) ((a9 . 1) ((
u . 3) . -6))) (((df b8 u 2) . 1) ((a10 . 1) ((u . 2) . -12)) ((a17 . 1) ((u . 3
) . 2)) ((a18 . 1) ((u . 3) . -2)) ((a7 . 1) ((u . 3) . 2)) ((a8 . 1) ((u . 3)
 . -2)) ((a9 . 1) ((u . 3) . 2))) (((df b8 u) . 1) ((a1 . 1) ((u . 2) . 12)) ((
a10 . 1) ((u . 1) . 168)) ((a13 . 1) ((u . 2) . 6)) ((a15 . 1) ((u . 3) . -6)) (
(a16 . 1) ((u . 3) . -6)) ((a17 . 1) ((u . 2) . 2)) ((a18 . 1) ((u . 2) . -2)) (
(a3 . 1) ((u . 3) . -6)) ((a6 . 1) ((u . 3) . -18)) ((a7 . 1) ((u . 2) . 18)) ((
a9 . 1) ((u . 2) . 18))) (((df b9 u) . 1) ((a10 . 1) ((u . 1) . -54)) ((a17 . 1)
((u . 2) . 9)) ((a18 . 1) ((u . 2) . -9)) ((a7 . 1) ((u . 2) . 9)) ((a8 . 1) ((u
 . 2) . -9)) ((a9 . 1) ((u . 2) . 9))) ((a1 . 1) ((b1 . 1) ((u . 1) . 12)) ((b13
 . 1) ((u . 1) . -9)) ((b16 . 1) ((u . 2) . 18)) ((b18 . 1) ((u . 1) . -3)) ((b6
 . 1) ((u . 2) . -24)) ((b8 . 1) ((u . 1) . -60)) ((b9 . 1) ((u . 1) . 81)) ((
c_1 . 1) . 504)) ((a10 . 1) ((b1 . 1) . 360) ((b6 . 1) ((u . 1) . -684)) ((b8 . 
1) . -78) ((b9 . 1) . 792)) ((a13 . 1) ((b1 . 1) ((u . 1) . 15)) ((b6 . 1) ((u
 . 2) . -30)) ((b8 . 1) ((u . 1) . -72)) ((b9 . 1) ((u . 1) . -30))) ((a15 . 1)
((b1 . 1) ((u . 2) . -15)) ((b6 . 1) ((u . 3) . 30)) ((b8 . 1) ((u . 2) . 72)) (
(b9 . 1) ((u . 2) . 30))) ((a16 . 1) ((b1 . 1) ((u . 2) . -15)) ((b6 . 1) ((u . 
3) . 30)) ((b8 . 1) ((u . 2) . 72)) ((b9 . 1) ((u . 2) . 30))) ((a17 . 1) ((b1
 . 1) ((u . 1) . -15)) ((b6 . 1) ((u . 2) . 24)) ((b8 . 1) ((u . 1) . 13)) ((b9
 . 1) ((u . 1) . -12))) ((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) . -3)) ((b18 . 1) ((u . 2) . -12)) ((b6 . 1) ((u . 3) . 6)) ((b8 . 1
) ((u . 2) . 36)) ((b9 . 1) ((u . 2) . -54)) ((c_1 . 1) ((u . 1) . -396))) ((a6
 . 1) ((b1 . 1) ((u . 2) . -21)) ((b13 . 1) ((u . 2) . 18)) ((b16 . 1) ((u . 3)
 . -36)) ((b18 . 1) ((u . 2) . 6)) ((b6 . 1) ((u . 3) . 42)) ((b8 . 1) ((u . 2)
 . 72)) ((b9 . 1) ((u . 2) . -108)) ((c_1 . 1) ((u . 1) . -576))) ((a7 . 1) ((b1
 . 1) ((u . 1) . 15)) ((b13 . 1) ((u . 1) . -42)) ((b16 . 1) ((u . 2) . 84)) ((
b18 . 1) ((u . 1) . 2)) ((b6 . 1) ((u . 2) . -36)) ((b8 . 1) ((u . 1) . -9)) ((
b9 . 1) ((u . 1) . 48)) ((c_1 . 1) . 90)) ((a8 . 1) ((b1 . 1) ((u . 1) . 24)) ((
b13 . 1) ((u . 1) . -3)) ((b16 . 1) ((u . 2) . 6)) ((b18 . 1) ((u . 1) . -11)) (
(b6 . 1) ((u . 2) . -42)) ((b8 . 1) ((u . 1) . 51)) ((b9 . 1) ((u . 1) . -21)) (
(c_1 . 1) . -612)) ((a9 . 1) ((b1 . 1) ((u . 1) . 3)) ((b13 . 1) ((u . 1) . -24)
) ((b16 . 1) ((u . 2) . 48)) ((b18 . 1) ((u . 1) . -4)) ((b6 . 1) ((u . 2) . -12
)) ((b8 . 1) ((u . 1) . -93)) ((b9 . 1) ((u . 1) . 102)) ((c_1 . 1) . 846))) . 1
) (fac . 2) (pval) (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 a17 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 a17 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) ((a17) . 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 . 159) (length . 184) (printlength . 637) (
rational b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a17 a18 a7 a10 c_1)
(nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a17
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_int to_fullint 
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) (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_int to_fullint 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) (a17) (a18) (a7
) (a10) (a19) ((equal a20 (nil . 1)))) nil)
$
end$