Magma V2.19-8 Tue Aug 20 2013 23:46:46 on localhost [Seed = 1663371588] Type ? for help. Type -D to quit. Loading file "K14n26238__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n26238 geometric_solution 10.46299493 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -7 -1 -8 0 0 8 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.322221181064 0.931916839837 0 5 5 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 -8 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.050178905456 0.564539653732 4 0 8 7 0213 0132 0132 0132 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 0 8 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.546966854006 0.943671373171 3 3 6 0 1230 3012 3201 0132 0 0 0 0 0 1 0 -1 -1 0 1 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 -7 0 7 7 0 -7 0 7 -7 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831246195798 1.168761386275 2 9 0 8 0213 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -8 8 -8 8 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296821061770 0.813798526481 1 1 10 11 2031 0132 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 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843787915777 1.757469899652 3 11 1 7 2310 3120 0132 2031 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 8 -8 7 1 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.365929456204 1.352634194713 9 6 2 10 0213 1302 0132 2310 0 0 0 0 0 -1 1 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 8 -8 0 1 0 0 -1 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111909867796 0.605515802471 4 9 11 2 3120 0321 1230 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 0 0 8 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.251965367289 1.582260016550 7 4 10 8 0213 0132 1023 0321 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 -1 1 -1 1 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759549694927 0.647238273874 7 11 9 5 3201 3012 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 -1 1 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.138983223579 0.502440654198 10 6 5 8 1230 3120 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.387139743606 0.815406138107 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_8']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_8']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_8']), 'c_1100_10' : negation(d['c_1001_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0011_3'], 'c_1100_9' : d['c_1001_8'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_4'], 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_6, c_0011_8, c_0101_11, c_0101_3, c_0101_5, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 5140402115509561695679313734403956545346800461297752243323674175572\ 7021033954/16769166560596542753019999004115077852217535548241198367\ 1702996949269629503*c_1001_8^21 - 665587213618221307712846637418706\ 2618871746160934031612275428654724992204497447/25153749840894814129\ 52999850617261677832630332236179755075544954239044442545*c_1001_8^2\ 0 - 150759414738042370830329182215735762624662459291513202544721559\ 75653974570326781/1006149993635792565181199940246904671133052132894\ 471902030217981695617777018*c_1001_8^19 - 1533431110491087147777790335672024953054601808955297200275344218296\ 61461885159157/2515374984089481412952999850617261677832630332236179\ 755075544954239044442545*c_1001_8^18 - 5638730416240294030688230767947486277267688624091743378665665801082\ 08289133494937/2515374984089481412952999850617261677832630332236179\ 755075544954239044442545*c_1001_8^17 - 1701670939879972694088024284459006669507046908436736398508095734266\ 397948563849564/251537498408948141295299985061726167783263033223617\ 9755075544954239044442545*c_1001_8^16 - 6663187027558834397488726107514600461289566971541868935562731788388\ 25224009530755/3353833312119308550603999800823015570443507109648239\ 67343405993898539259006*c_1001_8^15 - 7444614343456849177549392345704801132912833670615746635040526647323\ 68596284626136/1676916656059654275301999900411507785221753554824119\ 83671702996949269629503*c_1001_8^14 - 1883595466288129583547154187153252107109831467616076605761185606797\ 230327215810672/167691665605965427530199990041150778522175355482411\ 983671702996949269629503*c_1001_8^13 - 1560264658902966359838192423343860031195680124623273639451037408994\ 7031125183046051/83845832802982713765099995020575389261087677741205\ 9918358514984746348147515*c_1001_8^12 - 6339966886674714832892596804018594315853457985200717022235916180192\ 45357170634499/1334416437182748760187267825261146778691050574130599\ 3395626233178986973170*c_1001_8^11 - 8474844422421786550156929763135289556427656398148169597625852695933\ 984294642305500/167691665605965427530199990041150778522175355482411\ 983671702996949269629503*c_1001_8^10 - 3726485455407123985724086557521764173557851029033066206965558954227\ 2498000594675873/33538333121193085506039998008230155704435071096482\ 3967343405993898539259006*c_1001_8^9 - 1568732159028913930628889482057218437081391324183387548635353765745\ 89253578743470883/1676916656059654275301999900411507785221753554824\ 119836717029969492696295030*c_1001_8^8 - 9841461674542656079323097703615515777710005289459853468444433766577\ 5106950623367178/25153749840894814129529998506172616778326303322361\ 79755075544954239044442545*c_1001_8^7 - 6566359542331358796976747963616381926807120367723515216010788066951\ 69916634630343/4932107811940159633241176177680905250652216337717999\ 5197559704985079302795*c_1001_8^6 - 4283028854577922720932075216837039629425220832199199943608655820507\ 855329071945104/251537498408948141295299985061726167783263033223617\ 9755075544954239044442545*c_1001_8^5 - 5747593775260364464471222278928752856978848849424971071818774475803\ 038312578456473/503074996817896282590599970123452335566526066447235\ 9510151089908478088885090*c_1001_8^4 - 3006389077678225343172129330255583816408317942117919609449567489444\ 02204049552227/5030749968178962825905999701234523355665260664472359\ 510151089908478088885090*c_1001_8^3 - 2085397833332583797990506063134473525327898476386041109022144432474\ 8428717551627/29592646871640957799447057066085431503913298026307997\ 1185358229910475816770*c_1001_8^2 + 1141221975931364789231516584313472802660972818528518102141526827975\ 986685086739/100614999363579256518119994024690467113305213289447190\ 2030217981695617777018*c_1001_8 - 425629961043488524642118313785637\ 6951864336381488588208476247313378942128148369/50307499681789628259\ 05999701234523355665260664472359510151089908478088885090, c_0011_0 - 1, c_0011_10 - 10812001165227246478356666913406544785238676285381773776189\ 09428660/2697147529126265050878659821326579994160801239675310084391\ 185299067*c_1001_8^21 - 9322941560144139489357903229668716096148985\ 468059545891199157731574/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^20 - 5276796534097560620083645182254822165038442089591343194909023930455\ 3/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^19 - 21457664828710053222329719851579686069043297190642\ 6822857627521152755/26971475291262650508786598213265799941608012396\ 75310084391185299067*c_1001_8^18 - 7889463899893458675463631056215414541211220079247454014239708974499\ 44/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^17 - 2379882347836269464105401608716559354273963510761\ 542037252267604948310/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^16 - 6989364813491229785675604901397056794814291415624791345843449194342\ 487/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^15 - 156058122380037886655174963063851237644299374604\ 69527713713160583265297/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^14 - 3950920401140694937566133873767033812743160947660844749163970413685\ 3095/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^13 - 65349343742700477561292786076732788811595725478\ 306928599371493961436957/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^12 - 1671718855123624632485169443644704240037050893026246694515447375364\ 88238/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^11 - 1770451978614147632758757523648679109548984380\ 31971191346393391629683391/2697147529126265050878659821326579994160\ 801239675310084391185299067*c_1001_8^10 - 3910914424192372855821032283322350697309223467164209208609955303637\ 28663/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^9 - 32730262811130957288860572345018887654152175299\ 8155455170978922086892353/26971475291262650508786598213265799941608\ 01239675310084391185299067*c_1001_8^8 - 1367920782760277988803112852557332251045629622837295910876121195871\ 28674/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^7 - 47513548043755237795114848641948723017118963330\ 404529791968448826246597/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^6 - 5937088927202361160507079574295376677428110664017027941654725588467\ 611/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^5 - 3654263566393895347228312841967304754118158229664\ 545301149313315549767/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^4 + 4941982746095237641227913991646034492958556236706432895436219668260\ /269714752912626505087865982132657999416080123967531008439118529906\ 7*c_1001_8^3 - 2044375691329519754165591416202701159880343746994314\ 97717325974981374/2697147529126265050878659821326579994160801239675\ 310084391185299067*c_1001_8^2 + 49231505694549247058268730562706021\ 22904450339506183421424391329974/2697147529126265050878659821326579\ 994160801239675310084391185299067*c_1001_8 - 2064199266043327695231831988451493266843069702188259249288534893045\ /269714752912626505087865982132657999416080123967531008439118529906\ 7, c_0011_11 + 83169118473252255434429948064600586407363322010271689533073\ 1860948/26971475291262650508786598213265799941608012396753100843911\ 85299067*c_1001_8^21 + 72140530267498164055291590857355352538147735\ 12652596478732472327726/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^20 + 4095713528006490561607414120346349535888295723291666243911414627615\ 3/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^19 + 16712644686328792668449450911850819622143974693053\ 2132153296683549079/26971475291262650508786598213265799941608012396\ 75310084391185299067*c_1001_8^18 + 6152609912185883112503364532144763381189869950140493441667915348401\ 49/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^17 + 1861403439566938732672663628114008833020877295962\ 103430619097661693191/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^16 + 5468828703817582055453850508183219349985496948299404992814476519148\ 988/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^15 + 122751872053674983893407474878488114030373728799\ 13792735536548940957297/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^14 + 3099291613509223542124803607094321184234104994536877511036444747817\ 5809/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^13 + 51788464358179748454194907316406931661484144695\ 667239257486692526762227/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^12 + 1310858461047231968231268428870024073587646059344354180866164526376\ 09837/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^11 + 1425841778316410049959049077528917731487848406\ 13141169863438765351374240/2697147529126265050878659821326579994160\ 801239675310084391185299067*c_1001_8^10 + 3074825136325487956609818994179040736565269527423330952654493159359\ 38007/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^9 + 26644011673740605844080264222350731122777066844\ 7073517035415333180985650/26971475291262650508786598213265799941608\ 01239675310084391185299067*c_1001_8^8 + 1173241349738034323417393579772299505117920101368871294988855258967\ 26725/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^7 + 40326386604762494278604175492904435815463556528\ 970779124757414174053956/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^6 + 5399657296102611628588722542497120153494940601638940846875470247497\ 725/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^5 + 2887299950538977281691152062641234643846670164983\ 719411750496207953151/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^4 + 1094894187536933253046493321566940429960313232626529030690652623938\ 88/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^3 + 17070455899229784350495493240621079400086789413584\ 8049361274938763900/26971475291262650508786598213265799941608012396\ 75310084391185299067*c_1001_8^2 - 439025299956947778048846186004231\ 3066904244602294002858258157981082/26971475291262650508786598213265\ 79994160801239675310084391185299067*c_1001_8 + 2214842546045057965634254177661044312621298060198060424987896414571\ /269714752912626505087865982132657999416080123967531008439118529906\ 7, c_0011_3 - 417683399040017275913680063375000541024279588582772019723243\ 436796/269714752912626505087865982132657999416080123967531008439118\ 5299067*c_1001_8^21 - 351078913877022844081689040038461207664953962\ 7457557641619759419370/26971475291262650508786598213265799941608012\ 39675310084391185299067*c_1001_8^20 - 1959841736430441423229882414631500906297842973016062342757203162561\ 5/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^19 - 78436824646026670287960590475506906647066014321164\ 772920944865141579/269714752912626505087865982132657999416080123967\ 5310084391185299067*c_1001_8^18 - 286632603560886886265326040270051\ 491143562551317377306391740359834664/269714752912626505087865982132\ 6579994160801239675310084391185299067*c_1001_8^17 - 8526839600699840824081650272264321211592826785742360302123612323581\ 24/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^16 - 2498707687890543445859249742114989043636379456486\ 635238955423298444203/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^15 - 5437945282808948411807070438790500045663686630263381888317325175001\ 295/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^14 - 139414226658896004656684161311177471345883266140\ 71013065754509504454254/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^13 - 2191181695244078265912972595054868895654687474464105065379379841126\ 4654/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^12 - 59041710065526537219705579434502660814049529264\ 229711751770400475580521/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^11 - 5434414252284424650480036054361871670981179493978948751864069001833\ 9366/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^10 - 13599186162221593625557511191562144145561587506\ 6829987105898983323788027/26971475291262650508786598213265799941608\ 01239675310084391185299067*c_1001_8^9 - 9388112001201389474922958659625073866010802452001872766687299110228\ 4211/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^8 - 249416088069384859600690437581380981893278698097\ 54917544145960371332807/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^7 - 7788719405815786988899479008464342361468542000081704036506834804256\ 643/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^6 + 5176476087785346004112571268769335206187882481317\ 51592749157760793031/2697147529126265050878659821326579994160801239\ 675310084391185299067*c_1001_8^5 - 1281749625923337300927533008670679494340976112961312353641790837128\ 839/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^4 + 2704802541865135101137317727286880196026903142089\ 08279805632614985978/2697147529126265050878659821326579994160801239\ 675310084391185299067*c_1001_8^3 - 1853794667398147182703571052551666191455762564507207729748773776119\ 6/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^2 + 151640591146593190478966865255912652566961487014307\ 52751221320488550/2697147529126265050878659821326579994160801239675\ 310084391185299067*c_1001_8 - 1603040217869581328909543471620882790\ 92354143269190588755449248501/2697147529126265050878659821326579994\ 160801239675310084391185299067, c_0011_4 - 133740100516464873468743793692074682135105887461579448657803\ 549952/269714752912626505087865982132657999416080123967531008439118\ 5299067*c_1001_8^21 - 109173894436322700056939001790985213594887045\ 3920544920611207512712/26971475291262650508786598213265799941608012\ 39675310084391185299067*c_1001_8^20 - 6005163579381476492255217971760196292394539992089373256113770692660\ /269714752912626505087865982132657999416080123967531008439118529906\ 7*c_1001_8^19 - 236131883779546652021132701693244022482487499876810\ 81928861010690050/2697147529126265050878659821326579994160801239675\ 310084391185299067*c_1001_8^18 - 8579721161628234133303276649694896\ 7467275576473226312429212427661010/26971475291262650508786598213265\ 79994160801239675310084391185299067*c_1001_8^17 - 2512080267069185243795354203607606255863072292213467140424685415843\ 23/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^16 - 7354662067653425882690422351426543045886808199080\ 28383701776112876271/2697147529126265050878659821326579994160801239\ 675310084391185299067*c_1001_8^15 - 1551987102016679802769550193651284432113002932839467894416165778476\ 826/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^14 - 405574566790616065318248538608750520414636207901\ 4877514869994877995190/26971475291262650508786598213265799941608012\ 39675310084391185299067*c_1001_8^13 - 5964695152734688822562682536946628758277180811631356920186519255716\ 814/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^12 - 172825606591136276531591720577225809866466976887\ 11875572081631245701833/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^11 - 1294602904173266325356371325119757998801105159828961236582492105182\ 9055/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^10 - 39661388104850996988976308732781851411341949162\ 189711168200159409498597/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^9 - 1983992598239591386286582602031538962733254299657125358344794051044\ 4368/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^8 - 151499645139237763738697855913336203684381323215\ 0731585053898926302832/26971475291262650508786598213265799941608012\ 39675310084391185299067*c_1001_8^7 - 1160728586986126631249588152050846979985573887148102615950619305811\ 151/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^6 + 4048618356249877557323454818482936802985362928971\ 02585574763861281153/2697147529126265050878659821326579994160801239\ 675310084391185299067*c_1001_8^5 - 6561665116403268472924826250934782336643931568942650149951633061850\ 38/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^4 + 14681157647377831481672072900250016713619758942389\ 3345126652035841599/26971475291262650508786598213265799941608012396\ 75310084391185299067*c_1001_8^3 - 375340424269089512995626363487138\ 05966912878220038440821131341897557/2697147529126265050878659821326\ 579994160801239675310084391185299067*c_1001_8^2 + 1814453390315369905708657273042883331228364360381152046583374549983\ /269714752912626505087865982132657999416080123967531008439118529906\ 7*c_1001_8 - 145924734463833743577514787443602418541045288576383164\ 8228435252895/26971475291262650508786598213265799941608012396753100\ 84391185299067, c_0011_6 + 790042406549716699541516889601291376073334944148572757134864\ 658108/269714752912626505087865982132657999416080123967531008439118\ 5299067*c_1001_8^21 + 682586531700654922359843971341172911918235454\ 4057629623891279557866/26971475291262650508786598213265799941608012\ 39675310084391185299067*c_1001_8^20 + 3867985968433306492087394197332662273000540711486148509780781744837\ 1/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^19 + 15750050634080445159513002790266912669824378674463\ 4620934378983186245/26971475291262650508786598213265799941608012396\ 75310084391185299067*c_1001_8^18 + 5794487884437638933402267921939583570035445220245827138667212257420\ 03/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^17 + 1750011707727353257714878058168201370285905464915\ 342712164860590797864/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^16 + 5141191563352919461287980895675236523380566785825390683452999566797\ 256/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^15 + 115037238484225045022164734792182120117269994577\ 18209243465859619487971/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^14 + 2910316629888036110121678838163038574793991750218342621853798864843\ 9371/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^13 + 48333519176800372640246792584156376318468362148\ 218986340161659878908767/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^12 + 1231901567576964396261049543020214506976619154331252078918583136343\ 26616/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^11 + 1318429103085146264135659792000965239483753492\ 79371184328806487775559625/2697147529126265050878659821326579994160\ 801239675310084391185299067*c_1001_8^10 + 2889079079527070770635724472802372978679885419913048206628787897051\ 28405/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^9 + 24518820577519748440664582347897768047463407207\ 4036830525498071180633271/26971475291262650508786598213265799941608\ 01239675310084391185299067*c_1001_8^8 + 1061995113975319675635037838607363526765642469669114504677424562007\ 44908/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^7 + 38637262468555016669297228444955046449734530165\ 072375974508272385871795/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^6 + 5967791990250746620248864855387621950542721956973887295320271747772\ 789/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^5 + 2988552155315828924749616647896540635300009674556\ 032450015625237446990/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^4 + 6640129526538884165929210676494275602226443817598389661004594569120\ 7/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^3 + 155047184649007725754424075119648138828632918741070\ 219778588397022527/269714752912626505087865982132657999416080123967\ 5310084391185299067*c_1001_8^2 + 1856166589429798833188623000275061\ 486962425132774707589361836480251/269714752912626505087865982132657\ 9994160801239675310084391185299067*c_1001_8 + 1531531888377209025195304375800428835798371387880045540484975613752\ /269714752912626505087865982132657999416080123967531008439118529906\ 7, c_0011_8 + 104946939414175003231044375926360324565492562869467745759532\ 7688512/26971475291262650508786598213265799941608012396753100843911\ 85299067*c_1001_8^21 + 90789069904769032401781854022068376618212899\ 02809324828605902534940/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^20 + 5146858003639065004189978571006207165611958806095730269969746121411\ 8/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^19 + 20966533817245338498479157307474435013436374389194\ 9679772395545759037/26971475291262650508786598213265799941608012396\ 75310084391185299067*c_1001_8^18 + 7713170917307370999248849878928901042792058202148258867429219266814\ 12/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^17 + 2330121927610349153239356503999867120740270032728\ 718275986254417506188/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^16 + 6843732116827769894910328583933235241478703746979101179357781675643\ 550/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^15 + 153212058263056059748342066015709548621649128457\ 29567525972393660164097/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^14 + 3872420332796807009662323194214521049376199292841697283279894172613\ 1041/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^13 + 64384839914590015174734680065398617410529282867\ 444127719903571274194627/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^12 + 1637474880490697045184049539014415130262182141408651524741465976298\ 01317/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^11 + 1758292778670781448633785272187080237851031989\ 08232783521059451215930345/2697147529126265050878659821326579994160\ 801239675310084391185299067*c_1001_8^10 + 3831881322992317924006329475688150849149796210809461275935782622778\ 23700/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^9 + 32642068921204989014584684356910053915802402731\ 1114365533607203130058895/26971475291262650508786598213265799941608\ 01239675310084391185299067*c_1001_8^8 + 1387413262339393043532923022556565807766893023421017462163643554603\ 28810/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^7 + 45792079876883409019773194700908569135496263323\ 176843620179462748419231/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^6 + 4811522480494267090488935181166791365078437076108497062249961718622\ 086/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^5 + 3304162032914862262579180682535066372504717059416\ 667418396641828748508/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^4 + 4317122293347386681689458035945625354045249709014353505853146676388\ 3/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^3 + 212675138175394765706416658424167176764730985108510\ 143750055718770840/269714752912626505087865982132657999416080123967\ 5310084391185299067*c_1001_8^2 - 1226988715486565938660401202449047\ 4598281382990659252240282940622804/26971475291262650508786598213265\ 79994160801239675310084391185299067*c_1001_8 + 2875165883726559506556279433326260606273417740311551333603541441176\ /269714752912626505087865982132657999416080123967531008439118529906\ 7, c_0101_11 + 67659130226434695678699894925442638007140565455186999292022\ 936880/269714752912626505087865982132657999416080123967531008439118\ 5299067*c_1001_8^21 + 547394322926654767569543234431429541368222834\ 362056033581123555560/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^20 + 2997274565688539109068097035936231836995382477280218800838081486920\ /269714752912626505087865982132657999416080123967531008439118529906\ 7*c_1001_8^19 + 117201971782796019444205814391299390301150661471193\ 72530015029034542/2697147529126265050878659821326579994160801239675\ 310084391185299067*c_1001_8^18 + 4250943681487438869220321076014606\ 1885561997569515591358572609519703/26971475291262650508786598213265\ 79994160801239675310084391185299067*c_1001_8^17 + 1238244263917064250206921894474383338410089043598932504895493543887\ 25/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^16 + 3624462259785615200396252910874825390015418638456\ 18802392763579419400/2697147529126265050878659821326579994160801239\ 675310084391185299067*c_1001_8^15 + 7569651149082257572469102465011932936424402836482304408235190937714\ 10/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^14 + 1991388591161047590169533955525508212208752455478\ 689155806646830410456/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^13 + 2861323172738770119617155010464953742971608973873393555287266439059\ 087/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^12 + 850545017965390409127988416564969930807225590930\ 1527996784853819574337/26971475291262650508786598213265799941608012\ 39675310084391185299067*c_1001_8^11 + 5886535820133130323358780708014797402840791100923266722862422820990\ 027/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^10 + 195100778177462179407341859629404131889593733594\ 38349563312201686760722/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^9 + 8517978106185615764721786589198977128048974310417070413339851989120\ 940/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^8 - 1424257134208911157372859202913542497250292129881\ 69445034121208744289/2697147529126265050878659821326579994160801239\ 675310084391185299067*c_1001_8^7 + 4361478692748452967427326106438849352194618964794221416938747048334\ 59/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^6 - 25335702314082174703796011568856719354151502517271\ 3630887755824293536/26971475291262650508786598213265799941608012396\ 75310084391185299067*c_1001_8^5 + 344278425923207073085175334590969\ 654179190190919507612293841016218545/269714752912626505087865982132\ 6579994160801239675310084391185299067*c_1001_8^4 - 9679623439320863693543679629514089433495446334469007068520456509241\ 5/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^3 + 210047322319798203179651915759629431300050472168453\ 62060326797377550/2697147529126265050878659821326579994160801239675\ 310084391185299067*c_1001_8^2 - 35302721304355357836446486639262236\ 06789377932720297494414122430054/2697147529126265050878659821326579\ 994160801239675310084391185299067*c_1001_8 + 1430197735608717458873666001108874166718063054964348756426802899526\ /269714752912626505087865982132657999416080123967531008439118529906\ 7, c_0101_3 + 303351822523653326180069963127058020206109034914389297215854\ 082304/269714752912626505087865982132657999416080123967531008439118\ 5299067*c_1001_8^21 + 281828331375053931103794488190988442502863550\ 6536722173762990307856/26971475291262650508786598213265799941608012\ 39675310084391185299067*c_1001_8^20 + 1655337378323065568962650795513787950946357255410527470831466293293\ 2/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^19 + 70105390622625613877118010992468313161073815547687\ 998367617271291238/269714752912626505087865982132657999416080123967\ 5310084391185299067*c_1001_8^18 + 261647842416913972666147005387133\ 209109118255665013037235342685803835/269714752912626505087865982132\ 6579994160801239675310084391185299067*c_1001_8^17 + 8159227623872761241009874378649073396519154651526028581281774085784\ 05/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^16 + 2408330309203185206781494452845373066163846068996\ 068227189086639135439/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^15 + 5692489909495055212798101556466368476737056981981028854484412924052\ 046/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^14 + 140221262280234502608499243993256856136305412149\ 78094652493972009619160/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^13 + 2576816437033492429189415022535484403082064298498155130535946500760\ 2635/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^12 + 59222751550301223948421059868426179853584986913\ 375291719347569825576000/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^11 + 8113056000570395782818729003267886743983366917901462790544768652418\ 9590/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^10 + 14321415174186692308756565534800777619676188717\ 5259124175790938608098093/26971475291262650508786598213265799941608\ 01239675310084391185299067*c_1001_8^9 + 1655230894453732363061825061339376174345724752062037168962481262035\ 39523/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^8 + 10042379701257976234887061095106214487428233960\ 9636854472081344198127638/26971475291262650508786598213265799941608\ 01239675310084391185299067*c_1001_8^7 + 3977162245333476809140180341393936340418309153200905527591448688988\ 8502/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^6 + 109145844781494452821372600556127647193391052867\ 96192741565484962951211/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^5 + 2062756342576012864544655867953865138652206013847998379014113916104\ 356/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^4 + 5889770285501291418147634498259661355076317326531\ 51476515202577317002/2697147529126265050878659821326579994160801239\ 675310084391185299067*c_1001_8^3 + 2522286796888009347802741216644948496806289298919111739237312787602\ 9/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^2 + 309771884861082902861419891855116261542180309583539\ 07000073720126786/2697147529126265050878659821326579994160801239675\ 310084391185299067*c_1001_8 - 5748410528043265187494144914020979737\ 22133346101477538252433055660/2697147529126265050878659821326579994\ 160801239675310084391185299067, c_0101_5 - 310508742442186675784634301950227824882049359940970329775928\ 79676/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^21 - 2688531812584417141846527105766941458246501633\ 85682902812303272810/2697147529126265050878659821326579994160801239\ 675310084391185299067*c_1001_8^20 - 1521133225286248016036155006588384828578431548702422958687389126647\ /269714752912626505087865982132657999416080123967531008439118529906\ 7*c_1001_8^19 - 618362667898486627704219308522476905289461398703304\ 1318737024430599/26971475291262650508786598213265799941608012396753\ 10084391185299067*c_1001_8^18 - 22693144877010385831256470686995098\ 681828907278307324573648275971914/269714752912626505087865982132657\ 9994160801239675310084391185299067*c_1001_8^17 - 6841344458374744154859784253094724900681444697481816400347553340988\ 6/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^16 - 20044828638100611511993177933431659041710252845586\ 7504573924823043526/26971475291262650508786598213265799941608012396\ 75310084391185299067*c_1001_8^15 - 4472193208997235266720481613432330743153919829097165787134321495715\ 74/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^14 - 1126858293599291670888375217086710618553454184820\ 426068756143623777854/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^13 - 1864967604469987663908369545288011573458216062667976857347053491952\ 643/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^12 - 473501190396678906195741873293097137004991882819\ 3029394788619718777535/26971475291262650508786598213265799941608012\ 39675310084391185299067*c_1001_8^11 - 5042623817400322348899064358462333058458590645700689217687778605093\ 105/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^10 - 108530488331094972013849594527340514589441833145\ 33907735004020440311397/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^9 - 9253472847020066364641848566077345803577075478413870151530537860770\ 754/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^8 - 2983834797892895208584993890338137328391753850655\ 032442653691171930663/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^7 - 5426256864810251733778661166231389099007522392643925857096474442587\ 78/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^6 + 31333690040604946117299723210361841224677564486512\ 185639783688947006/269714752912626505087865982132657999416080123967\ 5310084391185299067*c_1001_8^5 - 9100829354028226244850019841980737\ 5104030270444930388450400344822199/26971475291262650508786598213265\ 79994160801239675310084391185299067*c_1001_8^4 - 3738353073992354466645108507623620291338957492128152243731415782841\ 4/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^3 - 321492797534138148828420352496877263196729181868521\ 3476300770248716/26971475291262650508786598213265799941608012396753\ 10084391185299067*c_1001_8^2 - 530408588140078591913969118708024980\ 3241868520276260728734839963830/26971475291262650508786598213265799\ 94160801239675310084391185299067*c_1001_8 - 1286847338551613561881416577362250882255394108145171728187407238609\ /269714752912626505087865982132657999416080123967531008439118529906\ 7, c_1001_2 - 134062710411475798060459356100296634810545831308428207807937\ 2459064/26971475291262650508786598213265799941608012396753100843911\ 85299067*c_1001_8^21 - 11575983233614493505937648918463824638787920\ 826811241095913780708648/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^20 - 6555668569303319132186229555928367057649860184200924955097988307030\ 0/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^19 - 26674148011874946561295874368787208412655292905374\ 1881695644083725547/26971475291262650508786598213265799941608012396\ 75310084391185299067*c_1001_8^18 - 9808146932763190741310213013204732013967833061149885743001715983893\ 53/2697147529126265050878659821326579994160801239675310084391185299\ 067*c_1001_8^17 - 2959992567719265359629880054548225104728328078574\ 917601073661431656634/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^16 - 8691905366966080219297952589655055512912428376778501841748231303188\ 781/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^15 - 194232942158868901381352294287378666148678508484\ 80885996219694623941423/2697147529126265050878659821326579994160801\ 239675310084391185299067*c_1001_8^14 - 4913024104049465837106778229818516287325368490284199410590065721454\ 4765/26971475291262650508786598213265799941608012396753100843911852\ 99067*c_1001_8^13 - 81400664480490120095780673557975029903656646197\ 532069979113405356722817/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^12 - 2077292168037357281408169439638904863322613880103646140338330215319\ 62939/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^11 - 2210315654199782817256883003834794107916262876\ 60832790538646355070054111/2697147529126265050878659821326579994160\ 801239675310084391185299067*c_1001_8^10 - 4853716667657620009191637286208128567779134258060622277916950029364\ 23958/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^9 - 40853511154816197862780674354031173522491170823\ 5232990179088054036317977/26971475291262650508786598213265799941608\ 01239675310084391185299067*c_1001_8^8 - 1693338931124351356700998036506534532046880176589198868362340188467\ 12576/2697147529126265050878659821326579994160801239675310084391185\ 299067*c_1001_8^7 - 54668365452083630145590814897902245702880696488\ 508997437639639188794033/269714752912626505087865982132657999416080\ 1239675310084391185299067*c_1001_8^6 - 4780819417445881630747149900074546091963825783151637708584415559316\ 908/269714752912626505087865982132657999416080123967531008439118529\ 9067*c_1001_8^5 - 3969873443992928685057876876605830491322865614525\ 180269530329906851285/269714752912626505087865982132657999416080123\ 9675310084391185299067*c_1001_8^4 + 2817205507801021248362544039713253697477049732254679444695069859558\ 4/26971475291262650508786598213265799941608012396753100843911852990\ 67*c_1001_8^3 - 262065522659339015368551724924789153924132441066871\ 421688793296729687/269714752912626505087865982132657999416080123967\ 5310084391185299067*c_1001_8^2 + 1904920431375038292561950808103613\ 8208148258462940143251069168433029/26971475291262650508786598213265\ 79994160801239675310084391185299067*c_1001_8 - 3407833261392678176592807045977325037318116054619765042407100720469\ /269714752912626505087865982132657999416080123967531008439118529906\ 7, c_1001_8^22 + 17/2*c_1001_8^21 + 191/4*c_1001_8^20 + 385/2*c_1001_8^19 + 1411/2*c_1001_8^18 + 8449/4*c_1001_8^17 + 24787/4*c_1001_8^16 + 54591/4*c_1001_8^15 + 69585/2*c_1001_8^14 + 56005*c_1001_8^13 + 589305/4*c_1001_8^12 + 289949/2*c_1001_8^11 + 1368729/4*c_1001_8^10 + 517715/2*c_1001_8^9 + 181557/2*c_1001_8^8 + 58867/2*c_1001_8^7 + 3515/4*c_1001_8^6 + 13121/4*c_1001_8^5 - 589/2*c_1001_8^4 + 917/4*c_1001_8^3 - 125/4*c_1001_8^2 + 11/2*c_1001_8 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.540 Total time: 1.750 seconds, Total memory usage: 32.09MB