Loading image file :/home/twolf/lisp/psl/linux/red/reduce.img *** Function `!%compactheap' has been redefined ("/home/twolf/para/" "" "$reduce/lisp/psl/linux/red/" "$reduce/lisp/psl/linux/psl/") REDUCE 3.7, 15-Apr-1999, patched to 15-May-2003 ... 1: The name of this new session is: "bu368-2-Oct-" 2: If this file is loaded just for printing then in addition do: in drvlist$ depend {f,b},t,s,x$ lisp <>$ 3: ####### This is the case N1f0b2t5s14w45. ####### The system: b(1) =b(2)*b(1)*p4 + b(2) *p5 t 2x 2 b(2) =b(2) *p2 + b(1) *p3 + b(1) *b(1)*p1 t 3x x It's symmetry: 2 2 b(1) =b(2) *b(1) *q54 + Db(2)*Db(1)*b(2) *q34 + Db(2) *Db(2)*q56 s x 3x + Db(2) *Db(2) *q58 + Db(2) *Db(2)*b(1)*q37 + Db(2) *Db(1)*b(2)*q38 2x x x x + Db(1) *Db(1)*q55 + Db(1) *Db(1) *q57 + Db(1) *Db(1)*b(1)*q39 4x 3x x 2x + Db(1) *Db(2)*b(2)*q35 + Db(1) *Db(1)*b(1) *q36 + b(2) *b(2)*q41 x x x 4x 2 2 + b(2) *b(2) *q43 + b(2) *q47 + b(2) *b(2)*b(1)*q46 + b(2) *b(1)*q51 3x x 2x 2x x + b(2) *b(1) *b(2)*q50 + b(1) *q59 + b(1) *b(1)*q40 + b(1) *b(1) *q42 x x 7x 5x 4x x 2 2 + b(1) *b(1) *q45 + b(1) *b(1) *q44 + b(1) *b(2) *q49 3x 3x 2x 2x 3 3 + b(1) *b(1) *b(1)*q48 + b(1) *q53 + b(1) *b(1) *q52 2x x x x 3 2 b(2) =b(2) *b(1)*q27 + Db(2)*Db(1)*b(1) *q1 + Db(2)*Db(1)*b(1) *q2 s 2x + Db(2) *Db(1)*q28 + Db(2) *Db(1) *q30 + Db(2) *Db(1)*b(1)*q10 4x 3x x 2x + Db(2) *Db(1) *q32 + Db(2) *Db(2)*b(2)*q6 + Db(2) *Db(1)*b(1) *q7 2x 2x x x x - Db(2) *Db(1) *q31 + Db(2) *Db(1) *b(1)*q5 + Db(1) *Db(2)*q29 x 3x x x 4x + Db(1) *Db(2)*b(1)*q8 + Db(1) *Db(1)*b(2)*q9 + Db(1) *Db(2)*b(1) *q3 2x 2x x x + Db(1) *Db(1)*b(2) *q4 + b(2) *q33 + b(2) *b(1)*q11 + b(2) *b(1) *q13 x x 7x 5x 4x x 2 2 + b(2) *b(1) *q16 + b(2) *b(1) *q15 + b(2) *b(2) *q20 + b(2) *b(1) *q17 3x 3x 2x 2x 2x 3x 2 3 + b(2) *b(1) *b(1)*q19 + b(2) *b(2)*q24 + b(2) *b(1) *q25 + b(2) *b(1) *q14 2x x x x x 4x 2 + b(2) *b(1) *b(1)*q21 + b(2) *b(1) *q23 + b(1) *b(2)*q12 x 2x x x 5x 2 + b(1) *b(2)*b(1)*q18 + b(1) *b(1) *b(2)*q22 + b(1) *b(2)*b(1) *q26 3x 2x x x {q58,q57,q56,q55,q39,q38,q37,q36,q35,q34,q32,q31,q30,q29,q28,q10,q9,q8,q7,q6,q5, q4,q3,q2,q1} {p3,p1} {q33,q32,q31,q30,q29,q28,q27,q26,q25,q24,q23,q22,q21,q20,q19,q18,q17,q16,q15,q14 ,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1} {q59,q58,q57,q56,q55,q54,q53,q52,q51,q50,q49,q48,q47,q46,q45,q44,q43,q42,q41,q40 ,q39,q38,q37,q36,q35,q34} {p5,p4} Generating all terms of total degree 2 Pairing now degree 1 terms from the system with degree 1 terms from the symmetry df(b(1),t)=p5*b(2) 2x df(b(2),t)=p3*b(1) 3x df(b(1),s)=q59*b(1) 7x df(b(2),s)=q33*b(2) 7x Generating all terms of total degree 3 Pairing now degree 1 terms from the system with degree 2 terms from the symmetry df(b(1),t)=p5*b(2) 2x df(b(2),t)=p3*b(1) 3x df(b(1),s)=Db(2) *Db(2)*q56 + Db(2) *Db(2) *q58 + Db(1) *Db(1)*q55 3x 2x x 4x + Db(1) *Db(1) *q57 + b(2) *b(2)*q41 + b(2) *b(2) *q43 3x x 4x 3x x 2 + b(2) *q47 + b(1) *b(1)*q40 + b(1) *b(1) *q42 2x 5x 4x x + b(1) *b(1) *q44 3x 2x df(b(2),s)=Db(2) *Db(1)*q28 + Db(2) *Db(1) *q30 + Db(2) *Db(1) *q32 4x 3x x 2x 2x - Db(2) *Db(1) *q31 + Db(1) *Db(2)*q29 + b(2) *b(1)*q11 x 3x 4x 5x + b(2) *b(1) *q13 + b(2) *b(1) *q15 + b(2) *b(1) *q17 4x x 3x 2x 2x 3x + b(2) *b(1) *q14 + b(1) *b(2)*q12 x 4x 5x Pairing now degree 2 terms from the system with degree 1 terms from the symmetry df(b(1),t)=b(2)*b(1)*p4 2 df(b(2),t)=b(2) *p2 + b(1) *b(1)*p1 x df(b(1),s)=q59*b(1) 7x df(b(2),s)=q33*b(2) 7x Generating all terms of total degree 4 Pairing now degree 1 terms from the system with degree 3 terms from the symmetry df(b(1),t)=p5*b(2) 2x df(b(2),t)=p3*b(1) 3x df(b(1),s)=Db(2)*Db(1)*b(2) *q34 + Db(2) *Db(2)*b(1)*q37 + Db(2) *Db(1)*b(2)*q38 x x x + Db(1) *Db(1)*b(1)*q39 + Db(1) *Db(2)*b(2)*q35 2x x 2 + Db(1) *Db(1)*b(1) *q36 + b(2) *b(2)*b(1)*q46 + b(2) *b(1)*q51 x x 2x x 2 2 + b(2) *b(1) *b(2)*q50 + b(1) *b(1) *q45 + b(1) *b(2) *q49 x x 3x 2x 3 + b(1) *b(1) *b(1)*q48 + b(1) *q53 2x x x df(b(2),s)=Db(2)*Db(1)*b(1) *q2 + Db(2) *Db(1)*b(1)*q10 + Db(2) *Db(2)*b(2)*q6 2x 2x x + Db(2) *Db(1)*b(1) *q7 + Db(2) *Db(1) *b(1)*q5 x x x x + Db(1) *Db(2)*b(1)*q8 + Db(1) *Db(1)*b(2)*q9 2x 2x 2 + Db(1) *Db(2)*b(1) *q3 + Db(1) *Db(1)*b(2) *q4 + b(2) *b(1) *q16 x x x x 3x 2 2 + b(2) *b(2) *q20 + b(2) *b(1) *b(1)*q19 + b(2) *b(2)*q24 2x 2x x x 2 + b(2) *b(1) *b(1)*q21 + b(2) *b(1) *q23 + b(1) *b(2)*b(1)*q18 x 2x x x 3x + b(1) *b(1) *b(2)*q22 2x x *** Garbage collection starting *** GC 1 2-Oct-2003 08:53:12, 30 ms (1%), 933085 occupied, 24066867 free Pairing now degree 2 terms from the system with degree 2 terms from the symmetry df(b(1),t)=b(2)*b(1)*p4 2 df(b(2),t)=b(2) *p2 + b(1) *b(1)*p1 x df(b(1),s)=Db(2) *Db(2)*q56 + Db(2) *Db(2) *q58 + Db(1) *Db(1)*q55 3x 2x x 4x + Db(1) *Db(1) *q57 + b(2) *b(2)*q41 + b(2) *b(2) *q43 3x x 4x 3x x 2 + b(2) *q47 + b(1) *b(1)*q40 + b(1) *b(1) *q42 2x 5x 4x x + b(1) *b(1) *q44 3x 2x df(b(2),s)=Db(2) *Db(1)*q28 + Db(2) *Db(1) *q30 + Db(2) *Db(1) *q32 4x 3x x 2x 2x - Db(2) *Db(1) *q31 + Db(1) *Db(2)*q29 + b(2) *b(1)*q11 x 3x 4x 5x + b(2) *b(1) *q13 + b(2) *b(1) *q15 + b(2) *b(1) *q17 4x x 3x 2x 2x 3x + b(2) *b(1) *q14 + b(1) *b(2)*q12 x 4x 5x Generating all terms of total degree 5 Pairing now degree 1 terms from the system with degree 4 terms from the symmetry df(b(1),t)=p5*b(2) 2x df(b(2),t)=p3*b(1) 3x 2 2 df(b(1),s)=b(1) *(b(2) *q54 + b(1) *b(1)*q52) x 3 2 df(b(2),s)=b(1)*(b(2) *q27 + Db(2)*Db(1)*b(1)*q1 + b(2) *b(1) *q25 x + b(1) *b(2)*b(1)*q26) x Pairing now degree 2 terms from the system with degree 3 terms from the symmetry df(b(1),t)=b(2)*b(1)*p4 2 df(b(2),t)=b(2) *p2 + b(1) *b(1)*p1 x df(b(1),s)=Db(2)*Db(1)*b(2) *q34 + Db(2) *Db(2)*b(1)*q37 + Db(2) *Db(1)*b(2)*q38 x x x + Db(1) *Db(1)*b(1)*q39 + Db(1) *Db(2)*b(2)*q35 2x x 2 + Db(1) *Db(1)*b(1) *q36 + b(2) *b(2)*b(1)*q46 + b(2) *b(1)*q51 x x 2x x 2 2 + b(2) *b(1) *b(2)*q50 + b(1) *b(1) *q45 + b(1) *b(2) *q49 x x 3x 2x 3 + b(1) *b(1) *b(1)*q48 + b(1) *q53 2x x x df(b(2),s)=Db(2)*Db(1)*b(1) *q2 + Db(2) *Db(1)*b(1)*q10 + Db(2) *Db(2)*b(2)*q6 2x 2x x + Db(2) *Db(1)*b(1) *q7 + Db(2) *Db(1) *b(1)*q5 x x x x + Db(1) *Db(2)*b(1)*q8 + Db(1) *Db(1)*b(2)*q9 2x 2x 2 + Db(1) *Db(2)*b(1) *q3 + Db(1) *Db(1)*b(2) *q4 + b(2) *b(1) *q16 x x x x 3x 2 2 + b(2) *b(2) *q20 + b(2) *b(1) *b(1)*q19 + b(2) *b(2)*q24 2x 2x x x 2 + b(2) *b(1) *b(1)*q21 + b(2) *b(1) *q23 + b(1) *b(2)*b(1)*q18 x 2x x x 3x + b(1) *b(1) *b(2)*q22 2x x *** Garbage collection starting *** GC 2 2-Oct-2003 08:53:16, 20 ms (0%), 938017 occupied, 24061935 free Generating all terms of total degree 6 Pairing now degree 2 terms from the system with degree 4 terms from the symmetry df(b(1),t)=b(2)*b(1)*p4 2 df(b(2),t)=b(2) *p2 + b(1) *b(1)*p1 x 2 2 df(b(1),s)=b(1) *(b(2) *q54 + b(1) *b(1)*q52) x 3 2 df(b(2),s)=b(1)*(b(2) *q27 + Db(2)*Db(1)*b(1)*q1 + b(2) *b(1) *q25 x + b(1) *b(2)*b(1)*q26) x 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 25 terms The list of inequalities got extended by: g0028*p3 + g0029*p1 The list of inequalities got extended by: An expression with 33 terms The list of inequalities got extended by: An expression with 26 terms The list of inequalities got extended by: g0089*p5 + g0090*p4 *** Garbage collection starting *** GC 3 2-Oct-2003 08:53:24, 30 ms (0%), 970870 occupied, 24029082 free *** Garbage collection starting *** GC 4 2-Oct-2003 08:53:27, 30 ms (0%), 1020248 occupied, 23979704 free *** Garbage collection starting *** GC 5 2-Oct-2003 08:53:30, 30 ms (0%), 993862 occupied, 24006090 free *** Garbage collection starting *** GC 6 2-Oct-2003 08:53:34, 40 ms (0%), 1052336 occupied, 23947616 free *** Garbage collection starting *** GC 7 2-Oct-2003 08:53:38, 30 ms (0%), 1001382 occupied, 23998570 free *** Garbage collection starting *** GC 8 2-Oct-2003 08:53:41, 30 ms (0%), 1025294 occupied, 23974658 free *** Garbage collection starting *** GC 9 2-Oct-2003 08:53:45, 40 ms (0%), 1078132 occupied, 23921820 free *** Garbage collection starting *** GC 10 2-Oct-2003 08:53:49, 40 ms (0%), 1118524 occupied, 23881428 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 : 2 3 b(1) *b(2) 3 b(1) *Db(1)*Db(2) 4 b(1) *b(2) x 3 b(1) *b(2)*b(1) x Separation of e_1 yields (e_13 e_12 e_14 e_11) Step 2: separation w.r.t. x linear independent expressions : 4 b(1)*b(2) 2 b(1) *b(2)*Db(1)*Db(2) 3 b(1) *Db(1)*Db(1) x 3 b(1) *b(2)*b(2) x 4 b(1) *b(1) 2x 3 2 b(1) *b(1) x 2 2 b(1) *b(2) *b(1) x Separation of e_2 yields (e_20 e_19 e_21 e_17 e_16 e_18 e_15) e_20 is a consequence of e_13. Step 3: separation w.r.t. x linear independent expressions : Db(1)*Db(2) 6x Db(1) *Db(2) x 5x Db(1) *Db(2) 2x 4x Db(1) *Db(2) 3x 3x Db(1) *Db(2) 4x 2x Db(1) *Db(2) 5x x Db(2)*Db(1) 6x b(1)*b(2) 7x b(1) *b(2) x 6x b(1) *b(2) 2x 5x b(1) *b(2) 3x 4x b(1) *b(2) 4x 3x b(1) *b(2) 5x 2x b(1) *b(2) 6x x b(2)*b(1) 7x *** Garbage collection starting *** GC 11 2-Oct-2003 08:53:52, 30 ms (0%), 977096 occupied, 24022856 free Separation of e_7 yields (e_36 e_35 e_34 e_30 e_22 e_31 e_29 e_28 e_23 e_33 e_32 e_27 e_26 e_25 e_24) Step 4: separation w.r.t. x linear independent expressions : Db(2)*Db(2) 6x Db(2) *Db(2) x 5x Db(2) *Db(2) 2x 4x Db(1)*Db(1) 7x Db(1) *Db(1) x 6x Db(1) *Db(1) 2x 5x Db(1) *Db(1) 3x 4x b(2)*b(2) 7x b(2) *b(2) x 6x b(2) *b(2) 2x 5x b(2) *b(2) 3x 4x b(1)*b(1) 8x b(1) *b(1) x 7x b(1) *b(1) 2x 6x b(1) *b(1) 3x 5x 2 b(1) 4x Separation of e_8 yields (e_49 e_52 e_48 e_47 e_45 e_46 e_51 e_50 e_44 e_41 e_37 e_40 e_39 e_43 e_42 e_38) e_52 is a consequence of e_30. e_45 is a consequence of e_22. Step 5: separation w.r.t. x linear independent expressions : b(2)*b(2) *Db(1)*Db(2) x b(1)*b(1) *Db(1)*Db(2) 2x 2 b(1) *Db(1)*Db(2) x 2 b(1) *Db(1)*Db(2) 2x b(1)*b(2)*Db(2)*Db(2) x 2 b(2) *Db(1)*Db(2) x b(1)*b(1) *Db(1)*Db(2) x x 2 b(1) *Db(1) *Db(2) x x 2 b(1) *Db(2)*Db(1) 2x b(1)*b(2)*Db(1)*Db(1) 2x 2 b(2) *Db(2)*Db(1) x b(1)*b(1) *Db(2)*Db(1) x x b(1)*b(2) *Db(1)*Db(1) x x b(2)*b(1) *Db(1)*Db(1) x x 3 b(1) *b(2) 3x 2 b(1)*b(2) *b(2) 2x 2 b(1) *b(1) *b(2) x 2x 2 b(1)*b(2)*b(2) x 2 b(1) *b(1) *b(2) 2x x 2 b(1)*b(1) *b(2) x x 2 b(2) *b(1) *b(2) x x 2 b(1) *b(2)*b(1) 3x 3 b(2) *b(1) 2x b(1)*b(2)*b(1) *b(1) x 2x 3 b(2)*b(1) x *** Garbage collection starting *** GC 12 2-Oct-2003 08:53:55, 30 ms (0%), 991170 occupied, 24008782 free Separation of e_3 yields (e_72 e_67 e_55 e_77 e_75 e_74 e_70 e_68 e_64 e_57 e_53 e_73 e_69 e_65 e_63 e_76 e_66 e_62 e_60 e_56 e_71 e_59 e_54 e_61 e_58) Step 6: separation w.r.t. x linear independent expressions : b(1)*b(2) *Db(1)*Db(2) 2x b(1) *b(2) *Db(1)*Db(2) x x b(2)*b(1) *Db(1)*Db(2) 2x 2 b(1) *Db(2)*Db(2) 2x b(1)*b(2)*Db(1)*Db(2) 2x 2 b(2) *Db(2)*Db(2) x b(1)*b(1) *Db(2)*Db(2) x x b(1)*b(2) *Db(1)*Db(2) x x b(2)*b(1) *Db(1)*Db(2) x x b(1)*b(2)*Db(1) *Db(2) x x 2 b(1) *Db(1)*Db(1) 3x b(1)*b(2)*Db(2)*Db(1) 2x 2 b(2) *Db(1)*Db(1) 2x b(1)*b(1) *Db(1)*Db(1) x 2x 2 b(1) *Db(1) *Db(1) x 2x b(1)*b(2) *Db(2)*Db(1) x x b(2)*b(1) *Db(2)*Db(1) x x b(2)*b(2) *Db(1)*Db(1) x x b(1)*b(1) *Db(1)*Db(1) 2x x 2 b(1) *Db(1)*Db(1) x x 2 b(1) *b(2)*b(2) 3x 3 b(2) *b(2) 2x 2 b(1) *b(2) *b(2) x 2x b(1)*b(2)*b(1) *b(2) x 2x 2 2 b(2) *b(2) x 2 b(1)*b(1) *b(2) x x b(1)*b(2)*b(1) *b(2) 2x x 2 b(2)*b(1) *b(2) x x 3 b(1) *b(1) 4x 2 b(1)*b(2) *b(1) 3x 2 b(1) *b(1) *b(1) x 3x 2 2 b(1) *b(1) 2x 2 b(1)*b(1) *b(1) x 2x 2 b(2) *b(1) *b(1) x 2x 4 b(1) x *** Garbage collection starting *** GC 13 2-Oct-2003 08:53:58, 30 ms (0%), 1010342 occupied, 23989610 free *** Garbage collection starting *** GC 14 2-Oct-2003 08:54:00, 30 ms (0%), 997222 occupied, 24002730 free Separation of e_4 yields (e_107 e_100 e_95 e_88 e_98 e_91 e_93 e_110 e_108 e_102 e_96 e_94 e_78 e_99 e_109 e_104 e_103 e_101 e_84 e_81 e_112 e_111 e_92 e_85 e_79 e_106 e_105 e_97 e_83 e_90 e_87 e_86 e_82 e_80 e_89) Step 7: separation w.r.t. x linear independent expressions : b(1) *Db(1)*Db(2) 4x b(1)*Db(1)*Db(2) 4x b(2)*Db(2)*Db(2) 3x b(1) *Db(1)*Db(2) x 3x b(1)*Db(1) *Db(2) x 3x b(2) *Db(2)*Db(2) x 2x b(1) *Db(1)*Db(2) 2x 2x b(2)*Db(2) *Db(2) x 2x b(1)*Db(1) *Db(2) 2x 2x b(1) *Db(1) *Db(2) x x 2x b(2) *Db(2)*Db(2) 2x x b(1) *Db(1)*Db(2) 3x x b(1)*Db(1) *Db(2) 3x x b(1) *Db(1) *Db(2) x 2x x b(1) *Db(1) *Db(2) 2x x x b(1)*Db(2)*Db(1) 4x b(2)*Db(1)*Db(1) 4x b(1) *Db(2)*Db(1) x 3x b(2) *Db(1)*Db(1) x 3x b(2)*Db(1) *Db(1) x 3x b(1) *Db(2)*Db(1) 2x 2x b(2) *Db(1)*Db(1) 2x 2x b(2) *Db(1) *Db(1) x x 2x b(1) *Db(2)*Db(1) 3x x b(2) *Db(1)*Db(1) 3x x 2 b(1) *b(2) 5x 2 b(2) *b(2) 4x b(1)*b(1) *b(2) x 4x b(2)*b(2) *b(2) x 3x b(1)*b(1) *b(2) 2x 3x 2 b(1) *b(2) x 3x 2 b(2)*b(2) 2x 2 b(2) *b(2) x 2x b(1)*b(1) *b(2) 3x 2x b(1) *b(1) *b(2) x 2x 2x b(1)*b(1) *b(2) 4x x b(1) *b(1) *b(2) x 3x x 2 b(1) *b(2) 2x x b(1)*b(2)*b(1) 5x b(2)*b(1) *b(1) x 4x b(2)*b(1) *b(1) 2x 3x *** Garbage collection starting *** GC 15 2-Oct-2003 08:54:06, 30 ms (0%), 996064 occupied, 24003888 free Separation of e_5 yields (e_137 e_134 e_131 e_153 e_152 e_151 e_148 e_146 e_143 e_136 e_133 e_132 e_129 e_128 e_127 e_150 e_149 e_147 e_142 e_140 e_138 e_135 e_130 e_121 e_116 e_115 e_114 e_113 e_145 e_141 e_139 e_125 e_123 e_122 e_144 e_126 e_118 e_124 e_119 e_117 e_120) Step 8: separation w.r.t. x linear independent expressions : b(2) *Db(1)*Db(2) 4x b(1)*Db(2)*Db(2) 4x b(2)*Db(1)*Db(2) 4x b(1) *Db(2)*Db(2) x 3x b(2) *Db(1)*Db(2) x 3x b(1)*Db(2) *Db(2) x 3x b(2)*Db(1) *Db(2) x 3x b(1) *Db(2)*Db(2) 2x 2x b(2) *Db(1)*Db(2) 2x 2x b(1) *Db(2) *Db(2) x x 2x b(2)*Db(1) *Db(2) 2x 2x b(2) *Db(1) *Db(2) x x 2x b(1) *Db(2)*Db(2) 3x x b(2) *Db(1)*Db(2) 3x x b(2)*Db(1) *Db(2) 3x x b(2) *Db(1) *Db(2) x 2x x b(2) *Db(1) *Db(2) 2x x x b(1)*Db(1)*Db(1) 5x b(2)*Db(2)*Db(1) 4x b(1) *Db(1)*Db(1) x 4x b(1)*Db(1) *Db(1) x 4x b(2) *Db(2)*Db(1) x 3x b(1) *Db(1)*Db(1) 2x 3x b(1)*Db(1) *Db(1) 2x 3x b(1) *Db(1) *Db(1) x x 3x b(2) *Db(2)*Db(1) 2x 2x b(1) *Db(1)*Db(1) 3x 2x b(1) *Db(1) *Db(1) 2x x 2x b(2) *Db(2)*Db(1) 3x x b(1) *Db(1)*Db(1) 4x x b(1)*b(2)*b(2) 5x b(1)*b(2) *b(2) x 4x b(2)*b(1) *b(2) x 4x b(1)*b(2) *b(2) 2x 3x b(1) *b(2) *b(2) x x 3x b(2)*b(1) *b(2) 2x 3x 2 b(1) *b(2) x 2x b(1) *b(2) *b(2) 2x x 2x b(2)*b(1) *b(2) 3x 2x 2 b(1) *b(2) 3x x b(2)*b(1) *b(2) 4x x 2 b(1) *b(1) 6x 2 b(2) *b(1) 5x b(1)*b(1) *b(1) x 5x b(1)*b(1) *b(1) 2x 4x 2 b(1) *b(1) x 4x 2 b(1)*b(1) 3x b(1) *b(1) *b(1) x 2x 3x 3 b(1) 2x *** Garbage collection starting *** GC 16 2-Oct-2003 08:54:09, 30 ms (0%), 1044668 occupied, 23955284 free *** Garbage collection starting *** GC 17 2-Oct-2003 08:54:25, 30 ms (0%), 1008802 occupied, 23991150 free Separation of e_6 yields (e_200 e_196 e_184 e_154 e_202 e_195 e_192 e_190 e_188 e_185 e_181 e_175 e_173 e_161 e_160 e_201 e_199 e_198 e_194 e_193 e_189 e_187 e_180 e_179 e_177 e_176 e_174 e_172 e_162 e_197 e_191 e_186 e_183 e_182 e_178 e_170 e_167 e_163 e_156 e_166 e_164 e_157 e_171 e_168 e_165 e_159 e_158 e_155 e_169) Step 9: 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 : 191 total no of terms : 882 total no of factors : 1727 191 equations in 0 variables: e_120(9),e_169(9),e_89(8),e_124(8),e_119(8),e_117(8),e_171(8),e_168(8), e_165(8),e_159(8),e_158(8),e_155(8),e_61(7),e_58(7),e_90(7),e_87(7), e_86(7),e_82(7),e_80(7),e_144(7),e_126(7),e_118(7),e_166(7),e_164(7), e_157(7),e_26(6),e_25(6),e_24(6),e_43(6),e_42(6),e_38(6),e_71(6), e_59(6),e_54(6),e_106(6),e_105(6),e_97(6),e_83(6),e_145(6),e_141(6), e_139(6),e_125(6),e_123(6),e_122(6),e_197(6),e_191(6),e_186(6), e_183(6),e_182(6),e_178(6),e_170(6),e_167(6),e_163(6),e_156(6), e_33(5),e_32(5),e_27(5),e_40(5),e_39(5),e_76(5),e_66(5),e_62(5), e_60(5),e_56(5),e_112(5),e_111(5),e_92(5),e_85(5),e_79(5),e_150(5), e_149(5),e_147(5),e_142(5),e_140(5),e_138(5),e_135(5),e_130(5), e_121(5),e_116(5),e_115(5),e_114(5),e_113(5),e_201(5),e_199(5), e_198(5),e_194(5),e_193(5),e_189(5),e_187(5),e_180(5),e_179(5), e_177(5),e_176(5),e_174(5),e_172(5),e_162(5),e_15(4),e_29(4),e_28(4), e_23(4),e_50(4),e_44(4),e_41(4),e_37(4),e_73(4),e_69(4),e_65(4), e_63(4),e_109(4),e_104(4),e_103(4),e_101(4),e_84(4),e_81(4),e_153(4), e_152(4),e_151(4),e_148(4),e_146(4),e_143(4),e_136(4),e_133(4), e_132(4),e_129(4),e_128(4),e_127(4),e_202(4),e_195(4),e_192(4), e_190(4),e_188(4),e_185(4),e_181(4),e_175(4),e_173(4),e_161(4), e_160(4),e_99(6#),e_14(3),e_11(3),e_18(3),e_31(3),e_51(3),e_77(3), e_75(3),e_74(3),e_70(3),e_68(3),e_64(3),e_57(3),e_53(3),e_110(3), e_108(3),e_102(3),e_96(3),e_94(5#),e_78(3),e_137(3),e_134(3),e_131(3), e_200(3),e_196(3),e_184(3),e_154(3),e_46(4#),e_93(4#),e_16(3#),e_35(3#), e_34(3#),e_30(2),e_22(2),e_48(3#),e_47(3#),e_55(2),e_98(3#),e_91(2), e_9(2#),e_10(2#),e_12(2#),e_21(2#),e_17(2#),e_36(2#),e_49(2#),e_100(2#), e_95(2#),e_88(2#),e_13(1#),e_19(1#),e_72(1#),e_67(1#),e_107(1#) 64 constants : p1,p2,p3,p4,p5,q1,q2,q3,q4,q5, q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16, q17,q18,q19,q20,q21,q22,q23,q24,q25,q26,q27, q28,q29,q30,q31,q32,q33,q34,q35,q36,q37,q38, q39,q40,q41,q42,q43,q44,q45,q46,q47,q48,q49, q50,q51,q52,q53,q54,q55,q56,q57,q58,q59 old input: w Enter a list of equations, like e2,e5,e35; from: e_107,e_67,e_72,e_19,e_13,e_88,e_95,e_100,e_49,e_36,e_17,e_21,e_12,e_10,e_9,e_91 ,e_98,e_55,e_47,e_48,e_22,e_30,e_34,e_35,e_16,e_93,e_46,e_154,e_184,e_196,e_200, e_131,e_134,e_137,e_78,e_94,e_96,e_102,e_108,e_110,e_53,e_57,e_64,e_68,e_70,e_74 ,e_75,e_77,e_51,e_31,e_18,e_11,e_14,e_99,e_160,e_161,e_173,e_175,e_181,e_185, e_188,e_190,e_192,e_195,e_202,e_127,e_128,e_129,e_132,e_133,e_136,e_143,e_146, e_148,e_151,e_152,e_153,e_81,e_84,e_101,e_103,e_104,e_109,e_63,e_65,e_69,e_73, e_37,e_41,e_44,e_50,e_23,e_28,e_29,e_15,e_162,e_172,e_174,e_176,e_177,e_179, e_180,e_187,e_189,e_193,e_194,e_198,e_199,e_201,e_113,e_114,e_115,e_116,e_121, e_130,e_135,e_138,e_140,e_142,e_147,e_149,e_150,e_79,e_85,e_92,e_111,e_112,e_56, e_60,e_62,e_66,e_76,e_39,e_40,e_27,e_32,e_33,e_156,e_163,e_167,e_170,e_178,e_182 ,e_183,e_186,e_191,e_197,e_122,e_123,e_125,e_139,e_141,e_145,e_83,e_97,e_105, e_106,e_54,e_59,e_71,e_38,e_42,e_43,e_24,e_25,e_26,e_157,e_164,e_166,e_118,e_126 ,e_144,e_80,e_82,e_86,e_87,e_90,e_58,e_61,e_155,e_158,e_159,e_165,e_168,e_171, e_117,e_119,e_124,e_89,e_169,e_120 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: next: 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,3,45,11,27,8,20,30,47,21,38; The new list: next: There is no time-limit set currently. After time has expired, shall CRACK go into interactive mode (1) or shall CRACK terminate with error (2) ? How many hours? How many minutes? next: Step 10: Hot list of 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 18 2-Oct-2003 08:54:28, 30 ms (0%), 1003726 occupied, 23996226 free *** Garbage collection starting *** GC 19 2-Oct-2003 08:54:31, 30 ms (0%), 1008244 occupied, 23991708 free *** Garbage collection starting *** GC 20 2-Oct-2003 08:54:33, 40 ms (0%), 1014904 occupied, 23985048 free --- Algebraic length reduction of equations : shortening by 1 term 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 2 terms 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 2 terms 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 : *** Garbage collection starting *** GC 21 2-Oct-2003 08:54:36, 30 ms (0%), 1010856 occupied, 23989096 free *** Garbage collection starting *** GC 22 2-Oct-2003 08:54:38, 40 ms (0%), 1011704 occupied, 23988248 free *** Garbage collection starting *** GC 23 2-Oct-2003 08:54:40, 30 ms (0%), 1012596 occupied, 23987356 free *** Garbage collection starting *** GC 24 2-Oct-2003 08:54:42, 40 ms (0%), 1013408 occupied, 23986544 free *** Garbage collection starting *** GC 25 2-Oct-2003 08:54:44, 30 ms (0%), 1014018 occupied, 23985934 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q52 from e_17 and e_16. e_16: 0=(q25 + q26 - 4*q52)*p1 is replaced by e_208: 0=(3*q25 - q26)*p1 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 : *** Garbage collection starting *** GC 26 2-Oct-2003 08:54:46, 30 ms (0%), 1012688 occupied, 23987263 free *** Garbage collection starting *** GC 27 2-Oct-2003 08:54:48, 30 ms (0%), 1013716 occupied, 23986235 free *** Garbage collection starting *** GC 28 2-Oct-2003 08:54:50, 40 ms (0%), 1014428 occupied, 23985523 free *** Garbage collection starting *** GC 29 2-Oct-2003 08:54:51, 30 ms (0%), 1014630 occupied, 23985321 free *** Garbage collection starting *** GC 30 2-Oct-2003 08:54:53, 30 ms (0%), 1014824 occupied, 23985127 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : *** Garbage collection starting *** GC 31 2-Oct-2003 08:55:01, 30 ms (0%), 1020319 occupied, 23979632 free Eliminate q27 from e_91 and e_55. e_55: 0=2*p2*q49 - p5*q27 is replaced by e_211: 0=(q20 + q49)*p2 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 : *** Garbage collection starting *** GC 32 2-Oct-2003 08:55:04, 40 ms (0%), 1013402 occupied, 23986548 free *** Garbage collection starting *** GC 33 2-Oct-2003 08:55:05, 40 ms (0%), 1014136 occupied, 23985815 free *** Garbage collection starting *** GC 34 2-Oct-2003 08:55:07, 30 ms (0%), 1014844 occupied, 23985107 free *** Garbage collection starting *** GC 35 2-Oct-2003 08:55:09, 40 ms (0%), 1015496 occupied, 23984455 free *** Garbage collection starting *** GC 36 2-Oct-2003 08:55:11, 40 ms (0%), 1015764 occupied, 23984187 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_95 and e_108. e_108: 3 terms, 6 factors, with derivatives of functions of all variables: (q38,q10,q9,p4,p1) is replaced by e_214: 3 terms, 6 factors, with derivatives of functions of all variables: (q38,q10,q4,p4,p1) 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 : *** Garbage collection starting *** GC 37 2-Oct-2003 08:55:18, 30 ms (0%), 1012600 occupied, 23987351 free *** Garbage collection starting *** GC 38 2-Oct-2003 08:55:19, 40 ms (0%), 1014628 occupied, 23985322 free *** Garbage collection starting *** GC 39 2-Oct-2003 08:55:21, 30 ms (0%), 1015358 occupied, 23984592 free *** Garbage collection starting *** GC 40 2-Oct-2003 08:55:23, 30 ms (0%), 1015664 occupied, 23984286 free *** Garbage collection starting *** GC 41 2-Oct-2003 08:55:25, 40 ms (0%), 1016148 occupied, 23983802 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_95 and e_110. e_110: 3 terms, 6 factors, with derivatives of functions of all variables: (q9,q6,q2,p4,p1) is replaced by e_218: 3 terms, 6 factors, with derivatives of functions of all variables: (q6,q4,q2,p4,p1) 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 : *** Garbage collection starting *** GC 42 2-Oct-2003 08:55:27, 30 ms (1%), 1013606 occupied, 23986345 free *** Garbage collection starting *** GC 43 2-Oct-2003 08:55:29, 30 ms (1%), 1014686 occupied, 23985265 free *** Garbage collection starting *** GC 44 2-Oct-2003 08:55:31, 30 ms (1%), 1015210 occupied, 23984741 free *** Garbage collection starting *** GC 45 2-Oct-2003 08:55:33, 30 ms (1%), 1015748 occupied, 23984203 free *** Garbage collection starting *** GC 46 2-Oct-2003 08:55:35, 40 ms (1%), 1016230 occupied, 23983721 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : A length reducing simplification (27 ) was prevented to avoid a cycle. Eliminate q52 from e_12 and e_11. e_11: 3 terms, 6 factors, with derivatives of functions of all variables: (q54,q52,q26,p4,p1) is replaced by e_222: 3 terms, 6 factors, with derivatives of functions of all variables: (q54,q26,q25,p4,p1) 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 2 terms 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 : *** Garbage collection starting *** GC 47 2-Oct-2003 08:55:38, 30 ms (1%), 1013440 occupied, 23986510 free *** Garbage collection starting *** GC 48 2-Oct-2003 08:55:40, 30 ms (1%), 1014178 occupied, 23985772 free *** Garbage collection starting *** GC 49 2-Oct-2003 08:55:42, 30 ms (1%), 1014988 occupied, 23984962 free *** Garbage collection starting *** GC 50 2-Oct-2003 08:55:44, 30 ms (1%), 1015630 occupied, 23984320 free *** Garbage collection starting *** GC 51 2-Oct-2003 08:55:46, 30 ms (1%), 1015914 occupied, 23984036 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q25 from e_226 and e_12. e_12: 0=(q25 - q52)*p4 is replaced by e_234: 0=p4*q52 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 : *** Garbage collection starting *** GC 52 2-Oct-2003 08:55:48, 40 ms (1%), 1014000 occupied, 23985951 free *** Garbage collection starting *** GC 53 2-Oct-2003 08:55:49, 40 ms (1%), 1014720 occupied, 23985231 free *** Garbage collection starting *** GC 54 2-Oct-2003 08:55:51, 40 ms (1%), 1015454 occupied, 23984497 free *** Garbage collection starting *** GC 55 2-Oct-2003 08:55:53, 30 ms (1%), 1016054 occupied, 23983897 free *** Garbage collection starting *** GC 56 2-Oct-2003 08:55:55, 30 ms (1%), 1016406 occupied, 23983545 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q56 from e_30 and e_51. e_51: 3 terms, 6 factors, with derivatives of functions of all variables: (q58,q56,q31,p5,p3) is replaced by e_236: 3 terms, 6 factors, with derivatives of functions of all variables: (q58,q31,q29,p5,p3) 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 2 terms 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 : *** Garbage collection starting *** GC 57 2-Oct-2003 08:56:00, 40 ms (1%), 1014038 occupied, 23985913 free *** Garbage collection starting *** GC 58 2-Oct-2003 08:56:01, 30 ms (1%), 1014892 occupied, 23985059 free *** Garbage collection starting *** GC 59 2-Oct-2003 08:56:03, 30 ms (1%), 1015570 occupied, 23984381 free *** Garbage collection starting *** GC 60 2-Oct-2003 08:56:05, 30 ms (1%), 1015956 occupied, 23983995 free *** Garbage collection starting *** GC 61 2-Oct-2003 08:56:07, 40 ms (1%), 1016656 occupied, 23983295 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q58 from e_253 and e_244. e_244: 3 terms, 6 factors, with derivatives of functions of all variables: (q58,q32,q28,p5,p3) is replaced by e_256: 0=(q28 - 2*q31 - q32)*p5 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 : *** Garbage collection starting *** GC 62 2-Oct-2003 08:56:10, 40 ms (1%), 1015010 occupied, 23984940 free *** Garbage collection starting *** GC 63 2-Oct-2003 08:56:12, 30 ms (1%), 1016154 occupied, 23983796 free *** Garbage collection starting *** GC 64 2-Oct-2003 08:56:14, 40 ms (1%), 1016562 occupied, 23983388 free *** Garbage collection starting *** GC 65 2-Oct-2003 08:56:16, 30 ms (1%), 1017152 occupied, 23982798 free *** Garbage collection starting *** GC 66 2-Oct-2003 08:56:18, 30 ms (1%), 1017390 occupied, 23982560 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q27 from e_91 and e_62. e_62: 5 terms, 10 factors, with derivatives of functions of all variables: (q54,q49,q46,q27,q20,p5,p4,p2) is replaced by e_260: 5 terms, 10 factors, with derivatives of functions of all variables: (q54,q49,q46,q20,p5,p4,p2) 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 : *** Garbage collection starting *** GC 67 2-Oct-2003 08:56:23, 30 ms (1%), 1014848 occupied, 23985103 free *** Garbage collection starting *** GC 68 2-Oct-2003 08:56:25, 30 ms (1%), 1016248 occupied, 23983703 free *** Garbage collection starting *** GC 69 2-Oct-2003 08:56:27, 30 ms (1%), 1016868 occupied, 23983083 free *** Garbage collection starting *** GC 70 2-Oct-2003 08:56:29, 40 ms (1%), 1017218 occupied, 23982733 free *** Garbage collection starting *** GC 71 2-Oct-2003 08:56:31, 40 ms (1%), 1017440 occupied, 23982511 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : *** Garbage collection starting *** GC 72 2-Oct-2003 08:56:39, 40 ms (1%), 1031471 occupied, 23968478 free Eliminate q27 from e_91 and e_57. e_57: 3 terms, 6 factors, with derivatives of functions of all variables: (q50,q49,q27,p5,p4,p2) is replaced by e_265: 3 terms, 6 factors, with derivatives of functions of all variables: (q50,q49,q20,p4,p2) 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 : *** Garbage collection starting *** GC 73 2-Oct-2003 08:56:41, 40 ms (1%), 1016352 occupied, 23983599 free *** Garbage collection starting *** GC 74 2-Oct-2003 08:56:43, 30 ms (1%), 1017124 occupied, 23982827 free *** Garbage collection starting *** GC 75 2-Oct-2003 08:56:45, 40 ms (1%), 1017506 occupied, 23982444 free *** Garbage collection starting *** GC 76 2-Oct-2003 08:56:47, 40 ms (1%), 1017784 occupied, 23982167 free *** Garbage collection starting *** GC 77 2-Oct-2003 08:56:49, 30 ms (1%), 1017844 occupied, 23982107 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_95 and e_101. e_101: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q9,q8,q6,p4,p1) is replaced by e_269: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q8,q6,q4,p4,p1) 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 78 2-Oct-2003 08:56:52, 30 ms (1%), 1015852 occupied, 23984099 free *** Garbage collection starting *** GC 79 2-Oct-2003 08:56:53, 30 ms (1%), 1016616 occupied, 23983335 free *** Garbage collection starting *** GC 80 2-Oct-2003 08:56:55, 30 ms (1%), 1017156 occupied, 23982795 free *** Garbage collection starting *** GC 81 2-Oct-2003 08:56:57, 40 ms (1%), 1017834 occupied, 23982117 free *** Garbage collection starting *** GC 82 2-Oct-2003 08:56:59, 30 ms (1%), 1018214 occupied, 23981737 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_95 and e_104. e_104: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q9,q7,q6,p4,p1) is replaced by e_274: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q7,q6,q4,p4,p1) 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 : *** Garbage collection starting *** GC 83 2-Oct-2003 08:57:02, 40 ms (1%), 1015710 occupied, 23984241 free *** Garbage collection starting *** GC 84 2-Oct-2003 08:57:04, 40 ms (1%), 1016432 occupied, 23983519 free *** Garbage collection starting *** GC 85 2-Oct-2003 08:57:06, 30 ms (1%), 1017162 occupied, 23982789 free *** Garbage collection starting *** GC 86 2-Oct-2003 08:57:08, 40 ms (1%), 1018234 occupied, 23981717 free *** Garbage collection starting *** GC 87 2-Oct-2003 08:57:10, 40 ms (1%), 1018750 occupied, 23981201 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q35 from e_1 and e_73. e_73: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q37,q35,q6,p4,p2) is replaced by e_279: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q37,q34,q6,p4,p2) 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 : *** Garbage collection starting *** GC 88 2-Oct-2003 08:57:14, 40 ms (1%), 1016158 occupied, 23983794 free *** Garbage collection starting *** GC 89 2-Oct-2003 08:57:16, 30 ms (1%), 1016826 occupied, 23983126 free *** Garbage collection starting *** GC 90 2-Oct-2003 08:57:18, 30 ms (1%), 1017798 occupied, 23982154 free *** Garbage collection starting *** GC 91 2-Oct-2003 08:57:20, 40 ms (1%), 1018584 occupied, 23981368 free *** Garbage collection starting *** GC 92 2-Oct-2003 08:57:22, 30 ms (1%), 1019492 occupied, 23980460 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q38 from e_200 and e_137. e_137: 0=p3*q38 + p4*q55 - p5*q9 is replaced by e_284: 0=(q28 + q55)*p4 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 : *** Garbage collection starting *** GC 93 2-Oct-2003 08:57:25, 40 ms (1%), 1016342 occupied, 23983610 free *** Garbage collection starting *** GC 94 2-Oct-2003 08:57:27, 40 ms (1%), 1017212 occupied, 23982740 free *** Garbage collection starting *** GC 95 2-Oct-2003 08:57:29, 40 ms (1%), 1017604 occupied, 23982348 free *** Garbage collection starting *** GC 96 2-Oct-2003 08:57:31, 40 ms (1%), 1018788 occupied, 23981164 free *** Garbage collection starting *** GC 97 2-Oct-2003 08:57:33, 40 ms (1%), 1019862 occupied, 23980090 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q55 from e_284 and e_152. e_152: 4 terms, 8 factors, with derivatives of functions of all variables: (q55,q39,q28,q10,p5,p4) is replaced by e_287: 3 terms, 6 factors, with derivatives of functions of all variables: (q39,q28,q10,p5,p4) 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 : *** Garbage collection starting *** GC 98 2-Oct-2003 08:57:35, 40 ms (1%), 1017056 occupied, 23982895 free *** Garbage collection starting *** GC 99 2-Oct-2003 08:57:37, 30 ms (1%), 1018382 occupied, 23981569 free 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 : *** Garbage collection starting *** GC 100 2-Oct-2003 08:57:40, 30 ms (1%), 1015940 occupied, 23984011 free *** Garbage collection starting *** GC 101 2-Oct-2003 08:57:42, 40 ms (1%), 1017066 occupied, 23982884 free *** Garbage collection starting *** GC 102 2-Oct-2003 08:57:44, 30 ms (1%), 1019540 occupied, 23980410 free shortening by 1 term 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 : *** Garbage collection starting *** GC 103 2-Oct-2003 08:57:46, 40 ms (1%), 1016796 occupied, 23983155 free 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 : *** Garbage collection starting *** GC 104 2-Oct-2003 08:57:48, 30 ms (1%), 1016292 occupied, 23983659 free 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 : *** Garbage collection starting *** GC 105 2-Oct-2003 08:57:50, 30 ms (1%), 1016958 occupied, 23982993 free 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 106 2-Oct-2003 08:57:52, 40 ms (1%), 1017458 occupied, 23982492 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 : *** Garbage collection starting *** GC 107 2-Oct-2003 08:57:54, 40 ms (1%), 1016284 occupied, 23983667 free 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 : *** Garbage collection starting *** GC 108 2-Oct-2003 08:57:56, 40 ms (1%), 1016498 occupied, 23983453 free shortening by 1 term 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 : shortening by 2 terms 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 : *** Garbage collection starting *** GC 109 2-Oct-2003 08:57:58, 40 ms (1%), 1016598 occupied, 23983353 free --- 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 : *** Garbage collection starting *** GC 110 2-Oct-2003 08:58:00, 30 ms (1%), 1016884 occupied, 23983067 free 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 : *** Garbage collection starting *** GC 111 2-Oct-2003 08:58:03, 40 ms (1%), 1016192 occupied, 23983759 free 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 1 term 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 : *** Garbage collection starting *** GC 112 2-Oct-2003 08:58:05, 40 ms (1%), 1016234 occupied, 23983717 free 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 2 terms 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 : *** Garbage collection starting *** GC 113 2-Oct-2003 08:58:07, 40 ms (1%), 1016224 occupied, 23983727 free *** Garbage collection starting *** GC 114 2-Oct-2003 08:58:09, 40 ms (1%), 1017132 occupied, 23982819 free 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 : *** Garbage collection starting *** GC 115 2-Oct-2003 08:58:11, 40 ms (1%), 1016210 occupied, 23983741 free 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 2 terms 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 : *** Garbage collection starting *** GC 116 2-Oct-2003 08:58:13, 40 ms (1%), 1016132 occupied, 23983820 free shortening by 3 terms 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 : *** Garbage collection starting *** GC 117 2-Oct-2003 08:58:15, 30 ms (1%), 1016766 occupied, 23983186 free shortening by 3 terms e_45 is a consequence of e_284. 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 : 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 2 terms 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 : *** Garbage collection starting *** GC 118 2-Oct-2003 08:58:18, 30 ms (1%), 1015460 occupied, 23984492 free shortening by 2 terms 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 3 terms 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 : *** Garbage collection starting *** GC 119 2-Oct-2003 08:58:20, 40 ms (1%), 1015410 occupied, 23984542 free *** Garbage collection starting *** GC 120 2-Oct-2003 08:58:22, 30 ms (1%), 1018096 occupied, 23981856 free *** Garbage collection starting *** GC 121 2-Oct-2003 08:58:24, 30 ms (1%), 1018914 occupied, 23981038 free *** Garbage collection starting *** GC 122 2-Oct-2003 08:58:26, 30 ms (1%), 1019620 occupied, 23980332 free *** Garbage collection starting *** GC 123 2-Oct-2003 08:58:28, 30 ms (1%), 1020228 occupied, 23979724 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q39 from e_378 and e_74. e_74: 0=p4*q10 - p4*q39 + p5*q1 is replaced by e_221: 0=2*p4*q10 + p5*q1 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 : *** Garbage collection starting *** GC 124 2-Oct-2003 08:58:31, 30 ms (1%), 1016452 occupied, 23983500 free *** Garbage collection starting *** GC 125 2-Oct-2003 08:58:33, 30 ms (1%), 1017158 occupied, 23982794 free *** Garbage collection starting *** GC 126 2-Oct-2003 08:58:35, 40 ms (1%), 1018072 occupied, 23981880 free *** Garbage collection starting *** GC 127 2-Oct-2003 08:58:37, 30 ms (1%), 1019036 occupied, 23980916 free *** Garbage collection starting *** GC 128 2-Oct-2003 08:58:39, 30 ms (1%), 1019554 occupied, 23980398 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q45 from e_110 and e_63. e_63: 4 terms, 8 factors, with derivatives of functions of all variables: (q52,q45,q25,q16,p5,p4) is replaced by e_222: 3 terms, 6 factors, with derivatives of functions of all variables: (q52,q25,q16,p5,p4) 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 : *** Garbage collection starting *** GC 129 2-Oct-2003 08:58:42, 30 ms (1%), 1017016 occupied, 23982936 free *** Garbage collection starting *** GC 130 2-Oct-2003 08:58:44, 30 ms (1%), 1017794 occupied, 23982158 free *** Garbage collection starting *** GC 131 2-Oct-2003 08:58:46, 30 ms (1%), 1018692 occupied, 23981260 free *** Garbage collection starting *** GC 132 2-Oct-2003 08:58:48, 40 ms (1%), 1019128 occupied, 23980824 free *** Garbage collection starting *** GC 133 2-Oct-2003 08:58:50, 40 ms (1%), 1019842 occupied, 23980110 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q40 from e_155 and e_128. e_128: 4 terms, 8 factors, with derivatives of functions of all variables: (q45,q40,q16,q11,p5,p4) is replaced by e_232: 3 terms, 6 factors, with derivatives of functions of all variables: (q45,q16,q11,p5,p4) 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 : *** Garbage collection starting *** GC 134 2-Oct-2003 08:58:53, 40 ms (1%), 1018068 occupied, 23981884 free *** Garbage collection starting *** GC 135 2-Oct-2003 08:58:55, 30 ms (1%), 1019050 occupied, 23980902 free *** Garbage collection starting *** GC 136 2-Oct-2003 08:58:57, 40 ms (1%), 1019692 occupied, 23980260 free *** Garbage collection starting *** GC 137 2-Oct-2003 08:58:59, 40 ms (1%), 1020206 occupied, 23979746 free *** Garbage collection starting *** GC 138 2-Oct-2003 08:59:02, 40 ms (1%), 1020544 occupied, 23979408 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q39 from e_378 and e_68. e_68: 3 terms, 6 factors, with derivatives of functions of all variables: (q39,q38,q9,p4,p1) is replaced by e_51: 3 terms, 6 factors, with derivatives of functions of all variables: (q38,q10,q9,p4,p1) 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 : shortening by 1 term e_31 is a consequence of e_95. 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 : *** Garbage collection starting *** GC 139 2-Oct-2003 08:59:05, 40 ms (1%), 1016922 occupied, 23983030 free *** Garbage collection starting *** GC 140 2-Oct-2003 08:59:07, 40 ms (1%), 1018706 occupied, 23981246 free *** Garbage collection starting *** GC 141 2-Oct-2003 08:59:09, 30 ms (1%), 1019210 occupied, 23980742 free *** Garbage collection starting *** GC 142 2-Oct-2003 08:59:11, 30 ms (1%), 1020038 occupied, 23979914 free *** Garbage collection starting *** GC 143 2-Oct-2003 08:59:13, 40 ms (1%), 1020518 occupied, 23979434 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q55 from e_284 and e_8. e_8: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q55,q34,p4,p3) is replaced by e_241: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q34,q28,p4,p3) 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 : *** Garbage collection starting *** GC 144 2-Oct-2003 08:59:16, 40 ms (1%), 1017588 occupied, 23982364 free *** Garbage collection starting *** GC 145 2-Oct-2003 08:59:18, 30 ms (1%), 1018726 occupied, 23981226 free *** Garbage collection starting *** GC 146 2-Oct-2003 08:59:20, 40 ms (1%), 1019798 occupied, 23980154 free *** Garbage collection starting *** GC 147 2-Oct-2003 08:59:22, 30 ms (1%), 1020542 occupied, 23979410 free *** Garbage collection starting *** GC 148 2-Oct-2003 08:59:25, 30 ms (1%), 1020914 occupied, 23979037 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_95 and e_51. e_51: 3 terms, 6 factors, with derivatives of functions of all variables: (q38,q10,q9,p4,p1) is replaced by e_245: 3 terms, 6 factors, with derivatives of functions of all variables: (q38,q10,q4,p4,p1) 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 : *** Garbage collection starting *** GC 149 2-Oct-2003 08:59:27, 30 ms (1%), 1017720 occupied, 23982232 free *** Garbage collection starting *** GC 150 2-Oct-2003 08:59:29, 30 ms (1%), 1018640 occupied, 23981312 free *** Garbage collection starting *** GC 151 2-Oct-2003 08:59:31, 30 ms (1%), 1019762 occupied, 23980190 free *** Garbage collection starting *** GC 152 2-Oct-2003 08:59:33, 30 ms (1%), 1020392 occupied, 23979560 free *** Garbage collection starting *** GC 153 2-Oct-2003 08:59:36, 40 ms (1%), 1020970 occupied, 23978982 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q39 from e_378 and e_324. e_324: 4 terms, 8 factors, with derivatives of functions of all variables: (q39,q37,q36,q2,p4,p1) is replaced by e_249: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q36,q10,q2,p4,p1) 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 : *** Garbage collection starting *** GC 154 2-Oct-2003 08:59:41, 30 ms (1%), 1018110 occupied, 23981842 free *** Garbage collection starting *** GC 155 2-Oct-2003 08:59:43, 30 ms (1%), 1019304 occupied, 23980648 free *** Garbage collection starting *** GC 156 2-Oct-2003 08:59:45, 30 ms (1%), 1020192 occupied, 23979760 free *** Garbage collection starting *** GC 157 2-Oct-2003 08:59:47, 30 ms (1%), 1020924 occupied, 23979028 free *** Garbage collection starting *** GC 158 2-Oct-2003 08:59:49, 30 ms (1%), 1021464 occupied, 23978488 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q39 from e_378 and e_65. e_65: 4 terms, 8 factors, with derivatives of functions of all variables: (q39,q36,q34,q4,p4,p1) is replaced by e_254: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q34,q10,q4,p4,p1) 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 : *** Garbage collection starting *** GC 159 2-Oct-2003 08:59:52, 30 ms (1%), 1018634 occupied, 23981316 free *** Garbage collection starting *** GC 160 2-Oct-2003 08:59:54, 40 ms (1%), 1019964 occupied, 23979986 free *** Garbage collection starting *** GC 161 2-Oct-2003 08:59:56, 30 ms (1%), 1020842 occupied, 23979108 free *** Garbage collection starting *** GC 162 2-Oct-2003 08:59:59, 30 ms (1%), 1021480 occupied, 23978470 free *** Garbage collection starting *** GC 163 2-Oct-2003 09:00:01, 40 ms (1%), 1021948 occupied, 23978002 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_341 and e_336. e_336: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q30,q28,q9,p3,p1) is replaced by e_259: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q30,q28,q4,p3,p1) 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 : *** Garbage collection starting *** GC 164 2-Oct-2003 09:00:03, 30 ms (1%), 1019470 occupied, 23980481 free *** Garbage collection starting *** GC 165 2-Oct-2003 09:00:06, 30 ms (1%), 1020280 occupied, 23979671 free *** Garbage collection starting *** GC 166 2-Oct-2003 09:00:08, 30 ms (1%), 1020942 occupied, 23979009 free *** Garbage collection starting *** GC 167 2-Oct-2003 09:00:10, 40 ms (1%), 1021504 occupied, 23978447 free *** Garbage collection starting *** GC 168 2-Oct-2003 09:00:12, 30 ms (1%), 1021816 occupied, 23978135 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q55 from e_284 and e_129. e_129: 4 terms, 8 factors, with derivatives of functions of all variables: (q57,q55,q36,q4,p5,p4) is replaced by e_264: 4 terms, 8 factors, with derivatives of functions of all variables: (q57,q36,q28,q4,p5,p4) 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 : *** Garbage collection starting *** GC 169 2-Oct-2003 09:00:15, 40 ms (1%), 1019342 occupied, 23980610 free *** Garbage collection starting *** GC 170 2-Oct-2003 09:00:17, 30 ms (1%), 1020758 occupied, 23979193 free *** Garbage collection starting *** GC 171 2-Oct-2003 09:00:20, 30 ms (1%), 1021380 occupied, 23978571 free *** Garbage collection starting *** GC 172 2-Oct-2003 09:00:22, 30 ms (1%), 1021702 occupied, 23978249 free *** Garbage collection starting *** GC 173 2-Oct-2003 09:00:24, 40 ms (1%), 1021954 occupied, 23977997 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q55 from e_284 and e_132. e_132: 4 terms, 8 factors, with derivatives of functions of all variables: (q55,q39,q9,q4,p5,p4) is replaced by e_101: 4 terms, 8 factors, with derivatives of functions of all variables: (q39,q28,q9,q4,p5,p4) 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 : *** Garbage collection starting *** GC 174 2-Oct-2003 09:00:27, 30 ms (1%), 1019698 occupied, 23980254 free *** Garbage collection starting *** GC 175 2-Oct-2003 09:00:29, 30 ms (1%), 1021200 occupied, 23978752 free *** Garbage collection starting *** GC 176 2-Oct-2003 09:00:31, 40 ms (1%), 1021722 occupied, 23978230 free *** Garbage collection starting *** GC 177 2-Oct-2003 09:00:33, 30 ms (1%), 1022380 occupied, 23977572 free *** Garbage collection starting *** GC 178 2-Oct-2003 09:00:36, 40 ms (1%), 1022580 occupied, 23977372 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q37 from e_224 and e_70. e_224: 3 terms, 6 factors, with derivatives of functions of all variables: (q37,q8,q1,p5,p4,p1) is replaced by e_104: 3 terms, 6 factors, with derivatives of functions of all variables: (q8,q5,q1,p5,p4) 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 : *** Garbage collection starting *** GC 179 2-Oct-2003 09:00:40, 30 ms (1%), 1019784 occupied, 23980168 free *** Garbage collection starting *** GC 180 2-Oct-2003 09:00:42, 30 ms (1%), 1021670 occupied, 23978282 free *** Garbage collection starting *** GC 181 2-Oct-2003 09:00:44, 30 ms (1%), 1022280 occupied, 23977672 free *** Garbage collection starting *** GC 182 2-Oct-2003 09:00:46, 30 ms (1%), 1023126 occupied, 23976826 free *** Garbage collection starting *** GC 183 2-Oct-2003 09:00:49, 40 ms (1%), 1023400 occupied, 23976552 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q57 from e_131 and e_134. e_134: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q35,q9,p5,p4,p3) is replaced by e_278: 3 terms, 6 factors, with derivatives of functions of all variables: (q35,q9,q4,p5,p3) 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 : *** Garbage collection starting *** GC 184 2-Oct-2003 09:00:52, 30 ms (1%), 1020972 occupied, 23978980 free *** Garbage collection starting *** GC 185 2-Oct-2003 09:00:54, 40 ms (1%), 1022212 occupied, 23977740 free *** Garbage collection starting *** GC 186 2-Oct-2003 09:00:56, 40 ms (1%), 1022944 occupied, 23977008 free *** Garbage collection starting *** GC 187 2-Oct-2003 09:00:59, 30 ms (1%), 1023412 occupied, 23976540 free *** Garbage collection starting *** GC 188 2-Oct-2003 09:01:01, 40 ms (1%), 1023804 occupied, 23976148 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q6 from e_218 and e_274. e_274: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q7,q6,q4,p4,p1) is replaced by e_282: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q7,q4,q2,p4,p1) 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 : *** Garbage collection starting *** GC 189 2-Oct-2003 09:01:04, 40 ms (1%), 1020554 occupied, 23979396 free *** Garbage collection starting *** GC 190 2-Oct-2003 09:01:06, 40 ms (1%), 1022368 occupied, 23977582 free *** Garbage collection starting *** GC 191 2-Oct-2003 09:01:09, 40 ms (1%), 1023126 occupied, 23976824 free *** Garbage collection starting *** GC 192 2-Oct-2003 09:01:11, 40 ms (1%), 1023450 occupied, 23976500 free *** Garbage collection starting *** GC 193 2-Oct-2003 09:01:13, 40 ms (1%), 1023676 occupied, 23976274 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q6 from e_218 and e_269. e_269: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q8,q6,q4,p4,p1) is replaced by e_152: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q8,q4,q2,p4,p1) 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 : *** Garbage collection starting *** GC 194 2-Oct-2003 09:01:16, 30 ms (1%), 1020598 occupied, 23979354 free *** Garbage collection starting *** GC 195 2-Oct-2003 09:01:19, 30 ms (1%), 1022186 occupied, 23977766 free *** Garbage collection starting *** GC 196 2-Oct-2003 09:01:21, 30 ms (1%), 1022788 occupied, 23977164 free *** Garbage collection starting *** GC 197 2-Oct-2003 09:01:23, 40 ms (1%), 1023538 occupied, 23976414 free *** Garbage collection starting *** GC 198 2-Oct-2003 09:01:26, 40 ms (1%), 1024122 occupied, 23975830 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q35 from e_184 and e_188. e_188: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q35,q31,q6,p4,p3) is replaced by e_292: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q31,q29,q6,p4,p3) 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 : *** Garbage collection starting *** GC 199 2-Oct-2003 09:01:28, 30 ms (1%), 1021012 occupied, 23978940 free *** Garbage collection starting *** GC 200 2-Oct-2003 09:01:31, 40 ms (1%), 1022482 occupied, 23977470 free *** Garbage collection starting *** GC 201 2-Oct-2003 09:01:33, 30 ms (1%), 1023638 occupied, 23976314 free *** Garbage collection starting *** GC 202 2-Oct-2003 09:01:36, 40 ms (1%), 1024574 occupied, 23975378 free *** Garbage collection starting *** GC 203 2-Oct-2003 09:01:38, 40 ms (1%), 1024882 occupied, 23975070 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q57 from e_131 and e_264. e_264: 4 terms, 8 factors, with derivatives of functions of all variables: (q57,q36,q28,q4,p5,p4) is replaced by e_297: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q28,q9,q4,p5,p4) 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 : *** Garbage collection starting *** GC 204 2-Oct-2003 09:01:41, 40 ms (1%), 1021056 occupied, 23978896 free *** Garbage collection starting *** GC 205 2-Oct-2003 09:01:44, 40 ms (1%), 1022354 occupied, 23977598 free *** Garbage collection starting *** GC 206 2-Oct-2003 09:01:46, 40 ms (1%), 1023056 occupied, 23976896 free *** Garbage collection starting *** GC 207 2-Oct-2003 09:01:48, 40 ms (1%), 1023836 occupied, 23976116 free *** Garbage collection starting *** GC 208 2-Oct-2003 09:01:51, 30 ms (1%), 1024512 occupied, 23975440 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q35 from e_96 and e_103. e_103: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q35,q6,q5,p4,p1) is replaced by e_305: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q6,q5,q3,p4,p1) 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 : *** Garbage collection starting *** GC 209 2-Oct-2003 09:01:54, 40 ms (1%), 1022800 occupied, 23977151 free *** Garbage collection starting *** GC 210 2-Oct-2003 09:01:57, 40 ms (1%), 1023732 occupied, 23976219 free *** Garbage collection starting *** GC 211 2-Oct-2003 09:01:59, 40 ms (1%), 1024046 occupied, 23975905 free *** Garbage collection starting *** GC 212 2-Oct-2003 09:02:02, 30 ms (1%), 1024686 occupied, 23975265 free *** Garbage collection starting *** GC 213 2-Oct-2003 09:02:04, 40 ms (1%), 1024952 occupied, 23974999 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q56 from e_301 and e_133. e_301: 4 terms, 8 factors, with derivatives of functions of all variables: (q56,q9,q3,q2,p5,p1) is replaced by e_310: (#) 4 terms, 5 factors, with derivatives of functions of all variables: (q9,q8,q3,q2,p5) 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 214 2-Oct-2003 09:02:07, 30 ms (1%), 1023082 occupied, 23976869 free *** Garbage collection starting *** GC 215 2-Oct-2003 09:02:10, 30 ms (1%), 1024050 occupied, 23975901 free *** Garbage collection starting *** GC 216 2-Oct-2003 09:02:12, 40 ms (1%), 1024766 occupied, 23975185 free *** Garbage collection starting *** GC 217 2-Oct-2003 09:02:15, 40 ms (1%), 1025200 occupied, 23974751 free *** Garbage collection starting *** GC 218 2-Oct-2003 09:02:17, 40 ms (1%), 1025486 occupied, 23974465 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q58 from e_143 and e_148. e_143: 4 terms, 8 factors, with derivatives of functions of all variables: (q58,q56,q37,q6,p5,p2) is replaced by e_315: 4 terms, 8 factors, with derivatives of functions of all variables: (q56,q37,q34,q6,p5,p2) 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 : *** Garbage collection starting *** GC 219 2-Oct-2003 09:02:20, 40 ms (1%), 1022664 occupied, 23977287 free *** Garbage collection starting *** GC 220 2-Oct-2003 09:02:22, 40 ms (1%), 1023248 occupied, 23976703 free *** Garbage collection starting *** GC 221 2-Oct-2003 09:02:25, 40 ms (1%), 1023938 occupied, 23976013 free *** Garbage collection starting *** GC 222 2-Oct-2003 09:02:28, 30 ms (1%), 1024882 occupied, 23975069 free *** Garbage collection starting *** GC 223 2-Oct-2003 09:02:30, 40 ms (1%), 1025426 occupied, 23974525 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q56 from e_315 and e_148. e_148: 4 terms, 8 factors, with derivatives of functions of all variables: (q58,q56,q34,q6,p5,p2) is replaced by e_320: 4 terms, 8 factors, with derivatives of functions of all variables: (q58,q37,q34,q6,p5,p2) 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 : *** Garbage collection starting *** GC 224 2-Oct-2003 09:02:33, 40 ms (1%), 1023192 occupied, 23976759 free *** Garbage collection starting *** GC 225 2-Oct-2003 09:02:36, 30 ms (1%), 1024378 occupied, 23975573 free *** Garbage collection starting *** GC 226 2-Oct-2003 09:02:38, 40 ms (1%), 1024912 occupied, 23975039 free *** Garbage collection starting *** GC 227 2-Oct-2003 09:02:41, 40 ms (1%), 1025764 occupied, 23974187 free *** Garbage collection starting *** GC 228 2-Oct-2003 09:02:43, 40 ms (1%), 1026168 occupied, 23973782 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q38 from e_245 and e_105. e_105: 6 terms, 12 factors, with derivatives of functions of all variables: (q38,q34,q10,q7,q5,q4,p4,p2,p1) is replaced by e_325: 6 terms, 12 factors, with derivatives of functions of all variables: (q34,q10,q7,q5,q4,p4,p2,p1) 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 : *** Garbage collection starting *** GC 229 2-Oct-2003 09:02:50, 40 ms (1%), 1023552 occupied, 23976399 free *** Garbage collection starting *** GC 230 2-Oct-2003 09:02:53, 30 ms (1%), 1024612 occupied, 23975339 free *** Garbage collection starting *** GC 231 2-Oct-2003 09:02:56, 30 ms (1%), 1025778 occupied, 23974173 free *** Garbage collection starting *** GC 232 2-Oct-2003 09:02:58, 40 ms (1%), 1026274 occupied, 23973677 free *** Garbage collection starting *** GC 233 2-Oct-2003 09:03:01, 40 ms (1%), 1026372 occupied, 23973579 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q41 from e_22 and e_44. e_44: 4 terms, 8 factors, with derivatives of functions of all variables: (q43,q41,q33,q14,p5,p3,p2) is replaced by e_326: 4 terms, 8 factors, with derivatives of functions of all variables: (q43,q33,q14,q12,p5,p3,p2) 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 : *** Garbage collection starting *** GC 234 2-Oct-2003 09:03:07, 40 ms (1%), 1023354 occupied, 23976597 free *** Garbage collection starting *** GC 235 2-Oct-2003 09:03:10, 40 ms (1%), 1024248 occupied, 23975703 free *** Garbage collection starting *** GC 236 2-Oct-2003 09:03:13, 40 ms (1%), 1025560 occupied, 23974391 free *** Garbage collection starting *** GC 237 2-Oct-2003 09:03:15, 40 ms (1%), 1026278 occupied, 23973673 free *** Garbage collection starting *** GC 238 2-Oct-2003 09:03:18, 40 ms (1%), 1026360 occupied, 23973591 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q41 from e_22 and e_382. e_382: 5 terms, 10 factors, with derivatives of functions of all variables: (q47,q41,q17,q14,q11,p5,p3) is replaced by e_331: 5 terms, 10 factors, with derivatives of functions of all variables: (q47,q17,q14,q12,q11,p5,p3) 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 : shortening by 1 term 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 : *** Garbage collection starting *** GC 239 2-Oct-2003 09:03:22, 40 ms (1%), 1023874 occupied, 23976076 free *** Garbage collection starting *** GC 240 2-Oct-2003 09:03:25, 30 ms (1%), 1024704 occupied, 23975246 free *** Garbage collection starting *** GC 241 2-Oct-2003 09:03:27, 30 ms (1%), 1025670 occupied, 23974280 free *** Garbage collection starting *** GC 242 2-Oct-2003 09:03:30, 30 ms (1%), 1026452 occupied, 23973498 free *** Garbage collection starting *** GC 243 2-Oct-2003 09:03:33, 40 ms (1%), 1026912 occupied, 23973038 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q35 from e_278 and e_296. e_296: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q34,q28,q4,p5,p3,p2) is replaced by e_343: 4 terms, 8 factors, with derivatives of functions of all variables: (q34,q28,q9,q4,p5,p3,p2) 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 : *** Garbage collection starting *** GC 244 2-Oct-2003 09:03:36, 40 ms (1%), 1024108 occupied, 23975843 free *** Garbage collection starting *** GC 245 2-Oct-2003 09:03:39, 30 ms (1%), 1025856 occupied, 23974095 free *** Garbage collection starting *** GC 246 2-Oct-2003 09:03:41, 30 ms (1%), 1027416 occupied, 23972535 free *** Garbage collection starting *** GC 247 2-Oct-2003 09:03:44, 30 ms (1%), 1028252 occupied, 23971699 free *** Garbage collection starting *** GC 248 2-Oct-2003 09:03:46, 40 ms (1%), 1028784 occupied, 23971167 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q35 from e_278 and e_192. e_192: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q35,q32,q9,p5,p4,p3) is replaced by e_348: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q32,q9,q4,p5,p4,p3) 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 : *** Garbage collection starting *** GC 249 2-Oct-2003 09:03:50, 40 ms (1%), 1024700 occupied, 23975251 free *** Garbage collection starting *** GC 250 2-Oct-2003 09:03:53, 40 ms (1%), 1026238 occupied, 23973712 free *** Garbage collection starting *** GC 251 2-Oct-2003 09:03:55, 40 ms (1%), 1028030 occupied, 23971920 free 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 : *** Garbage collection starting *** GC 252 2-Oct-2003 09:03:58, 40 ms (1%), 1024336 occupied, 23975614 free shortening by 1 term 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 253 2-Oct-2003 09:04:01, 40 ms (1%), 1024676 occupied, 23975274 free *** Garbage collection starting *** GC 254 2-Oct-2003 09:04:04, 40 ms (1%), 1026142 occupied, 23973808 free *** Garbage collection starting *** GC 255 2-Oct-2003 09:04:06, 30 ms (1%), 1027396 occupied, 23972554 free *** Garbage collection starting *** GC 256 2-Oct-2003 09:04:09, 40 ms (1%), 1027732 occupied, 23972218 free *** Garbage collection starting *** GC 257 2-Oct-2003 09:04:12, 40 ms (1%), 1028110 occupied, 23971840 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q35 from e_184 and e_181. e_181: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q34,q31,q29,p4,p3,p2) is replaced by e_359: 4 terms, 8 factors, with derivatives of functions of all variables: (q34,q31,q29,q6,p4,p3,p2) 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 : *** Garbage collection starting *** GC 258 2-Oct-2003 09:04:18, 40 ms (1%), 1024892 occupied, 23975058 free *** Garbage collection starting *** GC 259 2-Oct-2003 09:04:21, 40 ms (1%), 1026834 occupied, 23973116 free *** Garbage collection starting *** GC 260 2-Oct-2003 09:04:23, 40 ms (1%), 1027500 occupied, 23972450 free *** Garbage collection starting *** GC 261 2-Oct-2003 09:04:26, 30 ms (1%), 1027816 occupied, 23972134 free *** Garbage collection starting *** GC 262 2-Oct-2003 09:04:29, 30 ms (1%), 1028370 occupied, 23971580 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q38 from e_200 and e_348. e_348: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q32,q9,q4,p5,p4,p3) is replaced by e_364: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q28,q9,q4,p5,p4) 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 : *** Garbage collection starting *** GC 263 2-Oct-2003 09:04:32, 40 ms (1%), 1025436 occupied, 23974514 free *** Garbage collection starting *** GC 264 2-Oct-2003 09:04:35, 40 ms (1%), 1027536 occupied, 23972413 free *** Garbage collection starting *** GC 265 2-Oct-2003 09:04:38, 40 ms (1%), 1028532 occupied, 23971417 free *** Garbage collection starting *** GC 266 2-Oct-2003 09:04:41, 30 ms (1%), 1029172 occupied, 23970777 free 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 : *** Garbage collection starting *** GC 267 2-Oct-2003 09:04:43, 40 ms (1%), 1025928 occupied, 23974021 free *** Garbage collection starting *** GC 268 2-Oct-2003 09:04:46, 30 ms (1%), 1026568 occupied, 23973381 free *** Garbage collection starting *** GC 269 2-Oct-2003 09:04:49, 40 ms (1%), 1027778 occupied, 23972171 free *** Garbage collection starting *** GC 270 2-Oct-2003 09:04:52, 40 ms (1%), 1028538 occupied, 23971411 free *** Garbage collection starting *** GC 271 2-Oct-2003 09:04:55, 40 ms (1%), 1029112 occupied, 23970837 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q57 from e_394 and e_344. e_344: 5 terms, 10 factors, with derivatives of functions of all variables: (q57,q39,q32,q31,q3,p3,p1) is replaced by e_376: 5 terms, 10 factors, with derivatives of functions of all variables: (q39,q32,q31,q8,q3,p3,p1) 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 : *** Garbage collection starting *** GC 272 2-Oct-2003 09:05:00, 40 ms (1%), 1026380 occupied, 23973569 free *** Garbage collection starting *** GC 273 2-Oct-2003 09:05:03, 40 ms (1%), 1028036 occupied, 23971913 free *** Garbage collection starting *** GC 274 2-Oct-2003 09:05:05, 40 ms (1%), 1029486 occupied, 23970463 free 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 : *** Garbage collection starting *** GC 275 2-Oct-2003 09:05:08, 40 ms (1%), 1025938 occupied, 23974011 free *** Garbage collection starting *** GC 276 2-Oct-2003 09:05:11, 40 ms (1%), 1028448 occupied, 23971501 free *** Garbage collection starting *** GC 277 2-Oct-2003 09:05:14, 40 ms (1%), 1030794 occupied, 23969155 free *** Garbage collection starting *** GC 278 2-Oct-2003 09:05:17, 40 ms (1%), 1032576 occupied, 23967373 free *** Garbage collection starting *** GC 279 2-Oct-2003 09:05:20, 40 ms (1%), 1033488 occupied, 23966461 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q56 from e_133 and e_136. e_136: 4 terms, 8 factors, with derivatives of functions of all variables: (q57,q56,q8,q3,p5,p4,p1) is replaced by e_386: 4 terms, 8 factors, with derivatives of functions of all variables: (q57,q8,q3,q2,p5,p4) 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 1 term 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 : *** Garbage collection starting *** GC 280 2-Oct-2003 09:05:24, 40 ms (1%), 1026330 occupied, 23973619 free *** Garbage collection starting *** GC 281 2-Oct-2003 09:05:27, 40 ms (1%), 1027444 occupied, 23972505 free *** Garbage collection starting *** GC 282 2-Oct-2003 09:05:29, 40 ms (1%), 1029726 occupied, 23970223 free *** Garbage collection starting *** GC 283 2-Oct-2003 09:05:32, 30 ms (1%), 1031524 occupied, 23968425 free *** Garbage collection starting *** GC 284 2-Oct-2003 09:05:35, 40 ms (1%), 1034614 occupied, 23965333 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q8 from e_391 and e_140. e_140: 5 terms, 10 factors, with derivatives of functions of all variables: (q58,q8,q7,q5,q3,p5,p1) is replaced by e_396: 0=p1*q58 - p5*q3 + p5*q5 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 1 term 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 1 term 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 : --- Algebraic length reduction of equations : *** Garbage collection starting *** GC 285 2-Oct-2003 09:05:38, 30 ms (1%), 1024366 occupied, 23975584 free 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 : *** Garbage collection starting *** GC 286 2-Oct-2003 09:05:40, 30 ms (1%), 1024788 occupied, 23975162 free *** Garbage collection starting *** GC 287 2-Oct-2003 09:05:43, 30 ms (1%), 1025362 occupied, 23974587 free *** Garbage collection starting *** GC 288 2-Oct-2003 09:05:45, 30 ms (1%), 1025440 occupied, 23974509 free *** Garbage collection starting *** GC 289 2-Oct-2003 09:05:47, 30 ms (1%), 1025588 occupied, 23974361 free *** Garbage collection starting *** GC 290 2-Oct-2003 09:05:50, 30 ms (1%), 1025996 occupied, 23973953 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q57 from e_87 and e_386. e_87: 4 terms, 8 factors, with derivatives of functions of all variables: (q57,q29,q8,q3,p5,p4) is replaced by e_217: 4 terms, 8 factors, with derivatives of functions of all variables: (q29,q8,q3,q2,p5,p4) 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 : *** Garbage collection starting *** GC 291 2-Oct-2003 09:05:53, 30 ms (1%), 1025284 occupied, 23974666 free shortening by 2 terms 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 1 term 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 : *** Garbage collection starting *** GC 292 2-Oct-2003 09:05:55, 40 ms (1%), 1025586 occupied, 23974364 free --- Algebraic length reduction of equations : *** Garbage collection starting *** GC 293 2-Oct-2003 09:05:57, 40 ms (1%), 1025324 occupied, 23974626 free *** Garbage collection starting *** GC 294 2-Oct-2003 09:06:00, 30 ms (1%), 1025670 occupied, 23974280 free *** Garbage collection starting *** GC 295 2-Oct-2003 09:06:02, 30 ms (1%), 1026758 occupied, 23973192 free *** Garbage collection starting *** GC 296 2-Oct-2003 09:06:05, 30 ms (1%), 1027548 occupied, 23972402 free *** Garbage collection starting *** GC 297 2-Oct-2003 09:06:07, 40 ms (1%), 1028204 occupied, 23971746 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q44 from e_37 and e_39. e_39: 5 terms, 10 factors, with derivatives of functions of all variables: (q44,q42,q40,q33,q15,p3,p1) is replaced by e_230: 5 terms, 10 factors, with derivatives of functions of all variables: (q42,q40,q33,q15,q14,p3,p1) 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 : *** Garbage collection starting *** GC 298 2-Oct-2003 09:06:11, 30 ms (1%), 1026116 occupied, 23973834 free shortening by 2 terms 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 : *** Garbage collection starting *** GC 299 2-Oct-2003 09:06:13, 30 ms (1%), 1025648 occupied, 23974302 free *** Garbage collection starting *** GC 300 2-Oct-2003 09:06:16, 30 ms (1%), 1026590 occupied, 23973360 free *** Garbage collection starting *** GC 301 2-Oct-2003 09:06:18, 40 ms (1%), 1027772 occupied, 23972178 free *** Garbage collection starting *** GC 302 2-Oct-2003 09:06:21, 30 ms (1%), 1029758 occupied, 23970192 free shortening by 1 term 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 : *** Garbage collection starting *** GC 303 2-Oct-2003 09:06:23, 30 ms (1%), 1025540 occupied, 23974410 free 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 304 2-Oct-2003 09:06:26, 30 ms (1%), 1025676 occupied, 23974274 free *** Garbage collection starting *** GC 305 2-Oct-2003 09:06:28, 40 ms (1%), 1028644 occupied, 23971306 free *** Garbage collection starting *** GC 306 2-Oct-2003 09:06:31, 30 ms (1%), 1029748 occupied, 23970202 free *** Garbage collection starting *** GC 307 2-Oct-2003 09:06:33, 40 ms (1%), 1030724 occupied, 23969226 free *** Garbage collection starting *** GC 308 2-Oct-2003 09:06:36, 30 ms (1%), 1031350 occupied, 23968600 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q6 from e_68 and e_361. e_361: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q30,q6,q5,p5,p3,p2) is replaced by e_31: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q30,q5,q3,p5,p2) 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 : *** Garbage collection starting *** GC 309 2-Oct-2003 09:06:39, 40 ms (1%), 1026184 occupied, 23973766 free *** Garbage collection starting *** GC 310 2-Oct-2003 09:06:41, 40 ms (1%), 1027962 occupied, 23971988 free *** Garbage collection starting *** GC 311 2-Oct-2003 09:06:44, 40 ms (1%), 1028980 occupied, 23970970 free *** Garbage collection starting *** GC 312 2-Oct-2003 09:06:46, 30 ms (1%), 1029876 occupied, 23970074 free *** Garbage collection starting *** GC 313 2-Oct-2003 09:06:49, 40 ms (1%), 1030422 occupied, 23969528 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q59 from e_41 and e_40. e_40: 5 terms, 10 factors, with derivatives of functions of all variables: (q59,q42,q40,q33,q13,p3,p1) is replaced by e_51: 5 terms, 10 factors, with derivatives of functions of all variables: (q42,q40,q33,q13,q11,p3,p1) 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 : *** Garbage collection starting *** GC 314 2-Oct-2003 09:06:52, 40 ms (1%), 1027410 occupied, 23972540 free *** Garbage collection starting *** GC 315 2-Oct-2003 09:06:54, 30 ms (1%), 1028464 occupied, 23971486 free *** Garbage collection starting *** GC 316 2-Oct-2003 09:06:57, 30 ms (1%), 1029758 occupied, 23970192 free *** Garbage collection starting *** GC 317 2-Oct-2003 09:06:59, 30 ms (1%), 1029938 occupied, 23970012 free *** Garbage collection starting *** GC 318 2-Oct-2003 09:07:02, 30 ms (1%), 1030118 occupied, 23969832 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q59 from e_28 and e_27. e_27: 5 terms, 10 factors, with derivatives of functions of all variables: (q59,q44,q15,q13,q11,p5,p4) is replaced by e_251: (#) 5 terms, 6 factors, with derivatives of functions of all variables: (q44,q42,q15,q13,q11,p5) 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 : *** Garbage collection starting *** GC 319 2-Oct-2003 09:07:05, 30 ms (1%), 1028152 occupied, 23971798 free *** Garbage collection starting *** GC 320 2-Oct-2003 09:07:08, 40 ms (1%), 1029246 occupied, 23970704 free *** Garbage collection starting *** GC 321 2-Oct-2003 09:07:10, 30 ms (1%), 1030128 occupied, 23969822 free *** Garbage collection starting *** GC 322 2-Oct-2003 09:07:13, 30 ms (1%), 1030648 occupied, 23969302 free *** Garbage collection starting *** GC 323 2-Oct-2003 09:07:15, 30 ms (1%), 1030856 occupied, 23969094 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q6 from e_68 and e_184. e_184: 0=p3*q35 - p3*q6 - p4*q29 is replaced by e_257: 3 terms, 6 factors, with derivatives of functions of all variables: (q35,q29,q3,p5,p4,p3) 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 : *** Garbage collection starting *** GC 324 2-Oct-2003 09:07:20, 40 ms (1%), 1027086 occupied, 23972864 free *** Garbage collection starting *** GC 325 2-Oct-2003 09:07:23, 30 ms (1%), 1027618 occupied, 23972332 free *** Garbage collection starting *** GC 326 2-Oct-2003 09:07:25, 40 ms (1%), 1028022 occupied, 23971928 free *** Garbage collection starting *** GC 327 2-Oct-2003 09:07:28, 40 ms (1%), 1028932 occupied, 23971018 free *** Garbage collection starting *** GC 328 2-Oct-2003 09:07:31, 30 ms (1%), 1030002 occupied, 23969948 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q4 from e_373 and e_245. e_245: 3 terms, 6 factors, with derivatives of functions of all variables: (q38,q10,q4,p4,p1) is replaced by e_266: 3 terms, 6 factors, with derivatives of functions of all variables: (q38,q10,q1,p5,p4,p1) 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 : *** Garbage collection starting *** GC 329 2-Oct-2003 09:07:34, 40 ms (1%), 1027952 occupied, 23971998 free *** Garbage collection starting *** GC 330 2-Oct-2003 09:07:37, 30 ms (1%), 1029268 occupied, 23970682 free *** Garbage collection starting *** GC 331 2-Oct-2003 09:07:40, 30 ms (1%), 1030042 occupied, 23969908 free *** Garbage collection starting *** GC 332 2-Oct-2003 09:07:43, 40 ms (1%), 1030452 occupied, 23969498 free *** Garbage collection starting *** GC 333 2-Oct-2003 09:07:45, 40 ms (1%), 1031044 occupied, 23968906 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q38 from e_270 and e_64. e_64: 3 terms, 6 factors, with derivatives of functions of all variables: (q38,q36,q35,p4,p1) is replaced by e_273: 3 terms, 6 factors, with derivatives of functions of all variables: (q36,q35,q1,p5,p4,p1) 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 : *** Garbage collection starting *** GC 334 2-Oct-2003 09:07:49, 30 ms (1%), 1028262 occupied, 23971688 free *** Garbage collection starting *** GC 335 2-Oct-2003 09:07:52, 40 ms (1%), 1028348 occupied, 23971602 free *** Garbage collection starting *** GC 336 2-Oct-2003 09:07:54, 40 ms (1%), 1029504 occupied, 23970446 free *** Garbage collection starting *** GC 337 2-Oct-2003 09:07:57, 40 ms (1%), 1031040 occupied, 23968910 free *** Garbage collection starting *** GC 338 2-Oct-2003 09:08:00, 40 ms (1%), 1032116 occupied, 23967834 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q36 from e_273 and e_75. e_273: 3 terms, 6 factors, with derivatives of functions of all variables: (q36,q35,q1,p5,p4,p1) is replaced by e_274: 3 terms, 6 factors, with derivatives of functions of all variables: (q35,q34,q1,p5,p1) 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 339 2-Oct-2003 09:08:04, 30 ms (1%), 1028788 occupied, 23971162 free *** Garbage collection starting *** GC 340 2-Oct-2003 09:08:06, 30 ms (1%), 1030260 occupied, 23969689 free *** Garbage collection starting *** GC 341 2-Oct-2003 09:08:09, 30 ms (1%), 1031634 occupied, 23968315 free *** Garbage collection starting *** GC 342 2-Oct-2003 09:08:12, 30 ms (1%), 1032176 occupied, 23967773 free *** Garbage collection starting *** GC 343 2-Oct-2003 09:08:15, 40 ms (1%), 1032710 occupied, 23967239 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q37 from e_70 and e_277. e_277: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q36,q3,q1,p5,p4,p1) is replaced by e_286: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q5,q3,q1,p5,p4) 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 : *** Garbage collection starting *** GC 344 2-Oct-2003 09:08:18, 30 ms (1%), 1028780 occupied, 23971169 free *** Garbage collection starting *** GC 345 2-Oct-2003 09:08:21, 30 ms (1%), 1030314 occupied, 23969635 free *** Garbage collection starting *** GC 346 2-Oct-2003 09:08:24, 40 ms (1%), 1031854 occupied, 23968095 free *** Garbage collection starting *** GC 347 2-Oct-2003 09:08:27, 30 ms (1%), 1032390 occupied, 23967559 free *** Garbage collection starting *** GC 348 2-Oct-2003 09:08:30, 40 ms (1%), 1032744 occupied, 23967205 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q4 from e_373 and e_218. e_218: 3 terms, 6 factors, with derivatives of functions of all variables: (q6,q4,q2,p4,p1) is replaced by e_260: 3 terms, 6 factors, with derivatives of functions of all variables: (q6,q2,q1,p5,p4,p1) 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 : *** Garbage collection starting *** GC 349 2-Oct-2003 09:08:33, 40 ms (1%), 1028868 occupied, 23971081 free *** Garbage collection starting *** GC 350 2-Oct-2003 09:08:36, 30 ms (1%), 1030756 occupied, 23969193 free *** Garbage collection starting *** GC 351 2-Oct-2003 09:08:39, 30 ms (1%), 1031402 occupied, 23968547 free *** Garbage collection starting *** GC 352 2-Oct-2003 09:08:42, 40 ms (1%), 1031772 occupied, 23968177 free *** Garbage collection starting *** GC 353 2-Oct-2003 09:08:45, 40 ms (1%), 1032056 occupied, 23967893 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q55 from e_284 and e_153. e_153: 4 terms, 8 factors, with derivatives of functions of all variables: (q56,q55,q34,q2,p5,p4,p3,p1) is replaced by e_295: 4 terms, 8 factors, with derivatives of functions of all variables: (q56,q34,q28,q2,p5,p4,p3,p1) 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 : *** Garbage collection starting *** GC 354 2-Oct-2003 09:08:50, 40 ms (1%), 1029116 occupied, 23970833 free *** Garbage collection starting *** GC 355 2-Oct-2003 09:08:53, 40 ms (1%), 1030028 occupied, 23969921 free *** Garbage collection starting *** GC 356 2-Oct-2003 09:08:55, 40 ms (1%), 1031666 occupied, 23968283 free *** Garbage collection starting *** GC 357 2-Oct-2003 09:08:58, 30 ms (1%), 1032516 occupied, 23967433 free *** Garbage collection starting *** GC 358 2-Oct-2003 09:09:01, 40 ms (1%), 1032978 occupied, 23966971 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q56 from e_11 and e_295. e_295: 4 terms, 8 factors, with derivatives of functions of all variables: (q56,q34,q28,q2,p5,p4,p3,p1) is replaced by e_300: 4 terms, 8 factors, with derivatives of functions of all variables: (q34,q29,q28,q2,p5,p4,p3) 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 2 terms e_103 is a consequence of e_357. 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 : *** Garbage collection starting *** GC 359 2-Oct-2003 09:09:05, 40 ms (1%), 1029036 occupied, 23970913 free *** Garbage collection starting *** GC 360 2-Oct-2003 09:09:08, 40 ms (1%), 1030616 occupied, 23969333 free *** Garbage collection starting *** GC 361 2-Oct-2003 09:09:11, 40 ms (1%), 1032164 occupied, 23967785 free *** Garbage collection starting *** GC 362 2-Oct-2003 09:09:14, 40 ms (1%), 1032650 occupied, 23967299 free *** Garbage collection starting *** GC 363 2-Oct-2003 09:09:17, 40 ms (1%), 1033194 occupied, 23966755 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q39 from e_378 and e_313. e_313: 5 terms, 10 factors, with derivatives of functions of all variables: (q39,q37,q35,q7,q1,p5,p4,p1) is replaced by e_106: 5 terms, 10 factors, with derivatives of functions of all variables: (q37,q35,q10,q7,q1,p5,p4,p1) 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 : *** Garbage collection starting *** GC 364 2-Oct-2003 09:09:21, 30 ms (1%), 1029844 occupied, 23970105 free shortening by 1 term 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 1 term 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 : *** Garbage collection starting *** GC 365 2-Oct-2003 09:09:24, 30 ms (1%), 1029784 occupied, 23970165 free *** Garbage collection starting *** GC 366 2-Oct-2003 09:09:28, 40 ms (1%), 1030632 occupied, 23969317 free *** Garbage collection starting *** GC 367 2-Oct-2003 09:09:31, 30 ms (1%), 1032406 occupied, 23967543 free *** Garbage collection starting *** GC 368 2-Oct-2003 09:09:34, 40 ms (1%), 1033084 occupied, 23966865 free *** Garbage collection starting *** GC 369 2-Oct-2003 09:09:37, 30 ms (1%), 1033556 occupied, 23966393 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q37 from e_322 and e_70. e_322: 3 terms, 6 factors, with derivatives of functions of all variables: (q37,q8,q1,p5,p4,p1) is replaced by e_44: 3 terms, 6 factors, with derivatives of functions of all variables: (q8,q5,q1,p5,p4) 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 1 term 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 : shortening by 1 term 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 370 2-Oct-2003 09:09:41, 30 ms (1%), 1029232 occupied, 23970718 free *** Garbage collection starting *** GC 371 2-Oct-2003 09:09:44, 40 ms (1%), 1030212 occupied, 23969738 free *** Garbage collection starting *** GC 372 2-Oct-2003 09:09:47, 30 ms (1%), 1030450 occupied, 23969500 free *** Garbage collection starting *** GC 373 2-Oct-2003 09:09:50, 40 ms (1%), 1030548 occupied, 23969402 free *** Garbage collection starting *** GC 374 2-Oct-2003 09:09:53, 40 ms (1%), 1030790 occupied, 23969160 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q36 from e_296 and e_75. e_75: 3 terms, 6 factors, with derivatives of functions of all variables: (q36,q34,q1,p5,p4,p1) is replaced by e_347: 3 terms, 6 factors, with derivatives of functions of all variables: (q34,q3,q1,p5,p4,p1) 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 375 2-Oct-2003 09:09:59, 40 ms (1%), 1029902 occupied, 23970048 free *** Garbage collection starting *** GC 376 2-Oct-2003 09:10:02, 30 ms (1%), 1031378 occupied, 23968572 free *** Garbage collection starting *** GC 377 2-Oct-2003 09:10:05, 30 ms (1%), 1032118 occupied, 23967831 free *** Garbage collection starting *** GC 378 2-Oct-2003 09:10:08, 30 ms (1%), 1032802 occupied, 23967147 free *** Garbage collection starting *** GC 379 2-Oct-2003 09:10:11, 30 ms (1%), 1033214 occupied, 23966735 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q34 from e_347 and e_274. e_274: 3 terms, 6 factors, with derivatives of functions of all variables: (q35,q34,q1,p5,p1) is replaced by e_351: 3 terms, 6 factors, with derivatives of functions of all variables: (q35,q3,q1,p5,p4,p1) 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 380 2-Oct-2003 09:10:16, 40 ms (1%), 1030598 occupied, 23969352 free *** Garbage collection starting *** GC 381 2-Oct-2003 09:10:19, 40 ms (1%), 1031924 occupied, 23968026 free *** Garbage collection starting *** GC 382 2-Oct-2003 09:10:22, 40 ms (1%), 1033128 occupied, 23966822 free *** Garbage collection starting *** GC 383 2-Oct-2003 09:10:25, 40 ms (1%), 1033672 occupied, 23966278 free *** Garbage collection starting *** GC 384 2-Oct-2003 09:10:29, 40 ms (1%), 1033908 occupied, 23966042 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q35 from e_351 and e_339. e_339: 3 terms, 6 factors, with derivatives of functions of all variables: (q35,q7,q1,p5,p4,p1) is replaced by e_186: 3 terms, 6 factors, with derivatives of functions of all variables: (q7,q3,q1,p5,p4) 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 : *** Garbage collection starting *** GC 385 2-Oct-2003 09:10:33, 40 ms (1%), 1031080 occupied, 23968868 free shortening by 1 term 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 1 term 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 386 2-Oct-2003 09:10:36, 40 ms (1%), 1029956 occupied, 23969994 free *** Garbage collection starting *** GC 387 2-Oct-2003 09:10:39, 40 ms (1%), 1031384 occupied, 23968566 free *** Garbage collection starting *** GC 388 2-Oct-2003 09:10:42, 30 ms (1%), 1031672 occupied, 23968278 free *** Garbage collection starting *** GC 389 2-Oct-2003 09:10:46, 40 ms (1%), 1032908 occupied, 23967042 free *** Garbage collection starting *** GC 390 2-Oct-2003 09:10:49, 30 ms (1%), 1033838 occupied, 23966112 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q55 from e_284 and e_147. e_147: 5 terms, 10 factors, with derivatives of functions of all variables: (q58,q55,q10,q7,q2,p5,p4,p1) is replaced by e_365: 5 terms, 10 factors, with derivatives of functions of all variables: (q58,q28,q10,q7,q2,p5,p4,p1) 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 : *** Garbage collection starting *** GC 391 2-Oct-2003 09:10:55, 40 ms (1%), 1030886 occupied, 23969064 free *** Garbage collection starting *** GC 392 2-Oct-2003 09:10:58, 40 ms (1%), 1032526 occupied, 23967424 free *** Garbage collection starting *** GC 393 2-Oct-2003 09:11:01, 40 ms (1%), 1033584 occupied, 23966366 free *** Garbage collection starting *** GC 394 2-Oct-2003 09:11:04, 40 ms (1%), 1033872 occupied, 23966078 free *** Garbage collection starting *** GC 395 2-Oct-2003 09:11:08, 30 ms (1%), 1034428 occupied, 23965522 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q55 from e_284 and e_150. e_150: 5 terms, 10 factors, with derivatives of functions of all variables: (q56,q55,q36,q10,q7,p5,p4,p1) is replaced by e_371: 5 terms, 10 factors, with derivatives of functions of all variables: (q56,q36,q28,q10,q7,p5,p4,p1) 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 1 term 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 396 2-Oct-2003 09:11:11, 30 ms (1%), 1030842 occupied, 23969108 free *** Garbage collection starting *** GC 397 2-Oct-2003 09:11:15, 40 ms (1%), 1031958 occupied, 23967992 free *** Garbage collection starting *** GC 398 2-Oct-2003 09:11:18, 40 ms (1%), 1033402 occupied, 23966548 free *** Garbage collection starting *** GC 399 2-Oct-2003 09:11:22, 40 ms (1%), 1033964 occupied, 23965986 free *** Garbage collection starting *** GC 400 2-Oct-2003 09:11:25, 40 ms (1%), 1034444 occupied, 23965506 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q39 from e_302 and e_82. e_82: 4 terms, 8 factors, with derivatives of functions of all variables: (q56,q39,q36,q7,p5,p1) is replaced by e_23: 3 terms, 6 factors, with derivatives of functions of all variables: (q56,q36,q7,p5,p1) 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 : *** Garbage collection starting *** GC 401 2-Oct-2003 09:11:29, 40 ms (1%), 1032180 occupied, 23967769 free *** Garbage collection starting *** GC 402 2-Oct-2003 09:11:32, 40 ms (1%), 1033948 occupied, 23966001 free *** Garbage collection starting *** GC 403 2-Oct-2003 09:11:35, 40 ms (1%), 1035090 occupied, 23964859 free *** Garbage collection starting *** GC 404 2-Oct-2003 09:11:39, 40 ms (1%), 1035572 occupied, 23964377 free *** Garbage collection starting *** GC 405 2-Oct-2003 09:11:42, 40 ms (1%), 1035858 occupied, 23964091 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q56 from e_11 and e_23. e_23: 3 terms, 6 factors, with derivatives of functions of all variables: (q56,q36,q7,p5,p1) is replaced by e_136: 3 terms, 6 factors, with derivatives of functions of all variables: (q36,q29,q7,p5,p4) 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 : *** Garbage collection starting *** GC 406 2-Oct-2003 09:11:46, 30 ms (1%), 1032218 occupied, 23967732 free *** Garbage collection starting *** GC 407 2-Oct-2003 09:11:50, 20 ms (1%), 1033888 occupied, 23966062 free *** Garbage collection starting *** GC 408 2-Oct-2003 09:11:53, 40 ms (1%), 1035288 occupied, 23964662 free *** Garbage collection starting *** GC 409 2-Oct-2003 09:11:57, 40 ms (1%), 1036290 occupied, 23963660 free *** Garbage collection starting *** GC 410 2-Oct-2003 09:12:00, 40 ms (1%), 1036686 occupied, 23963264 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q56 from e_11 and e_149. e_149: 5 terms, 10 factors, with derivatives of functions of all variables: (q57,q56,q30,q10,q5,p5,p4,p1) is replaced by e_390: 5 terms, 10 factors, with derivatives of functions of all variables: (q57,q30,q29,q10,q5,p5,p4) 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 411 2-Oct-2003 09:12:05, 30 ms (1%), 1032212 occupied, 23967737 free *** Garbage collection starting *** GC 412 2-Oct-2003 09:12:09, 40 ms (1%), 1033962 occupied, 23965987 free *** Garbage collection starting *** GC 413 2-Oct-2003 09:12:12, 40 ms (1%), 1034914 occupied, 23965035 free *** Garbage collection starting *** GC 414 2-Oct-2003 09:12:16, 40 ms (1%), 1035448 occupied, 23964501 free *** Garbage collection starting *** GC 415 2-Oct-2003 09:12:20, 30 ms (1%), 1035568 occupied, 23964381 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q27 from e_91 and e_60. e_60: 5 terms, 10 factors, with derivatives of functions of all variables: (q51,q50,q46,q27,q24,p5,p4,p2) is replaced by e_140: 5 terms, 10 factors, with derivatives of functions of all variables: (q51,q50,q46,q24,q20,p4,p2) 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 : *** Garbage collection starting *** GC 416 2-Oct-2003 09:12:24, 30 ms (1%), 1030202 occupied, 23969750 free *** Garbage collection starting *** GC 417 2-Oct-2003 09:12:26, 30 ms (1%), 1031662 occupied, 23968290 free *** Garbage collection starting *** GC 418 2-Oct-2003 09:12:29, 30 ms (1%), 1032598 occupied, 23967354 free *** Garbage collection starting *** GC 419 2-Oct-2003 09:12:32, 30 ms (1%), 1033488 occupied, 23966464 free *** Garbage collection starting *** GC 420 2-Oct-2003 09:12:34, 40 ms (1%), 1034006 occupied, 23965946 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q40 from e_155 and e_239. e_239: 6 terms, 12 factors, with derivatives of functions of all variables: (q51,q50,q44,q42,q40,q14,p4,p3) is replaced by e_52: 6 terms, 12 factors, with derivatives of functions of all variables: (q51,q50,q44,q42,q14,q11,p4,p3) 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 421 2-Oct-2003 09:12:38, 30 ms (1%), 1031324 occupied, 23968628 free *** Garbage collection starting *** GC 422 2-Oct-2003 09:12:41, 40 ms (1%), 1032898 occupied, 23967054 free *** Garbage collection starting *** GC 423 2-Oct-2003 09:12:43, 40 ms (1%), 1034374 occupied, 23965578 free *** Garbage collection starting *** GC 424 2-Oct-2003 09:12:46, 30 ms (1%), 1035100 occupied, 23964852 free *** Garbage collection starting *** GC 425 2-Oct-2003 09:12:49, 40 ms (1%), 1035466 occupied, 23964486 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q36 from e_136 and e_115. e_115: 6 terms, 12 factors, with derivatives of functions of all variables: (q57,q36,q10,q7,q5,q3,p5,p4) is replaced by e_138: 6 terms, 12 factors, with derivatives of functions of all variables: (q57,q29,q10,q7,q5,q3,p5,p4) 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 : *** Garbage collection starting *** GC 426 2-Oct-2003 09:12:54, 40 ms (1%), 1031866 occupied, 23968086 free *** Garbage collection starting *** GC 427 2-Oct-2003 09:12:57, 30 ms (1%), 1032992 occupied, 23966959 free *** Garbage collection starting *** GC 428 2-Oct-2003 09:12:59, 30 ms (1%), 1034778 occupied, 23965173 free *** Garbage collection starting *** GC 429 2-Oct-2003 09:13:02, 30 ms (1%), 1035496 occupied, 23964455 free *** Garbage collection starting *** GC 430 2-Oct-2003 09:13:05, 40 ms (1%), 1036116 occupied, 23963835 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q53 from e_78 and e_4. e_4: 6 terms, 12 factors, with derivatives of functions of all variables: (q53,q52,q48,q22,q21,q19,p3,p1) is replaced by e_45: 6 terms, 12 factors, with derivatives of functions of all variables: (q52,q48,q23,q22,q21,q19,p3,p1) 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 1 term 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 431 2-Oct-2003 09:13:09, 30 ms (1%), 1032098 occupied, 23967854 free *** Garbage collection starting *** GC 432 2-Oct-2003 09:13:12, 40 ms (1%), 1033486 occupied, 23966466 free *** Garbage collection starting *** GC 433 2-Oct-2003 09:13:15, 40 ms (1%), 1034302 occupied, 23965650 free *** Garbage collection starting *** GC 434 2-Oct-2003 09:13:18, 40 ms (1%), 1034474 occupied, 23965478 free *** Garbage collection starting *** GC 435 2-Oct-2003 09:13:21, 40 ms (1%), 1034604 occupied, 23965348 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q55 from e_185 and e_183. e_183: 6 terms, 12 factors, with derivatives of functions of all variables: (q55,q39,q36,q29,q28,q7,p3,p1) is replaced by e_205: 6 terms, 12 factors, with derivatives of functions of all variables: (q39,q36,q29,q28,q10,q7,p3,p1) 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 : *** Garbage collection starting *** GC 436 2-Oct-2003 09:13:24, 40 ms (1%), 1033006 occupied, 23966946 free *** Garbage collection starting *** GC 437 2-Oct-2003 09:13:27, 40 ms (1%), 1033872 occupied, 23966080 free *** Garbage collection starting *** GC 438 2-Oct-2003 09:13:30, 40 ms (1%), 1034212 occupied, 23965740 free *** Garbage collection starting *** GC 439 2-Oct-2003 09:13:33, 30 ms (1%), 1035556 occupied, 23964396 free *** Garbage collection starting *** GC 440 2-Oct-2003 09:13:36, 30 ms (1%), 1036310 occupied, 23963642 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q44 from e_37 and e_38. e_38: 6 terms, 12 factors, with derivatives of functions of all variables: (q44,q42,q40,q33,q17,q12,p3,p1) is replaced by e_86: 6 terms, 12 factors, with derivatives of functions of all variables: (q42,q40,q33,q17,q14,q12,p3,p1) 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 : *** Garbage collection starting *** GC 441 2-Oct-2003 09:13:40, 40 ms (1%), 1033824 occupied, 23966128 free *** Garbage collection starting *** GC 442 2-Oct-2003 09:13:43, 40 ms (1%), 1035694 occupied, 23964258 free *** Garbage collection starting *** GC 443 2-Oct-2003 09:13:46, 30 ms (1%), 1036464 occupied, 23963488 free *** Garbage collection starting *** GC 444 2-Oct-2003 09:13:49, 40 ms (1%), 1036798 occupied, 23963154 free *** Garbage collection starting *** GC 445 2-Oct-2003 09:13:52, 40 ms (1%), 1037000 occupied, 23962952 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q42 from e_230 and e_86. e_86: 6 terms, 12 factors, with derivatives of functions of all variables: (q42,q40,q33,q17,q14,q12,p3,p1) is replaced by e_199: 6 terms, 12 factors, with derivatives of functions of all variables: (q40,q33,q17,q15,q14,q12,p3,p1) 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 : *** Garbage collection starting *** GC 446 2-Oct-2003 09:13:55, 30 ms (1%), 1034172 occupied, 23965779 free *** Garbage collection starting *** GC 447 2-Oct-2003 09:13:58, 40 ms (1%), 1035878 occupied, 23964073 free *** Garbage collection starting *** GC 448 2-Oct-2003 09:14:01, 30 ms (1%), 1036226 occupied, 23963725 free *** Garbage collection starting *** GC 449 2-Oct-2003 09:14:05, 40 ms (1%), 1036522 occupied, 23963429 free *** Garbage collection starting *** GC 450 2-Oct-2003 09:14:08, 40 ms (1%), 1037108 occupied, 23962843 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q55 from e_284 and e_142. e_142: 5 terms, 10 factors, with derivatives of functions of all variables: (q58,q55,q38,q7,q2,p5,p4,p3,p1) is replaced by e_16: 5 terms, 10 factors, with derivatives of functions of all variables: (q58,q38,q28,q7,q2,p5,p4,p3,p1) 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 451 2-Oct-2003 09:14:14, 40 ms (1%), 1033324 occupied, 23966628 free *** Garbage collection starting *** GC 452 2-Oct-2003 09:14:17, 40 ms (1%), 1033860 occupied, 23966092 free *** Garbage collection starting *** GC 453 2-Oct-2003 09:14:20, 40 ms (1%), 1035538 occupied, 23964414 free *** Garbage collection starting *** GC 454 2-Oct-2003 09:14:23, 40 ms (1%), 1036638 occupied, 23963314 free *** Garbage collection starting *** GC 455 2-Oct-2003 09:14:27, 40 ms (1%), 1037068 occupied, 23962884 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q2 from e_362 and e_152. e_152: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q8,q4,q2,p4,p1) is replaced by e_108: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q8,q4,q1,p5,p4,p1) 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 : 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 : *** Garbage collection starting *** GC 456 2-Oct-2003 09:14:31, 40 ms (1%), 1032494 occupied, 23967458 free *** Garbage collection starting *** GC 457 2-Oct-2003 09:14:34, 40 ms (1%), 1033580 occupied, 23966371 free *** Garbage collection starting *** GC 458 2-Oct-2003 09:14:37, 30 ms (1%), 1033810 occupied, 23966141 free *** Garbage collection starting *** GC 459 2-Oct-2003 09:14:40, 30 ms (1%), 1033900 occupied, 23966051 free *** Garbage collection starting *** GC 460 2-Oct-2003 09:14:44, 40 ms (1%), 1034542 occupied, 23965409 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q36 from e_235 and e_249. e_249: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q36,q10,q2,p4,p1) is replaced by e_238: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q10,q2,q1,p5,p4,p1) 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 : 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 : 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 1 term 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 : 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 : 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 : shortening by 1 term 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 1 term 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 : 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 : An algebraic length reduction (11 ) was prevented to avoid a cycle. shortening by 1 term 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 1 term 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 1 term 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 : 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 : shortening by 1 term 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 1 term 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 : shortening by 1 term 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 1 term 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 : 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 1 term 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 : shortening by 1 term 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 : shortening by 1 term 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 1 term 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 : shortening by 1 term 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 1 term 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 : 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 461 2-Oct-2003 09:14:52, 30 ms (1%), 1029904 occupied, 23970047 free shortening by 1 term 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 : shortening by 1 term 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 : shortening by 1 term 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 : shortening by 1 term Step 208: Hot list of urgent steps : --- Substitution of <=2 terms, only 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 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 e_338 is a consequence of e_324. 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 : shortening by 1 term e_342 is a consequence of e_324. 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 e_75 is a consequence of e_324. 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 : *** Garbage collection starting *** GC 462 2-Oct-2003 09:14:55, 40 ms (1%), 1028084 occupied, 23971868 free *** Garbage collection starting *** GC 463 2-Oct-2003 09:14:58, 40 ms (1%), 1029198 occupied, 23970754 free *** Garbage collection starting *** GC 464 2-Oct-2003 09:15:01, 40 ms (1%), 1030398 occupied, 23969554 free *** Garbage collection starting *** GC 465 2-Oct-2003 09:15:05, 40 ms (1%), 1031032 occupied, 23968920 free *** Garbage collection starting *** GC 466 2-Oct-2003 09:15:08, 40 ms (1%), 1031310 occupied, 23968641 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q4 from e_332 and e_95. e_95: 0=(q4 + q9)*p4 is replaced by e_192: 0=p4*q9 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 : *** Garbage collection starting *** GC 467 2-Oct-2003 09:15:11, 40 ms (1%), 1028280 occupied, 23971671 free *** Garbage collection starting *** GC 468 2-Oct-2003 09:15:15, 40 ms (1%), 1029612 occupied, 23970339 free *** Garbage collection starting *** GC 469 2-Oct-2003 09:15:18, 40 ms (1%), 1030604 occupied, 23969347 free *** Garbage collection starting *** GC 470 2-Oct-2003 09:15:21, 40 ms (1%), 1031252 occupied, 23968699 free *** Garbage collection starting *** GC 471 2-Oct-2003 09:15:25, 30 ms (1%), 1031552 occupied, 23968399 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q10 from e_27 and e_378. e_378: 0=(q10 + q39)*p4 is replaced by e_187: 0=p4*q39 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 : *** Garbage collection starting *** GC 472 2-Oct-2003 09:15:28, 30 ms (1%), 1028542 occupied, 23971410 free *** Garbage collection starting *** GC 473 2-Oct-2003 09:15:31, 30 ms (1%), 1029762 occupied, 23970190 free *** Garbage collection starting *** GC 474 2-Oct-2003 09:15:35, 40 ms (1%), 1031016 occupied, 23968936 free *** Garbage collection starting *** GC 475 2-Oct-2003 09:15:38, 30 ms (1%), 1031728 occupied, 23968224 free *** Garbage collection starting *** GC 476 2-Oct-2003 09:15:42, 40 ms (1%), 1031938 occupied, 23968014 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : *** Garbage collection starting *** GC 477 2-Oct-2003 09:15:54, 40 ms (1%), 1045772 occupied, 23954177 free *** Garbage collection starting *** GC 478 2-Oct-2003 09:16:06, 40 ms (1%), 1059777 occupied, 23940173 free Eliminate q6 from e_68 and e_292. e_292: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q31,q29,q6,p4,p3) is replaced by e_352: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q31,q29,q3,p5,p4,p3) 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 : *** Garbage collection starting *** GC 479 2-Oct-2003 09:16:19, 40 ms (1%), 1029016 occupied, 23970935 free *** Garbage collection starting *** GC 480 2-Oct-2003 09:16:22, 40 ms (1%), 1031330 occupied, 23968622 free *** Garbage collection starting *** GC 481 2-Oct-2003 09:16:25, 40 ms (1%), 1032068 occupied, 23967884 free *** Garbage collection starting *** GC 482 2-Oct-2003 09:16:29, 40 ms (1%), 1032374 occupied, 23967578 free *** Garbage collection starting *** GC 483 2-Oct-2003 09:16:32, 30 ms (1%), 1032760 occupied, 23967192 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q6 from e_68 and e_350. e_350: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q34,q32,q6,p3,p2) is replaced by e_241: 4 terms, 8 factors, with derivatives of functions of all variables: (q35,q34,q32,q3,p5,p3,p2) 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 : *** Garbage collection starting *** GC 484 2-Oct-2003 09:16:36, 30 ms (1%), 1030940 occupied, 23969012 free *** Garbage collection starting *** GC 485 2-Oct-2003 09:16:40, 30 ms (1%), 1032140 occupied, 23967812 free *** Garbage collection starting *** GC 486 2-Oct-2003 09:16:43, 40 ms (1%), 1032912 occupied, 23967040 free *** Garbage collection starting *** GC 487 2-Oct-2003 09:16:47, 40 ms (1%), 1033594 occupied, 23966358 free *** Garbage collection starting *** GC 488 2-Oct-2003 09:16:50, 40 ms (1%), 1034118 occupied, 23965834 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q56 from e_11 and e_135. e_135: 5 terms, 10 factors, with derivatives of functions of all variables: (q56,q37,q31,q30,q3,p5,p4,p3,p1) is replaced by e_260: 5 terms, 10 factors, with derivatives of functions of all variables: (q37,q31,q30,q29,q3,p5,p4,p3) 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 : *** Garbage collection starting *** GC 489 2-Oct-2003 09:16:56, 40 ms (1%), 1031742 occupied, 23968210 free *** Garbage collection starting *** GC 490 2-Oct-2003 09:17:00, 40 ms (1%), 1032448 occupied, 23967504 free *** Garbage collection starting *** GC 491 2-Oct-2003 09:17:03, 30 ms (1%), 1033216 occupied, 23966736 free *** Garbage collection starting *** GC 492 2-Oct-2003 09:17:07, 40 ms (1%), 1033842 occupied, 23966110 free *** Garbage collection starting *** GC 493 2-Oct-2003 09:17:11, 40 ms (1%), 1034228 occupied, 23965724 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q31 from e_368 and e_352. e_352: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q31,q29,q3,p5,p4,p3) is replaced by e_369: 4 terms, 8 factors, with derivatives of functions of all variables: (q38,q30,q29,q3,p5,p4,p3) 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 494 2-Oct-2003 09:17:15, 30 ms (1%), 1031684 occupied, 23968268 free *** Garbage collection starting *** GC 495 2-Oct-2003 09:17:18, 40 ms (1%), 1033412 occupied, 23966540 free *** Garbage collection starting *** GC 496 2-Oct-2003 09:17:22, 40 ms (1%), 1034134 occupied, 23965818 free *** Garbage collection starting *** GC 497 2-Oct-2003 09:17:25, 40 ms (1%), 1034370 occupied, 23965582 free *** Garbage collection starting *** GC 498 2-Oct-2003 09:17:29, 40 ms (1%), 1034482 occupied, 23965470 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q31 from e_368 and e_117. e_117: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q31,q29,q3,p5,p4,p3) is replaced by e_69: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q30,q29,q3,p5,p4,p3) 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 : *** Garbage collection starting *** GC 499 2-Oct-2003 09:17:34, 40 ms (1%), 1032806 occupied, 23967146 free *** Garbage collection starting *** GC 500 2-Oct-2003 09:17:37, 40 ms (1%), 1033624 occupied, 23966328 free *** Garbage collection starting *** GC 501 2-Oct-2003 09:17:41, 40 ms (1%), 1034646 occupied, 23965306 free *** Garbage collection starting *** GC 502 2-Oct-2003 09:17:45, 40 ms (1%), 1034990 occupied, 23964962 free *** Garbage collection starting *** GC 503 2-Oct-2003 09:17:48, 40 ms (1%), 1035292 occupied, 23964660 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q39 from e_302 and e_145. e_145: 6 terms, 12 factors, with derivatives of functions of all variables: (q58,q39,q32,q10,q8,q5,p5,p4,p1) is replaced by e_383: 6 terms, 12 factors, with derivatives of functions of all variables: (q58,q36,q32,q10,q8,q5,p5,p4,p1) 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 : *** Garbage collection starting *** GC 504 2-Oct-2003 09:17:54, 40 ms (1%), 1033490 occupied, 23966461 free *** Garbage collection starting *** GC 505 2-Oct-2003 09:17:58, 40 ms (1%), 1034988 occupied, 23964963 free *** Garbage collection starting *** GC 506 2-Oct-2003 09:18:02, 40 ms (1%), 1035608 occupied, 23964343 free *** Garbage collection starting *** GC 507 2-Oct-2003 09:18:05, 40 ms (1%), 1036194 occupied, 23963757 free *** Garbage collection starting *** GC 508 2-Oct-2003 09:18:09, 40 ms (1%), 1036784 occupied, 23963167 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q45 from e_110 and e_59. e_59: 6 terms, 12 factors, with derivatives of functions of all variables: (q51,q48,q45,q26,q25,q21,p5,p4,p1) is replaced by e_384: 6 terms, 12 factors, with derivatives of functions of all variables: (q51,q48,q26,q25,q21,q16,p5,p4,p1) 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 509 2-Oct-2003 09:18:14, 30 ms (1%), 1034216 occupied, 23965735 free *** Garbage collection starting *** GC 510 2-Oct-2003 09:18:18, 40 ms (1%), 1034934 occupied, 23965017 free *** Garbage collection starting *** GC 511 2-Oct-2003 09:18:22, 30 ms (1%), 1035730 occupied, 23964221 free *** Garbage collection starting *** GC 512 2-Oct-2003 09:18:26, 40 ms (1%), 1036342 occupied, 23963609 free *** Garbage collection starting *** GC 513 2-Oct-2003 09:18:29, 40 ms (1%), 1036470 occupied, 23963481 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q41 from e_22 and e_42. e_42: 6 terms, 12 factors, with derivatives of functions of all variables: (q47,q43,q41,q33,q15,q13,p5,p3,p2) is replaced by e_385: 6 terms, 12 factors, with derivatives of functions of all variables: (q47,q43,q33,q15,q13,q12,p5,p3,p2) 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 : *** Garbage collection starting *** GC 514 2-Oct-2003 09:18:35, 30 ms (1%), 1034392 occupied, 23965559 free *** Garbage collection starting *** GC 515 2-Oct-2003 09:18:39, 40 ms (1%), 1035886 occupied, 23964065 free *** Garbage collection starting *** GC 516 2-Oct-2003 09:18:43, 40 ms (1%), 1036748 occupied, 23963203 free *** Garbage collection starting *** GC 517 2-Oct-2003 09:18:47, 30 ms (1%), 1037154 occupied, 23962797 free *** Garbage collection starting *** GC 518 2-Oct-2003 09:18:51, 40 ms (1%), 1037690 occupied, 23962261 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q41 from e_22 and e_26. e_26: 6 terms, 12 factors, with derivatives of functions of all variables: (q59,q44,q41,q17,q15,q13,p5,p4,p3) is replaced by e_23: 6 terms, 12 factors, with derivatives of functions of all variables: (q59,q44,q17,q15,q13,q12,p5,p4) 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 : *** Garbage collection starting *** GC 519 2-Oct-2003 09:18:55, 40 ms (1%), 1035282 occupied, 23964668 free *** Garbage collection starting *** GC 520 2-Oct-2003 09:18:59, 40 ms (1%), 1036068 occupied, 23963882 free *** Garbage collection starting *** GC 521 2-Oct-2003 09:19:03, 40 ms (1%), 1036666 occupied, 23963284 free *** Garbage collection starting *** GC 522 2-Oct-2003 09:19:07, 40 ms (1%), 1037334 occupied, 23962616 free *** Garbage collection starting *** GC 523 2-Oct-2003 09:19:11, 40 ms (1%), 1037482 occupied, 23962468 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q59 from e_388 and e_23. e_23: 6 terms, 12 factors, with derivatives of functions of all variables: (q59,q44,q17,q15,q13,q12,p5,p4) is replaced by e_387: (#) 6 terms, 7 factors, with derivatives of functions of all variables: (q44,q42,q17,q15,q13,q12,p5) 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 524 2-Oct-2003 09:19:15, 40 ms (1%), 1034246 occupied, 23965705 free *** Garbage collection starting *** GC 525 2-Oct-2003 09:19:19, 40 ms (1%), 1035356 occupied, 23964595 free *** Garbage collection starting *** GC 526 2-Oct-2003 09:19:24, 40 ms (1%), 1036376 occupied, 23963575 free *** Garbage collection starting *** GC 527 2-Oct-2003 09:19:28, 40 ms (1%), 1036710 occupied, 23963241 free *** Garbage collection starting *** GC 528 2-Oct-2003 09:19:32, 40 ms (1%), 1034708 occupied, 23965243 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 : 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 : 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 : 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 : shortening by 1 term 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 : shortening by 1 term 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 : *** Garbage collection starting *** GC 529 2-Oct-2003 09:19:35, 30 ms (1%), 1028324 occupied, 23971627 free *** Garbage collection starting *** GC 530 2-Oct-2003 09:19:38, 40 ms (1%), 1028654 occupied, 23971297 free *** Garbage collection starting *** GC 531 2-Oct-2003 09:19:41, 30 ms (1%), 1028956 occupied, 23970995 free *** Garbage collection starting *** GC 532 2-Oct-2003 09:19:44, 30 ms (1%), 1029984 occupied, 23969966 free *** Garbage collection starting *** GC 533 2-Oct-2003 09:19:47, 40 ms (1%), 1031286 occupied, 23968665 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q8 from e_58 and e_386. e_386: 4 terms, 8 factors, with derivatives of functions of all variables: (q57,q8,q3,q2,p5,p4) is replaced by e_133: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q3,q2,p5,p4) 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 534 2-Oct-2003 09:19:51, 40 ms (1%), 1029242 occupied, 23970708 free *** Garbage collection starting *** GC 535 2-Oct-2003 09:19:54, 30 ms (1%), 1029844 occupied, 23970107 free *** Garbage collection starting *** GC 536 2-Oct-2003 09:19:57, 40 ms (1%), 1030264 occupied, 23969687 free *** Garbage collection starting *** GC 537 2-Oct-2003 09:20:00, 40 ms (1%), 1030570 occupied, 23969380 free *** Garbage collection starting *** GC 538 2-Oct-2003 09:20:03, 30 ms (1%), 1031332 occupied, 23968619 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q35 from e_20 and e_278. e_278: 3 terms, 6 factors, with derivatives of functions of all variables: (q35,q9,q4,p5,p3) is replaced by e_351: 0=(45*q3 + q4 - 4*q9)*p5 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 539 2-Oct-2003 09:20:09, 30 ms (1%), 1029846 occupied, 23970104 free *** Garbage collection starting *** GC 540 2-Oct-2003 09:20:12, 30 ms (1%), 1031528 occupied, 23968423 free *** Garbage collection starting *** GC 541 2-Oct-2003 09:20:15, 30 ms (1%), 1032310 occupied, 23967639 free *** Garbage collection starting *** GC 542 2-Oct-2003 09:20:18, 30 ms (1%), 1032846 occupied, 23967104 free *** Garbage collection starting *** GC 543 2-Oct-2003 09:20:21, 40 ms (1%), 1033148 occupied, 23966801 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_351 and e_131. e_131: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q9,q4,p5,p4) is replaced by e_39: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q4,q3,p5,p4) 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 544 2-Oct-2003 09:20:25, 30 ms (1%), 1030154 occupied, 23969797 free *** Garbage collection starting *** GC 545 2-Oct-2003 09:20:29, 40 ms (1%), 1031356 occupied, 23968594 free *** Garbage collection starting *** GC 546 2-Oct-2003 09:20:32, 30 ms (1%), 1034172 occupied, 23965779 free *** Garbage collection starting *** GC 547 2-Oct-2003 09:20:35, 30 ms (1%), 1035326 occupied, 23964624 free *** Garbage collection starting *** GC 548 2-Oct-2003 09:20:38, 40 ms (1%), 1036086 occupied, 23963865 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q29 from e_398 and e_136. e_136: 3 terms, 6 factors, with derivatives of functions of all variables: (q36,q29,q7,p5,p4) is replaced by e_12: 0=(17*q3 - 2*q36 - q7)*p5 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 549 2-Oct-2003 09:20:42, 30 ms (1%), 1030986 occupied, 23968964 free *** Garbage collection starting *** GC 550 2-Oct-2003 09:20:45, 30 ms (1%), 1032652 occupied, 23967299 free *** Garbage collection starting *** GC 551 2-Oct-2003 09:20:49, 40 ms (1%), 1033864 occupied, 23966086 free *** Garbage collection starting *** GC 552 2-Oct-2003 09:20:52, 30 ms (1%), 1034368 occupied, 23965583 free *** Garbage collection starting *** GC 553 2-Oct-2003 09:20:56, 30 ms (1%), 1034470 occupied, 23965480 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q57 from e_39 and e_133. e_39: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q4,q3,p5,p4) is replaced by e_249: 0=(4*q2 + 251*q3 - q4)*p5 Step 242: Hot list of urgent steps : --- Substitution of <=2 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 554 2-Oct-2003 09:21:00, 30 ms (1%), 1031454 occupied, 23968497 free *** Garbage collection starting *** GC 555 2-Oct-2003 09:21:03, 30 ms (1%), 1033278 occupied, 23966672 free *** Garbage collection starting *** GC 556 2-Oct-2003 09:21:07, 30 ms (1%), 1034422 occupied, 23965529 free *** Garbage collection starting *** GC 557 2-Oct-2003 09:21:10, 40 ms (1%), 1034844 occupied, 23965106 free *** Garbage collection starting *** GC 558 2-Oct-2003 09:21:14, 40 ms (1%), 1035002 occupied, 23964949 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_351 and e_364. e_364: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q28,q9,q4,p5,p4) is replaced by e_8: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q28,q4,q3,p5,p4) 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 : *** Garbage collection starting *** GC 559 2-Oct-2003 09:21:19, 40 ms (1%), 1031320 occupied, 23968630 free *** Garbage collection starting *** GC 560 2-Oct-2003 09:21:22, 30 ms (1%), 1033176 occupied, 23966775 free *** Garbage collection starting *** GC 561 2-Oct-2003 09:21:26, 30 ms (1%), 1034920 occupied, 23965030 free *** Garbage collection starting *** GC 562 2-Oct-2003 09:21:30, 30 ms (1%), 1035758 occupied, 23964193 free *** Garbage collection starting *** GC 563 2-Oct-2003 09:21:33, 40 ms (1%), 1036132 occupied, 23963818 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q4 from e_249 and e_8. e_8: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q28,q4,q3,p5,p4) is replaced by e_30: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q28,q3,q2,p5,p4) 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 : *** Garbage collection starting *** GC 564 2-Oct-2003 09:21:37, 40 ms (1%), 1032014 occupied, 23967937 free *** Garbage collection starting *** GC 565 2-Oct-2003 09:21:41, 40 ms (1%), 1033758 occupied, 23966192 free *** Garbage collection starting *** GC 566 2-Oct-2003 09:21:45, 40 ms (1%), 1034032 occupied, 23965919 free *** Garbage collection starting *** GC 567 2-Oct-2003 09:21:48, 30 ms (1%), 1034320 occupied, 23965630 free *** Garbage collection starting *** GC 568 2-Oct-2003 09:21:52, 30 ms (1%), 1035246 occupied, 23964705 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_351 and e_297. e_297: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q28,q9,q4,p5,p4) is replaced by e_246: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q28,q4,q3,p5,p4) 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 : *** Garbage collection starting *** GC 569 2-Oct-2003 09:21:56, 30 ms (1%), 1032338 occupied, 23967612 free *** Garbage collection starting *** GC 570 2-Oct-2003 09:22:00, 40 ms (1%), 1034348 occupied, 23965603 free *** Garbage collection starting *** GC 571 2-Oct-2003 09:22:04, 30 ms (1%), 1035606 occupied, 23964344 free *** Garbage collection starting *** GC 572 2-Oct-2003 09:22:08, 40 ms (1%), 1036120 occupied, 23963831 free *** Garbage collection starting *** GC 573 2-Oct-2003 09:22:12, 30 ms (1%), 1036330 occupied, 23963620 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q4 from e_249 and e_246. e_246: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q28,q4,q3,p5,p4) is replaced by e_244: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q28,q3,q2,p5,p4) 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 : *** Garbage collection starting *** GC 574 2-Oct-2003 09:22:16, 40 ms (1%), 1033206 occupied, 23966745 free *** Garbage collection starting *** GC 575 2-Oct-2003 09:22:20, 40 ms (1%), 1034700 occupied, 23965250 free *** Garbage collection starting *** GC 576 2-Oct-2003 09:22:24, 40 ms (1%), 1036132 occupied, 23963819 free *** Garbage collection starting *** GC 577 2-Oct-2003 09:22:28, 30 ms (1%), 1036632 occupied, 23963318 free *** Garbage collection starting *** GC 578 2-Oct-2003 09:22:32, 30 ms (1%), 1037390 occupied, 23962561 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q36 from e_12 and e_244. e_244: 4 terms, 8 factors, with derivatives of functions of all variables: (q36,q28,q3,q2,p5,p4) is replaced by e_319: 4 terms, 8 factors, with derivatives of functions of all variables: (q28,q7,q3,q2,p5,p4) 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 : *** Garbage collection starting *** GC 579 2-Oct-2003 09:22:37, 30 ms (1%), 1034110 occupied, 23965840 free *** Garbage collection starting *** GC 580 2-Oct-2003 09:22:41, 30 ms (1%), 1035844 occupied, 23964107 free *** Garbage collection starting *** GC 581 2-Oct-2003 09:22:45, 40 ms (1%), 1036988 occupied, 23962962 free *** Garbage collection starting *** GC 582 2-Oct-2003 09:22:49, 40 ms (1%), 1037558 occupied, 23962393 free *** Garbage collection starting *** GC 583 2-Oct-2003 09:22:53, 30 ms (1%), 1038042 occupied, 23961908 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_351 and e_372. e_372: 4 terms, 8 factors, with derivatives of functions of all variables: (q30,q28,q9,q4,p5,p2) is replaced by e_245: 4 terms, 8 factors, with derivatives of functions of all variables: (q30,q28,q4,q3,p5,p2) 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 : *** Garbage collection starting *** GC 584 2-Oct-2003 09:22:58, 30 ms (1%), 1033840 occupied, 23966111 free *** Garbage collection starting *** GC 585 2-Oct-2003 09:23:02, 40 ms (1%), 1035878 occupied, 23964072 free *** Garbage collection starting *** GC 586 2-Oct-2003 09:23:06, 40 ms (1%), 1037744 occupied, 23962207 free *** Garbage collection starting *** GC 587 2-Oct-2003 09:23:11, 30 ms (1%), 1038222 occupied, 23961728 free *** Garbage collection starting *** GC 588 2-Oct-2003 09:23:15, 40 ms (1%), 1038594 occupied, 23961357 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q4 from e_249 and e_245. e_245: 4 terms, 8 factors, with derivatives of functions of all variables: (q30,q28,q4,q3,p5,p2) is replaced by e_271: 4 terms, 8 factors, with derivatives of functions of all variables: (q30,q28,q3,q2,p5,p2) 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 : *** Garbage collection starting *** GC 589 2-Oct-2003 09:23:20, 40 ms (1%), 1034462 occupied, 23965488 free *** Garbage collection starting *** GC 590 2-Oct-2003 09:23:24, 30 ms (1%), 1036642 occupied, 23963309 free *** Garbage collection starting *** GC 591 2-Oct-2003 09:23:29, 40 ms (1%), 1038264 occupied, 23961686 free *** Garbage collection starting *** GC 592 2-Oct-2003 09:23:33, 40 ms (1%), 1038860 occupied, 23961091 free *** Garbage collection starting *** GC 593 2-Oct-2003 09:23:38, 40 ms (1%), 1039186 occupied, 23960764 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q34 from e_142 and e_239. e_239: 3 terms, 6 factors, with derivatives of functions of all variables: (q34,q32,q3,p5,p3,p2) is replaced by e_276: 3 terms, 6 factors, with derivatives of functions of all variables: (q32,q30,q3,p5,p2) 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 : *** Garbage collection starting *** GC 594 2-Oct-2003 09:23:43, 30 ms (1%), 1035026 occupied, 23964924 free *** Garbage collection starting *** GC 595 2-Oct-2003 09:23:47, 30 ms (1%), 1035398 occupied, 23964551 free *** Garbage collection starting *** GC 596 2-Oct-2003 09:23:52, 40 ms (1%), 1036458 occupied, 23963491 free *** Garbage collection starting *** GC 597 2-Oct-2003 09:23:56, 40 ms (1%), 1038006 occupied, 23961942 free *** Garbage collection starting *** GC 598 2-Oct-2003 09:24:01, 40 ms (1%), 1038716 occupied, 23961233 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q32 from e_280 and e_276. e_276: 3 terms, 6 factors, with derivatives of functions of all variables: (q32,q30,q3,p5,p2) is replaced by e_137: 3 terms, 6 factors, with derivatives of functions of all variables: (q30,q5,q3,p5,p2) 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 : *** Garbage collection starting *** GC 599 2-Oct-2003 09:24:06, 40 ms (1%), 1035738 occupied, 23964211 free *** Garbage collection starting *** GC 600 2-Oct-2003 09:24:11, 40 ms (1%), 1037546 occupied, 23962404 free *** Garbage collection starting *** GC 601 2-Oct-2003 09:24:15, 40 ms (1%), 1039360 occupied, 23960589 free *** Garbage collection starting *** GC 602 2-Oct-2003 09:24:20, 30 ms (1%), 1040036 occupied, 23959914 free *** Garbage collection starting *** GC 603 2-Oct-2003 09:24:25, 40 ms (1%), 1040346 occupied, 23959603 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q30 from e_137 and e_142. e_142: 3 terms, 6 factors, with derivatives of functions of all variables: (q34,q30,q3,p5,p3,p2) is replaced by e_288: 3 terms, 6 factors, with derivatives of functions of all variables: (q34,q5,q3,p5,p3) 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 : *** Garbage collection starting *** GC 604 2-Oct-2003 09:24:30, 40 ms (1%), 1036584 occupied, 23963366 free *** Garbage collection starting *** GC 605 2-Oct-2003 09:24:35, 30 ms (1%), 1037868 occupied, 23962081 free *** Garbage collection starting *** GC 606 2-Oct-2003 09:24:40, 40 ms (1%), 1039066 occupied, 23960884 free *** Garbage collection starting *** GC 607 2-Oct-2003 09:24:44, 40 ms (1%), 1039696 occupied, 23960253 free *** Garbage collection starting *** GC 608 2-Oct-2003 09:24:49, 40 ms (1%), 1040948 occupied, 23959002 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q30 from e_137 and e_271. e_271: 4 terms, 8 factors, with derivatives of functions of all variables: (q30,q28,q3,q2,p5,p2) is replaced by e_188: 4 terms, 8 factors, with derivatives of functions of all variables: (q28,q5,q3,q2,p5,p2) 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 : *** Garbage collection starting *** GC 609 2-Oct-2003 09:24:55, 40 ms (1%), 1036594 occupied, 23963355 free *** Garbage collection starting *** GC 610 2-Oct-2003 09:25:00, 40 ms (1%), 1038952 occupied, 23960997 free *** Garbage collection starting *** GC 611 2-Oct-2003 09:25:05, 30 ms (1%), 1040976 occupied, 23958970 free *** Garbage collection starting *** GC 612 2-Oct-2003 09:25:10, 40 ms (1%), 1041518 occupied, 23958429 free *** Garbage collection starting *** GC 613 2-Oct-2003 09:25:15, 30 ms (1%), 1041998 occupied, 23957949 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q28 from e_319 and e_30. e_30: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q28,q3,q2,p5,p4) is replaced by e_111: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q7,q3,q2,p5,p4) 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 : *** Garbage collection starting *** GC 614 2-Oct-2003 09:25:21, 40 ms (1%), 1037338 occupied, 23962610 free *** Garbage collection starting *** GC 615 2-Oct-2003 09:25:26, 30 ms (1%), 1039072 occupied, 23960877 free *** Garbage collection starting *** GC 616 2-Oct-2003 09:25:31, 30 ms (1%), 1040642 occupied, 23959306 free *** Garbage collection starting *** GC 617 2-Oct-2003 09:25:36, 40 ms (1%), 1042716 occupied, 23957233 free *** Garbage collection starting *** GC 618 2-Oct-2003 09:25:42, 40 ms (1%), 1044292 occupied, 23955656 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q29 from e_398 and e_11. e_11: 0=p1*q56 + p4*q29 is replaced by e_264: 0=p1*q56 - 17*p5*q3 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 : *** Garbage collection starting *** GC 619 2-Oct-2003 09:25:48, 30 ms (1%), 1037692 occupied, 23962258 free *** Garbage collection starting *** GC 620 2-Oct-2003 09:25:53, 40 ms (1%), 1039692 occupied, 23960257 free *** Garbage collection starting *** GC 621 2-Oct-2003 09:25:58, 40 ms (1%), 1040720 occupied, 23959230 free *** Garbage collection starting *** GC 622 2-Oct-2003 09:26:04, 40 ms (1%), 1041844 occupied, 23958105 free *** Garbage collection starting *** GC 623 2-Oct-2003 09:26:09, 40 ms (1%), 1043764 occupied, 23956186 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q29 from e_398 and e_300. e_300: 4 terms, 8 factors, with derivatives of functions of all variables: (q34,q29,q28,q2,p5,p4,p3) is replaced by e_202: 4 terms, 8 factors, with derivatives of functions of all variables: (q34,q28,q3,q2,p5,p4,p3) 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 : *** Garbage collection starting *** GC 624 2-Oct-2003 09:26:15, 40 ms (1%), 1038352 occupied, 23961597 free *** Garbage collection starting *** GC 625 2-Oct-2003 09:26:20, 40 ms (1%), 1039824 occupied, 23960126 free *** Garbage collection starting *** GC 626 2-Oct-2003 09:26:26, 40 ms (1%), 1043888 occupied, 23956060 free *** Garbage collection starting *** GC 627 2-Oct-2003 09:26:32, 40 ms (1%), 1046038 occupied, 23953911 free *** Garbage collection starting *** GC 628 2-Oct-2003 09:26:37, 40 ms (1%), 1046406 occupied, 23953543 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q29 from e_398 and e_225. e_225: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q29,q28,q8,p5,p4,p3) is replaced by e_101: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q28,q8,q3,p5,p4,p3) 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 : *** Garbage collection starting *** GC 629 2-Oct-2003 09:26:44, 30 ms (1%), 1038714 occupied, 23961235 free *** Garbage collection starting *** GC 630 2-Oct-2003 09:26:49, 40 ms (1%), 1040224 occupied, 23959726 free *** Garbage collection starting *** GC 631 2-Oct-2003 09:26:55, 40 ms (1%), 1042070 occupied, 23957879 free *** Garbage collection starting *** GC 632 2-Oct-2003 09:27:01, 40 ms (1%), 1042766 occupied, 23957184 free *** Garbage collection starting *** GC 633 2-Oct-2003 09:27:07, 40 ms (1%), 1042960 occupied, 23956989 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q8 from e_58 and e_101. e_101: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q28,q8,q3,p5,p4,p3) is replaced by e_314: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q28,q3,q2,p5,p4,p3) 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 634 2-Oct-2003 09:27:13, 40 ms (1%), 1038202 occupied, 23961749 free *** Garbage collection starting *** GC 635 2-Oct-2003 09:27:19, 40 ms (1%), 1039290 occupied, 23960660 free *** Garbage collection starting *** GC 636 2-Oct-2003 09:27:25, 40 ms (1%), 1040592 occupied, 23959359 free *** Garbage collection starting *** GC 637 2-Oct-2003 09:27:30, 40 ms (1%), 1042244 occupied, 23957706 free *** Garbage collection starting *** GC 638 2-Oct-2003 09:27:37, 40 ms (1%), 1042868 occupied, 23957083 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q34 from e_288 and e_112. e_112: 3 terms, 6 factors, with derivatives of functions of all variables: (q37,q34,q3,p5,p3) is replaced by e_289: 3 terms, 6 factors, with derivatives of functions of all variables: (q37,q5,q3,p5,p3) 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 : *** Garbage collection starting *** GC 639 2-Oct-2003 09:27:43, 40 ms (1%), 1040004 occupied, 23959946 free *** Garbage collection starting *** GC 640 2-Oct-2003 09:27:49, 40 ms (1%), 1041772 occupied, 23958179 free *** Garbage collection starting *** GC 641 2-Oct-2003 09:27:55, 40 ms (1%), 1043056 occupied, 23956894 free *** Garbage collection starting *** GC 642 2-Oct-2003 09:28:01, 40 ms (1%), 1043678 occupied, 23956273 free *** Garbage collection starting *** GC 643 2-Oct-2003 09:28:08, 40 ms (1%), 1044636 occupied, 23955314 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q37 from e_289 and e_139. e_139: 3 terms, 6 factors, with derivatives of functions of all variables: (q37,q30,q3,p5,p4,p3) is replaced by e_327: 3 terms, 6 factors, with derivatives of functions of all variables: (q30,q5,q3,p5,p4) 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 : *** Garbage collection starting *** GC 644 2-Oct-2003 09:28:14, 30 ms (1%), 1038984 occupied, 23960965 free *** Garbage collection starting *** GC 645 2-Oct-2003 09:28:20, 40 ms (1%), 1040148 occupied, 23959800 free *** Garbage collection starting *** GC 646 2-Oct-2003 09:28:27, 40 ms (1%), 1041018 occupied, 23958931 free *** Garbage collection starting *** GC 647 2-Oct-2003 09:28:33, 40 ms (1%), 1042198 occupied, 23957750 free *** Garbage collection starting *** GC 648 2-Oct-2003 09:28:39, 40 ms (1%), 1042948 occupied, 23957001 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q57 from e_309 and e_133. e_309: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q10,q3,p5,p4) is replaced by e_89: (#) 3 terms, 4 factors, with derivatives of functions of all variables: (q10,q3,q2,p5) 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 : *** Garbage collection starting *** GC 649 2-Oct-2003 09:28:47, 40 ms (1%), 1040826 occupied, 23959124 free *** Garbage collection starting *** GC 650 2-Oct-2003 09:28:53, 40 ms (1%), 1042788 occupied, 23957163 free *** Garbage collection starting *** GC 651 2-Oct-2003 09:28:59, 40 ms (1%), 1044174 occupied, 23955776 free *** Garbage collection starting *** GC 652 2-Oct-2003 09:29:06, 40 ms (1%), 1044380 occupied, 23955571 free *** Garbage collection starting *** GC 653 2-Oct-2003 09:29:12, 40 ms (1%), 1044568 occupied, 23955382 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q30 from e_327 and e_204. e_204: 3 terms, 6 factors, with derivatives of functions of all variables: (q31,q30,q3,p5,p4) is replaced by e_330: 3 terms, 6 factors, with derivatives of functions of all variables: (q31,q5,q3,p5,p4) 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 654 2-Oct-2003 09:29:19, 40 ms (1%), 1040698 occupied, 23959253 free *** Garbage collection starting *** GC 655 2-Oct-2003 09:29:26, 40 ms (1%), 1042686 occupied, 23957264 free *** Garbage collection starting *** GC 656 2-Oct-2003 09:29:32, 40 ms (1%), 1044308 occupied, 23955643 free *** Garbage collection starting *** GC 657 2-Oct-2003 09:29:39, 40 ms (1%), 1044594 occupied, 23955356 free *** Garbage collection starting *** GC 658 2-Oct-2003 09:29:45, 40 ms (1%), 1045406 occupied, 23954545 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q29 from e_398 and e_195. e_195: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q32,q29,q2,p5,p4,p3) is replaced by e_378: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q32,q3,q2,p5,p4,p3) 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 : *** Garbage collection starting *** GC 659 2-Oct-2003 09:29:53, 40 ms (1%), 1041610 occupied, 23958340 free *** Garbage collection starting *** GC 660 2-Oct-2003 09:29:59, 40 ms (1%), 1043122 occupied, 23956829 free *** Garbage collection starting *** GC 661 2-Oct-2003 09:30:06, 40 ms (1%), 1045208 occupied, 23954742 free *** Garbage collection starting *** GC 662 2-Oct-2003 09:30:13, 40 ms (1%), 1046016 occupied, 23953935 free *** Garbage collection starting *** GC 663 2-Oct-2003 09:30:20, 40 ms (1%), 1046342 occupied, 23953608 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q37 from e_289 and e_378. e_378: 4 terms, 8 factors, with derivatives of functions of all variables: (q37,q32,q3,q2,p5,p4,p3) is replaced by e_339: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q5,q3,q2,p5,p4) 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 664 2-Oct-2003 09:30:27, 40 ms (1%), 1042290 occupied, 23957661 free *** Garbage collection starting *** GC 665 2-Oct-2003 09:30:34, 40 ms (1%), 1043976 occupied, 23955974 free *** Garbage collection starting *** GC 666 2-Oct-2003 09:30:41, 40 ms (1%), 1046252 occupied, 23953699 free *** Garbage collection starting *** GC 667 2-Oct-2003 09:30:48, 40 ms (1%), 1046934 occupied, 23953016 free *** Garbage collection starting *** GC 668 2-Oct-2003 09:30:56, 40 ms (1%), 1047076 occupied, 23952875 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q32 from e_339 and e_111. e_111: 4 terms, 8 factors, with derivatives of functions of all variables: (q32,q7,q3,q2,p5,p4) is replaced by e_360: (#) 4 terms, 5 factors, with derivatives of functions of all variables: (q7,q5,q3,q2,p5) 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 : *** Garbage collection starting *** GC 669 2-Oct-2003 09:31:03, 40 ms (1%), 1043184 occupied, 23956766 free *** Garbage collection starting *** GC 670 2-Oct-2003 09:31:10, 40 ms (1%), 1045202 occupied, 23954749 free *** Garbage collection starting *** GC 671 2-Oct-2003 09:31:17, 40 ms (1%), 1046494 occupied, 23953456 free *** Garbage collection starting *** GC 672 2-Oct-2003 09:31:25, 40 ms (1%), 1047068 occupied, 23952883 free *** Garbage collection starting *** GC 673 2-Oct-2003 09:31:32, 40 ms (1%), 1047254 occupied, 23952696 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q7 from e_360 and e_319. e_319: 4 terms, 8 factors, with derivatives of functions of all variables: (q28,q7,q3,q2,p5,p4) is replaced by e_147: 4 terms, 8 factors, with derivatives of functions of all variables: (q28,q5,q3,q2,p5,p4) 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 2 terms 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 : 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 : 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 : 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 *** Garbage collection starting *** GC 674 2-Oct-2003 09:31:40, 40 ms (1%), 1036112 occupied, 23963840 free 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 1 term 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 : 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 : shortening by 1 term 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 : shortening by 1 term 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 : 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 : shortening by 1 term Step 293: Hot list of urgent steps : --- Substitution of <=2 terms, only 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 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 : *** Garbage collection starting *** GC 675 2-Oct-2003 09:31:43, 30 ms (1%), 1031758 occupied, 23968193 free *** Garbage collection starting *** GC 676 2-Oct-2003 09:31:47, 40 ms (1%), 1033810 occupied, 23966142 free *** Garbage collection starting *** GC 677 2-Oct-2003 09:31:51, 30 ms (1%), 1034648 occupied, 23965303 free *** Garbage collection starting *** GC 678 2-Oct-2003 09:31:54, 40 ms (1%), 1035320 occupied, 23964632 free *** Garbage collection starting *** GC 679 2-Oct-2003 09:31:58, 30 ms (1%), 1035636 occupied, 23964315 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q3 from e_374 and e_89. e_89: (#) 3 terms, 4 factors, with derivatives of functions of all variables: (q10,q3,q2,p5) is replaced by e_237: 0=(q10 - q2)*p5 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 : *** Garbage collection starting *** GC 680 2-Oct-2003 09:32:03, 40 ms (1%), 1032568 occupied, 23967384 free *** Garbage collection starting *** GC 681 2-Oct-2003 09:32:06, 40 ms (1%), 1034294 occupied, 23965657 free *** Garbage collection starting *** GC 682 2-Oct-2003 09:32:10, 30 ms (1%), 1034858 occupied, 23965093 free *** Garbage collection starting *** GC 683 2-Oct-2003 09:32:14, 30 ms (1%), 1035072 occupied, 23964878 free *** Garbage collection starting *** GC 684 2-Oct-2003 09:32:18, 30 ms (1%), 1035348 occupied, 23964603 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q3 from e_374 and e_249. e_249: 0=(4*q2 + 251*q3 - q4)*p5 is replaced by e_7: 0=(4*q2 - q4)*p5 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 : *** Garbage collection starting *** GC 685 2-Oct-2003 09:32:22, 40 ms (1%), 1033500 occupied, 23966450 free *** Garbage collection starting *** GC 686 2-Oct-2003 09:32:26, 40 ms (1%), 1034246 occupied, 23965705 free *** Garbage collection starting *** GC 687 2-Oct-2003 09:32:30, 30 ms (1%), 1034548 occupied, 23965402 free *** Garbage collection starting *** GC 688 2-Oct-2003 09:32:33, 30 ms (1%), 1034828 occupied, 23965123 free *** Garbage collection starting *** GC 689 2-Oct-2003 09:32:37, 40 ms (1%), 1035104 occupied, 23964846 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q3 from e_374 and e_12. e_12: 0=(17*q3 - 2*q36 - q7)*p5 is replaced by e_238: 0=(2*q36 + q7)*p5 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 : *** Garbage collection starting *** GC 690 2-Oct-2003 09:32:41, 40 ms (1%), 1032520 occupied, 23967430 free *** Garbage collection starting *** GC 691 2-Oct-2003 09:32:45, 40 ms (1%), 1033582 occupied, 23966367 free *** Garbage collection starting *** GC 692 2-Oct-2003 09:32:49, 30 ms (1%), 1034154 occupied, 23965796 free *** Garbage collection starting *** GC 693 2-Oct-2003 09:32:53, 30 ms (1%), 1035174 occupied, 23964775 free *** Garbage collection starting *** GC 694 2-Oct-2003 09:32:57, 30 ms (1%), 1036776 occupied, 23963174 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : A length reducing simplification (27 ) was prevented to avoid a cycle. Eliminate q3 from e_374 and e_58. e_58: 0=(q2 + 100*q3 - q8)*p5 is replaced by e_40: 0=(q2 - q8)*p5 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 : *** Garbage collection starting *** GC 695 2-Oct-2003 09:33:02, 40 ms (1%), 1033986 occupied, 23965964 free *** Garbage collection starting *** GC 696 2-Oct-2003 09:33:06, 40 ms (1%), 1036206 occupied, 23963745 free *** Garbage collection starting *** GC 697 2-Oct-2003 09:33:10, 30 ms (1%), 1036912 occupied, 23963038 free *** Garbage collection starting *** GC 698 2-Oct-2003 09:33:14, 30 ms (1%), 1037058 occupied, 23962893 free *** Garbage collection starting *** GC 699 2-Oct-2003 09:33:18, 30 ms (1%), 1037242 occupied, 23962708 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q10 from e_237 and e_287. e_287: 3 terms, 6 factors, with derivatives of functions of all variables: (q39,q28,q10,p5,p4) is replaced by e_33: 3 terms, 6 factors, with derivatives of functions of all variables: (q39,q28,q2,p5,p4) 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 : *** Garbage collection starting *** GC 700 2-Oct-2003 09:33:30, 30 ms (1%), 1033278 occupied, 23966673 free 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 : *** Garbage collection starting *** GC 701 2-Oct-2003 09:33:34, 30 ms (1%), 1033460 occupied, 23966490 free *** Garbage collection starting *** GC 702 2-Oct-2003 09:33:39, 40 ms (1%), 1035744 occupied, 23964207 free *** Garbage collection starting *** GC 703 2-Oct-2003 09:33:43, 40 ms (1%), 1037416 occupied, 23962534 free *** Garbage collection starting *** GC 704 2-Oct-2003 09:33:47, 40 ms (1%), 1037734 occupied, 23962217 free *** Garbage collection starting *** GC 705 2-Oct-2003 09:33:51, 30 ms (1%), 1037920 occupied, 23962030 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q28 from e_108 and e_33. e_33: 3 terms, 6 factors, with derivatives of functions of all variables: (q39,q28,q2,p5,p4) is replaced by e_184: (#) 3 terms, 4 factors, with derivatives of functions of all variables: (q39,q5,q2,p5) 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 : *** Garbage collection starting *** GC 706 2-Oct-2003 09:33:57, 30 ms (1%), 1034764 occupied, 23965187 free *** Garbage collection starting *** GC 707 2-Oct-2003 09:34:01, 40 ms (1%), 1035012 occupied, 23964938 free *** Garbage collection starting *** GC 708 2-Oct-2003 09:34:06, 30 ms (1%), 1035234 occupied, 23964717 free *** Garbage collection starting *** GC 709 2-Oct-2003 09:34:10, 40 ms (1%), 1036180 occupied, 23963771 free *** Garbage collection starting *** GC 710 2-Oct-2003 09:34:15, 30 ms (1%), 1037830 occupied, 23962120 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q10 from e_237 and e_365. e_365: 5 terms, 10 factors, with derivatives of functions of all variables: (q58,q28,q10,q7,q2,p5,p4,p1) is replaced by e_244: 4 terms, 8 factors, with derivatives of functions of all variables: (q58,q28,q7,q2,p5,p4,p1) 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 : *** Garbage collection starting *** GC 711 2-Oct-2003 09:34:20, 30 ms (1%), 1035086 occupied, 23964865 free *** Garbage collection starting *** GC 712 2-Oct-2003 09:34:24, 40 ms (1%), 1037116 occupied, 23962834 free *** Garbage collection starting *** GC 713 2-Oct-2003 09:34:29, 40 ms (1%), 1037824 occupied, 23962127 free *** Garbage collection starting *** GC 714 2-Oct-2003 09:34:34, 40 ms (1%), 1038140 occupied, 23961810 free *** Garbage collection starting *** GC 715 2-Oct-2003 09:34:38, 40 ms (1%), 1038544 occupied, 23961407 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q8 from e_40 and e_149. e_149: 3 terms, 6 factors, with derivatives of functions of all variables: (q34,q32,q8,p5,p3,p2) is replaced by e_372: 3 terms, 6 factors, with derivatives of functions of all variables: (q34,q32,q2,p5,p3,p2) 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 : *** Garbage collection starting *** GC 716 2-Oct-2003 09:34:44, 40 ms (1%), 1035602 occupied, 23964348 free *** Garbage collection starting *** GC 717 2-Oct-2003 09:34:48, 40 ms (1%), 1037670 occupied, 23962281 free *** Garbage collection starting *** GC 718 2-Oct-2003 09:34:53, 30 ms (1%), 1038456 occupied, 23961494 free *** Garbage collection starting *** GC 719 2-Oct-2003 09:34:58, 40 ms (1%), 1038652 occupied, 23961299 free *** Garbage collection starting *** GC 720 2-Oct-2003 09:35:03, 40 ms (1%), 1039326 occupied, 23960624 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q32 from e_210 and e_372. e_372: 3 terms, 6 factors, with derivatives of functions of all variables: (q34,q32,q2,p5,p3,p2) is replaced by e_266: 3 terms, 6 factors, with derivatives of functions of all variables: (q34,q5,q2,p5,p3) 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 : *** Garbage collection starting *** GC 721 2-Oct-2003 09:35:10, 30 ms (1%), 1037174 occupied, 23962777 free *** Garbage collection starting *** GC 722 2-Oct-2003 09:35:15, 40 ms (1%), 1039586 occupied, 23960364 free *** Garbage collection starting *** GC 723 2-Oct-2003 09:35:20, 40 ms (1%), 1040502 occupied, 23959449 free *** Garbage collection starting *** GC 724 2-Oct-2003 09:35:25, 40 ms (1%), 1040818 occupied, 23959132 free *** Garbage collection starting *** GC 725 2-Oct-2003 09:35:30, 40 ms (1%), 1041636 occupied, 23958315 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_184. e_184: (#) 3 terms, 4 factors, with derivatives of functions of all variables: (q39,q5,q2,p5) is replaced by e_229: 0=(7*q2 + 3*q39)*p5 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 : *** Garbage collection starting *** GC 726 2-Oct-2003 09:35:36, 40 ms (1%), 1038042 occupied, 23961908 free *** Garbage collection starting *** GC 727 2-Oct-2003 09:35:41, 30 ms (1%), 1040280 occupied, 23959671 free *** Garbage collection starting *** GC 728 2-Oct-2003 09:35:46, 40 ms (1%), 1041038 occupied, 23958911 free *** Garbage collection starting *** GC 729 2-Oct-2003 09:35:52, 40 ms (1%), 1041780 occupied, 23958170 free *** Garbage collection starting *** GC 730 2-Oct-2003 09:35:57, 40 ms (1%), 1042354 occupied, 23957595 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_227. e_227: 3 terms, 6 factors, with derivatives of functions of all variables: (q28,q5,q2,p5,p2) is replaced by e_31: 0=6*p2*q28 + 5*p5*q2 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 : *** Garbage collection starting *** GC 731 2-Oct-2003 09:36:04, 40 ms (1%), 1037702 occupied, 23962249 free *** Garbage collection starting *** GC 732 2-Oct-2003 09:36:09, 40 ms (1%), 1039574 occupied, 23960376 free *** Garbage collection starting *** GC 733 2-Oct-2003 09:36:15, 40 ms (1%), 1040918 occupied, 23959033 free *** Garbage collection starting *** GC 734 2-Oct-2003 09:36:21, 40 ms (1%), 1041148 occupied, 23958802 free *** Garbage collection starting *** GC 735 2-Oct-2003 09:36:26, 40 ms (1%), 1041352 occupied, 23958599 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_219. e_219: 0=p4*q32 - p5*q2 + p5*q5 is replaced by e_282: 0=p4*q32 + p5*q2 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 : *** Garbage collection starting *** GC 736 2-Oct-2003 09:36:32, 40 ms (1%), 1038528 occupied, 23961422 free *** Garbage collection starting *** GC 737 2-Oct-2003 09:36:38, 40 ms (1%), 1040562 occupied, 23959388 free *** Garbage collection starting *** GC 738 2-Oct-2003 09:36:44, 40 ms (1%), 1041488 occupied, 23958461 free *** Garbage collection starting *** GC 739 2-Oct-2003 09:36:50, 30 ms (1%), 1041854 occupied, 23958096 free *** Garbage collection starting *** GC 740 2-Oct-2003 09:36:56, 30 ms (1%), 1042018 occupied, 23957931 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_108. e_108: 3 terms, 6 factors, with derivatives of functions of all variables: (q28,q5,q2,p5,p4) is replaced by e_277: 0=3*p4*q28 + 5*p5*q2 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 : *** Garbage collection starting *** GC 741 2-Oct-2003 09:37:02, 40 ms (1%), 1038652 occupied, 23961299 free *** Garbage collection starting *** GC 742 2-Oct-2003 09:37:08, 40 ms (1%), 1039920 occupied, 23960030 free *** Garbage collection starting *** GC 743 2-Oct-2003 09:37:14, 40 ms (1%), 1041646 occupied, 23958305 free *** Garbage collection starting *** GC 744 2-Oct-2003 09:37:20, 40 ms (1%), 1042554 occupied, 23957396 free *** Garbage collection starting *** GC 745 2-Oct-2003 09:37:26, 40 ms (1%), 1043296 occupied, 23956655 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_138. e_138: 0=p1*q58 + p5*q5 is replaced by e_305: 0=p1*q58 + 2*p5*q2 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 : 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 : *** Garbage collection starting *** GC 746 2-Oct-2003 09:37:33, 40 ms (1%), 1039742 occupied, 23960208 free *** Garbage collection starting *** GC 747 2-Oct-2003 09:37:39, 40 ms (1%), 1041970 occupied, 23957981 free *** Garbage collection starting *** GC 748 2-Oct-2003 09:37:45, 40 ms (1%), 1043378 occupied, 23956572 free *** Garbage collection starting *** GC 749 2-Oct-2003 09:37:51, 40 ms (1%), 1043632 occupied, 23956319 free *** Garbage collection starting *** GC 750 2-Oct-2003 09:37:58, 40 ms (1%), 1044442 occupied, 23955508 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_210. e_210: 0=4*p2*q32 + p5*q5 is replaced by e_299: 0=2*p2*q32 + p5*q2 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 : *** Garbage collection starting *** GC 751 2-Oct-2003 09:38:05, 30 ms (1%), 1039674 occupied, 23960277 free *** Garbage collection starting *** GC 752 2-Oct-2003 09:38:11, 30 ms (1%), 1041670 occupied, 23958280 free *** Garbage collection starting *** GC 753 2-Oct-2003 09:38:18, 40 ms (1%), 1042886 occupied, 23957065 free *** Garbage collection starting *** GC 754 2-Oct-2003 09:38:24, 40 ms (1%), 1043724 occupied, 23956226 free *** Garbage collection starting *** GC 755 2-Oct-2003 09:38:31, 40 ms (0%), 1043936 occupied, 23956015 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_86. e_86: 0=2*p2*q30 + p5*q5 is replaced by e_11: 0=p2*q30 + p5*q2 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 : *** Garbage collection starting *** GC 756 2-Oct-2003 09:38:38, 40 ms (0%), 1040360 occupied, 23959589 free *** Garbage collection starting *** GC 757 2-Oct-2003 09:38:44, 30 ms (0%), 1042334 occupied, 23957616 free *** Garbage collection starting *** GC 758 2-Oct-2003 09:38:51, 40 ms (0%), 1043534 occupied, 23956415 free *** Garbage collection starting *** GC 759 2-Oct-2003 09:38:58, 40 ms (0%), 1043764 occupied, 23956186 free *** Garbage collection starting *** GC 760 2-Oct-2003 09:39:04, 30 ms (0%), 1044432 occupied, 23955517 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : A length reducing simplification (27 ) was prevented to avoid a cycle. Eliminate q5 from e_224 and e_141. e_141: 0=p4*q30 + p5*q5 is replaced by e_300: 0=p4*q30 + 2*p5*q2 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 : *** Garbage collection starting *** GC 761 2-Oct-2003 09:39:11, 40 ms (0%), 1040878 occupied, 23959073 free *** Garbage collection starting *** GC 762 2-Oct-2003 09:39:18, 30 ms (0%), 1043146 occupied, 23956804 free *** Garbage collection starting *** GC 763 2-Oct-2003 09:39:25, 40 ms (0%), 1044146 occupied, 23955805 free *** Garbage collection starting *** GC 764 2-Oct-2003 09:39:32, 40 ms (0%), 1045070 occupied, 23954880 free *** Garbage collection starting *** GC 765 2-Oct-2003 09:39:39, 40 ms (0%), 1045498 occupied, 23954453 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_4. e_4: 0=3*p4*q31 - p5*q5 is replaced by e_362: 0=3*p4*q31 - 2*p5*q2 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 : *** Garbage collection starting *** GC 766 2-Oct-2003 09:39:46, 40 ms (0%), 1041674 occupied, 23958275 free *** Garbage collection starting *** GC 767 2-Oct-2003 09:39:53, 40 ms (0%), 1043902 occupied, 23956048 free *** Garbage collection starting *** GC 768 2-Oct-2003 09:40:00, 40 ms (0%), 1044782 occupied, 23955167 free *** Garbage collection starting *** GC 769 2-Oct-2003 09:40:08, 40 ms (0%), 1045682 occupied, 23954268 free *** Garbage collection starting *** GC 770 2-Oct-2003 09:40:15, 30 ms (0%), 1046072 occupied, 23953877 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_197. e_197: 0=3*p3*q37 + p5*q5 is replaced by e_301: 0=3*p3*q37 + 2*p5*q2 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 : *** Garbage collection starting *** GC 771 2-Oct-2003 09:40:22, 30 ms (0%), 1042310 occupied, 23957640 free *** Garbage collection starting *** GC 772 2-Oct-2003 09:40:29, 30 ms (0%), 1044038 occupied, 23955911 free *** Garbage collection starting *** GC 773 2-Oct-2003 09:40:37, 40 ms (0%), 1045670 occupied, 23954280 free *** Garbage collection starting *** GC 774 2-Oct-2003 09:40:44, 40 ms (0%), 1046318 occupied, 23953631 free *** Garbage collection starting *** GC 775 2-Oct-2003 09:40:51, 40 ms (0%), 1046568 occupied, 23953382 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q28 from e_277 and e_200. e_200: 0=p3*q38 - p4*q28 - p5*q9 is replaced by e_71: 3 terms, 6 factors, with derivatives of functions of all variables: (q38,q9,q2,p5,p3) 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 : *** Garbage collection starting *** GC 776 2-Oct-2003 09:41:00, 30 ms (0%), 1042506 occupied, 23957444 free *** Garbage collection starting *** GC 777 2-Oct-2003 09:41:08, 40 ms (0%), 1044480 occupied, 23955471 free *** Garbage collection starting *** GC 778 2-Oct-2003 09:41:15, 40 ms (0%), 1046172 occupied, 23953779 free *** Garbage collection starting *** GC 779 2-Oct-2003 09:41:23, 40 ms (0%), 1046970 occupied, 23952980 free *** Garbage collection starting *** GC 780 2-Oct-2003 09:41:31, 40 ms (0%), 1047286 occupied, 23952664 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q34 from e_2 and e_353. e_353: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q34,q28,p4,p3,p2) is replaced by e_306: 3 terms, 6 factors, with derivatives of functions of all variables: (q57,q31,q28,p4,p2) 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 : *** Garbage collection starting *** GC 781 2-Oct-2003 09:41:39, 40 ms (0%), 1043494 occupied, 23956456 free *** Garbage collection starting *** GC 782 2-Oct-2003 09:41:47, 40 ms (0%), 1046024 occupied, 23953927 free *** Garbage collection starting *** GC 783 2-Oct-2003 09:41:55, 40 ms (0%), 1046988 occupied, 23952962 free *** Garbage collection starting *** GC 784 2-Oct-2003 09:42:03, 40 ms (0%), 1047580 occupied, 23952371 free *** Garbage collection starting *** GC 785 2-Oct-2003 09:42:11, 40 ms (0%), 1047766 occupied, 23952184 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q34 from e_2 and e_189. e_189: 5 terms, 10 factors, with derivatives of functions of all variables: (q38,q34,q31,q28,q7,p5,p4,p3,p2) is replaced by e_321: 5 terms, 10 factors, with derivatives of functions of all variables: (q38,q31,q28,q7,p5,p4,p3,p2) 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 : *** Garbage collection starting *** GC 786 2-Oct-2003 09:42:20, 40 ms (0%), 1044388 occupied, 23955563 free *** Garbage collection starting *** GC 787 2-Oct-2003 09:42:28, 40 ms (0%), 1045666 occupied, 23954284 free *** Garbage collection starting *** GC 788 2-Oct-2003 09:42:37, 40 ms (0%), 1047766 occupied, 23952185 free *** Garbage collection starting *** GC 789 2-Oct-2003 09:42:45, 40 ms (0%), 1048430 occupied, 23951520 free *** Garbage collection starting *** GC 790 2-Oct-2003 09:42:54, 40 ms (0%), 1048884 occupied, 23951067 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q30 from e_300 and e_380. e_380: 0=3*p3*q38 - p4*q30 is replaced by e_176: 0=3*p3*q38 + 2*p5*q2 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 : *** Garbage collection starting *** GC 791 2-Oct-2003 09:43:03, 40 ms (0%), 1044578 occupied, 23955372 free *** Garbage collection starting *** GC 792 2-Oct-2003 09:43:11, 40 ms (0%), 1047154 occupied, 23952797 free *** Garbage collection starting *** GC 793 2-Oct-2003 09:43:20, 40 ms (0%), 1048422 occupied, 23951528 free *** Garbage collection starting *** GC 794 2-Oct-2003 09:43:29, 40 ms (0%), 1048686 occupied, 23951265 free *** Garbage collection starting *** GC 795 2-Oct-2003 09:43:37, 40 ms (0%), 1049832 occupied, 23950118 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q34 from e_368 and e_2. e_2: 0=2*p2*q31 + p3*q34 is replaced by e_106: 0=6*p2*q31 - p5*q5 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 : *** Garbage collection starting *** GC 796 2-Oct-2003 09:43:48, 40 ms (0%), 1044536 occupied, 23955415 free *** Garbage collection starting *** GC 797 2-Oct-2003 09:43:57, 40 ms (0%), 1046650 occupied, 23953300 free *** Garbage collection starting *** GC 798 2-Oct-2003 09:44:06, 40 ms (0%), 1048110 occupied, 23951841 free *** Garbage collection starting *** GC 799 2-Oct-2003 09:44:14, 40 ms (0%), 1048762 occupied, 23951188 free *** Garbage collection starting *** GC 800 2-Oct-2003 09:44:24, 40 ms (0%), 1049318 occupied, 23950633 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q5 from e_224 and e_106. e_106: 0=6*p2*q31 - p5*q5 is replaced by e_159: 0=3*p2*q31 - p5*q2 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 : *** Garbage collection starting *** GC 801 2-Oct-2003 09:44:33, 40 ms (0%), 1045650 occupied, 23954299 free *** Garbage collection starting *** GC 802 2-Oct-2003 09:44:42, 50 ms (0%), 1048002 occupied, 23951948 free *** Garbage collection starting *** GC 803 2-Oct-2003 09:44:51, 50 ms (0%), 1049280 occupied, 23950669 free *** Garbage collection starting *** GC 804 2-Oct-2003 09:45:01, 50 ms (0%), 1049610 occupied, 23950340 free *** Garbage collection starting *** GC 805 2-Oct-2003 09:45:11, 40 ms (0%), 1050032 occupied, 23949917 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q7 from e_198 and e_252. e_252: 4 terms, 8 factors, with derivatives of functions of all variables: (q58,q39,q38,q7,p5,p3,p1) is replaced by e_373: 4 terms, 8 factors, with derivatives of functions of all variables: (q58,q39,q38,q2,p5,p3,p1) 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 : *** Garbage collection starting *** GC 806 2-Oct-2003 09:45:21, 40 ms (0%), 1047282 occupied, 23952669 free *** Garbage collection starting *** GC 807 2-Oct-2003 09:45:31, 40 ms (0%), 1049924 occupied, 23950026 free *** Garbage collection starting *** GC 808 2-Oct-2003 09:45:41, 40 ms (0%), 1051218 occupied, 23948733 free *** Garbage collection starting *** GC 809 2-Oct-2003 09:45:51, 40 ms (0%), 1051496 occupied, 23948454 free *** Garbage collection starting *** GC 810 2-Oct-2003 09:46:01, 40 ms (0%), 1051732 occupied, 23948219 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q39 from e_143 and e_229. e_143: 0=(5*q2 + 6*q39)*p5 is replaced by e_75: 0=p5*q2 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 : 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 e_330 is a consequence of e_75. 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 e_45 is a consequence of e_75. 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 : *** Garbage collection starting *** GC 811 2-Oct-2003 09:46:05, 30 ms (0%), 1030578 occupied, 23969373 free *** Garbage collection starting *** GC 812 2-Oct-2003 09:46:10, 30 ms (0%), 1033160 occupied, 23966792 free *** Garbage collection starting *** GC 813 2-Oct-2003 09:46:14, 30 ms (0%), 1033826 occupied, 23966125 free *** Garbage collection starting *** GC 814 2-Oct-2003 09:46:19, 40 ms (0%), 1034250 occupied, 23965702 free *** Garbage collection starting *** GC 815 2-Oct-2003 09:46:23, 40 ms (0%), 1034448 occupied, 23965503 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q7 from e_369 and e_198. e_198: 0=(3*q2 - q7)*p5 is replaced by e_217: 0=p5*q2 e_217 is a consequence of e_75. 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 : *** Garbage collection starting *** GC 816 2-Oct-2003 09:46:28, 30 ms (0%), 1033432 occupied, 23966520 free *** Garbage collection starting *** GC 817 2-Oct-2003 09:46:33, 30 ms (0%), 1034410 occupied, 23965541 free *** Garbage collection starting *** GC 818 2-Oct-2003 09:46:38, 30 ms (0%), 1034754 occupied, 23965198 free *** Garbage collection starting *** GC 819 2-Oct-2003 09:46:43, 40 ms (0%), 1035690 occupied, 23964261 free *** Garbage collection starting *** GC 820 2-Oct-2003 09:46:48, 40 ms (0%), 1036374 occupied, 23963578 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q7 from e_369 and e_238. e_238: 0=(2*q36 + q7)*p5 is replaced by e_133: 0=p5*q36 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 : *** Garbage collection starting *** GC 821 2-Oct-2003 09:46:53, 30 ms (0%), 1032852 occupied, 23967099 free *** Garbage collection starting *** GC 822 2-Oct-2003 09:46:58, 30 ms (0%), 1034540 occupied, 23965412 free *** Garbage collection starting *** GC 823 2-Oct-2003 09:47:04, 30 ms (0%), 1035030 occupied, 23964922 free *** Garbage collection starting *** GC 824 2-Oct-2003 09:47:09, 40 ms (0%), 1035616 occupied, 23964335 free *** Garbage collection starting *** GC 825 2-Oct-2003 09:47:14, 30 ms (0%), 1035806 occupied, 23964146 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q36 from e_133 and e_302. e_302: 0=(3*q36 - 2*q39)*p5 is replaced by e_215: 0=p5*q39 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 : *** Garbage collection starting *** GC 826 2-Oct-2003 09:47:20, 30 ms (0%), 1033682 occupied, 23966269 free *** Garbage collection starting *** GC 827 2-Oct-2003 09:47:25, 30 ms (0%), 1035308 occupied, 23964644 free *** Garbage collection starting *** GC 828 2-Oct-2003 09:47:31, 40 ms (0%), 1035876 occupied, 23964075 free *** Garbage collection starting *** GC 829 2-Oct-2003 09:47:37, 40 ms (0%), 1036694 occupied, 23963258 free *** Garbage collection starting *** GC 830 2-Oct-2003 09:47:43, 30 ms (0%), 1037194 occupied, 23962757 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q39 from e_215 and e_229. e_229: 0=(7*q2 + 3*q39)*p5 is replaced by e_87: 0=p5*q2 e_87 is a consequence of e_75. 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 : *** Garbage collection starting *** GC 831 2-Oct-2003 09:47:49, 40 ms (0%), 1035372 occupied, 23964580 free *** Garbage collection starting *** GC 832 2-Oct-2003 09:47:55, 40 ms (0%), 1036670 occupied, 23963281 free *** Garbage collection starting *** GC 833 2-Oct-2003 09:48:01, 40 ms (0%), 1037040 occupied, 23962912 free *** Garbage collection starting *** GC 834 2-Oct-2003 09:48:07, 40 ms (0%), 1037960 occupied, 23961991 free *** Garbage collection starting *** GC 835 2-Oct-2003 09:48:13, 40 ms (0%), 1038428 occupied, 23961524 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q28 from e_397 and e_284. e_284: 0=(q28 + q55)*p4 is replaced by e_56: 0=p4*q55 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 : *** Garbage collection starting *** GC 836 2-Oct-2003 09:48:19, 30 ms (0%), 1035590 occupied, 23964361 free *** Garbage collection starting *** GC 837 2-Oct-2003 09:48:26, 40 ms (0%), 1037254 occupied, 23962698 free *** Garbage collection starting *** GC 838 2-Oct-2003 09:48:32, 40 ms (0%), 1038928 occupied, 23961023 free *** Garbage collection starting *** GC 839 2-Oct-2003 09:48:39, 40 ms (0%), 1039212 occupied, 23960740 free *** Garbage collection starting *** GC 840 2-Oct-2003 09:48:46, 30 ms (0%), 1039446 occupied, 23960505 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q2 from e_75 and e_97. e_97: 0=(q2 - q9)*p5 is replaced by e_220: 0=p5*q9 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 : *** Garbage collection starting *** GC 841 2-Oct-2003 09:48:52, 40 ms (0%), 1036136 occupied, 23963816 free *** Garbage collection starting *** GC 842 2-Oct-2003 09:48:59, 30 ms (0%), 1037974 occupied, 23961977 free *** Garbage collection starting *** GC 843 2-Oct-2003 09:49:06, 30 ms (0%), 1038526 occupied, 23961426 free *** Garbage collection starting *** GC 844 2-Oct-2003 09:49:14, 40 ms (0%), 1039548 occupied, 23960403 free *** Garbage collection starting *** GC 845 2-Oct-2003 09:49:21, 40 ms (0%), 1040832 occupied, 23959120 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q2 from e_75 and e_224. e_224: 0=(2*q2 - q5)*p5 is replaced by e_386: 0=p5*q5 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 : *** Garbage collection starting *** GC 846 2-Oct-2003 09:49:29, 30 ms (0%), 1036622 occupied, 23963329 free *** Garbage collection starting *** GC 847 2-Oct-2003 09:49:36, 30 ms (0%), 1038284 occupied, 23961668 free *** Garbage collection starting *** GC 848 2-Oct-2003 09:49:44, 30 ms (0%), 1039030 occupied, 23960921 free *** Garbage collection starting *** GC 849 2-Oct-2003 09:49:52, 30 ms (0%), 1039518 occupied, 23960434 free *** Garbage collection starting *** GC 850 2-Oct-2003 09:50:00, 30 ms (0%), 1041426 occupied, 23958525 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q10 from e_278 and e_237. e_237: 0=(q10 - q2)*p5 is replaced by e_63: 0=p5*q2 e_63 is a consequence of e_75. 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 851 2-Oct-2003 09:50:08, 30 ms (0%), 1040300 occupied, 23959649 free *** Garbage collection starting *** GC 852 2-Oct-2003 09:50:17, 40 ms (0%), 1042708 occupied, 23957240 free *** Garbage collection starting *** GC 853 2-Oct-2003 09:50:26, 40 ms (0%), 1043216 occupied, 23956733 free *** Garbage collection starting *** GC 854 2-Oct-2003 09:50:34, 40 ms (0%), 1043706 occupied, 23956242 free *** Garbage collection starting *** GC 855 2-Oct-2003 09:50:44, 30 ms (0%), 1044046 occupied, 23955903 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q2 from e_75 and e_40. e_40: 0=(q2 - q8)*p5 is replaced by e_186: 0=p5*q8 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 : *** Garbage collection starting *** GC 856 2-Oct-2003 09:50:53, 40 ms (0%), 1038648 occupied, 23961302 free *** Garbage collection starting *** GC 857 2-Oct-2003 09:51:03, 40 ms (0%), 1039436 occupied, 23960515 free *** Garbage collection starting *** GC 858 2-Oct-2003 09:51:13, 30 ms (0%), 1040476 occupied, 23959474 free *** Garbage collection starting *** GC 859 2-Oct-2003 09:51:23, 40 ms (0%), 1040718 occupied, 23959233 free *** Garbage collection starting *** GC 860 2-Oct-2003 09:51:34, 40 ms (0%), 1041130 occupied, 23958821 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q2 from e_75 and e_7. e_7: 0=(4*q2 - q4)*p5 is replaced by e_383: 0=p5*q4 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 : *** Garbage collection starting *** GC 861 2-Oct-2003 09:51:44, 40 ms (0%), 1039796 occupied, 23960153 free *** Garbage collection starting *** GC 862 2-Oct-2003 09:51:56, 30 ms (0%), 1041284 occupied, 23958666 free *** Garbage collection starting *** GC 863 2-Oct-2003 09:52:07, 40 ms (0%), 1041706 occupied, 23958243 free *** Garbage collection starting *** GC 864 2-Oct-2003 09:52:19, 30 ms (0%), 1042596 occupied, 23957354 free *** Garbage collection starting *** GC 865 2-Oct-2003 09:52:32, 40 ms (0%), 1043622 occupied, 23956326 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q4 from e_383 and e_351. e_351: 0=(45*q3 + q4 - 4*q9)*p5 is replaced by e_233: 0=(45*q3 - 4*q9)*p5 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 : *** Garbage collection starting *** GC 866 2-Oct-2003 09:52:45, 40 ms (0%), 1041866 occupied, 23958085 free *** Garbage collection starting *** GC 867 2-Oct-2003 09:52:58, 40 ms (0%), 1043942 occupied, 23956008 free *** Garbage collection starting *** GC 868 2-Oct-2003 09:53:12, 40 ms (0%), 1045448 occupied, 23954503 free *** Garbage collection starting *** GC 869 2-Oct-2003 09:53:27, 40 ms (0%), 1046118 occupied, 23953832 free *** Garbage collection starting *** GC 870 2-Oct-2003 09:53:42, 40 ms (0%), 1046506 occupied, 23953445 free Stop of a subroutine. Number of garbage collections exceeds max_gc_short. --- Length reducing decoupling steps : Eliminate q9 from e_220 and e_233. e_233: 0=(45*q3 - 4*q9)*p5 is replaced by e_190: 0=p5*q3 e_190 is a consequence of e_374. 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 871 2-Oct-2003 09:53:59, 40 ms (0%), 1043290 occupied, 23956660 free *** Garbage collection starting *** GC 872 2-Oct-2003 09:54:16, 40 ms (0%), 1043910 occupied, 23956041 free *** Garbage collection starting *** GC 873 2-Oct-2003 09:54:35, 40 ms (0%), 1045080 occupied, 23954870 free *** Garbage collection starting *** GC 874 2-Oct-2003 09:54:55, 40 ms (0%), 1045532 occupied, 23954419 free --- Length reducing decoupling steps : *** Garbage collection starting *** GC 875 2-Oct-2003 09:55:13, 40 ms (0%), 1050751 occupied, 23949198 free *** Garbage collection starting *** GC 876 2-Oct-2003 09:55:27, 40 ms (0%), 1057315 occupied, 23942630 free Eliminate q53 from e_53 and e_5. e_5: 6 terms, 12 factors, with derivatives of functions of all variables: (q53,q51,q48,q26,q25,q23,p5,p4,p1) is replaced by e_89: 6 terms, 12 factors, with derivatives of functions of all variables: (q51,q50,q48,q26,q25,q23,p5,p4,p1) ***** PREMATURE STOP DUE TO TIME CONSTRAINT! Time: 3705700 ms plus GC time: 31700 ms 4: Time: 0 ms 5: 5: n Time: 0 ms 6: Quitting