Loading image file :/home/winfried/development/lisp/psl/linux/red/reduce.img 
REDUCE Development Version, 28-Jan-2003 ...

1: 
*** airy_ai already defined as operator 

*** airy_bi already defined as operator 

*** odesolve-specfn* already defined as operator 

*** odesolve-solns* already defined as operator 
The name of this new session is: "bu368-15-Sep-"

2: If this file is loaded just for printing then in addition do:

in drvlist$
depend {f,b},t,s,x$
lisp <<use_new_crackout:=t$
       fblist:='((f 1) (b 1))$
       put('f,'prifn,'myfpri)$ % if only one fermion else
                               % put('f,'prifn,nil);     
       put('b,'prifn,'myfpri)$ % if only one boson else  
                               % put('b,'prifn,nil);     
       N_:=1>>$

3: 
#######  This is the case N1f0b1t10s12w2.  #######

The equation:

    6                                                           2
b =b *p13 + Db  *Db*p14 + Db  *Db*b*p3 + Db  *Db *p15 + Db *Db*b *p1
 t            3x            2x             2x   x         x

                                            2                     2
 + Db *Db*b *p2 + b  *p16 + b  *b*p4 + b  *b *p6 + b  *b *p5 + b   *p9
     x     x       5x        4x         3x          3x  x       2x

        3                      3         2  2           4
 + b  *b *p8 + b  *b *b*p7 + b  *p12 + b  *b *p10 + b *b *p11
    2x          2x  x         x         x            x

It's symmetry:

    7                                                            2
b =b *q21 + Db  *Db*q22 + Db  *Db*b*q7 + Db  *Db *q23 + Db  *Db*b *q6
 s            4x            3x             3x   x         2x

                                           3
 + Db  *Db*b *q5 + Db  *Db *b*q4 + Db *Db*b *q1 + Db *Db*b  *q3 + Db *Db*b *b*q2
     2x     x        2x   x          x              x     2x        x     x

                             2                        3
 + b  *q24 + b  *b*q8 + b  *b *q10 + b  *b *q9 + b  *b *q13 + b  *b  *q11
    6x        5x         4x           4x  x       3x           3x  2x

                     2              4             2               2
 + b  *b *b*q12 + b   *b*q16 + b  *b *q17 + b  *b  *q14 + b  *b *b *q15
    3x  x          2x           2x           2x  x         2x  x

     3           2  3           5
 + b  *b*q18 + b  *b *q19 + b *b *q20
    x           x            x

{q23,q22,q7,q6,q5,q4,q3,q2,q1,p15,p14,p3,p2,p1}
{q24,q23,q22,q21,q20,q19,q18,q17,q16,q15,q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,
q3,q2,q1}
{p16,p15,p14,p13,p12,p11,p10,p9,p8,p7,p6,p5,p4,p3,p2,p1}
Generating all terms of total degree 2
   Pairing now degree 1 terms from the system
          with degree 1 terms from the symmetry

df(b,t)=p16*b
             5x

df(b,s)=q24*b
             6x
Generating all terms of total degree 3
   Pairing now degree 1 terms from the system
          with degree 2 terms from the symmetry

df(b,t)=p16*b
             5x

df(b,s)=Db  *Db*q22 + Db  *Db *q23 + b  *b*q8 + b  *b *q9 + b  *b  *q11
          4x            3x   x        5x         4x  x       3x  2x
   Pairing now degree 2 terms from the system
          with degree 1 terms from the symmetry

                                                               2
df(b,t)=Db  *Db*p14 + Db  *Db *p15 + b  *b*p4 + b  *b *p5 + b   *p9
          3x            2x   x        4x         3x  x       2x

df(b,s)=q24*b
             6x
Generating all terms of total degree 4
   Pairing now degree 1 terms from the system
          with degree 3 terms from the symmetry

df(b,t)=p16*b
             5x

df(b,s)=Db  *Db*b*q7 + Db  *Db*b *q5 + Db  *Db *b*q4 + Db *Db*b  *q3
          3x             2x     x        2x   x          x     2x

                2                         2               2
         + b  *b *q10 + b  *b *b*q12 + b   *b*q16 + b  *b  *q14
            4x           3x  x          2x           2x  x
   Pairing now degree 2 terms from the system
          with degree 2 terms from the symmetry

                                                               2
df(b,t)=Db  *Db*p14 + Db  *Db *p15 + b  *b*p4 + b  *b *p5 + b   *p9
          3x            2x   x        4x         3x  x       2x

df(b,s)=Db  *Db*q22 + Db  *Db *q23 + b  *b*q8 + b  *b *q9 + b  *b  *q11
          4x            3x   x        5x         4x  x       3x  2x
   Pairing now degree 3 terms from the system
          with degree 1 terms from the symmetry

                                           2                      3
df(b,t)=Db  *Db*b*p3 + Db *Db*b *p2 + b  *b *p6 + b  *b *b*p7 + b  *p12
          2x             x     x       3x          2x  x         x

df(b,s)=q24*b
             6x
*** Garbage collection starting 
*** GC 1 15-Sep-2003 15:16:49, 20 ms (0%), 1034524 occupied, 26965424 free
Generating all terms of total degree 5
   Pairing now degree 1 terms from the system
          with degree 4 terms from the symmetry

df(b,t)=p16*b
             5x

                                              2                        3
df(b,s)=b*(Db  *Db*b*q6 + Db *Db*b *q2 + b  *b *q13 + b  *b *b*q15 + b  *q18)
             2x             x     x       3x           2x  x          x
   Pairing now degree 2 terms from the system
          with degree 3 terms from the symmetry

                                                               2
df(b,t)=Db  *Db*p14 + Db  *Db *p15 + b  *b*p4 + b  *b *p5 + b   *p9
          3x            2x   x        4x         3x  x       2x

df(b,s)=Db  *Db*b*q7 + Db  *Db*b *q5 + Db  *Db *b*q4 + Db *Db*b  *q3
          3x             2x     x        2x   x          x     2x

                2                         2               2
         + b  *b *q10 + b  *b *b*q12 + b   *b*q16 + b  *b  *q14
            4x           3x  x          2x           2x  x
*** Garbage collection starting 
*** GC 2 15-Sep-2003 15:17:34, 40 ms (0%), 1233392 occupied, 26766556 free
   Pairing now degree 3 terms from the system
          with degree 2 terms from the symmetry

                                           2                      3
df(b,t)=Db  *Db*b*p3 + Db *Db*b *p2 + b  *b *p6 + b  *b *b*p7 + b  *p12
          2x             x     x       3x          2x  x         x

df(b,s)=Db  *Db*q22 + Db  *Db *q23 + b  *b*q8 + b  *b *q9 + b  *b  *q11
          4x            3x   x        5x         4x  x       3x  2x
*** Garbage collection starting 
*** GC 3 15-Sep-2003 15:18:37, 30 ms (0%), 1055818 occupied, 26944129 free
   Pairing now degree 4 terms from the system
          with degree 1 terms from the symmetry

         2                           2
df(b,t)=b *(Db *Db*p1 + b  *b*p8 + b  *p10)
              x          2x         x

df(b,s)=q24*b
             6x
Generating all terms of total degree 6
   Pairing now degree 1 terms from the system
          with degree 5 terms from the symmetry

df(b,t)=p16*b
             5x

         3                            2
df(b,s)=b *(Db *Db*q1 + b  *b*q17 + b  *q19)
              x          2x          x
   Pairing now degree 2 terms from the system
          with degree 4 terms from the symmetry

                                                               2
df(b,t)=Db  *Db*p14 + Db  *Db *p15 + b  *b*p4 + b  *b *p5 + b   *p9
          3x            2x   x        4x         3x  x       2x

                                              2                        3
df(b,s)=b*(Db  *Db*b*q6 + Db *Db*b *q2 + b  *b *q13 + b  *b *b*q15 + b  *q18)
             2x             x     x       3x           2x  x          x
*** Garbage collection starting 
*** GC 4 15-Sep-2003 15:19:04, 30 ms (0%), 1052396 occupied, 26947552 free
   Pairing now degree 3 terms from the system
          with degree 3 terms from the symmetry

                                           2                      3
df(b,t)=Db  *Db*b*p3 + Db *Db*b *p2 + b  *b *p6 + b  *b *b*p7 + b  *p12
          2x             x     x       3x          2x  x         x

df(b,s)=Db  *Db*b*q7 + Db  *Db*b *q5 + Db  *Db *b*q4 + Db *Db*b  *q3
          3x             2x     x        2x   x          x     2x

                2                         2               2
         + b  *b *q10 + b  *b *b*q12 + b   *b*q16 + b  *b  *q14
            4x           3x  x          2x           2x  x
*** Garbage collection starting 
*** GC 5 15-Sep-2003 15:19:43, 30 ms (0%), 1131680 occupied, 26868267 free
   Pairing now degree 4 terms from the system
          with degree 2 terms from the symmetry

         2                           2
df(b,t)=b *(Db *Db*p1 + b  *b*p8 + b  *p10)
              x          2x         x

df(b,s)=Db  *Db*q22 + Db  *Db *q23 + b  *b*q8 + b  *b *q9 + b  *b  *q11
          4x            3x   x        5x         4x  x       3x  2x
*** Garbage collection starting 
*** GC 6 15-Sep-2003 15:20:53, 30 ms (0%), 1202728 occupied, 26797220 free
   Pairing now degree 5 terms from the system
          with degree 1 terms from the symmetry

         4
df(b,t)=b *p11*b
                x

df(b,s)=q24*b
             6x
Generating all terms of total degree 7
   Pairing now degree 1 terms from the system
          with degree 6 terms from the symmetry

df(b,t)=p16*b
             5x

         5
df(b,s)=b *q20*b
                x
   Pairing now degree 2 terms from the system
          with degree 5 terms from the symmetry

                                                               2
df(b,t)=Db  *Db*p14 + Db  *Db *p15 + b  *b*p4 + b  *b *p5 + b   *p9
          3x            2x   x        4x         3x  x       2x

         3                            2
df(b,s)=b *(Db *Db*q1 + b  *b*q17 + b  *q19)
              x          2x          x
*** Garbage collection starting 
*** GC 7 15-Sep-2003 15:21:46, 30 ms (0%), 1093910 occupied, 26906037 free
   Pairing now degree 3 terms from the system
          with degree 4 terms from the symmetry

                                           2                      3
df(b,t)=Db  *Db*b*p3 + Db *Db*b *p2 + b  *b *p6 + b  *b *b*p7 + b  *p12
          2x             x     x       3x          2x  x         x

                                              2                        3
df(b,s)=b*(Db  *Db*b*q6 + Db *Db*b *q2 + b  *b *q13 + b  *b *b*q15 + b  *q18)
             2x             x     x       3x           2x  x          x
   Pairing now degree 4 terms from the system
          with degree 3 terms from the symmetry

         2                           2
df(b,t)=b *(Db *Db*p1 + b  *b*p8 + b  *p10)
              x          2x         x

df(b,s)=Db  *Db*b*q7 + Db  *Db*b *q5 + Db  *Db *b*q4 + Db *Db*b  *q3
          3x             2x     x        2x   x          x     2x

                2                         2               2
         + b  *b *q10 + b  *b *b*q12 + b   *b*q16 + b  *b  *q14
            4x           3x  x          2x           2x  x
*** Garbage collection starting 
*** GC 8 15-Sep-2003 15:22:21, 30 ms (0%), 1179088 occupied, 26820860 free
   Pairing now degree 5 terms from the system
          with degree 2 terms from the symmetry

         4
df(b,t)=b *p11*b
                x

df(b,s)=Db  *Db*q22 + Db  *Db *q23 + b  *b*q8 + b  *b *q9 + b  *b  *q11
          4x            3x   x        5x         4x  x       3x  2x
   Pairing now degree 6 terms from the system
          with degree 1 terms from the symmetry

         6
df(b,t)=b *p13

df(b,s)=q24*b
             6x
Generating all terms of total degree 8
   Pairing now degree 1 terms from the system
          with degree 7 terms from the symmetry

df(b,t)=p16*b
             5x

         7
df(b,s)=b *q21
   Pairing now degree 2 terms from the system
          with degree 6 terms from the symmetry

                                                               2
df(b,t)=Db  *Db*p14 + Db  *Db *p15 + b  *b*p4 + b  *b *p5 + b   *p9
          3x            2x   x        4x         3x  x       2x

         5
df(b,s)=b *q20*b
                x
   Pairing now degree 3 terms from the system
          with degree 5 terms from the symmetry

                                           2                      3
df(b,t)=Db  *Db*b*p3 + Db *Db*b *p2 + b  *b *p6 + b  *b *b*p7 + b  *p12
          2x             x     x       3x          2x  x         x

         3                            2
df(b,s)=b *(Db *Db*q1 + b  *b*q17 + b  *q19)
              x          2x          x
*** Garbage collection starting 
*** GC 9 15-Sep-2003 15:23:10, 30 ms (0%), 1107966 occupied, 26891982 free
   Pairing now degree 4 terms from the system
          with degree 4 terms from the symmetry

         2                           2
df(b,t)=b *(Db *Db*p1 + b  *b*p8 + b  *p10)
              x          2x         x

                                              2                        3
df(b,s)=b*(Db  *Db*b*q6 + Db *Db*b *q2 + b  *b *q13 + b  *b *b*q15 + b  *q18)
             2x             x     x       3x           2x  x          x
   Pairing now degree 5 terms from the system
          with degree 3 terms from the symmetry

         4
df(b,t)=b *p11*b
                x

df(b,s)=Db  *Db*b*q7 + Db  *Db*b *q5 + Db  *Db *b*q4 + Db *Db*b  *q3
          3x             2x     x        2x   x          x     2x

                2                         2               2
         + b  *b *q10 + b  *b *b*q12 + b   *b*q16 + b  *b  *q14
            4x           3x  x          2x           2x  x
   Pairing now degree 6 terms from the system
          with degree 2 terms from the symmetry

         6
df(b,t)=b *p13

df(b,s)=Db  *Db*q22 + Db  *Db *q23 + b  *b*q8 + b  *b *q9 + b  *b  *q11
          4x            3x   x        5x         4x  x       3x  2x
Generating all terms of total degree 9
   Pairing now degree 2 terms from the system
          with degree 7 terms from the symmetry

                                                               2
df(b,t)=Db  *Db*p14 + Db  *Db *p15 + b  *b*p4 + b  *b *p5 + b   *p9
          3x            2x   x        4x         3x  x       2x

         7
df(b,s)=b *q21
   Pairing now degree 3 terms from the system
          with degree 6 terms from the symmetry

                                           2                      3
df(b,t)=Db  *Db*b*p3 + Db *Db*b *p2 + b  *b *p6 + b  *b *b*p7 + b  *p12
          2x             x     x       3x          2x  x         x

         5
df(b,s)=b *q20*b
                x
*** Garbage collection starting 
*** GC 10 15-Sep-2003 15:24:04, 30 ms (0%), 1088486 occupied, 26911461 free
   Pairing now degree 4 terms from the system
          with degree 5 terms from the symmetry

         2                           2
df(b,t)=b *(Db *Db*p1 + b  *b*p8 + b  *p10)
              x          2x         x

         3                            2
df(b,s)=b *(Db *Db*q1 + b  *b*q17 + b  *q19)
              x          2x          x
   Pairing now degree 5 terms from the system
          with degree 4 terms from the symmetry

         4
df(b,t)=b *p11*b
                x

                                              2                        3
df(b,s)=b*(Db  *Db*b*q6 + Db *Db*b *q2 + b  *b *q13 + b  *b *b*q15 + b  *q18)
             2x             x     x       3x           2x  x          x
   Pairing now degree 6 terms from the system
          with degree 3 terms from the symmetry

         6
df(b,t)=b *p13

df(b,s)=Db  *Db*b*q7 + Db  *Db*b *q5 + Db  *Db *b*q4 + Db *Db*b  *q3
          3x             2x     x        2x   x          x     2x

                2                         2               2
         + b  *b *q10 + b  *b *b*q12 + b   *b*q16 + b  *b  *q14
            4x           3x  x          2x           2x  x
Generating all terms of total degree 10
   Pairing now degree 3 terms from the system
          with degree 7 terms from the symmetry

                                           2                      3
df(b,t)=Db  *Db*b*p3 + Db *Db*b *p2 + b  *b *p6 + b  *b *b*p7 + b  *p12
          2x             x     x       3x          2x  x         x

         7
df(b,s)=b *q21
   Pairing now degree 4 terms from the system
          with degree 6 terms from the symmetry

         2                           2
df(b,t)=b *(Db *Db*p1 + b  *b*p8 + b  *p10)
              x          2x         x

         5
df(b,s)=b *q20*b
                x
   Pairing now degree 5 terms from the system
          with degree 5 terms from the symmetry

         4
df(b,t)=b *p11*b
                x

         3                            2
df(b,s)=b *(Db *Db*q1 + b  *b*q17 + b  *q19)
              x          2x          x
   Pairing now degree 6 terms from the system
          with degree 4 terms from the symmetry

         6
df(b,t)=b *p13

                                              2                        3
df(b,s)=b*(Db  *Db*b*q6 + Db *Db*b *q2 + b  *b *q13 + b  *b *b*q15 + b  *q18)
             2x             x     x       3x           2x  x          x
*** Garbage collection starting 
*** GC 11 15-Sep-2003 15:25:10, 30 ms (0%), 1231054 occupied, 26768894 free
Generating all terms of total degree 11
   Pairing now degree 4 terms from the system
          with degree 7 terms from the symmetry

         2                           2
df(b,t)=b *(Db *Db*p1 + b  *b*p8 + b  *p10)
              x          2x         x

         7
df(b,s)=b *q21
   Pairing now degree 5 terms from the system
          with degree 6 terms from the symmetry

         4
df(b,t)=b *p11*b
                x

         5
df(b,s)=b *q20*b
                x
   Pairing now degree 6 terms from the system
          with degree 5 terms from the symmetry

         6
df(b,t)=b *p13

         3                            2
df(b,s)=b *(Db *Db*q1 + b  *b*q17 + b  *q19)
              x          2x          x
Generating all terms of total degree 12
   Pairing now degree 5 terms from the system
          with degree 7 terms from the symmetry

         4
df(b,t)=b *p11*b
                x

         7
df(b,s)=b *q21
   Pairing now degree 6 terms from the system
          with degree 6 terms from the symmetry

         6
df(b,t)=b *p13

         5
df(b,s)=b *q20*b
                x
*** Garbage collection starting 
*** GC 12 15-Sep-2003 15:27:11, 30 ms (0%), 1260158 occupied, 26739789 free
Generating all terms of total degree 13
   Pairing now degree 6 terms from the system
          with degree 7 terms from the symmetry

         6
df(b,t)=b *p13

         7
df(b,s)=b *q21
Now crack is called.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
This is CRACK - a solver for overdetermined partial differential equations
Enter `h' for help.

The list of inequalities got extended by: 
An expression with 14 terms

The list of inequalities got extended by: 
An expression with 24 terms

The list of inequalities got extended by: 
An expression with 16 terms
*** Garbage collection starting 
*** GC 13 15-Sep-2003 15:28:54, 40 ms (0%), 1180743 occupied, 26819205 free
*** Garbage collection starting 
*** GC 14 15-Sep-2003 15:29:05, 40 ms (0%), 1228977 occupied, 26770971 free
*** Garbage collection starting 
*** GC 15 15-Sep-2003 15:29:37, 40 ms (0%), 1282841 occupied, 26717106 free
*** Garbage collection starting 
*** GC 16 15-Sep-2003 15:30:09, 40 ms (0%), 1305917 occupied, 26694031 free
*** Heap compaction starting
*** Heap compacted to 1314951 items (=4%) in 40 ms
*** Garbage collection starting 
*** GC 17 15-Sep-2003 15:30:37, 40 ms (0%), 1449025 occupied, 26550818 free
*** Garbage collection starting 
*** GC 18 15-Sep-2003 15:31:20, 40 ms (0%), 1290767 occupied, 26709126 free
*** Garbage collection starting 
*** GC 19 15-Sep-2003 15:31:51, 40 ms (0%), 1265387 occupied, 26734507 free
*** Garbage collection starting 
*** GC 20 15-Sep-2003 15:32:29, 40 ms (0%), 1326357 occupied, 26673536 free
*** Garbage collection starting 
*** GC 21 15-Sep-2003 15:33:07, 40 ms (0%), 1390573 occupied, 26609321 free
*** Garbage collection starting 
*** GC 22 15-Sep-2003 15:33:40, 30 ms (0%), 1222801 occupied, 26777093 free

old input: l
Select a method by its number that is to be executed repeatedly:
old input: 2

To repeat this method as often as possible, enter `;' 
To repeat this method as often as possible, 
but at most a number of n times, enter n :
old input: ;


Step 1:

separation w.r.t. x
linear independent expressions : 
 8
b *Db*Db
        x


 9
b *b
    2x


 8   2
b *b
    x


Separation of e_3 yields (e_15 e_14 e_13)



Step 2:

separation w.r.t. x
linear independent expressions : 
 7
b *Db*Db
        2x


 6
b *b *Db*Db
    x      x


 8
b *b
    3x


 7
b *b *b
    x  2x


 6   3
b *b
    x

*** Garbage collection starting 
*** GC 23 15-Sep-2003 15:33:47, 40 ms (0%), 1210871 occupied, 26789023 free

Separation of e_4 yields (e_20 e_18 e_19 e_17 e_16)



Step 3:

separation w.r.t. x
linear independent expressions : 
Db *Db
  x   8x


Db  *Db
  2x   7x


Db  *Db
  3x   6x


Db  *Db
  4x   5x


b *b
 x  9x


b  *b
 2x  8x


b  *b
 3x  7x


b  *b
 4x  6x


   2
b
 5x


Separation of e_11 yields (e_29 e_25 e_28 e_27 e_26 e_24 e_21 e_23 e_22)



Step 4:

separation w.r.t. x
linear independent expressions : 
 6
b *Db*Db
        3x


 5
b *b *Db*Db
    x      2x


 6
b *Db *Db
     x   2x


 5
b *b  *Db*Db
    2x      x


 4   2
b *b  *Db*Db
    x       x


 7
b *b
    4x


 6
b *b *b
    x  3x


 6    2
b *b
    2x


 5   2
b *b  *b
    x   2x


 4   4
b *b
    x


Separation of e_5 yields (e_39 e_34 e_37 e_33 e_38 e_32 e_36 e_31 e_30 e_35)



Step 5:

separation w.r.t. x
linear independent expressions : 
 5
b *Db*Db
        4x


 4
b *b *Db*Db
    x      3x


 5
b *Db *Db
     x   3x


 4
b *b  *Db*Db
    2x      2x


 3   2
b *b  *Db*Db
    x       2x


 4
b *b *Db *Db
    x   x   2x


 4
b *b  *Db*Db
    3x      x


 3
b *b *b  *Db*Db
    x  2x      x


 2   3
b *b  *Db*Db
    x       x


 6
b *b
    5x


 5
b *b *b
    x  4x


 5
b *b  *b
    2x  3x


 4   2
b *b  *b
    x   3x


 4       2
b *b *b
    x  2x


 3   3
b *b  *b
    x   2x


 2   5
b *b
    x

*** Garbage collection starting 
*** GC 24 15-Sep-2003 15:33:50, 30 ms (0%), 1223295 occupied, 26776599 free

Separation of e_6 yields (e_55 e_46 e_53 e_45 e_54 e_44 e_50 e_40 e_43 e_49 e_52
e_51 e_47 e_42 e_41 e_48)



Step 6:

separation w.r.t. x
linear independent expressions : 
b *Db*Db
 x      7x


b*Db *Db
    x   7x


b  *Db*Db
 2x      6x


b*Db  *Db
    2x   6x


b *Db *Db
 x   x   6x


b  *Db*Db
 3x      5x


b*Db  *Db
    3x   5x


b *Db  *Db
 x   2x   5x


b  *Db *Db
 2x   x   5x


b  *Db*Db
 4x      4x


b *Db  *Db
 x   3x   4x


b  *Db  *Db
 2x   2x   4x


b  *Db *Db
 3x   x   4x


b  *Db*Db
 5x      3x


b  *Db  *Db
 3x   2x   3x


b  *Db *Db
 4x   x   3x


b  *Db*Db
 6x      2x


b  *Db *Db
 5x   x   2x


b  *Db*Db
 7x      x


b*b *b
   x  8x


b*b  *b
   2x  7x


  2
b  *b
 x   7x


b*b  *b
   3x  6x


b *b  *b
 x  2x  6x


b*b  *b
   4x  5x


b *b  *b
 x  3x  5x


   2
b   *b
 2x   5x


      2
b *b
 x  4x


b  *b  *b
 2x  3x  4x


   3
b
 3x

*** Garbage collection starting 
*** GC 25 15-Sep-2003 15:33:54, 30 ms (0%), 1221871 occupied, 26778023 free

Separation of e_10 yields (e_66 e_85 e_84 e_64 e_82 e_79 e_65 e_56 e_71 e_67 
e_63 e_61 e_57 e_83 e_81 e_78 e_75 e_70 e_59 e_58 e_74 e_69 e_62 e_76 e_68 e_60
e_80 e_77 e_73 e_72)



Step 7:

separation w.r.t. x
linear independent expressions : 
 3
b *b *Db*Db
    x      4x


 4
b *Db *Db
     x   4x


 3
b *b  *Db*Db
    2x      3x


 2   2
b *b  *Db*Db
    x       3x


 4
b *Db  *Db
     2x   3x


 3
b *b *Db *Db
    x   x   3x


 3
b *b  *Db*Db
    3x      2x


 2
b *b *b  *Db*Db
    x  2x      2x


    3
b*b  *Db*Db
   x       2x


 3
b *b  *Db *Db
    2x   x   2x


 2   2
b *b  *Db *Db
    x    x   2x


 3
b *b  *Db*Db
    4x      x


 2
b *b *b  *Db*Db
    x  3x      x


 2    2
b *b   *Db*Db
    2x       x


    2
b*b  *b  *Db*Db
   x   2x      x


  4
b  *Db*Db
 x       x


 4
b *b *b
    x  5x


 4
b *b  *b
    2x  4x


 3   2
b *b  *b
    x   4x


 4    2
b *b
    3x


 3
b *b *b  *b
    x  2x  3x


 2   3
b *b  *b
    x   3x


 3    3
b *b
    2x


 2   2    2
b *b  *b
    x   2x


    4
b*b  *b
   x   2x


  6
b
 x

*** Garbage collection starting 
*** GC 26 15-Sep-2003 15:33:59, 40 ms (0%), 1316325 occupied, 26683570 free
*** Garbage collection starting 
*** GC 27 15-Sep-2003 15:34:03, 40 ms (0%), 1238703 occupied, 26761192 free

Separation of e_7 yields (e_110 e_107 e_95 e_86 e_111 e_92 e_94 e_96 e_93 e_102
e_89 e_109 e_100 e_87 e_106 e_108 e_105 e_90 e_101 e_91 e_98 e_88 e_103 e_97 
e_104 e_99)



Step 8:

separation w.r.t. x
linear independent expressions : 
b*b *Db*Db
   x      6x


 2
b *Db *Db
     x   6x


b*b  *Db*Db
   2x      5x


  2
b  *Db*Db
 x       5x


 2
b *Db  *Db
     2x   5x


b*b *Db *Db
   x   x   5x


b*b  *Db*Db
   3x      4x


b *b  *Db*Db
 x  2x      4x


 2
b *Db  *Db
     3x   4x


b*b *Db  *Db
   x   2x   4x


b*b  *Db *Db
   2x   x   4x


  2
b  *Db *Db
 x    x   4x


b*b  *Db*Db
   4x      3x


b *b  *Db*Db
 x  3x      3x


   2
b   *Db*Db
 2x       3x


Db*Db *Db  *Db
     x   2x   3x


b*b  *Db  *Db
   2x   2x   3x


  2
b  *Db  *Db
 x    2x   3x


b*b  *Db *Db
   3x   x   3x


b *b  *Db *Db
 x  2x   x   3x


b*b  *Db*Db
   5x      2x


b *b  *Db*Db
 x  4x      2x


b  *b  *Db*Db
 2x  3x      2x


b*b  *Db *Db
   4x   x   2x


b *b  *Db *Db
 x  3x   x   2x


   2
b   *Db *Db
 2x    x   2x


b*b  *Db*Db
   6x      x


b *b  *Db*Db
 x  5x      x


b  *b  *Db*Db
 2x  4x      x


   2
b   *Db*Db
 3x       x


 2
b *b *b
    x  7x


 2
b *b  *b
    2x  6x


    2
b*b  *b
   x   6x


 2
b *b  *b
    3x  5x


b*b *b  *b
   x  2x  5x


  3
b  *b
 x   5x


 2    2
b *b
    4x


b*b *b  *b
   x  3x  4x


     2
b*b   *b
   2x   4x


  2
b  *b  *b
 x   2x  4x


         2
b*b  *b
   2x  3x


  2    2
b  *b
 x   3x


      2
b *b   *b
 x  2x   3x


   4
b
 2x

*** Garbage collection starting 
*** GC 28 15-Sep-2003 15:34:11, 40 ms (0%), 1359761 occupied, 26640139 free
*** Garbage collection starting 
*** GC 29 15-Sep-2003 15:34:50, 50 ms (0%), 1529529 occupied, 26470368 free
*** Garbage collection starting 
*** GC 30 15-Sep-2003 15:35:02, 30 ms (0%), 1242257 occupied, 26757643 free

Separation of e_9 yields (e_125 e_155 e_154 e_147 e_112 e_151 e_140 e_124 e_123
e_120 e_119 e_152 e_122 e_115 e_114 e_129 e_138 e_153 e_150 e_130 e_121 e_117 
e_116 e_113 e_146 e_144 e_143 e_139 e_132 e_137 e_118 e_145 e_149 e_135 e_133 
e_131 e_141 e_126 e_148 e_128 e_127 e_136 e_134 e_142)



Step 9:

separation w.r.t. x
linear independent expressions : 
 2
b *b *Db*Db
    x      5x


 3
b *Db *Db
     x   5x


 2
b *b  *Db*Db
    2x      4x


    2
b*b  *Db*Db
   x       4x


 3
b *Db  *Db
     2x   4x


 2
b *b *Db *Db
    x   x   4x


 2
b *b  *Db*Db
    3x      3x


b*b *b  *Db*Db
   x  2x      3x


  3
b  *Db*Db
 x       3x


 2
b *b *Db  *Db
    x   2x   3x


 2
b *b  *Db *Db
    2x   x   3x


    2
b*b  *Db *Db
   x    x   3x


 2
b *b  *Db*Db
    4x      2x


b*b *b  *Db*Db
   x  3x      2x


     2
b*b   *Db*Db
   2x       2x


  2
b  *b  *Db*Db
 x   2x      2x


 2
b *b  *Db *Db
    3x   x   2x


b*b *b  *Db *Db
   x  2x   x   2x


  3
b  *Db *Db
 x    x   2x


 2
b *b  *Db*Db
    5x      x


b*b *b  *Db*Db
   x  4x      x


b*b  *b  *Db*Db
   2x  3x      x


  2
b  *b  *Db*Db
 x   3x      x


      2
b *b   *Db*Db
 x  2x       x


 3
b *b *b
    x  6x


 3
b *b  *b
    2x  5x


 2   2
b *b  *b
    x   5x


 3
b *b  *b
    3x  4x


 2
b *b *b  *b
    x  2x  4x


    3
b*b  *b
   x   4x


 2       2
b *b *b
    x  3x


 2    2
b *b   *b
    2x   3x


    2
b*b  *b  *b
   x   2x  3x


  4
b  *b
 x   3x


        3
b*b *b
   x  2x


  3    2
b  *b
 x   2x

*** Garbage collection starting 
*** GC 31 15-Sep-2003 15:35:05, 40 ms (0%), 1269845 occupied, 26730054 free
*** Garbage collection starting 
*** GC 32 15-Sep-2003 15:35:22, 50 ms (0%), 1409925 occupied, 26589975 free
*** Heap compaction starting
*** Heap compacted to 1419513 items (=5%) in 40 ms
*** Garbage collection starting 
*** GC 33 15-Sep-2003 15:35:29, 30 ms (0%), 1251977 occupied, 26747907 free
*** Garbage collection starting 
*** GC 34 15-Sep-2003 15:35:32, 30 ms (0%), 1261753 occupied, 26738130 free

Separation of e_8 yields (e_167 e_191 e_190 e_187 e_165 e_166 e_158 e_164 e_156
e_175 e_173 e_162 e_188 e_160 e_186 e_183 e_157 e_182 e_181 e_172 e_163 e_189 
e_179 e_161 e_159 e_185 e_180 e_168 e_176 e_174 e_177 e_169 e_184 e_170 e_171 
e_178)



Step 10:

old input: cp

Please type in a list of the numbers 1 .. 60, like 1,2,5,4,..,15; which
will be the new priority list of procedures done by CRACK.
Numbers stand for the following actions:

 1 : Hot list of urgent steps
 2 : Direct separation
 3 : Substitution of <=2 terms, only fcts. of less vars., no cases
 4 : Substitution of <=2 terms, alg. expressions, no cases
 5 : Substitution of <=1000 terms, alg. expressions, no cases
 6 : Substitution, minimal growth, with max 100 add. terms, no cases
 7 : Integration of a first order de with at most two terms.
 8 : Factorization to subcases leading to substitutions
 9 : Substitution of derivatives by new functions
10 : Indirect separation of <6 or >300 terms
11 : Algebraic length reduction of equations
12 : Find and drop linear dependent general equations
13 : Find a linear dependent equation with only 1 term
14 : Triangularize a linear algebraic system
15 : Substitution of <=8 terms in <=1000 terms, fcts. of less vars.
16 : Substitution of <=20 terms in <=1000 terms
17 : Substitution of <=1000 terms, minimal growth
18 : Substitution of <=1000 terms, fcts. of less vars., no cases
19 : Substitution of <=1000 terms only linear expressions, f-indep. coeff.
20 : Substitution of <=1000 terms, no cases
21 : Substitution of <=1000 terms
22 : The parametric solution of underdetermined ODE
23 : The parametric solution of underdetermined PDE
24 : Integration of a pde such that a function can be subst.
25 : Any integration
26 : Indirect separation of equations of any size
27 : Length reducing decoupling steps
28 : Delete redundant equations
29 : Integrate an identity
30 : Do one decoupling step
31 : Differentiate pdes with nonlinear leading derivs
32 : Differentiate indirectly separable equations
33 : Find an integrating factor for a set of pde's
34 : Solving an algebraic equation.
35 : Solving equations for fnct.s or deriv.s algebraically
36 : Undo Substitutions of derivatives by new functions
37 : Changing the list of priorities
38 : Stop batch mode
39 : Find a transformation to integrate a 1st order PDE
40 : Drop redundant functions and constants
41 : Solve a subset of equations first
42 : Find and drop linear dependent bi-linear equations
43 : Find factorizable bi-linear equations
44 : Consider a given expression to be zero and non-zero
45 : Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases
46 : Find symmetries and then first integrals for an ODE
47 : Any factorization
48 : Alternative indirect separation of non-lin equations
49 : Find sub-systems with 2 non-flin_ functions
50 : Find sub-systems with 3 non-flin_ functions
51 : Find sub-systems with 4 non-flin_ functions
52 : Find sub-systems with 5 non-flin_ functions
53 : Find sub-systems with 2 flin_ functions
54 : Find sub-systems with 3 flin_ functions
55 : Find sub-systems with 4 flin_ functions
56 : Find sub-systems with 5 flin_ functions
57 : Do one high priority decoupling step
58 : user_defined
59 : Computation of the algebraic Groebner basis
60 : Check whether a given solution is contained

The list so far was: 1,2,3,4,7,8,47,9,15,16,18,19,20,21,24,26,27,30,25,22,32,
34,36;
old input: (*comma* 1 3 45 11 27 8 20 30 47 21 38)

old input: s

number of equations : 181
total no of terms   : 2604
total no of factors :  5208
181 equations in 0 variables: 
e_178(40),e_171(38),e_99(36),e_104(35),e_170(35),e_184(33),e_97(32),
e_169(31),e_177(29),e_142(28),e_174(28),e_136(27),e_134(27),e_48(26),
e_128(26),e_127(26),e_103(25),e_148(25),e_176(25),e_98(24),e_88(24),
e_185(24),e_180(24),e_168(24),e_159(23),e_141(22),e_126(22),e_189(22),
e_179(22),e_161(22),e_101(21),e_91(21),e_149(21),e_135(21),e_133(21),
e_131(21),e_182(21),e_181(21),e_172(21),e_163(21),e_47(20),e_42(20),
e_41(20),e_108(20),e_105(20),e_90(20),e_145(20),e_186(20),e_183(20),
e_157(20),e_106(19),e_137(19),e_118(19),e_188(19),e_160(19),e_51(18),
e_109(18),e_100(18),e_87(18),e_146(18),e_144(18),e_143(18),e_139(18),
e_132(18),e_52(17),e_102(17),e_89(17),e_153(17),e_150(17),e_130(17),
e_121(17),e_117(17),e_116(17),e_113(17),e_162(17),e_49(16),e_138(16),
e_35(15),e_129(15),e_175(15),e_173(15),e_31(14),e_30(14),e_43(14),
e_80(14),e_77(14),e_73(14),e_72(14),e_114(14),e_164(14),e_156(14),
e_50(13),e_40(13),e_76(13),e_68(13),e_60(13),e_96(13),e_93(13),
e_152(13),e_122(13),e_115(13),e_74(12),e_69(12),e_62(12),e_94(12),
e_166(12),e_158(12),e_36(11),e_44(11),e_83(11),e_81(11),e_78(11),
e_75(11),e_70(11),e_59(11),e_58(11),e_92(11),e_120(11),e_119(11),
e_165(11),e_16(10),e_63(10),e_61(10),e_57(10),e_124(10),e_123(10),
e_71(9),e_67(9),e_151(9),e_140(9),e_187(9),e_38(8),e_32(8),e_54(8),
e_147(8),e_112(8),e_33(7),e_45(7),e_82(7),e_79(7),e_65(7),e_56(7),
e_111(7),e_190(7),e_19(6),e_17(6),e_23(6),e_22(6),e_64(6),e_110(6),
e_107(6),e_95(6),e_86(6),e_155(6),e_154(6),e_191(6),e_21(5),e_53(5),
e_167(5),e_13(4),e_28(4),e_27(4),e_26(4),e_24(4),e_37(4),e_85(4),
e_84(4),e_125(4),e_66(3),e_2(2),e_15(2),e_14(2),e_20(2),e_18(2),
e_29(2),e_25(2),e_39(2),e_34(2),e_1(1#),e_55(1#),e_46(1#)
40 constants : p1,p2,p3,p4,p5,p6,p7,p8,p9,p10,
p11,p12,p13,p14,p15,p16,q1,q2,q3,q4,q5,
q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,
q17,q18,q19,q20,q21,q22,q23,q24

old input: w

Enter a list of equations, like e2,e5,e35; from: 
e_46,e_55,e_1,e_34,e_39,e_25,e_29,e_18,e_20,e_14,e_15,e_2,e_66,e_125,e_84,e_85,
e_37,e_24,e_26,e_27,e_28,e_13,e_167,e_53,e_21,e_191,e_154,e_155,e_86,e_95,e_107,
e_110,e_64,e_22,e_23,e_17,e_19,e_190,e_111,e_56,e_65,e_79,e_82,e_45,e_33,e_112,
e_147,e_54,e_32,e_38,e_187,e_140,e_151,e_67,e_71,e_123,e_124,e_57,e_61,e_63,e_16
,e_165,e_119,e_120,e_92,e_58,e_59,e_70,e_75,e_78,e_81,e_83,e_44,e_36,e_158,e_166
,e_94,e_62,e_69,e_74,e_115,e_122,e_152,e_93,e_96,e_60,e_68,e_76,e_40,e_50,e_156,
e_164,e_114,e_72,e_73,e_77,e_80,e_43,e_30,e_31,e_173,e_175,e_129,e_35,e_138,e_49
,e_162,e_113,e_116,e_117,e_121,e_130,e_150,e_153,e_89,e_102,e_52,e_132,e_139,
e_143,e_144,e_146,e_87,e_100,e_109,e_51,e_160,e_188,e_118,e_137,e_106,e_157,
e_183,e_186,e_145,e_90,e_105,e_108,e_41,e_42,e_47,e_163,e_172,e_181,e_182,e_131,
e_133,e_135,e_149,e_91,e_101,e_161,e_179,e_189,e_126,e_141,e_159,e_168,e_180,
e_185,e_88,e_98,e_176,e_148,e_103,e_127,e_128,e_48,e_134,e_136,e_174,e_142,e_177
,e_169,e_97,e_184,e_170,e_104,e_99,e_171,e_178
To write all equations just enter ; 
old input: nil
Shall the name of the equation be written? (y/n) old input: n
Please give the name of the file in double quotes
without `;' : old input: w

old input: cr
These are all the user defined rules: 

{}
You can either
- give the number of a rule above to be dropped, or 
- give the name of a rule list activated before 
  the call of CRACK which should be disabled: old input: ssrules
Rule list ssrules has been disabled.

old input: dp

old input: sb

Please give the name of the file in double quotes
without `;' : old input: 0

next: next: 
Step 11: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 12: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 13: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 14: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 15: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 16: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 17: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 18: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 19: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 20: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 21: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 22: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 23: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 24: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 25: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 26: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 27: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 28: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 29: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 30: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 31: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 32: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 33: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 34: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 35: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 36: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 35 15-Sep-2003 15:35:41, 30 ms (0%), 1236890 occupied, 26763020 free
shortening by 1 term

Step 37: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 38: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 39: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 40: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 41: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 42: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 43: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 44: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 45: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 46: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 36 15-Sep-2003 15:35:43, 30 ms (0%), 1239262 occupied, 26760647 free
shortening by 1 term

Step 47: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 48: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 49: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 50: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 51: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 37 15-Sep-2003 15:35:46, 30 ms (0%), 1240502 occupied, 26759408 free
shortening by 1 term

Step 52: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 53: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 54: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 55: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 56: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 57: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 58: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 59: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 60: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 61: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 62: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 63: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 64: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 65: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 66: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 38 15-Sep-2003 15:35:48, 30 ms (0%), 1238560 occupied, 26761349 free
shortening by 1 term

Step 67: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 68: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 69: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 70: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 71: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 72: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 73: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 74: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 75: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 76: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 39 15-Sep-2003 15:35:51, 40 ms (0%), 1239102 occupied, 26760808 free
shortening by 1 term

Step 77: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 78: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 79: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 80: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 81: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 82: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 83: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 84: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 85: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 86: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 87: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 3 terms

Step 88: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 89: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 90: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 91: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 92: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 93: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 40 15-Sep-2003 15:35:53, 40 ms (0%), 1236670 occupied, 26763239 free
shortening by 1 term

Step 94: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 95: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 96: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 97: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 98: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 41 15-Sep-2003 15:35:55, 40 ms (0%), 1239290 occupied, 26760621 free
shortening by 3 terms

Step 99: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 100: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 101: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 102: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 103: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 42 15-Sep-2003 15:35:57, 30 ms (0%), 1236324 occupied, 26763586 free
shortening by 3 terms

Step 104: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 105: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 106: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 107: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 108: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 109: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 110: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 111: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 112: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 113: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 114: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 115: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases : 
*** Garbage collection starting 
*** GC 43 15-Sep-2003 15:35:59, 30 ms (0%), 1236280 occupied, 26763631 free
 --- 
Algebraic length reduction of equations : shortening by 1 term

Step 116: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 117: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 118: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 119: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 120: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 121: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 122: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 123: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 124: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 44 15-Sep-2003 15:36:02, 30 ms (0%), 1236456 occupied, 26763456 free
shortening by 2 terms

Step 125: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 126: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 127: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 128: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 129: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 130: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 131: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 132: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 133: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 134: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 45 15-Sep-2003 15:36:04, 30 ms (0%), 1236126 occupied, 26763787 free
shortening by 1 term

Step 135: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 136: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 137: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 138: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 139: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 140: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 141: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 142: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 143: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 144: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 145: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 146: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 147: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 148: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 46 15-Sep-2003 15:36:06, 40 ms (0%), 1235272 occupied, 26764641 free
shortening by 2 terms

Step 149: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 47 15-Sep-2003 15:36:08, 40 ms (0%), 1238990 occupied, 26760924 free
shortening by 2 terms

Step 150: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 48 15-Sep-2003 15:36:09, 30 ms (0%), 1236936 occupied, 26762977 free
*** Heap compaction starting
*** Heap compacted to 1246253 items (=4%) in 30 ms
shortening by 1 term

Step 151: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 49 15-Sep-2003 15:36:11, 30 ms (0%), 1237330 occupied, 26762518 free
shortening by 1 term

Step 152: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 4 terms

Step 153: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 154: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 50 15-Sep-2003 15:36:12, 30 ms (0%), 1236256 occupied, 26763594 free
shortening by 2 terms

Step 155: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 4 terms

Step 156: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 157: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 51 15-Sep-2003 15:36:13, 30 ms (0%), 1235058 occupied, 26764792 free
shortening by 2 terms

Step 158: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 159: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 160: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 52 15-Sep-2003 15:36:15, 30 ms (0%), 1239542 occupied, 26760308 free
shortening by 1 term

Step 161: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 162: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 53 15-Sep-2003 15:36:16, 30 ms (0%), 1237460 occupied, 26762390 free
*** Garbage collection starting 
*** GC 54 15-Sep-2003 15:36:18, 30 ms (0%), 1240318 occupied, 26759532 free
shortening by 2 terms

Step 163: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 164: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 3 terms

Step 165: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 55 15-Sep-2003 15:36:19, 30 ms (0%), 1235146 occupied, 26764704 free
*** Garbage collection starting 
*** GC 56 15-Sep-2003 15:36:20, 30 ms (0%), 1237670 occupied, 26762180 free
shortening by 1 term

Step 166: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 167: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 168: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 169: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 57 15-Sep-2003 15:36:21, 30 ms (0%), 1235448 occupied, 26764402 free
shortening by 2 terms

Step 170: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 171: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 172: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 173: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 58 15-Sep-2003 15:36:23, 30 ms (0%), 1236206 occupied, 26763644 free
shortening by 1 term

Step 174: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 175: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 176: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 177: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 59 15-Sep-2003 15:36:24, 40 ms (0%), 1235786 occupied, 26764063 free
shortening by 1 term

Step 178: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 179: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 60 15-Sep-2003 15:36:26, 40 ms (0%), 1234486 occupied, 26765364 free
*** Garbage collection starting 
*** GC 61 15-Sep-2003 15:36:27, 30 ms (0%), 1236692 occupied, 26763157 free
shortening by 1 term

Step 180: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 181: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 182: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 62 15-Sep-2003 15:36:28, 30 ms (0%), 1235040 occupied, 26764810 free
shortening by 1 term

Step 183: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 63 15-Sep-2003 15:36:30, 40 ms (0%), 1235736 occupied, 26764113 free
shortening by 1 term

Step 184: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 64 15-Sep-2003 15:36:31, 40 ms (0%), 1236658 occupied, 26763192 free
*** Heap compaction starting
*** Heap compacted to 1246501 items (=4%) in 20 ms
shortening by 2 terms

Step 185: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 186: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 65 15-Sep-2003 15:36:32, 30 ms (0%), 1236778 occupied, 26763063 free
shortening by 1 term

Step 187: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 3 terms

Step 188: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 3 terms

Step 189: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 190: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 66 15-Sep-2003 15:36:33, 30 ms (0%), 1235142 occupied, 26764708 free
shortening by 1 term

Step 191: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 67 15-Sep-2003 15:36:35, 30 ms (0%), 1236016 occupied, 26763835 free
shortening by 2 terms

Step 192: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 4 terms

Step 193: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 68 15-Sep-2003 15:36:36, 30 ms (0%), 1235438 occupied, 26764412 free
shortening by 3 terms

Step 194: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 195: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 69 15-Sep-2003 15:36:37, 30 ms (0%), 1234298 occupied, 26765553 free
shortening by 1 term

Step 196: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 6 terms

Step 197: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 70 15-Sep-2003 15:36:38, 30 ms (0%), 1236580 occupied, 26763270 free
shortening by 2 terms

Step 198: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 71 15-Sep-2003 15:36:40, 30 ms (0%), 1234286 occupied, 26765566 free
*** Garbage collection starting 
*** GC 72 15-Sep-2003 15:36:41, 40 ms (0%), 1238078 occupied, 26761774 free
shortening by 2 terms

Step 199: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 3 terms

Step 200: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 73 15-Sep-2003 15:36:42, 30 ms (0%), 1235118 occupied, 26764734 free
shortening by 3 terms

Step 201: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 202: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 74 15-Sep-2003 15:36:43, 40 ms (0%), 1234062 occupied, 26765790 free
shortening by 1 term

Step 203: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 75 15-Sep-2003 15:36:45, 40 ms (0%), 1234626 occupied, 26765227 free
shortening by 5 terms

Step 204: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 76 15-Sep-2003 15:36:46, 40 ms (0%), 1233078 occupied, 26766775 free
*** Garbage collection starting 
*** GC 77 15-Sep-2003 15:36:47, 30 ms (0%), 1233470 occupied, 26766383 free
*** Garbage collection starting 
*** GC 78 15-Sep-2003 15:36:48, 30 ms (0%), 1234092 occupied, 26765761 free
*** Garbage collection starting 
*** GC 79 15-Sep-2003 15:36:49, 40 ms (0%), 1234750 occupied, 26765103 free
*** Garbage collection starting 
*** GC 80 15-Sep-2003 15:36:51, 40 ms (0%), 1235106 occupied, 26764747 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_short.
 --- 
Length reducing decoupling steps : Eliminate 
q23

from e_242 and e_237. e_242: 

0=(q22 - 2*q23)*p16

is replaced by e_198: 

0=p16*q22


Step 205: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 206: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 81 15-Sep-2003 15:36:52, 30 ms (0%), 1235620 occupied, 26764233 free
*** Garbage collection starting 
*** GC 82 15-Sep-2003 15:36:53, 30 ms (0%), 1235808 occupied, 26764045 free
*** Garbage collection starting 
*** GC 83 15-Sep-2003 15:36:54, 30 ms (0%), 1236148 occupied, 26763705 free
*** Garbage collection starting 
*** GC 84 15-Sep-2003 15:36:55, 30 ms (0%), 1236586 occupied, 26763267 free
*** Garbage collection starting 
*** GC 85 15-Sep-2003 15:36:57, 30 ms (0%), 1236976 occupied, 26762877 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_short.
 --- 
Length reducing decoupling steps : Eliminate 
q22

from e_198 and e_237. e_237: 

0=(7*q22 - 6*q23)*p16

is replaced by e_92: 

0=p16*q23


Step 207: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 86 15-Sep-2003 15:36:58, 30 ms (0%), 1235844 occupied, 26764010 free
*** Garbage collection starting 
*** GC 87 15-Sep-2003 15:36:59, 30 ms (0%), 1236220 occupied, 26763634 free
*** Garbage collection starting 
*** GC 88 15-Sep-2003 15:37:00, 30 ms (0%), 1236606 occupied, 26763248 free
*** Garbage collection starting 
*** GC 89 15-Sep-2003 15:37:02, 30 ms (0%), 1236970 occupied, 26762884 free
*** Garbage collection starting 
*** GC 90 15-Sep-2003 15:37:03, 40 ms (0%), 1237204 occupied, 26762650 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_short.
 --- 
Length reducing decoupling steps : 
*** Garbage collection starting 
*** GC 91 15-Sep-2003 15:37:04, 50 ms (0%), 1433007 occupied, 26566845 free
*** Garbage collection starting 
*** GC 92 15-Sep-2003 15:37:06, 40 ms (0%), 1408007 occupied, 26591844 free
*** Garbage collection starting 
*** GC 93 15-Sep-2003 15:37:08, 50 ms (0%), 1382564 occupied, 26617288 free
*** Garbage collection starting 
*** GC 94 15-Sep-2003 15:37:10, 40 ms (0%), 1355635 occupied, 26644214 free
*** Garbage collection starting 
*** GC 95 15-Sep-2003 15:37:12, 40 ms (0%), 1325790 occupied, 26674060 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_red_len.
 --- 
Factorization to subcases leading to substitutions : 
factorizing e_92 we get the alternative equations : 
0=p16


0=q23


New level : 1.
CRACK is now called with the new equation e_113 : 
0=p16

e_198 is a consequence of e_113

Step 208: 
Hot list of urgent steps : 
The list of inequalities got extended by: 
An expression with 15 terms

Substitution of p16 found in e_113 : 
p16=0


Step 209: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 210: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 211: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 96 15-Sep-2003 15:37:15, 40 ms (0%), 1282497 occupied, 26717360 free
*** Heap compaction starting
*** Heap compacted to 1292684 items (=4%) in 20 ms
shortening by 1 term

Step 212: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 213: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 214: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 215: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 216: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 217: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 218: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 219: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 220: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 221: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 222: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 97 15-Sep-2003 15:37:17, 30 ms (0%), 1283401 occupied, 26716438 free
shortening by 1 term

Step 223: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 224: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 225: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 98 15-Sep-2003 15:37:19, 30 ms (0%), 1286535 occupied, 26713304 free
shortening by 1 term

Step 226: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 227: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 228: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 99 15-Sep-2003 15:37:21, 30 ms (0%), 1283573 occupied, 26716266 free
shortening by 1 term

Step 229: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 230: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 100 15-Sep-2003 15:37:22, 30 ms (0%), 1286513 occupied, 26713326 free
shortening by 1 term

Step 231: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 101 15-Sep-2003 15:37:24, 30 ms (0%), 1287417 occupied, 26712422 free
shortening by 1 term

Step 232: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 102 15-Sep-2003 15:37:25, 40 ms (0%), 1286459 occupied, 26713380 free
*** Garbage collection starting 
*** GC 103 15-Sep-2003 15:37:27, 40 ms (0%), 1288691 occupied, 26711148 free
shortening by 1 term

Step 233: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 234: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 235: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 104 15-Sep-2003 15:37:28, 30 ms (0%), 1287137 occupied, 26712703 free
*** Garbage collection starting 
*** GC 105 15-Sep-2003 15:37:30, 40 ms (0%), 1290645 occupied, 26709195 free
shortening by 2 terms

Step 236: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 106 15-Sep-2003 15:37:31, 40 ms (0%), 1287973 occupied, 26711867 free
shortening by 3 terms

Step 237: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 238: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 107 15-Sep-2003 15:37:32, 30 ms (0%), 1284411 occupied, 26715430 free
shortening by 1 term

Step 239: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 108 15-Sep-2003 15:37:34, 40 ms (0%), 1285243 occupied, 26714598 free
*** Garbage collection starting 
*** GC 109 15-Sep-2003 15:37:35, 30 ms (0%), 1292159 occupied, 26707682 free
*** Garbage collection starting 
*** GC 110 15-Sep-2003 15:37:36, 30 ms (0%), 1296317 occupied, 26703524 free
*** Garbage collection starting 
*** GC 111 15-Sep-2003 15:37:37, 40 ms (0%), 1297551 occupied, 26702290 free
*** Garbage collection starting 
*** GC 112 15-Sep-2003 15:37:39, 40 ms (0%), 1297805 occupied, 26702036 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_short.
 --- 
Length reducing decoupling steps : 
*** Garbage collection starting 
*** GC 113 15-Sep-2003 15:37:40, 50 ms (0%), 1450776 occupied, 26549060 free
*** Garbage collection starting 
*** GC 114 15-Sep-2003 15:37:42, 40 ms (0%), 1391234 occupied, 26608606 free
*** Garbage collection starting 
*** GC 115 15-Sep-2003 15:37:44, 30 ms (0%), 1306060 occupied, 26693779 free
Eliminate 
q23

from e_358 and e_247. e_247: 
 3 terms, 6 factors, with derivatives of functions of all variables: 

 (q23,q22,q8,p15,p4)

is replaced by e_100: 

0=30*p15*q8 - 17*p4*q22


Step 240: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 116 15-Sep-2003 15:37:45, 30 ms (0%), 1285859 occupied, 26713982 free
*** Garbage collection starting 
*** GC 117 15-Sep-2003 15:37:46, 40 ms (0%), 1286495 occupied, 26713346 free
*** Garbage collection starting 
*** GC 118 15-Sep-2003 15:37:48, 40 ms (0%), 1287017 occupied, 26712824 free
*** Garbage collection starting 
*** GC 119 15-Sep-2003 15:37:49, 40 ms (0%), 1287467 occupied, 26712374 free
*** Garbage collection starting 
*** GC 120 15-Sep-2003 15:37:50, 30 ms (0%), 1288001 occupied, 26711840 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_short.
 --- 
Length reducing decoupling steps : 
*** Garbage collection starting 
*** GC 121 15-Sep-2003 15:37:52, 40 ms (0%), 1453304 occupied, 26546532 free
*** Garbage collection starting 
*** GC 122 15-Sep-2003 15:37:53, 40 ms (0%), 1400738 occupied, 26599099 free
*** Garbage collection starting 
*** GC 123 15-Sep-2003 15:37:55, 40 ms (0%), 1329096 occupied, 26670743 free
Eliminate 
q22

from e_100 and e_54. e_100: 

0=30*p15*q8 - 17*p4*q22

is replaced by e_99: 

0=q8*(17*p14 - 30*p15)


Step 241: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 124 15-Sep-2003 15:37:57, 30 ms (0%), 1286487 occupied, 26713354 free
*** Garbage collection starting 
*** GC 125 15-Sep-2003 15:37:58, 30 ms (0%), 1287605 occupied, 26712236 free
*** Garbage collection starting 
*** GC 126 15-Sep-2003 15:37:59, 30 ms (0%), 1287879 occupied, 26711962 free
*** Garbage collection starting 
*** GC 127 15-Sep-2003 15:38:00, 30 ms (0%), 1288079 occupied, 26711762 free
*** Garbage collection starting 
*** GC 128 15-Sep-2003 15:38:01, 40 ms (0%), 1288247 occupied, 26711594 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_short.
 --- 
Length reducing decoupling steps : 
*** Garbage collection starting 
*** GC 129 15-Sep-2003 15:38:03, 50 ms (0%), 1454002 occupied, 26545836 free
*** Garbage collection starting 
*** GC 130 15-Sep-2003 15:38:05, 50 ms (0%), 1400007 occupied, 26599832 free
*** Garbage collection starting 
*** GC 131 15-Sep-2003 15:38:07, 40 ms (0%), 1328820 occupied, 26671019 free
*** Garbage collection starting 
*** GC 132 15-Sep-2003 15:38:08, 40 ms (0%), 1467550 occupied, 26532286 free
*** Garbage collection starting 
*** GC 133 15-Sep-2003 15:38:10, 40 ms (0%), 1418636 occupied, 26581202 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_red_len.
 --- 
Factorization to subcases leading to substitutions : 
factorizing e_77 we get the alternative equations : 
0=p4


0=q24


New level : 1.1.
CRACK is now called with the new equation e_198 : 
0=p4

e_358 is a consequence of e_198

Step 242: 
Hot list of urgent steps : 
The list of inequalities got extended by: 
An expression with 14 terms

e_349 is a consequence of e_113.
Substitution of p4 found in e_198 : 
p4=0


Step 243: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 244: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 245: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 246: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 247: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 248: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 249: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 250: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 251: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 252: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 253: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 254: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 255: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 256: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 257: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 258: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 259: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 260: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 134 15-Sep-2003 15:38:14, 40 ms (0%), 1334604 occupied, 26665236 free
shortening by 1 term

Step 261: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 262: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 263: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 264: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 265: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 266: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 267: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 135 15-Sep-2003 15:38:17, 40 ms (0%), 1333898 occupied, 26665943 free
shortening by 1 term

Step 268: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 269: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 136 15-Sep-2003 15:38:20, 40 ms (0%), 1336416 occupied, 26663424 free
shortening by 1 term

Step 270: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 271: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 272: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 273: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 274: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 137 15-Sep-2003 15:38:23, 40 ms (0%), 1333444 occupied, 26666397 free
shortening by 1 term

Step 275: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 276: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 138 15-Sep-2003 15:38:25, 40 ms (0%), 1335928 occupied, 26663912 free
shortening by 1 term

Step 277: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 278: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 279: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 139 15-Sep-2003 15:38:27, 40 ms (0%), 1335302 occupied, 26664541 free
shortening by 1 term

Step 280: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 281: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 282: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 283: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 284: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 140 15-Sep-2003 15:38:29, 40 ms (0%), 1334468 occupied, 26665374 free
shortening by 1 term

Step 285: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 286: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 287: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 288: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 141 15-Sep-2003 15:38:31, 40 ms (0%), 1336022 occupied, 26663821 free
shortening by 2 terms

Step 289: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 290: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 142 15-Sep-2003 15:38:33, 40 ms (0%), 1336298 occupied, 26663544 free
shortening by 3 terms

Step 291: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 143 15-Sep-2003 15:38:35, 40 ms (0%), 1335564 occupied, 26664279 free
*** Garbage collection starting 
*** GC 144 15-Sep-2003 15:38:36, 40 ms (0%), 1341130 occupied, 26658712 free
*** Heap compaction starting
*** Heap compacted to 1351533 items (=4%) in 20 ms
shortening by 1 term

Step 292: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 145 15-Sep-2003 15:38:37, 40 ms (0%), 1333792 occupied, 26666048 free
*** Garbage collection starting 
*** GC 146 15-Sep-2003 15:38:39, 40 ms (0%), 1334046 occupied, 26665794 free
*** Garbage collection starting 
*** GC 147 15-Sep-2003 15:38:40, 40 ms (0%), 1334474 occupied, 26665366 free
*** Garbage collection starting 
*** GC 148 15-Sep-2003 15:38:41, 40 ms (0%), 1334950 occupied, 26664890 free
*** Garbage collection starting 
*** GC 149 15-Sep-2003 15:38:42, 40 ms (0%), 1335646 occupied, 26664194 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_short.
 --- 
Length reducing decoupling steps : 
*** Garbage collection starting 
*** GC 150 15-Sep-2003 15:38:44, 40 ms (0%), 1503651 occupied, 26496188 free
*** Garbage collection starting 
*** GC 151 15-Sep-2003 15:38:45, 50 ms (0%), 1476847 occupied, 26522993 free
*** Garbage collection starting 
*** GC 152 15-Sep-2003 15:38:47, 40 ms (0%), 1447380 occupied, 26552460 free
*** Garbage collection starting 
*** GC 153 15-Sep-2003 15:38:49, 40 ms (0%), 1411656 occupied, 26588183 free
*** Garbage collection starting 
*** GC 154 15-Sep-2003 15:38:51, 40 ms (0%), 1366692 occupied, 26633147 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_red_len.
 --- 
Factorization to subcases leading to substitutions : 
factorizing e_351 we get the alternative equations : 
0=p6


0=q24


New level : 1.1.1.
CRACK is now called with the new equation e_144 : 
0=p6


Step 293: 
Hot list of urgent steps : 
The list of inequalities got extended by: 
An expression with 13 terms

e_172 is a consequence of e_79.
Substitution of p6 found in e_144 : 
p6=0


Step 294: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 295: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 296: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 297: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 298: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 299: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 300: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 301: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 302: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 303: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 304: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 305: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 306: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 307: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 308: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 309: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 310: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 311: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 155 15-Sep-2003 15:38:54, 40 ms (0%), 1381352 occupied, 26618488 free
shortening by 1 term

Step 312: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 313: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 314: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 315: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 316: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 317: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 318: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 319: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 320: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 321: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 322: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 323: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 324: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 325: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 326: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 327: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 328: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 329: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 330: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 331: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 332: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 333: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 334: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 335: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 336: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 337: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 338: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 339: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 340: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 341: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 342: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 343: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 344: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 345: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 346: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 156 15-Sep-2003 15:38:58, 40 ms (0%), 1377050 occupied, 26622791 free
shortening by 1 term

Step 347: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 348: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 349: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 350: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 351: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 352: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 353: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 354: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 355: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 356: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 357: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 358: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 359: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 360: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 361: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 362: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 363: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 364: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 157 15-Sep-2003 15:39:01, 40 ms (0%), 1380332 occupied, 26619509 free
shortening by 1 term

Step 365: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 366: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 367: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 368: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 158 15-Sep-2003 15:39:04, 40 ms (0%), 1378850 occupied, 26620991 free
shortening by 2 terms

Step 369: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 370: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 159 15-Sep-2003 15:39:06, 40 ms (0%), 1380740 occupied, 26619101 free
shortening by 1 term

Step 371: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 3 terms

Step 372: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 373: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 374: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 375: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 160 15-Sep-2003 15:39:08, 40 ms (0%), 1377218 occupied, 26622623 free
*** Heap compaction starting
*** Heap compacted to 1388061 items (=4%) in 30 ms
shortening by 2 terms

Step 376: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 2 terms

Step 377: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 378: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 161 15-Sep-2003 15:39:10, 40 ms (0%), 1378750 occupied, 26621091 free
*** Garbage collection starting 
*** GC 162 15-Sep-2003 15:39:11, 40 ms (0%), 1382326 occupied, 26617514 free
*** Garbage collection starting 
*** GC 163 15-Sep-2003 15:39:12, 30 ms (0%), 1385084 occupied, 26614757 free
shortening by 2 terms

Step 379: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 380: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : shortening by 1 term

Step 381: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 164 15-Sep-2003 15:39:14, 30 ms (0%), 1377624 occupied, 26622216 free
*** Garbage collection starting 
*** GC 165 15-Sep-2003 15:39:15, 40 ms (0%), 1382824 occupied, 26617017 free
*** Garbage collection starting 
*** GC 166 15-Sep-2003 15:39:16, 40 ms (0%), 1383222 occupied, 26616618 free
*** Garbage collection starting 
*** GC 167 15-Sep-2003 15:39:17, 30 ms (0%), 1383614 occupied, 26616227 free
*** Garbage collection starting 
*** GC 168 15-Sep-2003 15:39:18, 30 ms (0%), 1383994 occupied, 26615846 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_short.
 --- 
Length reducing decoupling steps : 
*** Garbage collection starting 
*** GC 169 15-Sep-2003 15:39:20, 40 ms (0%), 1399935 occupied, 26599905 free
*** Garbage collection starting 
*** GC 170 15-Sep-2003 15:39:22, 40 ms (0%), 1419639 occupied, 26580201 free
Eliminate 
q8

from e_144 and e_35. e_35: 
(#) 3 terms, 4 factors, with derivatives of functions of all variables: 

 (q11,q9,q8,p9)

is replaced by e_407: 

0=(2*q11 - 5*q9)*p9


Step 382: 
Hot list of urgent steps :  --- 
Substitution of <=2 terms, only fcts. of less vars., no cases :  --- 
Substitution of <=8 terms in <=1000 terms, alg. expressions, no cases :  --- 
Algebraic length reduction of equations : 
*** Garbage collection starting 
*** GC 171 15-Sep-2003 15:39:24, 40 ms (0%), 1376834 occupied, 26623007 free
*** Garbage collection starting 
*** GC 172 15-Sep-2003 15:39:25, 40 ms (0%), 1380840 occupied, 26619000 free
*** Garbage collection starting 
*** GC 173 15-Sep-2003 15:39:27, 40 ms (0%), 1381394 occupied, 26618446 free
*** Garbage collection starting 
*** GC 174 15-Sep-2003 15:39:28, 40 ms (0%), 1381662 occupied, 26618178 free
*** Garbage collection starting 
*** GC 175 15-Sep-2003 15:39:29, 40 ms (0%), 1381774 occupied, 26618066 free
Stop of a subroutine.
Number of garbage collections exceeds max_gc_short.
 --- 
