off echo$backup_:='
(((list) ("*** 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) 2 ((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 15 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 20 t t (list) 20 4000 15 10 28950662 1061 50 200
50 10 3 t nil nil nil 100 ((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_65 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_1) c_ nil nil 0 nil 10000 t t (b1 b6 b13 b16 b8 b9 
b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) 15 15 reduce 300 nil nil
nil (((((b19 . 1) . 1)) . 1)) (((((((a13 . 1) . 1)) . 1)) (((((a15 . 1) . 1)) . 
1)) (((((a16 . 1) . 1)) . 1)) (((((a18 . 1) . 1)) . 1)) (((((a1 . 1) . 1)) . 1))
(((((a3 . 1) . 1)) . 1)) (((((a6 . 1) . 1)) . 1)) (((((a7 . 1) . 1)) . 1)) (((((
a8 . 1) . 1)) . 1)) (((((a9 . 1) . 1)) . 1)) ((((((df a10 u) . 1) . 1)) . 1)) ((
((((df a19 u) . 1) . 1)) . 1))) ((((((b1 . 1) . 1)) . 1)) ((((((df b8 u) . 1) ((
u . 1) . 2)) ((b6 . 1) ((u . 1) . -3)) ((b8 . 1) . 4) ((b9 . 1) . 3)) . 1)) ((((
(b6 . 1) . 1)) . 1)) (((((b8 . 1) . 1) ((b9 . 1) . 1)) . 1)) (((((b8 . 1) . 1))
 . 1)) (((((b9 . 1) . 1)) . 1)) (((((c_1 . 1) . 1)) . 1))) ((((((a13 . 1) . 1))
 . 1)) (((((a15 . 1) . 1)) . 1)) (((((a16 . 1) . 1)) . 1)) (((((a18 . 1) . 1))
 . 1)) (((((a19 . 1) . 1)) . 1))) ((((((a1 . 1) . 1)) . 1)) (((((a3 . 1) . 1))
 . 1)) (((((a6 . 1) . 1)) . 1)) (((((a7 . 1) . 1)) . 1)) (((((a8 . 1) . 1)) . 1)
) (((((a9 . 1) . 1)) . 1)) (((((a10 . 1) . 1)) . 1)))) nil nil nil nil 28950662
((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_71 
e_72 e_73 e_74 e_75 e_76 e_77 e_78 e_79 e_80 e_81 e_82 e_83 e_84 e_85 e_86 e_87
e_88 e_89 e_90 e_91 e_92 e_93 e_94 e_95 e_96 e_97 e_98 e_99 e_100 e_101 e_102 
e_103 e_104 e_105 e_106 e_107 e_108 e_109 e_110 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_126 e_127 e_128 
e_129 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_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_65 ((sqval (((a10 . 1) ((b18 . 1) . 4)) ((a18 . 1)
((c_1 . 1) . -3)) ((a19 . 1) ((b18 . 1) . -20))) . 1) (fac . 2) (pval) (
partitioned) (kern a10 a18 a19 b18 c_1) (fct_kern_lin) (fct_kern_nli) (fcts b18
a18 a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b18) . 1) ((a18) . 1) ((
a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli (((((a10 . 1) . 4) ((a19 . 1) . -20)) . 1) . b18)) (fct_nli_lin ((((
(a10 . 1) . 4) ((a19 . 1) . -20)) . 1) . b18)) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 3) (length . 6) (printlength . 9) (rational b18 a18 a10 
a19 c_1) (nonrational) (allvarfcts b18 a18 a10 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_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_35 ((sqval (((a10 . 
1) ((b8 . 1) . 1) ((b9 . 1) . 1)) ((a19 . 1) ((b8 . 1) . -1) ((b9 . 1) . -1)) ((
a7 . 1) ((b19 . 1) . -1) ((c_1 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned)
(kern a10 a19 a7 b19 c_1 b8 b9) (fct_kern_lin) (fct_kern_nli) (fcts b8 b9 b19 a7
a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b8) . 1) ((b9) . 1) ((b19)
 . 1) ((a7) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin)
(fcteval_nca) (fcteval_nli (((((a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b8) (((((
a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b9) (((((a7 . 1) . -1)) . 1) . b19)) (
fct_nli_lin (((((a7 . 1) . -1)) . 1) . b19) (((((a10 . 1) . 1) ((a19 . 1) . -1))
 . 1) . b9) (((((a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b8)) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 9) (printlength . 15) (rational
b8 b9 b19 a7 a10 a19 c_1) (nonrational) (allvarfcts b8 b9 b19 a7 a10 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_40 ((sqval (((a10 . 1) ((b8 . 1) . 5)) ((a19 . 1) ((b8 . 1) . -1)) ((a7 . 1) (
(c_1 . 1) . -3)) ((a8 . 1) ((c_1 . 1) . 3)) ((a9 . 1) ((b19 . 1) . -1) ((c_1 . 1
) . -4))) . 1) (fac . 2) (pval) (partitioned) (kern a10 a19 a7 a8 a9 b19 c_1 b8)
(fct_kern_lin) (fct_kern_nli) (fcts b8 b19 a8 a9 a7 a10 a19 c_1) (vars u) (nvars
 . 1) (level) (derivs ((b8) . 1) ((b19) . 1) ((a8) . 1) ((a9) . 1) ((a7) . 1) ((
a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli (((((a10 . 1) . 5) ((a19 . 1) . -1)) . 1) . b8) (((((a9 . 1) . -1))
 . 1) . b19)) (fct_nli_lin (((((a9 . 1) . -1)) . 1) . b19) (((((a10 . 1) . 5) ((
a19 . 1) . -1)) . 1) . b8)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 6
) (length . 11) (printlength . 17) (rational b8 b19 a8 a9 a7 a10 a19 c_1) (
nonrational) (allvarfcts b8 b19 a8 a9 a7 a10 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_39 ((sqval ((((df a19
u) . 1) ((b19 . 1) . 4) ((c_1 . 1) . 4)) (((df b19 u) . 1) ((a10 . 1) . 4) ((a19
 . 1) . -4)) ((a10 . 1) ((b18 . 1) . -4)) ((a18 . 1) ((b19 . 1) . -3)) ((a19 . 1
) ((b18 . 1) . 20))) . 1) (fac . 2) (pval) (partitioned) (kern (df a19 u) (df 
b19 u) a10 a18 a19 b18 b19 c_1) (fct_kern_lin) (fct_kern_nli) (fcts b19 b18 a18
a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b19 u) . 1) ((b19) . 1) ((
b18) . 1) ((a18) . 1) ((a10) . 1) ((a19 u) . 1) ((a19) . 1) ((c_1) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a10 . 1) . -4) ((a19 . 
1) . 20)) . 1) . b18)) (fct_nli_lin (((((a10 . 1) . -4) ((a19 . 1) . 20)) . 1)
 . b18)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 7) (length . 12) (
printlength . 19) (rational b19 b18 a18 a10 a19 c_1) (nonrational) (allvarfcts 
b19 b18 a18 a10 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_41 ((sqval ((((df a10 u) . 1) ((b19 . 1) . 1) ((c_1 . 1)
 . 1)) ((a10 . 1) ((b8 . 1) . -4) ((b9 . 1) . 1)) ((a19 . 1) ((b9 . 1) . -1)) ((
a7 . 1) ((c_1 . 1) . 3)) ((a8 . 1) ((c_1 . 1) . -3)) ((a9 . 1) ((c_1 . 1) . 3)))
 . 1) (fac . 2) (pval) (partitioned) (kern (df a10 u) a10 a19 a7 a8 a9 c_1 b9 b8
b19) (fct_kern_lin) (fct_kern_nli) (fcts b8 b9 b19 a8 a9 a7 a10 a19 c_1) (vars u
) (nvars . 1) (level) (derivs ((b8) . 1) ((b9) . 1) ((b19) . 1) ((a8) . 1) ((a9)
 . 1) ((a7) . 1) ((a10 u) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs)
(fcteval_lin) (fcteval_nca) (fcteval_nli (((((a10 . 1) . -4)) . 1) . b8) (((((
a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b9) ((((((df a10 u) . 1) . 1)) . 1) . b19
)) (fct_nli_lin (((((a10 . 1) . 1) ((a19 . 1) . -1)) . 1) . b9) (((((a10 . 1) . 
-4)) . 1) . b8)) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus ((((((df a10 u) . 1)
 . 1)) . 1) . b19)) (terms . 8) (length . 14) (printlength . 22) (rational b8 b9
b19 a8 a9 a7 a10 a19 c_1) (nonrational) (allvarfcts b8 b9 b19 a8 a9 a7 a10 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_42 ((sqval ((((df b18 u) . 1) ((a10 . 1) ((u . 1) . 16)) ((a19 . 1) ((u . 1)
 . -16))) ((a10 . 1) ((b13 . 1) . -12) ((b16 . 1) ((u . 1) . 24)) ((b18 . 1) . 8
)) ((a13 . 1) ((b19 . 1) . -12) ((c_1 . 1) . -12)) ((a15 . 1) ((b19 . 1) ((u . 1
) . 24)) ((c_1 . 1) ((u . 1) . 24))) ((a18 . 1) ((b19 . 1) . -9)) ((a19 . 1) ((
b13 . 1) . 12) ((b16 . 1) ((u . 1) . -24)) ((b18 . 1) . 40))) . 1) (fac . 2) (
pval) (partitioned) (kern (df b18 u) a10 a13 a15 a18 a19 b13 b16 b18 u b19 c_1)
(fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b19 b18 a13 a15 a18 a10 a19 c_1) (
vars u) (nvars . 1) (level) (derivs ((b13) . 1) ((b16) . 1) ((b19) . 1) ((b18 u)
 . 1) ((b18) . 1) ((a13) . 1) ((a15) . 1) ((a18) . 1) ((a10) . 1) ((a19) . 1) ((
c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli (((((a10 . 1) . 
-12) ((a19 . 1) . 12)) . 1) . b13) (((((a10 . 1) ((u . 1) . 24)) ((a19 . 1) ((u
 . 1) . -24))) . 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) (((((a10 . 1) ((u . 1) . 24)) ((a19 . 1) (
(u . 1) . -24))) . 1) . b16) (((((a10 . 1) . -12) ((a19 . 1) . 12)) . 1) . b13))
(fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 13) (length . 19) (
printlength . 38) (rational b13 b16 b19 b18 a13 a15 a18 a10 a19 c_1) (
nonrational) (allvarfcts b13 b16 b19 b18 a13 a15 a18 a10 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_43 ((sqval ((((df b18
u) . 1) ((a19 . 1) ((u . 1) . 16))) ((a10 . 1) ((b18 . 1) . 24)) ((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)) ((c_1 . 1) . -18)) ((a19 . 1) ((b13 . 1) . -24) ((b16 . 1) ((u . 1
) . 48)) ((b18 . 1) . -16)) ((a7 . 1) ((b18 . 1) ((u . 1) . -4))) ((a8 . 1) ((
b18 . 1) ((u . 1) . 4))) ((a9 . 1) ((b18 . 1) ((u . 1) . -4)))) . 1) (fac . 2) (
pval) (partitioned) (kern (df b18 u) a10 a13 a15 a16 a18 a19 a7 a8 a9 b18 u b13
b16 b19 b8 c_1) (fct_kern_lin) (fct_kern_nli) (fcts b13 b16 b8 b19 b18 a16 a13 
a15 a8 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b13) . 1) (
(b16) . 1) ((b8) . 1) ((b19) . 1) ((b18 u) . 1) ((b18) . 1) ((a16) . 1) ((a13)
 . 1) ((a15) . 1) ((a8) . 1) ((a9) . 1) ((a18) . 1) ((a7) . 1) ((a10) . 1) ((a19
) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 15) (length . 25
) (printlength . 49) (rational b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 
a19 c_1) (nonrational) (allvarfcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 
a10 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_44 ((sqval ((((df b8 u) . 1) ((a10 . 1) ((u . 1) . 16))) ((a1 . 1)
((c_1 . 1) . 24)) ((a10 . 1) ((b1 . 1) . 24) ((b6 . 1) ((u . 1) . -48)) ((b8 . 1
) . -16) ((b9 . 1) . 72)) ((a18 . 1) ((b8 . 1) ((u . 1) . -1))) ((a3 . 1) ((c_1
 . 1) ((u . 1) . -24))) ((a6 . 1) ((c_1 . 1) ((u . 1) . -24))) ((a7 . 1) ((b8 . 
1) ((u . 1) . -4)) ((c_1 . 1) . 12)) ((a8 . 1) ((b8 . 1) ((u . 1) . 4)) ((c_1 . 
1) . -60)) ((a9 . 1) ((b18 . 1) ((u . 1) . -8)) ((b8 . 1) ((u . 1) . -12)) ((c_1
 . 1) . 84))) . 1) (fac . 2) (pval) (partitioned) (kern (df b8 u) a1 a10 a18 a3
a6 a7 a8 a9 b18 b8 c_1 u b1 b6 b9) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b8
b9 b18 a1 a3 a6 a8 a9 a18 a7 a10 c_1) (vars u) (nvars . 1) (level) (derivs ((b1)
 . 1) ((b6) . 1) ((b8 u) . 1) ((b8) . 1) ((b9) . 1) ((b18) . 1) ((a1) . 1) ((a3)
 . 1) ((a6) . 1) ((a8) . 1) ((a9) . 1) ((a18) . 1) ((a7) . 1) ((a10) . 1) ((c_1)
 . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 16) (length . 25) (printlength
 . 50) (rational b1 b6 b8 b9 b18 a1 a3 a6 a8 a9 a18 a7 a10 c_1) (nonrational) (
allvarfcts b1 b6 b8 b9 b18 a1 a3 a6 a8 a9 a18 a7 a10) (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_45 ((sqval (((a1 . 1)
((b19 . 1) . 4) ((c_1 . 1) . 4)) ((a10 . 1) ((b1 . 1) . 4) ((b6 . 1) ((u . 1) . 
-8)) ((b8 . 1) . -44) ((b9 . 1) . -20)) ((a18 . 1) ((b8 . 1) ((u . 1) . -1)) ((
b9 . 1) ((u . 1) . -1))) ((a19 . 1) ((b1 . 1) . -4) ((b6 . 1) ((u . 1) . 8)) ((
b8 . 1) . 12) ((b9 . 1) . 4)) ((a6 . 1) ((b19 . 1) ((u . 1) . -8)) ((c_1 . 1) ((
u . 1) . -8))) ((a7 . 1) ((b18 . 1) ((u . 1) . -8)) ((b8 . 1) ((u . 1) . -4)) ((
b9 . 1) ((u . 1) . 4)) ((c_1 . 1) . 36)) ((a8 . 1) ((b8 . 1) ((u . 1) . -4)) ((
b9 . 1) ((u . 1) . -4)) ((c_1 . 1) . -12)) ((a9 . 1) ((b19 . 1) . 8) ((b8 . 1) (
(u . 1) . 4)) ((b9 . 1) ((u . 1) . 4)) ((c_1 . 1) . 20))) . 1) (fac . 2) (pval)
(partitioned) (kern a1 a10 a18 a19 a6 a7 a8 a9 b19 b8 b9 c_1 u b18 b1 b6) (
fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b8 b9 b19 b18 a1 a6 a8 a9 a18 a7 a10 
a19 c_1) (vars u) (nvars . 1) (level) (derivs ((b1) . 1) ((b6) . 1) ((b8) . 1) (
(b9) . 1) ((b19) . 1) ((b18) . 1) ((a1) . 1) ((a6) . 1) ((a8) . 1) ((a9) . 1) ((
a18) . 1) ((a7) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 25) (length . 33) (printlength . 71) (
rational b1 b6 b8 b9 b19 b18 a1 a6 a8 a9 a18 a7 a10 a19 c_1) (nonrational) (
allvarfcts b1 b6 b8 b9 b19 b18 a1 a6 a8 a9 a18 a7 a10 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_46 ((sqval ((((df a18
u) . 1) ((b19 . 1) ((u . 1) . 3)) ((c_1 . 1) ((u . 1) . 3))) (((df a19 u) . 1) (
(b18 . 1) ((u . 1) . 24)) ((b8 . 1) ((u . 1) . 24)) ((c_1 . 1) . -72)) (((df b18
u) . 1) ((a10 . 1) ((u . 1) . -8)) ((a19 . 1) ((u . 1) . 104))) (((df b19 u) . 1
) ((a10 . 1) . -72) ((a18 . 1) ((u . 1) . -3)) ((a7 . 1) ((u . 1) . 12)) ((a8 . 
1) ((u . 1) . -12)) ((a9 . 1) ((u . 1) . 12))) ((a10 . 1) ((b13 . 1) . 24) ((b16
 . 1) ((u . 1) . -48)) ((b18 . 1) . 152)) ((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)) ((
c_1 . 1) . -60)) ((a19 . 1) ((b13 . 1) . -168) ((b16 . 1) ((u . 1) . 336)) ((b18
 . 1) . -248)) ((a7 . 1) ((b18 . 1) ((u . 1) . -24))) ((a8 . 1) ((b18 . 1) ((u
 . 1) . 24))) ((a9 . 1) ((b18 . 1) ((u . 1) . -24)))) . 1) (fac . 2) (pval) (
partitioned) (kern (df a18 u) (df a19 u) (df b18 u) (df b19 u) a10 a13 a15 a16 
a18 a19 a7 a8 a9 b18 u b13 b16 b19 b8 c_1) (fct_kern_lin) (fct_kern_nli) (fcts 
b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 1) (
level) (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) ((a9) . 1
) ((a18 u) . 1) ((a18) . 1) ((a7) . 1) ((a10) . 1) ((a19 u) . 1) ((a19) . 1) ((
c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 28) (length . 41) (printlength
 . 88) (rational b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (
nonrational) (allvarfcts b13 b16 b8 b19 b18 a16 a13 a15 a8 a9 a18 a7 a10 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_47 ((sqval ((((df a10 u) . 1) ((b18 . 1) ((u . 1) . 4)) ((b19 . 1) . -12) ((b8
 . 1) ((u . 1) . 4)) ((c_1 . 1) . -24)) (((df a7 u) . 1) ((b19 . 1) ((u . 1) . 2
)) ((c_1 . 1) ((u . 1) . 2))) (((df a8 u) . 1) ((b19 . 1) ((u . 1) . -2)) ((c_1
 . 1) ((u . 1) . -2))) (((df a9 u) . 1) ((b19 . 1) ((u . 1) . 2)) ((c_1 . 1) ((u
 . 1) . 2))) (((df b8 u) . 1) ((a10 . 1) ((u . 1) . -20)) ((a19 . 1) ((u . 1) . 
4))) ((a1 . 1) ((c_1 . 1) . -36)) ((a10 . 1) ((b1 . 1) . -28) ((b6 . 1) ((u . 1)
 . 56)) ((b8 . 1) . 70) ((b9 . 1) . -70)) ((a18 . 1) ((b8 . 1) ((u . 1) . 2)) ((
b9 . 1) ((u . 1) . 1))) ((a19 . 1) ((b1 . 1) . 4) ((b6 . 1) ((u . 1) . -8)) ((b8
 . 1) . 2) ((b9 . 1) . 14)) ((a3 . 1) ((c_1 . 1) ((u . 1) . 36))) ((a6 . 1) ((
c_1 . 1) ((u . 1) . 36))) ((a7 . 1) ((b18 . 1) ((u . 1) . 12)) ((b8 . 1) ((u . 1
) . 12)) ((b9 . 1) ((u . 1) . -4)) ((c_1 . 1) . -60)) ((a8 . 1) ((b19 . 1) . -2)
((b9 . 1) ((u . 1) . 4)) ((c_1 . 1) . 94)) ((a9 . 1) ((b18 . 1) ((u . 1) . 4)) (
(b8 . 1) ((u . 1) . 4)) ((b9 . 1) ((u . 1) . -4)) ((c_1 . 1) . -108))) . 1) (fac
 . 2) (pval) (partitioned) (kern (df a10 u) (df a7 u) (df a8 u) (df a9 u) (df b8
u) a1 a10 a18 a19 a3 a6 a7 a8 a9 b18 b8 b9 c_1 u b19 b1 b6) (fct_kern_lin) (
fct_kern_nli) (fcts b1 b6 b8 b9 b19 b18 a1 a3 a6 a8 a9 a18 a7 a10 a19 c_1) (vars
u) (nvars . 1) (level) (derivs ((b1) . 1) ((b6) . 1) ((b8 u) . 1) ((b8) . 1) ((
b9) . 1) ((b19) . 1) ((b18) . 1) ((a1) . 1) ((a3) . 1) ((a6) . 1) ((a8 u) . 1) (
(a8) . 1) ((a9 u) . 1) ((a9) . 1) ((a18) . 1) ((a7 u) . 1) ((a7) . 1) ((a10 u)
 . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 36) (length . 50) (printlength . 109) (rational b1 b6 b8 
b9 b19 b18 a1 a3 a6 a8 a9 a18 a7 a10 a19 c_1) (nonrational) (allvarfcts b1 b6 b8
b9 b19 b18 a1 a3 a6 a8 a9 a18 a7 a10 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_49 ((sqval ((((df a18 u) . 1) ((b18 . 1
) ((u . 2) . 2)) ((b8 . 1) ((u . 2) . 2)) ((c_1 . 1) ((u . 1) . -6))) (((df b18
u) . 1) ((a10 . 1) ((u . 1) . 48)) ((a18 . 1) ((u . 2) . 8)) ((a19 . 1) ((u . 1)
 . -144)) ((a7 . 1) ((u . 2) . -8)) ((a8 . 1) ((u . 2) . 8)) ((a9 . 1) ((u . 2)
 . -8))) (((df b8 u) . 1) ((a18 . 1) ((u . 2) . 6))) ((a1 . 1) ((b18 . 1) ((u . 
1) . 12))) ((a10 . 1) ((b13 . 1) . -72) ((b16 . 1) ((u . 1) . 144)) ((b18 . 1)
 . -96)) ((a13 . 1) ((b18 . 1) ((u . 1) . 68)) ((b19 . 1) . -216) ((b8 . 1) ((u
 . 1) . 8)) ((c_1 . 1) . -24)) ((a15 . 1) ((b18 . 1) ((u . 2) . -76)) ((b19 . 1)
((u . 1) . 216)) ((b8 . 1) ((u . 2) . -16)) ((c_1 . 1) ((u . 1) . 48))) ((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)) ((c_1 . 1) . 84)) ((a19 . 1) ((b13 . 1) . 216
) ((b16 . 1) ((u . 1) . -432)) ((b18 . 1) . 24)) ((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))) (
(a9 . 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 a10 a13 a15 a16 a18 a19 a3 a6 a7 a8 a9 b13 b16 b18 u b1 b19 b6 b8 b9
c_1) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 
a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 1) (level) (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) ((a9) . 1) ((a18 u) . 1) ((a18) . 1) ((a7) . 
1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca)
(fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 
47) (length . 62) (printlength . 165) (rational b1 b6 b13 b16 b8 b9 b19 b18 a1 
a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (nonrational) (allvarfcts b1 b6 b13
b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 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_51 ((sqval ((((df a10
u) . 1) ((b18 . 1) ((u . 1) . 48)) ((b8 . 1) ((u . 1) . 48)) ((c_1 . 1) . -144))
(((df a7 u) . 1) ((b18 . 1) ((u . 2) . -8)) ((b8 . 1) ((u . 2) . -8)) ((c_1 . 1)
((u . 1) . 24))) (((df a8 u) . 1) ((b18 . 1) ((u . 2) . 8)) ((b8 . 1) ((u . 2)
 . 8)) ((c_1 . 1) ((u . 1) . -24))) (((df a9 u) . 1) ((b18 . 1) ((u . 2) . -8))
((b8 . 1) ((u . 2) . -8)) ((c_1 . 1) ((u . 1) . 24))) (((df b18 u) . 1) ((a7 . 1
) ((u . 2) . -16)) ((a9 . 1) ((u . 2) . -8))) (((df b8 u) . 1) ((a10 . 1) ((u . 
1) . -192)) ((a18 . 1) ((u . 2) . -2)) ((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)) ((c_1 . 1) . -384)) ((a10 . 1) ((b1 . 1) . -288) ((b6 . 1
) ((u . 1) . 576)) ((b8 . 1) . 120) ((b9 . 1) . -720)) ((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))) ((a3 . 1) ((b8 . 1) ((u . 2) . 
-36)) ((b9 . 1) ((u . 2) . 24)) ((c_1 . 1) ((u . 1) . 360))) ((a6 . 1) ((b18 . 1
) ((u . 2) . -16)) ((b8 . 1) ((u . 2) . -52)) ((b9 . 1) ((u . 2) . 24)) ((c_1 . 
1) ((u . 1) . 408))) ((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)) ((c_1 . 1) . -120))
((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)) ((c_1 . 1) . 600))
((a9 . 1) ((b13 . 1) ((u . 1) . 12)) ((b16 . 1) ((u . 2) . -24)) ((b18 . 1) ((u
 . 1) . 20)) ((b8 . 1) ((u . 1) . 88)) ((b9 . 1) ((u . 1) . -48)) ((c_1 . 1) . 
-768))) . 1) (fac . 2) (pval) (partitioned) (kern (df a10 u) (df a7 u) (df a8 u)
(df a9 u) (df b18 u) (df b8 u) a1 a10 a13 a15 a16 a18 a3 a6 a7 a8 a9 b13 b16 b18
b8 b9 c_1 u b1 b6) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b18 
a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 c_1) (vars u) (nvars . 1) (level) (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) ((a9 u) . 1) ((a9) . 1) ((a18) . 1) ((a7
u) . 1) ((a7) . 1) ((a10 u) . 1) ((a10) . 1) ((c_1) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 63) (length . 80) (printlength . 223) (
rational b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 c_1) (
nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18
a7 a10) (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_48 ((sqval ((((df a13 u) . 1) ((b19 . 1) ((u . 1) . 12)) ((c_1 . 1)
((u . 1) . 12))) (((df a15 u) . 1) ((b19 . 1) ((u . 2) . -12)) ((c_1 . 1) ((u . 
2) . -12))) (((df a16 u) . 1) ((b19 . 1) ((u . 2) . -12)) ((c_1 . 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)) ((c_1 . 1) . -72)) (((df b13 u) . 1) ((
a10 . 1) ((u . 1) . 12)) ((a19 . 1) ((u . 1) . -12))) (((df b16 u) . 1) ((a10 . 
1) ((u . 2) . -24)) ((a19 . 1) ((u . 2) . 24))) (((df b18 u 2) . 1) ((a10 . 1) (
(u . 2) . -8)) ((a19 . 1) ((u . 2) . 8))) (((df b18 u) . 1) ((a10 . 1) ((u . 1)
 . -132)) ((a18 . 1) ((u . 2) . -4)) ((a19 . 1) ((u . 1) . 164)) ((a7 . 1) ((u
 . 2) . 16)) ((a8 . 1) ((u . 2) . -16)) ((a9 . 1) ((u . 2) . 16))) (((df b19 u)
 . 1) ((a1 . 1) ((u . 1) . 12)) ((a10 . 1) . -72) ((a13 . 1) ((u . 1) . -12)) ((
a15 . 1) ((u . 2) . 12)) ((a16 . 1) ((u . 2) . 12)) ((a3 . 1) ((u . 2) . -12)) (
(a6 . 1) ((u . 2) . -12)) ((a8 . 1) ((u . 1) . -24)) ((a9 . 1) ((u . 1) . 24)))
((a1 . 1) ((b18 . 1) ((u . 1) . -12))) ((a10 . 1) ((b13 . 1) . 96) ((b16 . 1) ((
u . 1) . -216)) ((b18 . 1) . 12)) ((a13 . 1) ((b18 . 1) ((u . 1) . -36)) ((b19
 . 1) . 240) ((b8 . 1) ((u . 1) . -24)) ((c_1 . 1) . 96)) ((a15 . 1) ((b18 . 1)
((u . 2) . 60)) ((b19 . 1) ((u . 1) . -264)) ((b8 . 1) ((u . 2) . 48)) ((c_1 . 1
) ((u . 1) . -192))) ((a16 . 1) ((b18 . 1) ((u . 2) . 12)) ((b19 . 1) ((u . 1)
 . -240)) ((c_1 . 1) ((u . 1) . -24))) ((a18 . 1) ((b13 . 1) ((u . 1) . 3)) ((
b16 . 1) ((u . 2) . -6)) ((b18 . 1) ((u . 1) . -8)) ((b19 . 1) . 18)) ((a19 . 1)
((b13 . 1) . -192) ((b16 . 1) ((u . 1) . 408)) ((b18 . 1) . -68)) ((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))) ((a9 . 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 a10 a13 a15 a16 a18 a19 a3 a6 a7 a8 a9 b13 b16 b18 u b19 c_1 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 a9 a18 a7 a10 a19 c_1) (vars u) (nvars . 1) (level) (
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) ((a9) . 1) ((
a18) . 1) ((a7) . 1) ((a10) . 1) ((a19 u) . 1) ((a19) . 1) ((c_1) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 70) (length . 91) (printlength . 251) (
rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 
c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15
a8 a9 a18 a7 a10 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_50 ((sqval ((((df a1 u) . 1) ((b19 . 1) ((u . 1) . 12))
((c_1 . 1) ((u . 1) . 12))) (((df a10 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)) ((b19 . 1) . -72)
((b6 . 1) ((u . 2) . 24)) ((b8 . 1) ((u . 1) . 8)) ((b9 . 1) ((u . 1) . -36)) ((
c_1 . 1) . -144)) (((df a3 u) . 1) ((b19 . 1) ((u . 2) . -12)) ((c_1 . 1) ((u . 
2) . -12))) (((df a6 u) . 1) ((b19 . 1) ((u . 2) . -12)) ((c_1 . 1) ((u . 2) . 
-12))) (((df a8 u) . 1) ((b19 . 1) ((u . 1) . -24)) ((c_1 . 1) ((u . 1) . -24)))
(((df a9 u) . 1) ((b19 . 1) ((u . 1) . 24)) ((c_1 . 1) ((u . 1) . 24))) (((df b1
u) . 1) ((a10 . 1) ((u . 1) . 12)) ((a19 . 1) ((u . 1) . -12))) (((df b18 u) . 1
) ((a7 . 1) ((u . 2) . -24))) (((df b6 u) . 1) ((a10 . 1) ((u . 2) . -24)) ((a19
 . 1) ((u . 2) . 24))) (((df b8 u 2) . 1) ((a10 . 1) ((u . 2) . 8)) ((a19 . 1) (
(u . 2) . -8))) (((df b8 u) . 1) ((a10 . 1) ((u . 1) . -88)) ((a19 . 1) ((u . 1)
 . -8)) ((a7 . 1) ((u . 2) . -24))) (((df b9 u) . 1) ((a10 . 1) ((u . 1) . 36))
((a19 . 1) ((u . 1) . -36))) ((a1 . 1) ((b18 . 1) ((u . 1) . 24)) ((b8 . 1) ((u
 . 1) . 12)) ((b9 . 1) ((u . 1) . -24)) ((c_1 . 1) . -288)) ((a10 . 1) ((b1 . 1)
 . -240) ((b6 . 1) ((u . 1) . 456)) ((b8 . 1) . 448) ((b9 . 1) . -324)) ((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) . 48) ((b6 . 1) ((u . 1) . -72)) ((b8 . 1) . 8) ((b9 . 1) . 84)) ((a3 . 1)
((b19 . 1) ((u . 1) . -24)) ((b8 . 1) ((u . 2) . 12)) ((b9 . 1) ((u . 2) . 24))
((c_1 . 1) ((u . 1) . 192))) ((a6 . 1) ((b18 . 1) ((u . 2) . -48)) ((b8 . 1) ((u
 . 2) . -36)) ((b9 . 1) ((u . 2) . 24)) ((c_1 . 1) ((u . 1) . 360))) ((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)) ((c_1 . 1) . -432)) ((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)) ((c_1 . 1) . 480)) ((a9 . 1) ((b1 . 1) ((u . 1) . 12)) ((
b18 . 1) ((u . 1) . 48)) ((b6 . 1) ((u . 2) . -24)) ((b8 . 1) ((u . 1) . 12)) ((
b9 . 1) ((u . 1) . -60)) ((c_1 . 1) . -648))) . 1) (fac . 2) (pval) (partitioned
) (kern (df a1 u) (df a10 u) (df a3 u) (df a6 u) (df a8 u) (df a9 u) (df b1 u) (
df b18 u) (df b6 u) (df b8 u 2) (df b8 u) (df b9 u) a1 a10 a13 a15 a16 a18 a19 
a3 a6 a7 a8 a9 b1 b18 b6 b8 b9 c_1 u b19 b13 b16) (fct_kern_lin) (fct_kern_nli)
(fcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1)
(vars u) (nvars . 1) (level) (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) ((a9 u) . 1) ((a9) . 1) ((a18) . 1) ((a7) . 1) ((a10 u)
 . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 83) (length . 107) (printlength . 288) (rational b1 b6 b13
b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (nonrational) (
allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 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_53 ((sqval ((((df a13 u) . 1) ((b18 . 1) ((u . 2) . 24)) ((b8 . 1) ((u . 2) . 
24)) ((c_1 . 1) ((u . 1) . -72))) (((df a15 u) . 1) ((b18 . 1) ((u . 3) . -24))
((b8 . 1) ((u . 3) . -24)) ((c_1 . 1) ((u . 2) . 72))) (((df a16 u) . 1) ((b18
 . 1) ((u . 3) . -24)) ((b8 . 1) ((u . 3) . -24)) ((c_1 . 1) ((u . 2) . 72))) ((
(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)) ((c_1 . 1) ((u . 1) . -18))) (((df b13 u) . 1) ((a10 . 
1) ((u . 1) . -72)) ((a18 . 1) ((u . 2) . -3)) ((a7 . 1) ((u . 2) . 12)) ((a8 . 
1) ((u . 2) . -12)) ((a9 . 1) ((u . 2) . 12))) (((df b16 u) . 1) ((a10 . 1) ((u
 . 2) . 144)) ((a18 . 1) ((u . 3) . 6)) ((a7 . 1) ((u . 3) . -24)) ((a8 . 1) ((u
 . 3) . 24)) ((a9 . 1) ((u . 3) . -24))) (((df b18 u 2) . 1) ((a10 . 1) ((u . 2)
 . 48)) ((a18 . 1) ((u . 3) . 2)) ((a7 . 1) ((u . 3) . -8)) ((a8 . 1) ((u . 3)
 . 8)) ((a9 . 1) ((u . 3) . -8))) (((df b18 u) . 1) ((a1 . 1) ((u . 2) . -56)) (
(a10 . 1) ((u . 1) . 648)) ((a13 . 1) ((u . 2) . -16)) ((a15 . 1) ((u . 3) . 40)
) ((a16 . 1) ((u . 3) . -8)) ((a18 . 1) ((u . 2) . 49)) ((a19 . 1) ((u . 1) . 
-576)) ((a3 . 1) ((u . 3) . 56)) ((a6 . 1) ((u . 3) . 56)) ((a7 . 1) ((u . 2) . 
-52)) ((a8 . 1) ((u . 2) . 164)) ((a9 . 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))) ((a10 . 1) ((b13 . 1) . -576) ((b16 . 1) ((u . 1) . 1296)) ((b18
 . 1) . 72)) ((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)) ((c_1
 . 1) . -432)) ((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)) ((c_1 . 1) ((u . 1) . 864))) ((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)) ((c_1 . 1) ((u . 1) . 144))) ((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)) ((c_1 . 1) . 144)) ((a19 . 1) ((b13 . 1) . 
864) ((b16 . 1) ((u . 1) . -1728)) ((b18 . 1) . -144)) ((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))) ((a9 . 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 a10 a13 a15 a16 a18 a19 a3 a6 a7 a8
a9 b13 b16 b18 u b1 b19 b6 b8 b9 c_1) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6
b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 c_1) (vars u) (
nvars . 1) (level) (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) ((a9)
 . 1) ((a18 u) . 1) ((a18) . 1) ((a7) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1))
(no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca
) (fct_nli_nli) (fct_nli_nus) (terms . 106) (length . 127) (printlength . 426) (
rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 a19 
c_1) (nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15
a8 a9 a18 a7 a10 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_52 ((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)) ((c_1 . 1) ((u
 . 1) . 36))) (((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)) ((c_1 . 1) ((u . 2) . -36))) (((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)) ((c_1 . 1) ((u . 2) . -36))) (((df b13 u) . 1) ((a1 . 1
) ((u . 2) . -6)) ((a10 . 1) ((u . 1) . 36)) ((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)) ((a9 . 1) ((u . 2) . -12))) (((df b16 u
) . 1) ((a1 . 1) ((u . 3) . 12)) ((a10 . 1) ((u . 2) . -72)) ((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)) ((a9 . 1) ((u . 
3) . 24))) (((df b18 u 2) . 1) ((a1 . 1) ((u . 3) . 4)) ((a10 . 1) ((u . 2) . 
-24)) ((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)) ((a9 . 1) ((u . 3) . 8))) (((df b18 u) . 1) ((a1 . 1) ((u . 2) . 34)) ((a10
 . 1) ((u . 1) . -204)) ((a13 . 1) ((u . 2) . -10)) ((a15 . 1) ((u . 3) . -6)) (
(a16 . 1) ((u . 3) . 18)) ((a18 . 1) ((u . 2) . -6)) ((a19 . 1) ((u . 1) . 96))
((a3 . 1) ((u . 3) . -34)) ((a6 . 1) ((u . 3) . -34)) ((a8 . 1) ((u . 2) . -68))
((a9 . 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))) ((a10 . 1) ((b13 . 
1) . 144) ((b16 . 1) ((u . 1) . -360)) ((b18 . 1) . -84)) ((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)) ((c_1 . 1) . 144)) ((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)) ((c_1 . 1) ((u . 1) . -288))) ((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)) ((c_1 . 1) ((u
 . 1) . -72))) ((a18 . 1) ((b13 . 1) ((u . 1) . 9)) ((b16 . 1) ((u . 2) . -18))
((b18 . 1) ((u . 1) . -3))) ((a19 . 1) ((b13 . 1) . -144) ((b16 . 1) ((u . 1) . 
288)) ((b18 . 1) . 48)) ((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))) ((a9 . 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 a10 a13 a15 a16 a18 
a19 a3 a6 a8 a9 b13 b16 b18 u b1 b19 b6 b8 b9 c_1) (fct_kern_lin) (fct_kern_nli)
(fcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a10 a19 c_1) (
vars u) (nvars . 1) (level) (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) ((a9) . 1) ((a18) . 1) ((a10) . 1) ((a19) . 1) ((c_1) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 122) (length . 141) (printlength . 542) (
rational b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a10 a19 c_1)
(nonrational) (allvarfcts b1 b6 b13 b16 b8 b9 b19 b18 a1 a3 a6 a16 a13 a15 a8 a9
a18 a10 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_55 ((sqval ((((df a1 u) . 1) ((b18 . 1) ((u . 2) . 24)) ((b8 . 1) (
(u . 2) . 24)) ((c_1 . 1) ((u . 1) . -72))) (((df a10 u) . 1) (((df b18 u) . 1)
((u . 2) . 48)) (((df b8 u) . 1) ((u . 2) . 48)) ((b1 . 1) ((u . 1) . 72)) ((b13
 . 1) ((u . 1) . -72)) ((b16 . 1) ((u . 2) . 144)) ((b18 . 1) ((u . 1) . -120))
((b6 . 1) ((u . 2) . -144)) ((b8 . 1) ((u . 1) . -192)) ((b9 . 1) ((u . 1) . 216
)) ((c_1 . 1) . 864)) (((df a3 u) . 1) ((b18 . 1) ((u . 3) . -24)) ((b8 . 1) ((u
 . 3) . -24)) ((c_1 . 1) ((u . 2) . 72))) (((df a6 u) . 1) ((b18 . 1) ((u . 3)
 . -24)) ((b8 . 1) ((u . 3) . -24)) ((c_1 . 1) ((u . 2) . 72))) (((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)) ((c_1 . 1) ((u . 1) . -72))) (((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)) ((
c_1 . 1) ((u . 1) . 216))) (((df a9 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)) ((c_1 . 1) ((u . 1)
 . -216))) (((df b1 u) . 1) ((a10 . 1) ((u . 1) . -72)) ((a18 . 1) ((u . 2) . -3
)) ((a7 . 1) ((u . 2) . 12)) ((a8 . 1) ((u . 2) . -12)) ((a9 . 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)) ((a9 . 1) ((u . 2) . 64))) (((df
b6 u) . 1) ((a10 . 1) ((u . 2) . 144)) ((a18 . 1) ((u . 3) . 6)) ((a7 . 1) ((u
 . 3) . -24)) ((a8 . 1) ((u . 3) . 24)) ((a9 . 1) ((u . 3) . -24))) (((df b8 u 2
) . 1) ((a10 . 1) ((u . 2) . -48)) ((a18 . 1) ((u . 3) . -2)) ((a7 . 1) ((u . 3)
 . 8)) ((a8 . 1) ((u . 3) . -8)) ((a9 . 1) ((u . 3) . 8))) (((df b8 u) . 1) ((a1
 . 1) ((u . 2) . 48)) ((a10 . 1) ((u . 1) . 672)) ((a13 . 1) ((u . 2) . 24)) ((
a15 . 1) ((u . 3) . -24)) ((a16 . 1) ((u . 3) . -24)) ((a18 . 1) ((u . 2) . -2))
((a3 . 1) ((u . 3) . -24)) ((a6 . 1) ((u . 3) . -72)) ((a7 . 1) ((u . 2) . 72))
((a9 . 1) ((u . 2) . 72))) (((df b9 u) . 1) ((a10 . 1) ((u . 1) . -216)) ((a18
 . 1) ((u . 2) . -9)) ((a7 . 1) ((u . 2) . 36)) ((a8 . 1) ((u . 2) . -36)) ((a9
 . 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)) ((c_1 . 1) . 
2016)) ((a10 . 1) ((b1 . 1) . 1440) ((b6 . 1) ((u . 1) . -2736)) ((b8 . 1) . 
-312) ((b9 . 1) . 3168)) ((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))) ((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)) ((c_1 . 1) ((u . 1) . -1584))) ((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)) ((c_1 . 1) ((u . 1) . -2304))) ((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)
) ((c_1 . 1) . 360)) ((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)) ((c_1 . 1) . 
-2448)) ((a9 . 1) ((b1 . 1) ((u . 1) . 12)) ((b13 . 1) ((u . 1) . -96)) ((b16 . 
1) ((u . 2) . 192)) ((b18 . 1) ((u . 1) . -16)) ((b6 . 1) ((u . 2) . -48)) ((b8
 . 1) ((u . 1) . -372)) ((b9 . 1) ((u . 1) . 408)) ((c_1 . 1) . 3384))) . 1) (
fac . 2) (pval) (partitioned) (kern (df a1 u) (df a10 u) (df a3 u) (df a6 u) (df
a7 u) (df a8 u) (df a9 u) (df b1 u) (df b18 u) (df b6 u) (df b8 u 2) (df b8 u) (
df b9 u) a1 a10 a13 a15 a16 a18 a3 a6 a7 a8 a9 b1 b13 b16 b18 b6 b8 b9 c_1 u) (
fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15
a8 a9 a18 a7 a10 c_1) (vars u) (nvars . 1) (level) (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) ((a9 u) . 1) ((a9) . 1) ((a18) . 1) ((a7 u) . 
1) ((a7) . 1) ((a10 u) . 1) ((a10) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 150) (length . 174) (printlength . 601) (rational b1 b6 
b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10 c_1) (nonrational) (
allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a18 a7 a10) (
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_54 ((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)) ((c_1 . 1) ((u . 1) . 18))) (((df a10 u)
 . 1) (((df b18 u) . 1) ((u . 2) . -12)) (((df b8 u) . 1) ((u . 2) . -12)) ((b1
 . 1) ((u . 1) . -18)) ((b13 . 1) ((u . 1) . 18)) ((b16 . 1) ((u . 2) . -36)) ((
b18 . 1) ((u . 1) . -6)) ((b6 . 1) ((u . 2) . 36)) ((b8 . 1) ((u . 1) . 12)) ((
b9 . 1) ((u . 1) . -54)) ((c_1 . 1) . -108)) (((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)) ((c_1 . 
1) ((u . 2) . -18))) (((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)) ((c_1 . 1) ((u . 2) . -18))) ((
(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)) ((c_1 . 1) ((u . 1) . -36))) (((df a9 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
)) ((c_1 . 1) ((u . 1) . 36))) (((df b1 u) . 1) ((a1 . 1) ((u . 2) . -3)) ((a10
 . 1) ((u . 1) . 18)) ((a13 . 1) ((u . 2) . 3)) ((a15 . 1) ((u . 3) . -3)) ((a16
 . 1) ((u . 3) . -3)) ((a3 . 1) ((u . 3) . 3)) ((a6 . 1) ((u . 3) . 3)) ((a8 . 1
) ((u . 2) . 6)) ((a9 . 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)) ((a9 . 1) ((u . 2) . -8))) (((df b6 u) . 1) ((a1
 . 1) ((u . 3) . 6)) ((a10 . 1) ((u . 2) . -36)) ((a13 . 1) ((u . 3) . -6)) ((
a15 . 1) ((u . 4) . 6)) ((a16 . 1) ((u . 4) . 6)) ((a3 . 1) ((u . 4) . -6)) ((a6
 . 1) ((u . 4) . -6)) ((a8 . 1) ((u . 3) . -12)) ((a9 . 1) ((u . 3) . 12))) (((
df b8 u 2) . 1) ((a1 . 1) ((u . 3) . -2)) ((a10 . 1) ((u . 2) . 12)) ((a13 . 1)
((u . 3) . 2)) ((a15 . 1) ((u . 4) . -2)) ((a16 . 1) ((u . 4) . -2)) ((a3 . 1) (
(u . 4) . 2)) ((a6 . 1) ((u . 4) . 2)) ((a8 . 1) ((u . 3) . 4)) ((a9 . 1) ((u . 
3) . -4))) (((df b8 u) . 1) ((a1 . 1) ((u . 2) . -18)) ((a10 . 1) ((u . 1) . -36
)) ((a13 . 1) ((u . 2) . 2)) ((a15 . 1) ((u . 3) . -2)) ((a16 . 1) ((u . 3) . -2
)) ((a3 . 1) ((u . 3) . 10)) ((a6 . 1) ((u . 3) . 22)) ((a8 . 1) ((u . 2) . 12))
((a9 . 1) ((u . 2) . -24))) (((df b9 u) . 1) ((a1 . 1) ((u . 2) . -9)) ((a10 . 1
) ((u . 1) . 54)) ((a13 . 1) ((u . 2) . 9)) ((a15 . 1) ((u . 3) . -9)) ((a16 . 1
) ((u . 3) . -9)) ((a3 . 1) ((u . 3) . 9)) ((a6 . 1) ((u . 3) . 9)) ((a8 . 1) ((
u . 2) . 18)) ((a9 . 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)) (
(c_1 . 1) . -216)) ((a10 . 1) ((b1 . 1) . -144) ((b6 . 1) ((u . 1) . 252)) ((b9
 . 1) . -306)) ((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))) ((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)) ((c_1 . 1) ((u . 1) . 
144))) ((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)) ((c_1 . 1) ((u . 1) . 252))) ((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)) ((c_1 . 1) . 216)) ((a9 . 1) ((b1 . 1)
((u . 1) . -6)) ((b13 . 1) ((u . 1) . 12)) ((b16 . 1) ((u . 2) . -24)) ((b18 . 1
) ((u . 1) . -4)) ((b6 . 1) ((u . 2) . 24)) ((b8 . 1) ((u . 1) . 36)) ((b9 . 1)
((u . 1) . -60)) ((c_1 . 1) . -324))) . 1) (fac . 2) (pval) (partitioned) (kern
(df a1 u) (df a10 u) (df a3 u) (df a6 u) (df a8 u) (df a9 u) (df b1 u) (df b18 u
) (df b6 u) (df b8 u 2) (df b8 u) (df b9 u) a1 a10 a13 a15 a16 a3 a6 a7 a8 a9 b1
b13 b16 b18 b6 b8 b9 c_1 u) (fct_kern_lin) (fct_kern_nli) (fcts b1 b6 b13 b16 b8
b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a7 a10 c_1) (vars u) (nvars . 1) (level) (
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) ((a9 u) . 1) ((a9)
 . 1) ((a7) . 1) ((a10 u) . 1) ((a10) . 1) ((c_1) . 1)) (no_derivs) (fcteval_lin
) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 168) (length . 190) (printlength . 730) (rational b1 b6 
b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a7 a10 c_1) (nonrational) (
allvarfcts b1 b6 b13 b16 b8 b9 b18 a1 a3 a6 a16 a13 a15 a8 a9 a7 a10) (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 ((((c_1 . 1) . -1)) . 1)) c_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) (a9) ((equal a17 (((
(a18 . 1) . 3)) . 4)) a18) (a18) (a7) (a10) (a19) ((equal a20 (nil . 1)))) nil)
$
end$