Magma V2.19-8 Tue Aug 20 2013 16:15:59 on localhost [Seed = 964207872] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0221 geometric_solution 4.02984641 oriented_manifold CS_known -0.0000000000000004 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.511581031895 0.025437099508 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538515226811 0.071517033673 1 3 1 3 0132 0132 1023 2310 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.757891892291 1.392228709111 2 2 5 4 3201 0132 0132 0132 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 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.681882135062 1.125093966195 6 5 3 5 0132 2031 0132 1302 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 -1 1 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.749101582110 0.435365236282 4 6 4 3 1302 2310 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.749101582110 0.435365236282 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 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 0 0 0 0.504191855270 0.293859824195 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(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_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], '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' : d['c_0101_1'], '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' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), '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' : d['c_0011_4'], 'c_1010_3' : d['c_0101_1'], '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_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 36547492494743061071058754127658210392591958765261996191134759498/1\ 8187843905107593723387531447586688850621690396607233760588121*c_010\ 1_6^24 - 6845977418224890726335267827430476758143874085710237603145\ 1662996/20208715450119548581541701608429654278468544885119148622875\ 69*c_0101_6^23 + 39879850231290520298862266805925445188253418079174\ 6772889485032610/25982634150153705319125044925123841215173843423724\ 61965798303*c_0101_6^22 + 66940403644881219504315198157705796811236\ 91824187048807979483809139/1818784390510759372338753144758668885062\ 1690396607233760588121*c_0101_6^21 - 1275253134472527016282184221964597770720777117894442422714171373902\ 0/6062614635035864574462510482528896283540563465535744586862707*c_0\ 101_6^20 + 36681694380714027268461072612779714741764830867074410337\ 91082008497/2598263415015370531912504492512384121517384342372461965\ 798303*c_0101_6^19 + 2546301368807331441587791380453452783783483629\ 884000620369894689289/606261463503586457446251048252889628354056346\ 5535744586862707*c_0101_6^18 - 202501152942892293864217852119185752\ 49234472075759883305451457052386/1818784390510759372338753144758668\ 8850621690396607233760588121*c_0101_6^17 + 9516438997710044601506978920616864488401991325740774759801348126915\ 4/2598263415015370531912504492512384121517384342372461965798303*c_0\ 101_6^16 - 16812464905845909902797602629346427151492774349206414269\ 86613773029300/1818784390510759372338753144758668885062169039660723\ 3760588121*c_0101_6^15 + 219267654790804914832163291583139988733510\ 922488211707636878930192899/181878439051075937233875314475866888506\ 21690396607233760588121*c_0101_6^14 + 3496897557281500234609315844551102275762230925212039396367323140734\ 974/18187843905107593723387531447586688850621690396607233760588121*\ c_0101_6^13 - 25834392595003165057880254003701117941097594871961589\ 35551755768992626/1818784390510759372338753144758668885062169039660\ 7233760588121*c_0101_6^12 - 474910793900420466032715071224160663729\ 5770546044637786297094148340383/18187843905107593723387531447586688\ 850621690396607233760588121*c_0101_6^11 + 6451844995498329955885780401612556277256816061741178496353038127669\ 330/18187843905107593723387531447586688850621690396607233760588121*\ c_0101_6^10 + 48136044591329544894572913143549030999578976939125020\ 2341456438294928/25982634150153705319125044925123841215173843423724\ 61965798303*c_0101_6^9 - 947633110184424622276544847761628700834232\ 3744025237620862093033827267/18187843905107593723387531447586688850\ 621690396607233760588121*c_0101_6^8 + 1081141081711775965416403691311337552770421810212900148114610392464\ 852/6062614635035864574462510482528896283540563465535744586862707*c\ _0101_6^7 + 2739315701740872185151832793209550624726312182561706823\ 247314985335538/181878439051075937233875314475866888506216903966072\ 33760588121*c_0101_6^6 - 168388515362993514547258795257845423329336\ 0961894176127737295065331888/18187843905107593723387531447586688850\ 621690396607233760588121*c_0101_6^5 - 2004428216476697445261776932402489464010474721211477257077487575847\ 0/2020871545011954858154170160842965427846854488511914862287569*c_0\ 101_6^4 + 247515315054477336526879985276338716620178874965488655968\ 96201214736/2598263415015370531912504492512384121517384342372461965\ 798303*c_0101_6^3 + 15920406494439799369360725895455825184227020865\ 173877918306505719718/181878439051075937233875314475866888506216903\ 96607233760588121*c_0101_6^2 - 284633613477941405489440829395311335\ 930876238824616962845178894704/202087154501195485815417016084296542\ 7846854488511914862287569*c_0101_6 - 239452126656643099047505292409675398875550702558069070674977006319/\ 18187843905107593723387531447586688850621690396607233760588121, c_0011_0 - 1, c_0011_1 - 402231735494341870127074261841297382261201943185419684451924\ 5/2598263415015370531912504492512384121517384342372461965798303*c_0\ 101_6^24 - 23158886821889491515942911633419165104916663361782564560\ 442930/866087805005123510637501497504128040505794780790820655266101\ *c_0101_6^23 + 2779991673968741946205998787187941303950864280118662\ 86947129134/2598263415015370531912504492512384121517384342372461965\ 798303*c_0101_6^22 + 8438067452323022724628750325892909181942802148\ 65797007348602460/2598263415015370531912504492512384121517384342372\ 461965798303*c_0101_6^21 - 1277719081504746568794960908271025039399\ 943833654121141088088760/866087805005123510637501497504128040505794\ 780790820655266101*c_0101_6^20 + 1346720132669328585013345984640916\ 856858691762300937291793875058/259826341501537053191250449251238412\ 1517384342372461965798303*c_0101_6^19 + 37504540189543004867951202456038138944538537306693792095191066/9623\ 1978333902612293055721944903115611754975643424517251789*c_0101_6^18 - 1836567003876943154120079736599993397470658173763269800027203903/\ 2598263415015370531912504492512384121517384342372461965798303*c_010\ 1_6^17 + 7267230001304338467042088939645677788138675567519855212532\ 8881178/25982634150153705319125044925123841215173843423724619657983\ 03*c_0101_6^16 - 15508635188623767168219322789663564978250324383287\ 1433094769658011/25982634150153705319125044925123841215173843423724\ 61965798303*c_0101_6^15 - 31952084389638556910287994322440941311764\ 718326240178869738470447/259826341501537053191250449251238412151738\ 4342372461965798303*c_0101_6^14 + 357778292615898353956168678541659\ 131882329553907357177161746533186/259826341501537053191250449251238\ 4121517384342372461965798303*c_0101_6^13 - 146374857516428822378580983764236847547563316381666996669767963655/\ 2598263415015370531912504492512384121517384342372461965798303*c_010\ 1_6^12 - 5468307488385444150143660860451863142626487005873109069925\ 60593113/2598263415015370531912504492512384121517384342372461965798\ 303*c_0101_6^11 + 4838564106973338506348690245430269504116667539556\ 18801158631445200/2598263415015370531912504492512384121517384342372\ 461965798303*c_0101_6^10 + 5079729067961108646845075047342460284867\ 78537177779487304312355079/2598263415015370531912504492512384121517\ 384342372461965798303*c_0101_6^9 - 806221909845479921231495013727143026429175610405811830201487680447/\ 2598263415015370531912504492512384121517384342372461965798303*c_010\ 1_6^8 + 31641008486578106426255769442272150448711348047056456897258\ 627026/866087805005123510637501497504128040505794780790820655266101\ *c_0101_6^7 + 28067252816295373396885593165090597405805351857222662\ 3787379978835/25982634150153705319125044925123841215173843423724619\ 65798303*c_0101_6^6 - 881410303123550487847935092125868142895843665\ 04419701914539396223/2598263415015370531912504492512384121517384342\ 372461965798303*c_0101_6^5 - 10120001064583719603253394716331943076\ 473236068944270028456954877/866087805005123510637501497504128040505\ 794780790820655266101*c_0101_6^4 + 8405585253614871116655375973419336975664727394112644508326956939/25\ 98263415015370531912504492512384121517384342372461965798303*c_0101_\ 6^3 + 1654083306202264570821907748058444560894474193696400630231264\ 709/2598263415015370531912504492512384121517384342372461965798303*c\ _0101_6^2 - 3755697562866774317764622943454730016111611536372563910\ 9904026/86608780500512351063750149750412804050579478079082065526610\ 1*c_0101_6 - 201808271627583049007583137823727650141164659018905791\ 58215764/2598263415015370531912504492512384121517384342372461965798\ 303, c_0011_4 - 290958826089074467904780924878090517273637476638958132223671\ /2598263415015370531912504492512384121517384342372461965798303*c_01\ 01_6^24 - 172729494771475310897757488856294924763924290528810349056\ 1747/866087805005123510637501497504128040505794780790820655266101*c\ _0101_6^23 + 173254558004013089473389789534633571650449871933279721\ 76769130/2598263415015370531912504492512384121517384342372461965798\ 303*c_0101_6^22 + 7032801411780052449179097579100353162946246786154\ 8508025819320/25982634150153705319125044925123841215173843423724619\ 65798303*c_0101_6^21 - 79680653571335294345841756765799819281149481\ 145496696687376101/866087805005123510637501497504128040505794780790\ 820655266101*c_0101_6^20 - 3182704706798212696679459963413703747263\ 9825922967226852463123/25982634150153705319125044925123841215173843\ 42372461965798303*c_0101_6^19 + 55511264790271529829273473397513189\ 60432024503307892694128471/2886959350017078368791671658347093468352\ 64926930273551755367*c_0101_6^18 - 87685297300032492306864713376077644793622571819700512948127089/2598\ 263415015370531912504492512384121517384342372461965798303*c_0101_6^\ 17 + 52074495181860730422341940728829537783267353168222738516330117\ 41/2598263415015370531912504492512384121517384342372461965798303*c_\ 0101_6^16 - 8427244828468211574942966680145225845938282533191512433\ 899266505/259826341501537053191250449251238412151738434237246196579\ 8303*c_0101_6^15 - 679453014428338515721299594908556609547261190416\ 5348805972249687/25982634150153705319125044925123841215173843423724\ 61965798303*c_0101_6^14 + 21804229225588877057849079417940713329831\ 680860739163806220406376/259826341501537053191250449251238412151738\ 4342372461965798303*c_0101_6^13 + 178353187515190059420182819264106\ 6419762537837129511373291298239/25982634150153705319125044925123841\ 21517384342372461965798303*c_0101_6^12 - 38146940773498956153992964924942626537967563731519565566490714020/2\ 598263415015370531912504492512384121517384342372461965798303*c_0101\ _6^11 + 12817323567234800417860921630713219064615030576218676746251\ 531929/259826341501537053191250449251238412151738434237246196579830\ 3*c_0101_6^10 + 437364930169435682467638018874203794563291002286965\ 38451623223886/2598263415015370531912504492512384121517384342372461\ 965798303*c_0101_6^9 - 31981939243008808921524859423981103041191635\ 744327491841821837849/259826341501537053191250449251238412151738434\ 2372461965798303*c_0101_6^8 - 3934479989428683341486034651782859435\ 310799907567044954247974165/866087805005123510637501497504128040505\ 794780790820655266101*c_0101_6^7 + 10922659463749754657493477655184359857764311806533645907492276437/2\ 598263415015370531912504492512384121517384342372461965798303*c_0101\ _6^6 + 272405280824448052924671605683734959587263229601874593606719\ 9496/2598263415015370531912504492512384121517384342372461965798303*\ c_0101_6^5 - 187973699831219551311394910650086643618099888068640916\ 851076189/866087805005123510637501497504128040505794780790820655266\ 101*c_0101_6^4 - 83147736968234406090324069652867580226892062348590\ 6199693825313/25982634150153705319125044925123841215173843423724619\ 65798303*c_0101_6^3 - 151337212212928521365948725003774239749475939\ 322330637142919570/259826341501537053191250449251238412151738434237\ 2461965798303*c_0101_6^2 + 3553221590050780479979502868148117231328\ 378858076215788348469/866087805005123510637501497504128040505794780\ 790820655266101*c_0101_6 + 2410462955577464249487278722537535460333\ 046533858459331819520/259826341501537053191250449251238412151738434\ 2372461965798303, c_0101_0 + 102227705536473096461110113688868201755251428521497031345668\ 1/2598263415015370531912504492512384121517384342372461965798303*c_0\ 101_6^24 + 51880304415552662018694777641018494528249112829961702381\ 65185/866087805005123510637501497504128040505794780790820655266101*\ c_0101_6^23 - 10760219196691604156703228984041411668346534319508154\ 1590032379/25982634150153705319125044925123841215173843423724619657\ 98303*c_0101_6^22 - 83686881498633618561084230140670433267337421475\ 256368616206751/259826341501537053191250449251238412151738434237246\ 1965798303*c_0101_6^21 + 487439330410758437358955512821639145362822\ 306590707495513488194/866087805005123510637501497504128040505794780\ 790820655266101*c_0101_6^20 - 2152523072909305647804464678541513661\ 041095860734585931606389818/259826341501537053191250449251238412151\ 7384342372461965798303*c_0101_6^19 - 26040872493999263000842371386222018896318439022055967205417413/2886\ 95935001707836879167165834709346835264926930273551755367*c_0101_6^1\ 8 + 987699111497069138365967308805381127662375947922955705663186767\ /2598263415015370531912504492512384121517384342372461965798303*c_01\ 01_6^17 - 192250853328793302347349988490835286932119945521796109842\ 46818978/2598263415015370531912504492512384121517384342372461965798\ 303*c_0101_6^16 + 7695785003562792801594791069269513345208550730600\ 0959022530571874/25982634150153705319125044925123841215173843423724\ 61965798303*c_0101_6^15 - 58473844362489202368172902847233422995027\ 955591304020187890428825/259826341501537053191250449251238412151738\ 4342372461965798303*c_0101_6^14 - 132338323105187614851866368764216\ 370070770722967906876077535647812/259826341501537053191250449251238\ 4121517384342372461965798303*c_0101_6^13 + 207237885768815177522205279104477619804257084335895070683517426937/\ 2598263415015370531912504492512384121517384342372461965798303*c_010\ 1_6^12 + 1266442240988362478664617360869201350740635702905325439297\ 50838033/2598263415015370531912504492512384121517384342372461965798\ 303*c_0101_6^11 - 4108705972709396712970138610532904996088940708817\ 50710037352841330/2598263415015370531912504492512384121517384342372\ 461965798303*c_0101_6^10 + 1389562359918314379557174239246910484702\ 5574491351260265136097378/25982634150153705319125044925123841215173\ 84342372461965798303*c_0101_6^9 + 521018151041342605454643283950092\ 330803828637646668962507720495547/259826341501537053191250449251238\ 4121517384342372461965798303*c_0101_6^8 - 107688371824808515480992123456067109054844186809182220977944241259/\ 866087805005123510637501497504128040505794780790820655266101*c_0101\ _6^7 - 132458728755120817880849753187684046898144333984380629606428\ 254384/259826341501537053191250449251238412151738434237246196579830\ 3*c_0101_6^6 + 1426039598053602976271123959176284659229237120004881\ 64935536215566/2598263415015370531912504492512384121517384342372461\ 965798303*c_0101_6^5 + 24510535801040972120805454332263564518405171\ 78594009400945248687/8660878050051235106375014975041280405057947807\ 90820655266101*c_0101_6^4 - 172025315570371510213156025433085605124\ 07160837857992353946205035/2598263415015370531912504492512384121517\ 384342372461965798303*c_0101_6^3 - 1919564951115077465495133685508991691149597532560642385022269639/25\ 98263415015370531912504492512384121517384342372461965798303*c_0101_\ 6^2 + 8744330244673770291411493518745699767001160192111438147185252\ 4/866087805005123510637501497504128040505794780790820655266101*c_01\ 01_6 + 322793924215300113425723579070305168743168596644245375102751\ 81/2598263415015370531912504492512384121517384342372461965798303, c_0101_1 - 41393573373155225271112852894199874731131651563545770025311/\ 288695935001707836879167165834709346835264926930273551755367*c_0101\ _6^24 - 80341393888376782144797110182085048332091570873286565199058\ 5/288695935001707836879167165834709346835264926930273551755367*c_01\ 01_6^23 + 129704510896477916237368361284708174613358888295355390799\ 0239/288695935001707836879167165834709346835264926930273551755367*c\ _0101_6^22 + 471769091344374944340580542638855607179857402387184106\ 8132404/96231978333902612293055721944903115611754975643424517251789\ *c_0101_6^21 - 1862734886145212766440925955862202199045978816185827\ 4895485233/28869593500170783687916716583470934683526492693027355175\ 5367*c_0101_6^20 - 619117748934372260665622770695778086540286985968\ 50244643471227/2886959350017078368791671658347093468352649269302735\ 51755367*c_0101_6^19 + 86240161023647962942497929601798975682688550\ 80661242449017476/2886959350017078368791671658347093468352649269302\ 73551755367*c_0101_6^18 + 11663712513558648163845716709560253246064\ 15556097537227785487/9623197833390261229305572194490311561175497564\ 3424517251789*c_0101_6^17 + 716574702331499453045589396717944104465\ 657469830142961850936162/288695935001707836879167165834709346835264\ 926930273551755367*c_0101_6^16 - 1120709004920523479357593308439885\ 2668352247384443790373384810/28869593500170783687916716583470934683\ 5264926930273551755367*c_0101_6^15 - 1028609148633474518871323191976740805954962047311341747733288862/96\ 231978333902612293055721944903115611754975643424517251789*c_0101_6^\ 14 + 18269399172965980137444177824231025700956272724458191675441106\ 11/288695935001707836879167165834709346835264926930273551755367*c_0\ 101_6^13 + 56297323749041356140610297053068206006184673908303054755\ 11815831/2886959350017078368791671658347093468352649269302735517553\ 67*c_0101_6^12 - 58961094781644270966441159185413193120730672482214\ 23558193783418/2886959350017078368791671658347093468352649269302735\ 51755367*c_0101_6^11 - 72320158783231491971379721510392293896887733\ 01268911404498306958/2886959350017078368791671658347093468352649269\ 30273551755367*c_0101_6^10 + 10859656191557965424876735933437060282\ 872306478236252172186464151/288695935001707836879167165834709346835\ 264926930273551755367*c_0101_6^9 + 1771077393858475363315411825008611053258425798833761853265305314/96\ 231978333902612293055721944903115611754975643424517251789*c_0101_6^\ 8 - 374448651611581450905465624866363262840418441906375424597160559\ 9/96231978333902612293055721944903115611754975643424517251789*c_010\ 1_6^7 - 17071533487146233125674551842407601161423842513549491530176\ 6215/288695935001707836879167165834709346835264926930273551755367*c\ _0101_6^6 + 4160458982336149667845535654057392941787230729251630493\ 715648229/288695935001707836879167165834709346835264926930273551755\ 367*c_0101_6^5 - 17523746906295635609258531635533713624214295799933\ 0110453454759/28869593500170783687916716583470934683526492693027355\ 1755367*c_0101_6^4 - 1905127171688421275303052445055332491572192019\ 05766550713479107/9623197833390261229305572194490311561175497564342\ 4517251789*c_0101_6^3 - 5797140474831345569711254584553215826196363\ 3359367731905069199/28869593500170783687916716583470934683526492693\ 0273551755367*c_0101_6^2 + 7502286070020285370834141390842304440307\ 311993933430040835902/288695935001707836879167165834709346835264926\ 930273551755367*c_0101_6 + 1025005716682172729804598827488122496536\ 080285562549697389920/288695935001707836879167165834709346835264926\ 930273551755367, c_0101_4 + 30653212024909982056074611368611684088921131514723859791624/\ 2598263415015370531912504492512384121517384342372461965798303*c_010\ 1_6^24 - 1297641890609593395375843406139290831415090008215299595963\ 94/866087805005123510637501497504128040505794780790820655266101*c_0\ 101_6^23 - 18353422666483841393792336890856981919517791501890628731\ 169761/259826341501537053191250449251238412151738434237246196579830\ 3*c_0101_6^22 + 506248935222156674074392540655825200136885114648250\ 62283225948/2598263415015370531912504492512384121517384342372461965\ 798303*c_0101_6^21 + 8161245860311006491228832735169387620420353775\ 7557566538430908/86608780500512351063750149750412804050579478079082\ 0655266101*c_0101_6^20 - 800746228819087948512637281995087741274278\ 918413753977013363211/259826341501537053191250449251238412151738434\ 2372461965798303*c_0101_6^19 - 189587479343321768562113712503636863\ 2741440649866580448781999/28869593500170783687916716583470934683526\ 4926930273551755367*c_0101_6^18 + 250686484156351863912408697219264\ 481388750714916318174634550155/259826341501537053191250449251238412\ 1517384342372461965798303*c_0101_6^17 - 879179116341146950475267516930139320114136087928889277038929361/259\ 8263415015370531912504492512384121517384342372461965798303*c_0101_6\ ^16 + 1765211309188997665143589220535093617884680450232913063456691\ 4820/2598263415015370531912504492512384121517384342372461965798303*\ c_0101_6^15 - 28625424305187850954692720095045815715718435537695970\ 414191457475/259826341501537053191250449251238412151738434237246196\ 5798303*c_0101_6^14 - 217030981460979278009722955949583367607561015\ 60617210232297315554/2598263415015370531912504492512384121517384342\ 372461965798303*c_0101_6^13 + 7562353687419449673026290055378008006\ 3356028979289339435557426482/25982634150153705319125044925123841215\ 17384342372461965798303*c_0101_6^12 + 552901941752568959685459371677524340620150470578825184523143870/259\ 8263415015370531912504492512384121517384342372461965798303*c_0101_6\ ^11 - 1308342416740808231557352992234924631431063567780513597580324\ 74709/2598263415015370531912504492512384121517384342372461965798303\ *c_0101_6^10 + 5617288780361466217889577639731940533153466923218732\ 7478212887234/25982634150153705319125044925123841215173843423724619\ 65798303*c_0101_6^9 + 147369071144742730683482914341841283380029099\ 536241993484694252693/259826341501537053191250449251238412151738434\ 2372461965798303*c_0101_6^8 - 4314168242404987299101485093046941628\ 7335413394113999104071676404/86608780500512351063750149750412804050\ 5794780790820655266101*c_0101_6^7 - 32983601877225972960772454212174093989757183331784526117318635046/2\ 598263415015370531912504492512384121517384342372461965798303*c_0101\ _6^6 + 539453054680639391420594223776342839237663532499686145508434\ 93407/2598263415015370531912504492512384121517384342372461965798303\ *c_0101_6^5 + 42777957225833204575083849191161047720503114332476284\ 4995161999/86608780500512351063750149750412804050579478079082065526\ 6101*c_0101_6^4 - 7007960769041245145360618567853117711004514733669\ 026602520864929/259826341501537053191250449251238412151738434237246\ 1965798303*c_0101_6^3 - 7523105738539727835854905196336958016624526\ 17446021916838035135/2598263415015370531912504492512384121517384342\ 372461965798303*c_0101_6^2 + 33883300525158681941641397826743864512\ 491401177144216007311468/866087805005123510637501497504128040505794\ 780790820655266101*c_0101_6 + 1232808011660432151374939355304862128\ 9152782772622166412608027/25982634150153705319125044925123841215173\ 84342372461965798303, c_0101_6^25 + 17*c_0101_6^24 - 74*c_0101_6^23 - 194*c_0101_6^22 + 1021*c_0101_6^21 - 554*c_0101_6^20 - 310*c_0101_6^19 + 524*c_0101_6^18 - 18148*c_0101_6^17 + 43423*c_0101_6^16 + 543*c_0101_6^15 - 96583*c_0101_6^14 + 57093*c_0101_6^13 + 140098*c_0101_6^12 - 158116*c_0101_6^11 - 117456*c_0101_6^10 + 246307*c_0101_6^9 - 51710*c_0101_6^8 - 87715*c_0101_6^7 + 35313*c_0101_6^6 + 11572*c_0101_6^5 - 4009*c_0101_6^4 - 1128*c_0101_6^3 + 4*c_0101_6^2 + 17*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB