Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 2564359286] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0729 geometric_solution 4.67808615 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490359268617 0.060027853167 2 0 2 0 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500429067818 0.185931936808 1 3 1 3 0132 0132 1023 2310 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 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.408554472540 3.514203729444 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 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 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.275048607061 0.496332588878 6 5 3 5 0132 3012 0132 1302 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 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.769426470652 0.808540202203 4 6 4 3 1230 2310 2031 0132 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 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769426470652 0.808540202203 4 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985754901516 0.510887885360 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 5089254494843075710413859090955348674224653200354227600198769655378\ 7493223911449/50381181123218820051185229319919634450253626363790716\ 881786409867945633815735*c_0101_6^30 + 2034976462709206772077387740263465001230552378928871109956707970601\ 2192122275750/10076236224643764010237045863983926890050725272758143\ 376357281973589126763147*c_0101_6^29 + 1220530349817471044602750308344695331047313879144665495421892500065\ 628061571598963/100762362246437640102370458639839268900507252727581\ 43376357281973589126763147*c_0101_6^28 - 5725173304104059812281374286535717228668158945197328923649482803569\ 18752478493908/1071940023898272767046494240849353924473481411995547\ 167697583188679694336505*c_0101_6^27 - 1864432336171695855391398163321331974778966752709044871601398424242\ 0146860141163387/10076236224643764010237045863983926890050725272758\ 143376357281973589126763147*c_0101_6^26 + 1148709490169959780056607638583493605176911497223622597315301789728\ 02233908009899439/1007623622464376401023704586398392689005072527275\ 8143376357281973589126763147*c_0101_6^25 + 9649514968595862865228824709188963248508072159511538308602355862798\ 7857405450132157/10076236224643764010237045863983926890050725272758\ 143376357281973589126763147*c_0101_6^24 - 1061629277533079859989104071897204697112691359528032851264062105548\ 191195808988209284/100762362246437640102370458639839268900507252727\ 58143376357281973589126763147*c_0101_6^23 - 3823479847682563480995441932256675239596431363138272115944334871715\ 5836950097441986/50381181123218820051185229319919634450253626363790\ 716881786409867945633815735*c_0101_6^22 + 5408256769072386589077753641680242892747473408133089833332963968010\ 839413495535979640/100762362246437640102370458639839268900507252727\ 58143376357281973589126763147*c_0101_6^21 - 9832715085470211251343055011519865859007104781468607565331905078898\ 163214458542262342/503811811232188200511852293199196344502536263637\ 90716881786409867945633815735*c_0101_6^20 - 8260950715395386768386713457908570854169244185300965076060551933943\ 4384978127968371291/50381181123218820051185229319919634450253626363\ 790716881786409867945633815735*c_0101_6^19 + 4633694538954906141199454024218960752442165190044682406420971752048\ 8780384566870022121/50381181123218820051185229319919634450253626363\ 790716881786409867945633815735*c_0101_6^18 + 1555871232241531421680869425570889072928875264025905344555535253935\ 03291913056777813019/5038118112321882005118522931991963445025362636\ 3790716881786409867945633815735*c_0101_6^17 - 1076377685234756970517843463494870142092152330856773100342293540937\ 05082381469319251691/5038118112321882005118522931991963445025362636\ 3790716881786409867945633815735*c_0101_6^16 - 3617213355853496999631210727761097241880063449379510133893633279271\ 3673309765520319811/10076236224643764010237045863983926890050725272\ 758143376357281973589126763147*c_0101_6^15 + 1456368605255935808497267664874685090604787297544473019651566877210\ 72156352761096952568/5038118112321882005118522931991963445025362636\ 3790716881786409867945633815735*c_0101_6^14 + 1280201914851181308270905936535652799146518145236164426766589850630\ 22569069651480866629/5038118112321882005118522931991963445025362636\ 3790716881786409867945633815735*c_0101_6^13 - 2383113779545634994927812274842190379534859903268548185398045277748\ 6912811095077181417/10076236224643764010237045863983926890050725272\ 758143376357281973589126763147*c_0101_6^12 - 5445297520194532102478563573367875851343956770049026937760089871628\ 4990427681471745537/50381181123218820051185229319919634450253626363\ 790716881786409867945633815735*c_0101_6^11 + 5929830928062561685335703296898240649708091290982293272269244283912\ 8918303323523287794/50381181123218820051185229319919634450253626363\ 790716881786409867945633815735*c_0101_6^10 + 1400484037639692838539717073247763130232217033207941297456913303296\ 7852021360918696628/50381181123218820051185229319919634450253626363\ 790716881786409867945633815735*c_0101_6^9 - 1766369254966738747019546207547215913598711230203360966691966099270\ 6884865028745592801/50381181123218820051185229319919634450253626363\ 790716881786409867945633815735*c_0101_6^8 - 2177330321055825101116300848724250524637710362335588235322597861138\ 575094919014499713/503811811232188200511852293199196344502536263637\ 90716881786409867945633815735*c_0101_6^7 + 2926681665212898795590581058379196426483882124314653580927908577805\ 330551958844868834/503811811232188200511852293199196344502536263637\ 90716881786409867945633815735*c_0101_6^6 + 2186305836897994487769060510230057160826494192910515778249745866154\ 81064095752976394/5038118112321882005118522931991963445025362636379\ 0716881786409867945633815735*c_0101_6^5 - 2385740761565695805701348973214549751615385979787930682483195036277\ 48013247915512699/5038118112321882005118522931991963445025362636379\ 0716881786409867945633815735*c_0101_6^4 - 1595446549228537541621779764136509952403237628038128736318087077695\ 2023117724999819/50381181123218820051185229319919634450253626363790\ 716881786409867945633815735*c_0101_6^3 + 6952363576331024127588681201329124512442171690033352602183215136845\ 526563967784864/503811811232188200511852293199196344502536263637907\ 16881786409867945633815735*c_0101_6^2 + 6331494173593050226715009301502998221848480912924906735597077633229\ 37987770029622/5038118112321882005118522931991963445025362636379071\ 6881786409867945633815735*c_0101_6 + 4459134614668972594264599876045514966227869937635471493540738395061\ 3552767177917/50381181123218820051185229319919634450253626363790716\ 881786409867945633815735, c_0011_0 - 1, c_0011_1 + 472190492778869447113966745182708579694641275317159821275788\ 624084362773546/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^30 - 7625224215862630227050153993500328468005757822333725356108003308089\ 24794305/2143880047796545534092988481698707848946962823991094335395\ 16637735938867301*c_0101_6^29 - 56960920878437959162719509076420102\ 593498901654349612639762711003818001362360/214388004779654553409298\ 848169870784894696282399109433539516637735938867301*c_0101_6^28 + 2278560830241037240089027545797187956828712823809239262042664593674\ 74527525093/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^27 + 9580653955049317924163989002921592097445944038094767529161862118234\ 08696608514/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^26 - 4985178093762584406723748216234250066508582309581098386547786661520\ 996206716781/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^25 - 6477287631584812057914812922525346859967394129678754009813460834105\ 560299751703/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^24 + 4728243305930161009807085263904995780864686197853633423885872080958\ 3598349490620/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^23 + 1896255857870099525093575539147987198540201401148995522624022265964\ 3175145892744/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^22 - 2484246698564828064574194972175444545562139191754295148060261641680\ 96674248208973/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^21 - 4243290786370384433465710832718506511917776875768575447238422996334\ 288690828898/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^20 + 7893306235696358308287955073281475146185630222310914893211346306357\ 70640756422186/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^19 - 1357114382465546650668446438612198173387098683702143984510031164237\ 88123708551969/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^18 - 1570298145186930314728922285722838969936805822824073435646807886042\ 870817311977873/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^17 + 4379154475495232358205340404366829568847984202532350552220509837214\ 32163605036087/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^16 + 1986029314597189457760089792020885952674159243843675529070785028549\ 482007503183059/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^15 - 6867652741453996053099254367742180578678128801061740682211516668288\ 22860996822331/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^14 - 1612525980252219925542666034922762480961489679192833337424363238116\ 833184858154016/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^13 + 6187781808283929086498189662496880421925360202307780548985771885133\ 34342413627908/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^12 + 8548216094095265755410591840933368453821943758647328472867137654730\ 12940989024076/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^11 - 3295749860767075633213647968108246175768025663246971115546969733898\ 58814379273452/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^10 - 3024949417098885956019709294340565020440498547012650856710937783500\ 13439700338592/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^9 + 1006442509183190461280742328996038940818307808117175127388311723203\ 73917058236056/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^8 + 6986924231275656762411772117834973724557032233876162608764339205398\ 0183664396881/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^7 - 1574927141073773322249479234640756103579448989545190209572257143096\ 2527894682370/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^6 - 9554532503248667081763905611414966610413604993389791024590832401137\ 869541664677/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^5 + 1000072902940736504277607578476258721492796780880015573585700824014\ 827094147445/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^4 + 6516187718694772554994164834486982097516463040014746046624873090841\ 76215713740/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^3 - 369809681177723328025048371776635\ 984652017437799675357027148510473059507287/214388004779654553409298\ 848169870784894696282399109433539516637735938867301*c_0101_6^2 - 1576789732449578757914014090896734980824727748398467801964369145936\ 5475702483/21438800477965455340929884816987078489469628239910943353\ 9516637735938867301*c_0101_6 - 144136787444309059857610559389938086\ 4058225692208495698700605742950434917900/21438800477965455340929884\ 8169870784894696282399109433539516637735938867301, c_0011_4 + 402579770102566859091380553535690568426354253322161599564605\ 987859851847453/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^30 - 7160394036389522552888012680257345272238428272674622484492077159242\ 26372377/2143880047796545534092988481698707848946962823991094335395\ 16637735938867301*c_0101_6^29 - 48435351728449332470114877638525940\ 387986739978754249961222590468078029210599/214388004779654553409298\ 848169870784894696282399109433539516637735938867301*c_0101_6^28 + 2021729003327857937388544882981394824201172734349388967425789221930\ 93024995615/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^27 + 7823936285048299067261593769403304256134200735119024071278283812539\ 61823645362/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^26 - 4372250055371654627109225439658307317534754623311761361135870890632\ 816604613129/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^25 - 4787301817847726287927579640874537592781465238557683292300328992456\ 411662118561/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^24 + 4096666697796342304915029749156659708215563460962158883535034809576\ 9563221231902/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^23 + 9379100280695409662907459984317797004243097173540168840430180254518\ 496300737768/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^22 - 2121591034362344054574319595999096507268746768685479992375500995144\ 55232361865303/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^21 + 3089575295152796490531632792473727225044685912762597662801786074994\ 7451857231104/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^20 + 6620086720912194003145622744254891187744539848083211472866106529619\ 02685033229011/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^19 - 2207675994642692903107996054412348993419609896479333882541764443418\ 32743135438259/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^18 - 1285053066925496205803838071660712964747399154240692500661504185470\ 608673644058665/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^17 + 5700559251240423096403159810621717927598577286375189529995341552646\ 72617816646965/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^16 + 1567900279847391371160869176850957410845225248804606262770454881321\ 041829351651828/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^15 - 8120732287646682360518840044815112337021092205782107563177665115964\ 26295853619609/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^14 - 1206775775292733349744971509497973662175607804587144690149239530571\ 048783107766359/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^13 + 6858033706566270293089510598985470625479664424434090143950089350385\ 86891619669127/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^12 + 5943358533366493621142264137085108156081292491214659934214095601561\ 13817920752510/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^11 - 3471848218130249947401919076090622511370131210429482360917423400744\ 79867250410623/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^10 - 1936478647298541684222109428678765539997253966934673735918175749739\ 65598854526808/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^9 + 1025649435660984030402703272127265533107476353235553299254829406326\ 34311699648731/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^8 + 4176824170710070355082684132605659099748028403573853298923961324223\ 1483907339789/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^7 - 1596355833389963231433565141011168183192930958966861340044611895238\ 4290544507693/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^6 - 5584821935828943460468040236369183264072756473998979861072288155003\ 502786861528/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^5 + 1078994485702467651850299301259969979998988083497670835961086906768\ 147704422008/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^4 + 3959526986811075006375532188628068001684996794267971596350506636927\ 05069204463/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^3 - 122419358704034014420158405881041\ 85751227124101414728350458727215067037178715/2143880047796545534092\ 98848169870784894696282399109433539516637735938867301*c_0101_6^2 - 1058134116074046100949790615392772711177593866300110012885047049645\ 1929236088/21438800477965455340929884816987078489469628239910943353\ 9516637735938867301*c_0101_6 - 953671250589492128959945003923402056\ 098959801551005281085586858377973009637/214388004779654553409298848\ 169870784894696282399109433539516637735938867301, c_0101_0 + 432753769558986209576935930928791780729760645177312402623320\ 731544504242849/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^30 - 7923974002808743453869677452295225411080487140356071254129812872525\ 72486774/2143880047796545534092988481698707848946962823991094335395\ 16637735938867301*c_0101_6^29 - 52017103825498385315999764024340704\ 041182801486024350588646618475083908545015/214388004779654553409298\ 848169870784894696282399109433539516637735938867301*c_0101_6^28 + 2200427371360959539129125481982117265881140874956177771629702225868\ 48405648446/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^27 + 8286516850577151732622455854883683043589286125559722297056136447360\ 03352876835/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^26 - 4740101943883979214338311597788521744810460464745596952573851133976\ 014804117773/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^25 - 4883052419490746784525605732574915918740080682412020812361899145663\ 548690166697/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^24 + 4422052839154108604716866869813257373148780174300617632659035536928\ 8500038535009/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^23 + 7660677471859625844778300209547128837885913887388179789999197599299\ 916266074270/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^22 - 2277693895887576264215104315117977714997666126441429607536226121348\ 59956339463855/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^21 + 4549649068633239012039809249280000848070458414569781006718455406671\ 5604543744722/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^20 + 7055817410076357512606549966804977868693267572510986114532380307660\ 53249041693622/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^19 - 2746772196682486215604577746484816767460209574890037497140967691976\ 31683863407652/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^18 - 1355284705737030420999204221404936990383409707426969170523711339751\ 317720910209624/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^17 + 6827221651686400559097540444862193971943034655233296567081139752904\ 79954238546385/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^16 + 1626299521913823781080655580296380462684276905000373508839443521154\ 558489044584429/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^15 - 9532822137645323512864097688516755787962550190231468736965752852648\ 59196609085596/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^14 - 1217744195761106605825537506392328691354203188712815091487244738212\ 372430611251530/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^13 + 7925066559715336788632221436298223958096036408195040751463945931718\ 42668785568335/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^12 + 5735965663398079450383957604622926334858219854816355125135545073278\ 04520644513001/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^11 - 3951136821899038511184717517750582308984114082428274062277703952892\ 78106267985923/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^10 - 1752759576581400383314577025149422085521804943960525502999097269566\ 25236653140594/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^9 + 1149563534527070354804726672980852436629515517465560100136033143136\ 17192376229697/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^8 + 3491547689486772571257184870299196308540809466823613907896324642646\ 5037984975490/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^7 - 1763865220308147311201304020139240672711080585024142809020030367311\ 9535462446950/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^6 - 4321749663281259030317183006431573347507930254505317900678608441470\ 395067745918/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^5 + 1193050339856158129263642475941708540564416517954671778667936235691\ 267863142130/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^4 + 2976403499270817278324761778353475118716312570820882126240386086061\ 48633786224/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^3 - 191142230223240586048571513249355\ 07470352512587275880994044066966603995720123/2143880047796545534092\ 98848169870784894696282399109433539516637735938867301*c_0101_6^2 - 9028935331333891788065835936916311769233437454325427120905792737369\ 684231470/214388004779654553409298848169870784894696282399109433539\ 516637735938867301*c_0101_6 - 5193481026850886860212302722634780736\ 12651108714399020874490379160676711248/2143880047796545534092988481\ 69870784894696282399109433539516637735938867301, c_0101_4 + 480851418776269931672433915541180588402921796874678715764860\ 44798664376950/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^30 - 1571482602615830938309321960652829980780577650441868287939156457150\ 02375080/2143880047796545534092988481698707848946962823991094335395\ 16637735938867301*c_0101_6^29 - 56307276830796295020376434143643650\ 88658315307463491098215300289683166576586/2143880047796545534092988\ 48169870784894696282399109433539516637735938867301*c_0101_6^28 + 3271186452415521303185347369375351645301911550395751774448176371760\ 9319728065/21438800477965455340929884816987078489469628239910943353\ 9516637735938867301*c_0101_6^27 + 542308106562184445619110603344578\ 02640186483345835824678326869076814754432359/2143880047796545534092\ 98848169870784894696282399109433539516637735938867301*c_0101_6^26 - 6472052531621843206062678100465131568447635728351235228653917421398\ 87693595560/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^25 + 2559470218074581689627971871055922704101905723775499130250283806494\ 23522318900/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^24 + 5441740257314241227337435057772244576311928993248648401762937136919\ 375521113262/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^23 - 6431270952982202150318944369679729318345678602906859735003129637063\ 216770620163/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^22 - 2421598425670288438597269881129164573089815060808687534813032067985\ 7274201204999/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^21 + 4152729943233086409271680878477831821007099779630909267932916246095\ 0547721660216/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^20 + 5941038172488542911842228025005839095715915773136637254066781491324\ 9844532167889/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^19 - 1393671247231886931652839842034987907650183115784025535620375748205\ 81542944755164/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^18 - 7126024762759028556543580039067936344727388906474187539435211330375\ 0024569186991/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^17 + 2738049474113314895273006863295983772140862379151511362987934044607\ 18552257021283/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^16 + 5919711991357516940520472557124783918877914929808936813633299736560\ 851522097326/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^15 - 3229684347485641625891418823378813648215307350377910295527270799833\ 86078756359999/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^14 + 9147402276768960541328903021128505872076726551261389342954805307907\ 7878441666899/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^13 + 2260317198698215915673359741821248106470038884536725070426537263522\ 81189835362586/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^12 - 1135073512014814692518472640313892611465775462849210986268878338928\ 31713931604347/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^11 - 9110593935199071541283669753622270535712964430132414978916813543561\ 7439985757663/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^10 + 6384386021159459810623879230299838837207422535373019184550519353731\ 9582673580098/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^9 + 2014717688471357665444762746956627416016206520980411909620161585671\ 3676062819014/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^8 - 1920283978960066946608571951293467577655147598592401500943606181751\ 0268558735146/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^7 - 2083558158930828892559331748343376609495873726680364867070983063094\ 510367821664/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^6 + 2958680841822547692325856069130580007084683742901024293169425139111\ 938976370054/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^5 + 1012908298829065109374571258516634870784550157835626808264763815818\ 23494544442/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^4 - 204137829969605222748997732258557\ 857129025737460353021709453268132299394879575/214388004779654553409\ 298848169870784894696282399109433539516637735938867301*c_0101_6^3 - 9893295210794394580362686949329759648908056556791919068996135687027\ 145818863/214388004779654553409298848169870784894696282399109433539\ 516637735938867301*c_0101_6^2 + 44515770543847561261347001316365144\ 05001192537613089424641204832114925713538/2143880047796545534092988\ 48169870784894696282399109433539516637735938867301*c_0101_6 + 6244148214286858256904114761209549033496573676330808040147538970168\ 73141787/2143880047796545534092988481698707848946962823991094335395\ 16637735938867301, c_0101_5 + 225534208681274812591056074853478726487748324639335028111417\ 208234895044378/214388004779654553409298848169870784894696282399109\ 433539516637735938867301*c_0101_6^30 - 3715811470558140420879670443622463778260277434011218620669206127535\ 67979624/2143880047796545534092988481698707848946962823991094335395\ 16637735938867301*c_0101_6^29 - 27197257165726648868196845348212965\ 711778083676691579005977408621758895454368/214388004779654553409298\ 848169870784894696282399109433539516637735938867301*c_0101_6^28 + 1097261981498265442293306936075054721960517219727170809046549840316\ 72306354815/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^27 + 4543700183997763546484536500521453886844349157289815891099594587064\ 49312411443/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^26 - 2397406718101395226093650229028077675456617346973016746770566311743\ 004357124778/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^25 - 3021110904013735250409733406829180855674213994884721088071749041475\ 027308499915/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^24 + 2271395863323321434971720287945701445970367438076948507009101023235\ 9617131928089/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^23 + 8350041986840231184876686528855984510428068757056150036242698850010\ 142180848926/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^22 - 1192226032893328411488567205770693220038077735162264041177380612551\ 11411549500759/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^21 + 1795012489877446024045112147197267112154562015163394270207331668941\ 585003114240/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^20 + 3784605505968402094525373699315554584313498757450353604435970693669\ 79882637677358/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^19 - 7736605169370488579605807728789342451410422029497664863228613459421\ 8602247171103/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^18 - 7521441593963215424890726514414105916273849248519245135292859311547\ 84420754296178/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^17 + 2351481935805035573096643609878490432677972277357838519772247618868\ 62807509414006/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^16 + 9497375353539560452688170806545013440926454847381177041757185302775\ 66114452059480/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^15 - 3626761599400412869160979745399158550147730355312829731255767293461\ 63049229743738/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^14 - 7687441195980923187351760715512685978478677901097748753172867070653\ 07036052413313/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^13 + 3256658388983105990551689885648591975225050660292584700455870559068\ 70612254488553/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^12 + 4051965176930273945553818258968694280736515960780854834418644655230\ 47031719330600/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^11 - 1745993912030051773075680959051665226373108425178411739528101630662\ 67437390240663/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^10 - 1421551257921891914366652925775084378961095542398396553479532931178\ 77626006259980/2143880047796545534092988481698707848946962823991094\ 33539516637735938867301*c_0101_6^9 + 5445194398575733499036534770890509044752738202334801443979412471199\ 4966783960075/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^8 + 3255392563240316363772350633025256020064839234806227695170235766320\ 9688698846455/21438800477965455340929884816987078489469628239910943\ 3539516637735938867301*c_0101_6^7 - 8958153213997802648631918712924587620554056005530216881359995792063\ 833488387339/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^6 - 4445616449965304971415148497448665421142784665291929789986805340545\ 476392005033/214388004779654553409298848169870784894696282399109433\ 539516637735938867301*c_0101_6^5 + 6396742549439834234329593942569676439015877775273004288612328823686\ 35085539815/2143880047796545534092988481698707848946962823991094335\ 39516637735938867301*c_0101_6^4 + 308433725368509723918637940414399\ 716624730525506580364642289484650877454058343/214388004779654553409\ 298848169870784894696282399109433539516637735938867301*c_0101_6^3 - 6387012946074241778893827539628062458605063037184486697265333201645\ 709314539/214388004779654553409298848169870784894696282399109433539\ 516637735938867301*c_0101_6^2 - 78889406224930457278241561352405937\ 60367950523413321615710517655301988024072/2143880047796545534092988\ 48169870784894696282399109433539516637735938867301*c_0101_6 - 6948684699331581099548172473440398256444613756143179202140680314950\ 56586088/2143880047796545534092988481698707848946962823991094335395\ 16637735938867301, c_0101_6^31 - 2*c_0101_6^30 - 120*c_0101_6^29 + 529*c_0101_6^28 + 1842*c_0101_6^27 - 11335*c_0101_6^26 - 9630*c_0101_6^25 + 105325*c_0101_6^24 + 1414*c_0101_6^23 - 540648*c_0101_6^22 + 194458*c_0101_6^21 + 1669868*c_0101_6^20 - 933362*c_0101_6^19 - 3196873*c_0101_6^18 + 2210961*c_0101_6^17 + 3809422*c_0101_6^16 - 3073517*c_0101_6^15 - 2799117*c_0101_6^14 + 2616937*c_0101_6^13 + 1254723*c_0101_6^12 - 1381377*c_0101_6^11 - 342240*c_0101_6^10 + 449198*c_0101_6^9 + 55304*c_0101_6^8 - 85955*c_0101_6^7 - 5214*c_0101_6^6 + 8978*c_0101_6^5 + 354*c_0101_6^4 - 448*c_0101_6^3 - 26*c_0101_6^2 + 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB