Magma V2.19-8 Tue Aug 20 2013 16:17:49 on localhost [Seed = 1528481721] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2052 geometric_solution 5.58006049 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -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.280168173311 0.250556832529 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 0 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736662297946 1.523008914138 1 3 4 5 0132 3201 0132 0132 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 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.082507826220 0.960587734905 5 4 2 1 3201 0132 2310 0132 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 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.082507826220 0.960587734905 6 3 6 2 0132 0132 2310 0132 0 0 0 0 0 0 0 0 -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 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.663042866403 0.887976589049 5 5 2 3 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.134573022357 1.199909445086 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507068301873 0.155751997700 ==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' : 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' : d['1'], 's_2_4' : 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' : 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' : 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_0101_0'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : 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' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], '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' : d['c_0011_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1124957888976431201809963354558011003699574602915168296436633001716\ 7/22927277956699313555119495587753376212271840020952880217729336486\ 0*c_0101_4^29 + 734552040384204453561721537744658871959552436286737\ 3807619710411899/76424259855664378517064985292511254040906133403176\ 267392431121620*c_0101_4^28 + 1857153521962612616438607239859221067\ 23741811868466838422358502787533/1146363897834965677755974779387668\ 81061359200104764401088646682430*c_0101_4^27 - 4237042449241050867492840535561189799013731666271458422124179317042\ 7/15284851971132875703412997058502250808181226680635253478486224324\ *c_0101_4^26 - 4986780743337314309592939990412932357603189368556630\ 725243206606825951/229272779566993135551194955877533762122718400209\ 528802177293364860*c_0101_4^25 + 7891325091948361723506849116615076\ 315608915107128776151704818644848077/229272779566993135551194955877\ 533762122718400209528802177293364860*c_0101_4^24 + 3506839472417001238082259639336998324798223464974149875504690449134\ 0811/22927277956699313555119495587753376212271840020952880217729336\ 4860*c_0101_4^23 - 542798231078146865973248847846312882662400947803\ 37085754594016107992947/2292727795669931355511949558775337621227184\ 00209528802177293364860*c_0101_4^22 - 1126643124440526121133642700774478405389955358721630343495966097654\ 8142/19106064963916094629266246323127813510226533350794066848107780\ 405*c_0101_4^21 + 5552362120407993807918661011818349771712222106402\ 1606056131375231952809/57318194891748283887798738969383440530679600\ 052382200544323341215*c_0101_4^20 + 1358990630958274719023721816302007825733566654803856688526751569811\ 77543/1146363897834965677755974779387668810613592001047644010886466\ 82430*c_0101_4^19 - 86520132124055171965019357353694117846281835368\ 178306027599800051256689/382121299278321892585324926462556270204530\ 66701588133696215560810*c_0101_4^18 - 4064801515731927411021403438054451322356420341122708513329587317601\ 358/382121299278321892585324926462556270204530667015881336962155608\ 1*c_0101_4^17 + 118267801251014495619365429820926504212677513824538\ 651119061965335394159/458545559133986271102389911755067524245436800\ 41905760435458672972*c_0101_4^16 + 1084868978792212840744395161930535116256045455230255466073841852691\ 84/603349419913139830397881462835615163480837895288233689940245697*\ c_0101_4^15 - 16995285016810286012853977349337641628591494022806141\ 8390400927080939341/22927277956699313555119495587753376212271840020\ 9528802177293364860*c_0101_4^14 + 103318016849972721829584235834968\ 30329269160704957204205717726693162074/1146363897834965677755974779\ 3876688106135920010476440108864668243*c_0101_4^13 - 1342095148165355050840524392773775492317483119286380213770515020994\ 9531/12066988398262796607957629256712303269616757905764673798804913\ 940*c_0101_4^12 - 3463139221528633986356704091652884642068151762226\ 3790049422651090677551/22927277956699313555119495587753376212271840\ 020952880217729336486*c_0101_4^11 + 2601599848802156635306868716781999059723892180764710810545728787822\ 88677/2292727795669931355511949558775337621227184002095288021772933\ 64860*c_0101_4^10 + 18947011983895957210513210649489484106228024605\ 954214361858967881550937/191060649639160946292662463231278135102265\ 33350794066848107780405*c_0101_4^9 - 2873231206601107324126738960412379245438053948636142140002189303762\ 0448/57318194891748283887798738969383440530679600052382200544323341\ 215*c_0101_4^8 - 12285316709008232346624146594267223084113691617194\ 034086098433177253047/458545559133986271102389911755067524245436800\ 41905760435458672972*c_0101_4^7 + 195244552956418839197170475163075\ 8596081877969476977320779310617677421/76424259855664378517064985292\ 51125404090613340317626739243112162*c_0101_4^6 + 4212850585507540817075168119458899335574259091105761536004233309831\ 732/573181948917482838877987389693834405306796000523822005443233412\ 15*c_0101_4^5 - 588146001422296305353815962394081632626321197149810\ 0999662111095787039/11463638978349656777559747793876688106135920010\ 4764401088646682430*c_0101_4^4 - 1138257975669324973741380454487882\ 46537195001870968349091111932053481/1146363897834965677755974779387\ 6688106135920010476440108864668243*c_0101_4^3 + 3369080027176287922608244395052123407528016807169341064563546585792\ 93/2292727795669931355511949558775337621227184002095288021772933648\ 60*c_0101_4^2 - 184953883202398321254194711256092424080314037901351\ 94007834016360773/3821212992783218925853249264625562702045306670158\ 8133696215560810*c_0101_4 - 188897258422984095660930238294732375692\ 11888166572415201060734905181/1146363897834965677755974779387668810\ 61359200104764401088646682430, c_0011_0 - 1, c_0011_1 + 843990734760800135750857902978579452820815462893316133868326\ 79/201116473304379943465960487611871721160279298429411229980081899*\ c_0101_4^29 - 57677647859335676900543911658558888310281591418520597\ 6883887817/60334941991313983039788146283561516348083789528823368994\ 0245697*c_0101_4^28 - 819257723545061612436565775492799425807046028\ 5630932228864776358/60334941991313983039788146283561516348083789528\ 8233689940245697*c_0101_4^27 + 169577948218037731394130758345622179\ 56314410567747747480300719082/6033494199131398303978814628356151634\ 80837895288233689940245697*c_0101_4^26 + 107365968574919924613838010987769728421461249791196140720313162891/\ 603349419913139830397881462835615163480837895288233689940245697*c_0\ 101_4^25 - 71005439580963561664192529962504198355337732138640348547\ 798080759/201116473304379943465960487611871721160279298429411229980\ 081899*c_0101_4^24 - 7283227133573325164731690702020467665776125263\ 99204331874544784920/6033494199131398303978814628356151634808378952\ 88233689940245697*c_0101_4^23 + 14684244428024506192485606255956653\ 24740709036292221642196561466889/6033494199131398303978814628356151\ 63480837895288233689940245697*c_0101_4^22 + 873769942546556285923399395316683575795967964874134139905804241902/\ 201116473304379943465960487611871721160279298429411229980081899*c_0\ 101_4^21 - 19777908032049112963529997471276042225666683684083704955\ 75824678658/2011164733043799434659604876118717211602792984294112299\ 80081899*c_0101_4^20 - 43896208348001569719140206023541648218727791\ 68890830052472074594321/6033494199131398303978814628356151634808378\ 95288233689940245697*c_0101_4^19 + 1347707835999603710643940371593452010042212556805657519362613234366\ 1/603349419913139830397881462835615163480837895288233689940245697*c\ _0101_4^18 + 145104555736555918359861856447218744113381328670220733\ 2132619155383/60334941991313983039788146283561516348083789528823368\ 9940245697*c_0101_4^17 - 146461003417048693979653018141316564198050\ 05070675975019822099083814/6033494199131398303978814628356151634808\ 37895288233689940245697*c_0101_4^16 + 1232815676329759675712554183933193657659172416658999335455128668966\ /201116473304379943465960487611871721160279298429411229980081899*c_\ 0101_4^15 + 3556108359436636687543962627235735935253586198714936013\ 585253557749/603349419913139830397881462835615163480837895288233689\ 940245697*c_0101_4^14 - 2017524391626454893799702471149528792537972\ 940751232430548210779994/201116473304379943465960487611871721160279\ 298429411229980081899*c_0101_4^13 + 7492958458025446995624351248086249312883077995182238124128495575929\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^12 + 5775934619990389602928836687158526604014036510752905204\ 913423221277/603349419913139830397881462835615163480837895288233689\ 940245697*c_0101_4^11 - 8198514781646398656826868265136735608558988\ 494510329205240493748006/603349419913139830397881462835615163480837\ 895288233689940245697*c_0101_4^10 - 2838690144859755347688450320434185135296631508261349693347461420658\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^9 + 40066215587867898407089083955612280245909289959498477267\ 08276183743/6033494199131398303978814628356151634808378952882336899\ 40245697*c_0101_4^8 + 868737192842852720102473138701118749638867551\ 84092185740498735685/2011164733043799434659604876118717211602792984\ 29411229980081899*c_0101_4^7 - 164262594028731071202073549910363475\ 3994126884047002078508642016316/60334941991313983039788146283561516\ 3480837895288233689940245697*c_0101_4^6 + 135337489414332262997454337138177064277415352785694263814770735292/\ 603349419913139830397881462835615163480837895288233689940245697*c_0\ 101_4^5 + 107004758972365129907137167057112801153313774786443593087\ 060587168/201116473304379943465960487611871721160279298429411229980\ 081899*c_0101_4^4 - 58905933444253766198570264419728587209140358844\ 746063928523047879/603349419913139830397881462835615163480837895288\ 233689940245697*c_0101_4^3 - 21950683568064942683975978535803783902\ 46564139859820595887705401/2011164733043799434659604876118717211602\ 79298429411229980081899*c_0101_4^2 + 6895018956744152873283819386735003003430491144859512642102656328/60\ 3349419913139830397881462835615163480837895288233689940245697*c_010\ 1_4 - 4893335697109915673202458432878501348420806127481705215289695\ 60/603349419913139830397881462835615163480837895288233689940245697, c_0011_3 + 287831665040765129077935530632988336269354874174287184132707\ 972/603349419913139830397881462835615163480837895288233689940245697\ *c_0101_4^29 - 6322335670831986819522658756145151873491864659166018\ 25369573362/6033494199131398303978814628356151634808378952882336899\ 40245697*c_0101_4^28 - 31201504423359926146754346785297606994630804\ 26061000993288974427/2011164733043799434659604876118717211602792984\ 29411229980081899*c_0101_4^27 + 18504553743381100529981865629525499\ 671203387452339665162535758899/603349419913139830397881462835615163\ 480837895288233689940245697*c_0101_4^26 + 123424302486813535666547303398130286722004010793507001090458538469/\ 603349419913139830397881462835615163480837895288233689940245697*c_0\ 101_4^25 - 23179086145700347235224392773394962122448103977563680189\ 5922757462/60334941991313983039788146283561516348083789528823368994\ 0245697*c_0101_4^24 - 845103730721501825458314926445634835595303288\ 722761448557872781814/603349419913139830397881462835615163480837895\ 288233689940245697*c_0101_4^23 + 1596556406699088298460354132251433\ 856513786589682730006937517093606/603349419913139830397881462835615\ 163480837895288233689940245697*c_0101_4^22 + 1032902899665731921429068079811314650837437505435924562145132415589\ /201116473304379943465960487611871721160279298429411229980081899*c_\ 0101_4^21 - 6466028614427261790544309590252621045706168279961724108\ 433515438442/603349419913139830397881462835615163480837895288233689\ 940245697*c_0101_4^20 - 5479722065631097402944731423908348706032111\ 464304930320158770881806/603349419913139830397881462835615163480837\ 895288233689940245697*c_0101_4^19 + 4923212745018440272115214862095074450745276787456077393942039166769\ /201116473304379943465960487611871721160279298429411229980081899*c_\ 0101_4^18 + 2805590129127780821590355058612113869318992370431686105\ 498089382290/603349419913139830397881462835615163480837895288233689\ 940245697*c_0101_4^17 - 1619491675324310193260908337735425349467796\ 1436714754211096770860298/60334941991313983039788146283561516348083\ 7895288233689940245697*c_0101_4^16 + 2855913897683307809149218031111917553658205132858468771312472665526\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^15 + 4053354863113059698664911255737352138438031256672241882\ 411346579155/603349419913139830397881462835615163480837895288233689\ 940245697*c_0101_4^14 - 6442823146174419267425205036212050385055881\ 271223021462742754606649/603349419913139830397881462835615163480837\ 895288233689940245697*c_0101_4^13 + 2674395733132583404378657567768999926720201592071730429726428109181\ /201116473304379943465960487611871721160279298429411229980081899*c_\ 0101_4^12 + 2371870273666800359932277544931971819671021991353095113\ 110718656128/201116473304379943465960487611871721160279298429411229\ 980081899*c_0101_4^11 - 2868789390874377011881449630052465728259213\ 529637895595502727256203/201116473304379943465960487611871721160279\ 298429411229980081899*c_0101_4^10 - 3864620534478965951736238848941110885706607249578644892027422110812\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^9 + 41030765007721297974520590958413804852433270091624034871\ 72118526928/6033494199131398303978814628356151634808378952882336899\ 40245697*c_0101_4^8 + 620648658897505891496685805741286780861686858\ 197313973096592545513/603349419913139830397881462835615163480837895\ 288233689940245697*c_0101_4^7 - 17494833627672644637450769353118864\ 45591169031748895802112490345470/6033494199131398303978814628356151\ 63480837895288233689940245697*c_0101_4^6 + 882591304045079268945123731801834342838559219861273777217633075/603\ 349419913139830397881462835615163480837895288233689940245697*c_0101\ _4^5 + 336469126381387490114086572688429573600846558662279562879839\ 444068/603349419913139830397881462835615163480837895288233689940245\ 697*c_0101_4^4 - 34501302036230607007690451400694176008642887082772\ 500309460730970/603349419913139830397881462835615163480837895288233\ 689940245697*c_0101_4^3 - 55316149648742873827383992600486021156453\ 87485831288772833446779/6033494199131398303978814628356151634808378\ 95288233689940245697*c_0101_4^2 + 597596569263027272501129223751847\ 2176426505434410544193238192029/60334941991313983039788146283561516\ 3480837895288233689940245697*c_0101_4 - 757097698313186200441206464410547700839075906255651821100966369/603\ 349419913139830397881462835615163480837895288233689940245697, c_0011_5 - 152471874586768426702943271311483859868387575904949196220789\ 645/603349419913139830397881462835615163480837895288233689940245697\ *c_0101_4^29 + 3522760538723998935084618572044807587081539635238775\ 68650101103/6033494199131398303978814628356151634808378952882336899\ 40245697*c_0101_4^28 + 49186740073503556464904360701811876647448275\ 05231771619397631081/6033494199131398303978814628356151634808378952\ 88233689940245697*c_0101_4^27 - 10364311844801236009050132886352512\ 804672360231298944342574535551/603349419913139830397881462835615163\ 480837895288233689940245697*c_0101_4^26 - 21403043333037334477468747103229773734616135619764794454319243062/2\ 01116473304379943465960487611871721160279298429411229980081899*c_01\ 01_4^25 + 130154072027163143424917265093657645680891431865009984868\ 372938924/603349419913139830397881462835615163480837895288233689940\ 245697*c_0101_4^24 + 4329320690296263957532094937386149048680885567\ 70215627414755367376/6033494199131398303978814628356151634808378952\ 88233689940245697*c_0101_4^23 - 89576777006817120024380940793155314\ 4239159126683501956791626845203/60334941991313983039788146283561516\ 3480837895288233689940245697*c_0101_4^22 - 513238814787738563826422746007143540545810829959001070925590060398/\ 201116473304379943465960487611871721160279298429411229980081899*c_0\ 101_4^21 + 36056001564646198006314701544090852513911450732435588412\ 66925329388/6033494199131398303978814628356151634808378952882336899\ 40245697*c_0101_4^20 + 83036354493986017003372677318799923133455226\ 1048627215016574401615/20111647330437994346596048761187172116027929\ 8429411229980081899*c_0101_4^19 - 812715871138552742088792844368559\ 1093385667221015901013864693758273/60334941991313983039788146283561\ 5163480837895288233689940245697*c_0101_4^18 - 183075665095641858161172517638060633127610785192517214309413144695/\ 201116473304379943465960487611871721160279298429411229980081899*c_0\ 101_4^17 + 28943465725095790858293200474004384253239193582538582261\ 79443726181/2011164733043799434659604876118717211602792984294112299\ 80081899*c_0101_4^16 - 25365276748803245991274802229798912929738033\ 34646622378698876004941/6033494199131398303978814628356151634808378\ 95288233689940245697*c_0101_4^15 - 1902465319352284104157947745498543877380088224285029521686983252923\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^14 + 3669503630950197767201056219144584300446497839051848242\ 826625448700/603349419913139830397881462835615163480837895288233689\ 940245697*c_0101_4^13 - 4647855591944709442918764879272973733023671\ 373306053431036098933572/603349419913139830397881462835615163480837\ 895288233689940245697*c_0101_4^12 - 3250871384726830416431720857132813942911427544404425933458507623961\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^11 + 4947123015629015539157439831019594328455497027991512689\ 172189214783/603349419913139830397881462835615163480837895288233689\ 940245697*c_0101_4^10 + 4911212720785710907942583744115015194320031\ 07812411623761511113784/2011164733043799434659604876118717211602792\ 98429411229980081899*c_0101_4^9 - 238343442269664072700410770415558\ 6742871102219305055347536887614114/60334941991313983039788146283561\ 5163480837895288233689940245697*c_0101_4^8 - 51358530409786069275841409951349074292744032908365432558077379152/6\ 03349419913139830397881462835615163480837895288233689940245697*c_01\ 01_4^7 + 9605362266694862581330731241663705087465752727936597010803\ 49900939/6033494199131398303978814628356151634808378952882336899402\ 45697*c_0101_4^6 - 110301520618001706064334650230428394605803687678\ 137810370375059895/603349419913139830397881462835615163480837895288\ 233689940245697*c_0101_4^5 - 58114653602034271609376767875234529403\ 565001233250007727094308177/201116473304379943465960487611871721160\ 279298429411229980081899*c_0101_4^4 + 41326893178146044254656589826623735915342212768767266889017876975/6\ 03349419913139830397881462835615163480837895288233689940245697*c_01\ 01_4^3 + 4707972483950195761196669833264492237729657543701133476757\ 32163/2011164733043799434659604876118717211602792984294112299800818\ 99*c_0101_4^2 - 140306036399699526025969766443552596186249526395221\ 2017599809508/20111647330437994346596048761187172116027929842941122\ 9980081899*c_0101_4 + 438385957668572040350035759833847405346709657\ 147793278581347253/603349419913139830397881462835615163480837895288\ 233689940245697, c_0101_0 - 699121403238593504024676589653726153597363160704749476889344\ 37/201116473304379943465960487611871721160279298429411229980081899*\ c_0101_4^29 + 44877431272129807771450053105714233794251389857990564\ 1867874845/60334941991313983039788146283561516348083789528823368994\ 0245697*c_0101_4^28 + 228354162069180599576655621387992379842390040\ 0053351512762386088/20111647330437994346596048761187172116027929842\ 9411229980081899*c_0101_4^27 - 131049532560100645279165111019751537\ 99022164988691911806326855785/6033494199131398303978814628356151634\ 80837895288233689940245697*c_0101_4^26 - 90820617753811904273832190854333053732562468581370416885334292792/6\ 03349419913139830397881462835615163480837895288233689940245697*c_01\ 01_4^25 + 164045386200963836767309739766922535759077070840657286746\ 998402337/603349419913139830397881462835615163480837895288233689940\ 245697*c_0101_4^24 + 2089735239475057540092464956403643994002200734\ 95405570145728696680/2011164733043799434659604876118717211602792984\ 29411229980081899*c_0101_4^23 - 37718702706227154340477778517858791\ 1460557610717625682508093370636/20111647330437994346596048761187172\ 1160279298429411229980081899*c_0101_4^22 - 778009640557383988183567881752872387782446726690312598652512591785/\ 201116473304379943465960487611871721160279298429411229980081899*c_0\ 101_4^21 + 15349664323406863957266490461002796053622492973022391546\ 90687671456/2011164733043799434659604876118717211602792984294112299\ 80081899*c_0101_4^20 + 42944351386888274068768837849146743011608314\ 92089742030579224070498/6033494199131398303978814628356151634808378\ 95288233689940245697*c_0101_4^19 - 1061987875249042847043318932077619753085274862572882477664273118188\ 3/603349419913139830397881462835615163480837895288233689940245697*c\ _0101_4^18 - 901109938276844280447261179378155038986435280874303206\ 409153633673/201116473304379943465960487611871721160279298429411229\ 980081899*c_0101_4^17 + 1186518828096529291626757342748256480635802\ 4662684550086833479474393/60334941991313983039788146283561516348083\ 7895288233689940245697*c_0101_4^16 - 1419854271741659673409018370629487513406292378102422556355077029697\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^15 - 3239429713681346868616824406639886549579829012454621718\ 476861321139/603349419913139830397881462835615163480837895288233689\ 940245697*c_0101_4^14 + 1532664333646944692590604387314968166350552\ 253028640644699744256309/201116473304379943465960487611871721160279\ 298429411229980081899*c_0101_4^13 - 5579769508186630281642032259959982020939163323004482678219410383221\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^12 - 1862938566179644641558208157652849377376643482846034951\ 435709311674/201116473304379943465960487611871721160279298429411229\ 980081899*c_0101_4^11 + 6097073955513180314852642732931388640962276\ 326557920009831435752295/603349419913139830397881462835615163480837\ 895288233689940245697*c_0101_4^10 + 1074501365922980975445312758309017604875874896771799049969218785265\ /201116473304379943465960487611871721160279298429411229980081899*c_\ 0101_4^9 - 97501436352365308434637545201578559653088974411248298736\ 1735527621/20111647330437994346596048761187172116027929842941122998\ 0081899*c_0101_4^8 - 2128533159114280468725003830902807593628167954\ 25283815783619953080/2011164733043799434659604876118717211602792984\ 29411229980081899*c_0101_4^7 + 128370813942528791296331245321098000\ 9801549578809864448824858824607/60334941991313983039788146283561516\ 3480837895288233689940245697*c_0101_4^6 + 22741172390476172961725601039350424456189456160734551056500244532/2\ 01116473304379943465960487611871721160279298429411229980081899*c_01\ 01_4^5 - 2581368021484029128220177516536654899004713543751472390655\ 21349536/6033494199131398303978814628356151634808378952882336899402\ 45697*c_0101_4^4 + 444276711635426116335493192872185870779329977698\ 2731039526327646/20111647330437994346596048761187172116027929842941\ 1229980081899*c_0101_4^3 + 5844472329337660440879831650313029054336\ 631671545435042876459246/603349419913139830397881462835615163480837\ 895288233689940245697*c_0101_4^2 - 1537893109130720316987709034821722831888540544570963277700275897/20\ 1116473304379943465960487611871721160279298429411229980081899*c_010\ 1_4 + 1682673623131217657408190906194274454276897586063884215033524\ 05/201116473304379943465960487611871721160279298429411229980081899, c_0101_1 - 242655284764852116812775469261475641021247430064473466627672\ 412/603349419913139830397881462835615163480837895288233689940245697\ *c_0101_4^29 + 1835358327708771448260225012285989386238904249350530\ 97324884304/2011164733043799434659604876118717211602792984294112299\ 80081899*c_0101_4^28 + 78528021551957360628283148364261584983973731\ 09731337219435813529/6033494199131398303978814628356151634808378952\ 88233689940245697*c_0101_4^27 - 16174310793583640126957735983952829\ 863564943110477396623859930680/603349419913139830397881462835615163\ 480837895288233689940245697*c_0101_4^26 - 102922964617292874890657267146852911363199509281990786186348083153/\ 603349419913139830397881462835615163480837895288233689940245697*c_0\ 101_4^25 + 20300774835241516867744775047904355090293757283063215459\ 1839911585/60334941991313983039788146283561516348083789528823368994\ 0245697*c_0101_4^24 + 698257041490120129857452316761625675152386570\ 647842099645447561276/603349419913139830397881462835615163480837895\ 288233689940245697*c_0101_4^23 - 1398256360619101426768524680916495\ 643325308490865595782347095485908/603349419913139830397881462835615\ 163480837895288233689940245697*c_0101_4^22 - 837969749618243560382714419965822656744982369541405216574670121809/\ 201116473304379943465960487611871721160279298429411229980081899*c_0\ 101_4^21 + 56444657434828791450841165993614039884160856775424774155\ 25711499472/6033494199131398303978814628356151634808378952882336899\ 40245697*c_0101_4^20 + 42170879215528059827898091580217827620347914\ 56826996755612951834547/6033494199131398303978814628356151634808378\ 95288233689940245697*c_0101_4^19 - 1279884074964988771380444526937173763148864668069913380912635683745\ 0/603349419913139830397881462835615163480837895288233689940245697*c\ _0101_4^18 - 476741364528663749407421664910328041186101706126049299\ 175768566001/201116473304379943465960487611871721160279298429411229\ 980081899*c_0101_4^17 + 4613047261862944709251349004579386643015797\ 193519800929214230072888/201116473304379943465960487611871721160279\ 298429411229980081899*c_0101_4^16 - 3470301742314020057342231704151363961467803322992220106267304763072\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^15 - 1076564058520279376398080175635166768479818783505719395\ 826350929979/201116473304379943465960487611871721160279298429411229\ 980081899*c_0101_4^14 + 5751689860747782690269113790466942137548945\ 308803537739348371495696/603349419913139830397881462835615163480837\ 895288233689940245697*c_0101_4^13 - 7193121210304043744969245339168101719201043047917855341395384760205\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^12 - 5523099526532206587377197623807763575764471835276100245\ 545162922347/603349419913139830397881462835615163480837895288233689\ 940245697*c_0101_4^11 + 7713417617236583632606419432819419487703398\ 218680928232241759647536/603349419913139830397881462835615163480837\ 895288233689940245697*c_0101_4^10 + 2691274035664758239206147285157502900663365674272192246381028807415\ /603349419913139830397881462835615163480837895288233689940245697*c_\ 0101_4^9 - 37067159333227235617950013907988662842093280177159438860\ 72995079744/6033494199131398303978814628356151634808378952882336899\ 40245697*c_0101_4^8 - 222483932645529035750070852599646399844611250\ 016999879185896635698/603349419913139830397881462835615163480837895\ 288233689940245697*c_0101_4^7 + 50707426667048823489513774906309612\ 1590404299797930947959503696701/20111647330437994346596048761187172\ 1160279298429411229980081899*c_0101_4^6 - 43300189386476272536192020399105308597605268285727234457714046401/2\ 01116473304379943465960487611871721160279298429411229980081899*c_01\ 01_4^5 - 2875703629373291651937460270588384186289125789285701762408\ 29665942/6033494199131398303978814628356151634808378952882336899402\ 45697*c_0101_4^4 + 181630346090737473113161326597050726257671047544\ 05692442620359912/2011164733043799434659604876118717211602792984294\ 11229980081899*c_0101_4^3 + 223482346907069274061918188043576796470\ 8805196949608832585601099/60334941991313983039788146283561516348083\ 7895288233689940245697*c_0101_4^2 - 6429601199075494123106234328274745367079625169989666968608068038/60\ 3349419913139830397881462835615163480837895288233689940245697*c_010\ 1_4 + 7425866272683340346481025368321354116758526523572200539368822\ 39/603349419913139830397881462835615163480837895288233689940245697, c_0101_4^30 - 2*c_0101_4^29 - 33*c_0101_4^28 + 58*c_0101_4^27 + 443*c_0101_4^26 - 724*c_0101_4^25 - 3115*c_0101_4^24 + 5007*c_0101_4^23 + 11998*c_0101_4^22 - 20605*c_0101_4^21 - 23981*c_0101_4^20 + 48612*c_0101_4^19 + 20800*c_0101_4^18 - 56739*c_0101_4^17 - 1743*c_0101_4^16 + 18683*c_0101_4^15 - 19922*c_0101_4^14 + 22765*c_0101_4^13 + 31214*c_0101_4^12 - 26283*c_0101_4^11 - 20550*c_0101_4^10 + 12964*c_0101_4^9 + 5680*c_0101_4^8 - 6307*c_0101_4^7 - 1348*c_0101_4^6 + 1463*c_0101_4^5 + 138*c_0101_4^4 - 101*c_0101_4^3 + 17*c_0101_4^2 + 4*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB