Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 3701293078] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1690 geometric_solution 5.40911134 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.621055013050 1.551227178938 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.050078747128 0.719054962123 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 0 0 0 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 -1 1 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.583215937277 0.243373447818 4 5 6 2 1230 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 -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.727849016742 1.314154692175 5 3 2 6 2310 3012 0132 0132 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 -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.727849016742 1.314154692175 5 3 4 5 3201 0132 3201 2310 0 0 0 0 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 -1 0 1 -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.699266200529 0.610674181500 6 6 4 3 1230 3012 0132 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.114391532012 0.691778365727 ==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_1100_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1100_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_1100_2'], 'c_1100_2' : d['c_1100_2'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_6, c_0101_1, c_0101_5, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 68723486290933272564296543148585873398610427806409264306959368/3086\ 643268722661696760634012681832702536506955131626298961114407*c_1100\ _2^21 + 96100257778000204433083190835686390947128450985410642638365\ 3331/30866432687226616967606340126818327025365069551316262989611144\ 07*c_1100_2^20 - 55228721465880537873720599245024400955394484391222\ 3768397701684/30866432687226616967606340126818327025365069551316262\ 98961114407*c_1100_2^19 - 31208956703377963490030682344165956119382\ 482273926364370722193071/308664326872266169676063401268183270253650\ 6955131626298961114407*c_1100_2^18 + 32602418896633057787479378387899299032861769065767816171959946795/3\ 086643268722661696760634012681832702536506955131626298961114407*c_1\ 100_2^17 + 45585142760722793530700911610895258668145620097084255647\ 5417609025/30866432687226616967606340126818327025365069551316262989\ 61114407*c_1100_2^16 - 52310376707470111718690970187825981777789170\ 9504534889211644676315/30866432687226616967606340126818327025365069\ 55131626298961114407*c_1100_2^15 - 4394452231662412776608072258041052731147833399810924651146844623861\ /3086643268722661696760634012681832702536506955131626298961114407*c\ _1100_2^14 + 399271707995318539033549899958280694657585355639358529\ 4228884696467/30866432687226616967606340126818327025365069551316262\ 98961114407*c_1100_2^13 + 35262437429245406344252949348675693106531\ 526530780892319039080140435/308664326872266169676063401268183270253\ 6506955131626298961114407*c_1100_2^12 + 2176175988530063309110888684477622050567536947762201069388153083313\ 9/3086643268722661696760634012681832702536506955131626298961114407*\ c_1100_2^11 - 81882098854808035278273395653835727785338845205669739\ 531008872849037/308664326872266169676063401268183270253650695513162\ 6298961114407*c_1100_2^10 - 958893845779561232053381774367461245995\ 21390105738127073477680010311/3086643268722661696760634012681832702\ 536506955131626298961114407*c_1100_2^9 + 7757867606682502221848702676100569125518494325789392851706854564419\ 6/3086643268722661696760634012681832702536506955131626298961114407*\ c_1100_2^8 + 128286910821626655087658395478173272384343005044418293\ 468024927392124/308664326872266169676063401268183270253650695513162\ 6298961114407*c_1100_2^7 - 3632942295216930065561492680220319933996\ 9489193054041844772093768665/30866432687226616967606340126818327025\ 36506955131626298961114407*c_1100_2^6 - 3460498190911010009015600361434597228783940231202533883749650527088\ /134201881248811378120027565768775334892891606744853317346135409*c_\ 1100_2^5 + 11305919011690218207452231673991414948732133407931660809\ 278931930875/308664326872266169676063401268183270253650695513162629\ 8961114407*c_1100_2^4 + 2664144449733609148296134178783539175843406\ 1532684594450321172373531/30866432687226616967606340126818327025365\ 06955131626298961114407*c_1100_2^3 - 1177444504497720514815703245199715347085402411491405644798583626922\ /3086643268722661696760634012681832702536506955131626298961114407*c\ _1100_2^2 - 4577394464076599068096303348659727718573929491699404862\ 714667977554/308664326872266169676063401268183270253650695513162629\ 8961114407*c_1100_2 - 780031780227198184353897363961437590608575974\ 793188258698540593394/308664326872266169676063401268183270253650695\ 5131626298961114407, c_0011_0 - 1, c_0011_1 - 308918662118676420865600987487041737473325790754/75616474012\ 9810423042058014430578477385665890652711*c_1100_2^21 + 2366630520647104470695071876102923663842263219826/75616474012981042\ 3042058014430578477385665890652711*c_1100_2^20 + 17954139335455071039991917873150528407164654967488/7561647401298104\ 23042058014430578477385665890652711*c_1100_2^19 - 90444590156853626349225902306814247776303485859345/7561647401298104\ 23042058014430578477385665890652711*c_1100_2^18 - 496228489178525814624766287794129096653992659157068/756164740129810\ 423042058014430578477385665890652711*c_1100_2^17 + 859040371652365723688815975900618918192195121116536/756164740129810\ 423042058014430578477385665890652711*c_1100_2^16 + 4252614294805771958502155368711709175315249241720080/75616474012981\ 0423042058014430578477385665890652711*c_1100_2^15 - 14716923872329192443451639848857365529562701254404688/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^14 - 66175048921667752936231522605772491963306014152007382/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^13 - 13196152177828418940250150188838884450482828227447840/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^12 + 211666772475007456049169173130317116474098521223810196/756164740129\ 810423042058014430578477385665890652711*c_1100_2^11 + 163452846534747753533625960752216582912893121746408387/756164740129\ 810423042058014430578477385665890652711*c_1100_2^10 - 318149189879833833546287160734177972737219748068109366/756164740129\ 810423042058014430578477385665890652711*c_1100_2^9 - 287208240048839969139269512440643910381999238023058491/756164740129\ 810423042058014430578477385665890652711*c_1100_2^8 + 321578222125747872139639919658591039199088905819534495/756164740129\ 810423042058014430578477385665890652711*c_1100_2^7 + 198023347156095133792978603207418236467830184982416042/756164740129\ 810423042058014430578477385665890652711*c_1100_2^6 - 10008630227975353963398379301797133722977399886696415/3287672783173\ 0887958350348453503412060246343071857*c_1100_2^5 - 30699064788638883562395437433515345810058887518126596/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^4 + 79558898404909625736697472752916172359536803424407669/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^3 - 17623550413300048562557174915251530935134048889229459/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^2 - 2399831756572793824049048809010744597158127822700835/75616474012981\ 0423042058014430578477385665890652711*c_1100_2 + 1844371826052386868667666157836192557813428125438455/75616474012981\ 0423042058014430578477385665890652711, c_0011_3 + 3719460622319464951173039027406119114507305395797/7561647401\ 29810423042058014430578477385665890652711*c_1100_2^21 - 38261931739460589304285016165313291172440193527317/7561647401298104\ 23042058014430578477385665890652711*c_1100_2^20 - 104284983620651887153614650117674211017306165945165/756164740129810\ 423042058014430578477385665890652711*c_1100_2^19 + 1234682648725454381929685415806975015118527651701542/75616474012981\ 0423042058014430578477385665890652711*c_1100_2^18 + 2534145013712733354676336038323739361809965323401304/75616474012981\ 0423042058014430578477385665890652711*c_1100_2^17 - 13034912400446618532931758912254061513978085733518209/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^16 - 12955308270543155373305371711695596300379111407107932/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^15 + 167833324002065556468264970434227963405168136588876332/756164740129\ 810423042058014430578477385665890652711*c_1100_2^14 + 357897574594879439901697669089829442611295489223657179/756164740129\ 810423042058014430578477385665890652711*c_1100_2^13 - 271506281426413762500688951720995683884128694854554317/756164740129\ 810423042058014430578477385665890652711*c_1100_2^12 - 1219893589975385979470138972594514853590038087008428040/75616474012\ 9810423042058014430578477385665890652711*c_1100_2^11 - 124960465641787129370835850753847342548328866025096528/756164740129\ 810423042058014430578477385665890652711*c_1100_2^10 + 1813811461172843067542694062253133112924505716698838735/75616474012\ 9810423042058014430578477385665890652711*c_1100_2^9 + 485882848910278181064023463358624483202521610153360147/756164740129\ 810423042058014430578477385665890652711*c_1100_2^8 - 1567187739737927793511819816281014124153524885025961142/75616474012\ 9810423042058014430578477385665890652711*c_1100_2^7 - 261171608091437571922115578569909022076781745896155600/756164740129\ 810423042058014430578477385665890652711*c_1100_2^6 + 36315007624825320061756755635510961108861088482217759/3287672783173\ 0887958350348453503412060246343071857*c_1100_2^5 - 25276830062648639005429417108333019606530325262320007/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^4 - 223253448002097700031125509949015420425852767800611214/756164740129\ 810423042058014430578477385665890652711*c_1100_2^3 + 44528760744846196292433870519814106361608590214632612/7561647401298\ 10423042058014430578477385665890652711*c_1100_2^2 + 11711371851246039569981098356135179201808614604157006/7561647401298\ 10423042058014430578477385665890652711*c_1100_2 - 4820277135449870914726766315387767191003309944727129/75616474012981\ 0423042058014430578477385665890652711, c_0011_6 - 15058232925707400001158944697438654753519918294648373374120/\ 7366690378813035075801035829789576855695720656638726250503853*c_110\ 0_2^21 + 1551750925096263915904483646292569498379129146812681482898\ 85/7366690378813035075801035829789576855695720656638726250503853*c_\ 1100_2^20 + 4198396739936257899034126539734888052492974660414279287\ 80953/7366690378813035075801035829789576855695720656638726250503853\ *c_1100_2^19 - 5010505561719706566346718076066820606300994338050770\ 231632816/736669037881303507580103582978957685569572065663872625050\ 3853*c_1100_2^18 - 101836189928891941928696095886615368524132265134\ 62683978112538/7366690378813035075801035829789576855695720656638726\ 250503853*c_1100_2^17 + 5309379634570804055394817101062337783641848\ 2883969452738042352/73666903788130350758010358297895768556957206566\ 38726250503853*c_1100_2^16 + 51865950839348657100321268704970873724\ 131293420385331329589125/736669037881303507580103582978957685569572\ 0656638726250503853*c_1100_2^15 - 681741016779454415726237512773360\ 828191217959590429123508657933/736669037881303507580103582978957685\ 5695720656638726250503853*c_1100_2^14 - 1438952151667358840321370975867997409404714521114551444984307161/73\ 66690378813035075801035829789576855695720656638726250503853*c_1100_\ 2^13 + 114364396172483596082167110551410650169153066503383278720440\ 9060/7366690378813035075801035829789576855695720656638726250503853*\ c_1100_2^12 + 49712178057447615480945936836669060365757371436150745\ 53343488354/7366690378813035075801035829789576855695720656638726250\ 503853*c_1100_2^11 + 4130269854960546073189948548558549471608052610\ 91231989725649512/7366690378813035075801035829789576855695720656638\ 726250503853*c_1100_2^10 - 7506113646550320530729114471827647465481\ 898313501365336773272012/736669037881303507580103582978957685569572\ 0656638726250503853*c_1100_2^9 - 1940982798947396540178362861924812\ 525972271969666211013675688942/736669037881303507580103582978957685\ 5695720656638726250503853*c_1100_2^8 + 6558911266117526115972242608972246455039338459291488172777179905/73\ 66690378813035075801035829789576855695720656638726250503853*c_1100_\ 2^7 + 1119467444772451171455522738589222229266178742046393219680185\ 474/7366690378813035075801035829789576855695720656638726250503853*c\ _1100_2^6 - 1535037924844632602347291884622904887043421927769060595\ 25235357/3202908860353493511217841665125902980737269850712489674132\ 11*c_1100_2^5 + 403656030049513322091721233416865179197806581394482\ 74617107233/7366690378813035075801035829789576855695720656638726250\ 503853*c_1100_2^4 + 98452875929640278615464121964729148209317925791\ 5590656613732561/73666903788130350758010358297895768556957206566387\ 26250503853*c_1100_2^3 - 164613446812430437234838607659109342666060\ 664731863014513748940/736669037881303507580103582978957685569572065\ 6638726250503853*c_1100_2^2 - 7277711622635776540254501771936941345\ 3698637719389927325524869/73666903788130350758010358297895768556957\ 20656638726250503853*c_1100_2 + 25278911514577347792539320352425420\ 616623680505691398864022556/736669037881303507580103582978957685569\ 5720656638726250503853, c_0101_1 + 61535655104812874812610643619211202787401925097682648901/924\ 3024314696405364869555620815027422453852768680961418449*c_1100_2^21 - 642525744593289244922760078549801571236954319416305246500/9243024\ 314696405364869555620815027422453852768680961418449*c_1100_2^20 - 1620923868537869380638066219357643343773336661843025140550/92430243\ 14696405364869555620815027422453852768680961418449*c_1100_2^19 + 20618352505994300338145254892735502024084771940179166812686/9243024\ 314696405364869555620815027422453852768680961418449*c_1100_2^18 + 38671166742393910678122178767646732293709277053141922849723/9243024\ 314696405364869555620815027422453852768680961418449*c_1100_2^17 - 219811306202834199647570718858937495137858058027739225095231/924302\ 4314696405364869555620815027422453852768680961418449*c_1100_2^16 - 179222794361936565665090728126863147718612092488572623448024/924302\ 4314696405364869555620815027422453852768680961418449*c_1100_2^15 + 2783746277767051443248697533615480527591648251469641882706360/92430\ 24314696405364869555620815027422453852768680961418449*c_1100_2^14 + 5498182572850576665409670545126148837907401623166451604589535/92430\ 24314696405364869555620815027422453852768680961418449*c_1100_2^13 - 5109122136661310319628225353147552712945082899962523521083080/92430\ 24314696405364869555620815027422453852768680961418449*c_1100_2^12 - 19203573770650144207060491500633568682143514056167935010542705/9243\ 024314696405364869555620815027422453852768680961418449*c_1100_2^11 + 106842150026261103897702979164591765949457477937229561016527/924302\ 4314696405364869555620815027422453852768680961418449*c_1100_2^10 + 29019355185886003387157806043384673375895385192393875129794531/9243\ 024314696405364869555620815027422453852768680961418449*c_1100_2^9 + 4839481381251152341739048472152535164175688289945147804436323/92430\ 24314696405364869555620815027422453852768680961418449*c_1100_2^8 - 24973410851138968925077615143831023918390426899104663073131906/9243\ 024314696405364869555620815027422453852768680961418449*c_1100_2^7 - 1924876583722179403714828598193404033791649513732020063905196/92430\ 24314696405364869555620815027422453852768680961418449*c_1100_2^6 + 557491487589634152746368746997195249993535366056614587466604/401870\ 622378104581081285026991957714019732729073085279063*c_1100_2^5 - 1160486462671584927710609812741173164555022373158337023936754/92430\ 24314696405364869555620815027422453852768680961418449*c_1100_2^4 - 3197751187248283461002458283018570661381953255924017422883164/92430\ 24314696405364869555620815027422453852768680961418449*c_1100_2^3 + 722881692904823762908616800325629722055838076202085407380504/924302\ 4314696405364869555620815027422453852768680961418449*c_1100_2^2 + 160070222761262307587371311530647505986792742946417680870427/924302\ 4314696405364869555620815027422453852768680961418449*c_1100_2 - 71233867632226993264623206906242833702182413930398511876518/9243024\ 314696405364869555620815027422453852768680961418449, c_0101_5 - 19427258288782842787821924194927165565471338531216487132131/\ 7366690378813035075801035829789576855695720656638726250503853*c_110\ 0_2^21 + 2014288434043310020989162206394091758673742889807003393389\ 27/7366690378813035075801035829789576855695720656638726250503853*c_\ 1100_2^20 + 5245527285833140281615788585803352429657237883360253312\ 82905/7366690378813035075801035829789576855695720656638726250503853\ *c_1100_2^19 - 6450598257291795705007502890863072099412741210723786\ 533190403/736669037881303507580103582978957685569572065663872625050\ 3853*c_1100_2^18 - 126362120745038430350507092796973473841187010336\ 91186174554691/7366690378813035075801035829789576855695720656638726\ 250503853*c_1100_2^17 + 6784784224209339591429482947562446422411804\ 1325209005084787294/73666903788130350758010358297895768556957206566\ 38726250503853*c_1100_2^16 + 60504426683575074617646382730166673222\ 568481434036987600808369/736669037881303507580103582978957685569572\ 0656638726250503853*c_1100_2^15 - 868229344845229940925994652447169\ 466336962785126640661402065274/736669037881303507580103582978957685\ 5695720656638726250503853*c_1100_2^14 - 1796137008618801192458878238250119206223439959482625930971143221/73\ 66690378813035075801035829789576855695720656638726250503853*c_1100_\ 2^13 + 140280088569737310133938835613172404462585527084426489593812\ 8651/7366690378813035075801035829789576855695720656638726250503853*\ c_1100_2^12 + 60110636211118068038102162680176154953827800594371568\ 01818453761/7366690378813035075801035829789576855695720656638726250\ 503853*c_1100_2^11 + 4839738019568426427163383021719170047443200987\ 70109785744358283/7366690378813035075801035829789576855695720656638\ 726250503853*c_1100_2^10 - 8735805283549309999717793405876054807068\ 780848752512480878884511/736669037881303507580103582978957685569572\ 0656638726250503853*c_1100_2^9 - 2084161206367240188656610653041313\ 637998650442933292241295348518/736669037881303507580103582978957685\ 5695720656638726250503853*c_1100_2^8 + 7358737959995213992634943173015137579072969651338529789037104419/73\ 66690378813035075801035829789576855695720656638726250503853*c_1100_\ 2^7 + 1049877295438168263802259271795752868201227036975711879623994\ 886/7366690378813035075801035829789576855695720656638726250503853*c\ _1100_2^6 - 1654612141640035459215145125448937127035113877432774831\ 45052459/3202908860353493511217841665125902980737269850712489674132\ 11*c_1100_2^5 + 117712936136801658135246954979365920702749839577989\ 337559997595/736669037881303507580103582978957685569572065663872625\ 0503853*c_1100_2^4 + 1002059059577988120961940233248712941387677674\ 836711491213064803/736669037881303507580103582978957685569572065663\ 8726250503853*c_1100_2^3 - 1835506371135087995670132557150496568560\ 59671630853305501034364/7366690378813035075801035829789576855695720\ 656638726250503853*c_1100_2^2 - 67837259338982840105281004808386751\ 993725520577331014001046816/736669037881303507580103582978957685569\ 5720656638726250503853*c_1100_2 + 266750330652552571537059954192802\ 83984819745573401258101851056/7366690378813035075801035829789576855\ 695720656638726250503853, c_1100_2^22 - 10*c_1100_2^21 - 31*c_1100_2^20 + 324*c_1100_2^19 + 777*c_1100_2^18 - 3312*c_1100_2^17 - 4500*c_1100_2^16 + 44148*c_1100_2^15 + 109245*c_1100_2^14 - 45784*c_1100_2^13 - 350472*c_1100_2^12 - 128640*c_1100_2^11 + 480996*c_1100_2^10 + 274623*c_1100_2^9 - 385645*c_1100_2^8 - 195607*c_1100_2^7 + 205155*c_1100_2^6 + 60281*c_1100_2^5 - 62500*c_1100_2^4 - 6036*c_1100_2^3 + 6941*c_1100_2^2 - 416*c_1100_2 - 419 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB