Magma V2.19-8 Tue Aug 20 2013 23:38:56 on localhost [Seed = 2985809363] Type ? for help. Type -D to quit. Loading file "K12n338__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n338 geometric_solution 9.88579014 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 3012 0132 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 -16 -1 17 -16 0 0 16 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.301877232449 1.173213293830 0 0 5 4 0132 1230 0132 0132 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 0 0 16 0 0 -16 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374568600635 0.629472181888 6 0 7 6 0132 0132 0132 2031 0 0 0 0 0 -1 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 16 -16 0 17 0 0 -17 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.014886353351 1.252270957052 8 9 0 7 0132 0132 0132 3012 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 0 0 0 0 0 0 0 17 -17 0 0 0 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523600295065 0.497902800471 6 8 1 10 2031 3120 0132 0132 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 17 0 -17 0 0 16 -16 -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.130597122878 1.784786214987 10 7 9 1 1230 0132 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.033798065110 0.870203140569 2 2 4 8 0132 1302 1302 3012 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 17 0 -17 -17 0 1 16 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.990508598616 0.798436394308 9 5 3 2 0132 0132 1230 0132 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 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636039863795 0.656757047016 3 4 6 10 0132 3120 1230 1230 0 0 0 0 0 0 1 -1 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 -16 16 0 0 0 0 0 0 0 0 0 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.037499767634 0.971523589300 7 3 10 5 0132 0132 0132 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 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653844409591 0.679774114949 8 5 4 9 3012 3012 0132 0132 0 0 0 0 0 0 -1 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 0 0 17 -17 -16 0 16 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.374544613087 0.466892041910 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_5']), 'c_1001_8' : negation(d['c_0101_0']), 'c_1010_10' : negation(d['c_0101_5']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_4']), '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_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : d['c_0101_0'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0101_8'], 'c_1100_10' : d['c_1100_1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_4']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_2'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_10'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_8, c_1001_1, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 2241908252128139670377212732362116524962831942432215789418113307327\ 62206/2396695105440905656907780162977438317354083493588416752224124\ 730215563*c_1100_1^20 + 1447209698026002490274116378104880461403512\ 18383219435888540825097493402/7988983684803018856359267209924794391\ 18027831196138917408041576738521*c_1100_1^19 - 3110307534844821042304153168507574130649515351522705098727221142118\ 066508/239669510544090565690778016297743831735408349358841675222412\ 4730215563*c_1100_1^18 - 524320714090132956441353161149540462886784\ 2250809441074003916511580891169/23966951054409056569077801629774383\ 17354083493588416752224124730215563*c_1100_1^17 - 4692709122854200873783402622324905160678620532765583390934482366437\ 752886/239669510544090565690778016297743831735408349358841675222412\ 4730215563*c_1100_1^16 - 956462619536863762001509259311299555181593\ 435952127971466746883970895097/392900836957525517525865600488104642\ 18919401534236340200395487380583*c_1100_1^15 - 7452891039772588241207485304552237794396052940661639073184410229339\ 9782951/23966951054409056569077801629774383173540834935884167522241\ 24730215563*c_1100_1^14 - 15371138105530717713202437146714354850259\ 5685089978936829494536258485189709/23966951054409056569077801629774\ 38317354083493588416752224124730215563*c_1100_1^13 - 8988087222447122829483865271426440875050971030338715807534162429744\ 83433927/4793390210881811313815560325954876634708166987176833504448\ 249460431126*c_1100_1^12 - 2355418983796400850427007041778862190468\ 127829057597357783840587566515565235/958678042176362262763112065190\ 9753269416333974353667008896498920862252*c_1100_1^11 - 4273149885061645444532528307871596638999425970407072325501655069731\ 246668051/958678042176362262763112065190975326941633397435366700889\ 6498920862252*c_1100_1^10 - 728788983314039124835630895092525675221\ 6077631444962384321681133154654707547/95867804217636226276311206519\ 09753269416333974353667008896498920862252*c_1100_1^9 - 2991729708000610400282085735195704963875429863535014359971126124360\ 525698165/319559347392120754254370688396991775647211132478455566963\ 2166306954084*c_1100_1^8 - 6201968574613939485233184649562328191346\ 876113014169816434158768102871339033/479339021088181131381556032595\ 4876634708166987176833504448249460431126*c_1100_1^7 - 1453400758929713420216146592424306414451538489211159341306033328767\ 1814632527/95867804217636226276311206519097532694163339743536670088\ 96498920862252*c_1100_1^6 - 131409384708373723416621161211192011996\ 24490554666213824359453608429579553143/9586780421763622627631120651\ 909753269416333974353667008896498920862252*c_1100_1^5 - 5794898211901585841624174206597903816526613629435629571418024927614\ 16335739/5325989123202012570906178139949862927453518874640926116053\ 61051159014*c_1100_1^4 - 138609660020973471264537044343331813522163\ 6889206160381677778114477630805691/23966951054409056569077801629774\ 38317354083493588416752224124730215563*c_1100_1^3 - 2905608549563552515205296244000583775434064625711006737873469723371\ 75106986/2396695105440905656907780162977438317354083493588416752224\ 124730215563*c_1100_1^2 - 53450090937500255851547631593354671206497\ 540734830270641063414647022247677/319559347392120754254370688396991\ 7756472111324784555669632166306954084*c_1100_1 - 1204762720723633576278758518856840569578802105935768111373634941037\ 905366/239669510544090565690778016297743831735408349358841675222412\ 4730215563, c_0011_0 - 1, c_0011_10 - 253392826693648338200972255703494483188963729727744/2531037\ 919679161064542241225905032087340728214272549*c_1100_1^20 + 518228227238983827947660294009740656841994999415664/253103791967916\ 1064542241225905032087340728214272549*c_1100_1^19 - 3567995794152420854849527967995614688019511904403624/25310379196791\ 61064542241225905032087340728214272549*c_1100_1^18 - 5548677665664743511991614297457231055682273243588344/25310379196791\ 61064542241225905032087340728214272549*c_1100_1^17 - 1547885486496579514448222860876166610243133461783424/84367930655972\ 0354847413741968344029113576071424183*c_1100_1^16 - 357341184309994630874977351779718692643322154666724/138308083042577\ 10735203503966694164411697968384003*c_1100_1^15 - 25701818423820034786175414786603156176029514059123528/8436793065597\ 20354847413741968344029113576071424183*c_1100_1^14 - 54813729729687310056911782627835121862980742202989096/8436793065597\ 20354847413741968344029113576071424183*c_1100_1^13 - 163180510277088006209904759676520885668483363227089300/843679306559\ 720354847413741968344029113576071424183*c_1100_1^12 - 203487646882794691022373411333282148693594522060783380/843679306559\ 720354847413741968344029113576071424183*c_1100_1^11 - 1135419585886264944560792961378028009946679608791683316/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^10 - 1930898409110216493066882882457927535381419522587747773/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^9 - 2313651362012486625011246890991044330983335853488253437/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^8 - 3234545596774200304629288261100825410283421984827996136/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^7 - 3734648750068409514384513306050109445258937240340851392/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^6 - 3274508127545285769309590026882182777411229758783385607/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^5 - 853357373074789310402964037177317050558965182882717084/843679306559\ 720354847413741968344029113576071424183*c_1100_1^4 - 1261020518133707247612731783920990255563631397979432091/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^3 - 56866157347235799851590040853199411040066908540648320/8436793065597\ 20354847413741968344029113576071424183*c_1100_1^2 - 21067719585828132707213558781058806624901691466827992/2531037919679\ 161064542241225905032087340728214272549*c_1100_1 + 4103776023880761860485525135556266751238124216062998/25310379196791\ 61064542241225905032087340728214272549, c_0011_3 + 210724248813252819944400020900281294707051877896928/75931137\ 59037483193626723677715096262022184642817647*c_1100_1^20 - 38398086285678953836589532330297647968389367582144/8436793065597203\ 54847413741968344029113576071424183*c_1100_1^19 + 2794692080433698091213105607248518202940972183846568/75931137590374\ 83193626723677715096262022184642817647*c_1100_1^18 + 5805677920457721997273562920729828132247739810785512/75931137590374\ 83193626723677715096262022184642817647*c_1100_1^17 + 5779437521131172775647421122814214515546649161471032/75931137590374\ 83193626723677715096262022184642817647*c_1100_1^16 + 916205186395250832314050555658619062117130498110996/124477274738319\ 396616831535700247479705281715456027*c_1100_1^15 + 86125781925095078502969338302319458753379460340758224/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^14 + 163218505913183671065342746051806534970504658087309560/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^13 + 461550170366081442846026519090060497229444516042427212/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^12 + 673151862556411703363738914990772871675835403394452936/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^11 + 1150662563226127930999858513699649163072411514959616750/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^10 + 1983528816380926129768649884530926030703033316953966781/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^9 + 858712501269403350404234662341073140887042488802909609/253103791967\ 9161064542241225905032087340728214272549*c_1100_1^8 + 3464827926359759356845675170943754133413713160825449320/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^7 + 4181984925787973472538378583415414733119848286709502732/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^6 + 3979403044742825650135645665411623549435643094032447398/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^5 + 356881367267923934853825780366338417164136237070711941/843679306559\ 720354847413741968344029113576071424183*c_1100_1^4 + 1888599084986383191223037665688189613221117148202063322/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^3 + 558413093192532490669557999005346905279831268004535434/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^2 + 19290540813378549470398105655248876190483014217725210/2531037919679\ 161064542241225905032087340728214272549*c_1100_1 + 2886415761537597800788224195492087488986689495275119/75931137590374\ 83193626723677715096262022184642817647, c_0011_4 - 97001749048993921880020495286648930034948639489512/253103791\ 9679161064542241225905032087340728214272549*c_1100_1^20 + 175349849312474128776084937985839553330555725251904/253103791967916\ 1064542241225905032087340728214272549*c_1100_1^19 - 1322288172600110330868199664856887306731680137252744/25310379196791\ 61064542241225905032087340728214272549*c_1100_1^18 - 2436246237995821804169602707645706510288017810110636/25310379196791\ 61064542241225905032087340728214272549*c_1100_1^17 - 782199592512119618943141994608411998952918520489788/843679306559720\ 354847413741968344029113576071424183*c_1100_1^16 - 139063377651506847418486287437135643942214615161796/138308083042577\ 10735203503966694164411697968384003*c_1100_1^15 - 11832226852283027066928993966332509051765320875458336/8436793065597\ 20354847413741968344029113576071424183*c_1100_1^14 - 23602098700909237407782190307971751997812818561492920/8436793065597\ 20354847413741968344029113576071424183*c_1100_1^13 - 67404081769647115464015556941956004658462008099591654/8436793065597\ 20354847413741968344029113576071424183*c_1100_1^12 - 93368460055048461873834343795488155706985757510096601/8436793065597\ 20354847413741968344029113576071424183*c_1100_1^11 - 494142433436631820106671124334539995821147571835722678/253103791967\ 9161064542241225905032087340728214272549*c_1100_1^10 - 844095585832573395629103024341267953454077622184851414/253103791967\ 9161064542241225905032087340728214272549*c_1100_1^9 - 1071474989309563703220638407066512910554471569152266536/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^8 - 1459046404657105551278757938027812194201675943756337585/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^7 - 1734337989824988136793377087198907570286860202906809002/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^6 - 1614334653195819204569095220840553353572495643563150253/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^5 - 430499190831100801048868071146428172456481343389602002/843679306559\ 720354847413741968344029113576071424183*c_1100_1^4 - 727057293258971785481422970458998014549605920031394413/253103791967\ 9161064542241225905032087340728214272549*c_1100_1^3 - 62885048851455890028496760392355956868325812979694336/8436793065597\ 20354847413741968344029113576071424183*c_1100_1^2 - 21475518827099297436566053443896545766190001756842814/2531037919679\ 161064542241225905032087340728214272549*c_1100_1 - 1149724516562312862956075775486580791933247306819873/25310379196791\ 61064542241225905032087340728214272549, c_0101_0 - 480722480097716778852663759075357522076140027526064/75931137\ 59037483193626723677715096262022184642817647*c_1100_1^20 + 321479702639138557616298765418206534281597119051328/253103791967916\ 1064542241225905032087340728214272549*c_1100_1^19 - 6733771423617565516222646864670970590345273610298872/75931137590374\ 83193626723677715096262022184642817647*c_1100_1^18 - 10781037783754678086808184853690347920942627971323384/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^17 - 9268205603426014554298184098164551164961311822989736/75931137590374\ 83193626723677715096262022184642817647*c_1100_1^16 - 2039841864959871720291886060731152228198146036063132/12447727473831\ 9396616831535700247479705281715456027*c_1100_1^15 - 151095916731204404261600386172734961390042096933712772/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^14 - 318428945041233373713318432625511563971930920288669608/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^13 - 940943121460757014055946245969617358903316833146294108/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^12 - 1195586343131128745493762230225083101504519650995025890/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^11 - 2203168426871146499227990570503871962536069995957212962/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^10 - 3747968987250098161825465769256557984062684875445433327/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^9 - 1513777239241037002586456582937062132379380214338861102/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^8 - 6315265578347815065312846211537577169258594986630325109/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^7 - 7331324480950549754659353187641931725930497900741564743/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^6 - 6509327249415785916032473451592571789067348907101705371/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^5 - 566832527108432579055286733686322868021294544854682486/843679306559\ 720354847413741968344029113576071424183*c_1100_1^4 - 2592598153489950216990882381719410777963159738580826952/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^3 - 420941582932844689787616847726092702143909091408711404/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^2 - 14865582811430592058249951184633405158144274669312980/2531037919679\ 161064542241225905032087340728214272549*c_1100_1 + 117743878775218553113067491056589364575078045541152/759311375903748\ 3193626723677715096262022184642817647, c_0101_2 - 2080895888025847089504785880207697967333706057089656/7593113\ 759037483193626723677715096262022184642817647*c_1100_1^20 + 1398208747539309781349399497284517789240674702448376/25310379196791\ 61064542241225905032087340728214272549*c_1100_1^19 - 29209003152928864279857909836523106581848394781798640/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^18 - 46334532796059306996465343263606656703237046658668588/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^17 - 40000153729038856712674303489324435818809809603659944/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^16 - 8827735038675926692599661570592180776078642250975660/12447727473831\ 9396616831535700247479705281715456027*c_1100_1^15 - 649183981704425074731618282384455932304078610609420392/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^14 - 1377256620307074731506684010381388820395133180176896948/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^13 - 4063606229342362575355345796842629081486885985532555666/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^12 - 5147985842384323831530845111689721492586136349888618555/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^11 - 9521188721832874857945283096157890032797427558823565029/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^10 - 16168679901493398147213627490877282280720918512380758589/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^9 - 2175035068202899504596904288334949476380429896140002342/84367930655\ 9720354847413741968344029113576071424183*c_1100_1^8 - 27279073564633876357710662772819433940413459005439624619/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^7 - 31611458560364184146652858355874623295343400893353924678/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^6 - 28069512250603493333869913657517994702243662955424629208/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^5 - 2451161927668184040915415011001683807873040344023992718/84367930655\ 9720354847413741968344029113576071424183*c_1100_1^4 - 11181768253026081410628943589528429005492394612479535147/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^3 - 1865180629844940325559744872966380160879021573502345095/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^2 - 26215616384314817757158759640465085809067318085168263/8436793065597\ 20354847413741968344029113576071424183*c_1100_1 + 9267628618388788147684820539775694689894959521618122/75931137590374\ 83193626723677715096262022184642817647, c_0101_5 + 1694778129498645425622970117309064499458071924807096/7593113\ 759037483193626723677715096262022184642817647*c_1100_1^20 - 1132097042820954753981024976747177758971162680095152/25310379196791\ 61064542241225905032087340728214272549*c_1100_1^19 + 23752035875764320792166399386976208634295347938583152/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^18 + 38011955526328919032205686738664702974093884337464748/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^17 + 33067720457535005411675490034467658252642551908215364/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^16 + 7197198925685698402201376442937401806049163746128216/12447727473831\ 9396616831535700247479705281715456027*c_1100_1^15 + 534008394121769076741885787458860885853457548189256160/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^14 + 1128669155013761437427648198997874513379306956307909660/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^13 + 3324031699860817767127040825871918327452546599933727630/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^12 + 4234160750647964337077258292653929142063062571810487713/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^11 + 7809295885499884972721832068889543843140573368326885094/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^10 + 13269798889312340776386320906527006728047115224651207893/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^9 + 1790202314026718665746148989044025900205039506203049353/84367930655\ 9720354847413741968344029113576071424183*c_1100_1^8 + 22427671773104838805878956515714830641663862552225704906/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^7 + 26040841709647217774239361395443411527020789447239813212/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^6 + 23198570498931052276154417626964224230123389943017481854/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^5 + 2031026489304470494873323622453292155099125672123995600/84367930655\ 9720354847413741968344029113576071424183*c_1100_1^4 + 9357175270268197731028180919664461404733044043867946329/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^3 + 1643235201073855302745481567554734490880633810947605856/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^2 + 24112061650401029434308768611150524419557584450477522/8436793065597\ 20354847413741968344029113576071424183*c_1100_1 - 8124526185558334896621951104486132246114058483415829/75931137590374\ 83193626723677715096262022184642817647, c_0101_8 + 2830385841478100847033898428128544577244933050779568/7593113\ 759037483193626723677715096262022184642817647*c_1100_1^20 - 639006657160768840775991936375777687859292480188464/843679306559720\ 354847413741968344029113576071424183*c_1100_1^19 + 39827328393738338836505522013279766237624259933953688/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^18 + 62369287612712357494709966897892061442211833836320568/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^17 + 53479796353691052076633221599681592548659248151596728/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^16 + 11994698276680094079709124798633503122666959054602652/1244772747383\ 19396616831535700247479705281715456027*c_1100_1^15 + 871306505870621815610612354535732973465511184992253452/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^14 + 1860653559816988885287836272524332361017216273430118124/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^13 + 5498574682476460141984689474651741117406938612245938628/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^12 + 6917026759581230460744842335653282394968041638384899998/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^11 + 12849256184525286160005132513149335549987289933824791700/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^10 + 21796826075951188328853243972340616935026630669264986659/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^9 + 8766239254516698441195979201487138970232141303044725630/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^8 + 36721243561057959298214702742824660237324531572804160960/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^7 + 42452524646522017734403074443937472143268999979708401124/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^6 + 37565937535141796182673559574046218043979002778107282159/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^5 + 3275669595423580295039001949204878970724446730946252298/84367930655\ 9720354847413741968344029113576071424183*c_1100_1^4 + 14806862256409255945824690540876122602387037948135406239/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^3 + 2360887249565457093295861329345680891544878599375605988/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^2 + 106176951352566692769831701595751582223498437764842707/253103791967\ 9161064542241225905032087340728214272549*c_1100_1 - 10831812274039978799818431781936699876035096674331110/7593113759037\ 483193626723677715096262022184642817647, c_1001_1 - 477513598302825283527589572470254531867330463464064/75931137\ 59037483193626723677715096262022184642817647*c_1100_1^20 + 329563248475441340624162907685611228880467740346832/253103791967916\ 1064542241225905032087340728214272549*c_1100_1^19 - 6756551141002518923406978058247749282830641437321960/75931137590374\ 83193626723677715096262022184642817647*c_1100_1^18 - 10270525592744849089918593123896376483054694100416856/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^17 - 8597183281932050114158730248069788080756686927141960/75931137590374\ 83193626723677715096262022184642817647*c_1100_1^16 - 2019565497056055233145432099084297824025497942131516/12447727473831\ 9396616831535700247479705281715456027*c_1100_1^15 - 142359779865043592659706109964381224609933069012545272/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^14 - 308255537042858912881364458278282494623808388146834284/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^13 - 917222588091373993951041015002505711907426863534154768/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^12 - 1132670725789164989391934001988151880433519416390029732/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^11 - 2125813279247611934820451387687581642775692546788290820/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^10 - 3604517375570480749158926077575799322189203842921757589/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^9 - 478443052044201764208656338484867394072519823860432471/843679306559\ 720354847413741968344029113576071424183*c_1100_1^8 - 6044308001329235860610558069858365504778924874484347667/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^7 - 6958957786791829018070881572821212712569931241429494914/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^6 - 6097152371176278640741035573044757759278527275591769738/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^5 - 531211077190912568744293055521979593607519618179747959/843679306559\ 720354847413741968344029113576071424183*c_1100_1^4 - 2356065463676776548857172359884106467853045914706110342/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^3 - 335540751200381456950244355673769314321109884726071974/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^2 - 6683046642649956170053741676585385910200167890273724/84367930655972\ 0354847413741968344029113576071424183*c_1100_1 + 10905589317409556680838845380274972705201105200092152/7593113759037\ 483193626723677715096262022184642817647, c_1001_2 + 1244222936526965840298069521601687712667604228299432/7593113\ 759037483193626723677715096262022184642817647*c_1100_1^20 - 825268564963259515270202673548204818081195801437944/253103791967916\ 1064542241225905032087340728214272549*c_1100_1^19 + 17411696663905426022547105585983250405576251851799728/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^18 + 28130629796953231155668346740737626534050118679944740/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^17 + 24806819365320935356015300293674350763738597652205408/7593113759037\ 483193626723677715096262022184642817647*c_1100_1^16 + 5292201879776703192638238201903250874447036217011404/12447727473831\ 9396616831535700247479705281715456027*c_1100_1^15 + 396657605858949826779001073622180618234825473902676104/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^14 + 836489042447304929891822240048157199609055939576011612/759311375903\ 7483193626723677715096262022184642817647*c_1100_1^13 + 2454077425407312883114707659957163909520125410184235270/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^12 + 3147432130274486281724972173985329782218038422751865533/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^11 + 5793042447463905779256236371312690909501639972619128973/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^10 + 9838437026105201465767849151156433319554045925921874675/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^9 + 3998876740012099100068641714192842177892713558123753852/25310379196\ 79161064542241225905032087340728214272549*c_1100_1^8 + 16688589447966284831873347854894699559372882841073946531/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^7 + 19405425258939420649260998023264052414479975539479635228/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^6 + 17382767463485396268402251101201367376913580623461435526/7593113759\ 037483193626723677715096262022184642817647*c_1100_1^5 + 1528244374386042798976826021917222485116011106359596878/84367930655\ 9720354847413741968344029113576071424183*c_1100_1^4 + 7121712242229988884440719182728612738482003718739531541/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^3 + 1349703141724557221339703411086430337715569173364530509/75931137590\ 37483193626723677715096262022184642817647*c_1100_1^2 + 64782707385633935790531035288093307484946483153522785/2531037919679\ 161064542241225905032087340728214272549*c_1100_1 - 7216404825333826745993551441588847209477257855798550/75931137590374\ 83193626723677715096262022184642817647, c_1100_1^21 - 2*c_1100_1^20 + 14*c_1100_1^19 + 45/2*c_1100_1^18 + 39/2*c_1100_1^17 + 259*c_1100_1^16 + 316*c_1100_1^15 + 1331/2*c_1100_1^14 + 7849/4*c_1100_1^13 + 20015/8*c_1100_1^12 + 18423/4*c_1100_1^11 + 62671/8*c_1100_1^10 + 76079/8*c_1100_1^9 + 13226*c_1100_1^8 + 61459/4*c_1100_1^7 + 54697/4*c_1100_1^6 + 21517/2*c_1100_1^5 + 43957/8*c_1100_1^4 + 3771/4*c_1100_1^3 + 929/8*c_1100_1^2 - 25/8*c_1100_1 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.510 Total time: 0.710 seconds, Total memory usage: 32.09MB