Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 1393741706] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0907 geometric_solution 4.80162456 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.627162628503 0.085950004361 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.807749390038 0.128538730647 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724097726800 0.471276759356 5 2 4 4 0132 0132 2310 1230 0 0 0 0 0 0 0 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 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.678199991633 1.274396461191 3 3 2 5 3012 3201 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.678199991633 1.274396461191 3 6 6 4 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.387164230892 0.783857521234 5 5 6 6 2310 0132 1230 3012 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 -1 1 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 1.903202913739 0.567729688381 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 6976096203271180991471414746827676755645490911847219064126894336368\ 162347707010295181635/582597258139747190996786927104834347463454393\ 558526332001330406273597267308942130234*c_0101_6^30 + 2910038322710755206900899254482413897063679319273285753940342534094\ 0528534607195915294228/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^29 + 2032729656189286144138301710653991587692928229183433026848763697935\ 90647586524799143507603/5825972581397471909967869271048343474634543\ 93558526332001330406273597267308942130234*c_0101_6^28 - 6207605819626111055930079490485603301856953927772961358006182865468\ 96412408335492385601185/5825972581397471909967869271048343474634543\ 93558526332001330406273597267308942130234*c_0101_6^27 - 4321443846274929637320365998871264385830168817391298221446299331908\ 356010139766715441820717/582597258139747190996786927104834347463454\ 393558526332001330406273597267308942130234*c_0101_6^26 + 3046006573442082035865467007001439315219200173586816719935197161025\ 15819977537621458595961/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^25 + 4062553836118920789848415676724127440491832673737144924194062505629\ 4669413706640844068109487/58259725813974719099678692710483434746345\ 4393558526332001330406273597267308942130234*c_0101_6^24 + 2044455323590346522988687415220516991948881230530032339409387847583\ 8813781845374875864912756/29129862906987359549839346355241717373172\ 7196779263166000665203136798633654471065117*c_0101_6^23 - 3159390224024285705872228099665275481248941740187811368868896175917\ 58906061419825983740671045/5825972581397471909967869271048343474634\ 54393558526332001330406273597267308942130234*c_0101_6^22 - 2586440003905634388367489929244498122666625548118861123704322191406\ 8923397712491772074865385/58259725813974719099678692710483434746345\ 4393558526332001330406273597267308942130234*c_0101_6^21 + 1169879273943323835992908392274897239507123799731953463855714109986\ 877123760725419752767212941/582597258139747190996786927104834347463\ 454393558526332001330406273597267308942130234*c_0101_6^20 - 8574805040653725643196327920500543600845487306803384875779944352012\ 92906421155563882205809763/5825972581397471909967869271048343474634\ 54393558526332001330406273597267308942130234*c_0101_6^19 - 1497383381827666134230875489137086422944076225738655338205367558007\ 973983526319622117679237349/582597258139747190996786927104834347463\ 454393558526332001330406273597267308942130234*c_0101_6^18 + 1108725113174832256013773165314143735619354426794112775893899437883\ 722470784124593572342305523/291298629069873595498393463552417173731\ 727196779263166000665203136798633654471065117*c_0101_6^17 + 6034500573433797096307562125424196523010361020394586447455972105977\ 7448526504719754440228794/29129862906987359549839346355241717373172\ 7196779263166000665203136798633654471065117*c_0101_6^16 - 1913829453605096909951017620727485002644115327803929963885409658236\ 619958792834126358699395251/582597258139747190996786927104834347463\ 454393558526332001330406273597267308942130234*c_0101_6^15 + 3809827156964954375202997512327586916107700726864736172682190201326\ 70141965809267542086671005/2912986290698735954983934635524171737317\ 27196779263166000665203136798633654471065117*c_0101_6^14 + 8115030962534562847554576112794872499335775317433973387891161196678\ 76793449894424412436101213/5825972581397471909967869271048343474634\ 54393558526332001330406273597267308942130234*c_0101_6^13 - 2898272744804691245958658246294223935059927459046845360998085363459\ 68672079473950720586759700/2912986290698735954983934635524171737317\ 27196779263166000665203136798633654471065117*c_0101_6^12 - 7831464502967228819943731645206857726228478061505467512809643151147\ 3809963419009415993691923/29129862906987359549839346355241717373172\ 7196779263166000665203136798633654471065117*c_0101_6^11 + 3825986156040228267365333115752339003128822666882458099125468297428\ 86759879775499550877146853/5825972581397471909967869271048343474634\ 54393558526332001330406273597267308942130234*c_0101_6^10 - 9486986327937015584745494816440244249751603273955712000380612818745\ 1542016864563439559534148/29129862906987359549839346355241717373172\ 7196779263166000665203136798633654471065117*c_0101_6^9 - 4964129138776581335692015305324636891713458968748235231405661256596\ 9765870229595324336190587/58259725813974719099678692710483434746345\ 4393558526332001330406273597267308942130234*c_0101_6^8 + 7728996459747065169334626904466743070214862680596688588046157926779\ 8930632333993476900324163/58259725813974719099678692710483434746345\ 4393558526332001330406273597267308942130234*c_0101_6^7 - 2028951668797014841414515099032374693143479372756910132930736073349\ 3380070775543192303968771/58259725813974719099678692710483434746345\ 4393558526332001330406273597267308942130234*c_0101_6^6 - 6034066216840695315106839842050864334502170890415995948664650824639\ 833306530988280485405067/582597258139747190996786927104834347463454\ 393558526332001330406273597267308942130234*c_0101_6^5 + 2846660106221796725355683558002369373134807219686625932118732821716\ 087527039975014319194219/291298629069873595498393463552417173731727\ 196779263166000665203136798633654471065117*c_0101_6^4 - 1299574578743550956690483205770479091430404189517132283520955936832\ 621924287362404858530707/582597258139747190996786927104834347463454\ 393558526332001330406273597267308942130234*c_0101_6^3 - 2676965399748400883027918758152362743518584452438897557992944402264\ 31889576114549039778949/5825972581397471909967869271048343474634543\ 93558526332001330406273597267308942130234*c_0101_6^2 + 2436874624091150688494213938426589458407774862306365204085514999326\ 14726170636899757605881/5825972581397471909967869271048343474634543\ 93558526332001330406273597267308942130234*c_0101_6 + 1050924804450184439071967654022189773111960729005397462077438037484\ 3255637705900537080103/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117, c_0011_0 - 1, c_0011_1 - 313576070061738725690096071241384987362640395878898670173840\ 755303740277051742525319/291298629069873595498393463552417173731727\ 196779263166000665203136798633654471065117*c_0101_6^30 + 2609851337185120900294836628014867024910798956010716556137983354441\ 329291023533173893/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117*c_0101_6^29 + 9187585060797700303414556380366541249619349276884795988875040789626\ 368390372385891690/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117*c_0101_6^28 - 2770585682993015496600609160016995704780413987009756981867455190772\ 2789631562335741132/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^27 - 1947395683611607751346160331981479553626100169304282873498650573070\ 21191104971912078559/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^26 + 2337887831602189666021104049020672439093386400326796068719257010438\ 5657989191603243763/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^25 + 1825373232245216093645376659556412992857098557452981111832792290490\ 640197917186208934421/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^24 + 1873626033121795212057868160940259242133570714605734619744434493343\ 759072232763379297302/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^23 - 1415409274520076255418594666828998262214097486888982815724602625103\ 0815022453948066287147/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^22 - 1426664419904042412290277677857284301219709120323685211897800652135\ 227319619731540965869/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^21 + 5249158878148009047942992128708374127884354000271473673491400501717\ 2652063216218124461321/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^20 - 3756005493370922010280223931601242289640403047723535980682669029765\ 6194208469123989405016/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^19 - 6780824301363760191040352376015532322059939416038458029362727002745\ 9193725198112809782961/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^18 + 9832520602473194200672921793932447313558049306538481865318038459230\ 5477019907118794675028/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^17 + 6989136993250867851794760583708318231785628640593394320336045068848\ 961120802428212446672/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^16 - 8567790813096015166919551502333528411034802815540609244584512338789\ 9442513865461929358840/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^15 + 3277542969607625048581334229098526849356657255816849500591875052491\ 7781984748401936352877/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^14 + 3686219441353800338044607638330572901130567535718167143993065245187\ 7334246489340889888018/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^13 - 2536418263224398991739513192841334081383372534618600866041997250420\ 7403055106531040910237/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^12 - 7415408212344824611796877579771887845713728004281908907588606208177\ 635603974293819323101/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^11 + 1703810248468257876549347026361307673768628395724768230463188092994\ 6873093787455460318588/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^10 - 8202214695451987761596637243809546580491869248428937244992096836757\ 386889380808779854789/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^9 - 2340198899580060580801901078388187998816579485443564288988938293347\ 720745664896376402214/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^8 + 3407662818105444420737041371156224595885690503746607474279878525317\ 120201230791218083101/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^7 - 8628274317401876957340664575925617171369900536915318753556416168837\ 89258611361816158908/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^6 - 2791589936117732609488284898648003236414694552654318228529179478708\ 35939740257774616563/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^5 + 2458739095187943720291079681903639764996365015298685891848364836749\ 58546312820599606400/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^4 - 5515217507269037756922761358035824946692463928421522068941165330246\ 8006242213765370568/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^3 - 1180287859867536492444386197407144113305298887315631101994726032640\ 6729354213433886542/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^2 + 1029821372957103994085950582870444329134520112022528708713903053392\ 5056805855367695411/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6 + 9607487698305272244275687588362954334634292532529433880886165642853\ 63813852852404824/2912986290698735954983934635524171737317271967792\ 63166000665203136798633654471065117, c_0011_4 + 109702119857129100426766704059346575827609054254445259465276\ 3002169756898454407769388/29129862906987359549839346355241717373172\ 7196779263166000665203136798633654471065117*c_0101_6^30 - 9147309625312222221974342083466447627704447816952916378403451837332\ 460433347310991284/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117*c_0101_6^29 - 3200503050235937435669763568245350826183846500261498171846051835757\ 4691607578162070628/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^28 + 9745286954526722351175072002941936337739498362596389193858045631930\ 3312304831416411756/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^27 + 6799355489107327366089912883397203817293226132831273690382450428987\ 05955250636760640286/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^26 - 9252619700314457757195696906463176195032027283825148619409120931357\ 5647419450872981537/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^25 - 6387468089157147137614125040040817142210591290090597204950691332503\ 200258207236501031366/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^24 - 6458639810504766304744063462019377728683019192729539770777908128894\ 294877388463226217725/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^23 + 4964032818108010102486998182984994293313426020146223888927502216228\ 3953118573341543399682/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^22 + 4274513242610495430502249921653481063691531094300394079022826841060\ 616174940327954505017/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^21 - 1838559880734736690072299946126102721893849921106411994015925269067\ 90189294581561706204577/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^20 + 1340516313039563758991699517542844530378599673638277282892040796481\ 12105837281370511563369/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^19 + 2357366154615384817585432904450037024182918817398891585858829956586\ 15102984681808948333322/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^18 - 3474992582542610350594360335631183015749428997150042144643626464241\ 99264555271868241907865/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^17 - 2008236253431112138233836369463871862117885685148448542234668002257\ 5404920210305830160623/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^16 + 3003981718801836411823868031743737638401915424361467024263263469811\ 85393655171916452429389/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^15 - 1186063103799706969242470049122177199540878215261740527746872658005\ 93059265087154875580215/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^14 - 1277152683746315678078265149721041880900284306749749047649878220722\ 06744573603620188766418/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^13 + 9048827166406019592559902799486906084997430290530992822837960994861\ 3016232325704100998638/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^12 + 2485858253820745452285546122101856639731851890717115342250370018064\ 8265431241894922907111/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^11 - 5997162175483152509325655597470867222143609170238925249471924968230\ 6888070028865729335436/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^10 + 2958876402255793135377613907275099647415116705851673840449268672434\ 7504219049687601006775/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^9 + 7854377907724442834108738363427186445956142682729352020350284501435\ 049614432844122530936/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^8 - 1207591518151609831050717708569778125800834898765518305597275469744\ 9000683762005511133047/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^7 + 3148906194977533033680341869332916577880218920796001529203829436410\ 818911243353348959082/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^6 + 9492641815088224246511621937250879072722100870258905350560027864850\ 56584564776832319028/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^5 - 8849982811633351469731480314143395241512768431517612034173539383374\ 26556171934519973783/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^4 + 2017308134147535809511226651216201727811491452742485790995101461790\ 78466534477823370978/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^3 + 4208417774206185930403292802491388457902549265917794513532568376874\ 7238313139746418486/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^2 - 3771718132930183756494140290188444661553133536022068745774176794357\ 1248281026433503059/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6 - 3236000186225178375768437769893010967073397196329586845446821972496\ 504228002959476295/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117, c_0101_0 + 229756427574072944013608016091060284607092052628370400848187\ 819295227679315301803880/291298629069873595498393463552417173731727\ 196779263166000665203136798633654471065117*c_0101_6^30 - 1891235236679373047249767482705430442341322409677353879944699958306\ 621497377516339392/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117*c_0101_6^29 - 6906557826602684425485782502932636096046991996292510634821701950218\ 295507106330350631/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117*c_0101_6^28 + 1969027592953093656842468035525577885680812842948359532749327462489\ 7839013595349375749/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^27 + 1445054951108025574525782928952046095432393759348764641085490962176\ 83248471309499833202/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^26 - 4252021636399591633513766204211379662131135402546741980953225468363\ 386536023606793758/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117*c_0101_6^25 - 1338721041564103530126321098850636578378733128637660776224840972362\ 817211877977620821876/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^24 - 1491954104585253813203175492522515685641952403578708065551828049831\ 392435976072762289064/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^23 + 1024676854030493123032396410178801859562199422825595732614509468337\ 6867273746313678675998/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^22 + 1967007491003836536536534393293074077451100433671364568317255191316\ 203004023942954122224/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^21 - 3840859988353612241055933590913165245793265780141846449471642707225\ 7442604226078990503430/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^20 + 2419642624823913550306506759771477166868235629159259881582995536780\ 8124082887610073288859/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^19 + 5231084523096705738012246490298127542148487154335715904139687715172\ 1989621016364419001466/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^18 - 6822552517026151496801064508914298042680409940488518772377649986006\ 1182034901980904083276/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^17 - 1145469220093240859459343385755753434798688672915640156841044179032\ 1661464455405962974305/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^16 + 6334088798980207362858932370981424427021042536549634804004159766963\ 3075001970722683751182/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^15 - 1925086803603983155541564649536496516688807923055285771891451303729\ 0987798286728219482662/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^14 - 2957828597678245662518510539808744622180167304512567253378758831852\ 2679375719738027656972/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^13 + 1705425332325239807382829320179712030412464614722007710145381257198\ 6584330194678800348946/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^12 + 7014418505221213995742493543519896503883027615780580101645430678975\ 905346284084882707714/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^11 - 1242053958125467491408218355158497011190406225974998474598450714246\ 6208950089407226990507/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^10 + 5011407387559643688992079088801342589650856010178723020293620575330\ 277675695758262830292/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^9 + 2366773475478822180992663928110087324222989418056949286383633714166\ 765483636329988423357/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^8 - 2514547341179425795963782509173208766275896064149417356460292453105\ 343486546691079344901/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^7 + 4651168687667718223182088065479891714627905952491782706127919022313\ 89009892505296174275/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^6 + 2891007927967049592750435138740652012188762812471452747430363597885\ 67545934035542760057/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^5 - 1840348395704300294707239878600681080757233583403843339045913169766\ 95535048283506142211/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^4 + 3019834639038009665292904055787470565131414774406547301396386250659\ 3687426788799273704/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^3 + 1333718677549088906741428072129475335694185842021729419965639474544\ 0282067409432372671/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^2 - 7827849896730448970518217794383307557131920027273074027520250319698\ 980741877208386311/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117*c_0101_6 - 9157983975852229173424666665519133365401118284992429633200435510832\ 33097822815170901/2912986290698735954983934635524171737317271967792\ 63166000665203136798633654471065117, c_0101_1 + 586108043396489183853434949295306228865356312908771108076637\ 524773725736221103138667/291298629069873595498393463552417173731727\ 196779263166000665203136798633654471065117*c_0101_6^30 - 4901285005659782977987294465702406600489483379484654600281492981153\ 725914692094101090/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117*c_0101_6^29 - 1698933225463322654187719231199096965278389032153331679543426567873\ 7500564367620394821/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^28 + 5253989303922613633268095179152891631020633038636098154460528462538\ 5928510544727789517/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^27 + 3622681374561495211480538961602135756415061332754652167843055651930\ 07054762268695556489/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^26 - 5876467974164255998301178698917839004118509051678152913322587533581\ 1975699286300922672/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^25 - 3416495080708723660130754493858779430211741978879796438578425036608\ 445471743993704428509/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^24 - 3370016601294097104955188978001137208179758980354496219774644880719\ 362358043812827216193/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^23 + 2664867017420821251347046963716923611272346419110671256358495901067\ 7733620695738003582877/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^22 + 1709334168563647124082846627984126443194566341255578721852686568867\ 212585751742260824762/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^21 - 9860278900799446470799552708592343349233285668842390265369791518802\ 1328264944071129694709/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^20 + 7382279854170422951390231838238146779704646364860283430279667674269\ 7515154894208625824582/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^19 + 1254202176863717385095265693981102750763919963780686938275928466861\ 36850163663316220295670/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^18 - 1891253028124281242689595574675024985081527347575649134243602912913\ 37784845938367475791128/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^17 - 8009578258372669658445186662936323071154980585127996134339155026068\ 738888942365353460772/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^16 + 1623873267516823464969508539023185348532987074243991298677004944575\ 42628799969661443653141/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^15 - 6650117745159478132252499038035692969078806375125121091546362271401\ 1602558722568415291530/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^14 - 6836707540087624881175726540420430580990481974992925880645842996198\ 8684405978183145689090/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^13 + 5011740192728699814512926505631642794230032660342328984115159499964\ 5500754159650572034909/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^12 + 1297050515626156325914740655992922759813573603166271871879653774817\ 0066746212415230539733/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^11 - 3259672703830107055578753408137903446258860767305553913023155733807\ 5248438644050454724600/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^10 + 1633467888372361350119012249303935111986462895136802974409993559039\ 3293020774637528282685/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^9 + 4117893177152824234304929904872218856683124952881689746364293120900\ 934563128339772172924/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^8 - 6629747102134185287816669415768541263781417739857744477434059523448\ 275501822050807807411/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^7 + 1766277109535236780865238790303816160413348541404880796034049680704\ 994445401167101180799/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^6 + 5052199135839200714470319245745078613123942309192177773010851074720\ 78354735780153365621/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^5 - 4891269942523663329383374928940574648292524193616248062471924578856\ 54883473603409000516/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^4 + 1119144541591542268665555460811438589089720489979498732966143257956\ 51815474938070394317/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^3 + 2156898616126853641747207618809306299762842486523136139279044943508\ 6872705983304987805/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^2 - 2097998203178920480920658758964296319640065971463528280108226468929\ 9228883117857162004/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6 - 1579951538688334432343274549294864294047905211237280110550496685269\ 198210546729017936/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117, c_0101_3 + 909861787700916845383484311453763288477660890253205443161911\ 888165757271147332116893/291298629069873595498393463552417173731727\ 196779263166000665203136798633654471065117*c_0101_6^30 - 7593701110509931138501438668658488597536716501804549179027780050754\ 856096999707942414/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117*c_0101_6^29 - 2648767893035724595737798815238384855548903939806827371870339654254\ 3900171193412829763/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^28 + 8103972858469781630137304694931184365951555801887650239739527782334\ 5669305701578889952/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^27 + 5633527705772262527084954985711994391647205794337117372700043258261\ 43242776032950351794/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^26 - 8115518546620933377748274439440341388638142520549397175224991668692\ 7554377878913697933/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^25 - 5297910883048888439051873384203305916494120979904663835015868772208\ 785033511541294437461/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^24 - 5316378269825041833761587007147832124688308834636122220811202929080\ 682419839270037402156/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^23 + 4121923564142775024864704879795579239149750445299551086536808677084\ 3906418535237642904571/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^22 + 3239576200882791536260986843438884080663614733415774902932354778714\ 849818224965902869017/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^21 - 1525645462315439820678983757869593464091754310528548948927795384126\ 59482227706776035755922/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^20 + 1123220906027307070896420678707659396412182286320993934952933394273\ 17615580934982882465702/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^19 + 1948535637667225325548347351262031106489303996974524016138720838414\ 28802488660689824986217/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^18 - 2897685453015158451054712998898710778257435428380783872491417822135\ 98290767531373023857043/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^17 - 1474630890852330104433689619013955775211344547499215845020461947017\ 4076135753395089412063/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^16 + 2495478568123575536717257874340783528814272293171150165276418910334\ 13346501929438131307382/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^15 - 1001374699707559057635523201059083080899129281139022488099172053049\ 25028375775831184075665/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^14 - 1054964470905463903333095519518440920777064654497691844946904282442\ 94699570523058637204165/2912986290698735954983934635524171737317271\ 96779263166000665203136798633654471065117*c_0101_6^13 + 7591808750755471075452522330065343731595592396702272899929906509804\ 8526091218536027971688/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^12 + 2020393402624287415879032208956956457449156861809782040558901859948\ 1381442351967774362688/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^11 - 4998304111590718392138602305717148624787150506321361930373537510475\ 6173882322910165000927/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^10 + 2489418307508964593163230080143189869775642072153460662831832187263\ 6404824389353447659927/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^9 + 6393912810066741387956154892955705776823065246966809332628357902050\ 058726356074984617056/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^8 - 1008800525002118846319096646803653481596719538337075994007732993071\ 7983612622290479349213/29129862906987359549839346355241717373172719\ 6779263166000665203136798633654471065117*c_0101_6^7 + 2666864764966501239932955844892917075749475971659967724623925188481\ 125129412118902845023/291298629069873595498393463552417173731727196\ 779263166000665203136798633654471065117*c_0101_6^6 + 7877371199570122058250496288314685849571932160825490056569820744028\ 18951844450107711657/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^5 - 7450755614051366238571378814117410200820621365870496952857673644906\ 62301451797981437026/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^4 + 1699884514917496943550888993167342666409372995818453215423201764446\ 22613849630585236408/2912986290698735954983934635524171737317271967\ 79263166000665203136798633654471065117*c_0101_6^3 + 3523025857321201424534509925844632987369684804821123052640548899013\ 9944108731244711634/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6^2 - 3168072061003848398814608686873366069786471661487677503491358889129\ 8734057531652003278/29129862906987359549839346355241717373172719677\ 9263166000665203136798633654471065117*c_0101_6 - 2669502238857056051114380420666898581436720986425369143213971965307\ 316554098558860911/291298629069873595498393463552417173731727196779\ 263166000665203136798633654471065117, c_0101_6^31 - 8*c_0101_6^30 - 32*c_0101_6^29 + 79*c_0101_6^28 + 650*c_0101_6^27 + 125*c_0101_6^26 - 5854*c_0101_6^25 - 7858*c_0101_6^24 + 43284*c_0101_6^23 + 19241*c_0101_6^22 - 166466*c_0101_6^21 + 65416*c_0101_6^20 + 256934*c_0101_6^19 - 244383*c_0101_6^18 - 126463*c_0101_6^17 + 268695*c_0101_6^16 - 15170*c_0101_6^15 - 154010*c_0101_6^14 + 43320*c_0101_6^13 + 51031*c_0101_6^12 - 47225*c_0101_6^11 + 8382*c_0101_6^10 + 16490*c_0101_6^9 - 8667*c_0101_6^8 - 894*c_0101_6^7 + 1872*c_0101_6^6 - 523*c_0101_6^5 - 94*c_0101_6^4 + 103*c_0101_6^3 - 22*c_0101_6^2 - 15*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB