Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 3549581106] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1904 geometric_solution 5.51293961 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496352365669 0.122009121917 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.603748066633 0.345008049790 1 3 1 4 0132 0132 1023 0132 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 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.876381905467 1.936767689950 5 2 6 4 0132 0132 0132 3120 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.350730120063 0.557671907665 3 6 2 5 3120 0132 0132 3201 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 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.350730120063 0.557671907665 3 4 5 5 0132 2310 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239843327617 1.259370274007 6 4 6 3 2310 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.898292163503 0.787441203390 ==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_0011_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_3']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 5764063749423234441248406175528814605646889769058434424785637669383\ 8363015161714616512/50313184365012629816005120284033531788701109907\ 66567949738284088959363633133775445520725*c_1001_3^21 - 7736880956135857786346420899731732942599228802013660485757253576869\ 0900296476808955436/16771061455004209938668373428011177262900369969\ 22189316579428029653121211044591815173575*c_1001_3^20 - 1034714015062979233203534737490729586858322968544221820550194560955\ 63961809101710882962/2012527374600505192640204811361341271548044396\ 30662717989531363558374545325351017820829*c_1001_3^19 + 1223053710634507024212840775134449018800086590103640658318271361332\ 3220274674863720676907/50313184365012629816005120284033531788701109\ 90766567949738284088959363633133775445520725*c_1001_3^18 + 1207635456717511495299159843643739829557814044715790114829679359696\ 0931290560004062969082/50313184365012629816005120284033531788701109\ 90766567949738284088959363633133775445520725*c_1001_3^17 + 8608800471765736349372575291065335424026902380675463236919267321801\ 8549379957072623295091/50313184365012629816005120284033531788701109\ 90766567949738284088959363633133775445520725*c_1001_3^16 - 1392274925351187630903382614438848904088783112426593331651699975995\ 960937333618209127787892/503131843650126298160051202840335317887011\ 0990766567949738284088959363633133775445520725*c_1001_3^15 + 2627870932803599896330831873074836625445884511987322337464015809363\ 651019582194097111399029/503131843650126298160051202840335317887011\ 0990766567949738284088959363633133775445520725*c_1001_3^14 + 1174906324007722408496428420028574825704076982548597033823821253872\ 84705358904713991449721/3354212291000841987733674685602235452580073\ 99384437863315885605930624242208918363034715*c_1001_3^13 - 4057787424303093675857607822741570760904059542486671948886681386581\ 497475988191014928157399/167710614550042099386683734280111772629003\ 6996922189316579428029653121211044591815173575*c_1001_3^12 + 1264028629716832421664696269428936173940835165846024243304358137499\ 6578208674442674739178284/50313184365012629816005120284033531788701\ 10990766567949738284088959363633133775445520725*c_1001_3^11 + 3324834426752421494657494873440162300859063935429397945299543080928\ 405990512562926487560794/503131843650126298160051202840335317887011\ 0990766567949738284088959363633133775445520725*c_1001_3^10 - 1422207965597978196212973290932098454348503454221297240321169788710\ 181621748002820555848247/100626368730025259632010240568067063577402\ 2198153313589947656817791872726626755089104145*c_1001_3^9 + 9175425361344303606500132587644179517688852789930040568041438466432\ 15759856481024180201774/5031318436501262981600512028403353178870110\ 990766567949738284088959363633133775445520725*c_1001_3^8 - 1340504965676474850111391001571369885545429528176940685490824641678\ 7739987415500873212320621/50313184365012629816005120284033531788701\ 10990766567949738284088959363633133775445520725*c_1001_3^7 + 3401442213244387586658484517855565522306435735319791531375492556858\ 434083886972336670695787/457392585136478452872773820763941198079100\ 999160597086339844008087214875739434131410975*c_1001_3^6 - 2072376508021184144402647029021003571485684359943961756206434125439\ 047301140337419974627212/167710614550042099386683734280111772629003\ 6996922189316579428029653121211044591815173575*c_1001_3^5 - 5082980243368250561375139443521837209478760940771164975823820101982\ 8827791692435437919445663/50313184365012629816005120284033531788701\ 10990766567949738284088959363633133775445520725*c_1001_3^4 + 5834192881346063829247859020619757080986800947130825392190819502490\ 848359441267083237712742/503131843650126298160051202840335317887011\ 0990766567949738284088959363633133775445520725*c_1001_3^3 + 2451366061134801326151955450859936664947859849912727811548629774566\ 6934315576959760792221618/50313184365012629816005120284033531788701\ 10990766567949738284088959363633133775445520725*c_1001_3^2 + 3509620356159617551932772525929037025028459096933047336025765276214\ 149609007657556434123163/503131843650126298160051202840335317887011\ 0990766567949738284088959363633133775445520725*c_1001_3 - 3408551661751377811578228664313868132225308122735337773495067767605\ 224730264687390833074147/503131843650126298160051202840335317887011\ 0990766567949738284088959363633133775445520725, c_0011_0 - 1, c_0011_1 - 523467966363616079483609052161039975140293902687392857206207\ 6138922364038/62074659985793908159943887718493123118731009867282332\ 1938898297505929438383077*c_1001_3^21 + 2178318921539661482025432434241638479040332138378326744186762005042\ 9380117/62074659985793908159943887718493123118731009867282332193889\ 8297505929438383077*c_1001_3^20 + 226976415265447502687765382101962\ 658630692130589682804238810311324964032927/620746599857939081599438\ 877184931231187310098672823321938898297505929438383077*c_1001_3^19 - 1123128887107279933499145011396188744953958396760846503007345448658\ 268877636/620746599857939081599438877184931231187310098672823321938\ 898297505929438383077*c_1001_3^18 - 7179689792251473400886487133392833809079764179892827162212225717205\ 77932308/6207465998579390815994388771849312311873100986728233219388\ 98297505929438383077*c_1001_3^17 - 8674290410969721118747255799408928918686008346201032767134352811189\ 800179456/620746599857939081599438877184931231187310098672823321938\ 898297505929438383077*c_1001_3^16 + 1263836109354275521583724287400798125838185489841930730151627137494\ 48678308903/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^15 - 2645822567105532303211233002175910357093151310782287165155862370897\ 59428630460/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^14 - 8141503108469090976648407550331487579213666039230718791445852901098\ 554341954/620746599857939081599438877184931231187310098672823321938\ 898297505929438383077*c_1001_3^13 + 9175877397060437537824752693970643652740819633253875821677748194553\ 33794773011/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^12 - 1390034791614616336429572504273164587777399296625519224461754883115\ 858189153273/620746599857939081599438877184931231187310098672823321\ 938898297505929438383077*c_1001_3^11 + 7053223187771937172381389185237618716194216161203715554083561211610\ 11964359047/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^10 - 3374759315569527488139751965601594725384237284258615913970603736713\ 41778031824/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^9 + 1699928010960495108691344309079326913065659701423321358771271047344\ 47052224016/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^8 + 1016982739570716596762529780087164690649460860879690203189083244672\ 416624398983/620746599857939081599438877184931231187310098672823321\ 938898297505929438383077*c_1001_3^7 - 3724121681933474063571542216362483116528801024152961824471744275943\ 534402628212/620746599857939081599438877184931231187310098672823321\ 938898297505929438383077*c_1001_3^6 + 2248477006177944812195874912412395899539618615779756583966711489873\ 861974748141/620746599857939081599438877184931231187310098672823321\ 938898297505929438383077*c_1001_3^5 + 1500353077175922342987189474612805358688186111894539997363218648164\ 148859484111/620746599857939081599438877184931231187310098672823321\ 938898297505929438383077*c_1001_3^4 - 4197512849569068044930741854655357020477913369435739990119599195870\ 83688678787/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^3 - 4422665849553123021979994026603141340660167124021541997943374214350\ 80288304501/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^2 + 8710644339869545148930780683609741652524327856017205602748922869625\ 9497491156/62074659985793908159943887718493123118731009867282332193\ 8898297505929438383077*c_1001_3 + 361082074352400479112361814094799\ 733697883844170103545390717404229351074799757/620746599857939081599\ 438877184931231187310098672823321938898297505929438383077, c_0011_4 - 613109355388922932860914188220165256816865780609607219353390\ 485351373790/620746599857939081599438877184931231187310098672823321\ 938898297505929438383077*c_1001_3^21 + 3939791883013924992254949787495201093465702172153612976978653735027\ 436873/620746599857939081599438877184931231187310098672823321938898\ 297505929438383077*c_1001_3^20 + 2193193770481637219186889746181440\ 3588157378880571766211225011674680380958/62074659985793908159943887\ 7184931231187310098672823321938898297505929438383077*c_1001_3^19 - 1951187127550723291716718105274203597327592990593455875432974560444\ 34260364/6207465998579390815994388771849312311873100986728233219388\ 98297505929438383077*c_1001_3^18 + 1615772359888611500881616877576287623618522878037909980926381116939\ 78075612/6207465998579390815994388771849312311873100986728233219388\ 98297505929438383077*c_1001_3^17 - 6474518298975328493847949398041206003540078404434084971785851160593\ 39290361/6207465998579390815994388771849312311873100986728233219388\ 98297505929438383077*c_1001_3^16 + 1744621828909165243358870518161576744449326818010263990554475581212\ 8026516355/62074659985793908159943887718493123118731009867282332193\ 8898297505929438383077*c_1001_3^15 - 6212852774664273638089452804743217863547348892372610100054747815629\ 9401019301/62074659985793908159943887718493123118731009867282332193\ 8898297505929438383077*c_1001_3^14 + 4480771271222134557717339125966724807100899623672048787213423142388\ 8378896441/62074659985793908159943887718493123118731009867282332193\ 8898297505929438383077*c_1001_3^13 + 1389134498004514765630437356229210777741988516406207975575113984998\ 14867335026/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^12 - 3827272405666746339564596379785262699831616614024271281695373010187\ 58474812963/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^11 + 3156699536056237301870817025172429599650779663716997699797110441679\ 27581097096/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^10 - 1170523001940171794690218979721170125136483806538878708256215305889\ 12217307966/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^9 + 3657924800491717354978835827772705631692977779941465769165051332169\ 5310902456/62074659985793908159943887718493123118731009867282332193\ 8898297505929438383077*c_1001_3^8 + 2295242957095516866570538425051297609533274244711830455810849745076\ 22675306618/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^7 - 7781324268872958330937476562163493344850635004218470010222008008792\ 33829725247/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^6 + 1166230916428860866846930107576794204832260321855641475828054847039\ 156763306329/620746599857939081599438877184931231187310098672823321\ 938898297505929438383077*c_1001_3^5 + 5548073068228670256490457502323282570963500642948462910167663750488\ 7313885890/62074659985793908159943887718493123118731009867282332193\ 8898297505929438383077*c_1001_3^4 - 1955286067589908013372191589422554451903786165870609861319926292111\ 03567672696/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^3 + 3484417855916800058216688700346726451516589602189161026021605074243\ 80755045757/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^2 + 4001202674460985111825475393476883966689045682671631733250659306057\ 0478221857/62074659985793908159943887718493123118731009867282332193\ 8898297505929438383077*c_1001_3 - 166790857565896534471140595555474\ 941593927693376213649167418766701427957562613/620746599857939081599\ 438877184931231187310098672823321938898297505929438383077, c_0101_0 + 154179511641560994607977147656255593390748839803376061935037\ 2687210386088/18622397995738172447983166315547936935619302960184699\ 65816694892517788315149231*c_1001_3^21 - 2393745554067383654412517600100446038126190207027693641738814787331\ 182458/186223979957381724479831663155479369356193029601846996581669\ 4892517788315149231*c_1001_3^20 - 318646048396334882526520171341923\ 35638691076041224516005250852891189165720/6207465998579390815994388\ 77184931231187310098672823321938898297505929438383077*c_1001_3^19 + 1950645279977852903446784240941484155284659388572160254281049525508\ 77033560/1862239799573817244798316631554793693561930296018469965816\ 694892517788315149231*c_1001_3^18 + 5441363564487101290267874049953114295220359760560918001648463613010\ 06603851/6207465998579390815994388771849312311873100986728233219388\ 98297505929438383077*c_1001_3^17 + 1052392962972456608131843315839131458488328225860228285596881453103\ 889454525/186223979957381724479831663155479369356193029601846996581\ 6694892517788315149231*c_1001_3^16 - 1139838374679871111550851498144844346982961079178631338171437271412\ 9657002023/62074659985793908159943887718493123118731009867282332193\ 8898297505929438383077*c_1001_3^15 - 4229808004087913494456361082386139673212126757765697459880327724479\ 2821026076/18622397995738172447983166315547936935619302960184699658\ 16694892517788315149231*c_1001_3^14 + 4743853933148396831740141874676464620093782719355602695083723170225\ 23487035192/1862239799573817244798316631554793693561930296018469965\ 816694892517788315149231*c_1001_3^13 - 6166488590408397546979604050364704239117369058337096967773275189848\ 43596949840/1862239799573817244798316631554793693561930296018469965\ 816694892517788315149231*c_1001_3^12 - 2237928310776923797025165511249206949553362227113807579356573336692\ 39093617856/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^11 + 2626026712729636688298254899315811796636636176659003843817257721273\ 250421405307/186223979957381724479831663155479369356193029601846996\ 5816694892517788315149231*c_1001_3^10 - 6058556141566626111410703899339024506784072254243220242538485855524\ 33307621764/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^9 + 2123764817491986163630501179824336545200883542571183568808311323381\ 73061373519/1862239799573817244798316631554793693561930296018469965\ 816694892517788315149231*c_1001_3^8 - 1081353093139724203657348959573886526231769247184968659279916102828\ 734089490818/186223979957381724479831663155479369356193029601846996\ 5816694892517788315149231*c_1001_3^7 + 1674728574308287954141060375773345299238156270670692988581737160519\ 64900924730/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077*c_1001_3^6 + 1431181892703564710365476674324170649663863751172845568131035324641\ 418350706928/620746599857939081599438877184931231187310098672823321\ 938898297505929438383077*c_1001_3^5 - 7722983849658958663376322756172122931471932903980137864748495295473\ 495708409038/186223979957381724479831663155479369356193029601846996\ 5816694892517788315149231*c_1001_3^4 - 3314866845495262715659333919444772085156982006038063059468789143765\ 745313989266/186223979957381724479831663155479369356193029601846996\ 5816694892517788315149231*c_1001_3^3 + 1378640139786358602831558922031782128876266979209080794946937851964\ 050263691867/620746599857939081599438877184931231187310098672823321\ 938898297505929438383077*c_1001_3^2 + 3513649310409527332942126548485664891577153928454602197875082672927\ 581078379144/186223979957381724479831663155479369356193029601846996\ 5816694892517788315149231*c_1001_3 - 2213538426878382219514300151139882171952457305247834788683894549221\ 64141029000/6207465998579390815994388771849312311873100986728233219\ 38898297505929438383077, c_0101_3 - 724729734982686286558653632512261130346048537961472350266640\ 03517984689716834/1358255635149156504447732207168348026960953226906\ 0047107345033647727242041260107837*c_1001_3^21 + 3569227353793283421406495665109013038470714037303668787133518423661\ 02758851501/1358255635149156504447732207168348026960953226906004710\ 7345033647727242041260107837*c_1001_3^20 + 3016994036520316062809312255147726404969758925576255009769822969799\ 539008458683/135825563514915650444773220716834802696095322690600471\ 07345033647727242041260107837*c_1001_3^19 - 1832578430492438884129804872257448996336695111294114287632446401023\ 7570675980535/13582556351491565044477322071683480269609532269060047\ 107345033647727242041260107837*c_1001_3^18 - 2796794471842658733407147791631790937495931043509782247723175228436\ 217740276493/135825563514915650444773220716834802696095322690600471\ 07345033647727242041260107837*c_1001_3^17 - 9278467426326601152304402366185788793184289894264367434908540699881\ 6933487583128/13582556351491565044477322071683480269609532269060047\ 107345033647727242041260107837*c_1001_3^16 + 1865668163285245528029570346168994182722301427261160172794674869488\ 617079999507431/135825563514915650444773220716834802696095322690600\ 47107345033647727242041260107837*c_1001_3^15 - 4806858201060517843469608474783906083516016353463721341391938224760\ 984420380119558/135825563514915650444773220716834802696095322690600\ 47107345033647727242041260107837*c_1001_3^14 + 2699611351924779512306504923536206332390518265328136133018602481336\ 64767357326757/1358255635149156504447732207168348026960953226906004\ 7107345033647727242041260107837*c_1001_3^13 + 1678067686101496086426448502560177349490791094473048066154077233503\ 4872044966578898/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^12 - 2715351661077141385880770120879022391778463304373046003857357114410\ 3379318442496578/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^11 + 7985248387477924402377683951453612325929563772308517072105668001656\ 606057019597495/135825563514915650444773220716834802696095322690600\ 47107345033647727242041260107837*c_1001_3^10 + 6689633454543158486480424659233728008221097580315057640486880839899\ 289581719875335/135825563514915650444773220716834802696095322690600\ 47107345033647727242041260107837*c_1001_3^9 - 2076231727646085351629491994909354895329171421803154406987902707892\ 201354657378892/135825563514915650444773220716834802696095322690600\ 47107345033647727242041260107837*c_1001_3^8 + 1954918089375142152230485802756612444735589574864653941787475210520\ 2824959173131898/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^7 - 6236113583010004803220217817230138916814937508292066950373074213240\ 5653168340925636/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^6 + 4659696555654575128472994248358867214410281200305394573479218743039\ 8243993507893976/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^5 + 5848650004985399232121918441812332271027271135512536897920628007188\ 7804112339492695/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^4 - 2749362721598660187522389192121668460419168789465441978718823785666\ 8996957524358618/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^3 - 2756950024375179876645346849816479213416455223556487838912858958248\ 3048392452304429/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^2 + 1189774038062586980279974635569117991273557488064319874512208905356\ 8572790271508396/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3 + 6541347396989612947670690104275592680761106334281991736752020862400\ 890252561032263/135825563514915650444773220716834802696095322690600\ 47107345033647727242041260107837, c_0101_5 - 843649579848735920068331372786854466848380661222922588647577\ 076063292242923369/407476690544746951334319662150504408088285968071\ 80141322035100943181726123780323511*c_1001_3^21 + 3550518788869054149452421670157849927345139395511525687798862549729\ 782547725497/407476690544746951334319662150504408088285968071801413\ 22035100943181726123780323511*c_1001_3^20 + 1236505023958373768327643023258459213032200336734099867513750932457\ 7219796646693/13582556351491565044477322071683480269609532269060047\ 107345033647727242041260107837*c_1001_3^19 - 1850700865131303463722702521784506730064938354634316882313722666942\ 63849326499144/4074766905447469513343196621505044080882859680718014\ 1322035100943181726123780323511*c_1001_3^18 - 4609739164840641784933917081640075885300396663136703948397199559592\ 4571930276555/13582556351491565044477322071683480269609532269060047\ 107345033647727242041260107837*c_1001_3^17 - 1269594195076104038048682915024804478522928134810539903522291766820\ 640277246528499/407476690544746951334319662150504408088285968071801\ 41322035100943181726123780323511*c_1001_3^16 + 6871544494045977071748819039607051543272022556897236180855513630413\ 825241238674259/135825563514915650444773220716834802696095322690600\ 47107345033647727242041260107837*c_1001_3^15 - 4233042221907523470228841448868925442809067217661932702453840510019\ 4466616830542230/40747669054474695133431966215050440808828596807180\ 141322035100943181726123780323511*c_1001_3^14 - 1477858545759195690045318381183365338279163180875042890334769613855\ 3139760195762852/40747669054474695133431966215050440808828596807180\ 141322035100943181726123780323511*c_1001_3^13 + 1711257124123628852384298244778075906719205290050189781919296507508\ 26065618104852426/4074766905447469513343196621505044080882859680718\ 0141322035100943181726123780323511*c_1001_3^12 - 7154212724731345628859855502160248463042703758909497225864005862742\ 0672030699341020/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^11 + 2022107194583101945222250217946714506585522883685817046391688671855\ 3060513561921126/40747669054474695133431966215050440808828596807180\ 141322035100943181726123780323511*c_1001_3^10 + 1549308460449839703080551693364773310922443484543313915765848934226\ 1280565955889280/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^9 - 1263213550832706295411897222440722316756096427572903822096757552894\ 256038947935546/407476690544746951334319662150504408088285968071801\ 41322035100943181726123780323511*c_1001_3^8 + 1961593018876269812217168131993369417424939640303728110133676914348\ 71567976059963137/4074766905447469513343196621505044080882859680718\ 0141322035100943181726123780323511*c_1001_3^7 - 1946172423147216983124284824735616524942491031816731213047194208106\ 89848336773403689/1358255635149156504447732207168348026960953226906\ 0047107345033647727242041260107837*c_1001_3^6 + 8256381285556515802609701249078655356503096376406272686767175086264\ 8567230507020549/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^5 + 5785281069105346354637709024584135205800603805039902555864604700835\ 25261974910568756/4074766905447469513343196621505044080882859680718\ 0141322035100943181726123780323511*c_1001_3^4 - 7637050925990835346625589134472432660700055880809391603215259152686\ 8923903364925529/40747669054474695133431966215050440808828596807180\ 141322035100943181726123780323511*c_1001_3^3 - 7856797348083867902589500004664207445827341119465830291409381672352\ 8067952269543435/13582556351491565044477322071683480269609532269060\ 047107345033647727242041260107837*c_1001_3^2 - 2287626466003124386669732513810408998915814591212050305138431731460\ 1813827058668917/40747669054474695133431966215050440808828596807180\ 141322035100943181726123780323511*c_1001_3 + 9915944964689597187105695005615631630757425267211682926065599141171\ 248550299298761/135825563514915650444773220716834802696095322690600\ 47107345033647727242041260107837, c_1001_3^22 - 4*c_1001_3^21 - 45*c_1001_3^20 + 211*c_1001_3^19 + 216*c_1001_3^18 + 1498*c_1001_3^17 - 24126*c_1001_3^16 + 44912*c_1001_3^15 + 32080*c_1001_3^14 - 210031*c_1001_3^13 + 211452*c_1001_3^12 + 64922*c_1001_3^11 - 115995*c_1001_3^10 + 3652*c_1001_3^9 - 234923*c_1001_3^8 + 649746*c_1001_3^7 - 89223*c_1001_3^6 - 883889*c_1001_3^5 + 53971*c_1001_3^4 + 439644*c_1001_3^3 + 112819*c_1001_3^2 - 68286*c_1001_3 - 20205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB