off echo$backup_:='
(((list) nil 0 (1 1 1 1 1) 1 nil nil 93 nil) (nil t nil nil t nil (to_eval 
to_fullint to_int to_sep to_gensep to_casesep to_decoup to_diff to_under 
to_symbol) nil -1 t t (list) 20 4000 15 10 28950662 nil 50 200 50 10 3 t nil nil
nil 100 ((e_26 u!`2 u!`1 u x t) (e_30 u!`2 u!`1 u x t) (e_24 u!`2 u!`1 u x t) (
e_22 u!`2 u!`1 u x t) (e_12 u!`2 u!`1 u x t) (e_16 u!`2 u!`1 u x t) (e_15 u!`2 
u!`1 u x t) (e_18 u!`2 u!`1 u x t) (e_14 u!`2 u!`1 u x t) (q_1_ x t u u!`1 u!`2)
(q_1 x t u u!`1 u!`2) (u_ x t)) "http://lie.math.brocku.ca/crack/src" nil nil 
nil 0 e_ nil "" nil nil 1000 (q_1) c_ nil nil 0 nil 10000 t t (q_1 p) 15 15 
reduce 300 nil nil nil (((((p . 1) . 1) . 2) . 1) ((((p . 1) . 3) . 4) . 1) ((((
p . 1) . 1) . 4) . 1) (((((expt u p) . 1) ((u!`2 . 2) . 9)) ((u!`1 . 2) . 1)) . 
1) (((((expt u p) . 1) ((u!`2 . 2) . 3)) ((u!`1 . 2) . 1)) . 1) ((((p . 1) . 1))
 . 1)) ((((((((df q_1 u!`1) . 1) . 1)) . 1)) ((((((df q_1 u!`2) . 1) . 1)) . 1))
)) nil nil nil nil 28950662 ((27 92 84 17 (df q_1 u!`1) 84 2) (27 91 11 17 (df 
q_1 u!`1) 11 2) (27 88 84 192 (df q_1 t 2 u) 192 2) (27 87 84 264 (df q_1 t 2 
u!`1) 264 2) (27 86 11 188 (df q_1 u u!`2) 188 2) (27 85 11 160 (df q_1 u!`1 u!`2
) 160 2) (27 75 84 124 (df q_1 t 2) 124 2) (27 72 97 84 (df q_1 t 2) 97 2) (27 
69 97 208 (df q_1 u x 2) 208 2) (27 68 97 299 (df q_1 u!`1 x 2) 299 2) (27 67 11
251 (df q_1 u u!`2) 251 2) (27 66 11 219 (df q_1 u!`1 u!`2) 219 2) (27 65 11 208
(df q_1 t 2 u!`2) 208 2) (27 57 89 102 (df q_1 t u!`1) 89 2) (27 56 89 467 (df 
q_1 t u u!`1) 467 2) (27 55 89 642 (df q_1 t u!`1 2) 642 2) (27 54 11 574 (df 
q_1 u u!`2) 574 2) (27 53 11 487 (df q_1 u!`1 u!`2) 487 2) (27 52 11 459 (df q_1
t 2 u!`2) 459 2) (27 51 11 383 (df q_1 u!`2 x 2) 383 2) (27 50 11 382 (df q_1 t
u u!`2) 382 2) (27 48 89 332 (df q_1 t u!`1) 332 2) (27 47 89 203 (df q_1 t u!`1
) 203 2) (27 46 89 96 (df q_1 t u!`1) 96 2) (27 44 96 130 (df q_1 u!`1 x) 130 2)
(27 43 96 519 (df q_1 u u!`1 x) 519 2) (27 42 96 689 (df q_1 u!`1 2 x) 689 2) (
27 41 11 655 (df q_1 u u!`2) 655 2) (27 40 11 613 (df q_1 u!`1 u!`2) 613 2) (27
39 11 597 (df q_1 t 2 u!`2) 597 2) (27 38 11 579 (df q_1 u!`2 x 2) 579 2) (27 37
11 567 (df q_1 t u u!`2) 567 2) (27 36 11 493 (df q_1 u u!`2 x) 493 2) (27 35 11
465 (df q_1 t u!`1 u!`2) 465 2) (27 27 145 337 (df q_1 u 2) 337 2) (27 18 88 187
(df q_1 u!`1 2) 88 2) (27 17 32 74 (df q_1 u u!`1) 32 2) (27 16 51 74 (df q_1 u
u!`1) 51 2) (27 15 41 51 (df q_1 u!`1 2) 41 2) (27 14 11 91 (df q_1 u!`2) 91 2)
(27 13 11 91 (df q_1 u!`2 x) 91 2) (27 12 11 95 (df q_1 u u!`2) 95 2) (27 11 11
47 (df q_1 t u!`2) 47 2) (27 10 11 30 (df q_1 u!`2 x) 30 2) (27 9 11 27 (df q_1
u u!`2) 27 2) (27 8 11 27 (df q_1 u!`1 u!`2) 27 2) (27 7 11 25 (df q_1 u u!`2) 
25 2) (27 6 11 22 (df q_1 u!`1 u!`2) 22 2) (27 5 5 11 (df q_1 u!`2 2) 5 2) (27 4
11 23 (df q_1 u u!`2) 23 2) (27 3 23 31 (df q_1 u u!`2) 31 2)) 1.0 1.0 nil t nil
t 6 100000000000000000 20 15 100 1 10 1 30 40 10 5 1000000 20 10 10 59 nil 100 
nil nil t 12 nil nil (to_do separation subst_level_0 subst_level_03 
quick_integration find_factorization factorize_to_substitute factorize_any 
subst_derivative subst_level_1 full_integration subst_level_3 subst_level_2 
subst_level_33 subst_level_35 subst_level_4 gen_separation case_separation 
integration diff_length_reduction decoupling undetlinode add_diff_ise 
try_other_ordering alg_solve_single undo_subst_derivative) "no_of_processes" nil
nil nil ((e_33 e_34 e_35 e_36 e_37 e_38 e_39 e_40 e_41 e_42 e_29 e_32 e_31 e_47
e_48 e_49 e_50 e_51 e_52 e_53 e_43 e_54 e_28 e_44) e_25 e_4 e_8 e_23 e_27 e_20 
e_21 e_19 e_5 e_1 e_57 e_58 e_56 e_17 e_2 e_55 e_9 e_13 e_11 e_10 e_6 e_3 e_7 
e_46 e_45) nil nil nil t "bu868018-" nil nil nil nil nil 2 8 1000 20 1000 nil 
1000 10000 1000 nil nil nil nil nil nil nil nil nil nil nil nil nil nil (list) (
u!`2 u!`1 u x t)) ((e_26 ((sqval ((((df q_1 t 2) . 1) ((p . 1) . 1) . -4)) . 1)
(fac ((((p . 1) . 1) . -4) . 1) (((((df q_1 t 2) . 1) . 1)) . 1)) (pval) (
partitioned) (kern (df q_1 t 2) p) (fct_kern_lin) (fct_kern_nli) (fcts q_1 p) (
vars u!`2 u!`1 u x t) (nvars . 5) (level 1 1 1 1 1) (derivs ((q_1 t 2) . 1) ((p)
 . 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
 . 4) (rational q_1 p) (nonrational) (allvarfcts q_1) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg) (split_test . 0) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_30 ((sqval ((((df 
q_1 u) . 1) (((expt u p) . 1) ((u . 1) ((u!`2 . 2) . 3))) ((u . 1) ((u!`1 . 2)
 . 1))) (((df q_1 u!`2) . 1) (((expt u p) . 1) ((p . 1) ((u!`2 . 3) . -2))))) . 
1) (fac . 2) (pval plus (times 3 (expt u p) (df q_1 u) u (expt u!`2 2)) (times (
df q_1 u) u (expt u!`1 2)) (minus (times 2 (expt u p) (df q_1 u!`2) p (expt u!`2
3)))) (partitioned) (kern (df q_1 u) (df q_1 u!`2) (expt u p) p u!`2 u u!`1) (
fct_kern_lin) (fct_kern_nli) (fcts q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (
level 1 1 1 1 1) (derivs ((q_1 u!`2) . 1) ((q_1 u) . 1) ((p) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 5) (printlength . 17) (rational
q_1) (nonrational p) (allvarfcts q_1) (starde) (dec_with) (dec_with_rl (0 e_22 
e_12 e_16 e_15 e_18 e_24 e_14 e_4)) (rl_with) (hom_deg) (split_test) (linear_) (
histry_)) (to_symbol to_under to_diff to_decoup)) (e_14 ((sqval ((((df q_1 u) . 
1) (((expt u p) . 1) ((p . 3) ((u . 1) ((u!`2 . 2) . 1))) ((p . 2) ((u . 1) ((
u!`2 . 2) . 10))) ((p . 1) ((u . 1) ((u!`2 . 2) . 32))) ((u . 1) ((u!`2 . 2) . 
32))) ((p . 3) ((u . 1) ((u!`1 . 2) . 3))) ((p . 2) ((u . 1) ((u!`1 . 2) . 30)))
((p . 1) ((u . 1) ((u!`1 . 2) . 96))) ((u . 1) ((u!`1 . 2) . 96))) (((df q_1 u!`1
) . 1) (((expt u p) . 1) ((p . 4) ((u!`1 . 1) ((u!`2 . 2) . 2))) ((p . 3) ((u!`1
 . 1) ((u!`2 . 2) . 20))) ((p . 2) ((u!`1 . 1) ((u!`2 . 2) . 64))) ((p . 1) ((
u!`1 . 1) ((u!`2 . 2) . 64))))) (((df q_1 x 2) . 1) (((expt u p) . 1) ((p . 2) (
(u . 2) . -60)) ((p . 1) ((u . 2) . -48))))) . 1) (fac . 2) (pval plus (times (
expt u p) (df q_1 u) (expt p 3) u (expt u!`2 2)) (times 10 (expt u p) (df q_1 u)
(expt p 2) u (expt u!`2 2)) (times 32 (expt u p) (df q_1 u) p u (expt u!`2 2)) (
times 32 (expt u p) (df q_1 u) u (expt u!`2 2)) (times 3 (df q_1 u) (expt p 3) u
(expt u!`1 2)) (times 30 (df q_1 u) (expt p 2) u (expt u!`1 2)) (times 96 (df 
q_1 u) p u (expt u!`1 2)) (times 96 (df q_1 u) u (expt u!`1 2)) (times 2 (expt u
p) (df q_1 u!`1) (expt p 4) u!`1 (expt u!`2 2)) (times 20 (expt u p) (df q_1 u!`1
) (expt p 3) u!`1 (expt u!`2 2)) (times 64 (expt u p) (df q_1 u!`1) (expt p 2) 
u!`1 (expt u!`2 2)) (times 64 (expt u p) (df q_1 u!`1) p u!`1 (expt u!`2 2)) (
minus (times 60 (expt u p) (df q_1 x 2) (expt p 2) (expt u 2))) (minus (times 48
(expt u p) (df q_1 x 2) p (expt u 2)))) (partitioned) (kern (df q_1 u) (df q_1 
u!`1) (df q_1 x 2) (expt u p) p u u!`1 u!`2) (fct_kern_lin) (fct_kern_nli) (fcts
q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (level 1 1 1 1) (derivs ((q_1 x 2) . 1
) ((q_1 u!`1) . 1) ((q_1 u) . 1) ((p) . 4) ((p) . 3) ((p) . 2)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 14) (length . 31) (printlength . 85) (
rational q_1) (nonrational p) (allvarfcts q_1) (starde) (dec_with) (dec_with_rl
(0 e_30 e_27 e_20 e_21 e_19 e_22 e_12 e_16 e_15 e_18 e_5 e_1 e_57 e_58 e_56 e_4
e_8)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under
to_diff to_decoup)) (e_24 ((sqval ((((df q_1 u) . 1) (((expt u p) . 1) ((u . 1)
((u!`2 . 2) . 1))) ((u . 1) ((u!`1 . 2) . 3))) (((df q_1 u!`1) . 1) (((expt u p)
 . 1) ((p . 1) ((u!`1 . 1) ((u!`2 . 2) . 2)))))) . 1) (fac . 2) (pval plus (
times (expt u p) (df q_1 u) u (expt u!`2 2)) (times 3 (df q_1 u) u (expt u!`1 2)
) (times 2 (expt u p) (df q_1 u!`1) p u!`1 (expt u!`2 2))) (partitioned) (kern (
df q_1 u) (df q_1 u!`1) (expt u p) p u!`1 u!`2 u) (fct_kern_lin) (fct_kern_nli)
(fcts q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (level 1 1 1 1 1) (derivs ((q_1
u!`1) . 1) ((q_1 u) . 1) ((p) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3)
(length . 5) (printlength . 17) (rational q_1) (nonrational p) (allvarfcts q_1)
(starde) (dec_with) (dec_with_rl (0 e_30)) (rl_with) (hom_deg) (split_test) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup)) (e_18 ((sqval ((((df
q_1 t u) . 1) ((p . 2) ((u . 2) ((u!`1 . 1) . 40))) ((p . 1) ((u . 2) ((u!`1 . 1
) . 32)))) (((df q_1 t u!`1) . 1) (((expt u p) . 1) ((p . 3) ((u . 1) ((u!`2 . 2
) . 15))) ((p . 2) ((u . 1) ((u!`2 . 2) . 12)))) ((p . 3) ((u . 1) ((u!`1 . 2)
 . 5))) ((p . 2) ((u . 1) ((u!`1 . 2) . 4)))) (((df q_1 u) . 1) (((expt u p) . 1
) ((p . 3) ((u . 1) ((u!`2 . 2) . -36))) ((p . 2) ((u . 1) ((u!`2 . 2) . -168)))
((p . 1) ((u . 1) ((u!`2 . 2) . -256))) ((u . 1) ((u!`2 . 2) . -128))) ((p . 3)
((u . 1) ((u!`1 . 2) . -108))) ((p . 2) ((u . 1) ((u!`1 . 2) . -504))) ((p . 1)
((u . 1) ((u!`1 . 2) . -768))) ((u . 1) ((u!`1 . 2) . -384))) (((df q_1 u!`1) . 
1) (((expt u p) . 1) ((p . 4) ((u!`1 . 1) ((u!`2 . 2) . -72))) ((p . 3) ((u!`1
 . 1) ((u!`2 . 2) . -336))) ((p . 2) ((u!`1 . 1) ((u!`2 . 2) . -512))) ((p . 1)
((u!`1 . 1) ((u!`2 . 2) . -256)))))) . 1) (fac . 2) (pval plus (times 40 (df q_1
t u) (expt p 2) (expt u 2) u!`1) (times 32 (df q_1 t u) p (expt u 2) u!`1) (
times 15 (expt u p) (df q_1 t u!`1) (expt p 3) u (expt u!`2 2)) (times 12 (expt
u p) (df q_1 t u!`1) (expt p 2) u (expt u!`2 2)) (times 5 (df q_1 t u!`1) (expt
p 3) u (expt u!`1 2)) (times 4 (df q_1 t u!`1) (expt p 2) u (expt u!`1 2)) (
minus (times 36 (expt u p) (df q_1 u) (expt p 3) u (expt u!`2 2))) (minus (times
168 (expt u p) (df q_1 u) (expt p 2) u (expt u!`2 2))) (minus (times 256 (expt u
p) (df q_1 u) p u (expt u!`2 2))) (minus (times 128 (expt u p) (df q_1 u) u (
expt u!`2 2))) (minus (times 108 (df q_1 u) (expt p 3) u (expt u!`1 2))) (minus
(times 504 (df q_1 u) (expt p 2) u (expt u!`1 2))) (minus (times 768 (df q_1 u)
p u (expt u!`1 2))) (minus (times 384 (df q_1 u) u (expt u!`1 2))) (minus (times
72 (expt u p) (df q_1 u!`1) (expt p 4) u!`1 (expt u!`2 2))) (minus (times 336 (
expt u p) (df q_1 u!`1) (expt p 3) u!`1 (expt u!`2 2))) (minus (times 512 (expt
u p) (df q_1 u!`1) (expt p 2) u!`1 (expt u!`2 2))) (minus (times 256 (expt u p)
(df q_1 u!`1) p u!`1 (expt u!`2 2)))) (partitioned) (kern (df q_1 t u) (df q_1 t
u!`1) (df q_1 u) (df q_1 u!`1) (expt u p) p u!`1 u!`2 u) (fct_kern_lin) (
fct_kern_nli) (fcts q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (level 1 1 1 1) (
derivs ((q_1 t u!`1) . 1) ((q_1 t u) . 1) ((q_1 u!`1) . 1) ((q_1 u) . 1) ((p) . 
4) ((p) . 3) ((p) . 2)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 18) (length . 42
) (printlength . 114) (rational q_1) (nonrational p) (allvarfcts q_1) (starde) (
dec_with) (dec_with_rl (0 e_30 e_27 e_22 e_12 e_16 e_15 e_5 e_1 e_57 e_58 e_14 
e_4 e_8)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol 
to_under to_diff to_decoup)) (e_15 ((sqval ((((df q_1 u x) . 1) (((expt u p) . 1
) ((p . 2) ((u . 2) ((u!`2 . 2) . 4))) ((p . 1) ((u . 2) ((u!`2 . 2) . -16)))) (
(p . 2) ((u . 2) ((u!`1 . 2) . 4))) ((p . 1) ((u . 2) ((u!`1 . 2) . -16)))) (((
df q_1 u) . 1) (((expt u p) . 1) ((p . 3) ((u . 1) ((u!`2 . 3) . -4))) ((p . 2)
((u . 1) ((u!`2 . 3) . -40))) ((p . 1) ((u . 1) ((u!`2 . 3) . -128))) ((u . 1) (
(u!`2 . 3) . -128))) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 1) . -12)))) ((p . 2
) ((u . 1) ((u!`1 . 2) ((u!`2 . 1) . -120)))) ((p . 1) ((u . 1) ((u!`1 . 2) ((
u!`2 . 1) . -384)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 1) . -384)))) (((df q_1 u!`1
x) . 1) (((expt u p) . 1) ((p . 3) ((u . 1) ((u!`1 . 1) ((u!`2 . 2) . 5)))) ((p
 . 2) ((u . 1) ((u!`1 . 1) ((u!`2 . 2) . -20))))) ((p . 3) ((u . 1) ((u!`1 . 3)
 . -1))) ((p . 2) ((u . 1) ((u!`1 . 3) . 4)))) (((df q_1 u!`1) . 1) (((expt u p)
 . 1) ((p . 4) ((u!`1 . 1) ((u!`2 . 3) . -8))) ((p . 3) ((u!`1 . 1) ((u!`2 . 3)
 . -80))) ((p . 2) ((u!`1 . 1) ((u!`2 . 3) . -256))) ((p . 1) ((u!`1 . 1) ((u!`2
 . 3) . -256)))))) . 1) (fac . 2) (pval plus (times 4 (expt u p) (df q_1 u x) (
expt p 2) (expt u 2) (expt u!`2 2)) (minus (times 16 (expt u p) (df q_1 u x) p (
expt u 2) (expt u!`2 2))) (times 4 (df q_1 u x) (expt p 2) (expt u 2) (expt u!`1
2)) (minus (times 16 (df q_1 u x) p (expt u 2) (expt u!`1 2))) (minus (times 4 (
expt u p) (df q_1 u) (expt p 3) u (expt u!`2 3))) (minus (times 40 (expt u p) (
df q_1 u) (expt p 2) u (expt u!`2 3))) (minus (times 128 (expt u p) (df q_1 u) p
u (expt u!`2 3))) (minus (times 128 (expt u p) (df q_1 u) u (expt u!`2 3))) (
minus (times 12 (df q_1 u) (expt p 3) u (expt u!`1 2) u!`2)) (minus (times 120 (
df q_1 u) (expt p 2) u (expt u!`1 2) u!`2)) (minus (times 384 (df q_1 u) p u (
expt u!`1 2) u!`2)) (minus (times 384 (df q_1 u) u (expt u!`1 2) u!`2)) (times 5
(expt u p) (df q_1 u!`1 x) (expt p 3) u u!`1 (expt u!`2 2)) (minus (times 20 (
expt u p) (df q_1 u!`1 x) (expt p 2) u u!`1 (expt u!`2 2))) (minus (times (df 
q_1 u!`1 x) (expt p 3) u (expt u!`1 3))) (times 4 (df q_1 u!`1 x) (expt p 2) u (
expt u!`1 3)) (minus (times 8 (expt u p) (df q_1 u!`1) (expt p 4) u!`1 (expt u!`2
3))) (minus (times 80 (expt u p) (df q_1 u!`1) (expt p 3) u!`1 (expt u!`2 3))) (
minus (times 256 (expt u p) (df q_1 u!`1) (expt p 2) u!`1 (expt u!`2 3))) (minus
(times 256 (expt u p) (df q_1 u!`1) p u!`1 (expt u!`2 3)))) (partitioned) (kern
(df q_1 u x) (df q_1 u) (df q_1 u!`1 x) (df q_1 u!`1) (expt u p) p u!`1 u!`2 u)
(fct_kern_lin) (fct_kern_nli) (fcts q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (
level 1 1 1 1) (derivs ((q_1 u!`1 x) . 1) ((q_1 u x) . 1) ((q_1 u!`1) . 1) ((q_1
u) . 1) ((p) . 4) ((p) . 3) ((p) . 2)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 20
) (length . 46) (printlength . 146) (rational q_1) (nonrational p) (allvarfcts 
q_1) (starde) (dec_with) (dec_with_rl (0 e_30 e_27 e_20 e_21 e_19 e_22 e_12 e_16
e_5 e_1 e_57 e_18 e_14 e_4 e_8)) (rl_with) (hom_deg) (split_test) (linear_) (
histry_)) (to_symbol to_under to_diff to_decoup)) (e_16 ((sqval ((((df q_1 t u)
 . 1) (((expt u p) . 1) ((p . 2) ((u . 2) ((u!`1 . 1) ((u!`2 . 2) . 300)))) ((p
 . 1) ((u . 2) ((u!`1 . 1) ((u!`2 . 2) . -960)))) ((u . 2) ((u!`1 . 1) ((u!`2 . 
2) . -960)))) ((p . 2) ((u . 2) ((u!`1 . 3) . -60))) ((p . 1) ((u . 2) ((u!`1 . 
3) . 192))) ((u . 2) ((u!`1 . 3) . 192))) (((df q_1 u x) . 1) (((expt u p) . 2)
((p . 2) ((u . 2) ((u!`2 . 3) . 180))) ((p . 1) ((u . 2) ((u!`2 . 3) . -576))) (
(u . 2) ((u!`2 . 3) . -576))) (((expt u p) . 1) ((p . 2) ((u . 2) ((u!`1 . 2) ((
u!`2 . 1) . 60)))) ((p . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 1) . -192)))) ((u . 2)
((u!`1 . 2) ((u!`2 . 1) . -192))))) (((df q_1 u 2) . 1) (((expt u p) . 2) ((p . 
2) ((u . 2) ((u!`2 . 4) . -30))) ((p . 1) ((u . 2) ((u!`2 . 4) . 96))) ((u . 2)
((u!`2 . 4) . 96))) (((expt u p) . 1) ((p . 2) ((u . 2) ((u!`1 . 2) ((u!`2 . 2)
 . 60)))) ((p . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 2) . -192)))) ((u . 2) ((u!`1
 . 2) ((u!`2 . 2) . -192)))) ((p . 2) ((u . 2) ((u!`1 . 4) . -30))) ((p . 1) ((u
 . 2) ((u!`1 . 4) . 96))) ((u . 2) ((u!`1 . 4) . 96))) (((df q_1 u) . 1) (((expt
u p) . 2) ((p . 3) ((u . 1) ((u!`2 . 4) . -297))) ((p . 2) ((u . 1) ((u!`2 . 4)
 . -966))) ((p . 1) ((u . 1) ((u!`2 . 4) . -1488))) ((u . 1) ((u!`2 . 4) . -1056
))) (((expt u p) . 1) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 2) . -668)))) ((p
 . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 2) . -3252)))) ((p . 1) ((u . 1) ((u!`1 . 2)
((u!`2 . 2) . -5376)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 2) . -3520)))) ((p . 3) ((
u . 1) ((u!`1 . 4) . 69))) ((p . 2) ((u . 1) ((u!`1 . 4) . 378))) ((p . 1) ((u
 . 1) ((u!`1 . 4) . 720))) ((u . 1) ((u!`1 . 4) . 480))) (((df q_1 u!`1) . 1) ((
(expt u p) . 2) ((p . 4) ((u!`1 . 1) ((u!`2 . 4) . -474))) ((p . 3) ((u!`1 . 1)
((u!`2 . 4) . -2256))) ((p . 2) ((u!`1 . 1) ((u!`2 . 4) . -3552))) ((p . 1) ((
u!`1 . 1) ((u!`2 . 4) . -2304)))) (((expt u p) . 1) ((p . 4) ((u!`1 . 3) ((u!`2
 . 2) . 26))) ((p . 3) ((u!`1 . 3) ((u!`2 . 2) . 336))) ((p . 2) ((u!`1 . 3) ((
u!`2 . 2) . 480))) ((p . 1) ((u!`1 . 3) ((u!`2 . 2) . 256)))))) . 1) (fac . 2) (
pval plus (times 300 (expt u p) (df q_1 t u) (expt p 2) (expt u 2) u!`1 (expt 
u!`2 2)) (minus (times 960 (expt u p) (df q_1 t u) p (expt u 2) u!`1 (expt u!`2
2))) (minus (times 960 (expt u p) (df q_1 t u) (expt u 2) u!`1 (expt u!`2 2))) (
minus (times 60 (df q_1 t u) (expt p 2) (expt u 2) (expt u!`1 3))) (times 192 (
df q_1 t u) p (expt u 2) (expt u!`1 3)) (times 192 (df q_1 t u) (expt u 2) (expt
u!`1 3)) (times 180 (expt u (times 2 p)) (df q_1 u x) (expt p 2) (expt u 2) (
expt u!`2 3)) (minus (times 576 (expt u (times 2 p)) (df q_1 u x) p (expt u 2) (
expt u!`2 3))) (minus (times 576 (expt u (times 2 p)) (df q_1 u x) (expt u 2) (
expt u!`2 3))) (times 60 (expt u p) (df q_1 u x) (expt p 2) (expt u 2) (expt u!`1
2) u!`2) (minus (times 192 (expt u p) (df q_1 u x) p (expt u 2) (expt u!`1 2) 
u!`2)) (minus (times 192 (expt u p) (df q_1 u x) (expt u 2) (expt u!`1 2) u!`2))
(minus (times 30 (expt u (times 2 p)) (df q_1 u 2) (expt p 2) (expt u 2) (expt 
u!`2 4))) (times 96 (expt u (times 2 p)) (df q_1 u 2) p (expt u 2) (expt u!`2 4)
) (times 96 (expt u (times 2 p)) (df q_1 u 2) (expt u 2) (expt u!`2 4)) (times 
60 (expt u p) (df q_1 u 2) (expt p 2) (expt u 2) (expt u!`1 2) (expt u!`2 2)) (
minus (times 192 (expt u p) (df q_1 u 2) p (expt u 2) (expt u!`1 2) (expt u!`2 2
))) (minus (times 192 (expt u p) (df q_1 u 2) (expt u 2) (expt u!`1 2) (expt u!`2
2))) (minus (times 30 (df q_1 u 2) (expt p 2) (expt u 2) (expt u!`1 4))) (times
96 (df q_1 u 2) p (expt u 2) (expt u!`1 4)) (times 96 (df q_1 u 2) (expt u 2) (
expt u!`1 4)) (minus (times 297 (expt u (times 2 p)) (df q_1 u) (expt p 3) u (
expt u!`2 4))) (minus (times 966 (expt u (times 2 p)) (df q_1 u) (expt p 2) u (
expt u!`2 4))) (minus (times 1488 (expt u (times 2 p)) (df q_1 u) p u (expt u!`2
4))) (minus (times 1056 (expt u (times 2 p)) (df q_1 u) u (expt u!`2 4))) (minus
(times 668 (expt u p) (df q_1 u) (expt p 3) u (expt u!`1 2) (expt u!`2 2))) (
minus (times 3252 (expt u p) (df q_1 u) (expt p 2) u (expt u!`1 2) (expt u!`2 2)
)) (minus (times 5376 (expt u p) (df q_1 u) p u (expt u!`1 2) (expt u!`2 2))) (
minus (times 3520 (expt u p) (df q_1 u) u (expt u!`1 2) (expt u!`2 2))) (times 
69 (df q_1 u) (expt p 3) u (expt u!`1 4)) (times 378 (df q_1 u) (expt p 2) u (
expt u!`1 4)) (times 720 (df q_1 u) p u (expt u!`1 4)) (times 480 (df q_1 u) u (
expt u!`1 4)) (minus (times 474 (expt u (times 2 p)) (df q_1 u!`1) (expt p 4) 
u!`1 (expt u!`2 4))) (minus (times 2256 (expt u (times 2 p)) (df q_1 u!`1) (expt
p 3) u!`1 (expt u!`2 4))) (minus (times 3552 (expt u (times 2 p)) (df q_1 u!`1)
(expt p 2) u!`1 (expt u!`2 4))) (minus (times 2304 (expt u (times 2 p)) (df q_1
u!`1) p u!`1 (expt u!`2 4))) (times 26 (expt u p) (df q_1 u!`1) (expt p 4) (expt
u!`1 3) (expt u!`2 2)) (times 336 (expt u p) (df q_1 u!`1) (expt p 3) (expt u!`1
3) (expt u!`2 2)) (times 480 (expt u p) (df q_1 u!`1) (expt p 2) (expt u!`1 3) (
expt u!`2 2)) (times 256 (expt u p) (df q_1 u!`1) p (expt u!`1 3) (expt u!`2 2))
) (partitioned) (kern (df q_1 t u) (df q_1 u x) (df q_1 u 2) (df q_1 u) (df q_1
u!`1) (expt u p) p u!`1 u!`2 u) (fct_kern_lin) (fct_kern_nli) (fcts q_1 p) (vars
u!`2 u!`1 u x t) (nvars . 5) (level 1 1 1 1) (derivs ((q_1 u 2) . 1) ((q_1 u x)
 . 1) ((q_1 t u) . 1) ((q_1 u!`1) . 1) ((q_1 u) . 1) ((p) . 4) ((p) . 3) ((p) . 
2)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 41) (length . 77) (printlength
 . 332) (rational q_1) (nonrational p) (allvarfcts q_1) (starde) (dec_with) (
dec_with_rl (0 e_30 e_21 e_19 e_22 e_12 e_5 e_1 e_15 e_18 e_14 e_4 e_8)) (
rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff
to_decoup)) (e_12 ((sqval ((((df q_1 t u) . 1) (((expt u p) . 2) ((p . 3) ((u . 
2) ((u!`1 . 1) ((u!`2 . 4) . 4800)))) ((p . 2) ((u . 2) ((u!`1 . 1) ((u!`2 . 4)
 . -15360)))) ((p . 1) ((u . 2) ((u!`1 . 1) ((u!`2 . 4) . -15360))))) (((expt u
p) . 1) ((p . 3) ((u . 2) ((u!`1 . 3) ((u!`2 . 2) . 3840)))) ((p . 2) ((u . 2) (
(u!`1 . 3) ((u!`2 . 2) . -12288)))) ((p . 1) ((u . 2) ((u!`1 . 3) ((u!`2 . 2) . 
-12288))))) ((p . 3) ((u . 2) ((u!`1 . 5) . -960))) ((p . 2) ((u . 2) ((u!`1 . 5
) . 3072))) ((p . 1) ((u . 2) ((u!`1 . 5) . 3072)))) (((df q_1 u x) . 1) (((expt
u p) . 3) ((p . 3) ((u . 2) ((u!`2 . 5) . 2880))) ((p . 2) ((u . 2) ((u!`2 . 5)
 . -9216))) ((p . 1) ((u . 2) ((u!`2 . 5) . -9216)))) (((expt u p) . 2) ((p . 3)
((u . 2) ((u!`1 . 2) ((u!`2 . 3) . 3840)))) ((p . 2) ((u . 2) ((u!`1 . 2) ((u!`2
 . 3) . -12288)))) ((p . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 3) . -12288))))) (((
expt u p) . 1) ((p . 3) ((u . 2) ((u!`1 . 4) ((u!`2 . 1) . 960)))) ((p . 2) ((u
 . 2) ((u!`1 . 4) ((u!`2 . 1) . -3072)))) ((p . 1) ((u . 2) ((u!`1 . 4) ((u!`2
 . 1) . -3072)))))) (((df q_1 u) . 1) (((expt u p) . 3) ((p . 4) ((u . 1) ((u!`2
 . 6) . -4740))) ((p . 3) ((u . 1) ((u!`2 . 6) . -16704))) ((p . 2) ((u . 1) ((
u!`2 . 6) . -39360))) ((p . 1) ((u . 1) ((u!`2 . 6) . -43008))) ((u . 1) ((u!`2
 . 6) . -12288))) (((expt u p) . 2) ((p . 4) ((u . 1) ((u!`1 . 2) ((u!`2 . 4) . 
-14708)))) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 4) . -72000)))) ((p . 2) ((u
 . 1) ((u!`1 . 2) ((u!`2 . 4) . -124608)))) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2
 . 4) . -96256)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 4) . -12288)))) (((expt u p) . 
1) ((p . 4) ((u . 1) ((u!`1 . 4) ((u!`2 . 2) . -11084)))) ((p . 3) ((u . 1) ((
u!`1 . 4) ((u!`2 . 2) . -33216)))) ((p . 2) ((u . 1) ((u!`1 . 4) ((u!`2 . 2) . 
1728)))) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 2) . 75776)))) ((u . 1) ((u!`1
 . 4) ((u!`2 . 2) . 61440)))) ((p . 4) ((u . 1) ((u!`1 . 6) . 1860))) ((p . 3) (
(u . 1) ((u!`1 . 6) . -960))) ((p . 2) ((u . 1) ((u!`1 . 6) . -34368))) ((p . 1)
((u . 1) ((u!`1 . 6) . -67584))) ((u . 1) ((u!`1 . 6) . -36864))) (((df q_1 u!`1
2) . 1) (((expt u p) . 4) ((p . 5) ((u!`2 . 8) . -225)) ((p . 4) ((u!`2 . 8) . 
720)) ((p . 3) ((u!`2 . 8) . 720))) (((expt u p) . 3) ((p . 5) ((u!`1 . 2) ((u!`2
 . 6) . 420))) ((p . 4) ((u!`1 . 2) ((u!`2 . 6) . -1344))) ((p . 3) ((u!`1 . 2)
((u!`2 . 6) . -1344)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 4) ((u!`2 . 4) . 
-150))) ((p . 4) ((u!`1 . 4) ((u!`2 . 4) . 480))) ((p . 3) ((u!`1 . 4) ((u!`2 . 
4) . 480)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 6) ((u!`2 . 2) . -60))) ((p . 4
) ((u!`1 . 6) ((u!`2 . 2) . 192))) ((p . 3) ((u!`1 . 6) ((u!`2 . 2) . 192)))) ((
p . 5) ((u!`1 . 8) . 15)) ((p . 4) ((u!`1 . 8) . -48)) ((p . 3) ((u!`1 . 8) . 
-48))) (((df q_1 u!`1) . 1) (((expt u p) . 3) ((p . 5) ((u!`1 . 1) ((u!`2 . 6)
 . -6780))) ((p . 4) ((u!`1 . 1) ((u!`2 . 6) . -42048))) ((p . 3) ((u!`1 . 1) ((
u!`2 . 6) . -87360))) ((p . 2) ((u!`1 . 1) ((u!`2 . 6) . -86016))) ((p . 1) ((
u!`1 . 1) ((u!`2 . 6) . -24576)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 3) ((u!`2
 . 4) . -8716))) ((p . 4) ((u!`1 . 3) ((u!`2 . 4) . -19008))) ((p . 3) ((u!`1 . 
3) ((u!`2 . 4) . 11712))) ((p . 2) ((u!`1 . 3) ((u!`2 . 4) . 65536))) ((p . 1) (
(u!`1 . 3) ((u!`2 . 4) . 49152)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 5) ((u!`2
 . 2) . 1100))) ((p . 4) ((u!`1 . 5) ((u!`2 . 2) . -192))) ((p . 3) ((u!`1 . 5)
((u!`2 . 2) . -22464))) ((p . 2) ((u!`1 . 5) ((u!`2 . 2) . -45056))) ((p . 1) ((
u!`1 . 5) ((u!`2 . 2) . -24576)))) ((p . 5) ((u!`1 . 7) . 60)) ((p . 4) ((u!`1
 . 7) . -192)) ((p . 3) ((u!`1 . 7) . -192)))) . 1) (fac . 2) (pval plus (times
4800 (expt u (times 2 p)) (df q_1 t u) (expt p 3) (expt u 2) u!`1 (expt u!`2 4))
(minus (times 15360 (expt u (times 2 p)) (df q_1 t u) (expt p 2) (expt u 2) u!`1
(expt u!`2 4))) (minus (times 15360 (expt u (times 2 p)) (df q_1 t u) p (expt u
2) u!`1 (expt u!`2 4))) (times 3840 (expt u p) (df q_1 t u) (expt p 3) (expt u 2
) (expt u!`1 3) (expt u!`2 2)) (minus (times 12288 (expt u p) (df q_1 t u) (expt
p 2) (expt u 2) (expt u!`1 3) (expt u!`2 2))) (minus (times 12288 (expt u p) (df
q_1 t u) p (expt u 2) (expt u!`1 3) (expt u!`2 2))) (minus (times 960 (df q_1 t
u) (expt p 3) (expt u 2) (expt u!`1 5))) (times 3072 (df q_1 t u) (expt p 2) (
expt u 2) (expt u!`1 5)) (times 3072 (df q_1 t u) p (expt u 2) (expt u!`1 5)) (
times 2880 (expt u (times 3 p)) (df q_1 u x) (expt p 3) (expt u 2) (expt u!`2 5)
) (minus (times 9216 (expt u (times 3 p)) (df q_1 u x) (expt p 2) (expt u 2) (
expt u!`2 5))) (minus (times 9216 (expt u (times 3 p)) (df q_1 u x) p (expt u 2)
(expt u!`2 5))) (times 3840 (expt u (times 2 p)) (df q_1 u x) (expt p 3) (expt u
2) (expt u!`1 2) (expt u!`2 3)) (minus (times 12288 (expt u (times 2 p)) (df q_1
u x) (expt p 2) (expt u 2) (expt u!`1 2) (expt u!`2 3))) (minus (times 12288 (
expt u (times 2 p)) (df q_1 u x) p (expt u 2) (expt u!`1 2) (expt u!`2 3))) (
times 960 (expt u p) (df q_1 u x) (expt p 3) (expt u 2) (expt u!`1 4) u!`2) (
minus (times 3072 (expt u p) (df q_1 u x) (expt p 2) (expt u 2) (expt u!`1 4) 
u!`2)) (minus (times 3072 (expt u p) (df q_1 u x) p (expt u 2) (expt u!`1 4) u!`2
)) (minus (times 4740 (expt u (times 3 p)) (df q_1 u) (expt p 4) u (expt u!`2 6)
)) (minus (times 16704 (expt u (times 3 p)) (df q_1 u) (expt p 3) u (expt u!`2 6
))) (minus (times 39360 (expt u (times 3 p)) (df q_1 u) (expt p 2) u (expt u!`2
6))) (minus (times 43008 (expt u (times 3 p)) (df q_1 u) p u (expt u!`2 6))) (
minus (times 12288 (expt u (times 3 p)) (df q_1 u) u (expt u!`2 6))) (minus (
times 14708 (expt u (times 2 p)) (df q_1 u) (expt p 4) u (expt u!`1 2) (expt u!`2
4))) (minus (times 72000 (expt u (times 2 p)) (df q_1 u) (expt p 3) u (expt u!`1
2) (expt u!`2 4))) (minus (times 124608 (expt u (times 2 p)) (df q_1 u) (expt p
2) u (expt u!`1 2) (expt u!`2 4))) (minus (times 96256 (expt u (times 2 p)) (df
q_1 u) p u (expt u!`1 2) (expt u!`2 4))) (minus (times 12288 (expt u (times 2 p)
) (df q_1 u) u (expt u!`1 2) (expt u!`2 4))) (minus (times 11084 (expt u p) (df
q_1 u) (expt p 4) u (expt u!`1 4) (expt u!`2 2))) (minus (times 33216 (expt u p)
(df q_1 u) (expt p 3) u (expt u!`1 4) (expt u!`2 2))) (times 1728 (expt u p) (df
q_1 u) (expt p 2) u (expt u!`1 4) (expt u!`2 2)) (times 75776 (expt u p) (df q_1
u) p u (expt u!`1 4) (expt u!`2 2)) (times 61440 (expt u p) (df q_1 u) u (expt 
u!`1 4) (expt u!`2 2)) (times 1860 (df q_1 u) (expt p 4) u (expt u!`1 6)) (minus
(times 960 (df q_1 u) (expt p 3) u (expt u!`1 6))) (minus (times 34368 (df q_1 u
) (expt p 2) u (expt u!`1 6))) (minus (times 67584 (df q_1 u) p u (expt u!`1 6))
) (minus (times 36864 (df q_1 u) u (expt u!`1 6))) (minus (times 225 (expt u (
times 4 p)) (df q_1 u!`1 2) (expt p 5) (expt u!`2 8))) (times 720 (expt u (times
4 p)) (df q_1 u!`1 2) (expt p 4) (expt u!`2 8)) (times 720 (expt u (times 4 p))
(df q_1 u!`1 2) (expt p 3) (expt u!`2 8)) (times 420 (expt u (times 3 p)) (df 
q_1 u!`1 2) (expt p 5) (expt u!`1 2) (expt u!`2 6)) (minus (times 1344 (expt u (
times 3 p)) (df q_1 u!`1 2) (expt p 4) (expt u!`1 2) (expt u!`2 6))) (minus (
times 1344 (expt u (times 3 p)) (df q_1 u!`1 2) (expt p 3) (expt u!`1 2) (expt 
u!`2 6))) (minus (times 150 (expt u (times 2 p)) (df q_1 u!`1 2) (expt p 5) (
expt u!`1 4) (expt u!`2 4))) (times 480 (expt u (times 2 p)) (df q_1 u!`1 2) (
expt p 4) (expt u!`1 4) (expt u!`2 4)) (times 480 (expt u (times 2 p)) (df q_1 
u!`1 2) (expt p 3) (expt u!`1 4) (expt u!`2 4)) (minus (times 60 (expt u p) (df
q_1 u!`1 2) (expt p 5) (expt u!`1 6) (expt u!`2 2))) (times 192 (expt u p) (df 
q_1 u!`1 2) (expt p 4) (expt u!`1 6) (expt u!`2 2)) (times 192 (expt u p) (df 
q_1 u!`1 2) (expt p 3) (expt u!`1 6) (expt u!`2 2)) (times 15 (df q_1 u!`1 2) (
expt p 5) (expt u!`1 8)) (minus (times 48 (df q_1 u!`1 2) (expt p 4) (expt u!`1
8))) (minus (times 48 (df q_1 u!`1 2) (expt p 3) (expt u!`1 8))) (minus (times 
6780 (expt u (times 3 p)) (df q_1 u!`1) (expt p 5) u!`1 (expt u!`2 6))) (minus (
times 42048 (expt u (times 3 p)) (df q_1 u!`1) (expt p 4) u!`1 (expt u!`2 6))) (
minus (times 87360 (expt u (times 3 p)) (df q_1 u!`1) (expt p 3) u!`1 (expt u!`2
6))) (minus (times 86016 (expt u (times 3 p)) (df q_1 u!`1) (expt p 2) u!`1 (
expt u!`2 6))) (minus (times 24576 (expt u (times 3 p)) (df q_1 u!`1) p u!`1 (
expt u!`2 6))) (minus (times 8716 (expt u (times 2 p)) (df q_1 u!`1) (expt p 5)
(expt u!`1 3) (expt u!`2 4))) (minus (times 19008 (expt u (times 2 p)) (df q_1 
u!`1) (expt p 4) (expt u!`1 3) (expt u!`2 4))) (times 11712 (expt u (times 2 p))
(df q_1 u!`1) (expt p 3) (expt u!`1 3) (expt u!`2 4)) (times 65536 (expt u (
times 2 p)) (df q_1 u!`1) (expt p 2) (expt u!`1 3) (expt u!`2 4)) (times 49152 (
expt u (times 2 p)) (df q_1 u!`1) p (expt u!`1 3) (expt u!`2 4)) (times 1100 (
expt u p) (df q_1 u!`1) (expt p 5) (expt u!`1 5) (expt u!`2 2)) (minus (times 
192 (expt u p) (df q_1 u!`1) (expt p 4) (expt u!`1 5) (expt u!`2 2))) (minus (
times 22464 (expt u p) (df q_1 u!`1) (expt p 3) (expt u!`1 5) (expt u!`2 2))) (
minus (times 45056 (expt u p) (df q_1 u!`1) (expt p 2) (expt u!`1 5) (expt u!`2
2))) (minus (times 24576 (expt u p) (df q_1 u!`1) p (expt u!`1 5) (expt u!`2 2))
) (times 60 (df q_1 u!`1) (expt p 5) (expt u!`1 7)) (minus (times 192 (df q_1 
u!`1) (expt p 4) (expt u!`1 7))) (minus (times 192 (df q_1 u!`1) (expt p 3) (
expt u!`1 7)))) (partitioned) (kern (df q_1 t u) (df q_1 u x) (df q_1 u) (df q_1
u!`1 2) (df q_1 u!`1) (expt u p) p u!`1 u!`2 u) (fct_kern_lin) (fct_kern_nli) (
fcts q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (level 1 1 1 1) (derivs ((q_1 u!`1
2) . 1) ((q_1 u x) . 1) ((q_1 t u) . 1) ((q_1 u!`1) . 1) ((q_1 u) . 1) ((p) . 5)
((p) . 4) ((p) . 3)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 71) (length . 
229) (printlength . 812) (rational q_1) (nonrational p) (allvarfcts q_1) (starde
) (dec_with) (dec_with_rl (0 e_30 e_27 e_19 e_22 e_5 e_16 e_15 e_18 e_14 e_4 e_8
)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup)) (e_22 ((sqval ((((df q_1 t u) . 1) (((expt u p) . 3) ((p . 3
) ((u . 2) ((u!`1 . 1) ((u!`2 . 6) . 900)))) ((p . 2) ((u . 2) ((u!`1 . 1) ((u!`2
 . 6) . -2880)))) ((p . 1) ((u . 2) ((u!`1 . 1) ((u!`2 . 6) . -2880))))) (((expt
u p) . 2) ((p . 3) ((u . 2) ((u!`1 . 3) ((u!`2 . 4) . 4020)))) ((p . 2) ((u . 2)
((u!`1 . 3) ((u!`2 . 4) . -12864)))) ((p . 1) ((u . 2) ((u!`1 . 3) ((u!`2 . 4)
 . -12864))))) (((expt u p) . 1) ((p . 3) ((u . 2) ((u!`1 . 5) ((u!`2 . 2) . 
-1140)))) ((p . 2) ((u . 2) ((u!`1 . 5) ((u!`2 . 2) . 3648)))) ((p . 1) ((u . 2)
((u!`1 . 5) ((u!`2 . 2) . 3648))))) ((p . 3) ((u . 2) ((u!`1 . 7) . 60))) ((p . 
2) ((u . 2) ((u!`1 . 7) . -192))) ((p . 1) ((u . 2) ((u!`1 . 7) . -192)))) (((df
q_1 u u!`1) . 1) (((expt u p) . 4) ((p . 4) ((u . 1) ((u!`1 . 1) ((u!`2 . 8) . 
225)))) ((p . 3) ((u . 1) ((u!`1 . 1) ((u!`2 . 8) . -720)))) ((p . 2) ((u . 1) (
(u!`1 . 1) ((u!`2 . 8) . -720))))) (((expt u p) . 3) ((p . 4) ((u . 1) ((u!`1 . 
3) ((u!`2 . 6) . -420)))) ((p . 3) ((u . 1) ((u!`1 . 3) ((u!`2 . 6) . 1344)))) (
(p . 2) ((u . 1) ((u!`1 . 3) ((u!`2 . 6) . 1344))))) (((expt u p) . 2) ((p . 4)
((u . 1) ((u!`1 . 5) ((u!`2 . 4) . 150)))) ((p . 3) ((u . 1) ((u!`1 . 5) ((u!`2
 . 4) . -480)))) ((p . 2) ((u . 1) ((u!`1 . 5) ((u!`2 . 4) . -480))))) (((expt u
p) . 1) ((p . 4) ((u . 1) ((u!`1 . 7) ((u!`2 . 2) . 60)))) ((p . 3) ((u . 1) ((
u!`1 . 7) ((u!`2 . 2) . -192)))) ((p . 2) ((u . 1) ((u!`1 . 7) ((u!`2 . 2) . 
-192))))) ((p . 4) ((u . 1) ((u!`1 . 9) . -15))) ((p . 3) ((u . 1) ((u!`1 . 9)
 . 48))) ((p . 2) ((u . 1) ((u!`1 . 9) . 48)))) (((df q_1 u x) . 1) (((expt u p)
 . 4) ((p . 3) ((u . 2) ((u!`2 . 7) . 540))) ((p . 2) ((u . 2) ((u!`2 . 7) . 
-1728))) ((p . 1) ((u . 2) ((u!`2 . 7) . -1728)))) (((expt u p) . 3) ((p . 3) ((
u . 2) ((u!`1 . 2) ((u!`2 . 5) . 2700)))) ((p . 2) ((u . 2) ((u!`1 . 2) ((u!`2
 . 5) . -8640)))) ((p . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 5) . -8640))))) (((expt
u p) . 2) ((p . 3) ((u . 2) ((u!`1 . 4) ((u!`2 . 3) . 660)))) ((p . 2) ((u . 2)
((u!`1 . 4) ((u!`2 . 3) . -2112)))) ((p . 1) ((u . 2) ((u!`1 . 4) ((u!`2 . 3) . 
-2112))))) (((expt u p) . 1) ((p . 3) ((u . 2) ((u!`1 . 6) ((u!`2 . 1) . -60))))
((p . 2) ((u . 2) ((u!`1 . 6) ((u!`2 . 1) . 192)))) ((p . 1) ((u . 2) ((u!`1 . 6
) ((u!`2 . 1) . 192)))))) (((df q_1 u) . 1) (((expt u p) . 4) ((p . 4) ((u . 1)
((u!`2 . 8) . -540))) ((p . 3) ((u . 1) ((u!`2 . 8) . -5832))) ((p . 2) ((u . 1)
((u!`2 . 8) . -21600))) ((p . 1) ((u . 1) ((u!`2 . 8) . -31104))) ((u . 1) ((u!`2
 . 8) . -13824))) (((expt u p) . 3) ((p . 4) ((u . 1) ((u!`1 . 2) ((u!`2 . 6) . 
-5970)))) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 6) . -25344)))) ((p . 2) ((u . 
1) ((u!`1 . 2) ((u!`2 . 6) . -52320)))) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 6
) . -50688)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 6) . -12288)))) (((expt u p) . 2) (
(p . 4) ((u . 1) ((u!`1 . 4) ((u!`2 . 4) . -10402)))) ((p . 3) ((u . 1) ((u!`1
 . 4) ((u!`2 . 4) . -29520)))) ((p . 2) ((u . 1) ((u!`1 . 4) ((u!`2 . 4) . 16224
)))) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 4) . 97024)))) ((u . 1) ((u!`1 . 4)
((u!`2 . 4) . 70656)))) (((expt u p) . 1) ((p . 4) ((u . 1) ((u!`1 . 6) ((u!`2
 . 2) . 2762)))) ((p . 3) ((u . 1) ((u!`1 . 6) ((u!`2 . 2) . -1344)))) ((p . 2)
((u . 1) ((u!`1 . 6) ((u!`2 . 2) . -45600)))) ((p . 1) ((u . 1) ((u!`1 . 6) ((
u!`2 . 2) . -89600)))) ((u . 1) ((u!`1 . 6) ((u!`2 . 2) . -49152)))) ((p . 4) ((
u . 1) ((u!`1 . 8) . -186))) ((p . 3) ((u . 1) ((u!`1 . 8) . 600))) ((p . 2) ((u
 . 1) ((u!`1 . 8) . 4992))) ((p . 1) ((u . 1) ((u!`1 . 8) . 8832))) ((u . 1) ((
u!`1 . 8) . 4608))) (((df q_1 u!`1) . 1) (((expt u p) . 4) ((p . 5) ((u!`1 . 1)
((u!`2 . 8) . -630))) ((p . 4) ((u!`1 . 1) ((u!`2 . 8) . -13104))) ((p . 3) ((
u!`1 . 1) ((u!`2 . 8) . -44640))) ((p . 2) ((u!`1 . 1) ((u!`2 . 8) . -62208))) (
(p . 1) ((u!`1 . 1) ((u!`2 . 8) . -27648)))) (((expt u p) . 3) ((p . 5) ((u!`1
 . 3) ((u!`2 . 6) . -8190))) ((p . 4) ((u!`1 . 3) ((u!`2 . 6) . -17328))) ((p . 
3) ((u!`1 . 3) ((u!`2 . 6) . 23328))) ((p . 2) ((u!`1 . 3) ((u!`2 . 6) . 85248))
) ((p . 1) ((u!`1 . 3) ((u!`2 . 6) . 58368)))) (((expt u p) . 2) ((p . 5) ((u!`1
 . 5) ((u!`2 . 4) . 1726))) ((p . 4) ((u!`1 . 5) ((u!`2 . 4) . -528))) ((p . 3)
((u!`1 . 5) ((u!`2 . 4) . -31008))) ((p . 2) ((u!`1 . 5) ((u!`2 . 4) . -61696)))
((p . 1) ((u!`1 . 5) ((u!`2 . 4) . -33792)))) (((expt u p) . 1) ((p . 5) ((u!`1
 . 7) ((u!`2 . 2) . -74))) ((p . 4) ((u!`1 . 7) ((u!`2 . 2) . 240))) ((p . 3) ((
u!`1 . 7) ((u!`2 . 2) . 3168))) ((p . 2) ((u!`1 . 7) ((u!`2 . 2) . 5888))) ((p
 . 1) ((u!`1 . 7) ((u!`2 . 2) . 3072)))))) . 1) (fac . 2) (pval plus (times 900
(expt u (times 3 p)) (df q_1 t u) (expt p 3) (expt u 2) u!`1 (expt u!`2 6)) (
minus (times 2880 (expt u (times 3 p)) (df q_1 t u) (expt p 2) (expt u 2) u!`1 (
expt u!`2 6))) (minus (times 2880 (expt u (times 3 p)) (df q_1 t u) p (expt u 2)
u!`1 (expt u!`2 6))) (times 4020 (expt u (times 2 p)) (df q_1 t u) (expt p 3) (
expt u 2) (expt u!`1 3) (expt u!`2 4)) (minus (times 12864 (expt u (times 2 p))
(df q_1 t u) (expt p 2) (expt u 2) (expt u!`1 3) (expt u!`2 4))) (minus (times 
12864 (expt u (times 2 p)) (df q_1 t u) p (expt u 2) (expt u!`1 3) (expt u!`2 4)
)) (minus (times 1140 (expt u p) (df q_1 t u) (expt p 3) (expt u 2) (expt u!`1 5
) (expt u!`2 2))) (times 3648 (expt u p) (df q_1 t u) (expt p 2) (expt u 2) (
expt u!`1 5) (expt u!`2 2)) (times 3648 (expt u p) (df q_1 t u) p (expt u 2) (
expt u!`1 5) (expt u!`2 2)) (times 60 (df q_1 t u) (expt p 3) (expt u 2) (expt 
u!`1 7)) (minus (times 192 (df q_1 t u) (expt p 2) (expt u 2) (expt u!`1 7))) (
minus (times 192 (df q_1 t u) p (expt u 2) (expt u!`1 7))) (times 225 (expt u (
times 4 p)) (df q_1 u u!`1) (expt p 4) u u!`1 (expt u!`2 8)) (minus (times 720 (
expt u (times 4 p)) (df q_1 u u!`1) (expt p 3) u u!`1 (expt u!`2 8))) (minus (
times 720 (expt u (times 4 p)) (df q_1 u u!`1) (expt p 2) u u!`1 (expt u!`2 8)))
(minus (times 420 (expt u (times 3 p)) (df q_1 u u!`1) (expt p 4) u (expt u!`1 3
) (expt u!`2 6))) (times 1344 (expt u (times 3 p)) (df q_1 u u!`1) (expt p 3) u
(expt u!`1 3) (expt u!`2 6)) (times 1344 (expt u (times 3 p)) (df q_1 u u!`1) (
expt p 2) u (expt u!`1 3) (expt u!`2 6)) (times 150 (expt u (times 2 p)) (df q_1
u u!`1) (expt p 4) u (expt u!`1 5) (expt u!`2 4)) (minus (times 480 (expt u (
times 2 p)) (df q_1 u u!`1) (expt p 3) u (expt u!`1 5) (expt u!`2 4))) (minus (
times 480 (expt u (times 2 p)) (df q_1 u u!`1) (expt p 2) u (expt u!`1 5) (expt
u!`2 4))) (times 60 (expt u p) (df q_1 u u!`1) (expt p 4) u (expt u!`1 7) (expt
u!`2 2)) (minus (times 192 (expt u p) (df q_1 u u!`1) (expt p 3) u (expt u!`1 7)
(expt u!`2 2))) (minus (times 192 (expt u p) (df q_1 u u!`1) (expt p 2) u (expt
u!`1 7) (expt u!`2 2))) (minus (times 15 (df q_1 u u!`1) (expt p 4) u (expt u!`1
9))) (times 48 (df q_1 u u!`1) (expt p 3) u (expt u!`1 9)) (times 48 (df q_1 u 
u!`1) (expt p 2) u (expt u!`1 9)) (times 540 (expt u (times 4 p)) (df q_1 u x) (
expt p 3) (expt u 2) (expt u!`2 7)) (minus (times 1728 (expt u (times 4 p)) (df
q_1 u x) (expt p 2) (expt u 2) (expt u!`2 7))) (minus (times 1728 (expt u (times
4 p)) (df q_1 u x) p (expt u 2) (expt u!`2 7))) (times 2700 (expt u (times 3 p))
(df q_1 u x) (expt p 3) (expt u 2) (expt u!`1 2) (expt u!`2 5)) (minus (times 
8640 (expt u (times 3 p)) (df q_1 u x) (expt p 2) (expt u 2) (expt u!`1 2) (expt
u!`2 5))) (minus (times 8640 (expt u (times 3 p)) (df q_1 u x) p (expt u 2) (
expt u!`1 2) (expt u!`2 5))) (times 660 (expt u (times 2 p)) (df q_1 u x) (expt
p 3) (expt u 2) (expt u!`1 4) (expt u!`2 3)) (minus (times 2112 (expt u (times 2
p)) (df q_1 u x) (expt p 2) (expt u 2) (expt u!`1 4) (expt u!`2 3))) (minus (
times 2112 (expt u (times 2 p)) (df q_1 u x) p (expt u 2) (expt u!`1 4) (expt 
u!`2 3))) (minus (times 60 (expt u p) (df q_1 u x) (expt p 3) (expt u 2) (expt 
u!`1 6) u!`2)) (times 192 (expt u p) (df q_1 u x) (expt p 2) (expt u 2) (expt 
u!`1 6) u!`2) (times 192 (expt u p) (df q_1 u x) p (expt u 2) (expt u!`1 6) u!`2
) (minus (times 540 (expt u (times 4 p)) (df q_1 u) (expt p 4) u (expt u!`2 8)))
(minus (times 5832 (expt u (times 4 p)) (df q_1 u) (expt p 3) u (expt u!`2 8)))
(minus (times 21600 (expt u (times 4 p)) (df q_1 u) (expt p 2) u (expt u!`2 8)))
(minus (times 31104 (expt u (times 4 p)) (df q_1 u) p u (expt u!`2 8))) (minus (
times 13824 (expt u (times 4 p)) (df q_1 u) u (expt u!`2 8))) (minus (times 5970
(expt u (times 3 p)) (df q_1 u) (expt p 4) u (expt u!`1 2) (expt u!`2 6))) (
minus (times 25344 (expt u (times 3 p)) (df q_1 u) (expt p 3) u (expt u!`1 2) (
expt u!`2 6))) (minus (times 52320 (expt u (times 3 p)) (df q_1 u) (expt p 2) u
(expt u!`1 2) (expt u!`2 6))) (minus (times 50688 (expt u (times 3 p)) (df q_1 u
) p u (expt u!`1 2) (expt u!`2 6))) (minus (times 12288 (expt u (times 3 p)) (df
q_1 u) u (expt u!`1 2) (expt u!`2 6))) (minus (times 10402 (expt u (times 2 p))
(df q_1 u) (expt p 4) u (expt u!`1 4) (expt u!`2 4))) (minus (times 29520 (expt
u (times 2 p)) (df q_1 u) (expt p 3) u (expt u!`1 4) (expt u!`2 4))) (times 
16224 (expt u (times 2 p)) (df q_1 u) (expt p 2) u (expt u!`1 4) (expt u!`2 4))
(times 97024 (expt u (times 2 p)) (df q_1 u) p u (expt u!`1 4) (expt u!`2 4)) (
times 70656 (expt u (times 2 p)) (df q_1 u) u (expt u!`1 4) (expt u!`2 4)) (
times 2762 (expt u p) (df q_1 u) (expt p 4) u (expt u!`1 6) (expt u!`2 2)) (
minus (times 1344 (expt u p) (df q_1 u) (expt p 3) u (expt u!`1 6) (expt u!`2 2)
)) (minus (times 45600 (expt u p) (df q_1 u) (expt p 2) u (expt u!`1 6) (expt 
u!`2 2))) (minus (times 89600 (expt u p) (df q_1 u) p u (expt u!`1 6) (expt u!`2
2))) (minus (times 49152 (expt u p) (df q_1 u) u (expt u!`1 6) (expt u!`2 2))) (
minus (times 186 (df q_1 u) (expt p 4) u (expt u!`1 8))) (times 600 (df q_1 u) (
expt p 3) u (expt u!`1 8)) (times 4992 (df q_1 u) (expt p 2) u (expt u!`1 8)) (
times 8832 (df q_1 u) p u (expt u!`1 8)) (times 4608 (df q_1 u) u (expt u!`1 8))
(minus (times 630 (expt u (times 4 p)) (df q_1 u!`1) (expt p 5) u!`1 (expt u!`2
8))) (minus (times 13104 (expt u (times 4 p)) (df q_1 u!`1) (expt p 4) u!`1 (
expt u!`2 8))) (minus (times 44640 (expt u (times 4 p)) (df q_1 u!`1) (expt p 3)
u!`1 (expt u!`2 8))) (minus (times 62208 (expt u (times 4 p)) (df q_1 u!`1) (
expt p 2) u!`1 (expt u!`2 8))) (minus (times 27648 (expt u (times 4 p)) (df q_1
u!`1) p u!`1 (expt u!`2 8))) (minus (times 8190 (expt u (times 3 p)) (df q_1 u!`1
) (expt p 5) (expt u!`1 3) (expt u!`2 6))) (minus (times 17328 (expt u (times 3
p)) (df q_1 u!`1) (expt p 4) (expt u!`1 3) (expt u!`2 6))) (times 23328 (expt u
(times 3 p)) (df q_1 u!`1) (expt p 3) (expt u!`1 3) (expt u!`2 6)) (times 85248
(expt u (times 3 p)) (df q_1 u!`1) (expt p 2) (expt u!`1 3) (expt u!`2 6)) (
times 58368 (expt u (times 3 p)) (df q_1 u!`1) p (expt u!`1 3) (expt u!`2 6)) (
times 1726 (expt u (times 2 p)) (df q_1 u!`1) (expt p 5) (expt u!`1 5) (expt u!`2
4)) (minus (times 528 (expt u (times 2 p)) (df q_1 u!`1) (expt p 4) (expt u!`1 5
) (expt u!`2 4))) (minus (times 31008 (expt u (times 2 p)) (df q_1 u!`1) (expt p
3) (expt u!`1 5) (expt u!`2 4))) (minus (times 61696 (expt u (times 2 p)) (df 
q_1 u!`1) (expt p 2) (expt u!`1 5) (expt u!`2 4))) (minus (times 33792 (expt u (
times 2 p)) (df q_1 u!`1) p (expt u!`1 5) (expt u!`2 4))) (minus (times 74 (expt
u p) (df q_1 u!`1) (expt p 5) (expt u!`1 7) (expt u!`2 2))) (times 240 (expt u p
) (df q_1 u!`1) (expt p 4) (expt u!`1 7) (expt u!`2 2)) (times 3168 (expt u p) (
df q_1 u!`1) (expt p 3) (expt u!`1 7) (expt u!`2 2)) (times 5888 (expt u p) (df
q_1 u!`1) (expt p 2) (expt u!`1 7) (expt u!`2 2)) (times 3072 (expt u p) (df q_1
u!`1) p (expt u!`1 7) (expt u!`2 2))) (partitioned) (kern (df q_1 t u) (df q_1 u
u!`1) (df q_1 u x) (df q_1 u) (df q_1 u!`1) (expt u p) p u!`1 u!`2 u) (
fct_kern_lin) (fct_kern_nli) (fcts q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (
level 1 1 1 1) (derivs ((q_1 u u!`1) . 1) ((q_1 u x) . 1) ((q_1 t u) . 1) ((q_1
u!`1) . 1) ((q_1 u) . 1) ((p) . 5) ((p) . 4) ((p) . 3)) (no_derivs) (fcteval_lin
) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 84) (length . 254) (printlength . 1109) (rational q_1) (
nonrational p) (allvarfcts q_1) (starde) (dec_with) (dec_with_rl (0 e_30 e_19 
e_12 e_16 e_15 e_18 e_14 e_4 e_8)) (rl_with) (hom_deg) (split_test) (linear_) (
histry_)) (to_symbol to_under to_diff to_decoup))) ((q_1) (p)) nil)
$
end$