Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 1242289980] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3061 geometric_solution 6.23092235 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 0 0 0 0 0 -1 0 1 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 -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.512500606947 0.625318178546 0 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.009547660727 1.082552075733 4 0 5 3 2310 0132 0132 3012 0 0 0 0 0 1 -1 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 1 -1 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.009547660727 1.082552075733 0 1 2 0 3201 1230 1230 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 -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.626880191902 0.547463892789 6 1 2 6 0132 0132 3201 3201 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503976545884 0.503571971987 5 5 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 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 -1 0 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.109146632320 1.066292289943 4 4 6 6 0132 2310 2031 1302 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.630020997966 1.290682880943 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_1001_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_5'], '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_0'], 'c_0011_6' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_3'], '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_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_1, c_0101_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 4360588931182684430982870953743972266184558424715957440343873831722\ 821186460717869233307/571516211980620250239385458127260244928692727\ 1107614584949464694965282979807766658454848*c_1001_3^26 - 9285879611186477481318581208700530206886341927410186885640695261143\ 177166088130669006041/571516211980620250239385458127260244928692727\ 1107614584949464694965282979807766658454848*c_1001_3^25 + 1649281365315598050509313209900334806305587456086502881984507196400\ 41589578186126745495/2323236634067561992843030317590488800523141167\ 1169164979469368678720662519543766904288*c_1001_3^24 - 1276198591306889363571191673830215803070650521171994707231067839510\ 65947445923778088192557/5715162119806202502393854581272602449286927\ 271107614584949464694965282979807766658454848*c_1001_3^23 - 2222641585917004344667509708660368659235083609668215167977037605612\ 72026450908203561357191/2857581059903101251196927290636301224643463\ 635553807292474732347482641489903883329227424*c_1001_3^22 - 1433075723044753807329736672770872593131580511857252376593350126813\ 659788080276284362505393/571516211980620250239385458127260244928692\ 7271107614584949464694965282979807766658454848*c_1001_3^21 - 8988581232345427279784801925137798711926021904649220791893363514208\ 689458467260577406998975/571516211980620250239385458127260244928692\ 7271107614584949464694965282979807766658454848*c_1001_3^20 - 1429550821408080003051184402661279093959201082909793525325104927957\ 4006151554682426103696209/57151621198062025023938545812726024492869\ 27271107614584949464694965282979807766658454848*c_1001_3^19 - 2353389435513528891140959067619724079532320779951978080301900705887\ 576817619739717083295457/248485309556791413147558894837939236925518\ 577004678894997802812824577520861207246019776*c_1001_3^18 - 3060883444974268526471724494936577488641967448063831598675359304092\ 781473312843188286700267/178598816243943828199807955664768826540216\ 477222112955779670771717665093118992708076714*c_1001_3^17 - 5940155875367385433673672977949225634475926855257031465496547144232\ 9905156309282549735432399/14287905299515506255984636453181506123217\ 31817776903646237366173741320744951941664613712*c_1001_3^16 - 2917349581176950651761105943577805629176219774328454110109412817500\ 6327864683030032382862195/35719763248788765639961591132953765308043\ 2954444225911559341543435330186237985416153428*c_1001_3^15 - 4506375220287571843498361145955431092127847481940312865536697151919\ 45059461253025364547381425/2857581059903101251196927290636301224643\ 463635553807292474732347482641489903883329227424*c_1001_3^14 - 4114946879381918453260503109702370379935618611000211289301982674166\ 95290735083943186762112483/1905054039935400834131284860424200816428\ 975757035871528316488231655094326602588886151616*c_1001_3^13 - 1065372501761867589577864346185068657159104255960292560740158022454\ 294297659200200697702893779/285758105990310125119692729063630122464\ 3463635553807292474732347482641489903883329227424*c_1001_3^12 - 1257385198486601480174456514186552834548009180930372547302622440105\ 012630721833652733955647457/285758105990310125119692729063630122464\ 3463635553807292474732347482641489903883329227424*c_1001_3^11 - 1383091489861552938757995795009181239207041054066746395892564605132\ 75174711818307009474563579/2597800963548273864724479355123910204221\ 33057777618844770430213407512862718534848111584*c_1001_3^10 - 1625411636799612112098171651926663180280613590347588144742965631926\ 82070601255454091952261409/3175090066559001390218808100707001360714\ 95959505978588052748038609182387767098147691936*c_1001_3^9 - 1450074224831135043981377939434586505952189000989651228306033594733\ 6902683282306225542897525/29766469373990638033301325944128137756702\ 746203685492629945128619610848853165451346119*c_1001_3^8 + 6002480779668600200805850611187741321683922658132568156217810315996\ 76514921206180186681342687/5715162119806202502393854581272602449286\ 927271107614584949464694965282979807766658454848*c_1001_3^7 + 1574963154989880944143184123649771601963226559174228697885355331160\ 301081364478210594058527939/571516211980620250239385458127260244928\ 6927271107614584949464694965282979807766658454848*c_1001_3^6 + 1138810246371938594204568900641102632794834242644008509161036093232\ 525712913490866204045356401/190505403993540083413128486042420081642\ 8975757035871528316488231655094326602588886151616*c_1001_3^5 + 4281535932970490170392600197701440426061973262051062028834300962952\ 1944551834254162806292129/62121327389197853286889723709484809231379\ 644251169723749450703206144380215301811504944*c_1001_3^4 + 1153423675052820375426942219064897924965011595166552161483229619625\ 75786207898857774322729019/1393941980440537195705818190554293280313\ 88470027014989876816212072323975117262601425728*c_1001_3^3 + 1849336724558916917141132042568676863383033200739141971443645783425\ 548424268471721880939651869/571516211980620250239385458127260244928\ 6927271107614584949464694965282979807766658454848*c_1001_3^2 + 2658610086520900127407971919951244241460097957677091700104719664485\ 28136596751292867434221/6435993378160137953146232636568246001449242\ 422418484892961108890726670022306043534296*c_1001_3 + 1040718060033934682177029611548448344890232127328842761144351282064\ 4486708059221083492234/99221564579968793444337753147093792522342487\ 34561830876648376206536949617721817115373, c_0011_0 - 1, c_0011_3 - 855844259581011306590783898733000321809567959151434546494278\ 113072297024326591250737/547644527450717193104079431620716205214226\ 446125791078164690720156378467352586977100096*c_1001_3^26 + 1936857463678141753766973626400480483868062959902654991725513350746\ 385288348309873827/547644527450717193104079431620716205214226446125\ 791078164690720156378467352586977100096*c_1001_3^25 - 3338802420917579652313093378677512156267224817745072198110819471185\ 5211728464795665/22261972660598259882279651691899032732285627891292\ 32025059718374619424664034906410976*c_1001_3^24 + 2612781878109990470237446618526116842884877733406253790330307102806\ 4687791577950803151/54764452745071719310407943162071620521422644612\ 5791078164690720156378467352586977100096*c_1001_3^23 + 4191621650375045285873669069217333261874718464135599795299228196707\ 7518662269940611437/27382226372535859655203971581035810260711322306\ 2895539082345360078189233676293488550048*c_1001_3^22 + 2698283860227757963014439034531991899084480952295596940817712721713\ 01441326524934137963/5476445274507171931040794316207162052142264461\ 25791078164690720156378467352586977100096*c_1001_3^21 + 1727255259838181514445852852294527201088421423373041094033619232206\ 110710026265080579045/547644527450717193104079431620716205214226446\ 125791078164690720156378467352586977100096*c_1001_3^20 + 2572188195565774646475077742113062958740871516723710254256697474218\ 443893719529657200427/547644527450717193104079431620716205214226446\ 125791078164690720156378467352586977100096*c_1001_3^19 + 4461987253248517447009424394707559137597127807733492133119422107901\ 32846534290314349699/2381063162829205187409041007046592196583593244\ 0251786007160466093755585537068999004352*c_1001_3^18 + 5570165414550325548763576827962165230296264838322685202599278035234\ 56333288394807280599/1711389148283491228450248223814738141294457644\ 1430971192646585004886827104768343034378*c_1001_3^17 + 1103696686568410264018970242468542412093540266568042848762791679757\ 9308402773987178668081/13691113186267929827601985790517905130355661\ 1531447769541172680039094616838146744275024*c_1001_3^16 + 5345090183815179200397897391511158707104562232887397542982992652788\ 234556697291349893273/342277829656698245690049644762947628258891528\ 82861942385293170009773654209536686068756*c_1001_3^15 + 8249967546020719578356030421504884234682728515179138300865456850237\ 7015703473494670963511/27382226372535859655203971581035810260711322\ 3062895539082345360078189233676293488550048*c_1001_3^14 + 7310856620621185410989331095186952519339905813998106183171138670229\ 2574427465189375116153/18254817581690573103469314387357206840474214\ 8708597026054896906718792822450862325700032*c_1001_3^13 + 1935583333241159772153978651478115269168014620037766144249063584853\ 96662658676555677272205/2738222637253585965520397158103581026071132\ 23062895539082345360078189233676293488550048*c_1001_3^12 + 2196919524961203613047106495861843740798416387788922808723232211338\ 36979714111287447680239/2738222637253585965520397158103581026071132\ 23062895539082345360078189233676293488550048*c_1001_3^11 + 2055016712329269521635495296626206258765299578032556154778211771834\ 5291235343775191171247/21063251055796815119387670446950623277470247\ 927915041467872720006014556436637960657696*c_1001_3^10 + 9218584695042579058533940495845338620285236531312026955676992881083\ 523095834230161078829/101415653231614295019273968818651149113745638\ 17144279225272050373266267913936795872224*c_1001_3^9 + 1518689014106188835689133676656861249976749940405493262959914324201\ 874618258885385499995/175527092131640125994897253724588527312252066\ 0659586788989393333834546369719830054808*c_1001_3^8 - 1870198691381121897956849996529030685811222370951728467297355704728\ 79794512035259093352149/5476445274507171931040794316207162052142264\ 46125791078164690720156378467352586977100096*c_1001_3^7 - 2897191014266265581967430144006188173272453343751210004006634570542\ 53873092157309752585473/5476445274507171931040794316207162052142264\ 46125791078164690720156378467352586977100096*c_1001_3^6 - 2103436692589966872041909288067839962969464589991449223269542346220\ 44596915787085287878467/1825481758169057310346931438735720684047421\ 48708597026054896906718792822450862325700032*c_1001_3^5 - 7451320751084885413223511142354937893422921292385692384487221023057\ 483132418751856738439/595265790707301296852260251761648049145898311\ 0062946501790116523438896384267249751088*c_1001_3^4 - 2023963826985156303334342747407494717180526911963287042157572506379\ 9433192088234614524217/13357183596358955929367791015139419639371376\ 734775392150358310247716547984209438465856*c_1001_3^3 - 2442517626738449802960863684833081213326387709648457239379337588422\ 67720983838087284753431/5476445274507171931040794316207162052142264\ 46125791078164690720156378467352586977100096*c_1001_3^2 - 4437941215329741649917271018662710911398808477943534008332601653642\ 5947823320064200061/57046304942783040948341607460491271376481921471\ 43657064215528334962275701589447678126*c_1001_3 + 5393529795465964467799842587502989108849222513646240215525963331231\ 6705536653232824381/76061739923710721264455476613988361835309228628\ 58209418954037779949700935452596904168, c_0011_5 - 336841362008370852027846907488908921332347620136861095344327\ 1206338840898026899185/66785917981794779646838955075697098196856883\ 67387696075179155123858273992104719232928*c_1001_3^26 + 1647021955144998968176700335220889577232596467645880761492979823736\ 1169451451260463/13357183596358955929367791015139419639371376734775\ 392150358310247716547984209438465856*c_1001_3^25 - 2256762935206818913297537110620454392507989064084606264054662381729\ 4047750976299913/44523945321196519764559303383798065464571255782584\ 64050119436749238849328069812821952*c_1001_3^24 + 2726325505189929490036697712607149446583896868362786494339141626048\ 2700634942451371/16696479495448694911709738768924274549214220918469\ 24018794788780964568498026179808232*c_1001_3^23 + 6196862199833295721504950364270767126457715132991480945312282805523\ 58333775694566277/1335718359635895592936779101513941963937137673477\ 5392150358310247716547984209438465856*c_1001_3^22 + 1258263415116830512595987856041970606790899336850380806376072206297\ 62175270565132877/8348239747724347455854869384462137274607110459234\ 62009397394390482284249013089904116*c_1001_3^21 + 1323566344081888049837934042964282650023083079902804355709686891889\ 5701700299073758007/13357183596358955929367791015139419639371376734\ 775392150358310247716547984209438465856*c_1001_3^20 + 1785987848998752926656581427614601775645608139984611202242291170741\ 7305805060465030309/13357183596358955929367791015139419639371376734\ 775392150358310247716547984209438465856*c_1001_3^19 + 3376120937832325396504261652580459800612826524283232240045327083347\ 388602149943549909/580747112885171996929034391962583462581364205859\ 799658711230880335502086269975585472*c_1001_3^18 + 1263558040883082358964418079386522348474486333689723161469090672810\ 91030887713688257375/1335718359635895592936779101513941963937137673\ 4775392150358310247716547984209438465856*c_1001_3^17 + 8130729414649169457789547353654571230809382045969560792519320818145\ 7101850996415858079/33392958990897389823419477537848549098428441836\ 93848037589577561929136996052359616464*c_1001_3^16 + 1537975968689787931997978051318076372812274510614067786034649134614\ 13342016472536388259/3339295899089738982341947753784854909842844183\ 693848037589577561929136996052359616464*c_1001_3^15 + 2974720788673007482858672009262018814425090569570326795012281969280\ 36266944223414693263/3339295899089738982341947753784854909842844183\ 693848037589577561929136996052359616464*c_1001_3^14 + 6314898804978580419820729474254985940048758660682312418046209886476\ 3577876013225881813/55654931651495649705699129229747581830714069728\ 2308006264929593654856166008726602744*c_1001_3^13 + 2782324520624729143789824564144369157821287184890942934135062155767\ 650318000507543884033/133571835963589559293677910151394196393713767\ 34775392150358310247716547984209438465856*c_1001_3^12 + 1483266284325925928797586635880131306149182960513193030365971473393\ 464664521683105660195/667859179817947796468389550756970981968568836\ 7387696075179155123858273992104719232928*c_1001_3^11 + 1419668592342674699598530618054085039082051921571894823682780621940\ 95907622206255718647/5137378306291906126679919621207469092065914128\ 75976621167627317219867230161901479456*c_1001_3^10 + 1818974071878026510271431387628785328068128022597464408699305114065\ 16214339957428215195/7420657553532753294093217230633010910761875963\ 76410675019906124873141554678302136992*c_1001_3^9 + 4061613990417244745363062073598918313871320855045600696740665928896\ 6041665736331009143/17124594354306353755599732070691563640219713762\ 5325540389209105739955743387300493152*c_1001_3^8 - 1009492558924539627460517780133412898603218224365304351187827393236\ 746892876632348795901/667859179817947796468389550756970981968568836\ 7387696075179155123858273992104719232928*c_1001_3^7 - 1885275435098545464553505685257358433464879538600914519013230526369\ 910162017254872629325/133571835963589559293677910151394196393713767\ 34775392150358310247716547984209438465856*c_1001_3^6 - 1546678245287906906077855654775511653034212968056122011204489639267\ 286821786670505894799/445239453211965197645593033837980654645712557\ 8258464050119436749238849328069812821952*c_1001_3^5 - 1986921768985819712698300252964075191330617879968602059600514565042\ 35223851727222942021/5807471128851719969290343919625834625813642058\ 59799658711230880335502086269975585472*c_1001_3^4 - 2870811672823534955081480546171166078555839787999375161563814956623\ 538452970429974978157/667859179817947796468389550756970981968568836\ 7387696075179155123858273992104719232928*c_1001_3^3 - 9171926171180900194094155060287458372105682453315449234973912617331\ 79551765816104719661/1335718359635895592936779101513941963937137673\ 4775392150358310247716547984209438465856*c_1001_3^2 + 3185982845203651241394998519883215354208180699485713044611803446365\ 1409577407440385897/44523945321196519764559303383798065464571255782\ 58464050119436749238849328069812821952*c_1001_3 + 1095941558496151002634941447341909257725504604874751394126363187411\ 09712382913109241/3710328776766376647046608615316505455380937981882\ 05337509953062436570777339151068496, c_0101_0 + 415092544745617946441446811867253294099539815468841908690247\ 1481536014882452626905/66785917981794779646838955075697098196856883\ 67387696075179155123858273992104719232928*c_1001_3^26 - 1998097944433346294992156491087058166827742780118646786070476420964\ 1639878936757245/13357183596358955929367791015139419639371376734775\ 392150358310247716547984209438465856*c_1001_3^25 + 2754397336964062897986078748339102121870843998245523198911371211057\ 2200570910538739/44523945321196519764559303383798065464571255782584\ 64050119436749238849328069812821952*c_1001_3^24 - 3319269005399177403958251507374472262699568361097614355548235283862\ 6775853288372387/16696479495448694911709738768924274549214220918469\ 24018794788780964568498026179808232*c_1001_3^23 - 7741127022553576667631843206374850098548955271425123257844375428567\ 71322063341878363/1335718359635895592936779101513941963937137673477\ 5392150358310247716547984209438465856*c_1001_3^22 - 3136380272385547288891739159663156202017951514367630904012411745632\ 38203207953607079/1669647949544869491170973876892427454921422091846\ 924018794788780964568498026179808232*c_1001_3^21 - 1640183937938137989455178588523147102391067679220125324270052925651\ 4705007061455588437/13357183596358955929367791015139419639371376734\ 775392150358310247716547984209438465856*c_1001_3^20 - 2262013279769135831157212737820634747763943933921756227783287960419\ 7936368061028713035/13357183596358955929367791015139419639371376734\ 775392150358310247716547984209438465856*c_1001_3^19 - 4194369082118744592881260504857321936350195480248169639180072373556\ 400339999420696395/580747112885171996929034391962583462581364205859\ 799658711230880335502086269975585472*c_1001_3^18 - 1592636428051342444745974487052268970490040525639962153438884153176\ 48638207938579113637/1335718359635895592936779101513941963937137673\ 4775392150358310247716547984209438465856*c_1001_3^17 - 5079789973392197776361958217769479380448023404359534049878512341929\ 2442550058120175585/16696479495448694911709738768924274549214220918\ 46924018794788780964568498026179808232*c_1001_3^16 - 1931926948078262068140694087275277451767507961740773316941906372724\ 04613603777456728129/3339295899089738982341947753784854909842844183\ 693848037589577561929136996052359616464*c_1001_3^15 - 3734462190833736106486731040997022873796341139326485321455797853734\ 83782407868281776825/3339295899089738982341947753784854909842844183\ 693848037589577561929136996052359616464*c_1001_3^14 - 1600607615386049246100409456390003455115419748056280762598382552875\ 63136578723455844353/1113098633029912994113982584594951636614281394\ 564616012529859187309712332017453205488*c_1001_3^13 - 3494703056919859303437034631863909849263092617413862807385155415405\ 363782673009545800215/133571835963589559293677910151394196393713767\ 34775392150358310247716547984209438465856*c_1001_3^12 - 1889778462937908030311183910616698121480444366584430466157805456680\ 035338839088149700259/667859179817947796468389550756970981968568836\ 7387696075179155123858273992104719232928*c_1001_3^11 - 1798633011179062846979513232904376762514986474478979089932991866245\ 96428602658528228229/5137378306291906126679919621207469092065914128\ 75976621167627317219867230161901479456*c_1001_3^10 - 2330578243839436868902121480153997210817287341504554660662687514967\ 68827931799698864045/7420657553532753294093217230633010910761875963\ 76410675019906124873141554678302136992*c_1001_3^9 - 5184033485883005022888007497712791197137960127849149547514892786445\ 9429526949039957217/17124594354306353755599732070691563640219713762\ 5325540389209105739955743387300493152*c_1001_3^8 + 1176480705680833719679035116759161028992323026226363460693270499508\ 015368143911936005641/667859179817947796468389550756970981968568836\ 7387696075179155123858273992104719232928*c_1001_3^7 + 2429118190822328440089262812781764675150987627704911003011435070033\ 771117902683783986615/133571835963589559293677910151394196393713767\ 34775392150358310247716547984209438465856*c_1001_3^6 + 1932355895585726318012085475889599508877948137693977527962178344272\ 959096905122734042473/445239453211965197645593033837980654645712557\ 8258464050119436749238849328069812821952*c_1001_3^5 + 2537841563160236397944818541617108824621240422673988781369355699802\ 92914969435927120023/5807471128851719969290343919625834625813642058\ 59799658711230880335502086269975585472*c_1001_3^4 + 3636931990956255498161917633732426312267179965799482892287757468003\ 460144109378526292583/667859179817947796468389550756970981968568836\ 7387696075179155123858273992104719232928*c_1001_3^3 + 1379049530258712314039869380914115490516350344993803517403360089086\ 461425780625824838631/133571835963589559293677910151394196393713767\ 34775392150358310247716547984209438465856*c_1001_3^2 - 2722312007495149586189984429991385112272910081005098430850780511441\ 9845584624884667259/44523945321196519764559303383798065464571255782\ 58464050119436749238849328069812821952*c_1001_3 - 3591228268521246056166551284740689463933380050011927352033462263887\ 1104268552379051/46379109709579708088082607691456318192261724773525\ 667188744132804571347167393883562, c_0101_1 - 216041682147665956614960658041832732039315631650309392975371\ 7743551917749945032461919/27382226372535859655203971581035810260711\ 3223062895539082345360078189233676293488550048*c_1001_3^26 + 4869795234273857312017835562638675180722996833409633256055554402764\ 259726550218509535/273822263725358596552039715810358102607113223062\ 895539082345360078189233676293488550048*c_1001_3^25 - 1681629380067723539244047038896151212606956619388030950702346924551\ 21871858915697765/2226197266059825988227965169189903273228562789129\ 232025059718374619424664034906410976*c_1001_3^24 + 3287695392848869198117801114227331456177262832263923467428315434752\ 8593181661073172531/13691113186267929827601985790517905130355661153\ 1447769541172680039094616838146744275024*c_1001_3^23 + 1061344151548913565419009379093185904579503782695567228877901188337\ 73938126170295679449/1369111318626792982760198579051790513035566115\ 31447769541172680039094616838146744275024*c_1001_3^22 + 3414256160164100489254866368647138333184129232044269975250513243438\ 83292867138477557933/1369111318626792982760198579051790513035566115\ 31447769541172680039094616838146744275024*c_1001_3^21 + 4365808970973959986498773836725912389899185323129322645680863447972\ 855661574231504848715/273822263725358596552039715810358102607113223\ 062895539082345360078189233676293488550048*c_1001_3^20 + 8163491077515459407085290561112676939696929344473696358416424708320\ 78535930716288700983/3422778296566982456900496447629476282588915288\ 2861942385293170009773654209536686068756*c_1001_3^19 + 2821121100298760655885799804035907082704607196683209692165672346415\ 23008324036131363473/2976328953536506484261301258808240245729491555\ 031473250895058261719448192133624875544*c_1001_3^18 + 4521628576315399033660218372666012924020254586044213914928776007952\ 5552751074245655931735/27382226372535859655203971581035810260711322\ 3062895539082345360078189233676293488550048*c_1001_3^17 + 1117903802251750880899807868760160574041069297488133586969936973332\ 78081286635593092374507/2738222637253585965520397158103581026071132\ 23062895539082345360078189233676293488550048*c_1001_3^16 + 1354997501212612150478954294167601258248723609730406092569724612708\ 7859669524576215941523/17113891482834912284502482238147381412944576\ 441430971192646585004886827104768343034378*c_1001_3^15 + 2091109877606597185683099191591462377572363615204387202206345903203\ 49046405292487896532631/1369111318626792982760198579051790513035566\ 11531447769541172680039094616838146744275024*c_1001_3^14 + 1856560181089260265893544373632171322426381800779880737345904800088\ 82193565262028084691447/9127408790845286551734657193678603420237107\ 4354298513027448453359396411225431162850016*c_1001_3^13 + 4906826289457747178429776561629907559535908647610148026253564101296\ 94292985346542548251383/1369111318626792982760198579051790513035566\ 11531447769541172680039094616838146744275024*c_1001_3^12 + 1116963744039149203663609525411550585211256990599101241757755051958\ 109672139540039993185623/273822263725358596552039715810358102607113\ 223062895539082345360078189233676293488550048*c_1001_3^11 + 1304612678102838325618214255199597585264187526335169892007004164221\ 8358147011540838342307/26329063819746018899234588058688279096837809\ 90989380183484090000751819554579745082212*c_1001_3^10 + 1173062025998445881194746960443301156195360566123385881140680010511\ 7285811597082107571287/25353913307903573754818492204662787278436409\ 54286069806318012593316566978484198968056*c_1001_3^9 + 1544990785245113354560555593256742512739077032648837487472437034040\ 2169213036116235154913/35105418426328025198979450744917705462450413\ 21319173577978786667669092739439660109616*c_1001_3^8 - 4632622582782965162773634498879442012410199241792306067295271816141\ 94323056637567793651741/2738222637253585965520397158103581026071132\ 23062895539082345360078189233676293488550048*c_1001_3^7 - 7375175107578394452921456965650542655122671706956042559854247488194\ 86142479569891916485941/2738222637253585965520397158103581026071132\ 23062895539082345360078189233676293488550048*c_1001_3^6 - 6654715335648812221261345022392635488307975618887140126769117493279\ 6602145490717111341349/11409260988556608189668321492098254275296384\ 294287314128431056669924551403178895356252*c_1001_3^5 - 7582203324012305164570223825830809140111121402129656127886876295168\ 4441856414706338311079/11905315814146025937045205035232960982917966\ 220125893003580233046877792768534499502176*c_1001_3^4 - 2569567191216060233892261840360599860677715164031659989332121048878\ 7435236253508125488243/33392958990897389823419477537848549098428441\ 83693848037589577561929136996052359616464*c_1001_3^3 - 6324629471186477836605127934335217056485983861457474510037492742896\ 79103302842969026397291/2738222637253585965520397158103581026071132\ 23062895539082345360078189233676293488550048*c_1001_3^2 - 4207920532811228453232758804162386348689332856094326481503150093158\ 006161673551250496487/912740879084528655173465719367860342023710743\ 54298513027448453359396411225431162850016*c_1001_3 + 9400450080222344759342624910615322714465755824980905503603935035094\ 16173072974516538271/3042469596948428850578219064559534473412369145\ 1432837675816151119798803741810387616672, c_0101_6 - 734138423244340182326586302740666304356120191954276292151242\ 205504450773861083712163/547644527450717193104079431620716205214226\ 446125791078164690720156378467352586977100096*c_1001_3^26 + 9804869723088928850978160563531069831096311739153110048572680066108\ 1773170422480475/34227782965669824569004964476294762825889152882861\ 942385293170009773654209536686068756*c_1001_3^25 - 2768654266563697836824574900254989809518749552785147619546973500162\ 5258564770808725/22261972660598259882279651691899032732285627891292\ 32025059718374619424664034906410976*c_1001_3^24 + 5365290881548403086798889312132776360813995953294880553244310899193\ 936721859114293775/136911131862679298276019857905179051303556611531\ 447769541172680039094616838146744275024*c_1001_3^23 + 7499167704251228779671649296693059409074388855928657019132259590648\ 6920534426463402027/54764452745071719310407943162071620521422644612\ 5791078164690720156378467352586977100096*c_1001_3^22 + 5992926788335321380959890803758343398821497183437013852339121983439\ 7778350796315942373/13691113186267929827601985790517905130355661153\ 1447769541172680039094616838146744275024*c_1001_3^21 + 1885722063075492609252200531780650833564619230527264041297388488673\ 83021031302951670155/6845556593133964913800992895258952565177830576\ 5723884770586340019547308419073372137512*c_1001_3^20 + 2386078334087566287371763685498685086141983852555043434803396356528\ 642958760231466349059/547644527450717193104079431620716205214226446\ 125791078164690720156378467352586977100096*c_1001_3^19 + 3927433041326025449356600916121481546611333868602345361836763228764\ 08698433868318143939/2381063162829205187409041007046592196583593244\ 0251786007160466093755585537068999004352*c_1001_3^18 + 8168541300353597393453198044477911854224511177034098650037884959675\ 736358686111268956661/273822263725358596552039715810358102607113223\ 062895539082345360078189233676293488550048*c_1001_3^17 + 3951659870240067805457363084417837529361607602409290760153735242756\ 5787528900810479223327/54764452745071719310407943162071620521422644\ 6125791078164690720156378467352586977100096*c_1001_3^16 + 1942142859485222315547807556919616440913911981410909838270188342694\ 4952858945707213385957/13691113186267929827601985790517905130355661\ 1531447769541172680039094616838146744275024*c_1001_3^15 + 7480952420238799552345487486340167810840905694911523920689390168457\ 0259621365055857848911/27382226372535859655203971581035810260711322\ 3062895539082345360078189233676293488550048*c_1001_3^14 + 6792915028104400109347189382990566923867462345673147364418100914243\ 1294524887957226626165/18254817581690573103469314387357206840474214\ 8708597026054896906718792822450862325700032*c_1001_3^13 + 3515370096692580671639195040371392666250190758775567111501754870332\ 89067603611096750806027/5476445274507171931040794316207162052142264\ 46125791078164690720156378467352586977100096*c_1001_3^12 + 4134518725192137733789553307393752088177383101667216151257015418314\ 20314301640764522853897/5476445274507171931040794316207162052142264\ 46125791078164690720156378467352586977100096*c_1001_3^11 + 1907438257535911301247374272013233995508860749736800390769814700317\ 6047673612061135419211/21063251055796815119387670446950623277470247\ 927915041467872720006014556436637960657696*c_1001_3^10 + 2635766344649411250866848200153335053804187704234227972493319691457\ 2395957948095398735169/30424695969484288505782190645595344734123691\ 451432837675816151119798803741810387616672*c_1001_3^9 + 1433979658936140115535158433353636696715515038401774009961359222156\ 492333080278067026265/175527092131640125994897253724588527312252066\ 0659586788989393333834546369719830054808*c_1001_3^8 - 1204327122665579692090605308404311148002007326847168783811560800748\ 88907590905839177321877/5476445274507171931040794316207162052142264\ 46125791078164690720156378467352586977100096*c_1001_3^7 - 4371083859788906619159437621742606522515251942956666568248490791170\ 332138354042949803424/855694574141745614225124111907369070647228822\ 0715485596323292502443413552384171517189*c_1001_3^6 - 1881364319112929930452448760277839681563991408681329084032592201726\ 65933988534743840603021/1825481758169057310346931438735720684047421\ 48708597026054896906718792822450862325700032*c_1001_3^5 - 7060795972161067807320964037403520239234377947748522809241456307660\ 819546694152433006979/595265790707301296852260251761648049145898311\ 0062946501790116523438896384267249751088*c_1001_3^4 - 9384937794102840400630337765559201743975425138757452829210808882538\ 617085714101218131151/667859179817947796468389550756970981968568836\ 7387696075179155123858273992104719232928*c_1001_3^3 - 1416603410087124300635206663792369202523429696401251996433875359035\ 09267918955405863778985/2738222637253585965520397158103581026071132\ 23062895539082345360078189233676293488550048*c_1001_3^2 - 1625713458987233402115735200247411052295993416573762043432674352277\ 343997951179202239501/912740879084528655173465719367860342023710743\ 54298513027448453359396411225431162850016*c_1001_3 + 4983840275381816870395726092535818602109034377140637598272327013971\ 15862059154258378519/6084939193896857701156438129119068946824738290\ 2865675351632302239597607483620775233344, c_1001_3^27 - 2*c_1001_3^26 + 9*c_1001_3^25 - 28*c_1001_3^24 - 106*c_1001_3^23 - 341*c_1001_3^22 - 2101*c_1001_3^21 - 3536*c_1001_3^20 - 12779*c_1001_3^19 - 23978*c_1001_3^18 - 57047*c_1001_3^17 - 113471*c_1001_3^16 - 219014*c_1001_3^15 - 306861*c_1001_3^14 - 519497*c_1001_3^13 - 632092*c_1001_3^12 - 758789*c_1001_3^11 - 745302*c_1001_3^10 - 705972*c_1001_3^9 + 73487*c_1001_3^8 + 396628*c_1001_3^7 + 825744*c_1001_3^6 + 994622*c_1001_3^5 + 1179442*c_1001_3^4 + 539479*c_1001_3^3 + 78921*c_1001_3^2 - 2727*c_1001_3 - 999 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB