Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 3465499137] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0331 geometric_solution 4.36018687 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0.543540165466 0.048361090334 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.631119556998 0.114047231371 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.263186004154 1.167713625531 4 2 4 5 3201 0132 3012 0132 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 -1 0 1 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 0.758782710147 1.591763847942 5 3 2 3 1023 1230 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.758782710147 1.591763847942 6 4 3 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.741931900234 0.286130178658 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.394483264201 0.573533709852 ==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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], '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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], '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_4'], '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 33853560085568051731811302768860477081837104274219565189325798254/2\ 39003385459881863873182574654061775231963540858181589173074965*c_01\ 01_6^24 - 229198853727211393967288317712048027843957497114149883565\ 519037526/239003385459881863873182574654061775231963540858181589173\ 074965*c_0101_6^23 + 4592813781177632242665780691642661225885017911\ 697243653166507945024/239003385459881863873182574654061775231963540\ 858181589173074965*c_0101_6^22 + 1732096296055566865361453012140291\ 7375364605440544531119530320781241/23900338545988186387318257465406\ 1775231963540858181589173074965*c_0101_6^21 - 1965988728816041967761653621380667256404601219114001824935475349197\ /47800677091976372774636514930812355046392708171636317834614993*c_0\ 101_6^20 - 26201349047219602105575885496468334305143329520691533674\ 872994837873/239003385459881863873182574654061775231963540858181589\ 173074965*c_0101_6^19 + 1431637477142581160686836377142840658023628\ 54056987095178667329176078/2390033854598818638731825746540617752319\ 63540858181589173074965*c_0101_6^18 - 1024283098116596543100034825332661250309337052404265438229086560682\ 71/239003385459881863873182574654061775231963540858181589173074965*\ c_0101_6^17 - 27135153844092064639738157924657515309067649166397680\ 3794725273358889/47800677091976372774636514930812355046392708171636\ 317834614993*c_0101_6^16 - 1675359097436224478567168281062218957129\ 410116142877949921389989882519/239003385459881863873182574654061775\ 231963540858181589173074965*c_0101_6^15 + 6462509142588137216552453018076355807351413639774958866915648897011\ 01/239003385459881863873182574654061775231963540858181589173074965*\ c_0101_6^14 + 30466558906213702954255093432321034996114868265605394\ 01121385230035389/2390033854598818638731825746540617752319635408581\ 81589173074965*c_0101_6^13 + 23555024841831442018379948252376042245\ 69553973476360146628960323497779/2390033854598818638731825746540617\ 75231963540858181589173074965*c_0101_6^12 - 2852938728334763125156633793236168081274094181538857800015625994254\ 86/239003385459881863873182574654061775231963540858181589173074965*\ c_0101_6^11 - 10738280550537889700862395473870056067053583964671077\ 62868042157555791/2390033854598818638731825746540617752319635408581\ 81589173074965*c_0101_6^10 - 35869217940125349430822784883507590810\ 777997552869307297581742193184/239003385459881863873182574654061775\ 231963540858181589173074965*c_0101_6^9 - 3321315861462996329101146086476236534456938602765649121708747135924\ 33/239003385459881863873182574654061775231963540858181589173074965*\ c_0101_6^8 - 203584669764330121029466832545038108789342357864647432\ 752236896365856/478006770919763727746365149308123550463927081716363\ 17834614993*c_0101_6^7 - 148680800814814144594007326110428211446643\ 063398064673135636894005932/239003385459881863873182574654061775231\ 963540858181589173074965*c_0101_6^6 + 5083917681122477141672361339717419374517304261913775273159182275396\ 56/239003385459881863873182574654061775231963540858181589173074965*\ c_0101_6^5 + 102053362946477346842005267720252696471810020150142817\ 019202373079411/239003385459881863873182574654061775231963540858181\ 589173074965*c_0101_6^4 - 24179202683789290032228348675355329288105\ 488885551125718754766868851/478006770919763727746365149308123550463\ 92708171636317834614993*c_0101_6^3 - 9837133837199086773752927165051388240725804436926548931378721044149\ /239003385459881863873182574654061775231963540858181589173074965*c_\ 0101_6^2 + 13869194224889459592585407336385376522530951003942687577\ 420175052413/239003385459881863873182574654061775231963540858181589\ 173074965*c_0101_6 - 1259718005450994157981440214937685329025459184\ 418846333258696581012/239003385459881863873182574654061775231963540\ 858181589173074965, c_0011_0 - 1, c_0011_1 + 307297086686943870263789145575793361665011687706530550413448\ /47800677091976372774636514930812355046392708171636317834614993*c_0\ 101_6^24 + 28584327417571297297261566993592731671958501176257225877\ 88108/4780067709197637277463651493081235504639270817163631783461499\ 3*c_0101_6^23 - 368111034038171387975913784941993502092439684865574\ 95398340816/4780067709197637277463651493081235504639270817163631783\ 4614993*c_0101_6^22 - 264880199535303066691262846875681258653642867\ 068559178328245181/478006770919763727746365149308123550463927081716\ 36317834614993*c_0101_6^21 - 25315497836239845421334245306195159413\ 6595799384293790032046652/47800677091976372774636514930812355046392\ 708171636317834614993*c_0101_6^20 + 590009962684132899150943112826520118715348262862091867107024737/478\ 00677091976372774636514930812355046392708171636317834614993*c_0101_\ 6^19 - 100817181512730552356550786652626038952788945683805028310813\ 8641/47800677091976372774636514930812355046392708171636317834614993\ *c_0101_6^18 - 2352733340533245999587961648321901499183981750805814\ 360115490732/478006770919763727746365149308123550463927081716363178\ 34614993*c_0101_6^17 + 16393952328082638950942314873324689263273899\ 574590769646548223673/478006770919763727746365149308123550463927081\ 71636317834614993*c_0101_6^16 + 43040781520269073084528221049603873\ 687339625449332715882775360913/478006770919763727746365149308123550\ 46392708171636317834614993*c_0101_6^15 + 20548410215732262393228385992423996093951984181607980115116847557/4\ 7800677091976372774636514930812355046392708171636317834614993*c_010\ 1_6^14 - 4465621184632265483380287004614049712315348964393512667533\ 9634986/47800677091976372774636514930812355046392708171636317834614\ 993*c_0101_6^13 - 7277464586953837047734314454532425524203573422209\ 8705858389305840/47800677091976372774636514930812355046392708171636\ 317834614993*c_0101_6^12 - 3281883881225135456542588035278492239466\ 1275099549044223706939146/47800677091976372774636514930812355046392\ 708171636317834614993*c_0101_6^11 + 13525792421120018151759720265332787163925153726812343371449403179/4\ 7800677091976372774636514930812355046392708171636317834614993*c_010\ 1_6^10 + 9295910510952521933517173214167612208228873014706327426691\ 976106/478006770919763727746365149308123550463927081716363178346149\ 93*c_0101_6^9 + 111880378797969648830382060928377940657679271886714\ 2912810232057/47800677091976372774636514930812355046392708171636317\ 834614993*c_0101_6^8 + 21503217390740027456706203901188805259180735\ 287963446707738910423/478006770919763727746365149308123550463927081\ 71636317834614993*c_0101_6^7 + 182046188050504140831987182222813126\ 70170559964368341658643381219/4780067709197637277463651493081235504\ 6392708171636317834614993*c_0101_6^6 - 4964920625455073638554533572573182819248264271518875067973754265/47\ 800677091976372774636514930812355046392708171636317834614993*c_0101\ _6^5 - 601248680102083624190402256600955997291080730521323077863845\ 5502/47800677091976372774636514930812355046392708171636317834614993\ *c_0101_6^4 + 13603163627457609346642030845122785555638960509830298\ 03386209656/4780067709197637277463651493081235504639270817163631783\ 4614993*c_0101_6^3 + 6562340089659693982693472598927312595087062444\ 40493908181211108/4780067709197637277463651493081235504639270817163\ 6317834614993*c_0101_6^2 - 1961677833499270822460928592154451962371\ 90366346960181755152967/4780067709197637277463651493081235504639270\ 8171636317834614993*c_0101_6 + 367652504255978813872195572670431881\ 49676981745122801549073099/4780067709197637277463651493081235504639\ 2708171636317834614993, c_0011_4 - 607143596485618410857102501614608021583026882447339712524754\ 9/47800677091976372774636514930812355046392708171636317834614993*c_\ 0101_6^24 - 4353574899818881182411533668701827366759770014400361093\ 0959015/47800677091976372774636514930812355046392708171636317834614\ 993*c_0101_6^23 + 8065744925150353535867680229615554010804682858549\ 23274228587679/4780067709197637277463651493081235504639270817163631\ 7834614993*c_0101_6^22 + 343108204553610425038314741835051162329654\ 0741146834233277723083/47800677091976372774636514930812355046392708\ 171636317834614993*c_0101_6^21 - 4329192597381983987715326071597437\ 93735231888990968619525675704/4780067709197637277463651493081235504\ 6392708171636317834614993*c_0101_6^20 - 4992598911397312904910926913269097659516098758687017396494555891/47\ 800677091976372774636514930812355046392708171636317834614993*c_0101\ _6^19 + 23891097531569204567983154134854295199925609901655909528193\ 766868/478006770919763727746365149308123550463927081716363178346149\ 93*c_0101_6^18 - 87012084356849938178371692351212944570575687703711\ 25078033861582/4780067709197637277463651493081235504639270817163631\ 7834614993*c_0101_6^17 - 248284543558751238122192710201368437727125\ 804091818825697860249148/478006770919763727746365149308123550463927\ 08171636317834614993*c_0101_6^16 - 397644045404553441273576180381786449107842716562395595849096314277/\ 47800677091976372774636514930812355046392708171636317834614993*c_01\ 01_6^15 - 322999239378076151985188612238930742553192592338975871904\ 01850691/4780067709197637277463651493081235504639270817163631783461\ 4993*c_0101_6^14 + 538135790442288328040223115723031151321424850239\ 704822452079214856/478006770919763727746365149308123550463927081716\ 36317834614993*c_0101_6^13 + 62337754767246218965423130963545202707\ 0630668283800028919776881585/47800677091976372774636514930812355046\ 392708171636317834614993*c_0101_6^12 + 180138509064259170381425224023563782064181911533916282273815928709/\ 47800677091976372774636514930812355046392708171636317834614993*c_01\ 01_6^11 - 122240571419415658075274940221087304610798266235305742590\ 469757935/478006770919763727746365149308123550463927081716363178346\ 14993*c_0101_6^10 - 43412382552199382526646637287647723864340712266\ 604847282956702448/478006770919763727746365149308123550463927081716\ 36317834614993*c_0101_6^9 - 735480805189019543219031249405871921869\ 50632530997797868131283470/4780067709197637277463651493081235504639\ 2708171636317834614993*c_0101_6^8 - 216230159642218802990164941507973511806558196612446509834253314005/\ 47800677091976372774636514930812355046392708171636317834614993*c_01\ 01_6^7 - 1075775418249222630246641526254243541432970558986893907686\ 90404474/4780067709197637277463651493081235504639270817163631783461\ 4993*c_0101_6^6 + 5275197959316408216958174292640071806070502587508\ 3622232886518530/47800677091976372774636514930812355046392708171636\ 317834614993*c_0101_6^5 + 34579860890312779739916068647128842497582\ 457338054104863806503617/478006770919763727746365149308123550463927\ 08171636317834614993*c_0101_6^4 - 104029159538766117221651578447827\ 67294008007850628721528952359267/4780067709197637277463651493081235\ 5046392708171636317834614993*c_0101_6^3 - 4183780685408899728222948394542766346282335571986266046896900604/47\ 800677091976372774636514930812355046392708171636317834614993*c_0101\ _6^2 + 114378312823359925059212394169560657037545554533831410006854\ 0087/47800677091976372774636514930812355046392708171636317834614993\ *c_0101_6 - 7795827833593200289350188425130139955486361905892958663\ 1384519/47800677091976372774636514930812355046392708171636317834614\ 993, c_0101_0 - 140070641303661551790924414861267812866154411638444799705907\ 97/47800677091976372774636514930812355046392708171636317834614993*c\ _0101_6^24 - 988810499072894908397497730956709709720697650988242176\ 85683833/4780067709197637277463651493081235504639270817163631783461\ 4993*c_0101_6^23 + 187136515245776032600692026998430074945517700167\ 8295973846350915/47800677091976372774636514930812355046392708171636\ 317834614993*c_0101_6^22 + 7704693989403405712116349597610116126768\ 227463982080449524200411/478006770919763727746365149308123550463927\ 08171636317834614993*c_0101_6^21 - 1795933909365789275853744477444906269532170498556465630762478181/47\ 800677091976372774636514930812355046392708171636317834614993*c_0101\ _6^20 - 11109751535406418416665653289758501843102652983648501165918\ 399295/478006770919763727746365149308123550463927081716363178346149\ 93*c_0101_6^19 + 56154170861188046287289229843770203059325794518326\ 540568829470476/478006770919763727746365149308123550463927081716363\ 17834614993*c_0101_6^18 - 26632063319418584289534159957520976008271\ 540172338679092635840654/478006770919763727746365149308123550463927\ 08171636317834614993*c_0101_6^17 - 567768450857143156097556213363827182516748968387919843208188182557/\ 47800677091976372774636514930812355046392708171636317834614993*c_01\ 01_6^16 - 856221817855219857842484913248724778477379697794402389593\ 601220988/478006770919763727746365149308123550463927081716363178346\ 14993*c_0101_6^15 + 32686656524538579344073909496980117800891872655\ 59329932737062168/4780067709197637277463651493081235504639270817163\ 6317834614993*c_0101_6^14 + 122578058440926364336363620360515953757\ 2471353143756675428470394077/47800677091976372774636514930812355046\ 392708171636317834614993*c_0101_6^13 + 1316497783733933963646241522263543143623443956260997109184121294911\ /47800677091976372774636514930812355046392708171636317834614993*c_0\ 101_6^12 + 30211118757455330580731067023798216134226663315549262761\ 1929374540/47800677091976372774636514930812355046392708171636317834\ 614993*c_0101_6^11 - 2990536136885020369763586973242173094568815159\ 16582484839274944104/4780067709197637277463651493081235504639270817\ 1636317834614993*c_0101_6^10 - 767173706920549849457208947568033625\ 95902918529213975842551653352/4780067709197637277463651493081235504\ 6392708171636317834614993*c_0101_6^9 - 168612688186820281268850689614902331763238662398476814190105698136/\ 47800677091976372774636514930812355046392708171636317834614993*c_01\ 01_6^8 - 4749112817357923888469763060622385775735624639600293582191\ 67681982/4780067709197637277463651493081235504639270817163631783461\ 4993*c_0101_6^7 - 2020414343598126987223279508064088591953584975095\ 29774340770374618/4780067709197637277463651493081235504639270817163\ 6317834614993*c_0101_6^6 + 1332831111710070763777948541243423404174\ 18565914567333658259780836/4780067709197637277463651493081235504639\ 2708171636317834614993*c_0101_6^5 + 67985415468831954024681733615802274823780281506352138958171425033/4\ 7800677091976372774636514930812355046392708171636317834614993*c_010\ 1_6^4 - 26953320873317122007718337005874012014161195651186317065353\ 132636/478006770919763727746365149308123550463927081716363178346149\ 93*c_0101_6^3 - 828397757832748896418811841519386581467526908064653\ 4846158625867/47800677091976372774636514930812355046392708171636317\ 834614993*c_0101_6^2 + 26310061368352209960614800984844503559094075\ 99756872593248558370/4780067709197637277463651493081235504639270817\ 1636317834614993*c_0101_6 - 169605859674023825051715652802779370532\ 770303368845172139234080/478006770919763727746365149308123550463927\ 08171636317834614993, c_0101_1 - 373747851515724587285552875288332393926078129303111877823808\ 5/47800677091976372774636514930812355046392708171636317834614993*c_\ 0101_6^24 - 2500491817795156674148654865377882468079161986558170808\ 4808685/47800677091976372774636514930812355046392708171636317834614\ 993*c_0101_6^23 + 5079698328153935755142904467872182246771359928675\ 25896241574638/4780067709197637277463651493081235504639270817163631\ 7834614993*c_0101_6^22 + 186463960187957108854523045800729990899827\ 6714990774581530978136/47800677091976372774636514930812355046392708\ 171636317834614993*c_0101_6^21 - 1085613750379884571022093522890058\ 294707906274911024156698913562/478006770919763727746365149308123550\ 46392708171636317834614993*c_0101_6^20 - 2301409675142712181841073379540513819221368159606302085277467058/47\ 800677091976372774636514930812355046392708171636317834614993*c_0101\ _6^19 + 15567432874539151488990031010963766359213524199497326121396\ 820398/478006770919763727746365149308123550463927081716363178346149\ 93*c_0101_6^18 - 13090699271052041968149419743990500262009778420417\ 425345118158528/478006770919763727746365149308123550463927081716363\ 17834614993*c_0101_6^17 - 14416069308667963375603166794548726909889\ 3661871652797785265787746/47800677091976372774636514930812355046392\ 708171636317834614993*c_0101_6^16 - 178297371759130655165089393458578632788700759072418838305980496629/\ 47800677091976372774636514930812355046392708171636317834614993*c_01\ 01_6^15 + 453316822425115432492790679748871356350247153419788662031\ 61196202/4780067709197637277463651493081235504639270817163631783461\ 4993*c_0101_6^14 + 289943653222011043170408634591069255528019660505\ 418499966311493728/478006770919763727746365149308123550463927081716\ 36317834614993*c_0101_6^13 + 25765486807473932415505143479543659544\ 4186568235685647848323482284/47800677091976372774636514930812355046\ 392708171636317834614993*c_0101_6^12 + 25659410124964880463938467595237693739459712103003335745697195174/4\ 7800677091976372774636514930812355046392708171636317834614993*c_010\ 1_6^11 - 6208380205346749563381291503521560867126263967173725748030\ 7212377/47800677091976372774636514930812355046392708171636317834614\ 993*c_0101_6^10 - 1383165561637394647632900042697913750413995022316\ 205481599698888/478006770919763727746365149308123550463927081716363\ 17834614993*c_0101_6^9 - 522515792643702373297363660539293194913995\ 73809672620027141815306/4780067709197637277463651493081235504639270\ 8171636317834614993*c_0101_6^8 - 1059590510820685824571740413873243\ 85466685759872733766116312302999/4780067709197637277463651493081235\ 5046392708171636317834614993*c_0101_6^7 - 24000746966507531118434634129945866093184992752647254513671515273/4\ 7800677091976372774636514930812355046392708171636317834614993*c_010\ 1_6^6 + 31189049242172841339045066214402158727992304504934048773788\ 422196/478006770919763727746365149308123550463927081716363178346149\ 93*c_0101_6^5 + 693083735239298938732308610792958030773001825604715\ 2800489565711/47800677091976372774636514930812355046392708171636317\ 834614993*c_0101_6^4 - 53570074767088500655577600804776906228559423\ 23972211592121226228/4780067709197637277463651493081235504639270817\ 1636317834614993*c_0101_6^3 - 4163291147652291007315921269462547551\ 51884038444729581861892640/4780067709197637277463651493081235504639\ 2708171636317834614993*c_0101_6^2 + 294244963972010072678104470329958993525907057119945364457074237/478\ 00677091976372774636514930812355046392708171636317834614993*c_0101_\ 6 - 10430427679640826634651720195277668070872807232291153612399652/\ 47800677091976372774636514930812355046392708171636317834614993, c_0101_3 - 621384913808816067837887920682426724776183455373421509866788\ 1/47800677091976372774636514930812355046392708171636317834614993*c_\ 0101_6^24 - 4527145129642468693999169655969354193782662332653045610\ 3725396/47800677091976372774636514930812355046392708171636317834614\ 993*c_0101_6^23 + 8208575582899581978910335113941553209164159358708\ 36751505690701/4780067709197637277463651493081235504639270817163631\ 7834614993*c_0101_6^22 + 360956431784367448819081609934758230594307\ 3352689625463807144010/47800677091976372774636514930812355046392708\ 171636317834614993*c_0101_6^21 - 1066194365577040051707866797637445\ 22088093715702471677320916141/4780067709197637277463651493081235504\ 6392708171636317834614993*c_0101_6^20 - 5378662218044541844762149163990086984801334420337540682793144151/47\ 800677091976372774636514930812355046392708171636317834614993*c_0101\ _6^19 + 24079842684545794636965496321358625996770459513077791643446\ 385340/478006770919763727746365149308123550463927081716363178346149\ 93*c_0101_6^18 - 58862507337222841562552427698960301953071535740553\ 54201142650300/4780067709197637277463651493081235504639270817163631\ 7834614993*c_0101_6^17 - 257204295536355889566585481070528775024230\ 052150076457955783085712/478006770919763727746365149308123550463927\ 08171636317834614993*c_0101_6^16 - 433733454916645381698723685654955488715584842167928823915351509929/\ 47800677091976372774636514930812355046392708171636317834614993*c_01\ 01_6^15 - 621414706857220324587561481952451644990822093106021417438\ 81355437/4780067709197637277463651493081235504639270817163631783461\ 4993*c_0101_6^14 + 564073639431202473828892772122091210797874343148\ 228631575422284372/478006770919763727746365149308123550463927081716\ 36317834614993*c_0101_6^13 + 69025902338334699238967001480591090868\ 4600876036671734509933097957/47800677091976372774636514930812355046\ 392708171636317834614993*c_0101_6^12 + 224180842486338507808693041428547873416252052853078836204356898066/\ 47800677091976372774636514930812355046392708171636317834614993*c_01\ 01_6^11 - 126509021334849959779537250260974378325095150926526563108\ 247055715/478006770919763727746365149308123550463927081716363178346\ 14993*c_0101_6^10 - 55352925058419225902116259436705063275982278333\ 038635074986944662/478006770919763727746365149308123550463927081716\ 36317834614993*c_0101_6^9 - 737509302813074248972536289298545026046\ 89156564556460285299773182/4780067709197637277463651493081235504639\ 2708171636317834614993*c_0101_6^8 - 231516144309573753188406476910454955886119593686425090250479587342/\ 47800677091976372774636514930812355046392708171636317834614993*c_01\ 01_6^7 - 1282843773112697564301916747559870774287863875940370316808\ 69466917/4780067709197637277463651493081235504639270817163631783461\ 4993*c_0101_6^6 + 5249221770003403683474536566263496966122199147968\ 7780175547140418/47800677091976372774636514930812355046392708171636\ 317834614993*c_0101_6^5 + 41442090830266783353650068219536711471164\ 640028889246062042579612/478006770919763727746365149308123550463927\ 08171636317834614993*c_0101_6^4 - 103656745299151309715216475405183\ 30372361787804506053552825921431/4780067709197637277463651493081235\ 5046392708171636317834614993*c_0101_6^3 - 5293830757087087433337021565679066932929468022979507848236981414/47\ 800677091976372774636514930812355046392708171636317834614993*c_0101\ _6^2 + 126646044760011663904774923175548359061509613932810256227550\ 6907/47800677091976372774636514930812355046392708171636317834614993\ *c_0101_6 - 8068313426736856275379478662301973179880027570793929724\ 4847940/47800677091976372774636514930812355046392708171636317834614\ 993, c_0101_6^25 + 7*c_0101_6^24 - 134*c_0101_6^23 - 542*c_0101_6^22 + 158*c_0101_6^21 + 777*c_0101_6^20 - 4046*c_0101_6^19 + 2143*c_0101_6^18 + 40337*c_0101_6^17 + 58846*c_0101_6^16 - 3171*c_0101_6^15 - 86883*c_0101_6^14 - 89159*c_0101_6^13 - 17154*c_0101_6^12 + 21736*c_0101_6^11 + 4153*c_0101_6^10 + 11795*c_0101_6^9 + 33191*c_0101_6^8 + 12773*c_0101_6^7 - 10010*c_0101_6^6 - 4251*c_0101_6^5 + 2153*c_0101_6^4 + 461*c_0101_6^3 - 224*c_0101_6^2 + 27*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB