Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 3515895092] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0778 geometric_solution 4.72052153 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1.571633839068 0.161549523947 0 2 2 0 3201 0132 1023 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 1 0 -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 0 0 0 1.336700190237 0.353023481918 3 1 1 4 0132 0132 1023 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 -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.448027041077 0.752657684915 2 4 4 5 0132 2310 3201 0132 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 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.148179414686 0.640044299184 3 5 2 3 2310 1023 0132 3201 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 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.148179414686 0.640044299184 4 6 3 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 1.936898135590 1.323571428834 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477467566200 0.439334998879 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 2629363756489937596297743751830062374838471211958529858399536617502\ 54424050744607642865199993583/1012988706465691169807473300031728356\ 368573291259275580629705780503356964478093798180919951250*c_0101_6^\ 25 + 14435693979271371108615872642534455729528856871167583584122269\ 98531300756545061908982899771032376/5064943532328455849037366500158\ 64178184286645629637790314852890251678482239046899090459975625*c_01\ 01_6^24 + 176732261793084246001732790074037179817868905289528799871\ 4512401061046997615952816903444606059897/10129887064656911698074733\ 0003172835636857329125927558062970578050335696447809379818091995125\ *c_0101_6^23 + 6275337987755661231291313779817049561281368112252664\ 1025027158586478529728038722545904705386791499/50649435323284558490\ 3736650015864178184286645629637790314852890251678482239046899090459\ 975625*c_0101_6^22 + 8704278693881214922203464337959373346034037753\ 80354439774606523629603832340510397748047140703059699/1012988706465\ 6911698074733000317283563685732912592755806297057805033569644780937\ 98180919951250*c_0101_6^21 + 19368277063757169244447019401901806378\ 31536603024399276814920414168658589814899010004755691003567122/5064\ 9435323284558490373665001586417818428664562963779031485289025167848\ 2239046899090459975625*c_0101_6^20 + 6782355917324468648931283826625804498577733873700527235614835461184\ 948482731733729244422171464870191/506494353232845584903736650015864\ 178184286645629637790314852890251678482239046899090459975625*c_0101\ _6^19 + 46010123991407844120480134505457612645061006427375998522063\ 445059646220829778902685167729453668041381/101298870646569116980747\ 3300031728356368573291259275580629705780503356964478093798180919951\ 250*c_0101_6^18 + 1299449121680384606499606388978070712461622128687\ 8290627266214417212235201789334334033900199552980473/10129887064656\ 9116980747330003172835636857329125927558062970578050335696447809379\ 818091995125*c_0101_6^17 + 1360485625374336285314480775436404881462\ 2203170873345247461021815191371090776248657100142137409867121/59587\ 5709685700688122043117665722562569748994858397400370415165001974684\ 98711399892995291250*c_0101_6^16 + 1807842591643334987211733852324261897110462983673027121617890602573\ 81975723668885460894075951299795494/5064943532328455849037366500158\ 64178184286645629637790314852890251678482239046899090459975625*c_01\ 01_6^15 + 253653969379776122635136301317571488783666322386736706481\ 160629761682345654864797900644749022934156613/506494353232845584903\ 7366500158641781842866456296377903148528902516784822390468990904599\ 75625*c_0101_6^14 - 15391066243510281546395802211305525381979094278\ 3372363549623417509062059859668733843804310326911415371/50649435323\ 2845584903736650015864178184286645629637790314852890251678482239046\ 899090459975625*c_0101_6^13 - 1065675508563806943147211190238296563\ 382592235346046571442082648768604374532856189414855645134026622599/\ 5064943532328455849037366500158641781842866456296377903148528902516\ 78482239046899090459975625*c_0101_6^12 - 2730755322088318692418329378568730497643244004199100452974298782657\ 427317928254557429309422309387850851/101298870646569116980747330003\ 1728356368573291259275580629705780503356964478093798180919951250*c_\ 0101_6^11 - 4268759105052694859104543421197352713135600025231240047\ 17282388276797889948863588230520363892322165786/5064943532328455849\ 0373665001586417818428664562963779031485289025167848223904689909045\ 9975625*c_0101_6^10 + 354265701851657243940150254061377957725235427\ 22433736952096302718979470287682015286704382046750050616/2979378548\ 4285034406102155883286128128487449742919870018520758250098734249355\ 699946497645625*c_0101_6^9 + 37374867875012864300433218922372658709\ 380730182452881260123735432177071985300020067452984082091143586/297\ 9378548428503440610215588328612812848744974291987001852075825009873\ 4249355699946497645625*c_0101_6^8 + 1468817069040212286952154973337294200479897017612084027732701710946\ 54602560903781503608656164169255228/5064943532328455849037366500158\ 64178184286645629637790314852890251678482239046899090459975625*c_01\ 01_6^7 - 9952860841784484635427107600706120998990512057872288722768\ 5925558612607829456040787848559199390612628/50649435323284558490373\ 6650015864178184286645629637790314852890251678482239046899090459975\ 625*c_0101_6^6 - 70289336697678165629669202910001300165572507526543\ 046335602318611556076624366137693252072887205066729/506494353232845\ 5849037366500158641781842866456296377903148528902516784822390468990\ 90459975625*c_0101_6^5 - 242408433339725540552121810921894128064542\ 11377486239889744040200350915627496498154276197013790585463/1012988\ 7064656911698074733000317283563685732912592755806297057805033569644\ 78093798180919951250*c_0101_6^4 + 963374994087144666006388075861337\ 16867558963107252002704359223573416396053815064022000873736516791/2\ 9793785484285034406102155883286128128487449742919870018520758250098\ 734249355699946497645625*c_0101_6^3 + 1275804707349256001734835921410201088142535904617909640217952362263\ 086128254887389138626145861976641/101298870646569116980747330003172\ 8356368573291259275580629705780503356964478093798180919951250*c_010\ 1_6^2 + 19471865023870683690212343426657018269238511917777369196025\ 313903633672344966161628450266220172171/506494353232845584903736650\ 015864178184286645629637790314852890251678482239046899090459975625*\ c_0101_6 - 91213053900662974161281580460010183767568551081867575886\ 32028489644208654348683227320291670999549/1012988706465691169807473\ 3000317283563685732912592755806297057805033569644780937981809199512\ 50, c_0011_0 - 1, c_0011_1 + 835500306959232010173465789006622338421683687226687768324649\ 6769508054836057196086114994/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^25 - 1477512368809211220416818084668849196106084854609968478270921598839\ 88151692946974447252081/1191751419371401376244086235331445125139497\ 989716794800740830330003949369974227997859905825*c_0101_6^24 + 1444367456976341912431883769898525279133437162453730088388153910548\ 8876225656508480862091/23835028387428027524881724706628902502789959\ 7943358960148166066000789873994845599571981165*c_0101_6^23 - 4364024396330171319600763894186508107521377406643856719576003710473\ 53933757351148370960359/1191751419371401376244086235331445125139497\ 989716794800740830330003949369974227997859905825*c_0101_6^22 - 2109330245412736928147158105341122553973590606393346129426115360925\ 986010715985801067263252/119175141937140137624408623533144512513949\ 7989716794800740830330003949369974227997859905825*c_0101_6^21 + 5379106809849845454690550233347195846955128614487739815784336639567\ 9640246857643269273985503/11917514193714013762440862353314451251394\ 97989716794800740830330003949369974227997859905825*c_0101_6^20 + 3350297623110774835643842902016100058665399305396462645001930799565\ 66804418570753621324173599/1191751419371401376244086235331445125139\ 497989716794800740830330003949369974227997859905825*c_0101_6^19 + 1172149002307322214783572019358931535189051115807097559490290021817\ 844810562968831069071681047/119175141937140137624408623533144512513\ 9497989716794800740830330003949369974227997859905825*c_0101_6^18 + 9590687719054636943687836512891851913364175694462455010216717833201\ 26460722235129876204019742/2383502838742802752488172470662890250278\ 99597943358960148166066000789873994845599571981165*c_0101_6^17 + 1736251868498843594627452616139223355121057535405302733818236503499\ 6352737806007862515517235274/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^16 + 2957254248226739568269768695054042620237717221593124735734780374420\ 1933217708520511065705213996/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^15 + 4736169152255910696454885032971613691523184188785372053261146887450\ 6522737475692607639702333037/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^14 + 9697061444087882229938846446192788211104305053305161957958704561055\ 4511477186781772589835732381/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^13 - 2643718701677445774152319474718182822086149199343724541617002194281\ 5914672809370697272758809391/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^12 - 3347431287532391357585989564841135229944607412921404460049287764645\ 85446255157886048594048375787/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^11 - 4137333900411335392126427406258174594506390932124781107330050644163\ 77437620881503679795505882754/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^10 - 7605660006634329331693556060662097625626632444977069696466533898561\ 7369745244891147992246442422/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^9 + 2240258341748093441177463726854373823308372074981282493753020655949\ 40740607899307465821531691768/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^8 + 1710931799776519900900802781904082155979366399584933067740366132620\ 32906461777566874193850456552/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^7 + 1036672601675145991948429242497023334293228231073129620310453163393\ 0583087477459923597300224493/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^6 - 3717782584087349742475065003473009985433203987328439311279647370613\ 7602899938060021143115861051/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^5 - 1470686318960252676709299403761057359302280651601666507181958519277\ 8856414238362253997119220101/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^4 - 3771511683721493008110481611266317446677726398788733359707639818727\ 23219073243534703702854357/1191751419371401376244086235331445125139\ 497989716794800740830330003949369974227997859905825*c_0101_6^3 + 5375903956827099408694929729289888752049445728300491653702826271174\ 50920338873336538243389092/1191751419371401376244086235331445125139\ 497989716794800740830330003949369974227997859905825*c_0101_6^2 + 4072054348170063749942765047638125798211522529823880068419834180374\ 0301298557467435950241969/11917514193714013762440862353314451251394\ 97989716794800740830330003949369974227997859905825*c_0101_6 - 2784663129145212419672531892022960406350089086994044100128357456403\ 927817370530030453556438/119175141937140137624408623533144512513949\ 7989716794800740830330003949369974227997859905825, c_0011_4 + 476081311983901405576466511804783891410120742728533245374211\ 99304124202351938549632310586/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^25 - 5257443109872724652235539538820877649384749629526871236754055435281\ 71656121121789383413069/1191751419371401376244086235331445125139497\ 989716794800740830330003949369974227997859905825*c_0101_6^24 - 6336006611566004023189060331190510956716150321536288386066006936697\ 95408973549060662176969/2383502838742802752488172470662890250278995\ 97943358960148166066000789873994845599571981165*c_0101_6^23 - 2251343177798000843152423502009301406416420041300181098468869230342\ 2929294993006777581935451/11917514193714013762440862353314451251394\ 97989716794800740830330003949369974227997859905825*c_0101_6^22 - 1561287634693298973590824320019431947250213396390676291678388067996\ 62428446622182178980095318/1191751419371401376244086235331445125139\ 497989716794800740830330003949369974227997859905825*c_0101_6^21 - 6911279763493632942232093126289741955253980528686242959114787485757\ 82545003456996585393416613/1191751419371401376244086235331445125139\ 497989716794800740830330003949369974227997859905825*c_0101_6^20 - 2409604571141926573592452944043228786820450228753987726634559852077\ 229256857915913974820109469/119175141937140137624408623533144512513\ 9497989716794800740830330003949369974227997859905825*c_0101_6^19 - 8166719777277614311225508948916968912412881678065823872011911564544\ 814010144569702245082638287/119175141937140137624408623533144512513\ 9497989716794800740830330003949369974227997859905825*c_0101_6^18 - 4594574934429407221585411744083321583459077498791615022059722271223\ 846606605225846958091681477/238350283874280275248817247066289025027\ 899597943358960148166066000789873994845599571981165*c_0101_6^17 - 4028993227682681904964874811354529833225688639443605992130419906305\ 0123551054399137274515523669/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^16 - 6255074276729092296003460965398473970528815523234109579661829748596\ 3742265411503614202101987556/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^15 - 8736242522914634567809496337572557931464538242492125828959219536277\ 3817690086218711426946131077/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^14 + 6209861983598123490137909425258750621544036452919967626981694366794\ 0566065985015352225308176264/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^13 + 3831622451172292565213103823054067958013256024804871723942628268662\ 00007944869584491673786221551/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^12 + 4680029081839145196005216492608680690901918652869275971280782176903\ 94357834356400882397927985552/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^11 + 1184451600322610012605529110697414933924415349822900454585706869937\ 53885146383345335966036181599/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^10 - 2302557440420120284736342587450177052536135316883658586326537667832\ 72050882442765079546963588488/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^9 - 2135041105452178837997218859188404342626572160370731412483180637292\ 20957328560567748795534845858/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^8 - 3551780771702400696906236695553141314966447304739327530052533024938\ 4750889784174414060169879472/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^7 + 3935751177432898074884859071534381828681927795582749997910586169736\ 7287868735379089209784352107/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^6 + 2207437712615522435543011476836274360784400563260751636785874923120\ 3493242699341050604888921701/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^5 + 2471285237297770884412426220252683809189911625219278195108985647789\ 983912699990457111491317366/119175141937140137624408623533144512513\ 9497989716794800740830330003949369974227997859905825*c_0101_6^4 - 7200908590584648277048140239269385362140384909276827778114729537169\ 47311303604531621191258443/1191751419371401376244086235331445125139\ 497989716794800740830330003949369974227997859905825*c_0101_6^3 - 1262156457364156185582248665072687133855853023491474992013894356790\ 14620052955964736982841882/1191751419371401376244086235331445125139\ 497989716794800740830330003949369974227997859905825*c_0101_6^2 + 3106698874139986768944494828200598365875199647245823433093832056408\ 910597759718296944775286/119175141937140137624408623533144512513949\ 7989716794800740830330003949369974227997859905825*c_0101_6 + 1686414764962793794189617469733060564330066105147423720113339300058\ 44035306141059923451323/1191751419371401376244086235331445125139497\ 989716794800740830330003949369974227997859905825, c_0101_0 - 662566613349912552102994853689379260051685720328950283467926\ 1465577913698117024271538271/47670056774856055049763449413257805005\ 579919588671792029633213200157974798969119914396233*c_0101_6^25 + 3802991733461570119740288499005747480514439572202414420542697695211\ 41780746319231750339333/2383502838742802752488172470662890250278995\ 97943358960148166066000789873994845599571981165*c_0101_6^24 + 2039769443030438812564059928589320793189758774736259327340187731090\ 485740230874306041329884/238350283874280275248817247066289025027899\ 597943358960148166066000789873994845599571981165*c_0101_6^23 + 1476192297313054366611058511725054710300576581960352239052868022073\ 4546293010442260214956118/23835028387428027524881724706628902502789\ 9597943358960148166066000789873994845599571981165*c_0101_6^22 + 1021157056927638597096629403509373592116707399940889974398204902306\ 26042225804191761909308938/2383502838742802752488172470662890250278\ 99597943358960148166066000789873994845599571981165*c_0101_6^21 + 4357596052742836812541461388025124628787179508201519103038916912509\ 98363080684730405749247337/2383502838742802752488172470662890250278\ 99597943358960148166066000789873994845599571981165*c_0101_6^20 + 2964793662403266077348257115660768760630038313547400183432588037623\ 78159604631053402115243843/4767005677485605504976344941325780500557\ 9919588671792029633213200157974798969119914396233*c_0101_6^19 + 5017452803636047098394152300216190839729777281234766880002978740174\ 577362028568719907229544998/238350283874280275248817247066289025027\ 899597943358960148166066000789873994845599571981165*c_0101_6^18 + 2746368689137766714089829842805538694568155838160540134545145389541\ 627597920018489247746076999/476700567748560550497634494132578050055\ 79919588671792029633213200157974798969119914396233*c_0101_6^17 + 4365141238048903241038454400580740669288062982804055224152316013696\ 617490707602647803427271060/476700567748560550497634494132578050055\ 79919588671792029633213200157974798969119914396233*c_0101_6^16 + 3338947606908205407797816049988654902452247708051157359271812647234\ 5594217695051995495994669043/23835028387428027524881724706628902502\ 7899597943358960148166066000789873994845599571981165*c_0101_6^15 + 4515070831849306574338664894348856047268663886941428645140554221553\ 6661338004814201416994548213/23835028387428027524881724706628902502\ 7899597943358960148166066000789873994845599571981165*c_0101_6^14 - 1291111380503472390130624954187630787730042840724921709652007210382\ 7043307210561873032777711781/47670056774856055049763449413257805005\ 579919588671792029633213200157974798969119914396233*c_0101_6^13 - 2407383333928646270260422132825465557397596382449214697973942174519\ 80187249855188672795409414193/2383502838742802752488172470662890250\ 27899597943358960148166066000789873994845599571981165*c_0101_6^12 - 2188742359512888453947767709854122257150488219571670351394884746389\ 10702408406674563007266207808/2383502838742802752488172470662890250\ 27899597943358960148166066000789873994845599571981165*c_0101_6^11 + 4706263924157056350068334677467674043795491063585490513626611516344\ 654789465024962806149394634/476700567748560550497634494132578050055\ 79919588671792029633213200157974798969119914396233*c_0101_6^10 + 1624165842555727874856711640465186129558207919740777835011019985511\ 98779025770943184456227256922/2383502838742802752488172470662890250\ 27899597943358960148166066000789873994845599571981165*c_0101_6^9 + 1605032859299634996522977356305629602833451381865956665985144757125\ 4500147034981998683873043666/47670056774856055049763449413257805005\ 579919588671792029633213200157974798969119914396233*c_0101_6^8 - 1715290004461183174466683793700849262243418788818331167746621394325\ 0594938828933366735808233374/23835028387428027524881724706628902502\ 7899597943358960148166066000789873994845599571981165*c_0101_6^7 - 2567860340845530111818720903790865403135561623416072641653275974522\ 3890479519052794777334444859/23835028387428027524881724706628902502\ 7899597943358960148166066000789873994845599571981165*c_0101_6^6 - 4746844935636585755778474870297578141757285789441971858121747374233\ 050174283425166709536641827/238350283874280275248817247066289025027\ 899597943358960148166066000789873994845599571981165*c_0101_6^5 + 1610172155658958626873345935231485767724969425910137797936563446441\ 504367292693905388017610839/238350283874280275248817247066289025027\ 899597943358960148166066000789873994845599571981165*c_0101_6^4 + 3794103563855595212348225816460017167745918598245685843349714523853\ 86600343432596620150285136/2383502838742802752488172470662890250278\ 99597943358960148166066000789873994845599571981165*c_0101_6^3 - 5465705443048443490371318783100511302088766415730545263857190507325\ 6510780626666720109268722/23835028387428027524881724706628902502789\ 9597943358960148166066000789873994845599571981165*c_0101_6^2 - 1540526770812635738230454916350941725879204595411532714501017004855\ 994337464420827842086115/476700567748560550497634494132578050055799\ 19588671792029633213200157974798969119914396233*c_0101_6 + 6217439955469560295872998164631825132705570507398168521645287812652\ 82151531418192781252533/2383502838742802752488172470662890250278995\ 97943358960148166066000789873994845599571981165, c_0101_2 + 154566939839557426419908061237572511118073303073764913121857\ 404675957848819735300573422812/119175141937140137624408623533144512\ 5139497989716794800740830330003949369974227997859905825*c_0101_6^25 - 17523881369893109134440049261097394263357154490326425631619137316\ 22454395988298641856487863/1191751419371401376244086235331445125139\ 497989716794800740830330003949369974227997859905825*c_0101_6^24 - 1952874014892129076618843743523552121625915463089490923329100413442\ 304226377642462516657377/238350283874280275248817247066289025027899\ 597943358960148166066000789873994845599571981165*c_0101_6^23 - 7028346769157706135086514386473469787736451684401224664707620076902\ 5359970802199711894740982/11917514193714013762440862353314451251394\ 97989716794800740830330003949369974227997859905825*c_0101_6^22 - 4865310284658453649424894713214372512441379421912657513776699988377\ 12629036096140691431390421/1191751419371401376244086235331445125139\ 497989716794800740830330003949369974227997859905825*c_0101_6^21 - 2103021317716368967150228767287819694299719710442757152672531817503\ 839649314363562851255603831/119175141937140137624408623533144512513\ 9497989716794800740830330003949369974227997859905825*c_0101_6^20 - 7220412220229768575141019302713791102846941209048400023996426067429\ 894474605598460991614977523/119175141937140137624408623533144512513\ 9497989716794800740830330003949369974227997859905825*c_0101_6^19 - 2445700607715285099701353031195324888265229713352912983971121492688\ 2904494160132492654227140644/11917514193714013762440862353314451251\ 39497989716794800740830330003949369974227997859905825*c_0101_6^18 - 1352282694259117191475329173039313776778108898572292601902192590153\ 9853315375645353480349666339/23835028387428027524881724706628902502\ 7899597943358960148166066000789873994845599571981165*c_0101_6^17 - 1116769554801797005446280967993235418712464497504736032199878020574\ 44789157016927465970818613723/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^16 - 1722783886279641773615151985545651976232822442994008012296012805453\ 62026515827777027227165777467/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^15 - 2360269935055649280019871805565425958203413284395790909142083148836\ 22913643541940904905108382574/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^14 + 2662712772192595765586487503544889141750069831772008362694542484661\ 55226578784643279193612757988/1191751419371401376244086235331445125\ 139497989716794800740830330003949369974227997859905825*c_0101_6^13 + 1159294977166996602270128857251133249466147663757269904035904215600\ 657562380881700462510753003982/119175141937140137624408623533144512\ 5139497989716794800740830330003949369974227997859905825*c_0101_6^12 + 11901228563729252284397682638066465400101117490070149427296525957\ 85321810977710477968026304972474/1191751419371401376244086235331445\ 125139497989716794800740830330003949369974227997859905825*c_0101_6^\ 11 + 70159578066434849703928690300330273783545397367361903005012140\ 679618486322376621096860439280308/119175141937140137624408623533144\ 5125139497989716794800740830330003949369974227997859905825*c_0101_6\ ^10 - 7409935283885722139410679716888145066758965096037813738640921\ 84940840068873205913587200477240781/1191751419371401376244086235331\ 445125139497989716794800740830330003949369974227997859905825*c_0101\ _6^9 - 483773545447870864388975320076087182617967655767517669001695\ 257452592155908319178403707595651911/119175141937140137624408623533\ 1445125139497989716794800740830330003949369974227997859905825*c_010\ 1_6^8 + 46504475871053630887533921075059485321141026457160485480698\ 78698302975366093459037122347921321/1191751419371401376244086235331\ 445125139497989716794800740830330003949369974227997859905825*c_0101\ _6^7 + 119067936640954863180578227925076899399618313980875989145340\ 394414578287636992257798582675554689/119175141937140137624408623533\ 1445125139497989716794800740830330003949369974227997859905825*c_010\ 1_6^6 + 40390062542886698942007598811852188616055760237591004980305\ 489506594028370942452903364681111677/119175141937140137624408623533\ 1445125139497989716794800740830330003949369974227997859905825*c_010\ 1_6^5 - 10841436607434887978304172456996218281700249369286604138178\ 08112094314949344501037085896241498/1191751419371401376244086235331\ 445125139497989716794800740830330003949369974227997859905825*c_0101\ _6^4 - 193709048559597828306312001745454596966470313516443302118307\ 8012225509363527016396836879041686/11917514193714013762440862353314\ 45125139497989716794800740830330003949369974227997859905825*c_0101_\ 6^3 - 5807091584132272501116662954133227941187279621017683294659821\ 8455010386564252724598121072134/11917514193714013762440862353314451\ 25139497989716794800740830330003949369974227997859905825*c_0101_6^2 + 29180342202440862932663338305992655635458787364689649896856561262\ 050888543640028638340082612/119175141937140137624408623533144512513\ 9497989716794800740830330003949369974227997859905825*c_0101_6 - 2932005237358243338422034159070004132011416180098461212425168398326\ 16899475128774127727574/1191751419371401376244086235331445125139497\ 989716794800740830330003949369974227997859905825, c_0101_3 + 132265813237326795732442763876371029460720175946257320408412\ 8800475693586394628316746850/47670056774856055049763449413257805005\ 579919588671792029633213200157974798969119914396233*c_0101_6^25 - 7508786747869462785784847842241799725610903651419681174558911610214\ 0728991383849695304204/23835028387428027524881724706628902502789959\ 7943358960148166066000789873994845599571981165*c_0101_6^24 - 4164719350015840691653699381124814934008530030906572778307658955834\ 12907994321908336952187/2383502838742802752488172470662890250278995\ 97943358960148166066000789873994845599571981165*c_0101_6^23 - 3000818280709587956765993565996477201568002568570992374828889819311\ 488541033023338831588129/238350283874280275248817247066289025027899\ 597943358960148166066000789873994845599571981165*c_0101_6^22 - 2076980612708560731326566929996470236210797457190461622961805420365\ 2700376565005995739843599/23835028387428027524881724706628902502789\ 9597943358960148166066000789873994845599571981165*c_0101_6^21 - 8965651700213967089091360814231977637532014998422734806259276062910\ 5808453906722277872006551/23835028387428027524881724706628902502789\ 9597943358960148166066000789873994845599571981165*c_0101_6^20 - 6151940958852324810748662297428369987059588289840575907096886456927\ 1891885661346566277308875/47670056774856055049763449413257805005579\ 919588671792029633213200157974798969119914396233*c_0101_6^19 - 1041959406028016645374887864216023322332042960658636955294486182047\ 192257366690913162508871779/238350283874280275248817247066289025027\ 899597943358960148166066000789873994845599571981165*c_0101_6^18 - 5755655126522261148726026137050097180012600182795911824506018151728\ 31492114253361480972740292/4767005677485605504976344941325780500557\ 9919588671792029633213200157974798969119914396233*c_0101_6^17 - 9475803211064927402310628865819938870641717682352111944797910556627\ 76817711603264101238784712/4767005677485605504976344941325780500557\ 9919588671792029633213200157974798969119914396233*c_0101_6^16 - 7312897978547744244198311446528537087731671765265171714112439453221\ 450557822663167022665052289/238350283874280275248817247066289025027\ 899597943358960148166066000789873994845599571981165*c_0101_6^15 - 1000839866527694833933380317693145853312764238422281816782705766300\ 9283982655127374280161275749/23835028387428027524881724706628902502\ 7899597943358960148166066000789873994845599571981165*c_0101_6^14 + 2302151072872272185074090130103436344717516528851218807694356531820\ 773094869998320814377985798/476700567748560550497634494132578050055\ 79919588671792029633213200157974798969119914396233*c_0101_6^13 + 4934417437271293227468289987798297343891479766972465185559648098541\ 2336262869674722856334691584/23835028387428027524881724706628902502\ 7899597943358960148166066000789873994845599571981165*c_0101_6^12 + 5021089340961178423409411545485348794470095573331588192431267242542\ 4384231623313539852312781844/23835028387428027524881724706628902502\ 7899597943358960148166066000789873994845599571981165*c_0101_6^11 + 5059711847159491613872673532027106598470810120363626782324464937063\ 44640009411358855045921803/4767005677485605504976344941325780500557\ 9919588671792029633213200157974798969119914396233*c_0101_6^10 - 3145641499304372396677212850033966340885418047594759831933512787725\ 1127817328619108241655823291/23835028387428027524881724706628902502\ 7899597943358960148166066000789873994845599571981165*c_0101_6^9 - 4050533353645923208963509242979446888359370951742152608766725489068\ 878724355780408497588805295/476700567748560550497634494132578050055\ 79919588671792029633213200157974798969119914396233*c_0101_6^8 + 3029712945832315228957480395337577970900478247792519081869968130341\ 45767973108129570263417532/2383502838742802752488172470662890250278\ 99597943358960148166066000789873994845599571981165*c_0101_6^7 + 5006362421441046449338477015000382188806539757168122630590380059524\ 487673512873127716747980252/238350283874280275248817247066289025027\ 899597943358960148166066000789873994845599571981165*c_0101_6^6 + 1681167405321364327920577977246918930591905163682330924428935565228\ 400572781749485258115725501/238350283874280275248817247066289025027\ 899597943358960148166066000789873994845599571981165*c_0101_6^5 - 4607383515219430365092924045943837247885246905670624331388755830275\ 4505016488330324695990187/23835028387428027524881724706628902502789\ 9597943358960148166066000789873994845599571981165*c_0101_6^4 - 8042588692303415048248326556336450084328752616506960381870518996544\ 6029475282405251226527163/23835028387428027524881724706628902502789\ 9597943358960148166066000789873994845599571981165*c_0101_6^3 - 2496759271483124156932568426165536228002155497997060435683406362685\ 416280370620550453500914/238350283874280275248817247066289025027899\ 597943358960148166066000789873994845599571981165*c_0101_6^2 + 3292704256016701014913014180186553580208656540520057357633045769316\ 33866047496734438419818/4767005677485605504976344941325780500557991\ 9588671792029633213200157974798969119914396233*c_0101_6 - 1463578498197698715316359422954792571218299383206356870602197616601\ 9163773343114745064249/23835028387428027524881724706628902502789959\ 7943358960148166066000789873994845599571981165, c_0101_6^26 - 11*c_0101_6^25 - 67*c_0101_6^24 - 476*c_0101_6^23 - 3301*c_0101_6^22 - 14667*c_0101_6^21 - 51298*c_0101_6^20 - 173964*c_0101_6^19 - 490741*c_0101_6^18 - 869809*c_0101_6^17 - 1357568*c_0101_6^16 - 1901960*c_0101_6^15 + 1209248*c_0101_6^14 + 8083873*c_0101_6^13 + 10225045*c_0101_6^12 + 3038060*c_0101_6^11 - 4648996*c_0101_6^10 - 4741997*c_0101_6^9 - 1018756*c_0101_6^8 + 780476*c_0101_6^7 + 519182*c_0101_6^6 + 81094*c_0101_6^5 - 14330*c_0101_6^4 - 4546*c_0101_6^3 - 40*c_0101_6^2 + 36*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB