Magma V2.19-8 Tue Aug 20 2013 23:56:15 on localhost [Seed = 104885804] Type ? for help. Type -D to quit. Loading file "K12n817__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n817 geometric_solution 12.16184210 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 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 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628841763351 1.842657760503 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478735022667 0.660039896521 8 0 8 4 0132 0132 1023 2031 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 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.182308590094 0.477116214757 9 10 11 0 0132 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 -1 0 1 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.069658168410 0.591630768471 5 2 0 12 2103 1302 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 1 -1 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.719886138618 0.800592826869 8 1 4 10 1023 0132 2103 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.044393300254 0.979067770247 9 10 1 7 2103 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.003965662242 0.660930083342 8 6 12 1 3120 0321 2310 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 1 -1 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.953783190758 1.019284173820 2 5 2 7 0132 1023 1023 3120 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 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.255061949347 1.232219542557 3 11 6 10 0132 3012 2103 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.065184924625 1.219569399393 9 3 6 5 3012 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415731863712 0.791984603991 9 12 12 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.174427870653 0.877701799674 11 7 4 11 1230 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.174427870653 0.877701799674 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0011_4'], 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : d['c_0101_8'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0101_1'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : negation(d['c_0101_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : negation(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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_7']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_7'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_7'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1001_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_0101_8'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0011_7']), '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_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : d['c_1100_0'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0011_7'], 'c_0110_12' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_7']), 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_7, c_0101_8, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 11833733793835004166507518847390741646632083/2770682312823863270518\ 1389073305081552896*c_1100_0^17 + 109844672581670330029226691476261\ 700223597099/9235607709412877568393796357768360517632*c_1100_0^16 + 42248855524266026545306095033233010757409411/2886127409191524240123\ 06136180261266176*c_1100_0^15 + 96427856472279645570868140421517995\ 02173244433/9235607709412877568393796357768360517632*c_1100_0^14 + 132349116065596161605491784440403824490715029663/277068231282386327\ 05181389073305081552896*c_1100_0^13 + 404729539991617498556019656870862217562704253849/277068231282386327\ 05181389073305081552896*c_1100_0^12 + 409674586295073647761262717559103326934127070227/138534115641193163\ 52590694536652540776448*c_1100_0^11 + 40415808828470648404209532359352794305055207685/1154450963676609696\ 049224544721045064704*c_1100_0^10 + 63689104213148875192202751574347622554924129641/9235607709412877568\ 393796357768360517632*c_1100_0^9 - 706150683924367886892637380653780927524620955105/138534115641193163\ 52590694536652540776448*c_1100_0^8 - 2019478386840358301077772644805884013582420845663/27706823128238632\ 705181389073305081552896*c_1100_0^7 + 325320982509559036848362420769645900511185073429/277068231282386327\ 05181389073305081552896*c_1100_0^6 + 4223461134547580843594926521968665036761781308521/27706823128238632\ 705181389073305081552896*c_1100_0^5 + 853668345661205927352115640006931615758985363403/461780385470643878\ 4196898178884180258816*c_1100_0^4 + 1367873590692217679221693466375342676448535960267/27706823128238632\ 705181389073305081552896*c_1100_0^3 - 27303348473477892549383122883175518492867918579/3221723619562631709\ 90481268294245134336*c_1100_0^2 - 260291199895362076996316647963349\ 683267335530059/3463352891029829088147673634163135194112*c_1100_0 - 63975093653847978263798289957233490652754617153/3463352891029829088\ 147673634163135194112, c_0011_0 - 1, c_0011_10 - 3922399114563830727817285864097/649279246183521102358890101\ 35881728*c_1100_0^17 - 117024383153317060561458408415579/6492792461\ 8352110235889010135881728*c_1100_0^16 - 48151198032818593065975441183967/2028997644323503444871531566746304\ *c_1100_0^15 - 11724719167811527807065858188803585/6492792461835211\ 0235889010135881728*c_1100_0^14 - 568655087555649330425865167080356\ 53/64927924618352110235889010135881728*c_1100_0^13 - 182445662142266252993614807733449795/649279246183521102358890101358\ 81728*c_1100_0^12 - 191283382977698389706097727936722065/3246396230\ 9176055117944505067940864*c_1100_0^11 - 57818609965762322282533718542585833/8115990577294013779486126266985\ 216*c_1100_0^10 - 85602216610442863604864085584061177/6492792461835\ 2110235889010135881728*c_1100_0^9 + 354509069121617408875649432968705307/324639623091760551179445050679\ 40864*c_1100_0^8 + 1005482396231735289251850348726205925/6492792461\ 8352110235889010135881728*c_1100_0^7 - 176758501050134892167687198614683895/649279246183521102358890101358\ 81728*c_1100_0^6 - 2076528491810571079509706372524273395/6492792461\ 8352110235889010135881728*c_1100_0^5 - 1205666134388964430023528768324870507/32463962309176055117944505067\ 940864*c_1100_0^4 - 488380399326086095497298741030007145/6492792461\ 8352110235889010135881728*c_1100_0^3 + 636937285941283762454173853432196939/324639623091760551179445050679\ 40864*c_1100_0^2 + 116683746909805427795669358451016841/81159905772\ 94013779486126266985216*c_1100_0 + 15509680520926649403559789340893211/8115990577294013779486126266985\ 216, c_0011_11 - 10066216872202418346390781606051/64927924618352110235889010\ 135881728*c_1100_0^17 - 280540704104422552303976042185401/649279246\ 18352110235889010135881728*c_1100_0^16 - 215105455166921176892726794464511/405799528864700688974306313349260\ 8*c_1100_0^15 - 24321843255234214220927826321770867/649279246183521\ 10235889010135881728*c_1100_0^14 - 109272640429752661778490277807533127/649279246183521102358890101358\ 81728*c_1100_0^13 - 323896071683058702227700510552625433/6492792461\ 8352110235889010135881728*c_1100_0^12 - 310905497921498966364060271468418247/324639623091760551179445050679\ 40864*c_1100_0^11 - 10238331729250355076541826914313655/10144988221\ 61751722435765783373152*c_1100_0^10 + 48202433151356937916463476687179197/6492792461835211023588901013588\ 1728*c_1100_0^9 + 614233955389738816109449526082116393/324639623091\ 76055117944505067940864*c_1100_0^8 + 1359169942617528389869622029314008367/64927924618352110235889010135\ 881728*c_1100_0^7 - 748798358491932897766967589432468829/6492792461\ 8352110235889010135881728*c_1100_0^6 - 3447964338837706002425693013776105465/64927924618352110235889010135\ 881728*c_1100_0^5 - 1671974083490674242784921602855607533/324639623\ 09176055117944505067940864*c_1100_0^4 - 130732755436629720754077942222826323/649279246183521102358890101358\ 81728*c_1100_0^3 + 1019264039642525848701904464969234585/3246396230\ 9176055117944505067940864*c_1100_0^2 + 138641108825319331045251268241847243/811599057729401377948612626698\ 5216*c_1100_0 + 17946476392054113741735872223849289/811599057729401\ 3779486126266985216, c_0011_12 + 3384872330025693880992156031111/649279246183521102358890101\ 35881728*c_1100_0^17 + 90616076534834370427276931860537/64927924618\ 352110235889010135881728*c_1100_0^16 + 132805239673452247719539796145153/811599057729401377948612626698521\ 6*c_1100_0^15 + 7125009875665688555201768219652383/6492792461835211\ 0235889010135881728*c_1100_0^14 + 300983291478366708254087752371360\ 07/64927924618352110235889010135881728*c_1100_0^13 + 82656553413143435849173013351279597/6492792461835211023588901013588\ 1728*c_1100_0^12 + 71009860628814529176306400402351509/324639623091\ 76055117944505067940864*c_1100_0^11 + 28776374491991085349850789081187505/1623198115458802755897225253397\ 0432*c_1100_0^10 - 83023638676781076802142576087292333/649279246183\ 52110235889010135881728*c_1100_0^9 - 157473449880141793304664982834583257/324639623091760551179445050679\ 40864*c_1100_0^8 - 204019921467161632393371167818520051/64927924618\ 352110235889010135881728*c_1100_0^7 + 358100138471537190238202740853337637/649279246183521102358890101358\ 81728*c_1100_0^6 + 798238931239181858112600540480024885/64927924618\ 352110235889010135881728*c_1100_0^5 + 247059384485113639554465194868042175/324639623091760551179445050679\ 40864*c_1100_0^4 - 198252452067775017282677521536463885/64927924618\ 352110235889010135881728*c_1100_0^3 - 183443976435929933112066348454557041/324639623091760551179445050679\ 40864*c_1100_0^2 - 17720847972133212235091005771371287/811599057729\ 4013779486126266985216*c_1100_0 - 375677383954786236708340243539308\ 9/8115990577294013779486126266985216, c_0011_4 - 11029021967585711762415032406913/649279246183521102358890101\ 35881728*c_1100_0^17 - 299193328998865789004575750312407/6492792461\ 8352110235889010135881728*c_1100_0^16 - 446828057120989253327657007253397/811599057729401377948612626698521\ 6*c_1100_0^15 - 24640948403367416448764671466893497/649279246183521\ 10235889010135881728*c_1100_0^14 - 108436655189536055724061687230338185/649279246183521102358890101358\ 81728*c_1100_0^13 - 317048159184891678898658459472539099/6492792461\ 8352110235889010135881728*c_1100_0^12 - 302999424416368257850328394227021807/324639623091760551179445050679\ 40864*c_1100_0^11 - 161455594425072905492689115769862269/1623198115\ 4588027558972252533970432*c_1100_0^10 + 15968099974814166224981489065427907/6492792461835211023588901013588\ 1728*c_1100_0^9 + 574073724530213178143191380853478567/324639623091\ 76055117944505067940864*c_1100_0^8 + 1316892545727806093567650458669126709/64927924618352110235889010135\ 881728*c_1100_0^7 - 657055504274744703455998208431629819/6492792461\ 8352110235889010135881728*c_1100_0^6 - 3296441002125329669974493610590308227/64927924618352110235889010135\ 881728*c_1100_0^5 - 1659658983605034138187351061460377885/324639623\ 09176055117944505067940864*c_1100_0^4 - 328263051205281877746864049968417309/649279246183521102358890101358\ 81728*c_1100_0^3 + 920876974251896181259114577720133775/32463962309\ 176055117944505067940864*c_1100_0^2 + 148962895133805262794119661196896961/811599057729401377948612626698\ 5216*c_1100_0 + 21745280949239241949152242691550207/811599057729401\ 3779486126266985216, c_0011_7 - 2177288034605467250613359843875/3246396230917605511794450506\ 7940864*c_1100_0^17 - 58353340907893158055945834545021/324639623091\ 76055117944505067940864*c_1100_0^16 - 10688633010166039118304422387785/507249411080875861217882891686576*\ c_1100_0^15 - 4579576157006375683369883151132243/324639623091760551\ 17944505067940864*c_1100_0^14 - 19277991985108122227890970209805243\ /32463962309176055117944505067940864*c_1100_0^13 - 52706869223388628446439866186998033/3246396230917605511794450506794\ 0864*c_1100_0^12 - 45173099113432198455454535756171481/162319811545\ 88027558972252533970432*c_1100_0^11 - 18511353416011749845293284615192275/8115990577294013779486126266985\ 216*c_1100_0^10 + 49844170377349598052797979931329505/3246396230917\ 6055117944505067940864*c_1100_0^9 + 99530880364640715658294819192510393/1623198115458802755897225253397\ 0432*c_1100_0^8 + 137763024725154068536940355649398135/324639623091\ 76055117944505067940864*c_1100_0^7 - 218791063800478677361895160674030257/324639623091760551179445050679\ 40864*c_1100_0^6 - 525179939745678995585984228066933593/32463962309\ 176055117944505067940864*c_1100_0^5 - 175324373949685425577710685851554643/162319811545880275589722525339\ 70432*c_1100_0^4 + 145396944135862830100277410963448073/32463962309\ 176055117944505067940864*c_1100_0^3 + 150524710758946688650697879473942877/162319811545880275589722525339\ 70432*c_1100_0^2 + 6797939194091556632486823856379835/4057995288647\ 006889743063133492608*c_1100_0 - 1456692778753980140415592159841715\ /4057995288647006889743063133492608, c_0101_0 + 2177288034605467250613359843875/3246396230917605511794450506\ 7940864*c_1100_0^17 + 58353340907893158055945834545021/324639623091\ 76055117944505067940864*c_1100_0^16 + 10688633010166039118304422387785/507249411080875861217882891686576*\ c_1100_0^15 + 4579576157006375683369883151132243/324639623091760551\ 17944505067940864*c_1100_0^14 + 19277991985108122227890970209805243\ /32463962309176055117944505067940864*c_1100_0^13 + 52706869223388628446439866186998033/3246396230917605511794450506794\ 0864*c_1100_0^12 + 45173099113432198455454535756171481/162319811545\ 88027558972252533970432*c_1100_0^11 + 18511353416011749845293284615192275/8115990577294013779486126266985\ 216*c_1100_0^10 - 49844170377349598052797979931329505/3246396230917\ 6055117944505067940864*c_1100_0^9 - 99530880364640715658294819192510393/1623198115458802755897225253397\ 0432*c_1100_0^8 - 137763024725154068536940355649398135/324639623091\ 76055117944505067940864*c_1100_0^7 + 218791063800478677361895160674030257/324639623091760551179445050679\ 40864*c_1100_0^6 + 525179939745678995585984228066933593/32463962309\ 176055117944505067940864*c_1100_0^5 + 175324373949685425577710685851554643/162319811545880275589722525339\ 70432*c_1100_0^4 - 145396944135862830100277410963448073/32463962309\ 176055117944505067940864*c_1100_0^3 - 150524710758946688650697879473942877/162319811545880275589722525339\ 70432*c_1100_0^2 - 6797939194091556632486823856379835/4057995288647\ 006889743063133492608*c_1100_0 + 1456692778753980140415592159841715\ /4057995288647006889743063133492608, c_0101_1 - 15201782188378345990864084643609/649279246183521102358890101\ 35881728*c_1100_0^17 - 404497710133012269033166362944419/6492792461\ 8352110235889010135881728*c_1100_0^16 - 294949477464003311329879181121193/405799528864700688974306313349260\ 8*c_1100_0^15 - 31563120157015196507650341577743721/649279246183521\ 10235889010135881728*c_1100_0^14 - 133574673522569329687702686653477933/649279246183521102358890101358\ 81728*c_1100_0^13 - 370569623961433458811312608675622219/6492792461\ 8352110235889010135881728*c_1100_0^12 - 327185870953064543752666002771872921/324639623091760551179445050679\ 40864*c_1100_0^11 - 72956185886806546390525345942870339/81159905772\ 94013779486126266985216*c_1100_0^10 + 255584112262818633498105072875093551/649279246183521102358890101358\ 81728*c_1100_0^9 + 681383106318499158156627365869928891/32463962309\ 176055117944505067940864*c_1100_0^8 + 1097335963660991513218317650714395629/64927924618352110235889010135\ 881728*c_1100_0^7 - 1306813448967851409023243648849897999/649279246\ 18352110235889010135881728*c_1100_0^6 - 3635782937883686808769849977537095675/64927924618352110235889010135\ 881728*c_1100_0^5 - 1389838752940364450680292062528764115/324639623\ 09176055117944505067940864*c_1100_0^4 + 453650876061595860216443387388388751/649279246183521102358890101358\ 81728*c_1100_0^3 + 944879779678392157830824568741165859/32463962309\ 176055117944505067940864*c_1100_0^2 + 104547706260613988751790703513880657/811599057729401377948612626698\ 5216*c_1100_0 + 10008936419473264419824847112144435/811599057729401\ 3779486126266985216, c_0101_12 + 84342328253980485043797342647/81159905772940137794861262669\ 85216*c_1100_0^17 + 7200678523776066631207025536613/162319811545880\ 27558972252533970432*c_1100_0^16 + 60259482677221622593694713879743/8115990577294013779486126266985216\ *c_1100_0^15 + 68262789779167187144679110706291/1014498822161751722\ 435765783373152*c_1100_0^14 + 6035884316806020981650152615785135/16\ 231981154588027558972252533970432*c_1100_0^13 + 2675744652726442273363671277843039/20289976443235034448715315667463\ 04*c_1100_0^12 + 48839939761797134324972628824099375/16231981154588\ 027558972252533970432*c_1100_0^11 + 64812927836783923055300724240520211/1623198115458802755897225253397\ 0432*c_1100_0^10 + 19682731924540319636136424608441299/162319811545\ 88027558972252533970432*c_1100_0^9 - 46555777324462780598917894261803323/8115990577294013779486126266985\ 216*c_1100_0^8 - 74644593625590711207902921273864395/81159905772940\ 13779486126266985216*c_1100_0^7 + 769075269168054376953364202631685\ 9/16231981154588027558972252533970432*c_1100_0^6 + 142696442642007485017204097954125879/811599057729401377948612626698\ 5216*c_1100_0^5 + 338478574710442847457379077218968769/162319811545\ 88027558972252533970432*c_1100_0^4 + 51187891564769858617038461379197251/1623198115458802755897225253397\ 0432*c_1100_0^3 - 93463112704204908799666192885215115/8115990577294\ 013779486126266985216*c_1100_0^2 - 1466056523187327032705624631827339/25362470554043793060894144584328\ 8*c_1100_0 - 1840482689691714976470626080409603/2028997644323503444\ 871531566746304, c_0101_7 - 447310422106913279336694013551/81159905772940137794861262669\ 85216*c_1100_0^17 - 11702409783829793907656491169945/81159905772940\ 13779486126266985216*c_1100_0^16 - 33293995019955677814340532994297/2028997644323503444871531566746304\ *c_1100_0^15 - 859492943352483761780550457675699/811599057729401377\ 9486126266985216*c_1100_0^14 - 3462786925992871070030455169971747/8\ 115990577294013779486126266985216*c_1100_0^13 - 9009167773503798085301492611294893/81159905772940137794861262669852\ 16*c_1100_0^12 - 7318979179234044936763368004838305/405799528864700\ 6889743063133492608*c_1100_0^11 - 139417261305719212112690303918278\ 3/1014498822161751722435765783373152*c_1100_0^10 + 8529077251775151353932900602145341/81159905772940137794861262669852\ 16*c_1100_0^9 + 15165781384709993979302613682097575/405799528864700\ 6889743063133492608*c_1100_0^8 + 1954037423387124088597274232225154\ 3/8115990577294013779486126266985216*c_1100_0^7 - 33614432460210162718872517367431105/8115990577294013779486126266985\ 216*c_1100_0^6 - 80268991883944232936004546279491221/81159905772940\ 13779486126266985216*c_1100_0^5 - 289148003005847404014928657069069\ 35/4057995288647006889743063133492608*c_1100_0^4 + 16713438904432678635666494220071169/8115990577294013779486126266985\ 216*c_1100_0^3 + 20319333045837177236583713147287973/40579952886470\ 06889743063133492608*c_1100_0^2 + 209037088183269749615206551951768\ 3/1014498822161751722435765783373152*c_1100_0 + 323046534997104432316051017286725/101449882216175172243576578337315\ 2, c_0101_8 + 773892958025823434863127046267/64927924618352110235889010135\ 881728*c_1100_0^17 + 4179564100525402496545862207825/64927924618352\ 110235889010135881728*c_1100_0^16 - 5550628302171219905390941107753/2028997644323503444871531566746304*\ c_1100_0^15 - 3009963178565891508420782558033989/649279246183521102\ 35889010135881728*c_1100_0^14 - 22013238640234355826811346131227393\ /64927924618352110235889010135881728*c_1100_0^13 - 92644573212663498407259365781585567/6492792461835211023588901013588\ 1728*c_1100_0^12 - 120431775681910918840435019253351609/32463962309\ 176055117944505067940864*c_1100_0^11 - 11539690604455589733912750803431647/2028997644323503444871531566746\ 304*c_1100_0^10 - 201355229232576021873644940965632821/649279246183\ 52110235889010135881728*c_1100_0^9 + 199231478044750461844743132596437399/324639623091760551179445050679\ 40864*c_1100_0^8 + 857010392072803792585289563284670601/64927924618\ 352110235889010135881728*c_1100_0^7 + 205869113770748780886332665313687429/649279246183521102358890101358\ 81728*c_1100_0^6 - 1349106550553582509111161014099192799/6492792461\ 8352110235889010135881728*c_1100_0^5 - 995891774063851313951655650725870723/324639623091760551179445050679\ 40864*c_1100_0^4 - 627193715948026055551292930523288981/64927924618\ 352110235889010135881728*c_1100_0^3 + 474627190108525160052321613996677439/324639623091760551179445050679\ 40864*c_1100_0^2 + 88194788927690678866715340378017485/811599057729\ 4013779486126266985216*c_1100_0 + 124902132865948878484946587128338\ 71/8115990577294013779486126266985216, c_1001_1 - 9742239408013448691525178698193/6492792461835211023588901013\ 5881728*c_1100_0^17 - 262279136545227290822842144526587/64927924618\ 352110235889010135881728*c_1100_0^16 - 194345855053013453062728163320327/405799528864700688974306313349260\ 8*c_1100_0^15 - 21275316088975656560658769379401153/649279246183521\ 10235889010135881728*c_1100_0^14 - 93033718755851540735099326529795733/6492792461835211023588901013588\ 1728*c_1100_0^13 - 270986476615176753309299754159399251/64927924618\ 352110235889010135881728*c_1100_0^12 - 259286224299947015379655302339208137/324639623091760551179445050679\ 40864*c_1100_0^11 - 70112020994014288248059663076205321/81159905772\ 94013779486126266985216*c_1100_0^10 - 14480696566967554775230548247205849/6492792461835211023588901013588\ 1728*c_1100_0^9 + 473721903375802111001787096985553587/324639623091\ 76055117944505067940864*c_1100_0^8 + 1141631948422684175625475989125079173/64927924618352110235889010135\ 881728*c_1100_0^7 - 468259409882830377660062056584961127/6492792461\ 8352110235889010135881728*c_1100_0^6 - 2757626891627498083773467530878154083/64927924618352110235889010135\ 881728*c_1100_0^5 - 1475481074184403155606267766076499267/324639623\ 09176055117944505067940864*c_1100_0^4 - 469208899174965612479845287769383161/649279246183521102358890101358\ 81728*c_1100_0^3 + 772812363653022346435535022786490331/32463962309\ 176055117944505067940864*c_1100_0^2 + 141625408588602355187618531033215721/811599057729401377948612626698\ 5216*c_1100_0 + 22919164460543706455199173129184747/811599057729401\ 3779486126266985216, c_1100_0^18 + 28*c_1100_0^17 + 347*c_1100_0^16 + 2497*c_1100_0^15 + 11558*c_1100_0^14 + 35912*c_1100_0^13 + 74469*c_1100_0^12 + 92554*c_1100_0^11 + 28673*c_1100_0^10 - 116893*c_1100_0^9 - 188923*c_1100_0^8 + 1394*c_1100_0^7 + 361130*c_1100_0^6 + 487433*c_1100_0^5 + 181759*c_1100_0^4 - 180813*c_1100_0^3 - 206366*c_1100_0^2 - 70176*c_1100_0 - 6616 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_7, c_0101_8, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 21181734507980659294767380919832022826306320861/2325710185083045864\ 591851649149289249658628560*c_1100_0^18 - 159439055232871044400423024460846999624454257671/232571018508304586\ 4591851649149289249658628560*c_1100_0^17 - 1825429957055247149148882619581698322913139606847/93028407403321834\ 58367406596597156998634514240*c_1100_0^16 - 221580903999182264492658007103305658726737067853/453797109284496754\ 066702760809617414567537280*c_1100_0^15 - 13025546390850150385153646550195717535022351734987/1860568148066436\ 6916734813193194313997269028480*c_1100_0^14 - 234865753721320744651374575019731125191910156571/226898554642248377\ 033351380404808707283768640*c_1100_0^13 - 57964727933079482671196831427932471812770744969/4472519586698165124\ 2150993252870947108819780*c_1100_0^12 - 20922390386993562939209880760735030933852087118341/1860568148066436\ 6916734813193194313997269028480*c_1100_0^11 + 5532787427870135557017623733251408241867827473181/18605681480664366\ 916734813193194313997269028480*c_1100_0^10 + 22499276692975746835418091524667243473357900783477/9302840740332183\ 458367406596597156998634514240*c_1100_0^9 + 12597623410765111738597496718175994273042935221969/3721136296132873\ 383346962638638862799453805696*c_1100_0^8 + 27859671145616088499855317709586204847255294736151/9302840740332183\ 458367406596597156998634514240*c_1100_0^7 + 36425327994553064101038557161627336213590505989157/9302840740332183\ 458367406596597156998634514240*c_1100_0^6 + 30327070849880974507054231193637133788060659022179/4651420370166091\ 729183703298298578499317257120*c_1100_0^5 + 55915028139430924535084298879002845260318247663271/9302840740332183\ 458367406596597156998634514240*c_1100_0^4 + 3524859192082064043022318968899050339979666799477/18605681480664366\ 91673481319319431399726902848*c_1100_0^3 - 4984767132101683196933069543605206104598948881/35780156693585320993\ 7207946022967576870558240*c_1100_0^2 + 9919592674685385379182902826423438613018517223847/18605681480664366\ 916734813193194313997269028480*c_1100_0 + 3439954680324352461783336114140977833271372398603/93028407403321834\ 58367406596597156998634514240, c_0011_0 - 1, c_0011_10 - 79155996297481032966734084662185457328/50039377788075241935\ 7249868570943691081*c_1100_0^18 - 575507797899515143711194547913826\ 736240/500393777880752419357249868570943691081*c_1100_0^17 - 1640825841714653033389072638823738201396/50039377788075241935724986\ 8570943691081*c_1100_0^16 - 449638310044807656942687987025546892045\ 4/500393777880752419357249868570943691081*c_1100_0^15 - 7185079023029890551939682056845642298402/50039377788075241935724986\ 8570943691081*c_1100_0^14 - 135152106154900940608153888684259841315\ 80/500393777880752419357249868570943691081*c_1100_0^13 - 19898680167760261187290736797299861302563/5003937778807524193572498\ 68570943691081*c_1100_0^12 - 26866980526302097344834452728925294086\ 767/500393777880752419357249868570943691081*c_1100_0^11 - 26183489595536142189164586959922261120363/5003937778807524193572498\ 68570943691081*c_1100_0^10 - 23336572188553347012790227972183723281\ 974/500393777880752419357249868570943691081*c_1100_0^9 - 23725789683470678387551788835956790857374/5003937778807524193572498\ 68570943691081*c_1100_0^8 - 265908837339879313112207069494424072248\ 37/500393777880752419357249868570943691081*c_1100_0^7 - 15867636852620868906094271061763610747278/5003937778807524193572498\ 68570943691081*c_1100_0^6 + 168833064744194114098361639540130763273\ 0/500393777880752419357249868570943691081*c_1100_0^5 + 2549264076406619663212925871115670410846/50039377788075241935724986\ 8570943691081*c_1100_0^4 - 6434910900030170223971178943625723584031\ /500393777880752419357249868570943691081*c_1100_0^3 - 974903399148238507797571696089409771956/500393777880752419357249868\ 570943691081*c_1100_0^2 + 400104799871762713483775251479297679522/5\ 00393777880752419357249868570943691081*c_1100_0 - 463189184618557346387446960757192995386/500393777880752419357249868\ 570943691081, c_0011_11 + 116831341403296211832517791318039685024/5003937778807524193\ 57249868570943691081*c_1100_0^18 + 852242329747546240863822220066532119800/500393777880752419357249868\ 570943691081*c_1100_0^17 + 2423882131197310555089288980547966592336\ /500393777880752419357249868570943691081*c_1100_0^16 + 6585681922111496246267935759254837205454/50039377788075241935724986\ 8570943691081*c_1100_0^15 + 105551926644054368550712857241403019979\ 07/500393777880752419357249868570943691081*c_1100_0^14 + 19624985482551675412902569761190189726733/5003937778807524193572498\ 68570943691081*c_1100_0^13 + 29474573627777248285146973401158118185\ 691/500393777880752419357249868570943691081*c_1100_0^12 + 39173615891982223783648771625418390182086/5003937778807524193572498\ 68570943691081*c_1100_0^11 + 38837211547881087171742892615307263287\ 210/500393777880752419357249868570943691081*c_1100_0^10 + 34553161308344641696056804503494801416543/5003937778807524193572498\ 68570943691081*c_1100_0^9 + 372277245001111754418335031358228822482\ 62/500393777880752419357249868570943691081*c_1100_0^8 + 41612150334816771690976141796456362958436/5003937778807524193572498\ 68570943691081*c_1100_0^7 + 254423121430264798608340249239549022443\ 38/500393777880752419357249868570943691081*c_1100_0^6 - 1468124114530228232416295744730113544837/50039377788075241935724986\ 8570943691081*c_1100_0^5 - 19320656440563908350066391850328528445/5\ 00393777880752419357249868570943691081*c_1100_0^4 + 13796447637808325107515356220015800649446/5003937778807524193572498\ 68570943691081*c_1100_0^3 + 179662513199751014120015456039716677152\ 5/500393777880752419357249868570943691081*c_1100_0^2 - 2224967580395321688949047558174282565243/50039377788075241935724986\ 8570943691081*c_1100_0 + 2463811624490090240829527027725353495922/5\ 00393777880752419357249868570943691081, c_0011_12 - 94410976284727224804293561057426384112/50039377788075241935\ 7249868570943691081*c_1100_0^18 - 699829292816763260592858153058133\ 530496/500393777880752419357249868570943691081*c_1100_0^17 - 2047165463897988156730425119771833363444/50039377788075241935724986\ 8570943691081*c_1100_0^16 - 560211880619159965431522414288120904792\ 2/500393777880752419357249868570943691081*c_1100_0^15 - 9281064683380864006769348420618767700468/50039377788075241935724986\ 8570943691081*c_1100_0^14 - 171912259460247319334870709896935867007\ 40/500393777880752419357249868570943691081*c_1100_0^13 - 26118656983335910727580343100385201981020/5003937778807524193572498\ 68570943691081*c_1100_0^12 - 35282413943050550826615197277165547128\ 424/500393777880752419357249868570943691081*c_1100_0^11 - 36216736522967292008067786946584035242769/5003937778807524193572498\ 68570943691081*c_1100_0^10 - 32905877956334459790947553353109761961\ 844/500393777880752419357249868570943691081*c_1100_0^9 - 34223948322472064243050015304990848734857/5003937778807524193572498\ 68570943691081*c_1100_0^8 - 375839422113733057760918937955516601842\ 75/500393777880752419357249868570943691081*c_1100_0^7 - 25220728277415593246806688837465462733861/5003937778807524193572498\ 68570943691081*c_1100_0^6 - 217110469475719655074917971358475857732\ 5/500393777880752419357249868570943691081*c_1100_0^5 + 222140558560466078457638354495498162082/500393777880752419357249868\ 570943691081*c_1100_0^4 - 9743525247529824159748469540549186480974/\ 500393777880752419357249868570943691081*c_1100_0^3 - 2188604845182353149123947279780514965490/50039377788075241935724986\ 8570943691081*c_1100_0^2 + 1204195124172253416104220965082039582196\ /500393777880752419357249868570943691081*c_1100_0 - 1513008223922141456003766160237607569268/50039377788075241935724986\ 8570943691081, c_0011_4 + 38483647955229556099891819491567136760/500393777880752419357\ 249868570943691081*c_1100_0^18 + 2355447797941258618860813630706609\ 35744/500393777880752419357249868570943691081*c_1100_0^17 + 462753939768371333573834417081031200194/500393777880752419357249868\ 570943691081*c_1100_0^16 + 1187891287173959186337706416549703365969\ /500393777880752419357249868570943691081*c_1100_0^15 + 814498992398953373570000687749351710160/500393777880752419357249868\ 570943691081*c_1100_0^14 + 2105363352825579260393492001220018574111\ /500393777880752419357249868570943691081*c_1100_0^13 + 1754346188671339707360618313401810856965/50039377788075241935724986\ 8570943691081*c_1100_0^12 + 959518555337598522841106028693934114336\ /500393777880752419357249868570943691081*c_1100_0^11 - 3132541120559426394992794250253785985207/50039377788075241935724986\ 8570943691081*c_1100_0^10 - 428843846595889190549550285552551949701\ 8/500393777880752419357249868570943691081*c_1100_0^9 - 1072756286050317461667414073743315217248/50039377788075241935724986\ 8570943691081*c_1100_0^8 + 192173640688234458165912866402835173082/\ 500393777880752419357249868570943691081*c_1100_0^7 - 7087487199661947495876278330186770185001/50039377788075241935724986\ 8570943691081*c_1100_0^6 - 1012448443641903901291633574985475948459\ 3/500393777880752419357249868570943691081*c_1100_0^5 + 1696219032260807427134027523413068051801/50039377788075241935724986\ 8570943691081*c_1100_0^4 + 7448319924186538895661997076483074677163\ /500393777880752419357249868570943691081*c_1100_0^3 - 3228936341944324217863852401775720006515/50039377788075241935724986\ 8570943691081*c_1100_0^2 - 2288056665140750754227076004502920710383\ /500393777880752419357249868570943691081*c_1100_0 + 1375324055217542416240278381358317021062/50039377788075241935724986\ 8570943691081, c_0011_7 + 115575421886072413917169789635707220096/50039377788075241935\ 7249868570943691081*c_1100_0^18 + 811587092850423576146174926983450\ 051504/500393777880752419357249868570943691081*c_1100_0^17 + 2140246265859346753913986397252633002984/50039377788075241935724986\ 8570943691081*c_1100_0^16 + 566029562800863638069874237706047093311\ 6/500393777880752419357249868570943691081*c_1100_0^15 + 8105714917059864708570724895507212106552/50039377788075241935724986\ 8570943691081*c_1100_0^14 + 150677804400685009821505683695423577954\ 41/500393777880752419357249868570943691081*c_1100_0^13 + 21572399384771945412573233746722160936203/5003937778807524193572498\ 68570943691081*c_1100_0^12 + 26609953614713122920424843226472999649\ 633/500393777880752419357249868570943691081*c_1100_0^11 + 21814095113601469344794985017450121104446/5003937778807524193572498\ 68570943691081*c_1100_0^10 + 15943917164092145920158382618516607675\ 292/500393777880752419357249868570943691081*c_1100_0^9 + 20828072051659411805050112452651739155707/5003937778807524193572498\ 68570943691081*c_1100_0^8 + 261363119053859957879514946373702979497\ 31/500393777880752419357249868570943691081*c_1100_0^7 + 8961017061891274737628199774308792910689/50039377788075241935724986\ 8570943691081*c_1100_0^6 - 1476622689059872857827257838698055737856\ 1/500393777880752419357249868570943691081*c_1100_0^5 - 2159796929710890532613107837429006611806/50039377788075241935724986\ 8570943691081*c_1100_0^4 + 1718690265245385194650778183906593238457\ 4/500393777880752419357249868570943691081*c_1100_0^3 + 451891248934780202742893583800102016579/500393777880752419357249868\ 570943691081*c_1100_0^2 - 5247376508737608726095707724249611169148/\ 500393777880752419357249868570943691081*c_1100_0 + 2168078183579609426784128130097403616623/50039377788075241935724986\ 8570943691081, c_0101_0 + 49139377599968383967081227105084796616/500393777880752419357\ 249868570943691081*c_1100_0^18 + 2997834668387807232746453708422819\ 78504/500393777880752419357249868570943691081*c_1100_0^17 + 579073285539005418399762075829679148334/500393777880752419357249868\ 570943691081*c_1100_0^16 + 1463042603520837722893834553418691658165\ /500393777880752419357249868570943691081*c_1100_0^15 + 894544602230414613501136761173031560775/500393777880752419357249868\ 570943691081*c_1100_0^14 + 2366701827840110609535299024470342466905\ /500393777880752419357249868570943691081*c_1100_0^13 + 1742971942712801311509895868187833331572/50039377788075241935724986\ 8570943691081*c_1100_0^12 + 420497559320867856564151526424341951400\ /500393777880752419357249868570943691081*c_1100_0^11 - 5080585851053823966514889530200061784043/50039377788075241935724986\ 8570943691081*c_1100_0^10 - 656124941257400862043883931260666110661\ 4/500393777880752419357249868570943691081*c_1100_0^9 - 1956895110905801018486095479445611566314/50039377788075241935724986\ 8570943691081*c_1100_0^8 + 212095340563950818402538639331799492137/\ 500393777880752419357249868570943691081*c_1100_0^7 - 8769370071450176198811686259848992515847/50039377788075241935724986\ 8570943691081*c_1100_0^6 - 1296273495472470000313814399864930011065\ 9/500393777880752419357249868570943691081*c_1100_0^5 + 3184823354375305888276314165938727751982/50039377788075241935724986\ 8570943691081*c_1100_0^4 + 1097945558126670059610952710045141542899\ 4/500393777880752419357249868570943691081*c_1100_0^3 - 3072198608251166131487058730791635819113/50039377788075241935724986\ 8570943691081*c_1100_0^2 - 3140459122681256096396651713975521629203\ /500393777880752419357249868570943691081*c_1100_0 + 1921361675884608886749573488279252091640/50039377788075241935724986\ 8570943691081, c_0101_1 + 42030591756764435552692489178233588520/500393777880752419357\ 249868570943691081*c_1100_0^18 + 2794466264051600145510999967826827\ 34040/500393777880752419357249868570943691081*c_1100_0^17 + 659905012986932393758767932411032179390/500393777880752419357249868\ 570943691081*c_1100_0^16 + 1708026720164716745245318524385085682789\ /500393777880752419357249868570943691081*c_1100_0^15 + 2011606232192355261826864954425609362267/50039377788075241935724986\ 8570943691081*c_1100_0^14 + 393794768339530702055883677986558748336\ 4/500393777880752419357249868570943691081*c_1100_0^13 + 5129920656568515140271858863382680262118/50039377788075241935724986\ 8570943691081*c_1100_0^12 + 556233689359092229304805810412971181792\ 8/500393777880752419357249868570943691081*c_1100_0^11 + 2631710606685959146952332331451300903929/50039377788075241935724986\ 8570943691081*c_1100_0^10 + 725390253201636165192846612146474752699\ /500393777880752419357249868570943691081*c_1100_0^9 + 3784370048274402555854992654699915096123/50039377788075241935724986\ 8570943691081*c_1100_0^8 + 5679827845606238338956514497994022067017\ /500393777880752419357249868570943691081*c_1100_0^7 - 1235292485211800633327408899396501415742/50039377788075241935724986\ 8570943691081*c_1100_0^6 - 7979647161164542878138527282675497747849\ /500393777880752419357249868570943691081*c_1100_0^5 + 787294509293441519606592384241389979967/500393777880752419357249868\ 570943691081*c_1100_0^4 + 8102039581339767351073880071873643457208/\ 500393777880752419357249868570943691081*c_1100_0^3 - 1085025011486486388642688135945742085649/50039377788075241935724986\ 8570943691081*c_1100_0^2 - 2631437456298665928655042366186259154039\ /500393777880752419357249868570943691081*c_1100_0 + 1146308225866250727434029302407792884663/50039377788075241935724986\ 8570943691081, c_0101_12 + 31822761229810370251199172140666136720/50039377788075241935\ 7249868570943691081*c_1100_0^18 + 233816052807244546496942499264960\ 115264/500393777880752419357249868570943691081*c_1100_0^17 + 688230071544859482030600027864432184676/500393777880752419357249868\ 570943691081*c_1100_0^16 + 1931788208751143471699895233983523339558\ /500393777880752419357249868570943691081*c_1100_0^15 + 3217373275014682527246611077129730252294/50039377788075241935724986\ 8570943691081*c_1100_0^14 + 618227439065158156791509056006814275195\ 9/500393777880752419357249868570943691081*c_1100_0^13 + 9158846492379849375890514077451573005061/50039377788075241935724986\ 8570943691081*c_1100_0^12 + 129373644359662347464937974094789046781\ 59/500393777880752419357249868570943691081*c_1100_0^11 + 13408647742638481554677650564231099526121/5003937778807524193572498\ 68570943691081*c_1100_0^10 + 13001070369738335573518171627444802360\ 431/500393777880752419357249868570943691081*c_1100_0^9 + 12682862068026365426118220888971447685961/5003937778807524193572498\ 68570943691081*c_1100_0^8 + 137251191506571973291182944207695588682\ 85/500393777880752419357249868570943691081*c_1100_0^7 + 9725799170164906271707517216374792757999/50039377788075241935724986\ 8570943691081*c_1100_0^6 + 2678656824915723551577785010777697131275\ /500393777880752419357249868570943691081*c_1100_0^5 + 141121934801076079917380606990379906346/500393777880752419357249868\ 570943691081*c_1100_0^4 + 1924907339855308037695933393675990454943/\ 500393777880752419357249868570943691081*c_1100_0^3 + 712965242570739446322920382309250621188/500393777880752419357249868\ 570943691081*c_1100_0^2 + 1064251910959400170154374342649891985747/\ 500393777880752419357249868570943691081*c_1100_0 - 105114880284348612457956784418068838531/500393777880752419357249868\ 570943691081, c_0101_7 - 9603483332623352680349803228006592784/5003937778807524193572\ 49868570943691081*c_1100_0^18 - 63687037524899262753545747494702994\ 896/500393777880752419357249868570943691081*c_1100_0^17 - 163706331543326442606021681534937363748/500393777880752419357249868\ 570943691081*c_1100_0^16 - 480373931694487594120132505972601832818/\ 500393777880752419357249868570943691081*c_1100_0^15 - 678209633245887783346374247045844902196/500393777880752419357249868\ 570943691081*c_1100_0^14 - 1509971786852549281433925592762194354883\ /500393777880752419357249868570943691081*c_1100_0^13 - 1945552300512862565665095670203121708569/50039377788075241935724986\ 8570943691081*c_1100_0^12 - 291159504873554486343245389763723631569\ 6/500393777880752419357249868570943691081*c_1100_0^11 - 2704754464691473301074458112807305854350/50039377788075241935724986\ 8570943691081*c_1100_0^10 - 289047822785174630112610694307698838900\ 2/500393777880752419357249868570943691081*c_1100_0^9 - 2830237302478352459550132725839792106420/50039377788075241935724986\ 8570943691081*c_1100_0^8 - 2959895359621292027901233572051186759802\ /500393777880752419357249868570943691081*c_1100_0^7 - 1776192344797450598891504371532971346218/50039377788075241935724986\ 8570943691081*c_1100_0^6 - 521129470086018008246590563839772403568/\ 500393777880752419357249868570943691081*c_1100_0^5 - 433789432734394818176422504412936414928/500393777880752419357249868\ 570943691081*c_1100_0^4 - 325814203306408543181680371524901343265/5\ 00393777880752419357249868570943691081*c_1100_0^3 - 126769845701620693988509275301011184788/500393777880752419357249868\ 570943691081*c_1100_0^2 - 597938117876648147594731801122334148688/5\ 00393777880752419357249868570943691081*c_1100_0 + 246117250124609847463489206767009831568/500393777880752419357249868\ 570943691081, c_0101_8 + 12470416768670840700070693764146398784/500393777880752419357\ 249868570943691081*c_1100_0^18 + 6070640812788605431024275610243308\ 9944/500393777880752419357249868570943691081*c_1100_0^17 + 30816015877998289522809640072352933448/5003937778807524193572498685\ 70943691081*c_1100_0^16 + 26064063330562068136762103907954245202/50\ 0393777880752419357249868570943691081*c_1100_0^15 - 698521011255695639333196639126984051137/500393777880752419357249868\ 570943691081*c_1100_0^14 - 933381678349818325521438666752648465203/\ 500393777880752419357249868570943691081*c_1100_0^13 - 2277576004761709096970147360608251242791/50039377788075241935724986\ 8570943691081*c_1100_0^12 - 401597348254304071696485919599442170637\ 9/500393777880752419357249868570943691081*c_1100_0^11 - 6707258961777743654455470346015039533654/50039377788075241935724986\ 8570943691081*c_1100_0^10 - 687253342988273190179907919024998831730\ 2/500393777880752419357249868570943691081*c_1100_0^9 - 4740273704876016316129119900156978568946/50039377788075241935724986\ 8570943691081*c_1100_0^8 - 3996666578961265528531004763680609176755\ /500393777880752419357249868570943691081*c_1100_0^7 - 7313479207399428247605398672982718939910/50039377788075241935724986\ 8570943691081*c_1100_0^6 - 6290951463930606589367657160874157211025\ /500393777880752419357249868570943691081*c_1100_0^5 + 1848468545292264629304106767439485283095/50039377788075241935724986\ 8570943691081*c_1100_0^4 + 4360299520011684725293281265187795781020\ /500393777880752419357249868570943691081*c_1100_0^3 - 2130425897367642015407419058997063774070/50039377788075241935724986\ 8570943691081*c_1100_0^2 - 1666715188067330671362063670546720389719\ /500393777880752419357249868570943691081*c_1100_0 + 842879816919313117165765818959792112696/500393777880752419357249868\ 570943691081, c_1001_1 - 38483647955229556099891819491567136760/500393777880752419357\ 249868570943691081*c_1100_0^18 - 2355447797941258618860813630706609\ 35744/500393777880752419357249868570943691081*c_1100_0^17 - 462753939768371333573834417081031200194/500393777880752419357249868\ 570943691081*c_1100_0^16 - 1187891287173959186337706416549703365969\ /500393777880752419357249868570943691081*c_1100_0^15 - 814498992398953373570000687749351710160/500393777880752419357249868\ 570943691081*c_1100_0^14 - 2105363352825579260393492001220018574111\ /500393777880752419357249868570943691081*c_1100_0^13 - 1754346188671339707360618313401810856965/50039377788075241935724986\ 8570943691081*c_1100_0^12 - 959518555337598522841106028693934114336\ /500393777880752419357249868570943691081*c_1100_0^11 + 3132541120559426394992794250253785985207/50039377788075241935724986\ 8570943691081*c_1100_0^10 + 428843846595889190549550285552551949701\ 8/500393777880752419357249868570943691081*c_1100_0^9 + 1072756286050317461667414073743315217248/50039377788075241935724986\ 8570943691081*c_1100_0^8 - 192173640688234458165912866402835173082/\ 500393777880752419357249868570943691081*c_1100_0^7 + 7087487199661947495876278330186770185001/50039377788075241935724986\ 8570943691081*c_1100_0^6 + 1012448443641903901291633574985475948459\ 3/500393777880752419357249868570943691081*c_1100_0^5 - 1696219032260807427134027523413068051801/50039377788075241935724986\ 8570943691081*c_1100_0^4 - 7448319924186538895661997076483074677163\ /500393777880752419357249868570943691081*c_1100_0^3 + 3228936341944324217863852401775720006515/50039377788075241935724986\ 8570943691081*c_1100_0^2 + 2288056665140750754227076004502920710383\ /500393777880752419357249868570943691081*c_1100_0 - 1375324055217542416240278381358317021062/50039377788075241935724986\ 8570943691081, c_1100_0^19 + 8*c_1100_0^18 + 103/4*c_1100_0^17 + 559/8*c_1100_0^16 + 253/2*c_1100_0^15 + 1775/8*c_1100_0^14 + 2825/8*c_1100_0^13 + 3857/8*c_1100_0^12 + 520*c_1100_0^11 + 3709/8*c_1100_0^10 + 1825/4*c_1100_0^9 + 4151/8*c_1100_0^8 + 1639/4*c_1100_0^7 + 599/8*c_1100_0^6 - 481/8*c_1100_0^5 + 895/8*c_1100_0^4 + 881/8*c_1100_0^3 - 75/4*c_1100_0^2 - 25/4*c_1100_0 + 109/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.400 Total time: 11.609 seconds, Total memory usage: 154.22MB