off echo$backup_:='
(((list) ("*** Start of level 11" cm "*** Start of level 1" cm 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 (!*comma!* 1 2
38) cp a !11!; 11 l e_5 67 ts p2 p1 pd pf flin_ pv t e_7 e t (times a10 (coeffn
e_7 a7 1)) pe fc y nil b10 v f 20 20 pi eo 12 p1 10 e 100 p1 10 e hd h s) 0 (1 1
) 2 ((1 15 10370 21 22 986 1229 28950662 ((22 1)) ((1 0) (20 1))) (a "Start of "
(1 1) ((equal 0 (plus a10 (minus (times 5 a19)))))) (1 13 10250 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 11 10100 23 22 1090 1349 28950662 ((22 1)) ((
1 0) (22 1))) (16 10 9960 24 23 1064 1315 28950662 ((23 1)) ((1 0) (23 1))) (16
9 9820 25 24 1186 1442 28950662 ((24 1)) ((1 0) (24 1))) (1 8 9650 26 25 1236 
1498 28950662 ((25 1)) ((1 0) (25 1))) (7 7 9640 25 25 1235 1497 28950662 ((25 1
)) ((25 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)
(38 6 9640 25 25 1235 1497 28950662 ((25 1)) ((25 1))) (cp 1 2 38) (2 5 9640 25
24 1235 1495 28950662 ((23 1) (1 2)) ((25 1))) (67 3 9640 25 24 1238 1498 
28950662 ((23 1) (1 2)) ((25 1))) (20 2 9300 26 26 1345 1613 28950662 ((25 1) (1
2)) ((26 1))) (20 1 9270 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 17 
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 19 t t (list) 20 4000 15 10
28950662 986 50 200 50 10 3 t nil nil nil 100 ((e_68 u) (e_67 u) (e_66 u) (e_65
u) (e_64 u) (e_63 u) (e_62 u) (e_61 u) (e_60 u) (e_59 u) (e_58 u) (e_57 u) (e_56
u) (e_55 u) (e_54 u) (e_53 u) (e_52 u) (e_51 u) (e_50 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_18 u) (e_17 u) (e_15 u) (e_16
u) (e_14 u) (e_11 u) (e_26 u) (e_9 u) (e_29 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 a19 c_1
) 15 15 reduce 300 nil nil nil (((((b19 . 1) . 1)) . 1)) (((((((a19 . 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)) (((((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)) (((((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)) (((((a16 . 1) . 1)) . 1)) (((((a15
 . 1) . 1)) . 1)) (((((a13 . 1) . 1)) . 1)))) nil nil nil nil 28950662 ((subst 
a10 nil) (subst a17 nil) (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 71 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_70 e_69 e_49 e_43 e_48 e_47 e_46 e_45 e_44
e_42 e_10 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 "bu593533-" 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_50 ((sqval (((a18 . 1) ((c_1 . 1) . 1))) . 1) (fac ((((a18
 . 1) . 1)) . 1) ((((c_1 . 1) . 1)) . 1)) (pval) (partitioned) (kern a18 c_1) (
fct_kern_lin) (fct_kern_nli) (fcts a18 c_1) (vars u) (nvars . 1) (level 1) (
derivs ((a18) . 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 . 1)
(length . 2) (printlength . 3) (rational a18 c_1) (nonrational) (allvarfcts a18)
(starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test . 1) (linear_)
(histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_51 ((
sqval (((a19 . 1) ((b8 . 1) . 4) ((b9 . 1) . 4)) ((a7 . 1) ((b19 . 1) . -1) ((
c_1 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned) (kern a19 a7 b19 c_1 b8 b9)
(fct_kern_lin) (fct_kern_nli) (fcts b8 b9 b19 a7 a19 c_1) (vars u) (nvars . 1) (
level 1) (derivs ((b8) . 1) ((b9) . 1) ((b19) . 1) ((a7) . 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 . 4) (length . 6) (printlength
 . 10) (rational b8 b9 b19 a7 a19 c_1) (nonrational) (allvarfcts b8 b9 b19 a7 
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_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_53 ((sqval ((((df 
a19 u) . 1) ((b19 . 1) . 4) ((c_1 . 1) . 4)) (((df b19 u) . 1) ((a19 . 1) . 16))
((a18 . 1) ((b19 . 1) . -3))) . 1) (fac . 2) (pval) (partitioned) (kern (df a19
u) (df b19 u) a18 b19 a19 c_1) (fct_kern_lin) (fct_kern_nli) (fcts b19 a18 a19 
c_1) (vars u) (nvars . 1) (level 1) (derivs ((b19 u) . 1) ((b19) . 1) ((a18) . 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 . 4
) (length . 7) (printlength . 11) (rational b19 a18 a19 c_1) (nonrational) (
allvarfcts b19 a18 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_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_52 ((sqval (((a19 . 
1) ((b8 . 1) . 24)) ((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 a19 a7 a8 a9 b19 c_1 b8) (fct_kern_lin) (fct_kern_nli) (fcts b8 b19 a8 a9 
a7 a19 c_1) (vars u) (nvars . 1) (level 1) (derivs ((b8) . 1) ((b19) . 1) ((a8)
 . 1) ((a9) . 1) ((a7) . 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 . 5) (length . 9) (printlength . 14) (rational b8 b19 a8 a9
a7 a19 c_1) (nonrational) (allvarfcts b8 b19 a8 a9 a7 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_54 ((sqval ((((df a19
u) . 1) ((b19 . 1) . 5) ((c_1 . 1) . 5)) ((a19 . 1) ((b8 . 1) . -20) ((b9 . 1)
 . 4)) ((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 a19 u) a19 a7 a8 a9 c_1
b8 b9 b19) (fct_kern_lin) (fct_kern_nli) (fcts b8 b9 b19 a8 a9 a7 a19 c_1) (vars
u) (nvars . 1) (level 1) (derivs ((b8) . 1) ((b9) . 1) ((b19) . 1) ((a8) . 1) ((
a9) . 1) ((a7) . 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 . 7) (length . 12) (printlength . 19) (
rational b8 b9 b19 a8 a9 a7 a19 c_1) (nonrational) (allvarfcts b8 b9 b19 a8 a9 
a7 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_55 ((sqval ((((df b18 u) . 1) ((a19 . 1) ((u . 1) . 64))) ((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) . 
-48) ((b16 . 1) ((u . 1) . 96)) ((b18 . 1) . 80))) . 1) (fac . 2) (pval) (
partitioned) (kern (df b18 u) 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 a19 c_1) (vars u)
(nvars . 1) (level 1) (derivs ((b13) . 1) ((b16) . 1) ((b19) . 1) ((b18 u) . 1)
((b18) . 1) ((a13) . 1) ((a15) . 1) ((a18) . 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 . 9) (length . 14) (printlength . 27) (
rational b13 b16 b19 b18 a13 a15 a18 a19 c_1) (nonrational) (allvarfcts b13 b16
b19 b18 a13 a15 a18 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_56 ((sqval ((((df b18 u) . 1) ((a19 . 1) ((u . 1) . 16))
) ((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) . 104)) ((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) (partitioned) (kern (df b18 u) 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 a19 c_1) (vars u) (nvars . 1) (level 1) (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) ((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 . 23
) (printlength . 46) (rational b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a19 
c_1) (nonrational) (allvarfcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 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_57 ((sqval ((((df b8 u) . 1) ((a19 . 1) ((u . 1) . 80))) ((a1 . 1) ((c_1 . 1)
 . 24)) ((a18 . 1) ((b8 . 1) ((u . 1) . -1))) ((a19 . 1) ((b1 . 1) . 120) ((b6
 . 1) ((u . 1) . -240)) ((b8 . 1) . -80) ((b9 . 1) . 360)) ((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) (partitioned) (kern (df b8 u) a1 a18 a19 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 a19 c_1) (vars u) (nvars . 1) (level 1) (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) ((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 . 16) (length . 25) (printlength . 50) (
rational b1 b6 b8 b9 b18 a1 a3 a6 a8 a9 a18 a7 a19 c_1) (nonrational) (
allvarfcts b1 b6 b8 b9 b18 a1 a3 a6 a8 a9 a18 a7 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_58 ((sqval (((a1 . 1)
((b19 . 1) . 4) ((c_1 . 1) . 4)) ((a18 . 1) ((b8 . 1) ((u . 1) . -1)) ((b9 . 1)
((u . 1) . -1))) ((a19 . 1) ((b1 . 1) . 16) ((b6 . 1) ((u . 1) . -32)) ((b8 . 1)
 . -208) ((b9 . 1) . -96)) ((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)
(partitioned) (kern a1 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 a19 
c_1) (vars u) (nvars . 1) (level 1) (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) ((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 . 21) (length . 28) (printlength . 61) (rational b1 b6 b8 b9
b19 b18 a1 a6 a8 a9 a18 a7 a19 c_1) (nonrational) (allvarfcts b1 b6 b8 b9 b19 
b18 a1 a6 a8 a9 a18 a7 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_59 ((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) ((a19 . 1) ((u . 1) . 64)
)) (((df b19 u) . 1) ((a18 . 1) ((u . 1) . -3)) ((a19 . 1) . -360) ((a7 . 1) ((u
 . 1) . 12)) ((a8 . 1) ((u . 1) . -12)) ((a9 . 1) ((u . 1) . 12))) ((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) . -48) ((b16 . 1)
((u . 1) . 96)) ((b18 . 1) . 512)) ((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) (partitioned) (kern (df a18 u) (df a19 u) (df b18 u) (df b19 u)
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 a19 c_1) (vars u
) (nvars . 1) (level 1) (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) ((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 . 24) (length . 36) (
printlength . 77) (rational b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a19 c_1)
(nonrational) (allvarfcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 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_60 ((sqval ((((df a19 u) . 1) ((b18 . 1) ((u . 1) . 20)) ((b19 . 1) . -60) ((
b8 . 1) ((u . 1) . 20)) ((c_1 . 1) . -120)) (((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) ((a19 . 1) ((u . 1) . -96))) ((a1 . 1) ((c_1 . 
1) . -36)) ((a18 . 1) ((b8 . 1) ((u . 1) . 2)) ((b9 . 1) ((u . 1) . 1))) ((a19
 . 1) ((b1 . 1) . -136) ((b6 . 1) ((u . 1) . 272)) ((b8 . 1) . 352) ((b9 . 1) . 
-336)) ((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) (
partitioned) (kern (df a19 u) (df a7 u) (df a8 u) (df a9 u) (df b8 u) a1 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 a19 c_1) (vars u) (nvars . 1) (level 1) (
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) ((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 . 31) (length . 44) (printlength
 . 96) (rational b1 b6 b8 b9 b19 b18 a1 a3 a6 a8 a9 a18 a7 a19 c_1) (nonrational
) (allvarfcts b1 b6 b8 b9 b19 b18 a1 a3 a6 a8 a9 a18 a7 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_61 ((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) ((a18 . 1) ((u . 2) . 8)) ((a19 . 1) ((u . 1) . 96))
((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)))
((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) . -144) ((
b16 . 1) ((u . 1) . 288)) ((b18 . 1) . -456)) ((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) (partitioned) (kern (df a18 u) (df b18 u) (df b8 u)
a1 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 a19 c_1) (vars u) (nvars . 1) (level 1) (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) ((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 . 43) (length . 57
) (printlength . 154) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15
a8 a9 a18 a7 a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 
a3 a6 a16 a13 a15 a8 a9 a18 a7 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_62 ((sqval ((((df a19 u) . 1) ((b18 . 1
) ((u . 1) . 240)) ((b8 . 1) ((u . 1) . 240)) ((c_1 . 1) . -720)) (((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) ((a18 . 1) ((u . 2) . -2)) ((
a19 . 1) ((u . 1) . -960)) ((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)) ((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))) ((a19 . 1) ((b1 . 1) . -1440) ((b6 . 1) ((u . 1) . 2880))
((b8 . 1) . 600) ((b9 . 1) . -3600)) ((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) (partitioned) (kern (df a19 u) (df a7 u) (df a8 u) (df a9 u) (
df b18 u) (df b8 u) a1 a13 a15 a16 a18 a19 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 a19 c_1) (vars u) (nvars . 1) (level 1) (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) ((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 . 63) (length . 80) (printlength . 223) (rational b1 b6 b13
b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a19 c_1) (nonrational) (
allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 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_63 ((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) ((a19 . 1
) ((u . 1) . 48))) (((df b16 u) . 1) ((a19 . 1) ((u . 2) . -96))) (((df b18 u 2)
 . 1) ((a19 . 1) ((u . 2) . -32))) (((df b18 u) . 1) ((a18 . 1) ((u . 2) . -4))
((a19 . 1) ((u . 1) . -496)) ((a7 . 1) ((u . 2) . 16)) ((a8 . 1) ((u . 2) . -16)
) ((a9 . 1) ((u . 2) . 16))) (((df b19 u) . 1) ((a1 . 1) ((u . 1) . 12)) ((a13
 . 1) ((u . 1) . -12)) ((a15 . 1) ((u . 2) . 12)) ((a16 . 1) ((u . 2) . 12)) ((
a19 . 1) . -360) ((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)
)) ((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) . 288) ((b16 . 1) ((u
 . 1) . -672)) ((b18 . 1) . -8)) ((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) (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 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 a19 c_1) (vars u) (nvars . 1) (level 1) (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) ((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 . 63) (length . 83
) (printlength . 229) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15
a8 a9 a18 a7 a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 
a3 a6 a16 a13 a15 a8 a9 a18 a7 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_64 ((sqval ((((df a1 u) . 1) ((b19 . 1)
((u . 1) . 12)) ((c_1 . 1) ((u . 1) . 12))) (((df a19 u) . 1) (((df b18 u) . 1)
((u . 2) . -40)) (((df b8 u) . 1) ((u . 2) . -40)) ((b1 . 1) ((u . 1) . -60)) ((
b13 . 1) ((u . 1) . 60)) ((b16 . 1) ((u . 2) . -120)) ((b18 . 1) ((u . 1) . -20)
) ((b19 . 1) . -360) ((b6 . 1) ((u . 2) . 120)) ((b8 . 1) ((u . 1) . 40)) ((b9
 . 1) ((u . 1) . -180)) ((c_1 . 1) . -720)) (((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) ((a19 . 1) ((u . 1) . 48))) (((df b18 u) . 1
) ((a7 . 1) ((u . 2) . -24))) (((df b6 u) . 1) ((a19 . 1) ((u . 2) . -96))) (((
df b8 u 2) . 1) ((a19 . 1) ((u . 2) . 32))) (((df b8 u) . 1) ((a19 . 1) ((u . 1)
 . -448)) ((a7 . 1) ((u . 2) . -24))) (((df b9 u) . 1) ((a19 . 1) ((u . 1) . 144
))) ((a1 . 1) ((b18 . 1) ((u . 1) . 24)) ((b8 . 1) ((u . 1) . 12)) ((b9 . 1) ((u
 . 1) . -24)) ((c_1 . 1) . -288)) ((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) . -1152) ((b6 . 1) ((u . 1) . 2208)
) ((b8 . 1) . 2248) ((b9 . 1) . -1536)) ((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) (partitioned) (kern (df a1 u) (df a19 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 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 a19 c_1) (vars u) (nvars . 1) (level 1) (
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) ((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 . 74) (length . 97) (printlength . 261) (
rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a19 c_1)
(nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9
a18 a7 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_65 ((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) ((a18 . 1) ((u . 2) . -3)) ((a19 . 1) ((u . 1) . -360)) ((a7 . 1) ((u . 2)
 . 12)) ((a8 . 1) ((u . 2) . -12)) ((a9 . 1) ((u . 2) . 12))) (((df b16 u) . 1)
((a18 . 1) ((u . 3) . 6)) ((a19 . 1) ((u . 2) . 720)) ((a7 . 1) ((u . 3) . -24))
((a8 . 1) ((u . 3) . 24)) ((a9 . 1) ((u . 3) . -24))) (((df b18 u 2) . 1) ((a18
 . 1) ((u . 3) . 2)) ((a19 . 1) ((u . 2) . 240)) ((a7 . 1) ((u . 3) . -8)) ((a8
 . 1) ((u . 3) . 8)) ((a9 . 1) ((u . 3) . -8))) (((df b18 u) . 1) ((a1 . 1) ((u
 . 2) . -56)) ((a13 . 1) ((u . 2) . -16)) ((a15 . 1) ((u . 3) . 40)) ((a16 . 1)
((u . 3) . -8)) ((a18 . 1) ((u . 2) . 49)) ((a19 . 1) ((u . 1) . 2664)) ((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)))
((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) . -2016) ((b16 . 
1) ((u . 1) . 4752)) ((b18 . 1) . 216)) ((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) (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 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 a19 c_1) (vars u) (nvars . 1) (level 1) (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) ((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 . 
102) (length . 122) (printlength . 415) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1
a3 a6 a16 a13 a15 a8 a9 a18 a7 a19 c_1) (nonrational) (allvarfcts b1 b6 b13 b16
b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 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_66 ((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)) ((a13 . 1) ((u . 2) . 6)) ((a15
 . 1) ((u . 3) . -6)) ((a16 . 1) ((u . 3) . -6)) ((a19 . 1) ((u . 1) . 180)) ((
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)) ((a13 . 1) (
(u . 3) . -12)) ((a15 . 1) ((u . 4) . 12)) ((a16 . 1) ((u . 4) . 12)) ((a19 . 1)
((u . 2) . -360)) ((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)) ((a13 . 1) ((u . 3) . -4)) ((a15 . 1) ((u . 4) . 4)) ((a16 . 1) ((u
 . 4) . 4)) ((a19 . 1) ((u . 2) . -120)) ((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)) ((a13 . 1) ((u . 2) . -10)) ((a15 . 1) ((u . 3) . 
-6)) ((a16 . 1) ((u . 3) . 18)) ((a18 . 1) ((u . 2) . -6)) ((a19 . 1) ((u . 1)
 . -924)) ((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))) ((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) . 576) ((b16 . 1
) ((u . 1) . -1512)) ((b18 . 1) . -372)) ((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) (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 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 
a19 c_1) (vars u) (nvars . 1) (level 1) (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) ((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 . 118) (length . 136) (printlength . 531) (
rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a19 c_1) (
nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9
a18 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_67 ((sqval ((((df a1 u) . 1) ((b18 . 1) ((u . 2) . 24)) ((b8 . 1) (
(u . 2) . 24)) ((c_1 . 1) ((u . 1) . -72))) (((df a19 u) . 1) (((df b18 u) . 1)
((u . 2) . 240)) (((df b8 u) . 1) ((u . 2) . 240)) ((b1 . 1) ((u . 1) . 360)) ((
b13 . 1) ((u . 1) . -360)) ((b16 . 1) ((u . 2) . 720)) ((b18 . 1) ((u . 1) . 
-600)) ((b6 . 1) ((u . 2) . -720)) ((b8 . 1) ((u . 1) . -960)) ((b9 . 1) ((u . 1
) . 1080)) ((c_1 . 1) . 4320)) (((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) ((a18 . 1) ((u . 2) . -3)) ((a19 . 1) ((u . 1)
 . -360)) ((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) ((a18 . 1) ((u . 3) . 6)) ((a19 . 1) ((u . 2) . 720)) ((a7 . 1)
((u . 3) . -24)) ((a8 . 1) ((u . 3) . 24)) ((a9 . 1) ((u . 3) . -24))) (((df b8
u 2) . 1) ((a18 . 1) ((u . 3) . -2)) ((a19 . 1) ((u . 2) . -240)) ((a7 . 1) ((u
 . 3) . 8)) ((a8 . 1) ((u . 3) . -8)) ((a9 . 1) ((u . 3) . 8))) (((df b8 u) . 1)
((a1 . 1) ((u . 2) . 48)) ((a13 . 1) ((u . 2) . 24)) ((a15 . 1) ((u . 3) . -24))
((a16 . 1) ((u . 3) . -24)) ((a18 . 1) ((u . 2) . -2)) ((a19 . 1) ((u . 1) . 
3360)) ((a3 . 1) ((u . 3) . -24)) ((a6 . 1) ((u . 3) . -72)) ((a7 . 1) ((u . 2)
 . 72)) ((a9 . 1) ((u . 2) . 72))) (((df b9 u) . 1) ((a18 . 1) ((u . 2) . -9)) (
(a19 . 1) ((u . 1) . -1080)) ((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)) ((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))) ((a19 . 1) ((b1 . 1) . 7200) ((b6 . 1) ((u . 1) . -13680)) ((b8 . 
1) . -1560) ((b9 . 1) . 15840)) ((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) (partitioned) (kern (df a1 u) (df a19 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 a13 a15 a16 a18 a19 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 a19 c_1) (vars u) (nvars . 1) (level 1) (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) ((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 . 150) (length . 174) (printlength . 601) (rational b1 b6 
b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a19 c_1) (nonrational) (
allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 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_68 ((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 a19 u)
 . 1) (((df b18 u) . 1) ((u . 2) . -60)) (((df b8 u) . 1) ((u . 2) . -60)) ((b1
 . 1) ((u . 1) . -90)) ((b13 . 1) ((u . 1) . 90)) ((b16 . 1) ((u . 2) . -180)) (
(b18 . 1) ((u . 1) . -30)) ((b6 . 1) ((u . 2) . 180)) ((b8 . 1) ((u . 1) . 60))
((b9 . 1) ((u . 1) . -270)) ((c_1 . 1) . -540)) (((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)) ((a13
 . 1) ((u . 2) . 3)) ((a15 . 1) ((u . 3) . -3)) ((a16 . 1) ((u . 3) . -3)) ((a19
 . 1) ((u . 1) . 90)) ((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)) ((a13 . 1) ((u . 3) . -6)) ((a15 . 1) ((u . 4) . 6)) ((a16
 . 1) ((u . 4) . 6)) ((a19 . 1) ((u . 2) . -180)) ((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)) ((a13 . 1) ((u . 3) . 2)) ((a15 . 1) (
(u . 4) . -2)) ((a16 . 1) ((u . 4) . -2)) ((a19 . 1) ((u . 2) . 60)) ((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)) ((a13 . 1) ((u . 2) . 2))
((a15 . 1) ((u . 3) . -2)) ((a16 . 1) ((u . 3) . -2)) ((a19 . 1) ((u . 1) . -180
)) ((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)) ((a13 . 1
) ((u . 2) . 9)) ((a15 . 1) ((u . 3) . -9)) ((a16 . 1) ((u . 3) . -9)) ((a19 . 1
) ((u . 1) . 270)) ((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)) ((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))) ((a19 . 1) ((b1 . 1) . -720)
((b6 . 1) ((u . 1) . 1260)) ((b9 . 1) . -1530)) ((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 a19 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 a13 a15 a16 a19 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 a19 c_1) (vars u) (nvars . 1) (level 1) (
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) ((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 . 168) (length . 190) (printlength . 730) (rational b1 b6 
b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a7 a19 c_1) (nonrational) (
allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a7 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))) ((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) ((equal a10 ((((a19 . 1) . 5)) . 1)) a19)
(a19) ((equal a20 (nil . 1)))) nil)
$
end$