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: "bu433-9-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 N1f0b2t11s14w45. ####### The system: 3 b(1) =b(2) *p24 + Db(2)*Db(1)*b(1)*p17 + Db(2) *Db(1)*p25 + Db(2) *Db(1) *p27 t 2x x x + Db(1) *Db(2)*p26 + b(2) *p28 + b(2) *b(1)*p18 + b(2) *b(1) *p20 2x 5x 3x 2x x 2 + b(2) *b(1) *p22 + b(2) *b(1) *p21 + b(1) *b(2)*p19 + b(1) *b(2)*b(1)*p23 x x 2x 3x x 4 b(2) =b(1) *p12 + Db(2)*Db(1)*b(2)*p1 + Db(2) *Db(2)*p14 + Db(1) *Db(1)*p13 t 2x 3x + Db(1) *Db(1) *p15 + Db(1) *Db(1)*b(1)*p2 + b(2) *b(2)*p4 + b(2) *b(2) *p6 2x x x 3x 2x x + b(2) *b(2)*b(1)*p9 + b(1) *p16 + b(1) *b(1)*p3 + b(1) *b(1) *p5 x 6x 4x 3x x 2 2 2 2 + b(1) *p8 + b(1) *b(1) *p7 + b(1) *b(1)*p11 + b(1) *b(2) *p10 2x 2x x 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,p27,p26,p25,p17,p15,p14,p13,p2,p1} {p16,p15,p13,p12,p11,p10,p9,p8,p7,p5,p3,p2,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} {p28,p27,p26,p25,p24,p23,p22,p21,p20,p19,p18,p17} 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)=p28*b(2) 5x df(b(2),t)=p16*b(1) 6x 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)=p28*b(2) 5x df(b(2),t)=p16*b(1) 6x 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)=Db(2) *Db(1)*p25 + Db(2) *Db(1) *p27 + Db(1) *Db(2)*p26 2x x x 2x + b(2) *b(1)*p18 + b(2) *b(1) *p20 + b(2) *b(1) *p21 3x 2x x x 2x + b(1) *b(2)*p19 3x df(b(2),t)=Db(2) *Db(2)*p14 + Db(1) *Db(1)*p13 + Db(1) *Db(1) *p15 2x 3x 2x x + b(2) *b(2)*p4 + b(2) *b(2) *p6 + b(1) *b(1)*p3 3x 2x x 4x 2 + b(1) *b(1) *p5 + b(1) *p8 3x x 2x df(b(1),s)=q59*b(1) 7x df(b(2),s)=q33*b(2) 7x *** Garbage collection starting *** GC 1 9-Oct-2003 16:47:15, 30 ms (1%), 930563 occupied, 24069389 free 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)=p28*b(2) 5x df(b(2),t)=p16*b(1) 6x 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 Pairing now degree 2 terms from the system with degree 2 terms from the symmetry df(b(1),t)=Db(2) *Db(1)*p25 + Db(2) *Db(1) *p27 + Db(1) *Db(2)*p26 2x x x 2x + b(2) *b(1)*p18 + b(2) *b(1) *p20 + b(2) *b(1) *p21 3x 2x x x 2x + b(1) *b(2)*p19 3x df(b(2),t)=Db(2) *Db(2)*p14 + Db(1) *Db(1)*p13 + Db(1) *Db(1) *p15 2x 3x 2x x + b(2) *b(2)*p4 + b(2) *b(2) *p6 + b(1) *b(1)*p3 3x 2x x 4x 2 + b(1) *b(1) *p5 + b(1) *p8 3x x 2x 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 *** Garbage collection starting *** GC 2 9-Oct-2003 16:47:21, 30 ms (0%), 1020115 occupied, 23979837 free *** Garbage collection starting *** GC 3 9-Oct-2003 16:49:10, 20 ms (0%), 960965 occupied, 24038987 free *** Garbage collection starting *** GC 4 9-Oct-2003 16:50:58, 50 ms (0%), 1295537 occupied, 23704415 free Pairing now degree 3 terms from the system with degree 1 terms from the symmetry 3 2 df(b(1),t)=b(2) *p24 + Db(2)*Db(1)*b(1)*p17 + b(2) *b(1) *p22 x + b(1) *b(2)*b(1)*p23 x df(b(2),t)=Db(2)*Db(1)*b(2)*p1 + Db(1) *Db(1)*b(1)*p2 + b(2) *b(2)*b(1)*p9 x x 2 2 2 + b(1) *b(1) *p7 + b(1) *b(1)*p11 + b(1) *b(2) *p10 2x x x df(b(1),s)=q59*b(1) 7x df(b(2),s)=q33*b(2) 7x *** Garbage collection starting *** GC 5 9-Oct-2003 16:52:25, 30 ms (0%), 1032343 occupied, 23967609 free *** Garbage collection starting *** GC 6 9-Oct-2003 16:53:32, 40 ms (0%), 1096239 occupied, 23903713 free *** Garbage collection starting *** GC 7 9-Oct-2003 16:54:52, 30 ms (0%), 1061109 occupied, 23938843 free *** Garbage collection starting *** GC 8 9-Oct-2003 16:56:28, 30 ms (0%), 1022531 occupied, 23977421 free Generating all terms of total degree 5 Pairing now degree 1 terms from the system with degree 4 terms from the symmetry df(b(1),t)=p28*b(2) 5x df(b(2),t)=p16*b(1) 6x 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)=Db(2) *Db(1)*p25 + Db(2) *Db(1) *p27 + Db(1) *Db(2)*p26 2x x x 2x + b(2) *b(1)*p18 + b(2) *b(1) *p20 + b(2) *b(1) *p21 3x 2x x x 2x + b(1) *b(2)*p19 3x df(b(2),t)=Db(2) *Db(2)*p14 + Db(1) *Db(1)*p13 + Db(1) *Db(1) *p15 2x 3x 2x x + b(2) *b(2)*p4 + b(2) *b(2) *p6 + b(1) *b(1)*p3 3x 2x x 4x 2 + b(1) *b(1) *p5 + b(1) *p8 3x x 2x 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 9 9-Oct-2003 16:57:45, 30 ms (0%), 979903 occupied, 24020049 free *** Garbage collection starting *** GC 10 9-Oct-2003 16:57:58, 40 ms (0%), 1090711 occupied, 23909240 free *** Garbage collection starting *** GC 11 9-Oct-2003 17:00:11, 50 ms (0%), 1309743 occupied, 23690208 free *** Garbage collection starting *** GC 12 9-Oct-2003 17:03:20, 30 ms (0%), 1004227 occupied, 23995725 free *** Garbage collection starting *** GC 13 9-Oct-2003 17:03:34, 30 ms (0%), 1118309 occupied, 23881643 free *** Garbage collection starting *** GC 14 9-Oct-2003 17:05:09, 50 ms (0%), 1297465 occupied, 23702486 free *** Garbage collection starting *** GC 15 9-Oct-2003 17:07:52, 70 ms (0%), 1499841 occupied, 23500110 free *** Garbage collection starting *** GC 16 9-Oct-2003 17:12:01, 80 ms (0%), 1667419 occupied, 23332530 free Pairing now degree 3 terms from the system with degree 2 terms from the symmetry 3 2 df(b(1),t)=b(2) *p24 + Db(2)*Db(1)*b(1)*p17 + b(2) *b(1) *p22 x + b(1) *b(2)*b(1)*p23 x df(b(2),t)=Db(2)*Db(1)*b(2)*p1 + Db(1) *Db(1)*b(1)*p2 + b(2) *b(2)*b(1)*p9 x x 2 2 2 + b(1) *b(1) *p7 + b(1) *b(1)*p11 + b(1) *b(2) *p10 2x x 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 *** Garbage collection starting *** GC 17 9-Oct-2003 17:13:29, 40 ms (0%), 1140105 occupied, 23859847 free *** Garbage collection starting *** GC 18 9-Oct-2003 17:16:05, 50 ms (0%), 1370597 occupied, 23629355 free *** Garbage collection starting *** GC 19 9-Oct-2003 17:19:05, 50 ms (0%), 1220167 occupied, 23779785 free *** Garbage collection starting *** GC 20 9-Oct-2003 17:21:06, 40 ms (0%), 1204287 occupied, 23795665 free *** Garbage collection starting *** GC 21 9-Oct-2003 17:23:59, 50 ms (0%), 1400725 occupied, 23599227 free *** Garbage collection starting *** GC 22 9-Oct-2003 17:28:43, 80 ms (0%), 1557875 occupied, 23442077 free *** Garbage collection starting *** GC 23 9-Oct-2003 17:32:33, 50 ms (0%), 1288863 occupied, 23711089 free Pairing now degree 4 terms from the system with degree 1 terms from the symmetry df(b(1),t)=0 4 df(b(2),t)=b(1) *p12 df(b(1),s)=q59*b(1) 7x df(b(2),s)=q33*b(2) 7x *** Garbage collection starting *** GC 24 9-Oct-2003 17:34:49, 40 ms (0%), 1204669 occupied, 23795283 free *** Garbage collection starting *** GC 25 9-Oct-2003 17:37:59, 50 ms (0%), 1360389 occupied, 23639563 free *** Garbage collection starting *** GC 26 9-Oct-2003 17:41:21, 40 ms (0%), 1267051 occupied, 23732901 free *** Garbage collection starting *** GC 27 9-Oct-2003 17:44:22, 40 ms (0%), 1187361 occupied, 23812591 free *** Garbage collection starting *** GC 28 9-Oct-2003 17:48:07, 40 ms (0%), 1171765 occupied, 23828187 free *** Garbage collection starting *** GC 29 9-Oct-2003 17:54:45, 60 ms (0%), 1531695 occupied, 23468228 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)=Db(2) *Db(1)*p25 + Db(2) *Db(1) *p27 + Db(1) *Db(2)*p26 2x x x 2x + b(2) *b(1)*p18 + b(2) *b(1) *p20 + b(2) *b(1) *p21 3x 2x x x 2x + b(1) *b(2)*p19 3x df(b(2),t)=Db(2) *Db(2)*p14 + Db(1) *Db(1)*p13 + Db(1) *Db(1) *p15 2x 3x 2x x + b(2) *b(2)*p4 + b(2) *b(2) *p6 + b(1) *b(1)*p3 3x 2x x 4x 2 + b(1) *b(1) *p5 + b(1) *p8 3x x 2x 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 3 terms from the system with degree 3 terms from the symmetry *** Garbage collection starting *** GC 30 9-Oct-2003 17:56:04, 30 ms (0%), 1079619 occupied, 23920304 free 3 2 df(b(1),t)=b(2) *p24 + Db(2)*Db(1)*b(1)*p17 + b(2) *b(1) *p22 x + b(1) *b(2)*b(1)*p23 x df(b(2),t)=Db(2)*Db(1)*b(2)*p1 + Db(1) *Db(1)*b(1)*p2 + b(2) *b(2)*b(1)*p9 x x 2 2 2 + b(1) *b(1) *p7 + b(1) *b(1)*p11 + b(1) *b(2) *p10 2x x 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 31 9-Oct-2003 17:56:33, 40 ms (0%), 1172199 occupied, 23827723 free Pairing now degree 4 terms from the system with degree 2 terms from the symmetry df(b(1),t)=0 4 df(b(2),t)=b(1) *p12 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 *** Garbage collection starting *** GC 32 9-Oct-2003 17:57:47, 40 ms (0%), 1167999 occupied, 23831924 free *** Garbage collection starting *** GC 33 9-Oct-2003 17:59:17, 40 ms (0%), 1338651 occupied, 23661272 free *** Garbage collection starting *** GC 34 9-Oct-2003 18:06:21, 70 ms (0%), 1625305 occupied, 23374618 free Generating all terms of total degree 7 Pairing now degree 3 terms from the system with degree 4 terms from the symmetry 3 2 df(b(1),t)=b(2) *p24 + Db(2)*Db(1)*b(1)*p17 + b(2) *b(1) *p22 x + b(1) *b(2)*b(1)*p23 x df(b(2),t)=Db(2)*Db(1)*b(2)*p1 + Db(1) *Db(1)*b(1)*p2 + b(2) *b(2)*b(1)*p9 x x 2 2 2 + b(1) *b(1) *p7 + b(1) *b(1)*p11 + b(1) *b(2) *p10 2x x 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 Pairing now degree 4 terms from the system with degree 3 terms from the symmetry df(b(1),t)=0 4 df(b(2),t)=b(1) *p12 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 35 9-Oct-2003 18:10:19, 40 ms (0%), 1162603 occupied, 23837349 free *** Garbage collection starting *** GC 36 9-Oct-2003 18:17:18, 60 ms (0%), 1641417 occupied, 23358535 free Generating all terms of total degree 8 Pairing now degree 4 terms from the system with degree 4 terms from the symmetry df(b(1),t)=0 4 df(b(2),t)=b(1) *p12 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 *** Garbage collection starting *** GC 37 9-Oct-2003 18:23:19, 50 ms (0%), 1362375 occupied, 23637577 free *** Garbage collection starting *** GC 38 9-Oct-2003 18:31:20, 70 ms (0%), 1723235 occupied, 23276717 free Now crack is called. *** Garbage collection starting *** GC 39 9-Oct-2003 18:37:17, 70 ms (0%), 1536911 occupied, 23463041 free *** Garbage collection starting *** GC 40 9-Oct-2003 18:45:42, 70 ms (0%), 1761857 occupied, 23238095 free ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ This is CRACK - a solver for overdetermined partial differential equations Enter `h' for help. The list of inequalities got extended by: An expression with 34 terms The list of inequalities got extended by: An expression with 13 terms 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: An expression with 12 terms *** Garbage collection starting *** GC 41 9-Oct-2003 18:45:46, 50 ms (0%), 1392512 occupied, 23607440 free *** Garbage collection starting *** GC 42 9-Oct-2003 18:46:06, 60 ms (0%), 1442860 occupied, 23557092 free *** Garbage collection starting *** GC 43 9-Oct-2003 18:46:29, 70 ms (0%), 1584208 occupied, 23415744 free *** Garbage collection starting *** GC 44 9-Oct-2003 18:46:58, 70 ms (0%), 1747364 occupied, 23252588 free *** Garbage collection starting *** GC 45 9-Oct-2003 18:47:52, 50 ms (0%), 1413570 occupied, 23586382 free *** Garbage collection starting *** GC 46 9-Oct-2003 18:48:28, 60 ms (0%), 1495684 occupied, 23504268 free *** Garbage collection starting *** GC 47 9-Oct-2003 18:49:32, 70 ms (0%), 1650620 occupied, 23349332 free *** Garbage collection starting *** GC 48 9-Oct-2003 18:50:38, 80 ms (0%), 1802340 occupied, 23197612 free *** Garbage collection starting *** GC 49 9-Oct-2003 18:51:45, 90 ms (0%), 1950886 occupied, 23049066 free *** Garbage collection starting *** GC 50 9-Oct-2003 18:52:52, 100 ms (0%), 2089984 occupied, 22909968 free *** Garbage collection starting *** GC 51 9-Oct-2003 18:54:00, 100 ms (0%), 2221924 occupied, 22778028 free *** Garbage collection starting *** GC 52 9-Oct-2003 18:55:10, 110 ms (0%), 2350002 occupied, 22649950 free *** Garbage collection starting *** GC 53 9-Oct-2003 18:56:25, 120 ms (0%), 2462876 occupied, 22537076 free *** Garbage collection starting *** GC 54 9-Oct-2003 18:57:50, 50 ms (0%), 1467194 occupied, 23532758 free *** Garbage collection starting *** GC 55 9-Oct-2003 19:00:18, 60 ms (0%), 1600044 occupied, 23399908 free *** Garbage collection starting *** GC 56 9-Oct-2003 19:02:52, 60 ms (0%), 1638232 occupied, 23361720 free *** Garbage collection starting *** GC 57 9-Oct-2003 19:03:33, 60 ms (0%), 1485656 occupied, 23514296 free *** Garbage collection starting *** GC 58 9-Oct-2003 19:05:01, 60 ms (0%), 1567392 occupied, 23432560 free *** Garbage collection starting *** GC 59 9-Oct-2003 19:07:14, 70 ms (0%), 1609336 occupied, 23390616 free *** Garbage collection starting *** GC 60 9-Oct-2003 19:09:25, 70 ms (0%), 1685094 occupied, 23314858 free *** Garbage collection starting *** GC 61 9-Oct-2003 19:11:36, 70 ms (0%), 1761842 occupied, 23238110 free *** Garbage collection starting *** GC 62 9-Oct-2003 19:13:47, 80 ms (0%), 1830472 occupied, 23169480 free *** Garbage collection starting *** GC 63 9-Oct-2003 19:15:57, 80 ms (0%), 1913174 occupied, 23086778 free *** Garbage collection starting *** GC 64 9-Oct-2003 19:18:08, 90 ms (0%), 1983782 occupied, 23016170 free *** Garbage collection starting *** GC 65 9-Oct-2003 19:20:19, 100 ms (0%), 2050340 occupied, 22949612 free *** Garbage collection starting *** GC 66 9-Oct-2003 19:22:29, 100 ms (0%), 2123722 occupied, 22876230 free *** Garbage collection starting *** GC 67 9-Oct-2003 19:24:40, 100 ms (0%), 2188978 occupied, 22810974 free *** Garbage collection starting *** GC 68 9-Oct-2003 19:26:51, 110 ms (0%), 2251530 occupied, 22748422 free *** Garbage collection starting *** GC 69 9-Oct-2003 19:29:01, 110 ms (0%), 2310962 occupied, 22688990 free *** Garbage collection starting *** GC 70 9-Oct-2003 19:31:10, 110 ms (0%), 2374182 occupied, 22625770 free *** Garbage collection starting *** GC 71 9-Oct-2003 19:33:19, 120 ms (0%), 2437844 occupied, 22562108 free *** Garbage collection starting *** GC 72 9-Oct-2003 19:35:30, 120 ms (0%), 2498716 occupied, 22501236 free *** Garbage collection starting *** GC 73 9-Oct-2003 19:37:41, 130 ms (0%), 2549972 occupied, 22449980 free *** Garbage collection starting *** GC 74 9-Oct-2003 19:39:52, 120 ms (0%), 2598936 occupied, 22401016 free *** Garbage collection starting *** GC 75 9-Oct-2003 19:42:04, 130 ms (0%), 2640652 occupied, 22359300 free *** Garbage collection starting *** GC 76 9-Oct-2003 19:43:47, 140 ms (0%), 2911354 occupied, 22088598 free *** Garbage collection starting *** GC 77 9-Oct-2003 19:47:07, 60 ms (0%), 1604276 occupied, 23395676 free *** Garbage collection starting *** GC 78 9-Oct-2003 19:50:16, 70 ms (0%), 1661482 occupied, 23338470 free *** Garbage collection starting *** GC 79 9-Oct-2003 19:52:47, 70 ms (0%), 1671708 occupied, 23328244 free *** Garbage collection starting *** GC 80 9-Oct-2003 19:55:31, 70 ms (0%), 1613198 occupied, 23386754 free *** Garbage collection starting *** GC 81 9-Oct-2003 19:58:30, 80 ms (0%), 1704534 occupied, 23295418 free *** Garbage collection starting *** GC 82 9-Oct-2003 20:01:27, 80 ms (0%), 1750426 occupied, 23249522 free *** Garbage collection starting *** GC 83 9-Oct-2003 20:04:26, 80 ms (0%), 1816950 occupied, 23182998 free *** Garbage collection starting *** GC 84 9-Oct-2003 20:07:24, 90 ms (0%), 1883136 occupied, 23116812 free *** Garbage collection starting *** GC 85 9-Oct-2003 20:10:22, 90 ms (0%), 1947238 occupied, 23052710 free *** Garbage collection starting *** GC 86 9-Oct-2003 20:13:20, 90 ms (0%), 2011332 occupied, 22988616 free *** Garbage collection starting *** GC 87 9-Oct-2003 20:16:17, 90 ms (0%), 2076142 occupied, 22923806 free *** Garbage collection starting *** GC 88 9-Oct-2003 20:19:14, 110 ms (0%), 2139574 occupied, 22860374 free *** Garbage collection starting *** GC 89 9-Oct-2003 20:22:11, 100 ms (0%), 2202044 occupied, 22797904 free *** Garbage collection starting *** GC 90 9-Oct-2003 20:25:05, 110 ms (0%), 2281346 occupied, 22718602 free *** Garbage collection starting *** GC 91 9-Oct-2003 20:28:01, 120 ms (0%), 2342000 occupied, 22657948 free *** Garbage collection starting *** GC 92 9-Oct-2003 20:30:57, 120 ms (0%), 2402722 occupied, 22597226 free *** Garbage collection starting *** GC 93 9-Oct-2003 20:33:52, 120 ms (0%), 2462316 occupied, 22537630 free *** Garbage collection starting *** GC 94 9-Oct-2003 20:36:46, 120 ms (0%), 2532152 occupied, 22467796 free *** Garbage collection starting *** GC 95 9-Oct-2003 20:39:41, 130 ms (0%), 2590276 occupied, 22409672 free *** Garbage collection starting *** GC 96 9-Oct-2003 20:42:36, 130 ms (0%), 2647776 occupied, 22352172 free *** Garbage collection starting *** GC 97 9-Oct-2003 20:45:31, 140 ms (0%), 2704392 occupied, 22295556 free *** Garbage collection starting *** GC 98 9-Oct-2003 20:48:22, 140 ms (0%), 2777468 occupied, 22222480 free *** Garbage collection starting *** GC 99 9-Oct-2003 20:51:16, 140 ms (0%), 2833794 occupied, 22166154 free *** Garbage collection starting *** GC 100 9-Oct-2003 20:54:09, 150 ms (0%), 2887882 occupied, 22112066 free *** Garbage collection starting *** GC 101 9-Oct-2003 20:57:02, 150 ms (0%), 2950652 occupied, 22049296 free *** Garbage collection starting *** GC 102 9-Oct-2003 20:59:55, 160 ms (0%), 3003808 occupied, 21996140 free *** Garbage collection starting *** GC 103 9-Oct-2003 21:02:46, 170 ms (0%), 3081836 occupied, 21918112 free *** Garbage collection starting *** GC 104 9-Oct-2003 21:05:39, 160 ms (0%), 3121722 occupied, 21878226 free *** Garbage collection starting *** GC 105 9-Oct-2003 21:08:31, 170 ms (0%), 3180158 occupied, 21819790 free *** Garbage collection starting *** GC 106 9-Oct-2003 21:11:22, 180 ms (0%), 3242164 occupied, 21757784 free *** Garbage collection starting *** GC 107 9-Oct-2003 21:14:14, 170 ms (0%), 3294724 occupied, 21705223 free *** Garbage collection starting *** GC 108 9-Oct-2003 21:17:06, 180 ms (0%), 3351150 occupied, 21648797 free *** Garbage collection starting *** GC 109 9-Oct-2003 21:19:57, 180 ms (0%), 3415166 occupied, 21584781 free *** Garbage collection starting *** GC 110 9-Oct-2003 21:22:47, 190 ms (0%), 3477900 occupied, 21522047 free *** Garbage collection starting *** GC 111 9-Oct-2003 21:25:38, 190 ms (0%), 3535956 occupied, 21463991 free *** Garbage collection starting *** GC 112 9-Oct-2003 21:28:29, 200 ms (0%), 3586280 occupied, 21413667 free *** Garbage collection starting *** GC 113 9-Oct-2003 21:31:19, 190 ms (0%), 3645000 occupied, 21354947 free *** Garbage collection starting *** GC 114 9-Oct-2003 21:34:11, 200 ms (0%), 3693640 occupied, 21306307 free *** Garbage collection starting *** GC 115 9-Oct-2003 21:37:03, 200 ms (0%), 3737626 occupied, 21262321 free *** Garbage collection starting *** GC 116 9-Oct-2003 21:39:55, 200 ms (0%), 3780038 occupied, 21219909 free *** Garbage collection starting *** GC 117 9-Oct-2003 21:42:47, 210 ms (0%), 3813458 occupied, 21186489 free *** Garbage collection starting *** GC 118 9-Oct-2003 21:43:47, 220 ms (0%), 4139698 occupied, 20860249 free *** Garbage collection starting *** GC 119 9-Oct-2003 21:48:23, 230 ms (0%), 4195660 occupied, 20804287 free *** Garbage collection starting *** GC 120 9-Oct-2003 21:49:38, 60 ms (0%), 1540376 occupied, 23459576 free *** Garbage collection starting *** GC 121 9-Oct-2003 21:50:35, 60 ms (0%), 1561030 occupied, 23438922 free *** Garbage collection starting *** GC 122 9-Oct-2003 21:51:45, 60 ms (0%), 1568862 occupied, 23431090 free *** Garbage collection starting *** GC 123 9-Oct-2003 21:52:59, 60 ms (0%), 1609802 occupied, 23390150 free *** Garbage collection starting *** GC 124 9-Oct-2003 21:54:13, 70 ms (0%), 1654162 occupied, 23345790 free *** Garbage collection starting *** GC 125 9-Oct-2003 21:55:26, 80 ms (0%), 1702288 occupied, 23297664 free *** Garbage collection starting *** GC 126 9-Oct-2003 21:56:40, 70 ms (0%), 1749716 occupied, 23250236 free *** Garbage collection starting *** GC 127 9-Oct-2003 21:57:54, 80 ms (0%), 1794678 occupied, 23205274 free *** Garbage collection starting *** GC 128 9-Oct-2003 21:59:08, 80 ms (0%), 1838946 occupied, 23161006 free *** Garbage collection starting *** GC 129 9-Oct-2003 22:00:22, 80 ms (0%), 1881654 occupied, 23118298 free *** Garbage collection starting *** GC 130 9-Oct-2003 22:01:36, 90 ms (0%), 1924084 occupied, 23075868 free *** Garbage collection starting *** GC 131 9-Oct-2003 22:02:49, 90 ms (0%), 1964992 occupied, 23034960 free *** Garbage collection starting *** GC 132 9-Oct-2003 22:04:06, 90 ms (0%), 2003774 occupied, 22996178 free *** Garbage collection starting *** GC 133 9-Oct-2003 22:05:26, 100 ms (0%), 2038220 occupied, 22961732 free *** Garbage collection starting *** GC 134 9-Oct-2003 22:07:03, 60 ms (0%), 1550254 occupied, 23449698 free *** Garbage collection starting *** GC 135 9-Oct-2003 22:08:28, 60 ms (0%), 1599796 occupied, 23400156 free *** Garbage collection starting *** GC 136 9-Oct-2003 22:09:40, 70 ms (0%), 1602966 occupied, 23396986 free *** Garbage collection starting *** GC 137 9-Oct-2003 22:11:06, 70 ms (0%), 1618266 occupied, 23381686 free *** Garbage collection starting *** GC 138 9-Oct-2003 22:12:36, 70 ms (0%), 1656488 occupied, 23343464 free *** Garbage collection starting *** GC 139 9-Oct-2003 22:14:06, 70 ms (0%), 1698176 occupied, 23301776 free *** Garbage collection starting *** GC 140 9-Oct-2003 22:15:35, 80 ms (0%), 1740406 occupied, 23259546 free *** Garbage collection starting *** GC 141 9-Oct-2003 22:17:05, 80 ms (0%), 1790584 occupied, 23209368 free *** Garbage collection starting *** GC 142 9-Oct-2003 22:18:36, 80 ms (0%), 1830266 occupied, 23169686 free *** Garbage collection starting *** GC 143 9-Oct-2003 22:20:06, 90 ms (0%), 1871372 occupied, 23128580 free *** Garbage collection starting *** GC 144 9-Oct-2003 22:21:37, 80 ms (0%), 1918222 occupied, 23081730 free *** Garbage collection starting *** GC 145 9-Oct-2003 22:23:08, 90 ms (0%), 1964104 occupied, 23035848 free *** Garbage collection starting *** GC 146 9-Oct-2003 22:24:40, 90 ms (0%), 2000028 occupied, 22999924 free *** Garbage collection starting *** GC 147 9-Oct-2003 22:26:12, 90 ms (0%), 2043380 occupied, 22956572 free *** Garbage collection starting *** GC 148 9-Oct-2003 22:27:44, 90 ms (0%), 2085056 occupied, 22914896 free *** Garbage collection starting *** GC 149 9-Oct-2003 22:29:16, 90 ms (0%), 2126002 occupied, 22873950 free *** Garbage collection starting *** GC 150 9-Oct-2003 22:30:49, 100 ms (0%), 2164996 occupied, 22834956 free *** Garbage collection starting *** GC 151 9-Oct-2003 22:32:22, 100 ms (0%), 2205816 occupied, 22794136 free *** Garbage collection starting *** GC 152 9-Oct-2003 22:33:56, 100 ms (0%), 2243414 occupied, 22756538 free *** Garbage collection starting *** GC 153 9-Oct-2003 22:35:30, 110 ms (0%), 2288858 occupied, 22711094 free *** Garbage collection starting *** GC 154 9-Oct-2003 22:36:53, 120 ms (0%), 2443078 occupied, 22556874 free *** Garbage collection starting *** GC 155 9-Oct-2003 22:38:27, 60 ms (0%), 1528392 occupied, 23471560 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 b(2) b(1)*b(1) x Separation of e_2 yields (e_16 e_15) Step 2: separation w.r.t. x linear independent expressions : 5 b(2) 2 b(1)*b(2) *Db(1)*Db(2) 2 b(1) *b(1) *Db(1)*Db(2) x 3 b(1) *Db(1)*Db(2) x 3 b(1) *Db(2)*Db(1) x 2 b(1) *b(2)*Db(1)*Db(1) x 4 b(1) *b(2) 2x 2 2 b(1) *b(2) *b(2) x 3 b(1) *b(1) *b(2) x x 3 b(1) *b(2)*b(1) 2x 2 2 b(1) *b(2)*b(1) x 3 b(1)*b(2) *b(1) x *** Garbage collection starting *** GC 156 9-Oct-2003 22:38:30, 50 ms (0%), 1518184 occupied, 23481767 free Separation of e_3 yields (e_28 e_24 e_22 e_27 e_23 e_19 e_25 e_21 e_18 e_26 e_17 e_20) Step 3: separation w.r.t. x linear independent expressions : Db(2)*Db(2) 9x Db(2) *Db(2) x 8x Db(2) *Db(2) 2x 7x Db(2) *Db(2) 3x 6x Db(2) *Db(2) 4x 5x Db(1)*Db(1) 10x Db(1) *Db(1) x 9x Db(1) *Db(1) 2x 8x Db(1) *Db(1) 3x 7x Db(1) *Db(1) 4x 6x b(2)*b(2) 10x b(2) *b(2) x 9x b(2) *b(2) 2x 8x b(2) *b(2) 3x 7x b(2) *b(2) 4x 6x 2 b(2) 5x b(1)*b(1) 11x b(1) *b(1) x 10x b(1) *b(1) 2x 9x b(1) *b(1) 3x 8x b(1) *b(1) 4x 7x b(1) *b(1) 5x 6x *** Garbage collection starting *** GC 157 9-Oct-2003 22:38:32, 60 ms (0%), 1522242 occupied, 23477710 free Separation of e_12 yields (e_50 e_40 e_49 e_48 e_47 e_46 e_45 e_39 e_34 e_41 e_44 e_43 e_42 e_38 e_37 e_36 e_35 e_33 e_29 e_32 e_31 e_30) Step 4: separation w.r.t. x linear independent expressions : 6 b(2) 3 b(1)*b(2) *Db(1)*Db(2) 3 b(1) *b(2) *Db(1)*Db(2) x 2 b(1) *b(2)*b(1) *Db(1)*Db(2) x 4 b(1) *Db(2)*Db(2) x 3 b(1) *b(2)*Db(1)*Db(2) x 4 b(1) *Db(1)*Db(1) 2x 3 b(1) *b(2)*Db(2)*Db(1) x 2 2 b(1) *b(2) *Db(1)*Db(1) x 3 b(1) *b(1) *Db(1)*Db(1) x x 4 b(1) *b(2)*b(2) 2x 4 2 b(1) *b(2) x 2 3 b(1) *b(2) *b(2) x 3 b(1) *b(2)*b(1) *b(2) x x 5 b(1) *b(1) 3x 3 2 b(1) *b(2) *b(1) 2x 4 b(1) *b(1) *b(1) x 2x 3 3 b(1) *b(1) x 2 2 2 b(1) *b(2) *b(1) x 4 b(1)*b(2) *b(1) x *** Garbage collection starting *** GC 158 9-Oct-2003 22:38:35, 60 ms (0%), 1531884 occupied, 23468068 free Separation of e_4 yields (e_70 e_66 e_69 e_65 e_62 e_60 e_59 e_68 e_56 e_51 e_58 e_67 e_64 e_63 e_55 e_53 e_52 e_57 e_54 e_61) Step 5: separation w.r.t. x linear independent expressions : Db(1)*Db(2) 9x Db(1) *Db(2) x 8x Db(1) *Db(2) 2x 7x Db(1) *Db(2) 3x 6x Db(1) *Db(2) 4x 5x Db(1) *Db(2) 5x 4x Db(1) *Db(2) 6x 3x Db(1) *Db(2) 7x 2x Db(1) *Db(2) 8x x Db(2)*Db(1) 9x b(1)*b(2) 10x b(1) *b(2) x 9x b(1) *b(2) 2x 8x b(1) *b(2) 3x 7x b(1) *b(2) 4x 6x b(1) *b(2) 5x 5x b(1) *b(2) 6x 4x b(1) *b(2) 7x 3x b(1) *b(2) 8x 2x b(1) *b(2) 9x x b(2)*b(1) 10x *** Garbage collection starting *** GC 159 9-Oct-2003 22:38:37, 60 ms (0%), 1536400 occupied, 23463552 free Separation of e_11 yields (e_82 e_71 e_91 e_83 e_81 e_72 e_90 e_84 e_80 e_73 e_89 e_88 e_86 e_85 e_79 e_74 e_87 e_78 e_77 e_75 e_76) e_82 is a consequence of e_50. e_71 is a consequence of e_40. Step 6: separation w.r.t. x linear independent expressions : b(1)*b(2)*b(2) *Db(1)*Db(2) 2x 2 b(1)*b(2) *Db(1)*Db(2) x b(2)*b(1) *b(2) *Db(1)*Db(2) x x 2 b(1) *b(1) *Db(1)*Db(2) 3x 2 b(2) *b(1) *Db(1)*Db(2) 2x b(1)*b(1) *b(1) *Db(1)*Db(2) x 2x 3 b(1) *Db(1)*Db(2) x 3 b(1) *Db(1)*Db(2) 3x 2 b(1) *b(2)*Db(2)*Db(2) 2x 2 b(1)*b(2) *Db(1)*Db(2) 2x 2 b(1) *b(1) *Db(1)*Db(2) x 2x 3 b(1) *Db(1) *Db(2) x 2x 3 b(2) *Db(2)*Db(2) x 2 b(1) *b(2) *Db(2)*Db(2) x x b(1)*b(2)*b(1) *Db(2)*Db(2) x x b(1)*b(2)*b(2) *Db(1)*Db(2) x x 2 b(1) *b(1) *Db(1)*Db(2) 2x x 2 b(1)*b(1) *Db(1)*Db(2) x x 2 b(2) *b(1) *Db(1)*Db(2) x x 3 b(1) *Db(1) *Db(2) 2x x 2 b(1)*b(2) *Db(1) *Db(2) x x 2 b(1) *b(1) *Db(1) *Db(2) x x x 3 b(1) *Db(2)*Db(1) 3x 2 b(1) *b(2)*Db(1)*Db(1) 3x 2 b(1)*b(2) *Db(2)*Db(1) 2x 2 b(1) *b(1) *Db(2)*Db(1) x 2x 3 b(2) *Db(1)*Db(1) 2x 2 b(1) *b(2) *Db(1)*Db(1) x 2x b(1)*b(2)*b(1) *Db(1)*Db(1) x 2x 2 b(1) *b(2)*Db(1) *Db(1) x 2x b(1)*b(2)*b(2) *Db(2)*Db(1) x x 2 b(1) *b(1) *Db(2)*Db(1) 2x x 2 b(1)*b(1) *Db(2)*Db(1) x x 2 b(2) *b(1) *Db(2)*Db(1) x x 2 b(1) *b(2) *Db(1)*Db(1) 2x x 2 b(2) *b(2) *Db(1)*Db(1) x x b(1)*b(1) *b(2) *Db(1)*Db(1) x x x b(1)*b(2)*b(1) *Db(1)*Db(1) 2x x 2 b(2)*b(1) *Db(1)*Db(1) x x 4 b(1) *b(2) 4x 2 2 b(1) *b(2) *b(2) 3x 3 b(1) *b(1) *b(2) x 3x 4 b(2) *b(2) 2x 2 b(1) *b(2)*b(2) *b(2) x 2x 3 b(1) *b(1) *b(2) 2x 2x 2 2 b(1) *b(1) *b(2) x 2x 2 b(1)*b(2) *b(1) *b(2) x 2x 2 3 b(1) *b(2) x 3 2 b(2) *b(2) x 2 b(1)*b(2)*b(1) *b(2) x x 3 b(1) *b(1) *b(2) 3x x 2 b(1)*b(2) *b(1) *b(2) 2x x 2 b(1) *b(1) *b(1) *b(2) x 2x x 3 b(1)*b(1) *b(2) x x 2 2 b(2) *b(1) *b(2) x x 3 b(1) *b(2)*b(1) 4x 3 b(1)*b(2) *b(1) 3x 2 b(1) *b(2)*b(1) *b(1) x 3x 2 2 b(1) *b(2)*b(1) 2x 2 b(1)*b(2)*b(1) *b(1) x 2x 3 b(2) *b(1) *b(1) x 2x 4 b(2)*b(1) x *** Garbage collection starting *** GC 160 9-Oct-2003 22:38:52, 70 ms (0%), 1628340 occupied, 23371612 free *** Garbage collection starting *** GC 161 9-Oct-2003 22:39:55, 80 ms (0%), 1741998 occupied, 23257954 free *** Garbage collection starting *** GC 162 9-Oct-2003 22:41:04, 60 ms (0%), 1537556 occupied, 23462395 free *** Garbage collection starting *** GC 163 9-Oct-2003 22:41:07, 60 ms (0%), 1552364 occupied, 23447588 free *** Garbage collection starting *** GC 164 9-Oct-2003 22:41:09, 70 ms (0%), 1561956 occupied, 23437996 free Separation of e_5 yields (e_111 e_141 e_105 e_131 e_129 e_127 e_114 e_98 e_97 e_92 e_130 e_124 e_106 e_142 e_133 e_115 e_149 e_146 e_145 e_144 e_140 e_123 e_93 e_152 e_147 e_135 e_134 e_120 e_102 e_99 e_118 e_116 e_113 e_103 e_95 e_125 e_109 e_122 e_112 e_104 e_94 e_151 e_139 e_121 e_119 e_107 e_100 e_96 e_150 e_126 e_110 e_108 e_153 e_138 e_128 e_132 e_143 e_137 e_101 e_136 e_117 e_148) Step 7: separation w.r.t. x linear independent expressions : 2 b(1) *b(2) *Db(1)*Db(2) 3x 2 b(2) *b(2) *Db(1)*Db(2) 2x b(1)*b(1) *b(2) *Db(1)*Db(2) x 2x 2 b(2)*b(2) *Db(1)*Db(2) x b(1)*b(1) *b(2) *Db(1)*Db(2) 2x x 2 b(1) *b(2) *Db(1)*Db(2) x x b(1)*b(2)*b(1) *Db(1)*Db(2) 3x b(2)*b(1) *b(1) *Db(1)*Db(2) x 2x 3 b(1) *Db(2)*Db(2) 3x 2 b(1) *b(2)*Db(1)*Db(2) 3x 2 b(1)*b(2) *Db(2)*Db(2) 2x 2 b(1) *b(1) *Db(2)*Db(2) x 2x 3 b(2) *Db(1)*Db(2) 2x 2 b(1) *b(2) *Db(1)*Db(2) x 2x b(1)*b(2)*b(1) *Db(1)*Db(2) x 2x 3 b(1) *Db(2) *Db(2) x 2x 2 b(1) *b(2)*Db(1) *Db(2) x 2x b(1)*b(2)*b(2) *Db(2)*Db(2) x x 2 b(1) *b(1) *Db(2)*Db(2) 2x x 2 b(1)*b(1) *Db(2)*Db(2) x x 2 b(2) *b(1) *Db(2)*Db(2) x x 2 b(1) *b(2) *Db(1)*Db(2) 2x x 2 b(2) *b(2) *Db(1)*Db(2) x x b(1)*b(1) *b(2) *Db(1)*Db(2) x x x b(1)*b(2)*b(1) *Db(1)*Db(2) 2x x 2 b(2)*b(1) *Db(1)*Db(2) x x 2 b(1) *b(2)*Db(1) *Db(2) 2x x 3 b(2) *Db(1) *Db(2) x x b(1)*Db(1)*Db(2)*Db(1) *Db(2) x x 2 b(1) *b(2) *Db(1) *Db(2) x x x b(1)*b(2)*b(1) *Db(1) *Db(2) x x x 3 b(1) *Db(1)*Db(1) 4x 2 b(1) *b(2)*Db(2)*Db(1) 3x 2 b(1)*b(2) *Db(1)*Db(1) 3x 2 b(1) *b(1) *Db(1)*Db(1) x 3x 3 b(1) *Db(1) *Db(1) x 3x 3 b(2) *Db(2)*Db(1) 2x 2 b(1) *b(2) *Db(2)*Db(1) x 2x b(1)*b(2)*b(1) *Db(2)*Db(1) x 2x b(1)*b(2)*b(2) *Db(1)*Db(1) x 2x 2 b(1) *b(1) *Db(1)*Db(1) 2x 2x 2 b(1)*b(1) *Db(1)*Db(1) x 2x 2 b(2) *b(1) *Db(1)*Db(1) x 2x 2 b(1)*b(2) *Db(1) *Db(1) x 2x 2 b(1) *b(1) *Db(1) *Db(1) x x 2x 2 b(1) *b(2) *Db(2)*Db(1) 2x x 2 b(2) *b(2) *Db(2)*Db(1) x x b(1)*b(1) *b(2) *Db(2)*Db(1) x x x b(1)*b(2)*b(1) *Db(2)*Db(1) 2x x 2 b(2)*b(1) *Db(2)*Db(1) x x b(1)*b(2)*b(2) *Db(1)*Db(1) 2x x 2 b(1)*b(2) *Db(1)*Db(1) x x b(2)*b(1) *b(2) *Db(1)*Db(1) x x x 2 b(1) *b(1) *Db(1)*Db(1) 3x x 2 b(2) *b(1) *Db(1)*Db(1) 2x x b(1)*b(1) *b(1) *Db(1)*Db(1) x 2x x 3 b(1) *Db(1)*Db(1) x x 3 b(1) *b(2)*b(2) 4x 3 b(1)*b(2) *b(2) 3x 3 b(1) *b(2) *b(2) x 3x 2 b(1) *b(2)*b(1) *b(2) x 3x 3 2 b(1) *b(2) 2x 2 b(1)*b(2) *b(2) *b(2) x 2x 2 b(1) *b(1) *b(2) *b(2) x x 2x 2 b(1) *b(2)*b(1) *b(2) 2x 2x 2 b(1)*b(2)*b(1) *b(2) x 2x 3 b(2) *b(1) *b(2) x 2x 3 b(1)*b(2)*b(2) x 2 2 b(1) *b(1) *b(2) 2x x 2 2 b(1)*b(1) *b(2) x x 2 2 b(2) *b(1) *b(2) x x 2 b(1) *b(2)*b(1) *b(2) 3x x 3 b(2) *b(1) *b(2) 2x x b(1)*b(2)*b(1) *b(1) *b(2) x 2x x 3 b(2)*b(1) *b(2) x x 4 b(1) *b(1) 5x 2 2 b(1) *b(2) *b(1) 4x 3 b(1) *b(1) *b(1) x 4x 4 b(2) *b(1) 3x 3 b(1) *b(1) *b(1) 2x 3x 2 2 b(1) *b(1) *b(1) x 3x 2 b(1)*b(2) *b(1) *b(1) x 3x 2 2 b(1)*b(2) *b(1) 2x 2 2 b(1) *b(1) *b(1) x 2x 3 b(1)*b(1) *b(1) x 2x 2 2 b(2) *b(1) *b(1) x 2x 5 b(1) x *** Garbage collection starting *** GC 165 9-Oct-2003 22:41:19, 70 ms (0%), 1599852 occupied, 23400100 free *** Garbage collection starting *** GC 166 9-Oct-2003 22:42:11, 70 ms (0%), 1670376 occupied, 23329576 free *** Garbage collection starting *** GC 167 9-Oct-2003 22:43:44, 70 ms (0%), 1789914 occupied, 23210036 free *** Garbage collection starting *** GC 168 9-Oct-2003 22:45:49, 80 ms (0%), 1891044 occupied, 23108906 free *** Garbage collection starting *** GC 169 9-Oct-2003 22:48:23, 90 ms (0%), 1982656 occupied, 23017294 free *** Garbage collection starting *** GC 170 9-Oct-2003 22:51:22, 100 ms (0%), 2083592 occupied, 22916358 free