Magma V2.19-8 Tue Aug 20 2013 23:38:17 on localhost [Seed = 1696792904] Type ? for help. Type -D to quit. Loading file "K12n522__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n522 geometric_solution 8.35647230 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 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 -1 0 1 0 0 0 0 1 -1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.163794754468 0.647874459823 0 5 2 6 0132 0132 3120 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 -4 1 3 0 0 0 0 4 -4 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778544363212 0.483837013709 4 0 1 5 1023 0132 3120 1302 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -4 0 0 4 0 -4 0 4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495558577304 1.555479092909 7 6 8 0 0132 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.909076383455 0.804499861721 9 2 0 7 0132 1023 0132 2031 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 4 -1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.370985014822 0.860919243160 9 1 2 6 1023 0132 2031 0213 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 4 -4 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431814975576 0.374365878514 7 3 1 5 2103 2103 0132 0213 0 0 0 0 0 1 -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 0 3 -3 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.084124172756 0.678120123289 3 4 6 8 0132 1302 2103 1302 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 -3 3 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.976502192189 0.535101410325 9 9 7 3 3012 1230 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524369632406 0.470206308657 4 5 8 8 0132 1023 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.680980814406 0.811315474658 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : negation(d['c_0101_3']), 's_2_8' : d['1'], 's_2_9' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(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_9' : d['c_0101_3'], 'c_1100_8' : negation(d['c_1010_7']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_1010_7']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_1010_7']), 'c_1100_3' : negation(d['c_1010_7']), 'c_1100_2' : negation(d['c_0011_8']), 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_8'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_8'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_8'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_2, c_0101_3, c_0101_8, c_1001_0, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 2487271326387021347352091470486332381246676533248521729778018127292\ 63236/4022657621398377198558111376938976926697844908748055004380507\ 477959162085*c_1010_7^16 + 7083603915703982482027083069253065434807\ 745539598178868335182710982212252/402265762139837719855811137693897\ 6926697844908748055004380507477959162085*c_1010_7^15 - 2012746207745631955433009324514508298143754613095894633294770337202\ 2277736/40226576213983771985581113769389769266978449087480550043805\ 07477959162085*c_1010_7^14 - 46992566045814981067756476856133508172\ 673754316069666980554952885499852552/134088587379945906618603712564\ 6325642232614969582685001460169159319720695*c_1010_7^13 + 1652638452525383221300757193183011001344033719343639753637110724916\ 356813484/402265762139837719855811137693897692669784490874805500438\ 0507477959162085*c_1010_7^12 - 616549983153675865820999252375728181\ 347306735883485011600873455070715597388/268177174759891813237207425\ 129265128446522993916537000292033831863944139*c_1010_7^11 + 2840913907273916563499362263138612759193270898285103757988531255030\ 9860706323/40226576213983771985581113769389769266978449087480550043\ 80507477959162085*c_1010_7^10 - 10136128832537663919689541302034583\ 43681061002874211300267697733946329538175/8939239158663060441240247\ 5043088376148840997972179000097344610621314713*c_1010_7^9 + 1491282489500581838345440486708378176228952728841832061454151801753\ 9328586072/40226576213983771985581113769389769266978449087480550043\ 80507477959162085*c_1010_7^8 + 327873912506703285655816948258032220\ 49116890837130331842896872709983210515831/1340885873799459066186037\ 125646325642232614969582685001460169159319720695*c_1010_7^7 - 4972578256354779946566371442757577804572748374793369007560033819534\ 13327718/2437974315999016483974612955720592076786572671968518184473\ 0348351267649*c_1010_7^6 - 7850562140005671137000336087570514891477\ 263766392304248182221394170888855823/365696147399852472596191943358\ 088811517985900795277727670955225269014735*c_1010_7^5 + 6219924527234741162175125467638248621944734609126982333993012716671\ 1566110597/40226576213983771985581113769389769266978449087480550043\ 80507477959162085*c_1010_7^4 + 374508269686261354338324628933893915\ 25681829401703989372522674545946428941001/4022657621398377198558111\ 376938976926697844908748055004380507477959162085*c_1010_7^3 - 5940084349582929692655538402086568652051713787753578484912010027844\ 54335983/1915551248284941523122910179494750917475164242260978573514\ 52737045674385*c_1010_7^2 - 652893729682457472053228562041848076460\ 671626568656319112571048905362112059/574665374485482456936873053848\ 425275242549272678293572054358211137023155*c_1010_7 - 2261068366695831293064222235392913487051653523113704726509739062524\ 557449171/402265762139837719855811137693897692669784490874805500438\ 0507477959162085, c_0011_0 - 1, c_0011_3 - 216006078448572855589394225438089802988523564458700586939284\ /175112097954962668011223766243126666543452867271993345819074877*c_\ 1010_7^16 + 6083405445090486733352875086131005341556838240651634544\ 438336/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^15 - 1565224443846359713514582774096586299106504668020\ 1385935746548/17511209795496266801122376624312666654345286727199334\ 5819074877*c_1010_7^14 - 124613321749119177328797186019225551311784\ 695083791738810102440/175112097954962668011223766243126666543452867\ 271993345819074877*c_1010_7^13 + 1387564459127681384619011884198600\ 252426451728267726407332184064/175112097954962668011223766243126666\ 543452867271993345819074877*c_1010_7^12 - 7644816074363446272343299674089834761696643726721434366913752008/17\ 5112097954962668011223766243126666543452867271993345819074877*c_101\ 0_7^11 + 2289844420202013329821574489243950499864616431001719586008\ 1781747/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^10 - 360830480653465689930633549518101826052568985027\ 73250466198748410/1751120979549626680112237662431266665434528672719\ 93345819074877*c_1010_7^9 + 134687759396359418701545648635176526426\ 12932134025528040371251777/1751120979549626680112237662431266665434\ 52867271993345819074877*c_1010_7^8 + 68099292926405982168188834605699849708563154051233353310107219281/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^7 - 3372040491064892359634990077374224400060284168606711885793\ 8964472/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^6 - 6293468213088668290326019248915845378645680785255\ 7909008063209886/17511209795496266801122376624312666654345286727199\ 3345819074877*c_1010_7^5 + 9417243993377768362882435227107726554597\ 056182323455879867946599/175112097954962668011223766243126666543452\ 867271993345819074877*c_1010_7^4 + 18999248218025374303451622362192039514544364135081453556281158253/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^3 + 5572262915167247094939386278248020139694128460404269105408\ 894174/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^2 + 12172408102004785974979864666323457114448179719053\ 47061763677827/1751120979549626680112237662431266665434528672719933\ 45819074877*c_1010_7 + 67478175684787411730358423412534035724527858\ 747377568965679653/175112097954962668011223766243126666543452867271\ 993345819074877, c_0011_6 + 117284173405877065881345903702761411676252464380065232558224\ /175112097954962668011223766243126666543452867271993345819074877*c_\ 1010_7^16 - 3286203652343460382830924460309179569437777350487147182\ 257460/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^15 + 8031382988789731766501616378116988036955781819744\ 621243704276/175112097954962668011223766243126666543452867271993345\ 819074877*c_1010_7^14 + 6865208011679786870985721892988279461103724\ 2523048977547466776/17511209795496266801122376624312666654345286727\ 1993345819074877*c_1010_7^13 - 743068550805243658064124615210023465\ 979532161066469011815066352/175112097954962668011223766243126666543\ 452867271993345819074877*c_1010_7^12 + 4047178894760902445006493997206205970640294273982239937698259492/17\ 5112097954962668011223766243126666543452867271993345819074877*c_101\ 0_7^11 - 1188841061113932850896542411256292141136231365144070049409\ 5591832/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^10 + 180932952905316345945899758555390937010615600019\ 12538542173153171/1751120979549626680112237662431266665434528672719\ 93345819074877*c_1010_7^9 - 536400802152072648581796126928359369581\ 2109159852844087674665399/17511209795496266801122376624312666654345\ 2867271993345819074877*c_1010_7^8 - 36653988924217960553387854505316407740233125657695067896610931600/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^7 + 1247289185783270189967306638769843024744944435302513343354\ 1664603/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^6 + 3418092722917866231023029778099511990347489373891\ 1241206300076841/17511209795496266801122376624312666654345286727199\ 3345819074877*c_1010_7^5 + 1187668176242218545798000598519001318220\ 352059817118266123800437/175112097954962668011223766243126666543452\ 867271993345819074877*c_1010_7^4 - 8935273628200306281953489748059044023865751621755793023077597839/17\ 5112097954962668011223766243126666543452867271993345819074877*c_101\ 0_7^3 - 51126882081122838449560280665453017614563441611605219539145\ 54576/1751120979549626680112237662431266665434528672719933458190748\ 77*c_1010_7^2 - 160305923888257283568916668732642371123823582992662\ 2297330419582/17511209795496266801122376624312666654345286727199334\ 5819074877*c_1010_7 - 118615194082550642497066849334056962084715276\ 550889841543794742/175112097954962668011223766243126666543452867271\ 993345819074877, c_0011_8 + 136401102359048261517786295158201413138747953033755482737020\ /175112097954962668011223766243126666543452867271993345819074877*c_\ 1010_7^16 - 3898544918373970353133074706023566787108869961416585005\ 566172/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^15 + 1152068565997168863034921747154458042775690191817\ 3593876823272/17511209795496266801122376624312666654345286727199334\ 5819074877*c_1010_7^14 + 737060514569355490628388361437677747255014\ 73792427100153505492/1751120979549626680112237662431266665434528672\ 71993345819074877*c_1010_7^13 - 90661219143832731457002664429346502\ 1854440359223749248954914520/17511209795496266801122376624312666654\ 3452867271993345819074877*c_1010_7^12 + 5210029083112879326172214279648108438063362602268819254632851192/17\ 5112097954962668011223766243126666543452867271993345819074877*c_101\ 0_7^11 - 1667659398231862407543605883846368127668362252924145006780\ 7139989/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^10 + 299698429177233398135877004256968792332438164828\ 04799305479280987/1751120979549626680112237662431266665434528672719\ 93345819074877*c_1010_7^9 - 216757513399087296813735675548692376178\ 14349006120216199351127656/1751120979549626680112237662431266665434\ 52867271993345819074877*c_1010_7^8 - 32890551023613267717173354424605015869974783714087908041259154248/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^7 + 3453199628508155540219773769720496351053475251194266936638\ 3327449/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^6 + 2357226193551375598049739997377745458546394614382\ 3815251092627882/17511209795496266801122376624312666654345286727199\ 3345819074877*c_1010_7^5 - 1461099382498422728294890449264470602917\ 0215315811559307856208564/17511209795496266801122376624312666654345\ 2867271993345819074877*c_1010_7^4 - 5015462996065754651284435166137185669276832824551642346360128133/17\ 5112097954962668011223766243126666543452867271993345819074877*c_101\ 0_7^3 - 20615722164421832500831237935846085538738230102110233803295\ 98203/1751120979549626680112237662431266665434528672719933458190748\ 77*c_1010_7^2 - 223677358246503951997610621012693374099370443117467\ 92704791050/1751120979549626680112237662431266665434528672719933458\ 19074877*c_1010_7 + 43682993548201413683028878725387901761932560443\ 828421104259295/175112097954962668011223766243126666543452867271993\ 345819074877, c_0101_0 - 287793158909606143138094108865032144133851238575187057957556\ /175112097954962668011223766243126666543452867271993345819074877*c_\ 1010_7^16 + 8123843682263576412269226468333111283570530942097781855\ 875680/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^15 - 2141199302136203871426463586632699819801373310202\ 1350680964856/17511209795496266801122376624312666654345286727199334\ 5819074877*c_1010_7^14 - 163782646971648184825220989379390826421639\ 195618630927967485220/175112097954962668011223766243126666543452867\ 271993345819074877*c_1010_7^13 + 1857140682116090645846127359876967\ 850883576971575634020736988056/175112097954962668011223766243126666\ 543452867271993345819074877*c_1010_7^12 - 10323339521323438696711003930205862406352974906007394504131667192/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^11 + 313731215380585037121382641298765635431254208877348085754\ 02801627/1751120979549626680112237662431266665434528672719933458190\ 74877*c_1010_7^10 - 51190115939678462957680265560220800782741796017\ 011897078967428918/175112097954962668011223766243126666543452867271\ 993345819074877*c_1010_7^9 + 24532753491252451832677736262299438284\ 505788146129064439894039120/175112097954962668011223766243126666543\ 452867271993345819074877*c_1010_7^8 + 83806809331791569089495446470106342643735855942077268844046750900/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^7 - 4775953317660611110971841679223786953450262720466467628755\ 7786990/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^6 - 7208181957594364311129548956668981805168743746310\ 0741283200603983/17511209795496266801122376624312666654345286727199\ 3345819074877*c_1010_7^5 + 1224559021189189130004647249674965696280\ 6505223556323698905488614/17511209795496266801122376624312666654345\ 2867271993345819074877*c_1010_7^4 + 18701307552431516090336032491301406265059883068116850806879032941/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^3 + 8157965331076796280830099769241389707759296391433918824712\ 756400/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^2 + 19464455085922653457530310948993117346559577865369\ 87321059672309/1751120979549626680112237662431266665434528672719933\ 45819074877*c_1010_7 + 26574452800109523111898582529812830320667535\ 8865311653265906308/17511209795496266801122376624312666654345286727\ 1993345819074877, c_0101_2 - 337146804941905324476396433250084207179345450540130271505208\ /175112097954962668011223766243126666543452867271993345819074877*c_\ 1010_7^16 + 9565828352956339592676796864106755732865611700332502692\ 447532/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^15 - 2648033796361664741255973143567422806701737516506\ 1845266919048/17511209795496266801122376624312666654345286727199334\ 5819074877*c_1010_7^14 - 187720625302374562479858893936946877673659\ 270569261164540564084/175112097954962668011223766243126666543452867\ 271993345819074877*c_1010_7^13 + 2201917719719154602527267536643060\ 257140445236070538657612712648/175112097954962668011223766243126666\ 543452867271993345819074877*c_1010_7^12 - 12418619106828877704640515238581785649180952910417816585347611440/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^11 + 386241828651176027956682087868587400895143413379214609873\ 98851606/1751120979549626680112237662431266665434528672719933458190\ 74877*c_1010_7^10 - 65974947616126160800332374560291186224141987252\ 888115543150679873/175112097954962668011223766243126666543452867271\ 993345819074877*c_1010_7^9 + 39599396085865317462390485875950601915\ 289977814538129404350125426/175112097954962668011223766243126666543\ 452867271993345819074877*c_1010_7^8 + 90124108294304423745407350363003313758070692225247324495205438211/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^7 - 6730538981489391402916151176207498869477473600011610947384\ 2322367/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^6 - 7235611427727639237287161060649211849254141123039\ 2849792021899081/17511209795496266801122376624312666654345286727199\ 3345819074877*c_1010_7^5 + 2300106591624140111908359235393761808306\ 9334474688135382445750659/17511209795496266801122376624312666654345\ 2867271993345819074877*c_1010_7^4 + 16424318736800780259514426694487669987591878092759399302125330512/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^3 + 7640421979725144072555034448449765390532142563483442657526\ 242357/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^2 + 15886197816430798525936085855864433638300552393900\ 05121555416452/1751120979549626680112237662431266665434528672719933\ 45819074877*c_1010_7 + 23487367962114059601611751033518004463968164\ 3754007465874599419/17511209795496266801122376624312666654345286727\ 1993345819074877, c_0101_3 - 193953087781662210415332483882471407824950064516258667571096\ /175112097954962668011223766243126666543452867271993345819074877*c_\ 1010_7^16 + 5431575647259763832800210777339647868241829588673298960\ 201720/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^15 - 1320606630020362296469063389420711320825610616965\ 9655294142612/17511209795496266801122376624312666654345286727199334\ 5819074877*c_1010_7^14 - 113615726998124819213502481379046895778759\ 014850750451737921032/175112097954962668011223766243126666543452867\ 271993345819074877*c_1010_7^13 + 1226813172149105823202391228868621\ 201829814938976986920373649716/175112097954962668011223766243126666\ 543452867271993345819074877*c_1010_7^12 - 6676759966051836475921201872513130550466984467406613566697227080/17\ 5112097954962668011223766243126666543452867271993345819074877*c_101\ 0_7^11 + 1958748285309522027194010857535807237467642628958499380248\ 8039566/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^10 - 297857023939501955833430132104156341404404321360\ 35259622022016538/1751120979549626680112237662431266665434528672719\ 93345819074877*c_1010_7^9 + 895130396410901527208383412337790441110\ 4889511564474253885914459/17511209795496266801122376624312666654345\ 2867271993345819074877*c_1010_7^8 + 59676566154124796321830707803137618252016274991646077059762061130/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^7 - 1854759060272811633475095240110829278795249694211466824566\ 1421347/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^6 - 5673525952899041718482981758568798557183228868364\ 5521464224886743/17511209795496266801122376624312666654345286727199\ 3345819074877*c_1010_7^5 - 3561304554422621612740130923687295927361\ 858627464841345584120259/175112097954962668011223766243126666543452\ 867271993345819074877*c_1010_7^4 + 15190217548513068333105376359498017114402318882404567290687300369/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^3 + 8957967752042632338279494753264754670804386290572348199704\ 505426/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^2 + 23802428996120637775052630230514871241635322546406\ 49805160384504/1751120979549626680112237662431266665434528672719933\ 45819074877*c_1010_7 + 32024774398341292258563570013075978645315410\ 9757865735335523206/17511209795496266801122376624312666654345286727\ 1993345819074877, c_0101_8 - 30869166050650351427290557901502061179384708078639430994608/\ 175112097954962668011223766243126666543452867271993345819074877*c_1\ 010_7^16 + 84997990548655511065603585650436498349420244148510514973\ 3292/17511209795496266801122376624312666654345286727199334581907487\ 7*c_1010_7^15 - 168912292573174627976096929664921454469459107429801\ 6708025196/17511209795496266801122376624312666654345286727199334581\ 9074877*c_1010_7^14 - 192611927972495976072715402002588335503712771\ 82019423971338048/1751120979549626680112237662431266665434528672719\ 93345819074877*c_1010_7^13 + 18731387190941597519966319351588034057\ 9288587391259348856174272/17511209795496266801122376624312666654345\ 2867271993345819074877*c_1010_7^12 - 967265579493816694163722778564191500938919314707612678224749020/175\ 112097954962668011223766243126666543452867271993345819074877*c_1010\ _7^11 + 25741052076286585530537084396477206982811233769448267886733\ 78820/1751120979549626680112237662431266665434528672719933458190748\ 77*c_1010_7^10 - 30243312904565838989886077911982369710377202661201\ 28068281681289/1751120979549626680112237662431266665434528672719933\ 45819074877*c_1010_7^9 - 159742433094704294724702016808401811214306\ 3270090399288132459351/17511209795496266801122376624312666654345286\ 7271993345819074877*c_1010_7^8 + 1155762184145904199027092196579877\ 7445259083110142020820804690444/17511209795496266801122376624312666\ 6543452867271993345819074877*c_1010_7^7 + 598908405912998549482460148665546281661652210839393539166405341/175\ 112097954962668011223766243126666543452867271993345819074877*c_1010\ _7^6 - 121457562072810450167187973462991849367871243735747096446958\ 29057/1751120979549626680112237662431266665434528672719933458190748\ 77*c_1010_7^5 - 328092542865411384150521741212556085958631880938477\ 4633577603385/17511209795496266801122376624312666654345286727199334\ 5819074877*c_1010_7^4 + 3548679832174489668117237159405972073252964\ 964438577462819058883/175112097954962668011223766243126666543452867\ 271993345819074877*c_1010_7^3 + 22399163846608574593868788475333318\ 96447395564742539788251709964/1751120979549626680112237662431266665\ 43452867271993345819074877*c_1010_7^2 + 433967335086591348769164830543487984002452796750969271675742700/175\ 112097954962668011223766243126666543452867271993345819074877*c_1010\ _7 + 15833031155048149504897408249620418000113241021970940358333012\ /175112097954962668011223766243126666543452867271993345819074877, c_1001_0 - 126901298580593079894880688574059467312732281057595787578520\ /175112097954962668011223766243126666543452867271993345819074877*c_\ 1010_7^16 + 3539976525476744542013578838269234357976781215146104183\ 617976/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^15 - 8260121213394838660164632288846246011756070404464\ 531725904968/175112097954962668011223766243126666543452867271993345\ 819074877*c_1010_7^14 - 7507647961770711799164190216701377473199029\ 7424074323844084952/17511209795496266801122376624312666654345286727\ 1993345819074877*c_1010_7^13 + 794014926417791590258356029486134623\ 274880584380609261260849428/175112097954962668011223766243126666543\ 452867271993345819074877*c_1010_7^12 - 4284868789689937029145723139346288697814877741716218132744280060/17\ 5112097954962668011223766243126666543452867271993345819074877*c_101\ 0_7^11 + 1238600512883014194475829840038292127930249502369348869131\ 6922566/17511209795496266801122376624312666654345286727199334581907\ 4877*c_1010_7^10 - 183568659982885854589053727386215647159569833616\ 09577669716131742/1751120979549626680112237662431266665434528672719\ 93345819074877*c_1010_7^9 + 457424475716369375146127522355698134802\ 6082087652157893226258428/17511209795496266801122376624312666654345\ 2867271993345819074877*c_1010_7^8 + 38166384645870408522194345462418262424597401974783432961113793820/1\ 75112097954962668011223766243126666543452867271993345819074877*c_10\ 10_7^7 - 6716252835374348409198378125990092397778691327168998644277\ 661499/175112097954962668011223766243126666543452867271993345819074\ 877*c_1010_7^6 - 36969375636891790995366307219982080256595513857982\ 164939087479740/175112097954962668011223766243126666543452867271993\ 345819074877*c_1010_7^5 - 77631840601120029020609544460284491597758\ 22006799743498033077307/1751120979549626680112237662431266665434528\ 67271993345819074877*c_1010_7^4 + 922062516795345026282172095073479\ 0270143888061879740698538267653/17511209795496266801122376624312666\ 6543452867271993345819074877*c_1010_7^3 + 7455525786926082523429721034564553351587839771470032637377121079/17\ 5112097954962668011223766243126666543452867271993345819074877*c_101\ 0_7^2 + 20273069231588206638054455192182318513264581508181280553552\ 65704/1751120979549626680112237662431266665434528672719933458190748\ 77*c_1010_7 + 37054020183811548113667516312779717412864543804030413\ 5106438548/17511209795496266801122376624312666654345286727199334581\ 9074877, c_1010_7^17 - 28*c_1010_7^16 + 68*c_1010_7^15 + 585*c_1010_7^14 - 6320*c_1010_7^13 + 34419*c_1010_7^12 - 404327/4*c_1010_7^11 + 308901/2*c_1010_7^10 - 49322*c_1010_7^9 - 604557/2*c_1010_7^8 + 187041/2*c_1010_7^7 + 1116247/4*c_1010_7^6 + 98365/4*c_1010_7^5 - 263941/4*c_1010_7^4 - 187959/4*c_1010_7^3 - 16100*c_1010_7^2 - 12953/4*c_1010_7 - 1389/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB