off echo$backup_:='
(((list) ("*** Start of level 1111" cm "*** Start of level 111" cm 
"*** 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 l 20 20 12 pl 100 pl) 0 (1 1 1 1) 2 ((1 19 4040 19 21 823 1038 28950662 ((
21 1)) ((19 1))) (a "Start of " (1 1 1 1) ((equal 0 a9))) (3 17 3840 20 21 931 
1158 28950662 ((1 0) (20 1)) ((1 0) (19 1))) (a "Start of " (1 1 1) ((ineq 0 a18
))) (1 15 3640 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 3490 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 3310 23 22 1035 1290 28950662 ((22 1)) ((1
0) (22 1))) (1 10 3120 24 23 1127 1395 28950662 ((23 1)) ((1 0) (23 1))) (7 9 
3110 23 23 1126 1394 28950662 ((23 1)) ((23 1))) (cp 1 2 3 4 7 8 47 9 15 16 18 
19 20 21 24 26 27 30 25 22 32 34 36) (38 8 3110 23 23 1126 1394 28950662 ((23 1)
) ((23 1))) (cp 1 2 38) (2 7 3100 23 22 1126 1392 28950662 ((21 1) (1 2)) ((23 1
))) (20 3 2820 24 23 1113 1368 28950662 ((22 1) (1 2)) ((24 1))) (20 2 2620 25 
24 1238 1498 28950662 ((23 1) (1 2)) ((25 1))) (20 1 2430 26 26 1345 1613 
28950662 ((25 1) (1 2)) ((26 1))) (20 0 2390 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 21 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 22 t t (
list) 20 4000 15 10 28950662 823 50 200 50 10 3 t nil nil nil 100 ((e_110 u) (
e_109 u) (e_108 u) (e_107 u) (e_106 u) (e_105 u) (e_104 u) (e_103 u) (e_101 u) (
e_102 u) (e_100 u) (e_98 u) (e_99 u) (e_127 u) (e_97 u) (e_96 u) (e_94 u) (e_93
u) (e_90 u) (e_89 u) (e_88 u) (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_79 u) (e_78 u) (e_77 u) (e_76 u) (e_75 u) (e_74 u) (e_73
u) (e_55 u) (e_53 u) (e_52 u) (e_50 u) (e_48 u) (e_51 u) (e_49 u) (e_47 u) (e_46
u) (e_45 u) (e_43 u) (e_44 u) (e_42 u) (e_39 u) (e_54 u) (e_29 u) (e_41 u) (e_40
u) (e_37 u) (e_35 u) (e_28 u) (e_27 u) (e_25 u) (e_24 u) (e_23 u) (e_22 u) (e_21
u) (e_20 u) (e_19 u) (e_18 u) (e_17 u) (e_16 u) (e_15 u) (e_14 u) (e_11 u) (e_10
u) (e_6 u v) (e_26 u) (e_13 u) (e_12 u) (e_9 u) (e_8 u) (e_7 u) (e_4 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
b15 nil) (subst b10 nil) (subst b3 nil) (subst b7 nil) (subst b17 nil) (subst 
a20 nil) (11 3 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 143 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 ((e_130 e_131 e_132 e_133 e_134 e_135 e_136 e_137
e_138 e_139 e_140 e_141 e_142) e_129 e_128 e_126 e_95 e_125 e_124 e_123 e_122 
e_121 e_120 e_119 e_118 e_117 e_116 e_115 e_114 e_113 e_112 e_111 e_72 e_92 e_91
e_71 e_65 e_70 e_69 e_68 e_67 e_66 e_64 e_38 e_63 e_62 e_61 e_60 e_59 e_58 e_57
e_56 e_36 e_32 e_30 e_31 e_33 e_34) nil nil nil t "bu625253-" 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_127 ((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_96 ((sqval ((((df a19 u) . 1) ((b19 . 1) . 5)) ((a19 . 1) ((b8 . 1) . -20) ((
b9 . 1) . 4))) . 1) (fac . 2) (pval) (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_int to_fullint to_eval)) (e_93 ((sqval (((a19 . 1) ((b8 . 1) . 4) ((b9 . 1)
 . 4)) ((a7 . 1) ((b19 . 1) . -1))) . 1) (fac . 2) (pval) (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_int to_fullint to_eval)) (e_94 ((sqval ((((df a19 u) . 1) ((b19 . 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) (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 to_int to_fullint)) (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_37 ((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_97 ((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) (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_int to_fullint to_eval)) (e_99 ((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_100 ((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_98 ((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_102 ((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_101 ((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_103 ((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_104 ((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_105 ((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_106 ((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_107 ((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_108 ((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_109 ((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_110 ((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$