Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 863154162] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0473 geometric_solution 4.50164352 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530885378109 0.047183171143 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600231177002 0.118916425987 1 3 1 3 0132 0132 1023 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 -1 0 1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.501997372794 1.453356616266 2 2 5 4 3201 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 1 -1 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.875532670627 1.930251186207 5 5 3 6 1302 2031 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.395380406790 0.416069397150 4 4 6 3 1302 2031 2310 0132 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 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.395380406790 0.416069397150 6 5 4 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282610249712 1.162869878031 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], '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_6'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0101_1'], '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' : d['c_0011_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_4'], '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_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 5683877028055798095684930518066920407618880210069645198251092813951\ 564844072023609748140162649994921665/124113430448910405458074470963\ 1913228827387219970298069704837420558720323765902876573097907607179\ 5997*c_0101_6^27 - 884180357651491585853010483810924115133987905896\ 88447052704487851076726726387011235168915537922412676500/1241134304\ 4891040545807447096319132288273872199702980697048374205587203237659\ 028765730979076071795997*c_0101_6^26 + 6242926772001473573768954144349495166828807654150724478402760330677\ 0520416936548009536549431646599026062/12411343044891040545807447096\ 3191322882738721997029806970483742055872032376590287657309790760717\ 95997*c_0101_6^25 + 26277157971820474184746982215609373047439621178\ 80479570353605450646353641678051401470092568910086173677526/1241134\ 3044891040545807447096319132288273872199702980697048374205587203237\ 659028765730979076071795997*c_0101_6^24 - 2320716882429689707263032075263013357392140944689541951859270786945\ 2457668843714814991713098355041429375783/12411343044891040545807447\ 0963191322882738721997029806970483742055872032376590287657309790760\ 71795997*c_0101_6^23 - 96029259405929404121514022334491805338437298\ 791953813995708046309240290083368432568433196889200227791444107/124\ 1134304489104054580744709631913228827387219970298069704837420558720\ 3237659028765730979076071795997*c_0101_6^22 + 5491448175367030134783121831599482735860396029182497309059545305278\ 12127854794472340321567147289480210226229/1241134304489104054580744\ 7096319132288273872199702980697048374205587203237659028765730979076\ 071795997*c_0101_6^21 + 7816981842742773192419825014314813907418697\ 16714730090359081568689168279268327430862686785558416949748553465/1\ 2411343044891040545807447096319132288273872199702980697048374205587\ 203237659028765730979076071795997*c_0101_6^20 - 2270348423216330604413888495354540479186567222347319023597987522608\ 242080312030568331419630205036947851262641/124113430448910405458074\ 4709631913228827387219970298069704837420558720323765902876573097907\ 6071795997*c_0101_6^19 - 286875019995535811888652145585972345131452\ 3239493555097293986189823791040020906720925385356366151419796656578\ /124113430448910405458074470963191322882738721997029806970483742055\ 87203237659028765730979076071795997*c_0101_6^18 + 1043154269570068758950156758317159177841333063648763811749436458657\ 3918447523285092958498275421900698961424765/12411343044891040545807\ 4470963191322882738721997029806970483742055872032376590287657309790\ 76071795997*c_0101_6^17 + 65938787371105004618880844088644836048289\ 1280886432816178301697280546943955840753371944317398140874340666398\ 5/12411343044891040545807447096319132288273872199702980697048374205\ 587203237659028765730979076071795997*c_0101_6^16 - 2525176202868488365685198866901194121133035935666657092602622122219\ 0352292525020375774498917218306697515925401/12411343044891040545807\ 4470963191322882738721997029806970483742055872032376590287657309790\ 76071795997*c_0101_6^15 - 59769233602617042583728690813598837829105\ 9402629998494305083851205896126176850352664897428741915366383249303\ 3/12411343044891040545807447096319132288273872199702980697048374205\ 587203237659028765730979076071795997*c_0101_6^14 + 2015212032160108349913314283426451748108985700755766297489599428289\ 9198856156460795925462697123554652733645879/12411343044891040545807\ 4470963191322882738721997029806970483742055872032376590287657309790\ 76071795997*c_0101_6^13 + 66625122183416140838140484973417040968284\ 199067646809512064400368985912615190096516164216681702550909799659/\ 1128303913171912776891586099665375662570352018154816427004397655053\ 382112514457160520998097824708727*c_0101_6^12 - 2384046576607346292752847045968823006436704474324015053293851379961\ 399199072427277423113888793579277941605166/124113430448910405458074\ 4709631913228827387219970298069704837420558720323765902876573097907\ 6071795997*c_0101_6^11 - 134079201839673119647595249141670509712867\ 8912939991050757529226563209586200056010545642619570282306987203551\ /124113430448910405458074470963191322882738721997029806970483742055\ 87203237659028765730979076071795997*c_0101_6^10 - 1245591896406417494768639613358695890623184736352425883336186024457\ 880887129766391540503399225706235616619490/124113430448910405458074\ 4709631913228827387219970298069704837420558720323765902876573097907\ 6071795997*c_0101_6^9 + 1548226891440887854879850522299629184926246\ 694202003617675522840632469342200794448956171762935554921448391102/\ 1241134304489104054580744709631913228827387219970298069704837420558\ 7203237659028765730979076071795997*c_0101_6^8 - 4086855517396129987856031765848449423649697983753765844244034233652\ 11436795809370061724112633541232900906975/1241134304489104054580744\ 7096319132288273872199702980697048374205587203237659028765730979076\ 071795997*c_0101_6^7 - 12060325413369444483969806517057859427909396\ 3915878858407102755639413265227278712525021886530154711432891142/12\ 4113430448910405458074470963191322882738721997029806970483742055872\ 03237659028765730979076071795997*c_0101_6^6 + 1462553804193612461496788721362168241125900420930051406281404178634\ 44756436956472954294651160817089443743606/1241134304489104054580744\ 7096319132288273872199702980697048374205587203237659028765730979076\ 071795997*c_0101_6^5 - 39606347630891833444387429532484452877561070\ 61425501631948697295952892982941302970936295558766924209843839/1128\ 3039131719127768915860996653756625703520181548164270043976550533821\ 12514457160520998097824708727*c_0101_6^4 - 2461748485432999377783685765046592569162432713683084658326653987418\ 124257169587046544852458096271251893552/124113430448910405458074470\ 9631913228827387219970298069704837420558720323765902876573097907607\ 1795997*c_0101_6^3 + 4353963456069047686217676551847343277207965228\ 563233701898638861282004687974173315487779302777400305622829/124113\ 4304489104054580744709631913228827387219970298069704837420558720323\ 7659028765730979076071795997*c_0101_6^2 - 9189588849802746691317672471590147089463625352787920257474495760588\ 46415829182859843153891693743788504703/1241134304489104054580744709\ 6319132288273872199702980697048374205587203237659028765730979076071\ 795997*c_0101_6 + 5558516028533579350074145962166425604630852702919\ 1463659839388547043188493190883404232181565856858652100/12411343044\ 8910405458074470963191322882738721997029806970483742055872032376590\ 28765730979076071795997, c_0011_0 - 1, c_0011_1 + 399216256085399141911271008531519704422077883977809244035725\ 159106261275689423340133175088489526576/112830391317191277689158609\ 9665375662570352018154816427004397655053382112514457160520998097824\ 708727*c_0101_6^27 + 6372272566893507288398958494165090105012642409\ 167198668104621656779603043273186310455483880621366901/112830391317\ 1912776891586099665375662570352018154816427004397655053382112514457\ 160520998097824708727*c_0101_6^26 - 1788293931205407735573718753266658589430495744310760116551736831106\ 176239926655554516958679214309488/112830391317191277689158609966537\ 5662570352018154816427004397655053382112514457160520998097824708727\ *c_0101_6^25 - 1851535961299284884269355515995658485437131566858583\ 60171380269607416350522208652432190862923767733128/1128303913171912\ 7768915860996653756625703520181548164270043976550533821125144571605\ 20998097824708727*c_0101_6^24 + 15545638024631516687661469574837948\ 0812846655058977268234733914062300791343097950517914076130135141836\ 6/11283039131719127768915860996653756625703520181548164270043976550\ 53382112514457160520998097824708727*c_0101_6^23 + 7371776276516990321666959423780917899035357648280516452649868787605\ 859829947289922655883425311089254580/112830391317191277689158609966\ 5375662570352018154816427004397655053382112514457160520998097824708\ 727*c_0101_6^22 - 3553469722991692276717341976679573560404332199724\ 7632158593732137137063854678019056691984182545695769951/11283039131\ 7191277689158609966537566257035201815481642700439765505338211251445\ 7160520998097824708727*c_0101_6^21 - 6921486997579571227701278298457541420387523069337022497627558933157\ 7788594892881087936129847565097049510/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^20 + 130300538457075830435452503824950924006400642316\ 346633192054842428487748081549983074552031576735154878166/112830391\ 3171912776891586099665375662570352018154816427004397655053382112514\ 457160520998097824708727*c_0101_6^19 + 2540565550817450879366289653182807635950395778608632493379861079953\ 68981048033633313271552973089590833814/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^18 - 62451489225219553273347307499252192241250000374\ 5489900500702951857147742722541548183880037622657029672366/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^17 - 7157590514110141882506065436699297742911687123144329638542006653856\ 69332340065808812274922809124143623412/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^16 + 14612970709384731842419467194673300393342911664\ 36172032605390027886751993652221033888377582784626028303788/1128303\ 9131719127768915860996653756625703520181548164270043976550533821125\ 14457160520998097824708727*c_0101_6^15 + 1019620007719339583118605905221612064272150172675882970876008196108\ 297884489033159094822706325110956053188/112830391317191277689158609\ 9665375662570352018154816427004397655053382112514457160520998097824\ 708727*c_0101_6^14 - 9498004899904660954638374586707603968635194530\ 24099455599214892207312368453290621066880459801927776226933/1128303\ 9131719127768915860996653756625703520181548164270043976550533821125\ 14457160520998097824708727*c_0101_6^13 - 4677582466463804496375842533306596021861589169890769285619191829810\ 06526973204718271491358436363661079640/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^12 - 63745862137675818285498716104444979682874508774\ 343993828423337862410448757773749159656517141730571281595/112830391\ 3171912776891586099665375662570352018154816427004397655053382112514\ 457160520998097824708727*c_0101_6^11 + 9479565871259486594355454076076346672817557446591534669940820333659\ 7919560917589142374244832852075468162/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^10 + 129704287859320920581720259421777431959177477472\ 811572598857659991576219210698248459595423677378670108206/112830391\ 3171912776891586099665375662570352018154816427004397655053382112514\ 457160520998097824708727*c_0101_6^9 - 5305892728353628951188910879228916820439300530917531508603519710772\ 9109290423494639863224276236866189357/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^8 + 6880691754227807143265179639368412208954650413779\ 457759505138356687084927679341534362660280140313033474/112830391317\ 1912776891586099665375662570352018154816427004397655053382112514457\ 160520998097824708727*c_0101_6^7 + 6521212436527703936584661581122970871665075586092296019877024992987\ 796320185527175240160366585164162996/112830391317191277689158609966\ 5375662570352018154816427004397655053382112514457160520998097824708\ 727*c_0101_6^6 - 47350607895010334975867405700962311883347475785077\ 94049557951756015652606070011504137172677416921896186/1128303913171\ 9127768915860996653756625703520181548164270043976550533821125144571\ 60520998097824708727*c_0101_6^5 + 278127103027521988047968987674811\ 2779803983209449615645259293207152323467259486981042240245545371773\ 30/1128303913171912776891586099665375662570352018154816427004397655\ 053382112514457160520998097824708727*c_0101_6^4 + 2498548815548052704751589403353963869190236190410088897176621068235\ 99503776751922014716780448176154741/1128303913171912776891586099665\ 3756625703520181548164270043976550533821125144571605209980978247087\ 27*c_0101_6^3 - 469197292530039225794504101123097620434050797748106\ 99949032404962313700435845716631068817557767502691/1128303913171912\ 7768915860996653756625703520181548164270043976550533821125144571605\ 20998097824708727*c_0101_6^2 - 489152448254548980922459715745307617\ 8743041358183912747487184186265658442312323231218656238284219375/11\ 2830391317191277689158609966537566257035201815481642700439765505338\ 2112514457160520998097824708727*c_0101_6 + 4385279035002145206172375029888033854298665700925156754839528893299\ 14186717877634071184632674750580/1128303913171912776891586099665375\ 662570352018154816427004397655053382112514457160520998097824708727, c_0011_4 + 250973102188870761763539414646094641470676408044835788642414\ 683963860921131962271111352367141884068/112830391317191277689158609\ 9665375662570352018154816427004397655053382112514457160520998097824\ 708727*c_0101_6^27 + 3960091940893807061892924180897966539167242839\ 594419747019537506442835826604652765405894650333531711/112830391317\ 1912776891586099665375662570352018154816427004397655053382112514457\ 160520998097824708727*c_0101_6^26 - 1860800183286975418693406822867689754182672229846220209434174835798\ 689764028542426656072576426013108/112830391317191277689158609966537\ 5662570352018154816427004397655053382112514457160520998097824708727\ *c_0101_6^25 - 1162483812740902173958149755616339934690842590596868\ 73520564306384591537560389783466545465766748404209/1128303913171912\ 7768915860996653756625703520181548164270043976550533821125144571605\ 20998097824708727*c_0101_6^24 + 99861874435677227361388194507376307\ 8940004317675068117702241499007204036381951506816065092990927671508\ /112830391317191277689158609966537566257035201815481642700439765505\ 3382112514457160520998097824708727*c_0101_6^23 + 4457105321579087420123927216779589110642785129619036965930491181154\ 642206607534010050540441668711679170/112830391317191277689158609966\ 5375662570352018154816427004397655053382112514457160520998097824708\ 727*c_0101_6^22 - 2320097573807944898081742168774602798264606279831\ 0624060743981492607559169226606408629534471118453210210/11283039131\ 7191277689158609966537566257035201815481642700439765505338211251445\ 7160520998097824708727*c_0101_6^21 - 3948715017379908954846547375435476770339173325368999864935124640512\ 0421247638981565337021197755401414546/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^20 + 901854246949192670262031172773105422773598108881\ 29673247065340335996578310650080876605875716057982608260/1128303913\ 1719127768915860996653756625703520181548164270043976550533821125144\ 57160520998097824708727*c_0101_6^19 + 1452956530503788330355603631280849965403731250614159332459206048381\ 22323520886212132621927432852753844771/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^18 - 42294732849986342524280639160463931086109886116\ 0372736977313388403316379219895688703568310367408604751929/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^17 - 3801628394986667863755254859750580126732313918457373004253276781356\ 31678748667600795683345823956452722006/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^16 + 10063458882643798578837572125901307882169947558\ 14302910811752052682387466805266320634077071191258195541646/1128303\ 9131719127768915860996653756625703520181548164270043976550533821125\ 14457160520998097824708727*c_0101_6^15 + 4784489583631491395177703522915912470608817645920165449117208555014\ 74472840814003954703294144110035698343/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^14 - 72655961111411243799098343820205276300936923165\ 9188075323755083027121246465206199875171856673865877750595/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^13 - 1920414375847623974659920700363995071806220595723978445941238009398\ 02373245169150696514405985982137177631/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^12 + 20703696747111122485698071156199534934852895487\ 941888535837610760468251379421586747803980404915934675914/112830391\ 3171912776891586099665375662570352018154816427004397655053382112514\ 457160520998097824708727*c_0101_6^11 + 6934021517867656602250652772501298595202867255153790311213795051267\ 4172321714975053974425390803700862930/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^10 + 718345876258392705608254665500907404413967324950\ 66088822069486189505480631136947205999486508477452432102/1128303913\ 1719127768915860996653756625703520181548164270043976550533821125144\ 57160520998097824708727*c_0101_6^9 - 4872750144514693762490141557478110245009569213422462081840824261611\ 7910263922845448267368414457756255114/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^8 + 9598363248431457899392433724549627024173074016355\ 037347803582271220266115217492421709723849207318802036/112830391317\ 1912776891586099665375662570352018154816427004397655053382112514457\ 160520998097824708727*c_0101_6^7 + 3812267658465492693267374891518607350831496398882777658336912156931\ 986851421400362085182634249626489613/112830391317191277689158609966\ 5375662570352018154816427004397655053382112514457160520998097824708\ 727*c_0101_6^6 - 39363227900059738482755393122797271840003892555460\ 32246735591270951150412746908980382595787663756748811/1128303913171\ 9127768915860996653756625703520181548164270043976550533821125144571\ 60520998097824708727*c_0101_6^5 + 718128545185470073346601378411760\ 0609833093124118150131913846412918379642469782513114572313773500108\ 85/1128303913171912776891586099665375662570352018154816427004397655\ 053382112514457160520998097824708727*c_0101_6^4 + 1345813674500916929323448770169064320358469371742529719986632027279\ 30905792162024972776875919664285699/1128303913171912776891586099665\ 3756625703520181548164270043976550533821125144571605209980978247087\ 27*c_0101_6^3 - 647956253546994953677475618217224074777314346426183\ 47815506427056030052228933601973519905675777488803/1128303913171912\ 7768915860996653756625703520181548164270043976550533821125144571605\ 20998097824708727*c_0101_6^2 + 317956916944101677374591640204795705\ 1973554766114678648364275072446501528179062566051786149767669965/11\ 2830391317191277689158609966537566257035201815481642700439765505338\ 2112514457160520998097824708727*c_0101_6 + 5541622234217102338453613799782379656734529465928742729883262018343\ 61738232489127315157540156376174/1128303913171912776891586099665375\ 662570352018154816427004397655053382112514457160520998097824708727, c_0011_6 + 330386937197690227345875093124878504560869000763449989680502\ 640782319987187753971104446089252854392/112830391317191277689158609\ 9665375662570352018154816427004397655053382112514457160520998097824\ 708727*c_0101_6^27 + 5187859289000121193751179185716979548700580109\ 983808664626845199894962664681274311070624513139891881/112830391317\ 1912776891586099665375662570352018154816427004397655053382112514457\ 160520998097824708727*c_0101_6^26 - 2851927692911564826410038385178641395293520988391242517789068461350\ 477642003090927035989945934348504/112830391317191277689158609966537\ 5662570352018154816427004397655053382112514457160520998097824708727\ *c_0101_6^25 - 1528958355454893097533331471099785391258002513348799\ 35462792762246942400845739763966575098848048197678/1128303913171912\ 7768915860996653756625703520181548164270043976550533821125144571605\ 20998097824708727*c_0101_6^24 + 13263156738062844378429826823015845\ 7886204376952343523919851574198816035010113829331724625059670181960\ 9/11283039131719127768915860996653756625703520181548164270043976550\ 53382112514457160520998097824708727*c_0101_6^23 + 5768229802791790761212120411420344736577629693489994477576677671992\ 630956681848646444411377593323318647/112830391317191277689158609966\ 5375662570352018154816427004397655053382112514457160520998097824708\ 727*c_0101_6^22 - 3100314200728283117378681783591339986904701602508\ 5400212211880238153590394977776084924280995245918691284/11283039131\ 7191277689158609966537566257035201815481642700439765505338211251445\ 7160520998097824708727*c_0101_6^21 - 4970623029780808006611093481205937146849995030414371783483333844562\ 3017445052178132781718476948327536203/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^20 + 122955585336200721174965531199784270197518531813\ 667794056910652623433458203386323593145317192168146688799/112830391\ 3171912776891586099665375662570352018154816427004397655053382112514\ 457160520998097824708727*c_0101_6^19 + 1828471227627456083615188544108045595932537012394227400426515176804\ 81408989040285633942295245025785463073/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^18 - 57221200633829761610084394610012762688030511624\ 9016591179189517785539129686476003201010249484886449882025/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^17 - 4602733819894951753039890414616179186725162635523669247950255870287\ 68299744785546094229122499387585300649/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^16 + 13671423563701330820455074847173429577340530965\ 28722546114767189703233571769775653056555423833958906300266/1128303\ 9131719127768915860996653756625703520181548164270043976550533821125\ 14457160520998097824708727*c_0101_6^15 + 5362156514759024404845859345168121715679787549965570198399233640399\ 03749659202918945876769750573244341559/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^14 - 10138108481799019482782625958165734908454092729\ 30320273437844886955912484366248221675009450369810980776412/1128303\ 9131719127768915860996653756625703520181548164270043976550533821125\ 14457160520998097824708727*c_0101_6^13 - 1926918787552768870304895886198004007594748616348761473369746450650\ 53231845912772250054114809266954165267/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^12 + 50914515453160067938337631710933833151371066878\ 839638296181765336349998528563905039278039434200252053236/112830391\ 3171912776891586099665375662570352018154816427004397655053382112514\ 457160520998097824708727*c_0101_6^11 + 9610027289167203801881845180810087815344416247383562012706708875419\ 1009725636448209954469702108542268883/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^10 + 894042411858643106866705165012070407516739285398\ 42290497422705592771709154789051069428263420147087910605/1128303913\ 1719127768915860996653756625703520181548164270043976550533821125144\ 57160520998097824708727*c_0101_6^9 - 7181644188549927605785843330955503026263855597232461608930211950285\ 6314170904266048873251534620780099316/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^8 + 1617174490234916600977450734218648900765903878577\ 8615964363645375669826125080619625019830148012650541201/11283039131\ 7191277689158609966537566257035201815481642700439765505338211251445\ 7160520998097824708727*c_0101_6^7 + 4041276474233974043459089251330838600768348412537809971837200316224\ 427464474004994227992354577079961638/112830391317191277689158609966\ 5375662570352018154816427004397655053382112514457160520998097824708\ 727*c_0101_6^6 - 54065101617789590700212351784570759752120396158325\ 35651685080571571064117314148367877726745514151820696/1128303913171\ 9127768915860996653756625703520181548164270043976550533821125144571\ 60520998097824708727*c_0101_6^5 + 124518174669968861800294390378931\ 2152812831541209411615982141807643793638079345075115035455129516773\ 814/112830391317191277689158609966537566257035201815481642700439765\ 5053382112514457160520998097824708727*c_0101_6^4 + 1413178687249600431953647663972991796901846815401934202185396135276\ 68628167534319772150133106090994960/1128303913171912776891586099665\ 3756625703520181548164270043976550533821125144571605209980978247087\ 27*c_0101_6^3 - 903000751718682833246878260555112152127343328988637\ 60575854365415537615577703866985896412683709466922/1128303913171912\ 7768915860996653756625703520181548164270043976550533821125144571605\ 20998097824708727*c_0101_6^2 + 707216719413021911485186555570718808\ 9142637971207018175555321790425359530256825366122970436347954683/11\ 2830391317191277689158609966537566257035201815481642700439765505338\ 2112514457160520998097824708727*c_0101_6 + 7245567890064839041700854219244570277524005480304903666677950107179\ 19642034257544952768190204951132/1128303913171912776891586099665375\ 662570352018154816427004397655053382112514457160520998097824708727, c_0101_0 + 352093707259902910588862261398137174290985794880368730170452\ 002089821730450814377701558615309424129/112830391317191277689158609\ 9665375662570352018154816427004397655053382112514457160520998097824\ 708727*c_0101_6^27 + 5390845109765533595226503351068790156418770810\ 576298900868237755684242213076196776636206528632305048/112830391317\ 1912776891586099665375662570352018154816427004397655053382112514457\ 160520998097824708727*c_0101_6^26 - 5228080095398843142136427207900436519068616371737244513347403194051\ 900438936848049296064535040946203/112830391317191277689158609966537\ 5662570352018154816427004397655053382112514457160520998097824708727\ *c_0101_6^25 - 1621347714234647127073282847874982899617955898864662\ 69460679129512477753029600035553155005200232714287/1128303913171912\ 7768915860996653756625703520181548164270043976550533821125144571605\ 20998097824708727*c_0101_6^24 + 14773607082703596813861340928320142\ 8517066177698529498737388570585535034706951904630610756089867660745\ 6/11283039131719127768915860996653756625703520181548164270043976550\ 53382112514457160520998097824708727*c_0101_6^23 + 5604922662200947627861789955353560936210974217495595413601957456890\ 489632721238282753903530854100820075/112830391317191277689158609966\ 5375662570352018154816427004397655053382112514457160520998097824708\ 727*c_0101_6^22 - 3554044872429279529369735656102331644475030879567\ 9319040703050318721004196760329341945369879008273992634/11283039131\ 7191277689158609966537566257035201815481642700439765505338211251445\ 7160520998097824708727*c_0101_6^21 - 4047975897251060791116392319077100455207823319679468908299224173689\ 2121791368196237513159972860940960073/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^20 + 153911979681548531643678515194204309709632496726\ 006847171696757006820182783230371040657903480386069419525/112830391\ 3171912776891586099665375662570352018154816427004397655053382112514\ 457160520998097824708727*c_0101_6^19 + 1477496749673651376847257193368117267447227922596305887154307633223\ 29248684952067307229252327855596041685/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^18 - 69397186064031714369419493530788106870085814929\ 4520591127884253940933478643297777390939156389641863805462/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^17 - 2672307861818985288105319792463488582750756634561525498307758388990\ 50146661478522549134673153452408324871/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^16 + 16866833254630229448528224622689097861757480335\ 89713873659505060832545756602023683629949738457021304033620/1128303\ 9131719127768915860996653756625703520181548164270043976550533821125\ 14457160520998097824708727*c_0101_6^15 + 4484116694358346233844812132148106850210964055096731311422742015863\ 1694626441544100257055925279901462403/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^14 - 139277464344954805410476581989741969138840641801\ 2162206060356134985399214940344873886830128562703157821262/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^13 + 1541346370973448335760636131475441126715240239237554593705922299783\ 66046212521169386502743850439823873383/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^12 + 19367161492643430175396861931686413949740301219\ 1690100291097913901446640559388053703104989280620854378931/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^11 + 1120435899268224254184297672364791683674849387727538789878552584003\ 85239415581559476938070373844902379345/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^10 + 58027318774206757668978797504062289480501461340\ 252248577841105248057407059187683846821953361203509239824/112830391\ 3171912776891586099665375662570352018154816427004397655053382112514\ 457160520998097824708727*c_0101_6^9 - 1205538083107932280133680002192189464707657386543789050363222182245\ 04497755728752151508245134714482940282/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^8 + 389358195924822454204123962994607089995513424100\ 31879881039685595186484509529322131905361956446154274341/1128303913\ 1719127768915860996653756625703520181548164270043976550533821125144\ 57160520998097824708727*c_0101_6^7 + 7880640752630282208971471359733017493629762758164398623944217876639\ 28519195460128128347808327823016499/1128303913171912776891586099665\ 3756625703520181548164270043976550533821125144571605209980978247087\ 27*c_0101_6^6 - 755607653939059248687212391578187423201230271106433\ 3098815091840799250711523962186072312892836566044487/11283039131719\ 1277689158609966537566257035201815481642700439765505338211251445716\ 0520998097824708727*c_0101_6^5 + 3138108342260484627225653643795936\ 8883792229834665779059921349290495498538584046150289505808036342630\ 44/1128303913171912776891586099665375662570352018154816427004397655\ 053382112514457160520998097824708727*c_0101_6^4 - 7998012809245380289611243385040879453565098092108529506745582821240\ 4587781613143575031290190603425951/11283039131719127768915860996653\ 7566257035201815481642700439765505338211251445716052099809782470872\ 7*c_0101_6^3 - 1669114226766127662853526329327677730153632342975769\ 32782956691494471542162872954128277472272937902464/1128303913171912\ 7768915860996653756625703520181548164270043976550533821125144571605\ 20998097824708727*c_0101_6^2 + 267094978213326093826768568264247639\ 84730710647194490617248082401806152691774328793530608019600473361/1\ 1283039131719127768915860996653756625703520181548164270043976550533\ 82112514457160520998097824708727*c_0101_6 + 9346559790752062302221892892264389348332243354718638799435020654257\ 90339018007505795241637798271731/1128303913171912776891586099665375\ 662570352018154816427004397655053382112514457160520998097824708727, c_0101_1 + 191613838890320278524740154927263413065944853093272251485171\ 054104408793514475857664540500872187310/112830391317191277689158609\ 9665375662570352018154816427004397655053382112514457160520998097824\ 708727*c_0101_6^27 + 3079506810974961468255208096933691503137920103\ 499074632036273608381045009023006190480630156446502319/112830391317\ 1912776891586099665375662570352018154816427004397655053382112514457\ 160520998097824708727*c_0101_6^26 - 5278397220965054979134720136836153744973992412790875307135829487836\ 01065364405212079250732422046907/1128303913171912776891586099665375\ 662570352018154816427004397655053382112514457160520998097824708727*\ c_0101_6^25 - 89032459188086148726185267898098411685631026826705847\ 706499341029489375683329578057231043962450272076/112830391317191277\ 6891586099665375662570352018154816427004397655053382112514457160520\ 998097824708727*c_0101_6^24 + 7364320157106262298664094081409507322\ 85120790023532368705615573697890900826317650368628585968653489518/1\ 1283039131719127768915860996653756625703520181548164270043976550533\ 82112514457160520998097824708727*c_0101_6^23 + 3621940531749698437965127727599994792706834548475454399333795659703\ 709400090931787921608340582885883704/112830391317191277689158609966\ 5375662570352018154816427004397655053382112514457160520998097824708\ 727*c_0101_6^22 - 1668490508548479835931112540433353539762808883890\ 8902393565370832851457871109414726284616971138779949227/11283039131\ 7191277689158609966537566257035201815481642700439765505338211251445\ 7160520998097824708727*c_0101_6^21 - 3517037038707101202576553487464110889335251683993222424206331440443\ 3222952828173467199865522242122101369/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^20 + 592739326097005484630806526646598083675849070664\ 93015262119481532038632585401132371451984679618928118780/1128303913\ 1719127768915860996653756625703520181548164270043976550533821125144\ 57160520998097824708727*c_0101_6^19 + 1295865307491580907491418908091339476430887803209996353200807137595\ 41783193418604445154211780551164245243/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^18 - 28766069237016925765858921744670130502325767106\ 8910631094194607272334728178407878748135537205928725741855/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^17 - 3792590919050288227877848821907675210776855328818388830876342016118\ 69748429416182713496342206079341374721/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^16 + 66997038934590370329150165229434815969025211055\ 6636131218451875181611280078369076115915650131360379705248/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^15 + 5747237655020050137386976104526923121249035576683227995619274368150\ 73768636959633020728595460814530383470/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^14 - 41630296585661159289097506652318367379398879042\ 7905957068591373303749899137247308079952414421983448256184/11283039\ 1317191277689158609966537566257035201815481642700439765505338211251\ 4457160520998097824708727*c_0101_6^13 - 2872857890826601704951650185920309323572097633831382351795319087193\ 16407071796383615044948858622110476325/1128303913171912776891586099\ 6653756625703520181548164270043976550533821125144571605209980978247\ 08727*c_0101_6^12 - 47962228522371673526118497528249990669366099195\ 771359246031307935388779442253473641256195851038937367148/112830391\ 3171912776891586099665375662570352018154816427004397655053382112514\ 457160520998097824708727*c_0101_6^11 + 4802309404044355671709110754586992757087466437978131974089070429129\ 0624174194273888704493105687241854838/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^10 + 695747352773783136084902656047100992710170384368\ 23858969186250170113572708234318210469708569419726838183/1128303913\ 1719127768915860996653756625703520181548164270043976550533821125144\ 57160520998097824708727*c_0101_6^9 - 1925978333341015933209239480882206129449233864965822029023438159961\ 7262365538186237564403686481105880224/11283039131719127768915860996\ 6537566257035201815481642700439765505338211251445716052099809782470\ 8727*c_0101_6^8 - 1004112340170753620121605395654725105923534827689\ 891657800275388898993666986381983659683798524118484639/112830391317\ 1912776891586099665375662570352018154816427004397655053382112514457\ 160520998097824708727*c_0101_6^7 + 3770029277312590226595475689423076849754076940117403925312748359536\ 992668220172746320599997291095842044/112830391317191277689158609966\ 5375662570352018154816427004397655053382112514457160520998097824708\ 727*c_0101_6^6 - 19999220886174766606468274850725733061334743682907\ 29454274288224394682577565272288537994881170998231970/1128303913171\ 9127768915860996653756625703520181548164270043976550533821125144571\ 60520998097824708727*c_0101_6^5 - 141528589860936201030885399843962\ 4124758039486794620135076012382728932407698862382226346629315200832\ 77/1128303913171912776891586099665375662570352018154816427004397655\ 053382112514457160520998097824708727*c_0101_6^4 + 1526124827561604828953154764126212544056372304518126034527074143075\ 45590570374082696498512843663356851/1128303913171912776891586099665\ 3756625703520181548164270043976550533821125144571605209980978247087\ 27*c_0101_6^3 - 107640766740884856808864931220506579786154734702999\ 17362182165620085550400854475186810761100938113183/1128303913171912\ 7768915860996653756625703520181548164270043976550533821125144571605\ 20998097824708727*c_0101_6^2 - 540951037761075523576268360681742886\ 7216309570732976579743107967822574132763985899765957633832447737/11\ 2830391317191277689158609966537566257035201815481642700439765505338\ 2112514457160520998097824708727*c_0101_6 + 1094346985877969374942365980747996859628859344753500541543119268574\ 53068740826872271951977312207487/1128303913171912776891586099665375\ 662570352018154816427004397655053382112514457160520998097824708727, c_0101_6^28 + 16*c_0101_6^27 - 4*c_0101_6^26 - 466*c_0101_6^25 + 3877*c_0101_6^24 + 18673*c_0101_6^23 - 88807*c_0101_6^22 - 179114*c_0101_6^21 + 331203*c_0101_6^20 + 670774*c_0101_6^19 - 1582196*c_0101_6^18 - 1933098*c_0101_6^17 + 3793325*c_0101_6^16 + 2919317*c_0101_6^15 - 2753268*c_0101_6^14 - 1581661*c_0101_6^13 + 104835*c_0101_6^12 + 377526*c_0101_6^11 + 352535*c_0101_6^10 - 151975*c_0101_6^9 - 29404*c_0101_6^8 + 34627*c_0101_6^7 - 13535*c_0101_6^6 - 1712*c_0101_6^5 + 2160*c_0101_6^4 - 223*c_0101_6^3 - 90*c_0101_6^2 + 16*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB