Magma V2.19-8 Tue Aug 20 2013 23:39:19 on localhost [Seed = 3002390253] Type ? for help. Type -D to quit. Loading file "K13n2528__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2528 geometric_solution 9.47507306 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 1 0132 0132 3201 3201 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 -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.356100163601 0.815661238602 0 0 4 3 0132 2310 0132 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 -1 0 1 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.064973859662 0.581309970984 0 0 5 5 2310 0132 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 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 1.736025963460 1.282358406410 6 7 1 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 0 -1 0 0 1 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.172958457058 0.716973102594 4 4 8 1 1302 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335832691967 1.071649123314 9 2 2 8 0132 3201 0132 2310 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 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.388430028840 0.534031610872 3 10 10 9 0132 0132 0321 0213 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.601801598862 0.981680655805 9 3 10 8 1230 0132 0132 0321 0 0 0 0 0 0 0 0 -1 0 0 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 -1 1 0 1 0 0 -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.586125178603 0.748449838656 5 7 3 4 3201 0321 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 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.858722601344 1.876916951174 5 7 10 6 0132 3012 2103 0213 0 0 0 0 0 -1 1 0 0 0 -1 1 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 1 0 -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.474270816626 0.320102765805 9 6 6 7 2103 0132 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0.601801598862 0.981680655805 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_6'], 'c_1010_10' : d['c_1001_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : 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' : negation(d['c_0101_7']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_1001_6'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_0011_5'], 'c_1100_10' : d['c_1001_6'], 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : negation(d['c_0101_1']), 'c_1100_8' : d['c_1100_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : 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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_0']), 'c_0110_8' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_10']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_0']})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_7, c_1001_6, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 11227935679498791307193068129734321268156488492035/7005742448244913\ 206196644381821632159980476596824*c_1100_1^17 + 10810952824471641536962720120069892391723795814646347/6445283052385\ 32014970091283127590158718203846907808*c_1100_1^16 + 190111035073351287926069755527368899264919705688175615/644528305238\ 532014970091283127590158718203846907808*c_1100_1^15 + 244745017842863700675600151848955553197033945413395573/644528305238\ 532014970091283127590158718203846907808*c_1100_1^14 + 6892894805494119031669129679075781334746225375676205/11509434022116\ 643124465915770135538548539354409068*c_1100_1^13 + 134405466273429052549398508746371095617861977103752129/805660381548\ 16501871261410390948769839775480863476*c_1100_1^12 + 434330812322638773743799713588612954172275839891443199/322264152619\ 266007485045641563795079359101923453904*c_1100_1^11 - 193504111173735452331109587650321066967742672786903193/268553460516\ 05500623753803463649589946591826954492*c_1100_1^10 - 549322632376437932392758470889681095717213498063317019/537106921032\ 11001247507606927299179893183653908984*c_1100_1^9 + 4317297049478190471701520742917157223833426235262008993/64452830523\ 8532014970091283127590158718203846907808*c_1100_1^8 + 12267089861019650903978055195245735829541855206271703/8757178060306\ 14150774580547727704019997559574603*c_1100_1^7 - 1726934073672564522790657176682024035640357047946432567/64452830523\ 8532014970091283127590158718203846907808*c_1100_1^6 + 625803796522120450318179135796923085402124604587204747/214842768412\ 844004990030427709196719572734615635936*c_1100_1^5 - 2339435726996298051139895223336551987682613179719967413/21484276841\ 2844004990030427709196719572734615635936*c_1100_1^4 + 56514167935528012103284212789498676208237394715338699/3069182405897\ 7714998575775387028102796104945090848*c_1100_1^3 - 12935468173672958695091134233824135374148272795431037/1150943402211\ 6643124465915770135538548539354409068*c_1100_1^2 + 1344420257046559168755291174912123258788617411105035475/64452830523\ 8532014970091283127590158718203846907808*c_1100_1 + 210427191136138860237837067674742692042606503380605133/644528305238\ 532014970091283127590158718203846907808, c_0011_0 - 1, c_0011_10 - 41614819328759628838561511098469459205/36346340268396660456\ 299056582447059613664*c_1100_1^17 - 173788421327803185207061675167807275467/181731701341983302281495282\ 91223529806832*c_1100_1^16 - 16598274298368866391605576100800254772\ 73/9086585067099165114074764145611764903416*c_1100_1^15 + 7470218838173388735172290665318678336313/36346340268396660456299056\ 582447059613664*c_1100_1^14 + 6187748579191898042919066893989551060\ 749/9086585067099165114074764145611764903416*c_1100_1^13 + 16955078347193675301583203233509061244385/1817317013419833022814952\ 8291223529806832*c_1100_1^12 + 721338034072027649817536537475909329\ 78133/18173170134198330228149528291223529806832*c_1100_1^11 + 115169478072711983151144236559349187989239/908658506709916511407476\ 4145611764903416*c_1100_1^10 + 168521044828669400693184468330100084\ 228641/36346340268396660456299056582447059613664*c_1100_1^9 - 850014657608855337649921275203690782204291/363463402683966604562990\ 56582447059613664*c_1100_1^8 - 747706616864721845121358954170153369\ 158203/36346340268396660456299056582447059613664*c_1100_1^7 + 169093162629006519001845976379513679976037/181731701341983302281495\ 28291223529806832*c_1100_1^6 - 504467696169058595390121862666956368\ 2985/18173170134198330228149528291223529806832*c_1100_1^5 + 171409211246941864479181584746169249274203/908658506709916511407476\ 4145611764903416*c_1100_1^4 + 3285030702349442327418021704507600292\ 8459/36346340268396660456299056582447059613664*c_1100_1^3 + 22544390295249739817784453662096738929327/3634634026839666045629905\ 6582447059613664*c_1100_1^2 - 4459307038941266120274839612028203040\ 9033/9086585067099165114074764145611764903416*c_1100_1 - 74080303690351177672409884276120104570579/3634634026839666045629905\ 6582447059613664, c_0011_4 - 1728972158773921833035128197800889992/1135823133387395639259\ 345518201470612927*c_1100_1^17 - 2117067190314294183493929217759171\ 3811/1135823133387395639259345518201470612927*c_1100_1^16 - 352778494290001479359528905027904391718/113582313338739563925934551\ 8201470612927*c_1100_1^15 - 100221042430151148832468430471102394093\ 8/1135823133387395639259345518201470612927*c_1100_1^14 - 1831788051907513070930969414689366661605/11358231333873956392593455\ 18201470612927*c_1100_1^13 - 38207947286121482403719844817533544236\ 34/1135823133387395639259345518201470612927*c_1100_1^12 - 6200374896127909224245265943381282703193/11358231333873956392593455\ 18201470612927*c_1100_1^11 + 14854856976554515493487710595256765191\ 58/1135823133387395639259345518201470612927*c_1100_1^10 + 20120175183279909707311649429658423264667/1135823133387395639259345\ 518201470612927*c_1100_1^9 + 19375560059775572263783802732276109550\ 656/1135823133387395639259345518201470612927*c_1100_1^8 - 9048387736778672109890525901997069995489/11358231333873956392593455\ 18201470612927*c_1100_1^7 - 202100226561226602813068675177747665803\ 39/1135823133387395639259345518201470612927*c_1100_1^6 - 11219392000935659410546761764514337202830/1135823133387395639259345\ 518201470612927*c_1100_1^5 + 38681459859488828935017372322988320040\ 89/1135823133387395639259345518201470612927*c_1100_1^4 + 7779898912818199370715002816160989187909/11358231333873956392593455\ 18201470612927*c_1100_1^3 + 203715920018431492974098520868614514851\ 5/1135823133387395639259345518201470612927*c_1100_1^2 + 879053077935198988172665643487529262624/113582313338739563925934551\ 8201470612927*c_1100_1 - 311575423958304717735774609692953517526/11\ 35823133387395639259345518201470612927, c_0011_5 - 119558135160430439610361047078978961963/36346340268396660456\ 299056582447059613664*c_1100_1^17 - 696689381271653905966267370915198005795/181731701341983302281495282\ 91223529806832*c_1100_1^16 - 29443921211531818288743183162355690255\ 97/4543292533549582557037382072805882451708*c_1100_1^15 - 55197903039955343201051605642470517332717/3634634026839666045629905\ 6582447059613664*c_1100_1^14 - 226788046434417218860757861849465109\ 97433/9086585067099165114074764145611764903416*c_1100_1^13 - 101173589638538889162057730758133749067617/181731701341983302281495\ 28291223529806832*c_1100_1^12 - 14889287091054407292655713206607955\ 7351497/18173170134198330228149528291223529806832*c_1100_1^11 + 75024415369504490029365782623908601556489/9086585067099165114074764\ 145611764903416*c_1100_1^10 + 1237310402505238912731940546946285963\ 238143/36346340268396660456299056582447059613664*c_1100_1^9 + 517624639291793431109866762792719231215119/363463402683966604562990\ 56582447059613664*c_1100_1^8 - 122368210959245504936532793723538712\ 2901365/36346340268396660456299056582447059613664*c_1100_1^7 - 446530215895027784089318351919828268166983/181731701341983302281495\ 28291223529806832*c_1100_1^6 - 509480686996865316997326056222020770\ 39689/18173170134198330228149528291223529806832*c_1100_1^5 + 19038676952556345102444617985141613860594/1135823133387395639259345\ 518201470612927*c_1100_1^4 + 40696576913211384313074938453929837732\ 4137/36346340268396660456299056582447059613664*c_1100_1^3 - 29841996473567727355586009676592707601023/3634634026839666045629905\ 6582447059613664*c_1100_1^2 - 1242541459692951616266270243184501536\ 9401/4543292533549582557037382072805882451708*c_1100_1 - 106992499678038955150432362076830972590017/363463402683966604562990\ 56582447059613664, c_0101_0 + 1805178839584148831718453922925762190/1135823133387395639259\ 345518201470612927*c_1100_1^17 + 2113126096841752342633390680623425\ 4859/1135823133387395639259345518201470612927*c_1100_1^16 + 356357515456100483749167250882775236282/113582313338739563925934551\ 8201470612927*c_1100_1^15 + 846720166102666179729076939429544648559\ /1135823133387395639259345518201470612927*c_1100_1^14 + 1330864427452293832201164393992747903464/11358231333873956392593455\ 18201470612927*c_1100_1^13 + 28319769442277650381652096290377682517\ 82/1135823133387395639259345518201470612927*c_1100_1^12 + 4075050819708501641941611760620387899318/11358231333873956392593455\ 18201470612927*c_1100_1^11 - 54792429226097427175466538501269757034\ 88/1135823133387395639259345518201470612927*c_1100_1^10 - 21050237207540638905402222725407146577347/1135823133387395639259345\ 518201470612927*c_1100_1^9 - 96708464811415441957736210158217832285\ 53/1135823133387395639259345518201470612927*c_1100_1^8 + 22803689799616761837510773777579425386937/1135823133387395639259345\ 518201470612927*c_1100_1^7 + 21590307868809812719643616057191716225\ 419/1135823133387395639259345518201470612927*c_1100_1^6 + 2031254389448579673940573134080710962335/11358231333873956392593455\ 18201470612927*c_1100_1^5 - 151482406981006871398286398636029330416\ 85/1135823133387395639259345518201470612927*c_1100_1^4 - 9874483191680078379355560203229678825360/11358231333873956392593455\ 18201470612927*c_1100_1^3 - 478096272940636517756113071353308670045\ /1135823133387395639259345518201470612927*c_1100_1^2 + 3970405879851177553117357428015490429565/11358231333873956392593455\ 18201470612927*c_1100_1 + 2045307924967861409596593973104247830279/\ 1135823133387395639259345518201470612927, c_0101_1 - 1805178839584148831718453922925762190/1135823133387395639259\ 345518201470612927*c_1100_1^17 - 2113126096841752342633390680623425\ 4859/1135823133387395639259345518201470612927*c_1100_1^16 - 356357515456100483749167250882775236282/113582313338739563925934551\ 8201470612927*c_1100_1^15 - 846720166102666179729076939429544648559\ /1135823133387395639259345518201470612927*c_1100_1^14 - 1330864427452293832201164393992747903464/11358231333873956392593455\ 18201470612927*c_1100_1^13 - 28319769442277650381652096290377682517\ 82/1135823133387395639259345518201470612927*c_1100_1^12 - 4075050819708501641941611760620387899318/11358231333873956392593455\ 18201470612927*c_1100_1^11 + 54792429226097427175466538501269757034\ 88/1135823133387395639259345518201470612927*c_1100_1^10 + 21050237207540638905402222725407146577347/1135823133387395639259345\ 518201470612927*c_1100_1^9 + 96708464811415441957736210158217832285\ 53/1135823133387395639259345518201470612927*c_1100_1^8 - 22803689799616761837510773777579425386937/1135823133387395639259345\ 518201470612927*c_1100_1^7 - 21590307868809812719643616057191716225\ 419/1135823133387395639259345518201470612927*c_1100_1^6 - 2031254389448579673940573134080710962335/11358231333873956392593455\ 18201470612927*c_1100_1^5 + 151482406981006871398286398636029330416\ 85/1135823133387395639259345518201470612927*c_1100_1^4 + 9874483191680078379355560203229678825360/11358231333873956392593455\ 18201470612927*c_1100_1^3 + 478096272940636517756113071353308670045\ /1135823133387395639259345518201470612927*c_1100_1^2 - 2834582746463781913858011909814019816638/11358231333873956392593455\ 18201470612927*c_1100_1 - 2045307924967861409596593973104247830279/\ 1135823133387395639259345518201470612927, c_0101_10 + 1634976042576936819133132543805381901/908658506709916511407\ 4764145611764903416*c_1100_1^17 + 254647082972531113040472906241277\ 2412/1135823133387395639259345518201470612927*c_1100_1^16 + 364151706960649172436175910999518768895/908658506709916511407476414\ 5611764903416*c_1100_1^15 + 132691937262388484782737734390846294044\ 3/9086585067099165114074764145611764903416*c_1100_1^14 + 7142119848422760134919825151300933737081/90865850670991651140747641\ 45611764903416*c_1100_1^13 + 16612017999671560693822285899162923439\ 055/9086585067099165114074764145611764903416*c_1100_1^12 + 30793132834548216244661905540394797085531/9086585067099165114074764\ 145611764903416*c_1100_1^11 + 5370259317432731364415952535621416429\ 3611/9086585067099165114074764145611764903416*c_1100_1^10 + 31765357823610780569065964847991538276707/4543292533549582557037382\ 072805882451708*c_1100_1^9 - 12791102581580956843682627650185485901\ 271/2271646266774791278518691036402941225854*c_1100_1^8 - 220965711604710703122947925658981729196291/908658506709916511407476\ 4145611764903416*c_1100_1^7 - 7065765338567944971438460613230118324\ 2345/4543292533549582557037382072805882451708*c_1100_1^6 + 110988419347681873272798158557387294354897/908658506709916511407476\ 4145611764903416*c_1100_1^5 + 5983962645500523522336297882870438319\ 9357/4543292533549582557037382072805882451708*c_1100_1^4 + 70288976847692942273866543967251544135001/4543292533549582557037382\ 072805882451708*c_1100_1^3 - 46495378577385524094496864570648801115\ 747/9086585067099165114074764145611764903416*c_1100_1^2 - 17022987466187252278618267280683691489555/4543292533549582557037382\ 072805882451708*c_1100_1 - 1974155617023575621711214358890857897878\ 7/4543292533549582557037382072805882451708, c_0101_2 - 8924999485340027805537592282222210463/3634634026839666045629\ 9056582447059613664*c_1100_1^17 - 197917158398955541029258503441726\ 90101/9086585067099165114074764145611764903416*c_1100_1^16 - 733273589983710962984776560707311157531/181731701341983302281495282\ 91223529806832*c_1100_1^15 + 80948740669120961393191828431608544252\ 5/36346340268396660456299056582447059613664*c_1100_1^14 + 1311479692493089906595768867480718964029/90865850670991651140747641\ 45611764903416*c_1100_1^13 + 32496506719320545767793974916516205005\ 87/18173170134198330228149528291223529806832*c_1100_1^12 + 13470294415738913092166100534587741757793/1817317013419833022814952\ 8291223529806832*c_1100_1^11 + 248230742675750117507511843365348816\ 27061/9086585067099165114074764145611764903416*c_1100_1^10 + 59275005955889659178041824323773535177963/3634634026839666045629905\ 6582447059613664*c_1100_1^9 - 1837365197775230954374571783414913315\ 95911/36346340268396660456299056582447059613664*c_1100_1^8 - 208996253489544712035855172153071307576785/363463402683966604562990\ 56582447059613664*c_1100_1^7 + 302172152022823165693621998195251914\ 2262/1135823133387395639259345518201470612927*c_1100_1^6 + 19423740929604832898529271618243482607819/9086585067099165114074764\ 145611764903416*c_1100_1^5 + 27374506182833331348489696859956470411\ 479/18173170134198330228149528291223529806832*c_1100_1^4 - 16476660674597035134908671835072161548737/3634634026839666045629905\ 6582447059613664*c_1100_1^3 + 2443010628424186470055731925156985347\ 6285/36346340268396660456299056582447059613664*c_1100_1^2 + 13687731523418223808452273695124895708165/1817317013419833022814952\ 8291223529806832*c_1100_1 - 266580474743957045515367117773584723339\ 59/36346340268396660456299056582447059613664, c_0101_7 + 65041783183438047299658427569078932117/363463402683966604562\ 99056582447059613664*c_1100_1^17 + 314669928521796653341361322587765209743/181731701341983302281495282\ 91223529806832*c_1100_1^16 + 14302661227247585162063730421995886807\ 93/4543292533549582557037382072805882451708*c_1100_1^15 + 6060203245367425956283446988983776202231/36346340268396660456299056\ 582447059613664*c_1100_1^14 + 1741548804978189978481898480654960452\ 053/4543292533549582557037382072805882451708*c_1100_1^13 + 26041766457283128075317091568336819940525/1817317013419833022814952\ 8291223529806832*c_1100_1^12 + 277060606096363904026514424267076961\ 8369/18173170134198330228149528291223529806832*c_1100_1^11 - 40585086506841273377799514172744134566157/4543292533549582557037382\ 072805882451708*c_1100_1^10 - 1689083040254322792428383745782906953\ 54173/36346340268396660456299056582447059613664*c_1100_1^9 + 561058166089310796487050860473525480156319/363463402683966604562990\ 56582447059613664*c_1100_1^8 + 259178892787622977034354073275072342\ 630563/36346340268396660456299056582447059613664*c_1100_1^7 - 264667781986789716336560657291182642882789/181731701341983302281495\ 28291223529806832*c_1100_1^6 + 194771904883258698817972986509017631\ 307859/18173170134198330228149528291223529806832*c_1100_1^5 - 125952310412183269426274387545932783339745/908658506709916511407476\ 4145611764903416*c_1100_1^4 + 3072434360454362858661606959246874837\ 84913/36346340268396660456299056582447059613664*c_1100_1^3 - 173609952306951260276819869689196983344479/363463402683966604562990\ 56582447059613664*c_1100_1^2 + 330048778643244364314011597265070640\ 94591/9086585067099165114074764145611764903416*c_1100_1 - 27034557963613013220757136470242251909145/3634634026839666045629905\ 6582447059613664, c_1001_6 - 33210938682551385158541731715708955895/363463402683966604562\ 99056582447059613664*c_1100_1^17 - 161772321072970360312338999501873806777/181731701341983302281495282\ 91223529806832*c_1100_1^16 - 14599765187948866703330037459483846637\ 31/9086585067099165114074764145611764903416*c_1100_1^15 - 3196115678345939010635906132061973649613/36346340268396660456299056\ 582447059613664*c_1100_1^14 - 6335827890607113650194893835111747756\ 97/9086585067099165114074764145611764903416*c_1100_1^13 - 7275357991710855003414755011370049567813/18173170134198330228149528\ 291223529806832*c_1100_1^12 + 9044882414284900629394627120775491078\ 519/18173170134198330228149528291223529806832*c_1100_1^11 + 53467127736417435696877501050955402951829/9086585067099165114074764\ 145611764903416*c_1100_1^10 + 1733735544678571378777622683352755359\ 11563/36346340268396660456299056582447059613664*c_1100_1^9 - 313001522926016842326124042469065721665537/363463402683966604562990\ 56582447059613664*c_1100_1^8 - 403231618894906851813934934097257251\ 669737/36346340268396660456299056582447059613664*c_1100_1^7 + 32126236946772917090508277297609892978311/1817317013419833022814952\ 8291223529806832*c_1100_1^6 - 1144826145690890248387650100224990415\ 1939/18173170134198330228149528291223529806832*c_1100_1^5 + 120539679615395118907000375329568908904265/908658506709916511407476\ 4145611764903416*c_1100_1^4 - 6148548445968961939603999718694217953\ 031/36346340268396660456299056582447059613664*c_1100_1^3 + 4864737673506511984482196685825942702053/36346340268396660456299056\ 582447059613664*c_1100_1^2 - 37209639053320090896289559670006047044\ 915/9086585067099165114074764145611764903416*c_1100_1 - 37141071026398635317943347733005122013713/3634634026839666045629905\ 6582447059613664, c_1100_1^18 + 11*c_1100_1^17 + 190*c_1100_1^16 + 339*c_1100_1^15 + 567*c_1100_1^14 + 1314*c_1100_1^13 + 1516*c_1100_1^12 - 3694*c_1100_1^11 - 8553*c_1100_1^10 - 946*c_1100_1^9 + 8950*c_1100_1^8 + 5009*c_1100_1^7 + 3884*c_1100_1^6 - 7038*c_1100_1^5 - 1743*c_1100_1^4 - 2786*c_1100_1^3 + 1805*c_1100_1^2 + 559*c_1100_1 + 679 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.490 Total time: 0.690 seconds, Total memory usage: 32.09MB