Magma V2.19-8 Tue Aug 20 2013 16:18:37 on localhost [Seed = 3734979565] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2799 geometric_solution 6.03130374 oriented_manifold CS_known 0.0000000000000002 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.505557567485 0.247576524366 2 0 3 0 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.899032699374 0.533711348814 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.554810520497 0.585088828541 5 4 2 1 1023 1023 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -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 0.554810520497 0.585088828541 3 6 6 2 1023 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.897153726769 0.682565523073 6 3 2 6 3201 1023 0132 2310 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 -1 0 0 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.301662335314 0.624115179680 5 4 4 5 3201 0132 1023 2310 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 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.345780961236 0.841285257677 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : d['1'], 's_0_5' : negation(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_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_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_3'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1927044550811493671801119300269222877128154818653254619611513246379\ 984714722129467351254776440259153263665/187474104869160275452474060\ 5450395424086111155960148333864184549112893581461274517559379278864\ 98463505408*c_0101_6^28 - 39366473352394419380399435330279503342421\ 4619088148404200164881316339880354437936989867761347109584376337/55\ 1394426085765516036688413367763360025326810576514215842407220327321\ 6416062572110468762584897013632512*c_0101_6^27 - 4121917371415879441327223773557587029459096145383626499442584369775\ 7868007488321715259749153659790157888911/18747410486916027545247406\ 0545039542408611115596014833386418454911289358146127451755937927886\ 498463505408*c_0101_6^26 + 1912749007392195066462538587449055856784\ 8713221409142214525415798560086091228203613270595259340780994948441\ /669550374532715269473121644803712651459325412842910119237208767540\ 3191362361694705569211710232087982336*c_0101_6^25 - 2608496028767975606029990230795656606677617920742679162467459399553\ 807353740989708055961785375302743133346781/187474104869160275452474\ 0605450395424086111155960148333864184549112893581461274517559379278\ 86498463505408*c_0101_6^24 + 23895478014867071080746262740886296877\ 2039007731804036362480658847937662031019630276233956435116051525318\ 4971/46868526217290068863118515136259885602152778899003708346604613\ 727822339536531862938984481971624615876352*c_0101_6^23 - 1514073691400654855020410917705410658131867139533112660221530463564\ 4701808085619320081641252610118624719170371/18747410486916027545247\ 4060545039542408611115596014833386418454911289358146127451755937927\ 886498463505408*c_0101_6^22 + 2001732094397033190695134909761933249\ 0240438291611766654258197630162571938438409460018615431740222779178\ 80679/1874741048691602754524740605450395424086111155960148333864184\ 54911289358146127451755937927886498463505408*c_0101_6^21 + 8967678018409237508124213985300090371300054736594065482915650329476\ 127596529385909427912273734156215774777339/187474104869160275452474\ 0605450395424086111155960148333864184549112893581461274517559379278\ 86498463505408*c_0101_6^20 - 10298897172133225048892212322747532103\ 5936352588009900732805887503227113947257092747755694279335561051457\ 783537/187474104869160275452474060545039542408611115596014833386418\ 454911289358146127451755937927886498463505408*c_0101_6^19 + 4730194988028811175293347553918690557917304817502250304546240699085\ 2805858631014627406181489029887071880034343/23434263108645034431559\ 2575681299428010763894495018541733023068639111697682659314694922409\ 85812307938176*c_0101_6^18 - 45502499607436978065260631540733938054\ 5988418788929338564606706636233446018453948481424825935999779759250\ 723425/937370524345801377262370302725197712043055577980074166932092\ 27455644679073063725877968963943249231752704*c_0101_6^17 + 9464661565280250132376668562525151918201261504644262187332067388853\ 43076306371439806787574823540970243149021357/9373705243458013772623\ 7030272519771204305557798007416693209227455644679073063725877968963\ 943249231752704*c_0101_6^16 + 5529659456910807750897308847342312948\ 6277095333602720185438654990503383853501929612613112570287407857156\ 144641/468685262172900688631185151362598856021527788990037083466046\ 13727822339536531862938984481971624615876352*c_0101_6^15 - 4991857637095898105889772833708770228979133553472224217337895068174\ 769390169460904759491018903296163849948201695/187474104869160275452\ 4740605450395424086111155960148333864184549112893581461274517559379\ 27886498463505408*c_0101_6^14 + 21462127320785578570490587930342226\ 4806040036281879389720186484907032906883060173384148900252779185172\ 9053646623/18747410486916027545247406054503954240861111559601483338\ 6418454911289358146127451755937927886498463505408*c_0101_6^13 + 2146833414480615330007226040685535399052150677948960432939949660390\ 018724342718094567199997340342289362940055961/187474104869160275452\ 4740605450395424086111155960148333864184549112893581461274517559379\ 27886498463505408*c_0101_6^12 - 65691699940759593712420583407489557\ 1020201364210805276272109389055752394563001073061881394793449455093\ 284816511/937370524345801377262370302725197712043055577980074166932\ 09227455644679073063725877968963943249231752704*c_0101_6^11 + 2264178973843481356252065748677314940222768991720968051664988767244\ 35678743020767292779767448255585289637597223/2343426310864503443155\ 9257568129942801076389449501854173302306863911169768265931469492240\ 985812307938176*c_0101_6^10 + 8491488333837362822644143092996502720\ 0082725811836702330557320532068558605460797394616870667832292875282\ 806521/110278885217153103207337682673552672005065362115302843168481\ 44406546432832125144220937525169794027265024*c_0101_6^9 - 1172267294791814962940112545374164952720136575964582739210927111589\ 133408201880083177196159800684877017123223015/187474104869160275452\ 4740605450395424086111155960148333864184549112893581461274517559379\ 27886498463505408*c_0101_6^8 - 104029362461326168764226861366245205\ 1157411153139828878347797004402616787034669567132052599323052022043\ 649146281/187474104869160275452474060545039542408611115596014833386\ 418454911289358146127451755937927886498463505408*c_0101_6^7 - 3443714421668966725354663510546601120045228158027529185936345148571\ 7903643851377377631030460738819697071244057/46868526217290068863118\ 5151362598856021527788990037083466046137278223395365318629389844819\ 71624615876352*c_0101_6^6 + 503410996916978951942940943394614183541\ 0983808308503884892570919732920323758096132640384028081205520330214\ 4739/18747410486916027545247406054503954240861111559601483338641845\ 4911289358146127451755937927886498463505408*c_0101_6^5 + 9931327646759730887253627453912293259027755879730414737360695706295\ 616514341721308802979493624724219226233649/187474104869160275452474\ 0605450395424086111155960148333864184549112893581461274517559379278\ 86498463505408*c_0101_6^4 - 316684805764187842271414440952871942762\ 7306301104414028025610425228999655405793926945626265074279242316884\ 633/187474104869160275452474060545039542408611115596014833386418454\ 911289358146127451755937927886498463505408*c_0101_6^3 - 1444757652964950104289080383814892200465101287802062321244187073281\ 0603034958529297224848189356611773449095/66955037453271526947312164\ 4803712651459325412842910119237208767540319136236169470556921171023\ 2087982336*c_0101_6^2 + 9636760347887648696461391818056317159649165\ 611806329463992230725642276871574426295379936889467427788714217/267\ 8201498130861077892486579214850605837301651371640476948835070161276\ 5449446778822276846840928351929344*c_0101_6 + 1683102974250802267914325881218557709138745603685447961656213742077\ 1648260475920113196898201820835076511773/18747410486916027545247406\ 0545039542408611115596014833386418454911289358146127451755937927886\ 498463505408, c_0011_0 - 1, c_0011_1 + 750842542095704997823943131886036925574695629472793973614714\ 0899710832669327799567965537789635215/45416646850764819125320276535\ 9583684786279990261361867292441371513674256726292510416839300943678\ 64*c_0101_6^28 - 65873667240672652414884644603723613077389353814985\ 75679954831496251067142054614618851418449817922/5677080856345602390\ 6650345669947960598284998782670233411555171439209282090786563802104\ 91261795983*c_0101_6^27 - 15697982979158902765426498296429262348919\ 4650524457274539052913044067680872798976893170313901624911/45416646\ 8507648191253202765359583684786279990261361867292441371513674256726\ 29251041683930094367864*c_0101_6^26 + 5249389340212136240558640337321221585181563709777389258468633712221\ 25673447761555256074866360725439/1135416171269120478133006913398959\ 2119656999756534046682311034287841856418157312760420982523591966*c_\ 0101_6^25 - 1031207383594992351970581633059017101074386613304949791\ 7171054459571341114462157108614390731151338091/45416646850764819125\ 3202765359583684786279990261361867292441371513674256726292510416839\ 30094367864*c_0101_6^24 + 18966514117600918856108811785618326574539\ 074734097959664755268239487815622926075654506642602956987643/227083\ 2342538240956266013826797918423931399951306809336462206857568371283\ 6314625520841965047183932*c_0101_6^23 - 6146235425596883214442465281627350955557234040008262724878563602403\ 8259395313752618890858048980259867/45416646850764819125320276535958\ 368478627999026136186729244137151367425672629251041683930094367864*\ c_0101_6^22 + 11187671976683648075685007676753342683515867911811016\ 978453836179049147719857544686359195857833051577/454166468507648191\ 2532027653595836847862799902613618672924413715136742567262925104168\ 3930094367864*c_0101_6^21 + 358592843867223907257333615516648039660\ 51429828353055594080562400859540849719654264250373437368057063/4541\ 6646850764819125320276535958368478627999026136186729244137151367425\ 672629251041683930094367864*c_0101_6^20 - 4041297575812403051557360728708699057507690009992637580885368628002\ 67137085268424527172375021850954739/4541664685076481912532027653595\ 8368478627999026136186729244137151367425672629251041683930094367864\ *c_0101_6^19 + 7514628906575181841288635580760097569548017567481475\ 51865333611751299255004552935975579869795793403343/2270832342538240\ 9562660138267979184239313999513068093364622068575683712836314625520\ 841965047183932*c_0101_6^18 - 4554623201791996788998267674464675612\ 80677755564872462567467459788483088030412357495667751034689599695/5\ 6770808563456023906650345669947960598284998782670233411555171439209\ 28209078656380210491261795983*c_0101_6^17 + 9497514969125482858472130571236477368467399289989050630703966871432\ 75077569211328670786235745119765777/5677080856345602390665034566994\ 796059828499878267023341155517143920928209078656380210491261795983*\ c_0101_6^16 + 20587305691847350771016320550276767789441630572925446\ 2944931512089448444694079125033558201200441577125/22708323425382409\ 5626601382679791842393139995130680933646220685756837128363146255208\ 41965047183932*c_0101_6^15 - 19697404802462739833276788309734078335\ 015418358926042776512165960897081356563557413927226118790889532419/\ 4541664685076481912532027653595836847862799902613618672924413715136\ 7425672629251041683930094367864*c_0101_6^14 + 9773807428669380801325770220782855592902888442014365028485791559496\ 915633093000007825595958830029956077/454166468507648191253202765359\ 5836847862799902613618672924413715136742567262925104168393009436786\ 4*c_0101_6^13 + 822116722148199633604146909916773771476131514157174\ 7523301171501801896663743864473007506780680497168077/45416646850764\ 8191253202765359583684786279990261361867292441371513674256726292510\ 41683930094367864*c_0101_6^12 - 29809541168773669449947754682981579\ 8063290542888912559911515441914577163741843565155590755543865473927\ 1/22708323425382409562660138267979184239313999513068093364622068575\ 683712836314625520841965047183932*c_0101_6^11 + 9071204014374367038366572556583598422674354369182022122341709027083\ 71926343475139953312264688249405177/5677080856345602390665034566994\ 796059828499878267023341155517143920928209078656380210491261795983*\ c_0101_6^10 + 52434042090698937022759028496586511618460130024142133\ 11855142837771355252285845501341350968220269811591/4541664685076481\ 9125320276535958368478627999026136186729244137151367425672629251041\ 683930094367864*c_0101_6^9 - 51671216349410134107980792294641468020\ 44466742029683914484000895721727536517613158189531364577322729731/4\ 5416646850764819125320276535958368478627999026136186729244137151367\ 425672629251041683930094367864*c_0101_6^8 - 3843451006454192480874734259151138071678138010021736664027989992508\ 716592683712477081529162254278826587/454166468507648191253202765359\ 5836847862799902613618672924413715136742567262925104168393009436786\ 4*c_0101_6^7 - 6278714899323271482506100680504450611443720173989378\ 6465134441985520619866979531763812608836529230343/22708323425382409\ 5626601382679791842393139995130680933646220685756837128363146255208\ 41965047183932*c_0101_6^6 + 319375181011815011727679165327404611965\ 397432698722577432485737554762755629574819161297396761675506523/454\ 1664685076481912532027653595836847862799902613618672924413715136742\ 5672629251041683930094367864*c_0101_6^5 + 3495850399046039184212695038073059767225984264116350004748564528691\ 6696566043033698614811810634070527/45416646850764819125320276535958\ 368478627999026136186729244137151367425672629251041683930094367864*\ c_0101_6^4 - 154098730582932559508077900367902584294017382861330562\ 67697658396714102471589483059887723037052806193/4541664685076481912\ 5320276535958368478627999026136186729244137151367425672629251041683\ 930094367864*c_0101_6^3 - 15212194406394539823685148455580525338522\ 3557698072356083605834148723693246056532523341290438414727/11354161\ 7126912047813300691339895921196569997565340466823110342878418564181\ 57312760420982523591966*c_0101_6^2 + 3471460850319906978798793322544542298769159875564602057292301090953\ 27162263499808402646901834315545/4541664685076481912532027653595836\ 8478627999026136186729244137151367425672629251041683930094367864*c_\ 0101_6 + 4245737743652968739806099006377957671371905450224537081711\ 149135351197786259142336782219957602653/454166468507648191253202765\ 3595836847862799902613618672924413715136742567262925104168393009436\ 7864, c_0011_3 + 573719727080912433184767931913307461725252630132876690515635\ 7411159589452798595654355037262399233/45416646850764819125320276535\ 9583684786279990261361867292441371513674256726292510416839300943678\ 64*c_0101_6^28 - 19951868541962296671530086801528827839930960925976\ 430601127992588820927581227842663715666502616731/227083234253824095\ 6266013826797918423931399951306809336462206857568371283631462552084\ 1965047183932*c_0101_6^27 - 121870303143036840331068900821143968706\ 872012750992189045182425623287108159471503549989851846730587/454166\ 4685076481912532027653595836847862799902613618672924413715136742567\ 2629251041683930094367864*c_0101_6^26 + 3981123276754042772930691383920586060690248635314053988150385381715\ 43591957373230386788075542523167/1135416171269120478133006913398959\ 2119656999756534046682311034287841856418157312760420982523591966*c_\ 0101_6^25 - 7791264419651787876379334015155262944993483299647895556\ 651706985990221362547978657433702867063485517/454166468507648191253\ 2027653595836847862799902613618672924413715136742567262925104168393\ 0094367864*c_0101_6^24 + 358254347658260025429688643486727468609195\ 0256387569403322883324059136931298882164786471477619184038/56770808\ 5634560239066503456699479605982849987826702334115551714392092820907\ 8656380210491261795983*c_0101_6^23 - 4597943046473356953743697905794875618104333782299684337310823505742\ 5159476876956438127452193817478999/45416646850764819125320276535958\ 368478627999026136186729244137151367425672629251041683930094367864*\ c_0101_6^22 + 86987240158441765961316975299878548759653982774779549\ 60963615775669307179692421249511497078038059671/4541664685076481912\ 5320276535958368478627999026136186729244137151367425672629251041683\ 930094367864*c_0101_6^21 + 2298392220051798826578803105704769969196\ 5071247120227682334438029441016383909659275098866510651697623/45416\ 6468507648191253202765359583684786279990261361867292441371513674256\ 72629251041683930094367864*c_0101_6^20 - 3063684628583325776301450941165191302509186695578125292145648595563\ 76033597718174534090279407606115689/4541664685076481912532027653595\ 8368478627999026136186729244137151367425672629251041683930094367864\ *c_0101_6^19 + 2829225605415967497628039149795453190093814505664556\ 44890806453654432089133979038568650553190930754285/1135416171269120\ 4781330069133989592119656999756534046682311034287841856418157312760\ 420982523591966*c_0101_6^18 - 1372530811036792619679994469003277349\ 830784280059730340393885544784819098046920258862277689938735574251/\ 2270832342538240956266013826797918423931399951306809336462206857568\ 3712836314625520841965047183932*c_0101_6^17 + 2876466929081154546300983581737058512314088766400657311002039521531\ 104775796406944431065821490349036403/227083234253824095626601382679\ 7918423931399951306809336462206857568371283631462552084196504718393\ 2*c_0101_6^16 + 480846684024816494535811503652535176675814490699820\ 51863577549029729247882735747451785366188923985774/5677080856345602\ 3906650345669947960598284998782670233411555171439209282090786563802\ 10491261795983*c_0101_6^15 - 14410676736150834022530970412138239023\ 552491345488471783479257390786957193070814815432254852223142734059/\ 4541664685076481912532027653595836847862799902613618672924413715136\ 7425672629251041683930094367864*c_0101_6^14 + 6583625407512038017792809144897956736571304999180845798254215346133\ 375620803614211735679840368371566511/454166468507648191253202765359\ 5836847862799902613618672924413715136742567262925104168393009436786\ 4*c_0101_6^13 + 513114653919347937957685258428742609195691142439544\ 6934528788399033446481486232505891586342026290466541/45416646850764\ 8191253202765359583684786279990261361867292441371513674256726292510\ 41683930094367864*c_0101_6^12 - 17269175719381835338426699719162635\ 6428193834955442987820611122479850027970157116097215799109021126773\ 1/22708323425382409562660138267979184239313999513068093364622068575\ 683712836314625520841965047183932*c_0101_6^11 + 7417613585386024554897293868214076803277324348121947790413434445308\ 50686979338745498917438526875305059/5677080856345602390665034566994\ 796059828499878267023341155517143920928209078656380210491261795983*\ c_0101_6^10 + 39318873793680353011901996474816613079912349882617220\ 30084782763294009629347071285485422934167854264521/4541664685076481\ 9125320276535958368478627999026136186729244137151367425672629251041\ 683930094367864*c_0101_6^9 - 30867706786325515844218562097098261557\ 98495859069662502427368857679711359476202817515135534548467312267/4\ 5416646850764819125320276535958368478627999026136186729244137151367\ 425672629251041683930094367864*c_0101_6^8 - 2717570073083719834105901584160524144152261280951692033159343460440\ 043919245181278266092265689256834505/454166468507648191253202765359\ 5836847862799902613618672924413715136742567262925104168393009436786\ 4*c_0101_6^7 - 8238028930579908813904101000600205746569962249298060\ 5092773114837718899928204851102418956009056185153/56770808563456023\ 9066503456699479605982849987826702334115551714392092820907865638021\ 0491261795983*c_0101_6^6 - 9178158739095339887288449979415095664575\ 7575405820011928801623780881034204066785877196408219797255041/45416\ 6468507648191253202765359583684786279990261361867292441371513674256\ 72629251041683930094367864*c_0101_6^5 - 7444547119587223645171167016318091639041019210827403871245252464192\ 075676024650815885593375285740519/454166468507648191253202765359583\ 68478627999026136186729244137151367425672629251041683930094367864*c\ _0101_6^4 - 1584571563719605865225330390514997879317336905959491774\ 422118007762339057131114804503224992775164557/454166468507648191253\ 2027653595836847862799902613618672924413715136742567262925104168393\ 0094367864*c_0101_6^3 + 7368266052254659628239284243986595267288083\ 3412134999269355259202119807587536682825658585228765859/11354161712\ 6912047813300691339895921196569997565340466823110342878418564181573\ 12760420982523591966*c_0101_6^2 - 300829532679455794398759408154917\ 527867350239670062000606179609332577678297777348962369644258263481/\ 4541664685076481912532027653595836847862799902613618672924413715136\ 7425672629251041683930094367864*c_0101_6 + 2332176957106666467899229898375478327755435460939507304585354356571\ 858058005251509445091680881049/454166468507648191253202765359583684\ 78627999026136186729244137151367425672629251041683930094367864, c_0101_0 - 155743385739041713786682796022043310861304288610055768203071\ 8551882204469634067527998546553421857/11354161712691204781330069133\ 9895921196569997565340466823110342878418564181573127604209825235919\ 66*c_0101_6^28 + 21856997695277484729119565750405367434590345470253\ 332912554231322743820725005974103504696004236597/227083234253824095\ 6266013826797918423931399951306809336462206857568371283631462552084\ 1965047183932*c_0101_6^27 + 651986172105723720886726993129310509337\ 29969707093198490206345974632448228944030743006585486693167/2270832\ 3425382409562660138267979184239313999513068093364622068575683712836\ 314625520841965047183932*c_0101_6^26 - 2178128279052013853349739438827368360244936647985139565572576136061\ 53046561454096289421127746844719/5677080856345602390665034566994796\ 059828499878267023341155517143920928209078656380210491261795983*c_0\ 101_6^25 + 21378437800660346495087361237955480762476356186092668022\ 48614681564580160779000168396432487996556513/1135416171269120478133\ 0069133989592119656999756534046682311034287841856418157312760420982\ 523591966*c_0101_6^24 - 1571844494070137421181391177512688391060846\ 5031140884648725878345200780965688297311171137860663188689/22708323\ 4253824095626601382679791842393139995130680933646220685756837128363\ 14625520841965047183932*c_0101_6^23 + 2541781318009585851617743954822780610772590707282878422392405650991\ 7650905764113433954562433008652443/22708323425382409562660138267979\ 184239313999513068093364622068575683712836314625520841965047183932*\ c_0101_6^22 - 22005582430954178004672462409877799076097856354348870\ 68952446414507743385859228328111219688861099665/1135416171269120478\ 1330069133989592119656999756534046682311034287841856418157312760420\ 982523591966*c_0101_6^21 - 1520196289266318763210544397916960387179\ 1036314681018903305944682935421741692980670532249123597791083/22708\ 3234253824095626601382679791842393139995130680933646220685756837128\ 36314625520841965047183932*c_0101_6^20 + 8384237997878115125809422757660144889768124290169039590500808888055\ 3622409659646321184986595417463643/11354161712691204781330069133989\ 592119656999756534046682311034287841856418157312760420982523591966*\ c_0101_6^19 - 62303702960150752313443534619820009897637614207812633\ 4272201093102506644379627564776280659812672543277/22708323425382409\ 5626601382679791842393139995130680933646220685756837128363146255208\ 41965047183932*c_0101_6^18 + 15084375522157361138651849865955174757\ 31039650636054532889970989375983856101645545248487860526889960869/2\ 2708323425382409562660138267979184239313999513068093364622068575683\ 712836314625520841965047183932*c_0101_6^17 - 3141705128385897605011568454277686405794440537329957209257256693989\ 404157678448997209292057689235357139/227083234253824095626601382679\ 7918423931399951306809336462206857568371283631462552084196504718393\ 2*c_0101_6^16 - 194981024566765768127057504129474412373318227996854\ 426777063963706544283504361583675258368291253452603/227083234253824\ 0956266013826797918423931399951306809336462206857568371283631462552\ 0841965047183932*c_0101_6^15 + 821080415802621244130263555551628599\ 2281848795222019924259920353577035528471386572287291393488225570681\ /227083234253824095626601382679791842393139995130680933646220685756\ 83712836314625520841965047183932*c_0101_6^14 - 1009582220116815720147632583678540122791518001140960278378648964667\ 639076599530466031822540490170402661/567708085634560239066503456699\ 4796059828499878267023341155517143920928209078656380210491261795983\ *c_0101_6^13 - 3518722015983428326853951471596338405291801370127460\ 079910084510219115987384209835913061887481501891277/227083234253824\ 0956266013826797918423931399951306809336462206857568371283631462552\ 0841965047183932*c_0101_6^12 + 628852058033450389811740662022502993\ 438989290990187670882725082459012077145116554664754857007098657933/\ 5677080856345602390665034566994796059828499878267023341155517143920\ 928209078656380210491261795983*c_0101_6^11 - 1483677683678845488763972122705120866784759274427432538630784677824\ 140493724700820027324411928409013187/113541617126912047813300691339\ 8959211965699975653404668231103428784185641815731276042098252359196\ 6*c_0101_6^10 - 551983134123359088690731966145955643006363852016373\ 491050982567216929230368869835228114880180131391567/567708085634560\ 2390665034566994796059828499878267023341155517143920928209078656380\ 210491261795983*c_0101_6^9 + 21803430314217496744255423407286314707\ 36530249761544254565165625842691744440771734323644693282032072437/2\ 2708323425382409562660138267979184239313999513068093364622068575683\ 712836314625520841965047183932*c_0101_6^8 + 4063876545973261950220931394558673181636514109507999354834310732265\ 86657442831521439484039859031349178/5677080856345602390665034566994\ 796059828499878267023341155517143920928209078656380210491261795983*\ c_0101_6^7 + 307807080636637610242184766711059406970576392787169310\ 61474456225996994535648603351245778572690473569/2270832342538240956\ 2660138267979184239313999513068093364622068575683712836314625520841\ 965047183932*c_0101_6^6 - 15144688136550166726570855871180782822002\ 7070446073710372095199674418594278461875478978242270917046871/22708\ 3234253824095626601382679791842393139995130680933646220685756837128\ 36314625520841965047183932*c_0101_6^5 - 8856172789419624140587396989042945720343727520798884472741460069269\ 140195130368905146844423047220803/113541617126912047813300691339895\ 92119656999756534046682311034287841856418157312760420982523591966*c\ _0101_6^4 + 6508455680994273964022291860848091293223261326651225704\ 767436856587201093337387749537634267049983451/227083234253824095626\ 6013826797918423931399951306809336462206857568371283631462552084196\ 5047183932*c_0101_6^3 + 1326972955552881831569045060530271926861802\ 63037027696754322387302882870537165137770741977267261689/1135416171\ 2691204781330069133989592119656999756534046682311034287841856418157\ 312760420982523591966*c_0101_6^2 - 5597175067755768481587973979961124734812856472333624033688383201981\ 9323454085391308458288716410482/56770808563456023906650345669947960\ 59828499878267023341155517143920928209078656380210491261795983*c_01\ 01_6 - 223038319767881844899688425952810113546421858214291464943080\ 1958064812878303957327492165737040817/22708323425382409562660138267\ 9791842393139995130680933646220685756837128363146255208419650471839\ 32, c_0101_1 - 104182515591863410953082229681306481310949273789920631424337\ 6797139548280294192373052116063276639/45416646850764819125320276535\ 9583684786279990261361867292441371513674256726292510416839300943678\ 64*c_0101_6^28 + 13232066473686748454245013871693111452674097168364\ 02672825290725721731945284651873460432885675923/1135416171269120478\ 1330069133989592119656999756534046682311034287841856418157312760420\ 982523591966*c_0101_6^27 + 3582268289606447373423406704681349956092\ 1701914877264665081464462027580076421443090279151633230487/45416646\ 8507648191253202765359583684786279990261361867292441371513674256726\ 29251041683930094367864*c_0101_6^26 - 6208066424096425662290873878988128914227975000279806516964895564256\ 5073150885967487446820697448767/11354161712691204781330069133989592\ 119656999756534046682311034287841856418157312760420982523591966*c_0\ 101_6^25 + 86970660808189885730327021619730360176305114154013649616\ 8670910707714323530236460122122016810534563/45416646850764819125320\ 2765359583684786279990261361867292441371513674256726292510416839300\ 94367864*c_0101_6^24 - 12621573318664690837902692702731110533471920\ 09431118514119231284998658679460831019249838480669086637/2270832342\ 5382409562660138267979184239313999513068093364622068575683712836314\ 625520841965047183932*c_0101_6^23 - 1525428389892878602179162874255812749093645743627045473662086960046\ 549102561195353828116580236227341/454166468507648191253202765359583\ 68478627999026136186729244137151367425672629251041683930094367864*c\ _0101_6^22 + 144702526235602549496590748472572709031244932938555863\ 89649919003955323917234090028220394862892914367/4541664685076481912\ 5320276535958368478627999026136186729244137151367425672629251041683\ 930094367864*c_0101_6^21 - 7487131532325341521196727317741994295547\ 265000886651055633942274909697872698712998393890432929149179/454166\ 4685076481912532027653595836847862799902613618672924413715136742567\ 2629251041683930094367864*c_0101_6^20 + 4714071050971542054096014721948474315708454490596501554973640885237\ 9671376202321244972356561519221663/45416646850764819125320276535958\ 368478627999026136186729244137151367425672629251041683930094367864*\ c_0101_6^19 - 50275542593142675093868645543543125038039141813192777\ 387967648993027894592144054789773352770402431299/227083234253824095\ 6266013826797918423931399951306809336462206857568371283631462552084\ 1965047183932*c_0101_6^18 + 269788727924145346058964180453188991509\ 62348812690768655244362507450666096321206984257228473016483657/1135\ 4161712691204781330069133989592119656999756534046682311034287841856\ 418157312760420982523591966*c_0101_6^17 - 1179690279313997914370015877606802997092346719765384049437643584989\ 1698227575350626668476304696668286/56770808563456023906650345669947\ 96059828499878267023341155517143920928209078656380210491261795983*c\ _0101_6^16 - 102980280737847256251720059159116624797511594269567862\ 8045823907513853049088567755510074708863986659111/22708323425382409\ 5626601382679791842393139995130680933646220685756837128363146255208\ 41965047183932*c_0101_6^15 + 25438348080553780108277376024727853530\ 07065265633068981399000774060009469833331443786465307001657363667/4\ 5416646850764819125320276535958368478627999026136186729244137151367\ 425672629251041683930094367864*c_0101_6^14 + 3819798554770179781452293913942659861121645475306601071632491124123\ 095887396423916728827405491923201187/454166468507648191253202765359\ 5836847862799902613618672924413715136742567262925104168393009436786\ 4*c_0101_6^13 - 344294823464189414016484503654094988770729761962092\ 3303173591519108636824530966782229791475751861694177/45416646850764\ 8191253202765359583684786279990261361867292441371513674256726292510\ 41683930094367864*c_0101_6^12 - 62320075697089117703117116709357377\ 9281658327370300773792130107035999463104869298815666884998952617483\ /227083234253824095626601382679791842393139995130680933646220685756\ 83712836314625520841965047183932*c_0101_6^11 + 8358859081415508754353860967265689870847142953235661733653760432859\ 4725029669548433058773343977681143/11354161712691204781330069133989\ 592119656999756534046682311034287841856418157312760420982523591966*\ c_0101_6^10 - 27144602973211786280807742237171016768254351296753031\ 74354975437219237502468446542076394325107281200723/4541664685076481\ 9125320276535958368478627999026136186729244137151367425672629251041\ 683930094367864*c_0101_6^9 - 74425762966832669824537361773695764451\ 5233725807845476302593893773988340807240392799437097327802543629/45\ 4166468507648191253202765359583684786279990261361867292441371513674\ 25672629251041683930094367864*c_0101_6^8 + 1720968094325211391761061551841494706023966428758196293288016793481\ 173754386858602924468121756906504731/454166468507648191253202765359\ 5836847862799902613618672924413715136742567262925104168393009436786\ 4*c_0101_6^7 + 5228160524494987867248183166937352733817800589979890\ 30645046006368842397005302400742813954026783232217/2270832342538240\ 9562660138267979184239313999513068093364622068575683712836314625520\ 841965047183932*c_0101_6^6 + 12584885655771024403399351651519407454\ 6767288295909476291840989699075881332298846716628288437456030221/45\ 4166468507648191253202765359583684786279990261361867292441371513674\ 25672629251041683930094367864*c_0101_6^5 - 2110946682085806105875756507932210688660962665525592254879094762372\ 9799861334767656053251782561595271/45416646850764819125320276535958\ 368478627999026136186729244137151367425672629251041683930094367864*\ c_0101_6^4 - 134396615498832309932576098097699512074732755250101963\ 9754617666921224436020842831732922907416830819/45416646850764819125\ 3202765359583684786279990261361867292441371513674256726292510416839\ 30094367864*c_0101_6^3 + 225781585924334980611841107058340963791770\ 991937462682835436426225228960432527895629270032510962344/567708085\ 6345602390665034566994796059828499878267023341155517143920928209078\ 656380210491261795983*c_0101_6^2 - 2515702388567160835610432404910878081010461845856446270008517458250\ 7944922806261644784619398615589/45416646850764819125320276535958368\ 478627999026136186729244137151367425672629251041683930094367864*c_0\ 101_6 + 16080186231959059235981267899486206710099028678685382577957\ 902513905107500272871318930916841965067/454166468507648191253202765\ 3595836847862799902613618672924413715136742567262925104168393009436\ 7864, c_0101_4 + 101293437201133238082237563257523633944192212422958187397995\ 6060523056621892340285132506774113603/45416646850764819125320276535\ 9583684786279990261361867292441371513674256726292510416839300943678\ 64*c_0101_6^28 - 24904542555640955521631471905029856865087865687023\ 26103251601816369522161679770938999643399891067/2270832342538240956\ 2660138267979184239313999513068093364622068575683712836314625520841\ 965047183932*c_0101_6^27 - 3598619220361228098446927363075180698008\ 8584880795831811793390691254187919518782691681503295842953/45416646\ 8507648191253202765359583684786279990261361867292441371513674256726\ 29251041683930094367864*c_0101_6^26 + 5949456555069939167906204613785307777318053510091026620678021883090\ 7730274414894764713811937331971/11354161712691204781330069133989592\ 119656999756534046682311034287841856418157312760420982523591966*c_0\ 101_6^25 - 79951875218927175664482315063004395813449606253051007842\ 6455681568608015095545387665559634659510911/45416646850764819125320\ 2765359583684786279990261361867292441371513674256726292510416839300\ 94367864*c_0101_6^24 + 55697530786522384863536978049167809233284140\ 6045837424889442079662022922262081532094227654992539857/11354161712\ 6912047813300691339895921196569997565340466823110342878418564181573\ 12760420982523591966*c_0101_6^23 + 2317156918141321768536487526464003393346121875965720138801497671354\ 251135125537547512850659024971059/454166468507648191253202765359583\ 68478627999026136186729244137151367425672629251041683930094367864*c\ _0101_6^22 - 154228888311353227581389834001298060568775475235491088\ 23254263986901018670400932152632877470762538787/4541664685076481912\ 5320276535958368478627999026136186729244137151367425672629251041683\ 930094367864*c_0101_6^21 + 7555424271831828482345115875126194231104\ 229523265460156237287823899901169827692098128110430718762089/454166\ 4685076481912532027653595836847862799902613618672924413715136742567\ 2629251041683930094367864*c_0101_6^20 - 4511528061419983478775314140158235393907634321106951623898268154708\ 5676946283292863393526407193208647/45416646850764819125320276535958\ 368478627999026136186729244137151367425672629251041683930094367864*\ c_0101_6^19 + 22222227066204549204372462132321382405702002853747804\ 261049371612403270797834929443085214700918397481/113541617126912047\ 8133006913398959211965699975653404668231103428784185641815731276042\ 0982523591966*c_0101_6^18 - 359667846524942986061349747576496749172\ 93054586853061031821483656241441993431278088235872763579663811/2270\ 8323425382409562660138267979184239313999513068093364622068575683712\ 836314625520841965047183932*c_0101_6^17 + 5764237138630719326091801514113515562517837263447618874360214528814\ 478063575295977886365982124626589/227083234253824095626601382679791\ 84239313999513068093364622068575683712836314625520841965047183932*c\ _0101_6^16 + 542610108309072264399063174279488629090518266577126564\ 171956695509978093528858976017033637874545633033/113541617126912047\ 8133006913398959211965699975653404668231103428784185641815731276042\ 0982523591966*c_0101_6^15 - 246653288630457209533153849372033552598\ 5170397992772761496580732165609853680136594890401183345110295489/45\ 4166468507648191253202765359583684786279990261361867292441371513674\ 25672629251041683930094367864*c_0101_6^14 - 4137706168705160721987341102014016315863708676417946010642729894931\ 331723886291035541377480415846805875/454166468507648191253202765359\ 5836847862799902613618672924413715136742567262925104168393009436786\ 4*c_0101_6^13 + 355855159637423837131891655002888647068259860207207\ 7855554935197071376482451487389230307294652435849491/45416646850764\ 8191253202765359583684786279990261361867292441371513674256726292510\ 41683930094367864*c_0101_6^12 + 68488208717888744595273831949202149\ 5824420613013335841400635247122755816850632927242673963626002960461\ /227083234253824095626601382679791842393139995130680933646220685756\ 83712836314625520841965047183932*c_0101_6^11 - 1109239688849072830318232039589080319294878266028721195368070836205\ 34524169530947811475529119402334827/1135416171269120478133006913398\ 9592119656999756534046682311034287841856418157312760420982523591966\ *c_0101_6^10 + 2808943050995564294990755208705365305029797467641058\ 284780537932199398462223381701850423360168525430671/454166468507648\ 1912532027653595836847862799902613618672924413715136742567262925104\ 1683930094367864*c_0101_6^9 + 8336088897317421890663456568586941050\ 44658691002984397475764648069452137774300494046558813189897189935/4\ 5416646850764819125320276535958368478627999026136186729244137151367\ 425672629251041683930094367864*c_0101_6^8 - 1775835969864814102881130887764859153160556159317149517984992477405\ 801473707312478646624746666887380619/454166468507648191253202765359\ 5836847862799902613618672924413715136742567262925104168393009436786\ 4*c_0101_6^7 - 2736793009031373072694449472121506025393657411508366\ 19727458278022939173962150359978193666311835882259/1135416171269120\ 4781330069133989592119656999756534046682311034287841856418157312760\ 420982523591966*c_0101_6^6 - 13235399925888567392743783113426348160\ 6894703086401414148346602247901477983979706927881275510644997179/45\ 4166468507648191253202765359583684786279990261361867292441371513674\ 25672629251041683930094367864*c_0101_6^5 + 2232998004894479146076376444522607682767378815919800546193086697147\ 5529178921841463238839065136730395/45416646850764819125320276535958\ 368478627999026136186729244137151367425672629251041683930094367864*\ c_0101_6^4 + 136260196153778597283277714871078810362438009219129427\ 1121428468966670815108108314351292629602029829/45416646850764819125\ 3202765359583684786279990261361867292441371513674256726292510416839\ 30094367864*c_0101_6^3 - 249016119730285079324218268754488748312625\ 998050653297801268078888726687126625783655650485591319211/567708085\ 6345602390665034566994796059828499878267023341155517143920928209078\ 656380210491261795983*c_0101_6^2 + 1669747509229872221103352255300750069692043179013653329898400170900\ 1924470691990140087646661751649/45416646850764819125320276535958368\ 478627999026136186729244137151367425672629251041683930094367864*c_0\ 101_6 - 72909151989161186841616177273948215985481479785509981660905\ 30840080884448175824445691782143657141/4541664685076481912532027653\ 5958368478627999026136186729244137151367425672629251041683930094367\ 864, c_0101_6^29 - 7*c_0101_6^28 - 21*c_0101_6^27 + 279*c_0101_6^26 - 1369*c_0101_6^25 + 5037*c_0101_6^24 - 8143*c_0101_6^23 + 1526*c_0101_6^22 + 4504*c_0101_6^21 - 53688*c_0101_6^20 + 199325*c_0101_6^19 - 483578*c_0101_6^18 + 1010340*c_0101_6^17 + 55714*c_0101_6^16 - 2584803*c_0101_6^15 + 1256570*c_0101_6^14 + 1022590*c_0101_6^13 - 731659*c_0101_6^12 + 989518*c_0101_6^11 + 692545*c_0101_6^10 - 637428*c_0101_6^9 - 497190*c_0101_6^8 - 47527*c_0101_6^7 + 23047*c_0101_6^6 + 1538*c_0101_6^5 - 2062*c_0101_6^4 - 87*c_0101_6^3 + 35*c_0101_6^2 + 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB