Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 2193825467] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0136 geometric_solution 3.64057150 oriented_manifold CS_known -0.0000000000000003 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.636192474918 0.021757628765 2 0 2 0 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793792502359 0.031936505269 1 3 1 3 0132 0132 1023 1023 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 0 0 0.499188124409 0.137667927813 4 2 4 2 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.916809710370 3.838987532910 3 3 5 6 0132 3201 0132 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 -1 0 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.004122989207 0.504153161107 6 6 6 4 1230 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.999918195651 1.008292613506 5 5 4 5 1230 3012 0132 1302 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 -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.999918195651 1.008292613506 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], '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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], '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_1']), 'c_0011_6' : d['c_0011_5'], '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_0011_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_5']), '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_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 329996875420889208398099093254612028381213899682985644009866811191/\ 90332038810128419678423840136723800699467984737729546486969984*c_01\ 01_5^22 - 514364086166796575224860576753971281653953298402937329143\ 522227579/752766990084403497320198667806031672495566539481079554058\ 0832*c_0101_5^21 - 520273029088213478187664369498615805651152775495\ 7115634321953045081/45166019405064209839211920068361900349733992368\ 864773243484992*c_0101_5^20 - 1809152209366353596461852892570840996\ 7209673210449366766476317852055/22583009702532104919605960034180950\ 174866996184432386621742496*c_0101_5^19 + 1585988153525465496217599528103334798750947288629601170789869813319\ 89/45166019405064209839211920068361900349733992368864773243484992*c\ _0101_5^18 - 113347081868455269059872848209518867353387366298241749\ 521941088153173/301106796033761398928079467122412668998226615792431\ 82162323328*c_0101_5^17 + 16387013044785191340010198107198936279987\ 95804351654506467960547752031/9033203881012841967842384013672380069\ 9467984737729546486969984*c_0101_5^16 + 2102664083272362104511011541151514166587642278708526614375880749839\ 379/90332038810128419678423840136723800699467984737729546486969984*\ c_0101_5^15 - 59133327844617877927146256117174459051808111354677259\ 5608579088769789/30110679603376139892807946712241266899822661579243\ 182162323328*c_0101_5^14 + 9638792984242598207815294502042830635108\ 99135693350177376524917887673/7527669900844034973201986678060316724\ 955665394810795540580832*c_0101_5^13 - 1250469644525944086655435867884784277608560445644396551245573771261\ 1323/90332038810128419678423840136723800699467984737729546486969984\ *c_0101_5^12 - 2480030420660792213483842263830324646948020137610725\ 698292036773184141/903320388101284196784238401367238006994679847377\ 29546486969984*c_0101_5^11 + 87113443729326055753953926837617350717\ 19300834418164817399854048623445/4516601940506420983921192006836190\ 0349733992368864773243484992*c_0101_5^10 - 3992123889499185031513976749794414335808044256837877004649715032861\ 2149/90332038810128419678423840136723800699467984737729546486969984\ *c_0101_5^9 - 78132594336966264682218252875095012719130243857038919\ 1817896293491215/22583009702532104919605960034180950174866996184432\ 386621742496*c_0101_5^8 + 11026092427269647558957792533711930301727\ 23550126163930320121109819787/3763834950422017486600993339030158362\ 477832697405397770290416*c_0101_5^7 - 5093722330465980724045003036547573104400156488876258583292001791624\ 45/30110679603376139892807946712241266899822661579243182162323328*c\ _0101_5^6 - 4998593896080532786275118878636438616717326470487978142\ 182911612882311/903320388101284196784238401367238006994679847377295\ 46486969984*c_0101_5^5 + 133044433092963157941670172657739704630320\ 282872359501252659749134311/451660194050642098392119200683619003497\ 33992368864773243484992*c_0101_5^4 + 2172366888115518315291098535195828593466267137766497130717433846211\ 41/90332038810128419678423840136723800699467984737729546486969984*c\ _0101_5^3 + 2001769492883284248158481369733125071128235535340222021\ 4983776362489/90332038810128419678423840136723800699467984737729546\ 486969984*c_0101_5^2 + 17627410014082999584890262184348465041827006\ 7804592395065447751423/30110679603376139892807946712241266899822661\ 579243182162323328*c_0101_5 - 1163159955329927895964670257889338910\ 460873234266226035513648174209/903320388101284196784238401367238006\ 99467984737729546486969984, c_0011_0 - 1, c_0011_1 - 536822249229451133561920011972725694238072593574079963387015\ 1/7527669900844034973201986678060316724955665394810795540580832*c_0\ 101_5^22 + 25171962026429524135437472371857282838826741901128932045\ 042073/188191747521100874330049666951507918123891634870269888514520\ 8*c_0101_5^21 + 820507695095089771222931179753750639518991377014447\ 44275415673/3763834950422017486600993339030158362477832697405397770\ 290416*c_0101_5^20 + 2918928539177444735582640087337783924974703620\ 32383834437168423/1881917475211008743300496669515079181238916348702\ 698885145208*c_0101_5^19 - 2611539666636915099460790307038077959182\ 112431796493828510038981/376383495042201748660099333903015836247783\ 2697405397770290416*c_0101_5^18 + 578835412100997595460299056870632\ 5703678240804935683553330581711/75276699008440349732019866780603167\ 24955665394810795540580832*c_0101_5^17 - 26905961631113494197283954368921987255986372681034713806879776847/7\ 527669900844034973201986678060316724955665394810795540580832*c_0101\ _5^16 - 32848867347308676855829152162406149228843117417468528106605\ 707811/752766990084403497320198667806031672495566539481079554058083\ 2*c_0101_5^15 + 308558784938460352722335886512748732046706359284320\ 77627864490407/7527669900844034973201986678060316724955665394810795\ 540580832*c_0101_5^14 - 4731223370882856396148367217901520168128234\ 6358133602404069616515/18819174752110087433004966695150791812389163\ 48702698885145208*c_0101_5^13 + 21317409251928723084545375576340457\ 9658923724958008938738818092619/75276699008440349732019866780603167\ 24955665394810795540580832*c_0101_5^12 + 31422177981079464258412144084148183673864076015889358930247510493/7\ 527669900844034973201986678060316724955665394810795540580832*c_0101\ _5^11 - 14322305159564683524963247422529751768143936994757640067082\ 3958181/37638349504220174866009933390301583624778326974053977702904\ 16*c_0101_5^10 + 66342829293099114483197231244042383935791201923238\ 4653673377727205/75276699008440349732019866780603167249556653948107\ 95540580832*c_0101_5^9 + 476486569778029434075013459578982083837609\ 2306390677349872456327/18819174752110087433004966695150791812389163\ 48702698885145208*c_0101_5^8 - 547150867839249169869658088995317300\ 26915712374159943258185881709/9409587376055043716502483347575395906\ 19458174351349442572604*c_0101_5^7 + 44494394330825533665901587072506117708958147609005309046881837271/7\ 527669900844034973201986678060316724955665394810795540580832*c_0101\ _5^6 + 819537037051900088640540690396476994127250903114757278870595\ 33047/7527669900844034973201986678060316724955665394810795540580832\ *c_0101_5^5 - 38441622408044261254766522625193917627916749690744887\ 63095873575/3763834950422017486600993339030158362477832697405397770\ 290416*c_0101_5^4 - 34739449229591419288183598358351217493435713432\ 25216455041892453/7527669900844034973201986678060316724955665394810\ 795540580832*c_0101_5^3 - 20010008659388173924899245307703516646942\ 7972690957372511747625/75276699008440349732019866780603167249556653\ 94810795540580832*c_0101_5^2 + 199023627114667805449406904489614091\ 66991420178446809376943475/7527669900844034973201986678060316724955\ 665394810795540580832*c_0101_5 + 1921323982830296942995590678096977\ 2912192343246410539443350929/75276699008440349732019866780603167249\ 55665394810795540580832, c_0011_5 - 183932410161458954349595656745035262050894531639760154533643\ 9/7527669900844034973201986678060316724955665394810795540580832*c_0\ 101_5^22 + 85481538029073946131142084740283157056636246486463242424\ 22433/1881917475211008743300496669515079181238916348702698885145208\ *c_0101_5^21 + 3095672807503536951098046290231117741129896576476320\ 8683584185/37638349504220174866009933390301583624778326974053977702\ 90416*c_0101_5^20 + 10261133027400570096629638137102503231941010282\ 8568186166628695/18819174752110087433004966695150791812389163487026\ 98885145208*c_0101_5^19 - 86030598975020074752363269462108074167656\ 1791528951794717044101/37638349504220174866009933390301583624778326\ 97405397770290416*c_0101_5^18 + 16989847375958013900585360242661982\ 11364098024994538706999647871/7527669900844034973201986678060316724\ 955665394810795540580832*c_0101_5^17 - 8936194302328205130595136670654060044097452324448672586026424287/75\ 27669900844034973201986678060316724955665394810795540580832*c_0101_\ 5^16 - 127587069428954112439735842075481774735824061375247650798491\ 46707/7527669900844034973201986678060316724955665394810795540580832\ *c_0101_5^15 + 8438982072431288565591231365740094846896366655736418\ 149168752183/752766990084403497320198667806031672495566539481079554\ 0580832*c_0101_5^14 - 158992289425791190304592330803687226781953334\ 34520202040452271347/1881917475211008743300496669515079181238916348\ 702698885145208*c_0101_5^13 + 6230740056796648202237439236708633549\ 7213189476038146555140383739/75276699008440349732019866780603167249\ 55665394810795540580832*c_0101_5^12 + 20995876645673250724892306718228146527846584500430065172967312877/7\ 527669900844034973201986678060316724955665394810795540580832*c_0101\ _5^11 - 47643552596164840620517943885853483693083285626664091392181\ 581221/376383495042201748660099333903015836247783269740539777029041\ 6*c_0101_5^10 + 212241863149310914799646157557357920119447709349697\ 527903286631029/752766990084403497320198667806031672495566539481079\ 5540580832*c_0101_5^9 + 1043141980117188826869277943929802659654274\ 0335447061156187164487/18819174752110087433004966695150791812389163\ 48702698885145208*c_0101_5^8 - 179214328688816642804781647726295510\ 57066955350354423451412414745/9409587376055043716502483347575395906\ 19458174351349442572604*c_0101_5^7 - 5855399569167778181374203815161788472540399941767196601838910841/75\ 27669900844034973201986678060316724955665394810795540580832*c_0101_\ 5^6 + 2723889091784358667565425516975510005804302733706698591958668\ 1479/7527669900844034973201986678060316724955665394810795540580832*\ c_0101_5^5 + 328131672541627031305622697830433881566280489696550595\ 518196825/376383495042201748660099333903015836247783269740539777029\ 0416*c_0101_5^4 - 1117555132038683702102685898115182739854899727881\ 805865972468917/752766990084403497320198667806031672495566539481079\ 5540580832*c_0101_5^3 - 1453553035461686056252349601363532613278409\ 36764765147300932377/7527669900844034973201986678060316724955665394\ 810795540580832*c_0101_5^2 - 18830179181391630647218169047617570392\ 321839966096686154335933/752766990084403497320198667806031672495566\ 5394810795540580832*c_0101_5 + 552488068796216028307036980918269819\ 0272270739728518051824897/75276699008440349732019866780603167249556\ 65394810795540580832, c_0101_0 - 581490246238048408696363585834274946027117849539884643708517\ 3/7527669900844034973201986678060316724955665394810795540580832*c_0\ 101_5^22 + 27114028839209042957904123746675083053511250688794543792\ 281507/188191747521100874330049666951507918123891634870269888514520\ 8*c_0101_5^21 + 945218894775413110243249981556345187810150887776485\ 02956761915/3763834950422017486600993339030158362477832697405397770\ 290416*c_0101_5^20 + 3215327470112932413950326740103349088232626915\ 21784624849835589/1881917475211008743300496669515079181238916348702\ 698885145208*c_0101_5^19 - 2759884437385057724523614106142214792567\ 004840392572740072854431/376383495042201748660099333903015836247783\ 2697405397770290416*c_0101_5^18 + 571075060807407215074353794147349\ 7024739391126535014414328737165/75276699008440349732019866780603167\ 24955665394810795540580832*c_0101_5^17 - 28623660530331109145644194049764124298564732388449619964004781997/7\ 527669900844034973201986678060316724955665394810795540580832*c_0101\ _5^16 - 38510820293406486683931878670463474428495813483235857965903\ 147945/752766990084403497320198667806031672495566539481079554058083\ 2*c_0101_5^15 + 289691209940664929592765235358795254693206509437332\ 36478119914997/7527669900844034973201986678060316724955665394810795\ 540580832*c_0101_5^14 - 5064762222367477266862715136692215624874935\ 4608932712806449515849/18819174752110087433004966695150791812389163\ 48702698885145208*c_0101_5^13 + 20995393945709907864724792776048077\ 5757142126975658924386877841153/75276699008440349732019866780603167\ 24955665394810795540580832*c_0101_5^12 + 53050697511622755797379406037511146062564985878898444067823412919/7\ 527669900844034973201986678060316724955665394810795540580832*c_0101\ _5^11 - 15106063165588915527297430600839842507073411365837589949209\ 6588943/37638349504220174866009933390301583624778326974053977702904\ 16*c_0101_5^10 + 68790233532897864582746789830673407759931057216828\ 0810523473319279/75276699008440349732019866780603167249556653948107\ 95540580832*c_0101_5^9 + 221578114428594512493222613882616284025885\ 70287636983914378499269/1881917475211008743300496669515079181238916\ 348702698885145208*c_0101_5^8 - 56910638573088272210614811051381959\ 376678992727538664202078439851/940958737605504371650248334757539590\ 619458174351349442572604*c_0101_5^7 + 3033133916435688424561667351457707969255869885727691763980219685/75\ 27669900844034973201986678060316724955665394810795540580832*c_0101_\ 5^6 + 8354344708072347292347010176881552886791360299806788563549770\ 5125/7527669900844034973201986678060316724955665394810795540580832*\ c_0101_5^5 - 651135017296815355476016845138293272343887882196173986\ 0199989/37638349504220174866009933390301583624778326974053977702904\ 16*c_0101_5^4 - 290991150623786830749678526759385524127474765422104\ 8596037993135/75276699008440349732019866780603167249556653948107955\ 40580832*c_0101_5^3 - 506088303279244867741288897104231799143708518\ 010940154671374491/752766990084403497320198667806031672495566539481\ 0795540580832*c_0101_5^2 - 5631290241910504313030484404998703181245\ 0026265087450847711335/75276699008440349732019866780603167249556653\ 94810795540580832*c_0101_5 + 15676929691586070968262830939504773037\ 774858369805003112295795/752766990084403497320198667806031672495566\ 5394810795540580832, c_0101_1 - 668893816241071298693643857564336959784409372850641984808311\ /1881917475211008743300496669515079181238916348702698885145208*c_01\ 01_5^22 + 313983192888643596665220203776561998410297290414991670618\ 0929/470479368802752185825124167378769795309729087175674721286302*c\ _0101_5^21 + 100948305411627369718245528716549662844958703495184852\ 06812609/9409587376055043716502483347575395906194581743513494425726\ 04*c_0101_5^20 + 36300586120098905388087255135444305887037808081655\ 278324484399/470479368802752185825124167378769795309729087175674721\ 286302*c_0101_5^19 - 3267329949172847710430309952213960915572105241\ 35217080461824729/9409587376055043716502483347575395906194581743513\ 49442572604*c_0101_5^18 + 73584898674284403794291826365517066690251\ 3585039860716751095159/18819174752110087433004966695150791812389163\ 48702698885145208*c_0101_5^17 - 33732725841981862777483349954981234\ 42673333079962839966718994807/1881917475211008743300496669515079181\ 238916348702698885145208*c_0101_5^16 - 4020303524078782042997973421354366534931006691883647055351533403/18\ 81917475211008743300496669515079181238916348702698885145208*c_0101_\ 5^15 + 389319270487936396654314337941777991957422046454569690349792\ 4263/1881917475211008743300496669515079181238916348702698885145208*\ c_0101_5^14 - 59276594243314363577952263592821164187105734796878705\ 32235983609/4704793688027521858251241673787697953097290871756747212\ 86302*c_0101_5^13 + 27057793095964984971682951272200382220978856164\ 893726069414286371/188191747521100874330049666951507918123891634870\ 2698885145208*c_0101_5^12 + 314119783947764261562766776422064955945\ 9467781877140043138454109/18819174752110087433004966695150791812389\ 16348702698885145208*c_0101_5^11 - 17783048200133166201280718360688536477147960534230967946851815909/9\ 40958737605504371650248334757539590619458174351349442572604*c_0101_\ 5^10 + 834756920505379105613564086510681794297978597120715901487872\ 35533/1881917475211008743300496669515079181238916348702698885145208\ *c_0101_5^9 + 91281535289677347503579717904493653305259016871996637\ 562375391/470479368802752185825124167378769795309729087175674721286\ 302*c_0101_5^8 - 67254153214932813369834828720520439962908178214453\ 37582314480403/2352396844013760929125620836893848976548645435878373\ 60643151*c_0101_5^7 + 687247713584583323827906698196406490783066052\ 4058215121070148999/18819174752110087433004966695150791812389163487\ 02698885145208*c_0101_5^6 + 960355504685454370286708052546373549535\ 0663446602316942704160455/18819174752110087433004966695150791812389\ 16348702698885145208*c_0101_5^5 - 589847243454731153675279769579803\ 189725920702584480456905669587/940958737605504371650248334757539590\ 619458174351349442572604*c_0101_5^4 - 344579191790221736366051261619647107842053440329400810390183901/188\ 1917475211008743300496669515079181238916348702698885145208*c_0101_5\ ^3 - 27509986987841105748370896950027715752415162190713901646710673\ /1881917475211008743300496669515079181238916348702698885145208*c_01\ 01_5^2 + 4457507632456753854852157044371997914073635614365269586730\ 915/1881917475211008743300496669515079181238916348702698885145208*c\ _0101_5 + 327525140617029829388028302925305059637734302319072757641\ 2497/1881917475211008743300496669515079181238916348702698885145208, c_0101_3 + 164740901002542368712574883726600248878100781841610273854985\ /470479368802752185825124167378769795309729087175674721286302*c_010\ 1_5^22 - 1546166709650697697659695270014754439369477324999075364215\ 517/235239684401376092912562083689384897654864543587837360643151*c_\ 0101_5^21 - 2494970540304225328531864570987743357388478293852844155\ 752600/235239684401376092912562083689384897654864543587837360643151\ *c_0101_5^20 - 1788670173527388247458678254087375538088235487588641\ 0034923382/23523968440137609291256208368938489765486454358783736064\ 3151*c_0101_5^19 + 803930574627934108330531088396255605018748642844\ 76774087479147/2352396844013760929125620836893848976548645435878373\ 60643151*c_0101_5^18 - 18016375204359070183540172910539500917798131\ 2434553994865353025/47047936880275218582512416737876979530972908717\ 5674721286302*c_0101_5^17 + 829157232513206902824739588910003965769\ 094252219796953809164417/470479368802752185825124167378769795309729\ 087175674721286302*c_0101_5^16 + 9949388077607946189716992419707888\ 41274240530241650949495556743/4704793688027521858251241673787697953\ 09729087175674721286302*c_0101_5^15 - 957102101599367341303180938104881311116445240363560105819612753/470\ 479368802752185825124167378769795309729087175674721286302*c_0101_5^\ 14 + 29131057061912488719570790396303333951873307253837100411199712\ 39/235239684401376092912562083689384897654864543587837360643151*c_0\ 101_5^13 - 66320611842122701860294206478416285094355276333603676707\ 83070669/4704793688027521858251241673787697953097290871756747212863\ 02*c_0101_5^12 - 83690975906993302454465283484722597655464668483500\ 1349794331773/47047936880275218582512416737876979530972908717567472\ 1286302*c_0101_5^11 + 438303286426186426210514272047763961709523555\ 0054722999570636845/23523968440137609291256208368938489765486454358\ 7837360643151*c_0101_5^10 - 204854747754958190508647548067687153783\ 93613392886895671916327975/4704793688027521858251241673787697953097\ 29087175674721286302*c_0101_5^9 - 121540635587551256573879405484714\ 947335647478586106072378752609/235239684401376092912562083689384897\ 654864543587837360643151*c_0101_5^8 + 6664457884886302230897041469062504241490960660800345887239736427/23\ 5239684401376092912562083689384897654864543587837360643151*c_0101_5\ ^7 - 15483708825518438692522901178468585044546359902441322092261693\ 53/470479368802752185825124167378769795309729087175674721286302*c_0\ 101_5^6 - 243285066536278640796353081813055743430592168738680946764\ 2333917/47047936880275218582512416737876979530972908717567472128630\ 2*c_0101_5^5 + 1280865771161746969204858292728561298120396238447107\ 53761961420/2352396844013760929125620836893848976548645435878373606\ 43151*c_0101_5^4 + 916369389535403223090058951021150921153887554056\ 29716440853403/4704793688027521858251241673787697953097290871756747\ 21286302*c_0101_5^3 + 733051401467737169200401493189936799671649695\ 1918218876705913/47047936880275218582512416737876979530972908717567\ 4721286302*c_0101_5^2 - 4102844500726348569751186984599686198606752\ 43306456932416109/4704793688027521858251241673787697953097290871756\ 74721286302*c_0101_5 - 66039974502798892082721104297143497034105331\ 8105925608981183/47047936880275218582512416737876979530972908717567\ 4721286302, c_0101_5^23 - 19*c_0101_5^22 - 26*c_0101_5^21 - 210*c_0101_5^20 + 1026*c_0101_5^19 - 1315*c_0101_5^18 + 5272*c_0101_5^17 + 4902*c_0101_5^16 - 7252*c_0101_5^15 + 36651*c_0101_5^14 - 48265*c_0101_5^13 + 3744*c_0101_5^12 + 54963*c_0101_5^11 - 136605*c_0101_5^10 + 26385*c_0101_5^9 + 82804*c_0101_5^8 - 28377*c_0101_5^7 - 13642*c_0101_5^6 + 5289*c_0101_5^5 + 389*c_0101_5^4 - 134*c_0101_5^3 - 14*c_0101_5^2 - 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB