Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 981182204] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0304 geometric_solution 4.34409861 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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 1.348403467629 0.086165274751 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 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 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 1.123459178392 0.076128796752 3 1 1 3 0132 0132 1023 1023 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 0 0 0 0 0 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.173120264557 0.197344854632 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 -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 1 -1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.890026208215 0.548398430451 6 3 6 5 0132 0132 2310 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610141803018 0.778757843931 6 4 6 3 3201 2310 1023 0132 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 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.610141803018 0.778757843931 4 4 5 5 0132 3201 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547582873891 0.306818680618 ==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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(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' : negation(d['1']), 's_0_6' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0101_0, c_0101_2, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1993448588832497062483936265138037762721473187429502616002896601706\ 1/17895902076518674096662732806067423000503651058668838759002588757\ 8*c_0101_6^25 + 948950890154980885734969531556827332943975142943311\ 45780579350642519/1789590207651867409666273280606742300050365105866\ 88387590025887578*c_0101_6^24 + 11335992362479405740493750493891398\ 04767189548769968417716836554016989/1789590207651867409666273280606\ 74230005036510586688387590025887578*c_0101_6^23 + 1648600930537997089217794756034875496685881069546675441045077315921\ 370/894795103825933704833136640303371150025182552933441937950129437\ 89*c_0101_6^22 + 61010741374042341868559803372160881174100729654039\ 9769992083774309083/68830392601994900371779741561797780771167888687\ 18784138077918753*c_0101_6^21 + 22488721422254929320742959179309191\ 334727244682367407867414594800440408/894795103825933704833136640303\ 37115002518255293344193795012943789*c_0101_6^20 + 1207299946866993738451982879453500986044201376297184351959946454502\ 42831/1789590207651867409666273280606742300050365105866883875900258\ 87578*c_0101_6^19 + 28914431703152883367308775393667193475247237224\ 3386580614962422270196213/17895902076518674096662732806067423000503\ 6510586688387590025887578*c_0101_6^18 + 8837075020718479485814410479223236473818939747880104486641061350561\ 891/288643581879333453171979561388184241943607275139819979983912721\ 9*c_0101_6^17 + 329063580006333294691277012812045795828681372008955\ 23902541992765858986/6883039260199490037177974156179778077116788868\ 718784138077918753*c_0101_6^16 + 1668518989191147934469868573969700\ 2596101174318215470889928362871723725/30855003580204610511487470355\ 28866034569595010115317027414239441*c_0101_6^15 + 5119479638947083310665660176278575266652874774084121686293247847158\ 86037/1789590207651867409666273280606742300050365105866883875900258\ 87578*c_0101_6^14 - 28194846802779058669380119510598012783285805625\ 9766508512238136588831905/17895902076518674096662732806067423000503\ 6510586688387590025887578*c_0101_6^13 - 7844395484205860262028441370957204577602682279906631230822821394551\ 8633/13766078520398980074355948312359556154233577737437568276155837\ 506*c_0101_6^12 - 1472386193689959410689441645231582757171333007231\ 169502827556576410471615/178959020765186740966627328060674230005036\ 510586688387590025887578*c_0101_6^11 - 2662226262883121915314542985543596631419724949589361711279610083398\ 86586/8947951038259337048331366403033711500251825529334419379501294\ 3789*c_0101_6^10 + 517062587578315428131388314024551985557292866754\ 709550043026022431707735/178959020765186740966627328060674230005036\ 510586688387590025887578*c_0101_6^9 + 1526978038940207673094813934314392047854692338214330069340934251867\ 31269/1789590207651867409666273280606742300050365105866883875900258\ 87578*c_0101_6^8 - 144479958525935839936218518828484302902962317292\ 905629374215593409965/137660785203989800743559483123595561542335777\ 37437568276155837506*c_0101_6^7 + 122682361853268891769459154490697\ 731294386374492010530914797341888602551/178959020765186740966627328\ 060674230005036510586688387590025887578*c_0101_6^6 + 9019479499902717480846683284850310391005446082168778070953043027209\ 772/894795103825933704833136640303371150025182552933441937950129437\ 89*c_0101_6^5 - 210116847490351542275624880909702014244183011381916\ 72090433449318517969/1789590207651867409666273280606742300050365105\ 86688387590025887578*c_0101_6^4 - 242022809242478730923872718140057\ 7798470601121248451321913337940001307/17895902076518674096662732806\ 0674230005036510586688387590025887578*c_0101_6^3 - 5847797798071458411677740851362828914635136400143085987061655604557\ 87/1789590207651867409666273280606742300050365105866883875900258875\ 78*c_0101_6^2 - 709071529221948312278609094299735054895989690016203\ 434136739144631857/178959020765186740966627328060674230005036510586\ 688387590025887578*c_0101_6 - 5261868050881682379859531890031559800\ 5209026310150441155293585053454/89479510382593370483313664030337115\ 002518255293344193795012943789, c_0011_0 - 1, c_0011_1 + 643106196069902810288169704116472848046465406383958208767394\ 9/7656328431812558439575054678731677505135471489119893368273547*c_0\ 101_6^25 + 30393841564470114734131510148408356364737277588800849709\ 955542/765632843181255843957505467873167750513547148911989336827354\ 7*c_0101_6^24 + 364743015357703767030602837172312272451196642108522\ 721106501880/765632843181255843957505467873167750513547148911989336\ 8273547*c_0101_6^23 + 105155920732645978235952640083692415913639945\ 2145354885678280302/76563284318125584395750546787316775051354714891\ 19893368273547*c_0101_6^22 + 50856367576464789266396197650746225812\ 19722459897048709293983625/7656328431812558439575054678731677505135\ 471489119893368273547*c_0101_6^21 + 14347701869509191027562485636912398081864312518668086476520936197/7\ 656328431812558439575054678731677505135471489119893368273547*c_0101\ _6^20 + 38515160260328687629160299483750353235750800576633824254872\ 889605/765632843181255843957505467873167750513547148911989336827354\ 7*c_0101_6^19 + 921226405403056831018026039575958885736796144866799\ 53414057484753/7656328431812558439575054678731677505135471489119893\ 368273547*c_0101_6^18 + 1740384784283294426732646797871325554840469\ 61839702536453122223328/7656328431812558439575054678731677505135471\ 489119893368273547*c_0101_6^17 + 2710955740251426806720943162142925\ 53521392884508773897542351621449/7656328431812558439575054678731677\ 505135471489119893368273547*c_0101_6^16 + 304890078021104869345536613358709313111384747379145804701141570317/\ 7656328431812558439575054678731677505135471489119893368273547*c_010\ 1_6^15 + 1578213241413421900072823317002467030207792436325177579532\ 78016363/7656328431812558439575054678731677505135471489119893368273\ 547*c_0101_6^14 - 9281261941909371881443174115605312003974569750158\ 9282437475857389/76563284318125584395750546787316775051354714891198\ 93368273547*c_0101_6^13 - 32377687510698290717500961718876976046661\ 9024218050622896735665971/76563284318125584395750546787316775051354\ 71489119893368273547*c_0101_6^12 - 464519355267079880635643153029299187140157047954242731672867352437/\ 7656328431812558439575054678731677505135471489119893368273547*c_010\ 1_6^11 - 1591167193073911600316469137922864095080185842803743376187\ 59964762/7656328431812558439575054678731677505135471489119893368273\ 547*c_0101_6^10 + 1671771140093516786495822177884660729555900421731\ 31319860152579807/7656328431812558439575054678731677505135471489119\ 893368273547*c_0101_6^9 + 41642883720147343613335763098540783111020\ 315776810735547992479684/765632843181255843957505467873167750513547\ 1489119893368273547*c_0101_6^8 - 8381545794987179816076529480769477\ 14069086858500451205486459924/7656328431812558439575054678731677505\ 135471489119893368273547*c_0101_6^7 + 39598892455300783549885405532154477632452693144575106482725584467/7\ 656328431812558439575054678731677505135471489119893368273547*c_0101\ _6^6 + 463705686798981053902436591719263985004628537735970005158954\ 2356/7656328431812558439575054678731677505135471489119893368273547*\ c_0101_6^5 - 652106216391143507059254085431219927707372280222654332\ 5277396502/76563284318125584395750546787316775051354714891198933682\ 73547*c_0101_6^4 - 535664452298032366805288813727597908684384531526\ 472215747436919/765632843181255843957505467873167750513547148911989\ 3368273547*c_0101_6^3 - 1865572240713884343542536909410586990745365\ 16204008526924652185/7656328431812558439575054678731677505135471489\ 119893368273547*c_0101_6^2 - 21986682079619879157191379340746794086\ 8394957732531408014853157/76563284318125584395750546787316775051354\ 71489119893368273547*c_0101_6 - 27568868243079494840507099109649119\ 966807010166597957306790651/765632843181255843957505467873167750513\ 5471489119893368273547, c_0101_0 - 294120827761040565611341379741108534870105965422104485411339\ 8/7656328431812558439575054678731677505135471489119893368273547*c_0\ 101_6^25 - 13310938561427741462698439106735515781824831569159179431\ 911222/765632843181255843957505467873167750513547148911989336827354\ 7*c_0101_6^24 - 164037188443229233964133534848164460024299516143330\ 582040070281/765632843181255843957505467873167750513547148911989336\ 8273547*c_0101_6^23 - 447569350902338177201462557291726937478499660\ 757313608809490764/765632843181255843957505467873167750513547148911\ 9893368273547*c_0101_6^22 - 223019645181549164045951630578635909964\ 5366504468173356964051330/76563284318125584395750546787316775051354\ 71489119893368273547*c_0101_6^21 - 6098995327484063122900788943943324426924035398662124902424957563/76\ 56328431812558439575054678731677505135471489119893368273547*c_0101_\ 6^20 - 163114010085737846708473762032791413662556820788985611701513\ 50825/7656328431812558439575054678731677505135471489119893368273547\ *c_0101_6^19 - 3864551048342430583794295438326589891150190274264571\ 5746011118812/76563284318125584395750546787316775051354714891198933\ 68273547*c_0101_6^18 - 71265050981725716692208147397780572410653076\ 125334321761004031185/765632843181255843957505467873167750513547148\ 9119893368273547*c_0101_6^17 - 108320726295383259563604390960205198\ 578687162841885207936128237970/765632843181255843957505467873167750\ 5135471489119893368273547*c_0101_6^16 - 115196126183029927687528190490252360067279374389020204636544202641/\ 7656328431812558439575054678731677505135471489119893368273547*c_010\ 1_6^15 - 4523402950472339455097751609551326985059145282193713941218\ 2591037/76563284318125584395750546787316775051354714891198933682735\ 47*c_0101_6^14 + 55603279598609639803389350848484744743401823672841\ 476431556688205/765632843181255843957505467873167750513547148911989\ 3368273547*c_0101_6^13 + 138574431955135388456516996187242400010407\ 109026999091354825523435/765632843181255843957505467873167750513547\ 1489119893368273547*c_0101_6^12 + 182899509827284875324324621679815\ 488850529562740686869483349680594/765632843181255843957505467873167\ 7505135471489119893368273547*c_0101_6^11 + 31416068211694674342153314644699651933998475331652441885823610594/7\ 656328431812558439575054678731677505135471489119893368273547*c_0101\ _6^10 - 89072435738515554197184133336757098386749770920613187864633\ 445689/765632843181255843957505467873167750513547148911989336827354\ 7*c_0101_6^9 - 2070436686281793522230708452102187598229769113578654\ 240019504407/765632843181255843957505467873167750513547148911989336\ 8273547*c_0101_6^8 + 3567733754680398131968722464295978304269896641\ 740317250801894785/765632843181255843957505467873167750513547148911\ 9893368273547*c_0101_6^7 - 1906779292070080210025278173524923397311\ 2502004627004007047335290/76563284318125584395750546787316775051354\ 71489119893368273547*c_0101_6^6 + 176944817034382615229210246375140\ 5487974702191046246523073607647/76563284318125584395750546787316775\ 05135471489119893368273547*c_0101_6^5 + 3148536330571270786676798154325812024412895559695297140399661698/76\ 56328431812558439575054678731677505135471489119893368273547*c_0101_\ 6^4 - 4847218845440667467968103050343144318109656442118907017748603\ 59/7656328431812558439575054678731677505135471489119893368273547*c_\ 0101_6^3 + 10591204710605489991478522743528948301616133845424388952\ 9356040/76563284318125584395750546787316775051354714891198933682735\ 47*c_0101_6^2 + 828977666678315037475201897980113419579398147693042\ 58718465291/7656328431812558439575054678731677505135471489119893368\ 273547*c_0101_6 - 1672936738129531304727625402441199422513594229613\ 532841482678/765632843181255843957505467873167750513547148911989336\ 8273547, c_0101_2 - 376015545799924702372515372272292027951040834361160544633816\ 2/7656328431812558439575054678731677505135471489119893368273547*c_0\ 101_6^25 - 17725398711617570331047098224890318974278250448474339763\ 594089/765632843181255843957505467873167750513547148911989336827354\ 7*c_0101_6^24 - 212934782754371312481655267778373483050521416537391\ 193380176750/765632843181255843957505467873167750513547148911989336\ 8273547*c_0101_6^23 - 611797291947280051077795647786925650496102932\ 194285442146725721/765632843181255843957505467873167750513547148911\ 9893368273547*c_0101_6^22 - 296007487850126182463863859475798593230\ 8176692060080233718711231/76563284318125584395750546787316775051354\ 71489119893368273547*c_0101_6^21 - 8338497078252493846177922398471191520774531646202502279686561988/76\ 56328431812558439575054678731677505135471489119893368273547*c_0101_\ 6^20 - 223394465087594557757761558316846791941802172599186734503484\ 89917/7656328431812558439575054678731677505135471489119893368273547\ *c_0101_6^19 - 5339179930104992102679632021687639542839139732354171\ 2334901686213/76563284318125584395750546787316775051354714891198933\ 68273547*c_0101_6^18 - 10056866132342540516857458047625600130349544\ 8151814953118940317550/76563284318125584395750546787316775051354714\ 89119893368273547*c_0101_6^17 - 15602656136158979710511072092908520\ 2464923723787624280875669155286/76563284318125584395750546787316775\ 05135471489119893368273547*c_0101_6^16 - 174139250713290291173673694957587357163785438361439760351768854384/\ 7656328431812558439575054678731677505135471489119893368273547*c_010\ 1_6^15 - 8686216819982862860278119543253200639209743319227485785869\ 8624078/76563284318125584395750546787316775051354714891198933682735\ 47*c_0101_6^14 + 58535596027163907522969211231138643794429827254622\ 903019090315214/765632843181255843957505467873167750513547148911989\ 3368273547*c_0101_6^13 + 189281765478887171357175051217034389622124\ 200568982606069316308587/765632843181255843957505467873167750513547\ 1489119893368273547*c_0101_6^12 + 267167562580837604130822511743225\ 536524012700794510999531115764671/765632843181255843957505467873167\ 7505135471489119893368273547*c_0101_6^11 + 85467470645347418937914423241064220037555027989098565825477655331/7\ 656328431812558439575054678731677505135471489119893368273547*c_0101\ _6^10 - 10413880982550558889807648415790881308426479840574958417947\ 8726115/76563284318125584395750546787316775051354714891198933682735\ 47*c_0101_6^9 - 224865989331424671242979867723362163216857139913677\ 54405440861961/7656328431812558439575054678731677505135471489119893\ 368273547*c_0101_6^8 + 35285111444948480016862401115432762053381835\ 82807400109773424399/7656328431812558439575054678731677505135471489\ 119893368273547*c_0101_6^7 - 24217628773447156163436016532616701916\ 956456021506754290865309422/765632843181255843957505467873167750513\ 5471489119893368273547*c_0101_6^6 - 1984463025305450657806228874740676610030172828168452568271869423/76\ 56328431812558439575054678731677505135471489119893368273547*c_0101_\ 6^5 + 4367920790669310725753297648260946992441013186193098724747633\ 811/7656328431812558439575054678731677505135471489119893368273547*c\ _0101_6^4 - 1400318297233224960421985884450715550346630188284790426\ 732351/765632843181255843957505467873167750513547148911989336827354\ 7*c_0101_6^3 + 9835050807175675959740647114247811370580581213187579\ 5030320723/76563284318125584395750546787316775051354714891198933682\ 73547*c_0101_6^2 + 140172440411087544796154521737946076555393751091\ 538589138564777/765632843181255843957505467873167750513547148911989\ 3368273547*c_0101_6 + 961939335085715587858966411996515630151543078\ 8360726378513824/76563284318125584395750546787316775051354714891198\ 93368273547, c_0101_3 + 225527347636414888495849504651366597963513537174412653798083\ 4/7656328431812558439575054678731677505135471489119893368273547*c_0\ 101_6^25 + 10673281225147335976137043728822494329942784517995524334\ 644572/765632843181255843957505467873167750513547148911989336827354\ 7*c_0101_6^24 + 127931838849968293121857583475237515300174176284481\ 476735265726/765632843181255843957505467873167750513547148911989336\ 8273547*c_0101_6^23 + 369385597667078096110630180500898378567774387\ 082811099588825524/765632843181255843957505467873167750513547148911\ 9893368273547*c_0101_6^22 + 178322776537299671412616700940876141926\ 8908836869442234942615465/76563284318125584395750546787316775051354\ 71489119893368273547*c_0101_6^21 + 5036057665850140832410281824558869568615493588758590252057486702/76\ 56328431812558439575054678731677505135471489119893368273547*c_0101_\ 6^20 + 135035844313702915470911874815341722242828722720594637100147\ 48985/7656328431812558439575054678731677505135471489119893368273547\ *c_0101_6^19 + 3229699192537486505844112198451546849078840440023502\ 6632862836947/76563284318125584395750546787316775051354714891198933\ 68273547*c_0101_6^18 + 60980508308377592208030426358970361625246545\ 166721027677791572614/765632843181255843957505467873167750513547148\ 9119893368273547*c_0101_6^17 + 948447401552817796889123386485292198\ 45421895512813249294746547733/7656328431812558439575054678731677505\ 135471489119893368273547*c_0101_6^16 + 106385843111706295056842523050508285178267838326079801516739067127/\ 7656328431812558439575054678731677505135471489119893368273547*c_010\ 1_6^15 + 5425905026413483032934926359847566474315823602219891853291\ 1513539/76563284318125584395750546787316775051354714891198933682735\ 47*c_0101_6^14 - 34141202822701670543378934607421453491816368693784\ 032198419632137/765632843181255843957505467873167750513547148911989\ 3368273547*c_0101_6^13 - 114696711895105836510053235732672027976330\ 921049141898472475713397/765632843181255843957505467873167750513547\ 1489119893368273547*c_0101_6^12 - 163055982136377764783087251539057\ 342094412656085547367989405880340/765632843181255843957505467873167\ 7505135471489119893368273547*c_0101_6^11 - 54835591538979002802770212479538307813364740971399847424545112960/7\ 656328431812558439575054678731677505135471489119893368273547*c_0101\ _6^10 + 61204912603568843433064415965665545700160981784875887559127\ 479529/765632843181255843957505467873167750513547148911989336827354\ 7*c_0101_6^9 + 1571400057673500527300350300704059959247404626334352\ 9830684506862/76563284318125584395750546787316775051354714891198933\ 68273547*c_0101_6^8 - 109097765252164841673722886942620135659109115\ 8747338469525548279/76563284318125584395750546787316775051354714891\ 19893368273547*c_0101_6^7 + 140210620078824469258797256176815551818\ 89725069150738094991888299/7656328431812558439575054678731677505135\ 471489119893368273547*c_0101_6^6 + 1545803963417999359852584151196108526228801327517040528987061573/76\ 56328431812558439575054678731677505135471489119893368273547*c_0101_\ 6^5 - 2546610222519201329510031130703575123655652019161537645075216\ 925/7656328431812558439575054678731677505135471489119893368273547*c\ _0101_6^4 - 1995122813963407624576996763885331272574403326250581253\ 96605268/7656328431812558439575054678731677505135471489119893368273\ 547*c_0101_6^3 - 70911250019252913865047310762442544903153781377713\ 883752785510/765632843181255843957505467873167750513547148911989336\ 8273547*c_0101_6^2 - 7973234041407264323711059738855160133756022845\ 4094480144692210/76563284318125584395750546787316775051354714891198\ 93368273547*c_0101_6 - 53917936817561966015918510956198888234725170\ 51636981725880697/7656328431812558439575054678731677505135471489119\ 893368273547, c_0101_4 - 144817773193040389461175061705073596448283932156116813481360\ 2/7656328431812558439575054678731677505135471489119893368273547*c_0\ 101_6^25 - 67104330761763253083545749862357677958109644328817656930\ 36717/7656328431812558439575054678731677505135471489119893368273547\ *c_0101_6^24 - 8151055288777907352238922137739497815224696227837497\ 9844730327/76563284318125584395750546787316775051354714891198933682\ 73547*c_0101_6^23 - 22922647928945792281510176513268174849629575986\ 3194752661863327/76563284318125584395750546787316775051354714891198\ 93368273547*c_0101_6^22 - 11237203826355969818638443606830541405972\ 84833850294176802705673/7656328431812558439575054678731677505135471\ 489119893368273547*c_0101_6^21 - 3125377023135955703369967323983623\ 801459006631057293770581738052/765632843181255843957505467873167750\ 5135471489119893368273547*c_0101_6^20 - 8378494465551688941590839442379695688390708067190395191855896852/76\ 56328431812558439575054678731677505135471489119893368273547*c_0101_\ 6^19 - 199477969286555499923920891904480795170222025603985601563336\ 97682/7656328431812558439575054678731677505135471489119893368273547\ *c_0101_6^18 - 3728809055625112956373776139254034468194070774005544\ 9447464788680/76563284318125584395750546787316775051354714891198933\ 68273547*c_0101_6^17 - 57446584506349703144437711648911763648918327\ 676879706680341022715/765632843181255843957505467873167750513547148\ 9119893368273547*c_0101_6^16 - 630129499315942372336616544044947753\ 07679491234132106350807714609/7656328431812558439575054678731677505\ 135471489119893368273547*c_0101_6^15 - 29134602500218320721492553251386347395298560760401814150350153059/7\ 656328431812558439575054678731677505135471489119893368273547*c_0101\ _6^14 + 24409350179151568775958744374146901893982562062409025577860\ 624824/765632843181255843957505467873167750513547148911989336827354\ 7*c_0101_6^13 + 714057662850947046655630111532373899068041156166096\ 20267756353351/7656328431812558439575054678731677505135471489119893\ 368273547*c_0101_6^12 + 9819536787674204083705738098447703727544756\ 3628550142908486432811/76563284318125584395750546787316775051354714\ 89119893368273547*c_0101_6^11 + 26274793516746077966647664340690260\ 368671547724005905659783505268/765632843181255843957505467873167750\ 5135471489119893368273547*c_0101_6^10 - 41132211936106038804632858064881489579197437608538114617598399015/7\ 656328431812558439575054678731677505135471489119893368273547*c_0101\ _6^9 - 671658667362898761204620934038712808327018666274209087905537\ 9365/7656328431812558439575054678731677505135471489119893368273547*\ c_0101_6^8 + 809414277482466101083740079823839952925121157678278827\ 897815442/765632843181255843957505467873167750513547148911989336827\ 3547*c_0101_6^7 - 8613359854059228661961822711587066801208088700000\ 590014017031165/765632843181255843957505467873167750513547148911989\ 3368273547*c_0101_6^6 - 3186345492109214598241639689248866648093556\ 23414175109515871467/7656328431812558439575054678731677505135471489\ 119893368273547*c_0101_6^5 + 16441629857542355760555474047229115424\ 80615861318832579084563831/7656328431812558439575054678731677505135\ 471489119893368273547*c_0101_6^4 + 48412164613805520444394368286581744251830177974118328151503056/7656\ 328431812558439575054678731677505135471489119893368273547*c_0101_6^\ 3 + 13623932528396989439796843174478876180177066317018657660902371/\ 7656328431812558439575054678731677505135471489119893368273547*c_010\ 1_6^2 + 52917750205792269971675332606310637529546410553076360042442\ 854/7656328431812558439575054678731677505135471489119893368273547*c\ _0101_6 + 314107562021085965184218724090960811498904021143292323628\ 8121/7656328431812558439575054678731677505135471489119893368273547, c_0101_6^26 + 5*c_0101_6^25 + 58*c_0101_6^24 + 179*c_0101_6^23 + 835*c_0101_6^22 + 2446*c_0101_6^21 + 6592*c_0101_6^20 + 15943*c_0101_6^19 + 30926*c_0101_6^18 + 49424*c_0101_6^17 + 58687*c_0101_6^16 + 37105*c_0101_6^15 - 8189*c_0101_6^14 - 54569*c_0101_6^13 - 85944*c_0101_6^12 - 44100*c_0101_6^11 + 19893*c_0101_6^10 + 13828*c_0101_6^9 + 1494*c_0101_6^8 + 6166*c_0101_6^7 + 2381*c_0101_6^6 - 883*c_0101_6^5 - 358*c_0101_6^4 - 51*c_0101_6^3 - 44*c_0101_6^2 - 13*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB