Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3970789387] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0804 geometric_solution 4.74178463 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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.223838807772 0.126208080168 0 0 2 2 0132 2310 2310 0132 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 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 2.581335692099 1.827931843594 3 1 1 4 0132 3201 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 -1 0 1 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.367664296415 0.637430041112 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 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.163092599620 0.746496388506 3 5 2 3 2310 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.163092599620 0.746496388506 6 4 3 6 0132 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 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.578492196028 0.786618534010 5 6 6 5 0132 1230 3012 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 0 0 0 0 0 0 0 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.808461267538 0.510257996992 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(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_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 5751230825634685164061924894102634307768514683952520877583889137709\ 48699714783/1198743044207272117452185192323252864966235991496037017\ 0037514603485490935961*c_0101_6^28 - 6007698181965283409299573700514978945285323200229716434166576186722\ 5148368543/16883704847989748133129368905961307957270929457690662211\ 3204431035006914591*c_0101_6^27 - 211505063231730192457615198238471\ 2483167144779045752562041619059068707042923168/39958101473575737248\ 40617307744176216554119971653456723345838201161830311987*c_0101_6^2\ 6 + 257794624900924372160804231365235484068757665685544300965267378\ 42076922157013098/3995810147357573724840617307744176216554119971653\ 456723345838201161830311987*c_0101_6^25 + 2370149936146666503964488977372706279702388016430073530782363785993\ 194259123208/570830021051081960691516758249168030936302853093350960\ 477976885880261473141*c_0101_6^24 - 2730405689680775276139693062394347617074163146652902148489136264067\ 9295651109671/57083002105108196069151675824916803093630285309335096\ 0477976885880261473141*c_0101_6^23 - 1141336885381364765608855324673003090049046544975542191528163668379\ 09403705114883/3995810147357573724840617307744176216554119971653456\ 723345838201161830311987*c_0101_6^22 + 2866924199399460496085115245107261591755870825040021024818428097199\ 951941022049990/119874304420727211745218519232325286496623599149603\ 70170037514603485490935961*c_0101_6^21 + 1316820363257590360147337360723292713274498688005822983896613558588\ 844265280411797/119874304420727211745218519232325286496623599149603\ 70170037514603485490935961*c_0101_6^20 - 8295015135637999963561805990807511401716824058658414645747196586171\ 794624205145410/119874304420727211745218519232325286496623599149603\ 70170037514603485490935961*c_0101_6^19 + 9019323966691321431191696587143872270354728628431592447987580755315\ 96860962552358/3995810147357573724840617307744176216554119971653456\ 723345838201161830311987*c_0101_6^18 + 1853051023795276546439050811566080909368205169644124579749237395283\ 1959951429680806/11987430442072721174521851923232528649662359914960\ 370170037514603485490935961*c_0101_6^17 - 2877118292154411571576992832195524773646501774081143435556715245387\ 4558993560880454/11987430442072721174521851923232528649662359914960\ 370170037514603485490935961*c_0101_6^16 - 6624933638686373183212732630511921537682129498183759265926080838750\ 627246696925382/171249006315324588207455027474750409280890855928005\ 2881433930657640784419423*c_0101_6^15 + 2152183260754409712642923602999495634739794083462847751971341137200\ 7104991616034137/39958101473575737248406173077441762165541199716534\ 56723345838201161830311987*c_0101_6^14 + 2849499030404311085147441783695155722731279842986683377814108929229\ 2737767218412502/39958101473575737248406173077441762165541199716534\ 56723345838201161830311987*c_0101_6^13 - 4051587161434502139812867292167370560677913943587190291435332904257\ 3080104266718286/11987430442072721174521851923232528649662359914960\ 370170037514603485490935961*c_0101_6^12 - 1047022277046898468779769843973684071976319987741275212897623144345\ 28568632157605424/1198743044207272117452185192323252864966235991496\ 0370170037514603485490935961*c_0101_6^11 + 6727943628097837408648301190083288170697669408430020522030837477493\ 37627280091077/3995810147357573724840617307744176216554119971653456\ 723345838201161830311987*c_0101_6^10 + 7940268160731195994229966748009249939378962254518604232050544071085\ 462890461024178/171249006315324588207455027474750409280890855928005\ 2881433930657640784419423*c_0101_6^9 - 3372991255137098935745225380094427062724100634783179026866343270817\ 05744651205140/3995810147357573724840617307744176216554119971653456\ 723345838201161830311987*c_0101_6^8 - 4537697609864629193922209330276647825145914293727916151384356419145\ 16015035323896/5708300210510819606915167582491680309363028530933509\ 60477976885880261473141*c_0101_6^7 + 6300578599791244285417676479740722462472912170624460591679019187918\ 760371921213280/119874304420727211745218519232325286496623599149603\ 70170037514603485490935961*c_0101_6^6 + 1339320157231297794104511981624060426747810293352308547988772867375\ 179088426725535/119874304420727211745218519232325286496623599149603\ 70170037514603485490935961*c_0101_6^5 - 5539564638803939879044034429478507776198408233154000365687927059589\ 02084016385884/3995810147357573724840617307744176216554119971653456\ 723345838201161830311987*c_0101_6^4 - 9450666496729570540352450655147150768521878015827395477475761134888\ 8479336268160/39958101473575737248406173077441762165541199716534567\ 23345838201161830311987*c_0101_6^3 + 3091497884770627777743425182780536159759410780377467642162557158367\ 1644661682446/39958101473575737248406173077441762165541199716534567\ 23345838201161830311987*c_0101_6^2 + 2377847788094417175743562416671893108706966226533669925901392372125\ 1310281247017/11987430442072721174521851923232528649662359914960370\ 170037514603485490935961*c_0101_6 + 2812638258503288075742449251780798450234883319546269362096300499227\ 853706768626/119874304420727211745218519232325286496623599149603701\ 70037514603485490935961, c_0011_0 - 1, c_0011_2 + 326655940659881730003663001262034519980326693339283397003650\ 3575651447229/80398594514236895872044613837910990272718711703288867\ 67295449096905091171*c_0101_6^28 - 3434435527435653558010938101090002791403543880630751488909448568160\ 16336/1132374570623054871437248082224098454545333967651955882717668\ 88688804101*c_0101_6^27 - 34292046832762192144558551501461734523559\ 495172245906993823195330256437012/803985945142368958720446138379109\ 9027271871170328886767295449096905091171*c_0101_6^26 + 4365654471588708426707279100190453902576107155425162198714657104532\ 70173246/8039859451423689587204461383791099027271871170328886767295\ 449096905091171*c_0101_6^25 + 2564644572310907727443868539294893612\ 24875055395217766442407186302266738106/8039859451423689587204461383\ 791099027271871170328886767295449096905091171*c_0101_6^24 - 3192478593095341054196356643483871256897412880241327260659289722461\ 972922524/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^23 - 175971099988961793551334193285267579\ 8226901263715228066021016952992218121677/80398594514236895872044613\ 83791099027271871170328886767295449096905091171*c_0101_6^22 + 1581406044943787389269953371702999047797176760901628728827881663860\ 0767731453/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^21 + 65067363264250699481401476766583304\ 27240508164048258638411238734906789510201/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^20 - 4468968076152644270309291991418161561704170696869238241245317936895\ 0221178472/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^19 + 18176651702624462248401316739881152\ 286958044566091950513724304472695432730977/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^18 + 9674353821732589146739689441046817514677239810131769435915440973497\ 3137028691/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^17 - 16359413955292082582362203829063264\ 5219154179426133853474939665272981318791492/80398594514236895872044\ 61383791099027271871170328886767295449096905091171*c_0101_6^16 - 2401835180991278323257671346375864648864869822332229004521356712275\ 32409971184/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^15 + 3477822523636627854782261868469209\ 13058860977005968718182567388150225434194535/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^14 + 4335502138122556556442583144459307629562386698680425256573525758825\ 26004766372/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^13 - 1877435209135767492249148604813512\ 96421205748457639855974721365540680678210949/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^12 - 5236250804277176644021698384339732088078719853072818589587955184556\ 01047775005/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^11 + 3326960492755192267352271248265984\ 10139319015724436276341306801817668520269/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^10 + 2349148248240662100361120839138204959313726196266782014637884452251\ 84279571612/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^9 - 77600964091215714840685381602553774\ 51502692941392022625531230759095634894779/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^8 - 2123324882535013303698879109838005192308351147360786656590497208999\ 2410450769/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^7 + 326474037812406832028628535183078836\ 85458373785294942775375961383445659955833/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^6 + 5500011078893980287514811597646804026394921653405737378950893730138\ 983301546/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^5 - 4963801652420232435891961707243335630\ 572236791747771148848271985663099313373/803985945142368958720446138\ 3791099027271871170328886767295449096905091171*c_0101_6^4 - 9808582098027838075320339562925436094258384494303956803603105179933\ 41442883/8039859451423689587204461383791099027271871170328886767295\ 449096905091171*c_0101_6^3 - 16691794029804278893774289947290541368\ 157965690039566988339117186292525223/803985945142368958720446138379\ 1099027271871170328886767295449096905091171*c_0101_6^2 + 2133658659054037789244290957353226548617887585852439548090284006240\ 1043103/80398594514236895872044613837910990272718711703288867672954\ 49096905091171*c_0101_6 + 19509244187715872436405127608557780298519\ 16678070346455428279022689520872/8039859451423689587204461383791099\ 027271871170328886767295449096905091171, c_0011_4 + 721521569769774979278141247292439004854526022306104178138482\ 3462157092565/80398594514236895872044613837910990272718711703288867\ 67295449096905091171*c_0101_6^28 - 7615140771524458696638925932189063307768450752508021812164990077298\ 03009/1132374570623054871437248082224098454545333967651955882717668\ 88688804101*c_0101_6^27 - 74276275332955552573116636289286375597707\ 891455701233773252152852732305504/803985945142368958720446138379109\ 9027271871170328886767295449096905091171*c_0101_6^26 + 9670457031978768648868974676120206634524416598959787266316194519573\ 17852537/8039859451423689587204461383791099027271871170328886767295\ 449096905091171*c_0101_6^25 + 5394151112254733396950584963206175733\ 67590241657896685925463687138135849587/8039859451423689587204461383\ 791099027271871170328886767295449096905091171*c_0101_6^24 - 7077828061013371362506526418388160096930941757190363250373384623317\ 576642573/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^23 - 368708680814773262355624880907828957\ 7859969123649123774379154282252877018155/80398594514236895872044613\ 83791099027271871170328886767295449096905091171*c_0101_6^22 + 3511233034835837056564380446497214953309385449911186607007706216542\ 9120104634/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^21 + 13386403865873325967898221442013407\ 683245407460410547068681743708654686770928/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^20 - 9946689972208906535109812001888130327635796533150536371604310069515\ 7561399742/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^19 + 42953242289098592297269464954970480\ 775476694247528206947672021013061029920087/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^18 + 2134538212395581188283759613079765825072017816983493055947475310586\ 25944963656/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^17 - 3682248235037381706378132252208494\ 99946002945481110075850023276007799147213545/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^16 - 5218053896193783434005813946586670259403963218930350728999507171627\ 23324937169/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^15 + 7874969933854748239242307526490886\ 18691796584909389431348933999603399395243708/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^14 + 9390896784428705860330323262115248227820744847717194370585660605602\ 82400602231/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^13 - 4499783525669716006353841681858162\ 77284071487699619890277735013513211658320236/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^12 - 1150513115610202069537169544585937252208323234611469960327893135503\ 906254287078/803985945142368958720446138379109902727187117032888676\ 7295449096905091171*c_0101_6^11 + 374762889516930416774391628550236\ 51016935032922309502363985059763463917613391/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^10 + 5270382357425122838613487868961382880270408964391200174234877500194\ 68493121897/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^9 - 33297398692371911886539962704669252\ 069427810874845281305196826047128490642136/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^8 - 4787355230095878559796521883256815147835702798581235645604125247874\ 7210303223/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^7 + 737543199092338490974147326952478197\ 13048078203514054900685441319484001884361/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^6 + 9047446844231711917886530581949758536412551764318053675235303012696\ 411111400/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^5 - 1166741758759382582036191860467967131\ 9919920690099812953445117526269883959988/80398594514236895872044613\ 83791099027271871170328886767295449096905091171*c_0101_6^4 - 1763310235005312375925682613652134730292161726848503108858730940807\ 010266406/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^3 - 2987020736081562129708320619199073758\ 774006282905033520868064206960703060/803985945142368958720446138379\ 1099027271871170328886767295449096905091171*c_0101_6^2 + 4055553580786331140113128967730064175179354028028660922892009239094\ 5911547/80398594514236895872044613837910990272718711703288867672954\ 49096905091171*c_0101_6 + 15108138046427878082114751195012289209678\ 759480017525068272060808532817263/803985945142368958720446138379109\ 9027271871170328886767295449096905091171, c_0101_0 - 993002862750335077986729459259058983483824825283124263778335\ 490737171380/803985945142368958720446138379109902727187117032888676\ 7295449096905091171*c_0101_6^28 + 111353255843824254838271579537127\ 308943647233710496853359682814208327237/113237457062305487143724808\ 222409845454533396765195588271766888688804101*c_0101_6^27 + 6498441835191608428216985424323987454642561816327241666414018108150\ 603648/803985945142368958720446138379109902727187117032888676729544\ 9096905091171*c_0101_6^26 - 135938640110180343847395999779649558987\ 047440266445738387899821434089692744/803985945142368958720446138379\ 1099027271871170328886767295449096905091171*c_0101_6^25 - 1060035495060622120973728496062531274126075246281684628609347397408\ 8579370/80398594514236895872044613837910990272718711703288867672954\ 49096905091171*c_0101_6^24 + 97587220106495237130461798340786591096\ 3529572303823866840527549131695546581/80398594514236895872044613837\ 91099027271871170328886767295449096905091171*c_0101_6^23 + 5306233988739371203545203688255236771236285091271607510390387918615\ 7704438/80398594514236895872044613837910990272718711703288867672954\ 49096905091171*c_0101_6^22 - 48345786279138344116986019261838235351\ 96285741854080820755701035882621226450/8039859451423689587204461383\ 791099027271871170328886767295449096905091171*c_0101_6^21 + 4022847880596081405745543974490677642189056314908413391206074985322\ 65294284/8039859451423689587204461383791099027271871170328886767295\ 449096905091171*c_0101_6^20 + 1338679074419962558804814129149899282\ 2414580978805640153575971881546065397305/80398594514236895872044613\ 83791099027271871170328886767295449096905091171*c_0101_6^19 - 1207031721432930117948337858425536199455402671788636676314151322097\ 9717519517/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^18 - 23407132902251563755964619170613127\ 094104666107969548145520583012112302736712/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^17 + 6109023257937600057735448048069750844629034670597027145480604772000\ 5084773927/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^16 + 42864206494967274229045986467487149\ 249080337247668949425730352435585188530667/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^15 - 1265361017590577153344984202578256015551708829097637952216875274711\ 96908597453/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^14 - 7019025557741663898888804056401594\ 2556654204468247288984613033340159934261995/80398594514236895872044\ 61383791099027271871170328886767295449096905091171*c_0101_6^13 + 9071543032880875284898789178513551208377594110456448496149836220498\ 5831407072/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^12 + 11669350913839713997908778097601687\ 6275244239126734257491189118388121867117494/80398594514236895872044\ 61383791099027271871170328886767295449096905091171*c_0101_6^11 - 5559426224155309492251578856386900644013522131020533217902476768787\ 0695624512/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^10 - 45405721233134887267540778575790256\ 855076631102004810544500982921549632255387/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^9 + 2181272052294587558537141517101824625340364528894173869114769966043\ 9645564985/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^8 - 406414708693683544310715501687303588\ 9573863727202977919357018359607762388885/80398594514236895872044613\ 83791099027271871170328886767295449096905091171*c_0101_6^7 - 6612552453134862875026739413757657828244001606415793514912633329055\ 557297619/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^6 + 1344205148547480009990313954872064348\ 281485162991623682130945837058061162429/803985945142368958720446138\ 3791099027271871170328886767295449096905091171*c_0101_6^5 + 7784266718059218222540833883898809535659578539386789500144696951697\ 34327451/8039859451423689587204461383791099027271871170328886767295\ 449096905091171*c_0101_6^4 + 18087326337897965429649011797935269683\ 3673605519822761523759969699409266183/80398594514236895872044613837\ 91099027271871170328886767295449096905091171*c_0101_6^3 - 3947716143848104415135585000712362198006696250151270052828667190037\ 4036000/80398594514236895872044613837910990272718711703288867672954\ 49096905091171*c_0101_6^2 - 960281416635672345909260982217973965944\ 810666262933930991398750329821877/803985945142368958720446138379109\ 9027271871170328886767295449096905091171*c_0101_6 + 1748158327367609393547233177802094832076695977734410161286092040205\ 452400/803985945142368958720446138379109902727187117032888676729544\ 9096905091171, c_0101_1 - 697051110559936181822910177767048864995581327870390066776803\ 4050393189369/80398594514236895872044613837910990272718711703288867\ 67295449096905091171*c_0101_6^28 + 7283100672182395778328649313889669388884817592329980405774470985309\ 84568/1132374570623054871437248082224098454545333967651955882717668\ 88688804101*c_0101_6^27 + 76004023757025299543773454621638059025023\ 118148999417197519602466105028420/803985945142368958720446138379109\ 9027271871170328886767295449096905091171*c_0101_6^26 - 9313813556555774271590783557050845146181176116029950605059138018725\ 63435385/8039859451423689587204461383791099027271871170328886767295\ 449096905091171*c_0101_6^25 - 5937216725963034229428114121182330486\ 04375279413039491235648987404188735446/8039859451423689587204461383\ 791099027271871170328886767295449096905091171*c_0101_6^24 + 6842407490606159863116889155173972293284838528586444585190399631219\ 503424142/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^23 + 408429320556995266449735554773626877\ 3973574578044175387369946958405411735235/80398594514236895872044613\ 83791099027271871170328886767295449096905091171*c_0101_6^22 - 3396907036020078651536113431637188315024257866348005253943880751036\ 3005856122/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^21 - 15533863531800510002412674460483767\ 890366947987464254458582757188434698797297/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^20 + 9668170824082905645049645897846517467856221231248774244205684436909\ 1644729874/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^19 - 34234426770682850327196379208772765\ 442391706279974381715369470198030428757046/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^18 - 2136627042525578743696922512911234033866763608214179752099782977517\ 57838841832/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^17 + 3436970736126497864728823722309524\ 72844703999307767870430174044153885712551881/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^16 + 5388131003466122672256624362322397757098555077383689481654689559570\ 28355921745/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^15 - 7419002674166680290219483367280895\ 17460668953601905181105887464738163076142154/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^14 - 9803717788406386558503864149133144280220496632501811058768196658680\ 98161731674/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^13 + 4058701961379374415529687521614039\ 07445168816179151771012138089550141083088755/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^12 + 1170837550657183413491461623772641164836012248997346237526976606354\ 576997797080/803985945142368958720446138379109902727187117032888676\ 7295449096905091171*c_0101_6^11 + 206908077513281038514614154860105\ 20069302149291355937493987156751865500647167/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^10 - 5515118583009051034502092253242570979664942646468916002670788628951\ 30527568196/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^9 + 79585534010426445155986708010953755\ 95018087841291506504099537013966284003537/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^8 + 6408592953175107621658758065146899884076094163174275171184585196604\ 6162020067/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^7 - 740828342310628893545718383069833899\ 54422830804418538341728571837096752947576/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^6 - 1299541012725415688469975526910597259171765933149118739637564205810\ 9968623973/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^5 + 132178350176767335591884234187901547\ 72582568081553379213166927141506318652669/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^4 + 2178054057004822161040081631796360470986291051919477744342059619664\ 283936054/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^3 - 7956114564963384661821398829876486784\ 4678874559829886974402093207500530541/80398594514236895872044613837\ 91099027271871170328886767295449096905091171*c_0101_6^2 - 4338541896204799934136220569856315348056599216293075298871281737650\ 4598156/80398594514236895872044613837910990272718711703288867672954\ 49096905091171*c_0101_6 - 23713852612530987719441624066604333242047\ 435658495818685901304802030280633/803985945142368958720446138379109\ 9027271871170328886767295449096905091171, c_0101_3 + 368925626108351458545063836565390167183813948787099165360282\ 0347022247682/80398594514236895872044613837910990272718711703288867\ 67295449096905091171*c_0101_6^28 - 3876432158636615212838880315624269905913106352341698508040735001978\ 57836/1132374570623054871437248082224098454545333967651955882717668\ 88688804101*c_0101_6^27 - 38866986284602049202703329360398675442007\ 296057124866088796061938214715741/803985945142368958720446138379109\ 9027271871170328886767295449096905091171*c_0101_6^26 + 4929426877202882435765997276364005078625815459962262825851105640207\ 30604358/8039859451423689587204461383791099027271871170328886767295\ 449096905091171*c_0101_6^25 + 2920517917739945020775118343547309851\ 72646307033355097918209868311749597497/8039859451423689587204461383\ 791099027271871170328886767295449096905091171*c_0101_6^24 - 3605368816778547766583301477643503590926030062469016810203700808618\ 659917752/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^23 - 200512829914286258452443284909972998\ 9835231754178803897625958791353150025242/80398594514236895872044613\ 83791099027271871170328886767295449096905091171*c_0101_6^22 + 1785881085060910446324848891274394222361228942535352786892003421417\ 8355364953/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^21 + 74383899384366249715103263889197429\ 69192081160331707624832909758184256628433/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^20 - 5047370389789786390175577302569666013155509759568623762444020361108\ 2041432524/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^19 + 20268351975586362937646672935345187\ 276315017314051535306713142293858503769577/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^18 + 1094416828658516736915048155577664656510164465110250755435692662042\ 98294229870/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^17 - 1842832074868035627137854355173610\ 06405589491167673751696386482534433289693958/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^16 - 2723037977479460664845089472868536469568228544518245965732571015547\ 88555444159/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^15 + 3918452516726337984061799755446229\ 91626322997309201299456991203067580620396929/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^14 + 4920536145213567031093044619571671030036260150307625746192157442614\ 78344849517/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^13 - 2101552295884293200710944917911931\ 02616961987329377411228593618473243476516828/8039859451423689587204\ 461383791099027271871170328886767295449096905091171*c_0101_6^12 - 5933660671119286708053357497693050473323738011630606461962357578004\ 68662252749/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^11 - 2958521478201069359428498093809536\ 198919448549908635420333936979827271463774/803985945142368958720446\ 1383791099027271871170328886767295449096905091171*c_0101_6^10 + 2661900424543244727572562396171884815274843854440669186724710837378\ 73241629642/8039859451423689587204461383791099027271871170328886767\ 295449096905091171*c_0101_6^9 - 67547922111586069126101162976610500\ 91982802856172252036389612886479182992577/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^8 - 2369932145071851140188600420248422235296656696170356122492061434350\ 9899703190/80398594514236895872044613837910990272718711703288867672\ 95449096905091171*c_0101_6^7 + 364454071241622863086399500295761951\ 24319183237087156972590507729621563772910/8039859451423689587204461\ 383791099027271871170328886767295449096905091171*c_0101_6^6 + 6095178637570807001474091404271756116433288532905353157243091898802\ 286448716/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^5 - 5603052721506068606579579615219523538\ 198950412666988589586263606805244680688/803985945142368958720446138\ 3791099027271871170328886767295449096905091171*c_0101_6^4 - 1174293347010238402100640337794750378680855774258883171152894232420\ 603550318/803985945142368958720446138379109902727187117032888676729\ 5449096905091171*c_0101_6^3 - 3997089806893706692578928033239019856\ 2448574722211108642249048268833138057/80398594514236895872044613837\ 91099027271871170328886767295449096905091171*c_0101_6^2 + 2633355895952259640994603627955861907766791809297496257146485770428\ 9744872/80398594514236895872044613837910990272718711703288867672954\ 49096905091171*c_0101_6 + 59130439669598947560547975066974261247629\ 35479976983586369214515684639360/8039859451423689587204461383791099\ 027271871170328886767295449096905091171, c_0101_6^29 - 7*c_0101_6^28 - 14*c_0101_6^27 + 129*c_0101_6^26 + 141*c_0101_6^25 - 945*c_0101_6^24 - 996*c_0101_6^23 + 4621*c_0101_6^22 + 4263*c_0101_6^21 - 12903*c_0101_6^20 - 875*c_0101_6^19 + 32612*c_0101_6^18 - 36446*c_0101_6^17 - 97721*c_0101_6^16 + 73742*c_0101_6^15 + 184635*c_0101_6^14 + 1312*c_0101_6^13 - 191367*c_0101_6^12 - 73477*c_0101_6^11 + 76799*c_0101_6^10 + 31820*c_0101_6^9 - 9318*c_0101_6^8 + 6800*c_0101_6^7 + 6330*c_0101_6^6 - 1043*c_0101_6^5 - 1089*c_0101_6^4 - 123*c_0101_6^3 + 10*c_0101_6^2 + 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB