off echo$backup_:='
(((list) ("bak1" sb ph "hello" cm ph a a 6 e s 22 100 e 100 p1 s 
"*** Start of level 111111112" cm "*** Back to level 11111111" cm 
"*** Start of level 111111111" cm "*** Start of level 11111111" cm 
"*** Start of level 1111111" cm "*** Start of level 111111" cm 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 a !1!,2!,38!; a !; 11 l e_5 67 ts p2 p1 pd film_ t e_7 e t !; (e_7!,a7!,1)
a10!*coeffn fc y nil b10 v f 20 20 pi eo 12 p 10 e 100 p1 10 e hd h s) 0 (2 1 1
1 1 1 1 1 1) 5 ((16 43 18520 10 12 212 719 28950662 ((12 1)) ((2 0) (8 1))) (1 
42 18510 11 13 214 721 28950662 ((13 1)) ((2 0) (9 1))) (24 41 18490 10 13 214 
721 28950662 ((13 1)) ((1 0) (9 1))) (22 40 18440 9 12 214 721 28950662 ((12 1))
((1 0) (8 1))) (21 39 18420 9 12 220 733 28950662 ((12 1)) ((1 0) (8 1))) (21 38
18400 9 12 222 737 28950662 ((12 1)) ((1 0) (8 1))) (1 37 18340 10 13 226 490 
28950662 ((13 1)) ((1 0) (9 1))) (a "Start of " (1 1 1 1 1 1 1 1 2) nil) (z 
"Back to " (1 1 1 1 1 1 1 1) 0) (1 36 18310 10 14 226 489 28950662 ((14 1)) ((1
0) (9 1))) (a "Start of " (1 1 1 1 1 1 1 1 1) ((equal 0 (plus (times a18 u) (
minus (times 24 c_2)))))) (1 34 18300 10 13 226 490 28950662 ((13 1)) ((1 0) (9
1))) (a "Start of " (1 1 1 1 1 1 1 1) ((equal 0 (plus (times 4 a13 a18 u) (minus
(times 96 a13 c_2)) (minus (times 8 a15 a18 (expt u 2))) (times 192 a15 c_2 u) (
times 3 (expt a18 2) u) (minus (times 112 a18 c_2)))))) (20 32 18260 11 13 222 
446 28950662 ((13 1)) ((1 0) (10 1))) (1 31 18210 12 14 255 502 28950662 ((14 1)
) ((1 0) (11 1))) (a "Start of " (1 1 1 1 1 1 1) ((equal 0 (plus (times a18 u) (
times 2 a8 u) (minus (times 36 c_2)))))) (1 29 18150 13 14 276 543 28950662 ((14
1)) ((1 0) (12 1))) (a "Start of " (1 1 1 1 1 1) ((equal 0 (plus (times 20 a13)
(minus (times 24 a15 u)) (minus (times 16 a16 u)) (times 5 a18))))) (16 27 18080
13 13 259 367 28950662 ((13 1)) ((1 0) (12 1))) (1 26 18030 14 15 285 397 
28950662 ((15 1)) ((1 0) (13 1))) (7 25 18020 13 15 284 396 28950662 ((15 1)) ((
13 1))) (4 24 17970 14 16 320 444 28950662 ((16 1)) ((14 1))) (3 23 17910 15 17
363 505 28950662 ((17 1)) ((15 1))) (3 22 17880 16 18 411 582 28950662 ((18 1))
((16 1))) (16 21 17790 17 19 576 756 28950662 ((19 1)) ((17 1))) (3 20 17670 18
20 729 925 28950662 ((20 1)) ((18 1))) (a "Start of " (1 1 1 1 1) ((ineq 0 a19))
) (1 18 17540 19 21 823 1038 28950662 ((21 1)) ((19 1))) (a "Start of " (1 1 1 1
) ((equal 0 a9))) (3 16 17390 20 21 931 1158 28950662 ((1 0) (20 1)) ((1 0) (19
1))) (a "Start of " (1 1 1) ((ineq 0 a18))) (1 14 17240 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 12 17120 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 10 
16970 23 22 1090 1349 28950662 ((22 1)) ((1 0) (22 1))) (16 9 16830 24 23 1064 
1315 28950662 ((23 1)) ((1 0) (23 1))) (cp 1 2 3 4 7 8 47 9 15 16 18 19 20 21 24
26 27 30 25 22 32 34 36) (16 8 10280 25 24 1186 1442 28950662 ((24 1)) ((1 0) (
24 1))) (1 7 10110 26 25 1236 1498 28950662 ((25 1)) ((1 0) (25 1))) (7 6 10100
25 25 1235 1497 28950662 ((25 1)) ((25 1))) (2 5 10100 25 24 1235 1495 28950662
((23 1) (1 2)) ((25 1))) (67 3 10090 25 24 1238 1498 28950662 ((23 1) (1 2)) ((
25 1))) (20 2 9880 26 26 1345 1613 28950662 ((25 1) (1 2)) ((26 1))) (20 1 9840
27 27 1347 1615 28950662 ((25 1) (2 2)) ((27 1))) (cp 1 2 3 4 7 77 8 47 9 15 24
16 18 19 20 21 26 69 25 27 30 22 32 76 34 36)) nil 44 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 40 t t (list) 20 4000 15 10 28950662 226 50 200 50 10 3
t nil nil nil 100 ((e_114 u) (e_113 u) (e_112 u) (e_111 u) (e_106 u) (e_104 u) (
e_103 u) (e_101 u) (e_97 u) (e_100 u) (e_92 u) (e_91 u) (e_90 u) (e_89 u) (e_50
u) (e_69 u) (e_47 u) (e_49 u) (e_48 u) (e_34 u) (e_35 u) (e_32 u) (e_8 u) (e_44
u) (e_37 u) (e_36 u) (e_40 u) (e_33 u) (e_4 u) (e_38 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_79 u) (e_80 u) (e_78 u) (e_76
u) (e_77 u) (e_75 u) (e_74 u) (e_72 u) (e_71 u) (e_68 u) (e_67 u) (e_66 u) (e_65
u) (e_64 u) (e_63 u) (e_62 u) (e_61 u) (e_60 u) (e_59 u) (e_58 u) (e_57 u) (e_56
u) (e_55 u) (e_54 u) (e_53 u) (e_52 u) (e_51 u) (e_27 u) (e_25 u) (e_24 u) (e_22
u) (e_20 u) (e_23 u) (e_21 u) (e_19 u) (e_18 u) (e_17 u) (e_15 u) (e_16 u) (e_14
u) (e_11 u) (e_26 u) (e_9 u) (e_29 u) (e_13 u) (e_12 u) (e_7 u) (a20_ v) (a20 v)
(b18_ u) (b18 u) (b17_ u) (b17 u) (b19_ u) (b19 u) (b9_ u) (b9 u) (b8_ u) (b8 u)
(b7_ u) (b7 u) (b10_ u) (b10 u) (b16_ u) (b16 u) (b15_ u) (b15 u) (b13_ u) (b13
u) (a19_ u) (a19 u) (a10_ u) (a10 u) (a7_ u) (a7 u) (b6_ u) (b6 u) (b3_ u) (b3 u
) (b1_ u) (b1 u) (a18_ u) (a18 u) (a17_ u) (a17 u) (a9_ u) (a9 u) (a8_ u) (a8 u)
(a15_ u) (a15 u) (a13_ u) (a13 u) (a16_ u) (a16 u) (a6_ u) (a6 u) (a3_ u) (a3 u)
(a1_ u) (a1 u)) "http://lie.math.brocku.ca/crack/src" nil nil nil 0 e_ nil "" 
nil nil 1000 (b16 b6 b19 b18 c_2 c_4) c_ nil nil 0 nil 10000 t t (b16 b6 b19 b18
a6 a15 a18 c_2 c_4) 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) ((((a18 . 1) ((u . 1) . 1)) ((c_2 . 1) . -24)) . 1)) nil nil nil nil 
nil 28950662 ((subst a3 nil) (subst c_3 nil) (subst a13 nil) (subst b13 nil) (
subst a8 nil) (subst a16 nil) (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 b3 nil) (subst b15 nil) (subst 
b7 nil) (subst b10 nil) (11 4 nil 0 1 nil 0 1) (subst b17 nil) (subst a20 nil))
1.0 1.0 nil t nil t 6 100000000000000000 20 15 100 1 10 1 30 40 10 5 1000000 20
10 10 115 nil 100 nil nil t 12 nil nil (to_do separation subst_level_0 
subst_level_03 quick_integration factorize_to_substitute factorize_any 
subst_derivative subst_level_1 subst_level_3 subst_level_2 subst_level_33 
subst_level_35 subst_level_4 full_integration gen_separation 
diff_length_reduction decoupling integration undetlinode add_diff_ise 
alg_solve_single undo_subst_derivative) "no_of_processes" nil nil nil (nil e_73
e_102 e_43 e_110 e_109 e_108 e_107 e_96 e_99 e_98 e_70 e_95 e_94 e_93 e_39 e_46
e_30 e_45 e_42 e_28 e_10 e_41 e_1 e_31 e_6 e_3 e_2 e_5 e_105) nil nil nil t 
"bu759678-" t nil nil nil nil 2 8 1000 20 1000 nil 1000 10000 1000 nil nil nil 
nil nil nil nil nil t nil nil nil nil nil (list) (u v)) ((e_48 ((sqval ((((df 
a18 u) . 1) ((u . 1) . 1)) ((a18 . 1) . 1)) . 1) (fac . 2) (pval) (partitioned)
(kern (df a18 u) a18 u) (fct_kern_lin) (fct_kern_nli) (fcts a18) (vars u) (nvars
 . 1) (level 1 1 1 1 1 1) (derivs ((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 . 2) (length . 2) (printlength . 5) (rational
a18) (nonrational) (allvarfcts a18) (starde) (dec_with) (dec_with_rl) (rl_with)
(hom_deg) (split_test) (linear_ . t) (histry_)) (to_symbol to_diff to_decoup 
to_int to_fullint)) (e_38 ((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_diff 
to_decoup to_int to_fullint)) (e_49 ((sqval ((((df b18 u) . 1) ((c_2 . 1) ((u . 
1) . 16))) ((a18 . 1) ((b18 . 1) ((u . 1) . 3))) ((b18 . 1) ((c_2 . 1) . 8))) . 
1) (fac . 2) (pval) (partitioned) (kern (df b18 u) a18 b18 c_2 u) (fct_kern_lin)
(fct_kern_nli) (fcts b18 a18 c_2) (vars u) (nvars . 1) (level 1 1 1 1 1 1) (
derivs ((b18 u) . 1) ((b18) . 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 . 3) (length . 6) (printlength . 11) (rational
b18 a18 c_2) (nonrational) (allvarfcts b18 a18) (starde) (dec_with) (dec_with_rl
) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_diff 
to_decoup to_int to_fullint)) (e_100 ((sqval ((((df a18 u) . 1) ((a18 . 1) ((b19
 . 1) ((u . 2) . 1))) ((b19 . 1) ((c_2 . 1) ((u . 1) . -24)))) (((df b19 u) . 1)
((a18 . 2) ((u . 2) . 1)) ((a18 . 1) ((c_2 . 1) ((u . 1) . 24))) ((c_2 . 2) . 
-1152)) ((a18 . 2) ((b19 . 1) ((u . 1) . 1))) ((a18 . 1) ((b19 . 1) ((c_2 . 1)
 . -164)))) . 1) (fac . 2) (pval) (partitioned) (kern (df a18 u) (df b19 u) a18
b19 c_2 u) (fct_kern_lin) (fct_kern_nli) (fcts b19 a18 c_2) (vars u) (nvars . 1)
(level 1 1 1 1 1 1 1) (derivs ((b19 u) . 1) ((b19) . 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 . 7)
(length . 18) (printlength . 32) (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_diff to_decoup to_int to_fullint)
) (e_111 ((sqval ((((df a18 u) . 1) ((a18 . 1) ((b18 . 1) ((u . 3) . 4))) ((b18
 . 1) ((c_2 . 1) ((u . 2) . -96)))) (((df b18 u) . 1) ((a18 . 2) ((u . 3) . -8))
((a18 . 1) ((c_2 . 1) ((u . 2) . 96))) ((c_2 . 2) ((u . 1) . 2304))) ((a18 . 2)
((b18 . 1) ((u . 2) . -51))) ((a18 . 1) ((b18 . 1) ((c_2 . 1) ((u . 1) . 748)) (
(c_4 . 1) ((u . 1) . 24)))) ((b18 . 1) ((c_2 . 2) . 8064) ((c_2 . 1) ((c_4 . 1)
 . -576)))) . 1) (fac . 2) (pval) (partitioned) (kern (df a18 u) (df b18 u) a18
b18 c_2 c_4 u) (fct_kern_lin) (fct_kern_nli) (fcts b18 a18 c_2 c_4) (vars u) (
nvars . 1) (level 2 1 1 1 1 1 1 1 1) (derivs ((b18 u) . 1) ((b18) . 1) ((a18 u)
 . 1) ((a18) . 2) ((a18) . 1) ((c_2) . 2) ((c_2) . 1) ((c_4) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 10) (length . 24) (printlength . 49) (
rational b18 a18 c_2 c_4) (nonrational) (allvarfcts b18 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) ((c_2 . 2) ((u . 1) . 2880)))) (((df b18 u 2) . 1) ((a18 . 2)
((c_2 . 1) ((u . 4) . -32))) ((a18 . 1) ((c_2 . 2) ((u . 3) . 1536))) ((c_2 . 3)
((u . 2) . -18432))) (((df b18 u) . 1) ((a18 . 2) ((c_2 . 1) ((u . 3) . -32))) (
(a18 . 1) ((c_2 . 2) ((u . 2) . 1536))) ((c_2 . 3) ((u . 1) . -18432))) (((df 
b19 u) . 1) ((a18 . 2) ((c_2 . 1) ((u . 2) . -120))) ((a18 . 1) ((c_2 . 2) ((u
 . 1) . 2880)))) ((a18 . 2) ((b18 . 1) ((c_2 . 1) ((u . 2) . 32))) ((b19 . 1) ((
c_2 . 1) ((u . 1) . 120)))) ((a18 . 1) ((b18 . 1) ((c_2 . 2) ((u . 1) . -1536)))
) ((b18 . 1) ((c_2 . 3) . 18432))) . 1) (fac . 2) (pval) (partitioned) (kern (df
a18 u) (df b18 u 2) (df b18 u) (df b19 u) a18 b18 c_2 u b19) (fct_kern_lin) (
fct_kern_nli) (fcts b19 b18 a18 c_2) (vars u) (nvars . 1) (level 1 1 1 1 1 1 1)
(derivs ((b19 u) . 1) ((b19) . 1) ((b18 u 2) . 1) ((b18 u) . 1) ((b18) . 1) ((
a18 u) . 1) ((a18) . 2) ((c_2) . 3) ((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 . 13) (length . 45) (printlength . 81) (
rational b19 b18 a18 c_2) (nonrational) (allvarfcts b19 b18 a18) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (
to_symbol to_diff to_decoup to_int to_fullint)) (e_112 ((sqval ((((df a18 u) . 1
) ((a18 . 2) ((b19 . 1) ((c_2 . 1) ((u . 3) . 24)))) ((a18 . 1) ((b19 . 1) ((c_2
 . 2) ((u . 2) . -1152)))) ((b19 . 1) ((c_2 . 3) ((u . 1) . -43776)))) (((df b18
u 2) . 1) ((a18 . 2) ((c_2 . 2) ((u . 4) . 512))) ((a18 . 1) ((c_2 . 3) ((u . 3)
 . -24576))) ((c_2 . 4) ((u . 2) . 294912))) (((df b18 u) . 1) ((a18 . 2) ((c_2
 . 2) ((u . 3) . 512))) ((a18 . 1) ((c_2 . 3) ((u . 2) . -24576))) ((c_2 . 4) ((
u . 1) . 294912))) (((df b19 u) . 1) ((a18 . 3) ((c_2 . 1) ((u . 3) . -24))) ((
a18 . 2) ((c_2 . 2) ((u . 2) . 3744)) ((c_2 . 1) ((c_4 . 1) ((u . 2) . -192))))
((a18 . 1) ((c_2 . 3) ((u . 1) . -103680)) ((c_2 . 2) ((c_4 . 1) ((u . 1) . 9216
)))) ((c_2 . 4) . 663552) ((c_2 . 3) ((c_4 . 1) . -110592))) ((a18 . 3) ((b18 . 
1) ((c_2 . 1) ((u . 3) . -168))) ((b19 . 1) ((c_2 . 1) ((u . 2) . 432)))) ((a18
 . 2) ((b18 . 1) ((c_2 . 2) ((u . 2) . 8608)) ((c_2 . 1) ((c_4 . 1) ((u . 2) . 
192)))) ((b19 . 1) ((c_2 . 2) ((u . 1) . -10176)))) ((a18 . 1) ((b18 . 1) ((c_2
 . 3) ((u . 1) . -42240)) ((c_2 . 2) ((c_4 . 1) ((u . 1) . -9216)))) ((b19 . 1)
((c_2 . 3) . -62208))) ((b18 . 1) ((c_2 . 4) . -1622016) ((c_2 . 3) ((c_4 . 1)
 . 110592)))) . 1) (fac . 2) (pval) (partitioned) (kern (df a18 u) (df b18 u 2)
(df b18 u) (df b19 u) a18 b18 c_2 c_4 b19 u) (fct_kern_lin) (fct_kern_nli) (fcts
b19 b18 a18 c_2 c_4) (vars u) (nvars . 1) (level 2 1 1 1 1 1 1 1 1) (derivs ((
b19 u) . 1) ((b19) . 1) ((b18 u 2) . 1) ((b18 u) . 1) ((b18) . 1) ((a18 u) . 1)
((a18) . 3) ((a18) . 2) ((c_2) . 4) ((c_2) . 3) ((c_2) . 2) ((c_2) . 1) ((c_4)
 . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 26) (length . 103) (
printlength . 171) (rational b19 b18 a18 c_2 c_4) (nonrational) (allvarfcts b19
b18 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_113 ((sqval ((((df a18 u) . 1) (((df b18 u) . 1) ((a18 . 2) ((c_2
 . 1) ((u . 5) . 128))) ((a18 . 1) ((c_2 . 2) ((u . 4) . -6144))) ((c_2 . 3) ((u
 . 3) . 73728))) ((a18 . 2) ((b18 . 1) ((c_2 . 1) ((u . 4) . 64))) ((b19 . 1) ((
c_2 . 1) ((u . 3) . 480)))) ((a18 . 1) ((b18 . 1) ((c_2 . 2) ((u . 3) . -3072)))
((b19 . 1) ((c_2 . 2) ((u . 2) . -23040)))) ((b18 . 1) ((c_2 . 3) ((u . 2) . 
129024))) ((b19 . 1) ((c_2 . 3) ((u . 1) . -552960)))) (((df b18 u 2) . 1) ((a18
 . 3) ((c_2 . 1) ((u . 5) . 128))) ((a18 . 1) ((c_2 . 3) ((u . 3) . -221184))) (
(c_2 . 4) ((u . 2) . 3538944))) (((df b18 u) . 1) ((a18 . 3) ((c_2 . 1) ((u . 4)
 . -2624))) ((a18 . 2) ((c_2 . 2) ((u . 3) . 115968)) ((c_2 . 1) ((c_4 . 1) ((u
 . 3) . 1536)))) ((a18 . 1) ((c_2 . 3) ((u . 2) . -755712)) ((c_2 . 2) ((c_4 . 1
) ((u . 2) . -73728)))) ((c_2 . 4) ((u . 1) . -12386304)) ((c_2 . 3) ((c_4 . 1)
((u . 1) . 884736)))) (((df b19 u) . 1) ((a18 . 3) ((c_2 . 1) ((u . 3) . 480)))
((a18 . 2) ((c_2 . 2) ((u . 2) . 11520))) ((a18 . 1) ((c_2 . 3) ((u . 1) . 
-552960)))) ((a18 . 3) ((b18 . 1) ((c_2 . 1) ((u . 3) . -10912))) ((b19 . 1) ((
c_2 . 1) ((u . 2) . -5520)))) ((a18 . 2) ((b18 . 1) ((c_2 . 2) ((u . 2) . 428160
)) ((c_2 . 1) ((c_4 . 1) ((u . 2) . 6912)))) ((b19 . 1) ((c_2 . 2) ((u . 1) . 
24000)) ((c_2 . 1) ((c_4 . 1) ((u . 1) . 9600))))) ((a18 . 1) ((b18 . 1) ((c_2
 . 3) ((u . 1) . -1649664)) ((c_2 . 2) ((c_4 . 1) ((u . 1) . -331776)))) ((b19
 . 1) ((c_2 . 3) . 3041280) ((c_2 . 2) ((c_4 . 1) . -230400)))) ((b18 . 1) ((c_2
 . 4) . -53968896) ((c_2 . 3) ((c_4 . 1) . 3981312)))) . 1) (fac . 2) (pval) (
partitioned) (kern (df a18 u) (df b18 u 2) (df b18 u) (df b19 u) a18 b18 c_2 c_4
b19 u) (fct_kern_lin) (fct_kern_nli) (fcts b19 b18 a18 c_2 c_4) (vars u) (nvars
 . 1) (level 2 1 1 1 1 1 1 1 1) (derivs ((b19 u) . 1) ((b19) . 1) ((b18 u 2) . 1
) ((b18 u) . 1) ((b18) . 1) ((a18 u) . 1) ((a18) . 3) ((a18) . 2) ((c_2) . 4) ((
c_2) . 3) ((c_2) . 2) ((c_2) . 1) ((c_4) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 34) (length . 127) (printlength . 233) (rational b19 b18 
a18 c_2 c_4) (nonrational) (allvarfcts b19 b18 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_114 ((sqval ((((df a18
u) . 1) (((df b18 u) . 1) ((a18 . 2) ((c_2 . 1) ((u . 5) . 64))) ((a18 . 1) ((
c_2 . 2) ((u . 4) . -3072))) ((c_2 . 3) ((u . 3) . 6144))) ((a18 . 2) ((b18 . 1)
((c_2 . 1) ((u . 4) . 128))) ((b19 . 1) ((c_2 . 1) ((u . 3) . 240)))) ((a18 . 1)
((b18 . 1) ((c_2 . 2) ((u . 3) . -6144)))) ((b18 . 1) ((c_2 . 3) ((u . 2) . 
12288))) ((b19 . 1) ((c_2 . 3) ((u . 1) . -276480)) ((c_2 . 2) ((c_4 . 1) ((u . 
1) . 46080))))) (((df b18 u 2) . 1) ((a18 . 3) ((c_2 . 1) ((u . 5) . -64))) ((
a18 . 2) ((c_2 . 2) ((u . 4) . 4864)) ((c_2 . 1) ((c_4 . 1) ((u . 4) . -512))))
((a18 . 1) ((c_2 . 3) ((u . 3) . -153600)) ((c_2 . 2) ((c_4 . 1) ((u . 3) . 
24576)))) ((c_2 . 4) ((u . 2) . 1769472)) ((c_2 . 3) ((c_4 . 1) ((u . 2) . 
-294912)))) (((df b18 u) . 1) ((a18 . 3) ((c_2 . 1) ((u . 4) . 2112))) ((a18 . 2
) ((c_2 . 2) ((u . 3) . -89600)) ((c_2 . 1) ((c_4 . 1) ((u . 3) . -2048)))) ((
a18 . 1) ((c_2 . 3) ((u . 2) . 313344)) ((c_2 . 2) ((c_4 . 1) ((u . 2) . 98304))
)) ((c_2 . 4) ((u . 1) . 14155776)) ((c_2 . 3) ((c_4 . 1) ((u . 1) . -1179648)))
) (((df b19 u) . 1) ((a18 . 3) ((c_2 . 1) ((u . 3) . -240))) ((a18 . 2) ((c_2 . 
2) ((u . 2) . 12480)) ((c_2 . 1) ((c_4 . 1) ((u . 2) . -1920)))) ((a18 . 1) ((
c_2 . 3) ((u . 1) . -276480)) ((c_2 . 2) ((c_4 . 1) ((u . 1) . 46080))))) ((a18
 . 3) ((b18 . 1) ((c_2 . 1) ((u . 3) . 5664))) ((b19 . 1) ((c_2 . 1) ((u . 2) . 
5376)))) ((a18 . 2) ((b18 . 1) ((c_2 . 2) ((u . 2) . -224128)) ((c_2 . 1) ((c_4
 . 1) ((u . 2) . -3328)))) ((b19 . 1) ((c_2 . 2) ((u . 1) . -86208)) ((c_2 . 1)
((c_4 . 1) ((u . 1) . -5760))))) ((a18 . 1) ((b18 . 1) ((c_2 . 3) ((u . 1) . 
986112)) ((c_2 . 2) ((c_4 . 1) ((u . 1) . 159744)))) ((b19 . 1) ((c_2 . 3) . 
-2433024) ((c_2 . 2) ((c_4 . 1) . 184320)))) ((b18 . 1) ((c_2 . 4) . 25657344) (
(c_2 . 3) ((c_4 . 1) . -1916928)))) . 1) (fac . 2) (pval) (partitioned) (kern (
df a18 u) (df b18 u 2) (df b18 u) (df b19 u) a18 b18 c_2 c_4 b19 u) (
fct_kern_lin) (fct_kern_nli) (fcts b19 b18 a18 c_2 c_4) (vars u) (nvars . 1) (
level 2 1 1 1 1 1 1 1 1) (derivs ((b19 u) . 1) ((b19) . 1) ((b18 u 2) . 1) ((b18
u) . 1) ((b18) . 1) ((a18 u) . 1) ((a18) . 3) ((a18) . 2) ((c_2) . 4) ((c_2) . 3
) ((c_2) . 2) ((c_2) . 1) ((c_4) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 40
) (length . 145) (printlength . 272) (rational b19 b18 a18 c_2 c_4) (nonrational
) (allvarfcts b19 b18 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) ((a18 . 1) (
(u . 2) . 8)) ((c_2 . 1) ((u . 1) . -192))) ((a18 . 1) ((b16 . 1) ((u . 2) . 12)
) ((b18 . 1) ((u . 1) . 10)) ((b19 . 1) . 15)) ((b16 . 1) ((c_2 . 1) ((u . 1) . 
-288))) ((b18 . 1) ((c_2 . 1) . -240))) ((a18 . 1) ((u . 1) . 6)) ((c_2 . 1) . 
-144))) b16 b19 b18 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) ((equal a3 ((((a18 . 1) ((u . 1) . 1)) ((a6 . 1) ((
u . 2) . 1)) ((c_4 . 1) . -1)) ((u . 2) . 1))) a6 a18 c_4) (a6) ((equal a16 ((((
a15 . 1) ((a18 . 1) ((u . 2) . 8)) ((c_2 . 1) ((u . 1) . -192))) ((a18 . 2) ((u
 . 1) . -5)) ((a18 . 1) ((c_2 . 1) . 220))) ((a18 . 1) ((u . 2) . 8)) ((c_2 . 1)
((u . 1) . -192)))) c_2 a15 a18) ((equal a13 ((((a15 . 1) ((a18 . 1) ((u . 2) . 
8)) ((c_2 . 1) ((u . 1) . -192))) ((a18 . 2) ((u . 1) . -3)) ((a18 . 1) ((c_2 . 
1) . 112))) ((a18 . 1) ((u . 1) . 4)) ((c_2 . 1) . -96))) a15 a18 c_2) (a15) ((
equal a8 ((((a18 . 1) ((u . 1) . -1)) ((c_2 . 1) . 36)) ((u . 1) . 2))) a18 c_2)
((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$