off echo$backup_:='
(((list) ("*** Start of level 1111" cm "*** Start of level 111" cm 
"*** Start of level 11" cm "*** Start of level 1" cm 100 g n g a) 0 (1 1 1 1) 2
((1 15 36670 19 21 823 1038 28950662 ((21 1)) ((19 1))) (a "Start of " (1 1 1 1)
((equal 0 a9))) (3 13 31120 20 21 931 1158 28950662 ((1 0) (20 1)) ((1 0) (19 1)
)) (a "Start of " (1 1 1) ((ineq 0 a18))) (1 11 30970 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 9 26140 22 22 1061 1323 28950662 ((22 1)) ((1 0) (21 1))) (a 
"Start of " (1) ((equal 0 (plus (times 4 a17) (minus (times 3 a18)))))) (16 7 
13810 23 22 1090 1349 28950662 ((22 1)) ((1 0) (22 1))) (16 6 8260 24 23 1064 
1315 28950662 ((23 1)) ((1 0) (23 1))) (1 5 8110 25 24 1114 1371 28950662 ((24 1
)) ((1 0) (24 1))) (7 4 8100 24 24 1113 1370 28950662 ((24 1)) ((24 1))) (16 3 
850 25 25 1238 1500 28950662 ((25 1)) ((25 1))) (4 2 720 26 27 1345 1615 
28950662 ((27 1)) ((26 1))) (3 1 710 27 28 1347 1617 28950662 ((27 1) (1 2)) ((
27 1))) (2 0 700 27 27 1347 1615 28950662 ((25 1) (2 2)) ((27 1))) (cp 1 2 3 4 7
77 8 47 9 15 24 16 18 19 20 21 26 69 25 27 30 22 32 76 34 36)) nil 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 104 t t (list) 20 4000 15 10 28950662
823 50 200 50 10 3 t nil nil nil 100 ((e_87 u) (e_86 u) (e_85 u) (e_84 u) (e_83
u) (e_82 u) (e_81 u) (e_80 u) (e_78 u) (e_79 u) (e_77 u) (e_75 u) (e_76 u) (
e_104 u) (e_74 u) (e_73 u) (e_71 u) (e_70 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_28 u) (e_13 u) (e_12 u) (e_7 u) (a20_ v) (a20 v) (
b18_ u) (b18 u) (b17_ u) (b17 u) (b19_ u) (b19 u) (b9_ u) (b9 u) (b8_ u) (b8 u)
(b7_ u) (b7 u) (b10_ u) (b10 u) (b16_ u) (b16 u) (b15_ u) (b15 u) (b13_ u) (b13
u) (a19_ u) (a19 u) (a10_ u) (a10 u) (a7_ u) (a7 u) (b6_ u) (b6 u) (b3_ u) (b3 u
) (b1_ u) (b1 u) (a18_ u) (a18 u) (a17_ u) (a17 u) (a9_ u) (a9 u) (a8_ u) (a8 u)
(a15_ u) (a15 u) (a13_ u) (a13 u) (a16_ u) (a16 u) (a6_ u) (a6 u) (a3_ u) (a3 u)
(a1_ u) (a1 u)) "http://lie.math.brocku.ca/crack/src" nil nil nil 0 e_ nil "" 
nil nil 1000 (b1 b6 b13 b16 b8 b9 b19 b18) c_ nil nil 0 nil 10000 t t (b1 b6 b13
b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 a18) 15 15 reduce 300 nil nil 
nil (((((a18 . 1) . 1)) . 1) ((((b19 . 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))) ((((((a19 . 1) . 1)) . 1))
(((((a8 . 1) . 1)) . 1)) (((((a7 . 1) . 1)) . 1)) (((((a6 . 1) . 1)) . 1)) (((((
a3 . 1) . 1)) . 1)) (((((a1 . 1) . 1)) . 1)))) nil nil nil nil 28950662 ((subst
a9 nil) (subst c_1 nil) (subst a10 nil) (subst a17 nil) (subst b3 nil) (subst 
b15 nil) (subst b10 nil) (subst b7 nil) (subst b17 nil) (subst a20 nil)) 1.0 1.0
nil t nil t 6 100000000000000000 20 15 100 1 10 1 30 40 10 5 1000000 20 10 10 
107 nil 100 nil nil t 12 nil nil (to_do separation subst_level_0 subst_level_03
quick_integration find_factorization factorize_to_substitute factorize_any 
subst_derivative subst_level_1 full_integration subst_level_3 subst_level_2 
subst_level_33 subst_level_35 subst_level_4 gen_separation case_separation 
integration diff_length_reduction decoupling undetlinode add_diff_ise 
try_other_ordering alg_solve_single undo_subst_derivative) "no_of_processes" nil
nil nil (nil e_106 e_105 e_103 e_72 e_102 e_101 e_100 e_99 e_98 e_97 e_96 e_95 
e_94 e_93 e_92 e_91 e_90 e_89 e_88 e_49 e_69 e_68 e_48 e_42 e_47 e_46 e_45 e_44
e_43 e_41 e_10 e_40 e_39 e_38 e_37 e_36 e_35 e_34 e_33 e_32 e_31 e_30 e_8 e_29 
e_5 e_4 e_2 e_3 e_1 e_6) nil nil nil t "bu642713-" t nil nil nil nil 2 8 1000 20
1000 nil 1000 10000 1000 nil nil nil nil nil nil nil nil nil nil nil nil nil nil
(list) (u v)) ((e_104 ((sqval (((a19 . 1) ((b8 . 1) . 1))) . 1) (fac ((((a19 . 1
) . 1)) . 1) ((((b8 . 1) . 1)) . 1)) (pval) (partitioned) (kern a19 b8) (
fct_kern_lin) (fct_kern_nli) (fcts b8 a19) (vars u) (nvars . 1) (level 1 1 1) (
derivs ((b8) . 1) ((a19) . 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 b8 a19) (nonrational) (allvarfcts b8 
a19) (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_73 ((sqval ((((df a19 u) . 1) ((b19 . 1) . 5)) ((a19 . 1) ((b8 . 1) . -20) ((
b9 . 1) . 4))) . 1) (fac . 2) (pval plus (times 5 (df a19 u) b19) (minus (times
20 a19 b8)) (times 4 a19 b9)) (partitioned) (kern (df a19 u) a19 b8 b9 b19) (
fct_kern_lin) (fct_kern_nli) (fcts b8 b9 b19 a19) (vars u) (nvars . 1) (level 1
1 1) (derivs ((b8) . 1) ((b9) . 1) ((b19) . 1) ((a19 u) . 1) ((a19) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a19 . 1) . -20)) . 1)
 . b8) (((((a19 . 1) . 4)) . 1) . b9) ((((((df a19 u) . 1) . 5)) . 1) . b19)) (
fct_nli_lin (((((a19 . 1) . 4)) . 1) . b9) (((((a19 . 1) . -20)) . 1) . b8)) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus ((((((df a19 u) . 1) . 5)) . 1) . b19))
(terms . 3) (length . 5) (printlength . 8) (rational b8 b9 b19 a19) (nonrational
) (allvarfcts b8 b9 b19 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_70 ((sqval (((a19 . 1) ((b8 . 1) . 4) ((b9 . 1) . 4)) ((a7 . 1) ((
b19 . 1) . -1))) . 1) (fac . 2) (pval plus (times 4 a19 b8) (times 4 a19 b9) (
minus (times a7 b19))) (partitioned) (kern a19 a7 b19 b8 b9) (fct_kern_lin) (
fct_kern_nli) (fcts b8 b9 b19 a7 a19) (vars u) (nvars . 1) (level 1 1 1) (derivs
((b8) . 1) ((b9) . 1) ((b19) . 1) ((a7) . 1) ((a19) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli (((((a19 . 1) . 4)) . 1) . b8) (((((a19
 . 1) . 4)) . 1) . b9) (((((a7 . 1) . -1)) . 1) . b19)) (fct_nli_lin (((((a7 . 1
) . -1)) . 1) . b19) (((((a19 . 1) . 4)) . 1) . b9) (((((a19 . 1) . 4)) . 1) . 
b8)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 5) (
printlength . 8) (rational b8 b9 b19 a7 a19) (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_eval)) (e_71 ((
sqval ((((df a19 u) . 1) ((b19 . 1) . 4)) (((df b19 u) . 1) ((a19 . 1) . 16)) ((
a18 . 1) ((b19 . 1) . -3))) . 1) (fac . 2) (pval plus (times 4 (df a19 u) b19) (
times 16 (df b19 u) a19) (minus (times 3 a18 b19))) (partitioned) (kern (df a19
u) (df b19 u) a18 b19 a19) (fct_kern_lin) (fct_kern_nli) (fcts b19 a19 a18) (
vars u) (nvars . 1) (level 1 1 1) (derivs ((b19 u) . 1) ((b19) . 1) ((a19 u) . 1
) ((a19) . 1) ((a18) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli)
(fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 6)
(printlength . 9) (rational b19 a19 a18) (nonrational) (allvarfcts b19 a19 a18)
(starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (
histry_)) (to_symbol to_under to_diff to_decoup)) (e_28 ((sqval ((((df b13 u) . 
1) ((u . 1) . 3)) (((df b16 u) . 1) ((u . 2) . -6)) (((df b18 u 2) . 1) ((u . 2)
 . -2)) (((df b18 u) . 1) ((u . 1) . -7)) ((b16 . 1) ((u . 1) . -6)) ((b18 . 1)
 . -2)) . 1) (fac . 2) (pval plus (times 3 (df b13 u) u) (minus (times 6 (df b16
u) (expt u 2))) (minus (times 2 (df b18 u 2) (expt u 2))) (minus (times 7 (df 
b18 u) u)) (minus (times 6 b16 u)) (minus (times 2 b18))) (partitioned) (kern (
df b13 u) (df b16 u) (df b18 u 2) (df b18 u) b16 b18 u) (fct_kern_lin) (
fct_kern_nli) (fcts b13 b16 b18) (vars u) (nvars . 1) (level) (derivs ((b13 u)
 . 1) ((b16 u) . 1) ((b16) . 1) ((b18 u 2) . 1) ((b18 u) . 1) ((b18) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 6) (printlength . 19) (
rational b13 b16 b18) (nonrational) (allvarfcts b13 b16 b18) (starde) (dec_with)
(dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_ . t) (histry_)) (
to_symbol to_under to_diff to_decoup)) (e_9 ((sqval ((((df b1 u) . 1) ((u . 1)
 . 3)) (((df b6 u) . 1) ((u . 2) . -6)) (((df b8 u 2) . 1) ((u . 2) . 2)) (((df
b8 u) . 1) ((u . 1) . 8)) (((df b9 u) . 1) ((u . 1) . 9)) ((b6 . 1) ((u . 1) . 
-6)) ((b8 . 1) . 1) ((b9 . 1) . 3)) . 1) (fac . 2) (pval plus (times 3 (df b1 u)
u) (minus (times 6 (df b6 u) (expt u 2))) (times 2 (df b8 u 2) (expt u 2)) (
times 8 (df b8 u) u) (times 9 (df b9 u) u) (minus (times 6 b6 u)) b8 (times 3 b9
)) (partitioned) (kern (df b1 u) (df b6 u) (df b8 u 2) (df b8 u) (df b9 u) b6 b8
b9 u) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b8 b9) (vars u) (nvars . 1) (
level) (derivs ((b1 u) . 1) ((b6 u) . 1) ((b6) . 1) ((b8 u 2) . 1) ((b8 u) . 1)
((b8) . 1) ((b9 u) . 1) ((b9) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 8)
(length . 8) (printlength . 24) (rational b1 b6 b8 b9) (nonrational) (allvarfcts
b1 b6 b8 b9) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test)
(linear_ . t) (histry_)) (to_symbol to_under to_diff to_decoup)) (e_74 ((sqval (
(((df b18 u) . 1) ((a19 . 1) ((u . 1) . 64))) ((a13 . 1) ((b19 . 1) . -12)) ((
a15 . 1) ((b19 . 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 plus (times 64 (df b18 u) a19 u) (minus (times 12 a13 b19)) (times 24 a15 
b19 u) (minus (times 9 a18 b19)) (minus (times 48 a19 b13)) (times 96 a19 b16 u)
(times 80 a19 b18)) (partitioned) (kern (df b18 u) a13 a15 a18 a19 b13 b16 b18 u
b19) (fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b19 b18 a13 a15 a19 a18) (vars
u) (nvars . 1) (level 1 1 1) (derivs ((b13) . 1) ((b16) . 1) ((b19) . 1) ((b18 u
) . 1) ((b18) . 1) ((a13) . 1) ((a15) . 1) ((a19) . 1) ((a18) . 1)) (no_derivs)
(fcteval_lin) (fcteval_nca) (fcteval_nli (((((a19 . 1) . -48)) . 1) . b13) (((((
a19 . 1) ((u . 1) . 96))) . 1) . b16) (((((a13 . 1) . -12) ((a15 . 1) ((u . 1)
 . 24)) ((a18 . 1) . -9)) . 1) . b19)) (fct_nli_lin (((((a13 . 1) . -12) ((a15
 . 1) ((u . 1) . 24)) ((a18 . 1) . -9)) . 1) . b19) (((((a19 . 1) ((u . 1) . 96)
)) . 1) . b16) (((((a19 . 1) . -48)) . 1) . b13)) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 7) (length . 12) (printlength . 22) (rational b13 b16 b19
b18 a13 a15 a19 a18) (nonrational) (allvarfcts b13 b16 b19 b18 a13 a15 a19 a18)
(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_76 ((sqval ((((df 
b8 u) . 1) ((a19 . 1) ((u . 1) . 80))) ((a18 . 1) ((b8 . 1) ((u . 1) . -1))) ((
a19 . 1) ((b1 . 1) . 120) ((b6 . 1) ((u . 1) . -240)) ((b8 . 1) . -80) ((b9 . 1)
 . 360)) ((a7 . 1) ((b8 . 1) ((u . 1) . -4))) ((a8 . 1) ((b8 . 1) ((u . 1) . 4))
)) . 1) (fac . 2) (pval) (partitioned) (kern (df b8 u) a18 a19 a7 a8 b8 u b1 b6
b9) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b8 b9 a8 a7 a19 a18) (vars u) (
nvars . 1) (level 1 1 1) (derivs ((b1) . 1) ((b6) . 1) ((b8 u) . 1) ((b8) . 1) (
(b9) . 1) ((a8) . 1) ((a7) . 1) ((a19) . 1) ((a18) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 8) (length . 13) (printlength . 26) (
rational b1 b6 b8 b9 a8 a7 a19 a18) (nonrational) (allvarfcts b1 b6 b8 b9 a8 a7
a19 a18) (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_77 ((sqval (((a1 . 1) ((b19 . 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
))) ((a7 . 1) ((b18 . 1) ((u . 1) . -8)) ((b8 . 1) ((u . 1) . -4)) ((b9 . 1) ((u
 . 1) . 4))) ((a8 . 1) ((b8 . 1) ((u . 1) . -4)) ((b9 . 1) ((u . 1) . -4)))) . 1
) (fac . 2) (pval) (partitioned) (kern a1 a18 a19 a6 a7 a8 b8 b9 u b18 b19 b1 b6
) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b8 b9 b19 b18 a1 a6 a8 a7 a19 a18) (
vars u) (nvars . 1) (level 1 1 1) (derivs ((b1) . 1) ((b6) . 1) ((b8) . 1) ((b9)
 . 1) ((b19) . 1) ((b18) . 1) ((a1) . 1) ((a6) . 1) ((a8) . 1) ((a7) . 1) ((a19)
 . 1) ((a18) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 13) (length . 19
) (printlength . 41) (rational b1 b6 b8 b9 b19 b18 a1 a6 a8 a7 a19 a18) (
nonrational) (allvarfcts b1 b6 b8 b9 b19 b18 a1 a6 a8 a7 a19 a18) (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_75 ((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))) ((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)))) . 1) (fac . 2)
(pval) (partitioned) (kern (df b18 u) a13 a15 a16 a18 a19 a7 a8 b18 u b13 b16 
b19 b8) (fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a7
a19 a18) (vars u) (nvars . 1) (level 1 1 1) (derivs ((b13) . 1) ((b16) . 1) ((b8
) . 1) ((b19) . 1) ((b18 u) . 1) ((b18) . 1) ((a16) . 1) ((a13) . 1) ((a15) . 1)
((a8) . 1) ((a7) . 1) ((a19) . 1) ((a18) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 12) (length . 20) (printlength . 40) (rational b13 b16 b8
b19 b18 a16 a13 a15 a8 a7 a19 a18) (nonrational) (allvarfcts b13 b16 b8 b19 b18
a16 a13 a15 a8 a7 a19 a18) (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_79 ((sqval ((((df a19 u) . 1) ((b18 . 1) ((u . 1) . 20))
((b19 . 1) . -60) ((b8 . 1) ((u . 1) . 20))) (((df a7 u) . 1) ((b19 . 1) ((u . 1
) . 2))) (((df a8 u) . 1) ((b19 . 1) ((u . 1) . -2))) (((df b8 u) . 1) ((a19 . 1
) ((u . 1) . -96))) ((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)) ((a7 . 1) ((b18 . 1) ((u . 1) . 12)) ((b8 . 1) ((u . 1) . 12)) ((
b9 . 1) ((u . 1) . -4))) ((a8 . 1) ((b19 . 1) . -2) ((b9 . 1) ((u . 1) . 4))))
 . 1) (fac . 2) (pval) (partitioned) (kern (df a19 u) (df a7 u) (df a8 u) (df b8
u) a18 a19 a7 a8 b19 b9 u b18 b8 b1 b6) (fct_kern_lin) (fct_kern_nli) (fcts b1 
b6 b8 b9 b19 b18 a8 a7 a19 a18) (vars u) (nvars . 1) (level 1 1 1) (derivs ((b1)
 . 1) ((b6) . 1) ((b8 u) . 1) ((b8) . 1) ((b9) . 1) ((b19) . 1) ((b18) . 1) ((a8
u) . 1) ((a8) . 1) ((a7 u) . 1) ((a7) . 1) ((a19 u) . 1) ((a19) . 1) ((a18) . 1)
) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 17) (length . 25) (printlength
 . 54) (rational b1 b6 b8 b9 b19 b18 a8 a7 a19 a18) (nonrational) (allvarfcts b1
b6 b8 b9 b19 b18 a8 a7 a19 a18) (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_78 ((sqval ((((df a18 u) . 1) ((b19 . 1) ((u . 1)
 . 3))) (((df a19 u) . 1) ((b18 . 1) ((u . 1) . 24)) ((b8 . 1) ((u . 1) . 24)))
(((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))) ((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))) ((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)))) . 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 b18 u b13 b16
b19 b8) (fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a7
a19 a18) (vars u) (nvars . 1) (level 1 1 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) ((a7) . 1) ((a19 u) . 1) ((a19) . 1) ((a18 u) . 1) ((
a18) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 19) (length . 30) (printlength
 . 63) (rational b13 b16 b8 b19 b18 a16 a13 a15 a8 a7 a19 a18) (nonrational) (
allvarfcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a7 a19 a18) (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_80 ((sqval ((((df a18
u) . 1) ((b18 . 1) ((u . 2) . 2)) ((b8 . 1) ((u . 2) . 2))) (((df b18 u) . 1) ((
a18 . 1) ((u . 2) . 8)) ((a19 . 1) ((u . 1) . 96)) ((a7 . 1) ((u . 2) . -8)) ((
a8 . 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))) ((a15 . 1) ((b18 . 1) ((u . 2) . -76)) ((b19 . 1
) ((u . 1) . 216)) ((b8 . 1) ((u . 2) . -16))) ((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))) ((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)))) . 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 b13 b16 b18 u
b1 b19 b6 b8 b9) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b19 b18
a1 a3 a6 a16 a13 a15 a8 a7 a19 a18) (vars u) (nvars . 1) (level 1 1 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) ((a7) . 1) ((a19) . 1) ((a18 u) . 1) ((a18
) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 35) (length . 48) (printlength
 . 129) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 a18
) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8
a7 a19 a18) (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_81 ((sqval ((((df a19 u) . 1) ((b18 . 1) ((u . 1) . 240)) ((b8 . 1)
((u . 1) . 240))) (((df a7 u) . 1) ((b18 . 1) ((u . 2) . -8)) ((b8 . 1) ((u . 2)
 . -8))) (((df a8 u) . 1) ((b18 . 1) ((u . 2) . 8)) ((b8 . 1) ((u . 2) . 8))) ((
(df b18 u) . 1) ((a7 . 1) ((u . 2) . -16))) (((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))) ((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))) ((a6 . 1) ((b18 . 1) ((u . 2) . -16)) ((b8 . 1) ((u . 2) . -52)) ((b9
 . 1) ((u . 2) . 24))) ((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))) ((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)))) . 1) (fac . 2) (pval) (
partitioned) (kern (df a19 u) (df a7 u) (df a8 u) (df b18 u) (df b8 u) a1 a13 
a15 a16 a18 a19 a3 a6 a7 a8 b1 b18 b6 b8 b9 u b13 b16) (fct_kern_lin) (
fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 a18)
(vars u) (nvars . 1) (level 1 1 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) ((a7 u) . 1) ((a7) . 1) ((a19 u) . 1) ((a19) . 1) ((a18) . 1)) (no_derivs)
(fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 45) (length . 60) (printlength . 168) (
rational b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 a18) (
nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19
a18) (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_82 ((sqval ((((df a13 u) . 1) ((b19 . 1) ((u . 1) . 12))) (((df a15 u) . 1) ((
b19 . 1) ((u . 2) . -12))) (((df a16 u) . 1) ((b19 . 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))) (((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))) (((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))) ((a1 . 1) ((b18 . 1) ((u . 1) . 
-12))) ((a13 . 1) ((b18 . 1) ((u . 1) . -36)) ((b19 . 1) . 240) ((b8 . 1) ((u . 
1) . -24))) ((a15 . 1) ((b18 . 1) ((u . 2) . 60)) ((b19 . 1) ((u . 1) . -264)) (
(b8 . 1) ((u . 2) . 48))) ((a16 . 1) ((b18 . 1) ((u . 2) . 12)) ((b19 . 1) ((u
 . 1) . -240))) ((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)))) . 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 b13 b16 b18 u b19 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 a7 a19 a18) (vars u) (nvars
 . 1) (level 1 1 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) ((a7) . 1) ((a19 u) . 1) ((a19) . 1) ((a18) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 51) (length . 70) (printlength . 190) (
rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 a18) (
nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a7
a19 a18) (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_83 ((sqval ((((df a1 u) . 1) ((b19 . 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))) (((df a3 u) . 1) ((b19 . 1) (
(u . 2) . -12))) (((df a6 u) . 1) ((b19 . 1) ((u . 2) . -12))) (((df a8 u) . 1)
((b19 . 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))) ((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))) ((a6 . 1) ((b18 . 1) ((u . 2)
 . -48)) ((b8 . 1) ((u . 2) . -36)) ((b9 . 1) ((u . 2) . 24))) ((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))) ((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))))
 . 1) (fac . 2) (pval) (partitioned) (kern (df a1 u) (df a19 u) (df a3 u) (df a6
u) (df a8 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 b1 b19 b6 b8 b9 u b13 b16 b18) (fct_kern_lin) (
fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 
a18) (vars u) (nvars . 1) (level 1 1 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) ((a7) . 1) ((a19 u) . 1) ((a19) . 1) ((a18) . 
1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 56) (length . 77) (printlength
 . 207) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 a18
) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8
a7 a19 a18) (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_84 ((sqval ((((df a13 u) . 1) ((b18 . 1) ((u . 2) . 24)) ((b8 . 1)
((u . 2) . 24))) (((df a15 u) . 1) ((b18 . 1) ((u . 3) . -24)) ((b8 . 1) ((u . 3
) . -24))) (((df a16 u) . 1) ((b18 . 1) ((u . 3) . -24)) ((b8 . 1) ((u . 3) . 
-24))) (((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))) (((df b13 u) . 1) ((a18 . 1) ((u . 2) . 
-3)) ((a19 . 1) ((u . 1) . -360)) ((a7 . 1) ((u . 2) . 12)) ((a8 . 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))) (((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))) (((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))) (((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))) ((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))) ((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)))
((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))) ((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)))) . 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 b13 b16 b18 u b1 b19 b6 
b8 b9) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6
a16 a13 a15 a8 a7 a19 a18) (vars u) (nvars . 1) (level 1 1 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) ((a7) . 1) ((a19) . 1) ((a18 u) . 1) ((a18)
 . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 87) (length . 106) (
printlength . 362) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8
a7 a19 a18) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 
a13 a15 a8 a7 a19 a18) (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_85 ((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))) (((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))) (((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))) (((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))) (((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))) (((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))) (((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))) (((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))) ((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))) ((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))) ((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)))) . 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 b13 b16 b18 u b1 b19 b6 b8 b9) (
fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13
a15 a8 a19 a18) (vars u) (nvars . 1) (level 1 1 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) ((a19) . 1) ((a18) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 105) (length . 122) (printlength . 483) (rational b1 b6 
b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a19 a18) (nonrational) (allvarfcts
b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a19 a18) (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_86 ((sqval ((((df a1 u
) . 1) ((b18 . 1) ((u . 2) . 24)) ((b8 . 1) ((u . 2) . 24))) (((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))) (((df a3 u) . 1) ((b18 . 1) ((u . 3) . -24)) ((b8 . 1
) ((u . 3) . -24))) (((df a6 u) . 1) ((b18 . 1) ((u . 3) . -24)) ((b8 . 1) ((u
 . 3) . -24))) (((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))) (((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)
)) (((df b1 u) . 1) ((a18 . 1) ((u . 2) . -3)) ((a19 . 1) ((u . 1) . -360)) ((a7
 . 1) ((u . 2) . 12)) ((a8 . 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))) (((df b6 u) . 1) ((a18 . 1) ((u . 3) . 6)) ((a19 . 1) ((u . 2) . 
720)) ((a7 . 1) ((u . 3) . -24)) ((a8 . 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))) (((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))) (((df b9 u) . 1) ((a18 . 1) ((
u . 2) . -9)) ((a19 . 1) ((u . 1) . -1080)) ((a7 . 1) ((u . 2) . 36)) ((a8 . 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))) ((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))) ((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))) ((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))) (
(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)))) . 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 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 b1 b13 b16 b18 b6 b8 b9 u) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16
b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 a18) (vars u) (nvars . 1) (level 1 1 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) ((a7 u) . 1) ((a7)
 . 1) ((a19 u) . 1) ((a19) . 1) ((a18) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 115) (length . 137) (printlength . 474) (rational b1 b6 
b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 a18) (nonrational) (allvarfcts
b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19 a18) (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_87 ((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))) (((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))) (((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)))
(((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))) (((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))) (((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))) (((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))) (((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))) (((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))) (((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))) (((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))) ((
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))) ((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))) (
(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))) ((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)))) . 1) (fac . 2) (pval) (partitioned) (kern (df a1 u) (df a19 u) (df a3
u) (df a6 u) (df a8 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 b1 b13 b16 b18 b6 b8 b9 u) (fct_kern_lin) (
fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19) (
vars u) (nvars . 1) (level 1 1 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) ((a7) . 1) ((a19 u) . 1) ((a19) . 1)) (no_derivs) (fcteval_lin)
(fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 135) (length . 155) (printlength . 608) (rational b1 b6 
b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a7 a19) (nonrational) (allvarfcts b1 
b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 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 (nil . 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) ((equal a9 (nil . 1))) ((equal a17 ((((a18 . 1) . 
3)) . 4)) a18) (a18) (a7) ((equal a10 ((((a19 . 1) . 5)) . 1)) a19) (a19) ((
equal a20 (nil . 1)))) nil)
$
end$