off echo$backup_:='
(((list) ("*** Start of level 2222" cm "*** Back to level 222" cm 
"*** Start of level 2221" cm "*** Start of level 222" cm "*** Back to level 22"
cm "*** Back to level 221" cm "*** Start of level 2212" cm "*** Back to level 221"
cm "*** Start of level 2211" cm "*** Start of level 221" cm 
"*** Start of level 22" cm "*** Back to level 2" cm "*** Back to level 21" cm 
"*** Back to level 212" cm "*** Back to level 2122" cm "*** Back to level 21222"
cm "*** Start of level 212222" cm "*** Back to level 21222" cm 
"*** Start of level 212221" cm "*** Start of level 21222" cm 
"*** Back to level 2122" cm "*** Back to level 21221" cm 
"*** Start of level 212212" cm "*** Back to level 21221" cm 
"*** Back to level 212211" cm "*** Start of level 2122112" cm 
"*** Back to level 212211" cm "*** Start of level 2122111" cm 
"*** Start of level 212211" cm "*** Start of level 21221" cm 
"*** Start of level 2122" cm "*** Back to level 212" cm "*** Back to level 2121"
cm "*** Back to level 21212" cm "*** Start of level 212122" cm 
"*** Back to level 21212" cm "*** Start of level 212121" cm 
"*** Start of level 21212" cm "*** Back to level 2121" cm 
"*** Back to level 21211" cm "*** Back to level 212112" cm 
"*** Back to level 2121122" cm "*** Back to level 21211222" cm 
"*** Start of level 212112222" cm "*** Back to level 21211222" cm 
"*** Start of level 212112221" cm "*** Start of level 21211222" cm 
"*** Back to level 2121122" cm "*** Start of level 21211221" cm 
"*** Start of level 2121122" cm "*** Back to level 212112" cm 
"*** Start of level 2121121" cm "*** Start of level 212112" cm 
"*** Back to level 21211" cm "*** Back to level 212111" cm 
"*** Start of level 2121112" cm "*** Back to level 212111" cm 
"*** Start of level 2121111" cm "*** Start of level 212111" cm 
"*** Start of level 21211" cm "*** Start of level 2121" cm 
"*** Start of level 212" cm "*** Back to level 21" cm "*** Start of level 211" 
cm "*** Start of level 21" cm "*** Start of level 2" cm "*** Back to level nil"
cm "*** Back to level 1" cm "*** Start of level 12" cm "*** Back to level 1" cm
"*** Back to level 11" cm "*** Back to level 112" cm "*** Start of level 1122" 
cm "*** Back to level 112" cm "*** Start of level 1121" cm 
"*** Start of level 112" cm "*** Back to level 11" cm "*** Back to level 111" cm
"*** Start of level 1112" cm "*** Back to level 111" cm "*** Start of level 1111"
cm "*** Start of level 111" cm "*** Start of level 11" cm "*** Start of level 1"
cm x g g !! ! g g!) 0 (2 2 2 2) 1 ((3 196 3680 30 73 322 557 28950662) (a 
"Start of " (2 2 2 2) ((equal 0 r498))) (z "Back to " (2 2 2) 0) (3 195 3630 30
73 322 557 28950662) (a "Start of " (2 2 2 1) ((ineq 0 r498))) (3 193 3590 31 76
341 583 28950662) (a "Start of " (2 2 2) ((equal 0 r4112))) (z "Back to " (2 2)
0) (z "Back to " (2 2 1) 0) (3 192 3520 22 36 150 247 28950662) (a "Start of " (
2 2 1 2) ((equal 0 a13))) (z "Back to " (2 2 1) 0) (3 191 3490 17 25 104 170 
28950662) (3 190 3470 18 29 123 201 28950662) (3 189 3460 19 31 128 209 28950662
) (3 188 3460 20 32 129 210 28950662) (3 187 3450 21 37 144 234 28950662) (3 186
3430 22 41 157 254 28950662) (a "Start of " (2 2 1 1) ((ineq 0 a13))) (3 184 
3410 23 42 166 271 28950662) (3 183 3390 24 45 197 325 28950662) (3 182 3380 25
47 200 330 28950662) (3 181 3370 26 51 209 345 28950662) (3 180 3360 27 54 217 
356 28950662) (3 179 3350 28 58 234 389 28950662) (3 178 3330 29 63 249 419 
28950662) (3 177 3320 30 67 266 452 28950662) (3 176 3270 31 77 343 585 28950662
) (a "Start of " (2 2 1) ((ineq 0 r4112))) (3 174 3220 32 78 362 612 28950662) (
a "Start of " (2 2) ((equal 0 r4101))) (z "Back to " (2) 7) (z "Back to " (2 1)
7) (z "Back to " (2 1 2) 2) (z "Back to " (2 1 2 2) 0) (z "Back to " (2 1 2 2 2)
0) (3 173 3120 10 5 12 20 28950662) (a "Start of " (2 1 2 2 2 2) ((equal 0 a22))
) (z "Back to " (2 1 2 2 2) 0) (3 172 3100 10 5 12 20 28950662) (a "Start of " (
2 1 2 2 2 1) ((ineq 0 a22))) (3 170 3090 11 7 17 28 28950662) (3 169 3080 12 10
24 39 28950662) (3 168 3070 13 12 29 46 28950662) (3 167 3060 14 15 39 63 
28950662) (3 166 3050 15 19 73 125 28950662) (a "Start of " (2 1 2 2 2) ((equal
0 (plus a22 (minus a33))))) (z "Back to " (2 1 2 2) 2) (z "Back to " (2 1 2 2 1)
0) (3 165 3010 12 11 44 87 28950662) (a "Start of " (2 1 2 2 1 2) ((equal 0 r460
))) (z "Back to " (2 1 2 2 1) 2) (z "Back to " (2 1 2 2 1 1) 1) (3 164 2980 7 1
2 2 28950662) (a "Start of " (2 1 2 2 1 1 2) ((equal 0 (plus (times (sqrt (minus
kap)) (abs b12)) (minus a22))))) (z "Back to " (2 1 2 2 1 1) 1) (3 163 2950 7 1
2 2 28950662) (a "Start of " (2 1 2 2 1 1 1) ((ineq 0 (plus (times (sqrt (minus
kap)) (abs b12)) (minus a22))))) (34 161 2930 7 1 2 4 28950662) (15 160 2920 8 2
6 10 28950662) (15 159 2910 9 4 14 26 28950662) (15 158 2900 10 7 27 47 28950662
) (15 157 2890 11 9 32 62 28950662) (3 156 2880 12 11 45 88 28950662) (a 
"Start of " (2 1 2 2 1 1) ((ineq 0 r460))) (15 154 2860 13 13 50 87 28950662) (
15 153 2850 14 16 63 111 28950662) (15 152 2840 15 19 73 125 28950662) (a 
"Start of " (2 1 2 2 1) ((ineq 0 (plus a22 (minus a33))))) (15 150 2820 16 20 77
128 28950662) (15 149 2810 17 21 88 140 28950662) (3 148 2790 18 22 106 168 
28950662) (a "Start of " (2 1 2 2) ((equal 0 (plus a11 (minus a22))))) (z 
"Back to " (2 1 2) 5) (z "Back to " (2 1 2 1) 0) (z "Back to " (2 1 2 1 2) 0) (3
147 2740 4 2 5 8 28950662) (a "Start of " (2 1 2 1 2 2) ((equal 0 (plus a11 (
minus (times 2 a22)))))) (z "Back to " (2 1 2 1 2) 0) (15 146 2720 4 2 6 12 
28950662) (a "Start of " (2 1 2 1 2 1) ((ineq 0 (plus a11 (minus (times 2 a22)))
))) (16 144 2710 5 3 17 52 28950662) (16 143 2700 6 4 24 77 28950662) (16 142 
2690 7 6 34 99 28950662) (15 141 2680 8 7 42 114 28950662) (15 140 2670 9 8 47 
121 28950662) (15 139 2670 10 9 52 128 28950662) (15 138 2660 11 11 53 114 
28950662) (15 137 2650 12 13 62 125 28950662) (15 136 2630 13 15 71 129 28950662
) (15 135 2620 14 17 76 127 28950662) (3 134 2600 15 19 91 153 28950662) (a 
"Start of " (2 1 2 1 2) ((equal 0 (plus a22 (minus a33))))) (z "Back to " (2 1 2
1) 5) (z "Back to " (2 1 2 1 1) 3) (z "Back to " (2 1 2 1 1 2) 3) (z "Back to "
(2 1 2 1 1 2 2) 2) (z "Back to " (2 1 2 1 1 2 2 2) 1) (3 133 2540 4 1 2 2 
28950662) (a "Start of " (2 1 2 1 1 2 2 2 2) ((equal 0 (plus (times (sqrt (minus
kap)) (abs b12)) (minus (times 2 a33)))))) (z "Back to " (2 1 2 1 1 2 2 2) 1) (3
132 2520 4 1 2 2 28950662) (a "Start of " (2 1 2 1 1 2 2 2 1) ((ineq 0 (plus (
times (sqrt (minus kap)) (abs b12)) (minus (times 2 a33)))))) (34 130 2490 4 1 2
4 28950662) (a "Start of " (2 1 2 1 1 2 2 2) ((equal 0 (plus (times 4 (expt a33
2)) (times (expt b12 2) kap))))) (z "Back to " (2 1 2 1 1 2 2) 1) (15 129 2480 4
1 2 6 28950662) (a "Start of " (2 1 2 1 1 2 2 1) ((ineq 0 (plus (times 4 (expt 
a33 2)) (times (expt b12 2) kap))))) (1 127 2460 5 2 8 22 28950662) (a "Start of "
(2 1 2 1 1 2 2) nil) (z "Back to " (2 1 2 1 1 2) 0) (1 126 2440 5 3 8 21 
28950662) (a "Start of " (2 1 2 1 1 2 1) ((equal 0 a33))) (16 124 2430 6 3 23 72
28950662) (3 123 2420 7 4 37 119 28950662) (a "Start of " (2 1 2 1 1 2) ((equal
0 (plus a11 (minus (times 2 a33)))))) (z "Back to " (2 1 2 1 1) 2) (z "Back to "
(2 1 2 1 1 1) 1) (3 122 2390 4 1 1 1 28950662) (15 121 2380 5 2 16 73 28950662)
(a "Start of " (2 1 2 1 1 1 2) ((equal 0 (plus (times a11 a22) (times (expt b12
2) kap))))) (z "Back to " (2 1 2 1 1 1) 1) (3 120 2360 4 1 1 1 28950662) (15 119
2350 5 2 17 75 28950662) (a "Start of " (2 1 2 1 1 1 1) ((ineq 0 (plus (times 
a11 a22) (times (expt b12 2) kap))))) (18 117 2330 6 3 37 133 28950662) (15 116
2310 7 4 39 124 28950662) (a "Start of " (2 1 2 1 1 1) ((ineq 0 (plus a11 (minus
(times 2 a33)))))) (16 114 2290 8 5 49 157 28950662) (16 113 2280 9 7 56 141 
28950662) (15 112 2270 10 8 62 153 28950662) (15 111 2260 11 9 60 146 28950662)
(15 110 2250 12 11 58 120 28950662) (15 109 2240 13 14 73 144 28950662) (15 108
2220 14 16 81 139 28950662) (15 107 2210 15 19 91 153 28950662) (a "Start of " (
2 1 2 1 1) ((ineq 0 (plus a22 (minus a33))))) (15 105 2190 16 20 95 156 28950662
) (15 104 2180 17 21 104 166 28950662) (3 103 2170 18 22 105 167 28950662) (a 
"Start of " (2 1 2 1) ((ineq 0 (plus a11 (minus a22))))) (3 101 2160 19 23 107 
171 28950662) (3 100 2150 20 25 112 179 28950662) (3 99 2150 21 26 115 182 
28950662) (3 98 2140 22 30 125 202 28950662) (3 97 2120 23 35 140 227 28950662)
(3 96 2110 24 38 154 249 28950662) (3 95 2090 25 42 207 339 28950662) (a 
"Start of " (2 1 2) ((equal 0 a13))) (z "Back to " (2 1) 0) (3 94 2050 25 46 214
346 28950662) (a "Start of " (2 1 1) ((ineq 0 a13))) (3 92 2030 26 48 217 356 
28950662) (3 91 2020 27 52 226 371 28950662) (3 90 2010 28 55 234 382 28950662)
(3 89 1990 29 59 251 415 28950662) (3 88 1980 30 64 266 445 28950662) (3 87 1960
31 69 285 482 28950662) (3 86 1910 32 78 362 612 28950662) (a "Start of " (2 1)
((ineq 0 r4101))) (3 84 1870 33 79 369 621 28950662) (3 83 1850 34 81 380 635 
28950662) (3 82 1820 35 82 400 662 28950662) (3 81 1800 36 83 410 675 28950662)
(3 80 1780 37 84 422 695 28950662) (3 79 1760 38 85 434 712 28950662) (3 78 1730
39 87 450 741 28950662) (3 77 1710 40 90 469 769 28950662) (3 76 1690 41 92 482
786 28950662) (3 75 1660 42 95 501 807 28950662) (3 74 1630 43 97 519 831 
28950662) (3 73 1610 44 98 538 853 28950662) (3 72 1590 45 100 550 872 28950662)
(3 71 1560 46 103 570 895 28950662) (3 70 1510 47 107 615 992 28950662) (a 
"Start of " (2) ((equal 0 r495))) (z "Back to " nil 4) (z "Back to " (1) 0) (3 
69 1440 15 13 24 24 28950662) (3 68 1430 16 14 25 25 28950662) (3 67 1430 17 15
26 26 28950662) (3 66 1420 18 16 27 27 28950662) (3 65 1410 19 19 32 32 28950662
) (3 64 1410 20 20 33 33 28950662) (3 63 1400 21 22 36 36 28950662) (3 62 1390 
22 24 40 40 28950662) (3 61 1380 23 26 44 44 28950662) (3 60 1350 24 38 128 218
28950662) (a "Start of " (1 2) ((equal 0 a22))) (z "Back to " (1) 4) (z "Back to "
(1 1) 2) (z "Back to " (1 1 2) 1) (3 59 1300 7 1 2 2 28950662) (a "Start of " (1
1 2 2) ((equal 0 (plus (times (sqrt (minus kap)) (abs b12)) (minus a22))))) (z 
"Back to " (1 1 2) 1) (3 58 1280 7 1 2 2 28950662) (a "Start of " (1 1 2 1) ((
ineq 0 (plus (times (sqrt (minus kap)) (abs b12)) (minus a22))))) (34 56 1260 7
1 2 4 28950662) (15 55 1250 8 2 5 9 28950662) (15 54 1240 9 3 8 14 28950662) (15
53 1240 10 8 32 64 28950662) (15 52 1230 11 9 32 54 28950662) (15 51 1220 12 12
40 76 28950662) (3 50 1210 13 15 51 97 28950662) (15 49 1200 14 17 57 115 
28950662) (3 48 1190 15 19 62 122 28950662) (3 47 1180 16 22 74 140 28950662) (3
46 1170 17 23 80 168 28950662) (a "Start of " (1 1 2) ((equal 0 r460))) (z 
"Back to " (1 1) 2) (z "Back to " (1 1 1) 1) (3 45 1130 8 1 2 2 28950662) (a 
"Start of " (1 1 1 2) ((equal 0 (plus (times (sqrt (minus kap)) (abs b12)) (
minus a22))))) (z "Back to " (1 1 1) 1) (3 44 1110 8 1 2 2 28950662) (a 
"Start of " (1 1 1 1) ((ineq 0 (plus (times (sqrt (minus kap)) (abs b12)) (minus
a22))))) (34 42 1080 8 1 2 4 28950662) (16 41 1070 9 4 15 51 28950662) (15 40 
1060 10 5 18 56 28950662) (15 39 1050 11 10 42 106 28950662) (15 38 1040 12 11 
42 96 28950662) (15 37 1020 13 13 51 111 28950662) (15 36 1010 14 14 54 106 
28950662) (15 35 1000 15 17 62 128 28950662) (3 34 990 16 21 75 153 28950662) (
15 33 980 17 23 81 171 28950662) (a "Start of " (1 1 1) ((ineq 0 r460))) (15 31
960 18 25 86 168 28950662) (15 30 940 19 28 96 193 28950662) (15 29 930 20 30 
101 189 28950662) (3 28 910 21 33 111 203 28950662) (15 27 900 22 34 114 206 
28950662) (15 26 880 23 36 121 205 28950662) (3 25 860 24 38 129 219 28950662) (
a "Start of " (1 1) ((ineq 0 a22))) (3 23 810 25 42 179 301 28950662) (15 22 800
26 45 191 318 28950662) (15 21 780 27 46 193 309 28950662) (15 20 750 28 47 200
317 28950662) (3 19 710 29 49 222 359 28950662) (3 18 710 30 50 223 360 28950662
) (3 17 700 31 51 224 361 28950662) (3 16 680 32 53 229 369 28950662) (3 15 670
33 54 232 372 28950662) (3 14 660 34 56 237 380 28950662) (3 13 650 35 60 247 
400 28950662) (3 12 640 36 61 250 403 28950662) (3 11 620 37 65 260 423 28950662
) (3 10 610 38 68 269 440 28950662) (3 9 600 39 73 284 465 28950662) (3 8 580 40
77 295 486 28950662) (3 7 560 41 79 304 501 28950662) (3 6 540 42 81 316 516 
28950662) (3 5 520 43 84 326 530 28950662) (3 4 510 44 86 334 538 28950662) (3 3
480 45 89 348 553 28950662) (3 2 370 46 96 479 773 28950662) (3 1 270 47 109 618
995 28950662) (a "Start of " (1) ((ineq 0 r495))) (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 198 nil) (nil t nil nil nil t
(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 322 50 200 50 10 3
t nil nil nil 100 nil "http://lie.math.brocku.ca/crack/src" nil nil nil 0 e_ nil
"" nil nil 1000 (r4114 r434 r499 r464 r4103 r468 r4118 r463 r4123 r453 r487 
r4119 r496 r452 r451 r454 r489 r469 r486 r467 r4110 r460 r457) c_ nil nil 0 nil
10000 t t (r4114 r434 r499 r464 r4103 r468 r4118 r463 r4123 r453 r487 r4119 r496
r452 r451 r454 r489 r469 r486 r467 r4110 r460 r457 a11 a33 a13 a23 a22 b12) 15 
15 reduce 300 t nil nil (((((b12 . 1) . 1)) . 1)) (((((((r451 . 1) . 1)) . 1)) (
((((r434 . 1) . 1)) . 1)) (((((r452 . 1) . 1)) . 1)) (((((r453 . 1) . 1)) . 1))
(((((r454 . 1) . 1)) . 1)) (((((r457 . 1) . 1)) . 1)) (((((r460 . 1) . 1)) . 1))
(((((r463 . 1) . 1)) . 1)) (((((r464 . 1) . 1)) . 1)) (((((r467 . 1) . 1)) . 1))
(((((r468 . 1) . 1)) . 1)) (((((r469 . 1) . 1)) . 1)) (((((r486 . 1) . 1)) . 1))
(((((r487 . 1) . 1)) . 1)) (((((r489 . 1) . 1)) . 1)) (((((r496 . 1) . 1)) . 1))
(((((r499 . 1) . 1)) . 1)) (((((r4103 . 1) . 1)) . 1)) (((((r4110 . 1) . 1)) . 1
)) (((((r4114 . 1) . 1)) . 1)) (((((r4118 . 1) . 1)) . 1)) (((((r4119 . 1) . 1))
 . 1)) (((((r4123 . 1) . 1)) . 1)))) nil nil nil nil 28950662 ((subst r498 nil)
(subst r4112 nil) (subst r4101 nil) (subst r433 nil) (subst r432 nil) (subst 
r431 nil) (subst r488 nil) (subst r4104 nil) (subst r4124 nil) (subst r4102 nil)
(subst r4113 nil) (subst r466 nil) (subst r461 nil) (subst r462 nil) (subst r497
nil) (subst r4122 nil) (subst r4116 nil) (subst r495 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 230 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_221 e_222 e_223 e_224 e_225 e_226 e_227 e_228 e_169) e_220 e_219 e_4
e_190 e_166 e_127 e_136 e_167 e_165 e_131 e_3 e_113 e_158 e_145 e_126 e_148 
e_146 e_128 e_5 e_1 e_2 e_229) nil nil nil t "bu749663-" t 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) nil) ((e_149 ((sqval (((a13 . 1) ((r463 . 1) . 1))) . 1) (fac (((
(r463 . 1) . 1)) . 1) ((((a13 . 1) . 1)) . 1)) (pval) (partitioned) (kern a13 
r463) (fct_kern_lin) (fct_kern_nli) (fcts r463 a13) (vars) (nvars . 0) (level 2
2 2 2) (derivs ((r463) . 1) ((a13) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca)
(fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 1
) (length . 2) (printlength . 3) (rational r463 a13) (nonrational) (allvarfcts 
r463 a13) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test
 . 1) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint)) (e_111 ((sqval (((a23 . 1) ((r467 . 1) . 1))) . 1) (fac ((((r467 . 
1) . 1)) . 1) ((((a23 . 1) . 1)) . 1)) (pval) (partitioned) (kern a23 r467) (
fct_kern_lin) (fct_kern_nli) (fcts r467 a23) (vars) (nvars . 0) (level 2 2) (
derivs ((r467) . 1) ((a23) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 1)
(length . 2) (printlength . 3) (rational r467 a23) (nonrational) (allvarfcts 
r467 a23) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test
 . 1) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint)) (e_110 ((sqval (((a13 . 1) ((r467 . 1) . 1))) . 1) (fac ((((r467 . 
1) . 1)) . 1) ((((a13 . 1) . 1)) . 1)) (pval) (partitioned) (kern a13 r467) (
fct_kern_lin) (fct_kern_nli) (fcts r467 a13) (vars) (nvars . 0) (level 2 2) (
derivs ((r467) . 1) ((a13) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 1)
(length . 2) (printlength . 3) (rational r467 a13) (nonrational) (allvarfcts 
r467 a13) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test
 . 1) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint)) (e_135 ((sqval (((a23 . 1) ((r460 . 1) . 1))) . 1) (fac ((((a23 . 1
) . 1)) . 1) ((((r460 . 1) . 1)) . 1)) (pval) (partitioned) (kern a23 r460) (
fct_kern_lin) (fct_kern_nli) (fcts r460 a23) (vars) (nvars . 0) (level 2) (
derivs ((r460) . 1) ((a23) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 1)
(length . 2) (printlength . 3) (rational r460 a23) (nonrational) (allvarfcts 
r460 a23) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test
 . 1) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint)) (e_130 ((sqval (((a13 . 1) ((r460 . 1) . 1))) . 1) (fac ((((a13 . 1
) . 1)) . 1) ((((r460 . 1) . 1)) . 1)) (pval) (partitioned) (kern a13 r460) (
fct_kern_lin) (fct_kern_nli) (fcts r460 a13) (vars) (nvars . 0) (level 2) (
derivs ((r460) . 1) ((a13) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 1)
(length . 2) (printlength . 3) (rational r460 a13) (nonrational) (allvarfcts 
r460 a13) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test
 . 1) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint)) (e_112 ((sqval (((a22 . 1) ((r4110 . 1) . 1) ((r457 . 1) . -1))) . 
1) (fac ((((a22 . 1) . 1)) . 1) ((((r4110 . 1) . 1) ((r457 . 1) . -1)) . 1)) (
pval) (partitioned) (kern a22 r4110 r457) (fct_kern_lin) (fct_kern_nli) (fcts 
r4110 r457 a22) (vars) (nvars . 0) (level 2 2) (derivs ((r4110) . 1) ((r457) . 1
) ((a22) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 3)
(printlength . 5) (rational r4110 r457 a22) (nonrational) (allvarfcts r4110 r457
a22) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test . 1)
(linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_138 ((sqval (((a23 . 1) ((r4110 . 1) . 1) ((r457 . 1) . -1))) . 1)
(fac ((((a23 . 1) . 1)) . 1) ((((r4110 . 1) . 1) ((r457 . 1) . -1)) . 1)) (pval)
(partitioned) (kern a23 r4110 r457) (fct_kern_lin) (fct_kern_nli) (fcts r4110 
r457 a23) (vars) (nvars . 0) (level 2) (derivs ((r4110) . 1) ((r457) . 1) ((a23)
 . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 3) (printlength
 . 5) (rational r4110 r457 a23) (nonrational) (allvarfcts r4110 r457 a23) (
starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test . 1) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_137 ((sqval (((a13 . 1) ((r4110 . 1) . 1) ((r457 . 1) . -1))) . 1)
(fac ((((a13 . 1) . 1)) . 1) ((((r4110 . 1) . 1) ((r457 . 1) . -1)) . 1)) (pval)
(partitioned) (kern a13 r4110 r457) (fct_kern_lin) (fct_kern_nli) (fcts r4110 
r457 a13) (vars) (nvars . 0) (level 2) (derivs ((r4110) . 1) ((r457) . 1) ((a13)
 . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 3) (printlength
 . 5) (rational r4110 r457 a13) (nonrational) (allvarfcts r4110 r457 a13) (
starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test . 1) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_6 ((sqval (((r4110 . 1) . 1) ((r457 . 1) . -1) ((r460 . 1) . 1)) . 
1) (fac . 2) (pval) (partitioned) (kern r4110 r457 r460) (fct_kern_lin) (
fct_kern_nli) (fcts r4110 r460 r457) (vars) (nvars . 0) (level) (derivs ((r4110)
 . 1) ((r460) . 1) ((r457) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3)
(length . 3) (printlength . 6) (rational r4110 r460 r457) (nonrational) (
allvarfcts r4110 r460 r457) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg
1 0) (split_test) (linear_ . t) (histry_)) (to_symbol to_under to_diff to_decoup
to_int to_fullint to_eval)) (e_129 ((sqval (((a13 . 1) ((r496 . 1) . 2)) ((b12
 . 1) ((r4123 . 1) . 3))) . 1) (fac . 2) (pval) (partitioned) (kern a13 b12 
r4123 r496) (fct_kern_lin) (fct_kern_nli) (fcts r4123 r496 a13 b12) (vars) (
nvars . 0) (level 2 2 2) (derivs ((r4123) . 1) ((r496) . 1) ((a13) . 1) ((b12)
 . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 4) (printlength
 . 6) (rational r4123 r496 a13 b12) (nonrational) (allvarfcts r4123 r496 a13 b12
) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_192 ((sqval (((a13 . 1) ((r468 . 1) . 1)) ((a23 . 1) ((r4103 . 1)
 . -1))) . 1) (fac . 2) (pval) (partitioned) (kern a13 a23 r4103 r468) (
fct_kern_lin) (fct_kern_nli) (fcts r4103 r468 a13 a23) (vars) (nvars . 0) (level
2) (derivs ((r4103) . 1) ((r468) . 1) ((a13) . 1) ((a23) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 4) (printlength . 6) (rational
r4103 r468 a13 a23) (nonrational) (allvarfcts r4103 r468 a13 a23) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)
) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_177 ((
sqval (((a13 . 1) ((r4118 . 1) . 1)) ((a23 . 1) ((r4123 . 1) . -1))) . 1) (fac
 . 2) (pval) (partitioned) (kern a13 a23 r4123 r4118) (fct_kern_lin) (
fct_kern_nli) (fcts r4118 r4123 a13 a23) (vars) (nvars . 0) (level 2) (derivs ((
r4118) . 1) ((r4123) . 1) ((a13) . 1) ((a23) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 2) (length . 4) (printlength . 6) (rational r4118 r4123 
a13 a23) (nonrational) (allvarfcts r4118 r4123 a13 a23) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_152 ((sqval
(((a23 . 1) ((r457 . 1) . 4)) ((b12 . 1) ((r486 . 1) . 1))) . 1) (fac . 2) (pval
) (partitioned) (kern a23 b12 r486 r457) (fct_kern_lin) (fct_kern_nli) (fcts 
r486 r457 a23 b12) (vars) (nvars . 0) (level 2) (derivs ((r486) . 1) ((r457) . 1
) ((a23) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli)
(fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 4)
(printlength . 6) (rational r486 r457 a23 b12) (nonrational) (allvarfcts r486 
r457 a23 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (
split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_147 ((sqval (((a13 . 1) ((r457 . 1) . 4)) ((b12 . 1) ((
r451 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned) (kern a13 b12 r451 r457) (
fct_kern_lin) (fct_kern_nli) (fcts r451 r457 a13 b12) (vars) (nvars . 0) (level
2) (derivs ((r451) . 1) ((r457) . 1) ((a13) . 1) ((b12) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 4) (printlength . 6) (rational
r451 r457 a13 b12) (nonrational) (allvarfcts r451 r457 a13 b12) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)
) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_23 ((
sqval (((a13 . 1) ((r454 . 1) . 1)) ((a23 . 1) ((r489 . 1) . -1))) . 1) (fac . 2
) (pval) (partitioned) (kern a13 a23 r489 r454) (fct_kern_lin) (fct_kern_nli) (
fcts r454 r489 a13 a23) (vars) (nvars . 0) (level) (derivs ((r454) . 1) ((r489)
 . 1) ((a13) . 1) ((a23) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 2)
(length . 4) (printlength . 6) (rational r454 r489 a13 a23) (nonrational) (
allvarfcts r454 r489 a13 a23) (starde) (dec_with) (dec_with_rl) (rl_with) (
hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff 
to_decoup to_int to_fullint to_eval)) (e_22 ((sqval (((a22 . 1) ((r460 . 1) . 2)
) ((b12 . 1) ((r467 . 1) . 1))) . 1) (fac . 2) (pval) (partitioned) (kern a22 
b12 r467 r460) (fct_kern_lin) (fct_kern_nli) (fcts r467 r460 a22 b12) (vars) (
nvars . 0) (level) (derivs ((r467) . 1) ((r460) . 1) ((a22) . 1) ((b12) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 4) (printlength . 6) (rational
r467 r460 a22 b12) (nonrational) (allvarfcts r467 r460 a22 b12) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)
) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_21 ((
sqval (((a22 . 1) ((r467 . 1) . 1)) ((b12 . 1) ((r469 . 1) . 2))) . 1) (fac . 2)
(pval) (partitioned) (kern a22 b12 r469 r467) (fct_kern_lin) (fct_kern_nli) (
fcts r469 r467 a22 b12) (vars) (nvars . 0) (level) (derivs ((r469) . 1) ((r467)
 . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 2)
(length . 4) (printlength . 6) (rational r469 r467 a22 b12) (nonrational) (
allvarfcts r469 r467 a22 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (
hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff 
to_decoup to_int to_fullint to_eval)) (e_17 ((sqval (((a23 . 1) ((r4110 . 1) . 4
)) ((b12 . 1) ((r486 . 1) . 1))) . 1) (fac . 2) (pval) (partitioned) (kern a23 
b12 r486 r4110) (fct_kern_lin) (fct_kern_nli) (fcts r486 r4110 a23 b12) (vars) (
nvars . 0) (level) (derivs ((r486) . 1) ((r4110) . 1) ((a23) . 1) ((b12) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 2) (length . 4) (printlength . 6) (rational
r486 r4110 a23 b12) (nonrational) (allvarfcts r486 r4110 a23 b12) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)
) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_139 ((
sqval (((a13 . 1) ((r4110 . 1) . 4) ((r460 . 1) . 4)) ((b12 . 1) ((r451 . 1) . 
-1))) . 1) (fac . 2) (pval) (partitioned) (kern a13 b12 r451 r4110 r460) (
fct_kern_lin) (fct_kern_nli) (fcts r451 r4110 r460 a13 b12) (vars) (nvars . 0) (
level 2 2 2 2) (derivs ((r451) . 1) ((r4110) . 1) ((r460) . 1) ((a13) . 1) ((b12
) . 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
 . 8) (rational r451 r4110 r460 a13 b12) (nonrational) (allvarfcts r451 r4110 
r460 a13 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (
split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_155 ((sqval (((a23 . 1) ((r4110 . 1) . 4) ((r457 . 1) . 
-4)) ((b12 . 1) ((r463 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned) (kern 
a23 b12 r463 r4110 r457) (fct_kern_lin) (fct_kern_nli) (fcts r463 r4110 r457 a23
b12) (vars) (nvars . 0) (level 2) (derivs ((r463) . 1) ((r4110) . 1) ((r457) . 1
) ((a23) . 1) ((b12) . 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 . 8) (rational r463 r4110 r457 a23 b12) (nonrational) (allvarfcts 
r463 r4110 r457 a23 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1
1) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup 
to_int to_fullint to_eval)) (e_38 ((sqval (((a33 . 1) ((r4110 . 1) . 4) ((r457
 . 1) . -4)) ((b12 . 1) ((r496 . 1) . 1))) . 1) (fac . 2) (pval) (partitioned) (
kern a33 b12 r496 r4110 r457) (fct_kern_lin) (fct_kern_nli) (fcts r496 r4110 
r457 a33 b12) (vars) (nvars . 0) (level) (derivs ((r496) . 1) ((r4110) . 1) ((
r457) . 1) ((a33) . 1) ((b12) . 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 . 8) (rational r496 r4110 r457 a33 b12) (nonrational)
(allvarfcts r496 r4110 r457 a33 b12) (starde) (dec_with) (dec_with_rl) (rl_with)
(hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff 
to_decoup to_int to_fullint to_eval)) (e_210 ((sqval (((a11 . 1) ((r452 . 1) . 2
)) ((a13 . 1) ((r463 . 1) . -1)) ((a22 . 1) ((r452 . 1) . -2))) . 1) (fac . 2) (
pval) (partitioned) (kern a11 a13 a22 r452 r463) (fct_kern_lin) (fct_kern_nli) (
fcts r463 r452 a11 a13 a22) (vars) (nvars . 0) (level 2 2 2 2) (derivs ((r463)
 . 1) ((r452) . 1) ((a11) . 1) ((a13) . 1) ((a22) . 1)) (no_derivs) (fcteval_lin
) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 3) (length . 6) (printlength . 9) (rational r463 r452 a11
a13 a22) (nonrational) (allvarfcts r463 r452 a11 a13 a22) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_140 ((sqval
(((a11 . 1) ((r451 . 1) . 4)) ((a22 . 1) ((r451 . 1) . -4)) ((b12 . 1) ((r4103
 . 1) . 3))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a22 b12 r4103 r451) (
fct_kern_lin) (fct_kern_nli) (fcts r4103 r451 a11 a22 b12) (vars) (nvars . 0) (
level 2 2 2 2) (derivs ((r4103) . 1) ((r451) . 1) ((a11) . 1) ((a22) . 1) ((b12)
 . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 6) (printlength
 . 9) (rational r4103 r451 a11 a22 b12) (nonrational) (allvarfcts r4103 r451 a11
a22 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test)
(linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_132 ((sqval (((a11 . 1) ((r452 . 1) . 1)) ((a13 . 1) ((r463 . 1) . 
1)) ((a22 . 1) ((r452 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned) (kern a11
a13 a22 r452 r463) (fct_kern_lin) (fct_kern_nli) (fcts r463 r452 a11 a13 a22) (
vars) (nvars . 0) (level 2 2 2) (derivs ((r463) . 1) ((r452) . 1) ((a11) . 1) ((
a13) . 1) ((a22) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 6)
(printlength . 9) (rational r463 r452 a11 a13 a22) (nonrational) (allvarfcts 
r463 r452 a11 a13 a22) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1)
(split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_153 ((sqval (((a13 . 1) ((r486 . 1) . 4)) ((a23 . 1) ((
r451 . 1) . 6)) ((b12 . 1) ((r499 . 1) . -1))) . 1) (fac . 2) (pval) (
partitioned) (kern a13 a23 b12 r499 r451 r486) (fct_kern_lin) (fct_kern_nli) (
fcts r499 r451 r486 a13 a23 b12) (vars) (nvars . 0) (level 2 2 2) (derivs ((r499
) . 1) ((r451) . 1) ((r486) . 1) ((a13) . 1) ((a23) . 1) ((b12) . 1)) (no_derivs
) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 6) (printlength . 9) (rational
r499 r451 r486 a13 a23 b12) (nonrational) (allvarfcts r499 r451 r486 a13 a23 b12
) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_118 ((sqval (((a23 . 1) ((r463 . 1) . 1)) ((a33 . 1) ((r467 . 1) . 
1)) ((b12 . 1) ((r469 . 1) . 2))) . 1) (fac . 2) (pval) (partitioned) (kern a23
a33 b12 r469 r467 r463) (fct_kern_lin) (fct_kern_nli) (fcts r463 r469 r467 a33 
a23 b12) (vars) (nvars . 0) (level 2 2) (derivs ((r463) . 1) ((r469) . 1) ((r467
) . 1) ((a33) . 1) ((a23) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 3) (length . 6) (printlength . 9) (rational r463 r469 r467
a33 a23 b12) (nonrational) (allvarfcts r463 r469 r467 a33 a23 b12) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)
) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_116 ((
sqval (((a11 . 1) ((r496 . 1) . 1)) ((a22 . 1) ((r496 . 1) . -1)) ((b12 . 1) ((
r4119 . 1) . 2))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a22 b12 r4119 
r496) (fct_kern_lin) (fct_kern_nli) (fcts r4119 r496 a11 a22 b12) (vars) (nvars
 . 0) (level 2 2) (derivs ((r4119) . 1) ((r496) . 1) ((a11) . 1) ((a22) . 1) ((
b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 6) (printlength
 . 9) (rational r4119 r496 a11 a22 b12) (nonrational) (allvarfcts r4119 r496 a11
a22 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test)
(linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_115 ((sqval (((a11 . 1) ((r463 . 1) . 1)) ((a22 . 1) ((r463 . 1) . 
-1)) ((a23 . 1) ((r467 . 1) . 3))) . 1) (fac . 2) (pval) (partitioned) (kern a11
a22 a23 r467 r463) (fct_kern_lin) (fct_kern_nli) (fcts r463 r467 a11 a23 a22) (
vars) (nvars . 0) (level 2 2) (derivs ((r463) . 1) ((r467) . 1) ((a11) . 1) ((
a23) . 1) ((a22) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 6)
(printlength . 9) (rational r463 r467 a11 a23 a22) (nonrational) (allvarfcts 
r463 r467 a11 a23 a22) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1)
(split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_208 ((sqval (((a23 . 1) ((r487 . 1) . 2)) ((a33 . 1) ((
r486 . 1) . 2)) ((b12 . 1) ((r454 . 1) . -1))) . 1) (fac . 2) (pval) (
partitioned) (kern a23 a33 b12 r454 r486 r487) (fct_kern_lin) (fct_kern_nli) (
fcts r487 r454 r486 a33 a23 b12) (vars) (nvars . 0) (level 2) (derivs ((r487) . 
1) ((r454) . 1) ((r486) . 1) ((a33) . 1) ((a23) . 1) ((b12) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 6) (printlength . 9) (rational
r487 r454 r486 a33 a23 b12) (nonrational) (allvarfcts r487 r454 r486 a33 a23 b12
) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_205 ((sqval (((a13 . 1) ((r453 . 1) . 2)) ((a33 . 1) ((r451 . 1) . 
2)) ((b12 . 1) ((r489 . 1) . 1))) . 1) (fac . 2) (pval) (partitioned) (kern a13
a33 b12 r489 r451 r453) (fct_kern_lin) (fct_kern_nli) (fcts r453 r451 r489 a33 
a13 b12) (vars) (nvars . 0) (level 2) (derivs ((r453) . 1) ((r451) . 1) ((r489)
 . 1) ((a33) . 1) ((a13) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 3) (length . 6) (printlength . 9) (rational r453 r451 r489
a33 a13 b12) (nonrational) (allvarfcts r453 r451 r489 a33 a13 b12) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)
) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_173 ((
sqval (((a11 . 1) ((r486 . 1) . 2)) ((a23 . 1) ((r487 . 1) . -4)) ((b12 . 1) ((
r4118 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a23 b12 r4118 
r487 r486) (fct_kern_lin) (fct_kern_nli) (fcts r4118 r487 r486 a11 a23 b12) (
vars) (nvars . 0) (level 2) (derivs ((r4118) . 1) ((r487) . 1) ((r486) . 1) ((
a11) . 1) ((a23) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3)
(length . 6) (printlength . 9) (rational r4118 r487 r486 a11 a23 b12) (
nonrational) (allvarfcts r4118 r487 r486 a11 a23 b12) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_201 ((sqval
(((a11 . 1) ((r4118 . 1) . 1)) ((a22 . 1) ((r4118 . 1) . -1)) ((a23 . 1) ((r4119
 . 1) . 2))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a22 a23 r4119 r4118)
(fct_kern_lin) (fct_kern_nli) (fcts r4118 r4119 a11 a23 a22) (vars) (nvars . 0)
(level 2) (derivs ((r4118) . 1) ((r4119) . 1) ((a11) . 1) ((a23) . 1) ((a22) . 1
)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 6) (printlength
 . 9) (rational r4118 r4119 a11 a23 a22) (nonrational) (allvarfcts r4118 r4119 
a11 a23 a22) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (
split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_200 ((sqval (((a11 . 1) ((r4123 . 1) . 1)) ((a13 . 1) ((
r4119 . 1) . 2)) ((a22 . 1) ((r4123 . 1) . -1))) . 1) (fac . 2) (pval) (
partitioned) (kern a11 a13 a22 r4123 r4119) (fct_kern_lin) (fct_kern_nli) (fcts
r4123 r4119 a11 a13 a22) (vars) (nvars . 0) (level 2) (derivs ((r4123) . 1) ((
r4119) . 1) ((a11) . 1) ((a13) . 1) ((a22) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 3) (length . 6) (printlength . 9) (rational r4123 r4119 
a11 a13 a22) (nonrational) (allvarfcts r4123 r4119 a11 a13 a22) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)
) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_171 ((
sqval (((a11 . 1) ((r486 . 1) . 4)) ((a22 . 1) ((r486 . 1) . -4)) ((b12 . 1) ((
r4118 . 1) . 3))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a22 b12 r4118 
r486) (fct_kern_lin) (fct_kern_nli) (fcts r4118 r486 a11 a22 b12) (vars) (nvars
 . 0) (level 2) (derivs ((r4118) . 1) ((r486) . 1) ((a11) . 1) ((a22) . 1) ((b12
) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 6) (printlength
 . 9) (rational r4118 r486 a11 a22 b12) (nonrational) (allvarfcts r4118 r486 a11
a22 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test)
(linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_156 ((sqval (((a23 . 1) ((r4110 . 1) . 4) ((r457 . 1) . -4) ((r460
 . 1) . -4)) ((b12 . 1) ((r463 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned)
(kern a23 b12 r463 r4110 r457 r460) (fct_kern_lin) (fct_kern_nli) (fcts r463 
r4110 r460 r457 a23 b12) (vars) (nvars . 0) (level 2) (derivs ((r463) . 1) ((
r4110) . 1) ((r460) . 1) ((r457) . 1) ((a23) . 1) ((b12) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 4) (length . 6) (printlength . 10) (rational
r463 r4110 r460 r457 a23 b12) (nonrational) (allvarfcts r463 r4110 r460 r457 a23
b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_48 ((sqval (((a33 . 1) ((r4110 . 1) . 4) ((r457 . 1) . -4)) ((b12
 . 1) ((r453 . 1) . -1) ((r487 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned)
(kern a33 b12 r453 r487 r4110 r457) (fct_kern_lin) (fct_kern_nli) (fcts r453 
r487 r4110 r457 a33 b12) (vars) (nvars . 0) (level) (derivs ((r453) . 1) ((r487)
 . 1) ((r4110) . 1) ((r457) . 1) ((a33) . 1) ((b12) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 4) (length . 6) (printlength . 10) (rational
r453 r487 r4110 r457 a33 b12) (nonrational) (allvarfcts r453 r487 r4110 r457 a33
b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_39 ((sqval (((a11 . 1) ((r457 . 1) . 2)) ((a22 . 1) ((r4110 . 1) . 
-2)) ((b12 . 1) ((r496 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned) (kern 
a11 a22 b12 r496 r4110 r457) (fct_kern_lin) (fct_kern_nli) (fcts r496 r4110 r457
a11 a22 b12) (vars) (nvars . 0) (level) (derivs ((r496) . 1) ((r4110) . 1) ((
r457) . 1) ((a11) . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 3) (length . 6) (printlength . 9) (rational r496 r4110 
r457 a11 a22 b12) (nonrational) (allvarfcts r496 r4110 r457 a11 a22 b12) (starde
) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (
histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (
e_213 ((sqval (((a13 . 1) ((r453 . 1) . 2) ((r487 . 1) . 2)) ((a23 . 1) ((r452
 . 1) . -4)) ((b12 . 1) ((r4123 . 1) . -3))) . 1) (fac . 2) (pval) (partitioned)
(kern a13 a23 b12 r4123 r452 r453 r487) (fct_kern_lin) (fct_kern_nli) (fcts 
r4123 r453 r487 r452 a13 a23 b12) (vars) (nvars . 0) (level 2 2 2 2) (derivs ((
r4123) . 1) ((r453) . 1) ((r487) . 1) ((r452) . 1) ((a13) . 1) ((a23) . 1) ((b12
) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 4) (length . 7) (printlength
 . 11) (rational r4123 r453 r487 r452 a13 a23 b12) (nonrational) (allvarfcts 
r4123 r453 r487 r452 a13 a23 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (
hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff 
to_decoup to_int to_fullint to_eval)) (e_142 ((sqval (((a13 . 1) ((r453 . 1) . 4
) ((r467 . 1) . -6)) ((a22 . 1) ((r451 . 1) . -2)) ((b12 . 1) ((r4103 . 1) . -1)
)) . 1) (fac . 2) (pval) (partitioned) (kern a13 a22 b12 r4103 r451 r453 r467) (
fct_kern_lin) (fct_kern_nli) (fcts r4103 r453 r451 r467 a13 a22 b12) (vars) (
nvars . 0) (level 2 2 2 2) (derivs ((r4103) . 1) ((r453) . 1) ((r451) . 1) ((
r467) . 1) ((a13) . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 4) (length . 7) (printlength . 11) (rational r4103 r453 
r451 r467 a13 a22 b12) (nonrational) (allvarfcts r4103 r453 r451 r467 a13 a22 
b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_141 ((sqval (((a13 . 1) ((r463 . 1) . 4) ((r486 . 1) . 6)) ((a23 . 
1) ((r451 . 1) . 4)) ((b12 . 1) ((r499 . 1) . 1))) . 1) (fac . 2) (pval) (
partitioned) (kern a13 a23 b12 r499 r451 r463 r486) (fct_kern_lin) (fct_kern_nli
) (fcts r499 r463 r451 r486 a13 a23 b12) (vars) (nvars . 0) (level 2 2 2 2) (
derivs ((r499) . 1) ((r463) . 1) ((r451) . 1) ((r486) . 1) ((a13) . 1) ((a23) . 
1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 4) (length . 7)
(printlength . 11) (rational r499 r463 r451 r486 a13 a23 b12) (nonrational) (
allvarfcts r499 r463 r451 r486 a13 a23 b12) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_204 ((sqval (((a11 . 1) ((r468
 . 1) . 1)) ((a22 . 1) ((r468 . 1) . -1)) ((a23 . 1) ((r4119 . 1) . -2) ((r469
 . 1) . 4))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a22 a23 r4119 r469 
r468) (fct_kern_lin) (fct_kern_nli) (fcts r468 r4119 r469 a11 a23 a22) (vars) (
nvars . 0) (level 2) (derivs ((r468) . 1) ((r4119) . 1) ((r469) . 1) ((a11) . 1)
((a23) . 1) ((a22) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 4) (length . 7)
(printlength . 11) (rational r468 r4119 r469 a11 a23 a22) (nonrational) (
allvarfcts r468 r4119 r469 a11 a23 a22) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_202 ((sqval (((a11 . 1) ((r4103
 . 1) . 1)) ((a13 . 1) ((r4119 . 1) . -2) ((r469 . 1) . 4)) ((a22 . 1) ((r4103
 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a13 a22 r4103 r4119
r469) (fct_kern_lin) (fct_kern_nli) (fcts r4103 r4119 r469 a11 a13 a22) (vars) (
nvars . 0) (level 2) (derivs ((r4103) . 1) ((r4119) . 1) ((r469) . 1) ((a11) . 1
) ((a13) . 1) ((a22) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli)
(fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 4) (length . 7)
(printlength . 11) (rational r4103 r4119 r469 a11 a13 a22) (nonrational) (
allvarfcts r4103 r4119 r469 a11 a13 a22) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_191 ((sqval (((a22 . 1) ((r463
 . 1) . 2)) ((a23 . 1) ((r467 . 1) . 2) ((r496 . 1) . -2)) ((b12 . 1) ((r468 . 1
) . 3))) . 1) (fac . 2) (pval) (partitioned) (kern a22 a23 b12 r468 r467 r496 
r463) (fct_kern_lin) (fct_kern_nli) (fcts r468 r463 r496 r467 a23 a22 b12) (vars
) (nvars . 0) (level 2) (derivs ((r468) . 1) ((r463) . 1) ((r496) . 1) ((r467)
 . 1) ((a23) . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 4) (length . 7) (printlength . 11) (rational r468 r463 
r496 r467 a23 a22 b12) (nonrational) (allvarfcts r468 r463 r496 r467 a23 a22 b12
) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_214 ((sqval (((a11 . 1) ((r487 . 1) . 2) ((r496 . 1) . 1)) ((a22 . 
1) ((r487 . 1) . -2)) ((b12 . 1) ((kap . 1) ((r4110 . 1) . 1) ((r457 . 1) . -1))
((r4119 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a22 b12 kap 
r4119 r4110 r457 r487 r496) (fct_kern_lin) (fct_kern_nli) (fcts r487 r4119 r496
r4110 r457 a11 a22 b12) (vars) (nvars . 0) (level 2 2 2 2) (derivs ((r487) . 1)
((r4119) . 1) ((r496) . 1) ((r4110) . 1) ((r457) . 1) ((a11) . 1) ((a22) . 1) ((
b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 9) (printlength
 . 16) (rational r487 r4119 r496 r4110 r457 a11 a22 b12) (nonrational) (
allvarfcts r487 r4119 r496 r4110 r457 a11 a22 b12) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_121 ((sqval
(((a11 . 1) ((r457 . 1) . 4)) ((a22 . 1) ((r457 . 1) . -4)) ((a33 . 1) ((r4110
 . 1) . 4) ((r457 . 1) . -4)) ((b12 . 1) ((r496 . 1) . -1))) . 1) (fac . 2) (
pval) (partitioned) (kern a11 a22 a33 b12 r496 r4110 r457) (fct_kern_lin) (
fct_kern_nli) (fcts r496 r4110 r457 a11 a33 a22 b12) (vars) (nvars . 0) (level 2
2) (derivs ((r496) . 1) ((r4110) . 1) ((r457) . 1) ((a11) . 1) ((a33) . 1) ((a22
) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 5) (length . 9)
(printlength . 14) (rational r496 r4110 r457 a11 a33 a22 b12) (nonrational) (
allvarfcts r496 r4110 r457 a11 a33 a22 b12) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_120 ((sqval (((a22 . 1) ((r4110
 . 1) . 4) ((r457 . 1) . -4)) ((a33 . 1) ((r4110 . 1) . -4) ((r457 . 1) . 4) ((
r460 . 1) . -4)) ((b12 . 1) ((r467 . 1) . -3))) . 1) (fac . 2) (pval) (
partitioned) (kern a22 a33 b12 r467 r4110 r457 r460) (fct_kern_lin) (
fct_kern_nli) (fcts r467 r4110 r460 r457 a33 a22 b12) (vars) (nvars . 0) (level
2 2) (derivs ((r467) . 1) ((r4110) . 1) ((r460) . 1) ((r457) . 1) ((a33) . 1) ((
a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 9)
(printlength . 15) (rational r467 r4110 r460 r457 a33 a22 b12) (nonrational) (
allvarfcts r467 r4110 r460 r457 a33 a22 b12) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_119 ((sqval (((a13 . 1) ((r452
 . 1) . 4)) ((a23 . 1) ((r453 . 1) . -2) ((r487 . 1) . -2)) ((a33 . 1) ((r463 . 
1) . -2)) ((b12 . 1) ((r468 . 1) . -3))) . 1) (fac . 2) (pval) (partitioned) (
kern a13 a23 a33 b12 r468 r463 r453 r487 r452) (fct_kern_lin) (fct_kern_nli) (
fcts r468 r463 r453 r487 r452 a33 a13 a23 b12) (vars) (nvars . 0) (level 2 2) (
derivs ((r468) . 1) ((r463) . 1) ((r453) . 1) ((r487) . 1) ((r452) . 1) ((a33)
 . 1) ((a13) . 1) ((a23) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 5) (length . 9) (printlength . 14) (rational r468 r463 
r453 r487 r452 a33 a13 a23 b12) (nonrational) (allvarfcts r468 r463 r453 r487 
r452 a33 a13 a23 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1)
(split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_193 ((sqval (((a13 . 1) ((r452 . 1) . 4)) ((a23 . 1) ((
r453 . 1) . 2) ((r496 . 1) . 2)) ((a33 . 1) ((r486 . 1) . -2)) ((b12 . 1) ((r454
 . 1) . 1))) . 1) (fac . 2) (pval) (partitioned) (kern a13 a23 a33 b12 r454 r486
r453 r496 r452) (fct_kern_lin) (fct_kern_nli) (fcts r453 r496 r452 r454 r486 a33
a13 a23 b12) (vars) (nvars . 0) (level 2) (derivs ((r453) . 1) ((r496) . 1) ((
r452) . 1) ((r454) . 1) ((r486) . 1) ((a33) . 1) ((a13) . 1) ((a23) . 1) ((b12)
 . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 5) (length . 9) (printlength
 . 14) (rational r453 r496 r452 r454 r486 a33 a13 a23 b12) (nonrational) (
allvarfcts r453 r496 r452 r454 r486 a33 a13 a23 b12) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_207 ((sqval
(((a13 . 1) ((r487 . 1) . 2) ((r496 . 1) . 2)) ((a23 . 1) ((r452 . 1) . 4)) ((
a33 . 1) ((r451 . 1) . -2)) ((b12 . 1) ((r489 . 1) . -1))) . 1) (fac . 2) (pval)
(partitioned) (kern a13 a23 a33 b12 r489 r451 r452 r487 r496) (fct_kern_lin) (
fct_kern_nli) (fcts r487 r496 r452 r451 r489 a33 a13 a23 b12) (vars) (nvars . 0)
(level 2) (derivs ((r487) . 1) ((r496) . 1) ((r452) . 1) ((r451) . 1) ((r489) . 
1) ((a33) . 1) ((a13) . 1) ((a23) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 5) (length . 9) (printlength . 14) (rational r487 r496 
r452 r451 r489 a33 a13 a23 b12) (nonrational) (allvarfcts r487 r496 r452 r451 
r489 a33 a13 a23 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1)
(split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_58 ((sqval (((a11 . 1) ((r4110 . 1) . 4) ((r460 . 1) . 4
)) ((a22 . 1) ((r4110 . 1) . -4)) ((a33 . 1) ((r460 . 1) . -4)) ((b12 . 1) ((
r496 . 1) . -1))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a22 a33 b12 r496
r460 r4110) (fct_kern_lin) (fct_kern_nli) (fcts r496 r4110 r460 a11 a33 a22 b12)
(vars) (nvars . 0) (level) (derivs ((r496) . 1) ((r4110) . 1) ((r460) . 1) ((a11
) . 1) ((a33) . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 5) (length . 9) (printlength . 14) (rational r496 r4110 
r460 a11 a33 a22 b12) (nonrational) (allvarfcts r496 r4110 r460 a11 a33 a22 b12)
(starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_)
(histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (
e_215 ((sqval (((a11 . 1) ((r452 . 1) . 2)) ((a13 . 1) ((r486 . 1) . 1)) ((a22
 . 1) ((r452 . 1) . -2)) ((a23 . 1) ((r451 . 1) . -1)) ((b12 . 1) ((r499 . 1) . 
1))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a13 a22 a23 b12 r499 r451 
r452 r486) (fct_kern_lin) (fct_kern_nli) (fcts r499 r452 r451 r486 a11 a13 a23 
a22 b12) (vars) (nvars . 0) (level 2 2 2 2) (derivs ((r499) . 1) ((r452) . 1) ((
r451) . 1) ((r486) . 1) ((a11) . 1) ((a13) . 1) ((a23) . 1) ((a22) . 1) ((b12)
 . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (
fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 5) (length . 10) (printlength
 . 15) (rational r499 r452 r451 r486 a11 a13 a23 a22 b12) (nonrational) (
allvarfcts r499 r452 r451 r486 a11 a13 a23 a22 b12) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_209 ((sqval
(((a13 . 1) ((r454 . 1) . 3) ((r468 . 1) . -3)) ((a22 . 1) ((r499 . 1) . 1)) ((
a23 . 1) ((r4103 . 1) . 1) ((r489 . 1) . -1)) ((a33 . 1) ((r499 . 1) . -1))) . 1
) (fac . 2) (pval) (partitioned) (kern a13 a22 a23 a33 r499 r4103 r489 r454 r468
) (fct_kern_lin) (fct_kern_nli) (fcts r499 r4103 r468 r454 r489 a33 a13 a23 a22)
(vars) (nvars . 0) (level 2) (derivs ((r499) . 1) ((r4103) . 1) ((r468) . 1) ((
r454) . 1) ((r489) . 1) ((a33) . 1) ((a13) . 1) ((a23) . 1) ((a22) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 10) (printlength . 16) (
rational r499 r4103 r468 r454 r489 a33 a13 a23 a22) (nonrational) (allvarfcts 
r499 r4103 r468 r454 r489 a33 a13 a23 a22) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_206 ((sqval (((a11 . 1) ((r499
 . 1) . 1)) ((a13 . 1) ((r4118 . 1) . 1) ((r454 . 1) . -1)) ((a23 . 1) ((r4123
 . 1) . -3) ((r489 . 1) . 3)) ((a33 . 1) ((r499 . 1) . -1))) . 1) (fac . 2) (
pval) (partitioned) (kern a11 a13 a23 a33 r499 r4123 r489 r4118 r454) (
fct_kern_lin) (fct_kern_nli) (fcts r499 r4118 r4123 r454 r489 a11 a33 a13 a23) (
vars) (nvars . 0) (level 2) (derivs ((r499) . 1) ((r4118) . 1) ((r4123) . 1) ((
r454) . 1) ((r489) . 1) ((a11) . 1) ((a33) . 1) ((a13) . 1) ((a23) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 10) (printlength . 16) (
rational r499 r4118 r4123 r454 r489 a11 a33 a13 a23) (nonrational) (allvarfcts 
r499 r4118 r4123 r454 r489 a11 a33 a13 a23) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_174 ((sqval (((a11 . 1) ((r499
 . 1) . 2)) ((a13 . 1) ((r4118 . 1) . -1) ((r468 . 1) . 3)) ((a22 . 1) ((r499 . 
1) . -2)) ((a23 . 1) ((r4103 . 1) . 1) ((r4123 . 1) . -3))) . 1) (fac . 2) (pval
) (partitioned) (kern a11 a13 a22 a23 r4103 r4123 r499 r4118 r468) (fct_kern_lin
) (fct_kern_nli) (fcts r499 r4103 r468 r4118 r4123 a11 a13 a23 a22) (vars) (
nvars . 0) (level 2) (derivs ((r499) . 1) ((r4103) . 1) ((r468) . 1) ((r4118) . 
1) ((r4123) . 1) ((a11) . 1) ((a13) . 1) ((a23) . 1) ((a22) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 10) (printlength . 16) (
rational r499 r4103 r468 r4118 r4123 a11 a13 a23 a22) (nonrational) (allvarfcts
r499 r4103 r468 r4118 r4123 a11 a13 a23 a22) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_197 ((sqval (((a11 . 1) ((r4118
 . 1) . 2)) ((a13 . 1) ((r499 . 1) . -2)) ((a23 . 1) ((r4114 . 1) . 4)) ((a33 . 
1) ((r4118 . 1) . -2)) ((b12 . 1) ((kap . 1) ((r486 . 1) . 1)))) . 1) (fac . 2)
(pval) (partitioned) (kern a11 a13 a23 a33 b12 kap r486 r4118 r4114 r499) (
fct_kern_lin) (fct_kern_nli) (fcts r4114 r499 r4118 r486 a11 a33 a13 a23 b12) (
vars) (nvars . 0) (level 2) (derivs ((r4114) . 1) ((r499) . 1) ((r4118) . 1) ((
r486) . 1) ((a11) . 1) ((a33) . 1) ((a13) . 1) ((a23) . 1) ((b12) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 5) (length . 10) (printlength . 16) (
rational r4114 r499 r4118 r486 a11 a33 a13 a23 b12) (nonrational) (allvarfcts 
r4114 r499 r4118 r486 a11 a33 a13 a23 b12) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_212 ((sqval (((a11 . 1) ((r454
 . 1) . 2)) ((a13 . 1) ((r499 . 1) . 2)) ((a23 . 1) ((r4114 . 1) . -4) ((r434 . 
1) . 8)) ((a33 . 1) ((r454 . 1) . -2)) ((b12 . 1) ((kap . 1) ((r486 . 1) . 1))))
 . 1) (fac . 2) (pval) (partitioned) (kern a11 a13 a23 a33 b12 kap r486 r454 
r4114 r434 r499) (fct_kern_lin) (fct_kern_nli) (fcts r4114 r434 r499 r454 r486 
a11 a33 a13 a23 b12) (vars) (nvars . 0) (level 2) (derivs ((r4114) . 1) ((r434)
 . 1) ((r499) . 1) ((r454) . 1) ((r486) . 1) ((a11) . 1) ((a33) . 1) ((a13) . 1)
((a23) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 11)
(printlength . 18) (rational r4114 r434 r499 r454 r486 a11 a33 a13 a23 b12) (
nonrational) (allvarfcts r4114 r434 r499 r454 r486 a11 a33 a13 a23 b12) (starde)
(dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_
)) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_211 ((
sqval (((a13 . 1) ((r434 . 1) . 8) ((r464 . 1) . -4)) ((a22 . 1) ((r489 . 1) . 2
)) ((a23 . 1) ((r499 . 1) . 2)) ((a33 . 1) ((r489 . 1) . -2)) ((b12 . 1) ((kap
 . 1) ((r451 . 1) . -1)))) . 1) (fac . 2) (pval) (partitioned) (kern a13 a22 a23
a33 b12 kap r451 r489 r499 r434 r464) (fct_kern_lin) (fct_kern_nli) (fcts r434 
r499 r464 r451 r489 a33 a13 a23 a22 b12) (vars) (nvars . 0) (level 2) (derivs ((
r434) . 1) ((r499) . 1) ((r464) . 1) ((r451) . 1) ((r489) . 1) ((a33) . 1) ((a13
) . 1) ((a23) . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 6) (length . 11) (printlength . 18) (rational r434 r499 
r464 r451 r489 a33 a13 a23 a22 b12) (nonrational) (allvarfcts r434 r499 r464 
r451 r489 a33 a13 a23 a22 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (
hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff 
to_decoup to_int to_fullint to_eval)) (e_185 ((sqval (((a13 . 1) ((r464 . 1) . 4
) ((r469 . 1) . -8)) ((a22 . 1) ((r4103 . 1) . 2)) ((a23 . 1) ((r499 . 1) . -2))
((a33 . 1) ((r4103 . 1) . -2)) ((b12 . 1) ((kap . 1) ((r451 . 1) . -1)))) . 1) (
fac . 2) (pval) (partitioned) (kern a13 a22 a23 a33 b12 kap r451 r4103 r499 r464
r469) (fct_kern_lin) (fct_kern_nli) (fcts r499 r464 r4103 r451 r469 a33 a13 a23
a22 b12) (vars) (nvars . 0) (level 2) (derivs ((r499) . 1) ((r464) . 1) ((r4103)
 . 1) ((r451) . 1) ((r469) . 1) ((a33) . 1) ((a13) . 1) ((a23) . 1) ((a22) . 1)
((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin)
(fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 6) (length . 11) (printlength
 . 18) (rational r499 r464 r4103 r451 r469 a33 a13 a23 a22 b12) (nonrational) (
allvarfcts r499 r464 r4103 r451 r469 a33 a13 a23 a22 b12) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_217 ((sqval
(((a11 . 1) ((r451 . 1) . 2)) ((a13 . 1) ((r453 . 1) . 1) ((r487 . 1) . -1) ((
r496 . 1) . -1)) ((a22 . 1) ((r451 . 1) . -3)) ((a23 . 1) ((r452 . 1) . 2)) ((
b12 . 1) ((r4103 . 1) . 1))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a13 
a22 a23 b12 r4103 r452 r451 r453 r487 r496) (fct_kern_lin) (fct_kern_nli) (fcts
r4103 r453 r487 r496 r452 r451 a11 a13 a23 a22 b12) (vars) (nvars . 0) (level 2
2 2 2) (derivs ((r4103) . 1) ((r453) . 1) ((r487) . 1) ((r496) . 1) ((r452) . 1)
((r451) . 1) ((a11) . 1) ((a13) . 1) ((a23) . 1) ((a22) . 1) ((b12) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 7) (length . 12) (printlength . 19) (
rational r4103 r453 r487 r496 r452 r451 a11 a13 a23 a22 b12) (nonrational) (
allvarfcts r4103 r453 r487 r496 r452 r451 a11 a13 a23 a22 b12) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)
) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_216 ((
sqval (((a11 . 1) ((r453 . 1) . 1)) ((a13 . 1) ((r451 . 1) . 1)) ((a23 . 1) ((
r486 . 1) . -2)) ((a33 . 1) ((r453 . 1) . -1) ((r487 . 1) . -1)) ((b12 . 1) ((
kap . 1) ((r4110 . 1) . 1)) ((r4114 . 1) . 1))) . 1) (fac . 2) (pval) (
partitioned) (kern a11 a13 a23 a33 b12 kap r4114 r4110 r453 r487 r486 r451) (
fct_kern_lin) (fct_kern_nli) (fcts r4114 r453 r487 r451 r486 r4110 a11 a33 a13 
a23 b12) (vars) (nvars . 0) (level 2 2 2 2) (derivs ((r4114) . 1) ((r453) . 1) (
(r487) . 1) ((r451) . 1) ((r486) . 1) ((r4110) . 1) ((a11) . 1) ((a33) . 1) ((
a13) . 1) ((a23) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 7)
(length . 12) (printlength . 20) (rational r4114 r453 r487 r451 r486 r4110 a11 
a33 a13 a23 b12) (nonrational) (allvarfcts r4114 r453 r487 r451 r486 r4110 a11 
a33 a13 a23 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (
split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_194 ((sqval (((a11 . 1) ((r487 . 1) . 1) ((r496 . 1) . 1
)) ((a13 . 1) ((r451 . 1) . -1)) ((a23 . 1) ((r486 . 1) . 2)) ((a33 . 1) ((r496
 . 1) . -1)) ((b12 . 1) ((kap . 1) ((r4110 . 1) . -1)) ((r4114 . 1) . -1))) . 1)
(fac . 2) (pval) (partitioned) (kern a11 a13 a23 a33 b12 kap r4114 r4110 r496 
r486 r451 r487) (fct_kern_lin) (fct_kern_nli) (fcts r4114 r487 r496 r451 r486 
r4110 a11 a33 a13 a23 b12) (vars) (nvars . 0) (level 2 2 2) (derivs ((r4114) . 1
) ((r487) . 1) ((r496) . 1) ((r451) . 1) ((r486) . 1) ((r4110) . 1) ((a11) . 1)
((a33) . 1) ((a13) . 1) ((a23) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 7) (length . 12) (printlength . 20) (rational r4114 r487 
r496 r451 r486 r4110 a11 a33 a13 a23 b12) (nonrational) (allvarfcts r4114 r487 
r496 r451 r486 r4110 a11 a33 a13 a23 b12) (starde) (dec_with) (dec_with_rl) (
rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_181 ((sqval (((a13 . 1) ((r451
 . 1) . 2)) ((a22 . 1) ((r487 . 1) . -1)) ((a23 . 1) ((r486 . 1) . -1)) ((a33 . 
1) ((r453 . 1) . 1) ((r487 . 1) . 1)) ((b12 . 1) ((kap . 1) ((r457 . 1) . 1)) ((
r464 . 1) . 1))) . 1) (fac . 2) (pval) (partitioned) (kern a13 a22 a23 a33 b12 
kap r464 r457 r453 r487 r486 r451) (fct_kern_lin) (fct_kern_nli) (fcts r464 r453
r487 r451 r486 r457 a33 a13 a23 a22 b12) (vars) (nvars . 0) (level 2) (derivs ((
r464) . 1) ((r453) . 1) ((r487) . 1) ((r451) . 1) ((r486) . 1) ((r457) . 1) ((
a33) . 1) ((a13) . 1) ((a23) . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (
fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (
fct_nli_nli) (fct_nli_nus) (terms . 7) (length . 12) (printlength . 20) (
rational r464 r453 r487 r451 r486 r457 a33 a13 a23 a22 b12) (nonrational) (
allvarfcts r464 r453 r487 r451 r486 r457 a33 a13 a23 a22 b12) (starde) (dec_with
) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_75 ((sqval (
((a11 . 1) ((r4114 . 1) . 4) ((r4119 . 1) . -4)) ((a13 . 1) ((r4103 . 1) . 4) ((
r4123 . 1) . -4)) ((a22 . 1) ((r4114 . 1) . -4)) ((a33 . 1) ((r4119 . 1) . 4)) (
(b12 . 1) ((kap . 1) ((r496 . 1) . -1)))) . 1) (fac . 2) (pval) (partitioned) (
kern a11 a13 a22 a33 b12 kap r496 r4119 r4114 r4103 r4123) (fct_kern_lin) (
fct_kern_nli) (fcts r4114 r4103 r4123 r4119 r496 a11 a33 a13 a22 b12) (vars) (
nvars . 0) (level) (derivs ((r4114) . 1) ((r4103) . 1) ((r4123) . 1) ((r4119) . 
1) ((r496) . 1) ((a11) . 1) ((a33) . 1) ((a13) . 1) ((a22) . 1) ((b12) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 7) (length . 12) (printlength . 20) (
rational r4114 r4103 r4123 r4119 r496 a11 a33 a13 a22 b12) (nonrational) (
allvarfcts r4114 r4103 r4123 r4119 r496 a11 a33 a13 a22 b12) (starde) (dec_with)
(dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_122 ((sqval
(((a11 . 1) ((r453 . 1) . 2) ((r467 . 1) . -3)) ((a22 . 1) ((r453 . 1) . -2) ((
r496 . 1) . -1)) ((a23 . 1) ((r463 . 1) . 1)) ((a33 . 1) ((r467 . 1) . 3)) ((b12
 . 1) ((kap . 1) ((r460 . 1) . 1)) ((r4119 . 1) . -1))) . 1) (fac . 2) (pval) (
partitioned) (kern a11 a22 a23 a33 b12 kap r4119 r460 r467 r463 r453 r496) (
fct_kern_lin) (fct_kern_nli) (fcts r463 r453 r4119 r496 r467 r460 a11 a33 a23 
a22 b12) (vars) (nvars . 0) (level 2 2) (derivs ((r463) . 1) ((r453) . 1) ((
r4119) . 1) ((r496) . 1) ((r467) . 1) ((r460) . 1) ((a11) . 1) ((a33) . 1) ((a23
) . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 8)
(length . 13) (printlength . 22) (rational r463 r453 r4119 r496 r467 r460 a11 
a33 a23 a22 b12) (nonrational) (allvarfcts r463 r453 r4119 r496 r467 r460 a11 
a33 a23 a22 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (
split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_187 ((sqval (((a13 . 1) ((r451 . 1) . 2)) ((a22 . 1) ((
r453 . 1) . 1) ((r496 . 1) . 1)) ((a23 . 1) ((r463 . 1) . 1) ((r486 . 1) . -1))
((a33 . 1) ((r496 . 1) . -1)) ((b12 . 1) ((kap . 1) ((r457 . 1) . 1)) ((r464 . 1
) . 1))) . 1) (fac . 2) (pval) (partitioned) (kern a13 a22 a23 a33 b12 kap r464
r457 r496 r463 r486 r453 r451) (fct_kern_lin) (fct_kern_nli) (fcts r464 r463 
r453 r496 r451 r486 r457 a33 a13 a23 a22 b12) (vars) (nvars . 0) (level 2) (
derivs ((r464) . 1) ((r463) . 1) ((r453) . 1) ((r496) . 1) ((r451) . 1) ((r486)
 . 1) ((r457) . 1) ((a33) . 1) ((a13) . 1) ((a23) . 1) ((a22) . 1) ((b12) . 1))
(no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca
) (fct_nli_nli) (fct_nli_nus) (terms . 8) (length . 13) (printlength . 22) (
rational r464 r463 r453 r496 r451 r486 r457 a33 a13 a23 a22 b12) (nonrational) (
allvarfcts r464 r463 r453 r496 r451 r486 r457 a33 a13 a23 a22 b12) (starde) (
dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)
) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_124 ((
sqval (((a11 . 1) ((r464 . 1) . 4) ((r469 . 1) . -8)) ((a22 . 1) ((r4119 . 1) . 
4) ((r464 . 1) . -4)) ((a23 . 1) ((r4118 . 1) . -4) ((r468 . 1) . 4)) ((a33 . 1)
((r4119 . 1) . -4) ((r469 . 1) . 8)) ((b12 . 1) ((kap . 1) ((r467 . 1) . 1) ((
r496 . 1) . -1)))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a22 a23 a33 b12
kap r467 r496 r4119 r469 r4118 r468 r464) (fct_kern_lin) (fct_kern_nli) (fcts 
r464 r468 r4118 r4119 r496 r469 r467 a11 a33 a23 a22 b12) (vars) (nvars . 0) (
level 2 2) (derivs ((r464) . 1) ((r468) . 1) ((r4118) . 1) ((r4119) . 1) ((r496)
 . 1) ((r469) . 1) ((r467) . 1) ((a11) . 1) ((a33) . 1) ((a23) . 1) ((a22) . 1)
((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin)
(fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 10) (length . 15) (
printlength . 26) (rational r464 r468 r4118 r4119 r496 r469 r467 a11 a33 a23 a22
b12) (nonrational) (allvarfcts r464 r468 r4118 r4119 r496 r469 r467 a11 a33 a23
a22 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test)
(linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_184 ((sqval (((a11 . 1) ((r463 . 1) . 2) ((r486 . 1) . 3)) ((a13 . 
1) ((r452 . 1) . -2)) ((a22 . 1) ((r486 . 1) . -2)) ((a23 . 1) ((r453 . 1) . 1)
((r487 . 1) . -1) ((r496 . 1) . 1)) ((a33 . 1) ((r463 . 1) . -2)) ((b12 . 1) ((
r4118 . 1) . 1))) . 1) (fac . 2) (pval) (partitioned) (kern a11 a13 a22 a23 a33
b12 r4118 r463 r453 r487 r496 r486 r452) (fct_kern_lin) (fct_kern_nli) (fcts 
r4118 r463 r453 r487 r496 r452 r486 a11 a33 a13 a23 a22 b12) (vars) (nvars . 0)
(level 2) (derivs ((r4118) . 1) ((r463) . 1) ((r453) . 1) ((r487) . 1) ((r496)
 . 1) ((r452) . 1) ((r486) . 1) ((a11) . 1) ((a33) . 1) ((a13) . 1) ((a23) . 1)
((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (
fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 9) (length . 15)
(printlength . 24) (rational r4118 r463 r453 r487 r496 r452 r486 a11 a33 a13 a23
a22 b12) (nonrational) (allvarfcts r4118 r463 r453 r487 r496 r452 r486 a11 a33 
a13 a23 a22 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (
split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int 
to_fullint to_eval)) (e_218 ((sqval (((a11 . 1) ((r4103 . 1) . 4) ((r489 . 1) . 
-6)) ((a13 . 1) ((r4119 . 1) . 4) ((r464 . 1) . -4)) ((a22 . 1) ((r4123 . 1) . 
-6) ((r489 . 1) . 6)) ((a23 . 1) ((r499 . 1) . 2)) ((a33 . 1) ((r4103 . 1) . -4)
((r4123 . 1) . 6)) ((b12 . 1) ((kap . 1) ((r451 . 1) . 1)))) . 1) (fac . 2) (
pval) (partitioned) (kern a11 a13 a22 a23 a33 b12 kap r451 r4103 r4123 r499 r489
r4119 r464) (fct_kern_lin) (fct_kern_nli) (fcts r499 r464 r4103 r4123 r4119 r451
r489 a11 a33 a13 a23 a22 b12) (vars) (nvars . 0) (level 2 2 2 2) (derivs ((r499)
 . 1) ((r464) . 1) ((r4103) . 1) ((r4123) . 1) ((r4119) . 1) ((r451) . 1) ((r489
) . 1) ((a11) . 1) ((a33) . 1) ((a13) . 1) ((a23) . 1) ((a22) . 1) ((b12) . 1))
(no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca
) (fct_nli_nli) (fct_nli_nus) (terms . 10) (length . 16) (printlength . 27) (
rational r499 r464 r4103 r4123 r4119 r451 r489 a11 a33 a13 a23 a22 b12) (
nonrational) (allvarfcts r499 r464 r4103 r4123 r4119 r451 r489 a11 a33 a13 a23 
a22 b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test)
(linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval)) (e_183 ((sqval (((a11 . 1) ((r454 . 1) . 6) ((r468 . 1) . -6)) ((a13
 . 1) ((r499 . 1) . 2)) ((a22 . 1) ((r4118 . 1) . 4) ((r454 . 1) . -6)) ((a23 . 
1) ((r4114 . 1) . -4) ((r4119 . 1) . 4)) ((a33 . 1) ((r4118 . 1) . -4) ((r468 . 
1) . 6)) ((b12 . 1) ((kap . 1) ((r463 . 1) . 1) ((r486 . 1) . -1)))) . 1) (fac
 . 2) (pval) (partitioned) (kern a11 a13 a22 a23 a33 b12 kap r463 r486 r4118 
r468 r4114 r4119 r454 r499) (fct_kern_lin) (fct_kern_nli) (fcts r4114 r499 r468
r4118 r463 r4119 r454 r486 a11 a33 a13 a23 a22 b12) (vars) (nvars . 0) (level 2)
(derivs ((r4114) . 1) ((r499) . 1) ((r468) . 1) ((r4118) . 1) ((r463) . 1) ((
r4119) . 1) ((r454) . 1) ((r486) . 1) ((a11) . 1) ((a33) . 1) ((a13) . 1) ((a23)
 . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (
fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 11
) (length . 17) (printlength . 29) (rational r4114 r499 r468 r4118 r463 r4119 
r454 r486 a11 a33 a13 a23 a22 b12) (nonrational) (allvarfcts r4114 r499 r468 
r4118 r463 r4119 r454 r486 a11 a33 a13 a23 a22 b12) (starde) (dec_with) (
dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (linear_) (histry_)) (
to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_102 ((sqval
(((a11 . 1) ((r434 . 1) . 8) ((r464 . 1) . -4)) ((a13 . 1) ((r4103 . 1) . -4) ((
r489 . 1) . 4)) ((a22 . 1) ((r4114 . 1) . 4) ((r434 . 1) . -8)) ((a23 . 1) ((
r4118 . 1) . 4) ((r454 . 1) . -4)) ((a33 . 1) ((r4114 . 1) . -4) ((r464 . 1) . 4
)) ((b12 . 1) ((kap . 1) ((r453 . 1) . 1) ((r487 . 1) . 1)))) . 1) (fac . 2) (
pval) (partitioned) (kern a11 a13 a22 a23 a33 b12 kap r453 r487 r4114 r464 r4118
r454 r434 r4103 r489) (fct_kern_lin) (fct_kern_nli) (fcts r4114 r434 r464 r4103
r4118 r453 r487 r454 r489 a11 a33 a13 a23 a22 b12) (vars) (nvars . 0) (level) (
derivs ((r4114) . 1) ((r434) . 1) ((r464) . 1) ((r4103) . 1) ((r4118) . 1) ((
r453) . 1) ((r487) . 1) ((r454) . 1) ((r489) . 1) ((a11) . 1) ((a33) . 1) ((a13)
 . 1) ((a23) . 1) ((a22) . 1) ((b12) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 12) (length . 18) (printlength . 31) (rational r4114 r434
r464 r4103 r4118 r453 r487 r454 r489 a11 a33 a13 a23 a22 b12) (nonrational) (
allvarfcts r4114 r434 r464 r4103 r4118 r453 r487 r454 r489 a11 a33 a13 a23 a22 
b12) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg 1 1) (split_test) (
linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint 
to_eval))) ((r4114) ((equal r4116 (nil . 1))) (r434) (r499) (r464) (r4103) (r468
) (r4118) (r463) (r4123) (r453) (r487) (r4119) (r496) ((equal r4112 (nil . 1)))
((equal r498 (nil . 1))) ((equal r488 ((((r452 . 1) . 1)) . 1)) r452) ((equal 
r431 ((((r452 . 1) . 1)) . 1)) r452) (r452) ((equal r432 ((((r451 . 1) . -1)) . 
1)) r451) (r451) ((equal r433 ((((r486 . 1) . -1)) . 1)) r486) (r454) (r489) (
r469) (r486) ((equal r497 (nil . 1))) ((equal r462 (nil . 1))) ((equal r461 (nil
 . 1))) ((equal r4113 (nil . 1))) ((equal r466 (nil . 1))) ((equal r4102 (nil . 
1))) ((equal r4122 (nil . 1))) (r467) ((equal r4101 (nil . 1))) (r4110) (r460) (
r457) ((equal r4104 (nil . 1))) ((equal r4124 (nil . 1))) ((equal r495 (nil . 1)
)) (a11) (a33) (a13) (a23) (a22) (b12)) nil)
$
end$