off echo$backup_:='
(((list) (13 g f "*** Start of level 11111" cm "*** 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 1) 3 ((16 28
4680 13 13 259 367 28950662 ((13 1)) ((1 0) (12 1))) (1 27 4610 14 15 285 397 
28950662 ((15 1)) ((1 0) (13 1))) (7 26 4600 13 15 284 396 28950662 ((15 1)) ((
13 1))) (4 25 4540 14 16 320 444 28950662 ((16 1)) ((14 1))) (3 24 4480 15 17 
363 505 28950662 ((17 1)) ((15 1))) (3 23 4440 16 18 411 582 28950662 ((18 1)) (
(16 1))) (16 22 4340 17 19 576 756 28950662 ((19 1)) ((17 1))) (3 21 4200 18 20
729 925 28950662 ((20 1)) ((18 1))) (a "Start of " (1 1 1 1 1) ((ineq 0 a19))) (
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 30 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 36 t t (list) 20 4000 15 10 28950662 823 50 200 50 10 3 t nil nil
nil 100 ((e_142 u) (e_140 u) (e_138 u) (e_145 u) (e_137 u) (e_135 u) (e_144 u) (
e_34 u) (e_143 u) (e_141 u) (e_147 u) (e_136 u) (e_146 u) (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_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 (b13 b16 b6 b19 b18 c_2) c_ nil nil 0 nil 10000 t t (b13 b16 b6 b19 b18 a3
a6 a16 a13 a15 a8 a18 c_2) 15 15 reduce 300 nil nil nil (((((b6 . 1) . 1)) . 1)
((((b19 . 1) . 1)) . 1) ((((a18 . 1) . 1)) . 1) ((((c_2 . 1) . 1)) . 1) ((((a19
 . 1) . 1)) . 1)) nil nil nil nil nil 28950662 ((subst b13 24) (subst a19 nil) (
subst a1 nil) (subst a7 nil) (subst b9 nil) (subst b1 nil) (subst b8 nil) (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 148 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_30 e_32 e_36 e_56 e_57 e_58 e_59 e_60 e_61 e_62 e_63 e_38 e_64 
e_66 e_67 e_68 e_69 e_70 e_65 e_71 e_91 e_92 e_72 e_111 e_112 e_113 e_114 e_115
e_116 e_117 e_118 e_119 e_120 e_121 e_122 e_123 e_124 e_125 e_95 e_126 e_128 
e_129 e_127 e_133 e_132 e_131 e_134 e_139 e_130) e_31 e_33) 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_136 ((sqval ((((df 
a8 u) . 1) ((u . 1) . 1)) ((a8 . 1) . 1)) . 1) (fac . 2) (pval) (partitioned) (
kern (df a8 u) a8 u) (fct_kern_lin) (fct_kern_nli) (fcts a8) (vars u) (nvars . 1
) (level 1 1 1 1 1) (derivs ((a8 u) . 1) ((a8) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 2) (length . 2) (printlength . 5) (rational a8) (
nonrational) (allvarfcts a8) (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_146 ((sqval ((((df b19 u) . 1) ((c_2 . 1) . 16)
) ((a18 . 1) ((b19 . 1) . 3))) . 1) (fac . 2) (pval) (partitioned) (kern (df b19
u) a18 b19 c_2) (fct_kern_lin) (fct_kern_nli) (fcts b19 a18 c_2) (vars u) (nvars
 . 1) (level 1 1 1 1 1) (derivs ((b19 u) . 1) ((b19) . 1) ((a18) . 1) ((c_2) . 1
)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 4) (printlength
 . 6) (rational b19 a18 c_2) (nonrational) (allvarfcts b19 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_141 ((sqval ((((df 
a3 u) . 1) ((u . 2) . 1)) (((df a6 u) . 1) ((u . 2) . -1)) (((df a8 u) . 1) ((u
 . 1) . 2)) ((a3 . 1) ((u . 1) . 2)) ((a6 . 1) ((u . 1) . -2)) ((a8 . 1) . 2))
 . 1) (fac . 2) (pval) (partitioned) (kern (df a3 u) (df a6 u) (df a8 u) a3 a6 
a8 u) (fct_kern_lin) (fct_kern_nli) (fcts a3 a6 a8) (vars u) (nvars . 1) (level
1 1 1 1 1) (derivs ((a3 u) . 1) ((a3) . 1) ((a6 u) . 1) ((a6) . 1) ((a8 u) . 1)
((a8) . 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 a3 a6 a8) (nonrational) (allvarfcts a3 a6 a8) (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_147 ((sqval ((((
df b18 u) . 1) ((c_2 . 1) ((u . 1) . 64))) ((a13 . 1) ((b19 . 1) . 12)) ((a15 . 
1) ((b19 . 1) ((u . 1) . -24))) ((a18 . 1) ((b19 . 1) . 9)) ((b13 . 1) ((c_2 . 1
) . -48)) ((b16 . 1) ((c_2 . 1) ((u . 1) . 96))) ((b18 . 1) ((c_2 . 1) . 80)))
 . 1) (fac . 2) (pval) (partitioned) (kern (df b18 u) a13 a15 a18 b13 b16 b18 
c_2 u b19) (fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b19 b18 a13 a15 a18 c_2)
(vars u) (nvars . 1) (level 1 1 1 1 1) (derivs ((b13) . 1) ((b16) . 1) ((b19) . 
1) ((b18 u) . 1) ((b18) . 1) ((a13) . 1) ((a15) . 1) ((a18) . 1) ((c_2) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca (((((c_2 . 1) . -48)) . 1) . b13) (((((c_2
 . 1) ((u . 1) . 96))) . 1) . b16)) (fcteval_nli (((((a13 . 1) . 12) ((a15 . 1)
((u . 1) . -24)) ((a18 . 1) . 9)) . 1) . b19)) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 7) (length . 14) (printlength . 24) (
rational b13 b16 b19 b18 a13 a15 a18 c_2) (nonrational) (allvarfcts b13 b16 b19
b18 a13 a15 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_135 ((sqval ((((df b18 u) . 1) ((c_2 . 1) ((u . 1) . 32)
)) ((a13 . 1) ((b19 . 1) . 60)) ((a15 . 1) ((b19 . 1) ((u . 1) . -72))) ((a16 . 
1) ((b19 . 1) ((u . 1) . -48))) ((a18 . 1) ((b18 . 1) ((u . 1) . 10)) ((b19 . 1)
 . 15)) ((a8 . 1) ((b18 . 1) ((u . 1) . 8))) ((b18 . 1) ((c_2 . 1) . -128))) . 1
) (fac . 2) (pval) (partitioned) (kern (df b18 u) a13 a15 a16 a18 a8 b18 c_2 u 
b19) (fct_kern_lin) (fct_kern_nli) (fcts b19 b18 a16 a13 a15 a8 a18 c_2) (vars u
) (nvars . 1) (level 1 1 1 1 1) (derivs ((b19) . 1) ((b18 u) . 1) ((b18) . 1) ((
a16) . 1) ((a13) . 1) ((a15) . 1) ((a8) . 1) ((a18) . 1) ((c_2) . 1)) (no_derivs
) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a13 . 1) . 60) ((a15 . 1) ((u . 
1) . -72)) ((a16 . 1) ((u . 1) . -48)) ((a18 . 1) . 15)) . 1) . b19)) (
fct_nli_lin (((((a13 . 1) . 60) ((a15 . 1) ((u . 1) . -72)) ((a16 . 1) ((u . 1)
 . -48)) ((a18 . 1) . 15)) . 1) . b19)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus
) (terms . 8) (length . 15) (printlength . 28) (rational b19 b18 a16 a13 a15 a8
a18 c_2) (nonrational) (allvarfcts b19 b18 a16 a13 a15 a8 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_34 ((sqval (
(((df a13 u) . 1) ((b19 . 1) ((u . 1) . 12))) (((df a15 u) . 1) ((b19 . 1) ((u
 . 2) . -24))) (((df a18 u) . 1) ((b19 . 1) ((u . 1) . 9))) (((df b18 u 2) . 1)
((c_2 . 1) ((u . 2) . 32))) (((df b18 u) . 1) ((c_2 . 1) ((u . 1) . 32))) (((df
b19 u) . 1) ((a13 . 1) ((u . 1) . 12)) ((a15 . 1) ((u . 2) . -24)) ((a18 . 1) ((
u . 1) . 9))) ((a15 . 1) ((b19 . 1) ((u . 1) . -24))) ((b18 . 1) ((c_2 . 1) . 
-32))) . 1) (fac . 2) (pval) (partitioned) (kern (df a13 u) (df a15 u) (df a18 u
) (df b18 u 2) (df b18 u) (df b19 u) a15 b18 c_2 b19 u a13 a18) (fct_kern_lin) (
fct_kern_nli) (fcts b19 b18 a13 a15 a18 c_2) (vars u) (nvars . 1) (level 1 1 1 1
1) (derivs ((b19 u) . 1) ((b19) . 1) ((b18 u 2) . 1) ((b18 u) . 1) ((b18) . 1) (
(a13 u) . 1) ((a13) . 1) ((a15 u) . 1) ((a15) . 1) ((a18 u) . 1) ((a18) . 1) ((
c_2) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 10) (length . 18) (printlength
 . 40) (rational b19 b18 a13 a15 a18 c_2) (nonrational) (allvarfcts b19 b18 a13
a15 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_137 ((sqval ((((df a18 u) . 1) ((b19 . 1) ((u . 1) . 1))) (((df b19 u) . 1) ((
a18 . 1) ((u . 1) . -1)) ((a8 . 1) ((u . 1) . -4)) ((c_2 . 1) . 120)) ((a13 . 1)
((b19 . 1) . 76)) ((a15 . 1) ((b19 . 1) ((u . 1) . -80))) ((a16 . 1) ((b19 . 1)
((u . 1) . -72))) ((a18 . 1) ((b18 . 1) ((u . 1) . 4)) ((b19 . 1) . 13)) ((a8 . 
1) ((b18 . 1) ((u . 1) . 8))) ((b18 . 1) ((c_2 . 1) . -144))) . 1) (fac . 2) (
pval) (partitioned) (kern (df a18 u) (df b19 u) a13 a15 a16 a18 a8 b18 c_2 u b19
) (fct_kern_lin) (fct_kern_nli) (fcts b19 b18 a16 a13 a15 a8 a18 c_2) (vars u) (
nvars . 1) (level 1 1 1 1 1) (derivs ((b19 u) . 1) ((b19) . 1) ((b18) . 1) ((a16
) . 1) ((a13) . 1) ((a15) . 1) ((a8) . 1) ((a18 u) . 1) ((a18) . 1) ((c_2) . 1))
(no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a18 . 1) ((u . 1) . 4)
) ((a8 . 1) ((u . 1) . 8)) ((c_2 . 1) . -144)) . 1) . b18)) (fct_nli_lin (((((
a18 . 1) ((u . 1) . 4)) ((a8 . 1) ((u . 1) . 8)) ((c_2 . 1) . -144)) . 1) . b18)
) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 11) (length . 19) (
printlength . 37) (rational b19 b18 a16 a13 a15 a8 a18 c_2) (nonrational) (
allvarfcts b19 b18 a16 a13 a15 a8 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_144 ((sqval ((((df a3 u) . 1) ((b18 . 1
) ((c_2 . 1) ((u . 3) . 96)))) (((df a6 u) . 1) ((b18 . 1) ((c_2 . 1) ((u . 3)
 . -96)))) (((df a8 u) . 1) (((df b18 u) . 1) ((c_2 . 1) ((u . 3) . 32))) ((a13
 . 1) ((b19 . 1) ((u . 2) . 12))) ((a15 . 1) ((b19 . 1) ((u . 3) . -24))) ((a18
 . 1) ((b19 . 1) ((u . 2) . 9))) ((b18 . 1) ((c_2 . 1) ((u . 2) . 256)))) (((df
b18 u) . 1) ((a8 . 1) ((c_2 . 1) ((u . 2) . 32)))) ((a13 . 1) ((a8 . 1) ((b19 . 
1) ((u . 1) . 12)))) ((a15 . 1) ((a8 . 1) ((b19 . 1) ((u . 2) . -24)))) ((a18 . 
1) ((a8 . 1) ((b19 . 1) ((u . 1) . 9)))) ((a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2
) . 192)))) ((a6 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . -192)))) ((a8 . 1) ((b18
 . 1) ((c_2 . 1) ((u . 1) . 256))))) . 1) (fac . 2) (pval) (partitioned) (kern (
df a3 u) (df a6 u) (df a8 u) (df b18 u) a13 a15 a18 a3 a6 a8 b18 c_2 u b19) (
fct_kern_lin) (fct_kern_nli) (fcts b19 b18 a3 a6 a13 a15 a8 a18 c_2) (vars u) (
nvars . 1) (level 1 1 1 1 1) (derivs ((b19) . 1) ((b18 u) . 1) ((b18) . 1) ((a3
u) . 1) ((a3) . 1) ((a6 u) . 1) ((a6) . 1) ((a13) . 1) ((a15) . 1) ((a8 u) . 1)
((a8) . 1) ((a18) . 1) ((c_2) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 14
) (length . 38) (printlength . 81) (rational b19 b18 a3 a6 a13 a15 a8 a18 c_2) (
nonrational) (allvarfcts b19 b18 a3 a6 a13 a15 a8 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_138 ((sqval ((((df a18
u) . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . 8)))) (((df b18 u) . 1) ((a18 . 1) ((
c_2 . 1) ((u . 2) . -32))) ((a8 . 1) ((c_2 . 1) ((u . 2) . -32))) ((c_2 . 2) ((u
 . 1) . 384))) ((a13 . 1) ((a18 . 1) ((b19 . 1) ((u . 1) . -12))) ((a8 . 1) ((
b19 . 1) ((u . 1) . -12))) ((b18 . 1) ((c_2 . 1) ((u . 1) . 272))) ((b19 . 1) ((
c_2 . 1) . -720))) ((a15 . 1) ((a18 . 1) ((b19 . 1) ((u . 2) . 24))) ((a8 . 1) (
(b19 . 1) ((u . 2) . 24))) ((b18 . 1) ((c_2 . 1) ((u . 2) . -304))) ((b19 . 1) (
(c_2 . 1) ((u . 1) . 576)))) ((a16 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . -240)))
((b19 . 1) ((c_2 . 1) ((u . 1) . 864)))) ((a18 . 2) ((b19 . 1) ((u . 1) . -9)))
((a18 . 1) ((a8 . 1) ((b19 . 1) ((u . 1) . -9))) ((b18 . 1) ((c_2 . 1) ((u . 1)
 . -96))) ((b19 . 1) ((c_2 . 1) . 60))) ((a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2)
 . -48)))) ((a6 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . 48)))) ((a8 . 1) ((b18 . 1
) ((c_2 . 1) ((u . 1) . -192)))) ((b18 . 1) ((c_2 . 2) . 2784))) . 1) (fac . 2)
(pval) (partitioned) (kern (df a18 u) (df b18 u) a13 a15 a16 a18 a3 a6 a8 b18 
c_2 u b19) (fct_kern_lin) (fct_kern_nli) (fcts b19 b18 a3 a6 a16 a13 a15 a8 a18
c_2) (vars u) (nvars . 1) (level 1 1 1 1 1) (derivs ((b19) . 1) ((b18 u) . 1) ((
b18) . 1) ((a3) . 1) ((a6) . 1) ((a16) . 1) ((a13) . 1) ((a15) . 1) ((a8) . 1) (
(a18 u) . 1) ((a18) . 2) ((a18) . 1) ((c_2) . 2) ((c_2) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 22) (length . 55) (printlength . 105) (
rational b19 b18 a3 a6 a16 a13 a15 a8 a18 c_2) (nonrational) (allvarfcts b19 b18
a3 a6 a16 a13 a15 a8 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_145 ((sqval ((((df a3 u) . 1) (((df b18 u) . 1) ((c_2 . 
1) ((u . 4) . 32))) ((a13 . 1) ((b19 . 1) ((u . 3) . 12))) ((a15 . 1) ((b19 . 1)
((u . 4) . -24))) ((a18 . 1) ((b19 . 1) ((u . 3) . 9))) ((b18 . 1) ((c_2 . 1) ((
u . 3) . 64)))) (((df a6 u) . 1) (((df b18 u) . 1) ((c_2 . 1) ((u . 4) . -32)))
((a13 . 1) ((b19 . 1) ((u . 3) . -12))) ((a15 . 1) ((b19 . 1) ((u . 4) . 24))) (
(a18 . 1) ((b19 . 1) ((u . 3) . -9))) ((b18 . 1) ((c_2 . 1) ((u . 3) . -64)))) (
((df a8 u) . 1) (((df b18 u) . 1) ((c_2 . 1) ((u . 3) . 64))) ((a13 . 1) ((b19
 . 1) ((u . 2) . 24))) ((a15 . 1) ((b19 . 1) ((u . 3) . -48))) ((a18 . 1) ((b19
 . 1) ((u . 2) . 18))) ((b18 . 1) ((c_2 . 1) ((u . 2) . 128)))) (((df b18 u) . 1
) ((a3 . 1) ((c_2 . 1) ((u . 3) . 64))) ((a6 . 1) ((c_2 . 1) ((u . 3) . -64))) (
(a8 . 1) ((c_2 . 1) ((u . 2) . 64)))) ((a13 . 1) ((a3 . 1) ((b19 . 1) ((u . 2)
 . 24))) ((a6 . 1) ((b19 . 1) ((u . 2) . -24))) ((a8 . 1) ((b19 . 1) ((u . 1) . 
24)))) ((a15 . 1) ((a3 . 1) ((b19 . 1) ((u . 3) . -48))) ((a6 . 1) ((b19 . 1) ((
u . 3) . 48))) ((a8 . 1) ((b19 . 1) ((u . 2) . -48)))) ((a18 . 1) ((a3 . 1) ((
b19 . 1) ((u . 2) . 18))) ((a6 . 1) ((b19 . 1) ((u . 2) . -18))) ((a8 . 1) ((b19
 . 1) ((u . 1) . 18)))) ((a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . 128)))) ((a6
 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . -128)))) ((a8 . 1) ((b18 . 1) ((c_2 . 1)
((u . 1) . 128))))) . 1) (fac . 2) (pval) (partitioned) (kern (df a3 u) (df a6 u
) (df a8 u) (df b18 u) a13 a15 a18 a3 a6 a8 b18 c_2 u b19) (fct_kern_lin) (
fct_kern_nli) (fcts b19 b18 a3 a6 a13 a15 a8 a18 c_2) (vars u) (nvars . 1) (
level 1 1 1 1 1) (derivs ((b19) . 1) ((b18 u) . 1) ((b18) . 1) ((a3 u) . 1) ((a3
) . 1) ((a6 u) . 1) ((a6) . 1) ((a13) . 1) ((a15) . 1) ((a8 u) . 1) ((a8) . 1) (
(a18) . 1) ((c_2) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 30) (length . 70
) (printlength . 177) (rational b19 b18 a3 a6 a13 a15 a8 a18 c_2) (nonrational)
(allvarfcts b19 b18 a3 a6 a13 a15 a8 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_140 ((sqval ((((df a15 u) . 1) ((b19 . 
1) ((c_2 . 1) ((u . 2) . 192)))) (((df a16 u) . 1) ((b19 . 1) ((c_2 . 1) ((u . 2
) . -192)))) (((df a18 u) . 1) ((b19 . 1) ((c_2 . 1) ((u . 1) . -144)))) (((df 
b18 u 2) . 1) ((c_2 . 2) ((u . 2) . -512))) (((df b18 u) . 1) ((c_2 . 2) ((u . 1
) . -512))) (((df b19 u) . 1) ((a13 . 1) ((c_2 . 1) ((u . 1) . -384))) ((a15 . 1
) ((c_2 . 1) ((u . 2) . 576))) ((a16 . 1) ((c_2 . 1) ((u . 2) . 192))) ((a18 . 1
) ((c_2 . 1) ((u . 1) . -144))) ((a3 . 1) ((c_2 . 1) ((u . 2) . -192))) ((a6 . 1
) ((c_2 . 1) ((u . 2) . 192))) ((a8 . 1) ((c_2 . 1) ((u . 1) . -384))) ((c_2 . 2
) . 5760)) ((a13 . 1) ((a18 . 1) ((b19 . 1) ((u . 1) . 12))) ((a8 . 1) ((b19 . 1
) ((u . 1) . 48))) ((b18 . 1) ((c_2 . 1) ((u . 1) . -576))) ((b19 . 1) ((c_2 . 1
) . 2688))) ((a15 . 1) ((a18 . 1) ((b19 . 1) ((u . 2) . -24))) ((a8 . 1) ((b19
 . 1) ((u . 2) . -96))) ((b18 . 1) ((c_2 . 1) ((u . 2) . 960))) ((b19 . 1) ((c_2
 . 1) ((u . 1) . -1536)))) ((a16 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . 192))) ((
b19 . 1) ((c_2 . 1) ((u . 1) . -3840)))) ((a18 . 2) ((b19 . 1) ((u . 1) . 9))) (
(a18 . 1) ((a8 . 1) ((b19 . 1) ((u . 1) . 36))) ((b18 . 1) ((c_2 . 1) ((u . 1)
 . -48))) ((b19 . 1) ((c_2 . 1) . -576))) ((a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 
2) . 192)))) ((a6 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . -192)))) ((a8 . 1) ((b18
 . 1) ((c_2 . 1) ((u . 1) . 576)))) ((b18 . 1) ((c_2 . 2) . -7552))) . 1) (fac
 . 2) (pval) (partitioned) (kern (df a15 u) (df a16 u) (df a18 u) (df b18 u 2) (
df b18 u) (df b19 u) a13 a15 a16 a18 a3 a6 a8 b18 c_2 u b19) (fct_kern_lin) (
fct_kern_nli) (fcts b19 b18 a3 a6 a16 a13 a15 a8 a18 c_2) (vars u) (nvars . 1) (
level 1 1 1 1 1) (derivs ((b19 u) . 1) ((b19) . 1) ((b18 u 2) . 1) ((b18 u) . 1)
((b18) . 1) ((a3) . 1) ((a6) . 1) ((a16 u) . 1) ((a16) . 1) ((a13) . 1) ((a15 u)
 . 1) ((a15) . 1) ((a8) . 1) ((a18 u) . 1) ((a18) . 2) ((a18) . 1) ((c_2) . 2) (
(c_2) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin)
(fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 31) (length . 77) (
printlength . 148) (rational b19 b18 a3 a6 a16 a13 a15 a8 a18 c_2) (nonrational)
(allvarfcts b19 b18 a3 a6 a16 a13 a15 a8 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_143 ((sqval ((((df a13 u) . 1)
(((df b18 u) . 1) ((u . 3) . 4)) ((b13 . 1) ((u . 2) . -6)) ((b16 . 1) ((u . 3)
 . 12)) ((b18 . 1) ((u . 2) . 2))) (((df a15 u) . 1) (((df b18 u) . 1) ((u . 4)
 . -4)) ((b13 . 1) ((u . 3) . 6)) ((b16 . 1) ((u . 4) . -12)) ((b18 . 1) ((u . 3
) . -2))) (((df a16 u) . 1) (((df b18 u) . 1) ((u . 4) . -4)) ((b13 . 1) ((u . 3
) . 6)) ((b16 . 1) ((u . 4) . -12)) ((b18 . 1) ((u . 3) . -2))) (((df b13 u) . 1
) ((a13 . 1) ((u . 2) . 6)) ((a15 . 1) ((u . 3) . -6)) ((a16 . 1) ((u . 3) . -6)
) ((a3 . 1) ((u . 3) . 6)) ((a6 . 1) ((u . 3) . -6)) ((a8 . 1) ((u . 2) . 12)) (
(c_2 . 1) ((u . 1) . -180))) (((df b16 u) . 1) ((a13 . 1) ((u . 3) . -12)) ((a15
 . 1) ((u . 4) . 12)) ((a16 . 1) ((u . 4) . 12)) ((a3 . 1) ((u . 4) . -12)) ((a6
 . 1) ((u . 4) . 12)) ((a8 . 1) ((u . 3) . -24)) ((c_2 . 1) ((u . 2) . 360))) ((
(df b18 u 2) . 1) ((a13 . 1) ((u . 3) . -4)) ((a15 . 1) ((u . 4) . 4)) ((a16 . 1
) ((u . 4) . 4)) ((a3 . 1) ((u . 4) . -4)) ((a6 . 1) ((u . 4) . 4)) ((a8 . 1) ((
u . 3) . -8)) ((c_2 . 1) ((u . 2) . 120))) (((df b18 u) . 1) ((a13 . 1) ((u . 2)
 . -10)) ((a15 . 1) ((u . 3) . -6)) ((a16 . 1) ((u . 3) . 18)) ((a18 . 1) ((u . 
2) . -6)) ((a3 . 1) ((u . 3) . -34)) ((a6 . 1) ((u . 3) . 34)) ((a8 . 1) ((u . 2
) . -68)) ((c_2 . 1) ((u . 1) . 924))) ((a13 . 1) ((b13 . 1) ((u . 1) . -24)) ((
b16 . 1) ((u . 2) . 36)) ((b18 . 1) ((u . 1) . -98)) ((b19 . 1) . 144)) ((a15 . 
1) ((b13 . 1) ((u . 2) . 48)) ((b16 . 1) ((u . 3) . -84)) ((b18 . 1) ((u . 2) . 
90)) ((b19 . 1) ((u . 1) . -144))) ((a16 . 1) ((b13 . 1) ((u . 2) . 12)) ((b16
 . 1) ((u . 3) . -12)) ((b18 . 1) ((u . 2) . 102)) ((b19 . 1) ((u . 1) . -144)))
((a18 . 1) ((b13 . 1) ((u . 1) . 9)) ((b16 . 1) ((u . 2) . -18)) ((b18 . 1) ((u
 . 1) . -3))) ((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))) ((b13 . 1) ((c_2 . 1) . 
-576)) ((b16 . 1) ((c_2 . 1) ((u . 1) . 1512))) ((b18 . 1) ((c_2 . 1) . 372)))
 . 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) a13 a15 a16 a18 a3 a6 a8 b13 b16 b18 
c_2 u b19) (fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b19 b18 a3 a6 a16 a13 a15
a8 a18 c_2) (vars u) (nvars . 1) (level 1 1 1 1 1) (derivs ((b13 u) . 1) ((b13)
 . 1) ((b16 u) . 1) ((b16) . 1) ((b19) . 1) ((b18 u 2) . 1) ((b18 u) . 1) ((b18)
 . 1) ((a3) . 1) ((a6) . 1) ((a16 u) . 1) ((a16) . 1) ((a13 u) . 1) ((a13) . 1)
((a15 u) . 1) ((a15) . 1) ((a8) . 1) ((a18) . 1) ((c_2) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 68) (length . 85) (printlength . 318) (
rational b13 b16 b19 b18 a3 a6 a16 a13 a15 a8 a18 c_2) (nonrational) (allvarfcts
b13 b16 b19 b18 a3 a6 a16 a13 a15 a8 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_142 ((sqval ((((df a13 u) . 1) ((a18 . 
1) ((b19 . 1) ((u . 2) . 12))) ((a8 . 1) ((b19 . 1) ((u . 2) . 48))) ((b18 . 1)
((c_2 . 1) ((u . 2) . -384))) ((b19 . 1) ((c_2 . 1) ((u . 1) . -1440)))) (((df 
a15 u) . 1) ((a18 . 1) ((b19 . 1) ((u . 3) . -24))) ((a8 . 1) ((b19 . 1) ((u . 3
) . -96))) ((b18 . 1) ((c_2 . 1) ((u . 3) . 384))) ((b19 . 1) ((c_2 . 1) ((u . 2
) . 2880)))) (((df a16 u) . 1) ((b18 . 1) ((c_2 . 1) ((u . 3) . 384)))) (((df 
a18 u) . 1) (((df b18 u) . 1) ((c_2 . 1) ((u . 3) . -32))) ((a13 . 1) ((b19 . 1)
((u . 2) . -12))) ((a15 . 1) ((b19 . 1) ((u . 3) . 24))) ((a8 . 1) ((b19 . 1) ((
u . 2) . 36))) ((b18 . 1) ((c_2 . 1) ((u . 2) . -64))) ((b19 . 1) ((c_2 . 1) ((u
 . 1) . -1080)))) (((df b18 u 2) . 1) ((a18 . 1) ((c_2 . 1) ((u . 3) . 32))) ((
a8 . 1) ((c_2 . 1) ((u . 3) . 128))) ((c_2 . 2) ((u . 2) . -3840))) (((df b18 u)
 . 1) ((a13 . 1) ((c_2 . 1) ((u . 2) . -768))) ((a15 . 1) ((c_2 . 1) ((u . 3) . 
1152))) ((a16 . 1) ((c_2 . 1) ((u . 3) . 384))) ((a18 . 1) ((c_2 . 1) ((u . 2)
 . 576))) ((a3 . 1) ((c_2 . 1) ((u . 3) . 384))) ((a6 . 1) ((c_2 . 1) ((u . 3)
 . -384))) ((a8 . 1) ((c_2 . 1) ((u . 2) . 1280))) ((c_2 . 2) ((u . 1) . -17664)
)) (((df b19 u) . 1) ((a13 . 1) ((a18 . 1) ((u . 2) . 12)) ((a8 . 1) ((u . 2) . 
48)) ((c_2 . 1) ((u . 1) . -1440))) ((a15 . 1) ((a18 . 1) ((u . 3) . -24)) ((a8
 . 1) ((u . 3) . -96)) ((c_2 . 1) ((u . 2) . 2880))) ((a18 . 2) ((u . 2) . 9)) (
(a18 . 1) ((a8 . 1) ((u . 2) . 36)) ((c_2 . 1) ((u . 1) . -1080)))) ((a13 . 2) (
(b19 . 1) ((u . 1) . -192))) ((a13 . 1) ((a15 . 1) ((b19 . 1) ((u . 2) . 720)))
((a16 . 1) ((b19 . 1) ((u . 2) . 48))) ((a18 . 1) ((b19 . 1) ((u . 1) . 84))) ((
a3 . 1) ((b19 . 1) ((u . 2) . 240))) ((a6 . 1) ((b19 . 1) ((u . 2) . -240))) ((
a8 . 1) ((b19 . 1) ((u . 1) . 624))) ((b18 . 1) ((c_2 . 1) ((u . 1) . -8256))) (
(b19 . 1) ((c_2 . 1) . 5760))) ((a15 . 2) ((b19 . 1) ((u . 3) . -672))) ((a15 . 
1) ((a16 . 1) ((b19 . 1) ((u . 3) . -96))) ((a18 . 1) ((b19 . 1) ((u . 2) . -228
))) ((a3 . 1) ((b19 . 1) ((u . 3) . -480))) ((a6 . 1) ((b19 . 1) ((u . 3) . 480)
)) ((a8 . 1) ((b19 . 1) ((u . 2) . -1344))) ((b18 . 1) ((c_2 . 1) ((u . 2) . 
10176))) ((b19 . 1) ((c_2 . 1) ((u . 1) . 5184)))) ((a16 . 1) ((a18 . 1) ((b19
 . 1) ((u . 2) . 36))) ((b18 . 1) ((c_2 . 1) ((u . 2) . 7104))) ((b19 . 1) ((c_2
 . 1) ((u . 1) . -13824)))) ((a18 . 2) ((b19 . 1) ((u . 1) . 171))) ((a18 . 1) (
(a3 . 1) ((b19 . 1) ((u . 2) . 180))) ((a6 . 1) ((b19 . 1) ((u . 2) . -180))) ((
a8 . 1) ((b19 . 1) ((u . 1) . 468))) ((b18 . 1) ((c_2 . 1) ((u . 1) . 1056))) ((
b19 . 1) ((c_2 . 1) . -5760))) ((a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . 1728))
)) ((a6 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . -1728)))) ((a8 . 1) ((b18 . 1) ((
c_2 . 1) ((u . 1) . 4096)))) ((b18 . 1) ((c_2 . 2) . -50304))) . 1) (fac . 2) (
pval) (partitioned) (kern (df a13 u) (df a15 u) (df a16 u) (df a18 u) (df b18 u
2) (df b18 u) (df b19 u) a13 a15 a16 a18 a3 a6 a8 b18 c_2 u b19) (fct_kern_lin)
(fct_kern_nli) (fcts b19 b18 a3 a6 a16 a13 a15 a8 a18 c_2) (vars u) (nvars . 1)
(level 1 1 1 1 1) (derivs ((b19 u) . 1) ((b19) . 1) ((b18 u 2) . 1) ((b18 u) . 1
) ((b18) . 1) ((a3) . 1) ((a6) . 1) ((a16 u) . 1) ((a16) . 1) ((a13 u) . 1) ((
a13) . 2) ((a13) . 1) ((a15 u) . 1) ((a15) . 2) ((a15) . 1) ((a8) . 1) ((a18 u)
 . 1) ((a18) . 2) ((a18) . 1) ((c_2) . 2) ((c_2) . 1)) (no_derivs) (fcteval_lin)
(fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 65) (length . 143) (printlength . 335) (rational b19 b18 
a3 a6 a16 a13 a15 a8 a18 c_2) (nonrational) (allvarfcts b19 b18 a3 a6 a16 a13 
a15 a8 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))) (((equal b1 ((((b6 . 1) ((u . 1) . 2))) . 1)) b6) ((equal b3 ((((b6
 . 1) . 1)) . 1)) b6) (b6) ((equal b13 (((((df b18 u) . 1) ((c_2 . 1) ((u . 1)
 . 64))) ((a13 . 1) ((b19 . 1) . 12)) ((a15 . 1) ((b19 . 1) ((u . 1) . -24))) ((
a18 . 1) ((b19 . 1) . 9)) ((b16 . 1) ((c_2 . 1) ((u . 1) . 96))) ((b18 . 1) ((
c_2 . 1) . 80))) ((c_2 . 1) . 48))) b16 b19 b18 a13 a15 a18 c_2) ((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 (nil . 1))) ((
equal b8 (nil . 1))) ((equal b9 (nil . 1))) (b19) ((equal b17 ((((b18 . 1) . -1)
) . 1)) b18) (b18) ((equal a1 ((((a6 . 1) ((u . 1) . 2))) . 1)) a6) (a3) (a6) (
a16) (a13) (a15) (a8) ((equal a9 (nil . 1))) ((equal a17 ((((a18 . 1) . 3)) . 4)
) a18) (a18) ((equal a7 (nil . 1))) ((equal a10 ((((c_2 . 1) . -5)) . 1)) c_2) (
(equal a19 ((((c_2 . 1) . -1)) . 1)) c_2) ((equal a20 (nil . 1)))) nil)
$
end$