Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 3667609516] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3072 geometric_solution 6.23666583 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.779825664101 0.599489766480 0 2 3 0 0132 0132 0132 3201 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 0 -1 1 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.522213396044 0.649930750749 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 -1 1 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 1 -1 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.614679113079 0.684256477780 5 6 4 1 1023 1023 0132 0132 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.614679113079 0.684256477780 2 4 4 3 0132 3201 2310 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 -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.303370951712 0.901867117995 5 3 5 2 2031 1023 1302 0132 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 1 -1 -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 0 0 0 0.656870449284 0.463994200762 3 6 2 6 1023 1302 0132 2031 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 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628535061275 0.560245933002 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : 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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 16207517962954119253340108970290473106040653633016015/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^30 + 3886427594895156289548975436337085486919590336896542/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^29 + 7630820443316051158494969684276075044860354338763725/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^28 - 1834961792730639246617954711690349839166027416949844/15455236924458\ 401195457317836638721471303329368207*c_0110_6^27 - 123697858974277743434536283837483331157981389421379027/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^26 - 15020205722502353536307115573120469118271068249305095/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^25 - 273533435428210742105907682834067826194573112962228994/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^24 + 443160246826909388061838812849425419541100988298335304/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^23 + 397609786873597579348790908996903034000480917988419461/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^22 - 7542572677815596219732844893852644594968931394926486/15455236924458\ 401195457317836638721471303329368207*c_0110_6^21 + 732591251035621648472130101591913079914026186088907467/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^20 + 82066626520978145204746212872766509950444928362650221/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^19 - 11859028608120486397946192353562468454535671374657122/1545523692445\ 8401195457317836638721471303329368207*c_0110_6^18 + 848425790992284772976231389193497021709653974662924970/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^17 - 50529622396478807861517221220884588628444273978801124/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^16 - 82846221364162721278701082435183941703509404152211421/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^15 - 276930138205254668214607892108448447316258986261190823/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^14 - 251241300443452468594689581083592142419568388570938174/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^13 + 123753051684136419499368303293461037853442465291034562/200918080017\ 959215540945131876303379126943281786691*c_0110_6^12 - 1434821690333829097135483476183228378874892471025888932/14064265601\ 25714508786615923134123653888602972506837*c_0110_6^11 + 43728920690968419346687168828703894246815612839088592/1081866584712\ 08808368201224856471050299123305577449*c_0110_6^10 + 118913328831805288628896683875654160220000056105600816/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^9 - 336012849396243335344875800740258917970999358563036086/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^8 + 592402492640323394095131178275129823720739364585348329/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^7 - 402083616212248119522526774016076171811205137283524901/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^6 + 437128453507614518086436708174407995924078869257776954/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^5 - 30450474235446621276934699381609136661601349093618466/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^4 + 201412974880827442592009243950555860365659445320424580/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^3 - 52277210918350168872166104790923410536570214688290685/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^2 + 21239627031261922344230793716843739904180474321926599/1406426560125\ 714508786615923134123653888602972506837*c_0110_6 + 1826842776896815993985837522833147050902934396511877/14064265601257\ 14508786615923134123653888602972506837, c_0011_0 - 1, c_0011_3 - 4045048588981650390668795790224195922158470765091250/1406426\ 560125714508786615923134123653888602972506837*c_0110_6^30 + 115918050823923649475134908435372585550890082826735/154552369244584\ 01195457317836638721471303329368207*c_0110_6^29 + 2874287710285046045306439200114630633385465295759907/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^28 - 3841542012931737652175427949177333012893587549568319/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^27 - 84241883091463716180595958675751756457121454871315049/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^26 + 52234482768605797340520887357281806794879942601019475/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^25 - 47299426159796303452793457256561749026075658895554711/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^24 + 81645455275269735758342342062327339644064892924228481/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^23 + 283617330649191969081846775253497876258803004420556406/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^22 - 26087664055125047261669019779933299159565270182766858/1081866584712\ 08808368201224856471050299123305577449*c_0110_6^21 - 26849488915089642004576174628696090210368110330437081/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^20 + 522676871358675362856466751167282093935540505992177006/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^19 - 46527655017355974963334130562026205525402513681048570/1081866584712\ 08808368201224856471050299123305577449*c_0110_6^18 + 28222791539390192221904254651835942301469490143838444/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^17 + 639607793634583104852294991804067728995157897747943905/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^16 - 735886221647151866532152850388609639808440096890982058/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^15 + 59143204781065421773453529834454690872689584815959372/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^14 + 26279682025312763941541597863968088914303164238817746/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^13 + 16698373981768532877411629073984796313116497126007966/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^12 - 5002100527569186802520705242104525040547953413932939/20091808001795\ 9215540945131876303379126943281786691*c_0110_6^11 - 25236116996967216550876232150237179499231511158331793/1081866584712\ 08808368201224856471050299123305577449*c_0110_6^10 + 628393343822573429598986751394555194658468299608042866/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^9 - 467861669151666816679211146193974012216546104383350970/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^8 + 115898747217353232571760557020647180472569240126521606/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^7 + 243883120399335064690402006813718598384965988559699491/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^6 - 356736422744282814576281472932336185477871657396806592/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^5 + 39842058795514424724912442377534021271085119442817266/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^4 - 138053115482675606278385533588140638657370642424806220/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^3 + 46420177688175161245551004290345228226819073534098734/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^2 - 10669022152231434022658641770361548496657575697193970/1406426560125\ 714508786615923134123653888602972506837*c_0110_6 + 417746778835770722713935193238312881949610172915144/140642656012571\ 4508786615923134123653888602972506837, c_0101_0 + 1623306777720213034276471383165107585621145/2496371424081301\ 072973417774698479435682259*c_0110_6^30 - 493659012870387714406904511909665197021461/192028571083177005613339\ 828822959956590943*c_0110_6^29 - 4452516923854572517193404482796754\ 63384058/192028571083177005613339828822959956590943*c_0110_6^28 + 2095816269996222381051009608345231580535384/19202857108317700561333\ 9828822959956590943*c_0110_6^27 - 814322021681294224308035988838977\ 6947015205/2496371424081301072973417774698479435682259*c_0110_6^26 - 17795816327011788138500696240607533641310355/2496371424081301072973\ 417774698479435682259*c_0110_6^25 + 49328160742748687724313559073833494669478652/2496371424081301072973\ 417774698479435682259*c_0110_6^24 - 70128698934270201971596039537911190518601561/2496371424081301072973\ 417774698479435682259*c_0110_6^23 + 111682020312755790696726485302189746716456/249637142408130107297341\ 7774698479435682259*c_0110_6^22 + 118954294335703335536783818488058\ 97456695765/192028571083177005613339828822959956590943*c_0110_6^21 - 206455917015759720057272856595551462690789206/249637142408130107297\ 3417774698479435682259*c_0110_6^20 - 17244268121496047037978580443588999132795815/2496371424081301072973\ 417774698479435682259*c_0110_6^19 + 18989864138960364857493229191675324236427512/1920285710831770056133\ 39828822959956590943*c_0110_6^18 - 353761214031816126356636564734737691144659860/249637142408130107297\ 3417774698479435682259*c_0110_6^17 + 108554815137232752271226602324529029462738684/249637142408130107297\ 3417774698479435682259*c_0110_6^16 + 243444111534415951268990290349232162412110473/249637142408130107297\ 3417774698479435682259*c_0110_6^15 - 281316988812908328660562219550897776415383160/249637142408130107297\ 3417774698479435682259*c_0110_6^14 + 143040509396572676550464471299420157532951923/249637142408130107297\ 3417774698479435682259*c_0110_6^13 - 30689262851013787928672945030079715925068103/2496371424081301072973\ 417774698479435682259*c_0110_6^12 + 98880372805852192230221361649263013471482591/2496371424081301072973\ 417774698479435682259*c_0110_6^11 - 5344534208632336746563245050396814542042500/19202857108317700561333\ 9828822959956590943*c_0110_6^10 - 635766840578497986858044391034252\ 29075071823/2496371424081301072973417774698479435682259*c_0110_6^9 + 236612508805377299118709154054727898412904435/249637142408130107297\ 3417774698479435682259*c_0110_6^8 - 285294756436005113799957150144439849984557363/249637142408130107297\ 3417774698479435682259*c_0110_6^7 + 139266234825030570488874563597125438932042992/249637142408130107297\ 3417774698479435682259*c_0110_6^6 + 30393739714407340857510095638908524159945916/2496371424081301072973\ 417774698479435682259*c_0110_6^5 - 125037994184832862112847472044126792461364880/249637142408130107297\ 3417774698479435682259*c_0110_6^4 + 102980781241596306507378473531448765696230678/249637142408130107297\ 3417774698479435682259*c_0110_6^3 - 56388751151439457150881972762340163397459263/2496371424081301072973\ 417774698479435682259*c_0110_6^2 + 16179719966415371060788886516063938185995127/2496371424081301072973\ 417774698479435682259*c_0110_6 - 3296299990351881876426536182910061\ 44532558/2496371424081301072973417774698479435682259, c_0101_1 + 810610420072952109037705149547968278954940/19202857108317700\ 5613339828822959956590943*c_0110_6^30 - 3506439961799833430769610213947237185100846/19202857108317700561333\ 9828822959956590943*c_0110_6^29 - 149422650653421408753280834712343\ 7950192028/192028571083177005613339828822959956590943*c_0110_6^28 + 13084267298814488695900112585623204637065996/1920285710831770056133\ 39828822959956590943*c_0110_6^27 - 6733486735855165980075867316955690227585225/19202857108317700561333\ 9828822959956590943*c_0110_6^26 - 169849928510517386991630273650031\ 4492225585/192028571083177005613339828822959956590943*c_0110_6^25 + 16681023827850533836862076335830626046399305/1920285710831770056133\ 39828822959956590943*c_0110_6^24 - 42130821055911007252334347884761025745441762/1920285710831770056133\ 39828822959956590943*c_0110_6^23 + 15295073517058799039307063889872201081995977/1920285710831770056133\ 39828822959956590943*c_0110_6^22 + 50148867239941337141972125038761569088966691/1920285710831770056133\ 39828822959956590943*c_0110_6^21 - 93187140078464831034466392049217670916496541/1920285710831770056133\ 39828822959956590943*c_0110_6^20 + 42682930482703161993488384286161828692286890/1920285710831770056133\ 39828822959956590943*c_0110_6^19 + 68567818936694952031214288383243569809776483/1920285710831770056133\ 39828822959956590943*c_0110_6^18 - 142541108246103202184481103679076145868196200/192028571083177005613\ 339828822959956590943*c_0110_6^17 + 104653571338931937097537277624439058061087165/192028571083177005613\ 339828822959956590943*c_0110_6^16 + 4152488603419010182766405037845684177462868/19202857108317700561333\ 9828822959956590943*c_0110_6^15 - 489781181151248461718328307406551\ 70647357389/192028571083177005613339828822959956590943*c_0110_6^14 + 47491229804396411284928197348210891377332326/1920285710831770056133\ 39828822959956590943*c_0110_6^13 - 65769025187540051828038531807945172924607241/1920285710831770056133\ 39828822959956590943*c_0110_6^12 + 8823175396923245396346246267600601251508626/14771428544859769662564\ 602217150765891611*c_0110_6^11 - 1197462210257095321033415520011722\ 11091027060/192028571083177005613339828822959956590943*c_0110_6^10 + 58410426944707015238892154778774405596723338/1920285710831770056133\ 39828822959956590943*c_0110_6^9 + 256164498765097151980535453493706\ 59545132615/192028571083177005613339828822959956590943*c_0110_6^8 - 83766406989153636554174516050362576676780068/1920285710831770056133\ 39828822959956590943*c_0110_6^7 + 888048011423840508437118718602530\ 92549696174/192028571083177005613339828822959956590943*c_0110_6^6 - 62894907469489763216536129791220719439980913/1920285710831770056133\ 39828822959956590943*c_0110_6^5 + 301544895680897689470461230559500\ 84308331306/192028571083177005613339828822959956590943*c_0110_6^4 - 10599602754460762609898866762332563283520939/1920285710831770056133\ 39828822959956590943*c_0110_6^3 + 202808264767366167440063036123141\ 5529864426/192028571083177005613339828822959956590943*c_0110_6^2 - 255488184566654630261629794675803422206386/192028571083177005613339\ 828822959956590943*c_0110_6 + 8880594393427966525857621017571047131\ 7529/192028571083177005613339828822959956590943, c_0101_2 - 113118049141795376230049608924540596444793526891940/20091808\ 0017959215540945131876303379126943281786691*c_0110_6^30 + 700862237700489330579843136275245263047918653053574/108186658471208\ 808368201224856471050299123305577449*c_0110_6^29 - 1628677781996303911818741740734835927756510920135875/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^28 - 184366992652144056046432378922908489749094432831285/832205065163144\ 6797553940373574696176855638890573*c_0110_6^27 + 91659317324193982623703689780258728129485296059881286/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^26 - 14307397253375027356692845904691298787974275536836066/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^25 - 29218609020889525904632023870654741338887983911206726/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^24 + 149571079971024400521549438587855324664537834029970561/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^23 - 40542572305228640837827074102802414439194767945840852/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^22 - 3102427679399157541454234335518472944339622401429900/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^21 + 438027791785891440060187483378887144330696118500668345/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^20 - 561914853062838743572507590915433168255010465177081552/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^19 + 6542353376049809344763977938461528656637182611691130/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^18 + 663474431048707214621594136271064657292984761396796005/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^17 - 918570417064439784831097545729355327729860514124200501/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^16 + 478397909475046316267112472011419985201506049439947314/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^15 + 209620832319509712450597407897304191523900919516374778/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^14 - 339291062984398013403033395636269096563797981766831061/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^13 + 328597430470568287306561457100578389221544813278720605/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^12 - 510028089436780864294156875546564591874853552439746473/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^11 + 58465064864486210587776598359835263588024421104672055/1081866584712\ 08808368201224856471050299123305577449*c_0110_6^10 - 680206538832097783238306158451070167736321583717511091/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^9 + 26421204725081110881343169532142807983272251720294707/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^8 + 319157124950827498348070828973230394408042966990240626/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^7 - 86471957892317583676973178397131890901906718758060758/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^6 + 534564832854477868860059717357881462209368043020151565/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^5 - 45738780390904877444109539377300753455858863706405089/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^4 + 17992251783253831737561836832988411544837681795840136/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^3 - 26756797401259835118532446902018386844627179733488521/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^2 + 790228459512867998314378983229404837492221440765646/140642656012571\ 4508786615923134123653888602972506837*c_0110_6 + 2730995114309613439699793468510775421249601244498176/14064265601257\ 14508786615923134123653888602972506837, c_0101_4 - 3686479132870980828252913453291525988786404095793485/1406426\ 560125714508786615923134123653888602972506837*c_0110_6^30 + 106950995675508220775263999339176635201105742480681/832205065163144\ 6797553940373574696176855638890573*c_0110_6^29 - 30661210590124164735611187315402048408925826158381/8322050651631446\ 797553940373574696176855638890573*c_0110_6^28 - 4066037555585263036871176840384232183159692770851906/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^27 + 77004671730903674376000423798402505539603114700505572/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^26 - 53787634666272193664574576770288156099952514923468218/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^25 - 87686997262767938149819015959034890120106922955893864/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^24 + 36791136931360722567448525396129411474672901241167316/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^23 - 217444954768329513587433853403694875046480866911186916/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^22 - 5250900165664276337712232844129920126776644059285205/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^21 + 586656576416123403044554696660485335725380882276201186/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^20 - 651681050881419678667080864248561086027621389626189955/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^19 - 1701552596175682497975855400026156262949611111516748/10818665847120\ 8808368201224856471050299123305577449*c_0110_6^18 + 866133007069235135087709785874241311954873192749448731/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^17 - 1142965235354432558542641649681391890609297137049016702/14064265601\ 25714508786615923134123653888602972506837*c_0110_6^16 + 564273100343876704786570428153258195885455970378503434/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^15 + 175054298984451477041791037868444018684623235667860655/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^14 - 518886780779776852442042005505414218184685670592573808/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^13 + 516055493079337387671478526225449596154066113983224618/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^12 - 727929234553399746076984539661353242796822277565240654/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^11 + 78943011682294434254589841839954133897121836794665450/1081866584712\ 08808368201224856471050299123305577449*c_0110_6^10 - 122599737872666511533058879147640839219781622505162128/200918080017\ 959215540945131876303379126943281786691*c_0110_6^9 + 218816833616019394296586749334369949645416126494087887/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^8 + 66688400670574039568353107267846810993112061501190385/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^7 - 778582447848843582846530034942601152192916589562208101/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^6 + 101587592582071208279443084004421746715978346112595348/200918080017\ 959215540945131876303379126943281786691*c_0110_6^5 - 62612941649395165152784978336122779355747634484710446/2009180800179\ 59215540945131876303379126943281786691*c_0110_6^4 + 187448103416568566783152845565227570914366388189900604/140642656012\ 5714508786615923134123653888602972506837*c_0110_6^3 - 54421791452849807432792365590215637498964021538370966/1406426560125\ 714508786615923134123653888602972506837*c_0110_6^2 + 9780875371048238259535905620558007550485638782733506/14064265601257\ 14508786615923134123653888602972506837*c_0110_6 - 38066125177284685241646553024803335410945855455199/2009180800179592\ 15540945131876303379126943281786691, c_0110_6^31 - 71/15*c_0110_6^30 + 247/15*c_0110_6^28 - 74/5*c_0110_6^27 + 47/15*c_0110_6^26 + 20*c_0110_6^25 - 184/3*c_0110_6^24 + 623/15*c_0110_6^23 + 727/15*c_0110_6^22 - 409/3*c_0110_6^21 + 538/5*c_0110_6^20 + 758/15*c_0110_6^19 - 3049/15*c_0110_6^18 + 1051/5*c_0110_6^17 - 343/5*c_0110_6^16 - 142/3*c_0110_6^15 + 1279/15*c_0110_6^14 - 344/3*c_0110_6^13 + 2702/15*c_0110_6^12 - 3209/15*c_0110_6^11 + 733/5*c_0110_6^10 - 212/15*c_0110_6^9 - 1627/15*c_0110_6^8 + 2351/15*c_0110_6^7 - 674/5*c_0110_6^6 + 244/3*c_0110_6^5 - 536/15*c_0110_6^4 + 166/15*c_0110_6^3 - 2*c_0110_6^2 + 1/15*c_0110_6 + 1/15 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB