Magma V2.19-8 Tue Aug 20 2013 23:39:17 on localhost [Seed = 711741048] Type ? for help. Type -D to quit. Loading file "K13n1864__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1864 geometric_solution 9.93839894 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.178510912673 0.973264294933 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.452076275942 1.842559857542 5 0 0 7 3012 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332274108865 0.739198207833 4 5 0 7 0132 3012 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798212436594 0.843646764660 3 1 8 6 0132 0132 0132 3120 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493325323263 0.606892991399 3 7 1 2 1230 2103 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.054228866581 1.102391170214 4 9 10 1 3120 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -1 -1 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355224121569 0.569628268742 10 5 2 3 2031 2103 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.056233047654 1.043752431276 10 9 9 4 1302 0213 2103 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431318118577 0.778695351346 8 6 8 10 2103 0132 0213 3120 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 -2 0 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611640098031 0.837517980775 9 8 7 6 3120 2031 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411158459441 0.150251258942 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_4']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_5']), 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_7'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_0']), 'c_1100_10' : d['c_0101_7'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0011_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : negation(d['c_0011_5']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0011_7'], 'c_1100_8' : negation(d['c_0101_6']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_5, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6, c_0101_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 29766190810754920413725977583281046759575617668736/3302892986500837\ 67611672808685446404742847698565163*c_0101_7^16 + 113363470268155006514512358269121493850358615680064/330289298650083\ 767611672808685446404742847698565163*c_0101_7^15 + 55104504773877389602210396720380381635337581100256/3302892986500837\ 67611672808685446404742847698565163*c_0101_7^14 - 107040701314046759762451730271816779960791537860064/330289298650083\ 767611672808685446404742847698565163*c_0101_7^13 + 468561765324370132938028101496314812556885470972128/330289298650083\ 767611672808685446404742847698565163*c_0101_7^12 + 210077773634099606921748431561610784454132121861316/330289298650083\ 767611672808685446404742847698565163*c_0101_7^11 + 75791029819899609216117455722507518064201329240802/3302892986500837\ 67611672808685446404742847698565163*c_0101_7^10 - 869741224405659455234398258524761815156921326442760/330289298650083\ 767611672808685446404742847698565163*c_0101_7^9 + 60961163035510148729637556745332271719328561383847/3302892986500837\ 67611672808685446404742847698565163*c_0101_7^8 + 635909686700349161106566560206828406441592309594820/330289298650083\ 767611672808685446404742847698565163*c_0101_7^7 - 2636060245844606552547958400920981158240165792746660/33028929865008\ 3767611672808685446404742847698565163*c_0101_7^6 + 2650008421781045947516778671226050835901847417492318/33028929865008\ 3767611672808685446404742847698565163*c_0101_7^5 + 847104242752048220926298108386522239178340393021773/471841855214405\ 38230238972669349486391835385509309*c_0101_7^4 + 3881305765296335148614608362297087536894255728132822/33028929865008\ 3767611672808685446404742847698565163*c_0101_7^3 - 4185746702609060592736319275590735196944092756803512/33028929865008\ 3767611672808685446404742847698565163*c_0101_7^2 - 1046965688699774598948852838136445845117838679702868/33028929865008\ 3767611672808685446404742847698565163*c_0101_7 - 2519226181370069828711965575217374282878133337756384/33028929865008\ 3767611672808685446404742847698565163, c_0011_0 - 1, c_0011_10 + 71617469472678267293471029501408557184/25582963929478830775\ 42000458872305289537*c_0101_7^16 - 110747078928327848928366697951623512384/255829639294788307754200045\ 8872305289537*c_0101_7^15 + 15715831246263879633777783554579140128/\ 2558296392947883077542000458872305289537*c_0101_7^14 + 325442430676622638087206875868815834144/255829639294788307754200045\ 8872305289537*c_0101_7^13 - 511101745670931869761627007304549309824\ /2558296392947883077542000458872305289537*c_0101_7^12 + 35651552666903155963373186030344836780/2558296392947883077542000458\ 872305289537*c_0101_7^11 - 179841315995781687067898435648806576762/\ 2558296392947883077542000458872305289537*c_0101_7^10 + 731288682640059942699878023868066467188/255829639294788307754200045\ 8872305289537*c_0101_7^9 - 417125801855388342222773322724241502661/\ 2558296392947883077542000458872305289537*c_0101_7^8 - 1491571558364873955728662429026910703126/25582963929478830775420004\ 58872305289537*c_0101_7^7 + 486488794399889967734063252318820966676\ 0/2558296392947883077542000458872305289537*c_0101_7^6 - 2233328805839075577026670007356588027649/25582963929478830775420004\ 58872305289537*c_0101_7^5 - 413183923894650957736133687499342612924\ 3/2558296392947883077542000458872305289537*c_0101_7^4 - 173478891647616463243246476035035914931/255829639294788307754200045\ 8872305289537*c_0101_7^3 + 4318427189198696736103143268392513535270\ /2558296392947883077542000458872305289537*c_0101_7^2 - 2496226113348285985307737334423603080185/25582963929478830775420004\ 58872305289537*c_0101_7 - 949396751603167890375953837080397640527/2\ 558296392947883077542000458872305289537, c_0011_5 - 152964122778260632838267369428433534272/25582963929478830775\ 42000458872305289537*c_0101_7^16 + 135606294846646860094764218630006017312/255829639294788307754200045\ 8872305289537*c_0101_7^15 + 61325823821832696444062524255946174608/\ 2558296392947883077542000458872305289537*c_0101_7^14 - 607008205785411263150341459513631536544/255829639294788307754200045\ 8872305289537*c_0101_7^13 + 678580368717509952780463339432504389272\ /2558296392947883077542000458872305289537*c_0101_7^12 + 368154230267882214296368978834080896922/255829639294788307754200045\ 8872305289537*c_0101_7^11 + 812117557509950261710765941920898012725\ /2558296392947883077542000458872305289537*c_0101_7^10 - 1164746739441879934507611722264250632685/25582963929478830775420004\ 58872305289537*c_0101_7^9 + 1500056671825183321523658281418215818/2\ 558296392947883077542000458872305289537*c_0101_7^8 + 2483915910952011059715987537362677023382/25582963929478830775420004\ 58872305289537*c_0101_7^7 - 814626426458616049673179254785653391228\ 5/2558296392947883077542000458872305289537*c_0101_7^6 - 627391133104074276281666120561077193047/255829639294788307754200045\ 8872305289537*c_0101_7^5 + 6461013915843786910087017219836417135919\ /2558296392947883077542000458872305289537*c_0101_7^4 + 7389094396818055297936387798990807344514/25582963929478830775420004\ 58872305289537*c_0101_7^3 - 317366939309290041431380258945304439289\ 7/2558296392947883077542000458872305289537*c_0101_7^2 + 2426907945875738475175318415525763148604/25582963929478830775420004\ 58872305289537*c_0101_7 - 2841831556673068950168662166744387484910/\ 2558296392947883077542000458872305289537, c_0011_6 + 21531605280593229432852235563104422080/255829639294788307754\ 2000458872305289537*c_0101_7^16 - 156542282757163394320071485250139\ 70208/2558296392947883077542000458872305289537*c_0101_7^15 - 78077024467595011493621582079566818512/2558296392947883077542000458\ 872305289537*c_0101_7^14 + 152393968122811198666143928579540858224/\ 2558296392947883077542000458872305289537*c_0101_7^13 - 57715895933493401559421424829676999112/2558296392947883077542000458\ 872305289537*c_0101_7^12 - 326493173118146706604165208363451688894/\ 2558296392947883077542000458872305289537*c_0101_7^11 + 181108494415804655024780625341464654087/255829639294788307754200045\ 8872305289537*c_0101_7^10 + 325774335214438925976486280646846079848\ /2558296392947883077542000458872305289537*c_0101_7^9 + 384511000490728861775507607738849043269/255829639294788307754200045\ 8872305289537*c_0101_7^8 - 1040607302722788940857235410980221366656\ /2558296392947883077542000458872305289537*c_0101_7^7 + 1313794309861085141257484923389931830535/25582963929478830775420004\ 58872305289537*c_0101_7^6 + 150463813804456516842359001392434891494\ 6/2558296392947883077542000458872305289537*c_0101_7^5 - 4764015129216176823404914668097770485504/25582963929478830775420004\ 58872305289537*c_0101_7^4 - 108820566803330923563512423519687612726\ 4/2558296392947883077542000458872305289537*c_0101_7^3 + 3329004484099405298488873524660424888409/25582963929478830775420004\ 58872305289537*c_0101_7^2 + 343220748448558743410624135674985713545\ 4/2558296392947883077542000458872305289537*c_0101_7 - 2483886570802718414766594289835893086443/25582963929478830775420004\ 58872305289537, c_0011_7 + 102401098309740428996328909609244772416/25582963929478830775\ 42000458872305289537*c_0101_7^16 - 100183938131456882312325738154551840352/255829639294788307754200045\ 8872305289537*c_0101_7^15 - 43990152917457086414288668555113902896/\ 2558296392947883077542000458872305289537*c_0101_7^14 + 449145944153207309846855794076511611120/255829639294788307754200045\ 8872305289537*c_0101_7^13 - 481229053011130692303692229141873526600\ /2558296392947883077542000458872305289537*c_0101_7^12 - 287719509168988400587339299057747127786/255829639294788307754200045\ 8872305289537*c_0101_7^11 - 341441502520586870293411685072996654347\ /2558296392947883077542000458872305289537*c_0101_7^10 + 888242573027405126061838226925837856234/255829639294788307754200045\ 8872305289537*c_0101_7^9 - 186008041486967806718038221881797122488/\ 2558296392947883077542000458872305289537*c_0101_7^8 - 1916629868115024000223264385962884857727/25582963929478830775420004\ 58872305289537*c_0101_7^7 + 578898347254972645201573574815160696413\ 9/2558296392947883077542000458872305289537*c_0101_7^6 + 226253665863000666631080302527655363336/255829639294788307754200045\ 8872305289537*c_0101_7^5 - 6268397924900177826918205144532624293514\ /2558296392947883077542000458872305289537*c_0101_7^4 - 3979072804288293167289364326793416206688/25582963929478830775420004\ 58872305289537*c_0101_7^3 + 363098550331187232331212748575315133132\ 4/2558296392947883077542000458872305289537*c_0101_7^2 - 3313667670865439691103739662642448476842/25582963929478830775420004\ 58872305289537*c_0101_7 + 14884659253958789514344662747876993805/25\ 58296392947883077542000458872305289537, c_0101_0 + 11891246004999103176651948662052937664/255829639294788307754\ 2000458872305289537*c_0101_7^16 - 668725759957279797368487911483791\ 06336/2558296392947883077542000458872305289537*c_0101_7^15 + 13737748347432269789659103829397075312/2558296392947883077542000458\ 872305289537*c_0101_7^14 + 97705296314362459324383289895997346480/2\ 558296392947883077542000458872305289537*c_0101_7^13 - 261421120310819200693304347113944558392/255829639294788307754200045\ 8872305289537*c_0101_7^12 + 80358695727676403539873389059613241466/\ 2558296392947883077542000458872305289537*c_0101_7^11 + 222721090004854983184261572749727941823/255829639294788307754200045\ 8872305289537*c_0101_7^10 + 464797630470225933833098151113028008240\ /2558296392947883077542000458872305289537*c_0101_7^9 - 392104089479379826655451770707564872622/255829639294788307754200045\ 8872305289537*c_0101_7^8 - 446999472468188395339299457898051472991/\ 2558296392947883077542000458872305289537*c_0101_7^7 + 1487753637372742345155524353937713955819/25582963929478830775420004\ 58872305289537*c_0101_7^6 - 258938286164341501832018760173138670547\ 1/2558296392947883077542000458872305289537*c_0101_7^5 - 2807663969216644812225568923661570019078/25582963929478830775420004\ 58872305289537*c_0101_7^4 + 216960480114304288658900697769659800797\ 0/2558296392947883077542000458872305289537*c_0101_7^3 + 5429393825498490092357069064528951991973/25582963929478830775420004\ 58872305289537*c_0101_7^2 - 311714082969198903688328221239706565058\ /2558296392947883077542000458872305289537*c_0101_7 + 338113894667692324159374481977664939387/255829639294788307754200045\ 8872305289537, c_0101_1 - 14193855450088640762411377502151351552/255829639294788307754\ 2000458872305289537*c_0101_7^16 - 181045645375022375720535150010211\ 88096/2558296392947883077542000458872305289537*c_0101_7^15 + 58434820703671974109734914911711139136/2558296392947883077542000458\ 872305289537*c_0101_7^14 - 104971157684787733699916532210834776512/\ 2558296392947883077542000458872305289537*c_0101_7^13 - 27397375998642221770483341051496558288/2558296392947883077542000458\ 872305289537*c_0101_7^12 + 268575891116043854709937461433884504024/\ 2558296392947883077542000458872305289537*c_0101_7^11 - 85088909253681849191145958143623827920/2558296392947883077542000458\ 872305289537*c_0101_7^10 + 139509556557096390336303531669043075280/\ 2558296392947883077542000458872305289537*c_0101_7^9 - 370133399192047164888157175004048453509/255829639294788307754200045\ 8872305289537*c_0101_7^8 + 759612211800632322087156937786417522945/\ 2558296392947883077542000458872305289537*c_0101_7^7 - 772040048325587844470081557883004911518/255829639294788307754200045\ 8872305289537*c_0101_7^6 - 1981196725212675650045375111824355846294\ /2558296392947883077542000458872305289537*c_0101_7^5 + 2426357480000716933855085618264156178482/25582963929478830775420004\ 58872305289537*c_0101_7^4 + 756964974597996038139512437995530694890\ /2558296392947883077542000458872305289537*c_0101_7^3 + 681471935700250597613945344505307835275/255829639294788307754200045\ 8872305289537*c_0101_7^2 - 1298188076293989882158710161002447380695\ /2558296392947883077542000458872305289537*c_0101_7 + 3530987693883750071241231294748413030211/25582963929478830775420004\ 58872305289537, c_0101_2 + 5758842136005439651172492461844177600/2558296392947883077542\ 000458872305289537*c_0101_7^16 + 5337956095502538287569476947371654\ 0320/2558296392947883077542000458872305289537*c_0101_7^15 - 21413855675295454441091503225893649008/2558296392947883077542000458\ 872305289537*c_0101_7^14 - 35516909724377578325316959888525621472/2\ 558296392947883077542000458872305289537*c_0101_7^13 + 188327094048887018538582824600063135496/255829639294788307754200045\ 8872305289537*c_0101_7^12 - 116973481942737845364172096479979521366\ /2558296392947883077542000458872305289537*c_0101_7^11 - 307418289383519630595816545991139616999/255829639294788307754200045\ 8872305289537*c_0101_7^10 - 347358416643501364794331242012325329089\ /2558296392947883077542000458872305289537*c_0101_7^9 + 397885648448794867580865924713244467223/255829639294788307754200045\ 8872305289537*c_0101_7^8 + 328832736234825736572931389835783361153/\ 2558296392947883077542000458872305289537*c_0101_7^7 - 623812677784778860317768147494193846386/255829639294788307754200045\ 8872305289537*c_0101_7^6 + 2465120563445607181436151138108117390880\ /2558296392947883077542000458872305289537*c_0101_7^5 + 1590669511655333205617594209541839094723/25582963929478830775420004\ 58872305289537*c_0101_7^4 - 259572186937744021746562908026034781335\ 2/2558296392947883077542000458872305289537*c_0101_7^3 - 4758533501446672944646779764867442346657/25582963929478830775420004\ 58872305289537*c_0101_7^2 - 136891245375258121262644526581614566594\ 8/2558296392947883077542000458872305289537*c_0101_7 + 1160362153625843766878492522675498813877/25582963929478830775420004\ 58872305289537, c_0101_4 + 14193855450088640762411377502151351552/255829639294788307754\ 2000458872305289537*c_0101_7^16 + 181045645375022375720535150010211\ 88096/2558296392947883077542000458872305289537*c_0101_7^15 - 58434820703671974109734914911711139136/2558296392947883077542000458\ 872305289537*c_0101_7^14 + 104971157684787733699916532210834776512/\ 2558296392947883077542000458872305289537*c_0101_7^13 + 27397375998642221770483341051496558288/2558296392947883077542000458\ 872305289537*c_0101_7^12 - 268575891116043854709937461433884504024/\ 2558296392947883077542000458872305289537*c_0101_7^11 + 85088909253681849191145958143623827920/2558296392947883077542000458\ 872305289537*c_0101_7^10 - 139509556557096390336303531669043075280/\ 2558296392947883077542000458872305289537*c_0101_7^9 + 370133399192047164888157175004048453509/255829639294788307754200045\ 8872305289537*c_0101_7^8 - 759612211800632322087156937786417522945/\ 2558296392947883077542000458872305289537*c_0101_7^7 + 772040048325587844470081557883004911518/255829639294788307754200045\ 8872305289537*c_0101_7^6 + 1981196725212675650045375111824355846294\ /2558296392947883077542000458872305289537*c_0101_7^5 - 2426357480000716933855085618264156178482/25582963929478830775420004\ 58872305289537*c_0101_7^4 - 756964974597996038139512437995530694890\ /2558296392947883077542000458872305289537*c_0101_7^3 - 681471935700250597613945344505307835275/255829639294788307754200045\ 8872305289537*c_0101_7^2 + 1298188076293989882158710161002447380695\ /2558296392947883077542000458872305289537*c_0101_7 - 972691300935866993699230835876107740674/255829639294788307754200045\ 8872305289537, c_0101_6 - 186150705358293499909225294538776500544/25582963929478830775\ 42000458872305289537*c_0101_7^16 + 231419593365440617812310506532576093984/255829639294788307754200045\ 8872305289537*c_0101_7^15 + 4714991853832082329079374430968566672/2\ 558296392947883077542000458872305289537*c_0101_7^14 - 794670563645226705092680808767314684000/255829639294788307754200045\ 8872305289537*c_0101_7^13 + 110455821870375836006408914339825355269\ 6/2558296392947883077542000458872305289537*c_0101_7^12 + 100743791447034835418704882868886293834/255829639294788307754200045\ 8872305289537*c_0101_7^11 + 769400679813658423378304289516547237269\ /2558296392947883077542000458872305289537*c_0101_7^10 - 1782411809208149648168894683995153665701/25582963929478830775420004\ 58872305289537*c_0101_7^9 + 714082718118045031009335715835701834928\ /2558296392947883077542000458872305289537*c_0101_7^8 + 3331340681468097357737525605511420684443/25582963929478830775420004\ 58872305289537*c_0101_7^7 - 114926858619447668328073884206390583536\ 17/2558296392947883077542000458872305289537*c_0101_7^6 + 3309450686760106454409399943747358452251/25582963929478830775420004\ 58872305289537*c_0101_7^5 + 871050366041444236703721879257288431724\ 2/2558296392947883077542000458872305289537*c_0101_7^4 + 5588157289152271237657486187068984100189/25582963929478830775420004\ 58872305289537*c_0101_7^3 - 821891838510189853856619235478809703298\ 5/2558296392947883077542000458872305289537*c_0101_7^2 + 7329613300629276372267947652625281276552/25582963929478830775420004\ 58872305289537*c_0101_7 - 1339362962018784525315242464539950407669/\ 2558296392947883077542000458872305289537, c_0101_7^17 - 3/2*c_0101_7^16 + 1/4*c_0101_7^15 + 17/4*c_0101_7^14 - 55/8*c_0101_7^13 + 19/32*c_0101_7^12 - 243/64*c_0101_7^11 + 87/8*c_0101_7^10 - 395/64*c_0101_7^9 - 1055/64*c_0101_7^8 + 511/8*c_0101_7^7 - 1919/64*c_0101_7^6 - 2797/64*c_0101_7^5 - 667/32*c_0101_7^4 + 457/8*c_0101_7^3 - 2733/64*c_0101_7^2 + 169/8*c_0101_7 - 647/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.250 Total time: 0.460 seconds, Total memory usage: 32.09MB