off echo$backup_:='
(((list) ("back1" sb ph "Hello" cm ph "*** Start of level 1111111121" cm 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 (!*comma!* 1 2 38) cp a !11!; 11 l e_5 67 ts p2 p1 pd pf flin_ pv t e_7 e t
(times a10 (coeffn e_7 a7 1)) pe fc y nil b10 v f 20 20 pi eo 12 p1 10 e 100 p1
10 e hd h s) 0 (1 2 1 1 1 1 1 1 1 1) 4 ((1 42 11640 10 14 220 727 28950662 ((14
1)) ((1 0) (9 1))) (a "Start of " (1 1 1 1 1 1 1 1 2 1) ((equal 0 (plus (times (
df a18 u) u) (minus (times (df a3 u) (expt u 2))) (times (df a6 u) (expt u 2)) 
a18 (minus (times 2 a3 u)) (times 2 a6 u))))) (21 40 11610 10 13 222 737 
28950662 ((13 1)) ((1 0) (9 1))) (22 39 11550 9 12 222 737 28950662 ((12 1)) ((1
0) (8 1))) (1 38 11490 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 37 
11450 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 35 11450 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 33 11400 11 13 222 446 28950662 ((13 1)) ((1 0) (10 1))) (
1 32 11350 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 30 11290 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 28 11220 13 13 259 367 28950662 ((13 1)) ((1 0)
(12 1))) (1 27 11160 14 15 285 397 28950662 ((15 1)) ((1 0) (13 1))) (7 26 11150
13 15 284 396 28950662 ((15 1)) ((13 1))) (4 25 11100 14 16 320 444 28950662 ((
16 1)) ((14 1))) (3 24 11040 15 17 363 505 28950662 ((17 1)) ((15 1))) (3 23 
11010 16 18 411 582 28950662 ((18 1)) ((16 1))) (16 22 10920 17 19 576 756 
28950662 ((19 1)) ((17 1))) (3 21 10810 18 20 729 925 28950662 ((20 1)) ((18 1))
) (a "Start of " (1 1 1 1 1) ((ineq 0 a19))) (1 19 10670 19 21 823 1038 28950662
((21 1)) ((19 1))) (a "Start of " (1 1 1 1) ((equal 0 a9))) (3 17 10520 20 21 
931 1158 28950662 ((1 0) (20 1)) ((1 0) (19 1))) (a "Start of " (1 1 1) ((ineq 0
a18))) (1 15 10370 21 22 986 1229 28950662 ((22 1)) ((1 0) (20 1))) (a "Start of "
(1 1) ((equal 0 (plus a10 (minus (times 5 a19)))))) (1 13 10250 22 22 1061 1323
28950662 ((22 1)) ((1 0) (21 1))) (a "Start of " (1) ((equal 0 (plus (times 4 
a17) (minus (times 3 a18)))))) (16 11 10100 23 22 1090 1349 28950662 ((22 1)) ((
1 0) (22 1))) (16 10 9960 24 23 1064 1315 28950662 ((23 1)) ((1 0) (23 1))) (16
9 9820 25 24 1186 1442 28950662 ((24 1)) ((1 0) (24 1))) (1 8 9650 26 25 1236 
1498 28950662 ((25 1)) ((1 0) (25 1))) (7 7 9640 25 25 1235 1497 28950662 ((25 1
)) ((25 1))) (cp 1 2 3 4 7 8 47 9 15 16 18 19 20 21 24 26 27 30 25 22 32 34 36)
(38 6 9640 25 25 1235 1497 28950662 ((25 1)) ((25 1))) (cp 1 2 38) (2 5 9640 25
24 1235 1495 28950662 ((23 1) (1 2)) ((25 1))) (67 3 9640 25 24 1238 1498 
28950662 ((23 1) (1 2)) ((25 1))) (20 2 9300 26 26 1345 1613 28950662 ((25 1) (1
2)) ((26 1))) (20 1 9270 27 27 1347 1615 28950662 ((25 1) (2 2)) ((27 1))) (cp 1
2 3 4 7 77 8 47 9 15 24 16 18 19 20 21 26 69 25 27 30 22 32 76 34 36)) nil 43 
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 39 t t (list) 20 4000 15 10
28950662 220 50 200 50 10 3 t nil nil nil 100 ((e_112 u) (e_111 u) (e_102 u) (
e_108 u) (e_107 u) (c_3 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_3 c_2) c_ nil nil 0 nil 10000 t t (b16 b6 b19 b18 a3 a6 a15 a18 c_3
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) ((((
a18 . 1) ((u . 1) . 1)) ((c_2 . 1) . -24)) . 1)) nil nil nil nil nil 28950662 ((
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 113 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_112 e_111 e_110 e_109 e_43 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 "bu593533-" t nil nil nil nil 2 8 1000 20 1000 nil 1000 10000 1000 nil
nil nil nil nil nil nil nil t nil nil nil nil nil (list) (u v)) ((e_108 ((sqval
((((df c_3 u) . 1) ((u . 1) . 1)) ((c_3 . 1) . -1)) . 1) (fac . 1) (pval) (
partitioned) (kern (df c_3 u) c_3 u) (fct_kern_lin) (fct_kern_nli) (fcts c_3) (
vars u) (nvars . 1) (level 2 1 1 1 1 1 1 1 1) (derivs ((c_3 u) . 1) ((c_3) . 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 c_3) (nonrational) (allvarfcts c_3) (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_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_107 ((sqval ((((
df c_3 u) . 1) . 1) ((a18 . 1) ((u . 1) . -1)) ((a3 . 1) ((u . 2) . 1)) ((a6 . 1
) ((u . 2) . -1))) . 1) (fac . 1) (pval) (partitioned) (kern (df c_3 u) a18 a3 
a6 u) (fct_kern_lin) (fct_kern_nli) (fcts a3 a6 a18 c_3) (vars u) (nvars . 1) (
level 2 1 1 1 1 1 1 1 1) (derivs ((a3) . 1) ((a6) . 1) ((a18) . 1) ((c_3 u) . 1)
) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 4) (length . 4) (printlength
 . 13) (rational a3 a6 a18 c_3) (nonrational) (allvarfcts a3 a6 a18 c_3) (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_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_111 ((sqval ((((df a18 u) . 1) ((u . 1) . 1)) (((df a3 u) . 1) (
(u . 2) . -1)) (((df a6 u) . 1) ((u . 2) . 1)) ((a18 . 1) . 1) ((a3 . 1) ((u . 1
) . -2)) ((a6 . 1) ((u . 1) . 2))) . 1) (fac . 1) (pval plus (times (df a18 u) u
) (minus (times (df a3 u) (expt u 2))) (times (df a6 u) (expt u 2)) a18 (minus (
times 2 a3 u)) (times 2 a6 u)) (partitioned) (kern (df a18 u) (df a3 u) (df a6 u
) a18 a3 a6 u) (fct_kern_lin) (fct_kern_nli) (fcts a3 a6 a18) (vars u) (nvars . 
1) (level 2 1 1 1 1 1 1 1 1) (derivs ((a3 u) . 1) ((a3) . 1) ((a6 u) . 1) ((a6)
 . 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 . 6)
(length . 6) (printlength . 19) (rational a3 a6 a18) (nonrational) (allvarfcts 
a3 a6 a18) (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_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_97 ((sqval ((((df
a18 u) . 1) ((a18 . 1) ((b18 . 1) ((u . 3) . 8))) ((b18 . 1) ((c_2 . 1) ((u . 2)
 . -192)))) (((df b18 u) . 1) ((a18 . 2) ((u . 3) . -16)) ((a18 . 1) ((c_2 . 1)
((u . 2) . 192))) ((c_2 . 2) ((u . 1) . 4608))) ((a18 . 2) ((b18 . 1) ((u . 2)
 . -54))) ((a18 . 1) ((a3 . 1) ((b18 . 1) ((u . 3) . -48))) ((a6 . 1) ((b18 . 1)
((u . 3) . 48))) ((b18 . 1) ((c_2 . 1) ((u . 1) . 344)))) ((a3 . 1) ((b18 . 1) (
(c_2 . 1) ((u . 2) . 1152)))) ((a6 . 1) ((b18 . 1) ((c_2 . 1) ((u . 2) . -1152))
)) ((b18 . 1) ((c_2 . 2) . 16128))) . 1) (fac . 2) (pval) (partitioned) (kern (
df a18 u) (df b18 u) a18 a3 a6 b18 c_2 u) (fct_kern_lin) (fct_kern_nli) (fcts 
b18 a3 a6 a18 c_2) (vars u) (nvars . 1) (level 1 1 1 1 1 1 1) (derivs ((b18 u)
 . 1) ((b18) . 1) ((a3) . 1) ((a6) . 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 . 12) (length . 31
) (printlength . 67) (rational b18 a3 a6 a18 c_2) (nonrational) (allvarfcts b18
a3 a6 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_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_102 ((sqval ((((df a18 u) . 1
) (((df b18 u) . 1) ((a18 . 1) ((c_2 . 1) ((u . 4) . 1))) ((c_2 . 2) ((u . 3) . 
-24))) ((a18 . 1) ((b18 . 1) ((c_2 . 1) ((u . 3) . 8)))) ((b18 . 1) ((c_2 . 2) (
(u . 2) . -192)))) (((df a3 u) . 1) ((a18 . 1) ((b18 . 1) ((c_2 . 1) ((u . 4) . 
-6)))) ((b18 . 1) ((c_2 . 2) ((u . 3) . 144)))) (((df a6 u) . 1) ((a18 . 1) ((
b18 . 1) ((c_2 . 1) ((u . 4) . 6)))) ((b18 . 1) ((c_2 . 2) ((u . 3) . -144)))) (
((df b18 u) . 1) ((a18 . 2) ((c_2 . 1) ((u . 3) . 1))) ((a18 . 1) ((c_2 . 2) ((u
 . 2) . -24)))) ((a18 . 2) ((b18 . 1) ((c_2 . 1) ((u . 2) . 8)))) ((a18 . 1) ((
a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 3) . -12)))) ((a6 . 1) ((b18 . 1) ((c_2 . 1)
((u . 3) . 12)))) ((b18 . 1) ((c_2 . 2) ((u . 1) . -192)))) ((a3 . 1) ((b18 . 1)
((c_2 . 2) ((u . 2) . 288)))) ((a6 . 1) ((b18 . 1) ((c_2 . 2) ((u . 2) . -288)))
)) . 1) (fac . 1) (pval) (partitioned) (kern (df a18 u) (df a3 u) (df a6 u) (df
b18 u) a18 a3 a6 b18 c_2 u) (fct_kern_lin) (fct_kern_nli) (fcts b18 a3 a6 a18 
c_2) (vars u) (nvars . 1) (level 2 1 1 1 1 1 1 1 1) (derivs ((b18 u) . 1) ((b18)
 . 1) ((a3 u) . 1) ((a3) . 1) ((a6 u) . 1) ((a6) . 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 . 16
) (length . 55) (printlength . 115) (rational b18 a3 a6 a18 c_2) (nonrational) (
allvarfcts b18 a3 a6 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) (((df b18 u) . 1) ((a18 . 1) ((c_2 . 1) ((u
 . 4) . 1))) ((c_2 . 2) ((u . 3) . -24))) ((a18 . 1) ((b18 . 1) ((c_2 . 1) ((u
 . 3) . 2)))) ((b18 . 1) ((c_2 . 2) ((u . 2) . -48)))) (((df a3 u) . 1) (((df 
b18 u) . 1) ((a18 . 1) ((c_2 . 1) ((u . 5) . -1))) ((c_2 . 2) ((u . 4) . 24))) (
(a18 . 1) ((b18 . 1) ((c_2 . 1) ((u . 4) . -2)))) ((b18 . 1) ((c_2 . 2) ((u . 3)
 . 48)))) (((df a6 u) . 1) (((df b18 u) . 1) ((a18 . 1) ((c_2 . 1) ((u . 5) . 1)
)) ((c_2 . 2) ((u . 4) . -24))) ((a18 . 1) ((b18 . 1) ((c_2 . 1) ((u . 4) . 2)))
) ((b18 . 1) ((c_2 . 2) ((u . 3) . -48)))) (((df b18 u) . 1) ((a18 . 2) ((c_2 . 
1) ((u . 3) . 1))) ((a18 . 1) ((a3 . 1) ((c_2 . 1) ((u . 4) . -2))) ((a6 . 1) ((
c_2 . 1) ((u . 4) . 2))) ((c_2 . 2) ((u . 2) . -24))) ((a3 . 1) ((c_2 . 2) ((u
 . 3) . 48))) ((a6 . 1) ((c_2 . 2) ((u . 3) . -48)))) ((a18 . 2) ((b18 . 1) ((
c_2 . 1) ((u . 2) . 2)))) ((a18 . 1) ((a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 3) . 
-4)))) ((a6 . 1) ((b18 . 1) ((c_2 . 1) ((u . 3) . 4)))) ((b18 . 1) ((c_2 . 2) ((
u . 1) . -48)))) ((a3 . 1) ((b18 . 1) ((c_2 . 2) ((u . 2) . 96)))) ((a6 . 1) ((
b18 . 1) ((c_2 . 2) ((u . 2) . -96))))) . 1) (fac . 1) (pval) (partitioned) (
kern (df a18 u) (df a3 u) (df a6 u) (df b18 u) a18 a3 a6 b18 c_2 u) (
fct_kern_lin) (fct_kern_nli) (fcts b18 a3 a6 a18 c_2) (vars u) (nvars . 1) (
level 2 1 1 1 1 1 1 1 1) (derivs ((b18 u) . 1) ((b18) . 1) ((a3 u) . 1) ((a3) . 
1) ((a6 u) . 1) ((a6) . 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 . 24) (length . 75) (printlength
 . 175) (rational b18 a3 a6 a18 c_2) (nonrational) (allvarfcts b18 a3 a6 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) ((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) . -216))) ((a18 . 2) ((a3 . 1) ((c_2 . 1) ((u . 4) . 192))) (
(a6 . 1) ((c_2 . 1) ((u . 4) . -192))) ((c_2 . 2) ((u . 2) . 12960))) ((a18 . 1)
((a3 . 1) ((c_2 . 2) ((u . 3) . -9216))) ((a6 . 1) ((c_2 . 2) ((u . 3) . 9216)))
((c_2 . 3) ((u . 1) . -214272))) ((a3 . 1) ((c_2 . 3) ((u . 2) . 110592))) ((a6
 . 1) ((c_2 . 3) ((u . 2) . -110592))) ((c_2 . 4) . 663552)) ((a18 . 3) ((b18 . 
1) ((c_2 . 1) ((u . 3) . 24))) ((b19 . 1) ((c_2 . 1) ((u . 2) . 432)))) ((a18 . 
2) ((a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 4) . -192)))) ((a6 . 1) ((b18 . 1) ((
c_2 . 1) ((u . 4) . 192)))) ((b18 . 1) ((c_2 . 2) ((u . 2) . -608))) ((b19 . 1)
((c_2 . 2) ((u . 1) . -10176)))) ((a18 . 1) ((a3 . 1) ((b18 . 1) ((c_2 . 2) ((u
 . 3) . 9216)))) ((a6 . 1) ((b18 . 1) ((c_2 . 2) ((u . 3) . -9216)))) ((b18 . 1)
((c_2 . 3) ((u . 1) . 68352))) ((b19 . 1) ((c_2 . 3) . -62208))) ((a3 . 1) ((b18
 . 1) ((c_2 . 3) ((u . 2) . -110592)))) ((a6 . 1) ((b18 . 1) ((c_2 . 3) ((u . 2)
 . 110592)))) ((b18 . 1) ((c_2 . 4) . -1622016))) . 1) (fac . 2) (pval) (
partitioned) (kern (df a18 u) (df b18 u 2) (df b18 u) (df b19 u) a18 a3 a6 b18 
c_2 u b19) (fct_kern_lin) (fct_kern_nli) (fcts b19 b18 a3 a6 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) ((a3) . 1) ((a6) . 1) ((a18 u) . 1) ((a18) . 3) ((
a18) . 2) ((c_2) . 4) ((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 . 32) (length . 127) (printlength . 231) (
rational b19 b18 a3 a6 a18 c_2) (nonrational) (allvarfcts b19 b18 a3 a6 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_104 ((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) . -1088))) ((a18 . 2) ((a3 . 1)
((c_2 . 1) ((u . 5) . -1536))) ((a6 . 1) ((c_2 . 1) ((u . 5) . 1536))) ((c_2 . 2
) ((u . 3) . 42240))) ((a18 . 1) ((a3 . 1) ((c_2 . 2) ((u . 4) . 73728))) ((a6
 . 1) ((c_2 . 2) ((u . 4) . -73728))) ((c_2 . 3) ((u . 2) . 129024))) ((a3 . 1)
((c_2 . 3) ((u . 3) . -884736))) ((a6 . 1) ((c_2 . 3) ((u . 3) . 884736))) ((c_2
 . 4) ((u . 1) . -12386304))) (((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) . -4000))) ((b19 . 1)
((c_2 . 1) ((u . 2) . 4080)))) ((a18 . 2) ((a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 
4) . -6912))) ((b19 . 1) ((c_2 . 1) ((u . 3) . -9600)))) ((a6 . 1) ((b18 . 1) ((
c_2 . 1) ((u . 4) . 6912))) ((b19 . 1) ((c_2 . 1) ((u . 3) . 9600)))) ((b18 . 1)
((c_2 . 2) ((u . 2) . 96384))) ((b19 . 1) ((c_2 . 2) ((u . 1) . -206400)))) ((
a18 . 1) ((a3 . 1) ((b18 . 1) ((c_2 . 2) ((u . 3) . 331776))) ((b19 . 1) ((c_2
 . 2) ((u . 2) . 230400)))) ((a6 . 1) ((b18 . 1) ((c_2 . 2) ((u . 3) . -331776))
) ((b19 . 1) ((c_2 . 2) ((u . 2) . -230400)))) ((b18 . 1) ((c_2 . 3) ((u . 1) . 
2331648))) ((b19 . 1) ((c_2 . 3) . 3041280))) ((a3 . 1) ((b18 . 1) ((c_2 . 3) ((
u . 2) . -3981312)))) ((a6 . 1) ((b18 . 1) ((c_2 . 3) ((u . 2) . 3981312)))) ((
b18 . 1) ((c_2 . 4) . -53968896))) . 1) (fac . 2) (pval) (partitioned) (kern (df
a18 u) (df b18 u 2) (df b18 u) (df b19 u) a18 a3 a6 b18 c_2 u b19) (fct_kern_lin
) (fct_kern_nli) (fcts b19 b18 a3 a6 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) ((a3) . 1) ((a6) . 1) ((a18 u) . 1) ((a18) . 3) ((a18) . 2) ((c_2) . 4) ((
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 . 42
) (length . 156) (printlength . 312) (rational b19 b18 a3 a6 a18 c_2) (
nonrational) (allvarfcts b19 b18 a3 a6 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_106 ((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))) ((b19 . 1) ((c_2 . 2) ((u . 2) . 46080)))) ((a3 . 1) ((b19 . 1
) ((c_2 . 2) ((u . 3) . -46080)))) ((a6 . 1) ((b19 . 1) ((c_2 . 2) ((u . 3) . 
46080)))) ((b18 . 1) ((c_2 . 3) ((u . 2) . 12288))) ((b19 . 1) ((c_2 . 3) ((u . 
1) . -276480)))) (((df b18 u 2) . 1) ((a18 . 3) ((c_2 . 1) ((u . 5) . -576))) ((
a18 . 2) ((a3 . 1) ((c_2 . 1) ((u . 6) . 512))) ((a6 . 1) ((c_2 . 1) ((u . 6) . 
-512))) ((c_2 . 2) ((u . 4) . 29440))) ((a18 . 1) ((a3 . 1) ((c_2 . 2) ((u . 5)
 . -24576))) ((a6 . 1) ((c_2 . 2) ((u . 5) . 24576))) ((c_2 . 3) ((u . 3) . 
-448512))) ((a3 . 1) ((c_2 . 3) ((u . 4) . 294912))) ((a6 . 1) ((c_2 . 3) ((u . 
4) . -294912))) ((c_2 . 4) ((u . 2) . 1769472))) (((df b18 u) . 1) ((a18 . 3) ((
c_2 . 1) ((u . 4) . 64))) ((a18 . 2) ((a3 . 1) ((c_2 . 1) ((u . 5) . 2048))) ((
a6 . 1) ((c_2 . 1) ((u . 5) . -2048))) ((c_2 . 2) ((u . 3) . 8704))) ((a18 . 1)
((a3 . 1) ((c_2 . 2) ((u . 4) . -98304))) ((a6 . 1) ((c_2 . 2) ((u . 4) . 98304)
)) ((c_2 . 3) ((u . 2) . -866304))) ((a3 . 1) ((c_2 . 3) ((u . 3) . 1179648))) (
(a6 . 1) ((c_2 . 3) ((u . 3) . -1179648))) ((c_2 . 4) ((u . 1) . 14155776))) (((
df b19 u) . 1) ((a18 . 3) ((c_2 . 1) ((u . 3) . -2160))) ((a18 . 2) ((a3 . 1) ((
c_2 . 1) ((u . 4) . 1920))) ((a6 . 1) ((c_2 . 1) ((u . 4) . -1920))) ((c_2 . 2)
((u . 2) . 58560))) ((a18 . 1) ((a3 . 1) ((c_2 . 2) ((u . 3) . -46080))) ((a6 . 
1) ((c_2 . 2) ((u . 3) . 46080))) ((c_2 . 3) ((u . 1) . -276480)))) ((a18 . 3) (
(b18 . 1) ((c_2 . 1) ((u . 3) . 2336))) ((b19 . 1) ((c_2 . 1) ((u . 2) . -384)))
) ((a18 . 2) ((a3 . 1) ((b18 . 1) ((c_2 . 1) ((u . 4) . 3328))) ((b19 . 1) ((c_2
 . 1) ((u . 3) . 5760)))) ((a6 . 1) ((b18 . 1) ((c_2 . 1) ((u . 4) . -3328))) ((
b19 . 1) ((c_2 . 1) ((u . 3) . -5760)))) ((b18 . 1) ((c_2 . 2) ((u . 2) . -64384
))) ((b19 . 1) ((c_2 . 2) ((u . 1) . 98112)))) ((a18 . 1) ((a3 . 1) ((b18 . 1) (
(c_2 . 2) ((u . 3) . -159744))) ((b19 . 1) ((c_2 . 2) ((u . 2) . -184320)))) ((
a6 . 1) ((b18 . 1) ((c_2 . 2) ((u . 3) . 159744))) ((b19 . 1) ((c_2 . 2) ((u . 2
) . 184320)))) ((b18 . 1) ((c_2 . 3) ((u . 1) . -930816))) ((b19 . 1) ((c_2 . 3)
 . -2433024))) ((a3 . 1) ((b18 . 1) ((c_2 . 3) ((u . 2) . 1916928)))) ((a6 . 1)
((b18 . 1) ((c_2 . 3) ((u . 2) . -1916928)))) ((b18 . 1) ((c_2 . 4) . 25657344))
) . 1) (fac . 2) (pval) (partitioned) (kern (df a18 u) (df b18 u 2) (df b18 u) (
df b19 u) a18 a3 a6 b18 c_2 u b19) (fct_kern_lin) (fct_kern_nli) (fcts b19 b18 
a3 a6 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) ((a3) . 1) ((a6) . 1) ((
a18 u) . 1) ((a18) . 3) ((a18) . 2) ((c_2) . 4) ((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 . 55) (length . 196) (
printlength . 419) (rational b19 b18 a3 a6 a18 c_2) (nonrational) (allvarfcts 
b19 b18 a3 a6 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)
)) (((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) (a3) (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$