Magma V2.19-8 Tue Aug 20 2013 23:41:13 on localhost [Seed = 2732901930] Type ? for help. Type -D to quit. Loading file "K12n467__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n467 geometric_solution 10.34990265 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 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 1 0 -1 0 0 1 -1 1 -1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.177872715139 0.904792368011 0 4 6 5 0132 0132 0132 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 2 0 -2 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.339464222416 0.467784900572 5 0 0 7 0321 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 1 0 0 -3 3 -1 3 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.177872715139 0.904792368011 4 8 0 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.627787724884 0.797257050140 3 1 5 7 0132 0132 3012 3120 0 0 0 0 0 1 0 -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 -2 0 2 1 0 2 -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.746736033411 0.965803097102 2 4 1 10 0321 1230 0132 0132 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 -2 2 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.358967197969 1.517101306587 9 8 11 1 3201 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.945849456325 0.539427405854 4 8 2 9 3120 3201 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 3 0 -3 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481873362119 1.150001203293 10 3 7 6 0213 0132 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228560856546 0.209429718904 10 7 3 6 1023 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783604555576 0.286582368195 8 9 5 11 0213 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.654660022694 0.385149409088 11 10 11 6 2031 2310 1302 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.704387679519 0.822900784416 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0101_6'], 'c_1001_10' : d['c_0101_4'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : d['c_1001_8'], 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : negation(d['c_0110_10']), 'c_1010_10' : negation(d['c_0101_6']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_11']), 'c_0101_10' : d['c_0011_0'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_8']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : negation(d['c_0101_1']), 'c_1010_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : 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' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_6']), 'c_0110_8' : negation(d['c_0110_10']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0011_7']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_10, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 10454884130638663684521647739751718222874187493022469015670203/1009\ 279847960355451704625758907308584597884742025739609420*c_1001_8^26 - 62138239226020179669036783700790354031714946952843031735323497/5046\ 39923980177725852312879453654292298942371012869804710*c_1001_8^25 + 23187023554852874881996014558437178710235758303462689277832831/5455\ 5667457316510902952743724719382951237013082472411320*c_1001_8^24 - 4236685917094050710032570602752790890669804745629476497481619/57673\ 134169163168668835757651846204834164842401470834824*c_1001_8^23 - 53042218204624258499317454065892915683007215020126065719179888/3604\ 5708855726980418022348532403878021353026500919271765*c_1001_8^22 - 57043672475505961164082155735290118108150582114154325136225926/2523\ 19961990088862926156439726827146149471185506434902355*c_1001_8^21 + 182706052652793122372484681454660728119529355606958526353086487/360\ 45708855726980418022348532403878021353026500919271765*c_1001_8^20 + 2072358877585866067269578515738347065389002036681684893554847017/50\ 4639923980177725852312879453654292298942371012869804710*c_1001_8^19 - 41584375277756235807052110154540741490049956250548615299540228873\ /2018559695920710903409251517814617169195769484051479218840*c_1001_\ 8^18 - 366027954095640185691998837496805564188624140327687806992469\ 7423/1009279847960355451704625758907308584597884742025739609420*c_1\ 001_8^17 + 12218163550413609219934921550635542434775589000697507487\ 651916526/252319961990088862926156439726827146149471185506434902355\ *c_1001_8^16 - 9067312251375810213790534047824248699365118343294034\ 488908728023/504639923980177725852312879453654292298942371012869804\ 710*c_1001_8^15 - 1489769849059502286470680705865724147451860174625\ 7464853967492599/25231996199008886292615643972682714614947118550643\ 4902355*c_1001_8^14 + 942599624358551642594992179762417086342270751\ 29266567741383601797/2018559695920710903409251517814617169195769484\ 051479218840*c_1001_8^13 + 3561194382724069359630473472877694370335\ 3187994115703371425993013/10092798479603554517046257589073085845978\ 84742025739609420*c_1001_8^12 - 12448602883397405469566777821423074\ 075132307548539326328221444249/252319961990088862926156439726827146\ 149471185506434902355*c_1001_8^11 - 1351731648654019419447463773205543170302683746820872054119843931/28\ 8365670845815843344178788259231024170824212007354174120*c_1001_8^10 + 5070618065928665140017839031316623810641948939231440364383499959/\ 183505426901882809400841047074056106290524498550134474440*c_1001_8^\ 9 - 671656908074965268642311134178469220191285112966646768612577681\ 9/1009279847960355451704625758907308584597884742025739609420*c_1001\ _8^8 - 210511233490002094326185467565504852310092762646560112457504\ 029/26215060985983258485834435296293729470074928364304924920*c_1001\ _8^7 + 213152038622091415911796814416430184361066918860976699935606\ 3803/504639923980177725852312879453654292298942371012869804710*c_10\ 01_8^6 + 1708970922707530239623428098908818225507499905458970274941\ 733/2113675074262524506187697924413211695492952339320920648*c_1001_\ 8^5 - 1459983609215550280256045719938255032918310056821830263220022\ 81/144182835422907921672089394129615512085412106003677087060*c_1001\ _8^4 + 251353986287266562518257559836910824746932270568973834739344\ 759/2018559695920710903409251517814617169195769484051479218840*c_10\ 01_8^3 + 6052782892818356308495407437587261635108759230464040931135\ 881/72091417711453960836044697064807756042706053001838543530*c_1001\ _8^2 - 593872961755410250734189011475578894203740739652182274212003\ 7/201855969592071090340925151781461716919576948405147921884*c_1001_\ 8 + 2823453692626934501717307672978190724203104888176017737427741/1\ 009279847960355451704625758907308584597884742025739609420, c_0011_0 - 1, c_0011_10 + 9408257558763914579208477577779581720168849843/360040751667\ 153127343829852838888695943103476*c_1001_8^26 - 101462958283718740775382774027133202723404742441/360040751667153127\ 343829852838888695943103476*c_1001_8^25 + 130024047988823450225325570516317585728672077831/180020375833576563\ 671914926419444347971551738*c_1001_8^24 + 95894205191287274518226236236160583083009575365/9001018791678828183\ 5957463209722173985775869*c_1001_8^23 - 722013282873690552245683960464601342057564497543/180020375833576563\ 671914926419444347971551738*c_1001_8^22 - 930098020963348234724074353117016943137195280687/180020375833576563\ 671914926419444347971551738*c_1001_8^21 + 4559751892437745798903884327970167381986098086597/36004075166715312\ 7343829852838888695943103476*c_1001_8^20 + 2417630647662414378345378008475505015417668540010/90010187916788281\ 835957463209722173985775869*c_1001_8^19 - 3687861391181105084394452192416251341366116573644/90010187916788281\ 835957463209722173985775869*c_1001_8^18 - 13621757416873769550707328633839554002373704471489/1800203758335765\ 63671914926419444347971551738*c_1001_8^17 + 19957530935641980539476076631851930794426409888739/1800203758335765\ 63671914926419444347971551738*c_1001_8^16 + 40805899382665790484025994306691924126509162150203/3600407516671531\ 27343829852838888695943103476*c_1001_8^15 - 35636342620678145637259059765139838480729356581345/1800203758335765\ 63671914926419444347971551738*c_1001_8^14 - 7778806333166955803501135985897113916350121166396/90010187916788281\ 835957463209722173985775869*c_1001_8^13 + 80724137680291941950280640677310131597056972496227/3600407516671531\ 27343829852838888695943103476*c_1001_8^12 + 5842785123940588214977637412168805297120970637467/36004075166715312\ 7343829852838888695943103476*c_1001_8^11 - 29109837396469472636585929602690678289548685550581/1800203758335765\ 63671914926419444347971551738*c_1001_8^10 + 10001079010352687570027745163112505788214020018927/3600407516671531\ 27343829852838888695943103476*c_1001_8^9 + 6574157907632011289390616702116451380808231179873/90010187916788281\ 835957463209722173985775869*c_1001_8^8 - 9571560589172770538779961905114283551828455167797/36004075166715312\ 7343829852838888695943103476*c_1001_8^7 - 3453218091884026209240244178830104858862298650465/18002037583357656\ 3671914926419444347971551738*c_1001_8^6 + 3929006635460124830085340362342811615651528365117/36004075166715312\ 7343829852838888695943103476*c_1001_8^5 + 404330289277440107187721239420768613624710956991/180020375833576563\ 671914926419444347971551738*c_1001_8^4 - 408059708011330223384992032851567067039092171495/180020375833576563\ 671914926419444347971551738*c_1001_8^3 + 13301212980743543393664809952649285964922378645/1800203758335765636\ 71914926419444347971551738*c_1001_8^2 + 17903306726639091438669559601826220276072053429/9001018791678828183\ 5957463209722173985775869*c_1001_8 - 3082743157498518544094688497919809304605734893/90010187916788281835\ 957463209722173985775869, c_0011_11 + 294267494357691350513744561875917973942952005623/3600407516\ 67153127343829852838888695943103476*c_1001_8^26 - 1492724886582620805980984704774197529374704953805/18002037583357656\ 3671914926419444347971551738*c_1001_8^25 + 6323364727396885318579052468239829505806611555645/36004075166715312\ 7343829852838888695943103476*c_1001_8^24 + 7545420667731099685333205321242302108703598780857/18002037583357656\ 3671914926419444347971551738*c_1001_8^23 - 16911543118163924442743360775952616893796805664055/1800203758335765\ 63671914926419444347971551738*c_1001_8^22 - 18558690151615862799396624437219397564638598683697/9001018791678828\ 1835957463209722173985775869*c_1001_8^21 + 86892402656610339242136054113761847301446793996179/3600407516671531\ 27343829852838888695943103476*c_1001_8^20 + 330407975159738659475238390811663282062235360142877/360040751667153\ 127343829852838888695943103476*c_1001_8^19 - 58945140522612927874934263623432042906797028124678/9001018791678828\ 1835957463209722173985775869*c_1001_8^18 - 445227825941049938597225642260868087810807982774243/180020375833576\ 563671914926419444347971551738*c_1001_8^17 + 164149461848541990723739790111952276175982994329428/900101879167882\ 81835957463209722173985775869*c_1001_8^16 + 1407977322239513401111963306716923497345575740567613/36004075166715\ 3127343829852838888695943103476*c_1001_8^15 - 1257001091472456274005437320729163399317958008125171/36004075166715\ 3127343829852838888695943103476*c_1001_8^14 - 660205717486221059016174040530840588187791046585375/180020375833576\ 563671914926419444347971551738*c_1001_8^13 + 1512374864042155255602310416678802018957665249721011/36004075166715\ 3127343829852838888695943103476*c_1001_8^12 + 345952546640878763382451960221105989187364100499367/180020375833576\ 563671914926419444347971551738*c_1001_8^11 - 1152511572124211148884843545707740733431075204347299/36004075166715\ 3127343829852838888695943103476*c_1001_8^10 - 130464454411168099776996808427405566327675890800403/360040751667153\ 127343829852838888695943103476*c_1001_8^9 + 554561232821207057427976807260493227729936330843919/360040751667153\ 127343829852838888695943103476*c_1001_8^8 - 61613563700425106306097875513018287401135850483689/3600407516671531\ 27343829852838888695943103476*c_1001_8^7 - 160902311066120049322443551793680820350565941244931/360040751667153\ 127343829852838888695943103476*c_1001_8^6 + 45396639124776545989183933247118607266481210363031/3600407516671531\ 27343829852838888695943103476*c_1001_8^5 + 24354680679560961876458911235277451602496028707007/3600407516671531\ 27343829852838888695943103476*c_1001_8^4 - 2832754323578059548569456032244789517946568865785/90010187916788281\ 835957463209722173985775869*c_1001_8^3 - 236656631763467433715604380498050393869103642785/900101879167882818\ 35957463209722173985775869*c_1001_8^2 + 544064978096500940288458583239882666449761112665/180020375833576563\ 671914926419444347971551738*c_1001_8 - 34654494575880520738353572109771217139681319857/9001018791678828183\ 5957463209722173985775869, c_0011_5 - 94410533820417238116028471689807636319709446213/360040751667\ 153127343829852838888695943103476*c_1001_8^26 + 964803398103267503962781520194684381489486095829/360040751667153127\ 343829852838888695943103476*c_1001_8^25 - 2096936860575833532688992170286761790210625722163/36004075166715312\ 7343829852838888695943103476*c_1001_8^24 - 4716547859249517748405116092873700798414167101987/36004075166715312\ 7343829852838888695943103476*c_1001_8^23 + 2813089083435651837487431210230399710388227608265/90010187916788281\ 835957463209722173985775869*c_1001_8^22 + 11584827717022326878913695714766577234848772728859/1800203758335765\ 63671914926419444347971551738*c_1001_8^21 - 29865393948395619038274457147135323030879229527193/3600407516671531\ 27343829852838888695943103476*c_1001_8^20 - 26178242943277454858730368127596452383030942670261/9001018791678828\ 1835957463209722173985775869*c_1001_8^19 + 83907850688625731408349469708171868811004503244979/3600407516671531\ 27343829852838888695943103476*c_1001_8^18 + 141622006206601651972228007446768926934029295049155/180020375833576\ 563671914926419444347971551738*c_1001_8^17 - 116216525286913906559367191390589961342890313397559/180020375833576\ 563671914926419444347971551738*c_1001_8^16 - 444540138353773129765723513063049216334725817149315/360040751667153\ 127343829852838888695943103476*c_1001_8^15 + 219351440305446930304513949425650806583247467368911/180020375833576\ 563671914926419444347971551738*c_1001_8^14 + 407919570009776279332503838278760055560878713642057/360040751667153\ 127343829852838888695943103476*c_1001_8^13 - 521546482204634826349508197590603597526499232744791/360040751667153\ 127343829852838888695943103476*c_1001_8^12 - 201373463830808103464241862341444712560080479160391/360040751667153\ 127343829852838888695943103476*c_1001_8^11 + 393447519255770644988402830486044817393499328942197/360040751667153\ 127343829852838888695943103476*c_1001_8^10 + 6314979588783025544165438830319248831171563405915/90010187916788281\ 835957463209722173985775869*c_1001_8^9 - 46860919298357540969272303302048944258147329003311/9001018791678828\ 1835957463209722173985775869*c_1001_8^8 + 7025867586826134967012396309870985460172169513180/90010187916788281\ 835957463209722173985775869*c_1001_8^7 + 13430702411525361703000705333011419110319595604048/9001018791678828\ 1835957463209722173985775869*c_1001_8^6 - 8555840673349468865618203313754218874259732289415/18002037583357656\ 3671914926419444347971551738*c_1001_8^5 - 3978301151821956534459186173054649244065721160979/18002037583357656\ 3671914926419444347971551738*c_1001_8^4 + 4069467970252102789701557609829723986091175567441/36004075166715312\ 7343829852838888695943103476*c_1001_8^3 + 68386069091105001829400213096186434350346851059/9001018791678828183\ 5957463209722173985775869*c_1001_8^2 - 190645531125764868648550876899740925299664602357/180020375833576563\ 671914926419444347971551738*c_1001_8 + 24735821648834099153386008122787569839230320597/1800203758335765636\ 71914926419444347971551738, c_0011_6 + 49883261822565864941189301221897067969619225315/900101879167\ 88281835957463209722173985775869*c_1001_8^26 - 505377207045595001591830313780299699195146648971/900101879167882818\ 35957463209722173985775869*c_1001_8^25 + 4262691013337101371665527612722955389570092315649/36004075166715312\ 7343829852838888695943103476*c_1001_8^24 + 10259669224838915252314989457172416803730230369997/3600407516671531\ 27343829852838888695943103476*c_1001_8^23 - 11373043240818293273623037179640433503778022267469/1800203758335765\ 63671914926419444347971551738*c_1001_8^22 - 12603930063928665215585064114259516650819239745704/9001018791678828\ 1835957463209722173985775869*c_1001_8^21 + 29009227655301215320522404752085481313927524066867/1800203758335765\ 63671914926419444347971551738*c_1001_8^20 + 111840475463685760319276987293275633443790778541385/180020375833576\ 563671914926419444347971551738*c_1001_8^19 - 156771195142644109597894837403143437924431631461225/360040751667153\ 127343829852838888695943103476*c_1001_8^18 - 150415203942904427328312227354104352318654877031213/900101879167882\ 81835957463209722173985775869*c_1001_8^17 + 109546378117456217282917268477170317170739713557797/900101879167882\ 81835957463209722173985775869*c_1001_8^16 + 475091133764815836978009328536225024524242488237857/180020375833576\ 563671914926419444347971551738*c_1001_8^15 - 420906399580040757037104987626661158381129423059165/180020375833576\ 563671914926419444347971551738*c_1001_8^14 - 889854030642971447203629663740507575744663976791699/360040751667153\ 127343829852838888695943103476*c_1001_8^13 + 507490368084941783339621501066612038217619314100955/180020375833576\ 563671914926419444347971551738*c_1001_8^12 + 116225365964941738456489243170075706259535385343056/900101879167882\ 81835957463209722173985775869*c_1001_8^11 - 774314326196583490648611463788041858567273972868719/360040751667153\ 127343829852838888695943103476*c_1001_8^10 - 86197343051927947678328495088762693235457695602655/3600407516671531\ 27343829852838888695943103476*c_1001_8^9 + 186332261140924701637369930875775487338022086000709/180020375833576\ 563671914926419444347971551738*c_1001_8^8 - 42623128285225750678819927801761554234335359321815/3600407516671531\ 27343829852838888695943103476*c_1001_8^7 - 27003777858662227812469950155622025138542846709014/9001018791678828\ 1835957463209722173985775869*c_1001_8^6 + 30998743503326622497095596885595020498433884063509/3600407516671531\ 27343829852838888695943103476*c_1001_8^5 + 8137894792725756482422721458538399291906839752745/18002037583357656\ 3671914926419444347971551738*c_1001_8^4 - 7717839070949118984007128088295531704101981080257/36004075166715312\ 7343829852838888695943103476*c_1001_8^3 - 304190546824858532662714414911869159823089841567/180020375833576563\ 671914926419444347971551738*c_1001_8^2 + 370318591172240398799457214687699555856739149723/180020375833576563\ 671914926419444347971551738*c_1001_8 - 48229638379632780843666514843940064544634082621/1800203758335765636\ 71914926419444347971551738, c_0011_7 + 75137849182948923320798631671338123083616863317/180020375833\ 576563671914926419444347971551738*c_1001_8^26 - 1525412159813075644035284452041519662665657224057/36004075166715312\ 7343829852838888695943103476*c_1001_8^25 + 1617607666317840237064174779122330710175627018511/18002037583357656\ 3671914926419444347971551738*c_1001_8^24 + 7710337220303258989080301080291505086399769070635/36004075166715312\ 7343829852838888695943103476*c_1001_8^23 - 8675299357687095167523137144423437605746938770763/18002037583357656\ 3671914926419444347971551738*c_1001_8^22 - 18972458472173431442806489200707700767142504290731/1800203758335765\ 63671914926419444347971551738*c_1001_8^21 + 22374166259056709909231074205297709545253508419993/1800203758335765\ 63671914926419444347971551738*c_1001_8^20 + 169127495456819318015137696205679516799405671510585/360040751667153\ 127343829852838888695943103476*c_1001_8^19 - 121555092762154044689013046134108415428116426124325/360040751667153\ 127343829852838888695943103476*c_1001_8^18 - 114153552216023522516042736673706948678037854310310/900101879167882\ 81835957463209722173985775869*c_1001_8^17 + 168972029514221366644338032427257952236181629563221/180020375833576\ 563671914926419444347971551738*c_1001_8^16 + 361779335226313161222104878864831351744970143163531/180020375833576\ 563671914926419444347971551738*c_1001_8^15 - 646581490313978623475915045565109866465857471471253/360040751667153\ 127343829852838888695943103476*c_1001_8^14 - 680717749756767357977003846440432174130079881694353/360040751667153\ 127343829852838888695943103476*c_1001_8^13 + 194568950076149778299957632731882509560310421634049/900101879167882\ 81835957463209722173985775869*c_1001_8^12 + 358938158699220908308067304678741470748280242532503/360040751667153\ 127343829852838888695943103476*c_1001_8^11 - 296870603823597866221746280149266731914497556687541/180020375833576\ 563671914926419444347971551738*c_1001_8^10 - 69678037327774684281078209457217406427411568116683/3600407516671531\ 27343829852838888695943103476*c_1001_8^9 + 286180148306322971723340856595057422505240534378219/360040751667153\ 127343829852838888695943103476*c_1001_8^8 - 30448770877734501591084376832043550263479764894977/3600407516671531\ 27343829852838888695943103476*c_1001_8^7 - 83247718482628039996030776937618252261219916202515/3600407516671531\ 27343829852838888695943103476*c_1001_8^6 + 22988047229683596131177074966051282561093030042785/3600407516671531\ 27343829852838888695943103476*c_1001_8^5 + 12663997081984317070211092938334657432287330484325/3600407516671531\ 27343829852838888695943103476*c_1001_8^4 - 5765521218060232002536292526587479690629297452311/36004075166715312\ 7343829852838888695943103476*c_1001_8^3 - 126804420991718307742067525081718516197692506738/900101879167882818\ 35957463209722173985775869*c_1001_8^2 + 138552651626461082623473462989898594258813320484/900101879167882818\ 35957463209722173985775869*c_1001_8 - 34950422085701596853382024490550644701595239953/1800203758335765636\ 71914926419444347971551738, c_0101_0 - 5125982689209427017959358140444519665430227605/1800203758335\ 76563671914926419444347971551738*c_1001_8^26 + 52822226773902795175724811314829954637967474619/1800203758335765636\ 71914926419444347971551738*c_1001_8^25 - 118587382282782665880837937838279177482688861353/180020375833576563\ 671914926419444347971551738*c_1001_8^24 - 243931058496787853628404766926987440243238799385/180020375833576563\ 671914926419444347971551738*c_1001_8^23 + 314289752624281807208120666354426044977578432122/900101879167882818\ 35957463209722173985775869*c_1001_8^22 + 596687734405047568594402869039621207238124811038/900101879167882818\ 35957463209722173985775869*c_1001_8^21 - 1715077638434202992842014279973693986263090240011/18002037583357656\ 3671914926419444347971551738*c_1001_8^20 - 2743561660475771662831092595697652472861439011769/90010187916788281\ 835957463209722173985775869*c_1001_8^19 + 5036895545244919671702852053362437578590998547463/18002037583357656\ 3671914926419444347971551738*c_1001_8^18 + 7383273798493297498562030339394799280134634479334/90010187916788281\ 835957463209722173985775869*c_1001_8^17 - 6973916971833260506206862692496228556569358091053/90010187916788281\ 835957463209722173985775869*c_1001_8^16 - 22590454950519406505311109033881918154688418263943/1800203758335765\ 63671914926419444347971551738*c_1001_8^15 + 12922307540637286607548026888860775502250095274440/9001018791678828\ 1835957463209722173985775869*c_1001_8^14 + 19571771569374272686854610148161378933062390376683/1800203758335765\ 63671914926419444347971551738*c_1001_8^13 - 30115682380915691011096100165521772244702279703549/1800203758335765\ 63671914926419444347971551738*c_1001_8^12 - 8182142446635875642215291675751386317853823659213/18002037583357656\ 3671914926419444347971551738*c_1001_8^11 + 22271985023256401350456697991645095863968396093875/1800203758335765\ 63671914926419444347971551738*c_1001_8^10 - 277932758572287126952807344007815247944369174288/900101879167882818\ 35957463209722173985775869*c_1001_8^9 - 5192448410514566338077369859200641933237513385530/90010187916788281\ 835957463209722173985775869*c_1001_8^8 + 1211722393248054458637445693446843192788211431121/90010187916788281\ 835957463209722173985775869*c_1001_8^7 + 1444668809512405118698555079529124057361194429807/90010187916788281\ 835957463209722173985775869*c_1001_8^6 - 601976777299156132535675950395055759461239604286/900101879167882818\ 35957463209722173985775869*c_1001_8^5 - 200177245109806890666367217248924541681186084594/900101879167882818\ 35957463209722173985775869*c_1001_8^4 + 272947592162864443040603052618657799032347045513/180020375833576563\ 671914926419444347971551738*c_1001_8^3 + 3118270874934011311279613158732228854934614072/90010187916788281835\ 957463209722173985775869*c_1001_8^2 - 12725706458942124768096157887062890855337998588/9001018791678828183\ 5957463209722173985775869*c_1001_8 + 1703630292808768258750748344593428319656744805/90010187916788281835\ 957463209722173985775869, c_0101_1 - 216666103544471337444943225362129626678934331985/36004075166\ 7153127343829852838888695943103476*c_1001_8^26 + 2197937668151525062195365857242257799509400942093/36004075166715312\ 7343829852838888695943103476*c_1001_8^25 - 4655199242182037703774192322602162037331076188657/36004075166715312\ 7343829852838888695943103476*c_1001_8^24 - 11100639200817192088767324925496273313589540593817/3600407516671531\ 27343829852838888695943103476*c_1001_8^23 + 6216329798372082182968702934123323156791572733701/90010187916788281\ 835957463209722173985775869*c_1001_8^22 + 27297803887800659757388618810380037490505586787895/1800203758335765\ 63671914926419444347971551738*c_1001_8^21 - 63801261998399847744352500183404084008723526863081/3600407516671531\ 27343829852838888695943103476*c_1001_8^20 - 60726548565803517389754937369022501910769649700787/9001018791678828\ 1835957463209722173985775869*c_1001_8^19 + 173181504035359278254451293429476146372114757266653/360040751667153\ 127343829852838888695943103476*c_1001_8^18 + 327038258023334483792761722517590080925419371627739/180020375833576\ 563671914926419444347971551738*c_1001_8^17 - 241287430849970815385907660338105037273981535485331/180020375833576\ 563671914926419444347971551738*c_1001_8^16 - 1032896008552040186942157585172692513420044267056711/36004075166715\ 3127343829852838888695943103476*c_1001_8^15 + 461836672014796062893343936213228169899082141908505/180020375833576\ 563671914926419444347971551738*c_1001_8^14 + 966695829778857234382284895903579807286113902502591/360040751667153\ 127343829852838888695943103476*c_1001_8^13 - 1110597960031487021468919293930426689460910757243095/36004075166715\ 3127343829852838888695943103476*c_1001_8^12 - 504474676000827828625572233028676149493987234376355/360040751667153\ 127343829852838888695943103476*c_1001_8^11 + 845501302494944990295463775142499295592231145637587/360040751667153\ 127343829852838888695943103476*c_1001_8^10 + 46639673399707706099381739256887427635344875767929/1800203758335765\ 63671914926419444347971551738*c_1001_8^9 - 101565875434729117660353156851620760687867861267949/900101879167882\ 81835957463209722173985775869*c_1001_8^8 + 23134635227200784762630194027331815577174916275339/1800203758335765\ 63671914926419444347971551738*c_1001_8^7 + 29403114517656245019753796033919415429580201618693/9001018791678828\ 1835957463209722173985775869*c_1001_8^6 - 8388190968586352122550406957137188849979769483913/90010187916788281\ 835957463209722173985775869*c_1001_8^5 - 8860892050995838729089484981499401173486343260239/18002037583357656\ 3671914926419444347971551738*c_1001_8^4 + 8334385262808798834052642264546796254373993164559/36004075166715312\ 7343829852838888695943103476*c_1001_8^3 + 167955326460614327564468080389691936467071321672/900101879167882818\ 35957463209722173985775869*c_1001_8^2 - 398727899407751208592984211944069724913740553453/180020375833576563\ 671914926419444347971551738*c_1001_8 + 51367256205196109519888619935473260479586375909/1800203758335765636\ 71914926419444347971551738, c_0101_4 - 483374185251437425149588333971512184088832736/90010187916788\ 281835957463209722173985775869*c_1001_8^26 + 8211871175353819357678966088224053983328021969/18002037583357656367\ 1914926419444347971551738*c_1001_8^25 - 2644913450503199232430976289004509670337851938/90010187916788281835\ 957463209722173985775869*c_1001_8^24 - 77300054373131774238871444345179478917572787249/1800203758335765636\ 71914926419444347971551738*c_1001_8^23 + 10067996235903568887990941119360405299929276728/9001018791678828183\ 5957463209722173985775869*c_1001_8^22 + 189580166811665762560398945616043834105257939482/900101879167882818\ 35957463209722173985775869*c_1001_8^21 + 82897258737579786715484756937045656965240802655/9001018791678828183\ 5957463209722173985775869*c_1001_8^20 - 1321261457572400507737217261489821330495152777269/18002037583357656\ 3671914926419444347971551738*c_1001_8^19 - 1062228747374404846126074671586853436565140923181/18002037583357656\ 3671914926419444347971551738*c_1001_8^18 + 1647753399535543909848931420802145784003688408393/90010187916788281\ 835957463209722173985775869*c_1001_8^17 + 1276133243964875551975550880879164420542370737150/90010187916788281\ 835957463209722173985775869*c_1001_8^16 - 2901874122369347511956552287083433453653817856693/90010187916788281\ 835957463209722173985775869*c_1001_8^15 - 3334305411697741533962205181926387055733502418347/18002037583357656\ 3671914926419444347971551738*c_1001_8^14 + 7087290126325080772459221364422369892067093817859/18002037583357656\ 3671914926419444347971551738*c_1001_8^13 + 1260770807861413868936229204514385212726654600203/90010187916788281\ 835957463209722173985775869*c_1001_8^12 - 5968494830613010323705456385851153441634420889383/18002037583357656\ 3671914926419444347971551738*c_1001_8^11 - 510248873353665458174260633090579445746314197004/900101879167882818\ 35957463209722173985775869*c_1001_8^10 + 3446421586376581612969038605209989885654974203225/18002037583357656\ 3671914926419444347971551738*c_1001_8^9 + 91410906731781922605487463355489284759619075503/1800203758335765636\ 71914926419444347971551738*c_1001_8^8 - 1343787712919064308849290785075314431077072317245/18002037583357656\ 3671914926419444347971551738*c_1001_8^7 + 112809678730185648255822712639471816111479235827/180020375833576563\ 671914926419444347971551738*c_1001_8^6 + 340948343618398998443579916791516694667783968575/180020375833576563\ 671914926419444347971551738*c_1001_8^5 - 57478321084759090643960342058517390308589766819/1800203758335765636\ 71914926419444347971551738*c_1001_8^4 - 52061418480142599998730929008766755459408578159/1800203758335765636\ 71914926419444347971551738*c_1001_8^3 + 6109202103485671830979019072051207645634018970/90010187916788281835\ 957463209722173985775869*c_1001_8^2 + 1868971347114068076541352332490496863904186077/90010187916788281835\ 957463209722173985775869*c_1001_8 - 585181638378046943899561546250752790836767966/900101879167882818359\ 57463209722173985775869, c_0101_6 - 514167480195532625963290499161994957923891659841/36004075166\ 7153127343829852838888695943103476*c_1001_8^26 + 5211799475002865115842203352359013449456834663621/36004075166715312\ 7343829852838888695943103476*c_1001_8^25 - 2750943288711428051742449753805710321262767950827/90010187916788281\ 835957463209722173985775869*c_1001_8^24 - 6612157734325097178053857855060558155746655658137/90010187916788281\ 835957463209722173985775869*c_1001_8^23 + 29414907669387327115495071457753185991034401323193/1800203758335765\ 63671914926419444347971551738*c_1001_8^22 + 65061948988600430371197291005782830122684354916093/1800203758335765\ 63671914926419444347971551738*c_1001_8^21 - 150495550060324655875760405353551573987583344605243/360040751667153\ 127343829852838888695943103476*c_1001_8^20 - 289048398953244920861986477158636631158384742481339/180020375833576\ 563671914926419444347971551738*c_1001_8^19 + 101624691295576928154593830447717455557338458498575/900101879167882\ 81835957463209722173985775869*c_1001_8^18 + 778599915346273205325690036678879449717782569318409/180020375833576\ 563671914926419444347971551738*c_1001_8^17 - 566466085111001376750234079103589227042586881198849/180020375833576\ 563671914926419444347971551738*c_1001_8^16 - 2464169575625778409174857977516170204750071336519701/36004075166715\ 3127343829852838888695943103476*c_1001_8^15 + 543297068486967827768645345553969800002613664712983/900101879167882\ 81835957463209722173985775869*c_1001_8^14 + 579107703013791955161842964114479830659208455747139/900101879167882\ 81835957463209722173985775869*c_1001_8^13 - 2619007087980402766635236271373525497321156080743293/36004075166715\ 3127343829852838888695943103476*c_1001_8^12 - 1221516596617487756430735850961020338619456450323191/36004075166715\ 3127343829852838888695943103476*c_1001_8^11 + 499654340268812453786533102012285817449144215864797/900101879167882\ 81835957463209722173985775869*c_1001_8^10 + 238287893012923899186728618992645365446393310454995/360040751667153\ 127343829852838888695943103476*c_1001_8^9 - 481514841154040634331199270370833252665800521937017/180020375833576\ 563671914926419444347971551738*c_1001_8^8 + 102354742916692889690821234498265155315225100170867/360040751667153\ 127343829852838888695943103476*c_1001_8^7 + 69979265908638847970006298135087961242032460305514/9001018791678828\ 1835957463209722173985775869*c_1001_8^6 - 77656047535610098811481493896827389020620982046719/3600407516671531\ 27343829852838888695943103476*c_1001_8^5 - 10628682751777570440359620368160571497990012312177/9001018791678828\ 1835957463209722173985775869*c_1001_8^4 + 9752448776256017127807428139925256298121816622011/18002037583357656\ 3671914926419444347971551738*c_1001_8^3 + 843015284361293672752465049157751634756771398079/180020375833576563\ 671914926419444347971551738*c_1001_8^2 - 469737460929476279322621631929567525501553854677/900101879167882818\ 35957463209722173985775869*c_1001_8 + 59461906174705693503150261807100819026547218588/9001018791678828183\ 5957463209722173985775869, c_0110_10 + 620484896473264750781313917159638827342748449429/3600407516\ 67153127343829852838888695943103476*c_1001_8^26 - 1571619009535617575014959505247349450270499434907/90010187916788281\ 835957463209722173985775869*c_1001_8^25 + 13248108018259133689928400606795147822825527020253/3600407516671531\ 27343829852838888695943103476*c_1001_8^24 + 15992590654878045031074634452615960458031191484379/1800203758335765\ 63671914926419444347971551738*c_1001_8^23 - 35414277115995888036452339338807239569176554826467/1800203758335765\ 63671914926419444347971551738*c_1001_8^22 - 39360955573345139183721799055460493819517682583173/9001018791678828\ 1835957463209722173985775869*c_1001_8^21 + 180771428089060232872364343102946320894814402195301/360040751667153\ 127343829852838888695943103476*c_1001_8^20 + 698844349872307118024202850944853662070191624198957/360040751667153\ 127343829852838888695943103476*c_1001_8^19 - 121650341900032189663481971578020331570847928842429/900101879167882\ 81835957463209722173985775869*c_1001_8^18 - 941218686598112519040926027684418741770551089994947/180020375833576\ 563671914926419444347971551738*c_1001_8^17 + 338906829857457248743205112163147290048907794353133/900101879167882\ 81835957463209722173985775869*c_1001_8^16 + 2982045796746469556007692824694224699800848014638559/36004075166715\ 3127343829852838888695943103476*c_1001_8^15 - 2602113685826966092409859196578984681778405411335811/36004075166715\ 3127343829852838888695943103476*c_1001_8^14 - 1405576346155704591941579555953729364958412983025017/18002037583357\ 6563671914926419444347971551738*c_1001_8^13 + 3138024188925381362685695654984931334466200401103753/36004075166715\ 3127343829852838888695943103476*c_1001_8^12 + 373418455424054769684802224387917051524453764303908/900101879167882\ 81835957463209722173985775869*c_1001_8^11 - 2396243216350181182066179295110341705927800185917131/36004075166715\ 3127343829852838888695943103476*c_1001_8^10 - 303465357912042114414843439454032391135190705336025/360040751667153\ 127343829852838888695943103476*c_1001_8^9 + 1155600364344519261216910186516543137840745907930207/36004075166715\ 3127343829852838888695943103476*c_1001_8^8 - 115119193995731765879955800470820434591000986660939/360040751667153\ 127343829852838888695943103476*c_1001_8^7 - 336416239416711389016597909519080916935491894181719/360040751667153\ 127343829852838888695943103476*c_1001_8^6 + 90926037912232330410704016872225458947054045775153/3600407516671531\ 27343829852838888695943103476*c_1001_8^5 + 51313684339812398072311902364054299240389675303283/3600407516671531\ 27343829852838888695943103476*c_1001_8^4 - 5752323993757615649969606315998983346228646486309/90010187916788281\ 835957463209722173985775869*c_1001_8^3 - 524397963205204132497945224268845535360284409988/900101879167882818\ 35957463209722173985775869*c_1001_8^2 + 1111786192904639283545967040594053263162091974145/18002037583357656\ 3671914926419444347971551738*c_1001_8 - 69556970934335454524554395746216036917907440789/9001018791678828183\ 5957463209722173985775869, c_1001_8^27 - 201/19*c_1001_8^26 + 492/19*c_1001_8^25 + 796/19*c_1001_8^24 - 2604/19*c_1001_8^23 - 202*c_1001_8^22 + 7677/19*c_1001_8^21 + 18860/19*c_1001_8^20 - 24454/19*c_1001_8^19 - 50728/19*c_1001_8^18 + 3542*c_1001_8^17 + 72099/19*c_1001_8^16 - 120494/19*c_1001_8^15 - 49370/19*c_1001_8^14 + 134397/19*c_1001_8^13 + 85*c_1001_8^12 - 93468/19*c_1001_8^11 + 24319/19*c_1001_8^10 + 39186/19*c_1001_8^9 - 19699/19*c_1001_8^8 - 8520/19*c_1001_8^7 + 7479/19*c_1001_8^6 + 256/19*c_1001_8^5 - 1416/19*c_1001_8^4 + 264/19*c_1001_8^3 + 96/19*c_1001_8^2 - 40/19*c_1001_8 + 4/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.160 Total time: 1.360 seconds, Total memory usage: 32.09MB