Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 3465499170] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1930 geometric_solution 5.52482787 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.462871003643 0.206141861008 0 2 2 0 3201 0132 1023 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 1 0 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.146506826165 0.264164246633 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.820722331609 0.460416427814 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 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.513228497298 0.524244352581 6 3 2 5 1023 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.513228497298 0.524244352581 5 3 4 5 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538324286282 0.880433334052 6 4 6 3 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530701208073 0.839871608252 ==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' : 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' : 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' : negation(d['c_0011_1']), '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], '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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 3974035165207978633738644067367555350765427011945574499100495555449\ 087986845812697674/446284672963328667921855589607161094535087375431\ 1109012914469403169484720480389755*c_0101_5^34 - 2281903557989611360304716177195591428427547463275971652003103765361\ 723400766736542104/446284672963328667921855589607161094535087375431\ 1109012914469403169484720480389755*c_0101_5^33 - 2801128689772945119855639007434905309782837473469823937554051285914\ 2823024229297445184/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^32 + 1586023780683247021039040454610164802233588724761387995950942661463\ 4785833107569237856/44628467296332866792185558960716109453508737543\ 11109012914469403169484720480389755*c_0101_5^31 + 1910105395133806383766402155337417036079593966271681708547685933725\ 423649354680349957086/446284672963328667921855589607161094535087375\ 4311109012914469403169484720480389755*c_0101_5^30 + 1746381715498017628936681491729805291082663384830019977333496109316\ 40135174273702712236/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^29 - 1285509719839520063353515393352812862316317614864950730214297053194\ 5233549507464713498576/44628467296332866792185558960716109453508737\ 54311109012914469403169484720480389755*c_0101_5^28 - 2966847338477887348342920928413371905848132653004029904306797127109\ 859896212036143292965/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^27 + 4536075820291349333395476638000384622985408883801717074039410713830\ 5938610833850114207947/44628467296332866792185558960716109453508737\ 54311109012914469403169484720480389755*c_0101_5^26 + 9513339914105482774583469356767540360912152061337365468356646111648\ 8038645912137341501236/44628467296332866792185558960716109453508737\ 54311109012914469403169484720480389755*c_0101_5^25 - 1714050307215892548888729570710739777270858283427688996601028450244\ 5512489705674559784120/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^24 - 3261625279697003424123268402982514151926713202081169561620319245733\ 63254113550908791183081/4462846729633286679218555896071610945350873\ 754311109012914469403169484720480389755*c_0101_5^23 + 5144373420416132528307921234125712687777604807204422556205702746385\ 9400361296184971208184/44628467296332866792185558960716109453508737\ 54311109012914469403169484720480389755*c_0101_5^22 + 1443789966081683102639229780501300448879271254941482005100896401059\ 63129605335649552368897/8925693459266573358437111792143221890701747\ 50862221802582893880633896944096077951*c_0101_5^21 + 1801712486578674215994565083598539310018993244880912245852973192006\ 46881031941687237088397/4462846729633286679218555896071610945350873\ 754311109012914469403169484720480389755*c_0101_5^20 - 1159217628618301842439135270847042520190090996307191199753901071419\ 726517479937415905585718/446284672963328667921855589607161094535087\ 3754311109012914469403169484720480389755*c_0101_5^19 - 4599149195603046419132140378795068573995066932395410422909513893447\ 25997969717086230077937/4462846729633286679218555896071610945350873\ 754311109012914469403169484720480389755*c_0101_5^18 + 1489857296687938488445641106744809466610105958691288438944176526771\ 387874948001935752524972/446284672963328667921855589607161094535087\ 3754311109012914469403169484720480389755*c_0101_5^17 + 8071136233660356102630634655284058002924337853683418537020408158565\ 5949111424017897529065/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^16 - 1552044221157195065728562433562797677654082448218069262574540642262\ 455460725237069186545179/446284672963328667921855589607161094535087\ 3754311109012914469403169484720480389755*c_0101_5^15 - 8234814820514038324215324793612175560649235054360085875360760638956\ 0913689553411109879881/44628467296332866792185558960716109453508737\ 54311109012914469403169484720480389755*c_0101_5^14 + 1204300032131664028270432830986801134349556084897578963870446912311\ 321094210653860830837894/446284672963328667921855589607161094535087\ 3754311109012914469403169484720480389755*c_0101_5^13 - 1047418286257200468786913680485700150359954976541660456074114447974\ 95277747241369270329127/4462846729633286679218555896071610945350873\ 754311109012914469403169484720480389755*c_0101_5^12 - 1332478923088095612014486641085168680024321284547024292946876480843\ 80469544771253366398303/8925693459266573358437111792143221890701747\ 50862221802582893880633896944096077951*c_0101_5^11 + 9100755917506834794759664234563063468621105410657279333487683886104\ 3235164335604623102237/44628467296332866792185558960716109453508737\ 54311109012914469403169484720480389755*c_0101_5^10 + 2780371744990292927538912631816718894279043151612055915008809889332\ 30251860765012686519988/4462846729633286679218555896071610945350873\ 754311109012914469403169484720480389755*c_0101_5^9 - 4513813893979835940478828152972175763399339337518356513056676655084\ 1967609635248462010197/44628467296332866792185558960716109453508737\ 54311109012914469403169484720480389755*c_0101_5^8 - 1900563519229228707028749439921692884277544998816391243872180243353\ 5604560935105576187126/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^7 + 4097913681237691868311662753064707704045206046127247885792802024998\ 940498121497577504937/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^6 + 4778168934670897944583032656230515874515074904043626111956035363932\ 815572448845320441398/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^5 - 6434916520126585947740731985899829204511944250683072104369023193291\ 104782829294079685399/446284672963328667921855589607161094535087375\ 4311109012914469403169484720480389755*c_0101_5^4 - 3326797681239061489263555660372586367609044985211889134130769798731\ 319288722751879414408/446284672963328667921855589607161094535087375\ 4311109012914469403169484720480389755*c_0101_5^3 + 9709719791721382077984802867326960490376121968563414813922569539259\ 23533395176238605231/4462846729633286679218555896071610945350873754\ 311109012914469403169484720480389755*c_0101_5^2 + 1654100042153482600117752289242639935189611307867665786535488228028\ 66777634761827964714/4462846729633286679218555896071610945350873754\ 311109012914469403169484720480389755*c_0101_5 - 4655160744343816406861804555869553750472528995237199192361316643854\ 0244318360580388866/44628467296332866792185558960716109453508737543\ 11109012914469403169484720480389755, c_0011_0 - 1, c_0011_1 - 233580506023087830078080223763420463097524506555832446514421\ 73339852086695045549358/8925693459266573358437111792143221890701747\ 50862221802582893880633896944096077951*c_0101_5^34 + 1395432892356674841354680463021003802888277939094297894957656345087\ 5661428277434335/89256934592665733584371117921432218907017475086222\ 1802582893880633896944096077951*c_0101_5^33 + 8231433966530826971332421796224400577452068624752982779147470893868\ 25762893293900274/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951*c_0101_5^32 - 1123976757243407067146383908808127887760519229527281322222489664424\ 63352009881411717/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951*c_0101_5^31 - 1123354378279495938670206950312289090822187715881139946310896969052\ 0943527016130894266/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^30 - 4873337592392335570663935631455198248033486640673763730815773085837\ 129665581495594126/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5^29 + 7579405601339283528498085792095720099508577542407390495648251112237\ 8065727951058941594/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^28 + 8552652687901551480957810280505883453980285620191756370374732242741\ 3907455154154053800/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^27 - 2693867504398442996507887651615981245401080579671485230564835022988\ 20074205909129551613/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^26 - 5541152867260332704373828566404619708944819074746673042199065264718\ 69425500907024271023/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^25 + 5190065437629596426571031731490797926787369539968772547421557018048\ 09072288006874580573/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^24 + 1911822629823230974879977565746434724609076150469702635090747595287\ 122033003244828146337/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^23 - 3496046835833601256990570439828914702299335122055620359262910342224\ 59754975183117276971/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^22 - 4255928203718527589241824870003788592890343347789669144059138740161\ 595500453401828098706/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^21 - 9646519425525035104452518148562633655411799162400219177832125478389\ 36530269808255410103/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^20 + 6877502986175125566886135463305124890287195345307228258608823744635\ 018626831848655193954/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^19 + 2569524506138487524150311899274693922547074406973131248203878576455\ 462140395390675932756/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^18 - 8875207860398178248954538765585498022636903201260971784456568639481\ 326752994723116826919/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^17 - 2213091293853003727115187479941475146958335174925822823206204352586\ 402318833874836561784/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^16 + 9242057600513463733535879791233257064011464906734156716946895189590\ 269881744667039690677/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^15 + 3141592502858893523618745271968659303177320120554879461042974177982\ 78955513646362535188/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^14 - 7155355350448178663439423611945498964483098662160043660515147333810\ 178189243942515695084/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^13 + 7543850089567662466172098290474683144244178800203253443654816639802\ 76102481766750681610/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^12 + 3952209949251135307183932617707684502668925459276379841420089721070\ 784495586224383942668/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^11 - 6128028140376143649131902853787730839823148101602122431192161954679\ 49725808412555213635/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^10 - 1649073447199259731491783902795361327963415805658582642724967126944\ 917288968688830953944/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^9 + 2971466016869562610701903360370023422772901458751291860800306714169\ 97730445566064146708/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^8 + 5633393507846718717131650539662743114621725853977009231277407126349\ 68731165314045365450/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^7 - 1313526300202634815229641041535751312463041911696836774485377448611\ 44467760060821767189/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^6 - 1412878093768934418326489387985571772072912175718663491033165549340\ 39432027476148936081/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^5 + 4060634029942953375665219505071589847698009087790637702682536057087\ 0182977756362451005/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^4 + 1956639462705824021291185293785876032492303855809760985161852083775\ 6171300634801762644/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^3 - 6079743342907026522871923993480473877367885114956562829528371099427\ 831068861904433282/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5^2 - 9600618925415666250804421891369030813140917087442791557061669047485\ 14569505149795875/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951*c_0101_5 + 2892818742251745726911226503638457405289894995691889661174751485511\ 35450269034819048/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951, c_0011_4 - 441863312162211145230111103329805830974989273705828923555416\ 02027703500505296886990/8925693459266573358437111792143221890701747\ 50862221802582893880633896944096077951*c_0101_5^34 + 2656391180572183582908337642203608129808525847849479619129211286290\ 3602126247001405/89256934592665733584371117921432218907017475086222\ 1802582893880633896944096077951*c_0101_5^33 + 1557102991387562865877384395886261396338316241905990292735231883910\ 058464895047256136/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5^32 - 2184866744132038707380365537344444829398426312567789017548805062265\ 50081629217057460/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951*c_0101_5^31 - 2125196967821732768765881479502018190085289335615120617109912347960\ 1783354259461542153/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^30 - 9140010414332740882583992525940037144084177342946372749590459835603\ 385641719308780556/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5^29 + 1434453568629527632654565196045151738741287889898430907257084193414\ 50160242016860722067/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^28 + 1612842912486776320584929862702330272873535559819152692062456545995\ 68080452235244319297/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^27 - 5104055607206445081766740240127362972157894115637234015740002272094\ 61859329159865010420/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^26 - 1046671819923192218665813774204554826316226802292764092956107381530\ 887100623392088216134/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^25 + 9863141708966037474441241455079532431669672612466289097755883160695\ 76579352533658527829/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^24 + 3614870219599834566103813683802841308998098510472095556719663832623\ 900060340935686927955/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^23 - 6753043870395999376601411962964623130761059684538403802523644332971\ 82147404649250645171/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^22 - 8054378625916994854810369016029451921022657638955485434570348431420\ 954379481380730415042/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^21 - 1797070310695632883492719161954054942774229693493286998225147465778\ 337517205042492907956/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^20 + 1302848946053208132476077461487594577627671790828200429747150135720\ 5042756872771503167659/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^19 + 4821674319561876251776034563008691554718484564598270124044561620748\ 480220801603906907101/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^18 - 1682290258627030567521824956942055417828903078287603646594047864435\ 2307712891236782315231/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^17 - 4140934163419387254948777237096482706932699388128788383715297042802\ 861680144283110927596/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^16 + 1751641511722489742796386465407003866241624770349279193428610091213\ 8555505649482208966595/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^15 + 5470591534800785824681085099173658450751154965438400514021625724101\ 30211610650928679280/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^14 - 1355700112122794539777159722085053071884091121303486052149745577485\ 2587858006811739100029/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^13 + 1464604181480199291290375227478210922161412761737848638811318824190\ 868814050283181598459/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^12 + 7487249411644965522945486605413134121205759559825149554596416047544\ 615993559675209608745/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^11 - 1179937472463732278343926984043564727687872008563817634950149604728\ 487302646831591994739/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^10 - 3124559888641862718361741376770791851562623310581698239597781159260\ 169660441090490400872/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^9 + 5704664760484424945286061804797170633737596842716208768116898783530\ 70368638461044445108/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^8 + 1067368471866650554228671361445150630901236585020756900651208486870\ 301641967307198113495/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^7 - 2512871050473937314518079637190837371923063108564663341632554862811\ 74097081245677568818/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^6 - 2676556687389332389791847707498079571634641311184497529266186535638\ 30030114110407032073/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^5 + 7751989795074073340092337539244855515385008685826141891260687404614\ 9538178175860921363/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^4 + 3707708185308614169099011360644961487843722437318998554273821606943\ 3455086233389908710/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^3 - 1159380820119453343201215315581740052158295691761954010265149554982\ 2782197307929956526/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^2 - 1820481229035244327595036673056956874031935754992733224476767136215\ 638232188698962720/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5 + 5506803727903350236472331119176159484218946648488210483387775496799\ 58452024309520748/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951, c_0101_0 + 134252725468148795858169344112661687507491572134905644123294\ 812028678466506983243554/892569345926657335843711179214322189070174\ 750862221802582893880633896944096077951*c_0101_5^34 - 8015104830868082287249280949498202367926581534757895294610456056836\ 2013174286296011/89256934592665733584371117921432218907017475086222\ 1802582893880633896944096077951*c_0101_5^33 - 4731206385595731880604688466320109120021474525909683703995357185992\ 386326486794692485/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5^32 + 6442697692066190145470114353820646734355358489718704657436524730215\ 47162380640333656/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951*c_0101_5^31 + 6456880587469089544429566102478089467888124602697143600638226391143\ 1149494701146922648/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^30 + 2803261682191924285126937024126263354965910408789705249368844969680\ 2749691735739587494/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^29 - 4356591276377909617711216946733442669488716931615708893331892982748\ 28098096578000616488/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^28 - 4917272253026755097324552050867837872890533237809997730647023325735\ 61512737473568012755/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^27 + 1548395056754054431272182839278340843625700783049557564932255584544\ 723651248692500605326/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^26 + 3185510650529523072309891120527847609584664256629327213896982613913\ 622913941176402195982/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^25 - 2982910827670370382072628130304990702621713129460130529327763066796\ 104594206443006173646/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^24 - 1099067035048813493269469031309587334096660235991249276221148973805\ 7876849620188210999753/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^23 + 2008262775511105169903521808024854133256091788655441233085490552374\ 564458770151383684791/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^22 + 2446717122096401411886101759653197518925048567443331175286058901369\ 8500158658907472772069/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^21 + 5548059236300103288179802783779418860451290705119906516791558937973\ 132424035398458087217/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^20 - 3954022929903504106737219468973576031139700302504510934509962351919\ 4314963049508619699409/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^19 - 1477722698673313089820537953575632073209917776500989917088847915057\ 5800624184636545476497/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^18 + 5103033492156497534924021831872796070845230985813500967599576905357\ 0542203300136070571613/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^17 + 1273313209827861551582055778914565212734178541918091010609275696921\ 5325332534696060890301/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^16 - 5314858778753911182595525112567593567487621958242154238480763659642\ 6567389309929212828873/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^15 - 1814793318964986227120293587922169563758110741133251748740812442037\ 630328016996668164737/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^14 + 4115741916263150807819197513249671359114313736763953852865203706282\ 0746909673652673223983/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^13 - 4337389585247128951351571838457581584727600505420216358392683980102\ 574008019304114019843/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^12 - 2273799262150001973976061356450513166840967540406038190489914914609\ 9444281030562999139649/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^11 + 3528102655987156072773771868581156430991262930728670707901705893744\ 044866868267689348072/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^10 + 9488907691375858941358964747035448531890434566870228852795564244139\ 855839953511156572468/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^9 - 1711529839185302331012739145629593885881234291516601242263088405900\ 882877638126296685638/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^8 - 3241902158237801521386388249076560263097100565070904494146426253237\ 484665826338624962442/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^7 + 7564932160269799881620919216092799694152921193089227007749585015370\ 23219839546595570885/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^6 + 8133442909504098347929693785552389881754396177737339987596877642636\ 08451537921865418950/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^5 - 2340554239598018376589829529121191183844254517651699832648179748772\ 89532505743464677466/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^4 - 1127057791171911748609581042810347013277232615684822125996537763872\ 38433369819062225038/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^3 + 3509003243706699661191136273275791404651066802982769991585666594837\ 8153944555341348131/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^2 + 5529608844608362889400324503527477758987252703215369485792875648747\ 510206514091126556/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5 - 1668497193257990353131107400698229788529214878052970980848703974440\ 977333802353832638/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951, c_0101_2 + 695676013702616777997708273216390581202682690931503187665782\ 71718264934828610598842/8925693459266573358437111792143221890701747\ 50862221802582893880633896944096077951*c_0101_5^34 - 4163431094888588069647973440021408162919236004219429536257142879405\ 3715976282788567/89256934592665733584371117921432218907017475086222\ 1802582893880633896944096077951*c_0101_5^33 - 2451605441727476127307153738810887739382986236582532002295868230355\ 245882865564018543/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5^32 + 3374194460686897383392750788685976557576533013299422444027301966273\ 16386944321734667/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951*c_0101_5^31 + 3345912560463065455483028438036137326559287010235387240741976505328\ 8979767664792933521/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^30 + 1447787979156529415027343431198102423307586930282363565019901154834\ 9547492911797481957/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^29 - 2257874554043658191777714883600142724191027379908167865556950241835\ 51003732458589908049/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^28 - 2544923966265569159853460713157042391457327262525261101817370050849\ 90687779527833068723/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^27 + 8028176657278149362003804430680071964767336297199348418830848977744\ 19836705499171119570/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^26 + 1649687639364993212370203925371963152151158937122735044588688328294\ 161384380346255073897/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^25 - 1548364165945664827390324086576842360404086431045677759791055827806\ 218609811713878245324/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^24 - 5693870839563731694233012114612100279653862724934097755892905172357\ 962116420471690980722/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^23 + 1049095654351307800958911914610005118257988887776604070914450795784\ 155610099437618025043/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^22 + 1267977829763798201915852340156917056668828040502843292333295907381\ 9868267181101584398189/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^21 + 2857690491701899936728564175366222982874308355916122646332318563002\ 437442971797803331528/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^20 - 2049868359242127240688091240879676154827839757000027878396530067807\ 9260754879614202438192/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^19 - 7632252038447824486805326532391890613380388061113155107083796580755\ 386569203431408163851/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^18 + 2646144235274137427882737571395757291623038651452049075988795671284\ 4672422269035516741164/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^17 + 6568113711291438090211680707179770054305528817473363891720538425390\ 046852106802838965179/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^16 - 2755839559673741863802661368910424264736399482711029604597224808862\ 6895008785947797308977/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^15 - 9093917423736291004458855717894738859719877941663875088384203278112\ 00704760773668136471/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^14 + 2133711611408595636647004713978266376793268386211153254437025076723\ 6763361076338411841344/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^13 - 2271762073298026358826818073940082581362543302777199167632886168370\ 918385449476729490443/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^12 - 1178663324606814512839681981661990686283887592792122368718218461435\ 2813685724491015420428/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^11 + 1841280304964814530772082570534955662751549517095237059565185282602\ 133333668851938423717/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^10 + 4918770398806702735994199906673828398498391485632696584068552064390\ 852958253435211237530/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^9 - 8920929882059969341030479225145872286219302207473965022175368978705\ 03478557851422327120/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^8 - 1680478639678207519533845190172079223577534181987972627048306853726\ 022798472940933265060/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^7 + 3937336900172655788876911879184152948345961814143565746774097547306\ 50601153439412616945/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^6 + 4215367088536796863589116619366903836644689733148364859984331226022\ 23467724616546069480/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^5 - 1216967505966658254463486891043687304785905855791162725971281567496\ 37969333649701925569/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^4 - 5840138437954099675595229178566606938828452159892570150457657338906\ 1733310430749118694/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^3 + 1823141107285863330764105340048847315924237696967689083379320727492\ 1630076987341477584/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^2 + 2865373380609673646414447097599322947517880325084619407188135203116\ 278575798643086902/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5 - 8664546352479288961481328040905492777046822642007668888640382116899\ 28682153751582619/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951, c_0101_3 + 514142745599778521043403759849986192900805861052616600413435\ 88157672563038416324259/8925693459266573358437111792143221890701747\ 50862221802582893880633896944096077951*c_0101_5^34 - 3050867375962739820192261673556699226272919548370105390750096139032\ 5275422424025725/89256934592665733584371117921432218907017475086222\ 1802582893880633896944096077951*c_0101_5^33 - 1811846679607465194830885478943957812304085853674971938621044992057\ 612574320363962324/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5^32 + 2401248838249492786494780747509813593322168214580885220161996233700\ 22307089194775854/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951*c_0101_5^31 + 2472304026084544656396343796534607400118421578222121318636656491934\ 5862748910400892034/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^30 + 1082397495569011643857686365430626931956331820403854952409277550156\ 7609414587646560366/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^29 - 1667295548967620054296317254722360485069295383338763782829032030877\ 03735156934897329250/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^28 - 1888603232960637950230754601492639165187712237567467081805580301190\ 85470750227239071912/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^27 + 5918240528523195287199115200628152409669874867350310527546700559110\ 78284813564567019986/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^26 + 1221352260990414466217533399475571417923452713083065653290146812967\ 015185960616907156700/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^25 - 1136468748561631676069756357307344555045102355131885732280488120735\ 282526789000540733708/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^24 - 4209044149112617382385692217929977716732495607586998339664830302063\ 887731110995470433129/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^23 + 7521260482438440344130523854388044786603972748356864264235056257200\ 42431338962542147851/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^22 + 9360046948407375768636755716119959493320645056521615092961840261081\ 606756068141393461330/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^21 + 2155927201914693139074908231968540952429370758043865578175760706123\ 072167538773102868204/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^20 - 1510934098559419374651356902875678080659426744464191903883709692109\ 0413253304846222884102/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^19 - 5698258989942633876779989878634850484940011254185395659005945762682\ 423571595115068349504/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^18 + 1948627780955039704511042972267728966852903912520139587729449387248\ 2271196054969466017907/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^17 + 4918427734295461869845223595087534970638865663945030366624044279064\ 905955844524221602400/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^16 - 2029392363247891857430170082465699449804683757412568324729220184508\ 6476726965162555269130/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^15 - 7417798106979441369971022175336524198479329930091870466804169720253\ 49758109307822501866/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^14 + 1571539486947701372008163191401357495051489154323974735535820183582\ 8213947606811727769685/89256934592665733584371117921432218907017475\ 0862221802582893880633896944096077951*c_0101_5^13 - 1619435290599227192128240874053837976303318752385802952173598174640\ 940670064886205501341/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^12 - 8679902507496081079320499760949021630955582099984454454872093875897\ 287189820572149241905/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^11 + 1326394334524799195536959922111549494804800628104452912925493161820\ 358257214714160674710/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^10 + 3620890873109380306285059981943461103534735916092482708752800106137\ 271137588271011042368/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^9 - 6451832912071280514479222247091002009566964453565493420912624583562\ 49339963263007015756/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^8 - 1236908905378587313939100872479165248557187445002292245322587824476\ 341281130687978243133/892569345926657335843711179214322189070174750\ 862221802582893880633896944096077951*c_0101_5^7 + 2860900325036448490690441690849574866636573760749825864617933267358\ 45030038301030003431/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^6 + 3101988393769605128318059720338405787138460909089210199683838900099\ 07875781452611846347/8925693459266573358437111792143221890701747508\ 62221802582893880633896944096077951*c_0101_5^5 - 8862731961538702317302929404271651035248123976178302167904934763219\ 0159216247053436284/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^4 - 4294312236531248069476910864313217381306031117188794727650812894936\ 2732039340557232834/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^3 + 1328698858797655825706214205562484734213813902163308719700707497728\ 4652392952874020070/89256934592665733584371117921432218907017475086\ 2221802582893880633896944096077951*c_0101_5^2 + 2106023805366192812553777184888414232317413653829257586787775459756\ 113818878924666708/892569345926657335843711179214322189070174750862\ 221802582893880633896944096077951*c_0101_5 - 6316370497771357879747989951605533845564937594881705272142505775941\ 94135179113730073/8925693459266573358437111792143221890701747508622\ 21802582893880633896944096077951, c_0101_5^35 - c_0101_5^34 - 35*c_0101_5^33 + 19*c_0101_5^32 + 479*c_0101_5^31 + 15*c_0101_5^30 - 3329*c_0101_5^29 - 2355*c_0101_5^28 + 13008*c_0101_5^27 + 19079*c_0101_5^26 - 31775*c_0101_5^25 - 72904*c_0101_5^24 + 47936*c_0101_5^23 + 176190*c_0101_5^22 - 32097*c_0101_5^21 - 311107*c_0101_5^20 + 8602*c_0101_5^19 + 424348*c_0101_5^18 - 58320*c_0101_5^17 - 433956*c_0101_5^16 + 145976*c_0101_5^15 + 311876*c_0101_5^14 - 155778*c_0101_5^13 - 156265*c_0101_5^12 + 94473*c_0101_5^11 + 60057*c_0101_5^10 - 41203*c_0101_5^9 - 19000*c_0101_5^8 + 15355*c_0101_5^7 + 3785*c_0101_5^6 - 4181*c_0101_5^5 - 137*c_0101_5^4 + 599*c_0101_5^3 - 64*c_0101_5^2 - 29*c_0101_5 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB