Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 105356141] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3177 geometric_solution 6.32401314 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 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 0.300062512531 0.852104670743 0 3 5 4 0132 0132 0132 0132 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 -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.178149781474 1.116850298652 3 0 4 5 0132 0132 0132 2310 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 -1 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.178149781474 1.116850298652 2 1 6 6 0132 0132 0132 3201 0 0 0 0 0 -1 1 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 1 -1 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.527129933943 0.686342672621 4 4 1 2 1230 3012 0132 0132 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 -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.883575764348 1.105746036655 2 5 5 1 3201 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.212614259616 0.712143197549 6 3 6 3 2031 2310 1302 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 0 -1 1 1 0 -1 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.036991873437 1.401153226971 ==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' : negation(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' : negation(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_6']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 7266193718434381836908809826207677589326870697666372680609544057707\ 13877394344061358461440/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^23 + 1869429823996442557244236107525549847471004852067611020505996375350\ 941743635010591144010336/198714477285664241611542310412513873125662\ 8969536615286655411141034699113251181981433*c_0101_3^22 - 1936033820225833587976746482517686537519718142499110990499452120695\ 7120822355955314444586664/19871447728566424161154231041251387312566\ 28969536615286655411141034699113251181981433*c_0101_3^21 - 5542403080600010579849628537875056525667790069939180746409541438080\ 2922246746148402923236186/19871447728566424161154231041251387312566\ 28969536615286655411141034699113251181981433*c_0101_3^20 + 8131233878203608472817463983746362545094952873899264580784268213566\ 9637486554687678248935985/19871447728566424161154231041251387312566\ 28969536615286655411141034699113251181981433*c_0101_3^19 + 4359925049237692887533670579956162134949072819400317367406125648610\ 58914561272527676664061339/1987144772856642416115423104125138731256\ 628969536615286655411141034699113251181981433*c_0101_3^18 + 4947849558962160600920284500051330924901950089479796814281623712076\ 61066751931896288918082145/1987144772856642416115423104125138731256\ 628969536615286655411141034699113251181981433*c_0101_3^17 + 4660078785311805017262730332370542885671016530906223897337016153834\ 5687790182646780004176661/19871447728566424161154231041251387312566\ 28969536615286655411141034699113251181981433*c_0101_3^16 - 3104460080836499204326711999359437891713341015416456630970404978643\ 58259787486412773603204147/1987144772856642416115423104125138731256\ 628969536615286655411141034699113251181981433*c_0101_3^15 - 2982735949283543913039007929986461455667341871774907805958932259770\ 95770360953907904268006935/1987144772856642416115423104125138731256\ 628969536615286655411141034699113251181981433*c_0101_3^14 - 1796854111403235771732688495858014621312915519061582702488701601002\ 69499287298618053572001907/1987144772856642416115423104125138731256\ 628969536615286655411141034699113251181981433*c_0101_3^13 - 1037027899565683452939615642421506019675605480922418496467942786219\ 29028309133766568843916285/1987144772856642416115423104125138731256\ 628969536615286655411141034699113251181981433*c_0101_3^12 - 7600028566717607362974916873507733059312993812537948299548587757837\ 1203131417202150361305704/19871447728566424161154231041251387312566\ 28969536615286655411141034699113251181981433*c_0101_3^11 - 5292860333291587154348831870151972725124379963244533675774110248983\ 1317533079040669441747565/19871447728566424161154231041251387312566\ 28969536615286655411141034699113251181981433*c_0101_3^10 - 2950155460860439804912255552674242344390384807594001156547942715960\ 2395110012818908712905409/19871447728566424161154231041251387312566\ 28969536615286655411141034699113251181981433*c_0101_3^9 - 1660200691782866848852507885382801044954135875403713896202814296265\ 9169339839712828133063417/19871447728566424161154231041251387312566\ 28969536615286655411141034699113251181981433*c_0101_3^8 - 5676540652408396854096270951988346548640112561979663381034059146328\ 232472247979622103430638/198714477285664241611542310412513873125662\ 8969536615286655411141034699113251181981433*c_0101_3^7 - 1972055809809589526498827920676481761975739544692781821131356804903\ 966296287978121465148835/198714477285664241611542310412513873125662\ 8969536615286655411141034699113251181981433*c_0101_3^6 - 6119134161875329627987427122344522621868008162664032184814542063638\ 94008960984476953748756/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^5 - 5480860610813008403577765079494044318031534427413663787155580674812\ 9078480240941225385846/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^4 - 4447940415330002715180529989967382480440237647005971561906112963861\ 6553210376406602033157/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^3 + 8955844843896220339191745317659672012060356870793532553220979496148\ 423338818731709598380/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^2 - 1017440558734165455815580628461441224129344110090537442078228581429\ 951789510705582427006/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3 + 5723857208983423542134342172111536164373115157638428662101568059300\ 13202590126603303093/1987144772856642416115423104125138731256628969\ 536615286655411141034699113251181981433, c_0011_0 - 1, c_0011_4 + 927469452669303966056610591831711862085191956909065516942582\ 04706528974720/3375938780890240662547811581049820429572304081964653\ 20758117371157174421*c_0101_3^23 + 1741227778981532719958285181463726007582429321728009780607253582459\ 11429568/3375938780890240662547811581049820429572304081964653207581\ 17371157174421*c_0101_3^22 - 26178261973966100648757107040112236808\ 14570910230775354308705113974266998112/3375938780890240662547811581\ 04982042957230408196465320758117371157174421*c_0101_3^21 - 5297402121726619552726838973299206922778037491169401046353855400293\ 844191578/337593878089024066254781158104982042957230408196465320758\ 117371157174421*c_0101_3^20 + 1480205554018114669800278225054459406\ 9348722517279761491006260611773025413372/33759387808902406625478115\ 8104982042957230408196465320758117371157174421*c_0101_3^19 + 4670964353168918204017037163727267635612730028437198949608795466658\ 2080702582/33759387808902406625478115810498204295723040819646532075\ 8117371157174421*c_0101_3^18 + 260735243963790887516735793542285702\ 79986011819933646340814672622046228723736/3375938780890240662547811\ 58104982042957230408196465320758117371157174421*c_0101_3^17 - 2498687289650913255208073988794520268832220651714226861015027846054\ 0462960115/33759387808902406625478115810498204295723040819646532075\ 8117371157174421*c_0101_3^16 - 258685850310352097259029164754813068\ 66626510926256267973047370811136382424141/3375938780890240662547811\ 58104982042957230408196465320758117371157174421*c_0101_3^15 - 6397935343529226864366403195585924664435715685917621248622973679778\ 895683790/337593878089024066254781158104982042957230408196465320758\ 117371157174421*c_0101_3^14 - 7558776828093156132002352958833109579\ 614208588926353508654445728864441316801/337593878089024066254781158\ 104982042957230408196465320758117371157174421*c_0101_3^13 - 8818999759932583740364316465434555453063864048766970151083229785722\ 810386091/337593878089024066254781158104982042957230408196465320758\ 117371157174421*c_0101_3^12 - 6238447521247665488104116077692543693\ 751339485855543273466440229331675980405/337593878089024066254781158\ 104982042957230408196465320758117371157174421*c_0101_3^11 - 2982628398036047829905958269563699171193998872567772129567474837275\ 238821575/337593878089024066254781158104982042957230408196465320758\ 117371157174421*c_0101_3^10 - 1508215286501947532109800603615714357\ 208415525442720364020896993346699816870/337593878089024066254781158\ 104982042957230408196465320758117371157174421*c_0101_3^9 - 1346535098418423186239017796731480503167861632956358046208752388552\ 100173045/337593878089024066254781158104982042957230408196465320758\ 117371157174421*c_0101_3^8 - 22893133535766204419329343775501047680\ 2058820711951648400234740160742822859/33759387808902406625478115810\ 4982042957230408196465320758117371157174421*c_0101_3^7 - 2356274120768229691215326209075896392136914196107546885113925447790\ 23274974/3375938780890240662547811581049820429572304081964653207581\ 17371157174421*c_0101_3^6 - 110548446153870380641321320542312516303\ 725009114078685150801933006534656912/337593878089024066254781158104\ 982042957230408196465320758117371157174421*c_0101_3^5 + 3885000712773743205429915075731357585387595052665727729896615571562\ 163241/337593878089024066254781158104982042957230408196465320758117\ 371157174421*c_0101_3^4 - 17362657651571681838799600915677822076501\ 158534342371962799718762605636647/337593878089024066254781158104982\ 042957230408196465320758117371157174421*c_0101_3^3 + 1478118388566430628360095701401598503630238328632916954419583212629\ 011964/337593878089024066254781158104982042957230408196465320758117\ 371157174421*c_0101_3^2 - 52627043271333190647259190632319486496852\ 3622964453317612499443364880685/33759387808902406625478115810498204\ 2957230408196465320758117371157174421*c_0101_3 - 1468172963067501674378640239509785143317431889959636824280507224531\ 11126/3375938780890240662547811581049820429572304081964653207581173\ 71157174421, c_0011_5 - 929805652956352289641041262331567222308290905069546285672057\ 662404323645343048481054560/198714477285664241611542310412513873125\ 6628969536615286655411141034699113251181981433*c_0101_3^23 - 2456193586994233162786781889316329113635854713370814699692469488883\ 685367508097941104504/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^22 + 2473143290835244978695406308260504984300038302831814120598493711986\ 6816149763074673993290/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^21 + 7291745390034173920802905202807245598790932370178720329812295665817\ 4311398026878802372409/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^20 - 1024802627254490578518861289362037452824690392799167780210186670394\ 61752487516526428324237/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^19 - 5737270956413880298952886944956715245095846416937744505231211240924\ 65658722332192062057595/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^18 - 6560463088005468450091459690558663531068717607700103658381108004711\ 15296463340963969554143/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^17 - 3283713900988844324666677442046021013515780685437989983045642099925\ 5354333661788113425886/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^16 + 4614556948271759365804986122113894989537270527107079361325878920326\ 25385217807653368571754/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^15 + 4008605173910688910763199914482087793803073482461676127481567839489\ 75012396509441272684931/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^14 + 2045650105587973318022157939233496223591457959744649129095548700130\ 56729380164354790725148/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^13 + 1103772332373869596315070553916357560116582360281888361982000156130\ 06974024748528103492083/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^12 + 8503733347915937117506015532747194211591133198072157908766482556263\ 0740999167324343739151/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^11 + 6109805144521072522788449014315837236900489039253892892684347151086\ 6126081310833871163320/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^10 + 3255598257291952415821479687913809366246930531797475322242449309124\ 5986288420023922136277/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^9 + 1749646954462905323019314664173618511394671997614801608363230682768\ 1715456584123392196113/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^8 + 5403022479321428821686654689402897666863971446057786585838531167230\ 488521161702158847801/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^7 + 1031465507407677795769899070959190856036205383285790756661681443544\ 659070782729336316619/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^6 + 4664897181788353937294719314259107981500150617337239956583361738031\ 65684054225152834613/1987144772856642416115423104125138731256628969\ 536615286655411141034699113251181981433*c_0101_3^5 - 2718900729166283393947352030414101433479574542980411145479216147968\ 0377415182108622474/19871447728566424161154231041251387312566289695\ 36615286655411141034699113251181981433*c_0101_3^4 + 5509786449720571410725165732329115070145721123448680521681330627583\ 055861151742717348/198714477285664241611542310412513873125662896953\ 6615286655411141034699113251181981433*c_0101_3^3 + 6734428494004777764573715778012439106221915532312022840259677702039\ 024367946468308737/198714477285664241611542310412513873125662896953\ 6615286655411141034699113251181981433*c_0101_3^2 - 1937323288087181566131998552405789853457093446460209018833379052630\ 003980589807118547/198714477285664241611542310412513873125662896953\ 6615286655411141034699113251181981433*c_0101_3 + 5639703110795535193950843972666460262821002548963000020522617581884\ 04322823906948987/1987144772856642416115423104125138731256628969536\ 615286655411141034699113251181981433, c_0011_6 - 251982406427604571554698224124876072883006522175661281560297\ 452087528298720/337593878089024066254781158104982042957230408196465\ 320758117371157174421*c_0101_3^23 - 5958610132153492689598793369455133879861902777541080284887405108465\ 18190168/3375938780890240662547811581049820429572304081964653207581\ 17371157174421*c_0101_3^22 + 68608728422988351125580696420209734436\ 85865886302013725077572421991210149522/3375938780890240662547811581\ 04982042957230408196465320758117371157174421*c_0101_3^21 + 1784238951689755941147924570494044143216020928720452711610678058425\ 8650337717/33759387808902406625478115810498204295723040819646532075\ 8117371157174421*c_0101_3^20 - 325483122867678038538280182432840556\ 34470666505740276663333728245268407199435/3375938780890240662547811\ 58104982042957230408196465320758117371157174421*c_0101_3^19 - 1459271185865757317077589654385472401256482817575479383690696616662\ 61537888938/3375938780890240662547811581049820429572304081964653207\ 58117371157174421*c_0101_3^18 - 13789054290472466473165955386062489\ 2027307311157672632798711250385484799240459/33759387808902406625478\ 1158104982042957230408196465320758117371157174421*c_0101_3^17 + 2532687989664003221076941393944430374760370212117418403411539628963\ 0221143103/33759387808902406625478115810498204295723040819646532075\ 8117371157174421*c_0101_3^16 + 112116192296576779872927338298471274\ 341269311929388025769250789417834549145473/337593878089024066254781\ 158104982042957230408196465320758117371157174421*c_0101_3^15 + 7451836047810598476591829013083642724882570605103326610136634964878\ 6279934130/33759387808902406625478115810498204295723040819646532075\ 8117371157174421*c_0101_3^14 + 362597867678875221209501111196956312\ 95856492983261501084561480990003166543241/3375938780890240662547811\ 58104982042957230408196465320758117371157174421*c_0101_3^13 + 2363470434262421368989266256474898813601725021633647348130486088020\ 9813030626/33759387808902406625478115810498204295723040819646532075\ 8117371157174421*c_0101_3^12 + 199858364579211870651720777019800842\ 47961757462159855511912206692352224598634/3375938780890240662547811\ 58104982042957230408196465320758117371157174421*c_0101_3^11 + 1317829051554164110311851740976380414247745382972047054179748173517\ 7162851752/33759387808902406625478115810498204295723040819646532075\ 8117371157174421*c_0101_3^10 + 642092649088627113651431190389627683\ 8233846975815288368360576560853755659821/33759387808902406625478115\ 8104982042957230408196465320758117371157174421*c_0101_3^9 + 3785038894887856570673819466729500291230107065938587316947403700584\ 316326931/337593878089024066254781158104982042957230408196465320758\ 117371157174421*c_0101_3^8 + 96570422991897984898607222714122703725\ 2735807887398175592228256060648253403/33759387808902406625478115810\ 4982042957230408196465320758117371157174421*c_0101_3^7 + 3390346841516402112680856478505528405341234928955206470581372611737\ 81856785/3375938780890240662547811581049820429572304081964653207581\ 17371157174421*c_0101_3^6 + 174602252216670149158753635647016915047\ 990489969057635487535426918002125820/337593878089024066254781158104\ 982042957230408196465320758117371157174421*c_0101_3^5 + 5090993479091333827961565440975876429079652514676455280420439005743\ 64574/3375938780890240662547811581049820429572304081964653207581173\ 71157174421*c_0101_3^4 + 157437153382750666022181560951626599090746\ 69809667528588432895748658132061/3375938780890240662547811581049820\ 42957230408196465320758117371157174421*c_0101_3^3 - 6954842666224109161813201476029617611175789788133098806821017027280\ 72602/3375938780890240662547811581049820429572304081964653207581173\ 71157174421*c_0101_3^2 + 966840071686849503066226594790379176505919\ 27541763708334015149852365929/3375938780890240662547811581049820429\ 57230408196465320758117371157174421*c_0101_3 + 1802590868674410860925207658898309344764353060024419837848362335341\ 00097/3375938780890240662547811581049820429572304081964653207581173\ 71157174421, c_0101_0 - 424679439899544400845649098035605632003006613823025918338720\ 43177645527055399932899920/1987144772856642416115423104125138731256\ 628969536615286655411141034699113251181981433*c_0101_3^23 - 3458867622046285896379690926258950495889650912003836889971188612370\ 12658747115641711388/1987144772856642416115423104125138731256628969\ 536615286655411141034699113251181981433*c_0101_3^22 + 5382218086387402119184587694979461057315001134717958949691662997936\ 77704396224610474681/1987144772856642416115423104125138731256628969\ 536615286655411141034699113251181981433*c_0101_3^21 + 9614142321649032823586324401381398342453776672534927696946531371256\ 478934060399492302531/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^20 + 1296234162477540211193410213105761969741557740590102506973760843485\ 4788558166480825275582/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^19 - 5395538030627245416539636003104556265666270772531483429869967160461\ 8499500823035986344097/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^18 - 1714994391127922998465506562697797680521732694824409702559082821518\ 29834045880937600717338/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^17 - 1509869147196236334513074482870534087072133436541540479587862654260\ 07277581024529464300197/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^16 + 3222125603309519332566537427251168590899356170188014826635705700483\ 1551298423700335996452/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^15 + 1392741591880587878990894606529484433202064685560154612552787591724\ 49353496352716691944132/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^14 + 9867443868516209943994091037555157421954295166370488167634279485865\ 9428899713331461942838/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^13 + 4090770609498091179537909681667093444474442674856752409268690769520\ 9699284633743225605629/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^12 + 2236117243113881144629983551875929214538997001798515423105290044255\ 1806206402474165525508/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^11 + 2161919124116139335899988365859211573340310816496891470942736297637\ 1334776222231983136756/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^10 + 1556685267827631905023728558383715948325709821121497681834432648461\ 4707968303551511065550/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^9 + 7422980596019209352753873119217301440248125999651466464209942736523\ 131180745052802708845/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^8 + 3590963349728999641346701833290142413257349009887907389139448030347\ 818903140045939490019/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^7 + 9797237555791295820941700523743432902883905931184385537266600718677\ 06667770693857821384/1987144772856642416115423104125138731256628969\ 536615286655411141034699113251181981433*c_0101_3^6 + 2527025014141339763627550214260713673576284753600515912555403120285\ 33890112027730843434/1987144772856642416115423104125138731256628969\ 536615286655411141034699113251181981433*c_0101_3^5 + 1087625086858035519940491822752283931269773434004710223565580649267\ 05744465100321756837/1987144772856642416115423104125138731256628969\ 536615286655411141034699113251181981433*c_0101_3^4 + 2688348598989436016222013345933864233537049996467899379781868234375\ 8722293414189302967/19871447728566424161154231041251387312566289695\ 36615286655411141034699113251181981433*c_0101_3^3 + 1645182156238871421772091131689780655474247318965504620827499378212\ 8512821357076446002/19871447728566424161154231041251387312566289695\ 36615286655411141034699113251181981433*c_0101_3^2 - 9047963730625344595716375632864383537417927379146303563889971970531\ 215538762443467/198714477285664241611542310412513873125662896953661\ 5286655411141034699113251181981433*c_0101_3 + 5883865899158244274594469088951492728961120797577664456966003271072\ 72367665116187810/1987144772856642416115423104125138731256628969536\ 615286655411141034699113251181981433, c_0101_1 - 209240608898326101614118487184841800209349901340988348585104\ 7625769582230802684349693760/19871447728566424161154231041251387312\ 56628969536615286655411141034699113251181981433*c_0101_3^23 - 4979091780899379532040566411174761540504689040793085716512164773399\ 324035221692479283344/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^22 + 5683567542802972298464033690752771871925426276446380478840905088019\ 4557248142513329257356/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^21 + 1488983940298035259415240768277360027904645569601696641902357399638\ 32846241006976565374382/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^20 - 2662876192401261356278786509744480722597118115108859317005960291946\ 65800908988885020863138/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^19 - 1212349137998291358484154438456142206491755487126851352754958056462\ 372433412998643537826379/198714477285664241611542310412513873125662\ 8969536615286655411141034699113251181981433*c_0101_3^18 - 1173918055516045633045207946434899345457799361101594819434280283547\ 564475319461224811708236/198714477285664241611542310412513873125662\ 8969536615286655411141034699113251181981433*c_0101_3^17 + 1612136982970202217897941452898535709454108806969289933827050206610\ 13090109110433472360741/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^16 + 9226520846858128327323256261063710894151348108940987736828800824001\ 10846559440431540295178/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^15 + 6658420633055705168256589944706687915035250463319390786101241957676\ 47060099456112759232691/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^14 + 3410776307209966005722386379649502325030467811752689666666823729278\ 08570922444916133488949/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^13 + 2008405110606982976319399872898376111633281534943728022831840934748\ 43893214439623877911828/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^12 + 1601801429960582619551571869665419184798281855701651757212400373482\ 89471297196482899962053/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^11 + 1086731044755687298649228033511967638290614801568906042505925999901\ 30214165153158683326671/1987144772856642416115423104125138731256628\ 969536615286655411141034699113251181981433*c_0101_3^10 + 5564941511270817471428965673980408988044013112348756995919875194029\ 6712357074397418909832/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^9 + 3228359323599979044388031679365083804215730279668327732700474350487\ 5988609328427467113573/19871447728566424161154231041251387312566289\ 69536615286655411141034699113251181981433*c_0101_3^8 + 7543096367976411423159138643490947018896855533407735224818194570862\ 849806436455020393010/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^7 + 2429632270687989741279077230222582606116647819949961397478026471571\ 229892140342004470553/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^6 + 1012825942408758880876427336525133962579059840941362517848390855220\ 168659586963663690729/198714477285664241611542310412513873125662896\ 9536615286655411141034699113251181981433*c_0101_3^5 - 1102327694340316270560184975400492260872858964703297262956115535571\ 38165679162520771980/1987144772856642416115423104125138731256628969\ 536615286655411141034699113251181981433*c_0101_3^4 + 1347866018950698766878584699726449437763778136273038955698210983854\ 24507341832230867774/1987144772856642416115423104125138731256628969\ 536615286655411141034699113251181981433*c_0101_3^3 - 1362695604087292704813234219645072355603810086503464045453799860817\ 6962899125972225847/19871447728566424161154231041251387312566289695\ 36615286655411141034699113251181981433*c_0101_3^2 + 2953859858396205210711579295411753622729186895029368493236404864327\ 271932084423018262/198714477285664241611542310412513873125662896953\ 6615286655411141034699113251181981433*c_0101_3 - 4507187952411981493333448677241038754781059478251682680619616209555\ 23113634576107580/1987144772856642416115423104125138731256628969536\ 615286655411141034699113251181981433, c_0101_3^24 + 1459/660*c_0101_3^23 - 218623/7920*c_0101_3^22 - 263927/3960*c_0101_3^21 + 74125/528*c_0101_3^20 + 49303/88*c_0101_3^19 + 603181/1320*c_0101_3^18 - 763429/3960*c_0101_3^17 - 871747/1980*c_0101_3^16 - 201863/880*c_0101_3^15 - 1823/20*c_0101_3^14 - 42593/660*c_0101_3^13 - 122267/1980*c_0101_3^12 - 9241/240*c_0101_3^11 - 42083/2640*c_0101_3^10 - 6613/660*c_0101_3^9 - 7877/7920*c_0101_3^8 - 3961/7920*c_0101_3^7 - 961/2640*c_0101_3^6 + 31/240*c_0101_3^5 - 97/1584*c_0101_3^4 + 1/72*c_0101_3^3 - 1/792*c_0101_3^2 - 1/1980*c_0101_3 + 1/7920 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB