Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 3734979102] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2138 geometric_solution 5.62104533 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.229593077515 0.240921101300 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.697443254885 1.934321702880 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 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.049441457429 0.841571735566 5 4 2 1 3201 0132 2310 0132 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 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.049441457429 0.841571735566 4 3 4 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.455106813828 0.786821538905 6 6 2 3 0132 2310 0132 2310 0 0 0 0 0 0 -1 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 0 -1 1 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.670481978956 1.565527928054 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 1 0 -1 1 0 -1 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.639665623915 0.421906634801 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], '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' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), '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_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 7049604775627499224616319843900288562008110157565336997957878445046\ 8633/24846985736112678233454051370793456684144022119434972812619004\ 52159336*c_0101_3^30 + 28760754238096779447547525440830614454379805\ 85230551045877283305073635/2020080141147372214101955395999468023101\ 1400097101603912698377659832*c_0101_3^29 - 1122925539301656397381668626807633499171964757369527492686704166176\ 495569/248469857361126782334540513707934566841440221194349728126190\ 0452159336*c_0101_3^28 + 398213895047444348275530323025384932393290\ 604142796719914731117727472197/248469857361126782334540513707934566\ 8414402211943497281261900452159336*c_0101_3^27 + 1203523078170240716466583511642550180882678630245249668763340244446\ 965230/310587321701408477918175642134918208551800276492937160157737\ 556519917*c_0101_3^26 - 2638884356777133341188426750988542868813436\ 1494485937675010646496412932101/24846985736112678233454051370793456\ 68414402211943497281261900452159336*c_0101_3^25 + 1524027985572809776284680214485397479408812337835177029092195745409\ 2481317/24846985736112678233454051370793456684144022119434972812619\ 00452159336*c_0101_3^24 + 55614842509281120572510988552764641491480\ 996664130298415317871997822899139/248469857361126782334540513707934\ 5668414402211943497281261900452159336*c_0101_3^23 - 4633575485142851393192722374229651190694286077331669002825596067657\ 5018715/82823285787042260778180171235978188947146740398116576042063\ 3484053112*c_0101_3^22 + 329666844855668914898811062956337818972814\ 83948994819812954115679704327527/8282328578704226077818017123597818\ 89471467403981165760420633484053112*c_0101_3^21 + 1574681366280551046491615952482365253071789356024339978971358567840\ 39947617/2484698573611267823345405137079345668414402211943497281261\ 900452159336*c_0101_3^20 - 1376496882680065376219716323257897825600\ 79232394896536768216116631986999275/1242349286805633911672702568539\ 672834207201105971748640630950226079668*c_0101_3^19 + 8675096321544399421155655997987872213356596349621016336372829502291\ 1087559/12423492868056339116727025685396728342072011059717486406309\ 50226079668*c_0101_3^18 + 61795457572748339792443970319473432099260\ 95607228570001295908358581816749/1242349286805633911672702568539672\ 834207201105971748640630950226079668*c_0101_3^17 - 2988582565019092548981847899634801300514332808371040971614530804107\ 9964399/31058732170140847791817564213491820855180027649293716015773\ 7556519917*c_0101_3^16 - 605090984420230313458301919420582865782870\ 00842948528696460003116763603613/4141164289352113038909008561798909\ 44735733701990582880210316742026556*c_0101_3^15 - 3836211576616801947329490971351003460038230144707554400854702515877\ 14880207/1242349286805633911672702568539672834207201105971748640630\ 950226079668*c_0101_3^14 + 2337520557596440681374960188773214158117\ 598573143317053017750920687828449/414116428935211303890900856179890\ 944735733701990582880210316742026556*c_0101_3^13 - 1260812756819976747456255063878875582459029501123269001139248214105\ 65297745/4141164289352113038909008561798909447357337019905828802103\ 16742026556*c_0101_3^12 - 11349335597745501865830194265114814500579\ 7933879491877515729786718876266535/62117464340281695583635128426983\ 6417103600552985874320315475113039834*c_0101_3^11 + 2145274253861378479174850033699792518359941932563283586047883664195\ 55930585/8282328578704226077818017123597818894714674039811657604206\ 33484053112*c_0101_3^10 - 42933555807054010328971382731016224541575\ 49945545793207072063307811259779/1035291072338028259727252140449727\ 36183933425497645720052579185506639*c_0101_3^9 - 1004051078125852693790656338146034929595397626945733106530165667947\ 6429919/41411642893521130389090085617989094473573370199058288021031\ 6742026556*c_0101_3^8 + 3136723418828463886052724345778187692223629\ 7785052606698396098713102489255/41411642893521130389090085617989094\ 4735733701990582880210316742026556*c_0101_3^7 + 6564968120886660571468039731857477956440840661417899335998117042641\ 059515/124234928680563391167270256853967283420720110597174864063095\ 0226079668*c_0101_3^6 + 3162465947021948186245400853343457874361657\ 327486032688004398814954427884/310587321701408477918175642134918208\ 551800276492937160157737556519917*c_0101_3^5 + 1170677858115167145199973786225479711575718118385741590533350658148\ 706859/207058214467605651945450428089945472367866850995291440105158\ 371013278*c_0101_3^4 - 21509077213465776501537135461640165814401379\ 76927250154195348333838161351/1242349286805633911672702568539672834\ 207201105971748640630950226079668*c_0101_3^3 - 2709345591240403323289582285558121163959242145741624235295835702887\ 82240/3105873217014084779181756421349182085518002764929371601577375\ 56519917*c_0101_3^2 - 184621656434113463767114983932841670168637220\ 0571620076636193616188810677/24846985736112678233454051370793456684\ 14402211943497281261900452159336*c_0101_3 + 1876501474307277222885095056998424189656685852070696963663843879590\ 0655/82823285787042260778180171235978188947146740398116576042063348\ 4053112, c_0011_0 - 1, c_0011_1 + 286961940481792041062534543986264284679697525775062762667078\ 885344/757530052930264580288233273499800508662927503641310146726189\ 1622437*c_0101_3^30 + 120668349182692931521707625042348686929659304\ 5346001876444148080617/75753005293026458028823327349980050866292750\ 36413101467261891622437*c_0101_3^29 - 5655261528559897642114176043084702996492896315153565434639353560402\ /757530052930264580288233273499800508662927503641310146726189162243\ 7*c_0101_3^28 + 569654311961533923523877131161592774314065394730903\ 3328690266132501/75753005293026458028823327349980050866292750364131\ 01467261891622437*c_0101_3^27 + 36150690997765368113602091949014624\ 470969919341046573039217340588504/757530052930264580288233273499800\ 5086629275036413101467261891622437*c_0101_3^26 - 4581890789836554543201646836972027745203133495387779033172458010308\ 3/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^25 + 53360682863726800839886605003460576503578900656611\ 329310092225587743/252510017643421526762744424499933502887642501213\ 7700489087297207479*c_0101_3^24 + 134046365618906813328451302637608\ 047854097430982855299983314563124237/757530052930264580288233273499\ 8005086629275036413101467261891622437*c_0101_3^23 - 6988627132131318644651965782958180786247034585350116282337527633728\ 79/7575300529302645802882332734998005086629275036413101467261891622\ 437*c_0101_3^22 + 2992096492744069023630955205822080330191049223171\ 50490517691474028355/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^21 + 1060175556812860220803639598100456416598828159547785216782123625286\ 90/7575300529302645802882332734998005086629275036413101467261891622\ 437*c_0101_3^20 - 1361566839723829158247974188905414122469622183541\ 345029550809093994427/757530052930264580288233273499800508662927503\ 6413101467261891622437*c_0101_3^19 + 1622481514737031015170819326592778446401945383013824065620779453957\ 799/757530052930264580288233273499800508662927503641310146726189162\ 2437*c_0101_3^18 - 302692397660030327326617016187848396410100757971\ 251983690854292003809/252510017643421526762744424499933502887642501\ 2137700489087297207479*c_0101_3^17 - 5245037401666795896693974451693200869518994894241251953248180240385\ 68/7575300529302645802882332734998005086629275036413101467261891622\ 437*c_0101_3^16 - 1002259756353004838667775025898362214519202671537\ 977919742481558335615/757530052930264580288233273499800508662927503\ 6413101467261891622437*c_0101_3^15 - 2013112476717108810220434540824025987229439904916622637175788327656\ 782/757530052930264580288233273499800508662927503641310146726189162\ 2437*c_0101_3^14 + 224789131246783736706341356000375610336520426801\ 2262140947537507544348/75753005293026458028823327349980050866292750\ 36413101467261891622437*c_0101_3^13 - 1229624439386172445217783580880716468761431174679816496206533374235\ 219/252510017643421526762744424499933502887642501213770048908729720\ 7479*c_0101_3^12 + 135545865857929304924338076493653604376454046725\ 6497699572738453538466/75753005293026458028823327349980050866292750\ 36413101467261891622437*c_0101_3^11 + 2970735913635922597860876137422990501394881633456838416723173614049\ 041/757530052930264580288233273499800508662927503641310146726189162\ 2437*c_0101_3^10 - 671550884973021131099959872239638641344005373252\ 931201891614075381106/252510017643421526762744424499933502887642501\ 2137700489087297207479*c_0101_3^9 + 2838225892686621631349758073255041738903665191634559820233222296466\ 16/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^8 + 13991340348760799926396141162829672989538651848498\ 7284785461165297135/25251001764342152676274442449993350288764250121\ 37700489087297207479*c_0101_3^7 - 311786890083315408045858433429674\ 688753183017550903286081246746655365/757530052930264580288233273499\ 8005086629275036413101467261891622437*c_0101_3^6 + 3211116363108233426850384465746702556369939339624518607233258465478\ 4/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^5 - 671577611673133110280702211517523119680698752692831\ 10883864248550835/7575300529302645802882332734998005086629275036413\ 101467261891622437*c_0101_3^4 - 48716877763715266504085125337502929\ 669569059028183776897039712638662/757530052930264580288233273499800\ 5086629275036413101467261891622437*c_0101_3^3 - 5942262496703955289974681597894758052496369128166634064610925692948\ /252510017643421526762744424499933502887642501213770048908729720747\ 9*c_0101_3^2 - 7675657504642214239506445656023093706893216937635587\ 696875851181614/757530052930264580288233273499800508662927503641310\ 1467261891622437*c_0101_3 + 492776088207351545412363688986765125148\ 1432937019814069396208484593/75753005293026458028823327349980050866\ 29275036413101467261891622437, c_0011_3 - 706220174866111599381992097479057377981006070564620896368232\ 13137/2525100176434215267627444244999335028876425012137700489087297\ 207479*c_0101_3^30 - 4595969619203182788038027769775028799393846579\ 75194413057482571595/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^29 + 591259207097078173841323600951238767721100452287631121223260976446/\ 2525100176434215267627444244999335028876425012137700489087297207479\ *c_0101_3^28 + 1249367751077333505688596072444492480544797980558892\ 654714402702024/252510017643421526762744424499933502887642501213770\ 0489087297207479*c_0101_3^27 - 101420710270234468322546175874645907\ 28294450841724328279650757017607/2525100176434215267627444244999335\ 028876425012137700489087297207479*c_0101_3^26 + 1201499801889714585193955390973784625703386265035197609987453384316\ 5/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^25 + 23324715598907111091329569382077311914472261257091\ 811990024058640773/252510017643421526762744424499933502887642501213\ 7700489087297207479*c_0101_3^24 - 761108038876498190595326131447533\ 00499286664380476842967431106415121/2525100176434215267627444244999\ 335028876425012137700489087297207479*c_0101_3^23 + 5457374143547879110822972467804781716978685130771027081045603991892\ 5/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^22 + 10375142704166134069947916598696186363953023911651\ 3249349362981204230/25251001764342152676274442449993350288764250121\ 37700489087297207479*c_0101_3^21 - 2921233260118264953003178414218407750750337607485272831949576373911\ 48/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^20 + 2951504710184532590926331310010807377485931467568\ 4481073868263996244/25251001764342152676274442449993350288764250121\ 37700489087297207479*c_0101_3^19 + 2247446210342418134487043920996163698386917870156314832741287848583\ 09/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^18 - 2417132790637223944444158173025077975957847935212\ 59902691632818288137/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^17 + 1969262182100891495255999113483998887348115658092817676012997390801\ 76/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^16 + 7222868121858732433594773642095813033535109742222\ 61273741914937697152/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^15 + 1336473075321728042314960681865012599322373297290342297667747714752\ 581/252510017643421526762744424499933502887642501213770048908729720\ 7479*c_0101_3^14 + 114599611365812082513790096926532532673447783994\ 4819643661621680477401/25251001764342152676274442449993350288764250\ 12137700489087297207479*c_0101_3^13 + 8017615356118928228262689152575452539191334273964050561554427858370\ 47/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^12 + 1566753090914080407568589472603315843298494463216\ 877583188896593576274/252510017643421526762744424499933502887642501\ 2137700489087297207479*c_0101_3^11 + 1032718310620833683571386989676801265871409782983991622527888716933\ 30/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^10 - 8143982456670180410241991331485509941551286914511\ 24191561627958600182/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^9 + 1471845802663711945317000315566592149220098392583624450372099480597\ 76/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^8 - 45188144498997287246714470761740323576374837820774\ 337168040006855773/252510017643421526762744424499933502887642501213\ 7700489087297207479*c_0101_3^7 - 2963596499206263163532330384748139\ 63336773543242768437206072232081981/2525100176434215267627444244999\ 335028876425012137700489087297207479*c_0101_3^6 - 6453081859601721537600163337267164833187905620959823268002236823465\ 8/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^5 - 431485655608023018268228085610276692523438740776154\ 19397570684777346/2525100176434215267627444244999335028876425012137\ 700489087297207479*c_0101_3^4 - 28764124353525625330127406689879104\ 668694808828762021008634726842242/252510017643421526762744424499933\ 5028876425012137700489087297207479*c_0101_3^3 + 7942628177270978658387671811929873605895256793343405551458992419268\ /252510017643421526762744424499933502887642501213770048908729720747\ 9*c_0101_3^2 + 4297619870274089712253898877101352232136874544289374\ 971718523735306/252510017643421526762744424499933502887642501213770\ 0489087297207479*c_0101_3 + 100457729866763397707050803666097712254\ 9144177818735018737721571112/25251001764342152676274442449993350288\ 76425012137700489087297207479, c_0011_5 - 109430214644670213046045982599884079401363004781211209298794\ 672677/252510017643421526762744424499933502887642501213770048908729\ 7207479*c_0101_3^30 - 428213612531592313904626729222987499003654022\ 625156380296135457952/252510017643421526762744424499933502887642501\ 2137700489087297207479*c_0101_3^29 + 2300412833718818136642404940027247271917200614014591968376904686646\ /252510017643421526762744424499933502887642501213770048908729720747\ 9*c_0101_3^28 - 274901125032813117146031955833051746481416682565267\ 9339253529081175/25251001764342152676274442449993350288764250121377\ 00489087297207479*c_0101_3^27 - 13278368307163714742566738440721215\ 929889499471805254971870781729208/252510017643421526762744424499933\ 5028876425012137700489087297207479*c_0101_3^26 + 5640714898186587170533740917338204609885901474850812316827086701348\ 1/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^25 - 75011043380706021435607314264025239495323020138818\ 304538185672199785/252510017643421526762744424499933502887642501213\ 7700489087297207479*c_0101_3^24 - 361273457943526995262253646728257\ 56686045270727820205999467365403238/2525100176434215267627444244999\ 335028876425012137700489087297207479*c_0101_3^23 + 2813907924301499841799803038216821952783081166352375739166983129171\ 90/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^22 - 4113366160853339790045545439392764763238698365035\ 33336740098427642853/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^21 + 4541226830541244456208041641662542091325726896450837559965580976171\ 8/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^20 + 53250153854824142396124246996004227919222741316183\ 2586669863520523252/25251001764342152676274442449993350288764250121\ 37700489087297207479*c_0101_3^19 - 7406768275873214150623742090478217618707107447242996882577363468588\ 48/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^18 + 5038306658169417863083057363640939668169339274805\ 22942327399443520451/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^17 + 9513029056105871534275678283156011255386121610458378334351280115451\ 0/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^16 + 34105648529142048589463604625015182069978270230634\ 4998564148249094062/25251001764342152676274442449993350288764250121\ 37700489087297207479*c_0101_3^15 + 6293746110441980771165642719114074870023719340195769512281395582504\ 54/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^14 - 1155017727382804802787041312884538028368556092165\ 023090741242844607990/252510017643421526762744424499933502887642501\ 2137700489087297207479*c_0101_3^13 + 1534294790972073900415931116472983920889982875526959105918398598038\ 260/252510017643421526762744424499933502887642501213770048908729720\ 7479*c_0101_3^12 - 974400123764059000299770841221106137492513368954\ 748072379009033956012/252510017643421526762744424499933502887642501\ 2137700489087297207479*c_0101_3^11 - 1060899348706855138106344709354127932082156283884289113825936669967\ 101/252510017643421526762744424499933502887642501213770048908729720\ 7479*c_0101_3^10 + 991932055352267609077179005880214503348894398621\ 997153918708022435199/252510017643421526762744424499933502887642501\ 2137700489087297207479*c_0101_3^9 - 4942344235773544101837023286930330959361333665302758001158639264001\ 55/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^8 - 56414583243203893562652648432676172355977224767334\ 16067915913351560/2525100176434215267627444244999335028876425012137\ 700489087297207479*c_0101_3^7 + 13299082535467968507793724114755875\ 4858621688193287327168475053755780/25251001764342152676274442449993\ 35028876425012137700489087297207479*c_0101_3^6 - 6103522152459038783589762750635209741189128206608835438047660292532\ 1/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^5 + 535440389059329504195867216953925254555516935345804\ 83323346217585414/2525100176434215267627444244999335028876425012137\ 700489087297207479*c_0101_3^4 + 14986635391066494156485188449183135\ 558827411417966956944835046938999/252510017643421526762744424499933\ 5028876425012137700489087297207479*c_0101_3^3 + 1473961104480724220037894871771637797826891676643163637761535900856\ /252510017643421526762744424499933502887642501213770048908729720747\ 9*c_0101_3^2 + 3605759009700391482333899567463423607040906742104784\ 39285027242588/2525100176434215267627444244999335028876425012137700\ 489087297207479*c_0101_3 - 1166580924438545239265691739186301046371\ 778623629187549014911092743/252510017643421526762744424499933502887\ 6425012137700489087297207479, c_0101_0 - 466881505718933054445437966012541137285121624782065448057068\ 659238/757530052930264580288233273499800508662927503641310146726189\ 1622437*c_0101_3^30 - 232905633566937429578842973446345087273248212\ 6099835181342999414975/75753005293026458028823327349980050866292750\ 36413101467261891622437*c_0101_3^29 + 7583125771434899804127178134274530925515720185877205635821586515843\ /757530052930264580288233273499800508662927503641310146726189162243\ 7*c_0101_3^28 - 251306236390424875476010639859951328135095072811736\ 6866253791250670/75753005293026458028823327349980050866292750364131\ 01467261891622437*c_0101_3^27 - 65085186973394070986901218502743755\ 074930281326870559034596899711832/757530052930264580288233273499800\ 5086629275036413101467261891622437*c_0101_3^26 + 5930815786182276325303553875510354079015027138229154255585363429891\ 0/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^25 - 32165332151833248774885460829209102557824515607325\ 295653945223247720/252510017643421526762744424499933502887642501213\ 7700489087297207479*c_0101_3^24 - 399299997331318151819673904347977\ 471759036599557835283184827168294249/757530052930264580288233273499\ 8005086629275036413101467261891622437*c_0101_3^23 + 9685012142035279757844613789316822600179082142833095271760945884852\ 27/7575300529302645802882332734998005086629275036413101467261891622\ 437*c_0101_3^22 - 2155117497778992737026284890493748965307267284212\ 24634199961869892812/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^21 - 1192030094011728767683517756202879959490618930731473751661245781667\ 604/757530052930264580288233273499800508662927503641310146726189162\ 2437*c_0101_3^20 + 206351893701337248399005548825877238335179552484\ 3259875437068762751298/75753005293026458028823327349980050866292750\ 36413101467261891622437*c_0101_3^19 - 1168778499928960950344747110537010599495954338122907765186876763177\ 105/757530052930264580288233273499800508662927503641310146726189162\ 2437*c_0101_3^18 - 116727356945927575677956626383531577903460309101\ 069134523810027308354/252510017643421526762744424499933502887642501\ 2137700489087297207479*c_0101_3^17 + 1965451990257592329656381871919791902434146424206262216275787926761\ 272/757530052930264580288233273499800508662927503641310146726189162\ 2437*c_0101_3^16 + 212779760770598170311096109226594724842893127339\ 3433524212228126209446/75753005293026458028823327349980050866292750\ 36413101467261891622437*c_0101_3^15 + 4902565119808984970282184628870389341978963195135961794538137307235\ 835/757530052930264580288233273499800508662927503641310146726189162\ 2437*c_0101_3^14 - 590189244291474667417012857289833327159830889330\ 168256651877759770474/757530052930264580288233273499800508662927503\ 6413101467261891622437*c_0101_3^13 + 1445152100662620759025337019213663023112774089263562741534290231752\ 834/252510017643421526762744424499933502887642501213770048908729720\ 7479*c_0101_3^12 + 314616161333330101646333165990514453680447442840\ 7684905880070598709754/75753005293026458028823327349980050866292750\ 36413101467261891622437*c_0101_3^11 - 5520062656017496987687497793611590091614804965754600975096881591182\ 982/757530052930264580288233273499800508662927503641310146726189162\ 2437*c_0101_3^10 + 293954955334681908591337351719503323581322013363\ 029237378381221731546/252510017643421526762744424499933502887642501\ 2137700489087297207479*c_0101_3^9 + 2779432444624324438646884074881837670785103848185248327579226839277\ 98/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^8 - 57987300402890230982636890077312316782867998979800\ 9590007995168441641/25251001764342152676274442449993350288764250121\ 37700489087297207479*c_0101_3^7 + 179726830450515895120501671181091\ 467139227223267081541666631371575915/757530052930264580288233273499\ 8005086629275036413101467261891622437*c_0101_3^6 - 3023777443954953102181039279110006616667467721995843810882913186927\ 4/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^5 - 105583064779508095802771192171015752889701415339993\ 383760845059557822/757530052930264580288233273499800508662927503641\ 3101467261891622437*c_0101_3^4 + 8461470448740634596866048582320429\ 5382742523431604463395364933316899/75753005293026458028823327349980\ 05086629275036413101467261891622437*c_0101_3^3 + 3630378323068290396044266927698983573023396574400999863863287095248\ /252510017643421526762744424499933502887642501213770048908729720747\ 9*c_0101_3^2 + 1778491553939537429364881809360123588193127683102750\ 2523158602688075/75753005293026458028823327349980050866292750364131\ 01467261891622437*c_0101_3 + 21882474855847765377605225354335590557\ 52838256068529899590427396667/7575300529302645802882332734998005086\ 629275036413101467261891622437, c_0101_1 - 300308301325851953856784535852960282042405636368524292451818\ 893908/252510017643421526762744424499933502887642501213770048908729\ 7207479*c_0101_3^30 - 137149238785552703417001744340325706295515033\ 5666775180484692653996/25251001764342152676274442449993350288764250\ 12137700489087297207479*c_0101_3^29 + 5389324130613361299116271888422552643408186884173668593587812590513\ /252510017643421526762744424499933502887642501213770048908729720747\ 9*c_0101_3^28 - 418381594202217047467743116731023528335097665286358\ 4349024162275401/25251001764342152676274442449993350288764250121377\ 00489087297207479*c_0101_3^27 - 38876002293396912494272828595803320\ 763200516573059614694029248986372/252510017643421526762744424499933\ 5028876425012137700489087297207479*c_0101_3^26 + 1297231126225036921661276635687229182000897118637656219128743903430\ 87/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^25 - 1250845459260534009834255364734126460309576783376\ 81207115923750624759/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^24 - 1744797220386715259563897663862663202185350810699717615525125312150\ 58/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^23 + 6641955442659663743115693964722096514210043368119\ 70883069373834619162/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^22 - 7268980128989178885313243102327839065161078921099058888040495724385\ 37/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^21 - 3139282558519089554868100486866766857836311550206\ 69225744009435663325/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^20 + 1278051215573558730145346386799993905656481188488963977883077364240\ 100/252510017643421526762744424499933502887642501213770048908729720\ 7479*c_0101_3^19 - 132002666452734344749860383960267240646214934429\ 8974449270664020722668/25251001764342152676274442449993350288764250\ 12137700489087297207479*c_0101_3^18 + 5925282692271019400440928359297558252942467370018113505925886840473\ 92/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^17 + 6931767187818550825896141370549928425298911212453\ 93766512285741323013/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^16 + 1278111825703518771635395675444387215688809600524109268500746698921\ 427/252510017643421526762744424499933502887642501213770048908729720\ 7479*c_0101_3^15 + 269671393327374288640016363727557071566254333110\ 1098897576671558551452/25251001764342152676274442449993350288764250\ 12137700489087297207479*c_0101_3^14 - 1209769700462105257181612556215110068556621553880358070555846182358\ 521/252510017643421526762744424499933502887642501213770048908729720\ 7479*c_0101_3^13 + 385835084540856247176752233644971884349888668458\ 5925803940485160972539/25251001764342152676274442449993350288764250\ 12137700489087297207479*c_0101_3^12 + 8509219953952807462378124208952644193230949895300770936599750283547\ 2/25251001764342152676274442449993350288764250121377004890872972074\ 79*c_0101_3^11 - 26465312931495484613379569803459922994372560150497\ 87197647714221098560/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^10 + 1529358769571950612744966907339153233470055760189226073211970024039\ 597/252510017643421526762744424499933502887642501213770048908729720\ 7479*c_0101_3^9 - 5602975138379656177354966710693669927051920413424\ 53887241239199494579/2525100176434215267627444244999335028876425012\ 137700489087297207479*c_0101_3^8 - 5345337893803580218805360994897732560408597284411716119951996340856\ 78/2525100176434215267627444244999335028876425012137700489087297207\ 479*c_0101_3^7 + 13836963188704612565035642216176964544263426463565\ 0318312638714865509/25251001764342152676274442449993350288764250121\ 37700489087297207479*c_0101_3^6 - 142032833260590649168901637418556\ 992967104059063670620064180690813170/252510017643421526762744424499\ 9335028876425012137700489087297207479*c_0101_3^5 - 108462981208595452132846068321896974909520888599209887921897741627/\ 2525100176434215267627444244999335028876425012137700489087297207479\ *c_0101_3^4 + 20666829192294600852957317390411784135407626515369372\ 536294547300876/252510017643421526762744424499933502887642501213770\ 0489087297207479*c_0101_3^3 + 9423345249528600951795510185808859488\ 307535895799077035641736060443/252510017643421526762744424499933502\ 8876425012137700489087297207479*c_0101_3^2 + 5813874592963716251518739505615859819594812790326362169801386849754\ /252510017643421526762744424499933502887642501213770048908729720747\ 9*c_0101_3 - 981997636929309335962132896936677498192413767104163423\ 54074807956/2525100176434215267627444244999335028876425012137700489\ 087297207479, c_0101_3^31 + 5*c_0101_3^30 - 16*c_0101_3^29 + 6*c_0101_3^28 + 136*c_0101_3^27 - 376*c_0101_3^26 + 225*c_0101_3^25 + 773*c_0101_3^24 - 1965*c_0101_3^23 + 1435*c_0101_3^22 + 2153*c_0101_3^21 - 3834*c_0101_3^20 + 2468*c_0101_3^19 + 43*c_0101_3^18 - 3193*c_0101_3^17 - 5280*c_0101_3^16 - 10735*c_0101_3^15 + 341*c_0101_3^14 - 10796*c_0101_3^13 - 5945*c_0101_3^12 + 8828*c_0101_3^11 - 1220*c_0101_3^10 - 762*c_0101_3^9 + 2391*c_0101_3^8 + 361*c_0101_3^7 + 280*c_0101_3^6 + 173*c_0101_3^5 - 47*c_0101_3^4 - 46*c_0101_3^3 - 22*c_0101_3^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB